[論文レビュー] Dispersive Estimates for Nonlinear Schr\"odinger Equations with External Potentials

Charlotte Dietze|arXiv (Cornell University)|Apr 12, 2021

Advanced Mathematical Physics Problems参考文献 38被引用数 7

ひとこと要約

本稿は、d ≥ 3次元において外部ポテンシャルを伴うハートリー型非線形シュレーディンガー方程式の解について、初期データが小さい条件下で最適なL∞減衰推定を確立する。ダムエルの公式において高階ソボレフノルムを用いた制御を通じて、解が自由解と同一の速度で減衰することを証明している。||u(t)||∞ ≤ C₀(1 + |t|)⁻ᵈᐟ² であり、外部ポテンシャルが存在する場合にも、弱結合領域における期待される分散的挙動が保たれることを確認した。

ABSTRACT

We consider the long time dynamics of nonlinear Schr\"odinger equations with an external potential. More precisely, we look at Hartree type equations in three or higher dimensions with small initial data. We prove an optimal decay estimate, which is comparable to the decay of free solutions. Our proof relies on good control on a high Sobolev norm of the solution to estimate the terms in Duhamel's formula.

研究の動機と目的

• 外部ポテンシャルを伴うハートリー型非線形シュレーディンガー方程式について、d ≥ 3次元における分散的減衰推定を確立すること。
• 従来はV = 0または大規模な初期データに対してのみ成立していた減衰結果を、初期データが小さい場合および非ゼロの外部ポテンシャルが存在する場合にまで拡張すること。
• 外部トラップを伴う弱く相互作用する量子系における長時間的ダイナミクスを理解するための厳密な枠組みを提供すること。
• ポテンシャルの存在が、解のL∞ノルムの最適減衰率に影響を及えないことを確認すること。

提案手法

• k > d/2 である条件下で、V ∈ Wᵏ,∞(ℝᵈ) と仮定し、線形発展器 e⁻ⁱᵗᴴ の分散的推定を導出する。
• ダムエルの公式を用いて、非線形解を線形解の摂動として表現する。
• ダムエルの公式における積分項を制御するため、高階ソボレフノルム（Hᵏ）を用いる。
• 時間重み付きノルム空間における固定点法を用いて、解の時間全域における制御を達成する。
• グローヴァルの不等式とコンパクトなソボレフ埋め込みを用いて、近似列における極限への渡りを示す。
• 特に非線形項の技術的推定に、歪められたフーリエ変換と振動積分解析を用いる。

実験結果

リサーチクエスチョン

• RQ1 外部ポテンシャルを伴うハートリー型NLSについて、d ≥ 3次元において最適なL∞減衰推定を確立できるか？
• RQ2 V ≠ 0 であるポテンシャルの存在が、自由状態と比較して解の減衰率に影響を及えるか？
• RQ3 Hᵏ(ℝᵈ) 内の初期データが小さい場合、自由状態と同一の減衰率 ||u(t)||∞ ≤ C(1 + |t|)⁻ᵈᐟ² を達成できるか？
• RQ4 同様の仮定のもとで、時間微分 ∂ₜu の減衰率は保持されるか？
• RQ5 V = 0 の場合に用いられた証明戦略を、十分な正則性と減衰を満たす非ゼロポテンシャルの状況に適応可能か？

主な発見

• すべての t ≥ 0 に対して、解は最適な減衰推定 ||u(t)||∞ ≤ C₀(1 + |t|)⁻ᵈᐟ² を満たす。ここで C₀ は d、V、||w||₁ のみに依存する。
• 自由シュレーディンガー方程式と同一の減衰率を示しており、外部ポテンシャルが小さい場合でも分散的挙動が維持されることを確認した。
• k が d/2 よりも大きい最小の偶数整数である Hᵏ(ℝᵈ) 内の小さな初期データに対して、結果が成立する。
• 時間微分に対しても同様の減衰推定が得られる：||∂ₜu(t)||∞ ≤ ˜C₀(1 + |t|)⁻ᵈᐟ² であり、初期データの Hᵏ および発展器に関する追加の小さな仮定が必要である。
• 証明は高階ソボレフノルムの制御と時間重み付きノルム空間における固定点法に依拠しており、解の時間全域での存在と減衰を保証する。
• d = 3 の場合ですら、本結果は新規であり、グリルキスとマチドンの先行研究（V = 0 かつ大規模初期データを許容）を拡張したものである。