[论文解读] Hamiltonian Birkhoff normal form for gravity-capillary water waves with constant vorticity: almost global existence

Massimiliano Berti, Alberto Maspero+1 more|arXiv (Cornell University)|Dec 23, 2022

Nonlinear Waves and Solitons被引用 7

一句话总结

本文通过一种新颖的哈密顿型拟微分Birkhoff标准型约化方法，建立了1D重力-毛细管水波方程在恒定涡度下小振幅、空间周期解的近乎全局存在性结果。作者开发了一种辛校正达布算法，以在拟线性PDE中保持哈密顿结构，克服了标准拟微分微积分在辛约束下失效的问题，并证明了在表面张力值的全测度集合上存在解。

ABSTRACT

We prove an almost global in time existence result of small amplitude space periodic solutions of the 1D gravity-capillary water waves equations with constant vorticity. The result holds for any value of gravity, vorticity and depth and any surface tension belonging to a full measure set. The proof demands a Hamiltonian paradifferential Birkhoff normal form reduction for quasi-linear PDEs in presence of resonant wave interactions: the normal form may be not integrable but it preserves the Sobolev norms thanks to its Hamiltonian nature. A major difficulty is that usual paradifferential calculus used to prove local well posedness (as the celebrated Alinhac good unknown) does not preserve the Hamiltonian structure. A major novelty of this paper is to develop an algorithmic perturbative procedure à la Darboux to correct usual paradifferential transformations to symplectic maps, up to an arbitrary degree of homogeneity. The symplectic correctors turn out to be smoothing perturbations of the identity, and therefore only slightly modify the paradifferential structure of the equations. The Darboux procedure which recovers the nonlinear Hamiltonian structure is written in an abstract functional setting, in order to be applicable also in other contexts.

研究动机与目标

• 建立1D重力-毛细管水波方程在恒定涡度下小振幅、空间周期解的近乎全局存在性结果。
• 克服标准拟微分微积分在标准型约化过程中无法保持哈密顿结构的缺陷。
• 开发一种系统性的算法程序，将非辛的拟微分变换校正为辛映射，直至任意齐次度。
• 证明由于其哈密顿性质，所得到的标准型即使在非可积情况下也能保持Sobolev范数。
• 将哈密顿标准型技术的应用范围扩展至具有共振波相互作用和非平凡涡度的拟线性PDE。

提出的方法

• 在具有恒定涡度的哈密顿Zakharov-Craig-Sulem框架下表述水波方程，使用广义速度势和Dirichlet-Neumann算子。
• 引入Alinhac的复型良好未知量以实现系统的拟线性化，并将方程简化为拟微分结构。
• 通过一种抽象的达布型程序构造辛校正项，将标准拟微分映射转化为辛映射，同时保持哈密顿性质。
• 采用迭代的、算法化的方法，在每个齐次度层级上校正拟微分结构，确保校正项为恒等映射的光滑扰动。
• 对表面张力施加非共振条件，以排除测度为零的集合，确保可将标准型构造至任意阶。
• 通过控制校正后标准型的大小，建立Sobolev空间中的能量估计，从而得出近乎全局存在性结果。

实验结果

研究问题

• RQ1 在存在共振相互作用的情况下，重力-毛细管水波方程在恒定涡度下，其哈密顿结构是否可在Birkhoff标准型约化过程中得以保持？
• RQ2 拟微分微积分应如何修改，以在约化拟线性PDE时保持辛性？
• RQ3 小振幅、周期性解的水波系统在恒定涡度下的最大存在时间是多少？
• RQ4 能否识别出一个全测度的表面张力值集合，使得标准型过程可避免小分母问题并确保长时间存在？
• RQ5 校正后标准型的哈密顿性质在多大程度上能确保Sobolev范数在长时间内的保持？

主要发现

• 本文证明了对于任意重力、涡度、水深及表面张力值，在一个全测度集合中，1D重力-毛细管水波方程在恒定涡度下小振幅、空间周期解具有近乎全局存在性。
• 作者构造了一个哈密顿Birkhoff标准型，由于其辛性质，即使该标准型不可积，也能保持Sobolev范数。
• 提出了一种新颖的辛校正达布算法，可将标准拟微分变换修改为辛映射，其校正项为恒等映射的光滑扰动。
• 该方法克服了经典拟微分微积分（如Alinhac的良好数未知量）在保持哈密顿结构方面的障碍。
• 对表面张力施加的非共振条件确保了被排除值的集合测度为零，且存在时间关于初始数据大小的倒数为拟多项式增长。
• 该结果对所有重力、涡度和水深值（包括无限深度）均一致成立，适用于深水和有限水深情形。