Lipschitz stability for the inverse conductivity problem (Q2573656)

Let \(u\in H^1(\Omega)\) be the weak solution to the Dirichlet problem \[ \text{ div }(\gamma \nabla u)=0\quad \text{ in }\Omega,\qquad u=\varphi \quad \text{ in }\partial \Omega, \] where \(\Omega\subset {\mathbb R}^n\) is a domain of class \(C^{0,1}\), \(\varphi\in H^{1/2}(\partial\Omega)\) and \(\gamma \in L^\infty(\Omega)\) satisfies \(0<\lambda\leq \gamma(x)\leq \lambda^{-1}\) for some \(\lambda \in (0,1)\). Denote by \(\Lambda_\gamma\) the Dirichlet-to-Neumann map given by \(H^{1/2}(\partial\Omega)\ni \varphi\to \gamma {\partial u\over \partial \nu}| _{\partial\Omega} \in H^{-1/2}(\partial\Omega)\), \(\nu\) denoting the outer normal vector. The first result proved in the paper is related to functions \(\gamma\) of the form \(\gamma(x)=\sum_{j=1}^N\,\gamma_j\psi_j(x)\), where \(\gamma_1,\ldots,\gamma_N\in {\mathbb R}\) and \(\psi_1,\ldots,\psi_N\in C^2({\overline \Omega})\), \(j=1,\ldots,N\). In this case the map \(\gamma\to \Lambda_\gamma\) is Lipschitz-continuous with respect to the norms of \(L^\infty(\Omega)\) and \({\mathcal L}(H^{1/2}(\partial\Omega);H^{-1/2}(\partial\Omega))\). The latter result is related to functions \(\gamma\) of the form \(\gamma(x)=\sum_{j=1}^N\, \gamma_j\chi_{D_j}(x)\), where the domains \(D_1,\ldots, D_N\), of class \(C^{0,1}\), are pairwise disjoint and satisfy suitable additional properties. Moreover, for a fixed open subset \(\Sigma \subset \partial\Omega\) of class \(C^{0,1}\), denote by \(\Lambda^{\Sigma}_\gamma\) the Dirichlet-to-Neumann map localized on \(\Sigma\) and defined by \(H^{1/2}_{co}(\Sigma)\ni \varphi\to \gamma {\partial u\over \partial \nu}| _{\Sigma}\in H^{-1/2}_{co}(\Sigma)\), where \(H^{1/2}_{co}(\Sigma)=\{\varphi \in H^{1/2}(\partial\Omega): \text{ supp\,}\varphi\subset \varphi\}\) and \(H^{-1/2}_{co}(\Sigma)\) denotes the space dual to \(H^{1/2}_{co}(\Sigma)\). Also in this case the map \(\gamma\to \Lambda^{\Sigma}_\gamma\) is Lipschitz-continuous with respect to the norms of \(L^\infty(\Omega)\) and \({\mathcal L}(H^{1/2}_{co}(\Sigma);H^{-1/2}_{co}(\Sigma))\).