The Parabolic Mellin Transform: Gamma and Zeta Integral Representations

技術要約：放物線型メリン変換：ガンマ関数およびゼータ関数の積分表示

問題提起
本論文は、ガンマ関数、その逆数、および様々なゼータ型の関数（フルヴィッツ・ゼータ、リーマン・ゼータ、ディリクレ・エータ関数）を、複素積分を通じて表現することを扱っている。古典的な表現法は、ハンケル積分路（負の実軸を回るキイホール型の積分路）やラプラス積分（垂直線積分）に依存することが多いが、これらの手法には明確な限界がある。ハンケル積分路は幾何学的に複雑であり、また逆ガンマ関数のためのラパス積分は振動による打ち消しに依存するため、定義域の一部で条件収束となる。著者らは、ガウス型減衰を利用して解析を簡略化し、ガンマ関数とゼータ関数の共通の表記を提供することで、これらを絶対収束する垂直線積分として表現する統一的な枠組みを求めている。

手法
中心となる手法は、変数変換 $u = w^2$ によって定義される**放物線型メリン変換（Parabolic Mellin Transform: PMT）**を導入することである。

1. 定義: 写像 $w \mapsto w^2$ の像上で定義された関数 $f$ に対し、PMTは以下のように定義される：
   $$P_\sigma[f](z) = \int_{-\infty}^{\infty} w^{2z} f(w^2) \, dt, \quad \text{ただし } w = \sigma + it, \sigma > 0.$$
   置換 $u = w^2$ により、垂直線 $\text{Re}(w) = \sigma$ は、$u$ 平面において頂点を $\sigma^2$ とする左開型の放物線経路 $C_\sigma$ に写される。
2. ガウス型減衰: このパラメータ化の重要な特徴は、指数カーネル $e^u$ が $e^{w^2} = e^{\sigma^2 - t^2}$ となることである。これにより、積分路はガウス型減衰（$e^{-t^2}$）を持つ垂直線積分へと変換され、すべての $z \in \mathbb{C}$ において絶対収束が保証され、積分記号下での正則性が可能となる。
3. 積分路の変形: 著者らはコーシーの定理を用いて、放物線経路 $C_\sigma$ を標準的なハンケル積分路へと変形させる。これにより、関数の解析接続の性質を変えることなく、PMTと古典的なハンケル表現との間の等価性を確立している。
4. スケーリングと合成: この枠組みは、ガウス変換をディリクレ級数に関連付けるために、スケーリング恒等式（$\alpha^{-s}$）とディリクレ合成を用い、この変換をゼータ関数へと結びつけている。

主要な貢献および結果

• ガウス変換 ($G(z)$):
  本論文は、ガウスカーネル $e^u$ のPMTが、反射された引数におけるガンマ関数とその逆数の両方を表す全関数 $G(z)$ を与えることを証明している。具体的には、$s = z + 1/2$ とすると：
  $$G(z) = \frac{\pi}{\Gamma(1-s)} = \Gamma(s)\sin(\pi s).$$
  これは、$1/\Gamma(s)$ のための古典的なハンケル表現の放物線経路による形式を提供している。ラプラス積分とは異なり、この表現はすべての $z$ に対して絶対収束する。

• ゼータ型積分表示:
  ガウス変換と、メルモルフィックなカーネルである $\frac{e^{au}}{1-e^u}$ および $\frac{e^{au}}{1+e^u}$ を組み合わせることで、著者らはフルヴィッツ・ゼータ関数 $\zeta(s, a)$、リーマン・ゼータ関数 $\zeta(s)$、およびディリクレ・エータ関数 $\eta(s)$ の積分表示を導出している。
  基本となる恒等式は以下の通りである：
  $$R(z, a) = G(z)\zeta(s, a) \quad \text{および} \quad D(z, a) = G(z)\eta(s, a),$$
  ここで $R$ と $D$ は、それぞれのカーネルのPMTである。これらの恒等式は、有理型として成立し、$G(z)$ の零点（$z = 1/2 + n$）はゼータ関数の極または除去可能な特異点に対応する。

• 統一された変換辞書:
  本論文は、ガンマ型の関数とゼータ型の関数を単一の変換表記の下に統一する「辞書」（表1）を構築している。この辞書には、スケーリング、単項式のシフト、微分、および対数シフトの操作が含まれており、これらはすべてPMTの枠組み内で表現されている。

• クリティカル・ストリップ問題の再定式化:
  本論文は、PMTの座標（$z = s - 1/2$）を用いることで、主要な予想の厳密な再定式化が可能であることを示している：

  • リーマン仮説 (RH): $G(z)$ は帯域 $|\text{Re}(z)| < 1/2$ 内に零点を持たないため、$\zeta(s)$ の非自明な零点は、$R(z)$ のこの帯域内における零点と正確に一致する。したがって、RHは「$R(z)$ の $|\text{Re}(z)| < 1/2$ 内のすべての零点が虚軸（$\text{Re}(z) = 0$）上に存在する」という主張と等価である。
  • リンデレフ仮説: この仮説は、放物線積分 $R(i\tau)$ の増大条件として再定式化される。具体的には、$|G(i\tau)| \sim \sqrt{\pi} e^{\pi|\tau|/2}$ であるため、リンデレフ仮説は $R(i\tau) = O_\epsilon(e^{\pi|\tau|/2}(1+|\tau|)^\epsilon)$ であることと等価である。

意義および主張
著者らは、PMTはガンマ関数やゼータ関数の新しい解析接続を提供するものではなく、また新たな零点のない領域や改善された増大度を与えるものでもないことを明言している。むしろ、その意義は再編成と統一にある：

1. パラメータ化: 古典的なハンケル型の積分を、ガウス型減衰を持つ垂直線積分へと変換する放物線的パラメータ化（$u=w^2$）によって表現する。
2. 収束性: 条件収束する振動積分（ラプラス公式など）を、絶対収束するガウス型減衰積分に置き換える。
3. 統一: 共通の正規化因子（$G(z)$）をガンマ型とゼータ型の恒等式の両方に提供し、クリティカル・ストリップをゼロに中心化させ、関数の比較のための表記を簡素化する。
4. 等価性: リーマン仮説およびリンデレフ仮説を、放物線型積分路の零点と増大度の観点から等価な形式で再定式化し、明示的な指数因子を分離することで、残りの積分の挙動に焦点を当てる。

本論文は、PMTが「変換辞書」として機能し、ガンマ型の正規化、ゼータ型のカーネル、およびクリティカル・ライン上の増大度を、単一の解析的表記の中で比較することを容易にすると結論付けている。