Ramanujan's master theorem and two formulas for the zero-order Hankel transform (Q2115281): Difference between revisions

The author invokes the Ramanujan's Master Theorem [\textit{G. H. Hardy}, Ramanujan. Twelve lectures on subjects suggested by his life and work. Reprint. New York: Chelsea Publishing Company (1959; Zbl 0086.26202)] to establish `two formulas for Hankel transforms of order zero for even functions using the inverse Mellin transform'. By defining that \[ A\left( q \right)=\mathcal{H}_0(f)(q)= \int_0^\infty J_0\left(qx \right)f\left( x \right)x \,dx,\tag{1} \] for an even function \(f\), written as \(f (x) = g(x^2)\), the author first proves the following theorem: Theorem 2.1 The Hankel transform of order zero (1), with \(f (x) = g(x^2)\) and \(q > 0\) may be expressed in the form \[ A\left( q \right) = \frac{1}{\pi iq^2}\int_{\alpha -i\infty}^{\alpha+i\infty}\bar{g}^{\left(s \right)}\left(0 \right)\Gamma \left(s+1\right)\left(\frac{q^2}{4}\right)^{-s}\mathrm{d}s \] for \(-1<\alpha <0\), provided \begin{itemize} \item[(a)] \(g(z)\) is a regular function with Taylor series expansion about \(z = 0\) of the form \[ g\left( z \right) = \sum\limits_{m = 0}^\infty\frac{\bar{g}^{\left( m \right)}\left(0 \right)}{m!}\left(-z\right)^m; \] \item[(b)] \(g(z) = O(z^{-d})\) as \(z\to \infty\), for \(d > \frac{1}{4}\); \item[(c)] \(\bar{g}^{\left( s \right)}\left( 0 \right)\) is a regular (single-valued) function defined on the half-plane \[ H\left( \delta \right) = \left\{s \in \mathbb{C}:\mathrm{Re}s\ge - \delta \right\} \] for some \(\frac{1}{4} < \delta < 1\) and satisfies the growth condition \[ \left|\bar{g}^{\left(s \right)}\left(0 \right)\right| < Ce^{Pv+ A\left| w \right|} \] for some \(A < \frac{\pi}{2}\) and all \(s = v + iw \in H(\delta)\). \end{itemize} The applications of this theorem are then discussed by the author where he also deduces a new improper parametric integral of the Bessel function in Example 2.7. The following generalization of Theorem 2.1 is then proven by the author: Theorem 2.9 The Hankel transform (1) of the function \(f (x) = h(x^4)\) and \(q > 0\) may be expressed in the form \[ A\left( q \right) = \frac{1}{iq^2\sqrt \pi}\int_{\alpha - i\infty}^{\alpha+i\infty}\bar{h}\left(s \right)\frac{\Gamma \left(2s +1 \right)}{\Gamma\left(\frac{1}{2}- s\right)}2^{6s+ 1}q^{- 4s}\, \mathrm{d}s, \] for \(\frac{-1}{2} < \alpha < 0\), provided that \begin{itemize} \item[(a)] \(h(z)\) is a regular function and its Taylor series at \(z = 0\) has the form \[ h\left( z \right) = \sum\limits_{m = 0}^\infty\frac{\bar{h}^{\left( m \right)}\left( 0 \right)}{m!}\left(- z\right)^m; \] \item[(b)] \(h(z) = O(z^{-d})\), as \(z \to \infty\), for \(d > \frac{1}{8}\); \item[(c)] \(\bar{h}^{\left( s \right)}\left( 0 \right)\) is a regular (single-valued) function defined on a half-plane \[ H\left( \delta \right) = \left\{s \in \mathbb{C} :\mathrm{Re}s\ge-\delta \right\} \] for some \(\frac{1}{8} < \delta < \frac{1}{2}\) and satisfies the growth condition \[ \left|\bar{g}^{\left(s \right)}\left(0\right)\right|<Ce^{Pv + A\left| w \right|} \] for some \(A < \frac{\pi}{2}\) and all \(s = v + iw \in H(\delta)\). \end{itemize}