[论文解读] On the lifespan of three-dimensional gravity water waves with vorticity

Daniel Ginsberg|arXiv (Cornell University)|Dec 4, 2018

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

一句话总结

该论文在自由表面处旋度为零的条件下，建立了三维重力水波在小初值且非零旋度情况下的长期正则性。通过推导适用于有旋流的Zakharov/Craig-Sulem型公式，作者证明了解的存在时间尺度为 $ T \sim \nu^{-1} $，其中 $ \nu $ 为初始旋度的大小，在无旋极限下恢复了 $ \varepsilon^{-N} $ 的存在时间，与已知结果一致。

ABSTRACT

We prove a long-term regularity result for three-dimensional gravity water waves with small initial data but nonzero initial vorticity. We consider solutions whose vorticity vanishes on the free boundary and use this to derive a system for the evolution of the free boundary which reduces to the Zakharov/Craig-Sulem formulation in the irrotational case. We are able to continue the solution until a time determined by the size of the initial vorticity in such a way that if the vorticity is zero, one recovers a lifespan $T\sim ε^{-N}$ where $N$ can be taken arbitrarily large if the initial data is taken to be arbitrarily smooth.

研究动机与目标

• 建立三维重力水波在非零初始旋度下的长期正则性。
• 将无旋水波理论（Zakharov/Craig-Sulem公式）推广至非零旋度情形。
• 推导依赖于初始旋度大小的存在时间估计，并在无旋极限下恢复 $ \varepsilon^{-N} $ 的存在时间。
• 确保泰勒符号条件在整个演化过程中保持成立，从而防止瑞利-泰勒不稳定性。

提出的方法

• 推导自由边界演化的方程组，将Zakharov/Craig-Sulem公式推广以包含旋度。
• 利用旋度在自由边界上为零的假设，闭合能量估计并控制非线性项。
• 应用Nash-Moser型迭代方案，证明Sobolev空间中的局部适定性。
• 采用带修正双线性形式 $ B[u,\varphi] $ 的加权能量方法，以控制旋度和边界动力学。
• 构造边界层分析中出现的椭圆系统的格林函数，证明基本解的点态衰减估计。
• 利用边界曲率和旋度在 $ L^3 $ 与 $ L^{3/2} $ 范数下的小性，确保双线性形式的强制性与有界性。

实验结果

研究问题

• RQ1 当初始旋度非零但较小时，三维重力水波的存在时间是否可超越短时区间？
• RQ2 在自由表面处旋度迹为零的情况下，是否仍能获得类似无旋情形的长期存在性结果？
• RQ3 Zakharov/Craig-Sulem公式能否推广至包含非零旋度的情形，同时保持能量估计所需的结构？
• RQ4 在三维设定下，解的存在时间对初始旋度大小的依赖关系如何？
• RQ5 泰勒符号条件在有旋水波演化过程中是否保持，从而确保稳定性？

主要发现

• 在初始数据的小性假设下，解的存在时间下界为 $ T \sim \nu^{-1} $，其中 $ \nu $ 为初始旋度的大小。
• 当初始旋度为零时，存在时间恢复为 $ \varepsilon^{-N} $ 的形式，且 $ N $ 可任意大，与无旋情形一致。
• 在无旋极限下，该系统退化为经典的Zakharov/Craig-Sulem公式，确保与已有结果的一致性。
• 在 $ \|h\|_{W^{4,\infty}} $ 小性条件下，双线性形式 $ B[u,\varphi] $ 既为有界又为强制，从而可应用Lax-Milgram定理。
• 建立了椭圆系统格林函数的点态衰减估计，满足 $ |G(z,z')| \lesssim |z-z'|^{-1} $ 与 $ |D_z G(z,z')| \lesssim |z-z'|^{-2} $，这对控制非线性项至关重要。
• 证明了边界上 $ \|\nabla H\|_{L^{3/2}} $ 与 $ \|H\|_{L^3} $ 的小性足以保证强制性，并在时间 $ T \sim \varepsilon_0^{-N} $ 内保持不变，与存在时间估计一致。