Recurrence Relations for $\beta(2k)$ and $\zeta(2k + 1)$

技術要約：$\beta(2k)$ および $\zeta(2k + 1)$ に関する漸化式

問題設定
本研究では、双曲線関数と指数減衰を含む特定の種類の定積分を調査する：
$$I_{N, L, T} = \int_0^\infty \frac{\tanh(x)}{x} \text{sech}(x)^L e^{-Tx} \, dx$$
ここで、$L \in \mathbb{N}$ かつ $T \in \mathbb{R}_{\ge 0}$ である。主な目的は、これらの積分を特定の整数パラメータ（$T=2l$）に対して評価し、ディリクレのベータ関数 $\beta(2k)$ およびリーマン・ゼータ関数 $\zeta(2k + 1)$ の漸化式を導出することである。二次的な目的は、これらの積分の $T$ に関する微分を解析し、$1/x$ の因子を除去することで、ディガンマ関数のみを用いたより単純な表現を見出すことである。

手法
本論文は、積分の表示、部分積分、および線形代数を組み合わせた多段階の解析的手法を用いている：

1. フルヴィッツ・ゼータ関数の積分表示： 導出は、フルヴィッツ・ゼータ関数の差の標準的な積分表示から始まる：
   $$\zeta\left(s, \frac{T+1}{4}\right) - \zeta\left(s, \frac{T+3}{4}\right) = \frac{2^{2s-1}}{\Gamma(s)} \int_0^\infty x^{s-1} \text{sech}(x) e^{-Tx} \, dx$$
   部分積分を $N$ 回適用することにより、著者らは積分を $\text{sech}(x)$ と $\tanh(x)$ の微分の形式へと変換する。

2. 線形系と行列の逆行列：

   • $\frac{\partial^N}{\partial x^N} \text{sech}(x)$ および $\frac{\partial^N}{\partial x^N} \tanh(x)$ の微分は、$\text{sech}(x)^k$ と $\tanh(x)$ を含む項の有限和として表される。
   • これにより、対象となる積分（$\frac{\tanh(x)}{x}$ を含むもの）とフルヴィッツ・ゼータ関数の差との間の線形系が構築される。
   • 著者らは、微分展開の係数に基づく特定の下降三角行列（$u_{N,k}$ および $x_{N,k}$）を定義する。これらが可逆であることを証明し、その逆行列（$v_{N,k}$ および $y_{N,k}$）を明示的に構成する。
   • 逆行列は、最終的な漸化式の中心となる、再帰的に定義された係数 $g_{N,k}$ および $h_{N,k}$ を含む。

3. 微分と評価：

   • これらの線形系は複素パラメータ $s$ に関して微分され、非正の整数（例：$s = -2N$）において評価される。
   • このプロセスは、$\lim_{z \to 0} \frac{\psi(z)}{\Gamma(z)} = -1$ という性質を利用して特異点を処理し、フルヴィッツ・ゼータ関数の微分 $\zeta'(-n, z)$ を $\beta$ および $\zeta$ 関数の値へと変換する。
   • $T=2l$ の場合、著者らはフルヴィッツ・ゼータ関数の差とディリクレ・ベータ関数およびリーマン・ゼータ関数の間の初等的な関係を利用して、特定の値を $\beta(2k)$ および $\zeta(2k+1)$ に分離する。

4. 微分のための代替アプローチ：

   • $1/x$ の因子を持たない積分（元の形式の $T$ 微分）については、$\int_0^\infty \text{sech}(x)^L e^{-Tx} dx$ に関する二段階の漸化式を導出している。これにより、フルヴィッツ・ゼータ関数の微分を経由することなく、対象となる積分をディガンマ関数 $\psi(z)$ を用いて直接評価することが可能となる。

主要な貢献と結果

• 一般積分公式 (定理 1.1)： 本論文は、$\int_0^\infty \frac{\tanh(x)}{x} \text{sech}(x)^{2N+1} e^{-Tx} dx$ および $\int_0^\infty \frac{\tanh(x)}{x} \text{sech}(x)^{2N} e^{-Tx} dx$ の明示的な閉形式の表現を提供する。これらは、$T$ に関する多項式係数と、再帰的に定義された定数 $g_{N,k}$ および $h_{N,k}$ を用いたフルヴィッツ・ゼータ関数の微分 $\zeta'(-n, z)$ の有限和として表される。
• $\beta(2k)$ および $\zeta(2k+1)$ の漸化式 (系 1.2 & 1.3)： $T=2l$（特に $l=0$）と設定することで、著者らはこれらの積分を $\beta(2k)$ と $\zeta(2k+1)$ の線形結合として表す漸化式を導出する。
  • $T=0$ のとき、結果は以下のように簡略化される：
    $$\int_0^\infty \frac{\tanh(x)}{x} \text{sech}(x)^{2N+1} dx = \binom{2N}{N} \frac{1}{(2N+1)2^{2N}} \sum_{k=0}^N g_{N+1, k+1} 2^{2k+2} (2k+1)! \frac{\beta(2k+2)}{\pi^{2k+1}}$$
    $$\int_0^\infty \frac{\tanh(x)}{x} \text{sech}(x)^{2N} dx = \frac{2^{2N}}{N^2 \binom{2N}{N}} \sum_{k=1}^N h_{N,k} (2-2^{-2k}) (2k)! \frac{\zeta(2k+1)}{\pi^{2k}}$$
• 簡略化された表現 (定理 2.1)： 本論文は、$\int_0^\infty \tanh(x) \text{sech}(x)^L e^{-Tx} dx$ （元の主題の $T$ 微分）が、フルヴィッツ・ゼータ関数の微分を含まず、ディガンマ関数 $\psi(z)$ と $T$ の有理関数のみを用いて表現できることを確立している。
• $(\tanh(x)/x)$ の累乗の積分 (セクション 3)： 著者らは $\int_0^\infty (\frac{\tanh(x)}{x})^N dx$ を、再帰的な係数行列 $d_N(p, 2k)$ を用いて $\zeta(3), \dots, \zeta(2N-1)$ の線形結合として表現している。
• 積分表示： 本研究は、Blagouchine によって見出された $\beta(2)$ および $\zeta(3)$ の既知の積分表示を、$\log(\log(x))$ を含む高次の $\beta(2N)$ および $\zeta(2N+1)$ へと一般化している。

意義と主張
本論文は、双曲線積分を用いて奇数次ゼータ値および偶数次ベータ値の漸化式を生成するための体系的な方法を提供すると主張している。著者は、先行文献（例えばオイラーやラマヌジャン）が、二重ゼータ関数や $z^{2m}\cot(z)$ の積分のような「誤差項」を含む関係を確立してきた一方で、ここで導出された関係は代数的な性質を持つものであると述べている（ただし、定数自体は依然として謎に包まれている）。

著者は、定理 1.1 の証明における行列の逆行列を用いた手法が、より大きな $L$ に対して、代替となる直接的な証明戦略（既知の積分恒等式の繰り返し微分など）よりも「はるかに効率的」であることを明示している。本研究は、これらの定数の無理数性や超越性を解決することを目的とするものではなく、むしろそれらを定積分を通じて関連付けるための新しい構造的枠組みを提示するものである。

限界と展望
本論文は、定数 $\zeta(2k+1)$ および $\beta(2k)$ の代数的な性質が、これらの漸化式が存在するにもかかわらず依然として謎であることを認めている。著者は、提示された行列の逆行列を用いる手法が、より一般的な積分 $\int_0^\infty \frac{\tanh(\alpha x)}{x} \text{sech}(\beta x)^L e^{-Tx} dx$ にも拡張できる可能性があることを示唆しているが、これは完了した結果ではなく、あくまで展望として提示されている。