 Research
 Open access
 Published:
Solutions of the boundary value problem for a 2nthorder nonlinear difference equation containing both advance and retardation
Advances in Difference Equations volume 2013, Article number: 322 (2013)
Abstract
In this paper, we consider the boundary value problem for a 2n thorder nonlinear difference equation containing both advance and retardation. By using the critical point theory, some sufficient conditions of the existence of solutions of the boundary value problem are obtained. The proof is based on the linking theorem. An example is given to illustrate our results.
1 Introduction
Consider the following 2n thorder nonlinear difference equation:
with boundary value conditions
where T and n are given positive integers with T>n, f(t,\cdot ):{\mathbb{R}}^{3}\to \mathbb{R} is continuous for t=1,2,\dots ,T, {r}_{1n},{r}_{2n},\dots ,{r}_{T} are nonzero real numbers and Δ is the forward difference operator defined by \mathrm{\Delta}{x}_{n}={x}_{n+1}{x}_{n}, {\mathrm{\Delta}}^{2}{x}_{n}=\mathrm{\Delta}(\mathrm{\Delta}{x}_{n}).
In the last decade, by using various techniques such as critical point theory, fixed point theory, topological degree theory and coincidence degree theory, a great deal of works have been done on the existence of solutions to boundary value problems of difference equations (see [1–7] and references therein). Among these approaches, the critical point theory seems to be a powerful tool to solving this problem (see [5, 7–9]). However, compared to the boundary value problems of lower order difference equations [6, 8, 10–13], the study of boundary value problems of higher order difference equations is relatively less (see [9, 14, 15]), especially the works done by using the critical point theory. Therefore, there is still spacious room to explore the boundary value problems of higherorder difference equations. For the background on difference equations, we refer to [16].
Recently, in [17], the author considered the 2n thorder nonlinear difference equation
with the boundary value conditions (1.2). He distinguished two cases that f(t,z) is superlinear and sublinear in the second variable z, respectively. Equation (1.3) represents a class of nodelay difference equations.
In this paper, we consider the existence of solutions of the boundary value problem of (1.1) with (1.2). First, we construct a functional J such that solutions of boundary value problem (1.1) with (1.2) correspond to critical points of J. Then, by using the linking theorem, we obtain the existence of critical points of J. Finally, an example is given to illustrate our results. We mention that (1.1) is a kind of difference equation containing both advance and retardation. This kind of difference equation has many applications both in theory and practice. For example, as a special case of n=1, (1.1) may be thought to be the discrete analogue of the following forward and backward differential difference equation:
Equation (1.4) has been studied extensively by many scholars. For example, Smets and Willem [18] obtained the existence of solitary waves of (1.4).
In [7], the authors considered (1.1) for the case when n=1 with different boundary value conditions
In [16], Agarwal took the following difference equation:
with the boundary value conditions
as an example. It represents the amplitude of the motion of every particle in the string.
Throughout this paper, we assume that there exists a function F(t,x,y) which is differentiable in variable x and y defined for t=0,1,\dots ,T, satisfies
for t=1,2,\dots ,T.
2 Preliminaries and main results
Before we apply the critical point theory, we shall establish the corresponding variational framework for (1.1) with (1.2).
Let ℕ, ℤ and ℝ denote the sets of all natural numbers, integers and real numbers, respectively. For a,b\in \mathbb{Z}, define \mathbb{Z}(a)=\{a,a+1,\dots \}, \mathbb{Z}(a,b)=\{a,a+1,\dots ,b\} when a\le b.
Let
Then E is a Tdimensional Hilbert space.
Obviously, E is isomorphic to {\mathbb{R}}^{T}. In fact, we can find a map I:E\to {\mathbb{R}}^{T} defined by
where {\cdot}^{\mathrm{tr}} means the transpose of ⋅ .
Define the inner product on E as
The corresponding norm \parallel \cdot \parallel can be induced by
For all x\in E, define the functional J(x) on E as follows:
Clearly, J(x)\in {C}^{1}(E,\mathbb{R}).
By using the fact that
we can compute the partial derivative as
for t\in \mathbb{Z}(1,T). Therefore, x\in E is a critical point of J if and only if x is a solution of (1.1) with (1.2).
By a simple computation, we see that there exists a T\times T matrix A such that
for all x\in E. Therefore, we can write J(x) as
where F(x)={\sum}_{t=0}^{T}F(t,{x}_{t+1},{x}_{t}).
By a straightforward calculation, we obtain that
Let \lambda (A), {\lambda}^{+}(A) and {\lambda}^{}(A) be the sets of all the eigenvalues of A, all the positive eigenvalues of A and all the negative eigenvalues of A, respectively. Define {\lambda}_{\mathrm{max}}=max\{\lambda :\lambda \in \lambda (A)\}, {\lambda}_{\mathrm{min}}=min\{\lambda :\lambda \in \lambda (A)\}. If {\lambda}^{+}(A)\ne \varphi, let {\lambda}_{\mathrm{max}}^{+}=max\{\lambda :\lambda \in {\lambda}^{+}(A)\}, {\lambda}_{\mathrm{min}}^{+}=min\{\lambda :\lambda \in {\lambda}^{+}(A)\}. Let {A}^{0}, {A}^{+} and {A}^{} denote the eigenspaces associated with the 0 eigenvalue, all positive eigenvalues and all negative eigenvalues of A, respectively. It follows that
and
Definition 2.1 Let E be a real Banach space, the functional J\in {C}^{1}(E,\mathbb{R}) is said to satisfy the PalaisSmale (P.S. for short) condition if any sequence \{{x}_{m}\} in E, such that \{J({x}_{m})\} is bounded and {J}^{\prime}({x}_{m})\to 0 as m\to \mathrm{\infty}, contains a convergent subsequence.
Let {B}_{\rho} denote the open ball in E with radius ρ and center 0, and let \partial {B}_{\rho} denote its boundary.
In order to obtain the existence of critical points of J on E, we cite the basic lemma, which is crucial in the proof of our main results.
Lemma 2.1 (Linking theorem [19])
Let E be a real Hilbert space and E={E}_{1}\oplus {E}_{2}, where {E}_{1} is a finitedimensional subspace of E. Assume that J\in {C}^{1}(E,\mathbb{R}) satisfies the P.S. condition and the following two conditions.
(J_{1}) There exist constants a>0 and \rho >0 such that J{}_{\partial {B}_{\rho}\cap {E}_{2}}\ge a;
(J_{2}) There exist an e\in \partial {B}_{1}\cap {E}_{2} and a constant {R}_{0}>\rho such that J{}_{\partial Q}\le 0, where Q\triangleq ({B}_{{R}_{0}}\cap {E}_{1})\oplus \{re0<r<{R}_{0}\}.
Then J possesses a critical value c\ge a. Moreover, c can be characterized as
where \mathrm{\Gamma}=\{h\in C(\overline{Q},E):h{}_{\partial Q}={id}_{\partial Q}\} and {id}_{\partial Q} is the identity operator on ∂Q.
Now we state our main results.
Theorem 2.1 Assume that the following conditions are satisfied:

(A1)
\sum _{i=1n}^{0}{r}_{i}\sum _{j=0}^{i+n1}{\left(\genfrac{}{}{0ex}{}{n}{j}\right)}^{2}+\sum _{i=1}^{Tn}{r}_{i}\sum _{j=0}^{Tn}{\left(\genfrac{}{}{0ex}{}{n}{j}\right)}^{2}+\sum _{i=Tn+1}^{T}{r}_{i}\sum _{j=0}^{Ti}{\left(\genfrac{}{}{0ex}{}{n}{j}\right)}^{2}>0.(2.12)

(A2)
\underset{{x}^{2}+{y}^{2}\to \mathrm{\infty}}{lim\hspace{0.17em}inf}\frac{F(t,x,y)}{{x}^{2}+{y}^{2}}>\frac{1}{4}{\lambda}_{\mathrm{max}},\phantom{\rule{1em}{0ex}}t\in \mathbb{Z}(0,T).(2.13)

(A3)
\underset{(x,y)\to (0,0)}{lim}\frac{F(t,x,y)}{{x}^{2}+{y}^{2}}=0,\phantom{\rule{1em}{0ex}}t\in \mathbb{Z}(0,T).(2.14)
Then (1.1) with (1.2) possesses at least two nontrivial solutions.
Corollary 2.1 Assume that (A1) holds, and F(t,x,y) satisfies (A3) and
(A4) There exist constants R>0 and \beta >2 such that
Then (1.1) with (1.2) possesses at least two nontrivial solutions.
Remark 2.1 If {r}_{i}>0 for i\in \mathbb{Z}(1n,T), then (2.12) clearly holds.
Remark 2.2 Assumption (A4) is a condition similar to the classical AmbrosettiRabinowitz superlinear condition [19], which implies that there exist constants {a}_{1}>0 and {a}_{2}>0 such that
which leads to
and (A2) is satisfied. So Corollary 2.1 holds.
3 Proof of Theorem 2.1
Lemma 3.1 Assume that (A2) holds, then the functional J satisfies the P.S. condition.
Proof According to (A2), there exist positive constants {a}_{3}>{\lambda}_{\mathrm{max}}/4 and {a}_{4} such that
Let \{{x}^{(k)}\} be a sequence in E such that \{J({x}^{(k)})\} is bounded and {J}^{\prime}({x}^{(k)})\to 0 as k\to \mathrm{\infty}. Then there exists a positive constant C such that J({x}^{(k)})\le C.
By (2.8) and (2.10), we have
On the other hand, J({x}^{(k)})\ge C. Combining this with (3.2), we have
Since E is a finitedimensional space, (3.3) implies \{{x}^{(k)}\} has a convergent subsequence. Thus P.S. condition is verified. □
Now we give the proof of Theorem 2.1.
Proof According to (A3), it is easy to see that F(t,0,0)=0. Therefore, \{0\} is a solution of (1.1) with (1.2) which is called a trivial solution. From (A1), tr(A)>0, then we conclude that matrix A has at least one positive eigenvalue and {\lambda}_{\mathrm{max}}={\lambda}_{\mathrm{max}}^{+}. By (3.2), we have
This implies that J(x)\to \mathrm{\infty} as \parallel x\parallel \to \mathrm{\infty}, then J(x) is a coercive map. It implies that J is bounded above on E. By the continuity of J on E, there exists m\in E such that
Clearly, m is a critical point of J on E. We prove that m is nontrivial.
In fact, from (A3), there exists {\rho}_{0}>0 such that, for any (x,y)\in {\mathbb{R}}^{2} with {x}^{2}+{y}^{2}\le {\rho}_{0}^{2} and t\in \mathbb{Z}(0,T), we have
For any x\in E with I(x)\in {A}^{+} and \parallel x\parallel ={\rho}_{0}, by (2.10), it is clear that
Therefore, \overline{c}=max\{J(x)x\in E\}\ge \frac{1}{4}{\lambda}_{\mathrm{min}}^{+}{\rho}_{0}^{2}>0, which implies that m\ne 0. That is, m is a nontrivial critical point of J.
Let {E}_{2}={I}^{1}({A}^{+}), {E}_{1}={I}^{1}({A}^{}\oplus {A}^{0}) and a=\frac{1}{4}{\lambda}_{\mathrm{min}}{\rho}_{0}^{2}>0, then we have
and
Let e\in \partial {B}_{1}\cap {E}_{2}, for any z\in {E}_{1} and r\in \mathbb{R}, we have
Since J(z)\le 0 for z\in {E}_{1}, we see that there exists a positive constant {R}_{0}>{\rho}_{0} such that J(x)\le 0 for any x\in \partial Q, where Q\triangleq ({B}_{{R}_{0}}\cap {E}_{1})\oplus \{re0<r<{R}_{0}\}. By the linking theorem, J possesses a critical value \tilde{c}\ge a, where
For convenience, we note J({m}^{\ast})=\tilde{c}, {m}^{\ast}\in E. Obviously, {m}^{\ast}\ne \{0\}.
If m\ne {m}^{\ast}, then the proof is finished. Otherwise, \overline{c}=J(m)=J({m}^{\ast})=\tilde{c}. Since e is arbitrary, we can choose e\in \partial {B}_{1}\cap {E}_{2}. Similarly, there exists {R}_{\ast}>{\rho}_{0} such that J(x)\le 0 for any x\in \partial {Q}_{1}, where {Q}_{1}\triangleq ({B}_{{R}_{\ast}}\cap {E}_{1})\oplus \{re0<r<{R}_{\ast}\}. Again, by the linking theorem, J possesses a critical value \stackrel{\u02c6}{c}\ge a, where
Note J(\stackrel{\u02c6}{m})=\stackrel{\u02c6}{c}. We will assert that {m}^{\ast}\ne \stackrel{\u02c6}{m}.
By way of contradiction, assume that {m}^{\ast}=\stackrel{\u02c6}{m}. Then \stackrel{\u02c6}{c}=\tilde{c}=\overline{c}=max\{J(x)x\in E\}. Since J(x){}_{\partial Q}\le 0 and J(x){}_{\partial {Q}_{1}}\le 0, \stackrel{\u02c6}{m} must be an interior point of both sets Q and {Q}_{1}. However, Q\cap {Q}_{1}\subset {E}_{1} and J(x)\le 0 for any x\in {E}_{1}. This implies that \overline{c}<0. It is a contradiction, so the conclusion of Theorem 2.1 holds.
Now the proof is complete. □
4 Example
As an application of Theorem 2.1, we give an example to illustrate our result.
Example 4.1 Consider the following 2n thorder difference equation:
with boundary value conditions
where T and n are given positive integers with T>n, {r}_{t}=1 for t\in \mathbb{Z}(1n,0), {r}_{t}=2 for t\in \mathbb{Z}(1,T), and
for t\in \mathbb{Z}(1,T). Clearly, (2.12) holds. If we let
then (1.8) is satisfied. Since
for t\in \mathbb{Z}(0,T), we see that (2.13) and (2.14) hold. By Theorem 2.1, we know that (4.1) with (4.2) has at least two nontrivial solutions.
References
Henderson J, Thompson H: Existence of multiple solutions for secondorder discrete boundary value problems. Comput. Math. Appl. 2002, 43: 12391248. 10.1016/S08981221(02)000950
Li YK, Shu JY: Solvability of boundary value problems with RiemannStieltjes Δintegral conditions for secondorder dynamic equations on time scales at resonance. Adv. Differ. Equ. 2011, 2011(42):118.
Ma RY, Gao CH: Bifurcation of positive solutions of a nonlinear discrete fourthorder boundary value problem. Z. Angew. Math. Phys. 2013, 64: 493506. 10.1007/s0003301202437
Yuan CJ: Positive solutions of a singular positone and semipositone boundary value problems for fourthorder difference equations. Discrete Dyn. Nat. Soc. 2010., 2010: Article ID 312864
Gao LM: Existence of multiple solutions for a secondorder difference equation with a parameter. Appl. Math. Comput. 2010, 216: 15921598. 10.1016/j.amc.2010.03.012
Liang HH, Weng PX: Existence and multiple solutions for a secondorder difference boundary value problem via critical point theory. J. Math. Anal. Appl. 2007, 326: 511520. 10.1016/j.jmaa.2006.03.017
Deng XQ, Shi HP: On boundary value problems for second order nonlinear functional difference equations. Acta Appl. Math. 2010, 110: 12771287. 10.1007/s1044000995092
Liu JS, Wang SL, Zhang JM: Multiple solutions for boundary value problems of secondorder difference equations with resonance. J. Math. Anal. Appl. 2011, 374: 187196. 10.1016/j.jmaa.2010.09.025
Zou QR, Weng PX: Solutions of 2 n thorder boundary value problem for difference equation via variational method. Adv. Differ. Equ. 2009., 2009: Article ID 730484
Bai DY, Xu YT: Nontrivial solutions of boundary value problems of secondorder difference equations. J. Math. Anal. Appl. 2007, 326: 297302. 10.1016/j.jmaa.2006.02.091
Zhang R: Positive solutions of BVPs for thirdorder discrete nonlinear difference systems. J. Appl. Math. Comput. 2011, 35: 551575. 10.1007/s1219001003787
Yu JS, Guo ZM: Boundary value problems of discrete generalized EmdenFowler equation. Sci. China Ser. A 2006, 49: 13031314. 10.1007/s114250061999z
He TS, Xu YT: Positive solutions for nonlinear discrete secondorder boundary value problems with parameter dependence. J. Math. Anal. Appl. 2011, 379: 627636. 10.1016/j.jmaa.2011.01.047
Berger H: Existence of nontrivial solutions of a twopoint boundary value problem for a 2 n thorder nonlinear difference equation. Adv. Dyn. Syst. Appl. 2008, 3: 131146.
Xie SL, Zhu J: Positive solutions of the system for n thorder singular nonlocal boundary value problems. J. Appl. Math. Comput. 2011, 37: 119132. 10.1007/s1219001004245
Agarwal RP: Difference Equations and Inequalities: Theory, Methods and Applications. 2nd edition. Marcel Dekker., New York; 2000.
Zhou Z: Boundary value problems for a class of higher order nonlinear difference equations. J. Guangzhou Univ. (Nat. Sci. Ed.) 2012, 11: 14. (in Chinese)
Smets D, Willem M: Solitary waves with prescribed speed on infinite lattices. J. Funct. Anal. 1997, 149: 266275. 10.1006/jfan.1996.3121
Rabinowitz PH 65. In Minimax Methods in Critical Point Theory with Applications to Differential Equations. Am. Math. Soc., Providence; 1986.
Acknowledgements
The authors would like to thank the anonymous referee for his/her valuable suggestions. This work is supported by Program for Changjiang Scholars and Innovative Research Team in University (No. IRT1226), the Specialized Fund for the Doctoral Program of Higher Education of China (No. 20114410110002), and SRF of Guangzhou Education Bureau (No. 10A012).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors jointly worked on the results, and they read and approved the final manuscript.
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
Wang, Q., Zhou, Z. Solutions of the boundary value problem for a 2nthorder nonlinear difference equation containing both advance and retardation. Adv Differ Equ 2013, 322 (2013). https://doi.org/10.1186/168718472013322
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/168718472013322