Fourier inversion theorems for integral transforms involving Bessel functions

技術的概要：ベッセル関数を含む積分変換に対するフーリエ逆変換定理

問題提起
本論文は、ベッセル関数を含む積分変換である一般化されたウェーバー・オア変換の逆変換定理の導出と解析を取り扱っている。フーリエ変換は通常、自明な核を持つ微分作用素のスペクトル分解に基づいているが、著者は特にゼロ固有値に対応する固有関数を持つ非自明な核を有する作用素は、標準的なフーリエの性質を乱すことを指摘している。そのような場合、一般化された固有関数の系にゼロ固有値に関連する通常の固有関数を追加して補完しない限り、標準的な逆変換公式とプランシュレルの定理は成立しない。

歴史的に、ウェーバー・オア変換の逆変換定理（1873 年にウェーバーによって最初に発表され、後にティッチマーシュによって 1923 年に発表された）は、元の関数 $f$ に関する有界変動の仮定に依存していた。本論文は、フーリエ解析においてより典型的である可積分関数のクラス（$f \in L^1 \cap L^2$）へとこれらの結果を拡張し、非自明な核を持つ変換のケースを厳密に扱うことを目指している。

手法
著者は、関数解析と偏微分方程式（PDE）の間の逆相互作用を採用している。積分変換を主要な対象として扱うのではなく、円の外側（$r > r_0$）における熱方程式の初期境界値問題を解析することで、ウェーバー・オア変換の性質を導出している。

手法は以下の通り進行する：

1. 作用素の関連付け：変換は作用素 $\Delta_k = \frac{1}{r}\frac{\partial}{\partial r}(r\frac{\partial}{\partial r}) - \frac{k^2}{r^2}$ と関連付けられる。
2. ラプラス変換：熱方程式 $\partial_t w - \Delta_k w = 0$ は、ラプラス変換を用いて修正されたベッセル方程式（パラメータを伴うポアソン方程式）に変換される。
3. レゾルベント解析：解はレゾルベント $R(\tau) = (\Delta_k - \tau I)^{-1}$ を用いて構成される。著者は負の実軸に沿ったレゾルベントの分岐切開（連続スペクトル）を解析し、$\tau = 0$ における挙動を調査する。
4. 輪郭積分：逆ラプラス変換は、分岐切開の周りをハンケル型の輪郭に変形して評価される。この過程により、連続スペクトルの寄与（積分変換につながる）と、非自明な核が存在する場合に極めて重要な $\tau = 0$ における留数が分離される。
5. 漸近解析：ベッセル関数（$J_k, Y_k, I_k, K_k$）の漸近形を用いて、境界を確立し、分岐切開をまたぐ明示的なジャンプ不連続性を導出する。これにより積分変換の核が得られる。

主要な貢献と結果

1. 古典的ウェーバー・オア変換（$W_{k,k}$）：

   • 本論文は、条件 $f\sqrt{r} \in L^1(r_0, \infty) \cap L^2(r_0, \infty)$ の下で $W_{k,k}$ に対する逆変換定理を証明する。
   • この変換については核が自明であり、標準的な逆変換公式がほとんど至る所で成立することが確立される：
     $$f(r) = W^{-1}_{k,k}[W_{k,k}[f]](r)$$
   • プランシュレルの恒等式が証明される：$\|f\|_{L^2} = \|W_{k,k}[f]\|_{L^2}$。

2. 一般化されたウェーバー・オア変換（$W_{k,k\pm1}$）：

   • 本論文は、ロビン型境界条件に対応する指数 $k, k\pm1$ を持つ変換を調査する。
   • 非自明な核：特定の $k$ の範囲（$W_{k,k-1}$ については $k > 1$、$W_{k,k+1}$ については $k < -1$）において、作用素 $\Delta_k$ が $r^{-k}$ または $r^k$ の形の固有関数を含む非自明な核を持つことが示される。
   • 修正された逆変換公式：核の存在は、逆変換公式に追加項を必要とする。$k > 1$ の場合、逆変換は以下のように与えられる：
     $$f(r) = W^{-1}_{k,k-1}[W_{k,k-1}[f]](r) + 2(k-1)r_0^{2(k-1)}r^{-k} \int_{r_0}^\infty s^{-k+1}f(s)ds$$
   • プランシュレル・パルセヴァルの恒等式：標準的なプランシュレルの等式は、ゼロ固有値に対応するフーリエ係数の二乗和を含む恒等式に置き換えられる：
     $$\|f\|^2 = \|W[f]\|^2 + \sum (f, e_k)^2$$
     これはエネルギー保存を維持するために核への射影を追加する必要性を確認するものである。

3. ベッセル型不等式：

   • 補題として、一般化された変換に対するベッセル型不等式が確立され、変換された関数のノルムが元の関数のノルムによって有界であることが示される。

意義と主張
本論文は、古典的および一般化されたウェーバー・オア変換の研究に対する「新しいアプローチ」を提供すると主張している。その主な意義は以下の点にある：

• 導出の完全性：有界変動に対して有効な古典的な点ごとの等式に代わり、ほとんど至る所で成立する恒等式へと置き換えることで、可積分関数のクラス（$L^1 \cap L^2$）内での逆変換公式の完全な導出を提供する。
• 非自明な核の扱い：非自明な核を持つ作用素のスペクトル分解を明示的に扱い、プランシュレル・パルセヴァル型の恒等式を満たすためには、連続スペクトルをゼロ固有値に対応する固有関数で補完する必要があることを実証する。
• 流体力学への応用：著者は、これらの変換（特に $W_{k,k-1}$）が既に外部領域における非定常ストークスおよびナビエ・ストークス問題の解決に応用されており、実質的に「流体力学的フーリエ変換」として機能していると指摘している。本論文の結果は、これらの応用に必要とされる厳密な理論的基盤（可逆性とエネルギー保存）を提供する。

本論文は、確立された数学的枠組みを超えて新しい実験的応用や将来の含意を提案するものではなく、むしろこれらの特定の積分変換に対する可逆性とスペクトル性質の厳密な証明に焦点を当てている。