Skip to main content

Remarks on infinitely many solutions for a class of Schrödinger equations with sign-changing potential

Abstract

In this paper, we study the existence of infinitely many nontrivial solutions for the following semilinear Schrödinger equation:

$$ \textstyle\begin{cases} -\Delta u+V(x)u=f(x,u), \quad x\in\mathbb{R}^{N},\\ u\in H^{1}(\mathbb{R}^{N}), \end{cases} $$

where the potential V is continuous and is allowed to be sign-changing. By using a variant fountain theorem, we obtain the existence of infinitely many high energy solutions under the condition that the nonlinearity \(f(x,u)\) is of super-linear growth at infinity. The super-quadratic growth condition imposed on \(F(x,u)=\int _{0}^{u}f(x,t)\,dt\) is weaker than the Ambrosetti–Rabinowitz type condition and the similar conditions employed in the references.

1 Introduction and main result

In the present paper, we are concerned with the existence of infinitely many nontrivial solutions for the following semilinear Schrödinger equation:

$$ \textstyle\begin{cases} -\Delta u+V(x)u=f(x,u),\quad x\in\mathbb{R}^{N},\\ u\in H^{1}(\mathbb{R}^{N}). \end{cases} $$
(1.1)

Due to the strong background of (1.1) in many fields, such as physics, optics, etc., it has attracted a great deal of interest in the past several decades. Here we point out that a variety of types of existent results on solutions for (1.1) have been considered by different assumptions on potential \(V(x)\) and nonlinearity \(f(x,u)\) by applying variational methods. For the case of \(V(x)\) and \(f(x)\) being nonperiodic, many authors have studied the existence of nontrivial solutions for problem (1.1) with \(f(x)\) being superlinear in [13], sublinear in [4], and asymptotically linear in [5]. Some special types of solution to (1.1) have also been considered in this direction. For instance, the existence of bound state solutions was considered in [6]. Bump type nodal solutions and sigh-changing solutions were studied in [710]. For the case of \(V(x)\) and \(f(x,u)\) being periodic, the authors in [11, 12] obtained the existence of nontrivial solutions for (1.1).

In this paper, we focus on the existence of infinitely many nontrivial solutions of (1.1) by applying variational methods. In variational theory, lots of tools can be used to obtain multiple solutions for equations which have variational structures, such as D.C. Clark’s theory for functionals bounded below [13, 14] and mountain pass theorem for even functionals [15]. Among these tools, fountain theorem is an important one. Fountain theorem and its dual form were established by Bartsch in [16] and by Bartsch and Willem in [17] (see also [18]) respectively. They are powerful tools to find multiple critical points for variational functionals. Zou in [19] (see also in [20]) established variant fountain theorems without (P.S.) condition, which is a crucial condition for fountain theorem and its dual form. By using the variant fountain theorems given in [19, 20], Zhang and Xu obtained the existence of infinitely many nontrivial solutions of (1.1) in [21], where they did not suppose the common used condition that \(\frac{f(x,u)}{u}\rightarrow0\) as \(u\rightarrow0\), which was used in [19]. Then in [22], Tang weakened some conditions in [21] and gave some more general super-quadratic conditions near infinity for the primitive of \(f(x,u)\), and finally showed that (1.1) possesses infinitely many nontrivial solutions by applying a result in [15]. Motivated by the work in [21, 22], we try to establish the existence of infinitely many high energy solutions of (1.1) under a more general super-quadratic condition than those in [21, 22]. So-called infinitely high energy solutions for (1.1) are solution sequences \(\{u_{n}\}\) of (1.1) such that the corresponding energy denoted by the energy functional of (1.1) goes to infinity as \(n\rightarrow\infty\).

To state our result of the present paper, we make the following assumptions on the potential V and nonlinearity f:

\((V_{1})\):

\(V(x)\in C(\mathbb{R}^{N},\mathbb{R})\) is bounded below.

\((V_{2})\):

For every \(M>0\),

$$\operatorname{meas}\bigl(\bigl\{ x\in\mathbb{R}^{N}: V(x)\leq M\bigr\} \bigr)< \infty, $$

where \(\operatorname{meas}(\cdot)\) denotes the Lebesgue measure in \(\mathbb{R}^{N}\).

\((S_{1})\):

\(f(x,u)\in C(\mathbb{R}^{N}\times\mathbb{R})\) and \(f(x,-u)=-f(x,u)\), \(\forall(x,u)\in\mathbb{R}^{N}\times\mathbb{R}\).

\((S_{2})\):

There exist constants \(c_{1},c_{2}>0\), \(p,q\in(1,2)\) and \(2< p<2^{*}\) such that

$$ \bigl\vert f(x,u) \bigr\vert \leq c_{1} \vert u \vert +c_{2} \vert u \vert ^{p-1},\quad \forall(x,u)\in \mathbb{R}^{N}\times \mathbb{R}. $$
\((S_{3})\):

\(\lim_{|u|\rightarrow\infty}\frac{f(x,u)}{u}=\infty\).

\((S_{4})\):

There exist a constant \(\mu>2\) and a function \(\nu (x)>0\) with \(|\nu|_{L^{\infty}}< \infty\) such that

$$ \mu F(x,u)\leq uf(x,u)+\nu(x)u^{2},\quad \forall(x,u)\in \mathbb{R}^{N} \times \mathbb{R}. $$

Then the main result of this paper can be read as follows.

Theorem 1.1

Assume thatVandfsatisfy\((V_{1})\), \((V_{2})\)and\((S_{1})\)\((S_{4})\). Then problem (1.1) possesses infinitely many high energy solutions.

Remark 1.2

Comparing with the multiple existent results on nontrivial solutions of (1.1) in [21, 22], Theorem 1.1 obtains infinitely many high energy solutions for (1.1) not only for infinitely many nontrivial solutions. Moreover, we do not make more assumptions on primitive \(F(x,u)\) of \(f(x,u)\). Specifically, Zhang and Xu in [21] assumed that \(F(x,u)\geq0\) for \(\forall(x,u) \in\mathbb{R}^{N}\times\mathbb{R}\) and \(\lim_{|u|\rightarrow\infty}\frac{F(x,u)}{|u|^{2}}=\infty\). In [22], Tang improved the conditions in [21] and employed a condition that \(F(x,u)\geq0\) for \(|u|\geq r_{0}\geq0\) and \(\lim_{|u|\rightarrow \infty}\frac{F(x,u)}{|u|^{2}}=\infty\). However, we only assume the condition in this paper that

$$ \lim_{|u|\rightarrow\infty}\frac{f(x,u)}{u}=\infty. $$
(1.2)

It is worth mentioning that the condition \(\lim_{|u|\rightarrow\infty }\frac{F(x,u)}{|u|^{2}}=\infty\) was also used in [12]. It was also supposed there that \(\frac{f(x,t)}{|t|}\) was strictly increasing and \(f(x,t)=o(|t|)\) as \(|t|\rightarrow0\) uniformly for \(x\in\mathbb{R}^{N}\).

Remark 1.3

To obtain the boundedness of (PS) sequence, Zhang and Xu in [21] introduced that there exists a constant \(\vartheta\geq1\) such that

$$ \vartheta\tilde{F}(x,u)\geq\tilde{F}(x,su),\quad \forall(x,u)\in\mathbb {R}^{N}\times\mathbb{R}, s\in[0,1], $$
(1.3)

where \(\tilde{F}(x,u)=uf(x,u)-2F(x,u)\). Then Tang in [22] improved the super-quadratic conditions in [21] and supposed that there exist \(c_{0}>0\) and \(\kappa>\max\{1,\frac {N}{2}\}\) such that

$$ \bigl\vert F(x,u) \bigr\vert ^{\kappa}\leq c_{0} \vert u \vert ^{2\kappa}\mathcal{F}(x,u),\quad \forall (x,u) \in\mathbb{R}^{N}\times\mathbb{R}, \vert u \vert \geq r_{0}, $$
(1.4)

where \(\mathcal{F}(x,u)=\frac{1}{2}uf(x,u)-F(x,u)\geq0\).

In [22], Tang also imposed another super-quadratic condition that there exist two constants \(\mu>2\) and \(\rho>0\) such that

$$ \mu F(x,u)\leq uf(x,u)+\rho u^{2}, \quad\forall(x,u)\in \mathbb{R}^{N} \times \mathbb{R}. $$
(1.5)

Condition (1.5) can be weakened. Thus in this paper we assume condition \((S_{4})\) where \(\nu>0\) is a function instead of \(\rho>0\) being a constant.

Remark 1.4

It is not difficult to verify that the functions

$$\begin{aligned}& f(x,u)=a(x)u\ln\bigl(1+ \vert u \vert \bigr), \end{aligned}$$
(1.6)
$$\begin{aligned}& f(x,u)=a(x) \bigl(u^{\frac{3}{2}}+u^{3}\cos u\bigr) \end{aligned}$$
(1.7)

satisfy \((S_{1})\)\((S_{4})\), where \(a(x)\) is a continuous bounded function with positive lower bound.

Remark 1.5

By \((V_{1})\), \(V(x)\) is bounded below. Thus there exists a positive constant such that \(\tilde{V}(x)=V(x)+\bar{V}\geq V_{0}>0 \). Let \(\tilde {f}(x,u)=f(x,u)+\tilde{V}u\) for all \((x,u)\in\mathbb{R}^{N}\times \mathbb{R}\). Consider the following system:

$$ \textstyle\begin{cases} -\Delta u+\tilde{V}(x)u=\tilde{f}(x,u),\quad x\in\mathbb{R}^{N},\\ u\in H^{1}(\mathbb{R}^{N}). \end{cases} $$
(1.8)

It is easy to check that (1.8) is equivalent to (1.1). Therefore, in what follows we always assume that \(V(x)\) has a positive lower bound.

2 Proof of Theorem 1.1

We work in the Hilbert space \(E=\{u\in H^{1}(\mathbb{R}^{N}):\int_{\mathbb {R}^{N}}(|\nabla u|^{2}+V(x)u^{2})\,dx<+\infty\}\) equipped with inner product \(\langle u,v\rangle=\int_{\mathbb{R}^{N}}(\nabla u \nabla v+V(x)uv)\,dx\). The associated norm is \(\|u\|= (\int_{\mathbb{R}^{N}}(|\nabla u|^{2}+V(x)u^{2})\,dx )^{\frac{1}{2}}\), which is equivalent to the standard norm in \(H^{1}(\mathbb{R}^{N})\) by \((V_{1})\) and Remark (1.5). We will find solutions of (1.1) in E. In what follows, we use \(\|\cdot\|\) and \(\|\cdot\|_{p}\) to denote the norms in E and \(L^{p}(\mathbb{R}^{N})\), respectively.

For \(\lambda\in[1,2]\), we define a functional on E

$$ \begin{aligned}[b] I_{\lambda}(u)&=\frac{1}{2} \int_{\mathbb{R}^{N}}\bigl({ \vert \nabla u \vert }^{2}+V(x)u^{2} \bigr)\,dx-\lambda \int_{\mathbb{R}^{N}}F(x,u)\,dx \\ &=\frac{1}{2}{ \Vert u \Vert }^{2}-\lambda \int_{\mathbb{R}^{N}}F(x,u)\,dx \\ &=A(u)-\lambda B(u). \end{aligned} $$
(2.1)

Since \(2< p<2^{*}\), E can be imbedded continuously into \(L^{p}(\mathbb {R}^{N} )\). By conditions \((S_{1})\) and \((S_{2})\), \(I_{\lambda}(u)\) is well defined. By [23], \(B(u)\in C^{1}(E,\mathbb{R})\) and \(B'(u):E\rightarrow E^{*}\) is compact, where \(E^{*}\) is the dual space of E. Thus one has \(I_{\lambda}(u)\in C^{1}(E,\mathbb{R})\), and for \(u,v\in E\),

$$ I'_{\lambda}(u)v=\langle u,v\rangle-\lambda B'(u)v =\langle u,v\rangle-\lambda \int_{\mathbb{R}^{N}}f(x,u)v\,dx . $$
(2.2)

By (2.2), solutions of (1.1) correspond to critical points of \(I_{\lambda}\) with \(\lambda=1\).

Let \(\{e_{j}:j\in\mathbb{N}\}\) be an orthogonal basis of E. \(\forall j\in\mathbb{N}\), write \(X_{j} =\operatorname{span}\{e_{j}\}\), then \(E=\overline {\bigoplus_{j\in N}X_{j}}\). Let \(Y_{k}=\bigoplus_{j=1}^{k}X_{j}\), \(Z_{k}=\overline{\bigoplus_{j=k}^{\infty}X_{j}}\). Notice that \(\dim Y_{k}<\infty\). Now we rewrite Theorem 2.1 of [19], since the existence of infinitely many nontrivial solutions of (1.1) is based on it.

Theorem 2.1

Suppose that the functional\(I_{\lambda}\)satisfies:

\((F_{1})\):

\(\forall(\lambda,u)\in[1,2]\times E\), \(I_{\lambda}(-u)=I_{\lambda}(u)\), \(I_{\lambda}\)maps a bounded set to a bounded set.

\((F_{2})\):

\(\forall u\in E\), \(B(u)\geq0\), and\(\|u\|\rightarrow\infty\), \(A(u)\rightarrow\infty\)or\(B(u)\rightarrow\infty\).

\((F_{3})\):

There exist\(r_{k}>\rho_{k}>0\)such that, for all\(\lambda\in[1,2]\),

$$ \alpha_{k}(\lambda)=\inf_{u\in Z_{k},\|u\|=\rho_{k}}I_{\lambda}(u)> \beta _{k}(\lambda)=\max_{u\in Y_{k},\|u\|=r_{k}}I_{\lambda}(u). $$

Then\(\forall \lambda\in[1,2]\), one has

$$ \alpha_{k}(\lambda)\leq\xi_{k}(\lambda)=\inf _{\gamma\in\varGamma_{k}} \max_{u\in B_{k}}I_{\lambda}\bigl( \gamma(u) \bigr), $$

where\(B_{k}=\{u\in Y_{k}: \|u\|\leq r_{k}\}\), \(\varGamma_{k}=\{\gamma\in C(B_{k},E): \gamma\textit{ is odd}, \gamma\mid_{\partial B_{k}}=\mathit{id}\}\). For\(\lambda\in[1,2]\), there exists a sequence\({\{u_{m}^{k}(\lambda)\} }_{m=1}^{\infty}\)such that

$$ \sup_{m} \bigl\Vert u_{m}^{k}( \lambda) \bigr\Vert < \infty, $$

and as \(m\rightarrow\infty\),

$$ I_{\lambda}' \bigl(u_{m}^{k}(\lambda) \bigr)\rightarrow0,\qquad I_{\lambda}\bigl(u_{m}^{k}(\lambda) \bigr)\rightarrow\xi_{k}(\lambda). $$

Now we give several useful lemmas. The first lemma on compact imbedding is well known and its proof can be found in [15].

Lemma 2.2

By condition\((V_{2})\)and\(2\leq p<2^{*}\), the imbedding\(E \hookrightarrow L^{p}(R^{N})\)is compact.

Lemma 2.3

Assume that\((V_{1})\), \((V_{2})\), and\((S_{1})\)hold, then there exist a number\(k_{1}\in\mathbb{Z}^{+}\)and a sequence\(\{\rho_{k}\}\)such that, as\(\rho_{k}\rightarrow\infty\) (\(k\rightarrow\infty \)), it has

$$ \alpha_{k}(\lambda)=\inf_{u\in Z_{k},\|u\|=\rho_{k}}I_{\lambda}(u)>0,\quad \forall k\geq k_{1}, $$
(2.3)

where\(\alpha_{k}(\lambda)\geq\frac{\rho_{k}^{2}}{4}\), \(Z_{k}=\overline {\bigoplus_{j=k}^{\infty}X_{j}}=\overline{\operatorname{span}\{e_{k},\ldots\}}\).

Proof

Observe that by conditions \((V_{1})\), \((V_{2})\) and Lemma 3.8 of [18], it holds

$$ l_{k}(q)=\sup_{u\in Z_{k}, \Vert u \Vert =1} \Vert u \Vert _{q}\rightarrow0,\quad k\rightarrow\infty. $$
(2.4)

By condition \((S_{2})\), there exists a constant \(c_{3},c_{4}>0\) such that, for \(\forall(x,u)\in\mathbb{R}^{N}\),

$$ \bigl\vert F(x,u) \bigr\vert \leq c_{3}\bigl( \vert u \vert ^{2}+ \vert u \vert ^{p}\bigr). $$
(2.5)

(2.5) and (2.1) imply that, for \(\forall(\lambda ,u)\in[1,2]\times\mathbb{R}\),

$$ \begin{aligned}[b] I_{\lambda}(u) &=\frac{1}{2}{ \Vert u \Vert }^{2}-\lambda \int_{\mathbb {R}^{N}}F(x,u)\,dx \\ &\geq\frac{1}{2}{ \Vert u \Vert }^{2}-\lambda \int_{\mathbb {R}^{N}}c_{3} \vert u \vert ^{2}+c_{4} \vert u \vert ^{p}\,dx \\ &\geq\frac{1}{2}{ \Vert u \Vert }^{2}-2\bigl(c_{3} \Vert u \Vert ^{2}_{2}+c_{4} \Vert u \Vert ^{p}_{p}\bigr) \\ &= \frac{1}{2}{ \Vert u \Vert }^{2}-2 \bigl(c_{3}l_{2}^{2}(k) \Vert u \Vert ^{2}+c_{4}l_{p}^{p}(k) \Vert u \Vert ^{p} \bigr). \end{aligned} $$
(2.6)

By (2.4), there exists \(k_{1}\) such that, for any \(k>k_{1}\), one has \(l_{2}(k)<\sqrt{\frac{1}{16c_{3}}}\). Now we take \(\rho_{k}=\frac{1}{2} (\frac {1}{16c_{4}l_{p}^{p}(k)} )^{\frac{1}{p-2}}\). Then a direct computation implies \(I_{\lambda}(u)>\frac{\rho_{k}^{2}}{4}\) for \(u\in Z_{k}\) with \(\|u\|=\rho_{k}\). Moreover, by \(l_{p}^{p}(k)\rightarrow0\), it holds \(\rho _{k}\rightarrow\infty\) as \(k\rightarrow\infty\). □

Next we prove the following lemma.

Lemma 2.4

Suppose that\((V_{1})\), \((V_{2})\), \((S_{1})\)\((S_{3})\)hold. Then, for\(k_{1}\in \mathbb{Z}^{+}\)and the sequence\(\{\rho_{k}\}\)in Lemma 2.3, there exists\(r_{k}>0\)such that, for\(r_{k}>\rho_{k}\),

$$ \beta_{k}(\lambda)=\max_{u\in Y_{k}, \|u\|=r_{k}}I_{\lambda}(u)< 0 ,\quad \forall k\geq k_{1}, $$
(2.7)

where\(k\in\mathbb{N}\), \(Y_{k}=\bigoplus_{j=1}^{k}X_{j}=\operatorname{span}\{ e_{1},\ldots, e_{k}\}\).

Proof

By the proof of Lemma 2.6 in [21], for any finite dimensional subspace \(\tilde{E}\subset E\), there exists a constant \(\epsilon>0\) such that

$$ \operatorname{meas}\bigl\{ x\in\mathbb{R}^{N}: \bigl\vert u(x) \bigr\vert \geq\epsilon \Vert u \Vert \bigr\} \geq \epsilon,\quad \forall u \in\tilde{E}, u\neq0. $$
(2.8)

Therefore, by the fact that the dimension of \(Y_{k}\) is finite, there exists a constant \(\epsilon_{k}>0\) such that

$$ \operatorname{meas}\bigl(\varOmega_{u}^{k}\bigr) \geq\epsilon_{k},\quad \forall u\in Y_{k}, u\neq0, $$
(2.9)

where \(\varOmega_{u}^{k}=\{x\in\mathbb{R}^{N}: |u(x)|\geq\epsilon_{k} \|u\|\}\) for all \(k\in\mathbb{N}\). By \((S_{3})\), for each \(k\in\mathbb{N}\) and \(m_{1}> \frac{1}{2}\), there exists a constant \(\zeta_{k}>0\) such that

$$ f(x,u)\geq\frac{2m_{1}u}{\epsilon^{3}_{k}},\quad \forall x\in\mathbb {R}^{N}, \vert u \vert \geq\zeta_{k}, $$
(2.10)

which yields that

$$ F(x,u)\geq\frac{m_{1}u^{2}}{\epsilon^{3}_{k}},\quad \forall x\in\mathbb {R}^{N}, \vert u \vert \geq\zeta_{k}. $$
(2.11)

Then, for any \(k\in\mathbb{N}\) and \(\lambda\in[1,2]\), one has

$$ \begin{aligned}[b] I_{\lambda}(u) &=\frac{1}{2}{ \Vert u \Vert }^{2}-\lambda \int_{\mathbb {R}^{N}}F(x,u)\,dx \\ &\leq\frac{1}{2}{ \Vert u \Vert }^{2}-\lambda \int_{\varOmega_{u}^{k}}\frac {m_{1} \vert u \vert ^{2}}{\epsilon_{k}^{3}}\,dx \\ &\leq\frac{1}{2}{ \Vert u \Vert }^{2}-\epsilon_{k}^{2} \Vert u \Vert ^{2}m_{1}\frac{\operatorname {meas}(\varOmega_{u}^{k})}{\epsilon_{k}^{3}} \\ &\leq \frac{1}{2}{ \Vert u \Vert }^{2}-m_{1} \Vert u \Vert ^{2}=- \biggl(m_{1}-\frac {1}{2} \biggr) \Vert u \Vert ^{2}, \end{aligned} $$
(2.12)

where \(u\in Y_{k}\) with \(\|u\|\geq\frac{\zeta_{k}}{\epsilon_{k}}\). Choose \(r_{k}>\max \{\zeta_{k},\frac{\zeta_{k}}{\epsilon_{k}} \}\) for any \(k\geq k_{1}\). Then, by \(m_{1}>\frac{1}{2}\), it holds

$$ \beta_{k}(\lambda)=\max_{u\in Y_{k},\|u\|=r_{k}}I_{\lambda}(u) \leq - \biggl(m_{1}-\frac{1}{2} \biggr)r_{k}^{2}< 0. $$
(2.13)

 □

Now we are ready to give the proof of Theorem 1.1.

Proof of Theorem 1.1

First of all, by (2.1), (2.2), and (2.5), \(I_{\lambda}\) maps bounded sets to bounded sets uniformly for \(\lambda\in[1,2]\). By \((S_{1})\), we have \(I_{\lambda}(-u)=I_{\lambda}(u)\) for \((\lambda,u)\in[1,2]\times E\), which implies that condition \((F_{1})\) of Theorem 2.1 holds. It is easy to see that \((F_{2})\) holds by \((S_{3})\) and (2.1). Condition \((F_{3})\) is also true due to Lemma 2.3 and Lemma 2.4. Thus, by Theorem 2.1, there exists a sequence \(\{ u_{m}^{k}(\lambda)\}_{m=1}^{\infty}\) for every \(k\geq k_{1}\) and \(\lambda\in[1,2]\) such that

$$ \sup_{m} \bigl\Vert u_{m}^{k}( \lambda) \bigr\Vert < \infty,\qquad I'_{\lambda} \bigl(u_{m}^{k}(\lambda) \bigr)\rightarrow0,\qquad I_{\lambda}\bigl(u_{m}^{k}(\lambda) \bigr)\rightarrow\xi_{k}( \lambda), \quad\textrm{a.e. on } \mathbb{R}^{N} $$
(2.14)

as \(m\rightarrow\infty\), where \(\xi_{k}(\lambda)=\inf_{\gamma\in\varGamma _{k}}\max_{u\in B_{k}}I_{\lambda}(\gamma(u) )\), \(B_{k}=\{u\in Y_{k}: \|u\|\leq r_{k}\}\), \(\varGamma_{k}=\{\gamma\in C(B_{k},E): \gamma\text{ is odd}, \gamma|_{\partial B_{k}}=\mathit{id}\}\). By (2.14), one can choose a sequence \(\{\lambda_{n}\}\) satisfying \(\lambda_{n}\rightarrow1\) for each \(k\geq k_{1}\). Moreover, we obtain a sequence \(\{u_{m}^{k}(\lambda_{n})\}_{m=1}^{\infty}\) which satisfies as \(m\rightarrow\infty\)

$$ \sup_{m} \bigl\Vert u_{m}^{k}( \lambda_{n}) \bigr\Vert < \infty,\qquad I'_{\lambda_{n}} \bigl(u_{m}^{k}(\lambda _{n}) \bigr)\rightarrow0. $$
(2.15)

Note that \(\{u_{m}^{k}(\lambda_{n})\}_{m=1}^{\infty}\) is bounded for m. So it follows from the compactness of \(B'\) that \(\{u_{m}^{k}(\lambda_{n})\}_{m=1}^{\infty}\) has a strongly convergent subsequence. We denote it still by \(\{u_{m}^{k}(\lambda_{n})\}\). We can suppose that

$$ \lim_{m\rightarrow\infty}u_{m}^{k}( \lambda_{n})=u_{n}^{k}\in E,\quad \forall n\in \mathbb{N}, k\geq k_{1}. $$
(2.16)

Then by (2.15) it holds

$$ I'_{\lambda_{n}}\bigl(u_{n}^{k} \bigr)= 0,\qquad I_{\lambda_{n}}\bigl(u_{n}^{k}\bigr)\geq\bar{ \rho}_{k}=\frac {\rho_{k}^{2}}{4}. $$
(2.17)

Now we claim that \(\{u_{n}^{k}\}_{n=1}^{\infty}\) is bounded. We prove the claim by contradiction. For convenience, we write \(u_{n}^{k}=u_{n}\) for \(n\in\mathbb{N}\). Suppose that \(\|u_{n}\|\rightarrow\infty\). Write \(v_{n}=\frac{u_{n}}{\|u_{n}\|}\). Then it is obvious that \(\| v_{n}\|=1\) and \(\|v_{n}\|_{p}\leq\tau\|v_{n}\|=\tau\) for \(2\leq p< 2^{*}\), where τ is a positive constant by Lemma 2.2. Then by (2.1), (2.2), (2.14), (2.15), and assumption \((S_{4})\), one has, for n being large,

$$ \begin{aligned}[b] c+1&\geq I_{\lambda}(u_{n})- \frac{1}{\mu} I'_{\lambda}(u_{n})u_{n} \\ &=\frac{\mu-2}{\mu} \Vert u_{n} \Vert ^{2}+ \int_{\mathbb{R}^{N}} \biggl(\frac {1}{\mu}f(x,u_{n})u_{n}-F(x,u_{n}) \biggr)\,dx \\ &\geq\frac{\mu-2}{\mu} \Vert u_{n} \Vert ^{2}- \frac{ \vert \nu \vert _{L^{\infty}}}{\mu} \Vert u_{n} \Vert ^{2}_{2}, \end{aligned} $$
(2.18)

which means

$$ 1\leq\frac{2 \vert \nu \vert _{L^{\infty}}}{\mu-2}\limsup_{n\rightarrow\infty} \Vert v_{n} \Vert ^{2}_{2}. $$
(2.19)

Passing to a subsequence, we can assume that

$$ \begin{aligned} &v_{n} \rightharpoonup v_{0} \quad\textrm{in } E; \\ &v_{n} \rightarrow v_{0} \quad\textrm{in } L^{p}\bigl( \mathbb{R}^{N}\bigr) \textrm{ for } 2\leq p< 2^{*}; \\ &v_{n}(x) \rightarrow v_{0}(x) \quad\textrm{a.e. on } \mathbb{R}^{N}. \end{aligned} $$
(2.20)

Therefore it follows from (2.19) and (2.20) that \(v_{0}\neq0\), which implies that \(\operatorname{meas}(\varSigma)>0\), where \(\varSigma=\{x\in\mathbb{R}^{N}: v_{0}(x)\neq0\}\). Since \(\|u_{n}\|\rightarrow\infty\) as \(n\rightarrow\infty\), we get \(|u_{n}|\rightarrow\infty\) as \(n\rightarrow\infty\) on the set Σ. Then, by \((S_{3})\) and (2.17), one has

$$ o(1)=I'_{\lambda_{n}}(u_{n})u_{n}= \Vert u_{n} \Vert ^{2}-\lambda_{n} \int_{\mathbb {R}^{N}}f(x,u_{n})u_{n}\,dx, $$
(2.21)

which implies that

$$ \begin{aligned}[b] o(1)+1&=\lambda_{n} \int_{\mathbb{R}^{N}}\frac{f(x,u_{n})u_{n}}{ \Vert u_{n} \Vert ^{2}}\,dx \\ &\geq\lambda_{n} \int_{\varSigma}\frac{f(x,u_{n})u_{n}}{ \Vert u_{n} \Vert ^{2}}\,dx \\ &=\lambda_{n} \int_{\varSigma}\frac {f(x,u_{n})u_{n}}{ \vert u_{n} \vert ^{2}} \vert v_{n} \vert ^{2}\,dx \\ &=\lambda_{n} \int_{\varSigma}\frac{f(x,u_{n})}{u_{n}} \vert v_{n} \vert ^{2}\,dx \rightarrow\infty, \end{aligned} $$
(2.22)

as \(n\rightarrow\infty\). This contradiction concludes the boundedness of \(\{u_{n}\}_{n=1}^{\infty }\). Thus we get the claim. By the claim and (2.17), it can be shown by a standard way that there exists a strongly convergent subsequence of \(\{u_{n}^{k}\}\). Suppose that \(u_{n}^{k} \rightarrow u_{0}^{k}\) as \(n\rightarrow\infty\). Then by (2.17) one has \(I'_{1}(u_{0}^{k})=0\), i.e., \(u_{0}^{k}\) is a critical point of \(I_{1}(u)\). By (2.17) again, one has \(I_{1}(u_{0}^{k})\geq\bar{\rho}_{k}\rightarrow\infty\) as \(k\rightarrow\infty\). This fact means that equation (1.1) possesses infinitely many high energy solutions. The proof of Theorem 1.1 is complete. □

References

  1. Liu, S., Li, S.: Infinitely many solutions for a superlinear elliptic equation. Acta Math. Sinica (Chin. Ser.) 46, 625–630 (2003) (in Chinese)

    MathSciNet  MATH  Google Scholar 

  2. Ding, Y.: Infinitely many entire solutions of an elliptic system with symmetry. Topol. Methods Nonlinear Anal. 9, 313–323 (1997)

    Article  MathSciNet  Google Scholar 

  3. Jeanjean, L.: On the existence of bounded Palais–Smale sequences and application to a Landesman–Lazer type problem set on \(\mathbb{R}^{N}\). Proc. R. Soc. Edinb., Sect. A 129, 787–809 (1999)

    Article  Google Scholar 

  4. Kristály, A.: Multiple solutions of a sublinear Schrödinger equation. NoDEA Nonlinear Differ. Equ. Appl. 14, 291–301 (2007)

    Article  Google Scholar 

  5. Liu, Z., Su, J., Weth, T.: Compactness results for Schrödinger equations with asymptotically linear terms. J. Differ. Equ. 231, 501–512 (2006)

    Article  Google Scholar 

  6. Liu, Z., Wang, Z., Weth, T.: Multiple solutions of nonlinear Schrödinger equations via flow invariance and Morse theory. Proc. R. Soc. Edinb., Sect. A 136, 945–969 (2006)

    Article  Google Scholar 

  7. Liu, Z., Wang, Z.: Multi-bump type nodal solutions having a prescribed number of nodal domains: II. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 22, 609–631 (2005)

    Article  MathSciNet  Google Scholar 

  8. Bartsch, T., Liu, Z., Weth, T.: Sign changing solutions of superlinear Schrödinger equations. Commun. Partial Differ. Equ. 29, 25–42 (2004)

    Article  Google Scholar 

  9. Bartsch, T., Wang, Z., Willem, M.: The Dirichlet problem for superlinear elliptic equations. In: Chipot, M., Quitter, P. (eds.) Handbook of Differential Equations: Stationary Partial Differential Equations, vol. 2, pp. 1–55. Elsevier, Amsterdam (2005)

    Chapter  Google Scholar 

  10. Bartsch, T., Wang, Z.: Sign changing solutions of nonlinear Schrödinger equations. Topol. Methods Nonlinear Anal. 13, 191–198 (1999)

    Article  MathSciNet  Google Scholar 

  11. Li, G., Szulkin, A.: An asymptotically periodic Schrödinger equation with indefinite linear part. Commun. Contemp. Math. 4, 763–776 (2002)

    Article  MathSciNet  Google Scholar 

  12. Tang, X.: Non-Nehari manifold method for asymptotically periodic Schrödinger equations. Sci. China Math. 58, 715–728 (2015)

    Article  MathSciNet  Google Scholar 

  13. Clark, D.C.: A variant of the Ljusternik–Schnirelman theory. Indiana Univ. Math. J. 22, 65–74 (1972)

    Article  MathSciNet  Google Scholar 

  14. Heinz, H.P.: Free Ljusternik–Schnirelman theory and the bifurcation diagrams of certain singular nonlinear systems. J. Differ. Equ. 66, 263–300 (1987)

    Article  Google Scholar 

  15. Rabinowitz, P.H.: Minimax Methods in Critical Point Theory with Applications to Differential Equations. CBMS Reg. Conf. Ser. Math., vol. 65. Am. Math. Soc., Providence (1986)

    Book  Google Scholar 

  16. Bartsch, T.: Infinitely many solutions of a symmetric Dirichlet problem. Nonlinear Anal. TMA 20, 1205–1216 (1993)

    Article  MathSciNet  Google Scholar 

  17. Bartsch, T., Willem, M.: On an elliptic equation with concave and convex nonlinearities. Proc. Am. Math. Soc. 123, 3555–3561 (1995)

    Article  MathSciNet  Google Scholar 

  18. Willem, M.: Minimax Theorems. Birkhäuser, Boston (1996)

    Book  Google Scholar 

  19. Zou, W.: Variant fountain theorems and their applications. Manuscr. Math. 104, 343–358 (2001)

    Article  MathSciNet  Google Scholar 

  20. Zou, W., Schechter, M.: Critical Point Theory and Its Applications. Springer, Berlin (2006)

    MATH  Google Scholar 

  21. Zhang, Q., Xu, B.: Multiplicity of solutions for a class of semilinear Schrödinger equations with sign-changing potential. J. Math. Anal. Appl. 377, 834–840 (2011)

    Article  MathSciNet  Google Scholar 

  22. Tang, X.: Infinitely many solutions for semilinear Schrödinger equations with sign-changing potential and nonlinearity. J. Math. Anal. Appl. 401, 407–415 (2013)

    Article  MathSciNet  Google Scholar 

  23. Rabinowitz, P.H.: On a class of nonlinear Schrödinger equations. Z. Angew. Math. Phys. 43, 270–291 (1992)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors would like to express sincere thanks to the anonymous referees for their careful reading of the manuscript and valuable comments and suggestions.

Availability of data and materials

Not applicable.

Funding

The paper is supported by the National Natural Science Foundation of China (No. 11671077).

Author information

Authors and Affiliations

Authors

Contributions

The authors declare that this study was independently finished. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Rong Cheng.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Cheng, R., Wu, Y. Remarks on infinitely many solutions for a class of Schrödinger equations with sign-changing potential. Bound Value Probl 2020, 60 (2020). https://doi.org/10.1186/s13661-020-01356-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-020-01356-x

MSC

Keywords