Abstract:Let $F(z), G(z)$ be Hecke-Maass cusp forms or Eisenstein series and $\psi$ is a smooth compactly supported function on X = SL(2,Z)\H. In this paper, we are interested in the asymptotic behavior of joint moment like
$\int_{X}\psi(z) F(z)^{a_1}G(z)^{a_2}d\mu z $ when the spectral parameters go to infinity with nonnegative integers $a_{1}+a_{2} = 3$. We show that the diagonal case $\int_{X}\psi(z)E_{t}(z)^{3} d\mu z = O_{\psi}(t^{-1/3+\varepsilon})$. In nondiagonal case we show
$\int_{\mathbb{X}}\psi(z)f^{2}(z)g(z)d\mu z = o(1)$ in the range $|t_{f} - t_{g}| \leq t_{f}^{2/3-\omega}$, a power saving upper bound of $\frac{1}{2\log t}\int_{X}\psi(z)|E_{t}(z)|^{2}g(z)d\mu z$ in the range $t_{g} \geq 2t^{\varepsilon^{\prime}}$ for any $\varepsilon^{\prime} >0 $ and an explicit formula when $t_{g} \leq 2t^{\varepsilon^{\prime}}$ which will asymptotically vanish under GRH and GRC.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the asymptotic behavior of the joint cubic moment of Eisenstein series and Hecke - Maass cusp forms under specific conditions. Specifically, the paper focuses on the asymptotic behavior of integrals of the form \(\int_X \psi(z) F(z)^{a_1} G(z)^{a_2} d\mu_z\) when the spectral parameter tends to infinity, where \(a_1 + a_2 = 3\), \(F(z)\) and \(G(z)\) can be Hecke - Maass cusp forms or Eisenstein series, and \(\psi\) is a smooth function with compact support on \(X = SL(2,\mathbb{Z})\backslash \mathbb{H}\).
The main objective of the paper is to study the decay properties of these integrals in different situations, especially in the diagonal case (i.e., the case where \(F\) and \(G\) are the same) and the non - diagonal case (i.e., the case where \(F\) and \(G\) are different). By analyzing each part of these integrals in detail, the author shows their upper - bound estimates under specific conditions and proves some stronger results under the Generalized Riemann Hypothesis (GRH) and the Generalized Lindelöf Conjecture (GRC).
For example, in the diagonal case, the paper proves that:
\[ \int_X \psi(z) E_t(z)^3 d\mu_z = O_\psi(t^{-1/3+\varepsilon}) \]
And in the non - diagonal case, the paper gives:
\[ \int_X \psi(z) f_2(z) g(z) d\mu_z = o(1) \]
within the range of \(|t_f - t_g| \leq t^{2/3-\omega}\).
In addition, the paper also discusses the asymptotic orthogonality properties of the joint value distribution and gives explicit formulas under certain specific conditions. These results are of great significance for understanding the value distribution of automorphic forms in the high - energy limit and its relationship with the random wave conjecture.