09.05.2013 Views

Autovalores do Laplaciano - Departamento de Matemática - UFMG

Autovalores do Laplaciano - Departamento de Matemática - UFMG

Autovalores do Laplaciano - Departamento de Matemática - UFMG

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

Rodney Josué Biezuner 133<br />

Defina a forma bilinear<br />

aλ (u, v) = a (u, v) − λ 〈u, v〉 L 2 (Ω) . (7.9)<br />

Se a é coerciva com constante <strong>de</strong> coercivida<strong>de</strong> α, então aλ também é coerciva para to<strong>do</strong> |λ| < α (veja Lema<br />

7.2 a seguir). Em seguida, consi<strong>de</strong>re os números<br />

ω (λ) = inf<br />

u∈V<br />

sup<br />

v∈V<br />

uV =1 vV =1<br />

ωh (λ) = inf<br />

u∈Vh<br />

uV =1<br />

sup<br />

v∈Vh<br />

v V =1<br />

|aλ (u, v)| , (7.10)<br />

|aλ (u, v)| . (7.11)<br />

A relação entre os números ω (λ) e ωh (λ) e os respectivos problemas <strong>de</strong> autovalores é dada pelos Lemas 7.1<br />

e 7.2 a seguir.<br />

A uma forma bilinear contínua a : V × V −→ R po<strong>de</strong>mos associar <strong>de</strong> forma única um opera<strong>do</strong>r linear<br />

contínuo L : V −→ V ′ que satisfaz<br />

a (u, v) = (Lu) (v) . (7.12)<br />

Além disso, se<br />

para to<strong>do</strong>s u, v ∈ V , então<br />

|a (u, v)| C u V v V<br />

L C.<br />

7.1 Lema. Sejam L e Lh os opera<strong>do</strong>res lineares associa<strong>do</strong>s às formas bilineares a : V × V −→ R e a :<br />

Vh × Vh −→ R, respectivamente.<br />

Se λ não é um autovalor, temos<br />

1<br />

ω (λ) = <br />

<br />

(L − λI) −1 ,<br />

<br />

1<br />

ωh (λ) = <br />

<br />

(Lh − λI) −1 .<br />

<br />

Prova. Se λ não é um autovalor, então o opera<strong>do</strong>r linear L − λI é invertível pela alternativa <strong>de</strong> Fredholm.<br />

Observe que L − λI é precisamente o opera<strong>do</strong>r linear associa<strong>do</strong> à forma bilinear aλ. Denotan<strong>do</strong> A = L − λI,<br />

temos<br />

ω (λ) = inf sup<br />

u∈V v∈V<br />

u=0 v=0<br />

= inf<br />

u ′ ∈V ′<br />

u ′ =0<br />

=<br />

1<br />

A −1 .<br />

|aλ (u, v)|<br />

u V v V<br />

1<br />

A −1 u ′ V<br />

A <strong>de</strong>monstração para ωh (λ) é análoga. <br />

= inf sup<br />

u∈V v∈V<br />

u=0 v=0<br />

|u<br />

sup<br />

v∈V<br />

v=0<br />

′ (v)|<br />

= inf<br />

vV u ′ ∈V ′<br />

u ′ =0<br />

|(Au) (v)|<br />

u V v V<br />

1<br />

= inf<br />

A −1 u ′ V<br />

7.2 Lema. λ é um autovalor <strong>de</strong> (7.2) se e somente se ω (λ) = 0.<br />

λh é um autovalor <strong>de</strong> (7.3) se e somente se ωh (λh) = 0.<br />

u ′ ∈V ′<br />

u ′ =0<br />

sup<br />

v∈V<br />

v=0<br />

u ′ V<br />

<br />

AA −1 u ′ (v) <br />

A −1 u ′ V v V<br />

Prova. Se λ é um autovalor <strong>de</strong> (7.2), então por <strong>de</strong>finição existe u ∈ V tal que aλ (u, v) = 0 para to<strong>do</strong> v ∈ V ,<br />

<strong>do</strong>n<strong>de</strong> ω (λ) = 0. Reciprocamente, se λ não é um autovalor, pelo lema anterior ω (λ) = 0. A <strong>de</strong>monstração<br />

para ωh (λ) é análoga.

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

Saved successfully!

Ooh no, something went wrong!