5 Gamma FunctionProperties

§5.5 Functional Relations

Contents
  1. §5.5(i) Recurrence
  2. §5.5(ii) Reflection
  3. §5.5(iii) Multiplication
  4. §5.5(iv) Bohr–Mollerup Theorem

§5.5(i) Recurrence

5.5.1 Γ⁡(z+1)=z⁢Γ⁡(z),
5.5.2 ψ⁡(z+1)=ψ⁡(z)+1z.

§5.5(ii) Reflection

5.5.3 Γ⁡(z)⁢Γ⁡(1−z)=π/sin⁡(π⁢z),
z≠0,±1,…,
5.5.4 ψ⁡(z)−ψ⁡(1−z)=−π/tan⁡(π⁢z),
z≠0,±1,….

§5.5(iii) Multiplication

Duplication Formula

For 2⁢z≠0,−1,−2,…,

5.5.5 Γ⁡(2⁢z)=π−1/2⁢22⁢z−1⁢Γ⁡(z)⁢Γ⁡(z+12).

Gauss’s Multiplication Formula

For n⁢z≠0,−1,−2,…,

5.5.6 Γ⁡(n⁢z)=(2⁢π)(1−n)/2⁢nn⁢z−(1/2)⁢∏k=0n−1Γ⁡(z+kn).
5.5.7 ∏k=1n−1Γ⁡(kn)=(2⁢π)(n−1)/2⁢n−1/2.
5.5.8 ψ⁡(2⁢z)=12⁢(ψ⁡(z)+ψ⁡(z+12))+ln⁡2,
5.5.9 ψ⁡(n⁢z)=1n⁢∑k=0n−1ψ⁡(z+kn)+ln⁡n.

See also Sándor and Tóth (1989).

§5.5(iv) Bohr–Mollerup Theorem

If a positive function f⁡(x) on (0,∞) satisfies f⁡(x+1)=x⁢f⁡(x), f⁡(1)=1, and ln⁡f⁡(x) is convex (see §1.4(viii)), then f⁡(x)=Γ⁡(x).