# Stability of Difference Equations and Applications to Robustness Problems

- Bogdan Sasu
^{1}Email author

**2010**:869608

**DOI: **10.1155/2010/869608

© Bogdan Sasu. 2010

**Received: **3 November 2009

**Accepted: **23 February 2010

**Published: **28 February 2010

## Abstract

The aim of this paper is to obtain new necessary and sufficient conditions for the uniform exponential stability of variational difference equations with applications to robustness problems. We prove characterizations for exponential stability of variational difference equations using translation invariant sequence spaces and emphasize the importance of each hypothesis. We introduce a new concept of stability radius for a variational system of difference equations with respect to a perturbation structure and deduce a very general estimate for the lower bound of . All the results are obtained without any restriction concerning the coefficients, being applicable for any system of variational difference equations.

## 1. Introduction

In the last decades an increasing interest was focused on the asymptotic properties of the most general class of evolution equations—the variational systems and a number of open questions were answered, increasing the applicability area not only to partial differential equations but also to systems arising from the linearization of nonlinear equations (see [1–10] and the references therein). In this context a special attention was devoted to the general case of variational systems of difference equations of the form:

where
is a family of bounded linear operators on a Banach space
and
is a flow on a metric space
. The interest is motivated by several notable advantages related with the system (*A*): the obtained results are applicable to a large class of systems; since no measurability or continuity conditions are needed, this system often models the families of equations proceeding from the linearization of nonlinear equations and also extends the nonautonomous case in infinite-dimensional spaces (see [1, 2, 4–10] and the references therein).

In recent years a notable progress was made in the study of the qualitative properties of various classes of difference equations (see [4–8, 11–32]). The input-output methods or the so-called "theorems of Perron type" have proved to be important tools in the study of the asymptotic behavior of difference equations like stability (see [27, 29, 30]), expansiveness (see [6]), dichotomy (see [1, 5, 8, 15, 17, 19, 20, 32]), and trichotomy as well (see [7, 18, 20]). A distinct method for the study of exponential stability relies on the convergence of some associated series and this was used in [28] for difference equations and in [4] for variational difference equations. The exponential stability of difference equations with several variable delays and variable coefficients was studied in [16], where the authors obtained interesting conditions for global exponential stability using new computational formulas with respect to the coefficients. The uniform asymptotic stability of positive Volterra difference equations was recently studied in [25], the authors proving the equivalence between the uniform asymptotic stability of the zero solution, the summability of the fundamental solution, and the invertibility of an associated operator outside the unit disk. A very efficient method in the study of the stability of difference equations is represented by the so-called "freezing technique," which was used in [22] for the study of absolute stability of discrete-time systems with delay and also in [23] in order to deduce explicit conditions for global feedback exponential stabilizability of discrete-time control systems with multiple state delays. In the study of the asymptotic behavior of discrete-time systems, there is an increasing interest in finding methods arising from control theory (see [5–8, 21–27, 29–32]). This is motivated by the fact that besides their large applicability area, the control-type techniques can be also applied to the analysis of the robustness of diverse properties in the presence of perturbations (see [5, 25, 26, 30, 32, 33]). In this context it is natural to extend the study to the variational case. Thus, two main questions arise: which is the most general framework for the study of the stability of variational difference equations using control type methods and how one may apply the new techniques in order to determine the behavior of the initial system in the presence of perturbations. In what follows, our attention will focus in order to provide complete answers to these open questions.

In this paper we propose a new study concerning the stability of variational difference equations and the robustness of this property. We associate with the system (*A*) a family of control systems
and we attack the subject from the perspective of the solvability of
between two Banach sequence spaces invariant under translations. We split the class of Banach sequence spaces which are invariant under translations into two central subclasses and deduce necessary and sufficient conditions for uniform and exponential stability with respect to the solvability of the control system (
) when the input sequences belong to a space from a subclass or the solution lies in a space from the other subclass (see Theorem 3.8). By an example we show that the stability result is the most general in the topic and that the assumptions on the underlying sequence spaces cannot be removed. As particular cases of the stability results we deduce many interesting situations; among them we mention some direct generalizations at the variational case of the theorems from [27, 29, 30]. We also mention that the associated control system is distinct compared with those considered in the study of dichotomy and trichotomy (see [7, 8, 32, 34]), the input-output conditions are different, the Banach sequence norm is more flexible, and the underlying classes of sequence spaces are the largest and with more permissive properties.

Next, we apply the stability results and we propose a new approach for stability robustness of variational difference equations. We study the stable behavior of the system (*A*) in the presence of a general perturbation structure
with
,
, by means of the stability radius
(see Definition 4.3). Our target is to obtain a lower bound for the stability radius of variational systems of difference equations as well as to determine the largest class of Banach sequence spaces within the robustness properties hold. With this purpose we associate with the system (*A*) an input-output control system
and consider
the general class of all Banach sequence spaces
with the property that if there is
such that
, for all
, then
and
. For every Banach sequence space
, we introduce the index
, where
is the family of input-output operators associated with the system (
) and we obtain a lower bound for
in terms of
. Thus, we point out an interesting connection between the family of input-output operators and the size of the smallest perturbation in the presence of which the perturbed system loses its exponential stability. The variational case requires a special analysis and the methods are substantially more complicated compared to those used in the nonautonomous case (see [30, 33]). We note that the study is done without any restriction or assumption on the coefficients, the obtained results being applicable for any system of variational difference equations.

## 2. Banach Sequence Spaces

In this section, for the sake of clarity, we will recall some basic definitions and properties of Banach sequences spaces. Let denote the set of the integers, let denote the set of all non negative integers, let denote the set of all real numbers, and let be the linear space of all sequences . Let . For every set we denote by the characteristic function of the set . For every we consider the sequence defined by and , for all .

Definition 2.1.

If, moreover,
is complete, then
is called *Banach sequence space*.

Definition 2.2.

A Banach sequence space
is called *invariant under translations* if for every
the sequence
belongs to
and
.

Notation

We denote by the class of all Banach sequence spaces which are invariant under translations and .

Example 2.3 (*Orlicz sequence spaces*).

*Young function*associated with is for all . For every , let . Then is a Banach space with respect to the norm . The space is called the

*Orlicz sequence space*associated to . It is easy to see that

Example 2.4.

The space with respect to the norm belongs to the class .

Remark 2.5.

- (i)
- (ii)
- (iii)
(see, e.g., [30, Lemma 2.1]);

- (iv)

Definition 2.6.

If
is a Banach sequence space with
then
is called *the fundamental function* of
.

Lemma 2.7.

Proof.

Let . From , for all and all we deduce that , for all and the proof is complete.

Notations.

We denote by the class of all Banach sequence spaces with the property that and by the class of all Banach sequence spaces with the property that .

Lemma 2.8.

Proof.

*Necessity.* If
, then
. Let
. Then there is a strictly increasing sequence
such that
, for all
and all
. Setting
we deduce that
, for all
and all
. It follows that
is a Cauchy sequence in
; so this is convergent. Let
be such that
in
. According to Lemma 2.7 we deduce that
, and so
. This implies that
.

*Sufficiency.* If
, then there is
such that
, for all
. Then, we obtain that
, for all
, and so
. It follows that
.

Remark 2.9.

From Remark 2.5 and Lemma 2.8 we have that if and only if .

Another interesting property of the class is the following.

Lemma 2.10.

Let be an Orlicz space. Then either or .

Proof.

Suppose that ; so . Then , for all . This implies that . Let and let . Then , for every . Since is nondecreasing, this yields , for every , so . It follows that ; so . Hence and using Remark 2.5(iii) we obtain the conclusion.

Lemma 2.11.

Proof.

From Remark 2.5(ii) we obtain that and that relation (2.3) holds.

Notation

We denote by the class of all Banach sequence spaces with the property that if and there is such that , for all , then and .

Example 2.12.

Any Orlicz sequence space belongs to the class . Consequently, , for every .

Remark 2.13.

The class will play a fundamental role for a new study of the robustness of uniform exponential stability presented in Section 4.

Notation

Let be a real or complex Banach space. For every Banach sequence space we denote by the space of all sequences with the property that the mapping belongs to . is a Banach space with respect to the norm .

## 3. Stability of Variational Difference Equations

Let be a real or complex Banach space and let be the Banach algebra of all bounded linear operators on . Throughout this paper the norm on will be denoted by . For every , the norm of is defined by

We denote by the linear space of all sequences with the property that the set is finite and by the identity operator on .

Let be a metric space and let . Let be a discrete flow on , that is, and , for all .

Let
. We consider the variational system of variational difference equations (*A*). We note that in the particular case when
and
we obtain the case of difference equations. There are several distinct directions of generalizing the case of difference equations. One of the most interesting methods is to consider them in the general framework of dynamic equations on time scales (see [35, 36]), having a wide potential for applications in the study of population dynamics. Another method is to consider them as particular cases of variational difference equations, which often proceed from the linearization of nonlinear equations (see [2, 10] and the references therein). It is also interesting to note that the exponential stability of a variational equation is equivalent with the exponential stability of the variational difference equation associated with it. Therefore, concerning the stability of variational equations it is recommended to study the discrete-time case, because no measurability or continuity conditions are required.

The discrete cocycle associated with the system (*A*) is

Remark 3.1.

The discrete cocycle satisfies
, for all
(*the evolution property*).

Definition 3.2.

- (i)
- (ii)

Remark 3.3.

Definition 3.4.

*stable*if the following assertions hold:

- (i)
- (ii)

is called *the input space* and
is called *the output space*.

Our first result provides a sufficient condition for uniform stability and is given by the following.

Theorem 3.5.

Let
. If the system
is
-stable, then the system (*A*) is uniformly stable.

Proof.

Let . By applying relation (3.8) for , we deduce that , for all and thus the proof is complete.

Corollary 3.6.

The system (*A*) is uniformly stable if and only if the system
is
-stable.

Proof.

Necessity is immediate via Definition 3.4 and sufficiency follows from Theorem 3.5.

The first main result of this section is the following.

Theorem 3.7.

Let
be such that either
or
. If the system
is
-stable, then the system (*A*) is uniformly exponentially stable.

Proof.

Case 1.

Case 2.

From relations (3.19) and (3.23) it follows that
. Taking into account that
does not depend on
or
we obtain that
, for all
and all
. Using similar arguments with those from Case 1, we deduce that the system (*A*) is uniformly exponentially stable.

The second main result of this section is the following.

Theorem 3.8.

Let be such that either or . The following assertions hold:

(i)if the system
is
-stable, then the system (*A*) is uniformly exponentially stable;

(ii)if
, then the system (*A*) is uniformly exponentially stable if and only if the system
is
-stable.

- (i)
This follows from Theorem 3.7.

- (ii)

Since there is such that , for all . Setting from relation (3.27) we deduce that . Taking into account that does not depend on or , it follows that the system is -stable.

*Sufficiency.* This follows from (i).

In what follows, we prove that the result obtained in Theorem 3.8 is the most general in this topic. Precisely, we will show that if
and
, then the
-stability of the system
does not assure the uniform exponential stability of the system (*A*).

Example 3.9.

It is easy to see that is nondecreasing with .

We associate with the system (*A*) then input-output system
.

Taking into account that
does not depend on
or
it follows that the system
is
-stable. But, for all that, it is easy to verify that there are not
such that
, for all
, so the system (*A*) is not uniformly exponentially stable.

Corollary 3.10.

Corollary 3.11.

Let
. The system (*A*) is uniformly exponentially stable if and only if the system
is
-stable.

Proof.

This follows from Theorem 3.8 observing that if , then , and so .

Definition 3.12.

As consequences of Theorem 3.8 we obtain the following.

Theorem 3.13.

Corollary 3.14.

Corollary 3.15.

Let
. The system (*A*) is uniformly exponentially stable if and only if the system
is completely
-stable.

Remark 3.16.

*A*) is uniformly exponentially stable, then according to Corollary 3.15, for every , the operator

is correctly defined and this is a bounded linear operator. Moreover, if is given by Definition 3.12, then we have that .

Remark 3.17.

From the above results it follows that in the study of exponential stability of variational difference equations using input-output techniques one may work with Banach sequence spaces which are invariant under translations, such that *either* the input space contains at least a sequence whose series is divergent *or* the output space has unbounded fundamental function. Moreover, according to Corollary 3.11 we deduce that when the input space and the output space coincide, then there is no other requirement on the underlying sequence spaces and it is sufficient to consider any Banach sequence space which is invariant under translations and contains at least a characteristic function of a singleton.

## 4. Applications to Robustness of Exponential Stability

In this section, by applying our main results we will study the persistence of the exponential stability in the presence of variational structured perturbations.

Notations.

Let
be a metric space and let
be a discrete flow on
. Let
be a Banach space and let
. We consider the linear system of variational difference equations (*A*). For every
we consider the perturbed system

Remark 4.1.

*A*) and is the discrete cocycle associated to the system (4.2), then the following perturbation formulas are satisfied:

In what follows we suppose that the system (*A*) is uniformly exponentially stable. The main question is how large may be the norm of the perturbation
such that the perturbed system (4.2) remains uniformly exponentially stable. With this purpose we introduce in the following.

Definition 4.2.

is called *the stability radius* of the system (*A*).

We note that in the existent literature there is not an explicit computational formula for the stability radius of systems, only in some sporadic special cases. For linear retarded systems of differential equations on , some interesting formulas were obtained by Ngoc and Son in [26, Theorems 3.5 and 3.10], but the estimates are still complicated. For the case of positive linear retarded systems which are Hurwitz stable, the authors succeeded to deduce a formula for the stability radius corresponding to multiaffine perturbations (see Theorem 4.7 and the following example). In [25] Murakami and Nagabuchi obtained an explicit formula for the stability radius of uniformly asymptotically stable positive Volterra difference equations on Banach lattices (see [25], Theorem 4.3). Generally, in order to analyze the persistence of the exponential stability in the presence of perturbations, it is interesting to find a lower bound for the stability radius of systems (see [3, 25, 26, 30, 33]) because in this manner we estimate the possible size of the disturbance operator under which the (additively) perturbed system remains exponentially stable.

In what follows, using the results obtained in the previous section we will estimate a lower bound for the stability radius of the system (*A*). We will provide a detailed study, when the system (*A*) is subject to a very general perturbation structure.

Let be two Banach spaces. Let , .

Definition 4.3.

is called *the stability radius* of the system (*A*) subject to the perturbation structure
.

Remark 4.4.

*A*) the input-output control system , where for every ,

Let
. Since the system (*A*) is uniformly exponentially stable, according to Corollary 3.15 there is
such that for every
the corresponding solution

has the property

Let and let . Then, the sequence

has the property

This implies that . According to (4.7) we have that and from (4.7) and (4.9) it follows that

Observing that the solution of the system (2.2) has the property

and since

we deduce that and from (4.10) and (4.12) we have that

where . Taking into account that does not depend on or it follows that

In this context, for every , it makes sense to consider the operator

We have that is a correctly defined and bounded linear operator. Moreover, from (4.14) we have that

Remark 4.5.

The family
is called *the family of input-output operators* associated to the system (
).

Remark 4.6.

In what follows we suppose that there is such that , for all .

Theorem 4.7.

Proof.

Taking into account that from (4.30) it follows that , for all and , for all .

The main result of this section is the following.

Theorem 4.8.

Proof.

*A*) is uniformly exponentially stable, according to Corollary 3.11 we have that the associated system (see p. 7) is -stable. So there is such that

Let with . Denote by . Let be given by Theorem 4.7.

associated with the perturbed system . In what follows we shall prove that the system is -stable.

we deduce that . In what follows, we prove that the second condition from Definition 3.4 is fulfilled.

Taking into account that does not depend on or it follows that the system is -stable. By applying Theorem 3.8 we deduce that the system is uniformly exponentially stable and the proof is complete.

Remark 4.9.

From Theorem 4.8 we deduce that the property of uniform exponential stability of a system of variational difference equations is preserved in the presence of structured perturbations, provided that the norm of the perturbation factor is less than and this estimate holds for any sequence space in the general class . The study points out an interesting connection between the family of the input-output operators associated with the control system and the size of the "largest" perturbation in the presence of which the perturbed system still remains uniformly exponentially stable.

The central result of this section is the following.

Theorem 4.10.

As a consequence, we deduce the following.

Corollary 4.11.

## Declarations

### Acknowledgments

The author would like to thank the referees for carefully reading the manuscript and for helpful comments, which led to the improvement of the paper. The work was supported by CNCSIS – UEFISCSU, project number PN II – IDEI 1081/2008 and project number PN II – IDEI 1080/2008.

## Authors’ Affiliations

## References

- Chow S-N, Leiva H:
**Existence and roughness of the exponential dichotomy for skew-product semiflow in Banach spaces.***Journal of Differential Equations*1995,**120**(2):429-477. 10.1006/jdeq.1995.1117MathSciNetView ArticleMATHGoogle Scholar - Foiaş C, Sell GR, Temam R:
**Inertial manifolds for nonlinear evolutionary equations.***Journal of Differential Equations*1988,**73**(2):309-353. 10.1016/0022-0396(88)90110-6MathSciNetView ArticleMATHGoogle Scholar - Sasu AL, Sasu B:
**A lower bound for the stability radius of time-varying systems.***Proceedings of the American Mathematical Society*2004,**132**(12):3653-3659. 10.1090/S0002-9939-04-07513-6MathSciNetView ArticleMATHGoogle Scholar - Sasu AL:
**New criteria for exponential stability of variational difference equations.***Applied Mathematics Letters*2006,**19**(10):1090-1094. 10.1016/j.aml.2005.04.020MathSciNetView ArticleMATHGoogle Scholar - Sasu B, Sasu AL:
**Input-output conditions for the asymptotic behavior of linear skew-product flows and applications.***Communications on Pure and Applied Analysis*2006,**5**(3):551-569. 10.3934/cpaa.2006.5.551MathSciNetView ArticleMATHGoogle Scholar - Sasu B:
**New criteria for exponential expansiveness of variational difference equations.***Journal of Mathematical Analysis and Applications*2007,**327**(1):287-297. 10.1016/j.jmaa.2006.04.024MathSciNetView ArticleMATHGoogle Scholar - Sasu AL, Sasu B:
**Exponential trichotomy for variational difference equations.***Journal of Difference Equations and Applications*2009,**15**(7):693-718. 10.1080/10236190802285118MathSciNetView ArticleMATHGoogle Scholar - Sasu B:
**On dichotomous behavior of variational difference equations and applications.***Discrete Dynamics in Nature and Society*2009,**2009:**-16.Google Scholar - Sasu B:
**On exponential dichotomy of variational difference equations.***Discrete Dynamics in Nature and Society*2009,**2009:**-18.Google Scholar - Sell GR, You Y:
*Dynamics of Evolutionary Equations, Applied Mathematical Sciences*.*Volume 143*. Springer, New York, NY, USA; 2002:xiv+670.View ArticleGoogle Scholar - Agarwal RP:
*Difference Equations and Inequalities, Monographs and Textbooks in Pure and Applied Mathematics*.*Volume 228*. 2nd edition. Marcel Dekker, New York, NY, USA; 2000:xvi+971.Google Scholar - Agarwal RP, Pituk M:
**Asymptotic expansions for higher-order scalar difference equations.***Advances in Difference Equations*2007,**2007:**-12.Google Scholar - Agarwal RP, O'Regan D:
*Ordinary and Partial Differential Equations. With Special Functions, Fourier Series, and Boundary Value Problems, Universitext*. Springer, New York, NY, USA; 2009:xiv+410.Google Scholar - Apreutesei N, Volpert V:
**Solvability conditions for infinite systems of difference equations.***Journal of Difference Equations and Applications*2009,**15**(7):659-678. 10.1080/10236190802259824MathSciNetView ArticleMATHGoogle Scholar - Berezansky L, Braverman E:
**On exponential dichotomy, Bohl-Perron type theorems and stability of difference equations.***Journal of Mathematical Analysis and Applications*2005,**304**(2):511-530. 10.1016/j.jmaa.2004.09.042MathSciNetView ArticleMATHGoogle Scholar - Berezansky L, Braverman E:
**Exponential stability of difference equations with several delays: recursive approach.***Advances in Difference Equations*2009,**2009:**-13.Google Scholar - Cuevas C, Vidal C:
**Discrete dichotomies and asymptotic behavior for abstract retarded functional difference equations in phase space.***Journal of Difference Equations and Applications*2002,**8**(7):603-640. 10.1080/10236190290032499MathSciNetView ArticleMATHGoogle Scholar - Cuevas C, Vidal C:
**Weighted exponential trichotomy of linear difference equations.***Dynamics of Continuous, Discrete & Impulsive Systems*2008,**15**(3):353-379.MathSciNetMATHGoogle Scholar - Cardoso F, Cuevas C:
**Exponential dichotomy and boundedness for retarded functional difference equations.***Journal of Difference Equations and Applications*2009,**15**(3):261-290. 10.1080/10236190802125330MathSciNetView ArticleMATHGoogle Scholar - Elaydi S, Janglajew K:
**Dichotomy and trichotomy of difference equations.***Journal of Difference Equations and Applications*1998,**3**(5-6):417-448.MathSciNetView ArticleMATHGoogle Scholar - Elaydi S:
*An Introduction to Difference Equations, Undergraduate Texts in Mathematics*. 3rd edition. Springer, New York, NY, USA; 2005:xxii+539.Google Scholar - Medina R:
**Absolute stability of discrete-time systems with delay.***Advances in Difference Equations*2008,**2008:**-14.Google Scholar - Medina R:
**Stabilization of discrete-time control systems with multiple state delays.***Advances in Difference Equations*2009,**2009:**-13.Google Scholar - Medina R, Pituk M:
**Asymptotic behavior of a linear difference equation with continuous time.***Periodica Mathematica Hungarica*2008,**56**(1):97-104. 10.1007/s10998-008-5097-7MathSciNetView ArticleMATHGoogle Scholar - Murakami S, Nagabuchi Y:
**Uniform asymptotic stability and robust stability for positive linear Volterra difference equations in Banach lattices.***Advances in Difference Equations*2008,**2008:**-15.Google Scholar - Ngoc PHA, Son NK:
**Stability radii of positive linear functional differential equations under multi-perturbations.***SIAM Journal on Control and Optimization*2005,**43**(6):2278-2295. 10.1137/S0363012903434789MathSciNetView ArticleMATHGoogle Scholar - Pituk M:
**A criterion for the exponential stability of linear difference equations.***Applied Mathematics Letters*2004,**17**(7):779-783. 10.1016/j.aml.2004.06.005MathSciNetView ArticleMATHGoogle Scholar - Przyłuski KM, Rolewicz S:
**On stability of linear time-varying infinite-dimensional discrete-time systems.***Systems & Control Letters*1984,**4**(5):307-315. 10.1016/S0167-6911(84)80042-0MathSciNetView ArticleMATHGoogle Scholar - Przyłuski KM:
**Remarks on the stability of linear infinite-dimensional discrete-time systems.***Journal of Differential Equations*1988,**72**(2):189-200. 10.1016/0022-0396(88)90155-6MathSciNetView ArticleGoogle Scholar - Sasu B, Sasu AL:
**Stability and stabilizability for linear systems of difference equations.***Journal of Difference Equations and Applications*2004,**10**(12):1085-1105. 10.1080/10236190412331314178MathSciNetView ArticleMATHGoogle Scholar - Sasu AL:
**Stabilizability and controllability for systems of difference equations.***Journal of Difference Equations and Applications*2006,**12**(8):821-826. 10.1080/10236190600734218MathSciNetView ArticleMATHGoogle Scholar - Sasu AL:
**Exponential dichotomy and dichotomy radius for difference equations.***Journal of Mathematical Analysis and Applications*2008,**344**(2):906-920. 10.1016/j.jmaa.2008.03.019MathSciNetView ArticleMATHGoogle Scholar - Hinrichsen D, Ilchmann A, Pritchard AJ:
**Robustness of stability of time-varying linear systems.***Journal of Differential Equations*1989,**82**(2):219-250. 10.1016/0022-0396(89)90132-0MathSciNetView ArticleMATHGoogle Scholar - Sasu AL:
**Pairs of function spaces and exponential dichotomy on the real line.***Advances in Difference Equations*2010,**2010:**-15.Google Scholar - Bohner M, Peterson A:
*Dynamic Equations on Time Scales*. Birkhäuser, Boston, Mass, USA; 2001:x+358.View ArticleMATHGoogle Scholar - Hilger S:
*Ein Makettenkalkül mit Anwendung auf Zentrumsmannigfaltigkeiten*. Universität Würzburg, Würzburg, Germany; 1998.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. 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.