Error bound for the asymptotic expansion of the Hartman-Watson integral
arXiv:2504.04992
Abstract
This note gives a bound on the error of the leading term of the asymptotic expansion of the Hartman-Watson distribution in the regime constant. The leading order term has the form , where the error term is bounded uniformly over as .
11 pages, 4 figures