[论文解读] About the possibility of minimal blow up for Navier-Stokes solutions with data in $\dot{H}^s(R^3)$

Eugénie Poulon|arXiv (Cornell University)|May 22, 2015

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

一句话总结

本文研究了在齐次索伯列夫空间 $\dot{H}^s(\mathbb{R}^3)$ 中初始数据的三维不可压缩纳维-斯托克斯方程是否存在极小爆破解，其中 $\frac{1}{2} < s < \frac{3}{2}$。通过使用谱分解和尺度变换方法，证明了若此类极小爆破解存在，则其必须满足临界正则性和衰减性质，从而扩展了 Escauriaza-Seregin-\v{S}ver{\'a}k 与 Gallagher-Koch-Planchon 在 $L^3$-有界爆破解框架下的结果。

ABSTRACT

Considering initial data in $\dot{H}^s$, with $\frac{1}{2} extless{} s extless{} \frac{3}{2}$, this paper is devoted to the study of possible blowing-up Navier-Stokes solutions such that $(T*(u\_{0}) -t)^{\frac{1}{2} (s- \frac{1}{2})} \,\, \| u \|\_{\dot{H}^s}}$ is bounded. Our result is in the spirit of the tremendous works of L. Escauriaza, G. Seregin, and V. $\breve{\mathrm{S}}$ver$\acute{\mathrm{a}}$k and I. Gallagher, G. Koch, F. Planchon, where they proved there is no blowing-up solution which remain bounded in $L^3(R^3)$. The main idea is that if such blowing-up solutions exist, they satisfy critical properties.

研究动机与目标

• 研究是否存在纳维-斯托克斯解，在 $\dot{H}^s$-范数下以 $\frac{1}{2} < s < \frac{3}{2}$ 时最慢的可能速率在有限时间内爆破。
• 在假设此类极小爆破解存在的前提下，刻画其结构特征。
• 通过临界尺度变换和谱分解方法，将已知的 $L^3$ 和 $\mathcal{BMO}^{-1}$ 中的非爆破结果推广至 $\dot{H}^s$-框架。
• 建立任何此类极小爆破解必须在爆破时刻附近表现出特定渐近行为，包括缩放后 $\dot{H}^s$-范数的有界性。

提出的方法

• 对 $\dot{H}^s$ 中的初始数据实施谱分解，以分析潜在爆破序列的渐近结构。
• 利用纳维-斯托克斯方程的尺度不变性，定义临界范数：$(T_* - t)^{\frac{1}{2}(s - \frac{1}{2})} \|u(t)\|_{\dot{H}^s}$，并假设该范数在极小爆破情形下有界。
• 应用热流算子 $e^{t\Delta}$ 控制分解中各谱分量与误差项的演化。
• 对频域实施 dyadic 分解，以分离微局部贡献，并控制不同频率尺度之间的相互作用。
• 利用紧致性论证及存在极小化序列（在尺度变换与平移下）的性质，提取极限谱分量。
• 依赖于 $X^s_T$-范数的有界性：$\|u\|_{X^s_T}^2 = \|u\|_{L^\infty_T(\dot{H}^s)}^2 + \|u\|_{L^2_T(\dot{H}^{s+1})}^2$，以控制正则性与能量耗散。

实验结果

研究问题

• RQ1 是否存在初始数据属于 $\dot{H}^s(\mathbb{R}^3)$ 且 $\frac{1}{2} < s < \frac{3}{2}$ 的纳维-斯托克斯解，其在有限时间内以 $\dot{H}^s$-范数下最小可能速率爆破？
• RQ2 若此类极小爆破解存在，其必须满足何种结构性性质？
• RQ3 谱分解方法是否可用于刻画此类解在爆破时刻附近的渐近行为？
• RQ4 纳维-斯托克斯方程的尺度不变性如何约束 $s \in (\frac{1}{2}, \frac{3}{2})$ 时 $\dot{H}^s$ 中可能的爆破速率？
• RQ5 此类极小爆破解的存在性是否与已知的 $L^3$ 或 $\mathcal{BMO}^{-1}$ 中的非爆破准则相容？

主要发现

• 若在 $\dot{H}^s(\mathbb{R}^3)$ 中存在极小爆破解，且 $\frac{1}{2} < s < \frac{3}{2}$，则量 $(T_* - t)^{\frac{1}{2}(s - \frac{1}{2})} \|u(t)\|_{\dot{H}^s}$ 在时间上一致有界。
• 此类解的存在性意味着存在一个极小化初始数据序列，其达到 $T_* \|u_0\|_{\dot{H}^s}^{\sigma_s}$ 的下确界，其中 $\sigma_s = \frac{1}{\frac{1}{2}(s - \frac{1}{2})}$。
• 初始数据的谱分解导致解被分解为一系列缩放和平移后的谱分量之和，且误差项在 $n \to \infty$ 时于 $L^\infty_T(\dot{H}^s)$ 中趋于零。
• 谱分解的收敛性意味着解的 $\dot{H}^s$-范数以恰好与剩余时间至爆破因子平衡的速率爆破。
• 证明依赖于谱分解中误差项 $R_n^J$ 在 $n \to \infty$、$J \to \infty$ 时趋于零于 $L^\infty_T(\dot{H}^s)$，从而确保谱结构的渐近稳定性。
• 在尺度变换下 $\dot{H}^s$-范数的有界性意味着极限谱分量必为临界解，满足与原方程相同的尺度不变性。