 Research
 Open Access
 Published:
Solutions for perturbed fractional Hamiltonian systems without coercive conditions
Boundary Value Problems volume 2015, Article number: 149 (2015)
Abstract
In this paper we are concerned with the existence of solutions for the following perturbed fractional Hamiltonian systems: \({}_{t}D^{\alpha}_{\infty}({}_{\infty}D^{\alpha}_{t}u(t)) L(t)u(t)+\nabla W(t,u(t))=f(t)\), \(u\in H^{\alpha}(\mathbb{R},\mathbb{R}^{n})\) (PFHS), where \(\alpha\in(1/2,1)\), \(t\in\mathbb{R}\), \(u\in\mathbb{R}^{n}\), \(L\in C(\mathbb{R},\mathbb{R}^{n^{2}})\) is a symmetric and positive definite matrix for all \(t\in\mathbb{R}\), \(W\in C^{1}(\mathbb{R}\times \mathbb{R}^{n},\mathbb{R})\), and \(\nabla W(t,u)\) is the gradient of \(W(t,u)\) at u, \(f\in C(\mathbb{R},\mathbb{R}^{n})\) and belongs to \(L^{2}(\mathbb{R},\mathbb{R}^{n})\). The novelty of this paper is that, assuming \(L(t)\) is bounded in the sense that there are constants \(0<\tau_{1}<\tau_{2}<\infty\) such that \(\tau_{1} u^{2}\leq(L(t)u,u)\leq\tau_{2} u^{2}\) for all \((t,u)\in\mathbb{R}\times\mathbb{R}^{n}\) and \(W(t,u)\) satisfies the AmbrosettiRabinowitz condition and some other reasonable hypotheses, \(f(t)\) is sufficiently small in \(L^{2}(\mathbb{R},\mathbb{R}^{n})\), we show that (PFHS) possesses at least two nontrivial solutions. Recent results are generalized and significantly improved.
Introduction
Fractional differential equations both ordinary and partial ones are applied in mathematical modeling of process in physics, mechanics, control theory, biochemistry, bioengineering and economics. Therefore, the theory of fractional differential equations is an area intensively developed during the last decades [1, 2]. The monographs [3–5] enclose a review of methods of solving fractional differential equations, which are an extension of procedures from differential equations theory.
Recently, also equations including both left and right fractional derivatives are discussed. Apart from their possible applications, equations with left and right derivatives is an interesting and new field in fractional differential equations theory. In this topic, many results are obtained dealing with the existence and multiplicity of solutions of nonlinear fractional differential equations by using techniques of nonlinear analysis, such as fixed point theory (including the LeraySchauder nonlinear alternative) [6], topological degree theory (including coincidence degree theory) [7] and comparison method (including upper and lower solutions and monotone iterative method) [8] and so on.
It should be noted that critical point theory and variational methods have also turned out to be very effective tools in determining the existence of solutions for integer order differential equations. The idea behind them is to try to find solutions of a given boundary value problem by looking for critical points of a suitable energy functional defined on an appropriate function space. In the last 30 years, critical point theory has become a wonderful tool in studying the existence of solutions to differential equations with variational structures; we refer the reader to Mawhin and Willem [9], Rabinowitz [10], Schechter [11], and the references listed therein.
Recently, in [12] the author was first to discuss the following perturbed fractional Hamiltonian systems:
where \(\alpha\in(1/2,1)\), \(t\in \mathbb {R}\), \(u\in \mathbb {R}^{n}\), \(L\in C(\mathbb {R},\mathbb {R}^{n^{2}})\) is a symmetric and positive definite matrix for all \(t\in \mathbb {R}\), \(W\in C^{1}(\mathbb {R}\times \mathbb {R}^{n},\mathbb {R})\), and \(\nabla W(t,u)\) is the gradient of \(W(t,u)\) at u, \(f\in C(\mathbb {R},\mathbb {R}^{n})\) and belongs to \(L^{2}(\mathbb {R},\mathbb {R}^{n})\). Under the conditions of (L), (W_{1})(W_{3}) (see below) and assuming that the \(L^{2}\) norm of f is sufficiently small, he showed that (PFHS) has at least two nontrivial solutions.
Equation (PFHS), if \(\alpha=1\) and \(f(t)\equiv0\), reduces to the following second order Hamiltonian systems:
It is well known that the existence of homoclinic solutions for Hamiltonian systems and their importance in the study of the behavior of dynamical systems have been recognized from Poincaré [13]. They may be ‘organizing centers’ for the dynamics in their neighborhood. From their existence one may, under certain conditions, infer the existence of chaos nearby or the bifurcation behavior of periodic orbits. During the past two decades, with the works of [14] and [15] variational methods and critical point theory have been successfully applied for the search of the existence and multiplicity of homoclinic solutions of (HS).
Assuming that \(L(t)\) and \(W(t,u)\) are independent of t or periodic in t, many authors have studied the existence of homoclinic solutions for (HS); see for instance [15–17] and the references therein and some more general Hamiltonian systems are considered in [18, 19]. In this case, the existence of homoclinic solutions can be obtained by going to the limit of periodic solutions of approximating problems. If \(L(t)\) and \(W(t,u)\) are neither autonomous nor periodic in t, the existence of homoclinic solutions of (HS) is quite different from the periodic systems, because of the lack of compactness of the Sobolev embedding, such as in [14, 17, 20] and the references mentioned there.
Motivated by the above classical works, in [21] the author considered the following fractional Hamiltonian systems:
where \(\alpha\in(1/2,1)\), \(t\in \mathbb {R}\), \(u\in \mathbb {R}^{n}\), \(L\in C(\mathbb {R},\mathbb {R}^{n^{2}})\) is a symmetric and positive definite matrix for all \(t\in \mathbb {R}\), \(W\in C^{1}(\mathbb {R}\times \mathbb {R}^{n},\mathbb {R})\), and \(\nabla W(t,u)\) is the gradient of \(W(t,u)\) at u. Assuming that \(L(t)\) and \(W(t,u)\) satisfy the following hypotheses, the author showed that (FHS) possesses at least one nontrivial solution via the mountain pass theorem. Explicitly,
 (L):

\(L(t)\) is a positive definite symmetric matrix for all \(t\in \mathbb {R}\) and there exists an \(l\in C(\mathbb {R},(0,\infty))\) such that \(l(t)\rightarrow\infty\) as \(t\rightarrow\infty\) and
$$ \bigl(L(t)u,u\bigr)\geq l(t)u^{2} \quad\mbox{for all } t\in \mathbb {R}\mbox{ and } u\in \mathbb {R}^{n}. $$(1.1)  (W_{1}):

\(W\in C^{1}(\mathbb {R}\times \mathbb {R}^{n},\mathbb {R})\) and there is a constant \(\theta>2\) such that
$$0< \theta W(t,u)\leq\bigl(\nabla W(t,u),u\bigr) \quad\mbox{for all } t\in \mathbb {R}\mbox{ and } u\in \mathbb {R}^{n}\backslash\{0\}. $$  (W_{2}):

\(\nabla W(t,u)=o(u)\) as \(u\rightarrow0\) uniformly with respect to \(t\in \mathbb {R}\).
 (W_{3}):

There exists \(\overline{W}\in C(\mathbb {R}^{n},\mathbb {R})\) such that
$$\biglW(t,u)\bigr+\bigl\nabla W(t,u)\bigr\leq\bigl\overline{W}(u)\bigr \quad\mbox{for every } t\in \mathbb {R}\mbox{ and } u\in \mathbb {R}^{n}. $$
As is well known, the condition (L) is the socalled coercive condition and is very restrictive. In fact, for a simple choice like \(L(t)=\tau \mathrm{Id}_{n}\), the condition (1.1) is not satisfied, where \(\tau>0\) and \(\mathrm{Id}_{n}\) is the \(n\times n\) identity matrix. Therefore, in [23] the authors focused their attention on the case that \(L(t)\) is bounded in the sense that
 (L)′:

\(L\in C(\mathbb {R},\mathbb {R}^{n^{2}})\) is a symmetric and positive definite matrix for all \(t\in \mathbb {R}\) and there are constants \(0<\tau _{1}<\tau_{2}<\infty\) such that
$$\tau_{1}u^{2}\leq\bigl(L(t)u,u\bigr)\leq \tau_{2}u^{2} \quad\mbox{for all } (t,u)\in \mathbb {R}\times \mathbb {R}^{n}. $$
Inspired by [12, 23], in the present paper we deal with (PFHS) for the case that \(L(t)\) is bounded, i.e., (L)′ holds and \(W(t,u)\) is superquadratic as \(u\rightarrow\infty\). Explicitly, we assume that the potential \(W(t,u)\) satisfies (W_{1}) and the following condition:
 (W_{2})′:

there exists some positive continuous function \(a:\mathbb {R}\rightarrow \mathbb {R}\) with
$$ \lim_{t\rightarrow\infty}a(t)=0 $$(1.2)such that
$$\bigl\nabla W(t,u)\bigr\leq a(t)u^{\theta1} \quad\mbox{for all } (t,u)\in \mathbb {R}\times \mathbb {R}^{n}. $$
 (W_{ f }):

\(\varrho<\frac{1}{2C_{2}}\) and \(f:\mathbb {R}\rightarrow \mathbb {R}^{n}\) is a continuous square integrable function such that
$$ \f\_{L^{2}}< \frac{1}{C_{\infty}} \biggl(\frac{1}{2C_{2}} \varrho C_{2} \biggr), $$(1.3)where \(C_{2}\) and \(C_{\infty}\) are defined in Section 2.
Theorem 1.1
Suppose that (L)′, (W_{1}), (W_{2})′ and (W_{ f }) are satisfied, then (PFHS) possesses at least two nontrivial solutions.
Remark 1.2
Note that in (L)′, we assume that \(L(t)\) is bounded. Therefore, the coercive condition (L) is not satisfied. Thus the results in [12] are generalized and improved significantly.
Moreover, as mentioned above, the coercive condition (L) is used to establish some compact embedding theorems to guarantee that the (PS) condition (or the other weak compactness conditions) holds, which is the essential step to obtain the existence of homoclinic solutions of (PFHS) via critical point theory and variational methods. In the present paper, we assume that \(L(t)\) satisfies (L)′ and could not obtain some compact embedding theorem. Therefore, the main difficulty is to adapt some new technique to overcome this difficulty and test that the (PS) condition is verified; see Lemmas 3.1 and 3.2 below.
The remaining part of this paper is organized as follows. Some preliminary results are presented in Section 2. Section 3 is devoted to accomplishing the proof of Theorem 1.1.
Preliminary results
In this section, for the reader’s convenience, first we introduce some basic definitions of fractional calculus. The LiouvilleWeyl fractional integrals of order \(0<\alpha<1\) are defined as
and
The LiouvilleWeyl fractional derivative of order \(0<\alpha<1\) are defined as the leftinverse operators of the corresponding LiouvilleWeyl fractional integrals
and
The definitions of (2.1) and (2.2) may be written in an alternative form as follows:
and
Moreover, recall that the Fourier transform \(\widehat{u}(w)\) of \(u(x)\) is defined by
In order to establish the variational structure which enables us to reduce the existence of solutions of (PFHS) to find critical points of the corresponding functional, it is necessary to construct the appropriate functional spaces. In what follows, we introduce some fractional spaces; for more details see [24]. To this end, denote by \(L^{p}(\mathbb {R},\mathbb {R}^{n})\) (\(2\leq p <\infty\)) the Banach spaces of functions on \(\mathbb {R}\) with values in \(\mathbb {R}^{n}\) under the norms
and \(L^{\infty}(\mathbb {R},\mathbb {R}^{n})\) is the Banach space of essentially bounded functions from \(\mathbb {R}\) into \(\mathbb {R}^{n}\) equipped with the norm
For \(\alpha>0\), define the seminorm
and the norm
and let
where \(C_{0}^{\infty}(\mathbb {R},\mathbb {R}^{n})\) denotes the space of infinitely differentiable functions from \(\mathbb {R}\) into \(\mathbb {R}^{n}\) with vanishing property at infinity.
Now we can define the fractional Sobolev space \(H^{\alpha}(\mathbb {R},\mathbb {R}^{n})\) in terms of the Fourier transform. Choose \(0<\alpha<1\), define the seminorm
and the norm
and let
Moreover, we note that a function \(u\in L^{2}(\mathbb {R},\mathbb {R}^{n})\) belongs to \(I^{\alpha}_{\infty}\) if and only if
Especially, we have
Therefore, \(I^{\alpha}_{\infty}\) and \(H^{\alpha}\) are equivalent with equivalent seminorm and norm. Analogous to \(I^{\alpha}_{\infty}\), we introduce \(I^{\alpha}_{\infty}\). Define the seminorm
and the norm
and let
Then \(I^{\alpha}_{\infty}\) and \(I^{\alpha}_{\infty}\) are equivalent with equivalent seminorm and norm; see [24].
Let \(C(\mathbb {R},\mathbb {R}^{n})\) denote the space of continuous functions from \(\mathbb {R}\) into \(\mathbb {R}^{n}\). Then we obtain the following lemma.
Lemma 2.1
([21], Theorem 2.1)
If \(\alpha>1/2\), then \(H^{\alpha}\subset C(\mathbb {R},\mathbb {R}^{n})\) and there is a constant \(C=C_{\alpha}\) such that
Remark 2.2
From Lemma 2.1, we know that if \(u\in H^{\alpha}\) with \(1/2<\alpha<1\), then \(u\in L^{p}(\mathbb {R},\mathbb {R}^{n})\) for all \(p\in [2,\infty)\), since
In what follows, we introduce the fractional space in which we will construct the variational framework of (PFHS). Let
then \(X^{\alpha}\) is a reflexive and separable Hilbert space with the inner product
and the corresponding norm is
Similar to Lemma 2.1 in [21], we have the following conclusion. Its proof is just the repetition of Lemma 2.1 of [21], so we omit the details.
Lemma 2.3
Suppose \(L(t)\) satisfies (L)′, then \(X^{\alpha}\) is continuously embedded in \(H^{\alpha}\).
Remark 2.4
From Remark 2.1 and Lemma 2.3, the embedding of \(X^{\alpha}\) into \(L^{\infty}(\mathbb {R},\mathbb {R}^{n})\) is continuous. On the other hand, it is obvious that the embedding \(X^{\alpha}\hookrightarrow L^{2}(\mathbb {R},\mathbb {R}^{n})\) is also continuous. Therefore, combining this with Remark 2.2, for any \(p\in[2,\infty]\), there exists \(C_{p}>0\) such that
Proposition 2.5
([18], Fact 2.1)
Under the assumption of (W_{1}), we have

(i)
\(W(t,u)\leq W(t,\frac{u}{u})u^{\theta}\) for \(t\in \mathbb {R}\) and \(0<u\leq1\);

(ii)
\(W(t,u)\geq W(t,\frac{u}{u})u^{\theta}\) for \(t\in \mathbb {R}\) and \(u\geq1\).
Now we introduce some more notations and necessary definitions. Let \(\mathcal{B}\) be a real Banach space, \(I\in C^{1}(\mathcal{B},\mathbb {R})\) means that I is a continuously Fréchetdifferentiable functional defined on \(\mathcal{B}\). Recall that \(I\in C^{1}(\mathcal{B},\mathbb {R})\) is said to satisfy the (PS) condition if any sequence \(\{u_{n} \}_{n\in \mathbb {N}}\subset \mathcal{B}\), for which \(\{I(u_{n}) \}_{n\in \mathbb {N}}\) is bounded and \(I'(u_{n})\rightarrow0\) as \(n\rightarrow\infty\), possesses a convergent subsequence in \(\mathcal{B}\).
Moreover, let \(B_{r}\) be the open ball in \(\mathcal{B}\) with the radius r and centered at 0 and \(\partial B_{r}\) denotes its boundary. Under the conditions of Theorem 1.1, we obtain the existence of the first solution of (PFHS) by using the following wellknown mountain pass theorem; see [10].
Lemma 2.6
([10], Theorem 2.2)
Let \(\mathcal{B}\) be a real Banach space and \(I\in C^{1}(\mathcal{B},\mathbb {R})\) satisfying the (PS) condition. Suppose that \(I(0)=0\) and

(A1)
there are constants ρ, \(\alpha>0\) such that \(I_{\partial B_{\rho}}\geq\alpha\), and

(A2)
there is an \(e\in\mathcal{B}\setminus\overline {B}_{\rho}\) such that \(I(e)\leq0\).
Then I possesses a critical value \(c\geq\alpha\). Moreover, c can be characterized as
where
As far as the second one is concerned, we obtain it by a minimizing method, which is concerned with a small ball centered at 0; see Step 4 in proof of Theorem 1.1.
Proof of Theorem 1.1
The aim of section is to establish the proof of Theorem 1.1. For this purpose, we are going to establish the corresponding variational framework to obtain solutions of (PFHS). To this end, define the functional \(I:\mathcal{B}=X^{\alpha}\rightarrow \mathbb {R}\) by
Under the conditions of Theorem 1.1, as usual, we see that \(I\in C^{1}(X^{\alpha}, \mathbb {R})\), i.e., I is a continuously Fréchetdifferentiable functional defined on \(X^{\alpha}\). Moreover, we have
for all u, \(v\in X^{\alpha}\), which yields
Lemma 3.1
Under the conditions of Theorem 1.1, \(\Phi'\) is compact, i.e., \(\Phi'(u_{n})\rightarrow\Phi'(u)\) if \(u_{n}\rightharpoonup u\) in \(X^{\alpha}\), where \(\Phi:X^{\alpha}\rightarrow \mathbb {R}\) is defined by
Proof
Assume that \(u_{n}\rightharpoonup u\) in \(X^{\alpha}\), then there is some constant \(M>0\) such that
for \(n\in \mathbb {N}\). In addition, from (W_{2})′, for any \(\epsilon>0\) there exists \(R>0\) such that
for \(t>R\).
Consequently, for n large enough, we have
Here we apply the Young inequality:
In view of (3.5) and (2.5), we obtain
which yields \(\Phi'(u_{n})\rightarrow\Phi'(u)\) as \(u_{n}\rightharpoonup u\), that is, \(\Phi'\) is compact. □
Lemma 3.2
Under the conditions of Theorem 1.1, I satisfies the (PS) condition.
Proof
Assume that \(\{u_{k} \}_{k\in \mathbb {N}} \subset X^{\alpha}\) is a sequence such that \(\{I(u_{k}) \}_{k\in \mathbb {N}}\) is bounded and \(I'(u_{k})\rightarrow0\) as \(k\rightarrow\infty\). Then there exists a constant \(M>0\) such that
for every \(k\in \mathbb {N}\), where \((X^{\alpha})^{*}\) is the dual space of \(X^{\alpha}\).
First, we show that \(\{u_{n}\}_{k\in \mathbb {N}}\) is bounded. In fact, in view of (W_{1}), (3.1), (3.2), and (3.6), we obtain
Since \(\theta>2\), the boundedness of \(\{u_{k}\}_{k\in \mathbb {N}}\) follows directly. Then the sequence \(\{u_{k}\}_{k\in \mathbb {N}}\) has a subsequence, again denoted by \(\{u_{k}\}_{k\in \mathbb {N}}\), and there exists \(u\in E\) such that
which yields
Note that, according to (3.2), we have
On the other hand, in view of Lemma 3.1, \(\Phi '(u_{k})\rightarrow\Phi'(u)\) as \(k\rightarrow\infty\). Consequently, we deduce that \(\u_{k}u\_{X^{\alpha}}\rightarrow0\) as \(k\rightarrow\infty\) and prove that the (PS) condition holds. □
Now we are in the position to give the proof of Theorem 1.1. We divide its proof into four steps.
Proof
Step 1. It is clear that \(I(0)=0\) and \(I\in C^{1}(X^{\alpha}, \mathbb {R})\) satisfies the (PS) condition by Lemma 3.2.
Step 2. We now show that there exist constants \(\rho>0\) and \(\alpha>0\) such that I satisfies condition (A1) of Lemma 2.6. Let \(\rho=\frac{1}{C_{\infty}}\), where \(C_{\infty}\) is defined in (2.5). Assume that \(u\in E\) with \(\u\_{X^{\alpha} }\leq\rho\), then \(\u\_{\infty}\leq1\).
In consequence, combining this with (i) of Proposition 2.5, we obtain
where ϱ is defined in (W_{ f }). The inequalities (1.3) and (3.7) imply that
Step 3. It remains to prove that there exists an \(e\in X^{\alpha}\) such that \(I(e)\leq0\) with \(\e\_{X^{\alpha}}>\rho\), where ρ is defined in Step 2. Choose \(\varphi\in X^{\alpha}\) such that \(\varphi(t)=1\) for all \(t\in[0,1]\). In view of (3.1) and (ii) of Proposition 2.5, we have, for every \(s\in[1,\infty)\),
where \(m=\min\{W(t,u):t\in[0,1], u=1\}\). Since \(\theta>2\), (3.8) implies that \(I(s\varphi)=I(e)<0\) for some \(s\gg1\) with \(\s\varphi\_{X^{\alpha}}>\rho\), where ρ is defined in Step 2. By Lemma 2.6, I possesses a critical value \(c_{1}\geq\alpha >0\) given by
where
Hence there is \(0\neq u_{1}\in X^{\alpha}\) such that
That is, the first nontrivial solution of (PFHS) exists.
Step 4. From (3.7), we see that I is bounded from below on ̅. Therefore, we can denote
where ρ is defined in Step 1. Due to the fact that \(I(0)=0\), \(c_{2}< c_{1}\). Then there is a minimizing sequence \(\{v_{k}\}_{k\in \mathbb {N}}\subset\overline{B_{\rho}(0)}\) such that
as \(k\rightarrow\infty\). That is, \(\{v_{k}\}_{k\in \mathbb {N}}\) is a (PS) sequence. Furthermore, from Lemma 3.2 I satisfies the (PS) condition. Therefore, \(c_{2}\) is one nontrivial critical value of I (note that in our case \(u(t)\equiv0\) is not a solution of (PFHS)). Consequently, there is \(0\neq u_{2}\in X^{\alpha}\) such that
That is, I has another nontrivial solution. □
References
 1.
Agrawal, O, Tenreiro Machado, J, Sabatier, J: Fractional Derivatives and Their Application: Nonlinear Dynamics. Springer, Berlin (2004)
 2.
Hilfer, R: Applications of Fractional Calculus in Physics. World Scientific, Singapore (2000)
 3.
Kilbas, A, Srivastava, H, Trujillo, J: Theory and Applications of Fractional Differential Equations. NorthHolland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
 4.
Miller, K, Ross, B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
 5.
Podlubny, I: Fractional Differential Equations. Academic Press, New York (1999)
 6.
Bai, ZB, Lü, HS: Positive solutions for boundary value problem of nonlinear fractional differential equation. J. Math. Anal. Appl. 311, 495505 (2005)
 7.
Jiang, WH: The existence of solutions for boundary value problems of fractional differential equations at resonance. Nonlinear Anal. 74, 19871994 (2011)
 8.
Zhang, SQ: Existence of a solution for the fractional differential equation with nonlinear boundary conditions. Comput. Math. Appl. 61, 12021208 (2011)
 9.
Mawhin, J, Willem, M: Critical Point Theory and Hamiltonian Systems. Springer, New York (1989)
 10.
Rabinowitz, PH: Minimax Methods in Critical Point Theory with Applications to Differential Equations. CBMS Regional Conference Series in Mathematics, vol. 65. Am. Math. Soc., Providence, RI (1986)
 11.
Schechter, M: Linking Methods in Critical Point Theory. Birkhäuser, Boston (1999)
 12.
Torres, C: Existence of solutions for perturbed fractional Hamiltonian systems. arXiv:1402.6919v1
 13.
Poincaré, H: Les Méthodes Nouvelles de la Mécanique Céleste. GauthierVillars, Paris (18971899)
 14.
Omana, W, Willem, M: Homoclinic orbits for a class of Hamiltonian systems. Differ. Integral Equ. 5(5), 11151120 (1992)
 15.
Rabinowitz, PH: Homoclinic orbits for a class of Hamiltonian systems. Proc. R. Soc. Edinb., Sect. A, Math. 114(12), 3338 (1990)
 16.
Coti Zelati, V, Rabinowitz, PH: Homoclinic orbits for second order Hamiltonian systems possessing superquadratic potentials. J. Am. Math. Soc. 4(4), 693727 (1991)
 17.
Ding, YH: Existence and multiplicity results for homoclinic solutions to a class of Hamiltonian systems. Nonlinear Anal. 25(11), 10951113 (1995)
 18.
Izydorek, M, Janczewska, J: Homoclinic solutions for a class of the second order Hamiltonian systems. J. Differ. Equ. 219(2), 375389 (2005)
 19.
Izydorek, M, Janczewska, J: Homoclinic solutions for nonautonomous second order Hamiltonian systems with a coercive potential. J. Math. Anal. Appl. 335, 11191127 (2007)
 20.
Rabinowitz, PH, Tanaka, K: Some results on connecting orbits for a class of Hamiltonian systems. Math. Z. 206(3), 473499 (1991)
 21.
Torres, C: Existence of solution for a class of fractional Hamiltonian systems. Electron. J. Differ. Equ. 2013, 259 (2013)
 22.
Zhang, ZH, Yuan, R: Variational approach to solutions for a class of fractional Hamiltonian systems. Math. Methods Appl. Sci. 37(13), 18731883 (2014)
 23.
Zhang, ZH, Yuan, R: Solutions for subquadratic fractional Hamiltonian systems without coercive conditions. Math. Methods Appl. Sci. 37(18), 29342945 (2014)
 24.
Ervin, V, Roop, J: Variational formulation for the stationary fractional advection dispersion equation. Numer. Methods Partial Differ. Equ. 22, 5876 (2006)
Acknowledgements
Project supported by the National Natural Science Foundation of China (Grant No. 11101304).
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The main idea of this paper was proposed by XW and ZZ. XW and ZZ prepared the manuscript initially and performed all the steps of the proofs in this research. All authors read and approved the final manuscript.
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
Wu, X., Zhang, Z. Solutions for perturbed fractional Hamiltonian systems without coercive conditions. Bound Value Probl 2015, 149 (2015). https://doi.org/10.1186/s1366101504065
Received:
Accepted:
Published:
MSC
 34C37
 35A15
 35B38
Keywords
 fractional Hamiltonian systems
 critical point
 variational methods
 mountain pass theorem