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

技术摘要：三维正锥 Oldroyd–B 流：几何延拓与残余功准则

问题陈述
本文研究了在不存在应力扩散的情况下，周期环面（$\mathbb{T}^3$）上三维 Oldroyd–B 粘弹性流体的数学分析。该系统将不可压缩纳维-斯托克斯方程（用于速度场 $u$）与一个关于正定构型张量 $A \in S^3_{++}$ 的双曲输运方程耦合在一起。在无应力扩散机制下，该问题的核心挑战在于构型方程缺乏抛物型平滑性；正则性完全取决于速度耗散、松弛过程以及正锥几何约束之间的相互作用。本文旨在识别导致强解有限时间崩溃的具体机制，并为松弛（雷诺）态的可容许性建立必要条件。

方法论
分析依赖于三个核心方法论支柱：

1. 对数构型变量： 正张量 $A$ 被参数化为 $A = e^B$，其中 $B = \text{Log } A$。这种变换将谱退化（正定性的丧失）与高频振荡分离，使得作者能够使用对数变量 $B$ 进行研究，该变量自然地编码了锥几何结构（$A \in S^3_{++} \iff B$ 在 $L^\infty$ 中有界）。
2. 端点 Besov 估计： 证明利用了端点 Besov 空间 $B^0_{\infty,1}$ 而非标准的 $L^\infty$ 或 BMO 空间。这一选择至关重要，因为 $B^0_{\infty,1}$ 范数能为拉格朗日流映射提供可积的 Lipschitz 模量，并支持阶数为零的乘子（如 Biot–Savart 算子和应力耦合项）的稳定交换子估计，而无需要求超临界 Sobolev 界的控制。
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）显示，涡度时钟的发散是主要的阻碍因素；如果涡度时钟是有限的，则对数谱包络会自动保持有界，这意味着崩溃是由速度场无法在紧致锥上维持 Lipschitz 流所驱动的。

2. 精确残余功准则（定理 法 1.4）
对于光滑的正锥雷诺态（具有动量和构型缺陷的松弛解），本文推导出了产生正压强无关残余功的精确成本公式。

• 动量残余是灵活的（可由对称无迹的反散度表示）。
• 构型残余 $S$ 受能量–熵不等式的约束。
• 论文证明，为了产生正功 $P(t) = \int -R_N : D(u) dx > 0$，系统必须在构型方程中支付代价。具体而言，满足可容许性条件所需的最小 $L^2$ 规模的构型缺陷 $S$ 为：
  $$\|S\|_{L^2} \ge \frac{2[P(t)]_+}{\alpha \|G(t)\|_{L^2}}$$
  其中 $G(t) = I - A(t)^{-1}$。
• 锥尖阻碍： 当系统趋于平衡（$A \to I$，意味着 $G \to 0$）时，杠杆臂消失。因此，产生任何固定量正功的成本会趋于无穷大。这意味着在平衡态附近，可容许的松弛态无法将正机械功隐藏在任意缺陷中；构型缺陷必须在量级上足够大，或者与 $G$ 高度对齐。

3. 涡度–应力耦合与“良好未知量”
论文引入了一个修正的涡度变量 $\Gamma = \omega - \frac{\alpha}{\nu} R \Sigma$（其中 $R$ 是椭圆算子，$\Sigma = A - I$）以隔离应力强迫项。虽然这种“良好未知量”消除了应力项中的直接椭圆强迫，但真实的三维涡度拉伸项 $\omega \cdot \nabla u$ 依然存在，这证实了即使在这种精细的表述中，三维阻碍依然活跃。

意义与主张
本文声称为无应力扩散的 Oldroyd–B 问题提供了一个“必要的替代方案”。它并非断言全局正则性，而是隔离了任何关于全局正则性的证明必须控制的具体几何与解析量。

• 对于强解： 阻碍被确定为端点涡度时钟与对数锥包络的同时控制。该结果完善了 Beale–Kato–Majida 哲学，将其纳入了正锥约束以及无应力扩散输运方程的特定需求。
• 对于松弛态： 残余功准则确立了正锥几何作为能量–熵可容许性障碍的角色。它证明了正功不能在构型方程中“免费”产生；在平衡态 $A=I$ 附近，除非构型缺陷足够大，否则产生正功的成本是无穷大的。

作者强调这些结果是互补的：延拓准则描述了强解机制的失效，而残余功准则则描述了任何松弛替代方案所面临的约束。两者都指向同一个潜在的几何阻碍：在缺乏应力扩散的情况下，维持正锥结构同时控制高频集聚的难度。