Spectral stability estimates of Dirichlet divergence form elliptic operators (Q2218310)

The paper is aimed on applying quasiconformal mappings to spectral stability estimates of the Dirichlet eigenvalues of \(A\)-divergent form elliptic operators \[ L_{A}=-\text{div} [A(w) \nabla g(w)]\in \widetilde{\Omega}, \quad w|_{\partial \widetilde{\Omega}}=0, \] in non-Lipschitz domains \(\widetilde{\Omega} \subset \mathbb{C}\) with \(2 \times 2\) symmetric matrix functions \(A(w)=\left\{a_{kl}(w)\right\}\), \(\textrm{det} A=1\), with measurable entries satisfying the uniform ellipticity condition. The main results of the article concern to spectral stability estimates in domains that the authors call as \(A\)-quasiconformal \(\beta\)-regularity domains. Namely, a simply connected domain \(\widetilde{\Omega} \subset \mathbb{C}\) is called an \(A\)-quasiconformal \(\beta\)-regular domain about a simply connected domain \({\Omega} \subset \mathbb{C}\) if \[ \iint\limits_{\widetilde{\Omega}} |J(w, \varphi)|^{1-\beta}~dudv < \infty, \,\,\,\beta>1, \] where \(J(w, \varphi)\) is a Jacobian of an \(A\)-quasiconformal mapping \(\varphi: \widetilde{\Omega}\to\Omega\). The main result of the article states that, if a domain \(\widetilde{\Omega}\) is \(A\)-quasiconformal \(\beta\)-regular about \(\Omega\), then for any \(n\in \mathbb{N}\) the following spectral stability estimates hold: \[ |\lambda_n[I, \Omega]-\lambda_n[A, \widetilde{\Omega}]| \leq c_n A^2_{\frac{4\beta}{\beta -1},2}(\Omega) \left(|\Omega|^{\frac{1}{2\beta}} + \|J_{\varphi^{-1}}\,|\,L^{\beta}(\Omega)\|^{\frac{1}{2}} \right) \cdot \|1-J_{\varphi^{-1}}^{\frac{1}{2}}\,|\,L^{2}(\Omega)\|, \] where \(c_n=\max\left\{\lambda_n^2[A, \Omega], \lambda_n^2[A, \widetilde{\Omega}]\right\}\), \(J_{\varphi^{-1}}\) is a Jacobian of an \(A^{-1}\)-quasiconformal mapping \(\varphi^{-1}:\Omega\to\widetilde{\Omega}\), and \[ A_{\frac{4\beta}{\beta -1},2}(\Omega) \leq \inf\limits_{p\in \left(\frac{4\beta}{3\beta -1},2\right)} \left(\frac{p-1}{2-p}\right)^{\frac{p-1}{p}} \frac{\left(\sqrt{\pi}\cdot\sqrt[p]{2}\right)^{-1}|\Omega|^{\frac{\beta-1}{4\beta}}}{\sqrt{\Gamma(2/p) \Gamma(3-2/p)}}~~. \]