- Research
- Open access
- Published:
A nonlinear p-Laplace equation with critical Sobolev-Hardy exponents and Robin boundary conditions
Boundary Value Problems volume 2015, Article number: 185 (2015)
Abstract
In this paper, we are concerned with a nonlinear p-Laplace equation with critical Sobolev-Hardy exponents and Robin boundary conditions. Through a compactness analysis of the functional corresponding to the problem, we obtain the existence of positive solutions for this problem under different assumptions.
1 Introduction
We are concerned with the following class of boundary value problems:
where \(0\in\overline{\Omega}\subset\mathbb{R}^{n}\), \(2\leq p< n\), \({p^{*} (s )}=p (n-s )/ (n-p )\), \(p< q<{p^{*} (s )}\), \(0\leq s< p\), \(\mu<\bar{\mu}:= \frac{ (n-p )^{p}}{p^{p}}\), \(\eta\geq0\) and \(\lambda\in\mathbb{R}^{1}\) are parameters, \(\alpha (x )\in C (\partial\Omega )\), \(\alpha (x )\geq0\). Ω is a bounded domain with a smooth \(C^{2}\) boundary, ν denotes the unit outward normal to ∂Ω.
The main interest of this kind of problems is the presence of the singular potential \(\frac{1}{|x|^{s}}\), \(0\leq s\leq p\), \(\frac{1}{|x|^{s}}\) relating to the Hardy inequality. In the special case when \(\mu=0\), problem (1.1) is related to the well-known Sobolev-Hardy inequality
which is essentially due to Caffarelli, Kohn and Nirenberg (see [1]), where \(1< p< n\), \(q\leq p^{*} (s )\), \(C_{q,s,p}\) is a positive constant depending on p, q, s. When \(q=s=p\), the above Sobolev inequality becomes the well-known Hardy inequality (see [1, 2])
Moreover, the constant μ̄ is optimal and is not achieved since the Sobolev embedding is not compact even locally in any neighborhood of zero. In addition to the inverse potential, there is the presence of the critical Sobolev exponents and critical Sobolev-Hardy exponents, which causes of loss of compactness of the embeddings. This loss of compactness leads to many interesting existence and nonexistence phenomena for the elliptic equations with critical Hardy terms (see, for example, [3–8] and the references therein).
For second-order semilinear elliptic differential equations on bounded domains, Brezis and Lieb [9] obtained an existence result of solutions for a class of elliptic equations with critical Sobolev nonlinearities by verifying a sub-level which satisfies the Palais-Smale conditions. A global compact result for a semilinear elliptic problem with critical Sobolev nonlinearities on bounded domains was obtained by Struwe [10]. Pierrotti and Terracini [11] studied a class of critical elliptic equations with Neumann boundary conditions through a compact analysis. Cao and Peng [4] got a global compact result for (1.1) (when \(p=2\), \(s=0\)) with Dirichlet boundary conditions and showed some new blow-up phenomena. Deng, Jin and Peng [12] got a similar result for the Robin boundary problem of equation (1.1) (when \(p=2\), \(s=0\)). In [13], with the Dirichlet boundary conditions of equation (1.1) (when \(s\neq0\)), they got the global compact result on the whole space and a bounded smooth domain, respectively. For the elliptic differential equations on unbounded domains, there have also been some global compact results (refer to [8, 14, 15]). In this paper, we discuss a general Robin boundary problem involving critical Hardy terms and critical Sobolev-Hardy terms with \(p\geq2\), \(0\leq s< p\). The different assumptions on the parameter s induce completely different results corresponding to the noncompactness analysis. In addition, the boundary conditions make great influence on our noncompact analysis. Not only does it change the form of our limiting equations, but it also adds more limiting equations which induce new blow-up bubble such as \(D_{\mu}\) (see Corollary 1.1) to occur.
The first goal of this paper is a careful analysis of the features of a Palais-Smale sequence for the corresponding variational functional \(F_{\mu}(u)\) of (1.1). To this aim, following the same idea adopted by Struwe [10] and the main techniques of [11], we shall employ the blow-up technique to characterize all the energy levels where the Palais-Smale condition fails. More precisely, we shall represent any diverging Palais-Smale sequence as the sum of critical points of a family of limiting functionals, which are invariant under scaling. In our problem, due to the Hardy potential, critical Sobolev-Hardy terms, there are some critical points of a new family of limiting functionals. As a by-product, we shall find the smallest level where the Palais-Smale condition may fail. Thus we shall be able to determine safe sublevels where standard critical point theorems can be applied. The second purpose of this paper is to obtain the existence of critical points for the variational functional of (1.1) under different conditions by applying the previous compactness analysis.
To mention our main results, it is convenient to introduce some notations.
Firstly, we denote by \(F_{\mu}\) the functional associated to (1.1):
We denote by \(\lambda_{1}\) the smallest positive eigenvalue such that the following problem has a positive solution:
i.e.,
From Lemma A.1 in the Appendix, \(\lambda_{1}\) can be attained. If \(\mu\leq 0\), obviously \(\lambda _{1}>0\). If \(\mu\in (0,\bar{\mu})\), by Lemma A.2 in the Appendix of this paper, we have
for \(u\in W^{1,p} (\Omega )\). Hence, for suitably large \(\lambda >0\), we have \(\lambda +\lambda _{1}>0\) for \(\mu\in (-\infty,\bar{\mu})\). Now, for \(\lambda >-\lambda _{1}\), we define the following norm:
Then, by Lemma A.3 in the Appendix of this paper, \(\|\cdot\|\) is equivalent to the usual norm \(\|\cdot\|_{W^{1,p} (\Omega )}\).
Secondly, we denote \(\mathbb{R}^{n}_{+}:=\{y= (y_{1}, y_{2},\ldots, \ y_{n-1}, y_{n} ):= (y',y_{n} )\in\mathbb{R}^{n}\mid y_{n}>0\} \) with boundary \(\mathbb{R}^{n-1}=\{y\mid (y',0 )\in\mathbb{R}^{n}\}\). Denote \(C^{\infty}_{0}(\Omega)=\{u\in C^{\infty}({\mathbb{R}}^{n})\mid\operatorname {supp} u\subset\subset\Omega\}\). The space \({D^{1,p}} (\Omega )\) is the completion of \(C^{\infty}_{0}(\Omega)\) with respect to the norm
the space \({D^{1,p}} (\mathbb{R}^{n}_{+} )\) is the space of the restrictions to \(\mathbb{R}^{n}_{+}\) of elements of \({D^{1,p}} (\mathbb {R}^{n} )\). Recall \({p^{*} (s )}=p (n-s )/ (n-p )\) and denote \(p^{*}=p^{*} (0 )=\frac{np}{n-p}\). In the following C and c denote various generic positive constants. \(O (\varepsilon )\) denotes a quantity satisfying \(|O(\varepsilon)| /\varepsilon\leq C\), \(o(\varepsilon)\) means \(|o(\varepsilon)|/\varepsilon\rightarrow0\) as \(\varepsilon\rightarrow0\) and \(o (1 )\) is a generic infinitesimal value.
Finally we give the definition of the Palais-Smale sequence as follows: let X be a Banach space, \(\phi\in C^{1}(X,{\mathbb{R}})\) and \(c\in {\mathbb{R}}\). The sequence \(u_{m}\in X\) is called a Palais-Smale sequence of ϕ at a level c if
Define
which plays an important role in our argument. In particular we denote \(S =S_{0,0}\) and \(S_{\mu}=S_{\mu,0}\).
In order to establish the global compactness result for problem (1.1), it is also convenient to introduce the problems at infinity corresponding to (1.1) as follows.
In fact, through scaling and transforming technique, and taking the limit, the Palais-Smale sequence of (1.1) can be represent by the solutions of problems (1.5)-(1.8) (refer to Theorem 1.1).
All positive solutions of (1.5) are the well-known \((n+1 )\)-parameter family of
where
for some appropriate constant \(c (n )>0\). These solutions are also known to minimize the Sobolev quotient S, as was shown by Aubin [16]. Since \(U_{0} (x )\) is radical symmetric, then
which means that \(U_{0} (x )\) is also the solution of (1.7).
For \(0<\mu<\bar{\mu}\) and \(p>s\geq0\), Kang in [17] showed the existence of the positive solutions of (1.6), and the form of the solutions \(V^{\varepsilon}_{\mu}(|x| ):=\varepsilon^{\frac {p-n}{p}} V_{\mu}(|x|/\varepsilon )\), where \(V_{\mu}(x )\) is the unique positive radial function in \(D^{1,p} ({\mathbb{R}}^{n} )\) which achieves \(S_{\mu,s}\). Moreover,
where \(r=|x|\), \(c_{1}\) and \(c_{2}\) are constants depended on p, n. \(a (\mu )\) and \(b (\mu )\) are solutions of
where \(\tau\geq0\), \(0\leq\mu\leq\bar{\mu}\), \(0\leq a (\mu )<\frac{n-p}{p}<b (\mu )<\frac {n-p}{p-1}\). Of course, \(V^{\varepsilon}_{\mu}(|x| )\) are also the solutions of (1.8).
For convenience, we also define the following quantities which will represent the amount of the functional \(F_{\mu}(u)\) carried over by blowing-up bubbles:
In order to unify the notations, we shall refer to the solutions of problems (1.5)-(1.8) as critical points of the following family of functionals:
We shall prove that any diverging Palais-Smale sequence corresponding to (1.1) can be represented as sums of scaled critical points of the functionals \(F_{\mu}^{\infty}(u)\), \(F_{\mu,+}^{\infty}(u)\) or \(F^{\infty}(u)\), \(F_{+}^{\infty}(u)\) by exploiting suitable blow-up arguments.
The first result of this paper is the following global compactness theorem.
Theorem 1.1
Let \(\{u_{m}\}\subset W^{1,p} (\Omega )\) be a Palais-Smale sequence of \(F_{\mu}(u )\) at level \(d>0\), \(u_{0}\) is a critical point of \(F_{\mu}(u )\),
Then there exist \(k_{1}, k_{2}, k_{3}\in \mathbb{N}\cup\{0\}\) such that
(i) \(u_{m}\) can be decomposed as
where \(\omega_{m}\to0\) in \(W^{1,p} (\Omega )\) as \(m\rightarrow +\infty \), and
-
for \(j=1,\ldots,k_{1}\), \(r_{m,j}\to+\infty\) as \(m\rightarrow+\infty\),
$$\textstyle\begin{cases} U_{j} \textit{ satisfy } (1.6) &\textit{if } 0\in \Omega , \\ U_{j} \textit{ satisfy } (1.8) & \textit{if } 0\in \partial \Omega; \end{cases} $$ -
for \(j=k_{1}+1,\ldots,k_{1}+k_{2}\), \(r_{m,j}\operatorname{dist} (x_{m,j}, \partial \Omega )\to +\infty\), \(r_{m,j}|x_{m,j}|\to+\infty\) as \(m\rightarrow+\infty\), \(U_{j}\) satisfy (1.5);
-
for \(j=k_{1}+k_{2}+1,\ldots,k_{1}+k_{2}+k_{3}\), \(r_{m,j}\operatorname{dist} (x_{m,j}, \partial \Omega )\to c<+\infty\), \(r_{m,j}|x_{m,j}|\to+\infty\) as \(m\rightarrow+\infty\), \(U_{j} \) satisfy (1.7).
(ii) \(F_{\mu}(u_{m})\) can be decomposed as the following:
-
for the case that \(0\in \partial \Omega \), as \(m\rightarrow+\infty\),
$$F_{\mu}(u_{m} )=F_{\mu}(u_{0} )+\sum _{j=1}^{k_{1}}F_{\mu,+} ^{\infty}(U_{j} )+\zeta (s )\sum_{j=k_{1}+1}^{k_{1}+k_{2}}F^{\infty}(U_{j} ) + \zeta (s )\sum_{j=k_{1}+k_{2}+1} ^{k_{1}+k_{2}+k_{3}}F^{\infty}_{+} (U_{j} )+o (1 ), $$where
$$\begin{aligned}& \textit{for }j=1,\ldots,k_{1}, U_{j} \textit{ is a solution of } (1.8);\\& \textit{for }j=k_{1}+1,\ldots,k_{1}+k_{2}, U_{j} \textit{ is a solution of } (1.5);\\& \textit{for } j=k_{1}+k_{2}+1,\ldots,k_{1}+k_{2}+k_{3}, U_{j} \textit{ is a solution of } (1.7); \end{aligned}$$ -
for the case that \(0\in \Omega \), as \(m\rightarrow+\infty\),
$$F_{\mu}(u_{m} )=F_{\mu}(u_{0} )+\sum _{j=1}^{k_{1}}F_{\mu} ^{\infty}(U_{j} )+\zeta (s )\sum_{j=k_{1}+1}^{k_{1}+k_{2}}F^{\infty}(U_{j} ) +\zeta (s )\sum_{j=k_{1}+k_{2}+1}^{k_{1}+k_{2}+k_{3}}F^{\infty}_{+} (U_{j} )+o (1 ) , $$where
$$\begin{aligned}& \textit{for }j=1,\ldots,k_{1} , U_{j} \textit{ is a solution of } (1.6); \\& \textit{for } j=k_{1}+1,\ldots,k_{1}+k_{2}, U_{j} \textit{ is a solution of } (1.5);\\& \textit{for } j=k_{1}+k_{2}+1,\ldots,k_{1}+k_{2}+k_{3}, U_{j} \textit{ is a solution of } (1.7). \end{aligned}$$
Corollary 1.1
Any positive Palais-Smale sequence for \(F_{\mu}(u)\) at a level d which is not of the form \(k_{1} D_{\mu}+ k_{2}D_{0}+\frac{1}{2}k_{3}D_{0} \) if \(0\in \Omega \) and the form \(\frac{k_{1}}{2} D_{\mu}+k_{2} D_{0}+\frac{1}{2}k_{3}D_{0} \) if \(0\in\partial \Omega \) for \(k_{1}, k_{2}, k_{3}\in {\mathbb{N}}\cup \{0\}\), gives rise to a nontrivial weak solution of equation (1.1).
By applying Theorem 1.1 and the mountain pass theorem [18], we can obtain the following existence theorems by proving that \(F_{\mu}(u)\) satisfies the geometrical assumptions of the mountain pass theorem and that the mountain pass level is actually below the compactness threshold quoted in Theorem 1.1.
Theorem 1.2
Suppose \(0\in \Omega \), \(p>s> 0\), \(\lambda >-\lambda _{1}\), \(0<\mu <\bar{\mu}\), then problem (1.1) has a positive solution if
Theorem 1.3
Suppose \(0\in \Omega \), \(s=0\), \(\lambda >-\lambda _{1}\). Then there exists a constant \(\mu^{*} \in(0, \bar{\mu})\) such that
-
(1)
problem (1.1) has a positive solution if \(0<\mu\leq\mu^{*}\);
-
(2)
problem (1.1) has a positive solution if
$$\mu^{*}< \mu< \bar{\mu} \quad\textit{and} \quad \max\biggl\{ p,\frac{n}{b (\mu )}, \frac{p (2n-b (\mu )p-p )}{n-p}\biggr\} < q< p^{*}. $$
Furthermore, \(\mu^{*}\) can be calculated by solving \(S^{\frac{n}{p}} =2 S_{\mu} ^{\frac{n}{p}}\).
Remark 1.1
For the case that \(0\in \partial \Omega \), we cannot obtain the existence of the solutions of problem (1.1) since we do not know the explicit form of the attaining functions of \(S_{\mu, s}\).
This paper is organized as follows. In Section 2, we prove Theorem 1.1 by carefully analyzing the features of a Palais-Smale sequence for \(F_{\mu}(u)\). In Section 3, we apply Theorem 1.1 and the mountain pass theorem [18] to obtain the existence of critical points for \(F_{\mu}(u)\) under different assumptions on the parameters μ, λ and the fact that \(0\in\Omega\). Finally, we put some preliminaries in the last section as an appendix.
2 Proof of Theorem 1.1
In this section, the features of a Palais-Smale sequence for \(F_{\mu}(u)\) will be analyzed by the blow-up technique adopted by Struwe [10] for the Dirichlet problem. To this end, we need the following lemma.
Lemma 2.1
Let \(\{v_{m}\}_{m}\) be a Palais-Smale sequence of \(F_{\mu}(u)\) at level \(d>0\), and assume that \(\{v_{m}\}_{m}\) converges weakly but not strongly to zero in \(W^{1,p} (\Omega )\).
(1) For the case \(s\neq0\),
-
if \(0\in\Omega\), there exists a positive sequence \(k_{m}\) such that, up to a subsequence,
$$ w_{m}=v_{m} (x )-k_{m}^{\frac{n-p}{p}}v_{0}(k_{m} x),\quad x\in\overline {\Omega}, $$(2.1)is a Palais-Smale sequence for \(F_{\mu}(u )\) in \(W^{1,p} (\Omega )\) at level \(d-\frac{p-s}{ (n-s )p}S_{\mu,s}^{\frac{n-s}{p-s}}\), and \(v_{0}\) solves (1.6). Moreover, \(w_{m} \rightarrow0\) weakly in \(W^{1,p} (\Omega )\) as \(m\to +\infty\);
-
if \(0\in\partial\Omega\), there exists a positive sequence \(k_{m}\) such that, up to a subsequence,
$$ w_{m}=v_{m} (x )-k_{m}^{\frac{n-p}{p}}v_{0}(k_{m} x),\quad x\in\overline {\Omega}, $$(2.2)is a Palais-Smale sequence for \(F_{\mu}(u )\) in \(W^{1,p} (\Omega )\) at level \(d-\frac{p-s}{2 (n-s )p}S_{\mu,s}^{\frac{n-s}{p-s}}\), and \(v_{0}\) solves (1.8). Moreover, \(w_{m} \rightarrow0\) weakly in \(W^{1,p} (\Omega )\) as \(m\to +\infty\).
(2) For the case that \(s=0\), then either
-
if \(0\in\Omega\), there exists a positive sequence \(k_{m}\) such that, up to a subsequence,
$$ w_{m}=v_{m} (x )-k_{m}^{\frac{n-p}{p}}v_{0} (k_{m} x ),\quad x\in \overline{\Omega}, $$(2.3)is a Palais-Smale sequence for \(F_{\mu}(u )\) in \(W^{1,p} (\Omega )\) at level \(d-\frac{1}{n}S_{\mu}^{\frac{n}{p}}\), and \(v_{0}\) solves (1.6). Moreover, \(w_{m} \rightarrow0\) weakly in \(W^{1,p} (\Omega )\) as \(m\to +\infty\);
-
if \(0\in\partial\Omega\), there exists a positive sequence \(k_{m}\) such that, up to a subsequence,
$$ w_{m}=v_{m} (x )-k_{m}^{\frac{n-p}{p}}v_{0} (k_{m} x ),\quad x\in \overline{\Omega}, $$(2.4)is a Palais-Smale sequence for \(F_{\mu}(u )\) in \(W^{1,p} (\Omega )\) at level \(d-\frac{1}{2n}S_{\mu}^{\frac{n}{p}}\), and \(v_{0}\) solves (1.8). Moreover, \(w_{m} \rightarrow0\) weakly in \(W^{1,p} (\Omega )\) as \(m\to +\infty\);
or there exist sequences \(y_{m}\in\overline{\Omega}\), \(K_{m}\in {\mathbb{R}}^{+}\) such that, up to a subsequence,
Case 1:
is a Palais-Smale sequence for \(F_{\mu}(u )\) at level \(d-\frac{1}{2n}{S}^{\frac{n}{p}}\) if \(\lim_{m\rightarrow+\infty}K_{m} \operatorname{dist} (y_{m},\partial\Omega )<+\infty\). Moreover, \(w_{m} \rightarrow0\) weakly in \(W^{1,p} (\Omega )\) as \(m\to+\infty \) and \(v_{0}\) is the solution of (1.7);
Case 2:
is a Palais-Smale sequence for \(F_{\mu}(u )\) at level \(d-\frac{1}{n}{S}^{\frac{n}{p}}\) if \(\lim_{m\rightarrow +\infty}K_{m} \operatorname{dist} (y_{m},\partial\Omega )=+\infty\). Moreover, \(w_{m} \rightarrow0\) weakly in \(W^{1,p} (\Omega )\) and \(v_{0}\) is the solution of (1.5).
Proof
We only prove the case when \(0\leq\mu<\bar{\mu}\) since the proof of the case when \(\mu<0\) is similar. By Lemma A.4 in the Appendix, we deduce that there are positive constants \(c_{i} \) (\(i=1,2 \)) such that
From (2.7), let \(\delta>0\) be small (will be determined later) such that
Fix m, by the integral absolute continuity, \(\forall\varepsilon>0\), there exists a constant \(a>0\) for any set \(E\subset\Omega\) and the measure \(m(E)< a\), then
Define \(F(R)=\int_{B(0,R)\cap\Omega}|\nabla v_{m}|^{p} \,dx\), then \(F(R)\) is a continuous function of R satisfying
Up to a subsequence, we can choose minimal \(\frac{1}{k_{m}}>0\) such that
We denote by \(E: W^{1,p} (\Omega )\rightarrow W^{1,p} (\mathbb {R}^{n} )\) the extension operator such that
(remember that \(\partial\Omega\in C^{1}\)). For the simplicity of notations, we shall denote by the same symbol both the function \(v\in W^{1,p} (\Omega )\) and its extension \(E (v )\in W^{1,p} (\mathbb {R}^{n} )\). Define
then \(\int_{B (0, 1 )\cap \Omega _{1,m}}|\nabla\bar{v}_{m}|^{p} \,dx=\delta\). Let us point out that, thanks to (2.7)-(2.9), the sequence \(\{k_{m}\}\) is bounded away from zero.
Obviously \(\bar{v}_{m} \in W^{1,p} (\Omega _{1,m} )\subset {D^{1,p}} ({\mathbb{R}}^{n} )\). Moreover,
Up to a subsequence, there exists \(v_{0}\in{D^{1,p}} ({\mathbb{R}}^{n} )\) such that \(\bar{v}_{m}\rightarrow v_{0}\) weakly in \({D^{1,p}} ({\mathbb{R}}^{n} )\) and \(\bar{v}_{m}\rightarrow v_{0}\) a.e. in \({\mathbb{R}}^{n}\) as \(m\to+\infty\). We have either \(v_{0} \not\equiv0\) or \(v_{0}\equiv0\).
Case (I): Assume \(v_{0}\not\equiv0\).
Since \(v_{m}\rightarrow0 \) (\(m\to+\infty \)) weakly in \(W^{1,p} (\Omega )\) and \(\bar{v}_{m}\rightarrow v_{0}\not\equiv0\) weakly in \(W^{1,p} (\Omega )\), we have \(k_{m}\rightarrow+\infty\) (\(m\to+\infty\)).
In this case we claim that \(v_{0}\) satisfies (1.6) and the sequence
is a Palais-Smale sequence for \(F_{\mu}(u)\) at level \(d-\frac{p-s}{ (n-s )p}S_{\mu,s}^{\frac{n-s}{p-s}}\).
Since \(\bar{v}_{m}\) is bounded in \({D^{1,p}} ({\mathbb{R}}^{n} )\), then
If \(0\in\Omega\), fix a ball \(B (x,r )\) and a test function \(\phi\in C^{\infty}_{0} (B (x,r ) )\). Notice that for sufficiently large m, \(B (x,r )\subset \Omega _{1,m}\). Then we have
as \(m\rightarrow+\infty\).
And since \(k_{m}\rightarrow+\infty\) as \(m\rightarrow+\infty\), then
Therefore we have
where \(\bar{\phi}_{m} (x )=k_{m}^{\frac{n-p}{p}}\phi (k_{m} x )\). Since \(\|\phi\|_{D^{1,p} (B (x,r ) )}=\|\bar{\phi}_{m}\| _{W^{1,p} (\Omega )}+o (1 )\), \(v_{0}\) solves (1.6).
If \(0\in\partial \Omega \), fix a ball \(B (x,r )\) and a test function \(\phi\in C^{\infty}_{0} (B (x,r ) )\). Notice that for sufficiently large m, \(B (x,r )\cap {\mathbb{R}}^{n}_{+}\subset \Omega _{1,m}\), we have
where \(\bar{\phi}_{m} (x )=k_{m}^{\frac{n-p}{p}}\phi (k_{m} x )\). Since \(\|\phi\|_{D^{1,p} (B (x,r ) )}=\|\bar{\phi}_{m}\| _{W^{1,p} (\Omega )}+o (1 )\), \(v_{0}\) solves (1.8).
By Lemma A.6 in the Appendix and the invariance of dilation, we have for large m
Also, from \(k_{m}^{\frac{n-p}{p}}v_{0}(k_{m}x) \rightarrow0\) weakly in \(W^{1,p} (\Omega )\) and \(v_{m}\rightarrow0\) weakly in \(W^{1,p} (\Omega )\), it is obvious that \(w_{m}\rightarrow0\) weakly in \(W^{1,p} (\Omega )\).
Case (II): Assume \(v_{0}\equiv0\).
If \(0\in \Omega \), let \(h\in C^{\infty}_{0} (B (0,1 ) )\), then we have
Choose δ suitably small, from (2.13) and the fact that \(0\leq\mu<\frac{ (n-p )^{p}}{p^{p}}\), we can find \(a\in (0,1 )\) such that
Thus we have
If \(0\in \partial \Omega \), define
where \(x'= (x_{1},\ldots,x_{n-1} )\). Proceeding as to obtain (2.14), we deduce
which implies that
For \(p>s>0\), we can deduce that Case (II) cannot happen.
In fact, if \(0\in \Omega \), from (2.10) and \(0< p< p^{*}\), \(0< p^{*}(s)< p^{*}\), then \(\forall R>0\),
Since \(\delta>0\), from (2.9) there exists a positive constant ā such that \(k_{m}\geq\bar{a}>0\), thus \(B(0,\frac{2}{k_{m}})\subset B(0,\frac{2}{\bar{a}})\). Choose
and \(g_{m}\) is bounded in \(C_{0}^{\infty}(\Omega)\) since \(v_{m}\) is the Palais-Smale sequence of \(F_{\mu}(u)\), then
a.e.
Since
then from (2.18)-(2.21) we have
where c is a positive constant. Then we have
which contradicts (2.9).
If \(0\in\partial \Omega \), similarly as (2.16), (2.17), we have
then we obtain (2.18).
Thus
which contradicts (2.9).
For the case that \(s=0\), we denote \(\bar{v}_{m}\) by \(z_{m}\).
Denote by
the concentration function of \(z_{m}\). From (2.7), (2.8) we can choose \(x_{m}\in\bar{\Omega} _{m}\), \(r_{m}\in {\mathbb{R}}\) and define
so that
where \(0<\delta_{1}<\delta\), L denotes the least number of balls with radius 1 in \({\mathbb{R}}^{n}\) that are needed to cover a ball of radius 2.
Note that there exists a constant \(b>0\) such that \(r_{m}\geq b\). Set
We may assume \(\bar{z}_{m}\in{D^{1,p}} ({\mathbb{R}}^{n} )\). Moreover, \(\{\bar{z}_{m}\} \) is bounded uniformly in \({D^{1,p}} ({\mathbb{R}}^{n} )\). Thus, up to a subsequence,
We are going to prove that the convergence actually holds in the strong \(W^{1,p}_{\mathrm{loc}} ({\mathbb{R}}^{n} )\) sense.
Since \(C_{0}^{\infty}({\mathbb{R}}^{n})\cap W_{\mathrm{loc}}^{1,p}({\mathbb{R}}^{n})\) is dense in \(W_{\mathrm{loc}}^{1,p}({\mathbb{R}}^{n})\), then without loss of generality we can assume that \(\bar{v}_{m}-\bar{v}_{0}\in C_{0}^{\infty}({\mathbb{R}}^{n})\cap W_{\mathrm{loc}}^{1,p}({\mathbb{R}}^{n})\). Let \(x_{0}\) be a fixed point of \({\mathbb{R}}^{n}\), from Proposition 6.6 in [19], we can find \(\rho\in[1,2]\) such that the solution \(\bar{w}_{m}\) of the Dirichlet problem
satisfies the following conditions:
Define
It follows from the above equation that \(\|\varphi_{m}\|_{L^{p} (\mathbb{R}^{n} )}\rightarrow 0\) as \(m\to+\infty\). Now, scaling back the function \(\varphi_{m}\),
then there exists a constant \(\beta>0\) such that \(\operatorname{supp} \bar{\varphi}_{m} \subset B(x_{0},\beta)\subset \Omega _{1,m}\) for m large.
Taking into account (2.27), (2.28) and (2.29), letting \(m\rightarrow+\infty\), we have
By scale invariance and the fact that \(\{z_{m}\}\) is a Palais-Smale sequence for \(F_{\mu}(u)\), it follows that
where
Therefore, from the definitions of \(F_{\mu,m}\), \(\varphi_{m}\) and (2.28), we have
Moreover, by scale invariance and
Let us cover \(B(x_{0},\rho)\) with L balls of radius one, from (2.26) then
so that (2.31) and (2.32) yield
Finally, using again the properties of the extension operator, we obtain from (2.30)
where C is a positive constant depending on the domain \(B(x_{0},\beta)\). Therefore
Since \(\int_{B (0,1 )}|\nabla\bar{z}_{m}|^{p}\,dx=\delta_{1}>0\), we have \(\bar{v}_{0}\not\equiv0\). Hence by local properties of the extension operator, we have that \(\bar{v}_{0}|_{{\tilde{\Omega} _{m}}}\nrightarrow0\). Since \(z_{m}\rightarrow0 \) weakly in \(D^{1,p} ({\mathbb{R}}^{n} )\), we also have \(r_{m}\rightarrow +\infty\) as \(m\rightarrow+\infty\).
Now, using the result of Case (I), we have
Define \(K_{m}=r_{m}k_{m}\), \(y_{m}=x_{m}/k_{m}\); then \(y_{m}\rightarrow y_{0}\in\overline{\Omega }\), \(K_{m}|y_{m}|=r_{m}|x_{m}|\). By (2.14) we have \(|x_{m}|>a>0\), so \(K_{m}|y_{m}|\rightarrow+\infty\). Also, by the fact that \(\{k_{m}\}\) is bounded away from zero, \(K_{m}\rightarrow+\infty\) (as \(m\rightarrow+\infty\)). Then \(\tilde{\Omega}_{m}=\{x\in {\mathbb{R}}^{n} | \frac{x}{K_{m}}+y_{m}\in \Omega \}\), \(\bar{v}_{m}= K^{\frac{p-n}{p}}_{m} v_{m} (\frac{x}{K_{m}}+y_{m} )\).
Since we have \(\int_{\tilde{\Omega}_{m}}\frac{|\bar{z}_{m}|^{p-2}\bar{z}_{m}\phi}{|x+K_{m}y_{m}|^{p}}\,dx=o (1 )\) for large m and any given \(\phi\in C^{\infty}_{0} (B(x,r) )\), we can proceed our proof as follows.
(1) For the case when \(\lim_{m\rightarrow+\infty}K_{m} \operatorname{dist} (y_{m}, \partial \Omega )=+\infty\) uniformly, we claim that \(\bar{v}_{0}\) solves (1.5). Indeed, for a fixed ball \(B (x,r )\) and a test function \(\phi\in C^{\infty}_{0} (B (x,r ) )\) and for sufficiently large m, \(B (x,r )\subset \tilde{\Omega}_{m}\). Therefore, we have
where \(\bar{\phi}_{m} (x )=K_{m}^{\frac{n-p}{p}}\phi (K_{m} (x-y_{m} ) )\).
(2) For the case when \(\lim_{m\rightarrow+\infty}K_{m} \operatorname{dist} (y_{m},\partial \Omega )\rightarrow c<+\infty\), we claim that \(\bar{v}_{0}\) solves (1.7). Indeed, fix a ball \(B (x,r )\) and a test function \(\phi\in C^{\infty}_{0} (B (x,r ) )\) and note that, for sufficiently large m, \(B (x,r )\cap {\mathbb{R}}^{n}_{+}\subset\tilde{\Omega}_{m}\) we have
where \(\bar{\phi}_{m} (x )=K_{m}^{\frac{n-p}{p}}\phi (K_{m} (x-y_{m} ) )\).
Define
For the case that \(\lim_{m\rightarrow+\infty}K_{m} \operatorname{dist} (y_{m}, \partial \Omega )=c<+\infty\), we have that \(\bar{v}_{0}\) is a weak solution of equation (1.5) and \(w_{m}\) is a Palais-Smale sequence of \(F_{\mu}(u)\) at level \(d-\frac{1}{2n}S^{\frac{n}{p}}\). For the case that \(\lim_{m\rightarrow+\infty}K_{m} \operatorname{dist} (y_{m}, \partial \Omega )=+\infty\), we have that \(\bar{v}_{0}\) is a weak solution of equation (1.7) and \(w_{m}\) is a Palais-Smale sequence of \(F_{\mu}(u)\) at level \(d-\frac{1}{n}S^{\frac{n}{p}}\).
This concludes the proof of Lemma 2.1. □
Now, we are going to complete the proof of Theorem 1.1.
Proof of Theorem 1.1
By applying Lemma 2.1, Lemmas A.4-A.6 recursively, the iteration must stop after a finite number of steps; moreover, the last Palais-Smale sequence must strongly converge to zero. Hence we prove parts (i) and (ii).
As a consequence, we finish the proof of Theorem 1.1. □
3 The proofs of existence results
In this section, we shall apply Theorem 1.1 and the mountain pass theorem [18] to obtain the existence of critical points for \(F_{\mu}(u)\) under different assumptions on the parameters μ, λ and the fact that \(0\in\Omega\) or \(0\in \partial\Omega\). For convenience, we only consider the case of \(\alpha (x )=0\).
Lemma 3.1
For \(\lambda >-\lambda _{1}\), \(F_{\mu}(u )\) satisfies the geometry structure of the mountain pass theorem.
By Lemma A.3 in the Appendix, the proof of Lemma 3.1 can be completed easily.
Define
where \(\Gamma=\{\gamma\in C ([0,1],W^{1,p} (\Omega ) ):\gamma (0 )=0,\gamma (1 )=\psi_{0}\in W^{1,p} (\Omega )\}\). The \(\psi_{0}\) is chosen such that \(F_{\mu}(t\psi_{0} )\leq0\) for all \(t\geq1\).
According to Theorem 1.1, we easily have the following.
Proposition 3.1
For the case that \(s\neq0\), the following two statements are true:
(1) Suppose \(0\in\Omega\), \(\mu\in (0,\bar{\mu})\) and \(\lambda >-\lambda _{1}\). If
then (1.1) has a positive solution satisfying \(F_{\mu}(u )\leq c_{\mu}\).
(2) Suppose \(0\in\partial\Omega\), \(\mu\in (0,\bar{\mu})\) and \(\lambda >-\lambda _{1}\). If
then (1.1) has a positive solution satisfying \(F_{\mu}(u )\leq c_{\mu}\).
Proposition 3.2
For the case that \(s=0\), the following two statements are true:
(1) Suppose \(0\in\Omega\), \(\mu\in (0,\bar{\mu})\) and \(\lambda >-\lambda _{1}\). If
then (1.1) has a positive solution satisfying \(F_{\mu}(u )\leq c_{\mu}\).
(2) Suppose \(0\in\partial\Omega\), \(\mu\in (0,\bar{\mu})\) and \(\lambda >-\lambda _{1}\). If
then (1.1) has a positive solution satisfying \(F_{\mu}(u )\leq c_{\mu}\).
Proof of Theorem 1.2
By Proposition 3.1, we only need to prove that \(c_{\mu}<\frac{p-s}{ (n-s )p}S_{\mu,s}^{ (n-s )/ (p-s )}\). Let \(\varphi (x )\in C^{\infty}_{0} (\Omega )\), \(\varphi (x )=1\) for \(|x|\leq R\), \(\varphi (x )=0\) for \(|x|\geq2R\), where \(B (0,2R )\subset \Omega \). Set \(v_{\varepsilon }(x )=\varphi (x )V^{\varepsilon }_{\mu}(x )\), we only need to verify
It is easy to get the following estimates (Lemma 2.3 in [17]):
Since \(\max\{p,\frac{n}{b (\mu )},\frac{p (2n-b (\mu )p-p )}{n-p}\}< q<{p^{*} (s )}\) and from (3.9), we have
Similar as the proof of Lemma 8.1 in [20], let \(t_{\varepsilon }\) be the attaining point of \(\max_{t>0}F_{\mu}(tv_{\varepsilon })\), we claim \(t_{\varepsilon }\) is uniformly bounded for \(\varepsilon >0\) small. In fact, we consider the function
Since \(\lim_{t\rightarrow+\infty} g(t)=-\infty\) and \(g(t)>0\) when t is close to 0, so that \(\max_{t>0}g(t)\) is attained for \(t_{\varepsilon }>0\). Then
Since \(\eta>0\), from (3.6)-(3.9) and (3.11), for ε sufficiently small, we have
Thus from (3.8), (3.11), (3.12), \(p< q< p^{*}(s)\) and for ε sufficiently small,
By (3.6)-(3.9), (3.13) and choosing ε small enough, we have
Thus \(t_{\varepsilon }\) is uniformly bounded for \(\varepsilon >0\) small enough.
Then from (3.6)-(3.10), (3.12) and (3.14), for ε sufficiently small, we have
which completes the proof of Theorem 1.2. □
Proof of Theorem 1.3
Since \(S_{0}=S\), \(\lim_{\mu\to\bar{\mu}}S_{\mu}=0\) and \(S_{\mu}\) is continuous with respect to μ, we deduce that there exists \(\mu^{*}\in (0,\bar{\mu} )\) such that \(\frac {1}{2}S^{\frac {n}{p}}\leq S_{\mu}^{\frac{n}{p}}\) for \(0<\mu\leq\mu^{*}\) and \(\frac{1}{2}S^{\frac{n}{p}}>S_{\mu}^{\frac{n}{p}}\) for \(\mu^{*}<\mu<\bar{\mu}\). From this fact, we can define \(\mu^{*}\) as above.
(1) By Proposition 3.2 and the definition of \(\mu^{*}\), it suffices to prove
Let \(B (x,r )\) be a ball containing Ω, \(\partial B (x,r )\cap \partial \Omega \neq\emptyset\), \(x_{0}\in\partial B (x,r )\cap \partial \Omega \). Then without loss of generality we may suppose that \(\Omega \subset\{x\in {\mathbb{R}}^{n},x_{n}>x_{0}^{n}\}\), where \(x_{0}= (x_{1}^{0},x_{2}^{0},\ldots,x_{n}^{0} )\). Since \(\mu>0\), \(\eta>0\), we have
and by Lemma 3.4 in [21], we have
It follows from the definition of \(c_{\mu}\) and (3.16) that (3.15) holds.
(2) For the case that \(\mu^{*}<\mu<\bar{\mu}\), let \(v_{\varepsilon }\) and \(t_{\varepsilon }\) be defined as in the proof of Theorem 1.2. Since \(\mu>0\), \(\eta>0\), we have
By a similar argument as in the proof of (3.5) for the special case \(s=0\), \(\mu=0\), we have
The proof of Theorem 1.3 is complete. □
References
Caffarelli, L, Kohn, R, Nirenberg, L: First order interpolation inequalities with weights. Compos. Math. 53, 259-275 (1984)
Garcia Azorero, JP, Peral Alonso, I: Hardy inequalities and some critical elliptic and parabolic problems. J. Differ. Equ. 144, 441-476 (1998). doi:10.1006/jdeq.1997.3375
Adimurthi, YSL: Critical Sobolev exponent problem in \(\mathbb{R}^{N}\) (\(N\geq 4\)) with Neumann boundary condition. Proc. Indian Acad. Sci. Math. Sci. 100, 275-284 (1990). doi:10.1007/BF02837850
Cao, DM, Peng, SJ: A global compactness result for singular elliptic problems involving critical Sobolev exponent. Proc. Am. Math. Soc. 131, 1857-1866 (2003). doi:10.1090/S0002-9939-02-06729-1
Cao, DM, Peng, SJ: A note of the sign-changing solutions to elliptic problem with critical Sobolev and Hardy terms. J. Differ. Equ. 193, 424-434 (2003). doi:10.1016/S0022-0396(03)00118-9
Chabrowski, J: On the nonlinear Neumann problem involving the critical Sobolev exponent and Hardy potential. Rev. Mat. Complut. 17, 195-227 (2004). doi:10.5209/rev-REMA.2004.v17.n1.16800
Jannelli, E: The role played by space dimension in elliptic critical problems. J. Differ. Equ. 156, 407-426 (1999). doi:10.1006/jdeq.1998.3589
Smets, D: Nonlinear Schrödinger equations with Hardy potential and critical nonlinearities. Trans. Am. Math. Soc. 357, 2909-2938 (2005). doi:10.1090/S0002-9947-04-03769-9
Brezis, H, Lieb, E: A relation between pointwise convergence of functions and convergence of functionals. Proc. Am. Math. Soc. 88, 486-490 (1983). doi:10.2307/2044999
Struwe, M: A global compactness result for elliptic boundary value problems involving limiting nonlinearities. Math. Z. 187, 511-517 (1984). doi:10.1007/BF01174186
Pierrotti, D, Terracini, S: On a Neumann problem with critical exponent and critical nonlinearity on the boundary. Commun. Partial Differ. Equ. 20, 1155-1187 (1995). doi:10.1080/03605309508821128
Deng, YB, Jin, LY, Peng, SJ: A Robin boundary problem with Hardy potential and critical nonlinearities. J. Anal. Math. 104, 125-154 (2008). doi:10.1007/s11854-008-0019-3
Li, YY, Guo, QQ, Niu, PC: Global compactness results for quasilinear elliptic problems with combined critical Sobolev-Hardy terms. Nonlinear Anal. 74, 1445-1464 (2011). doi:10.1016/j.na.2010.10.018
Deng, YB, Jin, LY, Peng, SJ: Solutions of Schrödinger equations with inverse square potential and critical nonlinearity. J. Differ. Equ. 253, 1376-1398 (2012). doi:10.1016/j.jde.2012.05.009
Jin, LY, Deng, YB: A global compact result for a semilinear elliptic problem with Hardy potential and critical nonlinearities on \({\mathbb{R}}^{n}\). Sci. China Ser. A 53(2), 385-400 (2010). doi:10.1007/s11425-009-0075-x
Aubin, T: Problèmes isopérimétriques et espaces de Sobolev, C. R. Acad. Sci. Paris Sér. A-B 280, 279-281 (1975)
Kang, DS: On the quasilinear elliptic problem with a critical Hardy-Sobolev exponent and a Hardy term. Nonlinear Anal. 69, 2432-2444 (2008). doi:10.1016/j.na.2007.08.022
Brezis, H, Nirenberg, L: Positive solutions of nonlinear elliptic equations involving critical exponents. Commun. Pure Appl. Math. 36, 437-477 (1983). doi:10.1002/cpa.3160360405
Lindqvist, P: Notes on the p-Laplace equation. Report. University of Jyväskylä, Department of Mathematics and Statistics, 102. University of Jyväskylä, Jyväskylä (2006)
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). doi:10.1090/S0002-9947-00-02560-5
Abreu, EAM, do Ó, JM, Medeiros, ES: Multiplicity of positive solutions for a class of quasilinear nonhomogeneous Neumann problems. Nonlinear Anal. 60, 1443-1471 (2005). doi:10.1016/j.na.2004.09.058
Wang, XJ: Neumann problem for semilinear elliptic equations involving critical Sobolev exponents. J. Differ. Equ. 93, 283-310 (1991). doi:10.1016/0022-0396(91)90014-Z
Acknowledgements
The authors are grateful to the referees for many valuable suggestions to make the paper more readable. Research was supported by the Natural Science Foundation of China, No. 11101160 and No. 11271141.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors typed, read and approved the final manuscript.
Appendix
Appendix
In this appendix, we give some lemmas and detailed proofs for the convenience of the reader. In the following, assume that \(\Omega \subset {\mathbb{R}}^{n}\) is a bounded domain and \(\partial\Omega\in C^{1}\).
Lemma A.1
Define
then \(\lambda_{1}\) is obtained.
Proof
Let \(\{u_{m}\}\) be the minimizing sequence for \(\lambda_{1}\). That is,
By the Sobolev-Hardy inequality, and \(\mu\le\bar{\mu}\), \(\alpha (x)\ge0\), we have
Then \(u_{m}\) is bounded in \({{W}^{1,p}}(\Omega)\), there exists \(u\in W^{1,p}(\Omega)\) such that, up to a subsequence still denoted by \(u_{m}\),
By the Sobolev imbedding theorem we have
Thus by the Fatou lemma we have
And since \(\lim_{m\rightarrow\infty}\int_{\Omega }{|}{{u}_{m}}{{|}^{p}}\,dx=\int_{\Omega}{|}u{{|}^{p}}\,dx\), from (A.1) (A.2), the proof of the lemma is complete. □
Lemma A.2
For any \(\delta>0\), there exists a constant \(C= C (\delta )>0\) such that
for \(u\in W^{1,p} (\Omega )\).
Proof
The proof is similar to that in [12]. Here for convenience we give the details of the proof. For \(y\in {\mathbb{R}}^{n}\), denote the unit ball centered at y by \(B_{1} (y )\) and domain
where \(h (x' )\) is a \(C^{1}\) function defined in \(\{x'\in {\mathbb{R}}^{n-1}: |x'-y'|<1\}\) with \(y_{n}=h (y_{1},\ldots,y_{n-1} )\) and ∇h vanishing at \(y'= (y_{1},\ldots,y_{n-1} )\), \(h\geq0\). Employing similar arguments in Lemma 2.1 of [22], it can be proved that if \(u\in W^{1,p} (D )\) with \(\operatorname{supp} u\in B_{1} (y )\), then \(\forall \varepsilon >0\), there exists a constant \(r>0\) depending on ε such that
provided \(|\nabla h|\leq r\). In fact, if \(h\equiv0\),
If \(h\geq0\), \(h\not\equiv0\), make the coordinate transformation
which straightens the bottom of D, and write \(z=F(x)\), then
Denote \(D_{1}=F(D)\), then we have
Then (A.3) is obtained provided \(|\nabla h|\leq r\).
Let ε be a small positive constant to be determined later, and let \((\varphi_{k} )_{k=1}^{m}\) be a partition of unity on Ω̅ with \(\operatorname{diam} (\operatorname{supp} \varphi_{k} )\leq r\) for each k, where \(\operatorname{diam} (\operatorname{supp} \varphi_{k} )\) is the diameter of the domain \(\operatorname{supp} \varphi_{k}\). From (A.3), we see
for sufficiently small r. Hence
As a consequence, by choosing ε appropriately, we obtain the desired result. □
Lemma A.3
For \(\lambda >-\lambda _{1}\), the norm
is equivalent to \(\|\cdot\|_{W^{1,p} (\Omega )}\).
Proof
For simplicity, we suppose \(\alpha (x )\equiv0\). We only consider the case \(0<\mu<\bar{\mu}\) since the case \(\mu\leq0\) is similar.
First we have
By Lemma A.2, we deduce that for all \(u\in W^{1,p} (\Omega )\),
Hence, for \(\delta>0\) small enough,
which implies that
for some \(c>0\).
On the other hand, it is easy to check that
for some \(C>0\). As a result, we complete the proof. □
Lemma A.4
Let \(\{u_{m}\}_{m}\) be a Palais-Smale sequence for \(F_{\mu}(u )\) at level \(d\in\mathbb{R}\). Then \(\{u_{m}\}_{m}\) is bounded in \(W^{1,p} (\Omega )\). Moreover, every Palais-Smale sequence for \(F_{\mu}(u)\) at a level zero converges strongly to zero.
Proof
Since \(\{u_{m}\}_{m}\) is a Palais-Smale sequence for \(F_{\mu}(u )\) at level \(d\in\mathbb{R}\), we have
Hence
since \(q, {p^{*} (s )}>p\).
As a result, by Lemma A.3,
Take \(d=0\), from (A.7) then
and from (A.8), we have \(\|{{u}_{m}}\|_{{{W}^{1,p}} ( \Omega )}^{p}\to0\), the lemma is complete. □
Let \(\{u_{m} \}_{m}\) be a Palais-Smale sequence of \(F_{\mu}(u)\), we shall assume that, up to a subsequence,
Then we have the following lemma.
Lemma A.5
\(DF_{\mu}(u_{0} )=0\).
Proof
We have to prove that \(\langle v, DF_{\mu}(u_{0} )\rangle=0\) for every \(v\in W^{1,p} (\Omega )\) as \(m\to+\infty\). Since \(\partial\Omega\in C^{1}\), it is enough to prove that the above relation holds for every restriction to Ω of a \(C^{\infty}_{0} (\mathbb{R}^{n} )\) function ϕ.
From (A.9), the Sobolev imbedding theorem and Lemma 3.2(2) in [20], we have as \(m\to+\infty\)
then
i.e.,
□
Put \(y_{m}=u_{m}-u_{0}\), then \(y_{m}\rightarrow0\) weakly in \(W^{1,p} (\Omega )\). Then we have the following lemma.
Lemma A.6
\(\{y_{m}\}_{m}\) is a Palais-Smale sequence for \(F_{\mu}(u)\) at level \(d_{0}=d-F_{\mu}(u_{0} )\).
Proof
Since \(u_{m}\) is bounded in \(W^{1,p} (\Omega ) \), by the Sobolev-Hardy inequality \(\int_{\Omega}\frac{| u_{m}|^{p^{*}(s)}}{|x|^{s}}\,dx\), \(\int_{\Omega}\frac{| u_{m}|^{p}}{|x|^{p}}\,dx \) is bounded. That is, \(u_{m}\) is bounded in \(L^{p^{*} (s )} (\Omega , |x|^{-s} )\), \(L^{p} (\Omega, |x|^{-p} )\). And as \(m\rightarrow+\infty\)
By the Brezis and Lieb lemma [9] we obtain, as \(m\rightarrow+\infty\),
Similarly,
From (A.10)-(A.14), we obtain \(F_{\mu}(y_{m} )=F_{\mu}(u_{m} )-F_{\mu} (u_{0} )+o (1 )=d-F_{\mu} (u_{0} )+o (1 )\). On the other hand, for any test function \(v\in W^{1,p} (\Omega )\),
that is, \(\langle v, DF_{\mu}(y_{m} )\rangle=\langle v, DF_{\mu}(u_{m} )\rangle-\langle v, DF_{\mu}(u_{0} )\rangle =o (1 )\), thus we complete the proof of the lemma. □
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), 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.
About this article
Cite this article
Jin, L., Li, L. A nonlinear p-Laplace equation with critical Sobolev-Hardy exponents and Robin boundary conditions. Bound Value Probl 2015, 185 (2015). https://doi.org/10.1186/s13661-015-0446-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0446-x