REVIEW 3 minor 1 cited by
Non-uniqueness of Leray--Hopf solutions for the $3D$ fractional Navier--Stokes equations perturbed by transport noise
T0 review · 0 major / 3 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read The paper proves that transport noise does not restore uniqueness: for very small fractional diffusion exponents, infinitely many Leray–Hopf solutions can start from the same deterministic velocity field.
desk verdict First Leray–Hopf non-uniqueness for unforced stochastic fractional NSE with transport noise: a serious, detailed proof whose main novelty holds up, though the admissible exponent is minuscule and the energy inequality is local in time. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The proof uses a flow transformation: the stochastic flow $\Phi$ of the Stratonovich SDE $d\Phi=\sum_k\sigma_k(\Phi)\circ dB_k$ conjugates the SPDE (1.1) into a PDE with random coefficients (2.5), involving flowed operators $\mathrm{div}_\Phi$, $\nabla_\Phi$, and $(-\Delta)^\alpha_\Phi$; solutions are mapped back by $u(t)=v(t)\circ\Phi(t)^{-1}$, preserving kinetic energy and regularity. On the transformed equation, a pathwise convex-integration scheme iterates over modified Beltrami waves with an energy-pumping term steering the velocity toward a prescribed energy profile. The genuinely new fractional contributions produce additional flow and mollification errors, controlled by a Besov interpolation lemma (Lemma 8.3) whose dimension-dependent constant satisfies $C_3(L,s,1)\le C L^8$. This estimate, together with the imported stochastic-flow bounds (4.3)–(4.5), is what forces the extremely small admissible range $\alpha<\alpha_0\approx 8.7\times 10^{-9}$.
What would settle it
Evaluate the norm of the operator $T(h)=h\circ\psi^{-1}-h$ in Lemma 8.3 for $d=3$, $s=\delta+2\alpha-1$: if the constant grows like $L^{8+\varepsilon}$ for any $\varepsilon>0$, the flow-error estimate in Section 8.7.2 cannot be absorbed into $\delta_{n+2}$ and the construction fails. Equivalently, a direct check of the Wong–Zakai approximation bound (4.3) on $\mathbb{T}^3$ would test the same load-bearing estimate.
Extended reading notes
Core claim
Theorem 2.4 states that for every $0<\alpha<\alpha_0:=1/(2cb+1)$, with $b=38$ and $c$ as in Section 4.2 (numerically $\alpha_0\approx 8.7\times 10^{-9}$), there exists a deterministic initial velocity $u_0\in L^2(\mathbb{T}^3)$, an almost surely strictly positive stopping time $\tau_0$, and infinitely many $\tau_0$-Leray–Hopf solutions to the stochastic fractional Navier–Stokes system (1.1) with initial condition $u_0$ and paths in $C(\mathbb{R}_+,C^\theta(\mathbb{T}^3))$ for some $\theta>\alpha$. Any two of these solutions are distinct on $[0,\tau_0]$ almost surely. The statement is new because the equation carries no deterministic forcing term, and it constitutes the first Leray–Hopf non-uniqueness result for the unforced fractional Navier–Stokes equations with any stochastic perturbation. The solutions are global in time and satisfy the pathwise energy inequality on $[0,\tau_0]$.
Load-bearing premise
Everything rests on the imported quantitative stochastic-flow estimates (4.3)–(4.5) and on the Besov interpolation bound $C_3(L,s,1)\le C L^8$ of Lemma 8.3; if either fails, the flow-error and mollification-error controls in the convex-integration iteration collapse.
Editorial extensions
If this is right
- For every sufficiently small diffusion exponent $\alpha$, the class of $\tau_0$-Leray–Hopf solutions is not a uniqueness class: one deterministic $L^2$ initial condition admits infinitely many distinct solutions.
- The pathwise energy inequality holds on the non-empty random interval $[0,\tau_0]$ for all constructed solutions, so the non-uniqueness persists inside the physically relevant Leray–Hopf subclass.
- Restricting to weakly dissipative, transport-noised equations does not eliminate the non-uniqueness phenomenon even when the forcing term used in earlier constructions is removed.
- For the wider range $\alpha<\tilde\alpha_0\approx 1.7\times 10^{-4}$, the same iteration still produces global solutions with prescribed energy profiles, although without the energy inequality.
Reading between the lines
- Beyond the paper: if the Besov interpolation constant in Lemma 8.3 can be sharpened, the admissible range of $\alpha$ should grow well beyond $10^{-8}$, potentially toward the deterministic threshold $\alpha<1/3$ known in the unforced case.
- Beyond the paper: the same flow-transform and convex-integration template is a natural candidate for other dissipative SPDEs with transport noise, provided the analogous flow and mollification errors can be balanced with a milder interpolation loss.
- Beyond the paper: a direct numerical check of the Wong–Zakai approximations $\varphi_n$ against the bound (4.3) on the torus would test the quantitative core of the stochastic-flow step before any further theoretical refinement.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that for each sufficiently small α > 0 (specifically α < α0 ≈ 8.7·10^-9), the 3D fractional Navier–Stokes equations on the torus perturbed by Stratonovich transport noise admit infinitely many probabilistically strong, analytically weak Leray–Hopf solutions starting from the same deterministic L2 initial velocity, with paths in C(R+, C^θ) for some θ > α, and distinct on a common strictly positive random time interval. The proof combines a flow transformation that rewrites the SPDE as a PDE with random coefficients, a convex integration scheme adapted from Hofmanová–Lange–Pappalettera [23], and a new Besov interpolation estimate (Lemma 8.3) that controls the error terms arising from the interaction of the fractional Laplacian with the flow. The paper carefully tracks all energy-profile-dependent constants so that the pathwise energy inequality can be closed.
Significance. If correct, this is the first Leray–Hopf non-uniqueness result for the unforced stochastic fractional Navier–Stokes equations, and it also improves the existence theory for analytically weak solutions to (1.1). The proof is exceptionally detailed: the main iterative proposition includes explicit parameter choices, the energy profile dependence is tracked through every constant, and the new Besov interpolation lemma is stated and proved with an explicit constant C_3(L,s,1) ≤ C L^8. The admissible range α < α0 is very small, but the authors are transparent about this limitation. The paper also provides falsifiable predictions in the sense that the constructed solutions have prescribed energy profiles. The main new technical step, Lemma 8.3, is internally consistent; the potential concern about its p=∞ endpoint does not land because the relevant Besov norm has positive regularity.
minor comments (3)
- [Section 8.7.2, proof of Lemma 8.3] The p=∞ endpoint of Lemma 8.3 cites Lemma B.8 tersely; since the norm being bounded is B^{-s-ε/4}_{∞,∞} with -s-ε/4 ∈ (0,1), the identification with the classical Hölder space via (1.4) should be stated explicitly so that the positive-regularity application of Lemma B.8 is evident.
- [Equation (4.16) and Section 7.6] The displayed expression for α0 in (4.16) appears to contain a typo in the denominator; it should match the formula 1/(2bc+1) = [m − 1]/[2(1+ε)(m+ε)^5 + m − 2 − ε] given in Section 7.6.
- [Section 6.1, parameter choices] The relations listed after (6.4)–(6.9) are asserted to follow from the definitions, but a short derivation of the most delicate one, (6.8), would improve readability.
Circularity Check
No circularity: the convex-integration construction prescribes, rather than fits, the energy profiles, and the cited [23] estimates are external auxiliary support despite author overlap.
full rationale
The paper's central claim is a pathwise convex-integration existence/non-uniqueness theorem. The energy profiles in Proposition 3.3 are prescribed as inputs, not fitted to data, and the iterative Proposition 4.1 proves existence of solutions realizing those profiles. Non-uniqueness then follows legitimately from profiles that agree at time zero but differ on a sequence tending to zero (Proposition 3.3(ii)); this is a standard witness construction, not a prediction equivalent to its input. The theorem is not a renaming of a known result: it is the first unforced Leray--Hopf non-uniqueness statement for the stochastic fractional Navier--Stokes equations, and it extends the deterministic constructions of [12,15] to the transport-noise setting via the flow transformation. The paper does rely heavily on the prior work [23], which overlaps with author T. Lange, for stochastic-flow estimates (4.3)--(4.5) and several Besov lemmas. This is a normal and substantial self-citation, but the cited results are published, auxiliary, assumption-based estimates; they are not the statement of Theorem 2.4, and no equation in the paper reduces the conclusion to them by construction. A skeptical concern that Lemma 8.3's p=infinity endpoint invokes the positive-Holder composition estimate Lemma B.8 for a negative Besov norm is best classified as a proof-gap or correctness risk at that step, not as circularity. Overall, no load-bearing step turns the claimed derivation into its own input, so the appropriate finding is no significant circularity; the score reflects only the acknowledged heavy overlap with [23].
Assumptions & free parameters
free parameters (5)
- fractional exponent α =
0 < α < α0 ≈ 8.7e-9
- convex integration base parameter a =
a = (A(1+¯e/e)(¯e/e)^{2r})^{1/(ε+1/2)}, see (7.23)
- constant Mv =
unique solution of E = Mv/(1+Mv^{2δ}), see (7.24)
- exponential parameters m, ε, b, c =
m=23, ε=15, b=38, c=(b^4(1+ε)-1/2)/(b-1-ε)
- energy profiles eε_k =
family in E with common initial value, inf ε/2, sup ε, slope ≤ -1/2 on [0,r)
assumptions (4)
- domain assumption Quantitative flow approximation estimates (4.3)-(4.5) for mollified flows φ_n, including Wong-Zakai convergence and rough-path localization with stopping times t_L.
- standard math Besov composition and negative-regularity lemmas, in particular Lemma 8.3 with constant C3(L,s,1) ≤ C L^8, and Lemmas B.1-B.15.
- domain assumption The SPDE-to-PDE equivalence via the measure-preserving stochastic flow Φ, including C∞ diffeomorphism regularity and the semimartingale identity in Lemma 2.8.
- ad hoc to paper The chosen energy profiles eε_k have common initial value, continuous differentiability, and strict decrease with slope ≤ -1/2 on [0,r).
Cite this review
Pith. "Pith review of Non-uniqueness of Leray--Hopf solutions for the $3D$ fractional Navier--Stokes equations perturbed by transport noise." pith.science (2026). https://pith.science/paper/P4I5JIPS
@misc{pith2026241216532,
author = {Pith},
title = {Pith review of: Non-uniqueness of Leray--Hopf solutions for the $3D$ fractional Navier--Stokes equations perturbed by transport noise},
year = {2026},
howpublished = {\url{https://pith.science/paper/P4I5JIPS}},
note = {Machine review of arXiv:2412.16532}
}
abstract
For the $3D$ fractional Navier--Stokes equations perturbed by transport noise, we prove the existence of infinitely many H\"older continuous analytically weak, probabilistically strong Leray--Hopf solutions starting from the same deterministic initial velocity field. Our solutions are global in time and satisfy the energy inequality pathwise on a non-empty random interval $[0,\tau]$. In contrast to recent related results, we do not consider an additional deterministic suitably chosen force $f$ in the equation. In this unforced regime, we prove the first result of Leray--Hopf nonuniqueness for fractional Navier--Stokes equations with any kind of stochastic perturbation. Our proof relies on convex integration techniques and a flow transformation by which we reformulate the SPDE as a PDE with random coefficients.
Forward citations
Cited by 1 Pith paper
-
Non-uniqueness of (Stochastic) Lagrangian Trajectories for Euler Equations
Weak solutions of the Euler and Navier-Stokes equations exist for which two different particle trajectories start from the same point, in sharp regularity ranges, both with and without Brownian noise.
Reference graph
Works this paper leans on
-
[23]
M. Hofmanov´ a, T. Lange, and U. Pappalettera. Global existe nce and non-uniqueness of 3D Euler equations perturbed by transport noise. Probability Theory and Related Fields , 2023
work page 2023
-
[1]
D. Albritton, E. Bru´ e, and M. Colombo. Non-uniqueness of Lera y solutions of the forced Navier- Stokes equations. Ann. of Math. (2) , 196(1):415–455, 2022. 94
work page 2022
-
[2]
D. Albritton, E. Bru´ e, and M. Colombo. Gluing non-unique Navier- Stokes solutions. Ann. PDE , 9(2):Paper No. 17, 25, 2023
work page 2023
-
[3]
D. Albritton and M. Colombo. Non-uniqueness of Leray Solutions t o the hypodissipative Navier– Stokes equations in two dimensions. Communications in Mathematical Physics , 402(1):429–446, 2023
work page 2023
-
[4]
H. Bahouri, J.-Y. Chemin, and R. Danchin. Fourier Analysis and Nonlinear Partial Differential Equations. Springer Berlin Heidelberg, 2011
work page 2011
- [5]
-
[6]
E. Bru` e and C. De Lellis. Anomalous dissipation for the forced 3D N avier-Stokes equations. Comm. Math. Phys. , 400(3):1507–1533, 2023
work page 2023
-
[7]
Non-uniqueness in law of Leray solutions to 3D forced stochastic Navier-Stokes equations
E. Bru´ e, R. Jin, Y. Li, and D. Zhang. Non-uniqueness in law of Ler ay solutions to 3D forced stochastic Navier-Stokes equations. arXiv preprint 2309.09753 , 2023
work page Pith review arXiv 2023
Show all 47 references
-
[8]
Buckmaster, M
T. Buckmaster, M. Colombo, and V. Vicol. Wild solutions of the Navie r-Stokes equations whose singular sets in time have Hausdorff dimension strictly less than 1. J. Eur. Math. Soc. (JEMS) , 24(9):3333–3378, 2022
2022
-
[9]
Buckmaster, C
T. Buckmaster, C. De Lellis, P. Isett, and L. Sz´ ekelyhidi, Jr. An omalous dissipation for 1/5-H¨ older Euler flows. Ann. of Math. (2) , 182(1):127–172, 2015
2015
-
[10]
Buckmaster, C
T. Buckmaster, C. de Lellis, L. Sz´ ekelyhidi, Jr., and V. Vicol. Ons ager’s conjecture for admissible weak solutions. Comm. Pure Appl. Math. , 72(2):229–274, 2019
2019
-
[11]
Buckmaster and V
T. Buckmaster and V. Vicol. Nonuniqueness of weak solutions to the Navier-Stokes equation. Ann. of Math. , 189(1):101–144, 2019
2019
-
[12]
Colombo, C
M. Colombo, C. De Lellis, and L. De Rosa. Ill-posedness of Leray s olutions for the hypodissipative Navier–Stokes equations. Comm. Math. Phys. , 362(2):659–688, 2018
2018
-
[13]
M. Dai. Nonunique weak solutions in Leray–Hopf class for the thr ee-dimensional Hall–MHD system. SIAM Journal on Mathematical Analysis , 53(5):5979–6016, 2021
2021
-
[14]
De Lellis and L
C. De Lellis and L. Sz´ ekelyhidi, Jr. Dissipative continuous Euler flo ws. Invent. Math., 193(2):377– 407, 2013
2013
-
[15]
L. De Rosa. Infinitely many Leray-Hopf solutions for the fract ional Navier-Stokes equations. Comm. Partial Differential Equations , 44(4):335–365, 2019
2019
-
[16]
Debussche, M
A. Debussche, M. Hofmanov´ a, and J. Vovelle. Degenerate pa rabolic stochastic partial differential equations: quasilinear case. Ann. Probab., 44(3):1916–1955, 2016
1916
-
[17]
Debussche and U
A. Debussche and U. Pappalettera. Second order perturbat ion theory of two-scale systems in fluid dynamics. J. Eur. Math. Soc. , published online first, 2024
2024
-
[18]
Flandoli, M
F. Flandoli, M. Hofmanov´ a, D. Luo, and T. Nilssen. Global well-po sedness of the 3D Navier- Stokes equations perturbed by a deterministic vector field. Ann. Appl. Probab. , 32(4):2568–2586, 2022
2022
-
[19]
Flandoli and D
F. Flandoli and D. Luo. High mode transport noise improves vort icity blow-up control in 3D Navier-Stokes equations. Probab. Theory Related Fields , 180(1-2):309–363, 2021
2021
-
[20]
Flandoli and U
F. Flandoli and U. Pappalettera. From additive to transport no ise in 2D fluid dynamics. Stoch. Partial Differ. Equ. Anal. Comput. , 10(3):964–1004, 2022. 95
2022
-
[21]
P. K. Friz and M. Hairer. A Course on Rough Paths: With an Introduction to Regularity Structures. Springer Nature, 2020
2020
-
[22]
M. Gorini. L2-density of wild initial data for the hypodissipative Navier-Stokes eq uations. Journal of Functional Analysis , 284(6):109819, 2023
2023
-
[24]
Hofmanov´ a, R
M. Hofmanov´ a, R. Zhu, and X. Zhu. Global existence and non- uniqueness for 3D Navier-Stokes equations with space-time white noise. Arch. Ration. Mech. Anal. , 247(3):Paper No. 46, 70, 2023
2023
-
[25]
Hofmanov´ a, R
M. Hofmanov´ a, R. Zhu, and X. Zhu. Global-in-time probabilistica lly strong and Markov solutions to stochastic 3D Navier–Stokes equations: Existence an d nonuniqueness. The Annals of Probability, 51(2):524 – 579, 2023
2023
-
[26]
Hofmanov´ a, R
M. Hofmanov´ a, R. Zhu, and X. Zhu. Non-uniqueness in law of st ochastic 3D Navier–Stokes equations. J. Eur. Math. Soc. , 2023
2023
-
[27]
Hofmanov´ a, R
M. Hofmanov´ a, R. Zhu, and X. Zhu. Non-unique ergodicity for deterministic and stochastic 3D Navier–Stokes and Euler equations. arXiv preprint 2208.08290 , 2022
2022 arXiv
-
[28]
Hofmanov´ a, R
M. Hofmanov´ a, R. Zhu, and X. Zhu. Non-uniqueness of Leray -Hopf solutions for stochastic forced Navier-Stokes equations. arXiv preprint 2309.03668 , 2023
2023 arXiv
-
[29]
Hyt¨ onen, J
T. Hyt¨ onen, J. van Neerven, M. Veraar, and L. Weis. Analysis in Banach Spaces Volume III: Harmonic Analysis and Spectral Theory . Springer Cham, 2011
2011
-
[30]
P. Isett. A proof of Onsager’s conjecture. Annals of Mathematics , 188(3):871–963, 2018
2018
-
[31]
H. Kunita. Stochastic Flows and Stochastic Differential Equations . Cambridge University Press, 1990
1990
-
[32]
Lellis and L
C. Lellis and L. Sz´ ekelyhidi. Dissipative Euler flows and Onsager’s c onjecture. Journal of the European Mathematical Society, 16(7):1467–1505, 2014
2014
-
[33]
J. Leray. Sur le mouvement d’un liquide visqueux emplissant l’espac e. Acta Mathematica , 63(none):193 – 248, 1934
1934
-
[34]
J. L. Lions. Quelques m´ ethodes de r´ esolution des probl` emes aux limites non lin´ eaires. Dunod, 1969
1969
-
[35]
A. Lunardi. Interpolation theory, volume 16 of Appunti. Scuola Normale Superiore di Pisa (Nuova Serie) [Lecture Notes. Scuola Normale Superiore di Pisa (Ne w Series)] . Edizioni della Normale, Pisa, 2018. Third edition [of MR2523200]
2018
-
[36]
Luo and P
T. Luo and P. Qu. Non-uniqueness of weak solutions to 2D hypov iscous Navier-Stokes equations. J. Differential Equations , 269(4):2896–2919, 2020
2020
-
[37]
Luo and E
T. Luo and E. S. Titi. Non-uniqueness of weak solutions to hyper viscous Navier–Stokes equations: on sharpness of J.-L. Lions exponent. Calculus of Variations and Partial Differential Equations , 59(3):92, 2020
2020
-
[38]
Mourrat and H
J.-C. Mourrat and H. Weber. Global well-posedness of the dyna mic Φ 4 model in the plane. The Annals of Probability , 45(4):2398 – 2476, 2017
2017
-
[39]
Pappalettera
U. Pappalettera. Global existence and non-uniqueness for th e Cauchy problem associated to 3D Navier–Stokes equations perturbed by transport noise. Stochastics and Partial Differential Equations: Analysis and Computations , 12(3):1769–1804, 2024. 96
2024
-
[40]
Rehmeier and A
M. Rehmeier and A. Schenke. Nonuniqueness in law for stochast ic hypodissipative Navier–Stokes equations. Nonlinear Anal., 227:113179, 2023
2023
-
[41]
Roncal and P
L. Roncal and P. R. Stinga. Fractional Laplacian on the torus. Commun. Contemp. Math. , 18(3):1550033, 26, 2016
2016
-
[42]
L. De Rosa. Infinitely many Leray–Hopf solutions for the fract ional Navier–Stokes equations. Comm. Partial Differential Equations , 44(4):335–365, 2019
2019
-
[43]
Schmeisser and H
H.-J. Schmeisser and H. Triebel. Topics in Fourier Analysis and Function Spaces . Wiley, 1987
1987
-
[44]
T. Tao. Global regularity for a logarithmically supercritical hype rdissipative Navier-Stokes equation. Anal. PDE , 2(3):361–366, 2009
2009
-
[45]
Yamazaki
K. Yamazaki. Non-uniqueness in law of three-dimensional Navier –Stokes equations diffused via a fractional Laplacian with power less than one half. arXiv preprint 2104.10294 , 2021
2021 arXiv
-
[46]
Nonuniqueness in law for two-dimensional Navier–St okes equations with diffusion weaker than a full Laplacian
K Yamazaki. Nonuniqueness in law for two-dimensional Navier–St okes equations with diffusion weaker than a full Laplacian. SIAM Journal on Mathematical Analysis , 54(4):3997–4042, 2022
2022
-
[47]
Yamazaki
K. Yamazaki. Remarks on the non-uniqueness in law of the Navier –Stokes equations up to the J.-L. Lions’ exponent. Stochastic Processes and their Applications , 147:226–269, 2022. 97
2022
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.