[论文解读] 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.

研究动机与目标

• 将切诺夫定理推广至海森堡群上的次拉普拉斯算子，为谱分析提供泛函演算框架。
• 在海森堡群上为算子值傅里叶变换建立英加姆不确定性原理的版本，刻画紧支集函数傅里叶变换的衰减特性。
• 使用赫尔米特半群 $ e^{-aH(\lambda)} $ 衡量傅里叶变换的衰减，以函数 $ \Theta(\lambda) $ 所决定的可变衰减替代恒定衰减。
• 证明若 $ \int_1^\infty \Theta(t)t^{-1}dt < \infty $，则存在非平凡的紧支集连续函数 $ f $，使得 $ \|\widehat{f}(\lambda)\|_{HS} \leq C|\lambda|^{n/2}e^{-|\lambda|\Theta(|\lambda|)} $。
• 证明若该积分发散，则函数在任意开集上为零将迫使 $ f \equiv 0 $，从而确立该条件的最优性。

提出的方法

• 通过构造一参数算子半群并分析其谱性质，将切诺夫定理适配至海森堡群上的次拉普拉斯算子。
• 使用赫尔米特半群 $ 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 $ 生成次拉普拉斯算子定义域中的一个处处稠密函数集，确保集合 $ 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 傅里叶变换的衰减如何与满足 $ \int_1^\infty \Theta(t)t^{-1}dt < \infty $ 的函数 $ \Theta(\lambda) $ 的可积性相关联？
• 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 $，则存在一个非平凡的、紧支集的连续函数 $ f $ 在 $ \mathbb{H}^n $ 上，使得 $ \|\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 D_{St}(A) $，确保其线性张量稠密，并与本质自伴性矛盾。
• 使用赫尔米特半群 $ e^{-aH(\lambda)} $ 允许以谱函数形式衡量衰减，以 $ \Theta(\lambda) $ 所决定的可变衰减替代恒定衰减，从而推广经典不确定性原理。