4.

ESPACIOS

Lp .

1. FUNCIONES CONVEXAS Y DESIGUALDADES. A lo largo de este tema juegan un papel importante desigualdades que provienen de la idea de convexidad. Las desarrollamos aqu previamente a la denici on de los p espacios L . (4,1,1) Denici on. Decimos que una funci on : I R denida en un intervalo de R es convexa si x + (1 )y f (x) + (1 )f (y ) para todo x, y I y todo 0 1. (4,1,2) Propiedades. Sea : I R. (a) Si es convexa, entonces
n n

j =1

j xj
j =1

j (xj ),
n j =1

para todo x1 , . . . , xn I y 1 ,. . . , n 0 con

n = 1.

(b) es convexa si y s olo si para todo x < y < z en I se tiene (y ) (x) (z ) (y ) . yx zy (c) Si es convexa existen las derivadas laterales de en cada punto de I . Por tanto es continua. (4,1,3) Criterios. Si : I R continua en I , es derivable en I con creciente, entonces es funci on convexa. En particular si es dos veces derivable y 0. (4,1,4) Teorema (Desigualdad de Jensen). Si (X, , ) es un espacio de probabilidad, I R un intervalo, : I R una funci on convexa y f : X I una funci on integrable, entonces f d f d.

(4,1,5) Denici on. Si 1 < p < el exponente conjugado de p es q tal que 1/p + 1/q = 1.
Teor a de la Medida, 2002-2003

(4,1,6) Teorema (Desigualdad de H older). Sea (X, , ) un espacio de medida, 1 < p, q < exponentes conjugados, y f , g : X [0, +) funciones medibles. Entonces f g d f p d
1/p

g q d

1/q

En el caso particular p = q = 2 la desigualdad de H older se conoce como desigualdad de Schwarz. (4,1,7) Teorema (Desigualdad de Minkowski). Sea (X, , ) un espacio de medida, 1 < p < , y f , g : X [0, +) funciones medibles. Entonces (f + g )p d
1/p

f p d

1/p

g p d

1/p

2. ESPACIOS Lp . (4,2,1) Denici on. Se dene Lp () como el espacio de las funciones f : X C medibles y tales p que |f | es integrable. Si f Lp () se dene f Lp () es un espacio vectorial donde
p

=
p

|f |p d

es una seminorma.

Lp () es el espacio de las clases de funciones equivalentes, es decir el cociente de Lp () por el subespacio vectorial de las funciones medibles y equivalentes a 0. f p = f p es una norma en Lp (). (4,2,2) Teorema (Convergencia Dominada en Lp ()). Sea (fn ) una sucesi on en Lp () que p converge puntualmente a f . Si existe g L () tal que para todo n, |fn | g ; entonces f Lp () y (fn ) converge a f en Lp (). (4,2,3) Proposici on. Sea (fn ) una sucesi on en Lp () tal que n |V ertfn p < +, entonces para casi todo punto x X , S (x) = n fn (x) converge absolutamente y la sumaS Lp () y n es el l mite en p de las sumas parciales 1 fk . (4,2,4) Teorema (Teorema de Riesz-Fischer). El espacio Lp () es completo. M as precisap mente si (fn ) es una sucesi on de Cauchy en L (), entonces existe una subsucesi on (fnk ) p que converge en casi todo punto a una funci on f L (), adem as (fn ) converge a f en p.

Teor a de la Medida, 2002-2003

(4,2,5) Propiedades. (a) Las funciones escalonadas forman un subespacio denso en Lp (). (b) Si es nita y 1 p < r < + entonces Lr () Lp (), la aplicaci on identidad de Lr () en Lp () es continua y para f Lr () se cumple: f
p

(X )1/p1/r f

r.

(c) Sea 1 p < r < q < . Si f Lp () Lq (), entonces f Lr () y f

r

1 , q

donde se dene por

1 1 = + . r p q

3. DUALES DE LOS ESPACIOS Lp . (4,3,1) Denici on. Si E es un espacio de Banach, el conjunto de todas las formas lineales continuas u denidas sobre E forman un espacio de Banach con la norma u = sup{|u(x)| : x E, con x 1}. Este espacio normado se denota por E y se le llama espacio dual (topol ogico) de E . (4,3,2) Teorema. Sea 1 < p < , y q el exponente conjugado. El dual de Lp se identica con Lq , en el sentido de que a cada forma lineal y continua u Lp () se le puede asociar una funci on g Lq () de forma que para toda f Lp () u(f ) = f g d, (1)

Adem as u = g q . Rec procamente cada funci on g Lq () determina mediante (1) una forma lineal y continua en Lp (). El caso p = 1 es m as complicado, como vemos a continuaci on. (4,3,3) Denici on. Denimos el espacio L () como el conjunto de las funciones medibles y acotadas f : X C. Es un espacio vectorial. (4,3,4) P.ara f L () denimos f

= inf {C > 0 : |f (x)| C en casi todo punto x X }.

es una seminorma en L ().

Denotamos por L () el espacio normado de las clases de funciones equivalentes con la norma inducida por
Teor a de la Medida, 2002-2003

(4,3,5) Teorema. Si es -nita el dual de L1 () se identica con L () de manera an aloga al p caso de L (). Nota. En cambio el dual de L () no se identica con L1 () m as que en casos triviales. Lo que si es cierto y f acil es ver que cada funci on de L1 () induce una forma lineal y continua en L (). Pero en general las formas lineales de este tipo no son todas. 4. SERIES DE FOURIER. (4,4,1) Ortogonalidad de las funciones trigonom etricas. Las funciones 1 ; 2 cos nx ; sen nx ; (n = 1, 2, . . .),

forman un sistema ortonormal en L2 [0, 2 ]. (4,4,2) Serie de Fourier. Dada una funci on en L1 [0, 2 ], se dene la serie de Fourier de f como la serie de funciones 1 a0 + (an cos nx + bn sen nx), 2 n=1 donde los n umeros (an ) y (bn ) se denen como a0 = 1
2

f (t) dt,
0

an =

f (t) cos nt dt,

0 2

1 bn =

f (t) sen nt dt.

0

Teor a de la Medida, 2002-2003