[論文レビュー] Threshold scattering for the focusing NLS with a repulsive potential

Changxing Miao, Jason Murphy+1 more|arXiv (Cornell University)|Feb 14, 2021

Advanced Mathematical Physics Problems参考文献 15被引用数 5

ひとこと要約

本稿は、反発的ポテンシャルを伴う3次元焦点的立方非線形シュレーディンガー方程式（NLS）に対して、しきい値散乱を確立し、従来の部分しきい値結果を鋭い質量エネルギーしきい値へ拡張する。Duyckaerts, Landoulsi, Roudenkoらの手法を応用して、$ H^1 $-ノルムしきい値より厳密に小さいが、質量エネルギーの全体的しきい値に達する初期データを持つ解が $ H^1 $ で散乱することを証明し、短距離型および逆二乗型ポテンシャルを含む非負で反発的ポテンシャルが存在する下での長年の未解決問題を解消する。

ABSTRACT

We adapt the arguments in the recent work of Duyckaerts, Landoulsi, and Roudenko to establish a scattering result at the sharp threshold for the $3d$ focusing cubic NLS with a repulsive potential. We treat both the case of short-range potentials as previously considered in the work of Hong, as well as the inverse-square potential, previously considered in the work of the authors.

研究の動機と目的

• 非負で反発的ポテンシャルを伴う3次元焦点的立方NLSの鋭い質量エネルギーしきい値における散乱を確立すること。
• 従来の部分しきい値散乱結果を、$ M(u_0)E_V(u_0) = M(Q)E_0(Q) $ を満たす臨界的しきい値ケースへ拡張すること。
• 条件 $ V \to 0 $ かつ $ x\cdot\nabla V \in L^{3/2} $ を満たす短距離ポテンシャルおよび極限的逆二乗ポテンシャル $ V(x) = a|x|^{-2} $ を同時に取り扱うこと。
• 先行研究で示されたように、一様な $ L_{t,x}^5 $ 界限が失敗するにもかかわらず、しきい値における解が散乱するかどうかという未解決問題を解消すること。

提案手法

• 外部ポテンシャルを伴うNLSに対して、Duyckaerts, Landoulsi, Roudenkoらの濃縮・コンパクトネス的手法を適応する。
• 解を孤立波、残差、重心補正に分解するための精密プロファイル分解を用いる。
• 重心 $ y(t) $ の運動を制御するための直交性条件を導入し、$ y(t) $ が無限に逸脱しないように保証する。
• $ \delta(t) = \|u(t) - e^{i\theta(t)}Q(\cdot - y(t))\|_{H^1} $ に対して鋭い減衰推定 $ \delta(t) \lesssim e^{-2|y(t)|}/|y(t)|^2 $ を導出する。
• 直交性条件の微分から $ |\dot{y}(t)| \lesssim \delta(t) $ および $ |\dot{\theta}(t)| \lesssim 1 + |\dot{y}(t)|\|g\|_{H^1} $ を得る。
• これらの推定を鋭いしきい値構造と組み合わせ、大域的正則性および $ L_{t,x}^5 $ 界定を示し、散乱を示す。

実験結果

リサーチクエスチョン

• RQ1 一様な $ L_{t,x}^5 $ 界定が失敗するにもかかわらず、反発的ポテンシャルを伴う3次元焦点的NLSの解が鋭い質量エネルギーしきい値で散乱する可能性はあるか？
• RQ2 標準NLS（$ V \equiv 0 $）におけるしきい値散乱結果は、非ゼロで非負で反発的ポテンシャルの存在下でも成立するか？
• RQ3 標準的な減衰仮定が失敗するような特異的ポテンシャル（例：$ V(x) = a|x|^{-2} $）の下で、解の運動はどのように振る舞うか？
• RQ4 $ V \equiv 0 $ の場合に用いられるプロファイル分解および直交性技術は、ポテンシャルによって生じる摂動を扱えるように適応可能か？

主な発見

• 初期データが $ M(u_0)E_V(u_0) = M(Q)E_0(Q) $ かつ $ \|u_0\|_{L^2}\|u_0\|_{\dot{H}_V^1} < \|Q\|_{L^2}\|Q\|_{\dot{H}^1} $ を満たす解は、時間全域で大域的定義である。
• 解 $ u $ は $ L_{t,x}^5(\mathbb{R} \times \mathbb{R}^3) $ に属し、$ t \to \pm\infty $ で $ H^1 $ での散乱を示す。
• 重心 $ y(t) $ は $ t \to \pm\infty $ で $ |y(t)| \to \infty $ に発散するが、$ \delta(t) \lesssim e^{-2|y(t)|}/|y(t)|^2 $ を通じて運動は制御されている。
• 速度 $ \dot{y}(t) $ は $ \delta(t) $ に比例して減衰し、解の集中や爆発が生じないことを保証する。
• 短距離ポテンシャル（(1.1)–(1.2)を満たす）および逆二乗ポテンシャル（(1.3）ともに成立し、異なるポテンシャルクラスにわたる堅牢性が確認される。
• しきい値は鋭い：$ H^1 $-ノルム条件が破られる場合には、$ L_{t,x}^5 $ 界定の失敗が示されるように、解が散乱しない可能性がある。