TEOR

IA DE LA MEDIDA
(SOLUCI

ON EJERCICIOS TERCERA PARTE)
RAFAEL ORDO

NEZ CARDALES
CARLOS ARTURO VEGA
UNIVERSIDAD DEL NORTE
FACULTAD DE CIENCIAS B

ASICAS
MAESTR

IA EN MATEM

ATICAS
BARRANQUILLA
2013
Ejercicios
Ejercicio 1 Sea (X, A, ) un espacio de medida. Suponga que f : X [0, ] es medible y
_
X
f d = c, 0 < c < .
Demuestre que
lm
n
_
X
nln
_
1 +
f
n
_
d = c.
Soluci on.
Sea (X, A, ) un espacio de medida. Suponga que f : X [0, ] es medible y
_
X
f d = c, 0 < c < .
Denamos la siguiente sucesi on {f
n
}, para todo n Z
+
, sea f
n
:= nln
_
1 +
f
n
_
. Cada f
n
es
medible ya que f es medible. para todo x X, 1 +
f(x)
n + 1
< 1 +
f(x)
n
, luego
_
1 +
f(x)
n
_
n

_
1 +
f(x)
n + 1
_
n+1
. Luego la sucesi on {f
n
} es creciente. Note adem as que lm
n
nln
_
1 +
f
n
_
=
f.
Por tanto aplicando el teorema de la convergencia mon otona se tiene
lm
n
_
X
nln
_
1 +
f
n
_
d = c.
Ejercicio 2 Suponga que 1 p < r < . Demuestre que L
p
L

L
r
. M as aun demustre
que si f L
p
L

, entonces
f
r
f
p/r
p
f
1p/r

Soluci on.
Sea f L
p
L

y M = f

. como f L
p
, entonces
__
|f|
p
_
1/p
< Por otro lado
f
r
r
=
_
X
|f|
r
d =
_
X
|f|
p
|f|
rp
d
_
X
|f|
p
|M|
rp
= |M|
rp
_
X
|f|
p
d = f
rp

f
p
p
< .
2
Por lo tanto f L
r
y adem as
f
r
f
p/r
p
f
1p/r

Ejercicio 3 Sea un subconjunto abierto de R

n
.
a) demuestre que si f L
p
() y g L
q
(), con
1
r
=
1
p
+
1
q
y p, q, r [0, [, entonces
h = fg L
r
() y adem as
|fg
r
f
p
g
q
. (1)
Generalice el resultado anterior para m funciones. en tal caso (1) se conoce como de-
sigualdad de H older generalizada.
b) use el inciso (a) para demostrar que si f L
p
() L
q
(), entonces f L
r
(), donde
1 p < q < , y que se cumple la siguiente desigualdad de interpolaci on
f
r
f

p
f
1
q
f
p
+f
q
. (2)
Aqu el n umero [0, 1], esta determinado por
1
r
=

p
+
1
q
Soluci on.
Sea un subconjunto de R
n
a) Sea f L
p
() y g L
q
(), con
1
r
=
1
p
+
1
q
y p, q, r [0, [. Si f L
p
() y
g L
q
() entonces |f|
r
L
p/r
() y |g|
r
L
q/r
(). Note que
1
r
=
1
p
+
1
q
implica
que 1 =
1
p/r
+
1
q/r
, Luego
p
r
y
q
r
son exponentes conjugados. Por tanto aplicando la
desigualdad de H older, se tiene
|fg|
r
L
1
=fg L
r
.
Adem as
|fg|
r

1
|f|
r

p/r
|g|
r

q/r
.
Aplicando el siguiente resultado ( si 0 < a < , entonces |f|
a

p
= f
a
ap
el cual se en-
cuentra en el libro Lebesgue integration on Euclidean Space de Frank Jones) obtenemos.
|fg|
r

1
= fg
r
r
.
|f|
r

p/r
= f
r
p
.
|g|
r

q/r
= g
r
q
.
3
Luego,
fg
r
r
f
r
p
g
r
q
.
Finalmente
fg
r
f
p
g
q
.
Sea m Z
+
y considere
1
p
1
+
1
p
2
+
1
p
m
= 1 y f
k
L
p
k
, para k = 1, 2, m. Veamos
que
f
1
f
2
f
m

1
f
1

p
1
f
2

p
2
f
m

pm
.
Por inducci on sobre m. Sin perdida de generalidad supongamos que el resultado se cum-
ple para m1 funciones. Sea f =

m1
k=1
f
k
, entonces aplicando la desigualdad de H older
se sigue que
f
1
f
2
f
m

1
=
_
_
_
_
_
m1

k=1
f
k
f
m
_
_
_
_
_
1

_
_
_
_
_
m1

k=1
f
k
_
_
_
_
_
p

f
m

pm
,
donde
1
p

+
1
p
m
= 1. El resultado se tendr a si mostramos que
_
_
_
_
_
m1

k=1
f
k
_
_
_
_
_
p

f
1

p
1
f
2

p
2
f
m1

p
m1
.
Para ello denamos q
k
=
p
k
p

, luego
1
q
1
+
1
q
2
+
1
q
m1
= p

_
1
p
1
+
1
p
2
+
1
p
m1
_
= p

_
1
1
p
m
_
= p

_
1
p

_
= 1.
Lo que demuestra que los q
k
con k = 1, 2, m1 son exponentes conjugados.
Por otra parte f
k
L
p
k
, entonces
_
X
_
|f
k
|
p
k
/q
k
_
q
k
d =
_
X
|f
k
|
p
k
< ,
por tanto |f
k
|
p
k
/q
k
L
q
k
para cada k = 1, 2, m1. Luego por la hip otesis de inducci on
4
se tiene
_
_
_
_
_
m1

k=1
f
k
_
_
_
_
_
p

=
_
_
_
_
_
m1

k=1
|f
k
|
p

_
_
_
_
_
1
=
_
_
_
_
_
m1

k=1
|f
k
|
p
k
/q
k
_
_
_
_
_
1

m1

k=1
_
_
|f
k
|
p
k
/q
k
_
_
q
k
=
m1

k=1
f
k

p
k
/q
k
p
k
=
m1

k=1
f
k

p
k
=
_
m1

k=1
f
k

p
k
_
p

.
Por consiguiente
_
_
_
_
_
m1

k=1
f
k
_
_
_
_
_
p

m1

k=1
f
k

p
k
,
as
f
1
f
2
f
m

1
f
1

p
1
f
2

p
2
f
m

pm
.
b) Sea f L
p
() L
q
(), y sean 1 p < r < q < . Luego
1
q
<
1
r
<
1
p
, por lo
tanto existe un unico R, tal que
1
r
=

p
+
1
q
. Este n umero satisface adem as
[0, 1] y est a determinado por
=
1
r

1
q
1
p

1
q
, 1 =
1
p

1
r
1
p

1
q
.
Como f L
p
() y f L
q
() entonces |f|
r
L
p/r
() y |f|
(1)r
L
q/(1)r
().
p
r
y
q
(1 )r
, son exponentes conjugados ya que
1 =
r
p
+
(1 )
q
=
1
p
r
+
1
q
(1 )r
.
Luego aplicando la desigualdad de H older se tiene
|f|
r
= |f

f
(1)
|
r
L
1
=f L
r
.
5
Adem as
|f|
r

1
= |f

f
(1)
|
r

1
= |f|
r
|f|
(1)r

1
|f|
r

p/r
|f|
(1)r

q/(1)r
,
de donde
f
r
r
f
r
p
f
(1)r
q
.
Por consiguiente
f
r
f

p
f
(1)
q
. (3)
Para la segunda desigualdad utilizaremos el siguiente lema.
Lema 1 Si 0 < < 1, entonces para cualquier par de numeros reales nonegativos a, b
se cumple la siguiente desigualdad
a

b
1
a + (1 )b
Demostraci on Si a = b = 0 la desigualdad se cumple trivialmente. Considere el caso en
el que a > 0 y b > 0. Sea f : [0, [R denida por f(x) := 1+xx

. Entonces
f

(x) = (1 x
1
), entonces x = 1 es un punto crtico de la funci on. Mas aun f posee
un mnimo en x = 1. As
0 = f(1) 1 + x x

Ahora sea x =
a
b
, entonces
0 1 +
_
a
b
_

_
a
b
_

a
b
+ (1 )
a

b
(1)
a + (1 )b.
Continuando con la demostraci on tome a = f
p
y b = f
q
, por el lema anterior se
tiene
f

p
f
1
q
f
p
+ (1 )f
q
f
p
+f
q
. (4)
De (3) y (4) se obtiene
f
r
f

p
f
1
q
f
p
+f
q
.
6
Ejercicio 4 Sea un subconjunto abierto y acotado de R
n
, 1 p < q. Demuestre que L
q
()
est a continuamente inmerso en L
p
(). Esto signica que L
q
() L
p
(), y si u
k
u en
L
q
() entonces u
k
u en L
p
().
Soluci on
Sea un subconjunto abierto y acotado de R
n
. Por ser un subconjunto abierto y acotado de
R
n
, entonces () < . Sea f L
q
(), entonces |f|
p
L
q/p
(), sea g = 1 L
q/qp
() de
la desigualdad de H older se sigue que |f|
p
L
1
(), por tanto f L
p
(), Adem as
1
(())
1/p
f
p

1
(())
1/q
f
q
. (5)
Sea u
k
u en L
q
(). Luego para > 0 existe N Z
+
tal que
u
n
u < , siempre que n N. (6)
De (5) y (6) se tiene
|u
n
u
p
(())
(1/p)(1/q)
u
n
u
q
< (())
(1/p)(1/q)
,
siempre que n N. Como el es arbitrario se sigue que u
n
u en L
p
()
Ejercicio 5 a) Sea g : [0, 1] [0, 1] R una funci on denida por
g(x, y) =
_

_
x
2
y
2
(x
2
+ y
2
)
2
, si(x, y) = (0, 0)
0 si(x, y) = (0, 0).
Pruebe que g no es integrable.
b) Para el siguiente ejercicio considere la medida de Lebesgue en R
n
. Sean R 0 y
y R
n
jos. Pruebe que
||
n
_
f(x)dx =
_
f(x)dx,
_
f(Ax + y)dx =
_
f(x)dx,
donde A R
nn
, es una matriz ortogonal.
Soluci on
7
a) sea
g(x, y) =
_

_
x
2
y
2
(x
2
+ y
2
)
2
, si(x, y) = (0, 0)
0 si(x, y) = (0, 0).
Integremos primero con respecto a y
_
1
0
dx
_
1
0
x
2
y
2
(x
2
+ y
2
)
2
dy =
_
1
0
dx
_
1
0
x
2
_
1
y
2
x
2
_
x
4
_
1 +
y
2
x
2
_
2
dy =
_
1
0
1
x
2
dx
_
1
0
1
_
y
x
_
2
_
1 +
_
y
x
_
2
_
2
Sea tan() =
y
x
, entonces dy = x sec
2
()d. Luego
_
1
0
dx
_
1
0
x
2
y
2
(x
2
+ y
2
)
2
dy =
_
1
0
1
x
2
dx
_
arctan(1/x)
0
1 tan
2
()
(1 + tan
2
())
2
x sec
2
()d
=
_
1
0
1
x
dx
_
arctan(1/x)
0
1 tan
2
()
sec
4
sec
2
()d
=
_
1
0
1
x
dx
_
arctan(1/x)
0
cos
2
() sin
2
()
cos
2
()
sec
2
()
d
=
_
1
0
1
x
dx
_
arctan(1/x
0
cos
2
() sin
2
()d
=
_
1
0
1
x
dx
_
arctan(1/x
0
cos(2)
=
_
1
0
dx
_
sin(2)
2x
_
arctan(1/x)
0
=
_
1
0
sin (2 arctan(1/x))
2x
dx,
Tomando a = 2 arctan(1/x) y reemplazando en la identidad trigonom etrica
sin(a) =
2 tan(a/2)
1 + tan
2
(a/2)
= 2
tan ((2 arctan(1/x))/2)
1 + tan
2
((2 arctan(1/x))/2)
= 2
1
x
1 +
_
1
x
_
2
Por tanto
sin (2 arctan(1/x)) =
2x
1 + x
2
. As
_
1
0
dx
_
1
0
x
2
y
2
(x
2
+ y
2
)
2
dy =
_
1
0
1
1 + x
2
dx = arctan(x)|
1
0
=

4
.
8
Cambiando el orden de integraci on obtenemos,
_
1
0
dy
_
1
0
x
2
y
2
(x
2
+ y
2
)
2
dx =
_
1
0
dy
_
1
0
y
2
x
2
x
2
+ y
2
dx
procediendo de manera an aloga se tiene
_
1
0
dy
_
1
0
x
2
y
2
(x
2
+ y
2
)
2
dx =
_
1
0
1
1 + y
2
dy = arctan(y)|
1
0
=

4
.
Por consiguiente
_
1
0
dx
_
1
0
x
2
y
2
(x
2
+ y
2
)
2
dy =
_
1
0
dy
_
1
0
x
2
y
2
(x
2
+ y
2
)
2
dx.
Lo que demuestra que g(x, y) no es integrable.
b) Sea R 0 y sea A = I R
nn
, una matriz. Dena (x) = Ax = x, luego

(x) = A y adem as | det

(x)| = | det A| = ||
n
. Aplicando el teorema del cambio de
variable.
_
f(x)dx =
_
f ((x)) | det

(x)|dx
= ||
n
_
f(x)dx.
Por otro lado, sea B R
nn
, una matriz ortogonal. Tome y R
n
jo, y dena (x) =
Bx + y, luego

(x) = B, Adem as
(det B)
2
= det Bdet B = det Bdet B
t
= det
_
BB
t
_
= det I = 1.
Aplicando el teorema del cambio de variable.
_
f(x)dx =
_
f ((x)) | det

(x)|dx
=
_
f(Bx + y)dx.
9