[論文レビュー] Traveling vortex pairs for 2D incompressible Euler equations

Daomin Cao, Shanfa Lai+1 more|arXiv (Cornell University)|Dec 20, 2020

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

ひとこと要約

本稿では、一般の渇き関数を用いた2次元非圧縮性Euler方程式に対して、点渇きに等しく逆符号の強さを持つ渇き対の正則化（特異性除去）を、改良された渇き法を用いて行い、その結果として定常な移動渦対の族を構成する。主な結果は、コアサイズがゼロに近づく極限において特異な点渇きモデルに収束する正則解として、このような渦対が存在することである。

ABSTRACT

In this paper, we study desingularization of vortices for the two-dimensional incompressible Euler equations in the full plane. We construct a family of steady vortex pairs for the Euler equations with a general vorticity function, which constitutes a desingularization of a pair of point vortices with equal magnitude and opposite signs. The results are obtained by using an improved vorticity method.

研究の動機と目的

• 2次元非圧縮性Euler方程式の渇き正則化問題を、全平面で取り扱う。
• 等しい大きさで逆符号の点渇きを近似する正則的で定常的な渇き対を構成する。
• 一般の渇き関数を用いて、古典的な点渇きモデルを正則的で有限コアを持つ解へと拡張する。
• 所定の対称性と漸近的挙動を有する移動解の存在を確立する。
• 渇き-流れ関数の定式化と変分法を用いて、厳密な解析的枠組みを提供する。

提案手法

• 時間依存Euler方程式を、渇き-流れ関数フレームワークに定式化し、定常問題に還元する。
• x₂軸に関して対称性を課し、x₂軸上でϕ = 0とする。これにより渇き対をモデル化する。
• 流量パラメータμと強さパラメータλを用いた、f(ϕ − Wx₁ − μ)という渇き関数を導入し、渇きを正則化する。
• 制約下でのエネルギー汎関数の最小化を目的とする変分的アプローチを採用し、レベルρにおける切断を施したペナルティ汎関数を用いる。
• テスト関数法とSobolev型不等式を用いて、流れ関数および渇きに対する一様な有界性を導出する。
• 事前推定を確立し、下界・上界解の議論を用いて、望ましい極限に収束する解の存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 2次元非圧縮性Euler方程式の定常解として、有限コアを持つ正則な渇き対を、等しい大きさで逆符号の点渇きを近似する形で構成可能か？
• RQ2 コアサイズがゼロに近づくとき、渇き-流れ関数定式化下での渇き分布はどのように変化するか？
• RQ3 このような正則化渇き対が存在するための渇き関数fに必要な条件は何か？
• RQ4 解は一様に有界であり、ε → 0 の極限で点渇きモデルに収束するか？
• RQ5 流量パラメータμは、渇き対の存在性および構造にどのように寄与するか？

主な発見

• 一般の渇き関数fを用いた2次元Euler方程式に対して、定常的かつ対称的な渇き対の族が存在する。
• ε → 0 の極限において、解は ω ≈ κδ(x − b₁) − κδ(x − b₂) と近似され、正則化された点渇き対に対応する。
• 流れ関数ψ^ε,ρはεおよびρに関して一様に有界であり、εが十分に小さいとき、ψ^ε,ρ ≤ (κ/4π)log f(ρ) + |1 − 2ϑ₀|ρ + C₀ が成り立つ。
• 十分に小さいεに対して、ρ₀が (κ/4π)log f(ρ₀) + |1 − 2ϑ₀|ρ₀ + C₀ ≤ ρ₀ を満たすように選ばれれば、ψ^ε,ρ₀ ≤ ρ₀ がほとんど everywhere で成立する。
• エネルギー汎関数は E_ε,ρ(ζ^ε,ρ) ≥ (κ/4π)log(1/ε) − C を満たし、渦核スケーリングと整合する対数発散を確認する。
• 本手法により、渦領域Aの境界上で∇ϕが連続となることが保証され、物理的要件としての滑らかな速度遷移が満たされる。