Abstract and Applied Analysis

Volume 2014 (2014), Article ID 434621, 7 pages

http://dx.doi.org/10.1155/2014/434621

Research Article

Stability Analysis of a Class of Higher Order Difference Equations

Yuanyuan Liu¹ and Fanwei Meng²

¹Department of Mathematics, Shanghai Normal University, Shanghai 200234, China

²Department of Mathematics, Qufu Normal University, Qufu 273165, China

Received 31 March 2014; Accepted 6 May 2014; Published 28 May 2014

Academic Editor: Yonghui Xia

Copyright © 2014 Yuanyuan Liu and Fanwei Meng. 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.

Abstract.

We consider the sufficient conditions for asymptotic stability and instability of certain higher order nonlinear difference equations with infinite delays in finite-dimensional spaces. With the aid of the general comparison condition on the right-hand side function , we generalize the stability and instability result.

1. Introduction

In the field of statistics, people get used to mark the number of sample as discrete parameter not continuous for applied meaning. There are some discrete models in real life such as cobweb model of demand and supply and national income model, which could not be described by differential equation under the factual conditions. Then difference equations arise and are widely used in areas such as information transmission and population models [1–4].

During the period of development of mathematics together with information revolution, there are many discrete dynamic systems to describe the real problem, such as the monographs [5, 6]. For example, the book Liber Abaci, written by the famous mathematician Leonardo di Pisa, stated the so-called Fibonacci sequence to the problem of rabbits’ number. To march the development of mathematic discrete models in application, difference equations raised the form of higher orders or with delays; see [7–9]. Besides, the stability of the equilibrium is always a great topic to study, such as [10–13] and the references therein. Also, there are some researchers engaged in studying the stability analysis of the equations with delay; see [14, 15].

As the simplest case, the first order difference equation

has been paid much attention to and widely investigated in the literature.

In this paper, we consider a higher order difference equation with delays

where , is a Banach space, and , are functions on and , respectively. We assume that (2) satisfies the initial condition , , which means that the solution of system (2), , holds for , , . In addition, we suppose that the zero solution is the unique equilibrium; in other words, for some real values and all if and only if . Yao and Meng in [9] studied the similar system and gave some sufficient conditions to guarantee that the solution satisfies a contained equation under the method of a discrete inequality. We note that the system (2) always has solution at the time given by

It is easy to see that is defined by the solution .

The main aim of this paper is to provide the sufficient conditions for asymptotic stability and instability of (2). First, we state some notations and basic definitions used in the paper. Denote that for the vector , which implies that, for , ,

Definition 1. The zero solutions of the system (2) are stable if, for every , , there exists such that every solution of the system with the initial condition satisfies the condition , for all .

Definition 2. The zero solutions of the system (2) are asymptotically stable if it is stable and, under a constant existing, for any solution of (2) such that .

Definition 3. The zero solutions of system (2) are unstable if it is not stable, that is, if there are numbers , such that for every there is a solution with the initial condition and there exists a number such that .

The system we consider is a general form of higher order difference equations without the concrete formula of . If we entitle the function to a special form, such as the form of logistic function, then the stability of equilibrium points can be used to discuss the population model.

2. Asymptotic Stability

In this section, using the method of comparison conditions, we will obtain the sufficient conditions of the nonlinear difference system (2). The following discrete inequalities we assumed play an important role in the investigations of the asymptotic stability:

Denote by

Using the method in [10], we can obtain the following theorem.

Theorem 4. Under the hypothesises (C1, C2, and C3), system (2) is asymptotically stable if , , , and .

Proof. Since , we can choose two real numbers , such that ,

From (7), it is easy to note that

Next, we consider solution of the system (2) with the initial condition such that , , . According to the definition, we will prove the following inequality:

which is obvious to hold for .

Assuming that (9) still holds for , , in addition to and , then we estimate the solution at the () step by (4).

Let . Then

By the inequalities (8) and (10), we can obtain the following conclusion:

which implies that inequality (9) holds for the step . Therefore, inequality (9) holds for all . Since , we can obtain that as and derive the conclusion. Hence, the proof is completed.

Theorem 5. Let system (2) satisfy the same conditions as in Theorem 4. Then, the zero solutions are asymptotically stable if , , and .

Proof. According to the assumption, we can define a set for every integer ,

which contains index numbers and

To prove that the solution is asymptotically stable, according to the definition, we will prove the following inequality:

It is obvious that (9) holds for . Since the definition of the set and the assumption of the solution fit the estimation (14) at the step , the following proof will be divided into two aspects.

(i)If is on the end of , such that , then we have

By the assumptions in this theorem, we have

As desired.

(ii)If is inside , in other words, , and , , such that , then we have

Because of the sufficient condition in this theorem, we can derive

which proves that (14) holds for . From estimation (14) and , it follows the asymptotic stability of the zero solutions of system (2). The proof is ended.

3. Instability Conditions

Apart from the instability comparison condition defined in the whole state space in [13], we state that the condition is satisfied only in some subset of the state space . Thus, we introduce a convex set , to be an invariant set for system (2). Further, for every , the solution with the initial condition (3) starting in : , , satisfies for all .

In this section, we assume the following comparison condition:

Denote by

The following three theorems are our main results on instability of the system (2).

Theorem 6. Under conditions , system (2) is unstable if for all .

Proof. Let the arbitrary initial conditions satisfy

Note that , for all .

For , from (2) and conditions (C4), (C5), we have

For , by the same way and noting that is invariant set, we have the following estimation:

Repeating the above procedure, for every step , we can obtain the inequality of the form

where the functions , are defined by the following two propositions.

(a)The functions , satisfy the following relations:

which can be directly proved by the method of induction in .

(b)The functions , satisfy the following estimations:

where is defined by (12).

The proof of Proposition (b) is as follows. We will prove the left-hand side inequality (27) by induction on each set , and the right-hand side can be proved similarly.

It is obvious that the assertion is true for the step . Assume that the assertion holds until the step . For every , using Proposition (a), (24) and by induction assumption, we have

If is on the end of the set , that is, , , we have

If is inside , so that , , , and , , which implies , then we have

which proves the left-hand side inequality of (27).

To prove inequality (28), using (26) and by induction, we assume that the inequality holds for all steps . For the step , by the same method of induction, if and is on the end of the set so that , we have

If is inside , in other words, , and , , such that , then we have

Given , we obtain

as desired.

Next, we will prove Theorem 6 based on the above propositions. Let . From the estimation (24) and the estimations (27), (28) of Proposition (b), we have two cases.

Case (i). If , we have

where . Therefore,

which gives

as and then go to infinity.

Therefore, there are a number and a large number such that . By Definition 3, if and , the zero solutions are unstable.

Case (ii). If , using the estimation (24) and the estimations (27), (28) of Proposition (b) again, we then obtain

where . Therefore,

which gives

as and then goes to infinity. Thus, as in Case (i), we prove the instability of zero solutions. The proof is ended.

According to Theorem 6, we can analogize the following theorems.

Theorem 7. Assume that conditions , where we estimate inequality (24), hold in the system (2). Then, system (2) is unstable if for all .

Proof. Let and . In this case for the inequality we obtained in Theorem 6

we have

which goes to infinity as , go to infinity.

By Definition 3 of the instability, it is easy to see that the zero solutions are unstable. The theorem is proved.

Theorem 8. Assume that conditions , where we estimate inequality (24), hold in the system (2). Then, system (2) is asymptotically unstable if .

Proof. When , in addition to the inequality

we can obtain

which shows that the zero solutions are asymptotically unstable. This ends the proof.

4. Applications

In this section, we state two examples concerning the above theorems in Sections 2 and 3, respectively.

Example 9. The difference control system with higher order term

where , , is a control argument. We note that the system is stabilizable when there is a linear bounded operator such that the control , if the system without control

is asymptotically stable.

Suppose that the function satisfies the conditions

for some . Then by Theorems 6 and 7, the above system is stable under the following control and one of the following conditions:

or

Example 10. We study the following system in Banach space :

where

and , , , , , are real numbers. We assume that

Next, we can take a convex cone with the form of

which is the invariant set for system.

By Theorems 6 and 7 and for arbitrary , we have

where , , and . Thus,

Hence, system (50) is unstable if one of the following conditions holds:

  ;

   and .

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

The project was supported by the National Natural Science Foundation of China 11271261, 11171178, and FP7-PEOPLE-2012-IRSES-316338.

References

R. P. Agarwal, Difference Equations and Inequalities. Theory, Methods, and Applications, vol. 228 of Monographs and Textbooks in Pure and Applied Mathematics, Marcel Dekker, New York, NY, USA, 2nd edition, 2000.

S. Elaydi, An Introduction to Difference Equations, Springer, New York, NY, USA, 1995.

V. L. Kocić and G. Ladas, Global Behavior of Nonlinear Difference Equations of Higher Order with Applications, vol. 256 of Mathematics and Its Applications, Kluwer Academic Publishers Group, Dordrecht, The Netherlands, 1993.

A. Y. T. Leung, J. N. Xu, and W. S. Tsui, “Nonlinear delay difference equations for housing dynamics assuming heterogeneous backward-looking expectations,” Applied Mathematics and Mechanics, vol. 28, no. 6, pp. 785–798, 2007.

P. Cull, M. Flahive, and R. Robson, Difference Equations. From Rabbits to Chaos, Springer, New York, NY, USA, 2005.

V. N. Phat, Constrained Control Problems of Discrete Processes, World Scientific, Singapore, 1996.

M. M. Kipnis and D. A. Komissarova, “A note on explicit stability conditions for autonomous higher order difference equations,” Journal of Difference Equations and Applications, vol. 13, no. 5, pp. 457–461, 2007.

S. Mohamad and K. Gopalsamy, “Exponential stability of continuous-time and discrete-time cellular neural networks with delays,” Applied Mathematics and Computation, vol. 135, no. 1, pp. 17–38, 2003.

J. Yao and F. Meng, “Asymptotic behavior of solutions of certain higher order nonlinear difference equation,” Journal of Computational and Applied Mathematics, vol. 205, no. 1, pp. 640–650, 2007.

N. S. Bay and V. N. Phat, “Stability analysis of nonlinear retarded difference equations in Banach spaces,” Computers & Mathematics with Applications, vol. 45, no. 6-9, pp. 951–960, 2003.

J. P. LaSalle, The Stability and Control of Discrete Processes, vol. 62 of Applied Mathematical Sciences, Springer, New York, NY, USA, 1986.

R. Naulin and M. Pinto, “Stability of discrete dichotomies for linear difference systems,” Journal of Difference Equations and Applications, vol. 3, no. 2, pp. 101–123, 1997.

R. Naulin and C. Vanegas, “Instability of discrete-time systems,” Electronic Journal of Differential Equations, vol. 33, pp. 1–11, 1998.

H. M. Xiao and Y. Q. Liu, “The stability of linear time-varying discrete systems with time-delay,” Journal of Mathematical Analysis and Applications, vol. 188, no. 1, pp. 66–77, 1994.

X. S. Yang and Y. Stepanenko, “A stability criterion for discrete nonlinear systems with time delayed feedback,” IEEE Transactions on Automatic Control, vol. 39, no. 3, pp. 585–589, 1994.