On the conservation of helicity by weak solutions of the 3D Euler and inviscid MHD equations

This paper introduces a new weak formulation of the 3D Euler and inviscid MHD equations using Bony paradifferential calculus to establish a rigorous local helicity balance, derive weaker sufficient conditions for helicity conservation, relate defect measures to third-order structure functions, and prove that weak solutions arising from viscous limits preserve the divergence-free property.

The Gist

The Big Picture: Tangled Strings and Invisible Rules

Imagine a giant, invisible bowl of fluid (like water or air) swirling around in a 3D space. In physics, we have equations that describe how this fluid moves. When the fluid is "ideal" (meaning it has no friction or stickiness, like a perfect, frictionless slide), it follows the Euler equations.

One of the most fascinating things about this swirling fluid is a property called helicity.

• The Analogy: Think of the fluid as a collection of tiny, invisible rubber bands or strings (vortex lines). Helicity measures how "knotted" or "linked" these strings are. If you twist two rubber bands together, they have high helicity. If they are just straight and parallel, they have low helicity.
• The Rule: In a perfect, frictionless world, the laws of physics say these knots should never untie or change their shape. The total "knottedness" of the fluid should stay exactly the same forever. This is called helicity conservation.

The Problem: What Happens When Things Get Messy?

In the real world, fluids get messy. They get turbulent, chaotic, and "rough." When we try to describe this chaos mathematically, the smooth, perfect equations break down. We have to use "weak solutions"—mathematical descriptions that allow for jagged, rough, and imperfect fluid motion.

The big question the authors asked is: If the fluid gets really rough and messy (low regularity), does the rule about the knots still hold? Does the helicity stay conserved, or does it leak away?

Previous mathematicians had some rules (criteria) to say "Yes, it's conserved," but those rules were very strict. They required the fluid to be somewhat smooth. The authors wanted to find a rule that works even when the fluid is much rougher.

The New Tool: The "Paraproduct" Translator

To solve this, the authors invented a new way of looking at the math.

• The Analogy: Imagine trying to multiply two numbers, but one of them is a blurry, fuzzy cloud. You can't just multiply them normally. You need a special translator.
• The Method: The authors used a mathematical tool called Bony's paradifferential calculus. Think of this as a high-tech translator that takes the "fuzzy" parts of the fluid's motion and breaks them down into manageable pieces (called paraproducts). This allows them to do the math even when the fluid is very rough.

The Main Discoveries

1. The Local Balance Sheet
Using their new translator, the authors wrote down a "balance sheet" for helicity.

• The Concept: Usually, we just look at the total amount of helicity in the whole bowl. But this paper looks at local helicity (in a tiny spot).
• The Defect Measure: They found that if the fluid is too rough, there is a "leak" or a "defect." Imagine a bucket with a hole in it; the water (helicity) might leak out. The authors defined exactly what this "hole" looks like mathematically.
• The Result: They proved that if the fluid isn't too rough (specifically, if it meets a certain "roughness threshold"), the hole is closed, and the helicity is perfectly conserved. Their new threshold is "looser" than previous ones, meaning they can prove conservation for a wider range of messy fluids than anyone else could before.

2. The Zero-Viscosity Limit
The authors also looked at what happens when you take a real fluid (which has a little bit of friction/viscosity) and slowly remove that friction until it becomes the "ideal" fluid.

• The Result: They showed that if you start with a fluid that is smooth enough, and you slowly remove the friction, the resulting "ideal" fluid will still conserve its helicity. It doesn't suddenly lose its knots just because the friction disappeared.

3. The Magnetic Connection (MHD)
The paper also looked at Magnetohydrodynamics (MHD). This is like the fluid equations, but the fluid is electrically charged (like plasma in the sun) and carries a magnetic field.

• Magnetic Helicity: Just as the fluid has "knotted" strings, the magnetic field has "knotted" magnetic field lines.
• The Discovery: They applied their new translator to this magnetic fluid and found new rules for when these magnetic knots are preserved.
• The "Divergence-Free" Mystery: In physics, magnetic field lines must form closed loops; they can't just start or stop in mid-air (no magnetic monopoles). Mathematically, this is called being "divergence-free."
  • The Problem: When fluids get very rough, mathematically, these loops could theoretically break and stop being closed.
  • The Solution: The authors proved that if you start with a magnetic field that has closed loops, and you let it evolve (even through the messy, rough stages), the loops will stay closed. They showed that the "ideal" magnetic fluid inherits this property from the "real" magnetic fluid as friction disappears.

Summary in a Nutshell

The authors took a very difficult problem—understanding how "knottedness" behaves in extremely messy, rough fluids—and built a new mathematical bridge to cross it.

• They found a new, weaker rule that guarantees the knots (helicity) stay tied up, even in very rough fluids.
• They connected the dots between the messy, real world and the perfect, ideal world, showing that the knots survive the transition.
• They applied this to magnetic fields, proving that magnetic loops stay closed even in the most chaotic, frictionless environments.

Essentially, they proved that even in the most chaotic, rough, and messy fluid scenarios, the fundamental topological rules (the knots and loops) are surprisingly robust and tend to stay conserved, provided the chaos doesn't get too extreme.

Technical Summary

Technical Summary: On the Conservation of Helicity by Weak Solutions of the 3D Euler and Inviscid MHD Equations

Problem Statement
The paper addresses the mathematical challenge of establishing sufficient regularity conditions under which weak solutions to the three-dimensional incompressible Euler equations and the inviscid magnetohydrodynamic (MHD) equations conserve helicity. While classical solutions conserve helicity (a measure of the knottedness of vortex or magnetic field lines), the behavior of weak solutions with low regularity is less understood. A specific difficulty in the MHD context is that for weak solutions, the divergence-free condition of the magnetic field ($\nabla \cdot B = 0$), which is preserved in classical evolution, is not guaranteed to hold over time due to the lack of uniqueness in transport equations with low-regularity vector fields. This paper seeks to define a rigorous framework for weak solutions that allows for the derivation of local helicity balance equations and to identify conditions ensuring the conservation of both fluid and magnetic helicity, including in the zero-viscosity limit.

Methodology
The authors employ a novel weak formulation for the vorticity equation of the Euler equations, termed "functional vorticity solutions." In this framework, the vorticity $\omega$ is allowed to lie in negative Sobolev or Besov spaces (specifically $H^{-1/2+}$ or $B^{-1/2}_{1,2}$), while the velocity field $u$ possesses sufficient regularity ($H^{1/2+}$). The core methodological innovation is the interpretation of the nonlinear advection terms (e.g., $u \cdot \nabla \omega$) as paraproducts using Bony's paradifferential calculus. This allows the authors to rigorously define the product of distributions that would otherwise be ill-defined in standard distributional settings.

Key technical tools include:

1. Paraproduct Decomposition: Used to interpret nonlinear terms for low-regularity solutions.
2. Defect Measures: The derivation of a local helicity balance equation that includes a "defect measure" (or anomaly term) arising from the lack of regularity. This term captures the potential failure of conservation laws.
3. Commutator Estimates: Utilizing estimates from paradifferential calculus to bound the difference between mollified nonlinear terms and the nonlinear terms of mollified fields.
4. Vanishing Viscosity Limits: Analyzing the convergence of Leray-Hopf weak solutions of the viscous Navier-Stokes and resistive MHD equations as viscosity and resistivity tend to zero.
5. Structure Functions: Relating the defect measure to third-order structure functions to establish scaling laws in helical turbulence.

Key Contributions and Results

1. Local Helicity Balance for Euler Equations:
   The authors derive a rigorous equation of local helicity balance for functional vorticity solutions. This equation includes a defect term $D(u, \omega)$, which represents the anomaly in helicity conservation due to low regularity. The paper establishes that if this defect term vanishes, the global helicity is conserved.

2. New Sufficient Criteria for Helicity Conservation:
   A new sufficient condition for the vanishing of the defect measure is provided. This condition is shown to be weaker (i.e., applicable to a broader class of solutions) than many existing criteria in the literature. Specifically, the authors prove that if the velocity field $u$ belongs to $L^3((0, T); B^{2/3+}_{3, \infty}(\mathbb{T}^3))$, helicity is conserved. They also provide criteria based on independent regularity assumptions for velocity and vorticity in Sobolev spaces.

3. Inviscid Limit of Navier-Stokes Equations:
   The paper proves that if a sequence of strong solutions to the Navier-Stokes equations is uniformly bounded in specific Besov and Sobolev spaces, any strong limit of this sequence as viscosity vanishes is a functional vorticity solution of the Euler equations that conserves helicity. The defect measure in the limit is identified as the distributional limit of the viscous dissipation term.

4. Connection to Structure Functions:
   A relationship is established between the defect measure in the local helicity balance and third-order structure functions. This provides a rigorous foundation for scaling laws in helical turbulence, linking the defect measure to the limit of spherical averages of velocity and vorticity increments.

5. Magnetic Helicity in MHD:
   The authors extend their approach to the inviscid MHD equations. They derive new sufficient conditions for the conservation of magnetic helicity, which differ from and improve upon previous results (e.g., those in [44]) by requiring less spatial regularity on the magnetic field. These results are also extended to the kinematic dynamo model.

6. Preservation of the Divergence-Free Condition:
   Addressing a critical gap in the literature, the paper proves that for Leray-Hopf weak solutions of the viscous and resistive MHD equations with general $L^2$ initial data (not necessarily divergence-free), if the initial magnetic field is divergence-free, it remains divergence-free for all time. Furthermore, they show that weak solutions of the ideal MHD equations arising as weak-$*$ limits of such Leray-Hopf solutions also preserve the divergence-free property of the magnetic field. This result serves as a selection criterion for physically relevant weak solutions.

Significance
The paper claims to provide the first rigorous definition of local helicity density and flux at low regularity levels for the Euler equations, grounded in the concept of functional vorticity solutions. By utilizing paradifferential calculus, the authors offer a more general sufficient condition for helicity conservation than previously available in the literature. The work bridges the gap between the analytical study of weak solutions and the physical concepts of helical turbulence and magnetic helicity conservation. Additionally, the resolution of the divergence-free preservation issue in the inviscid limit of MHD equations provides a partial selection criterion for physically relevant weak solutions, ensuring that the absence of magnetic monopoles is maintained in the limit of vanishing viscosity and resistivity.