5cbee0c951e62eda.tex
1: \begin{proof}
2: %The calculation is analogous to \eqref{eq:aofr-explicit-secondproof}. 
3: %Recalling the duplication formula \eqref{eq:duplication-formula} and the reflection formula \cite[p.~9]{andrews-askey-roy}
4: %\begin{equation}
5: %\label{eq:reflection-formula}
6: %\Gamma(z)\Gamma(1-z) =\frac{\pi}{\sin(\pi z)},
7: %\end{equation}
8: %we have that
9: %\begin{align*}
10: %\int_0^\infty B(r) r^{s-1}\,dr &=
11: %\int_0^\infty \int_0^\infty \nu(x) e^{-\pi x r^2}\,dx \, r^{s-1}\,dr
12: %\\ &=
13: %\int_0^\infty \nu(x)  \int_0^\infty  e^{-\pi x r^2} r^{s-1}\,dr\,dx
14: %\\ &=
15: %\int_0^\infty \nu(x)
16: %\left(
17: %\int_0^\infty e^{-u} \left(\frac{\sqrt{u}}{\sqrt{\pi x}}\right)^{s-1}\, \frac{du}{2 \sqrt{\pi x u}}
18: %\right)
19: %\,dx
20: %\\ &=
21: %\frac{1}{2\sqrt{\pi}} \pi^{-(s-1)/2} \Gamma\left(\frac{s}{2}\right)
22: %\int_0^\infty \nu(x) x^{-s/2}\,dx
23: %\\ &= 
24: %\frac12 \pi^{-s/2} \Gamma\left(\frac{s}{2}\right)
25: %\int_0^\infty \nu(x) x^{(2-s)/2-1}\,dx
26: %\\ & =
27: %\frac12 \pi^{-s/2} \Gamma\left(\frac{s}{2}\right)
28: %\cdot \frac{2}{\sqrt{\pi}} 
29: %\Gamma\left(\frac{2-s}{2}\right)\Gamma\left(\frac32-\frac{2-s}{2}\right) \xi(2-s-1)
30: %\\ & =
31: %\pi^{-(s+1)/2} \Gamma\left(\frac{s}{2}\right)
32: %\Gamma\left(1-\frac{s}{2}\right)\Gamma\left(\frac{s+1}{2}\right) \xi(s)
33: %\\ & =
34: %\pi^{-(s+1)/2}
35: %\frac{\pi}{\sin(\pi s/2)}
36: %\Gamma\left(\frac{s+1}{2}\right) \frac12 s(s-1)\pi^{-s/2} \Gamma\left(\frac{s}{2}\right) \zeta(s)
37: %\\ & =
38: %\frac12 
39: %\frac{\pi^{1/2-s}}{\sin(\pi s/2)}
40: % s(s-1) \zeta(s)\cdot 2^{1-s} \sqrt{\pi} \Gamma(s)
41: %\\ & =
42: %\frac{(2\pi)^{1-s}}{2\sin(\pi s/2)}
43: % s(s-1) \Gamma(s) \zeta(s),
44: %\end{align*}
45: %as claimed. The rigorous justification of the above steps under the assumption $0<\re(s)<2$ is similar to the one given in Proposition~\ref{prop:mellin-nu}.
46: %\end{proof}
47: