[논문 리뷰] New results on the Stieltjes constants: Asymptotic and exact evaluation

Mark W. Coffey|ArXiv.org|2005. 06. 23.

Analytic Number Theory Research참고 문헌 13인용 수 6

한 줄 요약

이 논문은 슈타이엘레스 상수 $\gamma_k(a)$, 허위츠 제타 함수 $\zeta(s,a)$의 $s=1$ 근처 로랑 전개 계수에 대한 새로운 점근적 및 정확한 표현을 제시한다. 주기적 베르누이 다항식과 함수방정식을 이용한 적분 표현을 통해 저자는 새로운 합공식, 대칭 관계(예: $C_n(a+1/2) \to -C_n(a)$), 그리고 오일러 상수와 $\ln \pi$와 같은 기본 상수에 대한 빠르게 수렴하는 급수를 도출하였으며, 크레민스키의 추측을 해결하고 딜처의 결과를 확장한다.

ABSTRACT

The Stieltjes constants are the expansion coefficients in the Laurent series for the Hurwitz zeta function about s=1. We present new asymptotic, summatory, and other exact expressions for these and related constants.

연구 동기 및 목표

• 허위츠 제타 함수 $\zeta(s,a)$의 $s=1$에서의 로랑 급수 계수인 슈타이엘레스 상수 $\gamma_k(a)$에 대한 새로운 정확한 및 점근적 표현을 유도하는 것.
• 크레민스키의 추측, 즉 $C_n(a) = \gamma_n(a) - \ln^n a / a$의 주기 $1/2$에 대한 반주기성 관계가 큰 $n$에 대해 점근적으로 성립하는지 확인하는 것.
• 오일러 상수 $\gamma$, $\ln \pi$, 베르누이 수와 같은 기본 상수에 대한 정확한 무한급수 표현을 유도하고, 수치 계산에 적합한 빠른 수렴성을 확보하는 것.
• 기능방정식과 적분 변환을 통해 슈타이엘레스 상수를 일반화된 다이감마 함수와 허위츠 제타 함수와 연결하는 것.
• 주기적 베르누이 다항식과 푸리에 전개를 이용한 체계적 프레임워크를 제공하여 슈타이엘레스 상수와 $\eta_j$ 상수의 더 깊은 해석적 구조를 드러내는 것.

제안 방법

• 주기적 베르누이 다항식 $P_k(x)$의 푸리에 전개와 유계성 성질을 활용하여 $\gamma_k(a)$에 대한 정확한 적분 표현을 유도한다.
• 베르누이 다항식의 곱셈 공식을 적용하여 $\gamma_k(a)$에 대한 합공식을 도출하며, 특히 정리 2와 6을 포함한다.
• 허위츠 제타 함수의 기능방정식과 로랑 급수 전개를 이용하여 $\gamma_k(r/q)$에 대한 대칭 합을 도출한다. 이는 정리 3에 기초한다.
• 다이감마 함수와 다이감마 함수를 $P_1(x)$를 포함한 적분 표현을 통해 활용하며, $\psi^{(n)}(x) = (-1)^{n+1}n!\zeta(n+1,x)$를 통해 허위츠 제타 함수와 연결한다.
• 일반화된 다이감마 함수 $\psi_k(a)$를 이용하여 $\gamma_k(a)$를 $s=0$에서 $\zeta(s,a)$의 도함수와 연결함으로써 $\psi_k(a) = -\gamma_k(a)$를 확립한다.
• 뉴턴-코테스 유형의 적분과 급수 가속 기법을 적용하여 유도된 급수의 빠른 수렴성을 검증한다. 이는 정리 8(a) 및 (b)에서 확인된다.

실험 결과

연구 질문

• RQ1 크레민스키의 수치적 관측에 따르면 큰 $n$에 대해 $C_n(a+1/2) \to -C_n(a)$의 반주기성 관계가 점근적으로 성립하는가?
• RQ2 슈타이엘레스 상수의 적분 표현을 통해 오일러 상수 $\gamma$, $\ln \pi$, $\gamma_1$과 같은 기본 상수에 대한 정확하고 수렴이 빠른 급수를 도출할 수 있는가?
• RQ3 슈타이엘레스 상수 $\gamma_k(a)$는 일반화된 다이감마 함수 $\psi_k(a)$와 허위츠 제타 함수와 어떻게 관련되어 있는가?
• RQ4 $\sum_{r=1}^{q-1} \gamma_k(r/q)$의 구조는 무엇이며, $\gamma_k$와 $\ln q$와 어떻게 관련되어 있는가?
• RQ5 허위츠 제타 함수의 기능방정식을 이용하여 유리수 인자에 대한 $\gamma_k(a)$ 합에 대한 정확한 항등식을 도출할 수 있는가?

주요 결과

• 정리 1은 크레민스키의 추측을 엄밀히 증명한다: $n \to \infty$일 때 $C_n(a+1/2) \to -C_n(a)$이며, 이는 큰 인덱스에서 슈타이엘레스 상수의 반주기성을 확립한다.
• 정리 2는 $P_n(mx)$를 $\ln^k x / x^{n+1}$에 대해 통합한 새로운 정확한 공식을 제공하며, 정수 $m > 0$에 대해 유효하여 고정밀 계산을 가능하게 한다.
• 정리 8(a)는 오일러 상수 $\gamma$에 대한 매우 수렴이 빠른 급수를 도출하며, 단순 구현에서 $n=51$ 항 이후로 16자리 정밀도를 달성한다.
• 정리 8(b)는 $-\gamma_1$에 대해 유사한 고정밀도 급수를 제공하며, 수치 응용에 적합한 수렴 속도를 확보한다.
• $\psi_k(a) = -\gamma_k(a)$의 관계가 확립되어 일반화된 다이감마 함수가 슈타이엘레스 상수와 직접 연결되어 있음을 보이며, 딜처 및 다른 연구자의 결과를 통합한다.
• 이 논문은 이항계수와 로그를 포함하는 무한급수로 $\ln \pi$를 새로운 항등식으로 도출하였으며, 수치 평가에 적합한 수렴 속도를 확보한다.