[论文解读] Gevrey regularity and analyticity for Camassa-Holm type systems

Wei Luo, Zhaoyang Yin|arXiv (Cornell University)|Jul 19, 2015

Nonlinear Waves and Solitons参考文献 8被引用 9

一句话总结

本文通过在Sobolev-Gevrey空间中引入广义Ovsyannikov定理，建立了Camassa-Holm型系统的Gevrey正则性和解析性。通过引入一种新颖的辅助函数和能量估计，证明了局部适定性、解寿命的下界以及数据到解映射的连续性，将解析性结果推广至多分量系统，包括2CH和M2CH方程。

ABSTRACT

In this paper we mainly investigate the Cauchy problem of some Camassa-Holm type systems. By constructing a new auxiliary function, we present a generalized Ovsyannikov theorem. By using this theorem and the basic properties of Sobolev-Gevrey spaces, we prove the Gevrey regularity and analyticity of these systems. Moreover, we obtain a lower bound of the lifespan and the continuity of the data-to-solution map.

研究动机与目标

• 在Sobolev-Gevrey空间中建立Camassa-Holm型系统解的Gevrey正则性和解析性。
• 将经典Ovsyannikov定理推广为适用于分析含非局部项的非线性PDE解析性的广义版本。
• 根据初始数据的正则性，推导出解寿命的下界。
• 证明在Sobolev-Gevrey空间中数据到解映射的连续性，确保解在小扰动下的稳定性。
• 将标量Camassa-Holm方程的解析性结果推广至多分量系统，如2CH和M2CH系统。

提出的方法

• 通过引入一种新的辅助函数，将广义Ovsyannikov定理应用于处理Camassa-Holm型系统的非线性和非局部结构。
• 将广义Ovsyannikov框架应用于Sobolev-Gevrey空间中的柯西问题，利用该空间的指数权重捕捉解析性和Gevrey正则性。
• 在具有指数权重 $ e^{ ho |k|^{1/ ho}} $ 的加权Sobolev空间中使用能量估计，对应于Gevrey类 $ G^ ho $，以控制解的增长。
• 通过算子 $ e^{ ho (- riangle)^{1/2 ho}} $ 定义Gevrey范数，从而实现对空间和时间中解析性的分析。
• 通过涉及初始数据的Sobolev-Gevrey范数和系统参数的定量估计，推导出解寿命 $ T $ 的下界。
• 通过证明近似解在 $ E_T $-范数中的收敛性，并使用含时间分数幂的Gronwall型估计，建立数据到解映射的连续性。

实验结果

研究问题

• RQ1 经典Ovsyannikov定理能否被推广，以证明含非局部和非线性项的Camassa-Holm型系统的解析性？
• RQ2 在Sobolev-Gevrey空间中，这些系统的解寿命最优下界是什么？
• RQ3 在Sobolev-Gevrey拓扑下，Camassa-Holm型系统的数据到解映射是否连续？
• RQ4 解的解析性是否在多分量系统（如两分量Camassa-Holm和修正两分量系统）中依然成立？
• RQ5 解的Gevrey正则性如何依赖于初始数据的正则性和系统的参数？

主要发现

• 作者构建了一个广义Ovsyannikov定理，使得在Sobolev-Gevrey空间中能够证明Camassa-Holm型系统的Gevrey正则性和解析性。
• 推导出解寿命 $ T $ 的下界为 $ T = \frac{1}{2^{2\sigma+4}[C^{2}_{s}(\|U^{\infty}_{0}\|_{1}+1)^{2}C_{1,\sigma}+C_{s}(\|U^{\infty}_{0}\|_{1}+1)C_{2,\sigma}]} $，其依赖于初始数据和系统参数。
• 证明了在 $ E_T $-范数中数据到解映射的连续性，满足 $ \|U^n - U^\infty\|_{E_T} \leq 2\|U^\infty_0 - U^n_0\|_1 $，从而证明了初始数据扰动下的稳定性。
• 该方法可通过周期Gevrey范数 $ \|f\|_{G^{\delta}_{\sigma,s}(\mathbb{T})} = \|e^{\delta(-\Delta)^{1/2\sigma}}f\|_{H^s(\mathbb{T})} $ 推广至周期情形，保持所有结果不变。
• 解析性和Gevrey正则性结果已在2CH和M2CH系统中得到验证，推广了先前针对标量CH方程的结果。
• 证明依赖于对非线性项 $ F(U) $ 在加权范数下的精细估计，满足 $ \|F(U^n) - F(U^\infty)\|_\delta \leq \frac{L\|U^n - U^\infty\|_{\delta(\tau)}}{(\delta(\tau) - \delta)^\sigma} $，从而确保收敛性。