[論文レビュー] On theorems of Chernoff and Ingham on the Heisenberg group

Sayan Bagchi, Pritam Ganguly+2 more|arXiv (Cornell University)|Sep 29, 2020

Mathematical Analysis and Transform Methods参考文献 24被引用数 6

ひとこと要約

本稿では、ヘイゼンベルク群上のサブラプラシアンに対して、チェルノフの定理の類似を確立し、演算子値フーリエ変換に対するインガムの不確定性原理のバージョンを証明する。主な結果は、減少関数 Θ(λ) に関する積分条件を用いて、コンパクトに台を持つ関数のフーリエ変換の最適な崩壊速度を特徴づけるものであり、ヘルメート半群の推定とスペクトル論を用いて、非可換なヘイゼンベルク群の設定へ古典的結果を拡張する。

ABSTRACT

We prove an analogue of Chernoff's theorem for the sublaplacian on the Heisenberg group and use it prove a version of Ingham's theorem for the Fourier transform on the same group.

研究の動機と目的

• ヘイゼンベルク群上のサブラプラシアンに対してチェルノフの定理を拡張し、スペクトル解析のための関数計算フレームワークを提供すること。
• ヘイゼンベルク群上の演算子値フーリエ変換に対してインガムの不確定性原理のバージョンを確立し、コンパクトに台を持つ関数のフーリエ変換の崩壊を特徴づけること。
• フーリエ変換の崩壊を、定数の崩壊から関数 $ \Theta(\lambda) $ によって制御される可変の崩壊に置き換えるために、ヘルメート半群 $ e^{-aH(\lambda)} $ を用いること。
• もし $ \int_1^\infty \Theta(t)t^{-1}dt < \infty $ ならば、非自明なコンパクトに台を持つ関数が存在し、そのフーリエ変換のノルムが $ \|\widehat{f}(\lambda)\|_{HS} \leq C|\lambda|^{n/2}e^{-|\lambda|\Theta(|\lambda|)} $ を満たすことの証明。
• 逆に、積分が発散するならば、関数 $ f $ が任意の開集合で消えると、$ f \equiv 0 $ であることが示され、条件の鋭さが確立される。

提案手法

• 1パラメータの作用素の半群を構成し、そのスペクトル的性質を解析することで、ヘイゼンベルク群上のサブラプラシアンに対してチェルノフの定理を適応する。
• 演算子値設定におけるフーリエ変換の崩壊をモデル化するために、ヘルメート半群 $ e^{-aH(\lambda)} $ を用い、ここで $ H(\lambda) = -\Delta_{\mathbb{R}^n} + \lambda^2|x|^2 $ である。
• スペクトル論と拡大変換技術を適用：$ \delta_r F(z,t) = F(rz, r^2 t) $ を定義し、変換則 $ \widehat{\delta_r F}(\lambda) = r^{-(2n+2)} d_r \circ \widehat{F}(r^{-2}\lambda) \circ d_r^{-1} $ を導出する。
• 近似恒等元の族 $ F_\varepsilon(x) = \varepsilon^{-(2n+2)} \delta_\varepsilon^{-1} F(x) $ を構成し、$ \widehat{F}_\varepsilon(\lambda)^* \widehat{F}_\varepsilon(\lambda) \leq C e^{-2\Psi_r(\sqrt{H(\lambda)})\sqrt{H(\lambda)}} $ を満たす。ここで $ \Psi_r(y) = \frac{1}{r}\Psi(y/r) $ である。
• 径対称関数とユニタリ作用 $ R_\sigma $ の構造を用いて、サブラプラシアンの定義域に dense な関数の集合を生成し、集合 $ V = \{ R_\sigma \circ \delta_r (f * F_\varepsilon) \} $ が稠密性および非消滅条件を満たすことを保証する。
• スペクトル崩壊と擬解析的性質を結びつけるために、$ \sum_{m=1}^\infty \| \mathcal{L}^m(f * F_\varepsilon) \|_{L^2}^{-1/(2m)} = \infty $ という条件を用い、$ f * F_\varepsilon \in D_{St}(A) $ を示す。

実験結果

リサーチクエスチョン

• RQ1 チェルノフの定理をヘイゼンベルク群上のサブラプラシアンに拡張することは可能か？ これにより、本質的自己共役性の定義域が特徴づけられるか？
• RQ2 ヘイゼンベルク群上でのコンパクトに台を持つ関数のフーリエ変換の最適な崩壊速度は何か？
• RQ3 関数 $ \Theta(\lambda) $ が $ \int_1^\infty \Theta(t)t^{-1}dt < \infty $ を満たすとき、フーリエ変換の崩壊とその積分性の関係は何か？
• RQ4 関数が任意の開集合で消えると、そのフーリエ変換の崩壊が与えられたとき、それが恒等的にゼロであることを示す条件は何か？
• RQ5 ヘルメート半群は、ヘイゼンベルク群上での演算子値設定におけるフーリエ変換の崩壊をモデル化し、特徴づけるのに用いられるか？

主な発見

• ヘイゼンベルク群上のサブラプラシアンに対して、チェルノフの定理の類似が確立され、系列 $ \sum_{m=1}^\infty \| \mathcal{L}^m(f * F_\varepsilon) \|_{L^2}^{-1/(2m)} $ の発散を用いた、本質的自己共役性のスペクトル的基準が得られた。
• もし $ \int_1^\infty \Theta(t)t^{-1}dt < \infty $ ならば、$ \mathbb{H}^n $ 上に非自明でコンパクトに台を持つ連続関数 $ f $ が存在し、$ \|\widehat{f}(\lambda)\|_{HS} \leq C|\lambda|^{n/2}e^{-|\lambda|\Theta(|\lambda|)} $ を満たす。
• 逆に、もし $ \int_1^\infty \Theta(t)t^{-1}dt = \infty $ ならば、フーリエ変換のノルムが $ \|\widehat{f}(\lambda)\|_{HS} \leq C|\lambda|^{n/2}e^{-|\lambda|\Theta(|\lambda|)} $ を満たす任意の関数 $ f $ が、ある開集合で消えると、恒等的にゼロである。
• 崩壊条件は鋭い：積分の発散は、関数の台から群全体への拡張の一意性の必要十分条件である。
• 証明は、回転 $ R_\sigma $、拡大 $ \delta_r $、および近似恒等元 $ F_\varepsilon $ を用いて、$ D_{St}(A) $ に稠密な関数の集合 $ V \subset $ を構成することに依拠しており、その線形包が稠密であり、本質的自己共役性に矛盾することを示している。
• ヘルメート半群 $ e^{-aH(\lambda)} $ の使用により、崩壊がスペクトル関数に基づいて測定され、定数の崩壊から関数 $ \Theta(\lambda) $ によって制御される可変の崩壊に置き換えられ、古典的不確定性原理が一般化された。