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

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)

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 />

;

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

Saved successfully!

Ooh no, something went wrong!