[論文レビュー] On the Clifford-Fourier transform

Hendrik De Bie, Yuan Xu|arXiv (Cornell University)|Mar 2, 2010

Algebraic and Geometric Analysis参考文献 11被引用数 11

ひとこと要約

本稿は、偶数次元の ℝᵐ におけるクライフォー・フーリエ変換の核について、初めて明示的で閉形式の表現を提供する。この核は、ベッセル関数の有限和として表現される。著者らは一般化された翻訳作用素と畳み込み構造を用いて逆変換公式を導出し、変換のユニタリ性を確立するとともに、osp(1|2) リー超代数の枠組みを用いて、クライフォー代数値関数への古典的フーリエ解析の拡張を実現する。

ABSTRACT

For functions that take values in the Clifford algebra, we study the Clifford-Fourier transform on $R^m$ defined with a kernel function $K(x,y) := e^{\frac{i π}{2} Γ_{y}}e^{-i }$, replacing the kernel $e^{i }$ of the ordinary Fourier transform, where $Γ_{y} := - \sum_{j

研究の動機と目的

• 高次元ユークリッド空間におけるクライフォー・フーリエ変換の積分核の明示的・閉形式表現を導出すること。
• m=2 の場合を除き、クライフォー・フーリエ変換の明示的核を求める長年の課題を解決すること。
• 一般化された翻訳作用素と畳み込み構造を用いて、クライフォー・フーリエ変換の逆変換公式を確立すること。
• osp(1|2) リー超代数の枠組みを活用して、クライフォー代数値関数への古典的フーリエ解析の拡張を実現すること。

提案手法

• 核は $ K_{-}(x,y) = e^{-i\frac{\pi}{2}\Gamma_{\underline{y}}}e^{-i\langle\underline{x},\underline{y}\rangle} $ として定義され、ここで $ \Gamma_{\underline{y}} $ はリー代数 $ \mathfrak{osp}(1|2) $ を生成する微分作用素である。
• $ \Gamma_{\underline{y}} $ の作用を用いた核の級数展開が導かれ、その後、群表現論を用いて簡略化される。
• 偶数次元 m に対して、核は第一種ベッセル関数 $ J_{\nu} $ の有限和として表現され、次元および径方向変数に明示的な依存関係を示す。
• 一般化された翻訳作用素 $ \tau_y f(x) $ は核を用いて定義され、クライフォー代数値関数上の非可換畳み込み $ f *_{Cl} g $ を構成する。
• 熱核 $ \phi_t $ を用いて逆変換公式が証明され、$ t \to 0 $ のとき $ \phi_t *_{Cl} f \to f $ がほとんど everywhere で成り立つことが示され、ドミネートド収束定理に依拠する。
• 畳み込み構造が、f が径対称であるとき $ \mathcal{F}_-(f *_{Cl} g) = \mathcal{F}_-f \cdot \mathcal{F}_-g $ を満たすことが示され、逆変換の証明が可能になる。

実験結果

リサーチクエスチョン

• RQ1 次元 $ m $ が偶数のとき、クライフォー・フーリエ変換の積分核 $ K_{-}(x,y) $ の明示的形は何か？
• RQ2 クライフォー・フーリエ設定において、一般化された翻訳作用素と畳み込みをどのように定義すれば逆変換が可能になるか？
• RQ3 熱核近似を用いてクライフォー・フーリエ変換を逆転できるか。その条件は何か？
• RQ4 偶数次元において、核は特殊関数、特にベッセル関数の観点からどのように簡略化されるか？
• RQ5 osp(1|2) リー超代数は、変換およびその核の構造に果たす役割は何か？

主な発見

• 偶数次元 $ m $ に対して、核 $ K_{-}(x,y) $ は明示的に、$ \nu = \frac{m}{2} - 1 $ を用いたベッセル関数 $ J_{\nu} $ の有限和として与えられ、閉形式の表現が得られる。
• 関数が $ B(\mathbb{R}^m) \otimes \mathcal{C}l_{0,m} $ に属する場合、熱核近似を用いてクライフォー・フーリエ変換の逆変換公式が確立され、$ \mathcal{F}_-f \in B(\mathbb{R}^m) \otimes \mathcal{C}l_{0,m} $ であるという条件下で成り立つ。
• 一般化された畳み込み $ f *_{Cl} g $ は、f が径対称であるとき $ \mathcal{F}_-(f *_{Cl} g) = \mathcal{F}_-f \cdot \mathcal{F}_-g $ を満たし、この条件下で畳み込みは可換である。
• 変換は径対称性を保存する：f が径対称であれば、$ \mathcal{F}_-f $ も径対称であり、$ \mathcal{F}_-f(x) $ はすべてのクライフォー代数要素と可換である。
• 核の表現は、リー代数 $ \mathfrak{osp}(1|2) $ を生成する作用素 $ \Gamma_{\underline{y}} $ の作用を通じて導かれる。これにより、変換と核は最小表現および径方向変形と関連づけられる。
• 本手法により、m > 2 の偶数次元に対し、核を体系的に計算する方法が提供され、m=2 または反復的構成に限られていた従来の結果が拡張される。