Lower semicontinuity of functionals via the concentration-compactness principle (Q5955585): Difference between revisions

It is proved that, if \(\Omega\) is a bounded open subset of \({\mathbb R}^N\) and \(1<p<N\), then the functionals \[ {\mathcal H}_\lambda(u)={1\over p}\int_\Omega|\nabla u(x)|^pdx-{\lambda\over p}\int_\Omega{|u(x)|^p\over|x|^p} dx, \] and \[ {\mathcal S}_\lambda(u)={1\over p}\int_\Omega|\nabla u(x)|^pdx-{\lambda\over p}\bigg(\int_\Omega |u(x)|^{p^*}dx\bigg)^{p/p^*}, \] are weakly lower semicontinuous in \(W^{1,p}_0(\Omega)\), provided \(\lambda\) belongs to the subset of \(\mathbb R\) in which they are coercive. The result is exploited to prove some existence results for quasilinear elliptic equations. In particular, it is proved that there exists a weak solution of the equation \[ -\Delta_pu={\lambda\over|x|^p}|u|^{p-2}u+f\text{ in }{\mathbb R}^N. \]