Introduccin al Mtodo

de los Elementos Finitos

Alberto Cardona, Vctor Fachinotti

Cimec-Intec (UNL/Conicet), Santa Fe, Argentina
 Introduccin
Modelos matemticos en ciencia e ingeniera Ecuaciones algebraicas,
diferenciales o integrales
El desarrollo de las computadoras permiti usar estos modelos para resolver
problemas prcticos. Se pueden simular y resolver sistemas altamente
complicados en ciencia e ingeniera.
Permiten:
1. Reducir la necesidad de experiencias con modelos y prototipos (caras y
lentas).
2. Comparar fcilmente distintas alternativas de diseo para llegar al ptimo
ingenieril.

Disciplinas relacionadas:
1. CAD: Computer Aided Design
2. CAE: Computer Aided Engineering
3. CAM: Computer Aided Manufacturing

Introduccin al Mtodo de los Elementos Finitos 2

 Introduccin (cont)

Soluciones analticas
Slo casos simples

Modelos matemticos
Casos prcticos, en computadora

Soluciones numricas

Mtodo de los Elementos Finitos (MEF) : tcnica general para hallar soluciones
numricas de sistemas de ecuaciones diferenciales e integrales.

Origen: ingeniera estructural, aos 50/60, para solucin de ecuaciones

diferenciales en derivadas parciales en elasticidad.

Su aplicacin se generaliz, integrado a sistemas de CAD/CAE.

Introduccin al Mtodo de los Elementos Finitos 3

 Introduccin (cont)
Aplicaciones del MEF:
Ingeniera estructural
Resistencia de materiales
Mecnica de fluidos
Ingeniera nuclear
Electromagnetismo
Campos elctricos
Propagacin de ondas
Conduccin del calor
Procesos de conveccin difusin
Ingeniera de petrleo
Procesos de reaccin difusin
........

Introduccin al Mtodo de los Elementos Finitos 4

 Mtodo de diferencias finitas vs. MEF
Idea bsica de un mtodo numrico para resolver ecuaciones diferenciales:

Continuo con Discretizacin Problema discreto

infinitos GDL c/ # GDL finito

El problema discreto puede resolverse en una computadora !!!

Solucin discreta,
aproximada, con N GDL

Diferencias finitas: mtodo numrico clsico para resolver ecuaciones

diferenciales donde el problema discreto se obtiene reemplazando:
u un1 un

x x
Introduccin al Mtodo de los Elementos Finitos 5
 Discretizacin en el MEF
1. Reformulacin de la ecuacin diferencial en un problema variacional
equivalente.
Ej: en ecuaciones elpticas, en casos simples, toma la forma de problema de
minimizacin:

(M) Hallar u V / F (u ) F (v) v V

donde:
V: conjunto de funciones admisibles
F :V es un funcional F (v ) v V
las funciones v V a menudo representan cantidades que varan en forma
continua (ej.. desplazamiento de un cuerpo elstico, temperatura, etc.)
F(v) es la energa total asociada a v.
(M) es una caracterizacin equivalente de la solucin de la ecuacin diferencial
como aquella funcin en V que minimiza la energa total del sistema
considerado.

Introduccin al Mtodo de los Elementos Finitos 6

 Discretizacin en el MEF (cont)
2. En general, la dimensin de V es infinita (las funciones de V no pueden
expresarse a travs de un nmero finito de parmetros). Luego, (M) no puede
resolverse en forma analtica.

Para hallar una solucin, la idea del MEF es reemplazar V por un conjunto Vh
de funciones simples que dependen de un nmero finito de parmetros:

(Mh ) Hallar uh Vh / F (uh ) F (v) v Vh

Este problema es equivalente a un sistema de ecs. algebraicas. Se espera que uh
sea una aproximacin suficientemente buena de u , la solucin de (M).

3. Usualmente elegimos:
Vh V / vh Vh vh V
En este caso, (Mh ) corresponde al mtodo clsico de Ritz-Galerkin

Introduccin al Mtodo de los Elementos Finitos 7

 Discretizacin en el MEF (cont)
4. Caracterstica particular del MEF: funciones de Vh son funciones polinomiales por tramos

Veremos ms adelante que se pueden

hacer formulaciones variacionales ms
generales que el problema de
minimizacin; ej.: mtodos de Galerkin

Pasos para resolver por MEF:

1. Formulacin variacional del problema
2. Discretizacin por MEF: construccin del espacio dimensional finito Vh
3. Solucin del problema discreto
4. Implementacin del mtodo en computadora: programacin

Introduccin al Mtodo de los Elementos Finitos 8

 Comentarios
Existen distintas formulaciones variacionales dependiendo, por ejemplo, de
la eleccin de las variables independientes
La eleccin del subespacio de aproximacin de dimensin finita Vh , o sea la
eleccin del tipo de elemento finito, est influenciada por:
Formulacin variacional
Requerimientos de precisin
Propiedades de regularidad de la solucin exacta
...
Para resolver el problema discreto necesitamos algoritmos de optimizacin
y/o algoritmos de solucin de grandes sistemas de ecs. algebraicas lineales o
no lineales

Introduccin al Mtodo de los Elementos Finitos 9

 Ventajas del MEF respecto de DF
Tratamiento de geometras complicadas
Condiciones de borde generales
Propiedades materiales no lineales o variables
La estructura clara del mtodo permite crear cdigos multipropsito
generales
Fundamentos tericos slidos
Confiabilidad
Posibilidad de estimacin de error

Introduccin al Mtodo de los Elementos Finitos 10

 1. Introduccin al MEF para problemas elpticos

Problemas elpticos modelo y solucin por MEF

Problema simple 1-D
Generalizacin a 2-D
Propiedades bsicas del mtodo

Introduccin al Mtodo de los Elementos Finitos 11

 (1.1) Formulacin variacional del problema 1-D
Sea el problema de valores de frontera:
u '' f ( x) , 0 x 1
(D)
u (0) u (1) 0
du
donde u ' ; f ( x) es una funcin continua dada.
dx
Integrando 2 veces, vemos que el problema tiene solucin nica u.

(D) puede describir cualquiera de los siguientes problemas de Mecnica del

continuo:

A. Barra elstica
B. Cuerda elstica
C. Conduccin del calor en una barra

Introduccin al Mtodo de los Elementos Finitos 12

 A) Barra elstica
Barra elstica sujeta en ambos extremos y sometida a carga axial de intensidad f(x)

Bajo hiptesis de pequeos desplazamientos y material elstico lineal:

Eu ' Ley de Hooke
' f Ec. de equilibrio
u (0) u (1) 0 Cond. de borde

donde E es el mdulo de elasticidad. Asumiendo E=1

u '' f ( x) , 0 x 1
(D)
u (0) u (1) 0

Introduccin al Mtodo de los Elementos Finitos 13

 B) Cuerda elstica
Cuerda elstica sujeta en ambos extremos, con tensin unitaria y sometida a carga
transversal de intensidad f(x)

Bajo hiptesis de pequeos desplazamientos y material elstico lineal:

u '' f ( x) , 0 x 1
(D)
u (0) u (1) 0

Introduccin al Mtodo de los Elementos Finitos 14

 C) Conduccin de calor en una barra
Barra sometida a fuente de calor distribuida f(x), con temperatura nula en ambos
extremos.

Bajo condiciones estacionarias y material lineal:

q ku ' Ley de Fourier
q ' f Ec de equilibrio
u (0) u (1) 0 Cond de borde
donde k es el conductividad. Asumiendo k=1

u '' f ( x) , 0 x 1
(D)
u (0) u (1) 0

Introduccin al Mtodo de los Elementos Finitos 15

 Problemas de minimizacin y variacional
Veremos que la solucin al problema (D) es tambin solucin del problema de
minimizacin (M) y de un problema variacional (V)

Para formular (M) y (V) introducimos nueva notacin.

1. Producto interno (v,w): 1

(v, w) v( x) w( x) dx
0
para funciones reales acotadas continuas por tramos v, w.
2. Espacio lineal V: V v / v funcion continua sobre 0,1 ,
v ' es continua p/tramos y acotada en 0,1 ,
v(0) v(1) 0
3. Funcional lineal F :V
1
F (v) (v ', v ') ( f , v)
2
Introduccin al Mtodo de los Elementos Finitos 16
 Problemas de minimizacin y variacional (cont)
Problema (M):
(M) Hallar u V / F (u ) F (v) v V
Problema (V):
(V) Hallar u V / (u ', v ') ( f , v) v V

Nota: en el contexto de los problemas (A) y (B)

F (v ) es la energa potencial total asociada al desplazamiento v
1
(v ', v ') es la energa elstica interna
2
( f , v) es el potencial de cargas

Problema (M): principio de mnima energa potencial en Mecnica

Problema (V): principio de trabajos virtuales en Mecnica

Veremos la equivalencia de los problemas (D), (V) y (M)

Introduccin al Mtodo de los Elementos Finitos 17

 La solucin de (D) es solucin de (V)
1. Multiplicamos u '' f por una funcin arbitraria v V (func. de test).
Integramos sobre (0,1):
(u '', v) ( f , v)

2. Integramos por partes el lado izquierdo, y usamos v(0)=v(1)=0:

(u '', v) u '(1)v(1) u '(0)v(0) (u ', v ') (u ', v ')

3. Al ser v arbitraria:
(u ', v ') ( f , v) v V (1.1)

o sea, u es solucin de (V)

Introduccin al Mtodo de los Elementos Finitos 18

 Los problemas (M) y (V) tienen la misma solucin
1. Sea u solucin de (V). Sea v V y w v u / v u w w V .
1
Luego: F (v) F (u w) u ' w ', u ' w ' ( f , u w)
2
1 1
u ', u ' ( f , u ) (u ', w ') ( f , w) w ', w ' F (u )
2 2
0 por (1.1)
F (u ) 0
o sea, u es solucin del problema (M).
Sea u solucin de (M). Luego v V y : F (u ) F (u v) (*)
Definiendo:
1 2
g ( ) F (u v) (u ', u ') (u ', v ') (v ', v ') ( f , u ) ( f , v)
2 2
Por (*) g ( ) tiene un mnimo en 0 . Luego :
g '(0) (u ', v ') ( f , v) 0
g ( ) min en 0
o sea, u es solucin del problema (V).

Introduccin al Mtodo de los Elementos Finitos 19

 La solucin de (V) es nica
1. Sean u1 , u2 soluciones de (V): u1 , u2 V y

(u '1 , v ') ( f , v) v V
(u '2 , v ') ( f , v) v V

2. Sustrayendo, y eligiendo v u1 u2 V 1
0
(u '1 u '2 )2 dx 0
lo cual muestra que:
u '1 ( x) u '2 ( x) (u1 u2 ) ' ( x) 0 x (0,1)

3. Usando la condicin de borde:

u1 (0) u2 (0) 0 u1 ( x) u2 ( x) x 0,1

o sea, la solucin a (V) es nica.

Introduccin al Mtodo de los Elementos Finitos 20

 Equivalencia de soluciones a (D), (V) y (M)
1. Hasta ahora hemos visto que si u es solucin a (D), luego es solucin a los
problemas equivalentes (V) y (M) :
( D) (V ) ( M )
Mostraremos que si u es solucin de (V), luego u satisface (D).
2. Sea
1 1
u V / u ' v ' dx
0 0
fv dx 0 v V
Asumimos
u '' existe y es continua. Integ.p/partes y usando v(0) v(1) 0
1 1
u '' v dx fv dx u ' v 0 0
1
0 0
1
(u '' f )v dx 0 v V
0
Como es continua, luego:
(u '' f )
(u '' f ) ( x) 0 0 x 1
o sea, u es solucin de (D).

Introduccin al Mtodo de los Elementos Finitos 21

 Equivalencia de soluciones (D), (V) y (M)
Resumiendo: Hemos demostrado que
1. La solucin de la ecuacin diferencial es solucin de un problema
variacional
2. La solucin del problema variacional es tambin solucin de un problema de
minimizacin y viceversa
3. La solucin del problema variacional es nica
4. Si se cumple un requisito de regularidad (u continua), la solucin del
problema variacional es tambin solucin de la ecuacin diferencial

Notar: Las soluciones a los problemas variacional y de minimizacin vistos hasta

ahora tienen dimensin infinita, no pueden hallarse en computadora.

Veremos ahora cmo el MEF construye aproximaciones de dimensin finita a las

soluciones de (V) y (M).

Introduccin al Mtodo de los Elementos Finitos 22

 (1.2) MEF p/problema modelo c/funciones lineales p/tramos
1. Construiremos un subespacio de dimensin finita Vh del espacio V ,
consistente en funciones lineales p/tramos.
2. Sea
0 x0 x1 xM xM 1 1
una particin del intervalo (0,1) en subintervalos I j ( x j 1 , x j ) de longitud
h j x j x j 1 , j 1, M 1
La cantidad h max h j es una medida de la densidad de la particin.

Introduccin al Mtodo de los Elementos Finitos 23

 Subespacio de funciones lineales por tramos
1. Sea Vh v / v es lineal en cada subintervalo I j
v es continua en el 0,1
v(0) v(1) 0
Ejemplo de v Vh

Notar que Vh V

2. Para describir v Vh elegimos los valores

j v( x j ) en los nodos x j , j 1, M

Introduccin al Mtodo de los Elementos Finitos 24

 Subespacio de funciones lineales por tramos
3. Definimos funciones de base j ( x) Vh , j 1, M
1 si i j
j ( xi ) ij i, j 1, M
0 si i j

j ( x) : funcin continua
lineal por tramos que verifica
la propiedad delta.

4. Toda funcin v Vh puede ser escrita en forma nica como combinacin

lineal de las funciones de base i ( x) :
M
v ( x ) i i ( x ) x 0,1 , i v( xi )
i 1

i i 1
M
Luego, Vh es un espacio vectorial lineal de dimensin M con base:

Introduccin al Mtodo de los Elementos Finitos 25

 MEF para problema modelo (D)
1. Formulacin como problema de minimizacin discreto:
(Mh ) Hallar uh Vh / F (uh ) F (v) v Vh (mtodo Ritz)

2. De la manera ya vista, es equivalente al problema variacional discreto:

(1.2) (Vh ) Hallar uh Vh / (uh ', v ') ( f , v) v Vh (mtodo Galerkin)

3. Notar, que si uh Vh satisface (1.2), luego en particular

(1.3) (uh ', j ') ( f , j ) j 1, M

(adems, si se cumple (1.3), luego vale (1.2) v Vh )

M
4. Siendo uh ( x) i i ( x) , i uh ( xi ) , escribimos (1.3) en la forma:
i 1

', ' f ,
M

i i j j j 1, ,M
i 1

Sistema de M ecuaciones algebraicas lineales con M incgnitas i

Introduccin al Mtodo de los Elementos Finitos 26
 Forma matricial
(1.5) A b
A : matriz de rigidez
(1 ', 1 ') (1 ', 2 ') (1 ', M ') 1 b1
( ', ') ( ', ') b b : vector de cargas
2 1 2 2 2 2

bi ( f , i )
(M ', 1 ') ( M ', M ') M bM

Los elementos aij i ', j ' pueden

calcularse fcilmente.
Notar:
', ' 0
i j si i k 1

Luego A es tridiagonal

Introduccin al Mtodo de los Elementos Finitos 27

 Sistema de ecuaciones
Entonces: xj 1 x j 1 1 1 1
a jj ( j ', j ') dx dx j 1, M
x j 1 h 2 x j h2 h j h j 1
j j 1

xj 1 1
a j ( j 1) ( j ', j 1 ') dx j 2, M
x j 1 h 2 hj
j

1. A es simtrica pues: ', '

i j j ', i '
M
2. A es definida positiva pues siendo v( x) i i ( x) luego:
i 1
M 0 casi siempre
i i j j
M M

', ' i i j j v ', v ' 0

', '
i , j 1 i 1 j 1 0 solo si v ' 0

Como v(0) 0 luego (v ', v ') 0 v 0 o sea: j 0 j 2, M

Entonces:
T A 0 M
, 0
A simtrica y definida positiva
Introduccin al Mtodo de los Elementos Finitos 28
 Propiedades sistema de ecuaciones (1.5)
1. A sim > 0 A es no singular y el sistema (1.5) tiene solucin nica
2. A es rala, o sea pocos elementos de A son distintos de cero.
Esto se debe a que j tiene soporte local ( j 0 en un intervalo pequeo,
interfiriendo con pocas funciones k ).
1
3. Si la particin es uniforme, h j h y logramos
M 1

2 1 0
1 2 1
1
A 1
h
2 1
0 1 2

Introduccin al Mtodo de los Elementos Finitos 29

 (1.3) Estimacin de error del MEF para problema modelo
u '' f ( x) , 0 x 1
Sean u solucion de (D)
u (0) u (1) 0
uh solucion de (Vh ) Hallar uh Vh / (uh ', v ') ( f , v) v Vh
Recordando que
(u ', v ') ( f , v) v V
y como Vh V
u u ', v ' 0
h v V Ecuacin del error

donde u uh es el error de la aproximacin

Veremos que en cierto modo, uh es la mejor aprox posible a la sol exacta u

w dx
1

w, w
1 1 2
Norma asociada al producto escalar ( , ): w 2
2
0

Desigualdad de Cauchy:
v, w v w

Introduccin al Mtodo de los Elementos Finitos 30

 Estimacin de error del MEF para problema modelo
Teo 1.1)
u uh ' u v ' v Vh

D) Sean v Vh arbitraria y w uh v Vh . Reemplazando v por w en la

ecuacin del error:
u uh ' u uh ', u uh ' u uh ', w ' u uh ', u uh w '
2

0 ecuacion del error

u uh ', u v ' u uh ' u v ' v V

Cauchy

Luego u uh ' u v ' v Vh

Para lograr una estimacin cuantitativa del error, usamos una uh Vh elegida
convenientemente. Por el resultado anterior:
u uh ' u uh '

Introduccin al Mtodo de los Elementos Finitos 31

 Estimacin del error
Haremos uh Vh interpolante de u , o sea:

uh ( x j ) u ( x j ) j 0, M 1
En Anlisis Numrico, se ve que:
h2
u( x) uh ( x) h max u( y) u ( x ) uh ( x ) max 0 y 1 u ( y)
0 y 1 8
Luego, por el teorema y (1.12):
u uh h max u( y)
0 y 1

Mediante anlisis detallado, se puede mostrar :

u uh o h2
Notar:
No necesitamos construir explcitamente u , sino slo la estimacin de error
h
del interpolante.
u es una deformacin o tensin, y tiene inters prctico la estimacin de su
error
Introduccin al Mtodo de los Elementos Finitos 32
 (1.4) MEF para la ecuacin de Poisson
Sea el problema: u f en
(D)
u 0 sobre
con
2u 2u
u 2 2
x1 x2

Puede corresponder a muchos problemas fsicos: conduccin de calor, potencial

electromagntico, desplazamiento de una membrana fija en la frontera, etc.

div A dx A n ds
Teorema de la divergencia:

con: A1 A1 A2 n1
A div A n
A2 x1 x2 n2

v w dx v w n ds v w dx
Frmula de Green:

Introduccin al Mtodo de los Elementos Finitos 33

 Formulacin variacional
1. Si u satisface (D), luego es solucin de:
(V) Hallar u V / a(u, v) ( f , v) v V
con
a(u, v) u v dx (forma bilineal) ( f , v) f v dx

v v
V v : (i) v es continua en ; (ii) , continuas a trozos en ;
x1 x2
(iii) v 0 sobre
D) Multiplicamos (D) por una v Vh arbitraria e integramos
( f , v) v u dx v u n ds u v dx a (u , v)

0 ( v 0 en ) a ( u ,v )
2. Como en el caso 1-D, si u suficientemente regular :
( D) (V ) ( M )
con
(M) Hallar u V / F (u ) F (v) v V
Energa potencial total:
1
F (v ) a (v, v ) ( f , v )
2
Introduccin al Mtodo de los Elementos Finitos 34
 Subespacio de funciones lineales por tramos
1. Construiremos un subespacio de dimensin finita Vh V consistente en
funciones lineales p/tramos.
2. Asumimos poligonal. Sea una triangulacin de : Th K1 , K 2 , K m con
tringulos no superpuestos K i / K K K K
1 2 m
KTh
K
K Th

y de forma que no haya ningn vrtice de algn tringulo ubicado sobre el

lado de otro.

El parmetro de malla h max diam( K ) mide la densidad de triangulacin.

KTh

Introduccin al Mtodo de los Elementos Finitos 35

 Subespacio de funciones lineales por tramos (cont)
3. Definimos
Vh v : (i) v es continua en ; (ii) v K es lineal para K Th ;
(iii) v 0 sobre
Notar Vh V
4. Parmetros p/def. v Vh : valores v( Ni ) de v en los nodos Ni i 1, M de Th
Excluimos los nodos de frontera pues v 0 sobre .
5. Def. funciones de base : j (x) Vh /

1 si i j
j ( Ni ) ij i, j 1, M
0 si i j

Soporte de j (x) x / x Th con nodo N j

Introduccin al Mtodo de los Elementos Finitos 36

 Subespacio de funciones lineales por tramos (cont)
6. Toda funcin v Vh tiene luego la representacin:
M
v ( x ) i i ( x ) x , i v ( N i )
i 1

7. Formulamos luego el siguiente MEF p/el problema de Poisson (D):

(Vh ) Hallar uh Vh / a(uh , v) ( f , v) v Vh

8. De manera similar al caso 1-D, este problema es equivalente a resolver el

sistema de ecuaciones:
A b
donde ahora: a a , dx
ij i j i j
bi ( f ,i ) f i dx

i uh ( N i )
9. Nuevamente A es simtrica, definida positiva y no singular, con lo cual el
sistema de ecuaciones tiene solucin nica. Adems, A es rala pues:
aij 0 si Ni , N j al mismo tringulo
Introduccin al Mtodo de los Elementos Finitos 37
 Nocin de mejor aproximacin
1. uh Vh es la mejor aproximacin a la solucin u en el sentido:
u uh u v v Vh

a v, v
1 2
v d x
2
2
con v
2. En particular, si encontramos uh Vh tal que
u uh u uh
podremos probar convergencia. Ejemplo, usando el interpolante
uh ( N j ) u ( N j ) j 1, M
tendremos: u uh Ch con C>0 cte independiente de h, que depende de:
tamao derivadas segundas de u
menor ngulo de los tringulos K Th

u uh
3. Puede mostrarse luego: 1
u uh Ch 2
2 2
dx

4. As, si u es sufic. regular, el error y su gradiente tienden a cero con h 0

Introduccin al Mtodo de los Elementos Finitos 38
 Clculo matriz rigidez
1. Los elementos aij a i , j son calculadas por suma de contribuciones de
los distintos tringulos:
a i , j i j dx i j dx a ,
K i j
K
K Th K Th
Notar que
a K i , j 0 slo si Ni , N j K

2. Sean N i , N j y N k los nodos del tringulo K. Luego, la matriz de rigidez del

a K i , j
elemento K: a K i , i a K i , k

AK a K j , j a K j , k

sim. a K k , k

3. La matriz de rigidez global A es armada luego en 2 etapas:
1. Clculo de las matrices de rigidez elementales
2. Sumatoria de las contribuciones de cada elemento (ensamble)
El vector de cargas b es armado de la misma manera.
Introduccin al Mtodo de los Elementos Finitos 39
 Clculo matriz rigidez elemental
1. Trabajamos con las restricciones de las funciones de base al tringulo K:

i i K

2. i es una funcin lineal /

1 en el nodo i
i i ( x), j ( x), k ( x) base de fcs lineales en K
0 en los nodos j , k
3. Si w( x ) es una funcin lineal en K, tiene luego la representacin:
w( x) w( N i ) i ( x) w( N j ) j ( x) w( N k ) k ( x)
4. La matriz de rigidez elemental:
a i , i a i , j a i , k

AK a j , j a j , k

sim. a k , k

Introduccin al Mtodo de los Elementos Finitos 40
 Ejemplo
i ( x, y) i i x i y
i , i , i / i ( xi , yi ) 1 1 xi yi i 1
1 x
i (x j , y j ) 0 j y j i 0
i ( xk , yk ) 0 1 xk yk i 0
Resolviendo:
x j yk xk y j
i 1 xi yi
2 det 1 x j
1
y j (rea tringulo)
y j yk xk x j 2
i ; i 1 xk yk
2 2
Luego: i i
x x i i
a i , i i i dx dx dx i2 i2
K
K K
i i i i
y y

a i , j i j dx i j i j
K

Introduccin al Mtodo de los Elementos Finitos 41

 Ejemplo
Matriz de rigidez elemental:
i2 i2 i j i k i k

i j

AK

2
j 2
j j k j k
sim.
k2 k2
Ilustraremos el proceso de ensamble para el caso siguiente:

Elemento 1) i=1; j=2; k=3

11 0 21 0 31 0
1 1
11 21 31 0
h h
1 1
Sustituyendo: 11 21 0 31
h h

2 1 1 1

A11 1 1 0 2
1
2
1 0 1 3

Introduccin al Mtodo de los Elementos Finitos 42

 Ejemplo
Por similaridad:

2 1 1 4 2 1 1 5

A3 3 1 1 0 1
A5 5 1 1 0 7
1 1
2
1 0 1 6
2
1 0 1 1

Elemento 2) i=3; j=6; k=1 32 0 62 0 12 0

1 1
32 62 12 0
h h
1 1
32 62 0 12
h h
Luego:

2 1 1 3 2 1 1 1 2 1 1 2

A 2 2 1 1 0 6 A 4 4 1 1 0 4 A6 6 1 1 0 1
1 1 1
2 2
1 0 1 1 1 0 1 5
2
1 0 1 7

Introduccin al Mtodo de los Elementos Finitos 43

 Ensamble primer elemento
2 1 1 1

A11 1 1 0 2
1
2
1 0 1 3

2 1 1 1

1 1 0 2
1 0 1 3
1
A 4
2
5
6

7

Introduccin al Mtodo de los Elementos Finitos 44

 Ensamble segundo elemento
2 1 1 3

A 2 2 1 1 0 6
1
2
1 0 1 1

2 1 1 1 1 0 1

1 1 0 2
1 1 0 1 2 1 3
1
A 4
2
5
0 1 1 6

7

Introduccin al Mtodo de los Elementos Finitos 45

 Ensamble tercer elemento
2 1 1 4

A3 3 1 1 0 1
1
2
1 0 1 6

2 11 1 1 1 1 00 1

1 1 0 2
1 1 0 1 2 1 3
1
A 1 2 1 4
2
5
00 1 1 11 6

7

Introduccin al Mtodo de los Elementos Finitos 46

 Ensamble cuarto elemento
2 1 1 1

A 4 4 1 1 0 4
1
2
1 0 1 5

2 11 2 1 1 1 1 1 1 00 1

1 1 0 2
1 1 0 1 2 1 3
1
A 1 1 2 1 0 1 4
2
1 0 1
5
00 1 1 11 6

7

Introduccin al Mtodo de los Elementos Finitos 47

 Ensamble quinto elemento
2 1 1 5

A5 5 1 1 0 7
1
2
1 0 1 1

2 11 2 1 1 1 1 1 1 1 1 0 0 0 1

1 1 0 2
1 1 0 1 2 1 3
1
A 1 1 2 1 0 1 4
2
1 1 0 1 2 1 5

00 1 1 11 6

0 1 1 7

Introduccin al Mtodo de los Elementos Finitos 48

 Ensamble sexto elemento
2 1 1 2

A6 6 1 1 0 1
1
2
1 0 1 7

2 11 2 11 1 1 1 1 1 1 1 1 0 0 00 1

1 1 1 2 0 1
2
1 1 0 1 2 1 3
1
A 1 1 2 1 0 1 4
2
1 1 0 1 2 1
5
00 1 1 11 6
00 1 1 1 1
7

Introduccin al Mtodo de los Elementos Finitos 49

 Sistema de ecuaciones global
4 1 1 1 1 0 0 1 b1
b
1 1.5 0 0 0 0 0.5 2 2
1 0 1.5 0 0 0.5 0 3 b3

1 0 0 1.5 0 0.5 0 4 b4
1 0 0 0 1.5 0 0.5 5 b5
A
0 0 0.5 0.5 0 0.5 0 6 b6
0 0.5 0 0 0.5 0 0.5 7 b7

Notar que la ecuacin 1 est completa (no hay ms elementos que contribuyan all) :
41 2 3 4 5 b1
Puede mostrarse, de manera similar, que:
h2 1
b1 f f 2 f 3 f 4 f 5 f 6 con: f i 1i f dx
6 i

La ecuacin es idntica a la que se obtiene por diferencias finitas. El trmino a derecha cambia.

Introduccin al Mtodo de los Elementos Finitos 50

 Espacios de Hilbert
1. En formulaciones variacionales para solucin de BVP, trabajaremos con
espacios V ms grandes que los vistos hasta ahora.

2. Sucesin de Cauchy: sucesin v1 , v2 , , vn V que verifica

0, N / vi v j si i, j N

La sucesin de Cauchy es convergente si v vi 0 cuando i

3. Espacio de Hilbert: Es un espacio lineal V, equipado de producto escalar y

norma asociada, completo (o sea que las sucesiones de Cauchy convergen
respecto de la norma del espacio).

Introduccin al Mtodo de los Elementos Finitos 51

 Espacios de Hilbert: ejemplos 1D
Espacio L2(I) de funciones de cuadrado integrable en I=(a,b)

L2 (I) v : v est definida en I y v2 dx
I

dotado del producto interno: (v, w) vwdx
I

v dx
1

(v, v)
2 1
2
y la norma: v L2 (I)
2

La desigualdad de Cauchy: (v, w) v L 2 (I)

w L 2 (I)

1
Ejemplo: v( x) x , x I (0,1), v L 2 (I) si <

Introduccin al Mtodo de los Elementos Finitos 52

 Espacios de Hilbert: ejemplos 1D (cont.)
Espacio H1(I) en I=(a,b): H1 (I) v : v, v L2 (I)

dotado del producto interno: (v, w) 1 vw vw dx

H (I) I

v v dx
1 1

(v, v) H1 (I)
2
2 2 2
y la norma: v H1 (I)
I

Espacio H10 (I) en I=(a,b): H10 (I) v : v H1 (I) y v(a) v(b) 0

u '' f ( x), xI
Dado el problema modelo: ( D)
u (a) u (b) 0
luego: (V) Hallar u H10 (I) / u, v f , v v H10 (I)

Notas:
H10 (I) es ms grande que el espacio V de funciones lineales a trozos que
venamos usando.
En MEF, la norma del error es simplemente la norma en H1(I).

Introduccin al Mtodo de los Elementos Finitos 53

 Espacios de Hilbert en d, d=2,3

L2 () v : v est definida en y v dx
2

Producto escalar: (v, w) vwdx

v dx
1

v
2
Norma: 2

v
H () v : v L2 (), L2 (), i 1,
1
,d
xi
Producto escalar: (v, w)H1 ( ) vw v w dx

v v v dx (v, v)H1 ( )
1 1
2
Norma: v 2 2

H1 ( )
H10 () v : v H1 (), v 0

Introduccin al Mtodo de los Elementos Finitos 54

 Espacios de Hilbert en d, d=2,3 (cont)
Dado el problema modelo (ec. de Poisson + CB homogneas)
u f en
( D)
u0 sobre
luego: (V ) Hallar u H10 () /
u v dx fv dx

v H10 ()

a(u, v) ( f , v)
o, equivalentemente:
1 1
(M ) Hallar u H10 () / a(u, u ) ( f , u ) a(v, v) ( f , v) v H10 ()
2 2
F(u ) F (v )
Nota: (V) se dice la formulacin dbil de (D), y la solucin de (V) es la
solucin dbil de (D). sta no es necesariamente una solucin clsica de (D).
Para que lo sea, u debe ser suficientemente regular de modo que u est
definida en el sentido clsico.

Introduccin al Mtodo de los Elementos Finitos 55

 Interpretacin geomtrica del MEF
Consideremos el BVP de difusin-reaccin con CB homogneas:
u u f en
(D)
u0 sobre
luego: (V ) Hallar u H10 () / u v dx uv dx fv dx v H10 ()

Producto interno en H10 () u, v ( f , v)

Sea Vh un subespacio de dimensin finita de H10 () , ej. el espacio de funciones
lineales a trozos. El MEF aplicado al problema de difusin-reaccin da:
(Vh ) Hallar uh Vh / uh , v ( f , v) v Vh u

Tomando v Vh H10 () en (V), (V)(Vh) resulta:

Vh
u uh , v 0 v Vh uh

La solucin MEF uh es la proyeccin con resp a , de

la solucin exacta u sobre Vh, o sea que uh es el
elemento de Vh ms prximo u con resp a ||.|| H1 ( ), i.e.: u uh H10 ( )
u v H10 ( )
v Vh
0

Introduccin al Mtodo de los Elementos Finitos 56

 CB naturales y esenciales
Consideremos el BVP de difusin-reaccin con CB tipo Neumann:
u u f en

( D) u
g sobre
n
luego: (V ) Hallar u H1 () /

u v uv dx fv dx gv dx v H1 ()
u, v ( f , v ) ( g , v)
o: (M ) Hallar u H1 () / F(u) F(v) v H1 ()
con F(u ) 1 a(u, u ) ( f , u ) ( g , u )
2
La CB Neumann, que no tiene que ser impuesta explcitamente sobre u, se
denomina CB natural.
La CB Dirichlet u=u0 sobre , que debe ser satisfecha explcitamente por u, se
conoce como CB esencial.
Introduccin al Mtodo de los Elementos Finitos 57
 Problema continuo en forma abstracta
Objetivos:
Dar un tratamiento unificado a muchos problemas de la Mecnica y la Fsica,
a fin de no repetir el mismo argumento en distintos casos concretos.
Entender la estructura bsica del MEF.

Hiptesis: sea V un espacio de Hilbert con producto escalar (.,.)V y norma ||.||V,
a(.,.) es una forma bilineal en VV, y L(.) una forma lineal en V, tales que
1. a(.,.) es simtrica, i.e., a(u, v) a(v, u ) u, v V
2. a(.,.) es continua, i.e., 0 / a(u, v) u V
v V
u, v V
3. a(.,.) es V-elptica o coerciva, i.e., 0 / a(v, v) v v V
2
V

4. L(.) es continua, i.e., 0 / L(v) v V

v V

Introduccin al Mtodo de los Elementos Finitos 58

Formulacin abstracta del MEF para problemas elpticos (cont)

1
(M ) Hallar u V / F(u )= min F(v), con F(v)= a(v, v) L(v)
vV 2
(V ) Hallar u V / a(u, v) L(v), v V

Teorema: (M) y (V) son equivalentes, i.e., u satisface (M) si y slo

si u satisface (V). Adems, uV, y sta verifica u V / .

Introduccin al Mtodo de los Elementos Finitos 59

 Formulacin abstracta del MEF para problemas elpticos (cont)
Demo.: sea vV y arbitrarios. Luego, v+uV, as que
F(u ) F(u v),
g(0) g( ) g tiene un mnimo en =0
1
Siendo g( ) a(u v, u v) L(u v)
2
1 2
a(u, u ) a(u, v) a(v, u ) a(v, v) L(u ) L(v)
2 2 2 2
1 2
a(u, u ) L(u ) a(u, v) L(v) a(v, v)
2 2
luego g( ) a(u, v) L(v) a(v, v)
Como g tiene un mnimo en 0, debe cumplirse
g(0) a(u, v) L(v) 0 (V ) (QED)

Introduccin al Mtodo de los Elementos Finitos 60

 Estimacin del error de discretizacin
Sea Vh un subespacio de V, con dimensin finita M, y sea {1, 2,, M}
una base para Vh, de modo que toda vVh puede representarse
M
v = ii , i
i =1

Usando Vh, obtenemos los problemas discretos anlogos a (M) y (V):

(M h ) Hallar uh Vh / F(uh ) F(v), v Vh
(Vh ) Hallar uh Vh / a(uh , v) L(v), v Vh

Como j Vh a(uh , j ) L( j ), j 1, 2, ,M
M M
Como uh Vh uh = i i , i a(i , j )i L( j ), j 1, 2, ,M
i =1 i 1
Forma matricial de (Vh): A b con Aij a(i , j ), b j L( j ).

Introduccin al Mtodo de los Elementos Finitos 61

 Estimacin del error de discretizacin (cont)
Dado que a(.,.) es simtrica: a(i , j ) a( j , i ) Aij Aji
la matriz A es simtrica
Dado que a(.,.) es V-elptica:
M M M M
a(v, v) a(
i i , j j ) i a(i , j ) j A v 0 si v 0 ( 0)
2
V
i 1 j 1 i 1 j 1

la matriz A es positiva definida

la matriz A es no singular
! / A = b !uh Vh solucin de (Vh )

Introduccin al Mtodo de los Elementos Finitos 62

 Estimacin del error de discretizacin (cont)
Teorema: Sea uV la solucin de (V) y uhVhV. Entonces:

u uh u v v Vh
V
V

Demo.:
1. u solucin de (V ) a(u, w) L(w), w Vh V
2. uh solucin de (Vh ) a(uh , w) L(w), w Vh
3. Restando: a(u uh , w) 0, w Vh
4. Sea w=uh v, con v Vh arbitrario.
5. Operando: u uh V a(u uh , u uh )
2

a(u uh , u uh ) a(u uh , w)
a(u uh , u uh w)
a(u uh , u v)
u uh V
u v V
(QED)

Introduccin al Mtodo de los Elementos Finitos 63

 Norma de energa
Considerando
1. a(.,.) es continua, i.e., 0 / a(u, v) u v u, v V
V V
2. a(.,.) es V-elptica o coerciva, i.e., 0 / a(v, v) v v V
2
V

podemos definir una nueva norma llamada norma de energa:

v a a(v, v) , v V
1
2

Esta norma es equiv a ||.||V, i.e., constantes positivas c , C , tal que

cv V
v a C v V
v V
El producto escalar asociado a ||.||a es (u, v)a a(u, v).

La ec de error resulta (u uh , v)a 0 v Vh

de donde u uh a
u v a v Vh

Medida en la norma de energa, uh es la mejor aproximacin a u.

Introduccin al Mtodo de los Elementos Finitos 64

 Ejemplos concretos
Ejemplo 1: sea V=H (),
1 2
.
a(v, w)= vw v w dx

L(v)= fv dx, f L 2 ( )

En este caso, a(v, w)=L(v), v H1 () es la forma dbil del problema de Neumann

u
( D) u u f en , 0 sobre
n
Se verifica
a(v, w)=a(w, v) a(.,.) es una forma bilineal simtrica
a(.,.) es V-elptica con =1
2
a(v, v)= v H1 ( )

a(v, w) a(v, v) 2 a(w, w) 2 v

1 1

H1 ( )
w H1 ( )
a(.,.) es continua con =1
L(v) fv dx f L2 ( )
v L2 ( ) L(.) es continua con f L2 ( )

Luego: u H1 ( )
f L2 ( )

u uh H ()
1 u v H ()
1 v H1 ()
Introduccin al Mtodo de los Elementos Finitos 65
 Ejemplos concretos (cont)
Ejemplo 2: sea V=H0 (I), I (0,1), a(v, w)= I vwdx, L(v)= I fv dx.
1

En este caso, a(v, w)=L(v), v H10 (I) es la forma dbil del problema
( D) u f en I, u (a) u (b) 0
Se verifica
a(v, w)=a(w, v) a(.,.) es una forma bilineal simtrica
a(v, w) v L2 (I) w L2 (I) v H1 (I) w H1 (I) a(.,.) es continua con =1

I
1
2 I

v dx v 2 dx v dx
2
I
2

a(.,.) es V-elptica con =1/2
1
x x 1
1
2
Demo.: v H 0 (I) v( x)= v( y ) dy v( x) v dy v dy v dy
0 0 0
1 2

0
1
1 1 1 1 1
v 2 dx v dx v dx v 2 dx v dx
2 2 2

0 0 0
20 0
L(v) fv dx f L (I) v L (I) L(.) es continua con f
I 2 2 L (I) 2

Luego: u uh H1 (I)
2 u v H1 (I)
v H (I)
1
0

u H1 (I)
f L 2 (I)

Introduccin al Mtodo de los Elementos Finitos 66

 Ejemplos concretos (cont)
Ejemplo 3: sea V=H10 (), 2 , a(v, w)= v wdx, L(v)= fv dx.

En este caso, a(v, w)=L(v), v H 0 () es la forma dbil del problema de Poisson
1

( D) u f en , u 0 sobre
Se verifica
a(v, w)=a(w, v) a(.,.) es una forma bilineal simtrica
a(v, w) v L ( ) v L ( ) v H1 ( ) w H1 ( ) a(.,.) es continua con =1
2 2

a(v, v) v v 2 v v dx
2
H ()
1

a(.,.) es V-elptica con =1/(C+1), C tal que

v2 dx C v v dx

L(v) fv dx f L2 ( )
v L2 ( )
L(.) es continua con f
L2 ( )

Luego: u uh H ()
1 C 1 u v H ()
1 v H10 ()

u H1 ( )
C 1 f L2 ( )

Introduccin al Mtodo de los Elementos Finitos 67

 Ejemplos concretos (cont)
d 4u
Ejemplo 4: ( D) 4
f en I=(0,1), u (0) u(0) u (1) u(1)
dx
Definimos los espacios H2 (I)= v : v, v, v L2 (I)
H 02 (I)= v : v H 2 (I), v(0) v(0) v(1) v(1) 0

v v v dx
1
2 2 2
2
con norma v H 2 (I)
=
I

La forma dbil del problema (D) consiste en hallar u V=H 02 (I) tal que
uvdx = fv dx
I I
v H 02 (I)

a(u, v) L(v)
a(.,.) es una forma bilineal y simtrica
a(v, w) v L2 (I) w L2 (I) v H 2 (I)
w H2 (I) a(.,.) es continua con =1
a(v, v) v I dx a(.,.) es V-elptica con =1/3

2 2 2 2
H1 (I)
v v v
L(.) es continua con f L (I)
2

Luego: u 2
H (I)
3 f L 2 (I)
u uh 2
H (I)
3 u v 2
H (I)
v H 02 (I)
Introduccin al Mtodo de los Elementos Finitos 68
 Ejemplos concretos (cont)
Ejemplo 5: Consideremos el problema bi-armnico:
u
( D) 2u f en , u 0 sobre
n
v v 2
v 2
v 2
v
Definimos los espacios H ()= v : v, , ,
2
, , L ( )

2 2 2
x y x y x y
v
H 02 ()= v : v H 2 (), v 0 sobre
n


v
2
v
2
2
v
2
2
v
2
2
v
2

con norma v H2 ( ) = v 2 2
2
dx



x y x y x y

La forma dbil del problema (D) se obtiene haciendo
0 0

v
(V ) fv dx 2u v dx u v dx
u v ds u v dx n ds
u
n
=L( v ) =a ( u , v )

Se puede demostrar que a(.,.) es una forma bilineal, simtrica, continua y V-elptica,
as como L(.) es una forma lineal continua.
Introduccin al Mtodo de los Elementos Finitos 69
 Ejemplos concretos (cont)
Ejemplo 6: Consideremos el problema estacionario de conveccin-difusin:
( D) mu u f en , m
, 2
, u 0 sobre
Supongamos ||||/m moderado.
La forma dbil del problema (D) se obtiene haciendo 0

u
(V ) fv dx mu u v dx mu v u v dx m v ds
n
=L( v ) =a ( u , v )

L(.) es una forma lineal continua.

a(.,.) es una forma bilineal, continua y V-elptica, pero no simtrica.

Teorema: si L(.) es una forma lineal continua, y a(.,.) es una forma bilineal,
continua y V-elptica, pero no simtrica, se puede demostrar que hay solucin
nica a (V), y est acotada. Sin embargo, en este caso no existe problema de
minimizacin asociado a (V).

Introduccin al Mtodo de los Elementos Finitos 70

 Ejemplos concretos (cont)
Ejemplo 7: Consideremos el problema estacionario de conduccin de calor en 3
ku f en , kij
Ecuacin del calor

( D) u =0 en 1 CB Dirichlet
ku n g en 2 CB Neumann

Definimos el espacio V v : v H (), v 0 sobre 1

1

La forma dbil del problema (D) se obtiene haciendo

(V ) fv dx ku v dx ku v dx ku n v dx ku v dx g v ds
2

ku v dx fv dx g v ds
2
a ( u ,v ) L( v )

L(.) es una forma lineal continua si f,gL2().

a(.,.) es una forma bilineal, simtrica, continua y V-elptica si
c, C / c kij (x) C x
Introduccin al Mtodo de los Elementos Finitos 71
 Algunos espacios de elementos finitos
Sea el dominio acotado representado
por la triangulacin (o malla) de

elementos finitos Th={K}.
K
En 1D, el elemento K es un intervalo.
En 2D, los elementos ms comunes

son tringulos o cuadrilteros.
En 3D, tetraedros o hexaedros.
Los espacios Vh ms comunes en elementos finitos consisten en funciones
polinmicas por tramos definidas sobre la malla Th.
La definicin de un espacio de elementos finitos Vh requiere especificar
La malla Th del dominio
La naturaleza de las funciones vVh sobre cada elemento K (ej., lineal,
cuadrtica, cbica, etc.)
Los parmetros usados para definir dichas funciones.

Introduccin al Mtodo de los Elementos Finitos 72

 Requisitos de regularidad
BVP de 2 orden Vh H ()
1

BVP de 4 orden Vh H 2 ()

Si los espacios consisten de funciones polinmicas, resulta

Vh H1 () Vh C0 () v : v es continua en
v
Vh H2 () Vh C1 () v : v, C1 (), i 1, ,d
xi

Introduccin al Mtodo de los Elementos Finitos 73

 Algunos ejemplos de elementos finitos en 2D
Sea el dominio 2 con frontera poligonal .
Sea Th={K} una triangulacin de en tringulos K.
Definimos los espacios K

Pr (K) v : v es un polinomio de grado r en K

x2 y

P1(K) es el espacio de funciones lineales en K:

x1x
v( x, y ) a00 a10 x a01 y, ( x, y ) K, aij
luego {1,x,y} es una base en P1(K) y dim P1(K)=3.
P2(K) es el espacio de funciones cuadrticas en K:
v( x, y) a00 a10 x a01 y a20 x2 a11xy a02 y 2 , ( x, y) K, aij
luego {1,x,y,x2,xy, y2} es una base en P2(K) y dim P2(K)=6.

En general: Pr (K) v : v( x, y) aij xi y j , ( x, y) K, aij
0 i j r
(r 1)(r 2)
dim Pr (K)
2
Introduccin al Mtodo de los Elementos Finitos 74
 Elemento finito triangular lineal
Sea el espacio de funciones lineales a trozos:

Vh v : v C0 () y v K P1 (K), K Th

Los parmetros necesarios para describir las funciones vVh se denominan

grados de libertad (gdl) globales, y se eligen coincidentes con los valores de v
en los nodos de la triangulacin Th.
Si KTh es un tringulo lineal de vrtices (xi,yi), i=1,2,3, los gdl elementales
son los valores de v en los dichos vrtices.

Introduccin al Mtodo de los Elementos Finitos 75

 Elemento finito triangular lineal (cont)
Teorema: Sea KTh un tringulo de vrtices (xi,yi), i=1,2,3. Una funcin
vP1(K) est determinada de manera nica por los gdl elementales, i.e.,
dados los valores i,
!v P1 (K) / v( xi , yi ) i , i 1, 2,3
Demo.: v P1 (K) v( x, y) c1 c2 x c3 y, ( x, y) K, ci
v( x1 , y1 ) c1 c2 x1 c3 y1 1

Evaluando en los vrtices v( x2 , y2 ) c1 c2 x2 c3 y2 2 ec (3.7)
v( x , y ) c c x c y
3 3 1 2 3 3 3 3
3
1 x1 y1 a
Demo. 2: Notar que dim P1(K) = # gdl, i.e., # incgn = # ecs.
!solucin para i dados si det B= 1 x2 y2 0 1
Luego, det B0 implica que si vP1(K)1y v(x
x3 i,yiy)=0 para i=1,2,3, entonces K
3
debe ser v0.
det B= a b 2 area K 0 B es no singular !solucin b
Esto se puede probar sin necesidad de calcular det B, tarea que se complica a
medida que se usan polinomios de mayor orden. (QED)
2
Introduccin al Mtodo de los Elementos Finitos 76
 Determinacin de las funciones de base para el tringulo lineal
3
Toda funcin vP1(K) puede representarse v( x, y ) i ( x, y )v( xi , yi ), ( x, y ) K.
i 1
Las funciones de base i ( coord de rea del tringulo K) verifican
1 si i j
i ( x, y ) ai bi x ci y / i ( x j , y j ) ij i, j 1, 2,3. 3
0 si i j 1
1

1 ( x1 , y1 ) a1 b1x1 c1 y1 1 1

lo que da lugar al sist de ecs 1 ( x2 , y2 ) a1 b1x2 c1 y2 0
(x , y ) a b x c y 0 2
1 3 3 1 1 3 1 3 3
de donde
1 x1 y1 1 1 y1 1 x1 1
1 2
0 x2 y2 1 0 y2 1 x2 0
0 x3 y3 x2 y3 x3 y2 1 0 y3 y y2 1 x3 0 x x 1
a1 b1 3 c1 2 3
1 x1 y1 2 area K 1 x1 y1 2 area K 1 x1 y1 2 area K 2
1 x2 y2 1 x2 y2 1 x2 y2
3 1
1 x3 y3 1 x3 y3 1 x3 y3
3
x y x y y y x x
Anlogamente: a3 1 2 2 1 b2 1 3 c2 3 1
2 area K 2 area K 2 area K 1
x y x y y y x x
a2 3 1 1 3 b3 2 1 c3 1 2
2 area K 2 area K 2 area K
Introduccin al Mtodo de los Elementos Finitos 77 2
 Continuidad entre elementos triangulares lineales

Dado Vh v : v C () y v K P1 (K), K Th
0
ec (3.3)
Adoptando como gdl los nodos de la malla Th, podemos definir alternativamente

Vh v : v K P1 (K), K Th , y v es continua en los nodos ec (3.11)

Demo.: Para probar que (3.11)(3.4), es necesario probar que la funcin vVh
definida de acuerdo a (3.11) es continua no slo en los nodos sino tambin
a travs de las fronteras interelementales.
Sean K1 y K2 dos tringulos en Th que comparten el lado S y los nodos 1 y 2.
Sea vi v Ki P1 (K i ) la restriccin de v a Ki.
v1=v2 en los nodos 1 y 2, y v1,v2 lineales. v 1 v
v1=v2 a lo largo de todo el lado S
2

1
v es continua a travs de S K 2
K1 S

v C0 () (QED) 2

Introduccin al Mtodo de los Elementos Finitos 78

 Elemento finito triangular cuadrtico
Sea el espacio de funciones cuadrticas a trozos: 13
3

Vh v : v C0 () y v K P2 (K), K Th K
1 23

Sea KTh un tringulo de vrtices xi=(xi,yi), i=1,2,3,

12
y sea xij=(xi+ xj)/2 el punto medio del lado ij, i<j, i,j=1,2,3.
2

Teorema: toda funcin vP2(K) est nicamente determinada por los gdl
v( xi ), i 1, 2,3,
v( xij ), i j, i, j 1, 2,3.

Introduccin al Mtodo de los Elementos Finitos 79

 Elemento finito triangular cuadrtico (cont)
Demo.: como dim P2(K)= #gdl =6, es suficiente probar que si vP2(K) y
v(xi)=v(xij)=0 (con i<j, i,j=1,2,3), entonces debe ser v0.

1. A lo largo del lado 23, v vara cuadrticamente y v=0 en x2, x3 y x23.

Luego, v=0 x 23 , y v puede escribirse
v( x) 1 ( x) w1 ( x), x K, w1 P1 (K), 1 funcin de base en P1 (K).
2. dem a lo largo del lado 13, luego
v( x) 1 ( x)2 ( x)w0 , x K, w0 cte, 1 ,2 funciones de base en P1 (K).
3. Evaluando en x12
11
v( x12 ) 1 ( x12 )2 ( x12 ) w0 w0 0 w0 0 v 0 (QED)
22

Introduccin al Mtodo de los Elementos Finitos 80

 Elemento finito triangular cuadrtico (cont)
3
613
Toda funcin vP2(K) puede expresarse
3 3 6 K
v i 2i 1 v( xi ) 4i j v( xij ) i v( xi ) 1 523
i 1 i , j 1,i j i 1
412
Con las funciones de base en P2(K) dadas por 2
1 1 21 1
2 2 22 1 funciones asociadas a
los nodos en vrtices
3 3 23 1
4 412
5 423 funciones asociadas a los nodos
en el medio de los lados
6 413

Es fcil verificar que i, i=1,,6, conforman una base en P2(K)

y adems i(xj)=ij.

Introduccin al Mtodo de los Elementos Finitos 81

 Continuidad entre elementos triangulares cuadrticos

Dado Vh v : v C0 () y v K P2 (K), K Th ec (a )
o, alternativamente,
Vh v : v K P2 (K), K Th , y v es continua en los nodos ec (b)
Demo.: Para probar que (a)(b), es necesario probar que la funcin vVh
definida de acuerdo a (b) es continua no slo en los nodos sino tambin a
travs de las fronteras interelementales.
Sean K1 y K2 dos tringulos en Th que comparten el lado S, con nodos 1, 2 y 4.
Sea vi v K P2 (K i ) la restriccin de v a Ki.
i

v1=v2 en los nodos 1, 2 y 4, y v1,v2 cuadrticas.

v1=v2 a lo largo de todo el lado S
v es continua a travs de S v1
2
4

v C ()
0
(QED) 1 v2
S

Introduccin al Mtodo de los Elementos Finitos 82

 Elemento finito triangular cbico
331 3
Sea el espacio de funciones cbicas a trozos: 113

Vh v : v C0 () y v K P3 (K), K Th K 123 332

1
112 223
Sea KTh un tringulo de vrtices xi=(xi,yi), i=1,2,3, y
221
2 1 2
xiij xi x j , i, j 1, 2,3, i j
3 3
1
x123 x1 x2 x3
3
Teorema: toda funcin vP3(K) est nicamente determinada por los gdl
v( xi ), i 1, 2,3
v( xiij ), i, j 1, 2,3, i j
v( x123 )

Introduccin al Mtodo de los Elementos Finitos 83

 Elemento finito triangular cbico (cont)
Demo.: como dim P3(K)= #gdl =10, es suficiente probar que si vP3(K) y
v(xi)=v(xiij)=v(x123)=0 (con i,j=1,2,3, ij), entonces debe ser v0.

1. v tiene variacin cbica a lo largo de los lados 12, 23 y 13, y v=0 en

cuatro puntos de cada lado, luego v=0 en los tres lados y puede
escribirse
v( x) 1 ( x)2 ( x)3 ( x) w0 , x K, w0 cte, 1 ,2 ,3 bases en P1 (K).
2. Evaluando en x123
1 11
v( x123 ) 1 ( x123 )2 ( x123 )3 ( x123 ) w0 w0 0 w0 0 v 0
3 33
(QED)

Introduccin al Mtodo de los Elementos Finitos 84

Funciones de base para elemento finito triangular cbico
8331 3
9113
7332
K
1 10123
4112 6223

5221
10 27123
2

9
1
1 31 1 31 2 1 4 12 31 1
2 2

Introduccin al Mtodo de los Elementos Finitos 85

 Continuidad entre elementos triangulares cbicos

Dado Vh v : v C0 () y v K P3 (K), K Th ec (a )
Adoptando como gdl los nodos de la malla Th, podemos definir alternativamente
Vh v : v K P3 (K), K Th , y v es continua en los nodos ec (b)

Demo.: Para probar que (a)(b), es necesario probar que la funcin vVh
definida de acuerdo a (b) es continua no slo en los nodos sino tambin a
travs de las fronteras interelementales.
Sean K1 y K2 dos tringulos en Th que comparten el lado S, de nodos extremos
1 y 2, y nodos intermedios 4 y 5.
Sea vi v Ki P3 (K i ) la restriccin de v a Ki.
v1=v2 en los nodos 1, 2, 4 y 5, y v1,v2 cbicas. v1
v1=v2 a lo largo de todo el lado S 5 2
4
v es continua a travs de S 1 v2
v C ()
0
(QED) S
Introduccin al Mtodo de los Elementos Finitos 86
 Elemento finito triangular cbico con gdl en derivadas
Sea el espacio de funciones cbicas a trozos:
Vh v : v K P3 (K), K Th 3

K 123
Sea KTh un tringulo de vrtices xi=(xi,yi),
1
i=1,2,3, y centro de gravedad x123.

Teorema: toda funcin vP3(K) est nicamente determinada por los gdl
v( xi ), i 1, 2,3
v v
( xi ), ( xi ), i 1, 2,3
x y
v( x123 )

Introduccin al Mtodo de los Elementos Finitos 87

 Elemento finito triangular cbico con gdl en derivadas (cont)
Demo.: como dim P3(K)= #gdl =10, es suficiente probar que si vP3(K) y
v v
v( xi ) ( xi ) ( xi ) v( x123 ) 0, i 1, 2,3
x y
entonces debe ser v0.
v( x) 1 ( x)2 ( x)3 ( x) w0 , x K, w0 cte, 1 ,2 ,3 bases en P1 (K).

1. la funcin v tiene variacin cbica a lo largo del lado 12, y se anula as

como su derivada en dos puntos del lado, luego v=0 en todos los puntos
del lado 12.
2. Razonando anlogamente con los lados 23 y 13, llegamos a
v( x) 1 ( x)2 ( x)3 ( x) w0 , x K, w0 cte, 1 ,2 ,3 bases en P1 (K).
3. Evaluando en x123
1 11
v( x123 ) 1 ( x123 )2 ( x123 )3 ( x123 ) w0 w0 0 w0 0 v 0
3 33
(QED)

Introduccin al Mtodo de los Elementos Finitos 88

 Continuidad entre EF triangulares cbicos con gdl en derivadas

Dado Vh v : v C0 () y v K P3 (K), K Th ec (a )
Adoptando como gdl los nodos de la malla Th, podemos definir alternativamente
v v
Vh v : v K P3 (K), K Th , y v, , continuas en los nodos ec (b)
x y
Demo.: Para probar que (a)(b), es necesario probar que la funcin vVh
definida de acuerdo a (b) es continua no slo en los nodos sino tambin a
travs de las fronteras interelementales.
Sean K1 y K2 dos tringulos en Th que comparten el lado S, de nodos 1 y 2.
Sea vi v Ki P3 (K i ) la restriccin de v a Ki.
v v
v1=v2 y 1 2 (derivadas en la direccin s a lo largo de S)
s s
en los nodos 1 y 2, y v1,v2 cbicas v1=v2 a lo largo de todo el lado S
v es continua a travs de S v C () (QED)
0

Nota: no se logra continuidad C1 por cuanto la funcin de base asociada a x123 no

llega con pendiente nula a los lados.
Introduccin al Mtodo de los Elementos Finitos 89
 Elemento finito triangular C1-continuo
Consideremos un espacio de EF Vh C1 () , lo que requiere usar polinomios
de grado 5 por tringulo, i.e.
Vh v : v C1 () y v K P5 (K), K Th

Sea KTh un tringulo de vrtices xi=(xi,yi), i=1,2,3,

y sea xij=(xi+ xj)/2 el punto medio del lado ij, i<j, i,j=1,2,3.

Teorema: toda funcin vP5(K) est nicamente determinada por los gdl
v( xi ), i 1, 2,3
3
v v 13 n
( xi ), ( xi ), i 1, 2,3
x y
K 23
v2
v2
v 2 1
( xi ), ( xi ), ( xi ), i 1, 2,3
x 2
xy x 2
12
v
( xij ), i, j 1, 2,3, i j 2
n
Introduccin al Mtodo de los Elementos Finitos 90
 Elemento finito triangular C1-continuo (cont)
Demo.: como dim P5(K)= #gdl =21, es suficiente probar 13
3
que si todos los gdl son nulos, entonces debe ser v0. n
K 23
1
1. v es un polinomio de grado 5 a lo largo del lado 23 y s
v v2 12
v( xi ) ( xi ) 2 ( xi ) 0, i 2,3 v 0, x 23 2
s s
2. v es un polinomio de grado 4 a lo largo del lado 23 y
n
v v v v
( x23 ) ( xi ) ( xi ) 0, i 2,3 0, x 23
n n s n n
v
v 0, 0, x 23 v( x ) 1 ( x ) p3 ( x ), x K, p3 P3 (K)
2

n
3. Aplicando idntico razonamiento sobre los lados 12 y 13, llegamos a
v( x ) w0 1 ( x ) 2 ( x ) 3 ( x ) , x K, w0 cte
2 2 2

v P5 K w0 0 v( x) 0, x K (QED)
Introduccin al Mtodo de los Elementos Finitos 91
 Continuidad entre EF triangulares C1-continuos
Sean K1 y K2 dos tringulos en Th que comparten el lado S, de extremos 2, 3.
Sea vi v Ki P5 (K i ) la restriccin de v a Ki., y w=v1v2 sobre S.
w 2w
w( xi ) ( xi ) 2 ( xi ) 0, i 2,3 w 0, x S
s s w
0, x S v C1 ()
s
w w w w
( x23 ) ( xi ) ( xi ) 0, i 2,3 0, x S (QED)
n n s n n

Luego: Vh v C () : v K P5 (K), K Th
1


v : v K P5 (K), K Th ,

v v v v v
2 2 2
v, , , 2 , , 2 continuas en los nodos vrtices
x y x xy y
v
continua en los nodos medios de los lados
n
Introduccin al Mtodo de los Elementos Finitos 92
 Elemento finito tetradrico lineal
Sea la unin de un conjunto Th={K} de tetraedros no superpuestos K tales
que ningn vrtice de algn tetraedro se ubique sobre el lado de otro
tetraedro.

Adoptamos los siguientes espacios polinmicos por trozos de EF

Vh v : v Pr (K), K Th , i.e., v aijm x y z , ( x, y, z ) K, aijm
i j m

i j m r
4
Para r=1, toda funcin vP1(K) est nicamente
determinada por sus valores en los vrtices de K.
K
En este caso, el espacio de EF es
3
Vh v : v C0 () y v P1 (K), K Th 1

Introduccin al Mtodo de los Elementos Finitos 93

 Elemento finito rectangular bilineal
Sea la unin de un conjunto Th={K} de rectngulos no superpuestos K
tales que ningn vrtice de algn rectngulo se ubique sobre el lado de otro
rectngulo.
Definimos el espacio
Q1 (K) v : v es bilineal en K, i.e., v( x, y) a00 a10 x a01 y a11 xy, ( x, y) K, aij
Toda funcin vQ1(K) est nicamente determinada por sus valores en los
vrtices del rectngulo K. 4
3

Se puede demostrar fcilmente que existe

continuidad interelementos de v. K

Luego, el espacio de EF es 1 2

Vh v : v C0 () y v Q1 (K), K Th

Introduccin al Mtodo de los Elementos Finitos 94

 Elemento finito rectangular bicuadrtico
Definimos el espacio de funciones bicuadrticas en K
2
Q2 (K) v : v( x, y) aij x y , ( x, y) K, aij
i j

i , j 0
Toda funcin vQ2(K) est nicamente determinada por sus valores en los
vrtices, en el medio de los lados y en el centro del rectngulo K.

Se puede demostrar fcilmente que existe

continuidad interelementos de v. 7
4
3

Luego, el espacio de EF es
K
Vh v : v C0 () y v Q2 (K), K Th 8 9
6

1 5 2

Introduccin al Mtodo de los Elementos Finitos 95

 Resumen
Definimos un elemento finito como la terna {K, PK, S}, donde
K es un objeto geomtrico.
PK es un espacio lineal de dimensin finita de funciones definidas en K.
S es un conjunto de gdl que determinan de manera nica toda funcin vK.

Por ej., para el EF triangular lineal {K, PK, S}, resulta

K es un tringulo.
PK=P1(K).
S es el conjunto de valores de v en los vrtices de K.

Introduccin al Mtodo de los Elementos Finitos 96

 Tipos de elementos finitos ms comunes

Continuidad del

Continuidad del
espacio MEF

espacio MEF
Espacio de

Espacio de
f unciones

funciones
Geometria Geometria

# gdl
Grados de libertad S

# gdl
Grados de libertad S

0 0
3 P1 (K) C 6 P2 (K) C

0
10 P3 (K) C
0
10 P3 (K) C

1
21 P5 (K) C 18 P5' (K) C
1

Valor de la funcin Valores de las derivadas segundas

Valores de las derivadas primeras Valor de la derivada normal al lado

Introduccin al Mtodo de los Elementos Finitos 97

 Tipos de elementos finitos ms comunes (cont)

Continuidad del

Continuidad del
espacio MEF

espacio MEF
Espacio de

Espacio de
f unciones

funciones
Geometria Geometria

# gdl
Grados de libertad S

# gdl
Grados de libertad S

0
4 Q1 (K) C
0
9 Q2 (K) C

0
16 Q3 (K) C 0
2 P1 (K) C

0 1
3 P2 (K) C 4 P3 (K) C

0 0
4 P1 (K) C 10 P2 (K) C

Valor de la funcin Valores de las derivadas segundas

Valores de las derivadas primeras Valor de la derivada normal al lado

Introduccin al Mtodo de los Elementos Finitos 98

 Soporte de diferentes funciones de base

Soporte de funciones de base

asociadas a nodos sobre los lados

Soporte de funciones
de base asociadas
a nodos de vrtice

Soporte de funciones
de base asociadas
a nodos en el centro

Introduccin al Mtodo de los Elementos Finitos 99

 Estimacin de error en problemas elpticos
Para un tpico problema elptico de la forma
Hallar u V / a(u, v)=L(v) v V
donde se verifica
1. a(.,.) es una forma bilineal simtrica, continua y V-elptica.
2. L(.) es una forma lineal continua
resulta

u uh u v v V
V
V

Si elegimos v=phuV como un interpolante de u y estimamos el error de

interpolacin ||uphu||V, obtendremos una estimacin del error ||uuh||V del
MEF.
Elegimos phu tal que sus gdl coincidan con los de u en Vh, as el problema de
determinar ||uphu||V se reduce a determinar uphu individualmente sobre
cada elemento finito KTh.

Introduccin al Mtodo de los Elementos Finitos 100

 Interpolacin con funciones lineales a trozos en 2D
Sea V=H1 (), Vh = v V: v K P1 (K), K Th
Para el tringulo KTh, definimos rK
hK : dimetro de K = lado ms largo de K
hK
rK : dimetro del crculo inscrito en K
rK/hK da una idea de la calidad del elemento (cuanto mayor, mejor)

rK
Designemos Th a una familia de mallas {Th} caracterizadas por el
parmetro h max hK , y una constante +, independiente de h, tal que hK
KTh
rK
K Th
hK
Esta condicin implica que los tringulos KTh no pueden ser
arbitrariamente finos. La constante es una medida del ngulo ms
pequeo para cualquier KTh.

Introduccin al Mtodo de los Elementos Finitos 101

 Interpolacin con funciones lineales a trozos en 2D (cont)
Sean Ni, i=1,2,,M, los nodos de Th. Dado u C0 , definimos el
interpolante phuVh por
p h v( x i ) v( x i ) i 1, 2, ,M

i.e, phu es la funcin lineal a trozos que coincide con u en los nodos xi de Th.

Empecemos por estimar el error uphu en cada tringulo K.

u phu

Introduccin al Mtodo de los Elementos Finitos 102

 Interpolacin con funciones lineales a trozos en 2D (cont)
Teorema: sea KTh un tringulo de vrtices xi, i=1,2,3. Dado vC0(K), sea
el interpolante pvP1(K) definido por p v( xi ) v( xi ), i 1, 2,3.
Luego:
1. v p v 2hK
2
max D
v
L (K) 2 L (K)

hK2
2. max D

v p v L 6 max D v
1 (K) rK 2 L (K)

v
donde D v 1 2 , 1 , 2 ,

1 2 .
x y
v L (K)
max v( x)
xK

Nota: la magnitud de los errores de interpolacin en la funcin y sus

derivadas primeras dependen del valor de las derivadas segundas, que es una
medida de cun curva es la superficie descrita por la funcin.

Introduccin al Mtodo de los Elementos Finitos 103

 Interpolacin con funciones lineales a trozos en 2D (cont)
Demo.: como pvP1(K), usando las funciones de base i podemos escribir
3 3
p v( x ) i ( x )p v( x ) i ( x )v( x i )
i

i 1 i 1
Usando una expansin de Taylor, en el punto y = x+ tenemos
v

2
v( y ) v( x ) ( x ) x j y j R( x, y )
j 1 x j

1 2 2v
R( x, y ) x xi yi x j y j 0 1
2 i , j 1 xi x j
Tomando y=x : v( x ) v( x ) v ( x ) x j xij R( x, x i )
2
i i

j 1 x j

pi ( x ) Ri ( x )
Como ||xxi||hK xK, i=1,2,3, el resto Ri(x) resulta acotado por
Ri ( x) 2hK2 max D v x K, i 1, 2,3
2 L (K)

Introduccin al Mtodo de los Elementos Finitos 104

 Interpolacin con funciones lineales a trozos en 2D (cont)
3 3 3 3
Luego: p v( x ) i ( x )v( x ) v ( x ) i ( x ) i ( x ) pi ( x ) i ( x )Ri ( x )
i

i 1 i 1 i 1 i 1
3 3
Por otro lado, veremos ms adelante que: i 1
i 1, p
i 1
i i 0.

3
p v( x ) v ( x ) i ( x ) Ri ( x )
i 1
3 3
v ( x ) p v( x ) i ( x ) Ri ( x ) i ( x ) Ri ( x ) max Ri ( x )
i
i 1 i 1

2hK2 max D v x K (QED 1)

2 L (K)

Introduccin al Mtodo de los Elementos Finitos 105

 Interpolacin con funciones lineales a trozos en 2D (cont)
Se calcula la derivada de pv:
p v 3
i 3
i 3 i 3

pv v( x ) v
i
pi i Ri
x j i 1 x j i 1 x j i 1 x j i 1 x j

3 3
i v
Por otro lado, veremos ms adelante que: i 0, p .
i 1 x j i 1 x j x j
i

p v v 3

i Ri 1/ rK
x j x j i 1 x j
v p v 3
i 3
1 3
Ri ( x ) max i Ri ( x ) R ( x)
x j x j i 1 x j i 1
xK x
j rK i 1
i

hK2
6 max D v x K (QED 2)
rK 2 L (K)

Introduccin al Mtodo de los Elementos Finitos 106