[論文レビュー] Splash singularities for the one-phase Muskat problem in stable regimes

Ángel Castro, Diego Córdoba+2 more|arXiv (Cornell University)|Nov 29, 2013

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

ひとこと要約

本稿は、安定な状態下で、滑らかな流体界面が2つの異なる流体粒子の衝突によって1点に収縮する、1相マスカット問題における最初の有限時間スプラッシュ特異性を確立する。変換された速度場とコンformal写像を用いて、系の放物型性にもかかわらず、レイリー＝ターレー条件を満たす場合にこのような特異性が形成可能であることを証明する。

ABSTRACT

This paper shows finite time singularity formation for the Muskat problem in a stable regime. The framework we found is with a dry region, where the density and the viscosity are set equal to $0$ (the gradient of the pressure is equal to $(0,0)$) in the complement of the fluid domain. The singularity is a splash-type: a smooth fluid boundary collapses due to two different particles evolve to collide at a single point. This is the first example of a splash singularity for a parabolic problem.

研究の動機と目的

• 安定で放物型の力学的条件下で、1相マスカット問題における有限時間スプラッシュ特異性の存在を示すこと。
• 従来の水波問題とは異なり、放物型系では時間反転が不可能であるという課題を克服すること。
• レイリー＝ターレー条件を満たす初期データを構成し、界面が有限時間 $T_*$ に単一の点で自己交差することを可能にすること。
• 変換された速度場とコンフォーマル写像を用いて、安定状態における特異性形成の枠組みを確立すること。

提案手法

• 移動座標系を用いてマスカット問題を変換し、重力効果を分離する。これにより、新たな速度場 $\underline{v}$、密度 $\underline{\rho}$、圧力 $\underline{p}$ を導入する。
• 流体領域にコンフォーマル写像を適用し、自由界面を変換された「チルダ領域」で解析することで、幾何的特異性の制御を可能にする。
• ホフの補題を用いて、スプラッシュ点における法線速度が2つの衝突する流体粒子を分離し、内向きの収縮を保証する。
• 初期データを構成し、界面が滑らかであるが、有限時間 $T_*$ に $z(\alpha_1) = z(\alpha_2)$ で自己交差するようにする。
• 進化全般にわたりレイリー＝ターレー条件が満たされることを確認し、安定かつ放物型の状態が維持されることを保証する。
• 恒等式 $\partial_t \underline{\rho} + \underline{v} \cdot \nabla \underline{\rho} = 0$ および $\underline{\mu} \underline{v} = -\nabla \underline{p}$ を用いて、新しい座標系でもマスカット方程式の構造を維持する。

実験結果

リサーチクエスチョン

• RQ1 安定で放物型の力学的条件下で、1相マスカット問題にスプラッシュ特異性が形成可能か？
• RQ2 放物型系では時間反転が不可能であるにもかかわらず、このような特異性を構成することは可能か？
• RQ3 単一の点での界面自己交差を達成しつつ、レイリー＝ターレー条件をどのように維持できるか？
• RQ4 どのような変換により、安定なマスカット状態におけるスプラッシュ特異性の解析が可能になるか？
• RQ5 水波問題で用いられるコンフォーマル写像技術を、マスカット設定に適応させ、特異性形成を証明できるか？

主な発見

• 本稿は、放物型偏微分方程式の例として、特に安定状態下の1相マスカット問題における最初のスプラッシュ特異性を構成する。
• 特異性は有限時間 $T_*$ に、滑らかな界面の2つの異なる点が1つの空間的点に衝突する際に発生する。
• 進化全般にわたりレイリー＝ターレー条件が満たされており、安定な状態と系の放物型性が保証されている。
• 変換された座標系における速度場により、2つの衝突点における法線成分が内向きを向くことが保証され、収縮が可能になる。
• 移動座標系変換により、時間反転が不要な形に系を再定式化でき、放物型系の時間非可逆性を回避する。
• 解析により、特異性が「スプラッシュ型」（点の自己交差）であり、「スプラット型」（弧の自己交差）とは異なり、水波系の既存結果とは区別されることを確認した。