3

El Mtodo de Elementos Finitos (MEF)

3.1

Funciones de prueba por tramos para problemas bidimensionales

Los mtodos de residuos ponderados tambin son aplicables a problemas denidos en dominios bidimensionales (2D) (y tridimensionales -3D- ). Como ya se ha mensionado para el caso de dominios
unidimensionales, se denen las funciones de prueba (de interpolacin o de forma) por tramos, lo que
lleva a dividir el dominio
en subdominios e a los que se ha denominado elementos. Los subdominios no deben superponerse y tampoco deben quedar brechas entre ellos. Nuevamente la integral del
residuo, denida sobre todo el dominio, se obtendr como la suma de las contribuciones de cada elemento
analogamente al caso unidimensional es decir:
Z
Z

Wl R d

NE
X

e=1

Wl R d

NE
X

e=1

No perdiendo de vista que:

0
1
Z
@ Wl R d A

0
1
Z
@ Wl R d A

NE
X

(1a)

(1b)

(2a)

(2b)

e=1

NE
X

e=1

donde N E representa el nmero de subdivisiones e (nmero de elementos) en los que se ha dividido

el dominio y e es la parte del contorno de e que se encuentra sobre .
En el caso de dominios 2D, las formas ms simples de subdominios o elementos son formas triangulares
o cuadrilaterales. Las formas triangulares simples permiten una mejor aproximacin a un dominio con
una geometra real de un problema de ingeniera. Una forma cuadrilateral simple como un rectngulo
presenta mayores limitaciones para representar un dominio de geometra irregular (como sera por ejemplo
el caso de una chapa con un agujero circular).
3.1.1

Aproximacin
mediante
Elementos triangulares.

funciones

de

forma

denidas

por

tramo.

En la Fig.[1] el dominio se ha dividido en tres tringulos, que constituyen la discretizacin del dominio.
En la misma gura se muestra la aproximacin de una funcin u utilizando colocacin por puntos,
eligiendo como puntos de colocacin (nodos) los centroides de los tringulos.

Figura 1: Aproximacin con funciones

constantes
El conjunto de funciones utilizado para construir la aproximacin puede considerarse completo, en el
sentido que si se aumenta el nmero de subdivisiones del dominio las funciones son capaces de reproducir
cualquier funcin suave tanto como se desee.
^
Como en el caso unidimensional la aproximacin u tiene valor constante dentro de cada elemento,
resultando una funcin discontinua en los lados donde el elemento se conecta con sus vecinos. La funcin
^
u puede escribirse
^

u'u=

M
X

am Nm (x; y) en

(3)

m=1

En el caso particular es:

1 si e = m
0 si e 6= m

Nm (x; y) =

(4)

Donde Ne es una funcin de forma global discontinua, que tiene valor 1 en el elemento e y cero en el
^
resto del dominio; ue es el parmetro que toma el valor de la funcin u en el nodo e. Desde el punto de
vista de los elementos:
^

u ' u = ue Ne = ue en el elemento e

(5)

La aproximacin a las condiciones de contorno ser poco satisfactoria en muchos casos. (Estas funciones se han presentado para establecer una analoga con el caso unidimensionl pero no son utilizadas).
Uno de los elementos triangulares ms utilizados es el lineal, que se describe a continuacin.

Figura 2: Aproximacin con funciones

lineales
En Fig.[2] se muestra la misma subdivision del dominio que en Fig.[1], pero se utilizan funciones de
forma lineales. Los nodos en este caso coinciden con los vrtices de los tringulos. Como en el caso
unidimensional a cada nodo se le asocia una funcin Ni global con las siguientes condiciones:
1. Ni (xj ) = ij , siendo xj = (xj ; yj ) las coordenadas del nodo j y
( ij = 1 si i = j, ij = 0 si i 6= j)
2.

NP
NE

ij

la funcin delta de Kronnecker

Ni (xi ) = 1

i=1

3.

NP
NE
i=1

@Ni (xi )
@xi

=0

La condicin 1 asegura que el parmetro corresponda al valor de la variable de estado en el nodo. Por
otra parte, ahora debe garantizarse la continuidad de la variable en todo el contorno del elemento. Es
decir a lo largo de cada uno de los lados que limita al elemento con sus vecinos, por lo cual la variable de
estado debe tener en cualquier punto del lado un nico valor independientemente de cual de los elementos
se este considerando. Como los lados tendrn como parmetros comunes los valores asociados a los nodos
contenidos en l, es necesario que el valor de la variable sobre el lado solo dependa del valor de las variables
en los nodos que lo denen, para ello la funcin de interpolacin debe ser nula en los otros nodos y en los
lados que no contienen al nodo.
La concicin 2 asegura que si el valor de la variable es constante en todos los nodos, ser constante
en todo el elemento, y la condicin 3 establece que el gradiente es nulo en este caso.
El elemento ms simple que puede utilizarse en problemas planos es el tringulo lineal. En este caso
el elemento maestro es un tringulo rectngulo, con el ngulo recto en el origen de coordenadas sus lados
son paralelos a los ejes coordenados y tienen longitud unitaria (Fig. [3]).

Figura 3: Elemento
maestro trianfular

La numeracin de los nodos (vrtices) es tal que el nodo 1 tiene coordenadas ( ; ) = (1; 0), el 2
( ; ) = (0; 1) y el 3 ( ; ) = (0; 0). Si se denen las funciones lineales como:
L1 ( ; )
L2 ( ; )
L3 ( ; )

=
=
=

se puede observar que cumplen con las condiciones enumeradas anteriormente, y su represenacin
grca es:

Se tratar de dar a estas funciones un signicado geomtrico, para ello consideramos la siguiente
gura:

El punto p dentro del elemento tiene coordenadas ( ; ), uniendo p con los vrtices del tringulo
se denen los triangulos A1 , A2 y A3 (los subndices indican que son opuestos a los vrtices). De forma
anloga para el elemento triangular en coordenadas globales. Si calculamos el rea de los tringulos se
tiene:

A1

A2

A3

A =

1
2
1
2
11
2
11
2

A1

A2 =

1
2

Comparando las funciones Lm y las reas Am vemos que Lm = 2Am . Entonces podemos interpretar
a las funciones Lm como la relacin entre las reas del tringulo opuesto al nodo m y el rea total del
tringulo Lm = Am =A.
Si hacemos lo mismo con el tringulo denido en el sistema global, teniendo en cuenta que el rea del
tringulo es la mitad del mdulo del vector obtenido como producto vectorial de dos lados adyacentes
del tringulo, tendremos que el doble del rea de todo el tringulo:
2A = kj
= (xj
= (xj

ki
xk ) (xi xk )
xk ) (yi yk ) (xi
4

xk ) (yj

yk )

y el doble del rea Ak ser:

2Ak

= pj
= (xj
= (xj

pi
xp ) (xi xp )
xp ) (yi yp ) (xi

xp ) (yj

yp )

Si dividimos estas expresiones y se elimina el subndice p (ya que podra ser cualquier punto dentro
del elemento), se tiene:

Lk

=
=

Lk

(xj

x) (yi

y) (xi
2A

x) (yj

y)

1
[xj yi xj y xyi + xy xi yj + xi y + xyj
2A
1
[(xj yi xi yj ) + x (yj yi ) + y (xi xj )]
2A

xy]

Las otras expresiones pueden obtenerse de manera similar (o permutando los ndices Lk : i ! j, Li :
j ! k, Lj : k ! i)
Li

Lj

1
[(xk yj
2A
1
[(xi yk
2A

xj yk ) + x (yk

yj ) + y (xj

xk )]

xk yi ) + x (yi

yk ) + y (xk

xi )]

En la denicin de las funciones Li , Lj y Lk aparecen tres constantes en cada una, a las que se
denominar de la siguiente manera:
ai = xj
aj = xk
ak = xi

xk
xi
xj

bi = y k
bj = y i
bk = y j

yj
yk
yi

ci = xk yj
cj = xi yk
ck = xj yi

xj yk
xk yi
xi yj

lo que permite escribir en forma general:

1
[cm + xbm + yam ]
(6)
2A
A las funciones Lm denidas por (6) se las conoce como coordenadas de rea y pueden utilizarse para
escribir las funciones de forma de elementos triangulares de grado k > 1. Los polinomios que se obtienen
constituyen polinomios completos de grado k y los trminos que lo componen responden al tringulo de
Pascal :
Lm =

1
x
x2
3

y
y2

xy
2

x y

xy

y3

grado
grado
grado
grado

0
1
2
3

Observar que el tringulo de Pascal sugiere las posiciones de los nodos en el elemento triangular.
Las funciones de forma para elementos triangulares cuadrticos sern:
Nodo Coordenada
1
( ; ) = (1; 0)
2
( ; ) = (0; 1)
3
( ; ) = (0; 0)
4
( ; ) = 12 ; 12
5
( ; ) = 0; 12
6
( ; ) = 21 ; 0

Funciones
N1 (Lm ) =
N2 (Lm ) =
N3 (Lm ) =
N4 (Lm ) =
N5 (Lm ) =
N6 (Lm ) =

2L1 L1
2L2 L2
2L3 L3
4L1 L2
4L2 L3
4L3 L1

1
2
1
2
1
2

3.1.2

Aproximacin
mediante
Elementos rectangulares.

funciones

de

forma

denidas

por

tramo.

En este caso hay una mayor similitud con el elemento unidimensional. El elemento maestro es un cuadrado
con el centroide en el origen de coordenadas cuyos lados tienen longitud 2 como se indica en la Fig. [3
b)]

Figura 3: Elemento rectangular lineal a) En

coordenadas globales b) Elemento maestro

Al igual que en el caso unidimensional, obtenemos elementos Lagrangeanos si utilizamos polinomios de

Lagrange como funciones de forma. Las condiciones que deben cumplir son las mismas que se enumeraron
para el elemento triangular. Las funciones nodales pueden obtenerse como el producto de las funciones
unidimensionales.
El elemento ms simple es el bilineal. La funcin asociada al nodo 1:

N1(

; )

=
=

1
(1
2
1
(1
4

1
(1
2

) (1

)
)

y las restantes son:

N2(

; )

N3(

; )

N4(

; )

1
(1 + ) (1
)
4
1
(1 + ) (1 + )
4
1
(1
) (1 + )
4

que se pueden englobar en una sola expresin:

1
(1 + m ) (1 + m )
4
siendo ( m ; m ) las coordenadas locales de los nodos dada en la siguiente tabla:
Nm(

; )

Nodo
1
2
3
4

1
1
1
1

1
1
1
1

Siguiendo el mismo procedimiento, pueden obtenerse las funciones de forma de un elemento Lagrangeano de mayor orden. Las funciones de forma para el elemento Lagrangeano de 9 nodos son:

Nodo
1
2
3
4
5
6
7
8
9

Coordenada
( ; ) = ( 1; 1)
( ; ) = (1; 1)
( ; ) = (1; 1)
( ; ) = ( 1; 1)
( ; ) = (0; 1)
( ; ) = (1; 0)
( ; ) = (0; 1)
( ; ) = ( 1; 0)
( ; ) = (0; 0)

Funcin
N1 ( ; ) = 41 (
1) (
1)
N2 ( ; ) = 14 ( + 1) (
1)
N3 ( ; ) = 14 ( + 1) ( + 1)
1) ( + 1)
N4 ( ; ) = 14 (
N5 ( ; ) = 12 (1 + ) (1
) (
1)
) ( + 1)
N6 ( ; ) = 21 (1 + ) (1
N7 ( ; ) = 12 (1 + ) (1
) ( + 1)
) (
1)
N8 ( ; ) = 21 (1 + ) (1
N9 ( ; ) = (1 + ) (1
) (1 + ) (1

En el caso del elemento rectangular, aparece un mayor nmero de trminos respecto de los que indica
el tringulo de Pascal para un polinomio completo de orden k, los trminos en exceso estn asocidados a
trminos de un polinomio de orden superior.
Por ejemplo en el elemento Lagrangeano cuadrtico aparece un nodo en el centroide del elemento
(nodo 9), que solo tiene contribucin en la matriz global por parte de la matriz del elemento al que
pertenece, razn por la cual suelen eliminarse los grados de libertad (parmetros asociados a esos nodos
internos) por el procedimiento de condensacin esttica.
Consideraciones de este tipo llevaron a que se desarrollen elementos cuadrticos y de mayor orden que
solo tengan nodos en el contorno del elemento, que se conocen como elementos serendpitos. Las expresiones de las funciones de forma serendpitas lineales son las mismas que para el elemento Lagrangeano.
Las funciones serendpitas de orden superior pueden obtenerse por inspeccin, como se muestra a continuacin:

N1 ( ; ) =

1
(1
4

) (1

N5 ( ; ) =

1
1
2

N8 ( ; ) =

1
(1
2

(1

) 1

luego, si se observan las guras la funcin asociada al nodo 1 ser:

N1 ( ; )

= N1
=
=

1
(1
4
1
(1
4

1
N5
2

1
N8
2

) (1

) (1

)(

1
1
4

1)

(1

1
(1
4

) 1

De manera similar se obtienen las restantes funciones, siendo:

Nv ( ; )

Nm ( ; )

Nm ( ; )

1
(1 +
4
1
1
2
1
(1 +
2

v ) (1
2

(1 +
m)

v) (

1) para v = 1; 2; 3; 4

m)

para m = 5; 7

para m = 6; 8

Otra forma de obtener los coecientes es planteando un sistema de ecuaciones cuya solucin suministra
los coecientes de las funciones de forma. Por ejemplo para obtener las funciones del elemento cuadrtico
(teniendo en cuenta el tringulo de Pascal) e imponiendo como condiciones que Ni j ; j = ij con:
Ni ( ; ) = a1 + a2 x + a3 y + a4 x2 + a5 xy + a6 y 2 + a7 x2 y + a8 xy 2
nos llevar a un sitema de 8 ecuaciones y 8 incgnitas, para cada funcin, cuya solucin son los ocho
coecientes ak .
3.1.3

Integracin por partes en dos y tres dimensiones (teorema de Green)

Considerese integrar por partes la siguiente expresin en dos dimensiones

Z Z
@
dxdy
@x

(7)

Integrando primero respecto a x, y utilizando la expresin conocida de la integracin por partes:

Zxd

udv

Zxd

x=xd
(uv)x=xi

xi

vdu

(8)

xi

[(uv)x=xd

(uv)x=xi ]

Zxd

vdu

xi

Utilizando la notacin de la ecuacin [7]

Z Z

@
dxdy =
@x

Zys

)xs

yi

)xi

dy

Z Z

@
dxdy
@x

Si se considera el segmento de contorno d en la pate derecha del dominio, se observa que:

dy = nx d
Donde nx es el coseno director entre la direccin normal saliente al segmento d y la direccin positiva
del eje x. Si se considera un segmento a la izquierda del dominio la expresin es la misma . Observar que
9

en el primer caso el signo de nx es positivo y en el segundo es negtivo. Entonces el primer trmino de la

derecha de la (8) puede expresarse como una integral de linea alrededor del dominio completo (contorno
cerrado) realizada en sentido antihorario.
I
nx d

Se debe tener en cuenta que si el dominio est denido por varias curvas cerradas, esta integracin
debe hacerse en cada una de ellas. La expresin general para todos los casos es:
Z Z
I
Z Z
@
@
dxdy =
dxdy
nx d
@x
@x
Si la derivada es en la direccin y, entonces:
Z Z

@
dxdy =
@y

Zxs h

)ys

)yi

xi

Z Z

dx

@
dxdy
@y

dx = ny d
Donde ny es el coseno director entre la direccin normal saliente al segmento d y la direccin positiva
del eje y. Analogamente al caso anterior:
I
ny d
Z Z

3.1.4

@
dxdy =
@y

ny d

Z Z

@
dxdy
@y

Mapeamiento de la geometra

El mapeamiento de la geometra consiste en interpolar la geometra del elemento utilizando aproximaciones similares a las que se utilizan para interpolar la variable de estado. Si se utilizan las mismas
funciones, entonces:

x( ; )

NX
NE

Nm ( ; ) xm

(9)

m=1

y( ; )

NX
NE

N m ( ; ) ym

m=1

donde (xm ; ym ) son las coordenadas, respecto del sistema global de referencia, del nodo m y Nm es la
funcin de forma asociada al nodo m. Debido a las caractersticas de las funciones de forma, los nodos del
elemento maestro se correspondern con los nodos en el plano xy y adems las coordenadas de los puntos
que se encuentran en el contorno del elemento quedan denidas exclusivamente por las coordenadas de
los nodos que denen cada lado asegurando que los elementos no se superpongan y no haya brechas
entre ellos.
Aplicando regla de la cadena para obtener las derivadas de las funciones de forma respecto de las
coordenadas globales queda.
@Nm ( ; )
@x
@Nm ( ; )
@y

=
=

@Nm ( ; ) @
@Nm ( ; ) @
+
@
@x
@
@x
@Nm ( ; ) @
@Nm ( ; ) @
+
@
@y
@
@y

Matricialmente
10

"

@Nm ( ; )
@x
@Nm ( ; )
@y

"

@
@x
@
@y

@
@x
@
@y

#"

@Nm ( ; )
@
@Nm ( ; )
@

De las expresiones del mapeo (9) se pueden obtener

@x
@

NX
NE

xm

@Nm
@

NX
NE

xm

@Nm
@

NX
NE

ym

@Nm
@

ym

@Nm
@

m=1

@x
@

@y
@

m=1

m=1

@y
@

NX
NE
m=1

siendo estos los coecientes de la matriz Jacobiana:

"
@x
@
@x
@

J=

@y
@
@y
@

cuya inversa es:

J

"

@
@x
@
@y

@
@x
@
@y

Para realizar la integral en coordenadas locales ( ; ) debemos modicar los lmites y el diferencial de
rea por:
d

= det (J) d d

expresin que relaciona el diferencial de rea en el plano xy con el diferencial de rea del elemento
maestro por medio del determinante Jacobiano, que deber tener siempre signo positivo para que la
expresin tenga sentido.
Para el caso del elemento triangular el mapeamiento no reviste ningun cambio desde el punto de
vista prctico, pero para el elemento rectangular la forma general presentada para el mapeamiento permite utilizar cudrilteros de forma arbitraria y no solo rectangulares. Para los casos de un cuadriltero
cualquiera ya no es prctico realizar la integracin en forma analtica, y en general no es posible, por lo
cual se recurre a integrar numricamente utilizando cuadratura de Gauss - Legendre (fuera del alcance
de este curso).
Si solo se permite que el elemento rectangular cambie de tamao pero permanezca siendo un rectngulo
de lados paralelos a los ejes x e y, las expresiones se simplican, a:

11

x( )

y( )

(xj + xi ) (xj xi )
+
2
2
(yl + yi ) (yl yi )
+
2
2

de la gura
Lx = xj
Ly = yl

xi = xk
yi = yk

teniendo esto en cuenta y despejando

xl
yj

xe0 =
y0e =

xj +xi
2
yl +yi
2

l
= xk +x
2
yk +yj
= 2

se obtiene:

(x)

(y)

x xe0
Lx =2
y y0e
Ly =2

a partir de stas:
@
@x
@
@y

=
=

2
Lx
2
Ly

dA = dxdy

3.1.5

Lx
2 d
Ly
2 d
Ly
Lx
2 d 2 d

dx =
dy =
dA =

Aproximacin a la solucin de ecuaciones diferenciales a derivadas parciales

Los pasos a seguir para encontrar la solucin aproximada de una ecuacion diferencial en derivadas parciales
en un dominio bidimensional, son los mismos que para una ecuacin diferencial ordinaria. Recordar:
Establecer el problema (ecuacin diferencialy condiciones de contorno)
Planteo del residuo

A (u)
B (u)

= L (u) + p en
= M (u) + r en
^

= L u +p

= M u +r

Wl R d +

W lR d = 0

Encontrar la forma dbil del residuo (integracin por partes)

Funciones de prueba y de peso (determinar el elemento)
Discretizar el dominio
Evaluar las integrales del residuo
Aplicar las condiciones de contorno
Resolver el sistema de ecuaciones algebraicas
Referencias:
El Mtodo de elementos nitos, O: C. Zienkiewicz
Finite Elements and Approximation; O. C. Zienkiewicz & K. Morgan
12