Energy conservation for the weak solutions to the equations of compressible magnetohydrodynamic flows in three dimensions
Pith reviewed 2026-05-25 16:55 UTC · model grok-4.3
The pith
Energy conservation holds for weak solutions of 3D compressible MHD under density and velocity regularity conditions.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
If the density and velocity of a weak solution to the compressible MHD system satisfy the regularity conditions from the corresponding Navier-Stokes result, then the energy is conserved, since the magnetic interaction terms vanish under these conditions without needing extra assumptions on the magnetic field.
What carries the argument
The estimates and limit passages for the magnetic interaction terms in the energy balance, which are controlled solely by the density and velocity regularity.
If this is right
- The same regularity suffices for energy conservation in both Navier-Stokes and MHD.
- Magnetic fields do not demand additional conditions for energy balance.
- Weak solutions preserve energy in the presence of magnetic effects under fluid regularity.
- Extends the applicability of the Navier-Stokes energy result to MHD flows.
Where Pith is reading between the lines
- This may imply that similar extensions are possible for other fluid systems coupled with additional fields.
- Practical computations of MHD flows could focus regularity checks on density and velocity for energy conservation.
- Links the energy behavior of MHD to that of Navier-Stokes, potentially aiding analysis of limits between the systems.
Load-bearing premise
The regularity conditions on density and velocity from the Navier-Stokes case are enough to control the magnetic field interaction terms in the energy equation.
What would settle it
Constructing or identifying a weak solution to the compressible MHD equations where density and velocity meet the regularity conditions but the integrated energy balance fails to hold would disprove the result.
read the original abstract
In this paper, we prove the energy conservation for the weak solutions to the three-dimensional equations of compressible magnetohydrodynamic flows (MHD) under certain conditions only about density and velocity. This work is inspired by the seminal work by Yu [27] on the energy conservation of compressible Navier-Stokes equations. Our result indicates that even the magnetic field is taken into account, we only need some regularity conditions of the density and velocity as in [27] to ensure the energy conservation.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims to establish energy conservation for weak solutions of the three-dimensional compressible magnetohydrodynamic (MHD) equations. The result is obtained under precisely the same regularity hypotheses on density and velocity that suffice for the corresponding statement in the compressible Navier-Stokes case (Yu, [27]), with no additional assumptions imposed on the magnetic field. The proof is presented as a direct extension of the cited NS argument, with the magnetic contributions asserted to vanish in the limit under those hypotheses alone.
Significance. If the central claim is correct, the work shows that the Lorentz force, Maxwell stress, and induction-equation transport terms can be controlled in the energy balance using only the integrability conditions already known to work for compressible NS. This would constitute a modest but clean extension of the existing literature on energy equality for dissipative weak solutions.
major comments (2)
- [Proof of the main theorem (energy equality derivation)] The load-bearing step is the explicit control of all magnetic cross terms (Lorentz work, (B·∇)u, (u·∇)B, and Maxwell stress) in the energy equality. The manuscript asserts that the hypotheses on ρ and u from [27] suffice, yet the estimates for these terms are not shown to close without invoking additional integrability on B that is not furnished by the induction equation under the stated assumptions. This is the precise point raised by the stress-test note and remains unresolved in the argument.
- [Section 2 (main result and assumptions)] The definition of weak solution and the statement of the main theorem do not record the precise integrability class required for B. Without this, it is impossible to verify that the magnetic terms are indeed dominated by the given bounds on ρ and u alone.
minor comments (1)
- [Introduction] Notation for the magnetic field and the precise form of the MHD system (including the divergence-free constraint) should be stated explicitly at the outset for clarity.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address the two major comments point by point below, indicating the revisions we will make to clarify the argument and the function spaces.
read point-by-point responses
-
Referee: [Proof of the main theorem (energy equality derivation)] The load-bearing step is the explicit control of all magnetic cross terms (Lorentz work, (B·∇)u, (u·∇)B, and Maxwell stress) in the energy equality. The manuscript asserts that the hypotheses on ρ and u from [27] suffice, yet the estimates for these terms are not shown to close without invoking additional integrability on B that is not furnished by the induction equation under the stated assumptions. This is the precise point raised by the stress-test note and remains unresolved in the argument.
Authors: We agree that the estimates controlling the magnetic cross terms were only sketched by reference to the mollification procedure of [27] and were not written out in full detail. In the revised version we will add a dedicated subsection that carries out these estimates explicitly, using only the given integrability on ρ and u together with the standard weak-solution integrability for B that follows from the induction equation (B ∈ L^∞(0,T;L²) ∩ L²(0,T;H¹) in the usual sense for MHD weak solutions). We maintain that no extra regularity on B beyond this class is required, but we accept that the details must be supplied to make the argument self-contained. revision: yes
-
Referee: [Section 2 (main result and assumptions)] The definition of weak solution and the statement of the main theorem do not record the precise integrability class required for B. Without this, it is impossible to verify that the magnetic terms are indeed dominated by the given bounds on ρ and u alone.
Authors: We accept the referee’s observation. In the revised manuscript we will augment the definition of weak solution in Section 2 with the precise integrability class satisfied by B (the standard one implied by the weak form of the induction equation under the given data), and we will restate the main theorem with this class made explicit. This change is purely expository and does not alter the hypotheses or the claimed result. revision: yes
Circularity Check
No circularity detected; derivation extends external result without reduction to inputs
full rationale
The paper claims to prove energy conservation for compressible MHD weak solutions by extending the regularity conditions on density and velocity from the external reference [27] (Yu, different authors) to control all magnetic interaction terms without additional assumptions on B. No self-citation load-bearing, no self-definitional steps, no fitted parameters renamed as predictions, and no ansatz smuggled via citation appear in the abstract or described chain. The central claim asserts independent verification that the induction equation and Maxwell stress terms vanish in the limit under the NS hypotheses alone, which constitutes new mathematical content rather than a renaming or tautological reduction. This is the expected non-finding for a proof paper building on an external benchmark.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Weak solutions to the compressible MHD equations satisfy the standard integral formulation of the system.
Reference graph
Works this paper leans on
-
[1]
C.Bardos, E.S. Titi. Onsager’s conjecture for the incom pressible Euler equations in bounded domains. Arch Ration Mech Anal., 228 (2018), 197-207
work page 2018
-
[2]
T. Buckmaster, C. Lellis, P . Isett, Jr.L. Szekelyhidi. A nomalous dissipation for 1/5-H¨ older Euler flows. Ann. Math., 182 (2015), 127-172
work page 2015
-
[3]
T. Buckmaster, C. Lellis, L. Sz´ ekelyhidi. Dissipative Euler flows with Onsager-critical spatial regularity. Comm. Pure Appl. Math., 69 (2016), 1613-1670
work page 2016
- [4]
-
[5]
Energy equality in compressible fluids with physical boundaries
R.M. Chen, Z.L. Liang, D.H. Wang and R.Z. Xu. Energy equal ity in compressible fluids with physical boundaries, arXiv:1808.06089v2, 2018
work page internal anchor Pith review Pith/arXiv arXiv 2018
- [6]
- [7]
-
[8]
A. Cheskidov, P . Constantin, S. Friedlander and R. Shvyd koy. Energy conservation and On- sager’s conjecture for the Euler equations. Nonlinearity, 21 (2008), 1233-1252
work page 2008
-
[9]
P . Constantin, E. Weinan and E.S. Titi. Onsager’s conjec ture on the energy conservation for solutions of Euler’s equation. Commun. Math. Phys., 165 (19 94), 207-209
-
[10]
Eyink, L. Gregory. Energy dissipation without viscosi ty in ideal hydrodynamics I. Fourier anal- ysis and local energy transfer. International Symposium on Physical Design, 1994
work page 1994
-
[11]
J. Fan, W. Y u. Strong solution to the compressible magne tohydrodynamic equations with vac- uum. Nonlinear Analysis: Real World Application, 10 (2009) , 392-409
work page 2009
- [12]
-
[13]
E. Feireisl, A. Novotn´ y, H. Petzeltov´ a. On the existence of globally defined weak solutions to the Navier-Stokes equations. J. Math. Fluid Mech., 3 (2001) , 358-392
work page 2001
-
[14]
X.P . Hu, D.H. Wang. Compactness of weak solutions to the three-dimensional compressible magnetohydrodynamic equations. J. Di fferential Equations, 245 (2008), 2176-2198
work page 2008
-
[15]
X.P . Hu, D.H. Wang. Global solutions to the three-dimen sional full compressible magnetohy- drodynamic flows. Comm. Math. Phys., 283 (2008), 255-284
work page 2008
-
[16]
X.P . Hu, D.H. Wang. Global existence and large-time beh avior of solutions to the three- dimensional equations of compressible magnetohydrodynam ic flows. Arch. Ration. Mech. Anal., 197 (2010), 203-238. 14
work page 2010
-
[17]
S. Kawashima, M. Okada. Smooth global solutions for the one-dimensional equations in mag- netohydrodynamics. Proc. Japan Acad. Ser. A Math. Sci., 58 ( 1982), 384-387
work page 1982
-
[18]
A.G. Kulikovskiy, G.A. Lyubimov. Magnetohydrodynami cs. Addison-Wesley, Massachusetts, 1965
work page 1965
-
[19]
L.D. Laudau, E.M. Lifshitz. The electrodynamics of Con tinuous Media, 2nd ed., Pergamon, New Y ork, 1984
work page 1984
-
[20]
H.L. Li, X.Y . Xu and J.W. Zhang. Global classical soluti ons to 3D compressible magnetohy- drodynamic equations with large oscillations and vacuum. S IAM J. Math. Anal., 45 (2013), 1356-1387
work page 2013
-
[21]
P .L. Lions. Mathematical topics in fluid mechanics. V ol . 2. Compressible models. Oxford Uni- versity Press, New Y ork, 1998
work page 1998
-
[22]
L. Onsager. Statistical hydrodynamics. Nuovo Cimento , 6 (1949), 279-287
work page 1949
-
[23]
J. Serrin. The initial value problem for the Navier-Sto kes equations. Nonlinear Problems. Pro- ceedings of the Symposium, Madison, Wisconsin, 1962. Unive rsity of Wisconsin Press, Madi- son, Wisconsin, 69-98, 1963
work page 1962
- [24]
-
[25]
A.F. V asseur, C. Y u. Existence of global weak solutionsfor 3D degenerate compressible Navier- Stokes equations. Invent. Math., 206 (2016), 935-974
work page 2016
-
[26]
A.I. V ol´ pert, S.I. Hudjaev. The Cauchy problem for composite systems of nonlinear di fferential equations. Mat. Sb., 87 (1972), 504-528
work page 1972
-
[27]
C. Y u. Energy conservation for the weak solutions of the compressible Navier-Stokes equations. Arch. Ration. Mech. Anal., 225 (2017), 1073-1087. 15
work page 2017
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.