XXI Congreso de Ecuaciones Diferenciales y Aplicaciones

tica Aplicada
XI Congreso de Matema
Ciudad Real, 21-25 septiembre 2009
(pp. 18)

Resoluci
on de la ecuaci
on de Ondas en 2-D y 3-D utilizando
diferencias finitas generalizadas. Consistencia y Estabilidad.

s Acevedo1 , Juan Jose

Benito Mun
oz1 ,
Alvaro
Casasu
a Prieto2 , Luis Gavete Corvinos3
Francisco Uren
1

Dpto. de Construcci
on y Fabricaci
on, Universidad Nacional de Educaci
on a Distancia, Madrid.
E-mail: pepcasasus@gmail.com, jbenito@ind.uned.es.
2
Dpto. de Matem
aticas, Universidad de Castilla-La Mancha, Ciudad Real. E-mail:
francisco.urena@uclm.es.
Dpto. de Matem
atica Aplicada a los Recursos Naturales, Universidad Politecnica de Madrid. E-mail:
lu.gavete@upm.es.

Palabras clave:

diferencias finitas generalizadas, ecuaci

on de ondas, metodo explcito, estrella.

Resumen
En esta comunicaci
on se presenta la utilizacion del Metodo de Diferencias Finitas Generalizadas para la resolucion de la ecuacion de onda, para 2-D y 3-D. Para
ambos casos se inicia la comunicacion con la obtencion de las expresiones explcitas
en diferencias finitas generalizadas. a partir de estas expresiones se estudia el error
de truncamiento, consistencia, estabilidad y convergencia. En la comunicacion se incluyen algunos resultados, de entre los numerosos casos analizados, como ejemplos
representativos de la resoluci
on de la ecuacion de ondas, que pretenden ilustrar el
buen comportamiento del metodo.

1.

Introducci
on

La aplicacion de metodos numericos en la resolucion de problemas de Fsica e Ingeniera ha estado presente a lo largo de la historia de las matematicas. Sin embargo, la
incorporacion de las computadoras les ha dado una importancia a
un mayor.
Uno de los metodos tradicionales en la resolucion de problemas definidos por medio de
ecuaciones diferenciales es el de diferencias finitas. Los trabajos de Benito, Gavete y Ure
na
[1, 2].
Los artculos [3, 5] muestran la aplicacion del metodo de diferencias finitas generalizadas
a la resolucion de ecuaciones en derivadas parciales dependientes del tiempo.
En esta comunicacion se obtienen, en primer lugar, las expresiones explcitas, utilizando
1

A. Casas
us, F. Ure
na, J.J. Benito, L. Gavete

Figura 1: Estrella en 2D

; Estrella en 3D

diferencias finitas generalizadas, de la ecuacion de ondas. En la siguiente seccion se estudia

la consistencia y estabilidad, condiciones necesarias y suficientes para la convergencia de
la formulacion explcita obtenida en la primera seccion.

2.

Diferencias finitas generalizadas y m

etodo explcito en
2-D
Se considera la resolucion numerica de la ecuacion de ondas para la funcion U (x, y, t)

2
2 U (x, y, t)
2 F (x, y, t)
2 F (x, y, t)
=
c
[
+
] t > 0,
t2
x2
y 2

(x, y) R2 (1)

con las condiciones iniciales

U (x, y, 0) = f1 (x, y);

U (x, y, 0)
= f2 (x, y)
t

(2)

y la condicion de contorno
aU (x0 , y0 , t) + b

U (x0 , y0 , t)
= g(t)
n

in

(3)

siendo f1 (x, y), f2 (x, y) y g(t) dos funciones conocidas, c2 es una constante que representa
la velocidad de propagacion de la onda y la frontera del dominio .
Para la obtencion de las formulas explcitas en diferencias finitas de las derivadas espaciales, una vez discretizado el dominio , se define el nodo central con un conjunto de
nodos a su alrededor, al conjunto de dichos nodos se le denomina estrella, estableciendo
una relacion entre una estrella y su nodo central (ver figura 1).
Si U0 es el valor de la funcion en el nodo central de la estrella y Uj son los valores de las
funciones en el resto de los nodos, con j = 1, , 8, entonces, de acuerdo con la serie de
expansion de Taylor
Uj = U0 + hj

U0 h2j U02 kj2 U02

U02
U0
+ kj
+
+
+
h
k
+
j
j
x
y
2 x2
2 y 2
xy
2

(4)

Resolucion de la ecuacion de ondas en 2-D y 3-D utilizando GFDM

donde (x0 , y0 ) son las coordenadas espaciales del nodo central, (xj , yj ) las coordenadas del
nodo j en la estrella, hj = xj x0 , kj = yj y0 .
Si en la ecuacion 4 los terminos de orden superior al segundo son eliminados, se obtiene
la aproximacion de segundo orden para Uj . Si se representa este valor por uj . Entonces es
posible definir
B(u) =

8
X
j=1

[(u0 uj + hj

u0
u0 h2j u20 kj2 u20
u20
+ kj
+
+
+
h
k
)w(hj , kj )]2 (5)
j j
x
y
2 x2
2 y 2
xy

donde w(hj , kj ) es la funcion de ponderacion.

Si la expresion 5 es minimizada con respecto a las derivadas parciales, se obtiene el siguiente
sistema de ecuaciones lineales
A5 Du5 = b5
(6)
Resolviendo el sistema 6 y teniendo en cuenta que hj = kj = h, se obtienen las siguientes
formulas finitas generalizadas para las derivadas parciales
1
2 U (x0 , y0 , n4t) 2 U (x0 , y0 , n4t)
+
= 2 (20un0 +4un1 +un2 +4un3 +un4 +4un5 +un6 +4un7 +un8 )
x2
y 2
6h
(7)
Aproximando la derivada segunda respecto del tiempo en el nodo central de la estrella por
U 2 (x0 , y0 , n4t)
un+1
2un0 + u0n1
0
=
t2
(4t)2

(8)

son los valores aproximados de la funcion U (x, y, t) en el nodo central

donde un0 y un+1
0
de coordenadas espaciales (x0 , y0 ) para los tiempos n4t y (n + 1)4t respectivamente.
Sustituyendo las ecuaciones 7 y 8 en la ecuacion 1, se obtiene la ecuacion lineal
+ (4t)2
= 2un0 un1
un+1
0
0

3.

c2
[20un0 + 4un1 + un2 + 4un3 + un4 + 4un5 + un6 + 4un7 + un8 ]
6h2
(9)

Convergencia en 2-D

De acuerdo con el teorema de equivalencia de Lax [4], si la condicion de consistencia

es satisfecha, la estabilidad es necesaria y suficiente para la condicion de convergencia.

3.1.

Error de truncamiento. Consistencia

Si se designan por T Et y T E(x,y) los errores de truncamiento temporal y espacial,

respectivamente, se tiene
U (x0 , y0 , t + 4t) 2U (x0 , y0 , t) + U (x0 , y0 , t 4t)
2 U (x0 , y0 , t)
=

2
t
(4t)2
(4t)2 4 U (x0 , y0 , t1 )
+ ((4t)4 ), t < t1 < t + 4t (10)
12
t4
3

A. Casas
us, F. Ure
na, J.J. Benito, L. Gavete

Para obtener el error de truncamiento para las derivadas espaciales, en la serie de expansion
de Taylor se incluyen los terminos hasta de cuarto orden. Si se designa por B5 (u) la
expresion 5 en la cual se han incluido los nuevos terminos, y minimizando dicha expresion
respecto de las derivadas parciales de primer y segundo orden, se obtiene
T E(x,y) =

4 U (x1 , y1 , t)
4 U (x1 , y1 , t)
h2 2 4 U (x1 , y1 , t)
+
2
+
)] + (h4 ) (11)
[c (
12
x4
x2 y 2
y 4

donde (x1 , y1 ) es un punto del interior del dominio definido por la estrella.
La expresion 11 es el error de truncamiento para las derivadas espaciales. La suma de ambos errores de truncamiento nos da el error de truncamiento total. Por tanto, el metodo
es consistente.

3.2.

Estabilidad

Si se define
un0 = n ei

Tx
0

; unj = n ei

Tx
j

(12)

donde = (x , y )T es el vector columna de los n

umeros de onda, x0 = (x0 , y0 ) es el vector
de las coordenadas del nodo central de la estrella y xj = (xj , yj ) son las coordenadas
del resto de los nodos de la estrella, con xj = x0 + hj y es denominado factor de
amplificacion. Si el modulo del factor de amplificacion es mayor que la unidad, (kk > 1,
el metodo es inestable.
Sustituyendo 12 into 9, y operando, se tiene

2 2[1

(4t)2 c2
h
h( + )
[16 sen2 ( ) + 4 sen2 (
)
2
12h
2
2
h
h( )
+ 16 sen2 ( ) + 4 sen2 (
)] + 1 = 0 (13)
2
2

y denominando
(4t)2 c2
h
h( + )
[16 sen2 ( ) + 4 sen2 (
)
2
12h
2
2
h
h( )
+16 sen2 ( ) + 4 sen2 (
)]
2
2
la ecuacion 14 se puede escribir
p
p
2 2b + 1 = 0 1 = b + b2 1; 1 = b b2 1
b=1

(14)

(15)

Para que el algoritmo sea inestable kk 1, y de acuerdo con 15 se tiene que

|b| > 1 kk 1
Si |b| > 1se tiene que es complejo, puesto que de acuerdo con 16
p
1 = b i 1 b2 kk = 1
4

(16)

(17)

Resolucion de la ecuacion de ondas en 2-D y 3-D utilizando GFDM

por tanto la condicion de estabilidad viene dada por

(4t)2 c2
h
h( + )
[16 sen2 ( ) + 4 sen2 (
)
12h2
2
2
h( )
h
)] 1
+ 16 sen2 ( ) + 4 sen2 (
2
2
(4t)2 c2
h
h( + )
0
[16 sen2 ( ) + 4 sen2 (
)
2
12h
2
2
h( )
h
)] 2 (18)
+ 16 sen2 ( ) + 4 sen2 (
2
2

1 b 1 1 1

La condicion de estabilidad viene dada por

(4t)2 c2
0 40
2 0 < 4t
12h2

4.

3h2
5c2

(19)

Diferencias finitas generalizadas y m

etodo explcito en
3-D
La ecuacion de ondas, es
2
2 U (x, y, z, t)
2 U (x, y, z, t) 2 U (x, y, z, t)
2 U (x, y, z, t)
=
c
[
+
+
]
t2
x2
y 2
z 2

(20)

Obteniendo las ecuaciones 4 y 5 para tres dimensiones y minimizando respecto de las

derivadas parciales, se obtiene el sistema para 3-D, similar al 6,
A9 Du9 = b9

(21)

Resolviendo el sistema 21 y teniendo en cuenta que hj = kj = lj = h, se obtienen las siguientes formulas finitas generalizadas para las derivadas parciales espaciales. Obteniendose
la expresion lineal en diferencias finitas para 3-D
1
[356un0 +36un1 +9un2 +36un3 +9un4 +36un5 +9un6 +36un7 +9un8 +
88h2
36un9 + 9un10 + 4un11 + 9un12 + 4un13 + 9un14 + 4un15 + 9un16 + 4un17

+(4t)2
= un0 un1
un+1
0
0

+ 36un18 + 9un19 + 4un20 + 9un21 + 4un22 + 9un23 + 4un24 + 9un25 + 4un26 ] (22)

5.
5.1.

Convergencia
Error de truncamiento. Consistencia.

2 U (x0 , y0 , z0 , t)
U (x0 , y0 , z0 , t + 4t) 2U (x0 , y0 , z0 , t) + U (x0 , y0 , z0 , t 4t)
=

2
t
(4t)2
(4t)2 4 U (x0 , y0 , z0 , t1 )
+ ((4t)4 ), t < t1 < t + 4t (23)
12
t4
5

A. Casas
us, F. Ure
na, J.J. Benito, L. Gavete
(4t)2 4 U (x0 , y0 , z0 , t1 )
+ ((4t)4 ), t < t1 < t + 4t
(24)
12
t4
Para obtener el error de truncamiento para las derivadas espaciales, se sigue el mismo
procedimiento que en 2-D, obteniendose
(T Et ) =

T E(x,y,z) =

h2 2 4 U (x1 , y1 , z1 , t) 4 U (x1 , y1 , z1 , t) 4 U (x1 , y1 , z1 , t) 51 4 U (x1 , y1 , z1 , t)

[c (2
+2
+2
+
24
x4
y 4
z 4
11
x2 y 2
4
4
51 U (x1 , y1 , z1 , t) 51 U (x1 , y1 , z1 , t)
+
+
) + 2 (h4 ) (25)
11
x2 z 2
11
y 2 z 2

La expresion 25 es el error de truncamiento para las derivadas espaciales, donde (x1 , y1 , z1 )

es un punto interior del dominio definido por la estrella. La suma de ambos errores de truncamiento es el error de truncamiento total (TTE). Por tanto, el algoritmo es consistente.

5.2.

Estabilidad

Al igual que para el caso en 2-D, se utiliza el analisis de von Neumann para establecer
la condicion de estabilidad.
Para el caso tridimensional
un0 = n ei{,,}

T {x

0 ,y0 ,z0 }

; unj = n ei{,,}

T {x

j ,yj ,zj }

(26)

donde {, , } es el vector columna de los n

umeros de ondas, {x0 , y0 , z0 } es el vector de
las coordenadas del nodo central de la estrella y {xj , yj , zj } son las coordenadas del resto
de los nodos de la estrella (ver figura), siendo:
{xj , yj , zj } = {x0 , y0 , z0 } + {hj , kj , lj }

(27)

Sustituyendo 28 y 29 en 22, y despues de operar y teniendo en cuenta lo mostrado para

el caso 2-D, la condicion de estabilidad viene dada por
r
44h2
0 < 4t
(28)
89c2

6.

Resultados num
ericos

En esta seccion se muestran dos ejemplos de resolucion numerica de ecuacion de onda

en 2-D y 3-D. Las funciones de ponderacion utilizadas han sido
1

w(hj , kj ) = q

(h2j

;
kj2 )3

w(hj , kj , lj ) = q

(h2j

(29)

+ kj2 + lj2 )3

y el criterio de seleccion de los nodos el del cuadrante. El error global ha sido calculado
para cada paso de tiempo usando la siguiente norma
q PN T
j=1 (sol(j)exac(j))

Error

NT

global =

|exacmax |

100

(30)

where sol(j) es el valor de la solucion aproximada en el nodo j, exac(j) es la valor de

la solucion exacta en el nodo j, exacmax es el maximo valor de la solucion exacta en los
nodos interiores de de la malla considerada y N T es el n
umero de nodos del interior.
6

Resolucion de la ecuacion de ondas en 2-D y 3-D utilizando GFDM

Figura 2: Error

6.1.

global

versus

nodos

; Error

global versus

4t

Ejemplo 2-D

2 U (x, y, t)
t2

2 U (x, y, t)
2 U (x, y, t)
+
x2
y 2

>

0,

<

x, y

<

1 (31)

con la condicion inicial

U (x, y, 0) = sen x sen y

(32)

y las condiciones de contorno Dirichlet, siendo la solucion exacta

U (x, y, t) = cos 2 sen x sen y

(33)

En la figura 2 se muestra, manteniendo fijo el paso de tiempo (4t = 0,0001), la disminucion

del error global al aumentar el n
umero de nodos en la malla. Tambien, en la figura 2 se
muestra la disminucion del error global al disminuir el paso de tiempo para la malla de
441 nodos.

6.2.

Ejemplo 3-D

2 U (x, y, z, t)
2 U (x, y, z, t) 2 U (x, y, z, t) 2 U (x, y, z, t)
=
+
+
t2
x2
y 2
z 2

t > 0,

0 < x, y < 1
(34)

U (x, y, z, 0) = sen x sen y sen z

y las condiciones de contorno Dirichlet, siendo la solucion exacta

U (x, y, z, t) = cos 3 sen x sen y sen z

(35)

(36)

En la figura 3 se muestra, manteniendo fijo el paso de tiempo (4t = 0,001), la disminucion

del error global al aumentar el n
umero de nodos en la malla. Tambien, en la figura 3 se
muestra la disminucion del error global al disminuir el paso de tiempo para la malla de
441 nodos.
7

A. Casas
us, F. Ure
na, J.J. Benito, L. Gavete

Figura 3: Error

7.

global

versus

no

nodos

Error

global versus

4t

Conclusiones

En esta comunicacion se ha obtenido el error de truncamiento y, por tanto, la consistencia ha sido demostrada. Igualmente, se ha obtenido el criterio de estabilidad utilizando
el analisis de von Neumann.
Los ejemplos resueltos, de los numerosos a los que se ha aplicado el GFDM, muestran su
buen comportamiento.

Agradecimientos
Los autores agradecen la ayuda recibida del Ministerio de Ciencia e Innovacion de
Espa
na en el proyecto TISMANCA, Ref.: CGL2008-01757/CLI.
Referencias
[1] J.J. Benito, F. Ure
na, L. Gavete, Influence of several factors in the generalized finite difference
method. Applied Mathematical Modelling,2512,1039-1053(2001).
[2] J.J. Benito, F. Ure
na, L. Gavete, R. Alvarez, An h-adaptive method in the generalized finite differences. Computer Methods in Applied Mechanics and Engineering, 192,735-759(2003).
[3] J.J. Benito, F. Ure
na, L. Gavete, Solving parabolic and hyperbolic equations by Generalized Finite
Difference Method. Journal of Computational and Applied Mathematics, Vol 209, Issue 2, 15 December 2007, Pages 208-233.
[4] A.R. Mitchell, D.F. Griffiths, The Finite Difference Method in Partial Differential Equations. International Journal for Numerical Methods in Engineering (1980).
[5] F. Ure
na, J.J. Benito, L. Gavete, R. Alvarez, Resoluci
on de ecuaciones diferenciales en derivadas
parciales dependientes del tiempo de segundo orden utilizando Diferencias Finitas Generalizadas.
Revista Internacional de Metodos Numericos para c
alculo y dise
no en ingeniera. Vol. 19, 3, 331-340
(2003).