Introduccin........................................................................................................ 2
2.
Clasificacin Matemtica.................................................................................... 2
2.1. Ecuaciones Elpticas................................................................................... 3
2.2. Ecuaciones Parablicas..............................................................................4
2.3. Ecuaciones Hiperblicas............................................................................ 4
3.
4.
Ecuaciones Hiperblicas................................................................................... 13
4.1. Mtodo Explcito...................................................................................... 14
4.2. Mtodo Implcito...................................................................................... 17
1. Introduccin
A modo de introduccin a la resolucin numrica de ecuaciones diferenciales en
derivadas parciales recordamos algunos conceptos bsicos vistos en cursos previos
de Anlisis Matemtico:
Se denominan ecuaciones diferenciales parciales (EDP) a aquellas ecuaciones
2 u
x2
2 x y
3 u
x2 y
2 u
x2
2 u
x
x u
2 u
y2
2 u
y2
u 1
8 u 5 y
3 u
x y 2
u
x
y
.
. (1)
2. Clasificacin Matemtica
Las ecuaciones diferenciales de segundo orden en derivadas parciales pueden
expresarse de forma general como:
2 u
x2
2 u
y2
2 u
2 u
2 u
A
B
C
D 0
x y
x2
y2
.
. (2)
.
. (3)
2 u
x2
2 u
y2
.
. (4)
Para abordar la solucin numrica, trataremos a la placa como una malla de puntos
discretos (nodos) donde plantearemos la representacin en diferencias finitas de la
ecuacin diferencial, lo cual transforma a la EDP en una ecuacin algebraica en
diferencias. Utilizando diferencias finitas centradas de segundo orden, entonces
podemos escribir:
2 u
x 2 i, j
1
x 2
(ui 1, j 2 ui, j ui 1, j )
..
. (5)
... (6)
2 u
y 2 i, j
1
y 2
1
x 2
1
x 2
(ui 1, j 2 ui, j ui 1, j )
ui 1, j 2
x 2
1
y 2
1
1
1
1
u
u
u1, j 1 0
2 i, j
2 1 i, j
2 1, j 1
y
x
y
y 2
. (7)
.
(8)
Las condiciones de borde o de frontera deben estar especificadas para que exista
una solucin nica. Existen dos posibilidades en cuanto a condiciones en la
frontera:
Especificar el valor de la funcin en el borde. Es la forma ms simple y se la conoce
como condicin de frontera de Dirichlet o condicin forzada.
Especificar el valor de la derivada en la frontera. En general la derivada que se
especifica es en la direccin normal al borde (flujo). Esta condicin es conocida
como condicin de Neumann o condicin natural. Esta condicin es de la forma:
u
a
n
..
. (9)
ui 1, j ui 1, j
u u
n x
2 x
..
. (10)
y para n = y
u1, j 1 ui, j 1
u u
n y
2 y
..
. (11)
u
ui 1, j ui 1, j
x
qx
..
. (12)
..
. (13)
Flujo en la direccin x
qy
u
ui, j 1 ui, j 1
y
Flujo en la direccin y
2T
x2
T
t
..
. (14)
En este caso hay que considerar que la solucin presenta cambios en el espacio y
en el tiempo. La malla usada para la resolucin por diferencias finitas de las EDP
con dos variables independientes puede ser representada por:
Mtodo Explcito
2 T
T l 2 Til Til1
i 1
x2
x 2
..
. (15)
t
t
..
. (16)
2 T
x2
T
t
..
. (17)
Se obtiene:
t
x 2
..
. (18)
k t
Tl 2 Tl Tl
Til1 Til
i1
i
i1
x 2
Y si hacemos
..
. (19)
k t
x 2 , nos queda:
..
. (20)
Esta ecuacin, que puede ser escrita para todos los nodos interiores de la barra,
proporciona un modo explicito para calcular los valores en cada nodo para un
tiempo posterior, con base en los valores actuales del nodo y sus vecinos. Esto
puede ser esquematizado mediante la siguiente representacin:
Si las condiciones de contorno son del tipo forzada o de Dirichlet, donde el valor de
la funcin incgnita es conocido, la ecuacin anterior no debe ser aplicada en los
puntos de la frontera, puesto que all no hay incgnitas.
Las condiciones de contorno o de frontera del tipo de Neumann (o condicin
natural) pueden ser incorporadas sin inconvenientes a las ecuaciones parablicas,
..
. (21)
Donde el punto (-1) es exterior al dominio de anlisis. Este punto puede escribirse
en funcin de los interiores utilizando las condiciones de contorno que
correspondan. En este caso:
q x k C
T
x
..
. (22)
Utilizando una diferencia dividida finita centrada de segundo orden para aproximar
a la derivada respecto de la variable espacial x:
T Ti-l1 Til1
x
2 x
..
. (23)
..
T
T l T l
k C -1 1 . (24)
x
2 x
2
q
x
T-l1 T1l
k C
q x k C
2 x q x
x q x
..
. (25)
De la misma manera se puede obtener una ecuacin para ser aplicada en el ltimo
punto.
Mtodos Implcitos.
Entonces, por quedar una ecuacin con varias incgnitas, que no puede ser
resuelta explcitamente el sistema completo de ecuaciones que se originar debe
resolverse simultneamente. Esto es posible porque junto con las condiciones de
frontera, las formas implcitas dan como resultado un conjunto de ecuaciones
lineales algebraicas con el mismo nmero de incgnitas. Entonces el mtodo se
reduce a la resolucin de un conjunto de ecuaciones simultneas para cada
instante de tiempo.
La ecuacin de conduccin del calor que estamos tratando requiere de dos
aproximaciones. Para la derivada segunda respecto de la variable espacial x,
podemos hacerla con una diferencia dividida centrada con una aproximacin de
segundo orden, con el error de truncamiento que hemos discutido con anterioridad:
T l 1 2 Til 1 Til11
i 1
x2
x 2
2 T
... (26)
T Til 1 Til
t
t
... (27)
Sustituyendo en la ecuacin:
2 T
x2
... (28)
T
t
Se obtiene:
Til11 2 Til 1 Ti 11 l
x 2
Til 1 Til
... (29)
... (30)
Donde:
k t
... (31)
Esta ecuacin se aplica en todos los nodos excepto en el primero y el ltimo. Para
estos puntos valen las apreciaciones hechas en el caso anterior respecto de las
condiciones de contorno. Vale destacar que el sistema de ecuaciones que se forma
al aplicar este mtodo es tridiagonal, y que existen algoritmos muy eficientes para
la resolucin de este tipo de sistemas, como por ejemplo el mtodo de Thomas.
1.1.2.2. Mtodo Implcito de Crank - Nicolson
El mtodo de Crank Nicolson proporciona un esquema implcito de mayor
exactitud que el mtodo implcito simple visto anteriormente. Esto se logra
desarrollando las aproximaciones por diferencias en el punto medio del incremento
en el tiempo.
Para hacer esto la primera derivada temporal puede ser aproximada en t l+1/2 por:
t
2
t 2
t 2
t
... (32)
x 2 2
x 2
x 2
2 T
.
...
(33)
2
t
x 2
x 2
....
. (34)
Reordenando:
t k
2 x
....
Til1 2 Til Til1 Til11 2 Til 1 Til11 Til 1 Til
. (35)
Si hacemos
t k
x 2
y reemplazamos:
l 1
l 1
Til11 2 Til 1 2 Til Til1 2 Til Til1
i 1 2 Ti
....
. (36)
Esta ecuacin se aplica en todos los nodos excepto en el primero y el ltimo. Para
estos puntos valen las apreciaciones hechas en el caso anterior respecto de las
condiciones de contorno. En las figuras siguientes puede apreciarse la diferencia
entre las molculas computacionales del mtodo implcito simple (a) y el mtodo
implcito de Crank Nicolson (b).
4. Ecuaciones Hiperblicas
Como hicimos en los casos anteriores abordaremos el estudio del tratamiento de
este tipo de ecuaciones mediante la resolucin de una ecuacin particular, pero no
debe perderse de vista que los mtodos que se desarrollaran a continuacin son de
aplicacin a todas las ecuaciones que correspondan a esta clasificacin. La
ecuacin a tratar en esta oportunidad es la ecuacin de la onda unidimensional,
cuya expresin es:
2 u
x2
2 u
t2
... (37)
Donde:
u = u(x,t) es la funcin posicin.
1
c2
En este caso, al igual que para las ecuaciones parablicas, debemos conocer las
condiciones iniciales del problema para poder hallar la solucin. Entonces
tendremos que:
u x,0 f(x)
... (38)
... (34)
u
g(x)
t 0
Mtodo Explcito
... (39)
uil 1
t 2 u l 2 u l u l 2 u l u l 1
i 1
i
i 1
i
i
x 2
la cual puede
.
... (40)
r2
uil 1
t 2
x 2
, quedando:
.
... (41)
nodo y sus vecinos (nodos i-1, 1 e i+1 en el tiempo l) y a un valor anterior del nodo
considerado (nodo i en el tiempo l-1).
Respecto de las condiciones de contorno, si estas son del tipo forzada o de
Dirichlet, donde el valor de la funcin incgnita es conocido, la ecuacin anterior
no debe ser aplicada en los puntos de la frontera, puesto que all no hay
incgnitas. Si las condiciones de contorno son del tipo de Neumann (o condicin
natural) pueden ser incorporadas sin inconvenientes a las ecuaciones hiperblicas
mediante la utilizacin de una condicin del tipo:
u 0, t
1
m(0, t)
uli1 uli1
x
2 x
u l, t
1
n(l, t)
uli1 uli1
x
2 x
... (42)
Donde hemos utilizado una diferencia dividida finita centrada de segundo orden
para aproximar a la derivada respecto de la variable espacial x. 0 y l son los
extremos del dominio espacial y m y n funciones de t o constantes. De esta forma
ser posible expresar a los puntos exteriores al dominio en funcin de los
interiores. Luego, aquellos son reemplazados en la ecuacin general y se obtiene
una ecuacin para ser aplicada al primero o al ltimo punto del dominio, en el caso
de que en alguno de ellos la condicin de contorno sea del tipo natural. Por otro
lado si planteamos la resolucin para el primer instante de tiempo posterior al
tiempo inicial la expresin general queda:
u i1 u1i g i
2
... (44)
expresndolo
en
funcin
del
interior,
... (45)
0 r 1
Donde r est definido por la expresin:
t 2
x 2
... (46)
r 1
0 r 1
2
Mtodo Implcito
u l 1 2 uil uil 1
2 i
2
uiil 11 2 uiil 1 uiil 11
(47)
x 2
1 u l 1 2 u l 1 u l 1 1 u l 2 u l u l
ii 1
ii
ii 1
ii 1
ii
ii 1
4
1
4
t
x .