 Research
 Open Access
 Published:
Nontrivial solutions of secondorder difference equations
Advances in Difference Equations volume 2013, Article number: 365 (2013)
Abstract
In this paper, we investigate the nontrivial solutions to the difference equations {\mathrm{\Delta}}^{2}u(k1)=f(k,u(k)) for all k\in \mathbb{Z}[0,T] and subject to u(0)=0=\mathrm{\Delta}u(T), and establish the existence results of a nontrivial solution under some resonant conditions.
1 Introduction
In this paper, we consider the nontrivial solutions to the following discrete boundary value problem:
where T is a positive integer, \mathbb{Z}[1,T]=\{1,2,\dots ,T\}, \mathrm{\Delta}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 [1–9]. 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 {\lambda}_{1}<{\lambda}_{2}<\cdots <{\lambda}_{T} denote the eigenvalues of the linear problem corresponding to (1.1). By [6], {\lambda}_{i}=4{sin}^{2}\frac{(2i1)\pi}{4T+2}, i\in \mathbb{Z}[1,T], and the corresponding orthogonal eigenvectors of {\{{\lambda}_{i}\}}_{i=1}^{T} are
Assume that the following conditions hold:

(H_{1}) f:\mathbb{Z}[1,T]\times \mathbb{R}\to \mathbb{R} is continuous and f is continuous differentiable on the second variable;

(H_{2}) there exist m\in \mathbb{Z}[1,T1] and \delta >0 such that
\frac{1}{2}{\lambda}_{m}{t}^{2}\u2a7dF(k,t)\u2a7d\frac{1}{2}{\lambda}_{m+1}{t}^{2},\phantom{\rule{1em}{0ex}}t\u2a7d\delta ,k\in \mathbb{Z}[1,T],where F(k,t)={\int}_{0}^{t}f(k,s)\phantom{\rule{0.2em}{0ex}}ds for all t\in \mathbb{R} and k\in \mathbb{Z}[1,T];
({\text{H}}_{2}^{\prime}) there exists \delta >0 such that
F(k,t)\u2a7d\frac{1}{2}{\lambda}_{1}{t}^{2},\phantom{\rule{1em}{0ex}}t\u2a7d\delta ,k\in \mathbb{Z}[1,T]; 
(H_{3}) there exist {R}_{0}>0 and \mu \in (0,1/2) such that
0<F(k,t)\u2a7d\mu tf(k,t),\phantom{\rule{1em}{0ex}}t\u2a7e{R}_{0},k\in \mathbb{Z}[1,T].
The following theorems are our main results.
Theorem 1.1 Let f satisfy conditions (H_{1}), (H_{2}) and (H_{3}). Then problem (1.1) has at least a nontrivial solution.
Theorem 1.2 Let f satisfy conditions (H_{1}), ({\text{H}}_{2}^{\prime}) and (H_{3}). Then problem (1.1) has at least a nontrivial solution.
In [6], the authors assumed the following conditions:

(A_{1}) there exist {R}_{0}>0 and \mu \in (0,1/2) such that
F(k,t)\u2a7d\mu tf(k,t),\phantom{\rule{1em}{0ex}}t\u2a7e{R}_{0},k\in \mathbb{Z}[1,T]; 
(A_{2}) {max}_{k\in \mathbb{Z}[1,T]}{lim\hspace{0.17em}sup}_{t\to 0}f(k,t)/t<{\lambda}_{1};

(A_{3}) {min}_{k\in \mathbb{Z}[1,T]}{lim\hspace{0.17em}inf}_{t\to +\mathrm{\infty}}f(k,t)/t>{\lambda}_{1}.
Under conditions (A_{1})(A_{3}), they obtained that BVP (1.1) has a nontrivial solution. Under (H_{3}) and (A_{2}), they obtained that BVP (1.1) has a nontrivial solution.
In this paper, we weaken condition (A_{2}) to ({\text{H}}_{2}^{\prime}) and obtain the same result. Moreover, in condition (A_{2}), f does not cross the first eigenvalue. We extend to the case that f may cross {\lambda}_{m} and f is resonant at 0 to {\lambda}_{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:\mathbb{Z}[1,T]\to \mathbb{R}\}. Then H is a Tdimensional Hilbert space with the inner product (u,v)={\sum}_{k=1}^{T}u(k)v(k) for all u,v\in H, and the corresponding norm \parallel u\parallel ={({\sum}_{k=1}^{T}{(u(k))}^{2})}^{1/2} for all u\in H.
It is well known that the solution of BVP (1.1) is equivalent to the solution of the operator equation
where
G:\mathbb{Z}[1,T]\times \mathbb{Z}[1,T]\to \mathbb{Z}[1,T] is the Green function for
defined by
In fact, if u\in H is a solution of (2.1), then v:\mathbb{Z}[0,T+1]\to \mathbb{R} is a solution of BVP (1.1), where
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 k\in \mathbb{Z}[1,T]. Thus, we need only to find the solutions to (2.1) in H.
In [12–15], 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

(i)
By Lemmas 2.12.4 in [6], we have that K:H\to H is a linear continuous, positive definite and symmetric operator. The eigenvalues of K are \{1/{\lambda}_{i}\}, where {\lambda}_{i}=4{sin}^{2}\frac{(2i1)\pi}{4T+2} for all i\in \mathbb{Z}[1,T], and the corresponding orthogonal eigenvectors of {\{1/{\lambda}_{i}\}}_{i=1}^{T} are
{e}_{i}(k)=sin\frac{2i1}{2T+1}k\pi ,\phantom{\rule{1em}{0ex}}k\in \mathbb{Z}[1,T],\mathrm{\forall}i\in \mathbb{Z}[1,T].Moreover, each eigenvalue 1/{\lambda}_{i} has algebraic multiplicity 1 for all i\in \mathbb{Z}[1,T].

(ii)
\mathbf{f}:H\to H is bounded and continuous.

(iii)
The operator equation (2.1) has a nontrivial solution in H if and only if the operator equation
v={K}^{1/2}\mathbf{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
where F(k,t)={\int}_{0}^{t}f(k,s)\phantom{\rule{0.2em}{0ex}}ds for all (k,t)\in \mathbb{Z}[1,T]\times \mathbb{R}, and {J}^{\prime}=I{K}^{1/2}\mathbf{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\in {C}^{1}(E,\mathbb{R}), K=\{u\in E:{f}^{\prime}(u)=0\} and {f}_{c}=\{u\in E:f(u)\u2a7dc\}.
Let p be an isolated critical point of f, and let c=f(p). We call
the q th critical group, with the coefficient group G of f at p for all q\in {\mathbb{N}}_{0}:=\{0,1,2,\dots \}, where {U}_{p} is a neighborhood of p such that K\cap ({f}_{c}\cap {U}_{p})=\{p\}, and {H}_{\ast}(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 a\in \mathbb{R}, then the critical groups of f at infinity
By the deformation lemma, the righthand 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\in {C}^{1}(E,\mathbb{R}) satisfies the (PS) condition and that f has only finite critical points.

(i)
If {C}_{k}(f,\mathrm{\infty})\ne 0 for some k\in {\mathbb{N}}_{0}, then f has a critical point u such that {C}_{k}(f,u)\ne 0.

(ii)
Let 0 be an isolated critical point of f, and {C}_{k}(f,0)\ne {C}_{k}(f,\mathrm{\infty}) for some k\in {\mathbb{N}}_{0}, then f has a nonzero critical point.
Lemma 2.2 Suppose that (H_{1}) and (H_{3}) hold. Then J satisfies the (PS) condition.
Proof Let \{{u}_{n}\} be a sequence along which J({u}_{n})\u2a7d{C}_{1} and {J}^{\prime}({u}_{n})\to 0, where {C}_{1}>0 is a constant. By conditions (H_{1}) and (H_{3}), there is a constant {C}_{2}>0 such that
It follows from (2.3) that
Since J({u}_{n})\u2a7d{C}_{1} and ({J}^{\prime}({u}_{n}),{u}_{n})\u2a7d\parallel {u}_{n}\parallel 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,\mathrm{\infty}).
Lemma 2.3 Suppose that (H_{1}) and (H_{3}) hold. Then there is a constant {a}_{0}>0 such that {J}_{a}\simeq S for all a<{a}_{0}, where S is the unit sphere in H.
Proof By conditions (H_{1}) and (H_{3}), there exist {C}_{3}>0 and {C}_{4}>0 such that
Thus for any u\in S, by (2.3) and (2.4), we have that
and
Let {a}_{0}={C}_{2}T+1. Then, for a<{a}_{0}, if J(tu)\u2a7da, then \frac{d}{dt}[J(tu)]<0. The implicit function theorem is applied to obtain a unique T\in C(S,\mathbb{R}) such that
T has a positive lower bound. In fact, if there is a sequence \{{u}_{n}\}\subset S such that T({u}_{n})\to 0, then a=J(T({u}_{n}){u}_{n})\to J(0)=0, which is a contradiction. Thus, we may assume that there is \epsilon >0 such that J(u)>a for all u\in {B}_{\epsilon} and T(u)\u2a7e\epsilon for all u\in S, where {B}_{\epsilon}=\{u\in H:\parallel u\parallel <\epsilon \}. Now, we define a deformation retract \eta :[0,1]\times (H\mathrm{\setminus}{B}_{\epsilon})\to (H\mathrm{\setminus}{B}_{\epsilon}) by
Therefore, H\mathrm{\setminus}{B}_{\epsilon}\simeq {J}_{a}, i.e., {J}_{a}\simeq S. □
Let 0 be an isolated critical point of f\in {C}^{2}(H,\mathbb{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}_{}\oplus {H}_{+} with k=dim{H}_{}<\mathrm{\infty}, i.e., there exists r>0 small such that
Then {C}_{k}(f,0)\ne 0.
3 Proof of main theorems
In this section, we prove our main theorems.
Proof of Theorem 1.1 Let H=\{u:\mathbb{Z}[1,T]\to \mathbb{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
In the following, we consider the critical groups of J at 0. Let H=Y\oplus Z, where Y=span\{{e}_{1},{e}_{2},\dots ,{e}_{m}\}, Z=span\{{e}_{m+1},{e}_{m+2},\dots ,{e}_{T}\}. Choosing r>0 such that if \parallel u\parallel \u2a7dr, then {K}^{1/2}u(k)\u2a7d\delta for all k\in \mathbb{Z}[1,T]. By condition (H_{2}), for u\in Y with \parallel u\parallel \u2a7dr, we have
For u\in Z={\u2a01}_{k=m+1}^{T}span\{{e}_{k}\} with \parallel u\parallel \u2a7dr, if u\notin span\{{e}_{m+1}\}, then we have
If there is {u}_{0}\in span\{{e}_{m+1}\} with 0<\parallel {u}_{0}\parallel \u2a7dr such that J({u}_{0})=0, then it follows from the above inequality and condition (H_{2}) that
By (3.1) and Rolle’s theorem, there exists {t}_{k}\in (0,1) such that
Let u(k)={t}_{k}{u}_{0}(k) for all k\in \mathbb{Z}[1,T]. Then u is also a critical point of J and u is nonzero. The conclusion holds.
If there is not u\in span\{{e}_{m+1}\} with 0<\parallel u\parallel \u2a7dr such that J(u)=0, then
Thus, J has a local linking at 0 with respect to the decomposition H=Y\oplus Z. Since dimY=m, by Lemma 2.4, we deduce that {C}_{m}(J,0)\ne 0. Since m\ne T, 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 (H_{3}) holds, we have by Lemma 2.3 and the proof of Theorem 1.1 that {C}_{q}(J,\mathrm{\infty})={\delta}_{qT}G for all q\in {\mathbb{N}}_{0}.
In the following, we compute the critical groups of J at 0. Choosing r>0 such that if \parallel u\parallel \u2a7dr, then {K}^{1/2}u(k)\u2a7d\delta for all k\in \mathbb{Z}[1,T]. For u\in H={\u2a01}_{k=1}^{T}span\{{e}_{k}\} with \parallel u\parallel \u2a7dr, if u\notin span\{{e}_{1}\}, then we have
If there is {u}_{0}\in span\{{e}_{1}\} with 0<\parallel {u}_{0}\parallel \u2a7dr such that J({u}_{0})=0, then it follows from the above inequality and condition ({\text{H}}_{2}^{\prime}) that
By (3.2) and Rolle’s theorem, there exists {t}_{k}\in (0,1) such that
Let u(k)={t}_{k}{u}_{0}(k) for all k\in \mathbb{Z}[1,T]. Then u is also a critical point of J and u is nonzero. The conclusion holds.
If there is not u\in span\{{e}_{1}\} with 0<\parallel u\parallel \u2a7dr such that J(u)=0, then
Then 0 is a local minimum of J. So, we deduce that
Since 0\ne T, by Lemma 2.1, we know that J has a nonzero critical point u. The proof is completed. □
Corollary 3.1 Suppose that (H_{1}), (H_{3}) hold and that
Then BVP (1.1) has at least a nontrivial solution.
Proof By the assumptions, we need only to verify condition ({\text{H}}_{2}^{\prime}) . In fact, by (3.3), there is \delta >0 such that
It follows from Theorem 1.2 that the conclusion holds. □
Remark 3.1 In condition ({\text{H}}_{2}^{\prime}) , the limit {lim}_{t\to 0}f(k,t)/t may equal {\lambda}_{1}, which is a progress of [6]. Moreover, we also extend to {\lambda}_{m} in condition (H_{2}).
Remark 3.2 Since dimH<\mathrm{\infty}, it follows from condition (H_{3}) that {C}_{q}(J,\mathrm{\infty})={\delta}_{qT}G for all q\in {\mathbb{N}}_{0}. This is different from dimH=\mathrm{\infty}, in which {C}_{q}(J,\mathrm{\infty})=0 for all q\in {\mathbb{N}}_{0}, [10, 11].
Example 3.1 Let
Then f satisfies all the conditions of Theorem 1.1. We will obtain one nontrivial solution.
References
 1.
Agarwal RP, Perera K, O’Regan D: Multiple positive solutions of singular and nonsingular discrete problems via variational methods. Nonlinear Anal. 2004, 58: 6973. 10.1016/j.na.2003.11.012
 2.
Atici FM, Cabada A: Existence and uniqueness results for discrete second order periodic boundary value problems. Comput. Math. Appl. 2003, 45: 14171427. 10.1016/S08981221(03)00097X
 3.
Atici FM, Guseinov GS: Positive periodic solutions for nonlinear difference equations with periodic coefficients. J. Math. Anal. Appl. 1999, 232: 166182. 10.1006/jmaa.1998.6257
 4.
Bin H, Yu J, Guo Z: Nontrivial periodic solutions for asymptotically linear resonant difference problem. J. Math. Anal. Appl. 2006, 322: 477488. 10.1016/j.jmaa.2006.01.028
 5.
He Z, Yu J: On the existence of positive solutions of fourthorder difference equations. Appl. Math. Comput. 2005, 161: 139148. 10.1016/j.amc.2003.12.016
 6.
Jiang L, Zhou Z: Existence of nontrivial solutions for discrete nonlinear two point boundary value problems. Appl. Math. Comput. 2006, 180: 318329. 10.1016/j.amc.2005.12.018
 7.
Zhu B, Yu J: Multiple positive solutions for resonant difference equations. Math. Comput. Model. 2009, 49: 19281936. 10.1016/j.mcm.2008.09.009
 8.
Zhou Z, Yu J, Guo Z: Periodic solutions of higher dimensional discrete system. Proc. R. Soc. Edinb. A 2004, 134: 10131022. 10.1017/S0308210500003607
 9.
Zhou Z, Yu J, Guo Z: The existence of periodic and subharmonic solutions to subquadratic discrete Hamiltonian. ANZIAM J. 2005, 47: 89102. 10.1017/S1446181100009792
 10.
Chang KC: Infinite Dimensional Morse Theory and Multiple Solution Problems. Birkhäuser, Boston; 1993.
 11.
Han G, Xu Z: Multiple solutions of some nonlinear fourthorder beam equations. Nonlinear Anal. 2008, 68: 36463656. 10.1016/j.na.2007.04.007
 12.
Li F, Li Y, Liang Z: Existence and multiplicity of solutions to 2 m thorder ordinary differential equations. J. Math. Anal. Appl. 2007, 331: 958977. 10.1016/j.jmaa.2006.09.025
 13.
Li F, Li Y, Liang Z: Existence of solutions to nonlinear Hammerstein integral equations and applications. J. Math. Anal. Appl. 2006, 323: 209227. 10.1016/j.jmaa.2005.10.014
 14.
Li F, Liang Z, Zhang Q: Existence of solutions to a class of nonlinear second order twopoint boundary value problems. J. Math. Anal. Appl. 2005, 312: 357373. 10.1016/j.jmaa.2005.03.043
 15.
Li F, Zhang Q, Liang Z: Existence and multiplicity of solutions of a kind of fourthorder boundary value problem. Nonlinear Anal. 2005, 62: 803816. 10.1016/j.na.2005.03.054
 16.
Mawhin J, Willem M: Critical Point Theory and Hamiltonian Systems. Springer, Berlin; 1989.
 17.
Liu S: Nontrivial solutions for elliptic resonant problems. Nonlinear Anal. 2009, 70: 19651974. 10.1016/j.na.2008.02.095
 18.
Liu J: A Morse index for a saddle point. Syst. Sci. Math. Sci. 1989, 2: 3239.
 19.
Su J: Semilinear elliptic boundary value problems with double resonance between two consecutive eigenvalues. Nonlinear Anal. 2002, 48: 881895. 10.1016/S0362546X(00)002212
Acknowledgements
The author is very grateful to the referees for their helpful comments. This paper is supported by the National Natural Science Foundation of China (Grant No. 11071149, 11301313) and Science Council of Shanxi Province (20100110011, 20120110042, 20130210014).
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Author’s contributions
The author worked on the results independently.
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
Li, Y. Nontrivial solutions of secondorder difference equations. Adv Differ Equ 2013, 365 (2013). https://doi.org/10.1186/168718472013365
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718472013365
Keywords
 discrete boundary value problem
 resonance
 critical group