On the Hankel Transform of Bessel Functions on Complex Numbers and Explicit Spectral Formulae over the Gaussian Field

Zhi Qi

2024-10-24

Abstract:In this paper, on the complex field $\mathbb{C}$, we prove two integral formulae for the Hankel-Mellin transform and the double Fourier-Mellin transform of Bessel functions, both resulting the hypergeometric function. As two applications, we use the former integral formula to make explicit the spectral formula of Bruggeman and Motohashi for the fourth moment of Dedekind zeta function over the Gaussian number field $\mathbb{Q}(i)$ and to establish a spectral formula for the Hecke-eigenvalue twisted second moment of central $L$-values for the Picard group $\mathrm{PGL}_2 (\mathbb{Z}[i])$. Moreover, we develop the theory of distributional Hankel transform on $\mathbb{C} \smallsetminus \{0\}$.

Number Theory,Classical Analysis and ODEs

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to prove two integral formulas of the Hankel - Mellin transform and the double Fourier - Mellin transform for Bessel functions on the complex domain \( \mathbb{C} \), and the final results of these formulas are hypergeometric functions. Specifically:

1. **Integral formulas of the Hankel - Mellin transform and the double Fourier - Mellin transform**:
- The author proves the integral formulas of the Hankel - Mellin transform and the double Fourier - Mellin transform for Bessel functions on the complex domain \( \mathbb{C} \), and the results of these two formulas are hypergeometric functions.

2. **Explicit spectral formulas**:
- As an application of the above - mentioned integral formulas, the author uses the first integral formula to make explicit the spectral formula of Bruggeman and Motohashi for the fourth moment of the Dedekind zeta function on the Gaussian number field \( \mathbb{Q}(i) \).
- At the same time, the author establishes the spectral formula of the quadratic moment of the central L - value twisted by Hecke eigenvalues on the Picard group \( \text{PGL}_2(\mathbb{Z}[i]) \).

3. **Hankel transform theory in the sense of distributions**:
- The author also develops the Hankel transform theory in the sense of distributions on \( \mathbb{C}\setminus \{0\} \).

Through these works, the author not only extends the classical integral formulas to the complex domain but also provides explicit spectral formulas on the Gaussian number field, which is of great significance for fields such as analytic number theory and representation theory. The specific formulas are as follows:

- Hankel - Mellin transform formula:
\[
\int_{\mathbb{C}} B_{\nu,p}(\sqrt{v_1}z) B_{\mu,d}(\sqrt{w_1}z) |z|^{\rho - 2i} dz\wedge d\bar{z}=\frac{1}{\pi^2(2\pi)^{2\rho}}\left| w_1 \right|^\rho\rho H_{\mu,d}^{\nu,p}\left( \frac{v_1}{w_1} \right)
\]
where \( \rho H_{\mu,d}^{\nu,p}(z) \) is an expression involving hypergeometric functions.

- Double Fourier - Mellin transform formula:
\[
\int_{\mathbb{C}}\int_{\mathbb{C}} B_{\nu,p}(\sqrt{v_1}z) e^{- 2\Re(uz + w_1/v_1)} |z|^{2\rho - 2i} |v_1|^{2\gamma - 2} dz\wedge d\bar{z}\wedge dv_1\wedge d\bar{v_1}
\]
This formula can also be simplified to a form involving hypergeometric functions.

The development of these formulas and theories provides a powerful tool for studying L - functions and spectral theory on the Gaussian number field.