[論文レビュー] Uniqueness for two dimensional incompressible ideal flow on singular domains

Christophe Lacave|arXiv (Cornell University)|Sep 6, 2011

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

ひとこと要約

本稿は、角を持つ特異領域（有界な単純接続領域、または有界な単純接続集合の外部）における2次元非圧縮性Euler方程式のグローバル弱解の一意性を、初期渦度が有界で、コンパクトに台を持つ、かつ符号が定まっているという仮定の下で確立する。証明は、流れ関数に基づく新規なリャプノフ関数に依存しており、この関数は境界に近づく軌道に対しても有界のまま保たれ、速度が角の近くで発散する状況においても、粒子軌道の分離を制御するグローバルド型の議論を可能にする。

ABSTRACT

The existence of a solution to the two dimensional incompressible Euler equations in singular domains was established in [Gérard-Varet and Lacave, The 2D Euler equation on singular domains, submitted]. The present work is about the uniqueness of such a solution when the domain is the exterior or the interior of a simply connected set with corners, although the velocity blows up near these corners. In the exterior of a curve with two end-points, it is showed in [Lacave, Two Dimensional Incompressible Ideal Flow Around a Thin Obstacle Tending to a Curve, Ann. IHP, Anl extbf{26} (2009), 1121-1148] that this solution has some interesting properties, as to be seen as a special vortex sheet. Therefore, we prove the uniqueness, whereas the problem of general vortex sheets is open.

研究の動機と目的

• 角特異性を有する領域における2次元非圧縮性Euler方程式のグローバル一意性を確立すること。
• 境界における速度発散が生じる状況で、標準的手法が境界の正則性不足のため失敗する中で、一意性のオープンな問題に取り組むこと。
• C1,1領域を超える領域へ、ユドビチ型の一意性結果を、特異幾何構造に適応した新規なリャプノフ関数を導入することで拡張すること。
• 初期渦度が有界で、コンパクトに台を持ち、符号が定まっているという条件下で一意性を証明すること。これはリャプノフ関数構成において不可欠である。

提案手法

• 速度場に関連する流れ関数に基づくリャプノフ関数を構築し、境界挙動を捉えるために対数項を加えて修正する。
• Biot-Savart法則を用いて速度を渦度で表現し、共形写像と積分表現を用いて特異領域の解析を可能にする。
• 粒子軌道を角の近くで追跡するために、リャプノフ関数 L(t) = −ln|L1(t, φx(t))| を導入する。ここで L1 は修正された流れ関数である。
• 粒子が境界に近づくと、リャプノフ関数の時間微分が0に近づくことを証明し、グローバルド型推移を可能にする。
• リャプノフ関数の特異零点を避けるために、渦度の符号条件を用いて、流れ関数が境界でのみ消えることを保証する。
• 近似領域における解の極限を正当化するために、先行する存在性研究からのコンパクトネスおよびΓ収縮の議論を用いる。

実験結果

リサーチクエスチョン

• RQ1 角特異性を有する領域における2次元非圧縮性Euler方程式のグローバル弱解は、境界付近での速度発散が生じる中でも一意であると言えるか？
• RQ2 特異な速度場が存在する状況においても、有界で粒子軌道の制御を可能にするリャプノフ関数を構築することは可能か？
• RQ3 初期渦度の符号条件が、特異領域における流れ関数の構造およびリャプノフ法の有効性に与える影響は何か？
• RQ4 一意性結果は、有界な単純接続集合の角を持つ外部領域のような非有界領域へ拡張可能か？
• RQ5 Biot-Savart作用素が有界でなくなる非滑らかな境界を扱うにあたり、標準的リャプノフアプローチに必要な修正は何か？

主な発見

• 本稿は、有限個の角を持つ境界を有する有界領域または外部領域における2次元非圧縮性Euler方程式のグローバル弱解の一意性を証明する。
• 一意性結果は、初期渦度が有界で、コンパクトに台を持ち、符号が定まっているという条件下で成立する。
• 流れ関数の対数に基づく新規なリャプノフ関数が、粒子軌道が境界に近づく際も有界のまま保たれ、粒子分離の制御を可能にする。
• リャプノフ関数の時間微分が境界付近で0に近づくため、グローバルド型推移により一意性が結論づけられる。
• 渦度の符号条件により、流れ関数が境界でのみ消えることが保証され、これはリャプノフ関数が境界到達を検出できるために不可欠である。
• 本手法は角を持つ領域に特化しており、固定渦や非ゼロ速度を伴う移動特異点といった他の力学系には直接拡張できない。