Perspectives on the arithmetic nature of the ratios $ζ(2n + 1)/π^{2n+1}$ and $β(2n)/π^{2n}$

技術要約：比 $\zeta(2n + 1)/\pi^{2n+1}$ および $\beta(2n)/\pi^{2n}$ の算術的性質に関する観点

問題提起
本論文は、リーマンゼータ関数の奇数における値 $\zeta(2n+1)$、およびディリクレ・ベータ関数における偶数における値 $\beta(2n)$ の算術的性質に関する長年の未解決問題を取り上げている。オイラーは $\zeta(2n)$ および $\beta(2n+1)$ に関する明示的な公式を $\pi$ の冪の有理数倍として確立したが、$\zeta(2n+1)$ や $\beta(2n)$ に対してはそのような閉形式の表現は存在しない。中心となる問いは、これらの比 $\zeta(2n+1)/\pi^{2n+1}$ および $\beta(2n)/\pi^{2n}$ が有理数であるかどうかである。著者は、数多くの試みにもかかわらず有理係数が見つかっていないことを指摘しており、ヒューリスティックな証拠はこれらの比が無理数であることを示唆しているが、厳密な証明は依然として困難なままである。

手法
本調査は、これらの値を導出するための特定の積分表示の導出と分析に基づいている。手法は以下のステップで進行する：

1. 積分の導出： 著者は、対数核（$\ln \ln(1/x)$）およびポリログ（$\text{Li}_s$）を含むマルムステン型の積分を利用して、対象となる比を表現する。出発点となるのは、ブラグーシンやアダムチックによって評価された積分であり、これらは高次へと一般化されている。
2. 変換と簡約： 変数置換（例：$x \to \tan u$）および部分積分を通じて、$(0, 1)$ 上の積分を、三角関数と $\ln(\tan x)$ を含む $(0, \pi/4)$ 上の積分へと変換する。
3. 線形代数的枠組み： 本論文では、これらの積分方程式のガウス消去法を用いている。積分 $\int_0^{\pi/4} \frac{\sin(4nx)}{\ln(\tan x)} dx$ および $\int_0^{\pi/4} \frac{\cos((4n-2)x)}{\ln(\tan x)} dx$ の間の線形関係を確立することで、これらの積分が、有理係数を用いて $\zeta(2p+1)/\pi^{2p}$ および $\beta(2p)/\pi^{2p-1}$ の有限な線形結合として表現できることを著者は示している。
4. 複素積分： これらの積分の構造に対する理論的正当性は、複素平面上の複素積分技術、具体的には $\text{sech}^n z$ および $\sinh((2k+1)z)/z$ を含む関数の留数解析を通じて提供される。
5. 形式的証明： 命題 2.1 および 2.2 は、ディリクレ $\eta$ 関数および $\beta$ 関数の関数等式を利用して、特定のポリログ積分とゼータおよびベータの比を結びつける形式的な導出を提供する。

主要な貢献と結果

• 統一的な積分表示： 本論文は、$\zeta(2p+1)/\pi^{2p}$ および $\beta(2p)/\pi^{2p-1}$ の線形結合へと評価される積分の包括的な表を提示している。これらには以下が含まれる：
  • 双曲線関数を含む $(0, \infty)$ 上の積分：$\int_0^\infty \frac{\sinh((2k+1)x)}{x \cosh^n x} dx$。
  • ポリログおよび二重対数を含む $(0, 1)$ 上の積分：$\int_0^1 \frac{\text{Li}_{-2n-1}(-x^2)}{x} \ln \ln(1/x) dx$ および $\int_0^1 \frac{\text{Im}[\text{Li}_{-2n}(ix)]}{x} \ln \ln(1/x) dx$。
  • $(0, \pi/4)$ 上の三角積分：$\int_0^{\pi/4} \frac{\sin(4nx)}{\ln(\tan x)} dx$。
• 明示的な係数： 著者は、これらの線形結合に対する明示的な有理係数を導出している。例えば、本論文は $\int_0^{\pi/4} \frac{\sin(4x)}{\ln(\tan x)} dx = -7\zeta(3)/\pi^2$ であることを示し、さらに $\sin(8x), \sin(12x)$ 等を含む高次の展開を $\zeta(3), \zeta(5), \zeta(7)$ 等を用いて提供している。
• 多項式による定式化： $\zeta(2n+1)/\pi^{2n}$ および $\beta(2n)/\pi^{2n-1}$ が、それぞれ $\int_0^1 \frac{x P_n(x)}{\text{arctanh}(x)} dx$ および $\int_0^1 \frac{x P_n(x)}{\sqrt{1-x^2}\text{arctanh}(x)} dx$ という形の積分（ここで $P_n(x)$ は有理係数を持つ特定の多項式）として表現できることを示している。
• 線形独立性に関する予想： 主要な結果は、対象となる比の無理性が、これらの積分値の集合に対する有理数体 $\mathbb{Q}$ 上の $\pi$ の線形独立性と結びついているという予想の定式化である。具体的には、本論文は、もし $\pi$ がこれらの積分の列の $\mathbb{Q}$-線形スパンに含まれないならば、比 $\zeta(2n+1)/\pi^{2n+1}$ および $\beta(2n)/\pi^{2n}$ は無理数であると仮定している。

意義と主張
本論文は、これらの様々な解析的枠組みを同じ値へと集約することで、これらの算術的問題に対する「統一的な視点」を提供することを目的としている。その意義は以下の点にある：

1. 問題の再定式化： 明示的な有理係数を見つけること（これはこれまで無益であった）から、特定の積分集合からの $\pi$ の線形独立性を証明することへと焦点を移している。
2. 構造的洞察： 多様な積分（双曲線、三角、ポリログ）がすべて同じゼータおよびベータの比の線形結合へと帰着することを示すことで、本論文は深い根底にある構造的パターンを示唆している。
3. 無理性への経路： 著者は、予想 $\pi \notin \text{Span}_{\mathbb{Q}}\{I_1, I_2, \dots\}$ を証明することが、直ちに $\zeta(2n+1)/\pi^{2n+1}$ および $\beta(2n)/\pi^{2n}$ の無理性を意味すると主張している。

限界と謙虚さ
著者は、現在の研究の限界を明示的に認めている：

• 厳密性： 命題 2.1 および 2.2 の証明は、特に和と積分の順序交換、および発散級数の正則化版の扱いに関して、数学的な厳密さが欠けていることが指摘されている。著者は、係数の厳密な導出には、文献 [10] にあるさらなる詳細な作業が必要であると述べている。
• ヒューリスティックな性質： 有理係数を見つけることが不可能であるという事実は、現在、強固な証明ではなく「ヒューリスティックな手法と、ブルートフォースによる深い計算」によって支持されている。
• 予想の地位： 無理性に関する中心的な主張は、提案された線形独立性の予想の真偽に依存している。本論文は、これらの比の無理性を証明したと主張しているのではなく、むしろそれに取り組むための新しい枠組みを提示している。
• フーリエ級数の恒等式： 最終節では、予想を支持するフーリエ級数から導かれた形式的な恒等式を提示しているが、著者は、この恒等式の導出に使用された収束議論における「弱さと厳密さの欠如」を明示的に述べている。

総括すると、本論文は、奇数ゼータ値および偶数ベータ値の無理性に挑むための新しい戦略として、問題を特定の積分族からの $\pi$ の線形独立性の問題として捉え直し、解析的な道具を集約したものである。