Open Access

Existence of positive solutions for a semilinear Schrödinger equation in \(\mathbb{R}^{N}\)

Boundary Value Problems20152015:9

Received: 8 September 2014

Accepted: 19 December 2014

Published: 16 January 2015


In this paper, we study the existence of multi-bump solutions for the semilinear Schrödinger equation \(-\Delta u+(1+\lambda a(x))u=(1-\lambda b(x))|u|^{p-2}u\), \(\forall u\in H^{1}(\mathbb{R}^{N})\), where \(N\geq1\), \(2< p<2N/(N-2)\) if \(N\geq3\), \(p>2\) if \(N=2\) or \(N=1\), \(a(x)\in C(\mathbb{R}^{N})\) and \(a(x)>0\), \(b(x)\in C(\mathbb{R}^{N})\) and \(b(x)>0\). For any \(n\in\mathbb{N}\), we prove that there exists \(\lambda(n)>0\) such that, for \(0<\lambda<\lambda(n)\), the equation has an n-bump positive solution. Moreover, the equation has more and more multi-bump positive solutions as \(\lambda\rightarrow0\).


multi-bump solution semilinear Schrödinger equation variational methods


35J61 35J20 35Q55 49J40

1 Introduction and main results

In this paper we study the following time independent semilinear Schrödinger equation:
$$ (\mathcal{S}_{\lambda})\quad -\Delta u+\bigl(1+\lambda a(x)\bigr)u=\bigl(1- \lambda b(x)\bigr)|u|^{p-2}u,\quad \forall u\in H^{1}\bigl( \mathbb{R}^{N}\bigr), $$
where \(N\geq1\), \(2< p<2^{*}\), 2 is the critical Sobolev exponent defined by \(2^{*}=\frac{2N}{N-2}\) if \(N\geq3\) and \(2^{*}=\infty\) if \(N=2\) or \(N=1\), and \(\lambda>0\) is a parameter.
This kind of equation arises in many fields of physics. For the following nonlinear Schrödinger equation:
$$ i\hbar\frac{\partial\varphi}{\partial t}=-\frac{\hbar^{2}}{2m}\Delta\varphi+N(x) \varphi-f\bigl(x,\vert \varphi \vert \bigr)\varphi, $$
where i is the imaginary unit, Δ is the Laplacian operator, and \(\hbar>0\) is the Planck constant. A standing wave solution of (1.1) is a solution of the form
$$ \varphi(x,t)=u(x)e^{-\frac{iEt}{\hbar}}, \quad u(x)\in\mathbb{R}. $$
Thus, \(\varphi(x,t)\) solves (1.1) if and only if \(u(x)\) solves the equation
$$ -\hbar^{2}\Delta u+V(x)u=g(x,u), $$
where \(V(x)=N(x)-E\) and \(g(x,u)=f(x,|u|)u\). The function V is called the potential of (1.2). If \(g(x,u)=(1-\lambda b(x))|u|^{p-2}u\), then (1.2) can be written as
$$ -\hbar^{2}\Delta u+V(x)u=\bigl(1-\lambda b(x) \bigr)|u|^{p-2}u. $$
If \(\hbar=1\) and \(V(x)=1+\lambda a(x)\), then (1.3) is reduced to (\(\mathcal{S}_{\lambda}\)).

The nonlinear Schrödinger equation (\(\mathcal{S}_{\lambda}\)) models some phenomena in physics, for example, in nonlinear optics, in plasma physics, and in condensed matter physics, and the nonlinear term simulates the interaction effect, called the Kerr effect in nonlinear optics, among a large number of particles; see, for example, [1, 2]. The case of \(p=4\) and \(N=3\) is of particular physical interest, and in this case the equation is called the Gross-Pitaevskii equation; see [3].

The limiting equation of (\(\mathcal{S}_{\lambda}\)) is
$$ -\Delta u+u=|u|^{p-2}u, \quad u\in H^{1}\bigl( \mathbb{R}^{N}\bigr), $$
as \(\lambda\rightarrow0\). It is well known that (1.4) has a unique positive radial solution z, which decays exponentially at ∞. This z will serve as a building block to construct multi-bump solutions of (\(\mathcal{S}_{\lambda}\)). For \(n\in\mathbb{N}\), let \(y_{1},\ldots,y_{n}\in\mathbb{R}^{N}\) be the sufficiently separated points. The profile of the function \(\sum_{i=1}^{n}z(x-y_{i})\) resembles n bumps and accordingly a solution of (\(\mathcal{S}_{\lambda}\)) which is close to \(\sum_{i=1}^{n}z(x-y_{i})\) in \(H^{1}(\mathbb{R}^{N})\) is called an n-bump solution.

As we know, multi-bump solutions arise as solutions of (1.2) as \(\hbar\rightarrow0\), under the assumption that V has several critical points; see for example [47]. Particularly, in the interesting paper [5], the authors proved that the solutions of (1.2) have several peaks near the point of a maximum of V. These peaks converge to the maximum of V as \(\hbar\rightarrow0\). Actually, there have been enormous studies on the solutions of (1.2) as \(\hbar\rightarrow0\), which exhibit a concentration phenomenon and are called semiclassical states. In the early results, most of the researchers focused on the case \(\inf_{x\in\mathbb{R}^{N}}V(x)>0\) and g is subcritical. Here and in the sequel, we say g is subcritical if \(g(x,u)\leq C|u|^{p-1}\) for \(2\leq p<2^{*}\) with \(2^{*}:=2N/(N-2)\) (\(N\geq3\)), and g is critical or supercritical if \(c_{1}|u|^{2^{*}-1}\leq g(x,u)\leq c_{2}|u|^{2^{*}-1}\) or only \(c_{1}|u|^{2^{*}-1}\leq g(x,u)\) for all large \(|u|\). In the case of \(\inf_{x\in\mathbb{R}^{N}}V(x)>0\), Floer and Weinstein in [8] first considered \(N=1\), \(g(u)=u^{3}\). Using the Lyapunov-Schmidt reduction argument, they proved that the system (1.2) has spike solutions, which concentrate near a nondegenerate critical point of the potential V. This result was extended to the high dimension case with \(N\geq2\) and for \(g(u)=|u|^{p-2}u\) by Oh [7, 9]. If the potential V has a nondegenerate critical point, Rabinowitz [10] obtained the existence result for (1.2) with ħ small, provided that \(0<\inf_{x\in\mathbb{R}^{N}}V(x)<\liminf_{|x|\rightarrow\infty}V(x)\). Using a global variational argument, Del Pino and Felmer [11, 12] established the existence of multi-peak solutions having exactly k maximum points provided that there are k disjoint open bounded sets \(\Omega_{i}\) such that \(\inf_{x\in\partial\Omega_{i}}V(x)>\inf_{x\in\Omega_{i}}V(x)\), each \(\Omega_{i}\) having one peak concentrating at its bottom. For the subcritical case, Refs. [1, 6, 1315] also proved that the solutions of (1.2) are concentrated at critical points of V. There have also been recent results on the existence of solutions concentrating on manifolds; for instance, see [1618] and the references therein.

If g is subcritical, Refs. [19, 20] first obtained the semiclassical solutions of (1.2) with critical frequency, i.e., \(\inf_{\in\mathbb{R}^{N}}V(x)=0\). They exhibited new concentration phenomena for bound states and their results were extended and generalized in [3, 21, 22]. Later, if \(\inf_{\in\mathbb{R}^{N}}V(x)=0\), Ding and Lin [23] obtained semiclassical states of (1.2) when the nonlinearity g is of the critical case. Recently, if the potentials V change sign, that is, \(\inf_{x\in\mathbb{R}^{N}}V(x)<0\), Refs. [24, 25] proved that the system (1.2) has semiclassical states.

Some researchers had also obtained multi-bump solutions for the equation
$$ -\Delta u+V(x)u=f(x,u), \quad u\in H^{1}\bigl( \mathbb{R}^{N}\bigr), $$
where V and f are \(T_{i}\) periodic in \(x_{i}\). Coti Zelati and Rabinowitz [26] first constructed multi-bump solutions for the Schrödinger equation (1.5). The building blocks are one-bump solutions at the mountain pass level and the existence of such solutions as well as multi-bump solutions is guaranteed by a nondegeneracy assumption of the solutions near the mountain pass level. Later, under the same nondegeneracy assumption, Coti Zelati and Rabinowitz in [27] constructed multi-bump solutions for periodic Hamiltonian systems. Multi-bump solutions have also been obtained for asymptotically periodic Schrödinger equations by Alama and Li [28]. For subsequent studies in this direction, for example, see [2935] and the references therein. Recently, Refs. [3638] also proved the existence of multi-bump solutions in other elliptic equations.
In this paper, we are interested in constructing multi-bump solutions of (\(\mathcal{S}_{\lambda}\)) with λ small enough. Similar results have been obtained in [39, 40] for the equations
$$ -\Delta u+\bigl(1+\lambda a(x)\bigr)u=|u|^{p-2}u, \quad u \in H^{1}\bigl(\mathbb{R}^{N}\bigr) $$
$$ -\Delta u+u=\bigl(1-\lambda a(x)\bigr)|u|^{p-2}u,\quad u\in H^{1}\bigl(\mathbb{R}^{N}\bigr). $$
To state the main result for (\(\mathcal{S}_{\lambda}\)), we need the following conditions on the functions a and b:
\(a(x)>0\) and \(a(x) \in C(\mathbb{R}^{N})\), \(b(x)>0\) and \(b(x) \in C(\mathbb{R}^{N})\), and
$$ \lim_{|x|\rightarrow\infty}a(x)=\lim_{|x|\rightarrow\infty}b(x)=0. $$

One of the following holds: (i) \(\lim_{|x|\rightarrow\infty}\frac{\ln(a(x))}{|x|}=0\); (ii) \(\lim_{|x|\rightarrow\infty}\frac{\ln(b(x))}{|x|}=0\).

Theorem 1.1

Suppose that the assumptions (\(\mathcal{R}_{1}\)) and (\(\mathcal {R}_{2}\)) hold. Then for any positive integer n there exists \(\lambda(n)>0\) such that, for \(0<\lambda<\lambda(n)\), the system (\(\mathcal{S}_{\lambda}\)) has an n-bump positive solution. As a consequence, for any positive integer n, there exists \(\lambda_{1}(n)>0\) such that, for \(0<\lambda<\lambda_{1}(n)\), the system (\(\mathcal{S}_{\lambda}\)) has at least n positive solutions.

Similar to [39, 40], the solutions in Theorem 1.1 do not concentrate near any point in the space. Instead, the bumps of the solutions we obtain are separated far apart and the distance between any pair of bumps goes to infinity as \(\lambda\rightarrow0\). The size of each bump does not shrink and is fixed as \(\lambda\rightarrow0\). This is in sharp contrast to the concentration phenomenon described above. This phenomenon has been observed by D’Aprile and Wei in [41] for a Maxwell-Schrödinger system.

We shall use the variational reduction method to prove the main results. Our argument is partially inspired by [3942]. This paper is organized as follows. In Section 2, preliminary results are revisited. We prove Theorem 1.1 in Section 3.

2 Some preliminary works

2.1 Variational framework

In this section, we shall establish a variational framework for the system (\(\mathcal{S}_{\lambda}\)). For convenience of notation, let C and \(C_{i}\) denote various positive constants which may be variant even in the same line. In the Hilbert space \(H^{1}(\mathbb{R}^{N})\), we shall use the usual inner product,
$$ \langle u,v\rangle=\int_{\mathbb{R}^{N}}\nabla u\cdot\nabla v+uv, $$
and the induced norm \(\|u\|=\langle u,u\rangle^{\frac{1}{2}}\). Let \(|\cdot|_{q}\) denote the usual \(L^{q}(\mathbb{R}^{N})\)-norm and \((\cdot, \cdot)_{2}\) be the usual \(L^{2}(\mathbb{R}^{N})\)-inner product. Let \(n\in N\). We shall use \(\sum_{i< j}\) and \(\sum_{i\neq j}\) to represent summation over all subscripts i and j satisfying \(1\leq i< j\leq n\) and \(1\leq i\neq j\leq n\), respectively. Let us first introduce some basic inequalities which will be used later.

The following four lemmas are taken from [39, 40].

Lemma 2.1

For \(q>1\), there exists \(C>0\) such that, for any real numbers a and b,
$$ \bigl\vert |a+b|^{q}-|a|^{q}-|b|^{q}\bigr\vert \leq C|a|^{q-1}|b|+C|b|^{q-1}|a|. $$

Lemma 2.2

For \(q\geq2\), there exists \(C>0\) such that, for any \(a>0\) and \(b\in\mathbb{R}\),
$$ \bigl\vert |a+b|^{q}-a^{q}-qa^{q-1}b\bigr\vert \leq C \bigl(a^{q-2}|b|^{2}+|b|^{q} \bigr). $$

Lemma 2.3

For \(q\geq2\), \(n\in N\), and \(a_{i}\geq0\), \(i=1,\ldots,n\),
$$ \Biggl(\sum_{i=1}^{n}a_{i} \Biggr)^{q}\geq\sum_{i=1}^{n}a_{i}^{q}+(q-1) \sum_{i\neq j}^{n}a_{i}^{q-1}a_{j} $$
$$ \Biggl(\sum_{i=1}^{n}a_{i} \Biggr)^{q}\geq\sum_{i=1}^{n}a_{i}^{q}+q \sum_{1\leq i< j\leq n}^{n}a_{i}^{q-1}a_{j}. $$

Lemma 2.4

For \(q\geq2\), there exists \(C>0\) such that, for any \(a_{i}\geq0\), \(i = 1,\ldots,n\),
$$ \Biggl[ \Biggl(\sum_{i=1}^{n}a_{i} \Biggr)^{q-1}-\sum_{i=1}^{n}a_{i}^{q-1} \Biggr]^{\frac{q}{q-1}}\leq C\sum_{i\neq j}a_{i}^{q-1}a_{j}. $$
Recall that, for \(2< p<2^{*}\), the unique positive solution of the equation
$$ -\Delta u+u=|u|^{p-2}u, \quad u\in H^{1}\bigl( \mathbb{R}^{N}\bigr) $$
has the following properties; see, for example, [40, 4345].

Lemma 2.5

If \(2< p<2^{*}\), then every positive solution of (2.1) has the form \(z_{y}:=z(\cdot-y)\) for some \(y\in\mathbb{R}^{N}\), where \(z\in C^{\infty}(\mathbb{R}^{N})\) is the unique positive radial solution of (2.1) which satisfies, for some \(c>0\),
$$ z(r)r^{\frac{N-1}{2}}e^{r}\rightarrow c>0,\qquad z'(r)r^{\frac{N-1}{2}}e^{r} \rightarrow-c>0, \quad \textit{as } r=|x|\rightarrow\infty. $$
Furthermore, if \(\beta_{1}\leq\cdots\leq\beta_{n}\leq\cdot\cdot\cdot\) are the eigenvalues of the problem
$$ -\Delta v+v=\beta z^{p-2}v, \quad v\in H^{1} \bigl(\mathbb{R}^{N}\bigr), $$
then \(\beta_{1}=1\), \(\beta_{2}=p-1\), and the eigenspaces corresponding to \(\beta_{1}\) and \(\beta_{2}\) are spanned by z and \(\{\partial z/\partial x_{\alpha}\mid \alpha=1,\ldots,N\}\), respectively.
We shall use \(z_{y}\) as building blocks to construct multi-bump solutions of (\(\mathcal{S}_{\lambda}\)). For \(y_{i}, y_{j}\in\mathbb{R}^{N}\), the identity
$$ \int_{\mathbb{R}^{N}}z_{y_{i}}^{p-1}z_{y_{j}} = \langle z_{y_{i}},z_{y_{j}}\rangle=\int_{\mathbb{R}^{N}}z_{y_{i}}z_{y_{j}}^{p-1} $$
will be frequently used in the sequel. The following lemma is a consequence of Lemma 2.4 in [46] (see also Lemma II.2 of [47]).

Lemma 2.6

There exists a positive constant \(c>0\) such that, as \(|y_{i}-y_{j}|\rightarrow\infty\),
$$ \int_{\mathbb{R}^{N}}z_{y_{i}}^{p-1}z_{y_{j}}\sim c|y_{i}-y_{j}|^{-\frac{N-1}{2}}e^{-|y_{i}-y_{j}|}. $$
For \(h>0\), \(n\geq2\), and \(n\in\mathbb{N}\), define
$$ \mathcal {D}_{h}=\bigl\{ (y_{1},\ldots,y_{n})\in \bigl(\mathbb{R}^{N}\bigr)^{n}\mid|y_{i}-y_{j}|>h \text{ for } i\neq j\bigr\} . $$
For convenience, we make the convention
$$ \mathcal{D}_{h}=\mathbb{R}^{N},\quad \text{if } n=1. $$
For \(y=(y_{1},\ldots,y_{n})\in\mathcal{D}_{h}\), denote
$$\begin{aligned}& u_{y}(x)=\sum_{i=1}^{n}z(x-y_{i}), \\& \mathcal{T}_{y}= \biggl\{ \frac{\partial z(\cdot-y_{i})}{\partial x_{\alpha}}\Bigm|\alpha=1,\ldots,N, i=1, \ldots,n \biggr\} \end{aligned}$$
$$ \mathcal{W}_{y}= \bigl\{ v\in H^{1}\bigl( \mathbb{R}^{N}\bigr)\mid\langle v,u\rangle=0, \forall u\in \mathcal{T}_{y} \bigr\} . $$
Then \(H^{1}(\mathbb{R}^{N})=\mathcal{T}_{y}\oplus\mathcal{W}_{y}\). Set \(P_{\lambda}(x)=1-\lambda b(x)\), \(V_{\lambda}(x)=1+\lambda a(x)\), \(\mathcal{N}_{\lambda}=(p-1)(-\Delta+V_{\lambda})^{-1}\), and \(\mathcal{N}_{0}=\mathcal{N}\). For \(y\in\mathcal{D}_{h}\) and \(\varphi\in H^{1}(\mathbb{R}^{N})\), define
$$ \mathcal{K}_{y}=\varphi-\sum_{i=1}^{n} \mathcal {N}\bigl(z^{p-2}(\cdot-y_{i})\varphi\bigr)+\sum _{i=1}^{n}L_{i}\varphi, $$
$$ \sum_{i=1}^{n}L_{i}\varphi=\sum _{i\neq j}\sum_{\alpha=1}^{N} \biggl\langle \mathcal {N}\bigl(z^{p-2}(\cdot-y_{j})\varphi \bigr),\frac{\partial z(\cdot-y_{i})}{\partial x_{\alpha}} \biggr\rangle \biggl\Vert \frac{\partial z(\cdot-y_{i})}{\partial x_{\alpha}}\biggr\Vert ^{-2}\frac{\partial z(\cdot-y_{i})}{\partial x_{\alpha}}. $$
Noting that \(\mathcal{K}_{y}|_{\mathcal{W}_{y}}: \mathcal {W}_{y}\rightarrow\mathcal{W}_{y}\) has the form identity-compact.

Lemma 2.7

(See Lemma 2.3 of [40])

If \(h\rightarrow\infty\), then
$$ |u_{y}|^{p-2}-\sum_{i=1}^{n}z^{p-2}( \cdot-y_{i})\rightarrow0 $$
in \(L^{p/(p-2)}(\mathbb{R}^{N})\) uniformly in \(y\in\mathcal {D}_{h}\).

Lemma 2.8

(See Lemma 2.4 of [40])

Let \(u, v\in H^{1}(\mathbb{R}^{N})\). If \(v\rightarrow0\), then
$$ |u+v|^{p-1}-|u|^{p-2}\rightarrow0 $$
in \(L^{p/(p-2)}(\mathbb{R}^{N})\) uniformly in u in any bounded set.

Lemma 2.9

(See Lemma 2.5 of [40])

There exist \(h_{0}>0\) and \(\eta_{0}>0\) such that, for \(h>h_{0}\) and \(y\in\mathcal {D}_{h}\), \(\mathcal{K}_{y}|_{\mathcal{W}_{y}}: \mathcal {W}_{y}\rightarrow\mathcal{W}_{y}\) is invertible and
$$ \bigl\Vert (\mathcal{K}_{y}|_{\mathcal {W}_{y}})^{-1}\bigr\Vert \leq\eta_{0}. $$

Lemma 2.10

Let \(v\in H^{1}(\mathbb{R}^{N})\). If \(\lambda\rightarrow0\), \(v\rightarrow0\), and \(h\rightarrow\infty\), then
$$ \sup_{y\in\mathcal{D}_{h},\varphi\in H^{1}(\mathbb{R}^{N}),\|\varphi\|=1}\bigl\Vert \mathcal {K}_{y}\varphi- \bigl(\varphi-\mathcal {N}_{\lambda}\bigl(P_{\lambda}|u_{y}+v|^{p-2} \varphi\bigr)\bigr)\bigr\Vert \rightarrow0 $$
$$ \sup_{y\in\mathcal{D}_{h},\varphi\in H^{1}(\mathbb{R}^{N}),\|\varphi\|=1}\bigl\Vert \mathcal {K}_{y}\varphi- \bigl(\varphi-\mathcal {N}\bigl(P_{\lambda}|u_{y}+v|^{p-2} \varphi\bigr)\bigr)\bigr\Vert \rightarrow0. $$


By the definition of \(\mathcal{K}_{y}\), one has
$$\begin{aligned} \mathcal{K}_{y}\varphi-\bigl(\varphi-\mathcal {N}_{\lambda}\bigl(P_{\lambda}|u_{y}+v|^{p-2}\varphi \bigr)\bigr) =&\mathcal {N}_{\lambda}\bigl(|u_{y}+v|^{p-2} \varphi\bigr)-\sum_{j=1}^{n}\mathcal {N} \bigl(z^{p-2}(\cdot-y_{i})\varphi\bigr) \\ &{} -\lambda\mathcal {N}_{\lambda}\bigl(b(x)|u_{y}+v|^{p-2} \varphi\bigr)+\sum_{i=1}^{n}L_{i} \varphi. \end{aligned}$$
Obviously, \(\mathcal{N}_{\lambda}\rightarrow\mathcal{N}\) in \(\mathcal{L}(L^{\frac{p}{p-1}}(\mathbb{R}^{N}), H^{1}(\mathbb{R}^{N}))\) as \(\lambda\rightarrow0\). Therefore, if \(\lambda\rightarrow0\), \(v\in H^{1}(\mathbb{R}^{N})\) with \(v\rightarrow0\), and \(h\rightarrow\infty\), then for \(\psi,\varphi \in H^{1}(\mathbb{R}^{N})\), and uniformly in \(y\in\mathcal{D}_{h}\),
$$\begin{aligned}& \Biggl\vert \Biggl\langle \mathcal {N}_{\lambda} \bigl(|u_{y}+v|^{p-2}\varphi\bigr)-\sum _{j=1}^{n}\mathcal {N}\bigl(z^{p-2}( \cdot-y_{i})\varphi\bigr),\psi \Biggr\rangle \Biggr\vert \\& \quad =\bigl\vert \bigl\langle (\mathcal{N}_{\lambda}-\mathcal {N}) \bigl(|u_{y}+v|^{p-2}\varphi\bigr),\psi \bigr\rangle \bigr\vert +\bigl\vert \bigl\langle \mathcal {N}\bigl(\bigl(|u_{y}+v|^{p-2}-|u_{y}|^{p-2} \bigr)\varphi\bigr),\psi \bigr\rangle \bigr\vert \\& \qquad {}+\Biggl\vert \Biggl\langle \mathcal {N}\Biggl(\Biggl(|u_{y}|^{p-2}- \sum_{j=1}^{n}z^{p-2}( \cdot-y_{j})\Biggr)\varphi\Biggr),\psi \Biggr\rangle \Biggr\vert \\& \quad \leq\bigl\Vert (\mathcal{N}_{\lambda}-\mathcal {N}) \bigl(|u_{y}+v|^{p-2}\varphi\bigr)\bigr\Vert \|\psi\|+C\bigl\vert \bigl(|u_{y}+v|^{p-2}-|u_{y}|^{p-2} \bigr)\bigr\vert _{L^{\frac {p}{p-2}}(\mathbb{R}^{N})} \|\varphi\|\|\psi\| \\& \qquad {}+C\Biggl\vert \Biggl(|u_{y}|^{p-2}-\sum _{j=1}^{n}z^{p-2}(\cdot -y_{j}) \Biggr)\Biggr\vert _{L^{\frac{p}{p-2}}(\mathbb{R}^{N})} \|\varphi\|\|\psi\| \\& \quad \rightarrow0, \end{aligned}$$
as a consequence of Lemmas 2.7 and 2.8. Moreover, by Lemma 2.6, for \(|y_{i}-y_{j}|\rightarrow\infty\) (\(i\neq j\)), one sees that
$$ \sup_{y\in\mathcal {D}_{h}}\Biggl\Vert \sum _{i=1}^{n}L_{i}\varphi\Biggr\Vert \rightarrow0. $$
For \(\psi,\varphi\in H^{1}(\mathbb{R}^{N})\),
$$\begin{aligned} \lambda\bigl\vert \bigl\langle \mathcal {N}_{\lambda} \bigl(b(x)|u_{y}+v|^{p-2}\varphi\bigr),\psi \bigr\rangle \bigr\vert =&\lambda\bigl\vert \bigl\langle (\mathcal{N}_{\lambda}-\mathcal {N}) \bigl(b(x)|u_{y}+v|^{p-2}\varphi\bigr),\psi\bigr\rangle \bigr\vert \\ &{} +\bigl\vert \bigl\langle \mathcal{N}\bigl(b(x)|u_{y}+v|^{p-2} \varphi\bigr),\psi\bigr\rangle \bigr\vert \\ \leq& c\lambda\bigl\Vert (\mathcal{N}_{\lambda}-\mathcal {N}) \bigl(|u_{y}+v|^{p-2}\varphi\bigr)\bigr\Vert \|\psi\| \\ &{} +c\lambda\|u_{y}+v\|\|\varphi\|\|\psi\| \\ \rightarrow&0, \end{aligned}$$
as \(\lambda\rightarrow0\). We infer from (2.3)-(2.6) that, if \(\lambda\rightarrow0\), \(v\in H^{1}(\mathbb{R}^{N})\) with \(v\rightarrow0\), and \(h\rightarrow\infty\),
$$ \sup_{y\in\mathcal{D}_{h},\varphi\in H^{1}(\mathbb{R}^{N}),\|\varphi\|=1}\bigl\Vert \mathcal {K}_{y}\varphi- \bigl(\varphi-\mathcal {N}_{\lambda}\bigl(P_{\lambda}|u_{y}+v|^{p-2} \varphi\bigr)\bigr)\bigr\Vert \rightarrow0. $$
Similar to above arguments, one can easily acquire the second conclusion of this lemma. □
Clearly, the energy functional corresponding to the system (\(\mathcal{S}_{\lambda}\)) is defined by
$$ \Phi_{\lambda}(u)=\frac{1}{2}\int_{\mathbb{R}^{N}}\bigl(| \nabla u|^{2}+V_{\lambda}|u|^{2}\bigr)-\frac{1}{p} \int_{\mathbb {R}^{N}}P_{\lambda}|u|^{p}\quad \text{for } u \in H^{1}\bigl(\mathbb{R}^{N}\bigr), $$
where \(V_{\lambda}=(1+\lambda a(x))\) and \(P_{\lambda}=(1-\lambda b(x))\). It is easy to see that the critical points of \(\Phi_{\lambda}\) are solutions of (\(\mathcal{S}_{\lambda}\)). In the following, we shall use a Lyapunov-Schmidt reduction argument to find critical points of \(\Phi_{\lambda}\). The first procedure is to convert the problem of finding critical points of \(\Phi_{\lambda}\) to a finite dimensional problem, which consists of the following two lemmas.

Lemma 2.11

There exist \(\lambda_{0}>0\) and \(H_{0}>0\) such that, for \(0<\lambda<\lambda_{0}\) and \(h>H_{0}\), there exists a \(C^{1}\)-map
$$ v_{h,\lambda}:\mathcal{D}_{h}\rightarrow H^{1}\bigl( \mathbb{R}^{N}\bigr), $$
depending on h and λ, such that
  1. (i)

    for any \(y\in\mathcal{D}_{h}\), \(v_{h,\lambda}\in \mathcal {W}_{y}\);

  2. (ii)

    for any \(y\in\mathcal{D}_{h}\), \(\mathcal {P}_{y}\nabla\Phi_{\lambda}(u_{y}+v_{h,\lambda})=0\), where \(\mathcal {P}_{y}:H^{1}(\mathbb{R}^{N})\rightarrow\mathcal{W}_{y}\) is the orthogonal projection onto \(\mathcal{W}_{y}\);

  3. (iii)

    \(\lim_{\lambda\rightarrow0,h\rightarrow\infty}\| v_{h,\lambda,y}\|=0\) uniformly in \(y\in\mathcal{D}_{h}\); \(\lim_{|y|\rightarrow\infty}\|v_{h,\lambda,y}\|=0\) if \(n=1\).


Decreasing \(\lambda_{0}\) and increasing \(H_{0}\) if necessary, we have the following result.

Lemma 2.12

For \(0<\lambda<\lambda_{0}\) and \(h>H_{0}\), if \(y^{0}=(y_{1}^{0},\ldots,y_{n}^{0})\) is a critical point of \(\Phi_{\lambda}(u_{y}+v_{h,\lambda,y})\), then \(u_{y^{0}}+v_{h,\lambda,y^{0}}\) is a critical point of \(\Phi_{\lambda}\).

Using Lemmas 2.9 and 2.10, repeating the arguments of Lemmas 2.6 and 2.7 in [40], one can easily prove Lemmas 2.11 and 2.12.

2.2 Estimates on \(\Phi_{\lambda}(u_{y}+v_{h,\lambda,y})\) and \(v_{h,\lambda,y}\)

In order to prove Theorem 1.1 in the next section. We need first to estimate \(\Phi_{\lambda}(u_{y}+v_{h,\lambda,y})\) and \(v_{h,\lambda,y}\). Denote \(c_{0}=\Phi_{0}(z)\), where \(\Phi_{0}\) is the functional \(\Phi_{\lambda}\) with \(\lambda=0\). Then
$$ c_{0}=\Phi_{0}(z)=\frac{1}{2}\int _{\mathbb{R}^{N}}\bigl(|\nabla z|^{2}+|z|^{2}\bigr)- \frac{1}{p}\int_{\mathbb{R}^{N}}|z|^{p}. $$
In the following, we first estimate \(\Phi_{\lambda}(u_{y}+v_{h,\lambda,y})\). Note that
$$\begin{aligned} \Phi_{\lambda}(u_{y}+v_{h,\lambda,y}) =& \frac{1}{2}\int_{\mathbb {R}^{N}}|\nabla u_{y}+\nabla v_{h,\lambda,y}|^{2}+\frac{1}{2}\int_{\mathbb{R}^{N}} \bigl(1+\lambda a(x)\bigr)|u_{y}+v_{h,\lambda,y}|^{2} \\ &{} -\frac{1}{p}\int_{\mathbb{R}^{N}}|u_{y}+v_{h,\lambda,y}|^{p} +\frac{\lambda}{p}\int_{\mathbb{R}^{N}}b(x)|u_{y}+v_{h,\lambda,y}|^{p}. \end{aligned}$$
A direct computation shows that
$$\begin{aligned}& \Phi_{\lambda}(u_{y}+v_{h,\lambda,y}) \\& \quad = \frac{1}{2}\sum_{i=1}^{n}\int _{\mathbb{R}^{N}}\bigl\vert \nabla z(x-y_{i})\bigr\vert ^{2}+\sum_{i=1}^{n}\int _{\mathbb{R}^{N}}\nabla z(x-y_{i})\cdot\nabla(v_{h,\lambda,y})+ \frac{1}{2}\int_{\mathbb {R}^{N}}\bigl\vert \nabla(v_{h,\lambda,y}) \bigr\vert ^{2} \\& \qquad {} +\sum_{i< j}\int_{\mathbb{R}^{N}}\nabla z(x-y_{i})\cdot\nabla z(x-y_{j})+\frac{1}{2}\sum _{i=1}^{n}\int_{\mathbb{R}^{N}}\bigl\vert z(x-y_{i})\bigr\vert ^{2} +\frac{1}{2}\int _{\mathbb{R}^{N}}|v_{h,\lambda,y}|^{2} \\& \qquad {} +\sum_{i=1}^{n}\int _{\mathbb{R}^{N}}z(x-y_{i})\cdot v_{h,\lambda,y}+\sum _{i<j}\int_{\mathbb{R}^{N}}z(x-y_{i})\cdot z(x-y_{j}) \\& \qquad {} +\frac{\lambda}{2}\int_{\mathbb{R}^{N}}a(x)u_{y}^{2}+ \lambda \int_{\mathbb{R}^{N}}a(x)u_{y}v_{h,\lambda,y} + \frac{\lambda}{2}\int_{\mathbb{R}^{N}}a(x) (v_{h,\lambda,y})^{2} \\& \qquad {} -\frac{1}{p}\int_{\mathbb{R}^{N}}|u_{y}+v_{h,\lambda,y}|^{p} +\frac{\lambda}{p}\int_{\mathbb{R}^{N}}b(x)|u_{y}+v_{h,\lambda,y}|^{p}. \end{aligned}$$
By Lemma 2.11, we may assume that \(\|v_{h,\lambda,y}\|\leq1\). Taking \(a=u_{y}\) and \(b=v_{h,\lambda,y}\) in Lemma 2.2, we have
$$ \frac{1}{p}\int_{\mathbb{R}^{N}}|u_{y}+v_{h,\lambda,y}|^{p}= \frac {1}{p}\int_{\mathbb{R}^{N}}|u_{y}|^{p} + \int_{\mathbb{R}^{N}}(u_{y})^{p-1}v_{h,\lambda,y}+O \bigl(\|v_{h,\lambda ,y}\|^{2}\bigr) $$
$$ \frac{1}{p}\int_{\mathbb{R}^{N}}b(x)|u_{y}+v_{h,\lambda ,y}|^{p}= \frac{1}{p}\int_{\mathbb{R}^{N}}b(x)|u_{y}|^{p} +\int_{\mathbb{R}^{N}}b(x) (u_{y})^{p-1}v_{h,\lambda,y}+O \bigl(\| v_{h,\lambda,y}\|^{2}\bigr). $$
Here and in what follows, \(O(\|v_{h,\lambda,y}\|^{2})\) satisfies
$$ \bigl\vert O\bigl(\|v_{h,\lambda,y}\|^{2}\bigr)\bigr\vert \leq C \|v_{h,\lambda,y}\|^{2} $$
for some positive constant C independent of h, λ, y. Therefore, substituting (2.9) and (2.10) into (2.8), it follows that
$$\begin{aligned}& \Phi_{\lambda}(u_{y}+v_{h,\lambda,y}) \\& \quad = \frac{1}{2}\sum _{i=1}^{n}\int_{\mathbb{R}^{N}}\bigl\vert \nabla z(x-y_{i})\bigr\vert ^{2}+\sum _{i=1}^{n}\int_{\mathbb{R}^{N}}\nabla z(x-y_{i})\cdot\nabla(v_{h,\lambda,y})+\frac{1}{2}\int _{\mathbb {R}^{N}}\bigl\vert \nabla(v_{h,\lambda,y})\bigr\vert ^{2} \\& \qquad {} +\sum_{i< j}\int_{\mathbb{R}^{N}}\nabla z(x-y_{i})\cdot\nabla z(x-y_{j})+\frac{1}{2}\sum _{i=1}^{n}\int_{\mathbb{R}^{N}}\bigl\vert z(x-y_{i})\bigr\vert ^{2} +\frac{1}{2}\int _{\mathbb{R}^{N}}|v_{h,\lambda,y}|^{2} \\& \qquad {} +\sum_{i=1}^{n}\int _{\mathbb{R}^{N}}z(x-y_{i})\cdot v_{h,\lambda,y}+\sum _{i<j}\int_{\mathbb{R}^{N}}z(x-y_{i})\cdot z(x-y_{j}) \\& \qquad {} +\frac{\lambda}{2}\int_{\mathbb{R}^{N}}a(x)u_{y}^{2}+ \lambda \int_{\mathbb{R}^{N}}a(x)u_{y}v_{h,\lambda,y} + \frac{\lambda}{2}\int_{\mathbb{R}^{N}}a(x) (v_{h,\lambda,y})^{2} \\& \qquad {} -\frac{1}{p}\int_{\mathbb{R}^{N}}(u_{y})^{p} -\int_{\mathbb{R}^{N}}(u_{y})^{p-1}v_{h,\lambda,y} + \frac{\lambda}{p}\int_{\mathbb{R}^{N}}b(x) (u_{y})^{p} \\& \qquad {} +\int_{\mathbb{R}^{N}}b(x) (u_{y})^{p-1}v_{h,\lambda,y}+O \bigl(\| v_{h,\lambda,y}\|^{2}\bigr). \end{aligned}$$
$$\begin{aligned} \mathcal{K}_{y} =&-\sum_{i=1}^{n} \int_{\mathbb{R}^{N}}\nabla z(x-y_{i})\cdot \nabla(v_{h,\lambda,y})-\frac{1}{2}\int_{\mathbb {R}^{N}}\bigl\vert \nabla(v_{h,\lambda,y})\bigr\vert ^{2} \\ &{}-\sum _{i< j}\int_{\mathbb {R}^{N}}\nabla z(x-y_{i}) \cdot\nabla z(x-y_{j}) \\ &{} -\frac{1}{2}\int_{\mathbb{R}^{N}}(v_{h,\lambda,y})^{2} -\sum_{i=1}^{n}\int_{\mathbb{R}^{N}}z(x-y_{i}) \cdot v_{h,\lambda,y}-\sum_{i<j}\int _{\mathbb{R}^{N}}z(x-y_{i})\cdot z(x-y_{j}) \\ &{} -\lambda\int_{\mathbb{R}^{N}}a(x)u_{y}v_{h,\lambda,y} - \frac{\lambda}{2}\int_{\mathbb{R}^{N}}a(x) (v_{h,\lambda,y})^{2} +\frac{1}{p}\int_{\mathbb{R}^{N}}(u_{y})^{p} +\int_{\mathbb{R}^{N}}(u_{y})^{p-1}v_{h,\lambda,y} \\ &{} -\lambda\int_{\mathbb{R}^{N}}b(x) (u_{y})^{p-1}v_{h,\lambda,y} -\frac{1}{p}\sum_{i=1}^{n}\int _{\mathbb{R}^{N}}z^{p}(x-y_{i}) +O\bigl( \|v_{h,\lambda,y}\|^{2}\bigr). \end{aligned}$$
$$ \Phi_{\lambda}(u_{y}+v_{h,\lambda,y})=nc_{0}+ \frac{\lambda }{2}\int_{\mathbb{R}^{N}}a(x)u_{y}^{2} +\frac{\lambda}{p}\int_{\mathbb{R}^{N}}b(x)u_{y}^{p}- \mathcal {K}_{y}. $$
Thus, in order to estimate the functional \(\Phi_{\lambda}(u_{y}+v_{h,\lambda,y})\), it suffices to get the estimations for \(\mathcal{K}_{y}\). Since
$$ \int_{\mathbb{R}^{N}}\nabla z(x-y_{i})\cdot\nabla v+\int _{\mathbb{R}^{N}}z(x-y_{i})v=\int_{\mathbb {R}^{N}}z^{p-1}(x-y_{i})v, \quad \forall v\in H^{1}\bigl(\mathbb{R}^{N}\bigr), $$
\(\mathcal{K}_{y}\) can be rewritten as
$$\begin{aligned} \mathcal{K}_{y} =&-\sum_{i=1}^{n} \int_{\mathbb{R}^{N}} z^{p-1}(x-y_{i})v_{h,\lambda,y}- \sum_{i< j}\int_{\mathbb{R}^{N}} z^{p-1}(x-y_{i})z(x-y_{j}) \\ &{} -\lambda\int_{\mathbb{R}^{N}}a(x)u_{y}v_{h,\lambda,y} - \frac{\lambda}{2}\int_{\mathbb{R}^{N}}a(x) (v_{h,\lambda,y})^{2} +\frac{1}{p}\int_{\mathbb{R}^{N}}(u_{y})^{p} +\int_{\mathbb{R}^{N}}(u_{y})^{p-1}v_{h,\lambda,y} \\ &{} -\lambda\int_{\mathbb{R}^{N}}b(x) (u_{y})^{p-1}v_{h,\lambda,y} -\frac{1}{p}\sum_{i=1}^{n}\int _{\mathbb{R}^{N}}z^{p}(x-y_{i}) +O\bigl( \|v_{h,\lambda,y}\|^{2}\bigr)+\lambda O\bigl(\|v_{h,\lambda,y} \|^{2}\bigr). \end{aligned}$$
Moreover, by the Hölder inequality one has
$$\begin{aligned} \lambda\biggl\vert \int_{\mathbb{R}^{N}}a(x)u_{y}v_{h,\lambda,y} \biggr\vert \leq&\lambda C\biggl(\int_{\mathbb{R}^{N}}a(x)u_{y}^{2} \biggr)^{\frac{1}{2}}\|v_{h,\lambda ,y}\| \\ \leq& C\lambda^{2}\int _{\mathbb{R}^{N}}a(x)u_{y}^{2}+C\|v_{h,\lambda,y} \|^{2} \end{aligned}$$
$$\begin{aligned} \lambda\biggl\vert \int_{\mathbb{R}^{N}}b(x) (u_{y})^{p-1}v_{h,\lambda,y} \biggr\vert \leq& C\lambda\biggl(\int_{\mathbb{R}^{N}}b(x)u_{y}^{p} \biggr)^{\frac{p-1}{p}}\| v_{h,\lambda,y}\| \\ \leq& C\lambda^{2}\int _{\mathbb{R}^{N}}b(x)u_{y}^{p}+C\|v_{h,\lambda,y} \|^{2}. \end{aligned}$$
Therefore, we have
$$\begin{aligned} \mathcal {K}_{y} =&\int_{\mathbb{R}^{N}}(u_{y})^{p-1}v_{h,\lambda,y}- \sum_{i=1}^{n}\int_{\mathbb{R}^{N}} z^{p-1}(x-y_{i})v_{h,\lambda,y}-\sum _{i< j}\int_{\mathbb{R}^{N}} z^{p-1}(x-y_{i})z(x-y_{j}) \\ &{} +\frac{1}{p}\int_{\mathbb{R}^{N}}(u_{y})^{p} -\frac{1}{p}\sum_{i=1}^{n}\int _{\mathbb{R}^{N}}z^{p}(x-y_{i}) +O\bigl( \|v_{h,\lambda,y}\|^{2}\bigr)+\lambda O\bigl(\|v_{h,\lambda,y} \|^{2}\bigr) \\ &{} +O \biggl(\lambda^{2} \biggl(\int_{\mathbb{R}^{N}}a(x)u_{y}^{2} +\int_{\mathbb{R}^{N}}b(x)u_{y}^{p} \biggr) \biggr). \end{aligned}$$

Lemma 2.13

There exist \(h_{0}>0\), \(\lambda_{0}>0\), and \(C_{i}>0\) (\(i=1,2,3\)) such that, if \(0<\lambda\leq\lambda_{0}\), \(h\geq h_{0}\), and \(y\in\mathcal{D}_{h}\), then \(\mathcal{K}_{y}\) satisfies
$$\begin{aligned}& \mathcal{K}_{y}\geq C\sum_{i< j}\int _{\mathbb{R}^{N}} z^{p-1}(x-y_{i})z(x-y_{j})-C_{1} \|v_{h,\lambda,y}\|^{2}-\lambda C_{2}\|v_{h,\lambda,y} \|^{2}-C_{3}\lambda^{2}, \\& \mathcal{K}_{y}\leq C \biggl(\sum_{i<j} \int_{\mathbb{R}^{N}} z^{p-1}(x-y_{i})z(x-y_{j})+ \|v_{h,\lambda,y}\|^{2}+\lambda \|v_{h,\lambda,y}\|^{2}- \lambda^{2} \biggr). \end{aligned}$$


From Lemmas 2.4 and 2.6, one sees that
$$\begin{aligned}& \Biggl\vert \int_{\mathbb{R}^{N}}(u_{y})^{p-1}v_{h,\lambda,y}- \sum_{i=1}^{n}\int_{\mathbb{R}^{N}} z^{p-1}(x-y_{i})v_{h,\lambda,y}\Biggr\vert \\& \quad \leq \Biggl(\int_{\mathbb{R}^{N}} \Biggl((u_{y})^{p-1}- \sum_{i=1}^{n}z^{p-1}(x-y_{i}) \Biggr)^{\frac{p}{p-1}} \Biggr)^{\frac{p-1}{p}} \biggl(\int_{\mathbb{R}^{N}}|v_{h,\lambda,y}|^{p} \biggr)^{\frac {1}{p}} \\& \quad \leq C \biggl(\int_{\mathbb{R}^{N}}\sum _{i\neq j}z^{p-1}(x-y_{i})z(x-y_{j}) \biggr)^{\frac{p-1}{p}}\|v_{h,\lambda ,y}\| \\& \quad \leq C \biggl(\int_{\mathbb{R}^{N}}\sum _{i\neq j}z^{p-1}(x-y_{i})z(x-y_{j}) \biggr)^{\frac{2(p-1)}{p}}+C\| v_{h,\lambda,y}\|^{2} \\& \quad \leq C \biggl(\int_{\mathbb{R}^{N}}\sum _{i\neq j}z^{p-1}(x-y_{i})z(x-y_{j}) \biggr)o(1)+C\|v_{h,\lambda,y}\|^{2}. \end{aligned}$$
Moreover, by Lemma 2.3, we have
$$ \int_{\mathbb{R}^{N}}u_{y}^{p}\geq \sum_{i=1}^{n}\int_{\mathbb {R}^{N}}z^{p}(x-y_{i}) +2(p-1)\sum_{1\leq i< j\leq n}\int_{\mathbb{R}^{N}}z^{p-1}(x-y_{i})z(x-y_{j}) $$
and by Lemma 2.1, one has
$$ \int_{\mathbb{R}^{N}}u_{y}^{p}\leq \sum_{i=1}^{n}\int_{\mathbb {R}^{N}}z^{p}(x-y_{i}) +C\sum_{1\leq i< j\leq n}\int_{\mathbb{R}^{N}}z^{p-1}(x-y_{i})z(x-y_{j}). $$
Here the fact
$$ \int_{\mathbb{R}^{N}}z^{p-1}(x-y_{i})z(x-y_{j})= \int_{\mathbb {R}^{N}}z(x-y_{i})z^{p-1}(x-y_{j}) $$
has been used. Substituting (2.13)-(2.15) into (2.12), one can easily get the desired conclusion. □

Next, we are in a position to estimate \(\|v_{h,\lambda,y}\|\).

Lemma 2.14

\(\|v_{h,\lambda,y}\|\) satisfies
$$\begin{aligned} \|v_{h,\lambda,y}\| \leq& C\lambda \biggl(\int_{\mathbb{R}^{N}}a(x)u_{y}^{2} \biggr)^{\frac{1}{2}} +C\lambda \biggl(\int_{\mathbb{R}^{N}}b(x)u_{y}^{p} \biggr)^{\frac{p-1}{p}} \\ &{}+C \biggl(\sum_{i< j}\int _{\mathbb {R}^{N}}z^{p-1}(x-y_{i})z(x-y_{j}) \biggr)^{\frac{p-1}{p}}. \end{aligned}$$


By Lemma 2.11, for \(v\in\mathcal{W}_{y}\), one has
$$\begin{aligned} 0 =& \bigl\langle \nabla\Phi_{\lambda}(u_{y}+v_{h,\lambda ,y}),v \bigr\rangle \\ =&\sum_{i=1}^{n}\int_{\mathbb{R}^{N}} \nabla z(x-y_{i})\cdot\nabla v+\int_{\mathbb{R}^{N}} \nabla(v_{h,\lambda,y})\cdot\nabla v \\ &{} +\sum_{i=1}^{n}\int _{\mathbb{R}^{N}}z(x-y_{i})v+\int_{\mathbb{R}^{N}}v_{h,\lambda,y}v +\lambda\sum_{i=1}^{n}\int _{\mathbb{R}^{N}}a(x)z(x-y_{i})v \\ &{} +\lambda\int_{\mathbb{R}^{N}}a(x)v_{h,\lambda,y}v -\int _{\mathbb{R}^{N}}P_{\lambda}|u_{y}+v_{h,\lambda ,y}|^{p-2}(u_{y}+v_{h,\lambda,y})v. \end{aligned}$$
There exists \(\theta\in(0,1)\) such that
$$\begin{aligned}& \int_{\mathbb{R}^{N}}P_{\lambda}|u_{y}+v_{h,\lambda ,y}|^{p-2}(u_{y}+v_{h,\lambda,y})v \\& \quad =(p-1)\int_{\mathbb{R}^{N}}P_{\lambda}|u_{y}+ \theta v_{h,\lambda,y}|^{p-2}v_{h,\lambda,y}v +\int_{\mathbb{R}^{N}}P_{\lambda}u_{y}^{p-1}v. \end{aligned}$$
Substituting (2.17) into (2.16) yields
$$\begin{aligned}& \int_{\mathbb{R}^{N}} \nabla(v_{h,\lambda,y})\cdot\nabla v+\int _{\mathbb{R}^{N}}v_{h,\lambda,y}v-(p-1)\int_{\mathbb {R}^{N}}P_{\lambda}|u_{y}+ \theta v_{h,\lambda,y}|^{p-2}v_{h,\lambda,y}v \\& \quad =-\lambda\int_{\mathbb{R}^{N}}a(x)v_{h,\lambda,y}v-\lambda\sum _{i=1}^{n}\int_{\mathbb{R}^{N}}a(x)z(x-y_{i})v \\& \qquad {}+\int_{\mathbb{R}^{N}}P_{\lambda}u_{y}^{p-1}v- \sum_{i=1}^{n}\int_{\mathbb{R}^{N}}z^{p-1}(x-y_{i})v. \end{aligned}$$
Using the operator \(\mathcal{N}\) and \(\mathcal{P}_{y}\) defined in Section 2.1, we have
$$\begin{aligned}& \bigl\langle v_{h,\lambda,y}-\mathcal{P}_{y}\mathcal {N}\bigl(P_{\lambda}|u_{y}+\theta v_{h,\lambda,y}|^{p-2}v_{h,\lambda,y} \bigr),v\bigr\rangle \\& \quad = -\lambda\int_{\mathbb{R}^{N}}a(x)v_{h,\lambda,y}v- \lambda\sum_{i=1}^{n}\int _{\mathbb{R}^{N}}a(x)z(x-y_{i})v \\& \qquad {} +\int_{\mathbb{R}^{N}}P_{\lambda}u_{y}^{p-1}v- \sum_{i=1}^{n}\int_{\mathbb{R}^{N}}z^{p-1}(x-y_{i})v. \end{aligned}$$
By Lemma 2.4, one has
$$\begin{aligned}& \Biggl\vert \int_{\mathbb{R}^{N}}P_{\lambda}u_{y}^{p-1}v- \sum_{i=1}^{n}\int_{\mathbb{R}^{N}}z^{p-1}(x-y_{i})v \Biggr\vert \\& \quad \leq \Biggl(\int_{\mathbb{R}^{N}}\Biggl\vert u_{y}^{p-1}-\sum_{i=1}^{n}z^{p-1}(x-y_{i}) \Biggr\vert |v| \Biggr)+\lambda\int_{\mathbb {R}^{N}}bu_{y}^{p-1}|v| \\& \quad \leq C \biggl(\int_{\mathbb{R}^{N}}\sum_{i\neq j}z^{p-1}(x-y_{i})z(x-y_{j}) \biggr)^{\frac{p-1}{p}}\|v\| +\lambda C \biggl(\int_{\mathbb{R}^{N}}bu_{y}^{p} \biggr)^{\frac{p-1}{p}}\|v\|. \end{aligned}$$
Therefore, choosing \(v=v_{h,\lambda,y}-\mathcal{P}_{y}\mathcal {N}(P_{\lambda}|u_{y}+\theta v_{h,\lambda,y}|^{p-2}v_{h,\lambda,y})\in\mathcal{W}_{y}\) in (2.18) and using Lemmas 2.9 and 2.10, we obtain, for some \(\eta>0\),
$$\begin{aligned} \begin{aligned} \eta\|v_{h,\lambda,y}\|\|v\|\leq{}&\lambda\int_{\mathbb {R}^{N}}a(x)|v_{h,\lambda,y}v| -\lambda\sum_{i=1}^{n}\int _{\mathbb{R}^{N}}a(x)z(x-y_{i})|v| \\ &{}+C \biggl(\int_{\mathbb{R}^{N}}\sum_{i\neq j}z^{p-1}(x-y_{i})z(x-y_{j}) \biggr)^{\frac{p-1}{p}}\|v\|+\lambda C \biggl(\int_{\mathbb{R}^{N}}bu_{y}^{p} \biggr)^{\frac{p-1}{p}}\|v\|, \end{aligned} \end{aligned}$$
which implies, for \(\lambda>0\) sufficiently small,
$$\begin{aligned} \|v_{h,\lambda,y}\|\|v\| \leq& C\lambda\biggl(\int_{\mathbb{R}^{N}}a(x)u_{y}^{2} \biggr)^{\frac{1}{2}}\|v\| +\lambda C\biggl(\int_{\mathbb{R}^{N}}bu_{y}^{p} \biggr)^{\frac{p-1}{p}}\|v\| \\ &{}+C\biggl(\int_{\mathbb{R}^{N}}\sum_{i\neq j}z^{p-1}(x-y_{i})z(x-y_{j}) \biggr)^{\frac{p-1}{p}}\|v\|. \end{aligned}$$
Thus, we obtain the result. □

3 Proof of Theorem 1.1

The main purpose of this section is to prove Theorem 1.1. For this, we shall prove that, for \(\lambda>0\) small enough, we can choose \(\mu(\lambda)\) large enough such that the function \(\Phi_{\lambda}(u_{y}+v_{h,\lambda,y})\) defined in Section 2.1 reaches its maximum in \(\mathcal{D}_{\mu}\) at some point \(y^{0}=(y_{1}^{0},\ldots,y_{n}^{0})\). Then \(u_{y^{0}}+v_{h,\lambda,y^{0}}\) is a solution of (\(\mathcal {S}_{\lambda}\)) by Lemma 2.12.

We shall mainly consider the case \(n\geq2\) since the case \(n=1\) is much easier. Define
$$ \gamma= \sup_{y\in(\mathbb{R}^{N})^{n}} \biggl(\int_{\mathbb{R}^{N}}b(x)u_{y}^{p}(x)+ \int_{\mathbb {R}^{N}}a(x)u_{y}^{2}(x) \biggr). $$
By Lemmas 2.1 and 2.2, there exist \(\lambda'_{0}>0\), \(h'_{0}>\), and \(C'_{i}>0\) (\(i=1,2,3\)) such that, if \(0<\lambda\leq\lambda'_{0}\), \(h\geq h'_{0}\), and \(y\in\mathcal {D}_{h}\), then \(\mathcal{K}_{y}\) satisfies
$$ \mathcal{K}_{y}\geq C'_{1}\sum _{i< j}\int_{\mathbb{R}^{N}} z^{p-1}(x-y_{i})z(x-y_{j})-C'_{2} \lambda^{2}-C'_{3}\lambda^{3}. $$
Here and in the sequel, \(C_{i}\), \(C'_{i}\), and C are various positive constants independent of λ. We choose a number k such that \(k>\max\{1,12\gamma/C'_{1}\}\). Then, for any λ satisfying
$$ 0<\lambda<\lambda'=\min \biggl\{ \frac{\|z\|_{L^{p}}}{k}, \frac {kC'_{1}}{2C'_{2}},\sqrt{\frac{kC'_{1}}{4C'_{3}}},\lambda_{0} \biggr\} , $$
there exists \(\mu^{*}=\mu^{*}(\lambda)>\mu=\mu(\lambda)>0\) such that, for \(w\in\mathbb{R}^{N}\) with \(|w|\in[\mu^{*},\mu]\),
$$ k\lambda\leq\int_{\mathbb{R}^{N}}z^{p-1}(x)z(x-w) \leq2k\lambda. $$
$$ \Gamma_{\lambda}=\bigl\{ \Phi_{\lambda}(u_{y}+v_{h,\lambda,y})\mid y \in \mathcal {D}_{\mu}\bigr\} . $$
To obtain an n-bump solution of (\(\mathcal{S}_{\lambda}\)), it suffices to prove that \(\Gamma_{\lambda}\) is achieved in the interior of \(\mathcal{D}_{\mu}\).

Lemma 3.1

Assume \(n\geq2\). Then there exists \(\lambda_{1}\in(0,\lambda')\) such that, for \(0<\lambda<\lambda_{1}\),
$$ \Gamma_{\lambda}>\sup \bigl\{ \Phi_{\lambda}(u_{y}+v_{h,\lambda ,y})\mid y \in\mathcal {D}_{\mu} \textit{ and } |y_{i}-y_{j}| \in\bigl[\mu^{*},\mu\bigr] \textit{ for some } i\neq j \bigr\} . $$


Note that \(\mu(\lambda)\rightarrow\infty\) as \(\lambda\rightarrow0\). By Lemma 2.2 and (3.3) we see that, if \(y\in\mathcal{D}_{\mu(\lambda)}\), then
$$ \|v_{\mu,\lambda,y}\|\leq C\lambda^{\frac{p-1}{p}}. $$
Suppose that \(y=(y_{1},\ldots,y_{n})\in\mathcal {D}_{\mu(\lambda)}\) and \(|y_{i}-y_{j}|\in[\mu(\lambda),\mu^{*}(\lambda)]\) for some \(i\neq j\). By (3.1)-(3.3), one has
$$ \mathcal{K}_{y}\geq C'_{1}k \lambda-C'_{2}\lambda^{2}-C'_{3} \lambda^{3}\geq\frac {1}{2}C'_{1}k \lambda-C'_{3}\lambda^{3} \geq \frac{1}{4}C'_{1}k\lambda\geq3\gamma\lambda. $$
By (2.11) and (3.5), for \(\lambda>0\) small enough, we obtain
$$\begin{aligned} \Phi_{\lambda}(u_{y}+v_{\mu,\lambda,y}) =&nc_{0}+ \frac{\lambda }{2}\int_{\mathbb{R}^{N}}a(x)u_{y}^{2} +\frac{\lambda}{p}\int_{\mathbb{R}^{N}}b(x)u_{y}^{p}- \mathcal {K}_{y} \\ \leq& nc_{0}+\gamma\lambda-3\gamma\lambda=nc_{0}-2\gamma \lambda \end{aligned}$$
for \(y=(y_{1},\ldots,y_{n})\in\mathcal{D}_{\mu(\lambda)}\) with \(|y_{i}-y_{j}|\in[\mu(\lambda),\mu^{*}(\lambda)]\) for some \(i\neq j\). On the other hand, if \(y=(y_{1},\ldots,y_{n})\in\mathcal{D}_{\mu(\lambda)}\) and \(|y_{i}-y_{j}|\rightarrow\infty\) for some \(i\neq j\), then by (2.11) and Lemmas 2.1 and 2.2, we have
$$\begin{aligned} \Phi_{\lambda}(u_{y}+v_{\mu,\lambda,y}) =&nc_{0}+ \frac{\lambda }{2}\int_{\mathbb{R}^{N}}a(x)u_{y}^{2} +\frac{\lambda}{p}\int_{\mathbb{R}^{N}}b(x)u_{y}^{p}- \mathcal {K}_{y} \\ \geq& nc_{0}+\frac{\lambda}{p} \biggl(\int_{\mathbb {R}^{N}}a(x)u_{y}^{2}+ \int_{\mathbb{R}^{N}}b(x)u_{y}^{p} \biggr) -C \lambda^{2} \\ &{} -C_{4}\lambda\|v_{\mu,\lambda,y}\|^{2}-C_{5} \|v_{\mu,\lambda ,y}\|^{2}+o(1) \\ \geq& nc_{0}+\frac{\lambda}{p} \biggl(\int_{\mathbb {R}^{N}}a(x)u_{y}^{2}+ \int_{\mathbb{R}^{N}}b(x)u_{y}^{p} \biggr) -C \lambda^{2} \\ &{} -C'_{4}\|v_{\mu,\lambda,y}\|^{2}+o(1) \\ \geq& nc_{0}+\frac{\lambda}{p} \biggl(\int_{\mathbb {R}^{N}}a(x)u_{y}^{2}+ \int_{\mathbb{R}^{N}}b(x)u_{y}^{p} \biggr) -C \lambda^{2} \\ &{} -\lambda^{2}C'_{5} \biggl(\int _{\mathbb {R}^{N}}a(x)u_{y}^{2}+\int _{\mathbb{R}^{N}}b(x)u_{y}^{p} \biggr)+o(1), \end{aligned}$$
where \(o(1)\) means some quantities which depend only on y and converge to 0 as \(|y_{i}-y_{j}|\rightarrow\infty\) for all \(i\neq j\). Therefore, for λ small enough,
$$ \liminf_{|y_{i}-y_{j}|\rightarrow\infty,\forall i\neq j}\Phi_{\lambda}(u_{y}+v_{h,\lambda,y}) \geq nc_{0}. $$
This inequality contradicts (3.6). Thus, we obtain the result. □
We choose \(y^{k}(\lambda)=(y_{1}^{k}(\lambda),\ldots,y_{n}^{k}(\lambda))\in \mathcal {D}_{\mu(\lambda)}\) such that
$$ \lim_{k\rightarrow\infty}\Phi_{\lambda}(u_{y^{k}(\lambda)}+v_{\mu ,\lambda,y^{k}(\lambda)})= \Gamma_{\lambda}. $$
Then Lemma 3.1 implies that
$$ \inf_{k}\min_{i\neq j}\bigl\vert y_{i}^{k}(\lambda)-y_{j}^{k}(\lambda) \bigr\vert \geq\mu^{*}(\lambda). $$
Therefore, for any \(1\leq i\leq n\), passing to a subsequence if necessary, we may assume either \(\lim_{k\rightarrow\infty}y_{i}^{k}(\lambda)=y_{i}^{0}(\lambda)\) with \(|y_{i}^{0}(\lambda)-y_{j}^{0}(\lambda)|\geq\mu^{*}\) for \(i\neq j\) or \(\lim_{k\rightarrow\infty}y_{i}^{k}(\lambda)=\infty\). Define
$$ \mathcal{U}(\lambda)= \bigl\{ 1\leq i\leq n\mid \bigl\vert y_{i}^{k}( \lambda)\bigr\vert \rightarrow\infty, \text{as } k\rightarrow\infty \bigr\} . $$
In the following, we shall prove that \(\mathcal {U}(\lambda)=\emptyset\) for \(\lambda>0\) sufficiently small and thus \(\Phi_{\lambda}(u_{y}+v_{h,\lambda,y})\) attains its maximum at \((y_{1}^{0}(\lambda),\ldots,y_{n}^{0}(\lambda))\in\mathcal {D}_{\mu(\lambda)}\).

Lemma 3.2

Assume \(n\geq2\). Then there exists \(\lambda(n)>0\) such that for \(\lambda\in(0,\lambda(n))\), \(\mathcal{U}(\lambda)=\emptyset\).


We adopt an argument borrowed from Lin and Liu [39, 40]. We argue by contradiction and assume that \(\mathcal{U}(\lambda)\neq\emptyset\) along a sequence \(\lambda_{m}\rightarrow0\). Without loss of generality, we may assume \(\mathcal {U}(\lambda_{m})=\{1,\ldots,j_{n}\}\) for all \(m\in\mathbb{N}\) and for some \(1\leq j_{n}< n\). The case in which \(j_{n}=n\) can be handled similarly. For convenience of notations, we shall denote \(\lambda_{m}=\lambda\), \(y_{i}^{k}=y_{i}^{k}(\lambda_{m})\), \(y^{k}=(y_{1}^{k},\ldots,y_{n}^{k})\), \(y_{*}^{k}=(y_{j_{n}+1}^{k},\ldots,y_{n}^{k})\), and \(y_{*}^{0}=(y_{j_{n}+1}^{0},\ldots,y_{n}^{0})\) for \(k=1,2,\ldots\) . Then, as \(k\rightarrow\infty\),
$$ \bigl\vert y_{1}^{k}\bigr\vert \rightarrow\infty,\qquad \ldots,\qquad \bigl|y_{j_{n}}^{k}\bigr|\rightarrow\infty $$
$$ y_{j_{n}+1}^{k}\rightarrow y_{j_{n}+1}^{0}, \qquad \ldots, \qquad y_{n}^{k}\rightarrow y_{n}^{0}. $$
$$ w_{k}=\sum_{i=1}^{n}z \bigl(x-y_{i}^{k}\bigr),\qquad w_{k,1}=\sum _{i=1}^{j_{n}}z\bigl(x-y_{i}^{k} \bigr) $$
$$ w_{k,2}=\sum_{i=j_{n}+1}^{n}z \bigl(x-y_{i}^{k}\bigr),\qquad w_{y_{*}^{0}}=\sum _{i=j_{n}+1}^{n}z\bigl(x-y_{i}^{0} \bigr). $$
Similar to (3.4), we have
$$ \Vert v_{\mu,\lambda,y^{k}}\Vert \leq C\lambda^{\frac{p-1}{p}}, \qquad \Vert v_{\mu,\lambda,y_{*}^{k}}\Vert \leq C\lambda^{\frac{p-1}{p}},\quad k=1,2, \ldots. $$
By (2.11), we obtain
$$\begin{aligned} \begin{aligned}[b] \Phi_{\lambda}(w_{k}+v_{\mu,\lambda,y^{k}})={}&nc_{0}+ \frac{\lambda }{2}\int_{\mathbb{R}^{N}}a(x)w_{k}^{2} +\frac{\lambda}{p}\int_{\mathbb{R}^{N}}b(x)w_{k}^{p}- \mathcal {K}_{y^{k}} \\ ={}&j_{n}c_{0}+\frac{\lambda}{2}\int_{\mathbb {R}^{N}}a(x)w_{k,1}^{2}+ \frac{\lambda}{2}\int_{\mathbb {R}^{N}}a(x)w_{k,2}^{2} +\lambda\int_{\mathbb{R}^{N}}a(x)w_{k,1}w_{k,2} \\ &{} +(n-j_{n})c_{0}+\frac{\lambda}{p}\int _{\mathbb {R}^{N}}b(x)w_{k}^{p}+\mathcal {K}_{y_{*}^{k}}-\mathcal{K}_{y^{k}}-\mathcal{K}_{y_{*}^{k}} \\ ={}&j_{n}c_{0}+\frac{\lambda}{2}\int_{\mathbb {R}^{N}}a(x)w_{k,1}^{2}+ \lambda\int_{\mathbb {R}^{N}}a(x)w_{k,1}w_{k,2}+ \mathcal {K}_{y_{*}^{k}}-\mathcal{K}_{y^{k}} \\ &{} +\frac{\lambda}{p}\int_{\mathbb {R}^{N}}b(x) \bigl(w_{k}^{p}-w_{k,2}^{p} \bigr)+\Phi_{\lambda}(w_{k,2}+v_{\mu ,\lambda,y_{*}^{k}}). \end{aligned} \end{aligned}$$
By Lemma 2.1, one sees
$$\begin{aligned} \int_{\mathbb{R}^{N}}b(x) \bigl(w_{k}^{p}-w_{k,2}^{p} \bigr) \leq& C_{6}\sum_{i=1}^{j_{n}} \int_{\mathbb{R}^{N}}b(x)z^{p-1}\bigl(x-y_{i}^{k} \bigr)w_{k,2} \\ &{}+C_{8}\sum_{i=1}^{j_{n}} \int_{\mathbb{R}^{N}}b(x)z^{p}\bigl(x-y_{j}^{k} \bigr) \\ &{} +C_{7}\sum_{j=j_{n}+1}^{n}\int _{\mathbb {R}^{N}}b(x)z^{p-1}\bigl(x-y_{j}^{k} \bigr)w_{k,1}. \end{aligned}$$
Therefore, since \(|y_{i}^{k}|\rightarrow\infty\), \(i=1,\ldots,j_{n}\), as \(k\rightarrow\infty\), we obtain
$$ \frac{\lambda}{2}\int_{\mathbb{R}^{N}}a(x)w_{k,1}^{2}+ \lambda\int_{\mathbb{R}^{N}}a(x)w_{k,1}w_{k,2} \rightarrow0. $$
Furthermore, by (3.9) and the condition (\(\mathcal{R}_{1}\)), we have
$$ \frac{\lambda}{p}\int_{\mathbb {R}^{N}}b(x) \bigl(w_{k}^{p}-w_{k,2}^{p}\bigr) \rightarrow0,\quad \text{as } k\rightarrow\infty. $$
From (3.8), (3.10) and (3.11), we arrive at
$$ \Phi_{\lambda}(w_{k}+v_{\mu,\lambda,y^{k}})\leq \Phi_{\lambda }(w_{k,2}+v_{\mu,\lambda,y_{*}^{k}})+j_{n}c_{0} +\mathcal{K}_{y_{*}^{k}}-\mathcal{K}_{y^{k}}+o(1). $$
Using Lemma 2.4, (3.3), and (3.7), we obtain
$$\begin{aligned}& \int_{\mathbb{R}^{N}} \Biggl\vert \sum _{i=1}^{n}z^{p-1}\bigl(x-y_{i}^{k} \bigr)- \Biggl(\sum_{i=1}^{n}z \bigl(x-y_{i}^{k}\bigr) \Biggr)^{p-1}\Biggr\vert |v_{\mu,\lambda ,y^{k}}| \\& \quad \leq C \biggl(\sum_{i< j}\int _{\mathbb {R}^{N}}z^{p-1}\bigl(x-y_{i}^{k} \bigr)z\bigl(x-y_{j}^{k}\bigr) \biggr)^{\frac{p-1}{p}}\| v_{\mu,\lambda,y^{k}}\| \\& \quad \leq C'\lambda^{\frac{2(p-1)}{p}}. \end{aligned}$$
From Lemma 2.2, (2.12), (3.7), and (3.13), one gets
$$\begin{aligned} \mathcal {K}_{y^{k}} =&\frac{1}{p}\int _{\mathbb{R}^{N}} \Biggl(\sum_{i=1}^{n}z \bigl(x-y_{i}^{k}\bigr) \Biggr)^{p} - \frac{1}{p}\sum_{i=1}^{n}\int _{\mathbb{R}^{N}}z^{p}\bigl(x-y_{i}^{k} \bigr) \\ &{} -\sum_{i< j}\int_{\mathbb {R}^{N}}z^{p-1} \bigl(x-y_{i}^{k}\bigr)z\bigl(x-y_{j}^{k} \bigr)+O\bigl(\lambda^{\frac{2(p-1)}{p}}\bigr). \end{aligned}$$
In the same way, we have
$$\begin{aligned} \mathcal {K}_{y_{*}^{k}} =&\frac{1}{p}\int _{\mathbb{R}^{N}} \Biggl(\sum_{i=j_{n}+1}^{n}z \bigl(x-y_{i}^{k}\bigr) \Biggr)^{p} - \frac{1}{p}\sum_{i=j_{n}+1}^{n}\int _{\mathbb {R}^{N}}z^{p}\bigl(x-y_{i}^{k} \bigr) \\ &{} -\sum_{j_{n}< i<j}\int_{\mathbb {R}^{N}}z^{p-1} \bigl(x-y_{i}^{k}\bigr)z\bigl(x-y_{j}^{k} \bigr)+O\bigl(\lambda^{\frac{2(p-1)}{p}}\bigr). \end{aligned}$$
We infer from (3.14) and (3.15) that
$$\begin{aligned} \mathcal{K}_{y_{*}^{k}}-\mathcal {K}_{y^{k}} =& \frac{1}{p}\int_{\mathbb{R}^{N}}(w_{k,2})^{p}- \frac {1}{p}\int_{\mathbb{R}^{N}}(w_{k})^{p} + \frac{1}{p}\sum_{i=1}^{j_{n}}\int _{\mathbb {R}^{N}}z^{p}\bigl(x-y_{i}^{k} \bigr) \\ &{} +\sum_{i< j\leq j_{n}}\int_{\mathbb{R}^{N}}z^{p-1} \bigl(x-y_{i}^{k}\bigr)z\bigl(x-y_{j}^{k} \bigr) +O\bigl(\lambda^{\frac{2(p-1)}{p}}\bigr) \\ &{} +\sum_{i=1}^{j_{n}}\int _{\mathbb{R}^{N}}z^{p-1}\bigl(x-y_{i}^{k} \bigr)w_{k,2}. \end{aligned}$$
By Lemma 2.3, the sum of the terms except \(O(\lambda^{\frac{2(p-1)}{p}})\) on the right side of (3.16) is negative. Thus, one has
$$ \mathcal{K}_{y_{*}^{k}}-\mathcal{K}_{y^{k}}\leq O \bigl(\lambda^{\frac{2(p-1)}{p}}\bigr). $$
Letting \(k\rightarrow\infty\), by (3.12), and using (3.17), we obtain
$$ \Gamma_{\lambda}\leq j_{n}c_{0}+ \Phi_{\lambda}(w_{y_{*}^{0}}+v_{\mu,\lambda ,y_{*}^{0}})+C'_{8} \lambda^{\frac{2(p-1)}{p}}. $$
On the other hand, by Lemma 2.6 and (3.3), there exist \(C_{9}, C_{10}> 0\) such that
$$ C_{9}\lambda\leq\mu^{-\frac{N-2}{2}}e^{-\mu}\leq C_{10}\lambda, $$
which implies for λ small enough
$$ (1-\delta)\ln\frac{1}{\lambda}\leq\mu=\mu(\lambda)\leq (1+\delta) \ln\frac{1}{\lambda}, $$
where \(0<\delta<\frac{1}{p}\). We choose τ such that \(0<\tau\leq\frac{p-2}{10np}\). By (\(\mathcal{R}_{2}\)), there exists \(R>0\) such that
$$ a(x)\geq e^{-\tau|x|}, \quad |x|\geq R $$
$$ b(x)\geq e^{-\tau|x|},\quad |x|\geq R. $$
For \(\lambda>0\) small enough, define
$$ \hat{y}_{s}^{\lambda}=\biggl(10n\ln \frac{1}{\lambda}-4s\mu(\lambda ),0,\ldots,0\biggr)\in\mathbb{R}^{N}, \quad s=1,2,\ldots,n. $$
The open balls \(B(\hat{y}_{s}^{\lambda},2\mu(\lambda))\) are mutually disjoint. Thus there are \(j_{n}\) integers from \(\{1,\ldots,n\}\), denoted by \(s_{1}< s_{2}<\cdots< s_{j_{n}}\), such that
$$ \bigl\vert \hat{y}_{s_{i}}^{\lambda}-y_{j}^{0} \bigr\vert \geq2\mu(\lambda),\quad i=1,\ldots,j_{n}, j=j_{n}+1,\ldots,n. $$
Denote \(\hat{y}_{s_{i}}^{\lambda}\) by \(y_{i}^{\lambda}\) for simplicity, \(i=1,\ldots,j_{n}\). By (3.20), (3.23), and (3.24), one has
$$\begin{aligned}& R+1\leq\bigl\vert y_{i}^{\lambda}\bigr\vert \leq10n\ln\frac{1}{\lambda},\quad i=1,\ldots,j_{n}, \end{aligned}$$
$$\begin{aligned}& \bigl\vert y_{i}^{\lambda}-y_{j}^{\lambda} \bigr\vert \geq2\mu(\lambda),\quad 1\leq i< j\leq j_{n}, \end{aligned}$$
$$\begin{aligned}& \bigl\vert y_{i}^{\lambda}-y_{j}^{0} \bigr\vert \geq2\mu(\lambda),\quad i=1,\ldots, j_{n}, j=j_{n}+1,\ldots,n. \end{aligned}$$
$$ \bigl(y_{1}^{\lambda},\ldots,y_{j_{n}}^{\lambda},y_{j_{n}+1}^{0}, \ldots ,y_{n}^{0}\bigr)\in\mathcal {D}_{\mu(\lambda)}. $$
Denote \(y^{\lambda}=(y_{1}^{\lambda},\ldots,y_{j_{n}}^{\lambda },y_{j_{n}+1}^{0},\ldots,y_{n}^{0})\). Set \(w_{\lambda,1}=\sum_{i=1}^{j_{n}}z(x-y_{i}^{\lambda})\), \(w_{y_{*}^{0}}=\sum_{i=j_{n}+1}^{n}z(x-y_{i}^{0})\), and \(w_{\lambda}=w_{\lambda,1}+w_{y_{*}^{0}}\). Similar to (3.8), one has
$$\begin{aligned} \Phi_{\lambda}(w_{\lambda}+v_{\mu,\lambda,y^{\lambda}}) =&j_{n}c_{0}+\frac{\lambda}{2}\int_{\mathbb{R}^{N}}a(x)w_{\lambda ,1}^{2}+ \lambda\int_{\mathbb{R}^{N}}a(x)w_{\lambda ,1}w_{y_{*}^{0}}+ \mathcal {K}_{y_{*}^{\lambda}}-\mathcal{K}_{y^{\lambda}} \\ &{} +\frac{\lambda}{p}\int_{\mathbb{R}^{N}}b(x) \bigl(w_{\lambda }^{p}-w_{y_{*}^{0}}^{p} \bigr)+\Phi_{\lambda}(w_{y_{*}^{0}}+v_{\mu,\lambda ,y_{*}^{0}}). \end{aligned}$$
As in (3.16), we have
$$\begin{aligned} \mathcal{K}_{y_{*}^{\lambda}}-\mathcal {K}_{y^{\lambda}} =&\frac{1}{p} \int_{\mathbb {R}^{N}}(w_{y_{*}^{0}})^{p}-\frac{1}{p} \int_{\mathbb {R}^{N}}(w_{\lambda})^{p} +\frac{1}{p} \sum_{i=1}^{j_{n}}\int_{\mathbb {R}^{N}}z^{p} \bigl(x-y_{i}^{\lambda}\bigr) \\ &{} +\sum_{i< j\leq j_{n}}z^{p-1} \bigl(x-y_{i}^{\lambda}\bigr)z\bigl(x-y_{j}^{\lambda} \bigr) +O\bigl(\lambda^{\frac{2(p-1)}{p}}\bigr) \\ &{} +\sum_{i=1}^{j_{n}}\int _{\mathbb {R}^{N}}z^{p-1}\bigl(x-y_{i}^{k} \bigr)w_{y_{*}^{0}} \\ \geq&\frac{1}{p}\int_{\mathbb{R}^{N}}(w_{y_{*}^{0}})^{p} +\frac{1}{p}\sum_{i=1}^{j_{n}}\int _{\mathbb {R}^{N}}z^{p}\bigl(x-y_{i}^{\lambda} \bigr) \\ &{} -\frac{1}{p}\int_{\mathbb{R}^{N}}(w_{\lambda})^{p}+O \bigl(\lambda^{\frac{2(p-1)}{p}} \bigr). \end{aligned}$$
Together with Lemma 2.1 this implies that
$$\begin{aligned} \mathcal{K}_{y_{*}^{\lambda}}-\mathcal{K}_{y^{\lambda}} \geq& -C \sum_{i=1}^{j_{n}}\int_{\mathbb{R}^{N}}z^{p-1} \bigl(x-y_{i}^{\lambda }\bigr)w_{y_{*}^{0}} -C\sum _{i=1}^{j_{n}}\int_{\mathbb {R}^{N}}(w_{y_{*}^{0}})^{p-1}z \bigl(x-y_{i}^{\lambda}\bigr) \\ &{}-C\sum_{1\leq i< j\leq j_{n}}\int_{\mathbb{R}^{N}}z^{p-1} \bigl(x-y_{i}^{\lambda }\bigr)z\bigl(x-y_{j}^{\lambda} \bigr) +O \bigl(\lambda^{\frac{2(p-1)}{p}} \bigr). \end{aligned}$$
By Lemma 2.6, (3.20), and (3.26), one sees that
$$\begin{aligned} \int_{\mathbb{R}^{N}}z^{p-1}\bigl(x-y_{i}^{\lambda} \bigr)z\bigl(x-y_{j}^{\lambda}\bigr) \leq& C_{11}e^{-2\mu(\lambda)} \leq C_{12}e^{-2(1-\delta)\ln\frac{1}{\lambda}} \\ =&C_{12}\lambda^{2(1-\delta)} \leq C_{13} \lambda^{\frac{2(p-1)}{p}}. \end{aligned}$$
In view of (3.27), a similar argument shows that
$$ \sum_{i=1}^{j_{n}}\int _{\mathbb{R}^{N}}z^{p-1}\bigl(x-y_{i}^{\lambda } \bigr)w_{y_{*}^{0}} +\sum_{i=1}^{j_{n}}\int _{\mathbb {R}^{N}}(w_{y_{*}^{0}})^{p}z\bigl(x-y_{i}^{\lambda} \bigr)\leq C_{14}\lambda^{\frac{2(p-1)}{p}}. $$
Combining (3.29)-(3.31), we have
$$ \mathcal{K}_{y_{*}^{\lambda}}-\mathcal {K}_{y^{\lambda}}\geq-C_{15} \lambda^{\frac{2(p-1)}{p}}. $$
Together with (3.28), it follows that
$$\begin{aligned} \Phi_{\lambda}(u_{y^{\lambda}}+v_{\mu,\lambda,y^{\lambda}}) \geq& j_{n}c_{0}+\frac{\lambda}{2}\int_{\mathbb{R}^{N}}a(x)w_{\lambda ,1}^{2}+ \lambda\int_{\mathbb{R}^{N}}a(x)w_{\lambda,1}w_{y_{*}^{0}} -C_{15}\lambda^{\frac{2(p-1)}{p}} \\ &{} +\frac{\lambda}{p}\int_{\mathbb{R}^{N}}b(x) \bigl(w_{y^{\lambda }}^{p}-w_{y_{*}^{0}}^{p} \bigr) +\Phi_{\lambda}(w_{y_{*}^{0}}+v_{\mu,\lambda,y_{*}^{0}}). \end{aligned}$$
We distinguish the following two cases to finish the proof of this lemma.
  1. (i)
    If (3.21) holds, then by (3.25), we have, for \(i=1,\ldots,j_{n}\),
    $$\begin{aligned} \int_{\mathbb{R}^{N}}a(x)w_{\lambda,1}^{2} \geq&\int_{|x-y_{i}^{\lambda}|\leq1}a(x)z^{2}\bigl(x-y_{i}^{\lambda} \bigr) \geq\int_{|x-y_{i}^{\lambda}|\leq1}e^{-\tau |x|}z^{2} \bigl(x-y_{i}^{\lambda}\bigr) \\ \geq& C_{16}e^{-\tau|y_{i}^{\lambda}|}\geq C_{16}e^{-10n\tau\ln\frac{1}{\lambda}}=C_{16} \lambda^{10n\tau}. \end{aligned}$$
    $$ \Phi_{\lambda}(u_{y^{\lambda}}+v_{\mu,\lambda,y^{\lambda}})\geq j_{n}c_{0}+\Phi_{\lambda}(w_{y_{*}^{0}}+v_{\mu,\lambda ,y_{*}^{0}})+C_{16} \lambda^{10n\tau+1} -C_{15}\lambda^{\frac{2(p-1)}{p}}. $$
    Since \(10n\tau+1<\frac{2(p-1)}{p}\), we obtain, for λ small enough,
    $$ \Phi_{\lambda}(u_{y^{\lambda}}+v_{\mu,\lambda,y^{\lambda}})\geq j_{n}c_{0}+\Phi_{\lambda}(w_{y_{*}^{0}}+v_{\mu,\lambda ,y_{*}^{0}})+C'_{16} \lambda^{10n\tau+1}, $$
    which contradicts (3.18).
  2. (ii)
    Suppose that (3.22) holds. Similar to (3.32), one has
    $$\begin{aligned} \int_{\mathbb{R}^{N}}b(x) \bigl(u_{y^{\lambda }}^{p}-u_{y_{*}^{0}}^{p} \bigr) \geq&\int_{|x-y_{1}^{\lambda}|\leq 1}b(x)z^{p} \bigl(x-y_{1}^{\lambda}\bigr) \geq\int_{|x-y_{1}^{\lambda}|\leq1}e^{-\tau |x|}z^{p} \bigl(x-y_{1}^{\lambda}\bigr) \\ \geq& C_{17}e^{-\tau|y_{1}^{\lambda}|}\geq C_{17}e^{-10n\tau\ln\frac{1}{\lambda}}=C_{17} \lambda^{10n\tau}. \end{aligned}$$
    Repeating the arguments of (i), we get, for λ small enough,
    $$ \Phi_{\lambda}(u_{y^{\lambda}}+v_{\mu,\lambda,y^{\lambda}})\geq j_{n}c_{0}+\Phi_{\lambda}(w_{y_{*}^{0}}+v_{\mu,\lambda ,y_{*}^{0}})+C'_{17} \lambda^{10n\tau+1}. $$
    This contradicts (3.18).

From (i) and (ii), we know that there exists \(\lambda(n)>0\) such that, if \(0 <\lambda<\lambda(n)\), then \(\mathcal {U}(\lambda)=\emptyset\) and \(\Phi_{\lambda}(u_{y}+v_{h,\lambda,y})\) reaches its maximum at some point \((y_{1}^{0},\ldots,y_{n}^{0})\in\mathcal {D}_{\mu(\lambda)}\). □

Next, we shall prove Theorem 1.1.

Proof of Theorem 1.1

For \(n\geq2\), according to Lemma 3.2, if \(0<\lambda<\lambda(n)\), then \(\Phi_{\lambda}(u_{y}+v_{h,\lambda,y})\) reaches its maximum at some point \(y^{0}=(y_{1}^{0},\ldots,y_{n}^{0})\in\mathcal {D}_{\mu(\lambda)}\). Then \(u_{y^{0}}+v_{h,\lambda,y^{0}}\) is an n-bump solution of (\(\mathcal{S}_{\lambda}\)). For \(n=1\), as a consequence of Lemma 2.11(iii), if \(\lambda\in(0,\lambda_{0}]\), then
$$ \lim_{|y|\rightarrow\infty}\Phi_{\lambda}(u_{y}+v_{h,\lambda ,y})= \Phi_{0}(z)=c_{0}. $$
Since \(\Phi_{\lambda}(u_{y}+v_{h,\lambda,y})\) is defined on all \(\mathbb{R}^{N}\), \(\Phi_{\lambda}(u_{y}+v_{h,\lambda,y})\) has a critical point \(y^{0}\in\mathbb{R}^{N}\) and \(u_{y^{0}}+v_{h,\lambda,y^{0}}\) is a 1-bump solution of (\(\mathcal {S}_{\lambda}\)). By an argument similar to those in [34, 35], one sees that \(u_{y^{0}}+v_{h,\lambda,y^{0}}\) is a positive solution of (\(\mathcal{S}_{\lambda}\)). Set \(\lambda(1)=\lambda_{0}\) and \(\lambda_{1}(n)=\min\{\lambda(1),\ldots,\lambda(n)\}\). If \(0<\lambda<\lambda_{1}(n)\), then (\(\mathcal{S}_{\lambda}\)) has at least n nontrivial positive solutions. □



This work was supported by Natural Science Foundation of China (11201186, 11071038, 11171135), NSF of Jiangsu Province (BK2012282), Jiangsu University foundation grant (11JDG117), China Postdoctoral Science Foundation funded project (2012M511199, 2013T60499).

Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Authors’ Affiliations

School of Economics and Management, Southeast University
Faculty of Science, Jiangsu University


  1. Ambrosetti, A, Malchiodi, A, Secchi, S: Multiplicity results for some nonlinear Schrödinger equations with potentials. Arch. Ration. Mech. Anal. 159(3), 253-271 (2001) View ArticleMATHMathSciNetGoogle Scholar
  2. Besieris, I-M: Solitons in randomly inhomogeneous media. In: Nonlinear Electromagnetics, pp. 87-116. Academic Press, New York (1980) View ArticleGoogle Scholar
  3. Byeon, J, Oshita, Y: Existence of multi-bump standing waves with a critical frequency for nonlinear Schrödinger equations. Commun. Partial Differ. Equ. 29(11-12), 1877-1904 (2004) View ArticleMATHMathSciNetGoogle Scholar
  4. Cingolani, S, Nolasco, M: Multi-peak periodic semiclassical states for a class of nonlinear Schrödinger equations. Proc. R. Soc. Edinb., Sect. A 128(6), 1249-1260 (1998) View ArticleMATHMathSciNetGoogle Scholar
  5. Kang, X-S, Wei, J-C: On interacting bumps of semi-classical states of nonlinear Schrödinger equations. Adv. Differ. Equ. 5(7-9), 899-928 (2000) MATHMathSciNetGoogle Scholar
  6. Li, Y-Y: On a singularly perturbed elliptic equation. Adv. Differ. Equ. 2(6), 955-980 (1997) MATHGoogle Scholar
  7. Oh, Y-G: On positive multi-lump bound states of nonlinear Schrödinger equations under multiple well potential. Commun. Math. Phys. 131(2), 223-253 (1990) View ArticleMATHGoogle Scholar
  8. Floer, A, Weinstein, A: Nonspreading wave packets for the cubic Schrödinger equation with a bounded potential. J. Funct. Anal. 69(3), 397-408 (1986) View ArticleMATHMathSciNetGoogle Scholar
  9. Oh, Y-G: Existence of semiclassical bound states of nonlinear Schrödinger equations with potentials of the class \((V)_{a}\). Commun. Partial Differ. Equ. 13(12), 1499-1519 (1988) View ArticleMATHGoogle Scholar
  10. Rabinowitz, P-H: On a class of nonlinear Schrödinger equations. Z. Angew. Math. Phys. 43(2), 270-291 (1992) View ArticleMATHMathSciNetGoogle Scholar
  11. Del Pino, M, Felmer, P-L: Local mountain passes for semilinear elliptic problems in unbounded domains. Calc. Var. Partial Differ. Equ. 4(2), 121-137 (1996) View ArticleMATHGoogle Scholar
  12. Del Pino, M, Felmer, P-L: Multi-peak bound states for nonlinear Schrödinger equations. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 15(2), 127-149 (1998) View ArticleMATHGoogle Scholar
  13. Ambrosetti, A, Badiale, M, Cingolani, S: Semiclassical states of nonlinear Schrödinger equations. Arch. Ration. Mech. Anal. 140(3), 285-300 (1997) View ArticleMATHMathSciNetGoogle Scholar
  14. Del Pino, M, Felmer, P-L: Semi-classical states of nonlinear Schrödinger equations: a variational reduction method. Math. Ann. 324(1), 1-32 (2002) View ArticleMATHMathSciNetGoogle Scholar
  15. Del Pino, M, Felmer, P-L: Semi-classical states for nonlinear Schrödinger equations. J. Funct. Anal. 149(1), 245-265 (1997) View ArticleMATHMathSciNetGoogle Scholar
  16. Ambrosetti, A, Malchiodi, A: Perturbation Methods and Semilinear Elliptic Problems on R n . Progress in Mathematics, vol. 240. Birkhäuser, Basel (2006) MATHGoogle Scholar
  17. Ambrosetti, A, Malchiodi, A, Ni, W-M: Singularly perturbed elliptic equations with symmetry: existence of solutions concentrating on spheres. I. Commun. Math. Phys. 235(3), 427-466 (2003) View ArticleMATHMathSciNetGoogle Scholar
  18. Del Pino, M, Kowalczyk, M, Wei, J-C: Concentration on curves for nonlinear Schrödinger equations. Commun. Pure Appl. Math. 60(1), 113-146 (2007) View ArticleMATHGoogle Scholar
  19. Byeon, J, Wang, Z-Q: Standing waves with a critical frequency for nonlinear Schrödinger equations. Arch. Ration. Mech. Anal. 165(4), 295-316 (2002) View ArticleMATHMathSciNetGoogle Scholar
  20. Byeon, J, Wang, Z-Q: Standing waves with a critical frequency for nonlinear Schrödinger equations. II. Calc. Var. Partial Differ. Equ. 18(2), 207-219 (2003) View ArticleMATHMathSciNetGoogle Scholar
  21. Cao, D-M, Noussair, E-S: Multi-bump standing waves with a critical frequency for nonlinear Schrödinger equations. J. Differ. Equ. 203(2), 292-312 (2004) View ArticleMATHMathSciNetGoogle Scholar
  22. Cao, D-M, Peng, S-J: Multi-bump bound states of Schrödinger equations with a critical frequency. Math. Ann. 336(4), 925-948 (2006) View ArticleMATHMathSciNetGoogle Scholar
  23. Ding, Y-H, Lin, F-H: Solutions of perturbed Schrödinger equations with critical nonlinearity. Calc. Var. Partial Differ. Equ. 30(2), 231-249 (2007) View ArticleMATHMathSciNetGoogle Scholar
  24. Ding, Y-H, Szulkin, A: Bound states for semilinear Schrödinger equations with sign-changing potential. Calc. Var. Partial Differ. Equ. 29(3), 397-419 (2007) View ArticleMATHMathSciNetGoogle Scholar
  25. Ding, Y-H, Wei, J-C: Semiclassical states for nonlinear Schrödinger equations with sign-changing potentials. J. Funct. Anal. 251(2), 546-572 (2007) View ArticleMATHMathSciNetGoogle Scholar
  26. Coti Zelati, V, Rabinowitz, P-H: Homoclinic type solutions for a semilinear elliptic PDE on \(\mathbf{R}^{n}\). Commun. Pure Appl. Math. 45(10), 1217-1269 (1992) View ArticleMATHMathSciNetGoogle Scholar
  27. Coti Zelati, V, Rabinowitz, P-H: Homoclinic orbits for second order Hamiltonian systems possessing superquadratic potentials. J. Am. Math. Soc. 4(4), 693-727 (1991) View ArticleMATHMathSciNetGoogle Scholar
  28. Alama, S, Li, Y-Y: On ‘multibump’ bound states for certain semilinear elliptic equations. Indiana Univ. Math. J. 41(4), 983-1026 (1992) View ArticleMATHMathSciNetGoogle Scholar
  29. Cerami, G, Devillanova, G, Solimini, S: Infinitely many bound states for some nonlinear scalar field equations. Calc. Var. Partial Differ. Equ. 23(2), 139-168 (2005) View ArticleMATHMathSciNetGoogle Scholar
  30. Cerami, G, Passaseo, D, Solimini, S: Infinitely many positive solutions to some scalar field equations with nonsymmetric coefficients. Commun. Pure Appl. Math. 66(3), 372-413 (2013) View ArticleMATHMathSciNetGoogle Scholar
  31. Ackermann, N, Weth, T: Multibump solutions of nonlinear periodic Schrödinger equations in a degenerate setting. Commun. Contemp. Math. 7(3), 269-298 (2005) View ArticleMATHMathSciNetGoogle Scholar
  32. Ackermann, N: A nonlinear superposition principle and multibump solutions of periodic Schrödinger equations. J. Funct. Anal. 234(2), 277-320 (2006) View ArticleMATHMathSciNetGoogle Scholar
  33. Rabinowitz, P-H: A multibump construction in a degenerate setting. Calc. Var. Partial Differ. Equ. 5(2), 159-182 (1997) View ArticleMATHMathSciNetGoogle Scholar
  34. Liu, Z-L, Wang, Z-Q: Multi-bump type nodal solutions having a prescribed number of nodal domains. I. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 22(5), 597-608 (2005) View ArticleMATHGoogle Scholar
  35. Liu, Z-L, Wang, Z-Q: Multi-bump type nodal solutions having a prescribed number of nodal domains. II. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 22(5), 609-631 (2005) View ArticleMATHGoogle Scholar
  36. Lin, L-S, Liu, Z-L: Multi-bubble solutions for equations of Caffarelli-Kohn-Nirenberg type. Commun. Contemp. Math. 13(6), 945-968 (2011) View ArticleMATHMathSciNetGoogle Scholar
  37. Wang, J, Xu, J-X, Zhang, F-B, Chen, X-M: Existence of multi-bump solutions for a semilinear Schrödinger-Poisson system. Nonlinearity 26(5), 1377-1399 (2013) View ArticleMATHMathSciNetGoogle Scholar
  38. Pi, H-R, Wang, C-H: Multi-bump solutions for nonlinear Schrödinger equations with electromagnetic fields. ESAIM Control Optim. Calc. Var. 19(1), 91-111 (2013) View ArticleMATHMathSciNetGoogle Scholar
  39. Lin, L-S, Liu, Z-L: Multi-bump solutions and multi-tower solutions for equations on \(\mathbb{R}^{N}\). J. Funct. Anal. 257(2), 485-505 (2009) View ArticleMATHMathSciNetGoogle Scholar
  40. Lin, L-S, Liu, Z-L, Chen, X-W: Multi-bump solutions for a semilinear Schrödinger equation. Indiana Univ. Math. J. 58(4), 1659-1689 (2009) View ArticleMATHMathSciNetGoogle Scholar
  41. D’Aprile, T, Wei, J-C: Standing waves in the Maxwell-Schrödinger equation and an optimal configuration problem. Calc. Var. Partial Differ. Equ. 25(1), 105-137 (2006) View ArticleMATHMathSciNetGoogle Scholar
  42. Ambrosetti, A, Badiale, M: Homoclinics: Poincaré-Melnikov type results via a variational approach. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 15(2), 233-252 (1998) View ArticleMATHMathSciNetGoogle Scholar
  43. Berestycki, H, Lions, P-L: Nonlinear scalar field equations. II. Existence of infinitely many solutions. Arch. Ration. Mech. Anal. 82(4), 347-375 (1983) MATHMathSciNetGoogle Scholar
  44. Kwong, M-K: Uniqueness of positive solutions of \(\Delta u-u+u^{p}=0\) in \(\mathbf{R}^{n}\). Arch. Ration. Mech. Anal. 105(3), 243-266 (1989) View ArticleMATHMathSciNetGoogle Scholar
  45. Ni, W-M, Takagi, I: Locating the peaks of least-energy solutions to a semilinear Neumann problem. Duke Math. J. 70(2), 247-281 (1993) View ArticleMATHMathSciNetGoogle Scholar
  46. Cerami, G, Passaseo, D: Existence and multiplicity results for semilinear elliptic Dirichlet problems in exterior domains. Nonlinear Anal. 24(11), 1533-1547 (1995) View ArticleMATHMathSciNetGoogle Scholar
  47. Bahri, A, Lions, P-L: On the existence of a positive solution of semilinear elliptic equations in unbounded domains. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 14(3), 365-413 (1997) View ArticleMATHMathSciNetGoogle Scholar


© Fang and Wang; licensee Springer 2015