[论文解读] Ill-posedness of the incompressible Navier-Stokes equations in $\dot{F}^{-1,q}_{\infty}({R}^3)$

Chao Deng, Xiaohua Yao|arXiv (Cornell University)|Feb 28, 2013

Navier-Stokes equation solutions参考文献 10被引用 3

一句话总结

本文在临界 Triebel-Lizorkin 空间 $\dot{F}^{-1,q}_{\infty}(\mathbb{R}^3)$ 中建立了三维不可压缩 Navier-Stokes 方程的不适定性，对所有 $q > 2$ 成立，表明该空间中任意小的初值均可导致解在任意短的时间内变得任意大。该结果完成了适定性与不适定性之间的二分法：方程在 $\dot{F}^{-1,2}_{\infty}(\mathbb{R}^3) = BMO^{-1}$ 中是适定的，但在所有 $q > 2$ 时均不适定，从而将先前在 Besov 空间中的结果推广至更精细的 Triebel-Lizorkin 空间。

ABSTRACT

In this paper, authors show the ill-posedness of 3D incompressible Navier-Stokes equations in the critical Triebel-Lizorkin spaces $ \dot{F}^{-1,q}_{\infty} (\mathbb{R}^3) $ for any $ q>2 $ in the sense that arbitrarily small initial data of $ \dot{F}^{-1,q}_{\infty}(\mathbb{R}^3) $ can lead the corresponding solution to become arbitrarily large after an arbitrarily short time. In view of the well-posedness of 3D-incompressible Navier-Stokes equations in $ BMO^{-1} $ (i.e. the Triebel-Lizorkin space $ \dot{F}^{-1,2}_{\infty}(\mathbb{R}^3) $) by Koch and Tataru, our work completes a dichotomy of well-posedness and ill-posedness in the Triebel-Lizorkin space framework depending on $ q=2 $ or $ q>2 $.

研究动机与目标

• 研究三维不可压缩 Navier-Stokes 方程在临界 Triebel-Lizorkin 空间 $\dot{F}^{-1,q}_{\infty}(\mathbb{R}^3)$ 中 $q > 2$ 时的适定性或不适定性。
• 确定在更大空间 $\dot{B}^{-1,\infty}_{\infty}(\mathbb{R}^3)$ 中观察到的不适定性是否可推广至更小、更精细的 Triebel-Lizorkin 空间 $\dot{F}^{-1,q}_{\infty}(\mathbb{R}^3)$（$q > 2$）。
• 在 Triebel-Lizorkin 框架下完成适定性（$q=2$）与不适定性（$q>2$）之间的二分法。
• 将 Bourgain 与 Pavlovi\'c 在 $\dot{B}^{-1,\infty}_{\infty}$ 空间中的已知不适定性结果，扩展至严格更小的空间 $\dot{F}^{-1,q}_{\infty}$（$q > 2$）。

提出的方法

• 在 $\dot{F}^{-1,q}_{\infty}(\mathbb{R}^3)$ 中构造一个精心设计的初值序列，其范数任意小但具有高频集中特性。
• 将解分解为 $u = u_1 + u_2 + y$，其中 $u_1$ 为小扰动，$u_2$ 为设计用于触发范数膨胀的高频分量。
• 在 $X_T$-型函数空间中使用双线性估计来控制非线性项 $u \cdot \nabla u$。
• 通过 Littlewood-Paley 投影进行二进制分解与频率局部化，以分析 $\dot{F}^{-1,q}_{\infty}$ 中的行为。
• 在时间区间 $[0, T]$ 上使用迭代估计与范数膨胀论证，其中 $T \ll Q^{-2}$，以证明解范数迅速增长。
• 依赖于等价关系 $\dot{F}^{-1,2}_{\infty}(\mathbb{R}^3) = BMO^{-1}$ 以及在 $BMO^{-1}$ 中已知的适定性，以对比 $q > 2$ 时的不适定性。

实验结果

研究问题

• RQ1 Navier-Stokes 方程在 $\dot{B}^{-1,\infty}_{\infty}(\mathbb{R}^3)$ 中的不适定性是否可推广至更小、更规则的 Triebel-Lizorkin 空间 $\dot{F}^{-1,q}_{\infty}(\mathbb{R}^3)$（$q > 2$）？
• RQ2 在 Triebel-Lizorkin 尺度中，适定性向不适定性转变的精确阈值是什么？
• RQ3 在 $\dot{F}^{-1,q}_{\infty}(\mathbb{R}^3)$（$q > 2$）中，是否任意小的初值可导致解范数在任意短的时间内变得任意大？
• RQ4 $\dot{F}^{-1,2}_{\infty}(\mathbb{R}^3)$ 与 $\dot{F}^{-1,q}_{\infty}(\mathbb{R}^3)$（$q > 2$）中范数膨胀行为有何不同？

主要发现

• 对于所有 $q > 2$，Navier-Stokes 方程在 $\dot{F}^{-1,q}_{\infty}(\mathbb{R}^3)$ 中均为不适定，因为任意小的初值可导致解在任意短的时间内范数变得任意大。
• 范数膨胀发生在 $\dot{F}^{-1,q}_{\infty}$-范数中，满足 $\|u(T)\|_{\dot{F}^{-1,q}_{\infty}} \gtrsim Q^2$，其中 $T \ll Q^{-2}$ 且 $r \gg Q^{2Q^3 + 4}$。
• 该结果建立了严格的二分法：方程在 $\dot{F}^{-1,2}_{\infty}(\mathbb{R}^3) = BMO^{-1}$ 中适定，但在所有 $q > 2$ 时均不适定。
• 与 Besov 空间 $\dot{B}^{-1,\infty}_{\infty}(\mathbb{R}^3)$ 中的不适定性相比，该不适定性更强，因为当 $q > 2$ 时，有 $\dot{F}^{-1,q}_{\infty}(\mathbb{R}^3) \subsetneq \dot{B}^{-1,\infty}_{\infty}(\mathbb{R}^3)$。
• 该构造依赖于高频初值与时间上的迭代估计，表明即使在 $\dot{F}^{-1,q}_{\infty}$ 中初值很小，非线性项仍可主导解的行为。