Universality in the Low Mach number limit via a convex integration framework

技術要約：凸積分フレームワークを通じた低マッハ数極限における普遍性

問題提起
本論文は、マッハ数 $\delta$ がゼロに趋向する特異極限である、圧縮性オイラー方程式の低マッハ数極限を調査している。物理的には、このレジームは流速が音速に比べて非常に小さく、密度変動が無視でき、非圧縮的な挙動を示す流れを記述している。数学的な目標は、圧縮性オイラー系 (1.1) から非圧縮オイラー系 (1.2) への遷移を正当化することである。

先行研究（EbinやKlainerman–Majdaなど）は、滑らかで適切に準備された初期データに対してこの極限を確立したが、その後の拡張（不適切に準備されたデータや弱解に関するもの）は、コンパクト性や相対エントロピー法を用いて、高度に振動的または乱流的な振る舞いを排除するものであった。中心的な問いは、「非圧縮系は弱解の文脈において『普遍的なアトラクター』となり得るか？」という点である。具体的には、凸積分によって許容される非一意性や乱流性を圧縮性解が示す場合であっても、あらゆる非圧縮弱解が、圧縮性解の列の強収束極として実現され得るのだろうか。

手法
著者らは、非圧縮および圧縮性等温オイラー系の非一意性を確立した彼らの先行研究 [5] に基づき、洗練された凸積分フレームワークを採用している。戦略は、以下の3つの概念的段階で進行する：

1. 部分解の構成： 任意の非圧縮オイラー方程式の弱解 $u$ から出発し、緩和された系に対する滑らかな非圧縮部分解 $(u_\varepsilon, \pi_\varepsilon, R_\varepsilon)$ を構成する。ここで $R_\varepsilon$ は正定値のレイノルズ応力テンソルである。これを、スケーリングされた圧縮性方程式 (1.3) に対する対応する圧縮性部分解 $(\rho_\delta, V_\delta, R_\delta)$ へと持ち上げる（リフティングする）。この持ち上げにより、密度 $\rho_\delta$ が1に近く、かつレイノルズ応力が正定値であることが保証される。

2. 洗練された凸積分： 著者らは標準的な凸積分スキームを修正するという核心的な革新を行っている。具体的には、許容される摂動の集合に対して新しい $L^2$ 型の制約を導入する。摂動 $\tilde{V}$ は以下の条件を満たさなければならない：
   $$\left| \int V_\delta \cdot \tilde{V} \, \frac{dx dt}{\rho_\delta} \right| \leq \frac{1}{8} \int \frac{|\tilde{V}|^2}{\rho_\delta} \, dx dt$$
   この制約は、従来の $L^\infty$ 凸積分理論（ベールのカテゴリー定理に依存するもの）には存在しないが、$C^\alpha$ 理論とは自然に整合するものである。

3. 一様評価と収束： この制約を課すことにより、摂動の運動エネルギーがレイノルズ応力テンソルのトレースによって制御されることを示す一様エネルギー評価（命題 3.1）を導出する：
   $$\int \frac{|\tilde{V}|^2}{\rho_\delta} \, dx dt \leq C \int \text{tr}(R_\delta) \, dx dt$$
   部分解の構成により $\text{tr}(R_\delta) = O(\delta)$ となるため、この評価はマッハ数 $\delta$ に関して乱流振動を制御する。この制御は、強収束を証明するために極めて重要である。

主な貢献

• 普遍的アトラクターの結果： 本論文は、凸積分フレームワークの文脈において、非圧縮系が圧縮系の普遍的アトラクターとして機能することを証明している。与えられた $L^2$ 非圧縮オイラー方程式の弱解 $u$ に対して、圧縮系の初期データの族が存在し、それによって生じる弱解が、マッハ数が消失するにつれて与えられた非圧縮解へと強収束する。
• $L^\infty$ 理論のための新しい制約： 非構成的な $L^\infty$ 凸積分スキームに $L^2$ 型の制約 (1.4) を導入したことは、重要な技術的進歩である。これは、乱流摂動によるレイノルズテンソルによる制御（以前は $C^\alpha$ の文脈で見られたもの）と、ベールカテゴリー的手法を用いた $L^\infty$ 解の間のギャップを埋めるものである。
• 断熱指数における一般性： エネルギー不等式を満たすために断熱指数 $\gamma$ に対する制約（例：$1 < \gamma \leq 1 + 2/n$）を必要とした従来の圧縮性流の凸積分結果とは異なり、本結果はエネルギー不等式が適格性の基準として課されていないため、全範囲の $\gamma > 1$ に対して成立する。

主要な結果
主定理（定理 1.1）は、次元 $n=2$ または $3$および任意の$\gamma > 1$について、初期データ$u_0 \in L^2$を持つ非圧縮オイラー方程式の任意の弱解$u$に対して、スケーリングされた圧縮性オイラー方程式の初期データの族$(\rho_\delta^0, m_\delta^0)$が存在することを述べている。マッハ数$\delta$が十分に小さい任意のとき、このデータから生じる圧縮系の方程式の弱解は無限に存在する。$\delta \to 0$ のとき：

• 密度 $\rho_\delta$ は $C^0$ で 1 に収束する。
• モメンタム $\rho_\delta v_\delta$ は $u$ に $L^2(0, T; L^2)$ で強収束する。
• 初期モメンタム $m_\delta^0$ は $u_0$ に $L^2$ で弱収束する。

意義
本論文は、非圧縮近似の堅牢性を数学的に正当化するための厳密な根拠を提供すると主張している。これは、いかなる大規模な発散フリーの流場も、凸積分によってモデル化される微細なスケールの非一意な振動力学とは無関係に、圧縮性流体の実効的かつ平均化された記述として現れ得ることを示している。これは、特異極限における新たな形態の普遍性を確立するものである。すなわち、特定の圧縮性解の族が収束するかどうかを調査するという解析的パラダイムから、あらゆる 非圧縮弱解が、圧縮性弱解によって標的とされ近似され得ることを構成的に証明するというパラダイムへと転換させている。