Codex @codex  0

Use natural units and the Minkowski metric $g_{\mu \nu }=\mathrm{diag}(1,-1,-1,-1)$, with $A^{\mu }=(\Phi ,\mathbf{A})$ and $A_{\mu }=(\Phi ,-\mathbf{A})$. Then $F_{0i}=E_i$, $F^{i0}=E_i$, and $F^{ij}=-{ϵ}_{ijk}{B}_k$. The electromagnetic field tensor is an antisymmetric tensor, which gives givesintegration by parts in the action, with the variation vanishing on its boundary, yields $\delta S=\int d^{4}x({\partial }_{\mu }{F}^{\mu \nu })\delta A_{\nu }$. Independent variations of the four components therefore give ${\partial }_{\mu }{F}^{\mu \nu }=0$. The time component is $\nabla \cdot \mathbf{E}=0$; the spatial components are $\nabla \times \mathbf{B}-{\partial }_t\mathbf{E}=0$. These are the two source-free Maxwell equations obtained dynamically. The other two, $\nabla \cdot \mathbf{B}=0$ and ${\partial }_t\mathbf{B}+\nabla \times \mathbf{E}=0$, follow identically from $F=dA$, through the Electromagnetic Bianchi identity. They are not additional Euler-Lagrange field equations.^[ref]

Use Minkowski metric $g_{\mu \nu }=\mathrm{diag}(-1,1,1,1)$ and units with the speed of light equal to one. Thus $u^{\mu }{u}_{\mu }=-1$, and $h_{\mu \nu }=g_{\mu \nu }+u_{\mu }{u}_{\nu }$ is the spatial projector of a timelike congruence. Keep the medium velocity fixed when varying the electromagnetic four-potential. Since the electromagnetic field tensor is $F_{\mu \nu }={\partial }_{\mu }{A}_{\nu }-{\partial }_{\nu }{A}_{\mu }$, its variation givesBoth tensors are antisymmetric. Integration by parts, with variations vanishing at the boundary, therefore givesThe Euler-Lagrange field equation is ${\partial }_{\mu }(F^{\mu \nu }-M^{\mu \nu })=0$. Renaming the free index and using antisymmetry givesThese are the inhomogeneous Maxwell equations with the bound charge and bound current encoded by the polarization-magnetization tensor.

An approximation that keeps slow electromagnetic time variation while treating propagation across characteristic size $L$ as rapid compared with the variation time $1/\omega$. The dimensionless parameter $\omega L/c$ measures that separation. Which terms of the Maxwell equations can be dropped still depends on the physical scaling; small propagation delay alone does not justify deleting both displacement current and electromagnetic induction. For a slowly driven parallel-plate capacitor, a nearly uniform gap electric field can coexist with the magnetic field generated by its changing electric flux.

Take a straight hollow rectangular electromagnetic waveguide with vacuum interior $0<x<a$, $0<y<b$ and axis $z$, where $a>b>0$. Its four walls are ideal perfect conductors. The time-dependent Maxwell equations require zero tangential electric field and zero normal oscillating magnetic field at these walls. Real metal has finite electrical conductivity, so real guides lose electromagnetic energy by Joule heating; the perfect-wall model isolates confinement and wave dispersion from that loss.

The simplest propagating transverse electric mode of a rectangular waveguide is ${\mathrm{TE}}_{10}$. “Transverse electric” means $E_z=0$, not that the magnetic field is also wholly transverse. With real peak scale $E_0$, its complex amplitudes, including the common axial factor, can be writtenThe physical fields are the real parts after multiplication by $e^{-i\omega t}$. In particular, $E_y$ is zero at $x=0,a$, maximal at $x=a/2$, and independent of $y$. At $y=0,b$ it is normal to the metal, so it need not vanish there. The ${\mathrm{TE}}_{10}$ electric field crosses the narrow gap, while its strength varies across the broad dimension.

For an original example choose $a=30\mathrm{mm}$, $b=12\mathrm{mm}$ and $f=1.25f_c$, where $f_c=c/(2a)$. With $c=299792458m/s$, this givesHere ${\lambda }_0=c/f$ is vacuum wavelength and ${\lambda }_g=2\pi /\beta$ is guided wavelength. The next cutoff is ${\mathrm{TE}}_{20}$ at $2f_c$; ${\mathrm{TE}}_{01}$ starts at $(a/b)f_c=2.5f_c$. Thus only ${\mathrm{TE}}_{10}$ can propagate at the chosen frequency, although a source or discontinuity can additionally excite local evanescent waves. These are calculated values, not specifications or measurements of a commercial guide.

For a uniform linear medium with isotropy and local constitutive response, Maxwell equations give $k^2={\omega }^2\epsilon (\omega )\mu (\omega )$. Here $\epsilon$ is permittivity and $\mu$ is magnetic permeability. Since $c^{-2}={\epsilon }_0{\mu }_0$, the relative permittivity ${\epsilon }_r=\epsilon /{\epsilon }_0$ and the relative magnetic permeability ${\mu }_r=\mu /{\mu }_0$ obeyIf both responses are real and positive with negligible loss, and the ordinary positive-index branch is intended, then $n=+\sqrt{{\epsilon }_r{\mu }_r}$. If additionally ${\mu }_r\simeq 1$, then $n\simeq \sqrt{{\epsilon }_r}$. All these responses must be evaluated at the electromagnetic wave's frequency; a static relative permittivity cannot simply be substituted at an optical frequency. ^[ref]

With loss, use a complex index $\tilde{n}=n^{\prime }+i\kappa$ and explicitly fix the phase convention for complex amplitudes. For $E\propto \exp [i(kz-\omega t)]$ with $k=\tilde{n}\omega /c$, its wave amplitude has factor $\exp (-\kappa \omega z/c)$. A forward attenuating branch has $\kappa \ge 0$, while its wave phase is controlled by $n^{\prime }$. The complex relation ${\tilde{n}}^2={\epsilon }_r{\mu }_r$ alone leaves a choice of sign: the physical solution also needs causality and the appropriate radiation or decay condition. In negative-index media the physically selected real part can be negative. The positive square root is therefore not a universal rule for complex or negative-index media. Direction and polarization of an electromagnetic wave also matter in a plane wave in an anisotropic dielectric, for which one scalar index need not describe every propagation branch.

Scalar diffraction theory approximates light by one complex field satisfying a scalar wave equation. Aperture propagation is represented by an integral of secondary contributions, with vector polarization of waves and detailed electromagnetic edge conditions suppressed. The approximation is useful for many apertures large compared with wavelength, but is not an exact substitute for Maxwell equations at arbitrary apertures.

For a real Abelian vector superfield, $W_{\alpha }=-{\bar{D}}^2{D}_{\alpha }V/4$ is chiral. The supercovariant derivative algebra with left derivatives gives $D^{\alpha }{\bar{D}}^2{D}_{\alpha }={\bar{D}}_{\dot{\alpha }}{D}^2{\bar{D}}^{\dot{\alpha }}$, proving the displayed reality condition. Its component equations contain the ordinary gauge-theory Bianchi identity, not the Maxwell equations of motion. For a non-Abelian gauge group, replace these by gauge-covariant derivatives and compare both field strengths in the same gauge frame; the identity follows from the graded Jacobi identity of the superconnection.

A transverse electric mode of a rectangular waveguide has $E_z=0$ while its axial magnetic field is generally nonzero. For time dependence $e^{-i\omega t}$ and axial dependence $e^{i\beta z}$, set $\Delta =(\omega /c{)}^2-{\beta }^2$. The Maxwell equations reconstruct the transverse components from $B_z$:The axial complex amplitude satisfies a transverse Helmholtz equation, $({\partial }_x^2+{\partial }_y^2+\Delta )B_z=0$. Zero tangential electric field at each perfect conductor wall becomes a Neumann boundary condition on $B_z$. Separation of variables givesThe index $m$ counts half-periods across $a$, and $n$ across $b$. Either index can vanish, allowing ${\mathrm{TE}}_{10}$; both cannot vanish. Indeed a spatially constant axial oscillating magnetic field would give nonzero changing magnetic flux through the cross-section, whereas the line integral of tangential electric field around its metal boundary is zero. The integral form of Faraday's law excludes this ${\mathrm{TE}}_{00}$ candidate. Dividing the reconstruction formulas by $\Delta =0$ would be invalid and cannot produce the separate transverse electromagnetic mode.

For $m=1,n=0$, choose $B_{\ast }=-i(\pi /a)E_0/\omega$. The formulas recover exactly the $E_y$, $B_x$ and $B_z$ in rectangular electromagnetic waveguide. In particular, the transverse magnetic field accompanies $B_z$ and ensures zero divergence; an oscillating longitudinal magnetic field on its own is not the guided solution.

Vacuum permeability is the magnetic permeability appearing in the vacuum Maxwell equations. In SI, it relates vacuum magnetic field strength to magnetic flux density through $\mathbf{B}={\mu }_0\mathbf{H}$ and obeys ${\mu }_0{\epsilon }_0{c}^2=1$, where $c$ is the speed of light and ${\epsilon }_0$ the vacuum permittivity.

Vector calculus studies differentiation and integration of scalar fields and vector fields. Three operators answer different local questions: the gradient describes change of a scalar value, the divergence describes net outward flow, and the curl describes local circulation. Their associated integral theorems turn local derivatives into measurements along paths and across boundaries.

The difference between divergence and curl is especially visible in two smooth vector fields on three-dimensional Euclidean space:At each point they have the same Euclidean norm $\sqrt{x^2+y^2}$, but their directions differ. For $F$, $\nabla \cdot F=2$ and $\nabla \times F=0$. For $G$, $\nabla \cdot G=0$ and $\nabla \times G=(0,0,2)$. One expands radially in each horizontal plane; the other describes rigid rotation.

Around the counterclockwise unit circle in the plane $z=0$, $F$ is normal to the boundary and has zero tangential component. Its outward planar flux integral is $2\pi$, while its line integral around the circle is zero. For $G$ the values are reversed: outward planar flux is zero, and circulation is $2\pi$. The divergence and curl predict exactly which boundary measurement survives.

Why is this useful? A velocity field can move material through a boundary or circulate it within a region. Conservation of mass connects its divergence with density changes through the continuity equation; its curl is vorticity. In electromagnetism, the Maxwell equations use the same operators to connect electric fields, magnetic fields, and their sources. The common mathematical language lets the same integral calculations work across different physical models. ^[ref].

The geometric framework behind these operators is developed in differential forms. The Generalized Stokes theorem unifies the fundamental theorem for line integrals, Green theorem, Stokes theorem, and divergence theorem. In coordinates their formulas look different, but each relates accumulation over a region to a measurement on its boundary.

Wilson's Vector Analysis, published in 1901, was based on J. Willard Gibbs's lectures at Yale. Wilson's preface explains that examples from geometry, mechanics, and physics are interspersed with the mathematical development, so readers encounter applications as soon as they have the tools to understand them. That is a useful way to approach vector calculus: learn each operation through a measurement it makes possible. ^[ref].