[論文レビュー] On the coefficients of the Baez-Duarte criterion for the Riemann hypothesis and their extensions

Mark W. Coffey|ArXiv.org|Aug 20, 2006

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

ひとこと要約

この論文は、リーマン予想のバエス＝デュアーテ基準を一般化し、$ 1/\zeta(s) $ のポッホハマー多項式展開における係数 $ c_k $ を解析的に研究することで、ディリクレ $ L $-関数およびフルヴィッツ・ゼータ関数へと拡張し、完全なベル多項式を通じてステルツェス定数と関連づける。主な貢献は、これらの係数の増大率と一般化されたリーマン予想を結びつけるパラメータ付き拡張 $ c_k(b,\chi) $ である。

ABSTRACT

We present analytic properties and extensions of the constants ck appearing in the Baez-Duarte criterion for the Riemann hypothesis. These constants are the coefficients of Pochhammer polynomials in a series representation of the reciprocal of the Riemann zeta function. We present generalizations of this representation to the Hurwitz zeta and many other special functions. We relate the corresponding coefficients to other known constants including the Stieltjes constants and present summatory relations. In addition, we generalize the Maslanka hypergeometric-like representation for the zeta function in several ways.

研究の動機と目的

• リーマン予想のバエス＝デュアーテ基準における係数 $ c_k $ の解析的性質を分析すること。
• ポッホハマー多項式を用いた $ 1/\zeta(s) $ の表現を、フルヴィッツ・ゼータ関数、多重ゼータ関数、およびディリクレ $ L $-関数へ一般化すること。
• 完全なベル多項式を用いて、係数 $ c_k $ をステルツェス定数 $ \gamma_k $ およびその他の数論的定数と関連づけること。
• ゼータ関数のマスランカの超幾何型表現を、より広いクラスの $ L $-関数および特殊関数へ拡張すること。
• 一般化されたリーマン予想のための基準として機能しうるパラメータ付き係数 $ c_k(b,\chi) $ を提案すること。

提案手法

• ポッホハマー多項式 $ P_k(s) $ を用いて、$ 1/\zeta(s) = \sum_{k=0}^\infty c_k P_k(s/2) $ の級数展開により係数 $ c_k $ を導出する。
• ファウ・ディ・ブルーノの公式および指数的完全ベル多項式 $ Y_j $ を用いて、$ s=1 $ における $ P_k(s/2) $ の微分を表現する。
• リーマン・ゼータ関数 $ \zeta(s) $ のローラン展開を比較することにより、$ c_k $ をステルツェス定数 $ \gamma_k $ に関連づける。
• ディリクレ $ L $-関数に対して、$ c_k(b,\chi) = \sum_{j=0}^k (-1)^j \binom{k}{j} \frac{1}{L(bj+b, \chi)} $ として係数の一般化を行う。
• ゼータ関数のオイラー積表現を用いて、$ c_k $ を素数に関する交代的二項係数和として表現する。
• 大規模な $ k $ に対しては、$ c_k \approx \sum_{n=1}^\infty \frac{\mu(n)}{n^2} e^{-k/n^2} $ やフーリエ変換表現などの漸近的近似を用いる。

実験結果

リサーチクエスチョン

• RQ1 バエス＝デュアーテ基準における係数 $ c_k $ の解析的性質は何か？ また、ステルツェス定数とはどのように関連しているか？
• RQ2 ポッホハマー多項式展開による $ 1/\zeta(s) $ の表現を、フルヴィッツ・ゼータ関数およびレルヒ・ゼータ関数へ一般化できるか？
• RQ3 完全なベル多項式は、$ c_k $ と $ \zeta(s) $ のローラン係数との関係をどのように果たすか？
• RQ4 パラメータ付き係数 $ c_k(b,\chi) $ は、ディリクレ $ L $-関数に対する一般化されたリーマン予想と同値な基準を提供するか？
• RQ5 特に振動成分を含む $ c_k $ の漸近的挙動は、リーマン予想の真偽とどのように関係するか？

主な発見

• 係数 $ c_k $ は、条件なしで $ c_k = O(k^{-1/2}) $ を満たし、リーマン予想のもとでは任意の $ \epsilon > 0 $ に対して $ c_k = O(k^{-3/4+\epsilon}) $ が成り立つ。
• 恒等式 $ \sum_{k=0}^\infty \frac{\Gamma(k+1/2)}{k!} c_k = 0 $ が成立し、これは $ s=1 $ における $ \zeta(s) $ の単純極を反映している。
• 関係式 $ -\frac{1}{2\sqrt{\pi}} \sum_{k=0}^\infty \frac{\Gamma(k+1/2)}{k!} \psi(k+1/2) c_k = 1 $ により、$ c_k $ はディガマ関数およびオイラー定数と関連づけられる。
• 和 $ \sum_{k=0}^\infty \frac{\Gamma(k+1/2)}{k!} \left[ \psi^2(k+1/2) + \psi'(k+1/2) \right] c_k = -4\sqrt{\pi}(\gamma - 2\ln 2) $ は、$ c_k $ をオイラー＝マスケローニ定数と関連づける。
• 一般化された係数 $ c_k(b,\chi) = \sum_{j=0}^k (-1)^j \binom{k}{j} \frac{1}{L(bj+b, \chi)} $ は、バエス＝デュアーテ基準をディリクレ $ L $-関数へ拡張する。
• $ \text{Re}(s) > 1 $ において、$ 1/L(s,\chi) = \sum_{k=0}^\infty c_k(b,\chi) P_k(s/b) $ の表現が成り立つ。これは、一般化されたリーマン予想のための潜在的基準を示唆する。