Open Access

Quasilinear elliptic equations with Hardy terms and Hardy-Sobolev critical exponents: nontrivial solutions

Boundary Value Problems20152015:171

Received: 27 May 2015

Accepted: 12 September 2015

Published: 22 September 2015


In this paper, we obtain one positive solution and two nontrivial solutions of a quasilinear elliptic equation with p-Laplacian, Hardy term and Hardy-Sobolev critical exponent by using variational methods and some analysis techniques. In particular, our results extend some existing ones.


quasilinear elliptic equationsHardy termsHardy-Sobolev critical exponents(PS) c condition p-Laplacian



1 Introduction and main results

We shall study the following quasilinear elliptic equation:
$$ \left \{ \textstyle\begin{array}{l} -\triangle_{p}u-\mu\frac{|u|^{p-2}u}{|x|^{p}}=\frac{|u|^{p^{\ast }(s)-2}}{|x|^{s}}u+f(x,u),\quad x\in\Omega\setminus\{0\}, \\ u=0,\quad x\in\partial\Omega, \end{array}\displaystyle \right . $$
where \(\triangle_{p}u=\operatorname{div}(|\nabla u|^{p-2}\nabla u)\) denotes the p-Laplacian differential operator, Ω is an open bounded domain in \(\mathbb{R}^{N}\) (\(N\geq3\)) with smooth boundary Ω and \(0\in\Omega\), \(0\leq\mu<\mu_{1}:= (\frac{N-p}{p} )^{p}\), \(0 \leq s< p\), \(1< p< N\), \(p^{\ast}(s)=\frac{p(N-s)}{N-p}\) is the Hardy-Sobolev critical exponent and \(p^{\ast}=p^{\ast}(0)=\frac{Np}{N-p}\) is the Sobolev critical exponent. The conditions of f will be given later.
On the Sobolev space \(W^{1,p}_{0}(\Omega)\), we set
$$ \|u\|:= \biggl(\int_{\Omega} \biggl(|\nabla u|^{p}-\mu \frac{|u|^{p}}{|x|^{p}} \biggr)\,dx \biggr)^{\frac{1}{p}}, $$
which is well defined on \(W^{1,p}_{0}(\Omega)\) by the Hardy inequality [1]. It is comparable with the standard Sobolev norm of \(W^{1,p}_{0}(\Omega)\), but it is not a norm since the triangle inequality or subadditivity may fail, which has been clarified in [2]. The following minimization problem will be useful in what follows:
$$ A_{\mu,s}:=A_{\mu,s}(\Omega):=\inf_{u\in W^{1,p}_{0}(\Omega)\setminus\{0\}} \frac{\|u\|^{p}}{ (\int_{\Omega}\frac{|u|^{p^{\ast }(s)}}{|x|^{s}}\,dx )^{\frac{p}{p^{\ast}(s)}}}, $$
which is the best Hardy-Sobolev constant.
For some special f and \(p=2\), some authors ([38], \(s=0\)) ([1, 912], \(s\neq0\)) have studied the existence of solutions for (1.1). If \(p=2\), then (1.1) becomes
$$ \left \{ \textstyle\begin{array}{l} -\triangle u-\mu\frac{u}{|x|^{2}}=\frac{|u|^{2^{\ast }(s)-2}}{|x|^{s}}u+f(x,u), \quad x\in\Omega\setminus\{0\}, \\ u=0, \quad x\in\partial\Omega. \end{array}\displaystyle \right . $$
Ding and Tang [13] obtained the existence and multiplicity of solutions for (1.4) if \(0\leq\mu< (\frac{N-2}{2} )^{2}\), \(0\leq s<2\) and f satisfies some suitable conditions. Kang [14] considered another special case of (1.1) with \(f(x,u)=\lambda\frac{|u|^{q-2}u}{|x|^{t}}\); for details, we refer the readers to see Remark 1.1.
Let \(F(x,u):=\int^{u}_{0}f(x,s)\, ds\), \(x\in\Omega\), \(u\in\mathbb{R}\). In order to state our results, we make the following assumptions:

\(f\in C(\overline{\Omega} \times\mathbb{R}^{+},\mathbb{R})\), \(\lim_{u\rightarrow 0^{+}}\frac{f(x,u)}{u^{p-1}}=0\) and \(\lim_{u\rightarrow \infty}\frac{f(x,u)}{u^{p^{\ast}-1}}=0\) uniformly for \(x\in\overline {\Omega}\).

There exists a constant \(\rho_{0}\) with \(\rho_{0}>p\) such that
$$0< \rho_{0} F(x,u)\leq f(x,u)u,\quad \forall x\in\overline{\Omega}, \forall u\in \mathbb{R}^{+}\setminus\{0\}. $$

\(f\in C(\overline{\Omega} \times\mathbb{R},\mathbb{R})\), \(\lim_{u\rightarrow 0}\frac{f(x,u)}{|u|^{p-1}}=0\) and \(\lim_{|u|\rightarrow \infty}\frac{f(x,u)}{|u|^{p^{\ast}-1}}=0\) uniformly for \(x\in\overline {\Omega}\).

There exists a constant \(\rho_{0}\) with \(\rho_{0}>p\) such that
$$0< \rho_{0} F(x,u)\leq f(x,u)u,\quad \forall x\in\overline{\Omega}, \forall u\in \mathbb{R}\setminus\{0\}. $$

Let \(b(\mu)\) be one of zeroes of the function \(g(t)=(p-1)t^{p}-(N-p)t^{p-1}+\mu\), where \(t\geq0\) and \(0\leq\mu<\mu _{1}\). Now, our main results read as follows.

Theorem 1.1

Suppose that \(N\geq3\), \(0\leq\mu<\mu_{1}\), \(0\leq s< p\), \(1< p< N\). If (A1), (A2) and
$$ \rho_{0}>\max \biggl\{ p, \frac{N}{b(\mu)}, \frac{p [2N-p-b(\mu)p ]}{N-p} \biggr\} $$
hold, then problem (1.1) has at least one positive solution.

Theorem 1.2

Suppose that \(N\geq3\), \(0\leq \mu<\mu_{1}\), \(0\leq s< p\), \(1< p< N\). If (A3), (A4) and (1.5) hold, then problem (1.1) has at least two distinct nontrivial solutions.

Remark 1.1

We extend the special case \(p=2\) in [13] to a more general situation \(1< p< N\). The author [14] obtained one positive solution for a special case of (1.1) with \(f(x,u)=\lambda\frac{|u|^{q-2}u}{|x|^{t}}\), where \(\lambda>0\), \(0\leq t< p\), \(\overline{q}< q< p^{\ast}(t)\) and
$$\overline{q}=\max \biggl\{ p, \frac{N-t}{b(\mu)}, \frac{p [2N-t-b(\mu )p-p ]}{N-p} \biggr\} . $$
Note that the function f in [14] has to be a homogeneous function, but in the present paper it is not the case. Besides, we also obtain multiple solutions of (1.1) (see our Theorem 1.2).

Remark 1.2

We prove Theorems 1.1 and 1.2 by critical point theory. Due to the lack of compactness of the embeddings in \(W^{1,p}_{0}(\Omega)\hookrightarrow L^{p^{\ast}}(\Omega)\), \(W^{1,p}_{0}(\Omega)\hookrightarrow L^{p}(\Omega,|x|^{-p}\,dx)\) and \(W^{1,p}_{0}(\Omega)\hookrightarrow L^{p^{\ast}(s)}(\Omega,|x|^{-s}\,dx)\), we cannot use the standard variational argument directly. The corresponding energy functional fails to satisfy the classical Palais-Smale ((PS) for short) condition in \(W^{1,p}_{0}(\Omega)\). However, a local (PS) condition can be established in a suitable range. Then the existence result is obtained via constructing a minimax level within this range and the mountain pass lemma due to Ambrosetti and Rabinowitz (see also [15]).


For the functional \(I: X\to\mathbb{R}\) (X is a Banach space), we say that I satisfies the classical Palais-Smale ((PS) for short) condition if every sequence \(\{u_{n}\}\) in X such that \(I(u_{n})\) is bounded in X and \(I'(u_{n})\to0\) as \(n\to\infty\) contains a convergent subsequence. We say that I satisfies (PS) c condition (a local Palais-Smale condition) if every sequence \(\{u_{n}\}\) such that \(I(u_{n})\to c\) and \(I'(u_{n})\to0\) as \(n\to\infty\) (\(c\in\mathbb{R}\)) contains a convergent subsequence.

The rest of this paper is organized as follows. In Section 2, we establish some preliminary lemmas, which are useful in the proofs of our main results. In Section 3, we give detailed proofs of our main results.

2 Preliminaries

In what follows, we let \(\|\cdot\|_{p}\) denote the norm in \(L^{p}(\Omega)\). It is obvious that the values of \(f(x,u)\) for \(u<0\) are irrelevant in Theorem 1.1, and we may define
$$f(x,u)\equiv0 \quad \mbox{if } u\leq0, \forall x\in\Omega. $$
We shall firstly consider the existence of nontrivial solutions for the following problem:
$$ \left \{ \textstyle\begin{array}{l} -\triangle_{p}u-\mu\frac{|u|^{p-2}u}{|x|^{p}}=\frac{(u^{+})^{p^{\ast }(s)-1}}{|x|^{s}}+f(x,u), \quad x\in\Omega\setminus\{0\}, \\ u=0,\quad x\in\partial\Omega. \end{array}\displaystyle \right . $$
The energy functional corresponding to (2.1) is given by
$$\begin{aligned} I(u) =&\frac{1}{p}\int_{\Omega} \biggl(|\nabla u|^{p}-\mu\frac {|u|^{p}}{|x|^{p}} \biggr)\,dx-\frac{1}{p^{\ast}(s)}\int _{\Omega} \frac{(u^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx \\ &{}-\int_{\Omega}F(x,u) \,dx,\quad u\in W^{1,p}_{0}(\Omega). \end{aligned}$$
By the Hardy and Hardy-Sobolev inequalities (see [1, 16]) and (A1), \(I\in C^{1}(W^{1,p}_{0}(\Omega),\mathbb{R})\). Now it is well known that there exists a one-to-one correspondence between the weak solutions of problem (2.1) and the critical points of I on \(W^{1,p}_{0}(\Omega)\). More precisely, we say that \(u\in W^{1,p}_{0}(\Omega)\) is a weak solution of problem (2.1) if for any \(v\in W^{1,p}_{0}(\Omega)\), there holds
$$\begin{aligned} \bigl\langle I'(u),v\bigr\rangle =&\int_{\Omega} \biggl(|\nabla u|^{p-2}\nabla u\nabla v-\mu\frac{|u|^{p-2}uv}{|x|^{p}} \biggr)\,dx \\ &{}- \int_{\Omega} \frac{(u^{+})^{p^{\ast}(s)-1}}{|x|^{s}}v\,dx-\int_{\Omega}f(x,u)v \,dx=0. \end{aligned}$$

Next, we shall give some lemmas which are needed in proving our main results.

Lemma 2.1


If \(f_{n}\rightarrow f\) a.e. in Ω and \(\|f_{n}\|_{p}\leq C<\infty\) for all n and some \(0< p<\infty\), then
$$\lim_{n\rightarrow\infty} \bigl(\|f_{n}\|_{p}^{p}- \|f_{n}-f\| _{p}^{p} \bigr)=\|f \|_{p}^{p}. $$

Lemma 2.2


Suppose \(1< p< N\), \(0\leq s< p\) and \(0\leq\mu<\mu_{1}\). Then the limiting problem
$$ \left \{ \textstyle\begin{array}{l} -\triangle_{p}u-\mu\frac{u^{p-1}}{|x|^{p}}=\frac{u^{p^{\ast }(s)-1}}{|x|^{s}} \quad \textit{in } \mathbb{R}^{N}\setminus\{0\}, \\ u>0 \quad \textit{in } \mathbb{R}^{N}\setminus\{0\}, \\ u\in D^{1,p}(\mathbb{R}^{N}) \end{array}\displaystyle \right . $$
has radially symmetric ground states
$$\widetilde{V}_{\varepsilon}(x):=\varepsilon^{-\frac{N-p}{p}}\widetilde {U}_{p,\mu} \biggl(\frac{x}{\varepsilon} \biggr)= \varepsilon^{-\frac{N-p}{p}} \widetilde{U}_{p,\mu} \biggl(\frac {|x|}{\varepsilon} \biggr), \quad \forall \varepsilon>0, $$
and satisfies
$$\int_{\mathbb{R}^{N}} \biggl(\bigl|\nabla\widetilde{V}_{\varepsilon}(x)\bigr|^{p}- \mu\frac{|\widetilde{V}_{\varepsilon}(x)|^{p}}{|x|^{p}} \biggr)\,dx=\int_{\mathbb{R}^{N}} \frac{|\widetilde{V}_{\varepsilon}(x)|^{p^{\ast}(s)}}{|x|^{s}}\,dx=A_{\mu ,s}^{\frac{N-s}{p-s}}, $$
where \(\widetilde{U}_{p,\mu}(x)=\widetilde{U}_{p,\mu}(|x|)\) is the unique radial solution of (2.2) satisfying
$$\widetilde{U}_{p,\mu}(1)= \biggl(\frac{(N-s)(\mu_{1}-\mu)}{N-p} \biggr)^{\frac{1}{p^{\ast}(s)-p}}. $$
Moreover, \(\widetilde{U}_{p,\mu}\) has the following properties:
$$\begin{aligned}& \lim_{r\rightarrow0}r^{a(\mu)}\widetilde{U}_{p,\mu}(r)=c_{1}>0, \qquad \lim_{r\rightarrow+\infty}r^{b(\mu)}\widetilde{U}_{p,\mu}(r)=c_{2}>0, \\& \lim_{r\rightarrow0}r^{a(\mu)+1}\widetilde{U}'_{p,\mu}(r)=c_{1}a( \mu )\geq0,\qquad \lim_{r\rightarrow+\infty}r^{b(\mu)+1} \widetilde{U}'_{p,\mu }(r)=c_{2}b(\mu)>0, \end{aligned}$$
where \(c_{1}\) and \(c_{2}\) are positive constants depending on p and N; \(a(\mu)\) and \(b(\mu)\) are zeroes of the function \(g(t)=(p-1)t^{p}-(N-p)t^{p-1}+\mu\) (\(t\geq0\), \(0\leq\mu<\mu_{1}\)) satisfying \(0\leq a(\mu)<\frac{N-p}{p}<b(\mu)<\frac{N-p}{p-1}\).

Lemma 2.3

Assume that (A1) and (A2) hold. If \(c\in (0,\frac{p-s}{p(N-s)}A^{\frac{N-s}{p-s}}_{\mu,s} )\), then I satisfies (PS) c condition.


Suppose that \(\{{u_{n}}\}\) is a (PS) c sequence of I in \(W^{1,p}_{0}(\Omega)\), that is,
$$I'(u_{n})\to0, \qquad I(u_{n}) \to c, \quad n\to\infty. $$
By (A2), we have
$$\begin{aligned}& c+1+o(1)\|u_{n}\| \\& \quad \geq I(u_{n})-\frac{1}{\theta}\bigl\langle I'(u_{n}),u_{n}\bigr\rangle \\& \quad = \biggl(\frac{1}{p}-\frac{1}{\theta} \biggr)\|u_{n} \|^{p}+ \biggl(\frac {1}{\theta}-\frac{1}{p^{\ast}(s)} \biggr)\int _{\Omega} \frac{(u_{n}^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx -\int_{\Omega} \biggl(F(x,u_{n})-\frac{1}{\theta}f(x,u_{n})u_{n} \biggr)\,dx \\& \quad \geq \biggl(\frac{1}{p}-\frac{1}{\theta} \biggr) \|u_{n}\|^{p}, \end{aligned}$$
where \(\theta=\min\{\rho_{0},p^{\ast}(s)\}\). Hence we conclude that \(\{u_{n}\}\) is a bounded sequence in \(W^{1,p}_{0}(\Omega)\). So there exists \(u\in W^{1,p}_{0}(\Omega)\) such that (going if necessary to a subsequence)
$$\begin{aligned}& u_{n}\rightharpoonup u \quad \mbox{in } W^{1,p}_{0}( \Omega), \qquad u_{n}\rightarrow u\quad \mbox{in } L^{\gamma}( \Omega), 1< \gamma< p^{\ast} \quad \mbox{and} \\& u_{n} \rightarrow u\quad \mbox{a.e. in } \Omega \mbox{ as } n\rightarrow\infty. \end{aligned}$$
By the continuity of embedding, we have \(\|u_{n}\|_{p^{\ast}}^{p^{\ast}}\leq C_{1}<\infty\). Going if necessary to a subsequence, from [1] one can get that
$$ \left \{ \textstyle\begin{array}{l} \nabla u_{n}\rightarrow\nabla u \quad \mbox{a.e. in } \Omega, \\ \frac{|u_{n}|^{p-2}u_{n}}{|x|^{p-1}}\rightharpoonup \frac{|u|^{p-2}u}{|x|^{p-1}} \quad \mbox{weakly in } L^{p'}(\Omega), p'=\frac {p}{p-1}, \\ \int_{\Omega}\frac{|u_{n}|^{p^{\ast}(s)-2}u_{n}}{|x|^{s}}v\,dx \rightarrow\int_{\Omega}\frac{|u|^{p^{\ast }(s)-2}u}{|x|^{s}}v\,dx,\quad \forall v\in W^{1,p}_{0}(\Omega) \end{array}\displaystyle \right . $$
as \(n\rightarrow\infty\). By (A1), for any \(\varepsilon>0 \), there exists \(a(\varepsilon)>0\) such that
$$\bigl\vert f(x,t)t\bigr\vert \leq a(\varepsilon)+\frac{1}{2C_{1}} \varepsilon|t|^{p^{\ast}} \quad \mbox{for } (x,t)\in\overline{\Omega} \times(0,+\infty). $$
Set \(\delta:=\frac{\varepsilon}{2a(\varepsilon)}>0\). Let \(E\subset\Omega \) with \(\operatorname{meas}(E)<\delta=\frac{\varepsilon}{2a(\varepsilon)}\), it follows from the fact \(\|u_{n}\|_{p^{\ast}}^{p^{\ast}}\leq C_{1}\) that
$$\biggl\vert \int_{E}f(x,u_{n})u_{n} \,dx\biggr\vert \leq \int_{E}a(\varepsilon)\,dx+ \frac{\varepsilon}{2C_{1}}\int_{E}|u_{n}|^{p^{\ast}}< \varepsilon\rightarrow0 \quad \mbox{as } \operatorname{meas}(E)\rightarrow0. $$
It follows from the fact that \(f(x,u_{n})u_{n} \rightarrow f(x,u)u\) as \(n\to\infty\) a.e. in Ω and Vitali’s theorem that
$$\int_{\Omega}f(x,u_{n})u_{n}\,dx \rightarrow\int_{\Omega}f(x,u)u\, dx \quad \mbox{as } n\rightarrow \infty. $$
Similarly, we can also get
$$\int_{\Omega}F(x,u_{n})\,dx\rightarrow\int _{\Omega}F(x,u)\,dx \quad \mbox{as } n\rightarrow\infty. $$
Let \(v_{n}=u_{n}-u\). By the definition of \(\|\cdot\|\), we get
$$\|u\|^{p}=\|\nabla u\|^{p}_{p}-\mu\|u/x \|^{p}_{p}, \qquad \|v_{n}\|^{p}=\|\nabla u_{n}-\nabla u\|^{p}_{p}-\mu\bigl\Vert (u_{n}-u)/x\bigr\Vert ^{p}_{p}, $$
it follows from \(u_{n}\rightarrow u\) a.e. in Ω, \(\nabla u_{n}\rightarrow\nabla u\) a.e. in Ω (see (2.3)) and Lemma 2.1 that
$$\lim_{n\rightarrow\infty}\bigl(\|u_{n}\|^{p}- \|v_{n}\|^{p}\bigr)=\|u\|^{p}. $$
It follows from \(I'(u_{n})\rightarrow0\), \(\int_{\Omega }f(x,u_{n})u_{n}\,dx\rightarrow\int_{\Omega}f(x,u)u\, dx\) and the Brezis-Lieb lemma [17] that
$$\begin{aligned} 0 =&\lim_{n\rightarrow\infty}\bigl\langle I'(u_{n}), u_{n}\bigr\rangle \\ =&\lim_{n\rightarrow\infty} \biggl(\|u_{n}\|^{p}-\int _{\Omega} \frac{(u_{n}^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx-\int_{\Omega }f(x,u_{n})u_{n} \,dx \biggr) \\ =&\lim_{n\rightarrow\infty} \biggl[\|u_{n}\|^{p}- \|v_{n}\|^{p}-\int_{\Omega} \frac{(u_{n}^{+})^{p^{\ast}(s)}-(v_{n}^{+})^{p^{\ast }(s)}}{|x|^{s}}\,dx \\ &{}-\int_{\Omega}f(x,u_{n})u_{n} \,dx+\|v_{n}\|^{p}-\int_{\Omega} \frac{(v_{n}^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx \biggr] \\ =&\|u\|^{p}-\int_{\Omega} \frac{(u^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx-\int _{\Omega}f(x,u)u\, dx+\lim_{n\rightarrow\infty} \biggl[ \|v_{n}\|^{p}-\int_{\Omega} \frac{(v_{n}^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx \biggr]. \end{aligned}$$
From (2.3) and \(I'(u_{n})\rightarrow0\), we get
$$ 0=\lim_{n\rightarrow\infty}\bigl\langle I'(u_{n}), u \bigr\rangle =\|u\|^{p}-\int_{\Omega} \frac{(u^{+})^{p^{\ast}(s)}}{|x|^{s}} \,dx-\int_{\Omega}f(x,u)u\,dx. $$
By \(I(u_{n})\rightarrow c\), \(\int_{\Omega}F(x,u_{n})\,dx\rightarrow\int_{\Omega}F(x,u)\,dx\), \(\lim_{n\rightarrow\infty}(\|u_{n}\|^{p}- \|v_{n}\|^{p})=\|u\|^{p}\) and the Brezis-Lieb lemma, we have
$$\begin{aligned} c =&\lim_{n\rightarrow\infty}I(u_{n}) \\ =&\lim_{n\rightarrow\infty} \biggl(\frac{1}{p}\|v_{n} \|^{p}+\frac{1}{p}\| u\|^{p}-\frac{1}{p^{\ast}(s)}\int _{\Omega} \frac{(v_{n}^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx \\ &{}-\frac{1}{p^{\ast}(s)}\int _{\Omega} \frac{(u^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx-\int_{\Omega}F(x,u_{n}) \,dx \biggr) \\ =&I(u)+\lim_{n\rightarrow\infty} \biggl(\frac{1}{p}\|v_{n} \|^{p}-\frac {1}{p^{\ast}(s)}\int_{\Omega} \frac{(v_{n}^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx \biggr). \end{aligned}$$
That is,
$$ I(u)+\lim_{n\rightarrow\infty} \biggl(\frac{1}{p}\|v_{n} \|^{p}-\frac {1}{p^{\ast}(s)}\int_{\Omega} \frac{(v_{n}^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx \biggr)=c. $$
Obviously, (2.4) and (2.5) imply
$$\lim_{n\rightarrow\infty} \biggl[\|v_{n}\|^{p}-\int _{\Omega} \frac{(v_{n}^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx \biggr]=0. $$
We claim that \(\|v_{n}\|^{p}\rightarrow0\) as \(n\rightarrow\infty\). Otherwise, there exists a subsequence (still denoted by \(v_{n}\)) such that
$$ \lim_{n\rightarrow\infty}\|v_{n}\|^{p}=k,\qquad \lim _{n\rightarrow\infty }\int_{\Omega} \frac{(v_{n}^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx=k, \quad k>0. $$
By the definition of \(A _{\mu,s}\) in (1.3), we have
$$\|v_{n}\|^{p}\geq A _{\mu,s} \biggl(\int _{\Omega} \frac{(v_{n}^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx \biggr)^{\frac{p}{p^{\ast }(s)}}, \quad \forall n\in \mathbb{N}. $$
It follows from (2.7) that \(k\geq A _{\mu,s}k^{\frac{p}{p^{\ast}(s)}}\), so we have \(k\geq A _{\mu,s}^{\frac{N-s}{p-s}}\), which together with (2.6) and \(c<\frac{p-s}{p(N-s)}A^{\frac{N-s}{p-s}}_{\mu,s}\) (see the assumption in Lemma 2.3) implies that
$$I(u)< 0. $$
However, (2.5) implies that
$$\|u\|^{p}=\int_{\Omega} \frac{(u^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx+\int _{\Omega}f(x,u)u\,dx, $$
it follows from the definition of I, (1.2) and (A2) that
$$\begin{aligned} I(u) =&\frac{1}{p}\|u\|^{p}-\frac{1}{p^{\ast}(s)}\int _{\Omega} \frac{(u^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx-\int_{\Omega}F(x,u) \,dx \\ \ge&\frac{1}{p}\|u\|^{p}-\frac{1}{p^{\ast}(s)}\int _{\Omega} \frac{(u^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx-\frac{1}{\rho_{0}}\int _{\Omega }f(x,u)u\,dx \\ =& \biggl(\frac{1}{p}-\frac{1}{p^{\ast}(s)} \biggr)\int _{\Omega} \frac{(u^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx+ \biggl(\frac{1}{p}- \frac{1}{\rho _{0}} \biggr)\int_{\Omega}f(x,u)u\,dx \quad \bigl( \rho_{0}>p \mbox{ in }(\mbox{A}_{2})\bigr) \\ \ge&0. \end{aligned}$$
So we get a contradiction. Therefore, we can obtain
$$\|v_{n}\|^{p}\rightarrow0 \quad \mbox{as } n\rightarrow \infty. $$
From the discussion above, I satisfies (PS) c condition. □
In the following, we shall give some estimates for the extremal functions. Define a function \(\varphi\in C_{0}^{\infty}(\Omega) \) such that \(\varphi(x)=1\) for \(|x|\leq R\), \(\varphi(x)=0\) for \(|x|\geq2R\), \(0\leq\varphi(x)\leq1\), where \(B_{2R}(0)\subset\Omega\). Set \(v_{\varepsilon}(x)=\varphi(x)\widetilde{V}_{\varepsilon }(x)\), \(\varepsilon>0\), where \(\widetilde{V}_{\varepsilon}(x)\) see the definition in Lemma 2.2. Then we can get the following results by the method used in [18]:
$$\begin{aligned}& \|v_{\varepsilon}\|^{p}= A^{\frac{N-s}{p-s}}_{\mu,s}+O \bigl( \varepsilon^{b(\mu)p+p-N} \bigr), \end{aligned}$$
$$\begin{aligned}& \int_{\Omega}\frac{|v_{\varepsilon}|^{p^{\ast}(s)}}{|x|^{s}}\,dx= A^{\frac{N-s}{p-s}}_{\mu,s}+O \bigl(\varepsilon^{b(\mu)p^{\ast }(s)+s-N} \bigr) \end{aligned}$$
$$ \left \{ \textstyle\begin{array}{l} C'\varepsilon^{r (b(\mu)+1-\frac{N}{p} )}\leq\int_{\Omega }|v_{\varepsilon}|^{r}\,dx\leq C\varepsilon^{r (b(\mu)+1-\frac{N}{p} )}, \quad r< \frac {N}{b(\mu)}, \\ C'\varepsilon^{N+r (1-\frac{N}{p} )}|\ln\varepsilon|\leq\int_{\Omega}|v_{\varepsilon}|^{r}\,dx\leq C\varepsilon^{N+r (1-\frac{N}{p} )}|\ln\varepsilon |, \quad r=\frac{N}{b(\mu)}, \\ C'\varepsilon^{N+r (1-\frac{N}{p} )}\leq\int_{\Omega }|v_{\varepsilon}|^{r}\,dx\leq C\varepsilon^{N+r (1-\frac{N}{p} )},\quad r>\frac{N}{b(\mu)}. \end{array}\displaystyle \right . $$

Lemma 2.4

Suppose that \(0\leq s< p\) and \(0\leq\mu<\mu_{1}\). If (A1), (A2) and (1.5) hold, then there exists \(u_{0}\in W^{1,p}_{0}(\Omega)\) with \(u_{0}\not\equiv0\) such that
$$\sup_{t\geq0}I(tu_{0})< \frac{p-s}{p(N-s)}A_{\mu,s}^{\frac{N-s}{p-s}}. $$


We consider the functions
$$\begin{aligned}& g(t)=I(tv_{\varepsilon})=\frac{t^{p}}{p}\|v_{\varepsilon}\|^{p}- \frac{t^{p^{\ast}(s)}}{p^{\ast}(s)} \int_{\Omega}\frac{|v_{\varepsilon}|^{p^{\ast}(s)}}{|x|^{s}}\,dx- \int _{\Omega}F(x,tv_{\varepsilon})\,dx, \\& \overline{g}(t)=\frac{t^{p}}{p}\|v_{\varepsilon}\|^{p}- \frac{t^{p^{\ast}(s)}}{p^{\ast}(s)} \int_{\Omega}\frac{|v_{\varepsilon}|^{p^{\ast}(s)}}{|x|^{s}}\,dx. \end{aligned}$$
Since \(\lim_{t\rightarrow\infty}g(t)=-\infty\), \(g(0)=0\) and \(g(t)>0\) for t small enough, \(\sup_{t\geq0}g(t) \) is attained for some \(t_{\varepsilon}>0\). Therefore, we have
$$0=g'(t_{\varepsilon})=t_{\varepsilon}^{p-1} \biggl( \|v_{\varepsilon}\| ^{p}-t_{\varepsilon}^{p^{\ast}(s)-p} \int _{\Omega}\frac{|v_{\varepsilon}|^{p^{\ast}(s)}}{|x|^{s}}\,dx- \frac{1}{t_{\varepsilon}^{p-1}}\int _{\Omega}f(x,t_{\varepsilon }v_{\varepsilon})v_{\varepsilon}\,dx \biggr), $$
$$\|v_{\varepsilon}\|^{p}=t_{\varepsilon}^{p^{\ast}(s)-p}\int _{\Omega }\frac{|v_{\varepsilon}|^{p^{\ast}(s)}}{|x|^{s}}\,dx+ \frac{1}{t_{\varepsilon}^{p-1}}\int _{\Omega}f(x,t_{\varepsilon }v_{\varepsilon})v_{\varepsilon}\,dx \geq t_{\varepsilon}^{p^{\ast}(s)-p}\int_{\Omega} \frac{|v_{\varepsilon }|^{p^{\ast}(s)}}{|x|^{s}}\,dx. $$
It follows from (2.8) and (2.9) that \(t_{\varepsilon}\leq C\) for ε small enough. From the above inequality, we obtain
$$t_{\varepsilon}\leq \biggl(\|v_{\varepsilon}\|^{p} \big/\int _{\Omega}\frac {|v_{\varepsilon}|^{p^{\ast}(s)}}{|x|^{s}}\,dx \biggr)^{\frac{1}{p^{\ast}(s)-p}}:=t_{\varepsilon}^{0}. $$
By (A1), we can easily get
$$\bigl\vert f(x,t)\bigr\vert \leq\varepsilon t^{p^{\ast}-1}+d( \varepsilon)t^{p-1} \quad \mbox{for some } d(\varepsilon)>0. $$
Hence, together with \(t_{\varepsilon}\leq C\), we can get
$$\|v_{\varepsilon}\|^{p}\leq t_{\varepsilon}^{p^{\ast}(s)-p}\int _{\Omega }\frac{|v_{\varepsilon}|^{p^{\ast}(s)}}{|x|^{s}}\,dx+ \varepsilon C\int _{\Omega}|v_{\varepsilon}|^{p^{\ast}}\,dx+ d(\varepsilon)\int _{\Omega}|v_{\varepsilon}|^{p}\,dx. $$
By (2.8)-(2.10), when ε is small enough, we conclude that
$$ t_{\varepsilon}^{p^{\ast}(s)-p}\geq\frac{1}{2}. $$
On the other hand, the function \(\overline{g}(t)\) attains its maximum at \(t_{\varepsilon}^{0}\) and is increasing in the interval \([0,t_{\varepsilon}^{0}]\), together with (2.8), (2.9) and (2.11) and \(F(x,t)\geq C_{5}|t|^{\rho_{0}}\) which is directly got from (A2), we deduce
$$\begin{aligned} g(t_{\varepsilon}) \leq&\overline{g}\bigl(t_{\varepsilon}^{0} \bigr)-\int_{\Omega }F(x,t_{\varepsilon}v_{\varepsilon})\,dx \\ =&\frac{p-s}{p(N-s)}\|v_{\varepsilon}\|^{\frac{p(N-s)}{p-s}} \biggl(\int _{\Omega}\frac{|v_{\varepsilon}|^{p^{\ast }(s)}}{|x|^{s}}\,dx \biggr)^{-\frac{N-p}{p-s}}- \int _{\Omega}F(x,t_{\varepsilon}v_{\varepsilon})\,dx \\ =&\frac{p-s}{p(N-s)} \bigl[A^{\frac{N-s}{p-s}}_{\mu,s}+O\bigl(\varepsilon ^{b(\mu)p+p-N}\bigr) \bigr] ^{\frac{N-s}{p-s}} \bigl[A^{\frac{N-s}{p-s}}_{\mu,s}+O \bigl(\varepsilon^{b(\mu )p^{\ast}(s)+s-N}\bigr) \bigr] ^{-\frac{N-p}{p-s}} \\ &{}-\int _{\Omega}F(x,t_{\varepsilon}v_{\varepsilon})\,dx \\ =&\frac{p-s}{p(N-s)}A^{\frac{N-s}{p-s}}_{\mu,s}+O \bigl(\varepsilon ^{b(\mu)p+p-N} \bigr) +O \bigl(\varepsilon^{b(\mu)p^{\ast}(s)+s-N} \bigr) -\int _{\Omega}F(x,t_{\varepsilon}v_{\varepsilon})\,dx \\ \leq&\frac{p-s}{p(N-s)}A^{\frac{N-s}{p-s}}_{\mu,s}+O \bigl(\varepsilon ^{b(\mu)p+p-N} \bigr) +O \bigl(\varepsilon^{b(\mu)p^{\ast}(s)+s-N} \bigr) -C_{6}\int_{\Omega}|v_{\varepsilon}|^{\rho} \,dx. \end{aligned}$$
Furthermore, from (1.5) and (2.10), we get
$$\int_{\Omega}|v_{\varepsilon}|^{\rho}\,dx\geq C_{7}\varepsilon^{N+\rho(1-\frac{N}{p})}. $$
Note that \(b(\mu)>\frac{N-p}{p}\) implies
$$\frac{p [2N-p-b(\mu)p ]}{N-p}>\frac{p [2N-s-p^{\ast }(s)b(\mu) ]}{N-p}. $$
By (1.5), we have \(\rho_{0}>\frac{p [2N-p-b(\mu)p ]}{N-p}\), which implies
$$b(\mu)p+p-N>N+\rho_{0} \biggl(1-\frac{N}{p} \biggr) $$
$$b(\mu)p^{\ast}(s)+s-N>N+\rho_{0} \biggl(1-\frac{N}{p} \biggr). $$
Therefore, by choosing ε small enough, we have
$$\sup_{t\geq0} I(tv_{\varepsilon})=g(t_{\varepsilon})< \frac{p-s}{p(N-s)}A_{\mu ,s}^{\frac{N-s}{p-s}}. $$
Hence the proof of this lemma is then completed by taking \(u_{0}=v_{\varepsilon}\). □

3 Proofs of our main results

Proof of Theorem 1.1

From the Sobolev and Hardy-Sobolev inequalities, we can easily get
$$ \begin{aligned} &\|u\|^{p}_{p}\leq C\|u\|^{p},\qquad \int _{\Omega} \frac{|u|^{p^{\ast}(s)}}{|x|^{s}}\,dx\leq C\|u\|^{p^{\ast}(s)}, \\ &\|u\|^{p^{\ast}}_{p^{\ast}}\leq C\|u\|^{p^{\ast}},\quad \forall u\in W^{1,p}_{0}(\Omega). \end{aligned} $$
The condition (A1) implies that for any \(\varepsilon>0\) there exist \(\delta_{2}>\delta_{1}>0\) such that
$$\bigl\vert f(x,u)\bigr\vert < \varepsilon u^{p-1},\quad \forall u \in(0,\delta_{1}) $$
$$\bigl\vert f(x,u)\bigr\vert < u^{p^{\ast}-1}, \quad \forall u> \delta_{2}. $$
Therefore, there exists a constant \(C_{\varepsilon}>0\) such that
$$\bigl\vert f(x,u)\bigr\vert \leq\varepsilon u^{p-1}+C_{\varepsilon}u^{p^{\ast}-1}, \quad \forall u\in\mathbb{R}^{+}, \forall x\in\overline{\Omega}. $$
Then one gets
$$ \bigl\vert F(x,u)\bigr\vert \leq\frac{1}{p}\varepsilon|u|^{p}+C_{8}|u|^{p^{\ast}}, \quad \forall u\in\mathbb{R}^{+}, \forall x\in\overline{\Omega}. $$
By (3.1) and (3.2), we have
$$\begin{aligned} I(u) =&\frac{1}{p}\|u\|^{p}-\frac{1}{p^{\ast}(s)}\int _{\Omega} \frac{(u^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx-\int_{\Omega}F(x,u) \,dx \\ \geq&\frac{1}{p}\|u\|^{p}-\frac{C}{p^{\ast}(s)}\|u^{+} \|^{p^{\ast}(s)}- \frac{C}{p}\varepsilon\|u\|^{p}-CC_{8} \|u\|^{p^{\ast}} \end{aligned}$$
for \(\varepsilon>0\) small enough. So there exists \(\beta>0\) such that
$$I(u)\geq\beta \quad \mbox{for all } u\in\partial B_{r}=\bigl\{ u\in W^{1,p}_{0}(\Omega), \|u\|=r\bigr\} , r>0 \mbox{ small enough}. $$
By Lemma 2.4, there exists \(u_{0}\in W^{1,p}_{0}(\Omega)\) with \(u_{0}\not\equiv0\) such that
$$\sup_{t\geq0} I(tu_{0})< \frac{p-s}{p(N-s)}A_{\mu,s}^{\frac{N-s}{p-s}}. $$
It follows from the nonnegativity of \(F(x,t)\) that
$$\begin{aligned} I(tu_{0}) =&\frac{1}{p}t^{p}\|u_{0} \|^{p}-\frac{1}{p^{\ast }(s)}t^{p^{\ast}(s)}\int_{\Omega} \frac{(u_{0}^{+})^{p^{\ast}(s)}}{|x|^{s}}\,dx-\int_{\Omega}F(x,tu_{0})\,dx \\ \leq&\frac{1}{p}t^{p}\|u_{0}\|^{p}- \frac{1}{p^{\ast}(s)}t^{p^{\ast }(s)}\int_{\Omega} \frac{(u_{0}^{+})^{p^{\ast}(s)}}{|x|^{s}} \,dx, \end{aligned}$$
therefore, \(\lim_{t\rightarrow+\infty}I(tu_{0})\rightarrow-\infty\). Hence, we can choose \(t_{0}>0\) such that
$$\|t_{0}u_{0}\|>r \quad \mbox{and}\quad I(t_{0}u_{0})\leq0. $$
By virtue of the mountain pass lemma in [19], there is a sequence \(\{u_{n}\}\subset W^{1,p}_{0}(\Omega)\) satisfying
$$I(u_{n})\rightarrow c\geq\beta\quad \mbox{and} \quad I'(u_{n})\rightarrow0, $$
$$c=\inf_{h\in\Gamma} \max_{t\in[0,1]} I\bigl(h(t)\bigr) $$
$$\Gamma= \bigl\{ h\in C \bigl([0,1], W^{1,p}_{0}(\Omega) \bigr) \mid h(0)=0, h(1)=t_{0}u_{0} \bigr\} . $$
Note that
$$0< \beta\leq c=\inf_{h\in\Gamma} \max_{t\in[0,1]} I \bigl(h(t)\bigr)\leq\max_{t\in [0,1]} I(tt_{0}u_{0}) \leq\sup_{t\geq0} I(tu_{0})< \frac{p-s}{p(N-s)}A_{\mu,s}^{\frac{N-s}{p-s}}. $$
By Lemma 2.3, we can assume that \(u_{n}\rightarrow u\) in \(W^{1,p}_{0}(\Omega)\). From the continuity of \(I'\), we know that u is a weak solution of problem (2.1). Then \(\langle I'(u),u^{-}\rangle=0\), where \(u^{-}=\min\{u,0\}\). Thus \(u\geq0\). Therefore u is a nonnegative solution of (1.1). By the strong maximum principle, u is a positive solution of problem (1.1), so Theorem 1.1 holds. □

Proof of Theorem 1.2

By Theorem 1.1, problem (1.1) has a positive solution \(u_{1}\). Set \(g(x,t)=-f(x,-t)\) for \(t\in \mathbb{R}\). It follows from Theorem 1.1 that the equation
$$-\triangle_{p}u-\mu\frac{|u|^{p-2}u}{|x|^{p}}=\frac{|u^{+}|^{p^{\ast }(s)-2}}{|x|^{s}}u+g(x,u) $$
has at least one positive solution v. Let \(u_{2}=-v\), then \(u_{2}\) is a solution of
$$-\triangle_{p}u-\mu\frac{|u|^{p-2}u}{|x|^{p}}=\frac{|u^{+}|^{p^{\ast }(s)-2}}{|x|^{s}}u+f(x,u). $$
It is obvious that \(u_{1}\neq0\), \(u_{2}\neq0\) and \(u_{1}\neq u_{2}\). So problem (1.1) has at least two nontrivial solutions. Therefore, Theorem 1.2 holds. □



The author thanks the referees and the editors for their helpful comments and suggestions. Research was supported by the National Natural Science Foundation of China (No. 11401011).

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

School of Mathematical Sciences, University of Jinan


  1. Ghoussoub, N, Yuan, C: Multiple solutions for quasi-linear PDEs involving the critical Sobolev and Hardy exponents. Trans. Am. Math. Soc. 352, 5703-5743 (2000) MATHMathSciNetView ArticleGoogle Scholar
  2. Filippucci, R, Pucci, P, Robert, F: On a p-Laplace equation with multiple critical nonlinearities. J. Math. Pures Appl. 91, 156-177 (2009) MATHMathSciNetView ArticleGoogle Scholar
  3. Ambrosetti, A, Brezis, H, Cerami, G: Combined effects of concave and convex nonlinearities in some elliptic problems. J. Funct. Anal. 122, 519-543 (1994) MATHMathSciNetView ArticleGoogle Scholar
  4. Abdellaoui, B, Peral, I: Some results for semilinear elliptic equations with critical potential. Proc. R. Soc. Edinb., Sect. A 132(1), 1-24 (2002) MATHMathSciNetView ArticleGoogle Scholar
  5. Cao, DM, Han, PG: Solutions for semilinear elliptic equations with critical exponents and Hardy potential. J. Differ. Equ. 205(2), 521-537 (2004) MATHMathSciNetView ArticleGoogle Scholar
  6. Ferrero, A, Gazzola, F: Existence of solutions for singular critical growth semi-linear elliptic equations. J. Differ. Equ. 177(2), 494-522 (2001) MATHMathSciNetView ArticleGoogle Scholar
  7. Garcia Azorero, JP, Peral Alonso, I: Hardy inequalities and some critical elliptic and parabolic problems. J. Differ. Equ. 144(2), 441-476 (1998) MATHMathSciNetView ArticleGoogle Scholar
  8. Terracini, S: On positive entire solutions to a class of equations with a singular coefficient and critical exponent. Adv. Differ. Equ. 1(2), 241-264 (1996) MATHMathSciNetGoogle Scholar
  9. Ghoussoub, N, Kang, XS: Hardy-Sobolev critical elliptic equations with boundary singularities. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 21(6), 767-793 (2004) MATHMathSciNetView ArticleGoogle Scholar
  10. Kang, DS, Peng, SJ: Positive solutions for singular critical elliptic problems. Appl. Math. Lett. 17(4), 411-416 (2004) MATHMathSciNetView ArticleGoogle Scholar
  11. Kang, DS, Peng, SJ: Solutions for semi-linear elliptic problems with critical Sobolev-Hardy exponents and Hardy potential. Appl. Math. Lett. 18(10), 1094-1100 (2005) MATHMathSciNetView ArticleGoogle Scholar
  12. Shen, ZF, Yang, MB: Nontrivial solutions for Hardy-Sobolev critical elliptic equations. Acta Math. Sin. 48(5), 999-1010 (2005) (in Chinese) MATHMathSciNetGoogle Scholar
  13. Ding, L, Tang, CL: Existence and multiplicity of solutions for semilinear elliptic equations with Hardy terms and Hardy-Sobolev critical exponents. Appl. Math. Lett. 20, 1175-1183 (2007) MATHMathSciNetView ArticleGoogle Scholar
  14. Kang, DS: On the quasilinear elliptic problems with critical Sobolev-Hardy exponents and Hardy terms. Nonlinear Anal. 68, 1973-1985 (2008) MATHMathSciNetView ArticleGoogle Scholar
  15. Rabinowitz, PH: Minimax Methods in Critical Point Theory with Applications to Differential Equations. CBMS Reg. Conf. Series Math., vol. 65. Am. Math. Soc., Providence (1986) Google Scholar
  16. Caffarelli, L, Kohn, R, Nirenberg, L: First order interpolation inequality with weights. Compos. Math. 53, 259-275 (1984) MATHMathSciNetGoogle Scholar
  17. Brezis, H, Lieb, E: A relation between pointwise convergence of functions and convergence of functionals. Proc. Am. Math. Soc. 88, 486-490 (1983) MATHMathSciNetView ArticleGoogle Scholar
  18. Kang, D, Huang, Y, Liu, S: Asymptotic estimates on the extremal functions of a quasilinear elliptic problem. J. South Cent. Univ. Natl. 27(3), 91-95 (2008) Google Scholar
  19. Struwe, M: Variational Methods: Applications to Nonlinear Partial Differential Equations and Hamiltonian Systems. Springer, Berlin (1996) MATHView ArticleGoogle Scholar


© Chen 2015