Alpha-Omega dynamo Created 2026-10-06 Updated 2026-10-14
An alpha-Omega mean-field dynamo couples toroidal-field generation by the Omega effect to poloidal-field regeneration by the alpha effect. A simple Fourier model is , , where is a component of the vector potential for the poloidal field and is a toroidal-field amplitude. For bounded , the bounded-modulation alpha-Omega growth estimate controls the maximum amplification.
Curl of a gradient Created 2026-10-14 Updated 2026-10-25
For a twice continuously differentiable function, the curl of its gradient vanishes. In components, because the second derivatives are symmetric in while the Levi-Civita symbol is antisymmetric. Thus adding a gradient to a vector potential preserves the represented curl. No topological assumption is needed for this identity, unlike the converse assertion that every curl-free vector field has a global potential.
A uniformly charged rotating sphere has an exactly dipolar exterior magnetic vector potential. For a concentric equatorial loop of radius outside the sphere, Stokes theorem gives . If its effective source electric current is defined by , its mutual inductance is . The finite-source vector potential is regular through the spanning disk; an exterior point-dipole expression should not be integrated through its singular origin.
Write the superconducting order parameters as , using a field of pair electric charge . For a specified path across the superconducting weak link, define
Here is the magnetic vector potential. To check electromagnetic gauge invariance, use a scalar function and transform
The change of is , exactly cancelled by the change of the line integral. Thus is unchanged although each local quantum phase changes. This is the same charge/sign bookkeeping discussed in gauge-coupling sign in Ginzburg-Landau superconductivity. Different physical paths can enclose magnetic flux, so fixing the path matters.
For stationary reservoirs with equal internal pair chemical potentials and a time-independent vector potential, the local Schrödinger equation gives after dropping the common internal term. With electric potentials and , subtraction gives . For a general circuit, denotes the corresponding measured electrochemical voltage and the electromagnetic contribution must be treated consistently. A bare difference of phases without the vector potential term is insufficient in an arbitrary gauge.
Magnetic-gradient quartic confinement Created 2026-10-20 Updated 2026-10-24
A spinless charged particle in admits vector potential . Separating a plane wave along y produces a one-dimensional quartic potential energy. For nonzero , gives two minima at ; the opposite sign gives one minimum at zero. The field gradient creates confinement even though there is no scalar potential. The quartic potential is even, so its nondegenerate eigenstates have definite spatial parity.
Mechanical momentum Created 2026-10-05 Updated 2026-10-24
For a charged particle minimally coupled to a magnetic vector potential, the mechanical momentum is , with the canonical momentum. It is the mass times velocity in nonrelativistic mechanics.
For a spinless particle, minimal coupling gives . Choose the vector potential and . Its curl is and , so
The translation separation in a magnetic field gradient follows from : a simultaneous energy eigenstate can be written . The periodic boundary condition requires , hence , . The remaining Schrödinger equation is
This magnetic-gradient quartic confinement has a positive quartic coefficient for . If , it is a single well at zero, with . Its harmonic curvature gives
Thus the two lowest states are respectively even and odd, with one central peak or two opposite-sign lobes, and approximately . They are not a nearly degenerate pair.
If , the two minima are , , with zero potential there and a central barrier . For well-separated minima the lowest parity states of a symmetric double well are
Here are the localized ground-state Gaussians. Their even combination is the lower state; the odd combination has a node at the origin. Weak quantum tunnelling gives an exponentially small double-well tunneling splitting.
To obtain their common leading energy, put . Since ,
The double-well oscillator scale in a linear magnetic field therefore gives
The asymptotic condition is , so the barrier separates narrow local oscillator states. It is this scale comparison that makes the source's “large” ratio meaningful.
The signed group velocity of a magnetic-gradient doublet follows by differentiating the band energy with respect to the conserved wavevector:
For the double-well branch has and moves along ; reversing both signs reverses its velocity. To this order the two parity states have the same velocity. Corrections include local anharmonicity and the exponentially small splitting. The spinless Hamiltonian specified here has no extra Zeeman effect term.
Figure 1.
Original quartic magnetic-gradient potentials and numerical lowest even/odd wavefunctions for opposite wavevector signs
. Source. Details.
In a contractible region, the Maxwell equations and the Poincaré lemma imply the existence of a magnetic vector potential such that . Faraday's law of induction then gives
The expression in parentheses is a gradient there, so a scalar electric potential can be chosen with
These statements are local, or global when the domain has the required topology and the electromagnetic fields are regular. A nonzero flux through a topologically nontrivial closed surface can obstruct a single globally defined vector potential, even though local expressions remain valid. The electric potential and magnetic vector potential are not unique: and leave both electromagnetic fields unchanged.
For the Lorenz gauge condition , Gauss's law becomes
The Ampere-Maxwell law gives
Cancel the two gradient terms using the Lorenz gauge condition. Hence
Both potential equations have the same d'Alembert operator, with their respective charge density and current density sources. In a source-free region these are homogeneous wave equations with propagation speed .
Let be the uniform charge density and take . Rigid rotation produces current density . The magnetic dipole moment is
Spherical symmetry gives , while . Therefore
It is parallel to the angular velocity for positive and antiparallel for negative . The fully signed magnitude statement is ; the printed magnitude assumes positive and positive angular speed.
Axisymmetry permits a purely azimuthal magnetic vector potential, , with . For the source's associated Legendre function convention, , since its definition omits the Condon–Shortley phase. The given differential operator reduces to
Inside the sphere, . Since the radial operator maps to , the particular coefficient is . Regularity at the origin and decay at infinity give
There is no surface sheet electric current, so both normal and tangential magnetic field components are continuous at . Using
this is equivalent to continuity of and . The two equations give and . Thus
In the homogeneous expansion, , in their respective interior and exterior regions; all higher angular orders vanish. Indeed, matching the regular and decaying terms with zero source at forces both coefficients to zero. The outside magnetic field is exactly the magnetic dipole field of , not merely its leading far-field approximation. For a positive moment along , , which is the printed cross-product magnitude expression.
For the flux coupling of a rotating charged sphere to a circular loop, take a loop of radius in the equatorial plane and use Stokes theorem on the regular full vector potential, evaluated around the rim. Its linked magnetic flux is
With , the mutual inductance defined using this effective electric current is
Integrating an ideal magnetic dipole field through the entire disk would incorrectly use its singular expression inside the actual sphere; the rim calculation avoids that error.
For the prescribed time dependence, the quasistatic Faraday's law of induction result and the purely resistive loop approximation give
Positive loop electric current is defined to produce a positive magnetic dipole moment, so the minus sign is Lenz's law. This assumes negligible retardation and , where is the loop's self-inductance. If that is not negligible, the governing equation is instead ; alone is insufficient for the exact dynamic response.
Choose the outward normal vector on the side of the elliptic cylinder. Parametrize it by
Since points outward, the parameter rectangle has its bottom edge traversed with increasing , its right cut edge with increasing , its top edge with decreasing , and its left cut edge with decreasing . After identification, the two cut edges are the same physical curve with opposite directions. Their line integrals cancel for a single-valued vector field. Viewed from above, the bottom rim is counterclockwise and the top rim clockwise.
Figure 1.
An elliptic cylindrical side cut open into a parameter rectangle, with compatible outward boundary directions
. Details.
To apply Stokes theorem to a flux rather than a curl integral, first find a vector potential:
This vector potential is smooth everywhere. On either horizontal rim, is horizontal whereas is vertical, giving . For a cut at , , so the upward cut contribution is and the downward one is . Consequently
A direct check uses the oriented surface element above: , whose integral over a full turn vanishes. Reversing the chosen orientation still gives zero.
First retain the question's units . Insert the retarded time Dirac delta:
For a point charge, the spatial delta sets . Put , and . The retarded root satisfies . The derivative of the delta's argument is , so for a subluminal trajectory its absolute value is . Performing the time integral gives
All quantities in the denominator are evaluated at the retarded time. The retarded vector potential uses current and the same Jacobian determinant, giving
Restoring physical , the root is , both denominators become , and . Thus . This is the Liénard–Wiechert potential; the Jacobian determinant, rather than merely substituting retarded position into a static Coulomb formula, accounts for the velocity factor.
The Euler-Lagrange equations are
Using time independence of the vector potential gives , which is the component form of
Taking its scalar product with the velocity shows : the kinetic energy is constant, since the magnetic force does no work.
For , the equations give and . Thus and are constants of motion. Substitution into yields
The constant in this representation is nonpositive. The gauge choice also makes the conserved transverse canonical momenta explicit.
Put . From Hamilton's equations,
For the stated time-independent vector potential, differentiating gives , or
Use the Poisson bracket convention . Then direct differentiation gives
For with , the Hamiltonian is independent of , so . The radial force in the horizontal plane is . For circular motion the radial acceleration is , and is the mechanical radial momentum because the horizontal vector potential vanishes. Thus
A circular orbit at that radius is possible when the right side is nonnegative; positive values give either sense of horizontal rotation, and the longitudinal velocity is the constant along that orbit.
For a twice differentiable vector potential , commuting partial derivatives in gives the necessary condition
The potential is not unique: for any sufficiently smooth scalar , has the same curl, since the curl of a gradient is zero. This is the usual gradient freedom of a vector potential. A divergence-free condition alone need not suffice globally on every domain; here only its necessity is requested.
Stokes theorem states that for an oriented surface with compatible boundary orientation,
For the integrand in this problem, a convenient globally smooth vector potential is
The boundary of the upper ellipsoid is the ellipse . The outward normal on the upper surface induces counterclockwise orientation viewed from above, so parameterize it as , . Along this curve the first component of is zero and , leaving
Since the last angular integral is ,
The result is independent of the vertical semiaxis . As a sign check, the field is divergence-free, so closing the cap with the downward-oriented base disc makes its flux the positive integral of over that disc, which has the same value.
Choose the vector potential , whose curl is , and a spin-down wavefunction , independent of . Define
The covariant derivative acts as , and acts as . The Pauli equation consequently reduces to
The sign of the plane-wave phase was chosen to match the printed convention; choosing simply reverses the label .
Set and . On the square-integrable operator domain with vanishing boundary terms, , and
Taking the inner product with gives . Thus .
A zero mode solves , so
Since and , integration on either side of zero gives . Therefore , proving square integrability for every real . Each can be normalized and supplies a distinct momentum label at zero energy. Hence zero energy is infinitely degenerate. In an infinite direction the individual plane waves are generalized momentum states; square-integrable superpositions of their normalized transverse zero modes give ordinary transverse states by the Fourier isometry. The stipulated zero momentum is understood per unit longitudinal length, or with periodic longitudinal normalization.
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 , 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 gives
where is the rate-of-strain tensor. Its antisymmetric part does no stretching, since is symmetric. If bounds the largest eigenvalue of throughout the flow, the first term is at most .
The magnetic free-decay spectral bound for the enclosing insulating sphere is
The 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 , whose first positive root is . 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 yields
Thus
Below 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 :
The poloidal part of the resistive induction equation becomes
There is no term containing that creates new poloidal flux. Fix the gauge by setting 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 and let denote the fluid's angular velocity. Its equation is
Differential rotation can make toroidal field from poloidal field, but it cannot close the reverse loop. When , 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 , so the incompressible flow is tangent to every concentric sphere. No assumption of axisymmetry is made. Define . A direct Cartesian calculation is particularly useful:
The last equality uses , so . Thus the radial magnetic scalar is a passive diffusing scalar, not a regenerated field. Multiplying by , integrating over the sphere and using tangential incompressible advection gives
In an insulating exterior, a spherical harmonic component of degree has , so its boundary contribution is negative: . The monopole component is absent because the magnetic field is solenoidal and regular. The resulting dissipative scalar problem makes , and hence the poloidal field, decay.
When that radial field is absent, the remaining tangential solenoidal field can be written . Its induction equation reduces to a second passive scalar equation. Indeed
and the curl of the last gradient term is zero. Therefore , up to an irrelevant radial gauge function, which can be removed by taking the angular mean of 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 , after which the scalar 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 . Its vector potential obeys after fixing the gauge, so 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 ; 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.
In Lagrangian mechanics, the energy balance for an autonomous Lagrangian uses . For the stationary vector potential the velocity-linear magnetic term cancels in this expression, leaving kinetic energy. In cylindrical coordinates,
Time independence and the cyclic angular coordinate give two constants:
The three Euler-Lagrange equations are
The supplied angular velocity is . Set , and use this constant angular velocity. The radial right-hand side is , the angular momentum is constant, and the vertical equation vanishes when . These equations and the initial data therefore give
For nonzero radius and charge this is the requested circular orbit.
The specified vector potential gives . Put , retaining its sign. The Lorentz force law yields , and . For initial velocities and , integration gives
The transverse motion is a circle centred at with radius . Thus the full orbit is a helix around a line parallel to the magnetic field, with period and signed axial advance per turn. The charge sign determines the sense of rotation. If it is a circle, if it is a straight line parallel to the field, and if all motion is uniform rectilinear motion.
The identity divergence of a curl is zero follows by the symmetry of second partial derivatives and antisymmetry of the Levi-Civita symbol. Therefore
If and is in Coulomb gauge, the curl of the curl identity gives . Apply the supplied scalar Poisson equation representation to each component of the decaying vector potential. In the units of this problem the Coulomb-gauge vector potential of a localized steady current is
Here one needs , and enough localization of for the stated representation and differentiations. A smooth compactly supported current density is a sufficient convenient case. The local differential equations and gauge alone do not impose these conditions: , , satisfy them but do not satisfy the displayed integral formula. The formula selects the decaying solution, excluding nondecaying homogeneous harmonic functions.
With , the gradient of the kernel is . Since is independent of ,
Thus taking the curl gives the Biot-Savart law in the problem's normalization:
Finally, change variables in the integral for . This keeps the singular kernel independent of the differentiation variable:
For smooth localized , differentiation under the integral sign is legitimate: is locally integrable in three dimensions, and on a bounded neighbourhood of the translated sources and their derivatives have common compact support. The integral indeed satisfies Coulomb gauge.
For a twice continuously differentiable vector potential , write the curl with the Levi-Civita symbol:
The second derivatives are symmetric in , whereas is antisymmetric, so the contraction is zero. Equivalently, writing out the three components shows that each mixed derivative cancels its reversed-order partner. Thus
This is divergence of a curl is zero. The regularity hypothesis is what licenses commutation of the mixed partial derivatives; it must not be omitted for a singular potential without specifying a weaker derivative interpretation.