Equaes diferenciais ordinrias (MAT510)

Equaes diferenciais lineares com coeficientes constantes

V. Arajo
Mestrado em Matemtica, UFBA, 2013

Forma Cannica de Jordan

O clculo explcito de exp(tA) com A Mn,n (R)

possvel (embora muito trabalhoso em geral) determinar explicitamente a
expresso de etA se A uma matriz real constante. Vamos ver como.
A motivao principal:
Se A = B 1 DB, ento An = B 1 Dn B para todo n.
P
Portanto se A semelhante a D, ento etA = n0
X
n0

B 1

tn An
n!

se transforma em

tn Dn
B = B 1 etD B.
n!

Agora temos que escolher D de maneira conveniente...

exp(tA) com A diagonalizvel
Se A puder ser transformada numa matriz diagonal via mudana de coordenadas, ou seja, se existe B invertvel tal que A = B 1 DB com D = diag{1 , . . . , n },
ento trivial calcular Dn e ficamos com
!
X tn Dn
etA = B 1
B = B 1 diag{et1 , . . . , etn }B
n!
n0
A matriz B a matriz de mudana de coordenadas que transforma A em D. Mas
ela transforma tambm as solues de x0 = Ax nas solues de y 0 = Dy.
1

Mudana de coordenadas e conjugao

Proposio
Se B conjuga as matrizes A, D, ento B transforma as solues de x0 = Ax nas
solues de y 0 = Dy, ou seja, se A = B 1 DB ento so equivalentes
x(t) soluo de x0 = Ax com x(0) = x0 ;
y(t) = B x(t) soluo de y 0 = Dy com y(0) = Bx0 .
De fato, como B constante, derivando y(t) = Bx(t)
y 0 (t) = B x0 (t) = B A x(t) = D B x(t) = D y(t)
e claramente y(0) = B x(0) = Bx0 . A recproca segue porque B invertvel.
Este resultado no depende de D ser diagonal!! Vale em geral.
A matriz fundamental no caso diagonalizvel
Combinao linear de solues fundamentais
Dada A Mn,n (R), suponhamos que exista B invertvel tal que D = B 1 AB =
diag{1 , . . . , n } diagonal e sejam vi = Bei as colunas de B, i = 1, . . . , n.
Ento xi (t) = ei t vi , i = 1, . . . , n so solues de x0 = Ax tais que qualquer
outra soluo x : R Rn combinao linear de x1 , . . . , xn . De fato
x(t) =

n
X

i xi (t)

i=1
0

nica soluo de x = Ax com x(0) =

i vi = B(1 , . . . , n )T .

Matriz fundamental se A no diagonalizvel

Pelo que vimos em lies anteriores, o resultado anterior verdadeiro porque
para t = 0 temos que (xi (0)T )1in = (v1 , . . . , vn )T invertvel (suas colunas
formam base de Rn ) e portanto a matriz (t) = (xi (t))T1in uma matriz fundamental de solues de x0 = Ax.
E se A no diagonalizvel? Notamos que se

A1 0
0 A2

A = diag{A1 , . . . , Ak } =
..
0
.
0 0
2

0
0

... 0
. . . Ak
...
...

onde A1 , . . . , Ak so matrizes quadradas cujas dimenses somadas so iguais

dimenso de A, ento
Diagonalizao por blocos
Aj1 0
0 Aj

2
Aj = diag{Aj1 , . . . , Ajk } =
..
0
.
0 0

0
0

... 0
. . . Ajk
...
...

para todo j 1 e portanto

etA

etA1 0
0 etA2

= diag{etA1 , . . . , etAk } =
..
0
.
0
0

...
...

0
0

.
0

...
. . . etAk

Basta ento achar uma boa diagonalizao por blocos que valha para todo operador linear...
Forma Cannica de Jordan (real)
Toda matriz quadrada A Mn,n (R) conjugada (semelhante) a uma matriz
diagonal por blocos J = diag{J1 , . . . , Jr } onde, para cada i = 1, . . . , r, as matrizes quadradas Ji tm uma das quatro formas seguintes.
1. J0 (`) = diag{, . . . , } de dimenso ` `.

1 ... 0 0
0 . . . 0 0

2. J (`) =
0 . . . . . . . . . 0 de dimenso ` `.
0 0 . . . 1
0 0 ... 0
0
3. Ja,b
(`) = diag{Ja,b , . . . , Ja,b } de dimenso 2` 2`.

Forma Cannica de Jordan

Ja,b I . . . 0
0
0 Ja,b . . . 0
0

(4) Ja,b (`) = 0 . . . . . . . . . 0

de dimenso 2` 2`,
0
0 . . . Ja,b I
0
0 . . . 0 Ja,b
em que nos ltimos dois casos 0, I, Ja,b so matrizes 2x2






0 0
1 0
a b
0=
, I=
, Ja,b =
.
0 0
0 1
b a
Os dois primeiros casos correspondem a autovalores reais e os dois ltimos a
autovalores complexos a + ib. Os autovalores podem se repetir em mais do que
um bloco.
Observaes sobre a F. Cannica de Jordan
Sejam as trs matrizes

7 0 0
7 1 0
A1 = 0 7 0 , A2 = 0 7 0 ,
0 0 7
0 0 7

7 1 0
A3 = 0 7 1 ,
0 0 7

em Forma Cannica de Jordan, com o mesmo polinmio caracterstico p() =

( 7)3 , logo, o mesmo e nico autovalor = 7. Mas nenhuma semelhante a
uma das outras, pois
dim N (A1 7I3 ) = 3, dim N (A2 7I3 ) = 2 e dim N (A3 7I3 ) = 1
e os autoespaos correspondentes ao autovalor 7 tm diferentes dimenses: 3, 2, 1,
respectivamente.
Outro exemplo de F. Cannica de Jordan
Sejam as matrizes

5 1
5 1 0 0
0 5 0 0
0 5

A=
0 0 5 1 , B = 0 0
0 0
0 0 0 5
4

0
1
5
0

0
0
,
0
5

em Forma Cannica de Jordan, com o mesmo polinmio caracterstico p() =

( 5)4 e o mesmo nico autovalor = 5. Mas tambm no so semelhantes.
Porm

0 1 0 0
0 1 0 0
0 0 0 0

, 5I4 B = 0 0 1 0 ,
5I4 A =
0 0 0 1
0 0
0 0
0 0 0 0
0 0
0 0
tm ncleo com a mesma dimenso.
Autovetores generalizados
Agora

0
(5I4 A)2 = 0 mas (5I4 B)2 =
0
0

0
0
0
0

1
0
0
0

0
0
,
0
0

portanto existem autovetores generalizados para B associados ao autovalor 5 (a

dimenso deste autoespao generalizado 3, o mesmo que a dimenso do bloco
de Jordan...), mas no existem tais autovetores generalizados para A.
Seja C M4,4 (R) com o mesmo polinmio caracterstico. Se d = dim N (5I4
C) = 1, 3 ou 4, ento 5 tem multiplicidade geomtrica 1, 3, 4 e C tem as formas
cannicas respectivas
Autovetores generalizados e blocos de Jordan
Se d = dim N (5I4 C) = 1, 3 ou 4, ento 5 tem multiplicidade geomtrica
1, 3, 4 e C tem as formas cannicas respectivas

5 1 0 0
5 1 0 0
5 0 0 0
0 5 1 0

, 0 5 0 0 , 0 5 0 0 .
0 0 5 1
0 0 5 0
0 0 5 0
0 0 0 5
0 0 0 5
0 0 0 5
Se dim N (5I4 C) = 2, precisamos considerar
autovetores generalizados para


2
distinguir
entre A e B. Se dim N (5I4 C) = 4, ento C A; se dim N (5I4


C)2 = 3, ento C B.
Em dimenso baixa usualmente basta usar a segunda potncia do anulador para distinguir entre as vrias possibilidades.
5

Referncias para a F. Cannica de Jordan

Uma prova do Teorema da Forma Cannica de Jordan pode ser encontrado
em:
E. L. Lima, lgebra Linear. Coleo Matemtica Universitria. IMPA, Rio
de Janeiro, Segunda Edio, 1996.
A. Castro, Curso de Equaes Diferenciais Ordinrias. Preprint UFBA,
2007.
exp(tA) em geral
Para calcular etA basta ento compreendermos como calcular etJi onde Ji
um dos quatro tipos de blocos possveis na Forma Cannica de Jordan.
Vamos necessitar de alguns resultados auxiliares.
Lema
Sejam A, B, C tais que BC = CA. Ento etB C = C etA .
Se AB = BA, ento etA B = B etA e etA etB = et(A+B) .
De fato, se BC = CA, ento para k 1
B k C = B k1 (BC) = B k1 CA = = CAk
e usando isto podemos escrever
Troca de ordem nos fatores...

tB

C =

X tk B k
k0

k!

!
C=

X tk B k C
k!

k0

X C tk Ak
k0

k!

= C etA

onde na primeira e na ltima igualdade usamos que a srie que define a exponencial converge uniformemente em compactos como sequncia de funes de t. Isto
prova o primeiro tem.
A prova da primeira parte do segundo tem imediata depois da prova do
primeiro tem (fazendo B = A e C = B...).

Comutao e produto de exponenciais...

Para a parte final do segundo tem, mostramos que ambas etA etB e et(A+B)
so solues de X 0 = (A + B)X, X(0) = In e usamos a unicidade.
De fato, pelo que j foi provado
(etA etB )0 = (AetA ) etB + etA (BetB )
= A etA etB + (etA B) etB
= A etA etB + B etA etB
= (A + B) etA etB
e portanto etA etB tambm soluo de X 0 = (A + B)X com a mesma condio
inicial que et(A+B) .
exp(tJ) para um bloco de Jordan
O caso diagonal j foi tratado.
0
(1) pode ser facilmente entendido se observarmos
O caso etJ com J = Ja,b

que
1 (t) = eat (cos(bt), sin(bt)) e 2 (t) = eat (sin(bt), cos(bt))
satisfazem
01 (t) = aeat (cos(bt), sin(bt)) eat b(sin(bt), cos(bt))
= eat (a cos(bt) b sin(bt), b cos(bt) a sin(bt))
e portanto J 1 (t)T = (1 (t)0 )T .
Analogamente se verifica que (2 (t)0 )T = J 2 (t)T .
Temos ainda 1 (0) = (1, 0) e 2 (0) = (0, 1).
O caso de autovalor complexo
Portanto a matriz com colunas dadas por 1 (t), 2 (t) uma matriz fundamen0
tal de X 0 = Ja,b
(1) X com condio inicial I2 , o que garante que


0 (1)
cos(bt) sin(bt)
tJa,b
at
e
=e
= eat R(t, b).
sin(bt) cos(bt)
0
Note que os autovalores de Ja,b
(1) so a ib.

Os restantes casos envolvem a soma de um operador diagonal com um operador nilpotente. De fato, seja En o operador de Rn cuja matriz na base cannica
formada por zeros exceto pela superdiagonal principal, cujos elementos so todos
iguais a 1.
O caso nilpotente

0 1
0 0

En =
0 . . .
0 0
0 0

...
...
...
...
...

0
0
1
0
0

0
0

0
com dimenso n n.
1
0

Este operador satisfaz Enn = 0 (da o nome nilpotente). Portanto etEn uma
soma finita, com apenas n elementos
etEn = In + tEn + t2

E n1
En2
+ + tn1 n
2
(n 1)!

que fcil de calcular explicitamente

exp( nilpotente )
2

etEn

t
1
t
2

0 1
t

= . . . . . . . . .

0 0 0
0 0 0

...
...
...
1
...

tn1
(n1)!
tn2

(n2)!

...

t
1

Observemos que J1 (n) = En + In a soma de uma matriz diagonal com outra

nilpotente. E tambm satisfaz (In ) En = En (In ) (comutao). Portanto pelo
lema anterior
1

etJ (n) = etIn etEn = et etEn

que podemos tambm determinar explicitamente.

2
exp(Ja,b
(n))
2
Analogamente Ja,b
(n) = diag{Ja,b , . . . , Ja,b } + Nn , onde Nn simplesmente


0 0
En com cada entrada 0 substituda por
e cada entrada 1 substituda por
0
0


1 0
I2 =
.
0 1
Multiplicando por blocos fcil verificar que Nn e diag{Ja,b , . . . , Ja,b } comutam. Portanto
2

etJa,b (n) = et diag{Ja,b ,...,Ja,b } etNn

= diag{etJa,b , . . . , etJa,b } etNn
= eat diag{R(t, b), . . . , R(t, b)} etNn
onde R(t, b) matriz de rotao como j definido. Esta expresso tambm pode
ser determinada explicitamente se conhecermos a, b e n.
Juntando os pedaos de Jordan...
Assim, sabemos como determinar a expresso do exponencial de cada bloco
que surge na Forma Cannica de Jordan de todo operador linear, em relao a uma
certa base.
Portanto podemos determinar a expresso de exp(tA) fazendo a mudana de
coordenadas para a Forma Cannica de Jordan, calculando etJi para cada bloco e
depois juntando cada pedao num matriz por blocos.
Vamos agora ver todos os possveis casos de sistemas lineares no plano.
Vamos depois compreender as propriedades principais do fluxo dos sistemas lineares sem determinar expresso explcita para a soluo!

Sistemas lineares no plano

Sistemas lineares planares

Forma Cannica de Jordan 2 2
Consoante as razes 1 , 2 do polinmio caracterstico pA () de um operador A :
R2 , ocorre exatamente um dos casos seguintes de conjugao:
1. 1 6= 2 reais = A diag{1 , 2 } (diagonal);
9

2. 0 = 1 = 2 real e
(a) dim N (A I2 ) = 2 = A = 0 I2 (A diagonal!);


0 1
(b) dim N (A I2 ) = 1 = A
= 0 I2 + E1 ;
0 0
3. 1 = a + ib = 2 , a, b R, b 6= 0 = A J(a, b).
Para determinar a mudana de base em cada caso importante entender a
prova deste resultado. (foge!)
Prova Forma de Jordan 2 2
O primeiro caso de autovalores reais distintos visto em todos os cursos elementares de lgebra Linear, o caso diagonalizvel: a matriz de mudana de
base tem nas suas colunas as coordenadas de uma base de autovetores ( boa
ideia fazer uma reviso disto!)
No segundo caso temos pA () = (0 )2 . Por um lado, se dim N (AI2 ) =
2 = dim R2 , ento A 0 I2 = 0 e portanto A = 0 I2 como afirmado.
Por outro lado, se dim N (A I2 ) = 1, o Teorema do Ncleo e da Imagem
garante que dim Im(A I2 ) = 1. O Teorema de Cayley (todo operador anula
seu polinmio caracterstico) assegura que
(A 0 I2 )(A 0 I2 ) = (A 0 I2 )2 = pA (A) = 0

Continuao da prova...
Ento temos que a imagem de A 0 I2 est contida no ncleo da mesma
transformao. Como ambos os espaos tm a mesma dimenso, vem que Im(A
0 I2 ) = N (A 0 I2 ).
Seja v 6= ~0 no ncleo, ou seja, um autovetor Av = 0 v. Como este vetor
est na imagem de A 0 I2 , existe u 6= ~0 tal que v = (A 0 I2 )u, ou seja
Au = v + 0 u.
Como u no est no ncleo, segue que {u, v} L.I. e portanto uma base para
R2 . Logo, a matriz B com colunas v, u invertvel, Be1 = v e Be2 = u, e
ABe1 = Av = 0 v = B(0 e1 )
ABe2 = Au = v + 0 u = Be1 + 0 Be2 = B(e2 + 0 e1 ).
10



0 1
Com J =
temos AB = BJ, ou seja, A J.
0 0
Prova do terceiro caso (autovalores complexos)
Sejam 0 = a + ib e 0 os autovalores de A. Vamos precisar do seguinte
resultado geral muito til.
Lema (Autovetores complexos de operadores reais)
Sejam A : Rn um operador linear e w Cn um autovetor complexo de A
associado ao autovalor a + ib C, b 6= 0. Escrevendo w = u + iv com u =
1
(w + w) e v = 2i1 (w w), temos que {u, v} L.I., Au = au bv e tambm
2
Av = bu + av.
De fato, se tivssemos v = u, R, ento w w = 2iv = 2iu =
i(w + w) e segue (1 i)w = (1 + i)w com 1 i 6= 0 6= 1 + i. Ento
{w, w} seria L.D. em Cn . Mas w, w so autovetores associados a autovalores
distintos a ib, portanto so L.I. Esta contradio mostra que {u, v} L.I..
..fim da prova Forma Cannica Jordan 2x2
Como a decomposio w = u + iv nica, segue agora que
Au + iAv = A(u + iv) = (a + ib)(u + iv) = (au bv) + i(bu + av)
onde a primeira igualdade depende de A ser operador real. Conclumos a prova
do lema.
Voltando Forma Cannica de Jordan, agora sabemos que existem u, v R2
L.I. e a matriz B com colunas u, v invertvel e satisfaz
ABe1 = Au = au bv = aBe1 bBe2 = B (a, b)
ABe2 = Av = bu + av = bBe1 + aBe2 = B (b, a).


a b
Portanto AB = B
, ou seja A Ja,b , conclundo a prova da Forma
b a
Cannica de Jordan 2x2.
Classificao de sistemas lineares no plano
CASO 1: A tem dois autovalores reais distintos.

11

Pelos lemas anteriores, x0 = Ax conjugado ao sistema



1 0
0
y =
y
0 2
mediante mudana de coordenadas linear. Dada uma condio inicial y(0) =
(y1 , y2 ) a soluo dada por
y(t) = (y1 e1 t , y2 e2 t ),

tR

e as solues de x0 = Ax so combinaes lineares destas solues.

Casos com dois autovalores reais distintos.
Ambos os autovalores so negativos
Segue da expresso obtida para a soluo que seja qual for a condio inicial
diferente de (0, 0), x(t) se afasta para infinito quando t e converge para
a origem quando t +. Dizemos que este campo linear um poo, ou que a
origem um atrator linear, ou um n estvel.
Ambos os autovalores so positivos
O retrato de fase (esboo esquemtico de curvas soluo de uma E.D.O. para
dar uma ideia do comportamento geral das solues) igual ao do caso anterior
trocando t por t. Dizemos assim que o campo linear uma fonte, ou que a
origem um repulsor linear, ou um n instvel.
Esboo ns estvel-instvel.
N estvel-instvel noutras coordenadas
Autovalores reais distintos com diferente sinal
Autovalores tm diferente sinal: 1 < 0 < 2
A expresso da soluo mostra que toda condio inicial (y1 .0) com y1 6= 0
leva a soluo que vai para a origem quando t + e para o infinito quando
t . O inverso acontece com qualquer condio inicial (0, y2 ), y2 6= 0. Para
y(0) = (y1 , y2 ), y1 y2 6= 0 vamos ter uma mistura destes dois comportamentos.
Dizemos que a origem deste campo linear uma sela.
12

13

Selas para fluxos lineares no plano

Autovalores reais diferentes e um deles nulo
Caso 1 < 0 e 2 = 0
Da expresso da soluo vem que toda soluo y(t) com y(0) = (y1 , y2 ) e
y2 6= 0 horizontal (segunda coordenada constante e igual a y2 ), tendendo para o
eixo y2 quando t + para o infinito quando t .
As solues com y(0) = (y1 , 0) so constantes. O eixo y2 formado por
pontos fixos do fluxo.
Caso 1 > 0 e 2 = 0
Este caso tem o mesmo retrato de fase que o anterior exceto pela inverso do
tempo.
Caso degenerado 1 < 0 = 2

Duas razes reais iguais

Caso em que A = I, mltiplo da identidade
Temos que a soluo x(t) com x(0) = (x1 , x2 ) x(t) = et (x1 .x2 ), t R, ou
seja, todas as solues so semi-retas que se acumulam na origem.
> 0: temos um foco instvel, a origem um repulsor.
< 0: temos um foco estvel, a origem um atrator.
= 0: o campo nulo, todas as solues so constantes.
14

Focos estvel-instvel.

Duas razes iguais mas A no mltiplo de I

Neste caso x0 = Ax conjugado ao sistema



 t
0 1
e
tet
0
tD
.
y =
y = Dy, com e =
0 et
0 0
Para y(0) = (y1 , y2 ) temos y(t) = etD y(0) = et ((y1 + ty2 ), y2 ). Para 6= 0
sabemos que et domina o fator t quando |t| suficientemente grande, portanto o
comportamento das rbitas o mesmo do comportamento do sistema com matriz
diagonal com autovalores iguais exceto que as solues so assintticas
direo invariante dada pelo nico autovetor.
N instvel versus n imprprio instvel ( > 0)
Ns imprprios estveis/instveis/degenerados
Duas razes iguais mas A no mltiplo de I
1. 0 > 0: n imprprio instvel, a origem um repulsor.
2. 0 < 0: n imprprio estvel, a origem um atrator.


0 1
0
3. = 0: o sistema conjugado a y =
y cujas solues para y(0) =
0 0
(y1 , y2 ) so da forma y(t) = (y1 + ty2 , y2 ), t R. As retas horizontais so
percorridas com y1 crescente se y2 > 0 e decrescente se y2 < 0. Ambos
os eixos y1 e y2 so formados por pontos fixados pelo fluxo!
15

N imprprio degenerado

Caso de autovalores complexos

Finalmente, se a ib, a, b R, b 6= 0 so os nicos autovalores (note que
como A e pA () tm coeficientes reais, vale pA () = pA () = pA () e portanto
0 raz se, e s se, 0 raiz de pA ()), ento x0 = Ax conjugado a


a b
0
y =
y = Ja,b y com etJa,b = eat R(t, b),
b a


cos(bt) sin(bt)
onde R(t, b) =
a rotao de ngulo bt radianos no sentido
sin(bt) cos(bt)
16

positivo (anti-horrio) se b > 0; ou no sentido negativo (horrio) se b < 0.

Assim R(t, b) apenas roda os vetores do plano, no modifica seu comprimento; enquanto eat expande ou contrai estes vetores consoante sinal de a.
Centro e espirais estveis/instveis
Dependendo do sinal de a...
a = 0: temos apenas uma rotao, a origem chama-se um centro.
a > 0: todas as solues so curvas espirais que convergem para o origem
quando t e vo para infinito quando t +. A origem diz-se
uma espiral instvel.
a < 0: comportamento igual ao caso a > 0 com tempo invertido. A origem
diz-se espiral estvel.
Esboos de centro e espiral expansiva

Espectro do operador

Comportamento de solues via espectro de A

Vamos agora analisar o comportamento das solues de um sistema linear
0
x = Ax usando apenas o espectro de A.
17

Polinmios so dominados por exponenciais

Dado > 0, para todo k Z+ se tem limt+ et tk = 0. Logo limt+ et p(t) =
0 para todo polinmio p(t) e portanto et p(t) funo limitada para t 0.
A prova deste resultado uma aplicao simples da Regra de lHpital.
Usando este resultado podemos obter as seguintes estimativas.
Parte real negativa e contrao
Proposio
Sejam a = <() < < 0. Ento existe constante K 0 tal que para todo
t 0 se tem, para i = 0, 1
i

|etJ | K et (caso real = a), ou |etJa,b | K et .

De fato, para = a > 0 vale, no caso real = a

tn1 Enn1 
t2 En2
1
+ +
|etJ | |et | In + tEn +
2
(n 1)!


et<() p(|t|) = et e(<()+)t p(|t|)


= et et p(t) Ket , t 0.
0

O caso etJ mais simples ainda.

Parte real negativa no caso complexo
1
O caso etJa,b muito semelhante, pois
 



a b
cos(bt) sin(bt)
at
at
exp t
= e R(t, b) = e
b a
sin(bt) cos(bt)
1
0
e portanto aplicando a Ja,b
= Ja,b
+ En2 vem


2
2 2
n1
2 n1 

t
(E
)
t
(E
)
1
tJa,b
n
n

|e
| |eat | In + tEn2 +
+ +
2
(n 1)! 

de maneira totalmente anloga ao j feito antes.

18

Parte real positiva e contrao para o passado

Aproveitando o resultado j provado, obtemos o seu dual invertendo o tempo.
Proposio
Sejam 0 < < a = <(). Ento existe constante K 0 tal que para todo t 0
se tem, para i = 0, 1
i

|etJ | K et (caso real = a), ou |etJa,b | K et .

Para provar isto s notar que todos os autovalores de Ji so iguais a e
que, para t 0, podemos reduzir ao caso anterior da maneira seguinte
i

|etJ | = |et(J ) | et() = et ,

pois t 0.

i
Analogamente se argumenta para Ja,b
.

Parte real positiva e expanso

Usando um pequeno argumento podemos deduzir que realmente temos expanso de vetores no futuro no caso de autovalores positivos.
Seja v 6= 0 e t 0 observemos que
etA (etA v) = v,

logo |etA (etA v)| = |v|

e portanto |v| |etA | |etA v| o que implica

et
|v|.
K
Segue que todo vetor no nulo sofre expanso pela ao de etA para t > 0
grande o suficiente.
|etA v| |etA |1 |v| (Ket )1 |v| =

Expanso/contrao e (A) direita/esquerda de iR

Usando agora a Forma Cannica de Jordan, obtemos
Proposio
Se o conjunto (A) de todos os autovalores de A (o espectro de A) tem parte
real negativa (sejam eles reais ou complexos), ento existem C, > 0 tais que
|etA | C et para todo t 0.
Para provar isto, usaremos que A pode ser levada na Forma Cannica de Jordan J por uma mudana de coordenadas linear: J = B 1 AB, com B invertvel.
Temos J = diag{J1 , . . . , Jk } e Rn = E1 Ek a decomposio de Rn nos
autoespaos generalizados associados a cada bloco de Jordan, que so invariantes
por J: J | Ei : Ei tem matriz dada por Ji .
19

Prova da contrao para parte real negativa

Seja <() < < 0 para todo (A) = (J). Ento existem Ki > 0
tais que |etJ | Ei | Ki et , t 0 para cada i = 1, . . . , k. Agora usamos a soma
direta Rn = E1 Ek para definir nova norma
kvk := |v1 | + + |vk |,

onde v = v1 + + vk , vi Ei

que satisfaz
tJ

ke k =

k
X

tJ

|e

| Ei |

i=1

k
X

Ki et .

i=1

Mas como kk e || so
equivalentes,

t existe K > 0 tal que K kvk |v| Kkvk,
P
k
tJ

.
portanto |e | K
i=1 Ki e
Finalmente, usamos a mudana de coordenadas
Para terminar

|e | = |Be B | |B| |B | |e | |B| |B |K

tA

tJ

tJ

k
X

Ki et

i=1

Pk Ki para chegar expresso enunciada.
e definimos C = |B| |B 1 |K
i=1
Analogamente mostramos que se A tem todos os autovalores com parte
real positiva, ento etA expande todos os vetores no nulos para t > 0 suficientemente grande.
O caso hiperblico
Visando (por enquanto) reduzir a estes casos simples de expanso/contrao,
dizemos que uma transformao linear A : Rn hiperblica se seu espectro
(A) no intersecta o eixo imaginrio: (A) iR = . Ou seja, A hiperblica
se nenhum dos seus autovalores tem parte real nula.
Se A hiperblica, podemos decompor Rn em soma direta E s E u , onde
E s a soma direta de todos os subespaos vetoriais formados por autovetores generalizados associados a autovalores com parte real negativa;
E u o subespao complementar dado pela soma direta de todos os subespaos vetoriais formados por autovetores generalizados associados a autovalores com parte real positiva.
20

As cotas da hiperbolicidade
Os subespaos E s , E u so invariantes por etA j que so formados por autoespaos generalizados, isto
etA | E : E ,

= s, u.

Portanto, aplicando as Proposies anteriores a cada subespao, obtemos K1 , K2 >

0 e 1 , 2 > 0 tais que
|etA | E s | K1 e1 t

e |etA | E u | K2 e2 t

para t 0. prtico tomar K = max{K1 , K2 } e = min{1 , 2 } para escrever

|etA | E s | Ket

|etA | E u | Ket ,

t 0.

A dimenso de E s diz-se o ndice de x0 = Ax.

A imagem da hiperbolicidade: tipo sela
Se nenhum dos E s , E u se reduz ao vetor nulo, obtemos uma imagem do espao de fase em tudo igual ao de uma sela, mas com subespaos invariantes de
dimenso qualquer.

A imagem da hiperbolicidade: poo ou fonte

Se E s = {~0} ou E u = {~0} temos uma fonte ou um poo, respectivamente.
Veremos que os fluxos lineares hiperblicos so extremamente importantes na teoria das equaes diferenciais.
Uma questo natural se as cotas de hiperbolicidade apresentadas
|etA | E s | Ket

e |etA | E u | Ket ,

t 0.

implicam necessariamente que o espectro de A no intersecta o eixo imaginrio.

21

Autovalores de A e solues de x0 = Ax
Lema
Seja A operador linear em Rn ou Cn e autovalor de A, real ou complexo, e v
autovetor associado. Ento (t) = et v soluo da equao x0 = Ax.
De fato, Av = v = 0 (t) = et v = et (Av) = A(et v) = A (t).
Por cada autovalor real de uma matriz real A, temos algum autovetor v como
acima, e se 0 ento |eAt v| = et |v| no tende para zero quando t +.
Por cada autovalor complexo = a + ib de A, existem dois vetores L.I. u, v
que satisfazem Au = au bv, Av = bu + av e, se <() 0 ento |etA w| =
|eat R(t, b)w| = eat |w| no tende para zero com t + e w = u + v,
, R fixos.
Hiperbolicidade e espectro
Aplicando estas observaes a cada subespao E invariante por etA que seja
contrado, vemos que o espectro de A neste subespao tem que estar contido no
semiplano complexo de parte real negativa.
Analogamente, aplicando ao caso de subespao expandido por etA , vemos que
neste subespao A tem que ter apenas autovalores com parte real positiva.
Ento um fluxo linear etA admite uma decomposio invariante hiperblica E s E u do espao de fase se, e somente se, a matriz real A tem espectro
que no intersecta o eixo imaginrio.

Conjugao de sistemas lineares

A noo de conjugao
Conjugao de fluxos
Dois fluxos (t, x) e (t, x) gerados pelos campos lineares x 7 Ax e x 7 Bx
associados s E.D.O. lineares x0 = Ax e x0 = Bx, dizem-se conjugados se existe
bijeo h : Rn (chamada de conjugao) tal que para todos t R e x Rn
se tem h((t, x)) = (t, h(x)).
Se h isomorfismo linear, C r -homeomorfismo ou apenas homeomorfismo, os
sistemas x0 = Ax e x0 = Bx dizem-se linearmente conjugados, C r conjugados
ou topologicamente conjugados, respectivamente.

22

Esta uma relao de equivalncia entre fluxos (verifique!) que identifica

aqueles fluxos cujas trajetrias ou solues so as mesmas a menos de uma
mudana de coordenadas.
Conjugaes lineares
J vimos vrios exemplos de conjugaes lineares: se A e J so matrizes
semelhantes, isto , se existe B tal que J = B 1 A B, ento sabemos que os
fluxos etJ e etA so linearmente conjugados: etJ = B 1 etA B.
A classificao que fizemos dos sistemas lineares planares um exemplo
de classificao via conjugao linear. Indentificamos desta maneira as diversas
classes de conjugao linear possveis: so as classes de matrizes similares. Isto
se reduz ao seguinte resultado de lgebra Linear: duas matrizes so similares
se, e s se, tm a mesma Forma Cannica de Jordan.
No caso de sistemas lineares, a conjugao diferencivel e a linear coincidem.
Conjugao diferencivel de sistemas lineares
Conjugao diferencivel equivale a linear
Os sistemas x0 = Ax e x0 = Jx so C 1 -diferenciavelmente conjugados se, e s
se, A e J so similares.
De fato, se A J, ento os fluxos lineares so linearmente conjugados e,
portanto, C r -diferenciavelmente conjugados para todo r 1. Reciprocamente,
seja h : Rn homeo C 1 tal que h(etA x) = etJ h(x). Suponha para simplificar
que h(0) = 0. Ento por um lado temos, para cada x Rn




t h(etA x) |t=0 = DhetA x AetA x |t=0 = Dhx Ax




e por outro lado t etJ h(x) t=0 = JetJ h(x) t=0 = Jh(x).
Linearizao da conjugao diferencivel
e se fizemos 0 vem
Se tomarmos x = y obtemos Dhy Ay = J h(y)

Dhy Dh0
0

e tambm

h(y)
Dh0 (y)
0

por continuidade de Dhx e por diferenciabilidade de h em 0, respectivamente.

Ento Dh0 A = J Dh0 e temos a conjugao linear que procurvamos.
23

Se h(0) = c 6= ~0 reduzimos ao caso anterior tomando g(x) = h(x)c e observando que etJ c = etJ h(0) = h(etA 0) = h(0) = c. Portanto g(etA x) = h(etA x) c = etJ h(x) etJ c =
Assim g C 1 -conjugao entre x0 = Ax e x0 = Jx com g(0) = 0 e reduzimos
ao caso anterior, completando a prova.
Conjugao topolgica a um poo linear
Teorema: (caracterizao de poo)
So equivalentes
1. A origem poo para x0 = Ax;
2. todos os autovalores de A tm parte real negativa;
3. existem K, > 0 tais que |etA x| Ket , t 0, x Rn ;
4. x0 = Ax topologicamente conjugado a x0 = x.
J mostramos que as trs primeiras afirmaes so equivalentes. Vamos ver
que (4) = (1) e (3) = (4).
Seja h(etA x) = etIn h(x) conjugao topolgica. Ento h(~0) = ~0 e, como
claramente ~0 poo para x0 = x, vem etIn h(x) ~0 para todo x Rn .
t+

Portanto etA x h1 (~0) = ~0 para todo x Rn e ~0 poo.

t+

Conjugao topolgica a poo

Suponhamos agora que temos (3) e vamos deduzir (4). Seja | | =< , >1/2
a norma euclidiana habitual em Rn e definimos a forma quadrtica
Z
q(x) :=
< etA x, etA x > dt, x Rn .
0

Esta funo est bem definida pela hiptese (3) e fcil ver que definida positiva
e ainda que (verifique!)
d
q(etA x) |t=t0 = < et0 A x, et0 A x >,
dt

x Rn , t0 0.

Isto mostra que o valor de q estritamente decrescente ao longo das rbitas do

fluxo etA x.
24

Fluxo transversal a famlia de elipsides

P
Uma forma quadrtica definida positiva tem a forma q(x) = i x2i a menos
de uma mudana linear de coordenadas. Assim podemos pensar nos conjuntos de
nvel q(x) = r com r > 0 constante como elipsides. O fluxo de etA x sempre
transversal a estes elipsides e voltado para o interior dos elipsides pela forma
como q foi definida.

q=const

Construo da conjugao
Para cada x Rn esperamos que ele toque o elipside q = 1 no ponto y =
t(x)A
e
x (devemos provar que isto sempre acontece) e depois flumos y pelo fluxo
tIn
e
no sentido oposto e no mesmo tempo que demorou a chegar ao elipside:
t(x)In
e
y.

h(x)
y

h
q=1

q=1

Comparao entre q e | |2
Toda forma quadrtica definida positiva admite constantes positivas a < b tais
que a|x|2 q(x) b|x|2 ou seja, comparvel norma euclidiana usual:
basta tomar
a = min{q(x) : |x| = 1}

e b = max{q(x) : |x| = 1}.

25

Consequentemente

d
dt

log q(etA x) satisfaz

1
1
d
|etA x|2
1
tA

q(e
x)
=

tA
tA
a
q(e x) dt
q(e x)
b
e integrando em [0, t] obtemos
t
t
log q(etA x) log q(x) .
a
b

Fluxo atravessa todos os elipsides

Isto o mesmo que et/a q(x) q(etA x) et/b q(x). Portanto, quando
t percorre R a funo q(etA x) percorre todos os reais positivos. Isto o mesmo
que dizer que etA x atravessa todos os elipsides, e na direo que aponta para
o seu interior (devido a dtd q(etA x) < 0, x 6= 0).
Ento podemos definir t(x) como o nico nmero real tal que q(etA x) = 1.
Afirmamos que esta uma funo diferencivel: t : Rn R C .
Isto decorre do Teorema da Funo Implcita aplicado equao G(x, t) =

q(etA x) = 1 j que t
G(x, t) 6= 0 para todo x 6= 0, e G : Rn R R de classe
C .
Definio da conjugao
Usamos agora t(x) para definir a conjugao
h(~0) = ~0,

h(x) = et(x)In et(x)A x = et(x) et(x)A x,

x 6= ~0

fcil ver que h : Rn \ {~0} um homeomorfismo de classe C e que h : Rn

bijeo. Vamos provar a continuidade de h em ~0.
Temos pela escolha de t(x) e de a
 1/2
1
et(x)
et(x)
|h(x)|
q(et(x) et(x)A x)1/2 = q(et(x)A x)1/2 =
a
a
a
e pela escolha de b vem et(x)/b q(x) q(et(x)A x) = 1 ou seja et(x) q(x)b o que
b

garante |h(x)| q(x)

0.
a
x~0

26

Verificao da relao de conjugao

Verificar que h conjugao entre x0 = Ax e x0 = x simples:
h(etA x) = h(e(tt(x))A et(x)A x) = et(x)t et(x)A x
porque para y = etA x temos t(y) = t(x) t, e ento fica
et et(x) et(x)A x = et h(x).
Resta verificar que h1 contnua em ~0 para terminarmos a prova garantindo que
h : Rn homeomorfismo.
A continuidade de h1 em ~0
Seja yn ~0. Vamos provar xn = h1 (yn ) ~0.
n+

n+

Notamos que xn tem que ser limitado, de fato, tem que estar no interior de
q = 1, pela definio de h.

yn

xn

yn

yn

h
q=1

0
q=1

h1 tem que ser contnua

Seja agora x um ponto de acumulao de xn (que existe porque xn limitada
em Rn ). Ento existe subsequncia xnk x e por construo temos
k+

h(xnk ) = ynk 0
k+

e por continuidade h(xnk ) h(x). Como h bijeo, temos x = ~0.

k+

Mostramos que todo ponto de acumulao de xn ~0, ou seja, h1 (~0) = ~0 =

limn+ xn = limn+ h1 (yn ) e isto vale para toda sequncia yn ~0.
n+

Portanto h

contnua em ~0.
27

Invertendo o tempo...
Teorema: (caracterizao de poo)
So equivalentes
1. A origem poo para x0 = Ax;
2. todos os autovalores de A tm parte real negativa;
3. existem K, > 0 tais que |etA x| Ket , t 0, x Rn ;
4. x0 = Ax topologicamente conjugado a x0 = x.
Teorema: (caracterizao de fonte)
So equivalentes
1. A origem uma fonte para x0 = Ax;
2. todos os autovalores de A tm parte real positiva;
3. existem K, > 0 t. q. |etA x| Ket , t 0, x Rn ;
4. x0 = Ax topologicamente conjugado a x0 = x.

Conjugao de sistemas lineares hiperblicos

ndice e conjugao topolgica
Dois sistemas lineares hiperblicos x0 = Ax e x0 = Bx so topologicamente
conjugados se, e s se, tm o mesmo ndice (dimenso do espao estvel).
De fato, se x0 = Ax tem ndice 0 s n, ento temos que o sistema restrito
a E s topologicamente conjugado a x01 = x1 com x1 Rs via h1 : E s Rs ;
e que o sistema restrito a E u topologicamente conjugado a x02 = x2 com x2
Rns via h2 : E u Rns .
Seja h : (h1 , h2 ) : Rn = E s E u Rs Rns = Rn dado por (xs , xu ) 7
(h1 (xs ), h2 (xu )). Ento
h(etA xs , etA xu ) = (h1 (etA xs ), h2 (etA xu )) = (et h1 (xs ), et h2 (xu ))
conjugao com o fluxo gerado por x0 = Hx onde

28

Conjugao entre fluxos hiperblicos lineares

H = diag{1, . . . , 1, 1, . . . , 1} com s vezes 1 e n s vezes 1 na diagonal:
h(etA (xs , xu )) = h(etA xs , etA xu ) = (et h1 (xs ), et h2 (xu ))
= etH (h1 (xs ), h2 (xu ))
= etH h(xs , xu )
Mas como x0 = Bx tem o mesmo ndice, ele vai ser topologicamente conjugado ao mesmo sistema x0 = Hx.
Como a conjugao topolgica uma relao de equivalncia, conclumos que
x = Ax e x0 = Bx so topologicamente conjugados. Portanto sistemas lineares
hiperblicos com ndices iguais so conjugados.
0

Sistemas conjugados tm mesmo ndice

Para a recproca, suponhamos que h(etA x) = etB h(x) com h : Rn homeomorfismo e que A, B so hiperblicos com decomposies Rn = EAs EAu =
EBs EBu . Ento podemos assumir sem perda de generalidade que h(~0) = ~0 (ver
argumento de linearizao de conjugao diferencivel) e
x EAs etA x ~0 = etB h(x) = h(etA x) h(~0) = ~0.
t+

t+

Portanto, x EAs = h(x) EBs , ou seja, h(EAs ) EBs e podemos refazer o

argumento no sentido contrrio para obter analogamente y EBs = h(y)
EAs , e conclumos h(EAs ) = EBs .
Agora usamos o Teorema da Invarincia de Domnio (de Brower) que implica que um homeomorfismo entre Rs e Rl pode existir sse s = l.
Teorema da Invarincia do Domnio
Provas deste teorema com toda a generalidade usualmente usam Topologia
Algbrica, A primeira prova foi dada por Brower em
Brouwer L.E.J. Beweis der Invarianz des n-dimensionalen Gebiets, Mathematische Annalen 71 (1912), pages 305315
e pode tambm se encontrado aqui
Leray, J. "Topologie des espaces abstraits de M. Banach" C.R. Acad. Sci.
Paris, 200 (1935) pp. 10831093.
29

Uma prova deste resultado usando o Teorema do Ponto Fixo de Brower pode
ser encontrada aqui:
http://terrytao.wordpress.com/2011/06/13/ brouwers-fixed-point-and-i
Abundncia de fluxos lineares hiperblicos
Alm de conseguirmos classificar as classes de conjugao dos fluxos lineares
hiperblicos, eles so tambm importantes porque o conjunto dos fluxos lineares
hiperblicos um aberto denso no espao de todos os fluxos lineares x 7 Ax,
na topologia induzida pela mtrica de operadores. Ou seja:
densidade dado qualquer sistema linear x0 = Ax e > 0 existe um operador B
tal que |A B| < e x0 = Bx um sistema linear hiperblico;
abertura dado qualquer sistema linear hiperblico x0 = Ax, existe > 0 tal que
todo sistema linear x0 = Bx cujo operador linear B satisfaa |A B| <
ainda hiperblico.
Dependncia contnua do espectro
Neste sentido, o conjunto dos operadores lineares hiperblico um conjunto
(topologicamente) grande entre todos os fluxos lineares hiperblicos.
Para provar esta afirmao essencial mostrar que os autovalores de um operador linear num espao vetorial de dimenso finita dependem continuamente do
operador.
Lemma (autovalores variam continuamente)
Seja L operador linear de Rn . Dado > 0 existe > 0 tal que, se T operador
(L)
linear de Rn que satisfaz |T L| < , ento para cada (T ) existe

tal que | | < .

O complexificado de um operador real
Para a prova deste teorema til a seguinte construo. Para cada vetor z =
(z1 , . . . , zn ) Cn podemos escrever zj = aj + i bj com aj , bj R e portanto
z = v + iw com v, w Rn unicamente definidos por
v=

z+z
= (a1 , . . . , an ),
2

w=

zz
= (b1 , . . . , bn ).
2i

Neste sentido escrevemos Cn = Rn +iRn e dizemos que Cn o complexificado

de Rn . Tambm definimos o complexificado de um operador L : Rn por
30

LC (z) = L(v) + i L(w). Este um operador C-linear LC : Cn e se C

autovalor de L, ento autovalor de LC , e viceversa.
Autovalores do complexificado
De fato, se {e1 , . . . , en } base para o espao vetorial real Rn , ento o mesmo
conjunto base para Cn como espao vetorial complexo, pois multiplicando por
nmeros complexos obtemos todas as combinaes lineares entre os vetores ej , i
ej , j = 1, . . . , n.
Portanto, a matriz do operador LC em relao a esta base a mesma
que a matriz de L. Portanto, os valores de C para os quais pL () =
det(LC Id) = 0 so as mesmas razes do polinmio caracterstico de L.
Ento para cada (L) = (LC ) existe um autovetor ~0 6= z Cn , que
podemos assumir normalizado, tal que || = |z| = |LC (z)| |LC | = |L|.
Localizao dos autovalores
Usamos a norma usual de C para definir a norma em Cn e da a norma de
operador em Cn , que uma extenso natural da norma de operador em Rn , j que
desta maneira |z|2 = |v|2 + |w|2 .
Assim, se |T L| < 1, ento |T | 1 + |L| e (T ) D = B(0, 1 + |L|).
Seja V a unio das bolas de raio e centro nos elementos de (L), com > 0
pequeno o suficiente para que V B(0, 1 + |L|).
Para cada D \ V temos pL () = det(LC Id) 6= 0 e, por continuidade
de (L, ) Mn,n (R) C 7 pL () C existe vizinhana U de em C e > 0
tal que se |T L| < e
U , ento det(TC
Id) 6= 0, e

/ (T ).
Localizao dos autovalores
Controle dos autovalores
Como a famlia {U , D \ V } cobertura aberta do compacto D \ V ,
podemos extrair subcobertura finita U1 , . . . , Uk e tomar = min{1 , . . . , k }
para deduzir que, se |T L| < , ento pT () 6= 0, D \ V .
(T )
Como (T ) D, isto garante que (T ) V , ou seja, para cada

existe algum (L) tal que | | < , como queramos provar.

31

iIR

1+|L|
(T)
IR
(L)
V

Se os autovalores de L so todos distintos (no h autovalor que seja raiz

do polinmio caracterstico com multiplicidade maior do que 1), ento este
lema garante que eles variam continuamente com o operador.
Autovalores repetidos (multiplicidade > 1)
Seja (L) raz de pL com multiplicidade m e E(L, ) Cn o ncleo de
(LC Id)m . Ento dim E(L, ) = m e N ((LC Id)k ) = E(L, ) para todo
k > m.
Lema (continuidade para autovalores repetidos)
Existem , > 0 tais que, se |T L| < , ento a soma das multiplicidades dos
autovalores de T contidos em B(, ) no mximo m.
Argumentamos por absurdo e assumimos que para todos os , > 0 exista
operador T tal que |T L| < e o nmero de razes de pT contadas com multiplicidade dentro de B(, ) seja maior do que m.
Soma das multiplicidades m
Existe m0 > m e uma sequncia de operadores Lj L com j,1 , . . . , j,m0
(Lj ) que convergem para (estes autovaloes de Lj podem ser repetidos consoante sua multiplicidade). Seja Ej = N ((Lj,C j,1 Id) (Lj,C j,m0 Id)).
Ento dim Ej = m0 e tomemos ej1 , . . . , ejm0 uma base o.n. para Ej em Cn . Pela
32

compacidade da esfera unitria de Cn podemos tomar subsequncia convergente

ejkl ek , k = 1, . . . , m0 e {e1 , . . . , em0 } so ortonormados e geram um subejl

spao E de dimenso m0 .
0

Mas (Lj,C j,1 Id) (Lj,C j,m0 Id) converge para (LC Id)m quando
0
Uma contradio com a dimenso m deste
j e N ((LC Id)m ) E.
ncleo. O lema est provado.
Prova da continuidade dos autovalores
Proposio
Os autovalores de um operador linear L : Rn dependem continuamente de L.
Sejam 1 , . . . , k os autovalores distintos de L com multiplicidades n1 , . . . , nk .
Pelo primeiro lema, dado > 0 existe > 0 t.q. se |T L| < , ento (T )
est contido em -bolas em torno dos elementos de (L). Resta mostrar que a
soma das multiplicidades dos elementos de (T ) contidos na bola em torno de
j , exatamente nj . Usamos agora a dimenso finita do espao: pelo segundo
lema esta soma nj . Se para algum j esta soma fosseP< nj , ento a soma de
todas as multiplicidades dos elementos de (T ) seria < j nj = n, o que uma
contradio pois pT e pL tm grau n.
Estabilidade estrutural dos campos hiperblicos
Corolrio
Seja L : Rn que gera um campo linear hiperblico. Ento existe vizinhana V
em Mn,n (R) de L tal que todo T V tem o mesmo ndice que L. Consequentemente todo T V topologicalmente conjugado a L.
A concluso desta afirmao a estabilidade estrutural dos campos lineares
hiperblicos. Ela mostra que os campos lineares hiperblicos so, em particular,
um subconjunto aberto entre todos os campos lineares, com a topologia induzida
pela norma de operadores.
Proposio
Seja L campo linear estruturalmente estvel. Ento L hiperblico.
Instabilidade estrutural de campos no hiperblicos

33

Para provar a ltima afirmao vamos mostrar que todo campo linear no
hiperblico pode ser aproximado por campos hiperblicos arbitrariamente prximos com ndices diferentes. Ou seja, todo campo linear no hiperblico no pode
ser estruturalmente estvel.
Seja L : Rn linear que gera campo no hiperblico e tomemos = min{|a| :
a+bi autovalor de L com a 6= 0}. Tome agora 0 < t < e os operadores L+tId
e L tId.
Estes operadores so campos hiperblicos com ndices diferentes, pois (L
tId) = (L) t e os autovalores com parte real nula passam a ter, num caso,
parte real positiva, e noutro caso, parte real negativa.
Transladando o espectro de um operador
iIR

+t
IR

A densidade de campos hiperblicos

Alm disso, os autovalores com parte real no nula no tm o sinal de sua
parte real alterado.
Este argumento tambm prova a densidade de campos hiperblicos, pois
os campos gerados por L tId so hiperblicos e arbitrariamente prximos de L.
De fato, so -prximos com podendo ser to pequeno quanto necessrio.

34

Resumindo: os campos hiperblicos so os nicos estruturalmente estveis

e tambm aqueles cuja dinmica podemos facilmente classificar simplesmente
conhecendo seu ndice.
Estas propriedades sero exploradas para compreender o comportamento local
de campos no lineares, como veremos mais adiante.

35