b989a86eb77d0308.tex
1: \begin{abstract}
2: Exactification is the process of obtaining exact values of a function from its complete asymptotic expansion. 
3: Here Stirling's approximation for the logarithm of the gamma function or $\ln \Gamma(z)$ is derived
4: completely whereby it is composed of the standard leading terms and an asymptotic series that is generally 
5: truncated. Nevertheless, to obtain values of $\ln \Gamma(z)$, the remainder must undergo regularization. Two 
6: regularization techniques are then applied: Borel summation and Mellin-Barnes (MB) regularization. The Borel-summed 
7: remainder possesses an infinite convergent sum of exponential integrals and discontinuous logarithmic terms across 
8: Stokes sectors and lines, while the MB-regularized remainders possess one MB integral, which is better to compute, 
9: and similar logarithmic terms. The MB integrals are valid over overlapping domains of convergence. Hence, two 
10: MB-regularized asymptotic forms can be used to evaluate $\ln \Gamma(z)$. Despite having to truncate the Borel-summed 
11: remainder, it is found that all the remainders combined with (1) the truncated asymptotic series, (2) the leading 
12: terms of Stirling's approximation and (3) their logarithmic terms yield identical values of $\ln \Gamma(z)$. In 
13: the few cases where the accuracy falls away, it is mostly due to a very high value for the truncation parameter, 
14: which results in the cancellation of redundant decimal places. Where possible, all the asymptotic forms yield the
15: same values as the LogGamma routine in Mathematica.      
16: \end{abstract}
17: