Sharp Residual-Work Criteria for Positive-Cone Oldroyd-B and FENE-P Reynolds States

技術要約：正の錐（Positive-Cone）を持つ Oldroyd–B および FENE-P レイノルズ状態に対する鋭い残留仕事基準

問題提起
本論文は、応力拡散のない Oldroyd–B 系およびその有限伸長性変種である FENE-P に関する、大データ問題（large-data problem）を扱っている。これらの系は強固な自由エネルギー恒等性を有しているが、この恒等式だけでは、どの「レイノルズ欠損（Reynolds defects）」（緩和された残留項）が、正定値な共形テンソルの物理的制約およびエネルギー・エントロピー不等式と両立するかという問いを解決するには不十分である。具体的には、滑らかな残留プロファイルのレベルにおいて、提案された運動量および共形残留が、正の錐制約（$A \in \mathbb{S}^2_{++}$）や熱力学法則に抵触することなく、エネルギー・エントロピー的に許容可能であるかどうかを決定することが問題である。課題は、応力拡散の欠如と、対数共形変数における高周波カスケードの可能性にあり、これが標準的なコンパクト性議論を困難にしている。

手法
著者は、「残留仕事（residual-work）」フレームワークを採用し、解析の焦点をグローバルな存在性から、欠損の局所的な許容性へと移行させている。その手法は、以下の主要なステップで進行する。

1. 対数共形パラメータ化（Log-Conformation Parametrization）: 共形テンソル $A$ を $A = e^B$（ただし $B \in \mathbb{S}^2$）として表現する。この変換により、正の錐制約（$A \in \mathbb{S}^2_{++}$）が自動的に強制されるため、明示的な正値性のチェックを行うことなく、残留項の解析に集中することが可能となる。
2. エントロピー双対閉鎖フレームワーク（Entropy-Dual Closure Framework）: 弾性応力 $T$ とエントロピーレバー $G = D\Phi$ が関係式 $G(C)C = T(C)$ を満たす閉鎖クラスに対して議論を定式化する。これには、フック型 Oldroyd–B の場合（$G = I - A^{-1}$）および FENE-P の場合（$G_b = D\Phi_b$）が含まれる。
3. 欠損仕事恒等式（Defect-Work Identity）: 運動量方程式と共形方程式をそれぞれ速度とエントロピーレバーでテストすることにより、全エネルギーの変化率に関する厳密な恒等式を導出する。この恒等式は、「欠損仕事」項、すなわち運動量残留と歪み速度との相互作用、および共形残留とエントロピーレバーとの相互作用を孤立させる。
4. 圧力フリーへの簡約（Pressure-Free Reduction）: 非圧縮設定において、歪み速度 $D(u)$ に対して仕事をしない等方的な圧力テンソルおよび平均速度モードを除去する。これにより、ゲージ不変な「圧力フリー仕事」量 $P(t)$ が得られる。
5. ヒルベルト空間最小化: 許容条件を、共形残留 $S$ とエントロピーレバー $G$ のペアリングに関する符号付き不等式へと簡約する。著者は、与えられた正の圧力フリー仕事 $P(t)$ を相殺するために必要な $S$ の最小 $L^2$ ノルムを解き、一意な「整列した（aligned）」最小化因子を特定する。

主要な貢献と結果

• 鋭い残留仕事基準: 本論文は、エネルギー・エントロピー的許容性のための必要条件を確立している。残留一致状態が許容可能であるためには、任意の時間窓 $E$ における正の圧力フリー仕事 $W_E$ が次を満たさなければならない：
  $$W_E \leq \frac{\alpha}{2} \eta_E L_E S_E$$
  ここで、

  • $L_E = \|G\|_{L^2(E \times \mathbb{T}^2)}$ はエントロピーレバーの大きさである。
  • $S_E = \|S\|_{L^2(E \times \mathbb{T}^2)}$ は共形残留の大きさである。
  • $\eta_E$ は「負の整列係数（negative-alignment coefficient）」であり、$S$ の $-G$ への射影の効率を測定するものである。
  • $\alpha$ はモデルパラメータである。

• 三チャネルの代替案: この不等式は、正のレイノルズ生成が維持されるためには、少なくとも以下の3つのチャネルのいずれかが活性化していなければならないことを示唆している：大きなエントロピーレバー、大きな共形残留、あるいはそれらの間の強い負の整列。提案されたアンザッツ（例：構造化された族やせん断層）がこの不等式を満たさない場合、それは厳密に非許容である。

• 最適性と鋭さ: 定数 $\alpha/2$ および最小化される残留の形式が鋭いことが証明されている。固定された正の仕事 $P(t)$ とレバー $G(t)$ に対する一意な最小化因子は、整列した場である：
  $$S_{\min} = -\frac{2P(t)}{\alpha \|G(t)\|_{L^2}^2} G(t)$$
  これは、直交する残留は正の仕事を行うことができず、整列した残留こそが最も効率的なメカニズムであることを示している。

• 具体的な障害の例: 著者は、正の圧力フリー仕事（粘性によって駆動される）が $\varepsilon^{-(2\beta+1)}$ とスケールする一方で、利用可能なレバー・残留予算がより遅くスケールする、特定の有限厚さのせん断層を構成する。これにより、この族が、ゲージの選択によるものではなく、残留仕事則の構造的な違反によって、十分に小さい厚さ $\varepsilon$ において許容性テストに失敗することを証明している。

• FENE-P への拡張: 本フレームワークは、有限伸長性（$\text{tr } C < b$）によって状態空間が制限される FENE-P モデルへと一般化される。エントロピーレバーは $G_b(C) = \frac{b-2}{b-\text{tr } C}I - C^{-1}$ として修正される。同一の残留仕事則が成立し、有限伸長性のマージンが許容性の幾何学の一部となる。

意義と主張
本論文は、正の錐制約を持つ粘弾性流体の滑らかなレイノルズ状態の許容性に関する、正確、計算可能、かつ鋭い基準を提供すると主張している。その意義は以下の点にある：

1. 許容性と実現の分離: 本定理は、残留レベルにおける許容性の必要条件を明示的に提供する。これは、そのような残留が真の解または凸結合（convex-integration）スキームによって生成され得るかという「実現問題」とは明確に区別されるものである。本論文は、不等式を満たすことは必要条件であるが、実現を保証するものではないと断言している。
2. 代数的な精密さ: 運動および弾性予算の間で補償項が隠れてしまう可能性のあるグローバルなエネルギー推定とは異なり、圧力フリーへの簡約は符号付きの仕事バランスを孤立させる。これにより、全自由エネルギー解析では見逃される可能性のある、非許容な方向を検出することが可能になる。
3. エントロピー双対性による普遍性: エントロピー双対閉鎖を通じて結果を定式化することで、本論文は Hookean (Oldroyd–B) と FENE-P の両方のケースを単一の残留仕事則の下で統一しており、具体的な構成の詳細はレバー $G$ の定義のみを修正することを示している。
4. 診断ツール: これらの結果は、構造化された族や簡約モデルに対する「クローズド・テスト」を提供する。もし提案されたアンザッツが不等式 $W_E \leq \frac{\alpha}{2} \eta_E L_E S_E$ に違反する場合、それは構成スキームの複雑さに関わらず、直ちにエネルギー・エントロピー的に許容可能な状態ではないと判定される。

本論文は、残留仕事基準は滑らかなプロファイルに対しては正確であるが、代数的に許容可能なすべての残留が真の弱解によって実現可能であるかという問いは、依然として未解決の問題であると結論付けている。