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 denicin de los o p espacios L . (4,1,1) Denicin. Decimos que una funcin : I R denida en un intervalo de R es convexa o o 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 slo si para todo x < y < z en I se tiene o (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 funcin convexa. o 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 funcin convexa y f : X I una funcin integrable, entonces o o f d f d.

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

(4,1,6) Teorema (Desigualdad de Hlder). Sea (X, , ) un espacio de medida, 1 < p, q < o 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 Hlder se conoce como desigualdad o 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) Denicin. Se dene Lp () como el espacio de las funciones f : X C medibles y tales o 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 sucesin en Lp () que o converge puntualmente a f . Si existe g Lp () tal que para todo n, |fn | g; entonces f Lp () y (fn ) converge a f en Lp (). (4,2,3) Proposicin. Sea (fn ) una sucesin en Lp () tal que n |V ertfn p < +, entonces para o o 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. Ms precisaa p mente si (fn ) es una sucesin de Cauchy en L (), entonces existe una subsucesin (fnk ) o o p que converge en casi todo punto a una funcin f L (), adems (fn ) converge a f en o a p.

Teor de la Medida, 2002-2003 a

(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 aplicacin identidad de o 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) Denicin. Si E es un espacio de Banach, el conjunto de todas las formas lineales o 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 (topolgico) de E. o (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 funcin g Lq () de forma que para toda f Lp () o u(f ) = f g d, (1)

Adems u = g q . Rec a procamente cada funcin g Lq () determina mediante (1) una o p forma lineal y continua en L (). El caso p = 1 es ms complicado, como vemos a continuacin. a o (4,3,3) Denicin. Denimos el espacio L () como el conjunto de las funciones medibles y o 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 de la Medida, 2002-2003 a

(4,3,5) Teorema. Si es -nita el dual de L1 () se identica con L () de manera anloga al a p caso de L (). Nota. En cambio el dual de L () no se identica con L1 () ms que en casos a triviales. Lo que si es cierto y fcil es ver que cada funcin de L1 () induce una a o 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 trigonomtricas. Las funciones e 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 funcin en L1 [0, 2], se dene la serie de Fourier de f como o la serie de funciones 1 a0 + (an cos nx + bn sen nx), 2 n=1 donde los nmeros (an ) y (bn ) se denen como u a0 = 1
2

f (t) dt,
0

an =

f (t) cos nt dt,

0 2

1 bn =

f (t) sen nt dt.

0

Teor de la Medida, 2002-2003 a