[論文レビュー] An Explicit Formula Relating Stieltjes Constants and Li's Numbers

K. Maślanka|ArXiv.org|Jun 16, 2004

Advanced Mathematical Identities参考文献 3被引用数 7

ひとこと要約

本稿では、Stieltjes定数 $\gamma_n$ と Li の数 $\tilde{\lambda}_n$ を結ぶ明示的公式を導出しており、Li の数の振動的成分を直接 $\gamma_n$ の項で表現可能にする。分割とPochhammerに類似した積を用いた新規な組み合わせ的展開を通じて、これらの定数とリーマン予想との深い関係が明らかになり、特に $\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.

研究の動機と目的

• Stieltjes定数 $\gamma_n$ と $-\zeta' / \zeta$ のローラン展開における係数 $\eta_n$ 間の直接的な解析的関係を確立すること。
• Stieltjes定数 $\gamma_n$ を用いて、Li の数 $\tilde{\lambda}_n$ の振動的成分を明示的に表現する公式を導出すること。
• $\tilde{\lambda}_n$ の計算に実用的な表現を提供し、リーマン予想に中心的な役割を果たす挙動を反映させること。
• $\eta_n$ と $\gamma_n$ の組み合わせ的構造を、符号付き係数と階乗正規化を施した分割された単項式の観点から形式化すること。

提案手法

• 整数分割に基づく一般式を導出し、インデックス制約を満たすためにクロネッカーのデルタを用い、係数にはPochhammerに類似した積を用いる。
• $\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$ 関係をLiの基準に適用し、$\tilde{\lambda}_n = -\sum_{j=1}^n \binom{n}{j} \eta_{j-1}$ の式に代入する。
• 得られた式を用いて $n=4$ まで $\tilde{\lambda}_n$ の明示的・閉形式展開を生成し、分割数に応じて複雑性が増加することを示す。
• 記号計算（Mathematica）による検証を通じて構造の整合性を確認し、二項係数のフィルタリングにより不要な項を同定する。

実験結果

リサーチクエスチョン

• RQ1 Stieltjes定数 $\gamma_n$ と $-\zeta'/\zeta$ のローラン展開における係数 $\eta_n$ 間の明示的関係を示す閉形式式を導出可能か？
• RQ2 Li の数 $\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$ を計算する手段を提供する。
• Li の数の振動的成分は $\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$ に寄与する項の分布は極めて非一様であり、多くの値がゼロ付近に集中しており、わずかな非対称性が振動的挙動を駆動している。
• 公式により、$\tilde{\lambda}_n$ の有界性が $\sim \frac{1}{2}(1 + n\ln n) + cn$ のトレンドに対して等価であることが確認され、$c = \frac{1}{2}(\gamma - 1 - \ln 2\pi)$ である。これはリーマン予想と同値である。