[論文レビュー] Falconer's distance set problem via the wave equation

Keith M. Rogers|arXiv (Cornell University)|Feb 4, 2018

Mathematical Dynamics and Fractals参考文献 2被引用数 3

ひとこと要約

この論文は、球面上の古典的フーリエ制限推定を、波動方程式に由来するn次元円錐上での推定に置き換えることで、Falconerの距離集合問題に対する新しいアプローチを提案する。リーマン表現定理とフラクタル測度に対するL^p推定を用いることで、距離集合が正のLebesgue測度をもつための次元閾値を向上させ、次元がn/2より大きい集合E⊂ℝⁿに対して|{|x−y| : x,y∈E}| > 0が成り立つという予想の解決への新たな道筋を提示する。

ABSTRACT

Falconer proved that there are sets $E\subset \mathbb{R}^n$ of Hausdorff dimension $n/2$ whose distance sets $\{|x-y| : x,y\in E\}$ are null with respect to Lebesgue measure. This led to the conjecture that distance sets have positive Lebesgue measure as soon the Hausdorff dimension of $E$ is larger than $n/2$. The best results in this direction have exploited estimates that restrict the Fourier transform of measures to the $(n-1)$-dimensional sphere. Here we show that these estimates can be replaced by estimates that restrict the Fourier transform of measures to the $n$-dimensional cone. Such estimates were first considered by Wolff in their adjoint form whereby they bound the solution to the wave equation in terms of its initial data. The connection with Falconer's problem, combined with Falconer's counterexample, provides a new necessary condition for what was considered a plausible conjecture for these estimates.

研究の動機と目的

• 次元がn/2より大きい集合E⊂ℝⁿに対して距離集合が正の測度をもつというFalconerの予想を扱う。
• 波動方程式に由来する円錐に基づく推定を、古典的な球面に基づくフーリエ制限推定に置き換える。
• 波動方程式の解に対するフラクタル測度に関するL^p推定が、L²に基づく手法よりも強力な結果をもたらすことを示す。
• Falconerの反例を用いて、ストリカルツ推定のための新たな必要条件を確立する。
• 円錐制限アプローチが、球面に基づく手法が失敗する低次元においても予想を解決できる可能性を示す。

提案手法

• リーマン表現定理を用いて、距離集合上の押し出し測度がL²ではなく、p < 2におけるL^p(dμ)に属することを示す。
• 双対性を用いて、円錐制限推定とフラクタル測度に関する波動方程式のストリカルツ推定を結びつける。
• dyadic分解とホルダーの不等式を用いて、周波数局在化における成長を制御し、幾何級数を合算する。
• L^p推定を導出するための主要な対象として、波動方程式の解u(x,t) = cos(t√(−Δ) − (n−1)/4 π)u₀(x)を用いる。
• n次元の円錐に制限されたフーリエ変換の減衰推定を適用し、法線方向のより良い横断性のおかげでより好都合な結果が得られることを示す。
• 双対性を介して、円錐制限推定とストリカルツ推定の同値性を確立し、波動方程式の文献に既知の推定を活用可能にする。

実験結果

リサーチクエスチョン

• RQ1 フーリエ変換の円錐制限推定は、Falconerの距離集合問題において、球面制限推定よりも強い結果をもたらすか？
• RQ2 フラクタル測度に関する円錐に基づくL^p推定を用いた場合、コンパクト集合E⊂ℝⁿが正のLebesgue測度の距離集合をもつための鋭い次元閾値は何か？
• RQ3 波動方程式フレームワークは、球面に基づく手法が失敗する次元においてFalconerの予想を解消できるか？
• RQ4 Falconerの反例は、フラクタル測度に関する円錐制限推定および関連するストリカルツ推定にどのような必要条件を課えるか？
• RQ5 リーマン表現定理から導かれるp < 2のL^p推定は、古典的なL²手法に比べて改善された結果をもたらすか？

主な発見

• μがコンパクトに台を持つボレル測度で、[μ]_α < ∞を満たすとき、s > (n−α)/2ならば、1 ≤ p ≤ 2に対して‖f‖_{L^p(dμ)} ≲ ‖μ‖^{1/p−1/2}[μ]^{1/2}_α‖f‖_{H^s(ℝⁿ)}が成り立つ。
• フラクタル測度に関する波動方程式のストリカルツ推定は、双対性を介して円錐制限推定と同値であることが示された。
• 現在の円錐制限推定の状態は、法線方向のより良い横断性のおかげで、球面制限推定よりも優れている。
• 本手法により、次元閾値が向上し、dim(E) > n/2 + 1/3ならば|{|x−y| : x,y∈E}| > 0が成り立つことが示された。これは、球面法による既存の最良結果と一致するが、新たなメカニズムを用いている。
• Falconerの反例は、フラクタル測度に関するストリカルツ推定の有効性に新たな必要条件をもたらした。
• 本アプローチは、Knappの反例によって球面法が失敗する低次元においても、予想の解決に至る可能性を秘めている。