[論文レビュー] Dissipative measure-valued solutions to the compressible Navier-Stokes system

Eduard Feireisl, Piotr Gwiazda+2 more|arXiv (Cornell University)|Dec 15, 2015

Navier-Stokes equation solutions参考文献 17被引用数 6

ひとこと要約

本稿は、速度およびその勾配の非線形性を扱うために、散逸欠損項を介して全エネルギーバランスを組み込んだ、圧縮性ストークス方程式系の散逸的測度値解を導入する。主な貢献は、弱解強解一意性原理の確立である。すなわち、古典的解が存在する場合、同じ初期データを持つ任意の散逸的測度値解と一致する。これにより、数値スキームなどの近似解の収束証明が可能となり、安定性が保証される。

ABSTRACT

We introduce a new concept of dissipative measure-valued solution to the compressible Navier-Stokes system satisfying, in addition, a relevant form of the total energy balance. Then we show that a dissipative measure-valued and a standard smooth classical solution originating from the same initial data coincide (weak-strong uniqueness principle) as long as the latter exists. Such a result facilitates considerably the proof of convergence of solutions to various approximations including certain numerical schemes that are known to generate a measure-valued solution. As a byproduct we show that any measure-valued solution with bounded density component that starts from smooth initial data is necessarily a classical one.

研究の動機と目的

• アディアバティック指数 γ ≤ 3/2 の場合、古典的弱解が存在しないことが知られていない圧縮性ストークス方程式系に対して、堅牢な解概念の欠如に対処すること。
• 高次数の粘性モデルや数値スキームなど、弱解に収束しない測度値解を生成する近似手法の解析を可能にする枠組みを提供すること。
• 測度値設定において弱解強解一意性原理を確立し、古典的解がより広い散逸的測度値解のクラス内でも安定であることを保証すること。
• 滑らかな初期データから出発する測度値解において、密度が有界であれば、それが古典的解であることを示すこと。これにより、正則な領域における概念の妥当性を裏付ける。

提案手法

• 密度、速度、速度勾配における集中および振動効果を符号化する散逸欠損項を含む、散逸的測度値解の新概念を導入する。
• 測度に対するPoincaré型不等式 (2.23) を構造的制約として組み込み、妥当な近似列の極限と整合性を持つようにする。
• 測度値設定におけるエネルギーバランスを、全エネルギーが非増大であることを要求することで定式化し、散逸は欠損測度によって捉える。
• 離散的および連続的設定における相対エネルギー不等式を用いて、散逸欠損項の構造を活用し、弱解強解一意性を確立する。
• 古典的弱解理論の到達できない問題、たとえば高次粘性項を有する系や特定の数値スキームに対しても、この枠組みを適用する。
• 滑らかな初期データおよび正則性仮定の下で、測度値解における密度の有界性が、解が原子的（すなわち古典的）であることを示す。

実験結果

リサーチクエスチョン

• RQ1 古典的弱解が存在しない場合でも、圧縮性ストークス方程式系の測度値解に対して弱解強解一意性原理を確立できるか？
• RQ2 速度およびその勾配の非線形性を扱う際、測度値設定においてエネルギー不等式を一貫して定式化する方法は何か？
• RQ3 エネルギー不等式を保存する数値スキームが測度値解を生成する場合、古典的解に収束することが保証されるか？
• RQ4 初期データが滑らかであれば、密度成分が有界な測度値解は、必然的に古典的解であるか？
• RQ5 提案された枠組みは、多重極性または高次粘性系のような高次導関数を有する粘性モデルを扱えるか？

主な発見

• 弱解強解一意性原理が成立する。古典的解が存在する限り、任意の散逸的測度値解はそれと一致する。これにより、古典的解がより広い測度値解クラス内でも安定であることが保証される。
• 本稿で導入された散逸欠損項により、速度およびその勾配における同時的な集中が生じる場合でも、測度値設定においてエネルギー不等式が保持される。
• エネルギー不等式を保存する数値スキーム（例：Karper, 2014）では、解が散逸的測度値極限を生成し、古典的解が存在する場合には収束が保証される。
• 滑らかな初期データおよび密度成分が有界な散逸的測度値解は、Sun, Wang, and Zhang (2011) の正則性基準により、古典的解であることが示される。
• 本枠組みは、弱解が存在しないことが知られていない高次粘性項（例：多重極性モデル）や特定の境界条件を有する系にも適用可能であり、測度値解を生成できる。
• この結果は、測度値解が技術的道具にとどまらず、自然な正則性条件の下で古典的解に還元されることから、物理的に意味を持つ可能性を示唆する。