Sunteți pe pagina 1din 118

UNIVERSIDAD NACIONAL DE COLOMBIA

SEDE MANIZALES

FACULTAD DE CIENCIAS Y ADMINISTRACIN


DEPARTAMENTO DE CIENCIAS

SUCESIONES Y SERIES
NUMERICAS

Jos Alonso Salazar Caicedo


Bernardo Acevedo Frias
1997 UNIVERSIDAD NACIONAL
DE COLOMBIA SEDE MANEALES

LS.B.N 958-9322-37-9

Aviares:

Jos Alonso Saiazar Caicedo


Licenciado en Educacin
Matemabca
Profesor Asociado

Bernardo Acevedo Fras


Matemtico
Profesor Asoaado

Universidad Nacional de Coiombia


Sede Manizales

impreso por
Centro de Pubfccaciones
Universidad Nacional de Colombia
C-J Manizacs
ocQt >|.||||.1M

Noviembre de 1997
Primera Edicin
PRLOGO

El texto titulado SUCESIONES Y SERIES est destinado a servir de apoyo a los


estudiantes que inician sus primeros estudios de matemticas en las carreras de Ciencias
e Ingeniera. Hemos credo que en un nivel primario el tratamiento deber ser claramente
intuitivo y basado en una buena calidad de ejemplos resueltos y en una cuidadosa
seleccin de ejercicios propuestos. De manera natural, este enfoque ocasiona una
prdida considerable de exposicin abstracta y rigurosa que podra ser objeto de
escritura sistemtica en las asignaturas de Anlisis Matemtico o Clculo Avanzado.
En este sentido la lnea de accin est matizada por un fuerte sabor didctico pedaggico,
toda v e z que partimos de situaciones concretas para llegar paulatinamente a
formulaciones generales y conceptuales, con la perspectiva de afianzar el aprendizaje
a travs de las aplicaciones.

En el captulo sobre sucesiones se introduce el concepto de convergencia en el contexto


de los nmeros reales, las propiedades respectivas as c o m o la clasificacin
correspondiente: Convergentes, divergentes, acotadas, no acotadas, crecientes,
decrecientes, montonas, oscilantes. Procuramos en todo momento mantener constante
atencin en el axioma fundamental (Topolgico o de Completez) de los nmeros reales:
Toda sucesin creciente y acotada de nmeros reales es convergente. De otro lado, se
tratan en detalle las formas indeterminadas, de importancia en la prctica del clculo
de lmites. El futuro ingeniero y matemtico debe poseer soltura en esta rea.

En el captulo sobre series se introduce el concepto de serie numrica en estrecha


conexin con el concepto de sucesin. Destacamos la linealidad de las series
convergentes su clasificacin en condicional y absolutamente convergentes. Los criterios
del Cociente, Raz, Integral, Raabe y Gauss se estudian con profusin de ejemplos
desarrollados a los largo del texto. El nfasis desemboca, como es usual en estos
temas, en poner de relieve la importancia de las series de potencias, de trascendencia
en la solucin de ecuaciones diferenciales ordinarias.

Hubiera sido nuestro deseo que el profesor ALVARO GARZN TOVAR quin
colabor en la etapa inicial, nos acompaara en la primera edicin sus valiosos aportes
ayudaron mucho. Infortunadamente falleci en forma prematura.

Por ltimo, agradeceramos al estamento Universitario, profesores y estudiantes, las


criticas y sugerencias que tengan a bien hacernos llegar. Por lo dems los autores se
responsabilizan de los errores y deficiencias cometidos, este es el fruto de la experiencia
como docentes de la Universidad Nacional de Colombia Sede Manizales.

JOSE ALONSO SALAZAR CAICEDO


BERNARDO ACEVEDO FRIAS
ALVARO GARZN TOVAR (Q.E.P.D)
TABLA DE CONTENIDO

SUCESIONES Y SERIES

CAPTULO I SUCESIONES

1.1 INTRODUCCIN Y GENERALIDADES 1


1.2 DEFINICIN DE SUCESIN 2
1.3 OPERACIONES 3
1.3.1 Suma y Resta 3
1.3.2 Producto 3
1.3.3 Cociente 3
1.4 GRFICA DE UNA SUCESIN 4
1.5 CLASIFICACIN 5
1.5.1 Sucesin constante 5
1.5.2 Sucesin creciente 6
1.5.3 Sucesin decreciente 7
1.5.4 Sucesin montona 8
1.5.5 Sucesin oscilante 9
1.5.6 Sucesin acotada 10
1.5.7 Progresin aritmtica 12
1.5.8. Progresin geomtrica 12
1.6 LMITE DE UNA SUCESIN 14
1.6.1 Definicin de una sucesin nula 15
1.6.2 Sucesin convergente. Sucesin divergente 17
1.6.3 Subsucesin 20
1.6.4 Sucesin divergente a ms infinito 21
1.6.5 Sucesin divergente a menos infinito 21
1.7 PROPIEDADES DE LOS LMITES DE SUCESIONES
DE NMEROS REALES 25
1.7.1 Unicidad del lmite 25
1.7.2 Lmite de una constante 25
1.7.3 Lmite de la suma 25
1.7.5 Limite del producto 27
1.7.6 Limite del cociente 27
1.7.7 Reglas para operar con los smbolos 28
1.7.8 No existencia del lmite 29
1.7.9 Lmite de la forma cero sobre cero 29
1.7.10 Teorema de la doble desigualdad 30
1.7.16 Sucesin acotada 36
1.7.17 Completez de los nmeros reales 37
1.7.19 Sucesin equivalente 41
1.7.20 Propiedad 42
1.7.27 El nmero e 49
1.8 FORMAS INDETERMINADAS 54
1.9 SUMAS FINITAS 59
1.9.1 Definicin 59
1.9.6 Propiedad telescpica 60
1.10 CLCULO DE ALGUNOS LMITES 63

CAPTULO II SERIES

2.1 INTRODUCCIN 65
2.2 DEFINICIN DE SERIE NUMRICA 66
2.3 CONVERGENCIA Y DIVERGENCIA 67
2.4 SERIE TELESCPICA 69
2.5 SERIE GEOMTRICA 71
2.6 PROPIEDADES 77
2.7 CRITERIOS DE CONVERGENCIA 83
2.7.1 Criterio del trmino n-simo 83
2.7.2 Criterio de acotacin 85
2.7.3 Criterio del resto 86
2.7.4 Criterio de comparacin directa * 88
2.7.5 Criterio de la integral 91
2.7.6 Criterio asinttico 94
2.7.7 Criterio de paso al limite (generalizacin del criterio asinttico) 97
2.7.8 Criterio de Pringstheim 102
2.7.9 Criterio de la razn 103
2.7.10 Criterio de la raz (Cauchv) 106
2.7.11 Criterio de Raabe 109
2.7.12 Criterio de Gauss 111
2.8 SERIES ALTERNADAS 116
2.8.1 Criterio de Liebniz para las series alternadas 116
2.8.2 Estimacin del resto 118
2.9 SERIES DE TRMINOS CON SIGNO VARIABLE 119
2.9.1 Convergencia absoluta y condicional 120
2.9.2 Criterio de la convergencia absoluta 121
2.9.3 Criterio del cociente 123
2.10 SERIES DE POTENCIAS 125
2.10.1 Definicin y ejemplos 125
2.11 ALGUNAS PROPIEDADES DE LAS SERIES POTENCIAS 128
2.11.7 Producto de Cauchy 133
2.11.8 Divisin de series de potencias 135
2.12 SERIE DE TAYLOR 138
2 13 TEOREMA DE TAYLOR 139
CAPITULO I
SUCESIONES

1.1. INTRODUCCION Y GENERALIDADES

Si cada entero positivo n est asociado un nmero real an, se dice que el
conjunto ordenado {aj, a2, a 3 ,..., a,...... } define una sucesin real infinita.

Los trminos de la sucesin son los nmeros a(. a2. . y as hablaremos del
primer trmino aj, del segundo trmino a2, y en general del n-simo trmino an.
Cada trmino a tiene un siguiente a^+i y por lo tanto no hay un ltimo trmino.

Los ejemplos ms comunes de sucesiones se pueden construir dando alguna


regla o frmula explcita, que proporcione el trmino n-simo, tal como a =,
n
b n = 2 " ; c=logn,... etc. Para hallar los trminos de a n =, se sustituyen
n
los valores de n = 1,2,3... para obtener { a t , a2, a 3 ,... } = { 1, 1/2, 1/3,... }. Los
puntos suspensivos se usan para sugerir que los trminos de la sucesin
continan indefinidamente. Algunas veces se necesitan dos o ms frmulas
para especificar los trminos de una sucesin, por ejemplo a 2 n -i~l y a2n = 2n2.
Aqu los trminos de la sucesin pertenecen al conjunto { ai, a 2 , a 3 , a4,... } =
{ 1,2,1,8,.. } ya que ai = a 2 ( 1 H = 1 , a 2 = a 2 a ) = 2 , a 3 = a 2(2) .,= 1, =
a2<2) = 8 y as sucesivamente. Otra forma corriente de definir una sucesin,
consiste en mostrar un conjunto de instrucciones u operaciones que indican
como se obtiene un trmino a partir de los anteriores, as por ejemplo: a t =
a2 = 1 y a n+i = an + an.i si n > 2 ( Sucesin de Fibonacci). Los trminos
de esta sucesin pertenecen al conjunto de valores {ai, a 2 , a3, a4, ...} = { 1 , 1 ,
2, 3, 5, 8, 13,...} ya que a 3 = a2 + ai = 1 + 1 = 2; a 4 = a 3 + a 2 = 2 + 1 = 3;
a5 = a 4 + a3 = 3 + 2 = 5 y en forma anloga se encuentran los dems trminos.

1
Una Sucesin se puede especificar de varias formas; por ejemplo la
sucesin {1,4,7, 10,...} es susceptible de representarse por {3n - 2 } y , en
forma abreviada, tambin por a = a^j + 3; ay = 1 y n > 2. Observe que son
tres formas de expresar la misma sucesin.

En toda sucesin lo esencial es que exista una funcin " f " definida para todos
los enteros positivos a partir de uno fijo, de modo que f(n), es el n-simo
trmino de la sucesin para cada entero positivo n en el dominio de " f ".
Efectivamente este es el camino ms conveniente para establecer una
definicin formal de una sucesin.

Definicin de la expresin "casi todo entero positivo ".

Casi todo entero positivo n, significa, todos los enteros positivos, salvo un
nmero finito. Dicho de otra forma, existe un nmero natural n 0 tal que n > n 0
para todo n.

1.2. DEFINICION DE SUCESIN

Una sucesin es una funcin " f " cuyo dominio son casi todos los enteros
positivos. Si el recorrido es un subconjunto de los nmeros reales, f se dice una
sucesin real y si el recorrido es un subconjunto de los nmeros complejos, f
se dice una sucesin compleja. El n-simo trmino de la sucesin " f ", se
denotar por f(n) o en forma suscinta por a y la sucesin misma por { a }
{ f ( n ) } (a ). En la prctica basta con especificar el trmino general a , si
no hay riesgo de confusin.

Generalmente se utilizan letras minsculas subindizadas entre corchetes o


parntesis. Preferiremos en adelante esta ltima aceptacin cuando se trata de
precisar las definiciones

Ejemplo 1. , tiene como dominio el conjunto

{2,3,4,...}.

2
1.3. OPERACIONES

1.3.1. Suma y resta. Sean f y g dos sucesiones, se define la suma (resta) de


f y g por la frmula,

(fg)(n) = f(n)g(n) {a*} {b} = { a n b n } .

\
Ejemplo 1. (n) + n+I; n > 1
nJ n.

Ejemplo 2. ( 2 > (n) = ( 2a - n ); n > 1

1.3.2. Producto. Sean f y g son dos sucesiones. Se define el producto de f y


g por la frmula ( f g ) ( n ) = f( n )g( n ) (a) (b n ) = (a b).

Ejemplo 1. (n) (n 2 ) = (n 3 ); n > 1

Ejemplo 2. (3 n ) (n + 1) = (3 n (n+1)); n > 1

Ejemplo 3. (5) (n) = (5n); n > 1

1.3.3. Cociente. Sean f y g dos la sucesin. Se define el cociente de f y g por


la frmula,

T
VgJ

Ejemplo 1. 7^T= : n>1


(n+1) vn + l j
^
Ejemplo 2. ; n>1
(3 n ) bD.

Nota. Para evitar el uso excesivo de parntesis, en muchas ocasiones,


denotaremos la sucesin por a .
3
Para una sucesin, lo mismo que para cualquier funcin, se puede elaborar un
bosquejo de su grfico, aunque ste, para el caso de una sucesin , dice muy
poco, tal como se puede apreciar en los ejemplos del pargrafo siguiente.

1.4. GRAFICA DE UNA SUCESIN

La grfica de una sucesin se puede obtener marcando simplemente los puntos


ai, a 2 , a3,... sobre una recta o bien marcando los puntos ( n, a ), en el plano
cartesiano OXY.

Ejemplo 1. (a n ) =

fig 1

a3 &2 ai

1/3 1/2

fl&O
A 5g2

a
r<U)

aj-(2,1/2)
a
j-(3,l/3)

De la grfica observada en la figura 1, se puede intuir que los trminos de

se acercan cada vez mas al origen y de la (figura 2) que los puntos ( n,a)
se acercan cada vez mas al eje horizontal (eje x) a medida que n crece, o bien a
medida que n toma valores suficientemente grandes.
Ejemplo 2. (b) = (n)

fig3

/ 3,1 3-2 33 34

fin) fig4
A

V03)
I

I I
a
i-.l) I
"T 1
n
1 2

De las grficas anteriores (fig 3, fig 4), se puede afirmar que los trminos de
(n) se alejan cada vez mas del origen tanto como se quiera.

1.5. CLASIFICACIN

1.5.1. Sucesin constante. Una sucesin (an) es constante s y solo si


an = a n+ i para casi todo entero positivo n, en el dominio de la sucesin, es decir,
si an = a n+] para todo n > n0, con no fijo.

Ejemplo 1.(1*) = (1,1,1, )

Ejemplo 2. (2) = (2,2,2, )

Ejemplo 3. (0) = (0,0,0, )

5
1.5.2. Sucesin creciente. Se dice que una sucesin (a n ) e s creciente si

a n < an+i, para casi todo entero positivo n en el dominio de la sucesin, e s decir,

a n < a,1+i para todo n > n 0 . con n 0 fijo.


Para demostrar que una sucesin {a}es creciente, basta verificar que
Si SL
(a n + ] - an) > 0 y si a n > 0 , tambin basta determinar que < 1 > 1
a n + 1, a" n
para todo n > n 0 .

Ejemplo 1. Demostrar que an = (2n) es una sucesin creciente .

Solucin. an+1 - an = 2 n+l - 2n = 2n(2 - 1) = 2n > 0, para todo n > 1. (como


ejercicio demostrar que 2n >0, para todo n > 1. Utilizar induccin matemtica).
Por lo tanto (a+i - a )> 0,es decir, an+i > an

Ejemplo 2. Demostrar que an = ( e s una sucesin creciente.


n + 3.
2(n+l) 2n
Solucin : a+i - a =
(n + l) + 3 n + 3
(2n + 2Xn + 3 ) - 2 n ( n + 4)
(n + 4Xn + 3)
>0, luego (a+i - a) > 0 para todo n > 1.
(n + 4)n + 3)

Ejemplo 3. Demostrar que a n = {n2} es una sucesin creciente.

Solucin : an^i - an = (n+1 )2 - n : = 2n+l > 0 y as (an+i - a n )>0 para todo n > 1.

Ejemplo 4. Demostrar que an = J es una sucesin creciente.

c . (n + 1)! n! ni(n + l ) - 2 ( n ! ) ni . .
Solucion : aTl - an = - = ^ = (n - n1) > 0, para
todo n > 2.

Luego (an+1 - a n )> 0, es decir , a< a ^ para casi todo n. Obsrvese que para
n = 1, se tiene que a 2 - ai = 0 y en este caso se puede afirmar que a.i - a^ > 0,

6
para todo n > 1, es decir, an < a+i para todo n > 1. A este tipo de sucesiones
algunos autores las suelen llamar sucesiones no decrecientes, en otras
palabras; (an) es no decreciente si a n < an+i para todo n.

A lo largo del presente captulo, cuantas veces aparezca el simbolo n, mientras


no se afirme lo contrario, representar un entero positivo.

1.5.3. Sucesin decreciente. Se dice que una sucesin (a n ) es decreciente si


an > a n+] para casi todo n en el dominio de la sucesin, es decir, a > a n+ i, para
todo n > n 0 , con n 0 fijo.

Ejemplo i. Demostrar que la sucesin (an) = (1/n) es decreciente.

Solucin : a^i - an = =-i^il = L _ < o luego anJ.i - a < 0 y

as a > an+i, para todo n.

Tambin - = / j < ! (ejercicio)

Ejemplo 2. Demostrar que la sucesin a = es decreciente. Comparar


v n!y
con el ejemplo 4,1.5.2

Solucin: La expresin a+i - a es igual a la diferencia,


2n+1 2" 2" -2-2 n (n +1) 2"(2-n + l) 2"(l-n)
< 0, para casi todo n.
(n + 1)! n! n!(n + l) n!(n +1) n!(n + l)

Ahora obsrvese que a n+l - an = - j < 0 para todo n, es decir, a+i < v
n! VI + n/
para todo n. A ste tipo de sucesiones se les suele llamar sucesiones no
crecientes. es decir. {an} es una sucesin no creciente, si an^ < an para todo n.

Observacin: Acerca del vocabulario creciente, decreciente, no decreciente o


no creciente, no hay consenso general y su empleo difiere segn las
preferencias de los diversos autores. Es mas, lo que hemos definido como

7
creciente en el texto, se suele llamar estrictamente creciente en otras obras.
Anlogamente para el concepto de sucesin decreciente.

Ejemplo 3. Demostrar que an = es una sucesin decreciente.


n\J
Solucin :
a
5"+l 5" 5" - 5-5"(n +1) ?(4-n)\
n+\ - n = 7(r +1)!
777 - n\ =
!( +1) =
n\\n + \J < 0, para
r todo n > 5
luego a n+) < an para casi todo n.

f 100]
Ejemplo 4. Demostrar que la sucesin a n = < ^ es decreciente.

.. 100"+1 100" 100"100 100" 100" ( 9 9 - n \


Solucion : an+i- a = = Lluego,

(an+1 - a,,) > 0 si n < 9 9 y a+I - a n < 0 si n> 99.

Algunos trminos particulares ilustran la situacin anterior. Veamos:


r- .. ,-> '
99 1(K> 99
100 _ 100 _ 100-100 _ 100" _
ano
w , ^on a()Q y asi: an_i > an si
99! 100! 100-99! 99!
n < 99 y a+i < an si n > 99, luego a > an+i para casi todo n luego la sucesin
'lOO^
es decreciente.
v n! y

1.5.4. Sucesin montona. Una sucesin (an) es montona si (a ) es creciente


o decreciente, o bien no creciente o no decreciente.

Ejemplo 1. La sucesin (a n ) = (n 2 ) es montona, ya que es creciente.

Ejemplo 2. La sucesin (bn) = es montona, ya que es decreciente.

Ejemplo 3. La sucesin (1, 1/2,1,1/3,...) no es montona; no es creciente ni


decreciente.

8
Tambin existen sucesiones que no son constantes, ni crecientes, ni
decrecientes, como por ejemplo:

f
(-l)n+A
(a) =
n!

Tres trminos consecutivos son:

(-])" + I . (-1) B + 2 . _ (-l)n+3


a U
n = , i n+1 =( + 1)! ' n*2 (#1 + 2)!

Ahora, tres trminos consecutivos si n es par son:

a
1 a
1 a
_ 1 ,
2m - ~ > 2m+l ~ TZ ~777 > 2m+2 ~ ~ ~T77 = luego a n <a n+1
(2m)! (2m+l)! (2m + 2)!
y a n + 1 >a n + 2 ; (n = 2m).

Para n impar, tres trminos consecutivos son:

1 _ 1 2
&2m+l ; a 2m 1 ;
~ (2m+1)! " * ~~(2m + 2)! " (2m+3>! ' l u e g o a n > 3,1+1 *
an+i < a+2 (n = 2m+l). Este es un ejemplo de una sucesin oscilante y motiva
la siguiente definicin .

1.5.5. Sucesin oscilante. Una sucesin (a n ) es oscilante, si a,, > an+j y


an+] < a n+2 o a n < a n+] y an+1 > a n + 2 , segn se considere n = 2m+l n = 2m,
(respectivamente).

n
Ejemplos. Las sucesiones ((-1)V) ; ((-3)n) ; ((-l) n ) ; ' (~l) " son oscilantes.
V n + \)

Nota: Para evitar el uso excesivo de parntesis denotaremos la sucesin


( a ) abreviadamente por a

9
1.5.6. Sucesin acotada. Una sucesin (an) de nmeros reales es acotada
superiormente si existe un nmero real Q tal que a < Q para todo entero
positivo. Diremos que Q es una cota superior, porque cualquier nmero mayor
que Q es tambin una cota superior. En algunos casos, la imgen geomtrica de
la sucesin sobre la recta real puede ayudar a visualizar algunas cotas
superiores de la sucesin cuando estas existan. As por ejemplo, al representar
la sucesin a n = , vemos que. Q 2 =1, Q 3 =e, Q 4 = 1000, son cotas superiores

para la sucesin dada.

En cambio, si consideramos la sucesin (b) = (n2), observamos que no existen


cotas superiores para esta sucesin.

Intuitivamente, una cota superior Q deja todos los trminos de la sucesin a la


izquierda de Q en la recta real.

En forma anloga, una sucesin es acotada inferiormente si existe un nmero


real P tal que a n >P para todo n. Diremos que P es una cota inferior, porque
cualquier nmero menor que P es tambin una cota inferior.

Resulta natural y til generalizar las ideas anteriores a subconjuntos arbitrarios


de nmeros reales. As, diremos que un subconjunto A de nmeros reales es
acotado superiormente si existe un nmero real u tal que x < u para todo x e A.
Aceptaremos como una caracterstica fundamental de los nmeros reales el
hecho de que para un subconjunto A de nmeros reales, acotado superiormente
es posible seleccionar una cota superior que satisfaga las dos propiedades
siguientes:

i) x<s para todo x e A


i) s<t para toda cota superior t del conjunto A.

Dicho de otra manera s es la mnima cota superior para el conjunto A, llamada


tambin el extremo superior de A y se denotar por sup A De manera
completamente similar el lector no tendr dificultad en formular el concepto de
mxima cota inferior ( o el extremo inferior de A, denotado inf A ) para un
conjunto acotado inferiormente.

Ejemplo 1. Sea A = {x : a<x<b} = [a,b], intervalo cerrado de extremos a y b.

10
Aqu, a = inf A; b = sup A. Ntese que a y b pertenecen al conjunto A.

Ejemplo 2. Sea A = { x:-l < x < - 4 } = ( - 1 , - 4 ] , intervalo semiabierto


(o semicerrado de extremos -1 y -4)

En este caso -1 = inf A ; -4 = sup A, pero -1 A.

Ejemplo 3. Sea A={x: x > 3}=(3,+oo), intervalo infinito de origen 3.

Aqu inf A = 3 pero sup A = no existe.

Con referencia a las sucesiones de nmeros reales, diremos que una sucesin es
acotada si lo es tanto inferior como superiormente. Esto equivale a afirmar que
existen dos nmeros reales P y Q que satisfacen la doble desigualdad

Q < an < P

para todo entero positivo n. Equivalentemente, existe un nmero positivo M tal


que |a| < M, para todo n, donde M es el mayor de los nmeros |P | , |Q|.

Desde un punto de vista geomtrico, una sucesin es acotada si todos sus


trminos estn comprendidos entre los nmeros -M y M. Es claro que M sera
una cota superior y -M sera una cota inferior. Y si M es una cota superior para
la sucesin (an), todos sus trminos que dan ubicados a la izquierda de M, y
si -M es una cota inferior todos sus trminos estn localizados a la derecha de
-M en el eje real.

Ejemplo 4. La sucesin (n) no es acotada. Solo es acotada inferiormente.

El conjunto de las cotas inferiores es { P | P < 0}

Ejemplo 2. La sucesin (1,0,1,0,...) es acotada. Tomar por ejemplo M=1 o


cualquier nmero real mayor o igual que 1.

Ejemplo 3. La sucesin (-n) no es acotada, ya que solo es acotada


superiormente. El conjunto de las cotas superiores es { r e R | r > 0}.

Ejemplo 4. La sucesin (a n ) = (0.3,0.33,0.333,..,)es acotada, sup {an} = 1/3.


Tomar por ejemplo M = 1.

11
Ejemplo 5.La sucesin (a) = j^J es acotada. Tomar por ejemplo M = 2.

Adems sup {an} = 1 e inf {an} = 0.

Observacin: En algunas aplicaciones prcticas los nmeros P.Q, pueden ser


sugeridos por la representacin grfica de la sucesin.

1.5.7. Progresin aritmtica. Es una sucesin de nmeros en la que cada


trmino a partir del segundo, es igual al precedente ms una constante, es decir,
una sucesin numrica (an) tal que para cualquier nmero natural n se verifica
la condicin, a ^ = an + d, donde d es un nmero real constante para la
sucesin dada. El nmero real d es la razn de la progresin.

Ejemplo 1. (a) = (1,2,3,4,...) es una progresin aritmtica, con razn d=l.

Ejemplo 2. (an) = (3,5,7,9,...) es una progresin aritmtica, con razn d=2.

1.5.8. Progresin geomtrica. Es una sucesin de nmeros reales, en la cual


todo trmino a partir del segundo es igual al precedente multiplicado por un
nmero constante distinto de cero. En otras palabras, una progresin
geomtrica es una sucesin numrica (an) tal que para cualquier natural n se
verifica la condicin, an+i = an.q, donde q es un nmero real q * 0 y constante
para la sucesin dada. El nmero q se dice que es la razn de la progresin.

El trmino general de una progresin geomtrica, se calcula por an = ai.q11"1


(su demostracin se har por induccin sobre n (ejercicio)).

Ejemplo 1. La sucesin (2,6,18,...) es una progresin geomtrica con razn


q = 3.

Ejemplo 2. La sucesin (4,2,1,...) es una progresin geomtrica con razn


q = 1/2.

12
EJERCICIOS 1

I). Dar los tres primeros trminos de las sucesiones siguientes.

3
fe} -fif} M--dI
1
5.|1 6.1 I 7lkj
U-3J l(n-3Xn-3)J [t f

8 a n + 1 = ~ ;a, =-1 9. aB+1 = ; a, = 1, a 2 = 3. n > 2


2 a
-i

II). Halle el trmino n-simo de las sucesiones siguientes.

13 5 7 | M l J_ | 1 1_1 1
l2'4'6'8'"J [3' 9 ' 2 7 ' " J [ 2'2 3 ' 3 4'""J

4.{l,2,1,4,1,6,...} 5. { l i l i , . . . } 4 M 4 > 4

III). Se deja caer una pelota desde una altura inicial de 15 m sobre una losa de
concreto. Cada vez que rebota, alcanza una altura de 2/3 de la altura inicial,
hallar la altura que alcanza en el primero, segundo, tercero,... n-simo rebote.

IV). Clasificar las siguientes sucesiones como oscilantes, crecientes,


decrecientes .acotadas

2
'ferr} (-T5}

,( - )7.uq
lV 2 + i j 1 4 " + 1J
8. ^ln
W + 3]
9. (eos ;r)

n
10.fn+I = l + 2a ,a, = 1 il (-ir 12.
3

13
1.6. LMITE DE UNA SUCESION

Obsrvese que la sucesin jj cuya representacin grfica se puede apreciar

en la fg( 5), presenta un comportamiento especifico.

fig 5

. a4 a3 as ai
<; >

i) Intuitivamente, los trminos de la sucesin I 1 = j l , I estn cada


Vn/ V 2 3 4 J
vez ms cerca de cero tanto como se quiera, tomando n suficientemente
1 a cero sea menor que 1 , n
grande; por ejemplo, para que la distancia de
n 100
debe ser mas grande que 1000, < entonces, n > 1000

1 1
ii). Para medir la cercana de a cero, se debe calcular la distancia entre
n n
y cero, es decir, j - 0 |. La medida de sta pequeez (arbitraria) se denotar
n
por e > 0. Traduciendo lo anterior a smbolos : | 0 | < 8 si n es
n
suficientemente grande.

,
3 1 1
Para el ejemplo en consideracin si se toma e = 10 , | 0 j = | | < e si y
n n
1 1 1 , .V

solo si -8 < < 8 bien e (-s , e). Luego - e vI-IO'MO^) para casi
n n n '
1 ^
todo n si <10~? n > 10 J
y bastara elegir n 0 = 10".
n
Si se toma s = 10"4 se tiene q u e : - s (-O^.IO -4 ) si n ) = 104 = n0. De sto ,
n s
se puede concluir a manera de ejemplo que el intervalo abierto (-10"4, 10"4)

14
contiene un nmero infinito de trminos de la sucesin J y dicho intervalo

deja por fuera un nmero finito, a saber:

la siguiente definicin que constituye uno de los pilares del anlisis moderno.

Se dice que una sucesin tiene limite cero, si dado 8 > 0, (por pequeo que
sea), el intervalo abierto (0-8, 0+s) contiene infinitos trminos de la sucesin
{an} y fuera de l, queda solo un nmero finito. De manera mas formal:

1.6.1. Definicin de sucesin nula. Sea (an) una sucesin de nmeros reales.
Se dice que (a) converge o tiende hacia el nmero real cero, o que cero es el
limite de (a n ), si para cada nmero estrictamente positivo 8 se puede elegir un
entero positivo N = N(e) tal que |an| < 8 para todo entero n que satisfaga la
condicin n > N(e).

Se expresa que cero es el lmite de la sucesin (a n ) por el smbolo lim a n = 0.

Dicho de otro modo, el smbolo lim a n = 0 significa que para todo 8 > 0

(por pequeo que sea ) existe N > 0 (N = N (8), que depende de 8 ), tal que si
n > N entonces a e (-8 , e), es decir, | a n | < 8. En forma equivalente: Dado 8 >
0 existe N = N(e) tal que | a n | < 8 para casi todo n o tambin : dado 8 > 0 ,
existe N = N(e) >0, tal que | a | < e si n > N(e) = n0. Este tipo de sucesiones
son sucesiones nulas e infinitsimas.

Observacin: El smbolo liman = 0 se lee " el lmite cuando n tiende hacia


infinito de la sucesin a es igual a cero".

Analicemos un segundo ejemplo y consideremos un cuadrado de lado 1, (fig 6),


que representaremos por Ci. Si unimos los puntos medios de sus lados
(por segmentos rectilneos) se obtiene otro cuadrado C?, y as sucesivamente se
llega a una sucesin de cuadrados {Ci,C2,C3,...} con sus respectivas reas
{Si,S2,S3,...,Sni,...}, donde

S, - 1, S 2 - j , ... S n -

15
fig 6
Cl

De manera Intuitiva el rea Sn puede llegar a ser tan pequea como se quiera
tomando n suficientemente grande, pero esto se puede expresar as:

m
Dado e > 0, (por pequeo que sea) se puede encontrar un trmino de D-1
2 y
tal que l y todos los siguientes son menores en valor absoluto que 8. En otras
1
palabras, para todo 8 > 0 existe N > 0 tal que si n > N entonces, 0 < .

Si generalizamos los ejemplos anteriores, diremos que una sucesin (an) tiene
lmite L cuando n tiende hacia +<x, si para todo 8 > 0, (por pequeo que sea), el
intervalo abierto (L-e, L+s) contiene un nmero infinito de trminos de (a) y
el exterior de dicho intervalo contiene un nmero finito. O en forma mas
precisa: Se dice que lim a n = L si para todo e > 0 (por pequeo que sea)
noo

existe N > 0 tal que si n > N entonces a e ( L-e, L+s), es decir, / an-L j < e
para casi todo n.

n+1
Ejemplo. Demostrar que lim = 1
n

n+ 1 n +1 - n 1 1
Solucin : | a - L | = - 1 = < e o n > - = N(e),
n
l III 1 I |n + l l
lueao si n > N. entonces n > o H = +1 - 1, = : - 1; < e y asi
e n in n

n+1
lim = 1.
n-a= n

16
Un)
A fig 7

Vt 1 . 2 )

aj-CtfO)

1.6.2. Sucesin convergente. Sucesin divergente.

Si una sucesin (a) tiene limite real L, se dice convergente y en este caso
diremos que la sucesin {an} converge hacia L. En caso contrario la sucesin
(an) es divergente.

En caso de que lima n = L, (el lmite existe y es un nmero real finito) el


comportamiento de la grfica ser similar al de las figuras siguientes
(fig 8, Fig 9).

- = ( )

as 84 L - e a N+I aN+2 L L+g a3 ai

(Fig. 8)

(fera del intervalo (L-sX+e) existe un nmero finito de trminos)

17
f(n)
A

L +

L-8

-> n

En la banda comprendida entre L-e,L+e; existen infinitos trminos de la


sucesin. Por fuera de la banda, hemos dejado cinco trminos (un nmero
finito) de la sucesin.

Observamos que los puntos (n , a n ) para un 8 > 0 dado estn entre las rectas
L+e, L-e a partir de un n>N, es decir, el intervalo abierto (L-e,L+e) contiene
un nmero infinito de trminos de (an) y deja por fuera un nmero finito,
precisamente los trminos ai,a2,...,an.]. Desde luego que la forma en que los a n
se aproximan a L, puede ser diferente a lo observado en las figuras 8 y 9.

Ejemplo 1. Demostrar que lim - 7 = 0


n->o 2

Solucin: Hay que demostrar que dado 8 > 0, existe N > 0 tal que si n > N
1
entonces > - 0 < 8. Las siguientes afirmaciones son equivalentes:

1
0 <
2" - 0

n) Y < *

ui) 2" > -


e

tv) n log2 > log

18
Obsrvese que justamente cuando - < 1 se tiene que N 0 < 0 y todo trmino de
s
la sucesin pertenece al intervalo (-E , 8) a partir de n > 1 y basta tomar N=1.

De lo anterior no solo se garantiza la existencia de N, sino que tambin se


1
cumple que si n > N, entonces 0 < e, debido a las equivalencias i) a v).
l"

2n +1
Ejemplo 2. Demostrar que lim
3n + 4

Solucin. Hay que demostrar que dado 8 > o, existe N > 0, tal que si n > N
2n +1 2
< .
3/7 + 4 j

Las siguientes afirmaciones son equivalentes:


2n + \ 2 6/7 + 3 - 6 - 8 5 5
0 <
3n + 4 3 9/7 + 12 9 + 12 ~ 9 + 12

ii) 5 < 9ne + l2s

5-l2e
iii) <n
' 9e

v 5-12
iv) =^0

En caso de ser N0 < 0 , todos los trminos de la sucesin a partir del


(2 2 \
primero (n > 1) pertenecen al intervalo -e, + ej. y bastara tomar N = 1.

Ejemplo 3. Demostrar que lim 0.333... = lirni -



n 'veces
n-+c\io 102 10V 3'

19
Solucin. Hay que demostrar que dado 8 > 0 existe N > 0 de modo que si
1
n > N entonces. 0.33... 3 - < e.

0.99...9 - 1
Como 0.33...3- = l[0.00...i]

1 1 1
= < < E si n)N
NXT
=
3 10" 2" ln2

Ejemplo 4. Demostrar que lim (-1)" = 0


i J-J

Solucin. i ( - i ) n- 0 J| = !(-*)n = - < e o n < - = N, luego N existe y adems si


n n n s

x, 1 1 (-1)" - 0 , es decir
(-ir - 0 < e, que es lo
n > N = entonces e> =
e n
que se quera demostrar.

1.6.3. Subsucesin. Sea (an) una sucesin. Una sucesin de la forma


a n ] , a , a n ? ...j donde n b n2,n3,... es cualquier sucesin creciente de enteros
positivos, se denomina una subsucesin. Note que (a n ^ ) est definida
mediante una composicin de funciones. Esto se hace mas evidente si se
escribe a k en la forma a(n(k)); por ejemplo si aD = y n^ = 2k,
n
entonces ank = a(n(k)) = a,k = ~ y por lo tanto | es una subsucesin de

(3
Si una sucesin converge hacia M, entonces cualquier subsucesin
,a n2 ,a n j ,...)converge tambin hacia M.

20
Demostracin (ejercicio).

Esta propiedad resulta til para probar que ciertas sucesiones carecen de limite,
ya que si ( a n ) tiene por ejemplo dos subsucesiones con lmites diferentes
entonces ( a n ) carece de lmite.

Ejemplo 1. La sucesin (-1)" es divergente, ya que tiene las subsucesiones


(1,l,...) = ((-l) 2 n )y (-1,-1,-1,...) = ((-l) 2n+1 ) con lmites 1 y-1 respectivamente.

Ejemplo 2. Se sabe que la sucesin j tiene lmite cero, entonces las

1 ' 1> 1 1 i '


subsucesiones tienen lmite tambin cero.
n V2V'V5V\n2n

1 3 4
Ejemplo 3. La sucesin 0,-,0,,0,,... i no tiene lmite ya que tiene dos
2 4 5
4
subsucesiones (0,0,0,...);! - , - , - , . . . ] con lmite 0 y 1 respectivamente.
2 '4' 5

1.6.4. Sucesin divergente a mas infinito. Si los trminos de la sucesin (a)


aumentan su valor tanto como se quiera a medida que n crece, se dice que la
sucesin (an) diverge a +<X y lo notaremos por: lim an = + QO ; en otras palabras
DH3C

diremos que lim a n = + oo s para todo M > 0 (por grande que sea), existen N >
n>K

0, tal que si n > N entonces a n > M.

1.6.5. Sucesin divergente a menos infinito. Si los trminos de una sucesin


(an) disminuyen su valor tanto como se quiera para valores de n
suficientemente grandes, se dice que la sucesin (a) diverge a menos infinito y
se nota por lim a n = - QO. En otras palabras, diremos que lim a n = - oo si
n< noo

(-a) diverge a mas infinito.

Aclaramos que los smbolos -oo y -oo no representan nmero real alguno, y
segn nuestra definicin de divergencia los lmites asociados con tales
smbolos no existen.

21
Ejemplo 1. Demostrar que lim a n = n 2 = +00.
n-v

Hay que demostrar, que para todo M > 0 existe N > 0 tal que si n > N
entonces an = n2 > M. Pero si an = n2 > M entonces n > vM y tomando

jN = yMse tiene que si n > N = VMentonces an = n* > M, que es lo que se


quera demostrar.

22
EJERCICIOS 2

I). Demostrar por medio de la definicin que:


2n +1 2n 2 2
,
l.lim
^ .
-> n 4-
3 = 2 2.1im j>n + 1 =
3 3.hm
n +1
- = l
4. l i m zii: = 0 5 . 1 i m ^ = 0
n-oc n n-*x n
_1 n
6. lim w j = 0 7. lim = 0
-> n + e + eos n n- n" + n
1
8. lim = 0
n->!c n* + n

II). Halle el menor entero positivo N tal que la desigualdad:

3n + 2 _ 3
< e se cumpla para todo n > N si a) e = 10"2, b) 8 = 10"4
n-1

6
2. 4n - < e, se cumple para todo n > N si a > 8=10" b ) e 0 10"

III). Considere las sucesiones dadas y halle el nmero de trminos que quedan
por fuera de ( - 8 , 8 ) si:

a) e = 10"6 b)e = 10 -3

2){an} = | ^ - y j si a)s = 10"4 b)6 = 10"

3
3
)K} = | . " 1 , 1 Si 8 = 1 0 '
n +n +2

IV). Halle el nmero de trminos que quedan por fuera del intervalo (2-8,2+8)
si:

23
3
k} = { ^ U = 10

-3
2 ) W = -n r +v 2-n 7+ }1 ) - 'O

V). Halle el lmite de las sucesiones siguientes:

nir r7t 1
l.-j s e n lrI 2.<jcos-^f
2 <, c o s 3.{lnn}
1 ! l 2 ]

4.|sen~| 5.{n2-n} 6.{(-l) n e n }

VI). Dadas las sucesiones siguientes.

4 J. ,| s e n ( n + 1 ) |j 5 | _ i _ |

Halle dos subsucesiones diferentes.

24
1.7. PROPIEDADES DE LOS LMITES DE SUCESIONES DE
NUMEROS REALES.

1.7.1. Si lim a n = M y lim a n = L entonces L = M (unicidad del lmite).


II>oc " n>oc

Demostracin. Ejercicio.

1.7.2. lim c = c (el lmite de una sucesin constante coincide con la constante
nce

que representa la sucesin).

Demostracin (ejercicio).

1.7.3. Si lim a n = L y c es una constante entonces lim c a n = c L


n>oo nce

Demostracin (ejercicio).

Ejemplo 1. lim 7i = 7t

Ejemplo 2. lim 5 x = lim = 51im = 5 x 0 = 0

. . . . 6n + 3 3(2n+1) . . . 2n + l . 2
Ejemplo3. lim = lim = 3um
n>
= 3x = 2
3n + 4 3n + 4 - 3n + 4 3

1.7.4. Si lim a n =L y lim b n = M entonces lim ( a n + b n ) = L + M.


aoo noo n

(El lmite de una suma de sucesiones es igual a la suma de los lmites).

Demostracin . Como
8 . S
lim a n = L dado > 0 existe N > 0 tal que si n > N, entonces |an - Lj <
n- 2 2
y como lim bn = M; dado > O AT, > O fe modo n > N, entonces
nKc 2

Hay que demostrar que para todo s > 0 existe N > 0 tal que

n > N entonces |(a + b n ) ~ (L + M)| < e. Pero (aB + b ) - ( L + M)|=

;an - L + bn - M| < aD - l | + |b - M < | + | = e,

luego, tomando N
= max {NI,N2}, se tiene que si n > entonces, N
an + b n - (L + M)| < 8 (en forma anloga se demuestra la diferencia).

(\ i >
Ejemplo 1. Hallar lim +
n-^vn 2nJ

lim - + = lim + lim- 0 + 0 = 0 ya que lim = 0


n n xv n-* n n->x 2n n->=c n
Solucin
y lim - = 0, ( existen)
2n

2n "i-1
Ejemplo 2. Evaluar lim^
3n + 4

Solucin.

, 2n + 1 2 [(-1)", 2n + \ (-1)
. lim 7 = v lim = 0, entonces, lim
-*<*> jn + 4 3 n 3+ 4 n
2n + \
= lim - 7 - lim (-1)"
jn + 4 >I-*XV n J 3 3

Ejemplo 3. Calcular lim( n + ). Ntese que no se puede aplicar la anterior


n- n

propiedad, ya que lim n no existe.


n>ao

26
1.7.5. Si lim a n = L y iim b n = Mentonces lim a n b n = L x M
n>oc n>oc nyac

(El limite de un producto de sucesiones es igual al producto de los limites).

Demostracin. (Ejercicio)

Ejemplo 1. Determinar lim


n=c n 2 "

Solucion. lim = lim x lim = 0 x 0 =0.


n n
n* n 2 tice f ] n 2

ya que lim = 0 y lim


n = 0 (existen)
n>ce fi n- 2

Ejemplo 2. Evaluar lim A-


n-*n

Solucion. lim = limx x


n-c n n-**> n n n

= lim x lim x lim = 0 x 0 x 0 = 0

a L
1.7.6. Si l i m a n = L y limb n =M , lims- = =-
nmo n-*cc nac Q

si M y bn*0 para todo n>n 0 .

El lmite de un cociente de sucesiones es igual al cociente de los lmites.


Demostracin (ejercicio).

Ejemplo 1. Hallar lim^^


a- 2 n + 1

Solucin. En este caso lim3n + 4 =+co y lim2n + l = + c y no son


n-ao noo
aplicables las propiedades estudiadas. Por este motivo, se proceder como se
indica a continuacin:

27
ni 3 + - 1 i + *
.. 3n + 4 V r\y n
lim = lim7 -r- = lim 7-
1
-* 2n +1 J ,, + J_ | +

V n/ n

1.7.7. Reglas para operar con los smbolos "+co u , u -oo

1) (+00) +(+00) = +00

2 ) -00-00 = -00

3 ) + o o a = +oo si a GR

4 ) - o o a = -co, si a GR

5) (-00) (-00) = +00

6) ( + c o ) (+00) = +oo

+00 si a > O
7) (+oo)a =
! - 0 0 si a < O

f+00 si a < O
8) (-oo)a =
I -00 si a > O

Nota: O x (+00); O x ( - 0 0 ) son "formas indeterminadas'

9) (-00) x (+00) = (+00) x ( - 0 0 ) = - 00

Ejemplos.

1) lim(n2 + n ) = +oc
nmc

2) limn2" = +00
n-oo

3) l i m ( - n - n 4 ) = -00
n-w:

4) lim(n2 5) = +00
o

5) limn 3 = +00

28
an
1.7.8. sea liman = A * O y lim b = O, entonces lim no existe
n>00 a>ao n n>ao q
3.
Demostracin : Supongamos que lim existe v es igual a K, y como
a-* 5
ii

b a
A*0= liman = limann
= limbnn x lim-=-=
i OxK= O
n-*=c n-> Q n-^cc n K
n n

y as se obtiene una contradiccin, luego lim no existe.


n-o ]-)
a

Ejemplo 1. Analizar limn.


nx

Solucion. lim n - lim- que no existe, pues lim 1 = 1 ^ O


n-*> j jj) noo

y lim = O
n>o j j

Ejemplo 2. Analizar lim 2"

Solucion. Iim2n = lim que no existe, pues liml = 1 * O


n-w n~oo ^ ] / 9") noo

v limn= 0.
' no 7

a
1.7.9. Si lim a = O y lim b = O, entonces lim r - 0 - puede existir
n - c o n n->oon n->oobn
o no. Demostracin (ejercicio).

Ejemplo 1. sean (a n ) = - j, (b n ) = f - y j entonces,

-1
a n
lim-- = n-*<
n-*ct> r )
lim-7
1
= nce
lim(-n ) = -00 (no existe)
2
/n

29
Ejemplo 2. Sean a = y bn = ^ - j -
lima = 0 y limb = 0 entonces
n*
n j Doc n
an 2n + l 2
]im = lim- = -
n-, h n-*=o i n + J J

(-1) l
Ejemplo 3. Sean a n = ; bn = , lima n = 0 y lim bn = 0 ,
n n n->ao ti-
a
lim = lim(-l)", que no existe.
n** b nx

1.7.10. Sean (an),(bn),(cn) tres sucesiones tales que a < cn < bn para casi todo n

Si Hman = limb n = L entonces limc = L.


ox n<*> n

(Teorema de la doble desigualdad)

Demostracin:

Como n-K
lima = L, para todo 8 > 0 existe N, > 0 tal que
si n > N, entonces ja - L| < e, es decir L - e < an <L + e.

Como limbn = L, entonces para todo s > 0 existe N2 > 0 tal que si
n > N2 entonces jbn - Lj < 8, es decir, L - e < b n < L + e.

Sea N = max{N,,N 2 } > 0, entonces si n> N se tieneque


L - 8 < an < cn < bn < L + 8, luego si n > N entonces
L - 8 < c < L + 8 y asi le. - L| < 8, es decir, limcn = L, que es lo que
se quera demostrar

30
Ejemplol. Demostrar que lim ~ = 0

Solucion 1. 0 < < , y como lim = 0 y limO = 0,

entonces por el teorema de ladobledesigualdad se tiene que lim = 0.


n_aj

Solucion2.lim-l- = lim x lim = 0 x 0 = 0


n-*<*> jp n-> f) n-ao j}

sen" ii
Ejemplo2.Demostrar que lim = 0.
nx 2 "
Solucion. Sabemos que 0 < sen2 n < 1 ya que jsenn) < 1, y asi
0 ^ sen2 n 1 1 sen 2 n
< - < y como hmn = 0 entonces lim =0
2 2 2 n-2 0*<c 2"

Ejemplo 3. Demostrar que lim - 0


n- n(n +1)

Solucion. Se sabe que e n > n, luego n > ln n; y 0 < lnn < n?

y asi
0 < lnn < n = 1<
1
n(n + l) n(n + l) n(n + l) n + 1 n

y como lim - = 0 y lim = 0, por el torema de la doble desigualdad


n-*n(n+l) n-+ n
se concluye el resultado deseado.

1.7.11.Si lim aj=0 entonces lima=0 ( v reciprocamente)


n-we .

Demostracin.
Se sabe que |anl < a < j a j y como lim- |aj=0 y
n-+a>
lim ja |=0 entonces por el teorema de la doble desiguadad resulta:
lima u=0.

Ejemplo 1. Demostrar que lim c o s = o.


n

31
So/ucion. Se sabe que 0<cos 4 3n<l, luego
0 eos4 3n 1 1 1
< < y como lim 0 = 0 y lim = 0,
n n D-ao Q

eos4 3n eos 3n
entonces lim = 0 y asi lim = 0
nao fi

(-1)"
jemplo 2. Demostrar que lim =O
n-=o n!

(-1)' 1 1 (-1)"
Solucion. O< = < - , entonces lim = O y asi
n! n: n n!
(-1)
lim 1 7- = O
nse n;

1.7.12. Sean (an) ,(bn) dos sucesiones tales que : jb n | < j a j , para casi todo n.
Si lim l a j = O entonces lim | b j = 0. 1
n*<=o n

Demostracin. 0<jb n |<a n j, y por el teorema de la doble desigualdad se


obtiene lim bni = 0.
noc

Ejemplo 1. Demostrar que lim = 0


n-=o n2 2

Solucion. Aqui 0 < r^ < y como lim = 0 entonces


n 2" 2" a-** 2"

l i m - 4 n = 0
n
-*=n*2

. r^ , senneosn
Ejemplo 2. Demostrar que lim
n*3o
= 0.

senneosn 1 1
Solucion. <r<, entonces
n n n
senneosn . senneosn
lim = 0 y asi lim : =0
n n-+oc n

32
Ejemplo 3. Demostrar que lim =0
60 40 20
(n + eos n + 1))

Solucion. nl,v + cos4 n + 1 > n"', entonces r ^ < jL ,


n 60 + eos n + 1 n 60

luego <y, y multiplicando por n, obtenemos


60 40 20 n
(n + cos n + l)
1 n 1
que- j < r = y y asi
(n 60 + cos 40 n +1) 20 n~ n
n

lim T = 0
i- / 60 4> | /20
(n + eos n + 1)

33
ANALISIS MATEMATICO I
Ciclo Lectivo 2009

Gua de Estudio y Prctica 11

SUCESIONES Y SERIES
Ing. Jorge J. L. Ferrante

I CONSOLIDACIN DE CONCEPTOS

Se inicia esta Gua de Estudio y Prctica con una mencin especial a


Leonardo de Pisa, llamado Fibonacci, autor de una de las ms clebres
sucesiones si no la ms clebre- de mltiples aplicaciones e invalorable
aplicacin para la interpretacin de distintas manifestaciones de la
naturaleza. La bsqueda de la informacin que se agrega se hizo a travs de
Internet, en especial, la pgina El ubicuo Fibonacci, seccin zapping de Axon
N 231

Siglo XII. En 1170, los normandos atacan a los irlandeses en Baginbun


y los destrozan, mientras Gervasio de Canterbury y los astrnomos chinos
documentan un trnsito de Marte frente a Jpiter. El judo sefarad
Benjamn de Tudela viaja por todo el mundo conocido para censar a los
judos existentes, y llega a la conclusin de que 8 millones de ellos estn
repartidos por el planeta. El Valle del Beka es devastado por un espantoso
terremoto de ms de grado 7 en la Escala de Mercalli. Ricardo Corazn de
Len, mientras tanto, reina en Inglaterra.

Entre tantos eventos importantes, un tal Bonaccio, residente en Pisa


(donde, segn Benjamn, vivan 20 judos) celebra el nacimiento de su hijo
Leonardo. Como era vstago de Bonaccio, casi nunca nadie conoci al nio
como Leonardo de Pisa, sino como "el hijo de Bonaccio", esto es, Fibonacci.

Bonaccio, por entonces director de una aduana italiana en Argelia,


necesita que su hijo sepa de nmeros, por lo que obliga al chiquillo a estudiar
aritmtica posicional hind. Milagrosamente, Fibonacci descubri en las
matemticas el amor de su vida. Nunca ms las abandon.

El aporte de Fibonacci a la matemtica es tan grande y tan profundo


que prcticamente no puede ser medido. Por la poca en la que vivi, el
sistema de numeracin arbigo era poco menos que una curiosidad: todo el
mundo usaba los nmeros romanos. Y ya se sabe lo difcil que es multiplicar
por no hablar de dividir con nmeros romanos.

Fibonacci, recordando el curso de aritmtica hind aprendido de nio,


escribe, en 1202, su tratado Liber abaci ("El Libro del baco") que es, ni
ms ni menos, un tratado sobre el sistema numeral indoarbigo. En l
presenta al pblico y a los cientficos europeos los signos hindes (1, 2, 3...)
y el 0 rabe, donde dice que se llama "cero" (quod arabice zephirum
appellatur). Adems, expone el mtodo de regula falsi para ecuaciones de
primer grado. Nada menos que eso, algo inslito para un libro del siglo XIII
en una sociedad que no usaba el cero.

Nota del autor: resultara injusto olvidar la mencin de Alexandre de


Villedieu, Franciscano Francs y John de Hallifax, llamado Sacrobosco
quienes, junto a Fibonacci merecen el crdito de haber popularizado el
algorism de la numeracin indoarbiga. Carmen de Algorismo es un poema
de Alexandre de Villedieu donde las operaciones con enteros estn
descriptas junto al uso del cero como nmero. Sacrobosco hace lo propio en
un tratado de astronoma llamado Algorismus Vulgaris utilizado
profusamente en la edad media.

Otro libro de Fibonacci, De quadratis numeris (1225) es tan avanzado


que hubo que esperar a Fermat (en el siglo XVII) para superarlo

Las sucesiones de Fibonacci fueron bautizadas en honor del italiano


por el terico francs Edouard Lucas.

Una sucesin de Fibonacci es aquella donde cada nmero es el


resultado de sumar los dos que lo preceden. As, la primera y ms bsica
sucesin de Fibonacci es

1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233...

respondiendo a la frmula

an = an-1 + an-2

Segn la historia esta sucesin surge al estudiar la propagacin de


conejos.
Lo interesante de las sucesiones de Fibonacci es que prcticamente
cualquiera (con la sola condicin de que domine la aritmtica bsica) puede
investigarlas, descubrirles nuevas propiedades y desarrollar teoremas
propios, inditos y curiossimos sobre ellas. Parecen existir infinitos
teoremas de Fibonacci, y amateurs matemticos casi absolutos han escrito y
publicado interminable cantidad de sesudos libros acerca de ellos.

Adems, las sucesiones de Fibonacci aparecen en infinidad de objetos


de la naturaleza.

Si se observa un rbol, en la primera parte hay un tronco, le sigue, en


la segunda, una parte ms fina, en la tercera, dos ramas, en la cuarta, tres,
luego cinco y Fibonacci presente!
Las aplicaciones de los nmeros de Fibonacci son tambin, al parecer,
infinitas: se utilizan en generacin de nmeros al azar, en la bsqueda de
valores mximos y mnimos de funciones complejas de las que se ignora la
derivada, en trabajos de clasificacin de datos, en recuperacin de
informacin en computadoras, y mil etcteras ms.

Los fractales son sucesiones de Fibonacci

Entre las muchas curiosidades de las sucesiones de Fibonacci, una de


las ms extraas propiedades de las mismas es que la razn entre cada par
de nmeros consecutivos va oscilando por encima y por debajo de la razn
urea, y que a medida que avanzamos en la serie, la diferencia de la razn de
Fibonacci con la razn urea se va haciendo cada vez menor. En teora,
cuando llegsemos al ltimo par de nmeros, resultara

1,61803...

que es, precisamente, la llamada razn urea.

La afirmacin anterior se demuestra fcilmente. En el ejemplo,

3 / 2 = 1,5

bastante por debajo de la razn urea. Pero

5 / 3 = 1,66

algo por encima, pero menos que antes. Siguiendo resulta

8 / 5 = 1,6 ; 13 / 8 = 1,625 ; 21 / 13 = 1,6153 y 34 / 21 = 1,61904


lo cual ya se acerca bastante.

Las extraas apariciones de las sucesiones de Fibonacci y de la razn


urea han dado lugar a interminables especulaciones y anlisis y, por
supuesto, a una abundante bibliografa. Se sabe que los caparazones
espirales de muchos caracoles se rigen por ella, como ciertas proporciones
de la anatoma humana, animal y vegetal. Tambin se han hallado
manifestaciones de estas entidades en las artes plsticas, la arquitectura y
la poesa. Varios bardos romanos, especialmente Virgilio en la Eneida,
parecen haber utilizado las series de Fibonacci en la estructura de sus
obras poticas.

En las ciencias naturales, es bien conocida la estructura de Fibonacci


en la disposicin de las semillas en los girasoles. Las semillas, ubicadas en la
gran parte central de las flores, tienen una implantacin en espiral: hay dos
grupos de espirales, gobernadas por dos funciones logartmicas. Un grupo
gira en sentido horario y otro en el antihorario. La cantidad de espirales
logartmicas en cada grupo sigue nmeros de Fibonacci consecutivos.
Disposicin de Fibonacci de las semillas del girasol

Las abejas tambin tienen relacin con los nmeros de Fibonacci: si se


observan las celdas hexagonales de una colmena y se coloca a una abeja en
una cualquiera de ellas, y se le permite alimentar a la larva, suponiendo que
continuar siempre por la celda contigua de la derecha, hay slo una ruta
posible para la siguiente celdilla; dos hacia la segunda, tres hasta la tercera,
cinco hasta la cuarta, ocho rutas posibles hacia la quinta, etctera.

Los machos o znganos de la colmena tienen rboles genealgicos que


siguen estrictamente una distribucin de Fibonacci. En efecto, los machos
no tienen padre, por lo que l (1), tiene una madre (1, 1), dos abuelos los
padres de la reina (1, 1, 2), tres bisabuelos porque el padre de la reina
no tuvo padre (1, 1, 2, 3), cinco tatarabuelos (1, 1, 2, 3, 5) y ocho
tataratatarabuelos (1, 1, 2, 3, 5, 8).

Tambin la fsica parece adorar las sucesiones de Fibonacci. Si se


colocan dos lminas planas de vidrio en contacto y se hace que unos rayos
luminosos las atraviesen, algunos (dependiendo del ngulo de incidencia) las
atravesarn sin reflejarse, pero otros sufrirn una reflexin. El rayo que no
sufre reflexin tiene slo una trayectoria posible de salida; el que sufre una
reflexin tiene dos rutas posibles; el que sufre dos reflexiones, tres
trayectorias, el que experimenta tres reflexiones, cinco, y as
sucesivamente. Tenemos aqu nuevamente una sucesin de Fibonacci: 1, 1, 2,
3, 5, 8... Si se aumenta el nmero de reflexiones (n), el nmero de
trayectorias posibles sigue una sucesin de Fibonacci.
La mano humana es, tambin, una sucesin de Fibonacci. La longitud
del metacarpo es la suma de las dos falanges proximales; la longitud de la
primera falange es la suma de las dos falanges distales

Si se toma un grupo de fichas de domin, de tamao 2 x 1, la cantidad


de maneras de construir rectngulos de tamao 2 x n ser, por supuesto,
una sucesin de Fibonacci. Hay una sola forma de armar un rectngulo de 2
x 1; dos de construir el de 2 x 2; tres de hacer el de 2 x 3, cinco para el de
2 x 4; ocho para el de 2 x 5, etc.

Desde siempre, los matemticos se vieron perturbados por la relacin


entre los nmeros de Fibonacci y los nmeros primos. La pregunta era:
puede una sucesin de Fibonacci contener series infinitas de nmeros
primos? La respuesta es s.

Para finalizar esta introduccin se construyen dos cuadrados de lado


uno, con lado dos se construye un nuevo cuadrado, con lado tres, otro y asi
sucesivamente. Rpidamente se puede apreciar una espiral y esta espiral se
corresponde a la caparazn de un molusco.
Fibonacci en un cactus y en verduras (tambin est en las pias)

As se lo recuerda, en mrmol

Sucesiones numricas

Una sucesin de nmeros reales es una aplicacin del conjunto N (o, a


veces, N0 ) en R, de tal forma que, a cada nmero natural n le corresponde
uno y slo un nmero real denominado an en lugar de usar la notacin a = f(n)

{a n } = {a1 , a 2 , a3 , a 4 ,..., a n ,...}


Los nmeros a1, a2, etc. son los trminos de la sucesin. El trmino an
es el trmino genrico de la sucesin. Obsrvese que los tres puntos finales
colocados luego de an constituyen un smbolo matemtico que debe ser
entendido como y as hasta infinito

Se incluyen a continuacin tres ejemplos arbitrarios de sucesiones.


La primera es la sucesin {an} = { 1/n}

{1, 1/2, 1/3, 1/4, 1/5, 1/6, 1/7, 1/8, 1/9, 1/10,}

La segunda es la sucesin {an} = { (2n-1)/n2}

{1, 3/4, 7/9, 15/16, 31/25, 7/4, 127/49, 255/64, 511/81, 1023/100,}

La tercera es la sucesin {an} = { n(1/n)}

{1., 1.41421, 1.44225, 1.41421, 1.37973, 1.34801, 1.32047, 1.29684,}

En los casos presentados se ha definido la sucesin mediante una


expresin o frmula que proporciona los trminos de la misma. Otra forma
de definirlas es dando alguna caracterstica de sus trminos, por ejemplo la
sucesin formada por todos los nmeros naturales cuyo dgito de unidades
sea cuatro (4)

{an} = {4, 14, 24, 34, 44, 54, 64, 74, }

Otra forma de definirlas es mediante una expresin de recurrencia


(del latn recurrire, volver al origen), estableciendo una relacin entre el
trmino ensimo y los anteriores a l. Por ejemplo la ya mencionada sucesin
de Fibonacci est definida por la recurrencia

a1 = 1

a2 = 1
a = a + a n>2
n n2 n 1

En este caso puede demostrarse que

n n
1 1+ 5 1 1 5
an =
5 2 5 2
Por ltimo se pueden definir de manera completamente arbitraria
siempre y cuando medie una ley de formacin, por ejemplo:

Trmino de la sucesin Ley de formacin

Uno 1
11
Un uno
21
Dos unos
1211
Un dos, un uno
111221
Un uno, un dos, dos unos
21112211
Dos unos, un uno, dos dos, un
uno
1221112221 Un dos, dos unos, un uno, dos
dos, dos unos.
11222111221211 Un uno, dos dos, dos unos, un
uno, dos dos, un dos un uno.
.

Monotona de una sucesin

Una sucesin {an} es montona creciente si

a n a n +1 n

y es estrictamente creciente si

a n < a n +1 n

Obsrvese que la nica diferencia entre sucesin creciente y


estrictamente creciente es que en la segunda la desigualdad debe cumplirse
necesariamente mientras que en las crecientes puede haber igualdad entre
trminos sucesivos

Una sucesin es montona decreciente si

a n a n +1 n

y es estrictamente decreciente si
a n > a n +1 n

Vale en este caso la misma observacin anterior.

Demostrar en crecimiento o decrecimiento de una sucesin suele


requerir el uso de induccin completa o de reduccin al absurdo. Sin
embargo, en ocasiones puede tomarse una funcin de variable real f tal que
f(n) = an y estudiar el signo de la derivada primera de esta funcin para
determinar crecimiento o decrecimiento. Si f es montona creciente
(decreciente) la sucesin {an} tambin lo ser.

Acotacin

La sucesin {an} est acotada superiormente si existe un nmero M tal


que an M para todo n.

La sucesin {an} est acotada inferiormente si existe un nmero M tal


que M an para todo n.

La sucesin {an} est acotada si est acotada superior e


inferiormente es decir si

an M n

Subsucesiones

Una sucesin {a*n} es una subsucesin de {an} si existe una aplicacin


f(n) de N en N estrictamente creciente tal que a*n = af(n)

Por ejemplo, dada la sucesin

{an } = {a1, a3 , a3 , a4 ,..., an ,...}

Las siguientes son subsucesiones posibles

{a2n } = {a2 , a4 , a6 , a8 ,..., a2 n ,...}


{a2n 1} = {a1 , a3 , a5 , a7 ,..., a2 n 1,...}
....................................................
{anprimo } = {a1, a2 , a3 , a5 , a7 , a11, a13 ,...}
..........................................................
Convergencia de una sucesin

A continuacin se agregan grficos (obviamente no continuos) en los


que se representan los trminos de distintas sucesiones

{an} = (-1)n /n

0.10

0.05

0.00

0.05

0.10

00:00:00 00:00:30 00:01:00 00:01:30

{an} = n2/(n2+1)

1.000

0.998

0.996

0.994

0.992
00:00:00 00:00:30 00:01:00 00:01:30

{an} = (-1)n

1.0

0.5

0.0

0.5

1.0
00:00:00 00:00:30 00:01:00 00:01:30
{an} = n2

400

300

200

100

0
00:00:05 00:00:10 00:00:15 00:00:20

En la primera y en forma absolutamente intuitiva puede inferirse que,


al crecer n, los trminos de la sucesin (los puntitos) tienden a 0; en la
segunda, tienden a uno (1); en la tercera tienden a +1 o a -1 y, en la cuarta
parece que crecen ms all de todo lmite.

Estudiar la convergencia de una sucesin consiste precisamente en


investigar a qu valor tiende el trmino genrico de la misma cuando n .

Si tiende a un nmero finito l la sucesin se dice convergente, si


tiende a o no existe el nmero l, la sucesin se dice divergente.

Los grficos anteriores parecen indicar que las dos primeras son
convergentes mientras que las restantes son divergentes.

Antes de definir lmite de una sucesin (hecho que el lector debe


estar sospechando hace un rato) se da un criterio general de convergencia
llamado de Bolzano-Cauchy (cuando no Cauchy!).

Condicin necesaria y suficiente para que la sucesin

{an } = {a1,a2,a3,a4,a5,a6,a7, ..., an, ...a , ..., a + p , ...}

de nmeros reales sea convergente, es que para cada nmero positivo


corresponda un valor de n, tal que todas las diferencias an an+p, n > , p >
0 entre trminos posteriores a a se conserva en valor absoluto menor que
.

an an + p < , > 0, n > , p > 0

Obsrvese que este criterio permite asegurar la convergencia de una


sucesin sin conocer el valor del lmite.
Lmite de una sucesin

El nmero l es el lmite de la sucesin {an} si se cumple que

an l < , >0
n > N

es decir, si desde un trmino en adelante la diferencia entre este y el lmite


se puede hacer tan chica como se quiera con tal de tomar n suficientemente
grande (mayor que N).

Por ejemplo, la sucesin {an}={(-1)n/n} tiene lmite cero (0) porque


fijado un > 0 basta con tomar N > 1/ para que la diferencia entre el
trmino genrico y el lmite sea menor que .

Obsrvese detenidamente que, en el intervalo [l+, l-] despus de N


hay infinitos elementos de la sucesin, mientras que, antes de N solo hay
un nmero finito de ellos.

0.10

0.05

0.00

0.05

0.10

00:00:00 00:00:30 00:01:00 00:01:30

Monotona y convergencia

Se relacionan a continuacin condiciones de monotona y de


convergencia:

Toda sucesin convergente es acotada.

Toda sucesin creciente y acotada superiormente es convergente.

Toda sucesin decreciente y acotada inferiormente es convergente.

Toda sucesin decreciente y no acotada inferiormente es divergente.


El nmero e

1 n
La sucesin {an } = 1 + es convergente y su lmite es el nmero e,
n
uno de los nmeros ms importantes de la matemtica.

De acuerdo al teorema del binomio es

1 n(n 1) 1 n(n 1)(n 2)...1 1


n
1
1 + = 1 + n + + ... + =
n
2
n 2! n n! nn
1 1 1 1 2 3 n 1
1 + 1 + 1 + ... + 1 1 1 ...1
2! n n! n n n n

De esto surge de inmediato que an < 3 y que la sucesin es montona


creciente. En consecuencia, tiene lmite finito. Ese lmite es
precisamente el nmero e, irracional y trascendente.

El siguiente grfico indica el comportamiento de los trminos de la


sucesin que define al nmero e

2.70

2.68

2.66

2.64

2.62

2.60

2.58

2.56
00:00:00 00:00:30 00:01:00 00:01:30

Cabe sealar que la convergencia hacia el valor de e por este medio es


muy lenta. A continuacin se transcribe e con 40 decimales.

e = 2.7182818284590452353602874713526624977572470937000

Teorema de compresin

Este teorema es til para estudiar la convergencia de algunas


sucesiones.

Sean {an}, {bn} y {cn} tres sucesiones. Se verifica que


lim an = l
n

lim bn = l
n

an cn bn

Entonces la sucesin {cn} es convergente y su lmite vale l

lim cn = l
n

Por ejemplo, la sucesin

{cn } = 1
+ 2
1
+ 2
1
+ ... + 2
1

n +1 n + 2 n + 3 n + n
2

Es convergente pues est comprimida entre las dos sucesiones


convergentes

{an } = {0,0,0,0,...,0,...}

{bn } = n

n + 1
2

Como ambas convergen a 0, {cn} 0

Criterio de Stltz Csaro

Sea {bn} una sucesin creciente y divergente y {an} otra


sucesin. Si el lmite

an +1 an
lim
n +1 bn
n b

an
existe, entonces el lim tambin existe y coincide con el anterior.
n b
n

Por ejemplo la sucesin {cn } = 1 + 2 + 3 +24 + ... + n


cuyo trmino
n
genrico puede interpretarse como el cociente entre la suma de los
primeros n nmeros naturales y n2. La sucesin n2 es creciente y divergente,
entonces
an +1 an n +1 n +1 1
lim = lim = lim =
n (n + 1) n
n +1 bn
n b 2 2 n 2n + 1 2

Entonces, la sucesin dada converge a 1/2 . Por si queda alguna duda,


se agrega el grfico correspondiente a los cien primeros trminos de {cn}

0.55

0.54

0.53

0.52

0.51

00:00:00 00:00:30 00:01:00 00:01:30

Subsucesiones y convergencia

Una sucesin {an} converge a l si toda subsucesin {a*n} converge a l.

Sean {a*n} y {a**n} dos subsucesiones de {an}. Si

lim a*n = l
n

lim a**n = l
n

entonces
lim an = l
n

Esta propiedad puede utilizarse para demostrar la divergencia de


algunas sucesiones. En efecto, si de una dada sucesin, se consideran dos
subsucesiones con distinto lmite, la sucesin dada es divergente.

Por ejemplo, de la sucesin {an} = {(-1)n} = {-1, 1, -1, 1, -1, 1, } se


pueden tomar las subsucesiones de ndice impar y de ndice par. La
primera tiene lmite menos uno (-1); la segunda uno (1), en consecuencia la
sucesin dada es divergente.

Series numricas

Dada una sucesin numrica {an} se plantea el siguiente algoritmo

a1 + a2 + a3 + a4 + a5 + a6 + a7 + ... + ak + ...
pero, como el algoritmo de la suma est definido para un nmero finito
de trminos, la expresin anterior carece de sentido. Obsrvese que
nadie, ni an la ms poderosa computadora existente, puede sumar
infinitos trminos, pues por ms rpida que sea, el tiempo requerido
sera infinito y todava le faltara por lo menos, otro tanto y otro y...

Corresponde entonces aclarar el significado de la expresin planteada


asociada a la sucesin {an}.

Para ello, yendo a cosas conocidas, se forma la denominada Sucesin


de Sumas Parciales definida por

S1 = a1
S 2 = a1 + a2
S3 = a1 + a2 + a3
S 4 = a1 + a2 + a3 + a4
....................................
k =n
S n = a1 + a2 + a3 + a4 + ... + an = ak
k =1

La sucesin {Sn} se denomina Serie Numrica asociada a la sucesin


{an}

Si existe lim S n = l la serie numrica se dice convergente y entonces


n

(y solo entonces) se escribe a
k =1
k y el nmero l se llama suma de la serie.

En caso de tender a o no existir el lmite la serie es divergente.

Obsrvese que, a travs de las sumas parciales se han combinado los


algoritmos de la suma y del paso al lmite, permitiendo para las series
convergentes extender a infinito el nmero de sumandos.

Casos notables

Se presentan a continuacin dos casos emblemticos de series


numricas. El primero es el de la serie denominada armnica y el segundo es
el de la serie geomtrica.
Serie Armnica

1 1 1 1 1 1
La serie 1 + + + + + + ... + + ... se denomina serie armnica y
2 3 4 5 6 k
es divergente. En efecto

1 1 1 1 1 1 1 1 1
S 2 n = 1 + + + + + + + + ... + n 1 + ... + n
2 3 4 5 6 7 8 2 +1 2
1 1 1 1 1 1 1 1 1
1 + + + + + + + + ... + n + ... + n =
2 4 4 8 8 8 8 2 2
1 1 1 1 1
= 1 + + + + ... + = 1 + n
2 2 2 2 2
1
lim S 2 n = lim 1 + n
n n
2

Todos los trminos de la serie armnica son mayores o iguales a los de


una serie divergente (minorante divergente), entonces la serie armnica
diverge.

Segn Sadosky (Sadosky - Guber, edicin 1958, pg 523) Bernouilli y


otros conocan esta caracterstica de la serie armnica y agrega que, S1000 <
8; S1.000.000 < 15; S1.000.000.000.000 < 30 y S10100 < 232. Sin embargo esta suma
puede hacerse tan grande como se quiera, superando a cualquier nmero por
grande que este sea, tomando un nmero suficientemente grande de
trminos.

Serie geomtrica

Se denomina serie geomtrica a una serie donde cada trmino se


obtiene multiplicando al anterior por un factor constante q llamado razn de
la serie
a + aq + aq 2 + aq3 + aq 4 + aq5 + ... + aq n 1 + ...

Se forma la suma parcial de orden n y se le resta la misma


multiplicada por la razn q
S n = a + aq + aq 2 + aq 3 + aq 4 + aq 5 + ... + aq n 1
qS n = aq + aq 2 + aq 3 + aq 4 + aq 5 + aq 6 + ... + aq n
qS n S n = aq n a

Sn =
(
a qn 1)
q 1

Si q> 1 la serie es divergente, si q< 1 la serie es convergente y su


suma vale
a
S=
1 q
si q = 1 o q = -1 la serie es divergente.

No era tonto aquel que la historia nombra como el inventor del juego
de ajedrez. El Sultn, agradecido le ofreci lo que quisiese. El inventor
pidi un grano de trigo en la primera casilla del tablero, dos en la segunda,
cuatro en la tercera y as sucesivamente. El Sultn, poco avispado con series
divergentes, accedi de inmediato. La sorpresa fue enorme cuando los
contables del reino dijeron Majestad, debemos entregarle
18.446.744.073.709.551.615 granos de trigo. (Aprox. 1.019.180.000.000 tn)
Tendremos hambre este ao, el que viene y muchos otros ms. Como a
menudo ocurre, el inventor fue preso, condenado a cultivar trigo por haber
osado intentar burlarse de la majestad del Sultn.

Condicin necesaria de convergencia

Si una serie numrica {Sn} asociada a la sucesin {an} es convergente,


entonces lim an = 0
n

En efecto, dada la sucesin {an} es

n
S n = ak
k =1
n 1
S n 1 = ak
k =1

la diferencia entre ambos elementos de {Sn}, Sn-1-Sn = an , es igual al


trmino genrico de la serie. Pasando al lmite cuando n se tiene.

lim (S n S n 1 ) = lim an = 0
n n
dado que Sn-1 se puede considerar una subsucesin de {Sn} teniendo
entonces el mismo lmite por ser convergente, por hiptesis, la serie
numrica dada.

Un corolario importante es que si lim an 0 la serie es divergente.


n

n2
Por ejemplo, la serie asociada a la sucesin 2 es divergente
n + 1
n2
porque lim 2 =1 0
n n + 1

Obsrvese que la propiedad es solamente necesaria, lo que quiere


decir que hay series cuyo trmino genrico tiende a cero y divergen. La
serie armnica, por ejemplo.

Criterio general de convergencia

Se establece aplicando el criterio de Bolzano Cauchy para sucesiones


a la sucesin {Sn}

S n S n + p < , > 0, n > , p N

siendo

n
S n = ak
k =1
n+ p
S n + p = ak
k =1

resulta

S n S n + p = a n +1 + a n + 2 + a n + 3 + a n + 4 + ... + a n + p < , > 0 , n > , p N

Que puede expresarse diciendo: la condicin necesaria y suficiente


para que una serie numrica sea convergente es que la suma de p trminos a
partir de uno dado pueda hacerse tan pequea como se quiera.

Dejando n fijo y haciendo tender p a infinito se tiene

a n +1 + a n + 2 + a n +3 + a n + 4 + ... + a n + p + ... , > 0, n >


lo que indica que prescindiendo de los n primeros trminos de una serie
convergente, la serie resultante, llamada serie resto, se puede hacer tan
chica como se quiera con tal de tomar n > .

Esto es muy importante en las aplicaciones porque, en general, no se


conoce la suma S de una serie convergente. Slo se puede aproximar este
valor mediante la suma de algunos (pocos, varios, bastantes, muchos,
muchsimos, etc.) trminos iniciales, cosa que se hace porque se sabe que el
resto es pequeo y de poca influencia en los clculos. Y que cuantos ms
trminos iniciales se toman, ms chico es el resto aunque no se lo conozca.

n
S = ak = ak + a k = S n + Tn
k =1 k =1 k = n +1

Tambin se puede plantear como condicin de convergencia que

lim Tn = 0
n

Series de trminos positivos

Son las ms importantes porque el estudio de las dems se reduce


fcilmente al estudio de las mismas y tambin son las ms sencillas.

La condicin necesaria y suficiente para que una serie de trminos


positivos sea convergente es que sus sumas parciales Sn se conserven
acotadas, Sn < M. Entonces, la suma es S M

Tambin se verifica que asociando o descomponiendo trminos de una


serie de trminos positivos no vara su carcter convergente ni su suma. Lo
mismo ocurre si se reordenan arbitrariamente sus trminos.

Criterios de comparacin.

Particularmente tiles son los denominados criterios de comparacin


para el estudio de la convergencia de series de trminos positivos. Mediante
ellos se comparan ordenadamente los trminos de la serie en estudio con los
de otras series cuyo comportamiento se conoce.
Mayorante convergente

Si los trminos de una serie de trminos positivos son menores o


iguales que los correspondientes de otra serie convergente, es convergente.


Sea a k una serie cuyo carcter se desea establecer y sea u
k =1
k una

serie convergente, con suma U, verificndose que ak uk, entonces


a k converge y su suma S es menor o igual a la suma U. La serie u


k =1
k es

una serie mayorante de la serie dada.

Minorante divergente

Anlogamente puede decirse que, si los trminos de una serie de


trminos positivos son mayores o iguales que los correspondientes de otra
serie divergente, es divergente.


Sea a k una serie cuyo carcter se desea establecer y sea u
k =1
k una

serie divergente, verificndose que ak uk, entonces a k diverge. La serie


u
k =1
k es una serie minorante de la serie dada.

Estos criterios tienen sendos corolarios.


Sea a k una serie cuyo carcter se desea establecer y sea u
k =1
k una

an
serie convergente, con suma U, y la razn < , > 0 entonces
un
a k converge y su suma S es menor o igual a la suma U.


Sea a k una serie cuyo carcter se desea establecer y sea u
k =1
k una

an
serie divergente, y la razn
un
> , > 0 entonces a k diverge.

Series patrn
Las series que suelen tomarse como mayorantes o minorantes son la
serie geomtrica y la serie armnica o la armnica generalizada, siendo esta
1
ltima la serie , convergente si > 1 y divergente si 1
n

Criterios de convergencia de series de trminos positivos

Se presentan a continuacin criterios de convergencia de series de


trminos positivos cuyas demostraciones se basan en los criterios de
comparacin ya vistos en general con series geomtricas y/o armnicas y
son mucho ms operativos que los criterios expuestos hasta el momento.

Criterio de DAlembert

Sea una serie de trminos positivos a n , se calcula

an
lim =L
n a
n 1

Si L < 1 la serie es convergente, si L > 1 la serie es divergente y, si L =


1 el criterio no permite determinar convergencia o divergencia. En la
demostracin la serie de comparacin es una serie geomtrica.

Criterio de Cauchy

Sea una serie de trminos positivos a n , se calcula

lim n a n = L
n

Si L < 1 la serie es convergente, si L > 1 la serie es divergente y, si L =


1 el criterio no permite determinar convergencia o divergencia. En la
demostracin la serie de comparacin es nuevamente una serie geomtrica.

Criterio de Kummer

1
Sea una serie de trminos positivos a n y u una serie
n

divergente. Se calcula
a
lim u n n u n +1 = L
n
a n +1

Si L > 0 la serie a n converge, si L < 0 la serie a n diverge.

Criterio de Raabe

Consiste en tomar un = n en el criterio de Kummer (serie armnica)


con lo que resulta

a
lim n n 1 = L
n
a n +1

Si L > 1 la serie a n es convergente, si L < 1 la serie es divergente, si


L = 1 hay que recurrir a otro criterio de convergencia.

Criterio de la integral

Sea a1 + a 2 + a3 + a 4 + a5 + ... + a n + ... una serie de trminos positivos


decrecientes. Se toma una funcin f(x) tal que f(n) = an. La serie converge
o diverge segn converja o diverja la integral


n0
f ( x)dx

Serie de trminos alternados

Sean ak > 0, k . La expresin

a1 a2 + a3 a4 + a5 a6 + a7 a8 + ... + an an +1 + ...

se denomina serie alternada.

El estudio de la convergencia de estas series es ms sencillo que el


correspondiente a las series de trminos positivos. En efecto, en las series
alternadas, si los trminos son decrecientes y se cumple que

lim an = 0
n

la serie alternada es convergente.


Adems y muy til en la prctica, en las series alternadas, el error
que se comete en la suma de la serie al considerar los n primeros trminos
es menor, en valor absoluto, que el primer trmino despreciado.


S = (1) k +1 a k
k =1
n
S n = (1) k +1 a k
k =1

S S n a n +1

Serie absolutamente convergente

Una serie se llama absolutamente convergente si es convergente la


serie formada por los valores absolutos de los trminos de la serie dada.

a
k
k converge absolutamente ak
k
converge

Si la serie de valores absolutos, diverge, la serie dada le dice


condicionalmente convergente.

II EJERCICIOS A RESOLVER, PREFERENTEMENTE EN CLASE.

01 Escribir los cinco primeros trminos de las sucesiones cuyo


trmino genrico es

01 =
(n 2)
2
02
n3
an =
2

an
n! n+ 4

2k (k 2 ) (n 1)(n 3)
k 1
03 hk = (1) k 1
04 bn = (1) n
k +1 nn

cos( j ) i i
05 pj = 06
qi = sen cos
j! 2 4
02 Escribir el trmino general de la sucesin
01 {a n } = { 1,3,9,27,81,...} 02 {a k } = 1 , 1 , 1 , 1 ,...
3 5 7 9

03 {pi } = 1, 3 , 5 , 7 1 6 12 20
,... 04 {q k } = 0, , , , ,...
2 6 24 3 24 120 720

03 Verificar los siguientes lmites

2n 1 n + 1 1
01 2 02
n 3n 3

(n + 2)2 1 3n
03 04 3
n 1
2
4n 4

04 Calcular los lmites de las siguientes sucesiones

(1) n
01 02 {(1) n
cos(n ) }
cos(n )

03 { n + 1}
n
04 { n 2}
n

(n) n 1 n n
05 n 06
n 1 + n

05 Dada la sucesin

a1 = 3
n >1
a n = 1 + a n 1

01 Encontrar los seis primeros trminos de la misma


02 Conjeturar si es creciente o decreciente.
03 Analizar la acotacin.
04 Analizar la convergencia

06 Usando el teorema de compresin calcular el lmite de


n
n
an = 2
k =1 n + k

07 Escribir en forma de sumatoria las siguientes series


geomtricas y calcular su suma.
1 1 1 1 1
01 9 3 + 1 + ... 02 4 +1+ + + + ...
3 9 4 16 64

6 3 2 2 2 4
03 6+ 3+ + + ... 04 2 ...
2 2 3 9 27

08 Escribir en forma de sumatoria las siguientes series numricas


y estudiar su convergencia por el criterio de comparacin con
series geomtricas

1 1 1 1
01 Sn = 1 + 3
+ 3 + 3 + ... + 3 + ...
2 3 4 n

1 1 1 1 1
02 Sn = + + + + ... + + ...
1* 2 2 * 3 3 * 4 4 * 5 n(n + 1)

1 2 4 8 16
03 S= + + + + + ...
2! 4! 6! 8! 10!

1 1 1 1
04 S = 1+ + 4
+6 +8 + ...
3 3 3 3

1 1 1 1 1
05 S= + + + + + ...
2 3 5 9 17

09 Estudiar la convergencia de las siguientes series numricas


empleando el criterio de DAlembert

1 1 1 1 1
01 + + + + + ...
1 * 2 3 * 4 5 * 6 7 * 8 9 * 10

1 1 1 1 1
02 + + + + + ...
3 * 2 4 * 4 5 * 8 6 *16 7 * 32

10 100 1000 10000 100000


03 + + + + + ...
2 6 24 120 720

1 1 2 6 24
04 + + + + + ...
10 100 1000 10000 100000

1 2 6 24 120
05 10
+ 20 + 30 + 40 + 50 + ...
10 10 10 10 10
10 Estudiar la convergencia de las siguientes series numricas.

4 4 4 4
1 1* 3 1* 3 * 5 1* 3 * 5 * 7
01 + + + + ...
2 2 * 4 2 * 4 * 6 2* 4 *6 *8

1 1 1 1
02 + + + + ...
5 * 6 * 7 6 * 7 * 8 7 * 8 * 9 8 * 9 * 10

1 4 27 256 3125
03 + 2
+ 3
+ 4
+ + ...
2*5 9*5 64 * 5 625 * 5 7776 * 5 5

9 16 25
3 4 5
04 1 + 2 + + + + ...
4

2 3 4

4 1 1
05 k
k
2
06 2j+2j
07 (2n + 2)
n
2

1 1 1
08 k 2k + 1
09 j j ln( j )
10 n[ln(n)]
n
2


ln(n)
11 Demostrar que la serie (1)
n =1
n

n
es convergente y calcular

su suma con error menor que 10-3


(n!)2
12 Estudiar la convergencia de la serie (1)
n =1
n

(2n )!

13 Determinar si las siguientes series alternadas son condicional o


absolutamente convergentes

1 1 1 1
01 1 + + ...
2
3 4 5
1 1 1 1
02 1 + + ...
3 5 7 9
1 1 1 1
03 1 + + ...
2! 3! 4! 5!

Por si es necesaria en los ejercicios anteriores se transcribe la


Frmula de Stirling
n n 2 n
n!
en
UNIVERSIDAD CENTRAL DE VENEZUELA
FACULTAD DE CIENCIAS
ESCUELA DE MATEMATICA
LABORATORIO DE FORMAS EN GRUPOS

Introduccion a las sucesiones

y series numericas

Ramon Bruzual
Marisela Domnguez

Caracas, Venezuela
Septiembre 2005
Ramon Bruzual
Correo-E: rbruzual@euler.ciens.ucv.ve

Marisela Domnguez
Correo-E: mdomin@euler.ciens.ucv.ve

Laboratorio de Formas en Grupos


Centro de Analisis
Escuela de Matematica
Facultad de Ciencias
Universidad Central de Venezuela

http://euler.ciens.ucv.ve/labfg

Nota: Este material esta disponible en la pagina web


http://euler.ciens.ucv.ve/labfg/guias.htm
En general mantenemos una replica en un servidor externo a la Universidad Central de
Venezuela, el vnculo se encuentra indicado en esa misma pagina web.
Prologo

Estas notas han sido concebidas para ser utilizadas en la parte de Sucesiones y Series
Numericas, del curso de Matematica III de la Facultad de Ciencias de la Universidad Cen-
tral de Venezuela. En este curso participan estudiantes de las Licenciaturas en Biologa,
Geoqumica, Qumica, Computacion, Fsica y Matematica.
El trabajo de mecanografa y la elaboracion de los graficos esta a cargo de los autores.
Agradecemos cualquier observacion o comentario que deseen hacernos llegar.

Ramon Bruzual.
Marisela Domnguez.
Septiembre 2005.

iii
CONTENIDO

Captulo 1. Sucesiones numericas. 1


1. Definiciones y resultados basicos 1
2. Sucesiones convergentes. 4
3. El numero e. 5
4. Sucesiones monotonas. 5
5. Operaciones con sucesiones 5
6. Repaso de la regla de LHopital. 6
7. Lmite infinito 9
8. Sumas finitas y el smbolo sumatorio. 11
Ejercicios.
Sucesiones. 13

Captulo 2. Series numericas. 19


1. Series. 19
2. Convergencia y divergencia de series. 22
3. Criterios de convergencia para series de terminos positivos. 24
4. Criterios de convergencia para series de terminos alternadas. 30
5. Series telescopicas. 30
Ejercicios.
Series. 32

Captulo 3. Formula de Stirling y producto de Wallis. 37


1. La formula de Stirling. 37
2. El producto de Wallis. 38
Ejercicios.
Formula de Stirling y producto de Wallis. 41

Bibliografa 43

Indice 45

v
CAPITULO 1

Sucesiones numericas.

Este captulo es un repaso de cursos previos.


Concepto de sucesion y ejemplos. Lmite de una sucesion. Propiedades
del lmite. Calculo de lmites de sucesiones.

1. Definiciones y resultados basicos

La idea de sucesion en R es la de una lista de puntos de R.


Son ejemplos de sucesiones:
1, 1, 2, 3, 5, 8, 13, . . .

2, 4, 6, 8, 10, . . .

1, 4, 9, 25, 36, . . .

1, 1/2, 1/3, 1/4, . . .

1, 10, 100, 1.000, 10.000, . . .

1, 1, 1, 1, 1, . . .

Lo importante acerca de una sucesion es que a cada numero natural n le corresponde un


punto de R, por esto damos la siguiente definicion.

Definicion 1.1. Una sucesion es una funcion de N en R.

Si a : N R es una sucesion en vez de escribir a(1), a(2), a(3), . . . suele escribirse

a 1 , a2 , a3 , . . .

La misma sucesion suele designarse mediante un smbolo tal como {an }, (an ) o {a1 , a2 , . . .}.
Tambien usaremos {an }, (an ) o {a1 , a2 , . . .}.

Ejemplo 1.2. La sucesion de Fibonacci {an } esta definida por


a1 = a2 = 1, an = an1 + an2 .

1
2 1. SUCESIONES NUMERICAS.

Esta sucesion fue descubierta por Fibonacci (1175-1250. aprox.) en relacion con un problema
de conejos. Fibonacci supuso que una pareja de conejos criaba una nueva pareja cada mes y
que despues de dos meses cada nueva pareja se comportaba del mismo modo. El numero an
de parejas nacidas en el n-esimo mes es an1 + an2 , puesto que nace una pareja por cada
pareja nacida en el mes anterior, y ademas cada pareja nacida hace dos meses produce ahora
una pareja nueva.

Una sucesion, al igual que toda funcion, tiene una representacion grafica.
Por ejemplo, sean

n = n
n = (1)n
1
n =
n

Las graficas de {n }, {n } y {n } son las siguientes:

1 2 3 4 5

Figura 1.1. {n }
1. DEFINICIONES Y RESULTADOS BASICOS 3

1 2 3 4 5

-1

Figura 1.2. {n }

1 2 3 4 5

Figura 1.3. {n }

Sin embargo se obtiene una mejor representacion de una sucesion marcando los puntos
a1 , a2 , a3 , . . . sobre una recta:

0 1 2 3 4

1= 3 = ... 0 2 = 4 = ...

0 3 1
2

Figura 1.4.

Este tipo de diagramas nos indican hacia donde va la sucesion.

Definicion 1.3. Una sucesion {an } es acotada si {a1 , a2 , . . .} es un conjunto acotado.


Es decir, si existe K R tal que |an | K para todo n N.

Definicion 1.4. Una sucesion {an } es acotada superiormente si existe M R tal que
an M .
4 1. SUCESIONES NUMERICAS.

Ejemplo 1.5. Sea an = 1/n. Entonces la sucesion {an } es acotada superiormente por
M = 1.

Definicion 1.6. Una sucesion {an } es acotada inferiormente si existe m R tal que
an m.

Ejemplo 1.7. Sea an = n. Entonces la sucesion {an } es acotada inferiormente por


m = 1.

Proposicion 1.8. Sea {an } una sucesion, {an } es acotada si y solo si {an } es acotada
superiormente y {an } es acotada inferiormente.

2. Sucesiones convergentes.

En lo que sigue {an } denotara una sucesion de numeros reales.

Definicion 1.9. limn an = L si:


para cada > 0 existe N N tal que si n N entonces |an L| < .

En este caso se dice que la sucesion {an } converge a L R, o lmite de {an } es L.

Se dice que una sucesion {an } es convergente si existe L R tal que {an } converge a L;
se dice que es divergente (o que diverge) si no es convergente.

Ejemplo 1.10. Sea an = 1/n entonces limn an = 0.

Ejemplo 1.11. Sea an = n! entonces {an } es divergente.

Teorema 1.12 (unicidad del lmite). Una sucesion convergente tiene uno y solo un
lmite.

Proposicion 1.13. si {an } es una sucesion que converge a cero y {bn } es una sucesion
acotada entonces la sucesion {an bn } converge a cero.

Teorema 1.14. Si {an }, {bn } y {cn } son sucesiones tales que an bn cn para todo n
y
lim an = lim cn = L.
n+ n+

Entonces
lim bn = L.
n+
5. OPERACIONES CON SUCESIONES 5

3. El numero e.

Se puede probar que la siguiente sucesion converge:


n
1
an = 1 + .
n
Su lmite es unico y es conocido como el numero e:
n
1
lim 1 + = e.
n+ n
Tambien se puede probar:
(a) 2 < e < 3
(b) el numero e es irracional.

4. Sucesiones monotonas.

Definicion 1.15. Una sucesion {an } es monotona creciente si an an+1 para todo
n N.

Ejemplo 1.16. Sea an = n. Entonces la sucesion {an } es monotona creciente.

Definicion 1.17. Una sucesion {an } es monotona decreciente si an+1 an para todo
n N.

Ejemplo 1.18. Sea an = 1/n. Entonces la sucesion {an } es monotona decreciente.

Teorema 1.19.
(i) Toda sucesion monotona creciente y acotada superiormente es convergente.
(ii) Toda sucesion monotona decreciente y acotada inferiormente es convergente.

5. Operaciones con sucesiones

Teorema 1.20. Sean {xn }, {yn } sucesiones convergentes.


Sean x = limn+ xn , y = limn+ yn . Entonces:

lim xn + yn = x + y.
n+

Demostracion. Dado > 0 existen N1 , N2 N tales que


(a) si n N1 entonces |xn x| < /2.
(b) si n N2 entonces |yn y| < /2.
6 1. SUCESIONES NUMERICAS.

Sea N = max{N1 , N2 }. Si n N entonces

|(xn + yn ) (x + y)| = |(xn x) + (yn ) y)|


|xn x| + |yn y|
< /2 + /2 = .

De donde
lim xn + yn = x + y.
n+

Teorema 1.21. Sean {xn }, {yn } sucesiones convergentes.


Sean x = limn+ xn , y = limn+ yn . Entonces:

lim xn yn = x y.
n+

Teorema 1.22. Sean {xn }, {yn } sucesiones convergentes.


Sean x = limn+ xn , y = limn+ yn . Si yn 6= 0 para todo n, y 6= 0, entonces
xn x
lim = .
n+ yn y
A los lectores interesados en el Analisis Matematico se les recomienda consultar en algunos
de los libros de la bibliografa las demostraciones de estos dos ultimos teoremas.

6. Repaso de la regla de LHopital.

La regla de LHopital permite calcular lmites indeterminados para funciones de variable


real.
Las principales indeterminaciones las agruparemos en tres grupos:
0
(a) 0
,
, 0.,
(b) , + ,
0
(c) 0, 1 , 0 .
0
6.1. Indeterminaciones de la forma 0
,
, 0..

Teorema 1.23 (Regla de LHopital). Sean f y g funciones diferenciables en un intervalo


de la forma (a r, a + r) a, r R, r > 0. Supongamos que
(a) lim f (x) = lim g(x) = 0
xa xa
(b) g 0 (x) 6= 0 para todo x en (a r, a + r), x 6= a.
f 0 (x)
(c) limxa 0 = L.
g (x)
6. REPASO DE LA REGLA DE LHOPITAL. 7

Entonces
f (x)
lim = L.
xa g(x)

La demostracion del teorema anterior se puede ver en [5]. En este momento no estamos
en capacidad de dar la prueba, pero podemos dar una justificacion.
Como f y g son diferenciables en a, entonces f y g son continuas en a. Luego f (a) = 0
y g(a) = 0. Por lo tanto
f (x) f (a)
f (x) f (x) f (a) xa
= = .
g(x) g(x) g(a) g(x) g(a)
xa
Si x a entonces la expresion de la derecha tiende a
f 0 (x)
lim = L.
xa g 0 (x)

Luego
f (x)
lim = L.
xa g(x)

Ejemplo 1.24.
x3 1 3x2 3
lim = lim = .
x1 4x3 x 3 x1 12x2 1 11

0
El primer lmite es de la forma 0
.
Observacion 1.25. La regla de LHopital tambien es valida cuando se consideran
(a) lmites laterales (x a+ o x a ),
(b) lmites infinitos (x + o x ),

(c) lmites de la forma
.
Observacion 1.26. El resultado anterior permite calcular lmites de la forma 0., to-
1
mando en cuenta que si lim h(x) = entonces lim = 0. En este caso la regla de
xa xa h(x)
1
LHopital se aplica a g(x) = para obtener un lmite de la forma 00 . Tambien se puede
h(x)

llevar a la forma .
Ejemplo 1.27.
ln x 1/x
lim+ x ln x = lim+ = lim+ = lim (x) = 0.
x0 x0 1/x x0 1/x2 x0+

El primer lmite es de la forma 0.(), el segundo lmite es de la forma
, el tercer
lmite se simplifica algebraicamente dando origen al cuarto lmite que no es una indetermi-
nacion.
8 1. SUCESIONES NUMERICAS.

6.2. Indeterminaciones de la forma , + .


Estas indeterminaciones se resuelven haciendo operaciones algebraicas para llevarlo a
0
alguna de las formas consideradas antes, es decir, 0
,
, 0..

Ejemplo 1.28.
4x + 1 1 (4x + 1) sen x x
lim+ = lim+
x0 x sen x x0 x sen x
4 sen x + (4x + 1)(cos x) 1
= lim+
x0 sen x + x cos x
4 cos x + 4 cos x (4x + 1) sen x
= lim+
x0 cos x + cos x x sen x
4+4
= = 4.
2
El primer lmite es de la forma , el segundo lmite es de la forma 00 , el tercer lmite
0
es de la forma 0
y el cuarto lmite ya no es una indeterminacion.

6.3. Indeterminaciones de la forma 00 , 1 , 0 .


Estos lmites se calculan usando la siguiente propiedad:

Proposicion 1.29. Si limxa f (x) existe, entonces

lim ef (x) = elimxa f (x) .


xa

Observacion 1.30. Esta Proposicion tambien es valida cuando se consideran


(a) lmites laterales (x a+ o x a ),
(b) lmites infinitos (x + o x ).

Ejemplo 1.31. Calcularemos


lim+ (sen x)x
x0

Este lmite es de la forma 00 .


Tenemos que
x
(sen x)x = eln((sen x) ) = ex ln(sen x) .

Comenzaremos calculando
lim x ln(sen x).
x0+

que es un lmite de la forma 0.. Luego aplicaremos la exponencial.


7. LIMITE INFINITO 9

cos x
ln(sen x) sen x
lim+ x ln(sen x) = lim+ = lim+ 1
x0 x0 1/x x0
x2
x2 cos x 2x cos x + x2 sen x
= lim+ = lim+ = 0.
x0 sen x x0 cos x

El primer lmite es de la forma 0., el segundo lmite es de la forma
, el tercer lmite
se simplifica algebraicamente dando origen al cuarto lmite que es de la forma 00 , el quinto
lmite no es una indeterminacion.
Ahora aplicamos la exponencial

lim (sen x)x = lim+ ex ln(sen x) = elimx0+ x ln(sen x) = e0 = 1.


x0+ x0

7. Lmite infinito

Definicion 1.32. Sea {an } una sucesion.


Diremos que limn+ an = + si para cada R existe N N tal que si n N
entonces an .
Diremos que limn+ an = si para cada R existe N N tal que si n N
entonces an .

Es importante notar que las sucesiones que tienen lmite infinito no son convergentes.

Proposicion 1.33. Si {an } es una sucesion convergente y {bn } es una sucesion tal que
an
bn 6= 0 para todo n y lim bn = +. Entonces lim = 0.
n+ n+ bn

7.1. Calculo de lmite de sucesiones usando la regla de LHopital.


Para calcular el lmite de una sucesion usando la regla de LHopital se deben usar una
funciones auxiliares de variable real.
Por ejemplo, si la sucesion esta dada por an = n2 la funcion auxiliar f puede ser
f (x) = x2 . Otro ejemplo: si la sucesion esta dada por an = ln n la funcion auxiliar f
puede ser f (x) = ln x. Estas funciones auxiliares son sencillas y en estos casos se calcula el
lmite cuando x +.

Ejemplo 1.34. Consideremos



1 1
lim ln .
n+ n n

Este es un lmite de sucesiones, de la forma 0.().


10 1. SUCESIONES NUMERICAS.

Para hallarlo, en lugar de n colocamos x y calculamos el siguiente lmite:



1 1
ln x1 1/x x2 x 1
lim = lim = lim 2
= lim = 0.
x+ x x+ 1 x+ x x+ x
Luego
1 1
lim ln = 0.
n+ n n
A veces no conviene usar estas funciones auxiliares sencillas. Puede ser mas conveniente
considerar como funciones auxiliares algo aparentemente un poco mas complicado. Por
ejemplo, si la sucesion esta dada por an = n2 la funcion auxiliar f puede ser f (x) = (1/x)2 .
Otro ejemplo: si la sucesion esta dada por an = sen(1/n) la funcion auxiliar f puede ser
f (x) = sen x. En estos casos se calcula el lmite cuando x 0+.

Ejemplo 1.35. Consideremos


1
lim n .
n+ sen(1/n)
Este es un lmite de sucesiones, de la forma .
Para hallarlo, podramos calcular el siguiente lmite auxiliar.

1
lim x .
x+ sen(1/x)
En lugar de n hemos colocado x. Este es un lmite de funciones, de la forma . Usted
podra tratar de calcularlo. Hemos hecho una cambio sencillo, pero el lmite que se debe
calcular no es sencillo.
Sin embargo si hacemos un cambio un poco mas complicado el lmite que tendremos que
calcular es mas sencillo. En efecto, en lugar de n colocamos 1/x y obtenemos

1 1
lim .
x0+ x sen x
Este tambien es un lmite de funciones, de la forma . A continuacion lo calcularemos.

1 1 sen x x cos x 1
lim = lim = lim
x0+ x sen x x0+ x sen x x0+ sen x + x cos x
sen x 0
= lim = = 0.
x0+ cos x + cos x x sen x 2
Por lo tanto
1
lim n = 0.
n+ sen(1/n)
8. SUMAS FINITAS Y EL SIMBOLO SUMATORIO. 11

8. Sumas finitas y el smbolo sumatorio.

Cuando queremos referirnos a una suma con n sumandos, en la que tenemos una formula
para cada sumando ak usamos la siguiente expresion

a1 + + an

que tambien se escribe de la siguiente manera:


n
X
ak
k=1

Es decir,
n
X
ak = a1 + + an .
k=1

Ejemplo 1.36.
(1) Sumar el numero 1, n veces:
n
X
1 = n.
k=1

(2) La suma de los n primeros numeros naturales es:


n
X
k = 1 + + n.
k=1

(3) La suma de los cuadrados de los n primeros numeros naturales es:


n
X
k 2 = 1 + 2 2 + + n2 .
k=1

Se puede probar que


n
X n(n + 1)
(1.1) k= .
k=1
2

n
X n3 n2 n
(1.2) k2 = + + .
k=1
3 2 6

Ejercicio Adicional: Usando el metodo de induccion completa demuestre las formulas 1.1
y 1.2.
12 1. SUCESIONES NUMERICAS.

Una propiedad importante de las sumas finitas es la llamada propiedad telescopica que
afirma que:
n
X
(bk bk+1 ) = b1 bn+1 .
k=1
Estas sumas son denominadas sumas telescopicas.
EJERCICIOS. SUCESIONES. 13

Ejercicios.
Sucesiones.

(1) Sugiera el termino general de cada una de las siguientes sucesiones:

(a) 2, 4, 6, 8, 10, . . . (c) 1, 8, 27, 64, . . . (e) 0, 5, 0, 5, 0, 5, . . .

1 1 1 1 2 3 4 1 1
(b) 1, , , , . . . (d) , , , ,... (f) , 0, 3, , 0, 3, . . .
4 9 16 2 3 4 5 2 2

(2) Se deja caer una pelota desde una altura inicial de 15 pies sobre la losa de concreto.
Cada vez que rebota alcanza una altura equivalente a 2/3 de la altura anterior.
Determine la altura que alcanza en el tercer rebote y en el n-esimo rebote.

(3) Un objeto se deja caer desde una gran altura, de tal manera que recorre 16 pies
durante el primer segundo, 48 pies durante el segundo, 80 pies durante el tercero y
as sucesivamente. Cuanto recorre el objeto durante el sexto segundo?

(4) Sea {an } una sucesion (infinita) con termino general an . Estudie la sucesion: Diga
si es acotada superiormente, acotada inferiormente, acotada, no acotada, monotona
creciente, monotona decreciente, no monotona. Dibuje el grafico de la sucesion.
Determine si converge o diverge, y en caso de que converja halle su lmite.

1
(a) an =
n2 (h) an = 1 + (1)n
1 n + 1
(b) an = + n2 1
n n2 (i) an =
n1
(1)n
(c) an = n+1
n (j) an =
n1
(d) an = sen(n) 7
n+1
(k) an =
n1
(e) an = sen + n
2
(l) an = n4

(f) an = cos + n
2
(m) an = (1/n)3
(g) an = cos(n)
14 1. SUCESIONES NUMERICAS.

(n) an = 81/n (o) an = (1/2)n

(p) an = 6n

(5) La sucesion de Fibonacci:


(a) Suponga que la vida de los conejos es eterna y que cada mes una pareja procrea
una nueva pareja, que es fertil al mes. Si comenzamos con una pareja de
recien nacidos y an representa el numero de parejas nacidas en el n-esimo mes
demuestre que
a1 = a2 = 1, an = an1 + an2 si n 3
(la igualdad de la derecha es una formula recurrente).

(b) Verifique que el termino general de la sucesion de Fibonacci es


!n !n
1 1+ 5 1 1 5
an =
5 2 5 2
demostrando que esta expresion satisface la formula recurrente dada en (a).

(6) Sean c, r constantes reales. Considere la sucesion {an } definida por an = crn1 . Se
define la sucesion {Sn } por

Sn = a1 + + an .

Probar que
c crn
(a) Sn =
1r
(b) {Sn } converge si y solo si |r| < 1.
(c) Si |r| < 1 entonces
c
lim Sn = .
n+ 1r

(7) Dar ejemplos de sucesiones {an } y {bn } tales que

lim an = lim bn = 0,
n+ n+

pero

an an
(a) lim =0 (c) lim =
n+ bn n+ bn

an an
(b) lim = + (d) lim no existe.
n+ bn n+ bn
EJERCICIOS. SUCESIONES. 15

(8) EL proposito de este ejercicio es recordar la formula para la derivada de un cociente,


que no debe confundirse con el cociente de derivadas.
Hallar la derivada de cada una de las siguientes funciones, en los puntos en los
que son derivables:

tan x arctan x
(a) f (x) = (c) f (x) =
ln x x1
ax sec x
(b) f (x) = (d) f (x) =
csc x x

(9) Calcular los siguientes lmites de funciones:



1 1
(a) lim+
(d) lim x( ln x )
1
x0 sen x x
x+
1 1 1
(b) lim+ 1
x0 x sen x x (e) lim+ x x1
x1
sen x
(c) lim+ (sen x)
x0 (f) lim+ (sen(3x))sen(5x)
x0

(10) Sea {an } una sucesion (infinita) con termino general an . Para cada uno de los
siguientes casos determine si {an } converge o diverge, y en caso de que converja
halle su lmite.

4n 3 (f) an = n( ln n )
1
(a) an =
3n + 4

(b) an = n (g) an = (1/n)1/n

n2 1 (1)n n2
(c) an = (h) an =
n2 + 1 1 + n3
n2 4n3 + 3n2 + 1
(d) an = (i) an =
n+1 5n3 + 3
3 + (1)n (j) an = n2n
(e) an =
n2
16 1. SUCESIONES NUMERICAS.


2 1 ln(2 + en )
(k) an = n 1 cos (s) an =
n 3n

(l) an = 1 + (1)n (t) an = ln(n + 1) ln(n)


n
sen n 4
(m) an = (u) an = 1
n n
sen n2 5n
(n) an = (v) an = 5 +
n 3n
en en
(o) an = (w) an = 10(n+1)/n
en + en

(p) an = n+8 n (x) an = n2/(n+1)

2n
(q) an = (y) an = n( n + 1 n)
3n + 1

5 2n 1
(r) an = (z) an = n sen
6 + 4n n

(11) * Demostrar que:



(a) Si 0 < a < 2 entonces a < 2a < 2.

p q p
(b) La sucesion 2, 2 2, 2 2 2, . . . es convergente.

(c) Hallar el lmite de la sucesion anterior.

(12) * Demostrar que si {an } es una sucesion que converge a cero y {bn } es una sucesion
acotada entonces la sucesion {an bn } converge a cero.

(13) * Sean {an }, {bn } y {cn } sucesiones tales que an bn cn para todo n y

lim an = lim cn = L.
n+ n+

Demostrar que
lim bn = L.
n+
EJERCICIOS. SUCESIONES. 17

(14) * Sean {an } una sucesion convergente y {bn } una sucesion tal que bn 6= 0 para todo
n y lim bn = +. Demuestre que
n+
an
lim = 0.
n+ bn
CAPITULO 2

Series numericas.

Definicion y ejemplos. Criterios de convergencia para series de terminos


positivos: comparacion, lmites, raz, razon, integral. Series alternadas:
criterio de Leibnitz.
Las expresiones indefinidamente largas, tales como

x + x2 + x3 . . .

(lo que los matematicos llaman series infinitas) pueden ser tratadas por medio de las reglas
de la aritmetica, o son necesarias tecnicas especiales para poder abarcar su infinidad?

Enfrentada con tales dificultades conceptuales, la mente de los matematicos del siglo
XVIII empezo a titubear. Lagrange se desespero tanto que abandono las matematicas
durante un perodo de varios anos, y, en una carta a su amigo y colega Jean Baptiste
DAlembert, en 1.781, expreso la opinion de que las matematicas estaban ahondando dema-
siado, con peligro de ser destruidas. DAlembert, en cambio, no sosego a sus alumnos, sino
que les exhorto:
Seguid adelante y la fe vendra a vosotros.

1. Series.

Las series permiten entender la idea de querer hacer sumas en las que hay una cantidad
infinita de sumandos (tantos sumandos como numeros naturales).
Para dar la idea de una serie debemos considerar dos tipos de numeros reales:
(1) la expresion para cada sumando: an
(2) la expresion para la suma finita de los primeros n sumandos:
n
X
sn = a1 + + an = ak
k=1

La siguiente terminologa es usual:


(1) A an se le llama termino general de la serie.
(2) A sn se le llama la suma parcial de la serie.

19
20 2. SERIES NUMERICAS.

Por lo tanto una serie esta relacionada con dos sucesiones:


(1) la sucesion {an } de los terminos generales de la serie.
(2) la sucesion {sn } de sumas parciales de la serie.

La siguiente notacion es usual: En vez de referirse a la serie como un par de sucesiones


es usual hablar de la serie como
+
X
an .
n=1

Ejemplo 2.1. Para la serie


+
X
n
n=1

tenemos que
an = n
n
X n(n + 1)
sn = 1 + + n = k= .
k=1
2
Para obtener la ultima expresion hemos usado la ecuacion 1.1.
P+
Una serie n=1 an es una serie de terminos positivos cuando an > 0 para cada n.

P+
Una serie n=1 an es una serie alternada cuando

an = (1)n cn

para alguna sucesion {cn } tal que cn > 0 para cada n.

Ejemplo 2.2. La serie armonica es:


+
X 1
.
n=1
n

Para esta serie


1
an =.
n
Entonces se trata de una serie de terminos positivos. Ademas
n
1 1 X1
sn = 1 + + + = .
2 n k=1 k
1. SERIES. 21

Una cuenta interesante es la siguiente:



1 1 1 1 1 1
s2n sn = 1 + + + + + + 1 + + +
2 n n+1 2n 2 n
1 1 1 1
= + + + +
n+1 2n 2n 2n
1 1
= n = .
2n 2
En conclusion, para la serie armonica:
1
s2n sn .
2
Ejemplo 2.3. Para la serie
+
X
(1)n
n=1
tenemos que
an = (1)n .
Entonces se trata de una serie alternada. Ademas
n
(
X 1 si n es impar
sn = (1)k = 1 + 1 1 + + (1)n =
k=1
0 si n es par

Ejemplo 2.4. La serie geometrica (de razon r) es:


+
X
rn .
n=0

Para esta serie


an = rn .
Si r > 0 entonces se trata de una serie de terminos positivos. Si r < 0 entonces se trata de
una serie alternada. Ademas
n
X
n
sn = 1 + r + + r = rk .
k=0

Un hecho curioso es que para eta serie: Entonces

rsn = r + r2 + + rn+1 .

Por lo tanto

(1 r)sn = sn rsn
= (1 + r + + rn ) (r + r2 + + rn+1 )
= 1 rn+1
22 2. SERIES NUMERICAS.

En conclusion, si r 6= 1 para la serie geometrica:


1 rn+1
sn =
1r
Pn
A veces se puede decir con exactitud cuanto da la suma finita (la suma k=1 ak ), pero
P
en general es muy difcil decir cuanto da la suma infinita (la serie +
n=1 an ).

Ejemplo 2.5. Para la serie


+
X 2 + cos(n3 )
.
n=1
2n + n
tenemos que
2 + cos(n3 )
an =
2n + n
Esta serie es de terminos positivos. Ademas
Xn
2 + cos(k 3 )
sn =
k=1
2k + k

2. Convergencia y divergencia de series.


P
Se dice que la serie +n=1 an converge o es una serie convergente cuando la sucesion de
sumas parciales {sn } tiene lmite finito.

P+
Se dice que la serie n=1 an diverge o es una serie divergente cuando la sucesion de sumas
parciales {sn } no converge (ya sea porque el lmite da +, da o no existe).

Sea s R, si la sucesion {sn } converge a s se suele escribir


+
X
an = s.
n=1

En otras palabras, la expresion anterior quiere decir:


n
X
lim ak = lim sn = s.
n+ n+
k=1

En esto ultimo debe quedar claro que s no se obtiene simplemente por adicion, s es el
lmite de una sucesion de sumas.
2. CONVERGENCIA Y DIVERGENCIA DE SERIES. 23

Ejemplo 2.6. Para la serie


+
X
(1)n
n=1
ya vimos que
(
1 si n es impar
sn =
0 si n es par
P
Como lim sn no existe tenemos que + n
n=1 (1) diverge.
n+

Ejemplo 2.7. La serie armonica es:


+
X 1
.
n=1
n

Anteriormente vimos que


1
(2.1) s2n sn .
2
Supongamos que existe un numero real s tal que lim sn = s. Usando la ecuacion (2.1)
n+
tenemos que
1
lim s2n lim sn .
2 n+ n+

Como lim s2n = s tenemos que


n+
1
s s = 0.
2
Y esta es una contradiccion (porque 0 < 12 ).
La contradiccion proviene de haber supuesto que existe un numero real s tal que
lim sn = s.
n+
Por el metodo de reduccion al absurdo concluimos que no existe un numero real s tal
que lim sn = s.
n+
P+ 1
Es decir, la serie armonica n=1 n diverge.

Criterio 2.8 (Criterio del termino general).


P
Dada + n=1 an .
P
(i) Si lim an 6= 0 entonces la serie +n=1 an diverge.
n+
(ii) Si lim an = 0, no hay informacion (puede ser que la serie converja o puede ser
n+
que la serie diverja).

Note que si lim an = 0, este criterio no permite llegar a ninguna conclusion. En este
n+
caso debe recurrir a otro criterio.
24 2. SERIES NUMERICAS.

Ejemplo 2.9. Consideremos la serie geometrica (de razon r):


+
X
rn .
n=0
P+
Si |r| 1 entonces lim rn 6= 0. Por el criterio del termino general. n=0 rn diverge si
n+
|r| 1.
Por otro lado se probo que si r 6= 1 entonces
1 rn+1
sn = .
1r
Sabemos que lim rn = 0 si |r| < 1. Luego
n+

1 rn+1 1
lim sn = lim = .
n+ n+ 1 r 1r

P+ 1
En conclusion, si |r| < 1 entonces la serie n=0 rn converge a 1r
, es decir,
+
X 1
rn = .
n=0
1r

Mas adelante estudiaremos que ocurre cuando |r| 1.

Este caso de la serie geometrica es uno de los pocos casos en los que se puede decir a que
valor converge la serie. En general no podemos decir cuanto vale.
Para saber si estamos trabajando con un numero o no. Es conveniente dar varios criterios
de convergencia de series.

3. Criterios de convergencia para series de terminos positivos.


P
Vamos a estudiar las series de la forma +
n=1 an donde an > 0. En estas condiciones

Sn = a1 + + an > 0.

Para indicar que una serie de terminos positivos es convergente se suele escribir
+
X
an < +.
n=1

Esta notacion no se usa para otro tipo de series.

Criterio 2.10 (Criterio de acotacion).


P
Dada +n=1 an con an > 0. Si la sucesion de sumas parciales {Sn } es acotada entonces
P+
n=1 an < + .
3. CRITERIOS DE CONVERGENCIA PARA SERIES DE TERMINOS POSITIVOS. 25

El criterio de acotacion es muy usado por los matematicos para demostrar teoremas.
Muchas de las demostraciones de los criterios siguientes se basan en este. Por otro lado, la
demostracion del criterio de acotacion requiere una comprension bien profunda del conjunto
de los numeros reales, especialmente del axioma del supremo.

Criterio 2.11 (Criterio de comparacion).


Sean {an } y {bn } sucesiones tales que 0 < an bn para todo n.
P P+
(i) Si +
n=1 bn converge entonces n=1 an tambien converge.
P+ P+
(ii) Si n=1 an diverge entonces n=1 bn tambien diverge.

Ejemplo 2.12. Estudiar la convergencia de la siguiente serie


+
X 2 + cos(n3 )
.
n=1
2n + n

Sabemos que n
2 + cos(n3 ) 3 1
0 n
n =3 .
2 +n 2 2
Sean
2 + cos(n3 )
an = .
2n + n
n
1
bn = 3
2
entonces 0 an bn .
Como
+
X + n
X + n
X
1 1
bn = 3 =3 < +
n=1 n=1
2 n=1
2
porque la serie de la derecha es una geometrica de razon 1/2 < 1. Es decir, tenemos que la
P
serie +n=1 bn converge.
P
Por el criterio de comparacion, obtenemos + n=1 an < +. Esto es,
+
X 2 + cos(n3 )
< +.
n=1
2n + n

Ejemplo 2.13. Estudiar la convergencia de la siguiente serie


X
1
n=1
n!

usando que
2n1 n! para todo n 1.
26 2. SERIES NUMERICAS.

(Los estudiantes de la Licenciatura en Matematica deberan ser capaces de probar esta


desigualdad usando el metodo de induccion completa).
Se sigue que,
1 1
n1 .
n! 2
Sean
1 1
an = , bn = .
n! 2n1
Ademas
+
X +
X + k
X
1 1 1
n1
= k
= < +,
n=1
2 k=0
2 k=0
2
porque la serie de la derecha es una geometrica de razon 1/2 < 1.
Por el criterio de comparacion
X
1
< +.
n=1
n!

Criterio 2.14 (Criterio del lmite).


Sean {an }, {bn } dos sucesiones tales que 0 an , 0 < bn y sea
an
= lim .
n bn
P P
(i) Si es finito y 6= 0, entonces n=1 b n converge si y solo si n=1 an converge.
P P
(ii) Si = y n=1 bn diverge entonces n=1 an diverge .
(iii) En los otros casos no hay informacion.

Ejemplo 2.15. Estudiaremos


+
X
1
sen .
n=1
n
Recuerde que
sen x
lim = 1.
x0 x

Sean an = sen n1 y bn = n1 . Usando el lmite anterior tenemos que

an sen n1
= lim = lim 1 = 1.
n bn n
n
+
X 1
Como es finito y 6= 0 y diverge, por el criterio del lmite tenemos que:
n=1
n
+
X
1
sen diverge.
n=1
n
3. CRITERIOS DE CONVERGENCIA PARA SERIES DE TERMINOS POSITIVOS. 27

Criterio 2.16 (Criterio de la raz).



Sea {an } una sucesion tal que an > 0 y sea = lim n
an . Entonces
n+
P+
(i) Si < 1, la serie n=1 an converge.
P
(ii) Si > 1, la serie +n=1 an diverge.
(iii) Si = 1, no hay informacion (puede ser que la serie converja o puede ser que la
serie diverja).

Cuando se aplica un criterio y se llega al caso en que este no da informacion, se deja este
criterio de lado y se trabaja con otro criterio.

Ejemplo 2.17. Estudiaremos la serie


+
X 1
.
n=1
(ln n)n
Tenemos
1
an = ,
(ln n)n
s
1 1
n
an = n
n
= .
(ln n) ln n
1
= lim n
an = lim = 0 < 1.
n+ n+ ln n

Por el criterio de la raz


+
X 1
< +.
n=1
(ln n)n

Criterio 2.18 (Criterio del cociente o de la razon).


an+1
Sea {an } una sucesion tal que an > 0 y sea = lim . Entonces
n+ an
P
(i) Si < 1, la serie +n=1 an converge.
P+
(ii) Si > 1, la serie n=1 an diverge.
(iii) Si = 1, no hay informacion (puede ser que la serie converja o puede ser que la
serie diverja).

Ejemplo 2.19. Estudiaremos la serie


+
X n!
.
n=1
nn
Tenemos
n!
an = ,
nn
28 2. SERIES NUMERICAS.

(n + 1)!
an+1 = .
(n + 1)n+1

(n + 1)!
an+1 (n + 1)n+1 (n + 1)! nn
= lim = lim = lim
n+ an n+ n! n+ n! (n + 1)n+1

nn
(n + 1)n! nn nn 1
= lim = lim = lim n+1 n
n+ n! (n + 1) (n + 1)n n+ (n + 1)n n+
n
1 1
= lim n = n
n+ 1 + n1 1
lim 1 +
n+ n
1
= <1
e
(porque e > 1).
Por el criterio del cociente
+
X n!
< +.
n=1
nn

Para dar el proximo criterio de series usaremos integrales impropias de la forma


Z +
f (x) dx.
1

Se dice que la integral impropia


Z +
f (x) dx converge
1
cuando el lmite
Z b
lim f (x) dx existe y es finito.
b+ 1

Ejemplo 2.20. Estudiaremos la integral


Z +
1
dx.
1 x
Tenemos Z Z
+ b
1 1
dx = lim dx = lim [(ln x)]b1 = lim ln b = +.
1 x b+ 1 x b+ b+

Luego
Z +
1
dx diverge
1 x
3. CRITERIOS DE CONVERGENCIA PARA SERIES DE TERMINOS POSITIVOS. 29

Criterio 2.21 (Criterio de la integral).


Sea f una funcion positiva y estrictamente decreciente definida en [1, +) tal que
f (n) = an para todo n natural.
La integral
Z +
f (x) dx converge
1
si y solo si la serie
+
X
an converge.
n=1

Cuando queremos usar este criterio para estudiar una serie procedemos as a partir de
an escogemos f , revisamos que f cumpla las condiciones dadas en el criterio. Calculamos la
integral y luego aplicamos lo siguiente:
Z + +
X
(1) Si f (x) dx converge entonces an converge.
1 n=1
Z + +
X
(2) Si f (x) dx diverge entonces an diverge.
1 n=1

Ejemplo 2.22. Estudiaremos la serie


+
X 1
2
.
n=1
n

Sea
1
f (x) = .
x2
Es claro que f es positiva. Por otro lado,

f 0 (x) = 2x3 < 0

si x > 0 de donde f es estrictamente decreciente en [1, +).


Estudiaremos la integral
Z +
1
dx.
1 x2
Tenemos
Z + Z b b
1 1 1 1
dx = lim dx = lim = lim 1 = 1.
1 x2 b+ 1 x 2 b+ x 1 b+ b
Luego
Z +
1
dx converge
1 x2
30 2. SERIES NUMERICAS.

entonces la serie
+
X 1
< +.
n=1
n2

4. Criterios de convergencia para series de terminos alternadas.

Criterio 2.23 (Criterio de Leibnitz).


Sea {cn } una sucesion tal que
(a) c1 c2 0.
(b) lim cn = 0.
n+
P
Entonces la serie + n
n=1 (1) cn converge.

Recuerde que como la serie no es de terminos positivos para decir que la serie converge
P
no se usa la notacion +
n=1 an < +..

Ejemplo 2.24. Estudiaremos la serie


+
X 1
(1)n .
n=1
n

En este caso el termino general es


1
an = (1)n .
n
Sea
1
cn = .
n
Entonces c1 c2 0.
1
lim cn = lim = 0.
n+ n+ n

Por el criterio de Leibnitz tenemos que


+
X 1
(1)n converge.
n=1
n

5. Series telescopicas.
P+
Las series n=1 an tales que el termino general se puede representar como una diferencia
de la forma:
an = bn bn+1

se denominan series telescopicas y su comportamiento esta garantizado por el siguiente teo-


rema.
5. SERIES TELESCOPICAS. 31

Teorema 2.25. Sean {an } y {bn } dos sucesiones de numeros reales tales que

an = bn bn+1
P
para n = 1, 2, . . . . Entonces la serie +
n=1 an converge si y solo si la sucesion {bn } converge,
en cuyo caso tenemos
+
X
an = b1 L,
n=1
donde L = lim bn .
n+

Ejemplo 2.26. Queremos determinar si converge o no la serie


+
X 1
.
n=1
n2 +n
Sea
1
an = .
n2 +n
Se tiene que
1 1 1
an = = .
n(n + 1) n n+1
Tomando bn = 1/n tenemos que
an = bn bn+1 .
Ademas sabemos que b1 = 1 y

lim bn = lim 1/n = 0.


n+ n+

Aplicando el teorema anterior obtenemos


+
X 1
= 1.
n=1
n2 +n
32 2. SERIES NUMERICAS.

Ejercicios.
Series.

(1) Verifique que las siguientes series son divergentes

1 2 3 4 9 27 81
(a) + + + + ... (e) 3 + + ...
2 3 4 5 2 4 8
+
X + n
X
3n 4
(b) (f)
n=1
n+1 n=1
3
+
X + n
X
n 2 +1
(c) (g)
n=1
2n + 3 n=1
2n+1
+
X +
X
n2 n
(d) (h)
n=1
n2 + 1 n=1
n2 + 1

(2) Verifique que las siguientes series son convergentes

3 9 27 1 1 1
(a) 2 + + + + ... (c) 2 1 + + ...
2 8 32 2 4 8
+
X +
X
(b) (0.9)n (d) (0.6)n
n=1 n=1

+
X
(3) Pruebe que la serie (1)n1 diverge.
n=1
(4) Que esta mal en la siguiente demostracion de que la serie geometrica divergente
+
X
(1)n+1 tiene por suma cero?
n=1
Demostracion:

+
X
(1)n+1 = [1 + (1)] + [1 + (1)] + + [1 + (1)] + . . .
n=1

= 0 + 0 + + 0 + = 0

(5) Demuestre que


+
X 1
(a) La serie converge y determine su suma.
n=1
n(n + 1)
+
X 1 1
(b) Se cumple la siguiente igualdad = .
n=1
(n + 2)(n + 3) 3
EJERCICIOS. SERIES. 33

Sugerencia: use la parte (a).

+
X 7 2
(6) Demuestre que la serie n1 converge y determine su suma.
n=1
n(n + 1) 3

(7) Encuentre una formula para Sn y demuestre que la serie converge o diverge usando
lim Sn .
n


X
X
1 1
(a) 2
(c)
n=1
4n 1 n=1
9n2 + 3n 2

X
X
n 1
(b) ln( ) (d) .
n=1
n+1 n=1
n+1+ n

(Sugerencia: racionalice el denominador).

+
X
1 1
(8) Determine si la serie + converge o diverge.
n=1
5n n

(9) Demuestre o de un contraejemplo:

+
X +
X +
X
Si an y bn divergen entonces an + bn diverge.
n=1 n=1 n=1

(10) Supongamos que lim (an+1 an ) existe. Demostrar que


n+
+
X
(an+1 2an + an1 ) = a0 a1 + lim (an+1 an ).
n+
n=1

(11) Determine si las siguientes series telescopicas convergen o divergen.

+
X +
X
1 ln((1 + 1/n)n (1 + n))
(a) (d)
n=1
n+1 n n=1
ln(nn ) ln((n + 1)n+1 )
+
X +
X
1
(b) ( n + 2 2 n + 1 + n) (e) arctan
n=1 n=1
n2 + n + 1
+ +
X
X n2 1 2
(c) ln (f) arctan
n2 n=1
n2
n=1
34 2. SERIES NUMERICAS.

Ayuda: use la formula:




arctan arctan = arctan .
1

(12) Aplique el criterio mas conveniente para determinar si las siguientes series convergen
o divergen.

X
X
1 2n
(a) (d) ln
n=1
n
e n=1
7n 5
X X n n
5 5 3 2
(b) (e) +
n=1
n + 2 n+3 n=1
2 3
X X
n 1 4
(c) (f)
n=1
ln(n + 1) n=1
n(n + 1) n

(13) *** Determine los valores positivos de p, para los cuales converge la serie indicada

X
X n
n 2 2
(a) np (b) n
n=1 n=1
p

(14) *** Determine los valores reales de p, para los cuales converge la serie indicada

X
X
np ln n
(a) (b)
n=1
n! n=1
np

(15) Sea {an } la sucesion de Fibonacci. Sea


an+1
bn = .
an
Demuestre que
1
(a) bn1 = 1 + ,
bn2

1+ 5
(b) lim bn = .
n+ 2

(c) La serie
X 1
1 1 1 1
1+1+ + + + + =
2 3 5 8 a
n=1 n
es convergente.
EJERCICIOS. SERIES. 35

(16) Use el criterio de series alternadas para determinar si las siguientes series son con-
vergentes


X
X
1 1 1
(a) (1)n+1 (g) (1) n+1
+ n
n=1
n+2 n=1
n 3
X
X
1 n+1
(b) (1)n1 (h) (1)n
n=1
n n=1
4n

X X
n n+1 4 n
(c) (1)n+1 (i) (1)
n=1
n2 +1 n=1
2n + 3

X n+2 X n2 + 1
(d) (1)n+1 3 (j) cos(n)
n=1
n n=1
n3
X
X
n ln n
(e) (1)n+1 (k) (1)n+1
n=1
n+2 n=1
n

X X 10
n1 3n
1 n+1 ln n
(f) (1) (l) (1)
n=1
n+5 n=1
n2
CAPITULO 3

Formula de Stirling y producto de Wallis.

Justificacion elemental de la formula de Stirling y producto de Wallis.

La formula de Stirling da un estimado para n! y el producto de Wallis da una expresion


para /2 como lmite de un cociente de numeros parecidos a los factoriales.

1. La formula de Stirling.

Comenzamos dando un estimado para n n!.

Proposicion 3.1. Se tiene que



n
n! 1
lim = .
n n e
Demostracion.
El grafico de la funcion logaritmo ayuda a entender las siguientes desigualdades:

ln((n 1)!) = ln(1.2. . . . .(n 1)) = ln 1 + ln 2 + + ln(n 1)


Z n
ln xdx ln 2 + + ln n = ln 1 + ln 2 + + ln n
1
= ln(1.2. . . . .(n 1).n) = ln n!

Pero Z n
ln xdx = [x ln x x]n1 = n ln n n + 1 = ln(nn ) n + 1.
1
De donde
ln((n 1)!) ln nn n + 1 ln n!.

Por lo tanto

(3.1) (n 1)! nn en e n!.

De la segunda desigualdad en (3.1) obtenemos



1 n
n!
(3.2) n
e .
e n

37
38 3. FORMULA DE STIRLING Y PRODUCTO DE WALLIS.

Por otro lado, multiplicando por n en la formula (3.1) tenemos que

n! nn en e n.

Luego

n 1
n! n n
n n e.
e
Y as

n
n! 1
(3.3) n n n e.
n e

Como lim n
n = lim
e = 1, de las desigualdades (3.2) y (3.3) obtenemos:
n
n n

1 1 n
n! 1 1 1
= lim n
e lim lim n
n n e = lim n n n e = .
e n e n n n e e n e
De donde,
n
n! 1
lim = .
n n e
Esta formula da un estimado para n!.

n
Varios refinamientos del metodo que acabamos de usar para estimar n! permiten dar
un estimado para n!. Mas precisamente, se puede demostrar:

2nen nn
lim =1
n n!
y esta es la conocida formula de Stirling.
Para no caer en aspectos demasiado tecnicos no damos la prueba. Sin embargo, el
lector interesado en ver una demostracion de esta formula puede hallarla en: Introduction
to Calculus and Analysis de R. Courant, F. John. Vol. I.

2. El producto de Wallis.

El producto de Wallis permite aproximar a 2
y es el siguiente:
2m2m(2m 2)(2m 2) . . . 6.6.4.4.2.2
= lim .
2 m (2m + 1)(2m 1)(2m 1)(2m 3) . . . 7.5.5.3.3.1

Para los estudiantes de la Licenciatura en Matematica damos la demostracion. Recorde-


mos que Z Z
n 1 n1 n1
sen x dx = sen x cos x + senn2 x dx.
n n
Integrando entre 0 y 2 se obtiene la siguiente igualdad:
Z /2 Z
n n 1 /2
(3.4) sen xdx = senn2 xdx.
0 n 0
2. EL PRODUCTO DE WALLIS. 39

Aplicando esta formula varias veces se obtienen las siguientes igualdades:


Z /2 Z Z
2m 2m 1 /2 2m2 (2m 1)(2m 3) /2
sen x dx = sen x dx = sen2m4 x dx
0 2m 0 2m(2m 2) 0
Z /2
(2m 1)(2m 3) . . . 3.1 (2m 1)(2m 3) . . . 3.1
= dx = .
2m(2m 2) . . . 4.2 0 2m(2m 2) . . . 4.2 2

Z /2 Z /2 Z /2
2m+1 2m (2m)(2m 2)
2m1
sen x dx = sen x dx = sen2m3 x dx
0 2m + 1 0 (2m + 1)(2m 1) 0
Z /2
(2m)(2m 2) . . . 4.2 (2m)(2m 2) . . . 4.2
= sen xdx = .
(2m + 1)(2m 1) . . . 5.3 0 (2m + 1)(2m 1) . . . 5.3
Resumiendo, llegamos a que
Z /2
(2m 1)(2m 3) . . . 3.1
sen2m x dx = ,
0 2m(2m 2) . . . 4.2 2
Z /2
(2m)(2m 2) . . . 4.2
sen2m+1 x dx = .
0 (2m + 1)(2m 1) . . . 5.3
De las formulas anteriores
Z /2
2m(2m 2) . . . 4.2
(3.5) = sen2m xdx,
2 (2m 1)(2m 3) . . . 3.1 0

Z /2
(2m + 1)(2m 1) . . . 5.3
(3.6) 1= sen2m+1 xdx.
(2m)(2m 2) . . . 4.2 0

Dividiendo la formula (3.5) entre la formula (3.6), obtenemos que


R /2
2m2m(2m 2)(2m 2) . . . 4.4.2.2 0
sen2m xdx
(3.7) = R /2
2 (2m + 1)(2m 1)(2m 1)(2m 3) . . . 5.3.3.1 sen2m+1 xdx 0

A continuacion estudiaremos el cociente de estas dos integrales.


En [0, /2] as que 0 sen x 1. Luego

sen2m+1 x sen2m x sen2m1 x.

Integrando
Z /2 Z /2 Z /2
2m+1 2m
sen xdx sen xdx sen2m1 xdx.
0 0 0
R /2 2m+1
Dividiendo entre 0 sen xdx se obtiene
R /2 R /2 R /2
0
sen2m+1 xdx 0
sen2m xdx 0
sen2m1 xdx 2m + 1
1 = R /2 R /2 R /2 =
sen2m+1 xdx sen2m+1 xdx sen2m+1 xdx 2m
0 0 0

(para la ultima igualdad hemos usado la ecuacion (3.4)).


40 3. FORMULA DE STIRLING Y PRODUCTO DE WALLIS.

Entonces R /2
0
sen2m xdx 2m + 1 1
1 R /2 =1+ .
sen2m+1 xdx 2m 2m
0
De donde R /2
sen2m xdx
lim R 0 =1
m /2 sen2m+1 xdx
0
Volviendo a la ecuacion (3.7) obtenemos que
2m2m(2m 2)(2m 2) . . . 6.6.4.4.2.2
= lim ,
2 m (2m + 1)(2m 1)(2m 1)(2m 3) . . . 7.5.5.3.3.1
y este es el conocido producto de Wallis.
EJERCICIOS. FORMULA DE STIRLING Y PRODUCTO DE WALLIS. 41

Ejercicios.
Formula de Stirling y producto de Wallis.

A continuacion indicamos tres formulas que permiten calcular lmites bastante compli-
cados.

n
Estimado para n!:
n
n! 1
lim = .
n n e
Formula de Stirling:
2nen nn
lim =1
n n!
Producto de Wallis
2m2m(2m 2)(2m 2) . . . 6.6.4.4.2.2
= lim ,
2 m (2m + 1)(2m 1)(2m 1)(2m 3) . . . 7.5.5.3.3.1

Deducir los siguientes lmites con la ayuda de las formulas anteriores

n
(1) * lim = e.
n (n!)1/n

(n!)2 22n
(2) * lim = .
n (2n)! n


n 1/2 1
(3) * lim (1) n= .
n n

donde
t t(t 1) . . . (t n + 1)
= .
n n!

Nota: EL producto t(t1) . . . (tn+1) es un polinomio en t de grado n llamado


polinomio factorial n-esimo. Se representa con el smbolo t(n) , as pues

t(n) = t(t 1) . . . (t n + 1).


Bibliografa

[1] Alson, P. Calculo Basico. Editorial Erro.


[2] Apostol, T. Calculus Volumen 1. Editorial Reverte.
[3] Apostol, T. Calculus Volumen 2. Editorial Reverte.
[4] Bruzual, R. y Domnguez, M. Gua de problemas de Calculo III para Matematicos. Facultad de
Ciencias, Universidad Central de Venezuela.
[5] Bruzual, R. y Domnguez, M. Calculo diferencial en una variable. Publicaciones del Laboratorio de
Formas en Grupos, Facultad de Ciencias, Universidad Central de Venezuela. 7
[6] Bruzual, R. y Domnguez, M. Calculo integral en una variable. Publicaciones del Laboratorio de
Formas en Grupos, Facultad de Ciencias, Universidad Central de Venezuela.
[7] Deminovich, B. Problemas y ejercicios de Analisis Matematico. Editorial Paraninfo.
[8] Miranda, Guillermo Matematica III - Fsica Fac. Ciencias. UCV.
[9] Swokowsky, E. W. Calculo con Geometra Analtica. Grupo Editorial Iberoamericana.

43
44
Indice

criterio
de acotacion, 24
de comparacion, 25
de la integral, 29
de la raz, 27
de la razon, 27
de Leibniz, 30
del cociente, 27
del lmite, 26
del termino general, 23

LHopital, regla de, 6


lmite
infinito, 9

serie, 19
alternada, 20
armonica, 20
convergente, 22
de terminos positivos, 20
divergente, 22
geometrica, 21
sucesion, 1
convergente, 4
divergente, 4

45

S-ar putea să vă placă și