Exact Values of the Gamma Function from Stirling’s Formula
In this work the complete version of Stirling’s formula, which is composed of the standard terms and an infinite asymptotic series, is used to obtain exact values of the logarithm of the gamma function over all branches of the complex plane. Exact values can only be obtained by regularization. Two methods are introduced: Borel summation and Mellin–Barnes (MB) regularization. The Borel-summed remainder is composed of an infinite convergent sum of exponential integrals and discontinuous logarithmic terms that emerge in specific sectors and on lines known as Stokes sectors and lines, while the MB-regularized remainders reduce to one complex MB integral with similar logarithmic terms. As a result that the domains of convergence overlap, two MB-regularized asymptotic forms can often be used to evaluate the logarithm of the gamma function. Though the Borel-summed remainder has to be truncated, it is found that both remainders when summed with (1) the truncated asymptotic series, (2) Stirling’s formula and (3) the logarithmic terms arising from the higher branches of the complex plane yield identical values for the logarithm of the gamma function. Where possible, they also agree with results from Mathematica.