MetodoElementosFinitos G. Calderon PDF

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

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

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 Cientficas, 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 finan-
ciero de: Academia de Ciencias Fsicas, Matemticas y Naturales de
Venezuela, Banco Central de Venezuela, Instituto Venezolano de Inves-
tigaciones Cientficas (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 Classification: 65N30.
c
Ediciones IVIC
Instituto Venezolano de Investigaciones Cientficas
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 fluidos, 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 definir 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 finitos (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 justificacin 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 perfil 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 final 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 especficos. Lneas de investi-
gacin, donde en el pasado otros mtodos numricos predominaban, hoy
son influenciadas muy satisfactoriamente por el MEF. Por ejemplo, en el
caso de la mecnica de los fluidos, 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, certificadas 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 final, 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 Lp () . . . . . . . . . . . . . . . . . . . . 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 Hm () . . . . . . . 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 finitos . . . . . . . . . . . . 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 filas 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 finito de elementos linealmente inde-
pendientes, se dice que es de dimensin infinita.
El espacio C[a, b] es el conjunto de todas las funciones reales conti-
nuas definidas en el intervalo [a, b]. Se denota por Cn [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 {un } n=1 E se dice acotada
en E, si existe un C > 0 tal que kun k < 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 N0 N tal que ku un k < para todo n > N0 . El
elemento u es el lmite de la sucesin {un }
n=1 . Usualmente, se escribir
de forma indistinta
lim un = u o ||u un || 0 , para n
n
La sucesin {un }n=1 E es una sucesin de Cauchy (o sucesin funda-
mental), si para todo > 0 existe un N0 N tal que
kun um k para todo n, m N0
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 finita es completo.
Una forma conocida de introducir una norma en un espacio lineal
consiste en definir en este el producto escalar o producto interior (, ).
Lema p
1.1. Sea E un espacio con producto interno. Entonces la funcin
kuk = (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, enp 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 k k satisface la regla del paralelogramo
ku + vk2 + ku vk2 = 2kuk2 + 2kvk2 u, v V (1.1)
entonces sta induce un producto interno en V. Este producto interno
es definido por la relacin
1
(u, v) = ku + vk2 ku vk2 (1.2)
4
Demostracin: Ejercicio. Se puede ver la pgina 392 de [6].
1.1.1 Espacios Lp ()
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 Rd , con d = 2 o 3, y p R con
p 1. Una funcin u definida en R se dice que pertenece a Lp () si u
es medible y la integral (Lebesgue) |u(x)|p dx < , esto es:
n Z o
L () = u : R medible : |u(x)|p dx <
p

y n o
L () = u : R : sup |u(x)| <
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:
Z 1/p
kukp = |u(x)|p dx , kuk = sup |u(x)|
x
Un caso especial de estos espacios, lo representa el espacio

n Z o
2
L () = u : R tal que u2 d <

dotado del producto escalar y norma
Z hZ i1/2
1/2
(u, v)L2 () = uvd, kvkL2 () = (v(x))2 d = (v, v)L2 ()

Observacin: Al menos en los aspectos ms prcticos, para tener una

idea de L2 (), es suficiente usar la integral de Riemann; desde este punto
de vista se puede pensar en una funcin v L2 ()R como una funcin
continua a trozos, posiblemente no acotada, tal que v 2 d < .
1.1.2 Complementos ortogonales en espacios de Hilbert

Sea U un espacio con producto interno y V un subespacio de U; se define
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}.
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 = V V .
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 definicin 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 u1 6= u2 de E son aplicados en dos elementos distintos de F.
Esto es, A es 1 1 si u1 6= u2 implica Au1 6= Au2 .
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-
d
sis es el operador de diferenciacin (Dy(x) = y(x) = y 0 (x)), que
dx
puede ser considerado en diferentes espacios. Este operador no est
definido sobre todo el espacio de las funciones continuas C[a, b], sino en
el espacio ms reducido C1 [a, b] de las funciones que tienen primera deri-
vada continua y su campo de valores es C[a, b]

dn
: Cn [a, b] C[a, b]
dxn
No resulta muy conveniente considerar el operador que acta de C1 [a, b]
en C[a, b], ya que no se puede aplicar dos veces a cualquier funcin
de C1 [a, b]. Si se considera el operador de diferenciacin en el espacio
an ms reducido C2 [a, b], se puede considerar la ecuacin diferencial
y 00 (x) + y(x) = f (x), o en forma de operadores Ly(x) = y 00 (x) + y(x) =
f (x), donde L es un operador de C2 [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 definicin de norma se deduce que
||A|| = sup ||Ax||F
||x||E =1
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
||Ax||F
||A|| = sup
x6=0 ||x||E
En un espacio de dimensin finita, todo operador lineal es acotado.
Para resolver las ecuaciones del tipo Ax = y, se introduce el concepto
de operador inverso A1 . 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 define el operador A1 inverso de A con dominio
de definicin F y campo de valores E.
El operador inverso A1 existe si, y solo si, la ecuacin homognea
Ax = 0 posee solo la solucin trivial. El operador inverso A1 existe y
es acotado si, y solo si, existe una constante > 0 tal que
||Ax||F ||x||E
para todos los x E.
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 definicin general de norma de un operador, se
tiene que
p
||A|| = sup ||Ax|| = sup (Ax, Ax)/(x, x) , xH
||x||=1 x6=0
Por consiguiente, se cumple la desigualdad (Ax, Ax) ||A||2 (x, x) para

cualquier x H. Utilizando la desigualdad de Cauchy, se obtiene
p p
(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 =
(aij ), 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
m X
X n X n Xm
(Ax, y) = aij xj yi = xj aji yi = (x, A y)
i=1 j=1 j=1 i=1
De aqu se deduce que el operador conjugado de la matriz A es la matriz

transpuesta A0 = (aji ).
Si el operador A es una matriz cuadrada de orden n, A = (aij ), i, j =
1, 2, . . . , n y los vectores x e y son de dimensiones n, entonces, para el
producto escalar se obtiene
Xn X n n
X Xn
(Ax, y) = aij xj yi = xj aji yi = (x, A0 y)
i=1 j=1 j=1 i=1
De aqu se deduce que para que el operador A sea autoconjugado, la

matriz cuadrada A tiene que ser simtrica (A = A0 ).
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
R1 1.3. Sea el espacio F = C [0, 1] con producto escalar (f, g) =
0 f (t)g(t)dt y considere el operador Ly = y 00 , definido en el conjunto

E = y C2 [0, 1]; y(0) = y(1) = 0 ; E es un subespacio lineal de F y
Ly F para todo y E ( es decir, y 00 (t) es una funcin continua). Para
todo y, z E, se tiene que
Z 1 Z 1
(Ly, z) = Ly(t) z(t) dt = y 00 (t) z(t) dt
0 0
Integrando esta expresin por partes y teniendo en cuenta que y(0) =

y(1) = z(0) = z(1) = 0, se obtiene
Z 1 1 Z 1

(Ly, z) = y 00 (t) z(t) dt = z(t) y 0 (t) + y 0 (t) z 0 (t) dt
0 0 0
es decir, Z 1
(Ly, z) = y 0 (t) z 0 (t) dt (1.3)
0
R1
Anlogamente, se obtiene que (Lz, y) = 0 y 0 (t) z 0 (t) dt. Luego, se puede
concluir que (Ly, z) = (Lz, y) = (y, Lz), Por tanto, el operador L es
simtrico. R1 2
Por otro lado, de (1.3) se obtiene que (Ly, y) = 0 y 0 (t) dt > 0. Si
R1 2
se tuviera que (Ly, y) = 0 y 0 (t) dt = 0, esto implicara que y 0 (t) 0,
ya que y 0 (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 afirmar que L es un operador positivo.
Ahora, se puede utilizar el operador L para definir 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 definido positivo de
un espacio lineal E en un espacio lineal F que tiene producto escalar
(, ), da lugar a un segundo producto escalar energtico (, )A definido
por (y, z)A = (Ay, z), para cada y, z E, siempre que E F.
Se puede ahora introducir el espacio energtico HA que se compone
de los elementos y, z, . . . H con producto escalar (y, z)A = (Ay, z) y
norma energtica p
||y||A = (Ay, y)
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 E0 .
Ejemplo 1.4. Algunos ejemplos de funcionales:
Sea E = Rn . El operador F : E R definido como el promedio
n
1X
de las componentes del vector f (v) = vi , para todo v E,
n
i=1
es un funcional lineal sobre E, es decir, f E0 .
Rb
El operador integral A : C[a, b] R, definido por A(f ) = 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 H0 . Entonces
existe un nico elemento u H tal que
F (v) = (u, v) v H
Adems, ||F ||H0 = ||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 definir u = 0. Si
N (F ) 6= H, entonces existe un elemento v0 H tal que F (v0 ) 6= 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 v0 H puede
descomponerse en la suma v0 = v1 + v2 , (v1 , v2 ) = 0, donde v1 N (F )

y v2 N (F ) . En particular, si F (v2 ) 6= 0, para z = vF (v2 ) F (v)v2
se cumple lo siguiente:
F (z) = F (v)F (v2 ) F (v)F (v2 ) = 0 v H
as, z N (F ) para todo v H. Ahora, ya que v2 N (F ) , se tiene
(v2 , z) = (v2 , vF (v2 ) F (v)v2 ) = F (v2 )(v2 , v) F (v)(v2 , v2 ) = 0
lo que implica que
F (v) = F (v2 )(v2 , v)/kv2 k2 v H
Finalmente, se tiene
f (v2 )
u= v2 (1.4)
kv2 k2
Queda por demostrar que kF kH0 = kukH . De la desigualdad de
Cauchy-Schwarz (|(u, v)|2 kuk2 kvk2 ), se tiene
|f (v)| (u, v) kukkvk
kF k = sup = sup sup = kuk
v6=0 kvk v6=0 kvk v6=0 kvk
Adems,
kF (u)k2 = |(u, u)| = kuk2 kF kkuk
as, kF k kuk. Por lo tanto, ||F ||H0 = ||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 Rn (f : Rn R), entonces f (x)
es un nmero real y, de acuerdo al Teorema de Representacin de Riesz,
se puede encontrar un nico punto y Rn tal que f (x) = x y.
Por ejemplo, si f es definida por f (x) = x1 + x2 + . . . + xn para
x = (x1 , . . . , xn ) Rn , entonces se puede encontrar y = (y1 , . . . , yn ) tal
que x y = x1 + x2 + + xn . Basta tomar y = (1, 1, . . . , 1).
Ejemplo 1.6. Sea f un funcional lineal de L2 (0, 1) definido por f :
R 1/2
L2 R tal que v f (v) = 0 v(x) dx. De acuerdo al teorema, existe
un nico u L2 () con la propiedad que
Z 1/2 Z 1
f (v) = (u, v) o v(x) dx = u(x)v(x) dx
0 0
Claramente, u(x) es la funcin

1, 0 < x 1/2
u(x) =
0, 1/2 < x < 1
1.3 Distribuciones y Espacios de Sobolev Hm ()

Notacin multi-ndice: Sea Zn+ el conjunto de todas las n-uplas de enteros
no negativos: un miembro de Zn+ 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
|| u
D u =
x1 1 x2 2 . . . xn n
As, si || = m, entonces D u denota una de las derivada parciales de
orden m de u.
Definicin 1.1. Sea Rd un subconjunto abierto y acotado. El espa-
cio de distribuciones (funciones infinitamente diferenciables que, junto
con todas sus derivadas, tienen soporte compacto) es definido por

C
0 () = C () : sop () ; sop() es compacto

donde sop () := x : (x) 6= 0 .
Definicin 1.2. Una distribucin en un dominio Rn , tambin lla-
mada funcin generalizada, ser un funcional lineal continuo que acta
sobre C
0 (). Esto es, : C0 () R.
Ejemplo 1.7. El funcional delta de Dirac, dado por
Z
: C
0 (, ) R, (u) = (x a)u(x)dx = u(a)

con < x < , define una distribucin. La continuidad de se sigue de

|(u)| = |u(a)| sup u(x) = kuk
R
Si f es una funcin localmente integrable en ( K |f |dx < , para
cada subconjunto K cerrado de ) entonces se puede definir una dis-
tribucin asociada con f por
Z
F : C
0 R, F () = f dx, 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), definida en [1, 1] por

0, 1 x < 0
H(x) =
1 0x1
es localmente integrable y genera la distribucin H que satisface
Z 1 Z 1
H() = H(x) (x) dx o H() = (x) dx
1 0
Teorema 1.5. Sea Rd abierto, u Cm () y un multi-ndice tal

que || m. Entonces
Z Z
D u(x)(x)dx = (1)|| u(x)D (x)dx, C
0 () (1.5)

Ya que u R Cm ()
esta genera una distribucin, denotada por u, tal
que u() = u dx, o ya que D tambin pertenece a C 0 (),
Z
u(D ) = u D dx

Adems, D u es continua as que puede generar una distribucin regular
(denotada por D u) que satisface
Z
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 definir la derivada de cualquier dis-
tribucin f , como sigue: la derivada parcial generalizada (o la -sima
derivada de distribucin) de una distribucin f es definida 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-
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
d Z 1
d
H0 () = (1)1 H = H(x) dx (H es loc. integrable)
dx 1 dx
Z 1 1
d
= dx = (x) = (0) = (), C 0 ()
0 dx 0
as, H0 = , esto es, la derivada H 0 de la funcin H es el delta de Dirac.

Una funcin u localmente integrable genera una distribucin, tambin
denotada por u, que satisface
Z
u() = u dx C o ()

Adems, la distribucin u tiene derivada de distribucin de todo orden,

en particular, la derivada D u es definida 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
Z
D u() = D 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
Z Z
m
D u(x) (x) dx = (1) 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 suficiente-
mente suave para pertenecer a Cm (), 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 u0 no existe en el origen. Sin embargo, la derivada dbil
existe:
Z Z
m 0
D u(x) = (1) u(x)D (x) dx = |x| (x) dx

Z 0 Z 1 Z 0 Z 1
0 0
= x (x)dx + x (x)dx = (x)dx+ (x)dx
1 0 1 0
Z 1
= H(x) (x) dx
1
donde
1 si 1 x < 0
H(x) =
1 si 0x<1
Por tanto, D u = D0 u = u0 = H(x). Ntese adems que u0 L2 (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 definidos como sigue:
Definicin 1.3. (Espacio de Sobolev) Sea Rd un conjunto
abierto, k 1 un entero positivo y p [1, +). Se define

Wk,p () = f Lp () : D f existe y pertenece a Lp () , || k
Para 1 p < la norma k kk,p es definida como
Z X 1/p X 1/p
kf kk,p = |D f |p dx = kD f kpp
||k ||k
Para p = , se tiene
kf kk, = max kD f k
||k
En el caso especial p = 2 se abrevia Wk,p () = Hk ().

En el espacio Wk,p () se usa la siguiente seminorma estndar:
Z X 1/p X 1/p
|f |k,p = |D f |p dx = kD f kpp
||=k ||=k
para 1 p < , y
|f |k, = max kD f k
||=k
Teorema 1.6. Sea Rd abierto, k 1 un entero positivo y p [1, +].

Entonces el espacio de Sobolev Wk,p () es un espacio de Banach.
Teorema 1.7. Sea Rd abierto, k 1 un entero positivo. Entonces
el espacio de Sobolev Hk () = Wk,2 (), dotado del producto interno,
Z X X
(f, g)k,2 = D f D gdx = (D f, D g)L2 ()
||k ||k
es un espacio de Hilbert.
Un subespacio de Hk () de uso frecuente en el resto del texto es

H10 () = v H1 (); v = 0 sobre

donde, H1 (a, b) = u : u y u0 L2 (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
Z X 1/2
|u|k,2 = |D u|2 dx
||=k
es una norma en el espacio Hk0 () en todo dominio acotado Rd .

Esta norma, adems, es equivalente a la H k -norma
Z X 1/2
kukk,2 = |D u|2 dx
||k
La equivalencia de | |k,2 y k kk,2 en el espacio Hk0 () 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 Hk0 ())
Supongamos que el dominio acotado Rd est contenido en un cubo
d-dimensional con longitud en sus aristas C > 0. Entonces
kukL2 () C|u|1,2 u H10 ()
Teorema 1.9. (Desigualdad general de Poincar-Friedrichs en Hk0 ())
Sea Rd un dominio acotado. Entonces la seminorma | |k,2 es una
norma en el espacio H10 (), equivalente a la norma kkk,2 . Si est

contenido en un cubo d-dimensional con longitud en sus aristas C > 0.
Entonces
|u|k,2 kukk,2 (1 + C)k |u|k,2 u H10 ()
Ejemplo 1.11. Considere la funcin u(x) definida sobre = (0, 2) por
2
x , 0<x1
u(x) = 2
2x 2x + 1, 1 < x < 2
Se tiene entonces que

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

00 2, 0 < x 1
w(x) = u (x) =
4, 1 < x < 2
Por inspeccin se ve que u, u0 y u00 perteneces a L2 (0, 2); sin embargo,
la derivada (generalizada) de u00 es u000 = 2 L2 (0, 2). De esto se tiene
que u es un miembro de H2 (0, 2), la funcin v pertenece a H1 (0, 2) y w
pertenece a L2 (0, 2) = H0 (0, 2). Las respectivas normas son:
Z X Z X 2
||u||2H 2 = (u, u)H 2 = (D u)2 dx = (D u)2 dx
||2 =0
Z
2
= u + (u0 )2 + (u00 )2 dx = 71.37
Z X Z
2
||v||2H 1 = (D v)2 dx = v + (v 0 )2 dx = 39,
||1
Z Z 1 Z 2 1 2

||w||2L2 = w2 dx = 4 dx + 16 dx = 4x + 16x = 20
0 1 0 1
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.
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, vV
B(u, v + w) = B(u, v) + B(u, w), u U, v, w V
Ejemplo 1.12. Sea U = V = C1 [a, b], entonces el operador definido por
Z b
B : C1 [a, b] Cn [a, b] R con B(u, v) = (uv + u0 v 0 ) dx
a
es una forma bilineal.
Ejemplo 1.13. Sean U = V = R3 ; el operador B(x, y) = x y, es una
forma bilineal. Un ejemplo de una forma no lineal es:
B : R3 R3 R, B(x, y) = |x| + |y|
aqu B(x + z, y) = |x + z| + |y| 6= 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 definicin 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 H1 (a, b) es un espacio normado
completo con la norma definida por
Z b
||u||21 = [u2 + (u0 )2 ] dx
a
A partir de este espacio, se define la forma bilineal
Z b
B : H1 (a, b) H1 (a, b) R tal que B(u, v) = [u0 v 0 + cuv] dx
a
donde c(x) es una funcin positiva acotada con c1 c(x) c2 > 0 para
x (a, b). Para mostrar que B es continua considere
Z b Z b
0 0
|B(u, v)| = [u v + cuv] dx [u0 v 0 + c1 uv]dx
a a

= (u0 , v 0 ) + c1 (u, v) (u0 , v 0 )| + c1 |(u, v)
||u0 ||||v 0 || + c1 ||u||||v|| (Se usa desigualdad de Schwarz)

Por lo tanto,
h i2
|B(u, v)|2 ||u0 || ||v 0 || + c1 ||u|| ||v|| (1.11)
Utilizando la desigualdad de Schwarz para Rn :
X 2 X X
ai bi ai 2 bi 2 para a, b Rn
Asumiendo que n = 2, a = (c1 ||u||, ||u0 ||) y b = (||v||, ||v 0 ||), de (1.11) se
tiene que
h ih i
|B(u, v)|2 c21 ||u||2 + ||u0 ||2 ||v||2 + ||v 0 ||2
h i
= c21 ||u||2 + ||u0 ||2 ||v||21
h i
k 2 ||u||2 + ||u0 ||2 ||v||21 = k 2 ||u||21 ||v||21
con k = max(1, c1 ). 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 H es un espacio producto
interno, se dice que B es H-elptica, si existe una constante > 0 tal que
B(v, v) ||v||2H v H. (1.12)
As una forma H-elptica es acotada inferiormente.
Ejemplo 1.15. Del ejemplo previo
Z b Z
b 0 2
0 2 2
|B(v, v)| = (v ) + cv dx (v ) + c2 v 2 dx
a a
Z b

(v 0 )2 + v 2 dx = ||v||21
a
con = min(1, c2 ), y as B es H 1 -elptica.
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 definir una forma bilineal B continua, H-elptica
en H de acuerdo a la regla
B : H H 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 1
||u||1 ||F ||H0 (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 define el producto interno
(u, v)e = B(u, v) en H, llamado producto interno energtico.
p La norma
inducida por el producto interno energtico, kuke = (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 : H H R una forma bilineal, H-elptica, continua
definida en H. Entonces, dado cualquier funcional lineal F definido en
H, existe un nico elemento u H tal que
B(u, v) = F (v) v H (1.15)

adems,
||u||1 1 ||F ||H0 (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 u H existe un nico elemento w H tal que
B(u, v) = (w, v) v H (1.17)
Demostracin: Dado cualquier u H, B(u, ) es un funcional lineal
acotado definido en H ya que
B(u, ) : H R, B(u, v) K 0 ||v||
donde K 0 = 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 w1 , w2 H, del lema anterior se tiene asociado
elementos u1 , u2 en H definidos por
B(u1 , v) = (w1 , v), B(u2 , v) = (w2 , v) v H
Ya que B es bilineal,
B(u1 + u2 , v) = B(u1 , v) + B(u2 , v) = (w1 + w2 , v) (1.19)
Adems, de la definicin de A se tiene
Au1 = w1 , Au2 = w2 , as Au1 + Au2 = w1 + w2 (1.20)
A partir de (1.17) - (1.19), se ve que A mapea u1 + u2 en w1 + w2 :
A(u1 + u2 ) = w1 + w2 (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 A1 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-
trar que A es 1 1. Sea z tal que Az = 0. Entonces, ya que A por

definicin 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
A1 : R(A) H existe. Adems, A1 es lineal ya que A es lineal
(ejercicio), y A1 es acotado pues
||u||2 B(u, u) = (w, u) ||w||||u||, (usando la des. de Schawarz)
de donde ||u|| = ||A1 w|| 1 ||w||.
Lema 1.6. R(A) es un espacio completo.
Demostracin: Sea {wk } una sucesin de Cauchy en R(A). Ya que el
R(A) es un subconjunto de H, {wk } tambin es una sucesin de Cauchy
en H, y as esta es convergente en H:
lim ||wk w|| = 0 en H
k
Se tiene que demostrar que w est en el R(A). Para hacer esto, se define
uk tal que Auk = wk . Entonces
||uk u` || = ||A1 wk A1 w` || = ||A1 (wk w` )|| ||A1 ||||wk w` ||
de modo que
lim ||uk u` || ||A1 || lim ||wk w` || = 0
k,` k,`
(pues {wk } es una sucesin de Cauchy en H). De esto, {uk } es una

sucesin de Cauchy en H, con lmite u H. Adems, ya que Auk = wk
se tiene

lim Auk = lim wk = w o w = A lim uk = Au
k k k
(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
tanto existe un elemento u0 6= 0 en R(A) tal que

(u0 , t) = 0 t R(A)
Adems, de los lemas anteriores se tiene:
Au0 = w0 w0 R(A)
B(u0 , v) = (w0 , v) v H
En particular, si se define v = u0 , entonces
||u0 ||2 B(u0 , u0 ) = (w0 , u0 ) = 0, pues w0 R(A) y u0 R(A)
Por lo tanto, u0 = 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 definido a partir de (1.17). Sin embargo, este lema no
prueba el inverso: de hecho, se define 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 R2 un domi-
nio acotado con frontera continua 1

1 2 Lipschitz 2. Todo campo vectorial suave
A = (A1 , A2 ) C () C() satisface
Z Z
divAd = A nds

A1 A2
donde divA = x1 + x2 , y n = (n1 , n2 ) la norma exterior unitaria a
.
Aqu d denota el elemento de rea en R2 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
Z Z Z
v w
wd + v d = vwni ds, i = 1, 2 (1.24)
xi xi
v
Denotando por v el gradiente de v, es decir, v := ( x , v ), se
1 x2
obtiene de (1.24) la siguiente frmula de Green:
Z Z h
v w v w i
v wd + d
x1 x1 x2 x2
Z h Z h 2
w w i w 2w i
= v n1 + v n2 ds v + d
x1 x2 x21 x22
Z Z
w
= v ds vwd
n
As, Z Z Z
w
v wd = v ds vwd (1.25)
n
y w w w
n = x1 n1 + x2 n2 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 suficientemente regular en el sentido que esta puede ser
considerada como si fuera la grfica de una funcin
R continua
R R de Lipschitz.
2
De aqu en adelante, se utiliza la notacin d =
dxdy.
R1
(i) T : L2 (1, 1) L2 (1, 1), T (u) = 1 K(x, y)u(y) dy;
(ii) T : C1 [a, b] C1 [a, b], T (u) = x2 u/x + 2u;
(iii) M : R2 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 C1 [a, b]
con la norma ||u||v = ||u|| + ||u0 || , y W es el espacio C1 [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 definida por

2 2 u(x), si |x| < 1,
T : L (R) L (R), T (u) =
0 en los otros casos
Muestre que T es una proyeccin ortogonal. Cul es el rango y

espacio nulo de T ?
1.8 Sea A una matriz nn simtrica y definida positiva, es decir xTAx > 0
para todo vector x 6= 0. Entonces, el espacio PRn es un espacio de
Hilbert dotado del producto interno (x, y) = ni,j=1 Aij xi yj . Dada
una funcin F : Rn R, encuentre el elemento x tal que F (y) =
(x, y) donde F es definida por: (i) F (y) = y1 + y2 + . . . + yn ; (ii)
F (y) = y1 .
1.9 Para cada F L2 (0, 1) sea u(x) la solucin de u00 + u0 2u = F con

u(0) = u(1) = 0. Definir el funcional ` por ` : L2 (0, 1) R, tal que
R1
`(F ) = 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 u002u0+u = F .
1.11 Si U es un espacio normado (no necesariamente completo), pruebe

que U0 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 limn B(un , un ) = B(u, v) si un
u y vn v.
1.13 Sea F : H10 (0, 1) R y B : H10 (0, 1) H10 (0, 1) R definidos por
Z 1 Z 1
F (v) = (1 4x)v dx, B(u, v) = (x + 1)u0 v 0 dx,
0 0

donde H10 (0, 1) = v L2 (0, 1) : v 0 L2 (0, 1), v(0) = v(1) = 0
es un espacio de Hilbert con el producto interno
Z 1
(u, v)H01 = (uv + u0 v 0 ) dx = (u, v) + (u0 , v 0 ).
0
Mostrar que F es continuo, que B es continuo y H10 -elptica y veri-

fique que el nico elemento u que satisface B(u, v) = F (v) es u(x) =
x2 x. Sugerencia: puede ser necesario usar integracin por
partes. Se puede asumir que existe una constante C > 0 tal que
||v|| C||v 0 ||.
1.14 Sea B : U U R una forma bilineal continua, U -elptica, y

definida por la forma bilineal B : U U R tal que B(u, v) =
B(u, v)+(u, cv). Si U = H10 (0, 1) y c(x) satisface 0 < c1 c(x) c2 ,
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
finito de subdominios simples, los elementos finitos, y usando conceptos
variacionales se construye una aproximacin de la solucin sobre la co-
leccin de elementos finitos.
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
definir 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 fin, 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
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 dificultad 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:
u00 (x) + u = f (x), para 0 < x < 1,

(C)
u(0) = u(1) = 0
donde f es una funcin conocida y suficientemente 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 coeficientes 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 coeficientes, y las condiciones de frontera.
Como ejemplo a este tipo de dificultad, se considera en lugar de f (x)
(suave) en (C), el problema
u00 (x) + u = (x 1/2), 0 < x < 1, u(0) = u(1) = 0 (2.1)
donde (x 1/2) es el delta de Dirac2 (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
u0 en x = 1/2; su segunda derivada u00 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 dificultad proviene de requerir que la solucin u de (2.1) satisfaga
la forma fuerte del problema. Para superar esta dificultad, 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
definido por (x 1/2)(x) = (1/2), para cualquier
R1 funcin C
0 . La operacin
(x 1/2)(x) es algunas veces escrita como 0 (x 1/2)(x)dx = (1/2).
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
Z 1 Z 1
00
(u + u)vdx = f (x)vdx (2.2)
0 0
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 sentido3 . Se denota el conjunto de tales
funciones, que son cero en x = 0 y x = 1, con la letra Vv .
En esta etapa, hay dos puntos que deben ser bien apreciados:
La formulacin dbil (2.2) es tan vlida y significativa 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 especificacin del conjunto Vv 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 Vu
para las cuales la solucin pertenece (ver Ejercicio 2.3). El conjunto
Vu , 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, Vv y
Vu . Por ejemplo, u puede ser seleccionada de una clase de funciones Vu
la cual tiene la propiedad que su segunda derivada, cuando se multiplica
por una funcin de peso v, produce una funcin u00 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 suficientemente suaves para servir como
3
funciones deR peso. Por ejemplo,R 1para f (x) = x, u(x) = x sinh(x), y v(x) = x ,
1 00
entonces ni 0 (u + u)vdx o 0 xvdx tiene valores finitos y (2.2) no tiene sentido.
Hay, sin embargo, una multitud de funciones las cuales son perfectamente aceptables
como funciones de peso. La especificacin exacta de tales funciones es central en la
teora del MEF y ser discutida en detalle posteriormente.
a pesar de que (2.2) es una forma dbil perfectamente valida de (C), el

hecho que Vv y Vu no sean los mismos conduce a una falta de simetra en
la formulacin que normalmente se prefiere 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 suficientemente 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
Z Z Z
1 1 1 1
u00 vdx = u0 v 0 dx u0 v 0 = u0 v 0 dx
0 0 0
Por tanto, (2.2) puede ser reemplazado por el siguiente problema varia-
cional: encontrar u V tal que
Z 1 Z 1
0 0
(u v + uv)dx = f (x)vdx, v V (2.3)
0 0
donde,
n
V = v : v C[0, 1], v 0 es continua y acotada a trozos en [0, 1], y
o
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 Vv = Vu = 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 suficientemente 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 0 )2 sea lo suficientemente suave para que su
integral pueda ser calculado. Por lo tanto, se debe definir el conjunto de

funciones admisibles V = H10 (0, 1).Aqu, H10 () es el espacio de Sobolev

definido anteriormente:
H10 ()
= v H1 () : v(0) = v(1) = 0 , con
H1 () = v : v, v 0 L2 () . As, el PVF (C) puede tener la siguiente
formulacin variacional: encontrar u H10 () tal que
Z 1 Z 1
0 0
(u v + uv)dx = f (x)vdx, v H10 () (2.4)
0 0
Si se compara el problema de valor de frontera variacional (PVFV)

(2.4) con la formulacin variacional (2.3) se nota que el espacio H10 ()
es ms grande que el espacio V usado en la formulacin (2.3). El espa-
cio H10 () 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 finitos, 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 H10 () tal que
(u0 , v 0 ) + (u, v) = (f, v) v H10 () (V)

R1
donde, (v, w) = 0 v(x)w(x)dx.
Que la solucin de (C) sea solucin de (V) qued justificado 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 u1 y u2 son soluciones de (V), es decir,
u1 , u2 H10 () y
(u01 , v 0 ) + (u1 , v) = (f, v), (u02 , v 0 ) + (u2 , v) = (f, v) v H10 ()
Restando las ecuaciones y seleccionando v = u1 u2 H10 (), se tiene

Z 1 Z 1
(u01 u02 )2 dx + (u1 u2 )2 dx = 0
0 0
lo cual muestra que u01 u02 = 0 y u1 u2 = 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 H10 () tal que
Z 1 Z 1 Z 1
0 0
u v dx + uvdx f vdx = 0 v H10 ()
0 0 0
Si se supone adems, que u00 existe y es continua, entonces se puede
integrar por partes y usando el hecho que v(0) = v(1) = 0,
Z 1 Z 1 Z 1 Z 1
u00 vdx+ uvdx f vdx = (u00 u+f )vdx = 0, v H10 ()
0 0 0 0
Pero con la suposicin que (u00 u + f ) es continua, la cual se cumple
solo si (ejercicio)
(u00 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 (u00 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 suficientemente
regular para que u00 quede definida en un sentido clsico.
2.1.3 Condicin de frontera no homognea

Se considera = (a, b) R y una funcin de carga f L2 (). Se va a
resolver la ecuacin de Poisson
u00 (x) = f (x) en (2.5)
provista de condiciones de contorno Dirichlet no homogneas
u(a) = ga , u(b) = gb (2.6)
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 H1 (a, b), llamada el levantamiento Dirichlet, es una funcin
conocida que satisface las condiciones de contorno
u (a) = ga , u (b) = gb (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 = H10 (a, b).
Por lo tanto, la tarea consiste en encontrar u V satisfaciendo la
formulacin variacional
Z 1 Z 1
0 0
u (x)v (x)dx = [f (x)v(x) (u )0 (x)v 0 (x)]dx, v V
0 0
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).
ga gb
x= a x xM b
x
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 R2 abierto y acotado con
frontera Lipschitz. La frontera se divide en dos partes d y n , tal
que = d n , donde se aplicarn distintos tipos de condiciones de

contorno. El problema modelo en su forma fuerte se define por
(a1 u) + a0 u = f en , (2.10)

u = g1 (x) sobre d
u Dirichlet y Neumann (2.11)
c1 u + c2 = g2 (x) sobre n
n
De forma indistinta, se usar o para definir el contorno del pro-
blema. Adems, para asegurar la existencia y la unicidad de la solucin
se aaden las condiciones
a1 Cmin > 0 y a0 0 en (2.12)
n
d
Figura 2.2: Dominio y sus fronteras para problemas 2D.
El problema (2.10) es bastante general; incluso con a0 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, deflexin transversal de un cable, deformacin axial de una
barra, flujo laminar, flujo en tuberas y flujos 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)
La solucin clsica del problema (2.10), (2.13) es una funcin u

C2 () 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 infinitamente suaves que se anulan en la frontera de )
(a1 u)v + a0 uv = f v
2. Integrar sobre
Z Z Z
(a1 u)vd + a0 uvd = f vd (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
Z Z Z
(a1 u)vd = [a1 u]vd a1 uvd

Z Z Z
u
= [a1 u]vd + u (a1 v)d + a1 v ds
n
Z Z
= [a1 u]vd + u [a1 v + a1 v]d

Agrupando con el resto de la ecuacin (2.14) resulta
Z Z Z
a1 u vd + a0 uvd = f vd (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 finitas.
Originalmente, (2.15) fue derivada bajo la suposicin de regulari-
dad de que u C2 () C() y v C 0 . Toda integral de (2.15)
permanece finita cuando estas hiptesis se debilitan a

u, v H10 (), f L2 () (2.16)
Similarmente, las hiptesis de regularidad para los coeficientes a1
y a0 se pueden reducir a a1 , a0 L ().
La formulacin variacional para el problema (2.10), (2.13) se define como
sigue: Dado f L2 (), encontrar una funcin u H10 () tal que
B(u, v) = l(v), v H10 () (2.17)
donde
Z Z

B(u, v) = a1 uv+a0 uv d l(v) = f vd v H10 ()

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 suficientemente regular para que (a1 u) quede definido en
un sentido clsico, que en este caso significa que u C2 () 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 suficientemente 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 a1 Cmin > 0 y a0 0 en (condicin
(2.12)). Entonces la forma variacional (2.17) tiene una nica solucin

u H10 ().
Demostracin: Si se puede mostrar que l es continuo y que B es
continua y H10 ()-elptica, entonces se consigue garantizar la existencia
de una nica solucin de (2.17).
Primero, si f L2 () entonces l es continuo ya que
Z

|l(v)| = f vd kf kL2 kvkL2 (desigualdad de Schwarz)

kf kL2 kvkH 2 (pues kvkL2 kvkH k )
Fijando kf kL2 = K, entonces |l(v)| KkvkH 2 y as l es acotado y, por
lo tanto, continuo.
Ahora, ya que a1 , a0 L (), entonces existe un Cmax < tal que
|a1 (x)| Cmax y |a0 (x)| Cmax en . Por lo tanto,
Z h i Z h i
|B(u, v)| a1 |u v| + a0 |uv| d Cmax |u v| + |uv| d

(2.18)
Ya que u, v [L2 ()]2 , entonces usando la desigualdad de Hlder
(ver A.50 de [6]) se tiene
Z Z 1/2 Z 1/2
2 2
u v d u d v d = |u|1,2 |v|1,2

(2.19)
Anlogamente, para el producto |uv| se obtiene
Z Z 1/2 Z 1/2
2
|uv|d u d v 2 d = kukL2 kvkL2 (2.20)

La norma k k1,2 se obtiene sumando un trmino no negativo a la semi-
norma | |1,2 ,
|u|1,2 |v|1,2 kuk1,2 kvk1,2 (2.21)
Similarmente, para la norma L2 ,
kukL2 kvkL2 kuk1,2 kvk1,2 (2.22)
Finalmente, relacionando (2.18)-(2.22) se obtiene
|B(u, v)| 2Cmax kuk1,2 kvk1,2
lo que significa que la forma bilineal est acotada por la constate Ca =
2Cmax . A continuacin, se prueba la H10 ()-elpticidad de B(u, v). Usan-
do la desigualdad bsica de Poincar-Friedrichs (Teorema 1.8) en el es-

pacio H10 (), junto con la condicin (2.12) se obtiene que existe una
constante Cb > 0 tal que
Z Z
2 2
B(v, v) = 2
a1 v + a0 v d a1 v d

Z
2
Cmin v d = Cmin |v|21,2 Cmin C 2 kvk21,2 v H10 ()
b

As, la forma bilineal B(, ) es acotada y H10 ()-elptica, y usando el

Teorema de Lax-Milgram se tiene la existencia y unicidad de la solucin
para todo f L2 ().
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 C2 () 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 C20 tal que

a1 (U + G) + a0 (U + G) = f en ,
(U + G) = g sobre
o, equivalentemente,

a1 U + a0 U = f + (a1 G) a0 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 =
H10 () tal que
B(U, v) = l(v) v V (2.26)
con
Z

B(U, v) = a1 U v + a0 U v d,

Z

l(v) = f v a1 G v a0 Gv d

Esta formulacin dbil se puede definir con criterios ms dbiles en f , g
y G. En particular, se puede asumir que f L2 () y G H1 () con la
traza de g H1/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 justificar la independencia de la solucin u = U + G de la funcin
de levantamiento Dirichlet G, supongamos que U1 + G1 = u1 H1 () y
U2 +G2 = u2 H1 () son dos soluciones dbiles. Por (2.26) la diferencia
u1 u2 V = H10 (), lo cual satisface
B(u1 u2 , v) = 0 v V
Tomando u1 u2 por v y usando la propiedad V-elptica de la forma
bilineal B, se obtiene
0 = B(u1 u2 , u1 u2 ) Cku1 u2 k2V
Esto significa que ku1 u2 kV = 0, es decir que u1 = u2 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
=g sobre (2.27)
n
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 coeficiente a0
emin > 0 en
a0 (x) C (2.28)
La formulacin dbil del problema (2.10), (2.27) se deriva de la si-
guiente manera: suponga que u C2 () C1 (). Multiplique (2.10)
por una funcin test v C () C1 (), 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,
Z Z Z
u
a1 u v + a0 uv d a1 vds = f vd
n
Al sustituir la condicin de frontera (2.27) en la integral de frontera, se

obtiene la formulacin dbil siguiente: dada f L2 () y g L2 ()
encontrar u V = H1 () tal que
B(u, v) = l(v) v V (2.29)
donde
Z Z Z

B(u, v) = a1 u v + a0 uv d, l(v) = f vd + a1 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 V V 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
emin }kvk2
B(v, v) min{Cmin , C 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
u
c1 u + c2 =g sobre (2.30)
n
donde f C(), g C(), y c1 , c2 C() son tales que c1 c2 > 0 y

0 < |c2 | sobre . Las hiptesis (2.12) y (2.28) sobre los coeficientes
a0 , a1 se siguen cumpliendo.
Para una funcin suficientemente regular u C2 () C1 () la forma
dbil Z Z Z
u
a1 u v + a0 uv d a1 vds = f vd
n
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 L2 (), g L2 (), y a0 , a1 L (), encontrar
u V = H1 () tal que
B(u, v) = l(v) v V
donde
Z Z
a1 c1
B(u, v) = a1 u v + a0 uv d + uvds,
c2
Z Z
a1 g
l(v) = f vd + vds
c2
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 influyen 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 influyen 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 ,

A0 u = g0

A1 u = g1
.. sobre
.

Am1 u = gm1
con A un operador diferencial de orden 2m, entonces las condiciones de

frontera se dividen en dos subconjuntos (segn el orden de Ai ):
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 definido por
n o
V = v Hm () : 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
(a1 u) + a0 u = f en , (2.31)
u = gD sobre d , (2.32)
u
= gN sobre n (2.33)
n
La forma dbil es derivada como sigue: en primer lugar se extiende
la funcin gD C(d ) al resto de la frontera introduciendo una
funcin geD C() tal que geD gD sobre d . La no unicidad de esta
extensin no va a causar ningn problema. Despus se define la funcin
levantamiento Dirichlet G C2 () C1 () de geD (es decir, G geD
sobre ). La solucin u se busca en la forma u = U + G anlogo al
caso Dirichlet puro. Las ecuaciones

a1 (U + G) + a0 (U + G) = f en ,
(U + G) = gD sobre d ,
(U + G)
= gN sobre n
n
se convierten

a1 U + a0 U = f + (a1 G) a0 G en , (2.34)
U = 0 sobre d , (2.35)
(U + G)
= gN sobre n (2.36)
n
El espacio apropiado para la funcin U es

V = u H1 () : u = 0 sobre d
Aplicando el procedimiento estndar, que ya se ha aplicado varias veces,

se llega a la forma dbil
Z Z

a1 U v + a0 U v d = f v a1 G v a0 Gv d

Z
(U + G)
+ a1 ds, v V
N n
Usando la condicin de frontera Neumann (2.36) sobre n , se obtiene

finalmente el siguiente problema dbil: encontrar una funcin U en el
espacio V tal que
B(U, v) = l(v) v V (2.37)
donde
Z

B(U, v) = a1 U v + a0 U v d,

Z Z

l(v) = f v a1 G v a0 Gv d + a1 gN vds
N
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 final que satisface tanto la condicin de frontera
natural como la esencial es u = U + G.
Ejercicios
2.1 Considere el PVF, u00 (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 grfica de u y u0 como funcin de x.
Cmo es la grfica de u00 ? 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 grfica de u y u0
como funcin de x. Comente sobre u00 y el sentido de la declaracin
clsica del PVF.
2.3 (a) Considere el siguiente PVF, u00 (x) = x, 0 < x < 1, u(0) = 0,
u(1) = 0 y las siguientes representaciones variacionales:
R1
(b) Encontrar u Vu tal que u(0) = u(1) = 0 y 0 (u00 x)vdx =
0 para todo v Vv .
R1
(c) Encontrar u Vu tal que 0 (u0 v 0 xv)dx = 0 para todo v Vv .
R1
(d) Encontrar u Vu tal que 0 (uv 00 xv)dx = 0 para todo
v Vv 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.
f (x) g (x) h(x)
0 1/2 1
x 0 1/2 1
x 0 1/2 1
x
Figura 2.3: Funciones f , g, y h del Ejercicio 2.3
La funcin h es dada por

( 1 2
2x , 0 x 1/2
h(x) = 1 1
4 2 (x 1)2 , 1/2 x 1
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 u00 = f, 0 < x < 1, con u(0) = u0 (1) = 0, tiene la
siguiente formulacin variacional: encontrar u V tal que (u 0, v0) =

(f, v) para todo v V, donde V = v H1 (0, 1) : v(0) = 0 .
2.5 Muestre que una formulacin variacional del PVF
xu00 u0 + u = sin(x), 0 < x < 1, u(0) = u(1) = 0
R 1
es: encontrar u H10 (0, 1) tal que 0 (xu0 v 0 + uv v sin(x))dx = 0
para todo v H10 (0, 1).
R1
2.6 Mostrar que si w C[0, 1] y 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)u0 )0 +r(x)u = f, 0 < x < 1, u(0) = 0, u0 (1)+u(1) = 0.
Muestre que la forma bilineal asociada es V-elptica y continua; aqu
p1 p(x) p0 > 0, r1 r(x) r0 > 0
2.8 Considere el PVF, u = f en , con u = u0 sobre , donde f y
u0 son dadas. Encuentre la formulacin variacional del problema.
u
2.9 Justifique por qu el PVF, 2 u = f en , con n = 0 sobre ,
no tiene solucin nica.
2.10 Considere el PVF
Au = f en
Bj u = gj sobre , (j = 0, 1, . . . , m 1)
donde A es un operador de orden 2m. Sea una funcin conocida
en C 2m () tal que Bj = gj sobre . Pruebe que el PVF puede
ser transformado en el problema
Aw = f en
Bj 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 finitos. 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 V0 (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)| kkukV kvkV v V (3.2)
y
B(v, v) kvk2V v V (3.3)
45
3.1 El mtodo de Galerkin

La idea bsica detrs del mtodo de Galerkin es muy simple. La difi-
cultad de resolver (3.1) viene con el hecho de que V es un espacio
muy grande (infinito dimensional), resultando imposible crear un proce-
dimiento lgico para encontrar la solucin. El mtodo de Galerkin1 , que
se public por primera vez en 1915, se basa en una sucesin de subespa-
cios de dimensin finita {Vn }
n=1 V, que converge a V, tal que

[
Vi = V (3.4)
i=1
donde Vn Vn+1 V, y dim(Vn ) = Nn < para todo n = 1, 2, . . .

Cada subespacio Vn es generado seleccionando un conjunto de funciones
linealmente independientes {i }N
i=1 en V y representa al mismo tiempo
n
un espacio de Hilbert (Hilbert es cerrado).

Teniendo definido el espacio Vn , se plantea el problema (3.1) sobre
Vn en lugar de V. Esto es, se busca una funcin un Vn que satisfaga
B(un , v) = l(v) v Vn (3.5)
Este problema normalmente se denomina problema discreto o aproxi-

macin de Galerkin2 . Se mostrar que bajo hiptesis apropiadas la suce-
sin de soluciones {un }
n=1 , un 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 un Vn .
Demostracin: La forma B(, ), restringida a Vn Vn , obviamente,
sigue siendo bilineal, acotada y V-elptica. La forma lineal l(v), res-
tringida a Vn , sigue siendo lineal y por tanto l Vn0 . 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) = 21 B(u, v) l(v). Esta definicin 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 un Vn
para el problema discreto, se puede encontrar explcitamente como una
combinacin lineal de las funciones base de Vn con coeficientes descono-
cidos. Por consiguiente, para un existen escalares aj y, para cualquier
vn Vn escalares bj , tales que
Nn
X Nn
X
un = aj j , v= bi i (3.6)
j=1 i=1
Sustituyendo (3.6) en (3.5), se obtiene

X X X
B aj j , bi i = l bi i
j i i
Usando el hecho que B es bilineal y l lineal

X X
bi B(j , i )aj l(i ) = 0
i j
o, ms concisamente

Nn
X XNn
bi Kij aj Fi = 0 (3.7)
i=1 j=1
donde
Kij := B(i , j ) y Fi := l(i ) (3.8)
son, respectivamente una matriz Nn Nn (matriz de rigidez) y un vec-
tor de dimensin Nn (vector de carga). Note que Kij y Fi pueden ser
evaluadas puesto que las i son funciones conocidas y tanto B como l
estn dadas explcitamente.
Como los coeficientes bi 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
X
Kij aj = Fi i = 1, 2, . . . , Nn (3.9)
j=1
Una vez resuelto este sistema de ecuaciones, la solucin aproximada un

se puede encontrar a partir de (3.6).
Ejemplo 3.1. Considere el PVF

x
u00 = sen en = (0, 1), u(0) = u0 (1) = 0
2
Multiplicando la ecuacin por la funcin test e integrando por partes
Z 1 Z 1 Z 1

u00 vdx = v(1)u0 (1) v(0)u0 (0) + u0 v 0 dx = u0 v 0 dx
0 0 0
Entonces, la correspondiente forma variacional es: encontrar u V tal
que Z 1 Z 1
0 0
x
u v dx = sen vdx v V
2
0 1 0

donde V = v H (0, 1) : v(0) = 0 (note que u0 (1) = 0 es una condi-
cin de frontera natural). Se define Vn como el subespacio de V generado
por i (x) = xi , con i = 1, 2, 3, . . . , Nn . Se tiene entonces que
Z 1 Z 1
0 0
x
Kij = B(i , j ) = i j dx y Fi = l(i ) = sen i dx.
0 0 2
Si se supone que Nn = 2, se obtiene las funciones base {1 , 2 } = {x, x2 }
y el conjunto de ecuaciones
K11 a1 + K12 a2 = F1
K21 a1 + K22 a2 = F2
donde
Z 1 Z 1 Z 1
K11 = 01 01 dx = 1, K12 = 01 02 dx =2 xdx = 1 = K21 ,
0 0 0
Z 1 Z
4 4
K22 = 02 02 dx =4 x2 dx = x3 = ,
0 3 3
Z 1
x
F1 = l(1 ) = sen
xdx = 0.4052847344,
0 2
Z 1
x 2
F2 = l(2 ) = sen x dx = 0.3183098861
0 2
Obteniendo el sistema de ecuaciones
a1 + a2 = 0.40528 a = 0.6662
4 1
a1 + 3 a2 = 0.31831 a2 = 0.2609
Entonces, la solucin un queda dada por
un = a1 1 (x) + a2 2 (x) = 0.6662x 0.2609x2

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.45
0.4
0.35
0.3
0.25
0.2
0.15
0.1
Solucin aproximada un
0.05
Solucin exacta u
0
0 0.2 0.4 0.6 0.8 1
Figura 3.1: Solucin exacta (lnea continua) y solucin aproximada (lnea punteada) del
Ejemplo 3.1
Con el fin de mostrar la no singularidad de la matriz de rigidez Kn =

Nn
Kij i,j=1 , se prueba primero que sta tiene la propiedad de definida
positiva.
Lema 3.2. (Definida positiva de Kn ) Sea Vn un espacio de Hilbert con
dim(Vn ) = Nn < y B(, ) : VV R una forma bilineal V-elptica.
Entonces la matriz de rigidez Kn del problema discreto (3.9) es definida
positiva.
Demostracin: El objetivo es demostrar que Y T KY > 0 para todo
Y RNn y Y 6=P0. Sea Y = (y1 ,y2 , . . . , yNn )T un vector arbitrario, y
v dada por v = N n
y
i=1 i i , donde ,
1 2 , . . . , Nn es una base de Vn ,
junto con la propiedad V-elptica de B(, ), se tiene
Nn X
X Nn X
Nn Nn
X
T
Y KY = yi Kij yj = B yi i , yj j
i=1 j=1 i=1 j=1
= B(v, v) kvk2V > 0,

lo cual completa la prueba.
Corolario 3.1. (No singularidad de Kn ) La matriz de rigidez Kn del

problema discreto (3.9) es no singular.
Demostracin: Este hecho se sigue inmediatamente de la existencia y
unicidad de la solucin un V (Lema 3.1). Alternativamente, suponga-
mos que Kn es singular. Entonces existe un vector no trivial Y0 RNn
tal que Kn Y0 = 0. Por tanto, necesariamente Y0T Kn Y0 = 0, lo cual es
contradictorio con la propiedad de definida positiva de Kn (Lema 3.2).
As, se concluye que el sistema de ecuaciones lineales (3.9) tiene una
nica solucin Yn que define una nica solucin un Vn de (3.5) a travs
de (3.6).
La forma bilineal B(, ) define 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 definida positiva viene de la V-
elpticidad de B:
B(v, v) kvk2V > 0 v 6= 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 k kB . As, se tiene
(u, v)B = B(u, v), kuk2B = (u, u)B (3.10)
Ahora, si el sistema de funciones bases {i }N n
i=1se elige de una manera tal
que sean ortogonales respecto al producto interno de la energa, entonces
el sistema de ecuaciones (3.9) se simplifica considerablemente, ya que
Kij = B(i , j ) = (i , j )B = 0 si i 6= j
y as Kii ai = Fi o ai = Fi /Kii ; 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 i=1 de manera tal que
n
Vn se aproxime a V cuando n , puede ser complicado. Recuerde

que mientras bases ortogonales para espacios tales como L2 () son bien
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 Hm (), y que son definidos 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 finitos. 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 un . Con este
fin, 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 {un }n=1,2,... converge a
la solucin del problema.
3.2.1 Ortogonalidad del error y Lema de Ca

El error en := u un 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 un la solucin exacta
del problema discreto (3.5). Entonces el error en = u un satisface
B(u un , v) = 0 v Vn (3.11)
Demostracin: Sustrayendo (3.5) de (3.1) y restringidos al espacio
Vn 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(en , v) = (en , v)B = 0 v Vn
es decir, el error de la aproximacin de Galerkin, en , es ortogonal al sub-
espacio Vn respecto al producto interno energtico (ver Figura 3.2). De

ah que la solucin aproximada un Vn es una proyeccin ortogonal
de la solucin exacta u V en el subespacio Vn 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 Vn respecto a (, )B , entonces la
proyeccin ortogonal sobre Vn es definida por
N
X
Pv = (v, k )B k (3.12)
k=1
Pero de (3.11) si se toma v = k se encuentra que

(u, k )B = (un , k )B
de modo que
N
X
Pu = (un , k )B k = Pun = un (3.13)
k=1
Por tanto, la proyeccin ortogonal de la solucin u sobre Vn es la solucin
aproximada un , usando el producto interno (, )B . Claramente, en =
u un = u Pu N (P), esto es (en , v)B = 0, lo cual confirma (3.11).
en
u
Vn un
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 ku vk, con v Vn arbitraria,
es un mnimo cuando v = un . Lo cual, adems, se puede ver del siguiente
clculo,
B(u v, u v) = B(u un + un v, u un + un v)
= B(en + (un v), en + (un v))
= B(en , en )+2B(en , un v)+B(un v, un v)
usando el hecho de que B es bilineal. El segundo trmino del lado derecho

es cero, ya que en es ortogonal a todo miembro de Vn usando el producto
interno (, )B . As,
ku vk2B = ken k2B + kun vk2B
y para u y un fijas (y por lo tanto para en fijo) se concluye que ku vk
es ms pequeo cuando v = un , esto es
ku un kB = inf ku vkB (3.14)
vVn
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 Vn .
A continuacin se introduce el Lema de Ca, el cual establece la rela-
cin entre el error de la aproximacin en = u un y las propiedades
de la interpolacin del subespacio Vn , 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(, ) :
V V R una forma bilineal acotada y V-elptica y l V0 . Sea u V
la solucin del problema (3.1). Adems, sea Vn un subespacio de V y
un Vn la solucin de la aproximacin de Galerkin (3.5). Sea k y las
constantes de continuidad y V-elptica de la forma B(, ). Entonces
k
ku un kV inf ku vkV (3.15)
vVn
Demostracin: Usando (3.11) se obtiene que
B(u un , u un ) = B(u un , u v) B(u un , un v)
= B(u un , u v)
para cualquier v Vn . Por la V-elpticidad de la forma bilineal B(, ),
se tiene
B(u un , u un ) ku un k2V (3.16)
La acotacin de B(, ) produce
B(u un , u un ) kku un kV ku vkV v Vn (3.17)
De (3.16) y (3.17) se obtiene
k
ku un kV ku vkV v Vn

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 afirma que el error de aproximacin en
depende de la eleccin del subespacio de Galerkin Vn , 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 Kn , la cual influye 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 V1 V2 V una
sucesin de subespacios finito dimensional tal que

[
Vi = V (3.18)
i=1
se cumple. Adems, supongamos que B(, ) : V V R es una forma

bilineal acotada y V-elptica y l V0 . Entonces
lim ku un kV = 0
n
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 {vn }
n=1 tal que vn Vn V para cada
n = 1, 2, . . . , y
lim ku vn kV = 0 (3.19)
n
El Lema 3.1 nos da la existencia y unicidad de la solucin un Vn del
problema discreto (3.5) para cualquier n 1. Por el Lema de Ca,
k k
ku un kV inf ku vkV ku vn kV , n = 1, 2, . . . (3.20)
vVn
Por (3.19) se concluye que
lim ku un kV = 0
n
El Lema de Ca nos dice que para conseguir una cierta idea del tamao
del error u un , no es de hecho necesario trabajar con un ; basta escoger
cualquier miembro vn Vn y encontrar la distancia de u a vn . Una
vez calculada esta distancia, (3.15) o (3.20) nos asegura que el error ser
acotado superiormente por (k/)ku vn kV . La pregunta que surge de
forma inmediata es: qu funcin vn se utiliza para este propsito? La
opcin ms conveniente es tomar la interpolacin de u: es decir, una
funcin In u en Vn cuyos valores coinciden con los de u en N puntos
x1 , x2 . . . , xn de . Ya que In u tiene la representacin
N
X
In u = aek k (3.21)
k=1
donde {k } es la base de Vn , entonces se pueden determinar los coefi-

cientes aek del hecho que
u(xk ) = In u(xk ) k = 1, 2 . . . , N
Esto es, se resuelve para aek , las N ecuaciones simultneamente

N
X
aej j (xk ) = u(xk ) k = 1, 2, . . . , N
j=1
El operador P : V V definido por Pu = In u es un operador de

proyeccin.
Un ejemplo sencillo es dado para el subespacio de dos dimensiones de
H1 (0, 1) que consiste de las funciones
1 (x) = x 2 (x) = 1 x (3.22)
Supongamos que se requiere que la interpolantes In u sea igual a u en

los puntos x1 = 1/3 y x2 = 2/3, entonces de (3.21) y (3.22) se tiene
1 2 1
e
a1 + e
a2 = u
3 3 3
2 1 2
e
a1 + e
a2 = u
3 3 3
Resolviendo, se obtiene
2 1 1 2
e
a1 = 2u u , e
a2 = 2u u
3 3 3 3
Con la seleccin (3.21) para vn , (3.20) queda dada por
k
ku un k ku In uk (3.23)

y el problema de la convergencia, se reduce al de probar, si In 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 In u satisface una desigualdad de la forma
ku In ukV C H (3.24)
donde H representa el tamao de elemento (por ejemplo, H = 1/Nn ,
para el caso unidimensional), C una constante independiente de H, y
positivo. Entonces (3.24) nos dice que
Ck
ku un kV H (3.25)

Por lo tanto, como la aproximacin mejora progresivamente a medida
que Nn se haga ms grande y H se haga ms pequeo, se puede esperar
que un converge a u con una velocidad que esta determinada por la
magnitud de . Esto se escribe como
ku un k = O(H ) (3.26)
y se dice que la convergencia de un 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).
En el caso del problema modelo unidimensional, las siguientes estima-

ciones a priori del error se pueden probar para funciones base lineales a
trozos
kekE C1 H, kek2 C2 H 2 , kek C3 H 2
Geomtricamente, se puede observar que la grfica 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 grfica logartmica:
log(E) = log(H) + log(C)
As, si la igualdad en (3.24) se cumple, una grfica de log(kEk) contra

log(H) debe producir una lnea recta, para H suficientemente pequea,
la pendiente es el orden de convergencia respecto a la norma k k; la
constante C desplazar la lnea hacia arriba o hacia abajo.
Ejercicios
3.1 Use el mtodo de Galerkin con las funciones {1 , 2 } = {x2
2x, x(x 1)2 } para obtener una solucin aproximada (dos parme-
tros) de la solucin del PVF
d2 u du
+ u = 1, 0 < x < 1 con u(0) = 0, = 0 en x = 1
dx2 dx
Encuentre la ecuacin residual (x) = d2 un /dx2 +un 1. Grafique en
conjunto la solucin aproximada un , la solucin exacta u = cos(x)
tan(1) sin(x) + 1, y la ecuacin residual (x).
3.2 Determine los parmetros de la solucin un (x) = a1 (1 x2 ) + a2 (1

x4 ) del problema
d2 u
+ (1 + x2 )u = 1, 1 x 1 con u(1) = 0, u(1) = 0
dx2
Encuentre la ecuacin residual (x) y grafique las soluciones obtenidas.
3.3 El PVF (xu0 )0 = x en = (1, 2), u(1) = u(2) = 0, tiene la solucin

exacta u(x) = 14 x2 34 ln(x) 1
ln(2) 4 . Use el mtodo de Galerkin para
encontrar una solucin aproximada un en el subespacio de H10 (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 grfica y usando
el error kekL , kekL2 y kekH 1 , donde e = u un .
3.4 Use el mtodo de Galerkin con funciones base 1 (x, y) = (xx2 )(y
y 2 ) y 2 (x, y) = (x3 23 x2 + 12 x)(y 3 32 y 2 + 12 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
un satisface
ku un k2B = kuk2B kun k2B
esto es, el error en norma de energa es igual al error en energa. De
esto se deduce que kun kB kukB .
3.6 Sea Vn un subespacio de H1 (1, 1) generado por las tres funciones
1 1
1 (x) = x(x 1), 2 (x) = 1 x2 , 3 (x) = x(x + 1)
2 2
P
3
y defina la interpolante In u de u H1 (1, 1) por In u = ak k (x)
k=1
donde ak = u(xk ) y x1 = 1, x2 = 0, x3 = 1. Encuentre In u si
u(x) = sen ((x 21 ))/2, y evalu ku un kH 1 .
3.7 Considere el problema discreto variacional: encontrar un H10 (0, 1)
tal que
Z 1 Z 1
0 0
(un vn + un vn )dx = xvn dx, vn H10 (0, 1)
0 0
Para Nn = 3 y seleccionando j = sen (jx), j = 1, 2, 3. Calcule Kij

y Fj y encuentre la solucin aproximada un . Grafique 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 dificultad 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 Kij y Fj 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
la ecuacin de Helmholtz, dada por

u u
kx + ky + u + G = 0 (4.1)
x x y y
junto con las condiciones de frontera sobre u(x, y) y sus derivadas. La
generalizacin a PVF de mayor orden y a problemas en Rn 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) definidos en R y R2 .
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 R2 .
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 modificaciones 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 H1 () que satisface las condi-
ciones de frontera esenciales.
Una aproximacin de Galerkin un a la solucin de (4.2) puede ser
encontrada construyendo un subespacio finito dimensional Vn de V, el
cual es generado por un nmero finito de funciones bases i . Entonces
se plantea el problema de encontrar un un Vn que satisface
B(un , vn ) = l(vn ) vn Vn (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
X
Kij ai = Fi , i = 1, 2, . . . , N (4.4)
j
donde, como ya se dijo en (3.8)

El Mtodo de Elementos Finitos 61
Kij = B(i , j ) y Fi = l(i ) (4.5)
4.1.1 La malla de elementos finitos

Se comienza subdividiendo el dominio en un nmero finito E de sub-
dominios 1 , 2 , . . . , E , llamados los elementos finitos. Estos elementos
no se solapan y cubren , por tanto, satisfacen
E
[
` j = para ` 6= j , e = (4.6)
e=1
Para evitar complicaciones innecesarias, se asume que el dominio es

poligonal si es un subconjunto de R2 . Es decir, la frontera R2 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 ... ...
2 e
Figura 4.1: Discretizacin por elementos finitos 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 R2 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 identifican ciertos puntos en el dominio subdividido llamados nodos
o puntos nodales; estos puntos desempean un papel dominante en el
1
2
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 x1 , x2 , . . . , xm . El conjunto de
elementos y nodos que componen el dominio es llamado la malla de
elementos finitos.
.. .. .. ...
. .. 3
. .. .. 3
. . 1 2
....
1 2
(a) (b)
Figura 4.3: Configuracin de los nodos en los elementos del dominio .
4.1.3 Funciones bases i

Definida la malla de elementos finitos, se est listo para proceder a definir
las funciones base de elementos finitos. En el procedimiento se debe
tener presente que las funciones bases definen un subespacio de V, as
que ellas deben ser funciones en H1 () que satisfagan las condiciones de
frontera esenciales. Se deja a un lado, por el momento, la cuestin de las
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:

1 si i = j
i (xj ) = (4.7)
(e)
(iv) i ser la restriccin de i al elemento e , en otras palabras,

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

(e) 1 si i = j
i (xj ) = (4.9)
(e)
con los ndices i y j recorriendo todos los nodos de e . Llamaremos a i
funcin de base local (Ver Figura 4.4). La definicin 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
finitos, 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 H1 (), como fue requerido (ejercicio). Por
lo tanto, se van a definir 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 Nn est relacionado implcitamente
con el tamao de elemento H. De esta manera, y solo como notacin, la
solucin un y el espacio Vn sern adems denotados usando el subndice
. . .
nodos 1 1 2 2
1
3 3
. .
4 4 5
. . .
. .
. 1 .4
2 .
. 3 i
.
. . .
i
Figura 4.4: Ejemplo de funciones base i y funciones de base local ei para una malla en
1D (parte superior) y 2D con elementos triangulares (parte inferior).
H (esto es, uH y VH ). As, la solucin aproximada de Galerkin y las

funciones de ponderacin a utilizar quedan dadas por
m
X m
X
uH (x) = ai i (x), vH (x) = bi i (x) (4.10)
i=1 i=1
Ejemplos especficos de funciones de ponderacin sern dados en el

siguiente apartado. Sin embargo, se debe observar que de (4.7) se en-
cuentra
m
X
vH (xj ) = bi i (xj ) = bj
i=1
esto es, el coeficiente bj es simplemente el valor de vH 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 definicin de VH . As, si
se denota por XH el espacio generado por las funciones bases {i }m i=1 ,
entonces
VH = {vH XH : vH satisface las conds. de frontera esenciales}

= span {i : i satisface las conds. de frontera esenciales}(4.11)
De la misma manera, se denota por Xe el espacio generado por las fun-

ciones ei , esto es,
n o n o
(e)
Xe = span i = vH e , vH XH
es decir, Xe es el espacio que consiste de la restriccin de todas las

funciones en XH a e . Debido a (iv) se tiene que Xe consiste de todos
los polinomios hasta un cierto grado dado.
4.1.4 La solucin aproximada

(e)
Dado que i es la restriccin de i a e , se tiene que (4.5) se puede
escribir como
E
X X E
(e) (e)
Kij = B(i , j ) = B (e) i , j = B (e) i , j (4.12)
e=1 e=1 | {z }
(e)
Kij
y
E
X X E
(e)
Fi = l(i ) = l(e) i = `(e) i (4.13)
e=1 e=1 | {z }
(e)
Fi
Aqu se ha usado el hecho, en primer lugar, que B(i , j ) es de la forma

R PE R
. . ., lo cual puede escribirse como una suma de integrales e=1 e . . .
sobre cada elemento e . As, la evaluacin actual de Kij y Fi se reduce
(e) (e)
a la evaluacin de una serie de matrices Kij y vectores Fi 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-
ficacin adicional: ya que i = 0 para todo elemento que no tenga al
(e)
nodo i como uno de sus nodos, claramente Kij = 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
(e)
local i asociadas, al nodo i, como se muestra en la Figura 4.5.
nodos 1
. . ..
1 2 2 3 3 3
. .
4
4 5
2
3
1 3
4
2 2
3
1 3
2 2 2
1
1
1
2
3
3

1
Figura 4.5: Funciones base local ei para una malla en 1D (parte superior) y 2D con
(e)
elementos triangulares (parte inferior). Al unir las funciones 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 finito 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.
En el caso de matrices simtricas definidas 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 fin 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
(e)
para la creacin de las funciones bases locales 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 definido 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 he .
Supongamos ahora que nos gustara que XH 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 Pk (e ), Xe es igual que P1 (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 suficiente para determinar y(x) en
e . Con esto en mente, se definen 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.
(e) (e)
El siguiente paso es definir dos funciones de forma lineales i y i+1
que generan Xe y satisfaga (4.9). Haciendo uso de las propiedades de los
. . . .... . . .
1
1
2
2
3 E-1
E-1
E
E
E+1
Figura 4.6: Malla de elementos finitos 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):
m
(e)
Y x xj
i (x) = (4.14)
j=1
xi xj
j6=i
As, para el caso lineal, se tiene entonces de (4.14) que:

(e) xi+1 x (e) (x xi )
i (x) = , i+1 (x) = (4.15)
he he
con xi x xi+1 y he = xi+1 xi (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 vH en XH es una funcin lineal a trozos de la forma
m
X
vH (x) = bi i (x)
i=1
en la cual bi es el valor de vH en el nodo i (Figura 4.7).
i
ie- ie
ie ie+1

. . . . .
i - e i i - e i e+1
.
i+
Figura 4.7: Funciones de forma 1D.
En lugar de definir funciones base locales para cada elemento como en

(4.15), se puede simplificar el trabajo considerablemente creando un
elemento de referencia b (sistema de coordenadas natural o normalizado

basado en la variable ), el cual est aislado de la malla de elementos
finitos 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 b a e , mediante
la transformacin
he 2
x= + xc o = (x xc ) (4.16)
2 he
donde xc es la coordenada del centro de e (xc = 21 (xi+1 + xi )) y he es
la longitud de e (ver la Figura 4.8). As, como va de 1 a +1, x va
de xi a xi+1 .
Te
.
=1
b

. .
=+1
. .. .
xi
e
x i +1
G eometra normalizada G eometra real he
Figura 4.8: Definicin 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 definir, de una vez por todas, funciones de base locales
b1 y
b2 en
b con las propiedades requeridas. Teniendo hecho esto, se utiliza (4.16)
(e) (e) (e)

para mapear b1 y
b2 en i y i+1 , respectivamente, definiendo i y
(e)
i+1 funciones en e que satisfacen
(e) (e)
i (x) =
b1 (), i+1 (x) =
b2 () (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

b1 () =
(1 ),
b2 () = (1 + ) (4.18)
2 2
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
forma, por ejemplo
(e) 1 2 1
i (x) =
b1 () = 1 (x xc ) = (xi+1 x)
2 he he
No obstante, esta operacin no ser necesaria y de hecho es de poco
inters prctico.
En el futuro se definirn 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, Xe igual a P2 (e ), se tiene que toda funcin y Xe
es de la forma y(x) = a + bx + cx2 y conociendo los valores de y en tres
puntos de e es suficiente 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 define un elemento de referencia b 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
b1 () = ( 1),

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

b1
b3

. . .

= 1
b

=0

= +1

Figura 4.9: Elemento unidimensional cuadrtico y funciones de forma.
(e) (e) (e)

funciones base locales i (x), i+1 (x), i+2 (x) son generadas usando
(e) (e) (e)
i (x) =
b1 (), i+1 (x) =
b2 (), i+2 (x) =
b3 () (4.20)
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
u00 = f (x) x = (0, 1), (4.21)
u(0) = u(1) = 0 (4.22)
El correspondiente PVFV es: encontrar u V = H10 ()
tal que
Z 1 Z 1
u0 v 0 dx = f (x)vdx, v V
0 0
y el problema aproximado: encontrar uH VH tal que

Z 1 Z 1
0 0
uH vH dx = f (x)vH dx, vH VH
0 0

donde VH = vH XH : vH (0) = vH (1) = 0 . Supongamos, para efectos
del clculo, que la malla de elementos finitos consta de tres elementos (ver
Figura 4.10). Debido a que se quiere que XH 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 definidas en (4.15) (ver Figura 4.10). Estas funciones generan
a XH . P
De (4.12) y (4.13) se tiene que 4j=1 Kij aj = Fi , para i = 1 : 4, donde
cada Kij est dado por
Z 1 X Z xk+1 d(k) d(k)
E=3
di dj i j
Kij = B(i , j ) = dx = dx
0 dx dx xk dx dx
k=1
E=3
X (k)
= Kij
k=1
En la igualdad anterior se us el hecho que las restricciones de i al

(e) (e)
elemento e es i . Por supuesto, i = 0 si el nodo i no es un nodo
de e .
(e)
Dado que Kij = 0 si el nodo i o el nodo j no pertenece a e , se tiene
.1
1
1
.
2
2
.3
3
.
4
.1
.
2
2
.3
.
4
.1
.
2
.3
3
.
4
.1
.
2
.3
4
.
4
.1
.
2
.3
.
4
Figura 4.10: Funciones base lineales a trozos i para una malla de 3 elementos generadas
por funciones de forma, e1 , e2 definidas sobre cada elemento.
(1) (1)
K11 = K11 , K12 = K12 , K13 = 0, K14 = 0
(1) (1) (2) (2)
K21 = K21 , K22 = K22 + K22 , K23 = K23 , K24 = 0
(2) (2) (3) (3)
K31 = 0, K32 = K32 , K33 = K33 + K33 , K34 = K34
(3) (3)
K41 = 0, K42 = 0, K43 = K43 , K44 = K44
Agrupando los resultados, se tiene que la matriz global (matriz de rigidez)

K queda dada por
(1) (1)

K11 K12 0 0
(1) (1) (2) (2)
K21 K22 + K22 K23 0
K= (2) (2) (3) (3)
0 K32 K33 + K33 K34
(3) (3)
0 0 K43 K44
R1
Por otro lado, para Fi = 0 f i dx, con i = 1 : 4 se tiene, con un razo-
namiento anlogo al hecho anteriormente, que
X Z xk+1
E=3
(k)
E=3
X (k)
Fi = f i dx = Fi
k=1 xk k=1
As, el vector de carga F , viene dado por
(1)

F
(1) (2)
F + F2
F = 2 (2)
F3 + F
F4
Observacin 2. Dado que 1 y 4 no satisfacenla condicin (4.22)

se
tiene que VH = vH XH : vH (0) = vH (1) = 0 = span 2 , 3 y el
sistema final 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 final. 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:
" # " #
(e) (e) (e)
(e) K11 K12 (e) F1
K = (e) (e) F = (e)
K21 K22 F2
(e) (e)
donde Kij y Fi coinciden con los dados en (4.12) y (4.13), es decir
Z (e) (e) Z
(e) di dj (e)
Kij = dx Fi = f i dx
e dx dx e
El elemento e contiene los nodos xe y xe+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:
(e) (e)
K11 Ke,e K12 Ke,e+1
(e) (e)
K21 Ke+1,e K22 Ke+1,e+1
y el vector de carga elemental F (e) se ensambla en el vector global usando
(e) (e)
F1 Fe F2 Fe+1
Observacin 3. Resulta importante resaltar que K (e) tiene tantas filas
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 b junto a las funciones
de forma ya definidas. A partir de la transformacin b e se tiene
dx
que d = he /2. Esto permite transformar las integrales sobre e en
b
integrales sobre :
Z xe+1 Z 1
he
F (x)dx = F () d (4.23)
xe 1 2
(e)
Por otro lado, se debe tener en cuenta que, las derivadas de i (x)
respecto de x se han de evaluar a partir de bi (), que es el nico dato
del que se quiere disponer. As, usando la regla de la cadena
(e)
di d
bi d d
bi
= = J 1
dx d dx d
donde
dx
J :=
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 coefi-
ciente de la matriz elemental se puede llevar al dominio de referencia
Z (e) Z +1
bi 1 dbj
(e)
(e) di dj d
Kij = dx = J 1 J |J|d (4.24)
e dx dx 1 d d
Al mismo tiempo, la solucin aproximada uH puede ser evaluada en el
interior de cada elemento a partir de la representacin
me
X
uH (x) = aj
bj (x) (4.25)
j=1
donde me es el nmero de nodos por elemento, y x = x() evaluada usan-

do una transformacin isoparamtrica que ser justificada en el siguiente
apartado.
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 fH en XH . Esto permite que la evaluacin
de los trminos Fi sean hechos muy fcilmente (exactamente). La inter-
polacin de f es una funcin de la forma
m
X
fH (x) = ci i (x), con ci = f (xi )
i=1
De todo lo dicho, se va a sistematizar la manera de definir la trans-
formacin x() y se va a integrar numricamente con una cuadratura
b = [1, 1]).
estndar (definida sobre
4.2.2 La transformacin isoparamtrica

El clculo de d
dx sera inmediato si las funciones de forma se expresan
i
en la coordenada cartesiana x. No obstante, como se ha indicado, esto

no ser as debido a la utilizacin del sistema de coordenadas naturales.
d
As, la evaluacin de dicha derivada implica la evaluacin de 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() = xi
b1 () + xi+1
b2 ()
La transformacin dada en (4.16) resulta ser isoparamtrica, pues x() =
1 1
2 (1 )xi + 2 (1 + )xi+1 , con xi y xi+1 los nodos del elemento (verificar
dicha afirmacin). De lo cual dx 1
d = 2 (xi+1 xi ) = he /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
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-
(e) (e)
presiones racionales en los coeficientes de Kij o Fi . 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,
Z +1
I(f ) = f ()d
1
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 coeficientes (llamados
pesos) determinados. Es decir, para una cuadratura de orden p, se tiene
p
X
Ip (f ) = f (i )i (4.26)
i=1
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
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 gH
la funcin error de interpolacin y considere un elemento arbitrario e
con puntos xi x xi+1 en la malla. Supongamos que g tiene segunda
derivada acotada. Ahora, sobre e , E = g gH puede ser expandida en
una serie de Taylor alrededor de un punto interior x
b:
1
x) + E 0 (b
E(x) = E(b b) + E 00 ()(x x
x)(x x b)2 (4.27)
2
donde es un punto entre x b y x.
Ya que gH es la interpolante de g, el error E es cero en los nodos
xi , xi+1 (extremos del elemento). Seguidamente se selecciona x b como el
punto en el cual |E| es mximo. En este punto, E 0 (bx) = 0, as que (4.27)
se reduce a
1
E(x) = E(b x) + E 00 ()(x x
b)2
2
para xi x xi+1 . A continuacin, se toma x = xi o x = xi+1 ,
cualquiera de los dos que este ms cerca de x b (digamos xi ). Entonces
1
x)| = |E 00 ()|(xi x
|E(b b)2
2
Ya que xi+1 xi = H, entonces |xi xb| H/2 en (4.27) y se obtiene la
cota de error
H 2 00
|E(b
x)| |E ()| (4.28)
8
Finalmente, E = g gH implica E 00 = g 00 gH00 = g 00 dentro de e .
Introduciendo este resultado en (4.28) y maximizando sobre todos los
elementos, se obtiene la estimacin final
H2
max |E(x)| max |g 00 (x)| (4.29)
0x1 8 0x1
Ya que g 00 es acotada sobre el dominio, g 00 C < , con C constante.

Un proceso similar puede ser usado para derivar cotas de error para ele-
mentos lagrangianos de mayor orden. Para elementos finitos empleando
polinomios completos de grado , la cota de error asume la forma
kEk = max |E(x)| CH +1 (4.30)

0x1
donde C es una constante independiente de H (ver ejercicio 4.1). Esta

estimacin del error indica que la interpolante de elemento finito gH de
g puede converger a g (en norma k k ) con un orden de + 1 cuando
H tiende a cero.
Un comentario final 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 gH , solo sus s primeros trminos podrn ser efectivos en
la aproximacin de g. Por tanto, en lugar de (4.30), se tiene
max |g(x) gH (x)| CH s

0x1
y la exactitud de nuestra aproximacin, que se mantiene independiente

de , no se puede aumentar al incrementar el grado de los polinomios
(e)
base i . Se puede, por supuesto, mejorar la precisin mediante la
reduccin de H, siempre y cuando s > 0.
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 R2 es poligonal (como ya se dijo antes)
y que este se subdivide en elementos bidimensionales de me 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
3 .k
(3)
.i
1 (
(1) (2)
2) .2
j
Numeracin
local: (1), (2), (3)
Figura 4.11: Discretizacin del dominio bidimensional por elementos triangulares de

tres nodos.
Galerkin uH queda dada entonces por

m
X
u(x) uH (x) = ai i (x, y) (4.31)
i=1
donde i son las funciones base bidimensional (ver Figura 4.4) y ai 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 definir las con-
(e) (e)
tribuciones Kij (matriz elemental de rigidez) y Fi (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
definicin de un elemento de referencia b 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
finito a utilizar (tringulos y cuadrilteros) y, en cada caso, se define 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 especificados 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 definidas en e y w ser continua en la interfaz
de los elementos (elementos de clase C0 ). As, se quiere que XH sea
el espacio de polinomios a trozos de grado 1, y por consiguiente Xe el
espacio P1 (e ).
Puesto que, la superficie
solucin es plana en cada elemento, se tiene
que la solucin ueH = uH e es una funcin lineal de la forma
ueH (x, y) = + x + y
las tres constantes , y son determinadas requiriendo que
ueH (xi , yi ) = + xi + yi = ai
ueH (xj , yj ) = + xj + yj = aj
ueH (xk , yk ) = + xk + yk = ak
donde i, j y k denotan los tres vertices del elemento triangular e . A
resolver el sistema (usando la regla de Crammer)
1 h i
= (xj yk xk yj )ai (xi yk xk yi )aj + (xi yj xj yi )ak
2Ae
1 h i
= (yk yj )ai (yk yi )aj + (yj yi )ak
2Ae
1 h i
= (xk xj )ai (xk xi )aj + (xj xi )ak
2Ae
con

1 xi yi
1 1h i
Ae = 1 xj yj = (xj xi )(yk yj ) + (xk xj )(yi yj )
2 2
1 xk yk
el rea del elemento triangular e . Sustituyendo los valores de , y

en ueH (x, y), se obtiene
1 h i
ueH (x, y) = a1 +bb1 x+b
(b a2 +bb2 x+b
c1 y)ai +(b a3 +bb3 x+b
c2 y)aj +(b c3 y)ak
2Ae
donde
b
ai = xj yk xk yj bbi = yj yk b
ci = xk xj
b
aj = xk yi xi yk bbj = yk yi b
cj = xi xk (4.32)
b
ak = xi yj xj yi bbk = yi yj b
ck = xj xi
Entonces, la ecuacin se puede compactar como

(e) (e) (e)
ueH (x, y) = ui i + uj j + uk k ,
lo cual permite identificar las funciones de forma del elemento por

(e) 1
I = aI + bbI x + b
b cI y I = i, j, k (4.33)
2Ae
(e)
Claramente, la condicin I (xJ , yJ ) = 1 si I = J, y cero en los otros
casos (I, J = i, j, k) es satisfecha. La funcin base i formada por las
(e)
unin de todas las funciones base 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.
b y una transforma-
Se quiere ahora, definir un elemento de referencia
b
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
.(0,1) Te .
k
(3)
3)
e
.j
b
.i
.
((1)
(0, 0)
(2) .
(1, 0) x
Figura 4.12: Coordenadas naturales en un elemento triangular.
b e , es definida por una simple transformacin de coordenadas

Te :
x = x(, )
Te :
y = y(, )
y nos referimos al elemento e , como la imagen de b bajo la transforma-

1
cin Te . A partir de (4.32) y (4.33), las funciones de forma del elemento
triangular de tres nodos vienen dadas por

b1 (, ) = 1 ,
b2 (, ) = ,
b3 (, ) = (4.34)
y las mismas se muestran en la Figura 4.13.
b1
b3

.(3) b2

.(3) .(3)
1
1
. e . e
.
e
(1) .
(2)
(1) .
(2) (1) .
(2)
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, Te ,
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 simplificar, restringimos la atencin
a un nico elemento de referencia.
3
X 3
X
x= xj
bj (, ), y= yj
b2 (, ) (4.35)
j=1 j=1
donde (xj , yj ), 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 Te1 : e , b definida por
1 h i
= (x, y) = (yk yi )(x xi ) (xk xi )(y yi )
2Ae
(4.36)
1 h i
= (x, y) = (yi yj )(x xi ) + (xj xi )(y yi )
2Ae
donde Ae representa el rea del elemento e . Entonces, a partir de (4.34)
y (4.36) se obtienen las funciones base en e
(e) (e) (e)
i (x, y) =
b1 (, ), j (x, y) =
b2 (, ), k (x, y) =
b3 (, )
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 Te , una funcin
puede considerarse como una funcin implcita de y , entonces usando
la regla de la cadena
x y x y
= + y = +
x y x y
lo cual puede ser escrito en forma matricial como
" # " x y # " #
x

= y
(4.37)
x
y
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 suficiente para que el sistema (4.37) sea invertible
es que el determinante |J| de la matriz Jacobiana sea distinto de cero
b El funcional |J| es usualmente llamado el Jacobiano de la
en (, ) .
transformacin
x y y x
|J| = det J = (4.38)

As, cada vez que |J| 6= 0 se puede escribir
" # " # " #"
#
x 1 J 22 J 12
= J 1 = (4.39)
det J J21 J11
y
donde las Jij 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
= Jxy y xy = J 1 (4.40)
Por lo tanto, las derivadas parciales son ahora representadas enteramente
en trminos de las coordenadas ,
" # " #

= J1 , = J2 (4.41)
x y

donde J1 y J2 son la primera y segunda fila 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 , b un elemento de rea db es dado por
db = 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 Te es una transformacin adecuada (sistemas
de coordenadas de mano derecha). La presencia en b de puntos en los
b
cuales |J| = 0 indica que el rea de es comprimida en una lnea (o un
punto) en e . Esta condicin implica que el mapeo Te es no invertible
(es decir, Te1 no existe). Valores negativos de |J| indican que alguna
porcin de b 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
.
.
|J | d
d = dxdy e
y
x .
Te
T e-1
.
b = d d
d
1
dxdy
|J | b

. .
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 Kij de la discretizacin de la forma dbil (ecuacin
(4.5)) vienen dados por
E
X
(e) (e)
Kij = B(i , j ) = B (e) i , j
e=1 | {z }
(e)
Kij
con Z
(e) (e) (e)
Kij = i j d, i, j = 1, 2, . . . , m (4.43)
e
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) (e) (e)
i , j , k . As, usando la numeracin de referencia local, se tiene
que la matriz elemental es dada por

(e) (e) (e)
K11 K12 K13

k
(3)
.

(e)
K (e) = K21 (e)
K22 K23
(e)
e j
(2) .
(e) (e)
K31 K32 K33
(e)
(1)
i
.
donde, de (4.40), (4.42) y (4.43), se tiene

Z
(e) 1
Kij = J bi J 1 bj |J|dd, i, j = 1, 2, 3 (4.44)
b

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

bi bi
(e) (e)
i i
= J1

= J 2

x bi y bi

(e) (e) (e)
Adems, si (e) = i j k = b= b1 b2
b3 , se tiene

b1 b2 b3
(e)
= J1

= J1 T = (J1T )T
x b1
b2 b3

De igual forma
(e)
= J2 T = (J2T )T
y
Ahora, como de (4.43)
Z " (e) (e) (e) (e) #
(e) i j i j
Kij = + d
e x x y y
entonces, usando la notacin matricial anterior, se puede expresar la

matriz elemental como
Z
(e)

K = J1T J1 + J2T J2 T |J|dd (4.45)
b

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
E
X Z
(e) (e) (e)
Fi = l(i ) = l(e) i con Fi = f i d
e=1 | {z } e
(e)
Fi
(e) (e) (e) T
El vector elemental, F (e) = F1 , F2 , F3 , queda entonces repre-
sentado (completamente en las coordenadas naturales ) por las con-
tribuciones locales Z
(e)
Fi = f
bi |J|dd (4.46)
b

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 = fb i , donde fi = [f1 , f2 , f3 ]T , y fi usualmente
seleccionada con el valor de f evaluada en el nodo en cuestin. Con esta
suposicin resulta que
Z Z
(e) T
F b f
b i |J|dd = bT |J|dd
b fi (4.47)
b
b

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 identificar especificando sus
coordenadas locales (l1 , l2 , l3 ), que se definen de la siguiente forma:
A1 A2 A3
l1 = , l2 = , l3 = (4.48)
A A A
donde A representa el rea total del tringulo y Ai , 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
l1 + l2 + l3 = 1 (4.49)
y
3 .( 3, y ) y
3 . P(l 1, l 2, l3)
1
lado 2 .P .( , y )
2 A2 A1
. 2
2 2 A3
.(x , y )
1
1
lado 3
.
1
x x
Figura 4.15: Coordenadas de rea para tringulos.
pues, A1 + A2 + A3 = A. Adems de satisfacer la ecuacin (4.49), las

coordenadas li son tales que si P se sita sobre el nodo:
(x1 , y1 ) (l1 , l2 , l3 ) = (1, 0, 0), pues A1 = A, A2 = A3 = 0
(x2 , y2 ) (l1 , l2 , l3 ) = (0, 1, 0), pues A2 = A, A1 = A3 = 0
(x3 , y3 ) (l1 , l2 , l3 ) = (0, 0, 1), pues A3 = A, A1 = A2 = 0
Cada coordenada de rea li vara linealmente sobre el tringulo, ya
que cada rea Ai 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 = l1 x1 + l2 x2 + l3 x3 ,
(4.50)
y = l1 y1 + l2 y2 + l3 y3 .
Agrupando las ecuaciones (4.49) y (4.50) se obtiene

1 1 1 l1 1
x1 x2 x3 l2 = x
y1 y2 y3 l3 y
Resolviendo el sistema, resulta
1
li = i + i x + i y , i = 1, 2, 3 (4.51)
2A
donde i , i , i quedan dadas como en el caso de la ecuacin (4.33).
Es decir, las coordenadas de rea l1 , l2 y l3 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 l1 , l2 y l3 no son
linealmente independientes. Generalmente, se seleccionan dos, de las
tres, como las variables independientes y se elimina la tercera. Tomando
l1 = 1 l2 l3 y sustituyendo en (4.50) se obtiene que

x = x1 + l2 (x2 x1 ) + l3 (x3 x1 ) = x(l2 , l3 )
(4.52)
y = y1 + l2 (y2 y1 ) + l3 (y3 y1 ) = y(l2 , l3 )
representa una transformacin entre las variables globales (x, y) y las
variables locales (rea) (l2 , l3 ).
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
Z Z
l1a l2b l3c de , lia ljb ds
e e
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
Z Z
a b c 2(a! b! c!)A a! b!e
l1 l2 l3 dA = , lia ljb ds = (4.53)
A (a + b + c + 2)! e (a + b + 1)!
R
Las integrales sobre b tienen la forma b G(, )dd o, equivalen-
R
temente, en trminos de coordenadas de rea b G(l1 , l2 , l3 )dl2 dl3 , con
l1 = 1 . Entonces,
Z Z 1
a b c a! b! c! a! b!
l1 l2 l3 dl2 dl3 = , lia ljb ds = (4.54)
b
(a+b+c+2)! 0 (a+ b+ 1)!
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
2
Z l1 l1 l2 l1 l3 4/4! 2/4! 2/4!
F (e) l2 l1 l22 l2 l3 fi |J|dd = |J| 2/4! 4/4! 2/4! fi
b
l3 l1 l3 l2 l32 2/4! 2/4! 4/4!

2 1 1 fi 2fi + fj + fk
|J| |J|
= 1 2 1 fj = fi + 2fj + fk (4.55)
12 12
1 1 2 fk fi + fj + 2fk
4.3.7 Elementos Rectangulares

Una segunda categora de elementos finitos est dada por aquellos que
tienen forma rectangular (elementos de clase C0 ). 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 Xe puede ser definido en e de modo que cualquier
funcin en Xe sea determinada de forma nica por sus valores en los
cuatro vertices. Las funciones lineales son completamente determinadas
1

2 2 y
. (4)
=1
.
(3) . l
.
k
= 1 b =1
e
.
j
(1)

yi .
i
. (1)
= 1
.
(2) xi x
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) = a1 + a2 x + a3 y + a4 xy + a5 x2 + a6 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 x2
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,
entonces la aproximacin debe tener la forma

p(x, y) = a1 + a2 x + a3 y + a4 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
Qk (), de manera que p(x, y) en (4.56) es un miembro de Q1 (). Note
que Pk () Qk () P2k con R2 . La situacin ahora es que
Xe = Q1 (e ) as, XH consistir del espacio de polinomios bilineales a
trozos.
Nuevamente, para facilitar el clculo se adopta un sistema de coorde-
nadas naturales para definir la geometra del elemento de referencia
b 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 C0 , basta que las funciones de forma cumplan:
Condicin de compatibilidad nodal

1 si i = j

bi (j , j ) = (4.57)
0 en caso contrario
Condicin de particin de la unidad

me
X

bi (, ) = 1 (4.58)
i=1
Observacin 5. Dentro de los elementos de clase C0 (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 nodo2 . Es decir, si Lin ()
2
Los polinomios de Lagrange unidimensionales en cada direccin y coinciden
con las funciones de forma de los elementos de dos nodos unidimensionales.
es el polinomio de Lagrange de grado n en la direccin del nodo i y

Lim () el de grado m en la direccin , entonces
bi (, ) = Lin ()Lim ()
(4.59)
En el caso lineal, se tiene
1 1
Lin () = (1 + i ) Lim () = (1 + i )
2 2
donde i y i toman los valores de los nodos del elemento de referencia
1 (1 )
2
.
(4)
.(3)
Nodo
1
i
1
i
1
2 1 1
3 1 1
.
(1)
1 (1 )
.
(2)
b1 = 1 (1 )(1 )
4
4 1 1
2
bi = ( , ) = 1 (1 + i )(1 + i )
4
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
1
bi (, ) = Lin ()Lim () = (1 + i )(1 + i )
(4.60)
4
En general:
1 1

b1 (, ) = (1 )(1 )
b2 (, ) = (1 + )(1 )
4 4
1 1

b3 (, ) = (1 + )(1 + )
b4 (, ) = (1 )(1 + )
4 4
En la Figura 4.17 se muestra la forma grfica de la funcin de forma
b1 (, ), la grfica 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 definidas por (4.60) satisfacen las dos
condiciones (4.57) y (4.58).
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
Z Z "Z 1
#
1
G(, )dd = G(, )d d
b
1 1
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
Z N
" N #
X X
G(, )dd G(n , m )n m (4.61)
b
m=1 n=1
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 Nj = N 2 ,
N
" N
# N2
X X X
G(n , m )n m = G(j , j )e
j (4.62)
m=1 n=1 j=1
4.4 Problema bidimensional

En los dos apartados siguientes se muestra el ensamblaje final 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 (x2 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
Z Z
B(u, v) = u vd , l(v) = (2 x2 y 2 )vd (4.63)

y V = H10 (). Para la discretizacin, se reemplaza por un dominio H

formado por una malla de 8 elementos finitos 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 ,
. .7
(5)
8
(8)
.
9
4
. . (6)
5
(7)
.6
(2) (3)
(1)
. .
1
(1)
2
(4)
.
3
Figura 4.18: Ejemplo 1. Discretizacin del dominio = [1, 1] [1, 1] en una malla de
ocho elementos finitos triangulares (nueve nodos).
Coordenadas
Conectividades
Nodos x y
Elementos nodo 1 nodo 2 nodo 3
1 -1 -1
1 1 2 4
2 0 -1
2 5 4 2
3 1 -1
3 5 2 6
4 -1 0
4 3 6 2
5 0 0
5 7 4 8
6 1 0
6 5 8 4
7 -1 1
7 5 6 8
8 0 1
8 9 8 6
9 1 1
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,

se define un subespacio VH de V. La aproximacin de (4.63) entonces

consiste en buscar una funcin uH VH ,
m
X
uH (x, y) = aj i (x, y) (4.64)
j=1
tal que uj = 0 en los nodos de y

Z Z
B(uH , vH ) = uH vH d , l(vH ) = (2 x2 y 2 )vH d (4.65)

para todo vH VH tal que vH = 0 en H .
Sustituyendo uH y vH en (4.63) y simplificando trminos (operaciones
en las cuales ya estamos familiarizados), se obtiene el sistema de ecua-
ciones
Xm
Kij aj = Fi , i = 1, . . . , m
j=1
Pasando ahora los clculos al elemento de referencia, , b se obtiene que

(e) (e)
la matriz de rigidez elemental, Kij , y vector de carga, Fi , estn dados
por
Z Z
(e) (e) (e) 1
Kij = i j d = J bi J 1 bj |J|dd
e b

Z Z
(e) (e)
Fi = f i d = f
bi |J|dd
b

donde, las funciones de forma, bi , 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
ilocal iglobalx i yi
1 1 -1 -1
2 2 0 -1
3 4 -1 0

x1 + x2 y1 + y2 1 0
J= = = J 1
x1 + x3 y1 + y3 0 1
b tienen la misma forma, pues |J| = 1. Adems,
Es decir, 1 y
Z
(1)
Kij =
bi
bj dd
b

donde

1 1 0

b1 = ,
b2 = ,
b3 =
1 0 1
Usando (4.54) se tiene

Z Z
(1) 1 (1) 1 1
K11 = 2dd = 2 = 1 K12 = 1dd = 1 =
b 2 b
2 2
Z Z
(1) 1 1 (1) 1 1
K13 = 1dd = 1 = K22 = 1dd = 1 =
b 2 2 b 2 2
Z Z
(1) (1) 1 1
K23 = 0dd = 0 K33 = 1dd = 1 =
b
b 2 2
Por lo tanto,
1 1/2 1/2
K (1) = 1/2 1/2 0
1/2 0 1/2
Ensamblaje global del elemento 1 : K 1 K
L ocal G lobal
(1) (1) (1)
K11 K12 K13 K11 K12 K14
(1)
K K
(1)
K
(1)
K21 K22 K24
21 22 23
(1) (1) (1) K41 K42 K44
K31 K32 K33
Entonces, la matriz de rigidez K global despus de ensamblar el primer

elemento est dada por
(1) (1) (1)

K11 K12 0 K14 0 0 0 0 0
(1) (1) (1)
K21 K22 0 K24 0 0 0 0 0

0 0 0 0 0 0 0 0 0

(1) (1) (1)
K41 K42 0 K44 0 0 0 0 0

K=
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
ilocal iglobal xi yi " #

1 5 0 0 1 0
J= = J 1 , |J| = 1
2 4 -1 0 0 1
3 2 0 -1
La matriz elemental para el elemento 2

1 1/2 1/2
K (2) = 1/2 1/2 0
1/2 0 1/2
Entonces,

(2) (2) (2)
K11 K12 K13 K55 K54 K52

(2)
K (2) = K21 (2) (2)
K22 K23
K45 K44 K42

(2) (2) (2)
K31 K32 K33 K25 K24 K22
por lo tanto, despus de ensamblar el segundo elemento, la matriz de

rigidez K queda dada por
(1) (1) (1)

K11 K12 0 K14 0 0 0 0 0
(1) (1) (2) (1) (2) (2)
K21 K22 + K33 0 K24 + K32 K31 0 0 0 0

0 0 0 0 0 0 0 0 0

(1) (1) (2) (1) (2) (2)
K41 K42 + K23 0 K44 + K22 K21 0 0 0 0

K=
0
(2)
K13 0 K12 K11 0 0 0 0
(2) (2)

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

1 12 0 12 0 0 0 0 0
1
2 2 12 0 1 0 0 0 0

0 1 1 0 0 1
0 0 0
2 2
1
2 0 0 2 1 0 21 0 0

K= 0 1 0 1 4 1 0 1 0

0 0 21 0 1 2 0 0 12

0 0 0 12 0 0 1 12 0

0 0 0 0 1 0 21 2 21
0 0 0 0 0 12 0 21 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 finitos para el PVF dado por la
ecuacin de Poisson3 (transferencia de calor en estado estable) y condi-

ciones de contorno mixtas
T (Du) = f en , (4.66)
)
u ud = 0 sobre d condiccin Dirichlet
(4.67)
qn = q n + (u u ) sobre n condiccin Neumann

siendo D = k0x k0y 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 flujo normal qn se obtiene proyectando el flujo en el contorno sobre
la normal. As,
qn = nT q = nx qx + ny qy
Por otro lado, la relacin entre flujo y gradiente se expresa por la ley
de Fourier, que en forma matricial se escribe por q = Du. Ahora,
sustituyendo qx = kx u u
x y qy = ky y en las ecuaciones anteriores
se obtiene la condicin de flujo prescrito en el contorno (condicin de
Neumann) en la forma siguiente
u u
kx nx + ky ny + q n + (u u ) = 0, sobre n (4.68)
x y
En lo anterior q n es el flujo prescrito en direccin normal al contorno n
(q n es positivo, si el flujo es en direccin de la normal al contorno n). El
ltimo trmino de (4.68) expresa el flujo 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 coeficiente de
conveccin.
Multiplicando (4.66) por la funcin test v, integrando sobre el dominio
y usando la frmula de Green (1.25), se obtiene
Z Z Z
v (Du)d = f vd + vnT Duds
Z Z Z

= f vd vqn ds v q n + (u u ) ds
d n
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.
La integral a lo largo de d se debe al flujo qn 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 flujo normal qn sale
del contorno. Dicho flujo puede interpretarse como una reaccin que se
calcula una vez conocido el valor de u sobre d .
Seleccionando como funciones test las funciones v H1 () tal que
v = 0 sobre d , se obtiene la formulacin variacional siguiente: encontrar
u H1 () tal que u = ud sobre d y
Z Z Z Z

v (Du)d + vuds = f vd v q n u ds (4.69)
n n
se cumple para todo v H1 ()

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 finitos bidimensionales (cua-
drilteros) de me nodos (ver Figura 4.1). La aproximacin de u por el
MEF queda entonces dada en la forma usual
Xm
u uH = ai i (x, y) (4.70)
i=1
donde i son las funciones base bidimensional para elementos cuadril-
teros, ai 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,
Z Z Z Z

i (DuH )d + i uH ds = f i d i q n u ds
n n
(4.71)
La forma de Galerkin (4.71) en funcin de las contribuciones elemen-
tales
"Z Z #
XE Xme X
me
(e) (e) (e) (e) (e) (e)
i D uj j d + i uj j ds
(e)
e=1 e j=1 n j=1
E
"Z Z #
X (e)
= f i d i q n u ds (4.72)
(e)
e=1 e n
donde la sumatoria se extiende sobre todos los elementos del dominio.

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-
(e)
tiendo, nuevamente, que las funciones de forma i valen cero fuera de
cada elemento, puede deducirse que
Z Z
(e) (e) (e) (e) (e) int(e) front(e)
Kij = i Dj d + i j ds = Kij + Kij
(e)
e n
(4.73)
y Z Z
(e) (e)
Fi = f i d i q n u ds (4.74)
(e)
e n
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
int(e) front(e)
Kij y Kij 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 coeficientes de la
matriz de rigidez elemental.
De la misma manera, resulta apropiado separar las componentes del
(e)
vector Fi como
(e) (e) front(e)
Fi = fi + fi
donde Z
(e) (e)
fi = f i d (4.75)
e
es la contribucin del trmino de fuente de calor sobre el dominio, y
Z
front(e) (e)
fi = i q n u ds (4.76)
(e)
n
es la contribucin del trmino de flujo de calor a travs del contorno de
Neumann donde se prescribe el flujo 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)
Z Z
int(e) (e) (e)
Kij = i Dj d = J 1 bi ) DJ 1
bj )|J|dd
e b

Z h i
= (J1
bi )kx (J1
bj ) + (J2
bi )ky (J2
bj ) |J|dd
b

Al igual que como con elementos triangulares, para efectos de im-

plementacin, se pueden expresar los clculos en forma matricial. Si
(e) (e) (e) (e)
(e) = [i , j , k , l ] =
b = [
b1 ,
b2 ,
b3 ,
b4 ], se tiene que

b1 b2 b3 b4
1
(e)
=J = J 1 T
b1 b2 b3 b4

Es decir,
(e) (e)
= J1 T = (J1T )T , = J2 T = (J2T )T
x y
Por lo tanto,
Z
int(e)
K = J 1 T DJ 1 T |J|dd
b

Z h i (4.77)
= kx J1T J1 + ky J2T J2 T |J|dd
b

front(e) front(e)
La evaluacin de Kij en (4.73) y fi 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
(e)
los cuales las condiciones de frontera natural han sido prescritas (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
(e)
lado = 1 del elemento de referencia es transformado sobre n .
Sea bj la restriccin de las funciones de forma bj del elemento de
referencia para el lado = 1:
bj () =
bj (1, ), j = 1, . . . , me
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, bj () = 0. Teniendo entonces que
Z Z 1
front(e) (e) (e)
Kij = i j ds = bi ()bj ()|j()|d (4.78)
(e)
n 1
Z Z 1
front(e) (e)
fi = i [q n u ]ds = [q n u ]bi ()|j()|d (4.79)
(e)
n 1
donde |j| es el jacobiano de la transformacin de en el parmetro de

longitud de arco s en el plano xy. Puesto que
" #1/2
x 2 y 2
ds = (1, ) + (1, ) d

se tiene
" #1/2
x 2 y 2
|j()| = (1, ) + (1, ) (4.80)

en el cual x(, ) y y(, ) son definidas 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 b3 , b4 son cero, y

b1 b1 b1 b2 0 0
Z 1 bb bb
front(e) 2 1 2 2 0 0
K=1 =
|j()|d

1 0 0 0 0
0 0 0 0
Para el lado = 1, entonces b4 ,

b1 son cero, y

0 0 0 0
Z 1
front(e) 0 2 2 2 b3
b b b 0
K=1 =

|j()|d

1 0 b3 b2 b3 b3 0
0 0 0 0
Para el lado = 1, entonces

b1 ,
b2 son cero, y

0 0 0 0
Z 1 0 0 0 0

front(e)
K=1 =
|j()|d

1 0 0 b3 b3 b3 b4
0 0 b4 b3 b4 b4
Para el lado = 1, entonces

b2 , b3 son cero, y

b1 b1 0 0 b1 b4
Z 1
front(e) 0 0 0 0
K=1 = 0
|j()|d
1 0 0 0
b1 b4 0 b
0 4 4b
En definitiva, la matriz de rigidez total del elemento se obtiene por
front(e) front(e) front(e) front(e)
K (e) = K int(e) + K=1 + K=1 + K=1 + K=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.
front(e)
La contribucin del trmino de conveccin al vector de flujos, fi ,
en forma matricial se calcula como sigue
Z h i
front(e) (e) (e) (e) (e)
fn = 1 2 3 4 q n u ds
(e)
n
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.
front(e)
As, el valor de fn , se obtiene para cada lado:
Para el lado = 1,
Z 1h i
front(e)
f=1 = b1 b2 0 0 q n u |j()|d
1
Para el lado = 1,
Z 1h i
front(e)
f=1 = 0 b2 b3 0 q n u |j()|d
1
Para el lado = 1,
Z 1h i
front(e)
f=1 =+ 0 0 b3 b4 q n u |j()|d
1
Para el lado = 1,
Z 1h i
front(e)
f=1 = b1 0 0b4 q n u |j()|d
1
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 modificado 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 finitos. El nmero de variables, combinacin y valores de
estas, que deben especificarse 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 filas y columnas

Sea i la coordenada de una variable nodal prescrita del sistema global
Ka = F . Entonces, el proceso se inicia al hacer Kii igual a uno y los
restantes valores de la i-sima fila y la i-sima columna de K se hacen
iguales a cero. Por otro lado, el trmino Fi del vector F se reemplaza por
el valor conocido ai (condicin esencial). Adems, cada uno de los n 1
trminos restantes de F se modifican 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 ai prescrito,
presente en el problema.
Para ilustrar este procedimiento, se considera el siguiente ejemplo:
dado el sistema

K11 K12 K13 K14 a1 F1
K21 K22 K23
K24 a2 F2
= (4.81)
K31 K32 K33 K34 a3 F3
K41 K42 K43 K44 a4 F4
suponga que se especifican las variables nodales a1 = 1 y a4 = 4 .
Con el procedimiento descrito, el sistema anterior queda de la siguiente
forma:

1 0 0 0 a1 1
0 K22 K23 0 a2 F2 K21 1 K24 4

0 K32 K33 0 a3 = F3 K31 1 K34 4
0 0 0 1 a4 4
Este sistema de ecuaciones, puede ahora resolverse para todas las va-
riables nodales. La solucin, por supuesto, establece que a1 = 1 y
a4 = 4 , debindose determinar las incgnitas a2 y a3 .
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
1016 , 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
modificados de K sean extremadamente ms pequeos si se comparan
con los trminos modificados. Una vez terminada esta modificacin, 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
16 16
10 K11 K12 K13 K14 a1 10 1 K11
K21 K22 K23 K24
a2 = F2 (4.82)
K31 K32 K33 K34 a3 F3
K41 K42 K43 10 K44 16 a4 16
10 4 K44
Para mostrar la efectividad de este procedimiento, consideremos la primera
fila de (4.82):
1016 K11 a1 + K12 a2 + K13 a3 + K14 a4 = 1016 1 K11
Desde un punto de vista prctico, esta ecuacin expresa que a1 = 1 ,

puesto que 1016 K11 K1j , 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 J(v)

vV
donde, V es el espacio de funciones admisibles y J es el funcional lineal

dado por
1
J(v) = B(v, v) l(v)
2
De forma discreta, el problema queda dado por: encontrar el extremo
a del funcional
1
J(a) = aT Ka aT F (4.83)
2
donde Ka = F representa el sistema global del problema antes de im-
poner las condiciones de contorno esenciales. As, si K es simtrica y
definida positiva, a es un extremo de (4.83) si, y solo si, J/a = 0. Es
decir,
J 1 T
=0 K +K a=F
a 2
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
1
J(a, ) = aT Ka aT F + T (Ga g)
2
Ahora, el extremo se alcanza para
J 1 T
=0 K + K a F + GT = 0
a 2
Es decir, para Ka F + T G. En forma matricial

K GT a F
= (4.84)
G 0mm g
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 C0 . 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 finitos 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
p(x, y) = i xj y k , j+k n
i=1
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 x2 + 6 y 2 . Una forma
inmediata de identificar 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.
Tringulo Grado del Nmero de trminos

de Pascal polinomio p = (n + 1)(n + 2)/2
1 0 1
x y 1 3
x2 xy y2 2 6
3 2 2 3
x x y xy y 3 10
x4 x3 y x2 y 2 xy 3 y4 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
1 1
L12 () = ( 1) , L12 () = ( 1)
2 2
y la funcin de forma del nodo es
1
b1 (, ) = L12 ()L12 () = ( 1)( 1)

4
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
1
bi (, ) = ( 2 + i )( 2 + i )

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

2 2
Nodo central
b9 (, ) = (1 2 )(1 2 )

En la Figura 4.19 se presentan las funciones de forma para tres nodos
en particular. Se aprecia en dicha figura que el elemento lagrangiano de
1
.
7 .6 .5 b

. .9 .4 2 2
8 3 2 2
3
1
. . .3
2 4 3
2 2
3
4
.
7
.
8 6 .
1
. .5
. . 1
1 . b1 = ( 1)( 1)

2 . 4 4
3
1 .7
. .
6
8 . .5
. 1
1 . . b8 = ( 1)(1 2 )

2 . 4 2
3 Nodo i i
7
.
1 -1 -1
8 . 1
.6
. .5 2 0 -1
. . b9 = (1 2 )(1 2 )

1
. 3 1 -1
4
2 . 4 1 0
3
5 1 1
6 0 1
Nodo i = 1, 3, 5, 7 7 -1 1
1
bi (, ) = ( 2 + i )( 2 + i ) 8 -1 0
4 9 0 0
i = 2, 4, 6, 8
1 1
bi (, ) = i2 ( 2 i )(1 2 ) + i2 ( 2 i )(1 2 )

2 2
b9 (, ) = (1 2 )(1 2 )

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
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 definir funciones de forma. Los coeficientes 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 coeficientes 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 l1 ,
l2 , l3 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
por4
bi = LsI1 (l1 )LsJ2 (l2 )LsK3 (l3 ) (4.85)
El superndice s1 corresponde al numero de orden que guarda el nodo i
en direccin del eje l1 , es decir, para la coordenada de rea l1 = 1, s1 = 1
y para l1 = 0, s1 = n + 1 (1 s1 n + 1). LsI1 (l1 ) es el polinomio de
Lagrange de grado I en l1 asociado al nodo i, que toma el valor uno en
el nodo i, es decir
n+1
Y (l1 lj )
LsI1 (l1 ) = s1
1
j
(4.86)
j=1 (l 1 l 1 )
j6=1, s1
con idnticas expresiones para LsJ2 (l2 ) y LsK3 (l3 ). En (4.86) l1i 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 simplifica 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].
de la coordenada de rea l1 en el nodo i. Con el objetivo que la ecuacin

(4.86) sea consistente para todos los nodos, es necesario tomar en cuenta
que Ls01 (l1 ) = 1, anlogamente para Ls02 (l2 ) y Ls03 (l3 ).
0
l2 =
l2 =
l3 = 1 l3 = 1
(0,0, 1) (0,0, 2)
3 3
Lineal Cuadrtico
1/2
l2 =
l3 = 1/2
(1,0, 1) 6 5 (0,1, 1)
1
l2 =
l2 =
l3 = 0 1 2 l3 = 0 1 4 2
(I,J,K) (0,1, 0) (I,J,K) (1,1, 0) (0,2, 0)
l 1=
l 1=
l 1=
l 1=
l 1=
(1,0, 0) (2,0, 0)
1/2
0
0
1
1
1
2

2
Figura 4.20: Elemento triangular lagrangiano lineales y cuadrtico y trminos de sus

funciones de forma. Valores nodales de las coordenadas de rea li y entre parntesis los de
las coordenadas (I, J, K) de cada nodo.
La dificultad 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 l1 = constante tienen el mismo

I, ocurriendo lo mismo con l2 y J y l3 y K.
Los valores I, J, K asociados a l1 , l2 , l3 decrecen de unidad en

unidad desde sus valores mximos sobre las rectas li = 1 que pasan
sobre los nodos de vrtice, hasta el valor cero sobre la recta li = 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,
b1 = Ls11 (l1 )Ls02 (l2 )Ls03 (l3 ) = L11 (l1 )L20 (l2 )L20 (l3 ) = L11 (l1 )

2
Y (l1 l1j ) (l1 l12 )
= = = l1
j=1 (l11 l1j ) (l11 l12 )
j6=1,1
Resulta inmediato encontrar las funciones de forma b2 = Ls12 =1 (l2 ) = l2 ,

s2 =1
yb3 = L1 (l3 ) = l3 ; 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)
b1 = Ls21 (l1 )Ls02 (l2 )Ls03 (l3 ) = L12 (l1 )L30 (l2 )L30 (l3 ) = L12 (l1 )

3
Y (l1 l1j ) (l1 l12 )(l1 l13 ) (l1 1/2)(l1 0)
= = 1 2 1 3 =
j=1 (l11 l1j ) (l1 l1 )(l1 l1 ) (1 1/2)(1 0)
j6=1,1
= (2l1 1)l1
Nodo 4
Posicin (I, J, K) : (1, 1, 0)
Coordenadas de rea: (1/2, 1/2, 0)
b4 = Ls11 (l1 )Ls12 (l2 )Ls03 (l3 ) = L21 (l1 )L21 (l2 )L30 (l3 ) = L21 (l1 )L21 (l2 )

3
Y 3
(l1 l1j ) Y (l2 l2j ) (l1 l13 )(l2 l23 )
= =
j=1 (l12 l1j ) j=1 (l22 l2j ) (l12 l12 )(l22 l23 )
j6=1,2 j6=1,2
(l1 0)(l2 0)
= = 4l1 l2
(1/2 0)(1/2 0)
Siguiendo el mismo procedimiento, se obtiene fcilmente para todos

los nodos

b1 = (2l1 1)l1
b2 = (2l2 1)l2
b3 = (2l3 1)l3

b4 = 4l1 l2
b5 = 4l2 l3
b6 = 4l1 l3
En la Figura 4.21 se muestra la geometra de dos funciones de forma

caractersticas.
b1 = (2l1 1)l1

1 b6 = 4l1 l3

1 3
6 3
5
1
6
5
4
4 2
1
2
Figura 4.21: Funciones de forma de un nodo de esquina y un nodo lateral en un elemento

triangular cuadrtico.
Ejercicios
4.1 El error para la interpolacin de Lagrange en + 1 puntos de una
funcin suave g es
P+1 (x) d+1 g()
E(x) = , xi xi+1
( + 1)! dx+1
donde {xi } son los puntos de la interpolacin y
P+1 (x) = (x x1 )(x x2 ) (x x+1 )
Usando este resultado sobre el elemento de referencia 1 1 y
la transformacin de 1 1 a x e , muestre que
H +1 d+1 g(x)

max |E(x)| +1 max
xe 2 ( + 1)! xe dx+1
4.2 Calcule la solucin exacta y la aproximacin por elementos finitos
para 2, 4, y 6 elementos del PVF
u00 = 1 x2 , 0 < x < 1 con u(0) = 0, u(1) = 0.
Calcule el error kekE y kek para cada malla y cre la grfica
log(kek) contra log(H). Cul es el orden de convergencia para cada
norma? Verifique el error puntual de la solucin en x = 1/8 para
cada malla. Cul es el orden de convergencia aqu? Verifique el
error puntual en el nodo central x = 1/2. Qu resultado impor-
tante se puede encontrar?
4.3 Considere el problema de Neumann
u00 = f (x), 0 < x < 1 con u0 (0) = 1, u0 (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 Kij y Fi no es necesario calcularlos.
Imponga las condiciones de contorno para reducir el sistema.
4.4 La funcin u definida por

u(x) = (1 x) tan1 ((x x0 )) + tan1 (x0 )
est diseada para mostrar un comportamiento que va desde muy
suave a casi discontinua alrededor de x = x0 , variando los valores de
los parmetros y x0 . Las propiedades de u la convierten en una
candidata ideal para su uso en estudios numricos de soluciones de

elementos finitos. Tenga en cuenta que
(1 x)
u0 (x) = tan1 ((x x0 )) + tan1 (x0 ) +
1 + 2 (x x0 )2
y que u es la solucin de la ecuacin diferencial
0
k(x)u0 (x) = f (x)
donde, k(x) = 1/ + (x x0 )2 y

f (x) = 2 1 + (x x0 ) tan1 ((x x0 )) + tan1 (x0 )
Adems, u tiene valores de frontera u(0) = 0 y u(1) = 0.
Experimentacin numrica:
Realice las modificaciones necesarias al cdigo de elementos finitos
adjunto al texto para resolver el PVF anterior con x0 = 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 finitos. 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 finitos uH y el flujo H
evaluando la solucin en varios puntos (por ejemplo, en 10 puntos
igualmente espaciados) y uno o dos elemento cerca de x0 . Para cada
tipo de elemento, el lector debe descubrir ciertos puntos en los cuales
uH 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 grfica (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 finitos. 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
modificar el cdigo propuesto para que esto suceda.
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 L2 . Grficar log(ku uH k) 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 grfica del log(ku uH k) contra log(H)). Qu
significan los resultados de sus experimentos numricos?
Para un problema fuerte (x0 = 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 finitos 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-
ficar u contra x. De esta grfica, 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 u00 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 d3 u/dx3
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 finitos: mallas uniformes son raramente las ms efectivas.
El MEF ofrece la oportunidad de definir pequeos elementos donde
ellos sean necesarios y utilizar elementos grandes en regiones donde
estos sean ms que suficientes. Por supuesto, en aplicaciones prcti-
cas, la solucin exacta no est disponible, pero un anlisis preliminar
de los elementos finitos usando una malla uniforme y gruesa puede
ser usado para obtener una imagen aproximada de la solucin. La
malla puede entonces ser refinada 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 finitos

del problema:
u = f (x, y), en
u = 0, sobre 41
u
= 0, sobre 12 , 25 , 67 , 74
n
u
+ u = , sobre 56
n
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.
y h x
2
25 5
2 5 3
12 1 6
56 1 6
1 3 5
6 2
4
67 4 7
74 7 x
Figura 4.22: Ejercicio 4.5. Izquierda: Dominio poligonal . Derecha: Discretizacin del
dominio en elementos finitos.
(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.
(b) Suponga que las coordenadas de los nodos en la malla son:

(x1 , y1 ) = (0, 1), (x2 , y2 ) = (1, 2), (x3 , y3 ) = (1, 1), (x4 , y4 ) =
(0, 0), (x5 , y5 ) = (2, 2), (x6 , y6 ) = (2, 1), (x7 , y7 ) = (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 final de ecuaciones al imponer a K y F las
condiciones de contorno.
(e) Describa que modificaciones en el anlisis son necesarias en el
caso de condiciones de contorno no homogneas sobre 41 .
(f) Describa las modificaciones 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 :

0 sobre 41

0 sobre 12 y 25
(s) =

sobre 56
1
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
= 4, sobre n
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) = x3 + 3y 2 + 4x. Utilice el cdigo adjunto para resolver
el problema usando elementos finitos triangulares y rectangulares.
Estudie la convergencia tanto en norma energtica como en norma
L2 . Grfique log(ku uH k) contra log(H) y determinar el orden de
convergencia experimental.
4.7 La chimenea de ladrillos mostrada en la Figura 4.23 tiene 6 metros de

altura. Las superficies interiores estn a una temperatura uniforme
de 100 C y las superficies 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
2T 2T
k + =G (4.87)
x2 y 2
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 artificiales impondra en las
fronteras que surgen a dividir el dominio? Justifique su respuesta.
y
30oC
0.1 m
100oC
0.6 m
x
0.1 m
0.8 m
C himenea de ladrillo
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 confinadas 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 infiltra bajo la presa por ancho unitario
de sta. Considere una conductividad hidrulica de k = 30 m/da.
3m

Presa impermeable
8m Imp ermeable
Suelo
Imp ermeable
6m 10 m 15 m
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 eficacia
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.
m
0.4
0.2 m
0.05 m
Figura 4.25: Ejercicio 4.9. Geometra del disco de freno electromagntico.

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 simplificado 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
T = t0 , k = q0 , k = (T T ). (4.88)
n n
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 superficie. Es decir, la integral de la funcin G
sobre toda la superficie 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 superficie.
Para el estudio se consideran los siguientes valores: radio mximo del
freno = 0.4m, radio mnimo del freno = 0.2m, radio de los orificios =
0.05m. A partir de estos datos se obtiene un valor para la fuente de
calor Q = 238732.41 J/m2 . El coeficiente de conductividad trmica
k = 45W/m C y condiciones de contorno:
T = 0 C el el contorno de los orificios para representar el efecto

del liquido refrigerante.
La parte exterior del disco est expuesta a una temperatura de
T = 20 C con un coeficiente 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, Stiff-
ness and Deflection 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 Differential 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 finite 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 differential equa-

tions by the finite 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 finite Element Method. McGraw-Hill,
England, 1982.
[14] P.E. Lewis and J.P.Ward, The finite Element Method. Addi-
son Wesley, 1991.
[15] Miguel Cerrolaza, El mtodo de los elementos finitos 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
flow 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 Differential 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. Birkhoff, M.H. Schultz, R.S. Varga, Piecewise Hermite in-
terpolation in one and two variables with application to partial
differential equations. Numer Math. 11, 232-256, 1968.
Bibliografa 125
[24] Biswa Nath Datta, Numerical Linear Algebra and Applica-

tions. Brooks/Cole Publishing Company, Pacific 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 finite 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 finite ele-

ments for potential problems. Int. J. Eng. Sci., 7, 849-861,
1969.
[36] R.L.Taylor, On completeness of shape functions for finite el-

ement analysis. Int. J. Num. Meth. Eng., 4, 17-22, 1972.
[37] Mark Ainsworth, Essential boundary conditions and multi-

point constraints in finite element analysis. Comput. Methods
Appl. Mech. Engrg., 190, 6323-6339, 2001.

MetodoElementosFinitos G. Calderon PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

MetodoElementosFinitos G. Calderon PDF

Cargado por

Copyright:

Formatos disponibles

XXIV ESCUELA VENEZOLANA DE MATEMTICAS

Introduccin al Mtodo de los

MRIDA, VENEZUELA, 4 AL 9 DE SEPTIEMBRE DE 2011

Introduccin al Mtodo de los Elementos

MRIDA, VENEZUELA, 4 AL 9 DE SEPTIEMBRE DE 2011

XXIV ESCUELA VENEZOLANA DE MATEMTICAS

2010 Mathematics Subject Classification: 65N30.

El modelado de distintos procesos fsicos, cuya correcta comprensin,

Hoy en da, dos grandes lneas de investigacin enmarcan el MEF.

transcurso de varios aos, siendo usado para el dictado de cursos electi-

1 Preliminares del Anlisis Funcional 1

2 Formulacin Variacional para Problemas de Valor de Fron-

2.2.2 Condicin de frontera Dirichlet no homognea . . . 37

4 El Mtodo de los Elementos Finitos 59

4.5 Condiciones de contorno esenciales . . . . . . . . . . . . . 105

Preliminares del Anlisis

Antes de considerar los aspectos referentes al Mtodo de los Elementos

1.1 Espacios lineales

se dice convergente en E, si existe un elemento u E tal que para todo

formulacin variacional de los problemas de valor de frontera a conside-

Un caso especial de estos espacios, lo representa el espacio

Observacin: Al menos en los aspectos ms prcticos, para tener una

1.1.2 Complementos ortogonales en espacios de Hilbert

Teorema 1.1. (El teorema de la proyeccin) Sea V un subespacio ce-

1.1.3 Operadores en espacios lineales normados

vada continua y su campo de valores es C[a, b]

1.1.4 Operadores en un espacio de Hilbert real

Por consiguiente, se cumple la desigualdad (Ax, Ax) ||A||2 (x, x) para

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

De aqu se deduce que para que el operador A sea autoconjugado, la

Integrando esta expresin por partes y teniendo en cuenta que y(0) =

1.2 Funcionales lineales

Teorema 1.4. (Teorema de Representacin de Riesz) Sea H un

descomponerse en la suma v0 = v1 + v2 , (v1 , v2 ) = 0, donde v1 N (F )

Claramente, u(x) es la funcin

1.3 Distribuciones y Espacios de Sobolev Hm ()

Teorema 1.5. Sea Rd abierto, u Cm () y un multi-ndice tal

tribucin como la usada para la derivada convencional de una funcin.

as, H0 = , esto es, la derivada H 0 de la funcin H es el delta de Dirac.

Adems, la distribucin u tiene derivada de distribucin de todo orden,

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

para || = m. La funcin D u,obtenida de esta manera, es llamada la

1.3.1 El espacio de Sobolev

En el caso especial p = 2 se abrevia Wk,p () = Hk ().

Teorema 1.6. Sea Rd abierto, k 1 un entero positivo y p [1, +].

es una norma en el espacio Hk0 () en todo dominio acotado Rd .

La equivalencia de | |k,2 y k kk,2 en el espacio Hk0 () encuentra aplica-

norma en el espacio H10 (), equivalente a la norma kkk,2 . Si est

1.4 Formas bilineales

B es una forma bilineal si

1.4.1 Formas bilineales continuas

||u0 ||||v 0 || + c1 ||u||||v|| (Se usa desigualdad de Schwarz)

1.4.2 Formas bilineales H-elpticas

El teorema de representacin de Riesz para funcionales lineales tiene

B : H H 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||

1.5 El Teorema de Lax-Milgram

B(u, v) = F (v) v H (1.15)

trar que A es 1 1. Sea z tal que Az = 0. Entonces, ya que A por

(pues {wk } es una sucesin de Cauchy en H). De esto, {uk } es una

tanto existe un elemento u0 6= 0 en R(A) tal que

Finalmente, se recopila toda la informacin dada para dar la prueba