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

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

Problem Statement
The paper addresses the mathematical analysis of the three-dimensional Oldroyd–B system for viscoelastic fluids on a periodic torus ($\mathbb{T}^3$) in the absence of stress diffusion. The system couples the incompressible Navier–Stokes equations for the velocity field $u$ with a hyperbolic transport equation for the positive-definite conformation tensor $A \in S^3_{++}$. The primary challenge in the stress-diffusion-free regime is that the conformation equation lacks parabolic smoothing; regularity depends entirely on the interplay between velocity dissipation, relaxation, and the geometric constraints of the positive cone. The paper seeks to identify the precise mechanisms that could lead to finite-time breakdown of strong solutions and to establish necessary conditions for the admissibility of relaxed (Reynolds) states.

Methodology
The analysis relies on three core methodological pillars:

1. Log-Conformation Variables: The positive tensor $A$ is parameterized as $A = e^B$, where $B = \text{Log } A$. This transformation separates spectral degeneration (loss of positivity) from high-frequency oscillation, allowing the authors to work with the logarithmic variable $B$ which naturally encodes the cone geometry ($A \in S^3_{++} \iff B$ is bounded in $L^\infty$).
2. Endpoint Besov Estimates: The proofs utilize the endpoint Besov space $B^0_{\infty,1}$ rather than standard $L^\infty$ or BMO spaces. This choice is critical because the $B^0_{\infty,1}$ norm provides an integrable Lipschitz modulus for the Lagrangian flow map and supports stable commutator estimates for order-zero multipliers (such as the Biot–Savart operator and stress coupling terms) without requiring supercritical Sobolev bounds.
3. Energy–Entropy Duality: For the residual-work analysis, the paper employs the free-energy functional $\Phi_3(A) = \text{tr } A - \log \det A - 3$. The admissibility of relaxed states is constrained by an inequality involving the "entropy-dual lever" $G = I - A^{-1}$, which dictates the sign and magnitude of work performed by conformation defects.

Key Contributions and Results

1. Geometric Continuation Criterion (Theorem 1.1)
The paper establishes a necessary condition for the global existence of strong solutions ($H^s, s > 5/2$). It proves that if a solution exists on a finite maximal time interval $[0, T^*)$, then at least one of the following must occur:

• The logarithmic spectral envelope diverges: $\limsup_{t \uparrow T^*} \|\text{Log } A(t)\|_{L^\infty} = \infty$.
• The endpoint vorticity clock diverges: $\int_0^{T^*} \|\omega(t)\|_{B^0_{\infty,1}} dt = \infty$, where $\omega = \text{curl } u$.

The proof demonstrates that if both quantities remain finite, the solution can be extended beyond $T^*$. A key corollary (Corollary 1.2) shows that the divergence of the vorticity clock is the primary obstruction; if the vorticity clock is finite, the logarithmic spectral envelope is automatically preserved, implying that the breakdown is driven by the velocity field's inability to maintain a Lipschitz flow on the compact cone.

2. Sharp Residual-Work Criterion (Theorem 1.4)
For smooth positive-cone Reynolds states (relaxed solutions with momentum and conformation defects), the paper derives an exact cost formula for producing positive pressure-free residual work.

• The momentum residual is flexible (representable by a symmetric trace-free anti-divergence).
• The conformation residual $S$ is constrained by the energy–entropy inequality.
• The paper proves that to generate positive work $P(t) = \int -R_N : D(u) dx > 0$, the system must pay a cost in the conformation equation. Specifically, the minimal $L^2$ size of the conformation defect $S$ required to satisfy the admissibility condition is:
  $$\|S\|_{L^2} \ge \frac{2[P(t)]_+}{\alpha \|G(t)\|_{L^2}}$$
  where $G(t) = I - A(t)^{-1}$.
• Cone-Tip Obstruction: As the system approaches equilibrium ($A \to I$, implying $G \to 0$), the lever arm vanishes. Consequently, the cost to produce any fixed amount of positive work diverges. This implies that near equilibrium, admissible relaxed states cannot hide positive mechanical work in arbitrary defects; the conformation defect must be quantitatively large or perfectly aligned with $G$.

3. Vorticity–Stress Coupling and "Good Unknowns"
The paper introduces a modified vorticity variable $\Gamma = \omega - \frac{\alpha}{\nu} R \Sigma$ (where $R$ is an elliptic operator and $\Sigma = A - I$) to isolate the stress forcing. While this "good unknown" removes the direct elliptic forcing from the stress term, the genuine three-dimensional vortex stretching term $\omega \cdot \nabla u$ persists, confirming that the 3D obstruction remains active even in this refined formulation.

Significance and Claims
The paper claims to provide a "necessary alternative" for the stress-diffusion-free Oldroyd–B problem. It does not assert global regularity; rather, it isolates the specific geometric and analytic quantities that any proof of large-data global regularity must control.

• For Strong Solutions: The obstruction is identified as the simultaneous control of the endpoint vorticity clock and the logarithmic cone envelope. The result refines the Beale–Kato–Majda philosophy by incorporating the positive-cone constraint and the specific needs of the stress-diffusion-free transport equation.
• For Relaxed States: The residual-work criterion establishes that the positive-cone geometry acts as a barrier to energy–entropy admissibility. It proves that positive work cannot be generated "for free" in the conformation equation; near the equilibrium state $A=I$, the cost of generating positive work becomes infinite unless the conformation defect is sufficiently large.

The authors emphasize that these results are complementary: the continuation criterion describes the failure of the strong regime, while the residual-work criterion describes the constraints on any relaxed substitute. Both point to the same underlying geometric obstruction: the difficulty of maintaining the positive cone while controlling high-frequency concentration in the absence of stress diffusion.