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 57<br />
e seja<br />
v ∗ 1(s) = Re(e is d), v ∗ 2(s) = Im(e is d). (4.36)<br />
Então, com cálculos análogos aos feitos no item (a), concluímos que<br />
{v ∗ 1, v ∗ 2} é base para Nuc(L ∗ ).<br />
com a seguinte afirmação.<br />
É <strong>de</strong> nosso interesse normalizar d <strong>de</strong> acordo<br />
Afirmação 3: O autovetor d po<strong>de</strong> ser escolhido tal que<br />
(a) d t c = 2, (b) d t c = 0. (4.37)<br />
De fato, seja a um autovetor qualquer <strong>de</strong> A t 0. Temos que A t 0a = µa.<br />
Então<br />
−ia t c = a t (A0c) = [A t 0a] t c = µa t c (4.38)<br />
Assim a t c = 0 se µ = −i. Em particular segue (4.37b). Queremos que<br />
d t c = 0. Suponhamos, por contradição que d t c = 0. Então c é ortogonal<br />
para todo autovetor <strong>de</strong> A t 0. Por hipótese, c é ortogonal a d, o qual é<br />
autovetor <strong>de</strong> A t 0 associado ao autovetor −i, por (4.38) c é ortogonal a<br />
todos os outros. Isso nos diz que c = 0, o que é um absurdo! Logo<br />
d t c = 0 e po<strong>de</strong>mos normalizar d <strong>de</strong> modo que d t c = 2. Isso conclui a<br />
prova da afirmação 3.<br />
Com essa normalização para d, temos as seguintes fórmulas para os pro-<br />
dutos internos entre vj e v∗ k , com j, k = 1, 2.<br />
(a) 〈v ∗ j , v ∗ k〉 = dt dδjk<br />
2<br />
,<br />
(b) 〈v ∗ j , vk〉 = δjk, (4.39)<br />
(c) 〈vj, vk〉 = δjk.<br />
on<strong>de</strong> δij = 1, se i = j, e δij = 0, se j = i.<br />
Para tais cálculos usamos as seguintes relações trigonométricas:<br />
(i) sen 2 x + cos 2 x = 1.<br />
(ii) cos(2x) = cos 2 x − sen 2 x.<br />
(iii) sen(2x) = 2sen(x)cos(x).<br />
(iv) 2sen 2 x = 1 − cos(2x).