1: \begin{proof}[Second proof of Proposition~\ref{prop:aofr-explicit}]

2: From the above two lemmas we see that, calculating formally at least,

3: \begin{align*}

4: \int_0^\infty \omega(x) e^{-\pi r^2 x}\,dx 

5: & =

6: \int_0^\infty \omega(x) 

7: \sum_{n=0}^\infty \frac{(-1)^n \pi^n r^{2n}}{n!} x^n\,dx 

8: \\ & =

9: \sum_{n=0}^\infty \frac{(-1)^n \pi^n r^{2n}}{n!}

10: \int_0^\infty \omega(x) x^n\,dx 

11: =

12: \sum_{n=0}^\infty \frac{(2\pi)^{2n+1} B_{2n+2}}{2(2n)!} r^{2n}

13: %\\ & 

14: =

15: \frac{d^2}{dr^2} \left(

16: \frac{r}{4}\coth\left(\pi r\right)

17: \right).

18: \end{align*}

19: To justify this rigorously, note that, by \eqref{eq:omegax-asym-xinfty}--\eqref{eq:omegax-asym-xzero}, the function $\omega(x)\exp(-\pi r^2 x)$ is absolutely integrable on $[0,\infty)$ for any \emph{complex} number $r$ satisfying $|r|<1$.

20: We have thus established the identity \eqref{eq:aofr-explicit} for those values of $r$, and, since $A(r)$ can be regarded as an analytic function of a complex variable $r$ on some open set containing the positive real axis, the result follows for general $r\ge 0$ by analytic continuation.

21: \end{proof}

22: