Rev. Int. Met. Num. Calc. Dis. Ing.

Vol. 19, 3, 331340 (2003)

Revista Internacional de
Metodos Numericos para
C alculo y Dise no en Ingeniera
Resoluci on de ecuaciones diferenciales en
derivadas parciales dependientes del tiempo de
segundo orden utilizando diferencias nitas
generalizadas
Francisco Ure na y Juan Jose Benito
ETS Ingenieros Industriales de la UNED
Apdo. de Correos 60149, 28080 Madrid, Espa na
Tel.: 34-91-398 64 57; Fax: 34-91-398 60 46
e-mail: jbenito@ind.uned.es
Luis Gavete
ETS Ingenieros de Minas de Madrid UPM
c/ Ros Rosas 21, 28003 Madrid, Espa na
Tel. 34-91-336 64 64; Fax: 34-91-336 32 30
e-mail: gavete@dmarn.upm.es
Ramon

Alvarez
ETS Ingenieros Indsutriales de Madrid UPM
c/ Jose Gutierrez Abascal 3, 28006 Madrid, Espa na
Tel.: 34-91-310 51 58; Fax: 34-91-398 60 46
Resumen
En este artculo se muestra la eciencia del metodo de diferencias nitas generalizadas (MDFG) en la
resolucion, por el metodo explcito, de ecuaciones diferenciales en derivadas parciales dependientes del tiempo
de segundo orden para una o dos dimensiones espaciales. La obtencion de f ormulas explcitas en diferencias
nitas generalizadas permite establecer un sencillo criterio de estabilidad, que viene expresado en funcion de
los coecientes de la ecuacion de la estrella.
Palabras clave: Palabras clave:
Diferencias nitas generalizadas, metodos sin malla, mnimos cuadrados m oviles.
RESOLUTION OF SECOND ORDER PARTIAL DIFFERENTIAL EQUATION TIME
DEPENDENTS BY GENERALIZED FINITE DIFFERENCE METHOD
Summary
This paper shows the ecience of generalized nite dierence method (MDFG) in the solution, by the explicit
method, of second order partial dierential equation time dependents for one or two space dimensions. The
explicit nite dierence formulae obtained allows us to establish an easy criterion of stability, which is
expressed in function of the coecients of the star equation.
Key words: Key words:
Generalized nite dierences, meshless methods, moving least squares.
c Universitat Polit`ecnica de Catalunya (Espa na). ISSN: 02131315 Recibido: Abril 2002 Aceptado: Octubre 2002
332 F. Ure na, J.J. Benito, L. Gavete y R.

Alvarez
INTRODUCCI

ON
La aparici on de potentes computadoras ha permitido la utilizacion del metodo de diferen-
cias nitas para resolver ecuaciones diferenciales en derivadas parciales en mallas irregu-
lares. Al desarrollo de este metodo, incluido en los llamados Metodos sin Malla
1,4,10
, han
contribuido los trabajos de Forsythe y Wasow
3
, Jensen
6
, Perrone y Kao
12
, Kaczkowski
7
,
Liska
8,9
y Orkisz
11
.
Las expresiones explcitas de las formulas en diferencias nitas utilizadas en el Metodo
de Diferencias Finitas Generalizadas (MDFG), as como la inuencia de los par ametros que
intervienen han sido estudiadas en la referencia 2. En este artculo se resuelven ecuaciones
diferenciales en derivadas parciales dependientes del tiempo, en una y dos dimensiones
espaciales, utilizando el metodo de diferencias nitas generalizadas y el metodo explcito,
desarroll andose, tambien un criterio de estabilidad.
F

ORMULAS EXPL

ICITAS EN DIFERENCIAS FINITAS GENERALIZADAS

En este apartado se presentan las expresiones lineales explcitas que aproximan las
derivadas parciales en un punto del dominio (f ormulas en diferencias nitas) con el objeto
de sustituir dichas expresiones en la siguiente ecuaci on diferencial en derivadas parciales de
segundo orden
Caso unidimensional
U
t
= A

2
U
x
2
+B
U
x
t > 0, a x b (1.a)
con la condicion de contorno
_
U(a, t) = g(t)
U(b, t) = h(t)
t > 0 (1.b)
con la condicion inicial
U(x, 0) = f(x) (1.c)
donde g(t), h(t) y f(x) son funciones conocidas.
Caso bidimensional
U
t
= A

2
U
x
2
+B

2
U
y
2
+C

2
U
xy
+ D
U
x
+E
U
x
t > 0, (x, y) R
2
(2.a)
con la condicion de contorno

U
n
+U = G(t) en (2.b)
con la condicion inicial
U(x, y, 0) = F(x, y) (2.c)
donde G(t) y F(x, y) son funciones conocidas y es la frontera de .
Resolucion de ecuaciones diferenciales en derivadas parciales 333
A cada nodo de la malla se le asocia un n umero de nodos N, tambien de la malla,
escogidos siguiendo un determinado criterio (distancia y cuadrante)
2
. Al conjunto de estos
N + 1 nodos se le denomina estrella y al nodo a partir del cual se dene la estrella, nodo
central.
El criterio de la distancia consiste en seleccionar los N nodos m as pr oximos al central,
mientras que en el criterio del cuadrante se eligen N/4 nodos m as pr oximos de cada uno de
los cuadrantes denidos por unos ejes cartesianos situados con el origen en el nodo central
(caso bidimensional) o N/2 en cada semieje a partir del nodo central (caso unidimensional).
Si U
0
es el valor de la funci on en el nodo central y U
i
el valor de la funci on en el resto de
los nodos, con i = 1, . . . , N, entonces, de acuerdo con el desarrollo del polinomio de Taylor
se tiene para el caso unidimensional (3.a) y para el caso bidimensional (3.b)
U
i
= U
0
+h
i
U
0
x
+
h
2
i
2

2
U
0
x
2
+ . . . (3.a)
U
i
= U
0
+ h
i
U
0
x
+ k
i
U
0
y
+
1
2
_
h
2
i

2
U
0
x
2
+ k
2
i

2
U
0
y
2
+ 2h
i
k
i

2
U
0
xy
_
+. . . (3.b)
donde para el caso unidimensional se tiene que x
0
es la coordenada del nodo central y x
i
las coordenadas del nodo i de la estrella y h
i
= x
i
x
0
. Para el caso bidimensional (x
0
, y
0
)
son las coordenadas del nodo central, (x
i
, y
i
) las coordenadas del nodo i de la estrella y
h
i
= x
i
x
0
, k
i
= y
i
y
0
.
Si en (3.a) y (3.b) se truncan los segundos miembros a partir de los terminos superiores
al de segundo orden, se obtienen las aproximaciones de segundo orden del valor U
i
que se
indicara por u
i
(tanto en el caso unidimensional como en el bidimensional). De esta manera
se pueden denir las funciones B
2
(u) y B
5
(u) de la forma siguiente
B
2
(u) =
N

i=1
__
u
0
u
i
+ h
i
u
0
x
+
h
2
i
2

2
u
0
x
2
_
w(h
i
)
_
2
(4.a)
B
5
(u) =
N

i=1
__
u
0
u
i
+h
i
u
0
x
+ k
i
u
0
y
+
h
2
i
2

2
u
0
x
2
+
k
2
i
2

2
u
0
y
2
+ h
i
k
i

2
u
0
xy
_
w(h
i
, k
i
)
_
2
(4.b)
donde w(h
i
) y w(h
i
, k
i
) son funciones de ponderaci on.
Si se minimizan las normas (4.a) y (4.b) con respecto a las derivadas parciales, se obtienen
los siguientes sistemas de ecuaciones lineales, que en forma matricial son
A
2
D
u2
= b
2
(5.a)
A
5
D
u5
= b
5
(5.b)
Las matrices A
2
y A
5
tienen dimensiones de 2 2 y 5 5 respectivamente, de ah los
subndices empleados y los vectores D
u2
y D
u5
son respectivamente
D
u2
=
_
u
0
x
,

2
u
0
x
2
_
T
(6.a)
D
u5
=
_
u
0
x
,
u
0
y
,

2
u
0
x
2
,

2
u
0
y
2
,

2
u
0
xy
_
T
(6.b)
334 F. Ure na, J.J. Benito, L. Gavete y R.

Alvarez
Puesto que las matrices A
2
y A
5
son simetricas, es posible utilizar el metodo de Cholesky
para resolver los sistemas de ecuaciones (5.a) y (5.b), descomponiendolas en producto de
matrices triangulares
A
2
= L
2
L
T
2
(7.a)
A
5
= L
5
L
T
5
(7.b)
donde los elementos de las matrices L
2
y L
5
son denotados por l(i, j).
Una vez resueltos los sistemas (5.a) y (5.b) se obtienen las expresiones explcitas de las
f ormulas en diferencias nitas generalizadas de segundo orden
2
con P = 2 para el caso
unidimensional y P = 5 para el caso bidimensional
D
uP
=
1
l(k, k)
_
u
0
N

i=1
M(k, i)c
i
+
N

j=1
u
j
_
5

i=1
M(k, i)d
ji
__
(k = 1, . . . , P) (8)
M(i, j) = (1)
1
ij
1
l(i, i)
i1

k=j
l(i, k)M(k, j) con j < i (i, j = 1, . . . , P)
M(i, j) =
1
l(i, i)
con j = i (i, j = 1, . . . , P)
M(i, j) = 0 con j > i (i, j = 1, . . . , P)
con
ij
funci on delta de Kronecker y
c
i
=
N

j=1
d
ji
, d
j1
= h
j
W
2
, d
j2
=
h
2
j
2
W
2
, d
j3
= k
j
W
2
, d
j4
=
k
2
j
2
W
2
, d
j5
= h
j
k
j
W
2
en los que W = w(h
i
) para el caso unidimensional y W = w(h
i
, k
i
) para el bidimensional.
Si la expresi on (8) se sustituye en la ecuacion (1.a) o (2.a) seg un sea el caso unidimensional
o bidimensional, se obtiene la expresi on siguiente
u
n+1
0
= u
n
0
(1 tm
0
) + t
_
N

i=1
m
i
u
n
i
_
(9)
donde se ha designado por u
n+1
0
el valor de la soluci on numerica en el nodo central en el
instante n +1; u
n
0
el valor de la soluci on numerica en el nodo central en el instante n; u
n
i
el
valor de la soluci on numerica de los nodos de la estrella en el instante n; m
0
coeciente del
valor de la soluci on numerica en el nodo central u
n
0
, que para el caso de la ecuaci on (1.a)
viene dado por la expresi on
m
0
=
N

i=1
_
A
M(2, i)
l(2, 2)
+ B
M(1, i)
l(1, 1)
_
c
i
(10)
y el de la ecuaci on (2.a) por
m
0
=
N

i=1
_
A
M(2, i)
l(2, 2)
+ B
M(4, i)
l(4, 4)
+ C
M(5, i)
l(5, 5)
+D
M(1, i)
l(1, 1)
+E
M(3, i)
l(3, 3)
_
c
i
(11)
Resolucion de ecuaciones diferenciales en derivadas parciales 335
donde m
i
es el coeciente del valor de la solucion numerica del nodo i en la estrella cuyo
nodo central tiene por soluci on numerica u
n
0
. Para el caso de la ecuacion (1.a) viene dado
por la expresi on
m
i
=
N

i=1
_
A
M(2, i)
l(2, 2)
+ B
M(1, i)
l(1, 1)
_
d
ij
(12)
y para el de la ecuaci on (2.a) por
m
i
=
N

i=1
_
A
M(2, i)
l(2, 2)
+B
M(4, i)
l(4, 4)
+C
M(5, i)
l(5, 5)
+ D
M(1, i)
l(1, 1)
+ E
M(3, i)
l(3, 3)
_
d
ij
(13)
CRITERIO DE ESTABILIDAD EN DIFERENCIAS FINITAS
GENERALIZADAS
Un metodo de diferencias para un problema con valor inicial en la frontera, como se sabe,
es estable en el sentido von Neumann, si cualquier soluci on para la ecuaci on en diferencias
(9) de la forma
u
n
j
=
n
e
il
j
h
(14)
tiene la propiedad
|| 1 (15)
Si se aplica el criterio de von Neumann a la ecuaci on (9) de la siguiente manera
u
n
0
=
n
e
ilh
, u
n
j
=
n
e
il
j
h
, l
j
= 1 +
j
(16)

n+1
e
ilh
=
n
e
ilh
(1 tm
0
) + t
_

n
e
ilh
N

j=1
e
i
j
h
m
j
_
(17)
Al simplicar, efectuar operaciones y tomar valor absoluto, se tiene
|| = 1 + t

j=1
e
i
j
h
m
j
m
0

(18)
teniendo en cuenta (15) y que
m
0
=
N

j=1
m
j
(19)
se tiene
0 t
2
N

j=1

m
j
(1 e
i
j
h
)

0 t
1
|m
0
|
(20)
Puesto que las mallas son irregulares, los m
0
son distintos para cada estrella por lo tanto
se escoge como criterio de estabilidad el siguiente
0 t
1
|m
0
|
max
(21)
336 F. Ure na, J.J. Benito, L. Gavete y R.

Alvarez
RESULTADOS NUM

ERICOS
Se presenta en este apartado la resoluci on de ecuaciones diferenciales en derivadas par-
ciales dependientes del tiempo tanto en el caso unidimensional como en el bidimensional
CASO UNIDIMENSIONAL
Resolucion de la ecuaci on
u
t
= 0, 0001

2
u
x
2

u
x
t > 0 0 < x < 2 (22)
con condiciones Dirichlet homogeneas
_
u(0, t) = 0
u(2, t) = 0
(23)
y condici on inicial u(x, 0) de manera que la soluci on analtica es conocida
5
.
La ecuacion (22) con las condiciones de contorno e inicial indicadas se ha resuelto
aplicando el metodo de diferencias nitas generalizadas descrito, utilizando el criterio de
la distancia y la siguiente funci on de ponderaci on
w(h) =
1
(dist)
3
(24)
siendo dist la distancia de cada nodo de la estrella al nodo central. Los resultados
obtenidos para el presente caso unidimensional con la aplicaci on del MDFG mejoran el
metodo clasico al permitir elegir distintos tipos de estrella. Pero adem as es fundamental la
utilizaci on del criterio de estabilidad dado en (21) que, si bien, da unos valores de paso de
tiempo muy peque nos, menores cuanto m as irregular sea la estrella, permite la obtenci on
de buenos resultados sin necesidad de estabilizar el metodo numerico.
0.0001
0.001
0.01
0.1
1
0.0063 0.0125 0.025 0.05 0.1
dt
V
a
l
o
r

M

x
i
m
o

d
e
l

E
r
r
o
r

N
u
m

r
i
c
o
(
N
o
r
m
a

L
2
)
MDFG SUPG+r22 LS+r22 Gal+r22 ILS+r22
Figura 1. Comparacion del error utilizando distintos metodos
Resolucion de ecuaciones diferenciales en derivadas parciales 337
El error se ha evaluado seg un la norma L2 y en la Figura 1 se muestra la evoluci on del
mismo al variar el paso de tiempo (dt), utilizando ILS (formulaci on de mnimos cuadrados
incompleta), Galerkin (Gal+r22), LS (mnimos cuadrados), SUPG, todos ellos aportados
por Huerta y Fern andez
5
con h = 0, 01, a los que se a naden los obtenidos mediante el Metodo
de Diferencias Finitas Generalizadas (MDFG) utilizando mallas regulares con los siguientes
n umeros de nodos: 41 (dt = 0, 1), 67 (dt = 0, 05), 89 (dt = 0, 025), 127 (dt = 0, 0125) y
179 (dt = 0, 00625), donde resulta inevitable variar el n umero de nodos para ajustar el paso
de acuerdo con (20). En la Figura 1 no se distinguen las gr acas SUPG+r22, LS+r22 y
Gal+r22, ya que, como se aprecia en la Tabla I, tienen valores pr acticamente iguales.
dt MDFG SUPG+r22 LS+r22 Gal+r22 ILS+r22
0,1 8, 974 10
3
4, 195 10
1
4, 195 10
1
4, 195 10
1
4, 125 10
1
0,05 3, 223 10
3
8, 591 10
2
8, 591 10
2
8, 592 10
2
6, 945 10
2
0,025 7, 892 10
4
7, 293 10
3
7, 295 10
3
7, 296 10
3
6, 503 10
3
0,0125 3, 627 10
4
5, 678 10
4
5, 705 10
4
5, 705 10
4
5, 579 10
3
0,00625 1, 965 10
4
1, 314 10
4
1, 335 10
4
1, 335 10
4
2, 920 10
3
Tabla I. Comparacion del error utilizando distintos metodos
La inuencia del n umero de nodos de la estrella (sin contar el nodo central) en el error
de la soluci on (evaluado seg un la norma L2) al resolver la ecuaci on (22) se puede ver en la
Figura 3. En ella se aprecia como disminuye el error al aumentar el n umero de nodos en
la estrella, tanto en el caso de malla regular (dt = 0, 05) como irregular (dt = 0, 031) del
mismo n umero de nodos. Se observa tambien que los resultados del error en el caso de malla
regular son mejores que en malla irregular (donde tambien el valor del paso de tiempo es
menor para un mismo n umero de nodos de la malla.
El hecho de aumentar el n umero de nodos en la estrella para mallas irregulares propor-
ciona mejoras importantes para el caso unidimensional, pero resulta a un m as ventajosa en
su aplicaci on a los casos bidimensional
2
y f acilmente extensible al caso tridimensional.

0.0 0.2 0.4 0.6 0.8 1.0 1.2 1.4 1.6 1.8 2.0
Figura 2. Malla irregular de 67 nodos
0
1
2
3
4
5
E
r
r
o
r

(
*
1
0
3
)
Malla regular (67 nodos) dt=0,05
Malla irregular (67 nodos) dt=0,0031
Figura 3. Comparacion del error al aumentar el n umero de nodos
338 F. Ure na, J.J. Benito, L. Gavete y R.

Alvarez
Caso bidimensional
Resolucion de la ecuaci on
u
t
=
_

2
u
x
2
+

2
u
y
2
_
t > 0; 0 < x < 1; 0 < y < 1 (25.a)
condicion inicial
u(x, y, 0) = sen(x)sen(y) 0 < x < 1; 0 < y < 1 (25.b)
condicion de contorno
u
x
= e
2
2
t
sen(y), x = 0
u
x
= e
2
2
t
sen(y), x = 1
_

_
0 y 1, t > 0
u
y
= e
2
2
t
sen(x), y = 0
u
y
= e
2
2
t
sen(x), y = 1
_

_
0 y 1, t > 0
_

_
(25.c)
cuya solucion analtica
u(x, y, t) = e
2
2
t
sen(x)sen(y) (26)
La Figura 5 muestra el error en el valor obtenido para la funci on u y sus derivadas
parciales primeras respecto de x(dx), y(dy) y t(dt). Se utilizan para su resoluci on las mallas
irregulares indicadas como malla 2 (81 nodos), malla 3 (121 nodos) y malla 4 (289 nodos)
en la Figura 4.
0.00 0.10 0.20 0.30 0.40 0.50 0.60 0.70 0.80 0.90 1.00
0.00
0.10
0.20
0.30
0.40
0.50
0.60
0.70
0.80
0.90
1.00
0.00 0.10 0.20 0.30 0.40 0.50 0.60 0.70 0.80 0.90 1.00
0.00
0.10
0.20
0.30
0.40
0.50
0.60
0.70
0.80
0.90
1.00
0.00 0.10 0.20 0.30 0.40 0.50 0.60 0.70 0.80 0.90 1.00
0.00
0.10
0.20
0.30
0.40
0.50
0.60
0.70
0.80
0.90
1.00

malla 2 malla 3 malla 4
Figura 4. Mallas irregulares
La f ormula de error empleada es
Error =

_
N

i=1
(sol(i) exac(i))
2
N
|exac
max
|
100
Resolucion de ecuaciones diferenciales en derivadas parciales 339
0
10
20
30
40
81 121 289
NODOS
E
r
r
o
r

x
1
0
3Error solu%
Error dx %
Error dy %
Error dt %
Figura 5. Error al aumentar el n umero de nodos en la malla
En la Figura 5 se puede apreciar c omo disminuye el error de la soluci on y de las derivadas
parciales primeras al aumentar el n umero de nodos en la malla.
Aunque la utilizaci on de mallas irregulares con un n umero de nodos cada vez mas elevado
conlleva un menor error, tanto en la soluci on como en las derivadas parciales primeras, cada
vez que se aumenta el n umero de nodos se hace mas peque no el incremento de tiempo t,
con lo que se deben efectuar mas pasos para llegar al mismo valor de t y, por lo tanto, un
mayor n umero de calculos. Se debe por lo tanto establecer un compromiso entre ambos
factores.
CONCLUSIONES
La obtencion de las f ormulas en diferencias nitas para cualquier tipo de malla en forma
explcita permite su aplicaci on a la resoluci on de ecuaciones diferenciales en derivadas
parciales dependientes del tiempo, mostrandose en este artculo los casos unidimensional
y bidimensional.
Ademas, se ha obtenido el criterio de estabilidad de gran utilidad, ya que permite una
sencilla programaci on para su aplicaci on dentro del programa general.
Los resultados obtenidos para el caso unidimensional se han comparado con los obtenidos
por otros investigadores
5
, pudiendose apreciar la eciencia del metodo.
Se ha analizado la inuencia del aumento del n umero de nodos en la estrella en la dis-
minuci on del error, pudiendose apreciar mayores ventajas en el caso bidimensional, aunque
los resultados en el caso unidimensional son muy buenos.
REFERENCIAS
1 J.J. Benito et al., Approximation of functions in a methods of nite points, in: S. Idelson, E.
O nate y E. Dvorkin (eds.), Computational Mechanics, IACM, CIMNE, (1998).
2 J.J. Benito, F. Ure na y L. Gavete, Inuence of several factors in the generalized nite dierence
method, Applied Mathematical Modelling, Vol. 25, pp. 10391053, (2001).
3 G.E. Forsythe y W.R. Wasow, Finite-dierence methods for partial dierential equations,
Wiley, New York, (1960).
4 L. Gavete, J.J. Benito, S. Falc on y A. Ruiz, Implementation of essential boundary conditions in
a meshless method, Communications in Numerical Methods Engineering, Vol. 16, pp. 409421,
John Wiley & Sons, (2000).
340 F. Ure na, J.J. Benito, L. Gavete y R.

Alvarez
5 A. Huerta y S. Fern andez, Metodos sin malla de alto orden en espacio y tiempo para problemas
con conveccion dominante, Sesi on monogr aca sobre avances en el desarrollo y aplicaciones de
metodos sin malla, XVII Congreso de Ecuaciones Diferenciales y Aplicaciones, Salamanca, 24-28
Setiembre, (2001).
6 P.S. Jensen, Finite dierence technique for variable grids, Computer and Structures, Vol. 2,
1729, (1972).
7 Z. Kaczkowski y R. Tribillo, A generalization of the nite dierence method, en polaco,
Archiwum Inzynierii Ladowej , Vol. 2, N
o
21, pp. 287293, (1975).
8 T. Liszka y J. Orkisz, The nite dierence method at arbitrary irregular grids and its application
in applied mechanics, Computers & Structures, Vol. II, pp. 8395, Pergamon Press, (1980).
9 T. Liszka, An interpolation method for an irregular net of nodes, International Journal of
Numerical Methods in Engineering, Vol. 20, pp. 15991612, (1984).
10 E. O nate, S. Idelson, D.C. Zienkiewicz y R.L. Taylor, A nite point method in computational
mechanics. Applications to conductive transport and uid ow, International Journal for
Numerical Methods in Engineering, Vol. 39, pp. 38393866, (1996).
11 J. Orkisz, Meshless nite dierence method I. Basic approach, Computational Mechanics, S.
Idelson, E. O nate y E. Dvorkin (eds.), IACM, CIMNE, (1998).
12 N. Perrone y R. Kao, A general nite dierence method for arbitrary meshes, Comp. Structures,
Vol. 5, pp. 4558, (1975).