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

Authors: Tian Yue
Journal: Journal of Control Science and Engineering
 (2015)

---

## 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.


---

## Body

## 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

LetX be a real or complex Banach space and B
(
X
) the Banach algebra of all bounded linear operators on X. The norm on X and on B
(
X
) will be denoted by ·. The identity operator on X is denoted by I. We denote Δ
=
{
(
m
,
n
)
∈
N
2
,
m
≥
n
} and T
=
{
(
m
,
r
,
n
)
∈
N
3
,
m
≥
r
≥
n
}. If T
∈
B
(
X
), then we will denote by Ker
⁡
T the kernel of T and by Im
⁡
T the range of T; that is, (1)
Ker
⁡
T
=
x
∈
X
:
T
x
=
0
,
(2)
Im
⁡
T
=
T
x
:
x
∈
X
,respectively.In the present paper we consider the linear discrete-time system of difference equations:(3)
x
n
+
1
=
A
n
x
n
,
n
∈
N
,where A
:
N
→
B
(
X
) is a sequence in B
(
X
). If for every n
∈
N the operator (
A
n
) is invertible, then the linear discrete-time system (3) is called reversible. Then every solution x
=
(
x
n
) of system (3) is given by (4)
x
m
=
A
m
,
n
x
nfor all (
m
,
n
)
∈
Δ, where the mapping A
:
Δ
→
B
(
X
) is defined by (5)
A
m
,
n
≔
I
,
m
=
n
,
A
m
-
1
⋯
A
n
,
m
>
n
.It is easy to see that A
(
m
,
r
)
A
(
r
,
n
)
=
A
(
m
,
n
), for all (
m
,
r
,
n
)
∈
T.For the particular case when (3) is autonomous (i.e., A
n
=
A
∈
B
(
X
) for all n
∈
N), then A
(
m
,
n
)
=
A
m
-
n for all (
m
,
n
)
∈
Δ.Definition 1 (see [16]).
An applicationP
:
N
→
B
(
X
) is said to be a projections sequence on X if (6)
P
n
2
=
P
n
,for every n
∈
N.Remark 2 (see [16]).
If(
P
n
) is a projections sequence on X, then the mapping Q
:
N
→
B
(
X
),Q
n
=
I
-
P
n, is also a projections sequence on X, which is called the complementary projections of (
P
n
). One can easily see that P
n
Q
n
=
Q
n
P
n
=
0,  Ker
⁡
P
n
=
Im
⁡
Q
n, and Ker
⁡
Q
n
=
Im
⁡
P
n for every n
∈
N.Definition 3 (see [16]).
A projections sequence(
P
n
) is said to be invariant for system (3) if (7)
A
n
P
n
=
P
n
+
1
A
n
,for all n
∈
N.Remark 4 (see [16]).
The equality from Definition3 also holds for the complementary projection (
Q
n
) and, as a consequence of the equality, we have that (8)
A
m
,
n
P
n
=
P
m
A
m
,
n
,
A
m
,
n
Q
n
=
Q
m
A
m
,
nfor all (
m
,
n
)
∈
Δ.Remark 5 (see [16]).
If(
P
n
) is a projections sequence invariant for the reversible system (3) then A
(
m
,
n
) is invertible for all (
m
,
n
)
∈
N
2 and (9)
A
m
,
n
-
1
P
m
=
P
n
A
m
,
n
-
1
,
A
m
,
n
-
1
Q
m
=
Q
n
A
m
,
n
-
1
,for all (
m
,
n
)
∈
Δ.Definition 6 (see [16]).
Let(
P
n
) be a projections sequence which is invariant for system (3). One says that (
P
n
) is strongly invariant for system (3) if for every (
m
,
n
)
∈
Δ the linear operator A
(
m
,
n
) is an isomorphism from Ker
⁡
P
n to Ker
⁡
P
m.Proposition 7 (see [16]).
Let(
P
n
) be a projections sequence which is invariant for system (3). Suppose that for all (
m
,
n
)
∈
Δ the evolution operator A
(
m
,
n
) is injective on Ker
⁡
P
n. Then (
P
n
) is strongly invariant for system (3) if and only if Ker
⁡
P
m
⊂
Im
⁡
A
(
m
,
n
) for all (
m
,
n
)
∈
Δ.In what follows, an example of an invariant projections sequence which is not strongly invariant is given.Example 8.
LetX
=
R
3 with the norm (10)
x
1
,
x
2
,
x
3
=
x
1
+
x
2
+
x
3and let (3) be the discrete-time system defined by the sequence (11)
A
n
x
1
,
x
2
,
x
3
=
x
1
,
0
,
x
3
,
n
=
0
,
n
+
1
n
+
2
2
x
1
,
n
+
1
n
+
2
2
x
2
,
n
+
2
n
+
1
2
x
3
,
n
≥
1
.It is easy to see that the sequence (
P
n
) defined by (12)
P
n
x
1
,
x
2
,
x
3
=
x
1
,
x
2
,
0
,
n
=
0
,
x
1
+
1
n
+
1
2
x
2
,
0,0
,
n
≥
1
,is a projections sequence which is invariant for system (3). A simple calculus shows that (13)
A
m
,
n
x
1
,
x
2
,
x
3
=
2
m
+
1
2
x
1
,
0
,
m
+
1
2
2
x
3
,
m
>
n
=
0
,
n
+
1
m
+
1
2
x
1
,
n
+
1
m
+
1
2
x
2
,
m
+
1
n
+
1
2
x
3
,
m
≥
n
≥
1
or
m
=
n
=
0for all (
m
,
n
)
∈
Δ. We can see that the evolution operator A
(
m
,
n
) is injective on Ker
⁡
P
n. The sequence (
P
n
) is not strongly invariant for (3) because y
=
(
1
,
-
9,0
)
∈
Ker
⁡
P
2 and y
∉
Im
⁡
A
(
2,0
).Proposition 9 (see [16]).
If the projections sequence(
P
n
) is strongly invariant for system (3) then there exists B
:
Δ
→
B
(
X
) such that for all (
m
,
n
)
∈
Δ the evolution operator B
(
m
,
n
) is an isomorphism from Ker
⁡
P
m to Ker
⁡
P
n.Lemma 10 (see [16]).
The functionB
:
Δ
→
B
(
X
) has the following properties:(i)
A
(
m
,
n
)
B
(
m
,
n
)
Q
m
=
Q
m,
(ii)
B
(
m
,
n
)
A
(
m
,
n
)
Q
n
=
Q
n,
(iii)
B
(
m
,
n
)
Q
m
=
Q
n
B
(
m
,
n
)
Q
m,
(iv)
Q
m
=
B
(
m
,
m
)
Q
m
=
Q
m
B
(
m
,
m
)
Q
m,for all (
m
,
n
)
∈
Δ.Remark 11 (see [16]).
If the projections sequence(
P
n
) is invariant for the reversible system (3) then (14)
B
m
,
n
=
A
m
,
n
-
1for all (
m
,
n
)
∈
Δ.


## 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 (
P
n
) 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 (
P
n
), if there exist a constant α
>
0 and a sequence H
:
N
→
[
1
,
+
∞
) such that the following properties hold: (15)
e
α
m
-
n
A
m
,
n
x
≤
H
n
x
,
e
α
m
-
n
y
≤
H
m
A
m
,
n
x
,for all (
m
,
n
)
∈
Δ and all (
x
,
y
)
∈
Im
⁡
P
n
×
Ker
⁡
P
n.Definition 13.
One says that system (3) admits a nonuniform polynomial dichotomy (n.p.d.) with respect to the projections sequence (
P
n
), if there exist a constant α
>
1 and a sequence D
:
N
→
[
1
,
+
∞
) such that the following properties hold: (16)
m
+
1
n
+
1
α
A
m
,
n
x
≤
D
n
x
,
(17)
m
+
1
n
+
1
α
y
≤
D
m
A
m
,
n
y
,for all (
m
,
n
)
∈
Δ and all (
x
,
y
)
∈
Im
⁡
P
n
×
Ker
⁡
P
n.In the following we have some particular cases of nonuniform polynomial dichotomy.(1)
IfD
(
n
)
=
D
≥
1 for all n
∈
N then we say that system (3) is uniformly polynomially dichotomic (u.p.d).
(2)
IfD
(
n
)
=
D
(
n
+
1
)
β with D
≥
1 and β
>
0 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 α
>
1 and a sequence D
:
N
→
[
1
,
+
∞
) exist such that (18)
m
+
1
n
+
1
α
A
m
,
k
x
+
A
n
,
k
y
≤
D
n
A
n
,
k
x
+
D
m
A
m
,
k
yfor all (
m
,
n
,
k
)
∈
T and all (
x
,
y
)
∈
Im
⁡
P
n
×
Ker
⁡
P
n.Remark 15.
It is obvious that if the linear discrete-time system (3) is nonuniformly exponentially dichotomic with α
>
1 then it is nonuniformly polynomially dichotomic. But the converse statement is not necessarily valid. This fact is illustrated by the following example.Example 16.
LetX
=
R
2 and A
:
N
→
B
(
R
2
) defined by (19)
A
n
x
1
,
x
2
=
n
2
+
1
n
+
1
2
+
1
x
1
,
n
+
1
2
+
1
n
2
+
1
x
2for all (
n
,
x
1
,
x
2
)
∈
N
×
R
2. Let us consider the projections sequences P
,
Q
:
N
→
B
(
R
2
) defined by (20)
P
n
x
1
,
x
2
=
x
1
,
0
,
Q
n
x
1
,
x
2
=
0
,
x
2for all n
∈
N and all x
=
(
x
1
,
x
2
)
∈
X. We have that (21)
A
m
,
n
P
n
x
1
,
x
2
=
n
2
+
1
m
2
+
1
x
1
,
0
,
A
m
,
n
Q
n
x
1
,
x
2
=
0
,
m
2
+
1
n
2
+
1
x
2
.Then(22)
m
+
1
n
+
1
2
A
m
,
n
P
n
x
+
Q
n
x
=
m
+
1
2
m
2
+
1
n
2
+
1
n
+
1
2
P
n
x
+
m
+
1
n
+
1
2
Q
n
x
≤
2
P
n
x
+
m
2
+
1
n
2
+
1
Q
n
x
≤
2
n
+
1
P
n
x
+
2
m
+
1
A
m
,
n
Q
n
xfor all (
m
,
n
,
x
)
∈
Δ
×
R
2. Thus Definition 13 is satisfied for D
(
n
)
=
2
n
+
1 and α
=
2; hence system (3) is nonuniformly polynomially dichotomic.
On the other hand, if we suppose that system (3) is nonuniformly exponentially dichotomic, then there exist α
>
0 and a sequence H
:
N
→
[
1
,
+
∞
) such that (23)
e
α
m
-
n
·
n
2
+
1
m
2
+
1
≤
H
nfor all (
m
,
n
)
∈
Δ. In particular, for n
=
0, we obtain (24)
e
α
m
≤
H
0
m
2
+
1
,which is absurd for m
→
∞. Hence system (3) is not nonuniformly exponentially dichotomic.Remark 17.
It is obvious that(25)
u.p.d.
⟹
p.d.
⟹
n.p.d
.The following two examples show that the converse implications between these dichotomy concepts are not valid.Example 18.
LetX
=
R
2 and A
:
N
→
B
(
R
2
) defined by (26)
A
n
x
1
,
x
2
=
n
+
1
2
u
n
n
+
2
2
u
n
+
1
x
1
,
n
+
2
2
u
n
+
1
n
+
1
2
u
n
x
2for all (
n
,
x
1
,
x
2
)
∈
N
×
R
2. Let P
n
(
x
1
,
x
2
)
=
(
x
1
,
0
) and Q
n
(
x
1
,
x
2
)
=
(
0
,
x
2
) for all n
∈
N and all x
=
(
x
1
,
x
2
)
∈
X. Consider u
:
N
→
[
1
,
+
∞
), (27)
u
n
=
e
n
2
,
n
=
3
k
,
e
4
,
n
=
3
k
+
1
,
1
,
n
=
3
k
+
2
,
k
∈
Nfor every n
∈
N.
Thus we have that the following inequalities hold:(28)
m
+
1
n
+
1
2
A
m
,
n
P
n
x
=
m
+
1
2
n
+
1
2
u
n
n
+
1
2
m
+
1
2
u
m
P
n
x
≤
u
n
P
n
x
≤
D
n
P
n
x
,
m
+
1
n
+
1
2
Q
n
x
≤
D
m
m
+
1
2
u
m
n
+
1
2
u
n
Q
n
x
=
D
m
A
m
,
n
Q
n
xfor all (
m
,
n
,
x
)
∈
Δ
×
X, where D
(
n
)
=
e
4
n
2. Hence system (3) is nonuniformly polynomially dichotomic.
On the other hand, if we suppose that system (3) is polynomially dichotomic, then there exist constants D
≥
1,  α
>
1, and β
>
0 such that (29)
m
+
1
n
+
1
α
n
+
1
2
u
n
m
+
1
2
u
m
≤
D
n
+
1
βfor all (
m
,
n
)
∈
Δ. In particular, for m
=
3
k
+
1 and n
=
3
k, we obtain (30)
1
+
1
3
k
+
1
α
3
k
+
1
3
k
+
2
2
≤
D
e
4
e
9
k
2
3
k
+
1
β
,which is absurd for k
→
+
∞. Hence system (3) is not polynomially dichotomic.Example 19.
LetX
=
R
2 and A
:
N
→
B
(
R
2
) defined by (31)
A
n
x
1
,
x
2
=
φ
n
φ
n
+
1
x
1
,
ϕ
n
+
1
ϕ
n
x
2for all (
n
,
x
1
,
x
2
)
∈
N
×
R
2, where the sequences φ, ϕ
:
N
→
R are given by (32)
φ
n
=
n
+
1
2
n
+
1
-
n
sin
⁡
n
π
2
,
ϕ
n
=
n
2
n
+
1
+
n
sin
⁡
n
π
2
.Let us consider the projections sequences P
,
Q
:
N
→
B
(
R
2
) defined by (33)
P
n
x
1
,
x
2
=
x
1
,
0
,
Q
n
x
1
,
x
2
=
0
,
x
2for all n
∈
N and all x
=
(
x
1
,
x
2
)
∈
X. We have that (34)
A
m
,
n
P
n
x
1
,
x
2
=
n
+
1
2
n
+
1
-
n
sin
⁡
n
π
/
2
m
+
1
2
m
+
1
-
m
sin
⁡
m
π
/
2
x
1
,
0
,
A
m
,
n
Q
n
x
1
,
x
2
=
0
,
m
2
m
+
1
+
m
s
i
n
m
π
/
2
n
2
n
+
1
+
n
s
i
n
n
π
/
2
x
2
.Then(35)
A
m
,
n
P
n
x
+
Q
n
x
≤
n
+
1
m
+
1
2
2
n
+
1
P
n
x
+
2
n
+
1
m
2
2
n
+
1
n
2
n
+
1
m
+
1
2
Q
n
x
≤
2
n
+
1
n
+
1
m
+
1
2
P
n
x
+
A
m
,
n
Q
n
xfor all (
m
,
n
,
x
)
∈
Δ
×
R
2. Thus system (3) is polynomially dichotomic for D
=
α
=
2 and β
=
1.
On the other hand, if we suppose that system (3) is uniformly polynomially dichotomic, then there exist D
≥
1 and α
>
1 such that (36)
m
+
1
n
+
1
α
≤
D
m
2
m
+
1
+
m
sin
⁡
m
π
/
2
n
2
n
+
1
+
n
sin
⁡
n
π
/
2for all (
m
,
n
)
∈
Δ. In particular, for m
=
4
k
+
3 and n
=
4
k
+
1,k
∈
N, we obtain that (37)
4
k
+
4
4
k
+
2
α
≤
D
4
k
+
3
2
4
k
+
1
2
8
k
+
3
,which is false for k
→
∞. 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 (
P
n
) invariant for (3), a constant α
>
1, and a sequence D
:
N
→
[
1
,
+
∞
) such that (38)
A
m
,
n
x
≤
D
n
n
+
1
m
+
1
α
x
,
(39)
A
m
,
n
-
1
y
≤
D
m
n
+
1
m
+
1
α
y
,for all (
m
,
n
)
∈
Δ and all (
x
,
y
)
∈
Im
⁡
P
n
×
Ker
⁡
P
m.Proof.
It is sufficient to prove (17) ⇔ (39).
Necessity: if relation (17) holds then for all (
m
,
n
,
y
)
∈
Δ
×
Ker
⁡
P
m we have(40)
A
m
,
n
-
1
y
=
A
m
,
n
-
1
Q
m
y
=
Q
n
A
m
,
n
-
1
Q
m
y
≤
D
m
n
+
1
m
+
1
α
A
m
,
n
Q
n
A
m
,
n
-
1
Q
m
y
=
D
m
n
+
1
m
+
1
α
Q
m
y
=
D
m
n
+
1
m
+
1
α
y
.Sufficiency: from (39) it results that for all (
m
,
n
,
y
)
∈
Δ
×
Ker
⁡
P
m we have(41)
y
=
Q
n
y
=
A
m
,
n
-
1
Q
m
A
m
,
n
Q
n
y
≤
D
m
n
+
1
m
+
1
α
Q
m
A
m
,
n
Q
n
y
=
D
m
n
+
1
m
+
1
α
A
m
,
n
Q
n
y
.A characterization of nonuniform polynomial dichotomy property with respect to strongly invariant projections sequence is given by the following.Theorem 21.
Let(
P
n
) be a projections sequence which is strongly invariant for system (3). Then (3) is nonuniformly polynomially dichotomic with respect to (
P
n
) if and only if there exist a constant α
>
1 and a sequence D
:
N
→
[
1
,
+
∞
) such that (42)
A
m
,
n
x
≤
D
n
n
+
1
m
+
1
α
x
,
(43)
B
m
,
n
y
≤
D
m
n
+
1
m
+
1
α
y
,for all (
m
,
n
)
∈
Δ and all (
x
,
y
)
∈
Im
⁡
P
n
×
Ker
⁡
P
m.Proof.
It is sufficient to prove (17)⇔(43).
Necessity: from relation (17) and Lemma 10, we have(44)
B
m
,
n
y
=
B
m
,
n
Q
m
y
=
Q
n
B
m
,
n
Q
m
y
≤
D
m
n
+
1
m
+
1
α
A
m
,
n
Q
n
B
m
,
n
Q
m
y
=
D
m
n
+
1
m
+
1
α
Q
m
A
m
,
n
B
m
,
n
Q
m
y
=
D
m
n
+
1
m
+
1
α
Q
m
y
=
D
m
n
+
1
m
+
1
α
yfor all (
m
,
n
,
y
)
∈
Δ
×
Ker
⁡
P
m.
Sufficiency: from relation (43) and Lemma 10, we obtain(45)
y
=
Q
n
y
=
B
m
,
n
A
m
,
n
Q
n
y
=
B
m
,
n
Q
m
A
m
,
n
Q
n
y
≤
D
m
n
+
1
m
+
1
α
A
m
,
n
Q
n
y
=
D
m
n
+
1
m
+
1
α
A
m
,
n
yfor all (
m
,
n
,
y
)
∈
Δ
×
Ker
⁡
P
n.Remark 22.
Proposition20 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 X and let (
P
n
) be a projections sequence which is invariant for (3).Definition 23.
One says thatL
:
Δ
×
X
→
R
+ is a Lyapunov function for system (3) with respect to projections sequence (
P
n
) if there exists a constant l
>
1 such that the following properties hold: (46)
L
m
+
p
,
n
,
x
+
∑
k
=
m
m
+
p
-
1
1
k
+
1
k
+
1
n
+
1
l
A
k
,
n
x
≤
L
m
,
n
,
xfor all (
m
,
n
,
x
)
∈
Δ
×
Im
⁡
P
n and p
∈
N
+ and (47)
L
m
,
n
+
p
,
y
+
∑
k
=
n
n
+
p
-
1
k
+
1
m
+
1
k
+
1
l
A
k
,
n
y
≤
L
m
,
n
,
yfor all (
m
,
n
,
x
)
∈
Δ
×
Ker
⁡
P
n and p
∈
N
+.Theorem 24.
If the linear discrete-time system (3) is nonuniformly polynomially dichotomic with respect to the projections sequence (
P
n
) invariant for (3), then there are L
:
Δ
×
X
→
R
+ a Lyapunov function for (3) and a sequence β
:
N
→
[
1
,
+
∞
) such that (48)
L
m
,
n
,
x
+
L
m
,
n
,
y
≤
β
n
x
+
β
m
A
m
,
n
y
,for all (
m
,
n
)
∈
Δ and all (
x
,
y
)
∈
Im
⁡
P
n
×
Ker
⁡
P
n.Proof.
Suppose that system (3) is nonuniformly polynomially dichotomic with respect to the projections sequence (
P
n
). We consider the application L
:
Δ
×
X
→
R
+ by(49)
L
m
,
n
,
x
=
∑
k
=
m
∞
1
k
+
1
k
+
1
n
+
1
l
A
m
,
n
P
n
x
+
∑
k
=
n
m
k
+
1
m
+
1
k
+
1
l
A
k
,
n
Q
n
x
,where l
∈
(
1
,
α
) and α is given by Definition 13. With a simple verification, we have that L is a Lyapunov function for system (3) with respect to projections sequence (
P
n
).
Forx
∈
Im
⁡
P
n we have that(50)
L
m
,
n
,
x
=
∑
k
=
m
∞
1
k
+
1
k
+
1
n
+
1
l
A
m
,
n
x
≤
∑
k
=
m
∞
D
n
k
+
1
k
+
1
n
+
1
l
n
+
1
k
+
1
α
x
=
D
n
n
+
1
α
-
l
x
∑
k
=
m
∞
1
k
+
1
α
-
l
+
1
=
D
n
n
+
1
α
-
l
x
1
m
+
1
α
-
l
+
1
+
∑
k
=
m
+
1
∞
1
k
+
1
α
-
l
+
1
≤
D
n
n
+
1
α
-
l
x
1
m
+
1
α
-
l
+
1
+
1
α
-
l
1
m
+
1
α
-
l
+
1
≤
D
n
n
+
1
m
+
1
α
-
l
1
+
1
α
-
l
x
≤
D
n
α
-
l
+
1
α
-
l
x
≤
β
n
x
,where β
(
n
)
=
α
-
l
+
1
/
α
-
l
D
(
n
)
(
n
+
1
)
2 for all n
∈
N.
On the other hand, fory
∈
Ker
⁡
P
n we have that(51)
L
m
,
n
,
y
=
∑
k
=
n
m
k
+
1
m
+
1
k
+
1
l
A
k
,
n
y
≤
∑
k
=
n
m
D
m
k
+
1
m
+
1
k
+
1
l
k
+
1
m
+
1
α
A
m
,
n
y
=
D
m
m
+
1
l
-
α
A
m
,
n
y
∑
k
=
n
m
k
+
1
α
-
l
+
1
≤
D
m
m
-
n
+
1
m
+
1
A
m
,
n
y
≤
D
m
m
+
1
2
A
m
,
n
y
≤
β
m
A
m
,
n
y
.Thus, the proof is completed.Theorem 25.
If there exist a Lyapunov functionL with l
>
2 for system (3) and a sequence β
:
N
→
[
1
,
+
∞
) such that relation (48) holds for all (
m
,
n
)
∈
Δ and all (
x
,
y
)
∈
Im
⁡
P
n
×
Ker
⁡
P
n, then system (3) is nonuniformly polynomially dichotomic.Proof.
According to the hypothesis, from (46) and (48) for x
∈
Im
⁡
P
n we have that (52)
∑
k
=
m
m
+
p
-
1
1
k
+
1
k
+
1
n
+
1
l
A
k
,
n
x
≤
L
m
,
n
,
x
≤
β
n
x
.If we consider k
=
m then(53)
A
m
,
n
x
≤
β
n
m
+
1
n
+
1
m
+
1
l
x
=
β
n
n
+
1
n
+
1
m
+
1
l
-
1
x
=
D
n
n
+
1
m
+
1
l
-
1
x
.
In a similar way, from (47) and (48) for y
∈
Ker
⁡
P
n we have that (54)
∑
k
=
n
n
+
p
-
1
k
+
1
m
+
1
k
+
1
l
A
k
,
n
y
≤
L
m
,
n
,
y
≤
β
m
A
m
,
n
y
.Considering k
=
n, then(55)
y
≤
β
m
n
+
1
n
+
1
m
+
1
l
A
m
,
n
y
≤
β
m
n
+
1
m
+
1
l
-
1
A
m
,
n
y
≤
D
m
n
+
1
m
+
1
l
-
1
A
m
,
n
y
.Thus Definition 13 is satisfied for D
(
n
)
=
β
(
n
)
(
n
+
1
) and α
=
l
-
1; hence system (3) is nonuniformly polynomial dichotomic.



---

*Source: 185910-2015-08-17.xml*