Stability and perturbations of the domain for the first eigenvalue of the 1-Laplacian (Q2492883): Difference between revisions

Let \(\Omega\) be a smooth bounded domain in \(\mathbb{R}^n\) for \(n\geq2\). Let \(H_1^1(\Omega)\) be the Sobolev space of functions in \(L^1(\Omega)\) with one derivative in \(L^1(\Omega)\) and let \(\widehat H_1^1(\Omega)\) be the closure of \(C_0^\infty(\Omega)\) in \(H_1^1(\Omega)\). Define the first eigenvalue \(\lambda_{1,\Omega}\) of the \(1\)-Laplacian by the minimization problem: \[ \lambda_{1,\Omega}:= \inf_{u\in\widehat H_1^1(\Omega)}\left\{{{\int_\Omega| \nabla u| \,dx}\over{\int_{\Omega}| u| \,dx}}\right\}. \] The authors study the dependence of \(\lambda_{1,\Omega}\) under perturbations of \(\Omega\) using the mean of the \(1\)-capacity. They show: Theorem. Let \(\Omega\) be a smooth bounded domain in \(\mathbb{R}^n\) and let \((\Omega_\delta)_{\delta>0}\) be a sequence of smooth bounded domains in \(\mathbb{R}^n\), and \(K_\delta=\text{adh}(\Omega\Delta\Omega_\delta)\) be the closure of the symmetric difference. Let \(A_\delta\) be a sequence of eigensets for \(\lambda_{1,\Omega_\delta}\). Assume \(\text{cap}_1(K_\delta)\rightarrow0\) as \(\delta\rightarrow0\). Then for any \(\delta\), \[ | \lambda_{1,\Omega}-\lambda_{1,\Omega_\delta}| ={{\varepsilon_\delta}\over{| A_\delta| }} \text{cap}_1(K_\delta)+o(\text{cap}_1(K_\delta))\,. \] Here \(\varepsilon_\delta\in[0,1]\) and \(| A_\delta| \geq\Lambda\) for some \(\Lambda>0\) and all \(\delta\). In particular \(\lambda_{1,\Omega_\delta}\rightarrow\lambda_{1,\Omega}\) as \(\delta\rightarrow0\). Moreover, up to passing to a subsequence, \(\chi_{A_\delta}\rightarrow\chi_A\) in \(L^1(\mathbb{R}^n)\) as \(\delta\rightarrow0\) where \(A\) is an eigenset for \(\lambda_{1,\Omega}\). Other results are obtained that deal with perturbations.