[論文レビュー] Global well-posedness for the radial, defocusing, nonlinear wave equation for $3 < p < 5$

Benjamin Dodson|arXiv (Cornell University)|Oct 5, 2018

Advanced Mathematical Physics Problems参考文献 11被引用数 7

ひとこと要約

本稿は、3次元で、$3 < p < 5$ の範囲において、臨界ソボレフ空間 $\.dot{H}^{s_c} \times \dot{H}^{s_c-1}$ 内の回転対称初期データをもつ、非線形波動方程式のグローバルな適切性と散乱を確立する。フーリエ切断法と双曲座標を用いて、解が時間全域で存在し、臨界 $L^{2(p-1)}_{t,x}$ ノルムにおいて散乱することを証明し、そのバインドは初期データの大きさにのみ依存する。

ABSTRACT

In this paper we continue the study of the defocusing, energy-subcritical nonlinear wave equation with radial initial data lying in the critical Sobolev space. In this case we prove scattering in the critical norm when $3 < p < 5$.

研究の動機と目的

• 臨界ソボレフ空間 $\dot{H}^{s_c} \times \dot{H}^{s_c-1}$ 内の回転対称初期データに対して、$3 < p < 5$ の範囲で、非焦点的非線形波動方程式のグローバルな適切性と散乱を確立すること。
• 臨界正則性における保存量の欠如を補うために、フーリエ切断法を用いて初期データを小さな $\dot{H}^{s_c} \times \dot{H}^{s_c-1}$ ノルム成分と有限エネルギー成分に分解すること。
• 双曲座標とプロファイル分解およびゾルンの補題を組み合わせることで、臨界 $L^{2(p-1)}_{t,x}$ ノルムにおける散乱を証明すること。
• 摂動的議論と漸近的直交性を用いて、散乱の大きさが初期データのノルムにのみ依存し、そのプロファイルに依存しないことを示すこと。
• スケーリングとストリカルツ推定を用いて、$p=4$ の場合から、$3 < p < 5$ の全範囲にわたる方法を拡張すること。

提案手法

• 初期データを、$\dot{H}^{s_c} \times \dot{H}^{s_c-1}$ ノルムが小さい部分と有限エネルギー部分に分けるために、フーリエ切断法を適用する。
• 双曲座標変換を用いて、$L^{2(p-1)}_{t,x}$ ノルムと双曲エネルギーを関連づけ、臨界ノルムを上下から抑え込む。
• 有界な $\dot{H}^{s_c} \times \dot{H}^{s_c-1}$ 列に対してプロファイル分解定理を用い、スケーリングおよび平行移動パラメータが互いに直交するプロファイルを抽出する。
• 摂動補題を適用して、解の $L^{2(p-1)}_{t,x}$ ノルムを、プロファイル解のノルムと剰余項のノルムによって制御する。
• Zornの補題を用いて、$L^{2(p-1)}_{t,x}$ ノルムの一様有界性の証明を、最大列に関する背理法に還元する。
• ストリカルツ推定と小データ理論を活用して、特に $\lambda_n^j t_n^j \to \pm\infty$ の場合のプロファイルの漸近的挙動を制御し、各プロファイルに対して散乱が成立することを保証する。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{R}^3$ における非焦点的非線形波動方程式に対して、$3 < p < 5$ の範囲で、臨界ソボレフ空間内に回転対称の初期データがある場合、グローバルな適切性と散乱を確立できるか？
• RQ2 臨界正則性において保存量が存在しない場合、$L^{2(p-1)}_{t,x}$ ノルムに対する一様なバインドをどのように証明できるか？
• RQ3 双曲座標系は、臨界ノルムを制御し、散乱を確立するために果たす役割は何か？
• RQ4 臨界レベルで保存エネルギーが存在しない状況において、プロファイル分解と摂動理論を用いて、$L^{2(p-1)}_{t,x}$ ノルムを制御できるか？
• RQ5 エネルギー下臨界領域において、散乱の大きさが初期データのノルムにのみ依存し、そのプロファイルに依存しないバインドを導出することは可能か？

主な発見

• 非焦点的非線形波動方程式は、$3 < p < 5$ の範囲で、$s_c = \frac{3}{2} - \frac{2}{p-1}$ とすると、$\dot{H}^{s_c} \times \dot{H}^{s_c-1}$ 内の回転対称初期データに対してグローバルに適切であり、散乱が成立する。
• 臨界 $L^{2(p-1)}_{t,x}$ ノルムにおける散乱が確立され、$\|u\|_{L^{2(p-1)}_{t,x}(\mathbb{R} \times \mathbb{R}^3)} \leq f(\|u_0\|_{\dot{H}^{s_c}} + \|u_1\|_{\dot{H}^{s_c-1}})$ を満たす関数 $f$ が存在する。
• 証明は、フーリエ切断法による解の有限エネルギー部と小データ部への分解に依存し、グローバル存在性が保証される。
• 双曲座標は、$L^{2(p-1)}_{t,x}$ ノルムと双曲エネルギーを関連づけ、臨界ノルムを上下から抑え込む。
• プロファイル分解により、スケーリングおよび平行移動の下でのプロファイルの漸近的挙動を解析することで、$L^{2(p-1)}_{t,x}$ ノルムを制御でき、直交性により相互作用がないことが保証される。
• 摂動補題とZornの補題を用いて、すべての有界な初期データ列に対して $L^{2(p-1)}_{t,x}$ ノルムが一様に有界であることが示され、散乱の証明が完成する。