[論文レビュー] A Frequency Space for the Heisenberg Group

Hajer Bahouri, Jean-Yves Chemin+1 more|arXiv (Cornell University)|Sep 13, 2016

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

ひとこと要約

本稿では、ヒルベルト空間上のフーリエ変換を、完備化された周波数集合 $\widehat{\mathcal{H}}_d = \mathbb{N}^d \times \mathbb{N}^d \times \mathbb{R} \setminus \{0\}$ 上の一様連続関数として再定義することにより、ヘイゼンベルク群における新規な周波数空間を導入する。ヘルミート関数と作用素ノルムを活用することで、縦方向周波数 $\lambda \to 0$ の極限におけるフーリエ変換の明示的漸近的記述が得られ、変数に依存しない滑らかな関数へも変換が拡張可能となり、逆変換、プランシュレルの定理、畳み込みに関する恒等式を含む、ユークリッド空間におけるフーリエ解析に類似した枠組みを構築する。

ABSTRACT

We here revisit Fourier analysis on the Heisenberg group H^d. Whereas, according to the standard definition, the Fourier transform of an integrable function f on H^d is a one parameter family of bounded operators on L 2 (R^d), we define (by taking advantage of basic properties of Hermite functions) the Fourier transform f\_H of f to be a uniformly continuous mapping on the set N^d x N^d xR \ {0} endowed with a suitable distance. This enables us to extend f\_H to the completion of that space, and to get an explicit asymptotic description of the Fourier transform when the 'vertical' frequency tends to 0. We expect our approach to be relevant for adapting to the Heisenberg framework a number of classical results for the Euclidean case that are based on Fourier analysis. As an example, we here establish an explicit extension of the Fourier transform for smooth functions on H^d that are independent of the vertical variable.

研究の動機と目的

• ヘイゼンベルク群上のフーリエ変換を、標準的な作用素値変換の制限を超えて、明示的な周波数空間上の複素数値関数として再定義すること。
• 解析がユークリッド空間におけるフーリエ理論に類似することができる、完備かつ局所コンパクトな距離空間 $\widehat{\mathcal{H}}_d$ を周波数領域として構築すること。
• 縦方向周波数 $\lambda \to 0$ の極限におけるフーリエ変換の明示的漸近的記述を提供すること。これは低周波数挙動を理解する上で極めて重要である。
• 変数に依存しない滑らかな関数に対してフーリエ変換を拡張することにより、古典的結果の一般化を達成すること。

提案手法

• ヘルミート関数の性質から導かれる距離 $b_d$ を備えた $\widehat{\mathcal{H}}_d = \mathbb{N}^d \times \mathbb{N}^d \times \mathbb{R} \setminus \{0\}$ 上で、フーリエ変換 $\widehat{f}^H$ を一様連続写像として定義する。
• $\widehat{\mathcal{H}}_d$ を完備化して得られる $\widehat{\mathcal{H}}_d^0$ を、拡張されたフーリエ変換が定義される周波数空間とする。
• ヘルミート関数 $H_{n,\lambda}$ 及びその生成・消滅作用素を用いて、$\widehat{f}^H(n,m,\lambda)$ の点ごとの減衰見積もりを導出し、$|\lambda|^p(2|m|+d)^p |\widehat{f}^H(n,m,\lambda)| \leq \|\Delta_H^p f\|_{L^1(H_d)}$ を含むバインディングを得る。
• 畳み込み恒等式を周波数空間上に確立する：$\widehat{f}^H * \widehat{g}^H(n,m,\lambda) = \sum_{\ell \in \mathbb{N}^d} \widehat{f}^H(n,\ell,\lambda) \widehat{g}^H(\ell,m,\lambda)$ であり、これはユークリッド空間における畳み込み定理を模倣する。
• バーグマン表現と関数 $W(\widehat{w}, Y)$ を用いて、$\widehat{\mathcal{H}}_d^0$ 上でのフーリエ逆変換公式を証明し、Fubiniの定理と双対性を用いてプランシュレルの恒等式を導出する。
• 右不変ベクトル場 $\widehat{X}_j$ 及び $\widehat{\Xi}_j$ を活用し、$n,m$ のインデックスにおける減衰見積もりを導出し、$|n-m|^p |\widehat{f}^H(n,m,\lambda)| \leq \sup_{|\alpha|=p} \|T^\alpha f\|_{L^1(H_d)}$ が得られる。

実験結果

リサーチクエスチョン

• RQ1 ヘイゼンベルク群上のフーリエ変換は、標準的な作用素値変換の制限を超えて、構造的明示的な周波数空間上の複素数値関数として再定義可能だろうか？
• RQ2 縦方向周波数 $\lambda \to 0$ の極限におけるフーリエ変換の漸近的挙動は何か？ そして、その挙動は明示的に記述可能だろうか？
• RQ3 変数に依存しないヘイゼンベルク群上の滑らかな関数に対して、フーリエ変換はどのように拡張可能だろうか？
• RQ4 この新しい枠組みにおいて、逆変換、プランシュレル、畳み込みといった、フーリエ恒等式の完全なセットを回復できるだろうか？

主な発見

• フーリエ変換 $\widehat{f}^H$ は $\widehat{\mathcal{H}}_d = \mathbb{N}^d \times \mathbb{N}^d \times \mathbb{R} \setminus \{0\}$ 上で一様連続であり、その完備化 $\widehat{\mathcal{H}}_d^0$ に連続的に拡張可能であり、これが周波数空間として機能する。
• $\lambda \to 0$ の極限における $\widehat{f}^H(n,m,\lambda)$ の明示的漸近的記述が得られ、水平方向のみのフーリエ理論への橋渡しを可能にする。
• 縦方向変数 $s$ に依存しない滑らかな関数 $f$ に対して、フーリエ変換 $\widehat{f}^H(n,m,\lambda)$ が $\lambda$ に依存しないことが示され、周波数空間への明示的拡張が可能である。
• フーリエ逆変換公式が成立する：$f(Y) = \left(\frac{2}{\pi}\right)^d \int_{\widehat{\mathcal{H}}_d^0} K_d(\widehat{x},k,Y) \, \widehat{f}^H(\widehat{x},k) \, d\mu_{\widehat{\mathcal{H}}_d^0}(\widehat{x},k)$ であり、$K_d$ はヘルミート関数を用いて定義される。
• プランシュレルの恒等式が確立された：$g \in \mathcal{S}(T^*\mathbb{R}^d)$ に対して $\int_{T^*\mathbb{R}^d} |g(Y)|^2 dY = \left(\frac{2}{\pi}\right)^d \int_{\widehat{\mathcal{H}}_d^0} |\widehat{g}^H(\widehat{x},k)|^2 d\mu_{\widehat{\mathcal{H}}_d^0}(\widehat{x},k)$。
• 畳み込み恒等式 $\widehat{f}^H * \widehat{g}^H(n,m,\lambda) = \sum_{\ell \in \mathbb{N}^d} \widehat{f}^H(n,\ell,\lambda) \widehat{g}^H(\ell,m,\lambda)$ が成立し、これはユークリッド空間における畳み込み定理を模倣する。