[論文レビュー] Vanishing viscosity and the accumulation of vorticity on the boundary

James P. Kelliher|ArXiv.org|May 15, 2008

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

ひとこと要約

この論文は、R^d (d ≥ 2) における有界領域で境界がC²級である場合、ナビエ＝ストークス方程式の解が時間に一様にオイラー方程式の解に収束するという古典的減粘性極限が、境界に渦膜が形成されるための必要十分条件であることを確立している。渦膜は、H¹(Ω)の双対空間における測度として境界上に集中する渦度として特徴づけられ、古典的極限と境界層の力学の間の関係を結ぶ。

ABSTRACT

We say that the vanishing viscosity limit holds in the classical sense if the velocity for a solution to the Navier-Stokes equations converges in the energy norm uniformly in time to the velocity for a solution to the Euler equations. We prove, for a bounded domain in dimension 2 or higher, that the vanishing viscosity limit holds in the classical sense if and only if a vortex sheet forms on the boundary.

研究の動機と目的

• 非圧縮流れにおいて、古典的減粘性極限と境界に渦膜が形成されることの同値性を確立すること。
• 回転対称な円盤における渦膜形成に関する先行結果を、対称性の仮定なしに一般の有界領域へと拡張すること。
• 極限が成立するための境界渦度測度の性質を、C(Ω)の双対空間ではなくH¹(Ω)の双対空間において特徴づけること。
• 速度に関するノースリップ境界条件および特徴的境界条件の両方の下で、同値性を証明すること。
• エネルギーノルムにおける収束と境界上での特異な渦度集中を結びつける、きめ細かな関数解析的枠組みを提供すること。

提案手法

• L∞([0,T];H)におけるナビエ＝ストークス方程式の弱解の収束を用いて、減粘性極限を形式化する。
• 渦度を速度の勾配の反対称部として定義し、ω(u) = ½(∇u − (∇u)ᵀ) とし、その分布的極限を解析する。
• リプシッツ領域上でトレース作用素と部分積分を用いて、エネルギー推定における境界項を正当化する。
• 関数解析的道具を用いる：L²ベクトル場を発散なし部分と勾配部分に分解する（ヘルムホルツ分解）、H¹(Ω)とその双対空間の双対性。
• エネルギー推定と弱収束の議論を通じて、古典的極限（B）と境界渦膜形成（E, E₂）の同値性を確立する。
• トレース理論と境界積分恒等式の適応により、ノースリップ条件から特徴的境界条件への結果の拡張を行う。

実験結果

リサーチクエスチョン

• RQ1 有界なC²境界を持つ領域におけるナビエ＝ストークス方程式の古典的減粘性極限が成立する条件は何か？
• RQ2 境界に渦膜が形成されることこそ、古典的減粘性極限の必要十分条件であるか？
• RQ3 極限の文脈において、H¹(Ω)′における境界渦度（測度）の性質は、C(Ω)′におけるものとどのように異なるか？
• RQ4 古典的極限と渦膜形成の同値性は、回転対称でない初期データに対しても拡張可能か？
• RQ5 速度に関するノースリップ境界条件と特徴的境界条件の下で、結果にどのような違いが生じるか？

主な発見

• 古典的減粘性極限が成立するのは、境界に渦膜が形成され、渦度がH¹(Ω)′における測度として境界上に集中する場合に限る。
• 初期渦度が回転対称な円盤では、古典的極限が成立し、境界に渦膜が形成される。これは一般結果の特殊ケースを確認するものである。
• 任意の有界なC²領域（R^d, d ≥ 2）において、初期データの対称性にかかわらず、古典的極限と渦膜形成の同値性が成立する。
• 渦膜は、H¹(Ω)′における有限ボレル符号測度として境界上に集中する渦度として特徴づけられ、C(Ω)′に属するとは限らない。
• 結果は特徴的境界条件へと拡張され、より弱い境界仮定の下でも同値性が成立することが示された。
• 証明はリプシッツ領域におけるトレース理論と双対性の議論に依拠し、部分積分とソボレフ空間における弱収束を用いて主要な恒等式を導出している。