Next: About this document ...
Up: APPENDIX
Previous: APPENDIX
  Contents
Consider the matrix
here
is a scalar parameter, and
is an
matrix.
Lemma:
For
and
as above,
the eigenvalues of
are
times the eigenvalues of A.
Proof: let
be the eigenvalue
of
then we show that
is an eigenvalue of
:
Since
is an eigenvalue of
then
. Hence
Lemma:
for any
.
Theorem: With
as above. Then
Theorem: A as above. Then
then if
is an eigenvalue
of
then
furthermore if
is eigenvalue of multiplicity
,
then the following equations are true:
Example Suppose
is
matrix, with eigenvalues
and
, with
multiplicity
and
, respectively.
Then
and
are eigenvalues of
.
Here
, thus
Since
is eigenvalue of multiplicity
and
. Thus
|
(187) |
 |
|
(188) |
 |
|
(189) |
 |
|
(190) |
 |
Thus Equations (188)-(191)
are 4 equations in 4 unknowns
,
,
,
therefore
can be calculated.
Matrix Polynomials and the Cayley-Hamilton Theorem
Let
be an
matrix with constant entries denote
and
be the associated eigenvalues and right eigenvectors, so that
|
(191) |
 |
here
is the
eigenvalue
is the
eigenvector with components
.
Premultiply (192) by
In fact, premultiplying (192) by
shows that
has eigenvalues
and eigenvectors
i.e.
Note: One can use a similar argument to show that
has the
same eigenvalues as those of
:
the characteristic equation for
and
are the same.
Let
the
arbitrary polynomial of degree
. Hence, for the matrix
of size
where
is the identity matrix of size
. If
are
eigenvectors of
then
showing that the e'values and the e'vectors of
ARE
and
for
.
Cayley-Hamilton Theorem: Every matrix satisfies its own
characteristic equation, i.e.
ex)
characteristic polynomial is
So
Now, consider
(
is constant entry
matrix):
it satisfies
In fact for every polynomial
the solution of
is
where
are constant coefficients. Similarly
|
(192) |
 |
are constant matrices, derived by taking
derivatives of (193) with respect to
and evaluating them
at
. The
derivatives of (193) is
|
(193) |
 |
If the independent solutions
are chosen to
satisfy
from (194)
Moreover, if
has simple roots and the
are chosen to be
then (194) becomes the set of
equations
which can be solved for
which are spectal
projections corresponding to the e'values
.
Next: About this document ...
Up: APPENDIX
Previous: APPENDIX
  Contents
Juan Restrepo
2003-05-02