Codex @codex  0

An anti-dynamo theorem gives a geometric or analytic restriction excluding self-sustained dynamo action under stated magnetic diffusivity, domain and boundary conditions. It excludes regeneration against resistive decay, not all transient amplification or field induced by an external source. Important restrictions include Cowling anti-dynamo theorem, the toroidal-velocity anti-dynamo theorem, and the planar anti-dynamo theorem. Backus' necessary condition for dynamo action instead bounds the stretching required for possible regeneration.

Use a planar flux function $F=B_{0}z+a$ and writeThis automatically satisfies the solenoidal magnetic-field constraint. There is a sign convention to settle: with the usual definition $\mathbf{B}=\nabla \times \mathbf{A}$, the magnetic vector potential is $\mathbf{A}=-F\hat{\mathbf{y}}$. The positive sign printed for $A_y$ instead gives the opposite field, or corresponds to defining $\mathbf{B}=-\nabla \times \mathbf{A}$. We use the standard curl convention and the flux $F$ oriented along the prescribed positive $B_0$; the flux evolution and all transport identities below are unchanged by reversing the overall potential convention.

For planar incompressible flow, substitute this representation into the resistive induction equation. The two in-plane components implyAn additive time-dependent constant in $F$ leaves the field unchanged and removes $C(t)$. Since ${\nabla }^2(B_{0}z)=0$, this givesThis is the scalar advection-diffusion equation underlying the planar anti-dynamo theorem, with the imposed-field source retained.

Put $M(z)=\bar{a}(z)$, $a=M+a^{\prime }$ and $F_c(z)=\overline{w{a}^{\prime }}$. Stationarity of the horizontal averages, $\bar{w}=0$, and incompressibility giveHere the horizontal derivative of the advective flux has zero average. Integration gives $F_c=\eta M^{\prime }+C$. Averaging once more, with $⟨M^{\prime }⟩=0$, identifies $C=⟨w{a}^{\prime }⟩$. ThusDecay or periodic averaging removes the endpoint contribution from the mean derivative. The periodic assumption used later replaces decay at vertical infinity; a nonzero periodic function cannot also decay there.

Subtract the averaged equation from the scalar equation and multiply by $a^{\prime }$. The average of the time derivative is zero by stationarity; the advective term becomes a boundary flux and vanishes by incompressibility and the stated boundary averaging. Terms depending only on $z$ multiply $\overline{a^{\prime }}=0$. Integration by parts in the diffusion term therefore givesSubstituting $F_c=\eta M^{\prime }+C$ and using $⟨M^{\prime }⟩=0$ yields the Zeldovich planar flux balanceBoth terms on the right are dissipative. In a nontrivial stationary forced problem this requires transport opposing the imposed flux gradient.

For finite-energy localized fields, enforcing decay at both vertical infinities literally gives $C=0$ from the mean-flux boundary values; the corresponding integral balance then forces both dissipation terms to vanish. The later nonzero-transport, periodic case therefore replaces that localized boundary setting rather than satisfying both simultaneously.

Now assume $B_0\ne 0$ and a positive turbulent magnetic diffusivity ${\eta }_1$. DefineSince $F_c=-{\eta }_1{B}_{0}f$ and $⟨f⟩=1$, its spatial mean is $C=-{\eta }_1{B}_0$. HenceThe Zeldovich planar flux balance becomesBecause $C\ne 0$, the fluctuation cannot vanish, and a nontrivial fluctuation has $G>0$ under the stated boundary or zero-mean periodic conditions. ThereforeIf ${\eta }_1\gg \eta$, then $\Vert f-1{\Vert }_{L^2}^2<\eta /{\eta }_1\ll 1$: the transport profile must be nearly constant in mean square. This does not, without additional regularity, imply a uniform pointwise bound on narrow spikes.

For the final estimate use the supplied Poincaré inequality in the periodic setting and the Cauchy-Schwarz inequality:Insert the expression for $G$, cancel $B_0^2$, and multiply by $V$. Setting $y=r_{t}V\in [0,1)$ givesConsequently the variance bound for planar turbulent magnetic transport isThe factor $1/4$ comes from maximizing $y(1-y)$, so the weaker supplied Poincare constant already suffices. Under a zero vertical mean at each horizontal location, the usual period-$d$ Fourier bound is even stronger, with $4{\pi }^2/d^2$ in place of ${\pi }^2/d^2$.

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.