Skip to main content

Two nontrivial solutions for a nonhomogeneous fractional Schrödinger–Poisson equation in \(\mathbb{R}^{3}\)


In this paper, we consider the following nonhomogeneous fractional Schrödinger–Poisson equations:

$$ \textstyle\begin{cases} (-\Delta )^{s}u+V(x)u+\phi u=f(x,u)+g(x)\quad \text{in }\mathbb{R}^{3}, \\ (-\Delta )^{t}\phi =u^{2}\quad \text{in }\mathbb{R}^{3}, \end{cases} $$

where \(s,t\in (0,1]\), \(2t+4s>3\), \((-\Delta )^{s}\) denotes the fractional Laplacian. By assuming more relaxed conditions on the nonlinear term f, using some new proof techniques on the verification of the boundedness of Palais–Smale sequence, existence and multiplicity of solutions are obtained.

1 Introduction

In this paper, we are concerned with nontrivial solutions for the following nonhomogeneous fractional Schrödinger–Poisson system:

$$\begin{aligned} \textstyle\begin{cases} (-\Delta )^{s}u+V(x)u+\phi u=f(x,u)+g(x)\quad \text{in }\mathbb{R}^{3}, \\ (-\Delta )^{t}\phi =u^{2}\quad \text{in } \mathbb{R}^{3}, \end{cases}\displaystyle \end{aligned}$$

where \(s,t\in (0,1]\), \(2t+4s>3\), \((-\Delta )^{s}\) denotes the fractional Laplacian.

The nonlinear fractional Schrödinger–Poisson system (E) comes from the following fractional Schrödinger equation:

$$ (-\Delta )^{s}u+V(x)u=m(x,u),\quad x\in \mathbb{R}^{3}, $$

used to study the standing wave solutions \(\psi (x,t)=u(x)e^{-iwt}\) for the equation

$$ i\hbar \frac{\partial \psi }{\partial t}=\hbar (-\Delta )^{\alpha } \psi +W(x)\psi -m(x,\psi ),\quad x\in \mathbb{R}^{3}, $$

where ħ is Planck’s constant, \(W:\mathbb{R}^{3} \rightarrow \mathbb{R}\) is an external potential, and m is a suitable nonlinearity. In the research of fractional quantum mechanics, this equation is an important model; therefore, it has been extensively studied, for example, see [4, 5, 13, 20, 22, 25, 26, 29, 32, 33] and their references.

When \(s=t=1\), system (E) reduces to the following Schrödinger–Poisson type equations:

$$\begin{aligned} \textstyle\begin{cases} -\Delta u+V(x)u+\phi u=m(x,u)\quad \text{in } \mathbb{R}^{3}, \\ -\Delta \phi =u^{2}\quad \text{in } \mathbb{R}^{3}. \end{cases}\displaystyle \end{aligned}$$

This problem was first introduced by Benci and Fortunato in [2]. They took it as a physical model describing solitary waves for nonlinear Schrödinger type equations interacting with a known electrostatic field. The first equation of (E′) is coupled with a Poisson equation, which means that the potential is determined by the charge of the wave function. The term ϕu is nonlocal and concerns the interaction with the electric field. We refer the readers to [1, 16, 17] and the references for the details about the physical background. Moreover, equation (E′) has been dealt with by several papers, for example, [3, 7, 14, 15, 21, 24, 27, 30, 34, 35]. The authors in [27] researched the case when m was asymptotically linear at infinity. In [34], when m is superlinear at infinity, the authors proved the existence of ground state solutions. In [21], the researcher considered the existence of infinitely many solutions via the fountain theorem.

However, the fractional Schrödinger–Poisson system was first introduced by Giammetta in [12] and the diffusion is fractional only in the Poisson equation. In the last decades, there have been many papers devoted to the existence and multiplicity of solutions for the system like

$$\begin{aligned} \textstyle\begin{cases} (-\Delta )^{s}u+V(x)u+\phi u=f(x,u)\quad \text{in } \mathbb{R}^{3}, \\ (-\Delta )^{t}\phi =u^{2}\quad \text{in } \mathbb{R}^{3}. \end{cases}\displaystyle \end{aligned}$$

Under different assumptions on the potential \(V(x)\) and the nonlinearity f, the tools are variational methods and critical point theory, see [5, 10, 11, 31] and the references therein. In [31], with the following super-quadratic conditions, the researcher proved the existence of infinitely many solutions for the fractional Schrödinger–Poisson equation:


\(V\in C(\mathbb{R}^{3},\mathbb{R})\) and \(\inf_{x\in \mathbb{R}^{3}}V(x)\geq V_{0}>0\), where \(V_{0}\) is a positive constant. Moreover, for each \(b>0\), \(|\{x\in \mathbb{R}^{3}|V(x) \leq b\}|<+\infty \), where \(|\cdot |\) is the Lebesgue measure;


\(f\in C(\mathbb{R}^{3}\times \mathbb{R},\mathbb{R})\) for every \(x\in \mathbb{R}^{3}\) and \(u\in \mathbb{R}\), there exists a constant \(C>0\) such that

$$ \bigl\vert f(x,u) \bigr\vert \leq C\bigl(1+ \vert u \vert ^{p-1} \bigr) $$

for some \(p\in (2,2^{*}_{s})\), where \(2^{*}_{s}=\frac{6}{3-2s}\) is the fractional critical Sobolev exponent. Moreover, \(f(x,t)=o(|u|)\), \(|u|\rightarrow 0\), uniformly on \(\mathbb{R}^{3}\);


\(\frac{F(x,u)}{|u|^{4}}\rightarrow +\infty \) as \(|u|\rightarrow \infty \) uniformly on \(\mathbb{R}^{3}\);


There exists a constant \(\theta \geq 1\) such that

$$ \theta \mathfrak{F}(x,u)\geq \mathfrak{F}(x,\tau u),\quad \forall (x,u)\in \mathbb{R}^{3}\times \mathbb{R}, \tau \in [0,1], $$

where \(\mathfrak{F}(x,u)=\frac{1}{4}uf(x,u)-F(x,u)\);


There exists \(r_{1}>0\) such that

$$ 4F(x,u)\leq uf(x,u), \quad\forall (x,u)\in \mathbb{R}^{3}\times \mathbb{R}, \vert u \vert \geq r_{1}; $$

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

Under conditions \((A_{1})\)\((A_{4}), (A_{6})\) or \((A_{1})\)\((A_{3})\), \((A_{5})\), and \((A_{6})\), the author obtained infinitely many solutions for (E″).

In [6], in order to prove the existence of high energy solutions, the following Ambrosetti and Rabinowitz condition was assumed:

\((A_{0})\) (Also known as (AR) condition) There exist \(\mu >4\) and \(r_{1}>0\) such that

$$ 0< \mu F(x,u)\leq uf(x,u), \quad\forall (x,u)\in \mathbb{R}^{3}\times \mathbb{R}, \vert u \vert \geq r_{1}. $$

It is known that the (AR) condition is important to verify the boundedness of a \((PS)_{c}\)\((c\in \mathbb{R})\) sequence of the corresponding functional. Without the (AR) condition, the problem becomes more complicated. In order to overcome the difficulty, we will assume that \(f(x,u)\) in problem (E) satisfies some weaker conditions. We also use the conditions on the potential \(V(x)\) to get the boundedness; to the best of our knowledge, about this, little information could be found in the existing references. In this paper, we assume that the functions V and f satisfy the following conditions:


\(V\in C(\mathbb{R}^{3},\mathbb{R})\) and \(\inf_{x\in \mathbb{R}^{3}}V(x)\geq V_{0}>0\), where \(V_{0}\) is a positive constant;


For each \(b>0\), \(|\{x\in \mathbb{R}^{3}|V(x)\leq b\}|<+ \infty \), where \(|\cdot |\) is the Lebesgue measure;


\(f\in C(\mathbb{R}^{3}\times \mathbb{R},\mathbb{R})\) for every \(x\in \mathbb{R}^{3}\) and \(t\in \mathbb{R}\), there exists a constant \(C>0\) such that

$$ \bigl\vert f(x,t) \bigr\vert \leq C\bigl(1+ \vert t \vert ^{p-1} \bigr) $$

for some \(p\in (2,2^{*}_{s})\), where \(2^{*}_{s}=\frac{6}{3-2s}\) is the fractional critical Sobolev exponent;


\(f(x,t)=o(|t|)\), \(|t|\rightarrow 0\), uniformly on \(\mathbb{R}^{3}\);


\(\frac{F(x,t)}{t^{4}}\rightarrow +\infty \) as \(|t|\rightarrow \infty \) uniformly on \(\mathbb{R}^{3}\);


There exist \(L>0\) and \(d\in [0,\frac{V_{0}}{2}]\) such that

$$ 4F(x,t)-f(x,t)t\leq d \vert t \vert ^{2} $$

for a.e. \(x\in \mathbb{R}^{3}\) and \(\forall |t|\geq L\). Now we state our results as follows.

Theorem 1.1

Assume that\(s,t\in (0,1]\), \(2t+4s>3\), \(g\in L^{2}(\mathbb{R}^{3})\), \(g\neq 0\), \((V_{0}),(V_{1})\), and\((f_{1})\)\((f_{4})\)hold. Then there exists a constant\(g_{0}\)such that problem (E) has at least two different solutions whenever\(|g|_{2}< g _{0}\), one is a negative energy solution, and the other is a positive energy solution.

Remark 1.2

Note that condition \((f_{3})\) is more general than the condition

$$ 0< \mu F(x,t)\leq tf(x,t),\quad \mu >4, t\neq 0. $$

(Similar to the proof of Lemma 2.2 of [9].)

Theorem 1.3

Assume that\(t\in (0,1]\), \(s\in (3/4,1)\), \(2t+4s>3\), \(g\in L^{2}(\mathbb{R}^{3})\), \(g\neq 0\), \((V_{0}),(V_{1})\), and\((f_{2})\)and


\(f\in C(\mathbb{R}^{3}\times \mathbb{R},\mathbb{R})\)for every\(x\in \mathbb{R}^{3}\)and\(t\in \mathbb{R}\), there exists a constant\(C>0\)such that

$$ \bigl\vert f(x,t) \bigr\vert \leq C\bigl(1+ \vert t \vert ^{p-1} \bigr) $$

for some\(p\in (4,2^{*}_{s})\), where\(2^{*}_{s}=\frac{6}{3-2s}\)is the fractional critical Sobolev exponent;


\(\inf_{x\in \mathbb{R}^{3},|t|=1}F(x,t)>0\), where\(F(x,t)= \int _{0}^{t} f(x,s)\,ds\);


There exist\(\mu >4\)and\(r>0\)such that

$$ \mu F(x,t)-f(x,t)t\leq 0, \quad\forall x\in \mathbb{R}^{3}, \vert t \vert \geq r $$

hold. Then there exists a constant\(m_{0}\)such that problem (E) has at least two different solutions whenever\(|g|_{2}< m_{0}\), one is a negative energy solution, and the other is a positive energy solution.

Remark 1.4

Conditions \((f_{3}')\) and \((f_{4}')\) imply that the range of p in \((f_{1}')\) should be \((4,2^{*}_{s})\) not \((2,2^{*} _{s})\). If \(p\leq 4\), by \((f_{1}')\), one has

$$ \bigl\vert F(x,t) \bigr\vert \leq \int _{0}^{1} \bigl\vert f(x,st)t \bigr\vert \,ds\leq C \int ^{1}_{0}\bigl(1+ \vert st \vert ^{p-1}\bigr) \vert t \vert \,ds \leq C\bigl( \vert t \vert + \vert t \vert ^{p}\bigr) $$

for all \((x,t)\in \mathbb{R}^{3}\times \mathbb{R}\), then we conclude that

$$ \limsup_{|t|\rightarrow +\infty }\frac{F(x,t)}{t^{4}}\leq C\quad \text{uniformly in } x\in \mathbb{R}^{3}. $$

For any \(x\in \mathbb{R}^{3} \), \(r\in \mathbb{R}\), define

$$ m(t):=F\bigl(x,t^{-1}r\bigr)t^{\mu },\quad t\geq 1. $$

Then, by \((f_{4}')\), one has

$$ m'(t)=t^{\mu -1}\bigl[\mu F\bigl(x,t^{-1}r \bigr)-t^{-1}rf\bigl(x,t^{-1}r\bigr)\bigr]\leq 0 $$

for \(|r|\geq 1\), \(t\in [1,|r|]\). That is, \(m(1)\geq m(|r|)\). Therefore, by \((f'_{3})\), we deduce

$$ F(x,r)\geq F\biggl(x,\frac{r}{ \vert r \vert }\biggr) \vert r \vert ^{\mu } \geq \inf_{x\in \mathbb{R}^{3}, \vert t \vert =1}F(x,t) \vert r \vert ^{\mu } $$

for \(x\in \mathbb{R}^{3}\) and \(|r|\geq 1\), which contradicts (1.1). That is, \((f_{3}')\) and \((f_{4}')\) imply that the range of p in \((f_{1}')\) should be \((4,2^{*}_{s})\).

Theorem 1.5

Assume that\(g\in L^{2}(\mathbb{R}^{3})\), \(g\neq 0\), \((V_{0}),(V_{1})\), \((f_{1})\), \((f_{2})\)and


there exists\(L'>0\)such that

$$ c'=\inf_{x\in \mathbb{R}^{3},|t|=L'}F(x,t)>0; $$

there exist\(\mu >4\)and\(d'\in [0, \frac{c'(\mu -2)}{L^{\prime \,2}} )\)such that

$$ \mu F(x,t)-f(x,t)t\leq d' \vert t \vert ^{2}\quad \textit{for a.e. } x\in \mathbb{R} ^{3} \textit{ and } \forall \vert t \vert \geq L'. $$

Then there exists a constant\(g_{0}\)such that problem (E) has at least two different solutions whenever\(|g|_{2}< g_{0}\), one is a negative energy solution, and the other is a positive energy solution.

2 Preliminaries

In this paper, we make use of the following notations: the \(L^{r}\)-norm (\(1\leq r\leq +\infty \)) by \(|\cdot |_{r}\). C denotes various positive constants, which may vary from line to line.

We define the Gagliardo seminorm by

$$ [u]_{s,p}= \biggl( \int _{\mathbb{R}^{3}} \int _{\mathbb{R}^{3}} \frac{ \vert u(x)-u(y) \vert ^{p}}{ \vert x-y \vert ^{3+sp}}\,dx\,dy \biggr)^{1/p}, $$

where \(u:\mathbb{R}^{3}\rightarrow \mathbb{R}\) is a measurable function. Then we define a fractional Sobolev space by

$$ W^{s,p}\bigl(\mathbb{R}^{3}\bigr)= \bigl\{ u\in L^{p}\bigl(\mathbb{R}^{3}\bigr): u \text{ is measurable and } [u]_{s,p}< \infty \bigr\} $$

endowed with the norm

$$ \Vert u \Vert _{s,p}= \bigl([u]^{p}_{s,p}+ \vert u \vert _{p}^{p} \bigr)^{1/p}, $$

where \(|u|_{p}=(\int _{\mathbb{R}^{3}}|u(x)|^{p}\,dx)^{1/p}\).

For \(p=2\), the space \(W^{s,2}(\mathbb{R}^{3})\) is an equivalent definition of the fractional Sobolev spaces, which is based on the Fourier analysis, that is,

$$ H^{s}\bigl(\mathbb{R}^{3}\bigr)=W^{s,2}\bigl( \mathbb{R}^{3}\bigr)=\biggl\{ u\in L^{2}\bigl(\mathbb{R} ^{3}\bigr): \int _{\mathbb{R}^{3}}\bigl(1+ \vert \xi \vert ^{2s}\bigr) \vert \tilde{u} \vert ^{2}\,d\xi < \infty \biggr\} $$

endowed with the norm

$$ \Vert u \Vert _{H^{s}}= \biggl( \int _{\mathbb{R}^{3}} \vert \xi \vert ^{2s} \vert \tilde{u} \vert ^{2}\,d \xi + \int _{\mathbb{R}^{3}} \vert \tilde{u} \vert ^{2}\,d\xi \biggr)^{1/2}, $$

where ũ denotes the usual Fourier transform of u.

Furthermore, we know that \(\|\cdot \|_{H^{s}}\) is equivalent to the norm

$$ \Vert u \Vert _{H^{s}}= \biggl( \int _{\mathbb{R}^{3}} \bigl\vert (-\triangle )^{s/2}u \bigr\vert ^{2}\,dx+ \int _{\mathbb{R}^{3}}u^{2}\,dx \biggr)^{1/2}. $$

In view of the potential \(V(x)\), we consider the subspace

$$ X=\biggl\{ u\in H^{s}\bigl(\mathbb{R}^{3}\bigr): \int _{\mathbb{R}^{3}}V(x)u^{2}\,dx< \infty \biggr\} . $$

Thus, X is a Hilbert space with the inner product

$$ (u,v)= \int _{\mathbb{R}^{3}}\bigl( \vert \xi \vert ^{2s}\tilde{u}( \xi )\tilde{v}( \xi )+\tilde{u}(\xi )\tilde{v}(\xi )\bigr)\,d\xi + \int _{\mathbb{R}^{3}}V(x)u(x)v(x)\,dx $$

and the norm

$$ \Vert u \Vert _{X}= \biggl( \int _{\mathbb{R}^{3}}\bigl( \vert \xi \vert ^{2s} \bigl\vert \tilde{u}(\xi ) \bigr\vert ^{2}+ \bigl\vert \tilde{u}(\xi ) \bigr\vert ^{2}\bigr)\,d\xi + \int _{\mathbb{R}^{3}}V(x)u^{2}(x)\,dx \biggr) ^{1/2}. $$

Moreover, \(\|\cdot \|_{X}\) is equivalent to the norm

$$ \Vert u \Vert := \Vert u \Vert _{X}= \biggl( \int _{\mathbb{R}^{3}} \bigl\vert (-\triangle )^{s/2}u \bigr\vert ^{2}\,dx+ \int _{\mathbb{R}^{3}}V(x)u^{2}\,dx \biggr)^{1/2}, $$

where the corresponding inner product is

$$ (u,v)_{X}= \int _{\mathbb{R}^{3}} \biggl((-\triangle )^{s/2}u(-\triangle )^{s/2}v+ \int _{\mathbb{R}^{3}}V(x)uv \biggr)\,dx. $$

The homogeneous Sobolev space \(D^{s,2}(\mathbb{R}^{3})\) is defined by

$$ D^{s,2}\bigl(\mathbb{R}^{3}\bigr)=\bigl\{ u\in L^{2^{*}_{s}}\bigl(\mathbb{R}^{3}\bigr): \vert \xi \vert ^{s} \tilde{u}(\xi )\in L^{2}\bigl(\mathbb{R}^{3} \bigr)\bigr\} , $$

which is the completion of \(C^{\infty }_{0}(\mathbb{R}^{3})\) under the norm

$$ \Vert u \Vert _{D^{s,2}}= \biggl( \int _{\mathbb{R}^{3}} \bigl\vert (-\triangle )^{s/2}u \bigr\vert ^{2}\,dx \biggr) ^{1/2} = \biggl( \int _{\mathbb{R}^{3}} \vert \xi \vert ^{2s} \bigl\vert \tilde{u}(\xi ) \bigr\vert ^{2}\,d \xi \biggr)^{1/2} $$

endowed with the inner product

$$ (u,v)_{D^{s,2}}= \int _{\mathbb{R}^{3}}(-\triangle )^{s/2}u(-\triangle )^{s/2}v\,dx. $$

Then \(D^{s,2}(\mathbb{R}^{3})\hookrightarrow L^{2^{*}_{s}}(\mathbb{R} ^{3})\), that is, there exists a constant \(C_{0}>0\) such that

$$ \vert u \vert _{2^{*}_{s}}\leq C_{0} \Vert u \Vert _{D^{s,2}}. $$

Lemma 2.1


SpaceXis continuously embedded in\(L^{p}(\mathbb{R}^{3})\)for\(2\leq p\leq 2^{*}_{s}\)and compactly embedded in\(L^{p}(\mathbb{R}^{3})\)for all\(p\in [2,2^{*}_{s})\).

By Lemma 2.1, one obtains that there exists a constant\(\nu _{p}>0\)such that

$$ \vert u \vert _{p}\leq \nu _{p} \Vert u \Vert , $$

where\(|u|_{p}\)denotes the usual norm in\(L^{p}(\mathbb{R}^{3})\)for\(2\leq p\leq 2^{*}_{s}\).

Lemma 2.2

(Theorem 2.1, [8])

For any\(s\in (0, \frac{3}{2})\), \(D^{s,2}(\mathbb{R}^{3})\)is continuously embedded in\(L^{2^{*}_{s}}(\mathbb{R}^{3})\), that is, there exists\(c_{s}>0\)such that

$$ \biggl( \int _{\mathbb{R}^{3}} \vert u \vert ^{2^{*}_{s}}\,dx \biggr)^{2/2^{*}_{s}} \leq c_{s} \int _{\mathbb{R}^{3}} \bigl\vert (-\triangle ) ^{\frac{s}{2}}u \bigr\vert ^{2}\,dx,\quad u\in D^{s,2}\bigl(\mathbb{R}^{3} \bigr). $$

If \(2t+4s>3\), then \(X\hookrightarrow L^{\frac{12}{3+2t}}(\mathbb{R} ^{3})\). For \(u\in X\), the linear operator \(T_{u}:D^{t,2}(\mathbb{R} ^{3})\rightarrow \mathbb{R}\) is defined as

$$ T_{u}(v)= \int _{\mathbb{R}^{3}}u^{2}v\,dx. $$

By Hölder’s inequality and Lemma 2.2,

$$ \bigl\vert T_{u}(v) \bigr\vert \leq \Vert u \Vert ^{2}_{12/(3+2t)} \Vert v \Vert _{2^{*}_{t}}\leq C \Vert u \Vert ^{2} \Vert v \Vert _{D^{t,2}}. $$


$$ \eta (u,v)= \int _{\mathbb{R}^{3}}(-\Delta )^{\frac{t}{2}}u\cdot (- \Delta )^{\frac{t}{2}}v\,dx, \quad u,v\in D^{t,2}\bigl(\mathbb{R}^{3} \bigr). $$

It is clear that \(\eta (u,v)\) is bilinear, bounded, and coercive. The Lax–Milgram theorem implies that, for every \(u\in X\), there exists unique \(\phi ^{t}_{u}\in D^{t,2}(\mathbb{R}^{3})\) such that \(T_{u}(v)= \eta (\phi _{u},v)\) for any \(v\in D^{t,2}(\mathbb{R}^{3})\), that is,

$$ \int _{\mathbb{R}^{3}}(-\Delta )^{\frac{t}{2}}\phi ^{t}_{u} \cdot (- \Delta )^{\frac{t}{2}}v\,dx= \int _{\mathbb{R}^{3}}u^{2}v\,dx. $$

Therefore, \((-\Delta )^{t}\phi ^{t}_{u}=u^{2}\) in a weak sense. Moreover,

$$ \bigl\Vert \phi ^{t}_{u} \bigr\Vert _{D^{t,2}}\leq C \Vert u \Vert ^{2}. $$

Since \(t\in (0,1]\) and \(2t+4s>3\), then \(\frac{12}{3+2t}\in (2,2^{*} _{s})\). From Lemma 2.2, (2.2), and (2.3), it follows that

$$ \bigl\Vert \phi ^{t}_{u} \bigr\Vert _{D^{t,2}}= \int _{\mathbb{R}^{3}} \bigl\vert (-\triangle )^{ \frac{t}{2}}\phi ^{t}_{u} \bigr\vert ^{2}\,dx= \int _{\mathbb{R}^{3}}u^{2}\phi ^{t} _{u} \,dx\leq C \vert u \vert ^{2}_{\frac{12}{3+2t}} \bigl\Vert \phi ^{t}_{u} \bigr\Vert _{D^{t,2}}. $$


$$ \bigl\Vert \phi ^{t}_{u} \bigr\Vert _{D^{t,2}}\leq C \vert u \vert ^{2}_{\frac{12}{3+2t}}. $$

For \(x\in \mathbb{R}^{3}\), we have

$$ \phi ^{t}_{u}(x)=c_{t} \int _{\mathbb{R}^{3}} \frac{u^{2}(y)}{ \vert x-y \vert ^{3-2t}}\,dy, $$

which is the Riesz potential [23], where

$$ c_{t}=\frac{\varGamma (\frac{3-2t}{2})}{\pi ^{3/2}2^{2t}\varGamma (t)}. $$

Substituting \(\phi ^{t}_{u}\) in (E), we have the fractional Schrödinger equation

$$ (-\Delta )^{s}u+V(x)u+\phi ^{t}_{u}u=f(x,u)+g(x),\quad x\in \mathbb{R}^{3}. $$

The energy functional \(I:X\rightarrow \mathbb{R}\) corresponding to problem (2.7) is defined by

$$\begin{aligned} I(u)&= \frac{1}{2} \int _{\mathbb{R}^{3}} \bigl[ \bigl\vert (-\Delta )^{s}u \bigr\vert ^{2}+ V(x)u ^{2} \bigr]\,dx+\frac{1}{4} \int _{\mathbb{R}^{3}}\phi _{u}^{t}u^{2} \,dx- \int _{\mathbb{R}^{3}}F(x,u)\,dx- \int _{\mathbb{R}^{3}}g(x)u\,dx \\ &= \frac{1}{2} \Vert u \Vert ^{2}+\frac{1}{4} \int _{\mathbb{R}^{3}}\phi _{u}^{t}u ^{2} \,dx - \int _{\mathbb{R}^{3}}F(x,u)\,dx- \int _{\mathbb{R}^{3}}g(x)u\,dx,\quad u\in X. \end{aligned}$$

We say that \((u,\phi )\in X\times D^{t,2}(\mathbb{R}^{3})\) is a weak solution of problem (E) if u is a weak solution of (2.7). By a similar argument as [28], we also can get the following lemma, which is important for our research.

Lemma 2.3

Assume that\(g\in L^{2}(\mathbb{R}^{3})\), \((V_{0})\), \((V_{1})\)and\((f_{1})\), \((f_{2})\)hold. ThenIis well defined in X and\(I\in C^{1}(\mathbb{R}^{3},\mathbb{R})\), and

$$\begin{aligned} \bigl\langle I'(u),v\bigr\rangle ={}& \int _{\mathbb{R}^{3}} \bigl[(-\Delta )^{\frac{s}{2}}u(-\Delta )^{ \frac{s}{2}}v+ V(x)uv \bigr]\,dx+ \int _{\mathbb{R}^{3}}\phi _{u}^{t}uv\,dx \\ &{} - \int _{\mathbb{R}^{3}}f(x,u)v\,dx- \int _{\mathbb{R}^{3}}g(x)v\,dx, \quad u,v\in X. \end{aligned}$$

Moreover, let\(\varPsi (u)= \int _{\mathbb{R}^{3}}F(x,u)\,dx+\int _{\mathbb{R}^{3}}g(x)u\,dx\), then\(\varPsi ':X\rightarrow X^{*}\)is compact.

In order to get a negative energy solution, our tool is Ekeland’s variational principle. For readers’ convenience, we give it in the following.

Lemma 2.4

(Theorem 4.1, [18])

LetMbe a complete metric space with metricd, and let\(I:M\rightarrow (-\infty,+ \infty ]\)be a lower semicontinuous function, bounded from below and not identical to +∞. Let\(\varepsilon >0\)be given and\(u\in M\)be such that

$$ I(u)\leq \inf_{M}I+\varepsilon. $$

Then there exists\(v\in M\)such that

$$ I(v)\leq I(u), \qquad d(u,v)\leq 1, $$

and for each\(w\in M\), one has

$$ I(v)\leq I(w)+\varepsilon d(v,w). $$

At the end of this section, we recall the mountain pass theorem, which is necessary to obtain the main results. This theorem allows us to find a Palais–Smale type sequence. Recall that a sequence\(\{u_{n}\} \subset X\)is said to be a Palais–Smale sequence at the level\(c\in \mathbb{R}\) ((PS)c-sequence for short) if\(I_{\lambda }(u _{n})\rightarrow c\)and\(I'_{\lambda }(u_{n})\rightarrow 0\)as\(n\rightarrow \infty \). \(I_{\lambda }\)is said to satisfy the (PS)ccondition if any (PS)c-sequence has a convergent subsequence.

Lemma 2.5

(Theorem 2.2, [19])

LetXbe a real Banach space and\(I\in C^{1}(X,\mathbb{R})\)satisfying (PS) conditions. Suppose\(I(0)=0\)and

  1. (i)

    there are constants\(\rho,\alpha >0\)such that\(I|_{\partial B _{\rho }}\geq \alpha \),

  2. (ii)

    there is\(u_{1}\in X\setminus \bar{B}_{\rho }\)such that\(I(u_{1})\leq 0\).

    ThenIpossesses a critical value\(c\geq \alpha \). Moreover, ccan be characterized as

    $$ c=\inf_{\gamma \in \varGamma }\max_{u\in \gamma ([0,1])}I(u), $$

    where\(\varGamma =\{\gamma \in C([0,1],X):\gamma (0)=0, \gamma (1)=u_{1} \}\).

3 Proof of Theorem 1.1

Lemma 3.1

Assume that\(g\in L^{2}(\mathbb{R}^{3})\)and\((f_{1})\), \((f_{2})\)hold. Then there exist some constantsρ, α, and\(\beta >0\)such that\(I(u)\geq \alpha \)whenever\(\|u\|_{X}=\rho \)and\(|g|_{2}<\beta \).


For any \(\varepsilon >0\), by \((f_{1})\), \((f_{2})\), there exists \(C(\varepsilon )>0\) such that

$$\begin{aligned} &\bigl\vert f(x,u) \bigr\vert \leq \varepsilon \vert u \vert +C(\varepsilon ) \vert u \vert ^{p-1},\quad \forall (x,u)\in \mathbb{R}^{3}\times \mathbb{R}, \end{aligned}$$
$$\begin{aligned} &\bigl\vert F(x,u) \bigr\vert \leq \int ^{1}_{0} \bigl\vert f(x,st)t \bigr\vert \,ds\leq \varepsilon \vert u \vert ^{2}+C( \varepsilon ) \vert u \vert ^{p},\quad \forall (x,u)\in \mathbb{R}^{3}\times \mathbb{R}. \end{aligned}$$

By (2.1), (2.8), (3.2), and Hölder’s inequality,

$$\begin{aligned} I(u)&= \frac{1}{2} \Vert u \Vert ^{2}+\frac{1}{4} \int _{\mathbb{R}^{3}}\phi _{u}^{t}u ^{2} \,dx - \int _{\mathbb{R}^{3}}F(x,u)\,dx- \int _{\mathbb{R}^{3}}g(x)u\,dx \\ &\geq \frac{1}{2} \Vert u \Vert ^{2}- \int _{\mathbb{R}^{3}}F(x,u)\,dx- \int _{\mathbb{R} ^{3}}g(x)u\,dx \\ &\geq \frac{1}{2} \Vert u \Vert ^{2}-\bigl(\varepsilon \vert u \vert ^{2}_{2}+C(\varepsilon ) \vert u \vert ^{p} _{p}\bigr)- \vert g \vert _{2} \vert u \vert _{2} \\ &\geq \frac{1}{2} \Vert u \Vert ^{2}-\bigl(\nu ^{2}_{2}\varepsilon \Vert u \Vert ^{2}+\nu _{p}^{p}C( \varepsilon ) \Vert u \Vert ^{p} \bigr)-\nu _{2} \vert g \vert _{2} \Vert u \Vert \\ &= \Vert u \Vert \biggl[\biggl(\frac{1}{2}-\nu _{2}^{2} \varepsilon \biggr) \Vert u \Vert -\nu _{p}^{p}C( \varepsilon ) \Vert u \Vert ^{p-1}-\nu _{2} \vert g \vert _{2}\biggr]. \end{aligned}$$

Choose \(\varepsilon =\frac{1}{4\nu _{2}^{2}}>0\), and take

$$ m(t)=\frac{1}{4}t-\nu _{p}^{p}C(\varepsilon )t^{p-1}, \quad\forall t\geq 0. $$

Note that \(2< p<2^{*}_{s}\), we can conclude that there exists a constant \(\rho >0\) such that \(h(\rho )=\max_{t\geq 0}h(t)>0\). Therefore, take \(\beta =\frac{1}{2\nu _{2}}m(\rho )>0\), it follows that

$$ I(u)\geq \frac{1}{2}\rho m(\rho )=:\alpha >0 $$

wherever \(\|u\|=\rho \) and \(|g|_{2}<\beta \). This completes the proof. □

Lemma 3.2

Let assumptions\((f_{1})\)\((f_{3})\)be satisfied. Then there exists a function\(e\in X\)with\(\|e\|>\rho \)such that\(I(e)<0\).


For every \(M>0\), by \((f_{1})\)\((f_{3})\), there exists \(C(M)>0\) such that

$$ F(x,u)\geq M \vert u \vert ^{4}-C(M) \vert u \vert ^{2}\quad \forall (x,u)\in \mathbb{R}^{3}\times \mathbb{R}. $$

Choose \(\varphi \in X\) with \(|\varphi |_{4}=1\), then

$$\begin{aligned} I(t\varphi )={}& \frac{t^{2}}{2} \int _{\mathbb{R}^{3}} \bigl[ \bigl\vert (-\Delta )^{\frac{s}{2}} \varphi \bigr\vert ^{2}+ V(x)\varphi ^{2} \bigr]\,dx+ \frac{t^{4}}{4} \int _{\mathbb{R}^{3}}\phi _{\varphi }^{t}\varphi ^{2}\,dx- \int _{\mathbb{R}^{3}}F(x,t\varphi )\,dx \\ &{} -t \int _{\mathbb{R}^{3}}g(x)\varphi \,dx,\quad u\in X. \end{aligned}$$

By (2.3) and (2.4), then

$$ \int _{\mathbb{R}^{3}}\phi _{\varphi }^{t}\varphi ^{2}\,dx= \bigl\vert \phi _{\varphi }^{t} \bigr\vert _{D^{t,2}}^{2}\leq C_{0} \Vert \varphi \Vert ^{4}, $$

combining with (2.8), (3.3) and Hölder’s inequality, one has

$$\begin{aligned} I(t\varphi )&\leq \frac{t^{2}}{2} \Vert \varphi \Vert ^{2}+ \frac{t^{4}}{4}C \Vert \varphi \Vert ^{4}-M \vert \varphi \vert _{4}^{4} t^{4}+C(M) \vert \varphi \vert _{2}^{2}t^{2}-t \int _{\mathbb{R} ^{3}}g(x)\varphi \,dx \\ &\leq \biggl(\frac{C_{0}}{4} \Vert \varphi \Vert ^{4}-M \biggr)t^{4}+\biggl(\frac{1}{2} \Vert \varphi \Vert ^{2}+C(M) \vert \varphi \vert _{2}^{2} \biggr)t^{2}+ \vert g \vert _{2} \vert \varphi \vert _{2}t, \end{aligned}$$

which implies \(I(t\varphi )\rightarrow -\infty \) as \(t\rightarrow + \infty \) by taking \(M>\frac{C_{0}}{4}\|\varphi \|^{4}\). Hence, there exists \(e=t_{0}\varphi \) with \(t_{0}\) sufficiently large such that \(\|e\|>\rho \) and \(I(e)<0\). The proof is completed. □

Lemma 3.3

Assume that\((V_{0}), (V_{1}), (f_{1}), (f_{2})\)hold. Then any bounded Palais–Smale sequence ofIhas a strongly convergent subsequence inX.


Let \(\{u_{n}\}\subset X\) be any bounded Palais–Smale sequence of I. Then, up to a subsequence, there exists \(c_{1}\in \mathbb{R}\) such that

$$ I(u_{n})\rightarrow c_{1},\qquad I'(u_{n})\rightarrow 0\quad \text{and}\quad \sup _{n} \Vert u_{n} \Vert < +\infty. $$

Since the embedding \(X\hookrightarrow L^{p}(\mathbb{R}^{3})\), \(2\leq p<2^{*}_{s}\), is compact, going if necessary to a subsequence, we can assume that there is \(u\in X\) such that

$$\begin{aligned} &u_{n}\rightharpoonup u, \quad\text{weakly in X}; \\ &u_{n}\rightarrow u, \quad\text{strongly in } L^{p}\bigl( \mathbb{R}^{3}\bigr); \\ &u_{n}(x)\rightarrow u(x), \quad\text{a.e. in } \mathbb{R}^{3}. \end{aligned}$$

In view of (2.9), then

$$\begin{aligned} \bigl\langle I'(u_{n})-I'(u), u_{n}-u\bigr\rangle ={}& \Vert u_{n}-u \Vert ^{2}+ \int _{\mathbb{R}^{3}}\bigl(\phi ^{t}_{u_{n}}u_{n}- \phi ^{t} _{u}u\bigr) (u_{n}-u)\,dx \\ &{} - \int _{\mathbb{R}^{3}}\bigl[f(x,u_{n})-f(x,u) \bigr](u_{n}-u)\,dx, \end{aligned}$$

and thus

$$\begin{aligned} \Vert u_{n}-u \Vert ^{2}={}& \bigl\langle I'(u_{n})-I'(u), u_{n}-u\bigr\rangle - \int _{\mathbb{R}^{3}}\bigl(\phi ^{t}_{u_{n}}u_{n}- \phi ^{t}_{u}u\bigr) (u_{n}-u)\,dx \\ &{}+ \int _{\mathbb{R}^{3}}\bigl[f(x,u_{n})-f(x,u) \bigr](u_{n}-u)\,dx. \end{aligned}$$

Clearly, we have

$$\begin{aligned} \bigl\langle I'(u_{n})-I'(u), u_{n}-u\bigr\rangle \rightarrow 0 \quad\text{as } n \rightarrow \infty. \end{aligned}$$

By the generalization of Hölder’s inequality, Lemma 2.2, and (2.6), it follows that

$$\begin{aligned} \biggl\vert \int _{\mathbb{R}^{3}}\phi ^{t}_{u_{n}}u_{n}(u_{n}-u) \,dx \biggr\vert &\leq \bigl\vert \phi ^{t}_{u_{n}} \bigr\vert _{2^{*}_{t}} \vert u_{n} \vert _{\frac{12}{3+2t}} \vert u_{n}-u \vert _{ \frac{12}{3+2t}} \\ & \leq C \bigl\Vert \phi ^{t}_{u_{n}} \bigr\Vert _{D^{t,2}} \vert u_{n} \vert _{\frac{12}{3+2t}} \vert u_{n}-u \vert _{ \frac{12}{3+2t}} \\ & \leq C \vert u_{n} \vert ^{3}_{\frac{12}{3+2t}} \vert u_{n}-u \vert _{\frac{12}{3+2t}} \\ & \leq C \Vert u_{n} \Vert ^{3} \vert u_{n}-u \vert _{\frac{12}{3+2t}}. \end{aligned}$$


$$ \biggl\vert \int _{\mathbb{R}^{3}}\phi ^{t}_{u}u(u_{n}-u) \,dx \biggr\vert \leq C \Vert u \Vert ^{3} \vert u_{n}-u \vert _{ \frac{12}{3+2t}}. $$

Then we have

$$\begin{aligned} \biggl\vert \int _{\mathbb{R}^{3}}\bigl(\phi ^{t}_{u_{n}}u_{n}- \phi ^{t}_{u}u\bigr) (u_{n}-u)\,dx \biggr\vert & \leq \biggl\vert \int _{\mathbb{R}^{3}}\phi ^{t}_{u_{n}}u_{n}(u_{n}-u) \,dx \biggr\vert + \biggl\vert \int _{\mathbb{R}^{3}}\phi ^{t}_{u}u(u_{n}-u) \,dx \biggr\vert \\ & \rightarrow 0, \end{aligned}$$

as \(n\rightarrow \infty \). By (3.1) and using Hölder’s inequality, we can conclude

$$\begin{aligned} &\bigl\vert \bigl[f(x,u_{n})-f(x,u)\bigr](u_{n}-u)\,dx \bigr\vert \\ &\quad\leq \bigl[\varepsilon +C(\varepsilon )\bigr] \int _{\mathbb{R}^{3}}\bigl[ \vert u_{n} \vert + \vert u \vert + \vert u _{n} \vert ^{p-1}+ \vert u \vert ^{p-1}\bigr] \vert u_{n}-u \vert \,dx \\ &\quad\leq \bigl[\varepsilon +C(\varepsilon )\bigr]\bigl( \vert u_{n} \vert _{2}+ \vert u \vert _{2}\bigr) \vert u_{n}-u \vert _{2}+\bigl[ \varepsilon +C(\varepsilon ) \bigr] \bigl( \vert u_{n} \vert ^{p-1}_{p}+ \vert u \vert ^{p-1}_{p}\bigr) \vert u_{n}-u \vert _{p}, \end{aligned}$$

therefore, for \(p\in (2,2^{*}_{s})\), we deduce

$$\begin{aligned} \int _{\mathbb{R}^{3}}\bigl[f(x,u_{n})-f(x,u) \bigr](u_{n}-u)\,dx\rightarrow 0, \end{aligned}$$

as \(n\rightarrow \infty \). Consequently, (3.6)–(3.8) imply that

$$ \Vert u_{n}-u \Vert \rightarrow 0, $$

as \(n\rightarrow \infty \). This completes the proof. □

In order to get a negative energy solution for (E), we will use Ekeland’s variational principle. We consider a minimization of I constrained in a neighborhood of zero and find a critical point of I which achieves the local minimum of I. Furthermore, the level of this local minimum is negative.

Lemma 3.4

Assume that\(g\in L^{2}(\mathbb{R}^{3})\), \(g\neq 0\), and\((f_{1})\)\((f_{3})\)hold. Then

$$ -\infty < \inf \bigl\{ I(u):u\in \bar{B}_{\rho }\bigr\} < 0, $$

where\(\bar{B}_{r}:=\{u\in X:\|u\|\leq r\}\).


By \((f_{1})\)\((f_{3})\), it follows from the proof of Lemma 3.2 that

$$ F(x,t)\geq C_{1} \vert t \vert ^{4}-C_{2} \vert t \vert ^{2},\quad \forall (x,t)\in \mathbb{R}^{3}\times \mathbb{R}, $$

where \(C_{1}\) and \(C_{2}\) are positive constants. Since \(g(x)\in L ^{2}(\mathbb{R}^{3})\) and \(g\neq 0\), we can choose a function \(v\in X\) such that

$$ \int _{\mathbb{R}^{3}}g(x)v(x)>0. $$


$$\begin{aligned} I(tv)={}& \frac{t^{2}}{2} \int _{\mathbb{R}^{3}} \bigl[ \bigl\vert (-\Delta )^{\frac{s}{2}}v \bigr\vert ^{2}+ V(x)v^{2} \bigr]\,dx+\frac{t^{4}}{4} \int _{\mathbb{R}^{3}}\phi _{v}^{t}v ^{2} \,dx- \int _{\mathbb{R}^{3}}F(x,tv)\,dx \\ &{} -t \int _{\mathbb{R}^{3}}g(x)v \,dx \\ \leq {}& \frac{t^{2}}{2} \Vert v \Vert ^{2}+\frac{t^{4}}{4} \int _{\mathbb{R}^{3}}\phi _{v} ^{t}v^{2} \,dx-C_{1} \vert v \vert _{4}^{4}t^{4}+C_{2} \vert v \vert _{2}^{2}t^{2}-t \int _{\mathbb{R}^{3}}g(x)v \,dx\\ < {}&0 \end{aligned}$$

for \(t>0\) small enough, which implies \(\inf \{I(u):u\in \bar{B}_{ \rho }\}<0\). In addition, by (2.1), (2.8), (3.2), and Hölder’s inequality,

$$\begin{aligned} I(u)={}& \frac{1}{2} \int _{\mathbb{R}^{3}} \bigl[ \bigl\vert (-\Delta )^{\frac{s}{2}}u \bigr\vert ^{2}+ V(x)u^{2} \bigr]\,dx+\frac{1}{4} \int _{\mathbb{R}^{3}}\phi _{u}^{t}u^{2} \,dx- \int _{\mathbb{R}^{3}}F(x,u)\,dx \\ &{} - \int _{\mathbb{R}^{3}}g(x)u \,dx \\ \geq {}& - \int _{\mathbb{R}^{3}}F(x,u)\,dx- \int _{\mathbb{R}^{3}}g(x)u \,dx \\ \geq {}& -\bigl(\varepsilon \vert u \vert ^{2}_{2}+C( \varepsilon ) \vert u \vert _{p}^{p}\bigr)- \vert g \vert _{2} \vert u \vert _{2} \\ \geq{} & -\nu _{2}^{2}\varepsilon \Vert u \Vert ^{2}-\nu _{p}^{p}C(\varepsilon ) \Vert u \Vert ^{p}- \nu _{2} \vert g \vert _{2} \Vert u \Vert , \end{aligned}$$

which implies I is bounded below in \(\bar{B}_{\rho }\). Therefore, we obtain

$$ -\infty < \inf \bigl\{ I(u):u\in \bar{B}_{\rho }\bigr\} < 0. $$

The proof is completed. □

In the following, we give the results about the negative energy solution for problem (E).

Lemma 3.5

Assume that\(g\in L^{2}(\mathbb{R}^{3})\), \(g\neq 0\), \((V_{0})\), \((V_{1})\)and\((f_{1})\)\((f_{3})\)hold. Then there exists a constant\(g_{0}>0\)such that problem (E) has a negative energy solution whenever\(|g|_{2}< g_{0}\), that is, there exists a function\(u_{0}\in X\)such that\(I'(u_{0})=0\)and\(I(u_{0})<0\).


By Lemma 3.1 and Lemma 3.4, taking \(g_{0}=\beta >0\), we know that

$$ -\infty < \inf_{\bar{B}_{\rho }}I< 0< \alpha \leq \inf_{\partial B_{ \rho }}I, $$

whenever \(|g|_{2}< g_{0}\). Set \(\frac{1}{n}\in (0,\inf_{\partial B_{ \rho }}I-\inf_{ \bar{B_{\rho }}}I)\), \(n\in \mathbb{N}\). Then there is \(u_{n}\in \bar{B}_{\rho }\) such that

$$\begin{aligned} I(u_{n})\leq \inf_{\bar{B}_{\rho }}I+ \frac{1}{n}. \end{aligned}$$

By Ekeland’s variational principle, it follows that

$$\begin{aligned} I(u_{n})\leq I(u)+\frac{1}{n} \Vert u_{n}-u \Vert , \quad\forall u\in \bar{B}_{\rho }. \end{aligned}$$

Note that \(I(u_{n})\leq \inf_{\bar{B}_{\rho }}I+\frac{1}{n}< \inf_{\partial B_{\rho }}I\). Thus, \(u_{n}\in B_{\rho }\). Define \(M_{n}: X\rightarrow \mathbb{R}\) by

$$ M_{n}(u)=I(u)+\frac{1}{n} \Vert u-u_{n} \Vert . $$

By (3.10), we have that \(u_{n}\in B_{\rho }\) minimizes \(M_{n}\) on \(\bar{B}_{\rho }\). Therefore, for all \(\varphi \in X\) with \(\|\varphi \|=1\), taking \(t>0\) small enough such that \(u_{n}+t\varphi \in \bar{B}_{\rho }\), then

$$ \frac{M_{n}(u_{n}+t\varphi )-M_{n}(u_{n})}{t}\geq 0, $$

which implies that

$$ \frac{I(u_{n}+t\varphi )-I(u_{n})}{t}+\frac{1}{n}\geq 0. $$

Thus, \(\langle I'(u_{n}),\varphi \rangle \geq -\frac{1}{n}\). Hence,

$$ \bigl\Vert I'(u_{n}) \bigr\Vert \leq \frac{1}{n}. $$

Passing to the limit in (3.9) and (3.11), we deduce that

$$ I(u_{n})\rightarrow \inf_{\bar{B}_{\rho }}I\quad \text{and}\quad \bigl\Vert I'(u_{n}) \bigr\Vert \rightarrow 0, $$

as \(n\rightarrow \infty \). Note that \(\|u_{n}\|\leq \rho \), hence \(\{u_{n}\}\subset X\) is a bounded Palais–Smale sequence of I. By Lemma 3.3, \(\{u_{n}\}\) has a strongly convergent subsequence, still denoted by \(\{u_{n}\}\) and \(u_{n}\rightarrow u_{0}\in \bar{B}_{\rho }\), as \(n\rightarrow \infty \). Consequently, it follows from (3.12) that

$$ I(u_{0})=\inf_{\bar{B}_{\rho }}I< 0 \quad\text{and}\quad I'(u_{0})=0. $$

This completes the proof. □

Next, by using the mountain pass theorem, we give the positive energy solution.

Lemma 3.6

Let assumptions\((V_{0}), (V_{1})\)and\((f_{1})\)\((f _{4})\)be satisfied. Then any Palais–Smale sequence ofIis bounded.


Let \(\{u_{n}\}\subset X\) be any Palais–Smale sequence of I. Then, up to a subsequence, there exists \(c_{1}\in \mathbb{R}\) such that

$$ I(u_{n})\rightarrow c_{1}\quad \text{and}\quad I'(u_{n})\rightarrow 0, $$

as \(n\rightarrow \infty \). Combining (2.1), (2.8), (2.9), (3.13), \((V_{0})\), \((V_{1})\) with \((f_{4})\), we have

$$\begin{aligned} c_{1}+1+ \Vert u \Vert \geq {}& I(u_{n})- \frac{1}{4}\bigl\langle I'(u_{n}),u_{n} \bigr\rangle \\ ={}& \frac{1}{4} \int _{\mathbb{R}^{3}} \bigl\vert (-\Delta )^{s}u_{n} \bigr\vert ^{2}+ \frac{1}{4} \int _{\mathbb{R}^{3}}V(x)u_{n}^{2}\,dx \\ &{} + \int _{\mathbb{R}^{3}}\tilde{F}(x,u_{n})\,dx -\frac{3}{4} \int _{\mathbb{R}^{3}}g(x)u_{n}\,dx \\ \geq {}& \frac{1}{4} \int _{\mathbb{R}^{3}} \bigl\vert (-\Delta )^{s}u_{n} \bigr\vert ^{2}+ \frac{1}{4} \int _{\mathbb{R}^{3}}V(x)u_{n}^{2}\,dx - \frac{d}{4} \int _{\mathbb{R}^{3}}u_{n}^{2}\,dx \\ &{} + \int _{A_{n}}\tilde{F}(x,u_{n})\,dx-\frac{3}{4} \nu _{2} \vert g \vert _{2} \Vert u_{n} \Vert \\ \geq {}& \frac{1}{4} \int _{\mathbb{R}^{3}} \bigl\vert (-\Delta )^{s}u_{n} \bigr\vert ^{2}+ \frac{1}{4} \int _{\mathbb{R}^{3}}V(x)u_{n}^{2}\,dx - \frac{1}{8} \int _{\mathbb{R}^{3}}V_{0}u_{n}^{2}\,dx \\ &{} + \int _{A_{n}}\tilde{F}(x,u_{n})\,dx-\frac{3}{4} \nu _{2} \vert g \vert _{2} \Vert u_{n} \Vert \\ \geq {}& \frac{1}{16} \Vert u_{n} \Vert ^{2}+ \frac{1}{16} \int _{\mathbb{R}^{3}}V(x)u_{n} ^{2}\,dx+ \int _{\mathbb{R}^{3}}\tilde{F}(x,u_{n})\,dx -\frac{3}{4} \nu _{2} \vert g \vert _{2} \Vert u_{n} \Vert , \end{aligned}$$

where \(\tilde{F}(x,u_{n})=\frac{1}{4}f(x,u_{n})u_{n}-F(x,u_{n})\) and \(A_{n}=\{x\in \mathbb{R}^{3}:|u_{n}|\leq L\}\). Hence

$$ c_{1}+1+ \biggl(1+\frac{3}{4}\nu _{2} \vert g \vert _{2} \biggr) \Vert u_{n} \Vert \geq \frac{1}{16} \Vert u_{n} \Vert ^{2} + \frac{1}{16} \int _{\mathbb{R}^{3}}V(x)u_{n} ^{2}\,dx+ \int _{\mathbb{R}^{3}}\tilde{F}(x,u_{n})\,dx. $$

For \(x\in \mathbb{R}^{3}\) and \(|u_{n}|\leq L\), by (3.1) and (3.2),

$$\begin{aligned} \bigl\vert \tilde{F}(x,u_{n}) \bigr\vert &\leq \frac{1}{4} \bigl\vert f(x,u_{n}) \bigr\vert \vert u_{n} \vert + \bigl\vert F(x,u_{n}) \bigr\vert \\ &\leq \frac{5}{4}\varepsilon \vert u_{n} \vert ^{2}+\frac{5}{4}C(\varepsilon ) \vert u_{n} \vert ^{p} \\ &= \frac{5}{4}\bigl[\varepsilon +C(\varepsilon ) \vert u_{n} \vert ^{p-2}\bigr] \vert u_{n} \vert ^{2} \\ &\leq \frac{5}{4}\bigl[\varepsilon +C(\varepsilon )L^{p-2} \bigr] \vert u_{n} \vert ^{2}. \end{aligned}$$

Take \(A>\max \{20[\varepsilon +C(\varepsilon )L^{p-2}],V_{0}\}\), then

$$ \tilde{F}(x,u_{n})\geq -\frac{A}{16} \vert u_{n} \vert ^{2},\quad \forall x\in \mathbb{R}^{3}, \vert u_{n} \vert \leq L. $$

Let \(\tilde{A}=\{x\in \mathbb{R}^{3}:V(x)\leq A\}\). By \((V_{0})\), \((V_{1})\), and (3.15), one has

$$\begin{aligned} \frac{1}{16} \int _{\mathbb{R}^{3}}V(x)u_{n}^{2}\,dx+ \int _{A_{n}} \tilde{F}(x,u_{n})\,dx&\geq \frac{1}{16} \int _{ \vert u_{n} \vert \leq L}\bigl(V(x)-A\bigr) \vert u_{n} \vert ^{2}\,dx \\ &\geq \frac{1}{16} \int _{\tilde{A}\bigcap A_{n}}\bigl(V(x)-A\bigr)L^{2}\,dx \\ &\geq \frac{1}{16}(V_{0}-A)L^{2}\mathrm{meas}( \tilde{A}\cap A_{n}) \\ &\geq \frac{1}{16}(V_{0}-A)L^{2}\mathrm{meas}( \tilde{A}). \end{aligned}$$

Note that \(\mathrm{meas}(\tilde{A})<+\infty \) due to \((V_{1})\), it follows from (3.14) and (3.16) that

$$ c_{1}+1+ \biggl(1+\frac{3}{4}\nu _{2} \vert g \vert _{2} \biggr) \Vert u_{n} \Vert \geq \frac{1}{16} \Vert u_{n} \Vert ^{2}+ \frac{1}{16}(V_{0}-A)L^{2}\mathrm{meas}( \tilde{A}), $$

which implies \(\{u_{n}\}\subset X\) is bounded in X. Hence, the proof is completed. □

Lemma 3.7

Assume that\(g\in L^{2}(\mathbb{R}^{3})\), \(g\neq 0\), \((V_{0})\), \((V_{1})\)and\((f_{1})\)\((f_{4})\)hold. Then problem (E) has a positive energy solution whenever\(|g|_{2}< g_{0}\), that is, there exists a function\(u_{1}\in X\)such that\(I'(u_{1})=0\)and\(I(u_{n})>0\).


In order to prove this lemma, we will use Lemma 2.5. In the following, we shall verify that all conditions of Lemma 2.5 are satisfied. By Lemma 3.5, we know that \(g_{0}=\beta >0\). Then, by Lemma 3.1, when \(|g|_{2}< g_{0}\), I satisfies condition \((i)\). Lemma 3.2 implies that I satisfies condition \((ii)\). By virtue of Lemma 3.3 and Lemma 3.6, I satisfies the (PS) condition. It is easy to verify that \(I\in C^{1}(X,\mathbb{R})\) and \(I(0)=0\). Hence, by Lemma 2.5, there exists a function \(u_{1}\in X\) such that \(I'(u_{1})=0\) and \(I(u_{1}) \geq \alpha >0\). The proof is completed. □

Proof of Theorem 1.1

By Lemma 3.5 and Lemma 3.7, we can get the conclusion. □

Proof of Theorem 1.3

We only need to prove that \((f_{3}')\) and \((f'_{4})\) imply \((f_{3})\) and \((f_{4})\). By Remark 1.4, we have

$$ \frac{F(x,t)}{t^{4}}\geq c \vert t \vert ^{\mu -4}, \quad\forall x\in \mathbb{R}^{3}, \vert t \vert \geq 1, $$

which implies \((f_{3})\). Moreover, note that \(\mu >4\), then by \((f'_{4})\) one has

$$\begin{aligned} 4F(x,t)-f(x,t)t&=\mu F(x,t)-f(x,t)t+(4-\mu )F(x,t) \\ &\leq (4-\mu )F(x,t)\leq (4-\mu )c \vert t \vert ^{\mu } \\ &< 0\leq d \vert t \vert ^{2} \end{aligned}$$

for all \(x\in \mathbb{R}^{3}\) and \(|t|\geq 1\). This implies that \((f_{4})\) holds by taking \(L=1\). That is, \((f_{3}')\) and \((f'_{4})\) imply \((f_{3})\) and \((f_{4})\). Then, similar to the proof of Theorem 1.1, we can get the conclusion. □

Proof of Theorem 1.5

It is sufficient to prove that \((f''_{3})\), \((f''_{4})\) imply \((f_{3})\), \((f_{4})\) by applying Theorem 1.1. In fact, for any \((x,r)\in \mathbb{R}^{3}\times \mathbb{R}\), define

$$ h(t):=F\biggl(x,\frac{r}{t}\biggr)t^{\mu }, \quad\forall t\geq 1. $$

Then, for \(|r|\geq L'\) and \(t\in [1,\frac{|r|}{L'}]\), \((f_{4}'')\) implies that

$$\begin{aligned} &h'(t)=f\biggl(x,\frac{r}{t}\biggr) \biggl(- \frac{r}{t^{2}}\biggr)t^{\mu }+\mu F\biggl(x,\frac{r}{t}\biggr)t ^{\mu -1}, \\ &t^{\mu -1} \biggl[\mu F\biggl(x,\frac{r}{t}\biggr)-f\biggl(x, \frac{r}{t}\biggr)\frac{r}{t} \biggr] \leq d't^{\mu -1} \biggl\vert \frac{r}{t} \biggr\vert ^{2}=d't^{\mu -3} \vert r \vert ^{2}. \end{aligned}$$


$$ h\biggl(\frac{ \vert r \vert }{L'}\biggr)-h(1)\leq \int ^{\frac{ \vert r \vert }{L'}}_{1}\,d't^{\mu -3} \vert r \vert ^{2}\,dt =\frac{d' \vert r \vert ^{\mu }}{(\mu -2)L^{\prime \,\mu -2}}-\frac{d' \vert r \vert ^{2}}{\mu -2}. $$

Hence, for any \(x\in \mathbb{R}^{3}\) and \(|r|\geq L'\), by \((f_{3}'')\), one has

$$\begin{aligned} &F(x,r)=h(1)\geq h \biggl(\frac{ \vert r \vert }{L'} \biggr)-\frac{d' \vert r \vert ^{\mu }}{( \mu -2)L^{\prime \,\mu -2}}+ \frac{d' \vert r \vert ^{2}}{\mu -2}, \\ &\Bigl[\inf_{x\in \mathbb{R}^{3}, \vert t \vert =L'}F(x,t) \Bigr] \biggl(\frac{ \vert r \vert }{L'} \biggr) ^{\mu }-\frac{d' \vert r \vert ^{\mu }}{(\mu -2)L^{\prime \,\mu -2}} +\frac{d' \vert r \vert ^{2}}{ \mu -2}\geq \biggl( \frac{c'}{L^{\prime \,\mu }} - \frac{d'}{(\mu -2)L^{\prime \,\mu -2}} \biggr) \vert r \vert ^{\mu }. \end{aligned}$$

By \((f_{4}'')\), let \(C_{0}=\frac{c'}{L^{\prime \,\mu }}-\frac{d'}{(\mu -2)L^{\prime \, \mu -2}}>0\), it has \(F(x,r)\geq C_{0}|r|^{\mu }\) for \(x\in \mathbb{R} ^{3}\) and \(|r|\geq L'\). Hence,

$$ \frac{F(x,r)}{r^{4}}\geq C_{0} \vert r \vert ^{\mu -4},\quad \forall x\in R^{3}, \vert r \vert \geq L', $$

which implies \((f_{3})\) due to \(\mu >4\). Moreover, combined with \((f_{4}'')\), we also get

$$ 4F(x,r)-f(x,r)r\leq d' \vert r \vert ^{2}-(\mu -4)C_{0} \vert r \vert ^{\mu } $$

for all \(x\in \mathbb{R}^{3}\) and \(|r|\geq L'\). Together with \(\mu >4\), there exists \(L>0\) such that

$$ 4F(x,r)-f(x,r)r< 0, \quad x\in \mathbb{R}^{3}, \vert r \vert \geq L, $$

which implies \((f_{4})\). Hence, the proof is completed. □


  1. Benci, V., Fortunato, D.: An eigenvalue problem for the Schrödinger–Maxwell equations. Topol. Methods Nonlinear Anal. 11, 283–293 (1998)

    Article  MathSciNet  Google Scholar 

  2. Benci, V., Fortunato, D.: Solitary waves of the nonlinear Klein–Gordon equation coupled with the Maxwell equations. Rev. Math. Phys. 14, 409–420 (2002)

    Article  MathSciNet  Google Scholar 

  3. Cerami, G., Vaira, G.: Positive solutions for some non-autonomous Schrödinger–Poisson systems. J. Differ. Equ. 248, 521–543 (2010)

    Article  Google Scholar 

  4. Chang, X.: Ground state solutions of asymptotically linear fractional Schrödinger equation. J. Math. Phys. 54, 061504 (2013)

    Article  MathSciNet  Google Scholar 

  5. Chen, J., Tang, X., Luo, H.: Infinitely many solutions for fractional Schrödinger–Poisson system with sign-changing potential. Electron. J. Differ. Equ. 2017, 1 (2017)

    Article  Google Scholar 

  6. Chen, S., Tang, C.: High energy solutions for the Schrödinger–Maxwell equations. Nonlinear Anal. 71, 4927–4934 (2009)

    Article  MathSciNet  Google Scholar 

  7. Cheng, B., Wu, X., Liu, J.: Multiple solutions for a class of Kirchhoff type problems with concave nonlinearity. Nonlinear Differ. Equ. Appl. 19, 521–537 (2012)

    Article  MathSciNet  Google Scholar 

  8. Cotsiolis, A., Tavoularis, N.: Sharp Sobolev type inequalities for higher fractional derivatives. C. R. Acad. Sci. Paris, Ser. I 335, 801–804 (2002)

    Article  MathSciNet  Google Scholar 

  9. Ding, Y., Szulkin, A.: Bound states for semilinear Schrödinger equations with sign-changing potential. Calc. Var. Partial Differ. Equ. 29, 397–419 (2007)

    Article  Google Scholar 

  10. Duarte, R., Souto, M.: Fractional Schrödinger–Poisson equations with general nonlinearities. Electron. J. Differ. Equ. 2016, 319 (2016)

    Article  Google Scholar 

  11. Gao, Z., Tang, X., Chen, S.: Existence of ground state solutions of Nehari–Pohozaev type for fractional Schrödinger–Poisson systems with a general potential. Comput. Math. Appl. 75, 614–631 (2018)

    Article  MathSciNet  Google Scholar 

  12. Giammetta, A.: Fractional Schrödinger–Poisson–Slater system in one dimension. arXiv:1405.2796v1

  13. Guo, Y., Tang, Z.: Ground state solutions for the quasilinear Schrödinger equation. Nonlinear Anal. 75, 3235–3248 (2012)

    Article  MathSciNet  Google Scholar 

  14. Hebey, E., Wei, J.: Schrödinger–Poisson systems in the 3-sphere. Calc. Var. Partial Differ. Equ. 47, 25–54 (2013)

    Article  Google Scholar 

  15. Li, Q., Su, H., Wei, Z.: Existence of infinitely many large solutions for the nonlinear Schrödinger–Maxwell equations. Nonlinear Anal. 72, 4264–4270 (2010)

    Article  MathSciNet  Google Scholar 

  16. Lions, P.: Solutions of Hartree–Fock equations for Coulomb systems. Commun. Math. Phys. 109, 33–97 (1987)

    Article  MathSciNet  Google Scholar 

  17. Markowich, P., Ringhofer, C., Schmeiser, C.: Semiconductor Equations. Springer, Vienna (1990)

    Book  Google Scholar 

  18. Mawhin, J., Willem, M.: Critical Point Theory and Hamiltonian Systems. Appl. Math. Sci., vol. 74. Springer, New York (1989)

    Book  Google Scholar 

  19. Rabinowitz, P.: Minimax Methods in Critical Point Theory with Application to Differential Equations. CBMS Regional Conf, Ser. Math., vol. 65. Am. Math. Soc., Provindence (1986)

    Book  Google Scholar 

  20. Secchi, S.: Ground state solutions for nonlinear fractional Schrödinger equations in \(\mathbb{R}^{N}\). J. Math. Phys. 54, 031501 (2013)

    Article  MathSciNet  Google Scholar 

  21. Seok, J.: On nonlinear Schrödinger–Poisson equations with general potentials. J. Math. Anal. Appl. 401, 672–681 (2013)

    Article  MathSciNet  Google Scholar 

  22. Shang, X., Zhang, J.: Ground states for fractional Schrödinger equations with critical growth. Nonlinearity 27, 187–207 (2014)

    Article  MathSciNet  Google Scholar 

  23. Stein, E.: Singular Integrals and Differentiability Properties of Functions. Princeton University Press, Princeton (1970)

    MATH  Google Scholar 

  24. Torres Ledesma, C.: Multiplicity result for non-homogeneous fractional Schrödinger–Kirchhoff-type equations in \({\mathbb{R}}^{n}\). Adv. Nonlinear Anal. 7(3), 247–257 (2018)

    Article  MathSciNet  Google Scholar 

  25. Wang, L., Radulescu, V.D., Zhang, B.: Infinitely many solutions for fractional Kirchhoff–Schrödinger–Poisson systems. J. Math. Phys. 60, 011506 (2019)

    Article  MathSciNet  Google Scholar 

  26. Wang, Y., Liu, Y., Cui, Y.: Multiple sign-changing solutions for nonlinear fractional Kirchhoff equations. Bound. Value Probl. 2018, 193 (2018)

    Article  MathSciNet  Google Scholar 

  27. Wang, Z., Zhou, H.: Positive solution for a nonlinear stationary Schrödinger–Poisson system in \(\mathbb{R}^{3}\). Discrete Contin. Dyn. Syst. 18, 809–816 (2007)

    Article  MathSciNet  Google Scholar 

  28. Wu, X.: Existence of nontrivial solutions and high energy solutions for Schrödinger–Kirchhoff-type equations in \(\mathbb{R}^{N}\). Nonlinear Anal., Real World Appl. 12(2) 1278–1287 (2011)

    Article  MathSciNet  Google Scholar 

  29. Xiang, M., Radulescu, V.D., Zhang, B.: Combined effects for fractional Schrödinger–Kirchhoff systems with critical nonlinearities. ESAIM Control Optim. Calc. Var. 24(3), 1249–1273 (2018)

    Article  MathSciNet  Google Scholar 

  30. Yin, L., Tang, C., Wu, X.: Ground state solutions for an asymptotically 2-linear Schrödinger–Poisson system. Appl. Math. Lett. 87, 7–12 (2019)

    Article  MathSciNet  Google Scholar 

  31. Zhang, J.: Existence and multiplicity results for the fractional Schrödinger–Poisson systems. arXiv:1507.01205v1

  32. Zhang, J., Wang, J., Ji, Y.: The critical fractional Schrödinger equation with a small superlinear term. Nonlinear Anal., Real World Appl. 45, 200–225 (2019)

    Article  MathSciNet  Google Scholar 

  33. Zhang, X., Liu, L., Wu, Y., Cui, Y.: The existence and nonexistence of entire large solutions for a quasilinear Schrödinger elliptic system by dual approach. J. Math. Anal. Appl. 464, 1089–1106 (2018)

    Article  MathSciNet  Google Scholar 

  34. Zhao, L., Zhao, F.: On the existence of solutions for the Schrödinger–Poisson equations. J. Math. Anal. Appl. 346, 155–169 (2008)

    Article  MathSciNet  Google Scholar 

  35. Zhong, X., Tang, C.: Ground state sign-changing solutions for a Schrödinger–Poisson system with a 3-linear growth nonlinearity. J. Math. Anal. Appl. 455, 1956–1974 (2017)

    Article  MathSciNet  Google Scholar 

Download references


The authors wish to thank the anonymous referees for their valuable suggestions.

Availability of data and materials

Not applicable.


This paper was supported financially by the Youth Science Foundation of China (11201272) and Shanxi Province Science Foundation (201901D111020).

Author information

Authors and Affiliations



The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Chengbo Zhai.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Jiang, R., Zhai, C. Two nontrivial solutions for a nonhomogeneous fractional Schrödinger–Poisson equation in \(\mathbb{R}^{3}\). Bound Value Probl 2020, 29 (2020).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: