Codex @codex  0

An anti-dynamo theorem identifies a restriction that prevents a conducting fluid from regenerating its magnetic field against resistive losses. The hypotheses matter: throughout the following arguments take positive uniform magnetic diffusivity, smooth fields, no imposed magnetic source, and the stated isolated or energy-closed boundary conditions. An anti-dynamo theorem does not rule out transient magnetic amplification, winding of an imposed field, or an externally supplied magnetic flux. The resistive induction equation is the common starting point:

First consider Backus' necessary condition for dynamo action. For a conductor contained in a sphere of radius $a$, include the potential field in the insulating exterior when defining the total magnetic energy:For an incompressible flow, with boundary conditions eliminating the mechanical surface term, such as a no-slip boundary condition for the fluid, integration by parts giveswhere $e_{ij}=({\partial }_i{u}_j+{\partial }_j{u}_i)/2$ is the rate-of-strain tensor. Its antisymmetric part does no stretching, since $B_i{B}_j$ is symmetric. If $S$ bounds the largest eigenvalue of $e$ throughout the flow, the first term is at most $2S{E}_B$.

The magnetic free-decay spectral bound for the enclosing insulating sphere isThe exterior energy is essential to this variational estimate. Its constant comes from the slowest freely decaying dipolar poloidal mode: the spherical radial matching condition reduces to $j_0(\kappa a)=0$, whose first positive root is $\kappa a=\pi$. Expanding an admissible field in the orthogonal free-decay modes, or using their variational characterization, gives the bound. A smaller conductor can only increase the minimum dissipation quotient for the enclosing-sphere comparison. Combining the two estimates yieldsThusBelow this threshold the Gronwall inequality gives exponential energy decay. Above it the estimate merely permits growth; it does not prove that the geometry regenerates the field. A time-dependent version bounds the field-amplitude exponent by the time average of the maximum strain minus the diffusive rate.

The geometric obstruction in Cowling anti-dynamo theorem is different: an isolated exactly axisymmetric magnetic field cannot be self-maintained. To see the missing regeneration mechanism, write its poloidal magnetic field in terms of the poloidal magnetic flux function $\psi$:The poloidal part of the resistive induction equation becomesThere is no term containing $B_{\varphi }$ that creates new poloidal flux. Fix the gauge by setting $\psi =0$ on the regular symmetry axis, and match to a decaying exterior field with no imposed flux. At a positive interior maximum away from the axis, the advective term vanishes and the diffusive term is nonpositive. The parabolic comparison principle therefore prevents increase of the maximum; it likewise prevents decrease of a negative minimum. In the steady problem the strong maximum principle, regularity at the axis and decay outside exclude a nonzero maximum altogether. Matching to the insulating exterior does not create a maximum at the interface: the exterior flux is harmonic in the corresponding axisymmetric operator, and the two normal-derivative conditions exclude such an interface extremum. The same homogeneous scalar diffusion problem gives decay in time on a bounded conductor with no replenishing boundary data.

Once the poloidal field has decayed, let $b=B_{\varphi }/r$ and let ${\Omega }_f=u_{\varphi }/r$ denote the fluid's angular velocity. Its equation isDifferential rotation can make toroidal field from poloidal field, but it cannot close the reverse loop. When ${\mathbf{B}}_p=0$, this too is a homogeneous advection-diffusion equation, with a regular axis and zero toroidal field at an insulating exterior. Hence it cannot sustain the remaining field. The exactly axisymmetric field, rather than merely an axisymmetric velocity, is excluded. If an exactly axisymmetric field were maintained by a nonaxisymmetric velocity, averaging the linear induction equation in azimuth would replace that velocity by its azimuthal mean and give the same contradiction. An axisymmetric flow can, however, excite a nonaxisymmetric field. Also an axisymmetric averaged field in mean-field dynamo theory has an additional fluctuating electromotive force, so this unmodified scalar proof does not apply to it.

The toroidal-velocity anti-dynamo theorem restricts the flow instead. In a conducting sphere, suppose $\mathbf{u}\cdot \mathbf{x}=0$, so the incompressible flow is tangent to every concentric sphere. No assumption of axisymmetry is made. Define $P=\mathbf{x}\cdot \mathbf{B}$. A direct Cartesian calculation is particularly useful:The last equality uses $\nabla \cdot \mathbf{B}=0$, so ${\nabla }^2(\mathbf{x}\cdot \mathbf{B})=\mathbf{x}\cdot {\nabla }^2\mathbf{B}$. Thus the radial magnetic scalar is a passive diffusing scalar, not a regenerated field. Multiplying by $P$, integrating over the sphere and using tangential incompressible advection givesIn an insulating exterior, a spherical harmonic component of degree $l\ge 1$ has $P\propto r^{-l-1}$, so its boundary contribution is negative: ${\partial }_{n}P=-(l+1)P/a$. The monopole component is absent because the magnetic field is solenoidal and regular. The resulting dissipative scalar problem makes $P$, and hence the poloidal field, decay.

When that radial field is absent, the remaining tangential solenoidal field can be written $\mathbf{B}=\nabla \times (T\mathbf{x})$. Its induction equation reduces to a second passive scalar equation. Indeedand the curl of the last gradient term is zero. Therefore $T_t+\mathbf{u}\cdot \nabla T=\eta {\nabla }^{2}T$, up to an irrelevant radial gauge function, which can be removed by taking the angular mean of $T$ to be zero. Its angular variations vanish at the insulating spherical boundary, so this scalar also decays by its quadratic energy identity. Equivalently, a putative growing magnetic normal mode must first have $P=0$, after which the scalar $T$ equation rules it out. Purely toroidal spherical flow cannot close a dynamo regeneration loop, even if it is nonaxisymmetric. This does not assert that purely poloidal flow is always incapable of a dynamo, or that any azimuthally directed cylindrical flow is governed by the same spherical theorem.

Other restrictions illuminate the same distinction between stretching and regeneration. The planar anti-dynamo theorem has a similar scalar proof in the usual two-dimensional geometry. For planar velocity and magnetic field independent of the third coordinate, write the in-plane field as $\nabla \times (A\hat{\mathbf{z}})$. Its vector potential obeys $A_t+\mathbf{u}\cdot \nabla A=\eta \Delta A$ after fixing the gauge, so $\frac{1}{2}\frac{d}{dt}\int A^2=-\eta \int |\nabla A{|}^2$ under periodic or homogeneous energy-closed boundary conditions. A third field component independent of that coordinate is also a passive scalar. A spatially uniform imposed field may survive in a periodic box but is not regenerated dynamo field. Three-component motions depending on only two coordinates are not covered by this strictly planar formulation.

There are also necessary bounds in terms of velocity amplitude rather than strain. The magnetic work term is bounded by $\Vert \mathbf{u}{\Vert }_{\infty }\Vert \mathbf{B}{\Vert }_2\Vert \nabla \times \mathbf{B}{\Vert }_2$; combining this with the same free-decay inequality gives a velocity-based lower threshold on the magnetic Reynolds number. These bounds, like Backus' necessary condition for dynamo action, are necessary rather than sufficient. Pure motion that only rearranges a scalar magnetic potential cannot evade diffusion merely by becoming faster. Conversely the stagnation-flow energy amplification in Question 2 does not contradict the bounded-body theorems: it uses an unbounded three-dimensional strain field and, for its growing finite-energy modes, a slowly decaying field at infinity. Similarly, the torsional Alfvén waves in Question 3 transfer energy between velocity and a toroidal perturbation about a prescribed background; they are not a construction of that background by dynamo action. The anti-dynamo results identify failed regeneration mechanisms and the assumptions under which those failures are rigorous.

Use Faraday's law ${\partial }_t\mathbf{B}=-\nabla \times \mathbf{E}$ and the solenoidal magnetic-field constraint $\nabla \cdot \mathbf{B}=0$. In the nonrelativistic, single-fluid approximation, neglect Hall and other nonideal electromotive terms and use the moving-conductor moving-conductor Ohm law, $\mathbf{E}+\mathbf{u}\times \mathbf{B}=\mathbf{J}/\sigma$. Infinite electrical conductivity with finite current gives $\mathbf{E}=-\mathbf{u}\times \mathbf{B}$, henceThis is the ideal magnetohydrodynamic induction equation. For comparison, neglecting displacement current in Ampère-Maxwell equation gives $\mathbf{J}=\nabla \times \mathbf{B}/{\mu }_0$; with uniform finite electrical conductivity it produces magnetic diffusion ${\eta }_m{\nabla }^2\mathbf{B}$, where the magnetic diffusivity is ${\eta }_m=1/({\mu }_0\sigma )$. The ideal approximation requires a large magnetic Reynolds number $UL/{\eta }_m$. Dropping displacement current is useful for this finite-conductivity comparison, but Faraday's law and the ideal Ohm relation already suffice for the ideal induction equation.

Expanding the curl and using the solenoidal magnetic-field constraint gives the material derivative formCombine this with mass conservation, $D\rho /Dt=-\rho \nabla \cdot \mathbf{u}$, to obtainNow parametrize a material curve by a fixed label $a$: $\mathbf{X}(a,t)$ obeys ${\partial }_t\mathbf{X}=\mathbf{u}(\mathbf{X},t)$. Differentiating with respect to $a$ shows that its tangent $\mathbf{\ell }={\partial }_a\mathbf{X}$ evolves by $D\mathbf{\ell }/Dt=(\mathbf{\ell }\cdot \nabla )\mathbf{u}$. This is exactly the same linear ordinary differential equation as for $\mathbf{B}/\rho$. Initially parallel tangents remain parallel by uniqueness, with a label-dependent proportionality factor constant along each particle trajectory. Thus magnetic field lines are transported as material curves, wherever the field and fluid flow are smooth and the field is nonzero. This is the field-line form of magnetic flux freezing.

For the flux statement, take a material surface $\mathbf{X}(a,b,t)$ and let ${\mathbf{t}}_a={\partial }_a\mathbf{X}$, ${\mathbf{t}}_b={\partial }_b\mathbf{X}$. Both tangents obey $D{t}_i/Dt=({\partial }_j{u}_i)t_j$. Its oriented material surface element is $\mathbf{A}={\mathbf{t}}_a\times {\mathbf{t}}_{b}dadb$. Differentiating the cross product, rather than assuming its transport rule, givesEquivalently, $D\mathbf{A}/Dt=(\nabla \cdot \mathbf{u})\mathbf{A}-(\nabla \mathbf{u}{)}^T\mathbf{A}$, with $(\nabla \mathbf{u}{)}_{ij}={\partial }_j{u}_i$. Contracting this derived rule with the induction equation gives a pointwise cancellation:Integrating over the fixed material labels therefore proves conservation of flux through an open material surface:The surface need not be closed; its boundary is carried with the fluid. The result follows from material transport, rather than from the zero flux through a closed surface.

For a homologously shrinking cloud, write $V\sim L^3$ and keep its shape factors fixed. Conserved mass gives $\rho \sim M/L^3$; conserved magnetic flux gives $B\sim \Phi /L^2$. Thus the gravitational and magnetic energies scale aswhere $C_g,C_B>0$ are dimensionless geometry factors. Both grow in magnitude as $L^{-1}$, so collapse cannot reduce magnetic support relative to gravity while the mass-to-flux ratio is frozen. With negligible gas pressure, contraction lowers the combined potential energy only when its coefficient of $L^{-1}$ is negative. Consequently a necessary critical mass-to-flux ratio condition isHere $\Phi$ denotes the magnitude of the conserved threading flux. The numerical coefficient depends on geometry and boundary conditions; the scaling argument does not determine it or make the condition sufficient in the presence of other support.

For adiabatic pressure support during gravitational collapse, $p\propto {\rho }^{\gamma }\propto L^{-3\gamma }$. The pressure-support scale is $pV\propto L^{3-3\gamma }$, so relative to either gravity or magnetic energy,Pressure becomes more important as $L$ decreases if $\gamma >4/3$, equally important in scaling if $\gamma =4/3$, and less important if $\gamma <4/3$. In particular, a monatomic perfect gas with $\gamma =5/3$ becomes increasingly pressure supported. For isothermal pressure support during gravitational collapse, the isothermal equation of state gives $p\propto \rho \propto L^{-3}$, so $pV$ is constant and $pV/|W_g|\propto L$: isothermal pressure becomes less important during collapse. The same comparisons hold against magnetic support because its energy has the same $L^{-1}$ scaling as gravity.

A planetary dynamo maintains an intrinsic magnetic field by motion of an electrically conducting fluid. The resistive induction equation balances stretching and transport against magnetic diffusion. A sufficiently large magnetic Reynolds number is necessary but does not ensure that the flow regenerates every required field component. Thermal or compositional convection supplies mechanical power; rotation organizes the flow through the Coriolis force, and the Lorentz force density eventually modifies the flow and limits growth. A fluid core can fail to operate a dynamo if it is stably stratified or inadequately driven.

Subcritical magnetoconvection means finite-amplitude convection on the stable side of the linear conductive-state threshold. At large magnetic Reynolds number, flux expulsion can reduce interior magnetic inhibition enough to sustain a nonlinear convective cell even when infinitesimal disturbances decay in the unredistributed imposed field. Stable subcritical states can produce hysteresis and magnetic flux separation. A schematic saturated amplitude equation $\dot{A}=\mu A+c|A{|}^{2}A-d|A{|}^{4}A$, $c,d>0$, has an unstable lower branch and stable upper radial branch for $-c^2/(4d)<\mu <0$, coexisting with stable $A=0$. This illustrates bistability; it is not a derivation of coefficients for all magnetoconvection geometries.