AAA Abstract and Applied Analysis 1687-0409 1085-3375 Hindawi Publishing Corporation 925290 10.1155/2014/925290 925290 Research Article Multiplicity of Periodic Solutions for a Higher Order Difference Equation Hu Ronghui Huang Chuangxia 1 College of Science Hunan Institute of Engineering Xiangtan Hunan 411104 China hnit.edu.cn 2014 2342014 2014 26 01 2014 12 03 2014 23 4 2014 2014 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.

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

1. Introduction

Considering the following higher order difference equation (1) i = 0 k a i ( x n - i + x n + i ) + f ( n , x n ) = 0 , n Z , where k N , N and Z are the sets of all positive integers and integers, respectively, f C 1 ( R × R , R ) , R is the set of all real numbers, and there exists a positive integer M such that, for any ( t , z ) ( R × R ) , f ( t + M , Z ) = f ( t , Z ) , F ( t , z ) = 0 z f ( t , s ) d s .

Throughout this paper, for a , b Z , we define Z ( a ) : = { a , a + 1 , } , Z ( a , b ) : = { a , a + 1 , , b } when a b .

When k = 1 , a 0 = - 1 , a 1 = 1 , (1) can be reduced to the following second order difference equation: (2) Δ 2 x n - 1 + f ( n , x n ) = 0 , n Z . Equation (2) can be seen as an analogue discrete form of the following second order differential equation: (3) d 2 x d t 2 + f ( t , x ) = 0 .

In recent years, much attention has been given to second order Hamiltonian systems and elliptic boundary value problems by a number of authors; see  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, .

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 . On the other hand, under some assumptions, the functional f may not satisfy the Palasis-Smale condition. Thus, we cannot apply the Morse theory to f directly. To go around this difficulty, Tang and Wu  and Liu  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 M > 0 , let (4) λ j = - 2 s = 0 k a s cos 2 s π M j , j = 1 , , M .

We denote p 1 = M / 2 when M is even, or p 1 = ( M + 1 ) / 2 when M is odd. Because of λ M - j = λ j , j Z ( 1 , M ) , then, λ j , j Z ( 1 , M ) has p 1 different values. Therefore, we can write these numbers in such a way: (5) λ 1 < λ 2 < < λ p 1 . Assume λ min = min { λ j , λ j 0 , j = 1 , , p 1 } , λ max = max { λ j , λ j 0 , j = 1 , , p 1 } .

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

Theorem 1.

Suppose that M 2 k + 1 , a 0 + s = 1 k | a s | < 0 , and f ( t , z ) = f ( z ) ; we assume that

f ( z ) C 1 ( R , R ) , f ( 0 ) = 0 , f ( 0 ) < λ min < f = λ m λ max , m N ( 1 , p 1 ) , where f = lim | z | f ( z ) / z ;

there exists a constant γ λ 1 such that f ( z ) γ < λ m + 1 ;

for any t Z , (6) F ( z ) - 1 2 λ m | z | 2 + , a s | z | .

Then (1) possesses at least four nontrivial M -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 S be the set of sequences x = { x n } n = - + , where x n R . For any x , y S and a , b R , a x + b y is defined by (7) a x + b x : = { a x n + b x n } . Then S is a vector space.

For any given positive integer M , E M is defined as a subspace of S by (8) E M = { x = { x n } S x n + M = x n , n Z } .

E M can be equipped with inner product · , · E M and norm · E M as follows: (9) x , y M = j = 1 M x j · y j , x , y E M , x E M = ( j = 1 M x j 2 ) 1 / 2 , x E M , where | · | denotes the Euclidean Norm in R M , and x n · y n denotes the usual scalar product in R .

Define a linear map L : E M R M by (10) L x = ( x 1 , , x M ) T .

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

For (1), we consider the functional I defined on E M by (11) I ( x ) = - 1 2 n = 1 M i = 0 k a i ( x n - i + x n + i ) x n - n = 1 M F ( n , x n ) ,          x E M , where x n + M = x n , x E M , F ( t , z ) = 0 z f ( t , s ) d s .

Since E M is linearly homeomorphic to R M , by the continuity of f ( t , z ) , I can be viewed as continuously differentiable functional defined on a finite dimensional Hilbert space. That is, I C 1 ( E M , R ) . If we define x 0 : = x M , then (12) I ( x ) x n = - [ i = 0 k a i ( x n - i + x n + i ) + f ( n , x n ) ] , where n Z ( 1 , M ) . Therefore, x E M is a critical point of I ; that is, I ( x ) = 0 if and only if (13) i = 0 k a i ( x n - i + x n + i ) + f ( n , x n ) = 0 , n Z ( 1 , M ) .

On the other hand, { x n } E M is M -periodic in n , and f ( t , z ) is M -periodic in t ; hence, x E M is a critical point of I if and only if i = 0 k a i ( x n - i + x n + i ) + f ( n , x n ) = 0 for any n Z , and x = { x n } is a M -periodic solution of (1). Thus, we reduce the problem of finding M -periodic solutions of (1) to that of seeking critical points of the functional I in E M .

Apparently, I ( x ) C 2 ( E M , R ) . Consider (14) ( I ( x ) , v ) = - 1 2 n = 1 M i = 1 k a i [ ( x n - i + x n + i ) v n + ( v n - i + v n + i ) x n ] - n = 1 M f ( n , x n ) v n , ( I ′′ ( x ) v , w ) = - 1 2 n = 1 M i = 1 k a i [ ( w n - i + w n + i ) v n + ( v n - i + v n + i ) w n ] - n = 1 M f ( n , x n ) v n w n , for all x , v , w E M . For convenience, we write x E M as x = ( x 1 , x 2 , , x M ) T .

In view of x n + M = x n , x = ( x 1 , x 2 , , x M ) T E M , n Z , when M 2 k + 1 , I can be rewritten as (15) I ( x ) = 1 2 x T A x - n = 1 M F ( n , x n ) ,

where (16) - A = ( 2 a 0 a 1 a 2 a k - 1 a k 0 0 0 a k a k - 1 a 2 a 1 a 1 2 a 0 a 1 a k - 2 a k - 1 a k 0 0 0 a k a 3 a 2 a 2 a 1 2 a 0 a k - 3 a k - 2 a k - 1 a k 0 0 0 a 4 a 3 a 2 a 3 a 4 0 0 0 0 a k a k - 1 a k - 2 2 a 0 a 1 a 1 a 2 a 3 a k 0 0 0 a k - 1 a k - 2 a k - 3 a 1 2 a 0 ) M × M .

Let the eigenvalues of A be λ 1 , λ 1 , , λ M , and let A be a circulant matrix  denoted by (17) A Circ { - 2 a 0 , - a 1 , - a 2 , , - a k , 0 , , 0 , - a k , - a k - 1 , , - a 2 , - a 1 } . By , the eigenvalues of A are (18) λ j = - 2 a 0 - s = 1 k a s { exp i 2 j π M } s - s = 1 k a s { exp i 2 j π M } M - s = - 2 s = 0 k a s cos ( 2 j s π M ) , where j = 1 , , M .

According to (18), for any positive integer M with M 2 k + 1 , we know that.

If a 0 + s = 1 k | a s | < 0 , then λ j > 0 ( j = 1,2 , , M ). That is, the matrix A is positive definite.

Comparing (18) with (4), we know that λ j = λ j ( j = 1 , , M ), then, the matrix A has p 1 different eigenvalues denoted in such a way: (19) λ 1 < λ 2 < < λ p 1 .

3. Main Propositions

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

Definition 2 (see [<xref ref-type="bibr" rid="B4">4</xref>]).

Let X be a Banach space, let J C 1 ( X , R ) , and let H q ( A , B ) be the q th singular relative homology group of the topological pair ( A , B ) with coefficients in an Abelian group G. β q = rank H q ( A , B ) is called the q -dimension Betti number. Let u be an isolated critical point of J with J ( u ) = c , c R , and let U be a neighborhood of u 0 in which J has no critical points except u 0 . Then the group (20) C q ( J , u 0 ) : = H q ( J c U , J c U { u 0 } ) , q = 0,1 , 2 , is called the q th critical group of J at u , here J c = J - 1 ( - , c ] . Assume that J satisfies PS condition; J has no critical value less than α R ; then the q th critical group at infinity of J is defined as (21) C q ( J , ) : = H q ( X , J a ) , q = 0,1 , 2 , .

If J ′′ ( u 0 ) = 0 , then the Morse index of J at u 0 is defined as the dimension of the maximal subspace of X on which the quadratic form ( J ′′ ( u 0 ) v , v ) is negative definite. Define K c = { u X : J ( u ) = 0 , J ( u ) = c } . We need the following condition.

( A ) Suppose that a < b are two regular values of J ; J has at most finitely many critical points on J - 1 [ a , b ] and the rank of the critical group for every critical point is finite.

Definition 3 (see [<xref ref-type="bibr" rid="B4">4</xref>]).

Assume that J satisfies condition ( A ) ; c 1 < c 2 < < c m are all critical values of J in [ a , b ] and K c i = { z 1 i , z 2 i , , z n i i } , i = 1,2 , , m . Choose 0 < ϵ < min { c 1 - a , c 2 - c 1 , , c m - c m - 1 , b - c m } . Define (22) M q = M q ( a , b ) = i = 1 m rank H q ( J c i + ϵ , J c i - ϵ ) = i = 1 m j = 1 n i rank C q ( J , z j i ) , q = 0,1 ,

Then M q is called the q th Morse-type number of J about the interval [ a , b ] .

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

Proposition 4 (see [<xref ref-type="bibr" rid="B4">4</xref>]).

Suppose that J C 1 ( X , R ) satisfies the PS condition and has only isolated critical points, and the critical values of f are bounded below. Then we have (23) q = 0 M q t q = q = 0 β q t q + ( 1 + t ) Q ( t ) , where M q = J ( u ) = 0 rank C q ( J , u ) , β q = rank C q ( J , ) ; Q is a formal series with nonnegative integer coefficients.

Now we recall the Lyapunov-Schmidt reduction method.

Proposition 5 (see [<xref ref-type="bibr" rid="B5">5</xref>]).

Let X be a separable Hilbert space with inner product u , v and norm u and let X - and X + be closed subspaces of X such that X = X - X + . Let J C 1 ( X , R ) . If there is a real number β > 0 such that, for all v X - , w 1 , w 2 X + , there holds (24) f ( v + w 1 ) - J ( v + w 2 ) , w 1 - w 2 β w 1 - w 2 2 , then we have the following:

there exists a continuous function ψ : X - X + such that (25) J ( v + ψ ( v ) ) = min w X + J ( v + w ) ,

and ψ ( v ) is the unique member of X + such that (26) J ( v + ψ ( v ) ) , w = 0 , w X + ;

the functional φ C 1 ( X - , R ) defined by φ ( v ) = J ( v + ψ ( v ) ) and (27) φ ( v ) , v 1 = J ( v + ψ ( v ) ) , v , v , v 1 X - ;

an element v X - is a critical point of φ if and only if v + ψ ( v ) is a critical point of J .

Proposition 6 (see [<xref ref-type="bibr" rid="B25">25</xref>]).

Assume that the assumptions of Proposition 5 hold, then at any isolated critical point v of φ we have (28) C q ( φ , v ) C q ( f , ψ ( v ) ) , q = 0,1 , 2 , . .

Proposition 7 (see [<xref ref-type="bibr" rid="B25">25</xref>]).

Assume that the assumptions of Proposition 5 hold, if there exists a compact mapping T : X X such that, for any u X , we have J ( u ) = u - T ( u ) , then we have φ : (29) i n d ( φ , v ) = i n d ( J , v + ψ ( v ) ) at any isolated critical point v of φ .

4. Proof of Theorem

Consider the following C 1 functional: (30) I ( x ) = 1 2 x T A x - n = 1 M F ( n , x n ) .

As we know, the PS condition is an important part of critical point theory. However, under our assumptions ( f 1 ) ( f 3 ) , the functional I may not satisfy PS condition. Thus, we cannot apply the Morse theory directly. But the truncated functional I ± does satisfy the PS condition. So we can obtain two critical points of I 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 (31) i = 1 k a i ( x n - i + x n + i ) + f + ( x n ) = 0 , n Z , k N , where (32) f + ( z ) = { f ( n , z ) ,             z 0 , 0 ,             z < 0 , ( 31 ) i = 1 k a i ( x n - i + x n + i ) + f - ( x n ) = 0 , n Z , k N , where (33) f - ( z ) = { f ( n , z ) , z 0 , 0 , z > 0 .

Then the functional I + : Z × R R corresponding to (31) can be written as (34) I + ( x ) = 1 2 x T A x - n = 1 M F + ( x n ) , where F + ( n , z ) = 0 z f + ( n , s ) d s . Apparently, I + C 1 .

The functional I - : Z × R R corresponding to ( 31 ) can be written as (35) I - ( x ) = 1 2 x T A x - n = 1 M F - ( x n ) , where F - ( n , z ) = 0 z f - ( n , s ) d s . Apparently, I - C 1 .

We only consider the case of I + ; the case of I - is similar and omitted.

By ( f 1 ) , we know that (36) lim z - f + ( z ) z = 0 , lim z + f + ( z ) z = f .

Then there exist real number ϵ > 0 (small enough) and C ϵ > 0 such that (37) f + ( z ) = f z + C ϵ , if    z + .

Lemma 8.

Under the conditions of Theorem 1, the functional I + ( x ) satisfies the PS condition.

Proof.

Let { x q } E M be such a sequence; that is, there exists a positive constant M 1 such that | I + ( x q ) | M 1 , q N , and that | ( I + ( x q ) , v ) | 0 as q + , v E M .

Therefore, (38) 2 M 1 2 I + ( x q ) - ( I + ( x q ) , x q ) = n = 1 M [ f + ( x n q ) x n q - F + ( x n q ) ] = n = 1 M [ ( f ( x n q ) 2 + C ϵ x n q ) - ( 1 2 f ( x n q ) 2 + C ϵ x n q + C ϵ ) ] = 1 2 f x q 2 - C ϵ M .

That is, { x q } E M is a bounded sequence in the finite dimensional space E M . Consequently, it has a convergent subsequence. Thus, we obtain Lemma 8.

Let z + = max ( z , 0 ) , z - = max ( - z , 0 ) , and z = z + - z - .

Lemma 9.

If x E M is a local minimizer of I + , then x must be a local minimizer of I .

Proof.

Let x > 0 be a local minimizer of I + ; then for any sequence { x q } E M , x q x    ( q ) , for big enough q , we have I ( x q ) I ( x ) .

In fact, (39) I ( x q ) - I ( x ) = I ( x q ) - I + ( x ) I ( x q ) - I + ( x q ) = n = 1 M [ F + ( x n q ) - F ( x n q ) ] = - n Z ( 1 , M ) , x n q < 0 F ( x n q ) .

Because x q x , x n q = ( x n q ) + - ( x n q ) - , and x n = ( x n ) + - ( x n ) - , so ( x n q ) + ( x n ) + = x n , - ( x n q ) - 0 - .

For any n Z ( 1 , M ) , if ( x n q ) - = 0 , then I ( x q ) = I ( x ) .

If - ( x n q ) - 0 - , by ( f 1 ) , f ( 0 ) = 0 , and 0 < f ( z ) < γ , then f ( z ) < 0 for z 0 - . Therefore, - n Z ( 1 , M ) , x n q < 0 F ( x n q ) > 0 ; that is, I ( x q ) > I ( x ) .

The proof of Lemma 9 is complete.

It is easy to see that the zero function 0 is a local minimizer of I + , and I + ( s ϕ 1 ) - as s + , where ϕ 1 is a first eigenfunction corresponding to the first nonzero eigenvalue of A . Thus, by the mountain pass lemma we obtain a critical point x + of I + . However, it is true that x + is a critical point of I if x + is a critical point of I + ; then we deduce that x + is a critical point of I with (40) C q ( I , x + ) δ q , 1 G , x + > 0    in    E M . Similarly, we obtain another critical point x - of I and (41) C q ( I , x - ) δ q , 1 G , x - < 0    in    E M .

Next we will prove that I has two more nonzero critical points. We decompose E M = X - X + according to f = λ m . We set (42) X - = i = 1 m Ker ( A - λ i I ) , X + = i = m + 1 M Ker ( A - λ i I ) , E M = X - X + .

Since f ( z ) γ < λ m + 1 , for any v X - and w 1 , w 2 X + , we have (43) I ( n , v + w 1 ) - I ( n , v + w 2 ) , w 1 - w 2 β w 1 - w 2 2 , where β = 1 - γ λ m + 1 - 1 . Then, by Proposition 5, there exist a continuous map ψ : X - X + and a C 1 -functional φ : X - R such that (44) φ ( v ) = I ( v + ψ ( v ) ) = min w X + .

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

Lemma 10.

Suppose that f C 1 ( R , R ) satisfies ( f 1 ) ( f 3 ) , then the functional φ is anticoercive.

Proof.

According to ( f 3 ) , there exists R > 0 such that (45) 1 2 λ m z 2 - F ( z ) 0 , | z | R . Then, for any z R , we have (46) 1 2 λ m z 2 - F ( z ) T = max | z | R | 1 2 λ m z 2 - F ( z ) | . Assume that { v t } t = 1 is a sequence in X - such that v t . Let ξ t = v t / v t , then ξ t = 1 . Because of dim X - < , there exist some ξ X - such that, up to subsequence ξ t - ξ 0 , ξ = 1 .

In particular, ξ 0 , meas Θ = meas { n Z [ 1 , M ] : ξ n 0 } > 0 . For n Θ , | v n t | . Hence, by ( f 3 ) , (47) n Θ ( 1 2 λ m v t 2 - F ( v n t ) ) - , as    t . By the above discussion, we have (48) φ ( v t ) I ( v t ) = - 1 2 n = 1 M i = 1 k a i ( v n - i t + v n + i t ) v n t - n = 1 M F ( v n t ) 1 2 λ m v t 2 - n = 1 M F ( v n t ) = n Θ [ 1 2 λ m v t 2 - F ( v n t ) ] + n [ 1 , M ] Θ [ 1 2 λ m v t 2 - F ( v n t ) ] n Θ [ 1 2 λ m v t 2 - F ( v n t ) ] + M T - . This concludes the proof.

Because φ is anticoercive, we choose a < b < α and ρ > r > 0 such that (49) A ρ φ a A r φ b , where A ρ = { v X - : v ρ } . Since φ has no critical value in [ a , b ] , H * ( φ b , φ a ) = 0 .

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 i * , k * are isomorphisms. Hence l * : H q ( X - , φ a ) H q ( X - , A r ) is also an isomorphism, and we get (51) C q ( φ , ) = H q ( X - , φ a ) H q ( X - , A r ) = δ q , m G .

Because the anticoercive functional φ is defined on the m -dimensional X - , it has a critical point v , with (52) C q ( φ , v ) δ q , m G .

Let 0 , v + , v - be the projection of 0 , x + , x - in X - , respectively. Then they are all critical points of φ . By (11), (14), and Proposition 6, and 0 is a local minimizer of I , we have (53) C q ( φ , v ± ) C q ( I , x ± ) δ q , 1 Q , C q ( φ , 0 ) C q ( I , 0 ) δ q , 0 Q . If 0 , v + , v - , v are the only critical points of φ , then by Proposition 4 with t = - 1 , (54) ( - 1 ) 0 + 2 × ( - 1 ) 1 + ( - 1 ) m = ( - 1 ) m . This is impossible. Thus φ has at least five critical points. So I 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).

Long Y. M. Xu X. J. Periodic solutions for a class of nonautonomous Hamiltonian systems Nonlinear Analysis. Theory, Methods & Applications 2000 41 3-4 455 463 10.1016/S0362-546X(98)00288-0 MR1762156 ZBL0960.37028 Guo Z. M. Yu J. S. Existence of periodic and subharmonic solutions for second-order superlinear difference equations Science in China. Series A. Mathematics 2003 46 4 506 515 10.1360/03ys9051 MR2014482 ZBL1215.39001 Zhou Z. Yu J. S. Guo Z. M. Periodic solutions of higher-dimensional discrete systems Proceedings of the Royal Society of Edinburgh. Section A. Mathematics 2004 134 5 1013 1022 10.1017/S0308210500003607 MR2099576 ZBL1073.39010 Chang K. C. Infinite Dimensional Morse Theory and Multiple Solution Problems 1993 Boston, Mass, USA Birkhäauser MR1196690 Castro A. Reduction methods via minimax Differential Equations 1982 957 Springer 1 20 Lecture Notes in Mathematics MR679138 Chang K. C. Critical Point Theory and Its Applications 1986 Shanghai, China Shanghai Kexue Jishu Chubanshe MR865982 Kaplan J. L. Yorke J. A. Ordinary differential equations which yield periodic solutions of differential delay equations Journal of Mathematical Analysis and Applications 1974 48 317 324 MR0364815 10.1016/0022-247X(74)90162-0 ZBL0293.34102 Hale J. K. Mawhin J. Coincidence degree and periodic solutions of neutral equations Journal of Differential Equations 1974 15 295 307 MR0336004 10.1016/0022-0396(74)90081-3 ZBL0274.34070 Conley C. Zehnder E. Morse-type index theory for flows and periodic solutions for Hamiltonian equations Communications on Pure and Applied Mathematics 1984 37 2 207 253 10.1002/cpa.3160370204 MR733717 ZBL0559.58019 Rabinowitz P. H. Minimax Methods in Critical Point Theory with Applications to Differential Equations 1986 65 Providence, RI, USA AMS Regined Conference Series in Mathematics Lu W. D. Variational Methods in Differential Equations 2003 Beijing, China Beijing Scientific and Technological (Chinese) Chang K. C. Li S. J. Liu J. Q. Remarks on multiple solutions for asymptotically linear elliptic boundary value problems Topological Methods in Nonlinear Analysis 1994 3 1 179 187 MR1272892 ZBL0812.35031 Li S. J. Zou W. M. The computations of the critical groups with an application to elliptic resonant problems at a higher eigenvalue Journal of Mathematical Analysis and Applications 1999 235 1 237 259 10.1006/jmaa.1999.6396 MR1758681 ZBL0935.35055 Su J. B. Tang C. L. Multiplicity results for semilinear elliptic equations with resonance at higher eigenvalues Nonlinear Analysis. Theory, Methods & Applications 2001 44 3 311 321 10.1016/S0362-546X(99)00265-5 MR1817095 ZBL1153.35336 Corvellec J.-N. Motreanu V. V. Saccon C. Doubly resonant semilinear elliptic problems via nonsmooth critical point theory Journal of Differential Equations 2010 248 8 2064 2091 10.1016/j.jde.2009.11.005 MR2595715 ZBL1187.35083 Wei J. C. Wang J. Infinitely many homoclinic orbits for the second order Hamiltonian systems with general potentials Journal of Mathematical Analysis and Applications 2010 366 2 694 699 10.1016/j.jmaa.2009.12.024 MR2600513 ZBL1200.37054 Zhou Z. Yu J. S. On the existence of homoclinic solutions of a class of discrete nonlinear periodic systems Journal of Differential Equations 2010 249 5 1199 1212 10.1016/j.jde.2010.03.010 MR2652170 ZBL1200.39001 Jiang M.-Y. Wang Y. Solvability of the resonant 1-dimensional periodic p -Laplacian equations Journal of Mathematical Analysis and Applications 2010 370 1 107 131 10.1016/j.jmaa.2010.04.070 MR2651134 Li Z. X. Shen Y. T. Three critical points theorem and its application to quasilinear elliptic equations Journal of Mathematical Analysis and Applications 2011 375 2 566 578 10.1016/j.jmaa.2010.09.068 MR2735546 ZBL1205.35066 Ma S. W. Computations of critical groups and periodic solutions for asymptotically linear Hamiltonian systems Journal of Differential Equations 2010 248 10 2435 2457 10.1016/j.jde.2009.11.013 MR2600963 ZBL1207.34049 Zhou Z. Yu J. S. Chen Y. M. Periodic solutions of a 2 n th-order nonlinear difference equation Science China. Mathematics 2010 53 1 41 50 10.1007/s11425-009-0167-7 MR2594745 ZBL1232.39019 Hu R. H. Huang L. H. Existence of periodic solutions of a higher order difference system Journal of the Korean Mathematical Society 2008 45 2 405 423 10.4134/JKMS.2008.45.2.405 MR2389545 ZBL1152.39004 Cai X. C. Yu J. S. Existence of periodic solutions for a 2 n th-order nonlinear difference equation Journal of Mathematical Analysis and Applications 2007 329 2 870 878 10.1016/j.jmaa.2006.07.022 MR2296892 ZBL1153.39302 Tang C.-L. Wu X.-P. Existence and multiplicity of solutions of semilinear elliptic equations Journal of Mathematical Analysis and Applications 2001 256 1 1 12 10.1006/jmaa.2000.7199 MR1820064 ZBL0991.35027 Liu S. B. Remarks on multiple solutions for elliptic resonant problems Journal of Mathematical Analysis and Applications 2007 336 1 498 505 10.1016/j.jmaa.2007.01.051 MR2348521 ZBL05183298