[论文解读] Global regularity of 2D density patches for inhomogeneous Navier-Stokes

Francisco Gancedo, Eduardo García-Juárez|arXiv (Cornell University)|Dec 27, 2016

Navier-Stokes equation solutions参考文献 28被引用 5

一句话总结

该论文在不假设初始数据或密度跃迁大小的条件下，建立了非齐次纳维-斯托克斯方程中二维密度块的全局 $C^{1+\gamma}$ 正则性。通过拟微分演算，并利用利普希茨块在 $$\dot{B}_{\infty,\infty}^{-1+\gamma}$$ 中为乘子的事实，证明了当初始速度属于 $H^{\gamma+s}$ 且 $s\in(0,1-\gamma)$ 时，$C^{1+\gamma}$ 正则性与曲率保持性在全局时间内被保留。

ABSTRACT

This paper is about Lions' open problem on density patches \cite{LIONS}: whether inhomogeneous incompressible Navier-Stokes equations preserve the initial regularity of the free boundary given by density patches. Using classical Sobolev spaces for the velocity, we first establish the propagation of $C^{1+γ}$ regularity with $0

研究动机与目标

• 解决利昂斯提出的开放问题：在非齐次二维纳维-斯托克斯方程中，$C^{1+\gamma}$ 正则性的密度块是否能在全局时间内保持？
• 克服密度与速度之间的拟线性耦合，该耦合使正则性传播比 Boussinesq 系统更复杂。
• 在无速度或密度小量条件的前提下，对任意正密度跃迁的初始数据建立全局正则性。
• 通过控制切向矢量场的演化方程，将结果推广至 $C^{2+\gamma}$ 正则性。
• 通过关键量在时间上的 $L^1$ 估计，证明了块边界在所有时间内保持 $C^{1+\gamma}$ 和 $C^{2+\gamma}$。

提出的方法

• 使用水平集函数 $\varphi$ 描述块边界 $D(t) = \{x : \varphi(x,t) > 0\}$，其演化满足 $\partial_t \varphi + u \cdot \nabla \varphi = 0$。
• 定义切向矢量场 $W = \nabla^\perp \varphi$，其满足 $\partial_t W + u \cdot \nabla W = W \cdot \nabla u$，用于追踪块边界的演化。
• 通过涉及 $\|W \cdot \nabla^2 u\|_{C^\gamma}$ 的格朗沃尔类型不等式，估计 $\|\nabla W\|_{C^\gamma}$ 来控制 $C^{2+\gamma}$ 正则性。
• 利用傅里叶分析与核分解，将 $W \cdot \nabla^2 u$ 分解为两项 $I_1$ 与 $I_2$，并利用 $W$ 的切向性质。
• 应用 Bertozzi 与 Constantin [3] 的引理，通过 $L^\infty$ 与奇异积分算子（SIO）范数，分别控制 $\|I_1\|_{C^\gamma}$ 与 $\|I_2\|_{C^\gamma}$。
• 利用初始速度属于 $H^{1+\gamma+s}$ 及 $u \in L^1(0,T; C^{1+\gamma})$，建立 $W \cdot \nabla^2 u$ 在 $L^1(0,T; C^\gamma)$ 中的有界性，从而确保正则性的全局保持。

实验结果

研究问题

• RQ1 在非齐次二维纳维-斯托克斯方程中，若无小量假设，二维密度块的 $C^{1+\gamma}$ 正则性是否能在全局时间内保持？
• RQ2 块边界的 $C^{2+\gamma}$ 正则性能否全局保持？若能，对初始数据有何条件要求？
• RQ3 密度与速度之间的拟线性耦合如何影响正则性的传播？能否在无小量假设下克服这一障碍？
• RQ4 块边界的曲率是否在时间上保持不变？切向矢量场 $W$ 在此控制中起什么作用？
• RQ5 是否可利用利普希茨块在 $\mathcal{M}(\dot{B}_{\infty,\infty}^{-1+\gamma})$ 中的乘子性质，来控制速度正则性，从而控制块的正则性？

主要发现

• 对于任意 $\gamma \in (0,1)$，初始速度 $u_0 \in H^{\gamma+s}$ 且 $s \in (0,1-\gamma)$，以及任意正密度 $\rho_1, \rho_2 > 0$，在无小量假设下，建立了二维密度块的全局 $C^{1+\gamma}$ 正则性。
• 块边界曲率在所有时间内保持在 $C^\gamma$ 中，意味着 $C^{2+\gamma}$ 正则性被全局保持。
• 证明了 $u \in L^1(0,T; C^{1+\gamma})$，使得可利用粒子轨迹传播块的正则性。
• 证明了量 $W \cdot \nabla^2 u$ 属于 $L^1(0,T; C^\gamma)$，这对控制 $\nabla W$ 的演化及曲率至关重要。
• 通过分解 $W \cdot \nabla^2 u = I_1 + I_2$ 及使用 SIO 引理，得到 $\|I_1\|_{C^\gamma} + \|I_2\|_{C^\gamma} \leq c(\|u_0\|_{H^{1+\gamma+s}}, T)$，确保了时间上的有界性。
• 证明依赖于 $W$ 与块相切的性质，因此 $\mathcal{F}(\rho W_k)$ 在核项中消失，简化了傅里叶分解。