Ingeniera Informtica Clculo Infinitesimal 2

Tema 1
Sucesiones y series de funciones
1.1. Introduccion. Deniciones basicas.
El elemento basico de estudio en el el calculo innitesimal es una funcion, que con frecuencia no
puede ser determinada de forma exacta. Ya sea porque la funcion objeto de estudio es la solucion
de una ecuaci on funcional, que no puede ser resuelta de forma explcita, o simplemente porque es
demasiado complicada para ser manipulada convenientemente, se suelen utilizar distintos tipos de
aproximaciones de la funcion.
En particular, a veces, las funciones suelen ser obtenidas como lmites de sucesiones o sumas de
series de funciones que convergen a la funcion solucion del problema considerado; entonces, bajo
ciertas condiciones, la funcion lmite puede ser aproximada por un elemento de la sucesion (o una
suma parcial de la serie) que este sucientemente proximo. En este primer tema, trataremos de dar
sentido al concepto de convergencia cuando las sucesiones o series que se analizan estan formadas
por funciones reales de variable real.
Sucesiones de funciones.
Denicion 1.1.1 Una sucesion de funciones (f
n
) denida en un conjunto D es una sucesion (a
n
)
cuyos elementos a
n
= f
n
(x), n = 0, 1, 2, . . . , son funciones denidas en el dominio D.
Si cada funcion f
n
se expresa como una formula, y = f
n
(x), y no se especica el dominio, se
entiende que D es el conjunto mas amplio posible com un a todas las funciones. Del mismo modo,
por conveniencia, una sucesion puede empezar a numerarse en un n = 0.
Ejemplo 1.1.2
La sucesion de funciones (f
n
), denida por f
n
(x) = x
n
, n = 0, 1, . . . , esta constituida por las
expresiones polinomicas
1, x, x
2
, x
3
, x
4
, . . .
1
A J M
Ingeniera Informtica Clculo Infinitesimal 2
2 Sucesiones y series de funciones
de modo que las funciones reales
f
0
(x) = 1, f
1
(x) = x, f
2
(x) = x
2
, f
3
(x) = x
3
, f
4
(x) = x
4
, . . .
son las funciones que determinan la sucesion. En este caso, el conjunto D mas amplio posible com un
a todas las funciones f
n
de la sucesion es precisamente el conjunto D = R de los n umeros reales.
Por otro lado, f
4
(

3) = 9, por ejemplo, indica entonces que y = 9 es el valor de la funcion y = f

4
(x)
en el punto de abscisa x =

3.
Las gracas de algunos de los elementos que componen la sucesion pueden visualizarse en
todo el conjunto R mediante esbozos o, por ejemplo, siguiendo la notacion de alg un programa de
calculo simbolico que permita representar comportamientos asintoticos. Los primeros terminos de
la sucesion del Ejemplo 1.1.2, distinguiendo las funciones por colores, se veran en la notacion de
Maple V en la forma de la Figura 1.1 (Notese que la concavidad de las f
n
puede ser alterada).
Figura 1.1: Las funciones f
n
= x
n
, n = 0, 1, 2, 3 y 4, con D = R.
Cuando solo interesa el analisis de una sucesion de funciones (f
n
) en un intervalo mas restringido
al dominio com un de sus elementos, no hay problemas en especicar el intervalo correspondiente.
Por ejemplo, en la sucesion del Ejemplo 1.1.2 se puede considerar cualquier subconjunto de R; en
particular, las gracas de las primeras funciones, para D = [1.5, 1.2], pueden verse en la Figura 1.2.
Figura 1.2: Las funciones f
n
= x
n
, n = 0, 1, 2, 3 y 4, con D = [1.5, 1.2].
A J M
Ingeniera Informtica Clculo Infinitesimal 2
Introducci on 3
La evolucion de los terminos de una sucesion de funciones puede representarse gracamente con
una animacion. Por ejemplo, la evolucion de la sucesion de funciones f
n
(x) = x
n
, desde n = 0 hasta
n = 25 en el intervalo [0, 1] puede seguirse en la Animacion 1.3.
Animacion 1.3: Primeros terminos de f
n
(x) = x
n
, con D = [0, 1].
A veces, una sucesion (f
n
) puede considerarse como una funcion de dos variables z = z(x, n),
donde el n umero natural n indica el elemento correspondiente de la lista, y el n umero real x indica
la variable independiente de la funcion f
n
. As, z(x, n) = f(x, n) es el valor de la funcion f
n
en la
abscisa x del dominio D R; es decir, de nuevo se tiene z(x, n) = f
n
(x).
Con esta notacion, cada funcion puede interpretarse gracamente ahora como una curva en el
espacio R
3
, que se obtiene de la interseccion del plano y = n con la supercie z = f(x, y).
Ejemplo 1.1.3
Para la sucesion de funciones f
n
(x) = x
n
, la Figura 1.4 representa f
5
(x) = x
5
inmersa en la
supercie z(x, y) = x
y
cuando se considera el dominio D = [0, 1].
Figura 1.4: La funcion f
5
(x) = x
5
en la supercie z(x, y) = x
y
.
La animacion derecha muestra la evolucion de las primeras funciones sobre la supercie.
A J M
Ingeniera Informtica Clculo Infinitesimal 2
4 Sucesiones y series de funciones
Series de funciones.
Del mismo modo que una serie numerica se dene a traves de la sucesion de sumas parciales de
una sucesion numerica asociada, la denicion de serie de funciones no es mas que la adaptacion al
caso de que los elementos que se manejan son funciones y no n umeros.
Denicion 1.1.4 Si (f
n
) es una sucesion de funciones denida en D, la serie

f
n
se dene como
el par de sucesiones de funciones (f
n
, S
n
), siendo S
n
=

n
k=0
f
k
. As, para cada x en D, se tiene
S
n
(x) = f
0
(x) + f
1
(x) + + f
n
(x) ,
que es una suma nita bien denida en D.
De forma analoga a las series numericas, las funciones f
n
se llaman terminos de la serie y las
funciones S
n
sumas parciales de la serie. Por otro lado, si no hay peligro de confusion, la serie de
funciones

f
n
se puede denotar tambien por f
0
+f
1
+f
2
+ (sin omitir los puntos suspensivos).
Como en el caso de las sucesiones de funciones no es necesario empezar la serie en n = 0; as, se
puede considerar

n
0
f
n
como la serie obtenida deniendo
S
n
=
n

k=n
0
f
k
= f
n
0
(x) + f
n
0
+1
(x) + + f
n
(x).
Ejemplo 1.1.5
De la sucesion de funciones f
n
(x) = x
n
, n = 0, 1, . . . , se tiene la serie

f
n
, denida por

f
n
(x) =

n=0
x
n
= 1 + x + x
2
+ ,
en la que la sucesion de sumas parciales (S
n
) esta formada por las funciones
S
n
(x) =
n

k=0
x
k
= 1 + x + + x
n
.
Las primeras sumas parciales de la serie de funciones

x
n
son entonces las funciones
S
0
(x) = 1, S
1
(x) = 1 + x, S
2
(x) = 1 + x + x
2
, S
3
(x) = 1 + x + x
2
+ x
3
, . . . ,
cuyas gracas en el intervalo D = [0, 1] pueden verse en la Figura 1.5. Comparense las gracas de
las primeras sumas parciales de la serie con las de los primeros terminos de la serie, representadas
en la Animacion 1.3. Obviamente, ambas guras muestran gracamente que, ya que son conceptos
distintos, no se deben confundir las sumas parciales S
n
y los terminos f
n
de una serie

f
n
.
Observese, en la serie de funciones

x
n
del Ejemplo 1.1.5, como sera un terrible error confundir
la expresion del termino general de la serie, f
n
(x) = x
n
, con la expresion de la suma parcial
de la serie, S
n
(x) = 1 + x + + x
n
. Notese ademas que la terminacion + se usa en la
igualdad S(x) = 1 + x + + x
n
+ para distinguir la serie S(x) =

x
n
de la suma parcial
S
n
(x) = 1 + x + + x
n
, que no es mas que una suma nita que termina en x
n
.
A J M
Ingeniera Informtica Clculo Infinitesimal 2
Convergencia puntual y uniforme 5
Figura 1.5: Primeras sumas S
n
de la serie

x
n
en [0, 1].
1.2. Convergencia puntual y uniforme.
Como en la seccion anterior, estudiaremos primeramente el concepto de convergencia en el caso de
sucesiones de funciones y las deniciones seran luego adaptadas convenientemente a las series de
funciones, a partir de las sucesiones de sumas parciales correspondientes.
Sucesiones de funciones.
Cuando se considera una sucesion de funciones (f
n
) y se eval ua cada funcion en un elemento del
dominio D, se obtiene una sucesion numerica,
(f
n
()) = (f
0
(), f
1
(), f
2
(), . . . ) ,
que puede ser una sucesion numerica convergente o divergente.
Ejemplo 1.2.1
Para la sucesion de funciones denida por f
n
(x) = x
n
, se tiene:
En x = 0.1, la sucesion (f
n
(0.1)) = (1, 0.1, 0.01, 0.001, 0.0001, . . . ) converge a 0.
En x = 2, la sucesion (f
n
(2)) = (1, 2, 4, 8, 16, 32, . . . ) diverge.
Restringiendo el dominio com un a las funciones f
n
, en aquellos puntos x en los que se obtiene
sucesion (f
n
(x)) convergente, puede construirse una nueva funcion f, deniendo el valor f() punto
a punto, en cada x = , como el lmite de la sucesion numerica (f
0
(), f
1
(), f
2
(), . . . ).
Denicion 1.2.2 La funcion f es el limite puntual en D R de la sucesion de funciones (f
n
) si
para cada x D se tiene
f(x) = lm
n
f
n
(x).
A J M
Ingeniera Informtica Clculo Infinitesimal 2
6 Sucesiones y series de funciones
En modo alternativo, se dira que la sucesion (f
n
) converge puntualmente a la funcion f en D, lo
que a veces denotaremos simbolicamente de una forma mas breve: (f
n
)
p
f en D.
Mas formalmente:
(f
n
)
p
f en D R si para cada x D y cada > 0 existe un n umero natural N = N(x, )
de modo que, siempre que sea n > N, se tiene que vericar |f
n
(x) f(x)| < .
Es decir, para cada elemento x del conjunto D y cada intervalo I = (f(x) , f(x) + ) del valor
f(x), se puede encontrar un ndice N de tal modo que los valores f
n
(x) estan en el intervalo I, para
las funciones de la sucesion que ocupan las posiciones n = N + 1, N + 2, . . .
Ejemplo 1.2.3
La sucesion de funciones f
n
(x) = x
n
, n = 0, 1, . . . , converge puntualmente en D = (1, 1] a la
funcion f, denida por
f(x) =
_
0 , 1 < x < 1,
1 , x = 1.
En efecto, ya que, analticamente, se tiene
lm
n
x
n
= 0, para |x| < 1, y lm
n
x
n
= , para |x| > 1;
por otro lado, en el punto x = 1 se tiene que (f
n
(1)) es la sucesion oscilante (1, 1, 1, 1, . . . )
y, nalmente, en x = 1 se obtiene la sucesion constante (f
n
(1)) = (1, 1, 1, . . . ).
La expresion N = N(x, ) indica que, en general, el ndice N es un n umero natural que depende
tanto de x como de . As que, para un mismo valor de , el valor de N en algunos puntos x D
pudiera ser mayor que en otros y N(x, ) enfatiza que la sucesion (f
n
(x)) se aproxima a f(x) con
distinta rapidez en cada x. Una vez jado un como medida de proximidad aceptable, pudiera
no existir un N valido para todo x D, lo que equivaldra a no poder considerar una tasa com un
de la velocidad de convergencia que resumiera el comportamiento global en todo el dominio D.
Ejemplo 1.2.4
En la Animacion 1.6 puede observarse gracamente, para la sucesion f
n
(x) = x
n
del Ejemplo 1.2.3
anterior, como tomando un mismo para los intervalos I = I(f(x), ), construidos sobre las
imagenes respectivas de los puntos x = 0.4, x = 0.7, x = 0.9 y x = 1, se obtienen distintos ndices
N = N(x, ) hasta conseguir que f
n
(x) entre en cada intervalo I, para n > N.
En efecto, aunque se ha tomado = 0.1 en todos los casos, el ndice es N = 2 para x = 0.4, es
N = 6 para x = 0.7, y es N = 22 para x = 0.9. As, para la sucesion de funciones del ejemplo se
muestra que el ndice N es mayor mientras x esta mas proximo al extremo x = 1 del intervalo;
por cierto, en x = 1 se tiene siempre el ndice N(1, ) = 0, ya que f(1) = 1 y los valores f
n
(1) = 1
estan siempre en el intervalo (f(1) , f(1) + ) = (1 , 1 + ), al ser su propio centro.
A J M
Ingeniera Informtica Clculo Infinitesimal 2
Convergencia puntual y uniforme 7
Animacion 1.6: Elementos de (f
n
(x)) e I (f(x), ), para x = 0.4, 0.7, 0.9 y 1.
Cuando para cada puede encontrarse un mismo valor del N valido para todos los elementos x
del conjunto D, es decir, un ndice N = N() independiente de x, la convergencia se dice uniforme.
El concepto es tan importante que merece una denicion aparte.
Denicion 1.2.5 La funcion f es el limite uniforme de la sucesion de funciones (f
n
) en D R
si para cada > 0 se puede encontrar un n umero natural N = N() de modo que, siempre que sea
n > N, se tiene |f
n
(x) f(x)| < para todos los x D.
Como en el caso de la convergencia puntual (comparense ambas deniciones), tambien diremos
entonces que la sucesion (f
n
) converge uniformemente a la funcion f en D y lo denotaremos
simbolicamente en la forma simplicada (f
n
)
u
f en D.
Geometricamente, la convergencia uniforme se traduce entonces en que tomando una banda
tan estrecha como se quiera, B(f, ) = (f , f + ), que encierre a la funcion f en el conjunto
D, todas las gracas de las funciones f
n
de la sucesion quedaran dentro de la banda (f, ) a partir
de un cierto ndice N. El valor de se interpreta ahora como la anchura de la banda, a modo de
intervalo unico valido para todo f(x) obtenido con f, como muestra la Figura 1.7.
Figura 1.7: Una banda B(f, ) de f con funciones de (f
n
).
A J M
Ingeniera Informtica Clculo Infinitesimal 2
8 Sucesiones y series de funciones
Ejemplo 1.2.6
La Animacion 1.6 sugiere que la convergencia de la sucesion f
n
(x) = x
n
a su funcion lmite f no
es uniforme en el intervalo D = [0, 1].
En efecto, para = 0.1, por ejemplo, en los intervalos construidos sobre distintos puntos
x
1
< x
2
< x
3
< < x
k
< 1 ,
tiene que tomarse, como ndice com un a todos los x
i
, el N
k
= N(x
k
, ) que se corresponda con
el punto x
k
< 1 situado mas a la derecha. En consecuencia, como el ndice N = 0 de x = 1 no es
admisible para todos los x
k
(solo vale para x = 1, en el que f
n
(1) = 1 (1 , 1 +) ), no podra
encontrarse un unico ndice N valido para todos los x del intervalo [0, 1), porque. . . no hay un
n umero real x = 1 que este mas cerca de 1 que todos los demas!
En realidad, como se muestra en la Animacion 1.8, en una sucesion de funciones (f
n
) que
converja uniformemente a una funcion f en un conjunto D, las funciones f
n
tienen que terminar por
ser indistinguibles gracamente de f en D, ya que un dibujo de la graca de la funcion lmite, desde
el punto de vista practico, no es mas que una banda B(f, ) con sucientemente peque no. . .
Animacion 1.8: Una banda B(f, ) de f con (f
n
)
u
f en D.
Observacion Importante: Es evidente que la funcion lmite puntual no puede ser distinta de la
funcion lmite uniforme, porque la convergencia uniforme en un conjunto asegura la convergencia
puntual en dicho conjunto.
En efecto, jado un x concreto y para cada que se considere, se puede tomar siempre el ndice
N(x, ) = N(), que asegura la convergencia de la sucesion (f
n
(x)) a f(x), y que en virtud de la
convergencia uniforme es valido para todo x D. As, destacamos la importante propiedad:
(f
n
)
u
f en D = (f
n
)
p
f en D. (1.2.7)
A J M
Ingeniera Informtica Clculo Infinitesimal 2
Convergencia puntual y uniforme 9
Pero atencion, la implicacion recproca no es cierta: una sucesion de funciones puede converger
puntualmente a una funcion f en un conjunto D y, sin embargo, puede que la sucesion no converja
uniformemente en el conjunto D a la funcion f, ni por supuesto a ninguna otra funcion distinta.
Para presentar algunos ejemplos mas, se puede utilizar una forma mas comoda de estudiar
la convergencia uniforme de una sucesion de funciones, a traves de la caracterizaci on del supremo,
que es como se denomina usualmente a la siguiente propiedad.
Proposicion 1.2.8 La sucesion de funciones (f
n
) converge uniformemente a la funcion lmite
puntual f en D R si y solo si la sucesion numerica (
n
) converge a = 0, siendo

n
= sup{|f
n
(x) f(x)| : x D}.
Si se adopta la notacion ||h||

= sup{|h(x)| : x C}, para una funcion y = h(x) denida en un

conjunto C, la caracterizacion del supremo de la convergencia uniforme la resume la equivalencia:
(f
n
)
u
f en D (
n
) 0, siendo
n
= ||f
n
f||

en D.
Por consiguiente, el problema de analizar si la convergencia puntual de una sucesion de funciones
en un conjunto es tambien uniforme se puede reducir al estudio del lmite de una sucesion numerica;
entonces, la determinacion de
n
, el analisis de la convergencia de la sucesion (
n
), y nalmente la
vericacion de (
n
) 0 suelen ser las cuestiones complicadas.
Ejemplo 1.2.9
Como se prueba en el Ejemplo 1.2.3, la sucesion de funciones denida por f
n
(x) = x
n
converge
puntualmente, en el intervalo [0, 1], a la funcion
f(x) =
_
0 , 1 < x < 1,
1 , x = 1.
Vamos a estudiar si la convergencia de la sucesion es uniforme, considerando dos dominios distintos.
(a) Dominio D
1
= [0, 0.9] .
Para cada n umero natural n, pongamos
n
= ||f
n
f||

. Como f es en D
1
la funcion nula,
entonces f(x) = 0 para todo x D
1
, y sera

n
= sup{|f
n
(x) f(x)| : 0 x 0.9} = sup{|x
n
| : 0 x 0.9} = (0.9)
n
,
ya que y = |x
n
| = x
n
es una funcion continua y creciente en los reales positivos, y por tanto el
supremo en el intervalo cerrado [0, 0.9] es el valor maximo de x
n
, que se alcanza en x = 0.9. Luego,
la sucesion (
n
) es convergente, siendo
lm
n

n
= lm
n
(0.9)
n
= 0.
A J M
Ingeniera Informtica Clculo Infinitesimal 2
10 Sucesiones y series de funciones
Por consiguiente, la sucesion de funciones (f
n
) verica la caracterizacion del supremo en D
1
y la
convergencia es uniforme en el intervalo, pudiendose resumir el comportamiento como
(f
n
)
u
f en D
1
= [0, 0.9] .
(b) Dominio D
2
= [0, 1] .
En este caso, ya que |f
n
(1) f(1)| = 0, el valor
n
= ||f
n
f||

, para cada n, sera

n
= sup{|f
n
(x) f(x)| : 0 x 1} = sup{|x
n
0| : 0 x < 1} = 1 .
En efecto, observese que al contrario que en el intervalo cerrado del caso anterior, ahora la
funcion y = |x
n
| = x
n
no tiene maximo en el intervalo [0, 1), luego el supremo buscado es el
limite por la izquierda en el extremo abierto del intervalo, x = 1; as que se obtiene

n
= lm
x1

x
n
= 1 .
Luego, para D
2
= [0, 1], aunque la sucesion (
n
) = (1, 1, 1, . . . ) es convergente, se tiene
lm
n

n
= 1 = 0 .
Por consiguiente, para la misma sucesion del Caso (a) no se verica la caracterizacion del supremo
en el conjunto D
2
= [0, 1]; y por lo tanto, la convergencia puntual a f de la sucesion (f
n
) no es
uniforme en el intervalo, pudiendose resumir ahora como
(f
n
) no converge uniformemente a f en D
2
= [0, 1] .
Geometricamente, puede observarse el comportamiento de la sucesion (f
n
) respecto de f, en
ambos casos, en la Animacion 1.9, en la que se ha se nalado una banda sobre la funcion lmite f,
en la que se ha exagerado un poco su representacion en el entorno del punto x = 1.
En el caso D
1
= [0, 0.9], las gracas de las funciones f
n
entraran completamente en una banda
B(f; ) cuando lo haga su extremo izquierdo, P(0.9, f
n
(0.9)), lo que ocurre en la banda de
radio = 0.1 para n > 22.
En el caso D
2
= [0, 1], cualquiera que sea el ancho de la banda B(f; ) que se considere,
siempre quedaran fuera trozos de funciones f
n
, por muy grande que sea el ndice n de la
sucesion (el trozo de y = f
n
(x) que va de y = a y = 1 ), lo que descarta la convergencia
uniforme seg un la denicion.
Observese que todas las funciones f
n
(x) = x
n
del Ejemplo 1.2.9 son continuas en el intervalo [0, 1],
mientras que la funcion lmite f no lo es (falla en el punto x = 1). Para llegar a ser gracamente
indistinguibles de f en el intervalo, las funciones f
n
tendran que partirse alguna vez, como muestra
claramente la Animacion 1.9, y entonces. . . se entrara en contradiccion con la continuidad de f
n
!
Como se vera en la seccion siguiente, el hecho de una funcion f, lmite puntual de una sucesion
de funciones (f
n
), no conserve la continuidad de las funciones f
n
en un intervalo I es suciente
para poder descartar la convergencia uniforme de la sucesion (f
n
) a f en el intervalo.
A J M
Ingeniera Informtica Clculo Infinitesimal 2
Convergencia puntual y uniforme 11
Animacion 1.9: (f
n
)
u
f en D
1
, pero no en D
2
.
El Ejemplo 1.2.9 ilustra ademas como la convergencia uniforme depende no solo de las funciones
de una sucesion, sino tambien del dominio D que se considera. Por supuesto, la convergencia
uniforme en un conjunto D se mantiene para sus subconjuntos, lo que conviene resaltar:
(f
n
)
u
f en D = (f
n
)
u
f en D
1
D. (1.2.10)
No obstante, se debe ser muy cuidadoso con el proceso inverso de extender el dominio en conjuntos
donde hay convergencia uniforme a conjuntos mas amplios, en los que la convergencia puede ser
solo puntual. Por ejemplo, si una sucesion converge puntualmente en un intervalo abierto (, ), ni
siquiera la convergencia uniforme en cualquier subintervalo cerrado [ + , ] (, ) puede
garantizar que la sucesion de funciones converja uniformemente en el intervalo (, ).
Ejemplo 1.2.11
Considerese de nuevo la sucesion de funciones f
n
(x) = x
n
, que converge puntualmente a la funcion
nula f(x) = 0 en el intervalo [0, 1). Entonces, la convergencia de la sucesi on a la funcion nula
es uniforme en cualquier intervalo [0, r] [0, 1) porque, al igual que se analizo en detalle para
D
1
= [0, 0.9] en el Caso (a) del Ejemplo 1.2.9, se tiene

n
= sup{|f
n
(x) f(x)| : 0 x r} = sup{|x
n
| : 0 x r} = r
n
;
y como |r| < 1, se obtiene
lm
n

n
= lm
n
r
n
= 0.
Sin embargo, la convergencia no es uniforme en todo el intervalo [0, 1) porque entonces, como en el
Caso (b) del Ejemplo 1.2.9, se tiene
n
= lm
x1
x
n
= 1; y evidentemente, la sucesion constante
(
n
) = (1, 1, 1, . . . ) no tiene por lmite a 0.
Observese que para que la convergencia puntual sea tambien uniforme, el problema que tiene la
sucesion de funciones f
n
(x) = x
n
en D = [0, 1] no puede soslayarse eliminando del dominio solo el
punto x = 1, sino que hay que eliminar todo un intervalo I = (1 , 1] que lo contenga. De hecho,
se puede asumir la siguiente regla general:
A J M
Ingeniera Informtica Clculo Infinitesimal 2
12 Sucesiones y series de funciones
Si no hay convergencia uniforme en un conjunto D, no se puede conseguir convergencia uniforme
en un subconjunto D {a}, obtenido de eliminar un unico punto.
Series de funciones.
Para una serie de funciones, (f
n
, S
n
) =

f
n
, las deniciones de convergencia puntual y conver-
gencia uniforme a la funcion suma se extienden de forma natural aplicando los conceptos sobre la
sucesion de funciones (S
n
), constituida por las sumas parciales de la serie.
As, cuando se tiene una serie de funciones

f
n
y se eval ua cada suma parcial S
n
en un
elemento del dominio D com un a los terminos f
n
, se obtiene la sucesion numerica
(S
0
(), S
1
(), S
2
(), . . . ) = (f
0
(), f
0
() + f
1
(), f
0
() + f
1
() + f
2
(), . . . ) ,
que no es mas que la serie numerica (f
n
(), S
n
()) =

f
n
(). La funcion suma de la serie de
funciones, y = S(x), se obtiene entonces restringiendo el dominio a aquellos puntos x D en los
que la serie

f
n
(x) sea convergente.
Denicion 1.2.12 La funcion S = S(x) es la suma puntual de la serie de funciones

f
n
en el
conjunto D R si esta denida en cada x D por
S(x) =

n=0
f
n
(x).
La serie de funciones

f
n
converge uniformemente en D si la sucesion de sumas parciales (S
n
)
converge uniformemente a S en D.
Simbolicamente:

f
n
p / u
S en D si (S
n
)
p / u
S en D, siendo S
n
=
n

k=0
f
k
.
De forma analoga a las series numericas, la funcion suma se denota si no hay ambig uedad con
el mismo smbolo que la serie. As,

f
n
o

n=0
f
n
indicaran unas veces la serie de funciones y
otras la funcion suma, S(x) =

f
n
(x) o S(x) =

n=0
f
n
(x), seg un el contexto.
Ejemplo 1.2.13
La serie de funciones

f
n
, denida por f
n
(x) = x
n
, es el ejemplo mas sencillo de una serie de
potencias y converge puntualmente en D = (1, 1) a la funcion suma S(x) =
1
1x
.
En efecto, la serie geometrica

x
n
= 1 + x + x
2
+ es convergente a
1
1x
, para |x| < 1 y
divergente para |x| > 1; ademas, en el punto x = 1 se tiene que la sucesion de sumas parciales
(S
n
(1)) es la sucesion (1, 2, 3, . . . ), que diverge a +; y nalmente, en x = 1 se tiene la sucesion
de sumas parciales oscilante (S
n
(1)) = (1, 0, 1, 0, . . . ), que obviamente no es convergente.
A J M
Ingeniera Informtica Clculo Infinitesimal 2
Propiedades de la convergencia uniforme 13
Animacion 1.10: La suma S de

x
n
y sus primeras S
n
en (1, 1).
La Animacion 1.10 muestra gracamente como las sumas parciales S
n
de la serie geometrica

x
n
se van aproximando puntualmente a la funcion suma S en el intervalo (1, 1). Geometricamente,
la funcion suma S(x) =

x
n
de la serie tiene una asntota vertical en x = 1, de la que carecen las
sumas parciales S
n
(x) = 1 + x + ... + x
n
, as que el valor ||S
n
S||

no se esta reduciendo en
el intervalo (1, 1), aunque visualmente lo parezca en la notacion de Maple; es decir, la diferencia

n
= sup{|S
n
(x) S(x)| : 1 < x < 1}
no cambia, a pesar del crecimiento de las funciones S
n
en [0, 1], debido al comportamiento de la
suma S en el extremo x = 1 (notese que S(x) llega hasta + en x = 1, pero que S
n
(1) es
nito para todo n). Ello sugiere que la convergencia de la serie

x
n
a la suma

n=0
x
n
=
1
1x
no
sera uniforme en (1, 1).
(Por cierto, cuanto valen
n
y lm
n

n
en el intervalo I = (1, 1)? Y en [, ] I?).
Observese, en la serie de potencias

x
n
del Ejemplo 1.2.13, que las sumas parciales de la serie de
funciones son los polinomios 1 +x + +x
n
; por lo tanto, las funciones S
n
son funciones acotadas
en el intervalo (1, 1). Sin embargo, la funcion lmite y = S(x) no esta acotada en el intervalo, ya
que se tiene lm
x1
S(x) = +. como muestra geometricamente la asntota vertical en x = 1,
que se ha resaltado en la Animacion 1.10.
Como en caso de que la continuidad, tambien el hecho de que una funcion f, lmite puntual de
una sucesion de funciones (f
n
), no conserve la acotacion de las funciones f
n
en un intervalo I permite
descartar la convergencia uniforme de la sucesion (f
n
) a f en I, ya que entonces (
n
) no puede
obviamente tender a 0, siendo
n
= ||f
n
f||

en el intervalo. Si la sucesion de funciones (S

n
) que
se considera es la de las sumas parciales de una serie de funciones

f
n
, como en el Ejemplo 1.2.13,
se puede expresar tambien el resultado en la terminologa de series: las sumas parciales acotadas
en I y la funcion lmite puntual no acotada en I, implican que la serie de funciones no converge
uniformemente a la funcion suma en I.
En la seccion siguiente se estudian las propiedades que transmiten los terminos de una sucesion
(serie) mediante la convergencia uniforme a la funcion lmite (suma).
A J M
Ingeniera Informtica Clculo Infinitesimal 2
14 Sucesiones y series de funciones
1.3. Propiedades de la convergencia uniforme.
Como venimos haciendo en todo este tema, estudiaremos primeramente las propiedades en el caso
de sucesiones de funciones y seran luego adaptadas convenientemente a las series de funciones,
mediante la consideracion de la sucesion de sumas parciales correspondiente.
Sucesiones de funciones.
En los ejemplos de la seccion anterior hemos visto que la convergencia puntual de una sucesion de
funciones con una determinada propiedad (continuidad, acotacion, . . . ) no garantiza que la funcion
lmite conserve dicha propiedad. En algunos casos, esto no puede ocurrir si la convergencia es
uniforme. La clave se puede resumir en la regla siguiente:
Si la convergencia de una sucesion de funciones (f
n
) a una funcion f es uniforme, la funcion
lmite f hereda la acotacion, continuidad o integrabilidad de las funciones f
n
.
Con mas precision se tiene:
Proposicion 1.3.1 Si la sucesion de funciones (f
n
) converge uniformemente a f en D R,
entonces:
(a) Si las funciones f
n
son acotadas en D, la funcion f tambien lo es.
(b) Si las funciones f
n
son continuas en D, la funcion f tambien lo es.
(c) Si las funciones f
n
son integrables en un intervalo [a, b] D, la funcion f tambien lo es y,
ademas, se verica la igualdad
lm
n
_
b
a
f
n
(x) dx =
_
b
a
f(x) dx. (1.3.2)
En efecto, la prueba es casi evidente, en el sentido de que al considerar una banda B(f, )
sucientemente estrecha de la funcion lmite f, para las propiedades consideradas esta debe ser
indistinguible de las funciones f
n
que contiene (es decir, de la propia banda, si es muy pe-
que no. . . ), lo que de forma intuitiva garantiza la acotacion, la integrabilidad y la continuidad,
como puede probarse formalmente (vease, por ejemplo, en alguno de los textos de calculo inni-
tesimal recomendados en la bibliografa).
Observese que poniendo f(x) = lm
n
f
n
(x), entonces la igualdad (1.3.2) se transforma en
lm
n
_
b
a
f
n
(x) dx =
_
b
a
lm
n
f
n
(x) dx. (1.3.3)
As, la convergencia uniforme garantiza el intercambio del paso al lmite con la integral, cosa que
no es cierta, en general, cuando la convergencia en el intervalo es solo puntual. De modo analogo, se
A J M
Ingeniera Informtica Clculo Infinitesimal 2
Propiedades de la convergencia uniforme 15
puede dar una interpretacion similar, de intercambio de una propiedad con el paso al lmite, para
las propiedades P de acotacion y continuidad:
lm
n
P(f
n
) = P
_
lm
n
f
n
_
. (1.3.4)
En consecuencia, si las f
n
verican alguna de tales propiedades y no es posible el intercambio
especicado en la relacion (1.3.4), la convergencia de la sucesion no puede ser uniforme. Ojo!,
En tal caso, la convergencia uniforme se descarta de forma indirecta y no es necesario aplicar
la caracterizacion del supremo de la Proposicion 1.2.8, que obliga a calcular
n
= ||f
n
f||

en el
dominio considerado y luego a probar que la sucesion (
n
) no converge a 0.
Ejemplo 1.3.5
(a) Las funciones f
n
(x) = x
n
son continuas en [0, 1] y la funcion lmite f no lo es, por lo que la
convergencia puntual de la sucesion (f
n
) a la funcion f en [0, 1] no es uniforme.
(b) Las funciones S
n
(x) = 1 +x + +x
n
estan acotadas en el intervalo (0, 1) y la funcion lmite
y = S(x) no lo esta, por lo que la convergencia puntual de la sucesion (S
n
) a la funcion lmite S en
el intervalo (0, 1) no es uniforme.
Atencion: cuidado con emplear mal la implicacion en el otro sentido. . . , Por ejemplo, si la funcion
f no es continua (o s lo es), pero las funciones f
n
no lo son, la convergencia de (f
n
) a f puede ser
uniforme, como sera el caso trivial de considerar todas las funciones f
n
iguales a f.
Por otro lado, conviene dejar constancia de que la intuicion como metodo de prueba no es
siempre una buena eleccion en matematicas. . .
Por ejemplo, parece de forma intuitiva que si una sucesion de funciones (f
n
) no tiene picos, y
converge uniformemente a una determinada funcion f, intuitivamente indistinguible de las f
n
para
n grande, entonces la funcion lmite tampoco debera tener picos. . . y no es as!
En efecto, la Animacion 1.11 ilustra el hecho de que una banda (por peque na que sea) de la
funcion f(x) = |x| en D = [1, 1] puede contener funciones en las que el pico en x = 0
este siempre redondeado. . .
Animacion 1.11: Funciones f
n
derivables y (f
n
)
u
f en D.
A J M
Ingeniera Informtica Clculo Infinitesimal 2
16 Sucesiones y series de funciones
As, la derivabilidad no se hereda en la funcion lmite aunque la convergencia sea uniforme. No
obstante, algo se puede asegurar con hipotesis mas restrictivas: en el caso de una sucesion (f
n
) de
funciones derivables, es la convergencia uniforme de la sucesion derivada, (f

n
), la que implica que
la derivada del lmite sea el lmite de las derivadas.
Proposicion 1.3.6 Sea (f
n
) una sucesion de funciones derivables en un intervalo I = [a, b] R,
de modo que la sucesi on derivada (f

n
) converja uniformemente a una funcion g en I, entonces:
(a) Si (f
n
(x)) converge para alg un x I, se tiene que (f
n
) converge uniformemente en I a una
funcion f, vericandose ademas que f

(x) = g(x) para todo x I.

(b) Si (f
n
) converge puntualmente a una funcion f en I, y cada f

n
es una funcion continua, la
convergencia es uniforme y se verica f

(x) = g(x) para todo x I.

En efecto, la prueba de la parte (a) es tecnicamente mas complicada (puede verse en el texto
de la referencia [4], por ejemplo). La parte (b) es un caso particular mas facil de demostrar: al
admitir que cada f

n
es una funcion continua en el intervalo [a, b], la convergencia uniforme de
la sucesion derivada (f

n
) garantiza que la funcion lmite g tambien es continua en [a, b]; por lo
tanto, y = g(x) es integrable, pudiendose ademas intercambiar el lmite con la integral:
_
x
a
g(s) ds =
_
x
a
_
lm
n
f

n
(s)
_
ds = lm
n
_
x
a
f

n
(s) ds.
Aplicando la regla de Barrow en el intervalo [a, x] [a, b] a cada funcion derivada f

n
y utilizando
el hecho de que (f
n
) converge a la funcion f puntualmente (es decir, (f
n
(x)) f(x) en cada x,
incluyendo x = a), se tiene
_
x
a
g(s) ds = lm
n
_
x
a
f

n
(s) ds = lm
n
[f
n
(x) f
n
(a)] = f(x) f(a),
y, entonces, f esta denida por
f(x) =
_
x
a
g(s) ds + f(a).
Finalmente, de nuevo la continuidad de g permite aplicar el teorema fundamental del calculo y,
derivando la expresion anterior, obtener f

(x) = g(x).
Observese que si se admite la parte (a) de la Proposicion 1.3.6, entonces la prueba de la parte
segunda es inmediata (sobran hipotesis). Por otro lado, para cada x en I, se tiene en ambos casos
una igualdad que intercambia el lmite con la derivada:
_
lm
n
f
n
_

(x) = f

(x) = g(x) = lm
n
f

n
(x). (1.3.7)
A J M
Ingeniera Informtica Clculo Infinitesimal 2
Propiedades de la convergencia uniforme 17
Ejemplo 1.3.8
La sucesion de funciones (f
n
), denida por f
n
(x) =
x
n
n
, converge uniformemente a la funcion
f(x) = 0 en el intervalo I = [0, 1].
En efecto, para 0 x 1 se tiene lm
n
x
n
n
= 0, luego la sucesion (f
n
(x)) converge a f(x) = 0
en cada x [0, 1]. Poniendo, como siempre,
n
= ||f
n
f||

en el intervalo, se tiene

n
= sup{|f
n
(x) f(x)| : 0 x 1} = max
_

x
n
n

: 0 x 1
_
=
1
n
.
Por consiguiente, como (
n
) 0, la convergencia de (f
n
) a f es uniforme en el intervalo [0, 1].
Sin embargo, la derivada de la funcion lmite f = 0 es tambien la funcion nula f

= 0, que no coincide
en el intervalo [0, 1] con el lmite puntual g, de la sucesion de funciones derivadas f

n
(x) = x
n1
,
que resulta ser la sucesion del Ejemplo 1.2.3, luego
(f

n
)
p
g en [0, 1], con g(x) =
_
0 , x < 1,
1 , x = 1.
As, ya que f

(1) = g(1), se comprueba con este ejemplo que ni siquiera la convergencia uniforme de
una sucesion de funciones derivables (f
n
) garantiza que el lmite de las derivadas sea la derivada del
lmite. . . Es la sucesion derivada la que tiene que converger uniformemente para que la propiedad
que implica la relacion (1.3.7) se verique!
Series de funciones.
La acotacion, continuidad, integrabilidad y derivabilidad son propiedades que se mantienen para
sumas nitas de funciones que las veriquen. As, para una serie de funciones

f
n
en la que sus
terminos f
n
tienen las propiedades indicadas, estas tambien se vericaran para las sumas parciales
de la serie, S
n
= f
0
+ f
1
+ f
2
+ + f
n
, por lo que los resultados anteriores sobre sucesiones se
aplican de forma natural a la funcion suma de la serie, y = S(x).
Por ejemplo, con relacion a la integracion se tendra la siguiente propiedad:
Proposicion 1.3.9 Si la serie de funciones

f
n
converge uniformemente a la suma S en D R
y los terminos f
n
son funciones integrables en un intervalo [a, b] D, entonces la funcion suma
S(x) =

f
n
(x) es integrable y se tiene
lm
n
n

k=0
_
b
a
f
k
(x) dx =
_
b
a
S(x) dx. (1.3.10)
A J M
Ingeniera Informtica Clculo Infinitesimal 2
18 Sucesiones y series de funciones
Observese que el resultado para la serie no es mas que la propiedad de integracion para la sucesion
de sumas parciales S
n
(x) = f
0
(x) + f
1
(x) + + f
n
(x); y cuando la convergencia es uniforme, la
igualdad (1.3.10) para series no es mas que la igualdad (1.3.3) para sucesiones aplicada a (S
n
), que
indica ahora que puede intercambiarse el sumatorio con la integral:

n=0
_
b
a
f
n
(x) dx = lm
n
n

k=0
_
b
a
f
k
(x) dx =
_
b
a
S(x) dx =
_
b
a

n=0
f
n
(x) dx.
Para las otras propiedades, la relacion (1.3.4), aplicada a la sucesion de las sumas parciales (S
n
) de
una serie de funciones

f
n
, se puede expresar tambien en la notacion de series como la igualdad

n=0
P (f
n
(x)) = P
_

n=0
f
n
(x)
_
,
donde P indica la propiedad adecuada.
Ejemplo 1.3.11
Las funciones f
n
(x) = x
n
estan acotadas en en el intervalo I = (0, 1), pero si se considera la serie

x
n
, entonces la funcion suma

n=0
x
n
=
1
1 x
no esta acotada en el intervalo I; por lo tanto, la convergencia puntual de la serie

f
n
a la suma
S(x) =

f
n
(x) no es uniforme en el intervalo (0, 1).
Observese que el resultado obtenido es exactamente el mismo del Ejemplo 1.3.5 (b), aunque ahora
esta expresado con la notacion empleada para las series (vease de nuevo la Animacion 1.10).
Con frecuencia, aunque no se pueda conocer la funcion suma de una serie de funciones, es
importante poder asegurar que conserva las propiedades de sus terminos. Ello motiva el interes de
encontrar metodos faciles que garanticen la convergencia uniforme de la serie sin necesidad de tener
que conocer la funcion suma.
El criterio M-Weierstrass para series.
El estudio de la convergencia uniforme de una serie S(x) =

f
n
, basado en la caracterizacion
del supremo, con el calculo directo de
n
= sup|S
n
(x) S(x)| y la comprobacion de (
n
) 0, es
casi siempre inviable. Lo usual es que, aunque las expresiones de las funciones f
n
sean sencillas,
no exista una formula util para las sumas parciales S
n
y/o para la suma S de la serie que permita
obtener ||S
n
S||

.
As, para asegurar que la suma S hereda en un intervalo las propiedades de los terminos de una
serie

f
n
y poder sustituir la funcion suma por una suma parcial adecuada (para aproximar
as una cota de sus valores o una integral, etc.) se suelen utilizar resultados indirectos. Por ejemplo,
el resultado siguiente permite reducir el problema de la convergencia uniforme de una serie de
A J M
Ingeniera Informtica Clculo Infinitesimal 2
Propiedades de la convergencia uniforme 19
funciones en un conjunto al de la convergencia de una serie numerica. Es de facil aplicacion y
sera convenientemente usado para obtener resultados teoricos en los casos de series de potencias y
series de Fourier, a los que se dedican respectivamente los dos proximos temas.
Proposicion 1.3.12 (Criterio M-Weierstrass) Si para cada funcion f
n
se tiene la acotaci on
|f
n
(x)| M
n
en un conjunto D R, y la serie numerica de terminos positivos

M
n
es una
serie convergente, entonces la serie de funciones

f
n
converge uniformemente a la funcion suma
S(x) =

f
n
(x) en el conjunto D.
En efecto, para probarlo basta considerar que en el conjunto D se verica

n
= ||S
n
S||

= sup
xD

k=n+1
f
k
(x)

sup
xD
_

k=n+1
|f
k
(x)|
_

k=n+1
M
n
,
y la convergencia de la serie numerica,

M
n
< , garantiza que los restos M
n+1
+ M
n+2
+
de la serie

M
n
, que acotan los valores
n
, tienden a 0. En consecuencia, se tiene (
n
) 0 y
de la caracterizacion del supremo se obtiene nalmente el resultado (S
n
)
u
S en D.
Simbolicamente, el criterio M-Weierstras se puede resumir como:
|f
n
(x)| M
n
en D R y

M
n
< =
n

k=0
f
k
u

n=0
f
n
en D. (1.3.13)
Ejemplo 1.3.14
Considerese la serie de funciones

f
n
denida en R por

n=1
cos(n
2
x)
n
2
.
Al ser

cos(n
2
x)

< 1 para todo x R, se tiene

1.- |f
n
(x)| =

cos(n
2
x)
n
2

<
1
n
2
= M
n
en R.
Por otro lado, la serie armonica

1
n
p
es convergente cuando p > 1, luego
2.-

M
n
=

1
n
2
< .
Por consiguiente, se verican las hipotesis de (1.3.13) y el criterio M-Weierstrass permite asegurar
en R la convergencia uniforme de la serie de funciones a una funcion suma. . . de la que solo se
conoce su expresion formal, S(x) =

f
n
(x). No obstante, la convergencia uniforme de la serie de
funciones implica que las sumas parciales,
S
n
(x) =
n

k=1
cos(k
2
x)
k
2
= cos x +
cos(4 x)
4
+
cos(9 x)
9
+ +
cos(n
2
x)
n
2
,
se aproximan a la funcion lmite con la garanta de que, si n es sucientemente grande, entonces
la imagen graca de S
n
sera una representacion razonable de la funcion suma de la serie.
A J M
Ingeniera Informtica Clculo Infinitesimal 2
20 Sucesiones y series de funciones
Figura 1.12: S
50

f
n
, para (S
n
)
u

f
n
, con f
n
derivables.
As, la Figura 1.12, que representa la graca de la suma parcial y = S
50
(x) en el intervalo [1, 1]
podra ya ser considerada una imagen aceptable de la suma

f
n
en este intervalo.
Observese que cada termino de la serie

f
n
es la funcion
f
n
(x) =
cos(n
2
x)
n
2
,
que es una funcion acotada y continua en R, as como integrable en cualquier intervalo [a, b] R.
Por lo tanto, la convergencia uniforme de la serie de funciones implica que tambien lo sera la funcion
suma S(x) =

f
n
(x). Sin embargo, a pesar de la convergencia uniforme de la serie, los picos que
aparecen en distintas zonas de la aproximacion a la graca de la Figura 1.12 no parecen augurar
nada bueno sobre la derivabilidad de la funcion suma. . .
Por cierto, al hilo del parrafo nal del Ejemplo 1.3.14, le queda como ejercicio la traduccion
de la Proposicion 1.3.6, sobre la derivabilidad de la funcion lmite de una sucesion de funciones, al
caso de series de funciones, as como el analisis analtico de la derivabilidad de la suma de la serie
de funciones del ejemplo.
A J M