[論文レビュー] Well-posedness of the linearized free boundary problem in compressible elastodynamics

Yuri Trakhinin|arXiv (Cornell University)|May 31, 2017

Navier-Stokes equation solutions被引用数 1

ひとこと要約

本稿は、初期境界における歪み勾配の3つの列のうち2つの列が非同一直線上にないという条件下で、圧縮性弾性動力学の自由境界問題の局所的時間における適切性を確立する。この条件が成り立つ場合には滑らかな解の存在と一意性を証明し、それが成り立たない場合にはレイリー＝ターラー符号条件が成立する場合に適切性を示す。一方、両条件が同時に成り立たない場合には、ハダマール型の例を用いて不安定性を示す。

ABSTRACT

We study the free boundary problem for the flow of a compressible isentropic inviscid elastic fluid. At the free boundary moving with the velocity of the fluid particles the columns of the deformation gradient are tangent to the boundary and the pressure vanishes outside the flow domain. We prove the local-in-time existence of a unique smooth solution of the free boundary problem provided that among three columns of the deformation gradient there are two which are non-collinear vectors at each point of the initial free boundary. If this non-collinearity condition fails, the local-in-time existence is proved under the classical Rayleigh-Taylor sign condition satisfied at the first moment. By constructing an Hadamard-type ill-posedness example for the frozen coefficients linearized problem we show that the simultaneous failure of the non-collinearity condition and the Rayleigh-Taylor sign condition leads to Rayleigh-Taylor instability.

研究の動機と目的

• 圧縮性弾性動力学における自由境界問題の、滑らかな解の局所的時間における存在と一意性を確立すること。
• 適切性を保証する初期境界における最小限の幾何的および動的条件を同定すること。
• 歪み勾配の列の非同一直線上性とレイリー＝ターラー符号条件が安定性に果たす役割を分析すること。
• 非同一直線上性およびレイリー＝ターラー条件の両方が成り立たない場合に、ハダマール型の構成を用いて不適切性を示すこと。

提案手法

• 移動境界を持つ滑らかな解のまわりで自由境界問題を線形化し、領域外では圧力が消えるものとする。
• 係数を凍結する方法を用いて、主記号とその逆行列可能性を分析することで、線形化系を解析する。
• エネルギー推定と事前評価を適用して、ソリューションのソボレフ空間内での時間発展を制御する。
• 非同一直線上性およびレイリー＝ターラー条件の両方が成り立たない場合の、係数を凍結した線形化問題に対するハダマール型の不適切性例を構成する。
• 歪み勾配の構造を用いて、初期境界における2つの列が非同一直線上にないという幾何的条件を定義する。
• 非同一直線上性が成り立たない場合に、初期時におけるレイリー＝ターラー符号条件が十分条件として成立することを検証する。

実験結果

リサーチクエスチョン

• RQ1 初期歪み勾配にどのような条件が満たされると、圧縮性弾性動力学の自由境界問題が一意的な局所的時間における滑らかな解を有するか？
• RQ2 歪み勾配の2つの列の非同一直線上性が適切性を保証するために果たす役割は何か？
• RQ3 非同一直線上性条件が成り立たない場合、レイリー＝ターラー符号条件は適切性にどのように影響するか？
• RQ4 非同一直線上性およびレイリー＝ターラー条件の両方が失敗した場合、線形化問題において不安定性が生じるか？
• RQ5 幾何的および動的条件が同時に失敗した場合、どのような種類の不適切性が生じるか？

主な発見

• 歪み勾配の3つの列のうち2つが初期境界で非同一直線上にあれば、圧縮性弾性動力学の自由境界問題は時間に関して局所的に適切である。
• 非同一直線上性条件が成り立たない場合でも、初期時における古典的レイリー＝ターラー符号条件が成立すれば、適切性は保証される。
• 非同一直線上性およびレイリー＝ターラー条件の両方が成り立たない場合、係数を凍結した線形化問題に対してハダマール型の不適切性例が構成される。
• この不適切性例は、両条件が同時に失敗する状況下で線形化設定においてレイリー＝ターラー不安定性を示している。
• 結果として、レイリー＝ターラー符号条件が成り立たない状況では、非同一直線上性条件が適切性に不可欠であることが示された。
• 解析により、歪み勾配の幾何的構造と動的安定性条件の相互作用が、自由境界問題の可解性にとって極めて重要であることが確認された。