Time-Domain Maxwell Equations

• Time-domain Maxwell equations are a hyperbolic system describing dynamic interactions between electric and magnetic fields in media through coupled PDEs.
• The weak formulation guarantees unique and energy-conserving solutions while establishing well-posedness via advanced function space settings.
• Structure-preserving finite element discretizations, supported by convergence analysis and discrete Gauss law preservation, enable accurate electromagnetic simulations.

The time-domain Maxwell equations are the fundamental hyperbolic system governing the dynamics of electric and magnetic fields in media, expressed as a coupled first-order system of partial differential equations. Their precise mathematical formulation and rigorous analysis are central to theoretical and computational electromagnetics. The subject encompasses continuous well-posedness, structure-preserving discretizations, and convergence analysis in the presence of rough data, complex geometries, and heterogeneous material parameters.

1. Weak Formulation and Function Space Setting

Let $\Omega \subset \mathbb{R}^3$ be a bounded Lipschitz domain and $[0,T]$ a finite time interval. Material tensors $$\varepsilon, \mu, \sigma \in L^\infty(\Omega;\mathbb{R}^{3\times 3})$$ are symmetric, with $\varepsilon, \mu$ uniformly elliptic (i.e., $\xi^T\varepsilon(x)\xi \ge \varepsilon_0|\xi|^2$, $\xi^T\mu(x)\xi \ge \mu_0|\xi|^2$ a.e.), and $\sigma$ positive semi-definite. For given data $f \in L^2(0,T;L^2(\Omega)^3)$ and initial fields $E_0, B_0 \in L^2(\Omega)^3$ with $\operatorname{div} B_0 = 0$, the first-order time-domain Maxwell system reads:

$[0,T]$0

for all $[0,T]$1, $[0,T]$2 a.e. in $[0,T]$3, with $[0,T]$4, $[0,T]$5. The field regularities are $[0,T]$6 and $[0,T]$7 (Antil, 23 Oct 2025).

The function spaces are:

• $[0,T]$8,
• $[0,T]$9,
• $$\varepsilon, \mu, \sigma \in L^\infty(\Omega;\mathbb{R}^{3\times 3})$$0.

2. Well-Posedness: Existence, Uniqueness, and Energy Identity

The weak formulation admits a unique solution under the given data and boundary conditions. The argument for uniqueness utilizes interior-in-time mollification, circumventing reflection or extension techniques. For two weak solutions $$\varepsilon, \mu, \sigma \in L^\infty(\Omega;\mathbb{R}^{3\times 3})$$1, $$\varepsilon, \mu, \sigma \in L^\infty(\Omega;\mathbb{R}^{3\times 3})$$2 with identical data, setting the differences $$\varepsilon, \mu, \sigma \in L^\infty(\Omega;\mathbb{R}^{3\times 3})$$3 and constructing regularized mollifications, energy testing yields:

$$\varepsilon, \mu, \sigma \in L^\infty(\Omega;\mathbb{R}^{3\times 3})$$4

with energy functional

$$\varepsilon, \mu, \sigma \in L^\infty(\Omega;\mathbb{R}^{3\times 3})$$5

Since $$\varepsilon, \mu, \sigma \in L^\infty(\Omega;\mathbb{R}^{3\times 3})$$6, Grönwall's lemma enforces $$\varepsilon, \mu, \sigma \in L^\infty(\Omega;\mathbb{R}^{3\times 3})$$7 (Antil, 23 Oct 2025).

Existence follows via Galerkin approximation: choosing bases in $$\varepsilon, \mu, \sigma \in L^\infty(\Omega;\mathbb{R}^{3\times 3})$$8 and $$\varepsilon, \mu, \sigma \in L^\infty(\Omega;\mathbb{R}^{3\times 3})$$9, seeking finite-dimensional representations for $\varepsilon, \mu$0, $\varepsilon, \mu$1 and $\varepsilon, \mu$2, and passing to the limit using uniform energy estimates and weak-* compactness.

The (continuous) energy identity for any weak solution is: $\varepsilon, \mu$3

Furthermore, strong continuity holds: $\varepsilon, \mu$4.

The solution obeys the a priori estimate: $\varepsilon, \mu$5

3. Structure-Preserving Semi-Discrete Finite Element Scheme

On a shape-regular tetrahedral mesh $\varepsilon, \mu$6, employ:

• $\varepsilon, \mu$7 Nédélec edge elements (conforming to $\varepsilon, \mu$8) with zero tangential trace;
• $\varepsilon, \mu$9 Raviart–Thomas face elements (conforming to $\xi^T\varepsilon(x)\xi \ge \varepsilon_0|\xi|^2$0);
• $\xi^T\varepsilon(x)\xi \ge \varepsilon_0|\xi|^2$1 piecewise polynomials in $\xi^T\varepsilon(x)\xi \ge \varepsilon_0|\xi|^2$2.

The de Rham sequence is: $\xi^T\varepsilon(x)\xi \ge \varepsilon_0|\xi|^2$3

The semi-discrete problem seeks $\xi^T\varepsilon(x)\xi \ge \varepsilon_0|\xi|^2$4, $\xi^T\varepsilon(x)\xi \ge \varepsilon_0|\xi|^2$5 for a.e. $\xi^T\varepsilon(x)\xi \ge \varepsilon_0|\xi|^2$6 such that: $\xi^T\varepsilon(x)\xi \ge \varepsilon_0|\xi|^2$7

Divergence-free initial magnetic field is enforced either by reconstructing a potential $\xi^T\varepsilon(x)\xi \ge \varepsilon_0|\xi|^2$8 with $\xi^T\varepsilon(x)\xi \ge \varepsilon_0|\xi|^2$9 or by a constrained $\xi^T\mu(x)\xi \ge \mu_0|\xi|^2$0 projection onto solenoidal subspaces.

The scheme preserves a discrete Gauss law: $\xi^T\mu(x)\xi \ge \mu_0|\xi|^2$1 Hence, if $\xi^T\mu(x)\xi \ge \mu_0|\xi|^2$2 is discretely divergence-free, so is $\xi^T\mu(x)\xi \ge \mu_0|\xi|^2$3 for all time (Antil, 23 Oct 2025).

The discrete energy functional

$\xi^T\mu(x)\xi \ge \mu_0|\xi|^2$4

satisfies

$\xi^T\mu(x)\xi \ge \mu_0|\xi|^2$5

An a priori bound follows via Grönwall's inequality.

4. Convergence Analysis and Limit Identification

Uniform energy bounds provide weak-* compactness: $\xi^T\mu(x)\xi \ge \mu_0|\xi|^2$6

Projector consistency guarantees $\xi^T\mu(x)\xi \ge \mu_0|\xi|^2$7-strong convergence of projections: $\xi^T\mu(x)\xi \ge \mu_0|\xi|^2$8

To pass to the limit in semidiscrete equations, one integrates in time against smooth cutoffs, uses projection consistency, and identifies time derivatives in dual spaces. The preservation of the discrete Gauss law ensures that the limiting magnetic field is solenoidal, i.e., $\xi^T\mu(x)\xi \ge \mu_0|\xi|^2$9.

Main convergence result: as $\sigma$0, $\sigma$1 converges weak-* to the unique weak solution $\sigma$2 of the continuous problem, preserving initial data and Gauss law. No convergence rates are given for purely $\sigma$3-data; only convergence without rate is established (Antil, 23 Oct 2025).

5. Auxiliary Results: Stability, Regularity, and Functional Analytic Tools

Key technical propositions include:

• H(curl) characterization: $\sigma$4 for all $\sigma$5.
• Differentiability of pairings: $\sigma$6.
• Divergence-free evolution: initial solenoidal $\sigma$7 implies $\sigma$8 for all $\sigma$9.
• Projections: $f \in L^2(0,T;L^2(\Omega)^3)$0-projection onto $f \in L^2(0,T;L^2(\Omega)^3)$1 is idempotent, contractive, and convergent; $f \in L^2(0,T;L^2(\Omega)^3)$2-Riesz projection $f \in L^2(0,T;L^2(\Omega)^3)$3 is orthogonal and contractive.

These results underpin identification of functional limits, passage to the time derivative in the weak sense, and preservation of constraints in the limit.

6. Significance and Scope

The time-domain Maxwell equations, rigorously cast in weak form and discretized using structure-preserving finite element spaces linked by the de Rham complex, provide a robust mathematical foundation for the simulation of electromagnetic phenomena in complex domains. The preservation of divergence constraints, exact discrete energy identities, and convergence to the continuous weak solution reflect the physical and geometric structure of Maxwell dynamics even in the presence of rough coefficients and minimal regularity assumptions.

The methodology and analysis in (Antil, 23 Oct 2025) make no regularity assumptions beyond $f \in L^2(0,T;L^2(\Omega)^3)$4 coefficients and $f \in L^2(0,T;L^2(\Omega)^3)$5 initial data, allowing for application in heterogeneous or nondifferentiable media common in applications. The results serve as a rigorous baseline for subsequent analysis of fully discrete schemes, error estimates under refined data regularity, and the treatment of additional physical phenomena such as lossy or nonlinear materials.