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

一句话总结

本文建立了在海森伯运动群和两步幂零李群上群傅里叶变换的唯一性结果：若一个具有紧支集的可积函数的傅里叶变换具有有限秩，则该函数必恒为零。该结果通过表示理论与 $ 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.

研究动机与目标

• 将本德利克斯型不确定性原理推广至非交换幂零李群，特别是海森伯运动群。
• 研究在这些群上，具有紧支集或有限支集的可积函数的群傅里叶变换在何种条件下必须恒为零。
• 刻画傅里叶变换具有有限秩的条件，并将其与原函数的消失性联系起来。
• 探讨与表示相关的 $ L^2 $-空间上有限秩算子的傅里叶变换的谱结构。
• 通过调和分析与梅塔普利克表示，将欧几里得群与海森伯群情形下的结果推广至更一般的两步幂零李群。

提出的方法

• 利用斯通-冯·诺伊曼定理，通过 $ \lambda \in \mathbb{R}^* $ 参数化海森伯群 $ \mathbb{H}^n $ 的不可约酉表示 $ \pi_\lambda $。
• 利用梅塔普利克表示 $ \mu_\lambda(k) $ 描述 $ K = U(n) $-作用在 $ L^2(\mathbb{R}^n) $ 上的交织算子，从而实现对海森伯运动群 $ G = \mathbb{H}^n \ltimes U(n) $ 的分析。
• 通过 $ \hat{f}(\omega) = W_\omega(f^\omega) $ 定义群傅里叶变换，其中 $ W_\omega $ 是 $ L^2(\eta_\omega) $ 上的扭曲卷积算子，并将其与 $ f^\omega $ 的谱性质联系起来。
• 应用谱定理将 $ W_\omega(\bar{\tau}) $ 分解为有限个秩一投影之和，表明有限秩意味着 $ f^\omega = 0 $。
• 利用普朗舍雷定理及特殊哈特里函数 $ \phi_{\alpha\beta}^\lambda $ 的性质，分析 $ L^2 $-范数与支集条件。
• 采用算子 $ T(\phi,\psi)(v) $ 及其与 $ W_\omega $ 的关系，导出积分恒等式，当 $ W_\omega(\bar{\tau}) $ 具有有限秩时，迫使 $ \tau \equiv 0 $。

实验结果

研究问题

• RQ1 在海森伯运动群上，具有紧支集或有限支集的可积函数的群傅里叶变换在何种条件下恒为零？
• RQ2 群傅里叶变换的有限秩性质是否可用于推导两步幂零李群情形下的唯一性？
• RQ3 在 $ G = \mathbb{H}^n \ltimes U(n) $ 上，傅里叶变换的谱结构如何与原函数的支集及消失性相关联？
• RQ4 是否存在一个非平凡的可积函数，其在两步幂零李群上的傅里叶变换具有有限秩？
• 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) $ 的秩为一的分析通过 $ 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}) $ 的谱分解为有限个秩一算子之和，意味着 $ \tau $ 是有限个 $ T(h_j, h_j) $ 之和，而支集的有限性迫使 $ h_j $ 为零。
• 由普朗舍雷定理，当 $ W_\omega(f^\omega) $ 具有有限秩且 $ f^\omega $ 具有有限支集时，有 $ \|f\|_{L^2}^2 = 0 $，故 $ f = 0 $。