[论文解读] Global regularity of the Navier-Stokes equation on thin three dimensional domains with periodic boundary conditions

Stephen Montgomery-Smith|ArXiv.org|Nov 27, 1998

Navier-Stokes equation solutions参考文献 8被引用 30

一句话总结

本文通过将三维系统视为薄方向上的二维类动力学的扰动，在形如 $[0,l_1] \times [0,l_2] \times [0,ϵ]$ 的细长周期性区域上建立了三维纳维-斯托克斯方程的全局正则性。关键结果表明，在初始数据和外力满足超过小数据估计的大小条件时，解在所有时间保持在 $H^1$ 和 $H^2$ 空间中，且显式边界依赖于区域纵横比和粘性系数。

ABSTRACT

This paper gives another version of results due to Raugel and Sell, and similar results due to Moise, Temam and Ziane, that state the following: the solution of the Navier-Stokes equation on a thin 3 dimensional domain with periodic boundary conditions has global regularity, as long as there is some control on the size of the initial data and the forcing term, where the control is larger than that obtainable via ``small data'' estimates. The approach taken is to consider the three dimensional equation as a perturbation of the equation when the vector field does not depend upon the coordinate in the thin direction.

研究动机与目标

• 在周期性边界条件下，建立三维纳维-斯托克斯方程在细长区域上的解的全局存在性与正则性。
• 通过提出一种新的分析方法，将先前由 Raugel、Sell 以及 Moise-Temam-Ziane 的结果推广，其数据大小假设比小数据理论更宽松。
• 证明解在所有时间保持在 $H^1$ 和 $H^2$ 空间中，从而确保唯一性与光滑性。
• 推导解范数的显式定量估计，其表达式涉及粘性系数、区域尺寸和外力项。

提出的方法

• 通过将速度场分解为薄方向分量与基流形分量，将三维纳维-斯托克斯方程视为二维类系统的扰动。
• 使用勒雷投影以强制满足无散度条件，并在满足周期性边界条件的无散度向量场空间中进行分析。
• 在基域 $[0,l_1] \times [0,l_2]$ 上应用傅里叶分析，以控制高频模态，并通过 $L^4$-范数估计来控制非线性项。
• 采用频率空间的二元分解与柯西-施瓦茨不等式，将四次非线性项 $\|u \cdot \nabla u\|_{L^2}$ 控制在 $\|D^{1/2}u\|_{L^2}$ 范数内。
• 通过能量估计与尺度变换方法，建立 $H^1$ 与 $H^2$ 空间中的先验估计，以将区域与粘性参数归一化为数量级为一的值。
• 使用尺度变换方法，将一般情形约化为 $l_1, l_2, \nu \in [1/2, 2]$ 的归一化设置，从而简化分析与边界估计。

实验结果

研究问题

• RQ1 在初始数据与外力满足何种条件下，细长区域上的三维纳维-斯托克斯方程保持全局正则性？
• RQ2 是否可以在不假设初始数据或外力范数较小的条件下，建立纳维-斯托克斯方程在细长区域上的全局正则性？
• RQ3 解在 $H^1$ 与 $H^2$ 空间中的范数如何依赖于区域纵横比 $l_1/l_2$、粘性系数 $\nu$ 以及外力大小？
• RQ4 在非小数据条件下，解的 $H^1$-范数是否能在所有时间保持一致有界？
• RQ5 薄方向在何种程度上使得二维类估计能够用于控制三维动力学？

主要发现

• 在条件 $M \leq c^{-1} \frac{\nu l_2^{1/2}}{l_1}$ 下，对所有 $t \geq 0$ 均建立 $H^1$ 全局正则性，其中 $M = \max\{\|u(0)\|_{H^1}, \frac{l_1}{\nu} \|f\|_{L^\infty_t(L^2)}\}$。
• 解的 $H^1$-范数被统一有界于 $c \max\left\{ M, \frac{l_1^{3/2}}{\nu l_2^{1/2}} \epsilon^{-1/2} M^2 \right\}$，表明即使对中等大小的初始数据也能实现控制。
• 当 $t \geq c \frac{l_1^2}{\nu}$ 时，$H^1$-范数衰减至 $c \max\left\{ \frac{l_1}{\nu} F, \frac{l_1^{7/2}}{\nu^3 l_2^{1/2}} \epsilon^{-1/2} F^2 \right\}$，表明长期趋于稳定。
• 解几乎处处属于 $H^2$ 空间，且对所有 $t < \infty$ 有 $\int_0^t \|u(s)\|_{H^2}^2 ds < \infty$，从而保证了更高阶正则性。
• 通过频率分解与 $D^{1/2}$-半范数估计，控制了速度场的 $L^4$-范数，导出关键不等式 $\|f\|_{L^4}^4 \leq c \|D^{1/2}f\|_{L^2}^4$，适用于周期函数。
• 尺度变换方法将一般情形约化为 $l_1, l_2, \nu \in [1/2, 2]$ 的归一化区域，简化了边界对几何与物理参数依赖关系的表达。