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

技术摘要：正锥 Oldroyd–B 与 FENE-P 雷诺兹态的尖锐残差功准则

问题陈述
本文探讨了无应力扩散的 Oldroyd–B 系统及其有限伸展变体 FENE-P 的大解问题。尽管这些系统拥有稳健的自由能恒等式，但该恒等式本身并不能解决哪些“雷诺兹缺陷”（松弛残差）与正定构型张量的正锥约束以及能量-熵不等式相兼容的问题。具体而言，问题在于：在光滑残差剖面的层面上，一个提出的动量与构型残差是否能在不违反正锥约束（$A \in \mathbb{S}^2_{++}$）或热力学定律的前提下，满足能量-熵的可容许性。其挑战在于缺乏应力扩散，且对数构型变量中可能存在高频级联，这使得标准的紧致性论证变得复杂。

方法论
作者采用了一种“残差功”（residual-work）框架，将分析重点从全局存在性转向缺陷的局部可容许性。该方法通过以下关键步骤进行：

1. 对数构型参数化：将构型张量 $A$ 表示为 $A = e^B$，其中 $B \in \mathbb{S}^2$。这种变换自动强制执行了正锥约束（$A \in \mathbb{S}^2_{++}$），使得分析可以专注于残差，而无需进行显式的正定性检查。
2. 熵对偶闭合框架：该论证针对一类满足关系 $G(C)C = T(C)$ 的闭合模型进行，其中弹性应力 $T$ 与熵杠杆 $G = D\Phi$ 相关。这包括 Hookean Oldroyd–B 情况（$G = I - A^{-1}$）和 FENE-P 情况（$G_b = D\Phi_b$）。
3. 缺陷功恒等式：通过分别用速度和熵杠杆对动量方程与构型方程进行测试，作者导出了总能量变化率的一个精确恒等式。该恒等式分离出了“缺陷功”项：动量残差与应变率之间的相互作用，以及构型残差与熵杠杆之间的相互作用。
4. 无压强简化：分析移除了在不可压缩设定下对应变率 $D(u)$ 不做功的各向同性压强张量和平均速度模态。这产生了一个规范不变的“无压强功”量 $P(t)$。
5. 希尔伯特空间极小化：将可容许性条件简化为涉及构型残差 $S$ 与熵杠杆 $G$ 配对的有符号不等式。作者通过求解在给定正无压强功 $P(t)$ 下平衡所需的最小 $L^2$ 范数 $S$，确定了唯一的“对齐”极小值。

核心贡献与结果

• 尖锐残差功准则：本文建立了一个能量-熵可容许性的必要条件。对于一个残差匹配态，若要具有可容许性，在任何时间窗口 $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$ 是“负对齐系数”，衡量 $S$ 在 $-G$ 上的投影效率。
  • $\alpha$ 是模型参数。

• 三通道替代方案：该不等式意味着，只有当至少一个通道处于活跃状态时，才能维持正的雷诺兹增产：即一个大的熵杠杆、一个大的构型残差，或者两者之间强的负对齐关系。如果提出的假设（例如，某种结构化族或剪切层）未能满足此不等式，则该假设是严格不可容许的。

• 最优性与尖锐性：常数 $\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 的扩展：该框架被推广到 FENE-P 模型，其中状态空间受限于有限伸展性（$\text{tr } C < b$）。熵杠杆被修改为 $G_b(C) = \frac{b-2}{b-\text{tr } C}I - C^{-1}$。相同的残差功律依然成立，有限伸展边际成为了可容许性几何的一部分。

意义与主张
本文声称提供了一个精确、可计算且尖锐的准则，用于判定具有正锥约束的粘弹性流体中光滑雷诺兹态的可容许性。其重要性在于：

1. 区分可容许性与实现性：定理在残差层面上提供了可容许性的必要条件。它明确区分了这一点与“实现问题”（即是否存在一个真实的解序列或凸积分方案来生成该残差）。论文指出，满足该不等式是必要的，但不保证实现。
2. 代数精确性：不同于可能隐藏了动能与弹性预算之间补偿项的全局能量估计，无压强简化隔离了有符号的功平衡。这使得能够检测出在总自由能分析中可能被掩盖的不可容许方向。
3. 通过熵对偶实现的普适性：通过在熵对偶闭合框架下进行论证，本文将 Hookean (Oldroyd–B) 和 FENE-P 情况统一在单一的残差功律之下，表明具体的本构细节仅会修改杠杆 $G$ 的定义。
4. 诊断工具：研究结果为结构化族和简化模型提供了“封闭测试”。如果提出的假设违反了不等式 $W_E \leq \frac{\alpha}{2} \eta_E L_E S_E$，则该状态会立即被判定为能量-熵不可容许态，无论其构造方案多么复杂。

论文结论指出，虽然残差功准则对于光滑剖面是精确的，但关于每个代数上可容许的残差是否都能由真实的弱解实现的课题，仍然是一个开放性问题。