[论文解读] Strong Time-Periodic Solutions to the 3D Primitive Equations subject to Arbitrary Large Forces

Giovanni P. Galdi, Matthias Hieber+1 more|arXiv (Cornell University)|Sep 9, 2015

Advanced Mathematical Modeling in Engineering参考文献 8被引用 4

一句话总结

本文证明了在任意大周期性强迫项下，3D原始方程存在强时间周期解，且无需小量假设。通过结合Galerkin逼近与Brouwer不动点定理构造弱时间周期解，再证明弱-强唯一性，作者表明该弱解继承了强正则性，从而对任意强迫大小（包括强迫为时间常数时的定常解）均存在强解。

ABSTRACT

We show that the three-dimensional primitive equations admit a strong time-periodic solution of period $T>0$, provided the forcing term $f\in L^2(0,\mathcal T; L^2(Ω))$ is a time-periodic function of the same period. No restriction on the magnitude of $f$ is assumed. As a corollary, if, in particular, $f$ is time-independent, the corresponding solution is steady-state.

研究动机与目标

• 建立在任意大周期性强迫下3D原始方程强时间周期解的存在性。
• 克服先前结果中对强迫项需满足小量条件的限制。
• 将原始方程定常解的类Leray存在性结果推广至更广情形，类比于Navier-Stokes方程的情形。
• 通过基于弱解与唯一性的新方法，证明即使强迫项不小时，时间周期解依然存在。

提出的方法

• 结合Galerkin方法与Brouwer不动点定理，构造弱时间周期解。
• 利用弱解的时间周期性，确定其在某一时刻 $ t_0 $ 的初始数据，该数据属于 $ H^1( abla) $。
• 应用初值问题的全局强适定性结果（命题4.1），从初始数据 $ v(t_0) $ 生成唯一的强解。
• 通过能量估计与Friedrichs方法的时间平滑，比较弱解 $ v $ 与强解 $ u $，证明弱-强唯一性。
• 运用分部积分法及Poincaré/Young不等式，对差值 $ ho = v - u $ 进行估计，导出Gronwall型估计。
• 最终得出 $ v \to u $ 几乎处处（a.e.）在时空上成立，因此 $ v $ 继承强正则性，即为强解。

实验结果

研究问题

• RQ1 3D原始方程在任意大周期性强迫项下是否可能存在强时间周期解？
• RQ2 强迫项无小量假设是否会导致强时间周期解不存在？
• RQ3 弱-强唯一性原理是否可应用于时间周期弱解，以提升其正则性？
• RQ4 是否可将原始方程的定常解存在性结果推广至任意强迫大小，类比于Leray对Navier-Stokes方程的结果？

主要发现

• 对于任意非零时间周期强迫 $ f \in L^2(0, \tau; L^2\left(\nabla\right)) $，3D原始方程均存在强时间周期解，且与 $ f $ 的大小无关。
• 该解通过先构造弱时间周期解，再利用弱-强唯一性证明其为强解。
• 该方法避免了先前Tachim Medjo与Hsia-Shiue工作中对强迫项的小量假设。
• 当 $ f $ 为时间常数时，时间周期解退化为定常解，从而证明了对任意大强迫下定常解的存在性。
• 证明依赖于时间平滑、能量估计与Gronwall引理，表明弱解与强解重合。
• 该结果显著扩展了经典Navier-Stokes框架至原始方程，实现了对任意强迫大小下解的存在性证明。