Mtodo de diferencias finitas para

ecuaciones diferenciales parciales

elpticas
(Parte I)
 Contenido

Ecuaciones en derivadas parciales

Ecuaciones en derivadas parciales elpticas
Ecuacin de Laplace
Aproximacin de operadores diferenciales
Frmula de diferencias centradas para f' u f''
Construccin de sistema de ecuaciones
Laplace con condiciones de dirichlet
Laplace con condiciones de Neumann (mixtas)
Resolucin del sistema de ecuaciones
 Ecuaciones en derivadas parciales

Involucran una funcin desconocida u de dos o ms

variables independientes
Vlida sobre un dominio geomtrico => discretizacin
Condiciones de borde e iniciales
(Seccin 10.3, captulo 10, Mathews-Fink, apuntes de
MC. Rivara)
 Clasificacin de EDPs
clsicas
u u u u u
A B C =f x , y , u , ,
x xy y x y

para x 0 xx f , y 0 y y f y con las condiciones de borde para un

dominio rectangular
u x , y 0 =b y x , u x , y f =b y x
0 f

u x 0, y =b x y , u x f , y =b x y
0 f

Estas EDPs pueden ser clasificadas en tres grupos:

EDP elptica si: B4AC0
EDP parablica si: B4AC=0

EDP hiperblica si: B4AC0

 EDPs Elpticas

Problemas de estado estacionario (no son funcin del

tiempo)
u u
Ecuacin de Laplace =0 en
x y
Ecuacin de Poisson u u en
=f x , y
x y

Condiciones de borde
Dirichlet u=f 1 en 1
u
Neumann =f en 2
n 2
 Ejemplo: Ecuacin de Laplace

u u
Si tenemos =0 con u=f 1 en
x y

Que deseamos encontrar?

Cmo resolverla? numricamente
Qu conceptos debemos utilizar?
Ejemplo: Ecuacin de Laplace
Solucin aproximada
Cmo la resolvemos? Usaremos diferencias
finitas

Tcnica numrica
Discretizar el dominio
Aproximar los operadores diferenciales por
operadores de diferencias

u ui1j2u ij u i1j


x h

Laplaciano:
 Cmo se deduce?

Usar aproximaciones de derivadas

Lmite del cuociente incremental:

f xhf x
f ' x =lim
h 0 h

f x ihf x i f i 1f i
f ' x =
h h

Aproximacin buena solo para h pequeos

(Detalles en seccin 6.1, Mathews-Fink)
 Cmo se deduce? (...)

Frmula de diferencias centradas:

Teorema Frmula centrada de orden O(h). Supongamos que
f C[ a , b] y que xh , x , xh[ a , b] entonces:

f xhf x h
f ' x
2h
Es ms, existe un nmero c=c x [a , b ] tal que

f xhf x h
f ' x E trunc f ,h
2h

siendo hf 3 c
E trunc f , h= =Oh
6
 Cmo se deduce? (...)
Demostracin:

Usamos frmula de Taylor de orden 2 de f alrededor de x para
f(x-h) y f(x+h) 3
2
f x h f c 1 h
f xh=f x f ' x h
2! 3!
2 3
f x h f c 2 h
f xh=f x f ' x h
2! 3!
Restamos y obtenemos
f 3 c 1 f 3 c 2 h
f xhf x h=2f ' x h
3!
3
Como f x es continua, usamos el teorema del valor intermedio
f 3 c 1 f 3 c 2 3
=f c
2
 Cmo se deduce? (...)
Y ordenando trminos obtenemos:

f xhf x h f 3 c h
f ' x =
2h 3!

(Primer trmino es la frmula centrada y el segundo el error de truncamiento)

f xhf x h
f ' x = O h
2h

A continuacin usaremos la siguiente notacin:

f j1 f j 1
f ' x j
2h
 Frmulas de derivacin nmerica

Frmulas de diferencias centradas O(h)

f 1f 1
f ' x 0
2h

2 f 12 f 0f 1
f x 0 Se usa para discretizar el Laplaciano
h

3 f 2f 1 2 f 1f 2
f x 0
2h

4 f 24 f 16 f 0 4 f 1f 2
f x 0
h
 Cmo se deduce f''?

(Seccin 6.2- Libro de Mathews-Fink)

 Cmo se deduce f''?

El primer trmino corresponde al valor de f'' buscado:

2 f 12 f 0f 1
f x 0
h

(Seccin 6.2- Libro de Mathews-Fink)

 Ecuacin de diferencias para el
Laplaciano
Reemplazando
u ui1j2u ij u i1j y u uij1 2 uij u ij1

x h y h

Obtenemos la frmula para la aproximacin de la ec. de Laplace:

u u ui 1jui1j4 uij u ij1u ij1

=0
x y h
Representacin operador de diferencias

Esquema de ecuacin
Discretizacin del rectngulo de diferencias para el
Laplaciano
 Mtodo de diferencias finitas (2D):
pasos a seguir
Discretizar regin con grilla regular de paso h en
direcciones x e y
Escribir ecuaciones de diferencias para cada punto de la
grilla
Se obtiene un sistema lineal de ecuaciones A=b
El sistema se resuelve numricamente
Mtodo directo, por ej: Gauss
Mtodo iterativo
 Ventajas/Limitaciones del mtodo de
diferencias finitas

Se adapta bien a geometras rectangulares o que son

uniones de rectngulos
Es intuitivo, fcil de explicar y entender
No permite modelar bien geometras complejas ni
condiciones de borde sobre bordes curvos
Usar otros ms generales pero a la vez ms complejos
Ejemplo: mtodos de elementos finitos o volmenes
finitos
 Construccin del sistema lineal
(Condiciones de borde Dirichlet)
Supongamos que tenemos un problema de Dirichlet, es
decir conocemos los valores en la frontera de u(x,y) en la
frontera de la regin R
u x 1, y j =u1, j para 2 jm1 a la izquierda
u x i , y 1 =u i ,1 para 2in1 abajo

u x n , y j =u n , j para 2 jm1 a la derecha
u x i , y m =ui , m para 2in1 arriba
 Ejemplo con grilla 5x5
Etiquetamos los puntos interiores como se muestra a
continuacin:
 Ejemplo grilla 5x5 (...)

Problema: determinar la solucin aproximada de la

ecuacin de Laplace en el rectngulo R={ x , y :0x 4, 0 y 4 }
donde u(x,y) denota la temperatura en un punto (x,y), los
valores de frontera son:
u(x,0) = 20 0<x<4
u(x,4) = 180 0 <x<4
u(0,y) = 80 0<y<4
u(4,y) =0 0 <y < 4
Ejemplo con grilla 5x5 (...)

Por ejemplo, con Mtodo de Gauss ...

 Construccin de sistema lineal
(Condiciones de borde de Neumann)

Corresponde a cuando se especifican valores de la

derivada direccional de u(x,y) en la direccin
perpendicular al contorno R
u x , y
Ejemplo: supongamos que =0
n

En el contexto de los problemas de temperatura, significa

contorno aislado, no hay flujo de calor a travs de l
Para R={ x , y :0x a ,0 yb } , la condicin de contorno
de la derivada para x = a es:

u x n , y j
=u x x n , y j =0
x
 Construccin de sistema lineal
(Condiciones de borde de Neumann) ...

La ecuacin de diferencias de Laplace para x n , y j

u n1j u n1j 4 u nju nj1u nj1=0
Donde el valor u n1j es desconocido pues est
fuera del dominio R. Sin embargo, podemos usar la
frmula de la derivacin numrica:
un1j un1j
u x x n , y j =0 u n1ju n1j
2h
Y obtenemos la frmula que relaciona u nj con sus
valores adyacentes
2 un 1j 4 unj unj 1u nj1=0
 Construccin de sistema lineal
(Condiciones de borde de Neumann) ...

Las condiciones de Neumann para los puntos de los

dems lados se obtiene de manera similar. Los cuatro
casos son:
Construccin de sistema lineal
(Condiciones de borde de Neumann) ...
 Ejemplo con condiciones de borde
mixtas

Problema: determinar la solucin aproximada de la

ecuacin de Laplace en el rectngulo R={ x , y :0x 4, 0 y 4 }
donde u(x,y) denota la temperatura en un punto (x,y), los
valores de frontera son:
u(x,4) = 180 0 < x < 4 (Dirichlet)
uy(x,0) = 0 0 < x < 4 (Neumann)
u(0,y) = 80 0 < y < 4 (Dirichlet)
u(4,y) =0 0 <y < 4 (Dirichlet)
Grilla de 5x5 (12 incgnitas)
Grilla de 5x5 (12 incgnitas)
 Resumen

Mtodo de diferencias finitas

Problemas que se modelan usando la ecuacin de
Laplace
Condiciones de borde Dirichlet, Neumann y mixtas
Construccin del sistema de ecuaciones
Cuidado con la numeracin de los puntos para lograr un sistema
pentadiagonal (solucin ms eficiente)