The Equivalence of Datko and Lyapunov Properties for (<svg xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg" style="vertical-align:-2.081pt" id="M1" height="14.3416pt" version="1.1" viewBox="-0.0657574 -12.2606 24.4867 14.3416" width="24.4867pt"><g transform="matrix(.017,0,0,-0.017,0,0)"><path id="g113-105" d="M499 88L487 113C459 86 422 65 413 65C403 65 403 74 409 98L461 318C487 426 460 448 431 448C408 448 383 441 352 424C305 398 223 344 157 257H155L243 674C249 702 249 712 240 712C227 712 170 680 87 673L82 648H117C155 648 162 644 150 590L23 -4L30 -12C55 -4 81 3 105 8C113 53 131 150 143 187C199 281 323 387 372 387C390 387 393 369 380 311L328 86C313 19 319 -12 347 -12C379 -12 442 24 499 88Z"/></g><g transform="matrix(.017,0,0,-0.017,8.855,0)"><path id="g113-45" d="M95 130C70 130 46 113 46 88C46 72 54 64 59 64C93 55 121 33 121 -3C121 -41 93 -68 44 -88L55 -117C117 -98 186 -56 186 22C186 91 131 130 95 130Z"/></g><g transform="matrix(.017,0,0,-0.017,15.643,0)"><path id="g113-108" d="M480 416C480 431 465 448 438 448C388 448 312 383 252 330C217 299 188 273 155 237H153L257 680C262 700 263 712 253 712C240 712 183 684 97 674L92 648L126 647C166 646 172 645 163 606L23 -6L29 -12C51 -5 77 2 107 8C115 62 130 128 142 180C153 193 179 220 204 241C231 170 259 106 288 54C317 0 336 -12 358 -12C381 -12 423 2 477 80L460 100C434 74 408 54 398 54C385 54 374 65 351 107C326 154 282 241 263 299C296 332 351 377 403 377C424 377 436 372 445 368C449 366 456 368 462 375C472 386 480 402 480 416Z"/></g></svg>)-Trichotomic Linear Discrete-Time Systems

Mihiţ, Claudia-Luminiţa; Megan, Mihail; Ceauşu, Traian

doi:https://doi.org/10.1155/2016/3760262

Discrete Dynamics in Nature and Society

On this page

Abstract Introduction References Copyright Related Articles

Research Article | Open Access

Volume 2016 | Article ID 3760262 | https://doi.org/10.1155/2016/3760262

The Equivalence of Datko and Lyapunov Properties for ()-Trichotomic Linear Discrete-Time Systems

Claudia-Luminiţa Mihiţ,¹Mihail Megan,^1,2and Traian Ceauşu¹

Academic Editor: Allan C. Peterson

Received22 Jul 2015

Accepted26 Jan 2016

Published18 Feb 2016

Abstract

The aim of this paper is to characterize a general property of -trichotomy through some Lyapunov functions for linear discrete-time systems in infinite dimensional spaces. Also, we apply the results to illustrate necessary and sufficient conditions for nonuniform exponential trichotomy and nonuniform polynomial trichotomy.

1. Introduction

In the last few years an important development has been made in the field of the asymptotic behaviors of dynamical systems. Among the most important asymptotic behaviors studied, we mention the properties of stability, dichotomy, and trichotomy (see [1–14] and the references therein).

A remarkable characterization for the stability property of continuous dynamical systems was proved by Datko in 1972 (see [8]) and later, Przyłuski and Rolewicz obtain in [15] a similar result for discrete-time systems. This was a starting point for the development of the area and the results were extended to the dichotomy case in [16, 17].

An important generalization of the dichotomy concept (approached in various manners in [2, 3, 6, 18]) is the notion of trichotomy, the most complex asymptotic property of dynamical systems. The trichotomy supposes the splitting of the state space, at any moment, into three subspaces: the stable subspace, the unstable subspace, and the central subspace.

The concept of (exponential) trichotomy was introduced by Elaydi and Hajek (see [9, 10]) for nonlinear differential equations and later, the case of difference equations is treated by Elaydi and Janglajew in [11]. Also, important contributions on the line of trichotomy in discrete-time are due to Cuevas and Vidal [7], López-Fenner and Pinto [13], Megan and Stoica [19, 20], Papaschinopoulos [21], and Popa et al. [22].

In [23], A. L. Sasu and B. Sasu propose an interesting technique for exponential trichotomy of difference equations, the admissibility technique, and in [24] the authors obtain for the first time nonlinear conditions for the exponential trichotomy in infinite dimensional spaces.

The Lyapunov functions represent an important tool in the study of the asymptotic properties of dynamical systems (see, e.g., [4, 5, 25, 26]).

The objective of this paper is to approach the general concept of -trichotomy, where and are growth rates, for linear discrete-time systems in Banach spaces and as particular cases we deduce the results for (nonuniform) exponential trichotomy and (nonuniform) polynomial trichotomy.

Also, we obtain necessary and sufficient conditions for a general concept of -trichotomy (called -trichotomy of Datko type) and the main result is the characterization of this concept of trichotomy in terms of Lyapunov functions.

The results are applied to illustrate criteria through the Lyapunov functions for nonuniform exponential trichotomy and nonuniform polynomial trichotomy.

2. Growth Rates

Definition 1. An increasing sequence , is called a growth rate if

Definition 2. One says that the growth rate satisfies hypothesis if there exist a growth rate and such that(H₁) (H₂) for all , .
Now, we present some examples of growth rates which satisfy hypothesis

Example 3. Let , , and ; is a growth rate with(H₁) (H₂) for all ,

Example 4. If with , then with is a growth rate which satisfies the following:(H₁) (H₂)for all ,

Example 5. Let with and Then with , is a growth rate with the following properties:(H₁) (H₂)for all ,

3. -Trichotomy

Let be a real or complex Banach space and the Banach algebra of all bounded linear operators on . represents the identity operator on and the norms on and on will be denoted by . Also, where is the set of nonnegative integers.

We consider the linear discrete-time system with ,

Every solution of is given byfor all , where

Remark 6. We observe that for all

Definition 7. A sequence , is called a projections sequence on if for all

Definition 8. One says that is a family of (i)supplementary projections sequences if(s₁)(s₂) (ii)invariant projections sequences for ifIn what follows, we consider two growth rates and a pair , where is a family of supplementary and invariant projections sequences for .

Definition 9. The pair is called -trichotomic if there exists a nondecreasing sequence , , such that (ht₁) (ht₂) (kt₃)(kt₄) for all .
In the particular case when is a constant sequence, is called uniformly -trichotomic.

As particular cases of -trichotomy we remark the following:(i)if , with we obtain the concept of (nonuniform) exponential trichotomy and if is constant it results in the property of uniform exponential trichotomy;(ii)if , with we recover the concept of (nonuniform) polynomial trichotomy and if is constant it results in the property of uniform polynomial trichotomy;(iii)if for all it results in the notion of -dichotomy, nonuniform exponential dichotomy (for , , uniform exponential dichotomy (for , , and constant), nonuniform polynomial dichotomy (for , ), and uniform polynomial dichotomy (for , , and constant).

We give a general example of a pair which is -trichotomic.

Example 10. Let and be two growth rates and a nondecreasing sequence of positive real numbers, .
Let be a family of supplementary projections sequences with Linear discrete-time system , defined by verifies the relation Then for all .
For all the following properties hold: (i) (ii) (iii) (iv)and we deduce that the pair is -trichotomic.

Remark 11. It is obvious that if the pair is uniformly -trichotomic then it is also -trichotomic. In the following example we show that the converse implication is not valid.

Example 12. We consider a family of supplementary projections sequences with the property Linear discrete-time system is given by where and and is a periodic sequence.
We have that is invariant for and for all .
A simple computation shows that for , with , , and the pair is -trichotomic.
If we suppose that is uniformly -trichotomic, then, for , , , , and , we obtain which is a contradiction.

4. -Trichotomy of Datko Type

Let be a growth rate which satisfies hypothesis and let be a growth rate given by Definition 2.

We consider a pair , where is a family of supplementary and invariant projections sequences for .

The following result emphasizes a necessary condition for -trichotomy.

Theorem 13. If is -trichotomic and satisfies hypothesis then there exist a growth rate and a nondecreasing sequence , , such that

Proof. It is easy to see that, for where , are given by Definition 2, and , are given by Definition 9, relations , , , and are satisfied.

A necessary condition for polynomial trichotomy is represented by the following.

Corollary 14. If the pair is polynomially trichotomic, then there are a nondecreasing sequence , , and two constants such that

Proof. It results from Theorem 13.

Definition 15. One says that the pair admits a -trichotomy of Datko type if there exists a nondecreasing sequence with such that

As particular cases, we mention the following:(i)if with and with we obtain the notion of exponential trichotomy of Datko type;(ii)if with and with we recover the concept of polynomial trichotomy of Datko type.

Remark 16. Theorem 13 emphasizes that if , are two growth rates, satisfies hypothesis , and the pair is -trichotomic, then admits a -trichotomy of Datko type.

Theorem 17. If the pair admits a -trichotomy of Datko type, then is -trichotomic.

Proof. Using condition we obtain Similarly, by for we have Obviously, the relation is valid for .
Inequality implies that By (for ) we deduce and the inequality is verified for
So, the pair is -trichotomic.

Corollary 18. If there exist two constants and a nondecreasing sequence , , such that conditions and ( and , resp.) from Corollary 14 are fulfilled for all (for all , resp.) with then is polynomially trichotomic.

Proof. It results from Theorem 17 for with and , with .

The following result represents a characterization for the exponential trichotomy.

Corollary 19. The pair is exponentially trichotomic if and only if there exist the constants and a nondecreasing sequence , , with the following properties:

Proof.
Necessity. It is a particular case of Theorem 13 for Sufficiency. Using Theorem 17, for and we obtain that is exponentially trichotomic.

Remark 20. The previous result shows that the exponential trichotomy and the exponential trichotomy of Datko type are equivalent.

5. Lyapunov Functions for -Trichotomy

Throughout this section, , represent two growth rates, is a linear discrete-time system, and is a family of supplementary and invariant projections sequences for

Definition 21. Two mappings are called -Lyapunov functions for the pair if there exists a nondecreasing sequence , , such that for all with and for all .

In particular, if(i), with , , with then the -Lyapunov functions are called exponential Lyapunov functions;(ii), with , , with then the -Lyapunov functions are called polynomial Lyapunov functions.

Example 22. On , the Banach space of bounded real-valued sequences, endowed with the norm we consider , with where represents the characteristic function of set
Also, linear discrete-time system is defined by and we have that for all
For the growth rates and we define the exponential Lyapunov functions: After some computations, we obtain that for the mappings and are exponential Lyapunov functions for the pair

In the following, we give a characterization for the -trichotomy of Datko type in terms of -Lyapunov functions.

Theorem 23. The pair admits a -trichotomy of Datko type if and only if there exist two -Lyapunov functions for .

Proof.
Necessity. Let , defined by respectively. Then for all with and for all .

Sufficiency. From , for we obtain and for it results in condition .

For in we deduce for all .

Putting in we obtain and for it results in .

By condition it follows for all .

Thus, it results in that admits a -trichotomy of Datko type.

A sufficient condition for -trichotomy given through the Lyapunov functions is as follows.

Corollary 24. If there exist two -Lyapunov functions for the pair , then is -trichotomic.

Proof. It is obtained from Theorems 17 and 23.

Corollary 25. Let , be two growth rates such that satisfies hypothesis . If is -trichotomic then there exist two -Lyapunov functions for , where , are the growth rates given by Definition 2 (Theorem 13, resp.).

Proof. It is immediate by Remark 16 and Theorem 23.

An important characterization for the exponential trichotomy in terms of Lyapunov functions is represented by the following.

Corollary 26. The pair is exponentially trichotomic if and only if there exist , two exponential Lyapunov functions for .

Proof. It results by Remark 20 and Theorem 23.

Corollary 27. If is polynomially trichotomic, then there exist , polynomial Lyapunov functions for .

Proof. It is a consequence of Corollary 25.

Corollary 28. If there exist two -Lyapunov functions for the pair , where then is polynomially trichotomic.

Proof. It results from Theorems 17 and 23 for

Conflict of Interests

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

References

A. I. Alonso, J. Hong, and R. Obaya, “Exponential dichotomy and trichotomy for difference equations,” Computers & Mathematics with Applications, vol. 38, no. 1, pp. 41–49, 1999.
View at: Publisher Site | Google Scholar | MathSciNet
M.-G. Babuţia, M. I. Kovács, M. Lăpădat, and M. Megan, “Discrete $(h, k)$ -dichotomy and remarks on the boundedness of the projections,” Journal of Operators, vol. 2014, Article ID 196345, 6 pages, 2014.
View at: Publisher Site | Google Scholar
M. G. Babuţia, M. Megan, and I. L. Popa, “On (h, k)-dichotomies for nonautonomous linear difference equations in Banach spaces,” International Journal of Differential Equations, vol. 2013, Article ID 761680, 7 pages, 2013.
View at: Publisher Site | Google Scholar
L. Barreira and C. Valls, “Lyapunov functions for trichotomies with growth rates,” Journal of Differential Equations, vol. 248, no. 1, pp. 151–183, 2010.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
L. Barreira and C. Valls, “Lyapunov sequences for exponential trichotomies,” Nonlinear Analysis: Theory, Methods & Applications, vol. 72, no. 1, pp. 192–203, 2010.
View at: Publisher Site | Google Scholar | MathSciNet
A. J. G. Bento and C. M. Silva, “Nonuniform $(μ, ν)$ -dichotomies and local dynamics of difference equations,” Nonlinear Analysis: Theory, Methods & Applications, vol. 75, no. 1, pp. 78–90, 2012.
View at: Publisher Site | Google Scholar
C. Cuevas and C. Vidal, “Weighted exponential trichotomy of linear difference equations,” Dynamics of Continuous, Discrete & Impulsive Systems. Series A. Mathematical Analysis, vol. 15, no. 3, pp. 353–379, 2008.
View at: Google Scholar | MathSciNet
R. Datko, “Uniform asymptotic stability of evolutionary processes in a Banach space,” SIAM Journal on Mathematical Analysis, vol. 3, no. 3, pp. 428–445, 1972.
View at: Publisher Site | Google Scholar | MathSciNet
S. Elaydi and O. Hajek, “Exponential trichotomy of differential systems,” Journal of Mathematical Analysis and Applications, vol. 129, no. 2, pp. 362–374, 1988.
View at: Publisher Site | Google Scholar | MathSciNet
S. Elaydi and O. Hajek, “Exponential dichotomy and trichotomy of nonlinear differential equations,” Differential Integral Equations, vol. 3, no. 6, pp. 1201–1224, 1990.
View at: Google Scholar
S. Elaydi and K. Janglajew, “Dichotomy and trichotomy of difference equations,” Journal of Difference Equations and Applications, vol. 3, no. 5-6, pp. 417–448, 1998.
View at: Publisher Site | Google Scholar | MathSciNet
Z.-G. Li, X.-Q. Song, and X.-L. Yang, “On nonuniform polynomial trichotomy of linear discrete-time systems in Banach spaces,” Journal of Applied Mathematics, vol. 2014, Article ID 807265, 6 pages, 2014.
View at: Publisher Site | Google Scholar | MathSciNet
J. López-Fenner and M. Pinto, “ $(h, k)$ -Trichotomies and asymptotics of nonautonomous difference systems,” Computers & Mathematics with Applications, vol. 33, no. 10, pp. 105–124, 1997.
View at: Publisher Site | Google Scholar
M. Megan and L. Buliga, “Nonuniform exponential trichotomy for difference equations in Banach spaces,” Hot Topics in Operator Theory, Theta Series in Advanced Mathematics, vol. 9, pp. 151–158, 2008.
View at: Google Scholar
K. M. Przyłuski and S. Rolewicz, “On stability of linear time-varying infinite-dimensional discrete-time systems,” Systems & Control Letters, vol. 4, no. 5, pp. 307–315, 1984.
View at: Publisher Site | Google Scholar | MathSciNet
I.-L. Popa, M. Megan, and T. Ceauşu, “Exponential dichotomies for linear discrete-time systems in Banach spaces,” Applicable Analysis and Discrete Mathematics, vol. 6, no. 1, pp. 140–155, 2012.
View at: Publisher Site | Google Scholar | MathSciNet
P. Preda and M. Megan, “Exponential dichotomy of evolutionary processes in Banach spaces,” Czechoslovak Mathematical Journal, vol. 35, no. 110, pp. 312–323, 1985.
View at: Google Scholar
B. Sasu, “On exponential dichotomy of variational difference equations,” Discrete Dynamics in Nature and Society, vol. 2009, Article ID 324273, 18 pages, 2009.
View at: Publisher Site | Google Scholar | MathSciNet
M. Megan and C. Stoica, “On uniform exponential trichotomy of evolution operators in Banach spaces,” Integral Equations and Operator Theory, vol. 60, no. 4, pp. 499–506, 2008.
View at: Publisher Site | Google Scholar | MathSciNet
M. Megan and C. Stoica, “Trichotomy for discrete skew-evolution semiflows in Banach spaces,” Annals of the Tiberiu Popoviciu Seminar of Functional Equations, Approximation and Convexity, vol. 5, pp. 79–85, 2007.
View at: Google Scholar
G. Papaschinopoulos, “On exponential trichotomy of linear difference equations,” Applicable Analysis, vol. 40, no. 2-3, pp. 89–109, 1991.
View at: Publisher Site | Google Scholar | MathSciNet
I.-L. Popa, M. Megan, and T. Ceauşu, “On h-trichotomy of linear discrete-time systems in Banach spaces,” Acta Universitatis Apulensis, vol. 39, pp. 329–339, 2014.
View at: Google Scholar | MathSciNet
A. L. Sasu and B. Sasu, “Input-output admissibility and exponential trichotomy of difference equations,” Journal of Mathematical Analysis and Applications, vol. 380, no. 1, pp. 17–32, 2011.
View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet
B. Sasu and A. L. Sasu, “Nonlinear criteria for the existence of the exponential trichotomy in infinite dimensional spaces,” Nonlinear Analysis: Theory, Methods & Applications, vol. 74, no. 15, pp. 5097–5110, 2011.
View at: Publisher Site | Google Scholar | MathSciNet
G. Papaschinopoulos, “A characterization of exponential trichotomy via Lyapunov functions for difference equations,” Mathematica Japonica, vol. 37, no. 3, pp. 555–562, 1992.
View at: Google Scholar | MathSciNet
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.
View at: Publisher Site | Google Scholar | MathSciNet

Copyright

Copyright © 2016 Claudia-Luminiţa Mihiţ et al. 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.

PDF Download Citation

Download other formats

Order printed copies

Views

657

Downloads

758

Citations