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
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
PRIMEIRA VISÃO DA REDUÇÃO DE LIAPUNOV-SCHMIDT 16<br />
com Nuc(E) = N. Consi<strong>de</strong>remos também a projeção complementar<br />
com Nuc(I − E) = Im(L).<br />
(I − E) : R n −→ N<br />
Proposição 1.1. Dado v ∈ R n temos que v = 0 se, e somente se, Ev = 0 e<br />
(I − E)v = 0.<br />
Demonstração:<br />
A implicação é trivial. Vejamos a recíproca. Seja<br />
v ∈ (Nuc(E) Nuc(I − E)). Como as projeções E e I − E são projeções<br />
complementares, temos que (Nuc(E) Nuc(I − E)) = {0}, ou seja, v = 0. <br />
De acordo com a proposição 1.1, o sistema <strong>de</strong> equações (1.1) po<strong>de</strong> ser<br />
expandido para um equivalente par <strong>de</strong> equações da forma<br />
(a)EΦ(y, α) = 0, (b)(I − E)Φ(y, α) = 0. (1.6)<br />
A idéia básica da Redução <strong>de</strong> <strong>Liapunov</strong>-<strong>Schmidt</strong> é que (1.6a) po<strong>de</strong> ser<br />
resolvido para n − 1 das y variáveis, e substituindo esses n − 1 valores em<br />
(1.6b) encontramos o restante <strong>de</strong>sconhecido. Vamos explicar melhor essa idéia.<br />
Primeiro aplicamos o Teorema da Função Implícita para mostrarmos que (1.6a)<br />
po<strong>de</strong> ser resolvido para n − 1 das y variáveis. Utilizando a <strong>de</strong>composição (1.4)<br />
po<strong>de</strong>mos escrever qualquer vetor y ∈ R n da forma y = v +w, on<strong>de</strong> v ∈ Nuc(L)<br />
e w ∈ M. Escrevemos então a equação (1.6a) como<br />
EΦ(v + w, α) = 0. (1.7)<br />
Em outras palavras, estamos pensando em (1.7) como uma aplicação<br />
F : Nuc(L) × M × R k+1 −→ Im(L) dada por<br />
F (v, w, α) = EΦ(v + w, α).<br />
Proposição 1.2. Existe uma vizinhança Ω ⊂ Nuc(L) × R k+1 do ponto (0, 0)<br />
e uma aplicação W : Ω −→ M, a qual satisfaz<br />
para todo (v, α) ∈ Ω e W (0, 0) = 0.<br />
EΦ(v + W (v, α), α) ≡ 0