Abstract:Let $S_2^*(q)$ be the set of primitive Hecke eigenforms of weight 2 and prime level $q$. For $p$ prime and $t\in \mathbb{R}$, we prove asymptotic formulas for the sums $$ \mathcal {A}(p^j,q,t)=\sum_{f\in S_2^*(q)} L\left(\frac{1}{2}+it,f\right)^2\lambda_f(p^j),\qquad j=1,2, $$ where $\lambda_f(p^j)$ is the $p^j$-th normalized Fourier coefficient of $f$ and $L(s,f)$ is the $L$-function associated to $f$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the asymptotic formula of the weighted mean value of automorphic L - functions on the critical line. Specifically, the author studied the sum of the following form:
\[ A(p^j, q, t) = \sum_{f \in S^*_2(q)} L\left(\frac{1}{2} + it, f\right)^2 \lambda_f(p^j), \quad j = 1, 2 \]
where:
- \( S^*_2(q) \) represents the set of primitive Hecke eigenforms of weight 2 and prime level \( q \).
- \( \lambda_f(p^j) \) is the \( p^j \)-th normalized Fourier coefficient of \( f \).
- \( L(s, f) \) is the L - function associated with \( f \).
### Research Background
In number theory, the study of critical L - values is very important. In particular, there is great interest in establishing asymptotic formulas for the moments of L - function families on the critical line. These asymptotic formulas have important applications in solving problems such as the non - vanishing problem of L - functions, the sub - convexity problem, and the non - existence of Landau - Siegel zeros (see Duke [4], Kowalski and Michel [7], Conrey and Iwaniec [3], Iwaniec and Sarnak [6], Luo [9] and Balkanova and Frolenkov [1]).
### Main Results
The main results of the paper include two theorems:
1. **Theorem 1.1**: For any \( \epsilon>0 \) and \( p < q^{1/55-\epsilon} \), when \( t = 0 \), we have
\[
A(p, q, 0) = \left(1+\frac{1}{p}\right) \left(1-\frac{q^{-1}}{1 + p^{-2}}\right) \frac{\zeta(2)^3}{6\zeta(4)} q\sqrt{p} \left( \frac{\log q}{4\pi^2 p}+\frac{2\log p}{1 + p^2}+\frac{6\zeta'(2)}{\zeta(2)}-\frac{4\zeta'(4)}{\zeta(4)} \right)+O_\epsilon\left(\frac{p^{39/32}}{q^{31/32+\epsilon}}\right)
\]
When \( t\neq0 \), we have
\[
A(p, q, t) = \frac{\Gamma(1 - it)^2}{\Gamma(1 + it)^2} \left(\frac{q}{4\pi^2}\right)^{-2it} \frac{\zeta_q(1 - 2it)}{6(1 + p^{-2 + 2it})} \frac{\zeta(2 - 2it)^3}{\zeta(4 - 4it)} q\frac{p + 1}{p^{3/2 - it}}+\frac{\zeta_q(1 + 2it)}{6(1 + p^{-2 - 2it})} \frac{\zeta(2 + 2it)^3}{\zeta(4 + 4it)} q\frac{p + 1}{p^{3/2 + it}}+O_{t,\epsilon}\left(\frac{p^{39/32}}{q^{31/32+\epsilon}}\right)
\]
2. **Theorem 1.2**: For any \( \epsilon>0 \) and \( p < q^{1/110-\epsilon} \), when \( t = 0 \), we have