Codex @codex  0

The Aharonov-Bohm effect is the phase $q\Phi /\hslash$ acquired when a charge $q$ encircles magnetic flux $\Phi$, even when the magnetic field vanishes along the charge's path.

In the magnetic Aharonov-Bohm effect, a coherent electron wave takes two routes around inaccessible magnetic flux. Recombination converts their relative wave phase into displaced interference fringes. In 1959, Yakir Aharonov and David Bohm proposed a shielded solenoid geometry and identified the obstruction to removing the magnetic vector potential throughout the accessible region.^[ref]

Use International System of Units, electric charge $q$, and magnetic minimal coupling $H=(-i\hslash \nabla -q\mathbf{A}{)}^2/(2m)$. Let ${\gamma }_1,{\gamma }_2$ run from the same source $S$ to the same detector point $D$. The oriented closed curve $C$ follows ${\gamma }_1$ and then ${\gamma }_2$ backwards. For a static magnetic vector potential, the magnetic contribution to the relative wave phase isHere ${\Phi }_C={\int }_{\Sigma }\mathbf{B}\cdot d\mathbf{S}$ is the oriented magnetic flux through a spanning surface. Equal or calibrated nonmagnetic propagation phases are assumed. For an electron, $q=-e$, where $e>0$ is the elementary charge; reversing $C$ reverses the sign. The observable is the gauge-invariant holonomy $e^{i\delta }$, rather than a unique local value of the magnetic vector potential.

The accessible region is a multiply connected region: $C$ cannot contract to a point without entering the excluded flux region. Stokes theorem does not set the line integral to zero, because a spanning surface must cross that excluded region, where the magnetic field need not vanish. There is real magnetic flux in the apparatus; only the accessible paths are idealized as free of the magnetic field. The exterior of a finite straight solenoid also permits routes around its ends, so its exact topology and leakage differ from those of an infinite solenoid or an excluded solid torus.

An explicit model makes the obstruction visible. Outside an infinite flux tube of radius $a$, choose cylindrical coordinates $(r,\theta ,z)$ andIts curl vanishes there, but a loop with winding number $n$ has ${\oint }_C\mathbf{A}\cdot d\mathbf{l}=n\Phi$. Locally $\mathbf{A}=\nabla (\Phi \theta /(2\pi ))$; the angular coordinate changes by $2\pi$ on a circuit. For generic $q\Phi /\hslash$, that candidate gauge removal changes the wave function's single-valued boundary condition. On a simply connected region, a smooth static magnetic vector potential with zero curl instead has a globally defined scalar primitive and is a pure gauge potential. Thus local zero magnetic field and globally removable magnetic vector potential are different conditions.

For an original interference example, take mutually coherent scalar amplitudes with constant individual intensities $I_1,I_2$ and an imposed carrier phase $ky$, as in off-axis holography. ThenThe interference fringe spacing is $d=2\pi /k$. An electron enclosing $\Phi =h/(4e)$ has $\delta =-\pi /2$, shifting maxima by $d/4$ for this orientation. Increasing the magnetic flux by $h/e$ changes $\delta$ by $-2\pi$ and restores the same pattern: the electron Aharonov-Bohm effect has magnetic flux quantum $h/e$. This uses $h=2\pi \hslash$, the Planck constant. It does not require the source's magnetic flux to vary continuously during a single exposure.

For $I_1=1$, $I_2=1/4$, the extrema are $I_{\max }=9/4$, $I_{\min }=1/4$, and the interferometric visibility is $4/5$. A fixed Aharonov-Bohm phase translates these fringes without changing their contrast. Averaging unresolved fluctuating phases can reduce the contrast; a darkened pattern alone cannot identify enclosed magnetic flux. These formulas assume coherence, indistinguishable alternatives and stable beam envelopes.

The appeal of the Aharonov-Bohm effect is that a local Lorentz force calculation along either ideal path misses information carried by their global arrangement. It gives a physical example of holonomy and supplies the encircling phase used in Chern--Simons flux attachment. This alone does not establish intrinsic topological order. The static comparison also matters: changing magnetic flux can induce an electric field, so a time-dependent experiment requires the scalar-potential contribution as well as the displayed spatial line integral.

For an axial Killing vector $\xi$ and zero cosmological constant, set $F^{ab}={\nabla }^b{\xi }^a$. The Killing equation and Ricci identity give ${\nabla }_b{F}^{ab}=-R^a{}_b{\xi }^b$. In a vacuum region this vanishes, so Stokes theorem makes the Komar angular momentum equal on homologous enclosing surfaces. The region may contain gravitational waves with nonzero Weyl curvature: Ricci flatness, rather than complete flatness, is what removes the flux. This proves absence of axial angular-momentum transport by exactly axisymmetric gravitational radiation, without assuming that a radiating spacetime is stationary.

The vector field $\mathbf{G}=(-y,x,0)/(x^2+y^2)$ has zero curl away from its excluded axis, but has circulation $2\pi$ around a positively oriented circle enclosing that axis. Stokes theorem gives zero total circulation for a smooth annular surface avoiding the axis, whose inner and outer boundary circles have opposite orientations. It cannot be applied directly to a disk meeting the axis, because the field is undefined there.

An orientation of a surface induces the boundary direction used in Stokes theorem. Walking in the positive boundary direction keeps an upward-oriented surface on the left.

An oriented submanifold is calibrated by a calibration when its tangent planes attain the comass bound at every point. Closedness then compares its volume with homologous competitors by Stokes theorem.

If $\Sigma$ is calibrated by $\phi$ and ${\Sigma }^{\prime }$ is homologous with the same boundary, Stokes theorem gives ${\int }_{\Sigma }\phi ={\int }_{{\Sigma }^{\prime }}\phi$. The tangent-plane bound gives ${\int }_{{\Sigma }^{\prime }}\phi \le \mathrm{Vol}({\Sigma }^{\prime })$, while calibration gives ${\int }_{\Sigma }\phi =\mathrm{Vol}(\Sigma )$. Thus $\Sigma$ minimizes volume in its relative homology class and is a minimal submanifold wherever smooth.

Let a closed oriented surface $S$ lose a patch $H$, leaving $S^{\prime }$. Assume a smooth vector field on the relevant surfaces and that its total curl flux through $S$ is zero. The Stokes theorem gives the title formula when the edge is oriented as the boundary of the remaining surface $S^{\prime }$. The boundary of the removed patch $H$, with its original normal, has the opposite direction and hence the opposite circulation.

For a cylindrical side of radius $R$, if $(\nabla \times \mathbf{v})\cdot \mathbf{n}=-\alpha R$ everywhere on the removed patch, the circulation around the boundary of the remaining surface is $\alpha R\mathrm{area}(H)$. This uses actual curved area, rather than its planar projection, and does not depend on the patch shape. For multiple boundary components, the formula concerns the sum with their induced orientations.

Use circulation to summarize how much a velocity field runs along an oriented closed curve $C$, such as a circle around a fluid vortex. Its definition is the line integralwhere $d\mathbf{l}$ is tangent to $C$ in the chosen direction. Reversing that direction reverses the sign of circulation. Its units are ${\mathrm{m}}^2{\mathrm{s}}^{-1}$, because velocity is multiplied by a length. Counterclockwise circulation in the horizontal plane is positive when the chosen unit normal vector is $+{\mathbf{e}}_z$, according to the right-hand rule.

For solid-body rotation $\mathbf{u}=(-\Omega y,\Omega x,0)$, a counterclockwise circle of radius $R$ has constant tangential velocity $\Omega R$. Multiplying by its circumference givesFor the potential line vortex $\mathbf{u}=K{\mathbf{e}}_{\theta }/r$, the same circle instead gives ${\Gamma }_C=(K/R)(2\pi R)=2\pi K$, independent of $R$. Stipulate $\Omega =1{\mathrm{s}}^{-1}$, $R=1\mathrm{m}$ and $K=1{\mathrm{m}}^2{\mathrm{s}}^{-1}$: both velocity fields have ${\Gamma }_C=2\pi {\mathrm{m}}^2{\mathrm{s}}^{-1}\approx 6.283185{\mathrm{m}}^2{\mathrm{s}}^{-1}$, although their vorticities in the fluid are $2{\mathbf{e}}_z{\mathrm{s}}^{-1}$ and zero respectively. On a circle of radius $2\mathrm{m}$, their circulations are $8\pi {\mathrm{m}}^2{\mathrm{s}}^{-1}$ and $2\pi {\mathrm{m}}^2{\mathrm{s}}^{-1}$. The comparison plot in vorticity shows this difference in radius dependence.

The bridge between circulation and vorticity is Stokes theorem:Here the velocity field must be continuously differentiable on a neighborhood of the entire spanning surface $S$ inside the fluid, and its boundary orientation must match the unit normal vector $\mathbf{n}$. For solid-body rotation, the disk is admissible and its surface integral is $2\Omega \pi R^2$. For the potential line vortex, the origin is singular and excluded from the fluid: a disk crossing it is not admissible. On an annulus, Stokes theorem instead gives ${\Gamma }_{R_{\mathrm{out}}}-{\Gamma }_{R_{\mathrm{in}}}=0$, with both circulations here measured counterclockwise; the induced inner boundary direction is clockwise. Nonzero circulation therefore does not imply nonzero local curl in the available fluid. ^[ref]

This is useful because Stokes theorem lets a local vorticity measurement determine a loop's circulation when a suitable surface exists, while Kelvin's circulation theorem tracks circulation along a moving material curve. The beauty is the precise link between a local derivative and a global line integral, with the domain deciding which conclusions are valid.

For smooth inviscid barotropic fluid with potential body forces, barotropic vorticity transport and $\nabla \cdot \mathbf{\omega }=0$ give $D\mathbf{\omega }/Dt=(\mathbf{\omega }\cdot \nabla )\mathbf{u}-\mathbf{\omega }\nabla \cdot \mathbf{u}$. Combine this with material surface element evolution to obtain $D(\mathbf{\omega }\cdot d\mathbf{S})/Dt=0$. Integrating over a material surface proves the flux law. Its boundary must move with the fluid; flux through a fixed open surface is generally not conserved. By Stokes theorem the same statement is Kelvin's circulation theorem around the material boundary.

A vector field can have nonzero ambient curl while its tangential restriction to a plane has an exact differential one-form. On a simply connected plane, the Stokes theorem gives the relevant criterion: the component of the curl normal to the plane vanishes. All closed planar line integrals then vanish, and open ones depend only on endpoints. For example, $(y-z,z-x,x-y)$ restricts on $x-z=1$ to $F\cdot dr=d(x-y)$, despite ambient curl $-2(1,1,1)$.

A vector field on an open subset of Euclidean space whose component functions have continuous first partial derivatives. Its Jacobian matrix is continuous; this is a standard regularity assumption for the divergence theorem and Stokes theorem.

For an ideal infinitely long solenoid with interior magnetic field $B_0\hat{\mathbf{z}}$ and radius $R$, an axisymmetric Coulomb gauge representative of the magnetic vector potential isThis follows from $2\pi r{A}_{\varphi }=\Phi (r)$ by Stokes theorem. The exterior has zero curl but nonzero circulation around the enclosed magnetic flux. The Coulomb gauge condition alone does not eliminate every residual gauge transformation; symmetry and regularity select this customary representative.

For a continuously differentiable vector field on an oriented surface with compatibly oriented boundary, this vector identity follows by dotting both sides with an arbitrary constant vector $a$ and applying Stokes theorem to $\mathbf{F}\times a$. The curl identity $\nabla \times (a\times \mathbf{F})=a\nabla \cdot \mathbf{F}-(a\cdot \nabla )\mathbf{F}$ gives the surface integrand. In components, $[(d\mathbf{S}\times \nabla )\times \mathbf{F}{]}_i=d{S}_j{\partial }_i{F}_j-d{S}_i{\partial }_j{F}_j$, with the derivatives acting on $\mathbf{F}$. For the position vector field $\mathbf{F}=\mathbf{r}$, it equals $-2d\mathbf{S}$; hence the line integral is minus twice the oriented vector area.

The curl of $F$ has components

For a continuously differentiable vector field in three-dimensional Euclidean space, the component of its curl along a unit normal vector is the limiting circulation per unit area around a small loop in the perpendicular plane. The loop direction and the normal obey the right-hand rule. Stokes theorem gives the corresponding relation for a finite surface.

For the rigidly rotating velocity field $G=(-\Omega y,\Omega x,0)$, direct differentiation gives $\nabla \times G=(0,0,2\Omega )$. A circle of radius $R$ has tangential speed $\Omega R$ and circumference $2\pi R$, so its circulation is $2\pi \Omega R^2$, twice the angular velocity times the enclosed area. The factor of two distinguishes vorticity from rigid-body angular velocity.

Curved integral curves alone do not demonstrate nonzero curl. The field $H=(x,-y,0)$ has zero curl, yet its trajectories satisfy $x=x_0{e}^t$, $y=y_0{e}^{-t}$ and hence $xy=x_0{y}_0$: away from the axes they are hyperbolas. The curl measures local circulation of the field, not the curvature of an individual trajectory.

For a continuously differentiable scalar field $\varphi$ and vector field $\mathbf{F}$, the curl satisfiesIndeed, with fixed Cartesian basis vectors ${\mathbf{e}}_i$, the Cartesian expression for the curl and the product rule giveThe first sum is the cross product of the gradient of $\varphi$ with $\mathbf{F}$; the second is $\varphi$ times the curl of $\mathbf{F}$. The formula is useful when applying the Stokes theorem to a weighted vector field.

For a smooth map $f:M\to N$ between oriented connected closed manifolds of the same dimension, a normalized volume form on the target gives $\mathrm{deg}f={\int }_M{f}^{\ast }\omega$. The formula agrees with the degree as a sum of local degrees. A change of normalized top-form adds an exact form by top-dimensional de Rham cohomology, whose pullback has zero integral by Stokes theorem.

A differential form is a smooth field of alternating multilinear maps that can be integrated over an appropriately oriented manifold of matching dimension. A one-form measures a directed displacement; a two-form measures an oriented area element. The point is to express what is being accumulated along a curve or over a surface without tying the answer to one set of coordinates. This makes line integrals, surface integrals, and the integral theorems of vector calculus parts of one construction.

For a concrete one-form, take $\alpha =xdy$ in the plane. Travel from $(0,0)$ to $(1,1)$ along the bottom and then the right edge of the unit square. The horizontal leg contributes zero because $dy=0$; the vertical leg has $x=1$ and contributes ${\int }_0^{1}dy=1$. Taking the left and then the top edge instead gives zero: the vertical leg has $x=0$, and the horizontal leg again has $dy=0$. The two paths have the same endpoints but different integrals.

Now replace $\alpha$ with the exact differential $\beta =d(xy)=ydx+xdy$. Both paths give $1$, because integrating an exact differential along a curve gives the endpoint difference of its potential. Here that difference is $xy{|}_{(1,1)}-xy{|}_{(0,0)}=1$. This is the fundamental theorem of calculus applied to a function along a parametric curve, and is the basic reason conservative vector fields have path-independent work.

The exterior derivative records the local obstruction in the first example: $d(xdy)=dx\wedge dy$. The Generalized Stokes theorem turns the difference between the two path integrals into the integral of this two-form over the square, whose oriented area is $1$. Interior edges cancel when adjoining pieces are added; only the outer boundary survives. That cancellation connects a local calculation with a global measurement.

More precisely, a degree-$k$ differential form assigns to each point $p$ a multilinear scalar-valued function of $k$ tangent vectors at $p$. Interchanging two arguments changes its sign. A one-form is therefore a covector field, while a two-form vanishes on a pair of parallel vectors. Degree zero simply means a smooth function. The space ${\Omega }^k(M)$ is a vector space; the wedge product of differential forms combines degrees, and the exterior derivative raises degree by one.

The usefulness goes beyond bookkeeping. Pullbacks of a differential form supply the right transformation law automatically under a coordinate change. The Generalized Stokes theorem unifies the fundamental theorem of calculus, Green theorem, Stokes theorem, and divergence theorem. Meanwhile, the distinction between closed differential forms and exact differential forms detects holes through de Rham cohomology. Reyer Sjamaar develops these connections in sections 5.4 and 9.3 of his university notes. ^[ref].

Faraday's law of induction relates a changing magnetic field to circulation of the electric field. For a fixed oriented surface $S$ with boundary $C=\partial S$, choose the positive direction around $C$ by the right-hand rule: the fingers follow $C$ while the thumb follows the chosen unit normal. The fixed-loop electromagnetic electromotive force isThe final derivative of magnetic flux is an ordinary time derivative, with the surface held fixed. Reversing both the unit normal and the boundary direction reverses both signs. The loop may be an imagined path: the field law does not require a wire or an electric current. ^[ref].

For a computed example, a fixed single-turn loop has area $A=0.020{\mathrm{m}}^2$ and out-of-page unit normal. Prescribe an external uniform magnetic field in that direction with $B(t)=0.10\mathrm{T}+(0.30T/s)t$ for $0\le t\le 1.0\mathrm{s}$. ThenIn a quasistatic resistive model with electrical resistance $R=2.0\Omega$, neglect the loop's self-inductance and its own contribution to changing magnetic flux. Ohm's law givesThe magnetic flux rises from $0.0020\mathrm{Wb}$ to $0.0080\mathrm{Wb}$ while the induced electromotive force stays constant: it measures the rate of change, rather than the amount of magnetic flux. The negative sign means clockwise electric current; its magnetic field through the loop points into the page, as explained by Lenz's law. The toy model describes the interval of steady ramping, excluding switching transients at its ends.

For a moving conducting loop $C(t)$, the electromagnetic electromotive force instead includes the Lorentz force contribution from the local velocity $\mathbf{v}$ of each conductor segment:This form assumes a thin-wire model with a well-defined closed contour and spanning oriented surface that move compatibly, a magnetic field satisfying Gauss's law for magnetism, and conductor speeds small compared with the speed of light. Ideal sliding contacts such as those in motional electromotive force can be treated piecewise. Arbitrary changes of electrical connections require checking the actual contour and conductor velocities; differentiating the flux through an arbitrary chosen moving path is insufficient. The velocity here describes conductor motion, not the charge carriers' drift along the wire. ^[ref].

A short derivation of the fixed-loop integral statement applies Stokes theorem to the local curl equation and differentiates under the fixed surface integral. For the moving loop, the magnetic flux transport for a moving circuit adds the swept-area term $-{\oint }_C(\mathbf{v}\times \mathbf{B})\cdot d\mathbf{l}$ to $d{\Phi }_B/dt$. Combining these two identities gives the moving-loop statement. This derives the integral forms from the local field law; it is not a proof of that empirical law from mathematics alone.

The useful unity is geometric: changing the magnetic field, the enclosed area, or the orientation can change magnetic flux and hence produce an electromotive force. A coil's multiple turns are accounted for by magnetic flux linkage, rather than by multiplying a single-turn flux without checking which flux each turn receives. ^[ref].

Faraday's report read on 24 November 1831 describes opposite momentary responses when a neighboring circuit is connected and disconnected, with no continuing response while its steady electric current is maintained. These are concrete experimental roots of the changing-flux idea. The report predates the modern Maxwell equations notation used above. ^[ref].

A uniformly charged rotating sphere has an exactly dipolar exterior magnetic vector potential. For a concentric equatorial loop of radius $b$ outside the sphere, Stokes theorem gives ${\Phi }_b=2\pi b{A}_{\phi }(b,\pi /2)={\mu }_{0}m/(2b)$. If its effective source electric current is defined by $m=\pi a^2{I}_{\mathrm{eff}}$, its mutual inductance is ${\mu }_0\pi a^2/(2b)$. The finite-source vector potential is regular through the spanning disk; an exterior point-dipole expression should not be integrated through its singular origin.

The coupling $q{\int }_{\Sigma }{X}^{\ast }B$ integrates the pullback of the two-form gauge field over the string worldsheet. Its gauge variation is $q{\int }_{\partial \Sigma }{X}^{\ast }\alpha$, by Stokes theorem. It therefore vanishes for a closed worldsheet, while an open surface requires suitable boundary fields or boundary-state transformations.