[论文解读] Strong Ill-posedness of the incompressible Euler equation in borderline Sobolev spaces

Jean Bourgain, Dong Li|arXiv (Cornell University)|Jul 26, 2013

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

一句话总结

本文在极限 Sobolev 空间 $H^{s_c}$（其中 $s_c = d/2 + 1$）中建立了二维和三维不可压缩 Euler 方程的强不适定性，表明光滑初值的任意小 $H^{s_c}$-范数扰动可在任意短的时间内导致解的 $H^{s_c}$-范数趋于无穷。其关键机制是大拉格朗日形变引发临界范数膨胀，通过一种新颖的涡旋片类解构造及极限空间中的交换子估计得以证明。

ABSTRACT

For the $d$-dimensional incompressible Euler equation, the standard energy method gives local wellposedness for initial velocity in Sobolev space $H^s(\mathbb R^d)$, $s>s_c:=d/2+1$. The borderline case $s=s_c$ was a folklore open problem. In this paper we consider the physical dimensions $d=2,3$ and show that if we perturb any given smooth initial data in $H^{s_c}$ norm, then the corresponding solution can have infinite $H^{s_c}$ norm instantaneously at $t>0$. The constructed solutions are unique and even $C^{\infty}$-smooth in some cases. To prove these results we introduce a new strategy: large Lagrangian deformation induces critical norm inflation. As an application we also settle several closely related open problems.

研究动机与目标

• 解决在 $d=2,3$ 时，不可压缩 Euler 方程在极限 Sobolev 空间 $H^{s_c}$（其中 $s_c = d/2 + 1$）中的适定性这一长期悬而未决的问题。
• 证明标准能量方法在临界正则性阈值处失效，表明解在任意小扰动下可瞬间损失正则性。
• 提出一种基于大拉格朗日形变的新分析策略，以在极限 Sobolev 范数下诱导临界范数膨胀。
• 解决 Euler 方程在临界与极限函数空间中适定性理论中的若干密切相关开放问题。

提出的方法

• 通过涡度形式中的涡旋片类假设构造解，其中初值在 $H^{s_c}$ 范数下被扰动但仍保持光滑。
• 采用一种新颖的大拉格朗日形变策略，使 $t>0$ 后解的 $H^{s_c}$ 范数在瞬间被放大。
• 使用形如 $\|J^s(fg) - fJ^s g\|_p \lesssim \|Df\|_\infty \|J^{s-1}g\|_p + \|J^s f\|_p \|g\|_\infty$ 的交换子估计，以控制极限空间中的非线性项。
• 通过 Littlewood-Paley 投影 $P_N$ 进行频率局部化与二进分解，以隔离并估计高频处的范数膨胀。
• 通过仔细控制空间分离与衰减估计，将多个涡旋片解拼接起来，以在保持初值扰动极小的同时实现范数爆破。
• 利用 Biot-Savart 定律从涡度恢复速度，并确保尽管范数膨胀，解仍为 $C^\infty$-光滑。

实验结果

研究问题

• RQ1 在 $d=2,3$ 时，不可压缩 Euler 方程在极限 Sobolev 空间 $H^{d/2+1}(\mathbb{R}^d)$ 中是否适定？
• RQ2 任意小的 $H^{s_c}$-范数扰动是否可导致光滑初值的解在有限时间内出现无穷 $H^{s_c}$-范数？
• RQ3 在标准能量估计失效的临界正则性区域，何种机制可引发范数膨胀？
• RQ4 是否可在临界阈值下的 $L^p$-基与 Besov 型函数空间中建立不适定性？
• RQ5 在三维 Euler 方程中，涡度拉伸项是否导致极限空间中的不适定性，且能否对此进行量化？

主要发现

• 对于任意光滑的二维初值涡度，存在任意小的 $H^{s_c}$-范数扰动，使得对应解在任意小的 $t>0$ 时间内发展出无穷的 $H^{s_c}$-范数。
• 所构造的解是唯一的，且即使在 $H^{s_c}$ 范数瞬间损失正则性的情况下，解在空间与时间上仍为 $C^\infty$-光滑。
• 在三维情形下，对于任意光滑的轴对称初值涡度，存在一个大小小于 $\epsilon$ 的 $C^\infty$ 扰动（属于 $L^1 \cap L^\infty \cap B^{3/p}_{p,q}$），使得解满足 $\operatorname{ess-sup}_{0<t\leq t_0} \|\omega(t,\cdot)\|_{\dot{B}^{3/p}_{p,\infty}} = +\infty$，对任意 $t_0>0$ 成立。
• 范数膨胀源于大拉格朗日形变，其放大了解中的高频分量，尽管初值光滑且紧支集。
• 该方法成功扩展至 Besov 空间 $B^{d/p+1}_{p,1}$ 与 $B^{3/p}_{p,q}$，解决了这些临界空间中不适定性问题的开放难题。
• 结果在强不适定性意义下成立：解映射在 $H^{s_c}$ 中不连续，尽管其在时间和空间上均为 $C^\infty$-光滑。