[논문 리뷰] Polygamma theory, the Li/Keiper constants, and validity of the Riemann Hypothesis

Mark W. Coffey|ArXiv.org|2005. 07. 17.

Analytic Number Theory Research참고 문헌 16인용 수 7

한 줄 요약

이 논문은 리만 시타 함수의 로그 도함수로부터 유도되는 리만 리히터 상수와 관련된 새로운 상수열 $ c_n $을 조사한다. 이는 리만 가설의 참을 뜻하는 바를 가진다. $ \lambda_n $ 상수와 달리 $ c_n $ 수열은 $ \frac{1}{2}\ln n $ 형태의 주요 항을 가지지 않으며, 스티엘제스 상수를 통해 $ c_n $의 명시적 표현을 제공한다. 핵심 기여는 $ |c_n| $ 의 渐近적 성장에 대한 추측으로, 이 추측이 참이라면 리만 가설이 참이 된다는 것을 의미한다.

ABSTRACT

The Riemann hypothesis is equivalent to the Li criterion governing a sequence of real constants, that are certain logarithmic derivatives of the Riemann xi function evaluated at unity. We investigate a related set of constants c_n, n = 1,2,..., showing in detail that the leading behaviour (1/2) ln n of lambda_n/n is absent in c_n. Additional results are presented, including a novel explicit representation of c_n in terms of the Stieltjes constants gamma_j. We conjecture as to the large-n behaviour of c_n. Should this conjecture hold, validity of the Riemann hypothesis would follow.

연구 동기 및 목표

• 리만 시타 함수의 로그 도함수를 통해 정의된 새로운 상수열 $ c_n $ 의 渐近적 행동을 분석하는 것.
• 특히 $ c_n $ 에서 $ \frac{1}{2}\ln n $ 주요 항이 없는 것과 $ \lambda_n $ 상수와의 비교.
• 스티엘제스 상수 $ \gamma_k $ 를 통해 $ c_n $ 의 명시적 표현을 유도하는 것.
• 특정한 渐近적 순서의 $ |c_n| $ 에 대한 추측을 내세우며, 이것이 확인되면 리만 가설이 참이 된다는 것을 의미한다.

제안 방법

• $ F(z) = \ln\left[ \frac{z}{1-z} \zeta\left( \frac{1}{1-z} \right) \right] $ 를 정의하며, 이의 멱급수 전개 $ F(z) = \sum_{n=1}^\infty c_n z^n $ (여기서 $ c_0 = 0 $, $ c_1 = \gamma $) 는 $ c_n $ 상수를 결정한다.
• 리만 제타 함수의 함수방정식과 감마 함수 및 다이감마 함수의 성질을 이용하여 시타 함수의 로그 도함수를 분석한다.
• 제타 함수를 $ s=1 $ 에서 로랑 급수 전개를 통해 스티엘제스 상수 $ \gamma_k $ 를 이용하여 $ c_n $ 의 명시적 공식을 도출한다.
• 제타 함수의 로그 도함수에서의 $ \eta_j $ 계수에 관한 기존 결과를 적용하여 $ c_n $ 이 $ \zeta(s) $ 의 더 깊은 해석적 성질과 어떻게 연결되는지 분석한다.
• 수치 데이터와 渐近적 분석을 이용하여 $ |c_n| $ 의 성장률, 특히 지수적 성장보다 느린 성장 성질을 추측한다.

실험 결과

연구 질문

• RQ1 리만 시타 함수의 로그 도함수로부터 유도된 수열 $ c_n $ 은 $ \lambda_n/n $ 에서 관찰되는 $ \frac{1}{2}\ln n $ 주요 항을 가지지 않는가?
• RQ2 $ c_n $ 은 스티엘제스 상수 $ \gamma_k $ 를 통해 명시적으로 표현될 수 있는가?
• RQ3 $ |c_n| $ 의 진정한 渐近적 순서는 무엇이며, 이는 리만 가설의 참과 어떻게 관련되어 있는가?
• RQ4 $ c_n $ 상수와 $ s=1 $ 근처에서 제타 함수의 로랑 전개에서의 $ \eta_j $ 계수 사이에 연결 고리가 존재하는가?

주요 결과

• 수열 $ c_n $ 은 $ \lambda_n/n $ 에서 관찰되는 $ \frac{1}{2}\ln n $ 주요 항이 없음을 보이며, 이는 다른 기본적 구조를 지닌다는 것을 시사한다.
• 스티엘제스 상수 $ \gamma_k $ 를 통해 $ c_n $ 의 명시적 공식이 도출되었으며, $ c_1 $ 에서 $ c_5 $ 까지의 닫힌 형태 표현이 제시되었다.
• 첫 몇 개의 $ c_n $ 값이 명시적으로 계산되었다: $ c_1 = \gamma $, $ c_2 = \gamma - \gamma^2/2 - \gamma_1 $, $ c_3 = \gamma - \gamma^2 + \gamma^3/3 - 2\gamma_1 + \gamma\gamma_1 + \gamma_2/2 $.
• 논문은 $ |c_n| $ 이 지수적 성장보다 느리게 성장할 것이라 추측하며, 만약 이 추측이 참이라면 리만 가설이 참이 된다.
• $ c_n $ 이 계수로 가지는 함수 $ F(z) $ 가 단위 원판 내에서 해석적이라는 것은 리만 가설과 동치이다.
• 수치적 증거와 渐近적 분석은 $ |c_n| $ 이 어떤 지수함수보다 느리게 성장할 것임을 지지하며, 이는 리만 가설의 참을 충분히 보장한다.