Sucesiones y series de funciones

Renato Álvarez Nodarse

Departamento de Análisis Matemático

Facultad de Matemáticas. Universidad de Sevilla
http://euler.us.es/˜renato/

8 de octubre de 2012
Sucesiones y series de funciones.

En este apartado vamos a considerar una extensión obvia de la

teorı́a de las sucesiones y series númericas: sucesiones y series de
funciones.

Es decir, vamos a considerar un conjunto de funciones

fn (x) : X → R

que dependan de un parámetro n ∈ N.

Sucesiones y series de funciones.

En este apartado vamos a considerar una extensión obvia de la

teorı́a de las sucesiones y series númericas: sucesiones y series de
funciones.

Es decir, vamos a considerar un conjunto de funciones

fn (x) : X → R

que dependan de un parámetro n ∈ N.

Por ejemplo fn (x) : R → R

xn sen nx
fn (x) = , fn (x) = x n , fn (x) =
n! n2
Sucesiones y series de funciones.

Una sucesión de funciones (fn (x))n , es una aplicación que a cada

número natural le hace corresponder una función

fn (x) : Dn → R
Sucesiones y series de funciones.

Una sucesión de funciones (fn (x))n , es una aplicación que a cada

número natural le hace corresponder una función

fn (x) : Dn → R

Ası́ mismo, podremos hablar de una serie de funciones

∞
X
fn (x)
n=1

asociada a la sucesión de funciones (fn (x))n .

Sucesiones y series de funciones.

Es evidente que la sucesión (fn (x))n tendrá sentido si podemos

definir fn (x), para todo n ∈ N, es decir, si existen las sucesiones
númericas (fn (x0 ))n para al menos un x0 .
Sucesiones y series de funciones.

Es evidente que la sucesión (fn (x))n tendrá sentido si podemos

definir fn (x), para todo n ∈ N, es decir, si existen las sucesiones
númericas (fn (x0 ))n para al menos un x0 .

Esto no siempre ocurre. Por ejemplo, para la sucesión

√ 1 √
f1 (x) = x, f2 (x) = x, f3 (x) = , −x, · · · .
x
cuyos dominios son R, [0, +∞), R\{0}, (−∞, 0], etc..
Sucesiones y series de funciones.

Es evidente que la sucesión (fn (x))n tendrá sentido si podemos

definir fn (x), para todo n ∈ N, es decir, si existen las sucesiones
númericas (fn (x0 ))n para al menos un x0 .

Esto no siempre ocurre. Por ejemplo, para la sucesión

√ 1 √
f1 (x) = x, f2 (x) = x, f3 (x) = , −x, · · · .
x
cuyos dominios son R, [0, +∞), R\{0}, (−∞, 0], etc..

En adelante asumiremos que existe un conjuntoTmı́nimo D no vacı́o

donde está definida la sucesión completa: D ⊂ ∞
n=1 Dn que lo
denominaremos dominio de la sucesión de funciones y lo
denotaremos por Dom (fn (x)).
Definiciones
D1: La sucesión de funciones (fn (x))n tiene lı́mite para cierto
x0 ∈ Dom (fn ) si la sucesión númerica (fn (x0 ))n converge para
dicho x0 . En este caso diremos que la sucesión converge
puntualmente en x0 ,
Definiciones
D1: La sucesión de funciones (fn (x))n tiene lı́mite para cierto
x0 ∈ Dom (fn ) si la sucesión númerica (fn (x0 ))n converge para
dicho x0 . En este caso diremos que la sucesión converge
puntualmente en x0 ,

D2: El conjunto X de todos los puntos x ∈ Dom (fn ) donde la

sucesión (fn (x))n converge se denomina conjunto de convergencia
de la sucesión de funciones.
Como ∀x ∈ X, existe un único valor del lı́mite de (fn (x))n ,
entonces podemos definir una función f (x) sobre X, i.e.,
Definiciones
D1: La sucesión de funciones (fn (x))n tiene lı́mite para cierto
x0 ∈ Dom (fn ) si la sucesión númerica (fn (x0 ))n converge para
dicho x0 . En este caso diremos que la sucesión converge
puntualmente en x0 ,

D2: El conjunto X de todos los puntos x ∈ Dom (fn ) donde la

sucesión (fn (x))n converge se denomina conjunto de convergencia
de la sucesión de funciones.
Como ∀x ∈ X, existe un único valor del lı́mite de (fn (x))n ,
entonces podemos definir una función f (x) sobre X, i.e.,

D3: En el conjunto X de convergencia de (fn (x))n la función f (x)

definida para cada x ∈ X de la forma f (x) = lı́m fn (x) se
n→∞
denomina función lı́mite de (fn (x))n . Si existe f (x) se dice que la
sucesión (fn (x))n converge puntualmente a f (x) en X y se denota
por fn (x) → f (x).
Ejemplos
◮ E1: Definamos en [0, ∞) la sucesión fn (x) = x n , n ∈ N. Es
fácil comprobar que la sucesión de funciones converge si y sólo
si x ∈ [0, 1], además

1, x =1
(
n
lı́m x = f (x) = ,
n→∞
0 0≤x <1

es la función lı́mite. Nótese que si escogemos X = [0, q],

0 ≤ q < 1, entonces f (x) = 0.
Ejemplos
◮ E1: Definamos en [0, ∞) la sucesión fn (x) = x n , n ∈ N. Es
fácil comprobar que la sucesión de funciones converge si y sólo
si x ∈ [0, 1], además

1, x =1
(
n
lı́m x = f (x) = ,
n→∞
0 0≤x <1

es la función lı́mite. Nótese que si escogemos X = [0, q],

0 ≤ q < 1, entonces f (x) = 0.
sen n2 x
◮ E2a: Sea fn (x) : R 7→ R, fn (x) = . Es evidente que
n
X = R y f (x) = 0.
Ejemplos
◮ E1: Definamos en [0, ∞) la sucesión fn (x) = x n , n ∈ N. Es
fácil comprobar que la sucesión de funciones converge si y sólo
si x ∈ [0, 1], además

1, x =1
(
n
lı́m x = f (x) = ,
n→∞
0 0≤x <1

es la función lı́mite. Nótese que si escogemos X = [0, q],

0 ≤ q < 1, entonces f (x) = 0.
sen n2 x
◮ E2a: Sea fn (x) : R 7→ R, fn (x) = . Es evidente que
n
X = R y f (x) = 0.
sen nx
◮ E2b: Sea fn (x) : R 7→ R, fn (x) = . Como en el ejemplo
n2
anterior X = R y f (x) = 0.
Ejemplos
◮ E3: Sea fn (x) : [0, 1] 7→ R, fn (x) = 2(n + 1)x(1 − x 2 )n .
Evidentemente si x = 0 o x = 1, fn (x) = 0. Si x ∈ (0, 1)
entonces (1 − x 2 ) < 1, luego fn (x) → 0 cuando n → ∞. Por
tanto, X = [0, 1] y f (x) = 0.
Ejemplos
◮ E3: Sea fn (x) : [0, 1] 7→ R, fn (x) = 2(n + 1)x(1 − x 2 )n .
Evidentemente si x = 0 o x = 1, fn (x) = 0. Si x ∈ (0, 1)
entonces (1 − x 2 ) < 1, luego fn (x) → 0 cuando n → ∞. Por
tanto, X = [0, 1] y f (x) = 0.
◮ E4: Sean n, m ∈ N y sea fm (x) = lı́m (cos m!πx)2n .
n→∞
Si m!x ∈ Z =⇒ fm (x) = 1, si m!z 6∈ Z =⇒ fm (x) = 0.
Ejemplos
◮ E3: Sea fn (x) : [0, 1] 7→ R, fn (x) = 2(n + 1)x(1 − x 2 )n .
Evidentemente si x = 0 o x = 1, fn (x) = 0. Si x ∈ (0, 1)
entonces (1 − x 2 ) < 1, luego fn (x) → 0 cuando n → ∞. Por
tanto, X = [0, 1] y f (x) = 0.
◮ E4: Sean n, m ∈ N y sea fm (x) = lı́m (cos m!πx)2n .
n→∞
Si m!x ∈ Z =⇒ fm (x) = 1, si m!z 6∈ Z =⇒ fm (x) = 0.
Veamos el lı́mite cuando m → ∞ de fm (x).
Si x 6∈ Q =⇒ ∀m ∈ N, m!x 6∈ Z, por tanto fm (x) = 0 y
f (x) = lı́m fm (x) = 0.
m→∞
Ejemplos
◮ E3: Sea fn (x) : [0, 1] 7→ R, fn (x) = 2(n + 1)x(1 − x 2 )n .
Evidentemente si x = 0 o x = 1, fn (x) = 0. Si x ∈ (0, 1)
entonces (1 − x 2 ) < 1, luego fn (x) → 0 cuando n → ∞. Por
tanto, X = [0, 1] y f (x) = 0.
◮ E4: Sean n, m ∈ N y sea fm (x) = lı́m (cos m!πx)2n .
n→∞
Si m!x ∈ Z =⇒ fm (x) = 1, si m!z 6∈ Z =⇒ fm (x) = 0.
Veamos el lı́mite cuando m → ∞ de fm (x).
Si x 6∈ Q =⇒ ∀m ∈ N, m!x 6∈ Z, por tanto fm (x) = 0 y
f (x) = lı́m fm (x) = 0.
m→∞
Si x ∈ Q =⇒ a partir de cierto m ∈ N, m!x ∈ Z, por tanto, a
partir de dicho m, fm (x) = 1 =⇒ f (x) = lı́m fm (x) = 1.
m→∞
Ejemplos
◮ E3: Sea fn (x) : [0, 1] 7→ R, fn (x) = 2(n + 1)x(1 − x 2 )n .
Evidentemente si x = 0 o x = 1, fn (x) = 0. Si x ∈ (0, 1)
entonces (1 − x 2 ) < 1, luego fn (x) → 0 cuando n → ∞. Por
tanto, X = [0, 1] y f (x) = 0.
◮ E4: Sean n, m ∈ N y sea fm (x) = lı́m (cos m!πx)2n .
n→∞
Si m!x ∈ Z =⇒ fm (x) = 1, si m!z 6∈ Z =⇒ fm (x) = 0.
Veamos el lı́mite cuando m → ∞ de fm (x).
Si x 6∈ Q =⇒ ∀m ∈ N, m!x 6∈ Z, por tanto fm (x) = 0 y
f (x) = lı́m fm (x) = 0.
m→∞
Si x ∈ Q =⇒ a partir de cierto m ∈ N, m!x ∈ Z, por tanto, a
partir de dicho m, fm (x) = 1 =⇒ f (x) = lı́m fm (x) = 1.
m→∞
Ası́, tenemos que X = R y f (x) = D(x), es la función de
Dirichlet 
1, x ∈ Q
D(x) = .
0, x ∈ I
Objetivo fundamental

Nuestro objetivo fundamental NO es estudiar cuando las

sucesiones funcionales convergen o no –pues eso ya lo hemos visto
antes pues para cada x la sucesión (fn (x))n es una sucesión
numérica– sino decidir en que condiciones las propiedades de fn se
traspasan a la función lı́mite.
Objetivo fundamental

Nuestro objetivo fundamental NO es estudiar cuando las

sucesiones funcionales convergen o no –pues eso ya lo hemos visto
antes pues para cada x la sucesión (fn (x))n es una sucesión
numérica– sino decidir en que condiciones las propiedades de fn se
traspasan a la función lı́mite.

¿Hereda f (x) todas las propiedades de las fn (x)?

Los ejemplos anteriores sirven de ilustración a nuestro problema.

Ejemplos
E1: fn (x) = x n , n ∈ N. En D = [0, 1]

1, x =1
(
lı́m x n = f (x) = ,
n→∞
0 0≤x <1

es la función lı́mite.

Si escogemos X = [0, q], 0 ≤ q < 1, entonces f (x) = 0.

Aquı́ las funciones x n son continuas en [0, 1] pero la función lı́mite

f (x) no lo es. No ocurre lo mismo en el intervalo X = [0, q].
Además

1 1 1 1
1
Z Z Z Z
n
fn (x)dx = x dx = →0= 0 dx = f (x)dx.
0 0 n+1 0 0
Ejemplos
sen n2 x
E2a: Sea fn (x) : R 7→ R, fn (x) = . Es evidente que X = R
n
y f (x) = 0.
sen n2 x
Aquı́ la función fn (x) = es derivable en todo R, y su
n
función lı́mite también, pero por ejemplo, la sucesión de sus
derivadas fn′ (x) = n cos n2 x no tiene lı́mite excepto cuando
n2 x = kπ/2, k ∈ Z. Es decir la sucesión de derivadas no converge
a la derivada de la función lı́mite.
Ejemplos
sen n2 x
E2a: Sea fn (x) : R 7→ R, fn (x) = . Es evidente que X = R
n
y f (x) = 0.
sen n2 x
Aquı́ la función fn (x) = es derivable en todo R, y su
n
función lı́mite también, pero por ejemplo, la sucesión de sus
derivadas fn′ (x) = n cos n2 x no tiene lı́mite excepto cuando
n2 x = kπ/2, k ∈ Z. Es decir la sucesión de derivadas no converge
a la derivada de la función lı́mite.
sen nx
E2b: Sea fn (x) : R 7→ R, fn (x) = . Como en el ejemplo
n2
anterior X = R y f (x) = 0.
En este caso, a diferencia del anterior la sucesión de sus derivadas
cos nx
fn′ (x) = converge a cero que justamente es la derivada de la
n
función lı́mite. Es decir, en este ejemplo sı́ que tenemos
fn′ (x) → f ′ (x).
Ejemplos

E3: Sea fn (x) : [0, 1] 7→ R, fn (x) = 2(n + 1)x(1 − x 2 )n . Como

vimos lı́mn→∞ fn (x) = f (x) = 0.

La función fn (x) = 2(n + 1)x(1 − x 2 )n es integrable en [0, 1] y

además
 1 
Z 1 Z 1 2 n+1
(1 − x ) 
fn (x)dx = 2(n+1) x(1−x 2 )n dx = 2(n+1) −  = 1,
 
0 0 n + 1 
0

Z 1 Z 1 Z 1 Z 1
pero f (x)dx = 0 dx = 0, luego fn (x)dx 6→ f (x)dx.
0 0 0 0
Ejemplos
E4: Sean n, m ∈ N y sea fm (x) = lı́m (cos m!πx)2n .
n→∞

1, x ∈Q
lı́m fm (x) = D(x) = .
m→∞ 0, x ∈I

Nótese que la función fm (x) vale cero en [0, 1] excepto un número

finito de puntos, luego fm es integrable y su integral vale cero, pero
su función lı́mite es una función no integrable.
Ejemplos
E4: Sean n, m ∈ N y sea fm (x) = lı́m (cos m!πx)2n .
n→∞

1, x ∈Q
lı́m fm (x) = D(x) = .
m→∞ 0, x ∈I

Nótese que la función fm (x) vale cero en [0, 1] excepto un número

finito de puntos, luego fm es integrable y su integral vale cero, pero
su función lı́mite es una función no integrable.

Todo lo anterior nos dice que dada una sucesión (fn (x))n cuyas
funciones tienen determinadas propiedades como la continuidad,
derivabilidad o integrabilidad, la función lı́mite puede o no tenerlas.
Ejemplos
E4: Sean n, m ∈ N y sea fm (x) = lı́m (cos m!πx)2n .
n→∞

1, x ∈Q
lı́m fm (x) = D(x) = .
m→∞ 0, x ∈I

Nótese que la función fm (x) vale cero en [0, 1] excepto un número

finito de puntos, luego fm es integrable y su integral vale cero, pero
su función lı́mite es una función no integrable.

Todo lo anterior nos dice que dada una sucesión (fn (x))n cuyas
funciones tienen determinadas propiedades como la continuidad,
derivabilidad o integrabilidad, la función lı́mite puede o no tenerlas.

Por tanto nuestro objetivo es claro: Encontrar condiciones bajo las

cuales la función lı́mite “herede” las propiedades de las funciones
de la sucesión.
Convergencia puntual y uniforme
Definición 4: Una sucesión de funciones (fn (x))n definidas en
I ⊂ R converge puntualmente a f (x) en I , i.e., fn → f si

∀ǫ > 0 y ∀x0 ∈ I , ∃N ≡ N(ǫ, x0 ) ∈ N t.q. ∀n > N, |fn (x0 )−f (x0 )| < ǫ
Convergencia puntual y uniforme
Definición 4: Una sucesión de funciones (fn (x))n definidas en
I ⊂ R converge puntualmente a f (x) en I , i.e., fn → f si

∀ǫ > 0 y ∀x0 ∈ I , ∃N ≡ N(ǫ, x0 ) ∈ N t.q. ∀n > N, |fn (x0 )−f (x0 )| < ǫ
Convergencia puntual y uniforme
Definición 5: Una sucesión de funciones (fn (x))n definidas en
I ⊂ R converge uniformemente a f (x) en I , i.e., fn ⇒ f , si

∀ǫ > 0, ∃N ≡ N(ǫ) ∈ N t.q. ∀n > N y ∀x0 ∈ I , |fn (x0 ) − f (x0 )| < ǫ

Convergencia puntual y uniforme
Definición 5: Una sucesión de funciones (fn (x))n definidas en
I ⊂ R converge uniformemente a f (x) en I , i.e., fn ⇒ f , si

∀ǫ > 0, ∃N ≡ N(ǫ) ∈ N t.q. ∀n > N y ∀x0 ∈ I , |fn (x0 ) − f (x0 )| < ǫ

Convergencia puntual y uniforme

fn −→ f converge puntualmente a f (x) en I si

∀ǫ > 0 y ∀x0 ∈ I , ∃N ≡ N(ǫ, x0 ) ∈ N t.q. ∀n > N, |fn (x0 )−f (x0 )| < ǫ

fn ⇒ f converge uniformemente a f (x) en I si

∀ǫ > 0, ∃N ≡ N(ǫ) ∈ N t.q. ∀n > N y ∀x0 ∈ I , |fn (x0 ) − f (x0 )| < ǫ

Convergencia puntual y uniforme

fn −→ f converge puntualmente a f (x) en I si

∀ǫ > 0 y ∀x0 ∈ I , ∃N ≡ N(ǫ, x0 ) ∈ N t.q. ∀n > N, |fn (x0 )−f (x0 )| < ǫ

fn ⇒ f converge uniformemente a f (x) en I si

∀ǫ > 0, ∃N ≡ N(ǫ) ∈ N t.q. ∀n > N y ∀x0 ∈ I , |fn (x0 ) − f (x0 )| < ǫ

Convergencia puntual y uniforme

fn −→ f converge puntualmente a f (x) en I si

∀ǫ > 0 y ∀x0 ∈ I , ∃N ≡ N(ǫ, x0 ) ∈ N t.q. ∀n > N, |fn (x0 )−f (x0 )| < ǫ

fn ⇒ f converge uniformemente a f (x) en I si

∀ǫ > 0, ∃N ≡ N(ǫ) ∈ N t.q. ∀n > N y ∀x0 ∈ I , |fn (x0 ) − f (x0 )| < ǫ

Ejemplos de convergencias

Ejemplo: x n ⇒ 0 en [0, q], con 0 < q < 1.

Efectivamente, cualquiera sea ǫ > 0, si escogemos N = log ǫ/ log q,

entonces para todo n > N y todo x ∈ [0, q], x n ≤ q n < ǫ, es decir
x n ⇒ 0 en [0, q].
Ejemplos de convergencias

Ejemplo: x n ⇒ 0 en [0, q], con 0 < q < 1.

Efectivamente, cualquiera sea ǫ > 0, si escogemos N = log ǫ/ log q,

entonces para todo n > N y todo x ∈ [0, q], x n ≤ q n < ǫ, es decir
x n ⇒ 0 en [0, q].

Comprobemos que x n 6⇒ 0 en [0, 1).

Ejemplos de convergencias

Ejemplo: x n ⇒ 0 en [0, q], con 0 < q < 1.

Efectivamente, cualquiera sea ǫ > 0, si escogemos N = log ǫ/ log q,

entonces para todo n > N y todo x ∈ [0, q], x n ≤ q n < ǫ, es decir
x n ⇒ 0 en [0, q].

Comprobemos que x n 6⇒ 0 en [0, 1).

Sea ǫ > 0 t.q. 0 < ǫ < 1. Como lı́m x n = 1 ello indica que
x→1
cualquiera sea n ∈ N siempre existe un xǫ ∈ (0, 1) tal que xǫn ≥ ǫ
√
basta escoger, por ejemplo, xǫ = n ǫ.

Luego dado un ǫ ∈ (0, 1), cualquiera sea N ∈ N siempre existe un

x ∈ (0, 1) tal que fn (x) = x n ≥ ǫ, por tanto fn 6⇒ f en [0, 1).
La sucesión fn (x) = x n en [0, 1]
La sucesión fn (x) = x n en [0, q], q < 1
Ejemplos de convergencias: Simulación

Ver las simulaciones

Principales teoremas
T1: (Condición necesaria y suficiente de convergencia uniforme
para una sucesión de funciones)
Dada una sucesión de funciones fn (x))n definidas en I ∈ X , fn (x)
converge uniformemente a f (x) en I si y sólo si

lı́m sup |fn (x) − f (x)| = 0.

n→∞ x∈I
Principales teoremas
T1: (Condición necesaria y suficiente de convergencia uniforme
para una sucesión de funciones)
Dada una sucesión de funciones fn (x))n definidas en I ∈ X , fn (x)
converge uniformemente a f (x) en I si y sólo si

lı́m sup |fn (x) − f (x)| = 0.

n→∞ x∈I

Corolario: Para que una sucesión de funciones fn (x))n definidas

en I ∈ X , fn (x) converja uniformemente a f (x) en I es necesario
y suficiente que exista una sucesión (an )n de términos no
negativos con lı́m an = 0 y un número N ∈ N tal que
n→∞
∀n > N, |fn (x) − f (x)| ≤ an
Principales teoremas
T1: (Condición necesaria y suficiente de convergencia uniforme
para una sucesión de funciones)
Dada una sucesión de funciones fn (x))n definidas en I ∈ X , fn (x)
converge uniformemente a f (x) en I si y sólo si

lı́m sup |fn (x) − f (x)| = 0.

n→∞ x∈I

Corolario: Para que una sucesión de funciones fn (x))n definidas

en I ∈ X , fn (x) converja uniformemente a f (x) en I es necesario
y suficiente que exista una sucesión (an )n de términos no
negativos con lı́m an = 0 y un número N ∈ N tal que
n→∞
∀n > N, |fn (x) − f (x)| ≤ an

Ejercicio: Probar que la sucesión fn (x) = x n ⇒ 0 en [0, q],

0 < q < 1, pero no lo hace en [0, 1).
Principales teoremas
T2: (Criterio de Cauchy para la convergencia uniforme para una
sucesión de funciones)
Dada una sucesión de funciones fn (x))n definidas en I ∈ X , fn (x)
converge uniformemente a f (x) en I si y sólo si ∀ǫ > 0,

∃N ∈ N tal que ∀n > N, ∀p ∈ N y ∀x ∈ I , |fn+p (x) − fn (x)| < ǫ.

Principales teoremas
T2: (Criterio de Cauchy para la convergencia uniforme para una
sucesión de funciones)
Dada una sucesión de funciones fn (x))n definidas en I ∈ X , fn (x)
converge uniformemente a f (x) en I si y sólo si ∀ǫ > 0,

∃N ∈ N tal que ∀n > N, ∀p ∈ N y ∀x ∈ I , |fn+p (x) − fn (x)| < ǫ.

Corolario: Si (fn (x))n y (gn (x))n son dos sucesiones de funciones

uniformemente convergentes en I a las funciones f (x) y g (x),
respectivamente, entonces

αfn (x) + βgn (x) ⇒ αf (x) + βg (x), en I, ∀α, β ∈ R,

h(x)fn (x) ⇒ h(x)f (x), para toda función h(x) acotada en I .

Convergencia de series de funciones
D6: Dada una sucesión de funciones (an (x))n , la expresión
∞
X
ak (x) = a1 (x) + a2 (x) + a3 (x) + · · · + ak (x) + · · ·
k=1

se denomina serie funcional o serie de funciones y las

n
X
Sn (x) = ak (x) = a1 (x) + a2 (x) + a3 (x) + · · · + an (x),
k=1

se denominan sumas parciales de la serie de funciones.

Convergencia de series de funciones
D6: Dada una sucesión de funciones (an (x))n , la expresión
∞
X
ak (x) = a1 (x) + a2 (x) + a3 (x) + · · · + ak (x) + · · ·
k=1

se denomina serie funcional o serie de funciones y las

n
X
Sn (x) = ak (x) = a1 (x) + a2 (x) + a3 (x) + · · · + an (x),
k=1

se denominan sumas parciales de la serie de funciones.

∞
X
D7: Una serie de funciones ak (x) converge puntualmente
k=1
(uniformemente) en I ∈ X si la correspondiente sucesión de sumas
parciales converge puntualmente (uniformemente) en I .
Convergencia de series de funciones

Si definimos el resto de la serie

∞
X
rn (x) ≡ S(x) − Sn (x) = ak (x),
k=n+1

entonces, la serie converge uniformemente si y sólo si rn (x) ⇒ 0,

en caso contrario la convergencia no es uniforme.
Convergencia de series de funciones

Si definimos el resto de la serie

∞
X
rn (x) ≡ S(x) − Sn (x) = ak (x),
k=n+1

entonces, la serie converge uniformemente si y sólo si rn (x) ⇒ 0,

en caso contrario la convergencia no es uniforme.

∞
X
T3: Si la serie ak (x) es uniformemente convergente en I ,
k=1
entonces, an (x), el término general de la serie converge
uniformemente a 0 en I , es decir an (x) ⇒ 0.
Convergencia de series de funciones

T4: (Criterio de Weierstrass para la convergencia uniforme de una

serie de funciones)
Sea (an )∞n=0 una sucesión de funciones definidas en I ⊂ R, y
(bn )∞
n=0 una sucesión de números reales no negativos, tales que
∞
X
|an (x)| ≤ bn para todo n ∈ N y x ∈ I y cuya serie bn es
n=1
∞
X
convergente. Entonces la serie de funciones an (x) es
n=1
uniformemente convergente an I .
Convergencia de series de funciones

T4: (Criterio de Weierstrass para la convergencia uniforme de una

serie de funciones)
Sea (an )∞n=0 una sucesión de funciones definidas en I ⊂ R, y
(bn )∞
n=0 una sucesión de números reales no negativos, tales que
∞
X
|an (x)| ≤ bn para todo n ∈ N y x ∈ I y cuya serie bn es
n=1
∞
X
convergente. Entonces la serie de funciones an (x) es
n=1
uniformemente convergente an I .

¡Este teorema sólo da condiciones suficientes!

Propiedades de las sucesiones de funciones

T5: (Sobre la conmutatividad del lı́mite de una sucesión de

funciones)
Sea (fn (x))n una sucesión de funciones definidas en I ⊂ R tal que
para cada n ∈ N existe el lı́mite lı́m fn (x) = ln , x0 ∈ I . Si
x→x0
fn (x) ⇒ f (x) en I , entonces
   
lı́m lı́m fn (x) = lı́m lı́m fn (x)
n→∞ x→x0 x→x0 n→∞
Propiedades de las sucesiones de funciones

T5: (Sobre la conmutatividad del lı́mite de una sucesión de

funciones)
Sea (fn (x))n una sucesión de funciones definidas en I ⊂ R tal que
para cada n ∈ N existe el lı́mite lı́m fn (x) = ln , x0 ∈ I . Si
x→x0
fn (x) ⇒ f (x) en I , entonces
   
lı́m lı́m fn (x) = lı́m lı́m fn (x)
n→∞ x→x0 x→x0 n→∞

Corolario: (Sobre la continuidad de una sucesión de funciones)

Sea (fn )∞
n=0 una sucesión de funciones definidas en I ⊂ R. Si fn es
continua en I para todo n ∈ N, y fn converge uniformemente a f
en I entonces f es continua en I .
Propiedades de las series de funciones

T6: (Sobre la conmutatividad del lı́mite y la suma para una serie

de funciones)
X∞
Sea an (x) una serie de funciones uniformemente convergente
n=1
en I tales que lı́m an (x) = an , entonces
x→x0

∞
! ∞   X∞
X X
lı́m an (x) = lı́m an (x) = an .
x→x0 x→x0
n=1 n=1 n=1

Si además, las funciones an (x) son continuas, entonces la suma

S(x) de la serie es una función continua.
Propiedades de las series de funciones

T6: (Sobre la conmutatividad del lı́mite y la suma para una serie

de funciones)
X∞
Sea an (x) una serie de funciones uniformemente convergente
n=1
en I tales que lı́m an (x) = an , entonces
x→x0

∞
! ∞   X∞
X X
lı́m an (x) = lı́m an (x) = an .
x→x0 x→x0
n=1 n=1 n=1

Si además, las funciones an (x) son continuas, entonces la suma

S(x) de la serie es una función continua.

El inverso es falso en general, i.e., si fn (x) → f (x) en I , y fn (x) y

f (x) son continuas en I , ello no implica fn (x) ⇒ f (x).
Propiedades de las series de funciones
T7: (Sobre la integrabilidad de una sucesión de funciones)
Sea (fn )∞
n=0 una sucesión de funciones fn : [a, b] ⊂ R 7→ R
integrables en [a, b] y sea fn ⇒ f en [a, b]. Entonces
Z b Z b Z b
lı́m fn (x)dx = [ lı́m fn (x)]dx = f (x)dx.
n→∞ a a n→∞ a
Propiedades de las series de funciones
T7: (Sobre la integrabilidad de una sucesión de funciones)
Sea (fn )∞
n=0 una sucesión de funciones fn : [a, b] ⊂ R 7→ R
integrables en [a, b] y sea fn ⇒ f en [a, b]. Entonces
Z b Z b Z b
lı́m fn (x)dx = [ lı́m fn (x)]dx = f (x)dx.
n→∞ a a n→∞ a

∞
X
Corolario: Sea S(x) = an (x) una serie de funciones
n=1
uniformemente convergente en [a, b] t.q. an (x) son integrables en
[a, b], entonces S(x) es integrable en [a, b] y
∞ Z b  Z b X ∞
! Z b
X
an (x)dx = an (x) dx = S(x)dx.
n=1 a a n=1 a
Propiedades de las series de funciones
T7: (Sobre la integrabilidad de una sucesión de funciones)
Sea (fn )∞
n=0 una sucesión de funciones fn : [a, b] ⊂ R 7→ R
integrables en [a, b] y sea fn ⇒ f en [a, b]. Entonces
Z b Z b Z b
lı́m fn (x)dx = [ lı́m fn (x)]dx = f (x)dx.
n→∞ a a n→∞ a

∞
X
Corolario: Sea S(x) = an (x) una serie de funciones
n=1
uniformemente convergente en [a, b] t.q. an (x) son integrables en
[a, b], entonces S(x) es integrable en [a, b] y
∞ Z b  Z b X ∞
! Z b
X
an (x)dx = an (x) dx = S(x)dx.
n=1 a a n=1 a

Demostraremos una versión más sencilla: impondremos que las

funciones fn (x) son continuas en [a, b].
Propiedades de las series de funciones

T8: (Sobre la derivabilidad de una sucesión de funciones)

Sea (fn )∞
n=0 una sucesión de funciones definidas en un intervalo
acotado I ⊂ R y derivables en I tales que para cierto x0 ∈ I se
tiene lı́m fn (x0 ) = l y además la sucesión de funciones (fn′ )∞
n=0
n→∞
converja uniformemente a g en I . Entonces la sucesión (fn )∞ n=0
converge uniformemente a cierta función f en I y además
f ′ (x) = g (x) para todo x ∈ I , es decir la sucesión se puede derivar
término a término, i.e.,
 ′
lı́m fn (x) = lı́m fn′ (x).
n→∞ n→∞
Propiedades de las series de funciones

T8: (Sobre la derivabilidad de una sucesión de funciones)

Sea (fn )∞
n=0 una sucesión de funciones definidas en un intervalo
acotado I ⊂ R y derivables en I tales que para cierto x0 ∈ I se
tiene lı́m fn (x0 ) = l y además la sucesión de funciones (fn′ )∞
n=0
n→∞
converja uniformemente a g en I . Entonces la sucesión (fn )∞ n=0
converge uniformemente a cierta función f en I y además
f ′ (x) = g (x) para todo x ∈ I , es decir la sucesión se puede derivar
término a término, i.e.,
 ′
lı́m fn (x) = lı́m fn′ (x).
n→∞ n→∞

Nótese que NO es suficiente la convergencia uniforme de la

sucesión, sino la convergencia uniforme de la sucesión de derivadas
+ convergencia para algún x0 ∈ I .
Demostración:

Definamos la sucesión de funciones (ϕn (x))n , definidas por

f (x) − fn (x0 )

 n
 , x 6= x0
ϕn (x) = x − x0

fn′ (x0 ), x = x0


Las funciones ϕn (x) son continuas en I –pues las funciones fn (x)

son derivables en I por condición del teorema–.

Probemos que ϕn (x) ⇒ ϕ(x) en I . En efecto, aplicando el criterio

de Cauchy para la convergencia uniforme tenemos
Demostración:
 
 (fn+p (x) − fn (x)) − (fn+p (x0 ) − fn (x0 )) 
|ϕn+p (x) − ϕn (x)| = 
 =
x − x0 
 ′ 
= fn+p (ξ) − fn′ (ξ) ,
donde ξ ∈ (x, x0 ). Para obtener la última igualdad hemos aplicado
el teorema del valor medio de Lagrange a la función
F (x) = fn+p (x) − fn (x), es decir, F (x) − F (x0 ) = F ′ (ξ)(x − x0 ).
Además, por definición tenemos ϕn+p (x0 ) − ϕn (x0 ) 
′ (x ) − f ′ (x ), luego |ϕ
= fn+p  ′ ′
0 n 0 n+p (x) − ϕn (x)| = fn+p (ξ) − fn (ξ)

′
para todo x ∈ I . Ahora bien, como fn (x) ⇒ g (x) en I , entonces,
para todo ǫ > 0 existe
 ′ un N ∈′ N tal que para todo n > N, p ∈ N y
para todo x ∈ I , fn+p (ξ) − fn (ξ) < ǫ, entonces
 ′ 
|ϕn+p (x) − ϕn (x)| = fn+p (ξ) − fn′ (ξ) < ǫ

de donde deducimos que ϕn (x) ⇒ ϕ(x) en I .

Demostración:

Probemos ahora que fn (x) ⇒ f (x) en I . Para ello usamos las

identidades fn+p (x) = fn+p (x0 ) + (x − x0 )ϕn+p (x), y
fn (x) = fn (x0 ) + (x − x0 )ϕn (x). Entonces,

|fn+p (x) − fn (x)| = |fn+p (x0 ) − fn (x0 ) + (x − x0 )[ϕn+p (x) − ϕn (x)]|

≤ |fn+p (x0 ) − fn (x0 )| + |x − x0 | |ϕn+p (x) − ϕn (x)|

Ahora bien, como fn (x0 ) → f (x0 ), entonces, para todo ǫ > 0 existe
un N1 ∈ N tal que para todo n > N1 , y p ∈ N,
|fn+p (x0 ) − fn (x0 )| < ǫ/2. Además, ϕn (x) ⇒ ϕ(x) en I , por tanto,
para todo ǫ > 0 existe un N2 ∈ N tal que para todo n > N, p ∈ N
y para todo x ∈ I , |ϕn+p (x) − ϕn (x)| < ǫ/2(b − a), es decir, para
todo ǫ > 0 existe un N ∈ N –N = máx(N1 , N2 )– tal que para todo
n > N, p ∈ N y para todo x ∈ I , |fn+p (x) − fn (x)| < ǫ, o sea,
fn (x) ⇒ f (x) en I .
Demostración:
Para culminar nuestra prueba nos resta demostrar que la función
lı́mite f (x) es derivable en I y que f ′ (x) = g (x) para todo x ∈ I ,
es decir, que f ′ (x) = lı́mn→∞ fn′ (x).
Ante todo, notemos que puesto que fn (x) ⇒ f (x) en I , entonces la
condición lı́m fn (x0 ) = f (x0 ) se cumple para cualquiera sea x0 ∈ I
n→∞
y no sólo para el x0 prefijado en el enunciado del teorema. Por
tanto, si probamos que f (x) es derivable en cierto ζ ∈ I –en
particular x0 – y que fn′ (ζ) → f ′ (ζ) = g (ζ), entonces f ′ (x) = g (x)
en todo I . Escojamos por tanto un ζ cualquiera y redefinamos las
funciones
f (x) − fn (ζ)

 n
 , x 6= ζ
ϕn (x) = x −ζ

fn′ (ζ), x =ζ


Como antes, las funciones ϕn (x) son continuas en I y

ϕn (x) ⇒ ϕ(x) en I . Luego
Demostración:
fn (x) − fn (ζ) f (x) − f (ζ)
ϕ(x) = lı́m ϕn (x) = lı́m = .
n→∞ n→∞ x −ζ x −ζ
Lo anterior junto con el hecho de que todas las funciones ϕn (x)
son continuas en I , y que ϕn (x) ⇒ ϕ(x) en I , nos permiten utilizar
el teorema sobre la continuidad de una sucesión de funciones para
afirmar que ϕ(x) es continua en I ası́ como el teorema sobre el
lı́mite que nos da
 
f (x) − f (ζ) fn (x) − fn (ζ)
lı́m = lı́m lı́m
x→ζ x −ζ x→ζ n→∞ x −ζ
 
fn (x) − fn (ζ)
= lı́m lı́m = lı́m fn′ (ζ).
n→∞ x→ζ x −ζ n→∞

Esta igualdad nos asegura que existe la derivada de f (x) para todo
x ∈ I , y además que
f ′ (ζ) = lı́m ϕ(x) = lı́m fn′ (ζ), ∀ζ ∈ I ,
x→ζ n→∞

que es que se querı́a demostrar.

Aplicación a las series de potencias
T9: (Segundo Teorema de Abel para las series de potencias)
∞
X
Cualquiera sea la serie de potencias an z n , an , z ∈ C, ∃R ≥ 0
n=0
ó R = +∞ t.q. R es el radio de convergencia de la serie. Además,
la serie converge absolutamente para todo z tal que |z| < R y
uniformemente para todo z tal que |z| ≤ r < R.
Aplicación a las series de potencias
T9: (Segundo Teorema de Abel para las series de potencias)
∞
X
Cualquiera sea la serie de potencias an z n , an , z ∈ C, ∃R ≥ 0
n=0
ó R = +∞ t.q. R es el radio de convergencia de la serie. Además,
la serie converge absolutamente para todo z tal que |z| < R y
uniformemente para todo z tal que |z| ≤ r < R.

T10: (Sobre la convergencia uniforme de una serie de potencias)

∞
X
Sea la serie de potencias an z n , an , z ∈ C. Entonces la serie
n=0
converge uniformemente en cualquier región del plano complejo
1
contenida en |z| ≤ r < R, con R = p
n
.
lı́m |an |
n
Aplicación a las series de potencias
T9: (Segundo Teorema de Abel para las series de potencias)
∞
X
Cualquiera sea la serie de potencias an z n , an , z ∈ C, ∃R ≥ 0
n=0
ó R = +∞ t.q. R es el radio de convergencia de la serie. Además,
la serie converge absolutamente para todo z tal que |z| < R y
uniformemente para todo z tal que |z| ≤ r < R.

T10: (Sobre la convergencia uniforme de una serie de potencias)

∞
X
Sea la serie de potencias an z n , an , z ∈ C. Entonces la serie
n=0
converge uniformemente en cualquier región del plano complejo
1
contenida en |z| ≤ r < R, con R = p
n
.
lı́m |an |
n
Ejercicio: Aplica los teoremas T6, T7 y T8 a las series de potencias.