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 REDUÇÃO DE LIAPUNOV-SCHMIDT 21<br />

ou seja, L é sobrejetora com imagem <strong>de</strong> L igual ao contradomínio <strong>de</strong> L, sendo<br />

portanto invertível. Assim, temos a seguinte implicação para operadores <strong>de</strong><br />

Fredholm <strong>de</strong> índice zero:<br />

Se Nuc(L) = {0}, então L é invertível.<br />

No contexto <strong>de</strong> operadores diferenciáveis, X e Y, em geral, são subespaços do<br />

espaço <strong>de</strong> Hilbert L 2 (Ω), on<strong>de</strong> Ω é um domínio limitado no R n . Esse espaço<br />

tem o produto interno usual<br />

<br />

〈u, v〉 =<br />

Ω<br />

u(ξ)v(ξ)dξ. (2.1)<br />

Discutiremos agora o uso do complemento ortogonal nos ítens (a) e (b) da<br />

Proposição 2.3, isto é,<br />

(a) M = (Nuc(L)) ⊥<br />

(b) N = (Im(L)) ⊥<br />

(2.2)<br />

Em geral X e Y não são completos com respeito ao produto interno (2.1).<br />

Por exemplo, X po<strong>de</strong>ria ser C k (Ω) e Y ser C(Ω), isto é, o espaço das funções<br />

<strong>de</strong> classe C k <strong>de</strong>finidas em Ω e o espaço das funções contínuas <strong>de</strong>finidas em Ω,<br />

respectivamente. Desse modo, para um subespaço <strong>de</strong> dimensão infinita S ⊂ Y,<br />

nem sempre é válido que Y = S ⊕ S ⊥ . Todavia, a <strong>de</strong>composição Y = S ⊕ S ⊥<br />

é válida nos seguintes casos especiais:<br />

(a) S tem dimensão finita.<br />

(b) S é imagem <strong>de</strong> um operador diferenciável elíptico.<br />

Veja o apêndice A para uma discussão sobre operadores diferenciais elípticos.<br />

No caso (a) usamos o processo <strong>de</strong> ortogonalização <strong>de</strong> Gram-<strong>Schmidt</strong>. Para<br />

o caso (b), <strong>de</strong> maneira resumida, a discussão gira em torno da alternativa<br />

Fredholm,<br />

on<strong>de</strong> L ∗ é a adjunta <strong>de</strong> L.<br />

Observação 2.4.<br />

(Im(L)) ⊥ = Nuc(L ∗ ) (2.3)<br />

(i) A equação (2.3) fornece uma escolha particular para N no item (b) da<br />

proposição 2.3 que geralmente é mais conveniente em aplicações.

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

Saved successfully!

Ooh no, something went wrong!