Sucesiones y Series de Funciones

Jorge Brisset

Introduccin
El presente material fue elaborado para el curso de Anlisis 2 de la carrera de Profesorado de
Matemtica para Educacin Media dictado en el Instituto de Profesores Artigas.

Resumen
Presentaremos en una primera parte el concepto de sucesin de funciones y una serie de ejemplos
representativos. Daremos las definiciones elementales a pesar de que formalmente no sera
necesario, ya que, al tratarse de sucesiones, el lector ya debera saber que se trata de funciones de
dominio (o tambin de dominio = : > 0 ) y que el codominio es un conjunto de
funciones (que en este curso se tratarn de funciones reales).

Luego veremos que algunas de las propiedades ms sobresalientes de las funciones reales, (como la
continuidad, la integrabilidad, de Riemann o impropia, y la derivabilidad), en caso de que cada
funcin perteneciente al recorrido de la sucesin la posea, sta podra ser tambin una de las
propiedades de la funcin lmite1 . Ante esta interrogante incorporaremos la definicin de
convergencia uniforme como una necesidad y demostraremos los teoremas correspondientes.
Algunos de esos teoremas nos presentan condiciones para posibles intercambios entre la integral
(propia o impropia2) y el lmite de la sucesin as como entre la derivabilidad y el lmite.

En la segunda parte trataremos las series de funciones (y en particular analizaremos las series de
potencias) esos resultados permitirn derivar e integrar trmino a trmino y ver algunas
propiedades elementales de las funciones analticas.

Recomendamos leer (Lins Escard, 1982), (Brisset, 2008) Y (Pelez, 2005)

A los lectores
Para poder aprovechar este material es conveniente que est familiarizado y maneje con solvencia
los temas del curso de Anlisis 1, particularmente: lmites de sucesiones y funciones, clculo
diferencial e integral.

Agradezco dar un buen uso al material y que de constatar en l errores me lo hagan saber.

1
Se definir oportunamente, nos referimos a la funcin lmite puntual.
2
Conocido como teorema de Tannery.
Sucesiones de funciones

Definiciones y ejemplos preliminares

Una sucesin de funciones, es una funcin de dominio o tambin = : > 0 3 y
codominio el conjunto de funciones. Estaremos interesados en las sucesiones de funciones tales que
las funciones pertenecientes al recorrido tengan un dominio comn.

Es decir, es una sucesin en la que para cada , su imagen, la funcin cumple que
: .

Cabe observar que para cada , obtenemos una sucesin formada por las imgenes que
tiene en las distintas .

Ejemplo:
Consideremos donde a cada le corresponde la funcin : 0,1 con =

En la presente figura presentamos los

grficos de algunas de las funciones de la
sucesin.
Fjese que para un determinado valor de la
1
variable (por ejemplo si toma = 2 ), sus
imgenes tienden a cero (excepto para 1,
que independientemente de , se tiene que
1 = 1).
Considerando esos lmites puntuales se
define una funcin que est representada
en rojo y que es la que llamaremos funcin
lmite puntual.

Como vimos en el ejemplo, para los en los que la sucesin real es convergente,
tenemos un nico nmero real asociado a l: el lim+ .

La funcin lmite puntual es la definida de la siguiente manera:

: dada por = lim

+

Donde = : es convergente .

3
Sin perder generalidad, en los teoremas consideraremos que el dominio es.
Ntese que no tenemos inters en el dominio comn que puedan tener las , sino en el subconjunto
de ste (al que denotamos como S) para cuyos elementos la sucesin real converge.

0 , si [0,1)
En el ejemplo anterior la funcin lmite es : =
1 , si = 1

En resumen, decimos que converge puntualmente en S a la funcin f, si y solo si, para cada
, el lim = .

Usando la notacin ms habitual y desarrollando la definicin de lmite, podemos escribir la

definicin anterior de la siguiente manera:

, > 0, / > , <

Veamos algunos ejemplos ms.

Ejemplo
1
Consideremos la sucesin de funciones donde : = 2 + .

1
En este caso, cualquiera sea real, lim = lim 2 + = .

Por lo que , en donde : =

En la figura tenemos las grficas de algunas de las y la de f, la funcin lmite puntual.Cabe notar
que cada es derivable en cero, mientras que f no lo es.4

4
En el primer ejemplo, not que alguna propiedad dejara de verificarse?
Ejemplo
2
Sea la sucesin de funciones donde : = .
2 +1

Salvo para = 0, en donde todas las son nulas, para cualquier otro valor de ,
2
el lim = lim 2 +1 = 1.
0, si = 0
Por eso tenemos que , en donde : = sg =

1, si 0

Ejemplo
En este ejemplo, se expone el grfico de una genrica. Se espera que usted sea capaz de encontrar
una expresin analtica para ella.

1 2

1 1
Analice el ejemplo y compruebe que , en donde : = 0. Calcule 0
y 0

0,1
y emita conclusiones.
Ejemplo
2
Sea ahora la sucesin de funciones donde : = , y de la cual exhibimos algunas
grficas.

Grficos de las primeras cinco funciones de la sucesin.

Grfica de 17 con una escala que permite ver qu ocurre si +.

Fijemos un valor de y calculemos el lmite de la sucesin real .

2
lim = lim =0

Por lo tanto,

, en donde : = 0.

Este es un claro ejemplo de que el valor de la integral impropia no se mantiene con la convergencia
puntual ya que,
+ +

= = 0

Observacin
Con esta muestra de distintos ejemplos, hemos podido observar que por ms que todos las funciones
de la sucesin tengan determinada propiedad, la funcin limite no tiene porqu tenerla. Lo hemos
visto en el caso de la continuidad, en el de la derivabilidad y en el valor de una integral de Riemann y
una impropia. Si bien no expusimos ningn ejemplo, podramos tener una sucesin de funciones en
donde todas las funciones sean r-integrables y la funcin lmite no lo sea. A continuacin mostramos
un ejemplo.
Ejemplo
Trataremos de llevar la funcin nula en un intervalo , hasta que quede la famosa funcin de
Dirichlet (que como es sabido no es r-integrable). Usaremos para ello la numerabilidad de (Ms
precisamente la de , ).

Dado que , es numerable, sabemos que existe una biyeccin entre y , .

Representaremos 1 , 2 , , , a las imgenes de los naturales 1, 2, 3 etc.

La sucesin de funciones que verifica lo indicado arriba, es la definida con

1, si = 1 , 2 , ,
: =
0, en otros casos

Dejemos los detalles para usted.

En las partes siguientes, veremos que en ciertas condiciones de hiptesis, se verificar que:

Si cada es continua en a, entonces tambin lo ser .

Si cada es r-integrable en , , entonces tambin lo ser y

.
Este resultado en uno de los tantos de intercambio ya que obtendramos que:

lim = lim
+

Y tambin (incorporando otras condiciones):
o Para impropias

lim = lim
+

o Para el caso de la derivabilidad

lim = lim
+

Para eso introduciremos un concepto de convergencia para una sucesin de funciones ms exigente,
el de la convergencia uniforme.
Definicin
Decimos que una sucesin de funciones converge uniformemente en S a una funcin , si y solo
si, para cualquier > 0, existe un natural , tal que cualquiera que sea > , <
independientemente del valor de en .

Introduciendo la notacin usual, la escribimos

> 0, / > , , < .

Ante un primer golpe de vista no parece ser muy diferente a la definicin de convergencia puntual.
La diferencia principal radica en que en el caso de la C.U., para cada positivo que tengamos, el
natural que menciona la definicin depende tan solamente de ; en tanto que en la C.P. para cada
y cada positivo tenemos la existencia de , por lo que dicho natural depende del tomado
adems del .
Veremos en el anlisis de los principales resultados, que esta diferencia no es menor, ya que como
vimos en ejemplos previos, la mera convergencia puntual no garantiza la conservacin de ninguna
propiedad (continuidad, integrabilidad, derivabilidad), mientras que por otro lado la convergencia
uniforme es fundamental para la conservacin de dichas propiedades.

Grfica de f +

Grfica de f

Grfica de f -

Interpretacin geomtrica de la convergencia uniforme

En la figura anterior se muestran en rojo los grficos de las con > .

Teorema: conservacin de la continuidad
Si converge uniformemente en y cada es continua en , entonces la funcin lmite es
continua en .5

Es decir,

es continua en
, es continua en , ( S )

Demostracin:
Como vimos en la nota al pie, consideraremos que . Por lo que tendremos que probar que
lim = . Que segn la definicin significa que (y eso es lo que vamos a probar).

Dado cualquier > 0, encontraremos > 0 (que tan solo pueda depender de ) tal que, si y
< , entonces < .

Tomemos y trabajemos algo con l.

(*) = + + independientemente de .

Luego, por la desigualdad triangular,

+ +

Probaremos que cada valor absoluto puede ser menor a cualquier valor positivo, por ejemplo a .
3

El primero de ellos, como , para el real positivo 3, existe tal que <3

para todo > y cualquiera sea .

Note que el tercer valor absoluto es un caso particular del primero, que ya se verifica cualquiera sea
y estamos son un elemento particular de : .

Volvamos a la lnea marcada (*), la misma vale para cualquier , pues tomemos un particular,
una cualquiera mayor que , por ejemplo + 1.

Una vez que fijamos = + 1, como (que es +1 ) es continua en , por definicin, para el real

positivo 3, sabemos que existe > 0, tal que, si y < , entonces < 3.

Con lo que queda demostrado que Dado > 0, encontramos > 0 (que tan solo depende de ) de
modo que, si y < , se cumple que < .

Por lo tanto, es continua en .

5
Si fuese un punto aislado de no tendramos nada para demostrar ya que toda funcin es continua en un
punto aislado. Por ese motivo demostraremos el teorema para el caso que tiene sentido hacerlo: .
Ejemplo
Retomando la sucesin de funciones definida por : = . Vimos que converga puntualmente
0 , si [0,1)
a la funcin : = , que es obviamente discontinua en 1. Luego, la convergencia
1 , si = 1
no es uniforme. Sin embargo, en [0,1) s se conserv la continuidad.

Ser que ? De ser as, por definicin debera cumplirse que:

[0,1)

Dado > 0, tal que > , 0,1 , < , pero esto no es cierto ya que como el
1
1, bastar con tomar = 2 para ver que existe siempre algn 0,1 cuya imagen es
1
1
mayor que 2.

Es usual que casos como ste, nos preocupemos por encontrar se hay algn subconjunto de [0,1) en
donde la convergencia sea uniforme. Ya que vimos que la convergencia no es uniforme en [0,1) a
causa de poder acercarnos al 1, no le parece sensato que busquemos la convergencia uniforme en
intervalos de la forma 0, [0,1)?

Dado 0, [0,1), tomamos > 0, existe tal que > , 0, , < ?

En este caso la respuesta es afirmativa, ya que cualquiera que sea 0, , tenemos:

0
+

Con lo que, cualquiera que sea el 0, [0,1),

0,

En donde es la funcin nula. Esto explica porqu an sin convergencia uniforme en [0,1), la funcin
lmite es continua.

Ejercicio
Demuestre que las son continuas en un intervalo abierto con en cualquier , ,
,
entonces,

es continua en

Ejercicio
Demuestre que convergencia uniforme cumple la propiedad de linealidad.
Teorema: conservacin de la integrabilidad Riemann
Si converge uniformemente en , y cada es r-integrable en , , entonces es r-

integrable en , y adems

.

Es decir,

es r integrable en ,
1)

, 2)
,

, es r integrable en ,
3) lim = lim

Las funciones del punto 2) son:

: = y : =

Note que en el punto 3) se establece la posibilidad de intercambiar el orden entre el lmite y la

integral y que, al probarse el punto 2), este punto se cumple directamente ya que (obviamente)
pertenece a , .

Demostracin:
1) Probaremos que es r integrable en , usando la condicin necesaria y suficiente6 que
dice que:
es r integrable en , > 0, , tal que , , <

Como por hiptesis, , entonces para cada >0, tal que > y , ,
,
< .
Lo que podemos escribirlo as: para cada >0, tal que > y , ,
< < + (**)

Tomemos inicialmente una particin cualquiera de , y veamos algunas propiedades que se

verifican independientemente de ella, para luego elegir una que cumpla lo sealado al principio.
Sea = 0 , 1 , , una particin de , . Cualquiera que sea 1 , se verifica (**), ya
que 1 , , .

Luego, los supremos e nfimos de las funciones mencionadas verifican que:

, +
Y
, +

6
Se recomienda que si la desconoce se ponga en contacto con el material del curso de Anlisis I.
Operando adecuadamente llegamos a que , , + 2 .

Como esta desigualdad es vlida para = 1, , multiplicndolos por 1 y sumndolos

tenemos que:


, , , , + 2 1
=1

O lo que es lo mismo:

, , , , + 2

Note que si logramos probar que existe una particin , para la cual cada parte marcada con una

llave, es menor que 2, estaramos probando la primera parte del teorema.

Pues bien, 2 ser menor que 2 siempre que elijamos < 4
. Empecemos entonces por

tomar 0 < < 4
. Una vez elegido , tomamos cualquier > (por ejemplo = + 1).

Como la es una funcin r-integrable en , , entonces sabemos que existe , tal que

, , < .
2

Esto concluye la demostracin de esta parte.

2) Segn la definicin, > 0, / > , , < .

,
Sea entonces > 0. Busquemos .

= =

Esta cadena de igualdades y desigualdades fue realizada en base a la aplicacin de las
definiciones de y , as como a propiedades de la integral de Riemann (linealidad y
monotona). Note, a su vez, que la ltima desigualdad es vlida para cualquier , .

Como por hiptesis , para el dado desde un principio, sabemos que existe tal
,

que para todo > y para cualquier , se tiene que < .
Por lo que concluimos que

,

3) Como comentramos en un comienzo, esta parte es una consecuencia inmediata de la parte

anterior.
Teorema de Tannery: conservacin de la integrabilidad impropia
Sea una sucesin de funciones localmente integrables en [, ) tal que , siendo
[, )
uniforme dicha convergencia en todo , [, ). Si existe un funcin : [, ) tal que

y , , 7
con
converge, entonces:

1. es localmente integrable en [, )

2.
y cada
son absolutamente convergentes

3. lim
= lim

Demostracin:
1. Para cualquier , [, ), cada es r-integrable (ya que, por hiptesis, las son
localmente integrables en [, ).
Como , por el teorema de conservacin de la r-integrabilidad tenemos que es r-
,
integrable en , . Luego, es localmente integrable en [, )
2. Como para cada , se tiene que para todo [, ), , entonces tambin
se cumple que para todo [, ), .
Luego, por el criterio de comparacin para integrales impropias, tenemos que:

Para cada ,
converge absolutamente.


converge absolutamente.

3. Sea > 0, probaremos que existe tal que > ,

< .
Para cualquier , ,

= +

+ +

+ + + 2 8

Como
converge, sabemos que lim
= 0, por eso es posible elegir

de modo que 2
< 2.
No perdamos de vista que las desigualdades anteriores son vlidas para cualquier , .

7
Note que no es necesario pedirle tanto a la funcin ya que bastara con que cumpliera lo expresado a partir
de algn natural y para todo [0 , ) con 0 , . Le sugiero que elabore una explicacin.
8
Note qu propiedad usamos en esta ltima desigualdad.
Una vez fijado , como , existe tal que para todo > se tiene que
,


< 2.
En resumen, dado > 0, encontramos , tal que para todo >

< .

Esto concluye la demostracin del teorema.
Teorema: conservacin de la derivabilidad
Sea una sucesin de funciones de clase 1 en un intervalo tal que converge en algn
y .

Entonces

1. Existe : tal que

2. en cualquier intervalo acotado

3. La funcin es derivable en y = para todo . 9

Demostracin:
1. Para demostrar que converge puntualmente en , fijaremos (como es usual) .
Como cada es de clase 1 en , entonces cada es continua en y en consecuencia

= .

Esto nos permite encontrar una expresin para y estudiar su convergencia puntual.

lim = lim +

Como converge (le llamaremos a su lmite) y (o en , ) pues converge
,
uniformemente en , por el teorema de conservacin de la integrabilidad (parte 3) tenemos
que

lim = lim

Con ello, concluimos que converge puntualmente en , con

= lim = + .

Adems, concluimos que es derivable y = para todo ya que es continua

en (justifique porqu). Por lo tanto hemos probado tambin la parte 3.
Solo resta probar que en intervalos acotados la convergencia es uniforme.

2. Tomemos un intervalo acotado , incluya ste o no al nmero , note que el conjunto

: est acotado. Llamemos a una superior de dicho conjunto.
Segn la definicin,
> 0, / > , , <

9
Esta ltima parte puede escribirse as: lim = lim . Esto presenta un nuevo teorema de
intercambio.
 Tomemos entonces un > 0.

= + +

= =

+ = + = ()


Probaremos que en cada sumando de los anteriores podemos hacerlos menores que 2.
Como por hiptesis converge (con lmite ), para el dado, sabemos que existe

1 tal que para todo > 1 se tienen < .
2

Por otra parte, como (tambin por hiptesis) , tenemos que para el dado, existe


2 tal que para todo > 1 y para todo se tienen < 2

=
2 2 2

Luego, tomando = mx 1 , 2 , llegamos a que para todo > , cualquiera sea el valor de
, tenemos que

() < ,

lo que concluye la demostracin del teorema.

En los ejemplos iniciales analizamos la convergencia de algunas sucesiones de funciones. Vuelva a

estudiarlos y emita conclusiones.

Como acabamos de ver, la convergencia uniforme asegura la conservacin de algunas propiedades,

por ese motivo resulta importante conocer mtodos sencillos para determinar si la convergencia es o
no es uniforme. Los prximos resultados apuntan a ese objetivo. El primero, el criterio del supremo es
utilizado con frecuencia y basta con el clculo de un lmite para saber si la convergencia es o no
uniforme; el segundo, el criterio de Cauchy, toma trascendencia en series de funciones ya que
prescinde de la funcin lmite para el estudio de la convergencia.
Teorema: Criterio del supremo.
Se trata de una condicin necesaria y suficiente para la convergencia uniforme de una sucesin de
funciones.

lim = 0

La mencionada est definida con = sup : , lo que marca (obviamente)

la necesidad de existencia de dicho supremo, al menos para todos los naturales a partir de alguno
determinado.

Demostracin:
Supongamos que el lim = 0, por definicin significa que dado > 0, existe tal que para
todo > , < .

Usando que = sup : , tenemos que para todo > , y para todo
< .

Por lo tanto,

Recprocamente, supongamos que , es decir, que dado > 0, existe tal que para todo


> y para todo se tiene que < 2 (o cualquiera menor que ).

Luego, : est acotado superiormente por .
2

Entonces, por definicin de supremo, tenemos que sup : 2 < .

En resumidas cuentas, dado > 0, existe tal que para todo > , < .

Esto implica, por definicin de lmite, que

lim = 0.

Veamos algunos ejemplos:

Ejemplo
Continuemos con la sucesin de funciones definida por las : = . En ejemplos anteriores
habamos llegado a la conclusin de que converge puntualmente en 0,1 a la funcin cuya
0 , si [0,1)
expresin es = , por el hecho de que no se conserv la continuidad se dedujo
1 , si = 1
que la convergencia no era uniforme y luego probamos que s era uniforme la convergencia en
cualquier intervalo , 0,1 .

Esto podra hacernos sospechar que la convergencia puede ser uniforme en 0,1 ya que la funcin
lmite es continua en dicho intervalo y ello no nos permite descartar esa posibilidad.

Veamos, calculemos sup : [0,1) , es decir, el sup : [0,1) .

El supremo es 1 ya que es una cota superior del conjunto y existen en l nmeros reales tan
prximos a uno como queramos, puesto que

lim = 1,
1

Luego, la convergencia no es uniforme ya que lim 0.

Por supuesto que ya probamos que cualquiera sea 0, 0,1 , pero usando el criterio del
0,
supremo resulta bastante simple ya que sup : 0, = 0.
+

Ejemplo

Sea la sucesin de funciones dada por : = .
2 +1
Dada la imparidad de las funciones, estudiaremos la convergencia puntual y uniforme en [0, +). A
continuacin representamos las grficas de algunas .

Grficos de algunas y su .

Para determinar si hay convergencia puntual fijamos [0, +) y calculamos lim 2 +1
.

Como lim 2 +1
= 0 para cualquier [0, +) tenemos que en donde es lo funcin
[0,+)
nula.

Para determinar el sup : [0, +) , como no es negativa en el intervalo y es

nula, tendremos que maximizar 2 +1 en [0, +).

Derivando tenemos que:

2 + 1 2 2 1 2
2
= = .
+ 1 2 + 1 2 2 + 1 2

Estudiando el signo (le recomiendo que lo haga), obtenemos que cada alcanza su valor mximo si
1
1 1 1 1
= por lo que = = 1 = . Como lim = 0 tenemos que .
+1 2 2 [0,+)

Ejercicio

Estudie en [0, ) convergencia puntual y uniforme de en donde cada : = 2 +1.
En caso negativo de alguna de las dos, estudie qu ocurre en intervalos contenidos en 0, .

1
Grficos de algunas : = 2 +1. Note que en este caso, = 2 para todo .
Ejemplo
Sea las sucesin de funciones a cada le hace corresponder la funcin : = .

Para cada [0, +), el lim = 0 y no existe si (complete los detalles).

Luego,

[0,+)

La es la funcin nula.

Grficos de algunas .

Para cada , maximizamos ya que es la nula y no es negativa.

1
Como,
= 1 , = (corrobore).

1
Luego, = y como tiende a cero,

[0,+)

Ejercicio
Investigue qu ocurrira si la sucesin estuviera dada por : =
Teorema: Criterio de Cauchy

> 0, / > , > , , <

Como dijimos en un comienzo, se trata de otra condicin necesaria y suficiente para la convergencia
uniforme de una sucesin de funciones. Su enunciado es el mismo que en sucesiones reales: una
sucesin es convergente (uniformemente) si y solo si es de Cauchy.10

Demostracin:
Supongamos primero que y probemos que se cumple la condicin de Cauchy.

Tomamos > 0. Como tenemos que existe , tal que para todo > , tenemos que

<
2

Tomando y mayores que , tenemos

= +

+ < + = ,
2 2

lo que prueba la primera parte.

Suponiendo ahora que se cumple la condicin de Cauchy probaremos que . Para ello, dado

que la condicin lo menciona siquiera la existencia de , tendremos que probar primero la existencia
de la funcin , lmite puntual de , para despus demostrar que dicha convergencia es uniforme.

Fijando , la sucesin real es de Cauchy y por lo tanto converge, esto prueba la

convergencia puntual de a la funcin : = lim .

Tomando ahora > 0, por la condicin de Cauchy, existe tal que cualesquiera que sean y
mayores que y para cualquier en

< (11)
2
Dado que la desigualdad anterior vale para todo > , tomando lmite con +, se cumple
que para todo > y para todo en ,

<
2

Con lo que finaliza la demostracin.

10
Revise la definicin de espacio completo y reflexione sobre este teorema. Cul es el espacio completo
adecuado para esta situacin? Cmo definira distancia entre dos funciones?
11
No precisa ser la mitad, bastara con tomar cualquier real positivo menos que .
Series de Funciones
Al considerar una sucesin de funciones en donde el dominio de cada sea un conjunto no
vaco, podemos definir una nueva sucesin a partir de ella de la siguiente manera:12

= 0 + 1 + + =
=0

Cada es una funcin de dominio , con

= 0 + 1 + + =
=0

Obtuvimos una sucesin de funciones obtenida por las sumas parciales de las funciones de la
sucesin anterior. Se dice que la sucesin de funciones genera la serie de funciones . En
donde escribir o es lo mismo. Al tratarse de una sucesin de funciones, sta puede ser
convergente puntualmente o no y, en caso de convergencia, sta podr ser o no uniforme. De
cualquier modo, los teoremas que son vlidos para las sucesiones de funciones son vlidos para
series de funciones.

Empecemos por reescribir las definiciones de convergencia puntual y uniforme para series. Luego
haremos lo mismo con los teoremas demostrados antes y agregaremos algunos que son
incorporados para series y que, obviamente, no tenan sentido en sucesiones en general.

Definicin
Decimos que (o tambin ) , converge.

La funcin lmite tiene dominio con

+

=
=0

Extendiendo los detalles involucrados podemos escribir la definicin de la siguiente manera:

, > 0, / > , <

=0

De modo similar definiremos a continuacin la convergencia uniforme de una serie de funciones.

12
Lo mismo que hicimos para pasar de las sucesiones reales a las series numricas.
Definicin

> 0, / > , , <

=0

Veamos algunos ejemplos.

Ejemplos
1. Analicemos . Se trata de una serie de funciones muy particular ya que es geomtrica y
de potencias. Ya sabemos que converge para todo 1,1 y la suma de la serie es:
+
1
= = .
1
=0
Esto apenas nos dice que . Veremos ms adelante si la convergencia es o no
1,1
uniforme.

2. En el caso de !
, que tambin se trata de una serie de potencias, veremos que converge
puntualmente en a la funcin : = .

n
Probar que !
converge cualquiera sea no es complicado. Ya que, por ejemplo, usando el
criterio de DAlembert vemos que converge absolutamente.
Usaremos la definicin de lmite para probar que
+

=
!
=0
Es decir, que para cada real, dado > 0, existe tal que si > ,


<
!
=0

Desarrollando tenemos que

2 3
= 1 + + + + +
! 2! 3! !
=0
Esta ltima es la diferencia entre y su polinomio de Mac Laurin , o sea que

+1 +1
= = 0
! +1 ! +1 !
=0

Complete los detalles.

3. Estudiemos ahora la . Empecemos por la convergencia puntual.
Sea , en caso de ser negativo la serie no converge ya que no cumple la condicin
necesaria de convergencia, si es cero, es obviamente convergente a cero y de ser positivo
podemos deducir que converge ya que, salvo al factor , se trata de una serie geomtrica de
razn que es menor que 1.
Por lo tanto

[0,+)
Encontremos la funcin .
En cero es cero por lo que observamos recin. Tambin vimos que si > 0 se trata de una
serie geomtrica multiplicada por , por lo que:


1 +1
=
=
1
=0 =0
Luego,
0 si =0
: =
si 0, +
1

El grfico de junto con el de algunas sumas parciales de la serie.

La convergencia no es uniforme en [0, +), nota usted por qu?
Teoremas Inmediatos
A continuacin veremos una serie de teoremas que las series de funciones cumplen por el mero
hecho de que son sucesiones de funciones. Las demostraciones surgirn en forma inmediata a travs
de la adaptacin de los teoremas vistos en sucesiones de funciones.

Teorema: conservacin de la continuidad

es continua en

Cada es continua en

Demostracin:
Como cada es continua en , = 0 + 1 + + tambin lo es por tratarse de una suma
finita de funciones continuas en . Como , por el teorema sobre conservacin de la

continuidad para sucesiones de funciones, tenemos que es continua en .

Teorema: conservacin de la integrabilidad

1) es r integrable en ,

2)
, ,

+ +
Cada es r integrable en ,
3) =
=0 =0

Demostracin:
Hgala como ejercicio.

Teorema de Tannery: conservacin de la integrabilidad impropia

,

En cualquier , , , Cada converge

,

converge + +
=
Cada es localmente integrable =0 =0
y no negativa en ,

Demostracin:
Hgala como ejercicio. Puede encontrarla junto a otras en (Borghi, 2005).
Teorema: conservacin de la derivabilidad
1) Existe tal que


un intervalo 2) , cualquiera sea


+ +
Existe tal que converge 3) Para todo , =
=0 =0

Demostracin:
Como en los otros casos, se le sugiere que la haga como ejercicio.

Teorema: criterio de Cauchy

> 0, / > , , <

= +1

Demostracin:
Inmediata.

Ejemplo:
Analicemos la serie de funciones siguiente:

Notemos que se trata de una serie de funciones exponenciales y que para cada tenemos una
serie armnica. Su clasificacin termina siendo inmediata ya que las mismas convergen si > 1 y
divergen si 1. Esto prueba que la serie converge puntualmente en 1, + . La funcin suma es
conocida como zeda de Riemann.13

O sea,
+
1 1
siendo : =
1,+
=1

Veremos si la convergencia es uniforme.

Como la funcin no tiene expresin elemental, la herramienta que sugerimos usar es la condicin
de Cauchy.

13
La funcin no tiene expresin elemental. Se conocen algunos de sus valores funcionales.
2 4 6
A saber: 2 = , 4 = , 6 = , etc.
6 90 945
Dado > 0 estudiaremos si es posible acotar en 0, + .

1 1 1 1 1 1
= = + ++
+1 +2
=1 =1 = +1

Si existiera , tal que para cualesquiera y mayores a l, tuviramos que

1 1 1
+ + + < para cualquier 0, +
+1 +2

al tomar el lmite con 1+ obtendramos que

1 1 1
+ + +
+1 +2
1
Esto implicara que la serie armnica
cumple la condicin de Cauchy, lo que no es posible ya que
diverge. Por ese motivo

1

0, +

Sin embargo, razonando de modo similar, en [, +) 1, + es posible hacer la siguiente

acotacin:

1 1 1 1 1 1
+ + + + + +
+1 +2 +1 +2

1
El ltimo miembro de la desigualdad podemos acotarlo por ya que
cumple la condicin de
1
Cauchy pues converge. Para ser ms especficos, como
converge, para el dado, sabemos que

existe , tal que para cualesquiera y mayores a l,

1 1 1
+ + + <
+1 +2

Luego,
1

[,+)

La figura siguiente muestra el grfico de junto a alguna de la sumas parciales de la serie.

En lo que sigue, veremos algunas propiedades de las series de funciones que no surgen
inmediatamente por tratarse de sucesiones de funciones.

Se trata de la condicin necesaria de convergencia uniforme de una serie (anlogo a series

numricas), el criterio de la mayorante de Weierstrass y un criterio para series de funciones
alternadas (similar al criterio de Leibniz para series numricas alternadas).
Teorema: Condicin Necesaria de Convergencia
Si , entonces 0 (la funcin nula)

Demostracin:
Como = 1 y tanto como 1 convergen uniformemente en a la funcin , por la
propiedad de linealidad de la convergencia uniforme, 0.

Teorema: Criterio de la mayorante de Weierstrass

converge
converge uniformemente en
Para cada , ,

Demostracin:
Usaremos la condicin de Cauchy.

=0 =0 = +1 = +1 = +1

Estas desigualdades son vlidas por propiedades elementales o por hiptesis (analcelas).

Como cumple la condicin la Cauchy pues es convergente, entonces para cualquier > 0,
existe tal que cualesquiera que sea y mayores que , se tiene que

< .
= +1

Luego, converge uniformemente en

Observacin:
1
si =
El recproco no es cierto. La dada por : = genera una serie que

0 si
converge uniformemente en , sin embargo ninguna sucesin que la mayore genera una serie
convergente. Complete los detalles.

Ejemplo:

Volvamos al ejemplo de las serie de potencias !
que ya probamos que converge en a la funcin
exponencial. Es decir,
+

= , para todo .
!
=0
Analicemos la convergencia uniforme.

Para intervalos cerrados cualesquiera , , usamos el criterio de la mayorante de Weierstrass y

probamos que converge uniformemente:

, con = max ,
! !

Luego, como converge (si no est convencido, aplique un criterio como es de Cauchy o el de
!
DAlembert),

, donde : =
! ,

Pero, qu ocurre en ?

Usaremos el criterio de supremo (la trataremos como la sucesin de funciones que es).

2 3
El conjunto 1 + + 2!
+ 3!
+ + !
: ni siquiera est acotado ya que, tanto si
2 3
+ como si tiende a , 1 + + 2!
+ 3!
+ + !
+. Por lo tanto ni siquiera

existe . Por lo que no converge uniformemente en .
!

El mtodo usado para probar que , donde : = puede ser usado para
! ,
cualquier serie de potencias, tomando , , , donde es el radio de convergencia de la
serie. (Vea (Brisset, 2008) o (Pelez, 2005)).

Veamos este resultado.

Teorema:
Si tiene radio de convergencia 0, entonces converge uniformemente en
cualquier , , .

Demostracin:
Hgala como ejercicio, insprese en lo hecho en el ejemplo anterior.

La consecuencia inmediata de este resultado es que las funciones definidas por la suma de una serie
de potencias en , son de clase .
Para probar lo afirmado se sugiere que demuestre:

y 1 son series de potencias que tienen el mismo radio de convergencia

y +1 son series de potencias que tienen el mismo radio de convergencia
+1
Use los teoremas de conservacin y el teorema anterior para concluir lo afirmado.

Por otro lado, el recproco no es cierto, vea el ejemplo de Cauchy en (Brisset, 2008)

Teorema: criterio de Leibniz para series de funciones

Si 0 (la funcin nula) y para cada se cumple que para todo +1 , entonces

1 converge uniformemente en .

Demostracin:
Para cada , la sucesin cumple las hiptesis del teorema de Leibniz y por lo tanto
1 converge. Esto prueba la convergencia puntual de la serie.

Para probar la convergencia uniforme de la serie, acotaremos .

Lo haremos usando el criterio de Leibniz nuevamente, ya que

+1

Como 0, sabemos que para cualquier > 0, existe tal que para todo > y para todo

,

+1 <

Ejemplo
1
Sea en donde cada : = .

1
Como para cada +, lim = 0, tenemos que 0. Sin embargo, no lo hace
0,+
1
uniformemente ya que lim0+ =1 y por lo tanto 0.

Por otra parte, en intervalos de la forma [, +) 0, + la convergencia s es uniforme ya que

1 1 1

y la
converge por ser un caso particular de telescpica.

1
Finalmente, en virtud del teorema anterior, converge uniformemente en [, +).

Vale la pena notar que la funcin suma es continua en +. Por qu?

 Grficos de algunas sumas parciales de la serie.

Bibliografa
Borghi, J. (2005). Problemas y Teoremas de Anlisis Matemtico. Integrales Impropias y Series.
Montevideo: Tradinco.

Brisset, J. (2008). Series y Taylor. Montevideo: Dpto. Matemtica DFPD.

Kudrivtsev, L.D. (1988). Cursos de Anlisis Matemtico Tomo 1. Mosc: Mir

Lins Escard. (1982). Principios de Anlisis Matemtico. Barcelona: Revert.

Pelez, F. (2005). Clculo. Montevideo: Delatapln.