Quadratic-Phase Fourier--Bessel Transform: definitions, properties and uncertainty principles

技術要約：二次位相フーリエ・ベッセル変換：定義、性質、および不確定性原理

問題提起と背景
古典的なフーリエ変換は基礎的ではあるものの、信号の定常性を仮定しているため、チャープ信号、レーダーパルス、光学波面のような非定常信号の解析には限界がある。これに対処するため、分数フーリエ変換や線形カノニカル変換といった一般化を通じて、この分野は発展してきた。より最近では、指数カーネルを介して二次および線形位相項を組み込んだ統一的な枠組みとして、二次位相フーリエ変換（QPFT）が導入された。

しかし、二次位相の枠組みをベッセル領域へと拡張することには課題が残っており、これは放射対称性や特定の境界条件を伴う問題において不可欠である。本論文は、QPFTの柔軟性とベッセル変換の構造的特性を統合した**二次位相フーリエ・ベッセル変換（QPFBT）**を定義し、解析する必要性に取り組むものである。本研究の目的は、この新しい演算子の基礎となる数学的基盤（基本特性、演算計算（平行移動および畳み込み）、および不確定性原理を含む）を確立することにある。

手法
著者らは、半直線 $\mathbb{R}^+$ 上の可積分関数 $h$ に対するQPFBT（$B^{a,b,c}_{d,e,\gamma}$ と表記）を、5つの実パラメータ（$b \neq 0$ である $a, b, c, d, e$）とインデックス $\gamma > -1/2$ に依存するものとして定義する。この変換は、正規化されたベッセル関数 $j_\gamma$ と二次位相指数項を含む積分カーネルを用いて定義される：
$$B^{a,b,c}_{d,e,\gamma}[h](t) = \frac{c_\gamma}{(ib)^{\gamma+1}} \int_0^\infty J^{a,b,c}_{d,e,\gamma}(t, s) h(s) s^{2\gamma+1} ds$$
ここで、カーネル $J^{a,b,c}_{d,e,\gamma}$ は位相変調とベッセル関数を組み合わせたものである。

手法は、以下の分析ステップを通じて進行する：

1. 簡約解析： 著者らは、特定のパラメータ値を選択することで、QPFBTが線形カノニカルフーリエ・ベッセル変換、分数フーリエ・ベッセル変換、および古典的なフーリエ・ベッセル変換を含む既知の変換に帰着することを実証する。
2. 関数解析： 変換は、$L^p_\gamma(\mathbb{R}^+)$ および偶関数 $S^*(\mathbb{R})$ のシュワルツ空間を含む特定の関数空間内で研究される。カーネルの境界およびフビニの定理を用いて、連続性、リーマン・ルベークの補題、および可逆性といった主要な性質が証明される。
3. 演算計算： 調和解析を容易にするため、著者らは一般化平行移動演算子（$T^{a,b,d}_{t,\gamma}$）および一般化畳み込み積（$\star$）を定義する。これらは、標準的なフーリエ・ベッセル変換に関連する平行移動演算子のカーネルを用い、二次位相因子によって修正することで構築される。
4. 不確定性原理： 開発された枠組みを適用して、不確定性原理、特にドノホ・スタークの定理をQPFBTの設定に適応させる。これには、新しい変換の文脈における時間限定関数および帯域限定関数の定義、および関連する射影演算子のヒルベルト・シュミットノルムの解析が含まれる。

主要な貢献と結果
本論文は、以下の核となる結果を確立している：

• 基礎的性質：

  • 連続性と有界性： 変換は $L^1_\gamma(\mathbb{R}^+)$ から $C^*_{0}(\mathbb{R})$（無限遠で消滅する偶連続関数）へ連続的に写し、特定のノルム不等式を満たす。
  • リーマン・ルベークの補題： $L^1_\gamma$ 関数の変換は無限遠で消滅する。
  • 可逆性： 明示的な逆変換公式が導出され、パラメータ（$a, b, c, d, e \to -c, -b, -a, -e, -d$）を反転および置換することで、変換が可逆であることが示される。
  • パーセバルの等式： 著者らは、この変換が $L^2_\gamma(\mathbb{R}^+)$ 上の等長写像であり、$L^2$ ノルムを保存すること（プルンシャレルの定理）を証明する。

• 演算ツール：

  • 平行移動演算子： 一般化平行移動演算子が定義され、それが $1 \le p \le \infty$ において $L^p_\gamma(\mathbb{R}^+)$ 上の縮小写像であることが証明される。
  • 畳み込み積： 平行移動演算子を介して畳み込み積が定義される。論文では、その交換法則、結合法則、およびQPFBT畳み込みに関するヤングの不等式を確立しており、これにより $L^p$ 空間と $L^q$ 空間の関数の畳み込みが、対応する $L^r$ 空間内に留まることが保証される。

• 不確定性原理：

  • ドノホ・スターク型： 本論文はドノホ・スターク型の不確定性原理を証明する。近似的に時間限定であり、かつ近似的に帯域限定である関数について、時間支持集合（$M$）と周波数支持集合（$N$）の測度の積に対する下限を確立する。この下限は、パラメータ $b$ および $\gamma$、ならびに近似誤差 $\epsilon_M$ および $\epsilon_N$ に依存する。
  • 集中不等式： 第2の不確定性原理が $L^1_\gamma \cap L^p_\gamma$ 内の関数に対して導出され、関数のノルムと変換のノルムを、それぞれの支持集合の測度に関連付ける。

意義と主張
本論文は、二次位相フーリエ解析の枠組みを、QPFBTを導入することで拡張し、二次位相変調とベッセル構造を統一することを主張している。本研究の意義は以下の点にある：

1. 一般化： 複数のよく知られた積分変換を特殊なケースとして包含する、より広く柔軟な変換の枠組みを提供する。
2. 解析ツール： 連続性、反転、パーセバルの等式、および畳み込み定理を確立することにより、この一般化された領域における調和解析に必要な解析的ツールを提供する。
3. 理論的拡張： ドノホ・スターク不確定性原理の証明は、古典的な結果をこの新しい設定へと拡張し、時間領域とQPFBT周波数領域における信号の同時局在化に関する理論的限界を提示する。

著者らは、これらの結果が一般化されたベッセル領域における信号処理および光学への将来の応用への基礎を築くものであると述べているが、現在の論文は厳密に、変換の理論的開発とその性質に焦点を当てている。