[Indce]

[Introduo]
[Descrio do ficheiro ExpMatriz.MTH e exemplos]
[Listagem do ficheiro ExpMatriz.MTH]
[Agradecimentos e Referncias]
2. Exponencial de matrizes
Seja A uma matriz quadrada de ordem n, de coeficientes complexos. Para
qualquer nmero real t, a srie
t A
n
n n
n
!

0
(absolutamente) convergente, pelo que
podemos definir uma funo de varivel real pondo e
t A
n
tA
n n
n

!
0
. Prova-se que esta
funo diferencivel em qualquer ponto do seu domnio e que ( ) e Ae
tA tA
'
. Mais
precisamente, tem-se o seguinte resultado:
Teorema 1
Sejam A e B matrizes quadradas de ordem n. Ento F t e B
tA
( ) a nica soluo do
problema de valor inicial
F t AF t F B para t ' ( ) ( ), ( ) , 0 R
Demonstrao: ver, por exemplo, [Ap2].
Observao:
A exponencial assim definida tem muitas propriedades em comum com a funo
exponencial usual: por exemplo,
e e e
t s A tA sA ( ) +

. No , no entanto, vlido que

e e e
A B A B +

para matrizes A e B quaisquer (apresentaremos mais adiante um contra-

exemplo), embora isto seja vlido se AB BA .
A soluo do sistema homogneo de equaes diferenciais lineares de coeficientes
constantes definido por
X t AX t ' ( ) ( )
com condio inicial
X X ( ) , 0
0

onde
X
0
um
vector de dimenso n, dada pois por X t e X
tA
( )
0
. Daqui resulta a enorme importncia
de dispr de processos prticos para calcular
e
tA
. imediato constatar que o clculo
directo a partir da srie definidora , em geral, impraticvel, a no ser em casos muito
particulares (matrizes diagonais, por exemplo). Comearemos por demonstrar uma
proposio simples que vai permitir resolver o problema para matrizes 2x2 e 3x3.
Em tudo o que se vai seguir, consideraremos sempre as matrizes sobre o corpo
complexo, ainda que os seus coeficientes sejam reais. Assim, os valores prprios
coincidem com as razes (em C) do polinmio caracterstico. Diremos que um valor
prprio simples, duplo, triplo,.... quando ele for raz simples, dupla, tripla,... do
polinmio caracterstico; quando falarmos da multiplicidade de um valor prprio,
estaremos sempre a considerar a multiplicidade algbrica. Adoptamos ainda a conveno
de que o grau do polinmio idnticamente nulo

.
Teorema 2
Seja A uma matriz de ordem n. Ento:
a) se todos os valores prprios de A so iguais a tem-se
( ) e e
t
k
A Id
tA t
k
n
k
k
n

!
0
1
.
b) se A tem n valores prprios distintos

1 2
, ,
n
, ento
e e e L A
tA t t
k
k
n
k

( ),
1
sendo
( ) L A
A Id
k n
k
j n
k j j
j k
n
( ) , , , .

1
1 2
c) se A tem 2 valores prprios distintos, e , de multiplicidades n 1 e 1,
respectivamente, vem
( ) ( )
( )
( )
e e
t
k
A Id e e
t
k
A Id
tA t
k
n
k
k
n
t t
k
k
k
n
n
n
n
+

1
]
1

! !
0
2
0
2
1
1
.
Demonstrao:
a) e e e e
t
k
A Id
tA t t A Id t
k
k
n
k
n

( )
!
( )
0
; como o polinmio caracterstico de A
( ) ( ) 1
n n
x , segue-se que
( ) A Id se k n
n
k
0, , pelo teorema de Cayley-
Hamilton, donde o resultado.
b) Seja F t e L A
k
t
k
n
k
( ) ( )

1
; vamos ver que F soluo do problema de valor inicial
X AX
X Id
n
'
( )

'

0
, donde se seguir que F t e
tA
( ) , pelo teorema 1.
Tem-se ( ) AF t F t e A Id L A
k
t
k
n
k n k
( ) ' ( ) ( )

1
; como o polinmio caracterstico de
A ( )
( ) ( ) ( ) 1
1 2
n
n
x x x , segue-se que ( ) A Id L A
k n k
( ) 0 , para
k n 1 2 , , ,
pelo teorema de Cayley-Hamilton, donde
F t AF t ' ( ) ( )
. Falta s provar
que
F Id
n
( ) 0
, ou seja, que L A Id
k
k
n
n
( )

1
.
Considerem-se os polinmios em x definidos por
( ) L x
x
k n
k
j
k j j
j k
n
( ) , , ,

1
1 2
;
imediato que se trata de polinmios em x de grau n 1, que verificam
L se i k
k i
( ) 0
e
L se i k
k i
( ) 1
. Conclui-se que P x L x
k
k
n
( ) ( ) +

1
1
um
polinmio de grau menor ou igual a n 1 que tem n razes distintas

1 2
, , ,
n
e pois
idnticamente nulo. Portanto,
P A ( ) 0
e logo L A Id
k
k
n
n

1
( ) , como queramos.
c) Tem-se que:
( )
e e e e
t
k
A Id
e
t
k
A Id e
t
k
A Id
e
t
k
A Id e
t
n i
A Id
tA t t A Id t
k
k
n
k
t
k
k
n
n
k t
k
k n
n
k
t
k
k
n
n
k t
n i
i
n
n i
n

+
+
+

+
+

( )
!
( )
!
( )
!
( )
!
( )
!
( ) .
0
0
2
1
0
2 1
0
1
1
(*)
Como
( ) A Id A Id Id
n n n
,
conclui-se que
( ) ( ) ( ) ( ) ( ) A Id A Id A Id A Id
n
n
n n
n
n
n



1 1
;
como o polinmio caracterstico de A
( ) ( )
( )

1
1 n n
x x , segue-se que o primeiro
membro desta igualdade nulo (pelo teorema de Cayley-Hamilton), donde
( ) ( ) ( ) A Id A Id
n
n
n
n



1
. Por aplicao repetida desta frmula, vem que
( ) ( ) ( ) A Id A Id
n
n i i
n
n

+

1 1
e portanto
( ) ( )
( )
( )
( )
( )
( )
( )
t
n i
A Id
t
n i
A Id
t
k
A Id
e
t
k
A Id
n i
i
n
n i
n i
i
i
n
n
k
k
k n
n
n
n
t
k
k
k
n
n
n
n
+

+
+
+

+

+

1
]
1
1

1
]
1

1
0
1
1
0
1
1
1
1
0
2 1
1
1 1 !
( )
!
( )
!
( )
!
( )
.








Substituindo esta frmula na ltima linha de (*), segue-se o resultado.
O teorema 2 resolve completamente o problema do clculo de
e
tA
para matrizes
2x2 e 3x3. Para matrizes 2x2, os resultados das duas primeiras alneas so suficientes:
uma matriz 2x2 ou tem um valor prprio duplo ou dois valores prprios distintos; no
primeiro caso, aplica-se a frmula da alnea a) e no segundo a frmula da alnea b).
Passando s matrizes 3x3, h trs hipteses a considerar:
1. a matriz tem um valor prprio triplo; usa-se a frmula da alnea a).
2. a matriz tem trs valores prprios distintos; usa-se a frmula da alnea b).
3. a matriz tem um valor prprio duplo e um valor prprio simples ; usa-se a frmula
da alnea c).
Exerccio
Sejam A e B

1
]
1

1
]
1
1 1
0 0
1 1
0 0
. Mostre que e e e
A B A B

+
.
O caso das matrizes 4x4 mais complicado. H cinco hipteses distintas:
1. a matriz tem um valor prprio qudruplo; usa-se a frmula da alnea a).
2. a matriz tem quatro valores prprios distintos; usa-se a frmula da alnea b).
3. a matriz tem um valor prprio triplo e um valor prprio simples ; usa-se a frmula
da alnea c).
4. a matriz tem dois valores prprios simples, e e um valor prprio duplo .
5. a matriz tem dois valores prprio duplos, e .
Para tratar estes dois ltimos casos, vamos utilizar um mtodo geral para o clculo
da exponencial de matrizes: o mtodo de Putzer. Este mtodo tem a vantagem de ser
elementar, no requerendo conhecimentos para alm dos referidos na Introduo, ao
contrrio do que sucede com o mtodo do polinmio descrito em [WA] ou com os
processos baseados na forma cannica de Jordan.
Teorema 3 (mtodo de Putzer)
Seja A uma matriz quadrada de ordem n e

1 2
, , ,
n
os seus valores prprios,
repetidos de acordo com as suas multiplicidades. Ento
( ) e r t P A
tA
k k
k
n

1
0
1
( )
onde ( ) ( ) ( )
( ) P A Id P A P A A Id para k n
n k k k n 0 1
1 2 1

, , , , , e
( ) ( ) r t r t
n 1
,
so as solues dos problemas de Cauchy
( )
r r r
r r r r k n
k k k k k
1 1 1 1
1 1 1 1
0 1
0 0 1 1
'
'
( )
, , ,

+

'
+ + + +

.
Demonstrao:
Segue-se um mtodo muito semelhante ao usado na prova da alnea b) do teorema 2. Seja
( ) F t r t P A
k k
k
n
( ) ( )
+

1
0
1
; como evidente que
F Id
n
( ) 0
, basta provar que
F t AF t
'
( ) ( ) para obter o resultado.
Se definirmos
r
0
0
, vem
( ) F t r t P A r t r t P A
r t P A r t P A
k k k k k k
k
n
k
n
k k k k k
k
n
k
n
' '
( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
+
+
+ + +

+ + + + +

1 1 1
0
1
0
1
1 1 1 1 1
0
1
0
2

donde ( ) F t F t r t P A P A
n k k k n k
k
n
'
( ) ( ) ( ) ( ) ( ) ( ) +
+ + +

1 1 1
0
2
.
Como ( )
( )
( ) P A A Id P A
k k n k + +

1 1
, segue-se que
( ) P A P A A Id P A
k k n k n n k + +
+
1 1
( ) ( ) ( ) ( ).
Substituindo esta igualdade na expresso obtida para F t F t vem
n
'
( ) ( ), :
( ) ( ) [ ]
( )
F t F t A Id r t P A A Id F t r t P A
A Id F t r t P A
n n n k k
k
n
n n n n
n n n n
'
( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( )


+

1
0
2
1
Pelo teorema de Cayley-Hamilton,
P A
n
( ) 0
e vem F t F t AF t F t
n n
'
( ) ( ) ( ) ( ) ,
donde F t AF t
'
( ) ( ) , como queramos.
Observaes
1) Pelo teorema anterior, podemos concluir que, dada uma matriz quadrada A de ordem
n,
e
tA
pode ser escrito como um polinmio em A, de grau menor que n e cujos
coeficientes so funes escalares de t. Este resultado pode ser demonstrado
directamente, sem recurso ao mtodo de Putzer (ver [CF]), mas a demonstrao a
apresentada no leva a um mtodo prtico para o clculo dos coeficientes.
2) As equaes diferenciais verificadas pelos coeficientes
( ) r t
k
so muito simples:
lineares, de primeira ordem e coeficientes constantes. O problema que, para k>1, so
no homogneas, e os seus segundos membros tornam-se cada vez mais complexos,
medida que k aumenta.
Vejamos agora como resolver o quarto caso do clculo de
e
tA
para matrizes
quadradas 4x4. A matriz em causa tem dois valores prprios simples, e e um valor
prprio duplo . Pelo mtodo de Putzer, devemos considerar o sistema
( )
( )
( )
r r r
r r r r
r r r r
r r r r
1 1 1
2 2 1 2
3 3 2 3
4 4 3 4
0 1
0 0
0 0
0 0
'
'
'
'
, ( )
,
,
,

+
+
+

'

As duas primeiras equaes so muito fceis de resolver: obtem-se r t e

t
1
( )

e
( ) r t e e
t t
2
1
( )

, respectivamente. A terceira j m e a quarta muito pior. Uma
maneira de evitar os clculos extremamente aborrecidos necessrios sua resoluo
utilizar o DERIVE. Para isso, basta abrir a utility file ODE1.MTH, contendo funes que
permitem resolver simbolicamente uma larga gama de equaes diferenciais de primeira
ordem. A funo que nos interessa LINEAR1(p, q, x, y, x0,y0), que d a soluo da
equao y p x y q x
'
( ) ( ) + , com a condio inicial
y y x 0 0 ( ).
Basta ento copiar esta
funo para um novo ficheiro e proceder como indicado na listagem a seguir para se obter
r x
3
( ).
Analogamente se obtm
r
4
:
( )
( )
( ) ( )
( ) ( )
( )
( )
( )
( )
r t
e e e t t t t
t t t
4
2
2
2
2
1 1 2
( )
+ + + +




Finalmente, vejamos resumidamente como resolver o quinto caso para matrizes
4x4. Sejam e os dois valores prprios duplos. O sistema a considerar
( )
( )
( )
r r r
r r r r
r r r r
r r r r
1 1 1
2 2 1 2
3 3 2 3
4 4 3 4
0 1
0 0
0 0
0 0
'
'
'
'
, ( )
,
,
,
.

+
+
+

'

A soluo pode obter-se tal como para o quarto caso, eventualmente recorrendo ao
DERIVE para evitar os clculos mais morosos. Limitamo-nos a indicar os resultados:
( )
( )
( ) ( )
( )
r t e
r t te
r t
e t t e
r t
e t t e t t
t
t
t t
t t
1
2
3 2
4 3
1
2 2
( )
( )
( )
( ) .

[Anterior]
[Prximo]