[论文解读] 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$ 条件下的精确适定性，证明了解的全局存在性、唯一性以及解对初值的连续依赖性，同时表明当 $s \leq -1/2$ 时方程不适定。此外，论文还建立了行波解的轨道稳定性，并在 $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.

研究动机与目标

• 在索伯列夫空间 $H^s(\mathbb{T},\mathbb{R})$ 上建立本杰明-欧尼方程在环面上的适定性临界阈值。
• 分析低正则性初值下解的定性行为，特别是其时间上的几乎周期性。
• 在 $H^s(\mathbb{T},\mathbb{R})$ 上证明行波解在 $s > -1/2$ 条件下的轨道稳定性。
• 在 $H^s(\mathbb{T},\mathbb{R})$ 上构造并利用新的守恒律与非线性傅里叶变换（$s > -1/2$），以分析低正则性动力学。

提出的方法

• 作者通过布里奇霍夫映射 $\Phi$ 构造非线性傅里叶变换，将 $H^s(\mathbb{T},\mathbb{R})$ 上的本杰明-欧尼方程线性化（$s > -1/2$），从而能够研究低正则性解。
• 他们将布里奇霍夫映射 $\Phi$ 扩展为 $H^s(\mathbb{T},\mathbb{R})$ 上的全局微分同胚（$s > -1/2$），提供了一个使方程可积的坐标系。
• 通过布里奇霍夫映射构造解映射 $\mathcal{S}$，并证明其取值于 $H^s(\mathbb{T},\mathbb{R})$ 且关于时间连续，从而确保 $s > -1/2$ 时的全局适定性。
• 推导并应用新的守恒律，以控制动力学并证明 $H^s(\mathbb{T},\mathbb{R})$ 上 $s > -1/2$ 时行波解的轨道稳定性。
• 通过构造 $H^{-s}_{r,0}$ 中的双间隙初值序列，证明 $s \leq -1/2$ 时的不适定性：即使经过时间依赖的归一化，该序列在 $\mathcal{D}'(\mathbb{T})$ 中仍不收敛，表明解稳定性的崩溃。

实验结果

研究问题

• RQ1 本杰明-欧尼方程在环面上 $H^s(\mathbb{T},\mathbb{R})$ 中全局适定性的精确正则性阈值 $s_c$ 是什么？
• RQ2 对于 $H^s(\mathbb{T},\mathbb{R})$ 中满足 $s > -1/2$ 的初值，本杰明-欧尼方程的解是否在时间上是几乎周期的？
• RQ3 在 $H^s(\mathbb{T},\mathbb{R})$ 中 $s > -1/2$ 条件下，本杰明-欧尼方程的行波解是否具有轨道稳定性？
• RQ4 能否在 $H^s(\mathbb{T},\mathbb{R})$ 上（$s > -1/2$）构造非线性傅里叶变换与新的守恒律，以分析低正则性动力学？

主要发现

• 本杰明-欧尼方程在所有 $s > -1/2$ 条件下于 $H^s(\mathbb{T},\mathbb{R})$ 上是全局适定的，而在 $s \leq -1/2$ 时不适定，确立了 $s_c = -1/2$ 为精确的临界索伯列夫指数。
• 由于非线性傅里叶变换与布里奇霍夫映射的结构，$H^s(\mathbb{T},\mathbb{R})$ 中 $s > -1/2$ 初值对应的本杰明-欧尼方程解在时间上是几乎周期的。
• 通过守恒律与布里奇霍夫映射框架，证明了在所有 $s > -1/2$ 条件下，本杰明-欧尼方程的行波解在 $H^s(\mathbb{T},\mathbb{R})$ 中具有轨道稳定性。
• 在 $s > -1/2$ 的 $H^s(\mathbb{T},\mathbb{R})$ 上构造了非线性傅里叶变换与新的守恒律，这些是证明适定性与稳定性结果的关键工具。
• 通过构造 $H^{-s}_{r,0}$ 中的双间隙初值序列，证明了 $s \leq -1/2$ 时的不适定性：即使经过时间依赖的归一化，该序列在 $\mathcal{D}'(\mathbb{T})$ 中仍不收敛，从而证明了阈值的精确性。
• 解映射 $\mathcal{S}: H^s(\mathbb{T},\mathbb{R}) \to C(\mathbb{R}, H^s(\mathbb{T},\mathbb{R}))$ 在 $s > -1/2$ 时连续，确保了解对初值的连续依赖性。