[论文解读] The Cramer-Wold theorem on quadratic surfaces and Heisenberg uniqueness pairs

Karlheinz Gröchenig, Philippe Jaming|arXiv (Cornell University)|Aug 24, 2016

Mathematical Analysis and Transform Methods参考文献 10被引用 8

一句话总结

本论文证明，在 ℝᵈ 中，一个二次超曲面与处于一般位置的两个超平面构成一个海森堡唯一性对，即：若一个有界测度在该超曲面上且其傅里叶变换在两个一般超平面上为零，则该测度必为零。这一结果给出了克雷默-沃尔德定理的一个新颖且出人意料的强化版本，表明仅通过两个一般超平面的投影即可唯一确定此类测度，而无需经典情形中所需的稠密集投影。

ABSTRACT

Two measurable sets $S, \\Lambda \\subseteq \\mathcal{R}^d$ form a Heisenberg uniqueness pair, if every bounded measure $\\mu$ with support in S whose Fourier transform vanishes on {\\Lambda} must be zero. We show that a quadratic hypersurface and the union of two hyperplanes in general position form a Heisenberg uniqueness pair in $\\mathcal{R}^d$. As a corollary we obtain a new, surprising version of the classical Cram\\'er-Wold theorem: a bounded measure supported on a quadratic hypersurface is uniquely determined by its projections onto two generic hyperplanes (whereas an arbitrary measure requires the knowledge of a dense set of projections). We also give an application to the unique continuation of eigenfunctions of second-order PDEs with constant coefficients .

研究动机与目标

• 研究有界测度在二次超曲面上被其傅里叶变换零点集唯一确定的条件。
• 通过证明仅需两个一般超平面（而非经典情形中的稠密集）即可唯一确定二次曲面上的测度，从而扩展经典克雷默-沃尔德定理。
• 利用群论与调和分析技术，刻画 ℝᵈ 中涉及二次超曲面与超平面并集的海森堡唯一性对。
• 通过考克斯eter群与反射对称性，建立超平面几何与曲面测度傅里叶变换结构之间的联系。

提出的方法

• 利用海森堡唯一性对的概念：若测度 μ ∈ ℳ(S) 的傅里叶变换在集合 Λ 上为零，则该测度为平凡测度。
• 应用仿射不变性性质（Inv1 与 Inv2），将问题约化为标准形式，如标准二次曲面与过原点的超平面。
• 利用反射对称性及由超平面对应的正交反射生成的考克斯eter群作用，分析傅里叶变换模的不变性。
• 利用如下事实：若由反射生成的考克斯eter群为无限群，则该群在超平面上的轨道是稠密的，因此若傅里叶变换在某一超平面上为零，则其必处处为零。
• 应用如下原理：若测度的傅里叶变换在稠密集上为零且连续，则其处处为零，从而推出测度为零。
• 利用测度支集与傅里叶变换零点集之间的对偶性，通过对称性与稠密性论证推导唯一性结果。

实验结果

研究问题

• RQ1 在 ℝᵈ（d ≥ 2）中，二次超曲面 S 与两个超平面的并集 Λ 满足何种几何条件时，对 (S, Λ) 构成海森堡唯一性对？
• RQ2 经典克雷默-沃尔德定理能否被强化为仅需两个一般超平面投影（而非稠密集）即可唯一确定二次曲面上的有界测度？
• RQ3 由超平面对应的反射生成的考克斯eter群在判断曲面测度的傅里叶变换是否在 Λ 上为零但测度非零时起何种作用？
• RQ4 傅里叶变换模在反射下的不变性如何与测度及其在二次曲面上支集的结构相关联？
• RQ5 在高维（d ≥ 3）中，有限考克斯eter群是否仍允许存在非平凡测度，其傅里叶变换在过原点的多个超平面上为零？

主要发现

• 在 ℝᵈ 中，二次超曲面 S ⊂ ℝᵈ 与处于一般位置的两个超平面的并集构成一个海森堡唯一性对，即：任何在 S 上有界且傅里叶变换在两个超平面上均为零的测度必为零。
• 该结果意味着克雷默-沃尔德定理的一个新、更强版本：二次曲面上的有界测度仅通过其在两个一般超平面上的投影即可唯一确定，无需经典情形中要求的稠密集投影。
• 海森堡唯一性对性质成立的充要条件是：由超平面对应的反射生成的考克斯eter群为无限群，从而提供了群论意义上的刻画。
• 当考克斯eter群为有限群时，可构造出在球面上有非平凡支撑、在反射对称下不变且傅里叶变换在超平面上为零的测度，因此不满足唯一性对条件。
• 该结果将 ℝ² 中圆锥曲线的先前结果推广至高维，并通过仿射不变性适用于球面、双曲面与抛物面。
• 利用反射对称性与无限考克斯eter群下稠密轨道的证明技术，为对对称曲面上海森堡唯一性对的分析提供了一个统一框架。