Autovalores do Laplaciano - Departamento de Matemática - UFMG

Autovalores do Laplaciano - Departamento de Matemática - UFMG Autovalores do Laplaciano - Departamento de Matemática - UFMG

09.05.2013 Views

Capítulo 7 Aproximação de Autovalores do Laplaciano Neste capítulo desejamos mostrar que tanto os autovalores da matriz de discretização, quanto os autovalores da matriz de rigidez, são aproximações para os autovalores do laplaciano, o que produz métodos numéricos para encontrar os autovalores do laplaciano em domínios arbitrários. 7.1 Elementos Finitos Como vimos, o problema de autovalor para o laplaciano com condição de Dirichlet −∆u = λu em Ω, u = 0 sobre ∂Ω, pode ser formulado variacionalmente como onde a (u, v) = λ 〈u, v〉 L 2 (Ω) a (u, v) = 〈∇u, ∇v〉 L2 (Ω) = (7.1) para todo v ∈ V = W 1,2 0 (Ω) , (7.2) Ω ∇u · ∇v. A discretização correspondente de Ritz-Galerkin (isto é, elementos finitos) do problema de autovalor é a (uh, v) = λh 〈uh, v〉 L 2 (Ω) para todo v ∈ Vh. (7.3) Escolhendo uma base B = {ϕ1, . . . , ϕn} para Vh, de modo que e a (uh, v) = 〈uh, v〉 L 2 (Ω) = uh = n uiϕi, v = i=1 n uia (ϕi, ϕj) vj = i,j=1 n i=1 viϕi n ui 〈∇ϕi, ∇ϕj〉 L2 (Ω) vj = u t hAv, i,j=1 n ui 〈ϕi, ϕj〉 L2 (Ω) vj = u t hMv, i,j=1 131

Rodney Josué Biezuner 132 onde é a matriz de rigidez e A = M = 〈∇ϕi, ∇ϕj〉 L2 (Ω) 1i,jn 〈ϕi, ϕj〉 L2 (Ω) 1i,jn é a chamada matriz de massa, este problema toma a seguinte forma matricial: Auh = λhMuh. (7.4) Ou seja, é um problema de autovalor generalizado. Para transformá-lo em um problema de autovalor “normal”, observe que a matriz de massa é simétrica e positiva definida, pois se ξ = (ξ1, . . . , ξn) ∈ Rn é um vetor não-nulo e v = n ξiϕi, temos i=1 〈Mξ, ξ〉 = Logo, podemos decompor n n n 〈ϕi, ϕj〉 L2 (Ω) ξiξj = ξiϕi, i,j=1 i=1 M = B t B j=1 ξjϕj L 2 (Ω) = 〈v, v〉 L 2 (Ω) > 0. onde B também é simétrica positiva definida (por exemplo, a menos de similaridade ortogonal, B = M 1/2 ). Definindo A = B −t AB −1 , uh = Buh, o problema de autovalor generalizado (7.4) é transformado no problema de autovalor: Os autovalores em ambos os problemas são iguais, mas não as autofunções. 7.1.1 Resultados Preliminares Auh = λhuh. (7.5) De agora em diante, além da continuidade e coercividade da forma bilinear a (no caso da equação de Poisson, observe que podemos tomar a constante de coercividade igual a 1 usando a norma equivalente em W 1,2 0 (Ω)) e do fato que W 1,2 0 (Ω) está compactamente imerso em L 2 (Ω), assumiremos que {Vhi}, hi → 0, será sempre uma seqüência de subespaços de dimensão finita de V que aproximam V no sentido que ou, dito de outro modo, lim dist (u, Vhi ) = 0 para todo u ∈ V (7.6) hi→0 lim hi→0 inf {u − uhV : uh ∈ Vhi} para todo uh ∈ V. (7.7) Nestas condições, pode-se provar que a solução uh dada pelo método de elementos finitos converge na norma de V para a solução exata u (veja [Hackbusch]). Uma condição suficiente para assegurar (7.6) é que Vh1 ⊂ Vh2 ⊂ . . . ⊂ Vhi ⊂ Vhi+1 ⊂ . . . ⊂ V e ∞ i=1 Vhi é denso em V. (7.8)

Capítulo 7<br />

Aproximação <strong>de</strong> <strong>Autovalores</strong> <strong>do</strong><br />

<strong>Laplaciano</strong><br />

Neste capítulo <strong>de</strong>sejamos mostrar que tanto os autovalores da matriz <strong>de</strong> discretização, quanto os autovalores<br />

da matriz <strong>de</strong> rigi<strong>de</strong>z, são aproximações para os autovalores <strong>do</strong> laplaciano, o que produz méto<strong>do</strong>s numéricos<br />

para encontrar os autovalores <strong>do</strong> laplaciano em <strong>do</strong>mínios arbitrários.<br />

7.1 Elementos Finitos<br />

Como vimos, o problema <strong>de</strong> autovalor para o laplaciano com condição <strong>de</strong> Dirichlet<br />

−∆u = λu em Ω,<br />

u = 0 sobre ∂Ω,<br />

po<strong>de</strong> ser formula<strong>do</strong> variacionalmente como<br />

on<strong>de</strong><br />

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

<br />

a (u, v) = 〈∇u, ∇v〉 L2 (Ω) =<br />

(7.1)<br />

para to<strong>do</strong> v ∈ V = W 1,2<br />

0 (Ω) , (7.2)<br />

Ω<br />

∇u · ∇v.<br />

A discretização correspon<strong>de</strong>nte <strong>de</strong> Ritz-Galerkin (isto é, elementos finitos) <strong>do</strong> problema <strong>de</strong> autovalor é<br />

a (uh, v) = λh 〈uh, v〉 L 2 (Ω) para to<strong>do</strong> v ∈ Vh. (7.3)<br />

Escolhen<strong>do</strong> uma base B = {ϕ1, . . . , ϕn} para Vh, <strong>de</strong> mo<strong>do</strong> que<br />

e<br />

a (uh, v) =<br />

〈uh, v〉 L 2 (Ω) =<br />

uh =<br />

n<br />

uiϕi, v =<br />

i=1<br />

n<br />

uia (ϕi, ϕj) vj =<br />

i,j=1<br />

n<br />

i=1<br />

viϕi<br />

n<br />

ui 〈∇ϕi, ∇ϕj〉 L2 (Ω)<br />

vj = u t hAv,<br />

i,j=1<br />

n<br />

ui 〈ϕi, ϕj〉 L2 (Ω)<br />

vj = u t hMv,<br />

i,j=1<br />

131

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

Saved successfully!

Ooh no, something went wrong!