Abstract and Applied Analysis

Volume 2014 (2014), Article ID 925290, 7 pages

http://dx.doi.org/10.1155/2014/925290

## Multiplicity of Periodic Solutions for a Higher Order Difference Equation

College of Science, Hunan Institute of Engineering, Xiangtan, Hunan 411104, China

Received 26 January 2014; Accepted 12 March 2014; Published 23 April 2014

Academic Editor: Chuangxia Huang

Copyright © 2014 Ronghui Hu. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We study a higher order difference equation. By Lyapunov-Schmidt reduction methods and computations of critical groups, we prove that the equation has four -periodic solutions.

#### 1. Introduction

Considering the following higher order difference equation where , and are the sets of all positive integers and integers, respectively, , is the set of all real numbers, and there exists a positive integer such that, for any , , .

Throughout this paper, for , we define , when .

When , , , (1) can be reduced to the following second order difference equation: Equation (2) can be seen as an analogue discrete form of the following second order differential equation:

In recent years, much attention has been given to second order Hamiltonian systems and elliptic boundary value problems by a number of authors; see [1–3] and references therein. On one hand, there have been many approaches to study periodic solutions of differential equations or difference equations, such as critical point theory (which includes the minimax theory, the Kaplan-Yorke method, and Morse theory), fixed point theory, and coincidence theory; see, for example, [4–20].

Among these approaches, Morse theory is an important tool to deal with such problems. However, there are, at present, only a few papers dealing with higher order difference equation except [21–23]. On the other hand, under some assumptions, the functional may not satisfy the Palasis-Smale condition. Thus, we cannot apply the Morse theory to directly. To go around this difficulty, Tang and Wu [24] and Liu [25] obtain many interesting results of elliptic boundary value problems by combining Morse theory with Lyapunov-Schmidt reduction method or minimax principle. Inspired by this, we study the existence of periodic solutions of a higher order difference equation (1) by combining computations of critical groups with Lyapunov-Schmidt reduction method, and an existence theorem on multiple periodic solutions for such an equation is obtained.

For a given integer , let

We denote when is even, or when is odd. Because of , , then, has different values. Therefore, we can write these numbers in such a way: Assume , .

Combing Morse theory with Lyapunov-Schmidt reduction method, we have the following results.

Theorem 1. *Suppose that , , and ; we assume that**, ,, , where ;**there exists a constant such that ;**for any ,
** Then (1) possesses at least four nontrivial -periodic solutions.*

This paper is divided into four parts. Section 2 presents variational structure. In Section 3, we present some propositions. The proof of Theorem 1 is given in Section 4.

#### 2. Preliminaries

To apply Morse theory to study the existence of periodic solutions of (1), we will construct suitable variational structure.

Let be the set of sequences , where . For any and , is defined by Then is a vector space.

For any given positive integer , is defined as a subspace of by

can be equipped with inner product and norm as follows: where denotes the Euclidean Norm in , and denotes the usual scalar product in .

Define a linear map by

It is easy to see that the map defined in (10) is a linear homeomorphism with and is a finite dimensional Hilbert space, which can be identified with .

For (1), we consider the functional defined on by where , , .

Since is linearly homeomorphic to , by the continuity of , can be viewed as continuously differentiable functional defined on a finite dimensional Hilbert space. That is, . If we define , then where . Therefore, is a critical point of ; that is, if and only if

On the other hand, is -periodic in , and is -periodic in ; hence, is a critical point of if and only if for any , and is a -periodic solution of (1). Thus, we reduce the problem of finding -periodic solutions of (1) to that of seeking critical points of the functional in .

Apparently, . Consider for all . For convenience, we write as .

In view of , , , when , can be rewritten as

where

Let the eigenvalues of be , and let be a circulant matrix [18] denoted by By [18], the eigenvalues of are where .

According to (18), for any positive integer with , we know that.

If , then (). That is, the matrix is positive definite.

Comparing (18) with (4), we know that (), then, the matrix has different eigenvalues denoted in such a way:

#### 3. Main Propositions

In order to prove our main results, we will give several propositions and notations as follows.

*Definition 2 (see [4]). *Let be a Banach space, let , and let be the th singular relative homology group of the topological pair with coefficients in an Abelian group G. is called the -dimension Betti number. Let be an isolated critical point of with , , and let be a neighborhood of in which has no critical points except . Then the group
is called the th critical group of at , here . Assume that satisfies PS condition; has no critical value less than ; then the th critical group at infinity of is defined as

If , then the Morse index of at is defined as the dimension of the maximal subspace of on which the quadratic form is negative definite. Define . We need the following condition.

Suppose that are two regular values of ; has at most finitely many critical points on and the rank of the critical group for every critical point is finite.

*Definition 3 (see [4]). *Assume that satisfies condition ; are all critical values of in and , . Choose . Define

Then is called the th Morse-type number of about the interval .

Here the critical groups of at an isolated critical point describe the local behavior of near , while the critical groups of at infinity describe the global property of . The Morse inequality gives the relation between them.

Proposition 4 (see [4]). *Suppose that satisfies the PS condition and has only isolated critical points, and the critical values of are bounded below. Then we have
**
where , ; is a formal series with nonnegative integer coefficients.*

Now we recall the Lyapunov-Schmidt reduction method.

Proposition 5 (see [5]). *Let be a separable Hilbert space with inner product and norm and let and be closed subspaces of such that . Let . If there is a real number such that, for all , , there holds
**
then we have the following:*(i)* there exists a continuous function ** such that* *and ** is the unique member of ** such that*(ii)* the functional ** defined by ** and*(iii)* an element ** is a critical point of ** if and only if ** is a critical point of **.*

*Proposition 6 (see [25]). Assume that the assumptions of Proposition 5 hold, then at any isolated critical point of we have
*

*Proposition 7 (see [25]). Assume that the assumptions of Proposition 5 hold, if there exists a compact mapping such that, for any , we have , then we have :
at any isolated critical point of .*

*4. Proof of Theorem*

*4. Proof of Theorem*

*Consider the following functional:
*

*As we know, the PS condition is an important part of critical point theory. However, under our assumptions , the functional may not satisfy PS condition. Thus, we cannot apply the Morse theory directly. But the truncated functional does satisfy the PS condition. So we can obtain two critical points of via mountain pass lemma; then we can obtain other critical points by combing Morse theory with Lyapunov-Schmidt reduction method.*

*At first, we consider the truncated problem
where
where
*

*Then the functional corresponding to (31) can be written as
where . Apparently, .*

*The functional corresponding to can be written as
where . Apparently, .*

*We only consider the case of ; the case of is similar and omitted.*

*By , we know that
*

*Then there exist real number (small enough) and such that
*

*Lemma 8. Under the conditions of Theorem 1, the functional satisfies the PS condition.*

*Proof. *Let be such a sequence; that is, there exists a positive constant such that , , and that as , .

Therefore,

That is, is a bounded sequence in the finite dimensional space . Consequently, it has a convergent subsequence. Thus, we obtain Lemma 8.

Let , , and .

*Lemma 9. If is a local minimizer of , then must be a local minimizer of .*

*Proof. *Let be a local minimizer of ; then for any sequence , , for big enough , we have .

In fact,

Because , , and , so , .

For any , if , then .

If , by , , and , then for . Therefore, ; that is, .

The proof of Lemma 9 is complete.

*It is easy to see that the zero function 0 is a local minimizer of , and as , where is a first eigenfunction corresponding to the first nonzero eigenvalue of . Thus, by the mountain pass lemma we obtain a critical point of . However, it is true that is a critical point of if is a critical point of ; then we deduce that is a critical point of with
Similarly, we obtain another critical point of and
*

*Next we will prove that has two more nonzero critical points. We decompose according to . We set
*

*Since , for any and , we have
where . Then, by Proposition 5, there exist a continuous map and a -functional such that
*

*We need to show that has at least five critical points. Hence, we assume that has no critical value less than some .*

*Lemma 10. Suppose that satisfies , then the functional is anticoercive.*

*Proof. *According to , there exists such that
Then, for any , we have
Assume that is a sequence in such that . Let , then . Because of , there exist some such that, up to subsequence , .

In particular, , . For , . Hence, by ,
By the above discussion, we have
This concludes the proof.

*Because is anticoercive, we choose and such that
where . Since has no critical value in , .*

*Thus, we have the following commutative diagram with exact rows:(50)where all the homomorphisms except are induced by inclusions. The exactness of rows implies that , are isomorphisms. Hence is also an isomorphism, and we get
*

*Because the anticoercive functional is defined on the -dimensional , it has a critical point , with
*

*Let , , be the projection of , , in , respectively. Then they are all critical points of . By (11), (14), and Proposition 6, and 0 is a local minimizer of , we have
If , , , are the only critical points of , then by Proposition 4 with ,
This is impossible. Thus has at least five critical points. So also has five critical points, four of which are nonzero. Therefore, (1) has at least four nontrivial solutions. This completes the proof of Theorem 1.*

*Conflict of Interests*

*The author declares that there is no conflict of interests regarding the publication of this paper.*

*Acknowledgment*

*The research was supported by the Research Foundation of Education Bureau of Hunan Province, China (12C0632).*

*References*

- Y. M. Long and X. J. Xu, “Periodic solutions for a class of nonautonomous Hamiltonian systems,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 41, no. 3-4, pp. 455–463, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. M. Guo and J. S. Yu, “Existence of periodic and subharmonic solutions for second-order superlinear difference equations,”
*Science in China. Series A. Mathematics*, vol. 46, no. 4, pp. 506–515, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Zhou, J. S. Yu, and Z. M. Guo, “Periodic solutions of higher-dimensional discrete systems,”
*Proceedings of the Royal Society of Edinburgh. Section A. Mathematics*, vol. 134, no. 5, pp. 1013–1022, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - K. C. Chang,
*Infinite Dimensional Morse Theory and Multiple Solution Problems*, Birkhäauser, Boston, Mass, USA, 1993. View at MathSciNet - A. Castro, “Reduction methods via minimax,” in
*Differential Equations*, vol. 957 of*Lecture Notes in Mathematics*, pp. 1–20, Springer, 1982. View at Google Scholar · View at MathSciNet - K. C. Chang,
*Critical Point Theory and Its Applications*, Shanghai Kexue Jishu Chubanshe, Shanghai, China, 1986. View at MathSciNet - J. L. Kaplan and J. A. Yorke, “Ordinary differential equations which yield periodic solutions of differential delay equations,”
*Journal of Mathematical Analysis and Applications*, vol. 48, pp. 317–324, 1974. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. K. Hale and J. Mawhin, “Coincidence degree and periodic solutions of neutral equations,”
*Journal of Differential Equations*, vol. 15, pp. 295–307, 1974. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Conley and E. Zehnder, “Morse-type index theory for flows and periodic solutions for Hamiltonian equations,”
*Communications on Pure and Applied Mathematics*, vol. 37, no. 2, pp. 207–253, 1984. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - P. H. Rabinowitz,
*Minimax Methods in Critical Point Theory with Applications to Differential Equations*, vol. 65 of*Regined Conference Series in Mathematics*, AMS, Providence, RI, USA, 1986. - W. D. Lu,
*Variational Methods in Differential Equations*, Beijing Scientific and Technological, Beijing, China, 2003, (Chinese). - K. C. Chang, S. J. Li, and J. Q. Liu, “Remarks on multiple solutions for asymptotically linear elliptic boundary value problems,”
*Topological Methods in Nonlinear Analysis*, vol. 3, no. 1, pp. 179–187, 1994. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. J. Li and W. M. Zou, “The computations of the critical groups with an application to elliptic resonant problems at a higher eigenvalue,”
*Journal of Mathematical Analysis and Applications*, vol. 235, no. 1, pp. 237–259, 1999. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. B. Su and C. L. Tang, “Multiplicity results for semilinear elliptic equations with resonance at higher eigenvalues,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 44, no. 3, pp. 311–321, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J.-N. Corvellec, V. V. Motreanu, and C. Saccon, “Doubly resonant semilinear elliptic problems via nonsmooth critical point theory,”
*Journal of Differential Equations*, vol. 248, no. 8, pp. 2064–2091, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. C. Wei and J. Wang, “Infinitely many homoclinic orbits for the second order Hamiltonian systems with general potentials,”
*Journal of Mathematical Analysis and Applications*, vol. 366, no. 2, pp. 694–699, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Zhou and J. S. Yu, “On the existence of homoclinic solutions of a class of discrete nonlinear periodic systems,”
*Journal of Differential Equations*, vol. 249, no. 5, pp. 1199–1212, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M.-Y. Jiang and Y. Wang, “Solvability of the resonant 1-dimensional periodic $p$-Laplacian equations,”
*Journal of Mathematical Analysis and Applications*, vol. 370, no. 1, pp. 107–131, 2010. View at Publisher · View at Google Scholar · View at MathSciNet - Z. X. Li and Y. T. Shen, “Three critical points theorem and its application to quasilinear elliptic equations,”
*Journal of Mathematical Analysis and Applications*, vol. 375, no. 2, pp. 566–578, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. W. Ma, “Computations of critical groups and periodic solutions for asymptotically linear Hamiltonian systems,”
*Journal of Differential Equations*, vol. 248, no. 10, pp. 2435–2457, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z. Zhou, J. S. Yu, and Y. M. Chen, “Periodic solutions of a $2n$th-order nonlinear difference equation,”
*Science China. Mathematics*, vol. 53, no. 1, pp. 41–50, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. H. Hu and L. H. Huang, “Existence of periodic solutions of a higher order difference system,”
*Journal of the Korean Mathematical Society*, vol. 45, no. 2, pp. 405–423, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - X. C. Cai and J. S. Yu, “Existence of periodic solutions for a $2n$th-order nonlinear difference equation,”
*Journal of Mathematical Analysis and Applications*, vol. 329, no. 2, pp. 870–878, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C.-L. Tang and X.-P. Wu, “Existence and multiplicity of solutions of semilinear elliptic equations,”
*Journal of Mathematical Analysis and Applications*, vol. 256, no. 1, pp. 1–12, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. B. Liu, “Remarks on multiple solutions for elliptic resonant problems,”
*Journal of Mathematical Analysis and Applications*, vol. 336, no. 1, pp. 498–505, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet

*
*