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 55 2.3 Discretizações de Ordem Superior Para obter esquemas de diferenças finitas com melhor ordem de convergência, em geral é necessário acrescentar mais pontos na fórmula. O método dos coeficientes indeterminados é um método simples para construir estes esquemas. 2.3.1 Caso Unidimensional Vamos obter um esquema de diferenças finitas convergente de ordem 4 para o caso unidimensional. O esquema envolvendo três pontos, que obtivemos no início do capítulo através da aproximação da derivada segunda em um ponto por uma diferença finita centrada (que envolve o ponto e seus dois vizinhos, à esquerda e à direita), é convergente de ordem 2 (isso que pode ser provado de maneira semelhante a como fizemos para a fórmula de cinco pontos). Para obter um esquema com uma maior ordem de convergência, acrescentamos mais dois pontos à fórmula de diferenças finitas do esquema, que denotaremos por δui: Cada termo tem sua expansão em série de Taylor: δui = c1ui−2 + c2ui−1 + c3ui + c4ui+1 + c5ui+2. (2.38) u(xi − 2∆x) = u(xi) − 2u ′ (xi)∆x + 4 2! u′′ (xi)∆x 2 − 8 3! u′′′ (xi)∆x 3 + 16 4! u(4) (xi)∆x 4 − 32 5! u(5) (xi)∆x 5 + O ∆x 6 , u(xi − ∆x) = u(xi) − u ′ (xi)∆x + 1 2! u′′ (xi)∆x 2 − 1 3! u′′′ (xi)∆x 3 + 1 4! u(4) (xi)∆x 4 − 1 5! u(5) (xi)∆x 5 + O ∆x 6 , u(xi + ∆x) = u(xi) + u ′ (xi)∆x + 1 2! u′′ (xi)∆x 2 + 1 3! u′′′ (xi)∆x 3 + 1 4! u(4) (xi)∆x 4 + 1 5! u(5) (xi)∆x 5 + O ∆x 6 , u(xi + 2∆x) = u(xi) + 2u ′ (xi)∆x + 4 2! u′′ (xi)∆x 2 + 8 3! u′′′ (xi)∆x 3 + 16 4! u(4) (xi)∆x 4 + 32 5! u(5) (xi)∆x 5 + O ∆x 6 . Substituindo estas expressões na fórmula acima, obtemos: δui = (c1 + c2 + c3 + c4 + c5) u (xi) + ∆x (−2c1 − c2 + c4 + 2c5) u ′ (xi) + ∆x 2 2c1 + 1 2 c2 + 1 2 c4 + 2c5 u ′′ (xi) + ∆x 3 − 4 3 c1 − 1 6 c2 + 1 6 c4 + 4 3 c5 u ′′′ (xi) + ∆x 4 2 3 c1 + 1 24 c2 + 1 24 c4 + 2 3 c5 u (4) (xi) + ∆x 5 − 4 15 c1 − 1 120 c2 + 1 120 c4 + 4 15 c5 u (5) (xi) + O ∆x 6 . Como procuramos um esquema de diferenças finitas com ordem de convergência maior que 2, queremos obter uma solução não-nula para o sistema ⎧ ⎪⎨ ⎪⎩ c1 + c2 + c3 + c4 + c5 = 0 −2c1 − c2 + c4 + 2c5 = 0 2c1 + 1 2 c2 + 1 2 c4 + 2c5 = 1 ∆x 2 − 4 3 c1 − 1 6 c2 + 1 6 c4 + 4 3 c5 = 0 2 3 c1 + 1 24 c2 + 1 24 c4 + 2 3 c5 = 0 ;
Rodney Josué Biezuner 56 isso implicaria em princípio em um esquema com ordem de convergência pelo menos igual a 3: δui = u ′′ (xi) + O ∆x 3 . Como a matriz ⎡ 1 1 1 1 1 ⎢ −2 ⎢ 2 ⎢ − ⎣ −1 1 2 0 0 1 1 2 2 2 4 3 −1 ⎤ 2 3 6 1 24 0 0 1 6 1 24 ⎥ 4 ⎥ 3 ⎥ ⎦ 2 3 tem determinante igual a 1, ela é invertível e o sistema possui a solução única Incidentalmente, esta solução também implica c1 = − 1 1 , 12 ∆x2 c2 = 4 1 , 3 ∆x2 c3 = − 5 1 2 ∆x2 c4 = 4 1 , 3 ∆x2 c5 = − 1 1 . 12 ∆x2 − 4 15 c1 − 1 120 c2 + 1 120 c4 + 4 15 c5 = 0 o que permite obter um esquema com ordem de convergência igual a 4: δui = u ′′ (xi) + O ∆x 4 , aproximando a derivada segunda u ′′ pela diferença finita ou u ′′ = − 1 12 ui−2 + 4 3 ui−1 − 5 2 ui + 4 3 ui+1 − 1 12 ui+2 ∆x 2 −u ′′ = ui−2 − 16ui−1 + 30ui − 16ui+1 + ui+2 12∆x 2 . (2.39) 2.3.2 Caso Bidimensional: A Fórmula dos Nove Pontos Compacta Um esquema de ordem 4 para a equação de Poisson em duas dimensões é a fórmula de nove pontos compacta. Se buscássemos uma fórmula de nove pontos simplesmente a partir da fórmula de cinco pontos unidimensional obtida na subseção precedente (como obtivemos a fórmula de cinco pontos bidimensional a partir da fórmula de três pontos unidimensional), escreveríamos −∆dud = ui−2,j − 16ui−1,j + 30ui,j − 16ui+1,j + ui+2,j 12∆x 2 + ui,j−2 − 16ui,j−1 + 30ui,j − 16ui,j+1 + ui,j+2 12∆y2 , (2.40)
- Page 5 and 6: Capítulo 1 Os Autovalores do Lapla
- Page 7 and 8: Rodney Josué Biezuner 6 O método
- Page 9 and 10: Rodney Josué Biezuner 8 As autofun
- Page 11 and 12: Rodney Josué Biezuner 10 onde α 1
- Page 13 and 14: Rodney Josué Biezuner 12 1.4 Méto
- Page 15 and 16: Rodney Josué Biezuner 14 de modo q
- Page 17 and 18: Rodney Josué Biezuner 16 Estes exe
- Page 19 and 20: Rodney Josué Biezuner 18 1.6 Exist
- Page 21 and 22: Rodney Josué Biezuner 20 pois um p
- Page 23 and 24: Rodney Josué Biezuner 22 tais que
- Page 25 and 26: Rodney Josué Biezuner 24 Em outras
- Page 27 and 28: Rodney Josué Biezuner 26 possui um
- Page 29 and 30: Rodney Josué Biezuner 28 e portant
- Page 31 and 32: Rodney Josué Biezuner 30 No caso
- Page 33 and 34: Rodney Josué Biezuner 32 1.8.2 Con
- Page 35 and 36: Rodney Josué Biezuner 34 de modo q
- Page 37 and 38: Rodney Josué Biezuner 36 Prova: A
- Page 39 and 40: Rodney Josué Biezuner 38 são line
- Page 41 and 42: Rodney Josué Biezuner 40 onde x0
- Page 43 and 44: Rodney Josué Biezuner 42 2.1.3 Res
- Page 45 and 46: Rodney Josué Biezuner 44 porque (
- Page 47 and 48: Rodney Josué Biezuner 46 Neste cas
- Page 49 and 50: Rodney Josué Biezuner 48 = Ukl (
- Page 51 and 52: Rodney Josué Biezuner 50 A primeir
- Page 53 and 54: Rodney Josué Biezuner 52 2.5 Lema.
- Page 55: Rodney Josué Biezuner 54 donde Com
- Page 59 and 60: Rodney Josué Biezuner 58 enquanto
- Page 61 and 62: Rodney Josué Biezuner 60 + ∆x 5
- Page 63 and 64: Rodney Josué Biezuner 62 mesmo ana
- Page 65 and 66: Rodney Josué Biezuner 64 Para escr
- Page 67 and 68: Rodney Josué Biezuner 66 (xi, yj
- Page 69 and 70: Rodney Josué Biezuner 68 8. Mostre
- Page 71 and 72: Rodney Josué Biezuner 70 A norma l
- Page 73 and 74: Rodney Josué Biezuner 72 De fato,
- Page 75 and 76: Rodney Josué Biezuner 74 Além dis
- Page 77 and 78: Rodney Josué Biezuner 76 de uma ma
- Page 79 and 80: Rodney Josué Biezuner 78 donde n |
- 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
Rodney Josué Biezuner 55<br />
2.3 Discretizações <strong>de</strong> Or<strong>de</strong>m Superior<br />
Para obter esquemas <strong>de</strong> diferenças finitas com melhor or<strong>de</strong>m <strong>de</strong> convergência, em geral é necessário acrescentar<br />
mais pontos na fórmula. O méto<strong>do</strong> <strong>do</strong>s coeficientes in<strong>de</strong>termina<strong>do</strong>s é um méto<strong>do</strong> simples para<br />
construir estes esquemas.<br />
2.3.1 Caso Unidimensional<br />
Vamos obter um esquema <strong>de</strong> diferenças finitas convergente <strong>de</strong> or<strong>de</strong>m 4 para o caso unidimensional. O<br />
esquema envolven<strong>do</strong> três pontos, que obtivemos no início <strong>do</strong> capítulo através da aproximação da <strong>de</strong>rivada<br />
segunda em um ponto por uma diferença finita centrada (que envolve o ponto e seus <strong>do</strong>is vizinhos, à esquerda<br />
e à direita), é convergente <strong>de</strong> or<strong>de</strong>m 2 (isso que po<strong>de</strong> ser prova<strong>do</strong> <strong>de</strong> maneira semelhante a como fizemos para<br />
a fórmula <strong>de</strong> cinco pontos). Para obter um esquema com uma maior or<strong>de</strong>m <strong>de</strong> convergência, acrescentamos<br />
mais <strong>do</strong>is pontos à fórmula <strong>de</strong> diferenças finitas <strong>do</strong> esquema, que <strong>de</strong>notaremos por δui:<br />
Cada termo tem sua expansão em série <strong>de</strong> Taylor:<br />
δui = c1ui−2 + c2ui−1 + c3ui + c4ui+1 + c5ui+2. (2.38)<br />
u(xi − 2∆x) = u(xi) − 2u ′ (xi)∆x + 4<br />
2! u′′ (xi)∆x 2 − 8<br />
3! u′′′ (xi)∆x 3 + 16<br />
4! u(4) (xi)∆x 4 − 32<br />
5! u(5) (xi)∆x 5 + O ∆x 6 ,<br />
u(xi − ∆x) = u(xi) − u ′ (xi)∆x + 1<br />
2! u′′ (xi)∆x 2 − 1<br />
3! u′′′ (xi)∆x 3 + 1<br />
4! u(4) (xi)∆x 4 − 1<br />
5! u(5) (xi)∆x 5 + O ∆x 6 ,<br />
u(xi + ∆x) = u(xi) + u ′ (xi)∆x + 1<br />
2! u′′ (xi)∆x 2 + 1<br />
3! u′′′ (xi)∆x 3 + 1<br />
4! u(4) (xi)∆x 4 + 1<br />
5! u(5) (xi)∆x 5 + O ∆x 6 ,<br />
u(xi + 2∆x) = u(xi) + 2u ′ (xi)∆x + 4<br />
2! u′′ (xi)∆x 2 + 8<br />
3! u′′′ (xi)∆x 3 + 16<br />
4! u(4) (xi)∆x 4 + 32<br />
5! u(5) (xi)∆x 5 + O ∆x 6 .<br />
Substituin<strong>do</strong> estas expressões na fórmula acima, obtemos:<br />
δui = (c1 + c2 + c3 + c4 + c5) u (xi)<br />
+ ∆x (−2c1 − c2 + c4 + 2c5) u ′ (xi)<br />
+ ∆x 2<br />
<br />
2c1 + 1<br />
2 c2 + 1<br />
2 c4<br />
<br />
+ 2c5 u ′′ (xi)<br />
+ ∆x 3<br />
<br />
− 4<br />
3 c1 − 1<br />
6 c2 + 1<br />
6 c4 + 4<br />
3 c5<br />
<br />
u ′′′ (xi)<br />
+ ∆x 4<br />
<br />
2<br />
3 c1 + 1<br />
24 c2 + 1<br />
24 c4 + 2<br />
3 c5<br />
<br />
u (4) (xi)<br />
+ ∆x 5<br />
<br />
− 4<br />
15 c1 − 1<br />
120 c2 + 1<br />
120 c4 + 4<br />
15 c5<br />
<br />
u (5) (xi)<br />
+ O ∆x 6 .<br />
Como procuramos um esquema <strong>de</strong> diferenças finitas com or<strong>de</strong>m <strong>de</strong> convergência maior que 2, queremos obter<br />
uma solução não-nula para o sistema<br />
⎧<br />
⎪⎨<br />
⎪⎩<br />
c1 + c2 + c3 + c4 + c5 = 0<br />
−2c1 − c2 + c4 + 2c5 = 0<br />
2c1 + 1<br />
2 c2 + 1<br />
2 c4 + 2c5<br />
=<br />
1<br />
∆x 2<br />
− 4<br />
3 c1 − 1<br />
6 c2 + 1<br />
6 c4 + 4<br />
3 c5 = 0<br />
2<br />
3 c1 + 1<br />
24 c2 + 1<br />
24 c4 + 2<br />
3 c5 = 0<br />
;