[論文レビュー] Series representations for the Stieltjes constants

Mark W. Coffey|ArXiv.org|May 7, 2009

Advanced Mathematical Identities参考文献 12被引用数 22

ひとこと要約

本稿では、Hurwitzゼータ関数 $\zeta(s,a)$ の $s=1$ の周りにおけるローラン展開の係数であるStieltjes定数 $\gamma_k(a)$ の新しい級数表現を提示する。Stirling数の第一種 $s(k,j)$ とディガマ関数・ゼータ関数の積分表現を活用することで、$\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.

研究の動機と目的

• 解析的整数論およびリーマンゼータ関数の研究において重要なStieltjes定数 $\gamma_k(a)$ の高速収束級数表現を構築すること。
• 既知の再帰関係を拡張する $\gamma_k(a)$ の加法公式を導出することにより、異なるパラメータ間での計算を可能にすること。
• すべての順序のStieltjes係数の微分を閉形式で表現することにより、高度な漸近的・計算的解析を支援すること。
• $|\gamma_k(a)|$ の大きさの推定を改善すること。これは数論において重要であるが、依然として十分に理解されていない。
• Dirichlet L関数およびLerchゼータ関数との関係を確立することで、特殊関数への応用範囲を広げること。

提案手法

• Stirling数の第一種 $s(k,j)$ を用いて $\gamma_k(a)$ の級数展開を構築し、組合せ的構造と解析的整数論を結びつける。
• Hurwitzゼータ関数およびその微分 $\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}$ をゼータ値およびオイラー定数に関連付ける。
• Knesslの積分表現 $p_{n+1} = \int_0^\infty \frac{du}{(1+u)^n (\ln^2 u + \pi^2)}$ を用いて漸近形態およびオイラー定数 $\gamma$ の新しい積分表現を導出する。
• 級数および積分変換を通じてLerchゼータ関数およびDirichlet L関数との関係を確立し、より広範なゼータ型関数へと枠組みを拡張する。

実験結果

リサーチクエスチョン

• RQ1 Stieltjes定数 $\gamma_k(a)$ に対して、特に $\gamma_k = \gamma_k(1)$ に対して、急速に収束する級数表現を構築できるか。
• RQ2 $\gamma_k(a)$ の加法公式の構造は何か。また、既知の再帰関係をどのように一般化するか。
• RQ3 すべての順序のStieltjes係数の微分を、ゼータ関数の微分を用いて閉形式でどのように表現できるか。
• RQ4 $\ell \to \infty$ のときの $\gamma_\ell(a)$ の漸近的挙動は何か。また、より高い精度で推定できるか。
• RQ5 $\gamma_k$ に関連する定数 $p_{n+1}$ は漸近的にどのように特徴づけられるか。また、これにより $\gamma$ にどのような影響があるか。

主な発見

• 指数的収束性を示す $\gamma_k = \gamma_k(1)$ の新しい級数表現が導出され、Stieltjes定数に対してはこれが最初の例の一つである。
• 加法公式（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(a)$ の微分は $\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)$ の漸近展開が導出され、ベルヌーイ数およびStirling数を含む形となり、成長率の理解が深まった。
• オイラー定数 $\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$ を持つ完全な漸近級数に拡張され、以前の推定を改善した。