Cavity type problems ruled by infinity Laplacian operator (Q729941)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cavity type problems ruled by infinity Laplacian operator |
scientific article |
Statements
Cavity type problems ruled by infinity Laplacian operator (English)
0 references
22 December 2016
0 references
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.
0 references
infinity Laplacian
0 references
Lipschitz regularity
0 references
singularly perturbed problems
0 references
Hausdorff measure
0 references
0 references
0 references