Bifurcation analysis of Stokes waves with piecewise smooth vorticity in deep water

技术摘要：深水条件下具有分段光滑涡度之斯托克斯波（Stokes Waves）的分歧分析

问题陈述
本文研究了在无限深流体域中，在重力作用下传播的二维、周期性、稳态水波（斯托克斯波）的严格存在性。本研究关注旋转流，其涡度分布为分段光滑，具体而言，允许在流体内部存在有限数量的跳跃不连续点。这一设定模拟了海洋现象中观察到的分层效应，例如电流剪切的突然变化。

该数学模型涉及一个自由边界问题，其中流体域在下方是无界的（$y \to -\infty$），且自由表面（$y = \eta(x)$）是未知的。控制方程为无粘、不可压缩流体的稳态欧拉方程。识别出的主要挑战包括：

1. 由于涡度不连续性而存在的内部界面。
2. 无界空间域，这导致线性算子不具备 Fredholm 性（这是经典分歧理论的标准要求）。
3. 由于涡度不连续性需要处理弱解，因此需要一种能够容纳跨界面传输条件的重新表述方法。

方法论
作者采用了一种结合了霍多夫变换（hodograph transformations）、高度函数表述以及奇异分歧理论的多步分析方法：

1. 通过高度函数进行重新表述：
   问题从物理 $(x, y)$ 域通过 Dubreil-Jacotin 变换（霍多夫变换）转换为固定的矩形域。自变量变为 $(q, p)$，其中 $q=x$ 且 $p=-\psi$（伪流函数）。因变量为高度函数 $h(q, p) = y$。这使得自由边界问题转化为固定域上的拟线性椭圆型 PDE，并带有斜边界条件。分段光滑涡度 $\gamma(\psi)$ 在涡度发生跳跃的深度处引入了一个带有特定界面条件的传输问题。

2. 逼近与正则化：
   由于无界域的存在，线性算子不是 Fredholm 的。为了克服这一点，作者引入了一系列逼近问题（由参数 $\epsilon$ 参数化），其中算子被修改为具有零指数的 Fredholm 算子。这遵循了以往深水波研究中所使用的策略，并针对传输问题的结构进行了调整。

3. 全局分歧理论：
   利用解析全局分歧理论（具体为 Buffoni 和 Toland 的框架）确立非平凡解的存在性。

• 局部分歧： 作者通过分析线性化算子的核（kernel）来识别从平凡（层流）解出发的分歧点。他们证明了存在一个单特征值，并验证了横截性条件（transversality condition）。
• 节点性质： 沿着分歧分支保持“节点模式”（波形单调性）是一个关键步骤。作者定义了一组满足特定导数符号条件的解，并证明了局部分歧曲线保持在该集合内，从而防止形成闭合回路或返回层流分支。
• 全局延拓： 使用 Whyburn 的拓扑引理，作者在使近似参数 $\epsilon \to 0$ 时取极限。他们验证了对于逼近问题，解集是紧致且闭的，从而允许构建原始问题的全局连续统。

4. 估计与紧致性：
   为了在极限过程中处理无界域，作者建立了高度函数导数在 $p \to -\infty$ 时的一致指数衰减估计。这些估计是利用 Phragmén-Lindelöf 型论证以及针对传输问题定制的 Schauder 型估计（引用了 Ladyzhenskaya 和 Gilbarg-Trudinger）推导出来的，确保了在适当函数空间中的解集的相对紧致性。

主要结果
主要结果是定理 2.1，它确立了在空间 $\mathbb{R} \times C^{0,\alpha}(\mathcal{D}) \cap C^{3,\alpha}$（分段光滑正则性）中存在一个连接的全局分歧分支 $\mathcal{K}$（波速 $c$ 与高度函数 $h$）。

连续统 $\mathcal{K}$ 起源于一个层流解，并向全局延伸。论文证明，沿着该分支，必须发生以下两种情形之一：

• (a) 无界波速： 波速趋于无穷大（$\lim c_k = \infty$）。
• (b) 水平停滞： 波形趋向于水平停滞状态，即水平流体速度 $u$ 趋近于波速 $c$（$\limsup \partial_p h_k = \infty$，意味着 $u \to c$）。这对应于在自由表面或流体内部形成停滞点。

上述结果对于满足以下条件的涡度函数 $\gamma$ 成立：$\gamma$ 为具有有限个跳跃的分段 $C^{1,\alpha}$ 函数，且涡度在无穷远处衰减足够快（$O(s^{-2-r})$），并满足与重力相关的特定界限（$-\Gamma_{inf} < g/2^{3/4}$）。

意义与主张
本文声称填补了水波数学理论中的一个特定空白，即同时解决了两个困难方面：

1. 深水： 不同于许多局限于有限深度的现有结果，这项工作处理了速度场和涡度在底部衰减的无限深情况。
2. 不连续涡度： 虽然之前的研究（如 Constantin, Hur）处理了有界域内的光滑涡度或不连续涡度，但本文为深水条件下的分段光滑涡度提供了全面的处理。

作者强调，其方法克服了无界域中线性算子非 Fredholm 的性质，以及由涡度跳跃引起的弱解的技术挑战。通过结合高度函数表述、奇异分歧论证以及 Whyburn 引理，他们严格地构造了表现出分层效应的大振幅波，而分层效应是 Constantin 所指出的一项具有前景的水波理论研究方向。该工作将全局分歧理论的应用范围扩展到了无界域中的传输问题。