[논문 리뷰] An Explicit Formula Relating Stieltjes Constants and Li's Numbers

K. Maślanka|ArXiv.org|2004. 06. 16.

Advanced Mathematical Identities참고 문헌 3인용 수 7

한 줄 요약

이 논문은 스티엘티예스 상수 $\gamma_n$와 리의 수 $\tilde{\lambda}_n$ 사이의 명시적 공식을 유도하여, 리의 수의 진동 부분을 직접 $\gamma_n$로 표현할 수 있게 한다. 분할과 포흐하머-유사 곱을 포함하는 새로운 조합적 전개를 통해, 이 상수들 간의 깊은 연결성을 드러내는 폐쇄형 표현을 수립하였으며, 이는 리만 가설과 특히 $\tilde{\lambda}_n$의 유계성 측면에서 중요한 관계를 드러낸다.

ABSTRACT

In this paper we present a new formula relating Stieltjes numbers $γ_{n}$ and Laurent coefficinets $η_{n}$ of logarithmic derivative of the Riemann's zeta function. Using it we derive an explicit formula for the oscillating part of Li's numbers $\overset{\sim}λ_{n}$ which are connected with the Riemann hypothesis.

연구 동기 및 목표

• 스티엘티예스 상수 $\gamma_n$와 $-\zeta' / \zeta$의 로렌트 전개 계수 $\eta_n$ 사이의 직접적인 해석적 관계를 수립하기 위해.
• 리의 수 $\tilde{\lambda}_n$의 진동 부분에 대한 명시적 공식을 $\gamma_n$을 사용하여 유도하기 위해.
• $\tilde{\lambda}_n$의 수치 계산에 적합한 표현을 제공하여 리만 가설과 핵심적인 관련성을 반영하기 위해.
• $\eta_n$과 $\gamma_n$의 조합적 구조를 분할된 단항식과 부호가 있는 계수, 계승수 정규화를 통해 형식화하기 위해.

제안 방법

• 정수 분할에 대한 합으로서 $\eta_{n-1}$의 일반 공식을 유도하며, 색인 제약 조건을 충족시키기 위해 크로네커 델타를 사용하고 계수로 포흐하머-유사 곱을 사용한다.
• $\sum (1+i)k_i = n$ 를 만족하는 모든 비음수 정수 튜플 $k_i$에 대한 합으로서 $\eta_n$을 표현하며, 항은 $\Gamma(\sum k_i) \cdot \prod \frac{(-\gamma_i)^{k_i}}{k_i!}$ 로 가중된다.
• 관계를 역으로 적용하여 $\gamma_n$을 $\eta_n$으로 표현함으로써, $\frac{1}{(1+i)^{k_i}}$ 스케일링을 갖는 이중 공식을 도출한다.
• 유도된 $\gamma_n$-$\eta_n$ 관계를 리의 기준에 적용하여, 공식 $\tilde{\lambda}_n = -\sum_{j=1}^n \binom{n}{j} \eta_{j-1}$ 에 대입한다.
• 이를 통해 $n=4$까지 $\tilde{\lambda}_n$의 명시적 폐쇄형 전개를 생성하며, 분할 수에 따라 복잡도가 증가하는 것을 보여준다.
• 기호 계산(마이크로소프트 수학)을 통해 결과의 구조를 검증하여 일관성을 확인하고, 이항계수 필터링을 통해 중복 항을 식별한다.

실험 결과

연구 질문

• RQ1 스티엘티예스 상수 $\gamma_n$와 $-\zeta'/\zeta$의 로렌트 전개 계수 $\eta_n$ 사이의 명시적 폐쇄형 공식을 도출할 수 있는가?
• RQ2 리의 수 $\tilde{\lambda}_n$의 진동 성분을 직접적으로 $\gamma_n$으로 표현할 수 있는가?
• RQ3 $\eta_n$과 $\tilde{\lambda}_n$ 전개의 계수 뒤에 있는 조합적 구조는 무엇인가?
• RQ4 유도된 공식이 리만 가설과 관련된 $\tilde{\lambda}_n$의 점근적 행동을 드러내는가?
• RQ5 기호 대수 시스템을 사용하여 $\tilde{\lambda}_n$의 수치 평가에 대해 공식을 체계적으로 구현할 수 있는가?

주요 결과

• 명시적 공식이 도출됨: $\eta_{n-1} = n \sum_{\mathbf{k}} \Gamma(p) \delta_{n,r} \prod_{i=0}^n \frac{(-\gamma_i)^{k_i}}{k_i!}$, 여기서 $p = \sum k_i$, $r = \sum (1+i)k_i$, 합은 $r = n$ 을 만족하는 모든 정수 튜플 $k_i$에 대해 이루어진다.
• 역관계는 $\gamma_{n-1} = \sum_{\mathbf{k}} \delta_{n,r} \prod_{i=0}^n \frac{1}{k_i!} \left( \frac{-\eta_i}{1+i} \right)^{k_i}$ 로 주어지며, 이는 $\eta_n$으로부터 $\gamma_n$을 계산할 수 있는 방법을 제공한다.
• 리의 수의 진동 부분은 $\tilde{\lambda}_n = -\sum_{\mathbf{k}} \Gamma(p) \binom{n}{r} r \prod_{i=0}^n \frac{(-\gamma_i)^{k_i}}{k_i!}$ 로 주어지며, $r \leq n$ 인 경우에만 비영항이 존재한다.
• $\tilde{\lambda}_1$부터 $\tilde{\lambda}_4$까지의 명시적 표현이 계산되었으며, 분할 수에 따라 복잡도가 증가하고 항의 분포가 균일하지 않음을 보여준다.
• $\tilde{\lambda}_n$에 기여하는 항의 분포는 매우 비균일하며, 대부분의 값이 0 근처에 집중되어 있으며, 약간의 비대칭성이 진동 행동을 이끈다.
• 공식은 $\tilde{\lambda}_n$의 유계성이 추세 $\sim \frac{1}{2}(1 + n\ln n) + cn$과 동치임을 확인하며, 여기서 $c = \frac{1}{2}(\gamma - 1 - \ln 2\pi)$ 이다.