Académique Documents
Professionnel Documents
Culture Documents
INTRODUCCION
El anlisis de elementos finitos para un problema fsico puede ser descrito de la siguiente
forma:
(1) El sistema fsico se divide en series de elementos que estn conectados por un nmero
discreto de puntos nodales; este proceso se denomina "discretizacin". Discretizaciones
tpicas de un sistema de tuberas y de un sistema continuo bidimensional se muestran en la
Figura 1. En estos casos se identifican los elementos por medio de nmeros. El problema
de tuberas contiene 8 elementos y 6 nudos, mientras que el problema continuo posee 20
elementos y 52 nudos.
Consideremos el flujo de agua a travs de un medio poroso, en estado estacionario. Este medio
poroso est compuesto de tres zonas de diferente conductividad hidrulica, tal como se
muestra en la Figura 2. El agua se inyecta a una tasa unitaria a travs de uno de los extremos
del medio poroso, mientras que la carga hidrulica se mantiene constante, con una valor igual a
5, en el otro extremo. Utilicemos el MEF para determinar la distribucin de la carga hidrulica
dentro del medio poroso.
Tal como se muestra en la Figura 2, el sistema se divide en tres elementos, los que se
identifican en la Tabla 1.
Tabla 1
Identificacin Elementos Finitos
Conexiones Nodales
Nmero de
Elemento
Nodo 1
Nodo 2
1
1
2
2
2
3
3
3
4
3.2
Consideremos un elemento aislado como el que se indica en la Figura 3 (elemento e). Los
valores del flujo de agua subterrnea, Q, y la carga hidrulica, h, son definidas en cada nudo.
Por conveniencia vamos a asignar un signo positivo al flujo que entra al elemento. El trmino
desconocido en este problema es la carga hidrulica. la relacin entre la carga hidrulica y el
flujo de agua subterrnea est dada por la Ley de Darcy. La ecuacin de Darcy para cada nudo
se puede escribir como:
Q1 =
KA
(h1 h2 )
L
(1)
Q2 =
KA
(h2 h1 )
L
(2)
KA
L
KA
L
K A
e
e
Q1
L h1
=
Q
K A h2
2
(3)
[C ]e {h}e = {Q}e
(4)
donde el superndice e se utiliza para indicar que la ecuacin matricial se escribe para el
elemento e. Las componentes de la matriz C son las siguientes:
e
K A
c11 =
,
L
K A
c12 =
,
L
c 21 = c12 ,
K A
c 22 =
Es posible notar que la matriz elemental C es simtrica pero singular, i.e. su determinante es
cero.
3.3
Despus de ensamblar todas las ecuaciones para cada elemento, se obtiene un conjunto de
ecuaciones globales, el que se puede escribir como:
c11
c
21
c31
c 41
c12
c 22
c32
c 42
c13
c 23
c33
c 43
c14 h1 Q1
c 24 h2 Q2
=
c34 h3 Q3
c 44 h4 Q4
(5)
o en forma equivalente,
[C ] {h} = {Q}
(6)
c11(1)
(1)
c 21
0
c12(1)
(1)
c 22
0
0
0
0
0
0
0 h1 Q1(1)
0 h2 Q2(1)
=
0 h3 0
0 h4 0
(7)
0 0
0 c ( 2 )
11
( 2)
0 c 21
0 0
0
( 2)
12
( 2)
22
c
c
0 h1 0
0 h2 Q1( 2)
=
0 h3 Q2( 2)
0 h4 0
(8)
0
0
0 0
0 0
0 c11(3)
( 3)
0 c 21
0 h1 0
0 h2 0
=
c12( 3) h3 Q1(3)
( 3)
( 3)
c 22
h4 Q2
(9)
La matriz global se obtiene agregando las contribuciones desde todos los elementos. La
combinacin de las ecuaciones (7), (8), y (9) da:
c11(1)
(1)
c 21
0
c12(1)
(1)
c 22
+ c11( 2 )
( 2)
c 21
0
0
c12( 2 )
(2)
c 22
+ c11(3)
( 3)
c 21
0 h1 Q1(1)
(1)
( 2)
0 h2 Q2 + Q1
=
c 22
h4 Q2
(10)
Q2(1) + Q1( 2) = 0
(11)
y en el nodo 3:
Q2( 2 ) + Q1( 3) = 0
(12)
0 h1 Q1(1)
0 h2 0
c12(3) h3 0
( 3)
( 3)
c 22
h4 Q2
c11(1)
(1)
c 21
0
c12(1)
(1)
c 22
+ c11( 2 )
( 2)
c 21
0
3.4
0
c12( 2)
( 2)
c 22
+ c11( 3)
( 3)
c 21
(13)
c11(1)
(1)
c 21
0
c12(1)
(1)
c 22
+ c11( 2 )
( 2)
c 21
0
0
c12( 2)
( 2)
c 22
+ c11( 3)
( 3)
c 21
0 h1 1
0 h2 0
c12(3) h3 0
( 3)
( 3)
c 22
h4 Q2
(14)
La segunda condicin de borde se inserta cambiando la cuarta ecuacin del sistema matricial
en (14) por la ecuacin:
h4 = 5
(15)
h1
h
[0 0 0 1] 2 = {5}
h3
h4
(16)
c11(1)
(1)
c 21
0
c12(1)
(1)
+ c11( 2)
c 22
c
( 2)
21
0
( 2)
12
c
c
( 2)
22
+ c11( 3)
0
0 h1 1
0 h2 0
=
c12( 3) h3 0
1 h4 5
(17)
c11(1)
(1)
c 21
0
c12(1)
(1)
c 22
+ c11( 2 )
( 2)
c 21
3.5
0
( 2)
12
( 2)
c 22
+ c11( 3)
0
1
0 h1
1
0
0
0 h2
= ( 3)
= ( 3)
0 h3 c12 h4 c12 5
5
5
1 h4
(18)
La ecuacin (18) puede ser resuelta en forma directa mediante un mtodo de solucin
tradicional o en forma indirecta mediante un mtodo iterativo.
4.
4.1
Aspectos Generales
Consideremos un problema continuo gobernado por una ecuacin diferencial del tipo:
L(u ) f = 0
(19)
en una regin R rodeada por un borde o frontera B. para obtener una solucin aproximada para
u~ = N I C I
(20)
I =1
donde NI son funciones de base linealmente independientes, las que se definen sobre el
dominio de solucin, y CI son parmetros desconocidos que sern determinados
posteriormente. Debido a que la ecuacin (20) es slo una aproximacin, al substituirla en la
ecuacin (19) se obtendr un valor residual, es decir:
= L(u~ ) f = 0
(21)
El mtodo de los residuales ponderados busca determinar los trminos desconocidos, CI, de tal
forma que el error o valor residual de la ecuacin (21) sea mnimo. Esto ltimo se consigue
haciendo que la integral ponderada del error sobre toda la regin de anlisis sea nula.
En la segunda fase se identifica las n funciones de ponderacin linealmente independientes, WI,
que deben cumplir lo siguiente:
dR = WI (L(&u&&) f ) dR = 0
(22)
Una vez que se especifica una forma funcional para las funciones de ponderacin, se emplea la
ecuacin (20) para representar u y se combina esta informacin con la ecuacin (22) para
obtener un conjunto de n ecuaciones simultneas, con n valores incgnitas, CI, I=1, 2, ..., n.
Finalmente, la tercera etapa consiste en resolver las ecuaciones anteriores para CI y obtener
una representacin aproximada para u utilizando la ecuacin (20). Dependiendo de la seleccin
de la funcin de ponderacin se reconocen tres mtodos distintos:
4.2.1 Mtodo de Colocacin Puntual
En este mtodo se especifica un conjunto de puntos xI en el dominio de solucin, Puntos de
Colocacin, y se seleccionan las funciones de ponderacin iguales a la funcin de Dirac:
WI = (x x I ),
I = 1, 2, K, n
(23)
W
R
dR = (x x I ) dR = (x I ) =0
(24)
WI =
0
x RI
,
I = 1, 2, K, n
(25)
x RI
dR = 0
(26a)
o,
N (L(&u&&) f ) dR = 0
I
para todo I = 1, 2, K , n
(26b)
u~ = N I u I
(27)
I =1
donde N I son las funciones de interpolacin definidas para el elemento e, u I son los valores
nodales desconocidos, y ne es el nmero de nodos en el elemento.
Paso 2
La integral presentada en la ecuacin (26) se puede separar en una serie de subintegrales,
cada una de ellas sobre el rea de un elemento individual, esto es:
N
R
dR = N I dR
(28)
e Re
N (L(&u&&) f ) dR = Q
I
e
I
para todo I = 1, 2, K, ne
(29)
Re
Los procedimientos para formular las ecuaciones de elementos finitos por mtodos
variacionales o mtodos de residuales se basan en el supuesto que la integral sobre la regin
entera se puede reemplazar por la suma de integrales sobre subregiones. Para asegurar que
este supuesto es vlido y que nuestra solucin aproximada converge a la solucin correcta al
refinar la malla de elementos finitos, las funciones de interpolacin deben cumplir ciertas
condiciones:
(1) En la interfaces entre elementos, la funcin desconocida u y cualquiera de sus derivadas
hasta un orden inferior a la ms alta derivada en la integral residual ponderada debe ser
continua. Esto se denomina condicin de continuidad.
(2) La funcin de prueba u y sus derivadas deben ser capaces de representar cualquier valor
constante de u cuando el tamao de los elementos se aproxima a cero. Esto se denomina el
requerimiento de completitud.
4.3.1 Funciones Lineales
Considere un elemento tpico como el mostrado en la Figura 4. Supongamos que la funcin de
prueba se puede escribir como:
u = a1 + a 2 x
(30)
donde a1 y a 2 son constantes. Estas constantes pueden ser evaluadas definiendo que
u (x1 ) = u1 y u (x 2 ) = u 2 , donde x1 y x2 definen los nodos del elemento. Aplicando estas dos
restricciones se puede escribir el siguiente sistema de ecuaciones:
u1 1 x1 a1
=
u 2 1 x 2 a 2
(31)
Figura 4
Funciones de Base Lineales
a1 1 x 2 x1 u1
=
a 2 L 1 1 u 2
(32)
u (x ) =
1
1
(x 2 u1 x1 u 2 ) + (u 2 u1 ) x
L
L
(33)
u (x ) =
1
1
(x 2 x ) u1 + (x x1 ) u 2
L
L
(34)
10
La comparacin entre las ecuaciones (34) y (27) muestra que las funciones de base estn
dadas por:
N 1e (x ) =
1
(x 2 x )
L
(35a)
N 2e (x ) =
1
(x x1 )
L
(35b)
para x1 x x 2 .
en donde el superndice e se introduce para recordar que estas funciones pertenecen al
elemento e. La forma de estas funciones de base se presentan en la Figura 4b. Al considerar
funciones de base entre elementos consecutivos se observa la tpica forma de un "sombrero
triangular", que es el nombre que recibe este tipo de funcin de base. En la Figura 4d se
observa que al combinar estas funciones de base se consigue una aproximacin lineal por
partes de la funcin original.
4.3.2 Elementos de Lagrange
Consideremos un elemento finito compuesto por m+1 puntos nodales, tal como se muestra en
la Figura 5a. La ubicacin de cada punto queda definida por su coordenada x. Lo que
deseamos es aproximar una funcin desconocida u mediante los valores nodales de esta en la
forma:
m +1
u~(x ) = N i (x ) u i
(36)
i =1
donde N i (x ) son las funciones base o de aproximacin, las que tiene la siguiente propiedad:
1
en x = xi
Ni =
0 en x = x , i j
j
(37)
Estas funciones se conocen como los polinomios de Lagrange de grado m. De esta forma se
puede escribir:
m +1
N i (x ) =
j =1
x xj
xi x j
(38)
Como un ejemplo podemos considerar el elemento de tres nudos que se muestra en la Figura
5b. En este caso m=2, de tal forma que N1, N2, y N3 estn dados por:
11
Figura 5
Elementos de Lagrange
N 1 (x ) =
(x x 2 ) (x x3 )
(x1 x 2 ) (x1 x3 )
(39a)
N 2 (x ) =
(x x1 ) (x x3 )
(x 2 x1 ) (x2 x3 )
(39b)
N 3 (x ) =
(x x1 ) (x x 2 )
(x3 x2 ) (x3 x1 )
(39c)
4.4
Ejemplo
d2p
= 0,
dx 2
0 x 10
(40)
donde el coeficiente K es igual a 1. Supongamos adems que las funciones de borde son de
tipo Dirichlet, dados por:
12
0 en x = 0
p=
1 en x = 1
(41)
Para este anlisis subdividamos la regin en m elementos, y procedamos con los siguientes
pasos.
Paso 1
Construir la funcin de base o de aproximacin y usar el criterio de Galerkin para formar la
p se puede escribir en trminos de las
integral ponderada residual. La funcin de aproximacin ~
funciones de aproximacin globales y de los valores nodales de p como sigue:
n
~
p = N j pj
(42)
j =1
d2~
p
=
2
dx
(43)
Paso 2
Aplicando el criterio de Galerkin y construyendo la integral residual de la forma:
10
dx = 0
i = 1, 2, K , n
(44)
x =0
o
10
Ni K
x =0
d2~
p
2
dx
dx = 0
i = 1, 2, K, n
(45)
dN d~
p
K i
dx dx
0
10
d~
p
dx + K
Ni
dx
10
=0
i = 1, 2, K , n
(46)
Debido al tipo de condicin de borde, Dirichlet, que impone valores de p en los extremos de la
malla (x=0 y x=10) la segunda expresin puede ser eliminada de la ecuacin (46). De esta
forma, para el resto de los nodos se obtiene la siguiente expresin:
13
10
K
0
dN i d~
p
dx dx
dx = 0
i = 2, 3, K , n 1
(47)
K
0
dN i n dN j
pj
dx j =1 dx
dx = 0
i = 2, 3, K , n 1
(48)
K
0
dN i n dN j
pj
dx j =1 dx
dx =
x 2 dN i n dN j
pj
K
dx j =1 dx
e =1 x1
m
dx = 0
i = 2, 3, K, n 1
(49)
donde x1 y x2 son las coordenadas de los nudos extremos del elemento e. De la ecuacin (49)
podemos extraer la ecuacin para el elemento e, la que corresponde a:
x2 n
x1 j =1
dN i dN j
pj
dx dx
dx = 0
i = 2, 3, K , n 1
(50)
o al reordenarla se obtiene:
n x2
K
j =1 x1
dN i dN j
p j dx = 0
dx dx
i = 2, 3, K , n 1
(51)
K
j =1 x1
dN i dN j
p j dx = 0
dx dx
i = 1, 2
(52)
La ecuacin anterior representa una fila (i) de una ecuacin matricial en la que pj es una de las
incgnitas:
2
e
i j
p ej = 0
(53)
j =1
donde:
x2
C ie j = K
x1
dN i dN j
p j dx
dx dx
(54)
14
[C ]e {p}e = 0
(55)
donde:
[C ]e
dN 1
dx
= K
x1
dN 2
dx
x2
dN 1
dx
dN
1
dx
dN 1 dN 2
dx dx
dx
dN 2 dN 2
dx dx
(56)
N 1e (x ) =
1
(x 2 x )
L
(57a)
N 2e (x ) =
1
(x x1 )
L
(57b)
tenemos que:
dN 1 dN 1e (x )
1
=
=
dx
dx
L
(58a)
dN 2 dN 2e (x ) 1
=
=
dx
dx
L
(58b)
1 1
L 1 1
[C ]e = K
(59)
5.1
15
p
p
= ,
x x
t
0 x 10
(60)
p(x,0) = p 0
(61a)
p(0, t ) = 0
(61b)
p(10, t ) = 0
(61c)
Debido a que p es una funcin que depende del espacio y el tiempo, la representaremos por
medio de una funcin de aproximacin del tipo:
n
~
p (x, t ) = N j (x ) p j (t )
(62)
j =1
p j dx + N i N j
dx = 0
dx dx
dt
j =1 0
n 10
j =1 0
(63a)
o
n
C
j =1
i j
pj + Mi j
dp j
=0
dt
i = 2, 3, K , n 1
(63b)
donde
10
Ci j =
0
dN i dN j
dx
dx dx
(64a)
y
10
M i j = N i N j dx
(64b)
16
C p k + + M
i j
ij j
j =1
dp j
dt
k +
=0
i = 2, 3, K , n 1
(65)
dp j
dt
k +
p kj +1 p kj
(66)
p kj + = (1 ) p kj + p kj +1
(67)
p kj +1 p kj
k
k +1
=0
(
)
C
p
+
p
+
M
j
j
i j
ij
t
j =1
i = 2, 3, K , n 1
(68)
Mi j
j =1 t
n
n
k +1
M
p j = i j C i j p kj
j =1 t
i = 2, 3, K , n 1
(69)
i = 2, 3, K , n 1
(70)
Esquema Implcito
Este esquema se obtiene si se fija en 1:
n
M i j k +1
Mi j
C
+
p
=
j
ij
t
j =1
j =1 t
n
k
p j
Esquema de Crank-Nicolson
Este esquema se obtiene si se fija en 1/2:
n M
Ci j k
C i j M i j k +1
i j
pj
+
p
=
t
2
j =1 t
j =1 2
n
i = 2, 3, K, n 1
(71)
17
Cualquiera que sea el esquema de interpolacin temporal que se utilice, la solucin del
problema se obtiene utilizando las condiciones iniciales y de borde.
5.2
Anlisis de Estabilidad
(72)
(73)
(74)
donde {P} corresponde a la solucin exacta del problema en el tiempo k. Dado que la
ecuacin (73) tambin es satisfecha por la solucin exacta, es posible mostrar que:
k
{E}k +1 = [G ] {E}k
(75)
k +1
GE
(76)
La ecuacin anterior permite identificar un criterio de estabilidad, de tal manera que los errores
numricos no crecern de una iteracin a la siguiente si se cumple que:
G 1
(77)
G 2 = max i
(78)
donde i denota los valores propios de la matriz G. De esta manera, el criterio de convergencia
es el siguiente:
18
max i 1
(79)
Esquema Explcito
Para este esquema podemos escribir la siguiente expresin matricial:
(80)
(81)
[G ] = [M ]1 ([M ] t [C ]) {p}k = [I ] t [M ]1 [C ]
(82)
[I ] = [G ] + t [M ]1 [C ]
(83)
G 2 + t M 1 C
G 2 I 2 t M 1 C
(84)
o
2
(85)
G 2 1
(86)
El anlisis de esta desigualdad muestra que es vlida slo para algunos valores de t , lo que
hace que el esquema sea slo condicionalmente estable.
Al realizar el mismo anlisis para los esquemas Implcito y Crank-Nicolson se puede demostrar
que ambos son incondicionalmente estables.
5.3
Ejemplo
19
dN 1
x dx
=
0 dN
2
dx
[C ]e
dN 1
dx
dN 1 dN 2
dx dx
dx = 1 1
x 1 1
dN 2 dN 2
dx dx
dN 1
dx
(87)
[M ]
N1 N1
=
0
N 2 N 1
x
N1 N 2
dx =
6
N 2 N 2
2 1
1 2
(88)
Ensamblando los tres elementos e incorporando condiciones de borde Dirichlet en los nudos 1 y
4 (p1=0 y p4=0), la matriz global resultante puede ser reducida a:
dp 2
2 1 p 2 x 4 1 dt 0
x 1 2 p3
6
1 4 dp3 0
dt
(89)
desde donde:
[C ] =
2 1
x 1 2
(90)
4 1
1 4
[M ] = x
6
(91)
Para obtener el criterio de estabilidad del esquema explcito, calculemos la matriz [G ] desde:
[G ] = [I ] t [M ]1 [C ]
(92)
De esta manera,
g11
g 21
[G ] =
g12
g 22
(93)
donde
g11 = g 22 =
18 t
2
5 (x )
g12 = g 21 =
12 t
2
5 (x )
20
A partir de los resultados anteriores se pueden obtener los valores propios de la matriz G como:
1 =
6 t
1
2
(x )
(94)
6 t
1
2
5 (x )
(95)
2 =
max i = 1 1
(96)
6 t
1 1
2
(x )
(97)
(x )
t
3
(98)
21
REFERENCIAS
Anderson, Tannehil and Pletcher (1984). "Computational Fluid Mechanics and Heat Transfer".
Hemisphere Publishing Corporation.
Huyakorn, P. And G. Pinder (1983). Computational Methods in Subsurface Flow. Academic
Press.
Lapidus, G. and G. Pinder (1982). Numerical Solution of Partial Differential Equations in
Science and Engineering. Wiley Interscience.
Remson, I., G. Hornberger, and F. Molz (1971). Numerical Methods in Subsurface Hydrology.
Wiley Interscience.
Valocchi, A. (1994). Modeling of Groundwater Flow and Solute Transport". Lecture Notes.
University of Illinois at Urbana-Champaign.
22