[論文レビュー] 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）パッチ方程式に対して、有限時間における特異性の存在を確立した。これは、2次元オイラー方程式（$\alpha = 0$）に対応する大域的正則性から、有限時間 blow-up への鋭い遷移を示しており、任意に小さい $\alpha > 0$ に対しても特異性の形成が生じることを示している。この結果により、2次元オイラー方程式が厳密な力学的意味で臨界定常であることが証明された。

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.

研究の動機と目的

• パrameter $\alpha \in [0, \frac{1}{2}]$ を有する活性スカラー方程式の族を介して、2次元非圧縮性オイラー方程式と表面準地軸（SQG）方程式の間の正則性挙動の遷移を調査すること。
• 修正された SQG 方程式に対して $\alpha > 0$ の場合、解が大域的正則のままであるか、有限時間特異性を発生させるかを特定すること。
• 2次元オイラー方程式の臨界定常性が、バイオ・サヴァール則の微小摂動に対して不安定になる閾値を明確にすること。
• 任意の十分に小さい $\alpha > 0$ に対して、有限時間特異性の形成を引き起こす明示的な初期パッチデータを構成すること。

提案手法

• 著者たちは、$\alpha \in (0, \frac{1}{2})$ でパラメータ化されたバイオ・サヴァール則 $u = \nabla^\perp (-\Delta)^{-1+\alpha} \omega$ を有する修正された SQG パッチ方程式を分析した。ここで $\alpha$ は、2次元オイラー方程式（$\alpha = 0$）から SQG（$\alpha = \frac{1}{2}$）へ滑らかに内挿する。
• 上半平面における $x_1$ に関して奇対称なヴォルテックスパッチ初期データを考察し、初期状態で境界から分離されており、特定の幾何的制約を満たしているものとした。
• 背理法が用いられた：時間 $T' > 50(3\epsilon)^{2\alpha}$ 以降に $C^{1,\gamma}$ 奇対称パッチ解が存在すると仮定すると、界面における非透過条件が破られることが示された。
• 証明は、時間 $t$ に依存するコンパクト集合 $K(t)$ がパッチ領域 $\Omega(t)$ の内部に常に存在しなければならないが、速度場の推定によりその集合が補集合の境界に接触することを示すことに依拠している。
• 重要な推定には、時間に依存しない $L^\infty$ ノルムの速度場の上界が含まれており、パッチ境界の流れ下での連続性に寄与している。
• 命題 4.5 は、界面付近における法線速度成分の点ごとの下界を提供し、これがパッチ境界が有限時間内に集合 $K(t)$ を通過することを示し、大域的存在の仮定に矛盾することを示している。

実験結果

リサーチクエスチョン

• RQ1 修正された SQG 方程式に対して $\alpha > 0$ の場合、すべての初期データに対して大域的 $C^{1,\gamma}$ パッチ解が存在するか、それとも有限時間特異性が発生するか？
• RQ2 2次元オイラー方程式の正則性から有限時間特異性への遷移が起こる閾値 $\alpha$ は何か？
• RQ3 任意に小さい $\alpha > 0$ に対して、修正された SQG 方程式に対して有限時間特異性を厳密に構成できるか？
• RQ4 分数階 $-1+\alpha$ を有する非局所的バイオ・サヴァール則は、ヴォルテックスパッチ解の長期的挙動と正則性にどのように影響を与えるか？

主な発見

• 任意の $\alpha \in (0, \frac{1}{24})$ に対して、上半平面に初期パッチデータが存在し、それに対応する $C^{1,\gamma}$ パッチ解は時間 $T' > 50(3\epsilon)^{2\alpha}$ を超えて存在できない。
• すべての $t \in [0,T]$ に対して、速度場の $L^\infty$ ノルムは 100 で一様に有界であり、パッチ境界の流れ下での連続性が保証される。
• 矛盾は、速度場がパッチ境界を集合 $K(t)$ を通過させることにより生じ、これによりパッチが原点で接触せざるを得ず、非透過条件に違反することが示された。
• この結果により、2次元オイラー方程式（$\alpha = 0$）が臨界定常であることが証明された：バイオ・サヴァール則の特異性のわずかな増加（$\alpha > 0$）が有限時間 blow-up を引き起こす。
• 条件 $\gamma > \frac{2\alpha}{1-2\alpha}$ の下で構成は頑健であり、$H^3$ 解が奇対称かつ $\gamma \in (0,1]$ に対して $C^{1,\gamma}$ であることが示され、矛盾の議論と一貫性を保っている。