Measure data problems for a class of elliptic equations with mixed absorption-reaction (Q2041946)

The present paper deals with to the Dirichlet problem for the elliptic equation with measure data \[ -\Delta u+u^p-M|\nabla u|^q= \mu \] in a bounded domain \(\Omega\subset\mathbb{R}^N\), \(N\geq 2\), where \(p>1\), \(1<q<2\) and \(M\geq 0\). For \(M>0\), \(\mu=0\) and \(N \geq 3\), the authors firstly show that any nonnegative solution \(u\in C^2(\Omega\setminus\lbrace 0\rbrace)\) in \(\Omega\setminus\lbrace 0\rbrace\) belongs to \(W^{1,q}_{\mathrm{loc}}(\Omega)\cap L^p_{\mathrm{loc}}(\Omega)\) and it can be extended as a weak solution in \(\Omega\), if provided by \(0\in\Omega\), \(p \geq N/(N-2)\), \(1<q\leq 2p/(p+1)\) and \((p,q)\not= (N/(N-2),N/(N-1))\). Furthermore, \(u\) belongs to \(C^2(\Omega)\) under some restrictions on \(p\) and \(q\). Secondly, the authors show that any nonnegative solution \(u\in C^2(\Omega\setminus K)\) in \(\Omega\setminus K\) can be extended to \(\Omega\) as a solution in the sense of distributions in \(\Omega\), if provided by \(p> N/(N-2)\), \(K\) being a compact subset of \(\Omega\) such that its Bessel capacity is zero, and \(q>1\) is either \(q=2p/(p+1)\) and \(M< (p+1)((p-r)/(p(r-1)))^{p'}\) with \(N/(N-2)<r<p\) or \(q< 2p/(p+1)\). Furthermore, \(u\) belongs to \(C^2(\Omega)\) under \(r\leq 2N/(N-2)\). To remove the singularities, some pointwise a priori estimates concerning \(u\) and \(\nabla u\) are obtained by a combination of Keller-Osserman-type estimates, rescaling techniques and Bernstein method. For a smooth domain \(\Omega\) and \(\mu\) being a nonnegative bounded Radon measure in \(\Omega\) such that \[ \mu(E)\leq C\min\lbrace \mbox{cap}^{\mathbb{R}^N}_{2,p'}(E),\mbox{cap}^{\mathbb{R}^N}_{1,q'}(E)\rbrace \] for all Borel sets \(E\subset \Omega\) and for some \(C>0\), the authors prove the existence of a weak solution \(u\in W^{1,q}_0(\Omega)\cap L^p(\Omega)\) in the sense that there exists \(c_0>0\) such that for any \(0\leq c\leq c_0\), \(u\) satisfies \[ -\int_\Omega u\Delta \zeta \mathrm{d}x +\int_\Omega (u^p-M |\nabla u|^q)\zeta\mathrm{d} x = c\int_\Omega \zeta\mathrm{d}\mu, \quad\forall \zeta \in C^2_c(\overline\Omega). \] The proof of existence for the case \(1<q<N/(N-1)\) relies on the existence of sub- and super- solutions for approximate Dirichlet problems, with \(\mu\) being replaced by \(\mu_n\in W^{-2,p}(\Omega)\). For the general case, the proof of existence relies on the fixed point Schauder theorem. Also, the existence of a weak solution \(u\in W^{1,q}_0(\Omega)\cap L^p(\Omega)\) is obtained if \( Np/(N+p) \leq q <2\), and \(\mu(E)\leq C \mbox{cap}^{\mathbb{R}^N}_{1,q'}(E)\) for all Borel sets \(E\subset \Omega\) and for some \(C>0\) or if \( N/(N-1) \leq q <2p/(p+1)\), and \(\mu(E)\leq C \mbox{cap}^{\mathbb{R}^N}_{2,p'}(E)\) for all Borel sets \(E\subset \Omega\) and for some \(C>0\). Finally, an application of the previous results is established.