[論文レビュー] Uniqueness for the 2-D Euler equations on domains with corners

Christophe Lacave, Évelyne Miot+1 more|arXiv (Cornell University)|Jul 2, 2013

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

ひとこと要約

本稿は、角が鋭角（≤ π/2）をなす有界で単純連結な平面領域において、有界な渦度を伴う2次元Euler方程式の弱解の一意性を確立する。領域をリーマン球面への正則同型写像で単位円板に写像することにより、速度場の対数リプシッツ連続性を証明し、これによりラグランジュ的軌道に対するグローバル型推移的評価が可能となり、C^{1,1}境界正則性の欠如にもかかわらず一意性が保証される。

ABSTRACT

For a large class of non smooth bounded domains, existence of a global weak solution of the 2D Euler equations, with bounded vorticity, was established by Gérard-Varet and Lacave. In the case of sharp domains, the question of uniqueness for such weak solutions is more involved due to the bad behavior of $Δ^{-1}$ close to the boundary. In the present work, we show uniqueness for any bounded and simply connected domain with a finite number of corners of angles smaller than $π/2$. Our strategy relies on a log-Lipschitz type regularity for the velocity field.

研究の動機と目的

• 非滑らかな境界、特に角度が(0, π/2]に属する角を持つ領域における2次元Euler方程式の弱解の一意性を確立すること。
• 非C^{1,1}領域ではカルデロン＝ジムンド推定が破綻するため、古典的なユドビチの一意性議論が失敗する問題を扱うこと。
• 滑らかまたは凸で対称的な角度を持つ領域に限らない、特に鋭角特異性を有する領域への一意性結果の拡張。
• 角の近くで速度場がW^{1,∞}正則性を持たない問題を克服し、共形写像を用いて対数リプシッツ正則性を確立すること。

提案手法

• 角が鋭角である元の領域を正則同型写像により単位円板に写像し、Euler方程式の構造を保存すること。
• 共形写像下での速度場のプッシュフォワードを解析し、円板内での対数リプシッツ正則性推定を導出すること。
• 角特異性を有する調和関数の挙動を用いて、境界の角の近くにおける2階微分の増大を制御すること。
• 角領域における楕円型理論を活用し、速度場のL^∞(ℝ₊;L²(Ω))およびcurl uのL^∞(ℝ₊×Ω)における一様推定を確立すること。
• 単位円板におけるラグランジュ的軌道に対して、対数リプシッツ境界に依存するグローバル型推移的議論を適用し、一意性推定を閉じること。
• 変換された領域における対称性と反射技術を用いて、角の近くで生じる特異積分を制御すること。

実験結果

リサーチクエスチョン

• RQ1 C^{1,1}でない、特に鋭角をなす角を持つ領域において、2次元Euler方程式の弱解の一意性を確立できるか？
• RQ2 定数の線形p依存性を示すカルデロン＝ジムンド不等式の失敗が、速度場が対数リプシッツにしか成り立たない場合でも、一意性が保たれるか？
• RQ3 鋭角の近くにおける速度場の特異的挙動をどのように制御すれば、軌道に対するグローバル推移的評価が可能になるか？
• RQ4 共形写像技術を用いて、単位円板からの正則性推定を一般の鋭角特異性を有する領域に移すことは可能か？
• RQ5 速度場がW^{1,∞}バインディングを持たない状況下で、対数リプシッツ正則性が一意性に十分であるか、特に渦度が有界である場合に限る。

主な発見

• 有界で単純連結な平面領域において、角の角度θ_k ∈ (0, π/2]を有する2次元Euler方程式のグローバル弱解の一意性が確立された。
• 変換された領域（単位円板）における速度場が対数リプシッツ連続であることが示され、これはラグランジュ的軌道に対するグローバル推移的評価を閉じるのに十分である。
• 角領域におけるポisson方程式の解のL^p推定における定数がC(p,Ω) ≤ C(Ω)pを満たすことを証明した。これはグローバル推移的議論にとって極めて重要である。
• 角の近くで生じる速度カーネル由来の特異積分は、dyadic分解と|z - x_k|^{-2α_k}（α_k > 0）を含む推定を用いて制御され、|ln d|を含む評価が得られた。
• 渦度の符号条件を必要とせず、従来の単一符号渦度を仮定した結果の範囲を超えて一意性を拡張した。
• 長方形や対称的角を持つ凸領域に対する既存の一意性結果を、鋭角特異性を有するより広いクラスの領域へ一般化した。