4

One way to define the gamma function is $$\Gamma(x)= \lim_{p\rightarrow \infty} \Gamma_p(x) $$

Where $$\Gamma_p(x)=\dfrac{p! p^x }{x(x+1)...(x+p)}=\dfrac{p^x}{x(1+x/1)(1+x/2)...(1+x/p)} $$

How to prove that the limit converges?

Omar Nagib
  • 1,258

1 Answers1

1

Write this as

$$\Gamma_p(x) = \left[xe^{-x \ln p}\prod_{k=1}^p\left(1+\frac{x}{k}\right)\right]^{-1}=\left[xe^{x (\sum_{k=1}^p1/k-\ln p)}\prod_{k=1}^p\left(1+\frac{x}{k}\right)e^{-x/k}\right]^{-1}.$$

We show the limit as $p \to \infty$ exists by examining the convergence of the sum and product appearing in this expression..

Note that

$$\lim_{p \to \infty} \left(\sum_{k=1}^{p}\frac{1}{k} - \ln p \right)= \gamma,$$

where $\gamma$ is the Euler-Mascheroni constant.

The product

$$\prod_{k=1}^{p} \left(1 + \frac{1}{k}\right)e^{-x/k}$$

converges if and only if the following series converges

$$\sum_{k=1}^{\infty} \left[\ln\left(1+\frac{x}{k}\right) - \frac{x}{k} \right].$$

The series does indeed converge as the summand is asymptotic to $x^2/(2k^2)$ as $k \to \infty$.

Hence, the original sequence converges to the Weierstrass form of the gamma function:

$$\Gamma(x) =\left[xe^{\gamma x }\prod_{k=1}^{\infty}\left(1+\frac{x}{k}\right)e^{-x/k}\right]^{-1}$$

RRL
  • 90,707
  • And how to prove that $$\lim_{p \to \infty} \sum_{k=1}^{p}\frac{1}{k} - \ln p$$ is convergent series? – Omar Nagib Jan 16 '16 at 05:17
  • That is a very well known result -- defining Euler's constant. It has been proved many times on this site. Basically you show that the sequence is monotonically decreasing and bounded below by $0$. – RRL Jan 16 '16 at 05:20
  • it'd be great If you could give me some links on this site that prove the result. – Omar Nagib Jan 16 '16 at 05:21
  • Will do. Note that the sum alone is the divergent harmonic series which grows like log , but you get convergence by subtracting the log. – RRL Jan 16 '16 at 05:23
  • @Omar Nagib Have a look here: http://math.stackexchange.com/q/857473/148510 – RRL Jan 16 '16 at 05:29
  • @OmarNagib, Also this book has another proof for the convergence of Euler's constant. –  Apr 15 '16 at 06:16