[论文解读] Long-time solvability of the Navier-Stokes-Boussinesq equations with almost periodic initial large data

Slim Ibrahim, Tsuyoshi Yoneda|arXiv (Cornell University)|Sep 28, 2011

Navier-Stokes equation solutions参考文献 13被引用 4

一句话总结

该论文在强密度层结条件下，证明了具有大尺度、近乎周期性初值的Navier-Stokes-Boussinesq方程的长时间可解性。通过引入$ε$-正则化和依赖于$ε$的快速奇异振荡极限，作者基于极限二维Navier-Stokes系统的全局可解性，利用$ε$-依赖误差项的控制（采用和封闭频段上的$ℓ^1$-范数），通过一种自举论证方法证明了全局存在性。

ABSTRACT

We investigate large time existence of solutions of the Navier-Stokes-Boussinesq equations with spatially almost periodic large data when the density stratification is sufficiently large. In 1996, Kimura and Herring \cite{KH} examined numerical simulations to show a stabilizing effect due to the stratification. They observed scattered two-dimensional pancake-shaped vortex patches lying almost in the horizontal plane. Our result is a mathematical justification of the presence of such two-dimensional pancakes. To show the existence of solutions for large times, we use $\ell^1$-norm of amplitudes. Existence for large times is then proven using techniques of fast singular oscillating limits and bootstrapping argument from a global-in-time unique solution of the system of limit equations.

研究动机与目标

• 为了从数学上解释在层结流体中观察到的二维薄煎锅状涡旋区的数值现象。
• 为了在大尺度、空间上近乎周期性的初值下，建立Navier-Stokes-Boussinesq系统在时间全局存在解。
• 为了克服在近乎周期性设定下能量估计的失效，提出一种基于振幅$ℓ^1$-范数的新函数框架。
• 为了将快速奇异振荡极限方法推广至近乎周期性设定，利用和封闭频段。
• 为了证明极限系统退化为已知在近乎周期性情况下具有全局解的二维Navier-Stokes方程。

提出的方法

• 引入一个和封闭的频段$Λ \subset \mathbb{R}^3$以模拟近乎周期函数，推广周期情形。
• 通过傅里叶振幅的$ℓ^1$-范数定义函数空间$X^\Lambda(\mathbb{R}^3)$，以控制大初值。
• 应用快速奇异振荡极限方法，将系统分解为极限系统和余项方程。
• 采用自举论证：首先证明极限系统（等价于二维Navier-Stokes方程）的全局存在性，然后通过$ε$-正则化和误差估计控制余项。
• 利用投影算子$\mathcal{P}_\eta$和变量替换，控制误差项$E^0$和$E^{\sigma_0}$，以处理时间上的快速振荡。
• 应用Gronwall不等式，对$\mathcal{P}_\eta y^0$和$\mathcal{P}_\eta y^{\sigma_0}$进行有界，表明当$N$和$\eta$足够大时，其可被任意缩小。

实验结果

研究问题

• RQ1 在强层结条件下，具有大尺度、近乎周期性初值的Navier-Stokes-Boussinesq方程是否能存在全局解？
• RQ2 强密度层结是否会使流体流动稳定为类二维薄煎锅状结构，如数值模拟所观察到的？
• RQ3 标准能量方法能否适用于近乎周期性初值，还是需要新的函数框架？
• RQ4 在快速振荡下，Navier-Stokes-Boussinesq方程的极限系统在近乎周期性设定下是否等价于二维Navier-Stokes方程？
• RQ5 能否通过$ℓ^1$-振幅范数和频段投影，实现对奇异极限中产生的误差项在时间上的统一控制？

主要发现

• 在快速奇异振荡下，Navier-Stokes-Boussinesq方程的极限系统等价于二维Navier-Stokes方程，该方程在近乎周期性设定下存在唯一全局解。
• 当层结参数$\mathcal{N}$足够大时，余项方程可通过基于极限系统全局可解性的自举论证得到控制。
• $\u03b5$-正则化系统使得误差项$E^0$和$E^{\sigma_0}$可实现统一控制，通过选择足够大的$N$和$\eta$，可使其任意小。
• 在和封闭频段上，振幅的$\u2113^1$-范数提供了一个合适的函数框架，用于处理能量估计失效时的大初值。
• 对于$X^\Lambda(\mathbb{R}^3)$中初值，只要$\ell^1$-范数足够大，且层结足够强，解在时间上全局存在。
• 该方法成功地从数学上解释了Kimura和Herring在数值模拟中观察到的二维薄煎锅状涡旋区的形成。