1 El Mtodo de Elementos Finitos (MEF)

1.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 necesario para determinar la forma de las aproximaciones
^
n (que se establecen para
todo el dominio ).
Las funciones de prueba que se utilizan para armar
^
n 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
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
^
n es hacerlo por tramos. Esto signica dividir el dominio en
subdominios
t
a los que llamaremos elementos, los cuales no deben superponerse, y elegir las expresiones
para
^
n 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:
_

\
l
1

d =
J

t=1
_
_
_

e
\
l
1

d
_
_
(1a)
_

\
l
1

d =
J

t=1
_
_
_

e
\
l
1

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

t=1

t
(2a)
=
J

t=1

t
(2b)
donde 1 representa el nmero de subdivisiones
t
(nmero de elementos) en los que se ha dividido
el dominio y
t
es la parte del subdominio
t
que se encuentra sobre .
1
Figura1: Discretizacin con
elementos
1.1.1 Aproximacin mediante funciones de forma denidas por tramo
En la Fig.[2] el dominio = [0, 1] se ha dividido eligiendo puntos r
I
(i = 1, 2, ..., ') que pertenecen a ,
siendo r
1
= 0 y r
1
= 1. Cada elemento
t
se dene como el intervalo r
t
_ r _ r
t+1
. A la subdivisin
del dominio la denominaremos discretizacin. En la misma gura se muestra la aproximacin de una
funcin n 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
^
n tiene valor constante dentro de cada elemento (subdo-
minio), resultando una funcin discontinua en los puntos donde un elemento se conecta con sus vecinos.
2
Figura 3: Funciones de prueba constantes
La funcin
^
n puede escribirse en este caso:
n
^
n =
11

n=1
^
n
n

n
en (3)

n
=
_
1 si c = :
0 si c ,= :
_
(4)
Donde
n
es una funcin de forma global discontinua, como puede observarse en Fig.[3], que tiene
valor 1 en el elemento : y cero en el resto del dominio;
^
n
n
es el parmetro que toma el valor de la
funcin n en el nodo :.
Si se piensa la aproximacin desde el punto de vista de los elementos, esta resulta:
n
^
n = n
t

t
=
^
n
t
en el elemento c (5)
La aproximacin que se obtendr no va a coincidir en los extremos (r = 0 y r = 1) con los valores
que toma la funcin original n en esos puntos. Una manera de obtener una mejor aproximacin sera
disminuir la longitud de los elementos que tienen como punto medio a los nodos 1 y ' 1.
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.[2], 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 : se le asocia una funcin
n
global con las siguientes propiedades:
es no nula dentro de los elementos que se encuentran conectados por el nodo :
es nula en los restantes elementos (elementos que no contienen al nodo :)

n
= 1 en r = r
n

n
= 0 en r

,= r
n
(r

y r
n
son las coordenadas r de los nodos , y : respectivamente)
3
Figura 4: Aproximacin con elementos lineales
Desde un punto de vista global, nuevamente:
n
^
n =
11

n=1
^
n
n

n
en (6)
Figura 5: Funciones de prueba lineales
Donde, ahora tenemos que, si los nodos consecutivos i, ,, /:

(r) =
_
_
_
rri
rjri
para r
I
_ r _ r

r+r
k
r
k
rj
para r

_ r _ r
|
0 para r _ r
I
y r _ r
|
_
_
_
(7)
Donde

(r
|
) =
_
1 para , = /
0 en cualquier otro caso
_
(8)
Con estas consideraciones entonces
^
n
n
es el valor que toma la funcin n en el nodo :. En este caso,
^
n
automticamente coincide con con los valores de n en los extremos (r
1
y r
1
). Si se piensa la aproximacin
desde el punto de vista de los elementos, en este caso:
4
n
^
n = n
I

t
I
+ n

en el elemento c (9)
Donde:
n
I
y n

son los valores que toma la funcin n en el nodo i y en el nodo , respectivamente

t
I
y
t

son funciones de interpolacin lineales que se denen como:

t
I
=
/
t
(r r
I
)
/
t
(10)

=
(r r
I
)
/
t
/
t
= r

r
I
Para encontrar los coecientes de la aproximacin debemos plantear el residuo, si se utiliza Galerkin
(\
l
=
l
), puede escribirse como:
J
_
r=0

l
_
n
^
n
_
dr (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).
1.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:
(n) = /(n) + j = 0 en (12)
y de las condiciones de borde asociadas
1(n) = /(n) + r = 0 en (13)
Si aplicamos residuos ponderados para obtener una aproximacin discreta
_

\
l
1

d +
_

\
l
1

d = 0 (14)
1

= (
^
n) = /(
^
n) + j en (15a)
1

= 1(
^
n) = /(
^
n) + 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?
5
1.2.1 Condiciones de continuidad
Para obtener una respuesta a la pregunta planteada, se analizan los siguientes 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)
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 se indetermina 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
tengan derivadas continuas de orden d1. Diremos entonces que nuestras funciones requieren continuidad
de orden d 1, y utilizaremos la notacin C
J1
.
6
Si en /() y /() no aparecen derivadas (d = 0) podremos utilizar la primera funcin denida por
tramos (Fig.[6a) ]); si aparecen derivadas primeras (d = 1) podremos utilizar la segunda funcion denida
por tramos (Fig.[ 6b)]) continuidad C
0
y si aparecen derivadas segundas utilizar concontinuidad C
1
(Fig.[6c ]).
Las condiciones de continuidad que deben cumplir las funciones de prueba tambin son exigibles a las
funciones de peso \
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. Las condiciones de continuidad establecidas constituyen condicin suciente
para que sea vlido utilizar las funciones de peso \
l
.
Si reemplazamos a n por
^
n denida como en (9) en la expresin del residuo (14) se tiene:
_

\
l
_
/(
^
n) + j
_
d +
_

\
l
_
/(
^
n) + r
_
d = 0 (16)
_

\
l
/(
^
n)d +
_

\
l
j d +
_

\
l
/(
^
n)d +
_

\
l
rd = 0
Al agrupar trminos convenientemente, se obtienen:
1
ln
=
_

\
l
/(
^
n)d +
_

\
l
/(
^
n)d (17)
)
l
=
_

\
l
j d +
_

\
l
rd
1.3 Clculos bsicos del mtodo de elementos nitos. Problemas unidimen-
sionales (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 1
ln
y )
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.
7
1.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 1
ln
es:
1
ln
=
_

\
l
/(
n
) d (18)
Si adoptamos un dominio unidimensional, = [0, 1] (solo a los nes de aportar mayor claridad)
podemos escribir la expresin anterior como:
1
ln
=
J
_
0
\
l
(r) /(
n
(r)) dr (19)
=
r1
_
r0=0
\
l
(r) /(
n
(r)) dr +
r2
_
r1
\
l
(r) /(
n
(r)) dr + ... +
r=J
_
r
M1
\
l
(r) /(
n
(r)) dr
=
J

t=1
_

e
\
l
(r) /(
n
(r)) d
=
J

t=1
1
t
ln
En las expresiones (19) con
_

e
se denota la integracin sobre dominio
t
del elemento; en el interior
del elemento c se cumple que
n
=
t
n
(si por ejemplo utilizamos (7)) (lo mismo valdra para \
l
=
t
l
)
entonces:
1
t
ln
=
_

e
\
t
l
(r) /(
t
n
(r)) d (20)
y como consecuencia
1
ln
=
J

t=1
1
t
ln
(21)
Lo mismo sucede con )
l
, haciendo las mismas consideraciones que para 1
ln
:
)
l
=
_

\
l
j d +
_

\
l
r d (22)
=
r1
_
r0=0
\
l
(r) j dr +
r2
_
r1
\
l
(r) j dr + .. +
r=J
_
r
M1
\
l
(r) j dr + \
l
(0) r + \
l
(1) r
=
J

t=1
_
_
_

e
\
l
(r) j d
_
_
+ 1
=
J

t=1
)
t
l
8
1 = \
l
(0) r + \
l
(1) r (23)
)
t
l
=
_

e
\
t
l
(r) j d + 1 (24)
)
l
=
J

t=1
)
t
l
(25)
donde )
t
l
es la componente del vector de trminos independientes para el elemento
t
= [r
t1
, r
t
].
Para los elementos que tengan nodos en el contorno del dominio 1 estar dada por alguno de los
trminos de la (23) (siendo 1 = 0 para los elementos que no tengan ningn nodo que pertenezca a ).
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
t
y el vector f
t
de cada elemento tpico

t
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, procedimiento que se abordar con ms
detalle ms adelante.
Matriz K es bandeada Las funciones de forma
|
se denen de modo tal que pueden ser pensadas
como que estn asociadas al nodo /, como se esquematiza en la siguiente gura:
Figura 7: Funciones de forma lineales en sistema global
Entonces, la funcin global
n
,= 0 en
n
y
n+1
y nula en el resto del dominio. Si el elemento c
que comprende
t
esta denido en una dimensin, podr compartir su nodo i con el elemento c 1 y su
nodo , con elelemento c + 1. De modo que
I
,= 0 en el dominio de los elementos c 1 y c y nula en el
resto del dominio similarmente con

,= 0 en los elementos c y c + 1 y nula en los restantes elementos.

Lo mismo sucede con las derivadas, lo que produce que 1i, = 0 si el elemento no contine a los nodos i o
,. 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 aspecto.
Por ejemplo, observando la Fig.[7], la funcin
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 est 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 1
I
= 1
I
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.
9

0
2
c
0r
2
+ c = )(r) para 0 _ r _ 1
)(r) = r
c = 0 en r = 0
c = 0 en r = 1
Se adoptan las
n
denidas en forma global como en (7), por lo cual solo debe minimizarse el residuo
en el dominio (las funciones cumplen con las condiciones de contorno).
1
_
0
\
l
_
_

0
2
^
c
0r
2
+
^
c )(r)
_
_
dr = 0
Si se integra por partes el primer trmino para obtener la forma dbil del residuo:
1
_
0
\
l
0
2
^
c
0r
2
dr =
_
_
\
l
_
_
0
^
c
0r
_
_
r=1
\
l
_
_
0
^
c
0r
_
_
r=0
_
_
1

_
0
0\
l
0r
0
^
c
0r
dr

_
_
_

1
_
0
0\
l
0r
0
^
c
0r
dr +
_
_
\
l
_
_
0
^
c
0r
_
_
r=1
\
l
_
_
0
^
c
0r
_
_
r=0
_
_
_
_
_
+
1
_
0
\
l
^
cdr
1
_
0
\
l
)(r)dr = 0
pero \
l
=
l
, \
l
(0) = \
l
(1) = 0 , operando y teniendo en cuenta las condiciones de contorno
resulta:
1
_
0
_
_
0\
l
0r
0
^
c
0r
+ \
l
^
c
_
_
dr =
1
_
0
\
l
)(r)dr
Si se subdivide el dominio en 4 subdominios (' = 4), las incgnitas sern los parmetros a
n
= c
n
=
c(r
n
)
La aproximacin de la funcin incgnita (ver Fig. [7]) estar dada por:
c
^
c =
4

n=1
c
n

n
: = 1, 2, .., 4
Donde
n
estan denidas en forma global como en (7) cuya grca es como en Fig.[7], si se utiliza
Galerkin, las funciones de peso son:
\
l
=
l
para | = 1, 2, ..., 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 (7). Si se utilizaran las funciones asociadas a los nodos 0 y 4,
por las condiciones de contorno se tendra que c
0
= c
4
= 0)
10
1.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:
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 [r
I
, r

] 1) Dominio [
1
,
2
]
2) Nodos i, , 2) Nodos 1, 2
3) Grados de libertad n
I
, n

3) Grados de libertad n
1
, n
2

4) Funciones de forma
_

t
I
(r) ,
t

(r)
_
4) Funciones de forma
t
1
() ,
t
2
()
5) Funcin de interpolacin (prueba) 5) Funcin de interpolacin (prueba)
^
c
t
= a
I

t
I
(r) + a

(r)
^
c
t
= a
1

t
1
() + a
2

t
2
()
Para relacionar los dominios global y local, se utiliza una transformacin an que se dene como:
: [r
I
, r

] [
1
,
2
] tal que (r
I
) =
1
y (r

) =
2
(26)
Es usual adoptar
1
= 1 y
2
= 1, entonces (r) puede escribirse como:
(r) = a + /r (27)
11
para obtener los valores de a y / se debe resolver el siguiente sistema:
1 = a + /r
I
(28)
1 = a + /r

(29)
con lo cual se obtiene que:
(r) =
2r r
I
r

r
I
(30a)
Pero el tamao del elemento es /
t
= r

r
I
entonces:
(r) =
2r r
I
r

/
t
(31)
La funcin inversa a (r) se obtiene despejando de la anterior la variable r
r() =
/
t
+ r
I
+ r

2
(32a)
r() =
(r

r
I
)
2
+
(r

+ r
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:

t
I
(r) =
/
t
(r r
I
)
/
t

(r) =
(r r
I
)
/
t
/
t
= r

r
I
si reemplazamos r() en las expresiones anteriores obtenemos:

t
1
() =
1
2
(1 ) (33)

t
2
() =
1
2
(1 + )
Con lo cual se completa el punto de vista local del elemento.
Si se utilizan las expresiones (33) se puede escribir (32a) como:
r() =
t
1
()r
I
+
t
2
()r

(34)
La (34)muestra que la interpolacin del dominio es la misma que para la funcin incgnita c. A la
expresin (34) se la denomina mapeamiento de la geometra.
Se sintetizan a continuacin algunas expresiones que sern tiles para continuar con los clculos
necesarios.
Integracin por partes (teorema de Green): sea la funcin n y el operador diferencial d,
denidas en el dominio cuyo contorno es , entonces:
_

nd = n [

dn (35)
Cambio de variables: sea una funcin real integrable ) denida en el intervalo [r
1
, r
2
] que se nota:
12
) : [r
1
, r
2
] 1
y sea r una funcin continuamente diferenciable que cumple con r(
1
) = r
1
y r(
2
) = r
2
cuya
notacin es:
r : [
1
,
2
] [r
1
, r
2
]
entonces
r2
_
r1
) (r) dr =

2
_

1
) (r())
0r()
0
d (36)
Regla de la cadena: sea una funcin ) integrable y diferenciable () : [r
1
, r
2
] 1) y r una funcin
continuamente diferenciable (r : [
1
,
2
] [r
1
, r
2
]), entonces:
0
0
) (r()) =
0) (r())
0r
0r()
0
(37)
1.3.3 Clculo de la matriz de coecientes o matriz de rigidez
La matriz de coecientes 1
ln
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 la estructura asociada a un desplazamiento generalizado unitario.
La expresin para obtener la matriz de coecientes 1
ln
(20), con las
t
n
(r) denidas globalmente
por tramos:
1
t
ln
=
_

e
\
t
l
(r) /(
t
n
(r)) d
puede ahora ser calculada a partir de la visin local del elemento utilizando el cambio de variables y
la regla de la cadena para el clculo de las derivadas de la siguiente manera (por simplicidad se presenta
para un dominio unidimensional):
1
t
ln
=
_
|
e
\
t
l
(r) /(
t
n
(r))dr (38)
=
1
_
1
\
t
l
(r()) /(
t
n
(r()))
0r()
0
d
1.3.4 Clculo del vector de trminos independientes o vector de cargas
El vector de trminos independientes )
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 )
l
(24)
)
t
l
=
_

e
\
t
l
(r) j d
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):
13
)
t
l
=
1
_
1
\
t
l
(r()) ) (r) dr (39)
Esta expresin contiene a la funcin ) (r) contnua, adems de la funcin de peso (que en el caso
de utilizar Galerkin ser
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 se utilice
una aproximacin paramtrica a ) (r). En el caso que resulte conveniente podrian utilizarse las mismas
fuciones de forma y escribir entonces:
) (r)
J

t=1
)
t
(r) =
J

t=1
_
) (r
I
)
t
I
(r) + ) (r

)
t

(r)

(40)
) (r
I
) y ) (r

) son los valores que toma ) (r) en las coordenadas de los nodos i y ,, con lo cual se
obtiene una forma discreta tambin para ) (r). (Cabe aclarar que es posible utilizar otro conjunto de
funciones de forma para discretizar ) (r) si fuera ms apropiado). Entonces:
)
t
l
=
1
_
1
\
t
l
(r())
_
J

t=1
_
) (r
I
)
t
I
(r) + ) (r

)
t

(r)

_
dr (41)
EJEMPLO 2:
Tomando un problema similar al denido en el ejemplo 4 del captulo anterior:
0
2
c
0r
2
+ c + ) (r) = 0
) (r) = r
c = 0 en r = 0
0c
0r
= 1 en r = 1
El residuo entonces es:
1
_
0
\
l
_
_
0
2
^
c
0r
2
+
^
c + ) (r)
_
_
dr +
_
\
l
_
^
c 0
__
r=0
+
_
\
l
_
0c
0r
1
__
r=1
= 0
Integrando por partes:
1
_
0
\
l
0
2
^
c
0r
2
dr =
_
_
\
l
0
^
c
0r
_
_
r=1

_
_
\
l
0
^
c
0r
_
_
r=0

1
_
0
0\
l
0r
0
^
c
0r
dr
Reemplazando
_
_
\
l
0
^
c
0r
_
_
r=1

_
_
\
l
0
^
c
0r
_
_
r=0

1
_
0
0\
l
0r
0
^
c
0r
dr+
1
_
0
\
l
^
cdr
1
_
0
\
l
) (r) dr+
_
\
l
_
^
c 0
__
r=0
+
_
\
l
0c
0r
+ \
l
(1)
_
r=1
= 0
Si se adopta
_
\
l
_
r=1
= (\
l
)
r=1
y se utiliza Galerkin, quedan:

1
_
0
0\
l
0r
0
^
c
0r
dr +
1
_
0
\
l
^
cdr
1
_
0
\
l
) (r) dr +
_
_
\
l
0
^
c
0r
_
_
r=0
+
_
\
l
_
^
c 0
__
r=0
+
_
(1) \
l

r=1
= 0
14
La solucin aproximada estar dada por:
c
^
c = c
1

1
+ c
2

2
+ c
3

3
+ c
4

4
+ c
5

5
donde c
|
son los parmetros incgnitas, que representan al valor de la funcin en la coordenada nodal
r
|
como en (6).
Reemplazando la solucin aproximada y agrupando convenientemente, las expresiones de los coe-
cientes de la matriz de rigidez y del vector de cargas generales son:
1
ln
=
1

_
0
0
l
0r
0
n
0r
dr +
1
_
0

n
dr
)
l
=
1
_
0

l
) (r) dr
Los trminos
1 =
_
\
l
_
^
c 0
__
r=0
+
_
_
\
l
0
^
c
0r
_
_
r=0
+
_
(1) \
l

r=1
no estan incluidos 1
ln
y )
l
se tendrn en cuenta en el momento de aplicar las condiciones en los contornos.
El sistema puede escribirse como:
K +f = 0
Si ahora subdividimos el dominio en cuatro subdominios de igual longitud (discretizamos con cuatro
elementos), de modo tal que el nodo 1 tenga coordenada r = 0 y el nodo 5 r = 1, como en la gura:
Si adoptamos las funciones de forma denidas por

t
I
(r) =
|
e
(rri)
|
e
J
e
i
(r)
Jr
=
1
|
e

(r) =
(rri)
|
e
J
e
j
(r)
Jr
=
1
|
e
/
t
= r

r
I
r() =
(rjri)
2
+
(rj+ri)
2
Jr()
J
=
|
e
2
y utilizamos estas funciones para calcular las integrales tendremos:
1
t
ln
=
_
|
e
0
t
l
(r)
0r
0
t
n
(r)
0r
dr +
_
|
e

l
(r)
n
(r) dr
Si se utiliza el cambio de variable r() y la regla de la cadena se tiene
1
t
ln
=
1
_
1
0
t
l
(r())
0
0 (r)
0r
0
t
n
(r())
0
0 (r)
0r
0r()
0
d +
1
_
1

l
(r())
n
(r())
0r()
0
d
donde:
15

t
1
() =
1
2
(1 )
J
e
1
()
J
=
1
2

t
2
() =
1
2
(1 + )
J
e
2
()
J
=
1
2
(r) =
2rrirj
|
e
J(r)
Jr
=
2
|
e
notar que
0 (r)
0r
=
_
0r()
0
_
1
dr =
dr()
d
d
=
_
r
I
d
t
1
()
d
+ r

d
t
2
()
d
_
d
=
_
1
2
r
I
+
1
2
r

_
d =
_
r

r
I
2
_
d
dr =
_
/
t
2
_
d
1
t
ln
=
1
_
1
0
t
l
()
0
2
/
t
0
t
n
()
0
2
/
t
/
t
2
d +
1
_
1

l
()
n
()
/
t
2
d
Haciendo las mismas consideraciones para el vector de cargas, utilizaremos una parametrizacin de
la funcin fuente )(r) mediante sus valores nodales y las funciones de interpolacin de cada elemento,
entonces:
)(r)
4

t=1
)
t
(r) =
4

t=1
_
) (r
I
)
t
I
(r) + ) (r

)
t

(r)

i = 1, 2, 3, 4
, = 2, 3, 4, 5
si se reemplaza en la anterior y se utiliza el cambio de variable (del mapeamiento)
)
t
l
=
_
|
e

t
l
(r())
__
) (r
I
)
t
I
(r()) + ) (r

)
t

(r())
_
0r()
0
d
)
t
I
=
1
_
1

t
I
()
_
) (r
I
)
t
I
() + ) (r

)
t

()

/
t
2
d para | = i
)
t

=
1
_
1

()
_
) (r
I
)
t
I
() + ) (r

)
t

()

/
t
2
d para | = ,
Para el elemento c genrico:
16
K
t
=
_
1
t
11
1
t
12
1
t
21
1
t
22
_
f
t
=
_
)
t
1
)
t
2
_
explcitamente:
1
t
11
=
1
_
1
J
e
1
()
J
2
|
e
J
e
1
()
J
2
|
e
|
e
2
d +
1
_
1

1
()
1
()
|
e
2
d
=
1
_
1
_
1
2
_ _
1
2
_
2
|
e
d +
1
_
1
1
2
(1 )
1
2
(1 )
|
e
2
d =
|
e
3

1
|
e
1
t
12
=
1
_
1
J
e
1
()
J
2
|
e
J
e
2
()
J
2
|
e
|
e
2
d +
1
_
1

1
()
2
()
|
e
2
d
=
1
_
1
_
1
2
_ _
1
2
_
2
|
e
d +
1
_
1
1
2
(1 )
1
2
(1 + )
|
e
2
d =
|
e
6
+
1
|
e
)
t
1
=
1
_
1

t
1
() [) (r
I
)
t
1
() + ) (r

)
t
2
()]
|
e
2
d
=
1
_
1
1
2
(1 )
_
)
1
1
2
(1 ) + )
2
1
2
(1 + )

|
e
2
d =
|
e
}1
3
+
|
e
}2
6
1
t
21
=
1
_
1
J
e
2
()
J
2
|
e
J
e
1
()
J
2
|
e
|
e
2
d +
1
_
1

2
()
1
()
|
e
2
d
=
1
_
1
_
1
2
_ _
1
2
_
2
|
e
d +
1
_
1
1
2
(1 + )
1
2
(1 )
|
e
2
d =
|
e
6
+
1
|
e
1
t
22
=
1
_
1
J
e
2
()
J
2
|
e
J
e
2
()
J
2
|
e
|
e
2
d +
1
_
1

2
()
2
()
|
e
2
d
=
1
_
1
_
1
2
_ _
1
2
_
2
|
e
d +
1
_
1
1
2
(1 + )
1
2
(1 + )
|
e
2
d =
|
e
3

1
|
e
)
t
2
=
1
_
1

t
2
() [) (r
I
)
t
1
() + ) (r

)
t
2
()]
|
e
2
d
=
1
_
1
1
2
(1 + )
_
)
1
1
2
(1 ) + )
2
1
2
(1 + )

|
e
2
d =
|
e
}1
6
+
|
e
}2
3
K
t
=
_
|
e
3

1
|
e
|
e
6
+
1
|
e
|
e
6
+
1
|
e
|
e
3

1
|
e
_
f
t
=
/
t
6
_
2)
1
+ )
2
)
1
+ 2)
2
_

t
=
_
c
t
1
c
t
2
_
Para c = 1, /
t
= 1,4, )
1
= )(0) = 0, )
2
= )(1,4) = 1,4, c
1
1
= c
1
, c
1
2
= c
2
17
K
1
=
1
24
_
94 97
97 94
_
f
1
=
1
24
_
1,4
1,2
_

1
=
_
c
1
1
c
1
2
_
=
_
c
1
c
2
_
Para c = 2, /
t
= 1,4, )
1
= )(1,4) = 1,4, )
2
= )(1,2) = 1,2, c
2
1
= c
2
, c
2
2
= c
3
K
2
=
1
24
_
94 97
97 94
_
f
2
=
1
24
_
1
5,4
_

2
=
_
c
2
1
c
2
2
_
=
_
c
2
c
3
_
Para c = 3, /
t
= 1,4, )
1
= )(1,2) = 1,2, )
2
= )(3,4) = 3,4, c
3
1
= c
3
, c
3
2
= c
4
K
3
=
1
24
_
94 97
97 94
_
f
3
=
1
24
_
7,4
2
_

3
=
_
c
3
1
c
3
2
_
=
_
c
3
c
4
_
Para c = 4, /
t
= 1,4, )
1
= )(3,4) = 3,4, )
2
= )(1) = 1, c
4
1
= c
4
, c
4
2
= c
5
K
4
=
1
24
_
94 97
97 94
_
f
4
=
1
24
_
5,2
11,4
_

4
=
_
c
4
1
c
4
2
_
=
_
c
4
c
5
_
Debido a la propiedad de aditividad de las matrices K
t
y del vector f
t
, 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 c
1
, c
2
, c
3
, c
4
, c
5
por lo cual la
matriz global K tendr dimensin 5 x 5, 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
24
_

_
94 97 0 0 0
97 94 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
_

_
=
_

_
c
1
c
2
c
3
c
4
c
5
_

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

_
0 0 0 0 0
0 94 97 0 0
0 97 94 0 0
0 0 0 0 0
0 0 0 0 0
_

_
f =
1
24
_

_
0
1
5
4
0
0
_

_
=
_

_
c
1
c
2
c
3
c
4
c
5
_

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

_
0 0 0 0 0
0 0 0 0 0
0 0 94 97 0
0 0 97 94 0
0 0 0 0 0
_

_
f
3
=
1
24
_

_
0
0
7
4
2
0
_

_
=
_

_
c
1
c
2
c
3
c
4
c
5
_

_
y el elemento 4 con:
K
4
=
1
24
_

_
0 0 0 0 0
0 0 0 0 0
0 0 0 0 0
0 0 0 94 97
0 0 0 97 94
_

_
f =
1
24
_

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

_
=
_

_
c
1
c
2
c
3
c
4
c
5
_

_
Sumando obtenemos:
18
K =
1
24
_

_
94 97 0 0 0
97 94 94 97 0 0
0 97 94 94 97 0
0 0 97 94 94 97
0 0 0 97 94
_

_
f =
1
24
_

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

_
=
_

_
c
1
c
2
c
3
c
4
c
5
_

_
K +f = 0
Al procedimiento que se basa en la propiedad de aditividad y nos permite encontrar K, f , del
problema 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 se ha utilizado la descripcin local para encontrar K
t
y f
t
, y que se tuvieron en cuenta
solo las expresiones vlidas para todos los elementos, aun no se han tenido en cuenta las condiciones de
borde ni el trmino remanente de la integracin por partes que se agruparon en 1.
1 =
_
\
l
_
^
c 0
__
r=0
+
_
_
\
l
0
^
c
0r
_
_
r=0
+
_
(1) \
l

r=1
Condicin esencial : (primer trmino en 1) establece que c = 0 en r = 0. Esto involucra a la primer
ecuacin del elemento 1. Para hacer cumplir estrictamente esta condicin c(0) =
^
c(0) = c
1

1
, pero

1
(0) = 1 entonces c
1
= 0, con lo cual se cumple la condicin de contorno y no tenemos residuo en
r = 0 (la primer ecuacin en realidad no existira). Adems c
1
= 0 multiplica a los coecientes 1
I1
por
0. Como consecuencia el sistema se reduce en una ecuacin (en este caso la primera) y en una incgnita
(c
1
que no es tal por ser conocida por la condicin de contorno en r = 0).
Condicin natural : como remanente de la integracin por partes qued el trmino
_
\
l
J
^

Jr
_
r=0
.
Recordando que se adopt \
l
(1) = \
l
(1). Reescribiendo la ecuacin del sistema original eliminada
a nivel matricial por estar asociada a la condicin Dirichlet (en este caso la primera) y recordando que
c
1
= 0,
1
(r = 0) = 1, entonces:
1
11
c
1
+ 1
12
c
2
= )
1

_
_

1
0
^
c
0r
_
_
r=0
97
24
c
2
=
1
4
1
24
1
_
_
0
^
c
0r
_
_
r=0
despejando
_
0c
0r
_
r=0

1
96

97
24
c
2
19
El ltimo trmino en 1 provena de la condicin de contorno en r = 1. Esto afecta a la segunda
ecuacin del elemento 4. Reescribiendo la ltima ecuacin:
1
54
c
4
+ 1
55
c
5
= )
5

_
(1) \
l

r=1
Pero \
l
(1) = \
l
(1) =
5
(r = 1) = 1, entonces el trmino independiente asociado a la ltima
ecuacin del sistema se modica.
)
5
=
1
24
11
4
(1) (1) =
107
96
=
1
24
107
4
Con estas consideraciones, el sistema a resolver ser:
1
24
_

_
188 97 0 0
97 188 97 0
0 97 188 97
0 0 97 94
_

_
_

_
c
2
c
3
c
4
c
5
_

_
=
1
24
_

_
3
2
3
9
2
107
4
_

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

_
c
1
c
2
c
3
c
4
_

_
=
_

_
0.6621968143
1.267969083
1.764382440
2.105266986
_

_
Para escribir la solucin aproximada, podemos encontrar
t
n
(r) que por la (10) sern:
c = 1 /
t
= 1,4 r
I
= 0
1
I
(r) = 1 4r
1

(r) = 4r
c = 2 /
t
= 1,4 r
I
=
1
4

2
I
(r) = 4r
2

(r) = 4r 1
c = 3 /
t
= 1,4 r
I
=
1
2

3
I
(r) = 3 4r
3

(r) = 4r 2
c = 4 /
t
= 1,4 r
I
=
3
4

4
I
(r) = 4 4r
4

(r) = 4r 3
entonces:
^
c =
_

_
c
1

1
I
(r) + c
2

(r) 0 _ r _
1
4
c
2

2
I
(r) + c
3

(r)
1
4
_ r _
1
2
c
3

3
I
(r) + c
4

(r)
1
2
_ r _
3
4
c
4

4
I
(r) + c
5

(r)
3
4
_ r _ 1
_

_
1.4 Detalles de la formulacin del problema de segundo orden y su modelado
por elementos nitos
En los problemas que suelen presentarse para resolver, originados en algn problema de ingeniera, suelen
contener distintos tipos de discontinuidades. Se analizar como se debe formular un problema con el
objeto de claricar las consideraciones a tener al momento de discretizar el dominio y el contorno para
resolver el problema utilizando el mtodo de elementos nitos.
Se supone que el caso a resolver est planteado en la siguiente gura:
20
Figura 9: Discontinuidades tpicas
Muchos problemas de fsica se formulan utilizando dos variables, una denominada variable de estado
n y el ujo o. Estas dos variables se relacionan entre s por medio de la ecuacin constitutiva que describe
el comportamiento del material sometido al proceso en estudio. Si dicho comportamiento es lineal, la
relacin constitutiva tiene la siguiente forma:
o (r) = / (r)
0n(r)
0r
(42)
/ (r) se denomina mdulo del material, y es un dato del problema, y se asume que es siempre positivo
o siempre negativo.
La ley de conservacin establece que para un dado dominio el ujo neto es cero. El ujo puede estar
presente de una forma distribuda, descripta por la funcin ) (r), de una forma puntual, descripta por
) (r) c (r r
J
) o a traves de los bordes de la regin, condiciones de contorno.
Adems de las condiciones que establecen la ley de conservacin y la ecuacin constitutiva sobre la
variable de estado n(r), se pide que n sea una funcin continua de r. Otra condicin que se puede pedir es
que n(r) tome un valor determinado en uno o ambos extremos, a lo que hemos denominado condicin de
borde esencial. Las dems condiciones que pueden imponerse pueden derivarse de la ley de conservacin.
En la gura se observa que se tienen las siguientes discontinuidades:
en la funcin que describe el ujo distribudo ) (r) en r = r
1
en la funcin que describe el ujo distribudo ) (r) en r = r
3
donde presenta una discontinuidad
dada por la funcin delta de Dirac
en el mdulo / en r = r
2
(se supone que / es continuo dentro de cada subdominio)
Las discontinuidades en los datos llevan a denir cuatro subdominios dentro de los cuales los datos
son suaves y un total de cinco puntos donde hay discontinuidades, los dos extremos y los tres puntos
dentro del dominio, enumerados recientemente, donde se tiene alguna discontinuidad en los datos.
A continuacin se escribe la expresin general de una ecuacin diferencial de segundo orden:
a
0
(r)
0
2
n(r)
0r
2
+ a
1
(r)
0n(r)
0r
+ a
2
(r) n(r) = ) (r) (43)
Donde las a
|
(r) nunca se anulan ni cambian de signo en el dominio (esto est relacionado con el
hecho de estar tratando problemas de tipo elpticos).
La forma ms general de expresar las condiciones de borde relacionadas con una ecuacin diferencial
de segundo orden es:
21
c
0
0n(0)
0r
+ ,
0
n(0) =
0
en r = r
0
(44)
c
J
0n(1)
0r
+ ,
J
n(1) =
J
en r = r
J
Porcin del dominio donde los datos son suaves Analizaremos el planteo matemtico sobre una
porcin a-b del dominio, donde todos los datos son continuos y suaves, como se esquematiza en la siguiente
gura:
Por la ley de conservacin, el ujo debe conservarse para todo punto, entonces:
o (/) o (a) =
b
_
o
) (r) dr (45)
tomando lmite en ambos miembros:
lim
b!r
+
o (/) lim
o!r

o (a) = lim
b!r
+
o!r

_
_
b
_
o
) (r) dr
_
_
como ) (r) es acotada, en el lmite de la integral es 0, entonces:
[o (r)] = lim
b!r
+
o (/) lim
o!r

o (a) = 0 (46)
siendo [o (r)] el salto del ujo o en el punto r.
El resultado de la (46) dice que, si no hay discontinuidades, el ujo es continuo en todos los puntos
de un dominio suave.
Como ) (r) es continua, puede utilizarse el teorema del valor medio del clculo integral
b
_
o
) (r) dr = (/ a) ) () con a _ _ /
donde ) () es el valor promedio de ) (r) en [a, /]. Entonces
o (/) o (a) =
b
_
o
) (r) dr
= (/ a) ) ()
y
o (/) o (a)
(/ a)
= ) ()
22
tomando lmites en ambos miembros:
lim
b!r
+
o!r

_
o (/) o (a)
(/ a)
_
= lim
b!r
+
o!r

() ())
como la funcin es continua, el lmite de la parte izquierda existe y es la derivada, por lo tanto el otro
lmite existe entonces, para toda regin suave puede escribirse:
0o (r)
0r
= ) (r)
Reemplazando en esta ltima la expresin de la ecuacin constitutiva (42) se tiene:
) (r) =
0o (r)
0r
=
0
_
/ (r)
Ju(r)
Jr
_
0r
=
0
0r
_
/ (r)
0n(r)
0r
_
entoces, sepuede decir que:
) (r) =
0
0r
_
/ (r)
0n(r)
0r
_
como / (r) es suave, entonces la expresin anterior puede expandirse a:

0/ (r)
0r
0n(r)
0r
/ (r)
0
2
n(r)
0r
2
= ) (r) (47)
Si comparamos esta ltima con la (43), y consideramos que:
a
0
(r) = / (r)
a
1
(r) =
J|(r)
Jr
a
2
(r) = 0
tenemos que (47) es una ecuacin diferencial del tipo (43).
Porciones del dominio donde los datos no son suaves. Discontinuidades nitas. Discon-
tinuidad nita en la fuente distribuda ) (r)
Es el caso que se produce en el punto r = r
1
de la Fig.[9]. Anlizaremos una porcin que incluye la
discontinuidad, como se muestra en la siguiente gura:
Por la ley de conservacin se tiene:
o (/) o (a) =
b
_
o
) (r) dr
23
tomando lmites
lim
b!r
+
o (/) lim
o!r

o (a) = lim
b!r
+
o!r

_
_
b
_
o
) (r) dr
_
_
lim
b!r
+
o!r

_
_
b
_
o
) (r) dr
_
_
= 0
con lo que tenemos:
[o (r)] = 0
que el salto del ujo o en el punto r sigue siendo homogeneo, pero debido a la discontinuidad de ) (r)
no es aplicable el teorema del valor medio. Aunque / (r)
Ju(r)
Jr
fuera continua
J
Jr
_
/ (r)
Ju(r)
Jr
_
no
existe por no existir el lmite, lo cual signica que en r = r
1
no tenemos ecuacin diferencial.
Discontinuidad en la ecuacin constitutiva / (r) (cambio de material)
Este tipo de discontinuidad es del tipo que se produce en la zona de contacto entre dos materiales
diferentes, y por lo tanto de relaciones constitutivas distintas, como en el punto r = r
2
.
Por la ley de conservacin:
o (/) o (a) =
b
_
o
) (r) dr
Al aplicar lmites, nuevamente tenemos que el salto en el punto r donde se produce la discontinuidad
es homogeneo, matemticamente [o (r)] = 0. Como ) (r) es continua, se puede aplicar el teorema del
valor medio del clculo integral, obteniendo que:
lim
b!r
+
o!r

_
o (/) o (a)
(/ a)
_
= lim
b!r
+
o!r

() ())
0o (r)
0r
= ) (r)
Si ahora se reemplaza la expresin de la ecuacin constitutiva en esta ltima se tiene:
0
0r
_
/ (r)
0n(r)
0r
_
= ) (r)
pero en este caso, / (r) es discontinua y no puede expandierse como en (47). La ecuacin diferencial
existe en el punto pero no puede ser expandida.
Discontinuidad simple en la fuente distribuda dada por la funcin delta de Dirac (fuente
puntual)
Es el caso representado por el punto r = r
3
en Fig.[9], donde se presenta una fuente puntual.
24
Nuevamente, por la ley de conservacin del ujo
o (/) o (a) =
b
_
o
) (r) dr +
b
_
o
)c (r r
3
) dr
recordando que:
) (r) : parte suave y continua de la fuente
)c (r r
3
) : fuente puntual
Tomando lmites en ambos miembros:
lim
b!r
+
o (/) lim
o!r

o (a) = lim
b!r
+
o!r

_
_
b
_
o
) (r) dr
_
_
+ lim
b!r
+
o!r

_
_
b
_
o
)c (r r
3
) dr
_
_
se tiene que:
lim
b!r
+
o!r

_
_
b
_
o
) (r) dr
_
_
= 0
lim
b!r
+
o!r

_
_
b
_
o
)c (r r
3
) dr
_
_
= ) (r
3
)
por lo tanto:
[o (r)] = )
Esta ltima indica que en este caso se tiene un salto no homogeneo en el ujo. Adems, lim
b!r
+
o!r

_
b
_
o
)c (r r
3
) dr
_
es independiente de los lmites de integracin, por lo tanto
Jc(r)
Jr r=r3
no est denida lo que impide denir
al ecuacin diferencial en ese punto.
Discontinuidad producida por la presencia de un borde del dominio
Hasta ahora no hemos analizado a las condiciones de borde como una discontinuidad. En los bordes
se presenta la particularidad que a un lado del punto se tiene dominio y del otro lado no, lo cual puede
interpretarse como una discontinuidad donde se dene la interaccin del sistema que se esta estudiando
con el medio que lo rodea especicando en los bordes el valor de la variable de estado o del ujo.
25
En los segmentos de extremo tambin se cumple la ley de conservacin, en consecuancia:
o (/) o (0) =
b
_
0
) (r) dr
tomando lmites, cuando /
+
0 se tiene que o (0) o
0
, y cuando a

1 que o (1) o
J
. Por la
ley constitutiva, entonces:
o
0
= / (0)
0n(0)
0r
(48)
o
J
= / (1)
0n(1)
0r
lo cual lleva a que estas condiciones estan jando el valor de la derivada de la variable de estado en los
extremos. Las expresiones anteriores presentan la forma general de expresar las condiciones naturales.
En otras situaciones (como en el caso de transferencia de calor por conveccin, referido a la ecuacin
de calor) se supone que el ujo es proporcional a la diferencia entre el valor de la variable de estado en
el borde n(0) o n(1) y su valor de referencia en el medio circundante n
1
(conocida como temperatura
de la fuente innita). Este tipo de condicin se escribe matemticamente como:
o
0
= 1
0
[n(0) n
1
]
o
J
= 1
J
[n(1) n
1
]
donde 1
o
y 1
J
en general es una constante que depende del mdulo que corresponde al material del
medio circuandante. Si se reemplaza la anterior en (48):
/ (0)
0n(0)
0r
= 1
0
[n(0) n
1
]
/ (1)
0n(1)
0r
= 1
J
[n(1) n
1
]
estas expresiones tambin son condiciones de contorno de tipo natural (por el hecho de estar involu-
crada la derivada de la variable de estado n).
En el caso de problemas donde se especican solo condiciones de tipo natural en el borde, deber
satisfacerse una condicin global de conservacin dada por:
o
0
+ o
J
=
J
_
0
) (r) dr (49)
(Nota: en este ltimo caso, la expresion (49) garantiza la existencia de la solucin, no garantiza la
unicidad.)
IMPORTANTE: las discontinuidades condicionan la discretizacin, esto se debe a que las funciones
de forma no podrn acomodarse a las discontinuidades. En otras palabras, en el momento de particionar
el dominio en elementos se colocar un nodo en los puntos donde se produzca algn tipo de dicontinuidad
en los datos. Los trminos que involucran a las discontinuidades no pertenecern a la descripcin local
caracterstica de los elementos, apareciendo cuando se suman las contribuciones de todos los elementos
a la matriz de rigidez (matriz de coecientes) y al trmino de carga (vector de trminos independientes).
26
1.4.1 Funciones de forma (o de interpolacin o aproximantes). Polinomios de Lagrange.
Cuando se utilizan como funciones de interpolacin a polinomios de Lagrange se obtiene la formulacin de
un elemento de tipo Lagrangeano. Los polinomios se denen en el sistema local del elemento [1, 1]
y se utiliza la transformacin (31) para asociar a la variable local con la variable global r. Debemos
recordar que las funciones de forma
I
() tienen las siguientes propiedades:

I
_

_
=
_
1 si i = ,
0 si i ,= ,
_
que muestra que las :+1 funciones
I
() forman un conjunto linealmente independiente, conformando
una base para cualquier polinomio de grado : o menor. Esta propiedad se traslada a las funciones
globales por tramo que se obtienen a partir de estos polinomios que forman la base. Recordando la
denicin de los polinomios de Lagrange de orden ::
1
n
() = )
I
n+1

=1
6=I
_

_
_

_
y su orden de error de truncamiento asociado es:
1 O
_
/
n+1
_
siendo / la separacin entre nodos vecinos y )
I
= 1 para el caso de las funciones de forma, con lo cual la
expresin general para un polinomio de orden : (que involucrar a : + 1 puntos o nodos) ser:

I
() =
n+1

=1
6=I
_

_
_

_
La condicin de completitud para los polinomios de Lagrange deviene de la condicin impuesta a la
familia de funciones con las cuales se arma la solucin aproximada. Esta condicin deca que la funcin
aproximante deba tener la posibilidad de representar cualquier variacin de la funcin incgnita en el
dominio. Esta condicin es muy importante. Por ejemplo, si faltara el trmino proporcional a r
1
estando
presentes los que son proporcionales a r
0
, r
2
, r
3
, ..., r
n
esto tendr como consecuencia inmediata que
1 O(/) y no a 1 O
_
/
n+1
_
. Si el trmino faltante fuera el proporcional a r
0
puede suceder que
las funciones de interpolacin no tengan ninguna convergencia. Otra implicancia es que, si la funcin
incgnita tiene derivadas hasta orden :, con : _ :, no importar cuanto se aumente el grado : del
polinomio en la funcin aproximante ya que solo los primeros : trminos servirn para aproximar a la
funcin, estando el error dado por 1 O(/
s
), por lo tanto si se quiere mejorar la convergencia lo que se
debe hacer es disminuir el tamao de los elementos (subdominios).
1.4.2 Condiciones de borde
Se presentan a continuacin los tres casos principales que se obtienen a partir de la expresin general
(presentada para un dominio unidimensional):
c
0
0n(0)
0r
+ ,
0
n(0) =
0
en r = r
0
c
J
0n(1)
0r
+ ,
J
n(1) =
J
en r = r
J
Una vez sumadas las contribuciones elementales, el sistema global tiene la forma:
27
_

_
/
1
11
/
1
12
0 ... 0 0
/
1
21
/
1
22
+ /
2
11
/
2
12
... 0 0
0 /
2
21
/
2
22
+ /
3
11
... 0 0
0 0 /
3
21
... 0 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 0 ... /
n1
22
+ /
n
11
/
n
12
0 0 0 ... /
n
21
/
n
22
_

_
_

_
n
1
n
2
n
3
n
4
.
.
.
n
n1
n
n
_

_
=
_

_
)
1
1
+ o

(0)
)
1
2
+ )
2
1
)
2
2
+ )
3
1
)
3
2
+ )
4
1
.
.
.
)
n1
1
+ )
n
1
)
n
2
+ o

(1)
_

_
(o

(0) y o

(1) si correspondiesen)
Condicin esencial o de Dirichlet
Se especican los valores de la variable de estado en los extremos:
c
0
= c
J
= 0, n
0
= n(0) =

0
,
0
y n
J
= n(1) =

J
,
J
(50)
Esto produce que el nmero de incgnitas se reduce en dos, lo que permite reducir el sistema de
ecuaciones en dos (no hay residuo en los bordes)
_

_
/
1
22
+ /
2
11
/
2
12
... 0 0
/
2
21
/
2
22
+ /
3
11
... 0 0
0 /
3
21
... 0 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 ... /
n1
22
+ /
n
11
/
n
12
_

_
_

_
n
2
n
3
n
4
.
.
.
n
n1
_

_
=
_

_
)
1
2
+ )
2
1
/
1
21
n
0
)
2
2
+ )
3
1
)
3
2
+ )
4
1
.
.
.
)
n1
1
+ )
n
1
/
n
12
n
J
_

_
Condiciones naturales generales
Corresponden al caso que se especica en el contorno una combinacin lineal de la variable de estado
y del ujo.
0n(0)
0r
=

0
,
0
n(0)
c
0
(51)
0n(1)
0r
=

J
,
J
n(1)
c
J
n
0
= n(0)
n
J
= n(1)
Haciendo uso de la relacin constitutiva (42) resulta:
o
0
= / (0)
0n(0)
0r
= / (0)
_

0
,
0
n(0)
c
0
_
o
J
= / (1)
0n(1)
0r
= / (1)
_

J
,
J
n(1)
c
J
_
(Observacin:
Ju(0)
Jn
=
Ju(0)
Jr
y
Ju(J)
Jn
=
Ju(J)
Jr
)
que al ser reemplazadas en el sitema global queda:
_

_
/
1
11

|(0)o
0
o0
/
1
12
0 ... 0 0
/
1
21
/
1
22
+ /
2
11
/
2
12
... 0 0
0 /
2
21
/
2
22
+ /
3
11
... 0 0
0 0 /
3
21
... 0 0
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
0 0 0 ... /
n1
22
+ /
n
11
/
n
12
0 0 0 ... /
n
21
/
n
22
+
|(J)o
L
oJ
_

_
_

_
n
1
n
2
n
3
n
4
.
.
.
n
n1
n
n
_

_
=
_

_
)
1
1

|(0)~
0
o0
)
1
2
+ )
2
1
)
2
2
+ )
3
1
)
3
2
+ )
4
1
.
.
.
)
n1
2
+ )
n
1
)
n
2
+
|(J)~
L
o
L
_

_
28
Sistema que puede ser resuelto para las : incgnitas.
Condicin natural de Newman
En este caso se especica el valor del ujo en los extremos.
0n(0)
0r
=

0
c
0
y
0n(1)
0r
=

J
c
J
(52)
Este tipo de condicin requiere se tengan ciertas consideraciones, en relacin al tipo de ecuacin que
se est resolviendo. La ecuacin general de gobierno:
a
0
(r)
0
0r
_
/ (r)
0n(r)
0r
_
+ a
1
(r)
0n(r)
0r
+ a
2
(r) n(r) = ) (r)
si a
1
(r) = a
2
(r) = 0, queda:
a
0
(r)
0
0r
_
/ (r)
0n(r)
0r
_
= ) (r) (53)
0
0r
_
/ (r)
0n(r)
0r
_
=
) (r)
a
0
(r)
Si n es solucin de (53) con las condiciones (52), entonces n + C
0
(C
0
una constante arbitraria)
tambin es solucin del mismo problema. Esto signica que la matriz de rigidez es singular (sistema
compatible indeterminado).
Las constantes que denen las condiciones (52) no pueden ser arbitrarias, ya que debe satisfacerse la
condicin de conservacin global del ujo (que establece que se debe conservar el ujo en todo el dominio).
Para el caso ms general la forma dbil del problema tendr la forma:
J
_
0
/ (r)
0\
0r
0
n
0r
dr =
J
_
0
\) (r) dr + )\ (r) / (0)

0
c
0
+ / (1)

J
c
J
vlido para cualquier funcin \. Si una solucin del problema es n = C
o
lo cual hace que:
J
_
0
/ (r)
0\
0r
0
n
0r
dr = 0
por lo cual:
J
_
0
\) (r) dr + )\ (r) / (0)

0
c
0
+ / (1)

J
c
J
= 0 (54)
La expresin (54) es una condicin de compatibilidad, y constituye una condicin necesaria para
que exista la solucin. Para determinar la solucin es imprescindible especicar o asignar un valor al
parmetro n

(correspondiente a un nodo , de la discretizacin).

(Suele asociarse a este problema con un problema de mcanica del slido, donde C
0
representa un
movimiento de cuerpo rgido)
Referencias:
El Mtodo de elementos nitos, O: C. Zienkiewicz
Finite Elements and Approximation; O. C. Zienkiewicz & K. Morgan
29