[論文レビュー] Hyperbolic systems of conservation laws in one space dimension

Alberto Bressan|ArXiv.org|Dec 1, 2002

Navier-Stokes equation solutions参考文献 40被引用数 10

ひとこと要約

この論文は、1次元空間における厳密な双曲型保存則系の理論における最近の進展をレビューし、可視性の消失近似を用いたエンタルピー弱解の一意性、安定性、収束について焦点を当てる。特筆すべきは、リーマン問題の仮定に依存せずに、BV解のグローバル存在性とリプシッツ安定性を確立したことである。粘性移動波分解と半群論的議論を用いて、全 variation が小さいデータに対して適切な解の存在を証明する。

ABSTRACT

Aim of this paper is to review some basic ideas and recent developments in the theory of strictly hyperbolic systems of conservation laws in one space dimension. The main focus will be on the uniqueness and stability of entropy weak solutions and on the convergence of vanishing viscosity approximations.

研究の動機と目的

• 1次元における厳密な双曲型系のエンタルピー弱解の適切な定式化を確立すること。
• リーマン問題の構造や仮定 (H) に依存せずに、BV解の一意性と安定性を証明すること。
• 可視性の消失近似がエンタルピー弱解に収束することを示すこと。
• 極限解が部分列の選択に依存しないリプシッツ連続半群として特徴付けられることを示すこと。
• 全 variation が小さい粘性解の安定性結果を、一様推定式を用いて拡張すること。

提案手法

• 放物的近似における特徴的曲線および波速を定義するために、粘性移動波分解を用いる。
• 全 variation を制御し、一様な BV 界を確立するために、波の相互作用関数を適用する。
• フラックスヤコビアンの一般化固有ベクトルに沿った解の粘性分解を採用する。
• 補完的コンパクトネスおよび L∞ 環境における弱収束技法を用いるが、主に BV 方法に焦点を当てる。
• 2つのリプシッツ連続半群がすべてのリーマン問題で一致するならば、それらは同一であることを用いて、一意性を証明する。
• 一般論的議論を [B2] から応用し、可視性の消失極限が列 εm → 0 の選択に依存しないことを示す。

実験結果

リサーチクエスチョン

• RQ1 リーマン問題に単純な波構造（すなわち仮定 H に依存しない）を仮定せずに、エンタルピー弱解の一意性と安定性を確立できるか？
• RQ2 1次元における厳密な双曲型系に対して、可視性の消失近似が一意なエンタルピー弱解に収束するか？
• RQ3 全 variation が小さいデータに対して、粘性系の極限解が L1 範囲でリプシッツ連続半群として定義されるか？
• RQ4 明示的なリーマン問題や基本波の相互作用に言及せずに、一様な BV 界を導出できるか？
• RQ5 粘性移動波は、放物的近似における解の双曲型的構造を特徴付ける上で果たす役割は何か？

主な発見

• 可視性の消失極限は一意的であり、消失列 εm → 0 の選択に依存しない。これにより、一意なエンタルピー弱解への収束が保証される。
• 極限解 u(t,·) = Stū は、時間に一様に、L1 範囲でリプシッツ連続半群を定義する。
• 粘性波分解に基づく新規なアプローチにより、仮定 (H) がなくても、すべての厳密な双曲型系に対して、BV 解のグローバル存在性と安定性が確立される。
• 可視性の消失を用いたリーマン問題の解は、一意に特徴付けられ、エンタルピー解と一致する。
• 粘性波分解とエネルギー推定を用いて、全 variation が十分に小さいすべての粘性解に対して、一様なリプシッツ安定性が証明される。
• リーマン問題の解析に依存しない理論的枠組みが構築され、波の相互作用ポテンシャルに基づく従来の手法を著しく一般化する。