Non-uniqueness for the hypo-dissipative compressible 3D magnetohydrodynamic equations
Pith reviewed 2026-06-26 14:08 UTC · model grok-4.3
The pith
The compressible 3D MHD equations admit infinitely many weak solutions sharing the same initial data when viscosity and resistivity are hypo-dissipative with exponents in (0,1).
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For all hypo-viscosities (−Δ)α1 and hypo-resistivity (−Δ)α2 with α1,α2∈(0,1), the compressible 3D MHD equations under general pressure laws have non-unique weak solutions, revealing infinitely many weak solutions with the same initial data. Weak solutions belonging to C^β̃_{t,x} for the compressible ideal MHD are the strong vanishing viscosity and resistivity limit of the weak solutions to the hypo-dissipative compressible MHD.
What carries the argument
An iterative construction, based on convex integration adapted to the hypo-dissipative terms and general pressure laws, that builds multiple weak solutions satisfying the same initial data and divergence-free conditions.
If this is right
- Infinitely many weak solutions exist for every initial datum in the admissible class.
- The non-uniqueness persists uniformly for all dissipation exponents strictly less than one.
- Holder-continuous solutions of the ideal system can be recovered exactly as vanishing limits of the hypo-dissipative approximations.
Where Pith is reading between the lines
- Uniqueness, if it holds at all, must require dissipation exponents at least equal to one.
- Similar non-uniqueness constructions may apply to related systems such as the compressible Navier-Stokes equations with hypo-viscosity.
- The result raises the question of whether physical selection criteria beyond weak solutions are needed when uniqueness fails.
Load-bearing premise
The functional setting for weak solutions must allow the iterative scheme to produce multiple solutions without violating the integral form of the equations when the hypo-dissipative terms are present.
What would settle it
A concrete initial datum for which every pair of weak solutions to the hypo-dissipative system with α1,α2 in (0,1) must coincide would falsify the non-uniqueness claim.
read the original abstract
We consider the compressible 3D magnetohydrodynamic (MHD) equations under general pressure laws. For all hypo-viscosities $(-\Delta)^{\alpha_1}$ and hypo-resistivity $(-\Delta)^{\alpha_2}$ with $\alpha_1,\alpha_2\in(0,1)$, we prove the non-uniqueness of weak solutions to 3D MHD equations which reveals that there exist infinitely many weak solutions with the same initial data. Also, for the weak solutions in $C^{\widetilde{\beta}}_{t,x}$ to the compressible ideal MHD, where $\widetilde{\beta}>0$, we prove that they are the strong vanishing viscosity and resistivity limit of the weak solutions to the hypo-dissipative compressible MHD.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves non-uniqueness of weak solutions to the compressible 3D MHD system with hypo-viscosity (−Δ)α1 and hypo-resistivity (−Δ)α2 for all α1,α2∈(0,1) under general pressure laws, establishing the existence of infinitely many weak solutions sharing the same initial data. It further shows that any weak solution belonging to C^β̃t,x (β̃>0) of the ideal compressible MHD equations arises as the strong vanishing-viscosity/resistivity limit of weak solutions to the hypo-dissipative system.
Significance. If the central non-uniqueness construction holds, the result extends the range of hypo-dissipative exponents for which non-uniqueness is known in compressible MHD, complementing existing work on the incompressible case and on the ideal limit. The additional vanishing-viscosity statement provides a concrete link between the hypo-dissipative and ideal regimes that is not automatic from the non-uniqueness alone.
major comments (2)
- [§3] §3 (construction of the iterative scheme): the estimates controlling the hypo-dissipative terms in the Reynolds stress iteration appear to rely on a specific choice of the mollification scale relative to the Hölder exponent; it is not immediately clear from the stated bounds whether the same constants work uniformly down to α1,α2→0+ or whether an additional restriction on how small α1,α2 may be is implicitly required.
- [Theorem 1.1, Def. 2.3] Theorem 1.1 and the definition of weak solutions (Def. 2.3): the pressure term is treated under a general law p= p(ρ), yet the integrability assumed on the density and velocity fields in the weak formulation must be verified to be compatible with the convex-integration ansatz; a short calculation showing that the pressure remainder remains controlled in the same space as the Reynolds stress would strengthen the argument.
minor comments (2)
- The notation for the Hölder space C^β̃t,x is introduced without an explicit definition of the mixed space-time norm; adding a sentence recalling the precise seminorm would improve readability.
- Several references to prior convex-integration works for the incompressible MHD system are cited only by number; inserting the authors’ names in the text would help the reader locate the relevant estimates.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive suggestions. We address the two major comments below.
read point-by-point responses
-
Referee: [§3] §3 (construction of the iterative scheme): the estimates controlling the hypo-dissipative terms in the Reynolds stress iteration appear to rely on a specific choice of the mollification scale relative to the Hölder exponent; it is not immediately clear from the stated bounds whether the same constants work uniformly down to α1,α2→0+ or whether an additional restriction on how small α1,α2 may be is implicitly required.
Authors: The mollification scale in the iterative scheme of §3 is chosen relative to the Hölder exponent β̃ of the target solution and the dissipation parameters α1, α2. The resulting bounds on the hypo-dissipative error terms are absorbed into the Reynolds stress at each step, with constants that remain uniform for all α1, α2 ∈ (0,1) by adjusting the iteration parameters (frequency and amplitude) within the convex-integration framework; no implicit lower bound away from zero is required. We will insert a clarifying remark after the statement of the main estimates in §3 to make this uniformity explicit. revision: partial
-
Referee: [Theorem 1.1, Def. 2.3] Theorem 1.1 and the definition of weak solutions (Def. 2.3): the pressure term is treated under a general law p= p(ρ), yet the integrability assumed on the density and velocity fields in the weak formulation must be verified to be compatible with the convex-integration ansatz; a short calculation showing that the pressure remainder remains controlled in the same space as the Reynolds stress would strengthen the argument.
Authors: We agree that an explicit verification strengthens the presentation. In the revised manuscript we will add a short calculation (approximately half a page) immediately after Definition 2.3, confirming that the pressure remainder p(ρ) − p(ρ̄) lies in the same space as the Reynolds stress under the integrability furnished by the convex-integration ansatz, thereby ensuring compatibility with the weak formulation. revision: yes
Circularity Check
No significant circularity identified
full rationale
The paper is a pure existence/non-uniqueness theorem in mathematical analysis. It asserts that infinitely many weak solutions exist for the hypo-dissipative compressible MHD system under general pressure laws, constructed via iterative methods in an appropriate functional setting. No fitted parameters, self-definitional relations, or load-bearing self-citations that reduce the central claim to its own inputs appear in the stated results. The derivation chain consists of estimates and constructions that are independent of the target non-uniqueness statement itself; the vanishing-viscosity limit result is likewise a separate limit theorem rather than a renaming or re-derivation of the input data. The paper is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
Reference graph
Works this paper leans on
-
[1]
Li, Yachun and Zeng, Zirong and Zhang, Deng , TITLE =. J. Math. Pures Appl. (9) , FJOURNAL =. 2022 , PAGES =. doi:10.1016/j.matpur.2022.07.009 , URL =
-
[2]
Beekie, Rajendra and Buckmaster, Tristan and Vicol, Vlad , TITLE =. Ann. PDE , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s40818-020-0076-1 , URL =
-
[3]
Buckmaster, Tristan and Vicol, Vlad , TITLE =. EMS Surv. Math. Sci. , FJOURNAL =. 2019 , NUMBER =. doi:10.4171/emss/34 , URL =
-
[4]
SIAM Journal on Mathematical Analysis , volume =
Li, Yachun and Qu, Peng and Zeng, Zirong and Zhang, Deng , title =. SIAM Journal on Mathematical Analysis , volume =. 2026 , doi =
2026
-
[5]
Cheskidov, Alexey and Luo, Xiaoyutao , TITLE =. Invent. Math. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00222-022-01116-x , URL =
-
[6]
Cheskidov, Alexey and Luo, Xiaoyutao , TITLE =. Ann. PDE , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s40818-020-00091-x , URL =
-
[7]
Cheskidov, Alexey and Luo, Xiaoyutao , TITLE =. Ann. PDE , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s40818-023-00154-9 , URL =
-
[8]
Li, Yachun and Qu, Peng and Zeng, Zirong and Zhang, Deng , TITLE =. J. Math. Pures Appl. (9) , FJOURNAL =. 2024 , PAGES =. doi:10.1016/j.matpur.2024.103602 , URL =
-
[9]
Li, Yachun and Zeng, Zirong and Zhang, Deng , TITLE =. J. Funct. Anal. , FJOURNAL =. 2024 , NUMBER =. doi:10.1016/j.jfa.2024.110528 , URL =
-
[10]
Nie, Yao and Ye, Weikui , TITLE =. J. Nonlinear Sci. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s00332-025-10201-3 , URL =
-
[11]
Buckmaster, Tristan and Vicol, Vlad , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2019 , NUMBER =. doi:10.4007/annals.2019.189.1.3 , URL =
-
[12]
De Lellis, Camillo and Sz\'ekelyhidi, Jr., L\'aszl\'o , TITLE =. Invent. Math. , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s00222-012-0429-9 , URL =
-
[13]
Calder\'on, A. P. and Zygmund, A. , TITLE =. Studia Math. , FJOURNAL =. 1954 , PAGES =. doi:10.4064/sm-14-2-249-271 , URL =
-
[14]
Duvaut, G. and Lions, J.-L. , TITLE =. Arch. Rational Mech. Anal. , FJOURNAL =. 1972 , PAGES =. doi:10.1007/BF00250512 , URL =
-
[15]
Sermange, Michel and Temam, Roger , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 1983 , NUMBER =. doi:10.1002/cpa.3160360506 , URL =
-
[16]
and Klapper, Isaac and Steele, Gregory , TITLE =
Caflisch, Russel E. and Klapper, Isaac and Steele, Gregory , TITLE =. Comm. Math. Phys. , FJOURNAL =. 1997 , NUMBER =. doi:10.1007/s002200050067 , URL =
-
[17]
He, Cheng and Xin, Zhouping , TITLE =. J. Differential Equations , FJOURNAL =. 2005 , NUMBER =. doi:10.1016/j.jde.2004.07.002 , URL =
-
[18]
He, Cheng and Xin, Zhouping , TITLE =. J. Funct. Anal. , FJOURNAL =. 2005 , NUMBER =. doi:10.1016/j.jfa.2005.06.009 , URL =
-
[19]
Cao, Chongsheng and Wu, Jiahong , TITLE =. Adv. Math. , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.aim.2010.08.017 , URL =
-
[20]
Kawashima, Shuichi , TITLE =. Japan J. Appl. Math. , FJOURNAL =. 1984 , NUMBER =. doi:10.1007/BF03167869 , URL =
-
[21]
Fan, Jishan and Yu, Wanghui , TITLE =. Nonlinear Anal. Real World Appl. , FJOURNAL =. 2009 , NUMBER =. doi:10.1016/j.nonrwa.2007.10.001 , URL =
-
[22]
Hu, Xianpeng and Wang, Dehua , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2010 , NUMBER =. doi:10.1007/s00205-010-0295-9 , URL =
-
[23]
Chen, Qing and Tan, Zhong , TITLE =. Nonlinear Anal. , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.na.2010.02.019 , URL =
-
[24]
Zhu, Shengguo , TITLE =. J. Math. Anal. Appl. , FJOURNAL =. 2015 , NUMBER =. doi:10.1016/j.jmaa.2015.01.015 , URL =
-
[25]
Lu, Ming and Du, Yi and Yao, Zheng-an , TITLE =. J. Math. Anal. Appl. , FJOURNAL =. 2011 , NUMBER =. doi:10.1016/j.jmaa.2011.01.043 , URL =
-
[26]
Li, Fucai and Yu, Hongjun , TITLE =. Proc. Roy. Soc. Edinburgh Sect. A , FJOURNAL =. 2011 , NUMBER =. doi:10.1017/S0308210509001632 , URL =
-
[27]
De Lellis, Camillo and Sz\'ekelyhidi, Jr., L\'aszl\'o , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2009 , NUMBER =. doi:10.4007/annals.2009.170.1417 , URL =
-
[28]
De Lellis, Camillo and Sz\'ekelyhidi, Jr., L\'aszl\'o , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2010 , NUMBER =. doi:10.1007/s00205-008-0201-x , URL =
-
[29]
Daneri, Sara and Sz\'ekelyhidi, Jr., L\'aszl\'o , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2017 , NUMBER =. doi:10.1007/s00205-017-1081-8 , URL =
-
[30]
Isett, Philip , TITLE =. Ann. of Math. (2) , FJOURNAL =. 2018 , NUMBER =. doi:10.4007/annals.2018.188.3.4 , URL =
-
[31]
Onsager's conjecture for admissible weak solutions , JOURNAL =
Buckmaster, Tristan and de Lellis, Camillo and Sz\'ekelyhidi, Jr., L\'aszl\'o. Onsager's conjecture for admissible weak solutions , JOURNAL =. 2019 , NUMBER =. doi:10.1002/cpa.21781 , URL =
-
[32]
Bronzi, Anne C. and Lopes Filho, Milton C. and Nussenzveig Lopes, Helena J. , TITLE =. Commun. Math. Sci. , FJOURNAL =. 2015 , NUMBER =. doi:10.4310/CMS.2015.v13.n5.a12 , URL =
-
[33]
Faraco, Daniel and Lindberg, Sauli and Sz\'ekelyhidi, Jr., L\'aszl\'o , TITLE =. Arch. Ration. Mech. Anal. , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00205-020-01570-y , URL =
-
[34]
Faraco, Daniel and Lindberg, Sauli , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00220-019-03422-7 , URL =
-
[35]
Faraco, Daniel and Lindberg, Sauli and Sz\'ekelyhidi, Jr., L\'aszl\'o , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2024 , NUMBER =. doi:10.1002/cpa.22168 , URL =
-
[36]
Feireisl, Eduard and Li, Yang , TITLE =. Nonlinearity , FJOURNAL =. 2020 , NUMBER =. doi:10.1088/1361-6544/ab4c8e , URL =
-
[37]
Relaxation of Toroidal Plasma and Generation of Reverse Magnetic Fields , author =. Phys. Rev. Lett. , volume =. 1974 , publisher =. doi:10.1103/PhysRevLett.33.1139 , url =
-
[38]
Miao, Changxing and Nie, Yao and Ye, Weikui , TITLE =. Ann. PDE , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s40818-025-00224-0 , URL =
-
[39]
Matteo Giardi and Sz\'ekelyhidi, Jr., L\'aszl\'o , year=. arXiv , volume=. 2604.12091 , archivePrefix=
-
[40]
Du, Lili and Li, Xinliang , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2025 , NUMBER =. doi:10.1112/jlms.70317 , URL =
-
[41]
H\"older continuous dissipative solutions of ideal
Alberto Enciso and Javier Peñafiel-Tomás and Daniel Peralta-Salas , year=. H\"older continuous dissipative solutions of ideal. arXiv , volume=. 2507.23749 , archivePrefix=
-
[42]
Instantaneous blowup and non-uniqueness of smooth solutions of
Mimi Dai , year=. Instantaneous blowup and non-uniqueness of smooth solutions of. arXiv , volume=. 2604.08684 , archivePrefix=
-
[43]
Non-uniqueness of smooth solutions of the 5
Zipeng Chen and Song Liu and Zhaoyang Yin , year=. Non-uniqueness of smooth solutions of the 5. arXiv , volume=. 2603.21800 , archivePrefix=
-
[44]
Alexey Cheskidov and Mimi Dai and Stan Palasek , year=. Instantaneous. arXiv , volume=. 2511.09556 , archivePrefix=
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.