Research Article | Open Access

Volume 2011 |Article ID 463480 | 14 pages | https://doi.org/10.1155/2011/463480

# Existence of Periodic Solutions for a Class of Discrete Hamiltonian Systems

Accepted12 Jun 2011
Published03 Aug 2011

#### Abstract

By applying minimax methods in critical point theory, we prove the existence of periodic solutions for the following discrete Hamiltonian systems , where , , , is continuously differentiable in for every and is -periodic in is a positive integer.

#### 1. Introduction

Consider the following discrete Hamiltonian system: where is the forward difference operator defined by and is continuously differentiable in for every and is -periodic in ; is a positive integer.

Difference equations usually describe evolution of certain phenomena over the course of time. For example, if a certain population has discrete generations, the size of the th generation is a function of the th generation . In fact, difference equations provide a natural description of many discrete models in real world. Since discrete models exist in various fields of science and technology such as statistics, computer science, electrical circuit analysis, biology, neural network, optimal control, and so on, it is of practical importance to investigate the solutions of difference equations. For more details about difference equations, we refer the readers to the books .

In some recent papers , the authors studied the existence of periodic solutions and subharmonic solutions of difference equations by applying critical point theory. These papers show that the critical point theory is an effective method to the study of periodic solutions for difference equations. In 2007, Xue and Tang  investigated the existence of periodic solutions for (1.1) and obtained the main result.

Theorem A (see ). Suppose that satisfies the following conditions: (F1)there exists a positive constant such that for all ;(F2)there are constants such that where    for every with ;(F3) as for all .
Then problem (1.1) has at least one periodic solution with period .

Let where , , , and . It is easy to see that where and is a positive constant and is dependent on . The above inequality shows that there are functions not satisfying condition (F2). If we let , , , then we have But the above equality does not satisfy (F3). This example shows that it is valuable to further improve conditions (F2) and (F3).

Before stating our main results, we first introduce some preliminaries.

#### 2. Preliminaries

Let can be equipped with the inner product by which the norm on can be reduced by where and denote the usual inner product and the usual norm in . It is easy to see that is a finite-dimensional Hilbert space and linear homeomorphic to . For any , define Obviously, and is equivalent to . Hence, there exist two positive constants , , which are independent on , such that If we define , it is easy to see that for any ,

For any , let We can compute the Fréchet derivative of (2.7) as Hence, is a critical point of on if and only if So, the critical points of are classical solutions of (1.1). The following lemmas are useful in our proof.

Lemma 2.1 (see ). As a subspace of , is defined by where and denote the Gauss Function. Then there hold (i); (ii).

Lemma 2.2 (see ). Define , , ; then one has

#### 3. Main Results and Proofs

Theorem 3.1. Suppose that satisfies (F1) and the following conditions (F2)′there are , such that where for every with ;(F3)′ for all .
Then problem (1.1) has at least one periodic solution with period .

Theorem 3.2. Suppose that satisfies (F1) and (F2) with . Moreover, assume the following conditions hold: and (F4) for all .
Then problem (1.1) has at least one periodic solution with period .

Remark 3.3. It is easy to see that (F2)′ is more general than (F2) and (F3)′ is weaker than (F3). Theorem 3.2 is a new result, which completes Theorem A when .
For the sake of convenience, we denote

Proof of Theorem 3.1. First we prove that satisfies the (PS) condition. Suppose that a consequence is such that , where and as . Then for sufficiently large , From Lemma 2.1, we can write as , where . From (F3)′, we can choose such that From (F2)′, (2.6), Hölder inequality, and Young inequality, we have In a similar way, we have Let . From (2.12) and (3.7), we have It follows from (3.8) and (3.9) that where . The fact that implies that . So it follows from (3.10) that and so where . It follows from the boundedness of , (2.11), (3.6), (3.11), and (3.12) that Inequalities (3.5) and (3.13) imply that is bounded. Hence, is bounded by (3.12), and then is bounded. Since is finite dimensional, there exists a subsequence of convergent in . Thus, we conclude that (PS) condition is satisfied.
In order to use the saddle point theorem [16, Theorem  4.6], we only need to verify the following conditions: (I1); (I2).
In fact, from (F3)′, we have For any , since , we have It follows from (3.14) and the above inequality that Thus (I1) is easy to verify.
Next, for all , from (F2)′ and (2.6), we have By (2.7), (2.12), and (3.17), we obtain Since and , we have as in . The proof of Theorem 3.1 is complete.

Proof of Theorem 3.2. By (3.2) and (F4), we can choose an such that It follows from (F2)′ with , (2.6), Hölder inequality, and Young inequality that In a similar way, we have From (3.8) and (3.22), we have It follow from (3.23) that where . The fact that implies that . So it follows from (3.24) that and so where . It follows from the boundedness of , (2.11), (3.21), (3.25), and (3.26) that Inequalities (3.20) and (3.27) imply that is bounded. Hence, is bounded by (3.26), and then is bounded. Since is finite dimensional, there exists a subsequence of convergent in . Thus, we conclude that (PS) condition is satisfied.
In the following, we prove that satisfies (I1) and (I2). In fact, from (F4), we have It follows from (3.27) and that Thus (I1) is easy to verify.
Next, for all , from (F2)′ with and (2.6), we have By (2.7), (2.12), and (3.30), we obtain Since , we have as in . The proof of Theorem 3.2 is complete.

#### 4. Examples

In this section, we give two examples to illustrate our results.

Example 4.1. Let where and . It is easy to see that where and is a positive constant and is dependent on . It is easy to see that satisfies (F1). From (4.2), we can let , , and be which shows that (F2)′ is satisfied. Moreover, if we let , then we have If we let , then we obtain which shows that (F3)' holds. Then from Theorem 3.1, problem (1.1) has at least one periodic solution with period .

Example 4.2. Let where and . It is easy to see that satisfies (F1) and where and is a positive constant and is dependent on . The above shows that (F2)′ holds with and Let , then . Observe that On the other hand, we have We can choose sufficiently small such that and which shows that (F4) holds. Then from Theorem 3.2, problem (1.1) has at least one periodic solution with period .

#### Acknowledgment

X. H. Tang is supported by the NNSF (no. 10771215) of China.

1. R. P. Agarwal, Difference Equations and Inequalities, vol. 228 of Monographs and Textbooks in Pure and Applied Mathematics, Marcel Dekker, New York, NY, USA, 2nd edition, 2000. View at: Zentralblatt MATH
2. C. D. Ahlbrandt and A. C. Peterson, Discrete Hamiltonian Systems, vol. 16 of Kluwer Texts in the Mathematical Sciences, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1996. View at: Zentralblatt MATH
3. S. N. Elaydi, An Introduction to Difference Equations, Undergraduate Texts in Mathematics, Springer, New York, NY, USA, 2nd edition, 1999.
4. R. P. Agarwal and J. Popenda, “Periodic solutions of first order linear difference equations,” Mathematical and Computer Modelling, vol. 22, no. 1, pp. 11–19, 1995.
5. R. P. Agarwal, K. Perera, and D. O'Regan, “Multiple positive solutions of singular discrete -Laplacian problems via variational methods,” Advances in Difference Equations, no. 2, pp. 93–99, 2005. View at: Google Scholar
6. Z. M. Guo and J. S. Yu, “Existence of periodic and subharmonic solutions for second-order superlinear difference equations,” Science in China A, vol. 46, no. 4, pp. 506–515, 2003. View at: Publisher Site | Google Scholar
7. Z. M. Guo and J. S. Yu, “Periodic and subharmonic solutions for superquadratic discrete Hamiltonian systems,” Nonlinear Analysis: Theory, Methods & Applications A, vol. 55, no. 7-8, pp. 969–983, 2003.
8. Z. M. Guo and J. S. Yu, “The existence of periodic and subharmonic solutions of subquadratic second order difference equations,” Journal of the London Mathematical Society, vol. 68, no. 2, pp. 419–430, 2003.
9. H. H. Liang and P. X. Weng, “Existence and multiple solutions for a second-order difference boundary value problem via critical point theory,” Journal of Mathematical Analysis and Applications, vol. 326, no. 1, pp. 511–520, 2007.
10. J. Rodriguez and D. L. Etheridge, “Periodic solutions of nonlinear second-order difference equations,” Advances in Difference Equations, no. 2, pp. 173–192, 2005. View at: Google Scholar | Zentralblatt MATH
11. Y.-F. Xue and C.-L. Tang, “Existence of a periodic solution for subquadratic second-order discrete Hamiltonian system,” Nonlinear Analysis: Theory, Methods & Applications A, vol. 67, no. 7, pp. 2072–2080, 2007.
12. J. S. Yu, Z. M. Guo, and X. Zou, “Periodic solutions of second order self-adjoint difference equations,” Journal of the London Mathematical Society, vol. 71, no. 1, pp. 146–160, 2005.
13. J. S. Yu, Y. H. Long, and Z. M. Guo, “Subharmonic solutions with prescribed minimal period of a discrete forced pendulum equation,” Journal of Dynamics and Differential Equations, vol. 16, no. 2, pp. 575–586, 2004.
14. J. S. Yu, X. Q. Deng, and Z. M. Guo, “Periodic solutions of a discrete Hamiltonian system with a change of sign in the potential,” Journal of Mathematical Analysis and Applications, vol. 324, no. 2, pp. 1140–1151, 2006.
15. Z. Zhou, J. S. Yu, and Z. M. Guo, “Periodic solutions of higher-dimensional discrete systems,” Proceedings of the Royal Society of Edinburgh A, vol. 134, no. 5, pp. 1013–1022, 2004.
16. P. H. Rabinowitz, Minimax methods in critical point theory with applications to differential equations, vol. 65 of CBMS Regional Conference Series in Mathematics, Conference Board of the Mathematical Sciences, Washington, DC, USA, 1986.