Mtodos de elemento finito

7.4.1. Mtodo de Galerkin 7.4.2. Formulacin de elemento finito en 2 dimensiones

Los mtodos de elemento finito (MEF) son una estrategia numrica alternativa muy popular para la simulacin de el flujo subterrneo. La teora de elemento finito es ms abstracta que los mtodos de diferencias finitas (MDF), el (MEF) tiene ventajas significativas sobre el (MDF) en algunas aplicaciones practicas. El (MEF) se basa en considerar al cuerpo o estructura dividido en elementos discretos, con determinadas condiciones de vnculo entre s, generndose un sistema de ecuaciones que se resuelve numricamente y proporciona el estado de tensiones y deformaciones.

Se utiliza la teora de aproximacin polinominal presentada en la seccin 7.2 como punto de partida en el desarrollo del mtodo, combinando las ecuaciones 7.15 y 7.16 de la seccin 7.2 tenemos que:

f (x ) = f (x ) + E(x ) =

n j=0

n j

(x )f (x ) + E(x )
j

(7.65)

f(x) es la funcin buscada, que puede ser en este caso h(x) (x) es la aproximacin polinominal de h(x). E(x) es el error de aproximacin

La aproximacin clsica para el desarrollo de el mtodo de elemento finito utiliza el concepto de residuos pesados. Para hacer este concepto tan abstracto ms concreto, quiz ayude seleccionar una ecuacin a la cual se le aplique el (MEF). Si definimos un operador (x) como una ecuacin de flujo de agua subterrnea en una dimensin en estado estacionario con una fuente Q(x) tenemos que: d 2 h (x ) (7.66) (h (x )) K Q(x ) = 0 2 dx Ahora si definimos el residual R(x) como la diferencia entre el valor obtenido de la solucin exacta h(x) y el valor obtenido de sustituir (x).

Obtenemos la ecuacin:

R (x ) (h (x )) h (x )
R (x ) = h (x )

(7.67)

Si consideramos que (h(x))=0 tenemos:

( )

(7.68)

Consideremos ahora, una funcin de peso w(x) que es tambin funcin de x. El mtodo de residuos pesados puede ser simplemente definida como:

h (x ) w (x )dx = 0
X

xX

(7.69)

La ecuacin anterior afirma que se busca un valor de (x), tal que la integral en el dominio de X por la funcin w(x) sea igual a cero. La seleccin de la funcin de w(x) indica la naturaleza del mtodo de residuos pesados.

Mtodo de Galerkin
La funcin de peso ms comnmente usada es la misma funcin utilizada para aproximar la funcin conocida, (x). Esta formulacin es conocida como el Mtodo de Galerkin De la ecuacin 7.65 podemos ver que es un polinomio de Lagrange, nj(x) y de la ecuacin 7.69 tenemos que:

h (x )
X

) (x )dx =0
n i

xX

i = 0,1, , I

(7.70)

El siguiente paso es sustituir la aproximacin de (x) dada por la ecuacin 7.65 sin el termino del error.

X
n j=0

n ( ) ( ) j x h xj

n i

(x )dx =0

x X i = 0,1, , I

(7.71)

Hay que tener en cuenta que el valor de h(xj) es un nmero representando la funcin (x) con x=xj=jx. Si asumimos que I=n=2, podemos utilizar esta informacin dada en la figura 7.8 con la cual la ecuacin anerior queda de la siguiente forma:

x2 x0

j=0

2 (x )h (x j ) j

2 i

(x )dx = 0

i = 0,1,2

(7.72)

Si tomamos en cuenta la definicin de (x) y la sustituimos en la ecuacin obtenemos:

x2

x0

2 d K 2 dx

2 j=0

2 (x )h (x j ) j

2 i

(x ) Q(x ) (x )dx = 0
2 i

i = 0,1,2

(7.74)

Pero conocemos de la ecuacin 7.33 que

2 d 2 dx

2 j= 0

h (x ) 2h (x ) + h (x ) 2 1 2 ( ) ( ) = 0 j x h xj 2 x

(7.75)

Sustituyendo en la ecuacin resulta:

h (x 0 ) 2h (x 1 ) + h (x 2 ) K x 2
x0

x2

2 i

(x ) Q(x ) (x )dx = 0
2 i

i = 0,1,2

(7.76)

Si consideramos para esta ecuacin la forma general de los polinomios de Lagrange ecuacin 7.13 obtenemos:
n j

n i =0 j i

x xi x j xi

Sustituyendo en la ecuacin para i=1

h (x 0 ) 2h (x 1 ) + h (x 2 ) K x 2
x0

x2

2 1

(x ) Q(x ) (x )dx = 0
2 1

(7.77)

(x x 0 )(x x 2 ) dx = 0 h (x 0 ) 2h (x 1 ) + h (x 2 ) (x x 0 )(x x 2 ) K Q(x ) (x x )(x x ) (x 1 x 0 )(x 1 x 2 ) x 2 1 0 1 2

x0

x2

(7.78)

Si consideramos que la componente Q es constante en el espacio y no depende de x.

h (x 0 ) 2h (x 1 ) + h (x 2 ) K Q(x ) x 2

(x x )(x x ) dx = 0 (x x )(x x )
0 2 1 0 1 2

x2

(7.79)

x0

h (x 0 ) 2h (x 1 ) + h (x 2 ) K 2 Q(x ) = 0 x

(7.80)

Pero esta ecuacin es la aproximacin de diferencias finitas para la ecuacin.

Sin embargo, si consideramos los mismos 3 nodos pero ahora empleando polinomios lineales de Lagrange usando una estrategia ligeramente diferente, podemos obtener una nueva formulacin a partir de sustituir la definicin de (h(x)) dentro de la ecuacin 7.70.

d 2 h (x ) K Q(x ) 2 dx
X

n i

(x )dx = 0

x X i = 0,1, , I

(7.81)

Ahora definimos (x) usando polinomios lineales de Lagrange como se muestra en la figura 7.9. La aproximacin a h(x) ahora se escribe como:
h (x ) =
0

h (x 0 ) + 1 h (x 1 ) +

h (x 2 ),

(7.82)

donde
x x0 x 0 x x1 x x , 0 1 x2 x x = , x1 x x 2 1 x 2 x1 todas las otras x 0

(7.83)

La sustitucin de la ecuacin de la ecuacin 7.82 en 7.81 produce, para ecuacin generada por la funcin de peso 1.

d2 K 2 dx
X

[ h (x ) +
0 0

h (x 1 ) + 1

h (x 2 )] Q(x ) 2

(x )dx = 0

(7.84)

Inmediatamente surge un problema, puesto que la segunda derivada de una funcin lineal es cero casi en cualquier lugar tal que la aproximacin d2h/dx2 tiende a cero excepto en los puntos nodales, en donde esta es infinita.

Para esquivar este problema, se puede aplicar la integracin por partes de la segunda derivada, donde el resultado para una funcin de peso, la cual es:

d ( dx

(x )h (x ) + (x )h (x ) + (x )h (x )) d
0 1 1 2 2

dx

dx
x [x 0 , x 1 ]

d + K ( dx Q(x )

(x )h (x ) + (x )h (x ) + (x )h (x ))
0 1 1 2 2

x =x 2 1 x =x0

(7.85)

(x )dx = 0

X1

Ntese que 1(x)=0 para x=x0 y tambin para x=x2, por lo que el segundo termino en la ecuacin desaparece.
Ir a 26

De la ecuacin 7.41 obtenemos la aproximacin, y de la ecuacin 7.83 tenemos que:

d ( dx dh (x ) h (x 1 ) h (x 0 ) (x )h (x 0 ) + 1 (x )h (x 1 )) = = 0 dx x

d dx

1 x

x [x 0 , x 1 ]

De manera similar,
d ( dx
1

(x )h (x ) + (x )h (x )) = dh (x ) = h (x ) h (x )
2 1 1 2 2

dx

d dx

1 x

x [x 1 , x 2 ]

Combinando las ecuaciones anteriores con la 7.85 obtenemos que:

x1

K
x0

h (x 1 ) h (x 0 ) 1 dx + x x

x2

K
x1

h (x 2 ) h (x 1 ) 1 dx x x

x2

Q(x )
x0

(x )dx = 0

(7.90)

h (x 1 ) h (x 0 ) h (x 2 ) h (x 1 ) +K Q(x )x = 0 x x

(7.91)

Si consideramos que Q es constante rescribimos la ecuacin anterior como:

h (x 0 ) 2h (x 1 ) + h (x 2 ) K Q(x ) = 0 2 x

(7.92)

Si utilizamos el (MEF) o el (MDF), siempre terminaremos con la misma aproximacin numrica de la ecuacin de flujo de agua subterrnea en estado estacionario en presencia de una fuente constante Q.

Formulacin de elemento finito en 2 dimensiones

La extensin de la teora de elemento finito en 2-D requiere nuevos conceptos. Consideremos la ecuacin de flujo de agua subterrnea en 2-D independientes del tiempo.
h (x , y ) h (x , y ) h (x , y ) + 2 Tyx Tyy + Txx = Q (7.93) x x y y y x

Extendemos la representacin de la carga hidrulica para 2-D como (x,y), donde los elementos finitos estn representados por rectngulos como se muestran en la figura 7.10.

Donde ij(x,y)i(x)j(y) y asumimos que los polinomios de Lagrange son lineales.

h (x , y ) =

i, j

h (x i , y j )

ij

(x, y )

i = 0,1, , I

j = 0,1, , J

(7.94)

La funcin ij(x,y) se muestra en la figura 7.11 para el elemento D y el nodo a. La funcin es lineal para las dos direcciones x y y, sin embargo la lnea que se dibuja del nodo a al c no lo es.

La ecuacin de residuos pesados la podemos escribir como:

h (x , y )

) (x, y)dxdy = 0
ij

x, y

i = 0,1, , I j = 0,1, , J

(7.95)

es el dominio en 2-D que representa el rea. El operador ((x)) lo definimos ahora como:
T (h (x , y )) x
xx

h (x , y ) h (x , y ) h (x , y ) + Tyy + 2 Tyx Q y x y y x

(7.96)

Introducimos la notacin
(x , y ) h (x , y ) i + h (x , y ) j xy h x y
(7.97)

Podemos escribir la ecuacin 7.96 como:

(h (x , y )) = xy T xy h (x , y ) Q

(7.98)

donde T es el tensor de transmisividad Combinando la ecuacin de residuos pesados (7.95) y la definicin de la ecuacin 7.98 obtenemos:

xy

T xy h (x , y ) Q
x, y

) (x, y)dxdy = 0
kl

(7.99)

k = 0,1, , K

l = 0,1, , L

Aplicando el segundo teorema de Green

(T h(x, y ))
xy

xy

kl

(x, y ) Q (x, y )dxdy +

kl

x, y

k = 0,1, , K

(T h(x, y)) ndl = 0

xy

(7.100)

l = 0,1, , L

Aunque la ecuacin anterior es anlogo a la ecuacin 7.85, si expandimos el primer termino de la integral de superficie en la ecuacin 7.100 por una funcin de peso localizada en un punto (xk,yl) esta dada por

(T

xy

h (x , y ) xy

kl

(x, y )dxdy =
(7.101)

Txx h (x , y ) + Txy h (x , y ) kl (x , y ) x x y

Tyy h (x , y ) + Tyx h (x , y ) kl (x , y ) dxdy + x y y

Sustituyendo la funcin (x) obtenemos:

xy

(T h(x, y))

xy

kl

(x, y )dxdy =

Txx

h (x i , y j )

(x ) (y )
j

+ Txy

i, j

+ Tyy

h (x i , y j )

(x ) (y )
j

+ Tyx

i, j

i, j i, j

i (x ) j (y ) h (x i , y j ) y h (x i , y j )
i

(y )

(x )
(7.102)

(x ) (y )
j

(x )

(y )

dxdy

Esta ecuacin no puede ser fcilmente simplificada a causa de los productos de los de varios polinomios de Lagrange y sus derivadas. En 2-D la formulacin de elemento finito no corresponden a la forma de diferencias finitas, an cuando Txy=Tyx=0
Ir a 34

Como se menciono en el capitulo anterior existen 3 tipos de condiciones de frontera que pueden potencialmente se consideradas. La condicin de frontera tipo Dirichlet, que se define como una condicin de carga constante en la frontera. El resultado sustituir valores constantes de la carga conocida en la frontera es, una reduccin en el nmero de filas en la matriz. La matriz final contiene el nmero de ecuaciones no conocidas, que son el nmero de nodos menos el nmero de condiciones de frontera Dirichlet

El segundo tipo es la condicin de frontera tipo Neumann Para los nodos localizados en la frontera de la regin de flujo dentro del elemento puede especificarse, asumiendo que una condicin Dirichlet no esta definida a lo largo del segmento de frontera. Para esto se remplaza el termino T xy(x,y) por un valor de flujo conocido. As se crea el termino que representa el flujo a travs de la frontera en el permetro.

La forma ms popular y por lo tanto la ms utilizada para elementos finitos en 2-D son los tringulos en comparacin con los rectngulos. La ventaja de los tringulos en 2-D y tetraedros en 3-D en la flexibilidad para la localizacin de nodos. Para los elementos triangulares no conviene utilizar la notacin ij utilizada para los rectngulos. Por el contrario, cada nodo es numerado como se muestra en la figura 7.12.

La ecuacin (7.102) y la teora presentada en este captulo, tomada para elementos triangulares, difiere solo en la definicin de funciones de peso y base i(x,y). Si usamos i(x,y) en vez de i(x,y) reconociendo que esta funcin no es un polinomio de Lagrange en el sentido clasico. Por lo que podemos considerar que a i(x,y) como una pieza plana del polinomio de Lagrange.

Si consideramos el elemento A en la figura 7.12. La funcin base identificada con el nodo 2 se asemeja a la figura 7.13.

Puesto que la integracin que esta en la ecuacin 7.102 esta sobre un tringulo, una transformacin coordenada se aplica para facilitar los clculos. Consideremos un ejemplo para ver las ventajas de la flexibilidad de elementos finitos triangulares contra mallas rectangulares. En la figura 7.14 se muestra una malla rectangular generada por la aplicacin de diferencias finitas. En la figura 7.15 se muestra una malla triangular generada por la aplicacin de elemento finito.

La comparacin de las 2 mallas ilustra dos caractersticas: La primera, en la vecindad de la localizacin de un pozo, ambas mallas requieren una gran densidad de nodos. Para el caso de la malla rectangular, las consideraciones geomtricas requieren que una lnea de nodos una vez empezado debe ser continua en la frontera del modelo. En contraste, la malla de elemento finito, tringulos pequeos reflejan el gran nmero de nodos cerca del pozo, pero es un decrecimiento gradual en la densidad de nodos.

La segunda caracterstica se puede observar en la parte superior derecha, donde la frontera es oblicua. El nmero de nodos en la malla rectangular son cerca de 1600 y en la malla triangular son cerca 400. Para el manejo computacional, el considerar mallas triangulares es ms eficiente que las mallas rectangulares. Cuando se generan lneas de flujo, se puede utilizar el hecho de que, para un triangulo, el gradiente es constante. As se construyen las lneas de flujo de un punto arbitrario.