Let us denote by ℤ+ the set of all nonnegative integer numbers. We prove that a square size matrix A of order m having complex entries is dichotomic (i.e., its spectrum does not intersect the set {z∈ℂ:|z| = 1} if and only if there exists a projection P on ℂ m which commutes with A, and for each number μ∈ℝ and each vector b∈ℂ m the solutions of the following two Cauchy problems are bounded:
$$ \left\{ \begin{gathered} x_{n + 1} = Ax_n + e^{i\mu n} Pb, n \in \mathbb{Z}_ + \hfill \\ x_0 = 0 \hfill \\ \end{gathered} \right. $$
and
$$ \left\{ \begin{gathered} y_{n + 1} = A^{ - 1} y_n + e^{i\mu n} (I - P)b, n \in \mathbb{Z}_ + \hfill \\ y_0 = 0. \hfill \\ \end{gathered} \right. $$
The result is also extended to bounded linear operators acting on arbitrary complex Banach spaces.
[1]
I. Gohberg,et al.
Basic Operator Theory
,
1981
.
[2]
Yuri Latushkin,et al.
Evolution Semigroups in Dynamical Systems and Differential Equations
,
1999
.
[3]
W. Greub.
Linear Algebra
,
1981
.
[4]
C. Buse,et al.
Asymptotic behavior of discrete and continuous semigroups on Hilbert spaces
,
2008
.
[5]
C. Buse,et al.
Uniform stability of periodic discrete systems in Banach spaces
,
2005
.
[6]
Akbar Zada.
A CHARACTERIZATION OF DICHOTOMY IN TERMS OF BOUNDEDNESS OF SOLUTIONS FOR SOME CAUCHY PROBLEMS
,
2008
.