[論文レビュー] The initial-boundary value problem for some quadratic nonlinear Schrödinger equations on the half-line

Márcio Cavalcante|arXiv (Cornell University)|Jan 11, 2016

Advanced Mathematical Physics Problems被引用数 12

ひとこと要約

本稿は、低正則性の初期データおよび境界データを伴う半直線上の2次非線形シュレーディンガー方程式に対して、局所的well-posednessを確立する。解析的境界駆動作用素族を導入し、$ b < 1/2 $ のバージョンのBourgain空間技法を応用することで、$ s \in (-3/4, 0] $、$ s \in (-1/4, 0] $、$ s \in (-3/4, 0] $ それぞれに対し、非線形性 $ u^2 $、$ |u|^2 $、$ \overline{u}^2 $ の下で、$ H^s(\mathbb{R}^+) \times H^{(2s+1)/4}(\mathbb{R}^+) $ 内で解の存在、一意性、解析的依存性を証明する。

ABSTRACT

We prove local well-posedness for the initial-boundary-value problem associated to some quadratic nonlinear Schrödinger equations on the half-line. The results are obtained in the low regularity setting by introducing an analytic family of boundary forcing operators, following the ideas developed by Colliander, Kenig and Holmer.

研究の動機と目的

• 半直線 $ (0, \infty) $ 上の2次非線形シュレーディンガー方程式の初期境界値問題（IBVP）に取り組み、$ \mathbb{R} $ 上の線形シュレーディンガー解の挙動に由来する動機を提示する。
• 初期データと境界データの整合性条件を必要としない $ s \leq 0 $ の低正則性におけるwell-posednessを確立する。
• 純粋な初期値問題 $ \mathbb{R} $ 上での古典的well-posedness結果を、境界条件を伴う半直線設定に拡張する。
• 解析的境界作用素族とBourgain空間技法を組み合わせることで、低正則性におけるDuhamel境界駆動作用素を扱うフレームワークを構築する。
• 初期値問題 $ \mathbb{R} $ 上での既知の結果を拡張し、$ s \leq 0 $ の低正則性領域において、データから解への写像が解析的であることを証明する。

提案手法

• CollianderとKenigの手法にインspiredされ、非同次境界条件を扱うための解析的境界駆動作用素族を導入する。
• 非線形項を制御するため、$ b < 1/2 $ の修正Bourgain空間 $ X^{s,b} $ を用いる。時間連続性を保証するため、$ C(\mathbb{R}_t; H^s(\mathbb{R}_x)) $ との共通部分集合を必要とする。
• 解空間 $ Z = C(\mathbb{R}_t; H^s(\mathbb{R}_x)) \cap C(\mathbb{R}_x; H^{(2s+1)/4}(\mathbb{R}_t)) \cap X^{s,b} $ を定義し、空間的および時間的トレースが適切に定義されることを保証する。
• 線形発展、非線形Duhamel項、境界駆動項 $ \mathcal{L}^\lambda h(t) $ を組み合わせた固定点作用素 $ \Lambda(u) $ を構築する。ここで $ h $ は境界データとトレース条件から導かれる。
• 低正則性における2次非線形性を扱うために、$ b < 1/2 $ の下で $ X^{s,b} $ 内の双線形推定を証明する。これは極めて重要である。
• 初期データおよび境界データの小ささを用いて、$ Z $ の小さな球上で収縮写像を適用し、収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 非同次境界条件を伴う半直線上の2次非線形シュレーディンガー方程式の局所的well-posednessにおける最適な正則性閾値は何か？
• RQ2 標準的なBourgain空間埋没が失敗する $ b < 1/2 $ の下で、低正則性空間におけるDuhamel境界駆動作用素をどのように制御できるか？
• RQ3 初期データと境界データの整合性条件がなくても、$ s \leq 0 $ の低正則性領域において、データから解への写像が解析的であることを示せるか？
• RQ4 解析的境界駆動作用素族は、$ \mathbb{R} $ 上の初期値問題から半直線へのwell-posedness理論を拡張するために果たす役割は何か？
• RQ5 初期データおよび境界データの正則性要件は、特に $ s \leq 0 $ の場合に、方程式のスケーリング性質とどのように関係しているか？

主な発見

• 非線形性 $ u^2 $ の場合、$ s \in (-3/4, 0] $ に対して、$ H^s(\mathbb{R}^+) \times H^{(2s+1)/4}(\mathbb{R}^+) $ 内でIBVPの局所的well-posednessが確立され、$ \mathbb{R} $ 上の初期値問題における既知の結果が拡張される。
• 非線形性 $ |u|^2 $ の場合、$ s \in (-1/4, 0] $ に対して、$ H^s(\mathbb{R}^+) \times H^{(2s+1)/4}(\mathbb{R}^+) $ 内でwell-posednessが証明され、スケーリング臨界閾値と一致する。
• 非線形性 $ \overline{u}^2 $ の場合、$ s \in (-3/4, 0] $ に対して、$ H^s(\mathbb{R}^+) \times H^{(2s+1)/4}(\mathbb{R}^+) $ 内で局所的well-posednessが確立され、$ u^2 $ と同じ正則性閾値を有する。
• データから解への写像が初期データおよび境界データに関して解析的であることが示され、連続性よりも強い正則性結果が得られる。
• 時間連続性（$ H^s $ 内）、空間連続性（$ H^{(2s+1)/4} $ 内）、および $ X^{s,b} $ ノルムを組み合わせた空間 $ Z $ において、収縮写像の議論が成功裏に適用され、解の存在および一意性が保証される。
• 生存時間 $ T_i $ は、初期データの $ H^s $ ノルムと境界データの $ H^{(2s+1)/4} $ ノルムにのみ依存し、低正則性領域において一様である。