[論文レビュー] Sharp $L^2$ estimate of Schrödinger maximal function in higher dimensions

Xiumin Du, Ruixiang Zhang|arXiv (Cornell University)|May 7, 2018

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

ひとこと要約

本稿は、次元 $ n \geq 3 $ におけるシュレーディンガー最大関数の鋭鋭な $ L^2 $ 評価を確立し、初期データが $ H^s(\mathbb{R}^n) $ に属する場合に、自由シュレーディンガー方程式の解のほとんど everywhere での点별収束を証明する。この結果は、端点を除いて最適であり、スケールに関する帰納法、多重線形カケヤ不等式、および分解を用いた新しいフラクタル $ L^2 $ 制限評価によって達成される。

ABSTRACT

We show that, for $n\geq 3$, $\lim_{t o 0} e^{itΔ}f(x) = f(x)$ holds almost everywhere for all $f \in H^s (\mathbb{R}^n)$ provided that $s>\frac{n}{2(n+1)}$. Due to a counterexample by Bourgain, up to the endpoint, this result is sharp and fully resolves a problem raised by Carleson. Our main theorem is a fractal $L^2$ restriction estimate, which also gives improved results on the size of divergence set of Schrödinger solutions, the Falconer distance set problem and the spherical average Fourier decay rates of fractal measures. The key ingredients of the proof include multilinear Kakeya estimates, decoupling and induction on scales.

研究の動機と目的

• 次元 $ n \geq 3 $ における自由シュレーディンガー方程式の解のほとんど everywhere での点別収束の鋭鋭な正則性閾値を解明すること。
• シュレーディンガー作用素に対する鋭鋭なフラクタル $ L^2 $ 制限評価を確立し、これにより最大関数の評価が得られることを示すこと。
• 既知の十分条件とボルグの鋭鋭な反例との間のギャップを高次元で埋めること。
• 分解とスケールに関する帰納法の技法の適用範囲を $ L^2 $-ベースの最大関数評価に拡張すること、$ TT^* $ やプランシェル型の議論に依存しない形で。

提案手法

• 密度と次元の制約を満たす格子立方体の和集合上で、シュレーディンガー作用素に対する新しいフラクタル $ L^2 $ 制限評価（定理 1.6）を開発すること。
• 広域・狭域分解を用いたスケールに関する帰納法により、異なる周波数および空間スケールを扱うこと。
• 多重線形カケヤ不等式と $ l^2 $ 分解定理を用いて、最大関数の $ L^2 $ ノルムを制御すること。
• dyadic pigeonholing とパラメータの簡略化を用いて、スケール間の古い・新しいパラメータを関連付けること。
• 放物型スケーリングとリトルウッド＝パイルの分解を用いて、$ L^2 $ 最大関数評価を制限型不等式に変換すること。
• 左辺の $ L^2 $ ノルムをプランシェル型の議論のために用いるのでなく、最終的な指数の整合性が良いという数的利点から用いること。

実験結果

リサーチクエスチョン

• RQ1 次元 $ n \geq 3 $ における $ \mathbb{R}^n $ でのシュレーディンガー進化 $ e^{it\Delta}f $ のほとんど everywhere での点別収束の最適な正則性閾値 $ s $ は何か？
• RQ2 正則性パラメータ $ s $ に対して、シュレーディンガー作用素の $ L^2 $ 最大関数評価を鋭鋭に得ることは可能か？
• RQ3 高次元におけるシュレーディンガー最大関数の鋭鋭な挙動を捉えるフラクタル $ L^2 $ 制限評価は存在するか？
• RQ4 分解とスケールに関する帰納法の手法を、$ TT^* $ やプランシェルに依存しない $ L^2 $-ベースの最大関数評価に適応することは可能か？
• RQ5 高次元における最大関数の鋭鋭な $ L^p $ 評価は何か？そして、予想される端点 $ p = \frac{2(n+1)}{n} $ と一致するか？

主な発見

• 次元 $ n \geq 3 $ における $ \mathbb{R}^n $ での $ e^{it\Delta}f $ のほとんど everywhere での収束の鋭鋭な正則性閾値は $ s > \frac{n}{2(n+1)} $ であり、ボルグの反例と端点を除いて一致する。
• すべての $ R \geq 1 $ および周波数スペクトルが $ \{ |\xi| \sim 1 \} $ に制限された $ f $ に対して、$ L^2 $ 最大関数評価 $$ \left\| \sup_{0<t\leq R} |e^{it\Delta}f| \right\|_{L^2(B^n(0,R))} \leq C_\varepsilon R^{\frac{n}{2(n+1)}+\varepsilon} \|f\|_2 $$ が成り立つ。
• 主な結果は、密度と次元の制約を満たす格子立方体の和集合上で $ L^2 $ ノルムを制御するフラクタル $ L^2 $ 制限評価（定理 1.6）である。
• この評価は、シュレーディンガー解の発散集合のサイズ、ファルコナー距離集合問題、およびフラクタル測度のフーリエ減衰率に関するより良い評価をもたらす。
• 左辺の $ L^2 $ ノルムは、調和解析の双対性のためではなく、最終的な指数の整合性が良いという数的利点から用いられている。
• 予想される評価 $$ \left\| \sup_{0<t\leq 1} |e^{it\Delta}f| \right\|_{L^{\frac{2(n+1)}{n}}(\mathbb{R}^n)} \leq C \|f\|_{H^{\frac{n}{2(n+1)}}(\mathbb{R}^n)} $$ は $ n \geq 3 $ では成り立たないことが、本稿で反例によって示されている。