Operator estimates for the crushed ice problem

Let $\Delta_{\Omega_\varepsilon}$ be the Dirichlet Laplacian in the domain $\Omega_\varepsilon:=\Omega\setminus\left(\cup_i D_{i \varepsilon}\right)$. Here $\Omega\subset\mathbb{R}^n$ and $\{D_{i \varepsilon}\}_{i}$ is a family of tiny identical holes ("ice pieces") distributed periodically in $\mathbb{R}^n$ with period $\varepsilon$. We denote by $\mathrm{cap}(D_{i \varepsilon})$ the capacity of a single hole. It was known for a long time that $-\Delta_{\Omega_\varepsilon}$ converges to the operator $-\Delta_{\Omega}+q$ in strong resolvent sense provided the limit $q:=\lim_{\varepsilon\to 0} \mathrm{cap}(D_{i\varepsilon}) \varepsilon^{-n}$ exists and is finite. In the current contribution we improve this result deriving estimates for the rate of convergence in terms of operator norms. As an application, we establish the uniform convergence of the corresponding semi-groups and (for bounded $\Omega$) an estimate for the difference of the $k$-th eigenvalue of $-\Delta_{\Omega_\varepsilon}$ and $-\Delta_{\Omega_\varepsilon}+q$. Our proofs relies on an abstract scheme for studying the convergence of operators in varying Hilbert spaces developed previously by the second author.

[1]  Kirill D. Cherednichenko,et al.  Norm-Resolvent Convergence of One-Dimensional High-Contrast Periodic Problems to a Kronig–Penney Dipole-Type Model , 2015 .

[2]  Homogenization of elliptic operators with periodic coefficients in dependence of the spectral parameter , 2016 .

[3]  M. Birman,et al.  Second order periodic differential operators. Threshold properties and homogenization , 2004 .

[4]  Georges Griso Error estimate and unfolding for periodic homogenization , 2004 .

[5]  M. Balzano Random relaxed Dirichlet problems , 1988 .

[6]  U. Mark Kac,et al.  Probabilistic methods in some problems of scattering theory , 1974 .

[7]  V. Zhikov,et al.  Operator estimates in homogenization theory , 2016 .

[8]  V. Marchenko,et al.  Homogenization of Partial Differential Equations , 2005 .

[9]  Spectral Convergence of Quasi-One-Dimensional Spaces , 2005, math-ph/0512081.

[10]  Georges Griso Interior error estimate for periodic homogenization , 2006 .

[11]  J. Rauch Lecture #3. Scattering by many tiny obstacles , 1975 .

[12]  D. Krejčiřík Spectrum of the Laplacian in narrow tubular neighbourhoods of hypersurfaces with combined Dirichlet and Neumann boundary conditions , 2013, 1311.2386.

[13]  B. Simon Functional integration and quantum physics , 1979 .

[14]  Andrea Braides Γ-convergence for beginners , 2002 .

[15]  G. Cardone,et al.  Homogenization and norm-resolvent convergence for elliptic operators in a strip perforated along a curve , 2013, Proceedings of the Royal Society of Edinburgh: Section A Mathematics.

[16]  Alexander Belyaev Asymptotics of solutions of boundary value problems in periodically perforated domains with small holes , 1995 .

[17]  Homogenization with corrector for periodic differential operators. Approximation of solutions in the Sobolev class ¹(ℝ^{}) , 2007 .

[18]  On an elaboration of M. Kac's theorem concerning eigenvalues of the Laplacian in a region with randomly distributed small obstacles , 1983 .

[19]  F. Rösler,et al.  Norm-resolvent convergence in perforated domains , 2017, Asymptot. Anal..

[20]  P. Bassanini,et al.  Elliptic Partial Differential Equations of Second Order , 1997 .

[21]  I. Chavel Eigenvalues in Riemannian geometry , 1984 .

[22]  Brian Davies,et al.  Partial Differential Equations II , 2002 .

[23]  Convergence of sectorial operators on varying Hilbert space , 2010, 1007.3932.

[24]  Tosio Kato Perturbation theory for linear operators , 1966 .

[25]  O. Oleinik,et al.  COMMUNICATIONS OF THE MOSCOW MATHEMATICAL SOCIETY: On the limiting behaviour of the spectrum of a sequence of operators defined on different Hilbert spaces , 1989 .

[26]  F. Browder ESTIMATES AND EXISTENCE THEOREMS FOR ELLIPTIC BOUNDARY VALUE PROBLEMS. , 1959, Proceedings of the National Academy of Sciences of the United States of America.

[27]  O. Post Spectral Analysis on Graph-like Spaces , 2012 .

[28]  P. Grisvard Elliptic Problems in Nonsmooth Domains , 1985 .

[29]  G. Vainikko Regular convergence of operators and approximate solution of equations , 1981 .

[30]  S. Varadhan,et al.  Diffusion in regions with many small holes , 1980 .

[31]  G. Cardone,et al.  Uniform resolvent convergence for strip with fast oscillating boundary , 2012, 1206.1771.

[32]  Gerald Kaiser,et al.  Homogenization of Partial Differential Equations , 2005 .

[33]  Giuseppe Cardone,et al.  On a Waveguide with Frequently Alternating Boundary Conditions: Homogenized Neumann Condition , 2010, 1010.2072.

[34]  Michael E. Taylor,et al.  Partial Differential Equations II: Qualitative Studies of Linear Equations , 1996 .

[35]  Jeffrey Rauch,et al.  Lecture #2. The mathematical theory of crushed ice , 1975 .

[36]  Jeffrey Rauch,et al.  Potential and scattering theory on wildly perturbed domains , 1975 .

[37]  M. Langer,et al.  Quasi boundary triples and semi-bounded self-adjoint extensions , 2015, Proceedings of the Royal Society of Edinburgh: Section A Mathematics.