[논문 리뷰] Jacob's ladders and the asymptotic formula for the integral of the eight order expression $|\zeta(1/2+i\vp_2(t))|^4|\zeta(1/2+it)|^4$

Jan Moser|arXiv (Cornell University)|2010. 01. 13.

Analytic Number Theory Research참고 문헌 10인용 수 12

한 줄 요약

이 논문은 라마누잔의 2차 잰콥의 사다리, 즉 새로운 단조 함수 ϕ₂(T)를 소개하며, |ζ(1/2 + iϕ₂(t))|⁴와 |ζ(1/2 + it)|⁴ 사이의 정밀한 상관관계를 수립한다. 비선형 적분방정식과 점점 가까워지는 분석을 통해, 기존의 발마수브라마니안, 히스-브라운, 이비치의 방법을 뛰어넘는 첫 번째 알려진 점점 가까운 공식을 도출한다. ∫|ζ(1/2 + iϕ₂(t))|⁴|ζ(1/2 + it)|⁴ dt ∼ 1/(4π⁴) U ln⁸T 는 8차 모멘트에 대한 것이다.

ABSTRACT

It is proved in this paper that there is a fine correlation between the values of $|\zeta(1/2+i\vp_2(t))|^4$ and $|\zeta(1/2+it)|^4$ where $\vp_2(t)$ stands for the Jacob's ladder of the second order. This new asymptotic formula cannot be obtained in known theories of Balasubramanian, Heath-Brown and Ivic.

연구 동기 및 목표

• 적분방정식에서 유도된 새로운 함수 ϕ₂(t)를 포함하는 리만 제타함수의 8차 모멘트에 대한 새로운 점점 가까운 공식을 수립하는 것.
• 비선형 적분방정정식의 해로서의 2차 잰콥의 사다리, ϕ₂(T)를 정의하고 특성화하는 것. 이는 제타함수 모멘트의 핵심 성질을 유지한다.
• 기존의 발마수브라마니안, 히스-브라운, 이비치의 방법으로는 도달할 수 없는 새로운 점점 가까운 공식을 도출할 수 있음을 보여주는 것.
• ϕ₂(T)와 그 도함수의 점점 가까운 행동을 분석하여, ϕ₂(T) = T + O(T / ln T)임을 보이고, 관련 적분의 정확한 오차 한계를 유도하는 것.
• 특정 척도 U = T¹³/¹⁴⁺²ε 하에서, 변환된 모멘트 ∫Z₄[ϕ₂(t)]Z₄(t) dt 가 C₀U ln⁸T 로 점점 가까워지며, C₀ = 1/(2π²) 임을 증명하는 것.

제안 방법

• 비선형 적분방정식 ∫₀^{µ(x(T))} Z₄(t)e^{-t/x(T)} dt = ∫₀^T Z₄(t) dt 를 만족하는 유일한 해로 ϕ₂(T)를 정의하며, µ(y) ≥ 4y ln y 를 만족한다.
• Φ₂(y) = ∫₀^{µ(y)} Z₄(t)e^{-t/y} dt 를 도입하고, Z₄(t) = Φ′₂(ϕ₂(T)) · dϕ₂(T)/dT 라는 미분관계를 도출한다.
• 티치마르크-아트킨슨 공식과 잇닝-히스-브라운 점점 가까운 분석을 활용하여, ∫₀^T Z₄(t) dt 를 ϕ₂(T)로 표현함으로써 점점 가까운 비교를 가능하게 한다.
• 모멘트 적분의 비교와 ln⁴ϕ₂(T)의 테일러 전개를 통해, ϕ₂(T) = T + O(T / ln T) 라는 점점 가까운 행동을 확립한다.
• 오차 항을 제어하기 위해 Φ′′₂(y)/y² 를 분석하여, Φ′′₂[ϕ₂(T)] = O(1/(T ln⁴T (ln ln T)²)) 임을 보인다.
• 주요 공식 Z₄(t) = C₀ ln⁴T (1 + O((ln ln T)² / ln T)) · dϕ₂(t)/dt 를 도출하고, 이로부터 8차 모멘트에 대한 최종 점점 가까운 공식을 유도한다.

실험 결과

연구 질문

• RQ1 ζ(1/2 + iϕ₂(t))|⁴ 가 |ζ(1/2 + it)|⁴ 와 밀접한 상관관계를 가지는 새로운 변환 ϕ₂(t), 즉 2차 잰콥의 사다리가 구성될 수 있는가?
• RQ2 U = T¹³/¹⁴⁺²ε 일 때, 적분 ∫_T^{T+U} |ζ(1/2 + iϕ₂(t))|⁴ |ζ(1/2 + it)|⁴ dt 의 점점 가까운 행동은 어떠한가?
• RQ3 왜 도출된 8차 모멘트에 대한 점점 가까운 공식은 발마수브라마니안, 히스-브라운, 이비치의 기존 이론으로는 접근할 수 없는가?
• RQ4 도함수 dϕ₂(t)/dt 의 점점 가까운 행동은 어떠한가? 그리고 이는 제타 모멘트를 변환하는 데 어떤 역할을 하는가?
• RQ5 ϕ₂(T)를 통한 ∫Z₄(t) dt 근사의 정확한 오차 구조는 무엇이며, 이는 최종 점점 가까운 공식에 어떤 영향을 미치는가?

주요 결과

• ϕ₂(T) 는 비선형 적분방정식의 유일한 해로서 정의되며, T ≥ T₀ 에서 엄밀히 증가하는 함수이다.
• ϕ₂(T) 는 ϕ₂(T) = T + O(T / ln T) 를 만족하며, 항등함수에 점점 가까워짐을 보여준다.
• Φ₂(y) 의 두 번째 도함수는 Φ′′₂[ϕ₂(T)] = O(1/(T ln⁴T (ln ln T)²)) 로 유계이다. 이는 오차 전파를 제어한다.
• 주요 점점 가까운 공식은 ∫_{T}^{T+U} |ζ(1/2 + iϕ₂(t))|⁴ |ζ(1/2 + it)|⁴ dt ∼ 1/(4π⁴) U ln⁸T 이며, U = T¹³/¹⁴⁺²ε 이다.
• 공식은 Z₄-변환을 통해 도출된다: Z₄(t) ≈ C₀ ln⁴T · dϕ₂(t)/dt, 여기서 C₀ = 1/(2π²) 이고 오차는 O(ln³T (ln ln T)²) 이다.
• 결과는 변형에 대해 강건하다: 적분수를 1 + O((ln ln τ)² / ln τ) 로 스케일링하더라도 최종 점점 가까운 공식은 유지되며, T → ∞ 일 때 이 값은 0으로 수렴한다.