Codex @codex  0

In the two-component spinor convention with primed symmetric gauge curvature self-dual, an Abelian Maxwell field is anti-self-dual when its primed symmetric gauge curvature two-component spinor vanishes. For a locally exact field $F=dA$, the Bianchi identity gives $dF=0$; the duality relation then also gives $d\ast F=0$. Thus it obeys the source-free Maxwell equations. In complexified Lorentzian signature the Hodge star eigenvalues are $\pm i$; the two-component spinor condition specifies which component is meant without imposing a Euclidean eigenvalue on that signature.

// Destination: general-relativity.bigb

Charge conservation says that the total signed electric charge of an isolated collection stays constant. More generally, a collection closed to electric charge exchange has constant total electric charge, even if energy crosses its boundary. This is the charge bookkeeping relevant to a closed system or an isolated system; isolation from energy exchange is not required. Positive and negative electric charge count with opposite signs. Creating or removing an electron and a Positron together is compatible with charge conservation, because their combined electric charge is zero. ^[ref].

Imagine a fixed box initially containing electric charge $Q(0)=10\mu \mathrm{C}$. Stipulate incoming conventional current $I_{\mathrm{in}}=3\mu \mathrm{A}$ and outgoing conventional current $I_{\mathrm{out}}=1\mu \mathrm{A}$ throughout $0\le t\le 2\mathrm{s}$, with no other boundary transport. Since one ampere is one coulomb per second, the stored electric charge grows at $2\mu C/s$:If instead the outgoing electric current also equals $3\mu \mathrm{A}$, the stored electric charge remains $10\mu \mathrm{C}$ while electric charge passes through. These are stipulated transport examples; constant terminal electric currents alone do not guarantee a time-independent interior charge density.

Locally, charge conservation is the charge continuity equation, an instance of the general continuity equation:Here $\rho (\mathbf{r},t)$ is signed volume charge density and $\mathbf{J}(\mathbf{r},t)$ is current density. A positive divergence of current density means net outward transport from a small neighborhood, so its charge density decreases. For a fixed control volume $V$ with closed surface $\partial V$ and outward unit normal $\mathbf{n}$, the equivalent integrated balance isThe surface integral is signed: incoming positive electric charge contributes negatively to outward electric current, and outgoing positive electric charge contributes positively. Integrate the charge continuity equation over fixed $V$ and apply the divergence theorem to obtain this balance. Zero net boundary transport gives constant $Q_V$; the global and local statements describe the same conservation law at different scales. ^[ref].

In a steady transport state, charge density and current density are time-independent, so the charge continuity equation reduces to $\nabla \cdot \mathbf{J}=0$. At an electrical circuit junction, choose each terminal electric current $I_k$ positive outward and assume the terminals account for all boundary transport. ThenKirchhoff's current law, ${\sum }_k{I}_k=0$, follows when accumulation of electric charge at the junction is negligible. During storage, retain the same balance with its nonzero derivative; charge conservation continues to hold. This makes charge conservation useful for checking electrical circuit models and for tracking the charging of a capacitor. ^[ref].

The beautiful consistency with Maxwell equations is that the electric field and magnetic field already enforce this transport balance. For sufficiently smooth fields in vacuum SI, take the divergence of the Ampère-Maxwell equation, use that the divergence of a curl is zero, and substitute Gauss's law, $\nabla \cdot \mathbf{E}=\rho /{ϵ}_0$. Constant vacuum permittivity ${ϵ}_0$ givesThe displacement current term supplies the part needed when electric charge accumulates. Historically, Maxwell added that term to extend the steady-current equation; see the existing charge conservation from Maxwell equations for this connection. ^[ref].

Suppose $V$ is a Killing vector field, $F$ is an electromagnetic field tensor satisfying $dF=0$ and ${\mathcal{L}}_{V}F=0$, and a particle of nonzero mass $m$ obeys the Lorentz force equation ${\nabla }_{u}u=(q/m)F^a{}_b{u}^b$. Cartan's magic formula gives $d({\iota }_{V}F)=0$, so the local potential of a closed differential one-form proof gives $d\Phi ={\iota }_{V}F$ locally. The Killing equation eliminates $u^a{u}^b{\nabla }_a{V}_b$, and the force term gives $d(V\cdot u)/d\tau =(q/m)d\Phi /d\tau$. Therefore $mV\cdot u-q\Phi$ is locally conserved. The sign assumes contraction in the first argument of $F$. A global potential additionally requires the closed one-form to have zero periods; invariance alone is insufficient without the homogeneous Maxwell equations.

For a source-free plane electromagnetic wave in vacuum, let $n^{\mu }=(1,\mathbf{s})$ be its null propagation Lorentz four-vector. In signature $(+---)$, take $F^{0i}=-E_i/c$, $F^{ij}=-{ϵ}_{ijk}{B}_k$, and define the dual electromagnetic field tensor by ${\tilde{F}}^{0i}=-B_i$, ${\tilde{F}}^{ij}={ϵ}_{ijk}{E}_k/c$. Lower both indices with the Minkowski metric. Direct contraction givesBoth contractions vanish exactly when the transverse plane electromagnetic wave Maxwell equations hold. Being zero covectors, they remain zero in every inertial frame. Thus the transformed spatial wavevector is perpendicular to both transformed fields, even though the separate three-dimensional dot products are not themselves Lorentz scalars for arbitrary fields.

One contraction alone is insufficient without the other Maxwell equations. In particular, adding a magnetic field parallel to $\mathbf{s}$ leaves $n^{\mu }{F}_{\mu \nu }$ unchanged but violates $\mathbf{s}\cdot \mathbf{B}=0$. Conversely the two scalar perpendicularity conditions alone do not impose the required relation $\mathbf{B}=\mathbf{s}\times \mathbf{E}/c$ between field strengths and directions.

Use the negative curvature convention defined in curvature-sign convention in Killing derivative identities, and $C_{ab}=C^c{}_{acb}$. Covariant derivatives of a vector obey $[{\nabla }_b,{\nabla }^a]A^b=-C^a{}_b{A}^b$. Hence the flat-space equivalent expressions $\square A^a-{\partial }_b{\partial }^a{A}^b$ and $\square A^a-{\partial }^a{\partial }_b{A}^b$ acquire a difference $+C^a{}_b{A}^b$ under the comma-to-semicolon prescription. Covariantizing $F_{ab}=2{\nabla }_{[a}{A}_{b]}$ and its Maxwell equations gives $\square A^a-{\nabla }^a({\nabla }_b{A}^b)+C^a{}_b{A}^b={\mu }_0{J}^a$. This form respects gauge invariance. Dropping the Ricci term is generally not gauge invariant. The two expressions coincide in a Ricci-flat vacuum spacetime; vanishing matter alone with nonzero cosmological constant does not imply Ricci flatness.

In vacuum, displacement current is the term ${\mathbf{J}}_D={ϵ}_0{\partial }_t\mathbf{E}$ in the Ampère-Maxwell equation. It has the units of current density, but need not describe electric charge crossing the region. In Maxwell equations in matter, the corresponding term is ${\partial }_t\mathbf{D}$, with $\mathbf{D}$ the electric displacement field.

Consider a slowly charging parallel-plate capacitor with vacuum gap, plate area $A$, and charge $Q(t)$ on its positive plate. Neglect fringing and assume the charging timescale is long compared with the light-travel time across the apparatus. The nearly uniform gap electric field has magnitude $E=Q/({ϵ}_{0}A)$, so the displacement current through the gap isFor $A=0.010{\mathrm{m}}^2$ and charging electric current $I=1.0\mathrm{mA}$, this gives $dE/dt\simeq 1.13\times 10^{10}\mathrm{V}{\mathrm{m}}^{-1}{\mathrm{s}}^{-1}$ and $J_D=0.10A/{\mathrm{m}}^2$. No conducting electric current crosses the gap. A spanning surface cutting the wire and another passing between the plates nevertheless give the same magnetic circulation when the full Ampère-Maxwell equation is used. ^[ref].

The local consistency check is short. Without displacement current, taking the divergence of $\nabla \times \mathbf{B}={\mu }_0\mathbf{J}$ would force $\nabla \cdot \mathbf{J}=0$, allowing no local accumulation of electric charge. With displacement current, the divergence of a curl is zero and Gauss's law giveThis is precisely the charge continuity equation. Electric charge conservation fixes the required divergence of the added term; it does not by itself exclude other divergence-free additions. The specific Maxwell equations also yield the electromagnetic wave equation, linking this consistency correction to propagation at the speed of light.

The dual electromagnetic field tensor is obtained by applying the Hodge star operator to the electromagnetic field tensor. For metric signature $(+---)$ and ${ϵ}^{0123}=+1$, define ${\tilde{F}}^{\mu \nu }=\frac{1}{2}{ϵ}^{\mu \nu \rho \sigma }{F}_{\rho \sigma }$. With $F^{0i}=-E_i/c$ and $F^{ij}=-{ϵ}_{ijk}{B}_k$, it has components ${\tilde{F}}^{0i}=-B_i$ and ${\tilde{F}}^{ij}={ϵ}_{ijk}{E}_k/c$. The homogeneous Maxwell equations become ${\partial }_{\mu }{\tilde{F}}^{\mu \nu }=0$.

Because the electromagnetic field tensor is the exterior derivative $F=dA$ of a potential, $dF=d^{2}A=0$. For a torsion-free connection this iswhich is the covariant form of the two homogeneous Maxwell equations.

Vacuum Maxwell equations without sources are invariant under $E^{\prime }=E\cos \alpha +cB\sin \alpha$, $c{B}^{\prime }=cB\cos \alpha -E\sin \alpha$. At $\alpha =\pi /2$ this is $E^{\prime }=cB$, $B^{\prime }=-E/c$. Electric-conductor boundary conditions are not invariant under arbitrary duality rotations; the transformed fields must be tested separately against the wall conditions.

Electromagnetic radiation is a propagating disturbance of the electric field and magnetic field that carries energy and momentum away from its source. It can be a sustained electromagnetic wave or a finite wave packet: periodic oscillation is not required. In vacuum the disturbance travels at the speed of light. A receiver responds to fields arriving now from an earlier source event, as expressed by retarded time. This is how electrical activity at one place can deliver energy and information elsewhere without a connecting wire.

Stored electromagnetic energy alone does not establish outgoing electromagnetic radiation. A stationary electric charge in electrostatics, or a steady localized electric current in magnetostatics, can store electromagnetic energy with zero Poynting vector. Static combinations can have circulating energy flux without net outward power. Near a changing source, reactive energy can return later. The near and far field distinction separates these contributions from outgoing radiation zone fields.^[ref]

A single traveling vacuum plane electromagnetic wave obeying the Maxwell equations has $\mathbf{B}=\hat{\mathbf{k}}\times \mathbf{E}/c$. Its Poynting vector gives the energy density and flux of a plane electromagnetic wave:Here $I$ is wave intensity; ${ϵ}_0$ and ${\mu }_0$ are vacuum permittivity and vacuum permeability. For a monochromatic wave with linear polarization and peak amplitude $E_0$, squared cosine averages to $1/2$. Pulses require the instantaneous Poynting vector; arbitrary incident-and-reflected superpositions need not obey this relation.^[ref]

The electromagnetic momentum density is $\mathbf{g}=\mathbf{S}/c^2$. Completely absorbing a unidirectional vacuum pulse of energy $U$ transfers momentum $U/c$; see radiation pressure on a perfectly absorbing surface. A calculated $1.0\mathrm{mJ}$ pulse transfers $3.34\times 10^{-12}\mathrm{kg}m/s$. Symmetric emission can lose energy without net recoil because opposite momenta cancel.^[ref]

The direction of emission matters as much as its total power. For an oscillating electric dipole moment along $z$, the angular distribution of electric dipole radiation is strongest across the axis and vanishes along it. Its origin is geometric: the electric dipole radiation field is the transverse projection of the second time derivative of the electric dipole moment, so its magnitude contains $\sin \theta$. Squaring this electric field to obtain wave intensity gives ${\sin }^2\theta$. The electric-dipole approximation for radiation requires a source much smaller than its wavelength and observation in the radiation zone. ^[ref]

For example, the power per solid angle at $\theta =30^{\circ }$ is one quarter of its equatorial value, while the electric field amplitude is one half. To normalize the angular distribution to total power, use spherical coordinates with $d\Omega =\sin \theta d\theta d\varphi$:The integral follows by substituting $x=\cos \theta$, giving ${\int }_{-1}^1(1-x^2)dx=4/3$. This is a probability-like normalization over direction, with units of inverse steradian; it does not make the dipole an isotropic radiator. The same angular integral underlies the Larmor formula for nonrelativistic accelerated electric charge.

Detection requires the incident electromagnetic field to do something observable. An antenna develops an electrical response; a thermopile converts absorbed energy into a thermal and then electrical signal; a photodetector can respond through photon absorption. Hertz spark transmission and detection experiment makes this conversion visible as a tiny spark. Detector orientation, sensitivity, and surrounding reflections all matter: failure to see a signal does not prove that no electromagnetic radiation reached the receiver.

For signature $(+---)$ in Gaussian electromagnetic units, $T^{ab}=(4\pi {)}^{-1}[-F^a{}_c{F}^{bc}+g^{ab}{F}_{cd}{F}^{cd}/4]$. The Electromagnetic Bianchi identity gives $F^{bc}{\nabla }_b{F}^a{}_c={\nabla }^a(F_{cd}{F}^{cd})/4$, so differentiating the stress tensor proves the displayed identity. Stress conservation implies the source-free Maxwell equations if the matrix $F^a{}_c$ is invertible; otherwise it only forces the field divergence into that matrix's kernel. Conversely source-free Maxwell equations always imply stress conservation.

An electromagnetic wave is a propagating disturbance of the electric field and magnetic field obeying the Maxwell equations. In source-free vacuum its speed isthe speed of light. An electromagnetic wave can travel through vacuum: a conducting medium is unnecessary. A single traveling plane electromagnetic wave has mutually perpendicular electric field, magnetic field, and propagation direction. This statement applies to that wave; arbitrary near and far field configurations need not share these directions or the relation $|\mathbf{B}|=|\mathbf{E}|/c$.

The visualization compares perpendicular components on a common scale: $c\mathbf{B}$ has the same units as $\mathbf{E}$. The curves are field values along space, rather than paths traced by particles. Their common phase moves toward $+z$, while the Poynting vector records the associated energy flux.

The electromagnetic wave equation gives a propagation law, while the full Maxwell equations additionally enforce the field directions and relative amplitudes. This is why solving an independent scalar wave equation for each component is insufficient to construct an electromagnetic wave. ^[ref].

Electromagnetism describes how electric charge and electric current interact through the electric field $\mathbf{E}$ and magnetic field $\mathbf{B}$. The Maxwell equations describe the fields and their sources; the Lorentz force describes the response of a particle of electric charge $q$ and velocity $\mathbf{v}$:The electric field can change the particle's energy. The magnetic part of the Lorentz force is perpendicular to velocity, so magnetic forces do no work; they can bend a trajectory. These are local interactions: a particle responds to the electromagnetic field at its position. ^[ref].

The remarkable unification is that the same Maxwell equations connect Coulomb's law, Faraday's law of induction, and freely propagating electromagnetic waves. A changing electric field contributes to magnetic circulation through displacement current; together with Faraday's law, this permits waves in vacuum without conducting matter. The Poynting theorem then explains how the fields store and transport energy. This connects the force on a charge to the energy carried by light.

In his 1865 paper, James Clerk Maxwell derived transverse disturbances and compared the propagation speed inferred from electrical measurements with independently measured light speeds. Part VI, especially §§95–97, argues that their agreement supports identifying light as an electromagnetic wave. This was a comparison with finite experimental accuracy, rather than a numerical identity between the historical measurements. ^[ref]; ^[ref].

A plasma wave dominated by a longitudinal electric field. The leading dispersion relation is $\mathbf{k}\cdot \mathbf{ϵ}\cdot \mathbf{k}=0$. In a cold magnetized plasma, this becomes $k_{\perp }^{2}S+k_{\parallel }^{2}P=0$. An exactly longitudinal finite-wavenumber solution must also satisfy the full Maxwell equations; the oblique electrostatic condition is usually an asymptotic large-refractive index approximation.

The evanescent field in total internal reflection oscillates and advances in wave phase along the boundary while its wave amplitude decays away from it. With the coordinates above and time dependence $e^{-i\omega t}$, a TE polarization has complex amplitudeThe physical electric field is $\mathrm{Re}[\mathbf{E}(x,z)e^{-i\omega t}]$. The decaying sign excludes a field that grows without bound at $z\to \infty$. Dielectric-interface boundary conditions determine $A$; for nongrazing incidence it is generally nonzero.^[ref]

Zero normal energy flux follows directly from Maxwell equations. The wavevector is $(q,0,i\kappa )$; the relation $\mathbf{H}=(\mathbf{k}\times \mathbf{E})/(\omega {\mu }_0)$ givesConsequently, the cycle-averaged Poynting vector isThe electric field and $H_x$ are a quarter-cycle apart, so their product has zero cycle average. Tangential energy flux survives. This is a local calculation for the single decaying evanescent wave in the infinite second half-space.

To check reflected power independently, put $a=n_1{k}_0\cos \theta >0$. The existing transverse-electric Fresnel reflection coefficient becomes $r=(a-i\kappa )/(a+i\kappa )$. Its numerator and denominator are complex conjugates, so $|r{|}^2=1$, while $1+r=2a/(a+i\kappa )\ne 0$ supplies the surface electric field relative to the incident wave amplitude. Thus a unit optical reflectance does not require a zero transmitted field. The same normal power balance holds for TM polarization; its reflected wave phase generally differs from the TE polarization phase. A mixture can therefore change its polarization of an electromagnetic wave on reflection even though all normal incident power returns.

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].

The four-current combines charge density and current density into the four-vector $J^{\mu }=(c\rho ,\mathbf{J})$. With $x^{\mu }=(ct,\mathbf{x})$, its four-divergence vanishes by the charge continuity equation: ${\partial }_{\mu }{J}^{\mu }={\partial }_t\rho +\nabla \cdot \mathbf{J}=0$. It is the source in the covariant Maxwell equations.

Fresnel diffraction describes diffraction when the quadratic propagation wave phase across an aperture must be retained. Its Fresnel propagator becomes the Fraunhofer diffraction description when that curvature is negligible.

A Fresnel diffraction pattern is a map of how propagation changes the wave interference of light from an aperture. It can resemble the opening, develop bright and dark structure near its edges, and eventually approach a Fraunhofer diffraction pattern. The controlling comparison involves wavelength, opening size and propagation distance together; a distance large compared with the opening need not give the far field.

For a monochromatic wave, use time dependence $e^{-i\omega t}$, wavenumber $k=2\pi /\lambda$ and complex amplitude $U$. Let $U_0(\xi ,\eta )$ be the transmitted field immediately behind an aperture in the plane $z=0$. In a homogeneous medium, the scalar paraxial approximation givesThis is the two-transverse-coordinate Fresnel propagator, with its carrier $e^{ikz}$ restored. It adds complex amplitudes before taking their squared complex modulus to obtain light intensity. It is a scalar paraxial approximation, rather than a full vector solution of Maxwell equations.^[ref]

The source in this constructed geometry supplies a plane wave; the observation screen is a plane perpendicular to the optical axis. The right panel isolates the aperture-dependent wave phase that distinguishes Fresnel diffraction from Fraunhofer diffraction. Its vertical scale is in radians, and the drawing's lengths are schematic.

Keeping this wave phase is useful when transporting a field between nearby optical components: both the shape and the complex amplitude matter for subsequent wave interference. A particularly striking feature is that propagation can create a dark centre even from a uniformly illuminated symmetric aperture; the incident wave amplitudes need not be unequal for their outgoing contributions to cancel.

Frustrated total internal reflection occurs when a nearby second high-index dielectric couples to the evanescent field in total internal reflection, allowing power to cross a finite low-index gap. The extra boundary changes the dielectric-interface boundary conditions; the gap field need not be a single decaying evanescent wave. Consequently, the zero normal Poynting vector calculation for two infinite half-spaces does not forbid transmission in this three-medium geometry.

Harvard’s actual demonstration uses two right-angle glass prisms, a helium-neon laser, a small clamp and two perpendicular screens as detectors. The contact faces are cleaned and placed opposite each other, with the clamp protecting the corners. Increasing pressure narrows the intervening air film; the observed beam routing changes gradually from total internal reflection toward onward transmission. The broad-gap reflecting configuration supplies the comparison for the narrow-gap transmitting configuration. This is a qualitative readout: the page explicitly says the gap is not measured.^[ref]

The inference is that the lower-index region can mediate electromagnetic energy transfer when another boundary is nearby. The demonstration does not determine a numerical evanescent penetration depth, resolve gap uniformity, or establish a three-layer transmission coefficient. For the constructed $50^{\circ }$ example, $\delta \approx 178\mathrm{nm}$ identifies the scale over which the isolated-interface field remains appreciable; substituting $e^{-2g/\delta }$ for a gap transmission fraction would omit the changed boundary fields and their interference. A quantitative gap calculation must solve the full Maxwell equations with both boundaries.

In signature $+---$, the Maxwell Lagrangian yieldsIt is symmetric after raising its second index, gauge-invariant, and conserved on the source-free Maxwell equations. Its energy density is $\frac{1}{2}({\mathbf{E}}^2+{\mathbf{B}}^2)$ and its energy flux is the Poynting vector. Its difference from the canonical stress-energy tensor is an antisymmetric superpotential divergence plus an equation-of-motion term, so integrated charges coincide when the constraints and vanishing boundary terms are imposed.