Autovalores do Laplaciano - Departamento de Matemática - UFMG
Autovalores do Laplaciano - Departamento de Matemática - UFMG Autovalores do Laplaciano - Departamento de Matemática - UFMG
Rodney Josué Biezuner 135 para todos u, v ∈ V , para todo λ ∈ K, e β = α − |µ| . (7.19) Consideremos a primeira desigualdade, (7.13). Da definição de ω (λ), segue que para todo u ∈ V vale ω (λ) uV sup |aλ (u, v)| = sup |aµ (u − z, v)| Cµ u − zV . (7.20) v∈V v∈V vV =1 vV =1 Usando o Lema 7.4 e esta última desigualdade escrevemos então sup |aλ (u, v)| = sup |aµ (u − zh, v)| v∈Vh v∈Vh vV =1 vV =1 ωh (µ) u − zh V para todo u ∈ V . Escolhendo u ∈ Vh tal que u V = 1 e obtemos ωh (λ) = inf u∈Vh uV =1 sup v∈Vh v V =1 β u − zhV β (u − zV − z − zhV ) ω (λ) β − Zλ − Z h λ Cµ |aλ (u, v)| = min u∈Vh ωh (λ) β Cµ sup v∈Vh uV =1 vV =1 u V |aλ (u, v)| = sup |aλ (u, v)| , v∈Vh vV =1 ω (λ) − β Zλ − Z h λ . (7.21) Portanto, (7.13) segue se provarmos que lim h→0 sup Zλ − Z λ∈K h λ = 0. (7.22) Da mesma forma, a demonstração de (7.14) depende de (7.22). De fato, pela definição de ωh (λ) segue que para todo uh ∈ Vh temos ωh (λ) uhV sup |aλ (uh, v)| = sup |aµ (uh − zh, v)| Cµ uh − zhV . (7.23) v∈Vh v∈Vh vV =1 vV =1 Usando o Lema 7.4 e esta última desigualdade escrevemos sup |aλ (uh, v)| = sup |aµ (uh − z, v)| v∈V v∈V vV =1 vV =1 para todo uh ∈ Vh. Escolha u ∈ V tal que u V = 1 e ω (λ) = inf u∈V sup v∈V uV =1 vV =1 ω (µ) uh − z V β uh − zV β (uh − zhV − z − zhV ) ωh (λ) β − Zλ − Z h λ |aλ (u, v)| = min u∈V Cµ sup v∈V uV =1 vV =1 uh V |aλ (u, v)| = sup |aλ (u, v)| . v∈V vV =1
Rodney Josué Biezuner 136 Como segue que donde sup |aλ (u − uh, v)| C0 u − uhV , v∈V vV =1 ω (λ) + C0 u − uhV sup |aλ (u, v)| + sup |aλ (u − uh, v)| v∈V v∈V vV =1 vV =1 Cµ sup v∈V v V =1 |aλ (uh, v)| ωh (λ) β − Zλ − Z h λ uhV , Cµ β ω (λ) ωh (λ) − β Zλ − Z h λ uhV − C0 u − uhV . Como para cada h podemos escolher uh tal que u − uhV → 0 quando h → 0, por (7.7), (7.14) será provado se (7.22) for verdadeiro. Para terminar a demonstração do lema, provaremos agora (7.22). Suponha por absurdo que existe ε > 0, {λi} ⊂ K e hi → 0 tal que Zλi − Z hi ε. Então existe uma seqüência {ui} ⊂ V com uiV = 1 tal que Zλi (ui) − Z hi λi (ui) Pela compacidade de K e da imersão V −→ L 2 (Ω), podemos assumir a menos de uma subseqüência que λi → λ0, λi V ui → u0 em V ′ . ε 2 . Segue do fato que a solução dada por elementos finitos aproxima a solução exata que Zλ0 (u0) − Z hi λ0 (u0) → 0. Logo, uma contradição. Zλi (ui) − Z hi λi (ui) V V Zλi (ui) − Zλ0 (ui)V + Z hi λ0 (ui) − Z hi λi (ui) V + Zλ0 (ui − u0)V + Z hi λ0 (u0 − ui) V + Zλ0 (u0) − Z hi λ0 (u0) V 2C |λi − λ0| + 2Cz u0 − uiV ′ + Zλ0 (u0) − Z hi λ0 (u0) → 0 V
- 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 and 132: Rodney Josué Biezuner 130 Prova. C
- Page 133 and 134: Rodney Josué Biezuner 132 onde é
- Page 135: Rodney Josué Biezuner 134 7.3 Coro
- 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
Rodney Josué Biezuner 136<br />
Como<br />
segue que<br />
<strong>do</strong>n<strong>de</strong><br />
sup |aλ (u − uh, v)| C0 u − uhV ,<br />
v∈V<br />
vV =1<br />
ω (λ) + C0 u − uhV sup |aλ (u, v)| + sup |aλ (u − uh, v)|<br />
v∈V<br />
v∈V<br />
vV =1<br />
vV =1<br />
Cµ<br />
sup<br />
v∈V<br />
v V =1<br />
|aλ (uh, v)|<br />
<br />
ωh (λ)<br />
β − Zλ − Z h <br />
<br />
<br />
λ uhV ,<br />
Cµ<br />
<br />
β<br />
ω (λ) ωh (λ) − β Zλ − Z h <br />
<br />
<br />
λ uhV − C0 u − uhV .<br />
Como para cada h po<strong>de</strong>mos escolher uh tal que u − uhV → 0 quan<strong>do</strong> h → 0, por (7.7), (7.14) será prova<strong>do</strong><br />
se (7.22) for verda<strong>de</strong>iro.<br />
Para terminar a <strong>de</strong>monstração <strong>do</strong> lema, provaremos agora (7.22). Suponha por absur<strong>do</strong> que existe ε > 0,<br />
{λi} ⊂ K e hi → 0 tal que <br />
Zλi − Z hi<br />
<br />
<br />
ε.<br />
Então existe uma seqüência {ui} ⊂ V com uiV = 1 tal que<br />
<br />
<br />
Zλi (ui) − Z hi<br />
λi (ui)<br />
<br />
<br />
Pela compacida<strong>de</strong> <strong>de</strong> K e da imersão V −→ L 2 (Ω), po<strong>de</strong>mos assumir a menos <strong>de</strong> uma subseqüência que<br />
λi → λ0,<br />
λi<br />
V<br />
ui → u0 em V ′ .<br />
ε<br />
2 .<br />
Segue <strong>do</strong> fato que a solução dada por elementos finitos aproxima a solução exata que<br />
<br />
<br />
Zλ0 (u0) − Z hi<br />
λ0 (u0)<br />
<br />
<br />
→ 0.<br />
Logo,<br />
uma contradição. <br />
<br />
<br />
Zλi (ui) − Z hi<br />
λi (ui)<br />
<br />
<br />
V<br />
V<br />
<br />
<br />
Zλi (ui) − Zλ0 (ui)V + Z hi<br />
λ0 (ui) − Z hi<br />
λi (ui)<br />
<br />
<br />
<br />
V<br />
<br />
<br />
+ Zλ0 (ui − u0)V + Z hi<br />
λ0 (u0<br />
<br />
<br />
− ui) <br />
V<br />
<br />
<br />
+ Zλ0 (u0) − Z hi<br />
λ0 (u0)<br />
<br />
<br />
<br />
V <br />
<br />
2C |λi − λ0| + 2Cz u0 − uiV ′ + Zλ0 (u0) − Z hi<br />
λ0 (u0)<br />
<br />
<br />
→ 0<br />
V