Series de trminos constantes

Contenidos del mdulo

27.1 27.2 27.3 27.4 Definiciones y primeros ejemplos de series Ejemplo 1: la serie geomtrica Ejemplo 2: la serie telescpica Ejemplo 3: series aritmtico-geomtricas

Srinivasa Ramanujan Ramanujan naci en Erode, ciudad no lejos de Madrs, en 1887 y muri en 1920 a la edad de 32 aos por causa de una deficiencia vitamnica aguda. Fue hijo de un contador que trabajaba para un mercader de paos en Kumbakonam y de la hija de un modesto oficial brahmn del juzgado de su ciudad natal. Es una de las mentes ms asombrosas y desconcertantes que jams hayan existido. Este hind, de origen humilde, autodidacta por obligacin y matemtico por predestinacin celestial, leg a la posteridad un tesoro que apenas comienza a ser desenterrado: su cuaderno de notas. El impacto pleno de su genio todava no se ha sentido, pues una parte importante de su obra an es inaccesible a muchos matemticos. Por su formacin netamente autodidacta y fuera de toda la tradicin lgica de Occidente, los mtodos de su razonamiento se movan entre el misterio absoluto y la intuicin ms profunda. Los resultados obtenidos, que lindan con el milagro, los atribua Ramanujan a revelaciones que en sueos le haca la diosa Namakkal. Contaba que al levantarse por la maana escriba con premura los teoremas soados, aunque no siempre resultaban correctos. En la simplsima ordenacin de los nmeros dgitos Ramanujan descubri propiedades maravillosas: congruencias, simetras y relaciones, que haban escapado a la sagacidad de los ms agudos tericos. El famoso matemtico ingls Godfried Harold Hardy, su descubridor, se expres as sobre sus frmulas: Ellas deben ser verdad, pues si no lo fueran, nadie tendra la imaginacin suficiente para inventarlas. Comenz a ir a la escuela a los cinco aos. Sin haber cumplido los siete, y gracias a una beca, le llevaron al colegio de Kumbakonam. Segn parece, casi de inmediato reconocieron sus extraordinarias facultades. Se diverta entreteniendo a sus amigos con

Objetivos del mdulo

1. Presentar las series numricas como una sucesin de sumas parciales. 2. Determinar la convergencia o divergencia de una serie usando la definicin.

1. Pruebe que

n=0

at em

= 2.

Introduccin

Cuando se hace referencia a una serie infinita se quiere expresar la suma de un nmero infinito de trminos constantes. Como se sabe, la suma entre nmeros reales es una operacin binaria, es decir, slo se pueden sumar dos nmeros reales para producir un nmero real. As, cuando se quiere la suma 3 + 5 + 4 + 8, la propiedad asociativa permite escribir: 3 + 5 + 4 + 8 = (3 + 5) + (4 + 8) = 8 + 12 = 20. Pero, qu significa sumar un nmero infinito de nmeros reales? Y adems, es el resultado de la suma anterior un nmero real? Estas dos preguntas son las que trataremos de resolver en el desarrollo de este mdulo.

ww w.

2. Use la serie geomtrica para probar que 0.474747... =

at ic
47 . 99

Preguntas bsicas

a1

.c o

teoremas y frmulas, recitando la lista completa de las races snscritas y repitiendo los valores de pi y de la raz cuadrada de 2 con cualquier nmero de cifras decimales. Su primer contacto con la matemtica formal le lleg de la mano de Sinopsis de las matemticas puras cuando tena quince aos y estaba en el sexto grado de escuela. El libro, perteneciente a la biblioteca del colegio del gobierno local, se lo consigui prestado un amigo. Ante l se despert el genio de Ramanujan, quien se puso inmediatamente a demostrar sus frmulas. Cada solucin era un autntico trabajo de investigacin original, ya que careca de cualquier tipo de ayuda. Primero ide mtodos para construir cuadrados mgicos, despus se dedic a la geometra, donde trat la cuadratura del crculo y lleg incluso a establecer un valor de la longitud del crculo ecuatorial de la Tierra que difera del verdadero slo por unos pocos pies. Despus dirigi su atencin al lgebra porque encontraba limitado el campo de la geometra. En 1911 se public su primer trabajo en el Journal of the Indian Mathematical Society y el mismo ao public su primer artculo largo sobre algunas propiedades de los nmeros de Bernoulli. Al ao siguiente colabor en la misma revista con algunos problemas y dos notas. Entonces, un matemtico amigo suyo, con conexiones en Londres, convenci a un ingeniero ingls sobre el trabajo de Ramanujan, lo que permiti que ste entablara correspondencia con Hardy, miembro entonces del Trinity College de la Universidad de Cambridge. Hardy le consigui una beca para Cambridge y Ramanujan viaj a Gran Bretaa. Hardy escribira despus: Haba un gran rompecabezas: qu mtodo deba seguirse para ensearle matemticas modernas? Las limitaciones de su conocimiento eran tan asombrosas como su profundidad. Era un hombre que poda trabajar con ecuaciones modulares y teoremas de multiplicacin compleja, con medios desconocidos, pero nunca haba odo hablar de una funcin doblemente peridica o del teorema de Cauchy ni tena la ms remota idea de lo que era una funcin de variable compleja. Describa nebulosamente su concepto acerca de lo que constitua una demostracin matemtica. Haba obtenido todos sus resultados, nuevos o viejos, verdaderos o falsos, por un proceso mixto de demostracin, intuicin e induccin, del cual era completamente incapaz de dar cualquier razn coherente. Era imposible pedir a este hombre que se

27.1 Definiciones y primeros ejemplos de series

Definiciones i. Sea {an } una sucesin de nmeros reales y formemos otra sucesin

{sn } de la siguiente forma:

s1 = a1 s2 = a1 + a2 = s1 + a2 s3 = a1 + a2 + a3 = s2 + a3 s4 = a1 + a2 + a3 + a4 = s3 + a4
Primera suma parcial Segunda suma parcial Tercera suma parcial Cuarta suma parcial

sn = a1 + a2 + a3 + ... + an 1 + an = sn 1 + an n-sima suma parcial

A la sucesin {sn } de sumas parciales se le llama serie infinita o serie de

.c o

trminos constantes, y a los elementos {an } se les llama trminos de la serie.

a1

Comnmente se denota la serie {sn } por el smbolo

a
n =1

y en lo sucesivo

haremos referencia a ello diciendo: Considere la serie:

ii.

ww w.

pero sin perder de vista el hecho de que una serie es una sucesin de sumas parciales.

Si existe s tal que nlim sn = s, se dice que la serie: +

es sumable o que la serie es convergente y en este caso podemos escribir:

at em
a
n =1 n

a
n =1

a
n =1

at ic
n
n

= a1 + a2 + a3 + ... + an + ...

= a1 + a2 + a3 + ... + an + ...

= a1 + a2 + a3 + ... + an + ... = s.

iii.

Si la sucesin {sn } diverge, se dice entonces que la serie an diverge. De

n =1

esta manera, nuestra definicin nos dice que una serie converge si y slo si la sucesin de sumas parciales converge. Como una sucesin puede ser convergente o no, entonces una serie puede tener una suma o no tenerla. As tambin, al ser una serie una sucesin, la teora y resultados del mdulo anterior se aplican a las series infinitas de trminos constantes.

Observacin Cuando se tiene una serie numrica lo que realmente interesa acerca de ella es saber si converge o no y para ello se establecern en los mdulos siguientes los criterios de convergencia y divergencia de series. El problema de determinar la suma de una serie convergente se puede resolver en muy pocos casos. Los tres ejemplos siguientes ilustran la situacin en la cual se puede determinar la suma cuando las series dadas son convergentes.
sometiera a una instruccin matemtica, que intentara aprender de nuevo matemticas desde el principio. En Cambridge, Ramanujan public una veintena de artculos, la mayora de ellos relativos a la teora analtica de los nmeros. En 1918 fue elegido miembro de la Royal Society, pero su incipiente tuberculosis y una subvencin de la Universidad de Madrs lo indujeron a regresar a su pas. La teora de funciones, las series potenciales y la teora de nmeros fueron los campos matemticos en los que ms destac. Tena, por supuesto, una memoria extraordinaria. Poda recordar las caractersticas de los diferentes nmeros de una manera casi misteriosa. Tal vez fue un seor Littlewood quien seal que cada entero positivo era uno de sus amigos personales. Alguna vez alguien fue a verle cuando yaca enfermo en Putney (Inglaterra). Se cuenta que el visitante haba viajado en el taxi nmero 1729 y le coment que el nmero le pareca ms bien inspido y esperaba que no le fuera de mal agero. No contest Ramanujan, es un nmero muy interesante. Es el ms pequeo expresable como suma de dos cubos de dos maneras diferentes. En la primavera de 1917 comenz a manifestarse su tuberculosis. En el verano se traslad a un sanatorio de Cambridge y ya nunca lleg a disfrutar de un largo periodo fuera de la cama. Pas por sanatorios en Wells, Marlock y Londres sin mejora significativa hasta el otoo de 1918. Estimulado probablemente por su eleccin para la Royal Society de Londres, reanud el trabajo activo, produciendo en esa poca algunos de sus mejores teoremas. A principios de 1919 volvi a la India, donde muri al ao siguiente. En 1923 Hardy edit el captulo XII del segundo cuaderno de Ramanujan sobre series hipergeomtricas que contena 47 teoremas principales, muchos seguidos por corolarios y casos particulares, pero el desarrollo de su obra an no ha concluido. El ltimo cuaderno de notas, el cuaderno perdido, encontrado en 1976, contena las 600 frmulas escritas durante su ltimo ao de vida. Considerado, junto con Euler y Gauss, como uno de los ms grandes matemticos de todos los tiempos, nos dej unos 4000 teoremas, a pesar de su corta vida.

27.2 Ejemplo 1: la serie geomtrica

Sean a 0 , r . La serie:

ar
n =1

n 1

= a + ar + ar 2 + ... + ar n 2 + ar n 1 + ...

(1)

se conoce como serie geomtrica de primer trmino a y razn o radio r. Analice la convergencia o divergencia de la serie (1). Solucin

Caso 1:

r = 1 . Esto es, r = 1

n 1 Si r = 1, los trminos de la sucesin {a 1 } vienen dados por a, a, a, a, As,

sn = na y nlim na = (diverge). +
n 1 Si r = 1, los trminos de la sucesin {a ( 1) } vienen dados por a, a, a, a,

As que,
0 si n es par sn = a si n es impar

ww w.

Luego nlim sn no existe. Por tanto, la serie + Caso 2: r 1 En este caso, los trminos de la sucesin

ar
n =1

{ar } = {a, ar , ar
n 1

, ar 3 ,...}

at em
n 1

n 1 2 3 trminos de la serie es {ar } . Es decir, {a, ar , ar , ar ,...} .

diverge si r = 1 .

at ic

Procederemos con el nico recurso que tenemos a disposicin, que es la definicin. Distinguiremos varios casos, pero antes tngase en cuenta que la sucesin de

a1

.c o

dan lugar a las siguientes sumas parciales:

s1 = a
s2 = a + ar
s3 = a + ar + ar 2 s4 = a + ar + ar 2 + ar 3

sn = a + ar + ar 2 + ar 3 + ... + ar n 2 + ar n 1

(2)

De aqu:
rsn = ar + ar 2 + ar 3 + ar 4 ... + ar n 1 + ar n .

(3)

Restando miembro a miembro las igualdades (2) y (3) se obtiene:

sn rsn = a ar n sn = a (1 r n ). 1 r

(4)

n +

lim sn = lim

n +

Si r < 1 , y como lim 1 = 1 y lim r n = 0 (teorema 5, mdulo 26), entonces

n+
n +

ww w.

n +

lim sn =

y la sucesin de sumas parciales converge y en consecuencia la serie (1) converge.

a (1 r n ) y la suce1 r sin de sumas parciales diverge y en consecuencia la serie (1) diverge.

Si r > 1 , como lim r n = , entonces nlim sn = nlim + +

n +

En conclusin:

at em

a 1 r

La serie geomtrica i.

Converge si r < 1, y en este caso podemos escribir:

at ic
ar
n =1 n 1

a (1 r n ). 1 r

a1

la serie geomtrica cuando r 1 . Esto es,

= a + ar + ar 2 ... + ar n 1 + ...

.c o

Lo que interesa ahora es calcular nlim sn usando (4) y as determinar la naturaleza de +

ar
n =1

n 1

= a + ar + ar 2 ... + ar n 1 + ... =

a . 1 r

ii.

Diverge si r 1.
2 5 3 n =1
n 1

As por ejemplo, la serie

= 5

10 20 40 + + ... es una serie 3 9 27

2 < 1, y por tanto es una serie conver3 gente. Adems, se puede afirmar en este caso que:

geomtrica de primer trmino a = 5 y r =

2 5 3 n =1

n 1

5 = 3. 2 1 3
n

3 Tambin, la serie 4 puede transformarse en una serie geomtrica escrin =1 2 biendo:

3 3 4 2 = 4 2 n =1 n =1

at ic

a1
3 >1 y 2
Copo esffico Fractal generado por computador por Eric Haines. (Un fractal es una figura plana o espacial compuesta por un nmero infinito de elementos, con la propiedad de que tanto su aspecto como su distribucin estadstica son invariables cualquiera sea la escala mediante la cual se observe.)

la cual corresponde a una serie geomtrica de primer trmino a = 6 y r = que es divergente.

n =1

en la forma:
1 1 = 2 n=1 2 n =1 n n 1+1

1 1 = n =1 2 2

ww w.

La serie

1 1 1 1 + + + + ... puede escribirse como una serie geomtrica 2 4 8 16

n 1

que corresponde a la serie geomtrica con a = As que

1 n 1 1 1 1 2 = 2 + 4 + 8 + ... = 2 1 = 1 . n =1 1 2

Es decir:
1 1 1 1 + + + + ... = 1, 2 4 8 16

suma infinita que es siempre posible de recordar con el diagrama de la figura 27.1.

at em
,

1 1 yr = . 2 2

.c o

n 1+1

3 3 = 4 n =1 2 2

n 1

3 = 6 n =1 2

n 1

Figura 27.1. Diagrama de la suma infinita

1 1 1 1 + + + + ... = 1 2 4 8 16

Las series geomtricas son ejemplos tpicos de series convergentes y divergentes y sern de gran utilidad en el prximo mdulo, donde se establecen los criterios de convergencia y divergencia.

27.3 Ejemplo 2: la serie telescpica

Analice la convergencia o divergencia de la serie:

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

n =1

(1)

Solucin
1 1 1 1 , , ,... , que da lugar a la siguiente = Considere la sucesin n(n + 1) 1 2 2 3 3 4 sucesin de sumas parciales:

s1 =

ww w.

s2 =

s3 =

sn =

Se puede demostrar usando induccin matemtica que

sn = 1 1 1 1 n + + + ... + = . 1 2 2 3 3 4 n(n + 1) n + 1
n = 1. n +1

at em

1 1 2

1 1 + 1 2 2 3

1 1 1 + + 1 2 2 3 3 4

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

at ic

a1

.c o

(2)

Luego
n +

lim sn = lim

n +

En consecuencia, la serie (1) converge y podemos escribir:

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

n =1

1 Otra tcnica para demostrar (2) consiste en descomponer n(n + 1) en fracciones

parciales. Esto es,

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

As que la serie (1) puede escribirse de la forma:

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

n =1 n =1

1 1 1

y para la cual la n-sima suma parcial sn viene dada por

27.4

Ejemplo 3: series aritmtico-geomtricas

Considere la serie de la forma:

a b
n =1

n n

= a1b1 + a2 b2 + a3b3 + ... + an bn + ...,

ww w.

at em

1 1 1 1 1 1 1 1 sn = + + + ... + n n + 1 1 2 2 3 3 4 1 1 1 1 1 1 1 1 1 = 1 + + + + + + + ... + + 2 2 3 3 4 4 n n n +1 n 1 . = 1 = n +1 n +1

at ic

a1

.c o

m
(1) donde los ai estn en progresin aritmtica de diferencia d y los bi estn en progresin geomtrica cuya razn r satisface r < 1 . Este tipo de series se conocen con el nombre de series aritmtico-geomtricas. Una frmula que se puede deducir para el lmite de la n-sima suma parcial viene dada por:
lim sn = a1b1 b rd + 1 2. 1 r (1 r )
n +

De lo anterior se deduce que cualquier serie aritmtico-geomtrica es convergente y puede determinarse la suma. As por ejemplo, la serie

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

n 1

es una serie aritmtico-geomtrica convergente, puesto que {2n 1} forma una

1 n1 progresin aritmtica de primer trmino a1 = 1 y d = 2 y adems 3 forma

1 una progresin geomtrica de primer trmino b1 = 1 y r = < 1. 3

En consecuencia,

(2n 1) 14 = . 3n 1 3 n =1

ww w.

at em

at ic

a1

De esta forma, la serie converge y adems podemos escribir:

.c o

1 1 2 1 1 8 14 3 + = 2+ = . lim sn = n + 1 1 2 3 3 1 2 1 2