[論文レビュー] On smoothness and uniqueness of multi-solitons of the non-linear Schr{\\"o}dinger equations

Raphaël Côte, Xavier Friederich|arXiv (Cornell University)|Jun 19, 2020

Advanced Mathematical Physics Problems参考文献 35被引用数 12

ひとこと要約

本稿は、一般の $H^1$-下臨界非線形項を有する $\mathbb{R}^d$ 上の非線形シュレーディンガー方程式に対する多ソリトン解の滑らかさと一意性を確立する。スペクトル解析と濃縮・コンパクトネスの議論を用いて、非線形項が滑らかであれば多ソリトン解も滑らかであり、特にすべてのグラウンドステートが安定である場合、または質量臨界的の場合に特定のクラスにおいて一意であることを証明する。

ABSTRACT

In this paper, we study some properties of multi-solitons for the non-linear Schr{\\"o}dinger equations in R^d with general non-linearities. Multi-solitons have already been constructed in H^1, successively by Merle, by Martel and Merle, and by C{\\^o}te, Martel and Merle. We show here that multi-solitons are smooth, depending on the regularity of the non-linearity. We obtain also a result of uniqueness in some class, either when the ground states are all stable, or in the mass-critical case.

研究の動機と目的

• 一般の $H^1$-下臨界非線形項を有する $\mathbb{R}^d$ 上の非線形シュレーディンガー方程式に対する多ソリトン解の滑らかさを確立すること。
• すべてのグラウンドステートが軌道的安定であるか、質量臨界的領域にあるクラスにおいて多ソリトン解の一意性を調査すること。
• 非線形項の正則性を活用して、$H^1$-解からより高階の正則性へと結果を拡張すること。
• 孤立波の周囲における線形化作用素のスペクトル構造を分析し、非自明な $L^2$-直交方向が存在しないことを示すこと。
• 線形化エネルギーの最小化列における任意の極限型が消えることを証明し、臨界的状況における一意性を示すこと。

提案手法

• 線形化作用素 $L_{+,ω}$ に関連する二次形式の最小化列を分析するために、濃縮・コンパクトネスの原則を用いる。
• グラウンドステート $Q_\omega$ の指数的減衰推定と補間不等式を用いて、微分の $L^2$-ノルムを制御する。
• ポホジャエフの恒等式とスケーリング不変性を用いて、$x \cdot \nabla Q_\omega$ と $Q_\omega$ を含む恒等式を導出する。
• 最小化列の弱収束極限 $v^*$ に対するラグランジュ乗数条件を導出し、直交制約の系を導く。
• 線形化作用素 $L_{+,ω}$ の非退化性と核の構造を用いて、非自明な解が矛盾を引き起こすことを示す。
• 直交制約下で二次形式 $\langle L_{+,ω}v, v\rangle$ が正であることを確立し、非自明な最小化子が存在しないことを排除する。

実験結果

リサーチクエスチョン

• RQ1 非線形シュレーディンガー方程式の多ソリトン解が空間的・時間的に滑らかになる条件は何か？
• RQ2 多ソリトン解が $t \to \infty$ において漸近的挙動によって一意に定まるのはどのような場合か？
• RQ3 線形化作用素 $L_{+,ω}$ のどのようなスペクトル的・変分的性質が多ソリトン解の一意性を保証するか？
• RQ4 質量臨界的非線形項は、下臨界的状況と比較して多ソリトン解の一意性と正則性にどのように影響を与えるか？
• RQ5 グラウンドステートの対称性に対して非自明な $L^2$-直交方向が存在しないことは、一意性の証明に利用できるか？

主な発見

• 非線形項 $f$ が十分に滑らかであれば、すなわち $f$ が $\mathscr{C}^s$ で $s$ が $Q_\omega \in \mathscr{C}^{s+2}$ を保証するほど十分に大きい場合、非線形シュレーディンガー方程式の多ソリトン解は $\mathbb{R}^d$ 上で滑らかである。
• 質量臨界的状況（$p = 1 + \frac{4}{d}$）では、非自明な解が消えることを示し、最小化列の極限が自明であることを証明することで、一意性が保証される。
• すべてのグラウンドステートが軌道的安定である場合、指定された漸近的速度と位相を持つ解のクラスにおいて、多ソリトン解は一意である。
• 二次形式 $\langle L_{+,ω}v, v\rangle$ は、$Q_\omega$、$\partial_{x_i}Q_\omega$、および $x \cdot \nabla Q_\omega$ に対して $L^2$-直交する関数空間上で正である。これは非退化性と一意性を示す。
• $\beta = 0$ を仮定したとき、$v^* \neq 0$ であると仮定すると矛盾が生じる。これは唯一の可能な最小化子が自明であることを示し、下限の正の性質を証明する。
• $\int_{\mathbb{R}^d} (x \cdot \nabla Q_\omega)^2 dx - \frac{d^2}{4} \int_{\mathbb{R}^d} Q_\omega^2 dx > 0$ であることが厳密に正である。これはラグランジュ乗数系における非自明な解の排除に不可欠である。