[論文レビュー] Nonhomogeneous Boundary-Value Problems for One-Dimensional Nonlinear Schrödinger Equations

Jerry L. Bona, Shu-Ming Sun+1 more|arXiv (Cornell University)|Feb 28, 2015

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

ひとこと要約

本稿は、半直線 $\mathbb{R}^+$ および有界区間 $(0,L)$ における非斉次ディリクレ境界条件を伴う1次元非線形シュレーディンガー方程式の局所的well-posednessを確立する。$s \in [0, \frac{5}{2})$, $s \neq \frac{3}{2}$ に対して、初期データが $H^s(\mathbb{R}^+)$ もしくは $H^s(0,L)$ に属し、境界データがそれぞれ $H^{(2s+1)/4}_{\text{loc}}(\mathbb{R}^+)$ もしくは $H^{(s+1)/2}_{\text{loc}}(\mathbb{R}^+)$ に属する場合、$s > \frac{1}{2}$ のときには適合条件を満たす必要がある。$s \geq 1$ のとき、グローバルwell-posednessが証明される。結果は、半直線の場合と有界区間の場合の構造的差異を示しており、前者は全直線初期値問題に類似し、後者は周期的初期値問題に類似した境界データの正則性要件を示す。

ABSTRACT

This paper is concerned with initial-boundary-value problems (IBVPs) for a class of nonlinear Schrödinger equations posed either on a half line $\mathbb{R}^+$ or on a bounded interval $(0, L)$ with nonhomogeneous boundary conditions. For any $s$ with $0\leq s < 5/2$ and $s ot = 3/2$, it is shown that the relevant IBVPs are locally well-posed if the initial data lie in the $L^2$--based Sobolev spaces $H^s(\mathbb{R}^+) $ in the case of the half line and in $H^s (0, L)$ on a bounded interval, provided the boundary data are selected from $H^{(2s+1)/4}_{loc} (\mathbb{R}^+)$ and $H^{(s+ 1) /2}_{loc} (\mathbb{R}^+)$, respectively. (For $s > \frac12$, compatibility between the initial and boundary conditions is also needed.) Global well-posedness is also discussed when $s \ge 1$. From the point of view of the well-posedness theory, the results obtained reveal a significant difference between the IBVP posed on $\mathbb{R}^+$ and the IBVP posed on $(0,L)$. The former is reminiscent of the theory for the pure initial-value problem (IVP) for these Schrödinger equations posed on the whole line $\mathbb{R}$ while the theory on a bounded interval looks more like that othe pure IVP posed on a periodic domain. In particular, the regularity demanded of the boundary data for the IBVP on $\mathbb{R}^+$ is consistent with the temporal trace results that obtain for solutions of the pure IVP on $\mathbb{R}$, while the slightly higher regularity of boundary data for the IBVP on $(0, L)$ resembles what is found for temporal traces of spatially periodic solutions.

研究の動機と目的

• 1次元非線形シュレーディンガー方程式の初期境界値問題（IBVP）が、半直線 $\mathbb{R}^+$ および有界区間 $(0,L)$ において非斉次ディリクレ境界条件を満たす場合の局所的およびグローバルwell-posednessを確立すること。
• 解の存在、一意性、連続的依存性を保証するための初期データおよび境界データに必要な最小正則性を特定すること。
• 特に境界データの正則性要件の観点から、半直線におけるIBVPと有界区間におけるIBVPの構造的差異を明確にすること。
• 標準的な初期値問題にとどまらず、非斉次境界条件を伴う非線形シュレーディンガー方程式のwell-posedness理論を拡張すること。
• 光ファイバー、水波、ボーズ＝アインシュタイン凝縮体などの物理系における境界入力制御のモデル化に適した厳密な枠組みを提供すること。

提案手法

• 初期データには $L^2$-基底のソボレフ空間 $H^s(\mathbb{R}^+)$ および $H^s(0,L)$ を用い、$0 \leq s < \frac{5}{2}$, $s \neq \frac{3}{2}$ とし、境界データの正則性はトレース理論を用いて特定する。
• 半直線問題では、境界データが $H^{(2s+1)/4}_{\text{loc}}(\mathbb{R}^+)$ に属することを要請し、これは $\mathbb{R}$ 上の純粋初期値問題における時間的トレース結果と整合する。
• 有界区間問題では、境界データが $H^{(s+1)/2}_{\text{loc}}(\mathbb{R}^+)$ に属することを要請し、これは周期的初期値問題における正則性要件に類似した高い正則性要件を反映している。
• 係数の凍結法と補助作用素の使用により境界条件を満たす解を構成し、トレース空間に補間理論を適用する。
• 境界データの正則性閾値が $H^{(2s+1)/4}$ より低くはならないことを、$L^2$-ノルム推定に基づく滑らかな境界データの列を用いた背理法により示し、条件の鋭さを確立する。
• $s \geq 1$ のグローバルwell-posednessは、エネルギー推定と保存則を用いて証明され、非線形性およびデータ正則性の適切な仮定の下で無限時間区間における解の制御が可能となる。

実験結果

リサーチクエスチョン

• RQ1 1次元非線形シュレーディンガー方程式の初期境界値問題が半直線 $\mathbb{R}^+$ において局所的well-posednessを満たすために、初期データおよび境界データに必要な最小正則性は何か？
• RQ2 半直線 $\mathbb{R}^+$ におけるIBVPの境界データの正則性要件は、有界区間 $(0,L)$ におけるものと比較してどのように異なり、その差異の理由は何か？
• RQ3 IBVPのwell-posedness理論が半直線 $\mathbb{R}^+$ において、$\mathbb{R}$ 上の純粋初期値問題の理論とどの程度類似しているか、また有界区間の場合はどのように異なるか？
• RQ4 $s \geq 1$ のときグローバルwell-posednessを確立できるか。また、質量およびエネルギーの保存則はこの拡張において果たす役割は何か？
• RQ5 境界データの正則性閾値は鋭いか。また、$L^2$-ノルム推定に基づく解の列を用いた背理法により、これを証明できるか？

主な発見

• $s \in [0, \frac{5}{2})$, $s \neq \frac{3}{2}$ のとき、半直線 $\mathbb{R}^+$ におけるIBVPは、境界データが $H^{(2s+1)/4}_{\text{loc}}(\mathbb{R}^+)$ に属する限り、$H^s(\mathbb{R}^+)$ において局所的well-posedである。$s > \frac{1}{2}$ のときには適合条件が必要である。
• 有界区間 $(0,L)$ では、境界データが $H^{(s+1)/2}_{\text{loc}}(\mathbb{R}^+)$ に属する限り、$H^s(0,L)$ において局所的well-posedである。$s > \frac{1}{2}$ のときにも適合条件が必要である。
• 半直線における境界データの正則性要件は、$\mathbb{R}$ 上の純粋初期値問題における解の時間的トレース正則性と一致し、構造的類似性を示唆する。
• 有界区間における高い正則性要件は、周期的解のトレース特性に類似しており、周期的初期値問題とのより深い類似性を示唆する。
• 本稿では、半直線における境界データの正則性閾値が $H^{(2s+1)/4}$ より低くはならないことを、$L^2$-ノルム推定に基づく滑らかな境界データの列を用いた背理法により証明した。
• $s \geq 1$ の両領域においてグローバルwell-posednessが確立され、保存則とエネルギー推定を用いて無限時間区間における解の制御が可能となった。