[论文解读] Non-uniform dependence on initial data for the Whitham equation

Mathias Nikolai Arnesen|arXiv (Cornell University)|Jan 31, 2016

Advanced Mathematical Physics Problems参考文献 17被引用 4

一句话总结

本文在 Sobolev 空间 $H^s$ 中（$s > \frac{3}{2}$）建立了 Whitham 方程及其相关 Whitham 型方程对初值的非一致依赖性，通过构造两组解序列实现：这些序列在初始时刻收敛，但在后续时间发散。当色散算子 $L$ 的强度弱于 KdV 方程时，该结果成立，表明在周期与非周期情形下，流映射均不具有一致连续性。

ABSTRACT

We consider the Cauchy problem \begin{align*} \partial_t u+u\partial_x u+L(\partial_x u) &=0, \\ u(0,x)=u_0(x) \end{align*} on the torus and on the real line for a class of Fourier multiplier operators $L$, and prove that the solution map $u_0\mapsto u(t)$ is not uniformly continuous in $H^s(\mathbb{T})$ or $H^s(\mathbb{R})$ for $s>\frac{3}{2}$. Under certain assumptions, the result also hold for $s>0$. The class of equations considered includes in particular the Whitham equation and fractional Korteweg-de Vries equations and we show that, in general, the flow map cannot be uniformly continuous if the dispersion of $L$ is weaker than that of the KdV operator. The result is proved by constructing two sequences of solutions converging to the same limit at the initial time, while the distance at a later time is bounded below by a positive constant.

研究动机与目标

• 研究 Whitham 型方程在 Sobolev 空间 $H^s$ 中解映射的正则性。
• 确定流映射 $u_0 \mapsto u(t)$ 在 $H^s$ 中有界集上是否对 $s > \frac{3}{2}$ 一致连续。
• 在色散符号 $m(\xi)$ 满足附加条件下，将非一致依赖性结果推广至更低正则性 $s > 0$。
• 阐明色散强度在决定流映射正则性中的作用，并与 KdV 方程进行比较。
• 通过构造两组解序列（初值极限相同但后期保持有界距离分离）证明一致连续性的失效。

提出的方法

• 基于 $H^s$ 中高度振荡的初值，构造两组解序列 $u_{\omega,\lambda}$，其中 $\omega = \pm 1$ 且 $\lambda$ 很大。
• 使用近似解方法与能量估计，控制 $H^s$ 中解之间差值的演化。
• 应用三角不等式，从下界估计 $H^s$-范数差 $\|u_{1,\lambda} - u_{-1,\lambda}\|_{H^s}$，即主分量之差。
• 建立基于 $L^2$ 的估计，并通过高阶与低阶正则性范数之间的插值，控制解差中的误差项。
• 利用 $L^2$ 守恒律及包含 $\int uLu\,dx - \int u^3\,dx$ 的修正能量，控制当 $s < \frac{3}{2}$ 时的高阶范数。
• 利用条件 $|m(\xi)| \gtrsim |\xi|^r$（当 $|\xi|$ 较大时）确保 $H^{r/2}$-范数在时间上一致有界，从而支持低正则性下的插值。

实验结果

研究问题

• RQ1 在环面和实直线上，Whitham 方程的解映射在 $H^s$ 中对 $s > \frac{3}{2}$ 是否一致连续？
• RQ2 当色散弱于 KdV 方程时，非一致依赖性是否仍然成立？
• RQ3 在对符号 $m(\xi)$ 增加附加假设的条件下，非一致依赖性结果能否推广至 $s > 0$？
• RQ4 符号 $m(\xi)$ 的增长速率在流映射正则性中起何作用？
• RQ5 守恒律如何影响低正则性区域中正则性的传播与解的稳定性？

主要发现

• 在对符号 $m(\xi)$ 作弱假设的条件下，解映射 $u_0 \mapsto u(t)$ 在 $H^s(\mathbb{T})$ 的任意有界集上对 $s > \frac{3}{2}$ 不具有一致连续性。
• 在实直线情形下，当 $m(\xi)$ 满足 Hölder 型连续性条件且增长至多为 $|\xi|^\gamma$（其中 $\gamma < 2$）时，$H^s(\mathbb{R})$ 中对 $s > \frac{3}{2}$ 的非一致依赖性成立。
• 当 $0 < s < \frac{r}{2}$ 且 $r > 1$ 时，若 $|m(\xi)| \gtrsim |\xi|^r$（当 $|\xi|$ 较大时），且初值问题在 $H^s(\mathbb{R})$ 中局部适定，则非一致依赖性成立。
• 该构造产生两组解序列，它们在 $t=0$ 时于 $H^s$ 中收敛，但在任意 $t > 0$ 时在 $H^s$ 中保持正距离分离，从而证明了一致连续性的失效。
• 该结果是精确的：当 $\gamma = 2$ 时，假设包含 KdV 方程，其流映射已知为局部 Lipschitz 连续，表明一致连续性的阈值与色散强度直接相关。
• 一致连续性的失效与色散强度相关：较弱的色散（如 Whitham 或 fKdV 方程中 $\alpha < 2$）导致流映射正则性更差，相比 KdV 方程。