Three-Dimensional Positive-Cone Oldroyd-B Flows:Geometric Continuation and Residual-Work Criteria

技術要約：三次元正錐（Positive-Cone）オールドロード–B流：幾何学的継続性と残留仕事の基準

問題設定
本論文は、応力拡散のない条件下における、周期的なトーラス（$\mathbb{T}^3$）上の三次元オールドロード–B系（粘弾性流体）の数学的解析を扱う。この系は、速度場 $u$ に関する非圧縮ナビエ–ストークス方程式と、正定値なコンフォメーション・テンソル $A \in S^3_{++}$ に関する双曲型輸送方程式を結合させたものである。応力拡散がないレジームにおける主要な課題は、コンフォメーション方程式に放物型的な平滑化作用が欠如している点にある。したがって、正則性は、速度場の散逸、緩和、および正錐の幾何学的制約の相互作用のみに依存することになる。本論文は、強解が有限時間で破綻する具体的なメカニズムを特定し、緩和された（レイノルズ）状態の許容条件を確立することを目的としている。

手法
解析は、以下の3つの核心的な手法に基づいている：

1. 対数コンフォメーション変数： 正のテンソル $A$ を $A = e^B$ （ここで $B = \text{Log } A$）としてパラメータ化する。この変換は、スペクトルの退化（正値性の喪失）と高周波振動を分離し、正錐の幾何学を自然に符号化する対数変数 $B$（$A \in S^3_{++} \iff B$ が $L^\infty$ で有界）を用いた解析を可能にする。
2. エンドポイント・ベソフ評価： 証明には、標準的な $L^\infty$ や BMO 空間ではなく、エンドポイント・ベソフ空間 $B^0_{\infty,1}$ を用いる。この選択は極めて重要である。なぜなら、$B^0_{\infty,1}$ ノルムはラグランジュ流写像に対して積分可能なリプシッツ・モジュラスを提供し、超臨界ソボレフ境界を必要とせずに、次数ゼロのマルチプライヤー（ビオ–サバール演算子や応力結合項など）に対する安定した交換子評価をサポートするためである。
3. エネルギー–エントロピー双対性： 残留仕事の解析において、論文は自由エネルギー汎関数 $\Phi_3(A) = \text{tr } A - \log \det A - 3$ を用いる。緩和された状態の許容性は、「エントロピー–双対レバー」 $G = I - A^{-1}$ に関する不等式によって制約される。これは、コンフォメーションの欠陥によって行われる仕事の符号と大きさを決定するものである。

主要な貢献と結果

1. 幾何学的継続基準（定理 1.1）
本論文は、強解（$H^s, s > 5/2$）の全域存在に関する必要条件を確立している。有限の極大時間区間 $[0, T^*)$ において解が存在する場合、少なくとも以下のいずれかが起こることを証明している：

• 対数スペクトル包絡線の発散： $\limsup_{t \uparrow T^*} \|\text{Log } A(t)\|_{L^\infty} = \infty$。
• エンドポイント・渦度クロックの発散： $\int_0^{T^*} \|\omega(t)\|_{B^0_{\infty,1}} dt = \infty$ （ここで $\omega = \text{curl } u$）。

証明によれば、これら両方の量が有限であれば、解は $T^*$ を超えて延長可能である。重要な系（系 1.2）は、渦度クロックの発散が主要な障害であることを示している。すなわち、渦度クロックが有限であれば、対数スペクトル包絡線は自動的に保持される。これは、破綻が、コンパクトな正錐の上でリプシッチ連続な流れを維持できない速度場に起因することを示唆している。

2. 鋭い残留仕事基準（定理 1.4）
滑らかな正錐レイノルズ状態（運動量およびコンフォメーションの欠陥を持つ緩和解）について、正の圧力なし残留仕事を生み出すための正確なコスト公式を導出している。

• 運動量欠陥は柔軟である（対称なトレースフリーの非発散として表現可能）。
• コンフォメーション欠陥 $S$ は、エネルギー–エントロミー不等式によって制約される。
• 本論文は、正の仕事 $P(t) = \int -R_N : D(u) dx > 0$ を生成するためには、系がコンフォメーション方程式において代償を支払わなければならないことを証明している。具体的には、許容条件を満たすために必要なコンフォメーション欠陥 $S$ の最小 $L^2$ サイズは以下の通りである：
  $$\|S\|_{L^2} \ge \frac{2[P(t)]_+}{\alpha \|G(t)\|_{L^2}}$$
  ここで $G(t) = I - A(t)^{-1}$ である。
• 錐の先端における障害（Cone-Tip Obstruction）： 系が平衡状態（$A \to I$、すなわち $G \to 0$）に近づくにつれ、レバーアームは消失する。その結果、一定量の正の仕事を生み出すためのコストは発散する。これは、平衡状態の近傍では、許容された緩和状態が任意の欠陥の中に正の機械的仕事を隠し持つことはできないことを意味する。すなわち、コンフォメーション欠陥は定量的に十分に大きいか、あるいは $G$ と完全に整列していなければならない。

3. 渦度–応力結合と「良質な未知数（Good Unknowns）」
本論文は、応力強制項を孤立させるために、修正された渦度変数 $\Gamma = \omega - \frac{\alpha}{\nu} R \Sigma$ （ここで $R$ は楕円演算子、$\Sigma = A - I$）を導入している。この「良質な未知数」は、応力項からの直接的な楕円強制を取り除く一方で、真の三次元的な渦伸長項 $\omega \cdot \nabla u$ は残存しており、これにより、洗練された定式化においても三次元的な障害が依然として活動していることが確認される。

意義と主張
本論文は、応力拡散のないオールドロード–B問題に対する「必要な代替案」を提供すると主張している。これは全域的正則性を主張するものではない。むしろ、大規模データにおける全域的正則性の証明が制御すべき具体的な幾何学的および解析的量を特定している。

• 強解に対して： 障害は、エンドポイント渦度クロックと対数正錐包絡線の同時制御として特定されている。この結果は、正錐の制約と応力拡散のない輸送方程式の特有のニーズを組み込むことで、Beale–Kato–Majda の哲学を洗練させている。
• 緩和状態に対して： 残留仕事基準は、正錐の幾何学がエネルギー–エントロピー許容性に障壁として機能することを示している。正の仕事はコンフォメーション方程式において「無料」で生成されることはなく、平衡状態 $A=I$ の近傍では、コンフォメーション欠陥が十分に大きくない限り、正の仕事を生み出すコストは無限大になる。

著者らは、これらの結果が相補的であることを強調している。すなわち、継続基準は強解レジームの失敗を記述し、残留仕事基準は緩和された代替の状態に対する制約を記述している。両者は同じ幾何学的障害を指し示している。それは、応力拡散がない状況下で、正錐を維持しながら高周波の集中を制御することの困難さである。