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 n2 n 1 n

n>2

En este caso puede demostrarse que 1 1+ 5 1 1 5 an = 5 2 5 2

n n

Por ltimo se pueden definir de manera completamente arbitraria siempre y cuando medie una ley de formacin, por ejemplo:

Trmino de la sucesin 1 11 21 1211 111221 21112211

Ley de formacin

Uno Un uno Dos unos Un dos, un uno Un uno, un dos, dos unos 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 y es estrictamente creciente si a n < a n +1 n 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 y es estrictamente decreciente si n

a n > a n +1

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} inferiormente es decir si est acotada si est acotada superior e

an M

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 < , n > N

>0

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

n(n 1)(n 2)...1 1 1 n(n 1) 1 1 + ... + = 1 + = 1 + n + 2 n n! nn 2! n n 1 1 1 1 2 3 n 1 1 + 1 + 1 + ... + 1 1 1 ...1 n! n n n n 2! 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 an cn bn

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

n

lim cn = l

Por ejemplo, la sucesin

{cn } =

1 1 1 1 + 2 + 2 + ... + 2 n + n n +1 n + 2 n + 3
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 n b n +1 bn lim
existe, entonces el lim

an tambin existe y coincide con el anterior. n b 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

Por ejemplo la sucesin

{cn } = 1 + 2 + 3 +24 + ... + n

an +1 an n +1 n +1 1 = lim = lim = 2 2 n b n (n + 1) n n 2n + 1 2 n +1 bn lim

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
n n

lim a*n = l lim a**n = l lim an = l

entonces

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 .................................... S n = a1 + a2 + a3 + a4 + ... + an = ak
k =1 k =n

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

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 + + + + + ... + + ... se denomina serie armnica y 2 3 4 5 6 k es divergente. En efecto

La serie 1 +
1 1 1 1 1 1 1 1 1 + ... + n S 2 n = 1 + + + + + + + + ... + n 1 2 2 +1 2 3 4 5 6 7 8 1 1 1 1 1 1 1 1 1 1 + + + + + + + + ... + n + ... + n = 2 2 4 4 8 8 8 8 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 multiplicada por la razn q la misma

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

S n = ak
k =1

S n 1 = ak
k =1

n 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.
n

lim (S n S n 1 ) = lim an = 0
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

S n = ak
k =1

S n + p = ak
k =1

n+ p

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.

S = ak = ak +
k =1 k =1

k = n +1

= S n + Tn

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

una

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

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

u
k =1

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

una serie cuyo carcter se desea establecer y sea

u
k =1

una

serie divergente, verificndose que ak uk, entonces

diverge. La serie

u
k =1

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

con suma U, y la razn

u
k =1

una

serie

convergente,

an < , > 0 entonces un

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

an > , > 0 entonces un

u
k =1

una

serie divergente, y la razn Series patrn

diverge.

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

, se calcula

lim

an =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

, 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 Sea una serie de trminos positivos divergente. Se calcula

1
n

una serie

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

Si L > 0 la serie

converge, si L < 0 la serie

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

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
n

lim an = 0

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

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

an

(n 2)2 =
n!
k 1

02
k 1

n3 an = n+ 4
bn = (1) n

03

hk = (1)

2k (k 2 ) k +1

04

(n 1)(n 3)
nn

02

i i qi = sen cos 4 2 Escribir el trmino general de la sucesin

05

pj =

cos( j ) j!

06

01

{a n } = { 1,3,9,27,81,...}

02

{a k } = 1 , 1 , 1 , 1 ,...
3
5 7 9

03 03

{pi } = 1, 3 , 5 ,

2 6

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

Verificar los siguientes lmites 01

2n 1 2 n
(n + 2)2 1 2 4 4n

02

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

03

04

04

Calcular los lmites de las siguientes sucesiones 01

(1) n cos(n )

02

{(1)
n

cos(n )

03 05 05

{ n + 1}
n

04 06

{ n 2}
1 n n 1 + n

(n) n n n

Dada la sucesin

a1 = 3 a n = 1 + a n 1
01 02 03 04 06

n >1

Encontrar los seis primeros trminos de la misma Conjeturar si es creciente o decreciente. Analizar la acotacin. Analizar la convergencia

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.

01

1 1 9 3 + 1 + ... 3 9 6+ 3+ 6 3 + + ... 2 2

02

4 +1+

1 1 1 + + + ... 4 16 64 2 2 2 4 ... 3 9 27

03

04

08

Escribir en forma de sumatoria las siguientes series numricas y estudiar su convergencia por el criterio de comparacin con series geomtricas 01

Sn = 1 +

1 1 1 1 + 3 + 3 + ... + 3 + ... 3 2 3 4 n

02

Sn =

1 1 1 1 1 + + + + ... + + ... n(n + 1) 1* 2 2 * 3 3 * 4 4 * 5

03

S=

1 2 4 8 16 + + + + + ... 2! 4! 6! 8! 10! 1 3 + 1
4

04

S = 1+

+6

1 3

+8

1 3

+ ...

05 09

S=

1 1 1 1 1 + + + + + ... 2 3 5 9 17

Estudiar la convergencia de las siguientes series numricas empleando el criterio de DAlembert 01

1 1 1 1 1 + + + + + ... 1 * 2 3 * 4 5 * 6 7 * 8 9 * 10 1 1 1 1 1 + + + + + ... 3 * 2 4 * 4 5 * 8 6 *16 7 * 32 10 100 1000 10000 100000 + + + + + ... 2 6 24 120 720 1 1 2 6 24 + + + + + ... 10 100 1000 10000 100000 1 2 6 24 120 + 20 + 30 + 40 + 50 + ... 10 10 10 10 10 10

02

03

04

05

10

Estudiar la convergencia de las siguientes series numricas. 01

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

02

1 1 1 1 + + + + ... 5 * 6 * 7 6 * 7 * 8 7 * 8 * 9 8 * 9 * 10 1 4 27 256 3125 + + + + + ... 2 3 4 2*5 9*5 64 * 5 625 * 5 7776 * 5 5

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

03

04

05

k
k

4
2

06

2j+2
j

07

(2n + 2)
n

08

1 2k + 1

09

j
j

1 ln( j )

10

n[ln(n)]
n

11

Demostrar que la serie

(1)
n =1

ln(n) es convergente y calcular n

su suma con error menor que 10-3 12 13 Estudiar la convergencia de la serie

(1)
n =1

(n!)2 (2n )!

Determinar si las siguientes series alternadas son condicional o absolutamente convergentes 01 02 03

3 4 5 1 1 1 1 1 + + ... 3 5 7 9 1 1 1 1 1 + + ... 2! 3! 4! 5!

1 2

...

Por si es necesaria en los ejercicios anteriores se transcribe la Frmula de Stirling n n 2 n n! en