[論文レビュー] Maximal dissipative solutions for incompressible fluid dynamics

Robert Lasarzik|arXiv (Cornell University)|Jan 1, 2019

Navier-Stokes equation solutions参考文献 30被引用数 4

ひとこと要約

この論文は、非圧縮性流体力学、特にナビエ＝ストークス方程式およびオイラー方程式に対して、最大散乱解という新しい、適切に定式化された解の概念を導入する。エネルギーを散乱解のクラス内で最小化することにより、任意の空間次元において、解の存在、一意性、初期データおよび外力に対する連続的依存性を保証する。これは、一意性を保証しない弱解に対する堅牢な代替手法を提供する。

ABSTRACT

We introduce the new concept of maximal dissipative solutions for the Navier--Stokes and Euler equations and show that these solutions exist and the solution set is closed and convex. The concept of maximal dissipative solutions coincides with the concept of weak solutions as long as the weak solutions inherits enough regularity to be unique. A maximal dissipative solution is defined as the minimizer of a convex functional and we argue that this definition bears several advantages.

研究の動機と目的

• ナビエ＝ストークス方程式およびオイラー方程式の弱解における一意性の欠如に対処すること、特に高次元において。
• 弱解、測度値解、または標準的散乱解といった既存の解の概念が一意性を保証できないという限界を克服すること。
• ハダマールの適切に定式化された問題の基準（存在性、一意性、連続的依存性）を満たす、古典的解を一般化する新しい解の概念を提案すること。
• 一般の等温 GENERIC系に適用可能な枠組みを確立することに焦点を当て、非圧縮性流体力学を対象とする。
• 構造的安定性および数値的取り扱いやすさを保証するため、エネルギー最小化に基づく変分的定式化を提供すること。

提案手法

• 散乱解の集合上で全運動エネルギー関数の最小化者として最大散乱解を定義する。
• 相対的エネルギー不等式を、散乱解の概念の基礎として用い、エネルギー散逸と整合性があり安定であることを保証する。
• エネルギー関数の凸性とエネルギー不等式からの弱収縮性を活用して、存在性と一意性を証明する。
• 可縮性の消失法を用いて測度値解を構成し、それが最大散乱解に収束することを示す。
• 解集合が $L^∞(0,T;L^2_\sigma)$ において閉かつ凸であることを確立し、凸最適化理論の適用を可能にする。
• オイラー方程式の測度値解への定式化を適応し、最大散乱解の変種としての存在性と一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ナビエ＝ストークス方程式およびオイラー方程式に対して、初期データおよび外力に対して、大域的解の存在、一意性、連続的依存性を保証する解の概念を構築できるか。
• RQ2 散乱解のクラス内でエネルギーを最小化することで、一意的で安定的かつ物理的に意味のある解が得られるか。
• RQ3 最大散乱解の概念は、弱解、測度値解、または標準的散乱解と比較して、正則性および数値近似可能性の観点でどのように異なるか。
• RQ4 この解の概念は、流体力学を越えて一般の等温GENERIC系へ拡張可能か。
• RQ5 測度値解の定式化における欠損測度の役割は何か。また、最大散乱解フレームワークにおける最小化プロセスにどのように影響するか。

主な発見

• 最大散乱解は、ナビエ＝ストークス方程式およびオイラー方程式に対して、任意の空間次元で大域的に存在する。
• 解は構成上一意的であり、散乱解の集合上で運動エネルギー関数の唯一の最小化者であるため、一意性が保証される。
• 散乱解の解集合は、$L^∞(0,T;L^2_\sigma)$ において凸かつ弱*閉であるため、最小化問題の適切に定式化された問題としての性質が保証される。
• 最大散乱解は、初期データおよび外部力に対して弱*位相において連続的に依存する。
• オイラー方程式において、最大散乱測度値解は、測度値解の集合上でエネルギー関数の最小化者として一意に定義される。
• 分布的解に依存するのではなく、エネルギーに基づく比較を採用するため、乱流の近似や数値スキームに適している。