Ricardo Nicasso Benito A Reduç˜ao de Liapunov-Schmidt ... - Unesp
Ricardo Nicasso Benito A Reduç˜ao de Liapunov-Schmidt ... - Unesp
Ricardo Nicasso Benito A Reduç˜ao de Liapunov-Schmidt ... - Unesp
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
A BIFURCAÇÃO DE HOPF 53<br />
então, a ação <strong>de</strong> S 1 sobre Nuc(L) é dada por<br />
θ<br />
<br />
x<br />
y<br />
<br />
=<br />
<br />
cos(θ) −sen(θ)<br />
sen(θ) cos(θ)<br />
<br />
x<br />
y<br />
<br />
. (4.23)<br />
Em outras palavras, θ age sobre R 2 por uma rotação anti-horária <strong>de</strong> um<br />
ângulo θ.<br />
(c) Existe uma <strong>de</strong>composição invariante <strong>de</strong> C2π dada por<br />
C2π = Im(L) ⊕ Nuc(L). (4.24)<br />
Essa <strong>de</strong>composição induz uma <strong>de</strong>composição <strong>de</strong> C 1 2π<br />
on<strong>de</strong> M = (Im(L)) ∩ C 1 2π.<br />
Demonstração do Lema 4.6<br />
C 1 2π = Nuc(L) ⊕ M, (4.25)<br />
(a) Consi<strong>de</strong>remos o sistema linear <strong>de</strong> EDO’s com coeficientes constantes<br />
Lu = 0, u ∈ C 1 2π,<br />
on<strong>de</strong> L = d<br />
+ A0.<br />
ds<br />
Sabe-se que os autovalores (pela hipótese (4.2)) são ±i, α3, α4, . . . , αn<br />
on<strong>de</strong> os αj não estão no eixo imaginário, para todo j = 3, 4, . . . , n.<br />
Isso implica, usando a teoria <strong>de</strong> EDO’s lineares, que existe uma base<br />
<strong>de</strong> soluções {u1(s), u2(s), . . . , un(s)} tal que u1(s) e u2(s) (associados aos<br />
autovalores ±i) são 2π-periódicos e os outros não são 2π-periódicos <strong>de</strong>vi-<br />
do a hipótese (4.2). Observemos que se (α + iβ) é autovalor e (u1 + iu2)<br />
é seu autovetor correspon<strong>de</strong>nte, temos que<br />
e (α+iβ)s (u1 + iu2) = [e αs cos(βs) + ie αs sen(βs)](u1 + iu2)<br />
= e αs cos(βs).u1 − e αs sen(βs).u2 + i[e αs cos(βs).u2 + e αs sen(βs).u1]<br />
= e αs [cos(βs).u1 − sen(βs).u2] +i e<br />
<br />
αs [cos(βs).u2 + sen(βs).u1]<br />
<br />
v1<br />
v2<br />
(4.26)