Anda di halaman 1dari 32

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
u x 0, y =b x y , u x f , y =b x y
0

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)

Ecuacin de Laplace

Ecuacin de Poisson

u u

=0 en
x y
u u
en

=f x , y
x y

Condiciones de borde

Dirichlet

Neumann

u=f 1
u
=f
n 2

en

en 2

Ejemplo: Ecuacin de Laplace

Si tenemos

u u

=0
x y

Que deseamos encontrar?

Cmo resolverla? numricamente

Qu conceptos debemos utilizar?

con

u=f 1

en

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 ' x =lim
h 0

f xhf x
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]

f ' x

f xhf x h
2h

Es ms, existe un nmero


f ' x

siendo

entonces:

c=c x [a , b ] tal que

f xhf x h
E trunc f ,h
2h

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
f
c 1 h
f x h
f xh=f x f ' x h

2!
3!
2

f x h
f xh=f x f ' x h

2!

c 2 h
3!

Restamos y obtenemos

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

Como

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
f

f 12 f 0f 1
x 0
h

Se usa para discretizar el Laplaciano

f 2f 1 2 f 1f 2
x 0
2h
f 24 f 16 f 0 4 f 1f 2
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:

f 12 f 0f 1
x 0
h

(Seccin 6.2- Libro de Mathews-Fink)

Ecuacin de diferencias para el


Laplaciano

Reemplazando

u ui1j2u ij u i1j

x
h

u uij1 2 uij u ij1

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

Discretizacin del rectngulo

Esquema de ecuacin
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

u n1j
Donde el valor
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
2h

Y obtenemos la frmula que relaciona


valores adyacentes

2 un 1j 4 unj unj 1u nj1=0

u n1ju n1j
u nj

con sus

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)