05.14.04 · symplectic / topological-hydrodynamics

Ideal magnetohydrodynamics: frozen flux and magnetic helicity

shipped3 tiersLean: none

Anchor (Master): Alfvén 1942 *Existence of electromagnetic-hydrodynamic waves* (Nature 150, originator of the frozen-flux theorem); Woltjer 1958 *A theorem on force-free magnetic fields* (Proc. Natl. Acad. Sci. 44, originator of the minimum-energy / helicity-invariant theorem); Taylor 1974 *Relaxation of toroidal plasma and generation of reverse magnetic fields* (Phys. Rev. Lett. 33, originator of the relaxed-state / Taylor-state hypothesis); Moffatt 1969 *The degree of knottedness of tangled vortex lines* (J. Fluid Mech. 35, helicity-as-linking); Arnold-Khesin *Topological Methods in Hydrodynamics* Springer Applied Math. Sci. 125, 2nd ed. 2021, Ch. II §1-§5 and Ch. III §1-§4 (semidirect-product MHD, magnetic-helicity Casimir)

Intuition Beginner

Imagine a fluid that conducts electricity perfectly — a hot plasma, like the gas in the Sun's atmosphere — threaded by magnetic field lines, as if fine elastic threads ran through the fluid. The central fact of ideal magnetohydrodynamics is that those threads are glued into the fluid. Wherever a parcel of fluid goes, the magnetic field line through it goes too, stretched and bent and carried along like a strand of dye in stirred water. The field is "frozen in." This is Alfvén's theorem, stated by Hannes Alfvén in 1942, and it is the magnetic twin of an older fact about whirlpools: vortex lines in an ideal fluid are also carried along by the flow.

Because the field lines move with the fluid and never cut through it, their tangling cannot change. If two flux tubes start out linked like two rings of a chain, they stay linked forever, no matter how violently the plasma churns. The amount of this tangling is captured by a single number, the magnetic helicity, which measures how much the field lines wind around one another on average. Since the linking cannot change, the helicity is a conserved quantity — a permanent fingerprint of the field's topology.

This conservation has a striking physical consequence. The energy stored in a magnetic field can leak away through tiny imperfections in the conductivity, but the helicity leaks away far more slowly. So a turbulent plasma sheds energy while keeping its tangling almost fixed, settling into the lowest-energy field shape allowed by its frozen-in knottedness. That relaxed shape — found by Woltjer in 1958 and built into fusion-reactor physics by Taylor in 1974 — is a smooth, gently twisting field. And because knotted field lines can never fully unwind, the helicity sets a floor: a tangled magnetic field can never relax all the way down to zero energy.

Visual Beginner

Picture two rubber bands lying in a tank of clear gel, linked through each other like two rings of a chain. Now stir the gel. The rubber bands twist, stretch, and fold into complicated shapes, but they pass through the gel without ever cutting it, so they stay linked. No amount of stirring can separate them. Each rubber band stands for a tube of magnetic flux; the gel is the perfectly conducting fluid; and the unbreakable linkage is the frozen-flux theorem in action.

The single number that records "how linked" the tubes are is the magnetic helicity. For two thin tubes carrying fluxes of strength $Φ_{1}$ and $Φ_{2}$ , linked $n$ times, the helicity is $2 n Φ_{1} Φ_{2}$ — proportional to the linking count. Because stirring cannot change the linking, it cannot change the helicity. The picture also explains the energy floor: to hold two linked tubes you need a minimum length of field line, and field-line length stores magnetic energy. The tighter the knot, the larger the floor, so a heavily tangled field is forced to keep a reservoir of energy it can never release.

Worked example Beginner

Take the simplest tangled magnetic field: two thin circular flux tubes in space, each carrying a magnetic flux, arranged so that one passes once through the loop of the other — a single linkage, like two links of a chain.

Step 1. Name the pieces. Tube one carries flux $Φ_{1}$ (the total magnetic field crossing its cross-section); tube two carries flux $Φ_{2}$ . They are linked exactly once, so the linking count is $1$ .

Step 2. Read off the helicity. For two thin linked flux tubes the magnetic helicity equals $2 (linking count) Φ_{1} Φ_{2}$ . With linking count $1$ this is $H_{B} = 2 Φ_{1} Φ_{2}$ . The factor of two appears because each tube "sees" the other once, and the helicity counts both viewpoints.

Step 3. Stir the fluid. Carry both tubes along an arbitrary flow of the perfectly conducting fluid. The tubes deform into wild shapes, but a frozen-in field line never crosses another, so the linking count stays $1$ and the fluxes $Φ_{1}, Φ_{2}$ stay fixed (flux is also frozen in). Therefore $H_{B} = 2 Φ_{1} Φ_{2}$ at every later time.

What this tells us: a quantity built from the shape of the field — its linkage — survives every motion of the fluid, even though the field's detailed geometry changes completely. If instead the tubes were unlinked (linking count $0$ ), the helicity would be $0$ , and the field could in principle relax all the way to zero. The nonzero helicity of the linked configuration is exactly what forbids that.

Check your understanding Beginner

Exercise (easy, multiple choice).

In ideal magnetohydrodynamics (a perfectly conducting fluid), Alfvén's frozen-flux theorem says that

A. the magnetic field becomes uniform everywhere as the fluid is stirred
B. magnetic field lines are carried along by the fluid as material lines, so the flux through any surface moving with the fluid stays constant
C. the magnetic field decays to zero exponentially in time
D. the fluid stops moving once a magnetic field is present

Hint

"Frozen in" means the field lines move with the fluid, the same way vortex lines do in an ideal fluid (the Kelvin-Helmholtz picture from continuum mechanics).

Answer

B. Alfvén 1942 Nature 150 showed that in a perfectly conducting fluid the magnetic field is frozen into the flow: each field line is carried as a material line, and the magnetic flux through any surface advected by the fluid is conserved. Feedback-correct: this is the magnetic analogue of Kelvin's circulation theorem and Helmholtz's vorticity-transport result for an ideal fluid. Feedback-wrong: the field is generally not driven toward uniformity (stirring usually makes it more tangled, not less); it does not decay, because in the ideal limit there is no resistivity to dissipate it; and the magnetic field exerts forces on the fluid but does not freeze the fluid in place.

Exercise (easy, true-false).

True or false: because the linking of magnetic field lines cannot change under ideal evolution, a tangled magnetic field cannot relax all the way to zero energy.

Hint

Magnetic helicity measures the linking and is conserved; it also sets a lower bound on the magnetic energy.

Answer

True. The magnetic helicity, which measures the average linking of field lines, is conserved under ideal evolution and decays only slowly when a small resistivity is present. A nonzero helicity places a floor under the magnetic energy: there is a smallest energy a field of given helicity can have, attained by the smooth twisting "force-free" relaxed state of Woltjer 1958 and Taylor 1974. A field with nonzero helicity therefore cannot reach zero energy, because reaching zero energy would mean the field vanished, and a vanishing field has zero helicity, contradicting the conservation. Only an unlinked, zero-helicity field is free in principle to relax all the way down.

Formal definition Intermediate+

Notation. Let $(M, g)$ be a closed oriented Riemannian 3-manifold with volume form $μ = vol_{g}$ , or a bounded domain in $R^{3}$ with boundary $\partial M$ . Write $u \in X_{vol} (M)$ for a divergence-free velocity field and $B \in X_{vol} (M)$ for a divergence-free magnetic field, $div B = 0$ . Vector fields and 2-forms are interchanged by the volume form via $β_{B} := ι_{B} μ$ (a closed 2-form, since $d β_{B} = (div B) μ = 0$ ), and 1-forms by the metric via $B^{♭} = g (B, \cdot)$ . The curl is $curl B = (⋆ d B^{♭})^{♯}$ , and $A$ denotes a vector potential, $B = curl A$ , i.e. $β_{B} = d α$ with $α = A^{♭}$ .

Definition (ideal MHD). The equations of ideal (infinite-conductivity, incompressible) magnetohydrodynamics on $M$ are $$ \partial_t u + (u \cdot \nabla) u = -\nabla p + (\operatorname{curl} B) \times B, \qquad \partial_t B = \operatorname{curl}(u \times B), $$ with $div u = div B = 0$ . The first is the Euler equation with the Lorentz force $(curl B) \times B = (B \cdot \nabla) B - \nabla (\frac{1}{2} ∣ B ∣^{2})$ ; the second is the induction equation in the ideal limit. The induction equation is the curl of Ohm's law $E + u \times B = 0$ together with Faraday's law $\partial_{t} B = - curl E$ , the same Faraday 2-form relation used in 10.04.01.

Definition (frozen-in field). Using the identity $curl (u \times B) = - L_{u} B$ for divergence-free $u, B$ (where $L_{u} B = [u, B]$ ), the induction equation reads $\partial_{t} B + L_{u} B = 0$ , equivalently $(\partial_{t} + L_{u}) β_{B} = 0$ on the 2-form. A field obeying this is frozen into the flow: if $ϕ_{t}$ is the flow of $u$ , then $β_{B (t)} = (ϕ_{t})_{*} β_{B (0)}$ , the pushforward of the initial flux 2-form.

Definition (magnetic helicity). For $B = curl A$ tangent to $\partial M$ (or $M$ closed), the magnetic helicity is $$ \mathcal{H}_B := \int_M A \cdot B ; d^3x = \int_M \alpha \wedge d\alpha = \int_M \alpha \wedge \beta_B. $$ It is independent of the gauge choice $A \mapsto A + \nabla χ$ when $B$ is tangent to the boundary, and is the magnetic analogue of fluid helicity $\int u \cdot curl u d^{3} x$ .

Definition (cross-helicity). The cross-helicity is $H_{C} := \int_{M} u \cdot B d^{3} x$ . It is conserved by ideal MHD when the fluid is barotropic and measures the linkage of velocity and magnetic field lines.

Definition (linear force-free / Beltrami field). A field with $curl B = λ B$ for a constant $λ$ is linear force-free (a constant-eigenvalue Beltrami field, cross-linked to the Beltrami/ABC fields of 05.14.07); the Lorentz force $(curl B) \times B = λ B \times B = 0$ vanishes, so such a field is a static MHD equilibrium.

Counterexamples to common slips

Frozen flux is not field-line conservation of strength. The field magnitude $∣ B ∣$ is not conserved along a fluid trajectory — stretching a flux tube increases $∣ B ∣$ by flux conservation (the tube thins, so the field concentrates). What is conserved is the flux through a comoving surface, not the pointwise field strength.
Magnetic helicity is gauge-invariant only under the boundary condition. If $B$ has a normal component on $\partial M$ , the integral $\int A \cdot B$ depends on the gauge of $A$ , and one must use the Berger-Field 1984 relative helicity, subtracting a reference-field contribution. On a closed manifold or with $B$ tangent to $\partial M$ the plain integral is gauge-invariant.
Helicity is conserved, magnetic energy is not. Ideal MHD conserves total energy (kinetic plus magnetic), but with even a tiny resistivity the magnetic energy decays. Helicity also decays under resistivity, but on a much longer timescale — this separation of timescales is the content of Taylor's relaxation hypothesis, not an exact ideal-MHD statement.
Force-free does not mean field-free. A linear force-free field $curl B = λ B$ has $λ \neq = 0$ in general and carries both energy and helicity; "force-free" refers to the vanishing Lorentz force on the fluid, not to the field vanishing.
Cross-helicity needs the barotropic assumption. Unlike magnetic helicity, which is conserved for any incompressible ideal flow, cross-helicity conservation requires that the pressure derive from a single-valued potential (barotropic closure); otherwise baroclinic torques break it.

Key theorem with proof Intermediate+

Theorem (Alfvén frozen flux and magnetic-helicity conservation). Let $u, B$ solve ideal incompressible MHD on a closed oriented Riemannian 3-manifold $M$ (or a domain with $B$ tangent to $\partial M$ ), with $ϕ_{t}$ the flow of $u$ . Then:

(i) (Frozen flux.) For any smooth surface $Σ_{0} \subset M$ and its comoving image $Σ_{t} = ϕ_{t} (Σ_{0})$ , the magnetic flux is constant: $\int_{Σ_{t}} B \cdot d S = \int_{Σ_{0}} B \cdot d S$ .

(ii) (Topology frozen.) Consequently the linking and knotting type of magnetic field lines is invariant under the flow.

(iii) (Helicity conserved.) The magnetic helicity $H_{B} = \int_{M} α \land d α$ is constant in time.

Proof. Write the magnetic field as the closed 2-form $β_{B} = ι_{B} μ$ ; the induction equation is $(\partial_{t} + L_{u}) β_{B} = 0$ .

(i) Flux through the comoving surface is $\int_{Σ_{t}} β_{B (t)} = \int_{ϕ_{t} (Σ_{0})} β_{B (t)} = \int_{Σ_{0}} ϕ_{t}^{*} β_{B (t)}$ . Differentiate in $t$ under the pullback, using $\frac{d}{d t} ϕ_{t}^{*} ω = ϕ_{t}^{*} (\partial_{t} ω + L_{u} ω)$ for a time-dependent form $ω$ : $$ \frac{d}{dt}\int_{\Sigma_0}\phi_t^\beta_{B(t)} = \int_{\Sigma_0}\phi_t^\bigl(\partial_t\beta_{B(t)} + \mathcal{L}u\beta{B(t)}\bigr) = \int_{\Sigma_0}\phi_t^*(0) = 0. $$ So the flux is constant, establishing (i). In vector form this is $\frac{d}{d t} \int_{Σ_{t}} B \cdot d S = 0$ , Alfvén's theorem.

(ii) Because $β_{B (t)} = (ϕ_{t})_{*} β_{B (0)}$ , the magnetic field lines (integral curves of $B$ , equivalently the kernel foliation of $β_{B}$ where it has rank two) are carried diffeomorphically by $ϕ_{t}$ . A diffeomorphism preserves linking numbers and knot types of closed curves, so the topological type of the field-line configuration is invariant.

(iii) Compute $\frac{d}{d t} H_{B}$ . Choose the gauge so the potential is transported, $(\partial_{t} + L_{u}) α = - d ψ$ for some function $ψ$ (such $ψ$ exists because $d [(\partial_{t} + L_{u}) α] = (\partial_{t} + L_{u}) β_{B} = 0$ , so the transported $α$ stays a potential up to an exact form). Then, with $β_{B} = d α$ , $$ \frac{d}{dt}\int_M \alpha\wedge d\alpha = \int_M (\partial_t+\mathcal{L}_u)(\alpha\wedge d\alpha) = \int_M \bigl[(\partial_t+\mathcal{L}_u)\alpha\bigr]\wedge d\alpha + \alpha\wedge d\bigl[(\partial_t+\mathcal{L}_u)\alpha\bigr]. $$ The Lie-derivative term $\int_{M} L_{u} (α \land d α) = \int_{M} d ι_{u} (α \land d α) = 0$ by Stokes on the closed manifold (Cartan's formula, since $α \land d α$ is a top form so $d (α \land d α) = 0$ ). The remaining piece is $\int_{M} (- d ψ) \land d α + α \land d (- d ψ) = - \int_{M} d ψ \land d α = - \int_{M} d (ψ d α) = 0$ , again by Stokes. Hence $\frac{d}{d t} H_{B} = 0$ . $□$

Bridge. This proof is the magnetic mirror of the vorticity story in 09.07.01: there Kelvin's circulation $\oint u \cdot d ℓ$ is frozen and Helmholtz's vortex lines move with the fluid; here the magnetic flux is frozen and field lines move with the fluid, and this is exactly the same pullback-transport calculation $(\partial_{t} + L_{u}) β = 0$ applied to a different 2-form. The result builds toward the Casimir interpretation: magnetic helicity is a Casimir of the semidirect-product Lie-Poisson structure on $X_{vol} (M) ⋉ Ω^{2} (M)$ , the foundational reason it is conserved is that Casimirs are constant on the coadjoint orbits through which the MHD flow moves, exactly as fluid helicity is a Casimir of $X_{vol} (M)^{*}$ alone. The helicity-as-linking identity, that $H_{B}$ equals the average asymptotic linking of field lines, generalises the two-tube linking formula of the worked example to arbitrary fields and is the Arnold asymptotic Hopf invariant; it appears again in the relaxed-state theory below, where the conserved helicity sets the energy floor that a turbulent plasma cannot cross.

Exercises Intermediate+

Exercise 1 (easy, symbolic).

Starting from Faraday's law $\partial_{t} B = - curl E$ and the ideal Ohm's law $E + u \times B = 0$ , derive the induction equation $\partial_{t} B = curl (u \times B)$ .

Hint

Solve Ohm's law for $E$ and substitute into Faraday's law.

Answer

Ohm's law in the ideal limit (infinite conductivity, so the comoving electric field vanishes) gives $E = - u \times B$ . Substituting into Faraday's law $\partial_{t} B = - curl E$ yields $\partial_{t} B = - curl (- u \times B) = curl (u \times B)$ , the ideal induction equation. With a finite conductivity $σ$ , Ohm's law is $E + u \times B = σ^{- 1} J = σ^{- 1} curl B$ (Ampère, displacement current neglected), and the same substitution produces $\partial_{t} B = curl (u \times B) + η Δ B$ with $η = (μ_{0} σ)^{- 1}$ the magnetic diffusivity — the resistive induction equation whose $η \to 0$ limit is the fast-dynamo problem of 05.14.08. Rubric: full credit for the substitution and the ideal-limit reasoning; bonus for recovering the resistive term.

Exercise 2 (easy, symbolic).

Show that $curl (u \times B) = - L_{u} B$ for divergence-free vector fields $u$ and $B$ , and conclude that the induction equation is $\partial_{t} B + L_{u} B = 0$ .

Hint

Use the identity $curl (u \times B) = u div B - B div u + (B \cdot \nabla) u - (u \cdot \nabla) B$ and the Lie bracket $L_{u} B = [u, B] = (u \cdot \nabla) B - (B \cdot \nabla) u$ .

Answer

The vector identity $curl (u \times B) = u (div B) - B (div u) + (B \cdot \nabla) u - (u \cdot \nabla) B$ holds for any pair of smooth fields. When $div u = div B = 0$ the first two terms drop, leaving $curl (u \times B) = (B \cdot \nabla) u - (u \cdot \nabla) B = - [(u \cdot \nabla) B - (B \cdot \nabla) u] = - [u, B] = - L_{u} B$ . The induction equation $\partial_{t} B = curl (u \times B)$ becomes $\partial_{t} B = - L_{u} B$ , i.e. $\partial_{t} B + L_{u} B = 0$ . This is the statement that $B$ (as a divergence-free field, equivalently the 2-form $ι_{B} μ$ ) is Lie-dragged by the flow — the intrinsic, coordinate-free form of frozen flux. Rubric: full credit for the divergence-free simplification and the Lie-bracket identification.

Exercise 3 (medium, symbolic).

Prove the frozen-flux theorem $\frac{d}{d t} \int_{Σ_{t}} B \cdot d S = 0$ for a surface $Σ_{t} = ϕ_{t} (Σ_{0})$ advected by the flow $ϕ_{t}$ of $u$ , using the form-pullback transport relation $\frac{d}{d t} ϕ_{t}^{*} ω = ϕ_{t}^{*} (\partial_{t} ω + L_{u} ω)$ .

Hint

Write the flux as $\int_{Σ_{0}} ϕ_{t}^{*} β_{B (t)}$ with $β_{B} = ι_{B} μ$ , and use the induction equation in the form $(\partial_{t} + L_{u}) β_{B} = 0$ .

Answer

The flux is $F (t) = \int_{Σ_{t}} β_{B (t)} = \int_{Σ_{0}} ϕ_{t}^{*} β_{B (t)}$ by change of variables under the diffeomorphism $ϕ_{t}$ . Differentiating and applying the transport relation, $$ F'(t) = \int_{\Sigma_0}\frac{d}{dt}\bigl(\phi_t^\beta_{B(t)}\bigr) = \int_{\Sigma_0}\phi_t^\bigl(\partial_t\beta_{B(t)} + \mathcal{L}u\beta{B(t)}\bigr). $$ The induction equation in 2-form language is precisely $\partial_{t} β_{B} + L_{u} β_{B} = 0$ (Exercise 2 plus $β_{B} = ι_{B} μ$ , using $L_{u} ι_{B} μ = ι_{[u, B]} μ$ since $L_{u} μ = 0$ for divergence-free $u$ ). Therefore the integrand vanishes and $F^{'} (t) = 0$ , so flux through the comoving surface is conserved. The physical reading: field lines are carried as material curves, so the number threading any fluid-bound surface cannot change. Rubric: full credit for the change of variables, the transport relation, and the identification of the integrand with the induction equation.

Exercise 4 (medium, symbolic).

Show that the magnetic helicity $H_{B} = \int_{M} A \cdot B d^{3} x$ is invariant under a gauge change $A \mapsto A + \nabla χ$ , provided $B$ is tangent to $\partial M$ (or $M$ is closed).

Hint

The change in helicity is $\int_{M} \nabla χ \cdot B d^{3} x$ . Integrate by parts using $div B = 0$ .

Answer

Under $A \mapsto A + \nabla χ$ the helicity changes by $δ H_{B} = \int_{M} \nabla χ \cdot B d^{3} x$ . Since $\nabla χ \cdot B = div (χ B) - χ div B$ and $div B = 0$ , this is $\int_{M} div (χ B) d^{3} x = \int_{\partial M} χ (B \cdot n) d S$ by the divergence theorem. When $B$ is tangent to the boundary, $B \cdot n = 0$ on $\partial M$ , so the surface integral vanishes and $δ H_{B} = 0$ ; on a closed manifold there is no boundary and the same conclusion holds. The gauge-invariance is therefore tied to the boundary condition $B \cdot n ∣_{\partial M} = 0$ . When $B$ has nonzero normal flux on the boundary, the bare integral is gauge-dependent and one passes to the Berger-Field 1984 relative helicity, which subtracts a reference potential field with the same boundary flux. Rubric: full credit for the integration by parts and the explicit role of the boundary condition.

Exercise 5 (medium, symbolic).

Carry out the Woltjer variational problem: minimise the magnetic energy $E = \frac{1}{2} \int_{M} ∣ B ∣^{2} d^{3} x$ at fixed magnetic helicity $H_{B} = \int_{M} A \cdot B d^{3} x$ , and show the minimiser satisfies $curl B = λ B$ .

Hint

Use a Lagrange multiplier $λ$ : extremise $E - \frac{λ}{2} H_{B}$ over divergence-free $B = curl A$ , varying $A$ .

Answer

Form the functional $F [A] = \frac{1}{2} \int ∣ B ∣^{2} - \frac{λ}{2} \int A \cdot B$ with $B = curl A$ and $λ$ a Lagrange multiplier. Vary $A \mapsto A + δ A$ , so $δ B = curl δ A$ . The energy variation is $\int B \cdot curl δ A = \int curl B \cdot δ A$ (integrating by parts, boundary terms vanishing for $B$ tangent to $\partial M$ ). The helicity variation is $δ H_{B} = \int (δ A \cdot B + A \cdot curl δ A) = \int (δ A \cdot B + curl A \cdot δ A) = 2 \int B \cdot δ A$ , using $curl A = B$ and an integration by parts. Setting $δ F = \int (curl B - λ B) \cdot δ A = 0$ for all $δ A$ gives the Euler-Lagrange equation $curl B = λ B$ : the minimiser is a linear force-free (constant- $λ$ Beltrami) field. This is Woltjer's 1958 theorem; the eigenvalue $λ$ is fixed by the ratio $H_{B} / E$ , and $∣ λ ∣$ is the smallest curl-eigenvalue compatible with the boundary, linking the relaxed state to the Beltrami spectrum of 05.14.07. Rubric: full credit for the Lagrange-multiplier setup, both variations, and the curl-eigenvalue conclusion.

Exercise 6 (medium, short-answer).

State Taylor's 1974 relaxation hypothesis and explain why it predicts a linear force-free field even though, in principle, ideal MHD conserves infinitely many helicity integrals.

Hint

Ideal MHD conserves the helicity of every individual flux tube; small resistivity destroys all of these except the single global helicity, which survives because it is a topological invariant of the whole field.

Answer

Taylor 1974 Phys. Rev. Lett. 33 hypothesised that a turbulent, weakly resistive plasma relaxes to the state of minimum magnetic energy subject to conservation of the total magnetic helicity alone. In strictly ideal MHD the helicity of each separate flux tube is conserved (infinitely many invariants, one per comoving subvolume), which would over-constrain the relaxation. Taylor's insight was that small resistivity, acting through turbulent reconnection, rapidly destroys the fine-grained tube-by-tube helicities — they are not robust against reconnection — while the single global integral $H_{B} = \int_{V} A \cdot B$ is a topological invariant of the whole configuration and decays far more slowly (Berger 1984 bounds its dissipation rate by the energy-dissipation rate times a small factor). Minimising energy at fixed global helicity gives, by the Woltjer variational calculation, the linear force-free field $curl B = λ B$ with a single global $λ$ . This Taylor state is observed in reversed-field-pinch fusion devices, where the spontaneously reversed edge toroidal field matches the $curl B = λ B$ prediction. Rubric: full credit for the single-invariant hypothesis, the reconnection argument, and the Taylor-state prediction.

Exercise 7 (hard, short-answer).

Derive a lower bound on the magnetic energy in terms of the magnetic helicity, of the form $E \geq C ∣ H_{B} ∣$ for a constant $C$ set by the domain, and explain its physical meaning for relaxation.

Hint

Use the curl-spectrum: on a bounded domain the smallest eigenvalue $∣ λ_{m i n} ∣$ of the curl operator on tangent divergence-free fields controls a Poincaré-type inequality $\int ∣ B ∣^{2} \geq ∣ λ_{m i n} ∣ ∣ \int A \cdot B ∣$ .

Answer

Let $λ_{m i n}$ be the smallest-in-magnitude eigenvalue of the curl operator acting on divergence-free fields tangent to $\partial M$ (the Beltrami spectrum). Expanding $B$ in curl eigenfunctions $curl e_{k} = λ_{k} e_{k}$ , write $B = \sum_{k} c_{k} e_{k}$ . The energy is $2 E = \int ∣ B ∣^{2} = \sum_{k} ∣ c_{k} ∣^{2}$ , while the helicity is $H_{B} = \int A \cdot B = \sum_{k} λ_{k}^{- 1} ∣ c_{k} ∣^{2}$ (since $A = curl^{- 1} B$ has components $λ_{k}^{- 1} c_{k}$ ). Hence $∣ H_{B} ∣ = ∣ \sum_{k} λ_{k}^{- 1} ∣ c_{k} ∣^{2} ∣ \leq ∣ λ_{m i n} ∣^{- 1} \sum_{k} ∣ c_{k} ∣^{2} = ∣ λ_{m i n} ∣^{- 1} \cdot 2 E$ , giving $$ E \geq \tfrac{1}{2}|\lambda_{\min}|,|\mathcal{H}B|. $$ The constant $C = \tfrac{1}{2}|\lambda{\min}| $i sse t b y t h e d o main g eo m e t r y . E q u a l i t y h o l d s w h e n$ B$ is purely the lowest curl-eigenmode — exactly the Woltjer/Taylor relaxed state. The physical meaning: a field of fixed (conserved) helicity cannot have arbitrarily small energy; the helicity provides a floor, and a relaxing plasma slides down to this floor, halting at the linear force-free state. A nonzero helicity therefore guarantees a permanent magnetic-energy reservoir — the reason knotted coronal fields store the energy later released in solar flares, and the reason a turbulent dynamo (05.14.08) cannot erase the large-scale field it builds. Rubric: full credit for the eigenfunction expansion, the inequality, the equality case, and the relaxation interpretation.

Exercise 8 (hard, short-answer).

Explain how magnetic helicity arises as a Casimir of the semidirect-product Lie-Poisson structure on $X_{vol} (M) ⋉ Ω^{2} (M)$ , and contrast it with fluid helicity as a Casimir of $X_{vol} (M)^{*}$ .

Hint

Ideal MHD is the Euler-Arnold system on the semidirect product where $X_{vol}$ acts on the magnetic 2-form $β_{B} \in Ω^{2} (M)$ by Lie dragging; Casimirs are functions that Poisson-commute with everything, equivalently are constant on coadjoint orbits.

Answer

Ideal MHD is the Euler-Arnold equation (05.09.05) on the semidirect-product Lie algebra $g = X_{vol} (M) ⋉ Ω^{2} (M)$ : the velocity field $u \in X_{vol}$ generates the dynamics and acts on the magnetic field, represented as the closed 2-form $β_{B} = ι_{B} μ \in Ω^{2} (M)$ , by Lie dragging $β_{B} \mapsto - L_{u} β_{B}$ — exactly the frozen-flux transport. On the dual $g^{*}$ the Lie-Poisson bracket has Casimirs: functionals $C$ with ${C, \cdot} = 0$ , equivalently constant on every coadjoint orbit. Because the MHD flow moves along coadjoint orbits, every Casimir is automatically a constant of motion. The magnetic helicity $H_{B} = \int α \land β_{B}$ is the Casimir built from the $Ω^{2}$ factor: it depends only on the orbit (the diffeomorphism class of the frozen field), so it is conserved without appeal to the equations of motion. By contrast, fluid helicity $\int u \land d u$ is a Casimir of the pure $X_{vol} (M)^{*}$ Lie-Poisson structure of the Euler equation (05.14.01 in the plan), built from the vorticity 2-form alone. The MHD system carries both kinds of invariant — fluid helicity, magnetic helicity, and the coupling cross-helicity $\int u \cdot B$ — reflecting the richer semidirect-product geometry. Rubric: full credit for the semidirect-product identification, the Casimir / coadjoint-orbit argument, and the contrast with fluid helicity.

Advanced results Master

Alfvén 1942 and the frozen-flux theorem. Hannes Alfvén's 1942 Nature 150 note ^{[Alfvén 1942]} established that in a perfectly conducting fluid the magnetic field lines are tied to the material, introducing the concept that organises all of ideal-MHD topology. The frozen-flux theorem is the magnetic analogue of the Kelvin-Helmholtz vorticity theorems of 09.07.01: where Kelvin's theorem freezes the circulation $\oint u \cdot d ℓ$ around a comoving loop and Helmholtz's theorem carries vortex lines with the fluid, Alfvén's theorem freezes the magnetic flux $\int_{Σ} B \cdot d S$ through a comoving surface and carries magnetic field lines with the fluid. The intrinsic statement, $(\partial_{t} + L_{u}) β_{B} = 0$ for the magnetic 2-form, makes the analogy exact at the level of differential forms: vorticity and magnetic field are both closed 2-forms Lie-dragged by the velocity, and the two theorems are one calculation applied twice. Alfvén's discovery also predicted Alfvén waves — transverse oscillations of the frozen-in field lines propagating at the Alfvén speed $v_{A} = ∣ B ∣/ ρ$ — for which he received the 1970 Nobel Prize in Physics.

Magnetic helicity as a topological invariant. Moffatt's 1969 J. Fluid Mech. 35 paper ^{[Moffatt 1969]} identified the helicity integral with the average linking of field lines, the magnetic instance of Arnold's asymptotic Hopf invariant (the asymptotic-linking theorem, 05.14.02 in the plan). For a field built from thin flux tubes $T_{i}$ of flux $Φ_{i}$ with pairwise linking numbers $lk (T_{i}, T_{j})$ and internal twists $T_{i}$ , the helicity decomposes as $H_{B} = \sum_{i} T_{i} Φ_{i}^{2} + 2 \sum_{i < j} lk (T_{i}, T_{j}) Φ_{i} Φ_{j}$ (Moffatt-Ricca 1992), separating the self-linking (writhe plus twist, by Călugăreanu-White) from the mutual linking. Because the frozen-flux theorem preserves all linking numbers and the internal twist, the helicity is conserved as a sum of conserved topological pieces. This is the rigorous content behind the rubber-band picture: the helicity is the field's total signed linking, an integer-valued topological datum (up to the flux weights) that ideal evolution cannot alter.

Woltjer 1958 and the relaxed state. Woltjer's 1958 Proc. Natl. Acad. Sci. 44 theorem ^{[Woltjer 1958]} established that among all divergence-free fields of given magnetic helicity, the one of least magnetic energy is the linear force-free field $curl B = λ B$ with $λ$ a single global constant. The variational derivation (Exercise 5) makes the curl-eigenvalue equation the Euler-Lagrange equation of energy-minimisation under the helicity constraint; the relaxed state is the lowest curl eigenmode of the domain, a constant-eigenvalue Beltrami field of the kind studied in 05.14.07. Woltjer's theorem turns the abstract helicity invariant into a concrete prediction: a relaxed magnetised plasma is a Beltrami field, smooth and gently twisting, with the field everywhere parallel to its own curl.

Taylor 1974 relaxation and laboratory plasmas. Taylor's 1974 Phys. Rev. Lett. 33 hypothesis ^{[Taylor 1974]} sharpened Woltjer's theorem into a physical principle: a turbulent, weakly resistive plasma relaxes to the minimum-energy state at fixed global helicity, because turbulent reconnection destroys the fine-grained per-tube helicities while the single global integral survives as a near-invariant. The decay-rate separation — magnetic energy dissipates at the resistive rate, helicity at a far slower rate bounded by Berger's 1984 inequality — is what makes the relaxed state observable. Taylor's prediction was confirmed in the reversed-field pinch, where the spontaneously reversed edge toroidal field matches the $curl B = λ B$ profile, and in spheromak and tokamak sawtooth-relaxation experiments. The Taylor state is the working model of self-organisation in fusion plasmas.

The energy floor and its applications. The helicity lower bound $E \geq \frac{1}{2} ∣ λ_{m i n} ∣ ∣ H_{B} ∣$ (Exercise 7; Arnold 1974, Freedman 1988 for the knot-energy refinement) expresses that knotted or linked flux cannot fully relax: a field of nonzero helicity is forbidden from reaching zero energy, and the floor scales with the linking. Freedman and He 1991 sharpened the bound for knotted tubes, relating the minimum energy to the crossing number of the underlying knot, so that tighter knots store more irreducible energy. Physically, the floor explains why the solar corona stores energy in twisted, linked magnetic flux ropes that is released abruptly in flares and coronal mass ejections when reconnection finally lowers the helicity; why tokamak and reversed-field-pinch plasmas settle into helicity-determined equilibria rather than the vacuum field; and, cross-linking to the dynamo of 05.14.08, why a turbulent dynamo that generates net helicity cannot subsequently erase its own large-scale field.

Cross-helicity and Elsässer variables. The cross-helicity $H_{C} = \int u \cdot B d^{3} x$ is a second ideal-MHD invariant (conserved under the barotropic closure), measuring the correlation between velocity and magnetic field lines. In the Elsässer variables $z^{\pm} = u \pm B / ρ$ ^{[Elsasser 1956]} the ideal incompressible MHD equations take the symmetric form $\partial_{t} z^{\pm} + (z^{\mp} \cdot \nabla) z^{\pm} = - \nablaΠ$ , manifesting $z^{\pm}$ as counter-propagating Alfvén-wave amplitudes; the conserved quantities $\int ∣ z^{\pm} ∣^{2} = 2 (E \pm H_{C})$ are the Elsässer energies, whose imbalance is the cross-helicity. Cross-helicity governs the cascade direction in MHD turbulence and the saturation of mean-field dynamos.

Synthesis. Putting these together, the topological core of ideal MHD is a single structural fact wearing several costumes: the magnetic field is a closed 2-form Lie-dragged by the flow. This is exactly the frozen-flux theorem, and it is the foundational reason that the field-line topology, the helicity, and every linking number are conserved — they are functions of the diffeomorphism class of the frozen field, hence Casimirs of the semidirect-product Lie-Poisson structure on which the MHD Euler-Arnold equation lives. The frozen-flux calculation generalises the vorticity transport of 09.07.01 to the magnetic 2-form, and the helicity-as-linking identity generalises the two-tube formula to arbitrary fields as Arnold's asymptotic Hopf invariant; the central insight is that a topological invariant — average linking — is simultaneously an analytic conserved quantity, and this is dual to the way Casimirs of a Lie-Poisson manifold are constant on coadjoint orbits. The conserved helicity then sets a sharp lower bound on magnetic energy, the bridge from pure topology to physics: the relaxed minimum-energy state is the linear force-free Beltrami field of Woltjer and Taylor, the energy floor explains coronal flares and fusion-plasma equilibria, and the same helicity invariant appears again in the dynamo theory of 05.14.08, where it gates the large-scale field a turbulent flow can sustain. The whole subject is the topological-hydrodynamics dictionary of Arnold-Khesin made physical.

Full proof set Master

Proposition (induction equation as Lie-transport). For divergence-free vector fields $u, B$ on a Riemannian 3-manifold, the induction equation $\partial_{t} B = curl (u \times B)$ is equivalent to $(\partial_{t} + L_{u}) β_{B} = 0$ , where $β_{B} = ι_{B} μ$ .

Proof. The identity $curl (u \times B) = u (div B) - B (div u) + (B \cdot \nabla) u - (u \cdot \nabla) B$ reduces under $div u = div B = 0$ to $(B \cdot \nabla) u - (u \cdot \nabla) B = - [u, B] = - L_{u} B$ . So $\partial_{t} B = - L_{u} B$ . Apply $ι_{(\cdot)} μ$ : since $L_{u} μ = (div u) μ = 0$ , the Lie derivative commutes with $ι$ in the sense $L_{u} (ι_{B} μ) = ι_{L_{u} B} μ = ι_{[u, B]} μ$ . Hence $\partial_{t} β_{B} = ι_{\partial_{t} B} μ = - ι_{L_{u} B} μ = - L_{u} β_{B}$ , i.e. $(\partial_{t} + L_{u}) β_{B} = 0$ . $□$

Theorem (Alfvén frozen flux). Let $Σ_{t} = ϕ_{t} (Σ_{0})$ be advected by the flow $ϕ_{t}$ of $u$ . Then $\frac{d}{d t} \int_{Σ_{t}} β_{B (t)} = 0$ .

Proof. By naturality of pullback under the diffeomorphism $ϕ_{t}$ , $\int_{Σ_{t}} β_{B (t)} = \int_{Σ_{0}} ϕ_{t}^{*} β_{B (t)}$ . The transport formula for a time-dependent form is $\frac{d}{d t} ϕ_{t}^{*} ω (t) = ϕ_{t}^{*} (\partial_{t} ω (t) + L_{u} ω (t))$ , proved by the chain rule together with $\frac{d}{d t} ϕ_{t}^{*} = ϕ_{t}^{*} L_{u}$ for the flow of the (time-independent here) generator $u$ . Therefore $$ \frac{d}{dt}\int_{\Sigma_0}\phi_t^\beta_{B(t)} = \int_{\Sigma_0}\phi_t^\bigl((\partial_t + \mathcal{L}u)\beta{B(t)}\bigr) = \int_{\Sigma_0}\phi_t^*(0) = 0 $$ by the previous Proposition. $□$

Proposition (helicity gauge-invariance). If $B = curl A$ is tangent to $\partial M$ (or $M$ is closed), then $H_{B} = \int_{M} A \cdot B d^{3} x$ is independent of the gauge of $A$ .

Proof. A gauge change $A \mapsto A + \nabla χ$ alters $H_{B}$ by $\int_{M} \nabla χ \cdot B d^{3} x$ . Write $\nabla χ \cdot B = div (χ B) - χ div B = div (χ B)$ since $div B = 0$ . The divergence theorem gives $\int_{M} div (χ B) d^{3} x = \int_{\partial M} χ (B \cdot n) d S$ . The boundary condition $B \cdot n ∣_{\partial M} = 0$ (tangency) or the absence of boundary makes this vanish. $□$

Theorem (helicity conservation under ideal MHD). Magnetic helicity $H_{B} = \int_{M} α \land d α$ is constant along the ideal-MHD flow on a closed $M$ .

Proof. From $(\partial_{t} + L_{u}) β_{B} = 0$ with $β_{B} = d α$ , one has $d [(\partial_{t} + L_{u}) α] = 0$ , so $(\partial_{t} + L_{u}) α = - d ψ$ for some function $ψ$ (the manifold being simply connected on the relevant cohomology, or absorbing the harmonic part into the gauge). Then $$ \frac{d}{dt}\mathcal{H}_B = \int_M(\partial_t + \mathcal{L}_u)(\alpha\wedge d\alpha). $$ The $L_{u}$ part integrates to zero by Cartan's formula $L_{u} η = d ι_{u} η + ι_{u} d η$ on a top-degree form $η = α \land d α$ (where $d η = 0$ ), giving $\int_{M} d ι_{u} η = 0$ by Stokes. The $\partial_{t}$ part is $\int_{M} [(\partial_{t} α) \land d α + α \land d \partial_{t} α] = \int_{M} [\partial_{t} α \land d α + d (α \land \partial_{t} α) + \partial_{t} α \land d α]$ after a Leibniz rearrangement; combined with the transported gauge $\partial_{t} α = - d ψ - L_{u} α$ and Stokes, every surviving term is exact and integrates to zero. Hence $\frac{d}{d t} H_{B} = 0$ . $□$

Proposition (Woltjer minimum-energy state). The minimiser of $E = \frac{1}{2} \int_{M} ∣ B ∣^{2}$ over divergence-free fields tangent to $\partial M$ at fixed $H_{B}$ satisfies $curl B = λ B$ for a constant Lagrange multiplier $λ$ .

Proof. Extremise $F [A] = \frac{1}{2} \int ∣ curl A ∣^{2} - \frac{λ}{2} \int A \cdot curl A$ . The first variation, using $\int B \cdot curl δ A = \int curl B \cdot δ A$ and $δ \int A \cdot curl A = 2 \int B \cdot δ A$ (both with vanishing boundary terms under tangency), is $δ F = \int (curl B - λ B) \cdot δ A$ . Vanishing for all admissible $δ A$ forces $curl B = λ B$ . The multiplier $λ$ is determined by the constraint value; $∣ λ ∣ = ∣ λ_{m i n} ∣$ for the global minimum, the smallest curl eigenvalue of the domain. $□$

Corollary (energy floor). For a domain with smallest curl-eigenvalue magnitude $∣ λ_{m i n} ∣$ , every divergence-free field tangent to $\partial M$ obeys $E \geq \frac{1}{2} ∣ λ_{m i n} ∣ ∣ H_{B} ∣$ , with equality for the Woltjer state.

Proof. Expand $B = \sum_{k} c_{k} e_{k}$ in curl eigenfunctions $curl e_{k} = λ_{k} e_{k}$ , orthonormal in $L^{2}$ . Then $2 E = \sum_{k} ∣ c_{k} ∣^{2}$ and $H_{B} = \int A \cdot B = \sum_{k} λ_{k}^{- 1} ∣ c_{k} ∣^{2}$ , so $∣ H_{B} ∣ \leq ∣ λ_{m i n} ∣^{- 1} \sum_{k} ∣ c_{k} ∣^{2} = 2 E /∣ λ_{m i n} ∣$ . Rearranging gives $E \geq \frac{1}{2} ∣ λ_{m i n} ∣ ∣ H_{B} ∣$ ; equality holds when only the $λ_{m i n}$ mode is present, the Woltjer field. $□$

Connections Master

Upstream and lateral. Ideal MHD sits on the Euler-Arnold framework of 05.09.05: the velocity field is the geodesic flow on the volume-preserving diffeomorphism group, and the magnetic field is carried as an advected 2-form in the semidirect-product extension $X_{vol} (M) ⋉ Ω^{2} (M)$ . The frozen-flux theorem is the magnetic copy of the Kelvin-Helmholtz vorticity transport developed in 09.07.01, the same $(\partial_{t} + L_{u}) β = 0$ calculation applied to the magnetic rather than the vorticity 2-form. The induction equation descends from Faraday's law and the EM 2-form of 10.04.01, where the Maxwell system in differential-form language supplies the $\partial_{t} B = - curl E$ relation that ideal Ohm's law closes.

Within the topological-hydrodynamics block. The magnetic-helicity invariant is the magnetic instance of the fluid-helicity Casimir (planned 05.14.01) and the asymptotic-linking theorem (planned 05.14.02): helicity equals the average asymptotic linking of magnetic field lines, Arnold's asymptotic Hopf invariant. The Woltjer/Taylor relaxed state is a constant-eigenvalue Beltrami field, cross-linking directly to the Beltrami and ABC flows of 05.14.07, where $curl B = λ B$ defines the curl-eigenfield family and its chaotic streamlines. The energy floor that conserved helicity imposes is the equilibrium-side counterpart to the dynamo-side story of 05.14.08: there a chaotic flow builds magnetic field by exponential stretching, and the helicity constraint here explains why the field it builds cannot be erased by the same turbulence.

Downstream: plasma physics and astrophysics. The frozen-flux and helicity framework underlies the working models of solar, fusion, and astrophysical plasmas. Taylor relaxation predicts the equilibria of reversed-field pinches, spheromaks, and tokamak sawtooth crashes; the helicity energy floor models the storage and flare-release of energy in twisted coronal flux ropes; and cross-helicity governs the cascade and dynamo saturation in MHD turbulence. These applications feed into future plasma-physics units and into the relativistic generalisation of the induction equation through the Maxwell-in-forms infrastructure of 10.04.01 and its successors.

Historical & philosophical context Master

Hannes Alfvén's 1942 Nature 150 note ^{[Alfvén 1942]} announced the frozen-flux theorem and the existence of magnetohydrodynamic waves, founding the discipline of magnetohydrodynamics. The result was initially met with scepticism — the established electrodynamics community doubted that field lines could be treated as material objects — but it became the organising principle of cosmic and laboratory plasma physics, and Alfvén received the 1970 Nobel Prize in Physics for it. The frozen-flux picture is one of the clearest cases in mathematical physics of a topological idea (field lines as material curves whose linking is invariant) entering physics through a transport theorem; Walter Elsässer's 1956 Rev. Mod. Phys. 28 review ^{[Elsasser 1956]} systematised the induction equation and the frozen-flux concept for astrophysical dynamo theory, introducing the symmetric Elsässer variables still used today.

Lodewijk Woltjer's 1958 Proc. Natl. Acad. Sci. 44 theorem ^{[Woltjer 1958]} supplied the variational principle: minimum magnetic energy at fixed helicity is a linear force-free field. The result lay relatively dormant until J. Brian Taylor's 1974 Phys. Rev. Lett. 33 paper ^{[Taylor 1974]} turned it into the relaxation hypothesis that successfully predicted the reversed-field-pinch equilibrium, one of the most striking confirmations of a topological conservation law in laboratory physics. Keith Moffatt's 1969 J. Fluid Mech. 35 paper ^{[Moffatt 1969]} meanwhile identified helicity with the average linking of field lines, connecting the physics to Gauss's 18th-century linking integral and to Arnold's contemporaneous asymptotic Hopf invariant — the bridge by which Arnold and Khesin made topological hydrodynamics a unified subject. The philosophical lesson is that the conservation of helicity is not a dynamical accident but a topological necessity: it is the analytic shadow of the fact that an ideal flow is a continuous deformation, and continuous deformations cannot change linking. The energy floor that follows turns this pure topology into hard physical constraints on the Sun, on fusion reactors, and on dynamos.

Bibliography Master

@article{Alfven1942,
  author  = {Alfvén, H.},
  title   = {Existence of electromagnetic-hydrodynamic waves},
  journal = {Nature},
  volume  = {150},
  pages   = {405--406},
  year    = {1942}
}

@article{Woltjer1958,
  author  = {Woltjer, L.},
  title   = {A theorem on force-free magnetic fields},
  journal = {Proceedings of the National Academy of Sciences USA},
  volume  = {44},
  pages   = {489--491},
  year    = {1958}
}

@article{Taylor1974,
  author  = {Taylor, J. B.},
  title   = {Relaxation of toroidal plasma and generation of reverse magnetic fields},
  journal = {Physical Review Letters},
  volume  = {33},
  pages   = {1139--1141},
  year    = {1974}
}

@article{Moffatt1969,
  author  = {Moffatt, H. K.},
  title   = {The degree of knottedness of tangled vortex lines},
  journal = {Journal of Fluid Mechanics},
  volume  = {35},
  pages   = {117--129},
  year    = {1969}
}

@article{BergerField1984,
  author  = {Berger, M. A. and Field, G. B.},
  title   = {The topological properties of magnetic helicity},
  journal = {Journal of Fluid Mechanics},
  volume  = {147},
  pages   = {133--148},
  year    = {1984}
}

@article{Elsasser1956,
  author  = {Elsasser, W. M.},
  title   = {Hydromagnetic dynamo theory},
  journal = {Reviews of Modern Physics},
  volume  = {28},
  pages   = {135--163},
  year    = {1956}
}

@article{MoffattRicca1992,
  author  = {Moffatt, H. K. and Ricca, R. L.},
  title   = {Helicity and the Călugăreanu invariant},
  journal = {Proceedings of the Royal Society A},
  volume  = {439},
  pages   = {411--429},
  year    = {1992}
}

@article{FreedmanHe1991,
  author  = {Freedman, M. H. and He, Z.-X.},
  title   = {Divergence-free fields: energy and asymptotic crossing number},
  journal = {Annals of Mathematics},
  volume  = {134},
  pages   = {189--229},
  year    = {1991}
}

@book{Moffatt1978,
  author    = {Moffatt, H. K.},
  title     = {Magnetic Field Generation in Electrically Conducting Fluids},
  publisher = {Cambridge University Press},
  year      = {1978}
}

@book{Biskamp1993,
  author    = {Biskamp, D.},
  title     = {Nonlinear Magnetohydrodynamics},
  publisher = {Cambridge University Press},
  year      = {1993}
}

@book{ArnoldKhesin2021MHD,
  author    = {Arnold, V. I. and Khesin, B. A.},
  title     = {Topological Methods in Hydrodynamics},
  series    = {Applied Mathematical Sciences},
  volume    = {125},
  edition   = {2nd},
  publisher = {Springer},
  year      = {2021}
}

Prerequisites

05.09.05
09.07.01
10.04.01

Tier anchors

beginner: Arnold-Khesin *Topological Methods in Hydrodynamics* 2nd ed. 2021 Ch. III §1 (motivational, frozen-in fields); Moffatt *Magnetic Field Generation in Electrically Conducting Fluids* CUP 1978 Ch. 2 (informal Alfvén-theorem picture)
intermediate: Arnold-Khesin *Topological Methods in Hydrodynamics* 2nd ed. 2021 Ch. III §1-§2 and Ch. II §4; Moffatt 1969 *The degree of knottedness of tangled vortex lines* (J. Fluid Mech. 35); Biskamp *Nonlinear Magnetohydrodynamics* CUP 1993 Ch. 2-3
master: Alfvén 1942 *Existence of electromagnetic-hydrodynamic waves* (Nature 150, originator of the frozen-flux theorem); Woltjer 1958 *A theorem on force-free magnetic fields* (Proc. Natl. Acad. Sci. 44, originator of the minimum-energy / helicity-invariant theorem); Taylor 1974 *Relaxation of toroidal plasma and generation of reverse magnetic fields* (Phys. Rev. Lett. 33, originator of the relaxed-state / Taylor-state hypothesis); Moffatt 1969 *The degree of knottedness of tangled vortex lines* (J. Fluid Mech. 35, helicity-as-linking); Arnold-Khesin *Topological Methods in Hydrodynamics* Springer Applied Math. Sci. 125, 2nd ed. 2021, Ch. II §1-§5 and Ch. III §1-§4 (semidirect-product MHD, magnetic-helicity Casimir)

References

Alfvén 1942 — Existence of electromagnetic-hydrodynamic waves · Nature 150, 405-406, originator of the frozen-flux theorem for a perfectly conducting fluid
Woltjer 1958 — A theorem on force-free magnetic fields · Proc. Natl. Acad. Sci. USA 44, 489-491, minimum-energy state at fixed magnetic helicity is a linear force-free field
Taylor 1974 — Relaxation of toroidal plasma and generation of reverse magnetic fields · Phys. Rev. Lett. 33, 1139-1141, the Taylor-relaxation hypothesis (helicity conserved, energy minimised)
Moffatt 1969 — The degree of knottedness of tangled vortex lines · J. Fluid Mech. 35, 117-129, helicity equals the average linking of field lines
Arnold, Khesin — Topological Methods in Hydrodynamics · Springer Applied Math. Sci. 125, 2nd ed. 2021, Ch. II §1-§5 and Ch. III §1-§4 (semidirect-product MHD, magnetic-helicity Casimir, frozen-flux)
Berger, Field 1984 — The topological properties of magnetic helicity · J. Fluid Mech. 147, 133-148, gauge-invariant relative helicity for fields with boundary flux
Elsasser 1956 — Hydromagnetic dynamo theory · Rev. Mod. Phys. 28, 135-163, the induction equation and frozen-flux in astrophysical plasmas

Estimated time

beginner: 18m
intermediate: 48m
master: 85m