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

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

Navier-Stokes equation solutions参考文献 30被引用数 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.

研究の動機と目的

• 圧縮性弾性動力学における自由境界問題について、局所的時間内に滑らかな解の存在と一意性を確立すること。
• 解の適切性を保証する初期データに対する最小限の構造的条件を同定すること。
• 非同一線上性およびレイリー＝タウラーの符号条件の鋭さを、不適切性例の構築によって特定すること。
• 歪み勾配の列構造が自由境界問題の安定性において果たす役割を明確にすること。

提案手法

• 状態変数 (p, v, F₁, F₂, F₃) を用いた対称的双曲型系 (4) を用いて、Euler座標系における圧縮性弾性動力学系を定式化する。
• 境界条件を課す：自由境界で圧力が消えること、および歪み勾配の列が境界に接するようにすること。
• 自由境界問題を解析のための固定領域問題に還元するために、ラグランジュ型変換を適用する。
• エネルギー推定とKreiss対称化フレームワークを用いて、線形化問題に対する事前推定を導出する。
• 係数を凍結した線形化問題におけるフーリエ解析を実行し、分散関係を導出し、不安定モードを同定する。
• 非同一線上性およびレイリー＝タウラー条件が両方失敗する場合に、指数関数的に成長するモードの存在を分析することで、ハダマード型の不適切性例を構築する。

実験結果

リサーチクエスチョン

• RQ1 初期歪み勾配におけるどのような条件下で、圧縮性弾性動力学の自由境界問題が局所的に滑らかな解を一意に持つか？
• RQ2 レイリー＝タウラーの符号条件が成立しない場合、歪み勾配の2つの列が非同一線上にあれば、解の適切性は保証されるか？
• RQ3 非同一線上性およびレイリー＝タウラーの符号条件の両方が破綻した場合、解の適切性はどのように変化するか？
• RQ4 両条件が同時に失敗する状況で、ハダマール型の不適切性例を構築して不安定性を示すことは可能か？
• RQ5 歪み勾配に対して最小限の構造的仮定を課した場合でも、事前推定と適切性を保証できるか？

主な発見

• 初期自由境界において、歪み勾配の2つの列が非同一線上にあれば、局所的時間内に滑らかな解が存在し、一意に定まることを証明した。
• 非同一線上性条件が成立しない場合でも、初期時における古典的レイリー＝タウラーの符号条件が満たされていれば、解の適切性は依然として成立する。
• 非同一線上性およびレイリー＝タウラー条件が両方失敗する場合、係数を凍結した線形化問題に対してハダマール型の不適切性例が構築され、レイリー＝タウラー不安定性が示された。
• 不適切性は、歪み勾配の列が同一線上にあり、かつレイリー＝タウラー条件が破綻する場合に、フーリエ解析における指数関数的成長モードの存在に起因する。
• 解析により、非同一線上性およびレイリー＝タウラー条件は、安定性のためには両方を併せ持つ必要があり、片方が欠けていれば十分ではないことが確認された。
• 固定領域への還元と事前推定を用いることで、非線形自由境界問題に対しても同様の結果が得られ、提示された条件下で適切性が確立された。