[论文解读] 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$ 时傅里叶变换的显式渐近描述，这对于理解低频行为至关重要。
• 将傅里叶变换扩展到与垂直变量无关的海森堡群上的光滑函数，从而推广经典结果。

提出的方法

• 将傅里叶变换 $\widehat{f}^H$ 定义为在 $\widehat{\mathcal{H}}_d = \mathbb{N}^d \times \mathbb{N}^d \times \mathbb{R} \setminus \{0\}$ 上的均匀连续映射，该空间配备了一个由埃尔米特函数性质导出的度量 $b_d$。
• 对 $\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)$，模仿欧几里得卷积定理。
• 利用 Bargmann 表示和函数 $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)$ 成立，模仿了欧几里得卷积定理。