Series Numricas

Series de Potencias
Polinomios de Taylor
Prof. Jorge Brisset
I.P.A. 2008
ndice general
1. Series Numricas 3
1.1. Deniciones y conceptos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Propiedades de las series . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Series de trminos positivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4. Convergencia Absoluta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.5. Series alternadas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2. Series de Potencias 16
2.1. Deniciones y conceptos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2. Radio de convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.2.1. Clculo del radio de convergencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.3. Funciones analticas reales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
3. Polinomios o frmula de Taylor 25
3.1. Introduccin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.2. Propiedades de los polinomios de Taylor . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.3. Aplicaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.3.1. Clculo de lmites . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.3.2. Aproximaciones con acotacin del error . . . . . . . . . . . . . . . . . . . . . . . . 31
3.3.3. Estudio de extremos relativos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.3.4. Clasicacin de series numricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
1
A los lectores:
El presente material est basado en las notas de las clases que fui dictando en el Instituto de Profesores
Artigas desde el ao 1999 a la fecha. Sus principales destinatarios son los estudiantes del profesorado
de Matemtica y de Fsica.
Mi intencin en un primer momento fue la de complementar las notas que los estudiantes tomaban
de mis clases de Matemtica II de la especialidad Fsica. Luego, al notar que en los cursos de Anlisis II
de la especialidad Matemtica exista una gran heterogeneidad en relacin al conocimiento del curso de
Anlisis I, decid modicar parcialmente el contenido de las mismas para que les fuera til tambin a los
estudiantes de la especialidad Matemtica que carecan del conocimiento necesario para arribar al curso
de Anlisis II.
Por otro lado, a partir del presente ao lectivo 2008, ao en el que empieza a regir el PUNFD, los
docentes contamos con horas rentadas para trabajo en el Departamento de Matemtica. Este hecho hizo
propicio que me pudiera dedicar a este tipo de tarea, a la que tena bastante postergada ya que apenas
me era posible producir algunos materiales en los nes de semana. Por ese motivo es que espero que sea
el primero de varios en este nuevo marco.
Algunos resultados estn demostrados y otros mencionados o para que el estudiante los demuestre.
Supuse que el estudiante que utilice este material es hbil con clculo diferencial y conoce razonablemente
el tema sucesiones reales y sus principales resultados.
Cuenta con tres captulos. El primero, Series Numricas, tiene un tratamiento tradicional y cito varios
ejemplos tanto de clasicacin como de suma de algunas series. En el segundo, Series de Potencias, adems
de mostrar algunos aspectos bsicos de las mismas, presento algunos resultados de las funciones analticas;
la demostracin de los mismos es simple para un curso de Anlisis II ya que con las propiedades de las
sucesiones y series de funciones y por eso no las presento en el trabajo. Por ltimo, en el tercer captulo,
presento los principales resultados y algunas aplicaciones de los polinomios de Taylor buscando vincularlos
con conceptos introducidos en los apartados anteriores.
Para nalizar, quiero agradecerles a los estudiantes y otros docentes y colegas por dar un buen uso al
trabajo y por avisarme de los errores que encuentren (seguramente los haya, tratar de corregirlos a la
brevedad), tambin quiero agradecer toda la paciencia que me tuvo Andrea, mi esposa, y la amabilidad
con la que fui tratado todo este tiempo en el Laboratorio de Fsica de I.P.A. y por todo el apoyo que
siempre he recibido de su personal.
2
Captulo 1
Series Numricas
A esta altura el lector no es completamente ajeno a este tema. En el transcurso del estudio de las
sucesiones reales hemos visto algunos ejemplos de sucesiones denidas a travs de la suma de los trminos
de otra sucesin. De hecho, la denicin adoptada para el nmero c involucra una de ese tipo. Aunque
no lo mencionramos, se trataba de nuestros primeros ejemplos de series numricas.
1.1. Deniciones y conceptos
Denicin 1 Sea (a
n
)
nN
una sucesin real. Denimos una nueva sucesin (
n
)
nN
, a la que le lla-
mamos serie generada o engendrada por la sucesin (a
n
), de la siguiente manera:

0
= a
0

1
= a
0
+ a
1

2
= a
0
+ a
1
+ a
2
.
.
.

n
= a
0
+ a
1
+ a
2
+ + a
n
=
n

i=0
a
i
A
n
se le llama suma parcial de la serie o tambin reducida ensima de la serie.
Usaremos la notacin

a
n
para referirnos a la serie generada por (a
n
).
Ejemplo 2 La sucesin dada por a
n
=
1
n!
genera (
n
) :
n
=
n

i=0
1
i!
. Esta sucesin es conocida por
nosotros (es decir, esta serie) y su lmite es el nmero c y escribiremos que
+o

n=0
1
n!
= c.
Ejemplo 3 La sucesin dada por a
n
=
_
1
3
_
n
genera (
n
) :
n
=
n

i=0
_
1
3
_
i
=
1
1
3
n+1
1
1
3
cuyo lmite es
3
2
y
escribiremos que
+o

n=0
_
1
3
_
n
=
3
2
.
Ejemplo 4 a
n
= (1)
n
genera
n
=
n

i=0
(1)
i
= 1 1 + 1 1 + 1 + (1)
n
. Por lo que,
Si : =

2, tenemos que
n
= 1, es decir,
2i
= 1
Si : ,=

2, tenemos que
n
= 0, es decir,
2i+1
= 0
_
_
_
=
=(
n
) no tiene lmite. (por qu?, justique.)
3
Ejemplo 5 Consideremos la sucesin de los nmeros naturales, es decir (a
n
) = (1, 2, 3, 4, ...). Dicha
sucesin genera la
n
= 1 + 2 + 3 + + : =
n

i=1
i =
n(n+1)
2
. Claramente, lm
n
= lm
n(n+1)
2
= +.
Como hemos podido observar, estas sucesiones tan particulares (a las que convenimos en llamar series)
puden tener lmite o no. Si bien ya estn denidos estos conceptos, al tratarse de un tipo de sucesiones
con aplicaciones y usos particulares e importantes, daremos algunas deniciones al respecto.
Denicin 6 Sea

a
n
una serie, decimos que:

a
n
converge ( notacin:

a
n
C ) =Existe / R tal que lm
n
= /.
En este caso decimos que la serie

a
n
converge con suma / y escribimos que
1
+o

n=0
a
n
= /.

a
n
diverge ( notacin:

a
n
D ) =lm
n
= + lm
n
= .
En este caso decimos que la serie

a
n
diverge a ms o menos innito (segn corresponda).

a
n
oscila ( notacin:

a
n
OSC) =no existe lm
n
.
Observacin 7 Ntese que el comportamiento de una serie no se modica si no tenemos en cuenta a
los primeros j trminos de la sucesin que la genera. Lo que s se modica es, en caso de convergencia,
su suma.
Observacin 8 En aquellos ejercicios que se pide clasicar una serie debemos determinar si la misma
converge, diverge u oscila.
Ejemplo 9 Consideremos la serie

1
n(n+1)
. Intentaremos clasicarla y en caso de convergencia encon-
trar su suma.
Como
1
n(n+1)
=
1
n

1
n+1
, las sumas parciales de la serie son de la forma:
p

n=1
1
n(n+1)
=
_
1
1
2
_
+
_
1
1
2
_
+
_
1
1
2
_
+ +
_
1
p

1
p+1
_
= 1
1
p+1

p+o
1
Por lo tanto

1
n(n+1)
es una serie convergente y su suma es 1, es decir,
+o

n=1
1
n(n+1)
= 1.
Ejemplo 10 Sea (a
n
) dada por a
n
=
1
2
n
. Clasiquemos la serie
2

a
n
. Como podr notarse es muy
similar al ejemplo 3 y sus sumas parciales tienen la forma:
p

n=0
1
2
n
= 1 +
1
2
+
1
4
+ +
1
2
p
=
1
1
2
p+1
1
1
2
= 2 2
_
1
2
_
p+1

p+o
2
De donde,

1
2
n
C y suma es 2 (
+o

n=0
1
2
n
= 2).
Los ejemplos 3, 9 y 10 son casos particulares de unas clases de series que son las geomtricas y las
telescpicas. A continuacin deniremos cada una de ellas y las clasicaremos.
1
Si bien hemos escrito que sumamos a partir de n = 0, esto no es riguroso, bien pudo sumarse a partir de cierto natural
p > 0.
2
Este ejemplo se conoce como la paradoja de Zenn, sabe Ud. por qu?
4
Denicin 11 Llamaremos series geomtricas a las de la forma:

n
, R.
Denicin 12 Diremos que una serie

a
n
es una serie telescpica si y slo si existe una sucesin (/
n
)
tal que a
n
=
_

_
/
n
/
n+1

/
n+1
/
n
. (es decir, si el trmino general de la (a
n
) se puede expresar como la diferencia
de dos trminos consecutivos de otra (/
n
) ).
Teorema 13 Sea una serie geomtrica

n
. Entonces:
1. Si [[ < 1 tendremos que

n
C y adems
+o

n=0

n
=
1
1q
2. Si _ 1 tendremos que

n
D
3. Si _ 1 tendremos que

n
OSC
Demostracin. A cargo del alumno, se sugiere utilizar apropiadamente los siguientes resultados:
1 + +
2
+ +
n
=
1q
n+1
1q
siempre que ,= 1
y que si [[ < 1 entonces lm
n
= 0
Teorema 14 Sea una serie telescpica

a
n
(para este caso: a
n
= /
n
/
n+1
). Entonces:
1. Si lm /
n
= / R, tendremos que

a
n
C y adems
+o

n=0
a
n
= /
0
/
2. Si lm /
n
=
_

_
+

, tendremos que

a
n
D, (a ( respectivamente)
3. Si no existe el lm /
n
, tendremos que

a
n
OSC.
Demostracin. A cargo del alumno. Se sugiere imitar el ejemplo 9.
1.2. Propiedades de las series
A continuacin veremos algunas propiedades de las series numricas en general.
Dada la generalidad, stas no siempre resultan de gran utilidad ya que en la mayora de los ejercicios
propuestos vamos a precisar herramientas un tanto ms sosticadas y especcas. De todas maneras, estas
propiedades nos permitirn construir otras a travs de diferentes teoremas. Con estos nes, destinaremos
dos secciones para el estudio de series con mayor especicidad: las series de trminos positivos y las series
alternadas.
Propiedad 15 Esta propiedad fue mencionada en la observacin 7. Es decir:
si dos sucesiones (a
n
) y (/
n
) estn vinculadas de la siguiente manera: a
n
= /
n+p
en donde j N,
entonces

a
n
y

/
n
tienen el mismo comportamiento, (esto es, ambas convergen, ambas oscilan o
ambas divergen).
3
3
De ser ambas convergentes y si conociramos la suma de una es posible deducir la suma de la otra?
5
Propiedad 16 Si dos series

a
n
y

/
n
son convergenetes, entonces

(a
n
+ /
n
) tambin lo es y si
adems tenemos que
+o

n=0
a
n
= |
1
y
+o

n=0
/
n
= |
2
, entonces
+o

n=0
(a
n
+ /
n
) = |
1
+ |
2
.
Ejercicio 17 Si tuviramos que
+o

n=1
a
n
= |
1
y
+o

n=0
/
n
= |
2
, qu podramos armar?
Propiedad 18 Sean

a
n
y / R
+
, entonces

a
n
y

(/a
n
) tienen el mismo comportamiento y si
adems
+o

n=0
a
n
= | entonces
+o

n=0
(/a
n
) = /| .
Observacin 19 Las propiedades 16 y 18 se conocen con el nombre de propiedades de linealidad. Inves-
tigue por qu.
Ejercicio 20 Demuestre las propiedades 15, 16 y 18. Se sugiere tener en cuenta que las series son
sucesiones y por lo tanto gozan de la propiedades vistas en sucesiones.
Ejemplo 21 La serie

_
3
n(n+1)
+
1
2
n
_
converge. Efectivamente, en los ejemplos 9 y 10, probamos que

_
1
n(n+1)
_
C y
_
1
2
_
n
C y por lo tanto, como consecuencia de las propiedades recin vistas

_
3
n(n+1)
+
1
2
n
_
C . Pero no slo eso sabemos. Tambin tenemos, en virtud de la propiedad 18, que
+o

n=1
_
3
n(n+1)
_
=
3
+o

n=1
_
1
n(n+1)
_
= 3. Por otro lado tambin sabemos que
+o

n=0
_
1
2
_
n
= 2 y por lo tanto,
+o

n=1
_
1
2
_
n
= 1.
De estos dos resultados concluimos que
+o

n=1
_
3
n(n+1)
+
1
2
n
_
= 4
El ejemplo anterior es bastante ilustrativo y permite ver la aplicacin de las propiedades anteriores.
Insistimos, al igual que al inicio, que esto no es lo que acontece en el comn de las series. Casi siempre
deberemos conformarnos con clasicarlas en convergentes, divergentes u oscilantes.
Propiedad 22 Condicin necesaria para la convergencia de una serie.
Sea

a
n
una serie convergente, entonces lma
n
= 0.
Demostracin. Recordemos que, por denicin,

a
n
C = lm(
n
) = |, donde | R. Por otro
lado, tenemos que a
n
=
n

n1
, en donde tanto
n
como
n1
tienen el mismo limite |. Luego, por
operatoria con lmites tenemos que lma
n
= 0.
Tal como su nombre lo indica estamos ante una condicin necesaria de convergencia. Dicha condicin
no es suciente para garantizar la convergencia de una serie, para eso, veamos el siguiente ejemplo.
Ejemplo 23 Sea

L
_
n+1
n
_
. Probaremos que es divergente pese a que
lm
_
L
_
n+1
n
__
= 0
p

n=1
L
_
n+1
n
_
=
p

n=1
(L (: + 1) L:) = L (j + 1) L1
p+o
+ ,
por lo tanto

L
_
n+1
n
_
D
6
1.3. Series de trminos positivos
Denicin 24 Decimos que una serie es de trminos positivos
4
si la sucesin que la genera tiene su
recorrido contenido en R
+
' 0. En otras palabras,

a
n
es S.T.P.=a
n
_ 0 \: N
Observacin 25 Notemos que en virtud de la propiedad 15, las propiedades que probemos en esta seccin
sern vlidas para aquellas series generadas por sucesiones (a
n
) tales que a
n
_ 0 \: N, : j.
Proposicin 26 Las S.T.P. no oscilan, ms especcamente: la serie de trminos positivos

a
n
ser
convergente o divergente segn
n
sea un conjunto acotado o no.
Demostracin. Es inmediata, basta con observar que (
n
) es creciente y utilizar el teorema corre-
spondiente de sucesiones.
Esta propiedad, caracterstica de las S.T.P. y que resulta muy fcil de incorporar y demostrar, nos
permite demostrar algunos critrerios para la clasicacin de S.T.P..
Teorema 27 Criterio de comparacin I.
Sean (a
n
) y (/
n
) tales que 0 _ a
n
_ /
n
, : N
5
. Entonces tenemos:
1. Si

/
n
C entonces

a
n
C
2. Si

a
n
D entonces

/
n
D
Demostracin.
1. Como a
n
_ /
n
para todo : N, entonces por monotona tenemos que
n
_ 1
n
. Como en este caso
tenemos que

/
n
C , se deduce que 1
n
est acotado superiormente por lo que
n
tambin lo
est. Luego, por lo demostrado en la proposicin 26 llegamos a que

a
n
C.
2. Si bien este caso cuenta con una demostracin similar a la del anterior, se le propone al lector que
la procure por el mtodo del absurdo.
Corolario 28 Criterio de comparacin II.
Si

a
n
y

/
n
son S.T.P. y el lm
a
n
b
n
= / R
+
, entonces

a
n
y

/
n
tienen el mismo compor-
tamiento (es decir, ambas convergen o ambas divergen)
Demostracin. Como lm
a
n
b
n
= / R
+
def
== para c =
k
2
, existe j N tal que , para todo : j se
cumple que
k
2
<
a
n
b
n
<
3k
2
, o sea (multiplicando por /
n
),
/
2
/
n
< a
n
<
3/
2
/
n
(1.1)
4
De hecho, se trata de series de trminos no negativos.
5
En virtud de la propiedad 15 bastaba con que se vericara a partir de algn natural.
7
Por lo cual, si

a
n
C, por el criterio de comparacin I tendremos que

k
2
/
n
C y por linealidad que

/
n
C.
De manera similar, si

/
n
C tambin lo har

3k
2
/
n
que es una mayorante de

a
n
y por el criterio
de comparacin I tendremos que

a
n
C.
En suma,

a
n
C =

/
n
C .
6
Ejemplo 29 Clasiquemos

1
n
2
. Para clasicarla la compararemos con

1
n(n+1)
, serie de la cual cono-
cemos su comportamiento. Fue clasicada convergente en el ejemplo 9.
Como lm
1
n
2
1
n(n+1)
= lm
n+1
n
= 1, tenemos que ambas series tienen el mismo comportamiento y por lo
tanto

1
n
2
C.
Observacin 30 De hecho, al conocer que

1
n
2
C podemos concluir, por el criterio de comparacin I,
que

1
n

C , cualquiera sea c _ 2.
Ejemplo 31 Clasiquemos

1
n
. En este caso la compararemos con la serie

L
_
n+1
n
_
.
Primero veremos que tienen el mismo comportamiento: L
_
n+1
n
_
= L
_
1 +
1
n
_
s
1
n
. O sea que
lm
L (
n+1
n
)
1
n
= 1 y por lo tanto

1
n
y

L
_
n+1
n
_
tienen el mismo comportamiento. Como fue demostrado
en el ejemplo 23 que

L
_
n+1
n
_
D, entonces

1
n
D.
Observacin 32 De hecho, al conocer que

1
n
D podemos concluir, por el cirterio de comparacin I, que

1
n

D , cualquiera sea c _ 1. Uniendo esto a lo observado en 30, nos faltara saber qu comportamiento
tienen las series de la forma

1
n

solamente para c (1, 2) . Estas series llamadas series armnicas
pueden clasicarse totalmente por varios mtodos, dos de los ms conocidos son el criterio de la integral
de Cauchy y el criterio llamado del 2
k
(ver [5]). Nosotros, usaremos el criterio de la integral para probar
que
7

1
n

C para c (1, 2) y en resumen tendremos que:

1
:

_
C para c 1
D para c _ 1
. (1.2)
Ntese que para cada c 1 tenemos denido un nmero real y por lo tanto una funcin. Dicha
funcin es conocida como funcin zeda, es decir,
: (1, +) R tal que (r) =
+o

n=1
1
n
x
50

n=1
1
n
x
6
Por qu no es necesario demostrar que
P
a
n
D ,
P
b
n
D ?
7
El criterio permite probarlo cualquiera sea , pero solo resta saber qu ocurre si 2 (1; 2) :
8
1 2 3 4 5
1
2
3
4
5
x
y
Grco de la funcin : (r) =
+o

n=1
1
n
x
(no tiene expresin elemental).
Observacin 33 Algunos datos de esta funcin:
(2) =
+o

n=1
1
n
2
=
1
6

2
(4) =
+o

n=1
1
n
4
=
1
90

4
(6) =
+o

n=1
1
n
6
=
1
945

6
lm
x+o
(r) = 1
Ejercicio 34 Averige si para los nmeros pares, la funcin zeda contina con un comportamiento vin-
culado con potencias de . Realice lo mismo con los impares.
A continuacin veremos dos criterios ms para S.T.P., los criterios de la raz (Cauchy) y del cociente
(DAlembert), cada uno de ellos con su respectivo corolario que, en la prctica, terminan siendo ms
usados en las distintas clasicaciones que los propios teoremas.
Teorema 35 Sea

a
n
una S.T.P. Entonces,
1. Si existe / tal que
n
_
a
n
_ / < 1 para todo : N
+
, tendremos que

a
n
C
2. Si
n
_
a
n
_ 1 para todo : N
+
, tendremos que

a
n
D
Demostracin.
1. Como
n
_
a
n
_ / para todo : N
+
, tenemos que a
n
_ /
n
, con 0 _ / < 1 (por lo que [/[ < 1)
De donde que

/
n
C por geomtrica. Luego,

a
n
C por el criterio de comparacin I.
9
2. Si
n
_
a
n
_ 1 es inmediato que a
n
_ 1 , entonces no puede tener lmite cero, por lo tanto diverge.
Corolario 36 Sea

a
n
una S.T.P. Entonces,
1. Si existe / tal que lm
n
_
a
n
= / < 1, tendremos que

a
n
C
2. Si lm
n
_
a
n
= / 1 (o tambin 1
+
), tendremos que

a
n
D
8
Demostracin. Realcela como ejercicio. Se sugiere que use apropiadamente la denicin de lmite y
el teorema 35
Ejemplo 37 Clasiquemos, usando el corolario 36 que

n
2
2
n
converge.
lm
n
_
n
2
2
n
= lm
(
n
_
n)
2
2
=
1
2
, por lo tanto (el / mencionado en el corolario es
1
2
)

n
2
2
n
C.
Ejemplo 38 Intentemos con la serie

1
n

. Esta serie es una vieja conocida y ya conocemos su clasi-
cacin.
Sin embargo, lm
n
_
1
n

= lm
_
1
n
_
n
_

= 1 cualquiera haya sido c. Esto parace ser una prueba con-

cluyente de porqu el criterio no se maniesta para este valor.
Teorema 39 Sea

a
n
una S.T.P. Entonces,
1. Si existe / tal que
a
n+1
a
n
_ / < 1 para todo : N, tendremos que

a
n
C
2. Si
a
n+1
a
n
_ 1 para todo : N, tendremos que

a
n
D
Demostracin.
1. Como
a
n+1
a
n
_ / < 1 para todo : N, tenemos
a
1
a
0
_ /
a
2
a
1
_ /
a
3
a
2
_ /
.
.
.
.
.
.
.
.
.
a
n
a
n1
_ /
multiplicando, . . . . . . . . .
a
n
a
0
_ /
n
De donde a
n
_ a
0
/
n
y como

/
n
C por geomtrica, por propiedades de linealidad y el criterio de
comparacin I, llegamos a que

a
n
C
2. Si
a
n+1
a
n
_ 1 tenemos que a
n
_ a
n+1
y por lo que (a
n
) es creciente (y positiva) por lo que su lmite
no es cero, por lo tanto diverge.
8
El real k es llamado lmite de Cauchy de la sucesin (a
n
).
10
Corolario 40 Sea

a
n
una S.T.P. Entonces,
1. Si existe / tal que lm
a
n+1
a
n
= / < 1, tendremos que

a
n
C
2. Si lm
a
n+1
a
n
= / 1 (o tambin 1
+
), tendremos que

a
n
D
9
Demostracin. Realcela como ejercicio. Se sugiere que use apropiadamente la denicin de lmite y
el teorema 39
Ejemplo 41 Clasiquemos la serie

2
n
n!
n
n
usando el criterio del cociente.
2
(n+1)
(n+1)!
(n+1)
(n+1)
:
2
n
n!
n
n
=
2
(n+1)
(n+1)!
(n+1)
(n+1)
n
n
2
n
n!
= 2
n
n
(n+1)
n = 2
_
n
n+1
_
n
cuyo lmite es
2
e
, que como es menor que
1, tenemos que

2
n
n!
n
n
C .
Teorema 42 Criterio de la primitiva (Cauchy).
Sea ) : [0, +) continua, positiva y decreciente. Sea 1 una primitiva de ) en [0, +).
10
Consideramos la sucesin (a
n
) dada por a
n
= )(:). Entonces la sucesin (1(:)) y la serie

a
n
tienen el mismo comportamiento.
Observacin 43 Antes de hacer la demostracin hagamos algunas puntualizaciones.
Aunque no se diga expresamente,

a
n
es una STP.
(1(:)) es estrictamente creciente, (por qu?) y por lo tanto tiene lmite
11
.
Demostracin. Analicemos la funcin 1 en un intervalo [:, : + 1] donde : N.
Como 1 es una primitiva de ) entonces 1 es continua en [:, : + 1] y derivable en (:, : + 1), por lo
tanto, por el teorema de Lagrange sabemos que existe c
n
(:, : + 1) tal que 1
t
(c
n
) =
F(n+1)F(n)
n+1n
. En
otras palabras que )(c
n
) = 1(: + 1) 1(:). Sin que importe el valor de cada c
n
, como ) es decreciente
por hiptesis, sabemos tembin que )(: + 1) _ )(c
n
) _ )(:).
En resumen, hemos concluido que, )(: + 1) _ 1(: + 1) 1(:) _ )(:) cualquiera sea : N.
Entonces,
para 0 )(1) _ 1(1) 1(0) _ )(0)
para 1 )(2) _ 1(2) 1(1) _ )(1)
para 2 )(3) _ 1(3) 1(2) _ )(2)
.
.
.
.
.
.
.
.
.
para : )(: + 1) _ 1(: + 1) 1(:) _ )(:)
sumando:
n+1

i=1
a
i
_ 1(: + 1) 1(0) _
n

i=0
a
i
9
El real k es llamado lmite de DAlembert de la sucesin (a
n
). Investigue si tiene alguna vinculacin con el lmite de
Cauchy.
10
cmo podemos estar seguros de la existencia de esta primitiva?
qu signica que F es primitiva de f?
11
Recuerde que F
0
= f , que f es positiva y que eso le garantiza algo en relacin al crecimiento de F.
11
Supongamos que

a
n
C , al serlo sabemos que (
n
) est acotada y por ende la sucesin (1(: + 1) 1(0))
lo est y en consecuencia (1(:)) tambin (por qu?). Con lo que acabamos de observar y usando que
(1(:)) es creciente, tenemos que (1(:)) tiene lmite nito, es decir, es una sucesin convergente.
Supondremos ahora que la que converge es (1(:)), al ser convergente (1(: + 1)) tambin y (1(: + 1) 1(0))
tambin, por lo que est acotada. Luego, (
n+1
a
o
) lo est y tambin lo est (
n
), como

a
n
es una
S.T.P. obtenemos que

a
n
C.
Finalmente,

a
n
y (1(:)) tienen el mismo comportamiento.
Ejemplo 44 Clasicacin de la serie armnica

1
n

.
Lo haremos nada ms que para c (1, 2) en el resto ya fue clasicada.
Sea ) : [1, +) R dada por )(r) =
1
x

, con c (1, 2). Es simple apreciar que ) es continua,
positiva y decreciente en [1, +) y entonces cumple con las hiptesis del criterio de la primitiva.
Una primitiva de ) es
x
_
1
dt
t

=
x
1
1
1+
=
1
x
1
(1)
+
1
1
(ntese que c 1 0)
La sucesin (1(:)) est dada por 1(:) =
1
n
1
(1)
+
1
1
cuyo lmite es
1
1
y por lo tanto converge.
Por el criterio de la primitiva tenemos que

1
n

con c (1, 2) es convergente.
Observacin 45 La primitiva encontrada en el ejemplo anterior hubiese servido para clasicar la serie
para todos los valores de c ,= 1, y para c = 1 la primitiva, de la forma Lr +/, tambin lo hubiese hecho.
En nuestro caso no fue as pues esto ya haba sido deducido por mtodos ms sencillos.
1.4. Convergencia Absoluta
En esta seccin introduciremos un nuevo concepto: el de convergencia absoluta, que, como podr
apreciar el lector, no aporta nada nuevo en el caso de que se trate de una serie de trminos de signo
constante.
Comenzaremos por un teorema que, pese a no tratarse directamente del tema, resulta til (entre otras
cosas) para demostrar luego un resultado relevante: el criterio de convergencia absoluta.
Teorema 46 Sean las sucesiones (a
n
), (/
n
) y (c
n
) tales que para todo : N se tiene que a
n
_ /
n
_ c
n
y de modo que las series

a
n
y

c
n
son convergentes. Entonces

/
n
es una serie convergente.
Demostracin. Como a
n
_ /
n
_ c
n
, entonces (restando a
n
) tenemos que 0 _ /
n
a
n
_ c
n
a
n
.
Ahora, en virtud de lo demostrado en 16 y en 18, como

a
n
y

c
n
son convergentes tenemos que

(c
n
a
n
) C. Luego, por comparacin (27) tenemos que

(/
n
a
n
) C y como

a
n
C, por linealidad
tenemos que

/
n
C.
Observacin 47 El teorema anterior, se conoce como teorema de la convergencia dominada.
Corolario 48 Sea una sucesin (a
n
) tal que

[a
n
[ C. Entonces

a
n
C.
Demostracin. Es inmediata, basta observar que [a
n
[ _ a
n
_ [a
n
[ y aplicar el teorema anterior.
12
Denicin 49 Decimos que la serie

a
n
converge absolutamente (o que es absolutamente convergente)
si y slo si

[a
n
[ C.
Notacin 50

a
n
CA.
Observacin 51 El corolario 48 se enuncia de la siguiente manera: si una serie converge absolutamente,
entonces converge. Ms adelante veremos, a travs de contraejemplos, que el recproco no es cierto, es
decir: una serie puede ser convergente pero la serie de los valores absolutos ser divergente.
Ejemplo 52 Clasiquemos

sen n
n
2
. Veremos que converge absolutamente y que por lo tanto converge.
Como 1 _ sen : _ 1, tenemos que

sen n
n
2

_
1
n
2
. Luego, como

1
n
2
C por tratarse de una serie
armnica de exponente 2, tenemos, en virtud del criterio de comparacin I, que

sen n
n
2

C, lo que implica
que

sen n
n
2
CA y de ah que

sen n
n
2
C.
En la prxima seccin veremos un nuevo tipo de series, llamadas series alternadas y su principal
resultado: el teorema de Leibniz.
1.5. Series alternadas
Acabamos de ver unos cuantos criterios de clasicacin para serie de trminos positivos que, por
supuesto, tambin son vlidos para serie de trminos negativos. En esta parte estudiaremos un criterio
para clasicar series en donde el signo de los trminos de la sucesin que genera la serie se va alternando
entre el positivo y el negativo. Sin embargo, apenas contaremos con el criterio de convergencia dominada
para series en general, pues, como veremos a continuacin, las series alternadas son un caso particular de
las series de signo variable.
Denicin 53 Decimos que una serie es alternada si y slo si es de la forma

(1)
n
a
n
, donde (a
n
)
es una sucesin tal que a
n
_ 0 o a
n
_ 0 para todo : N.
Ejemplo 54 Consideremos la serie

(1)
n+1
n
. Como puede observarse, es una serie alternada. Veamos
el comportamiento de sus sumas parciales.

8
=
8

n=1
(1)
n+1
n
= 1
1
2
+
1
3

1
4
+
1
5

1
6
+
1
7

1
8
=
533
840

10
=
10

n=1
(1)
n+1
n
= 1
1
2
+
1
3

1
4
+
1
5

1
6
+
1
7

1
8
+
1
9

1
10
=
8
+
_
1
9

1
10
_
=
1627
2520
En general, tenemos que (
2n
) (sumas parciales de ndice par) es una sucesin estrictamente cre-
ciente.
Veremos que ocurre con las de ndice impar.

5
=
5

n=1
(1)
n+1
n
= 1
1
2
+
1
3

1
4
+
1
5
=
47
60
13

7
=
7

n=1
(1)
n+1
n
= 1
1
2
+
1
3

1
4
+
1
5

1
6
+
1
7
=
5

_
1
6

1
7
_
=
319
420
En general, tenemos que (
2n+1
) (sumas parciales de ndice impar) es una sucesin estrictamente
decreciente.
Esto prueba que (
2n
,
2n+1
) es un par de sucesiones montonas convergentes cuyo lmite comn es el
llamado elemento de separacin, en este caso es L (2) .
12
Es importante notar tambin, que por el hecho
de que
2n
_ L (2) _
2n+1
y de que ambas tienen el mismo lmite, ste puede ser aproximado por una
suma parcial
p
cualquiera, de la que estamos seguros que el error cometido (sea ste por defecto o por
exceso) es menor que a
p+1
, es decir por el primer sumando que no es tenido en cuenta en la suma parcial.
Por ejemplo: L (2) t 1
1
2
+
1
3

1
4
, donde el error (en este caso, por defecto) es menor que
1
5
.
13
El ejemplo que acabamos de estudiar no es ms que un caso particular de lo que ocurre en el siguiente
teorema.
Teorema 55 Sea (a
n
) una sucesin decreciente tal que lma
n
= 0. Entonces

(1)
n+1
a
n
es una serie
convergente cuya suma / t
p
con un error menor que a
p+1
.
Demostracin. Hgala como ejercicio.
Sugerencia: pruebe que (
2n+1
,
2n
) es un PSMC.
Observacin 56 Este teorema es conocido como criterio de Leibniz para series alternadas.
Ejemplo 57 Se considera la serie

(1)
n
n!
. La misma puede ser clasicada por el criterio de convergencia
absoluta como convergente (intente hacerlo). Sin embargo usaremos para ello el criterio de Leibniz. Veamos
si la sucesin (a
n
) : a
n
=
1
n!
satisface las condiciones:
lm
1
n!
= 0
a
n+1
=
1
(n+1)!
es evidentemente menor que a
n
=
1
n!
, luego (a
n
) es estrictamente decreciente.
Por lo que acabamos de probar, en virtud del teorema 55 tenemos que

(1)
n
n!
C .
Adems podemos calcular aproximadamente su suma. Intentaremos calcularla con un error menor que
1
10000
. O sea, debemos hallar j N de modo que su suma / t
p

n=0
(1)
n
n!
con un error menor que
1
10000
.
Para ello buscaremos j que cumpla que
1
(p+1)!
<
1
10000
, o lo que es lo mismo, que (j +1)! 10000, lo que
vale si y slo si j _ 7.
Por lo tanto / t
7

n=0
(1)
n
n!
=
103
280
con un error menor que
1
8!
=
1
40 320
(bastante menor que lo que se
peda).
Observacin 58 El lmite anterior, de hecho es
+o

n=0
(1)
n
n!
=
1
e
. Compruebe con su calculadora que los
datos obtenidos en el ejercicio anterior son correctos.
12
No es trivial que
+1
P
n=1
(1)
n+1
n
= L (2), por lo que aceptaremos dicho resultado.
13
Recuerde el lector que L (2) t 0: 693 , que 1
1
2
+
1
3

1
4
=
7
12
t 0: 583
14
Ejemplo 59 Contraejemplo del recproco del corolario 48.
Como dijramos en la observacin 51, existen series convergentes pero que no son absolutamente
convergentes. La siguiente es una de ellas.
Sea

(1)
n+1
n
, como acabamos de ver, es una serie convergente con suma L (2), sin embargo, en valor
absoluto, se genera la serie

1
n
que es divergente. Este tipo de series da motivo a la siguiente denicin.
Denicin 60 Decimos que la serie

a
n
es condicionalmente convergente (se denota CC) si y slo si

a
n
C y

[a
n
[ D.
Ejercicio 61 Encuentre otros ejemplos de series que convergen condicionalmente.
Observacin 62 Las series condicionalmente convergentes han sido objeto de estudio de clebres matemti-
cos, entre ellos est Riemann, quien demostr una propiedad sorprendente: si una serie es condicional-
mente convergente, entonces podemos reordenarla de modo que su suma sea el nmero que se elija, o bien
que diverja a ms o a menos innito o hasta se podra lograr que oscilara del modo elegido.
15
Captulo 2
Series de Potencias
2.1. Deniciones y conceptos
Las series de potencias cumplen un papel importante en el anlisis matemtico, si bien son introducidas
en forma muy simple como una serie numrica dependiente de un parmetro, resultan ser el ejemplo
ms elemental, y no por eso menos importante, de las series de funciones. El estudio de las series de
funciones, a su vez, tiene un rol relevante en el estudio de diversos problemas topolgicos y del anlisis
funcional.
A lo largo de las notas, nos remitiremos a trabajar, sin perder generalidad, a las series de potencias de
la forma

a
n
r
n
. De hecho, todas las de la forma

a
n
(r a)
n
son tambin series de potencias siendo

a
n
r
n
un caso particular de stas (donde a = 0).
Denicin 63 Llamamos series de potencias a las de la forma

a
n
r
n
, donde (a
n
) es una sucesin real
y r R.
Ejemplo 64 En la serie de potencias
r
n
:
2
, la sucesin a la que hace referencia la denicin 63 es
(a
n
) : a
n
=
1
n
2
. Por otra parte, una suma parcial de dicha serie de potencias es:
5

n=1
r
n
:
2
= r +
1
4
r
2
+
1
9
r
3
+
1
16
r
4
+
1
25
r
5
.
-2.0 -1.5 -1.0 -0.5 0.5 1.0 1.5 2.0
-4
-2
2
4
x
y
Grcos de algunas sumas parciales de

x
n
n
2
.
16
Ejemplo 65 Tomemos ahora a
r
n
:!
, en este caso a
n
=
1
n!
y una suma parcial de ella es
3

n=0
r
n
:!
= 1 + r +
1
2
r
2
+
1
6
r
3
-5 -4 -3 -2 -1 1 2 3 4
-4
-2
2
4
6
8
10
12
14
x
y
Algunas sumas parciales de

x
n
n!
Ejemplo 66 En el caso de

2
n
r
n
, tenemos que a
n
= 2
n
y que
4

n=0
2
n
r
n
= 1 + 2r + 4r
2
+ 8r
3
+ 16r
4
-1.4 -1.2 -1.0 -0.8 -0.6 -0.4 -0.2 0.2 0.4 0.6 0.8 1.0 1.2 1.4
-1
1
2
3
4
5
6
7
8
x
y
Algunas sumas parciales de

2
n
r
n
Observacin 67 1. Para cada r R ,

a
n
r
n
no es otra cosa que una serie numrica y por ello
puede tratarse de una serie convergente, divergente u oscilante.
2. Las sumas parciales son polinomios.
17
3. Consideraremos que r
0
= 1, an en el caso de que r sea cero.
4. Uno de los objetivos es encontrar todos los valores de r para los cuales

a
n
r
n
es convergente.
Ejemplo 68

r
n
para cada r R resulta ser una serie geomtrica de base r y segn lo demostrado
en 13 sabemos que

r
n
C solamente si r (1, 1) y su suma es
+o

n=0
r
n
=
1
1 r
.
De la misma manera

2
n
r
n
es una serie geomtrica ( note que 2
n
r
n
= (2r)
n
) de razn 2r y por lo
tanto

2
n
r
n
converge cualquiera sea r
_

1
2
,
1
2
_
con suma
+o

n=0
2
n
r
n
=
1
1 2r
.
Observacin 69 En el ejemplo 68 encontramos dos series de potencias que resultaron convergentes en
(1, 1) y
_

1
2
,
1
2
_
respectivamente. Estos conjuntos son conocidos como conjuntos de convergencia (en
estos casos fueron intervalos abiertos). Cabe notar que toda serie de potencias converge si r = 0 con suma
a
o
.
En 65 tambin citamos como ejemplo a
r
n
:!
,converge si r = 519?
O lo que es lo mismo, Converge
(519)
n
:!
?
Por tratarse de una STP aplicaremos el criterio de DAlembert.
lm
(519)
n+1
(: + 1)!

(519)
n
:!
= lm
519
: + 1
= 0. Como es menor que 1, sabemos que
(519)
n
:!
converge. Ahora
bien: es simple notar que el 519 no tiene nada en particular y que, del mismo modo, pudimos hacerlo con
cualquier nmero real. Veamos, sea r R, probaremos que
r
n
:!
converge absolutamente (y por lo tanto
converge, porqu?).

r
n+1
(: + 1)!

r
n
:!

=
[x[
n+1
0 cualquiera haya sido r.
Por lo tanto (como el lmite es menor que 1),
r
n
:!
converge para todo r R.
Cabe destacar que, por el hecho de que para cada r R,
r
n
:!
es una serie numrica convergente,
podemos asociarle a cada r real, la suma de las serie (que tambin es un real), por lo que tenemos una
funcin
) : R R denida por )(r) =
+o

n=0
r
n
:!
Supongamos, por el momento, que dicha funcin es derivable y que su derivada puede obtenerse a
travs de la derivacin trmino a trmino de la serie
r
n
:!
.
De ser as tendramos:
)(r) =
+o

n=0
r
n
:!
, por lo tanto )
t
(r) =
+o

n=1
:r
n1
:!
=
+o

n=1
r
n1
(: 1)!
=
+o

n=0
r
n
:!
= )(r).
De donde,
)(r) = )
t
(r)
lo que resulta ser un ecuacin diferencial con solucin muy elemental y cuyas soluciones son de la
forma )(r) = /c
x
, como tenemos la condicin inicial )(0) = 1, la constante / es uno.
Esto nos llevara al resultado:
18
+o

n=0
r
n
:!
= c
x
, cualquiera sea r R.
De la misma forma podramos proceder con otras series de potencias. En el caso de

r
n
, como ya fue
visto, la funcin que obtenemos es ) : (1, 1) R )(r) =
1
1 r
. En la que no fue necesario resolver
ninguna ecuacin diferencial.
Observacin 70 Los ejemplos precedentes nos dan una pequea muestra de las aplicaciones de las series
de potencias y del trabajo que desarrollaremos en lo que sigue.
A saber:
Toda serie de potencias tiene asociado un radio de convergencia (que puede ser cero, un real positivo
o innito).
Mtodos para calcularlo.
Es vlida la propiedad de derivacin (y tambin la de integracin) trmino a trmino que men-
cionamos antes.
2.2. Radio de convergencia
Pasaremos a continuacin a demostrar dos teoremas. La consecuencia de stos es la existencia del radio
de convergencia de cualquier serie de potencias, concepto que podremos denir recin en esa instancia.
Teorema 71 Si

a
n
r
n
converge para r = r
0
, entonces

a
n
r
n
converge absolutamente cualquiera sea
r tal que [r[ < [r
0
[.
Demostracin. Sea r de modo que [r[ < [r
0
[ .
[a
n
r
n
[ =

a
n
r
n
r
n
0
r
n
0

r
r
0

n
[a
n
r
n
0
[
(+)
< /

r
r
0

n
(1)
(+)Como

a
n
r
n
0
converge, por la condicin necesaria de convergencia, tenemos que el lim(a
n
r
n
0
) = 0.
Luego, como (a
n
r
n
0
) es una sucesin convergente, debe, necesariamente, estar acotada (el / es una cota
superior de [a
n
r
n
0
[ .
De (1), tenemos que [a
n
r
n
[ < /

r
r
0

n
Como

r
r
0

< 1,

r
r
0

n
converge por ser geomtrica de razn entre -1 y 1, entonces, por linealidad,

r
r
0

n
converge.
De donde, por comparacin I, tenemos que

[a
n
r
n
[ converge.
Teorema 72 Dada

a
n
r
n
, se cumple una y slo una de las siguientes armaciones:
i. a)

a
n
r
n
converge absolutamente para todo r R.
19
ii.

a
n
r
n
converge solamente si r = 0.
iii. Existe r 1
+
tal que

a
n
r
n
converge absolutamente para todo r (r, r) y no converge para
todo r , [r, r].
1
Demostracin. Consideremos el conjunto = r [0, +) :

a
n
r
n
C. Por la manera en la que
lo denimos, el conjunto no es vaco porque 0 (toda serie de potencias converge si r = 0). De ah que
no sea vaco. Por otro lado, por ser un conjunto de reales, ste podr ser acotado o no superiormente.
Si no estuviese acotado superiormente, probaremos que

a
n
r
n
C cualquiera sea r R (vericndose la
parte i. del enunciado. A su vez, si estuviese acotado superiormente, probaremos que se est en alguna
de las otras dos partes.
Supongamos pues que no est acotado superiormente. Consideremos un nmero real r cualquiera, como
no est acotado superiormente, es seguro que existe algn elemento r
0
en (esto implica que ) que es
mayor que [r[, luego, aplicando el teorema anterior (71) que

[a
n
r
n
[ converge y por eso

a
n
r
n
converge
(recuerde que r es un real cualquiera).
Por lo tanto, en estas condiciones,

a
n
r
n
converge absolutamente para todo r R.
Si fuera un conjunto acotado superiormente, dado que adems no es vaco, tiene supremo. Dicho
supremo es un nmero real c que verica ser mayor o igual a cero. Si fuera cero, tendramos que = 0
ya que de existir otro elemento en (adems del cero), por el teorema 71

a
n
r
n
sera convergente para
cualquier r cuyo valor absoluto fuera menor que el valor absoluto de l; esto sera contradictorio con el
hecho de que sup() = 0.
En suma, si sup() = 0,

a
n
r
n
converge solamente si r = 0.
Para nalizar con la demostracin, si c 0 veremos que cualquiera que sea r (c, c), la

a
n
r
n
converge y que si [r[ c, la

a
n
r
n
no converge.
Sea r (c, c), como sup() = c sabemos que existe un elemento r
0
tal que [r[ < r
0
_ c
(conocidsima propiedad del supremo). Por el teorema 71

a
n
r
n
converge (pues lo es absolutamente).
Por ltimo, si r
1
, [c, c] (note el lector que c < [r
1
[) supondremos (por absurdo) que

a
n
r
n
1
converge. De haber sido as, se tendra que

a
n
r
n
sera convergente para todo r de modo que [r[ < [r
1
[.
Esto es absurdo que

a
n
r
n
sera convergente si r =
c + r
1
2
que es mayor que c (y no hay elementos de
que lo sean).
1
Si x = r o si x = r nada podemos armar. Se recomienda ver el ejemplo 64 y siguientes
20
Es probable que el lector ya est familiarizado, a travs de los ejemplos iniciales, con el concepto de
radio de convergencia, sin embargo recin ahora estamos en condiciones de dar una denicin.
Denicin 73 Dada una serie de potencias

a
n
r
n
, diremos que tiene radio de convergencia:
innito (se escribir R = ) == se verica i. del teorema 72.
cero (se escribir R = 0) == se verica ii. del teorema 72.
c (se escribir R = c) == se verica iii. del teorema 72.
2.2.1. Clculo del radio de convergencia
Una vez probado que toda serie de potencias tiene asociado un radio de convergencia, cabe preguntarse
cmo haremos para hallarlo. Existen varios mtodos para ello (si bien usar la denicin sera tecnicamente
correcto, no es recomendable). En este trabajo analizaremos dos de los ms conocidos, el mtodo de Cauchy
y el mtodo de DAlembert, ambos en su versin ms sencilla.
2
Teorema 74 Dada la serie de potencias

a
n
r
n
tal que existe el lm
n
_
[a
n
[ (llamaremos , a dicho
lmite).
Entonces:
1. Si , = 0, entonces R =
2. Si , = +, entonces R = 0
3. Si , R
+
, entonces R =
1

Demostracin. Hgala como ejercicio. Tenga en cuenta que los puntos en donde la serie puede ser
convergente condicionalmente, se limitan como mximo a r = R y r = R. Se sugiere que utilice el
criterio de Cauchy para clasicar

[a
n
r
n
[
Teorema 75 Dada la serie de potencias

a
n
r
n
tal que existe el lm

a
n+1
a
n

(llamaremos , a dicho
lmite).
Entonces:
1. Si , = 0, entonces R =
2. Si , = +, entonces R = 0
3. Si , R
+
, entonces R =
1

Demostracin. dem al teorema 74, use en este caso el criterio de DAlembert.

2
Existe una versin ms general, en donde se utiliza, en lugar de lm el lmsup :
21
Ejemplo 76 Encontremos el radio de convergencia de

2
n+1
n+3
r
n
.
Usaremos el mtodo de Cauchy,
Como lm
n+o
n
_
2
n+1
n+3
= 2, tenemos que R =
1
2
y entonces cualquiera sea r
_

1
2
,
1
2
_
la serie

2
n+1
n+3
r
n
converge absolutamente. Tal como decamos anteriormente, para los valores
1
2
y
1
2
no sabremos qu clasi-
cacin le corresponde a la serie hasta tanto no lo realicemes directamente.
Si r =
1
2
nos queda la serie generada por
2
n+1
n+3
_

1
2
_
n
= (1)
n 2
n+3
.
Por el criterio de Leibniz (teorema 55) es fcil ver que

(1)
n 2
n+3
converge (condicional o absoluta-
mente?).
Por ltimo, si r =
1
2
, queda

2
n+3
que diverge.
Resumiendo tenemos que

2
n+1
n+3
r
n
C =r
_

1
2
,
1
2
_
Ejemplo 77 Estudiemos ahora

n!2
n
n
n
r
n
aplicando el mtodo de DAlembert (teorema 75).
(n+1)!2
(n+1)
(n+1)
(n+1)
n!2
n
n
n
=
(n+1)!2
(n+1)
(n+1)
(n+1)
n
n
n!2
n
=
2
(
n+1
n
)
n ,
cuyo lmite es
2
e
por lo tanto R =
e
2
.
En los extremos del intervalo de convergencia, la serie no converge. Para probarlo se podr utilizar un
equivalente de :! (Stirling).
En suma tendremos que

n!2
n
n
n
r
n
C =r
_

e
2
,
e
2
_
.
2.3. Funciones analticas reales
Cada serie de potencias de la forma

a
n
r
n
cuyo radio de convergencia no es cero, asocia a cada
r (R, R) un nmero real determinado por la suma de la serie.
De esta manera se dene una funcin ) : (R, R) R dada por
+o

n=0
a
n
r
n
.
Estas funciones son conocidas como funciones analticas.
3
Las mismas son tambin un caso particular
de series de funciones y por lo tanto gozan de las propiedades que stas tienen (ver [4]) En los puntos
siguientes veremos algunas pocas propiedades de las funciones analticas y unos ejemplos.
Propiedad 78 Las series de potencias

a
n
r
n
y

:a
n
r
n1
tienen el mismo radio de convergencia.
(Por qu no es correcto usar los teoremas 74 y 75?)
Propiedad 79 Las series de potencias

a
n
r
n
y

a
n
n+1
r
n+1
tienen el mismo radio de convergencia.
Propiedad 80 Sea

a
n
r
n
cuyo radio de convergencia es R no nulo.
Sea ) : (R, R) R dada por )(r) =
+o

n=0
a
n
r
n
.
Entonces ) es derivable en (R, R) y )
t
(r) =
+o

n=1
:a
n
r
n1
(De lo que deducimos que las funciones analticas en (R, R) son innitamente derivables en (R, R) .
Explique.)
3
Como (a
n
) es real, y x es un nmero real, se tratar de una funcin real. Sin embargo, las funciones analticas en gral.
tienen variable compleja y podramos dedicar un curso entero a su estudio.
22
Observacin 81 Veremos qu tienen de similar la funcin ) : )(r) =
+o

n=0
a
n
r
n
y la funcin polinmica
j
n
: j
n
(r) =
n

i=0
a
i
r
i
.
Para eso esribiremos
j(r) = a
0
+ a
1
r + a
2
r
2
+ a
3
r
3
+ a
4
r
4
+ + a
n
r
n
y
)(r) = a
0
+ a
1
r + a
2
r
2
+ a
3
r
3
+ a
4
r
4
+ + a
n
r
n
+
De estas expresiones se saca que j(0) = )(0); j
t
(0) = )
t
(0); j
tt
(0) = )
tt
(0), y as hasta la ensima
derivada de ) en r = 0. Adems, como j
(n)
(0) = :!a
n
tenemos que para cada : N que
a
n
=
)
(n)
(0)
:!
(2.1)
Esta relacin inspira la denicin de polinomios de Taylor que veremos en el prximo captulo. (denicin
84)
Observacin 82 La propiedad 80, conocida como de trmino a trmino de una serie de potencias,
permite deducir la validez para la integracin trmino a trmino. Veamos el siguiente ejemplo:
Ejemplo 83 Se considera la serie de potencias

2
n
n
r
n
. Encontraremos su radio de convergencia y luego
hallaremos una expresin elemental para q : q(r) =
+o

n=1
2
n
n
r
n
Antes que nada notemos que
+o

n=1
2
n
n
r
n
=
+o

n=0
(2r)
n+1
: + 1
.
Como lm
n
_
2
n
n
= lm
2
n
_
n
= 2, tenemos que R =
1
2
. De todos modos, lo habramos encontrado indirecta-
mente.
Partamos de la igualdad
+o

n=0
.
n
=
1
1 .
, la que es muy conocida y que vale para cualquier . (1, 1).
Usando la propiedad anterior tenemos que
+o

n=0
z
n+1
n+1
=
_
1
1 .
d. para cualquier . (1, 1), en particular
para . = 2r, con r
_

1
2
,
1
2
_
.
De donde
+o

n=0
(2x)
n+1
n+1
= L (1 2r)
23
-1.0 -0.8 -0.6 -0.4 -0.2 0.2 0.4 0.6 0.8 1.0
-1
1
2
3
4
x
y
La grca de q : q(r) =
+o

n=1
2
n
n
r
n
= L (2r + 1) y algunas sumas parciales de

2
n
n
r
n
24
Captulo 3
Polinomios o frmula de Taylor
3.1. Introduccin
Acabamos de estudiar las series de potencias. En ese tema, demostramos que toda serie de potencias,
es decir, toda serie de la forma

a
n
r
n
tiene asociado un radio de convergencia R que poda ser 0 ,
positivo, o + .
Luego, a cada serie de potencias le asociamos una funcin con dominio (al menos) (R,R) de la
siguiente manera: ) : (R, R) R tal que )(r) =
+o

n=0
a
n
r
n
.
Dicha funcin ) goza de la propiedad de derivabilidad (obviamente de continuidad e integrabilidad),
obteniendo expresiones para su funcin derivada y para la primitiva que verica 1(0) = 0 , de la siguiente
manera:
)
t
(r) =
+o

n=1
a
n
:r
n1
y 1(r) =
+o

n=0
a
n
x
n+1
n+1
.
Estos resultados nos permitieron encontrar, a partir de funciones dadas por una serie de potencias,
otros nuevos.
Por ejemplo, conociendo que )(r) =
1
1x
=
+o

n=0
r
n
pudimos obtener que )
t
(r) =
1
(1x)
2
=
+o

n=1
:r
n1
y
que tambin 1(r) = L(1 r) =
+o

n=0
x
n+1
n+1
.
Desde otro punto de vista, podramos decir que empezamos a obtener la expresin en series de potencias
de otras funciones. Pero, qu vinculacin existe entre la serie y la funcin? Como respuesta a esta pregunta
obtuvimos que s existe una vinculacin y que est dado por a
n
=
f
(n)
(0)
n!
en el caso de la serie centrada
en el origen y por supuesto que a
n
=
f
(n)
(a)
n!
en el caso de series de la forma

a
n
(r a)
n
.
De esta manera, toda fucin de clase C
o
en cierto intervalo (a R, a + R) obtiene unvocamente
una serie de potencias asociada a ella cuya expresin es:
+o

n=0
f
(n)
(a)
n!
(r a)
n
. Obrando con este criterio
obtuvimos la expresin en serie de potencias de la funcin ) : )(r) = sen r .
La serie obtenida fue la siguient e: r
x
3
3!
+
x
5
5!
=
+o

n=0
(1)
n
x
2n+1
(2n+1)!
. Lo que no sabemos es si la
funcin obtenida (dada por la serie de potencias) resulta ser igual a )(r) = sen r para todo r R . Esta
pregunta ser respondida, luego de algunos resultados, en forma armativa. Pero no es ese nuestro nico
objetivo. Si tomamos una suma parcial de la serie de potencias en cuestin, son parecidas las funciones
25
a sus polinomios
1
asociados?
-20 -18 -16 -14 -12 -10 -8 -6 -4 -2 2 4 6 8 10 12 14 16 18 20
-3
-2
-1
1
2
3
x
y
La funcin coseno y algunos de sus polinoios de Mac Laurin.
Y si la funcin solo poseyera derivadas en r = a de orden 23, resultar til aproximar a tal funcin
con
23

n=0
f
(n)
(a)
n!
(r a)
n
?
Intentaremos dar respuesta a estas interrogantes a continuacin.
Denicin 84 Sea una funcin ) : 1 R (1 un intervalo) tal que ) admite derivadas de orden : en
cierto entorno 1(a), con a

1 . Llamaremos polinomio de Taylor (Brook Taylor (1685-1731) ) de orden
: generado por ) en r = a al siguiente polinomio:
j
n
(r) = )(a) +
f
0
(a)
1!
(r a) +
f
00
(a)
2!
(r a)
2
+ +
f
(n)
(a)
n!
(r a)
n
Propiedad 85 Al ser tomado de esta forma tenemos garantizado que los valores de las derivadas iteradas
de ) en r = a coinciden con las del polinomio por qu?
2
Notacin 86 Escribiremos a j
n
(r) de la siguiente manera: T
n
(), a), que signica polinomio de Taylor
de orden : generado por ) en r = a. En algunos casos lo escribiremos T
n
(), a, r) para poner nfasis en
el hecho de que su variable es r.
Propiedad 87 En los casos que trabajamos con a = 0 , los polinomios reciben el nombre de polinomios
de Mac Laurin (Colin Mac Laurin (1698-1746) ).
1
Ntese que al ser suma parcial de una serie de potencias, lo que tenemos es un polinomio.
2
Tenga en cuenta la frmula 2.1 encontrada en la observacin 81.
26
Ejemplo 88 T
4
(c
x
, 0) = 1 + r +
x
2
2
+
x
3
3!
+
x
4
4!
-3 -2 -1 1 2
-1
1
2
3
4
5
6
x
y
La exponencial (negro) y T
4
(c
x
, 0) (rojo).
Ejemplo 89 T
5
(sen r, 0) = r
x
3
6
+
x
5
120
-20 -18 -16 -14 -12 -10 -8 -6 -4 -2 2 4 6 8 10 12 14 16 18 20
-2
2
x
y
La funcin seno y algunos de sus polinomios de Mac Laurin.
27
Ejemplo 90 T
3
(Lr, 1) = (r 1)
1
2
(r 1)
2
+
1
3
(r 1)
3
-1 1 2 3 4 5 6 7
-4
-3
-2
-1
1
2
3
4
x
y
La funcin ) : )(r) = L(r) y T
3
(L (r) , 1)
Propiedad 91 En los ejemplos anteriores podemos observar que no slo tenemos coincidencias en r = a
sino que adems de eso el parecido se extiende. Los puntos siguientes intentarn dar una explicacin a
nuestra observacin.
3.2. Propiedades de los polinomios de Taylor
Para obtener los polinomios de Taylor, slo contamos hasta el momento con la denicin. Esto signica
que para obtenerlos no nos queda otra opcin que derivar reiteradas veces la funcin, lo que adems de
tedioso resulta poco prctico. A continuacin veremos algunas propiedades que nos permitirn obtener
polinomios de Taylor a partir de otros conocidos.
Sean ) y q funciones reales en las condiciones de la denicin 84, las principales propiedades son las
siguientes:
1. Linealidad:
T
n
(c) + ,q, a) = cT
n
(), a) + ,T
n
(q, a) , c, , R
Ejemplo 92 T
3
(2c
x
+ sen r) = 2 + 3r + r
2
+
1
6
r
3
2. Derivacin (e integracin):
(T
n
(), a))
t
= T
n1
()
t
, a)
Ejemplo 93 T
7
(sen r, 0) = r
1
3!
r
3
+
1
5!
r
5

1
7!
r
7
,
entonces T
6
(cos r, 0) = 1
1
2
r
2
+
1
4!
r
5

1
6!
r
6
28
3. Sustitucin:
3
Si q(r) = )(cr) entonces, T
n
(), ca, cr) = T
n
(q, a, r) (ver notacin 86)
Ejemplo 94 Busquemos el polinomio de Taylor de la funcin )(r) = arctanr en r = 0.
Como T
n
(
1
1x
, 0) = r + r
2
+ r
3
+ r
n
=
n

i=0
r
i
, entonces
T
n
(
1
1+x
, 0) =
n

i=0
(1)
i
r
i
y tambin T
2n
(
1
1+x
2
, 0) =
n

i=0
(1)
i
r
2i
y por lo tanto T
2n+1
(arctanr, 0) =
n

i=0
(1)
i
x
2i+1
2i+1
Veamos a continuacin los grcos de arctanr y de alguno de sus polinomios de Mac Laurin.
-8 -7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7 8
-2
-1
1
2
x
y
La funcin ) : )(r) = arctan(r) y algunos de sus polinomios de Mac Laurin.
4. Otras operaciones.
Tambin podemos obtener el desarrollo de productos y cocientes de funciones a partir del desarrollo
de cada una de las involucradas. Se recomienda ver [5].
Ejercicio 95 Encuentre la serie de potencias asociada a la funcin
) : )(r) = arctan (r) y determine su radio de convergencia. Interprete el resultado observando el
grco anterior.
Denicin 96 Sea ) en las mismas condiciones que en la denicin 84. Llamamos resto de Taylor de
orden : en r = a a la funcin r
n
: 1 1 tal que r
n
(r) = )(r) T
n
(), a, r) .
4
Teorema 97 Sea r : 1 R una funcin tal que sea : veces derivable en cierto entorno 1(a) 1 .
Entonces, lm
xa
r(x)
(xa)
n
= 0 =r(a) = r
t
(a) = = r
(n)
(a) = 0
Demostracin. Realcela como ejercicio. Se sugiere utilizar adecuadamente la regla de LHpital.
3
Esta propiedad es mucho ms general, es posible efectuar composiciones ms complicadas, como por ejemplo obtener
el T
2n
(e
x
2
; 0) a partir del T
n
(e
x
; 0).
4
Utilizamos la notacin r
n
a modo de simplicarla, pues hubiera sido correcto usar r
n;a
:
29
Corolario 98 Sea ) : 1 R una funcin derivable hasta el orden : en r = a , entonces )(r) =
)(a) +
f
0
(a)
1!
(r a) +
f
00
(a)
2!
(r a)
2
+ +
f
(n)
(a)
n!
(r a)
n
+ r
n
(r) con lm
xa
r
n
(x)
(xa)
n
= 0 (Es decir, el resto
ensimo de Taylor es un innitsimo de orden mayor que : en r = a .)
Demostracin. Como por denicin de resto de Taylor, r
n
(r) = )(r) T
n
(), a), tenemos que r
n
es
derivable : veces y que adems todas sus derivadas hasta el orden : y su valor funcional en r = a son
cero, entonces por el Teorema 97 tenemos que lm
xa
r
n
(x)
(xa)
n
= 0 .
Teorema 99 (resto de Lagrange)
Sea ) : 1 R una funcin tal que es derivable de orden (: + 1) en cierto entorno 1(a) 1 ,
entonces para todo r ,= a, r 1 se cumple que:
)(r) =
n

i=0
f
(i)
(a)
i!
(r a)
n
+ r
n
(r)
donde r
n
(r) =
f
(n+1)
(c)
(n+1)!
(r a)
n+1
(llamado resto de Lagrange) con c en (a, r) o en (r, a)
Demostracin. A cargo del alumno.
3.3. Aplicaciones
A continuacin veremos algunas de las aplicaciones de los polinomios de Taylor:
Clculo de lmites.
Aproximaciones con acotacin del error.
Estudio de extremos relativos.
Clasicacin de series numricas.
3.3.1. Clculo de lmites
Para el clculo de lmites es til recordar los conceptos de orden y de parte principal de un innitsimo
(se sugiere que adems revise el concepto de mayor y menor orden de innitsimo).
Denicin 100 Sea ) un innitsimo en r = a. Decimos que (r) = ,(r a)

es la parte principal del

innitsimo ) en r = a = lm
xa
f(x)
(xa)

= 1.
En este caso se dice que ) es un innitsimo de orden c en r = a.
Ejemplo 101 Calculemos lm
x0
e
x
1x
x
2
2
sen xx
.
Utilizando los desarrollos de Mac Laurin de las funciones que se encuentran tanto en el numerador
como en el denominador, es decir, como
c
x
1 r
x
2
2
=
1
6
r
3
+ r
3
(r), con lm
x0
r
n
(x)
x
3
= 0
y sen r r =
1
6
r
3
+ r
t
n
(r) , con lm
x0
r
0
n
(x)
x
3
= 0
Tenemos que lm
x0
e
x
1xx
2
sen xx
= lm
x0
1
6
x
3
+r
3
(x)

1
6
x
3
+r
0
n
(x)
= 1
30
Ejemplo 102 Sea , : ,(r) = L(1 ar) + c
bx
cos r.
Determine los valores de a y / para que , sea un innitsimo del mayor orden posible en r = 0. En
ese caso indique su orden y parte principal.
Obtengamos pues, el desarrollo de Mac Laurin de ,. Para ello usemos los respectivos desarrollos de
las funciones que determinan ,.
L(1 ar) = (a) r +
_

1
2
a
2
_
r
2
+
_

1
3
a
3
_
r
3
+
_

1
4
a
4
_
r
4
+ r
4
(r)
c
bx
= 1 + /r +
_
1
2
/
2
_
r
2
+
_
1
6
/
3
_
r
3
+
_
1
24
/
4
_
r
4
+ r
4
(r)
cos r = 1 +
1
2
r
2

1
24
r
4
+ r
4
(r)
Cada uno fue obtenido, o bien directamente, o bien a travs del uso adecuado de propiedades. De ellos
obtenemos el desarrollo de , en r = 0 de orden 4. Este es:
,(r) = (a + /) r+
_
1
2

1
2
a
2
+
1
2
/
2
_
r
2
+
_

1
3
a
3
+
1
6
/
3
_
r
3
+
_
1
24
/
4

1
4
a
4

1
24
_
r
4
+r
4
(r)+ r
4
(r)+r
4
(r).
Para que sea del mayor orden posible debemos exigir a = /
Con lo que
,(r) =
_
1
2
_
r
2
+
_

1
3
a
3
+
1
6
a
3
_
r
3
+
_
1
24
a
4

1
4
a
4

1
24
_
r
4
+ r
4
(r) + r
4
(r) + r
4
(r).
De hecho, ,(r) =
_
1
2
_
r
2
+ r
2
(r), dependiendo el orden del resto del valor de a. El lector puede
preguntarse sobre cmo saber hasta qu orden desarrollar; la experiencia nos ensear a ver qu hacer
en los distintos casos. Analice este ejemplo y deduzca hasta qu orden hubiese sido suciente desarrollar
cada funcin.
3.3.2. Aproximaciones con acotacin del error
Una de las aplicaciones del resto de Lagrange, es la de cuanticar el error cometido en aquellos casos
en los cuales sustituimos una funcin por uno de sus polinomios de Taylor. Veamos algunos ejemplos.
Ejemplo 103 Sea ) : )(r) = c
x
. Su desarrollo de Mac Laurin con resto de Lagrange es: c
x
= 1 + r +
1
2
r
2
+ +
1
n!
r
n
+
e

(n+1)!
r
n+1
, donde 0 (0, r) o al (r, 0) . Si lo utilizamos para hallar c
x
0
, es decir, si
decimos que c
x
0
- 1 + r
0
+
1
2
r
2
0
+ +
1
n!
r
n
0
, qu error cometeramos? o mejor dicho, cul sera el
mximo error que estaramos cometiendo?
La idea es acotar

(n+1)!
r
n+1
0

. Veamos,

(n+1)!
r
n+1
0

x
n+1
0
(n+1)!

< c
[x
0
]+1

x
n+1
0
(n+1)!

< 3
[x
0
]+1

x
n+1
0
(n+1)!

5
En conclusin, lm
n+o

(n+1)!
r
n+1
0

= 0 cualquiera haya sido r

0
. Por lo tanto, T
n
(c
x
, 0) aproxima a c
x
hasta el nivel de exigencia que queramos en todo R. Lo que no debera sorprendernos demasiado pues fue
demostrado anteriormente que c
x
=
+o

n=0
x
n
n!
para todo r R.
Ejemplo 104 En la introduccin qued pendiente una pregunta en relacin a la funcin seno. Trataremos
de responderla a continuacin.
Sabemos que:
sen r = r
x
3!
+
x
5!
+ +
(1)
n
x
2n+1
(2n+1)!
+
(1)
n
x
2n+1
(2n+1)!
+
f
(2n+2)
()
(2n+2)!
r
2n+2
.
5
Explique esas desigualdades.
31
Nuevamente busquemos acotar

f
(2n+2)
()
(2n+2)!
r
2n+2

, notemos que para hacerlo pudimos aprovechar que el

coeciente de orden (2: + 2) de esta funcin (y lo mismo ocurre con cos r) es cero.

f
(2n+2)
()
(2n+2)!
r
2n+2

_
x
2n+2
(2n+2)!
cuyo lmite es cero cualquiera haya sido r prejado. (Esta ltima desigual-
dad fue posible porque las funciones seno y coseno estn acotadas). Por lo tanto, T
2n+1
(sen r, 0) aproxima
a sen r hasta el nivel de exigencia que queramos en todo R, casualmente en todo el intervalo de conver-
gencia de

_
(1)
n
(2n+1)!
r
2n+1
_
.
Ejemplo 105 Recordemos que no siempre es util esta herramienta, la funcin de Cauchy ) : )(r) =
_
c

1
x
2
, si r ,= 0
0 , si r = 0
es de clase C
o
en R y sin embargo su polinomio de Mac Laurin es el polinomio nulo,
por lo que no es bueno para aproximar ) ms que en r = 0, en donde ya sabemos que resulta ser nula.
-7 -6 -5 -4 -3 -2 -1 1 2 3 4 5 6 7
-0.2
0.2
0.4
0.6
0.8
1.0
1.2
x
y
La funcin de Cauchy.
Vale la pena notar que si las sucesivas derivadas de la funcin de Cauchy estuviesen uniformemente
acotadas en algn entorno de cero, entonces su polinomio de Mac Laurin debera ser convergente a la
funcin en dicho entorno. Como esto no ocurre, podemos deducir que las funciones derivadas de ) no
estn uniformemente acotadas en ningn entorno de cero. Veremos a continuacin algunas de las grcas
de esas funciones derivadas de la ).
32
-2.0 -1.5 -1.0 -0.5 0.5 1.0 1.5 2.0
1
2
3
x
y
Algunas derivadas de la funcin de Cauchy.
Si bien cada una est acotada en cualquier entorno de cero, no existe una cota para todas ellas cualquiera
sea dicho entorno.
3.3.3. Estudio de extremos relativos
Antes de ver ejemplos sobre este punto demostraremos el siguiente teorema:
Teorema 106 Sea ) : 1 1 tal que existen las )
(n)
(a), )
(n1)
es continua en un 1(a) 1. Si )
0
(a) =
)
tt
(a) = = )
(n1)
(a) = 0 y )
(n)
(a) ,= 0 , entonces
(a) Si : =

2 =
_
si )
(n)
(a) 0 ) presenta un mnimo relativo en r = a
si )
(n)
(a) < 0 ) presenta un mximo relativo en r = a
(b) Si : ,=

2 ) no presenta un extremo relativo en r = a
Demostracin. Como ) satisface las condiciones de la frmula de Taylor, tambin lo hace la funcin
) )(a). El desarrollo de esta ltima funcin en r = a es:
)(r) )(a) =
f
(n)
(a)
n!
(r a)
n
+ r
n
(r) , donde lm
xa
r
n
(x)
(xa)
n
= 0.
Es decir, )(r) )(a) = (r a)
n
_
)
(n)
(a)
:!
+
r
n
(r)
(r a)
n
_
. .
en donde la expresin sealada tiene lmite
f
(n)
(a)
n!
. Por conservacin del signo existe un 1(a) en el cual dicha expresin tiene el signo de )
(n)
(a).
Por lo tanto, dado que el signo en el 1(a) mencionado de (ra)
n
es conocido y depende de la paridad
de :, obtenemos lo armado en la tesis.
Ejemplo 107 Demuestre que la funcin ) : )(r) = c
x
r
x
2
2

x
3
6
tiene un mnimo en r = 0.
Usando lo demostrado en el punto anterior,
como )
t
(0) = )
tt
(0) = )
ttt
(0) = 0 y )
iv
(0) = 1, tenemos que ) presenta un mnimo relativo en r = 0.
Mostramos a continuacin un bosquejo de su grco:
33
3.3.4. Clasicacin de series numricas
Este punto vale la pena ser aclarado. La experiencia, con la contamos corrigiendo exmenes, nos
permiti encontrarnos con un preconcepto de parte de los alumnos: Taylor es uno de los criterios para
clasicar series. Sepa el alumno que no es cierto, al clasicar series numricas aplicamos los criterios
adecuados y que en ocasiones trabajar con el desarrollo de Taylor de una funcin (casi siempre una funcin
auxiliar que deber tomarse adecuadamente), puede facilitar la tarea. Veamos el ejemplo siguiente.
Ejemplo 108 Clasique
_
sen
_
1
n
_

1
n
_
. Como se trata de una serie de trminos negativos, por las
propiedades conocidas
6
, buscaremos una sucesin equivalente a
_
sen
_
1
n
_

1
n
_
, ya que la serie que genera
es de la misma clase que la dada.
Consideremos la funcin auxiliar ) : )(r) = sen (r) r. Usando el desarrollo de Mac Laurin de
) podemos conclur que )(r) =
1
6
r
3
+ 1
3
(r), con lm
x0
1
3
(r)
r
3
= 0. Por esta razn, no solamente
)(r) s
x0

1
6
r
3
sino que, adems sen
_
1
:
_

1
:
s
1
6:
3
Luego, como

1
n
3
converge, por ser armnica (con c 1), entonces (indique qu propiedades avalan
la conclusin)
_
sen
_
1
n
_

1
n
_
converge.
6
nota cules son esas propiedades?
34
Bibliografa
[1] Tom M. Apostol, Calculus, Volumen I, Editorial Revert, S. A., 1980.
[2] Stefan Banach, Cculo Diferencial e Integral, Editorial Limusa, S. A., 1991.
[3] Miguel A. Galms y Jorge Moretti, Series, Ocina de Apuntes CECEA.
[4] Lins Escard, Principios de Anlisis Matemtico.
[5] Rodolfo Louro, Frmulas de Taylor, Ocina de Publicaciones CEI, 1995.
[6] J. Rey Pastor, P.Pi Calleja y C.A Trejo, Anlisis Matemtico, Editorial Kapelusz octava ed.,1979.
[7] M. Spivak, Calculus, Editorial Revert, S. A., 1992.
35