Sucesiones

Definicin
Sucesin Se denomina sucesin a una funcin cuyo dominio es el conjunto de los nmeros naturales. Para denotar el n-simo elemento de la sucesin se escribe an en lugar de f(n). Ejemplo: an = 1/n a1 = 1, a2 = 1/2, a3 = 1/3, a4 = 1/4, ...

Definicin
Sucesin montona creciente Una sucesin es montona creciente si se cumple que para todo n natural an <= an+1 (a1 <= a2 <= a3 <= ... <= an). Ejemplo: an = n es montona creciente. a1 = 1, a2 = 2, a3 = 3, a4 = 4, ...

Definicin
Sucesin montona decreciente Una sucesin es montona decreciente si se cumple que para todo n natural an >= an+1 (a1 >= a2 >= a3 >= ... >= an). Ejemplo: an = 1/n es montona decreciente. a1 = 1, a2 = 1/2, a3 = 1/3, a4 = 1/4, ...

Lmite finito de una sucesin

Consideremos la sucesin an = 1/n. a1 = 1 a2 = 1/2 = 0.5

a3 = 1/3 0.33 a4 = 1/4 = 0.25 a5 = 1/5 = 0.2 a6 = 1/6 0.17 a7 = 1/7 0.14 a8 = 1/8 0.12 a9 = 1/9 0.11 a10 = 1/10 = 0.1 A medida que aumenta n, los trminos de la sucesin son cada vez ms cercanos a 0. Si representamos los trminos como puntos en una lnea, esto significa que los puntos an se apian cada vez ms cerca del punto 0 conforme n crece. Se dice que an tiende a 0, o que tiene lmite 0. Se expresa simblicamente por: lim an = 0 o bien, ocasionalmente, por la notacin abreviada an -> 0.

Definicin
Lmite finito lim an = a <=> para todo >0 existe N natural / para todo n > N a - < an < a + , o lo que es lo mismo, |an - a| < . Para cualquier nmero positivo , por pequeo que sea, podemos encontrar un natural N suficientemente grande tal que a partir del ndice N en adelante se tiene que |an - a| < . Es decir, si tomamos un entorno de a de cualquier radio siempre habr un subndice N tal que desde N en adelante todos los trminos de la sucesin pertenecen a dicho entorno.

Lmite infinito de una sucesin

Consideremos la sucesin an = n2. a1 = 1 a2 = 4 a3 = 9 a4 = 16 ... a10 = 100 ...

a100 = 10.000 Al crecer n, an no tiende a un lmite definido, sino que crece ms all de toda cota. Se dice que an tiende a infinito.

Definicin
Lmite infinito lim an = +inf <=> para todo K>0 existe N natural / para todo n > N an > K. Para cualquier nmero positivo K (tan grande como se quiera), podemos encontrar un natural N, tal que aN y todos los trminos siguientes son mayores que K. Esto quiere decir que an puede hacerse mayor que cualquier cota, con tal de que n sea lo suficientemente grande. Del mismo modo se define lim an = -inf <=> para todo K<0 existe N natural / para todo n > N an < K.

Definicin
Convergencia y divergencia Cuando una sucesin tiene lmite finito a se dice que es convergente y converge a a. Una sucesin que tiene lmite infinito se llama divergente. Una sucesin que carece de lmite se llama oscilante. La sucesin an = 1/n converge a 0. La sucesin an = n2 es divergente. La sucesin an = sen n es oscilante, pues sus valores varan entre 1 y -1.

Propiedades del lmite finito de sucesiones

Unicidad del lmite Si una sucesin tiene lmite es nico. H) lim an = b T) b es nico Demostracin: La demostracin se hace por reduccin al absurdo. Suponemos que an tiene dos lmites distintos b y c. Suponemos que b > c. lim an = b => (por def. de lmite finito de una sucesin) para todo >0 existe n1 natural / para todo n > n1 b - < an < b + ;

lim an = c => (por def. de lmite finito de una sucesin) para todo >0 existe n2 natural / para todo n > n2 c - < an < c + Consideremos un tal que c+ < b-, o sea < (b - c)/2 Sea N = max {n1,n2} Para todo n > N se cumple b - < an < b + c - < an < c +

Absurdo, pues an no puede pertenecer a dos entornos disjuntos. Absurdo de suponer b c. Por lo tanto b = c. Lmite de la sucesin comprendida Si una sucesin est comprendida entre otras dos que tienen igual lmite, entonces tiene el mismo lmite. H) lim an = lim bn = p Para todo n > n0 an <= cn <= bn T) lim cn = p Demostracin: lim an = p => (por def. de lmite de una sucesin) para todo 1 > 0 existe n1 natural / para todo n > n1 p - 1 < an < p + 1 lim bn = p => (por def. de lmite de una sucesin) para todo 2 > 0 existe n2 natural / para todo n > n2 p - 2 < bn < p + 2 Sea N = max {n0, n1, n2} Para todo n > N se cumple p-1 < an <= cn <= bn < p+2 p-1 < cn < p+2 Sea = min {1, 2} Para todo n > N p- < cn < p+ => (por def. de lmite de una sucesin) lim cn = p.

Operaciones con lmites

El lmite de la suma, producto y cociente de sucesiones se determina por las mismas reglas que para las funciones de variable continua. Las demostraciones son iguales, basta sustituir f(x) por an y considerar que la tendencia siempre es hacia +infinito. Aqu slo demostraremos el lmite de una suma. Para ver las dems reglas visitar la pgina sobre operaciones con lmites.

Lmite de la suma

Si dos sucesiones tienen lmite finito, entonces su suma tiene lmite finito y es igual a la suma de esos lmites. H) lim an = a, lim bn = b T) lim an + bn = a + b Demostracin: Queremos probar que, dado > 0, existe N > 0 tal que para todo n > N |(an + bn) - (a+b)| < . Sea ' = /2 lim an = a => (por def. de lmite finito de una sucesin) para todo ' > 0 existe n0 natural / para todo n > n0 |an - a| < '. lim bn = b => (por def. de lmite finito de una sucesin) para todo ' > 0 existe n1 natural / para todo n > n1 |bn - b| < '. Sea N = max {n0, n1} Para todo n > N se cumple: |an - a| < ' |bn - b| < '

=> |an - a| + |bn - b| < 2' = |(an + bn) - (a+b)| = |(an - a) + (bn - b)| <= (*) |an - a| + |bn - b| < (*) Desigualdad triangular: |x + y| <= |x| + |y| Resumiendo, dado >0 existe N / para todo n > N |(an + bn) - (a+b)| <

=> (por def. de lmite finito de una sucesin) lim an + bn = a + b

Definicin
Sucesiones equivalentes Dos sucesiones se dicen equivalentes cuando el lmite de su cociente es 1.

Definicin
Sucesin acotada M es cota superior de la sucesin an si an < M para todo n. m es cota inferior de la sucesin an si an > m para todo n. Una sucesin es acotada si tiene tanto cota superior como inferior.

Teorema
Toda sucesin montona y acotada converge. H) an montona Existen m y M / m < an < M para todo n. T) lim an = b Demostracin: Queremos probar que existe N / para todo n > N |an - b| < . Supongamos que an es creciente (si suponemos que es decreciente, la demostracin es anloga). an < M para todo n Es decir que el conjunto de todos los trminos de la sucesin S = {a1, a2, a3, ...} tiene extremo superior (la menor de las cotas superiores), llammosle b. Sea >0 b - no es cota superior de S pues es menor que el extremo superior => existe N / aN > b-.

an es creciente => para todo n > N an >= aN => an > b- => -(an - b) < (1) b+ tambin es cota superior de S => para todo n an < (b+) => => an - b < (2) => De 1) y 2) para todo n > N |an - b| <

Teorema
Toda sucesin convergente es acotada. H) an convergente T) an acotada Demostracin: an es convergente, eso significa que tiene lmite finito: lim an = a => (por def. de lmite finito de una sucesin) para todo >0 existe N / para todo n > N a- < an < a+ => (por def. de sucesin acotada) an est acotada. Nota: El recproco no es cierto. Que una sucesin est acotada no implica que sea convergente. Contraejemplo: an = (-1)n est acotada pero no es convergente. -1, 1, -1, 1, -1, 1, -1, 1, ...

Definicin
Par de sucesiones montonas convergentes ((an),(bn)) es un par de sucesiones montonas convergentes si a) an es creciente y bn decreciente. b) Para todo n natural an <= bn c) Para todo >0 existe h natural / bh - ah < Ejemplo: an = -1/n, bn = 1/n

an es creciente. Debemos probar que an+1 >= an, o sea an+1 - an >= 0
-1 -1 -n + n + 1 1 --- - --- = ---------- = ------ > 0 n+1 n n(n+1) n2 + n

bn es decreciente. Debemos probar que bn+1 <= bn, o sea bn - bn+1 >= 0
1 1 n + 1 - n 1 --- - --- = --------- = ------ > 0 n n+1 n(n+1) n2 + n

Para todo n an < bn

-1 1 --- < --- pues -n < n para todo n. n n

Dado >0, existe h / bh - ah <

1 -1 2 --- - --- = --- < h h h

Para que se cumpla basta tomar un h > 2/

Propiedad
Todo PSMC tiene frontera ((an),(bn)) es un PSMC => existe c / para todo n an <= c <= bn, lim an = c- y lim bn = c+. lim an = c- significa que an se aproxima a c por la izquierda, y lim bn = c+ significa que bn se aproxima a c por la derecha.

El nmero e
A menudo un nmero a se describe por medio de una sucesin infinita an de aproximaciones; esto es, el valor a est dado por el valor an con cualquier grado de precisin deseado si el ndice n se elige suficientemente grande. Este es el caso del nmero e (e = 2,718281...), que puede definirse como el lmite de la sucesin an = (1 + 1/n)n o de la sucesin bn = (1 + 1/n)n+1. Probaremos que estas sucesiones forman un PSMC. an es creciente.

Demostracin: Utilizando la frmula del binomio de Newton, podemos expresar (1+1/n)n como:
an = (1 + 1/n)n n n n n! = Ci.1n-i.(1/n)i = ---------i=0 i=0 (n-i)!i!ni n+1 n+1 Ci.1n+1-i.(1/(n+1))i = i=0 n+1 (n+1)! ---------------i=0 (n+1-i)!i!(n+1)i

an+1=(1 + 1/(n+1))n+1 =

El desarrollo de an+1 tiene un trmino ms que el de an y cada trmino es positivo. Si probamos que cada sumando de an es menor o igual que el correspondiente de an+1 probaremos que an es creciente.
n! ? (n+1)! ---------- <= --------------(n-i)!i!ni (n+1-i)!i!(n+1)i n(n-1)...(n-i+1) ? (n+1)(n)...(n+1-i+1) ---------------- <= -------------------n.n....n (n+1)(n+1)...(n+1) (n-1) (n-i+1) ? n n+1-i+1 -----...------- <= ---...------n n n+1 n+1 1 i-1 ? 1 i-1 (1 - ---)...(1 - ---) <= (1 - ---)...(1 - ---) n n n+1 n+1 --> i factores --> i factores

Cada factor es de la forma 1 - p/n donde p es el mismo en ambos miembros. 1 - p/n < 1 - p/(n+1) Entonces cada factor del primer miembro es menor que el correspondiente del segundo. Por lo tanto, cada sumando del desarrollo de an es menor que el correspondiente de an+1. => an es creciente. bn es decreciente.
bn = (1 + 1/n)n+1 bn+1 = (1 + 1/n+1)n+2 = (1 + 1/n+1)n+1.(1 + 1/n+1) ? bn+1 <= bn ? (1 + 1/n+1)n+1.(1 + 1/n+1) <= (1 + 1/n)n+1 (1 + 1/n)n+1 ? 1 -------------- >= 1 + --(1 + 1/n+1)n+1 n+1

n+1/n n+1 ( ------- ) n+2/n+1

? 1 >= 1 + --n+1

n2 + 2n + 1 n+1 ? 1 ( ----------- ) >= 1 + --n2 + 2n n+1 1 n+1 ? 1 ( 1 + ------- ) >= 1 + --n2 + 2n n+1

Desigualdad de Bernoulli: (1+p)q >= 1 + pq si p>=-1 y q>1

1 n+1 n+1 ( 1 + ------- ) >= 1 + ------n2 + 2n n2 + 2n n+1 ? 1 1 + ------ >= 1 + --n2 + 2n n+1 n+1 ? 1 ------- >= --n2 + 2n n+1 n2 + 2n + 1 > n2 + 2n se cumple para todo n.

Para todo n an < bn

an = (1 + 1/n)n bn = (1 + 1/n)n+1 ? bn - an > 0 ? (1+1/n)n+1 - (1+1/n)n > 0

Sacamos factor comn:

(1+1/n)n(1+1/n - 1) = 1/n(1+1/n)n > 0 para todo n >= 1.

Dado >0 existe n natural / bn - an <

(1) (2) bn - an = 1/n(1+1/n)n = (1/n)an < (1/n)bn < (1/n)b1 = (1/n)4 <

(1) an < bn (2) bn decreciente Basta elegir n > 4/ Por lo tanto, an y bn forman un PSMC. El elemento frontera es el nmero e.
n=1: n=2: 2 < e < 4 2,25 < e < 3,375

n=3: 2,37 < e < 3,16 n=4: 2,44 < e < 3,05 ... n=100: 2,70 < e < 2,73

Series
Definicin
Dada una sucesin an es posible formar una nueva sucesin Sn del siguiente modo: S1 = a1 S2 = a1 + a2 S3 = a1 + a2 + a3 S4 = a1 + a2 + a3 + a4 ... Sn = a1 + a2 + a3 + a4 + ... + an La sucesin Sn se llama serie y se denota por
+inf n=1 an o simplemente an

Los elementos a1, a2, a3, ..., an, ... de la sucesin original son los trminos de la serie y S1, S2, S3, ..., Sn, ... se denominan las sumas parciales de la serie. Una serie es una sucesin de sumas parciales.

Clasificacin de una serie

Si la sucesin Sn tiene lmite finito S, la serie es convergente (converge a S). A S se le llama suma de la serie. Si lim Sn = +inf o -inf se dice que la serie es divergente. Si Sn no tiene lmite, se dice que la serie es oscilante.

Nota: Sn es la sucesin de sumas parciales, no la sucesin an.

Propiedades de las series

Propiedad asociativa En toda serie se pueden sustituir varios trminos por su suma efectuada, sin que vare el caracter ni la suma de la serie. Nota:

La propiedad asociativa no es vlida en series oscilantes. La propiedad disociativa no es vlida para series convergentes o divergentes. Propiedad distributiva H) an converge y su suma es S T) kan converge y su suma es kS Demostracin: Sn = an Tn = kan lim Sn = lim a0 + a1 + ... + an = S lim Tn = lim ka0 + ka1 + ... + kan = lim k(a0 + a1 + ... + an) = kS => kan converge y su suma es kS. De manera anloga: Si an diverge, kan tambin diverge. Si an es oscilante, kan tambin es oscilante.

Propiedad aditiva H) Sean Sn = an y Tn = bn dos series convergentes con sumas S y T respectivamente. T) La serie an+bn es convergente y su suma es S + T. Demostracin: El trmino n-simo de la serie an+bn es Sn + Tn lim Sn + Tn = lim Sn + lim Tn = S + T (por lmite de una suma de sucesiones) => an+bn converge a S+T

Propiedad de linealidad

H) Sean Sn = an y Tn = bn dos series convergentes con sumas S y T respectivamente, y sean h y k dos constantes. T) La serie kan+hbn es convergente y su suma es kS + hT. Demostracin:

 an converge a S => por la propiedad distributiva, kan converge a kS bn converge a T => por la propiedad distributiva, hbn converge a hT => por la propiedad aditiva kan+hbn converge a kS + hT

Teorema
Condicin necesaria para la convergencia Es condicin necesaria para que la serie an sea convergente, que lim an = 0. H) Sn = an convergente T) lim an = 0 Demostracin: Sn = a1 + a2 + ... + an-1 + an Sn-1 = a1 + a2 + ... + an-1 an = Sn - Sn-1 Sn es convergente => lim Sn = lim Sn-1 = S lim an = lim Sn - Sn-1 = S - S = 0 Nota: Este criterio es necesario pero no suficiente, es decir que, si el trmino n-simo tiende a 0, no se puede afirmar que la serie sea convergente. Contraejemplo: 1/n es divergente aunque lim an=0

Definicin
Serie geomtrica Aquella cuyos trminos forman una progresin geomtrica. (Cada trmino es igual al anterior multiplicado por una constante). Si llamamos a al primer trmino y k a la constante, Sn = a + ak + ak2 + ak3 + ... + akn-1 = akn-1 Multipliquemos ambos miembros por k: kSn = ak +ak2 + ak3 + ak4 + ... + akn = akn Restamos ambas ecuaciones: Sn - kSn = a - akn

(a-akn) Sn = ------(1-k) a akn Sn = --- - --1-k 1-k

Para |k| < 1 lim Sn = a/(1-k) pues kn -> 0, la serie geomtrica converge. Para |k| > 1 la serie diverge pues kn -> inf. Para k = 1 la serie diverge pues Sn = na. Para k = -1 la serie es oscilante.
D Osc C D D ------|------|------1 1

Definicin
Serie telescpica Serie tal que cada trmino se expresa como una diferencia de la forma an = bn - bn+1.

Teorema
Suma de una serie telescpica Sean an y bn dos sucesiones tales que an = bn - bn+1. La serie telescpica an converge si y slo si la sucesin bn converge y se cumple que an = b1 - L donde L = lim bn+1. Demostracin: Sn = an = (bn - bn+1) = (b1 - b2) + (b2 - b3) + ... + (bn - bn+1) = b1 - bn+1 lim Sn = lim b1 - lim bn+1 Por lo tanto an converge si y slo si bn converge, y en ese caso su suma es b1 - L, donde L = lim bn+1. (Si bn diverge, an tambin). Ejemplo: Sn = 1/(n2 + n) an = 1/(n2 + n) = 1/n - 1/n+1 bn = 1/n converge a 0 => 1/(n2 + n) converge a 1 - lim 1/n+1 = 1

Series de trminos positivos Definicin

Serie de trminos positivos (STP) Es una serie an tal que an>=0 para todo n. (La serie es siempre una sucesin creciente). Ejemplo: 1/2n

Criterios de convergencia para STP

Teorema previo

Una serie de trminos positivos an converge si y slo si la sucesin de sus sumas parciales est acotada superiormente. Demostracin: Directo: an converge => lim Sn = S => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para todo n>N S - < Sn < S + => Sn est acotada superiormente. Recproco: an es montona creciente por ser de trminos positivos. Sn < M para todo n Toda sucesin montona y acotada converge (ver teorema) => Sn converge Ejemplo: 1/n! 1/n! <= 1/2n-1 para todo n>=1 pues n! >= 2n-1 ya que n! es el producto de (n-1) factores mayores o iguales que 2. Por lo tanto 1/n! <= 1/2n-1 = (1/2)n-1 = 2 por ser una serie geomtrica (a=1, k=1/2). Por el teorema anterior 1/n! converge y su suma es menor que 2.

Criterio de comparacin

Sean an y bn dos series de trminos positivos. Si existe una constante c > 0 tal que an <= cbn para todo n, entonces la convergencia de bn implica la de abn. Demostracin: Sn = an = a1 + a2 + ... + an Tn = bn = b1 + b2 + ... + bn an <= cbn para todo n => Sn <= c.Tn Por hiptesis Tn = bn converge => (teorema) la sucesin de sus sumas parciales est acotada superiormente: Tn < M => Sn <= cTn < cM => an es convergente pues la sucesin de sus sumas parciales est acotada superiormente (teorema). Nota: El teorema tambin es valido si an <= cbn para todo n >= N. Sean an y bn dos series de trminos positivos. Si existe una constante c > 0 tal que an >= cbn para todo n, entonces si bn diverge, an tambin diverge. Demostracin: Sn = an T n = bn bn diverge => lim Tn = +inf => lim cTn = c.lim Tn = +inf Sn >= cTn => lim Sn = +inf => an diverge. Ampliacin del criterio Sean an y cn dos series de trminos positivos. an y cnan convergen o divergen simultneamente. Criterio de comparacin por paso al lmite Sean an y bn dos series de trminos positivos. Si lim an/bn = k > 0, entonces an converge si y slo si bn converge. ( an y bn son de la misma clase). Demostracin:

lim an/bn = k > 0 => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para todo n > N |an/bn - k| < o sea k - < an/bn < k + Directo: bn < (1/(k-))an => por el criterio anterior, si an converge, bn converge . Recproco: an < (k+)bn => por el criterio anterior, si bn converge, an converge. Si an y bn son sucesiones equivalentes (lim an/bn = 1) => por el teorema anterior, an y bn son de la misma clase. Por lo tanto, para clasificar una serie de trminos positivos an, se puede sustituir an por su equivalente bn. Ejemplo:
1 ----n(n+1) 1 1 ----- es equiv. a --n(n+1) n2 1 1 => ----- converge pues --- converge n(n+1) n2

Criterio de D'Alembert H) Sea an una serie de trminos positivos. an+1/an <= k < 1 para todo n >= N T) an converge. Demostracin: an+1 <= kan (k<1) para todo n>=N. aN+1 <= kaN aN+2 <= kaN+1 ... an+1 <= kan Multiplicamos: aN+1.aN+2.....an+1 <= kn-N+1.aN.aN+1.....an

an+1 <= knaN/kN-1 an+1 <= Hkn donde H = aN/KN-1 k<1 => kn converge (es una serie geomtrica) => por la propiedad distributiva Hkn converge => por el criterio de comparacin an converge H) Sea an una serie de trminos positivos. an+1/an >= 1 para todo n >= N T) an diverge. Demostracin: an+1 >= an >= an-1 >= ... >= aN > 0 an es creciente an >= 0 para todo n => an no tiende a 0 => (por Condicin necesaria para la convergencia) an diverge. Corolario de D'Alembert H) Sea an una serie de trminos positivos. lim an+1/an = L < 1 T) an converge. Demostracin: lim an+1/an = L => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para todo n > N |an+1/an - L| < o sea L - < an+1/an < L + Para que L + < 1 basta elegir < 1 - L Para todo n>N an+1/an < L+ < 1 => por el teorema anterior an converge. H) Sea an una serie de trminos positivos. lim an+1/an = L > 1 T) an diverge. Demostracin: lim an+1/an = L => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para todo n > N |an+1/an - L| < o sea L - < an+1/an < L + Para que L - > 1 basta elegir < L - 1 Para todo n>N an+1/an > 1 => por el teorema anterior an diverge. Cuando el lim an+1/an = 1+ la serie an diverge.

lim an+1/an = 1+ => an+1 >= an => el trmino general an no tiende a 0 => an diverge. Cuando lim an+1/an = 1- D'Alembert no se aplica. 1/n lim an+1/an = lim (1/n+1)/(1/n) = lim n/n+1 = 1- y 1/n diverge. 1/n2 lim an+1/an = lim (1/(n+1)2)/(1/n2) = lim n2/(n+1)2 = 1- y 1/n2 converge. Criterio de Cauchy H) Sea an una serie de trminos positivos.
n __ \|an <= k < 1 para todo n >= N

T) an converge. Demostracin:
n __ \|an <= k => an <= kn

k<1 => kn converge => por el criterio de comparacin an converge. H) Sea an una serie de trminos positivos.
n __ \|an > 1 para todo n >= N

T) an diverge. Demostracin:
n __ \|an > 1 =>

an > 1 => an no tiende a 0 => an diverge. Cauchy por paso al lmite H) Sea an una serie de trminos positivos.
n __ lim \|an = L < 1

T) an converge.
n __ lim \|an = L => (por def. de lmite finito de una sucesin) n __ para todo > 0 existe N / para todo n > N |\|an - L| < o sea n __

L - < \|an < L +

Para que L + < 1 basta elegir < 1 - L

n __ \|an < L + < 1

=> por el teorema anterior an converge. H) Sea an una serie de trminos positivos.
n __ lim \|an = L > 1

T) an converge.
n __ lim \|an = L => (por def. de lmite finito de una sucesin) n __ para todo > 0 existe N / para todo n > N |\|an - L| < o sea n __ L - < \|an < L +

Para que L - > 1 basta elegir < L - 1

n __ \|an > L - > 1

=> por el teorema anterior an diverge. Raabe H) Sea an una serie de trminos positivos. n(1 - an+1/an) >= 1+k para todo n >= N, k perteneciente a R+ T) an converge. Demostracin: Escribamos la desigualdad como: nan - nan+1 >= an + kan Pasemos an para el lado izquierdo: (n-1)an - nan+1 >= kan La desigualdad se cumple para todo n>=N: (N-1)aN - NaN+1 >= kaN NaN+1 - (N+1)aN+2 >= kaN+1 ... (n-1)an - nan+1 >= kan Sumamos: (N-1)aN - nan+1 >= k(aN + aN+1 + ... + an) = k(Sn - H) (donde H es la suma de los trminos anteriores a aN) k(Sn - H) <= (N-1)aN - nan+1 < (N-1)aN

Sn - H <= (N-1)aN/k Sn <= (N-1)aN/k + H La sucesin de sumas parciales est acotada superiormente => (teorema) an converge. H) Sea an una serie de trminos positivos. n(1 - an+1/an) <= 1 para todo n >= N T) an converge. Demostracin: Escribamos la desigualdad como: nan - nan+1 <= an y luego como: nan+1 >= (n-1)an nan+1 >= (n-1)an >= (n-2)an-1 >= ... >= (N-1)aN nan+1 >= (N-1)aN an+1 >= H.1/n donde H = (N-1)aN 1/n diverge => por distributiva H.1/n diverge => por el criterio de comparacin an diverge. Generalizacin por paso al lmite H) Sea an una serie de trminos positivos. lim n(1 - an+1/an) = L > 1 T) an converge. Demostracin: lim n(1 - an+1/an) = L => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para todo n > N L - < n(1 - an+1/an) < L + Para que L - > 1 basta elegir < L - 1 Para todo n > N n(1 - an+1/an) > L - > 1 => por el teorema anterior an converge. H) Sea an una serie de trminos positivos. lim n(1 - an+1/an) = L < 1 T) an diverge. Demostracin: lim n(1 - an+1/an) = L => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para todo n > N L - < n(1 - an+1/an) < L +

Para que L + < 1 basta elegir < 1 - L Para todo n > N n(1 - an+1/an) < L + < 1 => por el teorema anterior an diverge. Cuando lim n(1 - an+1/an) = 1- la serie an tambin diverge. Definicin
Sucesin contenida o subsucesin

ain est contenida en an si in es natural y lim in = +inf Ejemplo: an = n 1,2,3,4,5,6,... Ejemplos de sucesiones contenidas: a2n: 2,4,6,... a2n-1: 1,3,5,... a10n: 10,20,30,...

Teorema

H) ain y ai'n son sucesiones contenidas en an lim ain = lim ai'n = p {in} U {i'n} = {n/n > q} T) lim an = p

Series alternadas
Definicin Son series de la forma: (-1)n+1.an donde an > 0 Sus trminos son alternadamente positivos y negativos: (-1)n+1.an = a1 - a2 + a3 - a4 + ... + (-1)n-1.an Criterio de Leibnitz H) (-1)n+1.an, an>0 an -> 0 an montona decreciente T) (-1)n+1.an converge. Demostracin:

Consideremos las sumas parciales pares S2n por un lado y las sumas parciales impares S2n1 por otro. S2n+2 - S2n = a1 - a2 + ... - a2n + a2n+1 - a2n+2 - (a1 - a2 + ... - a2n) = a2n+1 - a2n+2 > 0 => S2n es creciente (1) S2n+1 - S2n-1 = a1 - a2 + ... - a2n + a2n+1 - (a1 - a2 + ... + a2n-1) a2n+1 - a2n < 0 => S2n-1 es decreciente (2) (3) Para todo n S2n < S2n-1 pues S2n-1 - S2n = a2n > 0 lim a2n = 0 => lim S2n - S2n-1 = 0 => (por def. de lmite finito de una sucesin) para todo > 0 existe N / para todo n > N |S2n-1 - S2n - 0| < (4) De 1), 2), 3) y 4) por definicin de PSMC, (S2n,S2n-1) es un PSMC => por la propiedad de que todo PSMC tiene frontera, existe c perteneciente a R+ / lim S2n = lim S2n-1 = c S2n y S2n-1 son sucesiones contenidas en Sn Por el teorema anterior, lim Sn = c => (-1)n+1.an converge Definicin
Convergencia absoluta

Una serie an es absolutamente convergente si |an| converge. Teorema H) an es absolutamente convergente. T) an converge. Demostracin: |an| converge por hiptesis Consideremos bn = (|an| + an)/2 Si an > 0 bn = |an| Si an < 0 bn = 0 Como an es una serie alternada (sus trminos son alternadamente positivos y negativos), bn valdr 0 o |an|.

Por lo tanto, 0 <= bn <= |an| => (por el criterio de comparacin) bn converge an = 2bn - |an| => como bn y |an| convergen, por la propiedad de linealidad an converge. Una serie convergente que no es absolutamente convergente se denomina condicionalmente convergente. Ejemplo: (-1)n+11/n converge pero |(-1)n+11/n| diverge. (-1)n+11/n cumple con el criterio de Leibnitz. |(-1)n+11/n| = 1/n que ya hemos visto que diverge.

Serie de potencias
Es una serie de la forma anxn. Se puede demostrar que converge en un entorno simtrico de 0. Determinacin del radio de convergencia R Para hallar el radio de convergencia podemos utilizar cualquiera de las siguientes frmulas:
D'Alembert:

L = lim |an+1/an|
Cauchy: n L = __ \|an

L distinto de 0 => R = 1/L L = +inf => R = 0 L = 0 => R = +inf

D ? C ? D -----|-----|-----R R

La serie se debe clasificar en x=R y x=-R.

Resumen
Serie geomtrica
akn-1 Clasificacin segn k:
D Osc C D D ------|------|------1 1

Si |k| < 1 la serie converge y su suma es a/1-k.

Serie telescpica
an / an = bn - bn+1. an converge <=> bn converge y se cumple que an = b1 - L donde L = lim bn+1.

Series de trminos positivos

Comparacin a) Si an <= cbn para n>=N an diverge => bn diverge bn converge => an converge

b) Si lim an/bn = k > 0

an y bn son de la misma clase.

Para clasificar an, basta con clasificar bn, donde bn es equivalente a an. D'Alembert a) an+1/an <= k < 1 para n>=N an+1/an >= 1 para n>=N => an converge. => an diverge.

b) lim an+1/an = L

L < 1 => an converge L > 1 => an diverge L = 1+ => an diverge L = 1 1- no la clasifica

Cauchy
n __ \|an <= k < 1 para n>=N n __ \|an > 1 para n>=N

=> an converge. => an diverge.

__ lim \|an = L

L < 1 => an converge L > 1 => an diverge L = 1 => an no la clasifica

Raabe n(1 - an+1/an) >= 1+k para n >= N, k perteneciente a R+ => an converge.

n(1 - an+1/an) <= 1 para n >= N

=> an diverge.

lim n(1 - an+1/an) = L

L < 1 => an diverge L > 1 => an converge L = 1 => no la clasifica L = 1- => an diverge

Series alternadas
Leibnitz an >= 0 lim an = 0 an montona decreciente Convergencia absoluta Si |an| converge => an converge => (-1)nan converge

Serie de potencias anxn

Determinacin del radio de convergencia R D'Alembert: Cauchy: L = lim |an+1/an|
n __ L = \|an

L distinto de 0 => R = 1/L L = +inf => R = 0 L = 0 => R = +inf

D ? C ? D -----|-----|-----R R

Se debe clasificar en x=R y x=-R

Series usuales de comparacin

Armnica generalizada 1/nk k>1 converge k<=1 diverge

Bertrand
1 an = ------nk(Ln)h

k>1 para todo h converge k<1 para todo h diverge k=1 si h > 1 converge si h <= 1 diverge

Ejercicios
1/n!
Lo primero es calcular el lim an: si da distinto de 0 la serie es divergente, si da 0 puede ser convergente o no. lim 1/n! = 0 n! > 2n para todo n >= 4 => 1/n! < 1/2n para todo n >= 4 1/2n converge (serie geomtrica de constante 1/2) => por el criterio de comparacin 1/n! converge __ 1/n\|2 - 1 Es una serie armnica __ \|2 - 1 < 1 => diverge 7n-2 ----------n(n+2)(n+1) 7n-2 7 ----------- equiv. a --n(n+2)(n+1) n2 1 7 --- converge => por distributiva --- converge n2 n2

7n-2 => ----------- converge n(n+2)(n+1)

Ln/n!
an+1 L(n+1)n! L(n+1) 1 lim ---- = lim -------- = lim ------- = lim --- = 0 < 1 an (n+1)!Ln (n+1)Ln n+1 => por el criterio de D'Alembert converge.

1/Ln
1 ---- diverge nLn Veamos si podemos aplicar el criterio de comparacin: 1 ? 1 -- >= --Ln nLn

? Para eso debera ser Ln <= nLn o sea 1 <= n 1 1 As que para n>=1 -- >= --Ln nLn Por criterio de comparacin 1/Ln diverge.

Ln/n2
1 ----- converge n(Ln)2 Veamos si podemos aplicar el criterio de comparacin: Ln ? 1 -- <= ---n2 n(Ln)2 Ln ? 1 -- <= ---n Ln2 (Ln)3 <= n se cumple para todo n >= 7 Por criterio de comparacin Ln/n2 converge. nn ---een Aplicaremos el criterio de Cauchy: n __ n n lim \|an = lim ------ = lim --- = 0 < 1 => converge

en/n

en e (en/n equiv. a en)

(n2 + 1)/n!
Aplicaremos el criterio de D'Alembert ((n+1)2 + 1)n! (n+1)2+1 lim ------------- = lim ---------- = lim (n+1)!(n2+1) (n+1)(n2+1) 1 __ (-1)n ---- L(1 + 1/ \|n) __ \|n __ 1/\|n > 0 para todo n __ __ L(1 + 1/ \|n) >= 0 si 1 + 1/ \|n >= 1 si lo cual se cumple para todo n => an > 0 para todo n (1) 1 __ 1 1 lim an = lim ---- L(1 + 1/ \|n) = lim ----.---- = 0 (2) __ ------^------__ __ __ \|n equiv. a 1/\|n \|n \|n Veremos si an es montona decreciente, o sea, si an+1 < an (3) 1 ___ ? 1 __ ---- L(1 + 1/ \|n+1) < ---- L(1 + 1/ \|n) ___ __ \|n+1 \|n 1 ? 1 ---- < ---__ __ \|n+1 \|n ___ ? __ \|n+1 > \|n se cumple para todo n n2 --- = 0 < 1 => converge n3

__ 1/ \|n >= 0

___ ? __ L(1 + 1/ \|n+1) < L(1 + 1/ \|n) ___ ? __ 1 + 1/ \|n+1 < 1 + 1/ \|n se cumple para todo n De 1), 2) y 3) por el criterio de Leibnitz, la serie converge. 1 ---- xn nen Es una serie de potencias. Utilizaremos la frmula de D'Alembert para hallar el radio de convergencia. nen 1 lim |an+1/an| = lim |--------| = ---

(n+1)en+1 Radio de convergencia: e

Clasificaremos la serie para x=e y x=-e. x=e 1/n diverge x=-e (-e)n = en(-1)n 1 ---(-1)n n Es una serie alternada. Veremos si podemos aplicar el criterio de Leibnitz. 1) 1/n > 0 para todo n 2) lim 1/n = 0 3) 1/n montona decreciente 1 1 --- < --- pues n+1 > n n+1 n De 1), 2) y 3) por el criterio de Leibnitz, converge D C C D D -----|-----|-----e e