- Research
- Open Access
- Published:
Existence of infinitely many high energy solutions for a class of fractional Schrödinger systems
Advances in Difference Equations volume 2020, Article number: 306 (2020)
Abstract
In this paper, we investigate a class of nonlinear fractional Schrödinger systems
where \(s\in(0, 1)\), \(N>2\). Under relaxed assumptions on \(V(x)\) and \(F(x, u, v)\), we show the existence of infinitely many high energy solutions to the above fractional Schrödinger systems by a variant fountain theorem.
1 Introduction
In the work, we are concerned with the existence of infinitely many high energy solutions for the following fractional Schrödinger systems:
where \(s\in(0,1)\), \(N>2\) and \(F_{u}(x,u, v), F_{v}(x,u, v)\in C(\mathbb {R}^{N}\times\mathbb{R}\times\mathbb{R},\mathbb{R})\). We assume that there exists \(F(x,u, v)\in C(\mathbb{R}^{N}\times\mathbb{R}\times\mathbb {R},\mathbb{R})\) such that \(\nabla F=(F_{u},F_{v})\), where ∇F denotes the gradient of F in \((u, v)\in\mathbb{R}^{2}\). The operator \((-\Delta)^{s}\) is the fractional Laplacian of order s, which can be defined by the Fourier transform \((-\Delta)^{s}u =\mathscr{F}^{-1}(|\xi |^{2s}\mathscr{F}u)\). On the calculation and application of classical fractional differential equations and other aspects in mathematics, we refer the reader to [1–5] and the references therein.
Over the past years, the fractional Laplacian \((-\Delta)^{s}\) (\(0< s<1\)), as one of the fundamental nonlocal operators, has increasingly had impact on a number of important fields in science, technology and other fields. As a result, much attention has been focused on the problem of fractional Laplacians. For instance, Teng [6] studied the following fractional Schrödinger equation:
and proved the existence of infinitely many nontrivial high or small energy solutions by variant fountain theorems. Du and Mao [7] obtained a sufficient condition for the existence of infinitely many nontrivial high energy solutions by variant fountain theorems for (1.2). Some interesting results can be found in [8–23] and the references therein.
Recently, Di Nezza et al. [16] have proved that \((-\Delta)^{s}\) can be reduced to the standard Laplacian −Δ as \(s\rightarrow1\). If \(s=1\), Eq. (1.2) reduces to the classical Schrödinger equation
With the aid of variational method and critical theorems, for the potential \(V(x)\) and nonlinearity \(f(x,u)\) under various conditions, the results of existence and multiplicity for Eq. (1.3) have been extensively investigated in the literature; see [24–27] and the references therein.
In recent decades, extensive attention of researchers has been devoted to the existence of solutions to the elliptic systems. Zhang and Zhang [28] considered some nonlinear elliptic systems and obtained the existence of weak solutions by using variational methods. Cao and Tang [29] considered the superlinear elliptic system. They presented the existence of infinitely many solutions which were characterized by the number of nodes of each component under some conditions on the nonlinear term. Pomponio [30] discussed the asymptotically linear cooperative elliptic system at resonance. They proved the existence of a non-zero solution and the existence of \(N-1\) pairs of nontrivial solutions due to the difference between the Morse index at zero and the Morse index at infinity by a penalization technique. In recent years, many interesting results have been presented on the class of systems; see [31–38] and the references therein. However, the above literature is concerned with the problem of integer order Laplacian and there is little literature which discusses the Schrödinger systems with fractional order Laplacian. Based on the situation, we consider fractional Schrödinger systems (1.1). In this work, we will show the existence of infinitely many nontrivial high energy solutions by variant fountain theorems.
For convenience, we firstly present the following hypotheses:
- \((V_{1})\):
\(V\in C(\mathbb{R}^{N}) \) satisfies \(\inf V(x)>0\) and there exist \(r_{0}>0\) and \(M>0\) such that \(\lim_{|y|\rightarrow\infty}\operatorname{meas}\{x\in \mathbb{R}^{N}: |x-y|\leq r_{0}, V(x)\leq M\}=0\), where meas denotes the Lebesgue measure in \(\mathbb{R}^{N}\).
- \((f_{1})\):
\(F\in C^{1}(\mathbb{R}^{N}\times\mathbb{R}\times\mathbb{R}, \mathbb{R})\), \(F_{u}(x, u, v)u+ F_{v}(x, u, v)v\geq0\) for all \((x, u, v)\in \mathbb{R}^{N}\times\mathbb{R}\times\mathbb{R}\), \(F_{u}(x, u, v)\leq c(1+|(u, v)|^{p-1})\) and \(F_{v}(x, u, v)\leq c(1+|(u, v)|^{q-1})\) for some \(2< p, q<2^{*}_{s}\), where c denote different positive constants and \(|(u, v)|=(u^{2}+v^{2})^{\frac{1}{2}}\).
- \((f_{2})\):
\(\lim_{|(u, v)|\rightarrow0}\frac{F_{u}(x, u, v)}{|(u, v)|}=0\) and \(\lim_{|(u, v)|\rightarrow0}\frac{F_{v}(x, u, v)}{|(u, v)|}=0\) uniformly in \(x\in\mathbb{R}^{N}\).
- \((f_{3})\):
There exists \(\sigma\in[1,\min\{p, q\})\) such that \(\liminf_{|(u, v)|\rightarrow\infty}\frac{F(x, u, v)}{|(u, v)|^{\sigma}}\geq d>0\) uniformly for \(x\in\mathbb{R}^{N}\).
- \((f_{4})\):
\(\lim_{|(u, v)|\rightarrow\infty}\frac{F(x, u, v)}{|(u, v)|^{2}}=\infty\) uniformly in \(x\in\mathbb{R}^{N}\).
- \((f_{5})\):
There exist \(\mu>2\) and \(c>0\) such that
$$F_{u}(x, u, v)u+F_{v}(x, u, v)v-\mu F(x, u, v)\geq c \bigl(1+ \bigl\vert (u, v) \bigr\vert ^{2}\bigr), \quad\text{for all } x\in\mathbb{R}^{N}. $$
The paper is arranged as follows. In Sect. 2, we introduce preliminaries for proof of main results and variational setting. In Sect. 3, we present our main results and their proofs.
2 Preliminaries
Let us address a Hilbert space
The space is endowed with the natural norm
and with the inner product
By means of the Fourier transform, the space \(H^{s}(\mathbb{R}^{N})\) can be defined by
For Eq. (1.2), the Hilbert space H is defined by
with the following inner product and norm:
and
Then \(H\times H\) is a Hilbert space with the following the inner product \(\langle\cdot, \cdot\rangle\) and norm for any \((u, v), (\varphi , \psi)\in H\times H\):
and
Under the hypothesis \((V_{1})\), we have the following lemma.
Lemma 2.1
The Hilbert space\(H\times H\)is compactly embedded in\(L^{t}(\mathbb {R}^{N})\times L^{t}(\mathbb{R}^{N})\), where\(t\in[2, 2^{*}_{s})\)and\(2^{*}_{s}=\frac {2N}{N-2s}\).
Proof
Let \(\{u_{n}, v_{n}\}\subset H\times H\) be a sequence such that \(u_{n}\rightharpoonup u\), \(v_{n}\rightharpoonup v\) in H. Then \(\{u_{n}, v_{n}\} \) is bounded in \(H\times H\) and \(u_{n}\rightarrow u\), \(v_{n}\rightarrow v\) in \(L_{\mathrm{loc}}^{t}(\mathbb{R}^{N})\) for \(t\in[2, 2^{*}_{s})\). Using the famous Gagliado–Nirenberg inequality, we obtain \(u_{n}\rightarrow u\), \(v_{n}\rightarrow v\) in \(L^{t}(\mathbb{R}^{N})\). Thus, the proof is completed □
An element \((u,v)\in H\times H\) is called a weak solution of the systems (1.1), if the equation
holds for all \((\varphi, \psi)\in H\times H\). A weak solution of the systems (1.1) corresponds to a critical point of the energy functional
that is well defined. Furthermore, I is \(C^{1}(H\times H, \mathbb{R})\) functional with derivative given by
Let \(H\times H\) be Banach space with the norm \(\|(\cdot,\cdot)\|\) and let \(\{H_{j}\}\) be a sequence of subspace of H, \(\operatorname{dim}H_{j}\) is finite for \(j\in N\). Set \(Y_{k}:=\bigoplus^{k}_{j=0}H_{j}\) and \(\mathscr{Y}_{k}=Y_{k}\times Y_{k}\), \(Z_{k}=\overline{\bigoplus^{\infty}_{j=k+1}H_{j}}\) and \(\mathscr {Z}_{k}=Z_{k}\times Z_{k}\), then \(H=Y_{k}\oplus Z_{k}\) and \(H\times H=\mathscr {Y}_{k}\oplus\mathscr{Z}_{k}\).
Let
and
for \(\rho_{k}>r_{k}>0\). Consider a classical \(C^{1}\)-functional \(\varPhi_{\lambda}(u, v):H\times H\rightarrow\mathbb{R}\) defined by
Now, we state two variant fountain theorems which come from the idea of Zou in [39].
Theorem 2.2
Assume that the functional\(\varPhi_{\lambda}(u, v)\)satisfies
- \((B_{1})\):
\(\varPhi_{\lambda}(u, v)\)maps bounded sets to bounded sets uniformly for\(\lambda\in[1, 2]\), and\(\varPhi_{\lambda}(-u, -v)=\varPhi _{\lambda}(u, v)\)for all\((\lambda, u, v)\in[1, 2]\times H\times H\);
- \((B_{2})\):
\(B(u, v)\geq0\)for all\((u, v)\in H\times H\), and\(B(u, v)\rightarrow\infty\)as\(\|(u, v)\|\rightarrow+\infty\)on any finite dimensional subspace\(H\times H\);
- \((B_{3})\):
there exists\(\rho_{k}>r_{k}>0\)such that
$$\begin{gathered} a_{k}(\lambda)=\inf_{(u, v)\in\mathscr{Z}_{k},\|(u, v)\|=\rho_{k}}\varPhi_{\lambda}(u, v)\geq0,\\ b_{k}(\lambda)=\max_{(u, v)\in\mathscr{Y}_{k}, \|(u, v)\|=r_{k}} \varPhi_{\lambda}(u, v)< 0, \quad\forall\lambda\in[1, 2], \end{gathered}$$and
$$d_{k}(\lambda)=\inf_{(u, v)\in\mathscr{Z}_{k},\|(u, v)\|\leq\rho_{k}}\varPhi _{\lambda}(u, v)\rightarrow0 \quad\textit{as } k\rightarrow+\infty \textit { uniformly for } \lambda\in[1, 2]. $$
Then there exist\(\lambda_{n}\rightarrow1\), \((u_{n}(\lambda_{n}),v_{n}(\lambda_{n}))\in \mathscr{Y}_{n}\)such that
where\(c_{k}\in[d_{k}(2), d_{k}(1)]\). Especially, if\(\{(u(\lambda _{n}),v(\lambda_{n}))\}\)has a convergent subsequence for everyk, then\(\varPhi_{1}\)has infinitely many nontrivial critical points\(\{u_{k}, v_{k}\} \in H\times H\setminus\{0,0\}\)satisfying\(\varPhi_{1}(u_{k}, v_{k})\rightarrow 0^{-}\)as\(k\rightarrow+\infty\).
Theorem 2.3
Assume that the functional\(\varPhi_{\lambda}(u, v)\)satisfies
- \((A_{1})\):
\(\varPhi_{\lambda}(u, v)\)maps bounded sets to bounded sets uniformly for\(\lambda\in[1, 2]\), and\(\varPhi_{\lambda}(-u, -v)=\varPhi _{\lambda}(u, v)\)for all\((\lambda, u, v)\in[1, 2]\times H\times H\);
- \((A_{2})\):
\(B(u, v)\geq0\)for all\((u, v)\in H\times H\), \(A(u, v)\rightarrow+\infty\)or\(B(u, v)\rightarrow+\infty\)as\(\|(u, v)\| \rightarrow+\infty\);
or
- \((A_{3})\):
\(B(u, v)\leq0\)for all\((u, v)\in H\times H\), \(B(u, v)\rightarrow-\infty\)as\(\|(u, v)\|\rightarrow+\infty\);
- \((A_{4})\):
there exists\(\rho_{k}>r_{k}>0\)such that
$$b_{k}(\lambda)=\inf_{(u, v)\in\mathscr{Z}_{k},\|(u, v)\|=r_{k}}\varPhi_{\lambda}(u, v)>a_{k}(\lambda)=\max_{(u, v)\in\mathscr{Y}_{k}, \|(u, v)\|=\rho_{k}}\varPhi _{\lambda}(u, v),\quad \forall\lambda\in[1, 2]. $$
Then
where\(\varGamma_{k}=\{\gamma\in C(B_{k}, H\times H):\gamma\textit{ is odd},\gamma|_{\partial B_{k}}=\mathit{id}\}\)and\(k\geq2\). Furthermore, for almost every\(\lambda\in[1, 2]\), we have a sequence\(\{(u^{k}_{n}(\lambda), v^{k}_{n}(\lambda))\}\)such that
and
In order to present our main work by the above variant fountain theorems, we define the functional A, B and \(\varPhi_{\lambda}(u, v)\) on the space \(H\times H\) by
and
3 Proofs of the main results
In this section, we will present the main results and their proofs.
Lemma 3.1
For any finite dimensional subspaceEof\(H\times H\setminus\{(0,0)\} \), we claim that there exists a positive constant\(\varepsilon_{0}>0\)such that
Proof
We argue by contradiction. Assume \((u_{n},v_{n})\in E \) such that
For any \(n\in N\), let \((\tau_{n}, \omega_{n})=\frac{(u_{n}, v_{n})}{\|(u_{n}, v_{n})\|}\), then \(\|(\tau_{n}, \omega_{n})\| =1\) and
Using the boundedness of \((\tau_{n}, \omega_{n})\), up to a subsequence, assume that \((\tau_{n}, \omega_{n})\rightarrow(\tau, \omega)\) with \(\|(\tau , \omega)\|=1\) for \((\tau, \omega)\in E\). Since E is a finite dimension space, by Lemma 2.1 and the Hölder inequality, we have
On the other hand, because of \((\tau, \omega)\neq(0, 0)\), there exists a constant \(\rho_{0}>0\) such that
We set
From (3.2) and (3.4), there exists \(N_{0}\) such that, for \(\forall n>N_{0}\), we have
Consequently, as \(n\rightarrow+\infty\),
which leads to a contradiction. The proof is completed. □
Lemma 3.2
Assume that\((f_{1})\)and\((f_{3})\)hold. Then\(B(u, v)\geq0\)for all\((u, v)\in H\times H\)and\(B(u, v)\rightarrow+\infty\)as\(\|(u, v)\| \rightarrow+\infty\)on any finite dimensional subspace of\(H\times H\).
Proof
Obviously, for all \((u, v)\in H\times H\), \(B(u, v)\geq0\) by the hypothesis \((f_{1})\).
Next, for any finite dimensional subspace of \(H\times H\), we show that \(B(u, v)\rightarrow+\infty\) as \(\|(u, v)\|\rightarrow+\infty\). By the hypothesis \((f_{3})\), there exists \(R>0\) such that
Let \(D_{(u,v)}:=\{x\in\mathbb{R}^{N}:|(u, v)|>\varepsilon_{0}\|(u, v)\|\}\) for \((u, v)\in H\times H\setminus\{(0,0)\}\). by Lemma 3.1, for any \((u, v)\in H\times H\) with \(\|(u, v)\|\geq\frac{R}{\varepsilon _{0}}\), we have \(|(u, v)|>R\), for all \(x\in D_{(u,v)}\). Consequently, for any \((u, v)\in H\times H\) with \(\|(u, v)\|\geq\frac{R}{\varepsilon_{0}}\), from \((f_{3})\) and (3.6), with the help of Lemma 3.1, we get
This implies \(B(u, v)\rightarrow+\infty\) as \(\|(u, v)\|\rightarrow +\infty\) on any finite dimensional subspace of \(H\times H\). The proof is completed. □
Lemma 3.3
Assume\((f_{1})\), \((f_{2})\)and\((f_{4})\)hold, then there exist two sequences\(\rho_{k}>r_{k}>0\)such that
Proof
. For \(\forall \varepsilon>0\), by \((f_{1})\) and \((f_{2})\), there exists \(c_{\varepsilon}\) such that
and
where \((x, u, v)\in\mathbb{R}^{N}\times H\times H\). Therefore, for \((u, v)\in\mathscr{Z}_{k}\) and ε small enough, by (3.9) and the Hölder inequality, one has
where \(\|\cdot\|_{t}\) denotes the usual norm of \(L^{t}(\mathbb{R}^{N})\). Let \(\beta_{k}(2):=\sup_{(u,v)\in\mathscr{Z}_{k}, \|(u,v)\|=1}\|(u,v)\|_{2}\), \(\beta_{k}(p):=\sup_{(u,v)\in\mathscr{Z}_{k}, \|(u,v)\|=1}\|(u,v)\|_{p}\), \(\beta_{k}(q):=\sup_{(u,v)\in\mathscr{Z}_{k}, \|(u,v)\|=1}\|(u,v)\|_{q}\), then \(\beta_{k}(2)\rightarrow0\), \(\beta_{k}(p)\rightarrow0\), \(\beta _{k}(q)\rightarrow0\) as \(k\rightarrow\infty\) (cf.[40]). Consequently,
for all \((u, v)\in\mathscr{Z}_{k}\). We choose the appropriate \(\varepsilon >0\) and λ such that \(\frac{1}{2}-\lambda\varepsilon\beta ^{2}_{k}(2)\geq\frac{1}{4}\), and we have
Note that \(p, q>2\); without loss of generality, assume \(p< q\), then, for \(\|(u, v)\|:=r_{k}:=(\frac{8}{p}\lambda c_{\varepsilon}\beta^{p}_{k}(p)+\frac {8}{q}\lambda c_{\varepsilon}\beta^{q}_{k}(q))^{\frac{1}{2-p}}\) or \(\|(u, v)\|:=r_{k}:=(\frac{8}{p}\lambda c_{\varepsilon}\beta^{p}_{k}(p)+\frac {8}{q}\lambda c_{\varepsilon}\beta^{q}_{k}(q))^{\frac{1}{2-q}}\) for any \((u, v)\in\mathscr{Z}_{k}\), one has
The above inequality implies that
Therefore, by Lemma 3.1, for any \(k\in N\), there is a constant \(\varepsilon_{k}>0\) such that
where \(D_{(u, v)}=\{x\in\mathbb{R}^{N}:|(u, v)|\geq\varepsilon_{k}\|(u, v)\|\}\). By the hypothesis \((f_{4})\), for \(\forall k\in N\), there is a constant \(R_{k}>0\) such that
By (3.12), we know that, for \((u, v)\in Y_{k}\times Y_{k}\setminus\{ (0,0)\}\) with \(\|(u, v)\|\geq\frac{R_{k}}{\varepsilon_{k}}\), we obtain \(|(u, v)|\geq R_{k}\) for \(x\in D_{(u, v)}\). Therefore, by (3.12) and (3.13) for \((u, v)\in Y_{k}\times Y_{k}\setminus\{(0,0)\}\) with \(\|(u, v)\|\geq\frac{R_{k}}{\varepsilon_{k}}\), one has
Because \(\lambda\in[1, 2]\),
Now, we only need to choose \(\rho_{k}>\max\{r_{k},\frac{R_{k}}{\varepsilon_{k}} \}\); one has
where \(k\in N\) and \(\lambda\in[1, 2]\). The proof is completed. □
Theorem 3.4
Assume\((f_{1})\)–\((f_{5})\)hold, \(F_{u}(x,-u,-v)=-F_{u}(x,u,v)\)and\(F_{v}(x,-u,-v)= -F_{v}(x,u,v)\)for\((x,u,v)\in\mathbb{R}^{N}\times H \times H\). Then the system (1.1) possesses infinitely many high energy solutions\((u^{k},v ^{k})\in H \times H\)for all\(k\geq K_{0}\)with\(K_{0} \in N\), i.e., as\(k\rightarrow+\infty\)
Proof
By the hypothesis \((f_{1})\), we conclude that \(B(u, v)\geq0\) for all \((u,v)\in H\times H\) and \(A(u, v)\rightarrow+\infty\) as \(\|(u, v)\| \rightarrow+\infty\). Furthermore, \(\varPhi_{\lambda}(-u, -v)=\varPhi_{\lambda }(u, v)\) for \((u, v)\in H\times H\) and \(\lambda\in[1, 2]\). Considering \((f_{4})\), \((f_{5})\) and Lemma 2.1, \(\varPhi_{\lambda}(u, v)\) maps a bounded set into a bounded set uniformly for any \(\lambda\in[1, 2]\). By Lemma 3.3, we can verify \((A_{3})\), \((A_{4})\) of Theorem 2.3. Consequently, from Theorem 2.3, there exists a sequence \(\{(u_{n}^{k}(\lambda),v_{n}^{k}(\lambda))\} _{n=1}^{\infty}\) for \(\lambda\in[1, 2]\) such that
and
as \(n\rightarrow\infty\). By Theorem 2.2 and (3.11), for \(p,q>2\), we see
In addition
Therefore
where \(k>K_{0}\). By (3.18) and (3.19), we can choose a sequence \(\lambda_{m}\rightarrow1\), as \(m\rightarrow\infty\), then the sequence \(\{(u_{n}^{k}(\lambda_{m}), v_{n}^{k}(\lambda_{m}))\}_{n=1}^{\infty}\) is bounded. Obviously, the sequence \(\{(u_{n}^{k}(\lambda_{m}), v_{n}^{k}(\lambda _{m}))\}_{n=1}^{\infty}\) has a strong convergent subsequence as \(n\rightarrow\infty\). Hence, for \(m\in N\) and \(k>K_{0}\), we suppose \(u_{n}^{k}(\lambda_{m})\rightarrow u^{k}(\lambda_{m})\), \(v_{n}^{k}(\lambda _{m})\rightarrow v^{k}(\lambda_{m})\) as \(n\rightarrow+\infty\). By (3.18)–(3.21), one has
and
for \(k>K_{0}\). By Lemma 3.5, \(\{(u^{k}(\lambda_{m}), v^{k}(\lambda_{m}))\}_{m=1}^{\infty}\) has a strong convergent subsequence with \(u^{k}(\lambda_{m})\rightarrow u^{k}\), \(v^{k}(\lambda_{m})\rightarrow v^{k}\) for \(k>k_{0}\). Consequently, the \(( u^{k}, v^{k})\) is the critical point of \(\varPhi (u^{k}, v^{k})=\varPhi_{1}(u^{k}, v^{k}) \) with \(\varPhi(u^{k}, v^{k})\in[\bar{b}_{k}, \bar {c}_{k}]\). Since \(\bar{b}_{k}\rightarrow+\infty\) as \(k\rightarrow+\infty\), we get infinitely many nontrivial solutions with high energy for systems (1.1). The proof is completed. □
Lemma 3.5
\(\{(u_{n}^{k}(\lambda_{m}), v_{n}^{k}(\lambda_{m}))\}_{n=1}^{\infty}\)is bounded in\(H\times H\).
Proof
We argue by contradiction. Suppose that \(\|(u_{n}^{k}(\lambda_{m}), v_{n}^{k}(\lambda_{m}))\|\rightarrow\infty\) as \(n\rightarrow\infty\). We consider \((\tau_{n}, \omega_{n}):=\frac{(u_{n}^{k}(\lambda_{m}), v_{n}^{k}(\lambda _{m}))}{\|(u_{n}^{k}(\lambda_{m}), v_{n}^{k}(\lambda_{m}))\|}\). Then, up to a subsequence, we get
We consider two cases:
Case 1: If \(|(\tau, \omega)|\neq0\) in \(H\times H\). Since \(\langle\varPhi '_{\lambda_{m}}(u_{n}^{k}(\lambda_{m}), v_{n}^{k}(\lambda_{m})),(u_{n}^{k}(\lambda_{m}), v_{n}^{k}(\lambda_{m}))\rangle=0\), one has
Thus, by Fatou’s lemma and conditions \((f_{3})\) and \((f_{4})\)
This is a contradiction.
Case 2: If \(|(\tau, \omega)|= 0\) in \(H\times H\). By (3.22), (3.23) and \((f_{4})\), we obtain
Therefore,
Letting \(n\rightarrow+\infty\), we get \(0\geq\frac{\mu}{2}-1\), i.e. \(\mu \leq2\); this is a contradiction with the hypothesis \(\mu>2\). Therefore, \(\{(u_{n}^{k}(\lambda_{m}), v_{n}^{k}(\lambda_{m}))\}_{n=1}^{\infty}\) is bounded in \(H\times H\). □
References
Salahshour, S., Ahmadian, A., Salimi, M., Ferrara, M., Baleanu, D.: Asymptotic solutions of fractional interval differential equations with nonsingular kernel derivative. Chaos, Interdiscip. J. Nonlinear Sci. 29(8), Article ID 083110 (2019)
Ahmadian, A., Salahshour, S., Chan, C.S.: Fractional differential systems: a fuzzy solution based on operational matrix of shifted Chebyshev polynomials and its applications. IEEE Trans. Fuzzy Syst. 25(1), 218–236 (2017)
Agarwal, P., Dragomir, S.S., Jleli, M., Samet, B.: Advances in Mathematical Inequalities and Applications. Birkhäuser, Basel (2018)
Ruzhansky, M., Cho, Y.J., Agarwal, P., Area, I.: Advances in Real and Complex Analysis with Applications. Springer, Singapore (2017)
Agarwal, P., Baleanu, D., Chen, Y., Momani, S., Machado, J.A.T. (eds.): Fractional Calculus: ICFDA 2018, Amman, Jordan, July 16–18. Springer Proceedings in Mathematics and Statistics, vol. 303 (2019)
Teng, K.M.: Multiple solutions for a class of fractional Schrödinger equations in \(\mathbb{R}^{N}\). Nonlinear Anal., Real World Appl. 21, 79–86 (2015)
Du, X.S., Mao, A.M.: Existence and multiple of nontrivial solutions for a class of fractional Schrödinger equations. J. Funct. Spaces 2017, Article ID 3793872 (2017)
Chang, S.Y.A., González, M.M.: Fractional Laplacian in conformal geometry. Adv. Math. 226, 1410–1432 (2011)
Caffarelli, L., Silvestre, L.: An extension problem related to the fractional Laplacian. Commun. Partial Differ. Equ. 32, 1245–1260 (2007)
Chang, X., Wang, Z.Q.: Ground state of scalar field equations involving a fractional Laplacian with general nonlinearity. Nonlinearity 26, 479–494 (2013)
Mao, A.M., Yang, L., Qian, A.X., Luan, S.X.: Existence and concentration of solutions of Schrödinger–Poisson system. Appl. Math. Lett. 68, 8–12 (2017)
Dipierro, S., Palatucci, G., Valdinoci, E.: Existence and symmetry results for a Schrödinger type problem involving the fractional Laplacian. Matematiche LXVIII, 201–216 (2013)
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. 66, 56–108 (2002)
Liu, Z.S., Guo, S.J.: On ground state solutions for the Schrödinger–Poisson equations with critical growth. J. Math. Anal. Appl. 412, 435–448 (2014)
Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521–573 (2012)
Silvestre, L.: Regularity of the obstacle problem for a fractional power of the Laplace operator. Commun. Pure Appl. Math. 60, 67–112 (2007)
Secchi, S.: Ground state solutions for nonlinear fractional Schrödinger equations in \(\mathbb{R}^{N}\). J. Math. Phys. 54, Article ID 031501 (2013)
Felmer, P., Quaas, A., Tan, J.: Positive solutions of nonlinear Schrödinger equation with the fractional Laplacian. Proc. R. Soc. Edinb., Sect. A 142, 1237–1262 (2012)
Shang, X.D., Zhang, J.H.: Ground states for fractional Schrödinger equations with critical growth. Nonlinearity 27, 187–207 (2014)
Servadei, R., Valdinoci, E.: The Brezis–Nirenberg result for the fractional Laplacian. Trans. Am. Math. Soc. 367, 67–102 (2015)
Teng, K.M., He, X.M.: Ground state solutions for fractional Schrödinger equations with critical Sobolev exponent. Commun. Pure Appl. Anal. 15, 991–1008 (2016)
Zhao, L.G., Zhao, F.K.: On the existence of solutions for the Schrödinger–Poisson equations. J. Math. Anal. Appl. 346, 155–169 (2008)
Berestycki, H., Lions, P.L.: Nonlinear scalar field equations. Arch. Ration. Mech. Anal. 82, 313–379 (1983)
Rabinowitz, P.H.: On a class of nonlinear Schrödinger equations. Z. Angew. Math. Phys. 43, 270–291 (1992)
Strauss, W.A.: Existence of solitary waves in higher dimensions. Commun. Math. Phys. 55, 149–162 (1977)
Bartsch, T., Wang, Z., Willem, M.: The Dirichlet problem for superlinear elliptic equations. In: Handbook of Differential Equations—Stationary Partial Differential Equations, vol. 2, pp. 1–55 (2005)
Zhang, J.H., Zhang, Z.T.: Existence results for some nonlinear elliptic systems. Nonlinear Anal. 71, 2840–2846 (2009)
Cao, D.M., Tang, Z.W.: Solutions with prescribed number of nodes to superlinear elliptic systems. Nonlinear Anal. 55, 707–722 (2003)
Pomponio, A.: Asymptotically linear cooperative elliptic system: existence and multiplicity. Nonlinear Anal. 52, 989–1003 (2003)
Zhao, P.H., Wang, X.Y.: The existence of positive solution of elliptic system by a linking theorem on product space. Nonlinear Anal. 56, 227–240 (2004)
Boccardo, L., de Figueiredo, D.G.: Some remarks on a system of quasilinear elliptic equations. Nonlinear Differ. Equ. Appl. 9, 309–323 (2002)
Alves, C.O., de Morais Filho, D.C., Miyagaki, O.H.: Multiple solutions for an elliptic system on bounded and unbounded domains. Nonlinear Anal. 56, 555–568 (2004)
Zou, H.H.: A priori estimates for a semilinear elliptic system without variational structure and their applications. Math. Ann. 323, 713–735 (2002)
Chang, K.C.: Principal eigenvalue for weight matrix in elliptic systems. Nonlinear Anal. 46, 419–433 (2001)
Zhang, Z.T., Wang, W.: Structure of positive solutions to a Schrödinger system. J. Fixed Point Theory Appl. 19, 877–887 (2016)
Liu, H.D., Liu, Z.L.: Multiple positive solutions of elliptic systems in exterior domains. Commun. Contemp. Math. 2017, Article ID 1750063 (2017)
Qi, Z.X., Zhang, Z.T.: Existence of multiple solutions to a class of nonlinear Schrödinger system with external sources terms. J. Math. Anal. Appl. 420, 972–986 (2014)
Zou, W.: Variant fountain theorems and their applications. Manuscr. Math. 104, 343–358 (2001)
Willem, M.: Minimax Theorems. Birkhäuser, Boston (1996)
Acknowledgements
The authors express their sincere gratitude to the editors and anonymous referees for their constructive comments and suggestions that helped to improve the presentation of the results and accentuate important details. The paper is supported by National natural Science Foundation of China (No. 11571197).
Availability of data and materials
Not applicable.
Funding
The work is supported by National Natural Science Foundation of China (No. 11571197).
Author information
Authors and Affiliations
Contributions
All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Not applicable.
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/.
About this article
Cite this article
Li, Q., Zhao, Z. & Du, X. Existence of infinitely many high energy solutions for a class of fractional Schrödinger systems. Adv Differ Equ 2020, 306 (2020). https://doi.org/10.1186/s13662-020-02771-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02771-1
MSC
- 35K70
- 35B44
Keywords
- Fractional Schrödinger system
- Variant fountain theorem
- Fractional Laplacian