[论文解读] On the Cauchy problem for gravity water waves

Thomas Alazard, Nicolas Burq+1 more|arXiv (Cornell University)|Dec 4, 2012

Advanced Mathematical Physics Problems参考文献 54被引用 111

一句话总结

本文在不考虑表面张力的情况下，建立了重力水波系统在最优正则性阈值下的局部适定性：初始自由表面仅为 $C^{3/2+ ho}$，初始速度为Lipschitz。通过一种新颖的系统拟微分约化方法以及在低正则性区域中对Dirichlet-Neumann算子的微局部分析，作者证明了在 $H^s$ 基础Sobolev空间中存在唯一解，其中 $s > 1 + d/2$，表明临界正则性阈值为 $s_c = 1/2 + d/2$，解的存在性比该临界指数高出 $1/2$ 正则性。

ABSTRACT

We are interested in the system of gravity water waves equations without surface tension. Our purpose is to study the optimal regularity thresholds for the initial conditions. In terms of Sobolev embeddings, the initial surfaces we consider turn out to be only of~$C^{3/2+\\epsilon}$-class for some $\\epsilon>0$ and consequently have unbounded curvature, while the initial velocities are only Lipschitz. We reduce the system using a paradifferential approach.

研究动机与目标

• 确定重力水波系统在无表面张力条件下的柯西问题中初始数据的最优正则性阈值。
• 通过证明 $C^{3/2+\epsilon}$ 已足够，挑战当前认为自由表面需 $C^2$ 正则性的普遍猜想。
• 为在低正则性区域中具有无界曲率的水波系统，发展一种新的拟微分框架。
• 在趋于零粘性逼近中建立一致估计并取极限，确保在 $H^s$ 空间中存在解，其中 $s > 1 + d/2$。

提出的方法

• 将水波系统约化为拟微分形式：$\partial_t u + T_V \cdot \nabla u + iT_\gamma u = f$，其中 $T_\gamma$ 为阶 $1/2$ 的算子。
• 在 $s > 1$ 时，对 $C^s$ 域中的Dirichlet-Neumann算子引入微局部分析，扩展了Dahlberg-Kenig与Craig-Schanz-Sulem的结果。
• 使用趋于零的粘性逼近 $\varepsilon \Delta U$ 来正则化系统，并在 $H^s$ 中获得一致估计。
• 应用换位子估计与Sobolev嵌入定理，控制能量估计中的非线性项。
• 通过Bootstrap论证，恢复表面与速度迹的完整正则性 $H^{s+1/2} \times H^{s+1/2}$。
• 利用弱紧致性与Dirichlet-Neumann算子在弱收敛下连续的性质，取 $\varepsilon \to 0$ 的极限。

实验结果

研究问题

• RQ1 自由表面的 $C^2$ 正则性是否为重力水波系统局部适定性的必要条件？
• RQ2 当初始表面仅为 $C^{3/2+\epsilon}$ 且速度场仅为Lipschitz时，系统是否仍适定？
• RQ3 即使Dirichlet-Neumann算子不光滑，是否仍可对无表面张力的水波系统实现拟微分约化？
• RQ4 仍能保证解的存在性与唯一性的初始数据最小正则性阈值是什么？
• RQ5 对于低正则性初始数据，是否可在趋于零粘性极限中获得一致估计？

主要发现

• 柯西问题的最优正则性阈值为：初始自由表面为 $C^{3/2+\epsilon}$，初始速度场为Lipschitz，与认为 $C^2$ 为必需的猜想相矛盾。
• 系统可约化为具有阶 $1/2$ 的低阶算子 $T_\gamma$ 的拟微分形式，从而可在低正则性空间中进行分析。
• 在 $s > 1 + d/2$ 时，获得 $H^s \times H^s$ 中的一致估计，且解的存在时间区间与正则化参数 $\varepsilon$ 无关。
• 证明了Dirichlet-Neumann算子在 $H^s$ 中弱收敛下连续，从而支持在趋于零粘性逼近中取极限。
• 临界正则性指数为 $s_c = 1/2 + d/2$，且适定性结果比该临界指数高出 $1/2$ 正则性。
• Taylor系数 $a(t)$ 在解的存在时间区间内有下界 $a_0/2$，确保不会出现splash奇点。