[论文解读] Finite time singularity formation for the modified SQG patch equation

Alexander Kiselev, Lenya Ryzhik+2 more|arXiv (Cornell University)|Aug 30, 2015

Navier-Stokes equation solutions参考文献 37被引用 15

一句话总结

本文针对参数 $\alpha \in (0, \frac{1}{24})$ 的修改版表面准地转（SQG）片状方程，建立了有限时间奇点，该方程的毕奥-萨伐尔定律由 $\alpha$ 参数化，揭示了从全局正则性（$\alpha = 0$，对应二维欧拉方程）到有限时间爆破的急剧转变。结果表明，即使 $\alpha > 0$ 的值极小，也会导致奇点形成，从而严格地证明了二维欧拉方程在动力学意义上是临界情形。

ABSTRACT

It is well known that the incompressible Euler equations in two dimensions have globally regular solutions. The inviscid surface quasi-geostrophic (SQG) equation has a Biot-Savart law which is one derivative less regular than in the Euler case, and the question of global regularity for its solutions is still open. We study here the patch dynamics in the half-plane for a family of active scalars which interpolates between these two equations, via a parameter $α\in[0,\frac 12]$ appearing in the kernels of their Biot-Savart laws. The values $α=0$ and $α=\frac 12$ correspond to the 2D Euler and SQG cases, respectively. We prove global in time regularity for the 2D Euler patch model, even if the patches initially touch the boundary of the half-plane. On the other hand, for any sufficiently small $α>0$, we exhibit initial data which lead to a singularity in finite time. Thus, these results show a phase transition in the behavior of solutions to these equations, and provide a rigorous foundation for classifying the 2D Euler equations as critical.

研究动机与目标

• 通过参数 $\alpha \in [0, \frac{1}{2}]$ 的一类活动标量方程，研究二维不可压缩欧拉方程与表面准地转（SQG）方程之间正则性行为的转变。
• 确定修改版 SQG 方程在 $\alpha > 0$ 时的解是否保持全局正则性，或是否会出现有限时间奇点。
• 建立一个临界阈值，以说明二维欧拉方程在毕奥-萨伐尔定律的小扰动下临界性如何变得不稳定。
• 构造显式初始片状数据，使得对任意足够小的 $\alpha > 0$，均导致有限时间奇点形成。

提出的方法

• 作者分析了具有毕奥-萨伐尔定律 $u = \nabla^\perp (-\Delta)^{-1+\alpha} \omega$ 的修改版 SQG 片状方程，其中 $\alpha \in (0, \frac{1}{2})$ 在 2D 欧拉方程（$\alpha = 0$）与 SQG 方程（$\alpha = \frac{1}{2}$）之间插值。
• 他们考虑上半平面上关于 $x_1$ 为奇函数的涡片初始数据，初始时片状体与边界分离，并满足特定几何约束。
• 采用反证法：假设在时间 $T' > 50(3\epsilon)^{2\alpha}$ 之后仍存在 $C^{1,\gamma}$ 奇片状解，结果表明该解在界面处违反了不可穿透条件。
• 证明依赖于构造一个紧集 $K(t)$，该集合必须始终位于片状区域 $\Omega(t)$ 内，但通过速度场估计表明其会触及补集的边界。
• 关键估计包括对速度场的 $L^\infty$ 范数进行时间一致的有界控制，并利用片状边界在流场作用下的连续性。
• 命题 4.5 提供了界面附近法向速度分量的逐点下界，用于证明片状边界必须在有限时间内穿过集合 $K(t)$，从而与全局存在性假设矛盾。

实验结果

研究问题

• RQ1 修改版 SQG 方程在 $\alpha > 0$ 时是否对所有初始数据都存在全局 $C^{1,\gamma}$ 片状解，还是可能出现有限时间奇点？
• RQ2 从全局正则性（如二维欧拉方程）转变为有限时间奇点的临界 $\alpha$ 值是多少？
• RQ3 能否为修改版 SQG 方程在任意小的 $\alpha > 0$ 情况下严格构造出有限时间奇点？
• RQ4 具有分数阶 $-1+\alpha$ 的非局部毕奥-萨伐尔定律如何影响涡片解的长期行为与正则性？

主要发现

• 对于任意 $\alpha \in (0, \frac{1}{24})$，在半平面上存在初始片状数据，使得对应的 $C^{1,\gamma}$ 片状解无法在时间 $T' > 50(3\epsilon)^{2\alpha}$ 之后继续存在。
• $L^\infty$ 范数在所有 $t \in [0,T]$ 上被统一有界于 100，确保了片状边界在流场作用下的连续性。
• 矛盾的产生是因为速度场迫使片状边界穿过集合 $K(t)$，意味着片状体必须在原点接触，从而违反了不可穿透条件。
• 该结果证明了二维欧拉方程（$\alpha = 0$）是临界的：任何对毕奥-萨伐尔定律奇点性的微小增加（$\alpha > 0$）都会导致有限时间爆破。
• 该构造对 $\gamma > \frac{2\alpha}{1-2\alpha}$ 是鲁棒的，且证明了 $H^3$ 解为奇函数，并在 $\gamma \in (0,1]$ 范围内为 $C^{1,\gamma}$，从而保证了解的唯一性与与反证法的一致性。