[论文解读] Quantitative lower bound for lifespan for solution of Navier-Stokes equations

E. Ostrovsky, L. Sirota|arXiv (Cornell University)|Jun 26, 2013

Navier-Stokes equation solutions参考文献 30被引用 6

一句话总结

本文为当初始数据 $ a(x) $ 属于 Lebesgue-Riesz 空间 $ L_d(\mathbb{R}^d) $ 时，建立了 $ \mathbb{R}^d $ 上多维 Navier-Stokes 方程弱解寿命 $ T $ 的定量下界，其中 $ d \geq 3 $。通过半群理论以及重排不变空间与 Lorentz 型空间中的估计，作者推导出 $ T $ 有正下界的显式条件，该下界依赖于初始数据范数；若该范数足够小，则可保证解全局存在。

ABSTRACT

We find a simple quantitative lower bound for lifespan of solution of the multidimensional initial value problem for the Navier-Stokes equations in whole space when the initial function belongs to the correspondent Lebesgue-Riesz space, and give some a priory estimations for solution in some rearrangement invariant spaces.

研究动机与目标

• 推导多维 Navier-Stokes 方程在 $ \mathbb{R}^d $，$ d \geq 3 $ 情形下，初始数据属于 $ L_d(\mathbb{R}^d) $ 时解寿命 $ T $ 的定量且显式的下界。
• 在重排不变空间与 Lorentz 型函数空间中，拓展并改进现有弱解的先验估计。
• 基于 $ L_d $ 范数的小性，给出解全局存在的时间条件。
• 将框架推广至含二阶椭圆微分算子与非线性项的抽象抛物型方程，借助半群理论与 Lipschitz 条件。

提出的方法

• 通过热半群 $ e^{t\Delta} $ 的常数变易公式，将 Navier-Stokes 方程表述为弱解形式。
• 利用 Helmholtz-Weyl 投影 $ Q $ 消去压强项，将系统表示为 Riesz 变换与散度为零的向量场形式。
• 在 Lorentz 型空间与 Lebesgue-Riesz 空间中，利用热核估计与 Young 不等式，进行时空卷积估计。
• 建立 $ u $ 与 $ \nabla u $ 的 $ L_q $-范数估计，时间加权衰减为 $ t^{(1-d/q)/2} $，从而实现先验控制。
• 在完备度量空间中应用压缩映射原理，该空间由取值于 $ X $ 的连续函数构成，利用半群衰减估计 $ \|e^{At}\|_{Y \to X} \leq C t^{-\gamma} $，其中 $ \gamma \in (0,1) $。
• 通过确保解映射在区间 $ [0,T] $ 上保持为压缩映射，推导出 $ T $ 的下界，其中 $ T $ 依赖于初始数据范数与算子常数。

实验结果

研究问题

• RQ1 当初始数据 $ a \in L_d(\mathbb{R}^d) $ 时，多维 Navier-Stokes 方程弱解寿命 $ T $ 的定量下界是什么？
• RQ2 在重排不变函数空间中，如何根据初始数据范数与算子范数来估计寿命？
• RQ3 在何种初始数据条件下，解可全局存在？
• RQ4 半群理论与压缩映射方法能否推广至含二阶椭圆微分算子的一般非线性抛物型方程？

主要发现

• 建立了寿命 $ T $ 的定量下界：$ T \geq C \cdot \|a\|_{L_d}^{-2} $，其中 $ C $ 为依赖于维数 $ d $ 及热核与 Riesz 变换估计中绝对常数的正常数。
• 若 $ \|a\|_{L_d(\mathbb{R}^d)} $ 足够小，则 $ T = \infty $，意味着解全局存在。
• 解满足先验估计：对所有 $ q \geq d $，有 $ \|t^{(1-d/q)/2} u\|_{L^\infty_t L^q_x} \leq C \|a\|_{L_d} $ 与 $ \|t^{1-d/2q} \nabla u\|_{L^\infty_t L^q_x} \leq C \|a\|_{L_d} $，且在 $ t \in (0,T) $ 上一致成立。
• 通过在完备函数空间中应用压缩映射论证，推导出寿命估计，其中时间区间 $ T $ 受半群衰减速率与非线性项 Lipschitz 常数的控制。
• 该方法可推广至抽象抛物型方程 $ \partial_t u = A u + F(u, \nabla u) $，其中 $ A $ 为严格椭圆的二阶微分算子，在半群衰减与局部 Lipschitz 条件下成立。
• 对 $ T $ 的下界不依赖于 $ q \geq d $ 的选取，表明该估计在不同 Lebesgue 与 Lorentz 型空间中具有鲁棒性。