[論文レビュー] Viscous compressible homogeneous multi-fluids with multiple velocities: barotropic existence theory

A. E. Mamontov, Д. А. Прокудин|arXiv (Cornell University)|Oct 18, 2016

Navier-Stokes equation solutions参考文献 3被引用数 11

ひとこと要約

本稿では、全密度にのみ依存する共通の速度場と圧力に基づく修正された定式化を導入することにより、複数の速度を持つ粘性圧縮性多相流体の弱解の存在を確立する。主な貢献は、非対角行列の粘性係数行列に起因する数学的障壁を克服し、物理的正の条件を除き構造的制限を課さない全球的解の存在結果を得ることにある。

ABSTRACT

We consider the model of viscous compressible homogeneous multi-fluids with multiple velocities. We review different formulations of the model and the existence results for boundary value problems. We analyze crucial mathematical difficulties which arise during the proof of the existence theorems.

研究の動機と目的

• 非対角粘性係数行列を有する粘性圧縮性多相流体の弱解の存在定理を示すための数学的課題に取り組むこと。
• 従来の全球的解の結果が三角形または対角行列の粘性係数行列にしか適用されなかったという制限を克服すること。
• 物理的整合性を保ちつつ完全な数学的可解理論を可能にする、修正されたモデル定式化を開発すること。
• 共通の速度と圧力に基づくバロトロープケースへの存在理論の拡張を図り、粘性係数行列に対する構造的制約を排除すること。
• 1次元および多次元設定における定性的性質と滑らかな解の研究の基盤を築くこと。

提案手法

• 全成分が共通の速度場 $\boldsymbol{v}$ と全密度 $\rho = \sum \rho_i$ のみに依存する共通の圧力 $p$ を有する修正された系を導入する。
• 連続の式において、個々の物質微分作用素 $\frac{d}{dt} = \frac{\partial}{\partial t} + \boldsymbol{u}_i \cdot \nabla$ を単一の共通速度 $\boldsymbol{v}$ に置き換える。
• 共通の圧力と、対称行列 $\textbf{M} = \{\mu_{ij}\} > 0$ および $\textbf{H} = \boldsymbol{\Lambda} + \frac{2}{3}\textbf{M} \geq 0$ を用いて定義される一般化された粘性応力テンソルを有する修正された運動量方程式を用いる。
• 近似解の収束を扱うために、有効な粘性フラックス推定と混合積の解析に基づくコンパクトネスの議論を適用する。
• 非線形項 $\rho_i \boldsymbol{u}_j$ を運動量方程式で制御するため、$\nabla\Delta^{-1}$ 演算子を含むコンmutator恒等式と $L^p$-型推定を用いる。
• 特に有効な粘性フラックス法を用いたナビエ＝ストークス理論の技術を、共通の速度と圧力を有する多相流体の文脈に適応する。

実験結果

リサーチクエスチョン

• RQ1 一般の非対角粘性係数行列を有する粘性圧縮性多相流体に対して、弱解の存在を確立できるか？
• RQ2 粘性係数行列に対する構造的制限を排除しつつ物理的整合性を保つために、モデルをどのように再定式化できるか？
• RQ3 混合積 $\rho_i \boldsymbol{u}_j$ および運動量方程式における高次項の相互作用を扱うために必要な数学的技法は何か？
• RQ4 有効な粘性フラックス法を共通の速度と圧力を有する多相流体設定に適応できるか？
• RQ5 1次元における多相流体の可解理論は、単相流体の最先端水準にまで到達できるか？

主な発見

• 本稿では、共通の速度と圧力に基づく修正された定式化を用いて、複数の速度を持つ粘性圧縮性多相流体のバロトロープモデルにおける弱解の存在を確立する。
• 数学的枠組みは、非対角粘性係数行列に起因する主な障壁を克服し、従来は三角形または対角行列の場合にしか全球的解が得られなかった制限を解消する。
• 修正されたモデルは物理的に現実的な対称粘性係数行列を許容しつつ、可解理論を保ち、従来の構造的制約を排除する。
• コンパクトネスの議論は、コンmutator項および有効な粘性フラックスの精密な推定に依存し、$\nabla\Delta^{-1}$ 演算子の $L^p$-型バインドによって収束が確立される。
• 解析により、1次元の場合でさえ、非対角構造に起因する特異な課題が、多次元と同様に依然として存在することが示される。
• これらの結果は、1次元および多次元設定における滑らかな解や定性的性質の研究への理論の拡張の基盤を提供する。