Gamma(z+1)=zGamma(z)

From specialfunctionswiki
Jump to: navigation, search

Theorem

The following formula holds: $$\Gamma(z+1)=z\Gamma(z),$$ where $\Gamma$ denotes gamma.

Proof

Use integration by parts to compute $$\begin{array}{ll} \Gamma(z+1) &= \displaystyle\int_0^{\infty} \xi^z e^{-\xi} \mathrm{d}\xi \\ &= -\xi^z e^{-\xi}\Bigg|_0^{\infty}- \displaystyle\int_0^{\infty} z \xi^{z-1} e^{-\xi} \mathrm{d}\xi \\ &= z\Gamma(z), \end{array}$$ as was to be shown. █

References

  • 1968: {{ #if: |{{{2}}}|W.W. Bell}}{{#if: |{{#if: |, [[Mathematician:{{{author2}}}|{{ #if: |{{{2}}}|{{{author2}}}}}]]{{#if: |, [[Mathematician:{{{author3}}}|{{ #if: |{{{2}}}|{{{author3}}}}}]]{{#if: |, [[Mathematician:{{{author4}}}|{{ #if: |{{{2}}}|{{{author4}}}}}]]{{#if: |, [[Mathematician:{{{author5}}}|{{ #if: |{{{2}}}|{{{author5}}}}}]] and [[Mathematician:{{{author6}}}|{{ #if: |{{{2}}}|{{{author6}}}}}]]| and [[Mathematician:{{{author5}}}|{{ #if: |{{{2}}}|{{{author5}}}}}]]}}| and [[Mathematician:{{{author4}}}|{{ #if: |{{{2}}}|{{{author4}}}}}]]}}| and [[Mathematician:{{{author3}}}|{{ #if: |{{{2}}}|{{{author3}}}}}]]}}| and [[Mathematician:{{{author2}}}|{{ #if: |{{{2}}}|{{{author2}}}}}]]}}|}}: [[Book:W.W. Bell/Special Functions for Scientists and Engineers{{#if: |/Volume {{{volume}}}|}}{{#if: |/{{{edpage}}}}}|Special Functions for Scientists and Engineers{{#if: |: Volume {{{volume}}}|}}{{#if: |: {{{eddisplay}}}|{{#if: | ({{{ed}}} ed.)}}}}]]{{#if: | (translated by [[Mathematician:{{{translated}}}|{{ #if: |{{{2}}}|{{{translated}}}}}]])}}{{#if: |, {{{publisher}}}|}}{{#if: |, ISBN {{{isbn}}}|}}{{#if: Gamma(1)=1 | ... (previous)|}}{{#if: Gamma(n+1)=n! | ... (next)|}}{{#if: |: Entry: {{#if: |[[{{{entryref}}}|{{{entry}}}]]|{{{entry}}}}}|}}: Theorem 2.2
  • 2010: {{ #if: |{{{2}}}|Roelof Koekoek}}{{#if: Peter A. Lesky|{{#if: René F. Swarttouw|, {{ #if: |{{{2}}}|Peter A. Lesky}}{{#if: |, {{ #if: |{{{2}}}|René F. Swarttouw}}{{#if: |, [[Mathematician:{{{author4}}}|{{ #if: |{{{2}}}|{{{author4}}}}}]]{{#if: |, [[Mathematician:{{{author5}}}|{{ #if: |{{{2}}}|{{{author5}}}}}]] and [[Mathematician:{{{author6}}}|{{ #if: |{{{2}}}|{{{author6}}}}}]]| and [[Mathematician:{{{author5}}}|{{ #if: |{{{2}}}|{{{author5}}}}}]]}}| and [[Mathematician:{{{author4}}}|{{ #if: |{{{2}}}|{{{author4}}}}}]]}}| and {{ #if: |{{{2}}}|René F. Swarttouw}}}}| and {{ #if: |{{{2}}}|Peter A. Lesky}}}}|}}: [[Book:Roelof Koekoek/Hypergeometric Orthogonal Polynomials and Their q-Analogues{{#if: |/Volume {{{volume}}}|}}{{#if: |/{{{edpage}}}}}|Hypergeometric Orthogonal Polynomials and Their q-Analogues{{#if: |: Volume {{{volume}}}|}}{{#if: |: {{{eddisplay}}}|{{#if: | ({{{ed}}} ed.)}}}}]]{{#if: | (translated by [[Mathematician:{{{translated}}}|{{ #if: |{{{2}}}|{{{translated}}}}}]])}}{{#if: |, {{{publisher}}}|}}{{#if: |, ISBN {{{isbn}}}|}}{{#if: Gamma | ... (previous)|}}{{#if: findme | ... (next)|}}{{#if: |: Entry: {{#if: |[[{{{entryref}}}|{{{entry}}}]]|{{{entry}}}}}|}}: $(1.2.2)$
  • 2010: {{ #if: |{{{2}}}|Richard Beals}}{{#if: Roderick Wong|{{#if: |, {{ #if: |{{{2}}}|Roderick Wong}}{{#if: |, [[Mathematician:{{{author3}}}|{{ #if: |{{{2}}}|{{{author3}}}}}]]{{#if: |, [[Mathematician:{{{author4}}}|{{ #if: |{{{2}}}|{{{author4}}}}}]]{{#if: |, [[Mathematician:{{{author5}}}|{{ #if: |{{{2}}}|{{{author5}}}}}]] and [[Mathematician:{{{author6}}}|{{ #if: |{{{2}}}|{{{author6}}}}}]]| and [[Mathematician:{{{author5}}}|{{ #if: |{{{2}}}|{{{author5}}}}}]]}}| and [[Mathematician:{{{author4}}}|{{ #if: |{{{2}}}|{{{author4}}}}}]]}}| and [[Mathematician:{{{author3}}}|{{ #if: |{{{2}}}|{{{author3}}}}}]]}}| and {{ #if: |{{{2}}}|Roderick Wong}}}}|}}: [[Book:Richard Beals/Special functions, a graduate text{{#if: |/Volume {{{volume}}}|}}{{#if: |/{{{edpage}}}}}|Special functions, a graduate text{{#if: |: Volume {{{volume}}}|}}{{#if: |: {{{eddisplay}}}|{{#if: | ({{{ed}}} ed.)}}}}]]{{#if: | (translated by [[Mathematician:{{{translated}}}|{{ #if: |{{{2}}}|{{{translated}}}}}]])}}{{#if: |, {{{publisher}}}|}}{{#if: |, ISBN {{{isbn}}}|}}{{#if: Gamma | ... (previous)|}}{{#if: findme | ... (next)|}}{{#if: |: Entry: {{#if: |[[{{{entryref}}}|{{{entry}}}]]|{{{entry}}}}}|}}: $(2.1.2)$