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

Houqing Fang; Jun Wang

doi:10.1186/s13661-014-0270-8

Research
Open Access

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

Houqing Fang^{1, 2}Email author and
Jun Wang²

Boundary Value Problems20152015:9

https://doi.org/10.1186/s13661-014-0270-8

Received: 8 September 2014
Accepted: 19 December 2014
Published: 16 January 2015

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

Keywords

multi-bump solution
semilinear Schrödinger equation
variational methods

MSC

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

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

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

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.

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

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

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

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

Declarations

Acknowledgements

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 (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.

Authors’ Affiliations

(1)

School of Economics and Management, Southeast University, Nanjing, 210096, China

(2)

Faculty of Science, Jiangsu University, Zhenjiang, Jiangsu, 212013, P.R. China

References

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
Besieris, I-M: Solitons in randomly inhomogeneous media. In: Nonlinear Electromagnetics, pp. 87-116. Academic Press, New York (1980) View ArticleGoogle Scholar
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
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
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
Li, Y-Y: On a singularly perturbed elliptic equation. Adv. Differ. Equ. 2(6), 955-980 (1997) MATHGoogle Scholar
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
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
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
Rabinowitz, P-H: On a class of nonlinear Schrödinger equations. Z. Angew. Math. Phys. 43(2), 270-291 (1992) View ArticleMATHMathSciNetGoogle Scholar
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
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
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
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
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
Ambrosetti, A, Malchiodi, A: Perturbation Methods and Semilinear Elliptic Problems on R ⁿ. Progress in Mathematics, vol. 240. Birkhäuser, Basel (2006) MATHGoogle Scholar
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Rabinowitz, P-H: A multibump construction in a degenerate setting. Calc. Var. Partial Differ. Equ. 5(2), 159-182 (1997) View ArticleMATHMathSciNetGoogle Scholar
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
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
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
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
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
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
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
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
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
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
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
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
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
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

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

Abstract

Keywords

MSC

1 Introduction and main results

Theorem 1.1

2 Some preliminary works

2.1 Variational framework

Lemma 2.1

Lemma 2.2

Lemma 2.3

Lemma 2.4

Lemma 2.5

Lemma 2.6

Lemma 2.7

Lemma 2.8

Lemma 2.9

Lemma 2.10

Proof

Lemma 2.11

Lemma 2.12

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

Lemma 2.13

Proof

Lemma 2.14

Proof

3 Proof of Theorem 1.1

Lemma 3.1

Proof

Lemma 3.2

Proof

Proof of Theorem 1.1

Declarations

Acknowledgements

Authors’ Affiliations

References

Copyright