2 El Mtodo de Elementos Finitos (MEF)

2.1 Funciones de prueba por tramos

Los mtodos de residuos ponderados son muy poderosos, principalmente el mtodo de Galerkin, pero
presentan una limitacin importante: no establecen una manera sistemtica para elegir el conjunto de
funciones de prueba necesarias para determinar la forma de las aproximaciones
^
u (que se establecen para
todo el dominio ).
Las funciones de prueba que se utilizan para armar
^
u son arbitrarias, salvo por los requisitos de
independencia, continuidad y deribabilidad que deben cumplirse para todo el dominio . Quien quiera
resolver un problema deber elegir entre distintas posibilidades lo cual puede no resultar muy claro en
algunos casos. Lo que s esta claro es que la calidad de la solucin que se obtenga depender fuertemente
de las propiedades de las funciones que se elijan. El problema empeora cuando se trata de probemas en
dos y tres dimensiones donde el contorno del dominio suele ser de geometra complicada y las funciones
N
m
deben disearse para satisfacer las condiciones en esos bordes. Por otra parte, una mala eleccin
de las funciones de prueba puede resultar en una matriz de coecientes K mal condicionada lo cual hace
que sea difcil o imposible encontrar su solucin con un grado de aproximacin suciente.
Una manera alternativa de armar
^
u es hacerlo por tramos. Esto signica dividir el dominio en
subdominios
e
a los que llamaremos elementos, los cuales no deben superponerse, y elegir las expresiones
para
^
u que valdrn para cada uno de los subdominios de la particin. La integral del residuo que
esta denida sobre todo el dominio, por propiedad de las integrales, se obtendr como la suma de las
contribuciones de las integrales sobre cada uno de los subdominios o elementos, es decir:
_

W
l
R

d =
NE

e=1
_
_
_

e
W
l
R

d
_
_
(1a)
_

W
l
R

d =
NE

e=1
_
_
_

e
W
l
R

d
_
_
(1b)
No perdiendo de vista que:
=
NE

e=1

e
(2a)
=
NE

e=1

e
(2b)
donde NE 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 .
Figura1: Discretizacin con
elementos
1
2.1.1 Aproximacin mediante funciones de forma denidas por tramo
En la Fig.[2] el dominio = [0; L] se ha dividido eligiendo puntos x
i
(i = 1; 2; :::; M) que pertenecen a ,
siendo x
1
= 0 y x
M
= L. Cada elemento
e
se dene como el intervalo x
e
_ x _ x
e+1
. A la subdivisin
del dominio la denominaremos discretizacin. En la misma gura se muestra la aproximacin de una
funcin u cualquiera en un dominio unidimensional utilizando colocacin por puntos, eligiendo como
puntos de colocacin a los puntos medios de cada elemento, a los que denominaremos nodos.
Figura 2: Aproximacin con elementos constantes
Como resultado de esto, la aproximacin
^
u tiene valor constante dentro de cada elemento (subdo-
minio), resultando una funcin discontinua en los puntos donde un elemento se conecta con sus vecinos.
La funcin
^
u puede escribirse
u
^
u = +
M

m=1
a
m
N
m
en (3)
Figura 3: Funciones de prueba constantes
En el caso particular es:
u
^
u =
M1

m=1
^
u
m
N
m
en (4)
N
m
=
_
1 si e = m
0 si e ,= m
_
(5)
2
Donde N
m
es una funcin de forma global discontinua, como puede observarse en Fig.[3], que tiene
valor 1 en el elemento m y cero en el resto del dominio;
^
u
m
es el parmetro que toma el valor de la
funcin u en el nodo m.
Si se piensa la aproximacin desde el punto de vista de los elementos, esta resulta:
u
^
u = u
e
N
e
=
^
u
e
en el elemento e (6)
La aproximacin que se obtendr no va a coincidir en los extremos (x = 0 y x = L) con los valores
que toma la funcin original u en esos puntos. Una manera de obtener una mejor aproximacin sera
disminuir la longitud de los elementos que tienen como punto medio x
1
y x
M
(la otra posibilidad sera
incorporar a la funcin , pero esto diculta la sistematizacin).
Otro aspecto de la gura, que guarda relacin con el mtodo de elementos nitos, es que se numeran
los nodos y los elementos (las numeraciones son independientes una de la otra) numeracin que en este
caso tan simple es muy obvia.
En Fig.[4] se muestra la misma subdivision del dominio que en Fig.[3], pero se utilizan funciones
lineales dentro de cada elemento, resultando una mejor aproximacin. En este caso los nodos coinciden
con los extremos del elemento. Otra particularidad es que a cada nodo m se le asocia una funcin N
m
global con las siguientes propiedades:
es no nula dentro de los elementos (subdominio
e
) que se encuentran conectados por el nodo m
es nula en los restantes elementos (elementos que no contienen al nodo m)
N
m
= 1 en x = x
m
N
m
= 0 en x
j
,= x
m
(x
j
y x
m
son las coordenadas x de los nodos j y m respectivamente)
Figura 4: Aproximacin con elementos lineales
Desde un punto de vista global, nuevamente:
u
^
u =
M1

m=1
^
u
m
N
m
en (7)
3
Figura 5: Funciones de prueba lineales
Donde, ahora tenemos que:
N
m
=
_

_
xxj1
xjxj1
para x
j1
_ x _ x
j
xxj
xj+1xj
para x
j
_ x _ x
j+1
0 para x _ x
j
y x _ x
j+1
_

_
(8)
y
^
u
m
es el valor que toma la funcin u en el nodo m. En este caso,
^
u automticamente coincide con
con los valores de u en los extremos (x
1
y x
M
) (no sera necesario utilizar la funcin ). Si se piensa la
aproximacin desde el punto de vista de los elementos, en este caso:
u
^
u = u
i
N
e
i
+ u
j
N
e
j
en el elemento e (9)
Donde:
u
i
y u
j
son los valores que toma la funcin u en el nodo i y en el nodo j respectivamente
N
e
i
y N
e
j
son funciones de interpolacin lineales que se denen como:
N
e
i
=
h
e
(x x
i
)
h
e
(10)
N
e
j
=
(x x
i
)
h
e
h
e
= x
j
x
i
Para encontrar los coecientes de la aproximacin debemos plantear el residuo, que si utilizamos
Galerkin (W
l
= N
l
), puede escribirse como:
L
_
x=0
N
l
_
u
^
u
_
dx (11)
Restan ahora seguir los pasos ya vistos para residuos ponderados.
(Se sugiere utilizar funciones denidas por tramos lineales para encontar una aproximacin a la funcin
propuesta en el ejemplo 1 de la seccin Antecedentes del mtodo de elementos nitos).
2.2 Aproximacin a la solucin de ecuaciones diferenciales.
Veremos ahora como utilizar las funciones de prueba denidas en la seccin anterior para resolver ecua-
ciones diferenciales. La forma general de una ecuacin diferencial:
A(u) = /(u) + p = 0 en (12)
y de las condiciones de borde asociadas
B(u) = /(u) + r = 0 en (13)
Si aplicamos residuos ponderados para obtener una aproximacin discreta
4
_

W
l
R

d +
_

W
l
R

d = 0 (14)
R

= A(
^
u) = /(
^
u) + p en (15a)
R

= B(
^
u) = /(
^
u) + r en (15b)
Cuando se denieron las funciones por tramos en la seccin anterior, en el primer caso teniamos una
funcin discontinua entre elementos y en el segundo una funcin continua pero con derivadas discontinuas
entre elementos. Observando (14) vemos que contiene derivadas de la funcin aproximada. Surge ahora
la pregunta: ser posible utilizar este tipo de funciones de aproximacin?
2.2.1 Condiciones de continuidad
Para obtener una respuesta a la pregunta planteada, se anlizan los siguiente tres tipos de funciones de
aproximacin en la vecindad del punto de unin o entre dos elemetos:
funcin discontinua en o (Fig.[6a)])
funcin continua en o, pero su derivada primera es discontinua en o (Fig.[6b)])
la funcin y su derivada primera son continuas en o pero la derivada segunda de la funcin es
discontinua en o (Fig.[6c)])
Figura 6: Funciones de forma y sus derivadas en la union de dos elementos (1D)
5
Estas tres funciones tendrn valores innitos de la derivada primera, segunda y tercera en el punto o
respectivamente. Para evaluar las integrales de la expresin de residuos ponderados (14) sera deseable
no tener esos valores innitos porque puede indeterminarnos la forma integral.
Entonces podemos observar que si los operadores /() y /() contienen derivadas de orden d, apare-
cern derivadas de orden d en nuestra expresin (14), entonces debemos asegurarnos que las funciones N
m
tengan derivadas continuas de orden d1. Diremos entonces que nuestras funciones requieren continuidad
de orden d 1, y utilizaremos la notacin C
d1
.
Si en /() y /() no aparecen derivadas (d = 0) podremos utilizar la primera funcin denida por
tramos (Fig.[4a) ]); si aparecen derivadas primeras (d = 1) podremos utilizar la segunda funcion denida
por tramos (Fig.[ 4b)]) continuidad C
0
y si aparecen derivadas segundas utilizar concontinuidad C
1
(Fig.[4c ]).
Las condiciones de continuidad que deben cumplir las funciones de prueba tambin son exigibles a
las funciones de peso W
l
. En el caso de colocacin por puntos, estos requerimientos no se cumplen
pero esta excepcin es permisible dado que la integral del residuo toma un valor nito. En general
no se utilizan funciones de peso especiales, para las funciones de peso las condiciones de continuidad
establecidas constituyen condicin suciente para que sea vlido utilizarlas.
Si reemplazamos a u por
^
u denida como en (4) en la expresin del residuo (14) se tiene:
_

W
l
_
/(
^
u) + p
_
d +
_

W
l
_
/(
^
u) + r
_
d = 0 (16)
_

W
l
/(
^
u)d +
_

W
l
p d +
_

W
l
/(
^
u)d +
_

W
l
rd = 0
Al agrupar trminos convenientemente, se obtienen:
K
lm
=
_

W
l
/(
^
u)d +
_

W
l
/(
^
u)d (17)
f
l
=
_

W
l
p d +
_

W
l
rd
2.3 Clculos bsicos del mtodo de elementos nitos. Problemas unidimes-
nionales (1D)
Los pasos a seguir para obtener la solucin aproximada a un problema especco, combinando las opciones
mas ventajosas ya presentadas, pueden ordenarse segn la siguiente lista:
Establecer el problema (ecuacin diferencial y condiciones de contorno, -forma fuerte del problema-)
Planteo del residuo
Encontrar la forma dbil del residuo
Eleccin de las funciones de peso y de prueba (denidas por tramos y teniendo en cuenta las
condiciones de continuidad, -Galerkin-)
Discretizar el dominio (establecer los subdominios)
Evaluar las integrales (obtener los coecientes K
lm
y f
l
)
Aplicar las condiciones de borde (*)
Resolver el sistema de ecuaciones algebraicas.
((*) Este item ha estado implcito en el proceso de clculo, pero deja de estarlo cuando se utiliza la
descripcin local y el proceso de ensamble que se presentan ms adelante).
Antes de proceder a aplicar estos pasos a un ejemplo, se analizan algunas consideraciones a tener en
cuenta al utilizar funciones de discontinuas denidas por tramo para resolver ecuaciones difereciales.
6
2.3.1 Propiedades de la matriz K y del vector f
Examinaremos algunas propiedades de la matriz de coecientes y del vector de trminos independientes.
Aditividad Esta propiedad se deriva de la propiedad del clculo de integrales, respecto de su dominio.
La expresin general para obtener el coeciente K
lm
es:
K
lm
=
_

W
l
/(N
m
) d (18)
Si adoptamos un dominio unidimensional, = [0; L] (solo a los nes de aportar mayor claridad)
podemos escribir la expresin anterior como:
K
lm
=
L
_
0
W
l
(x) /(N
m
(x)) dx (19)
=
x1
_
x0=0
W
l
(x) /(N
m
(x)) dx +
x2
_
x1
W
l
(x) /(N
m
(x)) dx + ::: +
x=L
_
x
M1
W
l
(x) /(N
m
(x)) dx
=
NE

e=1
_

e
W
l
(x) /(N
m
(x)) d
=
NE

e=1
K
e
lm
En las expresiones (19) con
_

e
se denota la integracin sobre el elemento
e
; en el interior del elemento
e se cumple (si por ejemplo utilizamos (8)) que N
m
= N
e
m
entonces (lo mismo valdra para W
l
)
K
e
lm
=
_

e
W
e
l
(x) /(N
e
m
(x)) d (20)
y como consecuencia
K
lm
=
NE

e=1
K
e
lm
(21)
Lo mismo sucede con f
l
, haciendo las mismas consideraciones que para K
lm
:
f
l
=
_

W
l
p d +
_

W
l
r d (22)
=
x1
_
x0=0
W
l
(x) p dx +
x2
_
x1
W
l
(x) p dx + :: +
x=L
_
x
M1
W
l
(x) p dx + W
l
(0) r + W
l
(L) r
=
NE

e=1
_
_
_

e
W
l
(x) p d + R
_
_
=
NE

e=1
f
e
l
R = W
l
(0) r + W
l
(L) r (23)
7
f
e
l
=
_

e
W
e
l
(x) p d + R (24)
f
l
=
NE

e=1
f
e
l
(25)
donde f
e
l
es la componente del vector de trminos independientes para el elemento
e
= [x
e1
; x
e
].
Para los elementos que tengan nodos en el contorno del dominio, R estar dada por la (23) (siendo
R = 0 para los elementos que no tengan ningn nodo en ).
Esta propiedad permite que sea posible obtener la matriz K y el vector f para resolver el problema en
todo el dominio , calculando los coecientes de las matrices K
e
y el vector f
e
de cada elemento tpico

e
y sumar luego las contribuciones de cada uno como establecen (21) y (25). Se denomina ensamble al
proceso de sumar las contribuciones a K y f de cada elemento, se abordar con ms detalle ms adelante.
Matriz K es bandeada Las funciones de forma N
k
se denen de modo tal que pueden ser pensadas
como que estn asociadas al nodo k, como se esquematiza en la siguiente gura:
Figura 7: Funciones de forma lineales en sistema global
Entonces, la funcin global N
m
,= 0 en
m1
y
m
y nula en el resto del dominio. Si el elemento e
que comprende
e
esta denido en una dimensin, podr compartir su nodo i con el elemento e 1 y su
nodo j con elelemento e + 1. De modo que N
i
,= 0 en el dominio de los elementos e 1 y e y nula en el
resto del dominio similarmente con N
j
,= 0 en los elementos e y e + 1 y nula en los restantes elementos.
Lo mismo sucede con las derivadas, lo que produce que Kij = 0 si el elemento no contine a los nodos i o
j. Esto produce una matriz que tendr elementos no nulos en la diagonal principal y cerca de ella. Los
elementos no nulos forman una banda, lo que le da nombre a las matrices con esta caracterstica. El
ancho que tenga la banda depender de como se hayan numerado los nodos, por lo cual se debe prestar
atencin a este este aspecto.
Por ejemplo, observando la Fig.[7], la funcin N
2
es no nula para los elementos 2 (
2
) y 3 (
3
), y
nula en los restantes elementos (subdominios).
Matriz K es simtrica Debido a que se esta utilizando residuos ponderados con funciones de peso
de tipo Galerkin, si se intercambian los indices en las expresiones de los coecientes de la matriz de
rigidez, se observa que K
ij
= K
ji
por lo cual la matriz K es simtrica. (La simetra de K depende del
operador diferencial del cual se ha obtenido la forma dbil, es vlida para los operadores denominados
autoadjuntos).
Esta propiedad es muy importante en el momento de denir el algoritmo a programar.
EJEMPLO 1:
Se procede a aplicar los pasos enumerados para resolver el siguiente ejemplo unidimensional.

@
2

@x
2
+ = f(x) para 0 _ x _ 1
f(x) = x
= 0 en x = 0
= 0 en x = 1
8
1
_
0
W
l
_
_

@
2
^

@x
2
+
^
f(x)
_
_
dx = 0
Se integra por partes el primer trmino para obtener la forma dbil del residuo:
1
_
0
W
l
@
2
^

@x
2
dx =
1

_
0
@W
l
@x
@
^

@x
dx +
_
_
W
l
_
_
@
^

@x
_
_
x=1
+ W
l
_
_
@
^

@x
_
_
x=0
_
_
1
_
0
@W
l
@x
@
^

@x
dx
_
_
W
l
_
_
@
^

@x
_
_
x=1
+ W
l
_
_
@
^

@x
_
_
x=0
_
_
+
1
_
0
W
l
^
dx
1
_
0
W
l
f(x)dx
si W
l
(0) = W
l
(1) = 0 resulta
1
_
0
_
_
@W
l
@x
@
^

@x
+ W
l
^

_
_
dx =
1
_
0
W
l
f(x)dx
Si se subdivide el dominio en 4 subdominios (M = 4), y las incgnitas sern los parmetros a
m
=

m
= (x
m
) como en (8)
La aproximacin de la funcin incgnita ser como en Fig. [7] y estar dada por:

^
=
4

m=1

m
N
m
Donde N
m
estan dnidas en forma global como en (8) cuya grca es similar a Fig.[7], si se utiliza
Galerkin, las funciones de peso son:
W
l
= N
l
para l = 1; 2; 3; 4
(Se dejan al lector los clculos de los coecientes de la matriz K y del vector f , utilizando las funciones
de forma globales denidas por tramos en (8))
2.3.2 Descripcin global y local del elemento
A partir de la propiedad de aditividad, podemos observar que debemos repetir los mismos clculos para
cada elemento. Por esto solo debemos hacer stos clculos sobre un elemento tpo al que denominaremos
elemento maestro. Para ello, conviene introducir el punto de vista del elemento (local) como se muestra
en la siguiente gura:
9
Figura 8: Descripcin global y local de un elemento
En la siguiente tabla se enumeran las caractersticas del elemento desde una descripcin global y desde
la descripcin local
Descripcin global Descripcin local
1) Dominio [x
i
; x
j
] 1) Dominio [
1
;
2
]
2) Nodos i; j 2) Nodos 1; 2
3) Grados de libertad u
i
; u
j
3) Grados de libertad u
1
; u
2

4) Funciones de forma
_
N
e
i
(x) ; N
e
j
(x)
_
4) Funciones de forma
_
N
e
i
() ; N
e
j
()
_
5) Funcin de interpolacin (prueba) 5) Funcin de interpolacin (prueba)
^

e
= a
i
N
e
i
(x) + a
j
N
e
j
(x)
^

e
= a
1
N
e
1
() + a
2
N
e
2
()
Para relacionar los dominios global y local, se utiliza una transformacin an que se dene como:
: [x
i
; x
j
] [
1
;
2
] tal que (x
i
) =
1
y (x
j
) =
2
(26)
Es usual adoptar
1
= 1 y
2
= 1, entonces (x) puede escribirse como:
(x) = a + bx (27)
para obtener los valores de a y b se debe resolver el siguiente sistema:
1 = a + bx
i
(28)
1 = a + bx
j
(29)
con lo cual se obtiene que:
(x) =
2x x
i
x
j
x
j
x
i
(30a)
10
Pero el tamao del elemento es h
e
= x
j
x
i
entonces:
(x) =
2x x
i
x
j
h
e
(31)
La funcin inversa a (x) se obtiene despejando de la anterior la variable x
x() =
h
e
+ x
i
+ x
j
2
(32a)
x() =
(x
j
x
i
)
2
+
(x
j
+ x
i
)
2
(32b)
Si se utiliza esta ltima expresin es posible denir funciones de prueba (o de forma o de interpolacin)
en forma local a partir de las correspondientes funciones globales. Ya se haba denido que, por ejemplo:
N
e
i
(x) =
h
e
(x x
i
)
h
e
N
e
j
(x) =
(x x
i
)
h
e
h
e
= x
j
x
i
si reemplazamos x() en las expresiones anteriores obtenemos:
N
e
1
() =
1
2
(1 ) (33)
N
e
2
() =
1
2
(1 + )
Con lo cual se completa el punto de vista local del elemento. Utilizando las expresiones (33) se puede
escribir (32a) como:
x() = N
e
1
()x
i
+ N
e
2
()x
j
(34)
La (34) muestra que la interpolacin del dominio es la misma que para la funcin incgnita .
Se sintetizan a continuacin algunas expresiones que sern tiles para continuar con los clculos
necesarios.
Integracin por partes (teorema de Green): sea la funcin u y el operador diferencial dv,
denidas en el dominio cuyo contorno es , entonces:
_

udv = uv [

vdu (35)
Cambio de variables: sea una funcin real integrable f denida en el intervalo [x
1
; x
2
] que se nota:
f : [x
1
; x
2
] R
y sea x una funcin continuamente diferenciable que cumple con x(
1
) = x
1
y x(
2
) = x
2
cuya
notacin es:
x : [
1
;
2
] [x
1
; x
2
]
entonces
x2
_
x1
f (x) dx =

2
_

1
f (x())
@x()
@
d (36)
Regla de la cadena: sea una funcin f integrable y diferenciable (f : [x
1
; x
2
] R) y x una funcin
continuamente diferenciable (x : [
1
;
2
] [x
1
; x
2
]), entonces:
@
@
f (x()) =
@f (x())
@x
@x()
@
(37)
11
2.3.3 Clculo de la matriz de coecientes o matriz de rigidez
La matriz de coecientes K
lm
en el contexto del mtodo de elementos nitos es comunmente denominada
matriz de rigidez debido a que este mtodo surgi en el mbito del clculo de estructuras donde los
coecientes representan la rigidez de esa estructura asociada un desplazamiento generalizado unitario.
La expresin para obtener la matriz de coecientes K
lm
(20), con las N
e
m
(x) denidas globalmente
por tramos:
K
e
lm
=
_

e
W
e
l
(x) /(N
e
m
(x)) d
puede ahora ser calculada a partir de la visin local del elemento utilizando el cambio de variables y la
regla de la cadena de la siguiente manera ( por simplicidad se presenta para un dominio unidimensional):
K
e
lm
=
_
h
e
W
e
l
(x) /(N
e
m
(x))dx (38a)
=
1
_
1
W
e
l
(x()) /(N
e
m
(x()))
@x()
@
d (38b)
2.3.4 Clculo del vector de trminos independientes o vector de cargas
El vector de trminos independientes f
l
en el contexto del mtodo de elementos nitos es conocido como
vector de cargas ya que en el clculo de estructuras, sus componentes representan las fuerzas externas
que actan sobre la estructura.
La expresin para obtener el vector f
l
(24)
f
e
l
=
_

e
W
e
l
(x) p d + R
e
Utilizando el cambio de variables y la regla de la cadena se puede calcular con la visin local del
elemento de la siguiente manera ( si el dominio es unidimensional):
f
e
l
=
1
_
1
W
e
l
(x()) f (x) dx + R (39)
Esta expresin contiene a la funcin f (x) contnua, adems de la funcin de peso (que en el caso de
utilizar Glerkin ser N
l
). Si se piensa sistematizar el clculo haciendo uso de la descripcin local, tener
una funcin denida en forma continua complica el proceso. Ahora bien, nada impide que utilicemos
una aproximacin paramtrica a f (x). En el caso que resulte conveniente podrian utilizarse las mismas
fuciones de forma y escribir entonces:
f (x)
NE

e=1
f
e
(x) =
NE

e=1
_
f (x
i
) N
e
i
(x) + f (x
j
) N
e
j
(x)

(40)
obteniendo una forma discreta tambin para f (x). Cabe aclarar que es posible utilizar otro conjunto
de funciones de forma para discretizar f (x) si fuera ms apropiado. Entonces:
f
e
l
=
1
_
1
W
e
l
(x())
_
NE

e=1
_
f (x
i
) N
e
i
(x) + f (x
j
) N
e
j
(x)

_
dx + R (41)
EJEMPLO 2:
Tomando un problema similar al denido en el ejemplo 4 del captulo anterior (en el cual f (x) = 1 =
p):
12
@
2

@x
2
+ + f (x) = 0
f (x) = x
= 0 en x = 0
@
@x
= 1 en x = 1
para el cual, se haban elegido como funciones de forma N
m
= x
m
y W
l
= N
l
y de peso W
l
(1) =
W
l
(1) denidas globalmente (han sido transcriptas a n de tener en cuenta que N
m
(0) = 0). Luego de
integrar por partes, los coecientes de la matriz de rigidez y del vector de cargas se obtuvieron con las
siguientes expresiones para ellos:
K
lm
=
1

_
0
@W
l
@x
@N
m
@x
dx +
1
_
0
W
l
N
m
dx
f
l
=
1
_
0
W
l
f (x) dx + (W
l
r)
x=1
+
_
W
l
@N
m
@x
_
x=0
K +f = 0
La solucin aproximada estar dada por:

^
=
0
N
0
+
1
N
1
+
2
N
2
+
3
N
3
+
4
N
4
donde
k
son los parmetros incgnitas, que representan al valor de la funcin en la coordenada nodal
x
k
como en (7).
Si ahora subdividimos el dominio en cuatro subdominios de igual longitud (discretizamos con cuatro
elementos), de modo tal que el nodo 0 tenga coordenada x = 0 y el nodo 4 x = 1 como en la gura
(h = h
e
)
y adoptamos las funciones de forma denidas por
N
e
i
(x) =
h
e
(x x
i
)
h
e
N
e
j
(x) =
(x x
i
)
h
e
h
e
= x
j
x
i
y utilizamos estas funciones para calcular las integrales tendremos:
K
e
lm
=
_
h
e
@N
e
l
(x)
@x
@N
e
m
(x)
@x
dx +
_
h
e
N
l
(x) N
m
(x) dx
utilizando el cambio de variable x() = N
e
1
()x
i
+ N
e
2
()x
j
y la regla de la cadena tenemos
K
e
lm
=
1
_
1
@N
e
l
(x())
@
@N
e
m
(x())
@
@x()
@
d +
1
_
1
N
l
(x()) N
m
(x())
@x()
@
d
donde tenemos que:
13
x() = N
e
1
()x
i
+ N
e
2
()x
j
N
e
1
() =
1
2
(1 )
dN
e
1
()
d
=
1
2
N
e
2
() =
1
2
(1 + )
dN
e
2
()
d
=
1
2
dx =
dx()
d
d
= x
i
dN
e
1
()
d
+ x
j
dN
e
2
()
d
=
1
2
x
i
+
1
2
x
j
=
x
j
x
i
2
=
h
e
2
K
e
lm
=
1
_
1
@N
e
l
()
@
@N
e
m
()
@
h
e
2
d +
1
_
1
N
l
() N
m
()
h
e
2
d
Utilizando las mismas consideraciones para el vector de cargas:
f
l
=
1
_
0
W
l
f (x) dx + (W
l
r)
x=1
+
_
W
l
@N
m
@x
_
x=0
f
e
l
=
_
h
e
N
e
l
(x) f(x) dx + (N
l
(x) (1))
x=1
+
_
N
l
(x)
@N
m
(x)
@x
_
x=0
En esta expresin debemos notar que el primer trmino es general para todos los elementos, mientras
que el segundo solo corresponde al elemento
4
que es el nico que comprende a la coordenada x = 1.
Por esta razn en lo que sigue se considera solo el trmino con la expresin integral al cual cabe denirlo
desde el punto de vista local del elemento. El segundo trmino se tendr en cuenta antes de procder a
resolver el sistema de ecuaciones.
f
e
l
=
_
h
e
N
e
l
(x) f(x) dx con l = 1; 2
Debido a que esta expresin integral adems de la funcin de peso N
l
contine a la funcin f(x), a la
cual podemos aproximar en forma global como:
f(x)
4

e=1
f
e
(x) =
4

e=1
_
f (x
i
) N
e
i
(x) + f (x
j
) N
e
j
(x)

i = 0; 1; 2; 3
j = 1; 2; 3; 4
si la reemplazamos en la anterior y utilizamos el cambio de variable
14
f
e
l
=
_
h
e
N
e
l
(x())
__
f (x
i
) N
e
i
(x()) + f (x
j
) N
e
j
(x())
_
@x()
@
d
f
e
i
=
1
_
1
N
e
i
()
_
f (x
i
) N
e
i
() + f (x
j
) N
e
j
()

h
e
2
d para l = i
f
e
j
=
1
_
1
N
e
j
()
_
f (x
i
) N
e
i
() + f (x
j
) N
e
j
()

h
e
2
d para l = j
Para el elemento e genrico:
K
e
=
_
K
e
11
K
e
12
K
e
21
K
e
22
_
f
e
=
_
f
e
1
f
e
2
_
explcitamente:
K
e
11
=
1
_
1
@N
e
1
()
@
@N
e
1
()
@
h
e
2
d +
1
_
1
N
1
() N
1
()
h
e
2
d
=
1
_
1
_
1
2
_ _
1
2
_
h
e
2
d +
1
_
1
1
2
(1 )
1
2
(1 )
h
e
2
d =
1
12
h
e
K
e
12
=
1
_
1
@N
e
1
()
@
@N
e
2
()
@
h
e
2
d +
1
_
1
N
1
() N
2
()
h
e
2
d
=
1
_
1
_
1
2
_ _
1
2
_
h
e
2
d +
1
_
1
1
2
(1 )
1
2
(1 + )
h
e
2
d =
5
12
h
e
f
e
1
=
1
_
1
N
e
1
() [f (x
i
) N
e
1
() + f (x
j
) N
e
2
()]
h
e
2
d
=
1
_
1
1
2
(1 )
_
f
1
1
2
(1 ) + f
2
1
2
(1 + )

h
e
2
d = h
e
_
f1
3
+
f2
6
_
K
e
21
=
1
_
1
@N
e
2
()
@
@N
e
1
()
@
h
e
2
d +
1
_
1
N
2
() N
1
()
h
e
2
d
=
1
_
1
_
1
2
_ _
1
2
_
h
e
2
d +
1
_
1
1
2
(1 + )
1
2
(1 )
h
e
2
d =
5
12
h
e
K
e
22
=
1
_
1
@N
e
2
()
@
@N
e
2
()
@
h
e
2
d +
1
_
1
N
2
() N
2
()
h
e
2
d
=
1
_
1
_
1
2
_ _
1
2
_
h
e
2
d +
1
_
1
1
2
(1 + )
1
2
(1 + )
h
e
2
d =
1
12
h
e
f
e
2
=
1
_
1
N
e
2
() [f (x
i
) N
e
1
() + f (x
j
) N
e
2
()]
h
e
2
d
=
1
_
1
1
2
(1 + )
_
f
1
1
2
(1 ) + f
2
1
2
(1 + )

h
e
2
d = h
e
_
f1
6
+
f2
3
_
15
K
e
=
h
e
12
_
1 5
5 1
_
f
e
=
h
e
6
_
2f
1
+ f
2
f
1
+ 2f
2
_

e
=
_

e
1

e
2
_
Para e = 1, h
e
= 1=4, f
1
= f(0) = 0, f
2
= f(1=4) = 1=4,
1
1
=
0
,
1
2
=
1
K
1
=
1
48
_
1 5
5 1
_
f
1
=
1
24
_
1=4
1=2
_

1
=
_

1
1

1
2
_
=
_

0

1
_
Para e = 2, h
e
= 1=4, f
1
= f(1=4) = 1=4, f
2
= f(1=2) = 1=2,
2
1
=
1
,
2
2
=
2
K
2
=
1
48
_
1 5
5 1
_
f
2
=
1
24
_
1
5=4
_

2
=
_

2
1

2
2
_
=
_

1

2
_
Para e = 3, h
e
= 1=4, f
1
= f(1=2) = 1=2, f
2
= f(3=4) = 3=4,
3
1
=
2
,
3
2
=
3
K
3
=
1
48
_
1 5
5 1
_
f
3
=
1
24
_
7=4
2
_

3
=
_

3
1

3
2
_
=
_

2

3
_
Para e = 4, h
e
= 1=4, f
1
= f(3=4) = 3=4, f
2
= f(1) = 1,
4
1
=
3
,
4
2
=
4
K
4
=
1
48
_
1 5
5 1
_
f
4
=
1
24
_
5=2
11=4
_

4
=
_

4
1

4
2
_
=
_

3

4
_
Debido a la propiedad de aditividad de las matrices K
e
y del vector f
e
, tendremos que
K= K
1
+K
2
+K
3
+K
4
f = f
1
+f
2
+f
3
+f
4
K +f = 0
Debemos tener en cuenta que el sistema a resolver tiene 5 incgnitas
0
;
1
;
2
;
3
;
4
por lo cual la
matriz global K tendr dimensin 5x5, el vector global f tendr 5 componentes. Entonces, el elemento
1 contribuye a la matriz global y vector de trminos independientes con:
K
1
=
1
48
_

_
1 5 0 0 0
5 1 0 0 0
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
_

_
f
1
=
1
24
_

_
1
4
1
2
0
0
0
_

_
=
_

4
_

_
el elemento 2 con:
K
2
=
1
48
_

_
0 0 0 0 0
0 1 5 0 0
0 5 1 0 0
0 0 0 0 0
0 0 0 0 0
_

_
f =
1
24
_

_
0
1
5
4
0
0
_

_
=
_

4
_

_
el elemento 3 con:
K
3
=
1
48
_

_
0 0 0 0 0
0 0 0 0 0
0 0 1 5 0
0 0 5 1 0
0 0 0 0 0
_

_
f
3
=
1
24
_

_
0
0
7
4
2
0
_

_
=
_

4
_

_
y el elemento 4 con:
16
K
4
=
1
48
_

_
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
0 0 0 1 5
0 0 0 0 1
_

_
f =
1
24
_

_
0
0
0
5
2
11
4
(+)
_

_
=
_

4
_

_
Sumando obtenemos:
K =
1
48
_

_
1 5 0 0 0
5 1 + 1 5 0 0
0 5 1 + 1 5 0
0 0 5 1 + 1 5
0 0 0 0 1
_

_
f =
1
24
_

_
1
4
1
2
+ 1
5
4
+
7
4
2 +
5
2
11
4
(+)
_

_
=
_

4
_

_
Al procedimiento que se basa en la propiedad de aditividad y nos permite encontrar K, f , se lo
denomina ensamble.
Observaciones:
1) La matriz K obtenida por la propiedad de aditividad, tal como est escrita hasta el momento es
una matriz singular, lo cual dice entre otras cosas que no tiene inversa.
2) Dado que hemos utilizado la descripcin local para encontrar las K
e
y f
e
, y que se habian quitado
de sus expresiones los trminos que las modican y que provienen de las condiciones de contorno, entonces
aun no se han tenido en cuenta las condiciones de borde.
Condicin esencial : establece que = 0 =
0
en x = 0. Para hacerla cumplir estrictamente entonces
la funcin N
i
del elemento
1
debe ser cero, lo cual anula las integrales que denen los cohecientes de
la primer ecuacion del sistema denido por las matrices econtradas (K
11
= K
12
= 0 ). (Tener presente
que estamos integrando el residuo), adems
0
= 0 que multiplica a los coecientes K
i1
por 0. Como
consecuencia el sistema se reduce en una ecuacin (en este caso la primera) y en una incgnita (
0
)que
no es tal por la condicin de contorno en x = 0.
Condicin natural : establece que
@
@x
= 1 en x = 1. Luego de integrar por partes y elegir W
l
(1) =
W
l
(1) di lugar a que apareciera el tercer trmino en f
l
por lo que la primer ecuacion del sistema
1
48

0
+
5
48

1
=
_
N
l
(x = 0)
@N
m
(x = 0)
@x
_
pero
0
= 0, W
l
(x = 0) = 1, entonces podemos encontrar una aproximacin a:
@(0)
@x
=
5
48

1
El segundo trmino en la expresin de f
l
modica el trmino independiente asociado a la ltima
ecuacin del sistema, ya que establece que:
(N
l
(x) (1))
x=1
Teniendo en cuenta nuestra aproximacin, N
l
(x = 1) = N
4
2
(x = 1) = 1, por lo tanto:
f
4
=
1
24
11
4
+ (1) (1) =
107
96
=
1
24
107
4
Con estas consideraciones, el sistema a resolver ser:
17
1
48
_

_
2 5 0 0
5 2 5 0
0 5 2 5
0 0 0 1
_

_
_

4
_

_
=
1
24
_

_
3
2
3
9
2
107
4
_

_
Observese que si no se tiene la condicin = 0 en x = 0 (condicin esencial), la matriz K seguira
siendo singular (de alli su nombre), en cuyo caso existiran inniatas soluciones que diferirn en un valor
constante (compatible indeterminado).
El sistema de de cuatro ecuaciones con cuatro incgnitas puede ahora resolverse para obtener:
=
_

4
_

_
=
_

_
13171
184
2579
92
10887
184
107
2
_

_
Para escribir la solucin aproximada, podemos encontrar N
e
m
(x) que por la (10) sern:
e = 1 h
e
= 1=4 x
i
= 0 N
1
i
(x) = 1 4x N
1
j
(x) = 4x
e = 2 h
e
= 1=4 x
i
=
1
4
N
2
i
(x) = 2 4x N
2
j
(x) = 4x 1
e = 3 h
e
= 1=4 x
i
=
1
2
N
3
i
(x) = 3 4x N
3
j
(x) = 4x 2
e = 4 h
e
= 1=4 x
i
=
3
4
N
4
i
(x) = 4 4x N
4
j
(x) = 4x 3
entonces:
^
=
_

_
0N
1
j
(x) +
1
N
1
j
(x) 0 _ x _
1
4

1
N
2
i
(x) +
2
N
2
j
(x)
1
4
_ x _
1
2

2
N
3
i
(x) +
3
N
3
j
(x)
1
2
_ x _
3
4

3
N
4
i
(x) +
4
N
4
j
(x)
3
4
_ x _ 1
_

_
18