UNIVERSIDAD DE CONCEPCION

FACULTAD DE CIENCIAS
FISICAS Y MATEMATICAS
DEPARTAMENTO DE INGENIERIA MATEMATICA

EVALUACION 1.
Analisis Funcional y Aplicaciones I.
525401.
Segundo Semestre 2006.

Sea un abierto de IRn dotado de la medida de Lebesgue dx. Sea p, q IR con 1 6 p, q 6 , tales
1 1
que + = 1. Recordemos las definiciones de los espacios de funciones medibles
p q
Z
p
L () = {f : IR | f es medible, y |f |p dx < }, 1 6 p < ,

L () = {f : IR | f es medible, y C > 0|f (x)| C, c.t.p. en }
Z 1/p
p
y denotemos kf kLp = |f (x)| dx y kf kl = sup ess |f (x)|.
x

1. Pruebe la desigualdad de Holder: para todo f Lp () y g Lq () se tiene

Z
|f g|dx 6 kf kLp kgkLq .

Para ello siga los siguientes pasos

(a) (0.5 pts) Verifique que para p = 1 y q = la desigualdad es evidente, y suponga en lo

que sigue (de 1.(b) a 1.(e)) que 1 < p, q < .
(b) (0.5 pts) Pruebe la desigualdad de Young:
1 p 1 q
ab 6 a + b , para todo a, b > 0
p q
Indicacion: aplique log, y utilice el hecho que log :]0, ] IR es una funcion concava.
(c) (0.5 pts) Utilice la desigualdad de Young para probar que
1 1
Z
|f g| 6 kf kpLp + kgkqLq
p q

(d) (0.5 pts) Pruebe la desigualdad de Holder para kf kLp = kgkLq = 1

(e) (0.5 pts) Haciendo f = f /kf kLp y g = g/kgkLq , pruebe la desigualdad de Holder para
todo f Lp () y g Lq ().

Asumiremos de ahora en adelante que Lp () es un espacio de Banach con la norma k kLp para
1 6 p 6 , y ademas asumiremos (sin demostrar) que Lp () es reflexivo para 1 < p < .

2. Pruebe el Teorema de Representacion de Riesz en Lp : Sea (Lp ()) , con 1 < p < ,
entonces existe un unico u Lq tal que
Z
< , f >= uf, f Lp ()

y ademas kukLq = kk(Lp ()) . Para ello siga los siguientes pasos

1
 (a) (0.7 pts) Considere el operador T : Lq (Lp ()) tal que por
Z
< T u, f >= uf dx, f Lp (),

y pruebe que este operador esta bien definido.

(b) (0.7 pts) Pruebe usando la desigualdad de Holder que T es lineal, continuo y que kT uk(Lp ()) 6
kukLq () .
(c) (0.7 pts) Tomando f0 = |u(x)|q2 u(x) (f0 (x) = 0 si u(x) = 0), pruebe que f0 Lp (),
kf0 kLp = kukq1 q
Lq y que < T u, f0 >= kukLq .
(d) (0.7 pts) Deduzca que kT uk(Lp ()) = kukLq () , y por lo tanto T es una isometra de Lq ()
en un sub-espacio cerrrado de (Lp ()) .
(e) (0.7 pts) Demuestre que T es sobreyectivo. Para ello pruebe separadamente que T (Lq ())
es cerrado y denso en (Lp ()) . Para demostrar que T (Lq ()) denso en (Lp ()) , considere
h en (Lp ()) (= Lp () puesto que Lp () es reflexivo) tal que < T u, h >= 0 para todo
u Lq y pruebe que h = 0 tomando u = |h|p2 h.

Duracion : 2 horas.
MSC/msc
(10-Octubre-2006)