[论文解读] Almost global existence of solutions for capillarity-gravity water waves equations with periodic spatial boundary conditions

Massimiliano Berti, Jean-Marc Delort|arXiv (Cornell University)|Feb 6, 2017

Advanced Mathematical Physics Problems参考文献 59被引用 24

一句话总结

该论文在单空间维下，针对小幅度、周期性、偶对称初始数据，建立了毛细重力水波方程的几乎全局存在性。通过结合拟线性化与一种新型正规形式程序，该程序通过拟微分正则化来补偿小分母，作者证明了在重力-毛细力参数的零测度集之外，解的存在时间可达 $\epsilon^{-N}$ 量级，其中 $N$ 为任意正整数。

ABSTRACT

The goal of this monograph is to prove that any solution of the Cauchy problem for the capillarity-gravity water waves equations, in one space dimension, with periodic, even in space, initial data of small size $ε$, is almost globally defined in time on Sobolev spaces, i.e. it exists on a time interval of length of magnitude $ε^{-N}$ for any $N$, as soon as the initial data are smooth enough, and the gravity-capillarity parameters are taken outside an exceptional subset of zero measure. In contrast to the many results known for these equations on the real line, with decaying Cauchy data, one cannot make use of dispersive properties of the linear flow. Instead, our method is based on a normal forms procedure, in order to eliminate those contributions to the Sobolev energy that are of lower degree of homogeneity in the solution. Since the water waves equations are a quasi-linear system, usual normal forms approaches would face the well known problem of losses of derivatives in the unbounded transformations. In this monograph, to overcome such a difficulty, after a paralinearization of the capillarity-gravity water waves equations, necessary to obtain energy estimates, and thus local existence of the solutions, we first perform several paradifferential reductions of the equations to obtain a diagonal system with constant coefficients symbols, up to smoothing remainders. Then we may start with a normal form procedure where the small divisors are compensated by the previous paradifferential regularization.The reversible structure of the water waves equations, and the fact that we look for solutions even in $x$, guarantees a key cancellation which prevents the growth of the Sobolev norms of the solutions.

研究动机与目标

• 在单空间维下，针对周期性、偶对称、小幅度初始数据，建立毛细重力水波方程解的几乎全局存在性。
• 通过结合拟线性化与正规形式约化，克服拟线性系统中的导数损失问题。
• 通过方程的预先拟微分正则化，在正规形式程序中补偿小分母。
• 利用系统的可逆结构与偶对称性，防止 Sobolev 范数增长。
• 将长时间存在性结果推广至周期边界条件，此时色散效应缺失，与实轴情形不同。

提出的方法

• 对毛细重力水波方程应用拟线性化，以获得能量估计并确保局部存在性。
• 执行多次拟微分约化，将系统转化为具有常数系数符号的对角形式，余项为光滑项。
• 实施正规形式程序，通过预先正则化补偿小分母，消除 Sobolev 范数增长中的低阶齐次项。
• 利用方程的可逆性与保偶对称性结构，实现关键抵消，防止范数膨胀。
• 使用拟微分与拟泊松算子构造 Dirichlet-Neumann 算子的参数解，以处理自由边界条件。
• 采用“良好未知数”形式化方法简化系统，促进复坐标表示下的符号微分计算。

实验结果

研究问题

• RQ1 在周期性空间边界条件下，毛细重力水波是否可建立几乎全局存在性？此时色散效应缺失。
• RQ2 在水波正规形式背景下，如何克服拟线性拟微分系统中的导数损失问题？
• RQ3 初始数据的可逆性与偶对称结构在防止 Sobolev 范数增长中起什么作用？
• RQ4 当缺乏色散衰减时，小分母出现的情况下，正规形式程序在多大程度上可被适应？
• RQ5 能否通过拟微分正则化将系统约化为常数系数符号，从而实现有效的正规形式变换？

主要发现

• 对于小幅度、光滑、周期性、偶对称初始数据，解在长度为 $\epsilon^{-N}$ 的时间区间内存在，其中 $N$ 为任意正整数，证明了几乎全局存在性。
• 正规形式程序成功消除了低阶能量贡献，防止了长时间尺度下 Sobolev 范数的增长。
• 在拟微分微分学框架下，Dirichlet-Neumann 算子的符号阶数为 $-1$，这对能量估计至关重要。
• 由于可逆性与对称性带来的关键抵消，正规形式项不会导致导数损失或范数爆炸。
• 该方法在重力-毛细力参数的零测度集之外具有鲁棒性，确保了几乎全局存在性在一般情况下成立。
• 通过连续的拟微分约化，成功将符号约化为常数系数形式，从而实现了有效的小分母补偿。