[論文レビュー] On weak solutions to the 2D Savage-Hutter model of the motion of a gravity driven avalanche flow

Eduard Feireisl, Piotr Gwiazda+1 more|arXiv (Cornell University)|Feb 22, 2015

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

ひとこと要約

本稿は、凸統合を用いて2次元Savage-Hutterモデルにおける無限個の弱解の存在を確立し、エネルギー不等式が成立しない場合の非一意性を示した。この非一意性にもかかわらず、エネルギー不等式が課せられれば弱解と強解の一意性が保たれ、滑らかな解に対して物理的整合性が保たれる。

ABSTRACT

We consider the Savage-Hutter system consisting of two-dimensional depth-integrated shallow water equations for the incompressible fluid with the Coulomb-type friction term. Using the method of convex integration we show that the associated initial-value problem possesses infinitely many weak solutions for any finite-energy initial data. On the other hand, the problem enjoys the weak-strong uniqueness property provided the system of equations is supplemented with the energy inequality.

研究の動機と目的

• 2次元Savage-Hutter系、重力駆動型雪崩の深さ平均浅水域モデルの弱解の存在と一意性に関する未解決問題に取り組む。
• 多値化したCoulomb摩擦項の存在が弱解の存在を妨げたり、非一意性を引き起こすかどうかを調査する。
• 系が双曲型であり衝撃の形成が可能性を有するにもかかわらず、エネルギー不等式が弱解のクラスにおける一意性を回復できるかを特定する。
• 従来、Euler方程式に用いられた凸統合法を、滑らかでない摩擦項を含むSavage-Hutter系に拡張する。
• 非一意性が雪崩流れのモデル化に与える影響と、エネルギー散逸が物理的に適切な解を選択する役割を検討する。

提案手法

• Savage-Hutter系を、速度の単位ベクトルを用いた滑らかでない多値摩擦項を含む双曲型保存則系として定式化する。
• 弱解を積分恒等式 (1.5) および (1.6) を用いて定義し、摩擦方向の多値選択 ${\bf B}_{\bf u}$ を組み込む。
• 凸統合法を適用して、任意の有限エネルギー初期データに対して無限個の弱解を構成し、速度および水深場における振動的ミクロ構造を活用する。
• エネルギー不等式 (3.2) を選択基準として課し、物理的に適切な解と非物理的振動的解を区別する。
• 相対エネルギー不等式 (3.4) を用いて弱解と強解の一意性を証明し、強い解が存在する場合、その解は一意の散乱的弱解であることを示す。
• 非圧縮性Euler方程式におけるDe LellisとSzékelyhidiの凸統合技法を、非線形性および多値摩擦項を扱うSavage-Hutter系に適応する。

実験結果

リサーチクエスチョン

• RQ1 Savage-Hutter系は、双曲的かつ滑らかでない性質を有するにもかかわらず、任意の有限エネルギー初期データに対して無限個の弱解を許容するか？
• RQ2 多値摩擦項（例：Savage-HutterモデルにおけるCoulomb型摩擦）を有する系に、凸統合法を効果的に適用できるか？
• RQ3 エネルギー不等式が課された場合、Savage-Hutter系における弱解と強解の一意性が保たれるか？
• RQ4 エネルギー不等式は、凸統合によって構成された非物理的振動的弱解をどのように排除するか？
• RQ5 弱解の非一意性は、雪崩流れの物理的モデル化にどのような影響を及ぼすか？また、エネルギー散逸は物理的に適切な解を選択する基準として機能できるか？

主な発見

• 凸統合を用いて証明されたように、Savage-Hutter系は任意の有限エネルギー初期データに対して無限個の弱解を許容し、弱解クラスにおける一意性の欠如を示している。
• エネルギー不等式 (3.2) は選択基準として機能する：無限個の弱解の中からエネルギー不等式を満たすものだけが物理的に許容可能である。
• 弱解と強解の一意性が保たれる：強い解が存在する場合、それは一意の散乱的弱解である。エネルギー制約下での古典的解との整合性が保証される。
• 相対エネルギー不等式 (3.4) は一意性の証明に不可欠であり、弱解と強解の間の相対エネルギーが時間とともに消えることを示している。
• 多値摩擦項 ${\bf B}_{\bf u}$（速度が非ゼロの場合は速度の単位ベクトル、ゼロの場合は単位球全体）を扱う凸統合法は、成功裏に適用可能である。
• 結果は、$h|{\bf u}|{\bf u}$ などの速度依存項を含む他の摩擦モデルにも拡張可能であり、より複雑な流れの性質を有する雪崩モデルへの広範な適用可能性を示唆している。