Abstract
In this paper, by using a fixed point theorem and the theory of calculus on time scales, we obtain some sufficient conditions for the existence and exponential stability of periodic solutions for a class of Hamiltonian systems on time scales. We also present numerical examples to show the feasibility of our results. The results of this paper are completely new and complementary to the previously known results even if the time scale or ℤ.
Similar content being viewed by others
1 Introduction
Hamiltonian system, which was introduced by the Irish mathematician SWR Hamilton, is widely used in mathematical sciences, life sciences and so on. Many models in celestial mechanics, plasma physics, space science and bio-engineering are in the form of a Hamilton system. Therefore, the study of a Hamilton system is useful and meaningful in theory and practice. Recently, various Hamiltonian systems have been extensively studied (see [1–5] and references cited therein).
Most existing results on the study of Hamiltonian systems are for continuous systems. However, both discrete and continuous systems are important in applications, and it is troublesome to study the dynamical properties for continuous and discrete systems, respectively. Therefore, it is meaningful to study dynamical systems on time scales (see [6–13] and references cited therein), which helps avoid proving results twice, once for differential equations and once for difference equations. There have been some results devoted to Hamiltonian systems on time scales [9, 10, 14–17]. For example, authors in [14] introduced Hamiltonian systems on time scales and authors in [15, 16] studied the following Hamiltonian system on time scales:
where . In [15], authors obtained inequalities of Lyapunov for (1.1), and authors in [16] studied the stability of (1.1) by using Floquet theory. However, to the best of our knowledge, up to now, there have been no papers published on the existence and exponential stability of a periodic solution to (1.1).
Motivated by the above mentioned works, in this paper, we study the existence and exponential stability of periodic solutions to (1.1), in which is a periodic time scale. The main aim of this paper is to study the existence of periodic solutions to (1.1) by using a fixed point theorem. Moreover, we also study the exponential stability of the periodic solution to (1.1). Our results are new and complementary to the previously known results even if the time scale or ℤ.
Remark 1.1 It is obvious that when , (1.1) reduces to the following continuous time Hamiltonian system:
When , (1.1) reduces to the following discrete time Hamiltonian system:
For convenience, we denote and . For an ω-periodic function , we denote , and .
Throughout this paper, we assume that
(H1) , are all ω-periodic functions and , , where .
2 Preliminaries
In this section, we introduce some definitions and state some preliminary results.
Definition 2.1 [6]
Let be a nonempty closed subset (time scale) of ℝ. The forward and backward jump operators and the graininess are defined, respectively, by
Definition 2.2 [6]
A point is called left-dense if and , left-scattered if , right-dense if and , and right-scattered if . If has a left-scattered maximum m, then ; otherwise . If has a right-scattered minimum m, then ; otherwise .
Definition 2.3 [6]
A function is called regressive if
for all . If r is a regressive function, then the generalized exponential function is defined by
with the cylinder transformation
Let be two regressive functions, we define
Then the generalized exponential function has the following properties.
Lemma 2.1 [6]
Assume that are two regressive functions, then
(i) and ;
(ii) ;
(iii) ;
(iv) .
Lemma 2.2 [7]
Assume that are delta differentiable at , then
(i) for any constants , ;
(ii) .
Lemma 2.3 [7]
Assume that for , then .
Definition 2.4 [7]
A function is positively regressive if for all .
Lemma 2.4 [7]
Suppose that , then
(i) for all ;
(ii) if then for .
Lemma 2.5 [18]
If and for all , then for all with , we have
Lemma 2.6 [8]
Let . Then exists and , where .
Lemma 2.7 [7]
If and , then
and
Definition 2.5 Let be a solution of (1.1) and be an arbitrary solution of (1.1). If there exist positive constants and λ with such that for ,
where , , , , then the solution is said to be exponentially stable.
3 Existence and uniqueness
Lemma 3.1 Let (H1) hold. Then every ω-periodic solution of (1.1) is of the form:
Proof Let be an ω-periodic solution of (1.1). We can rewrite the first equation of (1.1) as follows:
Multiplying both sides of the above equation by , we have
Integrating both sides of this equation from t to and noticing that , we have
On the other hand, we rewrite the second equation of (1.1) as follows:
which is equivalent to
Multiplying both sides of the above equation by , we have
Integrating both sides of this equation from t to and noticing that , we have
which completes the proof. □
Theorem 3.1 Assume that (H1) and
(H2) and
hold. Then (1.1) has a unique periodic solution.
Proof Let with the norm , where and . Then is a Banach space. For , define the following operator:
where
and
We will show that Φ is a contraction. First we show that for any , we have . Note that
and
which means that .
Next, we prove that Φ is a contraction mapping. Together with
for any , we have
and
Hence, we have
It follows that Φ is a contraction. Therefore Φ has a fixed point in , that is, (1.1) has a unique periodic solution in . This completes the proof. □
4 Exponential stability of periodic solution
In this section, we study the exponential stability of the periodic solution to (1.1).
Theorem 4.1 Assume that (H1) and (H2) hold. Suppose further that . Then the periodic solution of (1.1) is exponentially stable.
Proof By Theorem 3.1, one can see that (1.1) has a unique ω-periodic solution . Suppose that is an arbitrary solution of (1.1). Denote , where , . Then it follows from (1.1) that
For , by Theorem 2.74 and Theorem 2.77 in [8], we have
and
Take a constant with such that and , where . Let
where . It is easy to verify that and hence, we have
We claim that
which means that
and
By way of contradiction, assume that (4.4) does not hold, then we have the following three cases.
Case one: (4.6) is true and (4.5) is not true. Then there exists such that
Hence, there must be a constant such that
In view of (4.2), we have
which is a contradiction.
Case two: (4.5) is true and (4.6) is not true. Then there exists such that
In view of (4.3), we have
which is also a contradiction.
Case three: Both (4.5) and (4.6) are untrue. By case one and case two, we can obtain a contradiction. Therefore, (4.4) holds. Hence, we have that
which means that the periodic solution of (1.1) is exponentially stable. This completes the proof. □
By Theorem 2.1 in [16], we have the following corollary.
Corollary 4.1 Assume that (H1) and (H2) hold. Suppose further that , , and . If
or
Then (1.1) has a stable ω-periodic solution.
5 Examples
In this section, we present two examples to illustrate the feasibility of our results obtained in previous sections.
Example 5.1 Consider the following Hamiltonian system on :
in which we take the coefficients as follows:
Since , then . By calculating, we have
and . All the conditions in Theorem 3.1 and Theorem 4.1 are satisfied. Hence, (5.1) has an exponentially stable 2π-periodic solution.
Example 5.2 Consider the following Hamiltonian system on :
in which we take the coefficients as follows:
Since , then . By calculating, we have , , , and
All the conditions in Theorem 3.1 and Theorem 4.1 are satisfied. Hence, (5.2) has an exponentially stable 6-periodic solution.
Remark 5.1 Since in (5.1) and (5.2), or may be negative, Theorem 2.1 in [16] is not suitable for our examples. But from our results, we can obtain that both (5.1) and (5.2) have exponentially stable ω-periodic solutions.
References
Ahlbrandt C, Peterson A: Discrete Hamiltonian Systems: Difference Equations, Continued Fractions, and Riccati Equations. Kluwer Academic, Boston; 1996.
Tang XH, Zhang MR: Lyapunov inequalities and stability for linear Hamiltonian systems. J. Differ. Equ. 2012, 252: 358-381. 10.1016/j.jde.2011.08.002
Liu ZL, Su JB, Wang ZQ: A twist condition and periodic solutions of Hamiltonian systems. Adv. Math. 2008, 218: 1895-1913. 10.1016/j.aim.2008.03.024
Han ZQ: Computations of cohomology groups and nontrivial periodic solutions of Hamiltonian systems. J. Math. Anal. Appl. 2007, 330(1):259-275. 10.1016/j.jmaa.2006.07.047
Sun JT, Chen HB, Nieto JJ: Homoclinic solutions for a class of subquadratic second-order Hamiltonian systems. J. Math. Anal. Appl. 2011, 373: 20-29. 10.1016/j.jmaa.2010.06.038
Hilger S: Analysis on measure chains-a unified approach to continuous and discrete calculus. Results Math. 1990, 18: 18-56. 10.1007/BF03323153
Bohner M, Peterson A: Dynamic Equations on Time Scales, an Introduction with Applications. Birkhäuser, Boston; 2001.
Kaufmann ER, Raffoul YN: Periodic solutions for a neutral nonlinear dynamical equations on a time scale. J. Math. Anal. Appl. 2006, 319: 315-325. 10.1016/j.jmaa.2006.01.063
Zhou JW, Li YK: Sobolev’s spaces on time scales and its applications to a class of second order Hamiltonian systems on time scales. Nonlinear Anal. 2010, 73: 1375-1388. 10.1016/j.na.2010.04.070
Zhou JW, Li YK: Variational approach to a class of second order Hamiltonian systems on time scales. Acta Appl. Math. 2012, 117: 47-69. 10.1007/s10440-011-9649-z
Zhang HT, Li YK: Existence of positive periodic solutions for functional differential equations with impulse effects on time scales. Commun. Nonlinear Sci. Numer. Simul. 2009, 14: 19-26. 10.1016/j.cnsns.2007.08.006
Li YK, Yang L, Wu WQ: Anti-periodic solutions for a class of Cohen-Grossberg neural networks with time-varying delays on time scales. Int. J. Syst. Sci. 2011, 42: 1127-1132. 10.1080/00207720903308371
Li YK, Wang C: Uniformly almost periodic functions and almost periodic solutions to dynamic equations on time scales. Abstr. Appl. Anal. 2011., 2011: Article ID 341520
Ahlbrandt CD, Bohner M: Hamiltonian systems on time scales. J. Math. Anal. Appl. 2000, 250: 561-578. 10.1006/jmaa.2000.6992
He XF, Zhang QM, Tang XH: On inequalities of Lyapunov for linear Hamiltonian systems on time scales. J. Math. Anal. Appl. 2011, 381: 695-705. 10.1016/j.jmaa.2011.03.036
Zafer A: The stability of linear periodic Hamiltonian systems on time scales. Appl. Math. Lett. 2013, 26: 330-336. 10.1016/j.aml.2012.09.014
Bohner M, Zafer A: Lyapunov type inequalities for planar linear dynamic Hamiltonian systems. Appl. Anal. Discrete Math. 2013. 10.2298/AADM130211004B
Adivar M, Raffoul YN: Existence of periodic solutions in totally nonlinear delay dynamic equations. Electron. J. Qual. Theory Differ. Equ. 2009, 1: 1-20.
Acknowledgements
This study was supported by the National Natural Sciences Foundation of People’s Republic of China under Grant 10971183.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the manuscript and typed, read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License ( https://creativecommons.org/licenses/by/2.0 ), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Yang, L., Liao, Y. & Li, Y. Existence and exponential stability of periodic solutions for a class of Hamiltonian systems on time scales. Adv Differ Equ 2013, 180 (2013). https://doi.org/10.1186/1687-1847-2013-180
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2013-180