Weak-strong uniqueness and low Mach number limit for a viscous compressible fluid around a rotating body

技術要約：回転物体周囲の粘性圧縮性流体における弱・強一意性と低マッハ数極限

問題の定式化
本論文は、三次元の非有界領域 $\Omega = \mathbb{R}^3 \setminus S$ において、剛体 $S$（一定の角速度 $\omega$ で回転する時不変な剛運動を行う）の周囲を流れる等温圧縮性ニュートン流体の数学的挙動を調査している。流体力学は、回転体に付随した座標系における圧縮性ナビエ・ストークス方程式によって記述される。この系には、質量保存、コリオリ力および遠心力を伴う運動量バランス、物体上の滑りなし境界条件、および密度が定数 $\rho_\infty$ に、速度が定数 $a_\infty$（$\omega$ に平行）に漸近する無限遠における特定の漸近条件が含まれる。

本研究は、主に二つの解析的課題に焦点を当てている：

1. 弱・強一一意性（Weak-Strong Uniqueness）： 圧縮性系における有限エネルギーの弱解が、同一の初期データを持つ強解（もし存在すれば）と一致することを確立すること。
2. 低マッハ数極限（Low Mach Number Limit）： マッハ数がゼロに向かうとき（形式的にはスケーリング・パラメータ $\varepsilon \to 0$ として表現される）、圧縮系の解が回転流の非圧縮ナビエ・ストークス方程式の解に収束することを証明すること。

手法
論文全体を通じて中心的なツールとして用いられるのは、**相対エネルギー不等式（Relative Energy Inequality: REI）**である。著者らは、弱解 $(\rho, u)$ と十分に滑らかな比較関数 $(\sigma, V)$ の間の「距離」を測定する相対エネルギー汎関数 $E(\rho, u|\sigma, V)$ を導出している。この汎関数は、運動エネルギーの差と（圧力則の凸性に基づく）相対内部エネルギーを組み合わせたものである。

手法は以下のように進められる：

• REIの導出： 著者らはまず、回転物体を伴う外部領域の問題に対して、有限エネルギーの弱解に対する相対エネルギー不等式を確立する。これには、比較関数を用いた運動量および連続式の弱形式のテスト、および非有界領域と回転項の慎重な取り扱いが含まれる。
• 近似議論： 非有界領域と特定の境界条件を扱うために、著者らはカットオフ関数やボゴフスキー（Bogovskiĭ）演算子を利用して、流れの漸近挙動に適合する発散ゼロのテスト関数を構成する。
• 弱・強一意性： 比較関数 $(\sigma, V)$ を強解に設定することで、REIを用いて相対エネルギーを抑え込む。コーン型不等式（Korn-type inequalities）と相対エネルギーの強形式（coercivity）を用いることで、相対エネルギーが消失しなければならず、結果として弱解と強解が同一であることを示す。
• 低マッハ数極限： 低マッハ数領域をモデル化するために、再スケーリングされた圧力項 ($\varepsilon^{-2}$) を導入する。彼らは、非圧縮解を比較関数として用いて、スケーリングされたREIを適用する。相対エネルギーに関する一様有界性とコンパクトネス議論（特に「本質的」部分と「残留」部分の密度の収束）を用いることで、圧縮系の解が非圧縮極限へと収束することを証明する。

主要な貢献と結果

1. 弱・強一意性の原理：
   本論文は、外部領域における回転物体の周囲の圧縮性ナビエ・ストークス方程式について、強解が存在する限り、任意の有限エネルギー弱解が同一の初期データから生じる強解と一致することを証明している。この結果は、断熱指数が $\gamma > 6/5$ を満たすという仮定の下で成立しており、これは（多くの場合 $\gamma > 3/2$ を必要とする）弱解の存在に関する従来の知見よりも、広範な物理的に関連のあるガス（$\gamma = 5/3$ の単原子ガスを含む）をカバーしている。

2. 低マッハ数極限：
   著者らは、圧縮系の解（再スケーリングされた圧力を伴う）が、$\varepsilon \to 0$ において回転流の非圧縮ナビエ・ストークス方程式の解に収束することを確立した。

• 定性的収束： 初期データが「適切に準備されている（well-prepared）」（すなわち、非圧縮極限に対する初期相対エネルギーが $\varepsilon \to 0$ で消失する）場合、解の相対エネルギーは時間に関して一様に小さく保たれることを証明している。
• 定量的評価： 非圧縮極限の圧力に関する追加の正則性仮定の下で、本論文は明示的な収束率を与える。相対エネルギーの誤差は、$O(\varepsilon + \varepsilon^{2/\gamma})$ のオーダーの項によって抑えられることが示されている。

3. 回転外部領域の取り扱い：
   本研究は、回転する境界を持つ外部領域という特定のケースに対して、相対エネルギー不等式の理論を拡張している。これには、コリオリ力の項の慎重な処理、および回転と無限遠での挙動を尊重する適切なテスト関数の構成が必要となる。

意義と範囲
本論文は、様々な工学的応用に関連しながらも、非有界領域と回転による圧縮性の結合のために数学的に困難なシナリオである、回転物体の周囲の圧縮性流体を解析するための厳密な数学的枠組みを提供することで、その意義を主張している。

• 一意性： 強解が存在しない一般的な弱解の状況における「弱・強」の意味での一意性の問題を解決している。
• 極限の通過： 低速回転流に対する圧縮性モデルの使用を、圧縮モデルの収束（定量的誤差評価を含む）を証明することによって正当化している。
• 汎用性： 結果は標準的な物理的条件を満たす一般的な圧力則に対して導出されており、$\gamma > 6/5$ という範囲の断熱指数により、幅広い物理的流体に適用可能である。

著者らは、自身の解析が音波の発生を避けるために「適切に準備された（well-prepared）」初期データに依存していることを明記しており、これが一般的な初期データや追加の極限（低フルード数極限など）を扱う研究と区別される点であるとしている。本研究は、有界領域および静止物体に関する既存の結果に基づき、それらを一般化したものであり、相対エネルギー法を回転する外部領域の複雑さに適応させたものである。