Soluci on de un problema de propagaci on de ondas sobre

mallas triangulares: Ultrawave.

S.Rodrguez Alem an, V.Hern andez Mederos, J.A.Otero Hern andez, J.Estrada Sarlabous, V.Guerra Ones
ICIMAF, Cuba, {suset ,vicky, jaotero, jestrada, valia}@icimaf.cu
RESUMEN: En este trabajo se estudia el problema de propagaci on de ondas guiadas en railes y tuberas. El
problema se aborda utilizando el m etodo seminaltico de elementos nitos. Este m etodo requiere discretizar
la secci on transversal del rail o tubo y conduce a la soluci on de una familia de problemas generalizados de
autovalores. Para discretizar la regi on se emplean las mallas 4-8, que permiten construir una triangulaci on de
resoluci on variable. Los problemas generalizados de autovalores se resuelven utilizando la biblioteca ARPACK.
En el artculo se muestran los resultados num ericos obtenidos con el software elaborado y los gr acos de las
curvas de dispersi on, imprescindibles para el an alisis de la propagaci on de las ondas guiadas.
Palabras Claves: ARPACK, A48, ondas guiadas, OpenGL, SAFEM.
1 Introducci on
Las ondas guiadas son ondas ultras onicas que se propagan de manera diferente que las ondas longitudinales [Hay03].
Son similares a las ondas de Lamb y Rayleigh en el sentido de que se propagan sobre una supercie o sobre un material
delgado. La velocidad de propagaci on de las ondas guiadas depende no s olo del tipo de material sino tambi en de su
espesor y de la frecuencia de la onda. Estas ondas facilitan el an alisis no destructivo de estructuras, brindan un mayor
rango de inspecci on y una cobertura completa de la secci on transversal de la estructura. Entre las caractersticas
m as importantes de las ondas guiadas podemos mencionar su car acter dispersivo, la dependencia de las velocidades
y de la frecuencia y la existencia de m ultiples modos que pueden propagarse simult aneamente. Durante muchos
a nos los ensayos ultras onicos utilizaron ondas de longitud mucho menor que el espesor de la estructura analizada.
El uso masivo de las ondas guiadas para ensayos no destructivos comenz o en la d ecada de 1990, a partir de la
disponibilidad de programas computacionales para calcular las curvas de dispersi on te oricas. Estas herramientas
computacionales, unidas a la mejor comprensi on de las ondas de Lamb, hicieron posible el dise no de ensayos no
destructivos, utilizando ondas cuya longitud es comparable o incluso mayor que el espesor del objeto, lo cual permite
detectar imperfecciones o defectos a grandes distancias. Nuestro problema consiste en estudiar diferentes tipos de
ondas (torsionales, longitudinales, de exi on, etc) que se propagan en barras de secci on transversal arbitraria y de gran
longitud, por ejemplo: tuberas y railes. Para ello desarrollaremos un software que permita representar la estructura
donde se va a estudiar la propagaci on de las ondas, realice los c alculos necesarios y muestre los gr acos de las curvas
de dispersi on y los desplazamientos. La velocidad de fase de una onda se dene como el cociente de la frecuencia
angular y el n umero de onda y depende de la geometra y de las constantes del material. Para nuestro problema es
importante identicar la regi on donde las ondas se propagan con menos dispersi on, es decir, el intervalo de frecuencia
para el cual la velocidad de fase se mantiene aproximadamente constante. Las ondas que tienen velocidad de fase
aproximadamente constante para un intervalo de frecuencias amplio son las que se pueden utilizar para detectar,
mediante evaluaciones ultras onicas no destructivas, defectos como corrosi on o fracturas en la estructura analizada.
1
2 Problema de propagaci on de ondas
Hasta la fecha, una de las herramientas esenciales para la modelaci on de la propagaci on de ondas guiadas es el
M etodo Semi-Analtico de Elementos Finitos (SAFEM) [Ote09], [Zien89]. Este m etodo permite generar las curvas
de dispersi on y estudiar las propiedades geom etricas y mec anicas de las ondas que se propagan por una estructura de
secci on transversal constante.
Para aplicar SAFEM es necesario discretizar la secci on transversal de la estructura a analizar construyendo sobre
la misma una malla. En este trabajo la malla est a formada por tri angulos que cubren lo m as posible la secci on
transversal del objeto y denen una triangulaci on plana. En vez de dividir la regi on 3D en direcci on longitudinal
como hace el M etodo de Elementos Finitos (FEM), se utiliza la funci on ortogonal para expresar la distribuci on del
campo de desplazamientos en la direcci on longitudinal.
2.1 Construcci on de la malla
El primer paso para resolver el problema de propagaci on de ondas utilizando SAFEM es construir una discretizaci on
de la secci on transversal del objeto. En este trabajo la discretizaci on de se construye utilizando una malla 4-8.
Las mallas 4-8 [Veh00] son mallas triangulares cuyos v ertices tienen valencia cuatro u ocho como muestra la Figura
1 a. Estas mallas tienen resoluci on variable, ya que es posible denir un criterio para decidir en qu e regiones son
m as densas. Las Figuras 1 b y c muestran dos mallas 4-8 correspondientes a la secci on transversal de una tubera con
mayor densidad de tri angulos en las zonas cercanas a las fronteras. Para renar una malla 4-8 se utiliza el operador
de renamiento 4-8. Las mallas 4-8 tienen un car acter multiresoluci on pues al aplicar el operador de renamiento a
una malla de este tipo el resultado es nuevamente una malla 4-8. La Figura 1 (a, b y c) muestra una malla inicial 4-8
y las mallas obtenidas despu es de aplicar uno y dos pasos de renamiento a la malla inicial respectivamente.
Fig. 1: (a) Malla 4-8, (b) un paso de renamiento, (c) dos pasos de renamiento.
Para la construcci on de las mallas 4-8 se utiliz o la biblioteca A48 [A48]. Esta biblioteca se basa en operadores de
divisi on de aristas que permiten construir una malla 4-8 de resoluci on variable sobre una supercie o en el plano.
2.2 Ecuaciones b asicas de la teora de elasticidad
En esta secci on vamos a introducir muy brevemente la notaci on y las ecuaciones b asicas de la teora de elasticidad
que se utilizan para formular el problema de propagaci on de ondas. Vamos a trabajar con un cuerpo tridimensional
con volumen V y supercie S. Un punto x sobre el cuerpo se identica por sus coordenadas x = (x, y, z). El
desplazamiento en el punto x es un vector que denotaremos por
u = (u
x
, u
y
, u
z
)
y es la inc ognita de nuestro problema. Se supone que sobre una parte de la supercie S del cuerpo se aplica una fuerza
t = (t
x
, t
y
, t
z
)
t
distribuida por unidad de area y llamada tracci on. El esfuerzo que act ua sobre un volumen elemental
dV se representa por un vector
= (
xx
,
yy
,
zz
,
yz
,
xz
,
xy
)
t
2
donde
xx
,
yy
,
zz
son los esfuerzos normales y
yz
,
xz
,
xy
son los esfuerzos transversales.
Asociado a cada desplazamiento u en un punto existe un vector unitario de deformaciones (con una estructura similar
al vector de los esfuerzos)
= (
xx
,
yy
,
zz
,
yz
,
xz
,
xy
)
t
donde
xx
,
yy
,
zz
son las deformaciones normales y
yz
,
xz
,
xy
las deformaciones transversales.
Las deformaciones unitarias se pueden expresar en t erminos de las derivadas parciales de los deplazamientos mediante
las ecuaciones
=

u
x
x
,
u
y
y
,
u
z
z
,
u
z
y
+
u
y
z
,
u
z
x
+
u
x
z
,
u
y
x
+
u
z
y

t
. (1)
Matricialmente podemos reescribir (1) de manera compacta como
= Lu (2)
donde L es el operador diferencial lineal dado por
L
t
=

x
0 0 0

z

y
0

y
0

z
0

x
0 0

z

x
0

(3)
Por otro lado, la Ley de Hooke nos permite escribir el vector de las deformaciones como una funci on lineal del vector
de los esfuerzos,
= C (4)
donde C es una matriz sim etrica de orden 6, que en el caso de materiales isotr opicos depende exclusivamente del
m odulo de Young (o m odulo de elasticidad) E y la raz on de Poisson .
Sustituyendo (2) en (4) obtenemos la siguiente relaci on entre el vector de los esfuerzos y el vector de los desplaza-
mientos
= CLu (5)
Las ecuaciones de Newton aplicadas a la teora de elasticidad permiten entender la relaci on que existe entre el vector
de esfuerzos y la aceleraci on

2
u
t
2
. Estas ecuaciones se pueden escribir matricialmente en t erminos del operador
diferencial L denido en (3) como L
t

2
u
t
2
= 0. Sustituyendo (5) en la ultima ecuaci on obtenemos el sistema de
3 ecuaciones diferenciales para el vector de desplazamientos

Lu

2
u
t
2
= 0 (6)
donde

L = L
t
CL.
El Principio del Trabajo Virtual [Zien89] se obtiene a partir de las ecuaciones de movimiento (6) y est a dado por:

V
(L(v))
t
dV

V
v
t

2
u
t
2
dV

S
v
t
t dS = 0 (7)
donde v = (v
x
, v
y
, v
z
)
t
es un desplazamiento virtual arbitrario.
3 Idea general del M etodo de Elementos Finitos
El m etodo de elementos nitos es una herramienta poderosa para la soluci on num erica de las ecuaciones diferenciales
que describen una amplia gama de problemas fsicos [CB99]. La aplicaci on del m etodo de elementos nitos comienza
discretizando la regi on . Como vimos en la secci on 2.1, en este trabajo la discretizaci on de se obtiene construyendo
una malla triangular 4-8 , compuesta por n
t
tri angulos T
i
, = 1, ..., n
t
y n
v
v ertices P
j
= (x
j
, y
j
), j = 1, ..., n
v
.
3
3.1 Formulaci on de Galerkin
Supongamos que la soluci on aproximada u de nuestro problema (6) se busca en un cierto espacio de funciones H de
dimensi on n. Sea
1
,
2
, ...,
n
una base de H. Entonces u se puede escribir como
u =
n

i=1
q
i

i
(8)
La idea del m etodo de Galerkin es escoger los coecientes q
i
, i = 1, ..., n en (8) de modo que sea mnimo el
residuo r =

L u

2
u
t
2
. Esto es equivalente a exigir que

t
r dV =

t
(

L u

2
u
t
2
) dV = 0 (9)
para toda funci on vectorial en H. En otras palabras, los desplazamientos q
i
, i = 1, ..., n se calculan a partir de las
ecuaciones que resultan de sustituir (8) en (9). N otese que la formulaci on de Galerkin (9) aplicada a las ecuaciones de
movimiento (6) coincide con el Principio del Trabajo Virtual (7) simplemente sustituyendo el desplazamiento virtual
v por una funci on cualquiera en el espacio H al que pertenece u.
3.2 Transformaci on de coordenadas
Para calcular las integrales en que aparecen en la formulaci on de Galerkin (9) de nuestro problema resulta conve-
niente introducir un cambio de coordenadas que transforme los v ertices de un tri angulo T cualquiera en los v ertices
(0, 0), (0, 1) y (1, 0) del llamado tri angulo can onico. Con vistas a simplicar la notaci on vamos a denotar por
P
1
, P
2
, P
3
los v ertices de T. Entonces la transformaci on de coordenadas que mapea T en el tri angulo can onico
est a dada por
x = x
1
+ x
2
+ (1 )x
3
(10)
y = y
1
+ y
2
+ (1 )y
3
(11)
con 0 , , 1. Las coordenadas (, ) se llaman coordenadas baric entricas. Las ecuaciones (10)-(11) se pueden
escribir de forma matricial como

x
y

= J

x
3
y
3

(12)
donde J es la Jacobiana de la trasformaci on lineal (10)-(11). La transformaci on inversa, de las coordenadas baric entricas
(, ) a las coordenadas fsicas (x, y), est a dada por

=
1
2A(T)

y
2
y
3
x
3
x
2
y
3
y
1
x
1
x
3

x x
3
y y
3

= J
1

x x
3
y y
3

(13)
donde A(T) denota el area del tri angulo T.
3.3 Funciones de forma lineales
El espacio de las funciones lineales sobre un tri angulo T tiene dimensi on 3. Las llamadas funciones de forma lineales
N
1
1
, N
1
2
, N
1
3
son la base de Lagrange de este espacio, denidas por la condici on
N
1
k
(P
s
) =
ks
, para k, s = 1, 2, 3 (14)
4
Estas funciones tienen expresiones muy sencillas en coordenadas baric entricas. M as precisamente,
N
1
1
= , N
1
2
= , N
1
3
= 1 (15)
Obs ervese que la expresi on en coordenadas baric entricas de las funciones de forma es la misma para todo T (aunque
la expresi on de las coordenadas , en t erminos de las coordenadas fsicas (x, y) depende de T).
3.4 Funciones de forma cuadr aticas
El espacio de las funciones cuadr aticas sobre un tri angulo T tiene dimensi on 6. Por eso una base de este espacio est a
formada por 6 funciones N
2
1
, ..., N
2
6
. Las funciones de forma cudr aticas son la base de Lagrange de este espacio.
Para denir estas funciones necesitamos 6 nodos R
s
, s = 1, ..., 6 en cada tri angulo T. Tomando como nodos R
s
los
v ertices de T y los puntos medios de sus aristas, resulta que las funciones N
2
k
, k = 1, ..., 6 est an denidas por las
condiciones,
N
2
k
(R
s
) =
ks
, para k, s = 1, .., 6 (16)
Las expresiones de estas funciones en coordenadas baric entricas son,
N
1
2
= (2 1), N
2
2
= (2 1), N
2
3
= (2 1), N
2
4
= 4, N
2
5
= 4, N
2
6
= 4 (17)
donde = 1 . Obs ervese nuevamente que la expresi on en coordenadas baric entricas de las funciones de forma
cuadr aticas es la misma para todo T.
4 El m etodo semianaltico de elementos nitos
La soluci on del problema de propagaci on de ondas utilizando en el m etodo semianaltico de elementos nitos (SAFEM)
[Zien89] se basa en asumir que el desplazamiento de la onda en el tiempo y en la direcci on del eje z puede ser escrito
en t erminos de la funci on e
i(zt)
, donde es el n umero de onda y es la frecuencia. Por lo tanto, para conocer
el desplazamiento u en cualquier punto basta con calcularlo en la secci on transversal del objeto correspondiente a un
valor jo de z. M as precisamente, el vector desplazamiento u en un punto con coordenadas (x, y, z) se aproxima por
u = (u
x
, u
y
, u
z
) = F(x, y)e
i(zt)
(18)
donde F(x, y) = (f
x
(x, y), f
y
(x, y), f
z
(x, y)) es un polinomio de grado peque no cuando nos restringimos a un
tri angulo T de .
En particular si F(x, y) es una funci on lineal sobre el tri angulo T con v ertices P
1
, P
2
, P
3
, entonces su valor en un
punto (x, y), con coordenadas baric entricas (, ) respecto a T , se puede calcular en t erminos de los valores de F en
los v ertices de T como,
F(, ) = F(P
1
)N
1
1
(, ) +F(P
2
)N
1
2
(, ) +F(P
3
)N
1
3
(, ) (19)
debido a la propiedad (14) de la base de Lagrange.
Sea a = (F(P
1
), F(P
2
), F(P
3
))
t
el vector de dimensi on 9 que contiene los valores de F en los v ertices de T.
Entonces podemos reescribir (19) en forma matricial como
F(, ) = N(, )a (20)
5
donde N(, ) es la matriz
N(, ) =

0 0 0 0 1 0 0
0 0 0 0 0 1 0
0 0 0 0 0 0 1

(21)
De manera similar, si F(x, y) es una funci on cuadr atica sobre T, entonces su valor en un punto (x, y), con coordenadas
baric entricas (, ) se puede calcular como
F(, ) = F(R
1
)N
2
1
(, ) + ... +F(R
6
)N
2
6
(, ) (22)
debido a la propiedad (16) de la base de Lagrange. Denotando por a = (F(R
1
), ..., F(R
6
))
t
el vector de dimensi on
18 que contiene los valores de F en los nodos R
s
, s = 1, ..., 6 de T, podemos reescribir (22) como
F(, ) = N(, )a (23)
donde N(, ) es la matriz
N(, ) =

N
2
1
0 0 N
2
2
0 0 N
2
6
0 0
0 N
2
1
0 0 N
2
2
0 0 N
2
6
0
0 0 N
2
1
0 0 N
2
2
0 0 N
2
6

(24)
N otese que la representaciones matriciales (20) y (23) de F, en la base lineal y cuadr atica respectivamente, son muy
similares y s olo se diferencian en la matriz N de las funciones de forma. Adem as, utilizando la relaci on (13) entre
las coordenadas baric entricas y las fsicas, podemos reescribir f acilmente las matrices (21) y (24) en las coordenadas
fsicas. Por otro lado, las expresiones (18) y (20) si F es lineal o (18) y (23) si F es cuadr atica nos permiten obtener
una representaci on matricial del desplazamiento u en un punto cualquiera (x, y, z), con (x, y) T. En efecto,
u = N(x, y)ae
i(zt)
(25)
donde a es el vector de los desplazamientos u en los nodos del elemento T. Las derivadas parciales de u se obtienen
inmediatamente de (25) y est an dadas por
u
x
= e
i(zt)
N(x, y)
x
a,
u
y
= e
i(zt)
N(x, y)
y
a,
u
z
= ie
i(zt)
N(x, y)a (26)
4.1 Obtenci on de un problema generalizado de autovalores
Como ya mencionamos anteriormente el m etodo de Galerkin (9) aplicado a las ecuaciones de movimiento se reduce
al Principio del Trabajo Virtual (7), si sustituimos en este el desplazamiento virtual v, por una funci on cualquiera
del espacio H al que pertenece la soluci on aproximada u. Por otra parte, el empleo del m etodo semianaltico nos
permite convertir nuestro problema 3D en un problema 2D sobre la secci on transversal del objeto, de modo que el
desplazamiento u se obtiene exigiendo que se cumpla la condici on

(L)
t
dxdy

2
u
t
2
dV

t
t ds = 0 (27)
para toda funci on H, donde es la curva de la frontera de . En nuestro problema se considera que el vector t
de la tracci on es nulo.
6
N otese que cuando nos restringimos a un tri angulo T, una funci on cualquiera del espacio H se puede escribir como
= N(x, y)re
i(zt)
(28)
donde r es el vector de los valores de en los nodos del tri angulo T.
A continuaci on vamos a calcular las integrales que aparecen en (27). De (3) resulta que Lu se puede escribir como
Lu = L
1
u
x
+L
2
u
y
+L
3
u
z
(29)
donde
L
1
=

1 0 0
0 0 0
0 0 0
0 0 0
0 0 1
0 1 0

L
2
=

0 0 0
0 1 0
0 0 0
0 0 1
0 0 0
1 0 0

L
3
=

0 0 0
0 0 0
0 0 1
0 1 0
1 0 0
0 0 0

(30)
Sustituyendo en (29) las expresiones (26) para las derivadas parciales del desplazamiento obtenemos
Lu =

L
1
N(x, y)
x
+L
2
N(x, y)
y
+ i L
3
N(x, y)

ae
i(zt)
Esta ultima expresi on puede reescribirse como,
Lu =

B
1
(x, y) + i B
2
(x, y)

ae
i(zt)
(31)
donde
B
1
(x, y) = L
1
N(x, y)
x
+L
2
N(x, y)
y
, B
2
(x, y) = L
3
N(x, y)
y las derivadas parciales de Ncon respecto a x and y se calculan a partir de (21) y (24) aplicando la regla de la cadena.
Sustituyendo (31) en (5) obtenemos
= C

B
1
(x, y) + i B
2
(x, y)

ae
i(zt)
(32)
An alogamente, partiendo de (28) obtenemos
L =

B
1
(x, y) + i B
2
(x, y)

re
i(zt)
(33)
Supongamos que las restricciones de u y a un tri angulo T
j
se escriben como,
u

T
j
= Na
j
e
i(zt)
,

T
j
= Nr
j
e
i(zt)
Entonces, sustituyendo (32) y (33) en la primera integral de (27) obtenemos

(L)
t
dxdy =
nt

j=1

T
j
(L)
t
(CLu) dxdy
=
nt

j=1
r
t
j

T
j
B
t
1
CB
1
+ i(B
t
1
CB
2
+B
t
2
CB
1
) +
2
B
t
2
CB
2
dxdy

a
j
e
2i(zt)
=
nt

j=1
r
t
j

K
j
1
+ iK
j
2
+
2
K
j
3

a
j
e
2i(zt)
(34)
7
donde
K
j
1
=

T
j
B
t
1
CB
1
dxdy, K
j
2
=

T
j
(B
t
1
CB
2
+B
t
2
CB
1
) dxdy, K
j
3
=

T
j
B
t
2
CB
2
dxdy (35)
Para desarrollar la segunda integral en (27), n otese que a partir de (25) podemos calcular la segunda derivada de u
con respecto a t como,

2
u
t
2

T
j
= Na
j

2
e
i(zt)
Por tanto,

2
u
t
2
dxdy =
nt

j=1

T
j
r
t
j
N
t
Na
j

2
e
2i(zt)
dxdy
=
nt

j=1
r
t
j

T
j
N
t
Ndxdy

a
j

2
e
2i(zt)
=
nt

j=1
r
t
j

M
j

a
j

2
e
2i(zt)
dxdy (36)
donde
M
j
=

T
j
N
t
Ndxdy (37)
En la pr actica, las integrales (35) y(37) se calculan utilizando f ormulas de cuadratura.
Sea n
n
el n umero total de nodos. Denotemos por q el vector (inc ognita) de orden 3n
n
de los desplazamientos en los
nodos. Sustituyendo (34),(36) en (27), teniendo en cuenta que (27) se debe cumplir para cualquier funci on en H (y
que la tracci on es nula) llegamos nalmente a,
(K
1
+ i K
2
+
2
K
3
)q =
2
Mq (38)
donde K
1
, K
2
, K
3
y Mson matrices de orden 3n
n
, que se obtienen sumando convenientemente los elementos de las
matrices locales K
j
1
, K
j
2
, K
j
3
.
N otese que (38) es una familia de problemas generalizados de autovalores parametrizada por el n umero de onda ,
que podemos escribir como
A

q =
2
Mq (39)
donde A

= K
1
+ i K
2
+
2
K
3
.
5 Aspectos num ericos de la implementaci on
Las matrices A

en (39) es hermtica y la matriz M es sim etrica y denida positiva. Estas matrices tienen muchos
elementos nulos y se conocen las posiciones donde se encuentran los elementos distintos de cero.
Experimentos num ericos usando ARPACK
Para resolver los problemas (39) utilizamos ARPACK(ARnoldiPACKage) [ARPACK] que es uno de los paquetes m as
empleados para atacar problemas de autovalores de gran escala. ARPACK es un biblioteca de rutinas programadas
en FORTRAN77 que utilizan m etodos iterativos para resolver los problemas de autovalores, m as precisamente, el
m etodo de Arnoldi que se basa en subespacios de Krylov [Buj11]. ARPACK es capaz de resolver los problemas
generalizados o est andard de matrices hermticas o no. Est a dise nado para calcular k autovalores (con k peque no)
teniendo en cuenta opciones especicadas por el usuario tales como aquellos que tengan mayor parte real o mayor
8
magnitud, etc. Una de las caractersticas m as importantes de este paquete es la llamada comunicaci on inversa
que brinda una manera de interactuar con los usuarios sin imponer una estructura en la matriz, ni en la forma de
calcular el producto matriz-vector. El hecho de que estemos utilizando una malla 4-8 para la discretizaci on de la
regi on nos permite acotar el n umero m aximo de vecinos de un nodo (ocho) y proponer una manera de compactar las
matrices A

y M de forma tal que la versi on compacta tenga siempre veintisiete columnas. La bibliografa indica
que los autovalores que ARPACK calcula con mayor precisi on son aquellos de mayor magnitud. ARPACK ofrece tres
opciones para resolver un problema generalizado de autovalores. El problema (39) puede ser resuelto te oricamente
de formas diferentes, lo cual nos permite utilizar las tres alternativas que brinda ARPACK y comparar los resultados
obtenidos en cuanto a tiempo de ejecuci on y operaciones que realiza.
La primera alternativa consiste en transformar el problema generalizado en un problema est andard
C

y =
2
y (40)
donde C

= L
1
A

L
t
es la matriz que se obtiene despu es de aplicar las transformaciones y L es la matriz resultante
de realizar la factorizaci on de Cholesky de M. Los autovalores que se obtienen al resolver este problema son los
mismos que los de (39) y los autovectores de (39) se pueden obtener resolviendo el sistema de ecuaciones con matriz
triangular y = L
t
q. Como los autovalores que necesitamos calcular son los cercanos a cero, la opci on que debemos
especicarle a ARPACK para resolver (40) es exactamente que calcule los autovalores de menor magnitud (SM).
La segunda alternativa que nos brinda ARPACK es resolver el problema genaralizado (39) directamente. En este caso,
al igual que en la primera alternativa, debemos calcular los menores autovalores (SM).
La ultima alternativa es conocida como Shift and Invert. En esta ocasi on, se obtiene el siguiente problema equivalente:
Mq =
1

2
A

q (41)
donde calcular los mayores autovalores de (41) es equivalente a calcular los menores autovalores de (39). De esta
forma utilizamos la opci on para la cual se comporta mejor el m etodo (obtener los mayores, LM) y calculamos los
valores que necesitamos.
La Tabla 1(a) muestra una comparaci on del tiempo en segundos que demora en resolverse un problema generali-
zado de autovalores utilizando cada alternativa teniendo en cuenta tres tama nos de las matrices. Los problemas
generalizados de autovalores de orden 144, 624 y 1056 corresponden respectivamente a las tres mallas que se muestran
en la Figura 1.
TABLA 1: Tiempo que demor o ARPACK en resolver problemas generalizados usando cada alternativa para matrices
de tama no 144, 624 y 1056 respectivamente.
(a) un problema
Alternativa\Tmpo(s) 144 624 1056
Alternativa 1 0.527 12.483 34.005
Alternativa 2 0.769 24.981 99.131
Alternativa 3 0.110 1.185 1.889
(b) 200 problemas
Alternativa\Tmpo(min) 144 624 1056
Alternativa 1 7.929 150.09 652.64
Alternativa 2 6.432 155.56 614.83
Alternativa 3 1.044 9.65 31.33
La Tabla 1(b) muestra el tiempo en minutos que demor o ARPACK en resolver los problemas (39) para 200 valores
diferentes de sobre las mallas que se muestran en la Figura 1.
Como se puede observar en la Tabla 1(b), a medida que aumenta el tama no de las matrices se hace m as evidente qu e
alternativa utilizar. En el caso de las matrices de tama no 1056, las alternativas 1 y 2 demoraron 10.87 y 10.24 horas
9
respectivamente, mientras que la alternativa 3 demor o 31.33 minutos. Como conclusi on podemos decir que es m as
satisfactorio resolver los problemas generalizados usando la alternativa 3 de ARPACK. Es importante destacar c omo
tres enfoques del problema te oricamente equivalentes tienen un costo temporal sustancialmente diferente.
6 ULTRAWAVE
El software fue implementado utilizando el lenguaje de programaci on C++ y la plataforma libre Qt. Se utiliz o la
biblioteca A48 para la generaci on de la malla que discretiza la secci on transversal de la estructura donde se quiere
analizar la propagaci on de las ondas. La soluci on del problema se basa en el m etodo SAFEM y fue implementada
en C++ llamando a funciones en FORTRAN de la biblioteca ARPACK para resolver los problemas generalizados de
autovalores. Los gr acos que muestran las curvas de dispersi on as como la visualizaci on de la propagaci on de las
ondas se realizaron utilizando OpenGL.
A partir de los autovalores y autovectores obtenidos resolviendo (39) se calculan las frecuencias y los desplazamien-
tos q en la secci on trasversal de la estructura. Esto nos permite obtener las curvas de dispersi on de la velocidad de
fase. La m- esima curva de dispersi on tiene la siguiente expresi on c
m
: (x
m
(), y
m
()) = (
m()
2
,
m()

). La Figura
2 muestra las curvas de dispersi on obtenidas despu es de la corrida del programa utilizando como discretizaci on la
malla de la Figura 1 a. La propagaci on de la onda se simula utilizando los desplazamientos para todos los valores del
Fig. 2: Curvas de dispersi on.
n umero de onda en el intervalo especicado. La Figura 3 muestra c omo se deplazan las ondas a lo largo de una tubera
para un punto seleccionado en las curvas de dispersi on. Las tres primeras im agenes representan una onda longitudinal
correspondiente al valor de frecuencia 2.5975 KHz y velocidad de fase igual a 2.8582 mm/us. Las siguientes tres
imagenes corresponden a una onda de exi on obtenida para una frecuencia igual a 2.245 KHz y velocidad de fase
igual a 2.42784 mm/us.
Fig. 3: Desplazamientos en el tiempo de una onda longitudinal y una onda de exi on.
7 Conclusiones
Se present o un software en C++ que permite el an alisis del comportamiento de ondas guiadas en estructuras denidas
por el usuario como tuberas o railes. Para la implementaci on del software se realiz o el estudio del problema de propa-
gaci on de ondas utilizando SAFEM. Se present o la formulaci on fsica y matem atica del problema basado en el FEM y
se lleg o a una familia de problemas generalizados de autovalores. Para resolver dicha familia de problemas se utiliz o
10
la biblioteca ARPACK por lo que se tuvo que mezclar c odigo FORTRAN con C++. Se presentaron tambi en algunos
resultados num ericos obtenidos de la interacci on con las diferentes opciones que brinda la biblioteca ARPACK. Se
utilizaron mallas 4-8 para la discretizaci on de la regi on y OpenGL para mostrar los gr acos. Como resultado, se
obtuvieron las curvas de dispersi on y los deplazamientos en cada punto.
Referencias
[Hay03] T. Hayashi, W.J. Song, J. Rose, Guided wave dispersion curves for a bar with an arbitrary cross-section, a
rod and rail example. Ultrasonics, 41, 175-183, 2003.
[Veh00] L. Velho, J. Gomes, Variable Resolution 4-k Meshes: Concepts and Applications. Computer Graphics Forum
19, 195-214, 200.
[A48] A48 Library (2009). Disponible: http://www.impa.br/lvelho/a48
[Ote09] J.A. Otero, N. Galarza, B. Rubio, E. Moreno, Semi-analytical nite elements methods for dispersion curves
using higher order elements for long range ultrasonic testing. 2009 IEEE Int. Ultrasonics Symposium Proc.,
1966-1969, 2009.
[ARPACK] Arpack Library. Disponible: http://www.caam.rice.edu/software/ARPACK
[Buj11] Z. Bujanovic, Krylov type methods for large scale eigenvalue computation. PhD Thesis, University of Zagreb
Department of Mathematic, 2011.
[CB99] T. R. Chandrupatla, A. D. Belegundu, Introducci on al estudio del elemento nito en ingeniera, Prentice Hall,
segunda edici on, 1999.
[Zien89] O. C. Zienkiewicz, The nite element method, McGraw Hill, Fourth Edition 1989.
11