Mtodo de Diferencias Finitas

para
Ecuaciones en Derivadas Parciales

Ecuaciones Elpticas y Parablicas

Introduccin
Una ecuacin diferencial en la que aparecen dos o ms variables
independientes se llama ecuacin en derivadas parciales (EDP).

EDP de orden 2, lineal y de coeficientes constantes:

A.uxx+B.uxy+C.uyy+D.ux+E.uy+F.u=G

2u 2u 2u u u
u xx 2 , u xy , u yy 2 ,u x ,u y ,u u(x, y)
x x y y x y
Clasificacin:
Si B2 4.A.C < 0 , la ecuacin se llama elptica
Si B2 4.A.C = 0 , la ecuacin se llama parablica
Si B2 4.A.C > 0 , la ecuacin se llama hiperblica
 EDP Elpticas

2
u 2
u f 0 : Laplace
u 2 2 f ( x, y )
2

x y f 0 : Poisson
Solucin Numrica de la Ecuacin de Laplace

2
u 2
u
u 2 2 0
2

x y
Dominio de la solucin
Diferencias Finitas
i, j+1

2u ui 1, j 2.ui , j ui 1, j y
i-1, j i, j i+1, j

x 2
x 2 i, j-1

2u ui , j 1 2.ui , j ui , j 1 x

y 2
y 2

u ui1, j ui1, j u ui, j1 ui, j1

x 2.x y 2.y
Aproximacin por diferencias finitas para la solucin de la ecuacin de
Laplace

ui 1, j 2.ui , j ui 1, j ui , j 1 2.ui , j uu i , j 1 para una malla de

0
x 2
y 2 cuadrados resulta x y

ui 1, j ui 1, j ui , j 1 ui , j 1 4.ui , j 0

Esta ecuacin puede

representarse en forma grfica
mediante el siguiente
Stencil:
Ejemplo: clculo de las lneas de
corriente del escurrimiento fluido

D1=0,60 m D2=0,40 m

0,10 m
0,20 m 0,20 m
y

eje de la tubera
 30 30 30
CONDICIONES DE FRONTERA

30 30 30
20

10 15

0 0 0 0 0 0
SUCESIVAS POSICIONES DEL OPERADOR

30 30 30 NODOS A CALCULAR
CONDICIONES DE FRONTERA
1

1 2 30 30 30
20
1 -4 1

3 4 5 6
10 15
1

0 0 0 0 0 0

30 u2 30u330
20u4. u 0
4 1 u1 4u2 0
u20u10
u1 u4 5 04u3uu36040
30 u4u
30 4
4015 u50 0u5 4u6 0
Sistema de Ecuaciones Resultante

30 u2 u3 20 4.u1 0
30 30 u4 u1 4u2 0
u1 u4 0 10 4u3 0 Formulacin Matricial del Sistema
u2 u5 0 u3 4u4 0 denominando u=Y
30 u6 0 u4 4u5 0
30 15 0 u5 4u6 0
Sistema de Ecuaciones Resultante

4 1 1 0 0 0 1 50
1
4 0 1 0 0 2 60
1 0 4 1 0 0 3 10
*
0 1 1 4 1 0 4 0
0 0 0 1 4 1 5 30

0 0 0 0 1 4 6 45
 Resolucin del Sistema en MATLAB
>> A=[-4 1 1 0 0 0;1 -4 0 1 0 0; 1 0 -4 1 0 0;0 1 1 -4 1 0;0 0 0 1 -4 1; 0 0 0 0 1 -4]

A=

-4 1 1 0 0 0
1 -4 0 1 0 0
1 0 -4 1 0 0
0 1 1 -4 1 0
0 0 0 1 -4 1
0 0 0 0 1 -4

>> b=[-50;-60; -10; 0; -30; -45]

b=

-50
-60
-10
0
-30
-45

>> psi=inv(A)*b

psi =

21.0090
23.2681
10.7681
12.0633
14.2169
14.8042
0
Solucin del Sistema de Ecuaciones
21.009
1

2 23.268
10.768
3
4 12.063

5 14.267
6 14.804

Valores de la funcin de corriente Y
en la grilla discreta
30 30 30 NODOS A CALCULAR
CONDICIONES DE FRONTERA
VALORES CALCULADOS

1 2 30 30 30
20
21.009 23.268

3 4 5 6
10 15
10.768 12.063 14.267 14.804

0 0 0 0 0 0
 30 30 30 NODOS A CALCULAR
CONDICIONES DE FRONTERA
VALORES CALCULADOS

1 2 30 30 30
20
21.009 23.268

3 4 5 6
10 15
10.768 12.063 14.267 14.804

0 0 0 0 0 0
LNEAS DE CORRIENTE
EDP parablicas
Las ecuaciones parablicas se emplean para caracterizar
problemas dependientes del tiempo y el espacio

Un ejemplo:

ECUACIN DE CONDUCCIN DE CALOR

Ecuacin de Conduccin del Calor
Se puede usar la conservacin de calor para desarrollar un
balance de energa en un elemento diferencial de una barra larga
y delgada aislada, considerando la cantidad de calor que se
almacena en un periodo de tiempo t
Caliente Frio

Se llega a: L
en la que a es el coeficiente
u u 0
t xx de difusividad trmica, que
depende del material de la barra
Para unas dadas condiciones iniciales y de contorno la solucin
de esta EDP parablica permite conocer la temperatura en
cualquier posicin de la barra y para cualquier instante : u(x,t)
con 0 < x < L ; t > 0
Condicin Inicial
Temperatura de la barra para t=0

u(x, 0) = f(x)

(constante o funcin de la posicin)

Condiciones de Contorno
Temperatura de la barra en los extremos x=0 ; x=L

u(0, t) =T0 u(L, t) = TL

Solucin Numrica de la Ecuacin del Calor
Encontraremos la solucin aproximada de u t u xx 0
Para algunos puntos del dominio
-algunas secciones de la barra Discretizacin del
-algunos instantes dominio
t
8

0 0.2 0.4 0.6 0.8 1 x

Mtodo de Diferencias finitas
Discretizacin del dominio (Grilla Discreta)
Condiciones de Contorno e Iniciales en el
Dominio Discretizado
Reemplazo de las derivadas parciales de la
EDP por sus aproximaciones numricas. Se
obtiene una Ecuacin en Diferencias (ED)
EDP ED
Aplicacin de la ED a los puntos de la Grilla
Discreta
 Convergencia Consistencia y
Estabilidad
EDP F(x,y,u)=0 Solucin: u( x , y )
ED Gi,j(h,k,u)=0, para cada (i,j) u~h ,k ( xi , y j )

Convergencia u~h ,k ( xi , y j )h u( xi , y j )
,k 0

Consistencia Gi , j ( h , k ,u~ )h F ( x , y ,u )
,k 0

Estabilidad: la diferencia entre la solucin

numrica y la solucin exacta tiende a cero a
medida que avanza el clculo con una cantidad
de pasos tendiente a infinito
Discretizacin del Dominio
Para elegir los puntos en los cuales calcularemos
la solucin aproximada de la EDP
-Particionamos el espacio
h
secciones de la barra t j+1
k
separadas una distancia h=Dx tj
xi = i . h , i=0, 1, m u i,j
t j1
-Elegimos una particin para el tiempo x i1 x i x i+1
k=Dt
tj = j . k , j=0, 1, n
Aproximaciones Numricas de las
derivadas parciales de la EDP
Derivada parcial primera
Hacia adelante
u( xi ,t j k ) u( xi ,t j ) ui , j 1 ui , j
ut ( xi ,t j ) error O( k )
k k

Hacia atrs

u( xi ,t j ) u( xi ,t j k ) ui , j ui , j 1
ut ( xi ,t j ) error O( k )
k k
Aproximaciones Numricas de las
derivadas parciales de la EDP
Derivada parcial segunda

Centrada

u( x h ,t ) 2u( x ,t ) u( x h ,t ) ui 1, j 2.ui , j ui 1, j
u xx ( x ,t ) 2

h h2
error O( h 2 )
Ecuacin del Calor. Mtodo Explcito
Derivada Primera : hacia delante
Derivada Segunda: centrada
Ecuacin en diferencias
ui , j 1 ui , j ui 1, j 2ui , j ui 1, j
2
0
k h
Error O(k+h2)
multiplica ndo por k :
l parmetro de Courant
.k
ui , j 1 ui , j 2
.( ui 1, j 2ui , j ui 1, j ) 0
h
Ecuacin del Calor. Mtodo Explcito
Ecuacin en diferencias
ui , j 1 ui , j .( ui 1, j 2ui , j ui 1, j ) 0

ui , j 1 ui , j ( 1 2. ) .ui 1, j .ui 1, j

Stencil 1
i, j 1

1 2.
i 1, j i, j i 1, j
Estabilidad Numrica del Mtodo Explcito
El mtodo explcito se puede expresar en forma matricial:
w ( j ) A . w ( j 1 )
con w(j): conjunto de las aproximaciones u para el
paso del tiempo j.
w(j-1): conjunto de las aproximaciones u para el
paso del tiempo j-1
(1 2 ) 0 0
A : matriz
(1 2 )
tridiagonal 0 .. .. ..
A
.. .. .. 0
(1 2 )

0 0 (1 2 )
Estabilidad Numrica del Mtodo Explcito
Para que el Mtodo sea estable debe cumplirse
que el radio espectral ( A ) 1

Esto es equivalente a que 1

2
.k 1
Como 2 esto condiciona los valores de h y k que se
h 2
adopten para la discretizacin (no puede utilizarse cualquier
combinacin de h y k).
Ecuacin del Calor. Mtodo explcito.
Ejemplo
Hallar la temperatura para t = 0.3 s de una barra
de 1m cuyos extremos se mantienen a 20C y a
40C. La temperatura inicial de la barra es de
100C y el coeficiente a = 0.1. Tomar
x = 0.2m y t = 0.1 s. Justificar la aplicabili-
dad del mtodo explcito.

.k 0.1 0.1 1
Parmetro de Courant 2 0.25
h 0.04 2
 1
Stencil

1 2.

0.25

0.25 0.5 0.25

 Grilla Discreta Cond. de Contorno Cond. Iniciales

8
0.3s 20 40
7 63.75 89.06 91.25 72.81
6
0.2s 20 40
5 70 95 96.25 77.5
4 1 40
0.1s 20
3 80 100 100 85
2
0.25 0.50 0.25
0s 20
1 40
100 100 100 100
0 0.2 0.4 0.6 0.8 1
0m 0.2m 0.4m 0.6m 0.8m 1.0m
Clculo de Temperaturas con el Stencil: Valores calculados
T0.2m,0.1s=0.25*20+0.50*100+0.25*100=80
T0.6m,0.1s=0.25*100+0.50*100+0.25*100=100
T0.8m,0.1s=0.25*100+0.50*100+0.25*40=85
T0.4m,0.1s=0.25*100+0.50*100+0.25*100=100
Mtodo Explcito. Clculo con Excel

20 40

20 40

20 40

20 100 100 100 100 40

Ecuacin del Calor. Mtodo Implcito
Derivada Primera : hacia atrs
Derivada Segunda: centrada
Ecuacin en diferencias
u i , j u i , j 1 u i 1, j 2u i , j u i 1, j
2
0
k h
Error O(k+h2)
multiplica ndo por k:
l parmetro de Courant
.k
u i , j u i , j1 2 .(u i 1, j 2u i , j u i 1, j ) 0
h
Ecuacin del Calor. Mtodo Implcito
Ecuacin en diferencias
ui , j ui , j 1 .( ui 1, j 2ui , j ui 1, j ) 0

ui , j ( 1 2. ) ui , j 1 .ui 1, j .ui 1, j 0

Stencil 1 2.
i 1, j i, j i 1, j
Este esquema permite
1
plantear la solucin en el
i, j 1 instante tj a partir de la
solucin en el instante tj-1
Estabilidad Numrica del Mtodo Implcito
La aplicacin sucesiva del stencil da como resultado un sistema de
ecuaciones, que resulta ser tridiagonal.
El mtodo implcito se puede expresar en forma matricial:

A . w( j ) w( j 1 )
con w(j): conjunto de las aproximaciones u para el paso del tiempo j.
w(j-1): conjunto de las aproximaciones u para el paso del tiempo j-1
A : matriz
tridiagonal
( 1 2 ) 0 0
( 1 2 )

0 .. .. ..
A
.. .. .. 0
( 1 2 )

0 0 ( 1 2 )
Estabilidad Numrica del Mtodo Implcito
Analizando la Matriz A correspondiente al Mtodo Implcito, se
observa que el radio espectral 1
( A ) 1
Para cualquier valor del parmetro de Courant, por lo que este
mtodo es incondicionalmente estable.
Ecuacin del Calor. Mtodo implcito.
Ejemplo
Hallar la temperatura para t = 0.3 s de una barra
de 1m cuyos extremos se mantienen a 20C y a
40C. La temperatura inicial de la barra es de
100C y el coeficiente a = 0.1. Tomar
x = 0.2m y t = 0.1 s.

Parmetro de Courant
.k 0.1 0.1
2 0.25
h 0.04
 1 2.

Stencil
1

0.25

0.25 1.5 0.25

1
 Grilla Discreta Cond. de Contorno Cond. Iniciales

0.3s 208 69.05 88.85 90.55 76.54 40

7 T0.2,0.3 T0.4,0.3 T0.6,0.3 T0.8,0.3

0.2s 206 76.37 93.37 94.48 82.17 40

T 0.2,0.2 T 0.4,0.2 T0.6,0.2 T0.8,0.2
5

4 -0.25 1.50 -0.25

0.1s 20 86,22 97,34 97,83 89,64 40
3 T0.2,0.1 T0.4,0.1 T0.6,0.1 T0.8,0.1

2
-1
0s 201 40
100 100 100 100
0 0.2 0.4 0.6 0.8 1
0m 0.2m 0.4m 0.6m 0.8m 1.0m
-0.25*20 + 1.5*T0.2,0.3
0.2,0.1- 0.25*T0.4,0.3 1*100=0
0.4,0.1 - 1*76.37=0
1*86.22=0 11..55 00..25 000 T T 105
0.020.,.202,.,030..12 81
0.2,0.2 0.4,0.2 25 00 T 91 .22
.37
0.25 T
97.34
-0.25*T0.2,0.2
0.2,0.1+1.5*T0.4,0.2
0.4,0.1-0.25*T0.6,0.2 -1*93.37=0
0.6,0.1-1*97.34=0
-1*100=0
1.55 00..25
25 00 T T
0.040.,.404,.,030..12 93 100
.37

0.2,0.3 0.4,0.3 0.6,0.3
. ..
-0.25*T0.4,0.1
0.4,0.2+1.5*T0.6,0.1
0.4,0.3 0.6,0.2-0.25*T0.8,0.1
0.6,0.3 -1*94.48=0
-1*97.83=0
0.8,0.2-1*100=0
0.8,0.3 0 0.2525 11..55 00.2525T
.25 TT 94
0.060.,.606,.,030..12 100
97
.83
.48

-0.25*T0.6,0.3
0.6,0.1 + 1.5*T0.8,0.3 1*100=0
1*89.64=0
0.8,0.1 - 0.25*40 - 1*82.17=0 0 00 00..25 T
25 11.5.55 T 2 92
0.080.,.808,.,030..1
T 110
99
.64
.17
Mtodo de Crank-Nicolson
Idea: obtener un mtodo con error O(k2+h2)
Cmo?
Se promedian las diferencias hacia delante en el j-simo paso en t y las
diferencias hacia atrs en el (j+1)simo paso en t
El mtodo es incondicionalmente estable

Stencil / 2 1 /2
i 1, j 1 i, j 1 i 1, j 1

/2 1 /2
i 1, j i, j i 1, j