[논문 리뷰] Some identities for the Riemann zeta-function II

Aleksandar Ivić|arXiv (Cornell University)|2005. 06. 11.

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

한 줄 요약

이 논문은 리만 제타 함수 ζ(s)와 반복된 분수부분 적분 φₙ(x) 사이의 새로운 적분 항등식을 수립하며, 고전적 항등식 ζ(s)/s = −∫₀^∞ {x}x^{-1-s}dx를 일반화한다. 멜린 변환과 파르세발 유형 공식을 사용하여 ζⁿ(s)/(-s)ⁿ과 |ζ(σ+it)|²ⁿ/(σ²+t²)ⁿ의 정확한 표현을 유도하며, 제타 함수의 모멘트를 φₙ(x)의 L² 노름과 연결한다. 이는 리만 가설과 감마 함수를 통한 점점 더 큰 점근적 전개에 응용된다.

ABSTRACT

Some identities for the Riemann zeta-function are proved, using properties of the Mellin transform and Müntz's identity.

연구 동기 및 목표

• 고전적 항등식 ζ(s)/s = −∫₀^∞ {x}x^{-1-s}dx를 분수부분 함수의 반복 적분을 통해 ζ(s)의 고차항으로 일반화하는 것.
• 제타 함수의 n제곱과 반복된 분수부분 함수 φₙ(x)의 멜린 변환 사이의 연결 고리를 설정하여 고전적 프레임워크를 확장하는 것.
• φₙ(x)의 L² 노름을 사용하여 |ζ(σ+it)|²ⁿ/(σ²+t²)ⁿ의 명시적 적분 표현을 도출하여 리만 가설에 대한 새로운 접근법을 가능하게 하는 것.
• 반복 함수 φₙ(x)의 점근적 행동을 분석하고, e^{-x/T}와 ζ(s)를 포함하는 적분의 점근적 전개를 유도하는 것.
• 가우시안 커널 f(x) = e^{-πx²}를 사용하여 문츠의 항등식을 적용하여 제타 함수와 자코비 시타 함수를 포함하는 새로운 스펙트럼 항등식을 도출하는 것.

제안 방법

• φ₁(x) = {x} 및 n ≥ 2일 때 φₙ(x) = ∫₀^∞ {u}φₙ₋₁(x/u)(du/u)로 정의하여 반복 함수 φₙ(x)를 재귀적으로 정의한다.
• 멜린 변환 기법과 멜린 변환의 파르세발 항등식을 사용하여 ζⁿ(s)/(-s)ⁿ과 ∫₀^∞ φₙ(x)x^{-1-s}dx 사이의 관계를 유도한다.
• ∫_{c-i∞}^{c+i∞} ζ(s)/s · T^s Γ(s) ds의 적분에 잔여물 정리를 적용하여 T → ∞일 때 ∫₀^∞ {x}/x · e^{-x/T} dx의 점근적 전개를 도출한다.
• 자코비 시타 함수 θ(z) = ∑_{n=-∞}^∞ e^{-πn²z}의 함수방정식을 사용하여 제타 모멘트 항등식의 적분 표현을 변환한다.
• ζ(s)의 함수방정식을 적용하여 σ → 1−σ에 대한 불변성을 보이고, uθ(u²)−1−u에 대한 대칭 형태의 모멘트 항등식을 유도한다.
• e^{-πx²}의 알려진 멜린 변환과 문츠 연산자 Pf(x)를 사용하여 ∫ |ζ(σ+it)Γ(σ/2 + it/2)|² dt를 포함하는 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 고전적 항등식 ζ(s)/s = −∫₀^∞ {x}x^{-1-s}dx는 분수부분의 반복 적분을 통해 ζ(s)의 고차항으로 일반화될 수 있는가?
• RQ2 반복된 함수 φₙ(x)의 점근적 행동은 {u}/u와의 반복 컨볼루션을 통해 어떻게 되는가?
• RQ3 멜린 변환 기법을 통해 φₙ(x)의 L² 노름은 |ζ(σ+it)|²ⁿ/(σ²+t²)ⁿ의 모멘트와 어떻게 관련되는가?
• RQ4 잔여물 정리와 ζ(s)/s의 멜린 변환을 사용하여 ∫₀^∞ {x}/x · e^{-x/T} dx의 점근적 전개를 도출할 수 있는가?
• RQ5 가우시안 커널 f(x) = e^{-πx²}를 사용하여 문츠의 공식을 적용할 때 어떤 스펙트럼 항등식이 도출되는가?

주요 결과

• 0 < σ < 1 및 모든 정수 n ≥ 1에 대해 항등식 ζⁿ(s)/(-s)ⁿ = ∫₀^∞ φₙ(x)x^{-1-s}dx가 성립하며, 이는 n=1인 고전적 경우를 일반화한다.
• x → 0⁺일 때 φₙ(x)의 점근적 행동은 φₙ(x) = x/(n−1)! · logⁿ⁻¹(1/x) + O(x logⁿ⁻²(1/x))이며, x ≥ 1일 땐 φₙ(x) = O(logⁿ⁻¹(x+1))이다.
• 0 < σ < 1 및 모든 n ≥ 1에 대해 1/(2π)∫_{-∞}^∞ |ζ(σ+it)|²ⁿ/(σ²+t²)ⁿ dt = ∫₀^∞ φₙ²(x)x^{-1-2σ} dx인 모멘트 항등식이 성립한다.
• T → ∞일 때 ∫₀^∞ {x}/x · e^{-x/T} dx의 점근적 전개는 ½ log T − ½γ + ½ log(2π) + ∑_{m=1}^M ζ(1−2m)/((2m−1)!(1−2m)) T^{1−2m} + O_M(T^{-1−2M})이다.
• f(x) = e^{-πx²}일 때, 0 < σ < 1에 대해 ∫_{-∞}^∞ |ζ(σ+it)Γ(σ/2 + it/2)|² dt = 2π^{σ+1} ∫₀^∞ (uθ(u²)−1−u)² u^{2σ−3} du인 항등식이 성립한다.
• 유도된 적분은 0과 ∞에서 절대 수렴하며, ∞에서의 수렴은 지수 감쇠로 인해, 0에서의 수렴은 θ(1/u²) = 1 + O(e^{-u^{-2}})로 인해 발생한다.