[论文解读] Regularity of weak solutions of the compressible isentropic Navier-Stokes equation

Boris Haspot|arXiv (Cornell University)|Jan 11, 2010

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

一句话总结

该论文在周期边界条件下，建立了二维和三维压缩等熵N-S方程弱解的正则性与唯一性，即使初始密度不具有正的下界也成立。证明了只要密度在 $L^\infty(L^{(N+1+\epsilon)\gamma})$ 中有界（对任意小的 $\epsilon>0$），弱解即变得光滑，并表明当 $\rho \in L^\infty$ 时，略低于临界值的初始数据会导致解发生爆破。分析依赖于先进的 $L^p(L^q)$ 估计以及涉及Riesz变换和压强项的换位子估计。

ABSTRACT

Regularity and uniqueness of weak solution of the compressible isentropic Navier-Stokes equations is proven for small time in dimension $N=2,3$ under periodic boundary conditions. In this paper, the initial density is not required to have a positive lower bound and the pressure law is assumed to satisfy a condition that reduces to $γ>1$ when $N=2,3$ and $P(ρ)=aρ^γ$. In a second part we prove a condition of blow-up in slightly subcritical initial data when $ρ\in L^{\infty}$. We finish by proving that weak solutions in $\T^{N}$ turn out to be smooth as long as the density remains bounded in $L^{\infty}(L^{(N+1+\e)γ})$ with $\e>0$ arbitrary small.

研究动机与目标

• 在周期边界条件下，建立二维和三维压缩等熵N-S方程弱解的存在性、正则性与唯一性。
• 去除初始密度具有正下界的假设，允许真空形成。
• 以略低于临界值的初始数据中密度 $L^\infty$-范数的增长来刻画解的爆破行为。
• 证明若密度在 $L^\infty(L^{(N+1+\epsilon)\gamma})$ 中有界（对任意小的 $\epsilon>0$），则弱解变得光滑。
• 将正则性理论推广至压强律满足 $P(\rho) = a\rho^\gamma$ 且 $\gamma>1$ 的情形（$N=2,3$），即使 $\gamma$ 接近 1 亦成立。

提出的方法

• 对压强项 $P(\rho)$ 使用 $L^p(L^q)$ 估计，特别通过 Coifman–Meyer 理论分析换位子 $[(\Lambda^{-1}(P(\rho))_j, R_i R_j](\rho u_i)$。
• 应用Riesz变换与Calderón–Zygmund理论以控制速度与密度梯度的正则性。
• 利用Gagliardo–Nirenberg不等式控制 $\sqrt{t}\dot{u}$ 在 $L^2(L^3)$ 中的范数，这对应用Germain的唯一性结果至关重要。
• 依赖Bresch–Desjardins（BD）熵不等式以获得密度的可积性与紧致性。
• 使用时间加权能量估计，引入 $\sigma(t)$ 与 $f(t)$，以控制 $\sqrt{t}\nabla u$、$\sqrt{t}\dot{u}$ 与 $\sqrt{t}\nabla \dot{u}$ 在 $L^2$ 空间中的范数。
• 通过验证解满足 $\nabla \rho$ 与 $\nabla u$ 属于 $L^1_{\text{loc}}(\mathbb{R}_+, B^{1+\epsilon}_{N,\infty})$ 的可积性条件，应用P. Germain [31] 的唯一性结果。

实验结果

研究问题

• RQ1 在初始密度无正下界的情况下，压缩等熵N-S方程的弱解在何种条件下保持正则性？
• RQ2 当初始数据未远离真空时，能否建立弱解的唯一性？
• RQ3 密度的 $L^\infty(L^{(N+1+\epsilon)\gamma})$ 范数在确保弱解光滑性方面起何种精确作用？
• RQ4 密度的 $L^\infty$-范数的增长如何与略低于临界值的初始数据中正则性的破坏相关联？
• RQ5 压强结构 $P(\rho) = a\rho^\gamma$（$\gamma>1$）在多大程度上影响解的正则性与爆破行为？

主要发现

• 证明了在 $\rho \in L^\infty(L^\infty)$ 的假设下，即使初始密度无正下界，压缩等熵N-S方程的弱解在 $[0,T_0]$ 上仍具有唯一性与正则性。
• 解满足能量不等式（1.4）以及时间加权估计（7.90）与（7.91），包括 $\sqrt{t}\nabla u \in L^\infty_T(L^2)$ 与 $\sqrt{t}\dot{u} \in L^2_T(L^3)$，这些是唯一性所必需的关键条件。
• 通过验证Germain唯一性定理[31]的条件，证明了解在 $[0,T_0]$ 上唯一，并通过正则性的传播唯一地延拓至 $[T_0, \infty)$。
• 证明 $\rho \in L^\infty(L^{(N+1+\epsilon)\gamma})$ 对任意小的 $\epsilon>0$ 成立，可推出弱解变得光滑，从而确立了精确的正则性准则。
• 论文证明了当 $\rho_0 \in L^\infty$ 时，略低于临界值的初始数据会导致爆破，表明密度的 $L^\infty$-范数是正则性破坏的关键指标。
• 分析确认，为控制换位子项并确保 $\log \rho \in L^\infty$，需满足 $q > 3(\gamma+1)$，这蕴含 $\rho \in L^\infty$ 且 $1/\rho \in L^\infty$。