Vous êtes sur la page 1sur 5

PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE MLM2531 y 253I

FACULTAD DE MATEMATICAS Examen-2010/1

Examen de Teora de la Integracin

5 de julio de 2010

1
Pk= Sea f L (R, B(R), ). Para todo k Z se define fk (x) = f (x + k) y
1. Ejercicio.
g = k= |fk |.
R1
(a) Probar que 0 g(x)dx < .
R1 R k+1
Solucin: Notar que 0 |f (x + k)| dx = k |f (u)| du. Luego,
Z 1 Z
X 1
g(x)dx = |f (x + k)| dx
0 k= 0

X Z k+1
= |f (u)| du
k= k
Z
= |f (u)| du < .

15 pts.
Pk=
(b) Probar que para cada casi todo x, la serie k= f (x + k) es absolutamente
convergente.
Solucin: El Teorema de Fubini permite intercambiar suma e integral en la ex-
presin de la integral de g, de donde

Z 1 X ! Z 1
|f (x + k)| dx = g(x)dx < ,
0 k= 0

P
luego, la funcin x 7 k= |f (x + k)| es integrable sobre [0, 1], de donde se
deduce que ella es finita -c.t.p.
15 pts.

2. Problema. En los clculos que siguen, se pide justificar cada etapa de los mismos.
R dxdy
(a) Considerando dos formas de calcular la integral I = R2+
, probar
(1 + y)(1 + x2 y)
que Z
log x 2
dx = .
0 x2 1 4

Solucin: Dado que la funcin de dos variables a integrar es positiva en el dominio


considerado, se puede aplicar el Teorema de Fubini y calcular la integral en forma
iterada.
Z Z  Z Z 
1 1 1
dx dy = dx dy
0 0 (1 + y)(1 + x2 y) 0 1+y 0 1 + x2 y
Z  
1
= dy
0 1+y 2 y
2
= .
2
Este valor debe ser igual al que se obtiene calculando las integrales iteradas en el
orden inverso, es decir, primero en y y luego en x. Para ello, observar que se tiene
la relacin
x2
 
1 1 1
= 2 ,
(1 + y)(1 + x2 y) x 1 1 + x2 y 1 + y
y esta es una funcin positiva y continua para x 0, y 0. Luego, la integral
en y puede ser calculada usando la integral de Riemann entre 0 y b > 0, haciendo
luego tender b a . Se tiene,
Z  Z b
x2 x2
 
1 1
dy = lm dy
0 1 + x2 y 1 + y b 0 1 + x2 y 1 + y
1 + x2 b
 
= lm log
b 1+b
2
= log(x ) = 2 log x.

Volviendo a la integral doble, ella tiene el valor 2 /2, pero se expresa tambin
como Z
2 log x
dx,
0 x2 1
luego, Z
log x 2
dx = .
0 x2 1 4
11 pts.

Pgina 2
(b) Encontrar, con ayuda de un cambio de variables, una relacin entre las integrales
R 1 log x R log x
0 2
dx e 1 2 dx.
x 1 x 1
Solucin: Basta considerar el cambio de variables x = 1/u que lleva el dominio
]0, 1] sobre [1, [ y se tiene
Z 1 Z
log x log x
2
dx = dx.
0 x 1 1 x2 1
Usando el resultado de la parte anterior, se obtiene
Z 1
log x 2
2
dx = .
0 x 1 8

8 pts.
(c) Probar que
Z 1 Z 1
log x X
dx = x2p log xdx.
0 1 x2 p=0 0

Solucin: Para todo x [0, 1[, la serie de trmino general x2p converge (es geo-
1
mtrica de razn x2 ) hacia . La sucesin de las sumas parciales respectivas
1 x2
es positiva, pero, sobre el intervalo ]0, 1] el la funcin log x es negativa. Luego
log x
np=0 x2p log x
P
y se puede aplicar el Teorema de Convergencia Mon-
1 x2
tona para obtener la igualdad
Z 1 Z 1
log x X
dx = x2p log xdx.
0 1 x2 p=0 0

Notar que la integral asume valores negativos.


8 pts.
1
(d) Deducir de lo anterior el valor de la serie
P
n=0 .
(2n + 1)2
Solucin:
R 1 Procedemos primero a hacer un pequeo clculo auxiliar, a saber, la
integral 0 x2n log xdx. Para ello usamos el cambio de variables x = eu teniendo
en cuenta que u vara entonces en ] , 0]. As tenemos
Z 1 Z 0
2n
x log xdx = exp[(2n + 1)u]udu.
0

Pgina 3
Un clculo por partes de la integral de la derecha nos da
Z 0
1
exp[(2n + 1)u]udu = .
(2n + 1)2

En consecuencia,
Z 1
log x X 1
2
dx = 2
.
0 1x n=0
(2n + 1)
R 1 log x R 1 log x
Como 0 2
dx = 0 2
dx y la ltima integral vale 2 /8, se tiene final-
1x x 1
mente:
X 1 2
2
= .
n=0
(2n + 1) 8

8 pts.

3. Problema. Sean (, F, ) un espacio de medida finita y p [1, ]. Designamos por Lp


el espacio Lp (, F, ). Considerar una sucesin (fn )nN de Lp tal que:
(i) La sucesin (kfn kp )nN sea acotada,
(ii) fn f c.t.p. si n .
(a) Probar que f Lp y que kf kp supnN kfn kp .
Solucin: La funcin f es medible como lmite c.t.p. de elementos de Lp . Por otra
parte, usando el Lema de Fatou, se tiene:
Z Z
p
|f | d lm inf |fn |p d sup kfn kpp < .
n n

Luego, f Lp y kf kp supn kfn kp .


15 pts.
(b) Suponer ahora p > 1 y r [1, p[. Probar que fn f en Lr si n .
Solucin: Notar que dado cualquier elemento h de Lp , A F, p = rs, y s0 =
s/(s 1) se tiene que
Z Z 1/s
r rs 0 0
|h| d |h| d (A)1/s khkrp (A)1/s < . (1)
A

Sea  > 0 cualquiera y An = {|fn f | > }. Dado que fn f c.t.p. resulta que

Pgina 4
(An ) 0 si n . Adems, de (1) y de la primera parte, resulta
Z
0
|fn f |r d 2 sup kfm krp (An )1/s .
An m

Luego, |fn f | 1An 0 en Lr , si n .


Por otra parte, la sucesin |fn f |r 1(An )c est dominada por r que es integrable
(pues la medida del espacio es finita) y como tiende c.t.p. a 0, resulta que su
integral tambin converge a 0 por el Teorema de Convergencia Dominada. En
consecuencia, kfn f kr 0 si n .
20 pts.

Pgina 5

Vous aimerez peut-être aussi