5 Gamma FunctionProperties

§5.9 Integral Representations

Contents
  1. §5.9(i) Gamma Function
  2. §5.9(ii) Psi Function, Euler’s Constant, and Derivatives

§5.9(i) Gamma Function

5.9.1 1μ⁢Γ⁡(νμ)⁢1zν/μ=∫0∞exp⁡(−z⁢tμ)⁢tν−1⁢dt,

ℜ⁡ν>0, μ>0, and ℜ⁡z>0. (The fractional powers have their principal values.)

Hankel’s Loop Integral

5.9.2 1Γ⁡(z)=12⁢π⁢i⁢∫−∞(0+)et⁢t−z⁢dt,

where the contour begins at −∞, circles the origin once in the positive direction, and returns to −∞. t−z has its principal value where t crosses the positive real axis, and is continuous. See Figure 5.9.1.

See accompanying text
Figure 5.9.1: t-plane. Contour for Hankel’s loop integral. Magnify
5.9.2_5 1Γ⁡(z)=ez⁢z1−z2⁢π⁢∫−ππe−z⁢Φ⁡(t)⁢dt,
ℜ⁡z>0,

where Φ⁡(t)=1−t⁢cot⁡t+ln⁡(tsin⁡t).

5.9.3 c−z⁢Γ⁡(z)=∫−∞∞|t|2⁢z−1⁢e−c⁢t2⁢dt,
c>0, ℜ⁡z>0,

where the path is the real axis.

5.9.4 Γ⁡(z)=∫1∞tz−1⁢e−t⁢dt+∑k=0∞(−1)k(z+k)⁢k!,
z≠0,−1,−2,….
5.9.5 Γ⁡(z)=∫0∞tz−1⁢(e−t−∑k=0n(−1)k⁢tkk!)⁢dt,
−n−1<ℜ⁡z<−n.
5.9.6 Γ⁡(z)⁢cos⁡(12⁢π⁢z) =∫0∞tz−1⁢cos⁡t⁢dt,
0<ℜ⁡z<1,
5.9.7 Γ⁡(z)⁢sin⁡(12⁢π⁢z) =∫0∞tz−1⁢sin⁡t⁢dt,
−1<ℜ⁡z<1.
5.9.8 Γ⁡(1+1n)⁢cos⁡(π2⁢n)=∫0∞cos⁡(tn)⁢dt,
n=2,3,4,…,
5.9.9 Γ⁡(1+1n)⁢sin⁡(π2⁢n)=∫0∞sin⁡(tn)⁢dt,
n=2,3,4,….

Binet’s Formula

5.9.10 Ln⁡Γ⁡(z)=(z−12)⁢ln⁡z−z+12⁢ln⁡(2⁢π)+2⁢∫0∞arctan⁡(t/z)e2⁢π⁢t−1⁢dt,

where |ph⁡z|<π/2 and the inverse tangent has its principal value. Two alternative versions of Binet’s formula are

5.9.10_1 Ln⁡Γ⁡(z)=(z−12)⁢ln⁡z−z+12⁢ln⁡(2⁢π)−zπ⁢∫0∞ln⁡(1−e−2⁢π⁢t)t2+z2⁢dt,
5.9.10_2 Ln⁡Γ⁡(z)=(z−12)⁢ln⁡z−z+12⁢ln⁡(2⁢π)+∫0∞e−z⁢t⁢(1et−1−1t+12)⁢dtt,

where |ph⁡z|<π/2.

5.9.11 Ln⁡Γ⁡(z+1)=−γ⁢z−12⁢π⁢i⁢∫−c−∞⁢i−c+∞⁢iπ⁢z−ss⁢sin⁡(π⁢s)⁢ζ⁡(−s)⁢ds,

where |ph⁡z|≤π−δ, 1<c<2, and ζ⁡(s) is as in Chapter 25.

5.9.11_1 Γ∗⁡(z)=1−12⁢π⁢i⁢∫0∞e−2⁢π⁢t⁢Γ∗⁡(t⁢ei⁢π/2)t+i⁢z⁢dt+12⁢π⁢i⁢∫0∞e−2⁢π⁢t⁢Γ∗⁡(t⁢e−i⁢π/2)t−i⁢z⁢dt,
5.9.11_2 1Γ∗⁡(z)=1−12⁢π⁢i⁢∫0∞e−2⁢π⁢t⁢Γ∗⁡(t⁢ei⁢π/2)t−i⁢z⁢dt+12⁢π⁢i⁢∫0∞e−2⁢π⁢t⁢Γ∗⁡(t⁢e−i⁢π/2)t+i⁢z⁢dt,

where |ph⁡z|<π/2, and the scaled gamma function Γ∗⁡(z) is defined in (5.11.3). For additional representations see Whittaker and Watson (1927, §§12.31–12.32).

§5.9(ii) Psi Function, Euler’s Constant, and Derivatives

For ℜ⁡z>0,

5.9.12 ψ⁡(z)=∫0∞(e−tt−e−z⁢t1−e−t)⁢dt,
5.9.13 ψ⁡(z)=ln⁡z+∫0∞(1t−11−e−t)⁢e−t⁢z⁢dt,
5.9.14 ψ⁡(z)=∫0∞(e−t−1(1+t)z)⁢dtt,
5.9.15 ψ⁡(z)=ln⁡z−12⁢z−2⁢∫0∞t⁢dt(t2+z2)⁢(e2⁢π⁢t−1).
5.9.16 ψ⁡(z)+γ=∫0∞e−t−e−z⁢t1−e−t⁢dt=∫011−tz−11−t⁢dt.
5.9.17 ψ⁡(z+1)=−γ+12⁢π⁢i⁢∫−c−∞⁢i−c+∞⁢iπ⁢z−s−1sin⁡(π⁢s)⁢ζ⁡(−s)⁢ds,

where |ph⁡z|≤π−δ and 1<c<2.

5.9.18 γ=−∫0∞e−t⁢ln⁡t⁢dt=∫0∞(11+t−e−t)⁢dtt=∫01(1−e−t)⁢dtt−∫1∞e−t⁢dtt=∫0∞(e−t1−e−t−e−tt)⁢dt.
5.9.19 Γ(n)⁡(z)=∫0∞(ln⁡t)n⁢e−t⁢tz−1⁢dt,
n≥0, ℜ⁡z>0.
5.9.20 ∫czΓ⁡(t)⁢dt=∫0∞tz−1−tc−1ln⁡t⁢e−t⁢dt,
ℜ⁡z>0, ℜ⁡c>0.