Journal of Control Science and Engineering
Volume 2015 (2015), Article ID 185910, 7 pages
http://dx.doi.org/10.1155/2015/185910

Research Article

Nonuniform Polynomial Dichotomy for Noninvertible Linear Discrete-Time Systems in Banach Spaces

Tian Yue

School of Science, Hubei University of Automotive Technology, Shiyan, Hubei 442002, China

Received 27 May 2015; Accepted 6 August 2015

Academic Editor: Petko Petkov

Copyright © 2015 Tian Yue. 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 study three polynomial dichotomy concepts for linear discrete-time systems in Banach spaces. Our main objective is to give characterizations in terms of Lyapunov functions for nonuniform polynomial dichotomy of nonautonomous and noninvertible linear discrete-time systems.

1. Introduction

In recent years, an impressive progress has been made in the field of the asymptotic behaviors of solutions of evolution equations in finite- and infinite-dimensional spaces (see [1–8] and the references therein). Besides stability and instability, a special attention was devoted to the study of dichotomy of evolution equations. Since the existence problem of dichotomy of evolution equations is distinct compared to the studies devoted to stability and, respectively, to instability, dichotomy is a powerful tool when people analyze the asymptotic behavior of dynamical systems. The notion of (uniform) exponential dichotomy firstly introduced by Perron in [9] plays a central role in dynamics, particularly in the study of stable and unstable invariant manifolds, both for discrete and continuous time. In particular, there exist large classes of linear differential equations possessing exponential dichotomies. We refer to the books [10–12] for details and further references.

On the other hand, the notion of exponential dichotomy is too stringent for the dynamics and it is of considerable interest to look for more general types of dichotomic behaviors. The main reason is that from the point of view of ergodic theory almost all variational equations in a finite-dimensional space admit a nonuniform exponential dichotomy. Recently, a notion of nonuniform polynomial dichotomy was introduced independently by Barreira and Valls in [13] and Bento and Silva in [14] in somewhat distinct forms, respectively, in the case of continuous and discrete-time systems. Rămneanţu et al. had offered some integral properties for nonuniform polynomial dichotomy in [15]. In this case the rates of contraction and expansion vary polynomially.

In the spirit of the recent work of Popa et al. [16], this paper considers the general notion of nonuniform polynomial dichotomy for nonautonomous linear discrete-time systems in Banach spaces. The main objective is to give characterizations of nonuniform polynomial dichotomy in terms of Lyapunov functions for the general case of noninvertible linear discrete-time systems. Some simple examples are included to illustrate the connections between the dichotomy concepts considered in the present paper.

2. Notations and Preliminaries

Let be a real or complex Banach space and the Banach algebra of all bounded linear operators on . The norm on and on will be denoted by . The identity operator on is denoted by . We denote and . If , then we will denote by the kernel of and by the range of ; that is,

respectively.

In the present paper we consider the linear discrete-time system of difference equations:

where is a sequence in . If for every the operator is invertible, then the linear discrete-time system (3) is called reversible. Then every solution of system (3) is given by

for all , where the mapping is defined by

It is easy to see that , for all .

For the particular case when (3) is autonomous (i.e., for all ), then for all .

Definition 1 (see [16]). An application is said to be a projections sequence on if

for every .

Remark 2 (see [16]). If is a projections sequence on , then the mapping ,, is also a projections sequence on , which is called the complementary projections of . One can easily see that ,  , and for every .

Definition 3 (see [16]). A projections sequence is said to be invariant for system (3) if

for all .

Remark 4 (see [16]). The equality from Definition 3 also holds for the complementary projection and, as a consequence of the equality, we have that

for all .

Remark 5 (see [16]). If is a projections sequence invariant for the reversible system (3) then is invertible for all and

for all .

Definition 6 (see [16]). Let be a projections sequence which is invariant for system (3). One says that is strongly invariant for system (3) if for every the linear operator is an isomorphism from to .

Proposition 7 (see [16]). Let be a projections sequence which is invariant for system (3). Suppose that for all the evolution operator is injective on . Then is strongly invariant for system (3) if and only if for all .

In what follows, an example of an invariant projections sequence which is not strongly invariant is given.

Example 8. Let with the norm

and let (3) be the discrete-time system defined by the sequence

It is easy to see that the sequence defined by

is a projections sequence which is invariant for system (3). A simple calculus shows that

for all . We can see that the evolution operator is injective on . The sequence is not strongly invariant for (3) because and .

Proposition 9 (see [16]). If the projections sequence is strongly invariant for system (3) then there exists such that for all the evolution operator is an isomorphism from to .

Lemma 10 (see [16]). The function has the following properties:

(i),(ii),(iii),(iv),

for all .

Remark 11 (see [16]). If the projections sequence is invariant for the reversible system (3) then

for all .

3. Nonuniform Polynomial Dichotomies

In this section we study some polynomial dichotomy concepts of linear discrete-time system (3) with respect to a projections sequence invariant for (3).

Definition 12 (see [16]). One says that system (3) admits a nonuniform exponential dichotomy (n.e.d.) with respect to the projections sequence , if there exist a constant and a sequence such that the following properties hold:

for all and all .

Definition 13. One says that system (3) admits a nonuniform polynomial dichotomy (n.p.d.) with respect to the projections sequence , if there exist a constant and a sequence such that the following properties hold:

for all and all .

In the following we have some particular cases of nonuniform polynomial dichotomy.

(1)If for all then we say that system (3) is uniformly polynomially dichotomic (u.p.d).(2)If with and then we say that system (3) is polynomially dichotomic (p.d).

Remark 14. The linear discrete-time system (3) is nonuniformly polynomially dichotomic if and only if a constant and a sequence exist such that

for all and all .

Remark 15. It is obvious that if the linear discrete-time system (3) is nonuniformly exponentially dichotomic with then it is nonuniformly polynomially dichotomic. But the converse statement is not necessarily valid. This fact is illustrated by the following example.

Example 16. Let and defined by

for all . Let us consider the projections sequences defined by

for all and all . We have that

Then

for all . Thus Definition 13 is satisfied for and ; hence system (3) is nonuniformly polynomially dichotomic.
On the other hand, if we suppose that system (3) is nonuniformly exponentially dichotomic, then there exist and a sequence such that

for all . In particular, for , we obtain

which is absurd for . Hence system (3) is not nonuniformly exponentially dichotomic.

Remark 17. It is obvious that

The following two examples show that the converse implications between these dichotomy concepts are not valid.

Example 18. Let and defined by

for all . Let and for all and all . Consider ,

for every .
Thus we have that the following inequalities hold:

for all , where . Hence system (3) is nonuniformly polynomially dichotomic.
On the other hand, if we suppose that system (3) is polynomially dichotomic, then there exist constants ,  , and such that

for all . In particular, for and , we obtain

which is absurd for . Hence system (3) is not polynomially dichotomic.

Example 19. Let and defined by

for all , where the sequences , are given by

Let us consider the projections sequences defined by

for all and all . We have that

Then

for all . Thus system (3) is polynomially dichotomic for and .
On the other hand, if we suppose that system (3) is uniformly polynomially dichotomic, then there exist and such that

for all . In particular, for and ,, we obtain that

which is false for . Hence system (3) is not uniformly polynomially dichotomic.

Proposition 20. The reversible system (3) is nonuniformly polynomially dichotomic if and only if there exist a projections sequence invariant for (3), a constant , and a sequence such that

for all and all .

Proof. It is sufficient to prove (17) (39).
Necessity: if relation (17) holds then for all we have

Sufficiency: from (39) it results that for all we have

A characterization of nonuniform polynomial dichotomy property with respect to strongly invariant projections sequence is given by the following.

Theorem 21. Let be a projections sequence which is strongly invariant for system (3). Then (3) is nonuniformly polynomially dichotomic with respect to if and only if there exist a constant and a sequence such that

for all and all .

Proof. It is sufficient to prove (17)(43).
Necessity: from relation (17) and Lemma 10, we have

for all .
Sufficiency: from relation (43) and Lemma 10, we obtain

for all .

Remark 22. Proposition 20 and Theorem 21 are some versions of the classical nonuniform exponential dichotomy theorems due to Popa et al. [16], for nonuniform polynomial dichotomy of the linear discrete-time system (3).

4. Lyapunov Functions and Nonuniform Polynomial Dichotomies

Let (3) be a linear discrete-time system on a Banach space and let be a projections sequence which is invariant for (3).

Definition 23. One says that is a Lyapunov function for system (3) with respect to projections sequence if there exists a constant such that the following properties hold:

for all and and

for all and .

Theorem 24. If the linear discrete-time system (3) is nonuniformly polynomially dichotomic with respect to the projections sequence invariant for (3), then there are a Lyapunov function for (3) and a sequence such that

for all and all .

Proof. Suppose that system (3) is nonuniformly polynomially dichotomic with respect to the projections sequence . We consider the application by

where and is given by Definition 13. With a simple verification, we have that is a Lyapunov function for system (3) with respect to projections sequence .
For we have that

where for all .
On the other hand, for we have that

Thus, the proof is completed.

Theorem 25. If there exist a Lyapunov function with for system (3) and a sequence such that relation (48) holds for all and all , then system (3) is nonuniformly polynomially dichotomic.

Proof. According to the hypothesis, from (46) and (48) for we have that

If we consider then

In a similar way, from (47) and (48) for we have that

Considering , then

Thus Definition 13 is satisfied for and ; hence system (3) is nonuniformly polynomial dichotomic.

Conflict of Interests

The author declares that there is no conflict of interests.

Acknowledgments

The author would like to thank the referee for helpful suggestions and comments. This work was supported by the Natural Science Foundation of Hubei Province under Grant no. 2014CFB629, China.

References

I.-L. Popa, T. Ceauşu, and M. Megan, “On exponential stability for linear discrete-time systems in Banach spaces,” Computers & Mathematics with Applications, vol. 63, no. 11, pp. 1497–1503, 2012.

I.-L. Popa, T. Ceauşu, and M. Megan, “Nonuniform power instability and Lyapunov sequences,” Applied Mathematics and Computation, vol. 247, pp. 969–975, 2014.

I.-L. Popa, M. Megan, and T. Ceau̧su, “Exponential dichotomies for linear discrete-time systems in Banach spaces,” Applicable Analysis and Discrete Mathematics, vol. 6, no. 1, pp. 140–155, 2012.

N. Lupa and M. Megan, “Exponential dichotomies of evolution operators in Banach spaces,” Monatshefte für Mathematik, vol. 174, no. 2, pp. 265–284, 2014.

L. Barreira and C. Valls, “Lyapunov sequences for exponential dichotomies,” Journal of Differential Equations, vol. 246, no. 1, pp. 183–215, 2009.

B. Sasu and A. L. Sasu, “On the dichotomic behavior of discrete dynamical systems on the half-line,” Discrete and Continuous Dynamical Systems, vol. 33, no. 7, pp. 3057–3084, 2013.

B. Sasu, “On exponential dichotomy of variational difference equations,” Discrete Dynamics in Nature and Society, vol. 2009, Article ID 324273, 18 pages, 2009.

B. Sasu, “On dichotomous behavior of variational difference equations and applications,” Discrete Dynamics in Nature and Society, vol. 2009, Article ID 140369, 16 pages, 2009.

O. Perron, “Die stabilitätsfrage bei differentialgleichungen,” Mathematische Zeitschrift, vol. 32, no. 1, pp. 703–728, 1930.

L. Barreira and C. Valls, Stability of Nonautonomous Differential Equations, Springer, Berlin, Germany, 2008.

G. Sell and Y. You, Dynamics of Evolutionary Equations, Springer, Berlin, Germany, 2002.

W. A. Coppel, Dichotomies in Stability Theory, Springer, Berlin, Germany, 1978.

L. Barreira and C. Valls, “Polynomial growth rates,” Nonlinear Analysis, Theory, Methods and Applications, vol. 71, no. 11, pp. 5208–5219, 2009.

A. J. G. Bento and C. Silva, “Stable manifolds for nonuniform polynomial dichotomies,” Journal of Functional Analysis, vol. 257, no. 1, pp. 122–148, 2009.

M. L. Rămneanţu, T. Ceauşu, and M. Megan, “On nonuniform polynomial dichotomy of evolution operators in Banach spaces,” International Journal of Pure and Applied Mathematics, vol. 75, no. 3, pp. 305–318, 2012.

I.-L. Popa, M. Megan, and T. Ceauşu, “Nonuniform exponential dichotomies in terms of Lyapunov functions for noninvertible linear discrete-time systems,” The Scientific World Journal, vol. 2013, Article ID 901026, 7 pages, 2013.