[論文レビュー] New results on the Stieltjes constants: Asymptotic and exact evaluation

Mark W. Coffey|ArXiv.org|Jun 23, 2005

Analytic Number Theory Research参考文献 13被引用数 6

ひとこと要約

本稿では、Hurwitzゼータ関数 $\zeta(s,a)$ の $s=1$ の周りにおけるローラン展開の係数であるStieltjes定数 $\gamma_k(a)$ について、新たな漸近的および正確な表現を提示する。周期的ベルヌーイ多項式と関数方程式を用いた積分表現を通じて、著者は新規の和公式、対称性関係（例：$C_n(a+1/2) \to -C_n(a)$）およびオイラー定数や $\ln \pi$ のような基本定数の高速収束級数を導出し、Kreminskiの予想を解決するとともに、Dilcherの結果を拡張する。

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.

研究の動機と目的

• Hurwitzゼータ関数 $\zeta(s,a)$ の $s=1$ におけるローラン級数の係数であるStieltjes定数 $\gamma_k(a)$ に対する新たな正確および漸近的表現を導出すること。
• Kreminskiによる $C_n(a) = \gamma_n(a) - \ln^n a / a$ の周期 $1/2$ における反周期性に関する予想を、$n$ が大きい場合に解決すること。
• オイラー定数 $\gamma$、$\ln \pi$、ベルヌーイ数などの基本定数に対する新たな無限級数表現を、高速収束性を有する形で確立すること。
• 関数方程式および積分変換を通じて、Stieltjes定数と一般化されたディガンマ関数およびHurwitzゼータ関数を結びつけること。
• 周期的ベルヌーイ多項式およびフーリエ展開を用いた体系的枠組みを提供し、Stieltjes定数および $\eta_j$ 定数の背後にあるより深い解析的構造を明らかにすること。

提案手法

• 周期的ベルヌーイ多項式 $P_k(x)$ のフーリエ展開および有界性の性質を活用し、$\gamma_k(a)$ の正確な積分表現を導出する。
• ベルヌーイ多項式の乗法公式を応用して、$\gamma_k(a)$ の和公式を導出し、特に命題2および6を含む。
• Hurwitzゼータ関数の関数方程式およびローラン級数展開を用いて、$\gamma_k(r/q)$ の対称的和を導出し、命題3の通り。
• ディガンマ関数およびポリガンマ関数を、$P_1(x)$ を含む積分表現を通じて用い、$\psi^{(n)}(x) = (-1)^{n+1}n!\zeta(n+1,x)$ を通じてHurwitzゼータ関数と接続する。
• 一般化されたディガンマ関数 $\psi_k(a)$ を用いて、$\gamma_k(a)$ を $s=0$ における $\zeta(s,a)$ の導関数と関連づけ、$\psi_k(a) = -\gamma_k(a)$ を確立する。
• ニュートン・コーツ型積分および級数加速技術を適用し、導出された級数の高速収束性を検証する。命題8(a)および(b)に示すように。

実験結果

リサーチクエスチョン

• RQ1 Kreminskiの数値的観察が示唆するように、$n$ が大きい場合に $C_n(a+1/2) \to -C_n(a)$ という反周期性関係が漸近的に成り立つかどうか。
• RQ2 Stieltjes定数の積分表現を用いて、$\gamma$、$\ln \pi$、$\gamma_1$ のような基本定数に対する正確かつ高速収束する級数を導出可能か。
• RQ3 Stieltjes定数 $\gamma_k(a)$ は、一般化されたディガンマ関数 $\psi_k(a)$ およびHurwitzゼータ関数とどのように関係しているか。
• RQ4 $\sum_{r=1}^{q-1} \gamma_k(r/q)$ の構造は何か。また、$\gamma_k$ および $\ln q$ とどのように関連しているか。
• RQ5 Hurwitzゼータ関数の関数方程式を用いて、有理数係数 $a$ における $\gamma_k(a)$ の和に対して正確な恒等式を導出可能か。

主な発見

• 命題1は、Kreminskiの予想を厳密に証明する：$n \to \infty$ のとき $C_n(a+1/2) \to -C_n(a)$ が成り立ち、大指数におけるStieltjes定数の反周期性を確立する。
• 命題2は、$m > 0$ である整数 $m$ に対して、$P_n(mx)$ を $\ln^k x / x^{n+1}$ に対して積分することにより、$\gamma_n$ の新たな正確な公式を提供する。この公式は高精度計算に適している。
• 命題8(a)は、オイラー定数 $\gamma$ の高速収束級数を導出し、単純な実装で $n=51$ 項で16桁の精度に達する。
• 命題8(b)は、$-\gamma_1$ についても同様に高精度な級数を提供し、数値的応用に十分な収束速度を有する。
• $\psi_k(a) = -\gamma_k(a)$ の関係が確立され、一般化されたディガンマ関数がStieltjes定数と直接関連していることが示され、Dilcherらの先行研究を統合する。
• 二項係数および対数を含む無限級数として $\ln \pi$ の新たな恒等式が導出され、数値評価に適した収束速度を有する。