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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

A ELÁSTICA: UM EXEMPLO DE DIMENSÃO INFINITA 36<br />

é o complemento ortogonal <strong>de</strong> R{cos} em X com respeito ao produto interno<br />

〈u, v〉 =<br />

π<br />

Do mesmo modo, <strong>de</strong>compomos Y na seguinte soma direta<br />

on<strong>de</strong> N = (Im(L)) ⊥ .<br />

0<br />

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

Y = N ⊕ Im(L), (3.18)<br />

A próxima proposição dará uma expressão equivalente para o espaço com-<br />

plementar N anterior.<br />

Proposição 3.2. (Im(L)) ⊥ = Nuc(L ∗ ).<br />

Demonstração da proposição 3.2: Observamos que v ∈ Nuc(L ∗ ) se, e<br />

somente se, L ∗ v = 0. Mas L ∗ v = 0 se, e somente se, 〈u, L ∗ v〉 = 0 para todo<br />

u ∈ Im(L). Pela <strong>de</strong>finição <strong>de</strong> operador adjunto temos que 〈u, L ∗ v〉 = 0 para<br />

todo u ∈ Im(L) se, e somente se, 〈Lu, v〉 = 0 para todo v ∈ Im(L), ou seja,<br />

v ∈ (Im(L)) ⊥ . <br />

Proposição 3.3. L é auto-adjunta, isto é, 〈Lu, v〉 = 〈u, Lv〉 para todo u, v.<br />

Portanto vale a seguinte expressão:<br />

N = Nuc(L ∗ ) = Nuc(L) = R{cos}. (3.19)<br />

Demonstração Usando (3.14), para provar que 〈Lu, v〉 = 〈u, Lv〉, basta<br />

<strong>de</strong>monstrar a igualda<strong>de</strong><br />

π<br />

0<br />

π<br />

0<br />

[u ′′ (ξ) + λu(ξ)]v(ξ)dξ =<br />

π<br />

0<br />

[v ′′ (ξ) + λv(ξ)]u(ξ)dξ, ou seja,<br />

u ′′ π<br />

π<br />

(ξ)v(ξ)dξ + λ u(ξ)v(ξ)dξ = u(ξ)v<br />

0<br />

0<br />

′′ π<br />

(ξ)dξ + λ u(ξ)v(ξ)dξ.<br />

0<br />

Resta então verificarmos que<br />

π<br />

0<br />

u ′′ (ξ)v(ξ)dξ =<br />

π<br />

0<br />

u(ξ)v ′′ (ξ)dξ. (3.20)

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

Saved successfully!

Ooh no, something went wrong!