[論文レビュー] The Onsager conjecture in 2D: a Newton-Nash iteration

Vikram Giri, Răzvan-Octavian Radu|arXiv (Cornell University)|May 29, 2023

Navier-Stokes equation solutions被引用数 4

ひとこと要約

本稿は、2次元におけるオンサージェー予想の柔軟性部分を解決し、任意の $ \gamma < 1/3 $ に対してコンパクトな時間的台を持つ Hölder 正則性 $ u \in C^{\gamma} $ を持つ2次元非圧縮性オイラー方程式の非自明な弱解を構成することにより、それを達成した。この手法はニュートン＝ネッシュ反復を組み合わせ、線形化オイラー方程式から導かれる時間周期的摂動を用いて、2次元における非相互作用の課題を克服し、ミカド流れや空間的間欠性に依存せずにオンサージェー臨界正則性を達成した。

ABSTRACT

For any $γ&lt;1/3$, we construct a nontrivial weak solution $u$ to the two-dimensional, incompressible Euler equations, which has compact support in time and satisfies $u\in C^γ(\mathbb R_t imes \mathbb T^2_x)$. In particular, the constructed solution does not conserve energy and, thus, settles the flexible part of the Onsager conjecture in two dimensions. The proof involves combining the Nash iteration technique with a new linear Newton iteration.

研究の動機と目的

• 2次元非圧縮性オイラー流れにおけるオンサージェー予想の剛性／柔軟性のギャップを閉じること。
• 2次元において時間にコンパクトな台を持つ Hölder 正則性 $ \gamma < 1/3 $ を持つ非保存的弱解を構成すること。
• 2次元におけるミカド流れの使用を妨げる直線の交差による位相的障害を克服すること。
• 誤差消去メカニズムを分離するために時間周期的補正項を用いるニュートン＝ネッシュ反復フレームワークを構築すること。
• 間欠性やミカド流れの構成を避けることにより、柔軟なオンサージェー予想の新たな証明を提供すること。

提案手法

• 著者らは、オイラー方程式における誤差を消去するため、高周波数の摂動を逐次的に加えるネッシュ型反復スキームを用いて弱解を構成した。
• 時間周期的フォース項を伴う線形化オイラー方程式の解として定義される、新規のニュートン反復を導入した。
• 摂動の時間周期的性質により、異なる方向の誤差成分間の非相互作用が保証され、2次元における直線の交差問題を回避した。
• 反復補正プロセスにおける圧力と発散なし制約を扱うために、カルデロン＝ジムンド型作用素に依存した。
• 速度場の流れを用いたラグランジュ的枠組みにおいて反復を構築し、近似列全体にわたり正則性の伝播を保証した。
• 局所解を時間区間ごとに貼り合わせることで、一意性および連続性の議論を用いて、グローバル存在を確立した。

実験結果

リサーチクエスチョン

• RQ1 2次元非圧縮性オイラー方程式に対して、Hölder 正則性 $ \gamma < 1/3 $ を持つ非保存的弱解を構成することは可能か？
• RQ2 2次元において、ミカド流れが直線の交差により失敗するため、ネッシュ反復における非相互作用要件をどのように達成できるか？
• RQ3 2次元における誤差補正の分離を実現するために、時間周期的摂動を設計するニュートン型線形化を用いることは可能か？
• RQ4 空間的間欠性やミカド流れの欠如が、2次元におけるオンサージェー臨界正則性の達成を妨げるか？
• RQ5 ニュートン＝ネッシュ枠組みにおいて、時間周期的補正のみを用いて、コンパクトに時間的台を持つ非保存的解を構成することは可能か？

主な発見

• 本稿は、任意の $ \gamma < 1/3 $ に対して、コンパクトな時間的台を持つ非自明な弱解 $ u \in C^{\gamma}(\mathbb{R}_t \times \mathbb{T}^2_x) $ を2次元非圧縮性オイラー方程式に構成した。
• 解は運動エネルギーを保存しないため、2次元におけるオンサージェー予想の柔軟性部分が裏付けられた。
• 本手法はミカド流れや空間的間欠性を避けており、柔軟なオンサージェー予想の第3の独立的証明を提供した。
• ニュートン＝ネッシュ反復フレームワークは、線形化オイラー方程式から導かれる時間周期的摂動を用いることで、2次元における誤差補正の分離に成功した。
• 本手法は任意の次元 $ d \geq 2 $ においても安定に機能し、空間次元に特有の構造に依存しない。
• 解列は $ C^1_t C^{N-1+\alpha}_x $ および $ C_t C^{N+\alpha}_x $ で収束し、グローバルかつ正則な極限解の存在を保証した。