[논문 리뷰] Series representations for the Stieltjes constants

Mark W. Coffey|ArXiv.org|2009. 05. 07.

Advanced Mathematical Identities참고 문헌 12인용 수 22

한 줄 요약

이 논문은 슈틸체스 상수 $\gamma_k(a)$, 즉 허비츠 제타 함수 $\zeta(s,a)$의 $s=1$ 근처에서의 로랑 전개 계수에 대한 새로운 급수 표현을 제시한다. 스틸체스 수의 제1종과 디감마 함수 및 제타 함수의 적분 표현을 활용하여, $\gamma_k = \gamma_k(1)$에 대한 지수적으로 빠르게 수렴하는 급수를 유도하였으며, 덧셈 공식과 도함수 표현식을 함께 제공함으로써 고정밀도 계산과 이러한 상수에 대한 더 깊은 해석적 통찰을 가능하게 한다.

ABSTRACT

The Stieltjes constants γ_k(a) appear as the coefficients in the regular part of the Laurent expansion of the Hurwitz zeta function ζ(s,a) about s=1. We present series representations of these constants of interest to theoretical and computational analytic number theory. A particular result gives an addition formula for the Stieltjes constants. As a byproduct, expressions for derivatives of all orders of the Stieltjes coefficients are given. Many other results are obtained, including instances of an exponentially fast converging series representation for γ_k=γ_k(1). Some extensions are briefly described, as well as the relevance to expansions of Dirichlet L functions.

연구 동기 및 목표

• 해석적 수론과 리만 제타 함수 연구에서 핵심적인 역할을 하는 슈틸체스 상수 $\gamma_k(a)$에 대한 빠르게 수렴하는 급수 표현을 개발하는 것.
• $\gamma_k(a)$에 대한 덧셈 공식을 도출하여 기존의 재귀 관계를 일반화하고 다양한 매개변수에서의 계산을 가능하게 하는 것.
• 모든 차수의 슈틸체스 계수 도함수 표현을 제공하여 고급 점근적 및 계산 분석을 지원하는 것.
• 현재까지 잘 이해되지 않은 채로 남아 있는 $|\gamma_k(a)|$의 크기 추정을 향상시키는 것.
• 디리클레 $L$-함수와 레르히 제타 함수와의 연결 고리를 설정하여 더 넓은 특수함수 범위로의 적용 가능성을 넓히는 것.

제안 방법

• 스틸체스 수의 제1종 $s(k,j)$를 활용하여 $\gamma_k(a)$에 대한 급수 전개를 구성함으로써 조합론적 구조와 해석적 수론을 연결한다.
• 허비츠 제타 함수와 그 도함수 $\zeta^{(m)}(k+1,a)$를 포함하는 적분 표현을 사용하여 $\gamma_k(a)$를 무한합 형태로 표현한다.
• 주기적 베르누이 다항식 $P_1(t)$의 성질과 생성함수를 활용하여 덧셈 공식(정리 1)을 유도한다.
• 생성함수 $\sum_{n=1}^\infty p_{n+1} z^{n-1} = \frac{1}{z} + \frac{1}{\ln(1-z)}$를 적용하여 계수 $p_{n+1}$를 제타 값과 오일러 상수와 연결한다.
• 크네슬의 적분 표현 $p_{n+1} = \int_0^\infty \frac{du}{(1+u)^n (\ln^2 u + \pi^2)}$를 활용하여 游근 형태와 오일러 상수 $\gamma$에 대한 새로운 적분 표현을 도출한다.
• 급수와 적분 변환을 통해 레르히 제타 함수 및 디리클레 $L$-함수와의 연결 고리를 설정하여, 더 넓은 제타 유형 함수로의 프레임워크 확장을 이룬다.

실험 결과

연구 질문

• RQ1 슈틸체스 상수 $\gamma_k(a)$에 대해 빠르게 수렴하는 급수 표현을 구성할 수 있는가, 특히 $\gamma_k = \gamma_k(1)$의 경우에 대해?
• RQ2 슈틸체스 상수 $\gamma_k(a)$에 대한 덧셈 공식의 구조는 어떻게 되며, 기존의 재귀 관계를 어떻게 일반화하는가?
• RQ3 모든 차수의 슈틸체스 계수 도함수는 제타 도함수를 활용해 닫힌 형태로 어떻게 표현할 수 있는가?
• RQ4 슈틸체스 상수 $\gamma_k(a)$의 점근적 행동은 $k \to \infty$일 때 어떻게 되며, 더 정확한 추정이 가능할까?
• RQ5 슈틸체스 계수와 관련된 상수 $p_{n+1}$는 점근적으로 어떻게 특성화될 수 있으며, 이는 $\gamma$에 어떤 영향을 미치는가?

주요 결과

• 지수적으로 매우 빠르게 수렴하는 급수 표현이 $\gamma_k = \gamma_k(1)$에 대해 도출되었으며, 이는 슈틸체스 상수에 대해 이러한 결과가 처음으로 이루어진 셈이다.
• 덧셈 공식(1.2)가 확립되었다: $\gamma_\ell(a+b) = \gamma_\ell(a) + (-1)^\ell \sum_{j=2}^\infty \frac{b^{j-1}}{(j-1)!} \sum_{k=0}^\ell (-1)^k \binom{\ell}{k} s(j,k+1) k! \zeta^{(\ell-k)}(j,a)$, $\operatorname{Re} a > 0$, $|a| > |b|$ 조건에서 유효하다.
• 도함수는 $\gamma_\ell^{(j)}(a) = (-1)^\ell \sum_{k=0}^\ell (-1)^k k! \binom{\ell}{k} s(j+1,k+1) \zeta^{(\ell-k)}(j+1,a)$ 형태로 표현되어 모든 차수에 대한 일반 공식을 제공한다.
• $\ell \to \infty$일 때 $\gamma_\ell(a)$에 대한 점근 전개가 유도되었으며, 베르누이 수와 스틸체스 수를 포함하여 성장률에 대한 통찰을 제공한다.
• 오일러 상수 $\gamma$는 적분 형태로 표현되었다: $\gamma = \int_{-\infty}^\infty \frac{e^z}{z^2 + \pi^2} \ln(1 + e^{-z}) dz$, 이는 $p_{n+1}$의 점근적 행동에서 유도되었다.
• 점근 형태 $p_{n+1} \sim \frac{1}{n(\ln n + \gamma)^2}$가 확인되었고, 계산 가능한 계수 $A_j$를 갖는 완전한 점근 급수로 확장되어 이전 추정치를 향상시켰다.