[論文レビュー] Remarks on the solution map for Yudovich solutions of the Euler equations

Huy Q. Nguyen|arXiv (Cornell University)|Sep 11, 2021

Navier-Stokes equation solutions参考文献 3被引用数 3

ひとこと要約

本稿は、流体の流れの写像の測度保存性と Hölder 継続性に着目し、テスト関数を用いず、Euler形式のエネルギー推定を避ける完全にラグランジュ的枠組みを用いて、2次元非圧縮性Euler方程式のYudovich解について、すべての $ p \in [1, \infty) $ における $ L^p $ での強い連続性および $ L^\infty $ での弱-* 連続性を示す。主な貢献は、Euler形式のエネルギー推定を回避する、新しい内在的ラグランジュ的アプローチの確立であり、これは $ L^\infty $ における有界集合を超えた連続性結果の拡張を可能にする。結果は、$ C^2 $ 境界をもつ有界な平面領域およびコンパクトに台を持つ初期渦度をもつ $ \mathbb{R}^2 $ において成り立つ。

ABSTRACT

Consider Yudovich solutions to the incompressible Euler equations with bounded initial vorticity in bounded planar domains or in $\mathbb{R}^2$. We present a purely Lagrangian proof that the solution map is strongly continuous in $L^p$ for all $p\in [1, \infty)$ and is weakly-$*$ continuous in $L^\infty$.

研究の動機と目的

• すべての $ p \in [1, \infty) $ に対して、完全にラグランジュ的枠組みを用いて、$ L^p(\Omega) $ におけるYudovich解の解写像の強い連続性を確立すること。
• 初期データが $ L^\infty(\Omega) $ に属する場合に、$ L^\infty(\Omega) $ における解写像の弱-* 連続性を示し、$ L^\infty $ における有界集合を超えて拡張すること。
• Euler形式のエネルギー推定やテスト関数を用いない、解写像の連続性に関する新しい内在的証明を提供すること。
• コンパクトに台を持つ初期渦度をもつ $ L^\infty_c(\mathbb{R}^2) $ に対して、解連続性の結果を $ \mathbb{R}^2 $ 全体に拡張すること。

提案手法

• 解を $ \omega(x,t) = \omega_0(X_{t,0}(x)) $ としてラグランジュ的流れ写像 $ X_t $ を用いて定義し、テスト関数を避ける。
• 流れ写像 $ X_t $ の測度保存性および Hölder 継続性を活用して $ L^p $ 評価を導出する。
• 滑らか化の議論と連続関数による近似を用いて、$ C(\Omega) $ における連続性を $ L^p(\Omega) $ に拡張する。
• Arzel\`a-Ascoli の定理と対角線選別法を用いて、コンパクト集合上での流れ写像の収束部分列を抽出する。
• $ L^\infty $ における弱-* 収束と密度の議論を用い、$ C_c $ テスト関数から一般の $ L^1 $ 関数へと移行する。
• Biot-Savart の法則およびカーネル推定を用いて、$ K \notin L^1(\mathbb{R}^2) $ の場合でも速度場の収束を確立する。

実験結果

リサーチクエスチョン

• RQ1 Yudovich解の解写像は、$ L^\infty $ における有界性を仮定せず、すべての $ p \in [1, \infty) $ に対して $ L^p(\Omega) $ で強く連続であるか？
• RQ2 弱-* 連続性は、完全にラグランジュ的アプローチによって $ L^\infty(\Omega) $ で確立可能か？
• RQ3 初期データが $ L^\infty_c(\mathbb{R}^2) $ に属する場合、流れが局所的に Hölder 継続的である場合でも、$ L^\infty(\Omega \times (-T,T)) $ における解写像の連続性は保たれるか？
• RQ4 Euler形式のエネルギー推定やテスト関数の定式化に依存せずに、解写像の収束を証明できるか？
• RQ5 Biot-Savart カーネルの対数的リプシッツモジュラスが、速度場および流れ写像の正則性を制御する役割を果たすか？

主な発見

• 解写像 $ S_t: \omega_0 \mapsto \omega(t) $ は、$ L^\infty $ における有界性を仮定せず、すべての $ p \in [1, \infty) $ に対して $ L^p(\Omega) $ で強く連続である。
• 解写像は $ L^\infty(\Omega) $ で弱-* 連続であり、これはコンパクトに台を持つ初期渦度をもつ $ \mathbb{R}^2 $ に対しても拡張可能である。
• 証明は完全にラグランジュ的定式化および流れ写像の性質に依存しており、Euler形式のエネルギー推定やテスト関数を用いない。
• 初期データが $ L^\infty_c(\mathbb{R}^2) $ に属する場合、解写像は $ L^\infty(\mathbb{R}^2 \times (-T,T)) $ および各 $ t \in \mathbb{R} $ に対して $ L^\infty(\mathbb{R}^2) $ で弱-* 連続である。
• 速度場は依然として Log-Lipschitz であり、流れ写像は指数的 Hölder 継続性 $ \exp(-C|t|\|\omega_0\|_{L^\infty}) $ をもつため、流れの正則性が保証される。
• 弱-* 収束 $ \omega_n^0 \to \omega_0 $ が $ L^\infty $ で成り立つならば、すべての $ t \in \mathbb{R} $ に対して $ \omega_n(t) \to \omega(t) $ が $ L^\infty(\Omega) $ で弱-* 収束する。部分列の極限の一意性により、全列が収束することが保証される。