4- Mtodo de Diferenas Finitas Aplicado

s Equaes Diferenciais Parciais.

4.1- Aproximao de Funes.
4.1.1- Aproximao por Polinmios.
4.1.2- Ajuste de Dados: Mnimos Quadrados.
4.2- Derivadas e Integrais Numricas.
4.2.1- Aproximao de Derivadas por Dif erenas Finitas.
4.2.2- Aproximao de Integrais por Regras de Integrao
Numrica.
4.3- Soluo de Equaes Diferenciais Ordinrias.
4.3.1- Problema de Valor Inicial.
4.3.2- Problema de Valor de Contorno.
4.4- Soluo de Equaes Diferenciais Parciais.
MTODOS NUMRICOS PARA EQUAES DIFERENCIAIS PARCIAIS
Muitos problemas na cincia e na tecnologia podem ser
modelados por equaes que estabelecem uma relao entre
funes desconhecidas e as derivadas destas funes .
Equaes deste tipo so chamadas Equaes Diferenciais.
Quando a funo depende apenas de uma varivel a
equao diferencial chamada de Equao Diferencial
Ordinria, j que apenas podem aparecer as derivadas
ordinrias da funo .
Quando a funo depende de mais de e uma vari vel
a equao diferencial chamada de Equao Diferencial
Parcial, j que podem aparecer as di ferentes derivadas parciais
desta funo .
) (x u
) (
) (
o
o

u
k
k
dx
x u d ) (
) ( e ) , , 1 , ( k k k n j i
x x
u
j i
k
j
k
i
k
j
i
= + + =


L L
L
) (o u
) , , , (
2 1 n
x x x u L
4.4- Soluo de Equaes Diferenciais Parciais.
No tpico 4.3 estudamos Equaes Diferenciais Ordinrias. No
tpico 4.4 estudaremos Equaes Diferenciais Parciais.
Algumas Equaes Diferenciais Parciais podem ser
classificadas como: Elpticas, Parablicas e Hiperblicas.
Faremos isto para uma Equao Diferencial Parcial Linear de
Segunda Ordemcom duas variveis independentes:
A classificao depende do Sinal do Discriminante e os nomes
so por analogia com as se es cnicas:
4.4- Soluo de Equaes Diferenciais Parciais.
W " = +

) , ( ) , (
2 2 2
y x y x f pu
y
u
g
x
u
d
y y
u
c
y x
u
b
x x
u
a

>
=
<
-
a Hiperblic EDP 0
Parablica EDP 0
Elptica EDP 0
4
2
ac b
Os trs exemplos cannicos mais t picos so:
Estas EDP descrevem diferentes tipos de fenmenos que
requerem de diferentes tcnicas para sua soluo, tanto
analtica quanto numrica.
Nas trs telas a seguir formalizamos EDP El ptica e Parablica
de 2
a
Ordem e Hiperblica de 1
a
Ordem.
4.4- Soluo de Equaes Diferenciais Parciais.

= =

4 4 4 4 4 3 4 4 4 4 4 2 1
Laplaciano
2 2
2
2 2

Elptica EDP
Poisson de Equao
) , (
y y
u
x x
u
u u y x f
y y
u
x x
u

Parablica EDP
Calor do Equao

2

x x
u
k
t
u

a Hiperblic EDP
Onda da Equao

2
2
2

x x
u
c
t t
u
EDP Elptica Linear de Segunda Ordem:
Os coeficientes constantes so reais. A matriz
simtrica. O operador dito ser elptico se a matriz
definida positiva ou def inida negativa. Ou sej a, se
Num Problema de Valor de Contorno El ptico a soluo deve
ser determinada impondo restri es para a soluo em todo o
contorno do domnio (Condies de Contorno).
4.4- Soluo de Equaes Diferenciais Parciais.
espao. do dimenso a onde ,
1 1 ,
2
n C
x
B
x x
A L
n
i
i
j
n
j i
j i
ij
+

+


=

= =
W = em ) ( f u L
C B A
j ij
, , [ ]
ij
A
L
[ ]
ij
A
n
v R sinal o conserva Av v
T
"
) (Dirichlet ) (
em ) (
0
u u
f u L
= G
W =
Para este problema o Mtodo de Di ferenas
Fi ni tas transforma o PVC num si stema l inear
espar o de equaes al gbricas.
EDP Parablica Linear de Segunda Ordem: Se um
operador elptico linear de segunda ordem com matriz
definida positiva, ento a EDP a seguir parablica
Num Problema de Valor de Contorno Parablico a soluo
deve ser determinada i mpondo restries para a soluo em
todo o contorno do domnio para cada instante de tempo
(Condies de Contorno) e a Condio Inicial para todos os
pontos do interior do domnio.
4.4- Soluo de Equaes Diferenciais Parciais.
Inicial) (Condio ) , (
Dirichlet) de Contorno de (Condio ) , (
(EDP) 0 e em ) (
0 0
1
u t u
u t u
t f u L
t
u
= W
= G
> W - =

[ ]
ij
A
L
EDP Hiperblica Linear de Primeira Ordem: A EDP a seguir
hiperblica se a matriz tem autovalores reais e pode ser
diagonalizada. Ou seja, se tem um conjunto completo de
autovetores linearmente independentes.
Descreve o movimento de ondas e/ou transporte advectivo.
Num Problema de Valor de Contorno Hiperblico a soluo
deve ser determinada i mpondo restries para a soluo em
parte do contorno do domnio para cada instante de tempo
(Condies de Contorno) e a Condio Inicial para todos os
pontos do interior do domnio.
4.4- Soluo de Equaes Diferenciais Parciais.
Inicial) (Condio ) , (
Dirichlet) de Contorno de (Condio ) , (
(EDP) 0 e em A
0 0
1
u t u
u t u
t
x
u
t
u
= W
= G
> W

+
A
A
No que resta desta aula estudaremos apenas uma EDP Elptica
Linear de Segunda Ordem. Para simplificar a exposio
estudaremos o caso quando temos duas variveis
independentes e coef icientes constantes.
Logo nosso problema ser descrito pela EDP:
onde os coeficientes da EDP verif icam . Se os
coeficientes no so constantes a Condi o de ELIPTICIDADE
deve ser verificada para todos os pontos do domnio .
Para que o problema esteja bem posto devemos impor
restries em todos os pontos do contorno do domnio.
4.4- Soluo de Equaes Diferenciais Parciais.
W " = +

) , ( ) , (
2 2 2
y x y x f pu
y
u
g
x
u
d
y y
u
c
y x
u
b
x x
u
a
0 4
2
< - ac b
W " ) , ( y x
A EDP Elptica Linear de Segunda Ordem com duas variveis
independentes e coef icientes constantes :
Destacamos dois casos de restri es impostas em todos os
pontos do contorno do domnio (Condies de Contorno- PVC).
4.4- Soluo de Equaes Diferenciais Parciais.
W " = +

) , ( ) , (
2 2 2
y x y x f pu
y
u
g
x
u
d
y y
u
c
y x
u
b
x x
u
a
0 4
2
< - ac b
( , ) ( , ) (CC de Dirichlet)
Caso 2
( , ) (CC de Neumann)
onde o vetor normal ao contorno
u x y u x y
u q x y
G
G
= " G

= " G

G = G G

n
n
1
2
1
2
1 2
r
r
{ Dirichlet) de (CC ) , ( ) , ( 1 Caso G " =
G
y x u y x u
Problema 1 Equao do Calor: Considere uma chapa f eita de
um material condutor de calor sujeita a alguma f onte externa de
calor e condies de contorno no contorno da chapa.
O fenmeno de conduo do calor estacionrio nesta chapa
pode ser modelado pela seguinte equa o:
Se o material homogneo, ento no depende da posi o
e a EDP se transforma em:
Exemplo 1:
Vamos aproximar o Laplaciano por f ormulas de Diferenas
Finitas Centradas:
4.4- Soluo de Equaes Diferenciais Parciais.
{
Fonte Externa
Difuso
( ) ( ) (EDP) k u g - = " W x x
14243
( ) k x
{ {
Difuso Difuso
FonteExterna FonteExterna
( ) ] , [ ] , [ (EDP) ou ( ) k u g k u g - = " W= - = x x x
2
01 01
14243 123
{
Caso 1 ( ) (CC de Dirichlet) u u
G
= " G x x
Note que o domnio agora um quadrado uni trio e podemos
discretizar o problema construindo uma malha uniforme da
seguinte forma:
Abaixo mostramos uma por o (ESTENCIL-STENCIL) desta
malha:
n i
n
a b
x x i a x
i
, , 1 , 0 ,
) (
, L =
-
= D D + =
4.4- Soluo de Equaes Diferenciais Parciais.
m j
m
c d
y y j c y
j
, , 1 , 0 ,
) (
, L =
-
= D D + =
Denotemos por a solu o exata no n com
coordenadas e seja a sol uo aproximada.
Se aproximamos as deri vadas segunda pela formula de
Diferena Finita Centrada de segunda ordem:
Ento a aproximao pelo MDF para a EDP anterior consiste em
encontrar que satisfaz
Por simplicidade consi deramos e logo
2
, 1 , 1
2
2
2
2
) (
2
) (
) , ( ) , ( 2 ) , (
)) , ( (
) , (
x
U U U
x
y x x u y x u y x x u
y x u D
x
y x u
j i ij j i j i j i j i
j i
j i
D
+ -

D
D - + - D +
=

- +
(EDP)
0
0
) , (
) (
2
) (
2
2
2
2
2
2
1 , 1 ,
2
, 1 , 1

< < "

< < "
=

D
+ -
+

D
+ -
-

- +

- +
m j
n i
y x g
y
U U U
x
U U U
k
j i
y
u
j i ij j i
x
u
j i ij j i
4 4 4 3 4 4 4 2 1 4 4 4 3 4 4 4 2 1
4.4- Soluo de Equaes Diferenciais Parciais.
) , (
j i ij
y x u U
) , (
j i ij
y x u u =
) , (
j i
y x
2
1 , 1 ,
2
2
2
2
) (
2
) (
) , ( ) , ( 2 ) , (
)) , ( (
) , (
y
U U U
y
y y x u y x u y y x u
y x u D
y
y x u
j i ij j i j i j i j i
j i
j i
D
+ -

D
D - + - D +
=

- +
) , (
j i ij
y x u U
h y x D = D n m =
Este esquema de di ferenas finitas pode ser representado
geometricamente pelo ESTENCIL de 5 pontos. Note que para
cada n (ij) da malha temos uma inc gnita e uma equao
em diferenas (acima). Nas equaes para os ns perto do
contorno devem ser substitudas as condies de contorno,
semelhante ao caso unidimensional.
Como a malha tem n partio por x e n partio por y o nmero
total de incgnitas (graus de liberdade) do sistema linear
equaes ser de (n-1)
2
.
O Sistema para o Problema Unidimensional de ordemn-1 e
para o Problema Bidimensional de ordem(n-1)
2
. Logo, para o
Problema Tridimensional a ordemdo sistema ser (n-1)
3
.
( ) ( )
(Matriz Esparsa)
n n - -
= A U F
2 2
1 1
4.4- Soluo de Equaes Diferenciais Parciais.
[ ] (EDP)
0
0
) , ( 4
1 , , 1 , 1 , , 1
2

< < "

< < "
= + + - + -
+ + - -
n j
n i
y x g U U U U U
h
k
j i j i j i j i j i j i
ij
U
Note que a matriz esparsa, ou seja, para cada linha apenas 5
4.4- Soluo de Equaes Diferenciais Parciais.
, , , ,
( , ) (EDP)
i j i j ij i j i j i j
i n
k
U U U U U g x y
j n h
- - + +
" < <

- + - + + =


" < <

1 1 1 1
2
0
4
0
[ ] {
[ ] {
[ ] {
[ ] {
[ ] { 1 , 1 ) , ( 4
1 para equaes 1 , , 3 para equaes 1
1 , 2 ) , ( 4
1 , 1 ) , ( 4
2 , 1 ) , ( 4
1 , 1 ) , ( 4
1 1 , 1 1 , 1 , 1 2 , 1 1 , 2
2
1 2 2 , 2 1 , 3 1 , 2 0 , 2 1 , 1
2
1 1 , 1 1 , 2 1 , 1 2 , 1 1 , 0
2
2 1 3 , 1 2 , 2 2 , 1 1 , 1 2 , 0
2
1 1 2 , 1 1 , 2 1 , 1 0 , 1 1 , 0
2
- = - = = + + - + -
- = - = -
= = = + + - + -
- = = = + + - + -
= = = + + - + -
= = = + + - + -
- - - - - - - - - -
- - - - -
n j n i y x g U U U U U
h
k
n i n i n
j i y x g U U U U U
h
k
n j i y x g U U U U U
h
k
j i y x g U U U U U
h
k
j i y x g U U U U U
h
k
n n n n n n n n n n n n
n n n n n n
L
L L L L L L L L L L L L L L L L L L L L L L L L
L L L L L L L L L L L L L L L L L L L L L L L L
coeficientes so diferentes de zero. Note tambm que temos
dois sub-ndices para determinar a localizao de um n na
malha. Ou seja, temos inc gnitas:
Isto quer dizer que apenas precisamos de 1 sub-ndice para
determinar a localizao do n na malha. Ou seja, que devemos
construir uma funo que faa uma ligao entre os dois sub-
ndices e a numerao global (1 sub-ndice). Destacamos que
esta funo vai determinar a estrutura da matri z do sistema
linear de equaes algbricas.
Existem diferentes maneiras de construir a funo de ligao.
Uma forma muito simples reordenar a numerao por linhas.
4.4- Soluo de Equaes Diferenciais Parciais.
( ) n -
2
1
{ } { } { }
, , , , , , , , ,
, , , , , , , , , , , ,
2 sub-ndices , ,( ) e , ,( )
n n n n n n
U U U U U U U U U
i n j n
- - - - - -
= - = -
11 12 1 1 21 22 2 1 11 12 1 1
1 1 1 1
L L L L
L L
{ } { }
{ } ) 1 )( 1 ( , , 1 ndice - sub 1 , , ,
, , , , , , , , ,
) 1 ( ) 1 )( 2 ( 2 ) 1 )( 2 ( 1 ) 1 )( 2 (
) 1 ( ) 1 ( 2 ) 1 ( 1 ) 1 ( ) 1 ( 2 1
- - =
- + - - + - - + - -
- + - + - + - -
n n m U U U
U U U U U U
n n n n n n n
n n n n n
L L
L L L
Neste caso a funo de ligao com varredura interna em i e
externa em j :
A matriz seria f ormada por matri zes blocos de
ordem (n-1) na forma:
A matriz a matriz identidade.
Se reordenamos a numera o por coluna a funo de ligao
seria:
4.4- Soluo de Equaes Diferenciais Parciais.
( ) ( ) n n - -
A
2 2
1 1
k
h




-
=





T I
I T I
I T I
A
I T I
I T
2
O O O
( ),( ) n n - -
-

-

-
=



-

-

T
1 1
4 1
1 4 1
1 4 1
1 4 1
1 4
O O O
I
) 1 ( , , 1 cada para ) 1 ( , , 1 com , ) 1 )( 1 ( ) , ( - = - = + - - = n j n i i n j j i m L L
) 1 ( , , 1 cada para ) 1 ( , , 1 com , ) 1 )( 1 ( ) , ( - = - = + - - = n i n j j n i j i m L L
Preciso e Estabilidade: Semelhante ao caso 1D
Erro da Soluo Aproximada?
1- Erro em cada ponto :
2- Erro Global: , com
3- Note que em geral no satisf az (2) e isto define o chamado
Erro Local
A componente i do erro local (linha i)
( , )
ij i j
U u x y
( , )
i j
x y ( , ) ( , )
i j ij i j
e x y U u x y = -
( ) ( )
( )
(1) Aplicando o MDF ( )
( ) ,
n n
k u g
u u
- -
G
- = " W

G =

x x
A U F
2 2
1 1
2
( ) ( ) ( ) ( )
( )
L L
n n n n - - - -
= - = + E A u F A u F E
2 2 2 2
1 1 1 1
3
u
( )
, , , ,
[ ] , (EDP)
L i j i j ij i j i j ij
i
k
u u u u u g i j n
h
- + - +
-
= + - + + - " < < E
1 1 1 1
2
4 0
4.4- Soluo de Equaes Diferenciais Parciais.
u U E
G
- =
T T
u U ] , , [ e ] , , [
2 2
) 1 (
1
) 1 (
1
- -
= =
n n
u u U U L L
Se a soluo exata do problema suave expandindo ela em
serie de Taylor entorno do ponto . Substituindo na equa o
anterior esta expanso e a EDP obtemos:
Ou seja, o erro local de ordem 2
Podemos estabelecer uma rela o entre o Erro Local e o
Erro Global . Para isto faa a diferena entre (2)-(3) e
obtemos:
Note que este o mesmo sistema de equaes em diferenas
obtido para exceto que em lugar de temos . Para
alguma norma o Erro Global da mesma ordem que o Local,
indicando que nesta norma o sistema pode ser estvel
( , )
i j
x y
( )
( , ) ( , )
( ) , (EDP)
i j i j
L
i
u x y u x y
k h O h i j n
x y


= - + + " < <





E
4 4
2 4
4 4
1
0
12
( )
L i
i
Ch = E
2
L
E
G
E
L G
n n
L
n n
G
E E A ou E ) u U ( A
2 2 2 2
) 1 ( ) 1 (
E
) 1 ( ) 1 (
- = - = -
- - - -
3 2 1
U
F
L
E -
( )
para suficientemente pequeno ( )
h h h
G L
C h C CO h
-
< = A E E
1
2
4.4- Soluo de Equaes Diferenciais Parciais.
Frase do Dia
Although to penetrate i nto the intimate
mysteries of nature and thence to l earn the
true causes of phenomena is not allowed to
us, nevertheless it can happen that a certai n
fictive hypothesis may suffice for explaining
many phenomena.
Leonhard Euler (A mesma das Aula 9, 11, 12,13)
... the study of Euler s works will remain the
best for different fields of mathematics and
nothing else can replace it.
Friedrich Gauss