Peakon solutions and analytical properties for the Camassa-Holm type equations with quadratic nonlinearities

技术摘要：具有二次非线性的 Camassa-Holm 型方程的峰峰解及其分析性质

问题陈述
本文研究了一类具有二次非线性特征的广义 Camassa-Holm (CH) 型方程。所研究方程的一般形式为：
$$u_t + \lambda_1 u^2 + \lambda_2 u u_x + G * (\lambda_3 u^2 + \lambda_4 u_x^2) + \partial_x (G * (\lambda_5 u^2 + \lambda_6 u_x^2)) = 0$$
其中 $G(x) = \frac{1}{2}e^{-|x|}$ 为 Helmholtz 核。作者旨在解决两个主要目标：

1. 推导该类广义方程的显式 $N$-峰峰动力学系统。
2. 分析柯西问题的解析性质，具体关注局部适定性、爆破判据、整体存在性条件、波破碎现象以及在临界 Besov 空间中的不适定性。

方法论
本文结合了非局部卷积技术、动力系统分析以及 Besov 空间中的泛函分析。

• 峰峰系统的推导：作者将 Lundmark 发展的基于卷积的计算方法推广至一般二次情形。通过利用形式解 $u(x,t) = \sum_{i=1}^N p_i(t) e^{-|x-q_i(t)|}$，他们计算了涉及 Helmholtz 核 $G$ 与指数项的卷积。通过直接计算和对称性论证，他们推导出了控制振幅 $p_i$ 和位置 $q_i$ 时间演化的常微分方程 (ODE)。
• 适定性与爆破分析：利用 Helmholtz 算子 $(1-\partial_x^2)$ 将柯西问题重构为局部形式。利用 Kato-Ponce 不等式和能量估计，在 Besov 空间 $B^s_{p,r}$ 中建立了局部适定性。通过推导精确判据，分析了在解本身有界而其斜率无界增长时的爆破情形。
• 整体存在性与波破碎：通过识别守恒律（特别是 $H^1$-范数）并分析动量密度 $m = u - u_{xx}$ 沿特征线的符号保持性，推导了整体存在性的充分条件。通过构造关于斜率 $u_x$ 的特定 ODE 不等式，并应用比较引理（引理 5 和引理 6），证明了在特定初始数据条件下有限时间内的波破碎。
• 不适定性：为了证明在临界 Besov 空间 $B^{3/2}_{2,\infty}$ 中的不适定性，作者构造了非行波解。利用这些解表明，数据到解的映射是不连续的，因为初始数据的任意微小扰动都可能导致解在后续时间出现显著偏差。

主要贡献与结果

1. 广义 $N$-峰峰系统：
   本文证明，若系数满足特定的代数关系：$\lambda_3 = \lambda_1$，$\lambda_4 = 2\lambda_1$，且 $\lambda_5 = \frac{3}{2}\lambda_2 - \lambda_6$，则广义方程 admits 一个 $N$-峰峰解。在这些条件下，振幅和位置按照一个封闭的动力学系统演化（定理 1）。该框架涵盖了标准的 Camassa-Holm 方程、Degasperis-Procesi 方程和 Holm-Staley 方程作为特例。

2. 显式的单峰峰与双峰峰解：

   • 单峰峰：作者推导了单峰峰行波和非行波解存在的条件。值得注意的是，当 $\lambda_1 \neq 0$ 时，本文给出了显式的非行波解（方程 18），这对于不适定性分析至关重要。
   • 双峰峰相互作用：针对特定情形（方程 16），作者提供了两个相互作用峰峰的显式时间平移解。数值图表展示了峰峰 - 峰峰以及峰峰 - 反峰峰相互作用的演化过程，显示了波峰间距随时间的演变。

3. 局部适定性与爆破判据：

   • 适定性：证明了柯西问题在 $s > \max\{1+1/p, 3/2\}$ 的 Besov 空间 $B^s_{p,r}$ 中是局部适定的（定理 3），并且在临界空间 $B^{3/2}_{2,1}$ 中也是局部适定的（定理 4）。
   • 爆破：建立了精确的爆破情形（定理 6）。解在有限时间内爆破，当且仅当量 $2\lambda_1 u + (\frac{5}{2}\lambda_2 - 2\lambda_6)u_x$ 趋于 $-\infty$。

4. 整体存在性条件：
   本文确定了保证整体存在性的特定系数关系。

   • 若 $\lambda_1 + \lambda_3 = 0$，$2\lambda_1 + \lambda_4 = 0$，且 $\lambda_2 = \lambda_6 = 0$，则 $H^1$-范数守恒，从而保证整体存在性（定理 7）。
   • 若系数满足峰峰条件，且初始动量密度 $m_0$ 不变号（并满足相对于系数的特定界限），则解整体存在（定理 8）。

5. 波破碎与不适定性：

   • 波破碎：定理 9 给出了导致有限时间波破碎的初始数据（涉及 $u_0$ 和 $u_{0x}$）的充分条件，在此情形下斜率无界而解保持有界。
   • 不适定性：本文证明了柯西问题在 Besov 空间 $B^{3/2}_{2,\infty}$ 中是不适定的（定理 10）。该结果依赖于构造的非行波解，表明解映射在该临界空间中是不连续的。

意义与主张
作者声称，他们的工作将峰峰结构的理解从特定的可积模型扩展到了广义的二次非线性方程类。$N$-峰峰系统的推导为研究这些解提供了一个统一的框架。

关于解析性质，本文声称通过在更一般的系数条件下建立波破碎结果，显著增强了先前的研究。非行波解的识别被强调为研究这些系统不适定性的关键。

作者对未来应用持谨慎态度。他们指出，虽然卷积方法是可行的，并且可能推广到更高阶的非线性方程（如广义修正 Camassa-Holm 方程），但由于缺乏守恒量，非行孤子的稳定性分析仍然极具挑战性，特别是在三维情形中。他们还承认，由于方程内在的结构限制，在更一般的系数条件下处理波破碎涉及重大的技术困难。