Existence and uniqueness of the global conservative solutions for the generalized Camassa-Holm equation with dual-power nonlinearities

这篇论文题为《具有双幂非线性的广义 Camassa-Holm 方程全局保守解的存在性与唯一性》（Existence and uniqueness of the global conservative solutions for the generalized Camassa-Holm equation with dual-power nonlinearities），由陈小小、陈建和尹兆阳共同完成。

以下是对该论文的详细技术总结：

1. 研究问题 (Problem)

论文主要研究具有双幂非线性项的广义 Camassa-Holm (CH) 方程的柯西问题（Cauchy problem）：
$$u_t - \mu u_{txx} + 2k u_x + \eta u_{xxx} = f(u)u_x + s(2u_x u_{xx} + u u_{xxx})$$
其中 $f(u) = Au + Bu^m$，$\mu > 0$，$m \in \mathbb{N}$。

该方程包含了多个著名的水波模型作为特例，如 BBM-KdV 方程、Dullin-Gottwald-Holm (DGH) 方程以及经典的 Camassa-Holm (CH) 方程。

• 核心挑战：对于此类非线性色散方程，光滑解往往会在有限时间内发生**波破碎（wave-breaking）**现象（即 $u$ 保持有界但 $u_x$ 趋于无穷大）。传统的强解在波破碎后失效。
• 研究目标：在波破碎发生后，如何延拓解以定义全局保守解（global conservative solutions），并证明这种解的存在性和唯一性。

2. 方法论 (Methodology)

作者采用了特征线法（characteristic method）结合变量变换的策略，将原拟线性偏微分方程转化为等价的半线性系统。

A. 存在性证明 (Existence)

1. 引入新变量：

   • 定义特征线 $y(t, \xi)$ 满足 $\partial_t y = \frac{s}{\mu}u - \frac{\eta}{\mu}$。
   • 引入辅助变量：
     • $u(t, \xi) = u(t, y(t, \xi))$
     • $v(t, \xi) = 2 \arctan(u_x)$ （将导数有界化，避免 $u_x \to \infty$）
     • $q(t, \xi) = (1 + u_x^2) \frac{\partial y}{\partial \xi}$ （能量密度相关变量）
   • 利用卷积核 $e^{-|\cdot|/\sqrt{\mu}}$ 将非局部项 $P$ 和 $P_x$ 转化为关于新变量的积分形式。

2. 等价半线性系统：
   原方程被转化为关于 $(u, v, q)$ 的半线性常微分方程组（ODE 系统）：
   $$\begin{cases} \partial_t u = -P_x \\ \partial_t v = \frac{1}{\mu}(1+\cos v)(\dots) - \frac{s}{\mu}\sin^2 \frac{v}{2} \\ \partial_t q = \frac{1}{\mu}(\dots)\sin v \cdot q \end{cases}$$
   该系统在 Banach 空间 $X = H^1 \times (L^2 \cap L^\infty) \times L^\infty$ 中是局部 Lipschitz 连续的。

3. 全局延拓：

   • 利用能量守恒律 $E(t) = \int (u^2 + \mu u_x^2) dx = \text{const}$ 建立先验估计。
   • 通过反证法和变量变换引理（Lemma 3.2, Corollary 3.3），证明了关键变量 $q$ 和 $1/q$ 的有界性，从而确保解不会在有限时间内爆破，从而获得全局解。
   • 将半线性系统的全局解映射回原变量 $(t, x)$，构造出原方程的全局保守解。

B. 唯一性证明 (Uniqueness)

1. 构造辅助系统：

   • 定义新的坐标 $\beta$，使得 $\beta = y + \mu(t)((-\infty, y])$。这实际上是将空间坐标与累积能量分布联系起来。
   • 证明在 $(t, \beta)$ 坐标系下，解 $y(t, \beta)$ 和 $u(t, \beta)$ 是 Lipschitz 连续的。

2. 特征线追踪：

   • 沿着“好特征线”（good characteristic，即满足特定可微性条件的轨迹），推导出 $u_\beta$ 和 $y_\beta$ 的演化方程。
   • 构建一个关于 $(\beta, y, u, v)$ 的半线性系统，该系统具有唯一的全局解。

3. 唯一性结论：

   • 由于任何全局保守解都对应于这个唯一可解的半线性系统，因此原方程的全局保守解是唯一的。
   • 关键条件：证明过程中要求参数 $s \neq 0$。

3. 主要结果 (Key Results)

1. 存在性定理 (Theorem 2.3 & 3.5)：
   对于任意初始数据 $u_0 \in H^1(\mathbb{R})$，当 $s \neq 0$ 时，广义 CH 方程 (1.1) 存在全局保守解。该解在 $H^1$ 范数下保持有界，且满足能量守恒律（以测度形式）。

2. 唯一性定理 (Theorem 4.1)：
   在 $s \neq 0$ 的条件下，上述定义的全局保守解是唯一的。

3. 正则性分析：

   • 证明了构造的解 $u(t, x)$ 关于 $x$ 是 $1/2$-Hölder 连续的。
   • 证明了 $u(t, \cdot)$ 关于 $t$ 在 $L^2$ 空间中是 Lipschitz 连续的。

4. 技术难点与创新点 (Significance & Contributions)

• 处理双幂非线性：
  与标准的 CH 方程（$m=1$）不同，本文处理了 $f(u) = Au + Bu^m$ 的一般情况。高次幂项 $u^m$ 使得能量估计和非线性项的控制更加复杂。作者通过精细的 $L^\infty$ 估计和变量变换克服了这一困难。

• 解决 $L^\infty$ 界估计难题：
  在证明全局存在性时，卷积项 $e^{-|\cdot|/\sqrt{\mu}} * u$ 的 $L^\infty$ 界是一个技术难点。作者借鉴并改进了 [27] 中的变量变换和反证法，成功建立了 $P$ 和 $P_x$ 的有界性，这是保证 ODE 系统全局解存在的关键。

• 唯一性的严格证明：
  对于具有波破碎现象的方程，唯一性通常是一个未决或极具挑战的问题。本文通过引入 $\beta$ 坐标和构造唯一的半线性系统，严格证明了在保守解框架下的唯一性。这扩展了 Bressan 和 Constantin 等人针对标准 CH 方程建立的理论框架。

• 物理意义：
  该方程模型涵盖了多种物理场景（如浅水波、耗散与色散效应）。全局保守解的存在保证了即使在波破碎（如尖峰波形成）后，系统的总能量（动能 + 势能）依然守恒，这为数值模拟和物理现象的长期演化提供了坚实的数学基础。

5. 总结

该论文通过引入巧妙的变量变换，将具有复杂双幂非线性的广义 Camassa-Holm 方程转化为等价的半线性 ODE 系统，成功证明了该方程在 $H^1$ 初值下全局保守解的存在性与唯一性。这项工作不仅推广了经典 CH 方程的理论结果，也为研究更广泛的非线性色散波方程的波破碎后行为提供了新的数学工具和理论依据。