Metodos Numericos para Ecuaciones en Derivada Parciales

Metodos Numericos para Ecuaciones en
Derivadas Parciales
Luis Ferragut Canals
Mabel Asensio Sevilla
3 de septiembre de 2007
Indice general
1. Espacios de Sobolev
1.1. Nociones sobre teora de distribuciones . . . . . . . . . . . . .
1.2. El espacio de Sobolev H 1 () . . . . . . . . . . . . . . . . . . .
1.3. El espacio H01 () . . . . . . . . . . . . . . . . . . . . . . . . . 10

1.4. Un teorema de la traza . . . . . . . . . . . . . . . . . . . . . . 18
1.4.1. Caso A . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.4.2. Caso B . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.5. Aplicaciones del teorema de la traza . . . . . . . . . . . . . . . 25
1.6. Un resultado de compacidad . . . . . . . . . . . . . . . . . . . 28
1.7. Los espacios de Sobolev H m () . . . . . . . . . . . . . . . . . 28
2. Formulaci
on d
ebil de problemas elpticos
30
2.1. Problemas variacionales abstractos . . . . . . . . . . . . . . . 30

2.2. Problema de Dirichlet homogeneo asociado al operador 4
. 34
2.3. Problema de Neumann homogeneo asociado al operador 4+Id 37

2
INDICE GENERAL
2.4. Problema de Dirichlet no homogeneo asociado al operador 4 40
2.5. Problema de Neumann no homogeneo asociado al operador
4 + Id . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.6. Problema de contorno asociado a un operador elptico de segundo orden . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2.7. Un ejemplo sin unicidad . . . . . . . . . . . . . . . . . . . . . 49
2.8. Deformacion elastica de un solido . . . . . . . . . . . . . . . . 53
3. Aproximaci
on num
erica mediante el M
etodo de Elementos
Finitos
58
3.1. Aproximacion variacional abstracta . . . . . . . . . . . . . . . 58
3.2. Construccion de espacios de Elementos Finitos . . . . . . . . . 61
3.2.1. Generalidades . . . . . . . . . . . . . . . . . . . . . . . 61
3.2.2. Concepto de Elemento Finito . . . . . . . . . . . . . . 62
3.2.3. Elementos Finitos de Lagrange en un dsimplex . . . . 65
3.2.4. Un metodo general para construir a partir de un ele toda una familia de elementos
mento finito (T, P , )
finitos (T, P, ) . . . . . . . . . . . . . . . . . . . . . . 67
3.2.5. Construccion de subespacios de H 1 . . . . . . . . . . . 76
4. An
alisis num
erico del M
etodo de Elementos Finitos
81
4.1. Resultados generales de aproximacion en espacios de Sobolev . 81

4.2. Aplicacion al analisis numerico del M.E.F. en problemas elpticos de segundo orden . . . . . . . . . . . . . . . . . . . . . . . 92
3
INDICE GENERAL
5. Aspectos pr
acticos y programaci
on del M.E.F.
5.1. Un Metodo de Elementos Finitos para el problema de Poisson
96
96
5.2. Calculo de la matriz del sistema de ecuaciones y del segundo

miembro: Un ejemplo . . . . . . . . . . . . . . . . . . . . . . . 102
5.3. Un metodo general para el calculo de matrices y vectores elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
Indice de figuras
3.1. Ejemplo de triangulacion . . . . . . . . . . . . . . . . . . . . . 62

3.2. triangulo de seis nodos . . . . . . . . . . . . . . . . . . . . . . 68
3.3. funcion p1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
3.4. funcion p2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.5. funcion p3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.6. funcion p4 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
3.7. funcion p5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
3.8. funcion p6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
5.1. Ejemplo de triangulacion . . . . . . . . . . . . . . . . . . . . . 98
5.2. Ejemplo de una funcion base . . . . . . . . . . . . . . . . . . . 99
5.3. funcion 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
5.4. funcion 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 101
5.5. funcion 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
5.6. Triangulacion del cuadrado [0, 1] [0, 1]
. . . . . . . . . . . . 103
5.7. Curvas de nivel de la funcion 41 . . . . . . . . . . . . . . . . 104

5
INDICE DE FIGURAS
5.8. Soporte de la funcion 41 . . . . . . . . . . . . . . . . . . . . . 104
5.9. Estrella asociada a la ecuacion 41 . . . . . . . . . . . . . . . . 105
Captulo 1
Espacios de Sobolev
1.1.
Nociones sobre teora de distribuciones
Sea un abierto no vaco de Rd .

Definici
on: D() es el espacio de funciones de clase C () con soporte
compacto en .
Utilizaremos la siguiente notacion para las derivadas en D(): si
D() y = (1 , . . . , d ) Nd es un multientero, con || = 1 + . . . + d ,
denotamos
1
d
||
=
...
=
x1
xd
x1 1 . . . x2 d
Pseudotopologa en D()
Definici
on: si {n } es una sucesion de D() diremos que lm n =
n
en D() si:
1. el soporte de n permanece en un compacto fijo K de n,
2. Nd se tiene convergencia uniforme, es decir,
sup
x,Nd
| n (x) (x)| 0
n
1.1. NOCIONES SOBRE TEORIA DE DISTRIBUCIONES

Definici
on: Se denomina espacio de distribuciones sobre , D0 (), al
dual topologico de D(), es decir, el espacio de las formas lineales continuas
sobre D().
Pseudotopologa en D0 ()
Definici
on: si {Tn } es una sucesion de D0 () diremos que lm Tn = T
n
en D () si hTn , i hT, i, D().

n
Ejemplos:
1. Delta de Dirac:
Sea a , la delta de Dirac en a, a se define ha , i = (a) D().
2. Espacio de funciones L2 ():
Recordemos que L2 () = {f : R medibles :
f 2 dx < } es un
R
espacio de Hilbert con el producto escalar (f, g)0, = f (x)g(x)dx y
R
1/2
la correspondiente norma asociada kf k0, = f (x)2 dx
. Ademas
D() es denso en L2 (). A cada f L2 () le asociamos la distribuR

cion Tf definida por: hTf , i = f (x)(x)dx D(). La aplicacion
L2 () D0 () que asigna a cada funcion f la correspondiente distribucion asociada Tf as definida es inyectiva y continua.
Derivacion en el sentido de las distribuciones
Definici
on: Sea T D0 () una distribucion, se define la derivada de
T respecto a xi en el sentido de las distribuciones,
T
,
xi
como la siguiente
distribucion:
h
, i = hT,
i, D().
xi
xi
De manera general, sea T D0 () una distribucion y Nd un multientero,

se define:
h T, i = (1)|| hT, i, D().
Propiedades:
8
1.2. EL ESPACIO DE SOBOLEV H 1 ()

1. Si f C 1 (), su derivada clasica coincide con su derivada en el sentido
de las distribuciones, es decir, T f =
xi
2. La aplicacion
xi
Tf
.
xi
: D0 () D0 () es continua.
3. Una distribucion es infinitamente derivable en el sentido de las distribuciones.

4. La aplicacion : D0 () D0 () es continua Nd .
1.2.
El espacio de Sobolev H 1()
Sea f L2 () que puede ser o no derivable en el sentido clasico, pero

entendida como distribucion, Tf D0 (), podemos derivarla en el sentido
de las distribuciones
Tf
xi
D0 (), 1 i d. En general, esta distribucion
no esta en L2 (), pero si existe una funcion g L2 () tal que Tg =

entonces podemos escribir g =
f
xi
L2 () en el sentido de las distribuciones,
cumpliendose,
Z
Z
Tf
gdx = hTg , i = h
, i = hTf ,
i= f
dx,
xi
xi
xi
D()
Definici
on: Se llama espacio de Sobolev de orden 1 sobre al espacio,
H 1 () = {v L2 (),
v
L2 (), 1 i d}
xi
donde las derivadas son en el sentido de las distribuciones.

Se dota a este espacio del siguiente producto escalar,
Z
(u, v)1,
d
X
u v
= (uv +
)dx,
xi xi
i=1
y la correspondiente norma asociada,

Z
kuk1, =
1/2
(u, v)1,
Tf
xi
d
X
u 2 1/2
=( u +
(
) dx) .
xi
i=1
2
1.2. EL ESPACIO DE SOBOLEV H 1 ()

Teorema: H 1 () es un espacio de Hilbert con la norma k k1, .
Demostracion: Recordemos que un espacio de Hilbert es un espacio vectorial dotado de un producto escalar que es completo para la norma asociada,
es decir, que toda sucesion de Cauchy es convergente. Basta pues demostrar
que en H 1 () toda sucesion de Cauchy es convergente para la norma k k1, .
on de Cauchy en H 1 (), por lo tanto,
Sea {vm }
m=1 una sucesi
Z
kvn
vm k21,
lo cual implica,
((vn vm )2 +
d
X
vn vm 2
(
) )dx 0
n,m
x
x
i
i
i=1
(vn vm )2 dx 0,
R Pd vn vm n,m
2
i=1 ( xi xi ) dx 0.
n,m
vm
Por lo tanto, las sucesiones {vm }
m=1 y { xi }m=1 para i = 1, . . . , d, enten-
didas como sucesiones de L2 () son de Cauchy. Como L2 () es un espacio

completo, estas sucesiones son convergentes en este espacio, es decir, existen
funciones v y vi , 1 i d, en L2 (), tales que,
vn v,
n
vn
xi n
Basta demostrar que vi =
v
,
xi
vi , 1 i d.
1 i d, en el sentido de las distribu-
ciones. Puesto que la inclusion canonica de L2 () en D0 () es continua, la

convergencia de las sucesiones en L2 () implica la convergencia en D0 (), es
decir,
Tvn Tv ,
n
T vn Tvi , 1 i d.
xi
Por otro lado, la continuidad de la derivada en el sentido de las distribuciones

implica,
Tv
Tvn
, 1 i d.
xi n xi
10
1.3. EL ESPACIO H01 ()

Como ademas
Tvn
xi
u
nico, entonces vi =
= T vn , 1 i d por ser vn H 1 (), y el lmite es

xi
v
,
xi
1 i d, en el sentido de las distribuciones.
Teorema: H 1 () es separable, es decir, tiene una parte densa numerable.

Demostracion: La demostracion de este resultado se basa en las siguientes
propiedades de los espacios separables:
1. el producto cartesiano de espacios separables es separable,
2. un subespacio cerrado de un espacio separable es separable.
L2 () es un espacio de Hilbert separable, entonces el espacio producto (L2 ())d+1
con la estructura hilbertiana producto es separable. Por otro lado, la aplicacion,
J : v 7 (v,
v
v
,...,
)
x1
xd
de H 1 () en (L2 ())d+1 es una isometra, puesto que,
kJvk(L2 ())d+1 =
(kvk20, )
d
X
v 2 1/2
k ) = kvk1, .
+
k
xi 0,
i=1
Identificando H 1 () con J(H 1 ()), al ser este un subespacio cerrado del

espacio separable (L2 ())d+1 , es separable, y por tanto H 1 () es separable.
1.3.
El espacio H01()
Sabemos que D() es denso en L2 () y H 1 () es un cierto subespacio de

L2 (). Nos preguntamos si D() es denso en H 1 (), en general NO, pero si
= Rd entonces si es cierto.
11

Definici
on: Se define H01 () como la adherencia de D() en H 1 (), es
H 1 ()
decir, H01 () = D()
Teorema: D(Rd ) es denso en H 1 (Rd ), es decir, H01 (Rd ) = H 1 (Rd ).

Demostracion: La demostracion de este resultado se divide en dos partes:
truncamiento y regularizacion. Con la regularizacion demostramos que el
espacio D(Rd ) es denso en el espacio de las funciones de H 1 (Rd ) con soporte
compacto, y con el truncamiento demostramos que este espacio es denso en
H 1 (Rd ).
1- Truncamiento
Queremos aproximar las funciones de H 1 (Rd ) por funciones de H 1 (Rd ) con
soporte compacto. Para ello introducimos una funcion M D(Rd ) tal que:
para |x| 1
M (x) = 1
0 < M (x) < 1 para 1 < |x| < 2
M (x) = 0
para |x| > 2
Ahora, para todo n
umero real R > 0, definimos la funcion MR D(Rd ) dada
por:
x
x
x
xd
1
MR (x) = M
donde
=
,...,
.
R
R
R
R
Entonces, si v H 1 (Rd ), la funcion MR v H 1 (Rd ) y es de soporte compacto
pues su soporte es el de MR . Veamos ahora que MR v v en H 1 (Rd ) y
R
habremos concluido. Para ello tenemos que demostrar dos cosas:

1- MR v v
R
2-
MR v
v
x
xi
i
R
en L2 (Rd )
en L2 (Rd ) para i = 1, . . . , d
1- Tenemos que ver que kMR v vk0,Rd 0, en efecto,

R
R
kM
vk
(M v v)2 dx =
d =
R
0,R
Rd R R
R
2
(M v v) dx + |x|R (MR v v)2 dx
R|x|<R R
R
(MR v v)2 dx |x|R v 2 dx 0
|x|R
R
12

2- Calculemos
MR v
xi
en el sentido de las distribuciones.

MR v MR
v
=
v + MR
xi
xi
xi
El segundo termino evidentemente converge a 0 cuando R . Veamos el

x
R
primer termino. Tenemos que M
(x) = R1 M
, por tanto i = 1, . . . , d,
xi
xi R
se tiene que lmR supxRd
Z
M
Rd
xi
MR
(x)
xi
= 0 . As podemos concluir
MR 2
dx sup |
|
xRd xi
Z
v 2 dx 0
Rd
2- Regularizacion
Queremos demostrar que toda funcion de H 1 (Rd ) con soporte compacto se
puede escribir como lmite en H 1 (Rd ) de funciones v D(Rd ). Para ello
definimos una funcion D(Rd ) tal que:
0
(x) = 0 si |x| > 1
R
(x)dx = 1
Rd
Ahora, para cada > 0, construimos la funcion D(Rd ) definida por
(x) =
1
( x )
d
que verifica:
0
(x) = 0 si |x| >
R
(x)dx = 1
Rd
Consideramos la funcion regularizada v = ? v, es decir,

Z
v (x) =
(x y)v(y)dy
Rd
Como v y son de soporte compacto, v tambien es de soporte compacto. Por

las propiedades del producto de convolucion y por ser D(Rd ) tenemos
que v es C diferenciable.
13

Por u
ltimo, utilizando el resultado del lema que demostramos a continuacion,
tenemos:
v v en L2 (Rd )
v
xi
= ?
v
v
xi 0 xi
en L2 (Rd )
Y as tenemos que v v en H 1 (Rd ).

0
Lema: Si f L2 (Rd ) ? f f en L2 (Rd ).

0
Demostracion: Como D(Rd ) es denso en L2 (Rd ), se puede considerar una

sucesion fn D(Rd ) tal que fn f en L2 (Rd ) y escribir,
n
? f f = ? f ? f n + ? f n fn + fn f
Tomando la norma k k0,Rd ,
k ? f f k0,Rd k ? f ? fn k0,Rd + k ? fn fn k0,Rd + kfn f k0,Rd
Por un lado, por las propiedades del producto de convolucion, y por ser
k k0,1,Rd = 1, tenemos,
k ? f ? fn k0,Rd = k ? (f fn )k0,Rd k k0,1,Rd kf fn k0,Rd 0
n
Por otro lado, obviamente,

kfn f k0,Rd 0
n
Por u
ltimo, multiplicando por
R
Rd
(x y)dy = 1
R
R( ? fn fn )(x) = Rd
R (x y)fn (y)dy fn (x) =
RRd (x y)fn (y)dy Rd (x y)dyfn (x) =
RRd (x y)(fn (y) fn (x)dy =
(x y)(fn (y) fn (x)dy,
|xy|
tomando valor absoluto,
R
|( ? fn fn )(x)| |xy| | (x y)||(fn (y) fn (x)|dy
R
supy:|xy| |(fn (y) fn (x)| |xy| | (x y)|dy =
supy:|xy| |(fn (y) fn (x)|
14

Tenemos que supy:|xy| |(fn (y) fn (x)| 0 uniformemente, por tanto
|( ? fn fn )(x)| 0 uniformemente. Ademas y fn tienen soporte
compacto, luego su producto de convolucion tambien tiene soporte compacto.

Sea K = sop sopfn , entonces,
Z
Z
2
2
| ? fn fn | dx sup | ? (fn (x) fn (x)|
1dx 0,
Rd
y:|xy|
es decir, tambien tiende a 0 el termino que faltaba para completar la demostracion.

k ? fn fn k0,Rd 0.
Teorema (de prolongaci

on): Si v H01 (), la funcion ve, prolongacion
de v por 0 en Rd \ , es una funcion de H 1 ().
Demostracion: Para esta demostracion utilizaremos repetidamente el teorema de prolongacion de aplicaciones lineales continuas: Sea E un subespacio
de un espacio normado E, con E denso en E, B un espacio de Banach y
f : E B una aplicaci
on lineal continua, entonces existe una prolongaci
on
fe : E B lineal y continua.
Sea D(), evidentemente
e prolongacion de por 0 en Rd \ es una
funcion de D(Rd ) pues en la frontera de es 0. Por tanto
e sigue siendo de
soporte compacto y C diferenciable en todo Rd . Ademas kk
e 1,Rd = kk1,
provisto D() de la norma inducida por la de H 1 (). Por tanto, la siguiente
aplicacion es lineal y continua:
D() D(Rd ) H 1 (Rd )
7
e
Por otro lado, D() es denso en H01 (), entonces utilizando teorema de prolongacion de aplicaciones lineales continuas, esta aplicacion se prolonga a una
aplicacion lineal continua,
H01 () H 1 (Rd )
v 7 ve
15

Para concluir tenemos que ver que ve es la prolongacion por 0 en Rd \ .
En efecto, sea {n } una sucesion de funciones de D() que converge a v en
H01 (), en particular converge en L2 (). Por la continuidad de la aplicacion
ampliada,
fn converge a ve en H 1 (Rd ) y tambien en L2 (Rd ). Entonces podemos extraer una subsucesion {f
e casi por todas partes en
m } que converja a v
Rd , y por tanto,
si x se tiene que f
e(x)
m (x) = m (x) v(x) = v
d
si x R \ se tiene que f
e(x)
m (x) = 0 0 = v
F
ormula de Green para funciones de H01 ():
Z
Z
v
u
1
u, v H0 () se tiene
u
dx =
vdx i = 1, . . . , d
xi
xi
Demostracion: La demostracion de basa en la formula de Green para
funciones de D() (integracion por partes) y la densidad de D() en H01 ().
Por la densidad de D() en H01 (), existen dos sucesiones {un }
n=1 y
{vn }n=1 de D() que convergen respectivamente a u y v en la norma de

H 1 (), por tanto, i = 1, . . . , d,
un
u
xi n xi
vn
v
xi n xi
en L2 (),
en L2 ().
Aplicando la formula de Green clasica a las funciones de D(),

Z
Z
Z
un
vn
dx =
vn dx + un vn i ds
un
xi
xi
Como son funciones de soporte compacto, la integral sobre la frontera es

nula, y pasando al lmite se concluye.
Definici
on: Se define la siguiente seminorma sobre H 1 ():
v 7 |v|1, = (
d Z
X
i=1
16
v 2 1/2
) dx)
xi

Esta aplicacion es solo seminorma porque hay funciones de H 1 () que no
son nulas pero sus derivadas si lo son.
Teorema (Desigualdad de Poincar
e): Si es un abierto acotado de
Rd , existe una constante C = C() > 0 tal que,
v H01 () kvk0, C()(
d
X
v 2 1/2
k
k0, )
x
i
i=1
Demostracion: Por la densidad de D() en H01 (), basta demostrar este

resultado para funciones v D(), luego tomando sucesiones convergentes
queda demostrado v H01 ().
Como esta acotado, podemos suponer que esta contenido en una banda
{x = (x0 , xd ), x0 = (x1 , . . . , xd1 ), a xd b}. Sea v D() y ve su prolongacion por 0 en Rd \ . Obviamente ve D(Rd ), y se tiene por la desigualdad
de Cauchy-Schwarz,
Z xd
Z
Z xd e
e
v 0
v 0 2 1/2 xd 2 1/2
0
ve(x , xd ) =
(x , )d
(x , ) d
1 d
.
xd
xd
a
a
a
Tomando el cuadrado del valor absoluto,
Z
Z xd
2
e
e
v
0
0
2
v (x0 , )2 d,
|e
v (x , xd )| (xd a)
(x , ) d (xd a)
xd
xd
a
integrando respecto a la variable x0 ,
Z
Z
0
2
0
|e
v (x , xd )| dx (xd a)
Rd1
v (x)2 dx,
Rd xd
finalmente, integrando respecto a la variable xd ,

Z
2
Z bZ
|e
v (x)| dx =
Rd
1
|e
v (x , xd )| dx dxd (b a)2
2
Rd1
0
v (x)2 dx,
Rd xd
obteniendo,
2
R ev
e
v 2
kvk20, = ke
v k20,Rd 21 (b a)2 Rd x
(x) dx = 21 (b a)2 k x
k
d
d 0,
P
d
e
v 2
1
1
2
2
2
2 (b a)
i=1 k xi k0, = 2 (b a) |v|1, .
17

Tomando raz cuadrada, concluimos kvk0,
|ba|
|v|1, .
2
Observar que en la demostracion anterior basta exigir que sea acotado

en una direccion.
Supongamos que es acotado y definimos v tal que v(x) = 1, x ,
esta funcion es de H 1 () pero no verifica la desigualdad de Poincare. Por
tanto, podemos concluir el siguiente resultado:
Corolario: Si es un abierto acotado de Rd , entonces H01 () es un
subespacio propio de H 1 (), es decir, H01 ()
1
H ().
6
=
Corolario: Si es un abierto acotado de Rd , entonces la seminorma ||1,

es una norma sobre H01 () equivalente a la norma inducida por k k1, , es
decir, existen constantes C1 y C2 tales que
C1 kvk1, |v|1, C2 kvk1,
v H01 ()
Demostracion:
1. Es evidente que C2 = 1, en efecto,
|v|21,
Z
d
d Z
X
X
v 2
v 2
2
dx
v +
dx = kvk21,
=
x
x
i
i
i=1
i=1
2. Como es acotado y v H01 (), utilizando la desigualdad de Poinp

care obtenemos C1 = 1/ C 2 () + 1 despejando de:
d
d
X
X
v 2
v 2
2
(C
()+1)
kvk21, = kvk20, +
= (C 2 ()+1)|v|21,
x
x
0,
i
i 0,
i=1
i=1
18
1.4. UN TEOREMA DE LA TRAZA
1.4.
Un teorema de la traza
Sea = , dada una funcion v H 1 (), queremos definir su valor en

la frontera .
Para d = 1, se tiene H 1 (I) C 0 (I), entonces como toda fincion v
H 1 (I) tiene un representante continuo en I, basta tomar el valor de este
representante en los extremos del intervalo I para definir v| . Sin embargo,
para d 2, las funciones de H 1 () no son en general continuas y hacen falta
argumentos mas sofisticados para definir su valor en la frontera.
Nuestro objetivo es estudiar si D() es denso en H 1 (), para as poder
prolongar por continuidad la aplicacion 0 ,
0 : D() C 0 ()
v 7 0 v = v|
1
0 : H () L2 ()
v 7 0 v = v|
y as dar sentido al valor de las funciones v H 1 () en . Esta aplicacion
TRAZA, y el valor de 0 v de una funcion
prolongada se llama APLICACION
v H 1 () se llama TRAZA de v en .
D() sera denso en H 1 () para un abierto acotado de Rd con frontera
suficientemente regular. Veamos cuales son estas condiciones de regularidad
suficientes.
1.4.1.
Caso A
Consideremos el caso mas simple, = Rd+ donde

Rd+ = {x = (x0 , xd ) Rd , xd > 0}.
Entonces, la frontera de es el hiperplano = {x = (x0 , 0) Rd , x0 Rd1 }.
19

Teorema: D(Rd+ ) es denso en H 1 (Rd+ ).
Demostracion: De nuevo, esta demostracion se divide en fase de truncamiento y fase de regularizacion.
1- Truncamiento
Queremos aproximar las funciones de H 1 (Rd+ ) por funciones de H 1 (Rd+ ) con
soporte compacto en Rd+ . La demostracion es igual que en el caso anterior.
2- Regularizacion
Queremos demostrar que toda funcion de H 1 (Rd+ ) con soporte compacto se
puede escribir como lmite en H 1 (Rd ) de funciones v D(Rd+ ). Se procede de
nuevo mediante regularizacion por convolucion, pero en este caso se plantean
algunas dificultades.
Sea v H 1 (Rd+ ) con soporte compacto en Rd+ , para aplicar convolucion necesitamos que sea una funcion ampliada de todo Rd y luego volver
a restringir a Rd+ el producto de convolucion. Sin embargo, si prolongamos
v H 1 (Rd+ ) por 0 a todo Rd , la funcion prolongada no pertenece a H 1 (Rd ).
Para resolver esta dificultad trasladamos la funcion.
Sea wh la siguiente funcion h v = wh (x0 , xd ) = v(x0 , xd +h), definida para
xd h, y consideremos vh = wh |Rd+ . Veamos que vh v en H 1 (Rd+ ), para
h0
ello basta ver que vh v en L

h0
(Rd+ )
v
=
y observar que h x
i
( v).
xi h
Para demostrar que vh v en L2 (Rd+ ), por densidad, basta demostrarlo

h0
para v
D(Rd+ ).
Sea v D(Rd+ ), por tanto tiene soporte compacto dentro de Rd+ , luego
podemos ampliarla por 0 en Rd \ Rd+ y la funcion ampliada ve D(Rd ). Por
Cauchy-Schwarz, tenemos,
R 1 ev 0
h ve ve (x) = ve(x0 , xd + h) ve(x0 , xd ) = 0 h x
(x , xd + th)dt
R
1/2 R
1/2
Rd
2 1/2
2
1 2
1 e
1 e
v
v
0
0
h dt
(x , xd + th) dt
h 0 xd (x , xd + th) dt
0
0 xd
20

integrando el cuadrado en todo Rd ,
2
ve ve (x)dx
RdR hR
ev
2
1
(x)
dx
h2 0 dt Rd x
d
R
2
R R 1 ev 0
h2 Rd 0 x
(x
,
x
+
th)
dtdx =
d
R evd 2
2
2
= h Rd xd (x) dx h |e
v |21,Rd 0
h0
y finalmente, siendo vh = h v|Rd+ , tenemos,

kvh vk0,Rd+ =
Z
2
Rd+
(vh v) dx =
(h veh e
v )2 dx 0
Rd+
(h veh e
v ) dx
h0
Rd
Una vez que hemos demostrado que vh 0 en H 1 (Rd+ ), podemos

h0
limitar nuestro estudio a funciones v que son restricciones a Rd+ de funciones

w H 1 (Rdh ) y de soporte compacto.
Sea D(Rdh ) tal que = 1 en el sopv y = 0 cuando xd h/2.
Naturalmente wh H 1 (Rdh ), se anula en un entorno de la frontera de
gh , pertenece a H 1 (Rd ). Ahora ya
Rdh y su prolongacion por 0 a todo Rd , w
estamos en condiciones de aplicar regularizacion por convolucion, por tanto,
gh tales que ? w
gh w
gh en
existe una sucesion de funciones ? w
0
H (R ). Por las propiedades del producto de convolucion, a partir de un

suficientemente peque
no, se tiene,
gh sop + sopw
gh Rd
sop ? w
h
por tanto, tomando restricciones a Rdh ,
gh |Rd wh en H 1 (Rd ),
? w
h
h
0
y tomando restricciones a Rd+ ,
gh |Rd wh |Rd en H 1 (Rd ),

? w
+
+
+
0
gh |Rd D(Rd+ )
donde naturalmente ? w
+
21

Lema: Para toda funcion v de D(Rd+ ) se tiene la desigualdad
kv(, 0)k0,Rd1 kvk1,Rd+
Demostracion: Sea v D(Rd+ ), por el teorema fundamental del calculo
integral,
Z
Z
v 0
0
2
0
2
|v(x , 0)| =
|v(x , xd )| dxd = 2
v(x0 , xd )
(x , xd )dxd ,
xd
xd
0
0
utilizando la desigualdad de Cauchy-Schwartz,
Z
1/2 Z v
1/2
0
2
0
2
0
2
|v(x , 0)| 2
|v(x , xd )| dxd
|
(x , xd )| dxd
,
xd
0
0
y la desigualdad 2ab a2 + b2 ,
Z
v 0
0
2
|v(x , 0)|
|v(x0 , xd )|2 + |
(x , xd )|2 dxd ,
xd
0
de modo que concluimos integrando en x0 ,
R
kv(,
0)k0,Rd1 = Rd1 |v(x0 , 0)|2 dx0
R
v
|v(x0 , xd )|2 + | x
(x0 , xd )|2 dxd kvk21,Rd .
Rd
d
+
Corolario (Teorema de la traza en Rd+ ): La aplicacion lineal continua

D(Rd+ ) D(Rd1 ) L2 (Rd1 )
v 7 v(, 0)
se prolonga por continuidad a una aplicacion lineal continua
H 1 (Rd+ ) L2 (Rd1 )
v 7 v(, 0)
verificandose ademas v H 1 (Rd+ )
kv(, 0)k0,Rd1 kvk1,Rd+ .
22
1.4.2.
Caso B
Definici
on: Un abierto de Rd se dice que es 1-regular si es acotado y
su frontera es una variedad de clase C 1 de dimension d 1.
Esto significa que existe un n
umero finito de abiertos acotados i de Rd ,
0 i I, tales que 0 esta incluido en , {i }Ii=0 es un recubrimiento abierto
de , y para todo i = 1, . . . , I existe una aplicacion invertible de clase C 1
i : x 7 y = i (x) de i en B, bola abierta de Rd de radio 1, cuya aplicacion
inversa 1
tambien es de clase C 1 y tal que
i
i (i ) = B Rd+ = {y = (y 0 , yd ) Rd , |y| < 1, yd > 0},
i (i ) = {y = (y 0 , yd ) Rd , |y 0 | < 1, yd = 0}.
Diremos que {i , i }Ii=1 es un sistema de cartas locales que definen .
Vamos a demostrar el teorema de la traza para Rd abierto 1-regular,
pero tambien se puede generalizar a abiertos acotados con frontera de clase
C 1 a trozos.
La demostracion se hace en varias etapas, a traves de los siguientes lemas.
Lema 1: Si es 1-regular, existe un operador P lineal continuo llamado
de 1-prolongaci
on P : H 1 () H 1 (Rd ), tal que
v H 1 () P v = v
casi por todas partes en .
Demostracion: Veamos primero el caso de = Rd+ y luego por cartas

locales y particion de la unidad lo extenderemos al caso de un abierto
1-regular.
Caso: = Rd+
Si v D(Rd+ ), sea P v su prolongacion por reflexion,
P v(x , xd ) =
v(x0 , xd )
si xd 0
0
v(x , xd ) si xd < 0
23

P v es continua, esta en H 1 (Rd ) y se tiene,
v 0
si xd 0
xi (x , xd )
P v 0
v
0
(x , xd )
si xd < 0 y 1 i d 1
(x , xd ) =
xiv 0
xi
xi (x , xd ) si xd < 0
de donde se deduce que kP vk1,Rd =
2kvk1,Rd+ que nos da la continuidad de
la aplicacion P : D(Rd+ ) D(Rd ) H 1 (Rd ).

Como D(Rd+ ) es denso en H 1 (Rd+ ), esta aplicacion se prolonga por continuidad a todo H 1 (Rd+ ), verificando que P v(x) = v(x) casi por todo Rd+ .
Caso: abierto 1-regular
Sea {i }Ii=1 una particion de la unidad subordinada al recubrimiento {i }Ii=1 ,
P
es decir, i D(i ), i = 0, . . . , I y Ii=1 i = 1. Si v H 1 (), escribimos,
v=
I
X
i v,
i=1
y para cada i = 0, 1, . . . , I definimos P (i v) de modo que,

Pv =
I
X
P (i v).
i=1
Por un lado, P (0 v) =
g
on de 0 v por 0 en Rd \ . Por otro
0 v, prolongaci
lado, para i = 1, . . . , I, consideramos la funcion wi = (i v) (1
i |B+ ), donde
B+ = B Rd+ . Se tiene que wI H 1 (B+ ) y es nula en un entorno de
{y B+ ; yd > 0}, entonces podemos prolongar wi por 0 en Rd+ \ B+ y
obtener una funcion wei H 1 (R+ ), y esta a su vez prolongarla por reflexion
a una funcion wi H 1 (Rd ) de soporte compacto en B. Finalmente, wi i
definido en i se prolonga por 0 en Rd \ i de modo que w^
on
i i es una funci
de H 1 (Rd ). De este modo definimos P (i v) = w^
i i para i = 1, . . . , I.
Ahora es facil verificar que la aplicacion v
condiciones del lema.
24
PI
i=0
P (i v) verifica las

Lema 2: Si es 1-regular, D() es denso en H 1 ().
Demostracion: Sea v H 1 () y P v H 1 (Rd ) su prolongacion a todo
d
Rd . Como D(Rd ) es denso en H 1 (Rd ) existe una sucesion {wn }
n=1 D(R )
tal que wn P v en H 1 (Rd ). Sea vn = wn | , la sucesion {vn }

n=1 es una
n
sucesion de D() tal que vn v en H 1 ().

n
Para el tercer lema utilizaremos la siguiente notacion d denota la medida

superficial sobre , inducida por la medida Lebesgue dx. As definimos L2 ()
el conjunto de las funciones definidas sobre medibles para la medida d y
R
de cuadrado integrable, con la norma kvk0, = v 2 d 1/2.

De manera equivalente, utilizando la p`articion de la unidad, podemos
definir,
L2 () = {v R,
2
d1
(i^
v) 1
),
i (, 0) L (R
1 i I}
con la norma
[|v[|0, =
I
X
1/2
2
k(i^
v) 1
i k0,Rd1
i=1
que es equivalente a la anterior, es decir, existen constantes C1 y C2 tales que

C1 [|v[|0, kvk0, C2 [|v[|0, .
Lema 3: Si es 1-regular, existe una constante C > 0 tal que
v D() k0 vk0, Ckvk1, .
Demostracion: Sea v D(), utilizando la particion de la unidad {i }Ii=1 ,

definimos en B+ las funciones wi = (i v) 1
ei su
i , para 1 i I. Sea w
un el teorema de la traza en Rd+ , se tiene
prolongada por 0 a todo Rd+ . Seg
que kwei (, 0)k0,Rd1 kwei k1,Rd+ , y por las propiedades de i y i , se deduce
kwei k1,Rd+ Ci kvk1, . Finalmente, por la equivalencia anterior de normas, se
25
1.5. APLICACIONES DEL TEOREMA DE LA TRAZA

concluye,
PI
1/2
2
^
k0 vk0, C2 [|0 v[|0, = C2
k
w
(,
0)k
d1
i
i=1
0,R
PI
2 1/2
C2
= Ckvk1,
i=1 kCi
El teorema de la traza es consecuencia directa de estos tres resultados.

Teorema (de la traza): Sea un abierto 1-regular de Rd . Entonces
D() es denso en H 1 () y la aplicacion lineal continua 0 : v 7 0 v = v| de
D() en L2 () se prolonga por continuidad a una aplicacion lineal continua
de H 1 () en L2 (), que denotamos tambien 0 , llamada aplicacion traza.
1.5.
Aplicaciones del teorema de la traza
F
ormula de Green para funciones de H 1 ()
Denotamos por i la i-esima componente del vector normal unitario exterior de .
Teorema: Sea un abierto 1-regular de Rd . Entonces u, v H 1 () se
tiene,
Z
Z
Z
v
u
u
dx =
vdx + uvi d, i = 1, . . . , d.
xi
xi
Demostracion: Si u, v H 1 (), entonces existen sendas sucesiones {un }

n=1
d
1
y {vn }
n=1 en D(R ) tales que convergen respectivamente a u y v en H ().
Para un , vn D(Rd ) es valida la formula de Green,

Z
Z
Z
vn
un
un
dx =
vn + un vn i d, i = 1, . . . , d.
xi
xi
Se concluye pasando al lmite, puesto que por la continuidad de la aplicacion

traza, un | y vn | convergen respectivamente a u|n y v|n en L2 ().
26

Caracterizaci
on del espacio H01 ()
El teorema de la traza tambien nos permite caracterizar de forma mas
sencilla el subespacio H01 () de H 1 ().
ucleo
Teorema: Sea un abierto 1-regular de Rd . Entonces H01 () es el n
de la aplicacion traza 0 : H 1 () L2 (), esto es,
H01 () = {v H 1 () : v| = 0}
Demostracion: Sea v H01 (), entonces existe una sucesion {n }
n=1 de
D() tal que n v en H 1 (). Por la continuidad de la aplicacion traza,
n
k0 n 0 vk0, Ckn vk1, , de donde 0 n 0 v en L2 (). Como

n
las funciones n son de soporte compacto en , entonces 0 n = 0 n, y por

tanto 0 v = 0 en .
La demostracion del recproco es mas delicada. Lo demostraremos para
= Rd+ , pues por cartas locales y particion de la unidad se generaliza al caso
abierto 1-regular.
Sea pues v {v H 1 (Rd+ ) : 0 v = v(, 0) = 0} y queremos demostrar que
v H01 (Rd+ ), es decir, que se puede aproximar por funciones n D(Rd+ ).
d
Buscamos una sucesion {n }
v
n=1 de funciones de D(R+ ) tal que n
n
en H (v).
Sea ve la prolongacion por 0 de v a todo Rd . Es facil ver que ve H 1 (Rd ).
v
L2 (Rd ), i = 1, . . . , d. Basta deObviamente ve L2 (Rd ) y tambien f
xi
mostrar que
e
v
xi
f
v
= x
, i = 1, . . . , d y tendremos que ve H 1 (Rd ). En
i
efecto, D(Rd ), aplicando la formula de Green y teniendo en cuenta que

v(, 0) = 0, tenemos que i = 1, . . . , d,
R
R
R v
e
v
,
i
=
he
v
,
i
=
e
dx
=
h x
d v x dx = Rd x dx
d v
x
x
R
R
i
i
i
i
i
+
+
R
R v
R f
f
v
v
vi d = Rd xi dx = Rd xi dx = h xi , i
{(x0 ,0),x0 Rd1 }
+
27

Como en los casos anteriores, tenemos que hacer producto de convolucion
por una sucesion regularizante, D(Rd ), pero de nuevo el soporte de
? ve puede estar fuera de Rd+ . Para evitarlo nos trasladamos una magnitud
h definiendo h ve(x0 , xd ) = ve(x0 , xd h). Ya demostramos que h ve ve y que
0
ademas soph ve
Rd+ ,
por tanto h ve|Rd+ ve|Rd+ en H

0
(Rd+ ).
Por otro lado,
sop( ? h ve) Rd+ y como ya vimos ? h ve h ve en H 1 (Rd ). Con ambas

0
cosas, ? h ve|Rd+ ve|Rd+ en H

0,h0
(Rd+ ),
siendo ? h ve|Rd+ D(Rd+ ) la
sucesion buscada.
Construcci
on de subespacios de H 1 () de dimensi
on finita
Otra aplicacion muy u
til es la construccion efectiva de subespacios de
dimension finita de H 1 (). Sea = N
on de tal
r=1 r una descomposici
que:
r es un abierto de Rd contenido en con frontera r de clase C 1 , para
todo r = 1, . . . , N ,
r s = para r 6= s.
Teorema: Sea v C 0 () tal que la restriccion v|r H 1 (r ) r =
1, . . . , N , entonces v H 1 ().
Demostracion: Sea v C 0 () con v|r H 1 (r ), r = 1, . . . , N . Evidentemente v L2 (), veamos que tambien las derivadas en el sentido de las
distribuciones
v
xi
son tambien funciones de L2 (), i = 1, . . . , d. Definimos
vi L2 () tal que vi |r =
v
| ,
xi r
r = 1, . . . , N , veamos que vi =
sentido de las distribuciones. En efecto, D(), se tiene,

R
PN R
v
h x
,
i
=
hv,
i
=
v
dx
=
r=1 r v xi dx =
x
x
i
i
i
R v
R
PN
P R v
dx r vi d = N
r=1
r=1 r xi dx
r xi
R
PN R
r=1 r vi dx = vi dx = hvi , i.
Entonces
v
xi
L2 () y por tanto v H 1 ().
28
v
xi
en el
1.6. UN RESULTADO DE COMPACIDAD
1.6.
Un resultado de compacidad
El siguiente resultado se llama teorema de Rellich, y sera u

til para las
sucesiones pues nos permite afirmar que en las condiciones del teorema de la
traza, dada una sucesion acotada en H 1 (), podemos extraer una subsucesion
convergente en L2 ().
Teorema: Sea un abierto 1-regular de Rd . Entonces la inyeccion canonica de H 1 () en L2 () es compacta, es decir, todo subconjunto acotado de
H 1 () es relativamente compacto en L2 ().
1.7.
Los espacios de Sobolev H m()
Generalicemos la definicion del espacio de Sobolev H 1 ().

Definici
on: Para todo entero m 1 llamamos espacio de Sobolev de
orden m sobre al espacio
H m () = {v L2 (), v L2 (), || m},
dotado del producto escalar,
Z
(u, v)m, =
u v dx,
la norma asociada,
kukm, =
1/2
(u, u)m,
y la seminorma,
|u|m, =
Z X
u dx ,
Z X
2
u dx ,
=m
Teorema: H m () es un espacio de Hilbert separable para la norma k

km, .
29
1.7. LOS ESPACIOS DE SOBOLEV H M ()

La demostracion es identica al caso m = 1.
Caso particular H 2 ()
Si es 1-regular, se puede definir la traza de una funcion v H 2 (),
0 v = v| . Por otro lado, si v H 2 () entonces
v
xi
H 1 (), 1 i d, y por
v
tanto tambien se pueden definir las trazas de estas funciones 0 x
=
i
v
| ,
xi
v
1 i d, que pertenecen a L2 (). La funcion i x
| es entonces una
i
funcion de L2 () por ser producto de una funcion de L () y otra de L2 (),

y podemos definir la derivada normal,
d
X v
v
| =
i
|
xi
i=1
como una funcion de L2 ().
Sea u =
Pd
2u
i=1 x2i
el Laplaciano de una distribucion u. Entonces si
u H 2 (), se tiene para toda funcion v H 1 (),

Z
d Z
d nZ
o
X
X
2u
u v
u
(u)vdx =
vdx
=
dx
v
d
,
i
x2i
xi xi
xi
i=1
i=1
Z
de donde se obtiene la formula de Green generalizada.

Teorema: (F
ormula de Green generalizada) Si es 1-regular, para
toda funcion u de H 2 () y toda funcion v de H 1 (), se tiene:
Z
u vdx
(u)vdx =
u
vd.
Nota: para m > d/2 las funciones de H m () son continuas, en particular,

si es un abierto de R2 o R3 , entonces H 2 () C 0 ().
30
Captulo 2
Formulaci
on d
ebil de problemas
elpticos
2.1.
Problemas variacionales abstractos
Vamos a introducir un marco abstracto bien adaptado para problemas de

contorno asociados a ecuaciones en derivadas parciales. Sean:
1. V un espacio de Hilbert sobre R de norma k k,
2. una forma bilineal a(, ) : V V R continua, es decir, existe una
constante M 0 tal que u, v V, a(u, v) M kukkvk, y V -elptica,
es decir, existe una constante > 0 tal que v V, a(v, v) kvk2 ,
3. y una forma lineal L : V R continua, es decir, v V, |L(v)|
kLk? kvk, donde kLk? = supvV,v6=0 L(v)
kvk
Consideramos el siguiente problema variacional:
(P ) Hallar u V tal que a(u, v) = L(v) v V
La existencia y unicidad de la solucion de este problema nos la da el
teorema de Lax-Milgram.
31
2.1. PROBLEMAS VARIACIONALES ABSTRACTOS

Teorema de Lax-Milgram: Si se verifican las condiciones 1, 2 y 3, el
problema P tiene solucion u
nica.
Observar que si suponemos que la forma bilineal a(, ) es ademas simetrica, entonces a(, ) es un producto escalar en V con norma asociada kvkE =
1/2
a(v, v)
, que es equivalente a la norma k k de V . En este caso, la existencia y unicidad de la solucion del problema (P ) viene dada por el teorema
de Riesz-Frechet.
Demostracion: Introducimos el siguiente operador,
A : V V
u 7 Au
definido por (Au, v) = a(u, v) v V donde (, ) designa el producto escalar en V . Esta aplicacion esta bien definida pues fijado u, la aplicacion
v 7 a(u, v) es lineal y continua de V en R, y por el teorema de Riesz-Frechet
se puede representar dicha aplicacion por un u
nico elemento de V que llamaremos Au.
Evidentemente la aplicacion A es lineal y continua por serlo a(, ), y
ademas verifica,
kAuk = supvV,v6=0
(Av, v) kvk2
a(u,v)
kvk
M kuk
Por otra parte, al ser L una forma lineal continua sobre V , aplicando de
nuevo el teorema de Riesz-Frechet, existe un u
nico L V tal que v V
se tiene L(v) = ( L, v).
Observar que esto define una biyeccion lineal,
: V 0 V
L 7 L
que es una isometra puesto que,
( L, v)
L(v)
= sup
= kLk?
vV,v6=0 kvk
vV,v6=0 kvk
k Lk = sup
32

Entonces el problema (P ) se puede escribir de la siguiente forma,
Hallar u V tal que (Au, v) = ( L, v) v V,
esto es,
Hallar u V tal que Au = L.
Para demostrar que este problema, en su u
ltima version, tiene solucion
u
nica utilizaremos el teorema de Punto Fijo de Banach para contracciones
estrictas. Para ello, dado un > 0 que elegiremos mas adelante de forma
apropiada, escribimos nuestro problema de la siguiente forma,
Hallar u V tal que u = u (Au L).
De este modo, tenemos definida una aplicacion,
T : V V
v 7 v (Av L)
cuyo punto fijo sera solucion de nuestro problema. Para demostrar que esta
aplicacion tiene un u
nico punto fijo bastara demostrar que es una contraccion
estricta puesto que al ser V un espacio de Hilbert y por tanto completo,
podremos aplicar el teorema de Banach que asegura en este caso la existencia
de un u
nico punto fijo.
En efecto, se tiene que,
kT v1 T v2 k2 = kv1 v2 (A(v1 v2 ))k2 =
kv1 v2 k2 2(A(v1 v2 ), v1 v2 ) + 2 kA(v1 v2 )k2
(1 2 + 2 )kv1 v2 k2
luego para que T sea una contraccion estricta basta tomar de modo que
1 2 + 2 < 1, y esto es cierto para 0 < < 2/M 2 .
Por tanto para cada entre 0 y 2/M 2 hemos demostrado que existe una
solucon del problema (P ), veamos que esta es u
nica independientemente del
valor de elegido. Supongamos que existen u1 y u2 dos soluciones de (P ),
entonces,
a(u1 , v) = L(v) v V,
a(u2 , v) = L(v) v V.
33

Restando a(u1 u2 , v) = 0, v V , en particular, a(u1 u2 , u1 u2 ) = 0, y por
la V -elipticidad de la aplicacion bilineal, 0 = a(u1 u2 , u1 u2 ) ku1 u2 k2 .
Por tanto u1 = u2 .
Cuando la aplicacion bilineal a(, ) es ademas simetrica, el problema (P )

es equivalente a un problema de optimizacion.
Teorema: Si se verifican las condiciones 1, 2 y 3, y ademas a(, ) es
ssimetrica y verifica a(v, v) 0 v V , entonces el problema (P ) es equivalente al siguiente problema de optimizacion,
(Q) Hallar u V tal que J(u) = mn J(v)
vV
donde J(v) = 21 a(v, v) L(v).

Demostracion: Sea u solucion del prolema (P ). Sea v V cualquiera con
v 6= u, es decir, v = u + w con w 6= 0, entonces,
J(v) = J(u + w) = 12 a(u + w, u + w) L(u + w) =
1
a(u, u) + a(u, w) + 12 a(w, w) L(u) L(w) =
2
J(u) + a(u, w) L(w) + 12 a(w, w).
Como u es solucion de (P ), entonces a(u, w) = L(w), por otro lado a(w, w)
0, por tanto,
1
J(v) = J(u) + a(w, w) J(u),
2
y esto es cierto v V con v 6= u.
Veamos la demostracion del recproco. Sea u solucion del problema de
optimizacion (Q), entonces v V y > 0,
J(u) J(u + (v u))
J(u) 12 a(u + (v u), u + (v u)) L(u + (v u))
2
J(u) 12 a(u, u) + a(u, v u) + 2 a(v u, v u) L(u) L(v u)
2
0 a(u, v u) + 2 a(v u, v u) L(v u)
0 2 a(v u, v u) + a(u, v u) L(v u).
34

2.2. PROBLEMA DE DIRICHLET HOMOGENEO
ASOCIADO AL
OPERADOR 4
Tomando el lmite cuando 0+ , tenemos,
0 a(u, v u) L(v u).
Como esta desigualdad es cierta v V , podemos tomar v + u en lugar de
u, de donde,
0 a(u, v) L(v), v V,
y de la misma forma, tomandov en lugar de v,
0 a(u, v) L(v),
v V,
de donde se deduce,
a(u, v) = L(v),
v V.
2.2.
Problema de Dirichlet homog

eneo asociado al operador 4
Sea un abierto acotado de Rd con frontera de clase C 1 a trozos. El

problema a resolver es:
(PDH1) Dada f L2 (), hallar u definida en y solucion de,
4u = f en
u = 0 sobre
Supongamos que u es suficientemente regular de modo que la ecuacion

anterior tenga sentido, por ejemplo u H 2 (), entendiendo las derivadas en
el sentido de las distribuciones. Multiplicando la primera ecuacion por una
funcion test v H01 () e integrando en ,
Z
Z
4uvdx =
f vdx.
35

ASOCIADO AL
OPERADOR 4
Utilizando la formula de Green, teniendo en cuenta que v| = 0, tenemos,
Z
Z
4uvdx =
u vdx,
de modo que la ecuacion anterior queda,

Z
Z
u vdx =
f vdx,
v H01 ().
Esta ecuacion tiene sentido aunque u no este en H 2 (), basta con que u
H 1 (). Por otro lado, al ser u = 0 sobre y por las propiedades de
tenemos que u H01 (). As podemos reemplazar el problema anterior por
VARIACIONAL O
el siguiente, que recibe el nombre de FORMULACION
DEBIL,
(PDH2) Dada f L2 (), hallar u H01 () tal que,
Z
Z
u vdx =
f vdx,
v H01 ().
Teorema: El problema anterior tiene solucion u

nica.
Demostracion: Basta demostrar que se verifican las condiciones del teorema de Lax-Milgram, siendo,
V = H01 (),
R
a(u, v) =
R u vdx,
L(v) = f vdx.
Evidentemente a(, ) es bilineal. La continuidad se obtiene gracias a la
desigualdad de Cauchy-Schwartz, en efecto,
R
P R u v
dx
a(u, v) = u vdx = di=1 x
P R 1/2 P R i xi
1/2
d
d
u 2
v 2
=
i=1 xi dx
i=1 xi dx
= |u|1, |v|1, kuk1, kvk1, .
36

ASOCIADO AL
OPERADOR 4
La V -elipticidad se obtiene por la equivalencia de normas en H01 (), por ser
acotado, ya que en este caso se verifica la desigualdad de Poincare, en
efecto,
d Z
X
v 2
a(v, v) =
dx = |v|21, kvk21, .
x
i
i=1
R
Finalmente L : H01 () R con L(v) = f vdx, es evidentemente lineal,
R
y ademas L(v) = f vdx kf k0, kvk0, kf k0, kvk1, , y por tanto continua.
Comentarios:
1. Observar que evidentemente una solucion del problema fuerte (PDH1)
es solucion del problema debil (PDH2). Recprocamente, si u H01 ()
es solucion del problema debil (PDH2), entonces podemos recuperar las
ecuaciones de la formulacion fuerte en el sentido de las distribuciones
y el teorema de la traza. En efecto, como D() es denso en H01 (),
tenemos que la ecuacion de la formulacion debil tambien es cierta
D(),
Z
Z
u dx =
f dx, D(),
que interpretandolo como productos de dualidad entre D() y D0 (),

equivale a,
hu, i = hf, i, D(),
y aplicando la definicion de derivada en el sentido de las distribuciones,
hu, i = hf, i,
D().
De este modo recuperamos la primera ecuacion en el sentido de las

distribuciones,
u = f, en D(),
en particular, como f L
2 (), se tiene,
u = f,
37
en L
2 (),

2.3. PROBLEMA DE NEUMANN HOMOGENEO
ASOCIADO AL
OPERADOR 4 + ID
y por las propiedades de las funciones de L
2 ()
u = f,
en c.t.p. de .
Por u
ltimo, por las condiciones de la frontera del dominio, podemos
aplicar el teorema de la Traza de modo que, al ser u H01 (), entonces
u| = 0.
2. Observar tambien que al ser la aplicacion bilineal de este caso simetrica,
el problema debil es equivalente al siguiente problema de optimizacion,
Dada f L2 (), hallar u H01 () tal que,
J(u) = mn J(v)
vV
donde J(v) =
2.3.
1
2
R Pd v 2
i=1
xi
dx
f vdx.
Problema de Neumann homog

eneo asociado al operador 4 + Id

(PNH1) Dada f L2 (), hallar u definida en y solucion de,
4u + u = f en
u
= 0 sobre
Supongamos que u es suficientemente regular, por ejemplo u H 2 ().

Multiplicamos la primera ecuacion de (PNH1) por una funcion test v
H 1 () e integramos en ,
Z
4uvdx +
uvdx =
38
f vdx.

ASOCIADO AL
OPERADOR 4 + ID
Utilizando la formula de Green, teniendo en cuenta que
Z
u
|

= 0, tenemos,
Z
4uvdx =
u vdx,
de modo que la ecuacion anterior queda,

Z
u vdx +
uvdx =
f vdx,
v H 1 ().
Podemos reemplazar el problema anterior por la correspondiente FOR VARIACIONAL O DEBIL,
MULACION
(PNH2) Dada f L2 (), hallar u H 1 () tal que,
Z
u vdx
uvdx =
f vdx,
v H 1 ().

nica.
Demostracion: Se demuestra aplicando el teorema de Riesz-Frechet siendo,
V = H 1 (),
Pd R
a(u, v) =
R i=1
L(v) = f vdx.
u v
dx
xi xi
uvdx = (u, v)1, ,
donde como vimos antes L() es lineal y continua, y como la aplicacion bilineal
a(, ) es directamente el producto escalar en H 1 (), aplicando directamente
el teorema de Riesz-Frechet, tenemos que el problema (PNH2) tiene solucion
u
nica.
Comentarios:
1. Es evidente que una solucion del problema fuerte (PNH1) es solucion del problema debil (PNH2). Veamos en que medida una solucion del problema debil (PNH2) es tambien solucion del problema
39

ASOCIADO AL
OPERADOR 4 + ID
fuerte (PNH1). Si u es solucion del problema debil (PNH2), como
D() H ( ), se verifica,
Z
u dx +
udx =
f dx,
D().
Interpretando las integrales como productos de dualidad entre D0 () y

D(), podemos escribir,
hu, i + hu, i = hf, i,
D(),
y como por definicion de derivada en el sentido de las distribuciones

hu, i = hu, i, podemos recuperar la ecuacion de la formulacion fuerte en el sentido de las distribuciones,
en D0 ().
u + u = f
De hecho, como f L2 (), se tiene,
en L2 ().
u + u = f
Para recuperar la condicion de contorno se necesita cierta regularidad

en la solucion. En efecto, si suponemos que u H 2 (), tiene sentido
integrar por partes en la ecuacion de la formulacion debil tenemos,
Z
Z
(u + u)vdx +
u
vd =
Z
f dx,
pero como ya hemos recuperado u + u = f en L2 (), entonces,

Z
u
vd = 0,
Como u H 2 () entonces
L2 (), se tiene que
u
|

u
|

v H 1/2 ().
L2 (), y al ser H 1/2 () denso en
= 0 en L2 ().
Observar que para recuperar la condicion de contorno es imprescindible

la hipotesis de regularidad u H 2 ().
40

2.4. PROBLEMA DE DIRICHLET NO HOMOGENEO
ASOCIADO AL
OPERADOR 4
2. Al ser a(, ) el producto escalar en H 1 (), es simetrico, y tenemos la
equivalencia del problema (PNH2) con el problema de optimizacion,
Dada f L2 (), hallar u H 1 () tal que,
J(u) = mn J(v)
vV
donde J(v) =
1
2
R P
d
v 2
i=1
xi
dx +
R
uvdx
f vdx.
3. En el problema de Neumann las condiciones de contorno se recogen

directamente en la formulacion variacional, mientras que en el problema
de Dirichlet aparecen en el espacio funcional elegido para resolver el
problema.
2.4.
Problema de Dirichlet no homog

eneo asociado al operador 4

(PD1) Dada f L2 () y g H 1/2 (), hallar u definida en soluci
on
de,
4u = f
u =g
en
sobre
Supongamos que u H 2 (), multiplicamos la primera ecuacion de (PD1)

por una funcion test v H01 () e integramos en . Aplicando la formula de
Green obtenemos que la funcion u verifica,
Z
Z
u vdx =
f vdx,
v H01 ().
Esta formulacion no encaja en el marco abstracto del teorema de LaxMilgram puesto que u H 1 () con u| = g y v H01 (). Sin embargo, como
41

2.4. PROBLEMA DE DIRICHLET NO HOMOGENEO
ASOCIADO AL
OPERADOR 4
g H 1/2 (), existe una funcion u0 H 1 () tal que u0 | = g. Sea w = uu0 ,
entonces w| = 0, y si u es solucion de la ecuacion anterior, entonces w lo es
de la siguiente,
Z
Z
Z
w vdx =
f vdx u0 vdx, v H01 ().
De esta forma hemos trasladado el problema al caso homogeneo, de modo

que el problema variacional es,
(PD2) Dada f L2 () y g H 1/2 (), hallar w H01 () tal que,
Z
Z
Z
f vdx u0 vdx, v H01 ()
w vdx =
donde u0 H 1 () con u0 | = g.
Resuelto este problema, la soluccion que buscamos es u = w + u0 . Por tanto,
el problema variacional que realmente resolvemos es,
(PD2) Dada f L2 () y g H 1/2 (), hallar u H 1 () tal que,
R
R
u vdx = f vdx, v H01 ()
u| = g
nica.
Demostracion: Sea u0 H 1 () tal que u0 | = g y w solucion del problema
(PD2), veamos que w existe y es u
nica. Si demostramos que la siguiente
aplicacion,
H01 ()R R
v 7 u0 vdx
es lineal y continua, estaremos en las condiciones del teorema de Lax-Milgram
como en el caso homogeneo. Evidentemente es lineal, la continuidad se obtiene gracias a la desigualdad de Cauchy-Schwartz y al hecho de ser u0 fijo,
en efecto,
R
P R
0 v
u0 vdx = di=1 u
dx
i
P R 1/2 xixP
1/2
d
d R v 2
u0 2
dx
=
i=1 xi
i=1 xi dx
= |u0 |1, |v|1, |u0 |1, kvk1,
42

2.5. PROBLEMA DE NEUMANN NO HOMOGENEO
ASOCIADO AL
OPERADOR 4 + ID
Por tanto tenemos,
V = H01 (),
R
a(u, v) =
bilineal, continua y H01 ()-elptica
R u vdx,
R
L(v) = f vdx u0 vdx, lineal y continua.
y por el teorema de Lax-Milgram existe una u
nica w H01 () solucion del
problema (PD2). Entonces u = w + u0 es solucion del problema (PD2), pero
como la eleccion de u0 no es u
nica, tenemos que demostrar la unicidad de u.
Sean u1 y u2 dos soluciones del problema (PD2), entonces se verifica,
R
R
u1 vdx = f vdx,
Ru1 | = g
R
u2 vdx = f vdx,
u2 | = g
v H01 ()
v H01 ()
restando las dos expresiones,

R
(u1 u2 ) vdx = 0,
(u1 u2 )| = 0
v H01 ()
tomando v = u1 u2 H01 (), resulta,

Z
Cku1
u2 k21,
|u1
u2 |21,
(u1 u2 ) u1 u2 dx = 0,
por tanto ku1 u2 k21, = 0 en H 1 (), luego u1 = u2 en H 1 ().
2.5.
Problema de Neumann no homog

eneo
asociado al operador 4 + Id

43

2.5. PROBLEMA DE NEUMANN NO HOMOGENEO
ASOCIADO AL
OPERADOR 4 + ID
(PN1) Dadas f L2 () y g H 1/2 (), hallar u definida en y solucion
de,
4u + u = f
u
=g
en
sobre
Supongamos que u H 2 (), multiplicamos la primera ecuacion de (PN1)

por una funcion test v H 1 () e integramos en . Aplicando la formula de
Green obtenemos,
Z
Z
Z
Z
u
vd =
f vdx, v H01 ().
u vdx + uvdx

El correspondiente problema variacional o formulacion debil es,
(PN2) Dadas f L2 () y g H 1/2 (), hallar u H 1 () tal que,
Z
Z
Z
Z
u vdx + uvdx =
f vdx + gvd, v H 1 ().

nica.
Demostracion: La demostracion es como en el caso homogeneo, aplicando
el teorema de Riesz-Frechet donde,
V = H 1 (),
R
Pd R u v
a(u, v) =
dx
+
uvdx = (u, v)1, ,
i=1
x
x
i
i
R
R
L(v) = f vdx + gvd.
Basta demostrar que la siguiente aplicacion es lineal y continua,
H 1 ()R R
v 7 gu0 vd.
Evidentemente es lineal, veamos la continuidad, que se obtiene gracias a la
desigualdad de Cauchy-Schwartz, al teorema de la traza y al hecho de ser g
fijo, en efecto,
R
1/2 R
gvd
g d
v d
= kgk0, kvk0, Ckgk0, kvk1,
44
1/2
2.6. PROBLEMA DE CONTORNO ASOCIADO A UN OPERADOR

ELIPTICO DE SEGUNDO ORDEN
Por tanto, estamos en condiciones de aplicar el teorema de Riesz-Frechet que
nos asegura la existencia y uniicidad de la solucion.
2.6.
Problema de contorno asociado a un operador elptico de segundo orden
Sea un abierto acotado de Rd con frontera de clase C 1 a trozos. Sea

V un subespacio cerrado de H 1 () tal que,
H01 () V H 1 ().
Sean ai,j , 1 i, j d y a0 funciones medibles y acotadas en , es decir,
funciones de L (). Definamos la siguiente aplicacion,
a(, ) : V V R
R Pd
u v
u, v 7 a(u, v) =
i,j=1 ai,j xj xi + a0 uv dx
que es una forma bilineal y continua en H 1 () H 1 (). Supongamos que
ai,j , 1 i, j d y a0 verifican las hipotesis de elipticidad:
1. Existe un n
umero real > 0 tal que,
d
R ,
d
X
ai,j (x)i j ||2 , c.t.p. en .
i,j=1
2. Existe un n
umero real 0 tal que,
x , a0 (x) 0 , c.t.p. en .
De estas hipotesis se deduce que a(, ) es V -elptica si 0 > 0. Cuando
V = H 1 () la condicion 0 > 0 es necesaria y suficiente para que la forma
bilineal a(, ) sea V -elptica. Por el contrario, cuando V = H01 (), para que
45

la forma bilineal a(, ) sea V -elptica, basta que 0 0, o incluso es suficiente
que 0 > C 2() , donde C() es la constante de la desigualdad de Poincare.
Finalmente, sea f L2 () y definamos,
L() : V R
R
v 7 L(v) = f vdx
que es lineal y continua en V .
Definamos el siguiente problema,
(PV) Dadas a(, ) y L() definidas sobre V como antes, hallar u H 1 ()
tal que,
a(u, v) = L(v) v V.
Si la forma bilineal a(, ) es V -elptica, el teorema de Lax-Milgram nos
da la existencia y unicidad de la solucion de (PV).
Veamos como recuperar el problema fuerte a partir de esta formulacion
variacional. Si elegimos una funcion D() en lugar de v V , utilizando
las reglas de derivacion en el sentido de las distribuciones, obtenemos,
a(u, ) = hAu, i,
donde A es el operador diferencial elptico de segundo orden con coeficientes
variables definido por,
Au =
d
X

u
ai,j
+ a0 u.
x
x
i
j
i,j=1
Por otra parte, L() = hf, i. Por tanto, se verifica la ecuacion en derivadas
parciales de segundo orden,
Au = f
en el sentido de las distribuciones sobre . Pero como f L2 (), entonces
la distribucion Au L2 (), y la igualdad anterior es cierta en L2 (), y en
consecuencia,
Au(x) = f (x) c.t.p. en .
46

Teniendo en cuenta que Au = f L2 (), deducimos tambien,
Z
a(u, v) =
Au vdx v V,
relacion que tenemos que traducir en terminos de condiciones de contorno.

Para esto es para lo que necesitamos suponer que la frontera de es de
clase C 1 a trozos, es decir, que estamos en las condiciones del teorema de la
traza. Supongamos ademas que las funciones ai,j , 1 i, j d son funciones
P
u
de C 1 () y que u H 1 (), por tanto las funciones dj=1 ai,j x
, 1 i d,
j
pertenecen a H 1 (). Entonces, aplicando la formula de Green generalizada,
tenemos que u H 2 () y v H 1 (),
R Pd
R
u
f
racx
a
Au
vdx
=
vdx
+
a uvdx =
i
i,j
i,j=1
0
R xj
R P
R Pd
u
u
i vd =
= i,j=1 ai,j xj f racvxi dx + a0 uvdx di,j=1 ai,j x
j
R u
= a(u, v) A vd,
R
donde el operador
Pd
i,j=1
ai,j x j i se denomina derivada conormal
asociada al operador A.
Por lo tanto, despejando,
Z
a(u, v) =
Au vdx +
u
vd,
A
por lo que podemos deducir que,

Z
u
vd = 0,
A
v V.
Observar que si las hipotesis de regularidad no se verifican, la derivada

conormal no tiene sentido.
En resumen, la solucion u de (PV) verifica:
u V,
Au = f Ren ,
a(u, v) = Au vdx v V,
47

donde esta u
ltima ecuacion, en condiciones de regularidad suficientes se puede
sustituir por,
Z
u
vd = 0, v V.
A
Veamos que problema fuerte estamos resolviendo seg
un la eleccion de V .
1. V = H01 () PROBLEMA DE DIRICHLET HOMOGENEO

El problema resuelto es,
Au = f en ,
u = 0 sobre .
En este caso 0 0 o 0 >
C 2 ()
es suficiente para que el problema
variacional tenga solucion u

nica.
2. V = H 1 () PROBLEMA DE NEUMANN HOMOGENEO

Au = f en ,
u
= 0 sobre .
a
En este caso es necesario suponer 0 > 0 para que el problema variacional tenga solucion u
nica.
3. V = {v H 1 (); v = 0 sobre 0 } PROBLEMA MIXTO
Au = f en ,
u
u = 0 sobre 0 ,
= 0 sobre 1 ,
a
donde 0 y 1 son dos partes de la frontera tales que = 0 1 y

con interiores disjuntos.
La aplicacion composicion de la aplicacion traza H 1 () L2 () y de la
aplicacion restriccion de L2 () sobre L2 (0 ) es evidentemente continua
de H 1 () en L2 (0 ). Es sencillo comprobar que V es un subespacio
cerrado de H 1 () y por lo tanto espacio e Hilbert con la norma inducida
48

por la de H 1 (). Si suponemos que 0 > 0 entonces la aplicacion
bilineal a(, ) es V -elptica y el correspondiente problema variacional
tiene solucion u
nica.
Este resultado se puede generalizar al caso 0 0 si suponemos que
es conexo y la parte de la frontera con condiciones de tipo Dirichlet 0 ,
tiene medida no nula, pues en este caso la V -elipticidad de la aplicacion
bilineal a(, ) es consecuencia del siguiente teorema.
Teorema: Si es un abierto acotado de Rd con frontera de clase
C 1 a trozos y 0 una parte de la frontera de medida superficial no
nula, entonces la seminorma | |1, induce una norma sobre el espacio
V = {v H 1 (); v = 0 sobre 0 } equivalente a la norma k k1, .
Demostracion:
Veamos que la siguiente aplicacion es una norma sobre V ,
V R
v 7 |v|1, =
d
i=1
v 2
k x
k
i 0,
1/2
Basta demostrar que si v V es tal que |v|1, = 0 entonces v = 0. En

efecto, si |v|1, = 0 entonces
v
xi
= 0 en , i = 1, . . . , d, por tanto v es
constante en en virtud de su conexidad, pero como ademas v|0 = 0,

entonces v = 0 en .
Veamos ahora la equivalencia de las normas, es decir, que existen dos
constantes C1 y C2 positivas tales que v V ,
C1 kvk1, |v|1, C2 kvk1, .
Evidentemente, la segunda desigualdad es cierta para C2 = 1. La primera desigualdad se deduce por reduccion al absurdo. Supongamos que esta desigualdad no es cierta, entonces n entero positivo, existe una funcion wn V tal que kwn k1, > n|wn |1, . Sea vn = wn /kwn k1, , as obtenemos unan sucesion {vn } V tal que kvn k1, = 1 y |vn |1, < 1/n.
Por el teorema de Rellich, la inyeccion canonica de H 1 () en L2 ()
es compacta, por tanto, podemos extraer una subsucesion convergente
{v } convergente en L2 (),
v v
49
en L2 ().
2.7. UN EJEMPLO SIN UNICIDAD

Pero tenemos que |v |1, < 1/ 0, por tanto para i = 1, . . . , d,
se tiene
v
xi
< 1/ 0, es decir,
v
.
xi
Luego v es constante en
y como v|0 = 0, entonces v = 0 en , pero esto no es posible porque

kvk1, = lm kv k1, = 1.
n de transmiEjemplo:Problema mixto asociado ala ecuacio

n de calor.
sio
Consideremos el problema de la determinacion de la distribucion de la
temperatura u de un cuerpo que ocupa una region del espacio Rd , siendo
d = 1, 2 o 3. En fsica e ingeniera se conoce con frecuencia la temperatura
de una parte 0 de la frontera de , y en el resto de la frontera 1 , se conoce
sino el flujo de calor, una relacion que liga este con la temperatura en 1 , que
suele ser una condicion de transmision de calor por conveccion en la frontera
y que depende de un coeficiente h de conveccion.
Las ecuaciones que rigen este fenomeno son,
Pd
u
K
=f
i,j
i,j=1 xi
xj
Pd
u
i,j=1 Ki,j xj i = h(u u )
u =g
en
sobre 1
sobre 0
donde Ki,j L () es el tensor de conductividad, que se supone elptico, es

P
decir, existe una constante > 0 tal que di,j=1 Ki,j i j ||2 Rd . Si
K = kId, se dice que el medio es isotropo, es decir, el calor se transmite igual
en todas direcciones. h L (1 ), es el coeficiente de conveccion, u L2 (1 )
es la temperatura ambiente, f L2 () es la fuente de calor y g H 1/2 (0 )
es la temperatura en 0 .
2.7.
Un ejemplo sin unicidad
Observemos el problema de Neumann asociado al operador de Laplace,

50

(P1) Dadas f L2 () y g H 1/2 (), hallar u definida en y solucion
de,
4u = f
u
=g
en
sobre
En caso de que tenga solucion, esta no sera u

nica pues cualquier solucion
mas una constante sera tambien solucion. En el caso no homogeneo podemos
caracterizar el conjunto de soluciones.
Razonemos desde el punto de vista fsico de la ecuacion del calor, u representa la temperatura de un cuerpo, f L2 () son las fuentes volumetricas
de calor, y g L2 () las fuentes superficiales de calor. Estamos buscando
una solucion estacionaria, es decir, independiente del tiempo, pero si el aporte global de calor al cuerpo es positivo (resp. negativo), la temperatura del
mismo aumentara (resp. disminuira) con el tiempo y por tanto la solucion no
sera estacionaria. Luego parece un requisito indispensable para que nuestro
problema tenga al menos una solucion, que el aporte global de calor sea nulo,
lo que matematicamente se expresa,
Z
Z
f dx + gd = 0
El correspondiente problema variacional, procediendo como de costumbre,

es,
(P2) Dadas f L2 () y g H 1/2 (), hallar u H 1 () tal que,
Z
u vdx =
f vdx +
gvd,
v H 1 ().
Inicialmente nuestro espacio de trabajo sera V = H 1 (), y la forma

R
bilineal a(u, v) = u vdx, que no es elptica sobre H 1 (), y por tanto
no podemos aplicar el teorema de Lax-Milgram.
Sin embargo, el hecho de que una solucion venga determinada salvo constantes, nos lleva a introducir un nuevo espacio de clases de funciones, el
51

espacio cociente
V = H 1 ()/R,
cuyos elementos son clases de equivalencia u
e, donde dos funciones u1 , u2
H 1 () pertenecen a la misma clase de equivalencia si u1 u2 = cte.
Este espacio cociente V , es un espacio vectorial normado con la suma,
producto por escalares y norma habituales,
u
e + ve = u]
+ v,
f
e
u = u,
ke
ukV = infueu kuk1, .
Ademas V es un espacio completo por ser H 1 () completo con la norma
k k1, y R un subespacio cerrado de H 1 ().
Por otro lado, podemos definir un producto escalar en V ,
Z
(e
u, ve)V =
u vdx,
con u u
e y v ve, y su correspondiente norma asociada,
|e
u|V =
1/2
(e
u, u
e)V
d Z
X
u 2 1/2
=
dx
.
xi
i=1
1/2
Teorema: La norma |e
u|V = (e
u, u
e)V
es equivalente a la norma cociente
en V = H 1 ()/R.
u|V = ke
ukV .
Demostracion: En concreto, vamos a demostrar que |e
Primero observemos que u u
e, se tiene,
|e
u|2V
Z
d Z
d Z
X
X
u 2
u 2
=
dx
dx + u2 dx = kuk21, ,
xi
xi
i=1
i=1
y como es u u
e, tomando nfimos,
uk V .
|e
u|2V infueu kuk1, = ke
52

Recprocamente, por reduccion al absurdo, supongamos que no es cierta
la desigualdad inversa, es decir, que para todo entero positivo n, existe una
clase w
fn tal que |f
wn |V < kf
wn kV /n. Denotemos u
fn = w
fn /kf
wn kV , formando
una sucesion {f
un } V tal que kf
un kV = 1 y |f
un |V < 1/n. Como kf
un kV =
nf ueu kuk1, , existira, cualquiera que sea n, un > 0 y un representante
un u
fn tales que kun k1, 1 + . Entonces {un } forman una sucesion
acotada en H 1 (), por tanto existe una subsucesion {u } en L2 (), sea u
su lmite. Por otra parte, como |ue |V < 1/ 0, tenemos que
u
xi
0 en
L2 (), y por la continuidad de las derivadas en el sentido de las distribuciones,

u
xi
= 0, i = 1, . . . , d. Por tanto, u es constante, luego,

kue kV = nf ku k1, ku uk1, 0,
u f
u
pero esto no es posible porque kue kV = 1. Por tanto es cierta la desigualdad

|e
u|V ke
ukV , e
uV.
Por tanto, V = H 1 ()/R es un espacio de Hilbert en el que k kV y | |V

son normas equivalentes.
Por otro lado, definamos la siguiente forma lineal,
: V R
R
R
ve 7 (e
v ) = f vdx + gvd,
v ve.
Es facil comprobar que esta bien definida, en efecto, sean v1 , v2 ve, entonces,
Z
Z
Z
Z
f (v1 v2 )dx + g(v1 v2 )d = C( f dx + gd) = 0.
La linealidad es trivial, y la continuidad se obtiene por la desigualdad de

Cauchy-Schwartz y el teorema de la traza, en efecto,
R
R
|(e
v )| | f vdx| + | gvd| kf k0, kvk0, + kgk0, kvk0,
(kf k0, + C()kgk0, )kvk1, , v ve,
y como esta desigualdad sigue siendo cierta tomando nfimos en v ve, tenemos,
|(e
v )| (kf k0, + C()kgk0, )ke
v kV .
53
ELASTICA
2.8. DEFORMACION
DE UN SOLIDO
Por tanto, simplemente aplicando el teorema de Riesz-Frechet en V , tenemos la existencia y unicidad del problema siguiente,
Hallar una clase u
e V = H 1 ()/R u
nica que verifica
(e
u, ve)V = (e
v ),
2.8.
e
v V.
Deformaci
on el
astica de un s
olido
Consideremos un cuerpo solido que se deforma elasticamente bajo la accion de fuerzas exteriores. El cuerpo ocupa una region del espacio Rd
(d = 2, 3). Supongamos que una parte de la frontera 0 , de medida no nula
en Rd1 , se mantiene fija. En el resto de la frontera 1 = \ 0 , supongamos
que se ejercen unas fuerzas superficiales

g = (g , . . . , g ) L2 () . En
1
se ejercen unas fuerzas volumetricas f = (f1 , . . . , fd ) L2 () . Debido a

la accion de estas fuerzas exteriores f y
g , el cuerpo se deforma y cada pun
to sufre un desplazamiento
u = (u1 , . . . , ud ). Al deformarse, se generan en
el cuerpo unas tensiones elasticas, caracterizadas por el tensor de tensiones
i,j (
u ), hasta que se logra un equilibrio con las fuerzas exteriores.
Las ecuaciones que rigen este fenomeno se estudian en la teora de la
elasticidad y son,
Pd
j=1 xj i,j ( u )
ui
j=1 i,j ( u )i
Pd
= fi
=0
= gi
en ,
sobre 0 ,
sobre 1 ,
i = 1, . . . , d,
i = 1, . . . , d,
i = 1, . . . , d.
Las primeras y u
ltimas ecuaciones representan el equilibrio entre las fuerzas
exteriores y las fuerzas elasticas. Las segundas ecuaciones representan que en
la parte de la frontera 0 no hay desplazamiento.
El tensor de tensiones viene dado por la ley del comportamiento del material o ley de Hook,
i,j (
u ) = (div
u )i,j + 2i,j (
u)
54
ELASTICA
2.8. DEFORMACION
DE UN SOLIDO
donde,
i
(div
u ) = di=1 u
xi
(
u ) = 1 ui + ui
i,j
xj
xi
i,j = 1, si i = j, 0, resto, (delta de Kronecker),

, 0, coeficientes de Lame.
Los coeficientes de Lame dependen del material, estan directamente relacionados con el modulo de Young y el coeficiente de Poisson del material.
Veamos la correspondiente formulacion variacional. Consideramos el es
d
pacio H 1 () = H 1 () ...d H 1 (), que es un espacio de Hilbert con el
producto,
(
u ,
v )
d =
H 1 ()
d
X
(ui , vi )1, .
i=1
El espacio donde buscamos la solucion, llamado espacio de desplazamientos

admisibles es,
V = {
v H 1 () : vi = 0 sobre 0 , i = 1, . . . , d}.
Multiplicando escalarmente el primer grupo de ecuacion por

v V , integrando en y aplicando la formula de Green, tenemos,
Z X
d
vi
i,j (
u)
dx
xj
i,j=1
d
X
i,j (
u )j vi d =
1 i,j=1
Z X
d
fi vi dx.
i=1
Teniendo en cuenta que i,j (

u ) es simetrico, y utilizando el tercer grupo de
ecuacion, queda,
d Z
X
i,j=1
i,j (
u )i,j (
v )dx =
d Z
X
i=1
fi vi dx +
d Z
X
i=1
gi vi d.
1
Por tanto, el correspondiente problema variacional a resolver es, (PE) Dadas

d 2 d
f L () y
g L () , hallar
u V tal que,
d Z
X
i,j=1
i,j (
u )i,j (
v )dx =
d Z
X
i=1
fi vi dx +
55
d Z
X
i=1
gi vi d,
1
v V.
ELASTICA
2.8. DEFORMACION
DE UN SOLIDO
Esto significa que la posicion de equilibrio se obtiene para

u V verificando
esta ecuacion para cualquiera que sea v V . Es lo que se conoce en fsica

como principio de trabajos virtuales: el primer miembro representa el trabajo de las fuerzas elasticas y el segundo miembro el trabajo de las fuerzas
exteriores.
Para poder demostrar la existencia y unicidad de la solucion de este problema se necesitan los siguientes resultados.
Lema (Desigualdad de Korn): Supongamos que es un abierto acotado de Rd de frontera de clase C 1 a trozos. Entonces,
E = {
v L2 () ; i,j (
v ) L2 (), i, j = 1, . . . , d} = H 1 () ,
y existe una constante C = C() > 0 tal que

v H 1 () ,
d
X
ki,j (
v )k20, + k
v k20, Ck
v k21, .
i,j=1
d
d
Se han utilizado sobre los espacios L2 () y H 1 () las normas hilbertianas,
k
v k20, =
d
X
kvk20,
1/2
k
v k21, =
d
X
kvk21,
1/2
i=1
i=1
La desigualdad de Korn no es en absoluto trivial pues el primer miembro

solo hace intervenir ciertas combinaciones lineales de las primeras derivadas,
mientras que en el segundo miembro intervienen todas las derivadas.
Como consecuencia de la desigualdad de Korn, tenemos el siguiente resultado que nos va a permitir demostrar la existencia y unicidad de la solucion
del problema variacional de la elasticidad (PE).
Teorema (Corolario de la desigualdad de Korn): Supongamos que
es un abierto acotado de Rd de frontera de clase C 1 a trozos. Entonces
56
ELASTICA
2.8. DEFORMACION
DE UN SOLIDO
existe una constante C0 > 0 tal que,

v V,
d
X
v k21, .
ki,j (
v )k20, C0 k
i,j=1
Como consecuencia de estos dos resultados tenemos la existencia y unicidad de la solucion del problema variacional de la elasticidad (PE).
Teorema: El problema (PE) tiene solucion u
nica.
Demostracion: Denotemos,
R
P
a(
u ,
v ) = di,j=1 i,j (
u )i,j (
v )dx,
R
R
Pd
Pd
( v ) = i=1 fi vi dx + i=1 1 gi vi d.
Por tanto el problema (PE) se escribe ahora,
Hallar
u V tal que a(
u ,
v ) = (
v ),
v V.
Es facil ver que () es lineal y continua, y que a(, ) es bilineal y continua.

La V -elipticidad es consecuencia del corolario de la desigualdad de Korn, en
efecto,
R
R P
a(
v ,
v ) = (div
v )2 dx + 2 di,j=1 (i,j (
v ))2 dx
Pd
2 i,j=1 ki,j (
v )k20, 2C0 k
v k21, .
Y en estas condiciones, el teorema es consecuencia del Lax-Milgram.
Equivalencia con un problema de optimizacion.

La forma bilineal a(, ) es simetrica, por tanto,
Teorema: La solucion
u del problema (PE) verifica,
v ),
J(
u)=
mn J(
v V
57
ELASTICA
2.8. DEFORMACION
DE UN SOLIDO
donde,
d Z
d Z
d Z
X
X
1X
J( v ) =
i,j ( v )i,j ( v )dx
fi vi dx +
gi vi d.
2 i,j=1
i=1
i=1 1
La formulacion del problema de elasticidad de esta forma se conoce en

fsica como el principio de mnima energa, e indica que el estado de equilibrio
de un cuerpo elastico se corresponde al de la mnima energa. La aplicacion
bilineal a(, ), representa el trabajo de deformacion elastica, la aplicacion
lineal (), el trabajo de las fuerzas exteriores, y el funcional J(

v ), la energa
total del sistema correspondiente al estado

v.
58
Captulo 3
Aproximaci
on num
erica
mediante el M
etodo de
Elementos Finitos
3.1.
Aproximaci
on variacional abstracta
Consideremos el siguiente problema abstracto: Sean

V un espacio de Hilbert
a(., .) : V V : R bilineal continua y elptica
< l, . >: V R lineal y continua
Hallar u V tal que
a(u, v) =< l, v >
v V
(P )
(3.1.1)
El correspondiente problema aproximado sera: Sea Vh V un subespacio de

dimension finita de V .
Hallar uh Vh tal que
a(uh , vh ) =< l, vh >
59
vh Vh
(Ph )
(3.1.2)
VARIACIONAL ABSTRACTA
3.1. APROXIMACION
Teorema El problema aproximado (Ph ) tiene solucion u
nica.
Demostracion: a(., .) es bilineal, continua y elptica sobre Vh y < l, . > es
lineal y continua en Vh .
Resolucion Practica
Sea [1 , ..., N ] una base de Vh . (Ph ) se escribe
Hallar uh =
PN
j=1
N
X
ujh j tal que

a(j , i )ujh =< l, i >
i = 1, ..., N
(3.1.3)
j=1
Es decir, un sistema algebraico lineal de ecuaciones.

Teorema de aproximaci
on: lema de C
ea
Existe una constante C > 0 independiente de Vh tal que
||u uh || C nf ||u vh ||
vh Vh
(3.1.4)
Demostracion:
a(u, v) =< l, v >
a(uh , vh ) =< l, vh >
v V
vh Vh
tomando en la primera v = vh Vh y restando

a(u uh , vh ) = 0 vh Vh
de donde
||u uh || a(u uh , u uh ) = a(u uh , u vh ) M ||u uh ||.||u vh ||
||u uh ||
M
||u vh || vh Vh
60
VARIACIONAL ABSTRACTA
3.1. APROXIMACION
y finalmente
||u uh ||
M
nf ||u vh ||
vh Vh
Comentarios:
1. Si a(., .) es simetrica, se puede mejorar el resultado anterior. En efecto,
para todo vh Vh
a(u vh , u vh ) = a(u uh + uh vh , u uh + uh vh ) =
a(u uh , u uh ) + 2a(u uh , uh vh ) + a(uh vh , uh vh )
En el segundo miembro, el segundo termino es nulo y el tercero es
mayor o igual que cero. De donde
||u uh ||2 a(u uh , u uh ) a(u vh , u vh ) M ||u vh ||2
y finalmente
r
||u uh ||
es decir
M
||u vh || vh Vh
||u uh ||
.
M
nf ||u vh ||
vh Vh
2. Si a(., .) es simetrica la solucion obtenida es la mejor posible en el

sentido de la norma
||v||A = a(v, v)1/2
En efecto:
a(u uh , vh ) = 0 vh Vh
||uuh ||2A = a(uuh , uuh ) = a(uuh , uvh ) ||uuh ||A .||uvh ||A
y finalmente
||u uh ||A = nf ||u vh ||A
vh Vh
Interpretacion geometrica: uh es la mejor aproximacion de u en el espacio Vh ,

con respecto a la norma ||.||A .
61
DE ESPACIOS DE ELEMENTOS FINITOS

3.2. CONSTRUCCION
3.2.
Construcci
on de espacios de Elementos
Finitos
El metodo de Elementos Finitos consiste en elegir un subespacio de Vh y

mas precisamente una base de este subespacio en el que la funciones de dicha
base son de peque
no soporte.
3.2.1.
Generalidades
Sea Rd , un abierto poliedrico de Rd (un polgono si estamos en R2 )

de frontera .
Vamos a considerar una descomposicion finita de :
= T Th T
tal que:
1. Cada elemento T de Th es un poliedro de Rd de interior no vaco.
2. Los interiores de dos poliedros distintos de Th son disjuntos.
3. Toda cara de un poliedro T1 Th es o bien una cara de otro poliedro
T2 , en cuyo caso T1 y T2 son adyacentes, o bien una parte de la frontera
de
Definici
on: Toda descomposicion de verificando las propieades anteriores se llama triangulacion de . En la figura 3.1 se muestra un ejemplo.
Notacion: Th designara en general una triangulacion de tal que h =
maxT Th hT donde hT es el diametro del poliedro T .
Un subespacio de Vh de dimension finita de H 1 () se puede construir,
como se vera mas adelante, tomando por ejemplo,
Vh = {v C 0 (); v|T Pk
T Th }
done Pk designa un espacio de polinomios de grado k en el poliedro T .

62

3.2. CONSTRUCCION
Figura 3.1: Ejemplo de triangulacion
3.2.2.
Concepto de Elemento Finito
Un Elemento Finito es una terna (T, P, ) donde

1. T Una parte compacta T de Rd conexa de interior no vaco.
2. P es un espacio vectorial de dimension finita N cuyos elementos son
funciones de T en R.
3. es una base del espacio dual de P , es decir, N funciones lineales de
P en R linealmente independientes.
Base asociada a un elemento finito
La base dual de en P es la base asociada, es decir si = {Li }N
i=1 , la
base asociada al elemento finito (T, P, ) sera el conjunto {pj }N
j=1 P tal
que Li (pj ) = ij .
Elementos Finitos de Lagrange
63

3.2. CONSTRUCCION
Definici
on: Se dice que el conjunto {aj }N
j=1 es P unisolvente si y solo
si, dados N escalares reales cualesquiera j
p del espacio P y una sola tal que
p(aj ) = j
1 j N , existe una funcion
1jN
Un Elemento Finito de Lagrange es entonces un Elemento Finito (K, P, )

N
en el que = {ai }N
i=1 y donde {ai }i=1 es un conjunto de puntos de T ,
P unisolvente.
Interpretemos la definicion: Los puntos {ai }N

i=1 se pueden considerar como
formas lineales del dual de P , en efecto
ai : P R
p ai (p) = p(ai )
Un Elemento Finito de Lagrange es entonces una terna (K, P, ) donde
1. T es una parte compacta de Rd conexa de interior no vaco.
2. = {aj }N
j=1 es un conjunto finito de N puntos P unisolvente de T
3. P es un espacio vectorial de dimension finita y compuesto por funciones
definidas sobre T a valores reales.
Dado un elemento finito (T, P, ) se llaman funciones de base a la base
dual de , es decir, a las N funciones pi 1 i N definidas por
pi (aj ) = ij
1jN
Comentario: Una condicion necesaria para que el conjunto sea P unisolvente

es que la dimension de P sea igual al cardinal de = N . Una vez verificada esta condicion, tenemos dos criterios sencillos que aseguran la P unisolvencia
de .
64

3.2. CONSTRUCCION
1. Basta verificar que la u
nica funcion p P que se anula en es la
funcion nula. En efecto, cuando esta propiedad se satisface, la aplicacion
lineal
L : P RN
p (p(aj ))N
j=1
es inyectiva y por lo tanto biyectiva pues P es de dimension N
2. Basta hallar las funciones {pi }N
i=1 del espacio P verificando pi (aj ) = ij
para probar la P unisolvencia. En efecto, si estas funciones existen, a
todo conjunto de N escalares reales {j }1jN le asociamos la funcion
p=
j pj
Esta funcion es una funcion de P tal que p(aj ) = j

prueba que la aplicacion
1 j N . Esto
L : P RN
p (p(aj ))N
j=1
es sobreyectiva y por tanto biyectiva.
Definici
on: Operador de P interpolacion sobre T .
Se llama operador de P interpolacion de Lagrange sobre T al operador
que a toda funcion v definida en T le asocia la funcion T v definida por
P
T v =
v(ai )pi . T v se llama la funcion interpolada de v.
La funcion T v verifica
T v(aj ) =
v(ai )pi (aj ) =
v(ai )ij = v(aj ) 1 j N
Es pues la u
nica funcion p de P verificando p(aj ) = v(aj ).
65

3.2. CONSTRUCCION
3.2.3.
Elementos Finitos de Lagrange en un dsimplex
Vamos aconstruir una clase de elementos finitos de Lagrange (T, P, )

donde T sera un dsimplex de Rd . Recordemos la nocion de dsimplex:
Consideremos d + 1 puntos aj = (aij )di=1 Rd
1 j d + 1 no situados
en un mismo hiperplano de Rd , es decir, que la matriz
A=
a1,1 a1,2 ... a1,d+1

a2,1 a2,2 ... a2,d+1
... ... ...
...
ad,1 ad,2 ... ad,d+1
1
1 ...
1
sea no singular.
Se llama dsimplex T de vertices aj a la envolvente convexa de los puntos
aj . Si d = 2 se llaman triangulos y si d = 3 tetraedros.
Coordenadas baricentricas: Todo punto x de Rd de coordenadas cartesianas xi 1 i d, esta caracterizado dando d + 1 escalares j = j (x) 1
j d + 1 definidos como solucion del sistema lineal
d+1
X
aij j = xi
j=1
d+1
X
j = 1
j=1
cuya matriz es precisamente la matriz regular A.

Los escalares j (x) 1 j d+1 se llaman las coordenadas baricentricas
del punto x con respecto a los puntos aj . Cada una de estas funciones es una
funcion afin de Rd en R y se tiene para todo x Rd
x=
d+1
X
j (x)aj
j=1
66

3.2. CONSTRUCCION
El dsimplex T definido por los vertices aj esta caracterizado por
d
T = {x R ;
x=
d+1
X
j (x)aj
0 j (x) 1,
1 j d + 1}
j=1
Observemos que i (aj ) = ij
para 1 i, j d + 1.
Ejemplos
1. Tria-p1-c:
K: Triangulo.
P : Polinomios de grado 1.
: Los tres vertices del triangulo.
Es el ejemplo que hemos estudiado. Las funciones de la base local son
pi = i .
2. Tria-p2-c:
K: Triangulo.
P : Polinomios de grado 2.
: Los tres vertices y los puntos medios de las aristas.
Las funciones de P son pues funciones de la forma p(x, y) = a+bx+cy+
dxy + ex2 + f y 2 . P es un espacio de dimension seis. La base asociada de
P estara formada por las seis funciones pi verificando pi (aj ) = ij . Para
hallar las seis funciones de la base, podemos proceder de la manera
siguiente: Llamemos ai , i = 1, 2, 3 los tres vertices y ai , i = 4, 5, 6
los tres puntos medios de las aristas (ver figura 3.2). Para hallar p1 , es
decir una funcion que verifique
p(a1 ) = 1 p(aj ) = 0 j 6= 1
Observemos que 1 la coordenada baricentrica que vale 1 en el nodo a1 y
cero en a2 , a3 , a4 no se anula en a5 , a6 donde vale 1 (a5 ) = 1 (a6 ) = 1/2.
Por tanto si tomamos
p1 = 1 (21 1)
verifica las propiedades requeridas. Analogamente las otras dos funciones asociadas a los vertices seran
p2 = 2 (22 1)
67

3.2. CONSTRUCCION
p3 = 3 (23 1)
Busquemos ahora p4 ,p5 y p6 , las funciones asociadas a los puntos medios
de los lados. Basta observar que la funcion 2 se anula en la recta
a1 a5 a3 , y 3 se anula en la recta a1 a6 a2 , por lo tanto 2 3 se
anula en todos los puntos de salvo en a4 donde vale 2 (a4 )3 (a4 ) =
1/2,1/2 = 1/4, de donde finalmente la funcion
p4 = 42 3
sera la funcion base asociada al nodo a4 . Analogamente obtenemos
p5 = 41 3
p6 = 41 2
En las figuras 3.3,3.4,3.5,3.6,3.7 y 3.8 se representan las graficas de las
funciones de la base pi , i = 1, ..., 6 en el triangulo de referencia de
vertices (0, 0), (1, 0), (0, 1).
3. Tetra-p1-c:
K: Tretraedro.
P : Polinomios de grado 1 de tres variables.
: Los cuatro vertices del tetraedro.
Las funciones de la base local son pi = i , i = 1, 2, 3, 4.
3.2.4.
Un m
etodo general para construir a partir de
toda una familia de
un elemento finito (T, P , )
elementos finitos (T, P, )
Consideremos un conjunto compacto T de Rd , convexo y de interior no

vaco. F una aplicacion de T en Rd . Supongamos que T = F (T) es una parte
compacta, conexa y de interior no vaca (por ejemplo exigiendo que F sea
biyectiva y bicontinua de T en T ).
Teorema: Supongamos que la aplicacion F es biyectiva. Entonces si
es un elemento finito de Lagrange, la terna (T, P, ) donde T =
(T, P , )
68

3.2. CONSTRUCCION
a3
3
a4
2.5
a2
1.5
1
a6
0.5
0
a
0.5
1.5
2.5
3.5
Figura 3.2: triangulo de seis nodos
1.2
0.8
0.6
0.4
0.2
0.2
1
0.5
0
0.2
0.4
0.6
Figura 3.3: funcion p1
69
0.8

3.2. CONSTRUCCION
1.2
1
0.8
0.6
0.4
0.2
0
0.2
1
0.8
1
0.6
0.8
0.6
0.4
0.4
0.2
0.2
0
1.2
1
0.8
0.6
0.4
0.2
0
0.2
1
0.8
1
0.6
0.8
0.6
0.4
0.4
0.2
0.2
0
70

3.2. CONSTRUCCION
1
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
1
0.8
0
0
0.6
0.2
0.4
0.4
0.6
0.8
0.2
1
0.8
0.6
0.4
0.2
0
1
0.8
1
0.6
0.8
0.6
0.4
0.4
0.2
0.2
0
71

3.2. CONSTRUCCION
0.8
0.6
0.4
0.2
0
1
0.8
1
0.6
0.8
0.6
0.4
0.4
0.2
0.2
0

es un elemento
F (T) y donde P = {p : T R p F P } y = F ()
finito de Lagrange.
un elemento finito donde
= {aj }N
Demostracion: Sea (T, P , )
j=1 es un
conjunto de N puntos distintos de T.
Pongamos aj = F (
aj ) 1 j N
Entonces = {aj }N
j=1
1jN
Puesto que F es biyectiva de T en T = F (T)

= dim(P ) = dim(P )
card() = card()
para demostrar que es P -unisolvente basta obtener las funciones de base
correspondientes a (T, P, ).
Sean pi
entonces
i = 1, ...N las funciones de base correspondientes a (T, P , ),

pi = pi F 1
i = 1, ..., N
son las funciones de base correspondientes a P , en efecto pi P pues

pi F = pi F 1 F = pi P
72

3.2. CONSTRUCCION
y ademas si ai
pi (aj ) = (
pi F 1 )(aj ) = pi (
aj ) = ij
y (T, P, ) se
Definici
on: Dos elementos finitos de Lagrange (T, P , )
dice que son equivalentes si existe una aplicacion F biyectiva de T en T
verificando:
P = {p : T R, p = p F P }
= F ()
Cuando se puede elegir como aplicacion F una aplicacion afn, los elementos
finitos se llaman afn equivalentes.
y (T, P, ) dos elementos de Lagrange equivaTeorema: Sean (T, P , )
lentes y F una biyeccion de T en T verificando la condicion de equivalencia.
es el operador de P -interpolacion sobre ,
el operador de P Si
interoplacion sobre esta caracterizado por
F)
(v) F = (v
para toda funcion v definida en T .
Ejemplo 1
Veamos como podemos construir una familia de elementos finitos (T, P, )
siguiente:
afn equivalentes al elemento finito (T, P , )
T: Triangulo de R2 de vertices (0, 0), (1, 0), (0, 1)
P : Polinomios de grado 2 en T.
{
1 , a
2 , a
3 son los tres vertices de T, y a
4 , a
5 , a
6 son los
:
ai }6i=1 , donde a
puntos medios de los las aristas de T.
73

3.2. CONSTRUCCION
Consideremos la aplicacion afin F que lleva los vertices de T, {
ai }i=1,2,3
a los vertices {ai }i=1,2,3 de T respectivamente. Esta aplicacion es facil de
construir. Observemos que
1 = 1 x y
2 = x
3 = y
Entonces

x
x1
x2
x3
x1
x2
x3
x=
= 1
+2
+3
= (1
x
y)
+
x
+
y
y
y1
y2
y3
y1
y2
y3
x1
y1
x2 x 1 x3 x1
y2 y1 y3 y1
x
y
= b + B
x = F (
x)
2.5
a3
a2
T
1.5
1
a1
0.5
T~
0.5
1.5
2.5
La aplicacion F es afn y lleva los vertices a los vertices. Por otra parte
i F 1 , para i = 1, 2, 3 son
si definimos sobre T las funciones pi =
polinomios de grado 1. Resulta
i F 1 )(aj ) =
i (
pi (aj ) = (
aj ) = ij
74

3.2. CONSTRUCCION
i (
Por lo tanto pi = i para i = 1, 2, 3. Tenemos pues que i (x) =
x) donde
x = F (
x). Es decir T = F (T) y los puntos medios de las aristas van a parar
y la familia
a los puntos medios de las aristas. Es inmediato ver que (T, P , )
(T, P, ) compuesta por T , triangulos, P , polinomios de grado 2 en T y la
union de vertices y puntos medios de las aristas son afn-equivalentes.
Ejemplo 2: Familias equivalentes a elementos finitos paralel
otopos
= [1, +1]d . Construiremos elementos
Consideremos el cubo unidad K
(K,
Q,
).
Un elemento finito paralelotopo sera un elemento
finitos sobre K,
Q,
).
finito afn-equivalente a (K,

Ejemplo 2.1
= [1, +1]2
K
= {
R;
Q
p:K
p(
x, y) = a + b
x + c
y + d
xy}
= {
ai }4i=1 , los cuatro vertices de K.

(dual de ):
Veamos cuales son las funciones de la base de Q

= card()
= 4. Observando que la ecuacion de la recta
Tenemos dim(Q)
a
3 a
4 es y = 1 y de la recta a
3 a
2 es x = 1 resulta,
1
p1 = (1 + x)(1 + y)
4
y analogamente
1
p2 = (1 x)(1 + y)
4
1
p3 = (1 x)(1 y)
4
1
p4 = (1 + x)(1 y)
4
Ejemplo 2.2
75

3.2. CONSTRUCCION
= [1, +1]2
K
=Q
2 =
Q
R;
{
p:K
p(
x, y) = a + b
x + c
y + d
xy + e
x2 + f y2 + g
x2 y + h
xy2 + k
x2 y2 }
= {
ya
ai }9i=1 , donde a
1 , ..., a
4 son los cuatro vertices de K
5 , ..., a
8 son los
puntos medios de los lados, y a
9 es el centro del cuadrado. Tenemos pues que
2 P4
P2 Q
La base sera:
p1 = 14 (1 + x)(1 + y)
xy
p2 = 14 (1 x)(1 + y)
xy
p3 = 14 (1 x)(1 y)
xy
p4 = 14 (1 + x)(1 y)
xy
p5 = 12 (1 + x)(1 x)(1 + y)
y
p6 = 12 (1 x)(1 + y)(1 y)
x
y
p7 = 12 (1 x)(1 + x)(1 y)
p8 = 12 (1 + x)(1 + y)(1 y)
x
p9 = (1 + x)(1 x)(1 + y)(1 y)
76

3.2. CONSTRUCCION
2
1.5
a1
a5
a2
1
0.5
a6
a8
a9
0.5
1
a
a7
a3
1.5
2
2
3.2.5.
1.5
0.5
0.5
1.5
Construcci
on de subespacios de H 1
En primer lugar veremos como se pueden construir funciones de H 1 () a

partir de funciones definidas a trozos sobre sunconjuntos de .
Teorema:
= N
tal que
Sea
on de
r=1 r una descomposici
1. r es un abierto de Rd contenido en de frontera r
todo r = 1, ..., N .
C 1 a trozos para
2. r s = para r 6= s
tal que la restriccion v|r pertenece a
Sea v una funcion continua en
H 1 (r ), para todo r = 1, ..., N . Entonces v H 1 ().
tal que v|r H 1 (r ); EvidenteDemostraci
on: Sea v continua en
mente v L2 (). Hemos de ver que
Para ello veamos que
v
xi
v
xi
L2 () para i = 1, ..., d
= vi L2 () donde vi |r =
77
(v|r )
xi
L2 (r ).

3.2. CONSTRUCCION
En efecto, para toda funcion D(), tendremos
v
<
, >= < v,
>=
xi
xi
N Z
X
r=1
=
(
v
r xi
r=1
N Z
X
r=1
N Z
X
r=1
Z
r
N
X
v
xi
r=1
N
xi
X
v
=
xi
r=1
Z
v
=
xi
Z
vi ) =
r
Z
vi =
r
Z
vi =< vi , >
r
pues v es continua.
Vamos ahora a construir subespacios de H 1 () de dimension finita.
Sea un abierto poliedrico (para simplificar) de Rd .
= T T T , siendo Th una triangulacion de
h
Suponemos ademas que cada poliedro T de Th esta asociado a un elemento
finito de Lagrange (T , Pk , k ) tal que Pk H 1 (T )
Definimos el espacio de dimension finita
Vh = {v C 0 ();
T Th ,
v|T Pk }
As en virtud del teorema anterior Vh es un subespacio de H 1 ().

Sin hipotesis suplementarias sobre los elementos finitos (T, PT , T ) no es
en modo alguno evidente la determinacion de una base de Vh (pues Vh es
isomorfo a un subespacio propio de T Th PT ). Por otra parte resulta natural introducir el operador de interpolacion h que a toda funcion continua
le hace corresponder la funcion h v de L2 () definida por
definida en
T Th ,
x T
78
h v(x) = T v(x)

3.2. CONSTRUCCION
donde T es el operador de PT -interpolacion sobre T . En general sin hipotesis suplementarias sobre el elemento finito (T, PT , T ), la funcion h v no es
y no pertenece a Vh . Para evitar esta situacion
en general continua sobre
se introduce una hip
otesis de compatibilidad entre dos elementos finitos:
Supondremos que para todo par {T1 , T2 } de poliedros adyacentes de Th ,
de cara com
un T 0 = T1 T2 , tenemos
1. PT1 |T 0 = PT2 |T 0
2. T1 T 0 = T2 T 0
Ademas necesitaremos la definicion siguiente:
Definici
on: Sea T un poliedro de Rd ; Un elemento finito (T, P, ) se
llama de clase C 0 si las dos condiciones siguientes se satisfacen:
1. P C 0 (T )
2. Para toda cara T 0 de T , el conjunto 0 = T 0 es P 0 -unisolvente donde
P 0 = {p|T 0 ; p P }.
y sea (T, PT , T )T T una famiTeorema: Sea Th una triangulacion de
h
lia de elementos finitos asociada. Suponemos que las condiciones de compatibilidad (1) y (2) anteriores se satisfacen y que para todo T Th , (T, PT , T )
es un elemento finito de clase C 0 y PT es un subespacio de H 1 (T ). Entonces
el operador de interpolacion h , definido por
h v(x) = T v(x) x T
T Th
Dicho de otro modo y de manera

de C 0 en L2 () tiene su imagen en C 0 ().
mas precisa
Vh = {h v; v C 0 ()}
la restriccion
Demostraci
on: Sea v una funcion continua definida en ;
a un elemento cualquiera T de Th de la funcion h v pertenece al espacio PT ,
79

3.2. CONSTRUCCION
subespacio de C 0 (T ). Para demostrar que h v pertenece a Vh basta verificar
que h v es continua sobre toda cara T 0 com
un a dos elementos adyacentes
T1 y T2 de Th , es decir, que tenemos
T1 v|T 0 = T2 v|T 0
Como la funcion w = T1 v|T 0 T2 v|T 0 es una funcion del espacio P 0 =
PT1 |T 0 = PT2 |T 0 tal que a 0 w(a) = 0 donde 0 = T1 T 0 = T2 T 0 , los
elementos finitos son de clase C 0 y 0 es P 0 -unisolvente, deducimos w = 0.
es decir {h v; v C 0 ()}
Vh .
En consecuencia h v es continua sobre ,
Recprocamente, sea v Vh = {v C 0 ();

v|T PT }, tenemos v|T
PT , entonces v|T = T v as pues v = h v y v es continua pues v Vh .
Construccion de una base de Vh
Introduzcamos el conjunto de nodos de los elementos finitos
h = T Th T = {ai }1iI
card() = I
Para todo entero i 1 i I, designamos i la funcion de Vh tal que

i (aj ) = ij
1jI
tenemos evidentemente
Si v es una funcion continua sobre ,
h v =
I
X
v(ai )i
i=1
Corolario: Con las hipotesis anteriores el conjunto de funciones {i }Ii=1

constituyen una base de Vh y toda funcion v de Vh se escribe
v=
I
X
v(ai )i
i=1
Definici
on: Los escalares {v(ai )}Ii=1 se llaman grados de libertad de una
funcion v de Vh .
80

3.2. CONSTRUCCION
Observemos que las funciones i tienen peque
no soporte. Mas precisamente, el soporte de i es el conjunto de elementos T de Th que contienen al
nodo ai . Ademas la restriccion de i a cada uno de estos elementos T es una
funcion de la base del elemento finito (T, PT , T ).
Ejemplos
construida mediante d-simplex. Dado un entero
1. Th , triangulacion de
k 1, se asocia a todo T de Th el d-simplex de tipo (k), (T, Pk , k ). Pk
es el espacio de polinomios de grado k en T . Entonces todo (T, Pk , k )
es de clase C 0 y se verifican las condiciones de compatibilidad siendo
aplicable el teorema anterior.
2. Analogo al anterior construyendo Th mediante paralelotopos y elementos finitos del tipo (K, Qk , k ), siendo Qk el espacio de polinomios de
grado k obtenido mediante producto tensorial del espacio de polinomios
de grado k en cada variable.
3. Mezclando los dos anteriores de manera que en una cara com
un a un
triangulo y a un paralelotopo se cumplan las condiciones de compatibilidad.
81
Captulo 4
An
alisis num
erico del M
etodo
de Elementos Finitos
4.1.
Resultados generales de aproximaci

on en
espacios de Sobolev
Si (T, P, ) es un elementos finito de Lagrange, a toda funcion v definida

en T , le hemos asociado una funcion v, funcion P -interpolada de Lagrange
de v sobre . Vamos a estudiar en este apartado el error de interpolacion
v v. Para los problemas elpticos de orden 2, estaremos especialmente
interesados en una mayoracion de este error en la norma de H 1 (T ), ||v
v||1,T .
Empezamos por dar algunos resultados generales de aproximacion en los
espacios de Sobolev. Sea T una parte compacta de Rd , conexa y de interior
no vaca. Para simplificar denotamos H m (T ) al espacio H m (T ), donde T es el
interior de T . Si E es un subespacio de H m (T ), el espacio cociente H m (T )/E
es el conjunto de clases de equivalencia v de funciones de H m (T ) modulo la
relacion de equivalencia
v1 v v2 v1 v2 E
Cuando E es un subespacio cerrado de H m (T ), el espacio H m (T )/E provisto
82
EN ESPACIOS
4.1. RESULTADOS GENERALES DE APROXIMACION
DE SOBOLEV
de la norma cociente
||v||
H m (T )/E = nf ||v||m,T
vv
es un espacio de Hilbert (Dem: ejercicio). En particular, para todo entero,

k 0, el espacio Pk de los polinomios de grado menor o igual que k sobre
T es un subespacio de dimension finita de H k+1 (T ), de manera que podemos introducir el espacio cociente H k+1 (T )/Pk ; vamos a dotar a este espacio
de una norma mas manejable que la norma cociente. Para ello, habra que
suponer ademas que la inyeccion canonica de H 1 (T ) en L2 (T ) es compacta;
puesto que T es un acotado de R2 , esta propiedad se verifica siempre que la
frontera T es de clase C 1 a trozos.
Teorema: Sea T una parte compacta de Rd , de frontera C 1 a trozos.
Entonces para todo entero k 0 la aplicacion
v |v|
k+1,T = |v|k+1,T = (
X Z
||=k+1
| v|2 )1/2
T
donde v es un representante cualquiera de la clase v en H k+1 (T ), es una

norma sobre H k+1 (T )/Pk equivalente a la norma cociente.
Demostraci
on:
Sea v una clase de equivalencia de H k+1 (T )/Pk y sea v v.
El valor
de |v|
k+1,T | no depende del representante elegido. En efecto,
p Pk
|v|k+1,T = |v + p|k+1,T
Tenemos evidentemente
|v|
k+1,T ||v||
H k+1 (T )/Pk
en efecto, para todo v v
|v|
k+1,T = |v|k+1,T ||v||k+1,T
y tomando el nf para todo v v obtenemos el resultado.
83
EN ESPACIOS
DE SOBOLEV
Para obtener la equivalencia de normas resta establecer la existencia
de una constante C tal que
||v||
H k+1 (T )/Pk C|v|
k+1,T
para todo elemento v de H k+1 (T )/Pk . Empezamos por demostrar la
existencia de una constante C tal que
||v||k+1,T
C{|v|2k+1,T
X Z
+
( vdx)2 }1/2
||k
para toda funcion v H k+1 (T ). Razonamos por reduccion al absurdo.

Supongamos que para todo entero positivo n existe una funcion vn tal
que
X Z
1
2
( vn dx)2 < 2 ||
vn ||2k+1,T
|
vn |k+1,T +
n
T
||k
poniendo
vn =
vn
||
vn ||k+1,T
obtenemos una sucesion {vn } verificando
|vn |2k+1,T
||vn ||k+1,T = 1
(4.1.1)
X Z
1
( vn ) 2 < 2
+
n
T
(4.1.2)
||k
Si la inyeccion de H 1 (T ) en L2 es compacta, tambien la inyeccion de

H k+1 (T ) en H k (T ) es compacta. Entonces de (4.1.1), deducimos la
existencia de una subsucesion v convergente en H k (T ). Por una parte
de (4.1.2) resulta
|v |k+1,T <
de modo que
v v
84
en H k (T )
EN ESPACIOS
DE SOBOLEV
|| = k + 1 v 0 en L2 (T )
por la continuidad de la derivacion en el sentido de las distribuciones

tambien
v v
para todo ,
|| = k + 1. De modo que v = 0 para || = k + 1 y
v H k+1 (T ). Por otra parte

Z
d
N ,
|| k
v | <
|
T
pasando al lmite cuando

Z
d
N ,
v = 0
|| k
T
como T es una parte convexa de Rd , las relaciones

v = 0 || = k + 1
implican que v es un polinomio de grado k sobre T . Y de las relaciones
Z
v = 0 || k
T
deducimos v = 0. Pero esto contardice la eleccion ||vn ||k+1,T = 1.

Finalmente consideremos v H k+1 (T )/Pk y sea v un representante
cualquiera de v en H k+1 (T ). A esta funcion v le podemos asociar el
polinomio p Pk definido de manera u
nica por las relaciones
Z
Z
d
N || k,
p = v
T
Entonces v = v + p es el representante de v tal que

Z
d
N || k
v = 0
T
Para este v tendremos

||v||k+1,T
C{|v|2k+1,T
X Z
+
( v)2 }1/2 = C|v|k+1,T
|lek
85
EN ESPACIOS
DE SOBOLEV
y deducimos
||v||
H k+1 (T )/Pk ||v||k+1,T C|v|k+1,T = C|v|
k+1,T
lo que termina la demostracion.
A partir del teorema anterior obtenemos el siguiente teorema general de
aproximacion en los espacios de Sobolev.
Teorema de Aproximacion I: Sea T una parte compacta y conexa de Rd
de frontera C 1 a trozos y sea un opeardor lineal continuo de H k+1 (T ) en
H m (T ), 0 m k + 1, tal que
p Pk ,
p = p
Entonces existe una constante c = c(T, ) tal que

v H k+1 (T ) ||v v||m,T c|v|k+1,T
Demostraci
on: Sea v H k+1 (T ), de la hipotesis hecha sobre , para todo
p Pk
v v = v + p p v = (I )(v + p)
de donde
||v v||m,T ||I || ||v + p||k+1,T
donde ||.|| designa la norma en el espacio L(H k+1 (T ), H m (T )). Resulta
||v v||m,T C1 nf ||v + p||k+1,T = C1 ||v||
H k+1 (T )/Pk
pPk
con C1 = ||I || . Finalmente gracias al teorema anterior

||v v||m,T C1 C|v|k+1,T
v H k+1 (T )
El teorema queda demostrado tomando c = C1 C.

El siguiente paso consiste en poner en forma explcita la dependencia de
la constante c en funcion de las caractersticas geometricas de T . Para ello
vamos a introducir una parte compacta T de Rd , conexa y de frontera C 1 a
86
EN ESPACIOS
DE SOBOLEV
trozos, que nos va a servir de dominio de referencia. Suponemos que existe
una transformacion afn invertible
x = F (
x) = B
x + b,
x Rd ,
x Rd ,
b Rd ,
B, matriz d d
tal que T = F (T).

Adoptamos las siguientes definiciones:
A toda funcion v definida sobre T , le asociamos biunvocamente la
funcion v definida sobre T por las relaciones
v(
x) = v(x)
x T
es decir, v = v F .
Introducimos las siguientes caractersticas geometricas
= diametro de T).
hT = diametro de T (resp. h
T = diametro maximo de las esferas (crculos si d = 2) contenidas
en T (resp. diametro maximo de las esferas contenidas en T).
Podemos estimar las normas espectrales ||B|| y ||B 1 || en funcion de las
caractersticas geometricas de T y T; recordemos que la norma de una matriz
B esta definida por
||B|| =
|B|
= sup |B| = sup |B|
Rd ,6=0 ||
Rd ,1
Rd ,||=1
sup
donde || designa la norma eucldea del vector de Rd .

Lema: Se verifican las siguientes mayoraciones
||B||
hT
||B1 ||
h
T
87
EN ESPACIOS
DE SOBOLEV
Demostraci
on: Podemos escribir
||B|| =
1
sup |B|
||=
Sea un vector de Rd tal que || = ; por definicion de , diametro maximo de

las esferas contenidas en T, existen dos puntos y y z de T tales que = y z.
Entonces
B = B
y B
z = F (
y ) F (
z) = y z
donde los puntos y y z pertenecen a T ; por definicion de hT resulta
|B| = |y z| hT
Esta desigualdad es valida para todo con || = , por tanto, tomando el
supremo y dividiendo por
hT
||B||
Lo que prueba la primera desigualdad. Intercambiando los papeles de T y T

se obtiene la otra desigualdad.
Teorema de Aproximacion II: Sea T una parte compacta y conexa de
un operador lineal continuo de H k+1 (T)
Rd de frontera C 1 a trozos y sea
en H m (T), 0 m k + 1 tal que
p Pk
p = p
Si T es una parte de Rd tal que existe una transformacion afn invertible F

de Rd en Rd para la cual T = F (T) y el operador esta definido por
c =
v
v H k+1 (T ) v
Entonces existe una constante C independiente de F tal que
v H k+1 (T ) |v v|m,T C
88
hk+1
T
|v|k+1,T
m
T
EN ESPACIOS
DE SOBOLEV
y por tanto de k y
La constante C depende de T y por tanto de d, de
de m; la novedad reside en que la constante C es independiente de F y por
tanto de las caractersticas geometricas de T . Para la demostracion sera u
til
utilizar la nocion de diferencial de Frechet de una funcion.
Recordemos, si v es una funcion definida en un entorno de un punto
x Rd y diferenciable (en sentido clasico) l veces, se denota Dl v(x) a su
diferencial de orden l que es una forma l-multilineal simetrica sobre Rd
Dl v(x) : Rd ... Rd R
Dl (v(x)(1 , ..., l ) R i Rd
||Dl v(x)|| =
sup
1 ,...,l Rd ,
i = 1, ...l
|Dl v(x)(1 , ..., l )|

|1 |...|l |
1 ,...,l 6=0
donde || designa la norma eucldea de Rd .

Por otra parte recordemos la notacion || = 1 + ... + d , y
v(x) = Dl v(x)(e1 , .(1 veces) ., e1 , ..., ed , .(d veces) ., ed )
donde ei es el i-esimo vector de la base canonica de Rd . Demostraremos
primeramente el siguiente
Lema: Existen dos constantes 1 = 1 (l, d) y 2 = 2 (l, d) mayores que
cero tales que
v D(T ) 1 |v|l,T
Z
( ||Dl v(x)||2 dx)1/2 2 |v|l,T
T
Demostraci
on: Sea un multientero y || = l, se tiene
| v(x)| = ||Dl v(x)|||e1 |.1 (veces) .|e1 |...|ed |.l (veces) |ed | = ||Dl v(x)||
de modo que
(
XZ
||=1
2 1/2
| v(x)| )
XZ
||=1
89
||Dl v(x)||2 )1/2

T
EN ESPACIOS
DE SOBOLEV
de donde
XZ
||=1
donde C =
2 1/2
| v(x)| )
Z
C( ||Dl v(x)||2 )1/2
p
card{; || = l} y 1 =
||Dl v(x)|| =
Pd
k
k=1 i ek
d
X
D v(x)(1 , ..., l ) =
Por otra parte

|Dl v(x)(1 , ..., l )|
sup
1 ,...,l
poniendo i =
1
.
C
Rd
|1 |=...=|l |=1
i = 1, ..., l
1k1 ...lkl Dl v(x)(ek1 , ..., ekl )
d
X
k1 ,...,kl =1
1k1 ...lkl v(x)
k1 ,...,kl =1
donde v(x) designa una de las derivadas parciales de v de orden|| = l.

l
|D v(x)(1 , ..., l )| = |
d
X
1k1 ...lkl v(x)|
d
X
1k1 ...lkl | max | v(x)|

||=l
k1 ,...,kl =1
k1 ,...,kl =1
ahora bien, como los vectores i = (i1 , ...id ) Rd i = 1, ..., l son de norma
P
unidad, es decir, dk=1 (ik )2 = 1 resulta |ik | 1 para k = 1, ..., d e i = 1, ..., l,
de modo que
d
X
k1 ,...,kl =1
1k1 ...lkl |
d
X
|1k1 ...lkl |
d
X
1 = 2 (l, d)
k1 ,...,kl
k1 ,...,kl
as pues:
||Dl v(x)|| 2 (l, d) max | v(x)|
||=l
de donde
Z
Z
XZ
l
2 1/2
2 1/2
| v(x)|2 )1/2
( ||D v(x)|| ) 2 (l, d)( (max | v(x)|) ) 2 (l, d)(
T
T ||=l
||=l
90
EN ESPACIOS
DE SOBOLEV
Demostraci
on del teorema: Sea v D(T ) y v = v F donde F es una
aplicacion afn invertible, es decir, x = F (
x) = B
x + b, siendo B una matriz
invertible de orden d d. Aplicando la regla de la cadena tenemos:
Dl v(
x)(1 , ..., l ) = Dl (v F )(
x)(1 , ..., l
= Dl (v(F (
x)))(B1 , ..., Bl ) = Dl v(x)(B1 , ..., Bl )
de donde
||Dl v(
x)|| =
|Dl v(
x)(1 , ..., l )| =
sup
|1 |=...=|l |=1
sup
|Dl v(x)(B1 , ..., Bl )|
|1 |=...=|l |=1
||Dl v(x)||||B||l
y finalmente
Z
Z
l
||D v(
x)|| d
x ||B||
2l
T
||D(F (
x))||2 d
x
utilizando la formula del cambio de variable bajo el signo integral

Z
Z
l
2
2l
1
||D v(
x)|| d
x ||B|| |detB|
||Dl v(x)||2 dx
T
Obtenemos as, aplicando el lema anterior

v D(T ) |
v |l,T ||B||l |detB|1/2 |v|l,T
donde =
2
1
> 0, = (l, d).
Como D(T ) es denso en H l (T ), deducimos

v H l (T ) |
v |l,T ||B||l |det B|1/2 |v|l,T
intercambiando los papeles de T y de T, obtenemos analogamente
v H l (T) |v|l,T ||B1 ||l |det B|1/2 |

v |l,T
Sea finalmente una funcion v H k+1 (T ), aplicando el u
ltimo resultado a
v v
c
|v v|m,T (l, d)||B1 ||m |det B|1/2 |
v v|
m,T
91
EN ESPACIOS
DE SOBOLEV
c =
v
por el teorema de aproximacion y como v
c = |
v | C|
|
v v|
v
v |k+1,T
m,T
m,T
T). Como
donde C = C(,
|
v |k+1,T (k + 1, d)||B||k+1 |det B|1/2 |v|k+1,T
resulta
T)(l, d)(k + 1, d)||B1 ||m ||B||k+1 |v|k+1,T
|v v|m,T C(,
y como ||B||
hT
, ||B1 ||
h
T
|v v|m,T C
hk+1
T
|v|k+1,T
m
T
m
T)(l, d)(k + 1, d) hk+1
donde C = C(,
.
Corolario: Consideremos ahora todos los valores l, 0 l m y los

operadores l = I definidos por
l : H k+1 (T ) H m (T ) H l (T )
v
entonces
|v v|l,T = |v l v|l,T C
hk+1
T
|v|k+1,T
lT
v H k+1 (T ) l,
l = 0 |v v|0,T C0
hk+1
T
|v|k+1,T
0T
l = 1 |v v|1,T C1
hk+1
T
|v|k+1,T
T
...
l = m |v v|m,T
hk+1
Cm Tm |v|k+1,T
T
92
0lm
AL ANALISIS
4.2. APLICACION
NUMERICO
DEL M.E.F. EN
PROBLEMAS ELIPTICOS DE SEGUNDO ORDEN

elevando al cuadrado, sumando y sacando la raiz cuadrada
||v v||m,T C
hk+1
T
|v|k+1,T
m
T
P
2 2(ml) 1/2
) . La constante C se puede mayorar por una
donde C = ( m
l=0 Cl T
constante independiente de las caractersticas geometricas de T, si consideramos solo elementos T suficientemente peque
nos, por ejemplo de diametro
inferior a 1, para los cuales evidentemente el diametro de la circunferencia
inscrita sera menor que 1.
4.2.
Aplicaci
on al an
alisis num
erico del M.E.F.
en problemas elpticos de segundo orden
Consideraremos el caso de un abierto poliedrico de R.

{Th }, triangulaciones de , seg
un se ha definido en el Captulo 3 subseccion 3.2.1.
(T, PT , T )T Th una familia de elementos finitos asociada a cada Th ,
afn equivalentes a un elemento finito de referencia (T, P , ).

h = maxT Th hT para cada Th .
{Th } sera una familia regular de triangulaciones , es decir, existe una
constante 1 tal que
Th {Th }
hT
Comentario: En dimension d = 2 si T es un triangulo la u

ltima propiedad es equivalente a la existencia de un angulo 0 > 0 tal que
T Th
93
T 0
AL ANALISIS
4.2. APLICACION
NUMERICO
DEL M.E.F. EN

donde T es el angulo menor del elemento T .
de P -interpolacion sobre
es lineal continuo
Comentario: El operador
de H k+1 (T) en H m (T) si k 1, d 3 y P H m (T). En efecto, si d 3 la
aplicacion
H k+1 (T) C 0 (T)
v
v
es continua y ||v||0,,T ||v||k+1,T . Ademas para todo v H k+1 (T) tenemos
P H m (T). En consecuencia
v
||v||
m,T = ||
v(ai )i ||m,T
|v(ai )|.||i ||m,T C||v||0,,T C||v||k+1,T
Observemos que si P es un espacio de polinomios se verifica que P H m (T).

Consideremos un problema modelo P de la forma
a(u, v) =< l, v >
v V
uV
donde supondremos que V = H() o V = H01 () o un espacio intermedio

entre los dos. Con las hipotesis sobre a(., .) y < l, . > del teorema de LaxMilgram. El problema aproximado Ph sera
a(uh , vh ) =< l, vh >
vh Vh
uh Vh
donde
Vh = Xh = {v C 0 ();
v|T PT
T Th }
o bien
Vh = Xh H01 ()
o bien
Vh = Xh V
en caso de que V sea un espacio intermedio entre H 1 () y H01 ().
94
AL ANALISIS
4.2. APLICACION
NUMERICO
DEL M.E.F. EN

El objetivo es estimar el error ||u uh ||1, . Sabemos ||u uh ||1,
C nf vh Vh ||u vh ||1, . Como h u Vh tenemos
||u uh ||1, C||u h u||1,
donde h es el operador de interpolacion definido sobre = T Th T . Esto
es factible si podemos construir h u. Para ello necesitamos cierta regularidad
de u.
Teorema: sea un abierto poliedrico de Rd , d 3. Sea {Th } una trian asociada a un elemento finito de referencia (T, P , )
de clase
gulacion de
C 0 . Supongamos que existe un entero k 1 para el cual tenemos
Pk P H 1 (T)
Entonces el Metodo de Elementos Finitos es convergente, es decir, la solucion
uh del problema aproximado converge hacia la solucion u del problema (P)
en la norma de H 1 ():
lm ||u uh ||1, = 0
h0
Ademas, si la solucion u de (P) pertenece al espacio de Sobolev H k+1 ()

tenemos
||u uh ||1, Chk |u|k+1,
Se dice entonces que el metodo es de orden k.
Demostraci
on: Empezamos demostrando el caso en que u H k+1 ().
para k 1, d 3. Entonces podemos
Si u H k+1 () entonces u C()
construir el operador de interpolacion h . Tenemos
||u uh ||1, C1 ||u h u||1,
con C1 =
tenemos
M
.
Considerando la restriccion h u|T = T u para todo T Th

||u h u||1, = (
X
T Th
95
||u T u||21,T )1/2
AL ANALISIS
4.2. APLICACION
NUMERICO
DEL M.E.F. EN

Por el teorema de aproximacion II, existen dos constantes C2 y C3 que de tales que
penden u
nicamente del elemento de referencia (T, P , )
|u T u|1,T C2
||u T u||0,T C3
hk+1
T
|u|k+1,T
T
hk+1
t
|u|k+1,T = C3 hk+1
T |u|k+1,T
0
Como la triangulacion Th es regular
hT
T
, es decir
1
T
hT
, de donde
|u T u|1,T C2 hkT |u|k+1,T

kT |u|k+1,T
||u T u||0,T C3 diam()h
y
||u T u||21,T = |u T u|21,T + ||u T u||20,T
2
2 h2k
(C22 2 + C32 (diam())
T |u|k+1,T
||u T u||1,T C4 hkT |u|k+1,T

2 )1/2 Finalmente
donde C4 = (C22 2 + C32 (diam()
||u h u||1, C4 hk |u|k+1,
Para demostrar que el metodo converge aunque la funcion u no sea regu si V = H 1 () o intermedio entre H 1 () y H 1 ().
lar, tomemos V = D()
0
Tomamos V = D() si V = H01 (). Entonces V es denso en V y h esta definido en V, h : V Vh . Tenemos por la primera parte de la demostracion
v V
||v h v||1, Ch|v|2,
es decir lmh0 ||v h v||1, = 0. Por otra parte como V es denso en V , para
todo > 0 existe un elemento v V tal que
||u v||1,
2C
y para este v, existe un n
umero h() > 0 tal que h h() ||v h v||1,
. Entonces para h suficientemente peque

no
2C
||uuh ||1, C||uh u||1, C(||uv||1, +||vv||1, ) C(
96
+ )=
2C 2C
Captulo 5
Aspectos pr
acticos y
programaci
on del M.E.F.
5.1.
Un M
etodo de Elementos Finitos para el
problema de Poisson
Consideraremos el siguiente problema de Dirichlet para la ecuacion de

Poisson:
4u = f
en
(5.1.1)
u = 0 sobre
(5.1.2)
donde f es una funcion dada, definida en .

Un gran n
umero de problemas en fsica y mecanica se modelan mediante
esta ecuacion. u puede representar por ejemplo la temperatura de un cuerpo,
el potencial electromagnetico, el desplazamiento de una membrana elastica
fija en su contorno y sometida a una fuerza.
Siguiendo los pasos en el tratamiento del problema modelo unidimensional
del captulo 1, introduciremos una formulacion debil del problema (5.1.15.1.2). Para ello introducimos un espacio de funciones definidas en y para
las cuales tengan sentido las operaciones que vamos a realizar, en este caso,
V = H01 ().
97

5.1. UN METODO
DE ELEMENTOS FINITOS PARA EL PROBLEMA
DE POISSON
Multiplicamos ambos miembros de la ecuacion (5.1.1) por una funcion
v V cualquiera e integrando aplicando la formula de Green resulta teniendo
en cuenta que v = 0 en que u es solucion del siguiente problema:
Hallar u V tal que verifique,
Z
Z
uv dx1 dx2 =
f v dx1 dx2
(5.1.3)
para toda funcion v V

Evidentemente toda solucion del problema (5.1.1-5.1.2) sera solucion de
(5.1.3). Recprocamente si u es solucion del problema (5.1.3) entonces u
sera solucion del problema de partida (5.1.1-5.1.2), interpretando las derivadas en el sentido de las distribuciones. Vamos a construir un metodo
numerico para calcular en la practica una aproximacion de la solucion de
(5.1.3). Empezamos introduciendo un subespacio de V que sea de dimension
finita y elegiremos una base de este espacio de modo que las funciones del
mismo sean faciles de manejar. Para simplificar supondremos que la frontera del dominio es poligonal. Construyamos una triangulacion Th de ,
subdividiendo en un conjunto de triangulos Th = {Te }e=1,...,E de modo que
=S
Te , que los triangulos no se superpongan, y que las aristas de
e=1,...,E
cada triangulo sea bien la arista de otro triangulo o una parte de la frontera
poligonal . Ver un ejemplo en la figura 5.1. A cada mallado o triangulacion Th le asociamos el parametro h = maxT Th diam(T ), donde diam(T ) =
diametro de T = lado mayor de T .
Definimos ahora Vh como sigue:
Vh = {v : R, continuas, vh |K P1 (x1 , x2 ), vh = 0 en}
donde P1 (x1 , x2 ) designa el conjunto de polinomios de grado 1 de dos variables. El espacio Vh consiste en todas las funciones continuas que son lineales
en cada triangulo de la triangulacion Th y que se anulan en la frontera . Observemos que Vh V . Como parametros para describir una funcion vh de Vh
elegimos los valores vh (pi ), i = 1, ..., M de vh en los puntos pi , i = 1, ..., M ,
vertices de la triangulacion Th , excluyendo los vertices situados en la frontera , puesto que vh = 0 sobre . Las correspondientes funciones de la base
98

5.1. UN METODO
DE POISSON
Figura 5.1: Ejemplo de triangulacion
j Vh , j = 1, ...M , estan definidas por
j (pi ) =
1 if i = j
0 if i 6= j
Una funcion tpica de la base se representa en la figura 5.2

Estamos en disposicion de formular el correspondiente problema aproximado del problema(5.1.3): Hallar uh Vh tal que verifique,
Z
Z
uh vh dx1 dx2 =
f vh dx1 dx2
(5.1.4)
para toda funcion vh Vh .

En la practica el problema (5.1.4) se reduce a resolver el siguiente sistema
lineal algebraico de ecuaciones:
Au = b
donde Aij =
i j dx1 dx2 , bi =
(5.1.5)
R
f i dx1 dx2 y el vector solu-
cion u = (ui )i=1,...,M , donde ui = uh (pi ) son los coeficientes de la combinacion lineal de elementos de la base de Vh representando uh , es decir,
P
uh (x1 , x2 ) = i=1,...,M uh (pi )i (x1 , x2 ), siendo pi , i = 1, ..., M los vertices de
la triangulacion que no estan en la frontera .
99

5.1. UN METODO
DE POISSON
1
0.8
0.6
0.4
0.2
0
1
0.8
0.6
0.4
0.2
0.4
0.3
0.2
0.1
0.5
0.6
0.7
0.8
0.9
Figura 5.2: Ejemplo de una funcion base
El calculo de los terminos de la matriz A y del segundo miembro b se

realiza sumando las contribuciones de la integral en cada elemento T de la
triangulacion, as:
X
ATij
Aij =
T Th
donde
Z
ATij
i j dx1 dx2
T
y
bi =
bTi
T Th
donde
Z
bTi
=
T
f i dx1 dx2
Los pasos a dar en la resolucion de un problema mediante el metodo de

elementos finitos con la ayuda de un ordenador son:
1. Entrada de datos f , , etc.
100

5.1. UN METODO
DE POISSON
2. Construccion y representacion de la triangulacion o mallado.
3. Calculo de las matrices elementales AT y de los vectores segundo miembro bT
4. Ensamblaje de la matriz global del sistema A por suma de las matrices elementales AT y del vector segundo miembro b por suma de los
vectores elementales bT .
5. Resolucion del sistema algebraico Au = b.
6. Presentacion y visualizacion de resultados.
Vamos a precisar con algo mas de detalle el paso 3 y el 4. En primer
lugar para calcular las integrales ATij necesitaremos la expresion explcita de
las funciones de la base i , o mas concretamente, la restriccion a T de las
funciones i . Observemos primero que solamente un n
umero reducido de las
funciones de la base son distintas de cero en cada triangulo T , en efecto, la
funcion i sera distinta de cero en el triangulo T si y solo si pi es un vertice
de T . Para fijar las ideas, consideremos un triangulo generico T de vertices
ai = (xi , yi ), i = 1, 2, 3 (para no manejar un excesivo n
umero de ndices
utilizare aqu la notacion (x,y) para designar las coordenadas cartesianas en
R2 ). Solo hay tres funciones de la base de Vh cuya restriccion a T sea distinta
de cero. Son las funciones i , i = 1, 2, 3, polinomios de dos variables de grado
1 en T y que verifican (figuras 5.3, 5.4, 5.5)
i (aj ) = ij
i, j = 1, 2, 3
.
La funcion 1 = a + bx + cy se puede determinar resolviendo el sistema
de tres ecuaciones con tres incognitas, a, b, c,
a + bx1 + cy1 = 1
a + bx2 + cy2 = 0
a + bx3 + cy3 = 0
101

5.1. UN METODO
DE POISSON
0.8
0.8
0.6
0.4
0.6
0.2
0.4
0
0
0.1
0.2
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
Figura 5.3: funcion 1
0.8
0.6
0.4
0.2
0
1
0.8
1
0.6
0.8
0.6
0.4
0.4
0.2
0.2
0
102

5.2. CALCULO
DE LA MATRIZ DEL SISTEMA DE ECUACIONES Y
DEL SEGUNDO MIEMBRO: UN EJEMPLO
0.8
0.6
0.4
0.2
0
1
0.8
1
0.6
0.8
0.6
0.4
0.4
0.2
0.2
0
y analogamente para las funciones 2 y 3 . Observemos que si K es el triangulo de vertices a1 = (0, 0), a2 = (1, 0) y a3 = (0, 1), entonces las funciones
i , i = 1, 2, 3 tienen una expresion muy sencilla, pues, 1 = 1 x y, 2 = x
y 3 = y. Las funciones 1 , 2 , 3 asociadas a un triangulo T , se llaman
coordenadas baricentricas y toman valores entre 0 y 1 en los puntos interiores de T y mayores que 1 o menores que 0 en los exteriores, y el valor 0 o 1
P
en los puntos frontera. Se tiene ademas i=1,2,3 i (x, y) = 1 en todo punto
(x, y) R2 .
5.2.
C
alculo de la matriz del sistema de ecuaciones y del segundo miembro: Un ejemplo
Vamos a calcular explcitamente el sistema (5.1.5) en el caso sencillo

correspondiente al problema (5.1.4) en un dominio cuadrado con la triangulacion de la figura 5.6. Calcularemos la i-esima ecuacion del sistema (en
las figuras, la ecuacion n
umero 41 que es la que corresponde al centro del
cuadrado). En la figura 5.7 se han dibujado las curvas de nivel de la corres103

5.2. CALCULO
Figura 5.6: Triangulacion del cuadrado [0, 1] [0, 1]
pondiente funcion base 41 y en la figura 5.8 se ha resaltado el soporte de

dicha funcion. Empecemos calculando los terminos de la matriz. La fila 41
de dicha matriz solo tendra algunos terminos no nulos, concretamente y a
priori los terminos Aij correspondientes a los valores de indices i = 41 y
j = 32, 33, 40, 41, 42, 49, 50, pues solo para estos valores de los ndices los
soportes de las funciones i y j tendran interseccion no vaca (ver la figura
5.9).
Vamos a calcular los terminos ATij para cada triaangulo T de la figura
5.9. De hecho bastara hacerlo para uno de ellos (por ejemplo el de vertices
a41 = (0.5, 0.5), a42 = (0.6, 0.5), a50 = (0.5, 0.6)) y por permutacion de sus
terminos obtendremos el resultado para los otros triangulos. De forma algo
mas general consideremos un triangulo de vertices (y utilizando numeracion
local para simplificar la escritura, es decir, utilizando valores para los 3 ndices
1,2 y 3, en lugar de 41,42 y 50) a1 (x1 , y1 ), a2 (x2 = x1 + h, y2 ) a3 = (x3 =
x1 , y3 = y1 + h), la restriccion de las funciones base a este triangulo seran
1 = 1
x x1 y y 1
,
h
h
2 =
x x1
,
h
104

5.2. CALCULO
Figura 5.7: Curvas de nivel de la funcion 41
Figura 5.8: Soporte de la funcion 41
105

5.2. CALCULO
49
50
40
41
42
32
33
Figura 5.9: Estrella asociada a la ecuacion 41
3 =
y y1
.
h
En efecto, las anteriores funciones verifican i (aj ) = ij para i, j = 1, 2, 3.

Los gradientes respectivos son:
1 = [1/h, 1/h]t ,
2 = [1/h, 0]t ,
3 = [0, 1/h]t .
De donde, los correspondiente productos:
1 .1 = 2/h2
1 .2 = 1/h2
1 .3 = 1/h2
2 .1 = 1/h2
2 .2 = 1/h2
3 .1 = 1/h2
3 .2 = 0 3 .3 = 1/h2
2 .3 = 0
Integrando en el triangulo T , teniendo en cuenta que son terminos constantes

y que a
rea(T ) = h2 /2 resulta,
1
1/2 1/2
0
AT = 1/2 1/2
1/2
0
1/2
106

5.2. CALCULO
y analogamente para los otros triangulos del soporte de 41 . Para construir la
matriz global A estas contribuciones se han de sumar adecuadamente en la
posicion fila-columna correspondiente, as el termino AT1,1 ira a sumarse en la
posicion A41,41 de la matriz global, el termino AT1,2 , se sumara en la posicion
A41,42 , el termino AT1,3 , se sumara en la posicion A41,50 y as sucesivamente.
Los terminos de A, distintos de cero, correspondiente a la ecuacion n
umero
41 seran (fila 41 de la matriz) :
A41,32 = A41,40 = A41,42 = A41,50 = 1
A41,33 = A41,49 = 0
A41,41 = 4
Calculemos el segundo miembro. El termino de la ecuacion 41 es: b41 =
R
f 41 dx1 dx2 , la integral la calcularemos utilizando integracion numerica.
La formula siguiente de Newton-Cotes que integra exactamente polinomios

de grado 1, es suficiente:
Z
f (x, y) dxdy
T
a
rea(T ) X
f (ai )
3
i=1,2,3
donde ai i = 1, 2, 3 son los 3 vertices del triangulo. En nuestro caso, la

funcion a integrar es f 41 , que vale 1 en el vertice 41 y 0 en los otros. Por
tanto,
Z
a
rea(T )
f 41 dxdy
f (a41 )
3
T
sumando las contribuciones de los seis triangulos de la estrella (ver la figura
5.9) y teniendo en cuenta que el area de cada triangulo es igual a h2 /2, resulta
Z
f 41 dxdy h2 f (a4 1)
T
La ecuacion 41 del sistema se escribe:

u32 u40 + 4u41 u42 u50 = h2 f (a41 )
107
(5.2.1)
5.3. UN METODO
GENERAL PARA EL CALCULO
DE MATRICES Y
VECTORES ELEMENTALES
que coincide con el metodo clasico de diferencias finitas. Naturalmente el
metodo de elementos finitos es mucho mas general pues se aplica sin dificultad a dominios mucho mas generales, con triangulaciones no tan estructuradas como la del ejemplo anterior. Veremos tambien como se puede, sin
grandes dificultades, utilizar polinomios de grado mas alto, lo que permite
en la practica mejorar la precision del metodo.
5.3.
Un m
etodo general para el c
alculo de
matrices y vectores elementales
Vamos a desarrollar un metodo de calculo de las matrices y vectores elementales que se pueda aplicar a situaciones mas generales que la correspondiente al caso anterior. Por ejemplo en mallados mas generales de dominios
cualesquiera, con elementos finitos de orden mayor que 1, y en problemas
elpticos mas generales como los que veremos en el captulo siguiente. Desarrollaremos con detalle el ejemplo correspondiente al calculo de terminos:
ATij
d Z
X
Dkl
K
kl
j i
dx1 ...dxd
xk xl
(5.3.1)
donde Dkl k, l = 1, ..., d son funciones reales definidas en . Con notacion

matricial se escribe:
Z
T
Aij =
t j Di dx1 ...dxd
(5.3.2)
T
El calculo de estos terminos se hace generalmente pasando a un elemento

de referencia y utilizando integracion numerica. Supongamos para fijar las
ideas que R2 , es decir d = 2 y consideremos un triangulo generico T
de vertices a1 = (x1 , y1 ), a2 = (x2 , y2 ) y a3 = (x3 , y3 ) definido en un plano
ordinario de ejes x y. Introducimos ahora una transformacion afn cuya
imagen del triangulo T de vertices a1 = (0, 0), a2 = (1, 0) y a3 = (0, 1) en el
plano de ejes sea precisamente el triangulo dado T . Dicha transformacion
afn es facil de encontrar, en efecto, utilizando las coordenadas baricentricas
del triangulo T,
1 = 1
108
5.3. UN METODO
DE MATRICES Y
2 =
3 =
la imagen [x, y]t de un punto [, ]t viene dada por
x
y
o bien
x1
y1
(1 ) +
x
y
x21 x31
y21 y31
x2
y2
x1
y1
x3
y3
donde
x21 = x2 x1 ,
x31 = x3 x1 ,
y21 = y2 y1 ,
y31 = y3 y1
o bien llamando
B=
x21 x31
y21 y31
c=
resulta
x
y
x1
y1
= F (, ) = B
+c
La tranformacion de coordenadas F induce una tranformacion de funciones,

as, una funcion definida en el plano x y induce una funcion en el plano
mediante la composicion de funciones
(,
) = (oF )(, ) = (F (, )) = (x, y)
Por otra parte las derivadas se transformaran seg
un la regla de la cadena:
"
"
#
=
109
5.3. UN METODO
DE MATRICES Y
o bien, observando que
"
Bt =
con notacion matricial,

= Bt
de donde,
= Bt
Finalmente, teniendo en cuenta que
B
1
=
det B
1
=
det B
y por tanto
B
y31 x31
y21 x21
y31 y21
x31 x21
aplicando el teorema del cambio de variable bajo el signo integral

Z
T
Aij =
t j Di dxdy
T
1
=
detB
Z
t
y31 x31
y21 x21
D11 D12
D21 D22
y31 y21
x31 x21
i dd
En el caso en que los terminos de la matriz D sea funciones constantes por

elemento, introduciendo la matriz
y31 x31
D11 D12
y31 y21
C=
y21 x21
D21 D22
x31 x21
el calculo de ATij se simplifica. En efecto, con la notacion
C=
c11 c12
c21 c22
la matriz AT se escribe
ATij
1
=
detB
Z
2
1 X
j i
j Ci dd =
d1 d2
ckl
detB k,l=1
T
T k l
t
110
5.3. UN METODO
DE MATRICES Y
donde hemos utilizado la notacion 1 = , 2 = para poder expresar apropiadamente la suma. La u
ltima integral se calcula una sola vez , pues es una
integral en el elemento de referencia, que se calcula habitualmente mediante
integracion exacta o integracion numerica exacta para los polinomios correspondientes. Si los terminos de la matriz D no son constantes , entonces los
terminos ckl no pueden salir de la integral, se utiliza entonces integracion
numerica para calcular la integral intermedia de la expresion anterior.
111

Metodos Numericos para Ecuaciones en Derivada Parciales

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Metodos Numericos para Ecuaciones en Derivada Parciales

Hochgeladen von

Copyright:

Verfügbare Formate

Metodos Numericos para Ecuaciones en

1.1. Nociones sobre teora de distribuciones . . . . . . . . . . . . .

1.2. El espacio de Sobolev H 1 () . . . . . . . . . . . . . . . . . . .

1.3. El espacio H01 () . . . . . . . . . . . . . . . . . . . . . . . . . 10

2.1. Problemas variacionales abstractos . . . . . . . . . . . . . . . 30

2.3. Problema de Neumann homogeneo asociado al operador 4+Id 37

4.1. Resultados generales de aproximacion en espacios de Sobolev . 81

5.2. Calculo de la matriz del sistema de ecuaciones y del segundo

3.1. Ejemplo de triangulacion . . . . . . . . . . . . . . . . . . . . . 62

5.7. Curvas de nivel de la funcion 41 . . . . . . . . . . . . . . . . 104

Nociones sobre teora de distribuciones

Sea un abierto no vaco de Rd .

1.1. NOCIONES SOBRE TEORIA DE DISTRIBUCIONES

en D () si hTn , i hT, i, D().

D() es denso en L2 (). A cada f L2 () le asociamos la distribuR

De manera general, sea T D0 () una distribucion y Nd un multientero,

1.2. EL ESPACIO DE SOBOLEV H 1 ()

3. Una distribucion es infinitamente derivable en el sentido de las distribuciones.

El espacio de Sobolev H 1()

Sea f L2 () que puede ser o no derivable en el sentido clasico, pero

D0 (), 1 i d. En general, esta distribucion

no esta en L2 (), pero si existe una funcion g L2 () tal que Tg =

L2 () en el sentido de las distribuciones,

donde las derivadas son en el sentido de las distribuciones.

y la correspondiente norma asociada,

1.2. EL ESPACIO DE SOBOLEV H 1 ()

didas como sucesiones de L2 () son de Cauchy. Como L2 () es un espacio

Basta demostrar que vi =

1 i d, en el sentido de las distribu-

ciones. Puesto que la inclusion canonica de L2 () en D0 () es continua, la

Por otro lado, la continuidad de la derivada en el sentido de las distribuciones

1.3. EL ESPACIO H01 ()

= T vn , 1 i d por ser vn H 1 (), y el lmite es

1 i d, en el sentido de las distribuciones.

Teorema: H 1 () es separable, es decir, tiene una parte densa numerable.

de H 1 () en (L2 ())d+1 es una isometra, puesto que,

Identificando H 1 () con J(H 1 ()), al ser este un subespacio cerrado del

Sabemos que D() es denso en L2 () y H 1 () es un cierto subespacio de

1.3. EL ESPACIO H01 ()

decir, H01 () = D()

Teorema: D(Rd ) es denso en H 1 (Rd ), es decir, H01 (Rd ) = H 1 (Rd ).

habremos concluido. Para ello tenemos que demostrar dos cosas:

1- Tenemos que ver que kMR v vk0,Rd 0, en efecto,

1.3. EL ESPACIO H01 ()

en el sentido de las distribuciones.

El segundo termino evidentemente converge a 0 cuando R . Veamos el

Consideramos la funcion regularizada v = ? v, es decir,

Como v y son de soporte compacto, v tambien es de soporte compacto. Por

1.3. EL ESPACIO H01 ()

Y as tenemos que v v en H 1 (Rd ).

Lema: Si f L2 (Rd ) ? f f en L2 (Rd ).

Demostracion: Como D(Rd ) es denso en L2 (Rd ), se puede considerar una

Por otro lado, obviamente,

1.3. EL ESPACIO H01 ()

|( ? fn fn )(x)| 0 uniformemente. Ademas y fn tienen soporte

compacto, luego su producto de convolucion tambien tiene soporte compacto.

es decir, tambien tiende a 0 el termino que faltaba para completar la demostracion.

Teorema (de prolongaci

1.3. EL ESPACIO H01 ()

{vn }n=1 de D() que convergen respectivamente a u y v en la norma de

Aplicando la formula de Green clasica a las funciones de D(),

Como son funciones de soporte compacto, la integral sobre la frontera es

1.3. EL ESPACIO H01 ()