16.04.2013 Views

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

SHOW MORE
SHOW LESS

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)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!