Академический Документы
Профессиональный Документы
Культура Документы
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𝑥.
𝑎 𝜀→ 𝑎
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𝑥,
𝑎 𝜀→+ 𝑎 𝛿→ 𝑐+𝛿
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𝑥.
𝑎 𝑁→+∞ 𝑎
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 𝑟 ∈
𝑟
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𝑥 ,
−∞ 𝑁→+∞ −𝑁 𝑐 +𝜀 𝑐 +𝛿
𝜀,𝛿→
∞ ∞
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 𝑥 → 𝑐𝑘 , 𝑘 = , .
∞ ∞
| 𝑓(𝑥) 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).
𝑐 𝑥=𝑐
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𝐴,
𝑀→+∞ 𝑅
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𝑥 = √𝜋.
−∞
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 𝛽 = +∞.
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𝑥 < ∞,
𝛼 𝛼 𝛼 𝛼
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.
𝜋 𝑥
y, a su vez,
𝑦
𝜋
𝜋
𝜋
𝜋
𝜋
𝜋 𝑥
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,
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 Lloc (𝐼).
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
• 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 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 𝑓′ (𝑏− ).
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.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
+∞ +∞
+∞ +∞ +∞
lim 𝑓𝑛 (𝑥) d𝑥 = 𝑔(𝑥) d𝑥 = lim 𝑓𝑛 (𝑥) d𝑥.
𝑛→+∞ −∞ −∞ −∞ 𝑛→+∞
+∞ −𝑥
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
∞
𝑓(𝑥) ∶= 𝑓𝑛 (𝑥) (𝑥 ∈ 𝐷)
𝑛=
∞
entonces se dice que la función 𝑓 es la suma de la serie 𝑓𝑛 .
𝑛=
∞
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.
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 |𝑓𝑛 (𝑥) − 𝑓𝑚 (𝑥)| < 𝜀.
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.
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).
𝑛=
𝑚
∞ 𝑛
{𝒮𝑛 }𝑛= 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 𝑚 ≥ 𝑛.