On solutions of quasilinear elliptic inequalities containing terms with lower-order derivatives (Q2435174)

The author considered the following differential inequality satisfying the Dirichlet boundary condition \[ \begin{cases} \mathrm{div} A(x, Du ) + b(x) | Du | ^{p-1} \geq q(x) g(u) & \mathrm{ in }\,\, \Omega ,\\ u=0& \mathrm{ on } \,\, \partial \Omega \end{cases}\tag{1} \] where \(\Omega \) is an unbounded open subset of \({\mathbb R}^n\) \((n\geq 2)\), \(b\in L^{\infty }_{\mathrm{loc}}(\Omega ) \), and \(A:\Omega \times {\mathbb R}^n\to {\mathbb R}^n\) is a measurable function such that \[ C_1 | \zeta | ^p\leq \zeta A(x,\zeta ), \quad | A(x, \zeta ) | \leq C_2 | \zeta | ^{p-1} \] with some constants \(C_1,C_2>0\) and \(p>1\) for almost all \(x \in \Omega \) and for all \(\zeta \in {\mathbb R}^n\). Moreover, let \(q \in L^{\infty }_{\mathrm{loc}}(\Omega )\) and \(g \in C([0,\infty ))\) be non-negative functions so that \(g(t)>0\) for \(t>0\). Assume that \(S_r \cap \Omega \neq \emptyset \) for all \(r>r_0\) for some \(r_0>0\), where \(S_r\) is the sphere in \({\mathbb R}^n\) of radius \(r\) and center at zero. Define \[ \begin{aligned} f_{\sigma } (r)&= \mathrm{ess\, inf }_{\Omega _{r/\sigma, \sigma r}} q/(1+ r\, \mathrm{ess\, sup}_{\Omega _{r/\sigma, \sigma r}} | b| ) \quad r>r_0,\sigma >1,\\ q_{\sigma }(r)&= \mathrm{ess \, inf }_{\Omega _{r/\sigma, \sigma r}} q , \quad r>r_0, \sigma >1,\\ g_{\theta }(t) &= \inf _{(t/\theta ,\theta t)}g ,\quad t>0,\theta >1 \end{aligned} \] where \(\Omega _{r_1,r_2}= \{x \in \Omega ; r_1< | x | < r_2\}, 0\leq r_1<r_2\leq \infty \). The author gets the following theorems. { Theorem 1.} Let \[ \int _1^{\infty } (g_{\theta }(t)t)^{-1/p}dt <\infty \tag{2} \] and \[ \int _{r_0}^{\infty }(rf_{\sigma } (r))^{1/(p-1)}dr =\infty \tag{3} \] for some real numbers \(\theta >1\) and \(\sigma >1\), then any solution of (1) is trivial, that is, \(u=0\) a.e. in \(\Omega \). { Theorem 2.} Let there be real numbers \(\theta >1\) and \(\sigma >1\) such that (3) holds and, moreover, \[ \int _1^{\infty } (g_{\theta }(t)t)^{-1/p}dt = \infty . \] Then any nontrivial solution of (1) satisfies the estimate \[ \int _{1}^{M(r,u)} (g_{\theta }(t)t)^{-1/p} dt \geq C \left( \int_{t_0}^r (\xi f_{\sigma }(\xi ))^{1/(p-1)}d\xi \right) ^{(p-1)/p} \] for all sufficiently large \(r\), where the constant \(C >0\) depends only on \(n,p,\theta ,\sigma ,C_1\) and \(C_2\), \(M(r,u) = \mathrm{ess\, sup }_{S_r\cap \Omega }u , r>r_0\). { Theorem 3.} In the hypotheses of Theorem 2, let the condition \[ \int _{r_0}^{\infty } \min \{(\xi f_{\sigma }(\xi ) ) ^{1/(p-1)} , q_{\sigma }^{1/p}(\xi ) \}dx = \infty \] be valid instead of (3). Then any nontrivial solution of (1) satisfies the estimate \[ \int _1^{M(r,u)}(g_{\theta }(t)t)^{-1/p}dt + \int _1^{M(r,u)} g_{\theta }^{-1/(p-1)}(t)dt \geq C \int _{r_0}^r \min \{( \xi f_{\sigma }(\xi ))^{1/(p-1)},q_{\sigma }^{1/p}(\xi )\}d\xi \] for all sufficiently large \(r\), where \(C>0\) depends only on \(n,p,\theta ,\sigma , C_1\) and \(C_2\). {Theorem 4.} Let there be real numbers \(\theta >1\) and \(\sigma >1\) such that (2) is valid and, moreover, \[ \int _{r_0} ^{\infty } (rf_{\sigma }(r) )^{1/(p-1)} dr < \infty . \] Then any solution of (1) satisfies the estimate \[ \int _{M(r,u)}^{\infty } (g_{\theta } (t)t)^{-1/p}dt \geq C \left( \int _{r}^{\infty } (\xi f_{\sigma } (\xi ))^{1/(p-1)}dx \right) ^{(p-1)/p} \] for all sufficiently large \(r\), where the constant \(C>0\) depends only on \(n,p,\theta ,\sigma ,C_1\) and \(C_2\). Moreover, the author gives many examples.