Cavity type problems ruled by infinity Laplacian operator (Q729941)

This paper deals with the following Dirichlet problem involving the infinity Laplacian \[ -\Delta_\infty u^\varepsilon(x)=\zeta_\varepsilon(x,u^\varepsilon),\text{ in }\Omega,\quad u^\varepsilon (x)=\varphi^\varepsilon(x)\text{ on }\partial \Omega,\leqno{(E_\varepsilon)} \] where \(\Omega\) is a bounded Lipschitz domain in \(\mathbb{R}^n\), \(\varepsilon>0\), \(\zeta_\varepsilon\in C^{0,1}(\Omega\times [0,\infty))\) is a nonnegative function such that, for some constants \(\mathcal{B},\mathcal{C},\mathcal{R},a,b\in [0,\infty)\) (independent of \(\varepsilon\)), with \(\mathcal{R}>0\) and \(a<b\), (i) \(\zeta_\varepsilon(x,t)\leq \frac{\mathcal{B}}{\varepsilon}\chi_{(0,\varepsilon)}(t)+\mathcal{C}\), for all \((x,t)\in \Omega\times [0,\infty)\), (ii) \(\inf_{\Omega\times [a,b]}\varepsilon \zeta_\varepsilon(x,t)\geq\mathcal{R}\), and \(\varphi^\varepsilon \in C(\overline{\Omega})\) satisfies \(0\leq \varphi^\varepsilon(x)\leq \mathcal{A}\), for some constant \(\mathcal{A}\) (independent of \(\varepsilon\)). Using a sub-supersolution technique, the authors prove that for each \(\varepsilon>0\), \((E_\varepsilon)\) admits a nonnegative continuous viscosity solution \(u^\varepsilon\). Next, the authors find a uniform \(L^\infty\)-bound and prove the uniform local Lipschitz continuity (with respect to \(\varepsilon\)) of the viscosity solutions. These regularity results and an appropriate barrier function for the infinity Laplacian are then used to show that the viscosity solutions \(u^\varepsilon\) growth linearly in \(\{x\in \Omega: u^\varepsilon(x)>\varepsilon\}\cap \Omega'\), for each sub-domain \(\Omega'\Subset \Omega\). Further properties of the viscosity solutions concerning the strong non-degeneracy, the validity of the Harnack inequality, and the porosity of the level surfaces are also established. Moreover, for non-degenerate reaction terms (i.e. for \(\zeta_\varepsilon\) satisfying (ii) with \(a=0<b\)), the authors prove the finiteness of the \(n-1\)-Hausdorff measure of the level surface of the viscosity solutions. Finally, the limiting problem is investigated. In particular, the authors prove that for any sequence \(\varepsilon_k\rightarrow 0^+\), there exists a subsequence \(\varepsilon_{k_j}\) such that \(u^{\varepsilon_{k_j}}\) converges locally uniformly to a nonnegative bounded function \(u_0\in C_{\mathrm{loc}}^{0,1}(\Omega)\), which satisfies \(-\Delta_\infty u_0=g(x)\) in \(\Omega \setminus \partial \{u_0 > 0\}\cap \Omega'\), for each \(\Omega'\Subset \Omega\), where \(g\) is a bounded nonnegative continuous function. Several further properties of \(u_0\) are also established.