[논문 리뷰] Mean value theorems for the double zeta-function

Kohji Matsumoto, Hirofumi Tsumura|arXiv (Cornell University)|2012. 03. 10.

Advanced Mathematical Identities참고 문헌 37인용 수 9

한 줄 요약

이 논문은 수렴 영역의 다양한 조건 하에서 오일러 이중 제타함수 ζ₂(s₀, s)의 허수부 t에 대한 점근적 평균 제곱 공식을 수립한다. 정밀한 오차 항을 도출하고, 리만 제타함수의 고전적 평균 제곱 결과를 이중화한 리델뢰프 가설의 이중 해석을 제안한다. 이는 ℜs₀ > 1/2, ℜs > 1/2, s₀ + s ≠ 2 조건 하에서 ζ₂(s₀, s)가 느리게 증가함(O(t^ε))을 시사하며, 고전적 평균 제곱 결과를 확장한다.

ABSTRACT

We prove asymptotic formulas for mean square values of the Euler double zeta-function $ζ_2(s_0,s)$, with respect to $\Im s$. Those formulas enable us to propose a double analogue of the Lindel{ö}f hypothesis.

연구 동기 및 목표

• s의 허수부 t에 대한 오일러 이중 제타함수 ζ₂(s₀, s)의 평균 제곱에 대한 점근 공식을 유도하기 위해.
• 리만 제타함수에 대한 고전적 평균 제곱 결과를 이중 제타함수 설정으로 확장하기 위해.
• ℜs₀ + ℜs ≈ 3/2인 비판적 스트립에서 ζ₂(s₀, s)의 행동을 조사하기 위해. 이는 리만 제타함수의 비판적 선 ℜs = 1/2와 유사하다.
• 비판적 영역에서 ζ₂(s₀, s)의 증가율에 기반하여 리델뢰프 가설의 이중 해석을 제안하기 위해.

제안 방법

• 저자들은 s = σ + it일 때, ∫₂ᵀ |ζ₂(s₀, s)|² dt의 평균 제곱을 분석하며, ζ₂(s₀, s)의 이중 합으로서의 적분 표현을 사용한다.
• 이중 분할과 지수 합의 추정을 통해 평균 제곱을 주항등항과 오차항으로 분해한다.
• 주요 추정은 코시-슈바르츠 부등식과 특히 log T 및 T의 거듭제곱 항을 포함한 조화합의 경계를 사용하여 도출된다.
• 분석은 실수부 σ₀와 σ에 따라 경우를 나누며, 특히 비판적 선 σ₀ + σ = 3/2 근처에서 다루어진다.
• 주항등항으로서 ζ₂^{[2]}(s₀, 2σ)를 사용하며, 이는 ∑ₖ₌₂^∞ |∑ₘ₌₁^{k−1} m^{-s₀}|² k^{-2σ}로 정의된다.
• 오차항은 합을 이중 구간으로 나누고, 로그 및 거듭제곱 가중 합을 경계함으로써 추정되며, σ₀와 σ에 따라 명시적인 O-항으로 표현된다.

실험 결과

연구 질문

• RQ1 고정된 s₀에 대해 ℜs₀ > 1일 때, T → ∞일 때 이중 제타함수 ζ₂(s₀, s)의 평균 제곱은 어떻게 행동하는가?
• RQ2 ℜs₀ > 1 및 1/2 < ℜs ≤ 1 조건 하에서 ∫₂ᵀ |ζ₂(s₀, s)|² dt에 대한 정밀한 점근 공식은 무엇인가? 특히 비판적 선 근처에서.
• RQ3 비판적 스트립 ℜs₀ + ℜs > 3/2에서 ζ₂(s₀, s)의 증가율에 기반해 리델뢰프 가설의 이중 해석을 제안할 수 있는가?
• RQ4 ℜs₀ + ℜs = 3/2일 경우 평균 제곱 공식은 어떻게 되며, ℜs₀ + ℜs > 3/2 영역과 비교해 오차항은 어떻게 변화하는가?
• RQ5 특히 σ₀ = 1 또는 σ = 1인 경우, 평균 제곱 공식의 오차항은 σ₀와 σ에 어떻게 의존하는가?

주요 결과

• ℜs₀ > 1 및 ℜs > 1일 때, T → ∞일 때 평균 제곱 ∫₂ᵀ |ζ₂(s₀, s)|² dt = ζ₂^{[2]}(s₀, 2σ)T + O(1)이다.
• 1/2 < ℜs ≤ 1 및 ℜs₀ + ℜs > 2일 때, 평균 제곱은 ζ₂^{[2]}(s₀, 2σ)T + O(T²⁻²σ log T) + O(T¹ᐟ²)이다.
• 1/2 < ℜs₀ < 3/2 및 1/2 < ℜs ≤ 1이며 ℜs₀ + ℜs ≤ 2일 때, 주항등항은 여전히 ζ₂^{[2]}(s₀, 2σ)T이며, 오차항은 위치에 따라 달라진다: ℜs₀ < 1, ℜs < 1일 경우 O(T⁴⁻²σ₀⁻²σ log T); ℜs₀ < 1, ℜs = 1일 경우 O(T²⁻²σ₀ (log T)²); ℜs₀ = 1, ℜs < 1일 경우 O(T²⁻²σ (log T)³); ℜs₀ = 1, ℜs = 1일 경우 O(T¹ᐟ²).
• ζ₂^{[2]}(s₀, 2σ)는 ℜs₀ + ℜs → 3/2에 접근함에 따라 발산하며, 리만 제타함수의 비판적 선 ℜs = 1/2와 유사한 비판적 선을 시사한다.
• 논문은 리델뢰프 가설의 이중 해석을 제안한다: ℜs₀ > 1/2, ℜs > 1/2, s₀ + s ≠ 2, t ≥ 2 조건 하에서 ζ₂(s₀, s) = O(t^ε) (모든 ε > 0에 대해).
• 추정에서 발생하는 오차항 O(T¹ᐟ²)는 코시-슈바르츠 부등식에서 기인하며, 더 정교한 분석을 통해 향상 가능할 것으로 기대된다.