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

Abstract

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$.

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, $$

(1.1)

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), $$

(1.2)

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. $$

(1.3)

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), $$

(1.4)

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 [4–7]. 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, 13–15] 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 [16–18] 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), $$

(1.5)

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 [29–35] and the references therein. Recently, Refs. [36–38] 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) $$

(1.6)

and

$$ -\Delta u+u=\bigl(1-\lambda a(x)\bigr)|u|^{p-2}u,\quad u\in H^{1}\bigl(\mathbb{R}^{N}\bigr). $$

(1.7)

To state the main result for ($\mathcal{S}_{\lambda}$), we need the following conditions on the functions a and b:

($\mathcal{R}_{1}$):

$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. $$

($\mathcal{R}_{2}$):

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 [39–42]. This paper is organized as follows. In Section 2, preliminary results are revisited. We prove Theorem 1.1 in Section 3.

Some preliminary works

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} $$

and

$$ \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) $$

(2.1)

has the following properties; see, for example, [40, 43–45].

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), $$

(2.2)

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}$$

and

$$ \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, $$

where

$$ \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 $$

and

$$ \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. $$

Proof

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}$$

(2.3)

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}$$

(2.4)

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. $$

(2.5)

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}$$

(2.6)

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

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

• (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}$;

• (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.

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}$$

(2.7)

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}$$

(2.8)

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) $$

(2.9)

and

$$ \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). $$

(2.10)

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}$$

Denote

$$\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}$$

Then

$$ \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}. $$

(2.11)

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}$$

and

$$\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}$$

(2.12)

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}$$

Proof

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}$$

(2.13)

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}) $$

(2.14)

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}). $$

(2.15)

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}$$

Proof

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}$$

(2.16)

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}$$

(2.17)

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}$$

(2.18)

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. □

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}. $$

(3.1)

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\} , $$

(3.2)

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. $$

(3.3)

Set

$$ \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\} . $$

Proof

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}}. $$

(3.4)

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. $$

(3.5)

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}$$

(3.6)

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$.

Proof

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 $$

and

$$ y_{j_{n}+1}^{k}\rightarrow y_{j_{n}+1}^{0}, \qquad \ldots, \qquad y_{n}^{k}\rightarrow y_{n}^{0}. $$

Set

$$ 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) $$

and

$$ 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. $$

(3.7)

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}$$

(3.8)

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}$$

(3.9)

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. $$

(3.10)

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. $$

(3.11)

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). $$

(3.12)

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}$$

(3.13)

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}$$

(3.14)

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}$$

(3.15)

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}$$

(3.16)

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). $$

(3.17)

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}}. $$

(3.18)

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, $$

(3.19)

which implies for λ small enough

$$ (1-\delta)\ln\frac{1}{\lambda}\leq\mu=\mu(\lambda)\leq (1+\delta) \ln\frac{1}{\lambda}, $$

(3.20)

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 $$

(3.21)

or

$$ b(x)\geq e^{-\tau|x|},\quad |x|\geq R. $$

(3.22)

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. $$

(3.23)

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. $$

(3.24)

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}$$

(3.25)

$$\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}$$

(3.26)

$$\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}$$

(3.27)

Therefore,

$$ \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}$$

(3.28)

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}$$

(3.29)

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}$$

(3.30)

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}}. $$

(3.31)

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.

• (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}$$

  (3.32)

  Hence,

  $$ \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).

• (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. □