[論文レビュー] On the impossibility of finite-time splash singularities for vortex sheets

Daniel Coutand, Steve Shkoller|arXiv (Cornell University)|Jul 6, 2014

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

ひとこと要約

この論文は、二相不圧縮性エーラー方程式に従うヴォルテックスリーブの発展において、有限時間でのスプラッシュ特異点が発生できないことを証明している。背理法を用いて、速度勾配の正確な爆発レートを導出し、自己交差を引き起こすために必要な幾何的制約が、不圧縮性および運動方程式と両立しないことを示した。その結果、有限時間内でのこのような特異点の発生は排除される。

ABSTRACT

In fluid dynamics, an interface splash singularity occurs when a locally smooth interface self-intersects in finite time. By means of elementary arguments, we prove that such a singularity cannot occur in finite time for vortex sheet evolution, i.e. for the two-phase incompressible Euler equations. We prove this by contradiction; we assume that a splash singularity does indeed occur in finite time. Based on this assumption, we find precise blow-up rates for the components of the velocity gradient which, in turn, allow us to characterize the geometry of the evolving interface just prior to self-intersection. The constraints on the geometry then lead to an impossible outcome, showing that our assumption of a finite-time splash singularity was false.

研究の動機と目的

• 異なる流体密度を有する二相不圧縮性エーラー流れにおいて、有限時間でのスプラッシュ特異点が発生できないことを確立すること。
• 有限時間内にスプラッシュ特異点が形成される場合に生じる幾何的および動的制約を分析すること。
• 背理法と爆発レート推定を用いて、単一および複数のスプラッシュ／スプラット特異点を排除すること。
• 速度勾配の振る舞いと不圧縮性制約に基づく、厳密で素朴な証明を提供すること。

提案手法

• 有限時間でのスプラッシュ特異点の存在を仮定し、エーラー方程式を用いて速度勾配の成分の爆発レートを導出する。
• ラグランジュ的流れ写像を用いて流体領域を固定し、仮想的爆発時刻までの界面の進化を追跡する。
• 自己交差に近い界面の幾何を、流体領域内に参照点および曲線を構成することで分析する。
• 不圧縮性を適用して、非ゼロの面積を有する領域が保存されることを示し、界面の収縮と矛盾することを示す。
• 背理法を用いて、必要な運動が時間経過における速度場の有界性を破ることを示す。
• 垂直および水平の曲線分を用いて、面積が一定の領域を定義し、界面の収縮と矛盾することを導く。

実験結果

リサーチクエスチョン

• RQ1 ヴォルテックスリーブは、二相不圧縮性エーラー方程式に従う場合、有限時間内に自己交差を起こすことができるか？
• RQ2 スプラッシュ特異点が形成される場合に、どのような幾何的および動的制約が生じるか？
• RQ3 速度勾配の爆発は、不圧縮性および界面の運動と両立するか？
• RQ4 複数または同時に発生するスプラッシュ／スプラット特異点が、同一の有限時間に発生しうるか？
• RQ5 異なる流体密度および界面張力の存在が、有限時間での界面特異点を防ぐか？

主な発見

• ヴォルテックスリーブが二相不圧縮性エーラー方程式に従って発展する場合、有限時間でのスプラッシュ特異点は不可能である。
• 速度勾配の成分は、自己交差を引き起こすのと両立しない正確な爆発レートを示す。
• 不圧縮性の下では非ゼロの面積を有する領域が保存され、スプラッシュ特異点に必要な収縮と矛盾する。
• 背理法の根拠は、流体粒子が常に有界な速度場内に留まる必要があるという要請に起因し、自己交差に必要な変位を満たさない。
• 複数のスプラッシュ特異点およびスプラット特異点に対しても同様の幾何的議論が局所的に適用可能であり、その結果として同様に排除される。
• 証明は、複素解析や高度な関数空間を用いずに、素朴な議論のみに依存している。