You are on page 1of 138

XXIV ESCUELA VENEZOLANA DE MATEMTICAS

Introduccin al Mtodo de los


Elementos Finitos: un enfoque
matemtico
Giovanni Caldern
Rodolfo Gallo
MRIDA, VENEZUELA, 4 AL 9 DE SEPTIEMBRE DE 2011
XXIV ESCUELA VENEZOLANA DE MATEMTICAS
Introduccin al Mtodo de los Elementos
Finitos: un enfoque matemtico
Giovanni Caldern
Rodolfo Gallo
Departamento de Matemticas
Facultad de Ciencias
Universidad de Los Andes
email giovanni@ula.ve, rodolfog@ula.ve
MRIDA, VENEZUELA, 4 AL 9 DE SEPTIEMBRE DE 2011
ii
XXIV ESCUELA VENEZOLANA DE MATEMTICAS
La Escuela Venezolana de Matemticas es una actividad de los postgra-
dos en matemticas de las instituciones siguientes: Centro de Estudios
Avanzados del Instituto Venezolano de Investigaciones Cientcas, Fa-
cultad de Ciencias de la Universidad Central de Venezuela, Facultad de
Ciencias de la Universidad de Los Andes, Universidad Simn Bolvar,
Universidad Centroccidental Lisandro Alvarado y Universidad de Orien-
te, y se realiza bajo el auspicio de la Asociacin Matemtica Venezolana.
La XXI ESCUELA VENEZOLANA DE MATEMTICAS recibi apoyo nan-
ciero de: Academia de Ciencias Fsicas, Matemticas y Naturales de
Venezuela, Banco Central de Venezuela, Instituto Venezolano de Inves-
tigaciones Cientcas (Centro de Estudios Avanzados, Departamento de
Matemticas y Ediciones IVIC), Universidad de Los Andes (CEP, CD-
CHT, Departamento de Matemticas de la Facultad de Ciencias, De-
canato de Ciencias y Vicerrectorado Administrativo), Fundacite Mrida,
Unin Matemtica de Amrica Latina y el Caribe, y CIMPA (Centre
International de Mathmatiques Pures et Appliques).
2010 Mathematics Subject Classication: 65N30.
c _Ediciones IVIC
Instituto Venezolano de Investigaciones Cientcas
RIF: G-20004206-0
Introduccin al Mtodo de los Elementos Finitos: un enfoque mate-
mtico
Giovanni Caldern y Rodolfo Gallo
Diseo y edicin: Escuela Venezolana de Matemticas
Preprensa e impresin: Editorial Texto
Depsito legal If66020115102608
ISBN 978-980-261-129-4
Caracas, Venezuela
2011
iii
Prefacio
El modelado de distintos procesos fsicos, cuya correcta comprensin,
prediccin y control son importantes para las ciencias y la ingeniera, se
hace a travs de ecuaciones diferenciales parciales (EDP). Entre tales pro-
cesos se pueden citar: los problemas de la mecnica de uidos, reacciones
qumicas, deformacin de los cuerpos slidos, campos electromagnticos
y muchas ms. En la mayora de los casos, la solucin exacta de estos
modelos es desconocida y a veces ni siquiera se sabe si existe una solu-
cin nica. Por estas razones, en general, la nica manera de resolver
las EDP que se plantean en estos modelos es recurriendo a mtodos
numricos para denir una solucin aproximada. Hoy en da, los mto-
dos numricos para EDP constituyen una parte indivisible de la ciencia
y la ingeniera moderna. Resulta comn, debido a su potencial y ver-
satilidad, que el mtodo de elementos nitos (MEF) sea frecuentemente
el ms utilizado para obtener una solucin aproximada a cualquiera de
estos problemas.
La partida de nacimiento del mtodo est fechada en 1956, ver Turner
et al. [1], y surge de la resolucin de problemas estructurales complejos
(con mentalidad prctica ingenieril). No obstante, tiene hondas races
matemticas, en la lnea del procedimiento de Ritz para obtener solu-
ciones aproximadas de ecuaciones diferenciales (el mtodo de Ritz data
de 1909) o dentro de los llamados mtodos de residuos ponderados (el
mtodo de Galerkin). Esta generalidad empez a atraer el inters de los
matemticos, los cuales contribuyeron decisivamente a explicar con rigor
las bases del MEF. Sin embargo, debe hacerse notar que la contribucin
de los matemticos al MEF ha ido siempre muy por detrs de las apli-
caciones prcticas. El primer libro importante en que se analiza el MEF
desde un punto de vista matemtico fue publicado en 1973, ver Strang
and Fix [2], casi 20 aos despus de la presentacin del mtodo.
iv G. Caldern y R. Gallo
Hoy en da, dos grandes lneas de investigacin enmarcan el MEF.
Una, como herramienta ingenieril, donde sus reas bsicas de desarrollo
han estado muy vinculadas a la presin de la industria por resolver
determinados problemas. La segunda, de carcter matemtico, busca
dar el rigor terico a las distintas tcnicas numricas que envuelven el
mtodo, y principalmente desarrollada por grupos de investigacin de
ndole acadmico. En muchas etapas de su evolucin se ha concebido
y aplicado con xito una determinada tcnica numrica antes de encon-
trar su justicacin matemtica rigurosa. Resulta imposible describir
exhaustivamente el estado del arte en cualquiera de estas dos lneas de
investigacin. Por tal motivo, en este texto, solo se har hincapi en
algunas referencias de carcter general, y que han constituido una fuente
primordial de informacin para el desarrollo del texto.
Es comn que un curso de introduccin al MEF siga una vertiente
netamente informtica, dejando de lado los fundamentos matemticos.
Este hecho produce un perl exclusivo de usuario y limita al estudiante
a iniciarse en campos de investigacin relacionados con las propiedades
y evolucin del MEF. Ahora bien, la forma ms elegante de explicar los
fundamentos matemticos del MEF parte del anlisis funcional; este es
el marco en el que hay que situarse si se quiere estudiar con rigor las
bases del MEF e investigar sobre sus propiedades matemticas. Sin em-
bargo, desde un punto de vista pedaggico, iniciar el estudio del MEF,
situndose en este marco puramente matemtico, tiene serios inconve-
nientes. Pues, se corre el riesgo de desanimar a los estudiantes que se
acercan por primera vez al MEF y de fomentar entre ellos la idea de que
el mtodo es solo una gran teora matemtica, difcil de entender, y sin
relacin aparente con la forma en que luego se resuelven los problemas
reales. Debido a que el objetivo general del texto es el de proporcionar al
estudiante (postgraduados, o estudiantes avanzados, en matemticas o
ingeniera) las bases matemticas e informticas en el uso del MEF para
la resolucin de problemas de las ciencias y la ingeniera, el enfoque del
texto se realizar buscando una doble vertiente. Por una parte, se sigue
una descripcin rigurosa en el formalismo matemtico que fundamenta
el MEF. Por otra, se har nfasis en la implementacin del mtodo y el
postproceso de lo resultados en aplicaciones prcticas.
Se debe destacar que el texto representa, desde el punto de vista de los
autores, una introduccin del MEF; el cual ha ido evolucionando en el
MEF: un enfoque matemtico v
transcurso de varios aos, siendo usado para el dictado de cursos electi-
vos en el postgrado de matemticas. Y, aunque con este enfoque se gana
en rigor y elegancia matemtica, se pierde en la profundidad del tipo de
problema a resolver. Pues, en todo el texto, solo sern tratados proble-
mas estacionarios de campo escalar. Dejando los problemas transitorios
y mecnicos fuera del alcance del curso. De esta forma, el material est
organizado de la siguiente manera:
En el primer captulo, se desarrollan los fundamentos del anlisis fun-
cional necesarios para emprender la formulacin y anlisis del mtodo,
ver, por ejemplo, Adams [3] y Brzis [4]. Sin embargo, y en lnea gen-
eral, los texto de carcter matemtico que estudian el MEF, incluyen las
herramientas necesarias del anlisis funcional a medida que desarrollan
el mtodo, entre otros se pueden citas los textos de Brenner y Scott [5],
oln [6], Reddy [7], Ciarlet [8], Oden [9].
El segundo captulo est dedicado a la formulacin variacional del
problema. En el tercer captulo, se introduce el mtodo de Galerkin y
sus propiedades. En estos dos captulos, cualquiera de los textos citados
anteriormente pueden ser usados. Adems, se pueden citar a Johnson
[10], Becker et al. [11], Oden y Carey [12].
En el cuarto y ltimo captulo, se formula el MEF junto a todas las
herramientas matemticas necesarias para su implementacin. Nueva-
mente, cualquier texto de la literatura citada puede ser til al momento
de seguir el captulo. Textos con un enfoque ms ingenieril, pueden es-
tar dados por Zienkiewicz [13], Lewis [14] y Cerrolaza [15]. Estos textos,
adems, pueden ser usados para extender los conocimientos al estudio
de problemas mecnicos.
Al nal de cada apartado, se presenta una lista de ejercicios relaciona-
dos con el contenido del captulo. Los cdigos (MATLAB) de ayuda
para la implementacin de algunos de los ejercicios, el tutorial del soft-
ware propuesto para la generacin de las malla, adems, de material que
puede complementar a este texto, se puede encontrar en la pgina web:
http://webdelprofesor.ula.ve/ciencias/giovanni.
Textos, orientados a temas particulares de la ciencia mediante el uso
del MEF, son cada da ms abundantes y especcos. Lneas de investi-
gacin, donde en el pasado otros mtodos numricos predominaban, hoy
son inuenciadas muy satisfactoriamente por el MEF. Por ejemplo, en el
caso de la mecnica de los uidos, han surgidos nuevos enfoques para el
vi G. Caldern y R. Gallo
mtodo, que lo han colocado, en muchos caso, por arriba de los mtodos
tradicionales, ver Rivire [16], Li [17], Donea y Huerta [18], y Thome
[19], entre otros. Por otro lado, y debido principalmente a la comple-
jidad de los problemas tratados, las soluciones aproximadas obtenidas
por el MEF son, o requieren ser, certicadas aceptadas mediante co-
tas de error. Estas son impuestas segn las propiedades del problema
o exigencias particulares requeridas por el usuario. En el presente, la
mayora de los avances realizados dentro del campo del MEF se dan en
esta direccin. Debido a esto, existen diversas tcnicas para resolver el
problema de la estimacin y correccin del error. Entre los textos bsicos,
en esta direccin, se pueden citar, Ainsworth y Oden [20] y, Bangerth y
Rannacher [21], entre otros.
Como nota nal, queremos agradecer al comit organizador de la XXIV
Escuela Venezolana de Matemticas, la oportunidad de dictar este curso,
el cual puede contribuir al empuje que necesitan las matemticas apli-
cadas en nuestras licenciaturas y postgrados.
Los autores.
Contenido
Prefacio iii
1 Preliminares del Anlisis Funcional 1
1.1 Espacios lineales . . . . . . . . . . . . . . . . . . . . . . . 1
1.1.1 Espacios L
p
() . . . . . . . . . . . . . . . . . . . . 2
1.1.2 Complementos ortogonales en espacios de Hilbert . 3
1.1.3 Operadores en espacios lineales normados . . . . . 4
1.1.4 Operadores en un espacio de Hilbert real . . . . . . 6
1.2 Funcionales lineales . . . . . . . . . . . . . . . . . . . . . . 8
1.3 Distribuciones y Espacios de Sobolev H
m
() . . . . . . . 10
1.3.1 El espacio de Sobolev . . . . . . . . . . . . . . . . 13
1.4 Formas bilineales . . . . . . . . . . . . . . . . . . . . . . . 15
1.4.1 Formas bilineales continuas . . . . . . . . . . . . . 16
1.4.2 Formas bilineales H-elpticas . . . . . . . . . . . . . 17
1.5 El Teorema de Lax-Milgram . . . . . . . . . . . . . . . . . 18
1.6 Frmula de Green . . . . . . . . . . . . . . . . . . . . . . 21
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2 Formulacin Variacional para Problemas de Valor de Fron-
tera 25
2.1 Problema modelo unidimensional . . . . . . . . . . . . . . 26
2.1.1 Formulacin variacional del problema modelo uni-
dimensional . . . . . . . . . . . . . . . . . . . . . . 28
2.1.2 Equivalencia del problema fuerte y variacional . . . 30
2.1.3 Condicin de frontera no homognea . . . . . . . . 31
2.2 Problema modelo 2D . . . . . . . . . . . . . . . . . . . . . 32
2.2.1 Condicin de frontera Dirichlet homognea . . . . 33
vii
viii CONTENIDO
2.2.2 Condicin de frontera Dirichlet no homognea . . . 37
2.2.3 Condicin de frontera Neumann . . . . . . . . . . . 38
2.2.4 Condicin de frontera Robin . . . . . . . . . . . . . 39
2.2.5 Condicin de frontera esencial y natural . . . . . . 40
2.2.6 Combinacin de condiciones de frontera naturales
y esenciales . . . . . . . . . . . . . . . . . . . . . . 41
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3 Mtodo de aproximacin 45
3.1 El mtodo de Galerkin . . . . . . . . . . . . . . . . . . . . 46
3.2 Propiedades de la aproximacin de Galerkin . . . . . . . . 51
3.2.1 Ortogonalidad del error y Lema de Ca . . . . . . 51
3.2.2 Convergencia del mtodo de Galerkin . . . . . . . 54
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
4 El Mtodo de los Elementos Finitos 59
4.1 El MEF para problemas de segundo orden . . . . . . . . . 60
4.1.1 La malla de elementos nitos . . . . . . . . . . . . 61
4.1.2 Puntos nodales . . . . . . . . . . . . . . . . . . . . 61
4.1.3 Funciones bases
i
. . . . . . . . . . . . . . . . . . 62
4.1.4 La solucin aproximada . . . . . . . . . . . . . . . 65
4.2 Problema unidimensional . . . . . . . . . . . . . . . . . . 67
4.2.1 Ensamblaje (1D) . . . . . . . . . . . . . . . . . . . 73
4.2.2 La transformacin isoparamtrica . . . . . . . . . . 75
4.2.3 Integracin numrica . . . . . . . . . . . . . . . . . 76
4.2.4 Estimacin del error . . . . . . . . . . . . . . . . . 77
4.3 Elementos bidimensionales . . . . . . . . . . . . . . . . . . 79
4.3.1 Elementos triangulares . . . . . . . . . . . . . . . . 80
4.3.2 Derivadas y gradientes en el elemento de referencia 83
4.3.3 Matriz de rigidez elemental K
(e)
. . . . . . . . . . 84
4.3.4 Vector de carga elemental F
(e)
. . . . . . . . . . . 86
4.3.5 Coordenadas de rea . . . . . . . . . . . . . . . . . 87
4.3.6 Integracin numrica en elementos triangulares . . 89
4.3.7 Elementos Rectangulares . . . . . . . . . . . . . . . 90
4.3.8 Integracin numrica en elementos rectangulares . 93
4.4 Problema bidimensional . . . . . . . . . . . . . . . . . . . 93
4.4.1 Ejemplo 1. Malla triangular . . . . . . . . . . . . . 93
4.4.2 Ejemplo 2. Malla rectangular . . . . . . . . . . . . 98
CONTENIDO ix
4.5 Condiciones de contorno esenciales . . . . . . . . . . . . . 105
4.5.1 Mtodo 1: Eliminacin de las y columnas . . . . . 105
4.5.2 Mtodo 2: Penalizacin . . . . . . . . . . . . . . . 106
4.5.3 Mtodo 3: Multiplicadores de Lagrange . . . . . . 107
4.6 Funciones de forma de orden superior . . . . . . . . . . . . 108
4.6.1 Funciones de forma de elementos rectangulares . . 109
4.6.2 Funciones de forma de elementos triangulares . . . 111
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
Bibliografa 123
x G. Caldern y R. Gallo
Captulo 1
Preliminares del Anlisis
Funcional
Antes de considerar los aspectos referentes al Mtodo de los Elementos
Finitos (MEF) y su implementacin, se introducen algunos conceptos y
resultados de Anlisis Funcional a los que se har referencia con regula-
ridad a lo largo del texto.
1.1 Espacios lineales
Sea E un espacio lineal sobre el campo K de los nmeros reales o com-
plejos. Por lo general, siempre se tratar con espacios lineales reales.
El espacio E es de dimensin n, si el nmero mximo de vectores li-
nealmente independientes que existen en l es n. En cambio, si en E se
puede encontrar cualquier nmero nito de elementos linealmente inde-
pendientes, se dice que es de dimensin innita.
El espacio C[a, b] es el conjunto de todas las funciones reales conti-
nuas denidas en el intervalo [a, b]. Se denota por C
n
[a, b], al conjunto
de todas las funciones reales que poseen n derivadas continuas en [a, b].
En un espacio lineal se puede asignar a cada elementos x la nocin
de longitud por medio del nmero real [[x[[, llamado norma de x. Un
espacio lineal E en el que se ha introducido una norma se llama espacio
normado.
Sea E un espacio normado. La sucesin u
n

n=1
E se dice acotada
en E, si existe un C > 0 tal que |u
n
| < C para todo n. La sucesin
1
2 G. Caldern y R. Gallo
se dice convergente en E, si existe un elemento u E tal que para todo
0 < R existe un N
0
N tal que |u u
n
| < para todo n > N
0
. El
elemento u es el lmite de la sucesin u
n

n=1
. Usualmente, se escribir
de forma indistinta
lim
n
u
n
= u o [[u u
n
[[ 0 , para n
La sucesin u
n

n=1
E es una sucesin de Cauchy (o sucesin funda-
mental), si para todo > 0 existe un N
0
N tal que
|u
n
u
m
| para todo n, m N
0
Un espacio lineal normado E se llama completo (cerrado), cuando toda
sucesin fundamental de este espacio converge hacia un cierto elemento
u E. Los espacios lineales normados completos se llaman espacios de
Banach. Todo espacio lineal normado de dimensin nita es completo.
Una forma conocida de introducir una norma en un espacio lineal
consiste en denir en este el producto escalar o producto interior (, ).
Lema 1.1. Sea E un espacio con producto interno. Entonces la funcin
|u| =
_
(u, u), con u E, es una norma en E.
Los espacios dotados de un producto interno son llamados espacios
producto interno. Un espacio lineal real normado E, en el cual la norma
est generada por un producto escalar, es decir, [[u[[ =
_
(u, u), se llama
espacio euclidiano. Un espacio euclidiano completo es llamado espacio
de Hilbert H. Todo espacio de Hilbert es un espacio de Banach (pero no
viceversa).
Lema 1.2. (Regla del paralelogramo) Sea V un espacio real normado.
Si la norma | | satisface la regla del paralelogramo
|u +v|
2
+|u v|
2
= 2|u|
2
+ 2|v|
2
u, v V (1.1)
entonces sta induce un producto interno en V. Este producto interno
es denido por la relacin
(u, v) =
1
4
_
|u +v|
2
|u v|
2
_
(1.2)
Demostracin: Ejercicio. Se puede ver la pgina 392 de [6].
1.1.1 Espacios L
p
()
Se introducen algunos espacios de Hilbert que resultan naturales para la
Preliminares del Anlisis Funcional 3
formulacin variacional de los problemas de valor de frontera a conside-
rar. Sea un dominio acotado en R
d
, con d = 2 o 3, y p R con
p 1. Una funcin u denida en se dice que pertenece a L
p
() si u
es medible y la integral (Lebesgue)
_

[u(x)[
p
dx < , esto es:
L
p
() =
_
u : R medible :
_

[u(x)[
p
dx <
_
y
L

() =
_
u : R : sup
x
[u(x)[ <
_
donde el supremo se toma sobre todos los subconjuntos de con medida
distinta de cero (es decir, se cumple casi en todas parte de excepto en
un conjunto de medida cero). Estos espacios se dotan de norma:
|u|
p
=
_
_

[u(x)[
p
dx
_
1/p
, |u|

= sup
x
[u(x)[
Un caso especial de estos espacios, lo representa el espacio
L
2
() =
_
u : R tal que
_

u
2
d <
_
dotado del producto escalar y norma
(u, v)
L
2
()
=
_

uvd, |v|
L
2
()
=
_
_

(v(x))
2
d
_
1/2
= (v, v)
1/2
L
2
()
Observacin: Al menos en los aspectos ms prcticos, para tener una
idea de L
2
(), es suciente usar la integral de Riemann; desde este punto
de vista se puede pensar en una funcin v L
2
() como una funcin
continua a trozos, posiblemente no acotada, tal que
_

v
2
d < .
1.1.2 Complementos ortogonales en espacios de Hilbert
Sea Uun espacio con producto interno y V un subespacio de U; se dene
el complemento ortogonal V

de V como el conjunto
V

= w U; (w, v) = 0 v V
esto es, V

consiste de todos los elementos de U que son ortogonales a


todo elemento de V. Si w pertenece a V

, se dice que w es ortogonal a V


y se escribe wV. Puesto que (v, v) = 0 implica que v = 0, est claro que
el nico miembro tanto de V y V

es el elemento cero: V V

= 0.
4 G. Caldern y R. Gallo
Teorema 1.1. (El teorema de la proyeccin) Sea V un subespacio ce-
rrado de un espacio de Hilbert H. Entonces cada u H se puede escribir
nicamente en la forma
u = v +w, v V, w V

esto es, H = VV

.
1.1.3 Operadores en espacios lineales normados
Sean E y F dos espacios lineales normados. Se dice que sobre el conjunto
D E se da un operador A con valores en F (A : D E F,
operador que acta de E en F), si a cada elemento x D se pone en
correspondencia por una regla determinada un elemento Ax F.
El conjunto D es el dominio de denicin del operador A (Dom(A)).
El conjunto de todos los elementos Ax es el campo de valores del operador
A y se denota por R(A) (Rango de A o imagen de A)
R(A) = v F, A(u) = v para algn u E
El espacio nulo N(A) de A es el conjunto de todos los elementos del
dominio de A cuya imagen es cero:
N(A) = u E : Au = 0 .
Un operador A : E F es inyectivo (o uno-a-uno), si dos elementos
distintos u
1
,= u
2
de E son aplicados en dos elementos distintos de F.
Esto es, A es 1 1 si u
1
,= u
2
implica Au
1
,= Au
2
.
Teorema 1.2. Un operador lineal A es 11 si, y solo si, el espacio nulo
de A es N(A) = 0.
Un operador A se llama lineal, si
A(u +v) = Au +Av
para todos los u, v Dom(A) y , nmeros del campo K. El espacio
lineal de todos los operadores lineales A : E F se denota por L(E, F).
Ejemplo 1.1. Uno de los operadores lineales ms importantes del Anli-
sis es el operador de diferenciacin (Dy(x) =
d
dx
y(x) = y

(x)), que
puede ser considerado en diferentes espacios. Este operador no est
denido sobre todo el espacio de las funciones continuas C[a, b], sino en
el espacio ms reducido C
1
[a, b] de las funciones que tienen primera deri-
Preliminares del Anlisis Funcional 5
vada continua y su campo de valores es C[a, b]
d
n
dx
n
: C
n
[a, b] C[a, b]
No resulta muy conveniente considerar el operador que acta de C
1
[a, b]
en C[a, b], ya que no se puede aplicar dos veces a cualquier funcin
de C
1
[a, b]. Si se considera el operador de diferenciacin en el espacio
an ms reducido C
2
[a, b], se puede considerar la ecuacin diferencial
y

(x) + y(x) = f(x), o en forma de operadores Ly(x) = y

(x) + y(x) =
f(x), donde L es un operador de C
2
[a, b] en C[a, b].
Un operador lineal A se llama acotado, si existe una constante M > 0
tal que para cualquier x Dom(A) se cumple que
[[Ax[[
F
M[[x[[
E
donde [[ [[
E
es la norma en E y [[ [[
F
es la norma de F. La menor de las
constantes M, para la que se cumple la desigualdad anterior, se llama
norma del operador y se denota mediante [[A[[.
De la denicin de norma se deduce que
[[A[[ = sup
||x||
E
=1
[[Ax[[
F
es decir, la cota superior mnima de los valores que toma [[Ax[[
F
sobre
la bola unitaria del espacio E se llama norma del operador lineal A. Es
evidente la siguiente propiedad
[[A[[ = sup
x=0
[[Ax[[
F
[[x[[
E
En un espacio de dimensin nita, todo operador lineal es acotado.
Para resolver las ecuaciones del tipo Ax = y, se introduce el concepto
de operador inverso A
1
. Sea A un operador de E en F. Si a cada y F
le corresponde uno y solo un x E, para el cual Ax = y, entonces, por
esta correspondencia se dene el operador A
1
inverso de A con dominio
de denicin F y campo de valores E.
El operador inverso A
1
existe si, y solo si, la ecuacin homognea
Ax = 0 posee solo la solucin trivial. El operador inverso A
1
existe y
es acotado si, y solo si, existe una constante > 0 tal que
[[Ax[[
F
[[x[[
E
para todos los x E.
6 G. Caldern y R. Gallo
1.1.4 Operadores en un espacio de Hilbert real
Sea A un operador lineal acotado que acta en el espacio de Hilbert real
H. De acuerdo con la denicin general de norma de un operador, se
tiene que
[[A[[ = sup
||x||=1
[[Ax[[ = sup
x=0
_
(Ax, Ax)/(x, x) , x H
Por consiguiente, se cumple la desigualdad (Ax, Ax) [[A[[
2
(x, x) para
cualquier x H. Utilizando la desigualdad de Cauchy, se obtiene
(Ax, x) [[Ax[[ [[x[[ =
_
(Ax, Ax)/(x, x)
_
[[A[[
2
(x, x)
2
= [[A[[(x, x)
El operador A

se llama operador conjugado de A, si para todos los


x, y H se cumple que (Ax, y) = (x, A

y). El operador A se llama auto


conjugado (simtrico) en H, si A

= A, es decir, (Ax, y) = (x, Ay), para


cualesquiera x, y H.
Ejemplo 1.2. Sea el operador A una matriz de orden m n, A =
(a
ij
), i = 1, 2, . . . , m j = 1, 2, . . . , n, y sean x e y dos vectores de
dimensiones n y m, respectivamente. Entonces el producto escalar
(Ax, y) =
m

i=1
_
n

j=1
a
ij
x
j
_
y
i
=
n

j=1
x
j
_
m

i=1
a
ji
y
i
_
= (x, A

y)
De aqu se deduce que el operador conjugado de la matriz A es la matriz
transpuesta A

= (a
ji
).
Si el operador A es una matriz cuadrada de orden n, A = (a
ij
), i, j =
1, 2, . . . , n y los vectores x e y son de dimensiones n, entonces, para el
producto escalar se obtiene
(Ax, y) =
n

i=1
_
n

j=1
a
ij
x
j
_
y
i
=
n

j=1
x
j
_
n

i=1
a
ji
y
i
_
= (x, A

y)
De aqu se deduce que para que el operador A sea autoconjugado, la
matriz cuadrada A tiene que ser simtrica (A = A

).
El operador A que acta en el espacio de Hilbert H se llama positivo
(A > 0) si (Ax, x) > 0 para todos los x H, excepto x = 0. El operador
A es no negativo (A 0), si (Ax, x) 0 para todos los x H.
Ejemplo 1.3. Sea el espacio F = C[0, 1] con producto escalar (f, g) =
_
1
0
f(t)g(t)dt y considere el operador Ly = y

, denido en el conjunto
Preliminares del Anlisis Funcional 7
E =
_
y C
2
[0, 1]; y(0) = y(1) = 0
_
; E es un subespacio lineal de F y
Ly F para todo y E ( es decir, y

(t) es una funcin continua). Para


todo y, z E, se tiene que
(Ly, z) =
_
1
0
Ly(t) z(t) dt =
_
1
0
y

(t) z(t) dt
Integrando esta expresin por partes y teniendo en cuenta que y(0) =
y(1) = z(0) = z(1) = 0, se obtiene
(Ly, z) =
_
1
0
y

(t) z(t) dt = z(t) y

(t)

1
0
+
_
1
0
y

(t) z

(t) dt
es decir,
(Ly, z) =
_
1
0
y

(t) z

(t) dt (1.3)
Anlogamente, se obtiene que (Lz, y) =
_
1
0
y

(t) z

(t) dt. Luego, se puede


concluir que (Ly, z) = (Lz, y) = (y, Lz), Por tanto, el operador L es
simtrico.
Por otro lado, de (1.3) se obtiene que (Ly, y) =
_
1
0
_
y

(t)

2
dt > 0. Si
se tuviera que (Ly, y) =
_
1
0
_
y

(t)

2
dt = 0, esto implicara que y

(t) 0,
ya que y

(t) es una funcin continua. Entonces y(t) = k, donde k es una


constante. Por otra parte, se tiene que y(0) = 0, por lo que k = 0 y
se obtendra que y(t) = k = 0. Por consiguiente, (Ly, y) > 0 excepto
cuando y(t) = 0, y se puede armar que L es un operador positivo.
Ahora, se puede utilizar el operador L para denir un nuevo producto
escalar en E, es decir, (y, z)
L
= (Ly, z). A este producto escalar se le
llama con frecuencia producto escalar energtico o energa del operador
L. A partir de este ejemplo, se puede enunciar el siguiente teorema.
Teorema 1.3. Todo operador lineal A, simtrico y denido positivo de
un espacio lineal E en un espacio lineal F que tiene producto escalar
(, ), da lugar a un segundo producto escalar energtico (, )
A
denido
por (y, z)
A
= (Ay, z), para cada y, z E, siempre que E F.
Se puede ahora introducir el espacio energtico H
A
que se compone
de los elementos y, z, . . . H con producto escalar (y, z)
A
= (Ay, z) y
norma energtica
[[y[[
A
=
_
(Ay, y)
8 G. Caldern y R. Gallo
1.2 Funcionales lineales
Un funcional lineal (o forma lineal) es un caso particular de un operador
lineal, es decir, es un operador lineal que transforma el espacio dado E
en valores de R o C. El espacio de todos los funcionales lineales de un
espacio normado E sobre su cuerpo, L(E, K), se le llama espacio dual
de E, y suele denotarse por E

.
Ejemplo 1.4. Algunos ejemplos de funcionales:
Sea E = R
n
. El operador F : E R denido como el promedio
de las componentes del vector f(v) =
1
n
n

i=1
v
i
, para todo v E,
es un funcional lineal sobre E, es decir, f E

.
El operador integral A : C[a, b] R, denido por A(f)=
_
b
a
f(x)dx,
para todo f C[a, b], es un funcional lineal sobre C[a, b].
Teorema 1.4. (Teorema de Representacin de Riesz) Sea H un
espacio de Hilbert y sea F un funcional lineal continuo de H

. Entonces
existe un nico elemento u H tal que
F(v) = (u, v) v H
Adems, [[F[[
H
= [[u[[
H
.
Demostracin: Nos restringimos, nuevamente, a espacios de Hilbert
reales (vase, por ejemplo, [32] para el caso complejo). En primer lugar,
se prueba la unicidad: supongamos que existen dos elementos u, w H
tal que
F(v) = (v, u) = (v, w) v H
luego, por la linealidad del producto interno
(v, u w) = 0 v H
Tomando v = u w, se tiene que u = w.
A continuacin se prueba la existencia: si el espacio nulo N(F) = H,
entonces F es el funcional lineal cero y se puede denir u = 0. Si
N(F) ,= H, entonces existe un elemento v
0
H tal que F(v
0
) ,= 0. Ya
que N(F) es un subespacio cerrado de H, es posible escribir H como
una suma directa H = N(F) N(F)

. As, el elemento v
0
H puede
Preliminares del Anlisis Funcional 9
descomponerse en la suma v
0
= v
1
+ v
2
, (v
1
, v
2
) = 0, donde v
1
N(F)
y v
2
N(F)

. En particular, si F(v
2
) ,= 0, para z = vF(v
2
) F(v)v
2
se cumple lo siguiente:
F(z) = F(v)F(v
2
) F(v)F(v
2
) = 0 v H
as, z N(F) para todo v H. Ahora, ya que v
2
N(F)

, se tiene
(v
2
, z) = (v
2
, vF(v
2
) F(v)v
2
) = F(v
2
)(v
2
, v) F(v)(v
2
, v
2
) = 0
lo que implica que
F(v) = F(v
2
)(v
2
, v)/|v
2
|
2
v H
Finalmente, se tiene
u =
f(v
2
)
|v
2
|
2
v
2
(1.4)
Queda por demostrar que |F|
H
= |u|
H
. De la desigualdad de
Cauchy-Schwarz ([(u, v)[
2
|u|
2
|v|
2
), se tiene
|F| = sup
v=0
[f(v)[
|v|
= sup
v=0
(u, v)
|v|
sup
v=0
|u||v|
|v|
= |u|
Adems,
|F(u)|
2
= [(u, u)[ = |u|
2
|F||u|
as, |F| |u|. Por lo tanto, [[F[[
H
= [[u[[
H
.
El procedimiento que se muestra en la prueba del Teorema de Repre-
sentacin de Riesz nos permite construir los representantes de la forma
lineal sobre espacios de Hilbert de forma explcita, a travs de (1.4).
Ejemplo 1.5. Sea f un funcional de R
n
(f : R
n
R), entonces f(x)
es un nmero real y, de acuerdo al Teorema de Representacin de Riesz,
se puede encontrar un nico punto y R
n
tal que f(x) = x y.
Por ejemplo, si f es denida por f(x) = x
1
+ x
2
+ . . . + x
n
para
x = (x
1
, . . . , x
n
) R
n
, entonces se puede encontrar y = (y
1
, . . . , y
n
) tal
que x y = x
1
+x
2
+ +x
n
. Basta tomar y = (1, 1, . . . , 1).
Ejemplo 1.6. Sea f un funcional lineal de L
2
(0, 1) denido por f :
L
2
R tal que v f(v) =
_
1/2
0
v(x) dx. De acuerdo al teorema, existe
un nico u L
2
() con la propiedad que
f(v) = (u, v) o
_
1/2
0
v(x) dx =
_
1
0
u(x)v(x) dx
10 G. Caldern y R. Gallo
Claramente, u(x) es la funcin
u(x) =
_
1, 0 < x 1/2
0, 1/2 < x < 1
1.3 Distribuciones y Espacios de Sobolev H
m
()
Notacin multi-ndice: Sea Z
n
+
el conjunto de todas las n-uplas de enteros
no negativos: un miembro de Z
n
+
es usualmente denotado por o , por
ejemplo, = (
1
,
2
, . . . ,
n
), donde cada
i
0. Se denota por
[[, la suma [[ =
1
+
2
+. . . +
n
y por D

u la derivada parcial
D

u =

||
u
x
1

1
x
2

2
. . . x
n

n
As, si [[ = m, entonces D

u denota una de las derivada parciales de


orden m de u.
Denicin 1.1. Sea R
d
un subconjunto abierto y acotado. El espa-
cio de distribuciones (funciones innitamente diferenciables que, junto
con todas sus derivadas, tienen soporte compacto) es denido por
C

0
() =
_
C

() : sop () ; sop() es compacto


_
donde sop () :=
_
x : (x) ,= 0
_
.
Denicin 1.2. Una distribucin en un dominio R
n
, tambin lla-
mada funcin generalizada, ser un funcional lineal continuo que acta
sobre C

0
(). Esto es, : C

0
() R.
Ejemplo 1.7. El funcional delta de Dirac, dado por
: C

0
(, ) R, (u) =
_

(x a)u(x)dx = u(a)
con < x < , dene una distribucin. La continuidad de se sigue de
[(u)[ = [u(a)[ sup

u(x)

= |u|

Si f es una funcin localmente integrable en (


_
K
[f[dx < , para
cada subconjunto K cerrado de ) entonces se puede denir una dis-
tribucin asociada con f por
Preliminares del Anlisis Funcional 11
F : C

0
R, F() =
_

fdx, C

0
()
Una distribucin que es generada por una funcin localmente integrable
se llama una distribucin regular, en caso contrario, se dice que es una
distribucin singular.
Ejemplo 1.8. La funcin H(x), denida en [1, 1] por
H(x) =
_
0, 1 x < 0
1 0 x 1
es localmente integrable y genera la distribucin H que satisface
H() =
_
1
1
H(x) (x) dx o H() =
_
1
0
(x) dx
Teorema 1.5. Sea R
d
abierto, u C
m
() y un multi-ndice tal
que [[ m. Entonces
_

u(x)(x)dx = (1)
||
_

u(x)D

(x)dx, C

0
() (1.5)
Ya que u C
m
() esta genera una distribucin, denotada por u, tal
que u() =
_

udx, o ya que D

tambin pertenece a C

0
(),
u(D

) =
_

uD

dx
Adems, D

u es continua as que puede generar una distribucin regular


(denotada por D

u) que satisface
D

u() =
_

( D

u) dx
De esto se tiene que (1.5) puede escribirse como
D

u() = (1)
||
u(D

) C

0
() (1.6)
Se toma (1.6) como la base para denir la derivada de cualquier dis-
tribucin f, como sigue: la derivada parcial generalizada (o la -sima
derivada de distribucin) de una distribucin f es denida por la dis-
tribucin, denotada por D

f, que satisface
D

f() = (1)
||
f(D

), C

0
() (1.7)
As, se usa la misma notacin para la derivada generalizada de una dis-
12 G. Caldern y R. Gallo
tribucin como la usada para la derivada convencional de una funcin.
De hecho, si la funcin pertenece a C

0
() entonces la derivada generali-
zada coincide con la -sima derivada parcial convencional para [[ m.
Ejemplo 1.9. La primera derivada generalizada de la funcin H(x) es
la distribucin H que satisface
H

() = (1)
1
H
_
d
dx
_
=
_
1
1
H(x)
d
dx
dx (H es loc. integrable)
=
_
1
0
d
dx
dx = (x)

1
0
= (0) = (), C

0
()
as, H

= , esto es, la derivada H

de la funcin H es el delta de Dirac.


Una funcin u localmente integrable genera una distribucin, tambin
denotada por u, que satisface
u() =
_

udx C

o
()
Adems, la distribucin u tiene derivada de distribucin de todo orden,
en particular, la derivada D

u es denida por (1.7). Por supuesto, D

u
puede o no puede ser una distribucin regular; si es una distribucin regu-
lar, entonces naturalmente esta es generada por una funcin localmente
integrable D

u(x), as que
D

u() =
_

u(x) (x) dx (1.8)


Se sigue en este caso de (1.7) y (1.8) que las funciones u y D

u estn
relacionados por
_

u(x) (x) dx = (1)


m
_

u(x)D

(x) dx (1.9)
para [[ = m. La funcin D

u, obtenida de esta manera, es llamada la


-sima derivada dbil de la funcin u. Por supuesto, si u es suciente-
mente suave para pertenecer a C
m
(), entonces estas derivadas dbiles
coinciden con sus derivadas clsicas para [[ m.
Ejemplo 1.10. La funcin u(x) = [x[ pertenece a C[1, 1], pero la
derivada clsica u

no existe en el origen. Sin embargo, la derivada dbil


existe:
Preliminares del Anlisis Funcional 13
D

u(x) = (1)
m
_

u(x)D

(x) dx =
_

[x[

(x) dx
=
_
0
1
x

(x)dx +
_
1
0
x

(x)dx =
_
0
1
(x)dx+
_
1
0
(x)dx
=
_
1
1
H(x) (x) dx
donde
H(x) =
_
1 si 1 x < 0
1 si 0 x < 1
Por tanto, D

u = D

u = u

= H(x). Ntese adems que u

L
2
(1, 1),
la cual es, por supuesto, localmente integrable.
El ejemplo anterior ilustra una diferencia fundamental entre las deriva-
das dbil y clsica. La derivada clsica, si existe, debe ser por lo menos
continua. Una derivada dbil, por otra parte, necesita solamente ser
localmente integrable.
1.3.1 El espacio de Sobolev
Los espacios de Sobolev son denidos como sigue:
Denicin 1.3. (Espacio de Sobolev) Sea R
d
un conjunto
abierto, k 1 un entero positivo y p [1, +). Se dene
W
k,p
() =
_
f L
p
() : D

f existe y pertenece a L
p
() , [[ k
_
Para 1 p < la norma | |
k,p
es denida como
|f|
k,p
=
_
_

||k
[D

f[
p
dx
_
1/p
=
_

||k
|D

f|
p
p
_
1/p
Para p = , se tiene
|f|
k,
= max
||k
|D

f|

En el caso especial p = 2 se abrevia W


k,p
() = H
k
().
En el espacio W
k,p
() se usa la siguiente seminorma estndar:
[f[
k,p
=
_
_

||=k
[D

f[
p
dx
_
1/p
=
_

||=k
|D

f|
p
p
_
1/p
para 1 p < , y
14 G. Caldern y R. Gallo
[f[
k,
= max
||=k
|D

f|

Teorema 1.6. Sea R


d
abierto, k1 un entero positivo y p[1, +].
Entonces el espacio de Sobolev W
k,p
() es un espacio de Banach.
Teorema 1.7. Sea R
d
abierto, k 1 un entero positivo. Entonces
el espacio de Sobolev H
k
() = W
k,2
(), dotado del producto interno,
(f, g)
k,2
=
_

||k
D

fD

gdx =

||k
(D

f, D

g)
L
2
()
es un espacio de Hilbert.
Un subespacio de H
k
() de uso frecuente en el resto del texto es
H
1
0
() =
_
v H
1
(); v = 0 sobre
_
donde, H
1
(a, b) =
_
u : u y u

L
2
(a, b)
_
representa el espacio lineal de
funciones que junto con su primera derivada son de cuadrado integrable,
y denota el contorno del dominio. La formulacin dbil de una EDP
de segundo orden con condiciones de contorno Dirichlet, por lo general,
se lleva acabo en este espacio.
La desigualdad de Poincar-Friedrichs dice que la H
k
-seminorma
[u[
k,2
=
_
_

||=k
[D

u[
2
dx
_
1/2
es una norma en el espacio H
k
0
() en todo dominio acotado R
d
.
Esta norma, adems, es equivalente a la H
k
-norma
|u|
k,2
=
_
_

||k
[D

u[
2
dx
_
1/2
La equivalencia de [ [
k,2
y | |
k,2
en el espacio H
k
0
() encuentra aplica-
ciones en el anlisis de unicidad de soluciones de EDP as como tambin
en la prctica computacional.
Teorema 1.8. (Desigualdad bsica de Poincar-Friedrichs en H
k
0
())
Supongamos que el dominio acotado R
d
est contenido en un cubo
d-dimensional con longitud en sus aristas C > 0. Entonces
|u|
L
2
()
C[u[
1,2
u H
1
0
()
Teorema 1.9. (Desigualdad general de Poincar-Friedrichs en H
k
0
())
Sea R
d
un dominio acotado. Entonces la seminorma [ [
k,2
es una
Preliminares del Anlisis Funcional 15
norma en el espacio H
1
0
(), equivalente a la norma ||
k,2
. Si est
contenido en un cubo d-dimensional con longitud en sus aristas C > 0.
Entonces
[u[
k,2
|u|
k,2
(1 +C)
k
[u[
k,2
u H
1
0
()
Ejemplo 1.11. Considere la funcin u(x) denida sobre = (0, 2) por
u(x) =
_
x
2
, 0 < x 1
2x
2
2x + 1, 1 < x < 2
Se tiene entonces que
v(x) = u

(x) =
_
2x, si 0 x 1
4x 2, si 1 < x < 2
la cual es una funcin continua. La derivada (dbil) de esta funcin es
w(x) = u

(x) =
_
2, 0 < x 1
4, 1 < x < 2
Por inspeccin se ve que u, u

y u

perteneces a L
2
(0, 2); sin embargo,
la derivada (generalizada) de u

es u

= 2 L
2
(0, 2). De esto se tiene
que u es un miembro de H
2
(0, 2), la funcin v pertenece a H
1
(0, 2) y w
pertenece a L
2
(0, 2) = H
0
(0, 2). Las respectivas normas son:
[[u[[
2
H
2
= (u, u)
H
2 =
_

||2
(D

u)
2
dx =
_

=0
(D

u)
2
dx
=
_

_
u
2
+ (u

)
2
+ (u

)
2

dx = 71.37
[[v[[
2
H
1
=
_

||1
(D

v)
2
dx =
_

_
v
2
+ (v

)
2

dx = 39,
[[w[[
2
L
2
=
_

w
2
dx =
_
1
0
4 dx +
_
2
1
16 dx = 4x

1
0
+ 16x

2
1
= 20
1.4 Formas bilineales
Otro tipo especial de operador que pueden ocurrir muy frecuentemente
en el estudio de problemas de valor de frontera es uno que mapea un par
de elementos a los nmeros reales, y que es lineal en cada uno de estos.
16 G. Caldern y R. Gallo
B es una forma bilineal si
B : UV R (U, V espacios lineales),
B(u +w, v) = B(u, v) +B(w, v), u, w U, v V
B(u, v +w) = B(u, v) +B(u, w), u U, v, w V
Ejemplo 1.12. Sea U=V=C
1
[a, b], entonces el operador denido por
B : C
1
[a, b] C
n
[a, b] R con B(u, v) =
_
b
a
(uv +u

) dx
es una forma bilineal.
Ejemplo 1.13. Sean U = V = R
3
; el operador B(x, y) = x y, es una
forma bilineal. Un ejemplo de una forma no lineal es:
B : R
3
R
3
R, B(x, y) = [x[ +[y[
aqu B(x +z, y) = [x +z[ +[y[ ,= B(x, y) +B(z, y).
1.4.1 Formas bilineales continuas
Consideremos una forma bilineal B : U V R, donde U y V son
espacios lineales normados. Si existe una constante k > 0 tal que
[B(u, v)[ k [[u[[ [[v[[ para todo u U, v V (1.10)
entonces B es llamada una forma bilineal continua (esta denicin debe
ser comparada con la del operador acotado, o funcional lineal acotado).
A continuacin, se discute un ejemplo que es tpico de una clase de
problemas que aparecern ms adelantes.
Ejemplo 1.14. Se puede mostrar que H
1
(a, b) es un espacio normado
completo con la norma denida por
[[u[[
2
1
=
_
b
a
[u
2
+ (u

)
2
] dx
A partir de este espacio, se dene la forma bilineal
B : H
1
(a, b) H
1
(a, b) R tal que B(u, v) =
_
b
a
[u

+cuv] dx
donde c(x) es una funcin positiva acotada con c
1
c(x) c
2
> 0 para
x (a, b). Para mostrar que B es continua considere
Preliminares del Anlisis Funcional 17
[B(u, v)[ =

_
b
a
[u

+cuv] dx

_
b
a
[u

+c
1
uv]dx

(u

, v

) +c
1
(u, v)

(u

, v

)[ +c
1
[(u, v)

[[u

[[[[v

[[ +c
1
[[u[[[[v[[ (Se usa desigualdad de Schwarz)
Por lo tanto,
[B(u, v)[
2

_
[[u

[[ [[v

[[ +c
1
[[u[[ [[v[[
_
2
(1.11)
Utilizando la desigualdad de Schwarz para R
n
:
_

a
i
b
i
_
2

a
i
2
__

b
i
2
_
para a, b R
n
Asumiendo que n = 2, a = (c
1
[[u[[, [[u

[[) y b = ([[v[[, [[v

[[), de (1.11) se
tiene que
[B(u, v)[
2

_
c
2
1
[[u[[
2
+[[u

[[
2
__
[[v[[
2
+[[v

[[
2
_
=
_
c
2
1
[[u[[
2
+[[u

[[
2
_
[[v[[
2
1
k
2
_
[[u[[
2
+[[u

[[
2
_
[[v[[
2
1
= k
2
[[u[[
2
1
[[v[[
2
1
con k = max(1, c
1
). Tomando el cuadrado a ambos lados de la igualdad,
se tiene que B es continua.
1.4.2 Formas bilineales H-elpticas
Dada una forma bilineal B : HH R, donde Hes un espacio producto
interno, se dice que B es H-elptica, si existe una constante > 0 tal que
B(v, v) [[v[[
2
H
v H. (1.12)
As una forma H-elptica es acotada inferiormente.
Ejemplo 1.15. Del ejemplo previo
[B(v, v)[ =

_
b
a
_
(v

)
2
+cv
2

dx

_
b
a
_
(v

)
2
+c
2
v
2

dx

_
b
a
_
(v

)
2
+v
2

dx

= [[v[[
2
1
con = min(1, c
2
), y as B es H
1
-elptica.
18 G. Caldern y R. Gallo
El teorema de representacin de Riesz para funcionales lineales tiene
una contraparte para formas bilineales. Supongamos que se tiene un
espacio producto interno H, un funcional lineal F de H y un miembro u
de H; entonces se puede denir una forma bilineal B continua, H-elptica
en H de acuerdo a la regla
B : HH R, B(u, v) = F(v) v H (1.13)
De la H-elptica de B y continuidad de F se tiene
[[u[[
2
B(u, u) = F(u) [[F[[ [[u[[
y as
[[u[[
1

_
1

_
[[F[[
H
(1.14)
En el sentido anterior, entonces, u y F generan la forma bilineal B.
Ahora se prueba en sentido inverso: dada una forma bilineal B y un fun-
cional lineal con las propiedades convenientes, entonces existe un nico
u H satisfaciendo (1.13) y (1.14). Este es el teorema de Lax-Milgram.
Ejemplo 1.16. (Producto interno energtico, norma energtica) Sea H
un espacio de Hilbert y B : H H R una forma bilineal acotada,
simtrica y H-elptica. La forma bilineal dene el producto interno
(u, v)
e
= B(u, v) en H, llamado producto interno energtico. La norma
inducida por el producto interno energtico, |u|
e
=
_
(u, u)
e
es llamada
norma energtica.
1.5 El Teorema de Lax-Milgram
En este apartado, se presenta y analiza el conocido Teorema de Lax-
Milgram, el cual ser aplicado, en los siguientes apartados, al estudio
del buen comportamiento de las formulaciones variacionales de varios
Problemas de Valor de Frontera lineales elpticos.
Teorema 1.10. (El Teorema de Lax-Milgram) Sea H un espacio
de Hilbert y sea B : HH R una forma bilineal, H-elptica, continua
denida en H. Entonces, dado cualquier funcional lineal F denido en
H, existe un nico elemento u H tal que
B(u, v) = F(v) v H (1.15)
Preliminares del Anlisis Funcional 19
adems,
[[u[[
1

1
[[F[[
H
(1.16)
La prueba de este teorema es bastante larga, para hacerla ms digerible
ser partida en una serie de cinco lemas.
Lema 1.3. Dado cualquier uH existe un nico elemento wH tal que
B(u, v) = (w, v) v H (1.17)
Demostracin: Dado cualquier u H, B(u, ) es un funcional lineal
acotado denido en H ya que
B(u, ) : H R, B(u, v) K

[[v[[
donde K

= K[[u[[. Ahora, de acuerdo al Teorema de Representacin de


Riesz, existe un nico elemento w en H tal que B(u, v) = (w, v).
Lema 1.4. Sea A el operador que asocia u con w:
A : H H, Au = w (1.18)
Entonces A es un operador lineal acotado.
Demostracin: Sea w
1
, w
2
H, del lema anterior se tiene asociado
elementos u
1
, u
2
en H denidos por
B(u
1
, v) = (w
1
, v), B(u
2
, v) = (w
2
, v) v H
Ya que B es bilineal,
B(u
1
+u
2
, v) = B(u
1
, v) +B(u
2
, v) = (w
1
+w
2
, v) (1.19)
Adems, de la denicin de A se tiene
Au
1
= w
1
, Au
2
= w
2
, as Au
1
+Au
2
= w
1
+w
2
(1.20)
A partir de (1.17) - (1.19), se ve que A mapea u
1
+u
2
en w
1
+w
2
:
A(u
1
+u
2
) = w
1
+w
2
(1.21)
La linealidad de A se sigue de (1.20) y (1.21). A es acotado, pues
tomando v = Au en (1.17) y usando la continuidad de B y (1.18),
K[[u[[[[Au[[ B(u, Au) = (w, Au) = [[Au[[
2
Entonces, [[Au[[ K[[u[[.
Lema 1.5. A es uno-uno con inversa A
1
acotada.
Demostracin: Sea R(A) el rango de A (por supuesto, R(A) H). Se
debe mostrar que Az = 0 solo para z=0 y usar el Teorema 1.2 para mos-
20 G. Caldern y R. Gallo
trar que A es 1 1. Sea z tal que Az = 0. Entonces, ya que A por
denicin mapea z en un miembro Az de H tal que B(z, v) = (Az, v),
se tiene
B(z, v) = (0, v) = 0 v H
En particular, para v = z,
0 = B(z, z) [[z[[
2
de manera que [[z[[ = 0 o z = 0. De aqu A es 1 1, y su inversa
A
1
: R(A) H existe. Adems, A
1
es lineal ya que A es lineal
(ejercicio), y A
1
es acotado pues
[[u[[
2
B(u, u) = (w, u) [[w[[[[u[[, (usando la des. de Schawarz)
de donde [[u[[ = [[A
1
w[[
1
[[w[[.
Lema 1.6. R(A) es un espacio completo.
Demostracin: Sea w
k
una sucesin de Cauchy en R(A). Ya que el
R(A) es un subconjunto de H, w
k
tambin es una sucesin de Cauchy
en H, y as esta es convergente en H:
lim
k
[[w
k
w[[ = 0 en H
Se tiene que demostrar que w est en el R(A). Para hacer esto, se dene
u
k
tal que Au
k
= w
k
. Entonces
[[u
k
u

[[ = [[A
1
w
k
A
1
w

[[ = [[A
1
(w
k
w

)[[ [[A
1
[[[[w
k
w

[[
de modo que
lim
k,
[[u
k
u

[[ [[A
1
[[ lim
k,
[[w
k
w

[[ = 0
(pues w
k
es una sucesin de Cauchy en H). De esto, u
k
es una
sucesin de Cauchy en H, con lmite u H. Adems, ya que Au
k
= w
k
se tiene
lim
k
Au
k
= lim
k
w
k
= w o w = A
_
lim
k
u
k
_
= Au
(recuerde que: Un operador T : U V, con U y V espacios normados,
es continuo si, y solo, si es acotado). Por lo tanto, w est en el rango de
A, y ya que w es el lmite de una sucesin arbitraria de Cauchy, el R(A)
es completo.
Lema 1.7. R(A) = H, esto es, A es biyectivo.
Demostracin: Supongamos que R(A) es un subespacio de H, por lo
Preliminares del Anlisis Funcional 21
tanto existe un elemento u
0
,= 0 en R(A)

tal que
(u
0
, t) = 0 t R(A)
Adems, de los lemas anteriores se tiene:
Au
0
= w
0
w
0
R(A)
B(u
0
, v) = (w
0
, v) v H
En particular, si se dene v = u
0
, entonces
[[u
0
[[
2
B(u
0
, u
0
) = (w
0
, u
0
) = 0, pues w
0
R(A) y u
0
R(A)

Por lo tanto, u
0
= 0, lo cual es una contradiccin. As, R(A)

= 0 y
R(A) = H.
Finalmente, se recopila toda la informacin dada para dar la prueba
del Teorema de Lax-Milgram:
Demostracin: El Lema 1.3 muestra que para cualquier u H existe
un nico w H denido a partir de (1.17). Sin embargo, este lema no
prueba el inverso: de hecho, se dene el operador A por (1.18), y para
probar que el inverso es cierto es necesario demostrar que A es biyectivo.
Esto se hace en los Lemas 1.5, 1.6 y 1.7. Por tanto, se concluye que dado
cualquier w H existe un nico u H tal que
B(u, v) = (w, v) (1.22)
Por el Teorema de Representacin de Riesz, todo funcional lineal acotado
F puede ser expresado en la forma
F(v) = (w, v) v H (1.23)
con [[F[[ = [[w[[. As, (1.22) y (1.23) implican (1.15), y (1.16) se sigue
de la H-elpticidad de B y la continuidad de F, como en (1.13) y (1.14).
Esto prueba el teorema.
1.6 Frmula de Green
Antes de continuar, resulta apropiado recordar una frmula de Green que
ser de importancia fundamental en todos los apartados subsiguientes.
Se empieza desde el Teorema de la divergencia (en dos dimensiones) o
tambin llamado Teorema de Gauss.
Teorema 1.11. (Teorema de la divergencia) Sea R
2
un domi-
22 G. Caldern y R. Gallo
nio acotado con frontera continua Lipschitz
1
. Todo campo vectorial suave
A = (A
1
, A
2
)
_
C
1
() C(

2
satisface
2
_

divAd =
_

A nds
donde divA =
A
1
x
1
+
A
2
x
2
, y n = (n
1
, n
2
) la norma exterior unitaria a
.
Aqu d denota el elemento de rea en R
2
y ds es el elemento de lon-
gitud de arco a lo largo de . Si se aplica el Teorema de la divergencia
a A = (vw, 0) y A = (0, vw), se tiene que
_

v
x
i
wd +
_

v
w
x
i
d =
_

vwn
i
ds, i = 1, 2 (1.24)
Denotando por v el gradiente de v, es decir, v := (
v
x
1
,
v
x
2
), se
obtiene de (1.24) la siguiente frmula de Green:
_

v wd
_

_
v
x
1
w
x
1
+
v
x
2
w
x
2
_
d
=
_

_
v
w
x
1
n
1
+v
w
x
2
n
2
_
ds
_

v
_

2
w
x
2
1
+

2
w
x
2
2
_
d
=
_

v
w
n
ds
_

vwd
As,
_

v wd =
_

v
w
n
ds
_

vwd (1.25)
y
w
n
=
w
x
1
n
1
+
w
x
2
n
2
es la derivada normal, es decir, la derivada en la
direccin del vector normal exterior sobre la frontera .
Ejercicios
1.1 Cul de los siguientes operadores es lineal?
1
Un dominio de Lipschitz (frontera Lipschitz) es un dominio en el espacio eu-
clidiano cuya frontera es sucientemente regular en el sentido que esta puede ser
considerada como si fuera la grca de una funcin continua de Lipschitz.
2
De aqu en adelante, se utiliza la notacin

d =

dxdy.
Preliminares del Anlisis Funcional 23
(i) T : L
2
(1, 1) L
2
(1, 1), T(u) =
_
1
1
K(x, y)u(y) dy;
(ii) T : C
1
[a, b] C
1
[a, b], T(u) = x
2
u/x + 2u;
(iii) M : R
2
R, M(x) = xy.
1.2 Si T : U V es un operador lineal invertible de U a V, donde U y
V son espacios lineales, muestre que T
1
es lineal.
1.3 Muestre que el operador identidad I : U U es continuo, donde U
es cualquier espacio normado. Si V es el espacio normado C
1
[a, b]
con la norma [[u[[
v
= [[u[[

+ [[u

[[

, y W es el espacio C
1
[a, b]
con la norma del supremo, encuentre un ejemplo que muestre que
I : V W no es continuo.
1.4 Si T : U V y S : V W son operadores lineales acotados,
muestre que ST : U W es acotado con [[ST[[ [[S[[ [[T[[.
1.5 Muestre que el espacio nulo N(T) de un operador T : U V es
cerrado si T es un operador lineal acotado.
1.6 Muestre que el N(P) = R(P)

y R(P) = N(P)

si P es una proyec-
cin ortogonal en un espacio con producto interno.
1.7 Sea T una transformacin denida por
T : L
2
(R) L
2
(R), T(u) =
_
u(x), si [x[ < 1,
0 en los otros casos
Muestre que T es una proyeccin ortogonal. Cul es el rango y
espacio nulo de T?
1.8 Sea Auna matriz nn simtrica y denida positiva, es decir x
T
Ax>0
para todo vector x ,= 0. Entonces, el espacio R
n
es un espacio de
Hilbert dotado del producto interno (x, y) =

n
i,j=1
A
ij
x
i
y
j
. Dada
una funcin F : R
n
R, encuentre el elemento x tal que F(y) =
(x, y) donde F es denida por: (i) F(y) = y
1
+ y
2
+ . . . + y
n
; (ii)
F(y) = y
1
.
1.9 Para cada F L
2
(0, 1) sea u(x) la solucin de u

+u

2u = F con
u(0) = u(1) = 0. Denir el funcional por : L
2
(0, 1) R, tal que
24 G. Caldern y R. Gallo
(F) =
_
1
0
u(x) dx. Mostrar que este funcional es lineal acotado, y
encontrar la funcin u, el valor de (F), y el elemento g tal que
(F) = (g, F), cuando F(x) = 2x.
1.10 Repita el ejercicio anterior para la ecuacin diferencial u

2u

+u=F.
1.11 Si U es un espacio normado (no necesariamente completo), pruebe
que U

es un espacio de Banach.
1.12 Si B : U U R es una forma bilineal de un espacio U con
producto interno, mostrar que lim
n
B(u
n
, u
n
) = B(u, v) si u
n

u y v
n
v.
1.13 Sea F : H
1
0
(0, 1) R y B : H
1
0
(0, 1) H
1
0
(0, 1) R denidos por
F(v) =
_
1
0
(1 4x)v dx, B(u, v) =
_
1
0
(x + 1)u

dx,
donde H
1
0
(0, 1) =
_
v L
2
(0, 1) : v

L
2
(0, 1), v(0) = v(1) = 0
_
es un espacio de Hilbert con el producto interno
(u, v)
H
1
0
=
_
1
0
(uv +u

) dx = (u, v) + (u

, v

).
Mostrar que F es continuo, que B es continuo y H
1
0
-elptica y veri-
que que el nico elemento u que satisface B(u, v) = F(v) es u(x) =
x
2
x. Sugerencia: puede ser necesario usar integracin por
partes. Se puede asumir que existe una constante C > 0 tal que
[[v[[ C[[v

[[.
1.14 Sea B : U U R una forma bilineal continua, U-elptica, y
denida por la forma bilineal

B : U U R tal que

B(u, v) =
B(u, v)+(u, cv). Si U = H
1
0
(0, 1) y c(x) satisface 0 < c
1
c(x) c
2
,
muestra que

B es continua y U-elptica.
Captulo 2
Formulacin Variacional para
Problemas de Valor de
Frontera
Desde un punto de vista matemtico, el MEF es una tcnica general
para construir soluciones aproximadas de problemas de valor de frontera
(PVF)
1
. El mtodo implica dividir el dominio de la solucin en un nmero
nito de subdominios simples, los elementos nitos, y usando conceptos
variacionales se construye una aproximacin de la solucin sobre la co-
leccin de elementos nitos.
El mtodo variacional constituye una herramienta fundamental para
el estudio cualitativo de ecuaciones diferenciales parciales y el eje funda-
mental del MEF. Por esto, el objetivo esencial del captulo consiste en
denir la formulacin variacional o forma dbil de algunos PVF de tipo
elptico y estudiar el buen planteamiento de esta formulacin variacional.
Para seguir los resultados variacionales que se presentan en los siguientes
apartados, es apropiado que el lector tenga presente los resultados del
anlisis funcional dados en el captulo anterior.
Debido a la simplicidad tcnica que presentan los problemas unidimen-
sionales, resulta apropiado presentar en estos las ideas fundamentales
que involucran este tema. Con este n, se limita nuestra atencin por el
momento a lo ms simple, un PVF en una dimensin (problema de fron-
1
Estos problemas de la fsica matemtica son conocidos tambin como problemas
de valores de contorno (PVC)
25
26 G. Caldern y R. Gallo
tera en dos puntos) caracterizado por una ecuacin diferencial ordinaria
(EDO) de segundo orden, junto a un par de condiciones de frontera. Se
har referencia a este ejemplo como nuestro problema modelo. Aunque
el problema modelo no represente ninguna dicultad ni mucho inters
prctico, tanto su estructura matemtica y su enfoque en la formulacin
de su aproximacin son esencialmente las mismas que en los problemas
ms complejos. Posteriormente, se analiza la forma dbil para PVF elp-
tico en 2D y las distintas posibilidades en sus condiciones de frontera:
Dirichlet, Neumann y Robin. Adems, se presentan resultados sobre la
existencia y unicidad de la solucin de estos nuevos problemas.
2.1 Problema modelo unidimensional
Se considera el problema de encontrar una funcin u = u(x), 0 x 1,
la cual satisface la siguiente EDO y condiciones de frontera:
u

(x) +u = f(x), para 0 < x < 1,


u(0) = u(1) = 0
(C)
donde f es una funcin conocida y sucientemente suave (continua). Un
problema de este tipo puede surgir como modelo, en particular, en el
estudio de la vibracin de una barra elstica, una cuerda elstica o en la
distribucin de temperatura en una barra.
Los datos del problema consisten en: el dominio de la solucin (en
este caso, el dominio es simplemente el intervalo unitario 0 x 1),
la parte no homognea de la ecuacin diferencial (representada por la
funcin f(x)), los coecientes de las derivadas de u (las constantes -1 y
1) y los valores de frontera que demanda la solucin obtenida (en este
problema, u = 0 en x = 0 y x = 1).
El problema modelo planteado en (C) (ecuacin diferencial junto a las
condiciones de frontera) recibe el nombre de forma fuerte o clsica del
problema, porque impone las condiciones ms exigentes a la funcin que
se trata de obtener, en cuanto al orden de derivabilidad, cumplimiento de
la ecuacin y condiciones de frontera punto a punto dentro del dominio
de clculo.
Los datos del problema modelo son suaves, como consecuencia de esta
suavidad, existe una nica funcin u la cual satisface el problema en todo
punto del dominio. Sin embargo, en la mayora de las aplicaciones, una
Formulacin Variacional para PVF 27
o varias de estas caractersticas apropiadas del problema fallan o bien,
no existe una solucin a la declaracin clsica del problema debido a que
alguno de los datos no son suaves, o si una solucin suave existe, esta
no puede ser encontrada en el sentido usual debido a la complejidad del
dominio, los coecientes, y las condiciones de frontera.
Como ejemplo a este tipo de dicultad, se considera en lugar de f(x)
(suave) en (C), el problema
u

(x) +u = (x 1/2), 0 < x < 1, u(0) = u(1) = 0 (2.1)


donde (x 1/2) es el delta de Dirac
2
(un impulso unitario o fuerza
puntual concentrada en x = 1/2). Resulta as, que cualquier funcin u
que satisfaga (2.1) debe tener una discontinuidad en su primera derivada
u

en x = 1/2; su segunda derivada u

no existe en x = 1/2 (en un


sentido tradicional) (ver Ejercicios 2.1 y 2.2).
Algo parece estar mal! Cmo puede una funcin u satisfacer (2.1) en
todo el intervalo 0 < x < 1 cuando su segunda derivada no puede existir
en x = 1/2 debido a los datos muy irregulares que presenta el problema?
La dicultad proviene de requerir que la solucin u de (2.1) satisfaga
la forma fuerte del problema. Para superar esta dicultad, se reformula
el PVF de modo que se exija a la funcin incgnita un orden menor de
derivabilidad y, en vez del cumplimiento punto a punto, un cumplimiento
en promedio de la ecuacin diferencial y de las condiciones de frontera.
Por contraste con la forma fuerte del problema, tales reformulaciones son
llamadas formulacin dbil o variacional del problema y estn diseadas
para dar cabida a datos o soluciones irregulares del problema (2.1), as
como a soluciones muy suaves, como la del problema modelo (C).
Cada vez que que una solucin suave clsica de un problema existe,
es tambin la solucin del problema dbil. Por tanto, no se pierde nada
por la reformulacin de un problema a una forma ms dbil y a cambio
obtener la ventaja de ser capaz de considerar problemas con soluciones
bastante irregulares.
2
Se debe recordar que (x 1/2) es una distribucin; un funcional sobre C

0
denido por (x 1/2)(x) = (1/2), para cualquier funcin C

0
. La operacin
(x 1/2)(x) es algunas veces escrita como

1
0
(x 1/2)(x)dx = (1/2).
28 G. Caldern y R. Gallo
2.1.1 Formulacin variacional del problema modelo uni-
dimensional
Una declaracin dbil del problema modelo es dada como sigue: Encon-
trar u tal que (C) se cumpla en un sentido de promedios ponderados, es
decir, se quiere que
_
1
0
(u

+u)vdx =
_
1
0
f(x)vdx (2.2)
para todo miembro v de una clase apropiada de funciones. La funcin
de peso o funcin de prueba, v, es cualquier funcin de x tal que las
integrales dadas en (2.2) tengan sentido
3
. Se denota el conjunto de tales
funciones, que son cero en x = 0 y x = 1, con la letra V
v
.
En esta etapa, hay dos puntos que deben ser bien apreciados:
La formulacin dbil (2.2) es tan vlida y signicativa como la
forma clsica (C); de hecho, se probar que la solucin de (C),
adems, satisface (2.2) y, en efecto, es la nica solucin de (2.2).
La especicacin del conjunto V
v
de funciones de peso es un in-
grediente esencial de una formulacin dbil aceptable.
Aunque puede que no sea inmediatamente obvio, las funciones de prueba
en el problema variacional (2.2) pueden no pertenecer al conjunto V
u
para las cuales la solucin pertenece (ver Ejercicio 2.3). El conjunto
V
u
, para el cual la solucin pertenece, es llamado la clase de funciones
admisibles para este tipo de problemas. La suavidad depende de los
requisitos que se consideren para el par de conjuntos de funciones, V
v
y
V
u
. Por ejemplo, u puede ser seleccionada de una clase de funciones V
u
la cual tiene la propiedad que su segunda derivada, cuando se multiplica
por una funcin de peso v, produce una funcin u

v que es integrable
sobre el intervalo 0 < x < 1. Por otra parte, no es necesario que las
funciones de peso que aparecen en (2.2) sean derivables. De esta forma,
3
Es fcil encontrar funciones que no son lo sucientemente suaves para servir como
funciones de peso. Por ejemplo, para f(x) = x, u(x) = x sinh(x), y v(x) = x
3
,
entonces ni

1
0
(u

+ u)vdx o

1
0
xvdx tiene valores nitos y (2.2) no tiene sentido.
Hay, sin embargo, una multitud de funciones las cuales son perfectamente aceptables
como funciones de peso. La especicacin exacta de tales funciones es central en la
teora del MEF y ser discutida en detalle posteriormente.
Formulacin Variacional para PVF 29
a pesar de que (2.2) es una forma dbil perfectamente valida de (C), el
hecho que V
v
y V
u
no sean los mismos conduce a una falta de simetra en
la formulacin que normalmente se preere evitar. En otras palabras, la
forma dbil (2.2) no es la ms adecuada para propsitos computacionales
o tericos.
Para obtener una formulacin dbil simtrica de (C), se observa que
si u y v son funciones sucientemente suaves, entonces integrando por
partes el primer trmino del lado izquierdo de (2.2) y pidiendo que las
funciones de peso se anulen en la frontera, v(0) = v(1) = 0, se tiene

_
1
0
u

vdx =
_
1
0
u

dx u

1
0
=
_
1
0
u

dx
Por tanto, (2.2) puede ser reemplazado por el siguiente problema varia-
cional: encontrar u V tal que
_
1
0
(u

+uv)dx =
_
1
0
f(x)vdx, v V (2.3)
donde,
V =
_
v : v C[0, 1], v

es continua y acotada a trozos en [0, 1], y


v(0) = v(1) = 0
_
Ahora existe una simetra en la formulacin: el mismo orden de deriva-
da tanto de las funciones de peso como de las funciones de ensayo y se
tiene V
v
= V
u
= V. Adems, ya que (2.2) contiene segundas derivadas
de la solucin u mientras que (2.3) solo tiene primeras derivadas, se tiene
que pasando de (C) a (2.2) y a (2.3) se ha debilitado progresivamente
los requerimientos sobre la solucin y, de tal modo, progresivamente
ampliado la clase de datos para los cuales esta declaracin del problema
tiene sentido.
El conjunto V es llamado la clase de funciones admisibles para el
problema (2.3), ya que este contiene solo las funciones que satisfacen
las condiciones de frontera y son sucientemente regulares para que las
integrales en (2.3) tengan sentido. Dado que v puede ser una funcin en el
conjunto de funciones admisibles, se debe tomar la posibilidad que v = u.
As, ser necesario que (v

)
2
sea lo sucientemente suave para que su
30 G. Caldern y R. Gallo
integral pueda ser calculado. Por lo tanto, se debe denir el conjunto de
funciones admisibles V = H
1
0
(0, 1). Aqu, H
1
0
() es el espacio de Sobolev
denido anteriormente: H
1
0
() =
_
v H
1
() : v(0) = v(1) = 0
_
, con
H
1
() =
_
v : v, v

L
2
()
_
. As, el PVF (C) puede tener la siguiente
formulacin variacional: encontrar u H
1
0
() tal que
_
1
0
(u

+uv)dx =
_
1
0
f(x)vdx, v H
1
0
() (2.4)
Si se compara el problema de valor de frontera variacional (PVFV)
(2.4) con la formulacin variacional (2.3) se nota que el espacio H
1
0
()
es ms grande que el espacio V usado en la formulacin (2.3). El espa-
cio H
1
0
() est especialmente adaptado para la formulacin variacional
de (C) y es, de hecho, el espacio ms grande para el cual la formu-
lacin variacional dada en (2.4) se cumple. Desde un punto de vista
matemtico, la eleccin correcta del espacio de funciones es esencial, ya
que esto puede hacer que sea ms fcil de probar la existencia de una
solucin para el problema continuo. Desde el punto de vista de ele-
mentos nitos, la formulacin (2.4) frente a (2.3) es de inters debido
principalmente a la estima del error en la norma indicada por (2.4).
2.1.2 Equivalencia del problema fuerte y variacional
Ahora se demuestra que la solucin u del PVF o ecuacin diferencial (C)
tambin es solucin del problema variacional (2.4). Usando la notacin
de producto interno, se tiene que el problema (2.4) se puede formular
como: encontrar u H
1
0
() tal que
(u

, v

) + (u, v) = (f, v) v H
1
0
() (V)
donde, (v, w) =
_
1
0
v(x)w(x)dx.
Que la solucin de (C) sea solucin de (V) qued justicado en el
apartado anterior donde se fue deduciendo paso a paso esta implicacin.
Se demuestra ahora, que una solucin de (V) es determinada de forma
nica. Supongamos para esto que u
1
y u
2
son soluciones de (V), es decir,
u
1
, u
2
H
1
0
() y
(u

1
, v

) + (u
1
, v) = (f, v), (u

2
, v

) + (u
2
, v) = (f, v) v H
1
0
()
Restando las ecuaciones y seleccionando v = u
1
u
2
H
1
0
(), se tiene
Formulacin Variacional para PVF 31
_
1
0
(u

1
u

2
)
2
dx +
_
1
0
(u
1
u
2
)
2
dx = 0
lo cual muestra que u

1
u

2
= 0 y u
1
u
2
= 0, x [0, 1], y la unicidad
queda probada.
Finalmente, se prueba que si u es la solucin de (V) entonces u adems
satisface (C). Sea u H
1
0
() tal que
_
1
0
u

dx +
_
1
0
uvdx
_
1
0
fvdx = 0 v H
1
0
()
Si se supone adems, que u

existe y es continua, entonces se puede


integrar por partes y usando el hecho que v(0) = v(1) = 0,

_
1
0
u

vdx+
_
1
0
uvdx
_
1
0
fvdx =
_
1
0
(u

u+f)vdx = 0, v H
1
0
()
Pero con la suposicin que (u

u + f) es continua, la cual se cumple


solo si (ejercicio)
(u

u +f)(x) = 0 0 < x < 1


se puede probar que u es solucin de (C).
As, se tiene visto que, si u es la solucin de (V) y adems satisface
la hiptesis de regularidad (u

es continua), entonces u es solucin de


(C). Entonces se tiene mostrado que los dos problemas (C) y (V) son
equivalentes.
La formulacin (V) se dice que es una formulacin dbil de (C) y
la solucin de (V) se dice que es una solucin dbil de (C). Si u es una
solucin dbil de (C) entonces no es claro de inmediato que u sea tambin
una solucin clsica de (C), ya que este requiere que u sea sucientemente
regular para que u

quede denida en un sentido clsico.


2.1.3 Condicin de frontera no homognea
Se considera = (a, b) R y una funcin de carga f L
2
(). Se va a
resolver la ecuacin de Poisson
u

(x) = f(x) en (2.5)


provista de condiciones de contorno Dirichlet no homogneas
u(a) = g
a
, u(b) = g
b
(2.6)
32 G. Caldern y R. Gallo
Se debe notar que las funciones que satisfacen las condiciones dadas en
(2.6) no pueden constituir un espacio vectorial. Este sera el caso con
condiciones de contorno Dirichlet iguales a cero; sin embargo, en el caso
no homogneo, la suma de dos funciones que cumplen (2.6) no satisfacen
la condicin. Por tanto, se tiene que descomponer la funcin u buscada
en
u(x) = u

(x) +u(x) (2.7)


donde u

H
1
(a, b), llamada el levantamiento Dirichlet, es una funcin
conocida que satisface las condiciones de contorno
u

(a) = g
a
, u

(b) = g
b
(2.8)
y la funcin u, satisface la condicin de frontera Dirichlet homognea
u(a) = u(b) = 0 (2.9)
representa la parte desconocida de la solucin u. La funcin u ya puede
buscarse en un espacio de funciones lineales, normalmente, V = H
1
0
(a, b).
Por lo tanto, la tarea consiste en encontrar u V satisfaciendo la
formulacin variacional
_
1
0
u

(x)v

(x)dx =
_
1
0
[f(x)v(x) (u

(x)v

(x)]dx, v V
En la prctica, suele escogerse u

tan simple como sea posible, es decir,


como una funcin lineal continua por partes que se anula en todos los
puntos interiores (ver Figura 2.1).
x
a b
g
a
g
b
x

x
M
=
Figura 2.1: Ejemplo de una funcin levantamiento Dirichlet para problemas 1D.
2.2 Problema modelo 2D
Se va a considerar el PVF en un dominio R
2
abierto y acotado con
frontera Lipschitz. La frontera se divide en dos partes
d
y
n
, tal
Formulacin Variacional para PVF 33
que =
d

n
, donde se aplicarn distintos tipos de condiciones de
contorno. El problema modelo en su forma fuerte se dene por
(a
1
u) +a
0
u = f en , (2.10)
u = g
1
(x) sobre
d
c
1
u +c
2
u
n
= g
2
(x) sobre
n
_
_
_
Dirichlet y Neumann (2.11)
De forma indistinta, se usar o para denir el contorno del pro-
blema. Adems, para asegurar la existencia y la unicidad de la solucin
se aaden las condiciones
a
1
C
min
> 0 y a
0
0 en (2.12)

n
n
Figura 2.2: Dominio y sus fronteras para problemas 2D.
El problema (2.10) es bastante general; incluso con a
0
0, se pueden
modelar una serie de problemas de fsica y mecnica, por ejemplo: trans-
ferencia de calor en estado estacionario, desplazamiento de un membra-
na elstica, deexin transversal de un cable, deformacin axial de una
barra, ujo laminar, ujo en tuberas y ujos en medios porosos.
2.2.1 Condicin de frontera Dirichlet homognea
Para empezar, se considera a (2.10) solo con condiciones de contorno
Dirichlet homogneas en todo el contorno,
n
= , es decir,
u(x) = 0 sobre (2.13)
34 G. Caldern y R. Gallo
La solucin clsica del problema (2.10), (2.13) es una funcin u
C
2
() C() que satisface la ecuacin (2.10) en todo y cumple la
condicin de contorno (2.13) para todo x . Naturalmente, se debe
asumir que f C(). Sin embargo, ni el requerimiento ms fuerte
f C() garantizan la resolucin del problema, para el cual se requieren
an ms condiciones de suavidad.
Para reducir las restricciones de regularidad antes dicha, se introduce
la formulacin variacional del problema (2.10), (2.13). La derivacin
de la formulacin variacional de (2.10) consiste en los siguientes cuatro
pasos:
1. Se Multiplica (2.10) con una funcin test v C

0
() (conjunto de
funciones innitamente suaves que se anulan en la frontera de )
(a
1
u)v +a
0
uv = fv
2. Integrar sobre

(a
1
u)vd +
_

a
0
uvd =
_

fvd (2.14)
3. Se usa la frmula de Green (1.25) para reducir el mximo orden de
la derivada presente en la ecuacin. Adems, del hecho que v se
anule sobre la frontera permite anular la integral en la frontera.
As, de la primera integral de (2.14) se tiene

(a
1
u)vd =
_

[a
1
u]vd
_

a
1
uvd
=
_

[a
1
u]vd +
_

u (a
1
v)d +
_

a
1
v
u
n
ds
=
_

[a
1
u]vd +
_

u [a
1
v +a
1
v]d
Agrupando con el resto de la ecuacin (2.14) resulta
_

a
1
u vd +
_

a
0
uvd =
_

fvd (2.15)
4. Encontrar el espacio de funciones ms grande posible para u, v y
las otras funciones en (2.15) donde todas las integrales son nitas.
Originalmente, (2.15) fue derivada bajo la suposicin de regulari-
dad de que u C
2
() C() y v C

0
. Toda integral de (2.15)
Formulacin Variacional para PVF 35
permanece nita cuando estas hiptesis se debilitan a
u, v H
1
0
(), f L
2
() (2.16)
Similarmente, las hiptesis de regularidad para los coecientes a
1
y a
0
se pueden reducir a a
1
, a
0
L

().
La formulacin variacional para el problema (2.10), (2.13) se dene como
sigue: Dado f L
2
(), encontrar una funcin u H
1
0
() tal que
B(u, v) = l(v), v H
1
0
() (2.17)
donde
B(u, v) =
_

_
a
1
uv+a
0
uv

d l(v) =
_

fvd v H
1
0
()
Nuevamente, la formulacin variacional (2.17) se dice que es una for-
mulacin dbil o forma dbil de (2.10), (2.13) y la solucin de (2.17) se
dice que es una solucin dbil de (2.10), (2.13). Nuevamente, si u es una
solucin dbil de (2.10), (2.13), entonces no es claro de inmediato que u
sea tambin una solucin clsica de (2.10), (2.13), ya que este requiere
que u sea sucientemente regular para que (a
1
u) quede denido en
un sentido clsico, que en este caso signica que u C
2
() C(). La
ventaja matemtica de la forma dbil (2.17) es que es fcil de probar la
existencia de una solucin dbil de (2.10), (2.13), mientras que es rela-
tivamente difcil probar la existencia de una solucin clsica de (2.10),
(2.13). Para probar la existencia de una solucin clsica de (2.10), (2.13)
se inicia usualmente con la solucin dbil de (2.10), (2.13) y se muestra,
a menudo con un considerable esfuerzo, que en realidad esta solucin
es lo sucientemente regular para ser tambin una solucin clsica. En
problemas no lineales las complicaciones aumentan, pues suele ser muy
difcil o prcticamente imposible demostrar la existencia de soluciones
clsicas mientras que la existencia de soluciones dbiles puede seguir al
alcance.
Unicidad de la solucin
La existencia y unicidad de la solucin del problema modelo (2.17) puede
ser probada usando el Teorema de Lax-Milgram (Teorema 1.10) bajo las
siguientes hiptesis.
Lema 2.1. Se asume que a
1
C
min
> 0 y a
0
0 en (condicin
36 G. Caldern y R. Gallo
(2.12)). Entonces la forma variacional (2.17) tiene una nica solucin
u H
1
0
().
Demostracin: Si se puede mostrar que l es continuo y que B es
continua y H
1
0
()-elptica, entonces se consigue garantizar la existencia
de una nica solucin de (2.17).
Primero, si f L
2
() entonces l es continuo ya que
[l(v)[ =

fvd

|f|
L
2|v|
L
2 (desigualdad de Schwarz)
|f|
L
2|v|
H
2 (pues |v|
L
2 |v|
H
k)
Fijando |f|
L
2 = K, entonces [l(v)[ K|v|
H
2 y as l es acotado y, por
lo tanto, continuo.
Ahora, ya que a
1
, a
0
L

(), entonces existe un C


max
< tal que
[a
1
(x)[ C
max
y [a
0
(x)[ C
max
en . Por lo tanto,
[B(u, v)[
_

_
a
1
[u v[ +a
0
[uv[
_
d C
max
_

_
[u v[ +[uv[
_
d
(2.18)
Ya que u, v [L
2
()]
2
, entonces usando la desigualdad de Hlder
(ver A.50 de [6]) se tiene
_

u v

d
__

2
d
_
1/2
__

2
d
_
1/2
= [u[
1,2
[v[
1,2
(2.19)
Anlogamente, para el producto [uv[ se obtiene
_

[uv[d
_
_

u
2
d
_
1/2
_
_

v
2
d
_
1/2
= |u|
L
2|v|
L
2 (2.20)
La norma | |
1,2
se obtiene sumando un trmino no negativo a la semi-
norma [ [
1,2
,
[u[
1,2
[v[
1,2
|u|
1,2
|v|
1,2
(2.21)
Similarmente, para la norma L
2
,
|u|
L
2|v|
L
2 |u|
1,2
|v|
1,2
(2.22)
Finalmente, relacionando (2.18)-(2.22) se obtiene
[B(u, v)[ 2C
max
|u|
1,2
|v|
1,2
lo que signica que la forma bilineal est acotada por la constate C
a
=
2C
max
. A continuacin, se prueba la H
1
0
()-elpticidad de B(u, v). Usan-
Formulacin Variacional para PVF 37
do la desigualdad bsica de Poincar-Friedrichs (Teorema 1.8) en el es-
pacio H
1
0
(), junto con la condicin (2.12) se obtiene que existe una
constante C
b
> 0 tal que
B(v, v) =
_

a
1

2
+a
0
v
2
d
_

a
1

2
d
C
min
_

2
d = C
min
[v[
2
1,2
C
min
C
2
b
|v|
2
1,2
v H
1
0
()
As, la forma bilineal B(, ) es acotada y H
1
0
()-elptica, y usando el
Teorema de Lax-Milgram se tiene la existencia y unicidad de la solucin
para todo f L
2
().
2.2.2 Condicin de frontera Dirichlet no homognea
En este apartado se considera la ecuacin modelo (2.10) junto a una
condicin de contorno ms general, la condicin de contorno de Dirichlet
(sobre todo el contorno del dominio) de la forma
u(x) = g(x) sobre (2.23)
donde g C(). A los efectos de la formulacin dbil, se considera
una funcin G C
2
() C() tal que G = g sobre (la llamada
funcin de levantamiento Dirichlet de g). Observe que G no es nica,
pero se ver ms adelante que la solucin es invariante en su eleccin.
Escribiendo u = G+U, el problema (2.10), (2.23) puede ser reformulado
en: encontrar U C
2
0
tal que

_
a
1
(U +G)

+a
0
(U +G) = f en ,
(U +G) = g sobre
o, equivalentemente,

_
a
1
U

+a
0
U = f + (a
1
G) a
0
G en , (2.24)
U = 0 sobre (2.25)
Excepto por el ajuste hecho al lado derecho, este problema es idntico
al problema modelo (2.10), (2.13). Por lo tanto, se procede de forma
anloga para obtener su formulacin variacional: encontrar U V =
H
1
0
() tal que
B(U, v) = l(v) v V (2.26)
con
38 G. Caldern y R. Gallo
B(U, v) =
_

_
a
1
U v +a
0
Uv

d,
l(v) =
_

_
fv a
1
G v a
0
Gv

d
Esta formulacin dbil se puede denir con criterios ms dbiles en f, g
y G. En particular, se puede asumir que f L
2
() y G H
1
() con la
traza de g H
1/2
().
Se tiene visto que la forma bilineal B(, ) es acotada y V elptica (ver
Lema 2.1 del apartado anterior). En otras palabras, El Teorema de Lax-
Milgram asegura la existencia y unicidad de la solucin en (2.26) para
toda funcin de levantamiento G.
Para justicar la independencia de la solucin u = U +G de la funcin
de levantamiento Dirichlet G, supongamos que U
1
+G
1
= u
1
H
1
() y
U
2
+G
2
= u
2
H
1
() son dos soluciones dbiles. Por (2.26) la diferencia
u
1
u
2
V = H
1
0
(), lo cual satisface
B(u
1
u
2
, v) = 0 v V
Tomando u
1
u
2
por v y usando la propiedad V-elptica de la forma
bilineal B, se obtiene
0 = B(u
1
u
2
, u
1
u
2
) C|u
1
u
2
|
2
V
Esto signica que |u
1
u
2
|
V
= 0, es decir que u
1
= u
2
en .
2.2.3 Condicin de frontera Neumann
Se considera ahora el modelo (2.10) junto a la condicin de frontera
Neumann (nuevamente en todo el contorno )
u
n
= g sobre (2.27)
donde g C() y n representa el vector unitario exterior a (Ver
Figura 2.2) y u/n = un. En este caso se debe fortalecer la hiptesis
de positividad del coeciente a
0
a
0
(x)

C
min
> 0 en (2.28)
La formulacin dbil del problema (2.10), (2.27) se deriva de la si-
guiente manera: suponga que u C
2
() C
1
(). Multiplique (2.10)
Formulacin Variacional para PVF 39
por una funcin test v C

() C
1
(), integrar sobre , y usando
la frmula de Green para reducir el mximo orden de las derivadas par-
ciales. Las integrales de frontera no desaparecen como ocurri en el caso
de condiciones de frontera Dirichlet homogneas, surgiendo un integral
en la frontera,
_

_
a
1
u v +a
0
uv

d
_

a
1
u
n
vds =
_

fvd
Al sustituir la condicin de frontera (2.27) en la integral de frontera, se
obtiene la formulacin dbil siguiente: dada f L
2
() y g L
2
()
encontrar u V = H
1
() tal que
B(u, v) = l(v) v V (2.29)
donde
B(u, v) =
_

_
a
1
u v +a
0
uv

d, l(v) =
_

fvd +
_

a
1
gvds
Observe que, aunque la forma bilineal B(, ) est dada por la mis-
ma frmula que en el caso de las condiciones de contorno Dirichlet, es
diferente ya que el espacio V ha cambiado.
La acotacin de la forma bilineal B(, ) en VV se puede demostrar
de forma anloga a la prueba del Lema 2.1. Ntese, sin embargo, que
no se puede utilizar la desigualdad de Poincar-Friedrichs para probar la
propiedad V-elptica de B(, ), ya que ahora la solucin no es cero en la
frontera. Aqu la hiptesis adicional (2.28) entra en juego y se obtiene
B(v, v) minC
min
,

C
min
|v|
2
V
El Teorema de Lax-Milgram garantiza que el problema (2.29) tiene una
nica solucin u V.
2.2.4 Condicin de frontera Robin
Existen casos donde la condicin de contorno implica una combinacin
de valores de la funcin y su derivada normal. Considere la ecuacin
modelo (2.10) junto a las condiciones de frontera
c
1
u +c
2
u
n
= g sobre (2.30)
40 G. Caldern y R. Gallo
donde f C(), g C(), y c
1
, c
2
C() son tales que c
1
c
2
> 0 y
0 < [c
2
[ sobre . Las hiptesis (2.12) y (2.28) sobre los coecientes
a
0
, a
1
se siguen cumpliendo.
Para una funcin sucientemente regular u C
2
() C
1
() la forma
dbil
_

_
a
1
u v +a
0
uv

d
_

a
1
u
n
vds =
_

fvd
es derivada anlogamente al caso de condiciones de frontera Neumann.
Usando la condicin de frontera (2.30), se obtiene la siguiente forma
dbil: dada f L
2
(), g L
2
(), y a
0
, a
1
L

(), encontrar
u V = H
1
() tal que
B(u, v) = l(v) v V
donde
B(u, v) =
_

_
a
1
u v +a
0
uv

d +
_

a
1
c
1
c
2
uvds,
l(v) =
_

fvd +
_

a
1
g
c
2
vds
Se puede probar que la forma bilineal B(, ) es acotada y V-elptica
(usar para esto el Teorema A.28 de [6]), entonces a partir del Teorema
de Lax-Milgram se tiene la unicidad de la solucin.
2.2.5 Condicin de frontera esencial y natural
Las condiciones de contorno Dirichlet son llamadas esenciales, ya que
bsicamente inuyen en la formulacin dbil: estas determinan el espacio
de funciones en que la solucin es determinada. Por otra parte, las
condiciones de frontera Neumann no inuyen en el espacio funcional y
pueden ser incorporadas en la integral de contorno de forma natural. Por
tanto, se les llama naturales. En general, si se tiene el siguiente PVF
Au = f en ,
A
0
u = g
0
A
1
u = g
1
.
.
.
A
m1
u = g
m1
_

_
sobre
Formulacin Variacional para PVF 41
con A un operador diferencial de orden 2m, entonces las condiciones de
frontera se dividen en dos subconjuntos (segn el orden de A
i
):
1. Si el orden < m, son llamadas condiciones de frontera esenciales.
2. Si el orden m, son llamadas condiciones de frontera naturales.
Habitualmente, el espacio V, conocido como el espacio de funciones
admisibles, es denido por
V =
_
v H
m
() : v satisface toda condicin de frontera esencial
_
2.2.6 Combinacin de condiciones de frontera naturales
y esenciales
Lo que resta por discutir es la combinacin de condiciones de contorno
esenciales y naturales. Elijamos, por ejemplo, las condiciones de Dirichlet
y Neumann para este propsito. Por consiguiente, supongamos que la
frontera se divide en dos partes abiertas, disjuntas y no vacas
n
y

d
(ver Figura 2.2), y consideremos el problema
(a
1
u) +a
0
u = f en , (2.31)
u = g
D
sobre
d
, (2.32)
u
n
= g
N
sobre
n
(2.33)
La forma dbil es derivada como sigue: en primer lugar se extiende
la funcin g
D
C(
d
) al resto de la frontera introduciendo una
funcin g
D
C() tal que g
D
g
D
sobre
d
. La no unicidad de esta
extensin no va a causar ningn problema. Despus se dene la funcin
levantamiento Dirichlet G C
2
() C
1
() de g
D
(es decir, G g
D
sobre ). La solucin u se busca en la forma u = U + G anlogo al
caso Dirichlet puro. Las ecuaciones

_
a
1
(U +G)

+a
0
(U +G) = f en ,
(U +G) = g
D
sobre
d
,
(U +G)
n
= g
N
sobre
n
se convierten
42 G. Caldern y R. Gallo

_
a
1
U

+a
0
U = f + (a
1
G) a
0
G en , (2.34)
U = 0 sobre
d
, (2.35)
(U +G)
n
= g
N
sobre
n
(2.36)
El espacio apropiado para la funcin U es
V =
_
u H
1
() : u = 0 sobre
d
_
Aplicando el procedimiento estndar, que ya se ha aplicado varias veces,
se llega a la forma dbil
_

_
a
1
U v +a
0
Uv

d =
_

_
fv a
1
G v a
0
Gv

d
+
_

N
_
a
1
(U +G)
n
_
ds, v V
Usando la condicin de frontera Neumann (2.36) sobre
n
, se obtiene
nalmente el siguiente problema dbil: encontrar una funcin U en el
espacio V tal que
B(U, v) = l(v) v V (2.37)
donde
B(U, v) =
_

_
a
1
U v +a
0
Uv

d,
l(v) =
_

_
fv a
1
G v a
0
Gv

d +
_

N
a
1
g
N
vds
La forma bilineal es acotada y V-elptica (la prueba resulta anloga a
la del Lema 2.1). La desigualdad de Poincar-Friedrichs se cumple en
V debido a que la condicin de contorno es cero para U sobre
d
(ver
Observacin A.8 de oln [6]). Por tanto, el Teorema de Lax-Milgram
implica que el problema (2.37) tiene una nica solucin U V. Como de
costumbre, la solucin nal que satisface tanto la condicin de frontera
natural como la esencial es u = U +G.
Formulacin Variacional para PVF 43
Ejercicios
2.1 Considere el PVF, u

(x) = (x 1/2), 0 < x < 1, con u(0) =


u(1) = 0, donde (x 1/2) es el delta de Dirac correspondiente a
una fuerza puntual en x = 1/2. Construya la solucin exacta u de
este problema y bosqueje la grca de u y u

como funcin de x.
Cmo es la grca de u

? Tiene sentido la forma clsica de este


problema en x = 1/2?
2.2 Encuentre la solucin u del PVF (2.1) y bosqueje la grca de u y u

como funcin de x. Comente sobre u

y el sentido de la declaracin
clsica del PVF.
2.3 (a) Considere el siguiente PVF, u

(x) = x, 0 < x < 1, u(0) = 0,


u(1) = 0 y las siguientes representaciones variacionales:
(b) Encontrar u V
u
tal que u(0) = u(1) = 0 y
_
1
0
(u

x)vdx =
0 para todo v V
v
.
(c) Encontrar uV
u
tal que
_
1
0
(u

xv)dx = 0 para todo v V


v
.
(d) Encontrar u V
u
tal que
_
1
0
(uv

xv)dx = 0 para todo


v V
v
tal que v(0) = v(1) = 0.
Discutir las propiedades de las funciones de peso y de las funciones
de ensayo de cada uno de los problemas variacionales (b), (c) y (d),
de modo que estos problemas se correspondan con el problema fuerte
dado en (a). Adems, suponga que f, g, y h son las tres funciones
que se muestran en la Figura 2.3.
x
f(x)
0 1/2 1
x
g(x)
0 1/2 1
x
h(x)
0 1/2 1
Figura 2.3: Funciones f, g, y h del Ejercicio 2.3
La funcin h es dada por
h(x) =
_
1
2
x
2
, 0 x 1/2
1
4

1
2
(x 1)
2
, 1/2 x 1
44 G. Caldern y R. Gallo
Para cada problema (b), (c) y (d), determine independientemente si
f, g, y h pertenecen a la clase de funciones de ensayo o de peso.
2.4 Muestre que u

= f, 0 < x < 1, con u(0) = u

(1) = 0, tiene la
siguiente formulacin variacional: encontrar u V tal que (u

, v

) =
(f, v) para todo v V, donde V =
_
v H
1
(0, 1) : v(0) = 0
_
.
2.5 Muestre que una formulacin variacional del PVF
xu

+u = sin(x), 0 < x < 1, u(0) = u(1) = 0


es: encontrar u H
1
0
(0, 1) tal que
_
1
0
(xu

+ uv v sin(x))dx = 0
para todo v H
1
0
(0, 1).
2.6 Mostrar que si w C[0, 1] y
_
1
0
wvdx = 0 v V, entonces w(x) =
0 para todo x [0, 1].
2.7 Encuentre la forma dbil correspondiente del problema
(p(x)u

+r(x)u = f, 0 < x < 1, u(0) = 0, u

(1)+u(1) = 0.
Muestre que la forma bilineal asociada es V-elptica y continua; aqu
p
1
p(x) p
0
> 0, r
1
r(x) r
0
> 0
2.8 Considere el PVF, u = f en , con u = u
0
sobre , donde f y
u
0
son dadas. Encuentre la formulacin variacional del problema.
2.9 Justique por qu el PVF,
2
u = f en , con
u
n
= 0 sobre ,
no tiene solucin nica.
2.10 Considere el PVF
Au = f en
B
j
u = g
j
sobre , (j = 0, 1, . . . , m1)
donde A es un operador de orden 2m. Sea una funcin conocida
en C
2m
(

) tal que B
j
= g
j
sobre . Pruebe que el PVF puede
ser transformado en el problema
Aw =

f en
B
j
w = 0 sobre ,
donde w = u y

f = f A
Captulo 3
Mtodo de aproximacin
Dados los fundamentos matemticos y la teora bsica sobre la formu-
lacin variacional de EDP, en este captulo se introduce un mtodo para
encontrar una solucin aproximada del problema variacional (el mtodo
de Galerkin) para posteriormente dar un caso especial del mismo, el
mtodo de los elementos nitos. El mtodo de Galerkin resulta ser un
caso particular del mtodo de los residuos ponderados (MRP) (ver, por
ejemplo, [7]). Sin embargo, en ningn momento se har referencia al
MRP, pues su omisin no repercutir en el desarrollo y anlisis del MEF.
Como marco general, sea V un espacio de Hilbert, B(, ) : VV R
una forma bilineal (procedente, por ejemplo, de la formulacin dbil de
EDP) y l V

(representando, por ejemplo, el lado derecho de la EDP).


Entonces se quiere encontrar u V tal que
B(u, v) = l(v) v V (3.1)
Se supone que la forma bilineal B(, ) es acotada y V-elptica, es decir,
existen constantes k y tal que
[B(u, v)[ k|u|
V
|v|
V
v V (3.2)
y
B(v, v) |v|
2
V
v V (3.3)
45
46 G. Caldern y R. Gallo
3.1 El mtodo de Galerkin
La idea bsica detrs del mtodo de Galerkin es muy simple. La di-
cultad de resolver (3.1) viene con el hecho de que V es un espacio
muy grande (innito dimensional), resultando imposible crear un proce-
dimiento lgico para encontrar la solucin. El mtodo de Galerkin
1
, que
se public por primera vez en 1915, se basa en una sucesin de subespa-
cios de dimensin nita V
n

n=1
V, que converge a V, tal que

_
i=1
V
i
= V (3.4)
donde V
n
V
n+1
V, y dim(V
n
) = N
n
< para todo n = 1, 2, . . .
Cada subespacio V
n
es generado seleccionando un conjunto de funciones
linealmente independientes
i

Nn
i=1
en V y representa al mismo tiempo
un espacio de Hilbert (Hilbert es cerrado).
Teniendo denido el espacio V
n
, se plantea el problema (3.1) sobre
V
n
en lugar de V. Esto es, se busca una funcin u
n
V
n
que satisfaga
B(u
n
, v) = l(v) v V
n
(3.5)
Este problema normalmente se denomina problema discreto o aproxi-
macin de Galerkin
2
. Se mostrar que bajo hiptesis apropiadas la suce-
sin de soluciones u
n

n=1
, u
n
V, calculadas exactamente, converge
a la solucin exacta del problema (3.1).
Lema 3.1. (Unicidad) El problema variacional discreto (3.5) tiene una
nica solucin u
n
V
n
.
Demostracin: La forma B(, ), restringida a V
n
V
n
, obviamente,
sigue siendo bilineal, acotada y V-elptica. La forma lineal l(v), res-
tringida a V
n
, sigue siendo lineal y por tanto l V

n
. As, las hiptesis
1
Boris Grigorievich Galerkin (1871-1945) matemtico ruso que alcanz la fama por
sus resultados relacionados sobre la solucin numrica de EDP y el estudio sobre el
anlisis de tensiones en presas. Sus trabajos, encontraron muchas aplicaciones indus-
triales, principalmente en la construccin de grandes presas y centrales hidroelctricas.
2
En el caso que la forma bilineal sea simtrica, la solucin discreta tambin se
caracteriza por la propiedad J(un) = inf{J(vn) : vn Vn}, donde el funcional J es
dado por J(v) =
1
2
B(u, v) l(v). Esta denicin alternativa de la solucin discreta
es conocida como el mtodo de Ritz, un enfoque desde este punto de vista puede
encontrarse, entre otros, en el texto de Ciarlet [8].
Mtodo de aproximacin 47
del Teorema de Lax-Milgram se siguen cumpliendo y por tanto existe
una nica solucin de (3.5).
La esencia del mtodo de Galerkin se debe a que la solucin u
n
V
n
para el problema discreto, se puede encontrar explcitamente como una
combinacin lineal de las funciones base de V
n
con coecientes descono-
cidos. Por consiguiente, para u
n
existen escalares a
j
y, para cualquier
v
n
V
n
escalares b
j
, tales que
u
n
=
Nn

j=1
a
j

j
, v =
Nn

i=1
b
i

i
(3.6)
Sustituyendo (3.6) en (3.5), se obtiene
B
_

j
a
j

j
,

i
b
i

i
_
= l
_

i
b
i

i
_
Usando el hecho que B es bilineal y l lineal

i
b
i
_

j
B(
j
,
i
)a
j
l(
i
)
_
= 0
o, ms concisamente
N
n

i=1
b
i
_
_
N
n

j=1
K
ij
a
j
F
i
_
_
= 0 (3.7)
donde
K
ij
:= B(
i
,
j
) y F
i
:= l(
i
) (3.8)
son, respectivamente una matriz N
n
N
n
(matriz de rigidez) y un vec-
tor de dimensin N
n
(vector de carga). Note que K
ij
y F
i
pueden ser
evaluadas puesto que las
i
son funciones conocidas y tanto B como l
estn dadas explcitamente.
Como los coecientes b
i
son arbitrarios, se sigue que (3.7) se cumple
solo si la parte interna del parntesis es cero, lo cual reduce el problema
a resolver el sistema de ecuaciones:
Nn

j=1
K
ij
a
j
= F
i
i = 1, 2, . . . , N
n
(3.9)
Una vez resuelto este sistema de ecuaciones, la solucin aproximada u
n
se puede encontrar a partir de (3.6).
48 G. Caldern y R. Gallo
Ejemplo 3.1. Considere el PVF
u

= sen
_
x
2
_
en = (0, 1), u(0) = u

(1) = 0
Multiplicando la ecuacin por la funcin test e integrando por partes

_
1
0
u

vdx =
_
v(1)u

(1) v(0)u

(0)

+
_
1
0
u

dx =
_
1
0
u

dx
Entonces, la correspondiente forma variacional es: encontrar u V tal
que
_
1
0
u

dx =
_
1
0
sen
_
x
2
_
vdx v V
donde V =
_
v H
1
(0, 1) : v(0) = 0
_
(note que u

(1) = 0 es una condi-


cin de frontera natural). Se dene V
n
como el subespacio de Vgenerado
por
i
(x) = x
i
, con i = 1, 2, 3, . . . , N
n
. Se tiene entonces que
K
ij
= B(
i
,
j
) =
_
1
0

j
dx y F
i
= l(
i
) =
_
1
0
sen
_
x
2
_

i
dx.
Si se supone que N
n
= 2, se obtiene las funciones base
1
,
2
= x, x
2

y el conjunto de ecuaciones
K
11
a
1
+K
12
a
2
= F
1
K
21
a
1
+K
22
a
2
= F
2
donde
K
11
=
_
1
0

1
dx = 1, K
12
=
_
1
0

2
dx = 2
_
1
0
xdx = 1 = K
21
,
K
22
=
_
1
0

2
dx = 4
_
x
2
dx =
4
3
x
3
=
4
3
,
F
1
= l(
1
) =
_
1
0
sen
_
x
2
_
xdx = 0.4052847344,
F
2
= l(
2
) =
_
1
0
sen
_
x
2
_
x
2
dx = 0.3183098861
Obteniendo el sistema de ecuaciones
a
1
+a
2
= 0.40528
a
1
+
4
3
a
2
= 0.31831

a
1
= 0.6662
a
2
= 0.2609
Entonces, la solucin u
n
queda dada por
Mtodo de aproximacin 49
u
n
= a
1

1
(x) +a
2

2
(x) = 0.6662x 0.2609x
2
La solucin exacta a este problema es u(x) = 0.405 sen
_
x/2
_
, y es
comparada con la solucin aproximada en la Figura 3.1. Vemos, una
simple aproximacin, como la dada en un espacio de dos dimensiones,
apenas si se distingue de la solucin exacta.
0 0.2 0.4 0.6 0.8 1
0
0.05
0.1
0.15
0.2
0.25
0.3
0.35
0.4
0.45


Solucin aproximada u
Solucin exacta u
n
Figura 3.1: Solucin exacta (lnea continua) y solucin aproximada (lnea punteada) del
Ejemplo 3.1
Con el n de mostrar la no singularidad de la matriz de rigidez K
n
=
_
K
ij
_
N
n
i,j=1
, se prueba primero que sta tiene la propiedad de denida
positiva.
Lema 3.2. (Denida positiva de K
n
) Sea V
n
un espacio de Hilbert con
dim(V
n
) = N
n
< y B(, ) : VV R una forma bilineal V-elptica.
Entonces la matriz de rigidez K
n
del problema discreto (3.9) es denida
positiva.
Demostracin: El objetivo es demostrar que Y
T
KY > 0 para todo
Y R
N
n
y Y ,= 0. Sea Y = (y
1
, y
2
, . . . , y
N
n
)
T
un vector arbitrario, y
v dada por v =

N
n
i=1
y
i

i
, donde
_

1
,
2
, . . . ,
Nn
_
es una base de V
n
,
junto con la propiedad V-elptica de B(, ), se tiene
Y
T
KY =
Nn

i=1
Nn

j=1
y
i
K
ij
y
j
= B
_
Nn

i=1
y
i

i
,
Nn

j=1
y
j

j
_
= B(v, v) |v|
2
V
> 0,
lo cual completa la prueba.
50 G. Caldern y R. Gallo
Corolario 3.1. (No singularidad de K
n
) La matriz de rigidez K
n
del
problema discreto (3.9) es no singular.
Demostracin: Este hecho se sigue inmediatamente de la existencia y
unicidad de la solucin u
n
V (Lema 3.1). Alternativamente, suponga-
mos que K
n
es singular. Entonces existe un vector no trivial Y
0
R
Nn
tal que K
n
Y
0
= 0. Por tanto, necesariamente Y
T
0
K
n
Y
0
= 0, lo cual es
contradictorio con la propiedad de denida positiva de K
n
(Lema 3.2).
As, se concluye que el sistema de ecuaciones lineales (3.9) tiene una
nica solucin Y
n
que dene una nica solucin u
n
V
n
de (3.5) a travs
de (3.6).
La forma bilineal B(, ) dene un producto interno en V si B es
simtrica y V-elptica; de hecho, las propiedades de linealidad y simetra
son obvias, mientras la propiedad de denida positiva viene de la V-
elpticidad de B:
B(v, v) |v|
2
V
> 0 v ,= 0
Como antes, se denota el producto interno por (, )
B
y nos referimos a
este como el producto interno energtico; la correspondiente norma es
llamada norma de energa, y es denotada por | |
B
. As, se tiene
(u, v)
B
= B(u, v), |u|
2
B
= (u, u)
B
(3.10)
Ahora, si el sistema de funciones bases
i

Nn
i=1
se elige de una manera tal
que sean ortogonales respecto al producto interno de la energa, entonces
el sistema de ecuaciones (3.9) se simplica considerablemente, ya que
K
ij
= B(
i
,
j
) = (
i
,
j
)
B
= 0 si i ,= j
y as K
ii
a
i
= F
i
o a
i
= F
i
/K
ii
; este es el caso del ejemplo anterior.
Sin embargo, un comentario es apropiado para lo dicho anteriormente.
Mientras que para el ejemplo anterior resulto absolutamente simple en-
contrar una base ortogonal respecto al producto interno (, )
B
, en general
esto es muy difcil. Se podra por supuesto elegir cualquier base no or-
togonal y utilizar el procedimiento de Gram-Schmidt para ortogonalizar
u ortonormalizar, pero para todos excepto los problemas ms triviales,
esto es un proceso laborioso y poco se gana de este.
El problema de cmo construir una base
i

N
n
i=1
de manera tal que
V
n
se aproxime a V cuando n , puede ser complicado. Recuerde
que mientras bases ortogonales para espacios tales como L
2
() son bien
Mtodo de aproximacin 51
conocidas (ver, por ejemplo, seccin 23 de [7]), al usar el mtodo de
Galerkin se requiere encontrar bases del espacio V que son subespacios
de un espacio de Sobolev H
m
(), y que son denidos en dominios
los cuales pueden ser absolutamente irregulares en forma. Un mtodo
muy simple y elegante para construir tales bases es proporcionado por el
mtodo de los elementos nitos. Antes de describir este procedimiento
se discuten algunas caractersticas importantes de las aproximaciones de
Galerkin.
3.2 Propiedades de la aproximacin de Galerkin
En el apartado anterior fue presentado el mtodo de Galerkin y se ilustr
como el mtodo es usado en la prctica. Sin embargo, resulta necesario,
conocer bajo que condiciones el mtodo resulta convergente y que ca-
ractersticas de precisin presenta la solucin aproximada u
n
. Con este
n, se introduce la propiedad de ortogonalidad del error en problemas
elpticos. Adems, se enuncia y prueba el Lema de Ca. A partir de estos
resultados se prueba que la sucesin de Galerkin u
n

n=1,2,...
converge a
la solucin del problema.
3.2.1 Ortogonalidad del error y Lema de Ca
El error e
n
:= u u
n
de la solucin para el problema discreto (3.9)
presenta la siguiente propiedad de ortogonalidad.
Lema 3.3. (Ortogonalidad del error para problemas elpticos) Sea u V
la solucin exacta del problema continuo (3.1) y u
n
la solucin exacta
del problema discreto (3.5). Entonces el error e
n
= u u
n
satisface
B(u u
n
, v) = 0 v V
n
(3.11)
Demostracin: Sustrayendo (3.5) de (3.1) y restringidos al espacio
V
n
V.
Interpretacin Geomtrica Si la forma bilineal B(, ) es simtrica,
se induce un producto interno energtico (u, v)
B
= B(u, v). Se sigue de
(3.11) que
B(e
n
, v) = (e
n
, v)
B
= 0 v V
n
es decir, el error de la aproximacin de Galerkin, e
n
, es ortogonal al sub-
52 G. Caldern y R. Gallo
espacio V
n
respecto al producto interno energtico (ver Figura 3.2). De
ah que la solucin aproximada u
n
V
n
es una proyeccin ortogonal
de la solucin exacta u V en el subespacio V
n
respecto al producto
interno energtico. De hecho, segn el Teorema 23.1 (apartado 23 de [7]),
si
k

N
k=1
es una base ortonormal de V
n
respecto a (, )
B
, entonces la
proyeccin ortogonal sobre V
n
es denida por
Tv =
N

k=1
(v,
k
)
B

k
(3.12)
Pero de (3.11) si se toma v =
k
se encuentra que
(u,
k
)
B
= (u
n
,
k
)
B
de modo que
Tu =
N

k=1
(u
n
,
k
)
B

k
= Tu
n
= u
n
(3.13)
Por tanto, la proyeccin ortogonal de la solucin u sobre V
n
es la solucin
aproximada u
n
, usando el producto interno (, )
B
. Claramente, e
n
=
u u
n
= u Tu N(T), esto es (e
n
, v)
B
= 0, lo cual conrma (3.11).
u
n
e
V
n
n
u
Figura 3.2: Interpretacin geomtrica de la ortogonalidad de Galerkin.
La analoga geomtrica se puede llevar un poco ms lejos. La Figura
3.2 sugiere fuertemente que la distancia |u v|, con v V
n
arbitraria,
es un mnimo cuando v = u
n
. Lo cual, adems, se puede ver del siguiente
clculo,
B(u v, u v) = B(u u
n
+u
n
v, u u
n
+u
n
v)
= B(e
n
+ (u
n
v), e
n
+ (u
n
v))
= B(e
n
, e
n
)+2B(e
n
, u
n
v)+B(u
n
v, u
n
v)
Mtodo de aproximacin 53
usando el hecho de que B es bilineal. El segundo trmino del lado derecho
es cero, ya que e
n
es ortogonal a todo miembro de V
n
usando el producto
interno (, )
B
. As,
|u v|
2
B
= |e
n
|
2
B
+|u
n
v|
2
B
y para u y u
n
jas (y por lo tanto para e
n
jo) se concluye que |u v|
es ms pequeo cuando v = u
n
, esto es
|u u
n
|
B
= inf
vV
n
|u v|
B
(3.14)
En otras palabras, la funcin v que es ms cercana a u es la aproximacin
de Galerkin. En este sentido, la aproximacin de Galerkin es la mejor
aproximacin a u en V
n
.
A continuacin se introduce el Lema de Ca, el cual establece la rela-
cin entre el error de la aproximacin e
n
= u u
n
y las propiedades
de la interpolacin del subespacio V
n
, usando las constantes, y k, que
surgen de la continuidad y la propiedad V-elptica de la forma bilineal B.
Teorema 3.1 (Lema de Ca). Sea V un espacio de Hilbert, B(, ) :
VV R una forma bilineal acotada y V-elptica y l V

. Sea u V
la solucin del problema (3.1). Adems, sea V
n
un subespacio de V y
u
n
V
n
la solucin de la aproximacin de Galerkin (3.5). Sea k y las
constantes de continuidad y V-elptica de la forma B(, ). Entonces
|u u
n
|
V

k

inf
vV
n
|u v|
V
(3.15)
Demostracin: Usando (3.11) se obtiene que
B(u u
n
, u u
n
) = B(u u
n
, u v) B(u u
n
, u
n
v)
= B(u u
n
, u v)
para cualquier v V
n
. Por la V-elpticidad de la forma bilineal B(, ),
se tiene
B(u u
n
, u u
n
) |u u
n
|
2
V
(3.16)
La acotacin de B(, ) produce
B(u u
n
, u u
n
) k|u u
n
|
V
|u v|
V
v V
n
(3.17)
De (3.16) y (3.17) se obtiene
|u u
n
|
V

k

|u v|
V
v V
n
54 G. Caldern y R. Gallo
lo cual completa la prueba.
El Teorema 3.1 se prob por primera vez por Ca [22] en 1964 para
el caso simtrico y ampliado para el caso no simtrico cuatro aos ms
tarde en [23].
Observacin 1. El Lema de Ca arma que el error de aproximacin e
n
depende de la eleccin del subespacio de Galerkin V
n
, pero no depende
de la seleccin de la base. Por lo tanto, cuando se trabaja con MEF
para problemas elpticos, se debe pensar en trminos de espacios de fun-
ciones en lugar de un conjunto de funciones bases en concreto. Adems,
los resultados numricos deben ser independientes de las funciones base
seleccionadas. La seleccin de la base es un asunto relacionado con el
nmero de condicin de la matriz de rigidez K
n
, la cual inuye en el
desempeo de los mtodos iterativos usados para resolver el sistema.
3.2.2 Convergencia del mtodo de Galerkin
La convergencia del mtodo de Galerkin para problemas elpticos es una
simple consecuencia del Lema de Ca (Teorema 3.1).
Teorema 3.2. Sea V un espacio de Hilbert y V
1
V
2
V una
sucesin de subespacios nito dimensional tal que

_
i=1
V
i
= V (3.18)
se cumple. Adems, supongamos que B(, ) : VV R es una forma
bilineal acotada y V-elptica y l V

. Entonces
lim
n
|u u
n
|
V
= 0
es decir, el mtodo de Galerkin para el problema (3.1) es convergente.
Demostracin: Dada la solucin exacta u V de (3.1), por (3.18) es
posible encontrar una sucesin v
n

n=1
tal que v
n
V
n
V para cada
n = 1, 2, . . . , y
lim
n
|u v
n
|
V
= 0 (3.19)
El Lema 3.1 nos da la existencia y unicidad de la solucin u
n
V
n
del
problema discreto (3.5) para cualquier n 1. Por el Lema de Ca,
Mtodo de aproximacin 55
|u u
n
|
V

k

inf
vVn
|u v|
V

k

|u v
n
|
V
, n = 1, 2, . . . (3.20)
Por (3.19) se concluye que
lim
n
|u u
n
|
V
= 0
El Lema de Ca nos dice que para conseguir una cierta idea del tamao
del error uu
n
, no es de hecho necesario trabajar con u
n
; basta escoger
cualquier miembro v
n
V
n
y encontrar la distancia de u a v
n
. Una
vez calculada esta distancia, (3.15) o (3.20) nos asegura que el error ser
acotado superiormente por (k/)|u v
n
|
V
. La pregunta que surge de
forma inmediata es: qu funcin v
n
se utiliza para este propsito? La
opcin ms conveniente es tomar la interpolacin de u: es decir, una
funcin I
n
u en V
n
cuyos valores coinciden con los de u en N puntos
x
1
, x
2
. . . , x
n
de . Ya que I
n
u tiene la representacin
I
n
u =
N

k=1
a
k

k
(3.21)
donde
k
es la base de V
n
, entonces se pueden determinar los coe-
cientes a
k
del hecho que
u(x
k
) = I
n
u(x
k
) k = 1, 2 . . . , N
Esto es, se resuelve para a
k
, las N ecuaciones simultneamente
N

j=1
a
j

j
(x
k
) = u(x
k
) k = 1, 2, . . . , N
El operador T : V V denido por Tu = I
n
u es un operador de
proyeccin.
Un ejemplo sencillo es dado para el subespacio de dos dimensiones de
H
1
(0, 1) que consiste de las funciones

1
(x) = x
2
(x) = 1 x (3.22)
Supongamos que se requiere que la interpolantes I
n
u sea igual a u en
los puntos x
1
= 1/3 y x
2
= 2/3, entonces de (3.21) y (3.22) se tiene
56 G. Caldern y R. Gallo
1
3
a
1
+
2
3
a
2
= u
_
1
3
_
2
3
a
1
+
1
3
a
2
= u
_
2
3
_
Resolviendo, se obtiene
a
1
= 2u
_
2
3
_
u
_
1
3
_
, a
2
= 2u
_
1
3
_
u
_
2
3
_
Con la seleccin (3.21) para v
n
, (3.20) queda dada por
|u u
n
|
k

|u I
n
u| (3.23)
y el problema de la convergencia, se reduce al de probar, si I
n
u u
cuando n y, si esto ocurre, con qu velocidad ocurre. Se ha reducido
as el problema de la convergencia de la aproximacin de Galerkin a uno
de convergencia de interpolacin.
En el caso del MEF, que se caracteriza por el hecho de que las funciones
bases son polinomios a trozos, se ver que la distancia entre u y su
interpolante I
n
u satisface una desigualdad de la forma
|u I
n
u|
V
C H

(3.24)
donde H representa el tamao de elemento (por ejemplo, H = 1/N
n
,
para el caso unidimensional), C una constante independiente de H, y
positivo. Entonces (3.24) nos dice que
|u u
n
|
V

Ck

(3.25)
Por lo tanto, como la aproximacin mejora progresivamente a medida
que N
n
se haga ms grande y H se haga ms pequeo, se puede esperar
que u
n
converge a u con una velocidad que esta determinada por la
magnitud de . Esto se escribe como
|u u
n
| = O(H

) (3.26)
y se dice que la convergencia de u
n
a u es de orden . Claramente, se
debe buscar que sea tan grande como sea posible.
Un resultado como (3.23) es llamado una estimacin de error de in-
terpolacin, por razones obvias, mientras que (3.25) y (3.26) son lla-
madas estimaciones del error de Galerkin. La manera de examinar la
convergencia de las aproximaciones de Galerkin estarn siempre va las
estimaciones de la forma (3.25).
Mtodo de aproximacin 57
En el caso del problema modelo unidimensional, las siguientes estima-
ciones a priori del error se pueden probar para funciones base lineales a
trozos
|e|
E
C
1
H, |e|
2
C
2
H
2
, |e|

C
3
H
2
Geomtricamente, se puede observar que la grca de una funcin real
E(h) de la forma CH

es una lnea recta de pendiente e interceptada


por el eje de las ordenadas en log(C) sobre una grca logartmica:
log(E) = log(H) + log(C)
As, si la igualdad en (3.24) se cumple, una grca de log(|E|) contra
log(H) debe producir una lnea recta, para H sucientemente pequea,
la pendiente es el orden de convergencia respecto a la norma | |; la
constante C desplazar la lnea hacia arriba o hacia abajo.
Ejercicios
3.1 Use el mtodo de Galerkin con las funciones
1
,
2
= x
2

2x, x(x 1)
2
para obtener una solucin aproximada (dos parme-
tros) de la solucin del PVF
d
2
u
dx
2
+u = 1, 0 < x < 1 con u(0) = 0,
du
dx
= 0 en x = 1
Encuentre la ecuacin residual (x) = d
2
u
n
/dx
2
+u
n
1. Graque en
conjunto la solucin aproximada u
n
, la solucin exacta u = cos(x)
tan(1) sin(x) + 1, y la ecuacin residual (x).
3.2 Determine los parmetros de la solucin u
n
(x) = a
1
(1x
2
) +a
2
(1
x
4
) del problema
d
2
u
dx
2
+ (1 +x
2
)u = 1, 1 x 1 con u(1) = 0, u(1) = 0
Encuentre la ecuacin residual (x) y graque las soluciones obtenidas.
3.3 El PVF (xu

= x en = (1, 2), u(1) = u(2) = 0, tiene la solucin


exacta u(x) =
1
4
x
2

3
4
ln(x)
ln(2)

1
4
. Use el mtodo de Galerkin para
58 G. Caldern y R. Gallo
encontrar una solucin aproximada u
n
en el subespacio de H
1
0
(1, 2)
generado por
1
(x) = (x 1)(x 2) y
2
(x) = x(x 1)(x 2).
Compare la solucin exacta y aproximada de forma grca y usando
el error |e|
L

, |e|
L
2
y |e|
H
1, donde e = u u
n
.
3.4 Use el mtodo de Galerkin con funciones base
1
(x, y) = (xx
2
)(y
y
2
) y
2
(x, y) = (x
3

3
2
x
2
+
1
2
x)(y
3

3
2
y
2
+
1
2
y) para resolver el PVF

2
u = xy en = (0, 1) (0, 1), u = 0 sobre
3.5 Dado el problema variacional B(u, v) = l(v), para todo v V, con
B simtrica y V-elptica, muestre que la aproximacin de Galerkin
u
n
satisface
|u u
n
|
2
B
= |u|
2
B
|u
n
|
2
B
esto es, el error en norma de energa es igual al error en energa. De
esto se deduce que |u
n
|
B
|u|
B
.
3.6 Sea V
n
un subespacio de H
1
(1, 1) generado por las tres funciones

1
(x) =
1
2
x(x 1),
2
(x) = 1 x
2
,
3
(x) =
1
2
x(x + 1)
y dena la interpolante I
n
u de u H
1
(1, 1) por I
n
u =
3

k=1
a
k

k
(x)
donde a
k
= u(x
k
) y x
1
= 1, x
2
= 0, x
3
= 1. Encuentre I
n
u si
u(x) = sen((x
1
2
))/2, y evalu |u u
n
|
H
1.
3.7 Considere el problema discreto variacional: encontrar u
n
H
1
0
(0, 1)
tal que
_
1
0
(u

n
v

n
+u
n
v
n
)dx =
_
1
0
xv
n
dx, v
n
H
1
0
(0, 1)
Para N
n
= 3 y seleccionando
j
= sen(jx), j = 1, 2, 3. Calcule K
ij
y F
j
y encuentre la solucin aproximada u
n
. Graque la solucin
exacta y aproximada y comente sobre la precisin de la solucin
encontrada.
3.8 Construya funciones base
i
, i = 1, 2, 3 que sean polinomios de grado
(i + 1) y satisfaga las condiciones de frontera del problema del ejer-
cicio 3.7. Repita el ejercicio 3.7 para esta base de funciones.
Captulo 4
El Mtodo de los Elementos
Finitos
En situaciones prcticas, la determinacin de funciones bases apropiadas
para usar en el mtodo de Galerkin puede ser extremadamente difcil,
especialmente en casos donde el dominio no tiene una forma simple. El
MEF supera esta dicultad proporcionando una manera sistemtica para
generar funciones bases en dominios con una forma bastante arbitraria.
Lo que hace al mtodo especialmente atractivo es el hecho que estas
funciones bases son polinomios a trozos que son diferentes de cero solo
en una parte relativamente pequea de , lo cual resulta en que las
evaluaciones de las integrales de K
ij
y F
j
son muy simples.
Las incgnitas de un problema variacional representan en general com-
ponentes de un campo vectorial. Por ejemplo, el desplazamiento u(x, y)
en una placa bidimensional es un vector (21). Sin embargo, cantidades
como temperatura, presin y potenciales de corriente son de naturaleza
escalar. Por ejemplo, en la conduccin de calor bidimensional de estado
estable, el campo de temperatura T(x, y) es la incgnita a determinar.
Esta es la clase de problemas ms simple y los ms comnmente encon-
trados en casi todas las ramas de la ingeniera y la fsica, y la mayor parte
de las propiedades de las aproximaciones mediante MEF pueden ser de-
mostradas en este contexto. De esta forma, se centra el desenvolvimiento
del mtodo para problemas que pueden verse como casos especiales de
59
60 G. Caldern y R. Gallo
la ecuacin de Helmholtz, dada por

x
_
k
x
u
x
_
+

y
_
k
y
u
y
_
+u +G = 0 (4.1)
junto con las condiciones de frontera sobre u(x, y) y sus derivadas. La
generalizacin a PVF de mayor orden y a problemas en R
n
para n 3
se sigue de una manera natural.
En los siguientes apartados se delinean los pasos que nos llevan a la
construccin del MEF para PVF (campo escalar) denidos en R y R
2
.
Posteriormente, se describen en detalle algunas funciones bases comn-
mente usadas en la implementacin del mtodo. Se muestra, por medio
de ejemplos cmo el mtodo es usado para resolver PVF en R y R
2
.
Finalmente, se adjunto al texto un cdigo para resolver el tipo de
problema a discutir en este captulo. Aunque no se analiza el desarrollo
de dicho cdigo, se motiva al lector que ejecute los ejemplos dados y
haga algunas pequeas modicaciones para que implemente los ejemplos
dejados en la lista de ejercicios.
4.1 El MEF para problemas de segundo orden
Supongamos que se tiene el siguiente PVFV: encontrar u V tal que
B(u, v) = l(v) v V (4.2)
Para un PVF de segundo orden, el espacio de funciones admisibles V
consiste de todas aquellas funciones en H
1
() que satisface las condi-
ciones de frontera esenciales.
Una aproximacin de Galerkin u
n
a la solucin de (4.2) puede ser
encontrada construyendo un subespacio nito dimensional V
n
de V, el
cual es generado por un nmero nito de funciones bases
i
. Entonces
se plantea el problema de encontrar un u
n
V
n
que satisface
B(u
n
, v
n
) = l(v
n
) v
n
V
n
(4.3)
El objetivo entonces es describir un mtodo para construir funciones
bases
i
apropiadas; una vez hecho esto, el problema se reduce a resolver

j
K
ij
a
i
= F
i
, i = 1, 2, . . . , N (4.4)
donde, como ya se dijo en (3.8)
El Mtodo de Elementos Finitos 61
K
ij
= B(
i
,
j
) y F
i
= l(
i
) (4.5)
4.1.1 La malla de elementos nitos
Se comienza subdividiendo el dominio en un nmero nito E de sub-
dominios
1
,
2
, . . . ,
E
, llamados los elementos nitos. Estos elementos
no se solapan y cubren , por tanto, satisfacen


j
= para ,= j ,
E
_
e=1

e
= (4.6)
Para evitar complicaciones innecesarias, se asume que el dominio es
poligonal si es un subconjunto de R
2
. Es decir, la frontera R
2
de
se compone de segmento rectos. Bajo estas condiciones, es fcil ver que el
dominio entero se puede cubrir exactamente por elementos poligonales,
como muestra la Figura 4.1.

3
...
...

e
Figura 4.1: Discretizacin por elementos nitos del dominio en una malla compuesta
por elementos cuadrilteros.
Se impone una condicin ms a la subdivisin de : todo lado de la
frontera de un elemento en R
2
es o parte de la frontera , o es un lado
de otro elemento. Esta condicin elimina la situacin tal como la que se
muestra en la Figura 4.2, en la cual AB es un lado de
2
pero no de
1
.
4.1.2 Puntos nodales
Se identican ciertos puntos en el dominio subdividido llamados nodos
o puntos nodales; estos puntos desempean un papel dominante en el
62 G. Caldern y R. Gallo

2
A
B
Figura 4.2: Discretizacin no aceptada del dominio .
MEF, como se pondr en evidencia a medida que se vaya desarrollando
el mtodo. Los nodos se asignan, por lo menos, en los vrtices de los
elementos como se muestra en la Figura 4.3.a, pero para mejorar la apro-
ximacin, otros nodos se pueden introducir, por ejemplo, en los puntos
medios de los lados de los elementos tal como se indica el la Figura 4.3.b.
En cualquier caso, hay un total de m nodos, los cuales son numerados
1, 2, . . . , m y tienen vectores de posicin x
1
, x
2
, . . . , x
m
. El conjunto de
elementos y nodos que componen el dominio es llamado la malla de
elementos nitos.
.
.
.
.
.
.
.

1

2

3
.
.
.
.
.
.
.

1

2

3
.
.
.
.
.
.
.
.
.
(a) (b)
Figura 4.3: Conguracin de los nodos en los elementos del dominio .
4.1.3 Funciones bases
i
Denida la malla de elementos nitos, se est listo para proceder a denir
las funciones base de elementos nitos. En el procedimiento se debe
tener presente que las funciones bases denen un subespacio de V, as
que ellas deben ser funciones en H
1
() que satisfagan las condiciones de
frontera esenciales. Se deja a un lado, por el momento, la cuestin de las
El Mtodo de Elementos Finitos 63
condiciones de frontera esenciales y se procede a construir un sistema de
funciones con las caractersticas siguientes:
(i) Las funciones
i
son continuas, esto es,
i
C(

).
(ii) Hay un total de m funciones bases, y cada funcin
i
es distinta de
cero solo en aquellos elementos que estn conectado por el nodo i.
(iii)
i
es igual a 1 en el nodo i, e igual a cero en los otros nodos:

i
(x
j
) =
_
1 si i = j
0 en los otros casos
(4.7)
(iv)
(e)
i
ser la restriccin de
i
al elemento
e
, en otras palabras,

(e)
i
=
i

e
; (4.8)
entonces
(e)
i
es una funcin polinomial.
De (iii) y (iv) es claro que la funcin
(e)
i
dene un elemento (e) con las
caractersticas

(e)
i
(x
j
) =
_
1 si i = j
0 en los otros casos
(4.9)
con los ndices i y j recorriendo todos los nodos de
e
. Llamaremos a
(e)
i
funcin de base local (Ver Figura 4.4). La denicin de dichas funciones
locales constituye el ingrediente fundamental del MEF. Las funciones
locales se conocen por distintos nombres, el ms extendido es quizs el
de funciones de forma o funciones de interpolacin, porque proporcionan
las formas que puede adoptar localmente el campo incgnita. La eleccin
de estas est condicionado no solo por la geometra de los elementos
nitos, sino tambin, por el tipo de problema que se intenta resolver
(elasticidad, plasticidad, transferencia de calor, etc.)
No es difcil demostrar que las condiciones (i) y (iv) aseguran que las
funciones
i
pertenecen a H
1
(), como fue requerido (ejercicio). Por
lo tanto, se van a denir funciones base las cuales son polinomiales a
trozos, y con la propiedad adicional que tengan soporte pequeo, esto es,
que sean distintas de cero solo en una regin pequea del dominio.
Con lo dicho, se tiene entonces que N
n
est relacionado implcitamente
con el tamao de elemento H. De esta manera, y solo como notacin, la
solucin u
n
y el espacio V
n
sern adems denotados usando el subndice
64 G. Caldern y R. Gallo
. . . . .

1

2

3

4

1
1 2 3 4 5

nodos
.....
......
.
....
.
.
.
.
.
...
......

i
...
.......
.....

33

4
....
........
ii
Figura 4.4: Ejemplo de funciones base
i
y funciones de base local
e
i
para una malla en
1D (parte superior) y 2D con elementos triangulares (parte inferior).
H (esto es, u
H
y V
H
). As, la solucin aproximada de Galerkin y las
funciones de ponderacin a utilizar quedan dadas por
u
H
(x) =
m

i=1
a
i

i
(x), v
H
(x) =
m

i=1
b
i

i
(x) (4.10)
Ejemplos especcos de funciones de ponderacin sern dados en el
siguiente apartado. Sin embargo, se debe observar que de (4.7) se en-
cuentra
v
H
(x
j
) =
m

i=1
b
i

i
(x
j
) = b
j
esto es, el coeciente b
j
es simplemente el valor de v
H
en el nodo j.
Hasta el momento, no se ha dicho nada sobre las condiciones de fron-
tera esenciales, las cuales forman parte de la denicin de V
H
. As, si
se denota por X
H
el espacio generado por las funciones bases
i

m
i=1
,
entonces
V
H
= v
H
X
H
: v
H
satisface las conds. de frontera esenciales
= span
i
:
i
satisface las conds. de frontera esenciales(4.11)
El Mtodo de Elementos Finitos 65
De la misma manera, se denota por X
e
el espacio generado por las fun-
ciones
e
i
, esto es,
X
e
= span
_

(e)
i
_
=
_
v
H

e
, v
H
X
H
_
es decir, X
e
es el espacio que consiste de la restriccin de todas las
funciones en X
H
a
e
. Debido a (iv) se tiene que X
e
consiste de todos
los polinomios hasta un cierto grado dado.
4.1.4 La solucin aproximada
Dado que
(e)
i
es la restriccin de
i
a
e
, se tiene que (4.5) se puede
escribir como
K
ij
= B(
i
,
j
) =
E

e=1
B
(e)
_

i
,
j
_
=
E

e=1
B
(e)
_

(e)
i
,
(e)
j
_
. .
K
(e)
ij
(4.12)
y
F
i
= l(
i
) =
E

e=1
l
(e)
_

i
_
=
E

e=1

(e)
_

(e)
i
_
. .
F
(e)
i
(4.13)
Aqu se ha usado el hecho, en primer lugar, que B(
i
,
j
) es de la forma
_

. . ., lo cual puede escribirse como una suma de integrales

E
e=1
_
e
. . .
sobre cada elemento
e
. As, la evaluacin actual de K
ij
y F
i
se reduce
a la evaluacin de una serie de matrices K
(e)
ij
y vectores F
(e)
i
para cada
elemento, y entonces se suman estas contribuciones sobre todos los ele-
mentos. La condicin (ii), del apartado anterior, da lugar a una simpli-
cacin adicional: ya que
i
= 0 para todo elemento que no tenga al
nodo i como uno de sus nodos, claramente K
(e)
ij
= 0 si los nodos i y j no
pertenecen a
e
. Se sigue entonces, que una enumeracin apropiada de
los nodos dar lugar a una matriz K que tiene una estructura de banda
en la cual todas las entradas distintas de cero estn alrededor de la dia-
gonal principal. Desde un punto de vista de cmputo esto representa
una ventaja adicional.
Debe quedar claro lo que se ha discutido: se puede construir una
funcin base
i
a partir de parches formados por las funciones bases
local
(e)
i
asociadas, al nodo i, como se muestra en la Figura 4.5.
66 G. Caldern y R. Gallo
. . .
3 4

3 4 5
. . .
1 2
1 2 3

nodos

2
3
4

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

Figura 4.5: Funciones base local


e
i
para una malla en 1D (parte superior) y 2D con
elementos triangulares (parte inferior). Al unir las funciones
(e)
i
de los elementos que
comparten el nodo i, se forma la funcin base,
i
, correspondiente al nodo i.
Solucin del sistema de ecuaciones
El mtodo numrico utilizado para resolver el sistema lineal de ecua-
ciones, Ka = F, reviste una importancia fundamental en el desenvolvi-
miento computacional del MEF. En general, la seleccin de dicho mtodo
depender del tamao del sistema a resolver. Los mtodos directos (eli-
minacin Gaussiana, Choleski, Frontal, QR, etc.) obtienen una solucin
aproximada en un nmero nito de pasos y son apropiados para sis-
temas pequeos y densos. Una excelente referencia para el estudio de los
mtodos directos es el libro de Datta [24]. Los mtodos iterativos, por
otro lado, resultan apropiados para resolver grandes sistemas lineales de
ecuaciones, con matriz sparse (que tiene muy pocos elementos diferentes
de cero) y usualmente con una estructura (cero-no-ceros) preestablecida.
El Mtodo de Elementos Finitos 67
En el caso de matrices simtricas denidas positivas, el mtodo iterativo
ms conocido es el de gradientes conjugados, desarrollado por Hestenes
y Stiefel [25] en 1952 y, posteriormente, redescubierto por Reid [26] en
1971. No obstante, existe un sin n de referencias literarias para el estu-
dio de tales mtodos. Un enfoque ms clsico se puede encontrar en el
libro de Isaacson y Keller [27]. El libro de Molina y Raydn [28] junto a
las referencias que se dan en este, constituye un compendio ms reciente
para el caso de mtodos iterativos.
La discusin comparativa acerca de las ventajas, limitaciones y bon-
dades de los diferentes mtodos es un aspecto que, por su complejidad,
escapa del alcance de este libro y ahondar en esta direccin solo nos ale-
jara de los objetivos que se siguen. As, solo nos resta limitarnos al uso
de las libreras (software) existentes y motivar al lector, interesado en
estos aspectos, a consultar las referencias antes mencionadas.
4.2 Problema unidimensional
En este apartado, se darn los detalles de un procedimiento sistemtico
para la creacin de las funciones bases locales
(e)
i
y, por lo tanto, las
funciones bases
i
, para el caso de un problema unidimensional; poste-
riormente, se pondrn en prctica en el desarrollo de un ejemplo. Para
esto, consideremos un problema de segundo orden denido en un sub-
conjunto = (a, b) de la recta real. El dominio es dividido en elementos

1
,
2
, . . . ,
E
, donde cada elemento
e
es un segmento de longitud h
e
.
Supongamos ahora que nos gustara que X
H
fuera el espacio de poli-
nomios a trozos de grado 1, es decir, lneas rectas a trozos. Entonces
si se denota al conjunto de todos los polinomios de grado k en
e
por P
k
(
e
), X
e
es igual que P
1
(
e
). Adems, ya que toda linea recta
es de la forma y(x) = a + bx, se sigue que, con un conocimiento de los
valores de y en dos puntos de
e
, es suciente para determinar y(x) en

e
. Con esto en mente, se denen puntos nodales en las aristas de todos
los elementos, as que cada elemento tiene dos puntos nodales. Como
se muestra en la Figura (4.6), en vista de este simple arreglo, se puede
numerar los nodos secuencialmente de modo que
e
ser conectado a los
nodos e y e + 1.
El siguiente paso es denir dos funciones de forma lineales
(e)
i
y
(e)
i+1
que generan X
e
y satisfaga (4.9). Haciendo uso de las propiedades de los
68 G. Caldern y R. Gallo
. . .
E-1
. . .
1 2
1 2 3

E+1 E
. . . .

E-1

E
Figura 4.6: Malla de elementos nitos 1D.
polinomios de Lagrange, se tiene que las nicas funciones que cumplen
todos los requerimientos coinciden precisamente con los polinomios de
Lagrange (es por esto que a los elementos se les denomina lagrangianos):

(e)
i
(x) =
m

j=1
j=i
_
x x
j
x
i
x
j
_
(4.14)
As, para el caso lineal, se tiene entonces de (4.14) que:

(e)
i
(x) =
x
i+1
x
h
e
,
(e)
i+1
(x) =
(x x
i
)
h
e
(4.15)
con x
i
x x
i+1
y h
e
= x
i+1
x
i
(longitud del elemento). Se debe notar
que toda funcin base
i
es una funcin lineal a trozos (tipo sombrero)
formada al unir las funciones bases asociadas al nodo i. Por lo tanto,
cada funcin v
H
en X
H
es una funcin lineal a trozos de la forma
v
H
(x) =
m

i=1
b
i

i
(x)
en la cual b
i
es el valor de v
H
en el nodo i (Figura 4.7).
. .
e+1

. .
e

i i - i+
i
i
e
e+1
.

.
e

i i -
i i
e
e
-

i
Figura 4.7: Funciones de forma 1D.
En lugar de denir funciones base locales para cada elemento como en
(4.15), se puede simplicar el trabajo considerablemente creando un
El Mtodo de Elementos Finitos 69
elemento de referencia

(sistema de coordenadas natural o normalizado
basado en la variable ), el cual est aislado de la malla de elementos
nitos actual y que es referido a su propio sistema de coordenadas . El
elemento de referencia se extiende de = 1 a = +1 y tiene el mismo
sistema de puntos nodales que los elementos
e
en la malla actual (dos
nodos en este caso). Esta situacin es mostrada en la Figura 4.8. Cada
elemento
e
puede ahora ser visto como un mapeo de

a
e
, mediante
la transformacin
x =
h
e
2
+x
c
o =
2
h
e
(x x
c
) (4.16)
donde x
c
es la coordenada del centro de
e
(x
c
=
1
2
(x
i+1
+x
i
)) y h
e
es
la longitud de
e
(ver la Figura 4.8). As, como va de 1 a +1, x va
de x
i
a x
i+1
.
. .
e
i
h
T
e
=1
=+1

Geometra normalizada Geometra real

. .
x
i
x
+1
.
e
.
.
Figura 4.8: Denicin del sistema de coordenadas naturales . Geometras real y
normalizada del elemento.
La ventaja de crear un elemento de referencia de esta forma es que se
puede denir, de una vez por todas, funciones de base locales
1
y
2
en

con las propiedades requeridas. Teniendo hecho esto, se utiliza (4.16)


para mapear
1
y
2
en
(e)
i
y
(e)
i+1
, respectivamente, deniendo
(e)
i
y

(e)
i+1
funciones en
e
que satisfacen

(e)
i
(x) =
1
(),
(e)
i+1
(x) =
2
() (4.17)
Para un elemento lagrangiano de dos nodos con
1
= 1 y
2
= +1
(geometra normalizada), se deduce a partir de (4.14) que

1
() =
1
2
(1 ),
2
() =
1
2
(1 +) (4.18)
Es inmediato ver que sustituyendo el valor de dado por (4.16) y usan-
do (4.17) se recupera la expresin cartesiana (4.15) de las funciones de
70 G. Caldern y R. Gallo
forma, por ejemplo

(e)
i
(x) =
1
() =
1
2
_
1
2
h
e
(x x
c
)
_
=
1
h
e
(x
i+1
x)
No obstante, esta operacin no ser necesaria y de hecho es de poco
inters prctico.
En el futuro se denirn las funciones bases locales en un elemento de
referencia, con la suposicin de que las funciones de base locales reales
pueden ser recuperadas por medio de una relacin tal como (4.17). El
procedimiento se ampla fcilmente a aproximaciones de un orden ms
alto. Por ejemplo, si se desea construir un espacio de funciones cuadrti-
cas a trozos, es decir, X
e
igual a P
2
(
e
), se tiene que toda funcin y X
e
es de la forma y(x) = a +bx +cx
2
y conociendo los valores de y en tres
puntos de
e
es suciente para determinar y en todo
e
. Por lo tanto, se
deben poner nodos en los extremos y en el punto medio de los elementos,
de modo que un elemento arbitrario tiene asociado los nodos i, i + 1 y
i + 2.
Seguidamente, se dene un elemento de referencia

con nodos en los
extremos y en el centro (
1
= 1,
2
= 0 y
3
= +1), y las funciones
base cuadrticas quedan dadas segn (4.14) por

1
() =
1
2
( 1),
2
() = (1+)(1),
3
() =
1
2
( +1) (4.19)
y se muestra en la Figura 4.9. Naturalmente las funciones en (4.19) y las
. . .

1

2

3
=0

=1 =+1

Figura 4.9: Elemento unidimensional cuadrtico y funciones de forma.


funciones base locales
(e)
i
(x),
(e)
i+1
(x),
(e)
i+2
(x) son generadas usando

(e)
i
(x) =
1
(),
(e)
i+1
(x) =
2
(),
(e)
i+2
(x) =
3
() (4.20)
El Mtodo de Elementos Finitos 71
Proponemos al lector que obtenga las expresiones de las funciones de
forma cbicas de cuatro nodos
1
= 1,
2
= 1/3,
3
= 1/3 y
4
= +1,
as como la de otros elementos lagrangianos de rdenes superior.
Ahora se muestra como una solucin aproximada en un PVF de dos
puntos puede ser encontrada, usando funciones bases lineales a trozos.
Ejemplo: Considere el PVF
u

= f(x) x = (0, 1), (4.21)


u(0) = u(1) = 0 (4.22)
El correspondiente PVFV es: encontrar u V = H
1
0
() tal que
_
1
0
u

dx =
_
1
0
f(x)vdx, v V
y el problema aproximado: encontrar u
H
V
H
tal que
_
1
0
u
H

v
H

dx =
_
1
0
f(x)v
H
dx, v
H
V
H
donde V
H
=
_
v
H
X
H
: v
H
(0) = v
H
(1) = 0
_
. Supongamos, para efectos
del clculo, que la malla de elementos nitos consta de tres elementos (ver
Figura 4.10). Debido a que se quiere que X
H
sea generado por funciones
base lineales a trozos, los nodos son requeridos en los extremos de los
elementos solamente, y las funciones bases
i
son formadas al unir las
funciones denidas en (4.15) (ver Figura 4.10). Estas funciones generan
a X
H
.
De (4.12) y (4.13) se tiene que

4
j=1
K
ij
a
j
= F
i
, para i = 1 : 4, donde
cada K
ij
est dado por
K
ij
= B(
i
,
j
) =
_
1
0
d
i
dx
d
j
dx
dx =
E=3

k=1
_
x
k+1
x
k
d
(k)
i
dx
d
(k)
j
dx
dx
=
E=3

k=1
K
(k)
ij
En la igualdad anterior se us el hecho que las restricciones de
i
al
elemento
e
es
(e)
i
. Por supuesto,
(e)
i
= 0 si el nodo i no es un nodo
de
e
.
Dado que K
(e)
ij
= 0 si el nodo i o el nodo j no pertenece a
e
, se tiene
72 G. Caldern y R. Gallo
. . . .
1 2 3 4

1

2

3
. . . .
1 2 3 4

1
. . . .
1 2 3 4

2
. . . .
1 2 3 4

. . . .
1 2 3 4

3
4
Figura 4.10: Funciones base lineales a trozos
i
para una malla de 3 elementos generadas
por funciones de forma,
e
1
,
e
2
denidas sobre cada elemento.
K
11
= K
(1)
11
, K
12
= K
(1)
12
, K
13
= 0, K
14
= 0
K
21
= K
(1)
21
, K
22
= K
(1)
22
+K
(2)
22
, K
23
= K
(2)
23
, K
24
= 0
K
31
= 0, K
32
= K
(2)
32
, K
33
= K
(2)
33
+K
(3)
33
, K
34
= K
(3)
34
K
41
= 0, K
42
= 0, K
43
= K
(3)
43
, K
44
= K
(3)
44
Agrupando los resultados, se tiene que la matriz global (matriz de rigidez)
K queda dada por
K =

K
(1)
11
K
(1)
12
0 0
K
(1)
21
KK K
(1)
22
KK +K
(2)
22
K
(2)
23
0
0 K
(2)
32
K K
(2)
33
+K
(3)
33
K
(3)
34
0 0 K
(3)
43
K
(3)
44

Por otro lado, para F


i
=
_
1
0
f
i
dx, con i = 1 : 4 se tiene, con un razo-
namiento anlogo al hecho anteriormente, que
El Mtodo de Elementos Finitos 73
F
i
=
E=3

k=1
_
x
k+1
x
k
f
(k)
i
dx =
E=3

k=1
F
(k)
i
As, el vector de carga F, viene dado por
F =

F
(1)
F
(1)
2
FF +F
(2)
2
FF
F
(2)
3
FF +F
F
4
FF

Observacin 2. Dado que


1
y
4
no satisfacen la condicin (4.22) se
tiene que V
H
=
_
v
H
X
H
: v
H
(0) = v
H
(1) = 0
_
= span
_

2
,
3
_
y el
sistema nal Ka = F se reduce al imponer las condiciones de contorno.
Resulta habitual que las condiciones de contorno sean impuestas una vez
construido el sistema global nal. Existen distintas maneras de imponer
dichas condiciones, en el apartado 4.5, se analizan algunas de estas.
4.2.1 Ensamblaje (1D)
Se observa que las expresiones de K y F pueden obtenerse ensamblando
las contribuciones de cada elemento de la malla:
K
(e)
=
_
K
(e)
11
K
(e)
12
K
(e)
21
K
(e)
22
_
F
(e)
=
_
F
(e)
1
F
(e)
2
_
donde K
(e)
ij
y F
(e)
i
coinciden con los dados en (4.12) y (4.13), es decir
K
(e)
ij
=
_

e
d
(e)
i
dx
d
(e)
j
dx
dx F
i
=
_

e
f
(e)
i
dx
El elemento
e
contiene los nodos x
e
y x
e+1
. La informacin que
proporciona la conectividad dice que, en el elemento e, el nodo 1 (local)
es el nodo e (global) y el nodo 2 es el nodo e+1. As, la matriz elemental,
K
(e)
, se ensambla en la global a partir de:
K
(e)
11
K
e,e
K
(e)
12
K
e,e+1
K
(e)
21
K
e+1,e
K
(e)
22
K
e+1,e+1
y el vector de carga elemental F
(e)
se ensambla en el vector global usando
74 G. Caldern y R. Gallo
F
(e)
1
F
e
F
(e)
2
F
e+1
Observacin 3. Resulta importante resaltar que K
(e)
tiene tantas las
y columnas como grados de libertad posee el elemento. En nuestro caso
(problemas de campo escalar) un grado de libertad por nodo. Recuerde,
adems, que en el ejemplo que se sigue se est trabajando con elementos
lineales (dos nodos).
Para facilitar el trabajo de clculo, en vez de operar sobre cada ele-
mento
e
, se utiliza el elemento de referencia

junto a las funciones
de forma ya denidas. A partir de la transformacin


e
se tiene
que
dx
d
= h
e
/2. Esto permite transformar las integrales sobre
e
en
integrales sobre

:
_
x
e+1
x
e
F(x)dx =
_
1
1
F()
h
e
2
d (4.23)
Por otro lado, se debe tener en cuenta que, las derivadas de
(e)
i
(x)
respecto de x se han de evaluar a partir de
i
(), que es el nico dato
del que se quiere disponer. As, usando la regla de la cadena
d
(e)
i
dx
=
d
i
d
d
dx
= J
1
d
i
d
donde
J :=
dx
d
es el jacobiano de la transformacin o cambio de variable. As, usando
el teorema del cambio de variable para integrales, el clculo de un coe-
ciente de la matriz elemental se puede llevar al dominio de referencia
K
(e)
ij
=
_

e
d
(e)
i
dx
d
(e)
j
dx
dx =
_
+1
1
_
J
1
d
i
d
__
J
1
d
j
d
_
[J[d (4.24)
Al mismo tiempo, la solucin aproximada u
H
puede ser evaluada en el
interior de cada elemento a partir de la representacin
u
H
(x) =
m
e

j=1
a
j

j
(x) (4.25)
donde m
e
es el nmero de nodos por elemento, y x = x() evaluada usan-
do una transformacin isoparamtrica que ser justicada en el siguiente
apartado.
El Mtodo de Elementos Finitos 75
Observacin 4. La evaluacin de la integral (4.23) sobre cada elemento
puede resultar, en general, completamente tediosa, y en muchos casos
imposible de realizar exactamente. Sin embargo, en la prctica, f es
sustituida por su interpolante f
H
en X
H
. Esto permite que la evaluacin
de los trminos F
i
sean hechos muy fcilmente (exactamente). La inter-
polacin de f es una funcin de la forma
f
H
(x) =
m

i=1
c
i

i
(x), con c
i
= f(x
i
)
De todo lo dicho, se va a sistematizar la manera de denir la trans-
formacin x() y se va a integrar numricamente con una cuadratura
estndar (denida sobre

= [1, 1]).
4.2.2 La transformacin isoparamtrica
El clculo de
d
i
dx
sera inmediato si las funciones de forma se expresan
en la coordenada cartesiana x. No obstante, como se ha indicado, esto
no ser as debido a la utilizacin del sistema de coordenadas naturales.
As, la evaluacin de dicha derivada implica la evaluacin de
d
dx
, lo que
exige conocer una relacin explcita entre x y .
Si la geometra del elemento se expresa en funcin de los nodos y
las funciones de forma utilizadas para describir la aproximacin de la
incognita, la formulacin se denomina transformacin isoparamtrica.
Para elementos lineales resulta
x() = x
i

1
() +x
i+1

2
()
La transformacin dada en (4.16) resulta ser isoparamtrica, pues x() =
1
2
(1)x
i
+
1
2
(1+)x
i+1
, con x
i
y x
i+1
los nodos del elemento (vericar
dicha armacin). De lo cual
dx
d
=
1
2
(x
i+1
x
i
) = h
e
/2.
Aunque, de (4.16) ya conocamos el resultado, hay que resaltar que en
este caso particular pueden obtenerse estas expresiones de una manera
ms sencilla. No obstante, es preferible seguir un procedimiento ms
sistemtico que facilitar la comprensin del desarrollo de elementos
isoparamtricos ms complejos.
La idea de interpolar los desplazamientos y las coordenadas del ele-
mento con las mismas funciones de forma es original de Taig [29], quien
la utiliz para desarrollar elementos cuadrilteros de cuatro nodos. Pos-
teriormente, Irons [30] extendi estas ideas para obtener elementos de
76 G. Caldern y R. Gallo
mayor orden.
4.2.3 Integracin numrica
Pese a la gran simplicidad de los elementos unidimensionales, el clculo
analtico de las integrales del elemento pueden resultar laborioso. En
particular, si se usa una formulacin isoparamtrica que conduzca a ex-
presiones racionales en los coecientes de K
(e)
ij
o F
(e)
i
. De hecho, en la
mayor parte de los elementos bi o tridimensionales isoparamtricos el
clculo directo de dichas integrales es inabordable, salvo en raras excep-
ciones, y es imprescindible hacer uso de las cuadraturas numricas.
Abordar los fundamentos matemticos relacionados con las cuadra-
turas numricas no estn dentro de los objetivos del texto, pues estos
son seguidos en un primer curso de anlisis numrico. Sin embargo,
motivamos al lector a profundizar en el tema, se recomienda, por ejemplo,
el libro de Hildebrand [31]. Recordaremos nicamente la integracin
numrica de Gauss-Legendre por ser el procedimiento ms popular y
utilizado en relacin con el MEF. Se dan nicamente las ideas bsicas de
la regla de integracin en su aplicacin unidimensional, posteriormente
se dar la extensin a dos y tres dimensiones.
Sea f() una funcin para la que se desea calcular la integral en el
intervalo [1, +1], es decir,
I(f) =
_
+1
1
f()d
La regla de integracin o cuadratura expresa el valor de dicha integral
como la suma de los productos de los valores de f en una serie de pun-
tos conocidos en el interior del intervalo por unos coecientes (llamados
pesos) determinados. Es decir, para una cuadratura de orden p, se tiene
I
p
(f) =
p

i=1
f(
i
)
i
(4.26)
donde
i
es el peso correspondiente al punto de integracin i, y p el
nmero de dichos puntos. Resulta importante destacar que la cuadratura
de Gauss-Legendre de orden n integra exactamente un polinomio de
grado 2n 1 o menor. En la Tabla 4.1 se muestran las coordenadas

i
y los pesos
i
para las cinco primeras cuadraturas.
Obsrvese que los puntos de integracin estn todos expresados en el
El Mtodo de Elementos Finitos 77
espacio normalizado 1 1, lo que resulta de gran utilidad para
el clculo de las matrices del elemento referidas a las coordenadas na-
turales. La popularidad de la cuadratura de Gauss-Legendre se debe a
que utiliza el mnimo nmero de puntos de integracin para conseguir un
error determinado en el clculo de la integral. Por consiguiente, minimiza
el nmero de veces que hay que calcular el valor de la funcin a integrar.
p
i
1 0.0 2.0
2 0.5773502692 1.0
3 0.774596697 0.5555555556
0.0 0.8888888889
4 0.8611363116 0.3478548451
0.3399810436 0.6521451549
5 0.9061798459 0.2369268851
0.5384693101 0.4786286705
0.0 0.5688888889
Tabla 4.1: Coordenadas y pesos de la cuadratura de Gauss-Legendre.
4.2.4 Estimacin del error
Una estimacin a priori del error para interpolacin de Lagrange lineal
a trozos puede ser obtenida usando series de Taylor. Sea E = g g
H
la funcin error de interpolacin y considere un elemento arbitrario
e
con puntos x
i
x x
i+1
en la malla. Supongamos que g tiene segunda
derivada acotada. Ahora, sobre
e
, E = g g
H
puede ser expandida en
una serie de Taylor alrededor de un punto interior x:
E(x) = E( x) +E

( x)(x x) +
1
2
E

()(x x)
2
(4.27)
donde es un punto entre x y x.
Ya que g
H
es la interpolante de g, el error E es cero en los nodos
x
i
, x
i+1
(extremos del elemento). Seguidamente se selecciona x como el
punto en el cual [E[ es mximo. En este punto, E

( x) = 0, as que (4.27)
se reduce a
E(x) = E( x) +
1
2
E

()(x x)
2
para x
i
x x
i+1
. A continuacin, se toma x = x
i
o x = x
i+1
,
cualquiera de los dos que este ms cerca de x (digamos x
i
). Entonces
78 G. Caldern y R. Gallo
[E( x)[ =
1
2
[E

()[(x
i
x)
2
Ya que x
i+1
x
i
= H, entonces [x
i
x[ H/2 en (4.27) y se obtiene la
cota de error
[E( x)[
H
2
8
[E

()[ (4.28)
Finalmente, E = g g
H
implica E

= g

H
= g

dentro de
e
.
Introduciendo este resultado en (4.28) y maximizando sobre todos los
elementos, se obtiene la estimacin nal
max
0x1
[E(x)[
H
2
8
max
0x1
[g

(x)[ (4.29)
Ya que g

es acotada sobre el dominio, g

C < , con C constante.


Un proceso similar puede ser usado para derivar cotas de error para ele-
mentos lagrangianos de mayor orden. Para elementos nitos empleando
polinomios completos de grado , la cota de error asume la forma
|E|

= max
0x1
[E(x)[ CH
+1
(4.30)
donde C es una constante independiente de H (ver ejercicio 4.1). Esta
estimacin del error indica que la interpolante de elemento nito g
H
de
g puede converger a g (en norma | |

) con un orden de + 1 cuando


H tiende a cero.
Un comentario nal de considerable importancia debe hacerse. Para
llegar a la cota de error (4.30), se asumi que la funcin g dada es
tan suave que esta tiene derivadas continuas de orden . S, por el
contrario, g tiene derivadas continuas solo de orden s, donde 0 < s < .
Entonces, no importa cuan grande sea el grado de nuestro polinomio
de interpolacin g
H
, solo sus s primeros trminos podrn ser efectivos en
la aproximacin de g. Por tanto, en lugar de (4.30), se tiene
max
0x1
[g(x) g
H
(x)[ CH
s
y la exactitud de nuestra aproximacin, que se mantiene independiente
de , no se puede aumentar al incrementar el grado de los polinomios
base
(e)
i
. Se puede, por supuesto, mejorar la precisin mediante la
reduccin de H, siempre y cuando s > 0.
El Mtodo de Elementos Finitos 79
4.3 Elementos bidimensionales
La formulacin del MEF para problemas bidimensional sigue los pasos
usados en el caso de problemas unidimensionales. Se empieza entonces,
suponiendo que el dominio R
2
es poligonal (como ya se dijo antes)
y que este se subdivide en elementos bidimensionales de m
e
nodos (ver,
Figura 4.11 para el caso de elementos triangulares de tres nodos y la
Figura 4.1 para el caso de elementos cuadrilteros). La aproximacin de
1 2
3
i j
k
(1) ( (2)
(3) (3) (3)
Numeracin
local: (1) (2) (3)
, ,

33
e

2
...
... ...
2) 2)
Figura 4.11: Discretizacin del dominio bidimensional por elementos triangulares de
tres nodos.
Galerkin u
H
queda dada entonces por
u(x) u
H
(x) =
m

i=1
a
i

i
(x, y) (4.31)
donde
i
son las funciones base bidimensional (ver Figura 4.4) y a
i
los
valores nodales de la solucin aproximada. El sistema de ecuaciones que
surge de la discretizacin se obtiene sustituyendo la solucin aproximada
(4.31) en la forma dbil (4.2) tal como se hizo en el caso 1D, obtenin-
dose formas equivalentes en 2D de las ecuaciones (4.12) y (4.13). Por
lo tanto, resulta claro que los clculos a realizar para denir las con-
tribuciones K
(e)
ij
(matriz elemental de rigidez) y F
(e)
i
(vector de carga
elemental) cambian elemento a elemento en la malla, resultando engo-
rrosos de realizar en trminos de cada elemento
e
de la malla (ver Figura
4.11). As, nuevamente, el concepto clave en el enfoque del MEF es la
80 G. Caldern y R. Gallo
denicin de un elemento de referencia

junto a sus funciones de forma,
tal como el descrito en el caso de problemas unidimensionales.
En los subsiguientes apartados, se particulariza el tipo de elemento
nito a utilizar (tringulos y cuadrilteros) y, en cada caso, se dene el
elemento de referencia y sus funciones de forma, junto a las propiedades
intrnsecas que presenta.
4.3.1 Elementos triangulares
Una funcin lineal en dos dimensiones es de la forma f(x, y) = a+bx+cy,
con a, b y c constantes. Por lo cual, tres valores independientes de
f deben ser especicados para que f pueda ser determinada de forma
nica. Esto sugiere que los elementos ms simples deben tener tres nodos,
es decir, deben ser tringulos y los nodos los pondremos en los vertices
del mismo. Esta forma de colocar los nodos asegura que cualquiera de
los lados ij, jk o ki de
e
(ver Figure 4.11) se comparte con un elemento
adyacente
w
, por lo tanto, la funcin lineal a trozos formada por la
unin de las funciones denidas en
e
y
w
ser continua en la interfaz
de los elementos (elementos de clase C
0
). As, se quiere que X
H
sea
el espacio de polinomios a trozos de grado 1, y por consiguiente X
e
el
espacio P
1
(
e
).
Puesto que, la supercie solucin es plana en cada elemento, se tiene
que la solucin u
e
H
= u
H

e
es una funcin lineal de la forma
u
e
H
(x, y) = +x +y
las tres constantes , y son determinadas requiriendo que
u
e
H
(x
i
, y
i
) = +x
i
+y
i
= a
i
u
e
H
(x
j
, y
j
) = +x
j
+y
j
= a
j
u
e
H
(x
k
, y
k
) = +x
k
+y
k
= a
k
donde i, j y k denotan los tres vertices del elemento triangular
e
. A
resolver el sistema (usando la regla de Crammer)
=
1
2A
e
_
(x
j
y
k
x
k
y
j
)a
i
(x
i
y
k
x
k
y
i
)a
j
+ (x
i
y
j
x
j
y
i
)a
k
_
=
1
2A
e
_
(y
k
y
j
)a
i
(y
k
y
i
)a
j
+ (y
j
y
i
)a
k
_
=
1
2A
e
_
(x
k
x
j
)a
i
(x
k
x
i
)a
j
+ (x
j
x
i
)a
k
_
El Mtodo de Elementos Finitos 81
con
A
e
=
1
2

1 x
i
y
i
1 x
j
y
j
1 x
k
y
k

=
1
2
_
(x
j
x
i
)(y
k
y
j
) + (x
k
x
j
)(y
i
y
j
)
_
el rea del elemento triangular
e
. Sustituyendo los valores de , y
en u
e
H
(x, y), se obtiene
u
e
H
(x, y) =
1
2A
e
_
(a
1
+

b
1
x+c
1
y)a
i
+(a
2
+

b
2
x+c
2
y)a
j
+(a
3
+

b
3
x+c
3
y)a
k
_
donde
a
i
= x
j
y
k
x
k
y
j

b
i
= y
j
y
k
c
i
= x
k
x
j
a
j
= x
k
y
i
x
i
y
k

b
j
= y
k
y
i
c
j
= x
i
x
k
(4.32)
a
k
= x
i
y
j
x
j
y
i

b
k
= y
i
y
j
c
k
= x
j
x
i
Entonces, la ecuacin se puede compactar como
u
e
H
(x, y) = u
i

(e)
i
+u
j

(e)
j
+u
k

(e)
k
,
lo cual permite identicar las funciones de forma del elemento por

(e)
I
=
1
2A
e
_
a
I
+

b
I
x +c
I
y
_
I = i, j, k (4.33)
Claramente, la condicin
(e)
I
(x
J
, y
J
) = 1 si I = J, y cero en los otros
casos (I, J = i, j, k) es satisfecha. La funcin base
i
formada por las
unin de todas las funciones base
(e)
i
asociadas al nodo i es la contra-
parte en 2D de las funciones sombrero en 1D, y presenta forma piramidal
(ver Figura 4.4). Naturalmente,
i
es lineal a trozos y es distinta de cero
solo en los elementos que tienen al nodo i como uno de sus lados. El
tratamiento para los nodos de frontera, ser llevado de forma anloga al
dado para el caso unidimensional.
Se quiere ahora, denir un elemento de referencia

y una transforma-
cin invertible de

a cada elemento
e
, en un sistema de coordenadas
naturales o normalizado . El ms simple est dado por el tringulo
que tiene sus lados sobre los ejes = 0, = 0 y 1 = 0 (tringulo
issceles recto), como se muestra en la Figura 4.12. La transformacin
82 G. Caldern y R. Gallo
i
(0, 0)
(0,1)
(1, 0)
j
k
(2) (2)
(3) 3)
(1)
x
y
...
...
.........
((
.....
.....
e
...

T
e

Figura 4.12: Coordenadas naturales en un elemento triangular.


T
e
:


e
, es denida por una simple transformacin de coordenadas
T
e
:
x = x(, )
y = y(, )
y nos referimos al elemento
e
, como la imagen de

bajo la transforma-
cin T
e
1
. A partir de (4.32) y (4.33), las funciones de forma del elemento
triangular de tres nodos vienen dadas por

1
(, ) = 1 ,
2
(, ) = ,
3
(, ) = (4.34)
y las mismas se muestran en la Figura 4.13.
(2)
(3)
(1)

e
1

1

2
......
........
.......
(2)
(3)
(1)

e
1
.........
........
.....
(2)
(3)
(1)

e

3
...........

.................
.......
Figura 4.13: Funciones de forma del tringulo de tres nodos.
Si la geometra del elemento se expresa en funcin de los nodos y las
funciones de forma (4.34), entonces la transformacin isoparamtrica, T
e
,
queda dada por
1
Por supuesto, existe la posibilidad de requerir ms de un elemento de referencia
en un problema. Por ejemplo, cuando elementos triangulares y cuadrilteros son
utilizados al mismo tiempo. Sin embargo, para simplicar, restringimos la atencin
a un nico elemento de referencia.
El Mtodo de Elementos Finitos 83
x =
3

j=1
x
j

j
(, ), y =
3

j=1
y
j

2
(, ) (4.35)
donde (x
j
, y
j
), con j = 1, 2, 3, representan las coordenadas xy de los
vertices en el sistema numrico local. Sustituyendo (4.34) en (4.35) e
invirtiendo, se obtiene la transformacin T
1
e
:
e


, denida por
= (x, y) =
1
2A
e
_
(y
k
y
i
)(x x
i
) (x
k
x
i
)(y y
i
)
_
= (x, y) =
1
2A
e
_
(y
i
y
j
)(x x
i
) + (x
j
x
i
)(y y
i
)
_
(4.36)
donde A
e
representa el rea del elemento
e
. Entonces, a partir de (4.34)
y (4.36) se obtienen las funciones base en
e

(e)
i
(x, y) =
1
(, ),
(e)
j
(x, y) =
2
(, ),
(e)
k
(x, y) =
3
(, )
4.3.2 Derivadas y gradientes en el elemento de referencia
Hay varias propiedades elementales de la transformacin de coordenadas
que deben analizarse antes de pasar a las consideraciones del clculo de
las matrices y vectores elementales. En primer lugar, se debe expresar las
derivadas de una funcin en coordenadas xy en trminos de sus derivadas
en coordenadas . De acuerdo a la transformacin T
e
, una funcin
puede considerarse como una funcin implcita de y , entonces usando
la regla de la cadena

=

x
x

+

y
y

=

x
x

+

y
y

lo cual puede ser escrito en forma matricial como


_

_
=
_
x

__

x

y
_
(4.37)
La matriz 2 2 de derivadas parciales en (4.37) es llamada la matriz
Jacobiana de la transformacin y es denotada por J. Obviamente, una
condicin necesaria y suciente para que el sistema (4.37) sea invertible
es que el determinante [J[ de la matriz Jacobiana sea distinto de cero
en (, )

. El funcional [J[ es usualmente llamado el Jacobiano de la
transformacin
84 G. Caldern y R. Gallo
[J[ = det J =
x

(4.38)
As, cada vez que [J[ ,= 0 se puede escribir
_

x

y
_
= J
1
_

_
=
1
det J
_
J
22
J
12
J
21
J
11
__

_
(4.39)
donde las J
ij
son respectivas componentes de la matriz Jacobiana.
A partir de (4.37) y (4.39) se tiene que la representacin para el gra-
diente en los distintos sistemas de coordenadas queda dado por

= J
xy
y
xy
= J
1

(4.40)
Por lo tanto, las derivadas parciales son ahora representadas enteramente
en trminos de las coordenadas ,

x
= J
1
_

_
,

y
= J
2
_

_
(4.41)
donde J
1
y J
2
son la primera y segunda la de J
1
.
Un resultado adicional que se requerir es la relacin del diferencial de
rea respecto a las coordenadas naturales
dxdy = det Jdd (4.42)
La demostracin de este resultado se puede encontrar en la mayora de
los texto de Clculo (ver, por ejemplo, pgina 916 de Swokowski [33]).
Una interpretacin geomtrica del Jacobiano se indica en la Figura
4.14. Para un punto (, ) de

, un elemento de rea d

es dado por
d

= d d. La imagen de esta rea en el plano xy tiene el rea d =


[J[d d. El valor de [J[ puede ser visto como la razn de cambio de rea
de elementos en puntos (x(, ), y(, )) y (, ). Un valor positivo de [J[
en todo punto indica que T
e
es una transformacin adecuada (sistemas
de coordenadas de mano derecha). La presencia en

de puntos en los
cuales [J[ = 0 indica que el rea de

es comprimida en una lnea (o un
punto) en
e
. Esta condicin implica que el mapeo T
e
es no invertible
(es decir, T
1
e
no existe). Valores negativos de [J[ indican que alguna
porcin de

ha sido proyectada o puesta fuera del elemento
e
.
4.3.3 Matriz de rigidez elemental K
(e)
Cuando se quiere usar los resultados obtenidos en el apartado anterior
El Mtodo de Elementos Finitos 85
x
y
...
..
........ .......
.....
e
...

T
e
TT

-1
T
e
x
1
|J|
dxdy
d=dxdy
|J | d
d = d d
Figura 4.14: Transformacin de elementos de rea.
para evaluar las integrales que surgen en la matriz de rigidez K
e
, el si-
guiente desarrollo resulta tpico del anlisis necesario para cumplir dicha
tarea. Supongamos, sin perdida de generalidad, que para un problema
bidimensional, los K
ij
de la discretizacin de la forma dbil (ecuacin
(4.5)) vienen dados por
K
ij
= B(
i
,
j
) =
E

e=1
B
(e)
_

(e)
i
,
(e)
j
_
. .
K
(e)
ij
con
K
(e)
ij
=
_
e

(e)
i

(e)
j
d, i, j = 1, 2, . . . , m (4.43)
Sin embargo, las contribuciones a la matriz elemental de
e
son dadas
nicamente por las
i
relacionadas con los nodos del elemento. Es decir,

(e)
i
,
(e)
j
,
(e)
k
. As, usando la numeracin de referencia local, se tiene
que la matriz elemental es dada por
K
(e)
=
_

_
K
(e)
11
K
(e)
12
K
(e)
13
K
(e)
21
K
(e)
22
K
(e)
23
K
(e)
31
K
(e)
32
K
(e)
33
_

_
i
j
k
(2)
(3)
(1)
...
...
e
...

86 G. Caldern y R. Gallo
donde, de (4.40), (4.42) y (4.43), se tiene
K
(e)
ij
=
_

_
J
1


i
_

_
J
1


j
_
[J[dd, i, j = 1, 2, 3 (4.44)
estn ahora completamente representados en trminos de las coordenadas
naturales .
En algunos casos, principalmente para efectos de implementacin de
cdigos, resulta apropiado ver los clculos de forma matricial. As, de
(4.41) se tiene

(e)
i
x
= J
1
_

_

i

(e)
i
y
= J
2
_

_

i

_
Adems, si
(e)
=
_

(e)
i

(e)
j

(e)
k

= =
_

1

2

3

, se tiene

(e)
x
= J
1
_

_

1

_
= J
1

T
= (J
T
1
)
T
De igual forma

(e)
y
= J
2

T
= (J
T
2
)
T
Ahora, como de (4.43)
K
(e)
ij
=
_

e
_

(e)
i
x

(e)
j
x
+

(e)
i
y

(e)
j
y
_
d
entonces, usando la notacin matricial anterior, se puede expresar la
matriz elemental como
K
(e)
=
_

_
J
T
1
J
1
+J
T
2
J
2

T
[J[dd (4.45)
4.3.4 Vector de carga elemental F
(e)
A igual que para el caso de la matriz de rigidez, supongamos que el vector
de carga de la discretizacin est dada por
El Mtodo de Elementos Finitos 87
F
i
= l(
i
) =
E

e=1
l
(e)
_

(e)
i
_
. .
F
(e)
i
con F
(e)
i
=
_
e
f
(e)
i
d
El vector elemental, F
(e)
=
_
F
(e)
1
, F
(e)
2
, F
(e)
3

T
, queda entonces repre-
sentado (completamente en las coordenadas naturales ) por las con-
tribuciones locales
F
(e)
i
=
_

f
i
[J[dd (4.46)
La forma de f, puede ocasionar que la cuadratura gaussiana usada en
(4.46) no pueda evaluar la integral exactamente. En tal caso, se puede
tener una buena aproximacin al valor de la integral, si la funcin f es
reemplazada por interpolantes lineales (al igual que para el caso unidi-
mensional). Esto es, f = f
i
, donde f
i
= [f
1
, f
2
, f
3
]
T
, y f
i
usualmente
seleccionada con el valor de f evaluada en el nodo en cuestin. Con esta
suposicin resulta que
F
(e)


T
f
i
[J[dd =
_
_


T
[J[dd
_
f
i
(4.47)
4.3.5 Coordenadas de rea
Las expresiones , , y 1 en (4.34) y (4.36) pueden ser conveniente-
mente interpretadas en trminos de relaciones de rea. Esto conduce a la
introduccin de las coordenadas de rea que facilitan tanto el desarrollo
de familias de funciones de forma de mayor orden para elemento triangu-
lares (ver, apartado 4.6), como la derivacin de frmulas de integracin
ms apropiadas para este tipo de elemento.
Se considera un elemento triangular dado en coordenadas rectangu-
lares, con P(x, y) un punto en el interior del mismo (Figura 4.15). El
punto P, en el interior del tringulo, se va a identicar especicando sus
coordenadas locales (l
1
, l
2
, l
3
), que se denen de la siguiente forma:
l
1
=
A
1
A
, l
2
=
A
2
A
, l
3
=
A
3
A
(4.48)
donde A representa el rea total del tringulo y A
i
, con i = 1, 2, 3, el
rea de los subtringulos i, como se muestra en la Figura 4.15. Sumando
las frmulas de (4.48) se obtiene que
l
1
+l
2
+l
3
= 1 (4.49)
88 G. Caldern y R. Gallo
...
...
...
x
y
1
2
3
.
A
1
P
((x
1
, y )
1
lado 2
lado 3
(
2
, y
2
)
(
3
, y )
..
..
..
x
y
1
2
3....
..
..
A
3
AA
2
P(l
1
, l
2
, l
3
)
A
Figura 4.15: Coordenadas de rea para tringulos.
pues, A
1
+ A
2
+ A
3
= A. Adems de satisfacer la ecuacin (4.49), las
coordenadas l
i
son tales que si P se sita sobre el nodo:
(x
1
, y
1
) (l
1
, l
2
, l
3
) = (1, 0, 0), pues A
1
= A, A
2
= A
3
= 0
(x
2
, y
2
) (l
1
, l
2
, l
3
) = (0, 1, 0), pues A
2
= A, A
1
= A
3
= 0
(x
3
, y
3
) (l
1
, l
2
, l
3
) = (0, 0, 1), pues A
3
= A, A
1
= A
2
= 0
Cada coordenada de rea l
i
vara linealmente sobre el tringulo, ya
que cada rea A
i
es proporcional al la distancia al lado i. Luego existe
una relacin lineal entre las coordenadas cartesianas x, y de un punto y
las coordenadas de rea:
x = l
1
x
1
+l
2
x
2
+l
3
x
3
,
y = l
1
y
1
+l
2
y
2
+l
3
y
3
.
(4.50)
Agrupando las ecuaciones (4.49) y (4.50) se obtiene
_
_
1 1 1
x
1
x
2
x
3
y
1
y
2
y
3
_
_
_
_
l
1
l
2
l
3
_
_
=
_
_
1
x
y
_
_
Resolviendo el sistema, resulta
l
i
=
1
2A
_

i
+
i
x +
i
y

, i = 1, 2, 3 (4.51)
donde
i
,
i
,
i
quedan dadas como en el caso de la ecuacin (4.33).
Es decir, las coordenadas de rea l
1
, l
2
y l
3
son simplemente una nueva
manera de ver las funciones de forma dadas en (4.33).
Las ecuacin (4.49) indica que las variables de rea l
1
, l
2
y l
3
no son
linealmente independientes. Generalmente, se seleccionan dos, de las
tres, como las variables independientes y se elimina la tercera. Tomando
El Mtodo de Elementos Finitos 89
l
1
= 1 l
2
l
3
y sustituyendo en (4.50) se obtiene que
x = x
1
+l
2
(x
2
x
1
) +l
3
(x
3
x
1
) = x(l
2
, l
3
)
y = y
1
+l
2
(y
2
y
1
) +l
3
(y
3
y
1
) = y(l
2
, l
3
)
(4.52)
representa una transformacin entre las variables globales (x, y) y las
variables locales (rea) (l
2
, l
3
).
4.3.6 Integracin numrica en elementos triangulares
La ventaja principal que se logra al utilizar las coordenadas naturales
en lugar de la coordenadas cartesianas, consiste en lo fcil que resulta la
evaluacin de integrales de la forma
_
e
l
a
1
l
b
2
l
c
3
d
e
,
_
e
l
a
i
l
b
j
ds
donde a, b y c son exponentes enteros, y
e
representa una segmento
recto (arista de elementos de frontera). Las integrales de esta forma se
evalan rpidamente utilizando la relacin
_
A
l
a
1
l
b
2
l
c
3
dA =
2(a! b! c!)A
(a +b +c + 2)!
,
_

e
l
a
i
l
b
j
ds =
a! b!
e
(a +b + 1)!
(4.53)
Las integrales sobre

tienen la forma
_

G(, )dd o, equivalen-


temente, en trminos de coordenadas de rea
_

G(l
1
, l
2
, l
3
)dl
2
dl
3
, con
l
1
= 1 . Entonces,
_

l
a
1
l
b
2
l
c
3
dl
2
dl
3
=
a! b! c!
(a+b+c+2)!
,
_
1
0
l
a
i
l
b
j
ds =
a! b!
(a+b+ 1)!
(4.54)
Las frmulas de integral de reas obviamente sern usadas en general
para evaluar integrales sobre elementos de rea, y las integrales de linea
para evaluar integrales sobre segmentos en elementos de frontera.
Por ejemplo, a partir de (4.47) se tiene que
F
(e)

_
_
l
2
1
l
1
l
2
l
1
l
3
l
2
l
1
l
2
2
l
2
l
3
l
3
l
1
l
3
l
2
l
2
3
_
_
f
i
[J[dd = [J[
_
_
4/4! 2/4! 2/4!
2/4! 4/4! 2/4!
2/4! 2/4! 4/4!
_
_
f
i
=
[J[
12
_
_
2 1 1
1 2 1
1 1 2
_
_
_
_
f
i
f
j
f
k
_
_
=
[J[
12
_
_
2f
i
+f
j
+f
k
f
i
+ 2f
j
+f
k
f
i
+f
j
+ 2f
k
_
_
(4.55)
90 G. Caldern y R. Gallo
4.3.7 Elementos Rectangulares
Una segunda categora de elementos nitos est dada por aquellos que
tienen forma rectangular (elementos de clase C
0
). Si se sigue la idea de
tener puntos nodales por lo menos en los vertices del elemento, entonces
claramente el elemento rectangular ms simple ser uno con cuatro no-
dos, un nodo en cada esquina, ver Figura 4.16. Ahora bien, qu clase de
espacio polinomial X
e
puede ser denido en
e
de modo que cualquier
funcin en X
e
sea determinada de forma nica por sus valores en los
cuatro vertices. Las funciones lineales son completamente determinadas
(1)
x
y
(1)
(4)
(2)
(3)
k
.
.
.
.
.
. .
.

=1 =1
l
=1
=

1
x
i
y
i
i
j
2

1

2

Figura 4.16: Elemento rectangular de cuatro nodos


por tres valores nodales, as que uno de los nodos puede sobrar. Por otro
lado, funciones cuadrticas requieren seis valores nodales, lo cual es ms
de lo que se tiene a disposicin. La solucin al problema viene en retener
del polinomio arbitrario
p(x, y) = a
1
+a
2
x +a
3
y +a
4
xy +a
5
x
2
+a
6
y
2
+
los primeros cuatro trminos. Los trminos constantes y lineales son
obviamente retenidos, la pregunta que surge es, cul de los trminos
restantes debe ser utilizado. Conservar los trminos que implican a x
2
o y
2
no resulta apropiado, pues esto dara lugar a una aproximacin
ladeada en la cual un trmino cuadrtico aparece solo para una de las
coordenadas. Sin embargo, no hay objecin a conservar el trmino xy,
esto asegura que las coordenadas xy estn representadas igualmente,
El Mtodo de Elementos Finitos 91
entonces la aproximacin debe tener la forma
p(x, y) = a
1
+a
2
x +a
3
y +a
4
xy (4.56)
y se llama a este, polinomio bilineal. En general, el espacio de polinomios
con trminos de grado k en cada una de sus variables es denotado por
Q
k
(), de manera que p(x, y) en (4.56) es un miembro de Q
1
(). Note
que P
k
() Q
k
() P
2k
con R
2
. La situacin ahora es que
X
e
= Q
1
(
e
) as, X
H
consistir del espacio de polinomios bilineales a
trozos.
Nuevamente, para facilitar el clculo se adopta un sistema de coorde-
nadas naturales para denir la geometra del elemento de referencia

, que ahora es un cuadrado. Dichas coordenadas estn normalizadas


de manera que el elemento tenga sus lados en = 1 y = 1 (Figura
4.16). Las funciones de forma expresadas en coordenadas naturales
deben satisfacer los mismos requisitos que en coordenadas cartesianas.
As, en elementos de clase C
0
, basta que las funciones de forma cumplan:
Condicin de compatibilidad nodal

i
(
j
,
j
) =
_
1 si i = j
0 en caso contrario
(4.57)
Condicin de particin de la unidad
me

i=1

i
(, ) = 1 (4.58)
Observacin 5. Dentro de los elementos de clase C
0
(triangulares y
rectangulares) se pueden distinguir dos familias claramente diferentes:
la lagrangiana y la serendpita. Esta ltima, como ya se dijo antes, no
ser estudiada en este texto y, se remite al lector al texto de Zienkiewicz
[13] donde puede encontrar una descripcin detallada de la misma.
Las funciones de forma de los elementos lagrangianos se pueden obtener
fcilmente a partir de la interpolacin de Lagrange en dos dimensiones.
As, la funcin de forma en un nodo cualquiera se obtiene como el pro-
ducto de dos polinomios de Lagrange unidimensionales en cada una de
las coordenadas y correspondientes a dicho nodo
2
. Es decir, si L
i
n
()
2
Los polinomios de Lagrange unidimensionales en cada direccin y coinciden
con las funciones de forma de los elementos de dos nodos unidimensionales.
92 G. Caldern y R. Gallo
es el polinomio de Lagrange de grado n en la direccin del nodo i y
L
i
m
() el de grado m en la direccin , entonces

i
(, ) = L
i
n
()L
i
m
() (4.59)
En el caso lineal, se tiene
L
i
n
() =
1
2
(1 +
i
) L
i
m
() =
1
2
(1 +
i
)
donde
i
y
i
toman los valores de los nodos del elemento de referencia
(1)
(4)
(2)
(3)
.
.
. .

i

i
1
2
(1

)
1
2
(1

)

i
= ( , ) =
1
4
(1
+

i
)(1
+
i
)

1
=
1
4
(1

)(1

)
Nodo
1
2
3
4

1

1

1 1
1 1
1

1
Figura 4.17: Funciones de forma para el elemento rectangular lagrangiano de cuatro nodos
(ver tabla de la Figura 4.17). Por consiguiente, la funcin de forma del
nodo i est dada por

i
(, ) = L
i
n
()L
i
m
() =
1
4
(1 +
i
)(1 +
i
) (4.60)
En general:

1
(, ) =
1
4
(1 )(1 )
2
(, ) =
1
4
(1 +)(1 )

3
(, ) =
1
4
(1 +)(1 +)
4
(, ) =
1
4
(1 )(1 +)
En la Figura 4.17 se muestra la forma grca de la funcin de forma

1
(, ), la grca de las tres funciones de forma restantes se encuentran
con una simple rotacin de los valores nodales. Resulta fcil compro-
bar que las funciones de forma denidas por (4.60) satisfacen las dos
condiciones (4.57) y (4.58).
El Mtodo de Elementos Finitos 93
4.3.8 Integracin numrica en elementos rectangulares
Reglas de cuadratura para elementos cuadrilteros se derivan general-
mente de las frmulas de cuadratura en una dimensin tratando la inte-
gral en el elemento de referencia como una integral doble. Si se escribe
_

G(, )dd =
_
1
1
_
_
1
1
G(, )d
_
d
y se aproximan las integrales respecto a y usando reglas de cuadratura
de orden N en una dimensin, tales como las discutidas en el caso de
problemas unidimensionales, se obtiene
_

G(, )dd
N

m=1
_
N

n=1
G(
n
,
m
)
n
_

m
(4.61)
La doble sumatoria en (4.61) puede reducirse a una nica suma en todo
el conjunto de puntos de integracin al etiquetar el punto (m, n) con el
ndice j, con N
j
= N
2
,
N

m=1
_
N

n=1
G(
n
,
m
)
n
_

m
=
N
2

j=1
G(
j
,
j
)
j
(4.62)
4.4 Problema bidimensional
En los dos apartados siguientes se muestra el ensamblaje nal de la
matriz de rigidez y vector de carga para dos ejemplos en particular.
4.4.1 Ejemplo 1. Malla triangular
Se resuelve la ecuacin de Poisson
u = f(x, y) en = [1, 1] [1, 1]
con condicin de contorno de tipo Dirichlet homogneas en todo el con-
torno y un trmino fuente, f, seleccionado tal que la solucin analtica
est dada por u(x, y) = 1/2 (x
2
1)(y
2
1). El problema dbil o varia-
cional queda entonces dado por: encontrar u V tal que B(u, v) = l(v)
v V, donde
94 G. Caldern y R. Gallo
B(u, v) =
_

u vd, l(v) =
_

(2 x
2
y
2
)vd (4.63)
y V = H
1
0
(). Para la discretizacin, se reemplaza por un dominio
H
formado por una malla de 8 elementos nitos triangulares de tres nodos
y m = 9 puntos nodales, tal como se muestra en la Figura 4.18. La
discretizacin
H
del dominio es exacta debido a la geometra poligonal
de (al igual que el dominio, la frontera discreta,
H
, coincida con la
frontera ). Se construye un conjunto de funciones base global
i
,
(1)
(1)
(4)
(2) (3)
.
. .
.
1 2
.
. . .
.
3
4 5 6
7 8 9
(5)
(7)
(6)
(8)
Figura 4.18: Ejemplo 1. Discretizacin del dominio = [1, 1] [1, 1] en una malla de
ocho elementos nitos triangulares (nueve nodos).
Coordenadas
Nodos x y
1 -1 -1
2 0 -1
3 1 -1
4 -1 0
5 0 0
6 1 0
7 -1 1
8 0 1
9 1 1
Conectividades
Elementos nodo 1 nodo 2 nodo 3
1 1 2 4
2 5 4 2
3 5 2 6
4 3 6 2
5 7 4 8
6 5 8 4
7 5 6 8
8 9 8 6
Tabla 4.2: Ejemplo 1: Izquierda: Valores nodales y su numeracin en la malla (numeracin
global). Derecha: Topologa de los elementos (nodos que corresponden a cada elemento).
i = 1, ..., m, usando elementos triangulares y, a partir de estas funciones,
El Mtodo de Elementos Finitos 95
se dene un subespacio V
H
de V. La aproximacin de (4.63) entonces
consiste en buscar una funcin u
H
V
H
,
u
H
(x, y) =
m

j=1
a
j

i
(x, y) (4.64)
tal que u
j
= 0 en los nodos de y
B(u
H
, v
H
) =
_

u
H
v
H
d, l(v
H
) =
_

(2 x
2
y
2
)v
H
d (4.65)
para todo v
H
V
H
tal que v
H
= 0 en
H
.
Sustituyendo u
H
y v
H
en (4.63) y simplicando trminos (operaciones
en las cuales ya estamos familiarizados), se obtiene el sistema de ecua-
ciones
m

j=1
K
ij
a
j
= F
i
, i = 1, . . . , m
Pasando ahora los clculos al elemento de referencia,

, se obtiene que
la matriz de rigidez elemental, K
(e)
ij
, y vector de carga, F
(e)
i
, estn dados
por
K
(e)
ij
=
_

(e)
i

(e)
j
d =
_

_
J
1


i
_

_
J
1


j
_
[J[dd
F
(e)
i
=
_

f
(e)
i
d =
_

f
i
[J[dd
donde, las funciones de forma,
i
, el Jacobiano, [J[, y el gradiente,

,
son obtenidos de (4.13), (4.38) y (4.40), respectivamente.
El clculo de la matriz elemental y su ensamblaje en la matriz global
se lleva a cabo elemento a elemento:
Para el elemento k = 1, se tiene
i
local
i
global
x
i
y
i
1 1 -1 -1
2 2 0 -1
3 4 -1 0
J =
_
x
1
+x
2
y
1
+y
2
x
1
+x
3
y
1
+y
3
_
=
_
1 0
0 1
_
= J
1
Es decir,
1
y

tienen la misma forma, pues [J[ = 1. Adems,
96 G. Caldern y R. Gallo
K
(1)
ij
=
_


j
dd
donde


1
=
_
1
1
_
,


2
=
_
1
0
_
,


3
=
_
0
1
_
Usando (4.54) se tiene
K
(1)
11
=
_

2dd = 2
1
2
= 1 K
(1)
12
=
_

1dd = 1
1
2
=
1
2
K
(1)
13
=
_

1dd = 1
1
2
=
1
2
K
(1)
22
=
_

1dd = 1
1
2
=
1
2
K
(1)
23
=
_

0dd = 0 K
(1)
33
=
_

1dd = 1
1
2
=
1
2
Por lo tanto,
K
(1)
=
_
_
1 1/2 1/2
1/2 1/2 0
1/2 0 1/2
_
_
Ensamblaje global del elemento
1
: K
1
K

K
(1)
11
K
(1)
12
K
(1)
13
K
(1)
21
K
(1)
22
K
(1)
23
K
(1)
31
K
(1)
32
K
(1)
33

K
11
K
12
K
14

K
21
K
22
K
24
K
41
K
42
K
44

Local Global
Entonces, la matriz de rigidez K global despus de ensamblar el primer
elemento est dada por
El Mtodo de Elementos Finitos 97
K =
_

_
K
(1)
11
K
(1)
12
0 K
(1)
14
0 0 0 0 0
K
(1)
21
K
(1)
22
0 K
(1)
24
0 0 0 0 0
0 0 0 0 0 0 0 0 0
K
(1)
41
K
(1)
42
0 K
(1)
44
0 0 0 0 0
0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0
_

_
Para el elemento k = 2, se tiene
i
local
i
global
x
i
y
i
1 5 0 0
2 4 -1 0
3 2 0 -1
J =
_
1 0
0 1
_
= J
1
, [J[ = 1
La matriz elemental para el elemento
2
K
(2)
=
_
_
1 1/2 1/2
1/2 1/2 0
1/2 0 1/2
_
_
Entonces,
K
(2)
=
_

_
K
(2)
11
K
(2)
12
K
(2)
13
K
(2)
21
K
(2)
22
K
(2)
23
K
(2)
31
K
(2)
32
K
(2)
33
_

_
K
55
K
54
K
52
K
45
K
44
K
42
K
25
K
24
K
22
_

_
por lo tanto, despus de ensamblar el segundo elemento, la matriz de
rigidez K queda dada por
98 G. Caldern y R. Gallo
K =

K
(1)
11
K
(1)
12
0 K
(1)
14
0 0 0 0 0
K
(1)
21
K
(1)
22
+K
(2)
33
0 K
(1)
24
+K
(2)
32
K
(2)
31
0 0 0 0
0 0 0 0 0 0 0 0 0
K
(1)
41
K
(1)
42
+K
(2)
23
0 K
(1)
44
+K
(2)
22
K
(2)
21
0 0 0 0
0 K
(2)
13
0 K
(2)
12
K
(2)
11
0 0 0 0
0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0

Ensamblando todos los elementos, la matriz de rigidez resultante es


K =
_

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

1
2
2
1
2
0 1 0 0 0 0
0
1
2
1 0 0
1
2
0 0 0

1
2
0 0 2 1 0
1
2
0 0
0 1 0 1 4 1 0 1 0
0 0
1
2
0 1 2 0 0
1
2
0 0 0
1
2
0 0 1
1
2
0
0 0 0 0 1 0
1
2
2
1
2
0 0 0 0 0
1
2
0
1
2
1
_

_
El vector de carga, F, se obtiene ensamblando las contribuciones ele-
mentales, F
(e)
, tal como en la ecuacin (4.55), y de forma anloga a lo
hecho anteriormente para la matriz de rigidez.
Por ltimo, se debe observar que la matriz de rigidez es singular (todas
las columnas suman cero) antes de prescribir las condiciones de contorno
esenciales. En otras palabras, resta por analizar la forma de imponer las
condiciones de contorno esenciales al sistema Ka = F.
4.4.2 Ejemplo 2. Malla rectangular
Se estudia la formulacin de elementos nitos para el PVF dado por la
El Mtodo de Elementos Finitos 99
ecuacin de Poisson
3
(transferencia de calor en estado estable) y condi-
ciones de contorno mixtas

T
(Du) = f en , (4.66)
u u
d
= 0 sobre
d
q
n
= q
n
+(u u

) sobre
n
_
condiccin Dirichlet
condiccin Neumann
(4.67)
siendo D =
_
k
x
0
0 k
y
_
la matriz de conductividad y =
d

n
la frontera
del dominio , tal como en el problema (2.10)-(2.11). Sin embargo, la
divisin de en dos zonas
d
y
n
es meramente conceptual, puesto que
puede darse la situacin de que estas condiciones se vayan alternando en
los sucesivos puntos del contorno.
El ujo normal q
n
se obtiene proyectando el ujo en el contorno sobre
la normal. As,
q
n
= n
T
q = n
x
q
x
+n
y
q
y
Por otro lado, la relacin entre ujo y gradiente se expresa por la ley
de Fourier, que en forma matricial se escribe por q = Du. Ahora,
sustituyendo q
x
= k
x
u
x
y q
y
= k
y
u
y
en las ecuaciones anteriores
se obtiene la condicin de ujo prescrito en el contorno (condicin de
Neumann) en la forma siguiente
k
x
u
x
n
x
+k
y
u
y
n
y
+q
n
+(u u

) = 0, sobre
n
(4.68)
En lo anterior q
n
es el ujo prescrito en direccin normal al contorno
n
(q
n
es positivo, si el ujo es en direccin de la normal al contorno n). El
ltimo trmino de (4.68) expresa el ujo de calor que sale por el contorno
debido a diferencia de temperatura entre los puntos del contorno y la
temperatura ambiente u

. El trmino es denominado coeciente de


conveccin.
Multiplicando (4.66) por la funcin test v, integrando sobre el dominio
y usando la frmula de Green (1.25), se obtiene
_

v (Du)d =
_

fvd +
_

vn
T
Duds
=
_

fvd
_

d
vq
n
ds
_
n
v
_
q
n
+(u u

ds
3
Resulta instructivo plantear la solucin general de la ecuacin de Poisson uti-
lizando una formulacin matricial. El planteamiento matricial presenta adems la
ventaja de que es generalizable a la solucin de otros problemas por el MEF.
100 G. Caldern y R. Gallo
La integral a lo largo de
d
se debe al ujo q
n
que sale por el contorno

d
donde el valor de u es conocido (condicin de contorno esencial), el
signo negativo que precede la integral indica que el ujo normal q
n
sale
del contorno. Dicho ujo puede interpretarse como una reaccin que se
calcula una vez conocido el valor de u sobre
d
.
Seleccionando como funciones test las funciones v H
1
() tal que
v = 0 sobre
d
, se obtiene la formulacin variacional siguiente: encontrar
u H
1
() tal que u = u
d
sobre
d
y
_

v (Du)d +
_

n
vuds =
_

fvd
_

n
v
_
q
n
u

ds (4.69)
se cumple para todo v H
1
() tal que v = 0 sobre
d
.
Nuevamente, la forma dbil (4.69) es el punto de partida para obtener
las ecuaciones de la aproximacin por el MEF. Supongamos ahora una
discretizacin del dominio en elementos nitos bidimensionales (cua-
drilteros) de m
e
nodos (ver Figura 4.1). La aproximacin de u por el
MEF queda entonces dada en la forma usual
u u
H
=
m

i=1
a
i

i
(x, y) (4.70)
donde
i
son las funciones base bidimensional para elementos cuadril-
teros, a
i
los valores nodales de la solucin aproximada y m el nmero
de nodos en la discretizacin del dominio . El sistema de ecuaciones
de la discretizacin se obtiene sustituyendo la aproximacin (4.70) en la
forma dbil (4.69) y escogiendo m funciones de peso
i
(i = 1, . . . , m).
De este modo,
_

i
(Du
H
)d +
_

i
u
H
ds =
_

f
i
d
_

i
_
q
n
u

ds
(4.71)
La forma de Galerkin (4.71) en funcin de las contribuciones elemen-
tales
E

e=1
_
_

(e)
i

_
D
_
m
e

j=1
u
(e)
j

(e)
j
__
d +
_

(e)
n

(e)
i
_
m
e

j=1
u
(e)
j

(e)
j
_
ds
_
=
E

e=1
_
_

e
f
(e)
i
d
_

(e)
n

i
_
q
n
u

ds
_
(4.72)
donde la sumatoria se extiende sobre todos los elementos del dominio.
El Mtodo de Elementos Finitos 101
Como antes, la expresin (4.72) puede escribirse en forma matricial
Ka = F, donde los trminos de K y F se obtienen ensamblando las
contribuciones elementales en la forma habitual. De este modo, y advir-
tiendo, nuevamente, que las funciones de forma
(e)
i
valen cero fuera de
cada elemento, puede deducirse que
K
(e)
ij
=
_
e

(e)
i
D
(e)
j
d +
_

(e)
n

(e)
i

(e)
j
ds = K
int(e)
ij
+K
front(e)
ij
(4.73)
y
F
(e)
i
=
_
e
f
(e)
i
d
_

(e)
n

i
_
q
n
u

ds (4.74)
Es importante advertir que las contribuciones de cada elemento prove-
nientes de las integrales sobre los contornos elementales se cancelan entre
s, cuando el elemento pertenece al interior del dominio. Los trminos
K
int(e)
ij
y K
front(e)
ij
en (4.73) representan las contribuciones de la conduc-
tividad y la conveccin en la matriz de rigidez elemental. El clculo por
separado de estos trminos facilita la obtencin de los coecientes de la
matriz de rigidez elemental.
De la misma manera, resulta apropiado separar las componentes del
vector F
(e)
i
como
F
(e)
i
= f
(e)
i
+f
front(e)
i
donde
f
(e)
i
=
_

e
f
(e)
i
d (4.75)
es la contribucin del trmino de fuente de calor sobre el dominio, y
f
front(e)
i
=
_

(e)
n

(e)
i
_
q
n
u

ds (4.76)
es la contribucin del trmino de ujo de calor a travs del contorno de
Neumann donde se prescribe el ujo saliente.
Se particulariza ahora el proceso de obtencin de las matrices y vecto-
res elementales para elementos cuadrilteros de cuatro nodos. As, a
partir de (4.38), (4.40)-(4.42), se obtiene de (4.73)
K
int(e)
ij
=
_

(e)
i
D
(e)
j
d =
_

J
1


i
) DJ
1


j
)[J[dd
=
_

_
(J
1


i
)k
x
(J
1


j
) + (J
2


i
)k
y
(J
2


j
)
_
[J[dd
102 G. Caldern y R. Gallo
Al igual que como con elementos triangulares, para efectos de im-
plementacin, se pueden expresar los clculos en forma matricial. Si

(e)
= [
(e)
i
,
(e)
j
,
(e)
k
,
(e)
l
] = = [
1
,
2
,
3
,
4
], se tiene que

(e)
= J
1
_
_

1

_
_
= J
1

T
Es decir,

(e)
x
= J
1

T
= (J
T
1
)
T
,

(e)
y
= J
2

T
= (J
T
2
)
T
Por lo tanto,
K
int(e)
=
_

J
1

T
DJ
1

T
[J[dd
=
_

_
k
x
J
T
1
J
1
+k
y
J
T
2
J
2
_

T
[J[dd
(4.77)
La evaluacin de K
front(e)
ij
en (4.73) y f
front(e)
i
en (4.76) se lleva a cabo
mediante la integracin a lo largo de los lados del elemento de referencia
que son transformados en los lados de la frontera del elemento
e
, en
los cuales las condiciones de frontera natural han sido prescritas (
(e)
n
).
Cualquier elemento en particular, puede tener uno o ms lados (aristas)
en la frontera del dominio o no tener ningn lado en dicha frontera. Se
describe a continuacin los clculos que deben realizarse para uno de los
lados; los procedimientos pueden repetirse cuando ms de un lado del
elemento se encuentra en la frontera. Para concretar, se supone que el
lado = 1 del elemento de referencia es transformado sobre
(e)
n
.
Sea

j
la restriccin de las funciones de forma
j
del elemento de
referencia para el lado = 1:

j
() =
j
(1, ), j = 1, . . . , m
e
Es importante advertir que excepto para los nodos que estn en la fron-
tera tratada, = 1, las funciones de forma que no pertenecen al lado
tienen valor cero sobre este lado,

j
() = 0. Teniendo entonces que
K
front(e)
ij
=
_

(e)
n

(e)
i

(e)
j
ds =
_
1
1

i
()

j
()[j()[d (4.78)
El Mtodo de Elementos Finitos 103
f
front(e)
i
=
_

(e)
n

(e)
i
[q
n
u

]ds =
_
1
1
[q
n
u

i
()[j()[d (4.79)
donde [j[ es el jacobiano de la transformacin de en el parmetro de
longitud de arco s en el plano xy. Puesto que
ds =
_
_
x

(1, )
_
2
+
_
y

(1, )
_
2
_
1/2
d
se tiene
[j()[ =
_
_
x

(1, )
_
2
+
_
y

(1, )
_
2
_
1/2
(4.80)
en el cual x(, ) y y(, ) son denidas a partir de la transformacin
isoparamtrica dada en (4.35).
Generalizando a todas las aristas del elemento de referencia, se tiene:
Para el lado = 1, entonces
3
,
4
son cero, y
K
front(e)
=1
=
_
1
1

2
0 0

2
0 0
0 0 0 0
0 0 0 0
_

_
[j()[d
Para el lado = 1, entonces
4
,
1
son cero, y
K
front(e)
=1
=
_
1
1

_
0 0 0 0
0

3
0
0

3
0
0 0 0 0
_

_
[j()[d
Para el lado = 1, entonces
1
,
2
son cero, y
K
front(e)
=1
=
_
1
1

_
0 0 0 0
0 0 0 0
0 0

4
0 0

4
_

_
[j()[d
104 G. Caldern y R. Gallo
Para el lado = 1, entonces
2
,
3
son cero, y
K
front(e)
=1
=
_
1
1

1
0 0

4
0 0 0 0
0 0 0 0

4
0 0

4
_

_
[j()[d
En denitiva, la matriz de rigidez total del elemento se obtiene por
K
(e)
= K
int(e)
+K
front(e)
=1
+K
front(e)
=1
+K
front(e)
=1
+K
front(e)
=1
Para evaluar las integrales en (4.78) (4.79) sobre el lado del elemento
de referencia que este en juego, se continua utilizando las frmulas de
integracin numrica. En el presente caso, una regla de cuadratura en
una dimensin (como la usada anteriormente para el problema unidi-
mensional) ser necesaria.
La contribucin del trmino de conveccin al vector de ujos, f
front(e)
i
,
en forma matricial se calcula como sigue
f
front(e)

n
=
_

(e)
n
_

(e)
1

(e)
2

(e)
3

(e)
4
_
_
q
n
u

ds
Al igual que en el clculo de la matriz de rigidez, en la evaluacin de la
integral anterior hay que tener en cuenta que sobre cada lado, solo son
diferentes de cero las funciones de forma correspondientes a dicho lado.
As, el valor de f
front(e)

n
, se obtiene para cada lado:
Para el lado = 1,
f
front(e)
=1
=
_
1
1
_

2
0 0
_
_
q
n
u

[j()[d
Para el lado = 1,
f
front(e)
=1
=
_
1
1
_
0

3
0
_
_
q
n
u

[j()[d
Para el lado = 1,
f
front(e)
=1
= +
_
1
1
_
0 0

4
_
_
q
n
u

[j()[d
Para el lado = 1,
f
front(e)
=1
=
_
1
1
_

1
0 0

4
_
_
q
n
u

[j()[d
El Mtodo de Elementos Finitos 105
4.5 Condiciones de contorno esenciales
Las matrices globales que resultan al terminar el proceso de ensamblaje
de las matrices elementales son singulares. De modo que, el sistema de
ecuaciones no podr ser resuelto hasta que no sea modicado a travs
de la imposicin de las condiciones de contorno esenciales. Este proceso
suele ser trivial y representa una parte fundamental de cualquier cdigo
de elementos nitos. El nmero de variables, combinacin y valores de
estas, que deben especicarse o imponerse en el sistema depende de cada
problema en particular.
Existen diferentes enfoques o mtodos de introducir dichas condiciones
de contorno en el sistema global de ecuaciones. En la gran mayora de
estas formas, el nmero de incgnitas nodales se reduce. Sin embargo,
resulta ms conveniente, computacionalmente hablando, introducir las
variables conocidas de tal modo que deje el nmero de ecuaciones original
inalterado y evitar de este modo, complicadas reestructuraciones de la
matriz global de rigidez. Otro mtodo para imponer las condiciones de
contorno esenciales, y tal vez el ms popular, es usando multiplicadores
de Lagrange; sin embargo, en este caso, la matriz global aumenta su
dimensin, tiene ceros en la diagonal y suele resultar mal condicionada.
Por ltimo, un enfoque general del problema de imponer condiciones
de contorno esenciales y restricciones multipunto, pero seguramente poco
conocida, es la forma introducida por Ainsworth en [37].
A continuacin, se describen las tres primera formas de imponer las
condiciones de contorno esenciales.
4.5.1 Mtodo 1: Eliminacin de las y columnas
Sea i la coordenada de una variable nodal prescrita del sistema global
Ka = F. Entonces, el proceso se inicia al hacer K
ii
igual a uno y los
restantes valores de la i-sima la y la i-sima columna de K se hacen
iguales a cero. Por otro lado, el trmino F
i
del vector F se reemplaza por
el valor conocido a
i
(condicin esencial). Adems, cada uno de los n 1
trminos restantes de F se modican restando de su respectivo valor, el
valor de la variable prescrita multiplicado por el trmino correspondiente
de la matriz K original. Este proceso se repite para cada a
i
prescrito,
presente en el problema.
Para ilustrar este procedimiento, se considera el siguiente ejemplo:
106 G. Caldern y R. Gallo
dado el sistema
_

_
K
11
K
12
K
13
K
14
K
21
K
22
K
23
K
24
K
31
K
32
K
33
K
34
K
41
K
42
K
43
K
44
_

_
_

_
a
1
a
2
a
3
a
4
_

_
=
_

_
F
1
F
2
F
3
F
4
_

_
(4.81)
suponga que se especican las variables nodales a
1
=
1
y a
4
=
4
.
Con el procedimiento descrito, el sistema anterior queda de la siguiente
forma:
_

_
1 0 0 0
0 K
22
K
23
0
0 K
32
K
33
0
0 0 0 1
_

_
_

_
a
1
a
2
a
3
a
4
_

_
=
_

1
F
2
K
21

1
K
24

4
F
3
K
31

1
K
34

4
_

_
Este sistema de ecuaciones, puede ahora resolverse para todas las va-
riables nodales. La solucin, por supuesto, establece que a
1
=
1
y
a
4
=
4
, debindose determinar las incgnitas a
2
y a
3
.
4.5.2 Mtodo 2: Penalizacin
En este caso, el trmino de la diagonal de K, asociada con la variable
nodal prescrita, se multiplica por un nmero muy grande, por ejemplo
10
16
, mientras que el trmino correspondiente a F es reemplazado por la
variable nodal prescrita, multiplicada por el mismo factor del trmino de
la diagonal correspondiente. Este procedimiento se repite para todas las
variables prescritas del problema. Este mtodo hace que los trminos no
modicados de K sean extremadamente ms pequeos si se comparan
con los trminos modicados. Una vez terminada esta modicacin, se
procede a resolver el sistema completo de ecuaciones.
Usando este procedimiento para resolver el sistema de ecuaciones (4.81)
del ejemplo anterior, se tiene
_

_
10
16
K
11
K
12
K
13
K
14
K
21
K
22
K
23
K
24
K
31
K
32
K
33
K
34
K
41
K
42
K
43
10
16
K
44
_

_
_

_
a
1
a
2
a
3
a
4
_

_
=
_

_
10
16

1
K
11
F
2
F
3
10
16

4
K
44
_

_
(4.82)
Para mostrar la efectividad de este procedimiento, consideremos la primera
la de (4.82):
10
16
K
11
a
1
+K
12
a
2
+K
13
a
3
+K
14
a
4
= 10
16

1
K
11
El Mtodo de Elementos Finitos 107
Desde un punto de vista prctico, esta ecuacin expresa que a
1
=
1
,
puesto que 10
16
K
11
K
1j
, para j = 2, 3, 4.
Aunque esta ltima forma de imponer condiciones de contorno esen-
ciales resulta computacionalmente ms fcil de implementar, se tiene
que ambos mtodos preservan la propiedades de la matriz original del
sistema: simetra, ancho de banda, nmero de condicin, etc.
4.5.3 Mtodo 3: Multiplicadores de Lagrange
El problema variacional B(u, v) = l(v) , en el caso de B simtrica, resulta
equivalente al problema de minimizacin: encontrar u tal que
J(u) = inf
vV
J(v)
donde, V es el espacio de funciones admisibles y J es el funcional lineal
dado por
J(v) =
1
2
B(v, v) l(v)
De forma discreta, el problema queda dado por: encontrar el extremo
a del funcional
J(a) =
1
2
a
T
Ka a
T
F (4.83)
donde Ka = F representa el sistema global del problema antes de im-
poner las condiciones de contorno esenciales. As, si K es simtrica y
denida positiva, a es un extremo de (4.83) si, y solo si, J/a = 0. Es
decir,
J
a
= 0
1
2
_
K
T
+K
_
a = F
Por otro lado, al imponer las condiciones de contorno esenciales, dadas
por el sistema Ga = g (m ecuaciones lineales no necesariamente ho-
mogneas), usando multiplicadores de Lagrange, resulta el funcional
J(a, ) =
1
2
a
T
Ka a
T
F +
T
(Ga g)
Ahora, el extremo se alcanza para
J
a
= 0
1
2
_
K
T
+K
_
a F +G
T
= 0
Es decir, para Ka F +
T
G. En forma matricial
108 G. Caldern y R. Gallo
_
K G
T
G 0
mm
_ _
a

_
=
_
F
g
_
(4.84)
Se debe notar, que al imponer las condiciones de contorno esenciales
el sistema global pierde su estructura de almacenamiento, aumenta la
dimensin de la matriz, presenta ceros en la diagonal y, en general la
matriz resulta mal condicionada.
4.6 Funciones de forma de orden superior
El propsito de este apartado es dar a conocer algunas reglas fundamen-
tales para generar funciones de forma de diversos elementos: triangulares
y rectangulares de lados rectos de clase C
0
. Un desarrollo ms general so-
bre el tema puede verse, por ejemplo, en Zienkiewicz [13]. Las funciones
de forma que se describen solo exigirn la satisfaccin de los criterios
dados por (4.57) y (4.58) y constituyen la continuacin inmediata de las
vista anteriormente (caso lineal).
Las funciones de forma solo pueden reproducir exactamente varia-
ciones polinmicas de grado igual o inferior al del polinomio completo
de mayor grado contenido en dichas funciones. Como consecuencia, la
solucin de elementos nitos ser tanto mejor cuanto mayor sea el grado
de dicho polinomio completo.
Un polinomio de dos variables de grado n se llama completo si este
puede escribirse como
p(x, y) =
p

i=1

i
x
j
y
k
, j +k n
donde el nmero de trminos en el polinomio es p = (n + 1)(n + 2)/2.
As, por ejemplo, para un polinomio lineal (p = 3) se tiene que, p(x, y) =

1
+
2
x +
3
y, mientras que para un polinomio cuadrtico (p = 6),
resulta que p(x, y) =
1
+
2
x +
3
y +
4
xy +
5
x
2
+
6
y
2
. Una forma
inmediata de identicar los trminos de un polinomio completo de dos
variables es utilizando el tringulo de Pascal (Tabla 4.3). Por tanto,
los desarrollos polinmicos correspondientes a las funciones de forma de
cada elemento pueden obtenerse directamente del tringulo de Pascal.
Al mismo tiempo, dicha propiedad permite conocer la distribucin de
nodos internos y en los lados, pues dicha distribucin guarda una perfecta
analoga con la de los trminos de dicho tringulo.
El Mtodo de Elementos Finitos 109
Tringulo Grado del Nmero de trminos
de Pascal polinomio p = (n + 1)(n + 2)/2
1 0 1
x y 1 3
x
2
xy y
2
2 6
x
3
x
2
y xy
2
y
3
3 10
x
4
x
3
y x
2
y
2
xy
3
y
4
4 15
Tabla 4.3: Tringulo de Pascal en dos dimensiones.
4.6.1 Funciones de forma de elementos rectangulares
Para elementos rectangulares lagrangianos de orden superior, las fun-
ciones de forma se pueden obtener a partir de la interpolacin de La-
grange en dos dimensiones (ver (4.59), y el desarrollo hecho para el caso
lineal). As, para un elemento rectangular lagrangiano de nueve nodos
(ver Figura 4.19), las funciones de forma se obtienen del producto de dos
polinomios de Lagrange de segundo grado en y . Dichos polinomios se
obtienen directamente para cada nodo. As, por ejemplo, para el nodo 1
L
1
2
() =
1
2
( 1) , L
1
2
() =
1
2
( 1)
y la funcin de forma del nodo es

1
(, ) = L
1
2
()L
1
2
() =
1
4
( 1)( 1)
Procediendo de manera idntica para el resto de los nodos, pueden en-
contrarse las siguientes expresiones:
Nodos de las esquinas, i = 1, 3, 5, 7

i
(, ) =
1
4
(
2
+
i
)(
2
+
i
)
Nodos intermedios en los lados, i = 2, 4, 6, 8

i
(, ) =
1
2

2
i
(
2

i
)(1
2
) +
1
2

2
i
(
2

i
)(1
2
)
Nodo central

9
(, ) = (1
2
)(1
2
)
En la Figura 4.19 se presentan las funciones de forma para tres nodos
en particular. Se aprecia en dicha gura que el elemento lagrangiano de
110 G. Caldern y R. Gallo
1
.
1
1
.
. .
.
1 2 3
4
5 6 7
8 9
. . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.


1
=
1
4
( 1)( 1)

8
=
1
2
( 1)(1
2
)

9
= (1
2
)(1
2
)
i = 1, 3, 5, 7

i
(, ) =
1
4
(
2
+
i
)(
2
+
i
)
i = 2, 4, 6, 8

i
(, ) =
1
2

2
i
(
2

i
)(1
2
) +
1
2

2
i
(
2

i
)(1
2
)

9
(, ) = (1
2
)(1
2
)

Nodo
Nodo
i

i
1 -1 -1
2 0 -1
3 1 -1
4 1 0
5 1 1
6 0 1
7 -1 1
8 -1 0
9 0 0
1

2

2

2

2

3

2

1
1
1
2
2
2
3
3
3
4
4
4
5
5
5
6
6
6
7
7
7
8
8
8
Figura 4.19: Elemento rectangular lagrangiano cuadrtico de nueve nodos.
nueve nodos contiene todos los trminos del polinomio completo de se-
gundo grado ms tres trminos adicionales (
2
,
2
y
2

2
) de los poli-
nomios de tercer y cuarto grado. Por lo tanto, la aproximacin del ele-
mento es simplemente cuadrtica. Se puede comprobar que dichas fun-
ciones de forma cumplen las condiciones impuestas por (4.57) y (4.58).
Elementos lagrangianos de mayor orden pueden obtenerse aumentando
el grado de los polinomios de Lagrange en cada direccin y . Los ele-
mentos lagrangianos pueden tener diferente nmero de nodos en cada
El Mtodo de Elementos Finitos 111
direccin y . En este caso, las funciones de forma se obtienen de
la misma manera. Las funciones de forma de estos elementos contienen
polinomios completos en y de un grado igual al menor de los dos poli-
nomios de Lagrange unidimensionales en cada direccin. Por lo tanto,
el aumento del nmero de nodos en una nica direccin no contribuye
a incrementar el grado de aproximacin, por lo que dichos elementos no
son muy utilizados en la prctica.
4.6.2 Funciones de forma de elementos triangulares
En el caso de elementos triangulares, estos permiten que se usen poli-
nomios completos para denir funciones de forma. Los coecientes de
estos polinomios pueden calcularse siguiendo el procedimiento descrito
anteriormente para el tringulo de tres nodos. No obstante, este proce-
dimiento resulta complejo para elementos de orden superior y es mucho
ms sencillo la obtencin de los coecientes haciendo uso de las coorde-
nadas naturales o de rea descritas en el apartado 4.3.5.
Sea i un nodo cualquiera que ocupa la posicin (I, J, K) en los lados
o en el interior del elemento. Los valores de I, J y K coinciden con los
exponentes con que van afectadas cada una de las coordenadas de rea l
1
,
l
2
, l
3
en la expresin de la funcin de forma del nodo. Por consiguiente,
se cumple que I +J +K = n. La funcin de forma del nodo i viene dada
por
4

i
= L
s
1
I
(l
1
)L
s
2
J
(l
2
)L
s
3
K
(l
3
) (4.85)
El superndice s
1
corresponde al numero de orden que guarda el nodo i
en direccin del eje l
1
, es decir, para la coordenada de rea l
1
= 1, s
1
= 1
y para l
1
= 0, s
1
= n + 1 (1 s
1
n + 1). L
s
1
I
(l
1
) es el polinomio de
Lagrange de grado I en l
1
asociado al nodo i, que toma el valor uno en
el nodo i, es decir
L
s
1
I
(l
1
) =
n+1

j=1
j=1, s
1
(l
1
l
j
1
)
(l
s
1
1
l
j
1
)
(4.86)
con idnticas expresiones para L
s
2
J
(l
2
) y L
s
3
K
(l
3
). En (4.86) l
i
1
es el valor
4
La expresin (4.85) es vlida para distribuciones de nodos arbitrarias que sigan
el modelo de generacin de la Figura 4.20 y, se simplica si el espaciado de las lneas
nodales es regular (por ejemplo, 1/n). La frmula fue obtenida originalmente por
Argyris y colaboradores [34] y formalizada de manera diferente por [35], [36].
112 G. Caldern y R. Gallo
de la coordenada de rea l
1
en el nodo i. Con el objetivo que la ecuacin
(4.86) sea consistente para todos los nodos, es necesario tomar en cuenta
que L
s
1
0
(l
1
) = 1, anlogamente para L
s
2
0
(l
2
) y L
s
3
0
(l
3
).

2
l3= 0
l3= 1
l
2
=
0
l
2
=
1
l
1
=
0
l
1
=
1
(1,0, 0)
(0,1, 0)
(0,0, 1)
3
2 1
(I,J,K)
Lineal Cuadrtico
l3= 0
l3= 1
l
2
=
0
l
2
=
1
l
1
=
0
l
1
=
1
(2,0, 0)
(0,2, 0)
(0,0, 2)
3
2 1
(I,J,K)
4
5 6
l
1
=
1
/
2
(1,0, 1)
(1,1, 0)
(0,1, 1)
l3= 1/2
l
2
=
1
/
2
1
Figura 4.20: Elemento triangular lagrangiano lineales y cuadrtico y trminos de sus
funciones de forma. Valores nodales de las coordenadas de rea l
i
y entre parntesis los de
las coordenadas (I, J, K) de cada nodo.
La dicultad mayor para aplicar la ecuacin (4.86) consiste en deducir
los valores I, J, K de cada nodo. Esto puede efectuarse fcilmente
teniendo en cuenta que:
La funcin de forma de cada nodo de vrtice depende nicamente
de una coordenada de rea, de lo que se deduce el exponente que
afecta a dicha funcin y, por tanto, el valor de I, J o K del nodo,
Los nodos colocados sobre las rectas l
1
= constante tienen el mismo
I, ocurriendo lo mismo con l
2
y J y l
3
y K.
Los valores I, J, K asociados a l
1
, l
2
, l
3
decrecen de unidad en
unidad desde sus valores mximos sobre las rectas l
i
= 1 que pasan
El Mtodo de Elementos Finitos 113
sobre los nodos de vrtice, hasta el valor cero sobre la recta l
i
= 0
que coincide con el lado opuesto al vrtice en cuestin, ver Figura
4.20.
Se aclara el procedimiento descrito aplicndolo a los caso lineal y
cuadrtico.
Funciones de forma del elemento triangular de tres nodos: Las
funciones de forma del elemento triangular de tres nodos son polinomios
de primer grado, n = 1. La posicin de cada nodo y sus coordenadas
de rea pueden verse en la Figura 4.20. Por ejemplo, para el nodo 1, la
posicin (I, J, K) es (1, 0, 0). Las coordenadas de rea en el nodo son
(1, 0, 0) y, por tanto,

1
= L
s
1
1
(l
1
)L
s
2
0
(l
2
)L
s
3
0
(l
3
) = L
1
1
(l
1
)L
2
0
(l
2
)L
2
0
(l
3
) = L
1
1
(l
1
)
=
2

j=1
j=1,1
(l
1
l
j
1
)
(l
1
1
l
j
1
)
=
(l
1
l
2
1
)
(l
1
1
l
2
1
)
= l
1
Resulta inmediato encontrar las funciones de forma
2
= L
s
2
=1
1
(l
2
) = l
2
,
y
3
= L
s
2
=1
1
(l
3
) = l
3
; resultados, por otra parte, ya conocidos.
Funciones de forma del elemento triangular de seis nodos: Las
funciones de forma del elemento triangular cuadrtico de seis nodos son
polinomios completos de segundo grado, n = 2. La posicin de los nodos
y el valor de las coordenadas de rea de cada nodo pueden verse en la
Figura 4.20. Sistematizando el proceso, se tiene, por ejemplo, para los
nodos 1 y 4:
Nodo 1
Posicin (I, J, K) : (2, 0, 0)
Coordenadas de rea: (1, 0, 0)

1
= L
s
1
2
(l
1
)L
s
2
0
(l
2
)L
s
3
0
(l
3
) = L
1
2
(l
1
)L
3
0
(l
2
)L
3
0
(l
3
) = L
1
2
(l
1
)
=
3

j=1
j=1,1
(l
1
l
j
1
)
(l
1
1
l
j
1
)
=
(l
1
l
2
1
)(l
1
l
3
1
)
(l
1
1
l
2
1
)(l
1
1
l
3
1
)
=
(l
1
1/2)(l
1
0)
(1 1/2)(1 0)
= (2l
1
1)l
1
114 G. Caldern y R. Gallo
Nodo 4
Posicin (I, J, K) : (1, 1, 0)
Coordenadas de rea: (1/2, 1/2, 0)

4
= L
s
1
1
(l
1
)L
s
2
1
(l
2
)L
s
3
0
(l
3
) = L
2
1
(l
1
)L
2
1
(l
2
)L
3
0
(l
3
) = L
2
1
(l
1
)L
2
1
(l
2
)
=
3

j=1
j=1,2
(l
1
l
j
1
)
(l
2
1
l
j
1
)
3

j=1
j=1,2
(l
2
l
j
2
)
(l
2
2
l
j
2
)
=
(l
1
l
3
1
)(l
2
l
3
2
)
(l
2
1
l
2
1
)(l
2
2
l
3
2
)
=
(l
1
0)(l
2
0)
(1/2 0)(1/2 0)
= 4l
1
l
2
Siguiendo el mismo procedimiento, se obtiene fcilmente para todos
los nodos

1
= (2l
1
1)l
1

2
= (2l
2
1)l
2

3
= (2l
3
1)l
3

4
= 4l
1
l
2

5
= 4l
2
l
3

6
= 4l
1
l
3
En la Figura 4.21 se muestra la geometra de dos funciones de forma
caractersticas.
1
3
2
1
4
5
6
1
3
2
1 4
5
6

1
= (2l
1
1)l
1

6
= 4l
1
l
3
Figura 4.21: Funciones de forma de un nodo de esquina y un nodo lateral en un elemento
triangular cuadrtico.
El Mtodo de Elementos Finitos 115
Ejercicios
4.1 El error para la interpolacin de Lagrange en + 1 puntos de una
funcin suave g es
E(x) =
P
+1
(x)
( + 1)!
d
+1
g()
dx
+1
, x
i
x
i+1
donde x
i
son los puntos de la interpolacin y
P
+1
(x) = (x x
1
)(x x
2
) (x x
+1
)
Usando este resultado sobre el elemento de referencia 1 1 y
la transformacin de 1 1 a x
e
, muestre que
max
x
e
[E(x)[
H
+1
2
+1
( + 1)!
max
x
e

d
+1
g(x)
dx
+1

4.2 Calcule la solucin exacta y la aproximacin por elementos nitos


para 2, 4, y 6 elementos del PVF
u

= 1 x
2
, 0 < x < 1 con u(0) = 0, u(1) = 0.
Calcule el error |e|
E
y |e|

para cada malla y cre la grca


log(|e|) contra log(H). Cul es el orden de convergencia para cada
norma? Verique el error puntual de la solucin en x = 1/8 para
cada malla. Cul es el orden de convergencia aqu? Verique el
error puntual en el nodo central x = 1/2. Qu resultado impor-
tante se puede encontrar?
4.3 Considere el problema de Neumann
u

= f(x), 0 < x < 1 con u

(0) = 1, u

(1) = 2
Desarrolle el sistema lineal de ecuaciones que describen una apro-
ximacin de este problema utilizando solo dos elementos y funciones
de forma lineales. Los valores de K
ij
y F
i
no es necesario calcularlos.
Imponga las condiciones de contorno para reducir el sistema.
4.4 La funcin u denida por
u(x) = (1 x)
_
tan
1
((x x
0
)) + tan
1
(x
0
)

est diseada para mostrar un comportamiento que va desde muy


suave a casi discontinua alrededor de x = x
0
, variando los valores de
los parmetros y x
0
. Las propiedades de u la convierten en una
116 G. Caldern y R. Gallo
candidata ideal para su uso en estudios numricos de soluciones de
elementos nitos. Tenga en cuenta que
u

(x) =
_
tan
1
((x x
0
))

+ tan
1
(x
0
) +
(1 x)
1 +
2
(x x
0
)
2
y que u es la solucin de la ecuacin diferencial

_
k(x)u

(x)
_

= f(x)
donde, k(x) = 1/ +(x x
0
)
2
y
f(x) = 2
_
1 +(x x
0
)
_
tan
1
((x x
0
)) + tan
1
(x
0
)
_
Adems, u tiene valores de frontera u(0) = 0 y u(1) = 0.
Experimentacin numrica:
Realice las modicaciones necesarias al cdigo de elementos nitos
adjunto al texto para resolver el PVF anterior con x
0
= 0.5 y = 5
(problema bastante suave) y una malla uniforme de 8 elementos. Es-
tudie el efecto de variar el orden de integracin sobre elementos de
diferente orden, es decir, para elementos lineales, cuadrticos y cbi-
cos. Observa alguna falla? Usando la norma de energa, analice la
precisin de la solucin de elementos nitos. Discuta sus resultados
y saque conclusiones.
Usando el problema y la malla del caso anterior, estudie la precisin
punto a punto de la solucin de elementos nitos u
H
y el ujo
H
evaluando la solucin en varios puntos (por ejemplo, en 10 puntos
igualmente espaciados) y uno o dos elemento cerca de x
0
. Para cada
tipo de elemento, el lector debe descubrir ciertos puntos en los cuales
u
H
tiende a ser ms preciso y ciertos puntos donde
H
es ms preciso.
Ample el estudio a un problema mas fuerte (digamos, = 50).
Reporte sus resultados en forma de grca (error contra coordenada
del elemento ) para los diferentes tipo de elementos. Saque sus
conclusiones sobre los resultados obtenidos.
La existencia de estos puntos especiales en los cuales una mejor pre-
cisin es usualmente encontrada resulta de extremado valor para el
anlisis de elementos nitos. Este fenmeno de mayor precisin que
la media es llamado superconvergencia. Los cdigos de aplicaciones
tpicamente evalan la solucin solo en estos puntos. Usted puede
modicar el cdigo propuesto para que esto suceda.
El Mtodo de Elementos Finitos 117
Para el problema suave ( pequeo) y el problema fuerte ( grande)
estudie el orden de convergencia para los elementos lineales, cuadrti-
cos y cbicos. Use mallas uniformes de 4, 8, 16 y 24 elementos
(H = 1/4, 1/8, 1/16, 1/24). Estudie la convergencia tanto en norma
energtica como en norma L
2
. Grcar log(|uu
H
|) contra log(H)
y determinar el orden de convergencia experimental. Compare los
valores experimentales con los obtenidos en (4.30). Estimaciones de
error de la forma (4.30) son asintticas; es decir, que exhiben cada
vez mayor precisin a medida que H se hace pequeo, alcanzando
la exactitud en el lmite H 0. Es interesante preguntarse que tan
pequeo debe ser H para observar un comportamiento asinttico
(lneas rectas en la grca del log(|u u
H
|) contra log(H)). Qu
signican los resultados de sus experimentos numricos?
Para un problema fuerte (x
0
= 0.75 y = 250) y un nmero de
nodos (por ejemplo, 30), intente variar el espaciamiento y el orden
de los elementos para obtener una solucin de elementos nitos de
alta precisin (medida en norma de energa). Puede ser que tenga
suerte o necesite varios ensayos para lograr buenos resultados.
Una estrategia razonable es comenzar con una malla uniforme, eva-
luar los resultados en varios puntos dentro de cada elemento y gr-
car u contra x. De esta grca, las regiones en las cuales cambios
rpidos estn teniendo lugar pueden ser fcilmente detectadas. De
acuerdo a lo dicho en el apartado 4.2.4, se debe esperar que los ele-
mentos lineales se comporten pobremente cuando u

es grande, as
que, o bien H debe ser pequeo o se usan elementos de orden su-
perior (o las dos cosas). Similarmente, valores grandes de d
3
u/dx
3
dan lugar a grandes errores con los elementos de segundo grado, y
as sucesivamente. Use estas ideas para la construccin de las sub-
siguientes mallas.
Este ejercicio ilustra un importante aspecto prctico del anlisis de
elementos nitos: mallas uniformes son raramente las ms efectivas.
El MEF ofrece la oportunidad de denir pequeos elementos donde
ellos sean necesarios y utilizar elementos grandes en regiones donde
estos sean ms que sucientes. Por supuesto, en aplicaciones prcti-
cas, la solucin exacta no est disponible, pero un anlisis preliminar
de los elementos nitos usando una malla uniforme y gruesa puede
ser usado para obtener una imagen aproximada de la solucin. La
118 G. Caldern y R. Gallo
malla puede entonces ser renada en las regiones de cambios rpi-
dos para las ejecuciones posteriores. La automatizacin de estos
procedimientos sigue siendo objeto de considerables esfuerzos de in-
vestigacin hoy en da.
4.5 Considere la formulacin de una aproximacin por elementos nitos
del problema:
u = f(x, y), en
u = 0, sobre
41
u
n
= 0, sobre
12
,
25
,
67
,
74
u
n
+u = , sobre
56
donde es el dominio poligonal mostrado en la Figura 4.22 y
41
,

12
,
25
,
56
,
67
y
74
son los segmentos de la frontera indicados
en la Figura.
1
2
3
4
5
6
7
x
y
1
2
5
6
7
1
2
3
4
5
6

12

25

56

67

74

x
y
h
h
Figura 4.22: Ejercicio 4.5. Izquierda: Dominio poligonal . Derecha: Discretizacin del
dominio en elementos nitos.
(a) Suponga que todos los elementos mostrados en la malla de la
Figura 4.22 son tringulos isosceles. Derive la matriz de rigidez
elemental K
e
y el vector de carga F
e
para el elemento mostrado
en la parte superior de la Figura 4.22 para el caso de f(x, y) = 1.
El Mtodo de Elementos Finitos 119
(b) Suponga que las coordenadas de los nodos en la malla son:
(x
1
, y
1
) = (0, 1), (x
2
, y
2
) = (1, 2), (x
3
, y
3
) = (1, 1), (x
4
, y
4
) =
(0, 0), (x
5
, y
5
) = (2, 2), (x
6
, y
6
) = (2, 1), (x
7
, y
7
) = (1, 0). Usan-
do los resultados de la parte (a), calcule las matrices elemen-
tales y vectores de carga para los seis elementos, dando valores
numricos explcitos para todas las entradas.
(c) Sume las matrices obtenidas en (b) para obtener K y F global
(an no estn impuestas las condiciones de contorno).
(d) Obtenga el sistema nal de ecuaciones al imponer a K y F las
condiciones de contorno.
(e) Describa que modicaciones en el anlisis son necesarias en el
caso de condiciones de contorno no homogneas sobre
41
.
(f) Describa las modicaciones necesarias en el anlisis del prob-
lema para el caso en el cual, las condiciones de contorno tienen
la condicin de Neumann u(s)/n = (s) sobre :
(s) =
_

0
sobre
41
0 sobre
12
y
25

1
sobre
56
0 sobre
67
y
74
donde
0
y
1
son constantes. Si f(x, y) = 1 que condiciones
son necesarias sobre
0
y
1
para que exista una solucin de
este problema.
4.6 Para el PVF
u = f, en = (0, 1) (0, 1)
u = u(x, y), sobre
d
u
n
= 4, sobre
n
donde
n
es el segmento del dominio para x = 0,
d
el resto del
contorno de y f(x, y) es tal que la solucin exacta del problema
es u(x, y) = x
3
+ 3y
2
+ 4x. Utilice el cdigo adjunto para resolver
el problema usando elementos nitos triangulares y rectangulares.
Estudie la convergencia tanto en norma energtica como en norma
L
2
. Grque log(|u u
H
|) contra log(H) y determinar el orden de
convergencia experimental.
120 G. Caldern y R. Gallo
4.7 La chimenea de ladrillos mostrada en la Figura 4.23 tiene 6 metros de
altura. Las supercies interiores estn a una temperatura uniforme
de 100

C y las supercies exteriores se mantienen a una temperatura


uniforme de 30

C. La conductividad trmica del ladrillo usado es


0.72W/m

C. Por lo tanto, la ecuacin a resolver es un caso parti-


cular de la ecuacin de Helmholtz (4.1) o ecuacin de calor en estado
estable
k
_

2
T
x
2
+

2
T
y
2
_
= G (4.87)
Use un modelo apropiado del dominio (1/4 de simetra) para deter-
minar la razn total de calor transferido a travs de la pared de la
chimenea. Qu condiciones de contorno articiales impondra en las
fronteras que surgen a dividir el dominio? Justique su respuesta.
Chimenea de ladrillo
100
o
C
0
.
6
m
0.8m
x
y
0.1m
0.1m
30
o
C
Figura 4.23: Ejercicio 4.7. Dominio bidimensional para la conduccin de calor en una
chimenea.
4.8 En la Figura 4.24 se muestra una presa sobre un suelo homogneo
isotrpico que tiene fronteras connadas impermeables. Las paredes
y base de la presa son impermeables. La presa retiene agua con
altura constante de 4 metros; el nivel de aguas abajo es cero. A
partir de (4.87), ahora T representa potencial hidrulico (o carga
hidrulica), determine y trace las lneas equipotenciales y encuentre
la cantidad de agua que se inltra bajo la presa por ancho unitario
de sta. Considere una conductividad hidrulica de k = 30 m/da.
El Mtodo de Elementos Finitos 121
Presa impermeable
Impermeable
Suelo

3m
10 m 6m
8m
15 m
Impermeable

Figura 4.24: Ejercicio 4.8. Dominio bidimensional para el problema de la presa.
4.9 El freno electromagntico es un elemento que se suele disponer en
vehculos de gran tonelaje. Este dispositivo de seguridad surgi de
la necesidad de un freno alternativo al freno convencional y que no
tuviese el inconveniente del sobrecalentamiento y prdida de ecacia
en pendientes pronunciadas. Los frenos convencionales se calientan
con facilidad al hacer un uso continuado en largas bajadas, esto
se evita con el freno electromagntico, pues su funcionamiento no
comporta rozamiento entre elementos. Adems evita las prdidas de
adherencia en pavimentos deslizante, puesto que la fuerza se reparte
por igual en todas las ruedas motrices.
0.2 m
0
.
4
m
0.05m
Figura 4.25: Ejercicio 4.9. Geometra del disco de freno electromagntico.
122 G. Caldern y R. Gallo
El problema viene modelizado por la ecuacin del calor en 3D. Sin
embargo, la simetra del problema permite en este caso obviar el es-
pesor, y realizar por tanto un clculo ms simplicado en 2D (Figura
4.25). El problema se quiere resolver despreciando la fase transito-
ria, nicamente se tiene en cuenta su face estacionaria, es decir, se
quiere resolver nuevamente la ecuacin (4.87) sujeta a condiciones
de frontera del tipo
T = t
0
, k
T
n
= q
0
, k
T
n
= (T T

). (4.88)
En otras palabras, se considera que el vehculo est frenando de
forma constante e ininterrumpidamente. G es la fuente de calor en
Julios por unidad de supercie. Es decir, la integral de la funcin G
sobre toda la supercie de la seccin de freno electromagntico, es
igual a la prdida de energa cintica del vehculo. Esta funcin G
representa trabajo de frenado que se supone constante en el tiempo
y uniforme en toda su supercie.
Para el estudio se consideran los siguientes valores: radio mximo del
freno = 0.4m, radio mnimo del freno = 0.2m, radio de los oricios =
0.05m. A partir de estos datos se obtiene un valor para la fuente de
calor Q = 238732.41 J/m
2
. El coeciente de conductividad trmica
k = 45W/m

C y condiciones de contorno:
T = 0

C el el contorno de los oricios para representar el efecto


del liquido refrigerante.
La parte exterior del disco est expuesta a una temperatura de
T

= 20

C con un coeciente de transferencia de calor por


conveccin en el acero de = 15.
Obtenga la distribucin de temperatura utilizando lo mejor posible
la simetra del dominio.
Bibliografa
[1] M.J. Turner, R.W. Clough, H.C. Martin and L.J. Topp, Sti-
ness and Deection Analysis of Complex Structures. Journal
of Aeronautical Sciences, Vol. 23, 9, 1956.
[2] G. Strang and G.J. Fix, An anysis of the Finite Element
Method. Prentice-Hall, 1973.
[3] R. Adams, Sobolev Spaces. Academic Press, New York, 1975.
[4] Ham Brzis, Anlisis Funcional. Alianza, Espaa, 1984.
[5] S. C. Brenner and L.R. Scott, The Mathematical Theory of
Finite Element Methods. Springer-Verlag, New York, 1994.
[6] Pavel oln, Partial Dierential Equations and the Finite El-
ement Method. John Wiley & Sons, Ltd 2006.
[7] B Dayanad Reddy, Functional Analysis and Boundary value
Problems: an Introductory Treatment. John Wiley & Sons,
Inc., New York, 1986.
[8] P.G. Ciarlet, The nite element method for elliptic problems.
North-Holland, 1978.
[9] J.T. Oden and J.N. Reddy, An introduction to the Mathemat-
ical Theory of Finite Elements. John Wiley & Sons, Inc., New
York, 1976.
[10] Claes Johnson, Numerical Solution of partial dierential equa-
tions by the nite element method. Cambridge University
Press. 1990.
123
124 Bibliografa
[11] E.B. Becker, G.F. Carey and J.T. Oden, Finite Elements -
An Introduction. Prentice-Hall, vol. I, 1983.
[12] J.T. Oden and G.F. Carey, Finite Elements - Mathematical
Aspects. Prentice-Hall, vol. IV, 1983.
[13] O.C. Zienkiewicz, The nite Element Method. McGraw-Hill,
England, 1982.
[14] P.E. Lewis and J.P.Ward, The nite Element Method. Addi-
son Wesley, 1991.
[15] Miguel Cerrolaza, El mtodo de los elementos nitos para in-
geniera y ciencias aplicadas: teora y programacin. CDCH,
Universidad Central de Venezuela, 2007.
[16] Batrice Rivire, Discontinuous Galerkin Methods for Solving
Elliptic and Parabolic Equation. SIAM, 2008.
[17] B.Q. Li, Discontinuous Finite Elements in Fluid Dynamics
and Heat Transfer. Springer-Verlag, 2006.
[18] Jean Donea and Antonio Huerta, Finite element Methods for
ow Problems. John Wiley & Sons Ltd., 2003.
[19] Vidal Thome, Galerkin Finite Element Methods for
Parabolic Problems. Lecture Notes in Mathematics 1054.
Springer-Verlag, 1984.
[20] Mark Ainsworth and J.T. Oden, A Posteriori Error Estima-
tion In Finite Element Analysis. John Wiley & Sons, Inc.,
New York, 2000.
[21] W. Bangerth and R. Rannacher, Adaptive Finite Element
Methods for Dierential Equations. Lecture in Mathematics.
Birkhuser Verlag, 2003.
[22] J. Ca, Approximation variationelle des problmes aux limites.
Ann. Inst. Fourier (Grenoble) 14, 345-444, 1964.
[23] G. Birkho, M.H. Schultz, R.S. Varga, Piecewise Hermite in-
terpolation in one and two variables with application to partial
dierential equations. Numer Math. 11, 232-256, 1968.
Bibliografa 125
[24] Biswa Nath Datta, Numerical Linear Algebra and Applica-
tions. Brooks/Cole Publishing Company, Pacic Grove, Cal-
ifornia, 1995.
[25] M.R. Hestenes and E.L. Stiefel, Methods of conjugate gra-
dients for solving linear systems. J. Res. Natl. Bur. Stand.,
Section B, 49: 409-436, 1952.
[26] J.K. Reid, On the method of conjugate gradients for the solu-
tion of large sparse systems of linear equations. Large Sparse
Sets of Linear Equations, Academic Press, 1971.
[27] Eugene Isaacson and Herbert Bishop Keller, Analysis of Nu-
merical Methods. Dover Publications, INC., New York, 1966.
[28] Brgida Molina y Marcos Raydn, Mtodos Iterativos tipo
Krylov para Sistemas Lineales. Escuela Venezolana de
Matemticas, 2004.
[29] I.C. Taig and R.I. Kerr, Some problems in the discrete ele-
ment representation of aircraft structures. Matrix Methods of
Structureal Analysis, (Ed. B.M. Fraeijs of Veubeke), Perga-
mon Press, 1964.
[30] B.M. Irons, Numerical integration applied to nite element
method. Conf. Use of Digital Computer in Struct. Eng., Univ.
Newcastle, 1966.
[31] F.B. Hildebrand, Introduction to Numerical Analysis. Dover
Publications, INC. New York, 1987.
[32] H.G. Heuser, Functional Analysis. John Wiley & Sons, 1982.
[33] Earl W. Swokowski, Clculo con Geometra Analtica. Grupo
Editorial Iberoamricano, Mxico, 1989.
[34] J.H. Argyris, I. Fried, and D.W. Scharpf, The TET 20 and the
TEA 8 elements for the matrix displacement method. Aero. J.,
72, 618-625, 1968.
126 Bibliografa
[35] P. Silvester, Higher order polynomial triangular nite ele-
ments for potential problems. Int. J. Eng. Sci., 7, 849-861,
1969.
[36] R.L.Taylor, On completeness of shape functions for nite el-
ement analysis. Int. J. Num. Meth. Eng., 4, 17-22, 1972.
[37] Mark Ainsworth, Essential boundary conditions and multi-
point constraints in nite element analysis. Comput. Methods
Appl. Mech. Engrg., 190, 6323-6339, 2001.

You might also like