Increase of powers in the lower order term: a come back when the source term has a poor summability (Q681823)

The authors investigate the nonlinear Dirichlet problem \[ u_r \in W^{1,p}_0 (\Omega) \cup L^{m(r-1)}(\Omega) : -\text{div}(a(x, Du_r )) + u_r |u_r |^{r-2} = f (x), \eqno{(1)} \] where \(\Omega\) is a bounded open subset of \(\mathbb R^N\), \(p, r>1\) and the Carathéodory function \(a : \Omega \times \mathbb R^N \to\mathbb R^N\) satisfies, for almost every \(x \in \Omega\) and for any \(\xi\) and \(\hat\xi\) in \(\mathbb R^N\), \(\xi \not= \hat\xi\), \[ \begin{cases} a(x, \xi)\xi \geq \alpha|\xi |^p, \\ |a(x, \xi)| \leq \beta[|h(x)| + |\xi |]^{p-1}, \\ (a(x, \xi) - a(x, \hat\xi ))(\xi - \hat\xi) > 0, \end{cases} \eqno{(2)} \] with \(\alpha > 0\), \(\beta > 0\) and \(h \in L^p(\Omega)\) given. The authors first consider the case where \[ f \in L^m(\Omega),\quad m > 1. \eqno{(3)} \] In this case, they recall that, if \( \frac{r}{r-1} \leq m\), then there exists a unique solution \(u_r \) to problem (1), and they prove the following theorem Theorem 1.2. Assume (2), (3). The sequence \(\{u_r \}\) of solutions to (1) satisfies \[ u_r \to u\quad\text{strongly in}\quad W^{1,p}_0 (\Omega), \] where \(u\) is the unique solution of the bilateral obstacle problem \[ u \in K : \int_\Omega a(x, Du) D(v - u) \geq \int_\Omega f (x)(v - u), \quad \text{for all}\quad v \in K, \eqno{(4)} \] where \[ K = \{v \in W^{1,p}_0 (\Omega) : |v(x)|\leq 1\}. \eqno{(5)} \] The second result is concerned with the case where \[ f \in L^1(\Omega). \eqno{(6)} \] The authors now use the notion of entropy solution \[ \begin{cases} T_k (u_r ) \in W^{1,p}_0(\Omega),\\ \int_\Omega a(x, Du_r )DT_k (u_r - \varphi) + \int_\Omega u_r |u_r |^{r-2}T_k (u_r - \varphi) \leq \int_\Omega f (x)T_k (u_r - \varphi) \\ \text{for all } k \in \mathbb{R}^+ \text{ and }\varphi \in W^{1,p}_0 (\Omega) \cup L^\infty(\Omega), \end{cases} \eqno{(7)} \] where \[ T_k (s) = \begin{cases} s &\text{if } |s| \leq k, \\ \frac{s}{|s|} k&\text{if } |s| > k, \end{cases} \] and prove Theorem 1.3. Assume (2) and (6). The sequence \(\{u_r \}\) of solutions to (7) satisfies \[ u_r \to u\quad\text{strongly in}\quad W^{1,q}_0 (\Omega), \quad \text{for all } q < p, \] where \(u\) is the unique solution of the bilateral obstacle problem \[ u \in K : \int_\Omega a(x, Du) D(v - u) \geq \int_\Omega f(x)(v - u), \quad \text{for all } v \in K, \] where the convex set \(K\) is defined in (5).