Abstract
We study linear time-dependent Maxwell equations on a cuboid consisting of two homogeneous subcuboids. At the interface, we allow for nonzero surface charge density and surface current. This model is a first step towards a detailed mathematical analysis of the interaction of single-layer materials with electromagnetic fields. The main results of this paper provide several wellposedness and regularity statements for the solutions of the Maxwell system. To prove the statements, we employ extension arguments using interpolation theory, as well as semigroup theory and regularity theory for elliptic transmission problems.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
Avoid common mistakes on your manuscript.
1 Introduction
In the past few years, there has been an extensive study of the properties of single-layer materials (or 2D materials) such as the semimetal graphene and the semiconductors called transition-metal dichalcogenides (TMDCs). This is mainly due to the large area of possible application such as optoelectronics, spintronics, energy storage, lubrication, and catalysis. We refer to the reviews [1, 36] on graphene and TMDCs, respectively, for a detailed discussion.
In order to study the optical properties of such materials, the sheet is placed on top of a thin dielectric and a metal plate and ultrafast optical pulses are sent towards the material. The behavior of the light pulses is described by Maxwell equations which interact with an interface induced by the 2d material. In the general model, the 2d material itself has a dynamic often described by a quantum mechanical model [7, 23, 34], influencing the electromagnetic waves via induced surface currents, see for example [6] and Section 3 in [25]. In graphene models, the surface current satisfies in frequency domain
where \(\sigma \) is the surface conductivity associated with the 2d material, \([\![\cdot ]\!] \) denotes the jump at the interface, and \(\textbf{E}\) is the electric field and \(\textbf{n}_{\text {int}}\) denotes the unit normal vector associated with the interface, see, for example, Chapter 1 in [13, 20, 24, 40]. This is a special case of the linear response theory which makes the ansatz
corresponding to Ohm’s law, see [19], Chapter 6 in [31].
In order to understand the physical model better, there is also put a large amount of work in the numerical treatment of Maxwell equations with inhomogeneous interface conditions, which are usually referred to as current sheets. For the finite volume method, this was considered in [28], for the discontinuous Galerkin method in [38,39,40] and for a finite difference method in [5, 30].
As a first step towards the full model, we consider in this work linear time-dependent Maxwell equations on a cuboid \(Q\) composed of two homogeneous cuboids \(Q_1\) and \(Q_2\) with an interface \(F_\text {int}= {\overline{Q}}_1 \cap {\overline{Q}}_2 \), see Fig. 1. On this we assume an abstract external surface current \(j_{\text {surf}}\) only depending on space and time which replaces the dynamics of the 2d material. We note that in the full Maxwell–Schrödinger model one usually has, combining the approach in [6, 25] with the minimal coupling discussed in Chapter 5 of [32], the dependency
where A is the magnetic vector potential and \(\psi \) is the wave function on the 2d material. We consider the Maxwell equations
on \(Q_i\), \(i\in \{1,2\}\), for \(t\ge 0\). Throughout we denote by \(f^{(i)}\) the restriction of a function \(f\in L^2(Q)\) to the subcuboid \(Q_i\). The vector \(\textbf{E}=\textbf{E}(t,x)\in {\mathbb {R}}^3\) is the electric field, \(\textbf{H}=\textbf{H}(t,x)\in {\mathbb {R}}^3\) the magnetic field, \(\textbf{J}_\Sigma =\textbf{J}_\Sigma (t,x)\in {\mathbb {R}}^3\) models an external current, and \(\rho =\rho (t,x)\) denotes the volume charge. The material is described by the scalar electric permittivity \(\varepsilon >0\) and the scalar magnetic permeability \(\mu >0\).
We accompany the Maxwell system with perfectly conducting boundary conditions
and interface conditions
involving the surface charge \(\rho _{\text {surf}}\) and the surface current \(j_{\text {surf}}\), see Section 4.12 in [35], Section 1.1.3 in [4] and Section I.5 in [22]. Note that \(\nu \) denotes the exterior unit normal vector on the boundary \(\partial Q\), and that the inner normal vector \(\textbf{n}_{\text {int}}\) points from \(Q_1\) to \(Q_2\). For the jump \([\![\cdot ]\!] \), we use the convention
whenever the traces of f are well-defined at the interface. The parameters \(\varepsilon \) and \(\mu \) are assumed to be positive and constant on each subcuboid, modeling a piecewise homogeneous medium. After coordinate transformation, we can assume the identities
To the best of our knowledge, there is so far no detailed regularity and wellposedness theory available for our model problem (1.1)–(1.2). On the one hand, Maxwell equations with discontinuous material parameters on more general and complicated polyhedral Lipschitz domains are studied in [2, 3, 8,9,10, 12] for instance. These papers, however, assume homogeneous transmission conditions, meaning the surface charge density and the surface current are zero. Note that one of the authors analyzes a similar model problem with nontrivial surface charge density but zero surface current, see [41, 42]. On the other hand, a nonlinear time-dependent Maxwell system is recently studied in [33] with discontinuous material parameters. On the interface, the analysis allows nonzero surface charge density and surface current. Note, however, that the boundary of the domain in [33] is regular, and that the interface between the two submedia has a positive distance to the boundary.
Recently, a nonlinear transmission problem on the full space is analyzed with homogeneous transmission conditions at the interface \(\{x_1=0\}\), see [14]. The results are also applicable to time-dependent Maxwell equations. In [15], transverse magnetic wave packets are studied and approximated for a nonlinear time dependent Maxwell system on the full space with discontinuous material parameters at the interface \(\{x_1=0\}\). The surface current is assumed to be zero, and the surface charge is nonzero and time independent.
1.1 Structure of the paper
We present our main results in Sect. 2: Depending on the regularity of the initial data for (1.1) as well as the regularity of the surface current \(j_{\text {surf}}\) and the external current \(\textbf{J}_\Sigma \), we establish three wellposedness and regularity statements for the solution \((\textbf{E},\textbf{H})\) of (1.1). Among others, the initial data and the surface current have to satisfy certain compatibility conditions at \(t=0\), see also [33]. In 3.1, we additionally show that the assumed compatibility conditions are in fact necessary. An overview of the involved function spaces is given in Fig. 2.
To achieve our results, we first transform the Maxwell system (1.1) with interface conditions (1.2) into an evolution equation with zero surface current \(j_{\text {surf}}\), see (3.5). To be more precise, we construct suitable regular extensions \(\textbf{J}_{\textbf{H}}\) and \(\textbf{J}_{\textbf{E}}\) of \(j_{\text {surf}}\) and \(\partial _tj_{\text {surf}}\) in Sect. 4 by means of interpolation theory involving analytic semigroups. This turns out to be quite sophisticated. Here we also use ideas and techniques from [16, 41].
For the Cauchy problem (3.5), we can employ semigroup theory on appropriate function spaces, see Sect. 3.3. To conclude the desired piecewise Sobolev regularity of the solutions of (3.5) (and thus eventually of (1.1)), we show that elements of the arising function spaces are piecewise \(H^1\)- and \(H^2\)-regular. Here we use regularity theory for elliptic transmission problems, see Sect. 3.2 and compare [11, 12, 16, 21, 41, 42].
2 Framework and results
In this section, we present our main results, i.e., wellposedness and regularity analysis of the system (1.1), under precise assumptions on the regularity of the initial data and the surface current.
2.1 Spaces
We first introduce the relevant spaces which are necessary to state our main results. For a Lipschitz domain \(\mathcal {O}\), we denote for \(k\in {\mathbb {N}}\) by \(H^k(\mathcal {O})\) the space of functions with weak derivatives up to order k in \(L^2(\mathcal {O})\). By \(H^1_0(\mathcal {O})\) we mean the closure of test functions \(C_c^{\infty }(\mathcal {O})\) in \(H^1(\mathcal {O})\). To define Sobolev spaces of fractional order, we use real interpolation spaces, see Section 1.1 in [27] for instance. For \(s\ge 0\), we define the fractional Sobolev spaces
see [26, 37]. For the electric volume charge, we also need the space
for \(i\in \{1,2\}\). For the disjoint union \(Q = Q_1 \cup Q_2\), we define the piecewise Sobolev space of order \(s\ge 0\) by
and use the notation
The space \(X_0\) is equipped with the weighted inner product
inducing the norm \(\Vert \cdot \Vert \). (Note that this norm is equivalent to the standard \(L^2\)-norm, due to the assumption on \(\varepsilon \) and \(\mu \).) In addition, we make use of the maximal domains of the rotation \({\text {curl}}\) and divergence \({\text {div}}\)
and the corresponding spaces \(H_0({\text {curl}},Q)\) and \(H_0({\text {div}},Q)\) with vanishing tangential or normal boundary traces, respectively. With this, we define the extended Maxwell operator \(\widetilde{\textbf{M}}\)
on its domain
which neglects the magnetic transmission conditions. In particular, the \({\text {curl}}\) in the second component is only applied piecewise on the subcuboids \(Q_i\). Including the magnetic conditions, we obtain the usual Maxwell operator \(\textbf{M}\) on
via the restriction
Remark 2.1
We note that \(\widetilde{\textbf{M}}\) cannot be the generator of a strongly continuous semigroup on \(\mathcal {D}(\widetilde{\textbf{M}})\) since this would imply that for some \(\rho >0\) the map \(\rho I - \widetilde{\textbf{M}}:\mathcal {D}(\widetilde{\textbf{M}}) \rightarrow X_0\) is bijective. However, by (2.1) and the generator property of \(\textbf{M}\), also \(\rho I - \widetilde{\textbf{M}}:\mathcal {D}(\textbf{M}) \rightarrow X_0\) is bijective. This is a contradiction though, since \(\mathcal {D}(\textbf{M})\) is a strict subspace of \(\mathcal {D}(\widetilde{\textbf{M}})\). \(\lozenge \)
Additionally, we require more structure in order to prove regularity statements for (1.1) in piecewise Sobolev spaces. Inspired by [16, 41], we consider the Hilbert space
which is intersected below with domains of certain powers of the Maxwell operator. For the surface current, we identify \(F_\text {int}\) with the square \(S=(0,1)^2\) and use the two negative Laplacians
which are both positive definite and self-adjoint on \(L^2(S)\). We can thus define the fractional powers \((-\Delta _j)^{\gamma /2}\) on domains
for \(\gamma \in {\mathbb {R}}\). These spaces are used to formulate the assumptions on the surface current. We elaborate further on the fractional domains in the following remark.
Remark 2.2
The domain of \((-\Delta _2)^{1/2}\) can be represented via
Using the trace method in interpolation theory, see Section 1.3.2 in [26], we can express the other arising fractional domains of \(-\Delta _2\) as images of the trace operator \({\text {tr}}_{F_\text {int}}\) on \(F_\text {int}\) (with equivalence of norms). We have for \(\Gamma _j = \{ x\in \partial Q\mid x_j \in \{0,1\} \}\), \(j\in \{2,3\}\),
(The arising traces in the spaces on the right-hand side of the above equations are understood in the following sense: In the first line, \(u(x_1,\cdot )=0\) on \(\{0,1\}\times [0,1]\) for almost all \(x_1\in (0,1)\). Analogous interpretations hold for the other lines.)
There is also a less precise but easier way to interpret the arising fractional domains. Avoiding technicalities regarding the regularity issues in taking traces, we have for \(\epsilon >0\)
and similarly for the Neumann traces
Since we only work on a convex Lipschitz domain, we may only conclude
For \(\Delta _3\), we only change the boundary conditions and obtain the same observations. \(\lozenge \)
2.2 First-order regularity result
In order to state the wellposedness and regularity statements for (1.1), we introduce the necessary spaces for the surface current given by
and several state spaces for the solution, which we collect in Fig. 2. For the lowest order, we introduce
This enables us to formulate our first main result which shows existence and uniqueness of piecewise \(H^1\)-regular solutions. We elaborate on the appearing compatibility conditions between the initial values in Sect. 3.
Theorem 2.3
Let the initial data satisfy \( (\textbf{E}_0,\textbf{H}_0) \in \widetilde{X}_1\), \([\![\textbf{H}_0 \times \textbf{n}_{\text {int}}]\!] = j_{\text {surf}}(0)\), and assume for the currents that \((j_{\text {surf}}^2,j_{\text {surf}}^3)\in V_{T,3} \times V_{T,2}\), \(\begin{pmatrix} \frac{1}{\varepsilon } \textbf{J}_\Sigma ,0 \end{pmatrix} \in C^1 ([0,T], \widehat{X}_0) + C([0,T], X_1) \). Then there is a unique solution \((\textbf{E},\textbf{H}) \in C^1 \bigl ([0,T], L^2(Q)) \cap C\bigl ([0,T], PH^{1}(Q))\) of (1.1) with
involving a uniform constant \(C=C(\varepsilon ,\mu ,Q)>0\).
Proof
(1) By Corollary 4.3, there is a function \(\textbf{J}_{\textbf{H}}\) with \([\![\textbf{J}_{\textbf{H}}(t)\times \textbf{n}_{\text {int}}]\!] =j_{\text {surf}}(t)\), \(\textbf{J}_{\textbf{H}}(t)\cdot \nu =0\) on \(\partial Q\), \(t\in [0,T]\), and
Choose \(\textbf{J}_{\textbf{E}}=0\), and define \(\mathbf {\check{J}}\) as in (3.4a). By Corollary 4.3 and the precondition on \(\textbf{J}_\Sigma \), \(\mathbf {\check{J}}\in C^1([0,T],\widehat{X}_0)+C([0,T],X_1)\) with
Taking (2.7) into account, we obtain
We then put \(\widetilde{\textbf{E}}_0:=\textbf{E}_0-\textbf{J}_{\textbf{E}}(0)\) and \(\widetilde{\textbf{H}}_0:=\textbf{H}_0-\textbf{J}_{\textbf{H}}(0)\), see (3.2). By construction \((\widetilde{\textbf{E}}_0,\widetilde{\textbf{H}}_0)\in X_1\). Proposition 3.6 then provides a unique solution \((\widetilde{\textbf{E}},\widetilde{\textbf{H}})\in C^1([0,T],\widehat{X}_0)\cap C([0,T],X_1)\) of (3.3) with
(2) Set \(\textbf{E}:=\widetilde{\textbf{E}}+\textbf{J}_{\textbf{E}}\) and \(\textbf{H}:={\tilde{\textbf{H}}}+\textbf{J}_{\textbf{H}}\). Employing Lemma 3.1, \((\textbf{E},\textbf{H})\in C^1([0,T],L^2(Q))\cap C([0,T],PH^1(Q))\), and by construction \((\textbf{E},\textbf{H})\) solves (1.1), see also Sect. 3.1. Combining (2.7), (2.8), and (2.9), the asserted estimate finally follows. \(\square \)
Remark 2.4
The regularity of \(j_{\text {surf}}\) is used below to construct regular extensions from \(F_\text {int}\) to \(Q\), see Sect. 4.2. Certain combinations of spatial and temporal derivatives and the extensions then have to satisfy similar regularity requirements as the external (volume) current \(\tfrac{1}{\varepsilon } \textbf{J}_\Sigma \). This leaves several degrees of freedom in the choices for the regularity of \(j_{\text {surf}}\). However, for the sake of presentation, we only elaborate on the notionally most convenient variant. \(\lozenge \)
2.3 Second-order regularity result
In the second result, we aim for solutions which are piecewise \(H^2\)-regular. We emphasize that due to the Lipschitz regularity of the boundary, in general one cannot expect the existence of higher order spatial derivatives. In order to derive such a result, we assume more regular surface currents, in particular in the spaces
for \(T>0\) fixed and \(j\in \{2,3\}\). In addition, we need the spaces
where the latter one allows for an embedding into \(PH^{2}(Q)\), see Proposition 3.4. The spaces \(\widehat{X}_1\) and \(X_2\) are equipped with the norms
The norm on \(\widetilde{X}_2\) is defined in an analogous way. With this, we state our second main result.
Theorem 2.5
Let the initial data satisfy
and assume for the currents that
\((j_{\text {surf}}^2,j_{\text {surf}}^3) \in W_{T,3} \times W_{T,2}\), \(\begin{pmatrix} \frac{1}{\varepsilon } \textbf{J}_\Sigma ,0 \end{pmatrix} \in C^1 \bigl ([0,T], \widehat{X}_1) \). Then there is a unique solution \((\textbf{E},\textbf{H})\) of (1.1) with
and it holds
with a uniform constant \(C=C(\varepsilon ,\mu ,Q)>0\).
Proof
We combine Lemma 3.1, Proposition 3.4, Proposition 3.7 and Corollary 4.4. \(\square \)
As explained in Remark 2.4, we do not state all admissible settings for \(j_{\text {surf}}\) and \(\textbf{J}_\Sigma \) which lead to the same result as above.
2.4 Higher-order regularity result
Our last main result is motivated from the error analysis of second-order time integration schemes for Maxwell equations. Here, it is necessary to control derivatives up to order three in space or time. For the surface current, we introduce the spaces
for \(T>0\) and \(j\in \{2,3\}\). As state spaces for the electric and magnetic fields, we employ
Additionally, we use the sum
for a function f with well-defined traces at the interface \(F_\text {int}\). We are now in the position to state the final main result.
Theorem 2.6
Let the initial data satisfy
and assume for the currents that \( (j_{\text {surf}}^2,j_{\text {surf}}^3) \in Y_{T,3} \times Y_{T,2}\), \( \begin{pmatrix} \frac{1}{\varepsilon } \textbf{J}_\Sigma ,0 \end{pmatrix} \in C^1 \bigl ([0,T], X_2)\cap C^2([0,T],\widehat{X}_0). \) In addition, let \({\text {div}}j_{\text {surf}}\in C^1([0,T],H^{3/2}_{0}(F_\text {int}))\) and further
Then there is a unique solution \((\textbf{E},\textbf{H})\) of (1.1) with
and it holds
with a uniform constant \(C=C(\varepsilon ,\mu ,Q)>0\).
Proof
We combine Lemma 3.1, Proposition 3.4, Proposition 3.8, and Corollary 4.5. \(\square \)
3 Transformation and analytical framework
In this section, we replace the original system (1.1) by a (nonphysical) shifted version for which we can show wellposedness and regularity results by means of semigroup theory. To motivate the shifts, we consider the interface condition in (1.2) for a smooth solution of (1.1). We differentiate in time and obtain
where we used the continuity conditions of \(\frac{1}{\varepsilon } \textbf{J}_\Sigma \) across the interface. The shifts are chosen in such a way that we can work with homogeneous interface conditions, i.e., the modified fields satisfy (3.1) with zero left-hand side, which means in particular using the state spaces \(\widehat{X}_i\) instead of \(\widetilde{X}_i\), see Sect. 2. Eventually, this enables us to conclude wellposedness of the system (1.1) in piecewise Sobolev spaces.
3.1 Transformation to homogeneous interface conditions
Let \((\textbf{E},\textbf{H})\) be a solution of (1.1), and define the modified fields \((\widetilde{\textbf{E}},\widetilde{\textbf{H}})\)
with piecewise sufficiently regular currents \(\textbf{J}_{\textbf{E}}^{}\), \(\textbf{J}_{\textbf{H}}^{}\). The latter are chosen such that in particular
on \(F_\text {int}\), meaning that \((\widetilde{\textbf{E}}(t),\widetilde{\textbf{H}}(t))\) satisfies the transmission conditions in \(\mathcal {D}(\textbf{M})\) for \(t\ge 0\). We formally derive the evolution equations for the modified fields in the following and make these calculations rigorous in Sect. 4. We insert the modified fields into (1.1) and obtain
on \(Q_i\) with currents \(\mathbf {\check{J}}\) and charges \(\widetilde{\rho }\) given by
Further, the modified solutions satisfy the boundary conditions
Depending on the regularity of the surface current \(j_{\text {surf}}\), we discuss transmission and regularity properties of the modified solution. To employ a semigroup approach, we formulate (3.3) as an evolution equation. We define the vectors
and consider the Maxwell operator \(\textbf{M}\) defined in (2.1) on \(\mathcal {D}(\textbf{M})\). This yields an equivalent formulation of (3.3) in \(X_0=L^2(Q)^6\) as
In the following, we discuss wellposedness for (3.5) and consider \(\mathbf {\check{J}}\) as a given quantity. From the regularity of \(j_{\text {surf}}\) and the extension results in Sect. 4, we can then conclude the results in Sect. 2.
3.2 Functional analytic framework for shifted Maxwell system
Recall the spaces \(X_1, X_2\) defined in Sect. 2. We next show that fields in the space \(X_1\) are piecewise \(H^1\)-regular.
Lemma 3.1
The space \(X_1\) embeds into \(PH^1(Q)^6\).
Proof
(1) Let \((\widetilde{\textbf{E}},\widetilde{\textbf{H}})\in X_1\). In view of Proposition 9.8 in [41], it suffices to analyze the magnetic field component. We next use a well-known technique to deduce the existence of a function \(\psi \in PH^2(Q)\) with \(\Delta \psi ^{(i)}={\text {div}}\widetilde{\textbf{H}}^{(i)}\) and \(\nabla \psi \cdot \nu =0\) on \(\partial Q\) from Proposition 8.2 in [41].
Set \(V:=\{w\in H^1(Q)\ |\ [w]=0\}\), where \([\cdot ]\) denotes the mean of an integrable function on Q. Note that V is a closed subspace of \(H^1(Q)\). Combining the generalized Poincaré inequality with the Lax–Milgram Lemma, there is a unique function \(\psi \in V\) with
Using that the mean of \({\text {div}}(\mu \widetilde{\textbf{H}})\) is zero on Q, we then infer
for all \(\varphi \in H^1(Q)\). In particular, the formula
is valid. We then set \(\Psi :=\mu \psi \in PH^1(Q)\). Let also \(\varphi \in H^1(Q)\), and put \(\Phi :=\mu \varphi \) as well as \(f:=\Psi -1/\mu {\text {div}}(\mu \widetilde{\textbf{H}})\). By construction, the identities
are then valid. Since \(\varphi \in H^1(Q)\) is chosen arbitrarily, we infer the last formula for all functions \(\Phi \in PH^1(Q)\) with \([\![\tfrac{1}{\mu }\Phi ]\!] =0\). Now Proposition 8.2 in [41] implies that \(\psi \) belongs to \(PH^2(Q)\) with \(\nabla \psi \cdot \nu =0\) on \(\partial Q\), and \([\![\mu \partial _1\psi ]\!] =0\) on \(F_\text {int}\). The construction of \(\psi \) additionally implies the desired formula \({\text {div}}(\mu \nabla \psi )={\text {div}}(\mu \widetilde{\textbf{H}})\) on Q. Together with Proposition 8.2 in [41], we additionally obtain
with a uniform constant \(C=C(\mu ,Q)>0\).
(2) We next estimate \(\Vert \psi \Vert _{L^2(Q)}\). Using the generalized Poincaré inequality as well as an integration by parts, we conclude
where \(C_P\) is the Poincaré constant on Q, and \(\delta >0\) is a lower bound for \(\mu \). We hence conclude
(3) Due to the choice of \(\psi \), the difference \(\widetilde{\textbf{H}}-\nabla \psi \) belongs to the space
Proposition 9.7 in [41] consequently yields that \(\widetilde{\textbf{H}}-\nabla \psi \) belongs to \(PH^1(Q)^3\) with
Combining (3.6) and (3.7), we conclude \(\Vert \widetilde{\textbf{H}}\Vert _{PH^1(Q)}\le C\Vert (0,\widetilde{\textbf{H}})\Vert _{X_1}\). \(\square \)
We next establish piecewise \(H^2\)-regularity for fields in \(X_2\). To that end, we start with the first component of the magnetic field. Note that we only sketch the relevant arguments here, as we modify the proof for Lemma 9.15 in [41] in a straightforward way, see also Lemma 3.7 in [21].
Lemma 3.2
Let \((\widetilde{\textbf{E}},\widetilde{\textbf{H}})\in X_2\). Then \(\widetilde{\textbf{H}}_1\) belongs to \(PH^2(Q)\) with
involving a uniform constant \(C=C(\varepsilon ,\mu ,Q)>0\).
Proof
(1) We define
Note that W is dense in V in the norm of \(PH^1(Q)\). We also use the subcuboids
for \(n\ge 3\). Moreover, we denote by \(\Gamma _{j,n}^{(i)}\), for \(j\in \{1,2,3\}\) and \(i\in \{1,2\}\), the boundary parts of \(Q_{i,n}\) with normal vector \(e_j\). We note that \(\widetilde{\textbf{H}}\) is \(H^2\)-regular on \(Q_{i,n}\). (This is a consequence of \({\text {curl}}{\text {curl}}\widetilde{\textbf{H}}^{(i)}\in L^2(Q_i)\) and standard elliptic regularity theory.)
(2) Let \(\varphi \in W\). Integrating by parts, we first obtain
We next analyze the last summand on the right-hand side. Inserting \({\text {curl}}\widetilde{\textbf{H}}\) and \({\text {div}}(\mu \widetilde{\textbf{H}})\), we infer
Taking the boundary condition \({\text {curl}}\widetilde{\textbf{H}}\times \nu =0\) on \(\partial Q\) into account, the second and third integral terms on the right-hand side converge to zero as \(n\rightarrow \infty \). Combining Green’s formula for \({\text {curl}}\) with Lemma 9.14 in [41], one can moreover show that
Altogether, we conclude
By density of W in V, this formula is also valid for all \(\varphi \in V\).
(3) We next use the Neumann–Laplacian \(\Delta _N\) on \(F_\text {int}\cong (0,1)^2\). Note that \(I-\Delta _N\) is positive definite and self-adjoint on \(L^2(F_\text {int})\). As a result, it has well-defined positive definite and self-adjoint fractional powers \((I-\Delta _N)^{\gamma }\), \(\gamma >0\). The latter generate analytic semigroups \((e^{-t(I-\Delta _N)^{\gamma }})_{t\ge 0}\).
Let \(\chi :[-1,1]\rightarrow [0,1]\) be a smooth cutoff function with \(\chi =1\) on \([-1/4,1/4]\) and \({\text {supp}}\chi \subset [-1/2,1/2]\). We put
with \(g:=-[\![\tfrac{1}{\mu }{\text {div}}(\mu \widetilde{\textbf{H}})]\!] \in H^{1/2}(F_\text {int})=\mathcal {D}(I-\Delta _N)^{1/4}\). Similar arguments as in the proof of Lemma 4.1 then imply that \(\psi \in PH^2(Q)\), \(\psi =0\) on \(\Gamma _1\cup F_\text {int}\), \([\![\nabla \psi \cdot \textbf{n}_{\text {int}}]\!] =-g\), and
with a uniform constant \(C>0\).
(4) Proposition 8.1 in [41] provides a function \(\Psi \in PH^2(Q)\) with \(\Psi =0\) on \(\Gamma _1\), \([\![\mu \Psi ]\!] =0\) and
By uniqueness, \(\widetilde{\textbf{H}}_1=\Psi +\psi \in PH^2(Q)\). The asserted energy estimate is a consequence of the estimate in Proposition 8.1 for \(\Psi \), the bound for \(\psi \), and the identity \({\text {curl}}{\text {curl}}\widetilde{\textbf{H}}^{(i)}=-\Delta \widetilde{\textbf{H}}^{(i)}+\nabla {\text {div}}\widetilde{\textbf{H}}^{(i)}\). \(\square \)
We continue with the remaining magnetic field components.
Lemma 3.3
Let \((\widetilde{\textbf{E}},\widetilde{\textbf{H}})\in X_2\). Then \(\widetilde{\textbf{H}}_2\) and \(\widetilde{\textbf{H}}_3\) belong to \(PH^2(Q)\) with
involving a uniform constant \(C=C(\varepsilon ,\mu ,Q)>0\).
Proof
In the presence of Lemmas 3.1–3.2, the proof for Lemma 9.16 in [41] implies also in our setting that \(\widetilde{\textbf{H}}_2\) and \(\widetilde{\textbf{H}}_3\) are elements of \(PH^2(Q)\) with
(Note here that \((\tfrac{1}{\varepsilon }{\text {curl}}\widetilde{\textbf{H}},0)\in X_1\).) Lemmas 3.1–3.2, as well as the identity \({\text {curl}}{\text {curl}}\widetilde{\textbf{H}}^{(i)}=-\Delta \widetilde{\textbf{H}}^{(i)}+\nabla {\text {div}}\widetilde{\textbf{H}}^{(i)}\), then yield the asserted inequality. \(\square \)
In view of Theorem 9.17 in [41], the electric field component of each vector \((\widetilde{\textbf{E}},\widetilde{\textbf{H}})\in X_2\) is piecewise \(H^2\)-regular, and the \(PH^2\)-norm can be estimated in terms of the \(X_2\)-norm of \((\widetilde{\textbf{E}},0)\). We have consequently established:
Proposition 3.4
The space \(X_2\) embeds continuously into \(PH^2(Q)^6\).
3.3 Wellposedness of the shifted Maxwell system
Let \(\textbf{M}_i\) denote the part of \(\textbf{M}\) in \(\widehat{X}_i\) for \(i\in \{0,1,2\}\) defined in Sect. 2, with the notation \(\widehat{X}_2:=X_2\). We first show that the domain of \(\textbf{M}_i\) coincides with \(X_{i+1}\). This turns out to be useful for the formulation of the wellposedness statements for (3.5).
Observe first that \(\textbf{M}(\mathcal {D}(\textbf{M})\cap \widehat{X}_0)\subset \widehat{X}_0\), and hence \(\mathcal {D}(\textbf{M}_0)=X_1\). We further note that \(\mathcal {D}(\textbf{M}_1)\subset \mathcal {D}(\textbf{M}^2)\cap \widehat{X}_1\) by definition of \(\widehat{X}_1\). Additionally, \(\textbf{M}(\mathcal {D}(\textbf{M}^2)\cap \widehat{X}_1)\subset \mathcal {D}(\textbf{M})\cap \widehat{X}_1=\widehat{X}_1\), and thus \(\mathcal {D}(\textbf{M}_1)=X_2\). The remaining claim can be verified in the same way.
We next derive wellposedness of the shifted Maxwell equations (3.5) in \(\widehat{X}_0\), \(\widehat{X}_1\), and \(X_2=\widehat{X}_2\). To that end, we modify arguments in the proofs of Proposition 2.3 from [17] and Proposition 9.22 from [41].
Lemma 3.5
Let \(j\in \{0,1,2\}\). The part \(\textbf{M}_j\) of \(\textbf{M}\) in \(\widehat{X}_j\) generates a contractive \(C_0\)-semigroup on \(\widehat{X}_j\). It is the restriction of \((e^{t\textbf{M}})_{t\ge 0}\) to \(\widehat{X}_j\).
Proof
(1) We first deal with the case \(j=0\). It suffices to show that \(\textbf{M}_0\) is dissipative on \(\widehat{X}_0\). By the Lumer–Phillips Theorem, \(\textbf{M}_0\) then generates a contractive strongly continuous semigroup on \(\widehat{X}_0\). Note that Proposition 3.5 in [21] shows that \(\textbf{M}\) is skew-adjoint and generates a unitary \(C_0\)-semigroup on \(X_0=L^2(Q)^6\). Due to the unique solvability of the shifted Maxwell equations, we then consequently infer also the asserted restriction statement.
As \(\textbf{M}(\mathcal {D}(\textbf{M})\cap \widehat{X}_0)\subset \widehat{X}_0\), we conclude that \((\lambda I-\textbf{M})^{-1}\) leaves \(\widehat{X}_0\) invariant for \(\lambda \in {\mathbb {R}}\setminus \{0\}\). Hence, \(\lambda I-\textbf{M}_0:\mathcal {D}(\textbf{M}_0)\rightarrow \widehat{X}_0\) is bijective for \(\lambda \in {\mathbb {R}}\setminus \{0\}\).
Let \((\textbf{E},\textbf{H})\in \mathcal {D}(\textbf{M}_0)\), and put \((u,v) :=\textbf{M}_0(\textbf{E},\textbf{H})\). We denote by \((\cdot ,\cdot )_{\widehat{X}_0}\) the canonical inner product inducing the norm in (2.2). Note that \({\text {div}}(\varepsilon u)={\text {div}}(\mu v)=0\) on \(Q\), and \([\![\varepsilon u\cdot \textbf{n}_{\text {int}}]\!] =0\). In view of the skew-adjointness of \(\textbf{M}\) on \(X_0\), we then infer that \((\textbf{M}_0(\textbf{E},\textbf{H}),(\textbf{E},\textbf{H}))_{\widehat{X}_0}=0\), whence \(\textbf{M}_0\) is dissipative and the asserted generator property is shown.
(2) We next restrict ourselves to the case \(j=1\), as the remaining one \(j=2\) can be obtained by a straightforward modification. In view of subspace theory for semigroups, see Paragraph II.2.3 in [18], it suffices to show that \((e^{t\textbf{M}})_{t\ge 0}\) leaves \(\widehat{X}_1\) invariant and that it is continuous on it. Let \((u,v)\in \widehat{X}_1\), and put \((\widetilde{\textbf{E}}(t),\widetilde{\textbf{H}}(t)):=e^{t\textbf{M}}(u,v)\), \(t\ge 0\). Then \((\widetilde{\textbf{E}},\widetilde{\textbf{H}})\in C([0,\infty ),\mathcal {D}(\textbf{M}))\cap C^1([0,\infty ),L^2(Q)^6)\) by standard semigroup theory. The shifted Maxwell system furthermore leads to the formulas
in \(H^{-1}(Q)\). This shows that
Using the continuity of the normal trace operator from \(H({\text {div}},Q)\) into \(H^{-1/2}(\partial Q)\) and \(H^{-1/2}(F_\text {int})\), we furthermore conclude in the same way
As a result, \((\widetilde{\textbf{E}}(t),\widetilde{\textbf{H}}(t))\) belongs to \(\widehat{X}_1\). The above arguments furthermore imply that \((\widetilde{\textbf{E}},\widetilde{\textbf{H}})\) is an element of \(C([0,\infty ),\widehat{X}_1)\). \(\square \)
Lemma 3.5 yields the following direct consequences for the inhomogeneous problem (3.3).
3.3.1 First-order regularity result
The first result is the shifted analogue of Theorem 2.3 and yields a classical solution of the system (3.3).
Proposition 3.6
Let the initial values of the modified fields (3.2) satisfy \((\widetilde{\textbf{E}}_0,\widetilde{\textbf{H}}_0) \in X_1\) and the current from (3.4a) \(\mathbf {\check{J}}\in C^1 \bigl ([0,T], \widehat{X}_0) + C \bigl ([0,T], X_1)\). Then, there is a unique solution \((\widetilde{\textbf{E}},\widetilde{\textbf{H}}) \in C^1 ([0,T], \widehat{X}_0) \cap C ([0,T], X_1)\) of (3.3). In addition, it holds the energy estimate
with a uniform constant \(C=C(\varepsilon ,\mu ,Q)>0\).
Proof
By the standard results, see, e.g., Theorem 4.2.4, Corollaries 4.2.5 and 4.2.6 in [29], and the condition on the initial value and the current \(\mathbf {\check{J}}\), we immediately obtain that there is a unique (classical) solution which satisfies \(\textbf{w}(t) \in C^1( [0,T], \widehat{X}_0) \cap C( [0,T],X_1 )\).
For the energy estimates, we consider the variation-of-constants formula
Note that by the integration-by-parts formula, we can exchange spatial for temporal regularity via
in case of \(\mathbf {\check{J}}\in C^1([0,T],\widehat{X}_0)\), and the energy estimate is shown. \(\square \)
3.3.2 Second-order regularity result
Next, we turn to the shifted analogue of Theorem 2.5 which yields derivatives up to order 2.
Proposition 3.7
Let the initial values of the modified fields (3.2) satisfy \((\widetilde{\textbf{E}}_0,\widetilde{\textbf{H}}_0) \in X_2\) and the current from (3.4a) \(\mathbf {\check{J}}\in C^1 \bigl ([0,T], \widehat{X}_1)\). Then, there is a unique solution \((\widetilde{\textbf{E}},\widetilde{\textbf{H}})\) of (3.3) with
In addition, it holds the energy estimate
with a uniform constant \(C=C(\varepsilon ,\mu ,Q)>0\).
Proof
By the standard results, we immediately obtain that there is a unique (classical) solution which satisfies
\(\textbf{w}(t) \in C^1( [0,T],\widehat{X}_1) \cap C( [0,T], X_2).\)
The additional regularity in time of the solution follows from the identity
In particular, we deduce from (3.8) and (3.9) the desired energy estimates. \(\square \)
3.3.3 Higher-order regularity result
In the last wellposedness result, we establish solutions with derivatives up to order 3, roughly speaking. This enables us to show Theorem 2.6.
Proposition 3.8
Let the initial values of the modified fields (3.2) satisfy \( (\widetilde{\textbf{E}}_0,\widetilde{\textbf{H}}_0) \in X_3\) and the current from (3.4a) satisfy \(\mathbf {\check{J}}\in C^1 \bigl ([0,T], X_2\bigr )\). Then, there is a unique solution \((\widetilde{\textbf{E}},\widetilde{\textbf{H}})\) of (3.3) with
If, in addition, the current satisfies \(\mathbf {\check{J}}\in C^2 \bigl ([0,T], X_0)\), then we further obtain \( (\widetilde{\textbf{E}},\widetilde{\textbf{H}}) \in C^3 \bigl ([0,T], X_0)\), and it holds the energy estimate
with a uniform constant \(C=C(\varepsilon ,\mu ,Q)>0\).
Proof
We obtain immediately the existence and uniqueness of a solution \((\widetilde{\textbf{E}},\widetilde{\textbf{H}}) \in C^1 \bigl ([0,T], X_2) \cap C \bigl ([0,T], X_3)\), and we have to establish the additional regularity. For the differentiability in \(X_1\), we employ (3.9), and the fact that \(\textbf{M}\) maps \(X_2\) to \(\widehat{X}_1\). The additional regularity of \(\mathbf {\check{J}}\), as well as the evolution equation \(\partial _t(\widetilde{\textbf{E}},\widetilde{\textbf{H}})=\textbf{M}(\widetilde{\textbf{E}},\widetilde{\textbf{H}})+\mathbf {\check{J}}\), implies the desired regularity \((\widetilde{\textbf{E}},\widetilde{\textbf{H}})\in C^3([0,T],X_0)\). \(\square \)
4 Extension of the surface current
In this section, we establish the connection between the surface current \(j_{\text {surf}}\) and the volume currents \(\mathbf {\check{J}}\), \(\textbf{J}_{\textbf{E}}\) and \(\textbf{J}_{\textbf{H}}\), used in the transformation in Sect. 3.1. The results are essential to prove our main findings presented in Sect. 2. To extend \(j_{\text {surf}}\) from the interface \(F_\text {int}\) to Q, we proceed in two steps. First, we provide two stationary extension results in Sect. 4.1. (The proofs of the statements are postponed to Sect. 4.3.) By means of our stationary findings, we can then establish time-dependent extension results in Sect. 4.2.
4.1 Stationary extension results
Our first extension statement is crucial to construct mappings \(\textbf{J}_{\textbf{H}}\) and \(\textbf{J}_{\textbf{E}}\) so that the tangential components of the shifted fields \(\widetilde{\textbf{H}}\) and \(\widetilde{\textbf{E}}\) from (3.2) are continuous across the interface \(F_\text {int}\), see Sect. 3.1. In view of the regularity results in Propositions 3.6–3.8, it is also important that the mapping \(\mathbf {\check{J}}\) from (3.4) fulfills additional boundary, transmission, and regularity conditions. As a result, we furthermore study the transmission relations of our extension operators. For the statements, recall the spaces \(\mathcal {X}_{j}^{\gamma }=\mathcal {D}(-\Delta _j)^{\gamma /2}\) from (2.4). For the sake of presentation, we denote by \({\text {curl}}\) the piecewise defined \({\text {curl}}\)-operator.
Lemma 4.1
There are bounded linear mappings \(L_1:\mathcal {X}_{3}^{-1/2}\times \mathcal {X}_{2}^{-1/2}\rightarrow \{0\}\times L^2(Q)^2\) and \(L_2~:~\mathcal {X}_{3}^{-3/2}\times \mathcal {X}_{2}^{-3/2}\rightarrow \{0\}\times L^2(Q)^2\) satisfying the following statements.
a) Let \(v_1\in \mathcal {X}_{3}^{1/2}\) and \(v_2\in \mathcal {X}_{2}^{1/2}\). Then
b) Let \(v_1\in \mathcal {X}_{3}^{3/2}\) and \(v_2\in \mathcal {X}_{2}^{3/2}\). Then \(\tfrac{1}{\varepsilon }{\text {curl}}L_1(v_1,v_2)\in H_0({\text {curl}},Q)\), and
c) Let \(v_1\in \mathcal {X}_{3}^{5/2}\) and \(v_2\in \mathcal {X}_{2}^{5/2}\). Then
Additionally, \(L_1\) is bounded from \(\mathcal {X}_{3}^{5/2-j}\times \mathcal {X}_{2}^{5/2-j}\) into \(\{0\}\times \bigcap _{l=0}^{3-j}PH^l((-1,1),\mathcal {X}_{2}^{3-j-l}\times \mathcal {X}_{3}^{3-j-l})\) for \(j\in \{0,1,2\}\). \(L_2\) is bounded from \(\mathcal {X}_{3}^{3/2-j}\times \mathcal {X}_{2}^{3/2-j}\) into \(\{0\}\times \bigcap _{l=0}^{3-j}PH^l((-1,1),\mathcal {X}_{3}^{3-j-l}\times \mathcal {X}_{2}^{3-j-l})\) for \(j\in \{0,1,2\}\).
As indicated above, the mapping \(\mathbf {\check{J}}\) from (3.4) has to satisfy several transmission conditions to apply the regularity results in Propositions 3.6–3.8. To account for the higher order transmission conditions and to shift away the contributions from the operators \(L_1\) and \(L_2\) in Lemma 4.1b–c), we still need a second stationary extension result.
Lemma 4.2
There are bounded linear operators \({\tilde{L}}_1:\mathcal {X}_{3}^{-3/2}\times \mathcal {X}_{2}^{-3/2}\rightarrow \{0\}\times \bigcap _{l=0}^{1}PH^l((-1,1),\mathcal {X}_{2}^{1-l}\times \mathcal {X}_{3}^{1-l})\) and \({\tilde{L}}_2:\mathcal {X}_{2}^{-3/2}\times \mathcal {X}_{3}^{-3/2}\rightarrow \{0\} \times \bigcap _{l=0}^{1}PH^l((-1,1),\mathcal {X}_{3}^{1-l}\times \mathcal {X}_{2}^{1-l})\) with
for \(v_1,v_4\in \mathcal {X}_{3}^{1/2}\) and \(v_2,v_3\in \mathcal {X}_{2}^{1/2}\). Moreover, both operators are bounded as mappings
for \(j\in \{0,1,2\}\).
For the sake of readability, we move the proofs of Lemmas 4.1–4.2 to Sect. 4.3.
4.2 Time-dependent extension
The next three corollaries provide useful extension results for the surface current \(j_{\text {surf}}\). The statements are implications of Lemmas 4.1–4.2. Recall the function spaces \(V_{T,j}\), \(W_{T,j}\), \(Y_{T,j}\), and \(Z_{T,j}\) from (2.5), (2.10), and (2.13).
Corollary 4.3
Let \(T>0\), \(j_{\text {surf}}^2\in V_{T,3}\) and \(j_{\text {surf}}^3\in V_{T,2}\). There is a function
with \([\![ \textbf{J}_{\textbf{H}}(t)\times \textbf{n}_{\text {int}}]\!] = j_{\text {surf}}(t)\), and \(\textbf{J}_{\textbf{H}}(t)\cdot \nu =0 \text { on }\partial Q\) for \(t\in [0,T]\). Choosing \(\textbf{J}_\Sigma =\textbf{J}_{\textbf{E}}=0\), the function \(\mathbf {\check{J}}\) from (3.4a) satisfies the conditions in Proposition 3.6. Moreover, the energy estimate
is valid with a uniform constant \(C=C(\varepsilon ,\mu ,Q)\).
Proof
We choose \(\textbf{J}_{\textbf{H}}:=L_1(j_{\text {surf}}^2,j_{\text {surf}}^3)\). The statements then follow from Lemma 4.1 a) and by choosing \(j=2\) in the addendum. \(\square \)
For the next statement, we denote by \(\Delta _S\) the two-dimensional Laplacian on the square \(S=[0,1]^2\).
Corollary 4.4
Let \(T>0\), \(j_{\text {surf}}^2\in W_{T,3}\) and \(j_{\text {surf}}^3\in W_{T,2}\). There are two functions
with \({\text {curl}}\textbf{J}_{\textbf{H}}^{(i)}\in C^1([0,T],H^1(Q_i)^3)\), \(\Delta _S{\text {curl}}\textbf{J}_{\textbf{H}}^{(i)}\in C^1([0,T],L^2(Q_i)^3)\), and
for \(t\in [0,T]\). Choosing \(\textbf{J}_\Sigma =0\), the function \(\mathbf {\check{J}}\) from (3.4a) then satisfies the conditions from Proposition 3.7. Moreover, the estimate
is valid with a uniform constant \(C=C(\varepsilon ,\mu ,Q)\).
Proof
We choose \(\textbf{J}_{\textbf{H}}=L_1(j_{\text {surf}}^2,j_{\text {surf}}^{3})\), and \(\textbf{J}_{\textbf{E}}=L_2(\partial _tj_{\text {surf}}^{2},\partial _tj_{\text {surf}}^{3})\). Then all statements follow from Lemma 4.1. (We choose \(j\in \{1,2\}\) in the addendum of Lemma 4.1.) \(\square \)
We finally provide an extension of \(j_{\text {surf}}\) that meets the conditions in Proposition 3.8. Recall also Definition (2.15).
Corollary 4.5
Let \(T>0\), \(j_{\text {surf}}^2\in Y_{T,3}\), \(j_{\text {surf}}^3\in Y_{T,2}\), and \({\text {div}}_{F_\text {int}}j_{\text {surf}}\in C^1([0,T],H^{3/2}_{0}(F_\text {int}))\). Let further
Then there are two functions
satisfying the following properties. The statements in Corollary 4.4 are valid,
and the mapping \(\mathbf {\check{J}}\) from (3.4a) with \(\textbf{J}_\Sigma =0\) satisfies the conditions in Proposition 3.8. The mappings \(\mathbf {\check{J}},\textbf{J}_{\textbf{H}},\textbf{J}_{\textbf{E}}\) can be estimated by
with a uniform constant \(C=C(\varepsilon ,\mu ,Q)>0\).
Proof
We choose \(\textbf{J}_{\textbf{H}}=L_1j_{\text {surf}}+{\tilde{L}}_1 g\) and \(\textbf{J}_{\textbf{E}}=L_2\partial _tj_{\text {surf}}-{\tilde{L}}_2{\tilde{g}}\). The asserted statements then follow from Lemmas 4.1–4.2, as well as the relation \([\![{\text {curl}}\textbf{J}_{\textbf{H}}\cdot \textbf{n}_{\text {int}}]\!] ={\text {div}}_{F_\text {int}}j_{\text {surf}}\) (with \({\text {curl}}\) denoting the piecewise defined \({\text {curl}}\)-operator). \(\square \)
4.3 Proof of the stationary extension results
Proof of Lemma 4.1
In the following, we use ideas and arguments from [16, 41]. Recall the Laplacians \(\Delta _2\) and \(\Delta _3\) on \(F_\text {int}\) from (2.3), as well as the notation \(\mathcal {X}_{j}^{\gamma }:=\mathcal {D}(-\Delta _j)^{\gamma /2}\) from (2.4). Set \(\alpha :=\min \{1,\varepsilon ^{(1)}/\varepsilon ^{(2)}\}\), and let additionally \(\chi :[-1,1]\rightarrow [0,1]\) be a smooth cutoff function with \({\text {supp}}\chi \subset [-\tfrac{3}{4}\alpha ,\tfrac{3}{4}\alpha ]\) and \(\chi =1\) on \([-\tfrac{1}{2}\alpha ,\tfrac{1}{2}\alpha ]\).
(1) Let \(v_{1,1}\in \mathcal {X}_{3}^{-1/2}\), \(v_{1,2}\in \mathcal {X}_{2}^{-1/2}\), \(v_{2,1}\in \mathcal {X}_{3}^{-3/2}\), and \(v_{2,2}\in \mathcal {X}_{2}^{-3/2}\). We put \(L_j(v_{j,1},v_{j,2}):=(0,\Phi _{j,2},\Phi _{j,3})\) for \(j\in \{1,2\}\) with
where \(\Phi _{j,2}^{(2)},\Phi _{j,3}^{(2)}\) are defined on \((0,\infty )\times (0,1)^2\), and \(\Phi _{j,2}^{(1)},\Phi _{j,3}^{(1)}\) are defined on \((-\infty ,0)\times (0,1)^2\) for \(j\in \{1,2\}\).
By Remark 2 in Section 6.1 of [27], \(L_1\) is then bounded from \(\mathcal {X}_{3}^{-1/2}\times \mathcal {X}_{2}^{-1/2}\) into \(\{0\}\times L^2(Q)^2\). Proposition 6.4 in [27] implies that \(L_2\) is bounded from \(\mathcal {X}_{3}^{-3/2}\times \mathcal {X}_{2}^{-3/2}\) into \(\{0\}\times L^2(Q)^2\).
(2) Let now \(v_{1,2},v_{2,2}\in \mathcal {X}_{2}^{3/2}\). We calculate
on \(Q_2\). Using Proposition 6.4 in [27], we derive the estimates
Arguing similarly for the remaining mappings in the definition of \(L_2\), we conclude that \(L_2\) is bounded from \(\mathcal {X}_{3}^{3/2}\times \mathcal {X}_{2}^{3/2}\) to \(\{0\}\times \bigcap _{l=0}^{3}PH^l((-1,1),\mathcal {X}_{3}^{3-l}\times \mathcal {X}_{2}^{3-l})\). The remaining boundedness statements for \(L_1\) and \(L_2\) are obtained with analogous calculations.
(3) It remains to verify the asserted interface and boundary conditions. For \(v_{1,1},v_{2,1}\in \mathcal {X}_{3}^{1/2}\) and \(v_{1,2},v_{2,2}\in \mathcal {X}_{2}^{1/2}\), we calculate
We next combine the analyticity of the semigroups \(({\text {e}}^{-s(-\Delta _j)^{1/2}})_{s\ge 0}\) for \(j\in \{2,3\}\), the choice of \(\chi \), and Lemma 2.1 in [17]. In this way, we infer the identities
on \(\partial Q\). In case \(v_{1,1},v_{2,1}\in \mathcal {X}_{3}^{3/2}\) and \(v_{1,2},v_{2,2}\in \mathcal {X}_{2}^{3/2}\), we furthermore infer
Let finally \(v_{1,1}\in \mathcal {X}_{3}^{5/2}\) and \(v_2\in \mathcal {X}_{2}^{5/2}\). With Lemma 2.1 in [17] and (4.1), we then obtain
\(\square \)
Proof of Lemma 4.2
(1) We argue similarly as in the proof of Lemma 4.1, whence we only sketch our reasoning. In particular, we use the smooth cutoff function \(\chi \) from the proof for Lemma 4.1. Let \(v_1,v_4\in \mathcal {X}_{3}^{-3/2}\) and \(v_2,v_3\in \mathcal {X}_{2}^{-3/2}\). Set \({\tilde{L}}_1(v_1,v_2):=(0,\Phi _{1,2},\Phi _{1,3})\) and \({\tilde{L}}_2(v_3,v_4):=(0,\Phi _{2,2},\Phi _{2,3})\) with
We calculate
and analogously
Note that the derivatives of \(\Phi _{2,2}^{(2)}\) and \(\Phi _{2,3}^{(2)}\) have the same structure. By means of Proposition 6.4 in [27], we then conclude the stated boundedness results for \({\tilde{L}}_1\) and \({\tilde{L}}_2\).
(2) Let \(v_1\in \mathcal {X}_{3}^{1/2}\) and \(v_2\in \mathcal {X}_{2}^{1/2}\). We only analyze the traces of \({\tilde{L}}_1(v_1,v_2)\) at the interface and the boundary faces. The mapping \({\tilde{L}}_2(v_3,v_4)\) can be handled in the same way. In the following, we combine the analyticity of \(({\text {e}}^{-x_1(-\Delta _j)^{1/2}})_{x_1\ge 0}\) with Lemma 2.1 in [17] several times. We then note the identities
on \(F_\text {int}\). Analogous statements are true for the summands in the formulas for \(\partial _1^j\Phi _{1,3}^{(2)}\). Altogether, we conclude
on \(F_\text {int}\). On the boundary, the relations \({\tilde{L}}_1(v_1,v_2)\cdot \nu =0\), and \({\text {curl}}{\tilde{L}}_1(v_1,v_2)\times \nu =0\) are finally also valid. \(\square \)
References
Bonaccorso, F., Sun, Z., Hasan, T., Ferrari, A.C.: Graphene photonics and optoelectronics. Nat. Photon. 4, 611–622 (2010). https://doi.org/10.1038/nphoton.2010.186
Bonito, A., Guermond, J.-L., Luddens, F.: Regularity of the Maxwell equations in heterogeneous media and Lipschitz domains. J. Math. Anal. Appl. 408, 498–512 (2013). https://doi.org/10.1016/j.jmaa.2013.06.018
Bonnet-Ben Dhia, A.-S., Hazard, C., Lohrengel, S.: A singular field method for the solution of Maxwell’s equations in polyhedral domains. SIAM J. Appl. Math. 59, 2028–2044 (1999). https://doi.org/10.1137/S0036139997323383
Born, M., Wolf, E.: Principles of Optics: Electromagnetic Theory of Propagation, Interference and Diffraction of Light, 7. (expanded) ed., reprinted with corr., 5. print. ed., Cambridge University Press (2009). https://doi.org/10.1017/CBO9781139644181
Bouzianas, G.D., Kantartzis, N.V., Yioultsis, T.V., Tsiboukis, T.D.: Consistent study of graphene structures through the direct incorporation of surface conductivity. IEEE Trans. Magn. 50, 161–164 (2014). https://doi.org/10.1109/TMAG.2013.2282332
Boykin, T.B., Luisier, M., Klimeck, G.: Current density and continuity in discretized models. Eur. J. Phys. 31, 1077–1087 (2010). https://doi.org/10.1088/0143-0807/31/5/010
Charlier, J.C., Eklund, P.C., Zhu, J., Ferrari, A.C.: Electron and Phonon Properties of Graphene: Their Relationship with Carbon Nanotubes, pp. 673–709. Springer, Berlin (2008). https://doi.org/10.1007/978-3-540-72865-8_21
Ciarlet, P., Jr.: On the approximation of electromagnetic fields by edge finite elements. Part 1: sharp interpolation results for low-regularity fields. Comput. Math. Appl. 71(1), 85–104 (2016). https://doi.org/10.1016/j.camwa.2015.10.020
Ciarlet, P., Jr.: On the approximation of electromagnetic fields by edge finite elements. Part 3. Sensitivity to coefficients. SIAM J. Math. Anal. 52(3), 3004–3038 (2020). https://doi.org/10.1137/19M1275383
Ciarlet, P., Jr., Lefèvre, F., Lohrengel, S., Nicaise, S.: Weighted regularization for composite materials in electromagnetism. M2AN Math. Model. Numer. Anal. 44(1), 75–108 (2010). https://doi.org/10.1051/m2an/2009041
Costabel, M., Dauge, M.: Singularities of electromagnetic fields in polyhedral domains. Arch. Ration. Mech. Anal. 151, 221–276 (2000). https://doi.org/10.1007/s002050050197
Costabel, M., Dauge, M., Nicaise, S.: Singularities of Maxwell interface problems. M2AN Math. Model. Numer. Anal. 33(3), 627–649 (1999). https://doi.org/10.1051/m2an:1999155
Depine, R.A.: Electromagnetics of Graphene, Graphene Optics: Electromagnetic Solution of Canonical Problems, pp. 2053–2571. Morgan & Claypool Publishers, London (2016). https://doi.org/10.1088/978-1-6817-4309-7ch1
Dohnal, T., Romani, G., Tietz, D.P.: A quasilinear transmission problem with application to Maxwell equations with a divergence-free \(\cal{D} \)-field. J. Math. Anal. Appl. 511, 35 (2022). https://doi.org/10.1016/j.jmaa.2022.126067
Dohnal, T., Schnaubelt, R., Tietz, D.P.: Rigorous Envelope Approximation for Interface Wave-Packets in Maxwell’s Equations in 2d Localization, CRC 1173 Preprint 2022/26. Karlsruhe Institute of Technology (2022). https://doi.org/10.5445/IR/1000147888
Eilinghoff, J., Schnaubelt, R.: Error Estimates in \(\rm L ^2\) of an Adi Splitting Scheme for the Inhomogeneous Maxwell Equations, CRC 1173 Preprint 2017/32. Karlsruhe Institute of Technology (2017). https://doi.org/10.5445/IR/1000077909
Eilinghoff, J., Schnaubelt, R.: Error analysis of an ADI splitting scheme for the inhomogeneous Maxwell equations. Discrete Contin. Dyn. Syst. 38, 5685–5709 (2018). https://doi.org/10.3934/dcds.2018248
Engel, K.-J., Nagel, R.: One-Parameter Semigroups for Linear Evolution Equations. Graduate Texts in Mathematics, vol. 194. Springer, New York (2000)
Falkovsky, L.A., Varlamov, A.A.: Space-time dispersion of graphene conductivity. Eur. Phys. J. B 56, 281–284 (2007). https://doi.org/10.1140/epjb/e2007-00142-3
Hanson, G.W.: Dyadic green’s functions and guided surface waves for a surface conductivity model of graphene. J. Appl. Phys. 103, 064302 (2008). https://doi.org/10.1063/1.2891452
Hochbruck, M., Jahnke, T., Schnaubelt, R.: Convergence of an ADI splitting for Maxwell’s equations. Numer. Math. 129, 535–561 (2015). https://doi.org/10.1007/s00211-014-0642-0
Jackson, J.D.: Classical Electrodynamics, 3rd edn. Wiley, New York (1999)
Kane, C.L., Mele, E.J.: Quantum spin hall effect in graphene. Phys. Rev. Lett. 95, 226801 (2005). https://doi.org/10.1103/PhysRevLett.95.226801
Khavasi, A., Rejaei, B.: Analytical modeling of graphene ribbons as optical circuit elements. IEEE J. Quant. Electron. 50, 397–403 (2014). https://doi.org/10.1109/JQE.2014.2316133
Kuzemsky, A.L.: Electronic transport in metallic systems and generalized kinetic equations. Int. J. Mod. Phys. B 25, 3071–3183 (2011). https://doi.org/10.1142/S0217979211059012
Lions, J.-L., Magenes, E.: Non-Homogeneous Boundary Value Problems and Applications, vol. I. Die Grundlehren der mathematischen Wissenschaften, Band 181, Springer, New York (1972). (Translated from the French by P. Kenneth)
Lunardi, A.: Interpolation Theory, Appunti. Scuola Normale Superiore di Pisa (Nuova Serie). Lecture Notes. Scuola Normale Superiore di Pisa (New Series), vol. 16. Edizioni della Normale, Pisa (2018). https://doi.org/10.1007/978-88-7642-638-4
Mohammadian, A.H., Shankar, V., Hall, W.F.: Computation of electromagnetic scattering and radiation using a time-domain finite-volume discretization procedure. Comput. Phys. Commun. 68, 175–196 (1991). https://doi.org/10.1016/0010-4655(91)90199-U
Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations, Applied Mathematical Sciences, vol. 44. Springer, New York (1983). https://doi.org/10.1007/978-1-4612-5561-1
Prokopeva, L.J., Kildishev, A.V.: Efficient Time-Domain Model of the Graphene Dielectric Function, Metamaterials: Fundamentals and Applications VI, vol. 8806, pp. 19–27. SPIE (2013). https://doi.org/10.1117/12.2024205
Rammer, J.: Quantum Field Theory of Non-equilibrium States. Cambridge University Press (2007). https://doi.org/10.1017/CBO9780511618956
Reiher, M., Wolf, A.: Relativistic Quantum Chemistry: The Fundamental Theory of Molecular Science (2015). https://doi.org/10.1002/9783527667550
Schnaubelt, R., Spitz, M.: Local wellposedness of quasilinear Maxwell equations with conservative interface conditions. Commun. Math. Sci. 20(8), 2265–2313. https://www.intlpress.com/site/pub/pages/journals/items/cms/content/vols/0020/0008/a006/
Stauber, T.: Plasmonics in dirac systems: from graphene to topological insulators. J. Phys. Condens. Matter 26, 123201 (2014). https://doi.org/10.1088/0953-8984/26/12/123201
Stratton, J.A.: Electromagnetic Theory. IEEE Press Series on Electromagnetic Wave Theory, reissued Wiley, Hoboken (2007)
Tedstone, A.A., Lewis, D.J., O’Brien, P.: Synthesis, properties, and applications of transition metal-doped layered transition metal dichalcogenides. Chem. Mater. 28, 1965–1974 (2016). https://doi.org/10.1021/acs.chemmater.6b00430
Triebel, H.: Interpolation Theory, Function Spaces, Differential Operators, 2nd edn. Johann Ambrosius Barth, Heidelberg (1995)
Werra, J.F.M.: Probing Plasmonic Nanostructures, Ph.D. thesis, Humboldt-Universität zu, Berlin (2016). https://doi.org/10.18452/17658
Werra, J.F.M., Krüger, P., Busch, K., Intravaia, F.: Determining graphene’s induced band gap with magnetic and electric emitters. Phys. Rev. B 93, 081404 (2016). https://doi.org/10.1103/PhysRevB.93.081404
Werra, J.F.M., Wolff, C., Matyssek, C., Busch, K.: Current sheets in the discontinuous Galerkin time-domain method: an application to graphene. In: Vladimír, K., Peter, M., Tomasz, S. (eds.) Metamaterials X, vol. 9502, pp. 33–44. International Society for Optics and Photonics, London (2015). https://doi.org/10.1117/12.2182571
Zerulla, K.: ADI schemes for the time integration of Maxwell equations, Ph.D. thesis, Karlsruhe Institute of Technology (2020). https://doi.org/10.5445/IR/1000128718
Zerulla, K.: Analysis of a dimension splitting scheme for Maxwell equations with low regularity in heterogeneous media. J. Evol. Equ. 22(4), 90, 46. https://doi.org/10.1007/s00028-022-00850-2
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Contributions
Both authors contributed equally to the research and manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation)—Project-ID 258734477—SFB 1173.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Dörich, B., Zerulla, K. Wellposedness and regularity for linear Maxwell equations with surface current. Z. Angew. Math. Phys. 74, 131 (2023). https://doi.org/10.1007/s00033-023-02021-w
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00033-023-02021-w
Keywords
- Maxwell equations
- Interface problem
- Wellposedness
- Continuous dependence
- Regularity results
- Maxwell–Schrödinger system