On Nonuniform Polynomial Trichotomy of Linear Discrete-Time Systems in Banach Spaces

We study two nonuniform polynomial trichotomy concepts for linear 
discrete-time systems in Banach spaces. Our main objective is to give summation property for 
nonuniform polynomial trichotomies. As for applications we obtain characterization of these 
concepts in terms of Lyapunov functions.


Introduction
In the mathematical literature of the last decades, the asymptotic behaviors of solutions of evolution equations in finite and infinite dimensional spaces have proved to be a research area of large intensity.A number of long standing open problems have recently been solved and the theory seems to have obtained a certain degree of maturity.Some concepts of the asymptotic behaviors were defined and developed, such as stability, expansivity, dichotomy, and trichotomy (see [1][2][3][4][5][6][7][8][9][10][11][12][13][14] and the references therein), based on the fact that the dynamical systems which describe processes from economics, physical sciences, or engineering are extremely complex and the identification of the proper mathematical model is difficult.
The conception of trichotomy firstly arose in the works of Sacker and Sell [7] in 1976.They described trichotomy for linear differential systems by linear skew-product flows.Later, Elaydi and Hájek [11,12] gave the notions of exponential trichotomy for differential systems and for nonlinear differential systems, respectively.The case of difference equations received special attention in the paper of Elaydi and Janglajew [13] where the authors deduced the first input-output criteria for exponential trichotomy, and they introduced the first nonlinear discrete concepts of exponential trichotomy.
As a natural generalization of exponential dichotomy (firstly introduced by Perron in [6]), exponential trichotomy (see [4,9,14] and the references therein) is one of the most complex asymptotic properties of dynamical systems arising from the central manifold theory.Exponential trichotomy is a powerful tool for analyzing the asymptotic behavior of dynamical systems.In the study of the trichotomy, the main idea is to obtain a decomposition of the space at every moment into three closed subspaces: the stable subspace, the unstable subspace, and the center manifold (see [8]).Thus, with motivation from the properties arising in bifurcation theory, a new asymptotic concept called exponential trichotomy which reflects a deeper analysis of the behavior of solutions of dynamical systems is introduced, and Barreira and Valls found that each nonautonomous system could generalize a family of Lyapunov functions (see [10]).
The existence of exponential trichotomies is a strong requirement and hence it is of considerable interest to look for more general types of trichotomic behaviors.Recently, a notion of nonuniform polynomial dichotomy was introduced independently by Barreira and Valls in [1] and Bento and Silva in [2] in somewhat distinct forms, respectively, in the case of continuous and discrete-time systems.Ramneant ¸u et al. had offered some integral properties for nonuniform polynomial dichotomy in [3].In this case the rates of contraction and expansion vary polynomially.The same as dichotomy, we would like to obtain some properties of polynomial trichotomy.In this paper we investigate two nonuniform polynomial trichotomy concepts for the general case of linear discrete-time system in Banach spaces.The case of uniform polynomial trichotomy has been discussed by Ramneant ¸u in [5].Our approach is based on the extension of exponential trichotomy to the case of polynomial trichotomy.

Preliminaries
Let  be a real or complex Banach space.The norm on  and on B(), the Banach algebra of all bounded linear operators acting on , will be denoted by ‖ ⋅ ‖.We denote Δ = {(, ) ∈ N 2 ,  ≥ } and  = {(, , ) ∈ N 3 ,  ≥  ≥ }.Let F be the set of all nondecreasing functions  : R + → R + with the properties (0) = 0 and () > 0 for every  > 0. Let  be the identity operator on .
In the present paper we consider linear discrete-time system of difference equations where  : N → B() is a sequence in B().Then every solution  = {  } of the system (1) is given by for all (, ) ∈ Δ, where the mapping  : Δ → B() is defined by It is easy to see that (, )(, ) = (, ), for all (, , ) ∈ .
For the particular case when (1) is autonomous, that is, () =  ∈ B() for all  ∈ N, then (, ) =  − for all (, ) ∈ Δ. Definition 1.An application  : N → B() is said to be a projection family on  if for all  ∈ N.
We denote that system (1) is nonuniform trichotomy if there exist a nondecreasing sequence of real numbers  : for all (, , ) ∈ Δ × .
Definition 5.The linear discrete-time system ( 1) is said to be nonuniformly exponentially trichotomic if there exist three projection families {  } ∈{1,2,3} compatible with the system (1), a nondecreasing sequence of real numbers  : for all (, , ) ∈ Δ × .Remark 6.It is obvious that if the system (1) is uniformly exponentially trichotomic then it is nonuniformly exponentially trichotomic.But the converse statement is not necessarily valid.Song et al. had ordered a counter example (in [9]) to illustrate the converse statement.

Journal of Applied Mathematics 3
Ramneant ¸u had shown an example for u.p.t in [5].Definition 8.The linear discrete-time system (1) is said to be nonuniformly polynomially trichotomic if there exist three projection families {  } ∈{1,2,3} compatible with the system (1), a nondecreasing sequence of real numbers  : (II) For  2 =  3 = 0, the property of nonuniform polynomial stability is obtained.It follows that a nonuniformly polynomial stable linear discrete-time system is nonuniformly polynomially dichotomic and, further, nonuniformly polynomial trichotomic.
(III) For  1 =  3 = 0, we obtain the property of nonuniform polynomial expansivity.Also it is easy to see that the property of nonuniform polynomial expansivity implies the nonuniform polynomial dichotomy and, further, the nonuniform polynomial trichotomy.
Remark 11.It is obvious that if the system (1) is uniformly polynomially trichotomic then it is nonuniformly polynomially trichotomic.But the converse statement is not necessarily valid.This fact is illustrated by the following example.
We consider the application We have the property for all (, , ) ∈ Δ × , () =   2 , and If we suppose that system (1) is u.p.t, then there are constants  ≥ 1 and  > 1, such that Then for  =  and  = 3 + 1 we obtain which for  → ∞ gives a contradiction and hence system (1) is not u.p.t.

The Main Results
Theorem 13.
Remark 14.It is obvious that if the nonuniform trichotomy system (1) is nonuniformly exponentially trichotomic, then it is nonuniformly polynomially trichotomic, which means polynomial sense is more wide than the exponent's.