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 eumann (mixtas)

!esolucin del sistema de ecuaciones

Ecuaciones en derivadas parciales

Involucran una funcin desconocida u de dos o m"s

varia#les independientes

$"lida so#re un dominio %eom&trico '( discreti)acin

Condiciones de #orde e iniciales

(*eccin +,-./ captulo +,/ 0athe1s2Fin3/ apuntes de

0C- !ivara)

Clasificacin de EDPs
clsicas
A
u
x
B
u
xy
C
u
y
=f x , y , u,
u
x
,
u
y

para x
0
xx
f
, y
0
yy
f
4 con las condiciones de #orde para un
dominio rectan%ular
u x, y
0
=b
y
0
x, u x , y
f
=b
y
f
x
u x
0,
y=b
x
0
y , u x
f
, y=b
x
f
y
Estas E5Ps pueden ser clasificadas en tres %rupos6
E5P elptica si6
E5P para#lica si6
E5P hiper#lica si6
B 4AC0
B 4AC=0
B 4AC0

EDPs Elpticas

Pro#lemas de estado estacionario (no son funcin del

tiempo)

Ecuacin de Laplace en

Ecuacin de Poisson en

Condiciones de borde

Dirichlet en 1

Neumann en 2
u
x

u
y
=f x, y
u
x

u
y
=0
u=f
1
u
n
=f
2

Ejemplo: Ecuacin de Laplace
u
x

u
y
=0

*i tenemos con en

7ue deseamos encontrar8

Cmo resolverla8 num&ricamente

7u& conceptos de#emos utili)ar8

u=f
1

Ejemplo: Ecuacin de Laplace

Solucin aproximada

Cmo la resolvemos !saremos diferencias
finitas

9&cnica num&rica

5iscreti)ar el dominio

Aproximar los operadores diferenciales por

operadores de diferencias

Laplaciano6
u
x

u
i1j
2u
ij
u
i1j
h

Cmo se deduce

:sar aproximaciones de derivadas

Lmite del cuociente incremental6

Aproximacin #uena solo para h pe;ue<os

(5etalles en seccin =-+/ 0athe1s2Fin3)

f ' x=lim
h0
f xhf x
h
f ' x
f x
i
hf x
i

h
=
f
i 1
f
i
h

Cmo se deduce "###$

Frmula de diferencias centradas6

9eorema Frmula centrada de orden >(h?)- *upon%amos ;ue

4 ;ue entonces6

Es m"s/ existe un n@mero tal ;ue

siendo
f C [ a, b] xh, x , xh[ a, b]
f ' x
f xhf xh
2h
c=c x[ a, b]
f ' x
f xhf xh
2h
E
trunc
f ,h
E
trunc
f , h=
hf
3
c
6
=Oh

Cmo se deduce "###$

5emostracin6

:samos frmula de 9a4lor de orden A de f alrededor de x para

f(x2h) 4 f(xBh)

!estamos 4 o#tenemos

Como es continua/ usamos el teorema del valor intermedio

f xh=f xf ' x h
f
2
x h
2!

f
3
c
1
h
3!
f xh=f xf ' x h
f
2
x h
2!

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

2
=f
3
c

Cmo se deduce "###$

C ordenando t&rminos o#tenemos6

(Primer t&rmino es la frmula centrada 4 el se%undo el error de truncamiento)

A continuacin usaremos la si%uiente notacin6

f ' x=
f xhf xh
2h

f
3
ch
3!
f ' x=
f xhf xh
2h
O h
f ' x
j

f
j1
f
j 1
2h

%rmulas de derivacin n&merica

Frmulas de diferencias centradas >(h?)

*e usa para discreti)ar el Laplaciano

f ' x
0

f
1
f
1
2h
f
2
x
0

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

f
2
f
1
2f
1
f
2
2h
f
4
x
0

f
2
4f
1
6 f
0
4f
1
f
2
h

Cmo se deduce f''
(*eccin =-A2 Li#ro de 0athe1s2Fin3)

Cmo se deduce f''
(*eccin =-A2 Li#ro de 0athe1s2Fin3)
El primer t&rmino corresponde al valor de f'' #uscado6
f
2
x
0

f
1
2 f
0
f
1
h

Ecuacin de diferencias para el
Laplaciano

!eempla)ando

>#tenemos la frmula para la aproximacin de la ec- de Laplace6

u
x

u
i1j
2u
ij
u
i1j
h
u
y

u
ij1
2u
ij
u
ij1
h
4
u
x

u
y

u
i 1j
u
i1j
4 u
ij
u
ij1
u
ij1
h
=0

(epresentacin operador de diferencias
5iscreti)acin del rect"n%ulo
Es;uema de ecuacin
de diferencias para el
Laplaciano

Mtodo de diferencias finitas ")D$:
pasos a se*uir

5iscreti)ar re%in con %rilla re%ular de paso h en

direcciones x e 4

Escri#ir ecuaciones de diferencias para cada punto de la

%rilla

*e o#tiene un sistema lineal de ecuaciones A=b

El sistema se resuelve numricamente

Mtodo directo, por e! "auss

Mtodo iterativo

+entajas,Limitaciones del mtodo de
diferencias finitas

*e adapta #ien a %eometras rectan%ulares o ;ue son

uniones de rect"n%ulos

Es intuitivo/ f"cil de explicar 4 entender

o permite modelar #ien %eometras compleDas ni

condiciones de #orde so#re #ordes curvos

:sar otros m"s %enerales pero a la ve) m"s compleDos

EDemplo6 m&todos de elementos finitos o vol@menes

finitos

Construccin del sistema lineal
"Condiciones de -orde Diric.let$

*upon%amos ;ue tenemos un pro#lema de 5irichlet/ es

decir conocemos los valores en la frontera de u(x/4) en la
frontera de la re%in !

u x
1,
y
j
=u
1, j
para 2jm1 a la izquierda
u x
i
, y
1
=u
i ,1
para 2in1 abajo
u x
i
, y
m
=u
i , m
para 2in1 arriba
u x
n
, y
j
=u
n, j
para 2jm1 a la derecha

Ejemplo con *rilla /x/

Eti;uetamos los puntos interiores como se muestra a

continuacin6

Ejemplo *rilla /x/ "###$

Pro#lema6 determinar la solucin aproximada de la

ecuacin de Laplace en el rect"n%ulo
donde u(x/4) denota la temperatura en un punto (x/4)/ los
valores de frontera son6

u(x/,) ' A, , E x E F

u(x/F) ' +G, , E x E F

u(,/4) ' G, , E 4 E F

u(F/4) ', , E4 E F
={ x , y: 0x4, 0y4}

Ejemplo con *rilla /x/ "###$
Por eDemplo/ con 0&todo de Hauss ---

Construccin de sistema lineal
"Condiciones de -orde de 0eumann$

Corresponde a cuando se especifican valores de la

derivada direccional de u(x/4) en la direccin
perpendicular al contorno !

EDemplo6 supon%amos ;ue

En el contexto de los pro#lemas de temperatura/ si%nifica

contorno aislado/ no ha4 fluDo de calor a trav&s de &l

Para / la condicin de contorno

de la derivada para x ' a es6
u x , y
n
=0
={ x , y: 0xa ,0yb }
u x
n
, y
j

x
=u
x
x
n
, y
j
=0

Construccin de sistema lineal
"Condiciones de -orde de 0eumann$ ###

La ecuacin de diferencias de Laplace para

5onde el valor es desconocido pues est"

fuera del dominio !- *in em#ar%o/ podemos usar la
frmula de la derivacin num&rica6

C o#tenemos la frmula ;ue relaciona con sus

valores ad4acentes
u
n1j
u
n1j
4u
nj
u
nj1
u
nj1
=0
x
n
, y
j

u
n1j
u
n1j
u
n1j
2h
u
x
x
n
, y
j
=0 u
n1j
u
n1j
u
nj
2u
n1j
4 u
nj
u
nj 1
u
nj1
=0

Construccin de sistema lineal
"Condiciones de -orde de 0eumann$ ###

Las condiciones de eumann para los puntos de los

dem"s lados se o#tiene de manera similar- Los cuatro
casos son6

Construccin de sistema lineal
"Condiciones de -orde de 0eumann$ ###

Ejemplo con condiciones de -orde
mixtas

Pro#lema6 determinar la solucin aproximada de la

ecuacin de Laplace en el rect"n%ulo
donde u(x/4) denota la temperatura en un punto (x/4)/ los
valores de frontera son6

u(x/F) ' +G, , E x E F (5irichlet)

u4(x/,) ' , , E x E F (eumann)

u(,/4) ' G, , E 4 E F (5irichlet)

u(F/4) ', , E4 E F (5irichlet)

={ x , y: 0x4, 0y4}

1rilla de /x/ "2) inc*nitas$

1rilla de /x/ "2) inc*nitas$

(esumen

0&todo de diferencias finitas

Pro#lemas ;ue se modelan usando la ecuacin de

Laplace

Condiciones de #orde 5irichlet/ eumann 4 mixtas

Construccin del sistema de ecuaciones

Cuidado con la numeracin de los puntos para lo%rar un sistema

pentadia%onal (solucin m"s eficiente)