pith. sign in

arxiv: 1907.10436 · v1 · pith:NMGHLYCAnew · submitted 2019-07-24 · 🧮 math.AP

Weak solutions of ideal MHD which do not conserve magnetic helicity

Rajendra Beekie , Tristan Buckmaster , Vlad Vicol This is my paper

Pith reviewed 2026-05-24 16:46 UTC · model grok-4.3

classification 🧮 math.AP
keywords weak solutionsideal MHDmagnetic helicityconvex integrationTaylor's conjecturefinite energynon-conservation
0
0 comments X

The pith

Finite energy weak solutions to ideal MHD exist with non-constant magnetic helicity

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs weak solutions to the ideal magneto-hydrodynamic equations that have finite total energy but whose magnetic helicity changes over time. This demonstrates that some finite-energy weak solutions cannot arise as limits of the resistive viscous MHD system when viscosity and resistivity vanish, in light of Taylor's conjecture on helicity conservation. The construction relies on adapting convex integration to the MHD equations. A reader would care because it shows that the mathematical theory of ideal MHD weak solutions is strictly larger than the physically motivated class obtained from dissipation limits.

Core claim

We construct weak solutions to the ideal magneto-hydrodynamic (MHD) equations which have finite total energy, and whose magnetic helicity is not a constant function of time. In view of Taylor's conjecture, this proves that there exist finite energy weak solutions to ideal MHD which cannot be attained in the infinite conductivity and zero viscosity limit. Our proof is based on a Nash-type convex integration scheme with intermittent building blocks adapted to the geometry of the MHD system.

What carries the argument

Nash-type convex integration scheme with intermittent building blocks adapted to the geometry of the MHD system

If this is right

  • Weak solutions with finite energy can have time-dependent magnetic helicity.
  • Not every finite-energy weak solution arises from the vanishing-viscosity and vanishing-resistivity limit.
  • The ideal MHD equations admit weak solutions outside the class compatible with Taylor's conjecture.
  • Convex integration methods can be tuned to violate specific integral invariants in the MHD system.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Selection principles beyond finite energy may be required to identify physically attainable weak solutions.
  • Analogous constructions could produce non-conservation of other quantities in related ideal systems such as incompressible Euler.
  • The result motivates checking whether the same technique can produce solutions that violate additional conservation laws.

Load-bearing premise

A Nash-type convex integration scheme with intermittent building blocks can be adapted to the geometry of the MHD system to yield solutions with non-constant magnetic helicity.

What would settle it

A demonstration that magnetic helicity must remain constant for every finite-energy weak solution to the ideal MHD equations would contradict the existence result.

read the original abstract

We construct weak solutions to the ideal magneto-hydrodynamic (MHD) equations which have finite total energy, and whose magnetic helicity is not a constant function of time. In view of Taylor's conjecture, this proves that there exist finite energy weak solutions to ideal MHD which cannot be attained in the infinite conductivity and zero viscosity limit. Our proof is based on a Nash-type convex integration scheme with intermittent building blocks adapted to the geometry of the MHD system.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper constructs weak solutions to the ideal MHD equations that have finite total energy but for which magnetic helicity is not a constant function of time. The construction proceeds via a Nash-type convex integration scheme that employs intermittent building blocks adapted to the geometry of the MHD system, yielding a counterexample to helicity conservation in the weak sense and showing that certain finite-energy weak solutions cannot arise as limits of viscous/resistive approximations (in view of Taylor's conjecture).

Significance. If the adaptation of the intermittent convex integration scheme succeeds, the result is significant: it extends the convex-integration program from the Euler equations to the coupled MHD system and supplies a concrete obstruction to helicity conservation for weak solutions. The finite-energy bound is preserved throughout the iteration, which is a non-trivial feature given the stricter divergence and cross-term constraints of MHD.

major comments (2)
  1. [§4] §4 (Main iteration scheme): the intermittent building blocks must simultaneously satisfy div u = 0, div B = 0, cancel the quadratic stresses (u⊗u−B⊗B and u⊗B−B⊗u) while producing a net increment in ∫A·B dx at each step. The manuscript does not supply an explicit verification that a single choice of intermittent ansatz can achieve all three requirements without violating the energy bound; this verification is load-bearing for the central existence claim.
  2. [§3.3] §3.3 (Helicity evolution estimate): the claimed net change in magnetic helicity across iterations relies on the intermittent support structure producing a non-zero contribution from the transport term. No quantitative lower bound is given showing that this contribution survives after the Reynolds and magnetic stresses are controlled, which is required to ensure the helicity is genuinely non-constant rather than merely formally non-conserved.
minor comments (2)
  1. [§2] Notation for the vector potential A is introduced without an explicit gauge choice; a brief remark on the Coulomb gauge or equivalent would clarify the helicity integral.
  2. Figure 1 (schematic of intermittent supports) would benefit from an additional panel showing the support overlap between velocity and magnetic blocks.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and insightful comments on our construction of finite-energy weak solutions to ideal MHD with non-conserved magnetic helicity. We address each major comment below and will revise the manuscript to incorporate the requested clarifications.

read point-by-point responses

  1. Referee: [§4] §4 (Main iteration scheme): the intermittent building blocks must simultaneously satisfy div u = 0, div B = 0, cancel the quadratic stresses (u⊗u−B⊗B and u⊗B−B⊗u) while producing a net increment in ∫A·B dx at each step. The manuscript does not supply an explicit verification that a single choice of intermittent ansatz can achieve all three requirements without violating the energy bound; this verification is load-bearing for the central existence claim.

    Authors: We agree that an explicit, self-contained verification of the ansatz properties is essential for the readability and rigor of the argument. In the revised version we will add a dedicated subsection (new §4.2) that carries out the verification in full detail: we exhibit the precise form of the intermittent correctors, compute their divergences (which vanish by construction), verify cancellation of the Reynolds and magnetic stresses up to a small error controlled by the iteration parameters, and show that the helicity increment is strictly positive while the total energy remains bounded by the prescribed constant. All estimates will be written with explicit constants to confirm that the energy bound is preserved throughout the iteration. revision: yes

  2. Referee: [§3.3] §3.3 (Helicity evolution estimate): the claimed net change in magnetic helicity across iterations relies on the intermittent support structure producing a non-zero contribution from the transport term. No quantitative lower bound is given showing that this contribution survives after the Reynolds and magnetic stresses are controlled, which is required to ensure the helicity is genuinely non-constant rather than merely formally non-conserved.

    Authors: We acknowledge that a quantitative lower bound is needed to make the non-conservation rigorous. In the revision we will insert a new lemma in §3.3 that provides an explicit lower bound on the helicity increment. The argument proceeds by isolating the transport term on the intermittent support, using the smallness of the Reynolds and magnetic stresses (already controlled by the iteration) to show that their contribution is absorbed into a higher-order error, and then verifying that the leading transport contribution remains bounded below by a positive multiple of the iteration parameter. This will establish that the total change in helicity over the iteration is strictly positive and independent of the mollification scale. revision: yes

Circularity Check

0 steps flagged

No significant circularity: existence via explicit iterative convex integration construction

full rationale

The paper's central result is an existence theorem obtained by a Nash-type convex integration scheme that iteratively builds weak solutions satisfying the ideal MHD equations, finite energy, and non-constant magnetic helicity. This is a direct constructive proof whose steps (choice of intermittent building blocks, control of Reynolds/magnetic stresses, and helicity evolution) are defined and verified within the construction itself rather than presupposing the target property. No quoted step reduces by definition or by self-citation chain to the claimed output; the adaptation to MHD geometry supplies the independent technical content. The result is therefore self-contained as a mathematical existence argument.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction relies on standard functional-analytic background for weak solutions and on the existence of suitable intermittent building blocks adapted to MHD; no free parameters or new physical entities are introduced.

axioms (2)
  • standard math Standard existence and approximation properties of weak solutions to systems of PDEs in appropriate function spaces
    Invoked implicitly to support the convex integration iteration.
  • domain assumption Existence of intermittent building blocks whose geometry is compatible with the MHD coupling
    Stated in the abstract as the key adaptation step.

pith-pipeline@v0.9.0 · 5593 in / 1127 out tokens · 23522 ms · 2026-05-24T16:46:34.706247+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

60 extracted references · 60 canonical work pages · 9 internal anchors

  1. [1]

    H. Aluie. Hydrodynamic and magnetohydrodynamic turbulence: Invari ants, cascades, and locality . PhD thesis, Johns Hopkins University, 2009

    work page 2009

  2. [2]

    Aluie and G.L

    H. Aluie and G.L. Eyink. Scale locality of magnetohydrod ynamic turbulence. Physical review letters , 104(8):081101, 2010

    work page 2010

  3. [3]

    M.A. Berger. Introduction to magnetic helicity. Plasma Physics and Controlled Fusion , 41(12B):B167, 1999

    work page 1999

  4. [4]

    D. Biskamp. Nonlinear magnetohydrodynamics, volume 1. Cambridge University Press, 1997

    work page 1997

  5. [5]

    Bronzi, M.C

    A.C. Bronzi, M.C. Lopes Filho, and H.J. Nussenzveig Lope s. Wild solutions for 2d incompressible ideal flow with passive tracer. Comm. Math. Sci. , 13(5):1333–1343, 2015

    work page 2015

  6. [6]

    Buckmaster

    T. Buckmaster. Onsager’s conjecture almost everywhere in time. Comm. Math. Phys., 333(3):1175–1198, 2015

    work page 2015

  7. [7]

    Buckmaster, M

    T. Buckmaster, M. Colombo, and V . Vicol. Wild solutions o f the Navier-Stokes equations whose singular sets in time have hausdorff dimension strictly less than 1. arXiv:1809.00600, 2018

    work page arXiv 2018

  8. [8]

    Buckmaster, C

    T. Buckmaster, C. De Lellis, P . Isett, and L. Sz´ ekelyhidi, Jr. Anomalous dissipation for 1/ 5-H¨ older Euler flows. Annals of Mathematics , 182(1):127–172, 2015

    work page 2015

  9. [9]

    Buckmaster, C

    T. Buckmaster, C. De Lellis, and L. Sz´ ekelyhidi, Jr. Dis sipative Euler flows with Onsager-critical spatial regu- larity. Comm. Pure Appl. Math. , 69(9):1613–1670, 2016

    work page 2016

  10. [10]

    Buckmaster, C

    T. Buckmaster, C. De Lellis, L. Sz´ ekelyhidi Jr, and V . Vicol. Onsager’s conjecture for admissible weak solutions. Comm. Pure Appl. Math. , 72(2):227–448, 2019. 29

    work page 2019

  11. [11]

    Nonuniqueness of weak solutions to the SQG equation

    T. Buckmaster, S. Shkoller, and V . Vicol. Nonuniquenes s of weak solutions to the SQG equation. Comm. Pure Appl. Math., Accepted. arXiv:1610.00676 , 2016

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  12. [12]

    Convex integration and phenomenologies in turbulence

    T. Buckmaster and V . Vicol. Convex integration and phen omenologies in turbulence. arXiv:1901.09023, 2019

    work page internal anchor Pith review Pith/arXiv arXiv 1901

  13. [13]

    Buckmaster and V

    T. Buckmaster and V . Vicol. Nonuniqueness of weak solut ions to the Navier-Stokes equation. Ann. of Math. , 189(1):101–144, 2019

    work page 2019

  14. [14]

    Caflisch, I

    R.E. Caflisch, I. Klapper, and G. Steele. Remarks on sing ularities, dimension and energy dissipation for ideal hydrodynamics and MHD. Comm. Math. Phys. , 184(2):443–455, 1997

    work page 1997

  15. [15]

    Cheskidov, P

    A. Cheskidov, P . Constantin, S. Friedlander, and R. Shv ydkoy. Energy conservation and Onsager’s conjecture for the Euler equations. Nonlinearity, 21(6):1233–1252, 2008

    work page 2008

  16. [16]

    Cheskidov, M

    A. Cheskidov, M. C. Lopes Filho, H. J. Nussenzveig Lopes , and R. Shvydkoy. Energy conservation in two- dimensional incompressible ideal fluids. Comm. Math. Phys. , 348(1):129–143, 2016

    work page 2016

  17. [17]

    Cheskidov and X

    A. Cheskidov and X. Luo. Stationary and discontinuous w eak solutions of the Navier-Stokes equations. arXiv:1901.07485, 2019

    work page arXiv 1901

  18. [18]

    Ill-posedness of Leray solutions for the ipodissipative Navier-Stokes equations

    M. Colombo, C. De Lellis, and L. De Rosa. Ill-posedness o f Leray solutions for the ipodissipative Navier-Stokes equations. arXiv:1708.05666, 2017

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  19. [19]

    Constantin, W

    P . Constantin, W . E, and E.S. Titi. Onsager’s conjectur e on the energy conservation for solutions of Euler’s equation. Comm. Math. Phys. , 165(1):207–209, 1994

    work page 1994

  20. [20]

    Constantin, M

    P . Constantin, M. Ignatova, and H.Q. Nguyen. Inviscid l imit for SQG in bounded domains. SIAM J. Math. Anal., 50(6):6196–6207, 2018

    work page 2018

  21. [21]

    Remarks on a paper by Gavrilov: Grad-Shafranov equations, steady solutions of the three dimensional incompressible Euler equations with compactly supported velocities, and applications

    P . Constantin, J. La, and V . Vicol. Remarks on a paper by G avrilov: Grad-shafranov equations, steady solutions of the three dimensional incompressible Euler equations wi th compactly supported velocities, and applications. arXiv:1903.11699 [math.AP], 2019

    work page internal anchor Pith review Pith/arXiv arXiv 1903

  22. [22]

    Constantin, E

    P . Constantin, E. Weinan, and E.S. Titi. Onsager’s conj ecture on the energy conservation for solutions of euler’s equation. Communications in Mathematical Physics , 165(1):207–209, 1994

    work page 1994

  23. [23]

    M. Dai. Non-uniqueness of Leray-Hopf weak solutions of the 3d Hall-MHD system. arXiv:1812.11311, 2018

    work page arXiv 2018

  24. [24]

    Dallas and A

    V . Dallas and A. Alexakis. The signature of initial cond itions on magnetohydrodynamic turbulence. The Astro- physical Journal Letters, 788(2):L36, 2014

    work page 2014

  25. [25]

    Daneri and L

    S. Daneri and L. Sz´ ekelyhidi Jr. Non-uniqueness and h- principle for H¨ older-continuous weak solutions of the Euler equations. Arch. Ration. Mech. Anal., 224(2):471–514, 2017

    work page 2017

  26. [26]

    Davidson

    P .A. Davidson. An introduction to magnetohydrodynamics . Cambridge Texts in Applied Mathematics. Cam- bridge University Press, Cambridge, 2001

    work page 2001

  27. [27]

    De Lellis and L

    C. De Lellis and L. Sz´ ekelyhidi, Jr. The Euler equation s as a differential inclusion. Ann. of Math. (2) , 170(3):1417–1436, 2009

    work page 2009

  28. [28]

    De Lellis and L

    C. De Lellis and L. Sz´ ekelyhidi, Jr. Dissipative conti nuous Euler flows. Invent. Math., 193(2):377–407, 2013

    work page 2013

  29. [29]

    De Lellis and L

    C. De Lellis and L. Sz´ ekelyhidi, Jr. Dissipative Euler flows and Onsager’s conjecture. Journal of the European Mathematical Society, 16(7):1467–1505, 2014

    work page 2014

  30. [30]

    De Lellis and L

    C. De Lellis and L. Sz´ ekelyhidi Jr. High dimensionalit y and h-principle in PDE. Bull. Amer . Math. Soc. , 54(2):247–282, 2017

    work page 2017

  31. [31]

    On turbulence and geometry: from Nash to Onsager

    C. De Lellis and L. Sz´ ekelyhidi Jr. On turbulence and ge ometry: from Nash to Onsager. arXiv:1901.02318, 01 2019

    work page internal anchor Pith review Pith/arXiv arXiv 1901

  32. [32]

    D.F. Escande. What is a reversed field pinch? Rotation and momentum transport in magnetized plasmas , pages 247–86, 2015

    work page 2015

  33. [33]

    G.L. Eyink. Energy dissipation without viscosity in id eal hydrodynamics I. Fourier analysis and local energy transfer. Physica D: Nonlinear Phenomena , 78(3–4):222–240, 94. 30

    work page

  34. [34]

    Magnetic helicity and subsolutions in ideal MHD

    D. Faraco and S. Lindberg. Magnetic helicity and subsol utions in ideal mhd. arXiv:1801.04896, 2018

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  35. [35]

    Proof of Taylor's conjecture on magnetic helicity conservation

    D. Faraco and S. Lindberg. Proof of Taylor’s conjecture on magnetic helicity conservation. arXiv:1806.09526, 2018

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  36. [36]

    Gavrilov

    A.V . Gavrilov. A steady Euler flow with compact support. Geom. Funct. Anal. , 29(1):190–197, 2019

    work page 2019

  37. [37]

    P . Isett. On the endpoint regularity in Onsager’s conje cture. arXiv:1706.01549, 2017

    work page arXiv 2017

  38. [38]

    P . Isett. A proof of Onsager’s conjecture. Ann. of Math. , 188(3):871–963, 2018

    work page 2018

  39. [39]

    Isett and S.-J

    P . Isett and S.-J. Oh. On nonperiodic Euler flows with H¨ older regularity. Arch. Ration. Mech. Anal., 221(2):725– 804, 2016

    work page 2016

  40. [40]

    Isett and V

    P . Isett and V . Vicol. H¨ older continuous solutions of active scalar equations. Annals of PDE , 1(1):1–77, 2015

    work page 2015

  41. [41]

    Kang and J

    E. Kang and J. Lee. Remarks on the magnetic helicity and e nergy conservation for ideal magneto-hydrodynamics. Nonlinearity, 20(11):2681–2689, 2007

    work page 2007

  42. [42]

    A basis of Casimirs in 3D magnetohydrodynamics

    B. Khesin, D. Peralta-Salas, and C. Y ang. A basis of casi mirs in 3d magnetohydrodynamics. arXiv:1901.04404, 2019

    work page internal anchor Pith review Pith/arXiv arXiv 1901

  43. [43]

    Klainerman

    S. Klainerman. On Nash’s unique contribution to analys is in just three of his papers. Bulletin of the American Mathematical Society, 54(2):283–305, 2017

    work page 2017

  44. [44]

    Luo and E.S

    T. Luo and E.S. Titi. Non-uniqueness of weak solutions t o hyperviscous Navier-Stokes equations - on sharpness of J.-L. Lions exponent. arXiv:1808.07595, 2018

    work page arXiv 2018

  45. [45]

    X. Luo. Stationary solutions and nonuniqueness of weak solutions for the Navier-Stokes equations in high dimensions. arXiv:1807.09318, 2018

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  46. [46]

    Mininni and A

    P .D. Mininni and A. Pouquet. Finite dissipation and int ermittency in magnetohydrodynamics. Physical Review E, 80(2):025401, 2009

    work page 2009

  47. [47]

    H.K. Moffatt. The degree of knottedness of tangled vort ex lines. J. Fluid Mech., 35(1):117–129, 1969

    work page 1969

  48. [48]

    H.K. Moffatt. Magnetic relaxation and the Taylor conje cture. Journal of Plasma Physics , 81(6), 2015

    work page 2015

  49. [49]

    J. Nash. C1 isometric imbeddings. Ann. of Math. , pages 383–396, 1954

    work page 1954

  50. [50]

    M. Novack. Non-uniqueness of weak solutions to the 3D Qu asi-Geostrophic equations. arXiv:1812.08734, 2018

    work page arXiv 2018

  51. [51]

    L. Onsager. Statistical hydrodynamics. Nuovo Cimento (9) , 6(Supplemento, 2(Convegno Internazionale di Meccanica Statistica)):279–287, 1949

    work page 1949

  52. [52]

    Scheffer

    V . Scheffer. An inviscid flow with compact support in spa ce-time. J. Geom. Anal., 3(4):343–401, 1993

    work page 1993

  53. [53]

    Sermange and R

    M. Sermange and R. Temam. Some mathematical questions r elated to the MHD equations. Comm. Pure Appl. Math., 36(5):635–664, 1983

    work page 1983

  54. [54]

    Shnirelman

    A.I. Shnirelman. On the nonuniqueness of weak solution of the Euler equation. Comm. Pure Appl. Math. , 50(12):1261–1286, 1997

    work page 1997

  55. [55]

    L. Tartar. The compensated compactness method applied to systems of conservation laws. In Systems of non- linear partial differential equations (Oxford, 1982) , volume 111 of NATO Adv. Sci. Inst. Ser . C Math. Phys. Sci., page 263–285. Reidel, Dordrecht, 1983

    work page 1982

  56. [56]

    J.B. Taylor. Relaxation of toroidal plasma and generat ion of reverse magnetic fields. Physical Review Letters , 33(19):1139, 1974

    work page 1974

  57. [57]

    J.B. Taylor. Relaxation and magnetic reconnection in p lasmas. Reviews of Modern Physics , 58(3):741, 1986

    work page 1986

  58. [58]

    Vishik and F.V

    S.M. Vishik and F.V . Dolzhanskii. Analogs of the euler– lagrange equations and magnetohydrodynamics equa- tions related to lie groups. In Sov. Math. Doklady, volume 19, pages 149–153, 1978

    work page 1978

  59. [59]

    L. Woltjer. On hydromagnetic equilibrium. Proc. Nat. Acad. Sci. U.S.A. , 44(9):833, 1958

    work page 1958

  60. [60]

    L. Woltjer. A theorem on force-free magnetic fields. Proc. Nat. Acad. Sci. U.S.A. , 44(6):489, 1958. 31

    work page 1958