Método de diferencias finitas para

ecuaciones diferenciales parciales

elípticas
(Parte I)
 Contenido

 Ecuaciones en derivadas parciales

 Ecuaciones en derivadas parciales elípticas
 Ecuación de Laplace
 Aproximación de operadores diferenciales
 Fórmula de diferencias centradas para f' u f''
 Construcción de sistema de ecuaciones
 Laplace con condiciones de dirichlet
 Laplace con condiciones de Neumann (mixtas)
 Resolución del sistema de ecuaciones
 Ecuaciones en derivadas parciales

 Involucran una función desconocida u de dos o más

variables independientes
 Válida sobre un dominio geométrico => discretización
 Condiciones de borde e iniciales
 (Sección 10.3, capítulo 10, Mathews-Fink, apuntes de
MC. Rivara)
 Clasificación de EDPs
clásicas
∂² u ∂ ²u ∂ ²u ∂u ∂u
A B C =f  x , y , u , , 
∂ x² ∂ xy ∂ y² ∂x ∂y

para x 0 xx 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 elíptica si: B²−4AC0
EDP parabólica si: B²−4AC=0

EDP hiperbólica si: B²−4AC0

 EDPs Elípticas

 Problemas de estado estacionario (no son función del

tiempo)
∂² u ∂²u
 Ecuación de Laplace  =0 en Ω
∂ x² ∂ y²
 Ecuación 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: Ecuación de Laplace

∂² u ∂²u
 Si tenemos  =0 con u=f 1 en Ƭ
∂ x² ∂ y²

 Que deseamos encontrar?

 Cómo resolverla? numéricamente
 Qué conceptos debemos utilizar?
Ejemplo: Ecuación de Laplace
Solución aproximada
Cómo la resolvemos? Usaremos diferencias
finitas

 Técnica numérica
 Discretizar el dominio
 Aproximar los operadores diferenciales por
operadores de diferencias

∂² u ui−1j−2u ij u i1j
≈

∂ x² h²


 Laplaciano:
 Cómo se deduce?

 Usar aproximaciones de derivadas

 Límite del cuociente incremental:

f  xh−f  x 
f '  x =lim
h 0 h

f  x ih−f  x i  f i 1−f i
f '  x ≈ =
h h

 Aproximación buena solo para h pequeños

 (Detalles en sección 6.1, Mathews-Fink)
 Cómo se deduce? (...)

 Fórmula de diferencias centradas:

 Teorema Fórmula centrada de orden O(h²). Supongamos que
f ∈C³[ a , b] y que x−h , x , xh∈[ a , b] entonces:

f  xh−f  x −h
f '  x ≈
2h
 Es más, existe un número c=c  x ∈[a , b ] tal que

f  xh−f  x −h
f '  x ≈ E trunc f ,h 
2h

 siendo −h²f  3 c 
E trunc  f , h= =Oh² 
6
 Cómo se deduce? (...)
 Demostración:

Usamos fórmula 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  xh=f  x f '  x h 
2! 3!
 2 3
f  x  h² f c 2 h³
f  x−h=f  x −f '  x h −
2! 3!
 Restamos y obtenemos
f  3  c 1 f 3  c 2 h³
f  xh−f  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
 Cómo se deduce? (...)
 Y ordenando términos obtenemos:

f  xh−f  x −h f  3  c h²

f '  x = 
2h 3!

 (Primer término es la fórmula centrada y el segundo el error de truncamiento)

f  xh−f  x −h
f '  x = O h²
2h

 A continuación usaremos la siguiente notación:

f j1 −f j −1
f '  x j ≈
2h
 Fórmulas de derivación númerica

 Fórmulas de diferencias centradas O(h²)

 f 1−f −1
f '  x 0 ≈
2h

2  f 1−2 f 0f −1
 f  x 0 ≈ Se usa para discretizar el Laplaciano
h²

3  f 2−f 1 2 f −1−f −2
 f  x 0 ≈
2h³

4  f 2−4 f 16 f 0 −4 f −1f −2

 f  x 0≈
h⁴
 Cómo se deduce f''?

(Sección 6.2- Libro de Mathews-Fink)

 Cómo se deduce f''?

El primer término corresponde al valor de f'' buscado:

2  f 1−2 f 0f −1
f  x 0 ≈
h²

(Sección 6.2- Libro de Mathews-Fink)

 Ecuación de diferencias para el
Laplaciano
 Reemplazando
∂² u ui−1j−2u ij u i1j y ∂² u uij−1 −2 uij u ij1
≈ ≈
∂ x² h² ∂ y² h²

 Obtenemos la fórmula para la aproximación de la ec. de Laplace:

∂² u ∂ ² u ui −1jui1j−4 uij u ij−1u ij1

 ≈ =0
∂ x² ∂ y² h²
Representación operador de diferencias

Esquema de ecuación
Discretización del rectángulo de diferencias para el
Laplaciano
 Método de diferencias finitas (2D):
pasos a seguir
 Discretizar región 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 numéricamente
 Método directo, por ej: Gauss
 Método iterativo
 Ventajas/Limitaciones del método de
diferencias finitas

 Se adapta bien a geometrías rectangulares o que son

uniones de rectángulos
 Es intuitivo, fácil de explicar y entender
 No permite modelar bien geometrías complejas ni
condiciones de borde sobre bordes curvos
 Usar otros más generales pero a la vez más complejos
 Ejemplo: métodos de elementos finitos o volúmenes
finitos
 Construcción 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 región R
 u  x 1, y j =u1, j para 2 jm−1  a la izquierda
 u  x i , y 1 =u i ,1 para 2in−1  abajo

u  x n , y j =u n , j para 2 jm−1 a la derecha
 u  x i , y m =ui , m para 2in−1 arriba 
 Ejemplo con grilla 5x5
 Etiquetamos los puntos interiores como se muestra a
continuación:
 Ejemplo grilla 5x5 (...)

 Problema: determinar la solución aproximada de la

ecuación de Laplace en el rectángulo R={ x , y :0x 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 Método de Gauss ...

 Construcción de sistema lineal
(Condiciones de borde de Neumann)

 Corresponde a cuando se especifican valores de la

derivada direccional de u(x,y) en la dirección
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 través de él
 Para R={ x , y :0x a ,0 yb } , la condición de contorno
de la derivada para x = a es:

∂u  x n , y j 
=u x  x n , y j =0
∂x
 Construcción de sistema lineal
(Condiciones de borde de Neumann) ...

 La ecuación de diferencias de Laplace para  x n , y j 

u n1j u n−1j −4 u nju nj1u nj−1=0
 Donde el valor u n1j es desconocido pues está
fuera del dominio R. Sin embargo, podemos usar la
fórmula de la derivación numérica:
 un1j −un−1j
≈u x  x n , y j =0 u n1j≈u n−1j
 2h
 Y obtenemos la fórmula que relaciona u nj con sus
valores adyacentes
2 un −1j −4 unj unj 1u nj−1=0
 Construcción de sistema lineal
(Condiciones de borde de Neumann) ...

 Las condiciones de Neumann para los puntos de los

demás lados se obtiene de manera similar. Los cuatro
casos son:
Construcción de sistema lineal
(Condiciones de borde de Neumann) ...
 Ejemplo con condiciones de borde
mixtas

 Problema: determinar la solución aproximada de la

ecuación de Laplace en el rectángulo R={ x , y :0x 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 incógnitas)
Grilla de 5x5 (12 incógnitas)
 Resumen

 Método de diferencias finitas

 Problemas que se modelan usando la ecuación de
Laplace
 Condiciones de borde Dirichlet, Neumann y mixtas
 Construcción del sistema de ecuaciones
 Cuidado con la numeración de los puntos para lograr un sistema
pentadiagonal (solución más eficiente)