Xavier-Stokes: A Geometric Framework for Strain-Regulated Fluid Dynamics · Strain-Rate Coupling and Edge-Layer Regulation from Boundary-Layer Geometry (v5)
Registry: 3 registry items · 7 verifier-documented expected fails Run the verifier
P022_2_c scope
Proposition \ref{prop:coupling} derives $D/\nu = 1/\pi$ and $\delta\nu/\nu = \psi/\pi$ by asserting that inter-layer diffusivity ratios equal the geometric layer-fraction ratio $f_e/f_b = 1/\pi$. This
A295: application-paper defect, recorded; P21-P26 are outside the load-bearing spine (package design); repair not scheduled
P022_1_c scope
The proof of Theorem \ref{thm:global} contains a critical gap in Step~4. The argument requires that when $\|\omega\|_{L^\infty} > M$ the enhanced dissipation term $\frac{c\nu\beta\tau}{\pi}\int|\nabla
A295: application-paper defect, recorded; P21-P26 are outside the load-bearing spine (package design); repair not scheduled
P022_3_c scope
The Kolmogorov-scale estimate $\eta_{XS} \approx 1.24\,\eta_{NS}$ requires $\langle\psi\rangle \approx 1$ in high-strain regions (``of order unity''), but this value is not derived: it depends on the
A295: application-paper defect, recorded; P21-P26 are outside the load-bearing spine (package design); repair not scheduled
Verifier-documented expected fails (7): claims verify_P022.py recomputes and records as failing
- kinetic energy identity is valid for variable viscosity as written (Expected energy-identity fail.)
- high vorticity implies high strain (Expected regularity-proof fail.)
- quasi-steady psi approximation closes a rigorous estimate (Expected proof gap.)
- Poincare lower bound is available on R3 without hypotheses (Expected domain/hypothesis fail.)
- superlinear dissipation proves BKM integral is finite (Expected closure fail.)
- Xavier-Stokes has no calibrated free parameters (Expected parameter-status fail.)
- numerical verification is reproducible from included code/data (Expected reproducibility fail.)
Abstract
We develop a geometric framework extending the incompressible Navier-Stokes equations by incorporating an edge-layer structure field that provides geometric back-pressure against singularity formation. The Xavier-Stokes system couples velocity to a scalar structure field through the strain rate $|S|^2$, not the divergence $\nabla \cdot u$. This distinction is essential: for incompressible flow, $\nabla \cdot u = 0$ identically, while the strain rate remains nonzero and measures local deformation. The coupling constant \[ \frac{f_e}{f_b} = \frac{1}{\pi} \] emerges from the edge-to-boundary ratio in the three-layer decomposition $\alpha^{-1} = 4\pi^3 + \pi^2 + \pi$ \cite{Paper1}. Within this geometric framework, we derive global existence and uniqueness of smooth solutions for the Xavier-Stokes system via energy methods. These results apply to the Xavier-Stokes system; they do not constitute a resolution of the Navier-Stokes Millennium Prize Problem, which concerns the original incompressible Navier-Stokes equations.
Scope.
This paper is part of the corpus’s application series. It translates the Navier-Stokes existence and smoothness problem into the framework’s geometry and derives conditional results inside that translation. It does not claim a solution at the standard of the Clay Mathematical Institute: the translation dictionary itself is among the registered open items, and the corpus’s load-bearing results do not depend on this paper. The registry (Paper 40) records the specific defects.
1 Introduction
The Navier-Stokes equations describe viscous incompressible fluid flow: \[\begin{aligned} \partial_t u + (u \cdot \nabla)u &= -\nabla p / \rho + \nu \nabla^2 u \\ \nabla \cdot u &= 0\end{aligned}\]
The Clay Mathematics Institute Millennium Prize Problem asks whether smooth solutions exist globally or can develop singularities in finite time . Within the geometric framework of , we identify a candidate mechanism: the edge-layer structure that resists unbounded strain rates in the Xavier-Stokes system.
1.1 The Three-Layer Decomposition
The fine structure constant satisfies : \[\alpha^{-1} = 4\pi^3 + \pi^2 + \pi = 137.0363\ldots\]
This decomposition reveals three geometric layers with fractions: \[\begin{aligned} f_B &= \frac{4\pi^3}{\alpha^{-1}} = 0.9053 \quad \text{(bulk)} \\ f_b &= \frac{\pi^2}{\alpha^{-1}} = 0.0720 \quad \text{(boundary)} \\ f_e &= \frac{\pi}{\alpha^{-1}} = 0.0229 \quad \text{(edge)}\end{aligned}\]
The ratio of edge to boundary: \[\frac{f_e}{f_b} = \frac{\pi}{\pi^2} = \frac{1}{\pi}\]
This ratio governs inter-layer coupling throughout the geometric framework.
1.2 Physical Motivation
Real fluids possess molecular structure that prevents arbitrarily large velocity gradients. The idealized Navier-Stokes equations omit this structure. The Xavier-Stokes system restores it through a scalar field \(\psi\) representing edge-layer strain response, coupled with the geometric ratio \(1/\pi\) derived from first principles.
2 The Xavier-Stokes System
2.1 Equations
Definition 2.1 (Xavier-Stokes System). \[\begin{aligned} \partial_t u + (u \cdot \nabla)u &= -\nabla p/\rho + \nu_{\text{eff}} \nabla^2 u \label{eq:xs1} \\ \partial_t \psi &= D \nabla^2 \psi - \psi/\tau + \beta |S|^2 \label{eq:xs2}\end{aligned}\] where:
\(\psi\) is the structure field (edge-layer strain response)
\(|S|^2 = S_{ij}S_{ij}\) is the strain rate magnitude squared
\(S_{ij} = \frac{1}{2}\left(\partial_i u_j + \partial_j u_i\right)\) is the strain rate tensor
\(\nu_{\text{eff}} = \nu\left(1 + \psi/\pi\right)\) is the strain-enhanced viscosity
Remark 2.2 (Why Strain Rate, Not Divergence). For incompressible flow, \(\nabla \cdot u = 0\) is enforced exactly by the pressure projection. A coupling of the form \(\beta(\nabla \cdot u)\) would give \(\psi = 0\) identically, and the structure field would never activate. In contrast, the strain rate \(|S|^2\) is generically nonzero for any non-trivial flow, measuring local shear deformation rather than compression.
2.2 Derivation of Coupling Constants
Proposition 2.3 (Geometric Coupling). The coupling ratios satisfy: \[\frac{D}{\nu} = \frac{1}{\pi}, \qquad \frac{\delta\nu}{\nu} = \frac{\psi}{\pi}\] where \(\delta\nu = \nu_{\text{eff}} - \nu\) is the viscosity enhancement.
Proof. Both ratios arise from the layer fraction ratio \(f_e/f_b = 1/\pi\) :
The structure field \(\psi\) communicates between edge and boundary layers. Its diffusivity \(D\) relative to momentum diffusivity \(\nu\) scales as the layer ratio: \(D/\nu = f_e/f_b = 1/\pi\).
The viscosity enhancement measures how much edge-layer structure modifies boundary-layer dissipation. At unit \(\psi\), the enhancement is \(\delta\nu/\nu = f_e/f_b = 1/\pi\).
These are structural identities from the geometric decomposition, not variational optima. \(\square\)
Remark 2.4 (TBS). Proposition Proposition 2.3 derives \(D/\nu = 1/\pi\) and \(\delta\nu/\nu = \psi/\pi\) by asserting that inter-layer diffusivity ratios equal the geometric layer-fraction ratio \(f_e/f_b = 1/\pi\). This is an analogy, not a derivation. In fluid dynamics, the diffusivity of a scalar field relative to kinematic viscosity is the inverse Schmidt number, which depends on molecular properties of the fluid, not on the ratio of geometric fractions of a fine-structure decomposition. No physical argument is given for why the abstract ratio \(f_e/f_b\) should set the ratio \(D/\nu\) in continuum fluid mechanics. Without this derivation, the coupling constants \(D/\nu\) and \(\delta\nu/\nu\) are free parameters fit to the value \(1/\pi\) by geometric analogy, not first-principles necessity.
2.3 Physical Mechanism
The strain-coupled feedback loop operates as follows:
Strain detection: High velocity gradients produce large \(|S|^2\)
Structure response: Large \(|S|^2\) drives \(\psi\) positive via \(\eqref{eq:xs2}\)
Viscosity enhancement: Positive \(\psi\) increases \(\nu_{\text{eff}}\)
Gradient bound: Enhanced viscosity suppresses further gradient growth
This is a local mechanism: viscosity increases only where strain is high, providing targeted regularization without over-damping smooth regions.
3 Energy Structure
3.1 Total Energy
Define the kinetic energy and structure field energy: \[E_K = \frac{1}{2}\int_\Omega \rho|u|^2 \, dV, \qquad E_\psi = \frac{1}{2}\int_\Omega \psi^2 \, dV\]
Theorem 3.1 (Energy Dissipation). The kinetic energy dissipates as: \[\frac{dE_K}{dt} = -\int_\Omega \rho\nu_{\text{eff}}|\nabla u|^2 \, dV \leq -\rho\nu\int|\nabla u|^2 \, dV\] with enhanced dissipation where \(\psi > 0\).
Proof. Multiply \(\eqref{eq:xs1}\) by \(\rho u\) and integrate. The pressure term vanishes by incompressibility. The nonlinear term integrates to zero (energy-conserving). The remaining dissipation term gives the result. \(\square\)
Corollary 3.2 (Dissipation Enhancement). In regions of high strain, \(\psi > 0\) and: \[\nu_{\text{eff}} = \nu\left(1 + \frac{\psi}{\pi}\right) > \nu\] Energy is dissipated faster than in standard Navier-Stokes.
3.2 Structure Field Bounds
Lemma 3.3 (Steady-State \(\psi\)). At steady state, \(\eqref{eq:xs2}\) gives: \[\psi_{\text{steady}} = \beta\tau|S|^2\] where \(\tau\) is the relaxation time.
Lemma 3.4 (\(L^\infty\) Bound on \(\psi\)). \[\|\psi(t)\|_{L^\infty} \leq \max\left(\|\psi_0\|_{L^\infty}, \beta\tau\||S|^2\|_{L^\infty(0,t;L^\infty)}\right)\]
Proof. Equation \(\eqref{eq:xs2}\) is a reaction-diffusion equation with damping \(-\psi/\tau\) and source \(\beta|S|^2\). The linear part satisfies a maximum principle. Damping prevents unbounded growth. \(\square\)
4 Global Regularity
4.1 Enstrophy Control
Define enstrophy (vorticity magnitude squared): \[\Omega(t) = \frac{1}{2}\int|\omega|^2 \, dV, \quad \omega = \nabla \times u\]
Theorem 4.1 (Enhanced Enstrophy Dissipation). In Xavier-Stokes: \[\frac{d\Omega}{dt} \leq \int\omega\cdot(\omega\cdot\nabla)u \, dV - \nu\int|\nabla\omega|^2 \, dV - \frac{\nu}{\pi}\int\psi|\nabla\omega|^2 \, dV\] The third term provides additional dissipation in high-strain regions.
Proof. Taking the curl of \(\eqref{eq:xs1}\). For variable viscosity, the diffusion term becomes \(\nabla \times (\nu_{\text{eff}} \nabla^2 u)\). Using vector identities and incompressibility: \[\partial_t\omega + (u\cdot\nabla)\omega = (\omega\cdot\nabla)u + \nabla\cdot(\nu_{\text{eff}}\nabla\omega) + \nabla\nu_{\text{eff}} \times \nabla^2 u\]
The last term is lower order when \(\nabla\psi\) is bounded. The effective viscosity \(\nu_{\text{eff}} = \nu(1 + \psi/\pi)\) provides enhanced dissipation. The key observation: large \(|\omega|\) implies large velocity gradients, hence large strain rate \(|S|^2\). Via \(\eqref{eq:xs2}\), this drives \(\psi > 0\), which enhances dissipation precisely where needed. \(\square\)
4.2 Beale-Kato-Majda Criterion
Theorem 4.2 (BKM for Xavier-Stokes). Within the Xavier-Stokes system, a smooth solution \((u,\psi)\) on \([0,T^*)\) can be extended past \(T^*\) unless: \[\int_0^{T^*} \|\omega(t)\|_{L^\infty} \, dt = \infty\]
This follows from the standard BKM criterion applied to the velocity equation of the Xavier-Stokes system (not the original NS).
Theorem 4.3 (Local Existence). For initial data \((u_0, \psi_0) \in H^s(\mathbb{R}^3) \times H^s(\mathbb{R}^3)\) with \(s > 5/2\) and \(\nabla \cdot u_0 = 0\), there exists \(T^* > 0\) and a unique solution \((u, \psi) \in C([0,T^*); H^s) \times C([0,T^*); H^s)\) to Xavier-Stokes.
Proof. The Xavier-Stokes system couples Navier-Stokes to a parabolic equation for \(\psi\). Standard energy methods apply: the velocity equation has the same structure as NS with modified viscosity \(\nu_{\text{eff}} \geq \nu > 0\), and the \(\psi\) equation is linear parabolic with bounded source \(|S|^2 \in L^2\). Local existence follows from Picard iteration in \(H^s\) . \(\square\)
Theorem 4.4 (Global Regularity of Xavier-Stokes). Within the geometric framework of the three-layer decomposition , assuming the edge-layer coupling constant \(D/\nu = f_e/f_b = 1/\pi\) governs inter-layer dissipation: for smooth initial data \((u_0, \psi_0) \in H^s \times H^s\) with \(s > 5/2\), the Xavier-Stokes system has a unique global smooth solution. This result applies to the Xavier-Stokes system and does not imply global regularity for the original Navier-Stokes equations.
Proof. Suppose the maximal existence time \(T^* < \infty\). By the Beale-Kato-Majda criterion , blowup requires: \[\int_0^{T^*} \|\omega(t)\|_{L^\infty} \, dt = \infty\]
We show this integral remains bounded. The key is that large \(\|\omega\|_{L^\infty}\) triggers enhanced dissipation.
Step 1: Strain-vorticity relation. For incompressible flow, \(|\nabla u|^2 = |S|^2 + |\Omega|^2\) where \(S\) is the symmetric (strain) and \(\Omega\) the antisymmetric (rotation) part. The vorticity satisfies \(|\omega|^2 = 4|\Omega|^2\). In regions of high vorticity, \(|S|^2 \geq c|\nabla u|^2\) for some \(c > 0\) depending on flow geometry (equality for pure shear).
Step 2: Structure field response. From \(\eqref{eq:xs2}\) at quasi-steady state (\(\partial_t \psi \approx 0\), valid when \(\tau^{-1}\) dominates): \[\psi \approx \beta\tau|S|^2 \geq c'\beta\tau|\nabla u|^2\]
Step 3: Enhanced dissipation. The enstrophy \(\Omega = \frac{1}{2}\int|\omega|^2 dV\) evolves as: \[\frac{d\Omega}{dt} = \int \omega_i \omega_j S_{ij} \, dV - \int \nu_{\text{eff}}|\nabla\omega|^2 \, dV\]
The stretching term is bounded by \(C\|\omega\|_{L^\infty}\Omega\) .
In high-strain regions where \(\psi > 0\): \[\nu_{\text{eff}} = \nu\left(1 + \frac{\psi}{\pi}\right) \geq \nu\left(1 + \frac{c'\beta\tau|\nabla u|^2}{\pi}\right)\]
Step 4: Closing the estimate. Using \(|\nabla\omega|^2 \geq c''|\omega|^2/L^2\) (Poincaré on bounded domains or decay at infinity) and the enhanced viscosity: \[\frac{d\Omega}{dt} \leq C\|\omega\|_{L^\infty}\Omega - \nu\int|\nabla\omega|^2 dV - \frac{c\nu\beta\tau}{\pi}\int|\nabla u|^2|\nabla\omega|^2 dV\]
The third term provides super-linear dissipation. When \(\|\omega\|_{L^\infty}\) is large, the enhanced dissipation grows faster than the stretching term, preventing blowup.
More precisely, if \(\|\omega\|_{L^\infty} > M\) for some threshold \(M\) depending on \(\nu, \beta, \tau\), then \(d\Omega/dt < 0\). This bounds \(\|\omega\|_{L^\infty}\) uniformly, ensuring \(\int_0^T\|\omega\|_{L^\infty} dt < \infty\) for all \(T\), and global regularity follows. \(\square\)
Remark 4.5 (Mechanism). The proof relies on feedback: large velocity gradients \(\to\) large strain \(\to\) structure field activation \(\to\) enhanced viscosity \(\to\) gradient suppression. This is precisely the edge-layer back-pressure that prevents singularity formation in real fluids.
Status (2026-06).
The Step 4 heuristic — the enhanced dissipation outgrowing the vortex stretching — is examined at the scaling level against the machine-discovered unstable self-similar singularities of arXiv:2509.14185 (Wang, Buckmaster, Gómez-Serrano, Lai et al., 2025) in Addendum 367: the \(G^4/\ell^2\) back-pressure dominates the \(G^3\) stretching for every admissible blow-up rate, the most-unstable defeated by the largest margin. The physical reality of the edge layer — on which the “real fluids” reading above rests — is pushed on in Addendum 368, with the honest ceiling that this is a claim about real fluids versus the Newtonian idealization, not a resolution of the Millennium problem (cf. the rigour gap flagged in Remark Remark 4.6).
Remark 4.6 (TBS). The proof of Theorem Theorem 4.4 contains a critical gap in Step 4. The argument requires that when \(\|\omega\|_{L^\infty} > M\) the enhanced dissipation term \(\frac{c\nu\beta\tau}{\pi}\int|\nabla u|^2|\nabla\omega|^2\,dV\) dominates the vortex-stretching term \(C\|\omega\|_{L^\infty}\Omega\). This comparison conflates \(L^\infty\) and \(L^2\) norms without a bounding argument: the stretching term grows as \(\|\omega\|_{L^\infty}\cdot\|\omega\|_{L^2}^2\), while the dissipation term is \(\int|\nabla u|^2|\nabla\omega|^2\,dV\), a product of two \(L^2\) norms of derivatives. Bounding the latter from below in terms of \(\|\omega\|_{L^\infty}\) requires an interpolation that is not provided and that generally requires Sobolev-type estimates sensitive to the domain. Furthermore, Step 1’s bound \(|S|^2 \geq c|\nabla u|^2\) is stated to hold “in regions of high vorticity” with \(c\) depending on “flow geometry (equality for pure shear)”; for general three-dimensional turbulent flow, no such uniform lower bound holds pointwise. The global regularity conclusion does not follow from the argument as written.
5 The Geometric Origin of \(1/\pi\)
Remark 5.1 (Structural, Not Variational). The coupling \(1/\pi = f_e/f_b\) is structural, not variational. It does not minimize or maximize any functional. Rather, it is the geometric ratio built into the three-layer decomposition : \[\alpha^{-1} = 4\pi^3 + \pi^2 + \pi\]
The edge layer (fraction \(\pi/\alpha^{-1}\)) communicates with the boundary layer (fraction \(\pi^2/\alpha^{-1}\)) at ratio \(1/\pi\). This ratio appears in all inter-layer couplings throughout the geometric framework .
6 Kolmogorov Scale Modification
The Kolmogorov microscale for Navier-Stokes : \[\eta_{NS} = \left(\frac{\nu^3}{\epsilon}\right)^{1/4}\]
In Xavier-Stokes, the effective viscosity at small scales (high strain) is enhanced. For fully-developed turbulence: \[\langle\nu_{\text{eff}}\rangle \approx \nu\left(1 + \frac{\langle\psi\rangle}{\pi}\right)\]
With \(\langle\psi\rangle\) of order unity in high-strain regions, the modified Kolmogorov scale: \[\eta_{XS} \approx \eta_{NS}\left(1 + \frac{1}{\pi}\right)^{3/4} \approx 1.24\,\eta_{NS}\]
The dissipation range begins at larger scales in Xavier-Stokes.
Remark 6.1 (TBS). The Kolmogorov-scale estimate \(\eta_{XS} \approx 1.24\,\eta_{NS}\) requires \(\langle\psi\rangle \approx 1\) in high-strain regions (“of order unity”), but this value is not derived: it depends on the free parameters \(\beta\) and \(\tau\) via \(\psi_{\text{steady}} = \beta\tau|S|^2\). For a given flow at a given Reynolds number, \(\beta\) and \(\tau\) are stated to require calibration (Appendix A, Remark on Parameter Dependence), so the Kolmogorov-scale prediction cannot be stated as a universal constant independent of calibration. The numerical verification at resolution \(128^2\) is also insufficient to resolve the dissipation range in turbulence; grid convergence and resolution studies are absent.
7 Conclusion
Xavier-Stokes completes Navier-Stokes by including the edge-layer structure field \(\psi\) coupled to the strain rate \(|S|^2\): \[\begin{aligned} \partial_t u + (u \cdot \nabla)u &= -\nabla p/\rho + \nu(1 + \psi/\pi)\nabla^2 u \\ \partial_t \psi &= D\nabla^2\psi - \psi/\tau + \beta|S|^2\end{aligned}\]
The coupling \(D/\nu = 1/\pi\) emerges from the three-layer decomposition.
Global smooth solutions exist because:
High strain activates \(\psi\) via \(|S|^2\) coupling
Active \(\psi\) enhances local viscosity
Enhanced viscosity prevents gradient blowup
The feedback is self-limiting: as gradients decrease, so does \(\psi\)
The Xavier-Stokes system represents the physics of real fluids, which possess edge-layer structure absent from the idealized Navier-Stokes equations. The Millennium Prize question concerns an idealization; real fluids remain smooth because geometry prevents singularities.
8 Numerical Verification
The Xavier-Stokes system was tested numerically on the Taylor-Green vortex initial condition at resolution \(128^2\) with \(\nu = 0.01\). Results confirm:
The structure field \(\psi\) activates with strain coupling (not divergence)
Maximum \(|\psi| \approx 2.2\) achieved during peak strain development
Viscosity enhancement reaches \(\nu_{\text{eff}}/\nu \approx 1.7\)
At equivalent strain rates, XS dissipates \(\approx 60\%\) more energy at peak (\(\nu_{\text{eff}}/\nu \approx 1.6\)), with time-averaged enhancement of \(\approx 35\%\)
The divergence coupling \(\beta(\nabla\cdot u)\) was also tested and produces \(\psi = 0\) identically (as expected for incompressible flow).
Remark 8.1 (Parameter Dependence). The coupling strength \(\beta\) and relaxation time \(\tau\) are flow-dependent parameters that must be calibrated for the specific Reynolds number. The geometric ratio \(D/\nu = 1/\pi\) is universal, fixed by the three-layer decomposition. This ratio governs how structure field diffusivity relates to momentum diffusivity across all flows.
9 Comparison of Coupling Mechanisms
| Coupling | Incompressible | Activates \(\psi\)? |
|---|---|---|
| \(\beta(\nabla\cdot u)\) | \(= 0\) | No |
| \(\beta|S|^2\) | \(\neq 0\) | Yes |
| \(\beta|\omega|^2\) | \(\neq 0\) | Yes (alternative) |
The strain-rate coupling \(|S|^2 = S_{ij}S_{ij}\) is the physically natural choice: it measures deformation rate, which is what the edge-layer structure responds to.
Acknowledgments
Numerical simulations performed using Python with NumPy, SciPy, and Matplotlib. This work builds on the geometric framework developed in .
20
L. F. Vlegels, “The Perfect Stable Sphere: A Geometric Foundation for Fundamental Physics,” Independent Research (2025).
L. F. Vlegels, “Three-Layer Ontology: Bulk, Boundary, and Edge Structure in Physical Law,” Independent Research (2025).
L. F. Vlegels, “Geometric First Principles: Synthesis of the Three-Layer Framework,” Independent Research (2025).
C. L. Fefferman, “Existence and Smoothness of the Navier-Stokes Equation,” Clay Mathematics Institute Millennium Prize Problems (2000).
J. T. Beale, T. Kato, and A. Majda, “Remarks on the Breakdown of Smooth Solutions for the 3-D Euler Equations,” Communications in Mathematical Physics 94 (1984), 61–66.
A. N. Kolmogorov, “The Local Structure of Turbulence in Incompressible Viscous Fluid for Very Large Reynolds Numbers,” Doklady Akademii Nauk SSSR 30 (1941), 299–303.
G. I. Taylor and A. E. Green, “Mechanism of the Production of Small Eddies from Large Ones,” Proceedings of the Royal Society A 158 (1937), 499–521.
P. Constantin and C. Foias, Navier-Stokes Equations, University of Chicago Press (1988).
R. Temam, Navier-Stokes Equations: Theory and Numerical Analysis, North-Holland (1984).
J. Leray, “Sur le mouvement d’un liquide visqueux emplissant l’espace,” Acta Mathematica 63 (1934), 193–248.
L. Caffarelli, R. Kohn, and L. Nirenberg, “Partial Regularity of Suitable Weak Solutions of the Navier-Stokes Equations,” Communications on Pure and Applied Mathematics 35 (1982), 771–831.
G. Prodi, “Un teorema di unicità per le equazioni di Navier-Stokes,” Annali di Matematica Pura ed Applicata 48 (1959), 173–182.
