Documentos de Académico
Documentos de Profesional
Documentos de Cultura
20 - Urena Prieto F PDF
20 - Urena Prieto F PDF
Palabras clave: diferencias finitas generalizadas, ecuación de ondas, método explı́cito, estrella.
Resumen
En esta comunicación se presenta la utilización del Método de Diferencias Fini-
tas Generalizadas para la resolución de la ecuación de onda, para 2-D y 3-D. Para
ambos casos se inicia la comunicación con la obtención de las expresiones explı́citas
en diferencias finitas generalizadas. a partir de estas expresiones se estudia el error
de truncamiento, consistencia, estabilidad y convergencia. En la comunicación se in-
cluyen algunos resultados, de entre los numerosos casos analizados, como ejemplos
representativos de la resolución de la ecuación de ondas, que pretenden ilustrar el
buen comportamiento del método.
1. Introducción
La aplicación de métodos numéricos en la resolución de problemas de Fı́sica e Inge-
nierı́a ha estado presente a lo largo de la historia de las matemáticas. Sin embargo, la
incorporación de las computadoras les ha dado una importancia aún mayor.
Uno de los métodos tradicionales en la resolución de problemas definidos por medio de
ecuaciones diferenciales es el de diferencias finitas. Los trabajos de Benito, Gavete y Ureña
[1, 2].
Los artı́culos [3, 5] muestran la aplicación del método de diferencias finitas generalizadas
a la resolución de ecuaciones en derivadas parciales dependientes del tiempo.
En esta comunicación se obtienen, en primer lugar, las expresiones explı́citas, utilizando
1
A. Casasús, F. Ureña, J.J. Benito, L. Gavete
∂ 2 U (x, y, t) 2
2 ∂ F (x, y, t) ∂ 2 F (x, y, t)
= c [ + ] t > 0, (x, y) ∈ Ω ⊂ R2 (1)
∂t2 ∂x2 ∂y 2
con las condiciones iniciales
∂U (x, y, 0)
U (x, y, 0) = f1 (x, y); = f2 (x, y) (2)
∂t
y la condición de contorno
∂U (x0 , y0 , t)
aU (x0 , y0 , t) + b = g(t) in Γ (3)
∂n
siendo f1 (x, y), f2 (x, y) y g(t) dos funciones conocidas, c2 es una constante que representa
la velocidad de propagación de la onda y Γ la frontera del dominio Ω.
Para la obtención de las fórmulas explı́citas en diferencias finitas de las derivadas espa-
ciales, 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 relación entre una estrella y su nodo central (ver figura 1).
Si U0 es el valor de la función 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
expansión de Taylor
2
Resolución de la ecuación 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 ecuación 4 los términos de orden superior al segundo son eliminados, se obtiene
la aproximación de segundo orden para Uj . Si se representa este valor por uj . Entonces es
posible definir
8
X ∂u0 ∂u0 h2j ∂u20 kj2 ∂u20 ∂u20
B(u) = [(u0 − uj + hj + kj + + + h k
j j )w(hj , kj )]2 (5)
∂x ∂y 2 ∂x2 2 ∂y 2 ∂x∂y
j=1
c2
un+1
0 = 2un0 − un−1
0 + (4t)2 [−20un0 + 4un1 + un2 + 4un3 + un4 + 4un5 + un6 + 4un7 + un8 ]
6h2
(9)
3. Convergencia en 2-D
De acuerdo con el teorema de equivalencia de Lax [4], si la condición de consistencia
es satisfecha, la estabilidad es necesaria y suficiente para la condición de convergencia.
3
A. Casasús, F. Ureña, 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 términos hasta de cuarto orden. Si se designa por B5∗ (u) la
expresión 5 en la cual se han incluido los nuevos términos, y minimizando dicha expresión
respecto de las derivadas parciales de primer y segundo orden, se obtiene
donde (x1 , y1 ) es un punto del interior del dominio definido por la estrella.
La expresión 11 es el error de truncamiento para las derivadas espaciales. La suma de am-
bos errores de truncamiento nos da el error de truncamiento total. Por tanto, el método
es consistente.
3.2. Estabilidad
Si se define
Tx Tx
un0 = ξ n eiν 0
; unj = ξ n eiν j
(12)
donde ν = (νx , νy )T es el vector columna de los números 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
amplificación. Si el módulo del factor de amplificación es mayor que la unidad, (kξk > 1,
el método es inestable.
Sustituyendo 12 into 9, y operando, se tiene
(4t)2 c2 hλ h(λ + ν)
ξ 2 − 2ξ[1 − 2
[16 sen2 ( ) + 4 sen2 ( )
12h 2 2
hν h(λ − ν)
+ 16 sen2 ( ) + 4 sen2 ( )] + 1 = 0 (13)
2 2
y denominando
(4t)2 c2 hλ h(λ + ν)
b=1− 2
[16 sen2 ( ) + 4 sen2 ( )
12h 2 2
hν h(λ − ν)
+16 sen2 ( ) + 4 sen2 ( )] (14)
2 2
la ecuación 14 se puede escribir
p p
ξ 2 − 2bξ + 1 = 0 ⇒ ξ1 = b + b2 − 1; ξ1 = b − b2 − 1 (15)
Para que el algoritmo sea inestable kξk 1, y de acuerdo con 15 se tiene que
Si |b| > 1se tiene que ξ es complejo, puesto que de acuerdo con 16
p
ξ1 = b ± i 1 − b2 ⇒ kξk = 1 (17)
4
Resolución de la ecuación de ondas en 2-D y 3-D utilizando GFDM
(4t)2 c2 hλ h(λ + ν)
− 1 ≤ b ≤ 1 ⇔ −1 ≤ 1 − [16 sen2 ( ) + 4 sen2 ( )
12h2 2 2
hν h(λ − ν)
+ 16 sen2 ( ) + 4 sen2 ( )] ≤ 1 ⇔
2 2
(4t)2 c2 hλ h(λ + ν)
0≤ 2
[16 sen2 ( ) + 4 sen2 ( )
12h 2 2
hν h(λ − ν)
+ 16 sen2 ( ) + 4 sen2 ( )] ≤ 2 (18)
2 2
La condición de estabilidad viene dada por
r
(4t)2 c2 3h2
0 ≤ 40 ≤ 2 ⇔ 0 < 4t ≤ (19)
12h2 5c2
∂ 2 U (x, y, z, t) 2
2 ∂ U (x, y, z, t) ∂ 2 U (x, y, z, t) ∂ 2 U (x, y, z, t)
= c [ + + ] (20)
∂t2 ∂x2 ∂y 2 ∂z 2
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)
1
un+1
0 = un0 −un−1
0 +(4t)2 [−356un0 +36un1 +9un2 +36un3 +9un4 +36un5 +9un6 +36un7 +9un8 +
88h2
36un9 + 9un10 + 4un11 + 9un12 + 4un13 + 9un14 + 4un15 + 9un16 + 4un17
+ 36un18 + 9un19 + 4un20 + 9un21 + 4un22 + 9un23 + 4un24 + 9un25 + 4un26 ] (22)
5. Convergencia
5.1. Error de truncamiento. Consistencia.
5
A. Casasús, F. Ureña, J.J. Benito, L. Gavete
(4t)2 ∂ 4 U (x0 , y0 , z0 , t1 )
(T Et ) = − + Θ((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, obteniéndose
5.2. Estabilidad
Al igual que para el caso en 2-D, se utiliza el análisis de von Neumann para establecer
la condición de estabilidad.
Para el caso tridimensional
T {x T {x
0 ,y0 ,z0 } j ,yj ,zj }
un0 = ξ n ei{λ,ν,ϕ} ; unj = ξ n ei{λ,ν,ϕ} (26)
donde {λ, ν, ϕ} es el vector columna de los números 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 después de operar y teniendo en cuenta lo mostrado para
el caso 2-D, la condición de estabilidad viene dada por
r
44h2
0 < 4t ≤ (28)
89c2
6. Resultados numéricos
En esta sección se muestran dos ejemplos de resolución numérica de ecuación de onda
en 2-D y 3-D. Las funciones de ponderación utilizadas han sido
1 1
w(hj , kj ) = q ; w(hj , kj , lj ) = q (29)
(h2j + kj2 )3 (h2j + kj2 + lj2 )3
y el criterio de selección de los nodos el del cuadrante. El error global ha sido calculado
para cada paso de tiempo usando la siguiente norma
q PN T
2
j=1 (sol(j)−exac(j))
NT
Error global = × 100 (30)
|exacmax |
where sol(j) es el valor de la solución aproximada en el nodo j, exac(j) es la valor de
la solución exacta en el nodo j, exacmax es el máximo valor de la solución exacta en los
nodos interiores de de la malla considerada y N T es el número de nodos del interior.
6
Resolución de la ecuación de ondas en 2-D y 3-D utilizando GFDM
o
Figura 2: Error global versus n nodos ; Error global versus 4t
7
A. Casasús, F. Ureña, J.J. Benito, L. Gavete
7. Conclusiones
En esta comunicación se ha obtenido el error de truncamiento y, por tanto, la consis-
tencia ha sido demostrada. Igualmente, se ha obtenido el criterio de estabilidad utilizando
el análisis 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 Innovación de
España en el proyecto TISMANCA, Ref.: CGL2008-01757/CLI.
Referencias
[1] J.J. Benito, F. Ureña, 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ña, L. Gavete, R. Alvarez, An h-adaptive method in the generalized finite differ-
ences. Computer Methods in Applied Mechanics and Engineering, 192,735-759(2003).
[3] J.J. Benito, F. Ureña, L. Gavete, Solving parabolic and hyperbolic equations by Generalized Finite
Difference Method. Journal of Computational and Applied Mathematics, Vol 209, Issue 2, 15 De-
cember 2007, Pages 208-233.
[4] A.R. Mitchell, D.F. Griffiths, The Finite Difference Method in Partial Differential Equations. Inter-
national Journal for Numerical Methods in Engineering (1980).
[5] F. Ureña, J.J. Benito, L. Gavete, R. Alvarez, Resolución de ecuaciones diferenciales en derivadas
parciales dependientes del tiempo de segundo orden utilizando Diferencias Finitas Generalizadas.
Revista Internacional de Métodos Numéricos para cálculo y diseño en ingenierı́a. Vol. 19, 3, 331-340
(2003).