[论文解读] Global solutions of compressible Navier-Stokes equations with a density-dependent viscosity coefficient

Ting Zhang|ArXiv.org|Apr 10, 2009

Navier-Stokes equation solutions参考文献 12被引用 11

一句话总结

本文在初始能量范数满足小量条件的前提下，建立了二维和三维可压缩N-S方程在密度依赖粘性系数 $\lambda(\rho)$ 下经典解的全局存在性、唯一性以及大时间行为。关键贡献在于构建了一个严格的解理论，允许初始振荡任意大，仅需 $\rho_0 - \tilde{\rho}$ 和 $u_0$ 的 $L^2$-范数较小，从而推广了Danchin和Matsumura-Nishida的先前结果。

ABSTRACT

We prove the global existence and uniqueness of the classical (weak) solution for the 2D or 3D compressible Navier-Stokes equations with a density-dependent viscosity coefficient ($λ=λ(ρ)$). Initial data and solutions are only small in the energy-norm. We also give a description of the large time behavior of the solution. Then, we study the propagation of singularities in solutions. We obtain that if there is a vacuum domain at initially, then the vacuum domain will exists for all time, and vanishes as time goes to infinity.

研究动机与目标

• 建立 $\mathbb{R}^2$ 和 $\mathbb{R}^3$ 中可压缩N-S方程在 $\lambda(\rho)$ 下全局经典解的存在性与唯一性。
• 分析解的大时间行为，包括衰减估计与真空传播。
• 通过将初始 $H^3$-范数的小量条件放松为仅要求 $\rho_0 - \tilde{\rho}$ 和 $u_0$ 的 $L^2$-范数较小，推广Danchin和Matsumura-Nishida的先前结果。
• 研究奇点的传播，特别是真空区域的持续存在与衰减。

提出的方法

• 在希尔伯特空间框架 $H^3(\mathbb{R}^N) \hookrightarrow C^1(\mathbb{R}^N)$ 中使用经典分析方法，以保证解的正则性。
• 引入势能密度 $G(\rho) = \rho \int_{\tilde{\rho}}^{\rho} \frac{P(s) - P(\tilde{\rho})}{s^2} ds$ 以控制压力量项。
• 利用旋度矩阵 $w^{j,k} = \partial_k u^j - \partial_j u^k$ 和函数 $F = (\lambda + 2\mu)\mathrm{div}u - P(\rho) + P(\tilde{\rho})$ 对速度拉普拉斯算子进行分解。
• 在傅里叶空间中应用二元分解及贝索夫空间技术，包括范数 $\|\nabla u\|_{L^\infty} \lesssim \|u\|_{L^2} + \|\nabla u\|_{\dot{B}^{0}_{\infty,\infty}} \log(1 + \|\Delta u\|_{L^p}/\|\nabla u\|_{\dot{B}^{0}_{\infty,\infty}})$。
• 通过应用Gronwall不等式与弱紧致性论证，在粘性系数趋于零的逼近中取极限，证明三维中弱解的存在性。
• 通过 $\Psi = \int |\rho^\delta - \rho|^2 dx$ 构造类似熵的估计，证明逼近序列的强收敛性及极限的唯一性。

实验结果

研究问题

• RQ1 当初始数据仅在能量范数下较小，而初始振荡大小任意时，可压缩N-S方程在 $\lambda(\rho)$ 下是否仍存在全局经典解？
• RQ2 解的大时间行为如何，特别是衰减速率与真空持续性的表现？
• RQ3 当初始数据具有大振荡但 $\rho_0 - \tilde{\rho}$ 和 $u_0$ 的 $L^2$-范数较小时，解的行为如何？
• RQ4 若初始即存在真空区域，其是否能持续存在于所有时间，或是否随 $t \to \infty$ 而消失？
• RQ5 该存在性理论能否在类似小量假设下推广至三维中的弱解？

主要发现

• 在 $\|\rho_0 - \tilde{\rho}\|_{L^2} + \|u_0\|_{L^2}$ 足够小的条件下，二维和三维可压缩N-S方程在 $\lambda(\rho)$ 下存在全局经典解。
• 解满足对所有 $t \geq 0$ 有 $\frac{1}{2}\underline{\rho}_1 \leq \rho(x,t) \leq \bar{\rho}$，确保密度的全局正性和有界性。
• 若初始存在真空区域，则其将持续存在于所有时间，并在 $t \to \infty$ 时趋于消失，从而确认了解的长期正则性与衰减性。
• 解随时间衰减，且具有显式估计：$\|u\|_{H^4}^2$ 在 $[0,\infty)$ 上可积，且 $\|\rho - \tilde{\rho}\|_{H^3} + \|u\|_{H^3}$ 保持有界。
• 在相同小量假设下，三维中全局弱解存在，将结果从经典解推广至弱解。
• 通过相对熵与Gronwall不等式，利用 $\rho^\delta \to \rho$ 在 $L^k(\mathbb{R}^N \times [0,\infty))$ 中的强收敛性（对所有 $k \in [2,\infty)$），证明极限函数 $(\rho, u)$ 为弱解。