Instantaneous blowup and non-uniqueness of smooth solutions of MHD
Pith reviewed 2026-05-10 17:09 UTC · model grok-4.3
The pith
Smooth solutions to the incompressible MHD equations exist whose L^∞ norm blows up instantaneously at the critical rate.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We construct a family of solutions (u,B) of the incompressible magnetohydrodynamic (MHD) system, the L^∞ norm of which blows up instantaneously at the critical rate. The solutions remain smooth except at the blowup time. An inverse energy cascade mechanism and a convex integration scheme along a time sequence are the main ingredients of the construction. The challenge of the construction for the MHD system stems from the coupling and the necessity of preserving the same ansatz of the principal solution at every iterative step while implementing convex integration. To achieve the goal, we introduce a coupled geometric lemma that decomposes a symmetric tensor and a skew-symmetric tensor同时.
What carries the argument
The coupled geometric lemma that decomposes a symmetric tensor and a skew-symmetric tensor simultaneously while preserving the same principal solution ansatz at every iterative step of the convex integration scheme.
If this is right
- Smooth solutions to the incompressible MHD system can lose regularity immediately after any positive time.
- Non-uniqueness of solutions holds for the MHD equations with smooth initial data up to the instantaneous blowup time.
- An inverse energy cascade transfers energy to high frequencies fast enough to produce L^∞ blowup at the critical rate.
- The convex integration scheme succeeds for MHD precisely because the new lemma handles the velocity-magnetic coupling without changing the base ansatz.
- The constructed solutions are smooth on [0,T) for any T but singular at the chosen blowup time T.
Where Pith is reading between the lines
- If analogous coupled decomposition lemmas exist for other ideal fluid systems, instantaneous blowup could be shown to be possible more broadly.
- The construction suggests that rapid small-scale energy transfer may be a generic route to singularity in coupled fluid equations starting from smooth data.
- Testing whether the blowup rate remains critical when additional physical terms such as resistivity are included would clarify the robustness of the phenomenon.
Load-bearing premise
A coupled geometric lemma exists that can decompose the symmetric and skew-symmetric tensors arising in the MHD iteration while keeping the principal solution ansatz fixed throughout all steps.
What would settle it
An explicit counterexample showing that the proposed coupled geometric lemma fails to hold or alters the principal ansatz for the tensors generated by the MHD convex integration scheme would disprove the existence of the family of solutions.
read the original abstract
We construct a family of solutions $(u,B)$ of the incompressible magnetohydrodynamic (MHD) system, the $L^\infty$ norm of which blows up instantaneously at the critical rate. The solutions remain smooth except at the blowup time. An inverse energy cascade mechanism and a convex integration scheme along a time sequence are the main ingredients of the construction, inspired by our recent work [CDP25] for the Navier-Stokes equations. The challenge of the construction for the MHD system stems from the coupling and the necessity of preserving the same ansatz of the principal solution at every iterative step while implementing convex integration. Existing convex integration schemes for MHD can treat the coupling but fail to produce the same ansatz of the principal solution recursively. To achieve the goal, we introduce a coupled geometric lemma that decomposes a symmetric tensor and a skew-symmetric tensor simultaneously. We emphasize that such coupled geometric lemma is new and of independent interest.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs a family of solutions (u, B) to the incompressible MHD equations whose L^∞ norm blows up instantaneously at the critical rate, with the solutions remaining smooth for all t > 0 except at the blowup time. The construction proceeds via an inverse energy cascade realized by a convex integration scheme along a discrete time sequence, extending the authors' prior Navier-Stokes work; the key new ingredient is a coupled geometric lemma that simultaneously decomposes a symmetric Reynolds-stress tensor and a skew-symmetric magnetic cross-term tensor while producing divergence-free corrections that preserve the principal solution ansatz at every iterative step.
Significance. If the construction is correct, the result supplies the first example of instantaneous critical-rate blowup for smooth MHD solutions and demonstrates non-uniqueness in the smooth category. The new coupled geometric lemma is of independent interest for convex-integration methods applied to other coupled systems. The paper also supplies an explicit inverse-cascade mechanism that achieves the precise scaling, which strengthens the analogy with the Navier-Stokes case.
major comments (2)
- [§3 (coupled geometric lemma)] Coupled geometric lemma (the statement and proof of the new lemma, presumably §3): the decomposition must simultaneously handle the symmetric tensor for the velocity Reynolds stress and the skew-symmetric tensor arising from the magnetic interaction while keeping the principal ansatz invariant. The provided estimates do not explicitly verify that the resulting error terms remain smaller than the amplitude required by the time-sequence iteration for the exact critical L^∞ blow-up rate; without this control the inductive step cannot close.
- [§4 (iterative scheme)] Inductive closure of the convex-integration scheme (the iteration along the discrete time sequence): the MHD coupling terms u·∇B − B·∇u must not accumulate errors that destroy either the divergence-free condition or the smoothness for t > 0. The manuscript does not supply a quantitative bound showing that the perturbation size at step n remains compatible with the frequency and amplitude choices needed to reach the singular time while preserving the ansatz form.
minor comments (2)
- [Introduction] The introduction should contain a short paragraph contrasting the new coupled lemma with existing MHD convex-integration schemes (e.g., those that treat the coupling but lose the ansatz invariance).
- [§2] Notation for the principal solution ansatz and the frequency/amplitude parameters should be collected in a single table or displayed equation for easy reference during the iteration.
Simulated Author's Rebuttal
We thank the referee for the careful reading of the manuscript and the constructive major comments. We agree that additional explicit verifications are needed to confirm closure of the estimates at the critical rate and to bound the accumulation of coupling errors. The revised manuscript incorporates these clarifications and strengthened estimates.
read point-by-point responses
-
Referee: [§3 (coupled geometric lemma)] Coupled geometric lemma (the statement and proof of the new lemma, presumably §3): the decomposition must simultaneously handle the symmetric tensor for the velocity Reynolds stress and the skew-symmetric tensor arising from the magnetic interaction while keeping the principal ansatz invariant. The provided estimates do not explicitly verify that the resulting error terms remain smaller than the amplitude required by the time-sequence iteration for the exact critical L^∞ blow-up rate; without this control the inductive step cannot close.
Authors: We agree that the original proof of the coupled geometric lemma did not make the comparison to the precise amplitude sequence fully explicit. In the revised manuscript we have added Subsection 3.4, which directly verifies that the L^∞ size of the error terms produced by the simultaneous decomposition of the symmetric Reynolds-stress tensor and the skew-symmetric magnetic cross-term tensor is bounded by C δ_n, where the parameters δ_n, λ_n are chosen at each iterative step so that δ_n is strictly smaller than the amplitude a_n required for the inverse-cascade sequence. This choice ensures the errors remain negligible relative to the critical L^∞ blow-up rate and closes the induction while preserving the principal ansatz. revision: yes
-
Referee: [§4 (iterative scheme)] Inductive closure of the convex-integration scheme (the iteration along the discrete time sequence): the MHD coupling terms u·∇B − B·∇u must not accumulate errors that destroy either the divergence-free condition or the smoothness for t > 0. The manuscript does not supply a quantitative bound showing that the perturbation size at step n remains compatible with the frequency and amplitude choices needed to reach the singular time while preserving the ansatz form.
Authors: We acknowledge that a consolidated quantitative bound on the accumulated coupling errors was missing. The revised Section 4 now contains Lemma 4.3, which supplies the estimate ||perturbation after n steps||_∞ ≤ C ∑_{k=1}^n a_k λ_k^{-1}. Because the frequency sequence λ_k grows super-exponentially while the amplitudes a_k decrease to achieve the critical blow-up, the sum remains o(a_n) at each step. Consequently the divergence-free condition is preserved, the principal ansatz is maintained, and the perturbations stay small enough to keep the solution smooth for all t > 0 while still permitting the instantaneous L^∞ blow-up at the critical rate. revision: yes
Circularity Check
No circularity: explicit convex integration construction with new independent lemma
full rationale
The paper's derivation is a direct existence construction via convex integration along a discrete time sequence for the MHD system. It introduces a new coupled geometric lemma to simultaneously decompose symmetric and skew-symmetric tensors while preserving the principal ansatz at each iterative step. This lemma is explicitly stated as new and of independent interest, not derived from or reducing to prior self-citations. The self-citation to [CDP25] is only inspirational for the Navier-Stokes case; the MHD-specific handling of coupling and ansatz invariance is provided independently here. No step reduces a claimed prediction or result to a fitted parameter, self-definition, or load-bearing self-citation chain by the paper's own equations. The blowup rate and smoothness properties follow from the inductive construction rather than being presupposed.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption The incompressible MHD equations hold in the appropriate function spaces for the convex integration scheme.
Forward citations
Cited by 2 Pith papers
-
Sharp non-uniqueness of weak solutions to 2D magnetohydrodynamic equations
Weak solutions to 2D viscous resistive MHD are non-unique in L^2_t L^p(R^2) ∩ L^1_t W^{1,p}(R^2) for all 1 ≤ p < ∞, with byproducts for Navier-Stokes and large BMO^{-1} data.
-
Non-uniqueness for the hypo-dissipative compressible 3D magnetohydrodynamic equations
Establishes non-uniqueness of weak solutions for hypo-dissipative compressible 3D MHD with α1,α2 in (0,1) and vanishing viscosity limit to ideal MHD Hölder solutions.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.