Teora de Babuska-Brezzi

y su aplicaci
on a los problemas de Stokes y Darcy

Weymar Andres Astaiza Sulez

Universidad del Cauca

Facultad de Ciencias Naturales, Exactas y de la Educacion
Departamento de Matematicas
Programa de Matematicas
Popayan
2012

Indice general

Indice general

Introducci
on

1. Teora de
1.0.1.
1.0.2.
1.0.3.
Bibliografa

Babuska-Brezzi
Teora de Babuska-Brezzi . . . . . . . . . . . . . . . . . . . . . . . . . . .
Condici
on inf-sup para la sobreyectividad . . . . . . . . . . . . . . . . . .
Minimizaci
on con restriccion . . . . . . . . . . . . . . . . . . . . . . . . .

11
13
18
26
33

Introducci
on
En diferentes ciencias naturales, como Biologa, Qumica y en Ingenierias aparecen problemas
que conllevan a resolver ciertos tipos de sistemas de ecuaciones, bien sea ordinarias o parciales. En
consecuencia, es necesario desarrollar elementos que ayuden a establecer cuando estos sistemas
tienen soluci
on y adem
as determinar condiciones que garanticen que esta solucion es u
nica. Por
lo tanto es importante conocer diferentes herramientas que ayuden a resolver situaciones que se
modelan en las tantas disciplinas donde se estudian fenomenos de la naturaleza y asi utilizar la
matematica como medio para resolver dichos problemas.
El principal objeto de estudio para este trabajo son las EDP (Ecuaciones diferenciales parciales),
por ello es imprescindible estudiar elementos del analisis funcional que ayudan a comprender y
manejar este tipo de problemas que no son ajenos a la vida cotidiana, un ejemplo de muchos
y para nuestro interes en el presente trabajo se tiene en las industrias como los oleoductos,
tratamientos de aguas residuales, acueductos, etc, donde se requiere el estudio de ecuaciones
que modelan el comportamiento de fluidos en general.
Existen diferentes formas en el planteamiento de las EDP, muchas de ellas se resuelven gracias
a resultados conocidos del an
alisis funcional, tal es el caso del lema de Lax-Milgram (ver
Corolario 5.8 de [4]) el cual establece cuando una formulacion variacional (elptica ) de la forma:
Hallar u X tal que
a(u, v) = f (v)
v X,
(0.0.1)
En diferentes ciencias naturales, como Biologa, Qumica y en Ingenierias aparecen problemas que
conllevan a resolver ciertos tipos de sistemas de ecuaciones, bien sea ordinarias o parciales. En
consecuencia, es necesario desarrollar elementos que ayuden a establecer cuando estos sistemas
tienen soluci
on y adem
as determinar condiciones que garanticen que esta solucion es u
nica. Por
lo tanto es importante conocer diferentes herramientas que ayuden a resolver situaciones que se
modelan en las tantas disciplinas donde se estudian fenomenos de la naturaleza y asi utilizar la
matematica como medio para resolver dichos problemas.
El principal objeto de estudio para este trabajo son las EDP (Ecuaciones diferenciales parciales),
por ello es imprescindible estudiar elementos del analisis funcional que ayudan a comprender y
manejar este tipo de problemas que no son ajenos a la vida cotidiana, un ejemplo de muchos
y para nuestro interes en el presente trabajo se tiene en las industrias como los oleoductos,
tratamientos de aguas residuales, acueductos, etc, donde se requiere el estudio de ecuaciones
que modelan el comportamiento de fluidos en general.
Existen diferentes formas en el planteamiento de las EDP, muchas de ellas se resuelven gracias
a resultados conocidos del an
alisis funcional, tal es el caso del lema de Lax-Milgram (ver
Corolario 5.8 de [4]) el cual establece cuando una formulacion variacional (elptica ) de la forma:
Hallar u X tal que
a(u, v) = f (v)
v X,
(0.0.2)

donde X es un espacio de Hilbert, a : X X R es una forma bilineal y f X 0 , tiene solucon y cuando es u

nica. Muchas ecuaciones diferenciales parciales (tales como la ecuacion de
Laplace) conducen a una formulaci
on variacional de la forma (0.0.2) (ver, por ejemplo [12]).
Pero no siempre las formulaciones variacionales son de este tipo, por tal razon se debe recurrir
a otro tipo de formulaciones que ayuden a resolver EDP y para ello se necesitara conocer otras
teorias importantes como la dada por el matematico checo Ivo Babuska [2] y el matematico
italiano Franco Brezzi [5], conocida como Teora de Babuska-Brezzi que estudia las llamadas
formulaciones variacionales mixtas y sera el principal objeto de estudio de este trabajo.
La Teora de Babuska-Brezzi tambien incluye el analisis de discretizacion de las formulaciones
que se tratan en su teora, es decir incluye la aproximacion en subespacios finito dimensionales.
En particular la mencionada teora incluye analisis de aproximacion a traves de subespacios de
elementos finitos [3]. Sin embargo, en el presente trabajo solamente se estudiaran los problemas
continuos, sin considerar sus discretizaciones.
Como aplicaci
on de la Teora de Babuska-Brezzi, estudiaremos los problemas de Stokes y
Darcy, los cuales describen fen
omenos que se presentan en el estudio de la dinamica de fluidos y que son de particular importancia en problemas industriales relacionados con oleoductos,
acueductos y sistemas en general, que describen el movimiento de un fluido en diferentes entornos. donde X es un espacio de Hilbert, a : X X R es una forma bilineal y f X 0 , tiene
solucon y cuando es u
nica. Muchas ecuaciones diferenciales parciales (tales como la ecuaci
on
de Laplace) conducen a una formulaci
on variacional de la forma (0.0.2) (ver, por ejemplo [12]).
Pero no siempre las formulaciones variacionales son de este tipo, por tal razon se debe recurrir
a otro tipo de formulaciones que ayuden a resolver EDP y para ello se necesitara conocer otras
teorias importantes como la dada por el matematico checo Ivo Babuska [2] y el matematico
italiano Franco Brezzi [5], conocida como Teora de Babuska-Brezzi que estudia las llamadas
formulaciones variacionales mixtas y sera el principal objeto de estudio de este trabajo.
La Teora de Babuska-Brezzi tambien incluye el analisis de discretizacion de las formulaciones
que se tratan en su teora, es decir incluye la aproximacion en subespacios finito dimensionales.
En particular la mencionada teora incluye analisis de aproximacion a traves de subespacios de
elementos finitos [3]. Sin embargo, en el presente trabajo solamente se estudiaran los problemas
continuos, sin considerar sus discretizaciones.
Como aplicaci
on de la Teora de Babuska-Brezzi, estudiaremos los problemas de Stokes y
Darcy, los cuales describen fen
omenos que se presentan en el estudio de la dinamica de fluidos y
que son de particular importancia en problemas industriales relacionados con oleoductos, acueductos y sistemas en general, que describen el movimiento de un fluido en diferentes entornos.

II

Preliminares
En esta secci
on y a lo largo del trabajo es un subconjunto abierto y no vacio de RN .
Las definiciones y resultados que se presentan a continuacion son ampliamente conocidos y pueden ser consultados en [4],[10],[9].
Definici
on 0.0.1 . Si f : R es continua se define el soporte de f como
Suppf := {x : f (x) 6= 0}.
Diremos que f tiene soporte compacto si Suppf es un subconjunto compacto de RN .
Definici
on 0.0.2 . Se define el conjunto de funciones infinitamente diferenciables y de soporte
compacto incluido en como
C0 () := {f : R : f C ()

Suppf

es

compacto}.

Definici
on 0.0.3 . Para acotado, diremos que es de clase C k (k Z+ ), si para todo
x0 , existe rx0 > 0 y x0 : R(N 1) R tal que
B(x0 , rx0 ) = {x B(xo , rx0 ) : xN > x0 (x1 , . . . , xN 1 )} y
B(x0 , rx0 ) = {x B(xo , rx0 ) : xN = x0 (x1 , . . . , xN 1 )},
con x0 C k .
Definici
on 0.0.4 . Para acotado, 1 p < y f : R, decimos que f Lp () si f es
medible y
Z
|f |p < .

Definici
on 0.0.5 .(Derivada d
ebil, Espacio H 1 () y espacio H 2 ()) Sea f L2 (). Para
f
L2 () tal
i = 1, 2, . . . , N , la i-esima derivada debil de f (si existe) es una funci
on wi := x
i
que
Z
Z

f
= wi
C0 ().
xi

Observaci
on. Cuando las funciones wi existen se puede probar que estas son u
nicas. Adem
as
si f es lo suficientemente suave, las derivadas en el sentido cl
asico coinciden con las derivadas
debiles.
Con la definici
on anterior se definen los espacios vectoriales H 1 () y H 2 () que involucran las
1

derivadas en este sentido, donde H 1 () tiene en cuenta las derivadas de primer orden y H 2 ()
involucra tanto las de primer orden como las derivadas de segundo orden, es decir


f
1
2
2
H () := f L () :
L () , i = 1, 2, ..., N ,
xi


f
2
2
1
H () := f L () :
H () , i = 1, 2, ..., N .
xi
Estos espacios son de Hilbert con los productos interiores dados por
Z
(f g + f g) ,
hf, giH 1 () :=

hf, giH 2 () := hf, giL2 () +

N 
X
f
i=1

donde h := (w1 , . . . , wN ) con wi :=

g
,
xi xi


,
H 1 ()

h
xi .

Teorema 0.0.1 Si es acotado y con frontera de clase C 1 ,

k.kH 1 ()

C ()

k.kH 2 ()

= H 1 (),

C ()

= H 2 ().

Adem
as, existen operadores lineales y acotados
0 : H 1 () L2 (),

1 : H 2 () L2 ()

tales que
0 (v) = v| ,


v 
1 (v) =
n 

v C (),

donde n es el vector normal exterior a .

Observaci
on. Para u H 1 () y v H 2 (), en lugar de 0 (u) y 1 (v) usaremos la notacion

v 
u| y
.
n 
As, en lugar de escribir
Z
0 (u)1 (v),

escribiremos

Z
u

v
.
n

Definici
on 0.0.6 . El espacio H01 () denota a los elementos de H 1 () y con traza cero. Adem
as,
H01 () = C0 ()

k.kH 1 ()

Teorema 0.0.2 (Desigualdad de Poincar

e). Sea acotado, entonces existe C > 0 tal que
Z
Z
2
|v| C
|v|2 ,

para toda v H01 ().

2

Demostracion. (ver Proposici

on 4.3.10 de [1])
Teorema 0.0.3 (Identidades de Green). Sea acotado y de clase C 1 . Las siguientes identidades son validas
1. Para todo v H 1 () y u H 2 () se tiene
Z
Z
Z
vu = u v +

u
n

2. Para todo v H 2 () y u H 2 () se tiene

Z
Z
[vu uv] =



u
v
v
u
n
n

donde n es el vector normal exterior a .

Definici
on 0.0.7 . Sean X un espacio de Hilbert y B : X X R. Se dice que B es una forma
bilineal sobre X si
1. B(u + v, w) = B(u, w) + B(v, w)

u, v, w X

, R.

2. B(u, v + w) = B(u, v) + B(u, w)

u, v, w X

, R.

B se dice sim
etrica si
B(u, v) = B(v, u)

u, v X.

B se dice positiva si
B(v, v) 0

v X.

B es acotada, si existe C > 0 tal que

|B(u, v)| CkukX kvkX ,
para todo u, v X.
B se dice eliptica si existe > 0 tal que
B(v, v) kvk2X ,
para todo v X.
Definici
on 0.0.8 . Sea T : X M un operador. Entonces se define el Dominio, Imagen y
Kernel (Nucleo) de T respectivamente por
D(T ) := {x X : T (x) M },
ImT := {T (x) M : x X}

KerT := {x D(T ) : T (x) = 0}.

Definici
on 0.0.9 . Un operador lineal es un un operador tal que
1. El dominio e imagen de T son espacios vectoriales sobre el mismo campo K, donde K
denota a R o C.
3

2. Para todo x, y D(T ) y para cualquier K se tiene que

T (x + y) = T (x) + T (y)

T (x) = T (x).

Se dice que T es lineal conjugado si satisface que

T (x + y) = T (x) + T (y),
donde y , representan el conjugado de y respectivamente.
Definici
on 0.0.10 . Sea T : X M un operador lineal, con X y M espacios normados. Entonces decimos que el operador T es acotado si existe > o tal que
kT (x)kM kxkX ,
para todo x X.
Definici
on 0.0.11 . Sea T : X M un operador, no necesariamente lineal con X y M espacios
normados. Entonces T es continuo en x0 D(T ) si para todo  > 0, existe > 0 tal que
kT (x) T (x0 )kM < 

siempre que para todo x D(T ) se satisfaga que

kx x0 kX < .

T ser
a continuo si T es continuo en cada x D(T ).
Teorema 0.0.4 Sea T : D(T ) M un operador lineal, donde D(T ) X y X, M son espacios
normados. Entonces
1. T es continua s y s
olo si T es acotado.
2. Si T es continua en un punto del dominio entonces T es continua.
Demostracion. (ver Teorema 2.7-9 de [10])
Definici
on 0.0.12 . Sea X un espacio normado sobre K , donde K es R o C. Entonces f es
un funcional s este es un operador
f : X K.
Un funcional f es lineal y acotado, si como operador lo es.
Definici
on 0.0.13 . Dado X un espacio normado, entonces el conjunto de todos los funcionales
acotados constituye un espacio normado, con norma definida por
kf k = sup
xX

|f (x)|
.
kxk

x6=0

Este espacio es llamado el espacio dual de X y se nota por X 0 . As, para f X 0 escribiremos
kf kX 0 en lugar de kf k.
Adem
as para cualquier f X 0 y v X se define el producto de dualidad dado por
f (v) := hf, vi.

Teorema 0.0.5 Sea f un funcional lineal y acotado sobre un subespacio Z de un espacio normado X. Entonces existe un funcional acotado f sobre X, el cual es una extensi
on de f y
adem
as
kf kX 0 = kfkZ 0 ,
donde
kfkX 0 = sup
xX

|f(x)|
kxk

kf kZ 0 = sup
xZ

x6=0

|f (x)|
.
kxk

x6=0

Demostracion. (ver teorema 4.3-2 de [10])

Lema 0.0.6 Sean X y M dos espacios de HIlbert, l : X M R una forma bilineal y continua.
Si para cada x X definimos
: M R,
Ax
tal que

Ax(q)
= l(x, q)

q M,

M 0 . Adem
entonces Ax
as, el operador
A : X M 0 ,
es tambien un operador lineal y continuo.
Demostraci
on
Sean , R y q, p M . Luego

Ax(p
+ q) = l(x, p + q)
= l(x, p) + l(x, q)
= l(x, p) + l(x, q)

= Ax(p)
+ Ax(q),
es lineal. Ahora veamos que Ax
es acotado. En efecto, dado que l es acotado, para
es decir Ax
q M se tiene que

|Ax(q)|
= |l(x, q)|
Ckxkkqk,
y por tanto

|Ax(q)|

C,
kqk
con C = Ckxk, por lo cual
C,

kAxk
es acotado. Por u
y as Ax
ltimo, mostraremos que A es lineal y acotado. Para ello, tomemos
x, y X, , R, luego

A(x
+ y)(q) = l(x + y, q)
= l(x, q) + l(y, q)
= l(x, q) + l(y, q)

= Ax(q)
+ Ay(q)
q M,
5

de donde vemos que A es lineal. Ademas, para x X se tiene que

Ckxk,
kAxk
por lo cual

kAxk
C,
kxk
es decir
C,
kAk
y con esto se prueba que A es continuo o equivalentemente acotado.
Teorema 0.0.7 (Teorema de Representaci
on de Riesz.) Sea f un funcional lineal y acotado sobre un espacio de Hilbert X. Entonces, existe un u
nico elemento z X tal que
f (u) = hu, zi

u X

y adem
as
kf kX 0 = kzk.
Demostracion. (ver Teorema 1.2.3 de [12] o ver Teorema 3.8-1 de [10])
Definici
on 0.0.14 Sea X un espacio normado. La funci
on
C : X X 00 ,
definida por
C(x) = hx X 0 ,
donde
hx (f ) = f (x)

para toda

f X 0,

es llamada la funci
on can
onica.
Lema 0.0.8 Sea X un espacio normado, entonces la funci
on can
onica dada en la definici
on
00
anterior es una isometria de X sobre X , es decir
C es lineal, biyectiva y
kCxk = kxk x X.
Demostracion. (ver Lema 4.6-2 de [10])
Lema 0.0.9 (Lema de Lax-Milgram.) Sean X un espacio de Hilbert, a : X X R bilineal
y acotada, F : X R lineal y acotada. Adem
as existe > 0 tal que
a(v, v) kvk2X v X,
entonces para el problema
Encontrar u X:
a(u, v) = F (v)

v X,

(0.0.3) tiene soluci

on u
nica y kukX kF kX 0 .
Demostracion. (ver Teorema 1.2.4 de [12] o Colorario 5.8 de [4])

(0.0.3)

Lema 0.0.10 Sean X y M espacios de Hilbert. Si T : X M es lineal, continua, biyectiva y

adem
as existe C > 0 tal que
kT 1 ukX CkukM

u M,

entonces ImT es cerrado.

Demostraci
on.
Sea {yn }nZ+ ImT tal que lm yn = y, luego para cada n Z+ existe xn X tal que
n

T xn = y,
de donde
xn = T 1 yn .
Por la hipotesis podemos ver que T 1 es continua ya que
kT 1 ukX
C,
kukM

u M u 6= 0,

y as
kT 1 k C.
Entonces tenemos que T 1 es acotado y por tanto continua, luego usando la continuidad del
operador T 1 se tiene que
lm xn = T 1 y,
n

haciendo
x := lm xn ,
n

tenemos que
x = T 1 y,
es decir, T (x) = y ImT y por tanto ImT es cerrado.
Definici
on 0.0.15 Sea B : X M un operador lineal acotado, donde X y M son espacios de
Hilbert, entonces el operador Adjunto de Hilbert de B, denotado por B , es el operador
B : M X,
tal que para todo x X y q M satisface que
(Bx, q) = (x, B q).
Teorema 0.0.11 Sea B : X M un operador lineal acotado, entonces el operador Adjunto de
Hilbert existe, es u
nico y adem
as
kBk = kB k.
Demostracion. (ver Teorema 3.9-2 [10])

Definici
on 0.0.16 Sea B : X M un operador lineal acotado, donde X y M son espacios
normados, entonces el operador Adjunto de B, denotado por B , es el operador
B : M 0 X 0,
tal que para todo g M 0
(B g)(y) = g(By)

y X,

donde X 0 y M 0 son los respectivos espacios duales de X y M .

Teorema 0.0.12 Sea B : X M un operador lineal acotado, entonces el operador Adjunto
es lineal, acotado y adem
as
kBk = kB k.
Demostracion. (ver Teorma 4.5-2 [10])
Mencionaremos dos importantes relaciones entre el operadores Adjunto y Adjunto de Hilbert
para un operador B : X M dado, lo primero que podemos notar es que para la definici
on
Adjunto de Hilbert se necesita que los espacios sean de Hilbert, mientras que para la definici
on
Adjunto se necesita que los espacios sean normados, as en particular cuando los espacios son
de Hilbert, las dos definiciones tienen sentido y por los teoremas (0.0.12) y (0.0.11) se tiene que
kB k = kBk = kB k.
Por otro lado, tenemos que
B: X M

B : M 0 X 0,
donde
B g = f,
es tal que
g(Bx) = f (x) x X,
con f X 0 y g M 0 , y dado que estamos considerando a X y M espacios de Hilbert, entonces
por el Teorema de Representaci
on de Riesz (ver Teorema (0.0.7)), tenemos que existen x0 X
y q0 M tales que
f (x) = hx, x0 i
xX y
g(q) = hq, q0 i

q M.

Luego, se pueden definir los operadores

A1 : X 0 X

A2 : M 0 M,
definidos como
A1 (f ) = x0

A2 (g) = q0

f X 0 ,

g M 0 ,

por el Teorema (0.0.7) sabemos que A1 , A2 son biyectivas y ademas isometricas, pues podemos
ver que
kA1 (f )k = kx0 k = kf k
y
kA2 (g)k = kq0 k = kgk.
8

Ademas, podemos ver que para dos elementos f0 , f1 X 0 y notando

f0 (x) := hx, xo i

f1 (x) := hx, x1 i,

tenemos que
(f0 + f1 )(x) = f0 (x) + f1 (x)
= hx, xo i + hx, x1 i
= hx, x0 + x1 i,
es decir
A1 (f1 + f2 ) = A1 + A2 ,
similarmente se tiene para A2 . Por lo tanto, A1 y A2 son lineales conjugadas. Por u
ltimo, se
observa que
A1 B A1
2 : M X,
es decir, B y A1 B A1
2 tienen el mismo dominio e igual codominio. Ahora, veamos que definiendo
B q0 = x 0 ,
tenemos la igualdad entre estos dos operadores. En efecto, por el Teorema de representacion de
Riesz se tiene que
g(q) = hq, q0 i
q M,
as
hBx, qi = g(Bx) = B g(x),
pero, B g = f X 0 , entonces
B g(x) = f (x)

x X,

y como
f (x) = hx, x0 i,
tenemos que
hBx, qi = hx, x0 i = hx, B q0 i,
y as se muestra que
B = A1 B A1
2 .
Ademas cuando B 1 existe tenemos que (B )1 existe y
(B )1 = (B 1 ) ,
por tanto
k(B )1 k = k(B 1 ) k.
Definici
on 0.0.17 Sean E y F dos espacios de Banach y
A : D(A) E F.
El operador A se dice densamente definido y cerrado si
D(A)

es denso en

E,

y
G(A) = {(u, Au)

con

u D(A)}
9

es cerrado en

E F.

Teorema 0.0.13 Sean E y F dos espacios de Banach. Adem

as, sea A : D(A) E F un operador lineal y acotado que es densamente definido y cerrado, entonces las siguientes afirmaciones
son equivalentes
1. ImA es cerrado.
2. ImA es cerrado.
3. ImA = (KerA ) .
4. ImA = (KerA) .
Demostracion. (ver Teorema 2.19 [4])
Observaci
on La afirmaci
on 2) del Teorema anterior puede ser reemplazada por ImA es ce
rrado y A es inyectiva (ver Teorema 2.20 de [4]).

10

Captulo 1

Teora de Babuska-Brezzi
Sean R2 abierto y acotado de clase C 1 , f C(), g C(). El problema de Neumann
consiste en encontrar u : R tal que
u = f
u
=g
n

en ,
(1.0.1)
en ,

donde n denota el vector normal unitario exterior a .

En primer lugar deduciremos una formulacion variacional elptica para el Problema de Neumann.
Para ello, comenzamos multiplicando por v H 1 () en la primera ecuacion e integramos sobre
, luego aplicando la primera identidad de Green se obtiene
Z
Z
Z
Z
Z
u
uv =
f
u v
v=
fv

o equivalentemente
Z

Z
u v =

Si hacemos

u
v+
n

Z
u v,

a(u, v) :=

v H 1 ().

fv

F (v) :=

u
v+
n

Z
f v,

entonces el problema anterior es equivalente a hallar u H 1 () :

v H 1 ().

a(u, v) = F (v)

(1.0.2)

Dado que a es una forma bilineal sobre H 1 () y F es un operador lineal sobre H 1 () entonces
la expresion anterior es una formulaci
on variacional para (1.0.1).
Notamos que si consideramos v : R definida por
(x, y) ,

v(x, y) = 1

tenemos que a(v, v) = 0 con v 6= 0. Por lo tanto, la forma bilineal a no es eliptica en H 1 ()

y as el Lema de Lax-Milgram (ver Lema (0.0.9))no garantiza solucion u
nica para el problema
(1.0.2).

11

El inconveniente de la no unicidad de solucion del problema (1.0.2), se supera proponiendo

una formulaci
on mixta para el problema (1.0.2). Mas precisamente, exigiendo que la solucion u
de (1.0.2) satisfaga la restriccci
on
Z
u = 0.

Esta restricci
on garantiza que la u
nica solucion constante del problema es la solucion nula, puesto
que si
u(x, y) = C
x, y ,
luego
Z

= C||,

C=C

u=

0=

como || =
6 0, entonces
C = 0.
Considerando tal restricci
on se obtiene la formulacion: Hallar u H 1 () tal que
Z
Z
Z
u v =
fv +
gv
v H 1 (),

Z
u=0
R.

(1.0.3)

Dado que en el problema (1.0.3) hay una incognita (u H 1 ()) y dos ecuaciones, consideramos
el siguiente problema:
Encontrar (u, ) H 1 () R
Z
Z
Z
Z
u v + v =
fv +
gv
v H 1 (),

Z
(1.0.4)
u=0
R.

Es facil mostrar que si u es soluci

on de (1.0.3), entonces (u, 0) es solucion de (1.0.4) y que si
(u, ) es soluci
on de (1.0.4), entonces con = 0 tenemos que (u, 0) es solucion de (1.0.3), es
decir estos dos problemas son equivalentes en cierto sentido.
El problema (1.0.4) es un caso particular de las llamadas formulaciones variacionales mixtas, las
cuales se definen a continuaci
on.
Definici
on 1.0.18 Sean X y M dos espacios Hilbert, a y b dos formas bilineales, donde a : X
X R y b : X M R. Entonces una formulaci
on variacional mixta consiste en: Hallar
(u, p) X M tal que
a(u, v) + b(v, p) = f (v)

v X,

b(u, q) = g(q)

q M,

donde f X 0 y g M 0 .
En la siguiente secci
on se estudiar
an las condiciones bajo las cuales una formulacion variacional
mixta tiene soluci
on u
nica. La teoria que determina dichas condiciones es llamada Teora de
Babuska-Brezzi que como se dijo antes sera de vital importancia en el desarrollo del presente
trabajo. En particular se usar
a la Teora de Babuska-Brezzi para mostrar que (1.0.4) tiene
solucion u
nica.
12

1.0.1.

Teora de Babuska-Brezzi

Recordando la definici
on (1.0.18), es decir para X y M dos espacios Hilbert dados, a y b
dos formas bilineales, donde a : X X R y b : X M R, consideramos la formulaci
on
variacional mixta que consiste en hallar (u, p) X M tal que
a(u, v) + b(v, p) = f (v)

v X,

b(u, q) = g(q)

q M,

(1.0.5)

donde f X 0 y g M 0 .
Sean A : X X 0 , B : X M 0 y B T : M X 0 operadores lineales definidos de la siguiente
manera:
hAu, vi = a(u, v) (u, v) X X,
hBu, wi = b(u, w)

(u, w) X M,

hB T q, pi = b(p, q) (p, q) X M.
Luego, usando los operadores definidos anteriormente para el problema (1.0.5) tenemos que
a(u, v) + b(v, p) = f (v)

v X,

b(u, q) = g(q)

q M,

m
T

hAu, vi + hB p, vi = hf, vi

v X

hBu, qi = hg, qi

q M

(1.0.6)

m
T

hAu + B p, vi = hf, vi

v X

hBu, qi = hg, qi

q M

De donde este problema se convierte en : Hallar (u, p) X M tal que para todo (v, q) X M
se cumpla que
Au + B T p = f,
Bu = g.

(1.0.7)

Ahora notemos que B T definido anteriormente no es exactamente el operador Adjunto B (ver

definicion (0.0.16)), por tanto mostremos que relacion existe entre estos. Primero recordemos
que para un espacio normado Z se define la funcion canonica
C : Z Z 00 ,
(ver definici
on (0.0.14)) definida como
C(z) := hz : Z 0 R,
donde
hz (g) = g(z),
para toda g Z 0 .
Ademas cuando Z es un espacio de Hilbert sabemos que la funcion canonica C es sobreyectiva,
es decir R(C) = Z 00 donde R(C) representa el rango de el operador C y mas aun es inyectiva e
13

isometrica (ver Lema (0.0.8)).

Sea C la funci
on can
onica para el espacio de Hilbert M , es decir
C : M 0 M 00 ,
y consideremos para el operador B su respectivo operador adjunto B , es decir
B : M 00 X 0 ,
por lo tanto
B C : M X 0,
y as notamos que el operador B T definido anteriormente y B C tienen el mismo dominio
y codominio. Por otra lado mostremos que B C = B T . En efecto, para todo q M y todo
x X se tiene que
B C(q)(x) = B Cq(x)
= Cq(Bx)
= Bx(q)
= hBx, qi
= hB T q, xi
= B T q(x),
es decir
B C(q) = B T q,
para todo q M y por lo tanto concluimos que
kB Ck = kB T k.
De otro lado, por Teorema (ver Teorema (0.0.12)) sabemos que
kBk = kB k.
Por u
ltimo, mostremos que
kB T k = kBk.
En efecto, podemos ver que
kB T k = kB Ck
kB kkCk
= kBkkCk
pero,
kCk = sup
qM

kCqk
kqk

q6=0

= sup
qM

kqk
kqk

q6=0

= sup 1
qM

q6=0

= 1,
14

y por lo tanto
kB T k kBk.
Por otro lado, para x 6= 0 se tiene que
B Cx = C(Bx),
luego, usando que C es una isometria, obtenemos que
kBxk = kC(Bx)k = kB Cxk
kB Ckkxk
= kB T kkxk,
y as, se obtiene que
kBxk
kB T k,
kxk

con x 6= 0

es decir
kBk kB T k.
En consecuencia se tiene que
kB T k = kBk,
y por lo tanto
kB k = kBk = kB T k = kB Ck.
A continuaci
on presentaremos un teorema que garantiza existencia y unicidad para el problema
(1.0.5). Antes de ello denotemos por
V := KerB = {u X : Bu = 0} = {u X : b(u, q) = 0 q M },
y
V 0 = {h X 0 : hh, vi = 0 v V }.
Ademas definamos
: X 0 V 0,
la inyeccion can
onica que se define para cualquier h X 0 por:
hh, vi = hh, vi

v V .

Teorema 1.0.14 El problema (1.0.5) tiene u

nica soluci
on s y s
olo si
1. A es un isomorfismo de V en V 0
2. B : X M 0 es sobreyectiva
Demostraci
on.
) supongamos que (1.0.5) tiene solucion u
nica. Probemos la sobreyectividad de B, en
efecto. Sea h M 0 . Como el problema (1.0.5) tiene solucion u
nica entonces para el operador
f = 0 y h = g tenemos que existe u X tal que Bu = g, as B es sobreyectiva. Ahora probemos
la sobreyectividad de A, para ello tomemos f V 0 , como f es un operador lineal y acotado
tenemos por el Teorema Hahn-Banach (ver Teorema (0.0.5)), que existe
f: X R,
15

lineal y acotada, tal que f es la extension de f a todo X, as para f y g = 0 tenemos que existe
(u, p) X M tal que esta es soluci
on de
Au + B T p = f,
Bu = 0.
Luego para v V
hAu, vi + hB T p, vi = hf, vi = hf, vi.

(1.0.8)

hB T p, vi = hBv, pi = 0 v V,

(1.0.9)

Podemos notar que

por lo tanto se obtiene que
hAu, vi = hf, vi

v V.

Por otro lado

Au = Au,
pues Au es la restricci
on a V , de donde A es sobreyectiva. Ahora debemos verificar la
inyectividad de A. Para esto tomemos u V talque
Au = 0,
luego para cada v V tenemos
Au(v) = Au(v) = 0 = hf, vi,
y as Au V 0 = (KerB)0 . Como B es sobreyectiva tenemos que
ImB = M 0 ,
el cual es cerrado en M 0 , pues todo espacio es cerrado en si mismo, entonces por el Teorema
del rango cerrado (ver Teorema (0.0.13)),
V 0 = ImB T .
Observaci
on Notemos que el Teorema del Rango cerrado nos garantiza relaciones entre el
Kernel e Imagen de los operadores
B y B,
pero podemos mostrar por ejemplo que
KerB = KerB T .
En efecto, usando el Lema (0.0.8) se tiene que
KerB = {g M 00 : B g = 0}
= {q M : B Cq = 0}

(Cq = g)

= {q M : B Cq(x) = 0 x X}
= {q M : Cq(Bx) = 0 x X}
= {q M : Bx(q) = 0 x X}
= {q M : hBx, qi = 0 x X}
= {q M : hB T q, xi = 0 x X}
= KerB T ,
16

por tanto podemos usar el operador B T en lugar del operador B . Ahora, recordando que se
tenia que
Au V 0 ,
entonces
Au ImB T ,
de igual manera se tiene que Au ImB T , por lo tanto existe p M tal que
B T (p) = Au,
esto es
Au + B T p = 0,
Bu = 0.
Podemos ver que (u, p) = (0, 0) es solucion de este problema y como por hipotesis esta es u
nica,
concluimos que u = 0 y as se tiene la inyectividad de A.
) supongamos que se tienen las dos consecuencias del teorema y probemos que el problema
(1.0.7) tiene soluci
on u
nica, en efecto. Sean f X 0 y g M 0 los elementos que aparecen en el
problema (1.0.7). Como se tiene la sobreyectividad de B, se garantiza que existe ug X tal que
Bug = g,
ademas para f X 0 tenemos que
f Aug V 0 ,
y como A es sobreyectiva entonces existe u0 V tal que
A(u0 ) = f Aug .
Ahora si tomamos u = u0 + ug tenemos que:
A(u0 ) + Aug = f ,
es decir
Au = f,
con lo cual tenemos que (f Au) es el operador nulo , esto es
hf Au, vi = 0 v V ,
as f Au (KerB)0 .
Por otro lado, usando que B es sobreyectiva o equivalentemente que
ImB = M 0 ,
que es cerrado, se obtiene que por el Teorema del rango cerrado (ver Teorema (0.0.13)) que
(KerB)0 = ImB T ,
luego existe p M tal que
f Au = B T p,
17

y por lo que habiamos visto

Bu = Bug + Bu0 = Bug + 0 = g.
En consecuencia se tiene que
Au + B T p = f,
Bu = g.

(1.0.10)

Para culminar la prueba, resta probar la unicidad de la solucion, para ello supongamos que existe
otra pareja (
u, p) X M que satisfacen la ecuacion (1.0.7), es decir tenemos lo siguiente:
Au + B T p = f,
Bu = g,
y
A
u + B T p = f,
Bu
= g,
de ambas ecuaciones podemos observar que A(u u
) + B T (p p) = 0 y as
A(u u
) + B T (p p) = 0,
y como la restricci
on de B T (p p) en V se anula, entonces tenemos que
A(u u
) = 0,
pero por la hip
otesis tenemos que A es inyectiva, con lo cual
uu
= 0,
es decir u = u
, luego
B T (p p) = 0.
De otro lado podemos ver que B T es inyectiva, esto u
ltimo como consecuencia del Teorema del
rango cerrado (ver Teorema (0.0.13)), ya que B es sobreyectiva, por lo tanto
p p = 0,
esto es
p = p,
y con esto se tiene la unicidad buscada para el problema (1.0.7).

1.0.2.

Condici
on inf-sup para la sobreyectividad

Una formulaci
on equivalente para la parte dos del teorema (1.0.14) se da gracias a la condici
on
que mostramos en seguida.
Definici
on 1.0.19 La propiedad
> 0, nf sup
qM vX

b(v, q)
,
kvkX kqkM

18

se conoce como la condici

on inf-sup o la condici
on Babuska-Brezzi o la condici
on LBB
(por Ladyzhenskaya-Babuska-Brezzi).
Obsevaci
on Es conveniente reescribir la condicion de la definicion anterior como
b(v, q)
kqkM ,
vX kvkX

> 0, q M, sup
o como

> 0, q M, kB T qkX 0 kqkM .

En seguida mostramos un teorema que garantiza una condicion suficiente y necesaria para la
condicion dos del teorema (1.0.14). Antes de ello definimos el espacio ortogonal de V .
Definici
on 1.0.20 El espacio ortogonal de V se define asi:
V = {v X : hv, uiX = 0

u V }.

Observaci
on Notemos que para
f V 0 X 0,
existe x := R(f ) X, el representante de Riesz (ver Teorema 3.8 [10]) tal que
(R(f ), u)X = hf, uiX

u X,

as para v V tenemos que

(R(f ), v)X = hf, viX = 0,
es decir R(f ) V va isomorfismo, donde este isomorfismo se plantea como la aplicacion
R: V 0 V
tal que a cada f V 0 se le aplica su respectivo representante de Riesz y este pertenece a V .
Teorema 1.0.15 Para > 0 los tres resultados siguientes son equivalentes
1. La condici
on inf-sup se satisface con constante .
2. B T es un isomorfismo de M sobre V 0 y
q M, kB T qkX 0 kqkM .
3. B es un isomorfismo de V sobre M 0 y
u V , kBukM 0 kukX .
Demostraci
on.
2) 1) notemos que por la observacion de la definicion (1.0.19) esta implicacion es directa.

19

1) 2) podemos observar que para q M se tiene que

hB T q, viX
kvkX
vX
hBv, qiM
= sup
vX kvkX
b(v, q)
= sup
kqkM ,
vX kvkX

kB T qkX 0 = sup

(1.0.11)

por lo tanto
kB T qkX 0 kqkM

q M,

(1.0.12)

y podemos ver observar que este hecho implica la inyectividad de B T , en efecto. Sean q1 , q2 M
tales que
B T q1 = B T q2 ,
as,
0 = kB T (q1 q2 )kX 0 k(q1 q2 )kM 0,

( > 0)

es decir
q1 = q2 .
Ahora probemos que ImB T es cerrado. Con esto y el Teorema del rango cerrado garantizaremos
que V 0 = ImB T y asi tendremos la biyectividad que se pedia.
Notemos que
B T : M ImB T ,
es una biyecci
on y mas a
un podemos ver que (B T )1 es continua, ya que para f ImB T
cualquiera, existe q M tal que
B T q = f,
entonces
q = (B T )1 f

y kqkM = k(B T )1 f kM ,

(1.0.13)

y como por hip

otesis tenemos que se cumple la condicion inf-sup se tiene que
k(B T )1 f kM

1
kf kX 0 ,

(1.0.14)

ademas se puede ver que B T es continua, ya que si usamos la linealidad y continuidad de b

tenemos que
|hB T q, uiX | = |hBu, qiM |
= |b(u, q)|
kkukX kqkM

(1.0.15)
(k > 0),

luego usando este hecho, la biyectividad y ademas que se satisface (1.0.14) entonces garantizamos
que ImB T es cerrado (ver Lema (0.0.10)). Por tanto del Teorema del rango cerrado
ImB T = (KerB)0 = V 0 ,
y como consecuencia se tiene la biyeccion que se pedia.

20

2) 3) dada la biyectividad de B T tenemos que

ImB T = X 0 ,
es decir ImB T es cerrado, pues todo espacio es cerrado en s mismo, luego usando el Teorema
del rango cerrado (ver Teorema (0.0.13)) se tiene que
ImB = (KerB T )0 = {0}0 = M 0 ,
ademas
B : V M 0,
es inyectiva, esto u
ltimo por restringir el operador B al conjunto V . En efecto. Supongamos
que para w, z V tenemos que
Bw = Bz,

con

Bw 6= 0

y Bz 6= 0,

es decir B(w z) = 0, luego para todo q M tenemos que

hB(w z), qi = 0,
equivalentemente
hB T q, w zi = 0
y por lo tanto
hB T q, wi = hB T q, zi,
pero como B T es inyectiva, tenemos que
w = z,
por lo tanto se tiene que B es un isomorfismo de V en M 0 .
Dado que 2) 1) entonces
q M, kB T qkX 0 kqkM ,
y ademas usando biyectividad de B T tenemos que para h = B T q, esto es
(B T )1 h = q,
tenemos que
k(B T )1 hkM

1
khkX 0 ,

por lo tanto k(B T )1 k 1 , luego

kB 1 k = k(B 1 )T k = k(B T )1 k 1 ,
entonces para g M 0 existe u V tal que
Bu = g,
as tenemos que
B 1 (g) = u y

kB 1 (g)kX = kukX
21

y por tanto
1
kgkM 0 ,

como g M 0 era cualquiera, est

au
ltima desigualdad es valida para todo g M 0 , en consecuencia
kB 1 (g)kX

v V .

kBukM 0 kukX
3) 2) supongamos que

B : V M 0,
es un isomorfismo y adem
as que
u V .

kBukM 0 kukX

Luego ImB = M 0 es cerrado y por el Teorema del rango cerrado tenemos que
ImB T = (KerB)0 = {0}0 = X 0 ,
y tambien que B T es inyectiva, por tanto
BT : M X 0,
es un isomorfismo, en particular
BT : M V 0,
es un isomorfismo, adem
as podemos ver que
u V

kBukM 0 kukX
implica que
kBk ,
y como

kB T k

= kBk, entonces
kB T k ,

o equivalentemente
q M, kB T qkX 0 kqkM .
Teorema 1.0.16 (Babuska-Brezzi)
Sean X y M dos espacios de Hilbert, A : X X 0 y B : X M 0 los operadores inducidos por
las formas bilineales y acotadas a : X X R y b : X M R. Supongamos que:
1. > 0 tal que
sup
vX

b(v, q)
kqkM
kvkX

q M

2. > 0 tal que

a(v, v) kvk2X

v V = kerB.

Entonces para cada f X 0 y g M 0 existe una u

nica pareja (u, p) X M tal que
Au + B T p = f,
Bu = g.
Adem
as existen constantes c1 , c2 y c3 positivas tales que
q
k(u, p)kXM c1 kf k2X 0 + c2 kf kX 0 kgkM 0 + c3 kgk2M 0 ).
22

Demostraci
on
Dada la hip
otesis 1) tenemos por el teorema (1.0.15) que
B : V M 0,
es biyectiva, as para g M 0 existe u0 V tal que
Bu0 = g,
ademas tenemos que
kgkM 0 = kBu0 kM 0 ku0 kX ,
o equivalentemente
ku0 kX

1
kgkM 0 .

(1.0.16)

Por otro lado podemos ver que V = kerB es cerrado. Para tal hecho denotemos por
V 0,
al conjunto de puntos de acumulaci
on del conjunto V, entonces debemos probar que
V 0 V.
En efecto. Sea w V . Luego, tenemos que
 > 0, V (c (w) {w}) 6= ,
donde (c (w)) denota la vecindad de w con radio  respecto a la metrica del espacio X, por lo
tanto para  = n1 se tiene que
{vn }nZ+ V, kw vn kX <

1
n

n Z+ ,

es facil ver que {vn }nZ+ es una sucesi

on de Cauchy, y como X es un espacio de Hilbert entonces
X es completo, luego esta sucesi
on es convergente y mas a
un converge a w. En consecuencia
tenemos que
Bw = B(w vn + vn ) = B(w vn ) + Bvn = B(w vn ) + 0 = B(w vn ),
y dado que B es continua, se observa que pasando al lmite cuando n tiende a infinito, entonces
Bw = B( lm w vn ) = B(0) = 0,
n

con lo cual,
w V,
y as V es cerrado. Al ser V cerrado, se sigue que
X =V V
(ver Teorema 3.3-4 [10]), luego para u0 V existe u
V tal que
u=u
+ u0 ,
23

para alg
un u X, as por la linealidad de A se tiene que
Au + B T p = A
u + Au0 + B T p = f,
esto es
A
u + B T p = f Au0 ,
y por tanto para todo v V
hA
u + B T p, viX = hf Au0 , viX .
Pero
hB T p, viX = B(v, p) = 0,
concluyendo que
hA
u, viX = hf Au0 , viX .
Ahora haciendo uso de la hi
otesis 2) y que
hAu, viX = a(u, v)

(u, v) X X,

tenemos que
k
ukX kf Au0 kX 0
1
1
kf kX 0 + kAkX 0 ku0 kX

1
1
kf kX 0 +
kAkX 0 kgkM 0

(1.0.17)
(Usando (1.0.16)).

De otro lado, veamos que para B se tiene lo siguiente

Bu = B u
+ Bu0 = 0 + g = g.
As, tenemos que
kukX k
ukX + ku0 kX
1
1
1
kf kX 0 +
kAkX 0 kgkM 0 + kgkM 0

1
1 1
= kf kX 0 + ( kAkX 0 + 1)kgkM 0 .

Recordando que
hA
u, viX = hf Au0 , viX ,
entonces
f Au = f A(
u + u0 ) = 0,
por tanto
f Au V .
Ahora usando la hip
otesi 1) tenemos que
BT : M V 0,

24

(1.0.18)

es un isomorfismo, luego existe p M tal que

B T p = f Au en X.
lo que es equivalente a
Au + B T p = f

en X.

(1.0.19)

Podemos notar que

kf AukX 0 = kB T pkX 0 kpkM ,
es decir
1
kf AukX 0

1
(kf kX 0 + kAkX 0 kukX ).

kpkM

Por lo tanto
kukX
kpkM kf kX 0 (

1
1 1
kf kX 0 + ( kAkX 0 + 1)kgkM 0

1
1
kAkX 0
+
kAkX 0 ) + kgkM 0 (
(kAkX 0 + 1)),

2

y as
k(u, p)kXM =

q
q
kuk2X + kpk2M c1 kf k2X 0 + c2 kf kX 0 kgkM 0 + c3 kgk2M 0 ,

kAkX 0 2
kAkX 0
kAkX 0 kAkX 0
1
1
) ), c2 = 2(( 2 + 2 ) + ( + )( 2 ))
kAk
( X 0 + 1)2 , de donde se concluye la demostracion.

donde c1 = ( 12 + ( 1 +
c3 = (

kAkX 0
2

+ 1)2 +

Ejemplo de aplicaci
on (Problema de Neumann)
Sea R2 , abierto y acotado, recordemos que en el problema de Neumann (1.0.1) se tenian
ciertas dificultades, pues no se tenia la condicion de elipticidad y con ello no se podia garantizar
la unicidad, entonces se replanteaba de tal manera que el problema tuviera una estructura mixta
y se mostro que esta consista en hallar (u, ) H 1 () R tal que
a(u, v) + b(v, ) = f (v) v H 1 ()
b(u, ) = g() R,
donde

Z
u v,

a(u, v) :=

b(v, ) :=

y
Z
f (v) :=

u
v+
n

Z
f v,

g() := 0,

para todo u, v H 1 () y para todo R, con a una forma bilileal sobre H 1 () H 1 () y b

una forma bilineal sobre H 1 () R, mientras que f es un operador lineal sobre H 1 () y g un
operador lineal sobre R.
Soluci
on

25

Notemos que la condici

on nf-sup se satisface para la forma bilineal b. En efecto.
R
v
b(v, )
sup
= sup
kvkH 1 () vH 1 () kvkH 1 ()
vH 1 ()
v6=0

v6=0
2 ||

kkH 1 ()

(v = H 1 () por ser acotado)

2 ||
1

|||| 2
1

= || 2 ||
1

= || R (donde = || 2 ),
de otro lado podemos ver que
Z
a(v, v) =

v v Ckvk v H 1 (),

esto gracias a la desigualdad de Poincare (ver Teorema (0.0.2)), por lo tanto , del Teorema de
Babuska-Brezzi tenemos que hay solucion u
nica para el problema de Neumann.

1.0.3.

Minimizaci
on con restricci
on

En esta secci
on, mostraremos la relacion que tienen las formulaciones variacionales mixtas
con los puntos silla de ciertos tipos de problemas de estimacion, ademas mencionar como estan
involucrados los llamados multiplicadores de Lagrange que son conocidos por ayudar a maximizar
o minimizar diferentes tipos de problemas, para ello comenzamos con un importante Teorema
que servira para tal proposito.
Teorema 1.0.17 (Minimizaci
on de energia)
Sean X un espacio de Hilbert, a : X X R una forma bilineal continua, simetrica y positiva,
adem
as sea f X 0 . Entonces las siguientes afirmaciones son equivalentes
1. u X es tal que a(u, v) = hf, vi

v X.

2. u X minimiza el funcional energia J(v) = 12 a(v, v) hf, viX 0 sobre X,

esto es J(u) = mn J(v).
vX

Demostraci
on
Supongamos que
a(u, v) = hf, vi

v X,

notemos que para

w = u + tz X,
con t R, z X y z 6= 0 tenemos que
1
J(u + tz) = a(u + tz, u + tz) hf, u + tzi
2
1
= (a(u, u) + ta(z, u) + ta(u, z) + t2 a(z, z)) hf, ui thf, zi
2
1
t2
= (a(u, u) hf, ui + ta(u, z) + a(z, z) thf, zi
2
2
2
t
= J(u) + t(a(u, z) hf, zi) + a(z, z),
2
26

Notemos que esta funci

on cuadr
atica tiene la particularidad de que el signo que acompa
na a t2
es positivo, de donde la funci
on alcanzara un mnimo en t R tal que
d
J(u + tz) = 0,
dt
as,
d
hf, zi a(u, z)
J(u + tz) = 0 a(u, z) hf, zi + ta(z, z) = 0 t =
= 0,
dt
a(z, z)
es decir, para t = 0 tenemos que
J(u) J(u + tz),
para todo z X y para todo t R, en particular para t = 1 y z = y u X tenemos que
J(u) J(y)

y X,

en consecuencia, u minimiza el funcional de energia J.

Reciprocamente, si u X minimiza a J entonces tenemos que
J(u) J(w)

w X,

en particular
J(u) J(u + tz) t R , z X,
pero,
J(u + tz) = J(u) + t(a(u, z) hf, zi) +
de donde
0 t(a(u, z) hf, zi +
en particular, si hacemos t =

hf,zia(u,z)
a(z,z)

t2
a(z, z),
2

t2
a(z, z)) z X , t R,
2

entonces

(a(u, z) hf, zi)2

,
2a(z, z)

como 2a(z, z) > 0, se tiene que

(a(u, z) hf, zi)2 0 a(u, z) hf, zi = 0 z X
a(u, z) = hf, zi

z X.

Nota Si a es elptica entonces por el lema de Lax-Milgram se garantiza existencia y unicidad

para este problema (ver lema (0.0.9)).
Definici
on 1.0.21 La aplicaci
on
J: X R
definida por J(v) = 21 a(v, v) hf, viX 0 es llamado el funcional energia del problema (1.0.5)
Aqui mostraremos que el problema mixto (1.0.5) esta relacionado con el mismo problema de
minimizacion del funcional energia, sujeta por la restriccion de que la solucion pertenezca al
conjunto
V (g) = {u X : Bu = g} = {u X : b(u, q) = hg, qiM 0 q M }.
Note que V = KerB coincide con V (0).
27

Definici
on 1.0.22 La aplicaci
on L : X M R definida por
L(v, q) = J(v) + b(v, q) hg, qi
es llamado el problema de Lagrangian (1.0.5).
Definici
on 1.0.23 Una pareja (u, p) X M se dice que es un punto silla de Lagrangian L
si se satisface que
L(u, q) L(u, p) L(v, p) (v, p) X M.
Teorema 1.0.18 Si (u, p) es un punto silla de L entonces
L(u, p) = mn max L(v, q) = max mn L(v, q).
vX qM

qM vX

Demostraci
on
Notemos que por ser (u, p) punto silla, entonces
L(u, q) L(v, p) (v, q) X M,
en particular para q = p, tenemos que
L(u, q) L(v, p) = L(v, q) v X,
es decir, L(v, q) esta acotado por debajo y por lo tanto
nf L(
v , q) L(v, q),

vX

similarmente tenemos que para u = v

L(u, q) = L(v, q) L(v, p) q M,
esto es, L(v, q) esta acotado superiormente y en consecuencia
sup L(v, q) L(v, q),
qM

as
nf L(
v , q) L(v, q) sup L(v, q),

vX

qX

luego
sup nf L(
v , q) sup L(v, q),

qX vX

qX

y obtenemos que
sup nf L(v, q) nf sup L(v, q).

qX vX

vX qX

(1.0.20)

Por otro lado utilizando que (u, p) X M es punto silla, entonces

L(u, q) L(u, p) L(v, p) (v, p) X M,
tomando supremo sobre M en el lado izquiero e nfimo sobre X en el dado derecho se tiene que
sup L(u, q) L(u, p) nf L(v, p),
vX

qM

28

es decir
sup L(u, q) = L(u, p) = nf L(v, p),
vX

qM

y ademas, utilizando estas dos relaciones observamos que

nf sup L(u, q) nf L(v, p) = L(u, p),

vX qM

vX

y
sup nf L(v, q) sup L(u, q) = L(u, p),

qM vX

qM

de donde
nf sup L(u, q) sup nf L(v, p).

vX qM

qM vX

En consecuencia tenemos que

nf sup L(u, q) = L(u, p) = sup nf L(v, p),

vX qM

qM vX

y as culmina la demostraci
on.
Teorema 1.0.19 Sean X y M espacios de Hilbert, a : X X R y b : X M R formas
bilineales y continuas. Si a es simetrica y positiva entonces las siguientes afirmaciones son
equivalentes
1. (u, p) es punto silla de L.
2. (u, p) es soluci
on de (1.0.5).
Demostraci
on
1) 2) supongamos que (u, p) X M es punto silla de L, luego
L(u, q) L(u, p) q M,
esto es
J(u) + b(u, q) hg, qi J(u) + b(u, p) hg, pi

b(u, q) hg, qi b(u, p) hg, pi

b(u, q p) hg, q pi

b(u, tr) hg, tri

q M

q M

q M

r M, t R,

donde en esta u
ltima desigualdad se usa el hecho de que M es un espacio vectorial y as para
t R tenemos que
q p = tr M,
para todo r M . Adem
as notemos que la u
ltima desigualdad se cumple para todo t R, en
particular para t = 1 se tiene que
b(u, r) hg, ri

r M,

equivalentemente
b(u, r) hg, ri
29

r M,

por lo tanto se tiene la igualdad , es decir para todo r M tenemos que

b(u, r) = hg, ri.
donde
Ahora, para p M definimos f y J,
= 1 a(v, v) hf, vi
J(v)
2

v X

hf, vi = hf, vi b(v, p) v X,

y como
L(u, p) L(v, p)

v X,

entonces
J(u) + b(u, p) hg, pi J(v) + b(v, p) hg, pi

v X

J(u) + b(u, q) J(v) + b(v, p) v X

J(u)
J(v)
v X,

luego, de la u
ltima expresi
on vemos que u X es un mnimo para J(v)
con v variando en X,
ademas sabiendo que X es un espacio de Hilbert y que la forma bilineal a satisface las condiciones
del teorema (1.0.17), tenemos que u X satisface que
a(u, v) = hf, vi

v X,

por lo cual usando la definici

on de f se obtiene que
a(u, v) + b(v, p) = hf, vi

v X,

y as se satisfacen las condiciones de (1.0.5). Note que en la demostracion las consecuencias en

cada paso son s y s
olo si, de donde las dos afirmaciones del teorema son equivalentes.
Teorema 1.0.20 Sean X y M espacios de Hilbert, a : X X R y b : X M R formas
bilineales y continuas. Supongamos que a es simetrica y elptica. Adem
as V (g) es no vacio.
Entonces el problema de encontrar u X tal que
J(u) = nf J(v)

(1.0.21)

vV (g)

tiene una u
nica soluci
on.
Adem
as si b satisface la condici
on nf-sup entonces existe un u
nico p M tal que (u, p) es el
u
nico punto silla L y es la u
nica soluci
on del problema (1.0.5).
Demostraci
on
Sea ug V (g), luego
Bug = g,
as recordando que
V = KerB = {u X : Bu = 0},
y usando la linealidad de B tenemos que
V (g) = ug + V,
30

en efecto. Si v ug + V entonces
v = ug + v,
con v V , luego
B(v) = Bug + B
v = g + 0 = g,
es decir v V (g). Ahora supongamos que w V (g), notemos que
w = (w ug ) + ug ,
y que
B(w ug ) = 0,
es decir
w ug V,
y por lo tanto w ug + V . As se concluye la igualdad de los dos conjuntos, de donde la
minimizacion del problema (1.0.21) es equivalente a la minimizacion de
= J(ug + v),
J(v)
sobre el espacio lineal V . Como sabemos que el espacio V es cerrado, ya que b es continua y
as el operador B tambien lo es, tenemos que
(V, k.kX ),
es un espacio de Hilbert, entonces por el Lema de Lax-Milgram y por el teorema (1.0.17) tenemos
que el problema (1.0.21) tiene una u
nica solucion
u = ug + u0 ,
con u0 V , es decir
a(u, v) = hf, vi a(ug + u0 , v) = hf, vi,
equivalentemente
a(u0 , v) = hf, vi a(ug , v)

v V.

Ahora si la condici
on nf-sup se satisface tenemos que por (1.0.15) B es sobreyectiva y
V 0 = (KerB)0 = ImB T .
Tomemos u V (g) la u
nica soluci
on del problema (1.0.21), luego
a(u, v) = hf, vi,
para todo v V , as podemos notar que
hf Au, vi = hf, vi hAu, vi = a(u, v) a(u, v) = 0 v V,
es decir f Au V 0 = ImB T , luego existe p M tal que
B T p = f Au,
equivalentemente
Au + B T p = f.
31

Gracias al teorema (1.0.15) sabemos que B T es inyectivo, por tal razon p es u

nico y ademas que
u X satisface que
Bu = g,
y por lo tanto tenemos la unicidad de (u, p), la cual satisface el problema (1.0.5). Ahora bien,
por u
ltimo usando el teorema (1.0.19), la pareja (u, p) es el u
nico punto silla L.
Nota Recordemos que la condici
on nf-sup es equivalente a la sobreyectividad de B o lo que es
equivalente a que B tenga rango cerrado y B T es inyectivo.
Si en el teorema (1.0.20) solo exigimos que B tenga rango cerrado, entonces solo se puede
garantizar la existencia del Multiplicador de Lagrange p y no s
u unicidad.

32

Bibliografa
[1] G. Allaire, Numerical Analysis and Optimization. university press. Oxford, New York,
2007.
[2] I. Babuska, The finite element method with lagrangian multipliers. Numer. Math., Vol. 20
(1973), pp. 179192.
[3] D. Boffi and L. Gastaldi (Eds.), Mixed Finite Elements, Compatibility Conditions and
Applications, Springer, Berlin, 2008.
[4] H. Brezis, Functional analysis, Sobolev spaces and partial differential equations. Universitext. Springer, New York, 2011.
[5] F. Brezzi, On existence, uniqueness and approximation of saddle-point problems arising
from Lagrange multipliers. RAIRO Model. Math. Anal. Numer., Vol. 2 (1974), pp. 129-151.
[6] F. Brezzi and M. Fortin, Mixed and hybrid finite element method, Springer, New-York,
1991.
[7] A. Ern and J.-L. Guermond, Theory and practice of finite elements, Springer Verlag,
New-York, 2004.
[8] J.-F. Gerbeau and C. Farhat, The Finite Element Method for Fluid Mechanics, Stanford University, 2009.
[9] V. Girault and P. A. Raviart, Finite Element Methods for Navier Stokes Equations,
Springer, New York, 1986.
[10] Kreyszig, E., Introductory functional analysis with applications, Wiley, 1978.
[11] P. Monk, Finite Element Methods for Maxwells Equations, Oxford Clarendon Press, 2003.
[12] Y. Perdomo, Formulaci
on debil y de Galerkin de la ecuaci
on bidimensional de Poisson,
Universidad del Cauca, Trabajo de grado para obtener el ttulo de Matematico, 2011.
[13] R. Temam, Navier-Stokes Equations, Theory and Numerical Analysis, North-Holland,
1979.

33