[論文レビュー] The nonlinear Schrödinger equation with combined power-type nonlinearities

Terence Tao, Monica Vişan+1 more|ArXiv.org|Nov 3, 2005

Advanced Mathematical Physics Problems参考文献 9被引用数 54

ひとこと要約

本稿は、次式で与えられる非線形シュレーディンガー方程式のグローバルな適切性と散乱を、次元 $ n \geq 3 $ において、$ 0 < p_1 < p_2 \leq \frac{4}{n-2} $ を満たす条件下で確立する。$ iu_t + \Delta u = \lambda_1 |u|^{p_1}u + \lambda_2 |u|^{p_2}u $。主な貢献は、両非線形項が散乱的かつ臨界的である場合、すなわち $ p_1 = \frac{4}{n} $、$ p_2 = \frac{4}{n-2} $、$ \lambda_1, \lambda_2 > 0 $ のとき、$ H^1 $ および $ \Sigma $ 空間における散乱の証明である。これは、$ L^2 $-臨界方程式に関する予想されたグローバル推定に条件付けられている。また、$ \frac{4}{n} < p < \frac{4}{n-2} $ の単一臨界ケースにおける $ H^1 $ 散乱の、より簡素化された新しい証明も得られた。

ABSTRACT

We undertake a comprehensive study of the nonlinear Schrödinger equation $$ i u_t +Δu = λ_1|u|^{p_1} u+ λ_2 |u|^{p_2} u, $$ where $u(t,x)$ is a complex-valued function in spacetime $\R_t imes\R^n_x$, $λ_1$ and $λ_2$ are nonzero real constants, and $00$ and $p_1=\frac{4}{n}$, $p_2=\frac{4}{n-2}$. The results at the endpoint $p_1 = \frac{4}{n}$ are conditional on a conjectured global existence and spacetime estimate for the $L^2_x$-critical nonlinear Schrödinger equation. As an off-shoot of our analysis, we also obtain a new, simpler proof of scattering in $H^1_x$ for solutions to the nonlinear Schrödinger equation $$ i u_t +Δu = |u|^{p} u, $$ with $\frac{4}{n}

研究の動機と目的

• 2つの競合するべきべき型非線形項を有する非線形シュレーディンガー方程式の局所的およびグローバルな適切性を分析すること。
• 解がエネルギー空間 $ H^1 $ および擬共形空間 $ \Sigma $ で散乱する条件を調査すること。
• 非線形項の符号およびスケーリング条件に応じて、有限時間 blowup の基準およびグローバルな境界を確立すること。
• Ginibre と Velo が以前に確立したが、より複雑な議論を必要とした、$ \frac{4}{n} < p < \frac{4}{n-2} $ の単一非線形項の場合の $ H^1 $ 散乱の、より簡素化された新しい証明を提供すること。
• 特に高次元において、$ L^2 $-臨界および $ \dot{H}^1 $-臨界非線形項を組み合わせることでスケール不変性を失うという課題に対処すること。

提案手法

• ストリッカーツ推定と相互作用モラウェーツ不等式を用いて、時空ノルムを制御し、グローバルな境界を導出する。
• 集中・コンパクトネスの方法と洗練された摂動論を用いて、組み合わせ非線形項におけるスケール不変性の欠如に対処する。
• 解 $ u(t,x) $ に対する新しい減衰推定を適用し、適切な仮定の下で $ \|u(t)\|_{L^{\frac{2n}{n-2}}_x} \lesssim t^{-\nu} $（$ t \geq 1 $）が成り立つことを示す。ここで $ \nu > 0 $ である。
• 減衰と補間を用いてグローバルなストリッカーツノルム境界を確立し、これにより $ H^1 $ および $ \Sigma $ における散乱を示す。
• 時間反転対称性と再帰的議論を用いて、局所的なストリッカーツ制御を全時間区間に拡張する。
• 非線形項の減衰を用いて収束を保証するコーシー列の議論により、$ \Sigma $ における散乱状態を構成する。

実験結果

リサーチクエスチョン

• RQ1 $ \lambda_1, \lambda_2, p_1, p_2 $ にどのような条件下で、組み合わせ非線形シュレーディンガー方程式は $ H^1 $ でグローバル解を有するか？
• RQ2 両非線形項が散乱的かつ臨界的である場合、$ H^1 $ および $ \Sigma $ で散乱を確立できるか？
• RQ3 一つの非線形項が散乱的で、もう一つが集中的である場合、特に質量が小さい条件下で解のダイナミクスはどのように変化するか？
• RQ4 組み合わせ非線形項におけるスケール不変性の欠如が、グローバルな振る舞いや散乱特性にどのように影響するか？
• RQ5 $ \frac{4}{n} < p < \frac{4}{n-2} $ の単一非線形項の場合の散乱結果を、より単純な方法で再証明できるか？

主な発見

• 非線形項が $ \frac{4}{n} < p_1 < p_2 = \frac{4}{n-2} $ かつ $ \lambda_1, \lambda_2 > 0 $ の場合、$ L^2 $-臨界方程式のグローバル時空推定に仮定を置くことで、$ H^1 $ におけるグローバルな適切性と散乱が確立された。
• $ p_1 = \frac{4}{n} $、$ p_2 = \frac{4}{n-2} $、$ \lambda_1, \lambda_2 > 0 $ の場合、同じ予想された推定に条件付けられ、$ H^1 $ におけるグローバル境界と散乱が証明された。
• $ \frac{4}{n} \leq p_1 < p_2 < \frac{4}{n-2} $、$ \lambda_2 > 0 $、$ \lambda_1 < 0 $、かつ質量が小さい場合、グローバル境界が確立され、小さな負の摂動下でも安定であることが示された。
• Ginibre と Velo が以前に示したが、複雑な議論を要した、$ \frac{4}{n} < p < \frac{4}{n-2} $ の単一非線形項 $ iu_t + \Delta u = |u|^p u $ における $ H^1 $ 散乱の、より簡素化された新しい証明が得られた。この証明では、元の複雑な議論を回避した。
• 解は $ \|u\|_{S^1(\mathbb{R} \times \mathbb{R}^n)} \lesssim \|u_0\|_{H^1_x} $ および $ \|Hu\|_{\dot{S}^0(\mathbb{R} \times \mathbb{R}^n)} \lesssim \|u_0\|_{\Sigma} $ を満たす。ここで $ H $ は調和振動子である。これは両空間におけるグローバル制御を確認する。
• $ \Sigma $ における散乱は、$ t \to \infty $ のとき $ e^{-it\Delta}u(t) \to u_+ $ が $ \Sigma $ で成り立つことにより証明された。収束速度は $ \|e^{-it\Delta}u(t) - u_+\|_{\Sigma} \lesssim t^{-\nu} $（$ \nu > 0 $）を満たす。