[论文解读] Fourier bases and a distance problem of Erd\H os

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

Mathematical Analysis and Transform Methods参考文献 13被引用 5

一句话总结

本文证明，在维度 $ d \geq 2 $ 时，单位球的任意仿射变换均不允许可积的非调和指数正交基，其证明基于 $ \mathbb{R}^d $ 中 $ n $ 个点之间最小不同距离数的组合结果。关键贡献在于通过距离的增长率与贝塞尔函数零点数之间的矛盾，解决了富格莱德谱集猜想中关于球体的一个特例。

ABSTRACT

We prove that no ball admits a non-harmonic orthogonal basis of exponentials. We use a combinatorial result, originally studied by Erd\H os, which says that the number of distances determined by $n$ points in ${\Bbb R}^d$ is at least $C_d n^{\frac{1}{d}+ε_d}$, $ε_d>0$.

研究动机与目标

• 通过证明单位球不允许可积的非调和指数正交基，解决富格莱德谱集猜想的一个特例。
• 展示球体谱的几何与分析约束，与已知的关于不同距离数的组合下界之间产生矛盾。
• 通过对比球体与立方体（后者确实允许可积基）的特性，扩展对谱集的理解。
• 建立球体特征函数傅里叶变换的零点集，其对可能谱的限制比凸对称区域（如立方体）更为严格。

提出的方法

• 利用谱定理在 $ L^2(B_d) $ 上定义交换的自伴算子，将傅里叶基的存在性与导数算子的可交换性联系起来。
• 应用埃里克斯等人关于 $ g_d(n) \geq C_d n^{1/d + \epsilon_d} $ 的组合结果，以界定 $ \mathbb{R}^d $ 中 $ n $ 个点之间的不同距离数。
• 利用傅里叶变换在零点外非零的性质，建立任意球体谱 $ \Lambda $ 的渐近密度 $ \#\{\Lambda \cap B_d(R)\} \approx R^d $。
• 分析球体特征函数的傅里叶变换的零点集，即 $ \widehat{\chi}_{B_d}(\xi) = |\xi|^{d/2} J_{d/2}(2\pi|\xi|) $，以界定 $ \Lambda \times \Lambda $ 中不同距离的数量。
• 通过比较组合学所得的不同距离数的下界与分析学所得贝塞尔函数零点数的上界，推导出矛盾。
• 利用 $ \Lambda - \Lambda \subseteq Z_{B_d} \cup \{0\} $ 的事实，其中 $ Z_{B_d} $ 是 $ \widehat{\chi}_{B_d} $ 的零点集，以约束谱的结构。

实验结果

研究问题

• RQ1 在 $ \mathbb{R}^d $ 中，当 $ d \geq 2 $ 时，单位球是否允许可积的非调和指数正交基？
• RQ2 是否可利用 $ \mathbb{R}^d $ 中 $ n $ 个点之间不同距离数的组合下界，来排除球体谱的存在性？
• RQ3 球体特征函数傅里叶变换的零点集如何限制潜在谱的结构？
• RQ4 球体并非谱集的失败，在多大程度上支持富格莱德猜想——即谱集恰好是那些能通过平移密铺 $ \mathbb{R}^d $ 的集合？
• RQ5 一个区域边界曲率与其谱性质之间存在何种关系？

主要发现

• 在 $ \mathbb{R}^d $ 中，当 $ d \geq 2 $ 时，单位球 $ B_d $ 不允许可积的非调和指数正交基。
• 任何球体 $ B_d $ 的谱 $ \Lambda $ 必须满足 $ \#\{\Lambda \cap B_d(R)\} \approx R^d $，表明其密度与球体体积增长一致。
• $ \Lambda \cap B_d(R) $ 中不同距离的数量下界为 $ C R^{3d/(3d-2)} $，其随 $ R $ 的增长快于线性。
• 不同距离的数量也受 $ [-R, R] $ 区间内贝塞尔函数 $ J_{d/2} $ 零点数的上界限制，其数量为 $ \lesssim R $，从而对大的 $ R $ 导致矛盾。
• 矛盾的根源在于 $ R^{3d/(3d-2)} > R $ 对于 $ d \geq 2 $ 成立，违反了零点数的上界。
• 因此，不存在这样的谱 $ \Lambda $，从而证明 $ B_d $ 不是谱集。