Eikonal Blog

2010.01.04

Gamma Function

Filed under: mathematics — Tags: , , , , — sandokan65 @ 20:14

Definitions:

  • 1) Euler: \Gamma(z) = \int_0^\infty e^{-t} t^{z-1} dt, (\Re z > 0);
  • 2) Gauss: \Gamma(z) = \lim_{n\rightarrow\infty} \frac{n! n^z}{(z)_{n+1}}, (z\not\in{\Bbb N}_0)
  • 3) Weierstrass: \Gamma(z)^{-1} =z e^{\gamma z} \prod_{n=1}^\infty (1+\frac{z}{n}) e^{-\frac{z}{n}}, where \gamma :\equiv \lim_{n\rightarrow \infty} (\sum_{k=1}^n \frac1{k} - \ln(n+1)) \sim 0.577,215,7 is the Euler-Mascheroni constant.

The Mittag-Leffler expansion:

    \Gamma(z) = \sum_{n=0}^\infty \frac{(-)^n}{n!} \frac1{n+z} + \int_{1}^\infty e^{-t} t^{z-1} dt.

It indicates that \Gamma(-n+\epsilon) \sim \frac{(-)^n}{n!} \frac1\epsilon.

Properties:

  • \Gamma(z+1)=z\Gamma(z).
  • \Gamma(z)\Gamma(1-z) = \frac{\pi}{\sin(\pi z)}, (z\not\in{\Bbb Z}).
  • \Gamma(\frac12)=\sqrt{\pi}.
  • The multiplication theorem: \prod_{n=0}^{m-1}\Gamma(z+\frac{n}{m}) = (2\pi)^{\frac{m-1}2} m^{\frac12 - mz} \Gamma(mz).
  • The duplication formula: \Gamma(x)\Gamma(z+\frac12) = 2^{1-2z} \sqrt{\pi} \Gamma(2z).

Hankel representations:

  • \Gamma(z) = \frac1{e^{2\pi i z}-1} \int_C e^{-\zeta}\zeta^{z-1}d\zeta,
  • \Gamma(z) = -\frac1{2i\sin(\pi z)} \int_C e^{-\zeta}(-\zeta)^{z-1}d\zeta,
  • \Gamma(z)^{-1} = -\frac1{2\pi} \int_C e^{-\zeta}\zeta^{-z}d\zeta.

Here the contour C comes from plus infinity narrowly above the x axis, circles once around origin and returns to plus infinity narrowly below the real axis.

Stirling formula:

    \Gamma(z) = \sqrt{\frac{2\pi}{z}} (\frac{z}{e})^z [1+\frac1{12 z}+\cdots]

Misc:

  • \lim_{n\rightarrow\infty} \int_0^{n} [e^{-t}-(1-\frac{t}{n})^n] t^{z-1} dt = 0, \Re z > 0.
  • |\Gamma(iy)|^2 = \frac{\pi}{y \sinh(\pi y)}

Source: “The Functions of Mathematical Physics” by Harry Hochstadt

Mellin-Barnes integrals

Filed under: mathematics — Tags: , — sandokan65 @ 20:02

\int_{-i\infty}^{+i\infty} \Gamma(\alpha+s) \Gamma(\beta+s) \Gamma(\gamma-s) \Gamma(\delta-s) ds = 2\pi i \frac{\Gamma(\alpha+\gamma)\Gamma(\beta+\gamma)\Gamma(\alpha+\delta)\Gamma(\beta+\delta)}{\Gamma(\alpha \beta+\gamma+\delta)}

Integrals with Gamma functions

Filed under: mathematics — Tags: , , — sandokan65 @ 20:00
  • \int_0^\infty \frac{\cosh(2yt)}{(\cosh(t))^{2x}} dt = 2^{2x-2} \frac{\Gamma(x+y)\Gamma(x-y)}{\Gamma(2x)}, for \Re x > |\Re y|.
  • \int_{-i\infty}^{+i\infty} \frac{e^{its}ds}{\Gamma(\mu+s)\Gamma(\nu-s)} = \theta(\pi - |t|) \frac{2(\cos(\frac{t}2))^{\mu+\nu-2} e^{\frac{1}{2} i t (\nu-\mu)}}{\Gamma(\mu+\nu-1)}.

Sources:

  • “The Functions of Mathematical Physics” by Harry Hochstadt

Blog at WordPress.com.