Non-uniqueness for the stochastic incompressible Euler equations with a passive tracer
Pith reviewed 2026-05-07 11:29 UTC · model grok-4.3
The pith
The stochastic incompressible Euler equations with a passive tracer admit pathwise non-uniqueness of weak solutions in every spatial dimension at least two.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Via classical transformations, the stochastic incompressible Euler equations with a passive tracer are converted into PDEs with random coefficients. The Baire category method is then applied to construct infinitely many global-in-time weak solutions to these random PDEs in spatial dimensions greater than or equal to two, for arbitrary positive bounded continuous time-dependent energy profiles. Applying the inverse transformations produces pathwise non-uniqueness for the original stochastic partial differential equations. This extends earlier non-uniqueness results from constant energy profiles to general time-dependent ones and includes an application to the stochastic ideal MHD system.
What carries the argument
The Baire category method applied to the space of weak solutions of the random-coefficient incompressible Euler equations, together with the classical transformations that convert Stratonovich transport and multiplicative noise into random coefficients.
Load-bearing premise
The classical transformations preserve the class of weak solutions and the Baire category construction applies to the space of solutions for arbitrary positive bounded continuous time-dependent energy profiles in the random PDEs.
What would settle it
A proof that any two weak solutions of the stochastic Euler system must coincide pathwise for some admissible initial data and noise, or a numerical experiment in which all solution trajectories converge to the same path for a fixed noise realization, would falsify the non-uniqueness claim.
read the original abstract
In this work we investigate the phenomenon of pathwise non-uniqueness for the stochastic incompressible Euler equations with a passive tracer on the whole Euclidean space. The stochastic perturbations are interpreted as a transport noise and a linear multiplicative noise in the Stratonovich sense. In both cases, via classical transformations, we convert the SPDEs into PDEs with random coefficients. Using the Baire category method developed by De Lellis and Sz\'ekelyhidi Jr., we then construct infinitely many global-in-time weak solutions to the random PDEs in any spatial dimension greater than or equal to two. By applying the inverse transformations, we obtain pathwise non-uniqueness for the original SPDEs. Finally, we present an application of our result to the three-dimensional stochastic ideal MHD equations. This study can be regarded as a stochastic counterpart of Bronzi et al.~[\textit{Commun.~Math.~Sci.},~2015]. In particular, our non-uniqueness result in the random setting extends theirs from a constant energy profile equal to one to arbitrary positive, bounded, and continuous time-dependent profiles, originally established in two dimensions via the convex integration technique.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves pathwise non-uniqueness for the stochastic incompressible Euler equations with a passive tracer on R^d (d≥2), with Stratonovich transport noise or linear multiplicative noise. Classical transformations convert the SPDEs to PDEs with random coefficients; the Baire category method of De Lellis–Székelyhidi is then applied to produce infinitely many global weak solutions for arbitrary positive bounded continuous time-dependent energy profiles. Inverse transformations recover pathwise non-uniqueness for the original SPDEs. An application to the 3D stochastic ideal MHD equations is given, extending the deterministic result of Bronzi et al. (2015) from constant energy to general profiles.
Significance. If the details hold, the result supplies a stochastic counterpart to the deterministic non-uniqueness theory for the Euler equations. It shows that the Baire-category construction remains viable under random coefficients and for general energy profiles, thereby broadening the scope of flexibility methods in stochastic fluid dynamics. The pathwise character of the non-uniqueness and the MHD application are of particular interest to the field.
major comments (2)
- [Transformation and random PDE sections (likely §§2–4)] The manuscript asserts that the classical transformations preserve the class of weak solutions and that the Baire-category construction applies directly to the random-coefficient PDEs for arbitrary positive bounded continuous energy profiles. Explicit verification of the a-priori bounds on the random coefficients (uniform in the probability space) is needed to guarantee that the iterative scheme converges pathwise; this step is load-bearing for the transfer of non-uniqueness.
- [Baire-category construction for random PDEs] The extension from constant energy (Bronzi et al.) to arbitrary continuous profiles is claimed to follow from the known flexibility of the Baire method, yet the random-coefficient setting may introduce additional integrability requirements on the noise terms. A precise statement of the admissible class of energy profiles and the corresponding solution space should be given to confirm the construction works without further restrictions.
minor comments (2)
- [Abstract and main theorem statement] The abstract states the result holds 'in any spatial dimension greater than or equal to two'; the proof should clarify whether the constants or the iteration scheme depend on dimension in a way that affects uniformity.
- [Introduction] The reference to Bronzi et al. (Commun. Math. Sci. 2015) should be given in full bibliographic form at first citation.
Simulated Author's Rebuttal
We thank the referee for the careful reading, positive assessment of the significance, and recommendation of minor revision. The comments correctly identify two points where additional explicit verification and clarification will strengthen the manuscript. We address each major comment below and will incorporate the requested details in the revised version.
read point-by-point responses
-
Referee: [Transformation and random PDE sections (likely §§2–4)] The manuscript asserts that the classical transformations preserve the class of weak solutions and that the Baire-category construction applies directly to the random-coefficient PDEs for arbitrary positive bounded continuous energy profiles. Explicit verification of the a-priori bounds on the random coefficients (uniform in the probability space) is needed to guarantee that the iterative scheme converges pathwise; this step is load-bearing for the transfer of non-uniqueness.
Authors: We agree that an explicit verification of the uniform bounds is necessary for a fully rigorous transfer of the pathwise non-uniqueness. In the revised manuscript we will add a dedicated lemma (placed after the transformation statements in §2 or §3) that derives the a-priori bounds on the random coefficients directly from the assumed regularity of the driving Brownian motion. The bounds are shown to hold uniformly in the probability space on a set of full measure, which is sufficient for the Baire-category iteration to converge pathwise. This step uses only the standard properties of Stratonovich transport and linear multiplicative noise already employed in the paper and does not alter any of the main statements. revision: yes
-
Referee: [Baire-category construction for random PDEs] The extension from constant energy (Bronzi et al.) to arbitrary continuous profiles is claimed to follow from the known flexibility of the Baire method, yet the random-coefficient setting may introduce additional integrability requirements on the noise terms. A precise statement of the admissible class of energy profiles and the corresponding solution space should be given to confirm the construction works without further restrictions.
Authors: We will add a short subsection (or expanded remark) at the beginning of the Baire-category construction section that precisely states the admissible class: energy profiles e(t) that are positive, bounded, and continuous on [0,∞). The solution space is the standard one for weak solutions of the random incompressible Euler system with prescribed energy profile, namely divergence-free vector fields in L^∞_t L²_x ∩ L²_t Ḣ¹_x whose kinetic energy equals e(t) almost surely. We explicitly verify that the random coefficients arising from the noise satisfy the same integrability and boundedness requirements used in the deterministic Baire-category arguments of De Lellis–Székelyhidi and Bronzi et al.; no additional restrictions are imposed by the randomness. This makes the extension to arbitrary continuous profiles fully rigorous while preserving the pathwise character of the construction. revision: yes
Circularity Check
No significant circularity detected
full rationale
The derivation proceeds by applying standard classical transformations (Stratonovich-to-Itô or flow-based) that map the original SPDEs to random-coefficient PDEs, followed by an invocation of the external Baire-category construction of De Lellis–Székelyhidi Jr. on those PDEs for arbitrary positive bounded continuous energy profiles, and finally inverting the maps. This chain relies on independently established external techniques and does not reduce any central claim to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation. The extension from the deterministic Bronzi et al. result is achieved by verifying the requisite a-priori bounds on the random coefficients, keeping the argument self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Classical transformations convert the SPDEs to random PDEs while preserving weak solutions and the energy profile class.
- domain assumption The Baire category method applies to the space of weak solutions of the random PDEs with arbitrary positive bounded continuous time-dependent energy profiles.
Reference graph
Works this paper leans on
-
[1]
L. C. Berselli, E. Chiodaroli, and R. Sannipoli. Energy conservation for 3D Euler and Navier-Stokes equations in a bounded domain: applications to Beltrami flows.J. Nonlinear Sci., 35(1):Paper No. 10, 30, 2025
work page 2025
-
[2]
D. W. Boutros, S. Markfelder, and E. S. Titi. Nonuniqueness of generalised weak solutions to the primitive and Prandtl equations.J. Nonlinear Sci., 34(4):Paper No. 68, 83, 2024
work page 2024
- [3]
-
[4]
P. Brkic and E. Wiedemann. Wild solutions of the three-dimensional axisymmetric Euler equations. SIAM J. Math. Anal., 57(1):996–1020, 2025
work page 2025
-
[5]
A. C. Bronzi, M. C. Lopes Filho, and H. J. Nussenzveig Lopes. Wild solutions for 2D incompressible ideal flow with passive tracer.Commun. Math. Sci., 13(5):1333–1343, 2015
work page 2015
-
[6]
Z. Brzeźniak, F. Flandoli, and M. Maurelli. Existence and uniqueness for stochastic 2D Euler flows with bounded vorticity.Arch. Ration. Mech. Anal., 221(1):107–142, 2016
work page 2016
-
[7]
Z. Brzeźniak, U. Manna, and D. Mukherjee. Wong-Zakai approximation for the stochastic Landau- Lifshitz-Gilbert equations.J. Differential Equations, 267(2):776–825, 2019. 38 NON-UNIQUENESS FOR THE STOCHASTIC EULER EQUATIONS WITH A PASSIVE TRACER
work page 2019
-
[8]
Z. Brzeźniak and M. Maurelli. Existence for stochastic 2D Euler equations with positiveH−1 vorticity. To appear in Stoch. Partial Differ. Equ. Anal. Comput., 2026
work page 2026
-
[9]
Z. Brzeźniak and S. Peszat. Stochastic two dimensional Euler equations.Ann. Probab., 29(4):1796–1832, 2001
work page 2001
-
[10]
T. Buckmaster. Onsager’s conjecture almost everywhere in time.Comm. Math. Phys., 333(3):1175–1198, 2015
work page 2015
-
[11]
T. Buckmaster, M. Colombo, and V. Vicol. Wild solutions of the Navier-Stokes equations whose singular sets in time have Hausdorff dimension strictly less than 1.J. Eur. Math. Soc. (JEMS), 24(9):3333–3378, 2022
work page 2022
-
[12]
T. Buckmaster, C. De Lellis, P. Isett, and L. Székelyhidi, Jr. Anomalous dissipation for1/5-Hölder Euler flows.Ann. of Math. (2), 182(1):127–172, 2015
work page 2015
-
[13]
T. Buckmaster, C. De Lellis, and L. Székelyhidi, Jr. Dissipative Euler flows with Onsager-critical spatial regularity.Comm. Pure Appl. Math., 69(9):1613–1670, 2016
work page 2016
-
[14]
T. Buckmaster, C. De Lellis, L. Székelyhidi, Jr., and V. Vicol. Onsager’s conjecture for admissible weak solutions.Comm. Pure Appl. Math., 72(2):229–274, 2019
work page 2019
-
[15]
T. Buckmaster and V. Vicol. Convex integration and phenomenologies in turbulence.EMS Surv. Math. Sci., 6(1-2):173–263, 2019
work page 2019
-
[16]
T. Buckmaster and V. Vicol. Nonuniqueness of weak solutions to the Navier-Stokes equation.Ann. of Math. (2), 189(1):101–144, 2019
work page 2019
-
[17]
M. Changxing and Z. Zhiwen. Nonuniqueness for high-dimensional ideal MHD equations via differential inclusion.arXiv:2509.06866, 2025
-
[18]
W. Chen, Z. Dong, and X. Zhu. Sharp nonuniqueness of solutions to stochastic Navier-Stokes equations. SIAM J. Math. Anal., 56(2):2248–2285, 2024
work page 2024
-
[19]
A. Cheskidov, P. Constantin, S. Friedlander, and R. Shvydkoy. Energy conservation and Onsager’s conjecture for the Euler equations.Nonlinearity, 21(6):1233–1252, 2008
work page 2008
-
[20]
A. Cheskidov and X. Luo. Sharp nonuniqueness for the Navier-Stokes equations.Invent. Math., 229(3):987–1054, 2022
work page 2022
-
[21]
E.Chiodaroli.Acounterexampletowell-posednessofentropysolutionstothecompressibleEulersystem. J. Hyperbolic Differ. Equ., 11(3):493–519, 2014
work page 2014
-
[22]
E. Chiodaroli, C. De Lellis, and O. Kreml. Global ill-posedness of the isentropic system of gas dynamics. Comm. Pure Appl. Math., 68(7):1157–1190, 2015
work page 2015
-
[23]
E. Chiodaroli, E. Feireisl, and F. Flandoli. Ill-posedness for the full Euler system driven by multiplicative white noise.Indiana Univ. Math. J., 70(4):1267–1282, 2021
work page 2021
-
[24]
E. Chiodaroli and O. Kreml. On the energy dissipation rate of solutions to the compressible isentropic Euler system.Arch. Ration. Mech. Anal., 214(3):1019–1049, 2014
work page 2014
-
[25]
A. Choffrut, C. De Lellis, and L. Székelyhidi Jr. Dissipative continuous Euler flows in two and three dimensions.arXiv:1205.1226v1, 2012
-
[26]
A. Choffrut and L. Székelyhidi, Jr. Weak solutions to the stationary incompressible Euler equations. SIAM J. Math. Anal., 46(6):4060–4074, 2014
work page 2014
-
[27]
M. Colombo, C. De Lellis, and L. De Rosa. Ill-posedness of Leray solutions for the hypodissipative Navier-Stokes equations.Comm. Math. Phys., 362(2):659–688, 2018
work page 2018
-
[28]
M. Colombo, L. De Rosa, and M. Sorella. Typicality results for weak solutions of the incompressible Navier-Stokes equations.ESAIM Control Optim. Calc. Var., 28:Paper No. 38, 24, 2022
work page 2022
-
[29]
P. Constantin, W. E, and E. S. Titi. Onsager’s conjecture on the energy conservation for solutions of Euler’s equation.Comm. Math. Phys., 165(1):207–209, 1994
work page 1994
-
[30]
P. Constantin and A. Majda. The Beltrami spectrum for incompressible fluid flows.Comm. Math. Phys., 115(3):435–456, 1988
work page 1988
-
[31]
D. Cordoba, D. Faraco, and F. Gancedo. Lack of uniqueness for weak solutions of the incompressible porous media equation.Arch. Ration. Mech. Anal., 200(3):725–746, 2011
work page 2011
-
[32]
S.Daneri.CauchyproblemfordissipativeHöldersolutionstotheincompressibleEulerequations.Comm. Math. Phys., 329(2):745–786, 2014
work page 2014
-
[33]
S. Daneri and L. Székelyhidi, Jr. Non-uniqueness and h-principle for Hölder-continuous weak solutions of the Euler equations.Arch. Ration. Mech. Anal., 224(2):471–514, 2017. NON-UNIQUENESS FOR THE STOCHASTIC EULER EQUATIONS WITH A PASSIVE TRACER 39
work page 2017
- [34]
-
[35]
C. De Lellis, E. Chiodaroli, and O. Kreml. Surprising solutions to the isentropic Euler system of gas dynamics. InHyperbolic problems: theory, numerics, applications, volume 8, pages 1–10. Am. Inst. Math. Sci. (AIMS), Springfield, MO, 2014
work page 2014
-
[36]
C. De Lellis and L. Székelyhidi, Jr. The Euler equations as a differential inclusion.Ann. of Math. (2), 170(3):1417–1436, 2009
work page 2009
-
[37]
C. De Lellis and L. Székelyhidi, Jr. On admissibility criteria for weak solutions of the Euler equations. Arch. Ration. Mech. Anal., 195(1):225–260, 2010
work page 2010
-
[38]
C. De Lellis and L. Székelyhidi, Jr. Dissipative continuous Euler flows.Invent. Math., 193(2):377–407, 2013
work page 2013
-
[39]
C. De Lellis and L. Székelyhidi, Jr. Dissipative Euler flows and Onsager’s conjecture.J. Eur. Math. Soc. (JEMS), 16(7):1467–1505, 2014
work page 2014
-
[40]
H. Doss. Liens entre équations différentielles stochastiques et ordinaires.Ann. Inst. H. Poincaré Sect. B (N.S.), 13(2):99–125, 1977
work page 1977
-
[41]
L. Euler. Principes généraux du mouvement des fluides. 11:274–315, 1757
-
[42]
G. L. Eyink. Energy dissipation without viscosity in ideal hydrodynamics. I. Fourier analysis and local energy transfer.Phys. D, 78(3-4):222–240, 1994
work page 1994
-
[43]
C. L. Fefferman. Existence and smoothness of the Navier-Stokes equation. InThe millennium prize problems, pages 57–67. Clay Math. Inst., Cambridge, MA, 2006
work page 2006
- [44]
-
[45]
F. Flandoli, M. Gubinelli, and E. Priola. Well-posedness of the transport equation by stochastic pertur- bation.Invent. Math., 180(1):1–53, 2010
work page 2010
-
[46]
V. Giri, H. Kwon, and M. Novack. A wavelet-inspiredL3-based convex integration framework for the Euler equations.Ann. PDE, 10(2):Paper No. 19, 271, 2024
work page 2024
-
[47]
V. Giri and R. O. Radu. The Onsager conjecture in 2D: a Newton-Nash iteration.Invent. Math., 238(2):691–768, 2024
work page 2024
-
[48]
N. E. Glatt-Holtz and V. C. Vicol. Local and global existence of smooth solutions for the stochastic Euler equations with multiplicative noise.Ann. Probab., 42(1):80–145, 2014
work page 2014
-
[49]
M. Hofmanová, T. Lange, and U. Pappalettera. Global existence and non-uniqueness of 3D Euler equa- tions perturbed by transport noise.Probab. Theory Related Fields, 188(3-4):1183–1255, 2024
work page 2024
-
[50]
M. Hofmanová, R. Zhu, and X. Zhu. On ill- and well-posedness of dissipative martingale solutions to stochastic 3D Euler equations.Comm. Pure Appl. Math., 75(11):2446–2510, 2022
work page 2022
-
[51]
M.Hofmanová, R.Zhu, andX.Zhu.Globalexistenceandnon-uniquenessfor3DNavier-Stokesequations with space-time white noise.Arch. Ration. Mech. Anal., 247(3):Paper No. 46, 70, 2023
work page 2023
-
[52]
M. Hofmanová, R. Zhu, and X. Zhu. Global-in-time probabilistically strong and Markov solutions to stochastic3DNavier-Stokesequations: existenceandnonuniqueness.Ann. Probab., 51(2):524–579, 2023
work page 2023
-
[53]
M. Hofmanová, R. Zhu, and X. Zhu. Nonuniqueness in law of stochastic 3D Navier-Stokes equations.J. Eur. Math. Soc. (JEMS), 26(1):163–260, 2024
work page 2024
-
[54]
M. Hofmanová, R. Zhu, and X. Zhu. Non-unique ergodicity for deterministic and stochastic 3D Navier- Stokes and Euler equations.Arch. Ration. Mech. Anal., 249(3):Paper No. 33, 2025
work page 2025
-
[55]
Isett.Hölder continuous Euler flows with compact support in time
P. Isett.Hölder continuous Euler flows with compact support in time. ProQuest LLC, Ann Arbor, MI, 2013
work page 2013
-
[56]
P. Isett. A proof of Onsager’s conjecture.Ann. of Math. (2), 188(3):871–963, 2018
work page 2018
-
[57]
P. Isett. On the endpoint regularity in Onsager’s conjecture.Anal. PDE, 17(6):2123–2159, 2024
work page 2024
-
[58]
P. Isett and S. J. Oh. A heat flow approach to Onsager’s conjecture for the Euler equations on manifolds. Trans. Amer. Math. Soc., 368(9):6519–6537, 2016
work page 2016
-
[59]
P. Isett and V. Vicol. Hölder continuous solutions of active scalar equations.Ann. PDE, 1(1):Art. 2, 77, 2015
work page 2015
-
[60]
U. Koley and K. Yamazaki. Non-uniqueness in law of transport-diffusion equation forced by random noise.J. Differential Equations, 416:82–142, 2025
work page 2025
-
[61]
N. H. Kuiper. OnC1-isometric imbeddings. I, II.Indag. Math., 17:545–556, 683–689, 1955. 40 NON-UNIQUENESS FOR THE STOCHASTIC EULER EQUATIONS WITH A PASSIVE TRACER
work page 1955
-
[62]
Kunita.Stochastic flows and stochastic differential equations, volume 24
H. Kunita.Stochastic flows and stochastic differential equations, volume 24. Cambridge University Press, Cambridge, 1990
work page 1990
-
[63]
Łojasiewicz.An introduction to the theory of real functions
S. Łojasiewicz.An introduction to the theory of real functions. John Wiley & Sons, Ltd., Chichester, third edition, 1988
work page 1988
- [64]
- [65]
- [66]
- [67]
-
[68]
F. Mengual. Non-uniqueness of admissible solutions for the 2D Euler equation withLp vortex data. Comm. Math. Phys., 405(9):Paper No. 207, 28, 2024
work page 2024
-
[69]
S. Modena and L. Székelyhidi, Jr. Non-uniqueness for the transport equation with Sobolev vector fields. Ann. PDE, 4(2):Paper No. 18, 38, 2018
work page 2018
-
[70]
Nash.C 1 isometric imbeddings.Ann
J. Nash.C 1 isometric imbeddings.Ann. of Math. (2), 60:383–396, 1954
work page 1954
-
[71]
L. Onsager. Statistical hydodynamics.Convegno Internazionale di Meccanica Statistica, 2(6):279–287, 1949
work page 1949
-
[72]
J. C. Oxtoby.Measure and category, volume 2. Springer-Verlag, New York-Berlin, second edition, 1980
work page 1980
-
[73]
R. T. Rockafellar.Convex analysis. Princeton University Press, Princeton, NJ, 1970
work page 1970
-
[74]
W. Rudin.Functional analysis. McGraw-Hill Book Co., New York-Düsseldorf-Johannesburg, 1973
work page 1973
- [75]
-
[76]
A. Shnirelman. On the nonuniqueness of weak solution of the Euler equation.Comm. Pure Appl. Math., 50(12):1261–1286, 1997
work page 1997
- [77]
-
[78]
H. J. Sussmann. On the gap between deterministic and stochastic ordinary differential equations.Ann. Probability, 6(1):19–41, 1978
work page 1978
-
[79]
L. Székelyhidi. Weak solutions to the incompressible Euler equations with vortex sheet initial data.C. R. Math. Acad. Sci. Paris, 349(19-20):1063–1066, 2011
work page 2011
-
[80]
L. Székelyhidi, Jr. Relaxation of the incompressible porous media equation.Ann. Sci. Éc. Norm. Supér. (4), 45(3):491–509, 2012
work page 2012
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.