[論文レビュー] 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 $ 個の点の間の最小距離数に関する組合せ論的結果を用い、距離の増加率とベッセル関数の零点数の対比から矛盾を導出している。これにより、Fugledeのスペクトル集合予想の特殊ケースが解決される。

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$.

研究の動機と目的

• 単位球が非調和的正規直交指数関数基底をもたないことを示すことにより、Fugledeのスペクトル集合予想の特殊ケースを解決すること。
• 球のスペクトルにかかる幾何学的・解析的制約が、既知の距離の相異なる数に関する組合せ的下界と矛盾することを示すこと。
• 立方体とは対照的に、球がこのような基底をもたないことを示すことにより、スペクトル集合の理解を拡張すること。
• 球の特性関数のフーリエ変換の零点集合が、凸対称領域（例：立方体）の場合と比較して、可能なスペクトルの構造をより厳しく制約することを確立すること。

提案手法

• $L^2(B_d)$ 上の可換自己共役作用素を定義するスペクトル定理の使用により、フーリエ基底の存在が微分作用素の可換性と結びつくことの確立。
• Erd\'os らの組合せ論的結果 $ 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 $ 内の相異なる距離数の上界を得ること。
• 組合せ論的下界（距離数の下限）と解析的上界（ベッセル関数 $ J_{d/2} $ の零点数）を比較することで矛盾を導出すること。
• $ \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 $ をタイル張りする集合であるというFugledeの予想をどの程度支持するか？
• 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 $ が十分に大きいとき矛盾が生じる。
• 矛盾は、$ d \geq 2 $ に対して $ R^{3d/(3d-2)} > R $ が成り立つことから生じる。これは、零点数の上界を超過する距離数の下限に反する。
• その結果、このようなスペクトル $ \Lambda $ は存在できず、$ B_d $ がスペクトル集合でないことが証明される。