Abstract
We prove Strichartz estimates for the two dimensional Maxwell equations with diagonal Lipschitz permittivity of special structure. The estimates have no loss in regularity that occurs in general for \(C^1\)-coefficients. In the charge-free case, we recover Strichartz estimates local-in-time for Euclidean wave equations in two dimensions up to endpoints.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and main result
The Maxwell equations are the foundation of electromagnetic theory. Despite its importance, dispersive properties of the linear Maxwell system in media have only recently been studied systematically on the full space, see [5, 7,8,9,10] and also [1] for the domain case, as well as [2, 4] for earlier contributions. For the two dimensional situation (1.1), in [9], we have obtained Strichartz estimates comparable to the case of the scalar wave equation, cf. [13, 14]. Such estimates are crucial for the wellposedness theory of related non-linear problems, as discussed in e.g. [1, 8,9,10, 13, 14]. It is known that for Lipschitz coefficients, one has a loss of derivatives in these Strichartz estimates compared to \(C^2\)-coefficients, in general, see [11] for the wave and [9] for the 2D Maxwell case. However, in the recent work [3], it was discovered that this loss does not appear for the wave equation under certain structural assumptions on the coefficients, see (1.6). In this note, we show an analogous result for the 2D Maxwell system for structured Lipschitz coefficients.
We investigate the two-dimensional Maxwell system
for the electric fields \({{\mathcal {D}}},{{\mathcal {E}}}:{\mathbb {R}}\times {\mathbb {R}}^2 \rightarrow {\mathbb {R}}^2,\) the magnetic fields \({{\mathcal {B}}},{{\mathcal {H}}}:{\mathbb {R}}\times {\mathbb {R}}^2 \rightarrow {\mathbb {R}},\) and the current density \({{\mathcal {J}}}: {\mathbb {R}}\times {\mathbb {R}}^2 \rightarrow {\mathbb {R}}^2.\) Here we set \(\nabla _{\perp }=(\partial _2,-\partial _1)^\top \) and \(\nabla \times v= \partial _1v_2-\partial _2 v_1.\) These equations are equipped with the instantaneous linear material laws
for the permittivity \(\varepsilon :{\mathbb {R}}\times {\mathbb {R}}^2 \rightarrow {\mathbb {R}}^{2\times 2}\) and the permeability \(\mu :{\mathbb {R}}\times {\mathbb {R}}^2 \rightarrow {\mathbb {R}}.\) It is assumed that \(\varepsilon \) is symmetric and strictly positive definite. To focus on the main difficulties, we let \(\mu =1\) for simplicity, which is also a usual assumption in optics (after normalizing the vacuum permittivity \(\varepsilon _0\) to 1), see [6]. However, our results easily generalize to strictly positive functions \(\mu \) having the same regularity as \(\varepsilon \) in Theorem 1.1.
The system (1.1) arises as a restriction of the usual three dimensional Maxwell system (with \(\mu =1\)) if the initial values \({{\mathcal {D}}}_0\) and \({{\mathcal {B}}}_0={{\mathcal {H}}}_0\) only depend on \((x,y)\in {\mathbb {R}}^2\) and if their components \({{\mathcal {E}}}_{03},\) \({{\mathcal {B}}}_{01},\) \({{\mathcal {B}}}_{02},\) as well as \({{\mathcal {J}}}_3\) vanish. Moreover, in the 3D permittivity tensor, the components \(\varepsilon _{3j}=\varepsilon _{j3}\) have to be zero for \(j\in \{1,2\}.\) These restrictions on the fields are then conserved by the evolution equations.
In our recent paper [9], we have shown Strichartz estimates for permittivities \(\varepsilon \in C^s({\mathbb {R}}^3,{\mathbb {R}}^{2\times 2})\) with \(0\le s\le 2,\) which were proved to be sharp for \(1 \le s \le 2.\) To formulate them, we let \(u=({{\mathcal {D}}},{{\mathcal {B}}})\) be the state, denote the (electric) charges by \(\rho _e=\nabla \cdot {{\mathcal {D}}}=\partial _1{{\mathcal {D}}}_1+\partial _2 {{\mathcal {D}}}_2,\) and write
where \((\varepsilon ^{ij})\) is the inverse matrix of \(\varepsilon =(\varepsilon _{ij}).\) (Here we change notation compared to [9].) We call exponents (wave) admissible Strichartz pairs in spatial dimension d if
where \(q<\infty \) if \(d=3.\) If the first inequality is an equality, (p, q) is called a sharp Strichartz pair. (Note that \(\rho \ge 0\) and \(\rho =0\) for the pair \((p,q)=(\infty ,2)\) corresponding to the energy estimate (1.11).) For admissible pairs with \(d=2,\) \(C^s\)-coefficients, and the loss parameter \(\sigma =\frac{2-s}{2+s},\) we have established
in [9, Theorem 1.2]. (If \(q=\infty ,\) one has to replace \(L^\infty \) by a Besov space and analogously in (1.7) below.) Here we let \(L^pL^q=L^p({\mathbb {R}}, L^q({\mathbb {R}}^2)),\) \(L^p=L^p_x=L^pL^p,\) and \(|D|^\alpha ={\mathcal {F}}^{-1}|\xi |^\alpha {\mathcal {F}}\) for the space-time Fourier transform. We also write \(L^p_TL^q=L^p_TL^q_{x'}=L^p(0,T; L^q({\mathbb {R}}^2))\) for \(T>0.\) Throughout, \(x=(t,x')\in {\mathbb {R}}\times {\mathbb {R}}^2\) are the space-time variables and \(\xi =(\tau ,\xi ')\in {\mathbb {R}}\times {\mathbb {R}}^2\) the Fourier variables. Accordingly, spatial fractional derivatives are denoted by \(|D'|^\alpha ={\mathcal {F}}^{-1}_{x'}|\xi '|^\alpha {\mathcal {F}}_{x'}.\)
In (1.4), the regularity loss \(\frac{\sigma }{2}\) compared to \(C^2\)-coefficients is sharp in general, as we have seen by a counter-example in [9] inspired by [11]. Except for the charge term, the estimate (1.4) corresponds to the results for the wave equation in Tataru’s paper [13], which also have the loss \(\frac{\sigma }{2}\) for \(C^s\)-coefficients (being sharp in general, see [11]). The charge term in (1.4) compensates the degeneracy of the main symbol of P, which is a fundamental difference between the Maxwell and wave case, tied to the system character of (1.1).
However, recently in [3], the first author and Frey proved Strichartz estimates without loss for wave equations with Lipschitz coefficients under certain structural assumptions. We state the results of [3] for the 2D case only. There coefficients \(a_1, a_2\in C^{0,1}(\mathbb {R})\) were considered under the ellipticity assumption
For the wave operator
and sharp admissible pairs (p, q), the Strichartz estimates without loss
were proven in [3, Corollary 4.5]. Hence, for the wave operator (1.6) with \(C^{0,1}\)-coefficients, we have the same Strichartz estimate (1.7) as for the wave equation with general (elliptic) \(C^2\)-coefficients, see e.g. [13].
In this note, we revisit our approach from [9] and show a loss-less Strichartz estimate for solutions to (1.1) after frequency localization, for permittivities satisfying the structural conditions
Theorem 1.1
Assume that \((p,q,\rho )\) satisfy (1.3) for \(d=2\) and \(\varepsilon \) fulfills (1.8). Let P be given by (1.2), \(u = ({\mathcal {D}},{\mathcal {B}}),\) \(\rho _e = \nabla \cdot {\mathcal {D}},\) and \(T\ge 1.\) We then obtain the Strichartz estimates
Let also \(\varepsilon \in B^1_{\infty ,2}({\mathbb {R}}^2).\) Then we have
for \(q<\infty .\) If \(q=\infty ,\) one has to replace the left-hand side by \(\Vert u \Vert _{L^p_T \dot{B}^{-\rho }_{\infty ,2}}.\)
The theorem is proved in the next section. Here we first discuss the result and its proof a bit. Above we use a spatial Littlewood–Paley decomposition \((S_{\lambda }')_{\lambda \in 2^{\mathbb {N}_0}},\) see (2.1), where \(2^{{\mathbb {N}}_0}=\{2^k\,|\,k\in {\mathbb {N}}_0\}.\) For (1.10), the slightly improved first-order regularity of \(\varepsilon \) is needed to sum the Littlewood–Paley pieces in a commutator argument, see (2.11). We note that (1.8) excludes the counter-examples to (1.10) from [9, Section 7].
We next explain the differences between the right-hand side of (1.4) with \(\sigma =0\) and those of (1.9) and (1.10). Differentiating the energy \(\frac{1}{2}\int _{{\mathbb {R}}^2} (\varepsilon {{\mathcal {E}}}(t) \cdot {{\mathcal {E}}}(t) + |{{\mathcal {H}}}(t)|^2) \,\textrm{d}x'\) in time, one obtains
(For time-varying coefficients, one would need here \(\partial _t\varepsilon \in L^1_TL^\infty .\)) Hence it is enough to show (1.9) and (1.10) with \(\Vert u\Vert _{L^2}\) instead of \(\Vert u(0) \Vert _{L^2_{x'}}\) on the right-hand side. In step (1) of the proof, we also see how one can pass from \(\Vert P u \Vert _{L^2}\) to \(\Vert P u \Vert _{L^1_T L^2_{x'}}\) by means of Duhamel’s formula, though with a T-depending constant. This argument also modifies the charge term.
We state the above result with spatial regularity only. But, as seen in the proof, the low frequency part of u and the frequency ranges \(|\tau |\gg |\xi '|\) can be handled directly (without involving \(\rho _e\)) so that one could replace \(|D'|\) by |D|. Observe that Sobolev’s embedding already gives
so that we have to gain half a derivative to derive (1.10). In particular, if we only know \(\Vert |D'|^{-1/2} \rho _e \Vert _{L^2}\sim \Vert |D'|^\frac{1}{2} {{\mathcal {D}}}\Vert _{L^2}\) for the charge, then (1.10) would not improve on Sobolev’s embedding. On the other hand, (1.1) implies
so that the charge is given by the data. Moreover, we have \(\rho _e(0) =\nabla \cdot {{\mathcal {D}}}(0)\) and \(\partial _t\rho _e =- \nabla \cdot {{\mathcal {J}}}\) in (1.9) and (1.10).
We also remark that we can shift the regularity in (1.10) to the right hand-side in the sense that
which requires to replace P by its non-divergence form version
This argument relies on a commutator argument, which is detailed in [1, Appendix B]; see also [1, Lemma B.2].
In three spatial dimensions, dispersive estimates for the Maxwell system depend very much on the behavior of the eigenvalues of \(\varepsilon (x)\) and \(\mu (x)\) since these heavily influence the characteristic surface S of the problem (the null set of the principal symbol of P), see our recent contributions [5, 8, 10], and the references therein. Only in the isotropic case of scalar \(\varepsilon \) and \(\mu ,\) Strichartz estimates with admissible exponents (1.3) for \(d=3\) as for the wave equation are known so far, see [8] (and also [1] for the domain case). For smooth coefficients and vanishing charges, this was already shown in [2], which is the only other reference on Strichartz estimates for the Maxwell system with non-constant coefficients we are aware of.
Already for constant diagonal coefficients \(\varepsilon ={\text {diag}}(\varepsilon _1,\varepsilon _2,\varepsilon _3)\) and \(\mu ={\text {diag}}(\mu _1,\mu _2,\mu _3)\) in the fully anisotropic case \(\varepsilon _i/\mu _i\ne \varepsilon _j/\mu _j\) for \(i\ne j,\) the admissible range of exponents for the Strichartz estimate is reduced to \(\frac{2}{p}+\frac{1}{q}\le \frac{1}{2}\) as in 2D instead of \(\frac{1}{p}+\frac{1}{q}\le \frac{1}{2}\) as in 3D for the wave equations. This is caused by a loss of curvature for S in this case, compared to \(\partial _{tt} w=\Delta w\) where S becomes the light cone \(\{\tau =\pm |\xi '|\}.\) Moreover, the slices \(S_\tau \) of S for fixed \(\tau \ne 0\) have four conical singularities in the above fully anisotropic case. See [4, 5, 8, 10] for a detailed discussion. So it is worthwhile to study the influence of structured coefficients to dispersive properties of the Maxwell system first in the 2D case.
In our proof, we follow the general strategy from [9]. However, there we used \(C^2\)-coefficients in most of the relevant arguments, so that we have to argue differently at various points below. (In [9] or [13], one treated \(C^s\)-coefficients by means of additional frequency cut-offs of the coefficients, leading to the loss of regularity in (1.4).) As in [13], we first reduce to functions u which are localized in the space-time unit cube \([0,1]^3\) and in Fourier space near a large dyadic frequency \(\lambda \in 2^{{\mathbb {N}}_0}.\) The frequency localization is more demanding in the present situation since the relevant commutator \([P,S_{\lambda }']u\) is uniformly bounded in \(L^2,\) but not square summable for Lipschitz coefficients. (There is no problem if they belong to \(C^s\) for \(s>1.\)) In (2.11), we manage to sum in \(\lambda \) using the assumption \(\varepsilon \in B^1_{\infty ,2},\) which is only needed here. Then the coefficients are truncated to frequencies less or equal \(\lambda .\) We next diagonalize the principal symbol p as in [9]. Using also the FBI transform and results from [12], we can treat the frequency range \(|\tau | \gg |\xi '|\) by an elliptic estimate and the degenerate range \(|\xi '| \gg |\tau |\) employing the charge. The remaining part \(|\tau | \sim |\xi '|\) near the light cone is handled by means of the wave estimate (1.7) from [3], after passing to a second-order formulation of the Maxwell system. Only here we use the special structure of \(\varepsilon \) from (1.8).
2 Proof of Theorem 1.1
As noted above, we use some arguments from [9]. In the sequel, we focus on the differences to [9]. We proceed in five steps using the following dyadic frequency decomposition. Let \(\chi \in C^\infty _c(\mathbb {R};\mathbb {R}_{\ge 0})\) radially decrease with \(\chi (x) = 1\) for \(|x| \le 1\) and \(\chi (x) = 0\) for \(|x| \ge 2.\) We set
for dyadic numbers \(\lambda \in 2^{{\mathbb {N}}_0}.\) Moreover, we write
Here and below we sum over dyadic numbers. We write \(S^\tau _{\lambda } \) etc. for the corresponding operators in 1D (giving a decomposition for the time frequencies), and \(S_{\lambda }\) for the full 3D version in \(\xi .\) The Besov space \(B^s_{p,q}(\mathbb {R}^d)\) for \(s \in \mathbb {R},\) \(1 \le p \le \infty ,\) and \(1 \le q < \infty \) contains those \(f \in {\mathcal {S}}'(\mathbb {R}^d)\) with finite norm
\(B^s_{p,\infty }(\mathbb {R}^d)\) is defined via the usual modification. Note that it is enough to prove Theorem 1.1 for sharp pairs with \(\frac{2}{p}+\frac{1}{q}=\frac{1}{2}\) by Sobolev’s embedding.
2.1 (1) Reduction to \(L^2\) on the right
To establish (1.9), it suffices to show
Similarly, (1.10) follows from
We check this only for (2.2), as (2.3) is treated in the same way.
Once (2.2) is proved, we can derive (1.9) by localization in time and the energy estimate (1.11). To this end, we extend u by reflection and cut-off to a map \(\tilde{u}\) with \(\text {supp}(\tilde{u}) \subseteq (-T,2T).\) An application of (2.2) to \(\tilde{u}\) yields
At this point, we use Duhamel’s formula
for the \(C_0\)-group \(U(\cdot )\) solving (1.1), and the estimate (2.4) for the homogeneous problem with initial values u(0), respectively Pu(s). Taking into account \(\rho _e(0) =\nabla \cdot {{\mathcal {D}}}(0)\) and \(\partial _t\rho _e =- \nabla \cdot {{\mathcal {J}}}\) from (1.12), we deduce (1.9).
2.2 (2) Localization and frequency truncation
We carry out a dyadic frequency localization and frequency-truncate the coefficients accordingly.
In the first step, we observe that Bernstein’s inequality, (1.11), and Hölder’s inequality yield
In particular, we can replace \(|D'|^{-\rho }\) by \(\langle D'\rangle ^{-\rho }={\mathcal {F}}^{-1}_{x'}\langle \xi '\rangle ^{-\rho } {\mathcal {F}}_{x'}\) with \(\langle \xi '\rangle ^2=1+ |\xi '|^2.\) As in [9, Section 3.2], we restrict to u that are supported in \([0,1]^3\) by means of a partition of unity.
Define maps with frequency truncation at \(\frac{\lambda }{8},\) near \(\lambda ,\) and above \(c\lambda \) by
respectively, where a stands for (components of) \(\varepsilon \) and \(\varepsilon ^{-1}.\) Here \(c>0\) is a constant which is adapted below finitely often. To lighten notation, we do not keep track of it. Since \(\Vert S'_\mu a\Vert \lesssim \mu ^{-1} \Vert a\Vert _{C^{0,1}}\) by [15, (A.1.2)], we have
We can thus fix \(\lambda _0\ge 1\) such that the lower bound (1.8) is true for \(\varepsilon _{\lesssim \lambda }\) if \(\lambda \ge \lambda _0.\) We write \(\lambda \gtrsim 1\) for this relation. This restriction is assumed below, frequencies \(\lambda <\lambda _0\) can be treated as in the previous paragraph. We further define \(P_{\lambda }\) by replacing in the definition of P in (1.2) the coefficients \(\varepsilon ^{ij}\) by \((\varepsilon ^{ij})_{\lesssim \lambda }.\) The operators \(P_{\sim \lambda }\) and \(P_{\gtrsim \lambda }\) are defined analogously. Note that \(\varepsilon ^{-1}\) satisfies the same assumptions as \(\varepsilon .\) (Use the characterization of \(B^1_{\infty ,2}({\mathbb {R}}^2)\) by differences in [16, Theorem 2.5.12] and ellipticity.)
We next deduce (2.2) from the frequency localized bound
for \(\lambda \gtrsim 1.\) To pass from (2.6) to (2.2), we bound \(\Vert P_{\lambda } S'_{\lambda } u \Vert _{L^2}\) by \(\Vert S'_{\lambda } P u \Vert _{L^2}\) plus terms like \(\Vert \tilde{S}_{\lambda }'u \Vert _{L^2}.\) We use fixed-time commutator arguments to this end. We note that
Write \([P, S'_{\lambda }]= [P, S'_{\lambda }]\tilde{S}_{\lambda }'+ S'_{\lambda } P(1-\tilde{S}'_{\lambda }).\) In the second term, we can replace the coefficients \(\varepsilon ^{-1}\) of P with \((\varepsilon ^{-1})_{\gtrsim \lambda }\) as the low frequencies of \(\varepsilon ^{-1}\) do not appear in the frequency interaction:
Since P is in divergence form, the commutator estimate from [15, Proposition 4.1.A] and (2.5) yield
Hence, (2.2) follows from (2.6).
To reduce (2.3) to (2.6), we use the square function estimate in \(L^q(\mathbb {R}^2)\) for \(2 \le q<\infty \) and Minkowski’s inequality (note that \(p,q \ge 2\)), obtaining
If \(q=\infty ,\) we employ the definition of Besov spaces instead of the Littlewood–Paley theorem. Invoking (2.6), we need to show that
In (2.7), the first and third term can be summed in \(L^2(\mathbb {R}^2)\) due to (2.10), already for Lipschitz coefficients. It remains to verify
The second term in (2.9) is not square summable. To use the extra Besov regularity of \(\varepsilon ,\) we go back to (2.8) and write
Square summing the first term in the last line yields
Here we use that \(\Vert \varepsilon ^{-1} \Vert _{B^1_{\infty ,2}} \lesssim \Vert \varepsilon \Vert _{B^1_{\infty ,2}},\) as noted above.
By means of Hölder’s inequality and Fubini’s theorem, we estimate the square sum of the second term by
As a result, (2.6) also implies (2.3) if \(\varepsilon \in B^1_{\infty ,2}.\)
2.3 (3) Diagonalization
We diagonalize the main symbol of P as in [9, Section 3.1], obtaining
with \(| \xi ' |_{\tilde{\varepsilon }}^2 = \langle \xi ', \tilde{\varepsilon }(x) \xi ' \rangle ,\) \(\tilde{\varepsilon }(x) = \text {adj}(\varepsilon ^{-1}(x))={\text {diag}}(\varepsilon ^{22}(x),\varepsilon ^{11}(x)),\) and \(\xi _i^* = \xi _i / | \xi ' |_{\tilde{\varepsilon }}\) for \(i=1,2.\) See also [7]. Here we use that \(\varepsilon \) is diagonal in our case, though this is not needed in this and the next step.
Strictly speaking, the symbols in the diagonalization depend on \(\lambda ,\) but we suppress the dependence in the following to lighten the notation.
2.4 (4) Estimate away from the light cone
We use the diagonalization to localize also the temporal frequencies \(\mu \) of u to the spatial frequency \(\lambda \) in the next step. In the present step, we first treat \(\mu \) that differ much from \(\lambda .\)
(a) Let \(\mu \gg \lambda ;\) i.e., \(\mu \ge c\lambda \) for constant \(c>1\) implicitly fixed below. Here the operator \(P_{\lambda }\) is elliptic and gains one derivative. More precisely, Bernstein’s inequality yields
Now we use the FBI transform
see [12], and set \(v_\mu = T_\mu S^\tau _\mu S'_{\lambda } u.\) We recall that \(T_\mu : L^2({\mathbb {R}}^3)\rightarrow L^2_\Phi ({\mathbb {R}}^6)\) is an isometry, where the range space has the weight \(\Phi (z)= \textrm{e}^{-\mu \xi ^2}.\) Using [13, (15)], one can check that \(v_\mu \) is essentially supported in \(B(0,2) \times \{\xi \in {\mathbb {R}}^3\,|\, |\tau | \sim 1,\; |\xi '|\ll |\tau | \} =: U\) and \(\Vert v_\mu \Vert _{L^2(U^c)} \lesssim _N \mu ^{-N}\Vert S^\tau _\mu S'_{\lambda } u \Vert _{L^2}.\) So it remains to estimate \(\Vert v_\mu \Vert _{L^2(U)}.\)
Since p is strictly positive on U, [12, Theorem 1] implies
We note that the pseudodifferential operator P(x, D) with symbol \(p(x,\xi )\) is equal to \(P_{\lambda }\) plus an \(L^2\)-bounded perturbation. This suffices for summation over \(\mu \gg \lambda ,\) and we have thus shown
(b) Let \(\mu \ll \lambda .\) Here we see that the non-degenerate components of \(d(x,\xi )\) are elliptic and the degenerate first component is estimated by the charges. As above, Bernstein’s inequality yields
We let \(T_{\lambda } S^\tau _\mu S'_{\lambda } u = v_{\lambda },\) which is supported in \(\{\xi \in {\mathbb {R}}^3\,|\, |\xi '| \sim 1,\; |\tau |\ll |\xi '| \}\) up to rapidly decreasing errors, and obtain
Using [12, Theorem 1], the component \([m^{-1}(x,\xi ) v_{\lambda }]_1\) is estimated by
By the essential support property, the components \(d_2\) and \(d_3\) are strictly positive. For \(i=2,3,\) we thus obtain
This fact allows to gain derivatives as in (2.12) and leads to
Summing over \(\mu \ll \lambda ,\) we derive
2.5 (5) Estimate near the light cone
In view of (2.13) and (2.14), for (2.6), it remains to treat the frequency region \(c\lambda \le \mu \le c'\lambda \) for some fixed constants. Set \(({{\mathcal {D}}}_\lambda ,{{\mathcal {H}}}_\lambda )=S^\tau _{\sim \lambda }S_\lambda 'u\) and \({{\mathcal {J}}}_\lambda = P_{\lambda } S^\tau _{\sim \lambda }S_\lambda ' u= S^\tau _{\sim \lambda }P_{\lambda } S_\lambda ' u.\) To estimate \(({{\mathcal {D}}}_\lambda ,{{\mathcal {H}}}_\lambda ),\) we pass to the second order equation starting from
Taking another time derivative in the third equation, we find
Setting \(f= \partial _2 (\varepsilon _{1\lambda }^{-1} {\mathcal {J}}_{1\lambda }) - \partial _1 ( \varepsilon _{2\lambda }^{-1} {\mathcal {J}}_{2\lambda }) + \partial _t {\mathcal {J}}_{3 \lambda },\) the standard energy estimate and (2.15) imply
We now use (1.7) taken from [3] and obtain
Furthermore, the first and second equation in (2.15) give
with \(j\ne i\) in \(\{1,2\}.\) The first term has been bounded by \(\Vert S_{\lambda }' u(0) \Vert _{L^2_{x'}} + \Vert {\mathcal {J}}_{\lambda } \Vert _{L^2}\) in (2.16). Due to Sobolev’s embedding, the second term can be estimated by
Hence, (2.6) is shown and the proof of Theorem 1.1 is complete. \(\Box \)
References
Burq, N., Schippa, R.: Strichartz estimates for Maxwell equations on domains with perfectly conducting boundary conditions. arXiv:2304.13368 (2023)
Dumas, E., Sueur, F.: Cauchy problem and quasi-stationary limit for the Maxwell–Landau–Lifschitz and Maxwell–Bloch equations. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 11(3), 503–543 (2012)
Frey, D., Schippa, R.: Strichartz estimates for equations with structured Lip-schitz coefficients. J. Evol. Equ. 23(3), Paper No. 45, 34 pp. (2023)
Liess, O.: Decay estimates for the solutions of the system of crystal optics. Asymptot. Anal. 4(1), 61–95 (1991)
Mandel, R., Schippa, R.: Time-harmonic solutions for Maxwell’s equations in anisotropic media and Bochner–Riesz estimates with negative index for non-elliptic surfaces. Ann. Henri Poincaré 23(5), 1831–1882 (2022)
Moloney, J., Newell, A.: Nonlinear Optics. Westview Press, Boulder (2004)
Schippa, R.: Resolvent estimates for time-harmonic Maxwell’s equations in the partially anisotropic case. J. Fourier Anal. Appl. 28(2), Paper No. 16, 31 pp. (2022)
Schippa, R.: Strichartz estimates for Maxwell equations in media: the partially anisotropic case. arXiv:2108.07691 (2022)
Schippa, R., Schnaubelt, R.: On quasilinear Maxwell equations in two dimensions. Pure Appl. Anal. 4(2), 313–365 (2022)
Schippa, R., Schnaubelt, R.: Strichartz estimates for Maxwell equations in media: the fully anisotropic case. arXiv:2211.16130 (2022)
Smith, H.F., Tataru, D.: Sharp counterexamples for Strichartz estimates for low regularity metrics. Math. Res. Lett. 9(2–3), 199–204 (2002)
Tataru, D.: Strichartz estimates for operators with nonsmooth coefficients and the nonlinear wave equation. Amer. J. Math. 122(2), 349–376 (2000)
Tataru, D.: Strichartz estimates for second order hyperbolic operators with nonsmooth coefficients. II. Amer. J. Math. 123(3), 385–423 (2001)
Tataru, D.: Strichartz estimates for second order hyperbolic operators with nonsmooth coefficients. III. J. Amer. Math. Soc. 15(2), 419–442 (2002)
Taylor, M.E.: Pseudodifferential Operators and Nonlinear PDE. Birkhäuser, Boston (1991)
Triebel, H.: Theory of Function Spaces. Reprint of 1983 edition. Birkhäuser/Springer, Basel (2010)
Acknowledgements
We thank the referee for comments improving the presentation of the paper. Funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation)—Project-ID 258734477—SFB 1173.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Schippa, R., Schnaubelt, R. Strichartz estimates for Maxwell equations in media: the structured case in two dimensions. Arch. Math. 121, 425–436 (2023). https://doi.org/10.1007/s00013-023-01898-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00013-023-01898-3