Finite-energy PEC and impedance boundary formulation

Let $I\subseteq \mathbb{R}$ be a nonempty open interval and let $\mathrm{\Omega }\subseteq {\mathbb{R}}^3$ be a nonempty bounded Lipschitz polyhedron in the laboratory frame. Its boundary $\mathrm{\Gamma }=\mathrm{\partial }\mathrm{\Omega }$ has the outward unit normal $n$ on the relative interior of each planar face; edge and vertex values will be irrelevant under the face-area convention below. Use the SI conventions of this framework. In particular $E$ has units $\mathrm{V}{\mathrm{m}}^{-1}$, $H$ has units $\mathrm{A}{\mathrm{m}}^{-1}$, $D$ has units $\mathrm{C}{\mathrm{m}}^{-2}$, $B$ has units $\mathrm{T}$, and a volume current density $J$ has units $\mathrm{A}{\mathrm{m}}^{-2}$.

For the boundary integrals, let $\mathcal{F}$ be the finite family of relative interiors of the planar two-dimensional faces of $\mathrm{\Gamma }$. Write ${\lambda }_2$ for Lebesgue measure on ${\mathbb{R}}^2$, defined as the restriction of Lebesgue outer measure to its Carath'eodory-measurable sets; under the assumed ${\mathrm{A}\mathrm{C}}_{\omega }$, this is a complete measure. For each face $F\in \mathcal{F}$, let $P_F$ be its supporting plane and fix a Euclidean isometry ${\iota }_F:{\mathbb{R}}^2\to P_F$. For every Borel set $A\subseteq \mathrm{\Gamma }$ (a set in the sigma-algebra generated by the open subsets of $\mathrm{\Gamma }$), define $d{S}_F(A):={\lambda }_2({\iota }_F^{-1}(A\cap F))$. Any two choices of ${\iota }_F$ differ by an affine Euclidean isometry of ${\mathbb{R}}^2$ with absolute Jacobian determinant $1$, so the Borel change-of-variables formula makes $d{S}_F$ independent of that choice. Each face is bounded and lies in a finite rectangle in its plane, so $d{S}_F(F)<\mathrm{\infty }$. Set $dS:={\sum }_{F\in \mathcal{F}}d{S}_F$ on $\mathrm{\Gamma }$. The edges and vertices have $dS$-measure zero and are omitted, so $n$ is the outward face normal $dS$-almost everywhere; its values on edges and vertices do not affect any boundary expression. Since $dS$ is finite and Lebesgue measure restricted to $I$ is sigma-finite, $dS\otimes d{\lambda }_1{\mathrm{\mid }}_I$ is the unique sigma-finite product measure on $\mathrm{\Gamma }\times I$, with rectangle values $dS(A){\lambda }_1(J)$ for Borel $A\subseteq \mathrm{\Gamma }$ and Lebesgue-measurable $J\subseteq I$. All boundary $L^p(\mathrm{\Gamma })$ and $L^p(\mathrm{\Gamma }\times I)$ spaces and almost-everywhere statements use these measures.

Every cross product in the boundary formulas is the right-handed Euclidean cross product in the positively oriented orthonormal frame basis: for $u=(u_1,u_2,u_3)$ and $v=(v_1,v_2,v_3)$, $u\times v=(u_2{v}_3-u_3{v}_2,u_3{v}_1-u_1{v}_3,u_1{v}_2-u_2{v}_1)$, as in the cross-product definition of this library.

For a real vector field $u\in L^2(\mathrm{\Omega };{\mathbb{R}}^3)$, its distributional curl is the distribution defined by

$⟨\mathrm{curl}u,\phi ⟩={\int }_{\mathrm{\Omega }}u\cdot \mathrm{curl}\phi d{\lambda }_3,\phi \in C_c^{\mathrm{\infty }}(\mathrm{\Omega };{\mathbb{R}}^3)\mathrm{.}$

As in the real graph space definition of the imported mathematical library, $H(\mathrm{curl};\mathrm{\Omega })$ consists of the $L^2$ vector fields whose distributional curl is represented by an $L^2$ vector field, with norm

$\mathrm{\parallel }u{\mathrm{\parallel }}_{H(\mathrm{curl};\mathrm{\Omega })}^2=\mathrm{\parallel }u{\mathrm{\parallel }}_{L^2(\mathrm{\Omega })}^2+\mathrm{\parallel }\mathrm{curl}u{\mathrm{\parallel }}_{L^2(\mathrm{\Omega })}^2\mathrm{.}$

Assume the Axiom of Countable Choice ${\mathrm{A}\mathrm{C}}_{\omega }$ as carried by that imported weak-derivative convention. Let $\epsilon ,\mu :\mathrm{\Omega }\to {\mathbb{R}}^{3\times 3}$ be measurable, essentially bounded, real symmetric coefficient fields, independent of time. Require constants $0<a_{\epsilon }\le b_{\epsilon }<\mathrm{\infty }$ and $0<a_{\mu }\le b_{\mu }<\mathrm{\infty }$ such that, for almost every $x\in \mathrm{\Omega }$ and every $v\in {\mathbb{R}}^3$,

$a_{\epsilon }\mathrm{\mid }v{\mathrm{\mid }}^2\le v\cdot \epsilon (x)v\le b_{\epsilon }\mathrm{\mid }v{\mathrm{\mid }}^2,a_{\mu }\mathrm{\mid }v{\mathrm{\mid }}^2\le v\cdot \mu (x)v\le b_{\mu }\mathrm{\mid }v{\mathrm{\mid }}^2\mathrm{.}$

The coefficient units are $\mathrm{F}{\mathrm{m}}^{-1}$ and $\mathrm{H}{\mathrm{m}}^{-1}$, respectively. They define bounded symmetric multiplication operators on $L^2$. Define $D(t)=\epsilon E(t)$ and $B(t)=\mu H(t)$. The spatially varying coefficient fields are explicit local model data; they are not inferred from the homogeneous material-closure postulate. Its constant symmetric branch is a special case.

A field $E:I\to L^2(\mathrm{\Omega };{\mathbb{R}}^3)$ is in $C^1(I;L^2)$ when it has a derivative in the $L^2$ norm at every $t\in I$ and that derivative is norm-continuous. $C(I;H(\mathrm{curl};\mathrm{\Omega }))$ means norm-continuity into the graph space. A finite-energy model solution is a pair

$E,H\in C^1(I;L^2(\mathrm{\Omega };{\mathbb{R}}^3))\cap C(I;H(\mathrm{curl};\mathrm{\Omega })),$

with $J\in C(I;L^2(\mathrm{\Omega };{\mathbb{R}}^3))$, satisfying the adopted evolution equations as $L^2$ identities for each $t\in I$,

$\epsilon {\mathrm{\partial }}_{t}E=\mathrm{curl}H-J,\mu {\mathrm{\partial }}_{t}H=-\mathrm{curl}E\mathrm{.}$

This class specifies the Maxwell curl-evolution subsystem independently of charge data. In the volume-charge case, a full Maxwell application additionally supplies a charge density $\rho (\cdot ,t)\in L_{\mathrm{l}\mathrm{o}\mathrm{c}}^1(\mathrm{\Omega })$ for every $t\in I$, in $\mathrm{C}{\mathrm{m}}^{-3}$, and imposes the Gauss constraints: for every $t\in I$ and every scalar test $\psi \in C_c^{\mathrm{\infty }}(\mathrm{\Omega })$,

${\int }_{\mathrm{\Omega }}B(t)\cdot \mathrm{\nabla }\psi d{\lambda }_3=0,-{\int }_{\mathrm{\Omega }}D(t)\cdot \mathrm{\nabla }\psi d{\lambda }_3={\int }_{\mathrm{\Omega }}\rho (\cdot ,t)\psi d{\lambda }_3\mathrm{.}$

These additional constraints are not part of the evolution class defined here and are not inferred from its two curl equations. Energy identities for this class also apply to its Gauss-constrained subclass; they do not establish the constraints or the physical applicability of either class.

Its stored field energy is the finite real number

$W(t):=\frac{1}{2}{\int }_{\mathrm{\Omega }}(E(x,t)\cdot \epsilon (x)E(x,t)+H(x,t)\cdot \mu (x)H(x,t))d{\lambda }_3(x)\mathrm{.}$

There are two alternative boundary models.

PEC. Perfect electric conductor means $E(t)\in H_0(\mathrm{curl};\mathrm{\Omega })$ for every $t$, where $H_0(\mathrm{curl};\mathrm{\Omega })$ is exactly the closure of $C_c^{\mathrm{\infty }}(\mathrm{\Omega };{\mathbb{R}}^3)$ in the displayed graph norm. This closure definition is used; it is not replaced by an unproved identification with every possible trace kernel.

Impedance. For $u\in H(\mathrm{curl};\mathrm{\Omega })$, an $L^2$ weak tangential trace is a field $u_{\tau }\in L^2(\mathrm{\Gamma };{\mathbb{R}}^3)$ with $n\cdot u_{\tau }=0$ almost everywhere such that

${\int }_{\mathrm{\Omega }}(\mathrm{curl}u\cdot \phi -u\cdot \mathrm{curl}\phi )d{\lambda }_3={\int }_{\mathrm{\Gamma }}(n\times u_{\tau })\cdot \phi {\mathrm{\mid }}_{\mathrm{\Gamma }}dS\text{for every }\phi \in C_c^{\mathrm{\infty }}({\mathbb{R}}^3;{\mathbb{R}}^3)\mathrm{.}$

Here a test field $\phi$ is a smooth map on all of ${\mathbb{R}}^3$ with compact support, and $\phi {\mathrm{\mid }}_{\mathrm{\Gamma }}$ is its ordinary restriction. In particular, tests may be nonzero on the boundary. This identity identifies the boundary field through independently chosen tests; the single energy-pair identity below does not replace it.

A Green-compatible tangential boundary pair for $E,H$ consists of measurable fields $E_{\tau },H_{\tau }\in L^2(\mathrm{\Gamma }\times I;{\mathbb{R}}^3)$ such that, outside a single set of times of Lebesgue measure zero, $E_{\tau }(\cdot ,t)$ and $H_{\tau }(\cdot ,t)$ are weak tangential traces of $E(t)$ and $H(t)$, respectively, in the displayed sense, and additionally

${\int }_{\mathrm{\Omega }}(\mathrm{curl}H\cdot E-H\cdot \mathrm{curl}E)d{\lambda }_3=-{\int }_{\mathrm{\Gamma }}n\cdot (E_{\tau }\times H_{\tau })dS\mathrm{.}$

The energy-pair Green identity is retained as an explicit admissibility requirement; no extension from smooth tests to the rough fields themselves is assumed without it. Membership in $H(\mathrm{curl})$ alone does not assert that such an $L^2$ trace pair exists. Let $Y\in L^{\mathrm{\infty }}(\mathrm{\Gamma })$ be a time-independent scalar surface admittance, in siemens, with $Y\ge 0$ almost everywhere. The impedance law is

$H_{\tau }=Y(n\times E_{\tau })\text{almost everywhere on }\mathrm{\Gamma }\times I\mathrm{.}$

Then $Y\mathrm{\mid }{E}_{\tau }{\mathrm{\mid }}^2\in L^1(\mathrm{\Gamma }\times I)$ and is the nonnegative outward boundary-power density in $\mathrm{W}{\mathrm{m}}^{-2}$. No pointwise boundary value or existence of an $L^2$ weak tangential trace for an arbitrary $H(\mathrm{curl})$ field is asserted.

The Axiom of Countable Choice (${\mathrm{A}\mathrm{C}}_{\omega }$)

The cross product in ${\mathbb{R}}^3$

Lebesgue measurable sets, the family $\mathcal{L}({\mathbb{R}}^n)$, and the restricted set function ${\lambda }_n$

Laboratory geometry: a restricted inertial chart, its spatial slices and fixed-time fields

The product measure of two sigma-finite measure spaces

Framework-local SI units, the vacuum constants and the exact/measured status of their values

The real H(curl) graph space on a polyhedron

Zero tangential trace H(curl) space

Borel change of variables from the compact-support formula and Radon uniqueness

Declared material-closure branches: linear nondispersive Ohmic response and the causal memory branch

Assuming countable choice, $\mathcal{L}({\mathbb{R}}^n)$ is a sigma-algebra containing every elementary set and ${\lambda }_n$ is a complete measure extending elementary volume

For sigma-finite factors, the product measure exists, has the rectangle formula, is sigma-finite, and is unique