[论文解读] Fuglede conjecture holds for convex planar domains

Alex Iosevich, Nets Hawk Katz+1 more|ArXiv.org|Apr 7, 2001

Holomorphic and Operator Theory参考文献 5被引用 15

一句话总结

本文证明了平面凸域上的Fuglede猜想：平面中的紧致凸集 admits 正交指数基当且仅当其为四边形或六边形。证明结合了调和分析、凸集傅里叶变换的性质以及谱的几何约束，表明非多边形或非四边形/六边形对称凸域由于密度和曲率障碍而无法支持谱。

ABSTRACT

Let $Ω$ be a compact convex domain in the plane. We prove that $L^2(Ω)$ has an orthogonal basis of exponentials if and only if $Ω$ tiles the plane by translation.

研究动机与目标

• 解决平面中凸域的Fuglede猜想。
• 确定哪些凸平面集具有正交指数基。
• 通过其几何结构表征谱凸域，具体而言，仅四边形和六边形是谱凸域。
• 通过证明非多边形及非四边形/六边形对称凸体无法具有谱，扩展先前关于非谱凸体的结果。

提出的方法

• 使用特征函数的傅里叶变换的零点集 $ Z_Ω $，通过指数正交性表征谱集。
• 应用Landau密度定理和覆盖引理（定理1.1）以控制立方体中谱点的分布。
• 利用曲率和法向角等几何性质分析 $ \hat{\chi}_\Omega(\xi) $ 的衰减与梯度行为。
• 利用对称性：通过Kolountzakis的结果将问题约化为对称凸域，因为非对称凸集不具有谱。
• 使用振荡积分估计和几何分解（例如将 $ \Gamma $ 分解为 $ \Gamma_+ $、$ \Gamma_- $ 和 $ \Gamma_0 $）以控制大频率附近的傅里叶变换。
• 应用由谱点差导出的格点约束，表明仅具有特定对称性的多边形（四边形和六边形）能满足与顶点向量内积的所需算术条件。

实验结果

研究问题

• RQ1 哪些凸平面域在 $ L^2(\Omega) $ 中具有正交指数基？
• RQ2 Fuglede猜想对平面中所有凸域都成立吗？
• RQ3 非多边形或非对称凸域能否支持谱？
• RQ4 何种几何约束迫使谱集为多边形，且哪些多边形是可能的？
• RQ5 为何四边形和六边形在凸域中唯一满足谱条件？

主要发现

• Fuglede猜想对平面中所有紧致凸域成立：$ L^2(\Omega) $ 具有正交指数基当且仅当 $ \Omega $ 为四边形或六边形。
• 非多边形凸域不具有谱，通过曲率和谱密度论证的反证法得以证明。
• 对于对称凸域，谱集 $ \Lambda $ 必须位于密度为 $ |2x \wedge 2x'| $ 的格点上，除非 $ \Omega $ 为四边形或六边形，否则将导致矛盾。
• 证明依赖于谱集必须具有渐近密度 $ 1/|\Omega| $，且谱点必须避开某些区域，除非满足几何约束。
• 傅里叶变换 $ \hat{\chi}_\Omega(\xi) $ 的衰减速度为 $ 1/|\xi| $，且其梯度有界，具体取决于曲率和与法线的角偏离度。
• 当 $ \Omega $ 不是四边形或六边形时，若存在两个顶点满足特定几何条件，则 $ \Lambda $ 必须位于与 $ \Omega $ 面积矛盾的格点上，从而证明其非谱性。