[논문 리뷰] The Laplace and Mellin transforms of powers of the Riemann zeta-function

Aleksandar Ivić|ArXiv.org|2006. 05. 29.

Analytic Number Theory Research참고 문헌 23인용 수 3

한 줄 요약

이 논문은 임계선 위에서 리만 제타함수의 거듭제곱에 대한 라플라스 및 멜린 변환을 조사하며, $L_k(s)$ 및 $ olimits\mathcal{Z}_k(s)$ 변환에 대한 새로운 경계를 확립한다. 이들 변환과 $|\zeta(1/2 + it)|$의 $2k$차 모멘트 사이의 핵심 추정을 유도하여, $\int_0^T |\zeta(1/2 + it)|^{12} dt \ll_{\varepsilon} T^{2+\varepsilon}$를 증명한다. 이는 $\varepsilon$-손실을 제외하고 최적이며, 최적의 결과이다.

ABSTRACT

This paper gives a survey of known results concerning the Laplace transform $$ L_k(s) := \int_0^\infty |ζ(1/2+ ix)|^{2k}{ m e}^{-sx}{ m d} x \qquad(k \in N, \R s > 0), $$ and the (modified) Mellin transform $$ {\cal Z}_k(s) := \int_1^\infty|ζ(1/2+ ix)|^{2k}x^{-s}{ m d} x\qquad(k\in N), $$ where the integral is absolutely convergent for $\R s \ge c(k) > 1$. Also some new results on these integral transforms of $|ζ(1/2+ ix)|^{2k}$ are given, which have important connections with power moments of the Riemann zeta-function $ζ(s)$.

연구 동기 및 목표

• 자연수 $k$에 대해 $L_k(s) = \int_0^\infty |\zeta(1/2 + ix)|^{2k} e^{-sx} dx$의 라플라스 변환과 $\mathcal{Z}_k(s) = \int_1^\infty |\zeta(1/2 + ix)|^{2k} x^{-s} dx$의 수정 멜린 변환을 분석한다.
• 점근적 추정을 통해 이러한 적분 변환을 $I_k(T) = \int_0^T |\zeta(1/2 + it)|^{2k} dt$의 거듭제곱 모멘트와 연결한다.
• 스펙트럼 이론과 명시적 공식을 사용하여 $|\zeta(1/2 + it)|$의 $2k$차 모멘트에 대한 새로운 경계를 확립한다. 특히 $k=6$의 경우에 초점을 맞춘다.
• $\int_0^T |\zeta(1/2 + it)|^{12} dt \ll_{\varepsilon} T^{2+\varepsilon}$를 증명하며, 이는 $\varepsilon$-손실을 제외하고 최적이며, 최적의 결과이다.

제안 방법

• 라플라스 변환 $L_k(s)$는 부분적분과 $I_k(T)$에 대한 경계를 통해 분석되며, $L_k(1/T)$와 $I_k(T)$ 사이의 연관성을 설정한다.
• 수정 멜린 변환 $\mathcal{Z}_k(s)$는 역 멜린 변환과 $F(s)$, 즉 매끄러운 커파트 함수의 멜린 변환을 포함하는 적분 표현과 함께 사용된다.
• 모토하시의 명시적 스펙트럼 공식이 적용되며, 특히 마아스 형식에 대한 합을 포함한다: $S_m(K;K',t) = \sum_{K < \kappa_j \leq K'} \alpha_j H_j^m(1/2) \cos(\kappa_j \log(4et/\kappa_j))$.
• 이 방법은 스펙트럼 합 $S_m(K;K',t)$의 $L^2$-노름을 경계함으로써 기반한다. 특히 $m=1,2,3$에 대해 $\int_T^{2T} |S_m(K;K',t)|^2 dt \ll_{\varepsilon} T^{1+\varepsilon} K^3$이다.
• 계수 $\kappa_j^{-3/2}$와 $\exp(-(\Delta \kappa_j / T)^2)$의 감쇠를 다루기 위해 부분합과 절단 기법이 사용된다.
• 최종 경계는 이중 구간에 걸쳐 합산하고, $E_2(t) \sim \sum \alpha_j H_j^3(1/2) \kappa_j^{-3/2} \cos(\cdots)$와 같은 관계를 사용함으로써 도출되며, $\int_0^T E_2^2(t) dt \ll_{\varepsilon} T^{2+\varepsilon}$이다.

실험 결과

연구 질문

• RQ1 라플라스 및 멜린 변환 $|\zeta(1/2 + ix)|^{2k}$는 리만 제타함수의 거듭제곱 모멘트 $I_k(T)$와 어떻게 관련이 있는가?
• RQ2 $\mathcal{Z}_k(s)$ 변환을 사용하여 $\int_0^T |\zeta(1/2 + it)|^{2k} dt$에 대한 비자명한 경계를 유도할 수 있는가?
• RQ3 제12모멘트 $\int_0^T |\zeta(1/2 + it)|^{12} dt$에 대해 알려진 가장 날카로운 경계는 무엇인가?
• RQ4 스펙트럼 이론과 마아스 형식에 대한 명시적 공식은 $|\zeta(1/2 + it)|$의 고차 모멘트를 추정하는 데 어떻게 기여하는가?
• RQ5 라플라스 변환 역행렬을 통해 $L_k(s)$ 변환을 이용해 $I_k(T)$에 대한 경계를 유도할 수 있는가?

주요 결과

• 라플라스 변환 $L_k(\sigma)$는 $\sigma \to 0^+$일 때 $L_k(\sigma) \ll_{\varepsilon} (1/\sigma)^{c_k + \varepsilon}$를 만족하며, 이는 $I_k(T) \ll_{\varepsilon} T^{c_k + \varepsilon}$를 암시한다.
• 수정 멜린 변환 $\mathcal{Z}_k(s)$는 $\Re(s) \geq c(k) > 1$에서 절대 수렴하며, 역 멜린 변환을 통해 모멘트 추정에 사용된다.
• 스펙트럼 합 $S_m(K;K',t)$는 $m=1,2,3$에 대해 $\int_T^{2T} |S_m(K;K',t)|^2 dt \ll_{\varepsilon} T^{1+\varepsilon} K^3$를 만족하며, 이는 핵심 기술적 도구이다.
• $\int_0^T |\zeta(1/2 + it)|^{12} dt \ll_{\varepsilon} T^{2+\varepsilon}$의 경계가 확립되었으며, 이는 $\varepsilon$-손실을 제외하고 최적이며, 최적의 결과이다.
• $\int_0^T E_2^2(t) dt \ll_{\varepsilon} T^{2+\varepsilon}$가 증명되었으며, 여기서 $E_2(t)$는 네 번째 모멘트 공식의 오차항이며, 이는 제12모멘트 경계를 암시한다.
• 결과적으로 $\int_0^T |\zeta(1/2 + it)|^{12} dt \ll_{\varepsilon} T^{2+\varepsilon}$는 스펙트럼 합 경계와 $t \sim 2^{-j}T$에 대한 이중 구간 합산의 결과이다.