On the probability density function of the Hartman-Watson distribution

Abstract

The Hartman-Watson distribution arises in many areas of applied probability. But its probability density function is difficult to compute. Recently, [13] gave the first two terms of its asymptotic expansion. Here, we derive the probability density function and a full asymptotic expansion in computable forms.