Bessel 热核的渐近行为

我们考虑定义在半直线 $(a,\infty)$（$a>0$）上的 Bessel 微分算子 $L^{(\mu)}=\frac{d^2}{dx^2}+\frac{2\mu+1}{2x}$（$\mu\in\mathbb{R}$）的 Dirichlet 热核 $p_a^{(\mu)}(t,x,y)$，并给出了当 $xy/t\rightarrow\infty$ 时其渐近展开。