Hecke L‑함수와 리만 제타의 혼합 적분 모멘트에 관한 새로운 비대칭 공식

초록

본 논문은 전통적인 절대값을 취하지 않은 형태로, 완전 모듈러 군 $SL(2,\mathbb Z)$에 대한 Hecke cusp form $f$(홀로모픽·마세스 모두)와 리만 제타 함수 $\zeta(s)$의 혼합 모멘트 $\int_{0}^{T}L(\tfrac12+it,f),\zeta(\tfrac12+it),dt$에 대한 정확한 주된 항과 $O(T^{1/2+\varepsilon})$ 오차항을 얻는다. 매끄러운 가중함수 $V$를 도입해 일반화된 식을 증명하고, 기존 결과를 확장한다.

상세 분석

이 논문은 $SL(2,\mathbb Z)$에 귀속된 Hecke cusp form $f$(홀로모픽 혹은 마세스)와 리만 제타 함수 $\zeta(s)$의 혼합 적분 모멘트를 연구한다. 핵심은 절대값을 취하지 않은 형태 $\int_{0}^{T}L(\tfrac12+it,f),\zeta(\tfrac12+it),dt$에 대한 비대칭적인 주된 항을 도출하는 것이다. 이를 위해 저자는 다음과 같은 일련의 고전적·현대적 분석 기법을 결합한다.

1. 근사 기능 방정식(Approximate Functional Equation)
   $L(s,f)$와 $\zeta(s)^2$ 각각에 대해 $s=\tfrac12+it$ 근처에서의 근사 기능 방정식을 전개한다. 여기서는 $W_{s}(x)$ 형태의 스무스 커팅 함수를 도입해 급수의 유효 구간을 $n\ll T^{1+\varepsilon}$ 로 제한하고, 오차를 $O(T^{-A})$ 수준으로 제어한다. 특히 $\zeta(s)^2$에 대한 두 개의 급수가 서로 복소공액 관계에 있음을 이용해 교차항을 정밀히 분석한다.

2. Voronoi 변환과 Kloosterman 합 평균
   Hecke 계수 $\lambda_f(n)$에 대해 Voronoi 합 변환을 적용하고, 변환 후 나타나는 Kloosterman 합 $S(m,n;c)$의 평균값을 Lemma 2.13을 통해 제어한다. 이 과정에서 $c$가 소수 혹은 일반 정수인 경우 모두 다루며, $c$에 대한 평균적 비정상성을 $O(c^{1/2+\varepsilon})$ 수준으로 억제한다. 이는 혼합 모멘트의 교차항을 소멸시키는 핵심 단계다.

3. 정적 위상법(Stationary Phase)과 Mellin 변환
   가중함수 $V(t/T)$가 진동성을 가질 경우, 정적 위상법을 여러 차례 적용해 주요 기여 구간을 정확히 파악한다. 특히 $W_s(x)$와 $V(t/T)$의 곱을 Mellin 변환하여 복소 평면에서 적절히 컨투어를 이동시켜 $u=v$인 극점을 포착한다. 이때 남는 잔여항이 바로 $2c,L(1,f)^2\zeta(2)$이며, $c=\int_{\mathbb R}V(\xi),d\xi$ 로 정의된다.

4. 오차항 추정
   모든 교차항과 고주파 진동항은 $L^2$-노름과 Cauchy–Schwarz 부등식을 이용해 $O(T^{1/2+\varepsilon})$ 로 억제한다. 여기에는 $\lambda_f(n)$의 평균 제곱합 $\sum_{n\le X}|\lambda_f(n)|^2\ll X$ (Rankin–Selberg)와 $\zeta(s)$의 표준 평균값 정리가 활용된다. 또한, $V$의 스무스성 가정($\Delta$-inert) 덕분에 $V$에 의한 추가 오차는 무시 가능하다.

5. 결과와 기존 연구와의 비교
   기존에는 절대값을 취한 $|L(\tfrac12+it,f)\zeta(\tfrac12+it)|^2$ 형태나, $L(\tfrac12+it,f)$만을 다루는 결과가 주류였으며, 혼합 모멘트에 대한 비절대값 공식은 거의 알려지지 않았다. 본 논문은 그 격차를 메우며, Holomorphic과 Maass 두 경우를 동시에 다루어 일반성을 크게 확장한다. 또한, Corollary 1.3을 통해 가중함수 없이도 $O(T^{1-\varepsilon})$ 수준의 비대칭 공식이 얻어짐을 보여준다.

신기술적 기여

• 가중함수 $V$가 진동성을 가질 때도 정확한 주된 항을 도출하는 방법론을 제시.
• Voronoi 변환 후 Kloosterman 평균을 정밀히 다루어 교차항을 완전히 소거.
• Mellin 변환과 정적 위상법을 결합해 복소 적분 컨투어 이동을 체계화.

제한점 및 향후 과제

• 오차항 $T^{1/2+\varepsilon}$는 현재 알려진 $\zeta$의 2차 모멘트 $T\log^4 T$ 수준보다 약하지만, $L$-함수와의 혼합에서는 아직 최적이 아니다. 향후 더 정교한 대수적 곱셈법(예: 다중 디리클레 급수)이나 고차 Kloosterman 평균을 이용해 $T^{1/3}$ 수준까지 개선 가능성이 있다.
• 결과는 $SL(2,\mathbb Z)$ 전형적인 경우에 한정되며, 레벨이 높은 형식이나 GL$(n)$ 일반화는 별도 연구가 필요하다.
• 상수 $c$는 $V$의 적분값에만 의존하지만, $V$가 비대칭이거나 급격히 변하는 경우 상수항의 정확한 형태가 복잡해질 수 있다.

전반적으로 이 논문은 Hecke $L$‑함수와 제타 함수의 혼합 모멘트를 절대값 없이 다루는 최초의 비대칭 공식이며, 현대적 분석 도구들을 조화롭게 결합한 점이 돋보인다.