[论文解读] Inhomogeneous Navier-Stokes equations in the half-space, with only bounded density

Raphaël Danchin, Ping Zhang|arXiv (Cornell University)|Apr 11, 2013

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

一句话总结

本论文在初始密度有界且初始速度在临界Besov空间中较小时，建立了半空间中非齐次Navier-Stokes方程解的全局存在性与唯一性。关键结果表明，当非齐次项的$L^∞$范数与水平速度的临界范数相对于垂直速度范数足够小时，解存在且唯一，从而将先前结果推广至包括不连续界面在内的更低正则性密度数据。

ABSTRACT

In this paper, we establish the global existence of small solutions to the inhomogeneous Navier-Stokes system in the half-space. The initial density only has to be bounded and close enough to a positive constant, and the initial velocity belongs to some critical Besov space. With a little bit more regularity for the initial velocity, those solutions are proved to be unique. In the last section of the paper, our results are partially extended to the bounded domain case.

研究动机与目标

• 在初始密度正则性假设最小化的前提下，建立半空间中非齐次Navier-Stokes方程解的全局存在性与唯一性。
• 解决有界但非光滑密度（包括不连续界面）的挑战，这是先前基于Besov型正则性的结果所无法捕捉的。
• 将适定性的临界框架推广至仅具有密度$L^∞$有界性和速度范数小性条件的半空间设置。
• 提供一种框架，其中小性条件依赖于初始速度的垂直分量，从而允许更大的水平分量。

提出的方法

• 基于具有尺度不变性的齐次Besov空间，构建临界函数框架，其尺度不变性与Navier-Stokes系统相匹配。
• 应用拉格朗日坐标处理非齐次项，将问题转化为具有变系数的线性化系统。
• 在时间与空间混合可积性的巴拿赫空间中使用不动点论证，采用$L^r_t(L^p_x)$范数，其中$p \in (1,2d)$。
• 在结合了$X^{p,r}_t$与$X^{\widetilde{p},r}_t$范数及梯度的加权$L^{2r}_t$范数的空间中，对速度-压力对实施压缩映射论证。
• 引入一个改进的指数权重函数$h_\lambda(s,t)$，以控制垂直速度分量的增长并确保压缩性。
• 依赖于半空间中Stokes系统的最大正则性估计，并结合Sobolev嵌入与Hölder不等式以闭合估计。

实验结果

研究问题

• RQ1 当初始密度仅为有界而未必属于Besov空间时，是否可为半空间中的非齐次Navier-Stokes方程建立全局适定性？
• RQ2 初始速度（尤其是其水平与垂直分量）的何种小性条件可确保在密度有界但可能不连续时解的存在性与唯一性？
• RQ3 如何将适定性的临界框架适配至具有无滑移边界条件且密度有界的半空间设置？
• RQ4 是否可能在不假设密度Besov范数小性的情况下，仍能保证全局存在性与唯一性？
• RQ5 该方法能否推广至有界区域？若能，需进行何种修改？

主要发现

• 在初始密度有界且接近正常数的半空间$\mathbb{R}^d_+$中，非齐次Navier-Stokes系统解的全局存在性与唯一性得以确立。
• 初始速度必须属于临界Besov空间$\dot{B}^{-1+\frac{d}{p}}_{p,1}(\mathbb{R}^d_+)$，其中$p \in (1,2d)$，且小性条件依赖于垂直速度范数的指数形式。
• 当满足$\|\rho_0 - 1\|_{\mathcal{M}(\dot{B}^{-1+\frac{d}{p}}_{p,1}(\mathbb{R}^d_+))} + \mu^{-1}\|u_0^h\|_{\dot{B}^{-1+\frac{d}{p}}_{p,1}(\mathbb{R}^d_+)} \leq c \cdot \exp\left(-c^{-1}\mu^{-2}\|u_0^d\|_{\dot{B}^{-1+\frac{d}{p}}_{p,1}(\mathbb{R}^d_+)}\right)$时，解存在，确保小性条件相对于垂直分量成立。
• 在初始速度具有稍强正则性时，解的唯一性得以证明，优于早期要求密度具有更强Besov正则性的结果。
• 结果部分推广至有界区域情形，表明该框架在半空间之外也具有鲁棒性。
• 该方法成功处理了不连续密度界面，通过在Besov空间上使用乘子范数，使得具有显著密度对比的流体混合物得以处理。