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 69<br />
(a) p(0, 0, 0) = 0, (b) q(0, 0, 0) = 0,<br />
(c) ∂p<br />
∂τ<br />
∂q<br />
(0, 0, τ) = 0 (d) (0, 0, τ) = −1.<br />
∂τ<br />
(4.47)<br />
Demonstração: Para a <strong>de</strong>monstração <strong>de</strong>ste lema, necessitamos provar<br />
inicialmente a seguinte afirmação.<br />
Afirmação: Seja φ : R 2 → R 2 uma aplicação diferenciável que comuta com a<br />
ação (4.23). Então existem funções diferenciáveis p(z), q(z) <strong>de</strong> uma variável<br />
real, tais que<br />
φ(x, y) = p(x 2 + y 2 )<br />
De fato, escrevemos φ da seguinte forma<br />
<br />
x<br />
y<br />
<br />
+ q(x 2 + y 2 )<br />
φ(x, y) = (φ1(x, y), φ2(x, y)).<br />
Sabemos que φ comuta com qualquer θ ∈ S 1 , em particular comuta com θ = π.<br />
Sendo π(x, y) = (−x, −y), temos que<br />
Logo, se x = 0 e y = 0, então<br />
<br />
φ(−x, −y) = (−φ1(x, y), −φ2(x, y)).<br />
φj(−s, 0) = −φj(s, 0), j = 1, 2.<br />
Em outras palavras, cada componente φj(s, 0) é uma função ímpar na variável<br />
s. Sendo assim, po<strong>de</strong>mos escrever<br />
para funções diferenciáveis p e q.<br />
−y<br />
φ1(s, 0) = p(s 2 )s; φ2(s, 0)s = q(s 2 )s,<br />
De modo geral, para qualquer ponto (x, y) do plano, po<strong>de</strong>mos encontrar<br />
x<br />
<br />
.