A new expansion of the Riemann zeta function

この論文「A new expansion of the Riemann's zeta function（リーマンゼータ関数の新しい展開）」は、フランスの B. Candelpergher 氏によって執筆されたものであり、リーマンゼータ関数 $\zeta(s)$ を臨界帯域（$0 < \Re(s) < 1$）において、ある直交多項式族を用いた収束級数として展開する新しい手法を提案しています。

以下に、論文の技術的な要約を問題提起、手法、主要な貢献、結果、そして意義の観点から詳細に記述します。

1. 問題提起 (Problem)

リーマンゼータ関数 $\zeta(s)$ は、数論の核心をなす関数ですが、その解析的な性質、特に臨界帯域における挙動は複雑です。既存の研究では、ニュートン補間公式やスティルチェス定数（Stieltjes constants）を用いた多項式展開が知られていますが、これらは特定の点（$s=1$ の近傍など）での展開や、発散級数の扱いに依存するものが多いです。

本研究の目的は、以下の 2 つの目標を達成することです。

1. リーマンゼータ関数を、臨界帯域 $0 < \Re(s) < 1$ において、収束する級数 $\sum x_m P_m(s)$ として表現すること。
2. その展開に現れる多項式 $P_m(s)$ の根がすべて臨界直線 $\Re(s) = 1/2$ 上に存在することを示し、その直交性を確立すること。

2. 手法 (Methodology)

本研究は、以下の数学的ツールと概念を組み合わせることで構成されています。

• ラゲール多項式とメリン変換:
  ラゲール多項式 $L_m(x)$ を用いた関数 $x \mapsto e^{-x}L_m(2x)$ のメリン変換を定義し、これによって多項式 $P_m(s)$ を導入します。
  $$\Gamma(s)P_m(s) = 2 \int_0^{+\infty} e^{-x}L_m(2x)x^{s-1} dx$$
  この $P_m(s)$ は、生成関数を通じて $z^{-s}$ の展開係数として現れます。

• ラマヌジャンの総和法 (Ramanujan's Summation):
  発散級数を扱うために、ラマヌジャンの総和法 $\sum^{\mathcal{R}}$ を採用します。特に、発散する級数 $\sum_{n \ge 1} \frac{1}{n^s}$ を、解析的連続性を持つ関数 $\zeta(s) - \frac{1}{s-1}$ と同一視する手法（Theorem 5）を用います。これにより、形式的な級数操作を厳密な解析的意味で正当化します。

• 直交性の実証:
  多項式 $Q_m(t) = \frac{1}{2}P_m(\frac{1}{2} + it)$ が、重み関数 $\frac{1}{\cosh(\pi t)}$ を持つ $L^2(\mathbb{R})$ 空間において完全な直交系をなすことを示します。これはメリン・パルセバル（Mellin-Parseval）公式とラゲール多項式の既知の直交性に基づいています。

3. 主要な貢献と結果 (Key Contributions & Results)

A. ゼータ関数の新しい級数展開

臨界帯域 $0 < \Re(s) < 1$ において、以下の収束級数展開が成立することを証明しました。
$$\zeta(s) = \sum_{m=0}^{\infty} x_m P_m(s)$$
ここで、係数 $x_m$ はオイラー定数 $\gamma$ とゼータ関数の値 $\zeta(2), \zeta(3), \dots, \zeta(m+1)$ の有理数係数線形結合として明示的に与えられます。
$$x_m = \gamma + \sum_{k=1}^{m} \binom{m}{k} (-2)^k \zeta(k+1) + r_m$$
（$r_m$ は有理数からなる補正項）。

B. 多項式の根の位置と直交性

• 根の位置: 多項式 $P_m(s)$ のすべての根は、リーマン予想の臨界直線 $\Re(s) = 1/2$ 上に存在します。
• 直交系: 変換された多項式 $Q_m(t)$ は、空間 $L^2(\mathbb{R}, \frac{dt}{\cosh(\pi t)})$ において正規直交系を形成します。これにより、$\zeta(\frac{1}{2} + it)$ はこの空間における直交展開 $\zeta(\frac{1}{2} + it) = 2 \sum_{m=0}^{\infty} x_m Q_m(t)$ として表現されます。

C. 積分表示と定数評価

• 係数の積分表示: 係数 $x_m$ は、$\zeta(\frac{1}{2} + it)$ を用いた積分として表現できます。
  $$x_m = \frac{1}{2} \int_{-\infty}^{\infty} Q_m(t) \zeta\left(\frac{1}{2} + it\right) \frac{dt}{\cosh(\pi t)}$$
• ゼータ関数の $L^2$ ノルム: 上記の直交展開とラマヌジャンの総和法を用いた形式的計算により、以下の恒等式を導出しました。
  $$\frac{1}{2} \int_{-\infty}^{\infty} \left| \zeta\left(\frac{1}{2} + it\right) \right|^2 \frac{dt}{\cosh(\pi t)} = \log(2\pi) - \gamma - \frac{1}{2}$$
  これは、ゼータ関数の臨界直線上での振る舞いに関する新しい積分評価を提供するものです。

4. 意義 (Significance)

この研究は、リーマンゼータ関数の解析的性質を研究する上で以下の点で重要です。

1. 臨界帯域での収束展開: 従来の展開法とは異なる、臨界帯域全体で収束する多項式展開を提供しており、数値計算や理論解析における新しいアプローチを開拓しました。
2. リーマン予想との構造的関連: 展開に用いる多項式の根が自動的に臨界直線上に現れることは、リーマン予想の文脈において興味深い構造を示唆しています。これは、ゼータ関数の零点と直交多項式の根の間に深い関係がある可能性を示しています。
3. ラマヌジャン総和法の応用: 発散級数のラマヌジャン総和法を、ゼータ関数の展開係数の導出と、積分恒等式の導出に体系的に適用した点で、手法論的な貢献があります。
4. 新しい積分恒等式: $\zeta(\frac{1}{2} + it)$ の重み付き $L^2$ ノルムに関する定数 $\log(2\pi) - \gamma - 1/2$ の導出は、ゼータ関数の平均値定理に関する新たな知見を提供します。

総じて、この論文はゼータ関数の多項式展開、直交性、およびラマヌジャンの総和法を統合した独創的な枠組みを構築し、数論および解析学の新たな視点を提供するものです。