Autovalores do Laplaciano - Departamento de Matemática - UFMG
Autovalores do Laplaciano - Departamento de Matemática - UFMG Autovalores do Laplaciano - Departamento de Matemática - UFMG
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)
- Page 81 and 82: Rodney Josué Biezuner 80 3.10 Teor
- Page 83 and 84: Rodney Josué Biezuner 82 Da defini
- Page 85 and 86: Rodney Josué Biezuner 84 3.6.1 Esq
- Page 87 and 88: Capítulo 4 Métodos Iterativos par
- Page 89 and 90: Rodney Josué Biezuner 88 4.1.2 Mé
- Page 91 and 92: Rodney Josué Biezuner 90 ou seja,
- Page 93 and 94: Rodney Josué Biezuner 92 4.2.1 Con
- Page 95 and 96: Rodney Josué Biezuner 94 para t su
- Page 97 and 98: Rodney Josué Biezuner 96 4.7 Corol
- Page 99 and 100: Rodney Josué Biezuner 98 Por outro
- Page 101 and 102: Rodney Josué Biezuner 100 Suponha
- Page 103 and 104: Rodney Josué Biezuner 102 ou Se λ
- Page 105 and 106: Rodney Josué Biezuner 104 Para o c
- Page 107 and 108: Rodney Josué Biezuner 106 Reciproc
- Page 109 and 110: Rodney Josué Biezuner 108 Temos ω
- Page 111 and 112: Rodney Josué Biezuner 110 se ∆x
- Page 113 and 114: Rodney Josué Biezuner 112 A escolh
- Page 115 and 116: Rodney Josué Biezuner 114 a conver
- Page 117 and 118: Rodney Josué Biezuner 116 ou e k+1
- Page 119 and 120: Rodney Josué Biezuner 118 4.31 Cor
- Page 121 and 122: Capítulo 5 Métodos Multigrid 5.1
- Page 123 and 124: Rodney Josué Biezuner 122 6.1 Prop
- Page 125 and 126: Rodney Josué Biezuner 124 é chama
- Page 127 and 128: Rodney Josué Biezuner 126 como vé
- Page 129 and 130: Rodney Josué Biezuner 128 No caso
- Page 131: Rodney Josué Biezuner 130 Prova. C
- Page 135 and 136: Rodney Josué Biezuner 134 7.3 Coro
- Page 137 and 138: Rodney Josué Biezuner 136 Como seg
- Page 139 and 140: Rodney Josué Biezuner 138 Prova. O
- Page 141 and 142: Capítulo 8 Métodos Numéricos par
- Page 143 and 144: Rodney Josué Biezuner 142 o maior
- Page 145 and 146: Rodney Josué Biezuner 144 com q1
- Page 147 and 148: Rodney Josué Biezuner 146 e depois
- Page 149 and 150: Rodney Josué Biezuner 148 8.3.2 Im
- Page 151 and 152: Rodney Josué Biezuner 150 Pode-se
- Page 153 and 154: Rodney Josué Biezuner 152 Observe
- Page 155 and 156: Referências Bibliográficas [Asmar
- Page 157: Rodney Josué Biezuner 156 [Thomas2
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