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 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.