Particular_values_of_the_gamma_function

Particular values of the gamma function

Particular values of the gamma function

Mathematical constants


The gamma function is an important special function in mathematics. Its particular values can be expressed in closed form for integer and half-integer arguments, but no simple expressions are known for the values at rational points in general. Other fractional arguments can be approximated through efficient infinite products, infinite series, and recurrence relations.

Integers and half-integers

For positive integer arguments, the gamma function coincides with the factorial. That is,

and hence

and so on. For non-positive integers, the gamma function is not defined.

For positive half-integers, the function values are given exactly by

or equivalently, for non-negative integer values of n:

where n!! denotes the double factorial. In particular,

OEIS: A002161
OEIS: A019704
OEIS: A245884
OEIS: A245885

and by means of the reflection formula,

OEIS: A019707
OEIS: A245886
OEIS: A245887

General rational argument

In analogy with the half-integer formula,

where n!(q) denotes the qth multifactorial of n. Numerically,

OEIS: A073005
OEIS: A068466
OEIS: A175380
OEIS: A175379
OEIS: A220086
OEIS: A203142.

As tends to infinity,

where is the Euler–Mascheroni constant and denotes asymptotic equivalence.

It is unknown whether these constants are transcendental in general, but Γ(1/3) and Γ(1/4) were shown to be transcendental by G. V. Chudnovsky. Γ(1/4) / 4π has also long been known to be transcendental, and Yuri Nesterenko proved in 1996 that Γ(1/4), π, and eπ are algebraically independent.

The number Γ(1/4) is related to the lemniscate constant ϖ by

and it has been conjectured by Gramain[1] that

where δ is the Masser–Gramain constant OEIS: A086058, although numerical work by Melquiond et al. indicates that this conjecture is false.[2]

Borwein and Zucker[3] have found that Γ(n/24) can be expressed algebraically in terms of π, K(k(1)), K(k(2)), K(k(3)), and K(k(6)) where K(k(N)) is a complete elliptic integral of the first kind. This permits efficiently approximating the gamma function of rational arguments to high precision using quadratically convergent arithmetic–geometric mean iterations. For example:

Other formulas include the infinite products

and

where A is the Glaisher–Kinkelin constant and G is Catalan's constant.

The following two representations for Γ(3/4) were given by I. Mező[4]

and

where θ1 and θ4 are two of the Jacobi theta functions.

Certain values of the gamma function can also be written in terms of the hypergeometric function. For instance,

and

however it is an open question whether this is possible for all rational inputs to the gamma function.[5]

Products

Some product identities include:

OEIS: A186706
OEIS: A220610

In general:

Other rational relations include

[6]

and many more relations for Γ(n/d) where the denominator d divides 24 or 60.[7]

Imaginary and complex arguments

The gamma function at the imaginary unit i = −1 gives OEIS: A212877, OEIS: A212878:

It may also be given in terms of the Barnes G-function:

Because of the Euler Reflection Formula, and the fact that , we have an expression for the modulus squared of the gamma function evaluated on the imaginary axis:

The above integral therefore relates to the phase of .

The gamma function with other complex arguments returns

Other constants

The gamma function has a local minimum on the positive real axis

OEIS: A030169

with the value

OEIS: A030171.

Integrating the reciprocal gamma function along the positive real axis also gives the Fransén–Robinson constant.

On the negative real axis, the first local maxima and minima (zeros of the digamma function) are:

More information x, Γ(x) ...

See also


References

  1. Gramain, F. (1981). "Sur le théorème de Fukagawa-Gel'fond". Invent. Math. 63 (3): 495–506. Bibcode:1981InMat..63..495G. doi:10.1007/BF01389066. S2CID 123079859.
  2. Melquiond, Guillaume; Nowak, W. Georg; Zimmermann, Paul (2013). "Numerical approximation of the Masser–Gramain constant to four decimal places". Math. Comp. 82 (282): 1235–1246. doi:10.1090/S0025-5718-2012-02635-4.
  3. Borwein, J. M.; Zucker, I. J. (1992). "Fast Evaluation of the Gamma Function for Small Rational Fractions Using Complete Elliptic Integrals of the First Kind". IMA Journal of Numerical Analysis. 12 (4): 519–526. doi:10.1093/imanum/12.4.519. MR 1186733.
  4. Mező, István (2013), "Duplication formulae involving Jacobi theta functions and Gosper's q-trigonometric functions", Proceedings of the American Mathematical Society, 141 (7): 2401–2410, doi:10.1090/s0002-9939-2013-11576-5
  5. Johansson, F. (2023). Arbitrary-precision computation of the gamma function. Maple Transactions, 3(1). doi:10.5206/mt.v3i1.14591
  6. Vidūnas, Raimundas (2005). "Expressions for values of the gamma function". Kyushu Journal of Mathematics. 59 (2): 267–283. arXiv:math/0403510. doi:10.2206/kyushujm.59.267. MR 2188592.

Further reading


Share this article:

This article uses material from the Wikipedia article Particular_values_of_the_gamma_function, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.