[论文解读] A Beale-Kato-Majda Blow-up criterion for the 3-D compressible Navier-Stokes equations

Yongzhong Sun, Chao Wang+1 more|arXiv (Cornell University)|Jan 8, 2010

Navier-Stokes equation solutions参考文献 19被引用 15

一句话总结

本文為3D可压缩Navier-Stokes方程建立了类似Beale-Kato-Majda的爆破准则，证明只要密度有界，强解便保持正则性。证明依赖于在密度上界假设下对有效粘性通量和Gronwall不等式的先验估计，将先前结果推广至允许初始真空和一般区域的情形。

ABSTRACT

We prove a blow-up criterion in terms of the upper bound of the density for the strong solution to the 3-D compressible Navier-Stokes equations. The initial vacuum is allowed. The main ingredient of the proof is extit{a priori} estimate for an important quantity under the assumption that the density is upper bounded, whose divergence can be viewed as the effective viscous flux.

研究动机与目标

• 在存在初始真空的情况下，为3D可压缩Navier-Stokes方程的强解建立爆破准则。
• 通过将爆破与密度的上界关联，将现有Beale-Kato-Majda型准则推广至可压缩情形。
• 证明强解的最大存在时间由密度在 $ L^∞ $ 中的均匀有界性所控制。
• 在密度有界假设下，为有效粘性通量和速度梯度建立先验估计。
• 通过引入Lamé系统并运用Sobolev嵌入与Gronwall不等式，推广先前关于爆破准则的结果。

提出的方法

• 通过将速度梯度分解为对称与反对称部分，推导有效粘性通量的先验估计。
• 利用连续性方程及其导数，通过能量型估计控制 $ \|\nabla \rho\|_{L^q} $ 的演化。
• 应用BMO范数与对数Sobolev不等式，将 $ \|\nabla v\|_{L^\infty} $ 控制在 $ \|\nabla \rho\|_{L^q} $ 的范围内，利用 $ \rho $ 的有界性。
• 运用Lamé系统将 $ \nabla^2 w $ 和 $ \nabla^2 v $ 与速度和密度梯度联系起来。
• 在 $ \|\nabla w\|_{W^{1,q}} $ 和 $ \|\nabla^2 w\|_{L^q} $ 有界的前提下，对 $ \nabla \rho $ 的 $ L^q $-范数应用Gronwall不等式。
• 建立关键估计 $ \|\nabla \rho\|_{L^q} \leq C(1 + \ln(e + \|\nabla \rho\|_{L^q})) $，通过Gronwall不等式完成论证。

实验结果

研究问题

• RQ1 在何种条件下，3D可压缩Navier-Stokes方程的强解将无法全局存在？
• RQ2 是否能以密度的上界而非速度梯度范数来刻画解的爆破？
• RQ3 初始真空的存在如何影响强解的正则性与最大存在时间？
• RQ4 有效粘性通量在控制密度梯度增长中起何种作用？
• RQ5 能否仅通过密度有界性，在可压缩情形下建立类似Beale-Kato-Majda的准则？

主要发现

• 强解的最大存在时间 $ T^* $ 有限当且仅当当 $ t \to T^* $ 时密度 $ \rho $ 的 $ L^\infty $-范数趋于无界。
• 在假设 $ \lambda < 7\mu $ 下，若 $ \|\rho\|_{L^\infty} $ 有界，则 $ \|\nabla \rho\|_{L^q} $ 在 $ [0, T^*) $ 上保持一致有界。
• 估计式 $ \|\nabla v\|_{L^\infty} \leq C(1 + \ln(e + \|\nabla \rho\|_{L^q})) $ 在控制速度梯度增长中起关键作用。
• 有效粘性通量 $ \nabla w $ 满足 $ \|\nabla w\|_{L^2(0,T;L^\infty)} \leq C $ 与 $ \|\nabla^2 w\|_{L^2(0,T;L^q)} \leq C $，其中 $ C $ 依赖于 $ T $、$ M $ 和初始数据。
• 证明依赖于反证法：若 $ \|\rho\|_{L^\infty} < \infty $，则 $ \|\nabla \rho\|_{L^q} $ 保持有界，意味着 $ T^* = \infty $，与有限时间爆破的假设矛盾。
• 该结果推广了早期准则，将 $ \nabla u $ 的 $ L^1(0,T;L^\infty) $-范数替换为 $ \rho $ 的 $ L^\infty $-有界性，从而提供了一项新的正则性准则。