Stirling's Formula For The Gamma Function
For all positive integers,
where Γ denotes the gamma function.
However, the Pi function, unlike the factorial, is more broadly defined for all complex numbers other than non-positive integers; nevertheless, Stirling's formula may still be applied. If Re(z) > 0 then
Repeated integration by parts gives
where Bn is the n-th Bernoulli number (note that the infinite sum is not convergent, so this formula is just an asymptotic expansion). The formula is valid for z large enough in absolute value when |arg(z)| < π−ε, where ε is positive, with an error term of when the first m terms are used. The corresponding approximation may now be written:
A further application of this asymptotic expansion is for complex argument z with constant Re(z). See for example the Stirling formula applied in Im(z) = t of the Riemann-Siegel theta function on the straight line 1/4 + it.
Read more about this topic: Stirling's Theorem
Famous quotes containing the words stirling, formula and/or function:
“Oh, if thy pride did not our joys control,
What world of loving wonders shouldst thou see!
For if I saw thee once transformed in me,
Then in thy bosom I would pour my soul;”
—William Alexander, Earl O Stirling (1580?–1640)
“Hidden away amongst Aschenbach’s writing was a passage directly asserting that nearly all the great things that exist owe their existence to a defiant despite: it is despite grief and anguish, despite poverty, loneliness, bodily weakness, vice and passion and a thousand inhibitions, that they have come into being at all. But this was more than an observation, it was an experience, it was positively the formula of his life and his fame, the key to his work.”
—Thomas Mann (18751955)
“The mother’s and father’s attitudes toward the child correspond to the child’s own needs.... Mother has the function of making him secure in life, father has the function of teaching him, guiding him to cope with those problems with which the particular society the child has been born into confronts him.”
—Erich Fromm (1900–1980)