[论文解读] Wave-breaking phenomena and global existence for the generalized Fornberg-Whitham equation

Kenta Itasaka|arXiv (Cornell University)|Feb 2, 2018

Nonlinear Waves and Solitons参考文献 4被引用 3

一句话总结

本文为 $ p=2 $ 的广义Fornberg-Whitham方程建立了新的有限时间爆破解的充分条件，引入了一项新颖的爆破准则，涉及初始数据的陡度以及参数 $ B $、$ b $ 和时间 $ T $。此外，证明了当初始数据较小时，$ p \geq 5 $ 时解的全局存在性，并展示了当 $ B \to 0 $ 或 $ b \to 0 $ 时，最大存在时间收敛于Burgers方程的极限行为。

ABSTRACT

We consider the generalized Fornberg-Whitham equation. We study sufficient conditions for blow-up of solutions and show the global existence with small initial data. Also we give some relations to the Burgers equation.

研究动机与目标

• 推导广义Fornberg-Whitham方程在 $ p=2 $ 时解的有限时间爆破的新充分条件，特别关注此前未被考虑的参数 $ b $ 的依赖性。
• 在初始数据较小的假设下，建立广义Fornberg-Whitham方程在 $ p \geq 5 $ 时解的全局存在性。
• 分析当 $ B \to 0 $ 或 $ b \to 0 $ 时最大存在时间的极限行为，证明其收敛于Burgers方程的爆破时间。
• 通过傅里叶分析和振荡积分估计，提供广义Fornberg-Whitham方程线性化自由解的衰减估计。

提出的方法

• 通过改进的能量型估计推导出新的爆破准则，引入一个依赖于 $ B $、$ b $、初始数据 $ u_0 $ 和时间 $ T $ 的函数 $ F(T,x_0) $，并利用与 $ \alpha \geq 1 $ 相关的二次不等式进行比较。
• 改编了Ma、Liu和Qu（2018）的方法，但将其扩展以处理核函数 $ B e^{-b|x|} $ 的二阶导数非 $ L^2 $-正则性问题，从而需要更强的Sobolev空间假设。
• 应用Van der Corput引理来估计线性化方程傅里叶乘子产生的振荡积分，使用相位函数 $ \mu(\xi) = \frac{2Bb\xi}{b^2 + \xi^2} $。
• 利用Littlewood-Paley分解和插值理论（Riesz-Thorin）推导线性传播子 $ T^{B,b}(t) $ 的 $ L^r $-衰减估计，得到 $ \|T^{B,b}(t)u_0\|_{L^r} \leq C_{B,b} |t|^{-\frac{1}{3}(1-\frac{2}{r})} \|u_0\|_{W^{\frac{3}{2}(1-\frac{2}{r}),r'}} $，其中 $ 2 < r < \infty $。
• 在合适的函数空间 $ \mathcal{A} $ 中使用压缩映射法证明当 $ p \geq 5 $ 时的全局存在性，利用初始数据的较小性以及在 $ H^s $-范数下的先验界。
• 证明最大存在时间 $ T_{\text{max}}^{B,b} $ 在 $ B \to 0 $ 或 $ b \to 0 $ 时收敛于 $ -1 / \inf u_0' $，与Burgers方程的已知爆破时间一致。

实验结果

研究问题

• RQ1 对于广义Fornberg-Whitham方程在 $ p=2 $ 时，哪些新的充分条件可确保解在有限时间内爆破，特别是当参数 $ b $ 较小时？
• RQ2 当 $ B \to 0 $ 或 $ b \to 0 $ 时，解的最大存在时间行为如何？其是否收敛于Burgers方程的爆破时间？
• RQ3 广义Fornberg-Whitham方程在 $ p \geq 5 $ 时，在何种条件下对小初始数据存在全局解？
• RQ4 广义Fornberg-Whitham方程的线性化解算子在 $ L^r $-空间中表现出何种衰减性质？

主要发现

• 定理1.1中建立了新的爆破条件：若存在 $ \alpha \geq 1 $，使得 $ u_0'(x_0) \leq -\alpha \left( \frac{F(T,x_0)^{1/4} + \sqrt{F(T,x_0)^{1/2} + \frac{16}{T}}}{2} \right)^2 $，其中 $ F(T,x_0) = 2Bb u_0(x_0) + Bb^{3/2}\|u_0\|_{L^2} + 2B^2b^{3/2}\|u_0\|_{L^2}T $，则解将在有限时间内爆破。
• 爆破时间 $ T_0 $ 满足上界估计 $ T_0 \leq -\frac{1 + \frac{1}{\alpha}}{1 - \frac{1}{2\alpha}} \cdot \frac{1}{u_0'(x_0) + \sqrt{-u_0'(x_0)} F(T,x_0)^{1/4}} \leq T $，提供了定量估计。
• 当 $ B \to 0 $ 或 $ b \to 0 $ 时，方程 (1.2) 解的最大存在时间 $ T_{\text{max}}^{B,b} $ 收敛于 $ -1 / \inf_{x \in \mathbb{R}} u_0'(x) $，与Burgers方程的爆破时间一致。
• 当 $ p \geq 5 $ 时，若初始数据 $ u_0 \in H^s $ 且 $ s \geq 3 $，且足够小，则解全局存在，且满足 $ \sup_{t \geq 0} \|u(t)\|_{H^s} \leq 4\epsilon $。
• 线性传播子 $ T^{B,b}(t) $ 满足衰减估计 $ \|T^{B,b}(t)u_0\|_{L^r} \leq C_{B,b} |t|^{-\frac{1}{3}(1 - \frac{2}{r})} \|u_0\|_{W^{\frac{3}{2}(1 - \frac{2}{r}), r'}} $，其中 $ 2 < r < \infty $，该估计通过振荡积分估计导出。
• 对于初始数据 $ u_0(x) = e^{-\lambda x^2} $，若 $ \lambda \geq C(Bb + Bb^{3/2} + B^{4/3}b + 1) $，则当 $ \alpha = 1 $ 时，方程 (1.2) 的解在有限时间内爆破，验证了小 $ b $ 条件下的爆破行为。