R E S E A R C H
Open Access
On
φ
-stability of a class of singular difference
equations
Peiguang Wang
1*, Meng Wu
2and Yonghong Wu
3*Correspondence:
pgwang@hbu.edu.cn
1College of Electronic and
Information Engineering, Hebei University, Baoding, 071002, China Full list of author information is available at the end of the article
Abstract
This paper investigates a class of singular difference equations. Using the framework of the theory of singular difference equations and cone-valued Lyapunov functions, some necessary and sufficient conditions on the
φ
0-stability of a trivial solution ofsingular difference equations are obtained. Finally, an example is provided to illustrate our results.
MSC: 39A11
Keywords: singular difference equations; cone-valued Lyapunov functions;
φ
0-stability; uniformlyφ
0-stability1 Introduction
The singular difference equations (SDEs), which appear in the Leontiev dynamic model of multisector economy, the Leslie population growth model, singular discrete optimal control problems and so forth, have gained more and more importance in mathematical models of practical areas (see [] and references cited therein). Anh and Loi [, ] studied the solvability of initial-value problems as well as boundary-value problems for SDEs.
It is well known that stability is one of the basic problems in various dynamical systems. Many results on the stability theory of difference equations are presented, for example, by Agarwal [], Elaydi [], Halanay and Rasvan [], Martynjuk [] and Diblíket al.[]. Recently, Anh and Hoang [] obtained some necessary and sufficient conditions for the stability properties of SDEs by employing Lyapunov functions. The comparison method, which combines Lyapunov functions and inequalities, is an effective way to discuss the stability of dynamical systems. However, this approach requires that the comparison sys-tem satisfies a quasimonotone property which is too restrictive for many applications be-cause this property is not a necessary condition for a desired property like stability of the comparison system. To solve this problem, Lakshmikantham and Leela [] initiated the method of cone and cone-valued Lyapunov functions and developed the theory of differ-ential inequalities. By employing the method of cone-valued Lyapunov functions, Akpan and Akinyele [], EL-Sheikh and Soliman [], Wang and Geng [] investigated the sta-bility and theφ-stability of ordinary differential systems, functional differential equations
and difference equations, respectively.
However, to the best of our knowledge, there are few results for theφ-stability of
sin-gular difference equations. In this paper, utilizing the framework of the theory of sinsin-gular difference equations, we give some necessary and sufficient conditions for theφ-stability
of a trivial solution of singular difference equations via cone-valued Lyapunov functions.
2 Preliminaries
The following definitions can be found in reference [].
Definition . A proper subsetKofRnis called a cone if
(i) λK⊆K,λ≥; (ii) K+K⊆K; (iii) K=K; (iv) K=∅;
(v) K∩(–K) ={},
whereK andKdenote the closure and interior ofK, respectively, and∂Kdenotes the
boundary ofK. The order relation onRninduced by the coneKis defined as follows: Let x,y∈K, thenx≤Kyiffy–x∈Kandx<Kyiffy–x∈K.
Definition . The setK*={φ∈Rn, (φ,x)≥, for allx∈K}is said to be an adjoint cone if it satisfies the properties (i)-(v).
x∈K iff (φ,x) > , and
x∈∂k iff (φ,x) = for someφ∈K*,K=K–{}.
Definition . A functiong:D→Rn,D⊂Rnis said to be quasimonotone relative toK ifx,y∈Dandy–x∈∂Kimplies that there existsφ∈K*such that
(φ,y–x) = and
φ,g(y) –g(x)
≥.
Definition . A functiona(r) is said to belong to the classKifa∈C[R+,R+],a() = ,
anda(r) is strictly monotone increasing function inr.
Consider the following SDEs:
Anxn++Bnxn=fn(xn), n≥, (.)
whereAn,Bn∈Rm×mandfn:Rm→Rmare given. Throughout this paper, we assume that the matricesAnare singular, and the corresponding linear homogeneous equations
Anxn++Bnxn= , n≥, (.)
are of index- [–],i.e., the following hypotheses hold.
(H) rankAn=r,n≥,
(H) Sn∩kerAn–={},n≥, whereSn={ξ∈Rm:Bnξ∈imAn},n≥. For the next discussion, the following lemma from [] is needed.
Lemma . Suppose that the hypothesis(H)holds.Then the hypothesis(H)is equivalent
(i) the matrixGn:=An+BnQn–,nis nonsingular;
(ii) Rm=S
n⊕kerAn–.
Let us associate SDEs (.) with the initial condition
Pn–xn=Pn–γ, n≥, (.)
whereγ is an arbitrary vector inRmandn
is a fixed nonnegative integer.
Theorem .[] Let fn(x)be a Lipschitz continuous function with a sufficiently small Lip-schitz coefficient,i.e.,
fn(x) –fn(x)≤Lnx–x, ∀x,x∈Rm,
where
ωn:=LnQn–,nG–n, ∀n≥. Then IVP(.), (.)has a unique solution.
Setn:={x∈Rm:Qn–x=Qn–,nGn–[fn(x) –BnPn–x]}. Ifx={xn}is any solution of IVP (.), (.), then obviouslyxn∈ n(n≥n).
Definition .[] The trivial solution of (.) is said to beA-stable (P-stable) if for each
> and anyn≥, there exists aδ=δ(,n)∈(,] such that
An–γ<δ
Pn–γ<δ
implies xn(n;γ)<,n≥n.
Definition . The trivial solution of (.) is said to be
(S) A-φ-stable (P-φ-stable) if for each> and anyn≥, there exists aδ=δ(n,)∈
(,]such that for someφ∈K*
(φ,An–γ) <δ
(φ,Pn–γ) <δ
implies φ,xn(n;γ)
<, n≥n.
(S) A-uniformlyφ-stable (P-uniformlyφ-stable) ifδin (S) is independent ofn.
(S) A-asymptoticallyφ-stable (P-asymptoticallyφ-stable) if for anyn≥there exist
positive numbersδ=δ(n)andN=N(n,)such that for someφ∈K*,
(φ,An–γ) <δ
(φ,Pn–γ) <δ
implies φ,xn(n;γ)
<, n≥n+N.
(S) A-uniformly asymptoticallyφ-stable ifδandNin (S) are independent ofn.
LetKbe a cone inRm,S
ρ={xn∈Rm,An–xn<ρ,ρ> }.V:Z+×Sρ→Kis continuous in the second variable, we define
3 Main results
Lemma . The trivial solution of SDEs(.)is A-uniformlyφ-stable(P-uniformlyφ
-stable)if and only if there exists a functionψ ∈Ksuch that for any solution xnof SDEs (.)and someφ∈K*,the following inequality holds:
Conversely, suppose that the trivial solution of (.) isA-uniformlyφ-stable,i.e., for
each positive , there exists a δ =δ()∈(,] such that if xn is any solution of (.)
the proof of Lemma . is complete.
Similar to the proof of Lemma ., we have the following.
Lemma . The trivial solution of SDEs(.)is A-φ-stable(P-φ-stable)if and only if
(iii) a[(φ,xn)]≤(φ,V(n,An–xn))for someφ∈K*anda∈K,(n,r)∈R+×Sρ. Then the trivial solution of SDEs(.)is A-φ-stable.
Proof SinceV(n, ) = andV(n,r) is continuous inr, then givena() > ,a∈K, there
existsδsuch that
An–γ<δ implies V(n,An–γ)<a().
For someφ∈K*,
φAn–γ<φδ implies φV(n,An–γ)<φa().
Thus
(φ,An–γ) ≤ φAn–γ<φδ
implies
φ,V(n,An–γ) ≤ φV(n,An–γ)<φa().
It follows that
(φ,An–γ)≤δ implies
φ,V(n,An–γ)
≤a(),
where φδ =δ, φa() = a(), a∈K. Let xn be any solution of (.) such that (φ,An–γ) <δ. Then by (i),V is nonincreasing and so
V(n,An–xn)≤V(n,An–γ), n≥n.
Thus (φ,An–γ) <δimplies
a(φ,xn)
≤φ,V(n,An–xn)
≤φ,V(n,An–γ)
<a(),
i.e.,
(φ,An–γ) <δ implies (φ,xn) <, n≥n.
Then the trivial solution of (.) isA-φ-stable. The proof of Theorem . is complete.
Theorem . Let the hypotheses of Theorem.be satisfied,except the conditionV(n, An–xn)≤being replaced by
(iv) (φ,V(n,An–xn))≤–c[(φ,V(n,An–xn))],c∈K.
Then the trivial solution of SDEs(.)is A-asymptoticallyφ-stable.
Proof By Theorem ., the trivial solution of (.) isA-φ-stable. By (iv),V(n,An–xn) is a
monotone decreasing function, thus the limit
V*= lim
exists. We prove thatV*= . SupposeV*= , thenc(V*)= ,c∈K. Sincec(r) is a
mono-tone increasing function, then
cφ,V(n,An–xn)
>cφ,V*
,
and so from (iv), we get
φ,V(n,An–xn)
≤–cφ,V*
.
Then
φ,V(n,An–xn)
≤–cφ,V*
(n–n) +
φ,V(n,An–xn)
.
Thus asn→ ∞and for someφ∈K*, we have (φ,V(n,An–xn))→–∞. This contradicts the condition (iii). It follows thatV*= . Thus
φ,V(n,An–xn)
→, n→ ∞,
and so with (iii)
(φ,xn)→, n→ ∞.
Thus for given> ,n∈R+, there existδ=δ(n) andN=N(n,) such that
(φ,An–xn) <δ implies (φ,xn) <, n≥n+N.
Then the trivial solution of (.) isA-asymptoticallyφ-stable. The proof of Theorem .
is complete.
Theorem . The trivial solution of SDEs (.)is P-φ-stable if and only if there exist
functionsψn∈Kand a Lyapunov function V∈C[Z+×Sρ,K]such that for someφ∈K*,
(i) V(n, ) = ,n≥;
(ii) (φ,y)≤(φ,V(n,Pn–y))≤ψn[(φ,Pn–y)],∀y∈ n,and someφ∈K*,
(iii) V(n,Pn–yn) :=V(n+ ,Pnyn+–V(n,Pn–yn))≤for any solutionynof(.). Proof Necessity. Suppose that the trivial solution of (.) isP-φ-stable, then, according to
Lemma ., there exist functionsψn∈K(n≥) such that for any solutionxnof (.) and for someφ∈K*,
(φ,xn)≤ψn
(φ,Pn–xn)
. (.)
Define the Lyapunov function
V(n,γ) :=sup k∈Z+
xn+k(n;γ); γ∈Rm,n∈Z+,
where xn+k:=xn+k(n;γ) is the unique solution of (.) satisfying the initial condition
V(n, ) = and the continuity of functionV in the second variable atγ = . For each
On the other hand, for an arbitrary solutionynof (.), by the unique solvability of the initial value problem (.) and (.), we have
V(n,Pn–yn) =sup
Sufficiency. Assuming that the trivial solution of (.) is notP-φ-stable,i.e., there exist
a positiveand a nonnegative integernsuch that for allδ∈(,] and for someφ∈K*,
which leads to a contradiction. The proof of Theorem . is complete.
Theorem . The trivial solution of SDEs(.)is P-uniformlyφ-stable if and only if there
(i) a[(φ,x)]≤(φ,V(n,Pn–x))≤b[(φ,Pn–x)],∀x∈ n,n≥;
(ii) V(n,Pn–xn)≤for any solutionxnof(.).
Proof The proof of the necessity part is similar to the corresponding part of Theorem .. For> , letδ=b–[a()] independent ofnfora,b∈K, andxnbe any solution of (.)
Then the trivial solution of (.) isP-uniformlyφ-stable. The proof of Theorem . is
complete.
4 Example
Consider SDEs (.) with the following data:
An= hypotheses (H), (H) are fulfilled, hence SDEs (.) is of index-. Clearly, the canonical
projections are
. Further, the functionfn(x) is Lipschitz continuous with the
to Theorem ., IVP (.), (.) has a unique solution. We havex∈ nif and only if
According to Theorem ., the trivial solution of (.) isP-uniformlyφ-stable.
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors completed the paper together. All authors read and approved the final manuscript.
Author details
1College of Electronic and Information Engineering, Hebei University, Baoding, 071002, China.2Fundamental
Department, Hebei Finance University, Baoding, 071051, China. 3Department of Mathematics and Statistics, Curtin
University of Technology, GPO BOX U1987, Perth, WA 6845, Australia.
Acknowledgements
The authors would like to thank the reviewers for their valuable suggestions and comments. This paper is supported by the National Natural Science Foundation of China (11271106) and the Natural Science Foundation of Hebei Province of China (A2013201232).
References
1. Anh, PK, Du, NH, Loi, LC: Singular difference equations: an overview. Vietnam J. Math.35, 339-372 (2007) 2. Anh, PK, Loi, LC: On the solvability of initial-value problems for nonlinear implicit difference equations. Adv. Differ.
Equ.3, 195-200 (2004)
3. Anh, PK, Loi, LC: On multipoint boundary-value problems for linear implicit non-autonomous systems of difference equations. Vietnam J. Math.29, 281-286 (2001)
4. Agarwal, RP: Difference Equations and Inequalities, Theory, Methods and Applications, 2nd edn. Monographs and Textbooks in Pure and Applied Mathematics, vol. 228. Dekker, New York (2000)
5. Elaydi, SN: An Introduction to Difference Equations, 3rd edn. Springer, London (2005)
6. Halanay, A, Rásvan, VRV: Stability and Stable Oscillations in Discrete Time Systems. Gordon & Breach Science, Taipei (2002)
7. Martynjuk, DI: Lectures on the Qualitative Theory of Difference Equations. “Naukova Dumka”, Kiev (1972) 8. Diblík, J, Khusainov, DY, Grytsay, IV, Šmarda, Z: Stability of nonlinear autonomous quadratic discrete systems in the
critical case. Discrete Dyn. Nat. Soc.2010, Article ID 539087 (2010). doi:10.1155/2010/539087
9. Anh, PK, Hoang, DS: Stability of a class of singular difference equations. Int. J. Differ. Equ.1, 181-193 (2006) 10. Lakshmikantham, V, Leela, S: Cone-valued Liapunov functions. Nonlinear Anal.1, 215-222 (1977)
11. Akpan, EP, Akineyle, O: On theφ0-stability of comparison differential systems. J. Math. Anal. Appl.164, 307-324 (1992)
12. EL-Sheikh, MMA, Soliman, AA: On stability of nonlinear systems of functional differential equations. Appl. Math. Comput.107, 81-93 (2000)
13. Wang, PG, Geng, FJ: Onφ0stability of difference equations. Appl. Math. Lett.18, 139-147 (2005)
doi:10.1186/1687-1847-2013-179
Cite this article as:Wang et al.:Onφ0-stability of a class of singular difference equations.Advances in Difference