Positive rational series for reciprocal powers of Catalan's constant and Dirichlet beta values

技術要約：カタランの定数およびディリクレ・ベータ値の逆数冪に関する正の有理級数

問題提起
本論文は、整数 $r \ge 1$ に対するディリクレ・ベータ関数 $\beta(s)^{-r}$ の逆数冪の級数表現の構築に取り組んでいる。具体的には、カタランの定数 $G = \beta(2)$ および（$\pi$ の冪に関連する）奇数における $\beta(s)$ の値を対象としている。ディリクレ・ベータ関数は交代級数によって定義され、その逆数冪はメビウス関数を含むディリクレ級数を用いて表現できるが、これらの古典的な表現には二つの限界がある。すなわち、項の符号パターンが固定されていないこと、および幾何級数的にではなく代数的に収束することである。本研究の目的は、正の有理係数を持ち、幾何級数的に収束する通常の冪級数を開発し、それによってこれらの定数の効率的な計算ツールと新たな構造的知見を提供することである。

手法
著者は、ベータ級数の積分表示に基づいた変換ベースのアプローチを採用している。核心となる手法は、以下の3つのステップからなる。

1. 積分表示： 本論文では、$F_s(t) = \sum_{k=0}^\infty (-1)^k t^k / (2k+1)^s$ という関数を利用しており、これはガンマ関数を用いた以下の積分表示を持つ：
   $$F_s(t) = \frac{1}{\Gamma(s)} \int_0^1 \frac{(-\log x)^{s-1}}{1+tx^2} dx.$$
   この表示は $\text{Re}(t) > -1$ に対して有効である。

2. 分数線形置換： 単位円を解析領域へと写像するために、変数 $t$ に対して2種類の異なる置換を適用する：

   • 通常のオイラー変換： 置換 $t = w/(1-w)$ は、$w=1/2$ を $t=1$ に写す。これはすべての実数 $s > 0$ に対して有効な級数を与える。
   • 加速変換： 置換 $t = 2u/(1-u)$ は、$u=1/3$ を $t=1$ に写す。これは $s \ge 2$ に対して有効な級数を与える。

3. 逆数冪の構成： 変換された関数は $1 - D(z)$ の形式をとる。ここで $D(z)$ は正の係数を持つ冪級数である。逆数冪 $(1 - D(z))^{-r}$ は、一般化された二項定理を用いて展開される。これらの逆数級数の係数は、以下を通じて導出される：

   • 二項係数と交代和を含む有限和の公式。
   • 係数を効率的に生成することを可能にする正の漸化式（定理 4.2）。
   • 部分指数ベル多項式（partial exponential Bell polynomials）を用いた合成公式（定理 4.3）。

主要な貢献と結果

• 2つの正の級数ファミリー： 本論文は、$1/\beta(s)^r$ に対する2つの級数ファミリーを確立している：

  • $1/2$ で評価される級数（収束率 $1/2$）、これは $s > 0$ で有効である。
  • $1/3$ で評価される級数（収束率 $1/3$）、これは $s \ge 2$ で有効である。
    両方のファミリーは厳密に正の係数を持つ。$s$ が整数のとき、すべての係数は有理数となる。

• カタランの定数 ($G$) に対する明示的な公式： $s=2$ の場合、加速変換は $1/G^r$ に対する急速に収束する級数を提供する。本論文では、基礎となる係数 $p_{2,n}$ と逆数係数 $c_{2,r,n}$ の明示的な公式を示している。

  • 例：$1/G = 1 + \sum_{n=1}^\infty \frac{c_{2,1,n}}{3^n}$。最初の数項は $2/27, 226/18225, \dots$ である。
  • 本論文は、最初の 1 以降のすべての項が正の有理数であることを証明しており、これにより部分和が厳密な下限となることを保証している。

• $\pi$ の逆数冪： 加速変換と、奇数のベータ値と $\pi$ の冪との既知の関係（オイラー数を含む）を組み合わせることで、$\pi^{-(2m+1)r}$ に対する正の有理級数を導出している。

  • $\beta(1) = \pi/4$ の場合、加速変換は $s=1$ において正の係数を生成できないため、通常のオイラー変換（$1/2$ での評価）が使用される。
  • これにより、$4^r/\pi^r = 1 + \sum_{n=1}^\infty \frac{c_{1,r,n}}{2^n}$ のような級数が得られる。

• 収束性と誤差解析：

  • 2つのファミリーの正確な根収束率は、それぞれ $1/2$ および $1/3$ であることが決定されている。
  • 誤差の幾何級数的な減衰を示す明示的な剰余推定が提供されている（定理 4.7）。例えば、加速級数の誤差は $(2/3)^{N+1}$ に比例する項によって抑えられる。
  • 数値比較により、加速級数が通常のオイラー級数よりも大幅に速く収束することが確認されている（例：$N=80$ において、$1/G$ の誤差は通常の級数の $\approx 10^{-27}$ に対し、加速級数では $\approx 10^{-41}$ である）。

• 係数の性質： 係数の構造について、それらが $c_n^{(r)} = \frac{1}{n} \sum_{k=1}^n [n + (r-1)k] d_k c_{n-k}^{(r)}$ という単純な漸化式によって生成できることを詳述している。また、整数 $s$ の場合のベル多項式や一般化調和数を用いた閉じた形式の表現も提供している。

意義と主張
本論文は、カタランの定数および関連するベータ値の逆数冪に対する正の有理級数を生成するための体系的な方法を提供すると主張している。モジュラー形式やハイパー幾何恒等式（ラマヌジャン型の級数）に依存する従来のアプローチとは異なり、本手法は古典的な級数変換と積分表示に基づく「オイラー型」の手法である。

その意義は以下の点にある：

1. 計算効率： 幾何級数的な収束率（$1/2$ および $1/3$）と項の正性により、これらの定数およびその逆数の高精度計算が可能となる。
2. 構造的明晰さ： 有限和の公式と正の漸化式の導出は、これら（逆数冪）の係数が、他の文脈では特徴付けが困難なものであるにもかかわらず、明確な代数的構造を提供している。
3. 有理性： $s$ が整数のときに係数が有理数であることを明示的に示したことは、これらの定数の新しいクラスの有理近似を提供している。

著者は、本研究が $G$ やその他の未解決の算術的問題の無理数性を解決することを目的としたものではなく、むしろこれらの特定の級数表現の解析的および組合せ論的な構成に焦点を当てていることを明記している。結果は、数値評価への即時的な応用を伴う、自己完結的な解析ツールとして提示されている。