Analytic umbral transmutations and Bessel moments

技術要約：解析的アンブラル変換とベッセル・モーメント

問題提起
本論文は、第1種ベッセル関数の積を含む積分、具体的には「ベッセル・モーメント」として定義される $I_n = \int_{-\infty}^{\infty} J_0(x)^n dx$ の評価を扱っている。著者らは、古典的な「形式的指標アンブラル計算（formal indicial umbral calculus）」のアプローチにおける決定的な限界を特定している。この形式手法は、ベッセル関数の積を、和の分数乗を含むガウス積分へと変換することには成功しているが、それはしばしば物理的に関連のあるパラメータ値において収束に失敗する超幾何級数展開に依存している。

主要な例として、立方モーメント $I_3(1,1,1) = \int_{-\infty}^{\infty} J_0(x)^3 dx$ が挙げられる。素朴な形式的展開は、アペル $F_4$ 超幾何級数をもたらす。しかし、この級数の収束領域（$\sqrt{|x|} + \sqrt{|y|} < 1$）は、すべてのパラメータが等しい等辺の場合を明示的に除外している。その結果、形式的手法は、積分が有限であり既知の特定の定数に収束するという事実にもかかわらず、積分が発散するか、あるいは未定義であるという誤った示唆を与えてしまう。本論文は、形式的な級数から厳密な解析的枠組みへと移行することで、この障害を解決することを目的としている。

手法
著者らは、「解析的アンブラル・フレームワーク」（先行研究 [5] に基づく）を用いて、アンブラル演算子 $u$ を単なる形式的な記号としてではなく、ボレル加法的複素変数における汎関数として再解釈する手法を採用している。核心となる手法は以下の通りである：

1. 解析的アンブラル・ペアリング： 形式的な演算子関数 $f(\zeta u)$ は、合成された汎関数 $f(\zeta e^u)$ へと写像される。基底状態 $\phi(t)$ とのペアリングは、メリン・バーンズ積分を介して以下のように定義される：
   $$F(\zeta) = \langle f(\zeta e^u), \phi \rangle = \frac{1}{2\pi i} \int_{C_t} J_f(t; \zeta) \phi(t) dt$$
   ここで、$J_f$ はメリン変換から導出されるスペクトル・ジャンプ関数である。

2. 選択原理としてのラマヌジャンのマスター定理： 著者らは、解析的アンブラル変換を反転させるために、ラマヌジャンのマスター定理を利用している。この定理は、与えられたベッセル積に関連する「スペクトル基底状態（または「時計」）」$\Phi(t)$ を特定するための選択原理として機能する。具体的には、$F(y) = J_0(\sqrt{y})^\alpha$ である場合、基底状態は $\Phi_\alpha(t) = \mathcal{M}[F](-t) / \Gamma(-t)$ として特定される。

3. クロック（時計）の因数分解： ベッセル関数の積は、「クロック（スペクトル状態）」へと分解される。

   • $J_0$ の基本クロックは $\phi_1(t) = 1/\Gamma(1+t)$ である。
   • $J_0^2$ の平方クロックは $\phi_2(t) = \Gamma(2t+1)/\Gamma(t+1)^3$ である。
   • 高次の冪は、これらの異なるクロックの縮退として扱われる。

4. メリン・バーンズ分解： 空間積分（ガウス積分）は代数的な核（例：$(e^u + e^v)^{-1/2}$）をもたらす。これらの核はメリン・バーンズ積分を用いて展開され、個別のクロックを単一の効果的なスペクトル状態、あるいは多変数バーンズ関数へと融合させる。

主要な貢献と結果

• 立方モーメント ($n=3$) の解決： $J_0^3 = J_0 \cdot J_0^2$ と因数分解することにより、著者らは基本クロック $\phi_1$ と平方クロック $\phi_2$ を結合させている。その結果、積分はミーヤー $G$ 関数に等価な一次元のバーンズ積分へと簡約される：
  $$I_3 = \frac{1}{\sqrt{\pi}} G_{3,3}^{2,1}\left( \frac{1}{4} \middle| \begin{matrix} 1/2, 1/2, 1/2 \\ 0, 0, 0 \end{matrix} \right)$$
  この解析的連続は、発散していたアペル級数が、単に大域的に意味のある恒等式の局所的な表現に過ぎなかったことを証明し、古典的な有限値 $\frac{\Gamma(1/6)^2}{2^{2/3}\sqrt{3}\pi^{3/2}\Gamma(5/6)}$ を回収する。

• スケーリングされた立方積： 手法は $I(a,b) = \int J_0(ax)J_0(bx)^2 dx$ へと拡張されている。スケール比への依存性は、単一の効果的な一クロック変換関数 $H(\zeta)$ にエンコードされており、これもまたミーヤー $G$ 関数である。

• 四次モーメント ($n=4$)： 対称的なグルーピング $J_0^4 = J_0^2 \cdot J_0^2$ は、二つの平方クロックの縮退をもたらす。これは一変数のミーヤー $G$ 関数へと帰着する。この関数の留数展開（右側へ輪郭を閉じる）は、中心二項係数と調和数を含む急速に収束する級数を生み出し、$I_4$ の新しい数値的表現を提供する。

• 五次モーメント ($n=5$) および高次ランク： 本論文は、$n=5$ が構造的な転換点であることを示している。$J_0^5 = J_0^2 \cdot J_0^2 \cdot J_0$ のグルーピングには、三項のクロック融合が必要となる。結果として得られる核 $(e^u + e^v + e^w)^{-1/2}$ は、二変数のバーンズ積分を必要とする。有効な対象はもはや標準的なミーヤー $G$ 関数（ランク1）ではなく、二変数バーンズ関数である。著者らは、解析的表現は存在するものの、物理的な点 $(1,1)$ における素朴な留数展開は数値的に効率的ではないことを指摘しており、これは構造的な解析的表現と最も効率的な数値評価手法との間の乖離を浮き彫りにしている。

• 分数冪 ($n=\alpha$)： フレームワークは実数 $\alpha > 2$ に対して一般化されている。著者らは、モーメントがラマヌジャンによって選択されたスペクトル状態のメリン値であり続けることを示している。整数ケースでは、状態が有限のガンマ積へと崩壊することがあるが、分数ケースでは、有限の積ではない真に選択されたスペクトル状態が含まれるものの、解析的アンブラル解釈は依然として成立する。

意義と主張
本論文は、形式的な指標アンブラル計算から「メリン・バーンズ・アンブラル変換理論」への移行に対する厳密な正当化を提供すると主張している。その主な意義は以下の点にある：

1. 大域的 vs 局所的妥当性： アンブラル恒等式は、その特定の超幾何学的実現（アペル $F_4$ 級数など）が局所的な収束領域に制限されている場合でも、大域的に存在することを確立している。解析的フレームワークは、形式的級数が発散する場所においても正しい有限値を回収する。
2. 構造的階層： ベッセル・モーメントにおける階層を特定している：
   • $n=3, 4$：二項融合により、一変数ミーヤー $G$ 関数をもたらす。
   • $n=5$：三項融合により、高ランク（二変数）のバーンズ構造をもたらす。
3. 統一： 整数および分数モーメントを、ラマヌジャンのマスター定理がスペクトル基底状態の逆選択原理として機能する、単一の解析的パラダイムの下で統一している。

著者らは、解析的アンブラル法はすべてのモーメントに対して一貫した構造的表現を提供する一方で、$n=4$ から $n=5$ への移行は「ミーヤー $G$ 現象」の限界を画定しており、より高次のモーメントにはより複雑な多変数構造が必要となる、と結論づけている。