Formal PDE Models for Electromagnetism, Plasma, and Fluids

2 Electromagnetic Waves

Maxwell’s equations in linear, isotropic, homogeneous media and the derivation of wave equations for vacuum, dielectric, and conducting media.

2.1 Medium Parameters

Definition 2.1 Medium
#

Parameters of a linear, isotropic, homogeneous electromagnetic medium: permittivity \(\varepsilon {\gt} 0\), permeability \(\mu {\gt} 0\), conductivity \(\sigma \ge 0\).

Definition 2.2 Medium.waveSpeed
#

Wave speed in the medium: \(v = 1/\sqrt{\mu \varepsilon }\).

Definition 2.3 Medium.waveSpeedSq
#

Squared wave speed: \(v^2 = 1/(\mu \varepsilon )\).

Lemma 2.4 Medium.waveSpeedSq_pos
#

\(v^2 {\gt} 0\) since \(\mu , \varepsilon {\gt} 0\).

Lemma 2.5 Medium.mu_epsilon_pos
#

\(\mu \varepsilon {\gt} 0\).

Lemma 2.6 Medium.mu_ne_zero
#

\(\mu \ne 0\).

Lemma 2.7 Medium.epsilon_ne_zero
#

\(\varepsilon \ne 0\).

Definition 2.8 vacuum
#

Vacuum medium: \(\varepsilon = \varepsilon _0\), \(\mu = \mu _0\), \(\sigma = 0\).

Definition 2.9 dielectric
#

A lossless dielectric: general \(\varepsilon , \mu \) with \(\sigma = 0\).

Definition 2.10 conductor
#

A conducting medium: \(\sigma {\gt} 0\) introduces damping.

2.2 Maxwell’s Equations

Maxwell’s equations in a linear medium, packaging: Gauss’s law (\(\nabla \! \cdot \! \mathbf{E} = \rho /\varepsilon \)), no monopoles (\(\nabla \! \cdot \! \mathbf{B} = 0\)), Faraday (\(\nabla \! \times \! \mathbf{E} = -\frac{\partial \mathbf{B}}{\partial t}\)), and Ampère-Maxwell (\(\nabla \! \times \! \mathbf{B} = \mu (\mathbf{J}_{\mathrm{free}} + \sigma \mathbf{E}) + \mu \varepsilon \frac{\partial \mathbf{E}}{\partial t}\)).

Definition 2.12 SourceFreeMaxwell
#

A source-free Maxwell system: \(\rho = 0\), \(\mathbf{J}_{\mathrm{free}} = 0\).

Lemma 2.13 SourceFreeMaxwell.gauss_simplified

In source-free systems, \(\nabla \! \cdot \! \mathbf{E} = 0\).

Lemma 2.14 SourceFreeMaxwell.ampere_simplified

In source-free systems, \(\nabla \! \times \! \mathbf{B} = \mu \sigma \mathbf{E} + \mu \varepsilon \frac{\partial \mathbf{E}}{\partial t}\).

2.3 Wave Equation Derivation

Definition 2.15 SufficientlySmooth

Smoothness hypotheses for the wave equation derivation: curl-time commutativity, \(C^2\) conditions for fields and their time derivatives, and differentiability of time derivatives.

\[ \nabla ^2\mathbf{E} = \mu \varepsilon \, \frac{\partial ^2 \mathbf{E}}{\partial t^2} + \mu \sigma \, \frac{\partial \mathbf{E}}{\partial t}. \]

Derived by taking curl of Faraday, applying curl-curl identity with \(\nabla \! \cdot \! \mathbf{E}=0\), and substituting Ampère’s law.

\[ \nabla ^2\mathbf{B} = \mu \varepsilon \, \frac{\partial ^2 \mathbf{B}}{\partial t^2} + \mu \sigma \, \frac{\partial \mathbf{B}}{\partial t}. \]

Derived by taking curl of Ampère, substituting Faraday, and using curl linearity.

Theorem 2.18 Vacuum wave equation for E

\(\nabla ^2\mathbf{E} = \mu _0\varepsilon _0\, \frac{\partial ^2 \mathbf{E}}{\partial t^2}\) in vacuum (\(\sigma = 0\)).

Theorem 2.19 Vacuum wave equation for B

\(\nabla ^2\mathbf{B} = \mu _0\varepsilon _0\, \frac{\partial ^2 \mathbf{B}}{\partial t^2}\) in vacuum.

Theorem 2.20 Vacuum wave speed

\(c = 1/\sqrt{\mu _0\varepsilon _0}\).

Theorem 2.21 Dielectric wave equation for E

\(\nabla ^2\mathbf{E} = \mu \varepsilon \, \frac{\partial ^2 \mathbf{E}}{\partial t^2}\) in a lossless dielectric.

Theorem 2.22 Dielectric wave equation for B

\(\nabla ^2\mathbf{B} = \mu \varepsilon \, \frac{\partial ^2 \mathbf{B}}{\partial t^2}\) in a lossless dielectric.

Theorem 2.23 Dielectric wave speed squared

\(v^2 = 1/(\mu \varepsilon )\) in a dielectric.

Theorem 2.24 Conductor wave equation for E

\(\nabla ^2\mathbf{E} = \mu \varepsilon \, \frac{\partial ^2 \mathbf{E}}{\partial t^2} + \mu \sigma \, \frac{\partial \mathbf{E}}{\partial t}\) (telegraph equation).

Theorem 2.25 Conductor wave equation for B

\(\nabla ^2\mathbf{B} = \mu \varepsilon \, \frac{\partial ^2 \mathbf{B}}{\partial t^2} + \mu \sigma \, \frac{\partial \mathbf{B}}{\partial t}\) (telegraph equation).

Theorem 2.26 Curl of Faraday

\(\nabla \! \times \! (\nabla \! \times \! \mathbf{E}) = -\frac{\partial }{\partial t}(\nabla \! \times \! \mathbf{B})\).