[論文レビュー] Mathematical Analysis of the Motion of a Rigid Body in a Compressible Navier-Stokes-Fourier Fluid

Bernhard H. Haak, Debayan Maity+2 more|arXiv (Cornell University)|Oct 23, 2017

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

ひとこと要約

本稿では、圧縮性ナビエ＝ストークス＝フォーリエ方程式とニュートンの運動法則に従う剛体運動を結合する流体-構造連成系に対して、強解の存在および一意性を$L^p$-$L^q$枠組みを用いて確立する。主な貢献は、線形化作用素の最大正則性および$ρ$-セクタリティを用いて、三次元における小刻みなデータに対する局所的および大域的解の存在を示したことである。流体-構造結合を扱うために、新規の摂動に基づくアプローチが採用された。

ABSTRACT

We study an initial and boundary value problem modelling the motion of a rigid body in a heat conducting gas. The solid is supposed to be a perfect thermal insulator. The gas is described by the compressible Navier-Stokes-Fourier equations, whereas the motion of the solid is governed by Newton's laws. The main results assert the existence of strong solutions, in an L p-L q setting, both locally in time and globally in time for small data. The proof is essentially using the maximal regularity property of associated linear systems. This property is checked by proving the R-sectoriality of the corresponding operators, which in turn is obtained by a perturbation method.

研究の動機と目的

• 圧縮性で熱伝導を有する気体と剛体を含む三次元流体-構造連成系における強解の存在および一意性を確立すること。
• 圧縮性ナビエ＝ストークス＝フォーリエ方程式と剛体運動の自由境界問題を結合する$L^p$-$L^q$理論を、完全非線形問題にまで拡張すること。
• 特に熱的効果を伴う圧縮性流体-構造系において、$L^p$-$L^q$枠組みでの大域的解の存在結果の不足を解消すること。
• 線形化された系において流体-構造結合を保つ一体的（モノリシック）アプローチを構築し、指数的安定性および最大正則性解析を可能にする。

提案手法

• 剛体運動に起因する移動領域を扱うために、流体方程式をラグランジュ座標系に変換する。
• 既存の放物型方程式に関する結果を用いて、線形化されたカスケード系から最大$L^p$-$L^q$正則性を確立する。
• 境界条件が同次である流体系から出発し、摂動法を用いて流体-構造作用素の$ρ$-セクタリティを証明する。
• 時間依存係数を含む時間区間長に比例する係数の推移的推定に依拠して、小さな時間区間における固定点法を用いて局所的解の存在を証明する。
• 大域的解のためには、定常状態まわりで線形化し、線形化作用素によって生成される半群の指数的安定性を証明する。
• 初期データが小さい場合に、重み付き$L^p$-$L^q$空間における収縮写像法を用い、線形化系の安定性および正則性を活用する。

実験結果

リサーチクエスチョン

• RQ1 三次元における圧縮性ナビエ＝ストークス＝フォーリエ系と剛体運動の結合系に対して、強解が時間的に大域的に存在可能か？
• RQ2 熱的効果を伴う流体-構造連成問題において、$L^p$-$L^q$枠組みが、初期データが小さい場合の大域的解の存在を証明するために適しているか？
• RQ3 非同次境界条件および自由境界を有する連成流体-構造系に対して、最大正則性が確立可能か？
• RQ4 摂動技法を用いて、線形化された流体-構造作用素の$ρ$-セクタリティをどのように証明できるか？
• RQ5 一体的アプローチは、線形化系における結合の保持および指数的安定性の実現にどのような役割を果たすか？

主な発見

• 時間依存係数を含む推移的推定に基づく固定点法を用いて、一般の初期データに対して$L^p$-$L^q$枠組みで局所的かつ一意的な強解の存在が確立された。
• 初期データが小さい場合に、$L^p$-$L^q$枠組みにおいて大域的かつ一意的な解が証明され、従来の結果が圧縮性ナビエ＝ストークス＝フォーリエ系に熱的効果を含めて拡張された。
• 線形化された流体-構造系が指数的安定であることが示され、これは大域的解の結果にとって不可欠である。
• 摂動法を用いて流体-構造作用素の$ρ$-セクタリティが確立され、最大正則性理論の適用が可能になった。
• 解は、すべての$t \geq 0$に対して一様正の密度条件$\rho(t,x) \geq \bar{\rho}/2$を満たし、流体が圧縮性のままであり、定義域が適切に定義されていることが保証された。
• すべての時間において、剛体と境界との距離がゼロから離れて保たれ、定義域が退化しないことが保証された。