[論文レビュー] Global existence and uniqueness results for weak solutions of the focusing mass-critical non-linear Schrödinger equation

Terence Tao|ArXiv.org|Jul 16, 2008

Advanced Mathematical Physics Problems参考文献 18被引用数 3

ひとこと要約

本稿では、弱解と強解の間をつなぐ新しい解空間「準ストリッカーツクラス」を導入することで、高次元（$d \geq 4$）における焦点的質量臨界非線形シュレーディンガー方程式の弱解について、グローバル存在および一意性を確立する。$d \geq 5$ において球対称性のもとで、ストリッカーツクラスおよび準ストリッカーツクラスにおいて、条件なしの一意性を証明し、質量関数 $t \mapsto M(u(t))$ の連続性によって解を特徴付ける。主な貢献は、この臨界方程式における低正則性設定での長年の未解決問題であった一意性およびグローバル存在の問題を解決したことにある。

ABSTRACT

We consider the focusing mass-critical NLS $iu_t + Δu = - |u|^{4/d} u$ in high dimensions $d \geq 4$, with initial data $u(0) = u_0$ having finite mass $M(u_0) = \int_{\R^d} |u_0(x)|^2 dx < \infty$. It is well known that this problem admits unique (but not global) strong solutions in the Strichartz class $C^0_{t,\loc} L^2_x \cap L^2_{t,\loc} L^{2d/(d-2)}_x$, and also admits global (but not unique) weak solutions in $L^\infty_t L^2_x$. In this paper we introduce an intermediate class of solution, which we call a \emph{semi-Strichartz class solution}, for which one does have global existence and uniqueness in dimensions $d \geq 4$. In dimensions $d \geq 5$ and assuming spherical symmetry, we also show the equivalence of the Strichartz class and the strong solution class (and also of the semi-Strichartz class and the semi-strong solution class), thus establishing ``unconditional'' uniqueness results in the strong and semi-strong classes. With these assumptions we also characterise these solutions in terms of the continuity properties of the mass function $t \mapsto M(u(t))$.

研究の動機と目的

• 高次元（$d \geq 4$）における焦点的質量臨界非線形シュレーディンガー方程式の弱解について、長年の未解決問題であったグローバル存在および一意性を解消すること。
• 従来の解空間が失敗した状況において、グローバル存在および一意性を保証する新たな解空間「準ストリッカーツクラス」を導入し、その解析を行うこと。
• 球対称性のもとで $d \geq 5$ の場合に、強解クラスとストリッカーツクラスが等価であり、さらに準強解クラスと準ストリッカーツクラスが等価であることを確立し、これにより強解クラスにおける条件なしの一意性を導くこと。
• 解を、質量関数 $t \mapsto M(u(t))$ の連続性によって特徴付けることにより、解の正則性と保存則の関係を明確にすること。

提案手法

• 弱解の正則性 $C^{0}_{t,{\rm loc}}L^{2}_{x}$ と $L^{2}_{t,{\rm loc}}L^{2d/(d-2)}_{x}$ の積分可能性を組み合わせたハイブリッド解空間として、準ストリッカーツクラスを導入し、グローバル存在および一意性を保証する。
• 解の定義の基礎として、積分形 $u(t) = e^{i(t-t_0)\Delta}u_0 + i\int_{t_0}^{t} e^{i(t-t')\Delta}F(u(t'))\,dt'$ を用い、分布的および弱い意味での解を定式化する。
• リトルウッド＝パイルーの射影 $P_N$ を用いた周波数局在化と二重分割を適用し、$L^{2d/(d-2)}_x$ および $L^{2}_{t}L^{2d/(d+2)}_x$ 空間における非線形相互作用を制御する。
• シュレーディンガー伝搬子 $e^{it\Delta}$ に対する $L^p$-ベースの精密な推定と、特に $|x| \gtrsim 2^k$ の領域における減衰評価を用いて、非局所的非線形項を制御する。
• 局所的 $L^2$ ノルムを二重周波数環状域上で測る列 $c_k$ を用いたブートストラップ法を適用し、非線形項における減衰不均衡評価と $\varepsilon_d$ の小ささを用いて、$c_k \lesssim 1$ が一様に成り立つことを示す。
• 非線形項の制御および質量関数の連続性を保証するために、ストリッカーツおよびストリッカーツ型推定を用いる。

実験結果

リサーチクエスチョン

• RQ1 高次元（$d \geq 4$）における焦点的質量臨界 NLS の弱解について、強解が局所的である一方で弱解に一意性がないという状況において、グローバル存在および一意性を確立できるか？
• RQ2 準ストリッカーツクラスという新たな解空間の導入により、弱解と強解の間の存在および一意性のギャップが解消されるか？
• RQ3 球対称性のもとで、$d \geq 5$ の場合にストリッカーツクラス解空間と強解クラスが等価であるか。これにより、強解クラスにおける条件なしの一意性が導かれるか？
• RQ4 質量関数 $t \mapsto M(u(t))$ の連続性が、ストリッカーツクラスまたは準ストリッカーツクラスにおける解を特徴付ける十分条件として機能するか？
• RQ5 初期データの大きさと解の正則性との間に定量的な関係が存在するか。特に、質量関数の振る舞いの観点からその関係を特定できるか？

主な発見

• 次元 $d \geq 4$ において、弱解が準ストリッカーツクラスに属する場合に、グローバル存在および一意性が確立され、質量臨界 NLS 理論における重要なギャップが解消された。
• $d \geq 5$ および球対称性のもとで、ストリッカーツクラスと強解クラスが等価であり、強解クラスにおける条件なしの一意性が保証された。
• 同様に、球対称性のもとで、準ストリッカーツクラスと準強解クラスが等価であり、準強解クラスにおいても条件なしの一意性が得られた。
• ストリッカーツクラスまたは準ストリッカーツクラスに属する解は、時間区間 $I$ 上で質量関数 $t \mapsto M(u(t))$ の連続性によって特徴付けられ、連続性が正則性を示唆する。
• 非線形項における減衰不均衡評価と $\varepsilon_d$ の小ささを用いたブートストラップ法により、$c_k \lesssim 1$ が二重周波数環状域全体で一様に成り立つことが示された。
• 質量関数が一点で連続であるならば、その近傍で解はストリッカーツクラスに属する解であることが示され、質量連続性から局所的正則性が導かれる。