Abstract:In this paper, we prove asymptotic formulas of mixed moments of $\rm GL(2)$ and its symmetric square $L$-functions for both Hecke--Maass cusp forms and holomorphic Hecke eigenforms in short intervals. As an application, we prove quantitative simultaneous non-vanishing of central values of these $L$-functions.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is about the asymptotic formula for the mixed moments of GL(2) L - functions and their symmetric square L - functions. Specifically, the author studied the mixed moments of the central values in short intervals of Hecke - Maass cusp forms and holomorphic Hecke eigenforms, and proved the asymptotic formula for these mixed moments. As an application, they also proved the simultaneous non - vanishing results of the central values of these L - functions.
### Specific description of the problem
1. **Asymptotic formula for mixed moments**:
The main objective of the paper is to prove the asymptotic formula for the mixed moments of GL(2) L - functions and their symmetric square L - functions in short intervals. For Hecke - Maass cusp forms $\{u_j\}_{j \geq 1}$ with spectral parameter $t_j > 1$ and the corresponding Hecke eigenvalues $\lambda_j(n)$, the following L - functions are defined:
\[
L(s, u_j) = \sum_{n \geq 1} \frac{\lambda_j(n)}{n^s}, \quad \text{Re}(s) > 1
\]
and the symmetric square L - function:
\[
L(s, \text{sym}^2 u_j) = \zeta(2s) \sum_{n \geq 1} \frac{\lambda_j(n^2)}{n^s}, \quad \text{Re}(s) > 1
\]
2. **Expression of the asymptotic formula**:
The author proved the following asymptotic formula:
\[
\sum_{j \geq 1}' w_j h_{T,\Delta}(t_j) L\left(\frac{1}{2}, u_j\right) L\left(\frac{1}{2}, \text{sym}^2 u_j\right) = a_1 H_{\log}^{T,\Delta} + a_2 H^{T,\Delta} + O(T^{1+\varepsilon} + \Delta T^{3/4 + \varepsilon})
\]
where,
\[
H_{\log}^{T,\Delta} = \int_0^\infty e^{-\frac{(t - T)^2}{\Delta^2}} t \log t \, dt, \quad H^{T,\Delta} = \int_0^\infty e^{-\frac{(t - T)^2}{\Delta^2}} t \, dt
\]
The coefficients $a_1$ and $a_2$ are respectively:
\[
a_1 = \frac{2}{\pi} \zeta\left(\frac{3}{2}\right), \quad a_2 = \frac{4}{\pi} \left( \zeta\left(\frac{3}{2}\right) \left(\frac{3\gamma}{4} - \frac{3\log \pi}{4} - \frac{3\log 2}{4} - \frac{\pi}{8}\right) + \frac{1}{2} \zeta'\left(\frac{3}{2}\right) \right)
\]
3. **Result of simultaneous non - vanishing**:
As an application of the asymptotic formula, the author also proved the simultaneous non - vanishing result of the central values of GL(2) L - functions and their symmetric square L - functions in short intervals. Specifically, for sufficiently large $T$ and any $\varepsilon > 0$, there exist more than $T^{2/15}$ Hecke - Maass cusp forms $\phi$ such that:
\[
L\left(\frac{1}{2}, \phi\right) \neq 0 \quad \text