-
Order-sharp norm-resolvent homogenisation estimates for Maxwell equations on periodic singular structures: the case of non-zero current and the general system
Authors:
Kirill Cherednichenko,
Serena D'Onofrio
Abstract:
For arbitrarily small values of $\varepsilon>0,$ we formulate and analyse the Maxwell system of equations of electromagnetism on $\varepsilon$-periodic sets $S^\varepsilon\subset{\mathbb R}^3.$ Assuming that a family of Borel measures $μ^\varepsilon,$ such that ${\rm supp}(μ^\varepsilon)=S^\varepsilon,$ is obtained by $\varepsilon$-contraction of a fixed 1-periodic measure $μ,$ and for right-hand…
▽ More
For arbitrarily small values of $\varepsilon>0,$ we formulate and analyse the Maxwell system of equations of electromagnetism on $\varepsilon$-periodic sets $S^\varepsilon\subset{\mathbb R}^3.$ Assuming that a family of Borel measures $μ^\varepsilon,$ such that ${\rm supp}(μ^\varepsilon)=S^\varepsilon,$ is obtained by $\varepsilon$-contraction of a fixed 1-periodic measure $μ,$ and for right-hand sides $f^\varepsilon\in L^2({\mathbb R}^3, dμ^\varepsilon),$ we prove order-sharp norm-resolvent convergence estimates for the solutions of the system. In the resent work we address the case of non-zero current density in the Maxwell system and complete the analysis of the general setup including non-constant permittivity and permeability coefficients.
△ Less
Submitted 9 July, 2020;
originally announced July 2020.
-
Operator-norm homogenisation estimates for the system of Maxwell equations on periodic singular structures
Authors:
Kirill Cherednichenko,
Serena D'Onofrio
Abstract:
For arbitrarily small values of $\varepsilon>0,$ we formulate and analyse the Maxwell system of equations of electromagnetism on $\varepsilon$-periodic sets $S^\varepsilon\subset{\mathbb R}^3.$ Assuming that a family of Borel measures $μ^\varepsilon,$ such that ${\rm supp}(μ^\varepsilon)=S^\varepsilon,$ is obtained by $\varepsilon$-contraction of a fixed 1-periodic measure $μ,$ and for right-hand…
▽ More
For arbitrarily small values of $\varepsilon>0,$ we formulate and analyse the Maxwell system of equations of electromagnetism on $\varepsilon$-periodic sets $S^\varepsilon\subset{\mathbb R}^3.$ Assuming that a family of Borel measures $μ^\varepsilon,$ such that ${\rm supp}(μ^\varepsilon)=S^\varepsilon,$ is obtained by $\varepsilon$-contraction of a fixed 1-periodic measure $μ,$ and for right-hand sides $f^\varepsilon\in L^2({\mathbb R}^3, dμ^\varepsilon),$ we prove order-sharp norm-resolvent convergence estimates for the solutions of the system. Our analysis includes the case of periodic "singular structures", when $μ$ is supported by lower-dimensional manifolds. The estimates are obtained by combining several new tools we develop for analysing the Floquet decomposition of an elliptic differential operator on functions from Sobolev spaces with respect to a periodic Borel measure. These tools include a generalisation of the classical Helmholtz decomposition for $L^2$ functions, an associated Poincaré-type inequality, uniform with respect to the parameter of the Floquet decomposition, and an appropriate asymptotic expansion inspired by the classical power series. Our technique does not involve any spectral analysis and does not rely on the existing approaches, such as Bloch wave homogenisation or the spectral germ method.
△ Less
Submitted 3 November, 2024; v1 submitted 21 November, 2018;
originally announced November 2018.
-
Operator-norm convergence estimates for elliptic homogenisation problems on periodic singular structures
Authors:
Kirill Cherednichenko,
Serena D'Onofrio
Abstract:
For a an arbitrary periodic Borel measure $μ$, we prove order $O(\varepsilon)$ operator-norm resolvent estimates for the solutions to scalar elliptic problems in $L^2({\mathbb R}^d, dμ^\varepsilon)$ with $\varepsilon$-periodic coefficients, $\varepsilon>0.$ Here $μ^\varepsilon$ is the measure obtained by $\varepsilon$-scaling of $μ.$ Our analysis includes both the case of a measure absolutely cont…
▽ More
For a an arbitrary periodic Borel measure $μ$, we prove order $O(\varepsilon)$ operator-norm resolvent estimates for the solutions to scalar elliptic problems in $L^2({\mathbb R}^d, dμ^\varepsilon)$ with $\varepsilon$-periodic coefficients, $\varepsilon>0.$ Here $μ^\varepsilon$ is the measure obtained by $\varepsilon$-scaling of $μ.$ Our analysis includes both the case of a measure absolutely continuous with respect to the standard Lebesgue measure and the case of "singular" periodic structures (or "multistructures"), when $μ$ is supported by lower-dimensional manifolds.
△ Less
Submitted 14 February, 2021; v1 submitted 6 January, 2018;
originally announced January 2018.
