Analis Matematico II

Edwin Quizphi
Ingeniera Matem
atica
Escuela Politecnica Nacional
20 de octubre de 2014

Teorema 1 (Stampacchia). Sea a(u, v) una forma bilinieal continua y coerciva. Sea K un convexo, cerrado y no vaco.
Dado H 0 , exite u K u
nico tal que
a(u, v u) h, v ui

v K

Adem
as, si a es simetrica, entonces u se caracteriza por la propiedad
(
uK


1
n 21 a(v, v) h, vi
2 a(u, u) h, ui = m
vk

Demostraci
on. Para demostrar el teorema se utilizara el siguiente resultado clasico:
Teorema 2 (Teorema del punto fijo de Banach-metodo de aproximaciones sucesivas de Picard).
Sean X un espacio metrico completo y sea S : X X una aplicaci
on tal que:
d(Sv1 , Sv2 ) kd(v1 , v2 )

v1 , v2 K

conk < 1

Entonces S tiene un punto fijo u

nico, u = Su
Seg
un el teorema de representaci
on de Riesz-Frechet esxiste f H u
nico tal que
h, vi = (f, u)

v H

Por otra parte, para todo u H fijo, la aplicacion v 7 a(u, v) es una forma lineal continua sobre
H, y gracias al teorema de representacion de Riesz-Frechet existe un elemento de H, notado por
Au, tal que a(u, v) = (Au, v)
v H. Es claro que A es un operador lineal de H en H y que
|Au| C|u|

u H

(Au, u) |u|2

u H

El problema consiste entonces en encontrar u K tal que

(Au, v u) (f, v u)

u K

Sea > 0 una constante que se fijar

a mas adelante. La desigualdad anterior equivale a
(f Au + u u, v u) 0

u K

es decir,
u = PK (f Au + u)
Para todo u K, se pone Sv = PK (f Av + v). Demostremos que si > 0 se elige adecuadamente, entonces S es una contracci
on estricta, es decir existe k < 1 tal que
|Sv1 Sv2 | k|v1 v2 |

v1 , v2 K

En efecto, por la proposici

on V.3 se tiene
|Sv1 Sv2 | |(v1 v2 ) (Av1 Av2 )|
y entonces,
|Sv1 Sv2 |2 |v1 v2 |2 2(Av1 Av2 , v1 v2 ) + 2 |Av1 Av2 |2
|Sv1 Sv2 |2 |v1 v2 |2 (1 2 + 2 C 2 )
Fijando < 0 tal que k 2 = 1 2 + 2 C 2 < 1 se ve que S admite un punto fijo u
nico.
Supongamos ahora que la forma a(u, v) es simetrica. Entonces a(u, v) define un nuevo producto
escales en H cuya norma asociada a(u, u)1/2 es equivalente a la norma ||. As pues H es tambien
un espacio de Hilbert para este producto escalar. Aplicando el teorema de representacion de
Riez-Frechet se obtiene g H tal que
h, vi = a(g, v)

v H

Entonces,
a(g u, v u) 0

v K

es decir, u = PK g, proyecci
on en el sentido del producto escalar definido por a. Seg
un el teorema
V.2 equivale a hallar u K donde se alcanza
mn a(g v, g v)2

vK

Esto es minimizar sobre K a(v, v) 2a(g, v), o tambien 21 a(v, v) langle, vi Si a(u, v) es una
forma bilineal tal que a(u, v) 0
v H entonces la funcion v 7 a(v, v) es convexa
Teorema 3 (Lax-Milgram). Sea a(u, v) una forma bilinieal continua y coerciva. Sea K un
convexo, cerrado y no vaco.
Dado H 0 , exite u K u
nico tal que
a(u, v u) = h, v ui

v K

Adem
as, si a es simetrica, entonces u se caracteriza por la propiedad
(
uK


1
n 21 a(v, v) h, vi
2 a(u, u) h, ui = m
vk

Demostraci
on. Resolver la igualdad de este teorema es demostrar que
f H, u H

unica

dicho de otro modo, que A es biyectiva. Pero

a. R(A) es cerrado ya que |v| |Av|
b. R(A) es denso, ya que (Au, v) = 0

v H
u H

y esto implica que v = 0

talque

Au = f