[論文レビュー] Sharp well-posedness results of the Benjamin-Ono equation in $H^{s}(\mathbb{T},\mathbb{R})$ and qualitative properties of its solution

Patrick Gérard, Thomas Kappeler+1 more|arXiv (Cornell University)|Apr 9, 2020

Advanced Mathematical Physics Problems参考文献 29被引用数 10

ひとこと要約

本稿は、$H^s(\mathbb{T},\mathbb{R})$ においてすべての $s > -1/2$ に対して、トーラス上の Benjamin-Ono 方程式について鋭い適切性（well-posedness）を確立し、解の全域的存在、一意性、連続性を証明するとともに、$s \leq -1/2$ の場合の不適切性（ill-posedness）を示している。さらに、進行波の軌道的安定性を確立し、$s > -1/2$ の $H^s$ 上に新しい保存則と非線形フーリエ変換を導入することで、低正則性解の解析とその時間的ほぼ周期的挙動の分析を可能にした。

ABSTRACT

We prove that the Benjamin--Ono equation on the torus is globally in time well-posed in the Sobolev space $H^{s}(\mathbb{T},\mathbb{R})$ for any $s > - 1/2$ and ill-posed for $s \le - 1/2$. Hence the critical Sobolev exponent $s_c=-1/2$ of the Benjamin--Ono equation is the threshold for well-posedness on the torus. The obtained solutions are almost periodic in time. Furthermore, we prove that the traveling wave solutions of the Benjamin-Ono equation on the torus are orbitally stable in $H^{s}(\mathbb{T},\mathbb{R})$ for any $ s > - 1/2$. Novel conservation laws and a nonlinear Fourier transform on $H^{s}(\mathbb{T},\mathbb{R})$ with $s > - 1/2$ are key ingredients into the proofs of these results.

研究の動機と目的

• トーラス上での Benjamin-Ono 方程式の Sobolev 空間 $H^s(\mathbb{T},\mathbb{R})$ における適切性の鋭い臨界点を確立すること。
• 低正則性初期データに対する解の定性的な挙動、特に時間的ほぼ周期性を分析すること。
• $s > -1/2$ に対して $H^s(\mathbb{T},\mathbb{R})$ 上で進行波解の軌道的安定性を証明すること。
• $s > -1/2$ の $H^s(\mathbb{T},\mathbb{R})$ 上に新しい保存則と非線形フーリエ変換を構成・利用し、低正則性ダイナミクスを解析すること。

提案手法

• 著者らは、Birkhoff 写像 $\Phi$ を用いて構成された非線形フーリエ変換を用い、$s > -1/2$ の $H^s(\mathbb{T},\mathbb{R})$ 上で Benjamin-Ono 方程式を線形化し、低正則性解の研究を可能にした。
• 彼らは Birkhoff 写像 $\Phi$ を $s > -1/2$ の $H^s(\mathbb{T},\mathbb{R})$ 全体に拡張し、方程式が可積分となる座標系を提供した。
• 解写像 $\mathcal{S}$ は Birkhoff 写像を介して構成され、$H^s(\mathbb{T},\mathbb{R})$ 値の時間連続性が示され、$s > -1/2$ に対して全域的適切性が保証された。
• 新しい保存則が導出され、それらを用いて $H^s(\mathbb{T},\mathbb{R})$ 上での進行波の軌道的安定性を証明した。
• $s \leq -1/2$ の不適切性は、$H^{-s}_{r,0}$ 内の二ギャップ初期データの列を構成し、時間依存の正規化を行っても $\mathcal{D}'(\mathbb{T})$ 内で収束しないことにより証明され、臨界点の鋭さが示された。

実験結果

リサーチクエスチョン

• RQ1 トーラス上での Benjamin-Ono 方程式の $H^s(\mathbb{T},\mathbb{R})$ における全域的適切性の鋭い正則性臨界点 $s_c$ は何か？
• RQ2 初期データが $H^s(\mathbb{T},\mathbb{R})$ に属する場合、$s > -1/2$ に対して Benjamin-Ono 方程式の解は時間的にほぼ周期的か？
• RQ3 $s > -1/2$ の $H^s(\mathbb{T},\mathbb{R})$ 上で、Benjamin-Ono 方程式の進行波解は軌道的に安定か？
• RQ4 $s > -1/2$ の $H^s(\mathbb{T},\mathbb{R})$ 上に非線形フーリエ変換と新しい保存則を構成し、低正則性ダイナミクスを解析できるか？

主な発見

• Benjamin-Ono 方程式は、すべての $s > -1/2$ に対して $H^s(\mathbb{T},\mathbb{R})$ 上で全域的適切であり、$s \leq -1/2$ では不適切である。これにより、$s_c = -1/2$ が鋭い臨界 Sobolev 指数であることが特定された。
• 初期データが $H^s(\mathbb{T},\mathbb{R})$ に属する $s > -1/2$ の場合、非線形フーリエ変換と Birkhoff 写像の構造のおかげで、Benjamin-Ono 方程式の解は時間的にほぼ周期的である。
• $s > -1/2$ に対して $H^s(\mathbb{T},\mathbb{R})$ 上で進行波解は軌道的に安定であり、保存則と Birkhoff 写像フレームワークを用いて証明された。
• $s > -1/2$ の $H^s(\mathbb{T},\mathbb{R})$ 上に非線形フーリエ変換と新しい保存則が構成され、適切性と安定性の証明に不可欠な道具となった。
• $s \leq -1/2$ の不適切性は、$H^{-s}_{r,0}$ 内の二ギャップ初期データの列を構成し、時間依存の正規化を行っても $\mathcal{D}'(\mathbb{T})$ 内で収束しないことにより、臨界点の鋭さが証明された。
• $s > -1/2$ に対して、解写像 $\mathcal{S}: H^s(\mathbb{T},\mathbb{R}) \to C(\mathbb{R}, H^s(\mathbb{T},\mathbb{R}))$ は連続であり、初期データに対する連続依存性が保証された。