Electric field E \mathbf E E , magnetic field B \mathbf B B , charge density ρ \rho ρ , current density J \mathbf J J , constants ε 0 , μ 0 \varepsilon_0, \mu_0 ε 0 , μ 0 :
∇ ⋅ E = ρ ε 0 , (Gauss’s law) ∇ ⋅ B = 0 , (no magnetic monopoles) ∇ × E = − ∂ B ∂ t , (Faraday) ∇ × B = μ 0 J + μ 0 ε 0 ∂ E ∂ t . (Amp e ˋ re–Maxwell) \begin{aligned}
\nabla \cdot \mathbf{E} &= \frac{\rho}{\varepsilon_0}, & \text{(Gauss's law)} \\
\nabla \cdot \mathbf{B} &= 0, & \text{(no magnetic monopoles)} \\
\nabla \times \mathbf{E} &= -\frac{\partial \mathbf{B}}{\partial t}, & \text{(Faraday)} \\
\nabla \times \mathbf{B} &= \mu_0 \mathbf{J} + \mu_0 \varepsilon_0 \frac{\partial \mathbf{E}}{\partial t}. & \text{(Ampère–Maxwell)}
\end{aligned} ∇ ⋅ E ∇ ⋅ B ∇ × E ∇ × B = ε 0 ρ , = 0 , = − ∂ t ∂ B , = μ 0 J + μ 0 ε 0 ∂ t ∂ E . (Gauss’s law) (no magnetic monopoles) (Faraday) (Amp e ˋ re–Maxwell)
That last term, μ 0 ε 0 ∂ t E \mu_0\varepsilon_0\,\partial_t\mathbf E μ 0 ε 0 ∂ t E (the displacement current), was Maxwell’s insertion — and it predicted electromagnetic waves .
In vacuum (ρ = 0 , J = 0 \rho=0,\ \mathbf J=0 ρ = 0 , J = 0 ), taking the curl of Faraday’s law and substituting Ampère–Maxwell:
∇ 2 E − μ 0 ε 0 ∂ 2 E ∂ t 2 = 0. \nabla^2 \mathbf{E} - \mu_0\varepsilon_0 \frac{\partial^2 \mathbf{E}}{\partial t^2} = 0. ∇ 2 E − μ 0 ε 0 ∂ t 2 ∂ 2 E = 0.
A wave equation. The propagation speed is
c = 1 μ 0 ε 0 ≈ 2.998 × 10 8 m / s . c = \frac{1}{\sqrt{\mu_0 \varepsilon_0}} \approx 2.998 \times 10^{8}\,\mathrm{m/s}. c = μ 0 ε 0 1 ≈ 2.998 × 1 0 8 m/s .
Light is an electromagnetic wave.
● シミュレーション: インタラクティブ 電磁波(重ね合わせ) y = A sin(kx − ωt)
k₁ k₂ ω₁ ω₂
Introduce the four-potential A μ = ( ϕ / c , A ) A^\mu = (\phi/c,\, \mathbf A) A μ = ( ϕ / c , A ) and the field strength tensor
F μ ν = ∂ μ A ν − ∂ ν A μ . F^{\mu\nu} = \partial^\mu A^\nu - \partial^\nu A^\mu. F μν = ∂ μ A ν − ∂ ν A μ .
The four equations collapse into two:
∂ μ F μ ν = μ 0 J ν , ∂ [ α F β γ ] = 0. \partial_\mu F^{\mu\nu} = \mu_0 J^\nu, \qquad
\partial_{[\alpha} F_{\beta\gamma]} = 0. ∂ μ F μν = μ 0 J ν , ∂ [ α F β γ ] = 0.
Manifestly invariant under Lorentz transformations .
L = − 1 4 μ 0 F μ ν F μ ν − J μ A μ . \mathcal L = -\tfrac{1}{4\mu_0} F_{\mu\nu} F^{\mu\nu} - J_\mu A^\mu. L = − 4 μ 0 1 F μν F μν − J μ A μ .
Varying with respect to A μ A^\mu A μ (Euler–Lagrange) reproduces the inhomogeneous Maxwell equations — the field-theoretic generalization of Lagrangian mechanics .
Quantity Across an interface E ∥ \mathbf E_{\parallel} E ∥ continuous B ⊥ \mathbf B_{\perp} B ⊥ continuous D ⊥ \mathbf D_{\perp} D ⊥ jumps by σ f \sigma_f σ f H ∥ \mathbf H_{\parallel} H ∥ jumps by K f \mathbf K_f K f