[论文解读] Control of three dimensional water waves

Hui Zhu|arXiv (Cornell University)|Dec 17, 2017

Stability and Controllability of Differential Equations参考文献 45被引用 3

一句话总结

本文在控制区域满足几何控制条件的前提下，建立了三维有表面张力水波在局域外部压力作用下的精确可控性，证明了任意足够小且光滑的初态与终态均可在任意短的时间内相互连接。证明结合了将拟线性系统逐步简化为线性问题的迭代方法，以及针对高频分量的半经典方法，同时对低频分量采用唯一性-紧致性论证。

ABSTRACT

We study the exact controllability for spatially periodic water waves with surface tension, by localized exterior pressures applied to free surfaces. We prove that in any dimension, the exact controllability holds within arbitrarily short time, for sufficiently small and regular data, provided that the region of control satisfies the geometric control condition. This result was previously obtained by Alazard, Baldi, and Han-Kwan for 2-D water waves. Our proof combines an iterative scheme, that reduces the controllability of the original quasi-linear equation to that of a sequence of linear equations, with a semiclassical approach for the linear control problems.

研究动机与目标

• 在环面上建立三维有表面张力水波的精确可控性。
• 将 Alazard、Baldi 与 Han-Kwan 在二维情形下的可控性结果推广至高维。
• 通过区分高频与低频频段，克服高维情形下 Ingham 不等式缺失的问题。
• 在几何控制条件下，证明对小而光滑的数据可在任意短的时间内实现可控性。
• 通过在波高上施加均值为零的约束，确保零频模态的守恒。

提出的方法

• 证明采用迭代方法，将非线性拟线性水波系统逐步转化为一系列线性控制问题。
• 针对高频分量，应用受 Lebeau 启发、并借鉴 Burq–Zworski 方法的半经典方法来处理线性化方程。
• 针对低频分量，采用 Bardos–Lebeau–Rauch 的唯一性-compactness 方法以建立可控性。
• 控制作用在空间和时间上均局域化，外部压力 $ P_{\mathrm{ext}} $ 的支撑集位于 $ \omega \subset \mathbb{T}^d $ 内，且满足几何控制条件。
• 分析基于 Zakharov/Craig–Sulem 形式化的水波系统，涉及 Dirichlet–Neumann 算子及表面张力效应。
• 通过频分微分演算与 Sobolev 空间中的算子理论，推导能量估计与正则性界。

实验结果

研究问题

• RQ1 能否在任意短的时间内，通过局域外部压力精确控制三维有表面张力水波？
• RQ2 几何控制条件在三维水波系统中是否既是充分条件也是必要条件？
• RQ3 在高维情形下，如何克服拟线性 PDE 控制理论中 Ingham 不等式缺失的问题？
• RQ4 曲率项 $ H(\eta) $ 在非线性水波系统可控性中起何种作用？
• RQ5 能否通过不同的分析技术，将 Alazard、Baldi 与 Han-Kwan 在二维情形下的可控性结果推广至三维？

主要发现

• 对于足够小且光滑的初态与终态，三维有表面张力水波在任意短的时间内均可实现精确可控性。
• 几何控制条件是可控性的充分必要条件，确保 $ \mathbb{T}^d $ 中每条测地线最终都会进入控制区域 $ \omega $。
• 该结果可推广至无限深度情形，证明方法不变，但为简化起见本文考虑有限深度。
• 高频分量通过半经典方法控制，而低频分量则依赖于唯一性-紧致性论证。
• 证明了控制压力 $ P_{\mathrm{ext}} $ 属于 $ C([0,T], H^s(\mathbb{T}^d)) $，在 $ \omega $ 上紧支撑，且为实值函数。
• 解 $ (\eta, \psi) $ 在 $ C([0,T], H^{s+1/2} \times H^s) $ 中唯一存在，且与初态和终态一致。