
Gamma Function
The (complete) gamma function is defined to be an extension of thefactorial tocomplex andreal number arguments. It is related to thefactorial by
(1) |
a slightly unfortunate notation due to Legendre which is now universally used instead of Gauss's simpler (Gauss 1812; Edwards 2001, p. 8).
It isanalytic everywhere except at,
,
, ..., and the residue at
is
(2) |
There are no points at which
.
The gamma function is implemented in theWolframLanguage asGamma[z].
There are a number of notational conventions in common use for indication of a power of a gamma functions. While authors such as Watson (1939) use (i.e., using a trigonometric function-like convention), it is also common to write
.
The gamma function can be defined as adefinite integral for (Euler's integral form)
(3) | |||
(4) |
or
(5) |
The complete gamma function can be generalized to the upperincomplete gamma function
and lowerincomplete gamma function
.
Plots of the real and imaginary parts of in the complex plane are illustrated above.
Integrating equation (3)by parts for areal argument, it can be seen that
(6) | |||
(7) | |||
(8) | |||
(9) |
If is aninteger
, 2, 3, ..., then
(10) | |||
(11) | |||
(12) | |||
(13) |
so the gamma function reduces to thefactorial forapositive integer argument.
A beautiful relationship between and theRiemann zeta function
is given by
(14) |
for (Havil 2003, p. 60).
The gamma function can also be defined by aninfiniteproduct form (Weierstrass form)
(15) |
where is theEuler-Mascheroni constant (Krantz 1999, p. 157; Havil 2003, p. 57). Taking the logarithm of both sides of (◇),
(16) |
Differentiating,
(17) | |||
(18) |
(19) | |||
(20) | |||
(21) | |||
(22) | |||
(23) | |||
(24) | |||
(25) | |||
(26) |
where is thedigamma function and
is thepolygamma function.
th derivatives are given in terms of thepolygamma functions
,
, ...,
.
The minimum value of
forrealpositive
is achieved when
(27) |
(28) |
This can be solved numerically to give (OEISA030169; Wrench 1968), which hascontinued fraction [1, 2, 6, 63, 135, 1, 1, 1, 1, 4, 1, 38, ...] (OEISA030170). At
,
achieves the value 0.8856031944... (OEISA030171), which hascontinued fraction [0, 1, 7, 1, 2, 1, 6, 1, 1, ...] (OEISA030172).
The Euler limit form is
(29) |
so
(30) | |||
(31) | |||
(32) | |||
(33) |
(Krantz 1999, p. 156).
One over the gamma function is anentire function and can be expressed as
(34) |
where is theEuler-Mascheroni constant and
is theRiemann zeta function (Wrench 1968). Anasymptotic series for
is given by
(35) |
Writing
(36) |
the satisfy
(37) |
(Bourguet 1883, Davis 1933, Isaacson and Salzer 1943, Wrench 1968). Wrench (1968) numerically computed the coefficients for the series expansion about 0 of
(38) |
TheLanczos approximation gives a series expansion for for
in terms of an arbitrary constant
such that
.
The gamma function satisfies thefunctional equations
(39) | |||
(40) |
Additional identities are
(41) | |||
(42) | |||
(43) | |||
(44) |
Using (41), the gamma function of a rational number
can be reduced to a constant times
or
. For example,
(45) | |||
(46) | |||
(47) | |||
(48) |
For,
(49) |
Gamma functions of argument can be expressed using theLegendre duplication formula
(50) |
Gamma functions of argument can be expressed using a triplication formula
(51) |
The general result is theGauss multiplicationformula
(52) |
The gamma function is also related to theRiemann zeta function by
(53) |
For integer, 2, ..., the first few values of
are 1, 1, 2, 6, 24, 120, 720, 5040, 40320, 362880, ... (OEISA000142). For half-integer arguments,
has the special form
(54) |
where is adouble factorial. The first few values for
, 3, 5, ... are therefore
(55) | |||
(56) | |||
(57) |
,
, ... (OEISA001147 andA000079; Wells 1986, p. 40). In general, for
apositive integer
, 2, ...
(58) | |||
(59) | |||
(60) | |||
(61) |
Simple closed-form expressions of this type do not appear to exist for for
a positive integer
. However, Borwein and Zucker (1992) give a variety of identities relating gamma functions to square roots andelliptic integral singular values
, i.e.,elliptic moduli
such that
(62) |
where is acomplete elliptic integral of the first kind and
is the complementary integral. M. Trott (pers. comm.) has developed an algorithm for automatically generating hundreds of such identities.
(63) | |||
(64) | |||
(65) | |||
(66) | |||
(67) | |||
(68) | |||
(69) | |||
(70) | |||
(71) | |||
(72) | |||
(73) | |||
(74) | |||
(75) | |||
(76) | |||
(77) | |||
(78) | |||
(79) | |||
(80) | |||
(81) | |||
(82) | |||
(83) |
Several of these are also given in Campbell (1966, p. 31).
A few curious identities include
(84) | |||
(85) | |||
(86) | |||
(87) | |||
(88) | |||
(89) | |||
(90) |
of which Magnus and Oberhettinger (1949, p. 1) give only the last case and
(91) |
(Magnus and Oberhettinger 1949, p. 1). Ramanujan also gave a number of fascinating identities:
(92) |
(93) |
where
(94) |
(95) |
(Berndt 1994).
Ramanujan gave the infinite sums
(96) |
and
(97) |
(Hardy 1923; Hardy 1924; Whipple 1926; Watson 1931; Bailey 1935; Hardy 1999, p. 7).
The followingasymptotic series is occasionally useful in probability theory (e.g., theone-dimensional random walk):
(98) |
(OEISA143503 andA061549; Grahamet al.1994). This series also gives a nice asymptotic generalization ofStirling numbers of the first kind to fractional values.
It has long been known that istranscendental (Davis 1959), as is
(Le Lionnais 1983; Borwein and Bailey 2003, p. 138), and Chudnovsky has apparently recently proved that
is itselftranscendental (Borwein and Bailey 2003, p. 138).
There exist efficient iterative algorithms for for all integers
(Borwein and Bailey 2003, p. 137). For example, a quadratically converging iteration for
(OEISA068466) is given by defining
(99) | |||
(100) |
setting and
, and then
(101) |
(Borwein and Bailey 2003, pp. 137-138).
No such iteration is known for (Borwein and Borwein 1987; Borwein and Zucker 1992; Borwein and Bailey 2003, p. 138).
See also
Bailey's Theorem,Barnes G-Function,Binet's Fibonacci Number Formula,Bohr-Mollerup Theorem,Digamma Function,Fransén-Robinson ConstantGauss Multiplication Formula,Incomplete Gamma Function,Knar's Formula,Lambda Function,Lanczos Approximation,Legendre Duplication Formula,Log Gamma Function,Mellin's Formula,Mu Function,Nu Function,Pearson's Function,Polygamma Function,Regularized Gamma Function,Stirling's Series,SuperfactorialExplore this topic in the MathWorld classroomRelated Wolfram sites
http://functions.wolfram.com/GammaBetaErf/Gamma/,http://functions.wolfram.com/GammaBetaErf/LogGamma/Explore with Wolfram|Alpha

More things to try:
References
Abramowitz, M. and Stegun, I. A. (Eds.). "Gamma (Factorial) Function" and "Incomplete Gamma Function." §6.1 and 6.5 inHandbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing. New York: Dover, pp. 255-258 and 260-263, 1972.Arfken, G. "The Gamma Function (Factorial Function)." Ch. 10 inMathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, pp. 339-341 and 539-572, 1985.Artin, E.The Gamma Function. New York: Holt, Rinehart, and Winston, 1964.Bailey, W. N.Generalised Hypergeometric Series. Cambridge, England: Cambridge University Press, 1935.Berndt, B. C.Ramanujan's Notebooks, Part IV. New York: Springer-Verlag, pp. 334-342, 1994.Beyer, W. H.CRC Standard Mathematical Tables, 28th ed. Boca Raton, FL: CRC Press, p. 218, 1987.Borwein, J. and Bailey, D.Mathematics by Experiment: Plausible Reasoning in the 21st Century. Wellesley, MA: A K Peters, 2003.Borwein, J. and Borwein, P. B.Pi & the AGM: A Study in Analytic Number Theory and Computational Complexity. New York: Wiley, p. 6, 1987.Borwein, J. M. and Zucker, I. J. "Fast Evaluation of the Gamma Function for Small Rational Fractions Using Complete Elliptic Integrals of the First Kind."IMA J. Numerical Analysis12, 519-526, 1992.Bourguet, L. "Sur les intégrales Eulériennes et quelques autres fonctions uniformes."Acta Math.2, 261-295, 1883.Campbell, R.Les intégrales eulériennes et leurs applications. Paris: Dunod, 1966.Davis, H. T.Tables of the Higher Mathematical Functions. Bloomington, IN: Principia Press, 1933.Davis, P. J. "Leonhard Euler's Integral: A Historical Profile of the Gamma Function."Amer. Math. Monthly66, 849-869, 1959.Edwards, H. M.Riemann's Zeta Function. New York: Dover, 2001.Erdélyi, A.; Magnus, W.; Oberhettinger, F.; and Tricomi, F. G. "The Gamma Function." Ch. 1 inHigher Transcendental Functions, Vol. 1. New York: Krieger, pp. 1-55, 1981.Finch, S. R. "Euler-Mascheroni Constant." §1.5 inMathematical Constants. Cambridge, England: Cambridge University Press, pp. 28-40, 2003.Gauss, C. F. "Disquisitiones Generales Circa Seriem InfinitamReferenced on Wolfram|Alpha
Gamma FunctionCite this as:
Weisstein, Eric W. "Gamma Function." FromMathWorld--A Wolfram Resource.https://mathworld.wolfram.com/GammaFunction.html