[論文レビュー] Uniqueness of the group Fourier transform on certain nilpotent Lie groups

Arup Chattopadhyay, Deb Kumar Giri+1 more|arXiv (Cornell University)|Jul 13, 2016

Mathematical Analysis and Transform Methods参考文献 20被引用数 3

ひとこと要約

この論文は、ヘイゼンベルク運動群および2段階の冪零リー群における群フーリエ変換の一意性に関する結果を確立している。可積分関数で台が有限な関数のフーリエ変換が有限ランクであるならば、その関数は恒等的にゼロでなければならない。この結果は、表現論と $ L^2 $-空間上の作用素のスペクトル解析を用いて、非アーベルな冪零群へのベンデリクス型不確定性原理の拡張を達成している。

ABSTRACT

In this article, we prove that if the group Fourier transform of certain integrable functions on the Heisenberg motion group (or step two nilpotent Lie groups) is of finite rank, then the function is identically zero. These results can be thought as an analogue to the Benedicks theorem that dealt with the uniqueness of the Fourier transform of integrable functions on the Euclidean spaces.

研究の動機と目的

• 非アーベルな2段階の冪零リー群へのベンデリクス型不確定性原理の拡張を図ること。特に、ヘイゼンベルク運動群を対象とする。
• このような群上で、コンパクトに台を持つまたは有限に台を持つ可積分関数の群フーリエ変換が恒等的にゼロになる条件を調査すること。
• フーリエ変換が有限ランクである条件を同定し、元の関数が消えることと関連付けること。
• 表現に付随する $ L^2 $-空間上の有限ランク作用素としてのフーリエ変換のスペクトル構造を調査すること。
• ユークリッド群およびヘイゼンベルク群の設定から得られた結果を、調和解析およびメタプレクティック表現を用いて、より一般の2段階の冪零リー群へ一般化すること。

提案手法

• ヘイゼンベルク群 $ \mathbb{H}^n $ の既約ユニタリ表現 $ \pi_\lambda $ を $ \lambda \in \mathbb{R}^* $ でパrameter化するために、ストーン＝フォンノイマンの定理を用いる。
• ユニタリ群 $ K = U(n) $ の作用に対する交換作用素を記述するため、メタプレクティック表現 $ \mu_\lambda(k) $ を用い、ヘイゼンベルク運動群 $ G = \mathbb{H}^n \ltimes U(n) $ 上での解析を可能にする。
• 群フーリエ変換を $ \hat{f}(\omega) = W_\omega(f^\omega) $ として定義し、$ L^2(\eta_\omega) $ 上のねじれ畳み込み作用素 $ W_\omega $ を通じて、$ f^\omega $ のスペクトル的性質と関連付ける。
• スペクトル定理を適用して、$ W_\omega(\bar{\tau}) $ を有限個のランク1射影の和に分解し、有限ランクであることから $ f^\omega = 0 $ が導かれる。
• プランシュレの定理と特殊ハーモニック関数 $ \phi_{\alpha\beta}^\lambda $ の性質を用いて、$ L^2 $-ノルムと台の条件を解析する。
• 作用素 $ T(\phi,\psi)(v) $ 及びそれと $ W_\omega $ の関係を用いて、積分恒等式を導出し、$ W\omega(\bar{\tau}) $ が有限ランクならば $ \tau \equiv 0 $ が導かれる。

実験結果

リサーチクエスチョン

• RQ1 ヘイゼンベルク運動群上で、コンパクトに台を持つまたは有限に台を持つ可積分関数の群フーリエ変換が恒等的にゼロになる条件は何か？
• RQ2 2段階の冪零リー群の文脈において、群フーリエ変換の有限ランク性が一意性を示すために利用できるか？
• RQ3 $ G = \mathbb{H}^n \ltimes U(n) $ 上でのフーリエ変換のスペクトル構造は、元の関数の台および消える条件とどのように関係するか？
• RQ4 2段階の冪零リー群上で、フーリエ変換が有限ランクである非自明な可積分関数は存在するか？
• RQ5 メタプレクティック表現は、ヘイゼンベルク群からヘイゼンベルク運動群への不確定性原理の拡張において、どのような役割を果たすか？

主な発見

• $ f \in L^1 \cap L^2(G) $ が $ \Sigma \subset \mathfrak{b} $ に台を持ち、その群フーリエ変換 $ \hat{f}(\omega) = W_\omega(f^\omega) $ が有限ランクならば、$ f = 0 $ である。
• $ f^\omega \in L^1 \cap L^2(\mathfrak{b}) $ が有限に台を持ち、$ W_\omega(f^\omega) $ が有限ランクならば、$ f^\omega = 0 $ であり、したがって $ f = 0 $ である。
• $ W_\omega(f^\omega) $ がランク1である場合、$ W_\omega(\bar{\tau}) $ を通じた解析により $ \tau \equiv 0 $ が得られ、$ f^\omega = 0 $ が示され、消える結果が証明される。
• $ W_\omega(f^\omega) $ の有限ランク条件は、$ \tau_y(x) $ の積分表現における核 $ K_y(\xi) $ が有限に台を持つことを強制し、すべての $ y $ に対して $ \tau_y \equiv 0 $ となる。
• $ W_\omega(\bar{\tau}) $ のスペクトル分解が有限個のランク1作用素の和として表されるならば、$ \tau $ は $ T(h_j, h_j) $ の有限和として表され、台の有限性から $ h_j $ がすべてゼロであることが導かれる。
• プランシュレの定理により、$ W_\omega(f^\omega) $ が有限ランクであり、$ f^\omega $ が有限に台を持つならば、$ \|f\|_{L^2}^2 = 0 $ であり、したがって $ f = 0 $ である。