Nonexistence of Hölder continuous solution for the Camassa-Holm equation in Besov spaces

这是一篇关于 Camassa-Holm (CH) 方程在 Besov 空间中解的正则性研究的数学论文。以下是对该论文的详细技术总结：

1. 研究问题 (Problem)

本文主要研究经典 Camassa-Holm (CH) 方程柯西问题解的时间正则性。
CH 方程形式如下：
$$\begin{cases} u_t - u_{xxt} + 3uu_x = 2u_x u_{xx} + u u_{xxx}, \\ u(x, 0) = u_0(x). \end{cases}$$
已知在适当的 Besov 空间 $B^s_{p,r}$ 中（满足 $s > 1 + 1/p$ 或 $s=1+1/p, r=1$），该方程是局部适定的，即存在唯一的解 $u \in C([0, T]; B^s_{p,r})$。
核心问题：解的时间连续性是否可以进一步提升为Hölder 连续性？即，对于任意 $\alpha \in (0, 1)$，解是否属于 $C^\alpha([0, T]; B^s_{p,r})$？
作者旨在证明：存在初始数据 $u_0 \in B^s_{p,r}$，使得对应的解不属于 $C^\alpha([0, T]; B^s_{p,r})$，即解在时间上不是 Hölder 连续的。

2. 方法论 (Methodology)

作者采用构造反例和精细估计相结合的方法：

• 方程转化：将 CH 方程转化为输运型方程 $\partial_t u + u\partial_x u = P(u)$，其中 $P(u) = -\partial_x \Lambda^{-2}(u^2 + \frac{1}{2}(\partial_x u)^2)$。
• 初始数据构造：
  • 构造了一个特殊的初始数据 $u_0(x)$，形式为高频振荡函数的级数求和：
    $$u_0(x) := \sum_{n=3}^{\infty} n^{-2} 2^{-ns} \phi(x) \cos\left(\frac{17}{12} 2^n x\right)$$
  • 利用 Littlewood-Paley 分解理论，确保该初始数据在 $B^s_{p,r}$ 范数下有界，但其高频分量具有特定的增长性质。
• 误差估计 (Error Estimates)：
  • 将解 $S_t(u_0)$ 分解为 $u_0 + t \tilde{u}_0 + w$，其中 $\tilde{u}_0 = P(u_0) - u_0 \partial_x u_0$，$w$ 为高阶误差项。
  • 利用 Bony 分解 (Bony's decomposition)、Littlewood-Paley 理论以及 Besov 空间的代数性质，对误差项 $w$ 进行精细估计。
  • 区分两种情况处理：
    1. $s > \max\{1+1/p, 3/2\}$：证明 $\|w\|_{B^{s-2}_{p,r}} \lesssim t^2$。
    2. $1+1/p < s \le 3/2$ 或 $s=1+1/p, r=1$：证明 $\|w\|_{B^0_{p,r}} \lesssim t^s$。
• 反证逻辑：
  • 通过三角不等式，将 $\|S_t(u_0) - u_0\|_{B^s_{p,r}}$ 下界化，主要依赖于主项 $t \tilde{u}_0$ 在特定高频 $n$ 处的贡献。
  • 利用构造的 $u_0$ 的性质，证明主项的增长速度远快于误差项和 $t^\alpha$ 的衰减速度。
  • 选取特定的时间序列 $t_n$（与 $n$ 相关），使得当 $t \to 0$ 时，$\frac{\|S_t(u_0) - u_0\|_{B^s_{p,r}}}{t^\alpha} \to +\infty$。

3. 主要结果 (Key Results)

• 定理 1.1 (Main Theorem)：
  假设 $(s, p, r)$ 满足 $s > 1 + 1/p$ ($p, r \in [1, \infty] \times [1, \infty)$) 或 $s = 1 + 1/p$ ($p \in [1, \infty), r=1$)。
  对于任意 $\alpha \in (0, 1)$，存在初始数据 $u_0 \in B^s_{p,r}(\mathbb{R})$，使得解映射 $u_0 \mapsto S_t(u_0)$ 满足：
  $$\limsup_{t \to 0^+} \frac{\|S_t(u_0) - u_0\|_{B^s_{p,r}}}{t^\alpha} = +\infty$$
  这意味着解在 $B^s_{p,r}$ 范数下不是时间 Hölder 连续的。

• 推论 1.1 (Corollary 1.1)：
  作为定理 1.1 的副产品，证明了 CH 方程在 $B^s_{p, \infty}(\mathbb{R})$ ($s > \max\{1+1/p, 3/2\}$) 中是不适定的 (ill-posed)。具体表现为解映射在 $t=0$ 处关于 $B^s_{p, \infty}$ 度量是不连续的。

  • 改进点：相比作者之前的工作 [12]，该结果将正则性范围扩大到了 $1 + 1/p < s \le 3/2$ 的情况。

4. 贡献与意义 (Contributions & Significance)

1. 首次解决 Hölder 连续性问题：
   据作者所知，这是第一篇专门针对经典 CH 方程解在时间上Hölder 连续性失效问题的研究。此前文献主要关注解的存在唯一性（适定性）或解映射的连续性（甚至弱连续性），但并未触及解的时间正则性上限。
2. 完善适定性理论图谱：
   文章通过表格（Table 1）清晰地总结了 CH 方程在 Besov 空间中的适定性/不适定性结果。该工作填补了从“连续”到“ Hölder 连续”之间的理论空白，表明即使解存在且连续，其时间光滑性也是极其有限的（仅连续，非 Hölder）。
3. 技术突破：
   作者通过精细的估计处理了临界情形 $s \le 3/2$，克服了以往研究中难以处理低正则性空间的技术难点。这为研究其他非线性色散方程（如 Novikov 方程、b-family 方程）的时间正则性提供了新的方法论参考。
4. 推广性：
   作者在备注中指出，该结论同样适用于环面情形 (Torus case) 以及 Novikov 方程和 b-family 方程，显示了该方法的普适性。

总结

这篇论文通过构造特定的高频初始数据，利用 Littlewood-Paley 理论和精细的误差分析，严格证明了 Camassa-Holm 方程的解在 Besov 空间中虽然连续，但不具备时间 Hölder 连续性。这一发现揭示了该类非线性波动方程解的正则性极限，深化了人们对 CH 方程动力学行为的理解，并进一步明确了其在低正则性空间中的不适定性质。