1

CLASE 1

Integrales Impropias

Definición 1.1 (Integral impropia en intervalo acotado). Consideremos una función 𝑓 de-
finida y acotada en un intervalo acotado [𝑎, 𝑏) y supongamos que 𝑓 es integrable en cada
subintervalo cerrado [𝑎, 𝑡], para todo número real 𝑡 que cumple 𝑎 < 𝑡 < 𝑏 (condición que se
cumple automáticamente si, por ejemplo, 𝑓 es continua en todo el intervalo [𝑎, 𝑏)).
𝑏−𝜀
Si lim+ 􏾙 𝑓(𝑥) d𝑥 existe ¹ diremos que 𝑓 tiene una integral impropia en [𝑎, 𝑏) y denotamos
𝜀→􏷟 𝑎
𝑏 𝑏−𝜀
􏾙 𝑓(𝑥) d𝑥 ∶= lim+ 􏾙 𝑓(𝑥) d𝑥.
𝑎 𝜀→􏷟 𝑎

De manera similar, se define la integral impropia de la función 𝑓 en un intervalo (𝑎, 𝑏] como

𝑏 𝑏
􏾙 𝑓(𝑥) d𝑥 ∶= lim+ 􏾙 𝑓(𝑥) d𝑥,
𝑎 𝛿→􏷟 𝑎+𝛿

suponiendo que tal límite existe (y que la función acotada 𝑓 es integrable en cada intervalo
cerrado y acotado [𝑎 + 𝛿, 𝑏] para todo 𝛿 > 0 con 𝑎 + 𝛿 < 𝑏).
Si 𝑓, ahora, está definida y es acotada en un intervalo cerrado (y acotado) [𝑎, 𝑏], excepto
en un punto² 𝑐 interior³, definimos la integral impropia de 𝑓 de la siguiente manera:
𝑏 𝑐−𝜀 𝑏
􏾙 𝑓(𝑥) d𝑥 ∶= lim 􏾙 𝑓(𝑥) d𝑥 + lim+ 􏾙 𝑓(𝑥) d𝑥,
𝑎 𝜀→􏷟+ 𝑎 𝛿→􏷟 𝑐+𝛿

siempre que existan ambos límites.⁴

En algunos casos es posible que alguno (o ambos) de los (dos) límites anteriores no
𝑐−𝜀 𝑏
exista y, sin embargo, el límite lim+ 􏿰􏾙 𝑓(𝑥) d𝑥 + 􏾙 𝑓(𝑥) d𝑥􏿳 sí exista y sea, por tanto,
𝜀→􏷟 𝑎 𝑐+𝜀
cierto número que podemos denotar 𝐿. Al número 𝐿 se le llama el valor principal de Cauchy
𝑏 𝑏
de la integral 􏾙 𝑓(𝑥) d𝑥 y se le denota P 􏾙 𝑓(𝑥) d𝑥, es decir,
𝑎 𝑎
𝑏 𝑐−𝜀 𝑏
P 􏾙 𝑓(𝑥) d𝑥 ∶= lim+ 􏿰􏾙 𝑓(𝑥) d𝑥 + 􏾙 𝑓(𝑥) d𝑥􏿳 .
𝑎 𝜀→􏷟 𝑎 𝑐+𝜀
¹Recuerde que la frase “el límite existe” significa que el límite en cuestión es un número y, por lo tanto,
finito. En otras palabras se excluye la posibilidad de que el límite sea ±∞.
²Por simplicidad, daremos la definición para un solo punto excepcional pero ésta definición se extiende
naturalmente al caso de un número finito de puntos excepcionales.
³O bien 𝑐 no pertenece al dominio de 𝑓 o bien |𝑓(𝑥)| → +∞ cuando 𝑥 → 𝑐.
⁴Note entonces que si alguno de los dos límites no existe entonces la integral impropia no existe.

Apuntes de Matemáticas VII Luis J. Navarro y Ramón Navarro

 2

􏷠
Ejemplo 1.2. Consideremos la función 𝑓(𝑥) = 𝑥𝛼
, siendo 𝛼 > 0, en el intervalo (0, 1]. Calcu-
lamos (para 𝛼 ≠ 1)
􏷠
􏷠 d𝑥 𝑥􏷠−𝛼 1 𝜀􏷠−𝛼
􏾙 = 􏵶 = − .
𝜀 𝑥𝛼 1−𝛼 1−𝛼 1−𝛼
𝜀
De esta manera,

a) Si 𝛼 < 1 entonces 1 − 𝛼 > 0 y lim+ 𝜀􏷠−𝛼 = 0, lo que nos permite concluir que la integral
𝜀→􏷟
􏷠 d𝑥 1
impropia 􏾙 𝛼
, en el caso 𝛼 < 1, existe y vale .
􏷟 𝑥 1−𝛼

b) Si 𝛼 > 1 entonces 1 − 𝛼 < 0, lim 𝜀􏷠−𝛼 = +∞ y la integral impropia no existe (es diver-
𝜀→􏷟+
gente).
􏷠 d𝑥
c) Si 𝛼 = 1 la integral impropia 􏾙 no existe pues
􏷟 𝑥
􏷠 d𝑥 *0

lim+ 􏾙 ln
= lim+ 􏿰 (1) − ln(𝜀)􏿳 = +∞.
𝜀→􏷟 𝜀 𝑥 𝜀→􏷟

Definición 1.3 (Integral impropia sobre intervalos no acotados). Consideremos una función
𝑓 definida y acotada en un intervalo [𝑎, +∞) e integrable en cada intervalo [𝑎, 𝑡] (para cual-
𝑁
quier 𝑡 > 𝑎). Cuando el límite lim 􏾙 𝑓(𝑥) d𝑥 exista, diremos que la función 𝑓 tiene una
𝑁→+∞ 𝑎
integral impropia en [𝑎, +∞) y denotaremos
∞ 𝑁
􏾙 𝑓(𝑥) d𝑥 ∶= lim 􏾙 𝑓(𝑥) d𝑥.
𝑎 𝑁→+∞ 𝑎

Similarmente definimos y denotamos la integral impropia (para 𝑓 definida y acotada en

un intervalo (−∞, 𝑏] e integrable en cada subintervalo acotado):
𝑏 𝑏
􏾙 𝑓(𝑥) d𝑥 ∶= lim 􏾙 𝑓(𝑥) d𝑥
−∞ 𝑀→+∞ −𝑀

siempre que exista tal límite.

Por último, definamos la integral (impropia) de una función definida en todo el eje real R.
Supongamos, primeramente, que 𝑓 es una función real acotada que es integrable en cada
intervalo acotado [𝑠, 𝑡], siendo 𝑠 < 𝑡 números reales arbitrarios. Si para algún 𝑟 ∈ R existen
las dos integrales impropias
𝑟 +∞
􏾙 𝑓(𝑥) d𝑥 y 􏾙 𝑓(𝑥) d𝑥
−∞ 𝑟

Apuntes de Matemáticas VII Luis J. Navarro y Ramón Navarro

 3

entonces definimos (y denotamos) la integral (impropia) de 𝑓 como

+∞ 𝑟 +∞ 𝑟 𝑁
􏾙 𝑓(𝑥) d𝑥 ∶= 􏾙 𝑓(𝑥) d𝑥 + 􏾙 𝑓(𝑥) d𝑥 = lim 􏾙 𝑓(𝑥) d𝑥 + lim 􏾙 𝑓(𝑥) d𝑥.
−∞ −∞ 𝑟 𝑀→+∞ −𝑀 𝑁→+∞ 𝑟

Como antes, si al menos uno de los dos límites anteriores no existe diremos que la integral
es divergente.
𝑟
Observación 1.4. Resulta que si los dos límites (las dos integrales impropias) 􏾙 𝑓(𝑥) d𝑥 y
−∞

R.
+∞
􏾙 𝑓(𝑥) d𝑥 existen para algún valor 𝑟 entonces ellos existen para todo 𝑟 ∈
𝑟

Definición 1.5. Si 𝑓 es una función acotada en todo

∞
R, definimos el valor principal de Cauchy
de la integral (impropia) 􏾙 𝑓(𝑥) d𝑥 como el valor del límite (cuando exista)
−∞
𝑟 𝑁 𝑁
lim 􏿰􏾙 𝑓(𝑥) d𝑥 + 􏾙 𝑓(𝑥) d𝑥􏿳 = lim 􏾙 𝑓(𝑥) d𝑥
𝑁→+∞ −𝑁 𝑁→+∞𝑟 −𝑁

y escribimos
∞ 𝑁
P 􏾙 𝑓(𝑥) d𝑥 = lim 􏾙 𝑓(𝑥) d𝑥.
−∞ 𝑁→+∞ −𝑁
Finalmente, si 𝑓 es una función real definida y acotada en todo el eje real, excepto en
dos puntos −∞ < 𝑐􏷠 < 𝑐􏷡 < +∞⁵, se define el valor principal de Cauchy de la integral impropia
(y se denota) como
∞ 𝑐􏷪 −𝜀 𝑐􏷫 −𝛿 𝑁
P 􏾙 𝑓(𝑥) d𝑥 = lim 􏿰􏾙 𝑓(𝑥) d𝑥 + 􏾙 𝑓(𝑥) d𝑥 + 􏾙 𝑓(𝑥) d𝑥􏿳 ,
−∞ 𝑁→+∞ −𝑁 𝑐􏷪 +𝜀 𝑐􏷫 +𝛿
𝜀,𝛿→􏷟

siempre que éstos límites (todos) existan.

Observación 1.6. La existencia del valor principal de Cauchy no implica la existencia de

la integral impropia pero si la integral impropia converge (existe) entonces existe el valor
principal de Cauchy y éste coincide con el valor de la integral impropia. Por ejemplo, para
la función 𝑓(𝑥) = 𝑥 (definida en todo R) se tiene que
𝑁 1 𝑁 1 􏷡
lim 􏾙 𝑓(𝑥) d𝑥 = lim 􏿶 𝑥􏷡 | 􏿹 = lim 􏿶 (𝑁 − 𝑁 )􏿹 = 0,
􏷡
𝑁→+∞ −𝑁 𝑁→+∞ 2 −𝑁 𝑁→+∞ 2

∞ ∞
lo que implica que P 􏾙 𝑓(𝑥) d𝑥 = 0. A pesar de ésto, la integral impropia 􏾙 𝑓(𝑥) d𝑥 no
−∞ −∞
𝑟 ∞
existe puesto que las integrales (impropias) 􏾙 𝑥 d𝑥 y 􏾙 𝑥 d𝑥 son ambas divergentes (no
−∞ 𝑟
existen).
⁵En estos puntos, o bien 𝑓 no está definida o bien |𝑓(𝑥)| → +∞ cuando 𝑥 → 𝑐𝑘 , 𝑘 = 􏷠, 􏷡.

Apuntes de Matemáticas VII Luis J. Navarro y Ramón Navarro

1.1 Algunos criterios de convergencia útiles en la práctica 4

Observación 1.7. La función de Heaviside se define (en todo )⁶ como R

⎧
⎪
⎪
⎨1 si 𝑥 ≥ 0
⎪
𝐻(𝑥) = ⎪⎪
⎪
⎩0 si 𝑥 < 0.
⎧
⎪
⎪
⎨1 si 𝑥 ≥ 𝑎
⎪
Al trasladar ésta función obtenemos 𝐻(𝑥 − 𝑎) = ⎪⎪
⎪
⎩0 si 𝑥 < 𝑎.
+∞
Ésta función nos permite escribir cualquier integral del tipo 􏾙 𝑓(𝑥) d𝑥 en la forma
𝑎
+∞
􏾙 𝐻(𝑥 − 𝑎)𝑓(𝑥) d𝑥.
−∞
+∞ 􏷟
Ejemplo 1.8. La integral impropia 􏾙 𝑒−𝑥 d𝑥 no existe ya que la integral 􏾙 𝑒−𝑥 d𝑥 diverge
−∞ −∞
+∞
(la integral 􏾙 𝑒−𝑥 d𝑥 sí existe: vale 1).
􏷟
∞
Ejemplo 1.9. Consideremos 􏾙 𝑒−𝑧𝑡 d𝑡, donde 𝑧 es un número complejo (fijo) 𝑧 = 𝑥 + 𝑖𝑦.
􏷟
Integrando obtenemos
𝑁 1 𝑁 1 1
􏾙 𝑒−𝑧𝑡 d𝑡 = − 𝑒−𝑧𝑡 | = 􏿴1 − 𝑒−𝑧𝑁 􏿷 = 􏿴1 − 𝑒−𝑁𝑥 𝑒−𝑖𝑁𝑦 􏿷 .
􏷟 𝑧 􏷟 𝑧 𝑧
⎧
⎪
⎪
⎪
⎨0 si 𝑥 > 0
Ahora, como lim 𝑒 −𝑁𝑥 = ⎪
⎪ y la función 𝑒−𝑖𝑁𝑦 se mantiene acotada en-
𝑁→+∞ ⎪
⎩+∞ si 𝑥 < 0
+∞
tonces concluimos que 􏾙 𝑒−𝑧𝑡 d𝑡 converge (a 􏷠𝑧 ) si Re(𝑧) > 0 y diverge si Re(𝑧) ≤ 0. Note
􏷟
􏷠
 𝑒−𝑖𝑁𝑦 􏿹 
*
que en el caso Re(𝑧) = 0 la integral impropia no converge pues lim𝑁→+∞ 􏷠𝑧 􏿶1 − 
𝑒−𝑁𝑥
no existe (la función 𝑒−𝑖𝑁𝑦 = cos(𝑁𝑦) − 𝑖 sen(𝑁𝑦) se mantiene oscilando).

1.1 Algunos criterios de convergencia útiles en la práctica

Enunciaremos algunos resultados teóricos conocidos (análogos a los criterios de con-

vergencia de series numéricas vistos en matemáticas IV) que garantizan la existencia (o
divergencia) de la integral (impropia) en el conjunto {𝑥 ∈ R ∶ 𝑥 ≥ 𝑎}, es decir, en el inter-
valo [𝑎, +∞). Muy fácilmente se adaptan éstos criterios a los otros casos (en particular a la
integral sobre todo R).
⁶En algunos textos se varía (muy ligeramente) la definición de la función, cambiando únicamente el valor
de 𝐻(􏷟). Incluso es posible conseguir algunos textos en los que se toma (−∞, 􏷟) ∪ (􏷟, +∞) como dominio de 𝐻 .

Apuntes de Matemáticas VII Luis J. Navarro y Ramón Navarro

1.1 Algunos criterios de convergencia útiles en la práctica 5

Teorema 1.10 (Criterio de comparación). Sean 𝑓, 𝑔 funciones integrables en cualquier subinter-

∞
valo [𝑎, 𝑐] ⊂ [𝑎, +∞) ⁷ y supongamos que |𝑓(𝑥)| ≤ 𝑔(𝑥) para todo 𝑥 ≥ 𝑎. Si la integral 􏾙 𝑔(𝑥) d𝑥
𝑎
∞
existe entonces la integral 􏾙 𝑓(𝑥) d𝑥 existe (converge) y, más aún,
𝑎

∞ ∞
|􏾙 𝑓(𝑥) d𝑥| ≤ 􏾙 𝑔(𝑥) d𝑥.
𝑎 𝑎

Teorema 1.11 (Criterio del límite (comparación)). Sean 𝑓 y 𝑔 dos funciones no-negativas e
integrables en cualquier subintervalo [𝑎, 𝑐] ⊂ [𝑎, +∞). Si

𝑓(𝑥)
lim existe y es distinto de cero
𝑥→+∞ 𝑔(𝑥)

∞ ∞
entonces las dos integrales 􏾙 𝑓(𝑥) d𝑥, 􏾙 𝑔(𝑥) d𝑥 convergen o divergen simultáneamente.
𝑎 𝑎

Teorema 1.12 (Criterio de Dirichlet). Sea 𝑓 una función continua en [𝑎, +∞) tal que para todo
𝑐
𝑐 ≥ 𝑎 la integral 􏾙 𝑓(𝑥) d𝑥 es uniformemente acotada (lo que esto significa es que existe una
𝑎
𝑐
constante 𝐾 tal que ∫ 𝑓(𝑥) d𝑥 ≤ 𝐾 para cualquier 𝑐 ≥ 𝑎). Si 𝜑(𝑥) es una función monótona
𝑎
∞
decreciente que cumple lim 𝜑(𝑥) = 0 entonces la integral 􏾙 𝑓(𝑥)𝜑(𝑥) d𝑥 existe (converge).
𝑥→+∞ 𝑎
∞ sen 𝑥
Ejemplo 1.13. Consideremos la integral 􏾙 d𝑥, con 𝛼 > 0.
􏷠 𝑥𝛼
sen 𝑥 1
a) Caso 𝛼 > 1: En este caso, | |≤ y
𝑥𝛼 𝑥𝛼
𝑁
∞ d𝑥
𝑥􏷠−𝛼 1 1 1
􏾙 𝛼 = lim 􏵶 = lim 􏿰 􏿶 𝛼−􏷠 − 1􏿹􏿳 = .
􏷠 𝑥 𝑁→+∞ 1 − 𝛼 𝑁→+∞ 1 − 𝛼 𝑁 𝛼−1
􏷠

sen 𝑥 􏷠
Aplicando el criterio de comparación (con 𝑓(𝑥) = 𝑥𝛼
y 𝑔(𝑥) = 𝑥𝛼
) se concluye que
∞ sen 𝑥
􏾙 𝛼
d𝑥 converge.
􏷠 𝑥
∞ d𝑥
b) Caso 0 < 𝛼 ≤ 1: En este caso, la integral 􏾙 es divergente (ver caso anterior) y
􏷠 𝑥𝛼
no se puede aplicar el Teorema de comparación. Sin embargo, tomando 𝑓(𝑥) = sen 𝑥,
⁷Reservaremos el adjetivo “integrable” para utilizarlo en el contexto de matemáticas II. En otras palabras,
𝑐
la frase “𝑓 es integrable en [𝑎, 𝑐]” significará, en la presente guía, que la integral (de matemáticas II) ∫ 𝑓(𝑥) d𝑥
𝑎
existe (y es finita).

Apuntes de Matemáticas VII Luis J. Navarro y Ramón Navarro

1.1 Algunos criterios de convergencia útiles en la práctica 6

función que es continua en todo R, vemos que 􏾙 sen 𝑥 d𝑥 es (uniformemente) aco-

𝑐

􏷠
𝑐 𝑥=𝑐
tada para todo 𝑐 > 1 (pues ∫ sen 𝑥 d𝑥 = − cos 𝑥| = cos 1 − cos 𝑐 ≤ 􏿋􏻰􏻰􏻰􏿌􏻰􏻰􏻰􏿍
cos 1 + 1 < 2).
􏷠 𝑥=􏷠
𝐾
􏷠
Además, la función 𝜑(𝑥) = es decreciente y cumple 𝑥→+∞
𝑥𝛼
lim 𝜑(𝑥) = 0. Luego, aplicando
∞ sen 𝑥
el Criterio de Dirichlet concluimos que 􏾙 𝛼
d𝑥 es convergente si 0 < 𝛼 ≤ 1.
􏷠 𝑥
Observación 1.14. En el criterio de comparación por límite, igual que en el caso de series
𝑓(𝑥)
numéricas, se tiene: Sea 𝐿 = lim . Entonces
𝑥→+∞ 𝑔(𝑥)

∞ ∞
1. Si 𝐿 = 0 y la integral 􏾙 𝑔(𝑥) d𝑥 es convergente entonces 􏾙 𝑓(𝑥) d𝑥 también conver-
𝑎 𝑎
ge.
∞
2. En el caso 𝐿 = ∞, la divergencia de 􏾙 𝑔(𝑥) d𝑥 implica la divergencia de la integral
𝑎
∞
􏾙 𝑓(𝑥) d𝑥.
𝑎
∞
Ejemplo 1.15. Para estudiar la convergencia de la integral 􏾙 𝑒−√𝑥 d𝑥, comparamos con la
􏷠
∞ d𝑥 􏷠
integral 􏾙 , es decir, tomamos 𝑓(𝑥) = 𝑒−√𝑥 y 𝑔(𝑥) = . Calculando el límite, obtenemos
􏷠 𝑥􏷡 𝑥􏷫

−√𝑥 𝑥􏷡
lim 𝑒
𝑥→∞ 􏷠
= lim = 0.
𝑥→∞ 𝑒√𝑥
𝑥􏷫

1𝑁 ∞ d𝑥
Como 𝐿 = 0 y la integral 􏾙 􏷡 = lim − | = 1 es convergente, entonces por la
􏷠 𝑥 𝑁→+∞ 𝑥
􏷠
∞ ∞
Observación 1.14 concluimos que ∫ 𝑓(𝑥) d𝑥 = ∫ 𝑒−√𝑥 d𝑥 diverge.
􏷠 􏷠
+∞
􏷫
Ejemplo 1.16. Similarmente se puede probar que la integral impropia 􏾙 𝑒−𝑥 d𝑥 es con-
􏷟
vergente. Para calcular el valor al cual converge, denotemos éste por medio de la letra 𝐼 .
Note que 𝐼 ≥ 0 (puesto que el integrando es positivo). Calculemos 𝐼 􏷡 , usando matemáticas
V:
+∞ +∞
􏷫 􏷫 􏷫 −𝑦􏷫
𝐼􏷡 = 􏾙 𝑒−𝑥 d𝑥 ⋅ 􏾙 𝑒−𝑦 d𝑦 = lim 􏽪 𝑒−𝑥 d𝐴,
􏷟 􏷟 𝑀→+∞ 𝑅

siendo 𝑅 el cuadrado 𝑅 = [0, 𝑀] × [0, 𝑀] = 􏿺(𝑥, 𝑦) ∈ R􏷡 ∶ 0 ≤ 𝑥 ≤ 𝑀 , 0 ≤ 𝑦 ≤ 𝑀􏿽. Para calcu-

Apuntes de Matemáticas VII Luis J. Navarro y Ramón Navarro

1.2 Convergencia Absoluta y algunos espacios de funciones 7

lar la integral doble, hacemos un cambio a coordenadas polares:

⎛ 𝑀 𝜋
⎞ 𝜋
⎛ ⎞
􏷫 􏷫 ⎜⎜ cos 𝜃 􏷫
􏷭 ⎟⎟ 􏷫 ⎜⎜ sen𝑀𝜃 􏷫 ⎟⎟
􏽪 𝑒−𝑥 −𝑦 d𝐴 = 􏾙 ⎜⎝⎜􏾙 𝑒 𝑟 d𝑟⎟⎟⎠ d𝜃 + 􏾙
−𝑟 ⎜⎜􏾙
⎝ 𝑒 𝑟 d𝑟⎟⎟⎠ d𝜃
−𝑟
𝜋
𝑅 􏷟 􏷟 􏷭
􏷟
⎛ 􏷫 ⎞ ⎛ 􏷫 ⎞
𝜋 ⎜ − 𝑀􏷫 ⎟ 𝜋 ⎜⎜ − 𝑀􏷫 ⎟
⎜
􏷭 ⎜ 1−𝑒 cos 𝜃 ⎟
⎟⎟ ⎜⎜ 1 − 𝑒 sen 𝜃 ⎟
⎟⎟
= 􏾙 ⎜⎜⎜ ⎟⎟ d𝜃 + 􏾙
􏷫
⎜⎜ ⎟⎟ d𝜃,
􏷟 ⎝
⎜ 2 ⎟
⎠ 𝜋 ⎜⎝ 2 ⎟⎠
􏷭

con lo cual, sustituyendo, obtenemos

⎡ ⎛ 􏷫 ⎞ ⎛ 􏷫 ⎞ ⎤
⎢⎢ 𝜋 ⎜⎜ − 𝑀􏷫 ⎟ 𝜋 ⎜⎜ − 𝑀􏷫 ⎟ ⎥
⎢ 􏷭 ⎜⎜ 1 − 𝑒 cos 𝜃 ⎟⎟⎟ ⎜⎜ 1 − 𝑒 sen 𝜃 ⎟⎟⎟ ⎥⎥⎥
𝐼 = lim ⎢⎢⎢􏾙
􏷫
􏷡 ⎜⎜ ⎟⎟ d𝜃 + 􏾙 ⎜⎜ ⎟⎟ d𝜃⎥⎥
𝑀→+∞ ⎢ ⎣ 􏷟 ⎜⎝ 2 ⎟⎠ 𝜋 ⎜⎝ 2 ⎟⎠ ⎥⎦
􏷭

y, debido a la convergencia uniforme de la función exponencial,

𝜋 ⎛ 𝑀􏷫
⎞ 𝜋 ⎛ 𝑀􏷫
⎞
1 ⎜ − ⎟ 1 ⎜ − ⎟
⎜
𝐼 􏷡 = 􏾙 lim ⎜⎝1 − 𝑒 cos􏷫 𝜃 ⎟⎠ d𝜃 + 􏾙 lim ⎜⎝1 − 𝑒 sen􏷫 𝜃 ⎟⎟⎠ d𝜃
⎟ ⎜
􏷭 􏷫

2 􏷟 𝑀→+∞ 2 𝜋 𝑀→+∞
􏷭
𝜋 𝜋
1 􏷭 1 𝜋 𝜋 𝜋 􏷫
= 􏾙 1 d𝜃 + 􏾙 1 d𝜃 = + = .
2 􏷟 2 𝜋 8 8 4
􏷭

De aquí concluimos
√𝜋
𝐼= .
2
􏷫
Note que, debido a la paridad de la función 𝑒−𝑥 , podemos concluir
+∞ +∞
􏷫 􏷫
􏾙 𝑒−𝑥 d𝑥 = 2 􏾙 𝑒−𝑥 d𝑥 = √𝜋.
−∞ 􏷟

1.2 Convergencia Absoluta y algunos espacios de funciones

Definición 1.17. Consideremos una función 𝑓 definida en un intervalo 𝐼 (acotado o no, ce-
rrado en sus extremos finitos⁸). Se dice que 𝑓 es absolutamente integrable en 𝐼 si existe la
integral (posiblemente impropia)
𝛽
􏾙 |𝑓(𝑥)| d𝑥,
𝛼
siendo 𝛼 = inf 𝐼 y 𝛽 = sup 𝐼 .⁹
El conjunto de todas las funciones absolutamente integrables en 𝐼 se denota L􏷠 (𝐼).
⁸𝐼 es un intervalo de uno de los siguientes tipos: [𝑎, 𝑏], (−∞, 𝑏], [𝑎, +∞) o (−∞, +∞), siendo 𝑎 y 𝑏 números
(finitos).
⁹Note que en el caso 𝐼 = [𝑎, 𝑏], se tiene que 𝛼 = 𝑎 y 𝛽 = 𝑏; en el caso 𝐼 = (−∞, 𝑏], se cumple 𝛼 = −∞ y 𝛽 = 𝑏;
en el caso 𝐼 = [𝑎, +∞), es 𝛼 = 𝑎 y 𝛽 = +∞ mientras que en el caso 𝐼 = (−∞, +∞), 𝛼 = −∞ y 𝛽 = +∞.

Apuntes de Matemáticas VII Luis J. Navarro y Ramón Navarro

1.2 Convergencia Absoluta y algunos espacios de funciones 8

Observación 1.18. Es muy fácil probar que toda función absolutamente integrable es inte-
grable pero no toda función integrable es absolutamente integrable.

Observación 1.19. Fácilmente se prueba que L􏷠 (𝐼) es un espacio vectorial. Por ejemplo,
𝛽 𝛽
a) Si 𝑓 ∈ L􏷠 (𝐼) y 𝑔 ∈ L􏷠 (𝐼) entonces 􏾙 |𝑓(𝑥)| d𝑥 < +∞ y 􏾙 |𝑓(𝑥)| d𝑥 < +∞. Luego,
𝛼 𝛼

𝛽 𝛽 𝛽 𝛽
􏾙 |𝑓(𝑥) + 𝑔(𝑥)| d𝑥 ≤ 􏾙 􏿴|𝑓(𝑥)| + |𝑔(𝑥)|􏿷 d𝑥 = 􏾙 |𝑓(𝑥)| d𝑥 + 􏾙 |𝑔(𝑥)| d𝑥 < ∞,
𝛼 𝛼 𝛼 𝛼

lo que demuestra que 𝑓, 𝑔 ∈ L􏷠 (𝐼) ⟹ 𝑓 + 𝑔 ∈ L􏷠 (𝐼).

b) Si 𝑓 ∈ L􏷠 (𝐼) y 𝑘 es una constante (real o compleja) entonces

𝛽 𝛽 𝛽
􏾙 |𝑘𝑓(𝑥)| d𝑥 = 􏾙 |𝑘| |𝑓(𝑥)| d𝑥 = |𝑘| 􏾙 |𝑓(𝑥)| d𝑥 < +∞,
𝛼 𝛼 𝛼

es decir, 𝑘𝑓 ∈ L􏷠 (𝐼).

R
Proposición 1.20. Sea 𝑓 ∈ L􏷠 ( ). Si 𝑔 ∶ R → C es una función acotada entonces 𝑓𝑔 ∈ L􏷠(R).
Prueba. Si 𝑔 es acotada entonces existe una constante real (no-negativa) 𝑘 de manera que
|𝑔(𝑥)| < 𝑘 para todo 𝑥 ∈ R. Luego,
∞ ∞ ∞
􏾙 |𝑓(𝑥)𝑔(𝑥)| d𝑥 = 􏾙 |𝑓(𝑥)| |𝑔(𝑥)| d𝑥 < 𝑘 􏾙 |𝑓(𝑥)| d𝑥 < ∞
−∞ −∞ −∞

ya que 𝑓 ∈ L􏷠 (R).
sen 𝑥
Ejemplo 1.21. La función 𝑓(𝑥) = 𝑥 es integrable en [𝜋, ∞) (ver el Ejemplo 1.13), sin em-
bargo no es absolutamente integrable, es decir,
∞ sen 𝑥
􏾙 | | d𝑥 diverge.
𝜋 𝑥

En efecto, en el intervalo [0, 𝜋] se encuentra el subintervalo [ 𝜋􏷥 , 􏷤𝜋

􏷥
], que tiene longitud
􏷡𝜋
𝑙= 􏷢
, en donde se cumple | sen 𝑥 | ≥ 􏷠􏷡 y en cuyos puntos extremos se tiene sen 𝜋􏷥 = 􏷠
􏷡
=
􏷤𝜋
sen 􏷥
(ver Figura 1). Más aún, como | sen 𝑥| es una función 𝜋-periódica, en cada intervalo
[𝑘𝜋, (𝑘 + 1)𝜋] (con 𝑘 ∈ Z) existe un subintervalo [𝛼𝑘𝜋, 𝛼𝑘𝜋 + 𝑙] de longitud 𝑙 = 􏷡𝜋􏷢 en el que
𝑥>􏷩
↓ |sen 𝑥|
| sen 𝑥 | ≥ 􏷡􏷠 . Luego, debido a que el integrando (| sen𝑥 𝑥 | = 𝑥
) es no-negativo, se cumple
+∞ sen 𝑥 𝑛𝜋 sen 𝑥
􏾙 | | d𝑥 ≥ 􏾙 | | d𝑥
𝜋 𝑥 𝜋 𝑥

Apuntes de Matemáticas VII Luis J. Navarro y Ramón Navarro

1.2 Convergencia Absoluta y algunos espacios de funciones 9

y, a su vez,

𝑛𝜋 sen 𝑥 􏷡𝜋 sen 𝑥 􏷢𝜋 sen 𝑥 𝑛𝜋 sen 𝑥

􏾙 | | d𝑥 = 􏾙 | | d𝑥 + 􏾙 | | d𝑥 + ⋯ + 􏾙 | | d𝑥
𝜋 𝑥 𝜋 𝑥 􏷡𝜋 𝑥 (𝑛−􏷠)𝜋 𝑥
1 𝛼􏷪 𝜋+𝑙 d𝑥 𝛼􏷫 𝜋+𝑙 d𝑥 𝛼𝑛−􏷪 𝜋+𝑙 d𝑥
≥ 􏿰􏾙 +􏾙 +⋯+􏾙 􏿳,
2 𝛼􏷪 𝜋 𝑥 𝛼􏷫 𝜋 𝑥 𝛼𝑛−􏷪 𝜋 𝑥

para cualquier número natural 𝑛.

𝑦
􏷠

􏷪
􏷫

𝜋
􏷯
𝜋
􏷬
𝜋
􏷫
􏷫𝜋
􏷬
􏷮𝜋
􏷯
𝜋 𝑥

Figura 1: La función |sen 𝑥 | con 𝑥 en el intervalo [ 𝜋􏷥 , 􏷤𝜋

􏷥
].

Ahora, como el integrando (es decir, 𝑥􏷠 ) es decreciente (siendo 𝑥 > 0) entonces el valor
mínimo del integrando en cada uno de los intervalos [𝛼𝑘 𝜋, 𝛼𝑘 𝜋 + 𝑙] (con 𝑘 = 1, 2, … , 𝑛 − 1) se
alcanza en el extremo superior (en 𝑥 = 𝛼𝑘 𝜋+𝑙), es decir, el valor mínimo en cada intervalo es
􏷠
𝛼𝑘 𝜋+𝑙
. Note, adicionalmente, que como [𝛼𝑘 𝜋, 𝛼𝑘 𝜋+𝑙] ⊂ [𝑘𝜋, (𝑘+1)𝜋] entonces el valor mínimo
􏷠
del integrando, en cada uno de los intervalos anteriores, es mayor o igual que (𝑘+􏷠)𝜋
. Luego,

𝑛𝜋 sen 𝑥 1 𝛼􏷪 𝜋+𝑙 d𝑥 𝛼􏷫 𝜋+𝑙 d𝑥 𝛼𝑛−􏷪 𝜋+𝑙 d𝑥

􏾙 | | d𝑥 ≥ 􏿰􏾙 +􏾙 +⋯+􏾙 􏿳
𝜋 𝑥 2 𝛼􏷪 𝜋 2𝜋 𝛼􏷫 𝜋 3𝜋 𝛼𝑛−􏷪 𝜋 𝑛𝜋
1 𝑙 𝑙 𝑙 𝑙 1 1 1
= 􏿰 + +⋯+ 􏿳= 􏿰 + + ⋯ + 􏿳.
2 2𝜋 3𝜋 𝑛𝜋 2𝜋 2 3 𝑛

Apuntes de Matemáticas VII Luis J. Navarro y Ramón Navarro

1.2 Convergencia Absoluta y algunos espacios de funciones 10

Así,
+∞ sen 𝑥 +∞ sen 𝑥 𝑛𝜋 sen 𝑥
􏾙 | | d𝑥 = lim 􏾙 | | d𝑥 ≥ lim 􏾙 | | d𝑥
𝜋 𝑥 𝑛→+∞ 𝜋 𝑥 𝑛→+∞ 𝜋 𝑥
𝑛
𝑙 1
≥ lim 􏾜 ,
2𝜋 𝑛→+∞ 𝑘=􏷡 𝑘
􏿄

􏷫𝜋
= 􏷬 = 􏷬􏷪
􏷫𝜋

lo que nos permite concluir que la integral impropia es divergente (recuerde que la serie
∞
1
armónica 􏾜 diverge).
𝑘
𝑘

Definición 1.22. Sea 𝑓 una función real (o compleja). Se dice que 𝑓 es localmente integrable
si 𝑓 es absolutamente integrable en todo subintervalo finito [𝑎, 𝑏] contenido en el dominio
𝑏
de 𝑓, es decir, si 􏾙 |𝑓(𝑥)| d𝑥 < +∞ para cualesquiera números 𝑎, 𝑏 ∈ Dom(𝑓). Al conjunto
𝑎
de todas las funciones localmente integrables en 𝐼 lo denotamos L􏷠loc (𝐼).

Definición 1.23. Diremos que una función 𝑓 ∶ R ⟶ R es de clase 𝒞 ∞ en R y escribimos

𝑓 ∈ 𝒞 ∞ (R) si 𝑓 es infinitamente diferenciable en todo punto 𝑥 ∈ R, es decir, si 𝑓 tiene
derivadas de todos los órdenes en todo R.

Definición 1.24. Sea 𝑓 una función definida en un intervalo abierto (𝑎, 𝑏) finito o infinito¹⁰
y con rango en R. Para (cualquier) 𝑐 en el interior del dominio de 𝑓, se dice que 𝑓 tiene una
derivada a la derecha de 𝑐 si existe el límite (en cuyo caso lo denotamos 𝑓+′ (𝑐) o 𝑓′ (𝑐+ ))
𝑓(𝑥) − 𝑓(𝑐+ ) 𝑓(𝑐 + ℎ) − 𝑓(𝑐+ )
lim+ = lim+ ,
𝑥→𝑐 𝑥−𝑐 ℎ→􏷟 ℎ
donde 𝑓(𝑐+ ) denota el límite lateral

𝑓(𝑐+ ) = lim+ 𝑓(𝑥) = lim+ 𝑓(𝑐 + ℎ).

𝑥→𝑐 ℎ→􏷟

En forma similar, denotando

𝑓(𝑐− ) = lim− 𝑓(𝑥) = lim+ 𝑓(𝑐 − ℎ),

𝑥→𝑐 ℎ→􏷟

definimos la derivada de 𝑓 a la izquierda de 𝑐 como

𝑓(𝑐 + ℎ) − 𝑓(𝑐− ) −𝑓(𝑐 − ℎ) + 𝑓(𝑐− )
𝑓−′ (𝑐) = lim− = lim+ ,
ℎ→􏷟 ℎ ℎ→􏷟 ℎ
siempre que exista tal límite.
¹⁰Para ahorrar espacio, permitiremos, a diferencia de antes, los casos 𝑎 = −∞ y 𝑏 = +∞.

Apuntes de Matemáticas VII Luis J. Navarro y Ramón Navarro

1.3 Otros resultados teóricos importantes 11

Definición 1.25. Una función 𝑓 ∶ (𝑎, 𝑏) → R se dice

• continua a trozos si ella es continua en todo su dominio excepto en un conjunto finito
de puntos 𝑥􏷠 , 𝑥􏷡 , … , 𝑥𝑛 (pertenecientes todos ellos al interior del dominio de 𝑓¹¹) en los
cuales existen ambos límites laterales de 𝑓:

𝑓(𝑥+𝑗 ) = lim+ 𝑓(𝑥𝑗 + ℎ) y 𝑓(𝑥−𝑗 ) = lim+ 𝑓(𝑥𝑗 − ℎ).

ℎ→􏷟 ℎ→􏷟

• suave a trozos si existe un conjunto finito de puntos 𝑎 = 𝑐􏷟 < 𝑐􏷠 < 𝑐􏷡 < ⋯ < 𝑐𝑛 <
𝑐𝑛+􏷠 = 𝑏 tales que 𝑓 es de clase 𝒞 ∞ en cada intervalo (𝑐𝑘 , 𝑐𝑘+􏷠 ) (para 𝑘 = 0, 1, … , 𝑛) y,
además, en cada uno de los puntos 𝑐􏷠 , 𝑐􏷡 , … , 𝑐𝑛 existen los límites laterales, a derecha
y a izquierda, tanto de 𝑓 como de 𝑓′ , es decir, existen 𝑓(𝑐+𝑘 ), 𝑓(𝑐−𝑘 ), 𝑓′ (𝑐+𝑘 ) y 𝑓′ (𝑐−𝑘 ) (para
𝑘 = 1, 2, … , 𝑛)¹².

R
Ejemplo 1.26. Claramente, la función 𝑓(𝑥) = cos 𝑥 es de clase 𝒞 ∞ ( ) mientras que la función
𝑔(𝑥) = | cos 𝑥 | no lo es (puesto que no es diferenciable en los puntos 􏷡𝑘−􏷠
􏷡
𝜋 con 𝑘 ∈ Z). La
función 𝑔 es suave a trozos en cualquier intervalo finito (ver Figura 2).

𝑦 𝑦
􏷠 􏷠 𝑦 = 𝑔(𝑥)
􏷪
􏷪
􏷫
􏷫

𝜋
􏷫
𝜋
􏷫
𝜋 􏷬𝜋
􏷫
𝑥 𝜋
􏷫
𝜋
􏷫
𝜋 􏷬𝜋 𝑥
- 􏷪􏷫 􏷫

𝑦 = 𝑓(𝑥)
-􏷠

(a) La función 𝑓(𝑥) = cos 𝑥 (b) La función 𝑔(𝑥) = | cos 𝑥 |

Figura 2: La gráfica de las funciones del Ejemplo 1.26

1.3 Otros resultados teóricos importantes

A continuación enunciaremos dos teoremas que resultan muy útiles a la hora de tratar
con integrales impropias: el primero, emparentado con el Teorema de Fubini, nos propor-
¹¹Note que ésto hace que el conjunto que se obtiene al quitarle al intervalo (𝑎, 𝑏) todos los puntos 𝑥􏷪 , … , 𝑥𝑛
se puede escribir como la unión finita de intervalos abiertos (𝑎, 𝑥􏷪 )∪(𝑥􏷪 , 𝑥􏷫 )∪⋯∪(𝑥𝑛−􏷪 , 𝑥𝑛 )∪(𝑥𝑛 , 𝑏) (suponiendo
que los puntos están ordenados de forma ascendiente, es decir, 𝑥􏷪 < 𝑥􏷫 , ⋯ < 𝑥𝑛 ).
¹²En los puntos 𝑐􏷩 = 𝑎 y 𝑐𝑛+􏷪 = 𝑏 hay que pedir, adicionalmente, que existan 𝑓(𝑎+ ), 𝑓′ (𝑎+ ), 𝑓(𝑏− ) y 𝑓′ (𝑏− ).

Apuntes de Matemáticas VII Luis J. Navarro y Ramón Navarro

1.3 Otros resultados teóricos importantes 12

ciona condiciones suficientes para que dos integrales iteradas impropias existan y su valor
sea independiente del orden de integración; el segundo, Teorema de la convergencia domi-
nada, nos proporciona condiciones suficientes para que podamos intercambiar límites con
integrales impropias. Tenga presente que en muchos textos (y guías) se presentan versiones
mas simples (con menos hipótesis) de éstos teoremas pero que, en realidad, no son válidos
para la integral de Riemann (el tipo de integral visto desde matemáticas II) sino para otro
tipo de integral (la integral de Lebesgue).

Teorema 1.27. Sea 𝑓 ∶ R􏷡 → R una función continua. Si existen funciones (necesariamente

no-negativas) 𝑀(𝑥) y 𝑁(𝑡) tales que

O las integrales impropias 􏾙

+∞ +∞
𝑀(𝑥) d𝑥 y 􏾙 𝑁(𝑡) d𝑡 existen y
−∞ −∞

O para cualquier (𝑥, 𝑡) ∈ R􏷡 se tiene que |𝑓(𝑥, 𝑡)| ≤ 𝑀(𝑥)𝑁(𝑡)

entonces (las siguientes integrales iteradas existen y) se cumple
+∞ +∞ +∞ +∞
􏾙 􏿶􏾙 𝑓(𝑥, 𝑡) d𝑥􏿹 d𝑡 = 􏾙 􏿶􏾙 𝑓(𝑥, 𝑡) d𝑡􏿹 d𝑥.
−∞ −∞ −∞ −∞

+∞
Teorema 1.28 (Convergencia dominada). Sea 􏿺𝑓𝑛 (𝑥)􏿽 una sucesión (acotada) de funciones
R) tal que para cada 𝑥 ∈ R, el límite 𝑛→+∞
𝑛=􏷠
reales (definidas en todo lim 𝑓𝑛 (𝑥) existe. Sea 𝑔 la función
definida (en todo R) como el límite de la sucesión de funciones, es decir
𝑔(𝑥) ∶= lim 𝑓𝑛 (𝑥)
𝑛→+∞
(𝑥 ∈ R).
Suponga que tanto 𝑔 como cualquier 𝑓𝑛 (𝑛 ∈ N) es integrable en cualquier intervalo acotado
R → [0, +∞) que sea integrable en cualquier intervalo acotado
[𝑎, 𝑏]. Si existe una función 𝜙 ∶
[𝑎, 𝑏], que tenga una integral impropia en todo R y que cumpla |𝑓𝑛 (𝑥)| ≤ 𝜙(𝑥) para cualquier
𝑛 ∈ N y cualquier 𝑥 ∈ R entonces las integrales impropias 􏾙 𝑔(𝑥) d𝑥 y 􏾙 𝑓𝑛 (𝑥) d𝑥 (para
+∞ +∞

cualquier 𝑛 ∈ N) existen y se cumple

−∞ −∞

+∞ +∞ +∞
lim 􏾙 𝑓𝑛 (𝑥) d𝑥 = 􏾙 𝑔(𝑥) d𝑥 = 􏾙 lim 𝑓𝑛 (𝑥) d𝑥.
𝑛→+∞ −∞ −∞ −∞ 𝑛→+∞

Apuntes de Matemáticas VII Luis J. Navarro y Ramón Navarro

1.3 Otros resultados teóricos importantes 13

+∞ −𝑥􏷫
Ejemplo 1.29. Otra manera de calcular el valor de 𝐼 􏷡 , siendo 𝐼 = ∫ 𝑒 d𝑥 como en
􏷟
el Ejemplo 1.16, es la siguiente:

𝑦
𝑡= 𝑥
+∞ +∞ +∞ +∞
􏷫 −𝑦􏷫 ↓ 􏷫 −𝑥􏷫 𝑡􏷫
𝐼􏷡 = 􏾙 􏿶􏾙 𝑒−𝑥 d𝑦􏿹 d𝑥 = 􏾙 􏿶􏾙 𝑒−𝑥 𝑥 d𝑡􏿹 d𝑥
􏷟 􏷟 􏷟 􏷟

Teo. 1.27
+∞ +∞ +∞ +∞
􏷫 􏷫 ↓ 􏷫 (􏷠+𝑡􏷫 )
=􏾙 􏿶􏾙 𝑥𝑒−𝑥 (􏷠+𝑡 ) d𝑡 􏿹 d𝑥 = 􏾙 􏿶􏾙 𝑥𝑒−𝑥 d𝑥􏿹 d𝑡
􏷟 􏷟 􏷟 􏷟
+∞ 𝑥=𝑀 +∞
1 −𝑥􏷫 (􏷠+𝑡􏷫 )
1
=􏾙 lim 􏿯 − 􏷡
𝑒 􏿲 d𝑡 = 􏾙 d𝑡
􏷟 𝑀→+∞ 2(1 + 𝑡 ) 𝑥=􏷟 􏷟 2(1 + 𝑡􏷡 )
𝑁
1 1 𝜋 𝜋
= lim 􏿯 arctan 𝑡􏿲 = ⋅ = .
2 𝑁→+∞ 􏷟
2 2 4

Opcional

El Teorema de la convergencia dominada nos proporciona un caso en el que se pue-

de intercambiar el límite con la integral impropia. Determinar las condiciones genera-
les que permiten hacer tal intercambio conduce a la noción de convergencia uniforme
de funciones, un concepto más exigente que la convergencia puntual (de funciones).
+∞
Definición 1.30. Sea 𝐷 cierto conjunto y sea 􏿺𝑓𝑛 􏿽 una sucesión de funciones
𝑛=􏷠
𝑓𝑛 ∶ 𝐷 ⟶ C. Si para cada 𝑥 ∈ 𝐷, la sucesión de números 􏿺𝑓𝑛(𝑥)􏿽∞𝑛=􏷠 converge en-
tonces podemos definir una función en 𝐷 como

𝑓(𝑥) ∶= lim 𝑓𝑛 (𝑥) (𝑥 ∈ 𝐷)

𝑛→+∞

y se dice (en éste caso) que 𝑓𝑛 converge puntualmente a 𝑓 (en 𝐷).

∞
Si para cada 𝑥 ∈ 𝐷 la serie numérica 􏾜 𝑓𝑛 (𝑥) converge y si denotamos
𝑛=􏷠

∞
𝑓(𝑥) ∶= 􏾜 𝑓𝑛 (𝑥) (𝑥 ∈ 𝐷)
𝑛=􏷠

∞
entonces se dice que la función 𝑓 es la suma de la serie 􏾜 𝑓𝑛 .
𝑛=􏷠

Apuntes de Matemáticas VII Luis J. Navarro y Ramón Navarro

1.3 Otros resultados teóricos importantes 14

∞
Ejemplo 1.31. Sea 􏿺𝑓𝑛 􏿽 la sucesión real definida por
𝑛=􏷟

𝑥􏷡
𝑓𝑛 (𝑥) = (𝑛 = 0, 1, …).
(1 + 𝑥􏷡 )𝑛

∞ ∞
𝑥􏷡
Consideremos 􏾜 𝑓𝑛 (𝑥) = 􏾜 􏷡 𝑛
=∶ 𝑓(𝑥). Note que 𝑓(0) = 0 y que, para 𝑥 ≠ 0,
𝑛=􏷟 𝑛=􏷟 (1 + 𝑥 )
𝑥􏷡
la serie es geométrica con suma 𝑠 = 􏷠
= 1 + 𝑥􏷡 . Luego,
1− 􏷫
􏷠+𝑥
⎧
⎪
⎪
⎪
⎨0 si 𝑥 = 0
𝑓(𝑥) = ⎪
⎪
⎪
⎩1 + 𝑥 􏷡 si 𝑥 ≠ 0.

Definición 1.32. Se dice que una sucesión de funciones 􏿺𝑓𝑛 􏿽, 𝑓𝑛 ∶ 𝐸 → C converge

uniformemente en 𝐸 a una función 𝑓 si para cada 𝜀 > 0 existe un número entero 𝑁 tal
que
𝑛≥𝑁 implica |𝑓𝑛 (𝑥) − 𝑓(𝑥)| ≤ 𝜀 para todo 𝑥 ∈ 𝐸.

Observación 1.33. Es claro que la convergencia uniforme implica convergencia pun-

tual.

Observación 1.34. Si {𝑓𝑛 } converge puntualmente en 𝐸 entonces existe una función 𝑓,

definida en 𝐸, tal que para cada 𝜀 > 0 y cada 𝑥 ∈ 𝐸, existe un 𝑁 ∈ N, 𝑁 = 𝑁(𝜀, 𝑥)  tal
que
|𝑓𝑛 (𝑥) − 𝑓(𝑥)| ≤ 𝜀 si 𝑛 ≥ 𝑁. (1)

Si {𝑓𝑛 } converge no sólo puntualmente sino uniformemente en 𝐸 a la función 𝑓

entonces es posible (para cada 𝜀 > 0) encontrar el entero 𝑁 ∈ N, 𝑁 = 𝑁(𝜀) de manera
que (1) se cumpla para todo 𝑥 ∈ 𝐸.
∞
Definición 1.35. Dada una sucesión 􏿺𝑓𝑛 􏿽 de funciones definidas en un conjunto 𝐸,
𝑛=􏷠
∞
se dice que la serie 􏾜 𝑓𝑛 (𝑥) converge uniformemente en 𝐸 si la sucesión {𝑆𝑛 }∞
𝑛=􏷠
de sumas
𝑛=􏷠
𝑛
parciales definidas por 𝑆𝑛 (𝑥) = 􏾜 𝑓𝑘 (𝑥) converge uniformemente en 𝐸.
𝑘=􏷠

Apuntes de Matemáticas VII Luis J. Navarro y Ramón Navarro

1.3 Otros resultados teóricos importantes 15

Teorema 1.36 (Criterio de Cauchy). Una sucesión de funciones 􏿺𝑓𝑛 􏿽 converge uniforme-
mente en 𝐸 si y sólo si para cada 𝜀 > 0, existe un número 𝑁 ∈ N tal que
𝑚 ≥ 𝑁, 𝑛 ≥ 𝑁, 𝑥 ∈ 𝐸 implica |𝑓𝑛 (𝑥) − 𝑓𝑚 (𝑥)| < 𝜀.

Prueba. (⇒) Suponga que {𝑓𝑛 } converge uniformemente en 𝐸 a 𝑓. Entonces existe un

𝜀
entero 𝑁 tal que 𝑛 ≥ 𝑁 , 𝑥 ∈ 𝐸 implican que |𝑓𝑛 (𝑥) − 𝑓(𝑥)| ≤ . Luego, por la desigualdad
2
triangular se cumple

|𝑓𝑛 (𝑥) − 𝑓𝑚 (𝑥)| ≤ |𝑓𝑛 (𝑥) − 𝑓(𝑥)| + |𝑓(𝑥) − 𝑓𝑚 (𝑥)| ≤ 𝜀

si 𝑛 ≥ 𝑁 , 𝑚 ≥ 𝑁 y 𝑥 ∈ 𝐸.
(⇐) Supongamos que se cumple la condición de Cauchy. Entonces, para cada 𝑥 ∈ 𝐸, la
sucesión numérica (posiblemente compleja, dependiendo del rango de las funciones 𝑓𝑛 )
converge a un límite, lo que define una función que denotaremos 𝑓(𝑥) (note entonces
que {𝑓𝑛 } converge puntualmente a 𝑓). Para probar que la convergencia es uniforme, sea
𝜀 > 0. Por hipótesis, existe 𝑁 ∈ N tal que |𝑓𝑛(𝑥) − 𝑓𝑚(𝑥)| ≤ 𝜀 si 𝑛 ≥ 𝑁 , 𝑚 ≥ 𝑁 y 𝑥 ∈ 𝐸.
Fijando 𝑛 y tomando 𝑚 → ∞ obtenemos lim |𝑓𝑛 (𝑥) − 𝑓𝑚 (𝑥)| ≤ 𝜀, lo que implica (dado
𝑚→∞

que el valor absoluto es una función continua) que |𝑓𝑛 (𝑥) − lim 𝑓𝑚 (𝑥)| ≤ 𝜀, es decir,
𝑚→∞
|𝑓𝑛 (𝑥) − 𝑓(𝑥)| ≤ 𝜀 si 𝑛 ≥ 𝑁 y 𝑥 ∈ 𝐸, lo que prueba que la convergencia es uniforme.

Directamente de la definición se prueba:

Teorema 1.37. Supongamos que lim 𝑓𝑛 (𝑥) = 𝑓(𝑥) para 𝑥 ∈ 𝐸. Sea 𝑀𝑛 ∶= sup |𝑓𝑛 (𝑥) − 𝑓(𝑥)|.
𝑛→∞ 𝑥∈𝐸
Entonces 𝑓𝑛 → 𝑓 uniformemente en 𝐸 si y sólo si 𝑀𝑛 → 0.
∞
Teorema 1.38 (Criterio de Weierstrass). Sea 􏿺𝑓𝑛 􏿽 una sucesión de funciones definidas
𝑛=􏷠
∞
en 𝐸 tales que |𝑓𝑛 (𝑥)| ≤ 𝑀𝑛 para cualquier 𝑥 ∈ 𝐸 y 𝑛 ∈ N. Entonces, la serie 􏾜 𝑓𝑛(𝑥)
𝑛=􏷠
∞
converge uniformemente en 𝐸 si 􏾜 𝑀𝑛 converge (en R).
𝑛=􏷠

Prueba. Usando el criterio de Cauchy, como la serie ∑ 𝑀𝑛 es convergente entonces

para cualquier 𝜀 > 0 existe 𝑁 ∈ N tal que 𝑛, 𝑚 ≥ 𝑁 , 𝑚 ≥ 𝑛 implican que la sucesión

Apuntes de Matemáticas VII Luis J. Navarro y Ramón Navarro

1.3 Otros resultados teóricos importantes 16

𝑚
∞ 𝑛
{𝒮𝑛 }𝑛=􏷠 de sumas parciales, 𝒮𝑛 ∶= ∑𝑘=􏷠 𝑀𝑛 , cumple |𝒮𝑚 − 𝒮𝑛 | = 􏾜 𝑀𝑘 < 𝜀. Luego,
𝑘=𝑛
para 𝑚 > 𝑛 ≥ 𝑁 y 𝑥 ∈ 𝐸 es
𝑚 𝑚 𝑚
|𝑆𝑚 (𝑥) − 𝑆𝑛 (𝑥)| = 􏵵􏾜 𝑓𝑘 (𝑥)􏵵 ≤ 􏾜 |𝑓𝑘 (𝑥)| ≤ 􏾜 𝑀𝑘 < 𝜀.
𝑘=𝑛 𝑘=𝑛 𝑘=𝑛

Con ésto sólo queremos decir que 𝑁 puede depender tanto de 𝜀 como de 𝑥.
Sin pérdida de generalidad podemos suponer que 𝑚 ≥ 𝑛.

Apuntes de Matemáticas VII Luis J. Navarro y Ramón Navarro