[論文レビュー] Divergence of infinite-variance nonradial solutions to the 3d NLS equation

Justin Holmer, Svetlana Roudenko|arXiv (Cornell University)|Jun 1, 2009

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

ひとこと要約

本稿は、3次元集束非線形シュレーディンガー方程式（NLS）の解について、無限大の分散と非球対称性を持つ場合に、質量-エネルギー積が基底状態の閾値未満であり、初期 $ L^2 \times H^1 $ ノルムが基底状態の値を上回るならば、有限時間での爆発が発生するか、あるいは解が大域的に存在するが、無限大に近づく時間の列に沿って $ H^1 $-ノルムの勾配が発散する、という結果を確立している。この結果は、濃縮-コンパクトネス–剛性アプローチを用い、プロファイル分解と局所化されたバーリング恒等式を用いて、従来の有限分散および球対称の場合を拡張したものである。

ABSTRACT

We consider solutions $u(t)$ to the 3d NLS equation $i\partial_t u + Δu + |u|^2u=0$ such that $\|xu(t)\|_{L^2} = \infty$ and $u(t)$ is nonradial. Denoting by $M[u]$ and $E[u]$, the mass and energy, respectively, of a solution $u$, and by $Q(x)$ the ground state solution to $-Q+ΔQ+|Q|^2Q=0$, we prove the following: if $M[u]E[u]\|Q\|_{L^2}\| abla Q\|_{L^2}$, then either $u(t)$ blows-up in finite positive time or $u(t)$ exists globally for all positive time and there exists a sequence of times $t_n o +\infty$ such that $\| abla u(t_n)\|_{L^2} o \infty$. Similar statements hold for negative time.

研究の動機と目的

• 3次元集束NLSの爆発基準を、有限分散および球対称な初期データにとどまらず拡張すること。
• 質量-エネルギーおよびノルムの制約下での非球対称かつ無限大分散解の長時間挙動を分析すること。
• 有限時間での爆発が発生するか、あるいは $ H^1 $-ノルムの勾配が大域的に発散する、という事実を確立すること。
• 従来の結果における制限的な有限分散仮定を排除し、爆発が局所的な空間的現象であると主張すること。

提案手法

• 濃縮-コンパクトネス–剛性法を用い、Keraani [11] のプロファイル分解を非球対称かつ無限大分散設定に適応する。
• Strichartz推定に基づく非線形摂動理論を適用し、解の挙動を制御する。
• 局所化されたバーリング恒等式を用いて、集中の検出と $ H^1 $-ノルムが有界な大域的解の防止を実現する。
• ガリレオ変換を用いて、運動量ゼロの解に還元し、解析を単純化する。
• 鋭いガリラード・ニレングラート不等式およびエネルギー-分散恒等式を用いて、臨界閾値を評価する。
• 背理法を用いる：$ \|\nabla u(t)\|_{L^2} $ が有界な大域的解が存在すると仮定すると、最小爆発解が得られ、これは局所化されたバーリング推定と矛盾する。

実験結果

リサーチクエスチョン

• RQ1 3次元NLS方程式の無限大分散非球対称解が、散乱しないか、$ H^1 $ で有界でなくなる条件は何か？
• RQ2 従来の爆発基準における有限分散仮定は、非球対称解に対して排除可能か？
• RQ3 $ M[u]E[u] < M[Q]E[Q] $ かつ $ \|u_0\|_{L^2}\|\nabla u_0\|_{L^2} > \|Q\|_{L^2}\|\nabla Q\|_{L^2} $ を満たす解は、必ず有限時間爆発を起こすか、極限において勾配の発散を示すか？
• RQ4 これらの制約下で爆発を避ける唯一の最小質量-エネルギー解は基底状態ソリトンであるか？

主な発見

• $ M[u]E[u] < M[Q]E[Q] $ かつ $ \|u_0\|_{L^2}\|\nabla u_0\|_{L^2} > \|Q\|_{L^2}\|\nabla Q\|_{L^2} $ ならば、$ u(t) $ は有限時間に爆発するか、あるいは $ t_n \to \infty $ となるある列 $ t_n $ に沿って $ \|\nabla u(t_n)\|_{L^2} \to \infty $ となる。
• この結果は前向きおよび後向きの時間に対して成り立ち、正の時間と負の時間における挙動は異なる可能性がある。
• 証明は、従来の結果における有限分散および球対称性の仮定を排除し、代わりにプロファイル分解と局所化されたバーリング推定に依存している。
• 最小爆発解は、与えられた制約下では存在できない。なぜなら、それは局所化されたバーリング恒等式と $ H^1 $-集中と矛盾するからである。
• 運動量 $ P[u] \neq 0 $ であっても、ガリレオ変換によりゼロ運動量のケースに還元できるため、この手法は適用可能である。
• これらの条件下で爆発が常に発生するという強い予想は未解決のままだが、弱い予想（勾配の発散）は証明された。