[論文レビュー] Instability and nonuniqueness for the $2d$ Euler equations in vorticity form, after M. Vishik

Dallas Albritton, Elia Brué+5 more|arXiv (Cornell University)|Dec 9, 2021

Navier-Stokes equation solutions被引用数 5

ひとこと要約

本稿は、自己相似座標と線形不安定性解析に基づく新規構成を用いて、初期渦度が恒等的にゼロである2次元Euler方程式の弱解が非可算無限個存在することを確立している。主な貢献は、ユドビチの古典的一意性結果を超えて$L^p$スケールにおける一意性の解消を達成したことであり、これは自己相似作用素のスペクトル解析と回転対称関数空間上のリャプノフ＝シュルツト還元を用いて達成された。

ABSTRACT

In this expository work, we present Vishik's theorem on non-unique weak solutions to the two-dimensional Euler equations on the whole space, \[ \partial_t ω+ u \cdot abla ω= f \, , \quad u = \frac{1}{2π} \frac{x^\perp}{|x|^2} \ast ω\, , \] with initial vorticity $ω_0 \in L^1 \cap L^p$ and $f \in L^1_t (L^1 \cap L^p)_x$, $p < \infty$. His theorem demonstrates, in particular, the sharpness of the Yudovich class. An important intermediate step is the rigorous construction of an unstable vortex, which is of independent physical and mathematical interest. We follow the strategy of Vishik but allow ourselves certain deviations in the proof and substantial deviations in our presentation, which emphasizes the underlying dynamical point of view.

研究の動機と目的

• 2次元Euler方程式の$L^p$スケール（$p>2$）における一意性が成り立つかどうかという長年の未解決問題を解消すること。ユドビチの古典的結果を超えて拡張する。
• 適切な外力および正則性条件の下で、初期渦度がゼロである2次元Euler方程式に対して非可算無限個の弱解を構成すること。
• 滑らかで-compactly な外力でさえも、古典的ユドビチの一意性枠組みが$p>2$の$L^p$スケールに拡張されないことを示すこと。
• 自己相似座標と線形不安定性理論に基づく、非一意解を構成するための強固な解析的枠組みを構築すること。
• 解が正の時刻において$W^{1,4}_{\textrm{loc}}$正則性を示し、無限遠で良い減衰性を示すが、$t \downarrow 0$に伴い退化することを確立すること。

提案手法

• Euler方程式を自己相似座標に変換して、自己相似形式にすることで、時間に依存しない作用素$L_{\text{ss}}$の解析に問題を還元する。
• バックグラウンド場法を用いて解を主要項のプロファイルと摂動に分解し、線形および非線形理論の適用を可能にする。
• 回転対称関数空間上での自己相似作用素$L_{\text{ss}}$の詳細なスペクトル解析を行い、臨界層に中立モードを同定する。
• リャプノフ＝シュルツト還元を適用して、非線形問題を有限次元の分岐問題に還元し、ジョルダンブロック構造の存在を活用する。
• スペクトルパラメータに関する形式的展開を用いて解の族を構成し、プレメルジュの公式とレイリー型方程式の解法に依存する。
• 重み付きノルムとブートストラップ法を用いて$L^2$および微分ノルムの推定を確立し、摂動枠組みにおける非線形項が制御可能であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 $p>2$の$L^p$スケールにおいて、2次元Euler方程式の非一意性は、ユドビチの古典的$L^\frown\infty$枠組みを超えて確立可能か？
• RQ2 初期渦度がゼロで、滑らかで-compactly な外力を持つ2次元Euler方程式に対して、非可算無限個の弱解を構成することは可能か？
• RQ3 自己相似作用素$L_{\text{ss}}$のスペクトル構造が非一意性の生成に果たす役割は何か？
• RQ4 自己相似座標とバックグラウンド場法は、初期渦度が存在しない状況下で非一意解を構成するためにどのように機能するか？
• RQ5 本研究で構成された解は、正の時刻においてどの程度正則性および減衰性を示すか？また、$t \downarrow 0$に伴いこれらの性質はどのように退化するか？

主な発見

• 任意の$p \in (2, \infty)$に対して、初期渦度が恒等的にゼロで、滑らかで-compactly な外力$f$を持つ2次元Euler方程式の弱解$(\omega, v)$が非可算無限個存在する。
• 構成された解は、任意の$T < \infty$に対して$\omega \in L^\infty([0,T], L^1 \cap L^p)$および$v \in L^\infty([0,T], L^2)$を満たし、$v$は$\mathbb{R}^2 \times [0,T]$上で有界である。
• 各解は$t > 0$において空間的・時間的で$W^{1,4}_{\textrm{loc}}$正則性を示し、無限遠での減衰性を有するが、$t \downarrow 0$に伴い退化する。
• 速度場$v$は$\mathbb{R}^2 \times (0,\infty)$上で$C^1_{\textrm{loc}}$であり、正の時刻で正則性が向上していることを示している。
• スペクトル解析により、自己相似作用素$L_{\text{ss}}$にジョルダンブロック構造が存在することが判明し、これが非線形分岐および非一意性構成の根幹を成している。
• $L^2$ノルムの渦度摂動は、$k \to \infty$のとき$\frac{\ln(4k)}{\ln^2 k}$のオーダーで減少し、線形化問題における中立モードの存在を確認している。