[论文解读] Espaces critiques pour le système des equations de Navier-Stokes incompressibles

Pascal Auscher, Philippe Tchamitchian|ArXiv.org|Dec 5, 2008

Navier-Stokes equation solutions参考文献 10被引用 9

一句话总结

本文提出一个抽象框架，用于识别函数空间 E，使得纳维-斯托克斯方程在初始数据较小时存在全局温和解，或在任意初始数据下存在局部解，采用广义卡托型方法。该框架建立了关于 E 的通用、可验证条件——基于利特尔伍德-帕利分解和极大函数估计——以确保解的存在性与正则性，并将其应用于经典空间（如勒贝格、洛伦茨、贝索夫和莫雷空间）以及非平移不变的 2-微观局部空间。

ABSTRACT

In this work, we exhibit abstract conditions on a functional space E who insure the existence of a global mild solution for small data in E or the existence of a local mild solution in absence of size constraints for a class of semi-linear parabolic equations, which contains the incompressible Navier-Stokes system as a fundamental example. We also give an abstract criterion toward regularity of the obtained solutions. These conditions, given in terms of Littlewood-Paley estimates for products of spectrally localized elements of $E$, are simple to check in all known cases: Lebesgue, Lorents, Besov, Morrey... spaces. These conditions also apply to non-invariant spaces E and we give full details in the case of some 2-microlocal spaces. The following comments did not show on the first version: This article was written around 1998-99 and never published, because at that time, Koch and Tataru announced their result on well-posedness of Navier-stokes equations with initial data in $BMO^{-1}$. We believe though that some results and counterexamples here are of independent interest and we make them available electronically.

研究动机与目标

• 表征满足纳维-斯托克斯系统在小初始数据下存在全局温和解，或在无大小限制下存在局部解的函数空间 E。
• 通过识别巴拿赫空间 E 上的抽象、可验证条件，推广卡托方法（KW），以确保温和形式中双线性项的有界性。
• 将理论扩展至非平移不变空间，包括 2-微观局部空间，从而扩大适用范围。
• 为包括洛伦茨、贝索夫、莫雷以及广义 2-微观局部空间在内的多种函数空间，提供统一的存在性与正则性准则。
• 建立一个通用框架，通过简化对已知函数空间中解的存在性与正则性的验证，将其归结为检查少数结构性质。

提出的方法

• 将纳维-斯托克斯系统的温和解形式形式化为 $ u = S u_0 + B(u,u) $，其中 $ S $ 为热半群，$ B $ 为建模非线性项的双线性算子。
• 引入一类‘可接受’的对偶对 $ (E, E^\sharp) $，其中 $ E $ 为函数空间，$ E^\sharp $ 为对偶型空间，通过 dyadic 分解确保双线性项的有界性。
• 利用利特尔伍德-帕利分解，以频带局部化范数估计双线性项 $ B(u,v) $，利用涉及 $ (1 + 2^j \tau)^{-N} $ 和 $ (1 + 2^j \tau)^{-p} $ 的衰减估计。
• 通过关于极大函数和频带局部化的条件定义‘良好’巴拿赫空间，确保双线性算子 $ B $ 在 $ \tilde{F}_N $ 上连续，$ \tilde{F}_N $ 为取值于 $ E $ 的连续函数空间。
• 通过证明 $ \tilde{F}_N $ 中的解满足更高阶的衰减与光滑性估计，建立正则性，从而推出在 $ (0,\infty) \times \mathbb{R}^3 $ 上的 $ C^\infty $ 正则性。
• 通过引入由密度函数 $ \eta $ 定义的 2-微观局部空间，将框架应用于非平移不变空间，并在 $ \eta $ 满足狄尼型条件时，证明存在性与正则性。

实验结果

研究问题

• RQ1 哪些函数空间 E 允许纳维-斯托克斯方程在足够小的初始数据下存在全局温和解？
• RQ2 巴拿赫空间 E 的哪些抽象条件可确保温和形式中双线性项 $ B $ 的有界性，从而支持皮卡迭代？
• RQ3 卡托方法能否扩展至非平移不变函数空间（如 2-微观局部空间）？
• RQ4 保证解的存在性与更高正则性的函数空间的最小结构条件是什么？
• RQ5 经典空间（如洛伦茨、贝索夫和莫雷空间）如何融入此抽象框架？利特尔伍德-帕利分解在验证条件中起什么作用？

主要发现

• 本文建立了一个全局温和解存在的通用准则：若巴拿赫空间 E 满足其极大函数与频带局部化方面的某些条件，则 $ B $ 在 $ \tilde{F}_N $ 上连续，从而通过皮卡迭代确保解的存在性。
• 对任意 $ s' > 0 $，若初始数据 $ u_0 \in \dot{C}^{-1,s'}_S $ 的范数足够小，且集合 $ S \subset \mathbb{R}^3 $ 的密度函数满足狄尼条件，则在 $ (0,\infty) \times \mathbb{R}^3 $ 上存在全局 $ C^\infty $ 解。
• 解满足对所有 $ N $ 有 $ \|B(u,u)\|_{\tilde{F}_N^\sharp} \leq C_N \|u\|_{\tilde{F}_N}^2 $，确认双线性项在解空间中受到良好控制。
• 该方法可统一应用于经典空间：勒贝格、洛伦茨、贝索夫、莫雷及特里贝耳-利佐尔金空间，其条件易于验证。
• 该框架可扩展至非平移不变空间：对于由狄尼连续密度函数 $ \eta $ 定义的 2-微观局部空间，在相同抽象条件下证明了全局存在性与光滑性。
• 当 $ t \to 0 $ 时，解在 $ \dot{C}^{-1,s'}_S $ 的弱-* 拓扑中收敛于初始数据，确认了正确的初始迹。