1 Introduction

In this paper, we consider the nontrivial solutions to the following discrete boundary value problem:

{ Δ 2 u ( k 1 ) = f ( k , u ( k ) ) , k Z [ 1 , T ] , u ( 0 ) = 0 = Δ u ( T ) ,
(1.1)

where T is a positive integer, Z[1,T]={1,2,,T}, Δu(k)=u(k+1)u(k).

The discrete boundary value problems have been studied by many authors. Some existence results were obtained by using various methods [19]. For example, using the method of upper and lower solutions and the cone expansion or the compression fixed point theorem, authors [2, 3] obtained the unique solution and positive solutions to the periodic difference equations. In [6], Jiang and Zhou obtained the existence of nontrivial solutions to BVP (1.1) via the strongly monotone operator principle and the critical point theory. By the mountain pass theorem, multiple positive solutions theorems were established in [1] for discrete problems. However, they did not consider the case that f is resonant at 0 and superlinear at ∞. In this paper, we extend the results of [6] to the case that f is resonant at 0.

Let λ 1 < λ 2 << λ T denote the eigenvalues of the linear problem corresponding to (1.1). By [6], λ i =4 sin 2 ( 2 i 1 ) π 4 T + 2 , iZ[1,T], and the corresponding orthogonal eigenvectors of { λ i } i = 1 T are

e i (k)=sin 2 i 1 2 T + 1 kπ,kZ[0,T+1],iZ[1,T].

Assume that the following conditions hold:

  • (H1) f:Z[1,T]×RR is continuous and f is continuous differentiable on the second variable;

  • (H2) there exist mZ[1,T1] and δ>0 such that

    1 2 λ m t 2 F(k,t) 1 2 λ m + 1 t 2 ,|t|δ,kZ[1,T],

    where F(k,t)= 0 t f(k,s)ds for all tR and kZ[1,T];

    ( H 2 ) there exists δ>0 such that

    F(k,t) 1 2 λ 1 t 2 ,|t|δ,kZ[1,T];
  • (H3) there exist R 0 >0 and μ(0,1/2) such that

    0<F(k,t)μtf(k,t),|t| R 0 ,kZ[1,T].

The following theorems are our main results.

Theorem 1.1 Let f satisfy conditions (H1), (H2) and (H3). Then problem (1.1) has at least a nontrivial solution.

Theorem 1.2 Let f satisfy conditions (H1), ( H 2 ) and (H3). Then problem (1.1) has at least a nontrivial solution.

In [6], the authors assumed the following conditions:

  • (A1) there exist R 0 >0 and μ(0,1/2) such that

    F(k,t)μtf(k,t),|t| R 0 ,kZ[1,T];
  • (A2) max k Z [ 1 , T ] lim sup t 0 f(k,t)/t< λ 1 ;

  • (A3) min k Z [ 1 , T ] lim inf t + f(k,t)/t> λ 1 .

Under conditions (A1)-(A3), they obtained that BVP (1.1) has a nontrivial solution. Under (H3) and (A2), they obtained that BVP (1.1) has a nontrivial solution.

In this paper, we weaken condition (A2) to ( H 2 ) and obtain the same result. Moreover, in condition (A2), f does not cross the first eigenvalue. We extend to the case that f may cross λ m and f is resonant at 0 to λ m . Here, m can equal 1. We also compute the critical groups at ∞ and show that the critical groups in a finite dimensional space are different from those in an infinite dimensional space. For an infinite dimensional space, see [10, 11].

2 Lemmas and preliminaries

In this section, we recall some definitions and lemmas.

Let H={u:Z[1,T]R}. Then H is a T-dimensional Hilbert space with the inner product (u,v)= k = 1 T u(k)v(k) for all u,vH, and the corresponding norm u= ( k = 1 T ( u ( k ) ) 2 ) 1 / 2 for all uH.

It is well known that the solution of BVP (1.1) is equivalent to the solution of the operator equation

Kfu=u,
(2.1)

where

Ku(k)= i = 1 T G(k,i)u(i),kZ[1,T],uH,

G:Z[1,T]×Z[1,T]Z[1,T] is the Green function for

{ Δ 2 u ( k 1 ) = 0 , k Z [ 1 , T ] , u ( 0 ) = 0 = Δ u ( T )

defined by

G ( k , i ) = min { k , i } , k , i Z [ 1 , T ] , f u ( k ) = f ( k , u ( k ) ) , k Z [ 1 , T ] , u H .

In fact, if uH is a solution of (2.1), then v:Z[0,T+1]R is a solution of BVP (1.1), where

v(k)={ 0 , k = 0 , u ( k ) , k Z [ 1 , T ] , u ( T ) , k = T + 1 .

Conversely, if v is a solution of BVP (1.1), then u is a solution to (2.1), where u(k)=v(k) for all kZ[1,T]. Thus, we need only to find the solutions to (2.1) in H.

In [1215], by using the property of K 1 / 2 , we convert the solutions to differential equations into the critical points of some functionals. Similarly, the next conclusions hold for BVP (1.1).

Remark 2.1

  1. (i)

    By Lemmas 2.1-2.4 in [6], we have that K:HH is a linear continuous, positive definite and symmetric operator. The eigenvalues of K are {1/ λ i }, where λ i =4 sin 2 ( 2 i 1 ) π 4 T + 2 for all iZ[1,T], and the corresponding orthogonal eigenvectors of { 1 / λ i } i = 1 T are

    e i (k)=sin 2 i 1 2 T + 1 kπ,kZ[1,T],iZ[1,T].

    Moreover, each eigenvalue 1/ λ i has algebraic multiplicity 1 for all iZ[1,T].

  2. (ii)

    f:HH is bounded and continuous.

  3. (iii)

    The operator equation (2.1) has a nontrivial solution in H if and only if the operator equation

    v= K 1 / 2 f K 1 / 2 v
    (2.2)

has a nontrivial solution in H. The solution of the operator equation (2.2) in H is equivalent to the critical point of the functional

J(u)= 1 2 u 2 k = 1 T F ( k , K 1 / 2 u ( k ) ) ,

where F(k,t)= 0 t f(k,s)ds for all (k,t)Z[1,T]×R, and J =I K 1 / 2 f K 1 / 2 .

In the following, we list some lemmas and preliminaries about the critical group.

Let E be a real Banach space, f C 1 (E,R), K={uE: f (u)=0} and f c ={uE:f(u)c}.

Definition 2.1 [10, 16]

Let p be an isolated critical point of f, and let c=f(p). We call

C q (f,p)= H q ( f c U p , ( f c { p } ) U p ; G )

the q th critical group, with the coefficient group G of f at p for all q N 0 :={0,1,2,}, where U p is a neighborhood of p such that K( f c U p )={p}, and H (X,Y;G) stands for the singular relative homology groups with the Abelian coefficient group G.

According to the excision property of the singular homology group, the critical groups are well defined; i.e., they do not depend on a special choice of the neighborhood U p .

If f satisfies the (PS) condition and the critical values of f are bounded from below on E by some aR, then the critical groups of f at infinity

C q (f,)= H q (E, f a ;G),q N 0 .

By the deformation lemma, the right-hand side does not depend on the choice of a.

The following lemma is the consequence of the Morse inequality, which is sufficient for proving Theorem 1.1.

Lemma 2.1 [[17], Proposition 2.1]

Suppose that f C 1 (E,R) satisfies the (PS) condition and that f has only finite critical points.

  1. (i)

    If C k (f,)0 for some k N 0 , then f has a critical point u such that C k (f,u)0.

  2. (ii)

    Let 0 be an isolated critical point of f, and C k (f,0) C k (f,) for some k N 0 , then f has a nonzero critical point.

Lemma 2.2 Suppose that (H1) and (H3) hold. Then J satisfies the (PS) condition.

Proof Let { u n } be a sequence along which |J( u n )| C 1 and J ( u n )0, where C 1 >0 is a constant. By conditions (H1) and (H3), there is a constant C 2 >0 such that

F(k,t)μf(k,t)t+ C 2 ,(k,t)Z[1,T]×R.
(2.3)

It follows from (2.3) that

J ( u n ) μ ( J ( u n ) , u n ) = ( 1 2 μ ) u n 2 k = 1 T [ F ( k , K 1 / 2 u n ( k ) ) μ K 1 / 2 u n ( k ) f ( k , K 1 / 2 u n ( k ) ) ] ( 1 / 2 μ ) u n 2 T C 2 , n N .

Since |J( u n )| C 1 and |( J ( u n ), u n )| u n for n large enough, { u n } is bounded. Thus, dimH=T implies that { u n } has a convergent subsequence. □

In the following, we will compute C q (J,).

Lemma 2.3 Suppose that (H1) and (H3) hold. Then there is a constant a 0 >0 such that J a S for all a< a 0 , where S is the unit sphere in H.

Proof By conditions (H1) and (H3), there exist C 3 >0 and C 4 >0 such that

F(k,t) C 3 | t | 1 / μ C 4 ,tR,kZ[1,T].
(2.4)

Thus for any uS, by (2.3) and (2.4), we have that

J ( t u ) = 1 2 t 2 k = 1 T F ( k , t K 1 / 2 u ( k ) ) 1 2 t 2 C 3 | t | 1 / μ k = 1 T | K 1 / 2 u ( k ) | 1 / μ + C 4 T , t + ,

and

d d t [ J ( t u ) ] = ( J ( t u ) , u ) = t k = 1 T K 1 / 2 u ( k ) f ( k , t K 1 / 2 u ( k ) ) 2 t ( 1 2 t 2 1 2 k = 1 T t K 1 / 2 u ( k ) f ( k , t K 1 / 2 u ( k ) ) ) 2 t ( 1 2 t 2 1 2 μ k = 1 T F ( k , t K 1 / 2 u ( k ) ) + C 2 T 2 μ ) = 2 t [ ( 1 2 1 4 μ ) t 2 + 1 2 μ J ( t u ) + C 2 T 2 μ ] 1 t μ [ J ( t u ) + C 2 T ] , t > 0 .

Let a 0 = C 2 T+1. Then, for a< a 0 , if J(tu)a, then d d t [J(tu)]<0. The implicit function theorem is applied to obtain a unique TC(S,R) such that

J ( T ( u ) u ) =a,uS.

T has a positive lower bound. In fact, if there is a sequence { u n }S such that T( u n )0, then a=J(T( u n ) u n )J(0)=0, which is a contradiction. Thus, we may assume that there is ε>0 such that J(u)>a for all u B ε and T(u)ε for all uS, where B ε ={uH:u<ε}. Now, we define a deformation retract η:[0,1]×(H B ε )(H B ε ) by

η(t,u)={ ( 1 s ) u + s T ( u u ) u u , u ( H B ε ) J a , u , u J a .

Therefore, H B ε J a , i.e., J a S. □

Lemma 2.4 [18, 19]

Let 0 be an isolated critical point of f C 2 (H,R) satisfying the (PS) condition, where H is a real Hilbert space. Assume that f has a local linking at 0 with respect to a direct sum decomposition H= H H + with k=dim H <, i.e., there exists r>0 small such that

f(u)>0,u H + ,0<ur,f(u)0,u H ,ur.

Then C k (f,0)0.

3 Proof of main theorems

In this section, we prove our main theorems.

Proof of Theorem 1.1 Let H={u:Z[1,T]R} be the real Hilbert space defined at the beginning in Section 2.

By Lemma 2.2, J satisfies the (PS) condition. We assume that J has only finite critical points. Since dimH=T, it follows from Lemma 2.3 that

C q (J,)= H q (H, J a ) H q ( D T , S T 1 ) = δ q T G,q N 0 .

In the following, we consider the critical groups of J at 0. Let H=YZ, where Y=span{ e 1 , e 2 ,, e m }, Z=span{ e m + 1 , e m + 2 ,, e T }. Choosing r>0 such that if ur, then | K 1 / 2 u(k)|δ for all kZ[1,T]. By condition (H2), for uY with ur, we have

J ( u ) = 1 2 u 2 k = 1 T F ( k , K 1 / 2 u ( k ) ) 1 2 u 2 1 2 k = 1 T λ m ( K 1 / 2 u ( k ) ) 2 1 2 u 2 λ m 2 λ m u 2 = 0 .

For uZ= k = m + 1 T span{ e k } with ur, if uspan{ e m + 1 }, then we have

J ( u ) = 1 2 u 2 k = 1 T F ( k , K 1 / 2 u ( k ) ) 1 2 u 2 1 2 k = 1 T λ m + 1 ( K 1 / 2 u ( k ) ) 2 > 1 2 u 2 λ m + 1 2 λ m + 1 u 2 = 0 .

If there is u 0 span{ e m + 1 } with 0< u 0 r such that J( u 0 )=0, then it follows from the above inequality and condition (H2) that

F ( k , K 1 / 2 u 0 ( k ) ) = 1 2 λ m + 1 ( K 1 / 2 u 0 ( k ) ) 2 ,kZ[1,T].
(3.1)

By (3.1) and Rolle’s theorem, there exists t k (0,1) such that

f ( k , t k K 1 / 2 u 0 ( k ) ) = λ m + 1 t k ( K 1 / 2 u 0 ( k ) ) ,kZ[1,T].

Let u(k)= t k u 0 (k) for all kZ[1,T]. Then u is also a critical point of J and u is nonzero. The conclusion holds.

If there is not uspan{ e m + 1 } with 0<ur such that J(u)=0, then

J(u)0,uY,ur,J(u)>0,uZ,0<ur.

Thus, J has a local linking at 0 with respect to the decomposition H=YZ. Since dimY=m, by Lemma 2.4, we deduce that C m (J,0)0. Since mT, by Lemma 2.1, we know that J has a nonzero critical point u. The proof is completed. □

Proof of Theorem 1.2 Since condition (H3) holds, we have by Lemma 2.3 and the proof of Theorem 1.1 that C q (J,)= δ q T G for all q N 0 .

In the following, we compute the critical groups of J at 0. Choosing r>0 such that if ur, then | K 1 / 2 u(k)|δ for all kZ[1,T]. For uH= k = 1 T span{ e k } with ur, if uspan{ e 1 }, then we have

J ( u ) = 1 2 u 2 k = 1 T F ( k , K 1 / 2 u ( k ) ) 1 2 u 2 1 2 k = 1 T λ 1 ( K 1 / 2 u ( k ) ) 2 > 1 2 u 2 λ 1 2 λ 1 u 2 = 0 .

If there is u 0 span{ e 1 } with 0< u 0 r such that J( u 0 )=0, then it follows from the above inequality and condition ( H 2 ) that

F ( k , K 1 / 2 u 0 ( k ) ) = 1 2 λ 1 ( K 1 / 2 u 0 ( k ) ) 2 ,kZ[1,T].
(3.2)

By (3.2) and Rolle’s theorem, there exists t k (0,1) such that

f ( k , t k K 1 / 2 u 0 ( k ) ) = λ 1 t k ( K 1 / 2 u 0 ( k ) ) ,kZ[1,T].

Let u(k)= t k u 0 (k) for all kZ[1,T]. Then u is also a critical point of J and u is nonzero. The conclusion holds.

If there is not uspan{ e 1 } with 0<ur such that J(u)=0, then

J(u)>0,0<ur.

Then 0 is a local minimum of J. So, we deduce that

C q (J,0)= δ q 0 G.

Since 0T, by Lemma 2.1, we know that J has a nonzero critical point u. The proof is completed. □

Corollary 3.1 Suppose that (H1), (H3) hold and that

lim sup t 0 f(k,t)/t< λ 1 ,kZ[1,T].
(3.3)

Then BVP (1.1) has at least a nontrivial solution.

Proof By the assumptions, we need only to verify condition ( H 2 ) . In fact, by (3.3), there is δ>0 such that

F(k,t)< 1 2 λ 1 t 2 ,0<|t|δ,kZ[1,T].

It follows from Theorem 1.2 that the conclusion holds. □

Remark 3.1 In condition ( H 2 ) , the limit lim t 0 f(k,t)/t may equal λ 1 , which is a progress of [6]. Moreover, we also extend to λ m in condition (H2).

Remark 3.2 Since dimH<, it follows from condition (H3) that C q (J,)= δ q T G for all q N 0 . This is different from dimH=, in which C q (J,)=0 for all q N 0 , [10, 11].

Example 3.1 Let

f(k,t)= 1 2 ( λ m + λ m + 1 )sint+ t 3 ,tR.

Then f satisfies all the conditions of Theorem 1.1. We will obtain one nontrivial solution.