2025-04-08 | Total: 1
This note gives a bound on the error of the leading term of the t→0 asymptotic expansion of the Hartman-Watson distribution θ(r,t) in the regime rt=ρ constant. The leading order term has the form θ(ρ/t,t)=12πte−1t(F(ρ)−π2/2)G(ρ)(1+ϑ(t,ρ)), where the error term is bounded uniformly over ρ as |ϑ(t,ρ)|≤170t.