[论文解读] Long time decay for global solutions to the Navier-Stokes equations in Sobolev-Gevery spaces

Hajer Orf|arXiv (Cornell University)|Mar 7, 2019

Advanced Mathematical Physics Problems参考文献 5被引用 4

一句话总结

本文在Sobolev-Gevery空间中建立了三维不可压缩Navier-Stokes方程全局解的长时间衰减性，具体证明了全局解的$\dot{H}^{1/2}_{a,1}$-范数在时间趋于无穷时趋于零。通过在加权Sobolev-Gevery框架下使用傅里叶分析与能量估计，作者将先前关于$\dot{H}^{1/2}$与$\dot{H}^{1}_{a,\sigma}$中衰减的结果推广至极限空间$\dot{H}^{1/2}_{a,1}$，并展示了高阶齐次Sobolev范数中的多项式衰减速率。

ABSTRACT

In this paper, we prove that if $u\in C([0,\infty), \dot{H}^{1/2}_{a,1}(\mathbb{R}^3))$ is a global solution of 3D incompressible Navier-Stokes equations, then $\|u\|_{\dot{H}^{1/2}_{a,1}}$ decays to zero as time approaches infinity. Fourier analysis and standard techniques are used.

研究动机与目标

• 在临界Sobolev-Gevery空间$\dot{H}^{1/2}_{a,1}(\mathbb{R}^3)$中建立三维不可压缩Navier-Stokes方程全局解的长时间衰减性。
• 将先前在$\dot{H}^{1/2}$与$\dot{H}^{1}_{a,\sigma}$中关于衰减的结果推广至极限空间$\dot{H}^{1/2}_{a,1}$，该空间通过Gevrey类结构引入了指数型加权。
• 证明全局解在$\dot{H}^{1/2}_{a,1}$-范数下对小扰动的稳定性，确保邻近初值下全局解的存在性得以保持。
• 推导高阶Sobolev范数的定量衰减速率，表明当$t \to \infty$时，有$\|u(t)\|_{\dot{H}^s} = o(t^{-(s-1/2)/2})$，其中$s \geq 1/2$。

提出的方法

• 利用傅里叶变换与频域局部化技术，分析$\dot{H}^{1/2}_{a,1}$-范数中解的演化，该范数通过 dyadic 频率块上的加权和定义。
• 在$\dot{H}^{1/2}_{a,1}$-空间中使用能量估计，推导出涉及$\|u(t)\|_{\dot{H}^{1/2}_{a,1}}^2$与$\|u(t)\|_{\dot{H}^{3/2}_{a,1}}^2$的微分不等式，以控制增长。
• 对扰动解的差分方程应用Gronwall不等式，利用$\|u\|_{\dot{H}^1_{a,1}}^4$在时间上的可积性，控制$\dot{H}^{1/2}_{a,1}$-范数中差值的增长。
• 通过齐次Sobolev空间中的归纳法与插值，从基础情形$s = 1/2$出发，推导出$\|u(t)\|_{\dot{H}^s}$的衰减速率。
• 通过在合适函数空间中使用不动点论证，建立$\dot{H}^{1/2}_{a,1}$中的局部与全局适定性，利用非线性项$u \cdot \nabla u$的结构。
• 依赖于$\|u(t)\|_{\dot{H}^{1/2}} \to 0$当$t \to \infty$（由Gallager, Iftimie, Planchon所得）作为高阶衰减的关键自举输入。

实验结果

研究问题

• RQ1 三维Navier-Stokes方程全局解的$\dot{H}^{1/2}_{a,1}$-范数是否在$t \to \infty$时趋于零？
• RQ2 当$t \to \infty$时，$\|u(t)\|_{\dot{H}^s}$（$s \geq 1/2$）的衰减速率如何？
• RQ3 能否在$\dot{H}^{1/2}_{a,1}$中证明全局解对同空间内小扰动的稳定性？
• RQ4 若初值足够小，$\dot{H}^{1/2}_{a,1}$中解的最大存在时间是否为无穷？
• RQ5 非线性项$u \cdot \nabla u$的结构如何影响加权Gevrey-Sobolev框架下的长时间行为？

主要发现

• 任意三维不可压缩Navier-Stokes方程全局解$u$的$\dot{H}^{1/2}_{a,1}$-范数满足$\lim_{t \to \infty} \|u(t)\|_{\dot{H}^{1/2}_{a,1}} = 0$。
• 解在更高阶齐次Sobolev范数中呈现多项式衰减：当$t \to \infty$时，有$\|u(t)\|_{\dot{H}^s} = o(t^{-(s-1/2)/2})$，对所有$s \geq 1/2$成立。
• 若初值满足$\|u(0)\|_{\dot{H}^{1/2}_{a,1}} < 1/C$，则解全局存在（$T^* = \infty$）。
• 若最大存在时间$T^*$有限，则有$\int_0^{T^*} \|u(t)\|_{\dot{H}^{3/2}_{a,1}}^2 dt = \infty$，表明高阶能量的$L^2$-范数发生爆破。
• 全局解具有稳定性：若$\|v^0 - u(0)\|_{\dot{H}^{1/2}_{a,1}}^2 \leq \frac{1}{4} \exp\left(-\frac{C}{2} \int_0^\infty \|u(z)\|_{\dot{H}^1_{a,1}}^4 dz\right)$，则$v$全局存在，且$\|v(t) - u(t)\|_{\dot{H}^{1/2}_{a,1}}^2$被一个衰减指数有界。
• $\|u(t)\|_{\dot{H}^{1/2}_{a,1}}^2$可表示为加权和$\sum_{k=0}^\infty \frac{(2a)^k}{k!} \|u(t)\|_{\dot{H}^{(1+k)/2}}^2$，当$t \to \infty$时趋于零。