Abstract
In this paper, we study the following fractional Schrödinger–Poisson system with superlinear terms
where \(s,t\in (0,1)\), \(4s+2t>3\). Under certain assumptions of external potential \(V(x)\), nonnegative density charge \(K(x)\) and superlinear term \(f(x,u)\), using the symmetric mountain pass theorem, we obtain the existence and multiplicity of non-trivial solutions.
Similar content being viewed by others
1 Introduction and main results
In this paper, we are concerned with the fractional Schrödinger–Poisson system
where \((-\Delta )^{s}\) is fractional Laplacian operator, \(s,t\in (0,1)\), \(4s+2t>3\).
On the potential \(V(x)\), we make the following assumptions:
- (\(V_{1}\)):
-
\(V(x)\in C(\mathbb{R}^{3},\mathbb{R})\), \(\inf_{x\in \mathbb{R}^{3}}V(x)>0\).
- (\(V_{2}\)):
-
For any \(b>0\) such that the set \(\{x\in \mathbb{R} ^{3}: V(x)< b\}\) is nonempty and has finite Lebesgue measure. In some previous papers, except for \((V_{1})\)–\((V_{2})\), the following, \((V_{3})\), is needed.
- (\(V_{3}\)):
-
\(\varOmega =\operatorname{int}V^{-1}(0)\) is nonempty and has smooth boundary and \(\overline{\varOmega }=V^{-1}(0)\).
The potential \(V(x)\) with assumptions \((V_{1})\)–\((V_{3})\) are usually referred as the steep well potential. It was firstly proposed by Bartsch and Wang [2] to study a nonlinear Schrödinger equation. Especially, \((V_{1})\)–\((V_{2})\) are used to guarantee the compactness of the space.
When \(\phi =0\), the system (1.1) reduces to a fractional Schrödinger equation, which is a fundamental equation of fractional quantum mechanics. It was firstly introduced by Laskin [9, 10] as a result of extending the Feynman path integral, from the Brownian-like to the Lévy-like quantum mechanical paths, where the classical Schrödinger equation changes into the fractional Schrödinger equation. Recently, nonlocal fractional problems have attracted much attention, we refer to [12].
When \(s=t=1\), \(K(x)=1\), the system (1.1) reduces to the following Schrödinger–Poisson system (or Schrödinger–Maxwell system):
Due to the real physical meaning, it has been extensively investigated. Benci and Fortunato [4] firstly proposed the system like (1.2) to describe solitary waves for nonlinear Schrödinger type equations and look for the existence of standing waves interacting with unknown electrostatic field. Kristály and Repovš [8] studied a coupled Schrödinger–Maxwell system with the nonlinear term \(f:\mathbb{R}\rightarrow \mathbb{R}\) being superlinear at zero and sublinear at infinity. Under different conditions, they proved a non-existence result and obtained the existence of at least two non-trivial solutions.
There are plenty of results for system (1.2), we refer the interested reader to [3, 5, 13, 17, 19, 25] and the references therein, the main tool is the mountain pass theory [15]. However, to the best of our knowledge, similar results on the fractional Schrödinger–Poisson systems are not so rich as the Schrödinger–Poisson systems (1.2). Zhang, do Ó and Squassina [24] studied the fractional Schrödinger–Poisson system with a general nonlinearity in the subcritical and critical case,
where \(\lambda > 0\), \(s,t \in [0, 1]\), \(4s + 2t \geq 3\). With some hypotheses, a non-trivial positive radial solution is admitted. Very recently, Teng [21] considered the following nonlinear fractional Schrödinger–Poisson system with critical Sobolev exponent:
under some appropriate conditions on \(V(x)\), where \(\mu \in \mathbb{R^{+}}\) is a parameter, \(1< q<2^{\ast }_{s}-1= \frac{3+2s}{3-2s}\), \(s,t\in (0,1)\) and \(2s+2t>3\), the existence of a non-trivial ground state solution of system (1) can be proved. Later, Li [11] studied the nonlinear fractional Schrödinger–Poisson equation
where \(s,t\in (0,1]\), \(4s + 2t >3\). Under some assumptions on f, the existence of non-trivial solutions for this system is obtained.
Motivated by all the works just described above, we want to find the existence and multiplicity of non-trivial solutions for the fractional Schrödinger–Poisson with superlinear terms, the following assumptions are needed:
- (K):
-
\(K(x)\in L^{\frac{6}{4s+2t-3}}(\mathbb{R}^{3})\bigcup L ^{\infty }(\mathbb{R}^{3})\), \(s, t\in (0,1)\), \(4s+2t>3\), \(K\geq 0\), \(\forall x\in \mathbb{R}^{3}\).
- \((f_{1})\) :
-
\(\lim_{|t|\rightarrow \infty } F(x,t)/{t^{4}}=+ \infty \) a.e. \(x\in \mathbb{R}^{3}\), and there exists \(r_{1}>0\) such that
$$ F(x,t)\geq 0, \quad \forall x \in \mathbb{R}^{3}, \vert t \vert \geq r_{1}, $$where \(F(x,t)=\int ^{x}_{0} f(x,t)\,\mathrm{d}x\).
- (\(f_{2}\)):
-
There exist constant \(a>0\), \(p\in (2,2^{\ast }_{2})\) such that
$$\begin{aligned} \bigl\vert f(x,t) \bigr\vert \leq a\bigl(t+{ \vert t \vert }^{p-1}\bigr), \quad \forall (x,t) \in \mathbb{R}^{3} \times \mathbb{R}, \end{aligned}$$where \(2^{\ast }_{s}=\frac{6}{3-2s}\).
- (\(f_{3}\)):
-
There exists \(L>0\) such that
$$\begin{aligned} \frac{1}{4}f(x,t)-F(x,t)\geq 0, \quad \forall x\in \mathbb{R}, \vert t \vert \geq L. \end{aligned}$$ - (\(f_{4}\)):
-
\(f(x,t)=f(x,-t)\), \(\forall (x,t) \in \mathbb{R} ^{3}\times \mathbb{R}\).
Now we are ready to state the main result of this paper as follows.
Theorem 1.1
Suppose that system (1.1) satisfies \((V_{1})\)–\((V_{2})\), \((K)\), and \((f_{1})\)–\((f_{4})\), then (1.1) admits infinitely many non-trivial solutions \(\{(u_{k},\phi ^{t}_{k})\}\) such that
2 Variational settings and preliminaries
Let \(L^{r}(\mathbb{R}^{3})(0\leq r<\infty )\) be the usual Lebesgue space with the standard norm \(\|u\|_{r}\) and û as the Fourier transform of u. Firstly let us introduce some necessary variational settings for system (1.1). A complete introduction to fractional Sobolev spaces can be found in [1]. Recall that the fractional Sobolev spaces \(H^{s}( \mathbb{R}^{3})\) can be described by the Fourier transform, that is,
equipped with the norm
According to Plancherel’s theorem [7], we have \(\|u\|_{2}=\|\hat{u}\|_{2}\), \(\|(-\Delta )^{\frac{s}{2}}u\|_{2}=\|\xi ^{s}\hat{u}\|_{2}\). Thus
Following [14], the fractional Laplacian \((-\Delta )^{s}\) can be viewed as
where \(P.V\). is the principal value and \(C(s)>0\) is a normalization constant.
For \(s\in (0,1) , D^{s,2}(\mathbb{R}^{3})\) is a homogeneous fractional Sobolev space defined as
which is the completion of \(C^{\infty }_{0}(\mathbb{R}^{3})\) with respect to the norm
We use “→” and “⇀” to denote strong and weak convergence in the related function spaces, respectively. The symbol “↪” means that a function space is continuously embedded into another function space.
Let
E is endowed with the following inner product and norm:
Lemma 2.1
(Lemma 2.3 in [20])
Suppose that \(V(x)\) satisfies \((V_{1})\)–\((V_{2})\), the Hilbert space E is compactly embedded in \(L^{r}(\mathbb{R}^{3})\) \((2\leq r < 2^{ \ast }_{s})\).
As a consequence of Lemma 2.1, there is constant \(C_{r}>0\) such that
For any \(u\in H^{s}(\mathbb{R}^{3})\), one can use the Lax–Milgram theorem [6] to find that there exists a unique \(\phi ^{t}_{u}\in D^{t,2}(\mathbb{R}^{3})\) such that
In other words, \(\phi ^{t}_{u}\) is the weak solution of the fractional Poisson equation
and the representation formula holds, that is,
which is called the t-Riesz potential (Chap. 5.1 in [18]), where
Lemma 2.2
\(\forall u\in H^{s}(\mathbb{R}^{3})\), there exists \(C_{0}>0\) such that
Proof
In (2.1), let \(v=\phi ^{t}_{u}\), using the Hölder inequality,
The result follows. □
The energy functional associated to problem (1.1) is given by
Moreover, its differential is
It is clear that the pair \((u,\phi ^{t}_{u})\) is a solution to the system (1.1) if and only if u is a critical point of \(I(u)\).
To prove Theorem 1.1, we need the following lemma (Theorem 9.12 in [16]).
Lemma 2.3
(Symmetric mountain pass theorem)
Let E be a real infinite dimensional Banach space such that \(E=Y\oplus Z\), where Y is finite dimensional subspace. Suppose \(\varPhi \in C^{1}(E,\mathbb{R})\) is an even functional satisfying the Palais–Smale condition, \(\varPhi (0)=0\); if
-
(i)
there exist constant ρ, α such that \(\varPhi |_{\partial {B_{\rho }}\bigcap Z \geq \alpha }\), where \(B_{\rho }\) denotes the open ball in E of radius ρ about 0 and \(\partial B_{\rho }\) denotes its boundary;
-
(ii)
for arbitrary finite dimensional subspace \(\tilde{E} \subset E\), there exists constant \(R=R(\tilde{E})>0\) such that \(\varPhi (u) \leq 0\) if \(u\in \tilde{E}/{B_{R}}\);
then the functional Φ possesses an unbounded sequence of critical values.
3 Proof of Theorem 1.1
Lemma 3.1
Under the assumptions \((V_{1})\)–\((V_{2})\) and \((f_{1})\)–\((f_{3})\), \(I(u)\) satisfies the Palais–Smale condition.
Proof
Let \(\{u_{n}\}\subset E\) be the Palais–Smale sequence of I, we assert that \(\{u_{n}\}\) is bounded. Otherwise, there exists a subsequence (for the sake of convenience, we still write it as \(\{u_{n}\}\)) such that \(\|u_{n}\|\rightarrow \infty (n\rightarrow \infty )\). Define \(\omega _{n}:=u_{n}/\|u_{n}\|\), there exists a subsequence such that
Case 1. \(\omega =0\). The proof of this case is almost the same as the one of Lemma 2.3 in [23], so we omit it.
Case 2. \(\omega \neq 0\). We have
then
By \((f_{1})\),
Let \(\varOmega _{n}(a,b)=\{x\in \mathbb{R}^{3}:a\leq |u_{n}(x)|< b, 0 \leq a< b \}\); we have
Take the infimum of the inequality, then
□
If \(\omega \neq 0\), \(|u_{n}(x)|\rightarrow \infty \ (n\rightarrow \infty )\), then, for n sufficiently large, \(\{x\in \mathbb{R}^{3}:\omega (x)\neq 0\}\subset \varOmega _{n}(r_{1},+\infty )\). By \((f_{1})\) and the Fatou lemma,
Combined with (3.2) and Lemma 2.2, we have
a contradiction, so the sequence \({u_{n}}\) is bounded.
Since the sequence \(\{u_{n}\}\) is bounded, there exists a subsequence (we still write it as \(u_{n}\)) such that
To prove \(u_{n}\rightarrow u\) in E, we need to prove \(\|u_{n}\| \rightarrow \|u\|\) (this is because E is a Hilbert space). By (2.2)
With \((f_{1})\) and the second limit of (3.4),
For \(K\in L^{\infty }\), by \((K)\), we have
For \(K\in L^{\frac{6}{4s+2t-3}}\), we have
Combined with (3.5)–(3.8), we can conclude \(\|u_{n}\| \rightarrow \|u\|\).
Lemma 3.2
Suppose that \((V_{1})\)–\((V_{2})\) and \((f_{1})\)–\((f_{2})\) hold, then, for every finite subspace \(\tilde{E}\subset E\), it follows that
Proof
Suppose there exists \(\{u_{n}\}\subset E\) such that \(\|u_{n}\|\rightarrow \infty \) and \(\inf_{n\rightarrow \infty } J(u_{n})>\infty \). Let \(w_{n}:=u_{n}/\|u_{n}\|\), \(\|w_{n}\|=1\) and there exists \(w\in E \backslash \{0\}\) such that
Similarly to the proof of (3.3), we can get a contradiction. □
Corollary 3.3
Suppose that \((V_{1})\)–\((V_{2})\) and \((f_{1})\)–\((f_{2})\) hold, then, for every finite subspace \(\tilde{E}\subset E\), there exists \(R=R(\tilde{E})>0\) such that
Let \(\{e_{i}\}^{\infty }_{i=1}\) be orthogonal bases of space E, let \(X_{i}=\mathbb{R}e_{i}:=\{\alpha e_{i}:\alpha \in \mathbb{R}\}\),
Lemma 3.4
(Lemma 3.8 in [22])
Suppose that \((V_{1})\)–\((V_{2})\) hold, if \(2\leq r<2^{\ast }\), we have
Proof
It is obvious that \(0<\beta _{k+1}\leq \beta _{k}\), so that \(\beta _{k} \rightarrow \beta \geq 0\), \(k\rightarrow \infty \). For every \(k\geq 0\), there exists \(u_{k}\in Z_{k}\) such that \(\|u\|=1\) and \(\|u_{k}\|_{r} \geq \beta _{k}/2\). By definition of \(Z_{k}, u_{k} \rightarrow 0\) in \(H^{s}(\mathbb{R}^{3})\). The Sobolev embedding theorem implies that \(u_{k}\rightarrow 0\) in \(L^{r}(\mathbb{R}^{3})\). Thus we have proved that \(\beta =0\). □
Lemma 3.4 shows there exists positive constant \(k_{1},k_{2} \geq 1\) such that
Lemma 3.5
Suppose that \((V_{1})\)–\((V_{2})\) and \((f_{2})\) hold, let \(k_{3}= \max \{k_{1},k_{2}\}\), there exists constant \(\beta ,\alpha >0\) such that \(\varPhi |_{\partial B_{\rho }\bigcap Z_{k_{3}}\geq \alpha }\).
Proof
According to (3.1) and (3.9), we have
As a result, let \(\rho :=8^{\frac{1}{(2-p)}}\), we can conclude
□
Proof of Theorem 1.1
According to Lemma 3.1, Lemma 3.4, Corollary 3.3 and the singularity of f, the functional \(I(u)\) satisfies all assumptions of Lemma 2.3, and the result follows. □
References
Adams, R., Fournier, J.: Sobolev Spaces, 2nd edn. Pure and Applied Mathematics. Academic Press, San Diego (2003)
Bartsch, T., Wang, Z.: Existence and multiplicity results for some superlinear elliptic problems on \(\mathbb{R^{N}}\). Commun. Partial Differ. Equ. 20, 1725–1741 (1995)
Bellazzini, J., Jeanjean, L., Luo, T.: Existence and instability of standing waves with prescribed norm for a class of Schrödinger–Poisson equations. Proc. Lond. Math. Soc. 107, 303–309 (2013)
Benci, V., Fortunato, D.: An eigenvalue problem for the Schrödinger–Maxwell equations. Topol. Methods Nonlinear Anal. 11(2), 283–293 (1998)
Cerami, G., Viara, G.: Positive solutions for some non-autonomous Schrödinger–Poission systems. J. Differ. Equ. 248, 521–543 (2010)
Gilbarg, D., Trudinger, N.: Elliptic Partial Differential Equations of Second Order, 2nd edn. Classics in Mathematics. Springer, Berlin (2001)
Hilgert, J., Krotz, B.: The Plancherel theorem for invariant Hilbert spaces. Math. Z. 237, 61–83 (2001)
Kristaly, A., Repovs, D.: On the Schrödinger–Maxwell system involving sublinear terms. Nonlinear Anal. 13, 213–223 (2012)
Laskin, N.: Fractional quantum mechanics and Lévy path integrals. Phys. Lett. A 268, 298–305 (2000)
Laskin, N.: Fractional Schrödinger equation. Phys. Rev. E 66, 56108 (2002)
Li, K.: Existence of non-trivial solutions for nonlinear fractional Schrödinger–Poisson equations. Appl. Math. Lett. 72, 1–9 (2017)
Molica Bisci, G., Radulescu, V.D., Servadei, R.: Variational Methods for Nonlocal Fractional Problems. Encyclopedia of Mathematics and Its Applications, vol. 162. Cambridge University Press, Cambridge (2016)
Mugnai, D.: The Schrödinger–Poisson system with positive potential. Commun. Partial Differ. Equ. 36, 1099–1117 (2011)
Nezza, E.D., Palatucci, G., Valdinoci, E.: Hitchhikers guide to the fractional Sobolev spaces. Bull. Sci. Math. 136(5), 521–573 (2012)
Pucci, P., Radulescu, V.D.: The impact of the mountain pass theory in nonlinear analysis: a mathematical survey. Boll. Unione Mat. Ital. 3(9), 543–582 (2010)
Rabinowitz, P.H.: Minimax methods in critical point theory with applications to differential equations Regional conference series in mathematics, vol. 65. Published for the Conference Board of the Mathematical Sciences by the American Mathematical Society, 1986
Ruiz, D.: The Schrödinger–Poisson equation under the effect of a nonlinear local term. J. Funct. Anal. 237, 655–674 (2006)
Stein, E.M.: Singular Integrals and Differentiability Properties of Functions. Princeton Mathematical Series, vol. 30. Princeton University Press, Princeton (1970)
Sun, J., Chen, H., Nieto, J.J.: On ground state solutions for some non-autonomous Schrödinger–Poisson systems. J. Differ. Equ. 252, 3365–3380 (2012)
Teng, K.: Multiple solutions for a class of fractional Schrödinger equations in \(\mathbb{R}^{N}\). Nonlinear Anal., Real World Appl. 21, 76–86 (2015)
Teng, K.: Existence of ground state solutions for the nonlinear fractional Schrödinger–Poisson system with critical Sobolev exponent. J. Differ. Equ. 261, 3061–3106 (2016)
Willem, M.: Minimax Theorems, 1st edn. Progress in Nonlinear Differential Equations and Their Applications, vol. 24. Birkhäuser, Basel (1996)
Ye, Y., Tang, C.: Existence and multiplicity results for the Schrödinger–Poisson system with superlinear or sublinear terms. Acta Math. Sci. Ser. A Chin. Ed. 35, 668–682 (2015)
Zhang, J., do Ó, J.M., Squassina, M.: Fractional Schrödinger–Poisson systems with a general subcritical or critical nonlinearity. Adv. Nonlinear Stud. 16, 15–30 (2016)
Zhao, L., Zhao, F.: Positive solutions for Schrödinger–Poisson equations with a critical exponent. Nonlinear Anal. 70, 2150–2164 (2009)
Acknowledgements
The authors would like to thank the editor and referees for their valuable suggestions, which improved the structure and the presentation of the paper.
Availability of data and materials
Not applicable.
Funding
This work was supported by the National Natural Science Foundation of China (No. 11301148, No. 11671120).
Author information
Authors and Affiliations
Contributions
The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.
Corresponding author
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 distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
He, Y., Jing, L. Existence and multiplicity of non-trivial solutions for the fractional Schrödinger–Poisson system with superlinear terms. Bound Value Probl 2019, 4 (2019). https://doi.org/10.1186/s13661-019-1121-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-019-1121-4