Apuntes MEF MIXTOS Gatica

Introducci on al Metodo de
Elementos Finitos Mixtos

Gabriel N. Gatica
Centro de Investigaci on en Ingeniera Matem atica (CI
2
MA)
y Departamento de Ingeniera Matematica
Universidad de Concepcion
ggatica@ing-mat.udec.cl/ggatica@ci2ma.udec.cl
http://colo-colo.ing-mat.udec.cl/ggatica
Mayo 2011
2
Nota del autor
En la redacci on de este apunte se ha asumido un conocimiento b asico sobre an
alisis
funcional y teor
a de distribuciones por parte del lector. En particular, se emplea

la notaci on usual para espacios de sobolev y sus respectivas normas y semi-normas.
No obstante, algunos resultados fundamentales sobre estos espacios se presentan con
cierto detalle en la Seccion 1.3.
Indice general
1. Introducci
on 5
1.1. El Lema de Lax-Milgram . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.1. Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.1.2. La versi on clasica . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.1.3. La versi on general . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2. Ejemplos de formulaciones mixtas . . . . . . . . . . . . . . . . . . . . . . 16
1.2.1. Un modelo unidimensional . . . . . . . . . . . . . . . . . . . . . . 16
1.2.2. Un modelo en R
n
. . . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.3. Trazas e identidades de Green . . . . . . . . . . . . . . . . . . . . . . . . 22
1.3.1. Trazas de H
1
() . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.3.2. El espacio H
1/2
() . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.3.3. Integracion por partes e identidad de Green . . . . . . . . . . . . 25
1.3.4. Trazas normales de H(div; ) . . . . . . . . . . . . . . . . . . . . 27
2. Teor
a de Babu
ska-Brezzi 33
2.1. La ecuaci on de operadores . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.2. La condici on inf-sup . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.3. El resultado principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
2.4. Ejemplos de aplicacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.4.1. El problema de Poisson . . . . . . . . . . . . . . . . . . . . . . . . 41
2.4.2. El problema de Poisson con condiciones mixtas . . . . . . . . . . 43
2.4.3. El problema de elasticidad lineal . . . . . . . . . . . . . . . . . . 47
2.4.4. El problema de Poisson en formulacion primal-mixta . . . . . . . 59
2.5. El esquema de Galerkin . . . . . . . . . . . . . . . . . . . . . . . . . . . 61
3
4

INDICE GENERAL
3. Espacios de Raviart-Thomas 71
3.1. Resultados preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
3.2. Espacios de polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
3.3. Espacios de Raviart-Thomas locales . . . . . . . . . . . . . . . . . . . . . 78
3.4. Interpolaci on en H(div ; ) . . . . . . . . . . . . . . . . . . . . . . . . . . 82
3.4.1. Operadores de interpolaci on global y local . . . . . . . . . . . . . 82
3.4.2. La transformaci on de Piola . . . . . . . . . . . . . . . . . . . . . . 85
3.4.3. Deny-Lions, Bramble-Hilbert y resultados anes . . . . . . . . . . 90
3.4.4. Errores de interpolaci on . . . . . . . . . . . . . . . . . . . . . . . 97
4. M
etodos de Elementos Finitos Mixtos 103

4.1. Operadores de proyecci on . . . . . . . . . . . . . . . . . . . . . . . . . . 103
4.2. El problema de Poisson . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
4.3. El problema de Poisson / primal-mixto . . . . . . . . . . . . . . . . . . . 114
4.4. El problema de Poisson con c.c. de Neumann . . . . . . . . . . . . . . . . 122
Captulo 1
Introducci
on
En este captulo se describen los principales aspectos introductorios al Metodo de Ele-
mentos Finitos Mixtos. En primer lugar se recuerda el Lema de Lax-Milgram en sus
versiones clasica/particular y general. Luego, se introducen dos ejemplos que ilustran la
utilizaci on de formulaciones variacionales mixtas para resolver problemas de valores de
contorno. Finalmente, se explican diversos resultados basicos sobre trazas, f ormulas de
integraci on por partes e identidades de Green para algunos espacios de Sobolev, y en
particular para H(div; ).
1.1. El Lema de Lax-Milgram
Con el objeto de enunciar y demostrar este resultado, el mas cl asico en el an alisis de
problemas variacionales, necesitamos algunos conceptos preliminares.
1.1.1. Preliminares
Definici on 1.1 Sean (H
1
, ,
1
) y (H
2
, ,
2
) espacios de Hilbert reales. Se dice que
una forma B : H
1
H
2
R es bilineal si ella es lineal en cada uno de sus compo-
nentes, es decir:
i) B(x + y, z) = B(x, z) + B(y, z) x, y H
1
, z H
2
, , R.
ii) B(x, y + z) = B(x, y) + B(x, z) x H
1
, y, z H
2
, , R.
5
6 CAP
ITULO 1. INTRODUCCI
ON
Definici on 1.2 Sean (H
1
, ,
1
) y (H
2
, ,
2
) espacios de Hilbert reales. Se dice que
una forma bilineal B : H
1
H
2
R es acotada si existe una constante M > 0 tal
que:
[B(x, y)[ M |x|
1
|y|
2
(x, y) H
1
H
2
.
Definici on 1.3 Sean (H, , ) un espacio de Hilbert real y B : H H R una
forma bilineal. Se dice que B es fuertemente coerciva (o H-el
ptica) si existe
una constante > 0 tal que
B(x, x) |x|
2
x H.
Ahora, dados (H
1
, ,
1
) y (H
2
, ,
2
) espacios de Hilbert reales y B : H
1
H
2
R
una forma bilineal acotada, nos interesa denir el operador B : H
1
H
2
inducido por
B y viceversa. Para ello, consideramos un elemento v H
1
y denimos el funcional
F
v
: H
2
R por
F
v
(w) := B(v, w) w H
2
.
Puesto que B es lineal en su segunda componente (porque B es bilineal) se tiene cla-
ramente que F
v
es lineal. Adem as, dado que B es acotada (con constante M) se tiene
que
[F
v
(w)[ M|v|
1
|w|
2
w H
2
,
con lo cual se concluye que F
v
H
t
2
y
|F
v
| M|v|
1
v H
1
. (1.1)
Lo anterior induce la denici on del operador B : H
1
H
t
2
como
B(v) := F
v
v H
1
,
el cual, gracias a la linealidad tambien de B en su primera componente y a la desigualdad
(1.1), es un operador lineal y acotado con
|B|
/(H
1
,H
2
)
M.
Finalmente, si 1
2
: H
t
2
H
2
denota la aplicaci on de Riesz correspondiente, se dene
el operador B : H
1
H
2
inducido por B como
B := 1
2
B, (1.2)
1.1. EL LEMA DE LAX-MILGRAM 7
o bien, gr acamente
B
H
1
H
t
2
1
2
B
H
2
Notar que B es lineal y acotado (porque 1
2
y B lo son), y adem as:
B(v), w
2
= 1
2
(B(v)), w
2
= B(v)(w) = B(v, w) (v, w) H
1
H
2
. (1.3)
Recprocamente, si B L(H
1
, H
2
) entonces se dene la forma bilineal B : H
1
H
2
R
inducida por B como
B(v, w) := B(v), w
2
(v, w) H
1
H
2
. (1.4)
1.1.2. La versi on clasica
El siguiente resultado constituye la versi on mas conocida del Lema de Lax-Milgram.
Teorema 1.1 (lema de lax-milgram) Sean (H, , ) un espacio de Hilbert real y
B : H H R una forma bilineal, acotada y H-elptica con constantes M y ,
respectivamente. Entonces, para cada F H
t
existe un unico u H tal que
B(u, v) = F(v) v H (1.5)
y
|u|
1
|F|. (1.6)
Demostraci on. Sea B : H H el operador lineal y acotado inducido por B, esto es:
B(v), w = B(v, w) (v, w) H H,
y sea 1 : H
t
H la aplicaci on de Riesz correspondiente. Entonces, encontrar un unico
u H tal que (1.5) ocurra es equivalente a pedir que
B(u), v = 1(F), v v H,
o bien, tal que
B(u) = 1(F). (1.7)
8 CAP
ITULO 1. INTRODUCCI
ON
M as a un, como ello se requiere para cada F H
t
, se observa que la presente demostra-
ci on se reduce a probar que B : H H es biyectivo. Para este efecto, notemos primero,
a partir de la H-elipticidad de B, que para cada v H:
|v|
2
B(v, v) = B(v), v |B(v)| |v|,
de donde
|v| |B(v)| v H.
Se sigue, seg un el resultado de caracterizaci on de operadores con rango cerrado, que B
es inyectivo y R(B) es un subespacio cerrado de H. Luego, de acuerdo al Teorema de
Descomposici on Ortogonal se tiene H = R(B)R(B)
, y por lo tanto solo resta mostrar

que R(B)
= para concluir que B es sobreyectivo. En efecto, dado w R(B)
se
tiene que z, w = 0 z R(B), o bien, equivalentemente, B(v), w = 0 v H.
En particular, para v = w se tiene, utilizando la H-elipticidad de B,
0 = B(w), w = B(w, w) |w|
2
,
de donde w = , completando as la demostracion de la biyectividad de B. En conse-
cuencia, dado F H
t
existe un unico u H tal que B(u) = 1(F), esto es:
B(u, v) = F(v) v H.
En particular, para v = u se obtiene, usando nuevamente la H-elipticidad de B que
|u|
2
B(u, u) = F(u) |F| |u|,
de donde
|u|
1
|F|.
2
El Lema de Lax-Milgram y su demostraci on motivan varias observaciones. En primer
lugar notamos que la desigualdad (1.6) representa un resultado de dependencia continua
para el problema (1.5). En efecto, dados F
1
, F
2
H
t
denotamos por u
1
, u
2
H los
unicos elementos, garantizados por el Lema de Lax-Milgram, tales que:
B(u
1
, v) = F
1
(v) v H
y
B(u
2
, v) = F
2
(v) v H.
Se sigue que u := u
1
u
2
H es la unica solucion del problema
B(u, v) = (F
1
F
2
)(v) v H,
y por lo tanto, la desigualdad (1.6) implica que
|u
1
u
2
|
1
|F
1
F
2
|.
Lo anterior indica que la estabilidad de la solucion del problema (1.5) est a asegurada
con valores grandes de la constante de elipticidad .
Por otro lado, recordemos de (1.7) que demostrar el Lema de Lax-Milgram se reduce,
dado F H
t
, a probar la existencia de un unico u H tal que B(u) = 1(F), lo cual,
considerando un parametro > 0, equivale a hallar u H tal que
_
B(u) 1(F)
_
= ,
o bien, hallar u H tal que
T(u) = u,
donde T : H H es el operador nolineal denido por
T(v) := v
_
B(v) 1(F)
_
v H.
As, una demostracion alternativa del Lema de Lax-Milgram consiste en probar que T
posee un unico punto jo, lo cual se logra, en virtud del Teorema del Punto Fijo de
Banach, mostrando que T es una contracci on para alg un > 0. En efecto, usando la
elipticidad y acotamiento de B, se obtiene
|T(v) T(w)|
2
= T(v) T(w), T(v) T(w)
= (v w) B(v w), (v w) B(v w)
= |v w|
2
2 B(v w), v w +
2
| B(v w)|
2
(1 2 +
2
M
2
)|v w|
2
v, w H,
de donde se deduce que una condicion suciente para la contractividad de T es que
1 2 +
2
M
2
< 1, esto es

_
0,
2
M
2
_
.
10 CAP
ITULO 1. INTRODUCCI
ON
Otro aspecto interesante del problema (1.5) lo constituye el an alisis resultante para
el caso en que la forma bilineal B es sim
etrica. En efecto, bajo esta hipotesis adicional,

B se convierte en otro producto escalar sobre H cuya norma inducida, denotada | |
B
,
est a dada por
|v|
B
:= B(v, v)
1/2
v H.
M as a un, gracias a la H-elipticidad y acotamiento de B, se obtiene que
|v|
2
B(v, v) = |v|
2
B
M |v|
2
v H,
lo cual prueba que | | y | |
B
son equivalentes en H, y por lo tanto (H, B(, )) tambien
es un espacio de Hilbert. En consecuencia, dado F H
t
(con respecto a cualquiera de
las dos normas), el Teorema de Representaci on de Riesz (T.R.R.) aplicado a (H, B(, ))
implica la existencia de un unico u H tal que
F(v) = B(u, v) v H.
De este modo, la demostraci on del Lema de Lax-Milgram en el caso de una forma bilineal
B simetrica se reduce a una simple aplicaci on del T.R.R.. Otra forma de ver esto es que
el Lema de Milgram no es m as que la extension del T.R.R. al caso de una forma bilineal
acotada y H-elptica, pero no necesariamente simetrica.
A continuaci on ilustramos la aplicabilidad del Lema de Lax-Milgram con un ejemplo
unidimensional. Para tal efecto, necesitamos demostrar primero el siguiente resultado.
Lema 1.1 (desigualdad de friedrichs-poincar
e) Sea :=]a, b[ R y conside-

remos el espacio de Sobolev
H
1
0
() :=
_
v H
1
() : v(a) = v(b) = 0
_
.
Entonces, se tiene
|v|
2
1,

_
1 +
(b a)
2
2
_
[v[
2
1,
v H
1
0
(). (1.8)
Demostraci on. Demostramos primero la desigualdad (1.8) en el espacio C
0
() y luego
usamos que C
0
() es denso en H
1
0
() con respecto a la norma usual | |
1,
de H
1
().
En efecto, sea C
0
(). Entonces, para todo x se tiene
(x) =
_
x
a
t
(t) dt,
lo cual, aplicando desigualdad de Cauchy-Schwarz, implica que
[(x)[
2
_
x
a
1
2
dt
_
x
a
(
t
(t))
2
dt = (x a)
_
x
a
(
t
(t))
2
dt
(x a)
_
b
a
(
t
(t))
2
dt = (x a) [[
2
1,
.
Luego, integrando con respecto a x , se obtiene de la estimaci on anterior,
||
2
0,
[[
2
1,
_
b
a
(x a) dx =
(b a)
2
2
[[
2
1,
,
y por lo tanto
||
2
1,
= ||
2
0,
+[[
2
1,

_
1 +
(b a)
2
2
_
[[
2
1,
. (1.9)
Ahora, dada v H
1
0
() consideramos una sucesi on
n
nN
C
0
() tal que
|v
n
|
1,
n
0. (1.10)
Se sigue de (1.9) que
|
n
|
2
1,

_
1 +
(b a)
2
2
_
[
n
[
2
1,
n N,
de donde, tomando lm
n
, y usando (1.10), se obtiene (1.8). 2
Ejemplo 1.1 Dados =]0, 1[ y f L
2
(), consideremos el problema de valores de
contorno:
u
tt
= f en , u(0) = u(1) = 0.
Es facil ver que la formulacion variacional respectiva esta dada por: Hallar u H := H
1
0
()
tal que
B(u, v) :=
_
1
0
u
t
v
t
= F(v) :=
_
1
0
fv v H. (1.11)
Es claro que F es lineal y ademas acotado ya que, aplicando Cauchy-Schwarz, resulta
[F(v)[ =
_
1
0
fv
|f|
0,
|v|
0,
|f|
0,
|v|
1,
v H,
lo cual dice que |F| |f|
0,
. A su vez, B : H H R es bilineal y tambien acotada ya
que, usando Cauchy-Schwarz de nuevo, se obtiene
[B(w, v)[ =
_
1
0
w
t
v
t
[w[
1,
[v[
1,
|w|
1,
|v|
1,
w, v H.
12 CAP
ITULO 1. INTRODUCCI
ON
Por ultimo, de acuerdo al Lema 1.1, con a = 0 y b = 1, podemos escribir
B(v, v) =
_
1
0
(v
t
)
2
= [v[
2
1,

2
3
|v|
2
1,
v H,
lo cual demuestra que B es H-elptica con constante = 2/3. As, una aplicacion directa del
Lema de Lax-Milgram nos permite concluir que (1.11) tiene una unica solucion u H
1
0
(), la
cual satisface
|u|
1,

3
2
|F|
3
2
|f|
0,
.
1.1.3. La versi on general
El objetivo siguiente es deducir una version mas general del Lema de Lax-Milgram
(ver Teorema 1.1). Para ello, ahora consideramos espacios de Hilbert reales (H
1
, ,
1
)
y (H
2
, ,
2
), un funcional F H
t
2
, una forma bilineal acotada B : H
1
H
2
R, y
buscamos u H
1
tal que
B(u, v) = F(v) v H
2
. (1.12)
En otras palabras, si B : H
1
H
2
es el operador lineal y acotado inducido por B, y
1
2
: H
t
2
H
2
es la aplicacion de Riesz correspondiente, nos interesa hallar u H
1
tal
que
B(u) = 1
2
(F). (1.13)
As, una condici on necesaria y suciente para que (1.12) tenga soluci on unica para cada
F H
t
2
es que B sea biyectivo. A su vez, la biyectividad de B puede reformularse de
acuerdo a las equivalencias proporcionadas por el siguiente lema.
Lema 1.2 Sean (H
1
, ,
1
) y (H
2
, ,
2
) espacios de Hilbert y sea B L(H
1
, H
2
). En-
tonces:
a) B es sobreyectivo si y solo si B
es inyectivo y de rango cerrado, esto es, si existe

> 0 tal que
|B
(v)|
1
|v|
2
v H
2
. (1.14)
b) B es inyectivo si y solo si
sup
vH
2
B(u), v
2
> 0 u H
1
, u ,= .
c) B
es sobreyectivo si y solo si B es inyectivo y de rango cerrado, esto es, si existe

> 0 tal que
|B(u)|
2
|u|
1
u H
1
. (1.15)
d) B
es inyectivo si y solo si
sup
uH
1
B(u), v
2
> 0 v H
2
, v ,= .
e) B es biyectivo si y solo si B
es biyectivo.
Demostraci on.
a) Supongamos que R(B) = H
2
. Se sigue que R(B
) tambien es cerrado (porque R(B)

obviamente lo es) y adem as N(B
) = R(B)
= H
2
= . Recprocamente, si B
es inyectivo y de rango cerrado, el rango de B tambien es cerrado y luego R(B) =

N(B
= H
2
. La equivalencia con (1.14) corresponde exactamente al
resultado de caracterizacion para operadores con rango cerado.
b) Basta ver que B es inyectivo si y s olo si B(u) ,= u H
1
, u ,= .
c) y d) Estas equivalencias resultan directamente de a) y b) al aplicar estas ultimas
a B
.
e) Supongamos que B es biyectivo. Se sigue de a) que B
es inyectivo y de rango
cerrado, lo cual implica que R(B
) = N(B)
= H
1
, y as B
es biyectivo.
Para el recproco basta aplicar la implicaci on anterior a B
en vez de B
2
Es importante observar aqu, seg un lo dado por e), que los pares de condiciones a),
b) y c), d) son equivalentes. Al respecto, notemos tambien que (1.14) y (1.15) pueden
re-escribirse como:
|B
(v)|
1
:= sup
uH
1
u=
B(u), v
2
|u|
1
= sup
uH
1
u=
B(u, v)
|u|
1
|v|
2
v H
2
, (1.16)
y
|B(u)|
2
:= sup
vH
2
v=
B(u), v
2
|v|
2
= sup
vH
2
v=
B(u, v)
|v|
2
|u|
1
u H
1
, (1.17)
14 CAP
ITULO 1. INTRODUCCI
ON
o bien, respectivamente,
nf
vH
2
v=
sup
uH
1
u=
B(u, v)
|u|
1
|v|
2
, (1.18)
y
nf
uH
1
u=
sup
vH
2
v=
B(u, v)
|u|
1
|v|
2
, (1.19)
raz on por la cual ellas reciben el nombre de condiciones inf-sup.
De acuerdo al analisis anterior, podemos establecer a continuaci on una version m as
general del Lema de Lax-Milgram.
Teorema 1.2 (lema de lax-milgram generalizado) Sean H
1
y H
2
espacios de
Hilbert reales y sea B : H
1
H
2
R una forma bilineal acotada. Suponga que:
i) existe > 0 tal que
sup
vH
2
v=
B(u, v)
|v|
2
|u|
1
u H
1
,
ii)
sup
uH
1
B(u, v) > 0 v H
2
, v ,= .
Entonces, para cada F H
t
2
existe un unico u H
1
tal que
B(u, v) = F(v) v H
2
y
|u|
1

1
|F|
H
2
. (1.20)
Ademas, las condiciones i) y ii) son tambien necesarias.
Demostraci on. Basta observar que i) y ii) corresponden a las condiciones c) y d) del
Lema 1.2, las cuales (juntas) son equivalentes a la biyectividad de B
y por ende a la de
B. La estimaci on (1.20) se sigue de (1.15) notando que B(u) = R
2
(F). 2
Ciertamente, el teorema anterior puede enunciarse, equivalentemente, con las con-
diciones a) y b) en vez de c) y d) del Lema 1.2. En tal caso, puede asumirse la misma
constante en (1.14) y (1.15) ya que |(B
)
1
| (acotada por 1/ en (1.14)) es igual
a |B
1
| (acotada tambien por 1/ en (1.15)), y por lo tanto la estimaci on (1.20) se
obtiene tambien a partir de a) y b), pero haciendo uso de esta identidad.
Ahora, en el caso particular en que H
1
= H
2
= H, el Lema de Lax-Milgram (Teo-
rema 1.1) se sigue obviamente del Teorema 1.2. En efecto, si B : H H R es una
forma bilineal, acotada y H-elptica con constantes M y , respectivamente, se obtiene
claramente
sup
vH
v=
B(u, v)
|v|

B(u, u)
|u|
|u| u H, u ,= ,
y
sup
uH
B(u, v) B(v, v) |v|
2
> 0 v H, v ,= ,
lo cual prueba, respectivamente, las hipotesis i) y ii) del Teorema 1.2. A su vez, si en
vez de H-elipticidad, se supone que B : H H R es simetrica, entonces el operador
B L(H) inducido por B resulta autoadjunto, y en tal caso la hipotesis ii) del Teorema
1.2 es redundante. Lo anterior sugiere la siguiente version simetrica del Lema de Lax-
Milgram generalizado.
Teorema 1.3 Sea H un espacio de Hilbert real y sea B : H H R una forma
bilineal acotada. Suponga que:
i) B(w, v) = B(v, w) w, v H.
ii) existe > 0 tal que
sup
vH
v=
B(u, v)
|v|
|u| u H.
Entonces, para cada F H
t
existe un unico u H tal que
B(u, v) = F(v) v H.
y
|u|
1
|F|
H
.
Demostraci on. Es un corolario directo del Teorema 1.2. 2
16 CAP
ITULO 1. INTRODUCCI
ON
1.2. Ejemplos de formulaciones mixtas
1.2.1. Un modelo unidimensional
Sean a, b, R, > 0, :=]0, 1[, f L
2
(), y consideremos el problema:
u
tt
+ u = f en , u
t
(0) = a , u
t
(1) = b . (1.21)
La formulaci on primal de (1.21) consiste en: Hallar u H := H
1
() tal que
A(u, v) = F(v) v H , (1.22)
donde A : H H R es la forma bilineal denida por
A(u, v) :=
_
1
0
_
u
t
v
t
+ uv
_
u, v H ,
y F : H R es el funcional lineal dado por
F(v) :=
_
1
0
f v +
_
b v(1) a v(0)
_
v H .
Es importante observar aqu que las condiciones de contorno de (1.21) se incorporan de
manera natural (a traves de la integracion por partes respectiva) en el funcional F de
la formulaci on variacional (1.22). De hecho, esta es una caracterstica habitual de las
condiciones del tipo Neumann en formulaciones primales.
Para demostrar que (1.22) esta bien propuesto (soluci on unica y dependencia con-
tinua de los datos) basta vericar las hip otesis del cl asico Lema de Lax-Milgram. En
efecto, puesto que > 0, se obtiene
A(v, v) =
_
1
0
_
(v
t
)
2
+ v
2
_
mn1, |v|
2
1,
v H ,
lo cual prueba que A es H-elptica. Adem as, utilizando la desigualdad de Cauchy-
Schwarz se deduce que
[ A(u, v) [ m ax1, |u|
1,
|v|
1,
u , v H ,
lo cual muestra que A es acotada. Ahora, para el acotamiento de F observamos primero,
tambien como consecuencia de la desigualdad de Cauchy-Schwarz, que
_
1
0
f v
|f|
0,
|v|
0,
|f|
0,
|v|
1,
v H . (1.23)
1.2. EJEMPLOS DE FORMULACIONES MIXTAS 17
A su vez, dada v C
1
(
) (restricciones a de funciones que son de clase C

1
sobre
alg un abierto que contiene a

), se tiene claramente
v(0) = v(x)
_
x
0
v
t
(t) dt x ,
de donde
[v(0)[
2
2
_
[v(x)[
2
+
_
x
0
v
t
(t) dt
2
_
2
_
[v(x)[
2
+
__
x
0
1 dt
_ __
x
0
(v
t
(t))
2
dt
__
2
_
[v(x)[
2
+ x [v[
2
1,
_
x .
Luego, integrando con respecto a x en , resulta
[v(0)[
2
2
_
|v|
2
0,
+
1
2
[v[
2
1,
_
2 |v|
2
1,
,
y as
[v(0)[
2 |v|
1,
v C
1
(
) .
An alogamente se prueba que
[v(1)[
2 |v|
1,
v C
1
(
) ,
y argumentos de densidad (C
1
(
) es denso en H
1
()) permiten demostrar que ambas
desigualdades se extienden a todo H. De este modo, se sigue que
b v(1) a v(0)
2 (a + b) |v|
1,
v H ,
lo cual, junto con (1.23), prueban el acotamiento de F.
Por otro lado, una de las motivaciones principales para utilizar fomulaciones varia-
cionales mixtas, lo cual constituye tambien una de las caractersticas mas importantes
de esta metodologa, es la posibilidad de introducir variables (inc ognitas) adicionales
que tengan alg un interes fsico o matematico, las cuales dependen usualmente de las
inc ognitas originales.
Para ilustrar lo anterior, denamos := u
t
en , de modo que el problema de
valores de contorno (1.21) se reformule como el sistema de primer orden:
= u
t
en ,
t
+ u = f en , (0) = a , (1) = b . (1.24)
18 CAP
ITULO 1. INTRODUCCI
ON
Notemos que ahora tenemos dos inc ognitas, y u, y que las condiciones de contorno de
tipo Neumann para u se han transformado en condiciones de Dirichlet para . Entonces,
multiplicando la ecuaci on = u
t
en por H
1
0
() e integrando por partes, resulta:
_
1
0
+
_
1
0
u
t
= 0 H
1
0
() .
Adem as, multiplicando
t
+ u = f en por v L
2
(), obtenemos:
_
1
0
t
v
_
1
0
u v =
_
1
0
f v v L
2
() .
De este modo, una formulacion variacional mixta de (1.21) estara dada, en primera
instancia, por: Hallar (, u) H
1
() L
2
() tal que (0) = a, (1) = b,
_
1
0
+
_
1
0
u
t
= 0 H
1
0
() ,
_
1
0
t
v
_
1
0
u v =
_
1
0
f v v L
2
() .
(1.25)
No obstante, el sistema (1.25) no es simetrico con respecto a incognitas y funciones tests
ya que se busca en un espacio afn (trasladado de H
1
()) y la funcion test respectiva
pertenece a H
1
0
(). Lo anterior se origina por el hecho que, a diferencia de lo que ocurre
en la formulacion primal, las condiciones de contorno de Neumann dejan de ser naturales
para la formulacion mixta, recibiendo as el distintivo de esenciales. Para subsanar esta
dicultad, procedemos a continuacion de dos formas distintas.
traslaci
on de la inc
ognita .
Denamos la funci on auxiliar
0
(x) := a + (b a) x x y la incognita
trasladada =
0
. Notar que
0
satisface las condiciones de contorno de (1.24).
Se sigue que el sistema (1.24) se re-escribe como:
= u
t

0
en ,
t
+ u = f + (b a) en ,
(0) = 0 , (1) = 0 .
(1.26)
As, procediendo como antes, se obtiene que la formulaci on variacional mixta de (1.26)
se reduce a: Hallar ( , u) H
1
0
() L
2
() tal que
_
1
0
+
_
1
0
u
t
=
_
1
0
0
H
1
0
() ,
_
1
0

t
v
_
1
0
u v =
_
1
0
f v (b a)
_
1
0
v v L
2
() .
(1.27)
Lamentablemente, este procedimiento no es aplicable, desde un punto de vista practico, a
problemas en dimensiones superiores a 1. En efecto, en tales casos se sabe de la existencia
de una tal funci on
0
, pero, en general, no es posible obtenerla explcitamente.
utilizaci
on de un multiplicador de lagrange.
A partir del sistema (1.24), y en vez de emplear una funcion test H
1
0
(), se con-
sidera simplemente H
1
() y se introduce la inc ognita auxiliar (multiplicador de
Lagrange) := (
1
,
2
) R
2
, con
1
:= u(1) y
2
:= u(0). Esto induce la
imposici on debil de las condiciones de contorno de (1.24) a traves de la ecuaci on:
((0), (1)) = (a, b) R
2
.
De esta manera, deniendo los espacios H := H
1
() y Q := L
2
() R
2
, se llega a la
siguiente formulaci on variacional mixta de (1.24): Hallar (, (u, )) H Q tal que
a(, ) + b(, (u, )) = F() H ,
b(, (v, )) c((u, ), (v, )) = G(v, ) (v, ) Q,
(1.28)
donde a : H H R, b : H Q R, y c : Q Q R son las formas bilineales
denidas por:
a(, ) :=
_
1
0
(, ) H H ,
b(, (v, )) :=
_
1
0
t
v ((0), (1)) (, (v, )) H Q,
c((u, ), (v, )) :=
_
1
0
u v ((u, ), (v, )) QQ,
F : H R es el funcional nulo, y G : Q R est a dado por
G(v, ) :=
_
1
0
f v (a, b) (v, ) Q.
La estructura de los problemas (1.27) y (1.28), en particular aquella que resulta con
= 0, corresponde a la forma tpica de una formulacion variacional mixta. En el
Captulo 2 revisaremos los principales aspectos de la teora abstracta respectiva.
20 CAP
ITULO 1. INTRODUCCI
ON
1.2.2. Un modelo en R
n
Sea un abierto acotado de R
n
, n 2, con frontera Lipschitz-continua . Entonces,
dados f L
2
() y g H
1/2
(), consideramos el problema de Poisson:
u = f en , u = g en . (1.29)
La formulacion primal de (1.29), la cual se deriva a partir de una identidad de Green que
se demuestra en la Secci on 1.3 (ver Corolario 1.2 o Teorema 1.8), es: Hallar u H
1
()
tal que u = g en y
_
u v =
_
f v v H
1
0
() . (1.30)
De manera similar a lo que ocurra con (1.25), ahora observamos que la condici on de
Dirichlet en (1.29) no es natural sino solo esencial para (1.30). Sin embargo, a conti-
nuaci on mostramos que ella s se incorpora de manera natural en la formulaci on mixta
respectiva. En efecto, deniendo la inc ognita adicional = u en , el problema
(1.29) se re-escribe como el sistema de primer orden:
= u en , div () = f en , u = g en .
Entonces, multiplicando la ecuacion = u en por una funcion H(div; ),
integrando por partes, y utilizando la condici on de Dirichlet para u, resulta:
_
+
_
udiv () = , g H(div; ) , (1.31)

donde es el vector normal exterior a y , denota la paridad dual de H
1/2
()
y H
1/2
() con respecto al producto escalar usual de L
2
() (ver detalles en la Secci on
1.3.4).
Recordemos aqu que
H(div; ) :=
_
[L
2
()]
n
: div () L
2
()
_
,
donde la pertenencia de div () a L
2
() es en el sentido distribucional, lo cual signica
que existe z L
2
() tal que
=
_
z C
0
() .
Adem as, es f acil probar, usando la completitud de L
2
(), que H(div; ) provisto del
producto interior
, :=
_
_
+ div () div ()
_
, H(div; ) ,
es un Hilbert. Mayores detalles sobre este espacio, incluyendo la demostraci on de la
f ormula de integraci on por partes que da origen a (1.31), se presentan en la Secci on 1.3.
Por otro lado, multiplicando la ecuacion div () = f en por v L
2
(), se
obtiene claramente:
_
v div () =
_
f v v L
2
() . (1.32)
De esta manera, la formulaci on variacional mixta de (1.29) resulta de juntar (1.31) y
(1.32), esto es: Hallar (, u) H Q tal que
a(, ) + b(, u) = , g H ,
b(, v) =
_
f v v Q,
(1.33)
donde H := H(div; ), Q := L
2
(), y a : H H R, b : H Q R, son las formas
bilineales denidas por:
a(, ) :=
_
(, ) H H ,
b(, v) :=
_
v div () (, v) H Q.
Al igual que lo mencionado con los problemas (1.27) y (1.28), la estructura de (1.33)
corresponde tambien a la forma tpica de una formulaci on variacional mixta (ver los
detalles respectivos en el Captulo 2).
A modo de comentario nal, y en virtud de lo que se ha observado en los ejemplos
de esta secci on, podemos armar que las condiciones de contorno de Dirichlet y de
Neumann intercambian sus roles en las formulaciones primales y mixtas. Esto queda
reejado a traves de la siguiente tabla:
Formulaci
on primal mixta
Condici on de Dirichlet esencial natural
Condici on de Neumann natural esencial
22 CAP
ITULO 1. INTRODUCCI
ON
1.3. Trazas e identidades de Green
En esta secci on se presentan algunos resultados sobre trazas, f ormulas de integraci on
por partes e identidades de Green para algunos espacios de Sobolev, y en particular para
H(div; ).
En lo que sigue, dado un abierto acotado de R
n
con frontera Lipschitz-continua
, el espacio de Sobolev de orden 1 est a denido como:
H
1
() :=
_
v L
2
() :
v
x
i
L
2
() i 1, 2, ..., n
_
,
donde la pertenencia de
v
x
i
a L
2
() es en el sentido distribucional, lo cual signica que
existe z L
2
() tal que
v

x
i
=
_
z C
0
() .
A su vez, T(
) (o C
0
(
)) denota el espacio de restricciones a de funciones que son

de clase C
0
sobre alg un abierto que contiene a

.
1.3.1. Trazas de H
1
()
El clasico Teorema de trazas en H
1
() requiere del siguiente resultado previo.
Teorema 1.4 (desigualdad de trazas) Sea un abierto acotado de R
n
con fron-
tera Lipschitz-continua y sea
0
: T(
) L
2
() la aplicacion denida por
0
() := [
T(
) .
Entonces, existe C > 0 tal que
|
0
()|
0,
C ||
1,
T(
) . (1.34)
Teorema 1.5 (Teorema de trazas en H
1
()) Sea un abierto acotado de R
n
con frontera Lipschitz-continua . Entonces, la aplicacion
0
: T(
) L
2
() se extien-
de por continuidad y densidad a una aplicacion
0
: H
1
() L
2
() lineal y acotada,
tal que
0
() := [
T(
).
1.3. TRAZAS E IDENTIDADES DE GREEN 23
Demostraci on. Se usa la desigualdad de trazas (cf. Teorema 1.4) y el hecho que T(
) es
denso en H
1
() con respecto a la norma ||
1,
. En efecto, dada v H
1
(), consideremos
una sucesion
j
jN
T(
) tal que
|
j
v|
1,
0 cuando j +.
Luego, usando la linealidad de
0
y aplicando la desigualdad de trazas (1.34) a (
j

k
),
j, k N, se tiene
|
0
(
j
)
0
(
k
)|
0,
= |
0
(
j

k
)|
0,
C |
j

k
|
1,
,
de donde se deduce que
0
(
j
)
jN
es una sucesi on de Cauchy en L
2
(). Puesto que
L
2
() es completo, existe L
2
() tal que
|
0
(
j
) |
0,
0 cuando j +,
lo cual induce la denicion
0
(v) := . No obstante, debemos asegurarnos que no hay
ambiguedad en la funci on en el sentido que ella es independiente de la sucesi on elegida.
En efecto, consideremos ahora una segunda sucesi on
j
jN
T(
) tal que
|
j
v|
1,
0 cuando j +.
Se sigue que
|
0
(
j
)
0
(
j
)|
0,
= |
0
(
j

j
)|
0,
C |
j

j
|
1,
0 cuando j +,
lo cual muestra que
0
(
j
)
jN
y
0
(
j
)
jN
tienen el mismo lmite en L
2
(). Es-
to indica que
0
est a bien denida en H
1
(). Adem as, el mismo argumento sobre la
independencia de la sucesi on permite ver facilmente que
0
es lineal.
Por otro lado, tomando lmite cuando j + en la desigualdad
|
0
(
j
)|
0,
C |
j
|
1,
,
resulta
||
0,
C |v|
1,
,
lo cual prueba que
0
es acotada. 2
24 CAP
ITULO 1. INTRODUCCI
ON
1.3.2. El espacio H
1/2
()
Ahora denotamos por H
1/2
(), y lo llamamos espacio de trazas sobre la frontera, al
rango de
0
, esto es
H
1/2
() :=
0
(H
1
()) ,
el cual se provee de la norma
||
1/2,
:= nf
_
|v|
1,
: v H
1
() tal que
0
(v) =
_
H
1/2
() .
Es inmediato de la denicion anterior que
|
0
(w)|
1/2,
|w|
1,
w H
1
() ,
lo cual muestra que el operador
0
: H
1
() H
1/2
(), adem as de ser lineal y sobreyec-
tivo, es acotado. A su vez, se puede probar que N(
0
), el espacio nulo de
0
, est a dado
por la clausura de C
0
() en H
1
() con respecto a la norma | |
1,
, esto es
N(
0
) = H
1
0
() := C
0
()
||
1,
.
Equivalentemente, v N(
0
) = H
1
0
() si y s olo si v H
1
() y existe una sucesion
jN
C
0
() tal que |
j
v|
1,
0 cuando j +.
Se concluye as que
0
:=
0
[
H
1
0
()
: H
1
0
()
H
1/2
() es una biyeccion lineal y
acotada. Se sigue que
1
0
: H
1/2
() H
1
0
()
tambien es una biyeccion lineal y que

1
0
es un inverso a derecha de
0
, esto es
0

1
0
= I : H
1/2
() H
1/2
() .
Adem as, el siguiente lema implica el acotamiento de
1
0
, lo cual, a su vez, permite
concluir la completitud de (H
1/2
(), | |
1/2,
).
Lema 1.3 Se tiene
||
1/2,
:= |
1
0
()|
1,
H
1/2
() . (1.35)
Demostraci on. Dado v H
1
(), consideremos su descomposicion unica v = v
0
+ v
0
,
con v
0
H
1
0
() y v
0
H
1
0
()
. Si se supone, ademas, que

0
(v) = , entonces resulta
=
0
(v
0
), lo cual dice que v
0
=
1
0
(). De acuerdo a lo anterior, se tiene
nf
_
|v|
1,
: v H
1
() tal que
0
(v) =
_
= nf
v
0
H
1
0
()
|v
0
+
1
0
()|
1,
,
y puesto que
1
0
() H
1
0
()
, este nmo se alcanza en v

0
= 0, lo cual implica (1.35).
2
Corolario 1.1 (H
1/2
(), | |
1/2,
) es completo.
Demostraci on. Es una consecuencia directa de la identidad (1.35) y de la completitud
de (H
1
0
()
, | |
1,
) (subespacio cerrado del Hilbert H
1
()). 2
1.3.3. Integraci on por partes e identidad de Green
La densidad de T(
) en H
1
() y el Teorema de trazas nos permiten probar el siguiente
resultado.
Teorema 1.6 (F
ormula de integraci
on por partes) Sea un abierto acotado

de R
n
con frontera Lipschitz-continua . Entonces, para todo v, w H
1
() se tiene
_
v
w
x
i
=
_
w
v
x
i
+
_
0
(v)
0
(w)
i
i 1, 2, ..., n , (1.36)
donde
i
es la componente i-esima del vector normal .
Demostraci on. Sean v, w H
1
() y consideremos sucesiones
j
jN
,
j
jN

T(
) tales que
|
j
v|
1,
0 y |
j
w|
1,
0 cuando j +. (1.37)
De acuerdo al Teorema de trazas sabemos que
|
0
(
j
)
0
(v)|
0,
0 y |
0
(
j
)
0
(w)|
0,
0 cuando j +. (1.38)
Ahora, aplicando la clasica formula de integraci on por partes de funciones suaves (la
cual es consecuencia del Teorema de la divergencia de Gauss), se obtiene
_
j
x
i
=
_
j
x
i
+
_
0
(
j
)
0
(
j
)
i
i 1, 2, ..., n . (1.39)
Entonces, tomando lmite en (1.39) cuando j + se llega a (1.36). En efecto, su-
mando y restando un termino conveniente, aplicando desigualdad de Cauchy-Schwarz, y
notando que la sucesion
_
j
x
i
_
jN
es acotada en L
2
() (porque
j
jN
es convergente
26 CAP
ITULO 1. INTRODUCCI
ON
en H
1
()), se deduce que
j
x
i
v
w
x
i
(
j
v)

j
x
i
v
_
j
x
i
w
x
i
_
|
j
v|
0,
_
_
_
_
j
x
i
_
_
_
_
0,
+ |v|
0,
_
_
_
_
j
x
i
w
x
i
_
_
_
_
0,
C |
j
v|
0,
+ |v|
0,
[
j
w[
1,
,
de donde, gracias a (1.37), se concluye que
lm
j+
_
j
x
i
=
_
v
w
x
i
.
An alogamente se prueba que
lm
j+
_
j
x
i
=
_
w
v
x
i
.
Por ultimo, argumentos similares a los anteriores, esta vez usando (1.38), implican que
lm
j+
_
0
(
j
)
0
(
j
)
i
=
_
0
(v)
0
(w)
i
,
con lo cual se completa la demostraci on. 2
Una consecuencia inmediata del teorema anterior est a dada por el siguiente corolario,
el cual requiere la denicion del espacio de Sobolev de orden 2:
H
2
() :=
_
v H
1
() :

2
v
x
i
x
j
L
2
() i, j 1, 2, ..., n
_
.
Corolario 1.2 (Identidad de Green) Sea un abierto acotado de R
n
con frontera
Lipschitz-continua . Entonces, para todo v H
1
(), u H
2
() se tiene
_
v u =
_
u v +
_
0
(v)
0
(u) , (1.40)
donde
0
(u) es el vector que resulta de aplicar
0
a las componentes de u.
Demostraci on. Sean v H
1
() y u H
2
(). Entonces, aplicando (1.36) con v y
w :=
u
x
i
, obtenemos
_
v

2
u
x
2
i
=
_
u
x
i
v
x
i
+
_
0
(v)
0
_
u
x
i
_

i
i 1, 2, ..., n ,
de donde, sumando sobre i, se llega a (1.40). 2
Es importante observar aqu que la formulaci on primal (1.30) del problema de Poisson
(1.29) se deduce precisamente a partir de la identidad (1.40), utilizando que
0
(v) = 0
para todo v H
1
0
(). Por otra parte, hacemos notar que la expresion
0
(u) se
escribe usualmente
u
, y se llama derivada normal de u.

1.3.4. Trazas normales de H(div; )
En esta secci on se demuestra que las funciones de H(div; ) tienen trazas normales
sobre la frontera . Para este efecto, en lo que sigue denotamos el dual de H
1/2
() por
H
1/2
(). Ademas, dado un funcional H
1/2
(), su evaluaci on en un elemento
de H
1/2
() se escribe usualmente como , , esto es
, := () H
1/2
() ,
raz on por la cual , se denomina aqu paridad dual de H
1/2
() y H
1/2
().
Teorema 1.7 (Traza normal de H(div; )) Sea un abierto acotado de R
n
con
frontera Lipschitz-continua . Entonces, existe un operador lineal, acotado, y sobreyec-
tivo
: H(div; ) H
1/2
() tal que para cada [H
1
()]
n
,
() se identica,
mediante el producto escalar de L
2
(), con
0
() .
Demostraci on. Sea
1
0
: H
1/2
() H
1
0
()
el inverso a derecha de
0
. Luego, dado
H(div; ), se dene el funcional lineal
() : H
1/2
() R por:
()() :=
_

1
0
() +
_

1
0
() div () H
1/2
() . (1.41)
Notar que la linealidad de
() es consecuencia de aquella de
1
0
. Adem as, aplicando
la desigualdad de Cauchy-Schwarz, se obtiene que
[
()() [ ||
0,
|
1
0
()|
0,
+ |
1
0
()|
0,
|div ()|
0,
||
H(div;)
|
1
0
()|
1,
= ||
H(div;)
||
1/2,
H
1/2
() ,
lo cual prueba que
() es acotado, y por lo tanto pertenece a H

1/2
(), con
|
()|
1/2,
||
H(div;)
. (1.42)
28 CAP
ITULO 1. INTRODUCCI
ON
El analisis anterior justica la denici on del operador lineal y acotado
: H(div; ) H
1/2
()

() ,
el cual, en virtud de (1.42), satisface |
| 1. Ahora, si := (
1
,
2
, ...,
n
)
t
[H
1
()]
n
, la f ormula de integracion por partes (1.36) nos permite deducir que
_

1
0
() div () =
n
i=1
_

1
0
()

i
x
i
=
n
i=1
_
x
i

1
0
() +
_
0
(
i
)
i
_
=
_

1
0
() +
_
0
() ,
de modo que en este caso particular, con [H
1
()]
n
, (1.41) se reduce a
(), =
_
0
() =
0
() ,
0,
H
1/2
() , (1.43)
donde ,
0,
denota el producto escalar usual de L
2
().
Resta mostrar la sobreyectividad del operador
. En otras palabras, dado

H
1/2
() := (H
1/2
())
t
, debemos probar que existe H(div; ) tal que =
().
En efecto, denamos el subespacio
H
1
() :=
_
v H
1
() :
_
v = 0
_
,
y consideremos el siguiente problema variacional: Hallar z

H
1
() tal que
_
z w = F(w) w H
1
() , (1.44)
donde
F(w) :=
,
0
(1)
[[
_
w + ,
0
(w) w H
1
() . (1.45)
Notar que F es lineal (porque la integral, y
0
lo son) y acotado ya que
[F(w)[
[,
0
(1)[
[[
1/2
|w|
0,
+ ||
1/2,
|w|
1,
C |w|
1,
w H
1
() .
Adem as, utilizando la descomposicion H
1
() =

H
1
() R y el hecho que F(1) = 0,
se prueba f acilmente que (1.44) es equivalente a: Hallar z

H
1
() tal que
_
z w = F(w) w

H
1
() . (1.46)
Luego, puesto que la norma | |
1,
y la semi-norma [ [
1,
de H
1
() son equivalentes en
H
1
() (lo cual se sigue de la desigualdad de Poincare generalizada), podemos aplicar el
Lema de Lax-Milgram para concluir que (1.46) (y por lo tanto (1.44)), tiene una unica
soluci on z

H
1
(). Entonces, denimos := z en , el cual, en primera instancia,
pertenece a [L
2
()]
n
. Sin embargo, se sigue de (1.44) y (1.45) que
_
w =
,
0
(1)
[[
_
w w C
0
() ,
lo cual indica que div () =
,
0
(1)
[[
en , y por lo tanto H(div; ). As, la
formulaci on (1.44) puede re-escribirse como:
_
w +
_
wdiv () = ,
0
(w) w H
1
() ,
y tomando en particular w =
1
0
(), con H
1/2
(), resulta
, =
_

1
0
() +
_

1
0
() div () =
(), H
1/2
() ,
lo cual prueba que =
(). 2
A continuaci on mostramos que cuando [H
1
()]
n
, el funcional
() puede
denirse no solo como se indica en (1.41), sino tambien empleando cualquier w H
1
()
tal que
0
(w) = H
1/2
(). En efecto, en este caso se sigue de (1.43) que
(), :=
0
() ,
0,
=
_
0
()
0
(w) =
n
i=1
_
0
(w)
0
(
i
)
i
,
y aplicando la f ormula de integracion por partes (1.36), se deduce que
(), :=
0
() ,
0,
=
_
w +
_
wdiv () .
Equivalentemente, el an alisis anterior se resume en la siguiente identidad:
(),
0
(w) :=
0
() ,
0
(w)
0,
=
_
w +
_
wdiv ()
w H
1
() , [H
1
()]
n
.
(1.47)
M as a un, el siguiente lema utiliza la densidad de [C
0
(
)]
n
en H(div; ) para extender
(1.47) al caso H(div; ).
30 CAP
ITULO 1. INTRODUCCI
ON
Lema 1.4 (Identidad de Green en H(div; )) Sea un abierto acotado de R
n
con
frontera Lipschitz-continua . Entonces, se tiene
(),
0
(w) =
_
w +
_
wdiv () w H
1
() , H(div; ) . (1.48)
Demostraci on. Sean w H
1
() y H(div; ). Puesto que [C
0
(
)]
n
es denso en
H(div; ), existe una sucesi on z
k
kN
[C
0
(
)]
n
tal que
lm
k+
|z
k
|
H(div;)
= 0 . (1.49)
Entonces, aplicando (1.47) a w y z
k
se obtiene
(z
k
),
0
(w) :=
0
(z
k
) ,
0
(w)
0,
=
_
z
k
w +
_
wdiv (z
k
) k N.
Luego, tomando lmite cuando k +, empleando la continuidad de
(cf. (1.42))
y la convergencia (1.49), se concluye (1.48). 2
Es importante observar aqu que cuando H(div; ), la evaluacion
(),
0
(w)
no es reemplazable por la expresi on
0
() ,
0
(w)
0,
ya que esta ultima s olo tiene
sentido si [H
1
()]
n
. No obstante, de la demostraci on anterior sabemos que para
toda sucesion z
k
kN
[C
0
(
)]
n
que converge a H(div; ), podemos escribir
(),
0
(w) = lm
k+
0
(z
k
) ,
0
(w)
0,
w H
1
() ,
raz on por la cual usualmente se dice que , denota la paridad dual de H
1/2
() y
H
1/2
() con respecto al producto escalar ,
0,
de L
2
().
Por otra parte, es preciso mencionar que la primera ecuacion de la formulaci on (1.33),
vale decir la dada por (1.31), se sigue justamente de la identidad de Green (1.48).
Finalmente, el siguiente teorema establece una consecuencia interesante de los resul-
tados previos.
Teorema 1.8 Sean un abierto acotado de R
n
con frontera Lipschitz-continua y
H
1
() :=
_
v H
1
() : v L
2
()
_
.
Entonces, existe un operador lineal y acotado
1
: H
1
() H
1/2
() tal que para cada
u H
2
(),
1
(u) se identica, mediante el producto escalar de L
2
(), con
0
(u) ,
esto es:
1
(u), =
0
(u) ,
0,
H
1/2
() , u H
2
() .
Ademas, se tiene
1
(u),
0
(w) =
_
u w +
_
wu w H
1
() , u H
1
() . (1.50)
Demostraci on. Puesto que u H(div; ) para todo u H
1
(), basta denir
1
(u) :=
(u) y luego aplicar Teorema 1.7 y Lema 1.4. 2

Notar que este teorema mejora signicativamente la identidad de Green (1.40) dada
en el Corolario 1.2 ya que
1
permite extender la noci on de derivada normal a todo el
espacio H
1
(), el cual contiene estrictamente a H

2
().
32 CAP
ITULO 1. INTRODUCCI
ON
Captulo 2
Teor
a de Babu
ska-Brezzi
En este captulo se presentan los principales resultados que constituyen la teora de
Babuska-Brezzi, la cual permite analizar una amplia gama de formulaciones variacionales
del tipo mixto y sus respectivas aproximaciones de Galerkin. En la siguiente seccion se
describe precisamente el tipo de formulaciones en las cuales estamos interesados aqu.
2.1. La ecuaci on de operadores
Sean (H, ,
H
) y (Q, ,
Q
) espacios de Hilbert sobre R, y sean a : H H R y
b : H Q R formas bilineales acotadas. Entonces, dados F H
t
y G Q
t
, nos
interesa el siguiente problema: Hallar (, u) H Q tal que
a(, ) + b(, u) = F() H
b(, v) = G(v) v Q.
(2.1)
Ahora, sean A : H H y B : H Q los operadores lineales y acotados inducidos
por a y b, respectivamente. Equivalentemente, de acuerdo al an alisis en Secci on 1.1 (cf.
(1.2), (1.3), y (1.4)), se tiene
A := 1
H
/ y B := 1
Q
B ,
donde 1
H
: H
t
H y 1
Q
: Q
t
Q son las aplicaciones de Riesz respectivas, y los
operadores / : H H
t
y B : Q Q
t
est an denidos por:
/()() := a(, ) H , H ,
33
34 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
y
B()(v) := b(, v) H , v Q.
Se sigue que
a(, ) = A(),
H
(, ) H H (2.2)
y
b(, v) = B(), v
Q
= B
(v),
H
(, v) H Q, (2.3)
donde B
: Q H es el operador adjunto de B.
As, (2.1) se re-escribe, equivalentemente, como: Hallar (, u) H Q tal que
A(),
H
+ B
(u),
H
= 1
H
(F),
H
H
B(), v
Q
= 1
Q
(G), v
Q
v Q,
o bien: Hallar (, u) H Q tal que
A() + B
(u) = 1
H
(F) ,
B() = 1
Q
(G) ,
(2.4)
lo cual, denotando el operador nulo por 0, se reduce a la siguiente ecuaci on matricial
de operadores: Hallar (, u) H Q tal que
_
_
A B
B 0
_
_
_
_

u
_
_
=
_
_
1
H
(F)
1
Q
(G)
_
_
. (2.5)
El siguiente objetivo es proporcionar condiciones necesarias y sucientes para que
(2.1) (equivalentemente (2.4) o (2.5)) este bien propuesto.
2.2. La condicion inf-sup
Recordemos primero que este concepto ya se introdujo en la Secci on 1.1 (cf. (1.16),
(1.17), (1.18), y (1.19)). En efecto, se dice que la forma bilineal acotada b : H Q R
satisface la condici on inf-sup continua si existe una constante > 0 tal que:
sup
H
,=0
b(, v)
||
H
|v|
Q
v Q. (2.6)
2.2. LA CONDICI
ON INF-SUP 35
Notar, al igual como se estableci o para los pares (1.16) - (1.18) y (1.17) - (1.19), que
(2.6) es equivalente a
nf
vQ
v,=0
sup
H
,=0
b(, v)
||
H
|v|
Q
, (2.7)
lo cual explica nuevamente el apelativo de inf-sup. Esta hip otesis tambien recibe el
nombre de condici on de Ladyzhenskaya-Babu
ska-Brezzi, o simplemente condicion

de Babu
ska-Brezzi. Ademas, utilizando el operador adjunto B
, se tiene que
sup
H
,=0
b(, v)
||
H
= sup
H
,=0
B
(v),
H
||
H
= |B
(v)|
H
,
y por lo tanto, la condici on (2.6) se escribe tambien como:
|B
(v)|
H
|v|
Q
v Q. (2.8)
M as a un, el siguiente lema establece condiciones equivalentes para (2.6) (o (2.8)).
Lema 2.1 Las siguientes armaciones son equivalentes:
i) Existe > 0 tal que
sup
H
,=0
b(, v)
||
H
|v|
Q
v Q.
ii) B
es un isomorsmo (biyeccion lineal) de Q en N(B)
y
|B
(v)|
H
|v|
Q
v Q.
iii) B es un isomorsmo (biyeccion lineal) de N(B)
en Q y
|B()|
Q
||
H
N(B)
. (2.9)
iv) B : H Q es sobreyectivo.
Demostraci on.
i) ii): Supongamos que existe > 0 tal que (2.6) (equivalentemente, (2.8)) se
satisface. Se sigue precisamente de (2.8) que N(B
) = 0 y R(B
) es cerrado, lo cual
implica que B
es inyectivo y R(B
) = N((B
= N(B)
. As, B
es una biyecci on
lineal de Q en N(B)
.
36 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
ii) iii): Supongamos que B
es una biyecci on lineal de Q en N(B)
y que se
satisface (2.8). Se sigue nuevamente de (2.8) que N(B
) = 0 y R(B
) es cerrado.
Esto ultimo implica, en virtud de un resultado de an alisis funcional, que R(B) tambien
es cerrado, y por lo tanto R(B) = N(B
= 0
= Q. De este modo, B es una

biyecci on lineal de N(B)
en Q. Ademas, es claro de (2.8) que |(B
)
1
|
1
, y luego
|B
1
| = |(B
1
)
| = |(B
)
1
|
1
,
lo cual se traduce en (2.9).
iii) iv): Se sigue directamente del hecho que B : N(B)
Q es biyectivo (en
particular, sobreyectivo), recordando adem as que H = N(B) N(B)
.
iv) i): Supongamos que B : H Q es sobreyectivo. Puesto que R(B) = Q es
obviamente cerrado, se tiene que R(B
) tambien lo es. Ademas, aplicando ortogonal a

la identidad Q = R(B) = N(B
resulta N(B
) = 0, lo cual dice que B
es inyectivo. De este modo, el resultado de caracterizaci on para operadores de rango

cerrado implica la desigualdad (2.8), la cual coincide con i).
2
2.3. El resultado principal
La caracterizacion de la condici on inf-sup dada por el Lema 2.1 es fundamental en la
demostraci on del siguiente teorema, el cual establece condiciones sucientes para que
(2.1) este bien propuesto. En su enunciado y en lo que sigue de esta secci on se asumen
las mismas notaciones y deniciones de las secciones anteriores.
Teorema 2.1 Sea V := N(B) y sea : H V el operador de proyeccion ortogonal.
Suponga que:
i) A : V V es una biyeccion.
ii) La forma bilineal b satisface la condicion inf-sup (2.6) (equivalentemente, (2.8)).
Entonces, para cada par (F, G) H
t
Q
t
existe un unico (, u) H Q solucion
de (2.1) (equivalentemente (2.4) o (2.5)). Ademas, existe una constante C > 0, la cual
2.3. EL RESULTADO PRINCIPAL 37
depende de |A|, |(A)
1
| y , tal que
|(, u)|
HQ
C
_
|F|
H
+ |G|
Q
_
. (2.10)
Demostraci on. Puesto que B es una biyecci on de V
en Q (consecuencia de (2.6) y
del Lema 2.1, parte iii)), se deduce que existe un unico
g
V
tal que
B(
g
) = 1
Q
(G) , (2.11)
y de acuerdo a (2.9), se tiene
|
g
|
H

1
|B(
g
)|
Q
=
1
|G|
Q
. (2.12)
A su vez, dado que A : V V es una biyecci on y (1
H
(F) A(
g
)) pertenece a V ,
existe un unico
0
V tal que A(
0
) = (1
H
(F) A(
g
)). Adem as, el Teorema
de la Inversa Acotada garantiza la existencia de

C := |(A)
1
| tal que
|
0
|
H

C |(1
H
(F) A(
g
))|
H

C |1
H
(F) A(
g
)|
H
,
de donde, empleando la cota para |
g
|
H
, resulta
|
0
|
H

C
_
|F|
H
+
1
|A| |G|
Q
_
. (2.13)
Ahora, de acuerdo a la condici on de ortogonalidad del proyector , es f acil ver que la
identidad A(
0
) = (1
H
(F)A(
g
)) es equivalente a decir que A(
0
+
g
) 1
H
(F)
pertenece a V
. Se sigue del Lema 2.1, parte ii), que existe un unico u Q tal que
B
(u) = 1
H
(F) A(
0
+
g
) (2.14)
y
|u|
Q

1
|B
(u)|
H
=
1
|1
H
(F) A(
0
+
g
)|
H
,
de donde
|u|
Q

1
_
|F|
H
+ |A|
_
|
0
|
H
+|
g
|
H
_
_
. (2.15)
De este modo, deniendo :=
0
+
g
H, y notando que B(
0
) = 0, se deduce de
(2.11), (2.14), y de las estimaciones (2.12), (2.13), y (2.15), que (, u) resuelve (2.4) y
satisface (2.10).
38 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
Para la unicidad, sea (, u) H Q soluci on del problema homogeneo:
A() + B
(u) = 0 ,
B() = 0 .
De la segunda ecuacion se tiene V , y al aplicar el proyector en la primera,
recordando que B
(u) V
, se obtiene A() = 0. Dado que A : V V es una

biyecci on, se sigue que = 0, y entonces de la primera ecuaci on resulta B
(u) = 0.
Finalmente, como B
: Q V
es tambien una biyecci on, se concluye que u = 0. 2

A continuaci on mostramos que las condiciones i) y ii) del Teorema 2.1 son tambien
necesarias. En efecto, se tiene el siguiente resultado.
Teorema 2.2 Sea V := N(B) y sea : H V el operador de proyeccion ortogonal.
Suponga que para cada par (F, G) H
t
Q
t
existe una unica solucion (, u) H Q
de (2.1) (equivalentemente (2.4) o (2.5)), la cual satisface ademas
|(, u)|
HQ
C
_
|F|
H
+ |G|
Q
_
, (2.16)
con una constante C > 0 independiente de F y G. Entonces
i) A : V V es una biyeccion.
ii) La forma bilineal b satisface la condicion inf-sup (2.6).
Demostraci on. Probamos primero ii). Para ello, en virtud del Lema 2.1, basta demos-
trar que B es sobreyectivo. En efecto, dado g Q, sabemos por hip otesis que existe un
unico par (
g
, u
g
) H Q tal que
A(
g
) + B
(u
g
) = 0 ,
B(
g
) = g ,
y es claro que la segunda ecuaci on de este sistema conrma la sobreyectividad de B.
As, sabiendo que b satisface la condici on inf-sup continua, podemos utilizar ahora las
equivalencias dadas por el Lema 2.1 para probar que A : V V es una biyeccion.
2.3. EL RESULTADO PRINCIPAL 39
Dado f V , sabemos tambien por hip otesis que existe un unico (
f
, u
f
) H Q
tal que
A(
f
) + B
(u
f
) = f ,
B(
f
) = 0 ,
lo cual muestra, de acuerdo a la segunda ecuacion, que
f
V . Luego, aplicando el
proyector ortogonal a la primera ecuaci on, y usando, seg un la parte ii) del Lema 2.1,
que B
(u
f
) V
, se obtiene que A(
f
) = (f) = f, probando as que A : V V
es sobreyectivo. A su vez, sea
0
V tal que A(
0
) = 0. Se sigue que A(
0
) V
,
y puesto que, de acuerdo a parte ii) del Lema 2.1, B
: Q V
es una biyeccion, se
deduce que existe un unico u
0
Q tal que B
(u
0
) = A(
0
). De este modo se obtiene
A(
0
) + B
(u
0
) = 0 ,
B(
0
) = 0 ,
y gracias nuevamente a la hip otesis resulta (
0
, u
0
) = ( 0, 0), de lo cual se concluye la
inyectividad de A : V V .
2
Por otra parte, es f acil ver, de acuerdo a lo establecido por el Lema 1.2 y las de-
sigualdades (1.16) y (1.17), y en virtud de la relaci on de ortogonalidad que caracteriza
al proyector : H V , que la condici on i) en los Teoremas 2.1 y 2.2 es equivalente a
cada uno de los siguientes pares de condiciones:
i-1) existe > 0 tal que
sup
V
,=0
a(, )
||
H
||
H
V , (2.17)
i-2) para todo V , ,= 0, sup
V
a(, ) > 0.
y
i-1) existe > 0 tal que
sup
V
,=0
a(, )
||
H
||
H
V , (2.18)
40 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
i-2) para todo V , ,= 0, sup
V
a(, ) > 0.
M as precisamente, la hipotesis i-1) (resp. i-1)) es una condici on inf-sup para la forma
bilineal a, la cual equivale a requerir que el operador A (resp. (A)
) sea inyectivo y
de rango cerrado, lo cual, adem as, es equivalente a que el operador (A)
(resp. A)
sea sobreyectivo. A su vez, i-2) (resp. i-2)) es equivalente a la inyectividad de (A)
(resp. A).
Ciertamente, cuando a es una forma bilineal simetrica en V V , el operador A
resulta autoadjunto, y en tal caso i-2) e i-2) son redundantes y por lo tanto innecesarias.
Por otra parte, es importante destacar que una condicion suciente (pero no nece-
saria) para i), la cual aparece con mucha frecuencia en aplicaciones, es la V -elipticidad
de la forma bilineal a, lo cual, de acuerdo a la Denici on 1.3, signica que existe > 0
tal que
a(, ) ||
2
H
V . (2.19)
En virtud de lo anterior, el teorema que usualmente se encuentra en la literatura, incluso
con mayor frecuencia que el Teorema 2.1, es el que se enuncia a continuacion.
Teorema 2.3 Sea V := N(B) y suponga que:
i) La forma bilineal a es V -elptica (cf. (2.19)).
ii) La forma bilineal b satisface la condicion inf-sup (2.6) (equivalentemente, (2.8)).
t
Q
t
existe un unico (, u) H Q solucion
de (2.1) (equivalentemente (2.4) o (2.5)). Ademas, existe una constante C > 0, la cual
depende de |A|, y , tal que
|(, u)|
HQ
C
_
|F|
H
+ |G|
Q
_
. (2.20)
Demostraci on. Basta ver, por ejemplo en virtud del Lema de Lax-Milgram, que la
V -elipticidad de a implica la hip otesis i) del Teorema 2.1. 2
2.4. Ejemplos de aplicaci on
En esta secci on ilustramos la aplicacion de la teora de Babuska-Brezzi con los ejemplos
cl asicos dados por el problema de Poisson y el problema de elasticidad.
2.4. EJEMPLOS DE APLICACI
ON 41
2.4.1. El problema de Poisson
n
, n 2, con frontera Lipschitz-continua . Entonces
dados f L
2
() y g H
1/2
(), consideramos el mismo problema introducido en la
Secci on 1.2.2, esto es:
u = f en , u = g en . (2.21)
Luego, al igual que en dicha secci on, se dene la inc ognita adicional := u en ,
con lo cual el problema (2.21) se re-escribe como el sistema de primer orden:
= u en , div = f en , u = g en . (2.22)
Entonces, multiplicando la ecuaci on = u en por un elemento H(div; ),
y aplicando la identidad de Green dada por (1.48) (cf. Lema 1.4), resulta:
_
=
_
u =
_
u div +
(),
0
(u),
de donde, usando que la condici on de contorno de Dirichlet establece que
0
(u) =
g en , se deduce que
_
+
_
u div =
(), g H(div; ). (2.23)

Recordamos aqu que
0
: H
1
() H
1/2
() y
: H(div; ) H
1/2
() son los
operadores de trazas estudiados en las Secciones 1.3.1 y 1.3.4, y , denota la paridad
dual de H
1/2
() y H
1/2
() con respecto al producto escalar de L
2
(). Notar, a su
vez, que la identidad de Green (1.48) y la ecuacion (2.23) justican la integraci on por
partes empleada en la deducci on de (1.31).
Por otro lado, la ecuaci on de equilibrio div = f en , se escribe como:
_
v div =
_
f v v L
2
(). (2.24)
En consecuencia, juntando (2.23) y (2.24) llegamos a que la formulaci on variacional mixta
de (2.21) se reduce a : Hallar (, u) H Q tal que
a(, ) + b(, u) = F() H,
b(, v) = G(v) v Q,
(2.25)
42 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
donde
H := H(div; ), Q := L
2
(),
a y b son las formas bilineales denidas por
a(, ) :=
_
(, ) H H,
b(, v) :=
_
v div (, v) H Q,
y los funcionales F H
t
y G Q
t
quedan dados por
F() :=
(), g H, G(v) :=
_
f v v Q. (2.26)
En lo que sigue aplicamos el caso particular de la Teora de Babuska-Brezzi dado
por el Teorema 2.3. En efecto, notemos primero que a y b son acotadas con
|A| 1 y |B| 1 ,
donde A : H H y B : H Q son los operadores inducidos por a y b, respectivamente.
A su vez, es claro que B() := div H, y luego
V := N(B) =
_
H : B() = 0
_
=
_
H(div; ) : div = 0 en
_
.
Se sigue que
a(, ) = ||
2
0,
= ||
2
div ,
V ,
lo cual prueba que a es V -elptica con constante de elpticidad = 1.
Por otro lado, recordemos del Lema 2.1 que probar la condici on inf-sup continua para
b es equivalente a mostrar que B es sobreyectivo. Para ello, dado v Q, consideramos
el problema de valores de contorno:
z = v en , z = 0 en ,
cuya formulaci on variacional primal se reduce a: Hallar z H
1
0
() tal que
_
z w =
_
v w w H
1
0
(). (2.27)
Se sigue del Lema de Lax-Milgram (cf. Teorema 1.1) que (2.27) tiene una unica solucion
z H
1
0
(), la cual satisface
[z[
1,

C |v|
0,
, (2.28)
ON 43
donde

C > 0 es una constante que surge de la desigualdad de Friedrichs-Poincare. Luego,
deniendo := z en , se tiene que div = v en , y as H(div; ), lo cual
prueba que B := div es sobreyectivo y por lo tanto b satisface la condici on inf-sup
continua. Por otro lado, gracias al acotamiento del operador
(cf. Teorema 1.7), a la

paridad dual , , y a la desigualdad de Cauchy-Schwarz en L
2
(), se deduce de (2.26)
que F y G son acotados con
|F|
H
|g|
1/2,
y |G|
Q
|f|
0,
.
En consecuencia, el Teorema 2.3 implica que existe un unico par (, u) H Q
soluci on de la formulaci on variacional mixta (2.25), el cual satisface
|(, u)|
HQ
C
_
|g|
1/2,
+|f|
0,
_
,
donde C > 0 depende, de acuerdo al detalle indicado en la demostraci on del Teorema
2.1 (versi on general del Teorema 2.3), de la constante de la condicion inf-sup continua
de b, y de |A| 1, donde A es el operador inducido por la forma bilineal a. Al respecto,
para tener una idea m as precisa del valor de , observamos primero de la denicion de
, y usando la desigualdad (2.28), que
| |
2
div ,
= | |
2
0,
+|div |
2
0,
= [z[
2
1,
+|v|
2
0,
(1 +

C
2
) |v|
2
0,
.
Se sigue entonces que
sup
H
,=
b(, v)
||
H
b( , v)
| |
H
=
_
v div
| |
div ,
=
|v|
2
0,
| |
div ,
1
(1 +

C
2
)
1/2
|v|
0,
,
de donde se deduce que podemos considerar :=
1
(1 +

C
2
)
1/2
.
2.4.2. El problema de Poisson con condiciones mixtas
n
, n 2, con frontera Lipschitz-continua , y sean
D
y
N
partes disjuntas de tales que [
D
[ , = 0 y =
D

N
. Entonces, dados
f L
2
() y g H
1/2
0 0
(
N
), nos interesa el problema de valores de contorno:
u = f en , u = 0 en
D
, u = g en
N
, (2.29)
44 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
donde es el vector normal a . Aqu recordamos que H
1/2
0 0
(
N
) es el dual de H
1/2
00
(
N
),
donde
H
1/2
0 0
(
N
) :=
_
v[
N
: v H
1
(), v = 0 en
D
_
. (2.30)
Equivalentemente, si E
N, 0
: H
1/2
(
N
) L
2
() es el operador de extensi on
E
N, 0
() :=
_
en
N
0 en
D
H
1/2
(
N
),
entonces
H
1/2
0 0
(
N
) :=
_
H
1/2
(
N
) : E
N, 0
() H
1/2
()
_
, (2.31)
el cual se provee con la norma
||
1/2,00,
N
:= |E
N, 0
()|
1/2,
H
1/2
00
(
N
). (2.32)
A su vez, la paridad dual entre H
1/2
0 0
(
N
) y H
1/2
0 0
(
N
) se denota por ,
N
. Ademas,
dado H
1/2
(), su restricci on a
N
, denotada [
N
y denida por
[
N
,
N
:= , E
N, 0
() H
1/2
00
(
N
) , (2.33)
donde , denota la paridad dual entre H
1/2
() y H
1/2
(), es claramente un elemento
de H
1/2
0 0
(
N
).
Ahora, para la formulacion variacional mixta de (2.29) procedemos an alogamente
al ejemplo anterior, y denimos la inc ognita adicional := u en , de modo que
(2.29) se re-escribe como:
= u en , div = f en , u = 0 en
D
, = g en
N
. (2.34)
Entonces, aplicando nuevamente la identidad de Green dada por (1.48) (cf. Lema 1.4),
resulta:
_
=
_
u =
_
udiv +
(),
0
(u),
de donde, introduciendo la incognita auxiliar :=
0
(u) H
1/2
00
(
N
), lo cual
est a fundamentado por la condicion de contorno de Dirichlet, se deduce que
_
+
_
udiv +
()[
N
,
N
= 0 H(div; ). (2.35)
ON 45
Por otro lado, al igual que en la secci on anterior, la ecuaci on div = f en , se
reduce a:
_
v div =
_
f v L
2
(). (2.36)
Finalmente, dado que
()[
N
H
1/2
00
(
N
), la condici on de contorno de Neumann
dada por = g en
N
, se reformula, equivalentemente, como:
()[
N
,
N
= g,
N
H
1/2
00
(
N
). (2.37)
En consecuencia, agrupando (2.36) y (2.37) en una ecuaci on, y juntandola con (2.35),
llegamos a que la formulacion variacional mixta de (2.29) queda dada por: Hallar
(, (u, )) H Q tal que
a(, ) + b(, (u, )) = F() H,
b(, (v, )) = G(v, ) (v, ) Q,
(2.38)
donde
H := H(div; ), Q = L
2
() H
1/2
00
(
N
),
a es la misma forma bilineal del ejemplo anterior (cf. Section 2.4.1), b : H Q R
est a denida por
b(, (v, )) =
_
v div +
()[
N
,
N
(, (v, )) H Q,
t
y G Q
t
quedan dados por
F() := 0 H, G(v, ) :=
_
f v + g,
N
(v, ) Q. (2.39)
A continuaci on aplicamos nuevamente el Teorema 2.3. En primer lugar observamos
que B : H Q, el operador inducido por b, esta dado por
B() := (div , 1
00
()[
N
) H , (2.40)
donde 1
00
: H
1/2
00
(
N
) H
1/2
00
(
N
) es la aplicacion de Riesz respectiva. Recordemos
aqu que H
1/2
00
(
N
) es un espacio de Hilbert con el producto escalar
,
H
1/2
00
(
N
)
:= E
N, 0
(), E
N, 0
()
H
1/2
()
, H
1/2
00
(
N
),
46 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
donde ,
H
1/2
()
es el producto escalar usual de H
1/2
(). Puesto que 1
00
es una iso-
metra y
N
(cf. (2.33)) es acotado ya que
lo es con |
| 1 (cf. (1.42) en
Teorema 1.7), se sigue que B tambien es acotado con |B| 2. A su vez, es claro que
V := N(B) =
_
H : div = 0 en ,
() = 0 en
N
_
,
y luego, para cada V se tiene que
a(, ) = ||
2
0,
= ||
2
div ,
,
lo cual prueba que a es V-elptica con constante de elipticidad = 1.
Por otra parte, dado (v, ) Q, consideramos el problema de valores de contorno:
z = v en , z = 0 en
D
, z = 1
1
00
() en
N
,
cuya formulaci on variacional primal se reduce a: Hallar z H
1
D
() tal que
_
z w =
_
v w +1
1
00
(),
0
(w)
N
w H
1
D
(), (2.41)
donde
H
1
D
() :=
_
w H
1
() :
0
(w) = 0 en
D
_
.
El Lema de Lax-Milgram (cf. Teorema 1.1) implica que (2.41) tiene una unica solucion
z H
1
D
(), la cual, de acuerdo al resultado de dependencia continua respectivo y a la
paridad dual entre H
1/2
00
(
N
) y H
1/2
00
(
N
), satisface:
[z[
1,

C
_
|v|
0,
+||
1/2,00,
N
_
, (2.42)
donde

C > 0 es una constante que surge de la desigualdad de Poincare generalizada (la
cual establece la equivalencia entre | |
1,
y [ [
1,
en H
1
D
()), y de la desigualdad
de trazas. As deniendo := z en , se tiene que div = v en , con lo cual
H(div; ), y adem as
( )[
N
= 1
1
00
() en
N
, de donde es claro que 1
00
( )[
N
=
en
N
. Esto muestra, seg un (2.40), que B( ) = (v, ) y por lo tanto B es sobreyectivo.
Por ultimo, es facil ver que G es acotado con
|G|
Q

_
|f|
0,
+ |g|
1/2,00,
N
_
.
ON 47
En consecuencia, una aplicaci on directa del Teorema 2.3 implica que existe una unica
soluci on (, (u, )) H Q del problema (2.38), la cual satisface
|(, (u, ))|
HQ
C
_
|f|
0,
+ |g|
1/2,00,
N
_
.
De manera similar al ejemplo anterior, hacemos notar aqu que C es una constante
positiva que depende de la constante de la condicion inf-sup continua de b, y de
|A| = 1, donde A es el operador inducido por a. Ahora, para tener una idea m as
precisa del valor de , notamos primero de la denicion de , usando adem as (2.42),
que
| |
2
div ,
= [z[
2
1,
+|v|
2
0,

_
1 + 2

C
2
_
|(v, )|
2
Q
.
Utilizando esta ultima desigualdad y denotando ,
Q
el producto escalar de Q, se
deduce que
sup
H
,=
b(, (v, ))
||
H
b( , (v, ))
| |
H
=
_
v div +
( ),
N
| |
div ,
=
B( ), (v, )
Q
| |
div ,
=
|(v, )|
2
Q
| |
div ,
1
_
1 + 2

C
2
_
1/2
|(v, )|
Q
,
de donde se concluye que podemos tomar :=
1
(1 + 2

C
2
)
1/2
.
2.4.3. El problema de elasticidad lineal
Antes de denir el problema de interes necesitamos introducir algunas notaciones. En
lo que sigue, dados H un espacio vectorial normado y n 2, 3, denotamos por H y
H a los espacios H
n
y H
nn
, respectivamente. En particular, dado un dominio O, una
curva Lipschitz-continua y r R, escribimos:
H
r
(O) := [H
r
(O)]
n
, H
r
(O) := [H
r
(O)]
nn
, y H
r
() := [H
r
()]
n
,
con normas correspondientes | |
r, C
(para H
r
(O), H
r
(O) y H
r
(O)) y | |
r,
(para
H
r
() y H
r
()). A su vez, en el caso particular r = 0 se pone usualmente L
2
(O), L
2
(O)
y L
2
() en vez de H
0
(O), H
0
(O) y H
0
(), respectivamente.
48 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
Ahora, sea un dominio acotado y simplemente conexo de R
n
, n 2, 3, con
frontera Lipschitz-continua , y sean
D
y
N
partes disjuntas de tales que [
D
[ , = 0
y =
D

N
. Entonces, el problema de elasticidad lineal consiste en determinar el
desplazamiento u y el tensor de esfuerzos de un material elastico, que ocupa la regi on
. M as precisamente, dados f L
2
() y g H
1/2
00
(
N
), interesa hallar un tensor
simetrico y un campo vectorial u tal que
= ( e(u) en , div = f en , u = 0 en
D
, = g en
N
, (2.43)
donde e(u) :=
1
2
(u + (u)
t
) es el tensor de peque nas deformaciones (o parte simetri-
ca de u), div es el operador de divergencia usual div aplicado a las las de cada tensor,
es el vector normal a , y ( es el operador de elasticidad determinado por la ley de
Hooke:
( := tr I + 2 L
2
() . (2.44)
Aqu, , > 0 son las constantes de Lame respectivas, I es la matriz identidad de R
n
y
tr es la traza matricial. Aplicando tr a (2.44) se puede invertir esta ley, lo cual nos da:
(
1
=
1
2

2(n + 2)
tr I L
2
() . (2.45)
Condiciones de Contorno de Dirichlet
En esta parte consideramos el caso particular de (2.43) dado por
D
= , esto es
= ( e(u) en , div = f en , u = 0 en . (2.46)
Para deducir una formulacion variacional mixta de (2.46) observamos primero que
(
1
= e(u) = u , (2.47)
donde
:=
1
2
(u (u)
t
) (2.48)
denota la incognita auxiliar llamada rotacion del s olido. Luego, multiplicando tensorial-
mente (:) por H(div; ), donde
H(div; ) :=
_
L
2
() : div L
2
()
_
,
ON 49
y aplicando la identidad de Green (1.48) a traves de las las de cada tensor, se obtiene:
_
(
1
: =
_
u :
_
:
=
_
u div +
(),
0
(u)
_
: ,
donde
: H(div; ) H
1/2
() y
0
: H
1
() H
1/2
() son las extensiones
tensorial y vectorial naturales de los operadores de trazas respectivos denidos en la
Secci on 1.3. Entonces, usando que
0
(u) = 0 en , nos queda
_
(
1
: +
_
u div +
_
: = 0 H(div; ). (2.49)
Notemos aqu que L
2
asim
(), donde
L
2
asim
() :=
_
L
2
() : +
t
= 0
_
. (2.50)
Adem as, es f acil ver que la simetra de puede imponerse debilmente a traves de la
ecuaci on
_
: = 0 L
2
asim
() . (2.51)
Por ultimo, la ecuaci on de equilibrio se re-escribe
_
v div =
_
f v v L
2
(). (2.52)
De este modo, sumando (2.51) y (2.52), y juntando la ecuaci on resultante con (2.49), se
obtiene la siguiente formulacion variacional mixta de (2.46): Hallar (, (u, )) HQ
tal que
a(, ) + b(, (u, )) = F() H,
b(, (v, )) = G(v, ) (v, ) Q,
(2.53)
donde
H := H(div; ), Q := L
2
() L
2
asim
(),
a : H H R y b : H Q R son las formas bilineales denidas por
a(, ) :=
_
(
1
: =
1
2
_
:

2(n + 2)
_
tr() tr() (2.54)

y
b(, (v, )) :=
_
v div +
_
: , (2.55)
50 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
t
y G Q
t
quedan dados por
F() := 0 H, G(v, ) :=
_
f v (v, ) Q. (2.56)
En lo que sigue analizamos la solubilidad de (2.53) aplicando una vez m as el Teorema
2.3. No obstante, este teorema no se aplicar a exactamente a (2.53) sino a una formulaci on
equivalente. Para ello, es necesario notar primero algunas propiedades de las formas
bilineales a y b. En efecto, simples calculos algebraicos muestran que
a(I, ) =
1
(n + 2)
_
tr H, (2.57)
y
a(, ) =
1
2
_
d
:
d
+
1
n(n + 2)
_
tr tr , H, (2.58)
donde, dado L
2
(),
d
:=
1
n
tr I es el tensor desviador correspondiente.
La conveniencia de escribir a en la forma (2.58) se vera posteriormente cuando se de-
muestre que a es elptica en el kernel del operador inducido por b. A su vez, es facil ver
que
b(I, (v, )) = 0 (v, ) Q. (2.59)
Observemos ahora que H puede descomponerse como
H := H
0
RI, (2.60)
donde
H
0
:=
_
H(div; ) :
_
tr = 0
_
.
M as especcamente, para cada H existen unicos
0
H
0
y d :=
1
n[[
_
tr ()
R tales que =
0
+ d I. Entonces, a continuacion consideramos el problema que
surge de (2.53) al reemplazar H por H
0
, esto es: Hallar (, (u,)) H
0
Q tal que
a(, ) + b(, (u, )) = F() H
0
,
b(, (v, )) = G(v, ) (v, ) Q.
(2.61)
Al respecto se tiene el siguiente resultado que relaciona (2.53) y (2.61).
ON 51
Lema 2.2 Los problemas (2.53) y (2.61) son equivalentes, esto es (, (u, )) H Q
es solucion de (2.53) si y solo si H
0
y (, (u, )) es solucion de (2.61).
Demostraci on. Sea (, (u, )) H Q soluci on de (2.53). Al tomar = I en la
primera ecuacion de (2.53), y usando (2.57) y (2.59), se obtiene
0 = a(, I) + b(I, (u, )) =
1
(n + 2)
_
tr ,
de donde H
0
y luego (, (u, )) H
0
Q es solucion de (2.61).
Recprocamente, sea (, (u,)) H
0
Q soluci on de (2.61). Es claro que (, (u, ))
verica la segunda ecuaci on de (2.53). Ahora, dado =
0
+ d I H, con
0
H
0
y d R, se tiene, utilizando (2.59) y la primera ecuacion de (2.61), que
a(, ) + b(, (u, )) = a(,
0
) + b(
0
, (u, )) + d
_
a(, I) + b(I, (u, ))
_
= a(,
0
) + b(
0
, (u, )) = 0 = F() ,
lo cual prueba que (, (u, )) es tambien solucion de (2.53). 2
De acuerdo a la equivalencia establecida por el lema anterior, en lo que sigue con-
centramos nuestro an alisis en el problema (2.61). Para ello, notemos primero que B :
H
0
Q, el operador inducido por b : H
0
Q R, esta dado por
B() :=
_
div ,
1
2
(
t
)
_
H
0
, (2.62)
de donde es claro que B es acotado con |B| 1. A su vez, de la denici on de la
forma bilineal a (cf. (2.54)), aplicando la desigualdad de Cauchy-Schwarz y utilizando
que

_
n
2
+
_ 1 n 2, se deduce que
[a(, )[ =
1
2
_
:

4
_
n
2
+
_
_
tr() tr()
1
2
||
0,
||
0,
+
1
4
|tr()|
0,
|tr()|
0,
||
0,
||
0,

1
||
div,
||
div,
, H
0
,
lo cual muestra que A : H
0
H
0
, el operador inducido por a, es acotado con |A|
1
.
52 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
Por otro lado, de (2.62) se tiene tambien que
V := N(B) =
_
H
0
: div = 0 en , =
t
en
_
,
y por lo tanto, a partir de (2.58) se llega a la desigualdad:
a(, ) =
1
2
|
d
|
2
0,
+
1
n(n + 2)
|tr()|
2
0,

1
2
|
d
|
2
0,
V , (2.63)
la cual, sin embargo, es a un insuciente para concluir la V-elipticidad de a. Para resolver
esto se necesita el siguiente resultado.
Lema 2.3 Existe c
1
> 0, que depende solo de , tal que
c
1
||
2
0,
|
d
|
2
0,
+ |div |
2
0,
H
0
.
Demostraci on. Comenzamos recordando de [5, Corollary 2.4, Chapter I] que el operador
divergencia div es un isomorsmo de W
en L
2
0
(), donde
W :=
_
z H
1
0
() : div z = 0 en
_
y
L
2
0
() :=
_
v L
2
() :
_
v = 0
_
.
Luego, dado H
0
, se tiene tr() L
2
0
() y por lo tanto existe un unico z W
tal
que div z = tr() y
|z|
1,

C |tr()|
0,
, (2.64)
donde

C > 0 es una constante independiente de z. Se sigue que
|tr()|
2
0,
=
_
tr() div z =
_
: I tr
_
z
_
=
_
: tr
_
z
_
I = n
_
:
_
z (z)
d
_
= n
_
: z n
_
d
: z ,
donde la ultima expresi on utiliza que :
d
=
d
: , L
2
(). Entonces,
aplicando la identidad de Green (1.48) en el primer termino, usando que
0
(z) = 0 en
, y luego utilizando la desigualdad de Cauchy-Schwarz, se obtiene
|tr()|
2
0,
= n
_
z div n
_
d
: z
n
_
|z|
0,
|div |
0,
+ |
d
|
0,
[z[
1,
_
n|z|
1,
_
|div |
2
0,
+ |
d
|
2
0,
_
1/2
,
ON 53
lo cual implica, junto a (2.64), que
|tr()|
0,
n

C
_
|div |
2
0,
+ |
d
|
2
0,
_
1/2
.
Finalmente, la demostracion se completa notando que
||
2
0,
= |
d
+
1
n
tr() I|
2
0,
= |
d
|
2
0,
+
1
n
|tr()|
2
0,
.
2
De este modo, aplicando Lemma 2.3 a V , se sigue de (2.63) que
a(, )
1
2
|
d
|
2
0,

c
1
2
||
2
0,
=
c
1
2
||
2
div,
,
lo cual prueba que a es V-elptica con constante = c
1
/2.
Por otra parte, dado (v, ) Q, consideramos el problema de valores de contorno:
div e(z) = v div en , z = 0 en ,
cuya formulaci on variacional primal consiste en: Hallar z H
1
0
() tal que
_
e(z) : e(w) =
_
v w
_
: w w H
1
0
(). (2.65)
Aqu recordamos que la primera desigualdad de Korn establece que
|e(w)|
2
0

1
2
[w[
2
1,
w H
1
0
() ,
y luego, una aplicacion directa del Lema de Lax-Milgram (cf. Teorema 1.1) implica que
(2.65) tiene una unica soluci on z H
1
0
(), la cual, seg un el resultado de dependencia
continua respectivo, satisface:
[z[
1,

C
_
|v|
0,
+ ||
0,
_
, (2.66)
donde

C > 0 es una constante que aparece en la desigualdad de Friedrichs-Poincare.
Luego, deniendo := e(z) + en , se tiene claramente L
2
() y div = v en
, con lo cual H(div; ). As, denotando por la componente H
0
de , resulta:
B( ) :=
_
div ,
1
2
(
t
)
_
= (v, ) ,
54 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
lo cual prueba que B es sobreyectivo. Notemos aqu, usando la identidad e(z) : = 0
y la desigualdad (2.66), que
| |
2
div,
| |
2
div,
= |e(z)|
2
0,
+ ||
2
0,
+ |v|
2
0,
_
1 + 2

C
2
_
|(v, )|
2
Q
.
(2.67)
Finalmente, es directo de (2.56) que G es acotado con
|G| |f |
0,
.
Por lo tanto, el Teorema 2.3 implica que el problema (2.61) tiene una unica soluci on
(, (u, )) H
0
Q, la cual satisface
|(, (u, ))|
HQ
C |f |
0,
,
donde C > 0 depende de la constante de la condici on inf-sup continua para b, de
|A| 1/, y de la constante de elipticidad = c
1
/2. La estimaci on (2.67) nos
permite, seg un se muestra a continuacion, obtener una aproximaci on de . En efecto,
dado (v, ) Q, tenemos
sup
H
0
,=0
b(, (v, ))
||
H
b( , (v, ))
| |
H
=
|(v, )|
2
Q
| |
H
1
(1 + 2

C
2
)
1/2
|(v, )|
Q
,
de donde se deduce que podemos tomar :=
1
(1 + 2

C
2
)
1/2
.
Antes de analizar el problema con condiciones de contorno mixtas, nos parece in-
teresante comentar la situaci on que se genera con condiciones de contorno de Dirichlet
no-homogeneas. En este caso, dado g H
1/2
(), el funcional F en (2.53) y (2.61) queda
dado por
F() :=
(), g H , (2.68)
y la equivalencia dada por el Lema 2.2 se transforma en la siguiente.
Lema 2.4 Los problemas (2.53) y (2.61) con F dado por (2.68) son equivalentes en el
siguiente sentido:
i) Sea (, (u, )) H Q solucion de (2.53) y sea :=
0
+ c I, con
0
H
0
y
c R. Entonces (
0
, (u, )) H
0
Q es solucion de (2.61).
ON 55
ii) Sea (
0
, (u, )) H
0
Q solucion de (2.61) y dena :=
0
+ c I, con c :=
(n + 2)
n[[
_
g . Entonces (, (u, )) H Q es solucion de (2.53).

Demostraci on. Es similar a la del Lema 2.2. Se omiten los detalles y se deja de ejercicio
para el lector. 2
Condiciones de Contorno Mixtas
Ahora volvemos al caso m as general dado por (2.43), esto es:
= ( e(u) en , div = f en , u = 0 en
D
, = g en
N
, (2.69)
donde f L
2
() y g H
1/2
00
(
N
). Procediendo de manera analoga a la situacion
anterior, esto es, invirtiendo la ley de Hooke al igual que en (2.47), deniendo la rotacion
(cf. (2.48)) como inc ognita adicional, y aplicando la identidad de Green (1.48), resulta
_
(
1
: =
_
u div +
(),
0
(u)
_
: , (2.70)
de donde, deniendo la inc ognita auxiliar :=
0
(u) H
1/2
00
(
N
), lo cual se justica
por la condici on homogenea
0
(u) = 0 en
D
, se deduce que
_
(
1
: +
_
u div +
_
: +
()[
N
,
N
= 0 H(div; ) .
(2.71)
Para el resto de las ecuaciones razonamos como en la Secci on 2.4.2 (cf. (2.36) y (2.37)),
y obtenemos de este modo la siguiente formulaci on variacional mixta de (2.69): Hallar
(, (u, , )) H Q tal que
a(, ) + b(, (u, , )) = F() H ,
b(, (v, , )) = G(v, , ) (v, , ) Q,
(2.72)
donde
H := H(div; ), Q := L
2
() L
2
asim
() H
1/2
00
(
N
),
a : H H R es la forma bilineal dada en (2.54), b : H Q R est a denida por
b(, (v, , )) :=
_
v div +
_
: +
()[
N
,
N
, (2.73)
F H
t
es el funcional nulo (cf. (2.56)), y G Q
t
est a dado por
G(v, , )) :=
_
f v + g,
N
(v, , )) Q. (2.74)
56 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
En este caso observamos, a diferencia de lo estipulado por el Lema 2.2, que no es
posible reformular (2.72), de manera equivalente, con H
0
en vez de H. En efecto, de la
ley de Hooke (2.44) y de la primera ecuacion de (2.69) se obtiene
tr = (n + 2) tr e(u) = (n + 2) div u,
y por lo tanto, usando que u = 0 en
D
, resulta
_
tr = (n + 2)
_
div u = (n + 2)
_
D
u .
Equivalentemente, tomando = I en la primera ecuacion de (2.72), y usando (2.57),
se obtiene
1
(n + 2)
_
tr + ,
N
= 0,
esto es, recordando que =
0
(u) en
N
,
_
tr = (n + 2) ,
0
(u)
N
= (n + 2)
_
N
u .
En otras palabras, la presencia de la condici on de Neumann en
N
no permite ga-
rantizar que H
0
, con lo cual la desigualdad dada por el Lema 2.3 no puede aplicarse
en este caso. Con el objeto de subsanar esta dicultad, se prueba el siguiente resultado.
Lema 2.5 Existe c
2
> 0, que depende de
N
y , tal que
c
2
||
2
div,
|
0
|
2
div,
:=
0
+ d I H
N
(div; ) ,
con
0
H
0
y d R, donde
H
N
(div; ) :=
_
H(div; ) :
()[
N
= 0
_
.
Demostraci on. Sea :=
0
+ d I H
N
(div; ) con
0
H
0
y d R. Se sigue que
0 =
()[
N
=
(
0
)[
N
+ d
(I)[
N
=
(
0
)[
N
+ d ,
de donde, usando de acuerdo a (2.32) y (2.33) que
|[
N
|
1/2, 00,
N
||
1/2,
H
1/2
() ,
se deduce que
[d[ ||
1/2,00
N
= |
(
0
)[
N
|
1/2,00
N
|
(
0
)|
1/2,
|
0
|
div ,
,
ON 57
y luego
[d[
1
||
1/2, 00,
N
|
0
|
div,
.
Gracias a esta estimaci on y al hecho que
||
2
div,
= |
0
|
2
div,
+ nd
2
[[ ,
se concluye que
||
2
div,

_
1 +
n[[
||
2
1/2,00,
N
_
|
0
|
2
div,
,
lo cual completa la demostraci on. 2
A continuaci on notamos que B : H Q, el operador inducido por la presente forma
bilineal b : H Q R (cf. (2.73)), est a dado por
B() := (div ,
1
2
(
t
), 1
00
()[
N
) H , (2.75)
donde 1
00
: H
1/2
00
(
N
) H
1/2
00
(
N
) es la aplicacion de Riesz respectiva. De manera
similar al an alisis en la Secci on 2.4.2, se demuestra aqu que B es acotado con |B| 2.
Adem as, es f acil ver que
V := N(B) =
_
H : div = 0 en , =
t
en ,
()[
N
= 0
_
,
y luego, dado V , aplicamos (2.63) y Lemas 2.3 y 2.5, para deducir que
a(, )
1
2
|
d
|
2
0,
=
1
2
|
d
0
|
2
0,

c
1
2
|
0
|
2
0,
=
c
1
2
|
0
|
2
div,

c
1
c
2
2
||
2
div,
,
(2.76)
probando as que a es V-elptica con constante = c
1
c
2
/2.
Por otro lado, dado (v, , ) Q, consideramos el problema de valores de contorno:
div e(z) = v div en , z = 0 en
D
,
(e(z) + ) = 1
1
00
() en
N
,
cuya formulaci on primal consiste en: Hallar z H
1
D
() tal que
_
e(z) : e(w) =
_
v w
_
: w + 1
1
00
(),
0
(w)
N
w H
1
D
() ,
(2.77)
58 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
donde H
1
D
() := w H
1
() :
0
(w) = 0 en
D
. En este caso la desigualdad de
Korn establece la existencia de c > 0 tal que
|e(w)|
2
0,
c [w[
2
1,
w H
1
D
() ,
y luego, el Lema de Lax-Milgram (cf. Teorema 1.1) implica que (2.77) tiene una unica
soluci on z H
1
D
() la cual satisface:
[z[
1,

C
_
|v|
0,
+ ||
0,
+ ||
1/2,00,
N
_
, (2.78)
donde

C > 0 depende de c y de la constante que surge de la desigualdad de Friendrichs-
Poincare. De este modo, deniendo := e(z) + en , se tiene claramente
L
2
() y div = v en , con lo cual H(div; ), y adem as
( )[
N
=
1
1
00
() . Se sigue que B( ) = (v, , ), probando as que B es sobreyectivo. Ademas,
utilizando el hecho que e(z) : = 0 y la desigualdad (2.78), se obtiene
| |
2
div,
= |e(z)|
2
0,
+ ||
2
0,
+ |v|
2
0,
(1 + 3

C
2
) |(v, , )|
2
Q
. (2.79)
Por ultimo, es claro de (2.74) que G es acotado con
|G| |f |
0,
+ |g|
1/2,00,
N
.
En consecuencia, una aplicacion directa del Teorema 2.3 implica que (2.72) tiene una
unica solucion (, (u, , )) H Q, la cual verica
|(, (u, , ))|
HQ
C
_
|f |
0,
+ |g|
1/2,00,
N
_
,
donde C > 0 depende de la constante de la condici on inf-sup continua de b, de
|A| 1/, y de la constante de elipticidad = c
1
c
2
/2. Finalmente, para obtener
una aproximaci on de denotamos por ,
Q
el producto escalar de Q, y observamos,
gracias a (2.79), que
sup
H
,=0
b(, (v, , ))
||
H
b( , (v, , ))
| |
div,
=
B( ), (v, , ))
Q
| |
div,
=
|(v, , )|
2
Q
| |
div,
1
(1 + 3

C
2
)
1/2
|(v, , )|
Q
,
(2.80)
lo cual sugiere tomar :=
1
(1 + 3

C
2
)
1/2
.
ON 59
2.4.4. El problema de Poisson en formulacion primal-mixta
Finalizamos estos ejemplos de aplicacion con el problema de Poisson analizado en la
Secci on 2.4.1, pero ahora utilizando lo que hemos llamado la formulaci on primal-mixta.
Recordemos primero que la geometra esta dada por un abierto acotado de R
n
, n 2,
con frontera Lipschitz-continua . Entonces, dados f L
2
() y g H
1/2
(), nos
interesa el problema de valores de contorno:
u = f en , u = g en . (2.81)
Ahora, multiplicando la ecuaci on diferencial parcial por v H
1
() y aplicando la
identidad de Green mejorada (1.50) (cf. Teorema 1.8), se obtiene:
_
f v =
_
u =
_
u v
1
(u),
0
(v) ,
donde
1
: H
1
() H
1/2
() es el operador lineal y acotado dado por
, y ,
denota la paridad dual entre H
1/2
() y H
1/2
(). Luego, introduciendo la incognita
auxiliar :=
1
(u) H
1/2
(), resulta la ecuaci on
_
u v + ,
0
(v) =
_
f v v H
1
(). (2.82)
A su vez, la condicion de contorno de Dirichlet no-homogenea se re-escribe en la forma
0
(u) = g y se formula como:
,
0
(u) = , g H
1/2
(). (2.83)
De este modo, juntando (2.82) y (2.83) se llega a que la formulaci on primal-mixta
de (2.81) consiste en: Hallar (u, ) H Q tal que
a(u, v) + b(v, ) = F(v) v H ,
b(u, ) = G() Q,
(2.84)
donde H := H
1
(), Q := H
1/2
(), a y b son las formas bilineales dadas por
a(u, v) :=
_
u v (u, v) H H ,
b(v, ) := ,
0
(v) (v, ) H Q,
60 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
t
y G Q
t
se denen como
F(v) :=
_
f v v H, G() := , g Q. (2.85)
Es f acil ver que a y b son acotadas ya que, aplicando la desigualdad de Cauchy-
Schwarz, se tiene
[a(u, v)[ [u[
1,
[v[
1,
|u|
1,
|v|
1,
,
y utilizando tambien la desigualdad de trazas, resulta
[b(v, )[ ||
1/2,
|
0
(v)|
1/2,
|v|
1,
||
1/2,
,
lo cual prueba que |A| 1 y |B| 1, donde A : H H y B : H Q son los
operadores inducidos por a y b, respectivamente. De hecho, si 1 : H
1/2
() H
1/2
()
es la aplicaci on de Riesz respectiva, se tiene
b(v, ) = ,
0
(v) = 1(),
0
(v)
1/2,
= 1
0
(v),
1/2,
,
donde ,
r,
es el producto escalar de H
r
(), r 1/2, 1/2, lo cual muestra que el
operador B est a dado por
B(v) = 1
0
(v) v H.
As, puesto que el operador adjunto de Riesz 1
: H
1/2
() H
1/2
() tambien es
biyectivo, se sigue que
V := N(B) =
_
v H : B(v) = 0
_
=
_
v H
1
() :
0
(v) = 0
_
= H
1
0
() ,
y luego, gracias a la desigualdad de Friedrichs-Poincare,
a(v, v) = [v[
2
1,
|v|
2
1,
v V ,
lo cual muestra la V-elipticidad de a.
Por otro lado, para la sobreyectividad de B basta ver que este operador resulta de la
compuesta entre los operadores sobreyectivos 1
y
0
. Por ejemplo, dado H
1/2
(),
se tiene que la funci on z :=
1
0
(1
)
1
() H
1
0
()
satisface B(z) = , conrmando

la armaci on anterior. Por ultimo, utilizando la desigualdad de Cauchy-Schwarz y la
2.5. EL ESQUEMA DE GALERKIN 61
paridad dual entre H
1/2
() y H
1/2
(), se sigue f acilmente que F y G son efectivamente
acotados con
|F| |f|
0,
y |G| |g|
1/2,
.
En consecuencia, aplicando una vez mas el Teorema 2.3, se deduce que existe un
unico (u, ) H Q soluci on de la formulaci on primal-mixta (2.84), el cual satisface
|(u, )|
HQ
C
_
|f|
0,
+ |g|
1/2,
_
,
donde C > 0 depende de la constante de la condicion inf-sup continua de b, de |A| 1,
y de la constante de elipticidad . Ahora, para estimar el valor de , procedemos de
manera an aloga a los ejemplos anteriores. En efecto, dado Q := H
1/2
(), se tiene,
haciendo uso de (1.35) (cf. Lema 1.3), que
sup
vH
v,=0
b(v, )
|v|
H
= sup
vH
1
()
v,=0
,
0
(v)
|v|
1,
,
0

1
0
(1)
|
1
0
(1())|
1,
=
, 1()
|
1
0
(1())|
1,
=
|1()|
2
1/2,
|1()|
1/2,
= |1()|
1/2,
= ||
1/2,
,
(2.86)
lo cual permite considerar = 1.
2.5. El esquema de Galerkin
Sean H
h
h>0
y Q
h
h>0
sucesiones de subespacios de dimension nita de H y Q,
respectivamente. Entonces, dados F H
t
y G Q
t
, el esquema de Galerkin asociado a
(2.1) consiste en: Hallar (
h
, u
h
) H
h
Q
h
tal que
a(
h
,
h
) + b(
h
, u
h
) = F(
h
)
h
H
h
b(
h
, v
h
) = G(v
h
) v
h
Q
h
.
(2.87)
Para el analisis de (2.87) seguimos el mismo esquema de la Seccion 2.1. En efecto, sean
A
h
: H
h
H
h
y B
h
: H
h
Q
h
los operadores lineales y acotados inducidos por a y b
sobre H
h
H
h
y H
h
Q
h
, respectivamente, esto es:
A
h
:= 1
H
h
/
h
y B
h
:= 1
Q
h
B
h
,
donde 1
H
h
: H
t
h
H
h
y 1
Q
h
: Q
t
h
Q
h
son las aplicaciones de Riesz respectivas, y
los operadores /
h
: H
h
H
t
h
y B
h
: Q
h
Q
t
h
est an denidos por:
/
h
(
h
)(
h
) := a(
h
,
h
)
h
H
h
,
h
H
h
,
62 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
y
B
h
(
h
)(v
h
) := b(
h
, v
h
)
h
H
h
, v
h
Q
h
.
El siguiente teorema establece condiciones sucientes para que (2.87) este bien pro-
puesto.
Teorema 2.4 Sea V
h
:= N(B
h
) =
_
h
H
h
: b(
h
, v
h
) = 0 v
h
Q
h
_
, y sea
h
: H
h
V
h
el operador de proyeccion ortogonal. Suponga que:
i)
h
A
h
: V
h
V
h
es inyectivo.
ii) existe
h
> 0 tal que
sup
h
H
h
h
,=0
b(
h
, v
h
)
|
h
|
H

h
|v
h
|
Q
v
h
Q
h
. (2.88)
t
Q
t
existe un unico (
h
, u
h
) H
h
Q
h
solucion
de (2.87). Ademas, existe una constante C
h
> 0, la cual depende de |A
h
|, |(
h
A
h
)
1
|
y
h
, tal que
|(
h
, u
h
)|
HQ
C
h
_
|F
h
|
H
h
+ |G
h
|
Q
h
_
, (2.89)
donde F
h
:= F[
H
h
y G
h
:= G[
Q
h
.
Demostraci on. Notar primero que, al ser V
h
de dimensi on nita, la inyectividad de
h
A
h
: V
h
V
h
es equivalente a la sobreyectividad, y por lo tanto la condici on i)
equivale a requerir que este operador sea biyectivo. En consecuencia, para concluir la
demostraci on, basta aplicar el Teorema 2.1 al presente contexto discreto. 2
An alogamente a lo demostrado por el Teorema 2.2, se puede probar aqu que las
condiciones i) y ii) del Teorema 2.4 son tambien necesarias. Adem as, no es difcil ver
que i) es equivalente a cada una de las siguientes condiciones inf-sup para a:
i-1) existe
h
> 0 tal que
sup
h
V
h
h
,=0
a(
h
,
h
)
|
h
|
H

h
|
h
|
H

h
V
h
, (2.90)
i-1) existe
h
> 0 tal que
sup
h
V
h
h
,=0
a(
h
,
h
)
|
h
|
H

h
|
h
|
H

h
V
h
. (2.91)
Por cuanto (2.90), (2.91) y (2.88) deben satisfacerse en espacios de dimensi on nita,
ellas usualmente reciben el nombre de condiciones inf-sup discretas para a y b,
respectivamente.
A su vez, al igual que lo se nalado sobre la V -elipticidad de a, puede demostrarse
que una condicion suciente (pero no necesaria) para i), es la V
h
-elipticidad de la forma
bilineal a, lo cual signica que existe
h
> 0 tal que
a(
h
,
h
)
h
|
h
|
2
H

h
V
h
. (2.92)
Por otro lado, es importante se nalar que habitualmente uno se reere a (2.89) como
la estabilidad del esquema de galerkin (2.87). Ademas, es bastante directo ver
que esta desigualdad implica el acotamiento del proyector de galerkin
G
h
: H Q H
h
Q
h
,
el cual, dado (, w) H Q, se dene como G
h
(, w) := (
h
, w
h
), donde (
h
, w
h
)
H
h
Q
h
es la unica solucion del problema:
a(
h
,
h
) + b(
h
, w
h
) = a(,
h
) + b(
h
, w)
h
H
h
b(
h
, v
h
) = b(, v
h
) v
h
Q
h
.
(2.93)
En efecto, se deduce de (2.89) y (2.93) que |G
h
| depende de |A
h
|, |(
h
A
h
)
1
|,
h
,
|A| y |B|. Tambien, notar que
G
h
(
h
, w
h
) = (
h
, w
h
) (
h
, w
h
) H
h
Q
h
, (2.94)
y
G
h
(, u) = (
h
, u
h
) , (2.95)
donde (, u) H Q y (
h
, u
h
) H
h
Q
h
son las unicas soluciones de (2.1) y (2.87),
respectivamente.
El acotamiento de G
h
nos permite establecer de manera muy simple la cota a priori
para el error |(, u) (
h
, u
h
)|
HQ
, la cual recibe el nombre de estimacion de Cea.
64 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
Teorema 2.5 Bajo los mismos supuestos de los Teoremas 2.1 y 2.4, se tiene:
|(, u) (
h
, u
h
)|
HQ

_
1 +|G
h
|
_
nf
(
h
,w
h
)H
h
Q
h
|(, u) (
h
, w
h
)|
HQ
. (2.96)
Demostraci on. Basta observar, utilizando (2.94) y (2.95), que
(, u) (
h
, u
h
) = (I G
h
)
_
(, u) (
h
, w
h
)
_
(
h
, w
h
) H
h
Q
h
,
donde I es el operador identidad. 2
Naturalmente, para concluir convergencia del esquema de Galerkin, esto es
lm
h0
|(, u) (
h
, u
h
)|
HQ
= 0 ,
se requerir a que |G
h
| sea independiente de h, lo cual se traduce en requerir que todas
las constantes involucradas, incluyendo las normas de operadores y las constantes de las
condiciones inf-sup discretas, sean independientes del subespacio H
h
Q
h
. En realidad,
esta necesidad de independencia de h se observa con bastante m as claridad cuando,
en vez de deducir la estimaci on de Cea usando el proyector de Galerkin G
h
, ella se
obtiene analizando individualmente cada uno de los errores |
h
|
H
y |uu
h
|
Q
. Mas
precisamente, se tiene el siguiente teorema.
Teorema 2.6 Bajo los mismos supuestos y notaciones de los Teoremas 2.1 y 2.4, se
tiene:
|
h
|
H

_
1 +
|A|
h
_ _
1 +
|B|
h
_
nf
h
H
h
|
h
|
H
+
|B|
h
nf
w
h
Q
h
|u w
h
|
Q
,
y
|u u
h
|
Q

|A|
h
_
1 +
|A|
h
_ _
1 +
|B|
h
_
nf
h
H
h
|
h
|
H
+
_
1 +
|B|
h
+
|A| |B|
h
_
nf
w
h
Q
h
|u w
h
|
Q
.
Demostraci on. Comenzamos deniendo el conjunto
V
g
h
:=
h
H
h
: b(
h
, v
h
) = G(v
h
) v
h
Q
h
y observando, de acuerdo a la segunda ecuaci on de (2.19), que

h
V
g
h
y que, claramen-
te, (
h
g
h
) V
h

g
h
V
g
h
. El objetivo siguiente es acotar |
h
|
H
en terminos
de dist(u, Q
h
) y dist(, V
g
h
). Para ello, aplicamos primero desigualdad triangular y ob-
tenemos
|
h
|
H
|
g
h
|
H
+ |
h
g
h
|
H

g
h
V
h
. (2.97)
A su vez, en virtud de la condici on inf-sup discreta (2.88), la cual es equivalente a la
condici on i) del Teorema 2.4, se tiene
h
|
h
g
h
|
H
sup
h
V
h
h
,=0
a(
h
g
h
,
h
)
|
h
|
H
. (2.98)
Ahora, sumando y restando , usando de las primeras ecuaciones de (2.1) y (2.87) que
a(
h
,
h
) + b(
h
, u u
h
) = 0
h
H
h
, (2.99)
y sumando y restando w
h
Q
h
, se deduce para cada
h
V
h
que
a(
h
g
h
,
h
) = a(
h
,
h
) + a(
g
h
,
h
)
= b(
h
, u u
h
) + a(
g
h
,
h
)
= b(
h
, u w
h
) + b(
h
, w
h
u
h
) + a(
g
h
,
h
)
= b(
h
, u w
h
) + a(
g
h
,
h
) w
h
Q
h
.
(2.100)
Notar aqu que el termino b(
h
, w
h
u
h
) se anula ya que
h
V
h
. Luego, reemplazando
la expresi on anterior en (2.98) y observando de (2.2) y (2.3) que |A| y |B| constituyen
constantes de acotamiento para a y b, respectivamente, resulta
h
|
h
g
h
|
H
sup
h
V
h
h
,=0
b(
h
, u w
h
) + a(
g
h
,
h
)
|
h
|
H
|B| |u w
h
|
Q
+|A| |
g
h
|
H
w
h
Q
h
,
de donde
|
h
g
h
|
H

|B|
h
dist(u, Q
h
) +
|A|
h
|
g
h
|
H

g
h
V
g
h
.
As, (2.97) y la estimaci on anterior implican directamente que
|
h
|
H

_
1 +
|A|
h
_
dist(, V
g
h
) +
|B|
h
dist(u, Q
h
). (2.101)
Habiendo establecido (2.101), nos queda ahora acotar dist(, V
g
h
) para obtener la esti-
maci on a priori del error |
h
|
H
.
66 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
Para este efecto notamos que la aplicacion del Lema 2.1 al presente contexto nito-
dimensional implica que la condici on inf-sup discreta para b dada por la hip otesis ii) del
Teorema 2.4 (cf. (2.88)) es equivalente, en particular, al hecho que B
h
es una biyeccion
de V
h
en Q
h
y
|B
h
(
h
)|
Q

h
|
h
|
H

h
V
h
. (2.102)
Notar aqu que el ortogonal de V
h
es con respecto al espacio H
h
, es decir H
h
= V
h
h
.
Luego, dado
h
H
h
existe un unico
h
V
h
tal que B
h
(
h
) = B
h
(
h
h
), esto es
b(
h
, w
h
) = b(
h
h
, w
h
) w
h
Q
h
,
y ademas, seg un (2.102),
|
h
|
H

1
h
|B
h
(
h
h
)|
Q
.
Puesto que b(
h

h
, w
h
) = b(
h
, w
h
) w
h
Q
h
, lo cual se sigue de las segundas
ecuaciones de (2.1) y (2.87), se obtiene que
|B
h
(
h
h
)|
Q
= sup
w
h
Q
h
w
h
,=0
b(
h
h
, w
h
)
|w
h
|
Q
= sup
w
h
Q
h
w
h
,=
b(
h
, w
h
)
|w
h
|
Q
|B| |
h
|
H
,
con lo cual
|
h
|
H

|B|
h
|
h
|
H
. (2.103)
A su vez, al momento de introducir
h
V
h
se observa que
h
+
h
V
g
h
, y por lo tanto
se sigue f acilmente, usando tambien (2.103), que
dist(, V
g
h
) | (
h
+
h
)|
H
|
h
|
H
+|
h
|
H
_
1 +
|B|
h
_
|
h
|
H

h
H
h
,
esto es
dist(, V
g
h
)
_
1 +
|B|
h
_
dist(, H
h
). (2.104)
De este modo, (2.101) y (2.104) nos dan la estimaci on de Cea para |
h
|
H
.
Por otro lado, aplicando nuevamente la desigualdad triangular se tiene
|u u
h
|
Q
|u w
h
|
Q
+ |u
h
w
h
|
Q
w
h
Q
h
. (2.105)
Luego, usando la condici on inf-sup discreta para b, restando y sumando u, y empleando
la identidad (2.99), se obtiene
h
|u
h
w
h
|
Q
sup
h
H
h
h
,=0
b(
h
, u
h
w
h
)
|
h
|
H
= sup
h
H
h
h
,=0
b(
h
, u
h
u) + b(
h
, u w
h
)
|
h
|
H
= sup
h
H
h
h
,=0
a(
h
,
h
) + b(
h
, u w
h
)
|
h
|
H
|A| |
h
|
H
+ |B| |u w
h
|
Q
w
h
Q
h
,
y reemplazando la estimaci on anterior en (2.105), se concluye directamente que
|u u
h
|
Q

_
1 +
|B|
h
_
dist(u, Q
h
) +
|A|
h
|
h
|
H
. (2.106)
Finalmente, (2.106) y la cota a priori del error |
h
|
H
implican la estimaci on de Cea
para |u u
h
|
Q
y completan la demostraci on. 2
Es interesante observar aqu que si V
h
V , entonces la expresi on b(
h
, u u
h
) se
anula
h
V
h
, y por lo tanto no es necesario sumar y restar w
h
Q
h
en (2.100). En
efecto, en tal caso (2.101) se reduce simplemente a
|
h
|
H

_
1 +
|A|
h
_
dist(, V
g
h
),
lo cual, junto con (2.104), da
|
h
|
H

_
1 +
|A|
h
_ _
1 +
|B|
h
_
dist(, H
h
).
En otras palabras, cuando el kernel discreto V
h
de b est a contenido en su kernel continuo
V , la estimaci on de Cea para |
h
|
H
s olo depende de dist(, H
h
) y no de dist(u, Q
h
).
Por otra parte, observemos tambien que la condici on inf-sup discreta para b es crucial
para la unicidad de u
h
. En efecto, de manera analoga al caso continuo, sabemos que esta
hip otesis se re-escribe
|B
h
(v
h
)|
H

h
|v
h
|
Q
v
h
Q
h
,
68 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
lo cual es equivalente a la inyectividad de B
h
(porque en dimensi on nita todos los
rangos de operadores son ciertamente cerrados). Por lo tanto, si ella no se satisface,
necesariamente existe w Q
h
, w ,= , tal que B
h
(w) = , y en consecuencia, dada
cualquier solucion (
h
, u
h
) H
h
Q
h
del esquema de Galerkin (2.87), se tiene que
(
h
, u
h
+ c w) tambien es soluci on c R.
Al concluir esta secci on, es preciso enfatizar que los subespacios H
h
y Q
h
que per-
miten denir el esquema de Galerkin (2.87) no se pueden elegir de manera arbitaria
ya que, obviamente, ellos deberan satisfacer las distintas condiciones estipuladas en el
Teorema 2.4. De hecho, la m as limitante de todas es la condici on inf-sup discreta para
b (cf. (2.88)). En particular, puesto que ella es equivalente a la sobreyectividad del ope-
rador B
h
: H
h
Q
h
, se deduce que una condici on necesaria para su ocurrencia es que
dimH
h
dimQ
h
. A su vez, el siguiente resultado, conocido como el truco de Fortin,
el cual es muy utilizado en diversas aplicaciones, proporciona una condici on suciente
para que ella ocurra. M as precisamente, a continuacion se establece que la condicion
inf-sup continua para b y la existencia de una sucesion apropiada de operadores unifor-
memente acotados, llamados operadores de fortin, implican la condicion inf-sup
discreta correspondiente.
Lema 2.6 (Lema de Fortin) Sea H y Q espacios de Hilbert, b : H Q R una
forma bilineal acotada, y suponga que existe > 0 tal que
sup
H
,=
b(, v)
||
H
|v|
Q
v Q.
Ademas, sean H
h
hI
y Q
h
hI
sucesiones de subespacios de H y Q, respectivamente,
y suponga que existen
h
hI
L(H, H
h
) y

C > 0 tales que
|
h
|

C h I,
y
b(
h
(), v
h
) = 0 H, v
h
Q
h
, h I.
Entonces, existe

> 0, independiente de h, tal que
sup
h
H
h
h
,=
b(
h
, v
h
)
|
h
|
H

|v
h
|
Q
v
h
Q
h
, h I.
Demostraci on. Dada v
h
Q
h
, la aplicaci on de la condici on inf-sup continua para b y
las restantes hipotesis implican
|v
h
|
Q
sup
H
,=
[b(, v
h
)[
||
H
= sup
H
,=
[b(
h
(), v
h
)[
||
H

C sup
H
h
(),=
[b(
h
(), v
h
)[
|
h
()|
H

C sup
h
H
h
h
,=
b(
h
, v
h
)
|
h
|
H
,
lo cual prueba lo estipulado con

:= /
C. 2
70 CAP
ITULO 2. TEOR
IA DE BABU
SKA-BREZZI
Captulo 3
Espacios de Raviart-Thomas
En este captulo se introducen los espacios de Raviart-Thomas, los cuales constituyen
uno de los subespacios de elementos nitos m as populares de H(div; ), y se demuestran
sus principales propiedades de interpolaci on y aproximaci on.
3.1. Resultados preliminares
En lo que sigue, es un abierto, conexo y acotado de R
n
, n 2, 3, con frontera
poliedrica , y T
h
es una triangularizaci on de . M as precisamente, T
h
es una familia
nita de tri angulos (en R
2
) o tetraedros (en R
3
), tal que:
i) =
_
KT
h
K.
ii)
K ,= 0 K T
h
.
iii)
K
i
K
j
= K
i
, K
j
T
h
, distintos.
iv) Si F = K
i
K
j
, K
i
, K
j
T
h
, distintos, entonces F es una cara com un, un lado
com un, o un vertice com un de K
i
y K
j
.
v) diam(K) =: h
K
h K T
h
.
Adem as, a T
h
le asociamos un poliedro jo de referencia

K (que puede o no pertenecer
a T
h
) y una familia de aplicaciones anes T
K
KT
h
tales que
71
72 CAP
ITULO 3. ESPACIOS DE RAVIART-THOMAS

a) T
K
: R
n
R
n
, T
K
( x) = B
K
x + b
K
x R
n
, con B
K
R
nn
invertible, y
b
K
R
n
.
b) K = T
K
(
K) K T
h
.
Usualmente, consideramos a

K como el simplex unitario, esto es el tri angulo de
vertices (1,0), (0,1), y (0,0) en R
2
, o bien el tetraedro de vertices (1,0,0), (0,1,0), (0,0,1)
y (0,0,0) en R
3
.
A continuaci on demostramos una secuencia de resultados que caracterizan los espa-
cios H
1
() y H(div; ) en terminos de sus comportamientos locales sobre los elemen-
tos de la triangularizacion T
h
. En lo que sigue, ,
K
denota la paridad dual entre
H
1/2
(K) y H
1/2
(K) para cada K T
h
. A su vez, se omite el smbolo
para de-
notar las trazas normales respectivas, y se escribe simplemente, cuando no haya lugar a
confusi on, H(div; ) y
K
H(div; K), donde
K
es el vector
normal a K. Al mismo tiempo, se omite el smbolo
0
y se escribe v[
(o solo v) para
v H
1
(), y v[
K
(o solo v) para v H
1
(K).
Lema 3.1 Denamos los espacios X :=
_
v L
2
() : v[
K
H
1
(K) K T
h
_
y
H
0
(div ; ) :=
_
H(div; ) : = 0 en
_
. Entonces
H
1
() =
_
v X :
KT
h

K
, v
K
= 0 H
0
(div ; )
_
.
Demostraci on. Procedemos por doble inclusion. Sea v X tal que
KT
h

K
, v
K
= 0 H
0
(div ; ) .
Puesto que v[
K
H
1
(K) K T
h
, se tiene para H
0
(div ; )
_
K
v =
_
K
v div +
K
, v
K
,
de donde
KT
h
_
K
v =
_
v div .
En particular, para [C
0
()]
n
H
0
(div ; ) la identidad anterior se transforma en
v,
[T
()]
n
[T()]
n =
KT
h
_
K
v =
_
w,
3.1. RESULTADOS PRELIMINARES 73
donde w [L
2
()]
n
est a dado por w[
K
= (v[
K
) K T
h
, lo cual prueba que v = w
en [T
t
()]
n
, y as v H
1
().
Recprocamente, sea v H
1
(). Es claro que v X ya que ciertamente v L
2
() y
v[
K
H
1
(K) K T
h
. Ahora, dado H
0
(div ; ) se tiene, utilizando la identidad
de Green (1.48) (cf. Lema 1.4) en H(div; ) y en H(div; K) K T
h
,
0 = , v
=
_
v +
_
v div
=
KT
h
_
K
v +
_
v div
=
KT
h
_
_
K
v div +
K
, v
K
_
+
_
v div
=
KT
h

K
, v
K
,
(3.1)
Una consecuencia inmediata del lema anterior esta dada por el siguiente resultado.
Lema 3.2 Sea X :=
_
v L
2
() : v[
K
H
1
(K) K T
h
_
. Entonces:
H
1
() =
_
v X :
KT
h
_
K

K
v = 0 [C
0
()]
n
_
.
Demostraci on. Se sigue del Lema 3.1, de la inclusi on [C
0
()]
n
H
0
(div ; ), del hecho
que [
K
[H
1
(K)]
n
[C
0
()]
n
, K T
h
, y de la identidad (cf. (1.43))

K
, v
K
=
_
K

K
v v H
1
(K), [H
1
(K)]
n
.
2
Con el objeto de simplicar a un m as la caracterizaci on de H
1
() dada por los lemas
anteriores, necesitamos el siguiente resultado tecnico.
Lema 3.3 Sean K
i
, K
j
T
h
poliedros adyacentes con cara com un F y sea z L
2
(F)
tal que
_
F
z = 0 C
0
(K
i
K
j
). Entonces z = 0 en F.
Demostraci on. Usamos que C
0
(F) es denso en L
2
(F), con lo cual basta probar que
_
F
z = 0 C
0
(F). Para ello, sea G una recta perpendicular a la cara F, y situe-
mos un sistema de coordenadas locales x = (x
1
, x
2
, , x
n
) con (x
1
, x
2
, , x
n1
)
74 CAP

F, x
n
G, y el origen dado por el punto de interseccion entre F y G (el cual pue-
de asumirse en el baricentro de F). Entonces, dado C
0
(F) podemos construir,
va tecnicas de regularizacion, una funcion C
0
(G) de modo tal que (0) = 1
y sop sop este contenido en el interior de K
i
K
j
. As, deniendo la funcion
(x) := (x
1
, x
2
, , x
n1
) (x
n
), se tiene que C
0
(K
i
K
j
) y [
F
= . Se sigue
que 0 =
_
F
z =
_
F
z , lo cual completa la demostracion. 2
Ahora estamos en condiciones de demostrar el siguiente teorema.
Teorema 3.1 Sea X :=
_
v L
2
() : v[
K
H
1
(K) K T
h
_
. Entonces:
H
1
() =
_
v X : v[
K
i
v[
K
j
= 0 en L
2
(F)
K
i
, K
j
T
h
adyacentes con cara com un F
_
.
Demostraci on. Sea v X tal que v[
K
i
v[
K
j
= 0 en L
2
(F) K
i
, K
j
T
h
adyacentes
con cara com un F. Entonces, dado [C
0
()]
n
se tiene = 0 en y luego
KT
h
_
K

K
v =
F I
h
()
_
F
_
v[
K
i,F
v[
K
j,F
_

K
i,F
,
donde I
h
() es el conjunto de caras interiores de T
h
, y K
i,F
y K
j,F
son los poliedros
adyacentes cuya cara com un es F. Notar aqu que
K
i,F
=
K
j,F
. Se sigue que
KT
h
_
K

K
v = 0 [C
0
()]
n
,
lo cual, gracias al Lema 3.2, implica que v H
1
().
Recprocamente, sea v H
1
(). El mismo Lema 3.2 nos dice que
KT
h
_
K

K
v = 0 [C
0
()]
n
.
En particular, dado [C
0
(K
i
K
j
)]
n
, con K
i
, K
j
T
h
adyacentes con cara com un
F, se obtiene
0 =
KT
h
_
K

K
v =
_
F
_
v[
K
i
v[
K
j
_

K
i
=
_
F
_
v[
K
i
v[
K
j
_
K
i
,
(3.2)
3.1. RESULTADOS PRELIMINARES 75
de donde, aplicando Lema 3.3 a una componente no nula de
K
i
, se deduce precisamente
que v[
K
i
v[
K
j
= 0 en L
2
(F). 2
El objetivo siguiente es caracterizar el espacio H(div; ). Para ello comenzamos con
el siguiente lema, el cual constituye una especie de resultado dual del Lema 3.1.
Lema 3.4 Sea Y :=
_
[L
2
()]
n
: [
K
H(div; K) K T
h
_
. Entonces
H(div; ) =
_
Y :
KT
h

K
, v
K
= 0 v H
1
0
()
_
.
Demostraci on. Procedemos por doble inclusion. Sea Y tal que
KT
h

K
, v
K
= 0 v H
1
0
().
Puesto que [
K
H(div; K) K T
h
, se tiene para v H
1
0
():
_
K
v div =
_
K
v +
K
, v
K
,
de donde
KT
h
_
K
v div =
_
v .
En particular, para v C
0
() H
1
0
(), la identidad anterior se transforma en
div , v
T
()T()
=
KT
h
_
K
v div =
_
v z,
donde z L
2
() est a dado por z[
K
= div ([
K
) K T
h
, lo cual prueba que
div = z en T
t
(), y as H(div; ).
Recprocamente, sea H(div; ). Es claro que Y ya que obviamente
[L
2
()]
n
y [
K
H(div; K) K T
h
. Luego, dado v H
1
0
(), utilizando la
identidad de Green (1.48) (cf. Lema 1.4) en H(div; ) y en H(div; K) K T
h
, y
procediendo igual que en la segunda parte de la demostracion del Lema 3.1, se deduce
que
0 = , v
KT
h

K
, v
K
,
lo cual concluye la demostraci on. 2
El siguiente teorema se sigue facilmente del lema anterior y del resultado tecnico
dado por Lema 3.3.
76 CAP

Teorema 3.2 Sea Z :=
_
[L
2
()]
n
: [
K
[H
1
(K)]
n
K T
h
_
. Entonces
H(div; ) Z =
_
Z :
K
i
+
K
j
= 0 en L
2
(F)
K
i
, K
j
T
h
adyacentes con cara com un F
_
.
Demostraci on. Sea Z tal que
K
i
+
K
j
= 0 en L
2
(F) K
i
, K
j
T
h
adyacentes con cara com un F. Entonces, dado v H
1
0
(), usando que
K
L
2
(K)
ya que [
K
[H
1
(K)]
n
K T
h
, y empleando la misma notaci on del Teorema 3.1,
se deduce que
KT
h

K
, v
K
=
KT
h
_
K

K
v =
FI
h
()
_
F
_

K
i,F
+
K
j,F
_
v = 0 ,
lo cual, gracias al Lema 3.4, implica que H(div; ).
Recprocamente, sea H(div; ) Z. Se sigue, nuevamente por Lema 3.4, que
KT
h

K
, v
K
= 0 v H
1
0
() .
En particular, para v C
0
(K
i
K
j
), donde K
i
, K
j
T
h
son poliedros adyacentes con
cara com un F, resulta
0 =
KT
h

K
, v
K
=
KT
h
_
K

K
v =
_
F
_

K
i
+
K
j
_
v , (3.3)
de donde, en virtud del Lema 3.3, se concluye que
K
i
+
K
j
= 0 en L
2
(F). 2
3.2. Espacios de polinomios
Dado S un abierto, convexo y acotado de R
n
, n 2, 3, y un entero no-negativo k, se
denen los espacios:
P
k
(S) := p : S R : polinomio de grado = k
y
P
k
(S) := p : S R : polinomio de grado k.
3.2. ESPACIOS DE POLINOMIOS 77
Equivalentemente, usando la notacion de multindices, se tiene que p

P
k
(S) si y s olo
si existen escalares a
R, := (
1
,
2
, ,
n
) con [[ :=
n
j=1
j
= k, tales que
p(x) =
[[=k
a
x S ,
donde x
:= x
1
1
x
2
2
, x
n
n
. An alogamente, p P
k
(S) si y s olo si existen escalares
a
R, , [[ k, tales que
p(x) =
[[k
a
x S.
Puede probarse que dim
P
k
(S) =
_
n + k 1
k
_
, y luego, usando que
_
n
j
_
+
_
n
j + 1
_
=
_
n + 1
j + 1
_
j N 0 , (3.4)
se deduce que
dimP
k
(S) =
k
j=0
dim
P
j
(S) =
k
j=0
_
n + j 1
j
_
=
_
n + k
k
_
. (3.5)
Por otro lado, se dene el espacio de Raviart-Thomas de orden k 0 sobre S como
RT
k
(S) := [P
k
(S)]
n
+ P
k
(S) x , (3.6)
esto es, p RT
k
(S) si y solo si existen p
0
, p
1
, , p
n
P
k
(S) tales que
p(x) =
_
_
_
_
_
_
p
1
(x)
p
2
(x)
.
.
.
p
n
(x)
_
_
_
_
_
_
+ p
0
(x)
_
_
_
_
_
_
x
1
x
2
.
.
.
x
n
_
_
_
_
_
_
x := (x
1
, x
2
, , x
n
)
t
S. (3.7)
Lema 3.5 Se tiene RT
k
(S) = [P
k
(S)]
n

P
k
(S) x y
dimRT
k
(S) =
(n + k + 1) (n + k 1)!
(n 1)! k!
.
78 CAP

Demostraci on. Puesto que
P
k
(S) P
k
(S), es claro que [P
k
(S)]
n
P
k
(S) x RT
k
(S).
Para la otra inclusi on, sea p RT
k
(S) seg un se indica en (3.7), y para cada i
0, 1, 2, , n sean a
i
R, , [[ k, tales que
p
i
(x) =
[[ k
a
i
x S .
Se sigue que la componente i-esima de p, i 1, 2, , n, est a dada por
p
i
(x) + p
0
(x) x
i
=
[[k
a
i
+ x
i
[[k1
a
0
+ x
i
[[ =k
a
0
= q
i
(x) + x
i
q
0
(x) x S ,
donde
q
i
(x) :=
[[k
a
i
+ x
i
[[k1
a
0
x S
y
q
0
(x) :=
[[ =k
a
0
x S .
Dado que q
i
P
k
(S) i 1, 2, , n y q
0

P
k
(S), se deduce que p pertenece al
espacio [P
k
(S)]
n

P
k
(S) x, lo cual completa la primera identidad del lema. Por ultimo,
en virtud de lo anterior se sigue que dimRT
k
(S) = ndimP
k
(S) + dim
P
k
(S), esto es:
dimRT
k
(S) = n
_
n + k
k
_
+
_
n + k 1
k
_
,
de lo cual se obtiene, luego de simples calculos algebraicos, la f ormula anunciada. 2
3.3. Espacios de Raviart-Thomas locales
En lo que sigue volvemos a considerar la triangularizaci on T
h
de introducida en la
Secci on 3.1. De acuerdo a ello, nuestro interes se centra ahora en los espacios de Raviart-
Thomas locales RT
k
(K) K T
h
, k 0, cuyos elementos se denotan a conti-
nuaci on por en vez de p.
Lema 3.6 Para cada K T
h
se tiene:
i) div P
k
(K) RT
k
(K).
3.3. ESPACIOS DE RAVIART-THOMAS LOCALES 79
ii)
K
[
F
P
k
(F) cara F de K, RT
k
(K).
Demostraci on. Dados K T
h
y RT
k
(K), existen, de acuerdo a (3.7), polinomios
p
0
, p
1
, , p
n
P
k
(K) tales que
i
, la i-esima componente de , i 1, 2, , n,
est a dada por:
i
(x) := p
i
(x) + x
i
p
0
(x) x K .
Se sigue f acilmente que
(div )(x) =
n
i=1
_
p
i
(x)
x
i
+ p
0
(x) + x
i
p
0
(x)
x
i
_
,
lo cual conrma la armaci on i) .
Por otra parte, sea F una cara del poliedro K, es decir, F es un lado del tri angulo K
(en R
2
) o una cara del tetraedro K (en R
3
) . Entonces, existen escalares a
1
, a
2
, , a
n
, b
R tales que F est a contenida en la recta/plano de ecuaci on
a
1
x
1
+ a
2
x
2
+ + a
n
x
n
= b ,
y luego el vector normal en F se reduce a
K
=
a
|a|
, donde a := (a
1
, a
2
, , a
n
)
t
.
Se tiene as que para cada x F:
_

K
_
(x) =
n
i=1
_
p
i
(x) + x
i
p
0
(x)
_
a
i
|a|
=
1
|a|
_
n
i=1
a
i
p
i
(x) + p
0
(x)
n
i=1
a
i
x
i
_
=
1
|a|
_
n
i=1
a
i
p
i
(x) + b p
0
(x)
_
,
(3.8)
lo cual prueba ii) . 2
Ahora, como F est a contenido en un hiperplano de dimension n 1, se sigue de la
f ormula (3.5) que
dimP
k
(F) =
_
n 1 + k
k
_
=
(n + k 1)!
(n 1)! k!
=: d
k
. (3.9)
Luego, la parte ii) del Lema 3.6 dice que dados K T
h
, RT
k
(K), y F una cara
de K, la componente normal
K
[
F
queda unicamente determinada por:
80 CAP

a) los valores de
_
F

K
P
k
(F), o bien
b) los valores de
_
F

K

j
j 1, 2, , d
k
, donde
1
,
2
, ,
d
k
es una
base de P
k
(F) .
En particular, para k = 0 resulta d
0
= 1, mientras que
dimRT
0
(K) =
(n + 0 + 1)(n + 0 1)!
(n 1)! 0!
= n + 1 ,
lo cual permite inferir que la dimensi on de RT
0
(K) coincide con la cantidad de gra-
dos de libertad generados por las componentes normales sobre las caras F de K (3
cuando K es un triangulo de R
2
y 4 cuando K es un tetraedro de R
3
). No obstante,
esta coincidencia desaparece para k 1 . En efecto, los grados de libertad sobre las
n + 1 caras de K quedan dados por (n + 1)d
k
=
(n + 1)(n + k 1)!
(n 1)! k!
, mientras que
dimRT
k
(K) =
(n + k + 1)(n + k 1)!
(n 1)! k!
, lo cual indica que grados de libertad adicio-
nales (muy probablemente sobre K) deben denirse para garantizar la unisolvencia de
los elementos de RT
k
(K) . El detalle exacto de este resultado es lo que proporciona el
siguiente teorema.
Teorema 3.3 Sean K T
h
y RT
k
(K), y supongamos que:
i)
_
F

K
= 0 P
k
(F), F cara de K, cuando k 0 .
ii)
_
K
= 0 [P
k1
(K)]
n
, cuando k 1 .
Entonces 0 en K .
Demostraci on. Notemos primero que los grados de libertad generados por i) y ii) se
reducen a
(n + 1) d
k
=
(n + 1)(n + k 1)!
(n 1)! k!
y
ndimP
k1
(K) = n
_
n + k 1
k 1
_
= k
(n + k 1)!
(n 1)! k!
,
3.3. ESPACIOS DE RAVIART-THOMAS LOCALES 81
respectivamente, cuya suma coincide con dimRT
k
(K) =
(n + k + 1)(n + k 1)!
(n 1)! k!
. Es-
to implica que el resultado dado por el presente teorema garantiza la unisolvencia de
RT
k
(K) con respecto a dichos grados de libertad.
Procedamos ahora con la demostraci on propiamente tal. Sea RT
k
(K) tal que
i) y ii) se satisfacen. Puesto que
K
[
F
P
k
(F) cara F de K, se sigue de i) que

K
0 on K. Ahora, dado P
k
(K) se tiene que [P
k1
(K)]
n
, y por lo
tanto
_
K
div =
_
_
K
div =
_
K

K
= 0 si k = 0,
_
K
+
K
,
K
=
_
K
= 0 si k 1 ,
donde la ultima igualdad del caso k 1 es consecuencia de ii). Puesto que div
P
k
(K), lo anterior prueba que
div 0 en K .
Ahora, sean q
1
, q
2
, , q
n
P
k
(K) y q
0

P
k
(K) , tales que
(x) = q(x) + x q
0
(x) x K ,
donde q := (q
1
, q
2
, , q
n
)
t
[P
k
(K)]
n
. Luego, si q
0
(x) =
[[=k
a
x K , se
sigue que
0 = div (x) = div q(x) +
n
i=1
x
i
_
x
i
q
0
(x)
_
= div q(x) + nq
0
(x) +
n
i=1
x
i
x
i
q
0
(x)
= div q(x) + (n + k) q
0
(x) x K ,
de donde
q
0
=
1
(n + k)
div q P
k1
(K) ,
lo cual implica necesariamente que q
0
0 y por lo tanto = q [P
k
(K)]
n
.
Para el resto de la demostraci on suponemos por simplicidad que n = 2 . El caso
n = 3 se razona de manera an aloga. Puesto que div 0 en K , debe existir un
82 CAP

polinomio w P
k+1
(K) ( unico, excepto por una constante) tal que
= curl w :=
_
w
x
2
,
w
x
1
_
t
.
Se sigue que 0 =
K
= curl w
K
=
d w
d s
en K, lo cual indica que w constante
en K , y as, sin perdida de generalidad, podemos asumir que w 0 en K . El objetivo
ultimo es probar, a partir de esto, que w 0 en K con lo cual tambien se anula en
K . En efecto, si k 1 (esto es k + 1 2), la unisolvencia de P
1
(K) (con respecto
a los vertices de K) y de P
2
(K) (con respecto a los vertices de K y puntos medios en
K) garantizan que w 0 en K. A su vez, si k 2 (esto es k + 1 3), existe
P
k2
(K) tal que w = b
K
en K, donde b
K
P
3
(K) es la funci on burbuja en K.
De este modo, denotando (x) :=
[[k2
a
x K, se dene
(x) :=
_
_
0,
[[k2
1
1
+ 1
a
1
+1
1
x
2
2
x
n
n
_
_
t
=: (
1
,
2
)
t
x K ,
el cual satisface [P
k1
(K)]
2
y adem as rot :=

2
x
1

1
x
2
= en K. As,
haciendo uso nuevamente de la hip otesis ii), se deduce que
0 =
_
K
=
_
K
curl w =
_
K
wrot =
_
K
2
b
K
,
de donde 0 en K y por lo tanto w 0 en K. 2
3.4. Interpolaci on en H(div ; )
3.4.1. Operadores de interpolacion global y local
Dada la triangularizacion T
h
de introducida en la Secci on 3.1, y dado un entero k 0,
denimos el espacio de Raviart-Thomas global como:
H
k
h
:=
_
H(div; ) : [
K
RT
k
(K) K T
h
_
.
Al respecto, es importante recordar del Teorema 3.2 que si es un vector de [L
2
()]
n
tal que [
K
[H
1
(K)]
n
K T
h
, entonces la condicion necesaria y suciente para
3.4. INTERPOLACI
ON EN H(DIV; ) 83
que pertenezca a H(div; ), es que
K
i
+
K
j
= 0 en L
2
(F) K
i
, K
j
T
h
adyacentes con cara com un F. En particular, si es un vector de [L
2
()]
n
tal que [
K

RT
k
(K) K T
h
, entonces dicha condici on necesaria y suciente se transforma, en
virtud de la parte ii) del Lema 3.6, en
_
F
(
K
i
+
K
j
)
l,F
= 0 l 1, 2, , d
k
, (3.10)
donde
1,F
,
2,F
, ,
d
k,F
es una base de P
k
(F) . Equivalentemente, si jamos un
vector normal sobre F como
F
:=
K
i
o
F
:=
K
j
, y notamos que
K
i
=
K
j
,
entonces (3.10) se re-escribe como
_
F
[
K
i

F

l,F
=
_
F
[
K
j

F

l,F
l 1, 2, , d
k
.
De acuerdo a lo anterior, dado H(div; ) Z (cf. Teorema 3.2), es decir
H(div; ) tal que [
K
[H
1
(K)]
n
K T
h
, se denen los F momentos para k 0
como los valores de
_
F

F

l,F
l 1, 2, , d
k
, cara F de T
h
.
Todos los F momentos de T
h
se denotan de ahora en adelante por m
i
(), i
1, 2, , N
1
, donde N
1
= n umero de caras de T
h
d
k
. A su vez, se denen tambien
los K momentos para k 1, como los valores de
_
K

j,K
j 1, 2, , r
k
, K T
h
,
donde r
k
:= dim[P
k1
(K)]
n
=
k (n + k 1)!
(n 1)! k!
y
1,K
,
2,K
, ,
r
k
,K
es una
base de [P
k1
(K)]
n
. Todos los K momentos de T
h
se denotan por m
i
(), i
N
1
+ 1, N
1
+ 2, , N , donde N N
1
= n umero de poliedros de T
h
r
k
.
Ahora, dado j 1, 2, , N se dene
j
como la unica funcion en H
k
h
tal que
m
i
(
j
) =
ij
i 1, 2, , N ,
y se introduce el operador de interpolaci on global
k
h
: H(div; ) Z H
k
h
como
k
h
() :=
N
j=1
m
j
()
j
H(div; ) Z .
84 CAP

Equivalentemente,
k
h
() es la unica funci on en H
k
h
tal que
m
i
(
k
h
()) = m
i
() i 1, 2, , N.
A su vez, dado K T
h
, denotamos por m
i,K
(), i 1, 2, , N
K
los respectivos
momentos locales, es decir los F-momentos de las caras F de K y los K-momentos de
K. Dado que el n umero de caras de K es n + 1, se tiene que N
K
= (n + 1)d
k
+ r
k
.
Entonces denimos el operador de interpolaci on local
k
K
: [H
1
(K)]
n
RT
k
(K) como
k
K
() :=
N
K
j=1
m
j,K
()
j,K
[H
1
(K)]
n
, (3.11)
donde
j,K
es la unica funcion en RT
k
(K) tal que
m
i,K
(
j,K
) =
i,j
i 1, 2, , N
K
.
Al respecto, notar obviamente que
k
h
()[
K
=
k
K
([
K
) H(div; ) Z .
El siguiente lema relaciona las divergencias de los operadores de interpolaci on global
y local a traves de los proyectores ortogonales
T
k
K
: L
2
(K) P
k
(K) y T
k
h
: L
2
() Y
k
h
,
donde
Y
k
h
:=
_
v L
2
() : v[
K
P
k
(K) K T
h
_
.
Lema 3.7 Se tiene
div (
k
K
()) = T
k
K
(div ) [H
1
(K)]
n
(3.12)
y
div (
k
h
()) = T
k
h
(div ) H(div; ) Z . (3.13)
Demostraci on. Dado [H
1
(K)]
n
se tiene claramente que div (
k
K
()) P
k
(K)
y m
i,K
() = m
i,K
(
k
K
()) i 1, 2, , N
K
. Luego, para cada P
k
(K) se
obtiene que
_
K
div (
k
K
()) =
_
K

k
K
() +
_
K

k
K
()
K
=
_
K
+
_
K

K
=
_
K
div ,
3.4. INTERPOLACI
ON EN H(DIV; ) 85
esto es
_
K
div (
k
K
()) =
_
K
div T
k
(K) , (3.14)
lo cual prueba ciertamente (3.12). A su vez, dado H(div; ) Z se tiene que
div (
k
h
()) Y
k
h
y luego, para cada Y
k
h
se obtiene, utilizando (3.14), que
_
div (
k
h
()) =
KT
h
_
K
div (
k
h
())
=
KT
h
_
K
div (
k
K
())
=
KT
h
_
K
div =
_
div ,
de lo cual se sigue la identidad (3.13) . 2
Notemos que una demostraci on alternativa para (3.13) se obtiene utilizando que
T
k
h
(v)[
K
= T
k
K
(v[
K
) v L
2
(), K T
h
.
En efecto, gracias a esta relaci on y a la identidad (3.12), obtenemos para cada K T
h
:
T
k
h
(div )[
K
= T
k
K
(div ) = div (
k
K
()) = div (
k
h
()[
K
) = div (
k
h
())[
K
,
lo cual implica (3.13). Esta identidad constituye lo que se conoce en la bibliografa como
la propiedad de conmutatividad, la cual se ilustra a traves del siguiente diagrama
H(div; ) Z
div
L
2
()
k
h
T
k
h
H
k
h
div
Y
k
h
El objetivo ultimo de esta secci on es estimar el error de interpolaci on global
k
h
()
H(div; ) Z a traves de las estimaciones del error de interpolacion local

k
K
() [H
1
(K)]
n
. Para este efecto, necesitamos los conceptos y resultados
previos que se presentan en las subsecciones siguientes.
3.4.2. La transformaci on de Piola
Dado [H
1
(K)]
n
y la aplicaci on afn T
K
: R
n
R
n
denida por T
K
( x) := B
K
x +b
K
x R
n
, con B
K
R
nn
invertible y b
K
R
n
, tal que K = T
K
(
K) K T
h
(cf.
Secci on 3.1), se introduce la transformaci
on de piola:
:= [det B
K
[ B
1
K
T
K
K T
h
. (3.15)
86 CAP

Notar que la diferencial DT
K
: R
n
L(R
n
, R
n
) denida por
DT
K
( x)( y) = lm
0
T
K
( x + y) T
K
( x)
x , y R
n
,
se reduce a
DT
K
( x) B
K
x R
n
. (3.16)
A su vez, recordemos que si F C
1
(G) , donde G es un abierto de R
n
, entonces
DF(x)(y) = F(x) y x G, y R
n
,
y an alogamente para el caso en que F es un campo vectorial o tensorial. Adem as, en lo
que sigue utilizamos la formula de cambio de variable dada por:
_
K
f(T
K
( x)) d x =
_
K
[det B
K
[
1
f(x) d x f C(K). (3.17)
Lema 3.8 Dado K T
h
se tiene que [H
1
(K)]
n
si y solo si la transformacion de
Piola := [det B
K
[ B
1
K
T
K
[H
1
(
K)]
n
. A su vez, dado un entero k 0 , se tiene
que RT
k
(K) si y solo si RT
k
(
K).
Demostraci on. Notemos primero, usando (3.17), que
_
K
| ( x)|
2
d x =
_
K
[det B
K
[ |B
1
K
(x)|
2
dx [det B
K
[ |B
1
K
|
2
_
K
|(x)|
2
dx,
lo cual muestra que [L
2
(
K)]
n
si [L
2
(K)]
n
.
Por otro lado, usando la regla de la cadena se deduce que para todo x , y R
n
D ( x)( y) = [det B
K
[ B
1
K
D(T
K
( x))(DT
K
( x)( y))
= [det B
K
[ B
1
K
D(T
K
( x))(B
K
y) .
En particular, para y =

e
j
:= jesimo vector de la base can onica de R
n
, se obtiene

x
j
( x) = D ( x)(
e
j
) = [det B
K
[ B
1
K
D(T
K
( x))(b
K,j
)
= [det B
K
[ B
1
K
(T
K
( x)) b
K,j
,
(3.18)
donde b
K,j
= jesima columna de B
K
. Luego, usando nuevamente la f ormula (3.17),
resulta para cada j 1, 2, , n:
_
K
_
_
_
_

x
j
( x)
_
_
_
_
2
d x =
_
K
[det B
K
[ |B
1
K
(x) b
K,j
|
2
d x
3.4. INTERPOLACI
ON EN H(DIV; ) 87
[det B
K
[ |B
1
K
|
2
|b
K,j
|
2
_
K
|(x)|
2
d x,
lo cual muestra que [L
2
(
K)]
nn
si [L
2
(K)]
nn
. Del analisis anterior se
concluye que [H
1
(
K)]
n
a partir del hecho que [H
1
(K)]
n
, y el recproco se
demuestra de manera an aloga.
Por otra parte, sea RT
k
(K). Se sigue que existen p [P
k
(K)]
n
y p
0
P
k
(K),
tales que
(x) = p(x) + x p
0
(x) x K.
Luego
( x) = [det B
K
[ B
1
K
(T
K
( x)) = [det B
K
[ B
1
K
(B
K
x + b
K
)
= [det B
K
[ B
1
K
_
p(B
K
x + b
K
) + p
0
(B
K
x + b
K
)(B
K
x + b
K
)
_
= [det B
K
[
_
B
1
K
p(B
K
x + b
K
) + p
0
(B
K
x + b
K
) B
1
K
b
K
_
+ [det B
K
[ x p
0
(B
K
x + b
K
)
= p( x) + x p
0
( x) x (
K) ,
donde p [P
k
(
K)]
n
y p
0
P
k
(
K), lo cual prueba que RT

k
(K). El recproco se
sigue de la transformaci on de Piola inversa
= [det B
K
[
1
B
K
T
1
K
.
2
Es importante notar que la segunda parte del lema anterior no sera verdad si, en
vez de (3.15), se dene := T
K
(como en el caso de elementos nitos de Lagrange).
El siguiente lema establece identidades importantes que involucran la transformaci on
de Piola y la transformacion afn usual para elementos de Lagrange.
Lema 3.9 Sean [H
1
(K)]
n
y H
1
(K), y denamos := [det B
K
[ B
1
K
T
K
y

:= T
K
. Entonces:
a)
_
=
_
K

b)
_
div =
_
K
div
c)
_
K
=
_
K

K
88 CAP

Demostraci on. Notemos primero, usando la regla de la cadena, que
D( x)( y) = D(T
K
( x))(B
K
y)
y luego
x
j
( x) := D
( x)(
e
j
) = D(T
K
( x))(b
K,j
) ,
donde b
K,j
es la j-esima columna de B
K
. Se sigue que
x
j
( x) = (T
K
( x)) b
K,j
j 1, 2, , n,
o bien
x
j
( x) = b
t
K,j
(T
K
( x)) j 1, 2, , n,
de donde
( x) = B
t
K
(T
K
( x)) x

K.
As utilizando la formula de cambio de variable (3.17), se tiene
_
=
_
K
[det B
K
[ B
1
K
T
K
B
t
K
T
K
=
_
K
B
1
K
B
t
K
=
_
K
()
t
B
K
B
1
K

=
_
K
()
t
=
_
K
,
lo cual prueba a).
Por otro lado, dado que (cf. (3.18))

x
j
( x) = [det B
K
[ B
1
K
(T
K
( x))b
K,j
j 1, 2, , n,
se sigue que
( x) = [det B
K
[ B
1
K
(T
K
( x)) B
K
x

K.
Luego, usando que tr(B
1
TB) = tr(T), se deduce que
div ( x) = tr ( x) = [det B
K
[ tr (T
K
( x))
= [det B
K
[ div (T
K
( x)) x

K ,
3.4. INTERPOLACI
ON EN H(DIV; ) 89
es decir
div = [det B
K
[ div T
K
en

K . (3.19)
De este modo, aplicando una vez m as (3.17), resulta:
_
div =
_
K
T
K
[det B
K
[ div T
K
=
_
K
div ,
lo cual prueba b).
Finalmente, integrando por partes y utilizando a) y b), se obtiene
_
K
=
_
+
_
div
=
_
K
+
_
K
div =
_
K

K
,
lo cual prueba c). 2
El siguiente resultado es un corolario de la identidad c) anterior y de la densidad de
H
1/2
(K) en L
2
(K).
Lema 3.10 Sean [H
1
(K)]
n
y L
2
(K). Entonces
_
K
=
_
K

K
.
Ahora, la relaci on entre los interpolantes locales sobre K T
h
y sobre el elemento
de referencia

K est a dada por el siguiente resultado.
Lema 3.11 Dados K T
h
y [H
1
(K)]
n
, se tiene:
K
( ) =

k
K
() := [det B
K
[ B
1
K

k
K
() T
K
.
Demostraci on. Basta mostrar que los

F y

K momentos de y

k
K
() coinciden.
En efecto, dado

[P
k1
(
K)]
n
se tiene, denotando :=

T
1
K
[P
k1
(
K)]
n
, y
utilizando (3.17) y el hecho que (B
1
K
)
t
[P
k1
(K)]
n
, que
_
k
K
()

=
_
K
[det B
K
[ B
1
K

k
K
() T
K
T
K
=
_
K
B
1
K

k
K
() =
_
K
k
K
() (B
1
K
)
t
=
_
K
(B
1
K
)
t
=
_
K
B
1
K

=
_
K
[det B
K
[ B
1
K
T
K
( T
K
) =
_
K

,
90 CAP

lo cual prueba que los

K-momentos de

k
K
() y coinciden. A su vez, dados

F una cara
de
K y

P
k
(
F), extendemos

por cero en
K

F de modo que

(as extendida)
pertenezca a L
2
(
K). Se sigue, usando Lema 3.10 y el hecho que los F-momentos de

y
k
K
() son los mismos, y denotando F = T
K
(
F), que
_
k
K
()
=
_
k
K
()
=
_
K
k
K
()
K
=
_
F
k
K
()
K

=
_
F

K
=
_
K

K

=
_
,
lo cual prueba que los

F-momentos de y

k
K
() coinciden. 2
3.4.3. Deny-Lions, Bramble-Hilbert y resultados anes
En esta secci on recordamos algunos resultados fundamentales para la teora de interpo-
laci on de espacios de Sobolev usuales, los cuales se utilizaran tambien para el presente
an alisis en H(div; )
Dado un entero k 0 y un conjunto compacto y conexo S en R
n
con frontera
Lipschitz-continua, nos interesa el espacio cuociente H
k+1
(S)/P
k
(S) dado por:
H
k+1
(S)/P
k
(S) :=
_
[v] : v H
k+1
(S)
_
,
donde
[v] :=
_
w H
k+1
(S) : v w P
k
(S)
_
.
Se sabe que H
k+1
(S)/P
k
(S) provisto de la norma
|[v]|
k+1,k,S
:= nf
w[v]
|w|
k+1,S
= nf
pP
k
(S)
|v p|
k+1,S
:= dist(v, P
k
(S))
para todo [v] H
k+1
(S)/P
k
(S), es un espacio de Banach. Adem as, la aplicaci on
[ [
k+1,k,S
: H
k+1
(S)/P
k
(S) R
+
[v] [[v][
k+1,k,S
:= [v[
k+1,S
3.4. INTERPOLACI
ON EN H(DIV; ) 91
est a bien denida ya que si [v] = [w] se tiene v w P
k
(S), con lo cual
(v w) =
0 , [[ = k + 1, y por lo tanto
[w[
k+1,S
= [v + (w v)[
k+1,S
= [v[
k+1,S
.
A su vez, para cada p P
k
(S) y para todo v H
k+1
(S) se tiene
|v + p|
2
k+1,S
= |v + p|
2
k,S
+ [v + p[
2
k+1,S
= |v + p|
2
k,S
+ [v[
2
k+1,S
[v[
2
k+1,S
,
de donde
[[v][
k+1,k,S
:= [v[
k+1,S
dist(v, P
k
(S)) =: |[v]|
k+1,k,S
.
El siguiente resultado establece la desigualdad recproca (m odulo una constante), gra-
cias a la cual [ [
k+1,k,S
y | |
k+1,k,S
resultan ser normas equivalentes en H
k+1
(S)/P
k
(S).
Teorema 3.4 (Lema de Deny-Lions) Existe C > 0, que depende solo de S, tal que
|[v]|
k+1,k,S
C [[v][
k+1,k,S
v H
k+1
(S).
Demostraci on. Sea N := dimP
k
(S) =
_
n + k
k
_
, y sea f
1
, f
2
, , f
N
una base
del dual P
k
(S)
t
. Entonces, es claro que
P
k
(S)

_
f
1
, f
2
, , f
N
_
=
_
_
.
Luego, dado que P
k
(S) es un subespacio de H
k+1
(S), el Teorema de Hahn-Banach
garantiza la existencia de F
1
, F
2
, , F
N
H
k+1
(S)
t
tales que
|F
i
|
H
k+1
(S)
= |f
i
|
P
k
(S)
y F
i
[
P
k
(S)
= f
i
i 1, 2, , N.
Se sigue entonces que
P
k
(S)

_
F
1
, F
2
, , F
N
_
=
_
_
,
y por lo tanto, la desigualdad de Poincare generalizada implica la existencia de una
constante C = C(S) > 0, tal que
|v|
k+1,S
C
_
[v[
2
k+1,S
+
N
i=1
[F
i
(v)[
2
_
1/2
v H
k+1
(S).
92 CAP

Ahora, dados escalares
1
,
2
, ,
N
R, existe un unico q P
k
(S) tal que
f
i
(q) =
i
i 1, 2, , N. En efecto, basta denir q :=
N
j=1
j
q
j
donde q
j

P
k
(S) es tal que f
i
(q
j
) =
ij
i, j 1, 2, , N. De este modo, dado v H
k+1
(S),
existe un unico q
v
P
k
(S) tal que f
i
(q
v
) = F
i
(v) i 1, 2, , N. Se sigue que
|[v]|
k+1,k,S
:= nf
pP
k
(S)
|v + p|
k+1,S
|v + q
v
|
k+1,S
C
_
[v + q
v
[
2
k+1,S
+
N
i=1
[F
i
(v + q
v
)[
2
_
1/2
= C [v + q
v
[
k+1,S
= C [v[
k+1,S
= C [[v][
k+1,k,S
,
El siguiente resultado establece una propiedad de acotamiento simple y crucial para
operadores, denidos sobre espacios de Sobolev, que preservan polinomios.
Teorema 3.5 (Lema de Bramble-Hilbert) Sean m y k enteros no negativos tales
que 0 m k +1, y sea L(H
k+1
(S), H
m
(S)) tales que (p) = p p P
k
(S).
Entonces existe C := C(, S) > 0 tal que
|v (v)|
m,S
C [v[
k+1,S
v H
k+1
(S).
Demostraci on. Dados v H
k+1
(S) y p P
k
(S) se tiene
v (v) = (v + p) (v + p) = (I )(v + p),
de donde, usando que el operador I L(H
k+1
(S), H
m
(S)) ya que 0 m k + 1, se
sigue que
|v (v)|
m,S
|I | |v + p|
k+1,S
p P
k
(S),
y por lo tanto
|v (v)|
m,S
|I | nf
pP
k
(S)
|v + p|
k+1,S
= |I | |[v]|
k+1,k,S
.
Esta desigualdad y el Lema de Deny-Lions (cf. Teorema 3.4) completan la demostraci on.
2
Por otra parte, los siguiente dos lemas proporcionan relaciones de equivalencia entre
espacios de Sobolev sobre dominios afn-equivalentes y Piola-equivalentes.
3.4. INTERPOLACI
ON EN H(DIV; ) 93
Lema 3.12 Sean S y

S compactos conexos de R
n
con fronteras Lipschitz-continuas, y
sea F : R
n
R
n
una aplicacion afn dada por F( x) = B x + b x R
n
, con
B R
nn
invertible y b R
n
, tal que S = F(
S). A su vez, sea m un entero no negativo

y sea v H
m
(S). Entonces v := v F H
m
(
S) y existe C := C(m, n) > 0 tal que

[ v[
m,
S

C |B|
m
[det B[
1/2
[v[
m,S
. (3.20)
Recprocamente, si v H
m
(
S) y se dene v = v F
1
, entonces v H
m
(S) y existe
C :=

C(m, n) > 0 tal que
[v[
m,S

C |B
1
|
m
[det B[
1/2
[ v[
m,
S
. (3.21)
Demostraci on. Se usa que C
m
(S) es denso en H
m
(S). Luego, dados v C
m
(S) y un
multindice con [[ = m, se tiene que v := v F C
m
_
S
_
y
v( x) = D
m
v( x)(e
1
, e
2
, , e
m
) x

S ,
donde e
1
, e
2
, , e
m
e
1
, e
2
, , e
n
, la base can onica de R
n
. Se sigue que
[
v( x)[ sup
i
1
i1,2, ,m
[D
m
v( x)(
1
,
2
, ,
m
)[ =: |D
m
v( x)| ,
y luego
[ v[
2
m,
S
=
_
[[=m
[
v( x)[
2
d x
[[=m
_
S
|D
m
v( x)|
2
d x
= C
1
(m, n)
_
S
|D
m
v( x)|
2
d x ,
donde C
1
(m, n) := card : [[ = m. Ahora, utilizando regla de la cadena y el
hecho que DF( x) B x R
n
, se deduce que
D
m
v( x)(
1
,
2
, ,
m
) = D
m
v(F( x))(B
1
, B
2
, , B
m
)
para todo (
1
,
2
, ,
m
) R
n
R
n
, de donde, denotando x = F( x),
|D
m
v( x)| := sup
i
1
i 1,2, ,m
[D
m
v(x)(B
1
, B
2
, , B
m
)[
94 CAP

= |B|
m
sup
i
1
i 1,2, ,m
D
m
v(x)
_
B
1
|B|
,
B
2
|B|
, ,
B
m
|B|
_
|B|
m
sup
i
1
i 1,2, ,m
[D
m
v(x)(
1
,
2
, ,
m
)[ = |B|
m
|D
m
v(x)|.
Se sigue, utilizando tambien (3.17), que
[ v[
2
m,
S
C
1
(m, n) |B|
2m
_
S
|D
m
v(F( x))|
2
d x
= C
1
(m, n) |B|
2m
[det B[
1
_
S
|D
m
v(x)|
2
dx,
y puesto que
|D
m
v(x)| C
2
(n) max
[[=m
[
v(x)[ C
2
(n)
[[=m
[
v(x)[
resulta
[ v[
2
m,
S
C
3
(m, n) |B|
2m
[det B[
1
[v[
2
m,S
,
lo cual prueba (3.20) para v C
m
(S). An alogamente, invirtiendo los roles de S y

S, y
usando F
1
en vez de F, se demuestra (3.21) para todo v C
m
_
S
_
.
Del mismo modo, para cada p m se tiene
[ v[
p,
S
C(p, n) |B|
p
[det B[
1/2
[v[
p,S
y
[v[
p,S
C(p, n) |B
1
|
p
[det B[
1/2
[ v[
p,
S
para todo v C
p
(S) con v := vF C
p
(
S), lo cual implica la existencia de constantes

C
i
= C
i
(m, n, B), i 1, 2, tales que
C
1
| v|
m,
S
|v|
m,S
C
2
| v|
m,
S
v C
m
(S). (3.22)
Ahora, dada v H
m
(S), consideramos una sucesion v
j
jN
C
m
(S) tal que
|v
j
v|
m,S
j
0. Se tiene de (3.22) que
| v
j
v
k
|
m,
S
C
1
1
|v
j
v
k
|
m,S
,
3.4. INTERPOLACI
ON EN H(DIV; ) 95
de donde se deduce la existencia de v H
m
(
S) tal que | v
j
v|
m,
S
j
0. M as a un, se
puede probar facilmente que este lmite v es independiente de la sucesi on elegida, con
lo cual se dene unicamente una aplicaci on
H
m
(S) H
m
(
S)
v v := v F.
Por ultimo, tomando lmite en la desigualdad (3.20) para v
j
, esto es
[ v
j
[
m,
S
C |B|
m
[det B[
1/2
[v
j
[
m,S
,
resulta
[ v[
m,
S
C |B|
m
[det B[
1/2
[v[
m,S
,
lo cual prueba (3.20) v H
m
(S). Analogamente se obtiene (3.21) v H
m
(
S). 2
Lema 3.13 Sean S y

n
sea F : R
n
R
n
n
, con
B R
nn
invertible y b R
n
, tal que S = F(
S). A su vez, sea m un entero no

negativo y sea [H
m
(S)]
n
. Entonces := [det B[ B
1
F [H
m
(
S)]
n
y existe
C := C(m, n) > 0 tal que
[ [
m,
S
C |B
1
| |B|
m
[det B[
1/2
[[
m,S
. (3.23)
Recprocamente, si [H
m
(
S)]
n
y se dene := [det B[
1
B F
1
, entonces
[H
m
(S)]
n
y existe

C :=

C(m, n) > 0 tal que
[[
m,S

C |B| |B
1
|
m
[det B[
1/2
[ [
m,
S
. (3.24)
Demostraci on. Siguiendo el mismo esquema del lema anterior, basta probar (3.23) para
[C
m
(S)]
n
. En efecto, notemos primero que para cada se tiene
( x) = [det B[ B
1
( F)( x) x (
S),
y por lo tanto
|
|
0,
S
[det B[ |B
1
| |
( F)|
0,
S
.
As, sumando sobre todos los multndices con [[ = m, se obtiene
[ [
m,
S
[det B[ |B
1
| [ F[
m,
S
,
96 CAP

y aplicando la estimacion proporcionada por el Lema 3.12 a cada una de las componentes
de F, resulta:
[ [
m,
S
[det B[ |B
1
| C |B|
m
[det B[
1/2
[[
m,S
C |B
1
| |B|
m
[det B[
1/2
[[
m,S
,
lo cual prueba (3.23) para [C
m
(S)]
n
. 2
Ahora, con el objeto de completar las estimaciones dadas en los dos lemas previos,
necesitamos acotar [det B[, |B| y |B
1
| en terminos de las caractersticas geometricas
de S. Mas precisamente, se tiene el siguiente resultado.
Lema 3.14 Sean S y

n
sea F : R
n
R
n
n
, con
B R
nn
invertible y b R
n
, tal que S = F(
S). A su vez, sean

h
S
:= diametro de S = max
x,y S
|x y|,
S
:= diametro de la esfera mas grande contenida en S,
h := diametro de

S, y
:= diametro de la esfera mas grande contenida en

S .
Entonces
[det B[ =
[S[
[
S[
, |B|
h
S

y |B
1
|
S
.
Demostraci on. La identidad para [det B[ se sigue de la formula de cambio de variables
(cf. (3.17))
_
S
f(F( x)) d x =
_
S
[det B[
1
f(x) dx
aplicada a la funci on f 1 en S. Por otro lado, se tiene claramente que:
|B| = sup
xR
n
x,=
|Bx|
|x|
=
1

sup
xR
n
|x| =
|Bx|.
Ahora, dado x R
n
con |x| = , existen y, z

S tales que x = y z, y luego
Bx = B y B z = F( y) F( z), con F( y), F( z) S. Se sigue as que |Bx| =
|F( y) F( z)| h
S
y por lo tanto |B| h
S
/ . A su vez, la estimaci on para |B
1
|
se obtiene de la anterior intercambiando los roles de S y

S a traves de la aplicaci on afn
inversa F
1
. 2
3.4. INTERPOLACI
ON EN H(DIV; ) 97
3.4.4. Errores de interpolaci on
En esta parte aplicamos los resultados de la Secci on 3.4.3 a los poliedros K de la trian-
gularizaci on T
h
de para deducir nalmente las estimaciones de los errores de interpo-
laci on.
Comenzamos con el acotamiento de los operadores de interpolaci on local.
Lema 3.15 Sean m y k enteros tales que k 0. Entonces
k
K
L([H
k+1
(K)]
n
, [H
m
(K)]
n
) K T
h
,
y
K
L([H
k+1
(
K)]
n
, [H
m
(
K)]
n
) .
Demostraci on. Basta demostrar para K T
h
. Recordemos primero de la Secci on 3.4.1
(cf. (3.11)) que, dado [H
k+1
(K)]
n
, se tiene
k
K
() =
N
K
i=1
m
i,K
()
i,K
,
donde
1,K
,
2,K
, ,
N
K
,K
es la base canonica de RT
k
(K) y los momentos locales
m
i,K
(), i 1, 2, , N
K
, estan dados por
m
i,K
() =
_
_
_
F

F

l,F
si es un F-momento,
_
K

j,K
si es un K-momento,
con
1,F
,
2,F
, ,
d
k
,F
base de P
k
(F) si k 0 y
1,K
,
2,K
, ,
r
k
,K
base de
[P
k1
(K)]
n
si k 1. Se sigue que
k
K
es lineal y
_
_
k
K
()
_
_
m,K

N
K
i=1
[m
i,K
()[ |
i,K
|
m,K
. (3.25)
Adem as, utilizando el teorema de trazas en [H
1
(K)]
n
y la desigualdad de Cauchy-
Schwarz, se obtiene
_
F

F

l,F
|
l,F
|
0,F
|
F
|
0,F
|
l,F
|
0,F
||
0,K
c |
l,F
|
0,F
||
1,K
c |
l,F
|
0,F
||
k+1,K
,
98 CAP

y
_
K

j,K
|
j,K
|
0,K
||
0,K
|
j,K
|
0,K
||
k+1,K
.
De estas dos estimaciones y de (3.25) se concluye que
k
K
es acotado con |
k
K
| depen-
diendo de |
i,K
|
m,K
, i 1, 2, , N
K
, |
l,F
|
0,F
, l 1, 2, , d
k
, y |
j,K
|
0,K
,
j 1, 2, , r
k
. 2
Ahora estamos en condiciones de establecer la primera estimacion de error.
Lema 3.16 (Error de interpolaci
on local) Sean m y k enteros no negativos ta-

les que 0 m k + 1. Entonces existe C := C(
K,
k
K
, k, m, n) > 0 tal que
[
k
K
()[
m,K
C
h
k+2
K
m+1
K
[[
k+1,K
[H
k+1
(K)]
n
. (3.26)
Ademas, para cada [H
1
(K)]
n
con div H
k+1
(K) se tiene
[div div
k
K
()[
m,K
C
h
k+1
K
m
K
[div [
k+1,K
. (3.27)
Demostraci on. Sea [H
k+1
(K)]
n
. Utilizando la estimacion (3.24) (cf. Lema 3.13) y
el hecho que
k
K
( ) =

k
K
() (cf. Lema 3.11), se obtiene que
[
k
K
()[
m,K
C |B
K
| |B
1
K
|
m
[det B
K
[
1/2
[
k
K
( )[
m,

K
. (3.28)
Luego, dado que
k
K
L([H
k+1
(
K)]
n
, [H
m
(
K)]
n
) (cf. Lema 3.15),
k
K
( p) = p p
RT
k
(
K), y [P
k
(
K)]
n
RT
k
(
K), el Lema de Bramble-Hilbert implica que

[
k
K
( )[
m,

K
C [ [
k+1,

K
. (3.29)
A su vez, aplicando la estimacion (3.23) (cf. Lema 3.13), se tiene que
[ [
k+1,

K
C |B
1
K
| |B
K
|
k+1
[det B
K
[
1/2
[[
k+1,K
. (3.30)
As, reemplazando (3.30) en (3.29) y luego en (3.28), se deduce que
[
k
K
()[
m,K
C |B
K
|
k+2
|B
1
K
|
m+1
[[
k+1,K
,
de donde, usando las cotas geometricas dadas por el Lema 3.14, esto es |B
1
K
|
K
y
|B
K
|
h
K

, se llega a (3.26).
3.4. INTERPOLACI
ON EN H(DIV; ) 99
Por otro lado, sea [H
1
(K)]
n
con div H
k+1
(K). Entonces, recordamos
primero de la Secci on 3.4.2 (cf. (3.19)) que
div = [det B
K
[ div T
K
[H
1
(K)]
n
, (3.31)
y luego, utilizando tambien Lema 3.11, se tiene
div div
k
K
() =

div

div
K
()
= [det B
K
[
1
_
div div

k
K
()
_
= [det B
K
[
1
_
div div
k
K
( )
_
.
A su vez, sabemos de Lema 3.7 que div
k
K
( ) = T
k
K
(div ), donde T
k
K
: L
2
(
K)
P
k
(
K) es el proyector ortogonal. Entonces, aplicando la estimaci on (3.21) (cf. Lema

3.12) y la identidad anterior se sigue que
[div div
k
K
()[
m,K

C |B
1
K
|
m
[det B
K
[
1/2
[

div div
k
K
()[
m,

K
=

C |B
1
K
|
m
[det B
K
[
1/2
[div T
k
K
(div )[
m,

K
. (3.32)
Ahora, es f acil ver que T
k
K
L(H
k+1
(
K), H
m
(
K)), por ejemplo escribiendo

T
k
K
( v) :=
m
k
i=1
v,
i,k
0,

K

i,k
v L
2
(
K),
donde ,
0,

K
es el producto escalar en L
2
(
K) y
1,k
,
2,k
, ,
m
k
,k
es una base
ortonormal de P
k
(
K). Adem as, es claro que T

k
K
( p) = p p P
k
(
K). Luego, utilizando

el Lema de Bramble-Hilbert, la identidad (3.31), y la estimaci on (3.20) (cf. Lema 3.12),
se obtiene que
[div T
k
K
(div )[
m,

K
C [div [
k+1,

K
= C [det B
K
[ [
div [
k+1,

K
C [det B
K
[
1/2
|B
K
|
k+1
[div [
k+1,K
,
(3.33)
lo cual, al reemplazarse en (3.32), implica
[div div
k
K
()[
m,K
C |B
1
K
|
m
|B
K
|
k+1
[div [
k+1,K
. (3.34)
Finalmente, usando nuevamente las cotas geometricas dadas por el Lema 3.14, se con-
cluye (3.27) directamento de (3.34). 2
El siguiente resultado extiende el Lema 3.16 a todas las semi-normas intermedias.
100 CAP

Lema 3.17 Sean m, k y l enteros no negativos tales que 0 l k y 0 m l +1.
Entonces existe C := C(
K,
k
K
, k, m, n) > 0 tal que
[
k
K
()[
m,K
C
h
l+2
K
m+1
K
[[
l+1,K
[H
l+1
(K)]
n
. (3.35)
Ademas, para cada [H
1
(K)]
n
con div H
l+1
(K) se tiene
[div div
k
K
()[
m,K
C
h
l+1
K
m
K
[div [
l+1,K
. (3.36)
Demostraci on. Notemos primero que la misma demostraci on del Lema 3.15 sirve pa-
ra probar aqu que
k
K
L([H
l+1
(
K)]
n
, [H
m
(
K)]
n
). Luego, puesto que
k
K
( p) =
p p RT
k
(
K), y [P
l
(
K)]
n
[P
k
(
K)]
n
RT
k
(
K), el Lema de Bramble-Hilbert

implica ahora que, en vez de (3.29), se tiene
[
k
K
( )[
m,

K
C [ [
l+1,

K
[H
l+1
(K)]
n
,
con lo cual el resto de la deducci on de (3.35) es igual que en la demostraci on del Lema
3.16.
A su vez, puesto que T
k
K
( p) = p p P
k
(
K), y P
l
(
K) P
k
(
K), el Lema de
Bramble-Hilbert implica en este caso, en vez de (3.33), que
[div T
k
K
(div )[
m,

K
C [div [
l+1,

K
para cada [H
1
(K)]
n
con div H
l+1
(K), y as el resto de la demostraci on de
(3.36) tambien se sigue como en la del Lema 3.16. 2
Habiendo acotado el error de interpolacion local, ahora estamos en condiciones de
estimar el error de interpolaci on global. Para este efecto, recordemos primero que una
familia de triangularizaciones T
h
h>0
de se dice regular si existe una constante c > 0
tal que
h
K
K
c K T
h
, h > 0. (3.37)
Entonces, se tiene el siguiente teorema principal.
Teorema 3.6 (Error de interpolaci
on global) Sea T
h
h>0
una familia regu-
lar de triangularizaciones de , y sea k un entero no negativo. Entonces existe C > 0,
independiente de h, tal que
|
k
h
()|
div,
C h
l+1
_
[[
l+1,
+ [div [
l+1,
_
(3.38)
para cada [H
l+1
()]
n
con div H
l+1
(), 0 l k.
3.4. INTERPOLACI
ON EN H(DIV; ) 101
Demostraci on. Sean 0 l k y [H
l+1
()]
n
tal que div H
l+1
(). Entonces,
aplicando las estimaciones (3.35) y (3.36) (cf. Lema 3.17) con m = 0, se obtiene
|
k
K
()|
0,K
C
h
l+2
K
K
[[
l+1,K
K T
h
y
|div div
k
K
()|
0,K
C h
l+1
K
[div [
l+1,K
K T
h
,
de donde, utilizando la regularidad de la familia T
h
h>0
(cf. (3.37)), se deduce que
|
k
K
()|
2
div,K
= |
k
K
()|
2
0,K
+ |div div
k
K
()|
2
0,K
C
2
c
2
h
2(l+1)
K
[[
2
l+1,K
+ C
2
h
2(l+1)
K
[div [
2
l+1,K

C
2
h
2(l+1)
K
_
[[
2
l+1,K
+ [div [
2
l+1,K
_
,
donde

C
2
:= C
2
m axc
2
, 1.
Luego, recordando que
k
h
()[
K
=
k
K
([
K
) y que h
K
h K T
h
, se sigue que
|
k
h
()|
2
div,
=
KT
h
|
k
K
()|
2
div,K
KT
h
C
2
h
2(l+1)
K
_
[[
2
l+1,K
+ [div [
2
l+1,K
_

C
2
h
2(l+1)
_
[[
2
l+1,
+ [div [
2
l+1,
_
,
lo cual implica (3.38) y completa la demostraci on. 2
Finalizamos este captulo con la estimaci on de error para las componentes normales.
Lema 3.18 (error de interpolaci
on de las componentes normales) Existe

C > 0, independiente de h, tal que K T
h
, cara F de K, y [H
1
(K)]
n
se tiene
|
F

k
K
()
F
|
0,F
C [F[
1/2
[[
1,K
. (3.39)
Demostraci on. Sea

F la cara de

K tal que F = T
K
(
F) y denamos T
F
:= T
K
[
F
.
Entonces se tiene la f ormula de cambio de variables
_
F
f(x) ds
x
=
[F[
[
F[
_
F
f(T
F
( x)) d x
s
. (3.40)
102 CAP

Ahora, dado [H
1
(K)]
n
, sabemos de Lema 3.6 y de la denici on del operador
k
K
,
que
k
K
()
F
P
k
(F) y que
_
F

F
=
_
F
k
K
()
F
P
k
(F) ,
respectivamente, lo cual implica que
k
K
()
F
= T
k
F
(
F
), donde T
k
F
: L
2
(F)
P
k
(F) es el proyecto ortogonal. A su vez, si denota composici on con T
F
, es f acil ver
que

T
k
F
(v) = T
k
F
( v) v L
2
(F). Luego, utilizando (3.40) se sigue que
|
F

k
K
()
F
|
0,F
= |
F
T
k
F
(
F
)|
0,F
=
[F[
1/2
[
F[
1/2
|
F

T
k
F
(
F
)|
0,
F
=
[F[
1/2
[
F[
1/2
|
F
T
k
F
(
F
)|
0,
[F[
1/2
[
F[
1/2
|
F
|
0,
F

C [F[
1/2
| |
0,
F
=

C [F[
1/2
| |
0,
F
donde := T
K
en

K y C
K) es tal que

1 en una vecindad de

F y
0 en una vecindad del vertice opuesto a

F. As, a partir de la estimaci on anterior, y
aplicando el teorema de trazas en H
1
(
K), la desigualdad de Friedrichs-Poincare, la regla

de Leibniz, la estimaci on (3.20) (cf. Lema 3.12) con m = 1, y las cotas geometricas del
Lema 3.14, se deduce que
|
F

k
K
()
F
|
0,F

C [F[
1/2
c | |
1,

K
C [F[
1/2
[ [
1,

K
C [F[
1/2
[ [
1,

K
C [F[
1/2
|B
K
| [det B
K
[
1/2
[[
1,K
C[F[
1/2
h
K

[
K[
1/2
[K[
1/2
[[
1,K
=

C [F[
1/2
[[
1,K
,
lo cual completa la demostraci on de (3.39). 2
Captulo 4
M
etodos de Elementos Finitos

Mixtos
En este captulo se utilizan los espacios de Raviart-Thomas para presentar y anali-
zar metodos de elementos nitos mixtos especcos para algunos de los ejemplos de
aplicaci on estudiados en el captulo 2. Para este efecto, comenzamos con una secci on
preliminar sobre las propiedades de aproximacion de los espacios de elementos nitos
que se emplear an.
4.1. Operadores de proyecci on
Dada una triangularizacion T
h
del dominio poligonal y un entero no negativo k, nos
interesan los siguientes proyectores ortogonales (en cada caso con respecto a las normas
naturales de sus espacios de partida):
T
k
div,h
: H(div; ) H
k
h
,
P
k
1,h
: H
1
() X
k
h
,
P
k
h
: L
2
() X
k
h
,
T
k
h
: L
2
() Y
k
h
,
donde H
k
h
es el espacio de Raviart-Thomas global denido al comienzo de la Secci on
3.4.1, esto es, para cada k 0
H
k
h
:=
_
h
H(div; ) :
h
[
K
RT
k
(K) K T
h
_
, (4.1)
103
104 CAP
ITULO 4. M
ETODOS DE ELEMENTOS FINITOS MIXTOS

X
k
h
es el espacio de elementos nitos de Lagrange usual, es decir, para cada k 1
X
k
h
:=
_
v
h
C() : v
h
[
K
P
k
(K) K T
h
_
, (4.2)
e Y
k
h
es el espacio de funciones seccionalmente polinomiales de grado k 0 dado por
Y
k
h
:=
_
v
h
L
2
() : v
h
[
K
P
k
(K) K T
h
_
. (4.3)
En lo que sigue suponemos que T
h
pertenece a una familia regular de triangulariza-
ciones T
h
h>0
.
En primer lugar observamos, con
k
h
: H(div; ) Z H
k
h
el operador de inter-
polacion global de Raviart-Thomas, que para cada H(div; ) Z, se tiene
| T
k
div,h
()|
div,
:= nf
h
H
k
h
|
h
|
div,
|
k
h
()|
div,
,
lo cual, gracias al Teorema 3.6, implica que para cada [H
l+1
()]
n
con div
H
l+1
(), 0 l k, se tiene que
| T
k
div,h
()|
div,
C h
l+1
_
[[
l+1,
+ [div [
l+1,
_
. (4.4)
A su vez, si

k
h
: C() X
k
h
denota el operador de interpolacion global de Lagran-
ge, se tiene obviamente para cada v C()
|v P
k
1,h
(v)|
1,
:= nf
v
h
X
k
h
|v v
h
|
1,
|v

k
h
(v)|
1,
|v

k
h
(v)|
0,
+ [v +

k
h
(v)[
1,
y tambien
|v P
k
h
(v)|
0,
:= nf
v
h
X
k
h
|v v
h
|
0,
|v

k
h
(v)|
0,
,
lo cual, gracias a las estimaciones conocidas para

k
h
, implica para cada v H
l+1
(),
1 l k, que
|v P
k
1,h
(v)|
1,
C h
l+1
[v[
l+1,
+ C h
l
[v[
l+1,
C h
l
[v[
l+1,
, (4.5)
y
|v P
k
h
(v)|
0,
C h
l+1
[v[
l+1,
. (4.6)
4.1. OPERADORES DE PROYECCI
ON 105
Ahora, aplicando el Lema de Bramble-Hilbert (cf. Teorema 3.5) a S = y := P
k
1,h
(con m = 1 y k = 0 all), notando que (p) = p p P
0
() X
k
h
, se deduce que
|v P
k
1,h
(v)|
1,
C [v[
1,
,
lo cual muestra que (4.5) se extiende a l = 0, y por lo tanto podemos escribir
|v P
k
1,h
(v)|
1,
C h
l
[v[
l+1,
v H
l+1
() , 0 l k . (4.7)
A su vez, la extensi on de (4.6) a l = 0 tambien es posible (con | |
1,
en vez de
[ [
1,
al lado derecho), pero ella requiere algunos resultados de interpolaci on de espacios
de Sobolev, los cuales se detallar an en otro captulo. No obstante, luego damos una
deducci on alternativa para esta estimacion (con [ [
1,
), la cual, al ser consecuencia del
resultado que se presenta a continuaci on, s olo es v alida para convexo (ver (4.14)).
M as precisamente, el siguiente lema, conocido como el truco de Aubin-Nitsche,
asume que el dominio es convexo y utiliza un argumento de dualidad para establecer
una estimacion del error de proyeccion I P
k
1,h
medido en la norma [[ [[
0,
.
Lema 4.1 Sea un dominio convexo y sea k 1. Entonces, existe C > 0, indepen-
diente de h, tal que para cada v H
l+1
(), 0 l k, se tiene
|v P
k
1,h
(v)|
0,
C h
l+1
[v[
l+1,
. (4.8)
Demostraci on. Sea T : L
2
() H
1
() el operador lineal y acotado que a cada
r L
2
() le asigna la unica soluci on T(r) H
1
() (garantizada por el Teorema de
Representaci on de Riesz) del problema
T(r), w
1,
= r, w
0,
w H
1
(), (4.9)
donde ,
1,
y ,
0,
denotan los productos escalares de H
1
() y L
2
(), respec-
tivamente. Notar que (4.9) corresponde a la formulaci on variacional del problema de
valores de contorno:
T(r) + T(r) = r en , T(r) = 0 en ,
donde es el vector normal a . Puesto que es convexo, el resultado de regularidad
respectivo garantiza que T(r) H
2
() y que existe C := C() > 0 tal que
|T(r)|
2,
C |r|
0,
r L
2
(). (4.10)
106 CAP
ITULO 4. M

Ahora, dado v H
l+1
(), 0 l k, se tiene claramente, utilizando (4.9), que
|v P
k
1,h
(v)|
0,
= sup
r L
2
()
r,=0
r, v P
k
1,h
(v)
0,
|r|
0,
= sup
r L
2
()
r,=0
T(r), v P
k
1,h
(v)
1,
|r|
0,
= sup
r L
2
()
r,=0
T(r) v
h
, v P
k
1,h
(v)
1,
|r|
0,
,
para cada v
h
X
k
h
, donde la condicion de ortogonalidad que caracteriza a un proyector
ortogonal (en este caso P
k
1,h
) se usa en la ultima igualdad. En particular, tomando
v
h
:= P
k
1,h
(T(r)) y aplicando la desigualdad de Cauchy-Schwarz, se obtiene
|v P
k
1,h
(v)|
0,
|v P
k
1,h
(v)|
1,
sup
r L
2
()
r,=0
|T(r) P
k
1,h
(T(r))|
1,
|r|
0,
. (4.11)
Adem as, puesto que T(r) H
2
(), una aplicacion directa de (4.5) (con l = 1 all), y
la estimacion (4.10), implican que
|T(r) P
k
1,h
(T(r))|
1,
C h[T(r)[
2,
C h|r|
0,
,
lo cual, al reemplazarse en (4.11), da
|v P
k
1,h
(v)|
0,
C h|v P
k
1,h
(v)|
1,
, (4.12)
y utilizando la estimaci on (4.7) (con l = 0) en (4.12), resulta
|v P
k
1,h
(v)|
0,
C h[v[
1,
v H
1
(). (4.13)
Finalmente, de (4.12) y de una aplicacion directa de (4.5) se sigue que
|v P
k
1,h
(v)|
0,
C h
l+1
[v[
l+1,
v H
l+1
(), 1 l k.
Esta ultima estimaci on y (4.13) implican (4.8) y completan la demostraci on.
2
Es importante notar aqu, tal como comentamos previamente, que a partir del lema
anterior, podemos extender la desigualdad (4.6) a l = 0. En efecto, es claro que
|v P
k
h
(v)|
0,
|v P
k
1,h
(v)|
0,
,
4.1. OPERADORES DE PROYECCI
ON 107
de donde, usando (4.8) con l = 0, se deduce que
|v P
k
h
(v)|
0,
C h[v[
1,
v H
1
(), (4.14)
y por lo tanto (4.6) puede reemplazarse por
|v P
k
h
(v)|
0,
C h
l+1
[v[
l+1,
v H
l+1
(), 0 l k. (4.15)
El objetivo siguiente es demostrar que, bajo ciertas hip otesis adecuadas, los errores
de proyecci on I P
k
h
y I P
k
1,h
, ambos medidos en | |
1,
, son equivalentes. En efecto,
es facil ver primero que
|v P
k
1,h
(v)|
1,
:= nf
v
h
X
k
h
|v v
h
|
1,
|v P
k
h
(v)|
1,
v H
1
(). (4.16)
Para completar dicha equivalencia se requiere una desigualdad inversa por parte de los
elementos de X
k
h
. De acuerdo a ello, ahora suponemos que la familia T
h
h>0
es quasi-
uniforme, lo cual signica que, ademas de ser regular, existe c > 0 tal que
mn
KT
h
h
K
c h h > 0.
Entonces, se tiene el siguiente resultado.
Lema 4.2 Existe

C > 0, independiente de h, tal que
[v
h
[
1,

C h
1
|v
h
|
0,
v
h
X
k
h
.
Demostraci on. Dado v
h
X
k
h
se tiene obviamente
[v
h
[
2
1,
=
KT
h
[v
h
[
2
1, K
. (4.17)
Luego, aplicando la estimaci on 3.21 (cf. Lema 3.12) y las cotas geometricas dadas por
el Lema 3.14, se obtiene
[v
h
[
1, K
C [det B
K
[
1/2
|B
1
K
| [ v
h
[
1,

K
C [det B
K
[
1/2
K
[ v
h
[
1,

K
= C [det B
K
[
1/2
_
h
K
K
_
hh
1
K
[ v
h
[
1,

K
,
108 CAP
ITULO 4. M

de donde, utilizando que
h
K
K
c y h
K
c h K T
h
, se sigue que
[v
h
[
1, K
C [det B
K
[
1/2
h
1
[ v
h
[
1,

K
.
Pero, dado que todas las normas son equivalentes en el espacio de dimension nita
P
k
(
K), se tiene que [ v

h
[
1,

K
C | v
h
|
0,

K
, con lo cual, usando la estimaci on (3.20) (cf.
Lema 3.12), se sigue que
[v
h
[
1, K
C [det B
K
[
1/2
h
1
| v
h
|
0,

K
C [det B
K
[
1/2
h
1
|B
K
|
[det B
K
[
1/2
|v
h
|
0, K
= C h
1
|v
h
|
0, K
.
(4.18)
De este modo, (4.17) y (4.18) proporcionan la desigualdad requerida.
2
Ahora estamos en condiciones de probar la desigualdad faltante en (4.16).
Lema 4.3 Existe C > 0, independiente de h, tal que
|v P
k
h
(v)|
1,
C |v P
k
1,h
(v)|
1,
v H
1
().
Demostraci on. Observemos primero que, dado v H
1
(), se tiene
|v P
k
h
(v)|
1,
|v P
k
1,h
(v)|
1,
+ |P
k
1,h
(v) P
k
h
(v)|
1,
= |v P
k
1,h
(v)|
1,
+ |P
k
h
(v P
k
1,h
(v))|
1,
, (4.19)
donde hemos usado que P
k
1,h
(v) = P
k
h
(P
k
1,h
(v)). Luego, aplicando la desigualdad inversa
dada por el Lema 4.2 y tambien la estimaci on (4.12) (cf. demostraci on del Lema 4.1),
se obtiene
|P
k
h
(v P
k
1,h
(v))|
2
1,
= |P
k
h
(v P
k
1,h
(v))|
2
0,
+ [P
k
h
(v P
k
1,h
(v))[
2
1,
(1 +

C
2
h
2
) |P
k
h
(v P
k
1,h
(v))|
2
0,
(1 +

C
2
h
2
) |v P
k
1,h
(v)|
2
0,
(1 +

C
2
h
2
) C h
2
|v P
k
1,h
(v)|
2
1,
= C (
C
2
+ h
2
) |v P
k
1,h
(v)|
2
1,
C |v P
k
1,h
(v)|
2
1,
.
4.2. EL PROBLEMA DE POISSON 109
De este modo, la estimacion anterior y (4.19) completan la demostraci on.
2
De acuerdo a todo el analisis anterior, las propiedades de aproximaci on de los pro-
yectores P
k
h
y P
k
1,h
se resumen en la siguiente desigualdad:
_
_
_
|v P
k
h
(v)|
0,
+ |v P
k
1,h
(v)|
0,
+ h|v P
k
h
(v)|
1,
+ h|v P
k
1,h
(v)|
1,
_
_
_
C h
l+1
[v[
l+1,
, (4.20)
para cada v H
l+1
(), 0 l k.
Notar aqu, en virtud de las deducciones anteriores, que las estimaciones que se
originan del primer termino (con l = 0), y del segundo y tercer terminos a la izquierda
de (4.20), requieren de la convexidad de .
Por ultimo, consideremos el proyector T
k
h
: L
2
() Y
k
h
para k 0. Al respecto,
es facil ver primero que
T
k
h
(v)[
K
= T
k
K
(v[
K
) v L
2
(), K T
h
,
donde T
k
K
: L
2
(K) P
k
(K) es el proyector ortogonal local. Ahora, del primer termino
de (4.20), aplicado a = K T
h
, el cual es obviamente convexo, se obtiene
|v T
k
K
(v)|
0, K
C h
l+1
K
[v[
l+1, K
v H
l+1
(K).
Luego, para cada v H
l+1
(), 0 l k, se tiene
|v T
k
h
(v)|
2
0,
=
KT
h
|v T
k
K
(v)|
2
0, K
KT
h
C
2
h
2(l+1)
K
[v[
2
l+1, K
C h
2(l+1)
[v[
2
l+1,
,
esto es
|v T
k
h
(v)|
0,
C h
l+1
[v[
l+1,
. (4.21)
4.2. El problema de Poisson
En esta secci on analizamos un esquema de Galerkin para el problema de Poisson estudia-
do en la secci on 2.4.1. Para este efecto, recordemos primero que, dado un abierto aco-
tado de R
n
, n 2, 3, con frontera poliedrica , y dados f L
2
() y g H
1/2
(), la
110 CAP
ITULO 4. M

formulaci on variacional mixta respectiva se reduce a (cf. (2.25)): Hallar (, u) H Q
tal que
a(, ) + b(, u) = F() H ,
b(, v) = G(v) v Q,
donde H := H(div; ), Q := L
2
(), a y b son las formas bilineales denidas por
a(, ) :=
_
(, ) H H,
b(, v) :=
_
v div (, v) H Q,
t
y G Q
t
se denen como
F() :=
(), g H, G(v) :=
_
f v v Q.
Entonces, si T
h
h>0
es una familia regular de triangularizaciones de y k es un
entero 0, introducimos los siguientes espacios de elementos nitos (cf. (4.1) y (4.3))
H
h
:= H
k
h
:=
_
h
H(div; ) :
h
[
K
RT
k
(K) K T
h
_
, (4.22)
Q
h
:= Y
k
h
:=
_
v
h
L
2
() : v
h
[
K
P
k
(K) K T
h
_
, (4.23)
de modo tal que el esquema de Galerkin asociado consiste en: Hallar (
h
, u
h
) H
h
Q
h
tal que
a(
h
,
h
) + b(
h
, u
h
) = F(
h
)
h
H
h
,
b(
h
, v
h
) = G(v
h
) v
h
Q
h
.
(4.24)
El objetivo siguiente es aplicar la teora desarrollada en la Secci on 2.5 para concluir
la solubilidad unica y la estabilidad de (4.24). Observamos primero que V
h
, el kernel
discreto de b (equivalentemente N(B
h
), donde B
h
: H
h
Q
h
es el operador discreto
inducido por b), esta dado por
V
h
:=
_
h
H
h
: b(
h
, v
h
) :=
_
v
h
div
h
= 0 v
h
Q
h
_
=
_
h
H
h
: T
k
h
(div
h
) = 0
_
,
de donde, notando precisamente que div
h
Y
k
h

h
H
h
, se deduce que
V
h
:=
_
h
H
h
: div
h
= 0 en
_
. (4.25)
Se sigue que para cada
h
V
h
a(
h
,
h
) = |
h
|
2
0,
= |
h
|
2
div,
,
lo cual prueba la V
h
-elipticidad de a con constante = 1, y se tiene as, de acuerdo a
(2.92), la hip otesis i) del Teorema 2.4 (Teorema de Babuska - Brezzi discreto).
Por otro lado, con el objeto de establecer la condicion inf-sup discreta para b (cf.
hip otesis ii) del Teorema 2.4), necesitamos el siguiente lema previo.
Lema 4.4 Sea
k
h
: H(div; ) Z H
k
h
el operador de interpolacion global de
Raviart-Thomas. Entonces, existe C > 0, independiente de h, tal que
|
k
h
()|
div,
C ||
1,
[H
1
()]
n
. (4.26)
Demostraci on. Sea [H
1
()]
n
. Entonces, aplicando la cota del error de interpolacion
local dada por Lema 3.17 (con m = 0 y l = 0), se obtiene
|
k
h
()|
0, K
C
h
2
K
K
[[
1, K

C h
K
[[
1, K
K T
h
,
y luego
|
k
h
()|
0,
|
k
h
()|
0,
+||
0,

C h[[
1,
+||
0,
C [[
1,
. (4.27)
A su vez, puesto que div (
k
h
()) = T
k
h
(div ) (cf. Lema 3.7), se tiene que
|div
k
h
()|
0,
= |T
k
h
(div )|
0,
|div |
0,
, (4.28)
lo cual, junto a (4.27), implica la estimaci on (4.26).
2
Ahora procedemos a probar la existencia de un operador de Fortin para poder aplicar
luego el lema respectivo (cf. Lema 2.6), y concluir as la condici on inf-sup discreta para
b. En concreto, necesitamos denir una familia de operadores
h
h>0
L(H, H
h
)
uniformemente acotada, tal que
b(
h
(), v
h
) = 0 H, v
h
Q
h
, h > 0 .
En efecto, dado H := H(div; ), denimos
f
:=
_
div en ,
0 en B,
112 CAP
ITULO 4. M

donde B es una bola abierta que contiene a . Puesto que f
L
2
(B) y B es obvia-
mente un conjunto convexo, el problema de valores de contorno
z = f
en B, z = 0 en B,
posee una unica solucion z H
1
0
(B) H
2
B), la cual satisface
|z|
2,B
C |f
|
0,B
= C |div |
0,
. (4.29)
Luego, introducimos := z[
y notamos que [H
1
()]
n
, div = div en , y
| |
1,
|z|
2,
|z|
2,B
C |div |
0,
. (4.30)
De acuerdo a lo anterior, se sugiere denir el operador de Fortin como:
h
() :=
k
h
( ) H(div; ). (4.31)
Notar aqu que la necesidad de regularizar previamente mediante la funcion auxiliar
se explica por el hecho que el operador de interpolaci on global de Raviart-Thomas
no est a denido en H(div; ) sino solo en H(div; ) Z, el cual contiene al espacio
[H
1
()]
n
.
Se sigue, aplicando el acotamiento dado por el Lema 4.4 y la estimacion (4.30), que
|
h
()|
div,
= |
k
h
( )|
div,
C | |
1,
C |div |
0,
,
de donde
|
h
()|
div,
C ||
div,
H := H(div; ),
lo cual conrma el acotamiento uniforme de
h
h>0
. A su vez, utilizando la estimaci on
(3.13) dada por el Lema 3.7 y el hecho que T
k
h
es el proyector ortogonal de L
2
() en
Q
h
:= Y
k
h
, se deduce que para cada H y para cada v
h
Q
h
se tiene
b(
h
(), v
h
) =
_
v
h
(div div
h
())
=
_
v
h
(div div
k
h
( ))
=
_
v
h
(div T
k
h
(div ))
=
_
v
h
(div T
k
h
(div )) = 0,
lo cual prueba la segunda propiedad requerida para
h
h>0
, y por lo tanto el Lema
de Fortin (cf. Lema 2.6) garantiza que b satisface la condicion inf-sup discreta sobre
H
h
Q
h
con una constante

> 0, independiente de h. Aprovechamos de observar
aqu que, procediendo de manera similar a la construcci on del presente operador de
Fortin, se puede demostrar que en este caso ocurre la identidad div H
h
= Q
h
. En
efecto, dado v
h
Q
h
, basta reemplazar div por v
h
en la denicion anterior de f
, con
lo cual al nal resulta div
k
h
( ) = T
k
h
(div ) = T
k
h
(v
h
) = v
h
en .
En consecuencia, una aplicaci on directa de los Teoremas 2.4 y 2.6 implica que existen
un unico (
h
, u
h
) H
h
Q
h
soluci on de (4.22) y constantes C
1
, C
2
> 0 tales que
|(
h
, u
h
)|
HQ
C
1
_
|f|
0,
+ |g|
1/2,
_
(4.32)
y
|
h
|
H
+ |u u
h
|
Q
C
2
_
dist(, H
h
) + dist(u, Q
h
)
_
, (4.33)
donde C
1
depende de |A| 1 (norma del operador inducido por a), = 1 y

,
mientras que C
2
depende de |A|, |B| 1 (norma del operador inducido por b), y
.
Ahora, de acuerdo a las cotas de los errores de proyeccion dadas por (4.4) y (4.21),
se tiene, respectivamente,
dist(, H
h
) := | T
k
div,h
()|
div,
C h
l+1
_
[[
l+1,
+ [div [
l+1,
_
(4.34)
si [H
l+1
()]
n
con div H
l+1
(), 0 l k, y
dist(u, Q
h
) := |u T
k
h
(u)|
0,
C h
l+1
[u[
l+1,
(4.35)
si u H
l+1
(), 0 l k. Por lo tanto, bajo estos supuestos de regularidad para la
soluci on exacta (, u) H Q, se deduce que la raz on de convergencia del metodo
de Galerkin (4.24) esta dada por la estimacion que se sigue de las desigualdades (4.33),
(4.34) y (4.35), esto es
|
h
|
div,
+ |u u
h
|
0,
C h
l+1
_
[[
l+1,
+ [div [
l+1,
+ [u[
l+1,
_
. (4.36)
Por otro lado, si (, u) no es sucientemente regular como para disponer de (4.34)
y (4.35), entonces argumentos de densidad permiten probar igualmente la convergencia
del esquema de Galerkin (4.24). Mas precisamente, se tiene el siguiente resultado.
114 CAP
ITULO 4. M

Lema 4.5 Sean (, u) H Q y (
h
, u
h
) H
h
Q
h
las soluciones de las formu-
laciones continua y discreta, respectivamente. Entonces
lm
h0
_
|
h
|
div,
+ |u u
h
|
0,
_
= 0 . (4.37)
Demostraci on. Puesto que [C
()]
n
y C
0
() son densos en H(div; ) y L
2
(), res-
pectivamente, existen sucesiones
j
jN
[C
()]
n
y u
j
jN
C
0
(), tales que
|
j
|
div,
j
0 y |u u
j
|
0,
j
0. Luego, dado que claramente
j
[H
1
()]
n
,
div
j
H
1
() y u
j
H
1
(), se sigue de (4.4) y (4.21) que para cada j N
|
j
T
k
div,h
(
j
)|
div,
C h[
j
[
1,
+ [div
j
[
1,
(4.38)
y
|u
j
T
k
h
(u
j
)|
0,
C h[u
j
[
1,
. (4.39)
Ahora, dado > 0, N N tal que
|
N
|
div,
< /4 y |u u
N
|
0,
< /4 .
A su vez, para j = N se deduce de (4.38) y (4.39) que existe h
0
> 0 tal que
|
N
T
k
div,h
(
N
)|
div,
< /4 y |u
N
T
k
h
(u
N
)|
0,
< /4 h h
0
.
Por lo tanto, de la estimacion de Cea dada por (4.33) se obtiene para cada h h
0
|
h
|
div,
+ |u u
h
|
0,
C
2
_
dist(, H
h
) + dist(u, Q
h
)
_
C
2
_
| T
k
div,h
(
N
)|
div,
+ |u T
k
h
(u
N
)|
0,
_
C
2
_
|
N
|
div,
+ |
N
T
k
div,h
(
N
)|
div,
+ |u u
N
|
0,
+ |u
N
T
k
h
(u
N
)|
0,
_
C
2
,
lo cual prueba la convergencia (4.37). 2
4.3. El problema de Poisson / primal-mixto
En esta secci on analizamos un esquema de Galerkin para la formulacion primal-mixta del
problema de Poisson estudiada en la Secci on 2.4.4. Para este efecto, recordemos primero
4.3. EL PROBLEMA DE POISSON / PRIMAL-MIXTO 115
que, dado un abierto acotado de R
2
con frontera poligonal , y dados f L
2
() y
g H
1/2
(), la formulaci on variacional primal-mixta se reduce a (cf. (2.84)): Hallar
(u, ) H Q tal que
a(u, v) + b(v, ) = F(v) v H,
b(u, ) = G() Q,
donde H := H
1
(), Q := H
1/2
(), a y b son las formas bilineales denidas por
a(u, v) :=
_
u v (u, v) H H,
b(v, ) := , v
(v, ) H Q,
t
y G Q se denen como
F(v) :=
_
fv v H, G() = , g
Q.
Entonces, si T
h
h>0
es una familia regular de triangularizaciones de , introducimos
los subespacios de H (cf. (4.21)) y Q
H
h
:= X
1
h
:=
_
v C() : v[
K
P
1
(K) K T
h
_
Q
h
:=
_
L
2
() : [
j
P
0
(
j
) j 1, , m
_
,
donde
1
,
2
, ,
m
es una particion de y

h := m ax
_
[
j
[ : j 1, , m
_
.
As, el esquema de Galerkin asociado consiste en: Hallar (u
h
,
h
) H
h
Q
h
tal que
a(u
h
, v
h
) + b(v
h
,
h
) = F(v
h
) v
h
H
h
,
b(u
h
,
h
) = G(
h
)
h
Q
h
.
Ahora, sea V
h
el kernel discreto de b, es decir
V
h
:=
_
v
h
H
h
: b(v
h
,
h
) = 0
h
Q
h
_
=
_
v
h
H
h
:
h
, v
h
= 0
h
Q
h
_
.
Notar que, en particular,
h
1 pertenece a Q
h
y por lo tanto
V
h

V :=
_
v H : 1, v
= 0
_
,
116 CAP
ITULO 4. M

es decir
V
h

V :=
_
v H :
_
v = 0
_
.
Luego, utilizando la desigualdad de Poincare generalizada se demuestra que | |
1,
y
[ [
1,
son equivalentes en

V y por lo tanto en V
h
. Se sigue que
a(v
h
, v
h
) = [v
h
[
1,
c |v
h
|
1,
v
h
V
h
,
lo cual prueba que a es V
h
-elptica.
En lo que sigue demostramos que b satisface la condicion inf-sup discreta, vale decir
que existe > 0, independiente de h, tal que
sup
v
h
H
h
v
h
,=
b(v
h
,
h
)
|v
h
|
1,
|
h
|
1/2,

h
Q
h
,
esto es
sup
v
h
H
h
v
h
,=0
h
, v
h
|v
h
|
1,
|
h
|
1/2,

h
Q
h
.
Para este prop osito necesitamos una desigualdad inversa para Q
h
. Sea
1
,
2
, ,
m
una particion de , denotemos h

j
:= [
j
[ j 1, , m, supongamos que c > 0
tal que
h
j
c h := c m ax
i1, ,m
h
i
j 1, , m,
y denamos
Q
h
:=
_
h
L
2
() :
h
[
j
P
0
(
j
) j 1, , m
_
.
Queremos demostrar que c > 0 tal que
|
h
|
r,
c h
1/2r
|
h
|
1/2,

h
Q
h
, r [1/2, 0].
Para ello, dado que claramente
|
h
|
1/2,
h
0
|
h
|
1/2,
,
solo basta demostrar que
|
h
|
0,
c h
1/2
|
h
|
1/2,

h
Q
h
,
y luego concluir por interpolacion. En efecto, se tiene el siguiente lema.
Lema 4.6 Existe c > 0 tal que
|
h
|
0,
c h
1/2
|
h
|
1/2,

h
Q
h
.
Demostraci on. Sea
h
Q
h
y sea
j
:=
h
[
j
P
0
(
j
). Se sigue que
|
h
|
2
0,
=
m
j=1
|
h
|
2
0,
j
=
m
j=1
h
j

2
j
=
m
j=1
h
j
|
j
|
2
0,
,
donde

es un segmento de referencia de medida [
[ = 1. Por ejemplo en R
2
podemos
considerar

:= (x, 0) : x ]0, 1[ . Luego, usando la equivalencia de normas en
dimensi on nita, se tiene que
|
h
|
2
0,
c
m
j=1
h
j
|
j
|
2
1/2,
. (4.40)
Por otro lado, utilizando que (cf. (3.21), Lema 3.12)
[v[
m,K
c |B
1
K
|
m
[det B
K
[
1/2
[ v[
m,

K
,
pero aplicado a K =
j
y

K =

, se obtiene
|v|
0,
j
c
_
[
j
[
[
[
_
1/2
| v|
0,
= c h
1/2
j
| v|
0,
v L
2
(
j
)
y
[v[
1,
j
c
_
j
_
1
_
[
j
[
[
[
_
1/2
[ v[
1,
c h
1/2
j
[ v[
1,
v H
1
(
j
).
Luego, aplicando interpolaci on y usando que H
1/2
00
(
j
) = (H
1
0
(
j
), L
2
(
j
))
1/2
, se obtiene
|v|
0;1/2,
j
c | v|
0;1/2,
v H
1/2
00
(
j
),
donde | |
0;1/2,S
denota la norma de H
1/2
00
(S) para S
j
,
.
A su vez, utilizando que (cf. (3.20), Lema 3.12)
[ v[
m,

K
c |B
K
|
m
[det B
K
[
1/2
[v[
m,K
pero aplicado a K =
j
y

K =

, se obtiene:
| v|
0,
c
_
[
j
[
[
[
_
1/2
|v|
0,
c h
1/2
j
|v|
0,
j
v L
2
(
)
118 CAP
ITULO 4. M

y
[ v[
1,
c
_
h
j

_
1
_
[
j
[
[
[
_
1/2
[v[
1,
j
c h
1/2
j
[v[
1,
j
v H
1
0
(
).
Entonces, aplicando interpolaci on y usando que H
1/2
00
(
) = (H
1
0
(
), L
2
(
))
1/2
, resulta
| v|
0;1/2,
c |v|
0;1/2,
j
v H
1/2
00
(
)
y por lo tanto
|v|
0;1/2,
j
=| v|
0;1/2,
.
En consecuencia, dado H
1/2
(
j
), obtenemos por dualidad
|
|
1/2,
= sup
vH
1/2
00
(
)
v,=
, v
| v|
0;1/2,
= sup
vH
1/2
00
(
)
v,=0
h
1
j
, v
j
| v|
0;1/2,
C sup
vH
1/2
00
(
)
v,=0
h
1
j
||
1/2,
j
|v|
0;1/2,
j
|v|
0;1/2,
j
= C h
1
j
||
1/2,
j
.
De este modo, utilizando la estimaci on anterior en (4.40) se concluye que
|
h
|
2
0,
c
m
j=1
h
j
h
2
j
|
j
|
2
1/2,
j
c h
1
m
j=1
|
j
|
2
1/2,
j
c h
1
||
2
1/2,
,
Ahora estamos en condiciones de probar la condici on inf-sup discreta para b.
Lema 4.7 Existen C
0
> 0 y > 0, independientes de h y

h, tales que para todo
h C
0
h se tiene
sup
v
h
H
h
v
h
,=0
h
, v
h
|v
h
|
1,
|
h
|
1/2,

h
Q
h
.
Demostraci on. Dado
h
Q
h
, denotamos por z H
1
() la unica solucion del pro-
blema
z + z = 0 en , z =
h
en .
El resultado de dependencia continua respectivo dice que
|z|
1,
c |
h
|
1/2,
.
Adem as, puesto que Q
h
H
() para alg un > 0, se sigue por regularidad elptica

que z H
1+
() [0,
0
], donde
0
:= mn
1
2
+ ,

y es el angulo interior
m as grande de . Luego, jamos (0,
0
), < 1/2, y observamos que
|z|
1+,
C |
h
|
1/2+,
.
Por otra parte, dado que (cf. (4.7))
|v P
1
1,h
(v)|
1,
C h|v|
2,
v H
2
()
y claramente
|v P
1
1,h
(v)|
1,
h
0
|v|
1,
v H
1
(),
el teorema de interpolaci on implica que:
|v P
1
1,h
(v)|
1,
C h
|v|
1+,
v H
1+
().
Se sigue que
|z P
1
1,h
(z)|
1,
C h
|z|
1+,
C h
h
|
1/2+,
,
y usando la desigualdad inversa para Q
h
, esto es
|
h
|
1/2+,
C
h
|
1/2,
,
resulta
|z P
1
1,h
(z)|
1,
C
_
h
h
_
h
|
1/2,
.
A su vez, es claro que
|P
1
1,h
(z)|
1,
|z|
1,
c |
h
|
1/2,
.
120 CAP
ITULO 4. M

Por otro lado, es facil ver que
h
, z
= z , z
(z),
0
(z)
=
_
_
z div z + z z
_
= |z|
2
1,
,
y dado que
: H(div; ) H
1/2
() es acotado
|
h
|
1/2,
= |
(z)|
1/2,
|z|
div;
= |z|
1,
,
con lo cual
h
, z
h
|
2
1/2,
.
De acuerdo a lo anterior se deduce que
sup
v
h
H
h
v
h
,=0
h
, v
h
|v
h
|
1,
h
, P
1
1,h
(z)
[
|P
1
1,h
(z)|
1,
h
, P
1
1,h
(z)
[
c |
h
|
1/2,

C
_
[
h
, z
[
|
h
|
1/2,
h
, z P
1
1,h
(z)
[
|
h
|
1/2,
_

C|
h
|
1/2,
C
_
h
h
_
h
|
1/2,
=
_
C C
_
h
h
_
_
|
h
|
1/2,
,
donde, eligiendo h C
0
h, con C
0
=
_

C
2C
_
1/
, se deduce la existencia de > 0 tal
que
sup
v
h
H
h
v
h
,=0
h
, v
h
|v
h
|
1,
|
h
|
1/2,

h
Q
h
,
completando as la demostracion. 2
En consecuencia, aplicando los resultados de la teora de Babuska-Brezzi discreta (cf.
Teoremas 2.4 y 2.6) se deduce que h C
0
h, existe un unico par (u

h
,
h
) H
h
Q
h
soluci on del esquema de Galerkin, y se tiene la estimaci on de Cea
|u u
h
|
1,
+ |
h
|
1/2,
c
_
nf
v
h
H
h
|u v
h
|
1,
+ nf
h
Q
h
|
h
|
1/2,
_
.
Notar aqu que el primer termino a la derecha de la ecuacion anterior se reduce a
|u P
1
1,h
(u)|
1,
, el cual puede acotarse superiormente mediante (4.7). Con el objeto de
estimar el segundo termino se necesita previamente el siguiente resultado.
Lema 4.8 Sea T
0
h
: L
2
() Q
h
el proyector ortogonal con respecto al producto escalar
de L
2
(). Entonces
| T
0
h
()|
1/2,
c
h||
1/2,
H
1/2
().
Demostraci on. A partir de las estimaciones
| T
0
h
()|
0,
h
0
||
0,
L
2
()
y
| T
0
h
()|
0,
C
h||
1,
H
1
(),
esta ultima consecuencia de los Lemas de Bramble-Hilbert y Deny-Lions, se obtiene por
interpolaci on que
| T
0
h
()|
0,
C
h
1/2
||
1/2,
H
1/2
().
Luego, usando argumento de dualidad, se tiene para cada H
1/2
()
| T
0
h
()|
1/2,
= sup
H
1/2
()
,=
T
0
h
(),
||
1/2,
= sup
H
1/2
()
,=
T
0
h
(),
0,
||
1/2,
= sup
H
1/2
()
,=0
T
0
h
(), T
0
h
()
0,
||
1/2,
sup
H
1/2
()
,=0
| T
0
h
()|
0,
| T
0
h
()|
0,
||
1/2,
sup
H
1/2
()
,=0
C
h
1/2
||
1/2,
C
h
1/2
||
1/2,
||
1/2,
=

C
h||
1/2,
,
122 CAP
ITULO 4. M

Sea ahora T
1/2,
h
: H
1/2
() Q
h
el proyector ortogonal con respecto al producto
escalar de H
1/2
(). Entonces, es claro que
nf
h
Q
h
|
h
|
1/2,
= | T
1/2,
h
()|
1/2,
,
y se tiene obviamente
| T
1/2,
h
()|
1/2,
||
1/2,
H
1/2
().
Adem as, utilizando el lema anterior se obtiene
| T
1/2,
h
()|
1/2,
| T
0
h
()|
1/2,
C
h||
1/2,
H
1/2
(),
esto es
| T
1/2,
h
()|
1/2,
C
h||
1/2,
H
1/2
(),
con lo cual, por interpolacion, resulta
| T
1/2,
h
()|
1/2,
C
h
r+
1
2
||
r,
H
r
(), r [1/2, 1/2].
En consecuencia, recordando que
|v P
1
1,h
(v)|
1,
C h
l
|v|
l+1,
v H
l+1
(), 0 l 1,
se obtiene
|u u
h
|
1,
+ |
h
|
1/2,
C
_
h
l
|u|
l+1,
+

h
r+1/2
||
r,
_
para u H
l+1
(), 0 l 1 y H
r
(), 1/2 r 1/2.
4.4. El problema de Poisson con c.c. de Neumann
En esta secci on analizamos un esquema de Galerkin para un caso particular del problema
de Poisson estudiado en la Seccion 2.4.2, en el cual se tiene
N
= , vale decir solo
condiciones de contorno de Neumann. En otras palabras, dados f L
2
() y g
H
1/2
(), nos interesa el problema de valores de contorno
u = f en ,
u
= g en ,
_
u = 0,
4.4. EL PROBLEMA DE POISSON CON C.C. DE NEUMANN 123
donde los datos satisfacen la condicion de compatibilidad
_
f + g, 1
= 0.
Deniendo las inc ognitas auxiliares
:= u en y :=
0
(u) en ,
y procediendo como en las Secciones 2.4.1 y 2.4.2, se llega a la formulaci on variacional
mixta: Hallar (, (u, )) H Q tal que
_
+
_
udiv + ,
= 0 H,
_
v div + ,
=
_
fv + g,
(v, ) Q,
donde H := H(div; ) y Q := L
2
0
() H
1/2
().
Ahora consideramos subespacios de dimensi on nita H
h
H, Q
u
h
L
2
0
() y
Q
h
H
1/2
(), y denimos
Q
h
:= Q
u
h
Q
h
Q.
Entonces, el esquema de Galerkin asociado se reduce a: Hallar (
h
, (u
h
,
h
)) H
h
Q
h
tal que
_
h

h
+
_
u
h
div
h
+
h
,
h
= 0
h
H
h
,
_
v
h
div
h
+
h
,
h
=
_
fv
h
+ g,
h
(v
h
,
h
) Q
h
.
(4.41)
Para el an alisis de (4.41), nos abocamos primero a la condici on inf-sup discreta para el
termino sobre , vale decir la eventual existencia de > 0, independiente de h, tal que
sup
h
H
h
h
,=0
h
,
h
|
h
|
div;
|
h
|
1/2,

h
Q
h
. (4.42)
Definici on 4.1 Sea
h
() :=
h
[
:
h
H
h
. Se dice que un operador lineal
L
h
:
h
() H
h
es un levantamiento discreto estable si
i) L
h
(
h
) =
h
en
h

h
(),
124 CAP
ITULO 4. M

ii) c > 0, independiente de h, tal que
|L
h
(
h
)|
div;
c |
h
|
1/2,

h

h
().
Lema 4.9 Supongamos que existe un levantamiento discreto estable L
h
:
h
() H
h
.
Entonces, la condicion inf-sup discreta (4.42) es equivalente a la existencia de C > 0,
independiente de h, tal que
sup
h
()
h
,=0
h
,
h
|
h
|
1/2,
C |
h
|
1/2,

h
Q
h
. (4.43)
Demostraci on. Basta ver, de acuerdo a ii) en la Denicion 4.1, que
[
h
,
h
[
|
h
|
1/2,
c [
h
,
h
[
|L
h
(
h
)|
div;
c sup
h
H
h
h
,=0
[
h
,
h
[
|
h
|
div;
y, seg un la cota dada por (1.42) (cf. Teorema 1.7), que
[
h
,
h
[
|
h
|
div;
[
h
,
h
[
|
h
|
1/2,
sup
h
()
h
,=0
[
h
,
h
[
|
h
|
1/2,
,
con lo cual (4.42) y (4.43) son equivalentes. 2
A continuacion proporcionamos condiciones sucientes para la existencia de un le-
vantamiento discreto L
h
:
h
() H
h
. Para este efecto, en lo que sigue suponemos
que T
h
es quasi-uniforme alrededor de . Esto signica que existe una vecindad
de
tal que, denotando
T
h,
:= K T
h
: K
,= ,
se tiene que existe c > 0, independiente de h, tal que
m ax
KT
h,
h
K
c mn
KT
h,
h
K
.
Debido a la regularidad de T
h
, lo cual signica que
h
K
K
c K T
h
, h > 0, o
equivalentemente que T
h
h>0
satisface la condici on del angulo mnimo, el supuesto de
quasi-uniformidad implica que la partici on sobre heredada de T
h
, digamos
h
, tambien
es quasi-uniforme, es decir existe c > 0, independiente de h tal que
h
:= max
_
[e[ : e
h
_
c mn
_
[e[ : e
h
_
.
Para el resto de esta seccion, consideramos especcamente (cf.(4.1))
H
h
:= H
0
h
:=
_
h
H(div; ) :
h
[
K
RT
0
(K) K T
h
_
,
y denimos
h
() :=
_
h
L
2
() :
h
[
e
P
0
(e) e
h
_
.
Notar que
h
()

h
(). Adem as, la quasi-uniformidad de
h
implica que

h
() (el
cual coincide con el espacio Q
h
dado en la Secci on 4.3) satisface la desigualdad inversa
|
h
|
1/2+,
C h
|
h
|
1/2,

h

h
(), [0, 1/2].
Por otro lado, puede probarse que, en realidad, el operador de interpolacion de
Raviart-Thomas de orden 0, esto es
0
h
, puede denirse tambien en el espacio [H
()]
2
H(div; ) ]0, 1], y en tal caso se tiene

|
0
h
()|
0,K
C h
K
_
[[
,K
+ |div |
0,K
_
[H
()]
2
H(div; ), K T
h
.
(4.44)
Teorema 4.1 Bajo los supuestos anteriores, existe un levantamiento discreto estable
L
h
:
h
() H
h
tal que div L
h
(
h
) P
0
()
h

h
().
Demostraci on. Sea
h

h
() y sea v H
1
() la unica solucion del problema
v =
1
[[
_
h
en , v =
h
en ,
_
v = 0.
El resultado de dependencia continua respectivo dice que |v|
1,
C
1
|
h
|
1/2,
. A su
vez, el resultado de regularidad elptica en dominios poligonales no-convexos establece
que para alg un (0, 1/2), se tiene que v H
1+
() y
|v|
1+,
C |
h
|
1/2+,
.
Se sigue que v [H
()]
2
H(div; ) (notar que div (v) = v =
1
[[
_
h
R),
y luego, podemos denir
L
h
(
h
) :=
0
h
(v) H
h
.
De acuerdo a lo anterior obtenemos
div L
h
(
h
) = div
0
h
(v) = T
0
h
(div v) = T
0
h
(v) =
1
[[
_
h
P
0
(),
126 CAP
ITULO 4. M

y
L
h
(
h
) =
0
h
(v) = T
0
h,
(v ) = T
0
h,
(
h
) =
h
,
donde T
0
h,
: L
2
()

h
() es el proyector ortogonal. Notar que esta ultima identidad
prueba tambien que

h
()
h
() y por lo tanto se deduce que
h
() :=
_
h
[
:
h
H
h
_
=

h
() :=
_
h
L
2
() :
h
[
e
P
0
(e) e
h
_
.
Resta demostrar que L
h
:
h
() H
h
es uniformemente acotado. Para este efecto,
recordamos primero que T
h,
:=
_
K T
h
: K
,=
_
y denimos los conjuntos
1
h
:=
_
K T
h
: K , T
h,
_

2
h
:=
1
h
=
_
K T
h,
_
.
Puesto que
es claramente una regi on interior a , el resultado de regularidad

elptica interior implica que v[
\
H
2
(
) y |v|
2,\
C
2
|
h
|
1/2,
. De este
modo se obtiene
|L
h
(
h
)|
2
div;
= |L
h
(
h
)|
2
0,
+
_
_
_
1
[[
_
h
_
_
_
2
0,
|L
h
(
h
)|
2
0,
+ C |
h
|
2
1/2,
,
y ademas
|L
h
(
h
)|
0,
|L
h
(
h
)|
0,
1
h
+ |L
h
(
h
)|
0,
2
h
= |
0
h
(v)|
0,
1
h
+ |
0
h
(v)|
0,
2
h
C |v|
1,
1
h
+ |v|
0,
2
h
+ |v
0
h
(v)|
0,
2
h
C |v|
2,
1
h
+ |v|
1,
2
h
+ |v
0
h
(v)|
0,
2
h
CC
2
|
h
|
1/2,
+ C
1
|
h
|
1/2,
+ |v
0
h
(v)|
0,
2
h
.
Por su parte, aplicando la estimacion (4.44), se obtiene
|v
0
h
(v)|
2
0,
2
h
=
KT
h,
|v
0
h
(v)|
2
0,K
C
KT
h,
h
2
K
_
[v[
2
,K
+
_
_
_
1
[[
_
h
_
_
_
2
0,K
_
C
_
_
_
KT
h,
h
2
K
|v|
2
1+,K
+
KT
h,
h
2
K
|
h
|
2
1/2,
[K[
_
_
_
C m ax
KT
h,
h
2
K
|v|
2
1+,
2
h
+ C |
h
|
2
1/2,
C m ax
KT
h,
h
2
K
|v|
2
1+,
+ C |
h
|
2
1/2,
C C
2
m ax
KT
h,
h
2
K
|
h
|
2
1/2+,
+ C |
h
|
2
1/2,
C
_
m ax
KT
h,
h
2
K
_
h
2
|
h
|
2
1/2,
+ C |
h
|
2
1/2,
C |
h
|
2
1/2,
,
donde la estimaci on h
K
C h
K T
h,
ha sido usada en la ultima desigualdad.
En consecuencia, juntando las estimaciones anteriores, resulta
|L
h
(
h
)|
div;
C |
h
|
1/2,

h

h
(),
lo cual termina la demostraci on. 2
Resta probar ahora el siguiente lema.
Lema 4.10 Existe > 0, independiente de h, tal que
sup
h
()
h
,=0
h
,
h
|
h
|
1/2,
|
h
|
1/2,

h
Q
h
.
Para este efecto procedemos de dos maneras distintas.
Opci
on 1. Sea
h
() :=
_
h
L
2
() :
h
[
e
P
0
(e) e
h
_
, y denamos
h
:= max
_
[e[ : e
h
_
y el espacio
Q
h
:=
_
h
C() :
h
[
j
P
1
(
j
) j 1, , m
_
,
donde
_
1
,
2
, ,
m
_
es una partici on de y

h := m ax
_
[
j
[ : j 1, , m
_
.
Entonces, se tiene el siguiente resultado.
128 CAP
ITULO 4. M

Lema 4.11 Existen c
0
, > 0, independientes de h
y

h, tal que h
c
0
h
sup
h
()
h
,=0
h
,
|
h
|
1/2,
|
h
|
1/2,

h
Q
h
.
Demostraci on. Dado
h
Q
h
, denotamos por z H
1
() la unica solucion del pro-
blema
z + z = 0 en , z =
h
en .
Puesto que Q
h
H
1
(), se deduce que z H
1+
() y |z|
1+,
C |
h
|
1/2+,
[0,
0
], donde
0
:= mn
_
1
2
,

_
y es el angulo interior mas grande de . En
lo que sigue jamos (0,
0
], < 1/2, y observamos que
z
H
1/2+
() y
_
_
_
z
_
_
_
1/2+,
C |z|
1+,
.
Entonces, de acuerdo a la propiedad de aproximaci on de
h
(), cuyos detalles se co-
mentan despues de esta demostracion, se tiene que
_
_
_
z
T
1/2
h
_
z
_
_
_
_
1/2,
C h
_
_
_
z
_
_
_
1/2+,
C h
|z|
1+,
C h
h
|
1/2+,
,
donde T
1/2
h
: H
1/2
()
h
() es el proyector ortogonal con respecto al producto
escalar de H
1/2
(). Luego, utilizando la desigualdad inversa de Q
h
, se deduce que
_
_
_
z
T
1/2
h
_
z
_
_
_
_
1/2,
C
_
h
h
_
h
|
1/2,
.
A su vez, usando que |z|
div;
= |z|
1,
ya que z = z en , se sigue que
_
_
_T
1/2
h
_
z
_
_
_
_
1/2,
_
_
_
z
_
_
_
1/2,
|z|
1,
C |
h
|
1/2,
.
Por otra parte
_
z
h
_
=
_
z
, z
_
= |z|
2
1,

C |z|
2
1/2,
=

C |
h
|
2
1/2,
.
As, se deduce que
sup
h
()
h
,=0
h
,
|
h
|
1/2,
_
T
1/2
h
_
z
_
,
h
_
_
_
_T
1/2
h
_
z
_
_
_
_
1/2,
C
1
|
h
|
1/2,
_
z
h
_
_
z
T
1/2
h
_
z
_
,
h
_
C
1
|
h
|
1/2,
_
C |
h
|
2
1/2,
C
_
h
h
_
h
|
2
1/2,
_
_
C
1
C
2
_
h
h
_
_
|
h
|
1/2,
,
de donde, tomando C
0
=
_
C
1
2C
2
_
1/
, se concluye la demostraci on. 2
Notemos ahora que para concluir la desigualdad inversa de Q
h
basta ver que
|
h
|
1/2,

h
0
|
h
|
1/2,

h
Q
h
y luego probar que
|
h
|
1,
C
h
1/2
|
h
|
1/2,

h
Q
h
,
para lo cual basta mostrar que [
h
[
1,
C
h
1/2
|
h
|
1/2,

h
Q
h
.
Opci
on 2. Sea
h
() :=
_
h
L
2
() :
h
[
e
P
0
(e) e
h
_
, denamos h
:=
m ax
_
[e[ : e
h
_
, y supongamos que el n umero de lados e de
h
es par. Entonces
denimos
Q
h
:=
_
h
C() :
h
[
e
P
1
(e) e
2h
_
,
donde
2h
es la particion de que se origina al unir pares de lados adyacentes (ubica-
dos ciertamente en una misma recta). Notar que dim
h
() = 2 dim Q
h
. El objetivo
nuevamente es probar que existe > 0 tal que:
sup
h
()
h
,=0
h
,
h
|
h
|
1/2,
|
h
|
1/2,

h
Q
h
.
Para ello suponemos (ver detalle en [?]) que existen

h
()
h
() y
0
,
1
> 0, tales
que dim

h
() = dim Q
h
,
sup
h
()
h
,=0
h
,
h
|
h
|
0,

0
|
h
|
0,

h
Q
h
, (4.45)
130 CAP
ITULO 4. M

y
sup
h
()
h
,=0
h
,
h
|
h
|
1,

1
|
h
|
1,

h
Q
h
, (4.46)
y luego razonamos por interpolaci on. En otras palabras, el objetivo siguiente es la in-
terpolaci on de las condiciones inf-sup discretas (4.45) y (4.46). Para este efecto, sea
G
h
: L
2
() Q
h
el operador que a cada L
2
() le asigna G
h
() :=
h
, donde
h
es
el unico elemento en Q
h
tal que
h
,
h
=
h
,
h
().
Notar que la condicion inf-sup (4.45) y el hecho que dim

h
() = dim Q
h
garantizan
la existencia y unicidad de
h
. Notar adem as que
h
es una aproximacion de tipo Petrov-
Galerkin de . Ahora, es f acil ver que (4.45) y (4.46) se resumen como
sup
h
()
h
,=0
h
,
h
|
h
|
s,

s
|
h
|
s,

h
Q
h
, s 0, 1.
Aplicando la desigualdad anterior a G
h
() Q
h
se tiene
|G
h
()|
s,

1
s
sup
h
()
h
,=0
h
, G
h
()
|
h
|
s,
=
1
s
sup
h
()
h
,=0
h
,
|
h
|
s,
s
||
s,
H
s
(),
esto es
|G
h
()|
s,

1
s
||
s,
H
s
(), s 0, 1,
y luego, por interpolaci on, se deduce que
|G
h
()|
1/2,
(
0
1
)
1/2
||
1/2,
H
1/2
().
En lo que sigue, sea T
1/2
h
: H
1/2
()

h
() el proyecto ortogonal. Entonces,
dado H
1/2
() consideremos el funcional f
: H
1/2
() R dado por
f
() := T
1/2
h
(),
H
1/2
(),
y denotamos v
:= J
1
(f
) H
1/2
(), donde J : H
1/2
() H
1/2
()
tt
H
1/2
()
t
es la isometra usual, esto es J(v)(F) = F(v) F H
1/2
() H
1/2
()
t
, v
H
1/2
(). Se sigue que
h

h
() ocurre
h
, G
h
(v
=
h
, v
= J(v
)(
h
) = f
(
h
)
= T
1/2
h
(
h
),
=
h
,
=
h
, G
h
(v
,
y por lo tanto G
h
(v
) = G
h
(). En consecuencia, utilizando que |T
1/2
h
()|
1/2,
es
ciertamente acotado por ||
1/2,
, resulta
(
0
1
)
1/2
|G
h
()|
1/2,
= (
0
1
)
1/2
|G
h
(v
)|
1/2,
|v
|
1/2,
= sup
h
H
1/2
()
h
,=0
[
h
, v
[
|
h
|
1/2,
= sup
h
H
1/2
()
h
,=0
[T
1/2
h
(
h
),
[
|
h
|
1/2,
sup
h
H
1/2
()
h
,=0
[T
1/2
h
(
h
),
[
|T
1/2
h
(
h
)|
1/2,
sup
h
()
h
,=0
|
h
|
1/2,
H
1/2
().
Finalmente, aplicando lo anterior a
h
Q
h
y notando en tal caso que G
h
(
h
) =
h
, se
concluye que
(
0
1
)
1/2
|
h
|
1/2,
= (
0
1
)
1/2
|G
h
(
h
)|
1/2,
sup
h
()
h
,=0
h
,
|
h
|
1/2,

h
Q
h
,
lo cual constituye la condici on inf-sup discreta requerida.
132 CAP
ITULO 4. M

Bibliografa
[1] Brenner, S.C. and Scott, L.R., The Mathematical Theory of Finite Element
Methods. Springer-Verlag, 1994.
[2] Brezzi, F., On the existence, uniqueness, and approximation of saddle-point pro-
blems arising from Lagrangian multipliers. RAIRO Analyse Numerique, vol. 8, 2,
pp. 129-151, (1974).
[3] Brezzi, F. and Fortin, M., Mixed and Hybrid Finite Element Methods. Springer
Verlag, 1991.
[4] Ciarlet, P.G., The Finite Element Method for Elliptic Problems. North-Holland,
1978.
[5] Girault, V. and Raviart, P.-A., Finite Element Methods for Navier-Stokes
Equations. Theory and Algorithms. Springer-Verlag, 1986.
[6] Raviart, P.-A. and Thomas, J.-M., Introduction a LAnalyse Numerique des
Equations aux Derivees Partielles. Masson, 1983.
133

Apuntes MEF MIXTOS Gatica

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Apuntes MEF MIXTOS Gatica

Uploaded by

Copyright:

Available Formats

Introducci on al Metodo de

Elementos Finitos Mixtos

a de distribuciones por parte del lector. En particular, se emplea

etodos de Elementos Finitos Mixtos 103

, y por lo tanto solo resta mostrar

= para concluir que B es sobreyectivo. En efecto, dado w R(B)

etrica. En efecto, bajo esta hipotesis adicional,

e) Sea :=]a, b[ R y conside-

es inyectivo y de rango cerrado, esto es, si existe

es sobreyectivo si y solo si B es inyectivo y de rango cerrado, esto es, si existe

) tambien es cerrado (porque R(B)

es inyectivo y de rango cerrado, el rango de B tambien es cerrado y luego R(B) =

) (restricciones a de funciones que son de clase C

udiv () = , g H(div; ) , (1.31)

)) denota el espacio de restricciones a de funciones que son

tambien es una biyeccion lineal y que

. Si se supone, ademas, que

, este nmo se alcanza en v

on por partes) Sea un abierto acotado

, y se llama derivada normal de u.

() es acotado, y por lo tanto pertenece a H

. En otras palabras, dado

(), basta denir

(u) y luego aplicar Teorema 1.7 y Lema 1.4. 2

(), el cual contiene estrictamente a H

ska-Brezzi, o simplemente condicion

ska-Brezzi. Ademas, utilizando el operador adjunto B

es un isomorsmo (biyeccion lineal) de Q en N(B)

es una biyecci on lineal de Q en N(B)

= Q. De este modo, B es una

en Q. Ademas, es claro de (2.8) que |(B

) tambien lo es. Ademas, aplicando ortogonal a

) = 0, lo cual dice que B

es inyectivo. De este modo, el resultado de caracterizaci on para operadores de rango

, se obtiene A() = 0. Dado que A : V V es una

es tambien una biyecci on, se concluye que u = 0. 2

(), g H(div; ). (2.23)

(cf. Teorema 1.7), a la

tr() tr() (2.54)

g . Entonces (, (u, )) H Q es solucion de (2.53).

satisface B(z) = , conrmando

y observando, de acuerdo a la segunda ecuaci on de (2.19), que

ITULO 3. ESPACIOS DE RAVIART-THOMAS

ITULO 3. ESPACIOS DE RAVIART-THOMAS

ITULO 3. ESPACIOS DE RAVIART-THOMAS

ITULO 3. ESPACIOS DE RAVIART-THOMAS

ITULO 3. ESPACIOS DE RAVIART-THOMAS

ITULO 3. ESPACIOS DE RAVIART-THOMAS

ITULO 3. ESPACIOS DE RAVIART-THOMAS

ITULO 3. ESPACIOS DE RAVIART-THOMAS

K), lo cual prueba que RT

ITULO 3. ESPACIOS DE RAVIART-THOMAS

ITULO 3. ESPACIOS DE RAVIART-THOMAS

K). Se sigue, usando Lema 3.10 y el hecho que los F-momentos de

ITULO 3. ESPACIOS DE RAVIART-THOMAS

S). A su vez, sea m un entero no negativo

S) y existe C := C(m, n) > 0 tal que

ITULO 3. ESPACIOS DE RAVIART-THOMAS

S), lo cual implica la existencia de constantes

S). A su vez, sea m un entero no

ITULO 3. ESPACIOS DE RAVIART-THOMAS

S). A su vez, sean

ITULO 3. ESPACIOS DE RAVIART-THOMAS

on local) Sean m y k enteros no negativos ta-