A new equivalence to the Riemann Hypothesis by means of the Salem integral equation

以下は、B. J. González と E. R. Negrín によって執筆された論文「Salem 積分方程式を用いたリーマン予想の新たな同値性」の技術的要約です。

論文概要：Salem 積分方程式によるリーマン予想の新たな同値性

1. 問題設定 (Problem)

リーマン予想（Riemann Hypothesis, RH）は、リーマンのゼータ関数 $\xi(s)$ の自明でない零点がすべて臨界帯 $0 < \text{Re } s < 1$ において、直線 $\text{Re } s = 1/2$ 上に存在することを主張する数学上の未解決問題です。
1953 年に Raphaël Salem は、RH が真であることと、特定の積分方程式が自明な解（ほとんど至る所ゼロの関数）のみを持つこととの同値性を示しました。具体的には、$1/2 < \delta < 1$ に対し、有界可測関数 $f(t)$ に対して以下の積分方程式が成り立つ場合、$f=0$ （ほとんど至る所）であることが RH と同値です。
$$\int_0^\infty \frac{t^{\delta-1}}{e^{xt}+1} f(t) dt = 0 \quad (\forall x > 0)$$
本研究は、この Salem の結果をさらに精緻化し、解の「型（type）」に焦点を当てた新たな同値性を提示することを目的としています。

2. 手法と導出 (Methodology)

著者らは、以下の数学的関係式と解析的手法を用いて証明を構築しました。

• ディリクレ・イータ関数との関係:
  $\text{Re } s > 1$ において、ディリクレ・イータ関数 $\eta(s)$ とリーマン・ゼータ関数 $\xi(s)$ の間には $\eta(s) = (1 - 2^{1-s})\xi(s)$ という関係が成り立ちます。これにより $\xi(s)$ は $0 < \text{Re } s < 1$ へ解析接続されます。
• 積分表示の活用:
  $\text{Re } s > 0$ において、以下の積分表示が知られています。
  $$\int_0^\infty \frac{t^{s-1}}{e^{xt}+1} dt = x^{-s}\Gamma(s)\eta(s)$$
  ここで、$s = \delta + i\gamma$ （$0 < \delta < 1, \gamma \in \mathbb{R}$）と置きます。
• 解の構造の特定:
  上記の積分表示より、$s = \delta + i\gamma$ が $\xi(s)$ の零点であるための必要十分条件は、関数 $f(t) = t^{i\gamma}$ を被積分関数に代入したとき、以下の積分がすべての $x > 0$ に対してゼロになることと同値です。
  $$\int_0^\infty \frac{t^{\delta-1}}{e^{xt}+1} t^{i\gamma} dt = 0$$
  関数 $f(t) = t^{i\gamma} = e^{i\gamma \ln t}$ は、$(0, \infty)$ 上で有界かつ可測であり、その絶対値は常に 1 であることに着目しました。

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

本研究の核心的な貢献は、Salem の同値性を「有界可測関数全体」から「特定の振動関数 $t^{i\gamma}$ の形をした解」に限定することで、より具体的な条件として再定式化した点にあります。

• 新たな同値性の定式化:
  リーマン予想が真であることと、以下の条件が同値であることが証明されました。

  「任意の $1/2 < \delta < 1$ に対して、積分方程式
  $$\int_0^\infty \frac{t^{\delta-1}}{e^{xt}+1} f(t) dt = 0 \quad (\forall x > 0)$$
  が、$f(t) = t^{i\gamma}$ （$t \in (0, \infty), \gamma \in \mathbb{R}$）という形式の解を持たないこと。」

• 対称性の利用:
  $\xi(s)$ の零点は直線 $\text{Re } s = 1/2$ に関して対称であるため、$0 < \delta < 1$ かつ $\delta \neq 1/2$ における零点の存在は、$1/2 < \delta < 1$ の範囲における零点の存在と等価です。これにより、条件を $1/2 < \delta < 1$ に限定して記述することが可能となりました。

• Salem 条件との整合性:
  Salem の元の条件（「有界可測関数 $f$ に対して解は $f=0$ のみ」）と、本研究の新しい条件（「$t^{i\gamma}$ の形の解が存在しない」）を組み合わせることで、以下の論理的帰結が得られます。

  $0 < \delta < 1$ ($\delta \neq 1/2$) において、積分方程式を満たす有界可測関数が $f=0$ であることと、その方程式が $f(t)=t^{i\gamma}$ の形の解を持たないことは同値である。

4. 意義 (Significance)

• 問題の単純化: リーマン予想の検証を、広範な関数空間における「唯一性」の問題から、特定の振動関数 $t^{i\gamma}$ の「非存在性」の問題へと変換しました。これにより、解の構造をより具体的に捉える道が開かれました。
• Salem 方程式の深化: 1953 年の Salem の結果を、解の「型」に注目することで再解釈し、積分方程式理論と数論的零点の関係をより明確に結びつけました。
• 将来的なアプローチ: この同値性は、特定の関数形（$t^{i\gamma}$）に対する積分方程式の性質を調べることで、リーマン予想への新たなアプローチ（数値的検証や解析的証明）を提供する可能性があります。

要約すると、この論文は、リーマン予想が「特定の振動関数 $t^{i\gamma}$ が Salem 積分方程式の解とならないこと」と同値であることを示すことで、古典的な同値性をより構造的に明確化した点に意義があります。