[論文レビュー] An elementary proof of existence and uniqueness for the Euler flow in localized Yudovich spaces

Gianluca Crippa, Giorgio Stefani|arXiv (Cornell University)|Oct 29, 2021

Navier-Stokes equation solutions被引用数 5

ひとこと要約

本稿は、Sobolev理論やLittlewood–Paley分解に依存せずに、局所化されたYudovich空間における2次元Euler方程式の全局的解の存在および一意性について、初等的でラグランジュ的アプローチによる証明を提示する。$vorticity$ が $L^1 \cap L^p_{\text{ul}}$ および $L^1 \cap Y^\Theta_{\text{ul}}$ に属する弱解が得られ、関数 $\Theta$ の緩やかな増大度の下で明示的な連続性モジュラスと一意性が保証される。この手法は、Biot–Savart則を越えて、構造的核を持つ一般の作用素にも適用可能である。

ABSTRACT

We revisit Yudovich's well-posedness result for the $2$-dimensional Euler equations for an inviscid incompressible fluid on either a sufficiently regular (not necessarily bounded) open set $Ω\subset\mathbb{R}^2$ or on the torus $Ω=\mathbb{T}^2$. We construct global-in-time weak solutions with vorticity in $L^1\cap L^p_{\mathrm{ul}}$ and in $L^1\cap Y^Θ_{\mathrm{ul}}$, where $L^p_{\mathrm{ul}}$ and $Y^Θ_{\mathrm{ul}}$ are suitable uniformly-localized versions of the Lebesgue space $L^p$ and of the Yudovich space $Y^Θ$ respectively, with no condition at infinity for the growth function $Θ$. We also provide an explicit modulus of continuity for the velocity depending on the growth function $Θ$. We prove uniqueness of weak solutions in $L^1\cap Y^Θ_{\mathrm{ul}}$ under the assumption that $Θ$ grows moderately at infinity. In contrast to Yudovich's energy method, we employ a Lagrangian strategy to show uniqueness. Our entire argument relies on elementary real-variable techniques, with no use of either Sobolev spaces, Calderón-Zygmund theory or Littlewood-Paley decomposition, and actually applies not only to the Biot-Savart law, but also to more general operators whose kernels obey some natural structural assumptions.

研究の動機と目的

• 局所化されたYudovich空間における2次元Euler方程式の、新たな初等的証明を提供すること。
• Sobolev空間、Calderón–Zygmund理論、Littlewood–Paley分解といった高度な道具への依存を排除すること。
• 成長関数 $\Theta$ に明示的な依存関係を持つ、速度場の連続性モジュラスを確立すること。
• Yudovichの一意性結果を、無限遠における $\Theta$ に成長制約を課さない一様局所化設定に拡張すること。
• 本手法がBiot–Savart則に限らず、構造的核を持つより一般の作用素に対しても適用可能であることを示すこと。

提案手法

• 一意性の証明にYudovichのエネルギー法の代わりにラグランジュ的戦略を採用すること。
• Littlewood–Paley分解やCalderón–Zygmund理論といった関数解析的道具を避けて、初等的な実変数技法のみを用いること。
• 無限大領域に対応するため、$\Theta$ に成長制限を課さないために、一様局所化Lebesgue空間およびYudovich空間 $L^p_{\text{ul}}$ と $Y^\Theta_{\text{ul}}$ を定義すること。
• 一般の開集合 $\Omega \subset \mathbb{R}^2$ や $\Omega = \mathbb{T}^2$ に対して、$L^1 \cap L^p_{\text{ul}}$ および $L^1 \cap Y^\Theta_{\text{ul}}$ に属するvorticityを持つ、時間全域にわたる弱解を構成すること。
• 成長関数 $\Theta$ に基づいた、速度場の明示的連続性モジュラスを導出すること。
• Aubin–Lionsの補題を局所化された設定に応用し、強い収束を確保するとともに、解の時間連続性を保証すること。

実験結果

リサーチクエスチョン

• RQ1 Sobolev空間、Calderón–Zygmund理論、Littlewood–Paley分解といった高度な調和解析の道具を用いずに、2次元Euler方程式の全局的解の存在と一意性を初等的な実変数技法によって証明可能か？
• RQ2 Yudovich空間における成長関数 $\Theta$ に依存する速度場の最適な連続性モジュラスは何か？
• RQ3 Yudovichの一意性結果は、無限大領域における一様局所化設定にどのように拡張可能か？
• RQ4 ラグランジュ的アプローチは、$\Theta$ が無限遠で緩やかに増大する条件下で、$L^1 \cap Y^\Theta_{\text{ul}}$ における一意性を示すために適応可能か？
• RQ5 この枠組みにおいてBiot–Savart則はどの程度一般化可能か？また、同じ結果が得られるために核に必要な構造的仮定は何か？

主な発見

• 無限大領域またはトーラス上において、$L^1 \cap L^p_{\text{ul}}$ および $L^1 \cap Y^\Theta_{\text{ul}}$ に属するvorticityを持つ、2次元Euler方程式の時間全域にわたる弱解が存在する。
• 成長関数 $\Theta$ に明示的に依存する、速度場の連続性モジュラスが導出された。
• 関数 $\Theta$ が無限遠で緩やかに増大するという仮定の下で、$L^1 \cap Y^\Theta_{\text{ul}}$ における弱解の一意性が確立された。
• 証明はSobolev空間、Calderón–Zygmund理論、Littlewood–Paley分解を一切用いずに、初等的な実変数技法に依存している。
• 本手法はBiot–Savart則に限らず、自然な構造的仮定を満たす核を持つ一般の積分作用素に対しても拡張可能である。
• Aubin–Lionsの補題が局所化された設定に適応され、強い収束と解の時間連続性が保証された。