On the analytic continuation of the Riemann zeta function

技術的概要：リーマンゼータ関数の解析接続について

問題提起
リーマンゼータ関数 $\zeta(s)$ は、当初、半平面 $\text{Re}(s) > 1$ においてのみ収束するディリクレ級数 $\sum_{n=1}^{\infty} n^{-s}$ によって定義される。$\zeta(s)$ を全複素平面に解析接続することは、関数等式または輪郭積分を通じて導出される、よく確立された結果であるが、本論文は、特定の反復法、すなわち部分積分の繰り返しを通じて接続を導出することに焦点を当てている。目的は、有効領域を段階的に拡張し、整数 $k \geq 2$ に対する $(\zeta(k) - 1)$ を含む級数を用いて関数を表現する、$\zeta(s)$ の新たな恒等式の一族を生成することである。

手法
著者は、ヘヴィサイドの階段関数 $\Theta(x-n)$ を含むゼータ関数の積分表現に対して適用される部分積分に基づく体系的な手順を採用している。核心的な手法は以下の通りである：

1. 積分表現：出発点は、級数定義から導出された積分形式であり、ここで総和は $\Theta(x-n)$ を含む積分に変換される。
2. 反復部分積分：部分積分を繰り返し適用することで、著者は級数表現の有効性を、整数パラメータ $p$ に対して $\text{Re}(s) > 1$ から $\text{Re}(s) > -(p-1)$ へとシフトさせる。
3. 多項式減算による周期化：積分の下限における発散挙動を処理するため、特定の多項式 $f_p(x)$ を階段関数の総和から減算する。この多項式は、最初の $n$ 個の整数に対する冪和の公式（ファウハーバーの公式に関連）$P_{p-1}(n) = \sum_{i=1}^n i^{p-1}$ を取り、$n \to (x-1)$ と置き換えることで構成される。
4. 周期関数への変換：この減算により、被積分関数は（小数部分またはベルヌーイ多項式を含む）周期関数へと変換される。
5. 級数展開：得られた周期積分は、$\int_0^1 \frac{x^m}{(x+n)^{s+k}} dx$ の形の項を含む無限級数へと展開され、これらは後に $\zeta(s+k) - 1$ と関連付けられる。

主要な貢献と結果
本論文は、$p$ が 1 から 12 までの値に対する $\zeta(s)$ の明示的な恒等式を導出する。各 $p$ の値は、収束領域を拡張し、ゼータ関数の新たな表現を提供する特定の恒等式に対応する。

• ケース $p=1$：著者は恒等式 $\sum_{k=0}^{\infty} \frac{\Gamma(s+k)}{\Gamma(k+2)\Gamma(s)}(\zeta(s+k)-1) = \frac{1}{s-1}$ を導出する。これは留数 1 を持つ $s=1$ における単純極を回復する。特定の帰結として、$\sum_{k=2}^{\infty} (\zeta(k)-1) = 1$ が提示される。
• ケース $p=2$：この導出には多項式 $f_2(x) = \frac{x(x-1)}{2}$ が組み込まれる。これにより $\text{Re}(s) > -1$ で有効な恒等式が得られ、$\zeta(0) = -1/2$ の計算および $(\zeta(k)-1)$ の級数としての導関数 $\zeta'(0)$ の表現が可能となる。
• ケース $p=3$ から $p=12$：論文は高次に対する明示的な公式を提示する。$p$ が増加するにつれて、多項式の減算はより複雑になり（$x$ の高次冪を含む）、$\zeta(s)$ に対する結果の恒等式には、$s$ のより複雑な有理関数および高次の無限級数が含まれるようになる。
  • 偶数の $p$ に対しては、恒等式が自然に負の偶数整数（$s = -2, -4, \dots$）におけるゼータ関数の自明な零点を含むことが示される。
  • 著者は $p$ が 12 までの多項式係数を明示的に計算しており、$p \geq 9$ の場合、多項式分解の複雑さを管理するためにコンピュータ代数システム（Mathematica）が利用されたことに言及している。
  • 一般的なパターンは、任意の $p$ に対して、$\zeta(s)$ が $s$ の有理関数と $\Gamma$ 関数および $(\zeta(s+k)-1)$ を含む級数の和として表現される一般公式が得られることを示唆している。

意義と主張
本論文は、これらの導出された恒等式が「物理学および数学における応用に有用となり得る新たな恒等式」を提供すると主張している。具体的には、著者は以下を強調している：

• この手法は、関数等式にのみ依存することなく、$\zeta(s)$ の解析接続を拡張する構成的な方法を提供する。
• 恒等式は、$\zeta(s)$ およびその導関数を、$k \geq 2$ に対する収束級数 $(\zeta(k)-1)$ のみで完全に表現する。これらの項は $k \to \infty$ とともに急速に 0 に近づくため、級数は数値的に安定している。
• このアプローチは、負の整数（自明な零点を含む）における値の計算と、$s=0$ における導関数の計算を、部分積分という単一の枠組みの中で統合する。

著者は、より広範な含意については控えめなトーンを維持しており、これらの恒等式が「$\zeta(s)$ の新たな性質に光を当てる」ことを期待していると述べるにとどめ、リーマン予想の解決や、恒等式の一般的な有用性を超えた特定の新たな物理的応用を主張することはない。