[논문 리뷰] The Stieltjes constants, their relation to the eta_j coefficients, and representation of the Hurwitz zeta function

Mark W. Coffey|ArXiv.org|2007. 06. 03.

Analytic Number Theory Research참고 문헌 17인용 수 9

한 줄 요약

이 논문은 ζ′(s)/ζ(s)의 로랑 전개에서 유도된 ηⱼ 계수와 Stieltjes 상수 γₖ(1) 사이의 새로운 관계를 확립하고, γₖ(a)에 대한 새로운 적분 및 급수 표현을 유도하며, Li 기준 합 S₂(n)을 O(n) 성분 Sγ(n)과 SΛ(n)으로 분해한다. 주요 기여는 |Sγ(n) + n| = O(n¹ᐟ⁴)임을 보여주며, 이는 진동하는 부분합 S₂Λ(n)이 하한에 따라 지수적 성장보다 느린 성장 조건을 통해 리만 가설의 타당성을 결정짓는다는 것을 시사한다.

ABSTRACT

The Stieltjes constants gamma_k(a) are the expansion coefficients in the Laurent series for the Hurwitz zeta function about its only pole at s=1. We present the relation of gamma_k(1) to the eta_j coefficients that appear in the Laurent expansion of the logarithmic derivative of the Riemann zeta function about its pole at s=1. We obtain novel integral representations of the Stieltjes constants and new decompositions such as S_2(n) = S_gamma(n) + S_Lambda(n) for the crucial oscillatory subsum of the Li criterion for the Riemann hypothesis. The sum S_γ(n) is O(n) and we present various integral representations for it. We present novel series representations of S_2(n). We additionally present a rapidly convergent expression for γ_k= γ_k(1) and a variety of results pertinent to a parameterized representation of the Riemann and Hurwitz zeta functions.

연구 동기 및 목표

• ζ′(s)/ζ(s)의 로랑 전개에서 나타나는 ηⱼ 계수와 Stieltjes 상수 γₖ(1) 사이의 해석적 관계를 명확히 하기.
• Stieltjes 상수 γₖ(a)와 하우리츠 제타 함수에 대한 새로운 적분 및 급수 표현을 도출하기.
• Li 기준 합 S₂(n)을 Sγ(n) + SΛ(n)으로 분해하여, Sγ(n)은 O(n)이며 SΛ(n)은 리만 가설과 관련된 진동 부분합을 포괄하도록 하기.
• Sγ(n)과 S₂Λ(n)의 점점 커지는 성장 양상을 분석하며, 특히 |Sγ(n) + n|에 대해 O(n¹ᐟ⁴)의 경계를 확립함으로써 S₂(n)의 행동를 제약하는 데 초점하기.
• 라거르 폴리노미알, 디리클레 급수, 제타 함수의 영점들이 리만 가설과 리우-케이퍼 상수에 어떻게 연결되는지를 보여주는 프레임워크를 제공하기.

제안 방법

• 바이어슈트라스-망골트 함수와 점점 커지는 전개를 사용하여, ∑[1−Λ(m)]/m ⋅ lnᵏm의 합을 통해 γₖ(1)과 ηₖ 사이의 새로운 항등식을 유도한다.
• 복소해석학과 lnᵏ(a−iy) 및 함수 1/(e²πy−1)를 포함한 경로 적분의 실수부를 사용하여 γₖ(a)에 대한 적분 표현을 도입한다.
• Lₙ₋₁¹(x)의 라거르 다항식을 적용하여 S₂(n)을 ηₘ₋₁ 계수의 합으로 표현함으로써, 적분 및 점점 커지는 분석이 가능하도록 한다.
• 라거르 다항식의 페지어 점점 커지는 공식을 사용하여 Sγ(n)의 진동 행동를 추정하며, 이가 O(n¹ᐟ⁴)로 증가함을 보여준다.
• S₂(n) = Sγ(n) + SΛ(n)의 분해를 확립하며, Sγ(n) = ∫₁^∞ (1/t)Lₙ₋₁¹(ln t)dP₁(t) 및 SΛ(n) = ∑[1−Λ(m)]/m ⋅ Lₙ₋₁¹(ln m)로 표현한다.
• Lₙ₋₁¹(x)의 라플라스 변환을 적용하여 리우-케이퍼 상수와 제타 함수의 영점 간의 연결을 확립하고, Lₙ(s)에 대한 함수방정식을 도출한다.

실험 결과

연구 질문

• RQ1 ζ′(s)/ζ(s)의 로랑 전개에서 나타나는 Stieltjes 상수 γₖ(1)와 ηⱼ 계수 사이의 관계는 무엇인가?
• RQ2 γₖ(a)에 대한 새로운 적분 및 급수 표현은 무엇이며, 이는 하우리츠 제타 함수의 해석적 구조를 어떻게 확장하는가?
• RQ3 S₂(n) = Sγ(n) + SΛ(n)의 분해는 리만 가설의 리우 기준에 어떻게 기여하는가?
• RQ4 O(n) 성분인 Sγ(n)의 점점 커지는 성장 행동는 무엇이며, 이는 진동 부분합 S₂Λ(n)에 어떤 영향을 미치는가?
• RQ5 S₂Λ(n)의 성장 속도를 제약함으로써 리만 가설을 검증할 수 있으며, 이 합의 최적의 주요 크기 순서는 무엇인가?

주요 결과

• Stieltjes 상수 γₖ(1)와 ηⱼ 계수 사이의 관계는 항등식 (−1)ᵏ/k! γₖ − ηₖ = (−1)ᵏ/k! ∑[1−Λ(m)]/m ⋅ lnᵏm로 표현되며, 이는 k ≥ 0일 때 성립한다.
• γₖ(a)에 대한 새로운 적분 표현이 도출되었으며, 다음과 같다: γₖ(a) = (1/(2a))lnᵏa − lnᵏ⁺¹a/(k+1) + (2/a) Re ∫₀^∞ [(y/a−i)lnᵏ(a−iy)] / [(1+y²/a²)(e²πy−1)] dy.
• 합 S₂(n)은 Sγ(n) + SΛ(n)로 분해되며, Sγ(n)은 O(n)이며 적분 형태 ∫₁^∞ (1/t)Lₙ₋₁¹(ln t)dP₁(t)로 표현된다.
• 진동 성분 |Sγ(n) + n|은 라거르 다항식의 페지어 점점 커지는 공식을 통해 O(n¹ᐟ⁴)로 증가함을 유도하였다.
• SΛ(n) = n + S₂Λ(n)는 n에 매우 가까운데, 작은 진동 보정 항 S₂Λ(n)이 존재하며, 그 성장 속도가 리만 가설의 타당성을 결정한다.
• 라플라스 변환의 Lₙ(s)에 대해 함수방정식 Lₙ(s) = −(1−1/s)ⁿLₙ(1−s)를 유도하였으며, 이는 임계선과 제타 함수의 영점과 연결된다.