Gamma function

Gamma function
Alessio Damato · CC BY-SA 3.0 · source
Name	Gamma function
Caption	Complex magnitude of the Gamma function
Field	Leonhard Euler; Georg Friedrich Bernhard Riemann; Adrien-Marie Legendre
Introduced	1729 (Euler); 1811 (Legendre)
Notation	Γ(z)

Gamma function is an extension of the factorial function to complex and real number arguments beyond the nonnegative integers. Developed by Leonhard Euler and refined by Adrien-Marie Legendre, it plays a central role in analysis, number theory, probability theory, and mathematical physics. The function connects with the work of Carl Friedrich Gauss, Bernhard Riemann, Srinivasa Ramanujan, Niels Henrik Abel, and many institutions like the Royal Society and the Académie des Sciences through prominent publications and correspondence.

Definition and basic properties

The classical integral definition was given by Leonhard Euler and is often attributed in textbooks associated with Adrien-Marie Legendre: Γ(z) = ∫_0^∞ t^{z-1} e^{-t} dt for ℜ(z)>0, which links to factorials via Γ(n+1)=n! for positive integers n, a relation appearing in works by Joseph-Louis Lagrange and Pierre-Simon Laplace. Properties such as meromorphy and nonvanishing on ℂ\{nonpositive integers} were studied by Bernhard Riemann and feature in expositions by G. H. Hardy, John Edensor Littlewood, and E. T. Whittaker. The function satisfies reflection and multiplication behaviors that connect to the theories developed at Trinity College, Cambridge, École Normale Supérieure, and the Institute for Advanced Study.

Analytic continuation and singularities

Analytic continuation beyond ℜ(z)>0 is constructed using the recurrence Γ(z+1)=zΓ(z), a relation examined by Carl Gustav Jacobi and Augustin-Louis Cauchy. The continuation yields simple poles at nonpositive integers, a structure appearing in the spectral studies of David Hilbert and in the exposition of Felix Klein. Residue calculations at poles are used in contour integration techniques associated with Lord Kelvin and George Gabriel Stokes, and are instrumental in proofs related to the Riemann zeta function by Bernhard Riemann and later analysts like Atle Selberg.

Identities and functional equations

Key identities include the reflection formula and the multiplication theorem, influenced by contributions from Euler, Gauss, and Legendre. The reflection formula relates Γ(z) and Γ(1−z) and is often presented alongside the sine function developments of Niels Henrik Abel and Adrien-Marie Legendre. The multiplication theorem (Gauss's multiplication formula) generalizes duplication formulas used by Adrien-Marie Legendre and features in studies by Srinivasa Ramanujan, who produced many remarkable series and product identities. Connections to the Beta function, first systematized by Jacques Binet and later explored by Émile Picard, yield Euler's integral for the Beta function B(x,y)=Γ(x)Γ(y)/Γ(x+y).

Special values and relationships to other functions

Special values such as Γ(1/2)=√π tie the function to the work of Carl Friedrich Gauss on elliptic integrals and to Pierre-Simon Laplace’s probability studies. Relations to the Beta function, the digamma and polygamma functions studied by Adrien-Marie Legendre and Thomas Joannes Stieltjes, and links to hypergeometric functions explored by Ernst Kummer and Paul Émile Appell show up across classical analysis. The Gamma function interlaces with the Riemann zeta function through functional equations examined by Bernhard Riemann, and with modular forms in the theories advanced by Bernhard Riemann, Ernst Hecke, and G. H. Hardy. Special constants like π and Euler’s constant γ appear in expansions catalogued by Srinivasa Ramanujan and published by the London Mathematical Society.

Applications in mathematics and physics

In probability and statistics, Γ enters distributions such as the gamma distribution and the chi-squared distribution used in work by Ronald Fisher, Karl Pearson, and applied in Wright-Fisher model analyses. In combinatorics and asymptotics, Stirling’s approximation, attributed to James Stirling and refined by Pierre-Simon Laplace and S. Ramanujan, is central. Quantum field theory and statistical mechanics employ Γ in regularization and dimensional continuation techniques developed in the contexts of Paul Dirac, Richard Feynman, and Julian Schwinger. In spectral theory and scattering, connections to the scattering matrix and Selberg zeta function reflect the influence of Atle Selberg and Michael Atiyah. Applications extend to special function theory in the work of Erdélyi, H. Bateman, and institutions like the National Institute of Standards and Technology.

Numerical computation and approximations

Efficient computation relies on asymptotic expansions such as Stirling’s series (Stirling, Laplace) and Lanczos approximation (Cornelius Lanczos), with numerical implementations in libraries maintained by organizations like Numerical Algorithms Group and platforms such as GNU Project and Wolfram Research. Algorithms use reflection, recurrence, and contour integration techniques discussed in texts by Donald Knuth, Nicholas J. Higham, and William Kahan. Software packages in environments developed at Massachusetts Institute of Technology and University of California, Berkeley incorporate robust routines, while arbitrary-precision implementations draw on work by Peter Borwein and projects like MPFR.

Category:Special functions