Sfil PDF
Sfil PDF
Sfil PDF
Prólogo 5
2. Integrales impropias 25
2.1. Integrales impropias de primera especie . . . . . . . . . . . . . 25
2.2. Integrales impropias de segunda especie . . . . . . . . . . . . . 27
2.3. Integrales mixtas . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.4. Criterios de convergencia. Convergencia absoluta . . . . . . . . 30
2.5. Criterios de convergencia para funciones positivas . . . . . . . 32
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1
2 Luis Bernal González
3. Sucesiones de funciones 37
3.1. Convergencia puntual y convergencia uniforme . . . . . . . . . 37
3.2. Álgebra de sucesiones uniformemente convergentes . . . . . . . 40
3.3. Convergencia uniforme, continuidad y derivabilidad . . . . . . 43
3.4. Convergencia uniforme e integración . . . . . . . . . . . . . . 46
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
4. Series de funciones 49
4.1. Definiciones: sumas puntual y uniforme . . . . . . . . . . . . . 49
4.2. Relación con la continuidad, derivación e integración . . . . . 50
4.3. Criterios de convergencia uniforme . . . . . . . . . . . . . . . 51
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
5. Series de potencias 57
5.1. Radio e intervalo de convergencia de una serie de potencias . . 57
5.2. Continuidad, derivabilidad e integrabilidad de series de potencias 61
5.3. Funciones analı́ticas . . . . . . . . . . . . . . . . . . . . . . . . 65
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
6. Medida de Lebesgue 71
6.1. El problema de la medida . . . . . . . . . . . . . . . . . . . . 71
6.2. Espacios medibles, espacios de medida y medida exterior . . . 72
6.3. Construcción de la medida de Lebesgue en R . . . . . . . . . . 76
6.4. Conjuntos medibles Lebesgue . . . . . . . . . . . . . . . . . . 82
6.5. El conjunto de Cantor . . . . . . . . . . . . . . . . . . . . . . 86
Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
7. Integral de Lebesgue 91
7.1. Funciones simples . . . . . . . . . . . . . . . . . . . . . . . . . 91
7.2. Funciones medibles . . . . . . . . . . . . . . . . . . . . . . . . 93
7.3. Integral de Lebesgue de funciones no negativas . . . . . . . . . 99
ÍNDICE GENERAL 3
Bibliografı́a 151
Estas notas han sido concebidas para servir de base al estudiante que
pretenda introducirse en los rudimentos de la teorı́a de sucesiones y series de
funciones y en la teorı́a de integración de Lebesgue. Ambas teorı́as proporcio-
nan instrumentos de amplio uso en análisis matemático, en sus dos vertientes
teórica y aplicada.
5
6 Luis Bernal González
Una sucesión real no es más que una aplicación del conjunto de los núme-
ros naturales en la recta real. Pero a veces surgen sucesiones que dependen
de una variable, que determina la posibilidad de un lı́mite que a su vez es
una función. Estas son las sucesiones de funciones, que se estudiarán en el
Capı́tulo 3. Cuando se consideran las sumas parciales de estas sucesiones,
obtenemos series de funciones, consideradas en el Capı́tulo 4. En ambos ca-
sos se establecerán condiciones para la propagación de las propiedades de los
términos a la función lı́mite o suma.
La obra contiene ejemplos que ilustran los conceptos y resultados que van
surgiendo. Además, al final de cada capı́tulo se propone una variada lista de
ejercicios, en los que la teorı́a dada o bien se aplica o bien se completa. En
algunos de ellos se adjuntan indicaciones o sugerencias útiles. Recomendamos
al estudiante que intente la resolución de dichos ejercicios, pues ello constituye
un buen indicador del grado de asimilación de la materia. Al final del texto se
ofrece una bibliografı́a para que el lector interesado efectúe consultas y amplı́e
conocimientos. Para una mayor comodidad de lectura, incluyo una lista de
abreviaturas y sı́mbolos. El ı́ndice alfabético está organizado de modo que se
indica la página o páginas donde aparece por primera vez la definición de un
concepto o la formulación de un resultado.
8 Luis Bernal González
El autor
Capı́tulo 1
bien simplemente {an } o (an ). Se llama serie asociada o generada por {an }
a la sucesión {Sn } de sumas parciales de aquella, es decir, Sn = nk=1 ak =
P
9
10 Luis Bernal González
3 2
(−1)n +n +n /2n converge; en efecto, la serie
P
Por ejemplo, la serie
3 +n2 +n
X X
|(−1)n /2n | = (1/2)n
P P
Teorema 1.3.3. Sean an y bn dos STPs. Se verifica:
an
(b) [Criterio de comparación por paso al lı́mite] Si lı́m = L ∈ [0, +∞)
n→∞ bn
P
(∈ (0, +∞], resp.) y bn es convergente (divergente, resp.), entonces
P
an es convergente (divergente, resp.).
1/n
(c) [Criterio de la raı́z o de Cauchy] Si existe lı́mn→∞ an =: L ∈ [0, +∞]
P
y L < 1 (y L > 1, resp.), entonces la serie an es convergente (diver-
gente, resp.).
an+1
(d) [Criterio del cociente o de D’Alembert] Si existe lı́m =: L ∈
n→∞ an
P
[0, +∞] y L < 1 (y L > 1, resp.), la serie an es convergente (di-
vergente, resp.).
an
(e) [Criterio de Raabe–Duhamel] Si existe lı́m n −1 =: L ∈ [0, +∞]
n→∞ an+1
P
y L < 1 (y L > 1, resp.), entonces la serie an es divergente (con-
vergente, resp.).
1
P
(g) La serie armónica generalizada na
(a ∈ R) es convergente si y solo
si a > 1.
Se llama serie alternada a una serie cuyos términos tienen signo alterno, es
(−1)n cn o bien (−1)n+1 cn con cn ≥ 0 para
P P
decir, una serie de la forma
todo n. El teorema siguiente, conocido como Criterio de Leibniz, proporciona
una condición suficiente de convergencia de series alternadas.
En sı́mbolos, el teorema nos dice que C([a, b]) ⊂ R[a, b]. La anterior no es
una condición necesaria; por ejemplo, la función f : [0, 1] → R definida como
R1
1 en x = 0 y 0 en (0, 1] es integrable Riemann, con 0 f = 0. Veremos en el
SERIES DE NÚMEROS REALES E INTEGRAL DE RIEMANN 17
fácil ver que dos primitivas de una misma función en un mismo intervalo se
diferencian en una constante.
Rx
Definición 1.7.1. Sea f ∈ R[a, b]. A la función F : x ∈ [a, b] 7→ a
f (t) dt
se le llama integral indefinida de f en [a, b].
Ejercicios
P
1.- Demostrar que la sucesión {an } converge si y solo si la serie (an+1 − an )
converge. Probar que, en tal caso, si L es el lı́mite de {an } y S es la suma
de la serie anterior, entonces S = L − a1 .
P
2.- Demostrar el criterio de Pringsheim: Sea an una STP. Si existe a > 1 tal
que lı́mn→∞ na · an = L ∈ [0, +∞), entonces
P
an es convergente. Si existe
a ≤ 1 tal que lı́mn→∞ na · an = L ∈ (0, +∞], entonces
P
an es divergente.
Indicación: usar el Teorema 1.3.3. ∞
X 1
Como aplicación, decidir el carácter de la serie 1 .
+ π2
n=1 n n · (e1/n − 1)1/2
P
3.- Demostrar el criterio logarı́tmico: Sea an una STP. Si existe el lı́mite
ln (1/an ) P
lı́m =: α y α > 1 (y α < 1, resp.), la serie an es convergente
n→∞ ln n
(divergente, resp.). Indicación: usar el Teorema 1.3.3.
∞
X 1
Como aplicación, decidir el carácter de la serie .
(ln n)ln n
n=2
P∞ n log n .
(d) n=1 (−1) n
P∞ 1
(e) n=2
√
3 2 .
n −1
P∞ 1
(f) n=1
√
3 2 .
n +1
P∞ n2
(g) n=1 n! .
P∞ log n
(h) n=1 n .
P∞ 1
(i) n=2 log n .
P∞ 1
(j) n=2 (log n)3 .
P∞ 1
(k) n=2 (log n)n .
P∞ n 1
(l) n=2 (−1) (log n)n .
P∞ n2
(m) n=1 n3 +1 .
P∞
(n) n=1 sen (1/n).
P∞
(o) n=1 (1 − cos (1/n)).
P∞ 1
(p) n=2 n log n .
P∞ 1
(q) n=2 n(log n)2 .
P∞ 1
(r) n=2 n2 log n .
P∞ n!
(s) n=1 nn .
P∞ 2n n!
(t) n=1 nn .
P∞ 3n n!
(u) n=1 nn .
a2n y
b2n convergen, entonces
P P P
5.- (a) Probar que si an bn converge.
P 2 P
(b) Probar que si an converge, entonces an /n converge.
6.- Supóngase que {an } es una sucesión decreciente con an ≥ 0 para todo n ∈ N.
P
Demostrar que si an converge, entonces lı́mn→∞ n · an = 0.
Indicación: utilizar el criterio de Cauchy.
7.- Dar un ejemplo de una sucesión {an } tal que an → 0, la sucesión de sus
P
sumas parciales sea acotada y la serie an no converja.
SERIES DE NÚMEROS REALES E INTEGRAL DE RIEMANN 23
Rb Rb
8.- Sean f, g : [a, b] → R continuas con f ≥ g en [a, b]. Probar que a f = a g
si y solo si f = g en [a, b].
15.- Supóngase que f ∈ C([a, b]) y que g ∈ R[a, b] con g(x) ≥ 0 para todo
x ∈ [a, b]. Demostrar que existe ξ ∈ [a, b] tal que
Z b Z b
f (x)g(x) dx = f (ξ) g(x) dx.
a a
Este resultado se conoce como Teorema generalizado del valor medio integral.
Mostrar con un ejemplo que la hipótesis de g(x) ≥ 0 para todo x ∈ [a, b] es
esencial.
24 Luis Bernal González
16.- Sea f ∈ R [a, b]. Probar que, dado ε > 0, existe una función g ∈ C([a, b]) tal
que g ≤ f en [a, b] y
Z b Z b
f− g < ε.
a a
donde por [t] se ha denotado la parte entera del número real t. ¿Es f
R2
integrable Riemann en [0, 2]? En caso afirmativo, calcúlese 0 f (x) dx.
18.- Determinar el área comprendida entre las gráficas de las funciones f (x) =
sen x y g(x) = cos x en el intervalo [0, 2π].
Rb
19.- Supongamos que f ∈ C[a, b] y que a f (x)g(x) dx = 0 para toda función
g ∈ C[a, b] que verifica g(a) = 0 = g(b). Demostrar que f ≡ 0 en [a, b].
Integrales impropias
25
26 Luis Bernal González
Definición 2.1.1. Sea f : [a, +∞) → R tal que f ∈ R[a, b] para todo b > a.
Rb
Consideremos la función I : b ∈ (a, +∞) 7→ I(b) = a f (x) dx ∈ R, que se
llama integral impropia de primera especie de f en [a, +∞), y se representa
R +∞ R ∞ R +∞ R∞ R∞
por a f , a f , a f (x) dx o a f (x) dx. Se dice que la integral a f es
convergente cuando existe el lı́mite I0 = lı́mb→+∞ I(b) y es finito. En tal caso
también se dirá que f es integrable Riemann impropiamente en [a, +∞). Al
número I0 se le llama valor de la integral impropia de f en [a, +∞), y este
R∞
hecho se escribirá como a f = I0 , es decir,
Z ∞ Z b
f (x) dx = lı́m f (x) dx.
a b→+∞ a
R∞
En cualquier otro caso, diremos que la integral impropia a
f es divergente.
R +∞ 1
Por ejemplo, la integral −∞ 1+x2
dx converge y su valor I viene dado
R0 1
R +∞ 1
por I = −∞ 1+x 2 dx + 0 1+x2
dx = lı́ma→−∞ [arctan 0 − arctan a]
+ lı́mb→+∞ [arctan b − arctan 0] = π/2 + π/2 = π.
Definición 2.2.1. Sea f : [a, b) → R tal que f ∈ R[a, c] para todo c ∈ (a, b).
Rc
Consideremos la función I : c ∈ (a, b) 7→ I(c) = a f (x) dx, que se llama
R b−
integral impropia de segunda especie de f en [a, b), y se representa por a f ,
R b− Rb Rb
a
f (x) dx, o simplemente a f (x) dx o a f . Se dice que la integral impropia
Rb
a
f es convergente cuando existe el lı́mite I0 = lı́mc→b− I(c) y es finito. En
tal caso también se dirá que f es integrable Riemann impropiamente en [a, b).
Al número I0 se le llama valor de la integral impropia de f en [a, b), y este
Rb
hecho se escribirá como a f = I0 , es decir,
Z b Z c
f (x) dx = lı́m− f (x) dx.
a c→b a
Rb
En cualquier otro caso, diremos que la integral impropia a
f es divergente.
Definición 2.3.1. Sea f : (a, +∞) → R con f ∈ R[b, c] para todo intervalo
R +∞
cerrado [b, c] ⊂ (a, +∞). Se dice que la integral a f (x) dx, denominada
integral mixta, es convergente si existe b > a tal que las dos integrales impro-
Rb R +∞
pias a f (x) dx y b f (x) dx convergen, en cuyo caso el valor de la integral
mixta se define por
Z +∞ Z b Z +∞
f (x) dx = f (x) dx + f (x) dx.
a a b
R +∞
En cualquier otro caso, diremos que la integral a
f (x) dx diverge.
R∞
(a) Si existe lı́mx→+∞ fg(x)
(x)
= λ ∈ (0, +∞), entonces las integrales a
f e
R∞
a
g son simultáneamente convergentes o divergentes.
R∞
(b) Si existe lı́mx→+∞ fg(x)
(x)
= 0 y la integral a
g es convergente, entonces
R∞
a
f es convergente.
R∞
(c) Si existe lı́mx→+∞ fg(x)
(x)
= +∞ y la integral a
g es divergente, enton-
R∞
ces a f es divergente.
Demostración. La pruebas de (b) y (c) siguen las mismas ideas que las de
(a), ası́ que solo demostraremos (a). A su vez, para obtener (a) es suficien-
R∞ R∞
te obtener la convergencia de a f a partir de la de a g [ya que existe
g(x) 1
lı́mx→+∞ f (x)
= λ
∈ (0, +∞)]. Por hipótesis, debe existir x0 > a con la
propiedad de que f (x)/g(x) ≤ 1 + λ para todo x ≥ x0 . Por tanto f (x) ≤
R∞
(1 + λ)g(x) para todo x ≥ x0 . Ahora bien, es obvio que a (1 + λ)g(x) dx
converge. Basta aplicar ahora el Teorema 2.5.1.
Teorema 2.5.4. Sea f : [1, +∞) → [0, +∞) una función decreciente tal que
P
f (n) = an para todo n ∈ N. Entonces la serie an converge si y solo si la
R∞
integral impropia 1 f (x) dx converge.
Ejercicios
1.- Estudiar la convergencia de las siguientes integrales impropias y calcularlas
cuando converjan:
R +∞
(a) 0 e−x dx
R +∞
(b) 0 xn e−x dx (n ∈ N)
R1
(c) 0 log x dx
R2
(d) 0 log |x − 1| dx
R +∞ log x
(e) 1 x dx
R +∞ −|x|
(f) −∞ e dx
R1 x
(g) 0 1−x2 dx
R +∞ x
(h) 0 (1+x2 )2
dx
R1 x
(i) 0 (1−x2 )1/2 dx.
sen2 x
R +∞
(a) 0 x2
dx
R +∞
(b) 0 e−x sen(1/x) dx
R +∞ senx
(c) 0 xα dx (α > 0) [Indicación: usar integración por partes]
R +∞
(d) 1 sen2 (1/x) dx
R +∞ 2 −x−2
(e) 0 e−x dx
R∞ −x
e√
(f) 0 x
dx
5e−x −x/2
R +∞
+ x + 2 e−3x−e
(g) 0 x dx
sen2 x
R +∞
(h) 0 x dx
R +∞
(i) 0 xα | log x|β dx (α, β ∈ R).
3.- Probar la convergencia condicional de la integral del apartado (c) del ejercicio
anterior si 0 < α ≤ 1. Indicación: fijar N ∈ N con N ≥ 2 y considerar el
conjunto {x ∈ [1, N ] : |sen x| ≥ 1/2}.
4.- Sea α > 1. Demostrar que el área S(α) de la superficie de revolución generada
por la curva y = x−α al girar alrededor de la semirrecta [1, +∞) es finita.
7.- ¿Puede una función integrable Riemann impropiamente en [0, +∞) cumplir
|f (x)| ≥ 1 para todo x ≥ 0? ¿Puede cumplir lo anterior si f es, además,
continua?
36 Luis Bernal González
R +∞
8.- Demostrar que, para cada α > 0, la integral Γ(α) := 0 xα−1 e−x dx
converge. Por tanto define una función Γ : (0, +∞) → R, denominada fun-
ción gamma de Euler–Gauss. Probar que Γ(1) = 1, que posee la ası́ deno-
minada “propiedad reproductiva” Γ(α + 1) = αΓ(α) (∀α > 0), y que Γ es
la generalización del factorial, en el sentido de que Γ(n + 1) = n! para todo
n ∈ N0 .
R1
9.- Si p, q > 0, pruébese que la integral impropia 0 tp−1 (1 − t)q−1 dt converge.
A la función
Z 1
β : (p, q) ∈ (0, +∞) × (0, +∞) 7→ tp−1 (1 − t)q−1 dt ∈ R
0
Sucesiones de funciones
37
38 Luis Bernal González
f
Definición 3.1.1. Sea A ⊂ R y F(A) := {funciones A −→ R}. Una sucesión
de funciones en A es una aplicación ϕ : N → F(A). Si ϕ(n) = fn , deno-
taremos la sucesión de funciones por {fn }∞
1 , {fn }n≥1 , {fn } o simplemente
(fn ).
(b) ∀ε > 0 ∃k = k(ε) ∈ N tal que |fm (x) − fn (x)| < ε ∀m, n ≥ k y ∀x ∈ A.
(c) Supongamos que cada función fn es acotada, que gn (x) 6= 0 para todo
n ∈ N y todo x ∈ A, y que existe α ∈ (0, +∞) tal que |g(x)| ≥ α para
todo x ∈ A. Entonces la sucesión cociente (fn /gn ) tiende uniforme-
mente a f /g en A.
|fn (x)gn (x) − f (x)g(x)| = |fn (x)(gn (x) − g(x)) + g(x)(fn (x) − f (x))|
≤ |fn (x)(gn (x) − g(x))| + |g(x)(fn (x) − f (x))|
≤ M |fn (x) − f (x)| + M |gn (x) − g(x)|.
Dado ε > 0, podemos encontrar k ∈ N tal que |fn (x) − f (x)| < ε/(2M ) y
|gn (x)−g(x)| < ε/(2M ) para todo n ≥ k y todo x ∈ A. Ası́ que |fn (x)gn (x)−
f (x)g(x)| < ε para los mismos valores de n y x. Esto prueba (b).
Demostremos (c), que es el caso del cociente. Observemos que se deriva
del caso del producto sin más que probar que cada función 1/gn está acotada
a partir de cierto número natural y que 1/gn → 1/g uniformemente en A.
Para lo primero, como gn → g uniformemente en A, existe m ∈ N que
satisface |gn (x) − g(x)| < α/2 para todo x ∈ A y todo n ≥ m. Se deduce que
|gn (x)| ≥ |g(x)| − |gn (x) − g(x)| > α − α/2 = α/2, luego |1/gn (x)| < 2/α
para los mismos valores de n y x. En cuanto a la convergencia uniforme de
(1/gn ), notemos que
1 1 |gn (x) − g(x)| 2
− = ≤ 2 |gn (x) − g(x)|
gn (x) g(x) |gn (x)||g(x)| α
SUCESIONES DE FUNCIONES 43
Por ejemplo, si A = (0, 1), fn (x) ≡ 1/n, gn (x) ≡ 1/x, f (x) ≡ 0 y g(x) ≡
1/x, entonces fn → f y gn → g uniformemente en A, pero (fn gn ) no tiende a
f g uniformemente en A. En efecto, f g ≡ 0 y supx∈A |fn (x)gn (x)−f (x)g(x)| =
1
sup0<x<1 nx
= +∞ para todo n, luego es imposible que este supremo tienda
a 0 cuando n → ∞.
Demostración. Fijemos ε > 0. Por hipótesis, existe k ∈ N tal que |fk (x) −
f (x)| < ε/3 para todo x ∈ A. En particular, |fk (x0 )−f (x0 )| < ε/3. Ya que fk
es continua en x0 , podemos encontrar un δ > 0 de modo que |fk (x)−fk (x0 )| <
ε/3 siempre que x ∈ A∩(x0 −δ, x0 +δ). Usando estos hechos y la desigualdad
triangular |f (x) − f (x0 )| ≤ |fk (x) − f (x)| + |fk (x) − fk (x0 )| + |fk (x0 ) − f (x0 )|,
obtenemos que si x ∈ A ∩ (x0 − δ, x0 + δ) entonces |f (x) − f (x0 )| < ε. Esto
muestra la continuidad de f en x0 .
44 Luis Bernal González
(b) existe x0 ∈ [a, b] de modo que la sucesión numérica (fn (x0 )) converge.
La sucesión ası́ formada depende del punto c. Ya que gn (c) = fn0 (c), la suce-
sión (gn (c)) es convergente. Vamos a demostrar que, de hecho, (gn ) converge
uniformemente en [a, b]. Si m, n ∈ N y x 6= c, tenemos
h(x) − h(c)
gm (x) − gn (x) = ,
x−c
SUCESIONES DE FUNCIONES 45
para todo x ∈ [a, b]. Esta igualdad, con el auxilio de la condición de Cauchy,
establece la convergencia uniforme de (fn ) en [a, b] a cierta función f .
Para demostrar el resto, volvamos a la sucesión (gn ) definida al principio
para un punto arbitrario c ∈ [a, b]. Sea G(x) := lı́mn→∞ gn (x). Como fn0
existe, tenemos que lı́mx→c gn (x) = gn (c) para cada n. En otras palabras,
cada gn es continua en c. Ya que gn → G uniformemente en [a, b], la función
G es también continua en c. Esto significa que
Ejercicios
1.- Estudiar la convergencia puntual y uniforme de las siguientes sucesiones de
funciones:
x
(a) fn (x) = en [0, 1].
nx + 1
√
(b) fn (x) = n x en [0, 1].
2.- Comprobar que la sucesión (fn ) converge en todo R pero que lı́mn→∞ fn0 (x) 6=
(lı́mn→∞ fn (x))0 en los siguientes casos:
48 Luis Bernal González
1
(a) fn (x) = √ sen (nx).
n
x
(b) fn (x) = .
1 + nx2
3.- Comprobar, con las sucesiones de funciones siguientes, que el hecho de que
(fn ) converja uniformente a f en [a, b] no es condición necesaria para que
Rb Rb
lı́mn→∞ a fn = a f :
1 1 + nx2
(a) fn (x) = en [0, 1] (b) fn (x) = en [0, 1].
1 + n2 x2 1 + nx
x2n
4.- Consideremos la sucesión de funciones fn : R → R dada por fn (x) = 1+x2n
.
5.- Probar que toda función continua en [0, 1] es lı́mite uniforme de una sucesión
de poligonales (funciones continuas lineales a trozos). ¿Ocurre lo mismo con
la función f (x) = 1/x en (0, 1)?
8.- Dar una demostración más simple del Teorema de convergencia uniforme y
derivación reforzando la hipótesis de derivabilidad de cada fn a la hipótesis
de ser fn ∈ C 1 ([a, b]) para todo n. Indicación: definir f : [a, b] → R como
Rx
f (x) = α + x0 g(t) dt, donde α = lı́mn→∞ fn (x0 ).
Capı́tulo 4
Series de funciones
49
50 Luis Bernal González
P
(b) existe x0 ∈ [a, b] de modo que la serie numérica n fn (x0 ) converge.
P
Entonces existe una función f : [a, b] → R tal que n fn = f uniformemente
en [a, b], f es derivable en [a, b] y f 0 (x) = g(x) para todo x ∈ [a, b].
P
(a) n fn tiende uniformemente en A a alguna función definida en A.
Ejercicios
1.- Estudiar la convergencia puntual y uniforme de las siguientes series de fun-
P
ciones fn :
1 · 3 · · · (2n − 3)
(a) fn (x) = (1 − x)n en [0, 1] y [−1, 1].
2n n!
1
(b) fn (x) = en [a, +∞), donde a > 0.
(1 + x)n
nx2
(c) fn (x) = en [0, a], donde a > 0.
n3 + x3
2 2
(d) fn (x) = 3n xn en R, en (−1/3, 1/3) y en [0, 1/4].
sen x
2.- Sea la sucesión (fn ) definida en [0, π] como fn (x) = .
(1 + sen x)n
P∞
(a) Estudiar la convergencia puntual de la serie n=0 fn (x) y sumarla
cuando sea convergente.
(b) Probar que si 0 < a < π/2 la convergencia es uniforme en [a, π − a].
3.- Sea A ⊂ R, y supongamos que (fn ) es una sucesión de funciones tal que
fn → 0 uniformemente en A. Supongamos que fn (x) ≥ fn+1 (x) para todo
P∞ n+1 f (x) converge
x ∈ A y todo n ∈ N. Estudiar si la serie n=1 (−1) n
uniformemente en A.
54 Luis Bernal González
∞
Xx2
4.- Justifı́quese que la serie de funciones converge puntualmente
(1 + x2 )n
n=1
en todo R, que converge uniformemente en cada intervalo [a, +∞) (a > 0)
y que, en cada intervalo [0, a] (a > 0), no hay convergencia uniforme.
(c) Estudiar la convergencia uniforme en [0, a], [0, 1] y [−1, 0], siendo 0 <
a < 1.
e−nx
7.- Sea fn (x) = . Demostrar:
n2 + 1
P∞
(a) converge si y solo si x ∈ [0, +∞).
n=1 fn (x)
P∞
(b) Si se define f (x) := n=1 fn (x), demostrar que f es continua en
[0, +∞).
(d) f no es derivable en 0.
∞
X (cos x)2n
(b) .
2n − 2
n=2
∞
X (x − 1)n x
(c) .
n2 − n
n=2
Indicación: utilizar adecuadamente el teorema de derivación y convergencia
uniforme.
ex − 1
9.- Consideremos la sucesión de funciones fn (x) = (n ≥ 0).
enx
P∞
(a) Probar que n=0 fn converge puntualmente en [0, 1]. ¿Es uniforme la
convergencia?
P∞ R 1 P∞ R 1
(b) Calcular, si convergen, la suma de las series n=0 1/2 fn y n=0 0 fn .
P∞ an
10.- (a) Se llama serie de Dirichlet a una serie de funciones de la forma n=1 nx ,
donde {an }∞ β
1 ⊂ R \ {0}. Recordar que α := e
β log α . Demostrar que,
log |an |
si existe L := lı́mn→∞ log n ∈ R, entonces la serie de Dirichlet define
una función continua en el intervalo (1 + L, +∞).
P∞ 1
(b) Probar que la serie funcional n=1 nx define una función continua
ζ(x) en (1, +∞), la cual se denomina función zeta de Riemann. De-
mostrar que, para cada x > 1, se tiene que
n
1 Y
= lı́m (1 − p−x
k ),
ζ(x) n→∞
k=1
P
(b) Criterio de Abel de convergencia uniforme de series: Si fn converge
uniformemente en A hacia una función acotada, las gn son uniforme-
mente convergentes en A a una función acotada y, o bien gn (x) ≤
gn+1 (x) (x ∈ A, n ∈ N) o bien gn (x) ≥ gn+1 (x) (x ∈ A, n ∈ N),
P
entonces fn gn converge uniformemente en A.
Series de potencias
57
58 Luis Bernal González
Definición 5.1.1. Una serie de potencias (SP) es una serie de funciones del
P∞ n 2
tipo n=0 an (x − a) = a0 + a1 (x − a) + a2 (x − a) + · · · , donde an ∈ R para
Demostración del Teorema 5.1.2. Probaremos sólo (a) [los apartados (b)
y (c) son más fáciles y se demuestran de modo análogo]. Sea pues 0 <
R < +∞ y fijemos un punto x ∈ (a − R, a + R). Entonces |x − a| < R
p
y lı́m supn→∞ n |an | = R1 < |x−a|
1
. Elijamos cualquier α con R1 < α <
1
|x−a|
.Por definición de lı́mite superior, podemos encontrar n0 ∈ N tal que
p
n
|an | ≤ α para todo n ≥ n0 . Luego, para los mismos valores de n, se tie-
ne |an (x − a)n | ≤ (α|x − a|)n . Ya que α|x − a| < 1, la serie geométrica
n
P
n (α|x − a|) es convergente. Por el criterio de comparación (ver Capı́tulo
ahora x tal que |x − a| > R. Por definición de lı́mite superior, existe una
1
sucesión {n1 < n2 < · · · < nk < · · · } ⊂ N de modo que |x−a|
< |ank |1/nk ,
para todo k. Por tanto
Se deduce que la sucesión {an (x − a)n } tiene una sucesión parcial que no
tiende a 0, luego ella misma no tiende a 0. Por la condición necesaria de
convergencia de series, ∞ n
P
n=0 an (x − a) no converge.
serie numérica de términos positivos que cumple |an (x − a)n | ≤ |an |rn para
todo x ∈ J y todo n ∈ N. Por el criterio M de Weierstrass (Teorema 4.3.3),
nuestra SP es uniformemente convergente en J, y por tanto en K. 2
potencias
∞ ∞ ∞
X xn X
nx
n X
, (−1) , xn
n=1
n2 n=1
n n=0
P∞
Proposición 5.1.3. Sea an (x − a)n una SP. El radio de convergencia
n=0
an
de esta serie viene dado por R = lı́m , siempre que exista este lı́mite.
n→∞ an+1
Demostración. Como R es el único número de [0, +∞] tal que la serie con-
verge siempre que |x − a| < R y no converge siempre que |x − a| > R, basta
probar que, si α := lı́mn→∞ anan+1
, entonces α goza de la misma propiedad.
n+1
Pues bien, si x es tal que |x − a| < α, tenemos que lı́mn→∞ |an+1 ||x−a|
|an ||x−a|n
< 1.
P∞ n
Por el criterio del cociente (ver Capı́tulo 1), la serie n=0 an (x − a) es ab-
f 0 (x) = ∞ n
P
con I, la función f es derivable en I y n=0 (n+1)an+1 (x−a)
1 1
R1 = 1 n+1
y R2 = 1 n−1
.
lı́m supn→∞ [((n + 1)|an+1 |) n+1 ] n lı́m supn→∞ [(n−1 |an−1 |) n−1 ] n
1 1
Teniendo en cuenta que las cuatro sucesiones {(n+1) n+1 }, { n+1
n
}, {(n−1 ) n−1 }
y { n−1
n
} tienden a 1, resulta que R1 = R = R2 y por tanto los intervalos de
convergencia de las tres series son el mismo, I. De acuerdo con el Teorema
5.1.2, las tres series convergen uniformemente en cada intervalo [a − r, a + r]
con 0 < r < R. En particular, ya que cada monomio an (x−a)n es una función
continua, del Teorema 4.2.1 se deduce la continuidad de f en [a − r, a + r].
Como esto es cierto para todo r ∈ (0, R) y cada punto x ∈ I es interior a
alguno de estos intervalos, concluimos que f es continua en I [recordemos
que la continuidad, al igual que la derivabilidad, es una propiedad local, es
decir, solo depende del comportamiento de la función en un entorno del punto
considerado]. Por tanto hemos probado (a).
La primera parte de (b) [y de (c)] ya se ha probado en el párrafo anterior.
Para el resto, consideremos de nuevo las funciones fn (x) := an (x − a)n , que
son derivables. Fijemos un intervalo [a − r, a + r] ⊂ I como antes. Habida
cuenta de la convergencia uniforme de la serie de las derivadas a cierta función
g : [a − r, a + r] → R, del Teorema 4.2.3 (donde [a, b] se sustituye por
[a − r, a + r] y elegimos x0 = a) se infiere que f es derivable en [a − r, a + r] y
que su derivada coincide con g. De nuevo, esto es cierto para cada r ∈ (0, R),
luego las propiedades demostradas son válidas en I y (b) queda probado.
La prueba de (c) se completa de manera análoga, usando el Teorema
4.2.3 en cada [a − r, a + r] pero sustituyendo f por la suma F de la serie
P∞ an n+1 an
n=0 n+1 (x − a) y fn por n+1 (x − a)n+1 . También se puede demostrar
utilizando el Teorema 4.2.2 sobre integración término a término de series de
SERIES DE POTENCIAS 63
para todo x ∈ [a, b]. Fijemos ε > 0. Por el criterio de Cauchy de convergencia
de series (ver Capı́tulo 1), existe n0 ∈ N tal que |Ak,n | < ε/2 siempre que
SERIES DE POTENCIAS 65
Pero m k
P
k=n a k (x − a) = A m,n si x = b. En resumidas cuentas, dado ε > 0
Pm
hemos hallado un n0 ∈ N tal que k=nak (x − a)k < ε para todo par
m, n ∈ N con m > n ≥ n0 y para todo x ∈ [a, b]. Basta aplicar ahora la
condición de Cauchy de convergencia uniforme de series de funciones.
tiene derivada de todos los ordenes en cada punto x ∈ R, siendo ϕ(n) (0) = 0
ϕ(n) (0) n
para cada n ∈ N0 . Por tanto no puede cumplirse que ϕ(x) = ∞
P
n=0 n!
x
en un entorno de 0, luego f no es analı́tica en el 0. Esto nos lleva a estudiar
condiciones para que una función infinitamente derivable sea analı́tica.
Supongamos que f tiene derivada de todos los ordenes en un intervalo
I = (a−R, a+R). Formalmente podemos escribir la serie de Taylor asociada
∞
X f (n) (a) (n)
a f en el punto a como (x − a)n . A los números f n!(a) se les
n=0
n!
llama coeficientes de Taylor de f de a. Si a = 0, se suele hablar de serie de
MacLaurin y de coeficientes de MacLaurin.
El resultado que se enuncia a continuación nos dice que si las derivadas
sucesivas de f no son demasiado grandes, entonces f coincide con su serie de
Taylor.
(|x−a|/R)n+1
n+1
(n+1)!
= A· |x−a|R
−→ 0 pues |x−a|
R
< 1. Esto prueba el teorema.
n→∞
α α(α − 1)(α − 2) · · · (α − n + 1) α
= si n ∈ N y = 1.
n n! 0
Ejercicios
P∞ n
1.- Determinar el radio de convergencia R de las series de potencias n=1 an x
en los siguientes casos:
SERIES DE POTENCIAS 69
(a) an = log n.
(−1)n
(b) an = .
n
((−1)n + 3)n
(c) an = .
n
n2
(d) an = n.
2
n!
(e) an = n.
n
(f) an = n−n .
(g) an = np (p ∈ N).
1+x
(a) log .
1−x
(b) arctan x.
1+x
(c) .
(1 − x)3
(d) sen2 x.
(e) (1 + ex )2 .
Medida de Lebesgue
71
72 Luis Bernal González
Resulta que no es posible hacer tal asignación a todos los conjuntos, por lo
que se plantea la necesidad de definir el concepto de conjunto medible.
Definición 6.2.2. Sea (X, M) un espacio medible. Por definición, una me-
dida positiva, o simplemente una medida, sobre (X, M) es una aplicación
µ : M → [0, +∞] tal que µ(∅) = 0 y es numerablemente aditiva, es decir,
∞
S
si {An }n≥1 ⊂ M y los An son dos a dos disjuntos, entonces µ An =
n=1
∞
P
µ(An ). La terna (X, M, µ) se denomina espacio de medida.
n=1
∞
(e) Si {An }∞
S
n=1 ⊂ M es creciente entonces lı́m µ(An ) = µ An .
n→∞ n=1
(f) Si {An }∞
n=1 ⊂ M es decreciente y µ(A1 ) < +∞ entonces
∞
T
lı́m µ(An ) = µ An .
n→∞ n=1
propiedad fundamental del ı́nfimo, para cada n existe una sucesión {In,k }k≥1
∗ ε
P
de intervalos con k long (In,k ) < m (An ) + 2n . Entonces {In,k }n,k≥1 es un
S
cubrimiento numerable de n An por intervalos cuya suma de longitudes es
menor o igual que n m∗ (An )+ε. Por tanto m∗ ( n An ) ≤ n m∗ (An )+ε. Ya
P S P
M = {M ⊂ X : µ∗ (A) = µ∗ (A ∩ M ) + µ∗ (A ∩ M c ) ∀A ⊂ X}.
Se verifica:
(a) M es una σ-álgebra sobre X.
(b) La aplicación µ := µ∗ |M es una medida sobre M.
(c) La medida µ es completa. Además, si µ∗ (M ) = 0, entonces M ∈ M.
µ∗ (A) = µ∗ (A ∩ M ) + µ∗ (A ∩ M c )
= µ∗ (A ∩ M ∩ N ) + µ∗ (A ∩ M ∩ N c ) + µ∗ (A ∩ M c ∩ N ) + µ∗ (A ∩ M c ∩ N c ).
80 Luis Bernal González
µ∗ (A ∩ (M ∩ N )c ) = µ∗ (A ∩ (M ∩ N )c ∩ N ) + µ∗ (A ∩ (M ∩ N )c ∩ N c )
= µ∗ (A ∩ M c ∩ N ) + µ∗ (A ∩ N c )
= µ∗ (A ∩ M c ∩ N ) + µ∗ (A ∩ M ∩ N c ) + µ∗ (A ∩ M c ∩ N c ),
µ∗ (A) = µ∗ (A ∩ (M ∩ N )) + µ∗ (A ∩ (M ∩ N )c ),
n n
∗
X
∗ ∗
[ c
µ (A) = µ (A ∩ Mj ) + µ A ∩ Mj
j=1 j=1
n ∞
X
∗ ∗
[ c
≥ µ (A ∩ Mj ) + µ A ∩ Mj ,
j=1 j=1
∞ ∞
∗
[
∗
[ c
≥ µ∗ (A),
≥µ A∩ Mj +µ A∩ Mj
j=1 j=1
∞
S
de donde deducimos que Mn ∈ M. Hemos probado que M es una σ-
n=1
álgebra, lo cual es (a).
Para (b), denotemos µ := µ∗ |M . Entonces µ(∅) = µ∗ (∅) = 0. En cuanto a
la aditividad numerable de µ, tomemos Mn ∈ M (n ∈ N) dos a dos disjuntos.
∞
S
Haciendo A = Mn en el razonamiento anterior, obtenemos –todas las
n=1
desigualdades deben ser igualdades– que
∞
[ ∞
X ∞
X
µ Mn = µ(Mn ) + µ(∅) = µ(Mn ).
n=1 n=1 n=1
Teorema 6.4.1. Todo abierto, todo cerrado, todo subconjunto Fσ , todo sub-
conjunto Gδ , todo intervalo y todo subconjunto compacto de R es medible
Lebesgue. La medida de Lebesgue de un intervalo coincide con su longitud
y la medida de un compacto es finita. Además, la medida de Lebesgue es
completa y σ-finita.
m∗ (A ∩ I) + m∗ (A ∩ I c ) ≤ m∗ (A).
∗
P P P
n long (Jn ) + n long (Kn ) = n long (In ) < m (A) + ε. Como esto es
(a) A ∈ L.
F ∩ [−n, n]. Utilizar ahora la Proposición 6.2.5(e). Los detalles se dejan como
ejercicio.
de Cantor.
Ejercicios
1.- (a) Hallar la medida de Lebesgue del conjunto Q de los números racionales.
(c) Hallar la medida de Lebesgue del conjunto de los números reales al-
gebraicos, es decir, aquellos números reales que son solución de una
ecuación polinómica con coeficientes enteros.
2.- Sea (X, M, µ) un espacio de medida y {An }n≥1 una sucesión de conjuntos
medibles de X, es decir, {An }n≥1 ⊂ M.
(d) Demostrar que si µ(∪An ) < ∞ entonces µ(A) ≥ lı́m supn→∞ µ(An ).
P
(e) Demostrar el lema de Borel–Cantelli : si µ(An ) < ∞ entonces
µ(A) = 0.
(b) Probar que para todo α ∈ (0, m(A)) existe B medible con B ⊂ A tal
que m(B) = α.
6.- Sea (X, M, µ) un espacio de medida σ-finito. Demuéstrese que, para cada
A ∈ M, se tiene µ(A) = sup{µ(B) : B ∈ M, B ⊂ A, µ(B) < +∞}.
8.- Sea f : R → R una función lipchiciana, es decir, ∃α ∈ (0, +∞) tal que
|f (x) − f (y)| ≤ α · |x − y| ∀x, y ∈ R. Demostrar que si A ⊂ R tiene me-
dida de Lebesgue nula, entonces f (A) también tiene medida de Lebesgue
nula. Indicación: verificar primero que f es continua, y usar el hecho de que
toda función continua transforma intervalos en intervalos; si ahora I es un
intervalo, estimar la longitud de f (I) en función de la longitud de I.
10.- Sea (X, M, µ) un espacio de medida finita, con la propiedad de que µ(A) > 0
si A 6= ∅. Demostrar que la expresión d(A, B) = µ((A \ B) ∪ (B \ A))
(A, B ∈ M) define una métrica sobre M.
11.- Sea A ⊂ [0, 1] el conjunto de números reales x para cuya expresión decimal
x = 0, a1 a2 a3 a4 . . . se verifica que {a2 , a4 , a6 , . . . } ⊂ {1, 2}. Demostrar que
A es medible-Lebesgue y calcular m(A).
Capı́tulo 7
Integral de Lebesgue
91
92 Luis Bernal González
Sm Sn
simples con i=1 Ai = X = j=1 Bj , y α ∈ R, entonces
m
X m X
X n
αϕ = αai χAi y ϕ+ψ = (ai + bj )χAi ∩Bj .
i=1 i=1 j=1
cesario que los conjuntos {ai −ε ≤ f ≤ ai +ε} sean medibles. Esto nos lleva al
concepto de función medible. Conviene recordar cuáles son los subconjuntos
abiertos de R, ver Nota 6.2.4.
T
estrictamente decreciente con an → a, se tiene que {f ≤ a} = n {f < an }.
Si (b) es cierto, de ser M una σ-álgebra se deduce que {f ≤ a} ∈ M,
ası́ que (b) implica (c). Que (d) implica (e) es análogo: basta elegir cualquier
sucesión (bn ) ⊂ R estrictamente creciente con bn → a y tener en cuenta que
T
{f ≥ a} = n {f > bn }. Por tanto las 4 propiedades (b)–(e) son equivalentes.
Supongamos ahora que (a) se cumple. Entonces cada conjunto G = [−∞, a)
es abierto en R, luego {f < a} = f −1 (G) ∈ M. Ası́ que (a) implica (b).
Finalmente, teniendo en cuenta la estructura de los abiertos de R junto con
el hecho de que cada abierto G de R es unión numerable de intervalos abiertos
(an , bn ), de ser M una σ-álgebra se deduce que (b) conjuntamente con (d)
implica (a) [notar que (b) y (d) pueden usarse conjuntamente, ya que son
equivalentes; se deduce en particular que f −1 ((an , bn )) = {f > an } ∩ {f <
bn } ∈ M]. Se ha usado también que la operación de tomar preimágenes
respeta las operaciones de unión e intersección de conjuntos.
i−1 i
Si f (x) < n, entonces existe i ∈ {1, 2, . . . , n2n } tal que 2n
≤ f (x) < 2n
,
i−1
luego ϕn (x) = 2n
≤ f (x).
98 Luis Bernal González
i−1
Si n ≤ f (x) < n + 1 entonces ϕn (x) = n y ϕn+1 (x) = 2n+1
, donde
i−1 i
i ∈ {1, . . . , (n + 1)2n+1 } es tal que 2n+1
≤ f (x) < 2n+1
. Por tanto
i
n < 2n+1
, luego n2n+1 < i. Se deduce que n2n+1 ≤ i − 1, ası́ que
i−1
ϕn (x) = n ≤ 2n+1
= ϕn+1 (x).
Si f (x) < n, se tiene que f (x) < n + 1, luego existe i ∈ {1, . . . , n2n }
i−1 i j−1
y existe j ∈ {1, . . . , (n + 1)2n+1 } tales que 2n
≤ f (x) < 2n
y 2n+1
≤
j
f (x) < 2n+1
, de donde resulta ϕn (x) = i−1
2n
y ϕn+1 (x) = 2j−1
n+1 . Pero de las
j
desigualdades anteriores obtenemos que i−12n
< 2n+1 , luego 2(i − 1) < j,
ası́ que 2(i − 1) ≤ j − 1, y por tanto ϕn (x) = i−1
2n
≤ 2j−1
n+1 = ϕn+1 (x).
Si f (x) < +∞, existe n0 ∈ N tal que f (x) < n0 , luego, para todo n ≥
in −1 in
n0 , se tiene que ϕn (x) = 2n
≤ f (x) < 2n
con in ∈ {1, . . . , n2n }. Esto
1
implica que |ϕn (x) − f (x)| = f (x) − ϕn (x) < 2n
→ 0. En consecuencia,
ϕn (x) → f (x) (n → ∞).
R R
Si A ∈ M, la integral de f sobre A se define como A
f dµ = X
f · χA dµ.
R
(c) Si f, g : X → [0, +∞] son medibles e iguales e.c.t. X, entonces X
f dµ =
R
X
g dµ.
Demostración. Las propiedades (a), (b) y (c) son ciertas para funciones medi-
bles no negativas. Considerando que f = f + −f − , (a), (b) y (c) se demuestran
sin dificultad para cualquier función medible f .
En (d), observar que αf + βg esta definida e.c.t. X, y por (c) se puede
definir como 0 –por ejemplo– en el conjunto de medida nula donde no está de-
finida. Que f + g y αf son integrables si f y g lo son y α ≥ 0, ası́ como las
correspondientes igualdades integrales, son válidas para f + y f − . Si α <
0, es inmediato ver que αϕ es integrable para toda ϕ ≥ 0 integrable, y
que X αϕ dµ = α X ϕ dµ. Aplicándolo a ϕ = f + , f − y combinando estos
R R
tenemos (a).
Ejercicios
1.- Probar con detalle la Proposición 7.3.3.
1−cos x
(a) x(1+x2 )
en (0, +∞).
x·arctan x
(b) 1+x2
en [1, +∞).
log(1+x2 )
(c) √
x 1−x2
en (0, 1).
2
(d) e−x log x en (0, +∞).
sen x
(e) x en (0, +∞).
∞
X χA n
7.- Sea (An ) una sucesión de subconjuntos de R. Definimos f := . Pro-
10n
n=1
bar que f es medible si y solo si los conjuntos An son medibles.
10.- Sea ϕ : [0, +∞) → [0, +∞] con ϕ(0) = 0. Se define la función
(a) Probar que ψ es medible viendo que cada conjunto ψ −1 ((a, +∞)) es
abierto.
(b) Probar que se cumple xy ≤ ϕ(x) + ψ(y) para todo x, y ∈ [0, +∞).
11.- Sea f : R → R una función medible y acotada, y llamemos g(x) := sup{f (t) :
t > x} para cada x ∈ R.
13.- Supongamos que f : [a, b] → R es una función acotada. Para cada δ > 0,
se consideran las funciones f ∗ , f∗ : [a, b] → R, llamadas función superior y
INTEGRAL DE LEBESGUE 111
(b) Demostrar que f∗ (x) ≤ f (x) ≤ f ∗ (x) para todo x ∈ [a, b].
(c) Fijados α ∈ R y x0 ∈ {f ∗ < α}, demostrar que existe β > 0 tal que
[a, b] ∩ (x0 − β, x0 + β) ⊂ {f ∗ < α}.
Teoremas de convergencia
113
114 Luis Bernal González
p Z p Z Z
X X
≤ lı́m ψn dµ = lı́m ψn dµ = lı́m ψn dµ,
n→∞ Ei n→∞ Ei n→∞ X
i=1 i=1
∞ R
P ∞
P
(b) Si f dµ < +∞, la función
X n
fn es integrable y, en particular,
n=1 n=1
∞
P
la serie fn (x) converge e.c.t. x ∈ X.
n=1
R
(c) La aplicación ν : E ∈ M 7→ ν(E) = E
f dµ ∈ [0, +∞] es una medida
positiva.
La parte (c) del corolario anterior nos da una manera de generar medidas
a partir de una función medible y de otra medida. Además, ν(E) = 0 si
µ(E) = 0.
El siguiente resultado ni siquiera exige convergencia, y nos da una condi-
ción sobre la integrabilidad de los lı́mites de oscilación.
∞
S
Demostración. Ya que el conjunto Z := {x ∈ X : fn (x) 9 f (x)}∪ {|fn | >
n=1
g} es medible y µ(Z) = 0, podemos suponer una vez más que todos los lı́mites
y desigualdades de las hipótesis son “en todo x ∈ X”.
R
Tenemos pues que f es medible y |f | ≤ g ∈ L1 (X), ası́ que X
|f | dµ ≤
R
X
g dµ < +∞, de donde inferimos que f ∈ L1 (X). Probemos ahora que
Z
lı́m |fn − f | dµ = 0. [2]
n→∞ X
R R R R
De aquı́ se deduce que X f dµ = lı́m X fn dµ pues X fn dµ − X f dµ| =
R R n→∞
| X (fn − f ) dµ ≤ X |fn − f | dµ. Esto concluirı́a la demostración.
Luego basta probar [2]. Para ello, notemos en primer lugar que |fn − f | ≤
|fn | + |f | ≤ 2g, luego 2g − |fn − f | ≥ 0. Por el Lema de Fatou,
Z Z
lı́m (2g − |fn − f |) dµ ≤ lı́m inf (2g − |fn − f |) dµ.
X n→∞ n→∞ X
(b) Sean f ∈ L1 (X) y (An ) una sucesión de conjuntos medibles dos a dos
disjuntos tales que X = ∞
S
n=1 An . Entonces
Z X∞ Z
f dµ = f dµ.
X n=1 An
Demostración. (a) Nótese que de la hipótesis se deduce que cada función |fn |
es integrable, luego cada fn también lo es. Aplicar el Corolario 8.1.2(b) a las
P
funciones |fn |. Se deduce que g := n |fn | es integrable, luego también lo es
P
n fn , ya que es medible y está mayorada por la anterior. Por último, aplicar
Fijado ε > 0, existe n ∈ N tal que [a,b] f ∗ dm− nk=1 supJk,n f ·long (Jk,n ) <
R P
m(D(f )) = 0.
Ejercicios
1.- Calcular, razonadamente, los siguientes lı́mites de integrales, entendidas es-
tas como respecto de la medida de Lebesgue en los intervalos indicados:
R +∞ dx
(a) lı́m 1+x+xn .
n→∞ 0
R +∞log(1+x) n
(b) lı́m 0 x dx.
n→∞
R +∞ 2
(c) lı́m 0 e−x +nx dx.
n→∞
R +∞ 2
(d) lı́m e−nx +x dx.
n→∞ −∞
R +∞ x
(e) lı́m 0 (1+x3n )1/n
dx.
n→∞
R +∞
log(x+n) −x
(f) lı́m n e cos x dx.
n→∞ 0
R1
(g) lı́m 0 arctan( nx log x) dx.
n→∞
R +∞ arctan(x/n)
(h) lı́m √ dx.
n→∞ 0 x x
R∞ x2
(i) lı́m n
1+nx2
e− n dx.
n→∞ 1
√
x
n log(1+
R1 )
(j) lı́m x
n
dx.
n→∞ 0
Re [1−(log x)n ]x
(k) lı́m √ dx.
n→∞ 1 x2 −1
(sen x)n+1
R +∞
(l) lı́m 0 x(x+1) dx.
n→∞
x2 +2n
R +∞ 1
(m) lı́m 0 1+x 2 log x 2 +n dx.
n→∞
R +∞
(n) lı́m nx
n+x2
e−nx dx.
n→∞ 0
P
(b) Probar que S := fn es integrable en [a, +∞) para todo a > 1.
R∞ R∞ 1/n
(c) Demostrar que 1 fn (x) dx = 1 f (x)x
nx dx.
R∞
(d) Deducir que lı́mn→∞ n 1 fn (x) dx = e−1
2e .
PR∞
(e) ¿Es convergente la serie 1 fn ? ¿Es integrable la función S en
(1, +∞)?
−1 n
4.- Para cada n ∈ N, sea fn (x) = .
1 + x2
∞ Z ∞
X
(a) Dado α ≥ 0, probar que |fn (x)| dx < +∞ si y solo si α > 0.
n=1 α
∞ Z ∞ Z ∞
X dx
(b) Probar que para todo α > 0 se tiene que fn (x) dx = − .
2 + x2
n=1 α α
5.- (a) Sea [a, b] un intervalo cerrado y acotado de R y A ⊂ [a, b]. Sea x0 ∈
[a, b]. Demostrar que χA es continua en x0 si y solo si x0 ∈
/ ∂A.
6.- (a) Sea m la medida de Lebesgue sobre X = [0, +∞) y sea, para cada
n ∈ N,
2x/n2 si x ≤ n
fn (x) :=
0 si x > n.
R R
¿Es lı́m X fn dm = X lı́m fn dm?
n→∞ n→∞
7.- Consideremos las tres sucesiones de funciones definidas para x ∈ (0, +∞) y
n+x n
, gn (x) = fn (x)e−x/2 y hn (x) = fn (x)ex/2 .
n ∈ N como: fn (x) = n+2x
(a) Calcular las funciones lı́mite puntual de las sucesiones (gn ) y (hn ).
TEOREMAS DE CONVERGENCIA 127
Z +∞
(b) Calcular el lı́m gn (x) dx.
n→∞ 0
(c) Justificar si es cierta la igualdad
Z +∞ Z +∞
lı́m hn (x) dx = lı́m hn (x) dx.
n→∞ 0 0 n→∞
(a) Para cada α > 0, el conjunto {|f | > α} tiene medida finita.
Indicación: utilizar la desigualdad de Chebyshev.
(a) Sea f : [−a, a] → R una función integrable Lebesgue en [−a, a]. Pro-
bar que, si f es par [es decir, f (x) = f (−x) para todo x] entonces
Ra R0 Ra Ra
0 f dm = −a f dm, y por tanto −a f dm = 2 0 f dm. Análogamen-
te, probar que, si f es impar [es decir, f (−x) = −f (x) para todo x]
Ra R0 Ra
entonces 0 f dm = − −a f dm, y por tanto −a f dm = 0.
Integrales paramétricas
9.1. Introducción
Sean A ⊂ R un subconjunto medible Lebesgue y B ⊂ R un intervalo.
Supongamos que tenemos una función de dos variables
f : (x, t) ∈ A × B 7→ f (x, t) ∈ R.
Siempre que tenga sentido, podemos definir la siguiente función, que es una
integral paramétrica o integral que depende de un parámetro:
Z
F : t ∈ B 7→ f (x, t) dx ∈ R.
A
129
130 Luis Bernal González
(c) Existe una función g : A → [0, +∞) integrable Lebesgue tal que
R
Entonces la función F : t ∈ B 7→ A
f (x, t) dx ∈ R está bien definida y es
continua en B.
INTEGRALES PARAMÉTRICAS 131
(d) Existe una función g : A → [0, +∞) integrable Lebesgue tal que
∂f
(x, t) ≤ g(x) para todo x ∈ A y todo t ∈ B.
∂t
132 Luis Bernal González
R
Entonces la función F : t ∈ B 7→ A
f (x, t) dx ∈ R está definida y es
derivable en B. Además
Z
0 ∂f
F (t) = (x, t) dx para todo t ∈ B.
A ∂t
Ejercicios
Z ∞
log(e + tx)
1.- Hallar el lı́m dx.
t→0+ 0 1 + (1 + t)(x2 + tx5 )
Z ∞
sen (x + y 2 )
2.- Probar que la función F (x) = √ dy está bien defi-
0 (x + y 2 )(1 + x + y)
nida y es continua en [0, +∞).
3.- (a) Estudiar para qué valores deZt ∈ R está bien definida, es continua y es
∞ t
x log x
derivable la función F (t) = dx.
0 x2 − 1
Z ∞
dx
(b) Lo mismo para la función G(t) = .
0 (1 + x + x2 )t
¿Es G acotada en su dominio de definición?
2 2 2
e−x (t +1)
Rx 2 R1
4.- Definamos f (x) = 0 e−t dt y g(x) = 0 t2 +1
dt.
(b) Probar que F cumple las hipótesis del Teorema de derivación pa-
ramétrica en (t0 , +∞) para todo t0 > 0.
Series de Fourier
135
136 Luis Bernal González
P Rπ Rπ P
niendo asimismo la validez del intercambio n −π = −π n . Obtenemos
π π
am = π1 −π f (x) cos(mx) dx y bm = π1 −π f (x) sen(mx) dx. Estos cálculos
R R
donde
π
1 π
Z Z
1
a0 = f (x) dx, an = f (x) cos(nx) dx
π −π π −π
1 π
Z
y bn = f (x) sen(nx) dx (n ∈ N).
π −π
A los coeficientes an (n = 0, 1, ...) y bn (n = 1, 2, ...) se les llama los coefi-
cientes de Fourier de la función f .
asociada a f es
∞
a0 X 2πn 2πn
+ an cos (x − a) + bn sen (x − a) ,
2 n=1
b−a b−a
1 b 1 b
Z Z
2πn
donde a0 = f (x) dx, an = f (x) cos (x − a) dx y
Z b π a π a b−a
1 2πn
bn = f (x) sen (x − a) dx.
π a b−a
(c) Notemos que si [a, b] = [0, 2π] entonces la serie de Fourier es la misma
que la que se obtendrı́a si la función estuviese definida en [−π, π], excepto
R 2π
que las integrales que aparecen serı́an 0 . De todas formas, si la función en
R 2π
[0, 2π] se prolongase a R de manera periódica, los valores 0 coincidirı́an
Rπ
con los correspondientes valores −π .
De hecho, se tiene no solo que (an ) y (bn ) están acotadas, sino que tienden
a cero. Para verlo, incluimos un resultado técnico que también usaremos en
la sección siguiente.
R
Si J es un intervalo acotado de extremos c y d, se tiene que J sen(αt+β) dt =
1
Pp
α
[cos(αc + β) − cos(αd + β)] −→ 0. Luego j=1 → 0 cuando α → +∞ y,
α→+∞
Pp
en consecuencia, podemos encontrar un α0 tal que j=1 < ε/2 para todo
R
α > α0 . Por tanto | I ϕ(t) sen(αt + β) dt| < ε para los mismos valores de α,
y la demostración ha terminado.
a20 Pn 2
Como el primer miembro es ≥ 0, se deduce que 2
+ k=1 (ak + b2k ) ≤
1 π
R
π −π
f (x)2 dx. Basta hacer ahora n → ∞.
Z π Z π
1 1
Sn f (x) = f (x + t)Dn (t) dt = (f (x + t) + f (x − t))Dn (t) dt.
π −π π 0
sen 2n+1
1 2
u
+ cos u + · · · + cos(nu) = = Dn (u).
2 2 sen u2
142 Luis Bernal González
Demostración. Por hipótesis, existe δ ∈ (0, π) tal que f (x0 +t) = 0 para todo
t ∈ (−δ, δ). Entonces |2 sen(t/2)| ≥ γ := 2 sen(δ/2) > 0 para todo t ∈ A :=
[−π, −δ] ∪ [δ, π]. De la primera igualdad del Teorema 10.3.1 deducimos que
1 π
Z Z
1 2n + 1
Sn f (x0 ) = f (x0 + t)Dn (t) dt = ϕ(t) sen t dt,
π −π π A 2
f (x0 +t)
donde ϕ(t) := 2 sen(t/2)
, la cual es integrable en A por ser medible y estar
mayorada en A por la función (1/γ)f (x0 + t). Por el Lema de Riemann–
SERIES DE FOURIER 143
R
Lebesgue, A
ϕ(t) sen((2n+1)t/2) dt → 0 cuando n → ∞. De aquı́ deducimos
lo que queremos.
−
(a) Si los lı́mites y derivadas laterales f (x+ 0 0
0 ), f (x0 ), f+ (x0 ), f− (x0 ) existen
basta probar el primer lı́mite del enunciado. Para ello, usamos la segunda
Rπ
igualdad integral del Teorema 10.3.1 y el hecho de que π1 0 Dn (t) dt = 1/2
Rπ
[porque π1 −π Dn (t) dt = 1 y Dn es par]. Tenemos ası́ que
− π
f (x+
Z
0 ) + f (x0 ) 1
Sn f (x0 ) − = (f (x0 + t) − f (x+0 ))Dn (t) dt
2 π 0
1 π
Z
+ (f (x0 − t) − f (x−0 ))Dn (t) dt.
π 0
2 sen(t/2)
Como las derivadas laterales de f existen y son finitas y lı́mt→0 t
=
f (x0 +t)−f (x+0 ) f (x0 −t)−f (x−0 )
1, resulta que la funciones ϕ1 (t) := 2 sen(t/2)
y ϕ2 (t) := 2 sen(t/2)
,
que son medibles, están mayoradas por alguna función positiva integrable en
[−π, π] (para comprobarlo, dividir el intervalo anterior en (−δ, δ) y [−π, π] \
(−δ, δ), con un δ > 0 adecuado que viene de que el lı́mite proporcionado por
las derivadas laterales existe y es finito: se dejan los detalles como ejercicio).
La primera integral en la expresión anterior es
Z π Z π
+ 2n + 1
(f (x0 + t) − f (x0 ))Dn (t) dt = ϕ1 (t) sen t dt,
0 0 2
la cual → 0 cuando n → ∞ gracias al Lema de Riemann–Lebesgue. Análo-
gamente, utilizando ϕ2 , la segunda integral que interviene en la expresión de
− −
f (x+
0 )+f (x0 ) f (x+
0 )+f (x0 )
Sn f (x0 )− 2
también tiende a 0, ası́ que Sn f (x0 ) → 2
.
an = −Bn /n y bn = An /n.
2 2
P
y también lo hace n (An + Bn ) [por la desigualdad de Bessel aplicada a
Dos fuertes resultados, cuya prueba no incluimos aquı́ pero que tienen
importantes consecuencias, son los siguientes.
Ejercicios
1.- (a) Probar que las series de Fourier de las funciones siguientes definidas en
[0, 2π) son las que se indican:
148 Luis Bernal González
∞
1 X 1
f1 (t) = t; S(f1 ) = + sen t
2 πn
n=1
∞
2 −π 2 X cos (nt)
f2 (t) = t − 2πt; S(f2 ) = +
6 n2
n=1
∞
−4 X sen(2n − 1)t
f3 (t) = χ[π,2π) − χ[0,π] ; S(f3 ) = .
π 2n − 1
n=1
(b) Estudiar la coincidencia entre las funciones y sus series de Fourier.
∞ ∞
X 1 X (−1)n
(c) Deducir la suma de las siguientes series numéricas: y .
n2 n2
n=1 n=1
3.- (a) Hallar la serie trigonométrica de Fourier de cada una de las funciones
f (x) = x y g(x) = |x| en el intervalo [−π, π].
4.- Sea f (x) = máx{sen x, 0}. Obtener la serie de Fourier asociada a f , estudiar
∞
X (−1)n
su convergencia y calcular .
4n2 − 1
n=1
5.- Dada una función f ∈ L1 ([0, π]), se llama serie de senos [serie de cosenos,
resp.] de f a la serie de Fourier de la extensión impar [de la extensión par,
resp.] de f a [−π, π]. Desarrolla en serie de senos y de cosenos las siguientes
funciones definidas en el intervalo [0, π]:
(a) f (x) = ex .
(b) f (x) = x2 + x.
∞
X (−1)n
(c) Deducir la suma de la serie .
2n + 1
n=1
8.- Para cada una de las siguientes funciones definidas en [−π, π], determina si
la serie de Fourier converge puntualmente y cuál es su lı́mite puntual si es
que éste existe:
(b) Sea f : [0, 2π] → C una función integrable Lebesgue, lo cual significa
que Re f e Im f son integrables Lebesgue. Consideremos los coeficientes
de Fourier de f respecto del sistema exponencial, es decir, el sistema
de números complejos fb(n) (n ∈ Z) definidos como
Z 2π
1
fb(n) = f (t)e−int dt.
2π 0
150 Luis Bernal González
P∞ 1 − a cos t + ia sen t
n eint
11.- (a) Probar que n=0 a = ∀a ∈ (−1, 1).
1 − 2a cos t + a2
a sen t
(b) Hallar la serie de Fourier en [−π, π] de f (t) = .
1 − 2a cos t + a2
(c) Probar que el desarrollo de Fourier del apartado anterior converge uni-
formemente en R.
Existe una abundante bibliografı́a sobre series e integración. Los libros que a
continuación se enumeran constituyen solo una pequeña parte. Cada uno de ellos
ha podido ser usado en la elaboración de alguna o algunas secciones de estas notas,
pero hay que tener en cuenta que el enfoque de los temas a tratar puede variar
de libro a libro. Por supuesto, todos contienen mucho más material adicional, que
puede ayudar al lector interesado tanto a profundizar en la teorı́a dada aquı́ como a
introducirse en temas nuevos. Además, la mayorı́a de los textos sugeridos contienen
listados de ejercicios y problemas sobre las materias tratadas, y en algunos casos
se dan sugerencias para resolverlos. Debe observarse que algunos de los libros que
se citan abajo están completamente dedicados a resolver o proponer ejercicios.
• H.S. Bear, A Primer of Lebesgue Integration, 2nd ed., Academic Press, New
York, 2002.
151
152 Luis Bernal González
153
154 Luis Bernal González
Fσ -conjunto, 82 Convergencia
Gδ -conjunto, 82 puntual o simple, 38
σ-álgebra, 73 uniforme, 38
de Borel, 86 Coseno hiperbólico, 70
generada por una familia de subconjuntos, 86 Criterio
de convergencia de Dirichlet, 14
Antiderivación, 17 de Abel de convergencia uniforme de series, 56
Asociatividad de una serie, 10 de Cauchy de convergencia de series, 11
de comparación, 13
campo o dominio de convergencia de una sucesión
de comparación para integrales impropias, 32
funcional, 38
de comparación por paso al lı́mite, 13
Coeficientes
de comparación por paso al lı́mite para inte-
de Fourier, 137
grales impropias, 32
de MacLaurin, 66
de condensación de Cauchy, 13
de Taylor, 66
de convergencia de Abel, 14
Coeficientes de la SP, 58
de convergencia de la raı́z o de Cauchy, 13
Complementario de un conjunto, 73
de convergencia de Leibniz, 14
Condición
de convergencia de Pringsheim, 21
de Cauchy de convergencia de integrales im-
de convergencia de Raabe–Duhamel, 13
propias, 30
de Dirichlet de convergencia uniforme de se-
de Cauchy de convergencia uniforme de series
ries, 55
de funciones, 51
de Lebesgue de integrabilidad Riemann, 119
de Cauchy de convergencia uniforme de suce-
del cociente o de D’Alembert, 13
siones de funciones, 39
integral de convergencia de series, 33
de Jordan–Dini, 143
logarı́tmico, 21
necesaria de convergencia de series, 11
M de Weierstrass, 52
necesaria de convergencia uniforme de series,
mayorante de Weierstrass para la convergencia
52
uniforme, 52
Conjunto
boreliano o de Borel, 86 mayorante para integrales impropias, 32
de Vitali, 72, 88
medible, 72, 73 Desigualdad de Chebyshev, 104
medible Carathéodory, 79 Diferencia entre dos conjuntos, 73
medible Lebesgue, 81 Distancia, 122
155
156 Luis Bernal González