Series de términos constantes

27
Contenidos del módulo

27.1 Definiciones y primeros ejemplos de series

27.2 Ejemplo 1: la serie geométrica
27.3 Ejemplo 2: la serie telescópica Srinivasa Ramanujan
27.4 Ejemplo 3: series aritmético-geométricas
Ramanujan nació en Erode, ciudad no lejos
de Madrás, en 1887 y murió en 1920 a la
Objetivos del módulo edad de 32 años por causa de una deficiencia
vitamínica aguda. Fue hijo de un contador
que trabajaba para un mercader de paños
en Kumbakonam y de la hija de un modesto
1. Presentar las series numéricas como una sucesión de sumas parciales. oficial brahmán del juzgado de su ciudad
2. Determinar la convergencia o divergencia de una serie usando la definición. natal.

Es una de las mentes más asombrosas y

Preguntas básicas desconcertantes que jamás hayan existido.
Este hindú, de origen humilde, autodidacta
por obligación y matemático por predes-
∞
tinación celestial, legó a la posteridad un te-
1
1. Pruebe que ∑2
n=0
n
= 2. soro que apenas comienza a ser desen-
terrado: su cuaderno de notas. El impacto
pleno de su genio todavía no se ha sentido,
pues una parte importante de su obra aún
47
2. Use la serie geométrica para probar que 0.474747... = . es inaccesible a muchos matemáticos. Por
99 su formación netamente autodidacta y fuera
de toda la tradición lógica de Occidente, los
métodos de su razonamiento se movían en-
Introducción tre el misterio absoluto y la intuición más
profunda. Los resultados obtenidos, que
lindan con el milagro, los atribuía Ramanujan
a revelaciones que en sueños le hacía la dio-
Cuando se hace referencia a una serie infinita se quiere expresar la suma de un sa Namakkal. Contaba que al levantarse por
número infinito de términos constantes. Como se sabe, la suma entre números la mañana escribía con premura los teore-
reales es una operación «binaria», es decir, sólo se pueden sumar dos números mas soñados, aunque no siempre resulta-
reales para producir un número real. Así, cuando se quiere la suma 3 + 5 + 4 + 8, la ban correctos.
propiedad asociativa permite escribir: En la simplísima ordenación de los números
dígitos Ramanujan descubrió propiedades
3 + 5 + 4 + 8 = (3 + 5) + (4 + 8) = 8 + 12 = 20. maravillosas: congruencias, simetrías y
relaciones, que habían escapado a la
sagacidad de los más agudos teóricos. El
Pero, ¿qué significa sumar un número infinito de números reales? Y además, ¿es el famoso matemático inglés Godfried Harold
resultado de la suma anterior un número real? Hardy, su descubridor, se expresó así sobre
sus fórmulas: «Ellas deben ser verdad, pues
Estas dos preguntas son las que trataremos de resolver en el desarrollo de este si no lo fueran, nadie tendría la imaginación
suficiente para inventarlas».
módulo.
Comenzó a ir a la escuela a los cinco años.
Sin haber cumplido los siete, y gracias a
una beca, le llevaron al colegio de Kumba-
konam. Según parece, casi de inmediato
reconocieron sus extraordinarias facultades.
Se divertía entreteniendo a sus amigos con

Elementos básicos de cálculo integral y series 331

Capítulo 5: Series numéricas

teoremas y fórmulas, recitando la lista 27.1 Definiciones y primeros ejemplos de series

completa de las raíces sánscritas y
repitiendo los valores de pi y de la raíz
cuadrada de 2 con cualquier número de Definiciones
cifras decimales.

Su primer contacto con la matemática i. Sea {an } una sucesión de números reales y formemos otra sucesión
formal le llegó de la mano de Sinopsis de
las matemáticas puras cuando tenía quince {sn } de la siguiente forma:
años y estaba en el sexto grado de escuela.
El libro, perteneciente a la biblioteca del
colegio del gobierno local, se lo consiguió s1 = a1 → Primera suma parcial
prestado un amigo. Ante él se despertó el
genio de Ramanujan, quien se puso s2 = a1 + a2 = s1 + a2 → Segunda suma parcial
inmediatamente a demostrar sus fórmulas.
Cada solución era un auténtico trabajo de s3 = a1 + a2 + a3 = s2 + a3 → Tercera suma parcial
investigación original, ya que carecía de
cualquier tipo de ayuda. Primero ideó s4 = a1 + a2 + a3 + a4 = s3 + a4 → Cuarta suma parcial
métodos para construir cuadrados
mágicos, después se dedicó a la geometría, # #
donde trató la cuadratura del círculo y llegó sn = a1 + a2 + a3 + ... + an −1 + an = sn −1 + an → n-ésima suma parcial
incluso a establecer un valor de la longitud
del círculo ecuatorial de la Tierra que difería
del verdadero sólo por unos pocos pies.
Después dirigió su atención al álgebra
A la sucesión {sn } de sumas parciales se le llama serie infinita o serie de
porque encontraba limitado el campo de la
geometría. términos constantes, y a los elementos {an } se les llama términos de la serie.
∞
En 1911 se publicó su primer trabajo en el
Journal of the Indian Mathematical Society Comúnmente se denota la serie {sn } por el símbolo ∑a
n =1
n y en lo sucesivo
y el mismo año publicó su primer artículo
largo sobre algunas propiedades de los haremos referencia a ello diciendo: «Considere la serie:»
números de Bernoulli. Al año siguiente
colaboró en la misma revista con algunos
∞
problemas y dos notas. Entonces, un
matemático amigo suyo, con conexiones ∑a
n =1
n = a1 + a2 + a3 + ... + an + ...
en Londres, convenció a un ingeniero
inglés sobre el trabajo de Ramanujan, lo
que permitió que éste entablara corres- pero sin perder de vista el hecho de que una serie es una sucesión de sumas
pondencia con Hardy, miembro entonces
del Trinity College de la Universidad de parciales.
Cambridge. Hardy le consiguió una beca
para Cambridge y Ramanujan viajó a Gran
Bretaña. Hardy escribiría después: «Había ii. Si existe s ∈ ℜ tal que nlim sn = s, se dice que la serie:
→+∞
un gran rompecabezas: ¿qué método debía
∞
seguirse para enseñarle matemáticas
modernas? Las limitaciones de su cono- ∑a
n =1
n = a1 + a2 + a3 + ... + an + ...
cimiento eran tan asombrosas como su
profundidad. Era un hombre que podía
trabajar con ecuaciones modulares y es sumable o que la serie es convergente y en este caso podemos escribir:
teoremas de multiplicación compleja, con
medios desconocidos, pero nunca había ∞

oído hablar de una función doblemente ∑a n = a1 + a2 + a3 + ... + an + ... = s.

periódica o del teorema de Cauchy ni tenía n =1
la más remota idea de lo que era una función
de variable compleja. Describía nebu-
∞
losamente su concepto acerca de lo que
constituía una demostración matemática. iii. Si la sucesión {sn } diverge, se dice entonces que la serie ∑ an diverge. De
Había obtenido todos sus resultados, nue- n =1

vos o viejos, verdaderos o falsos, por un
proceso mixto de demostración, intuición
e inducción, del cual era completamente
incapaz de dar cualquier razón coherente.
Era imposible pedir a este hombre que se
esta manera, nuestra definición nos dice que una serie converge si y sólo si
la sucesión de sumas parciales converge. Como una sucesión puede ser
convergente o no, entonces una serie puede tener una suma o no tenerla.
Así también, al ser una serie una sucesión, la teoría y resultados del módulo
anterior se aplican a las series infinitas de términos constantes.

332
 Módulo 27: Series de términos constantes
Observación
sometiera a una instrucción matemática,
Cuando se tiene una serie numérica lo que realmente interesa acerca de ella es saber que intentara aprender de nuevo matemá-
si converge o no y para ello se establecerán en los módulos siguientes los criterios ticas desde el principio».
de convergencia y divergencia de series. En Cambridge, Ramanujan publicó una
veintena de artículos, la mayoría de ellos
El problema de determinar la suma de una serie convergente se puede resolver en relativos a la teoría analítica de los números.
muy pocos casos. Los tres ejemplos siguientes ilustran la situación en la cual se En 1918 fue elegido miembro de la Royal
Society, pero su incipiente tuberculosis y
puede determinar la suma cuando las series dadas son convergentes. una subvención de la Universidad de
Madrás lo indujeron a regresar a su país.
La teoría de funciones, las series potenciales
y la teoría de números fueron los campos
27.2 Ejemplo 1: la serie geométrica matemáticos en los que más destacó. Tenía,
por supuesto, una memoria extraordinaria.
Podía recordar las características de los
Sean a ≠ 0 , r ∈ ℜ . La serie: diferentes números de una manera casi
∞ misteriosa. Tal vez fue un señor Littlewood
∑ ar
n =1
n −1
= a + ar + ar 2 + ... + ar n − 2 + ar n −1 + ... (1) quien señaló que «cada entero positivo era
uno de sus amigos personales». Alguna
vez alguien fue a verle cuando yacía enfermo
en Putney (Inglaterra). Se cuenta que el
se conoce como serie geométrica de primer término a y razón o radio r. visitante había viajado en el taxi número
1729 y le comentó que el número le parecía
Analice la convergencia o divergencia de la serie (1). más bien insípido y esperaba que no le fuera
de mal agüero. «No» –contestó Rama-
nujan–, «es un número muy interesante.
Solución Es el más pequeño expresable como suma
de dos cubos de dos maneras diferentes».
Procederemos con el único recurso que tenemos a disposición, que es la definición.
En la primavera de 1917 comenzó a
Distinguiremos varios casos, pero antes téngase en cuenta que la sucesión de
manifestarse su tuberculosis. En el verano
términos de la serie es {ar } . Es decir, {a, ar , ar , ar ,...} . se trasladó a un sanatorio de Cambridge y
n −1 2 3
ya nunca llegó a disfrutar de un largo
periodo fuera de la cama. Pasó por
sanatorios en Wells, Marlock y Londres sin
Caso 1: r = 1 . Esto es, r = ±1 mejora significativa hasta el otoño de 1918.
Estimulado probablemente por su elección
para la Royal Society de Londres, reanudó
Si r = 1, los términos de la sucesión {a ⋅1 } vienen dados por a, a, a, a,… Así, el trabajo activo, produciendo en esa época
n −1
algunos de sus mejores teoremas.

A principios de 1919 volvió a la India, donde

sn = na y nlim na = ∞ (diverge). murió al año siguiente. En 1923 Hardy editó
→+∞
el capítulo XII del segundo cuaderno de
Ramanujan sobre series hipergeométricas
Si r = –1, los términos de la sucesión {a ⋅ ( −1) } vienen dados por a, –a, a, –a,… que contenía 47 teoremas principales,
n −1
muchos seguidos por corolarios y casos
Así que, particulares, pero el desarrollo de su obra
aún no ha concluido. El último cuaderno
⎧ 0 si n es par de notas, el cuaderno «perdido», encon-
sn = ⎨ trado en 1976, contenía las 600 fórmulas
⎩ a si n es impar escritas durante su último año de vida.
Considerado, junto con Euler y Gauss, como
∞
uno de los más grandes matemáticos de
Luego nlim
→+∞
sn no existe. Por tanto, la serie ∑ ar
n =1
n −1
diverge si r = 1 . todos los tiempos, nos dejó unos 4000
teoremas, a pesar de su corta vida.

Caso 2: r ≠ 1

En este caso, los términos de la sucesión

{ar } = {a, ar , ar
n −1 2
, ar 3 ,...}

Elementos básicos de cálculo integral y series 333

Capítulo 5: Series numéricas
dan lugar a las siguientes sumas parciales:

s1 = a
s2 = a + ar
s3 = a + ar + ar 2
Vea el módulo 27 del programa
de televisión Elementos básicos s4 = a + ar + ar 2 + ar 3
de cálculo integral y series
# #
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:

a
sn − rsn = a − ar n ⇒ sn = (1 − r n ). (4)
1− r

Lo que interesa ahora es calcular nlim

→+∞
sn usando (4) y así determinar la naturaleza de
la serie geométrica cuando r ≠ 1 . Esto es,

a
lim sn = lim (1 − r n ).
n →+∞ n →+∞ 1− r

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

n→+∞ n →+∞

a
lim sn = ∈ℜ
n →+∞ 1− r

y la sucesión de sumas parciales converge y en consecuencia la serie (1) converge.

a
Si r > 1 , como lim r n = ∞, entonces nlim sn = lim (1 − r n ) → ∞ y la suce-
n →+∞ →+∞ 1− r
n →+∞

sión de sumas parciales diverge y en consecuencia la serie (1) diverge.

En conclusión:

La serie geométrica ∑ ar
n =1
n −1
= a + ar + ar 2 ... + ar n −1 + ...

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

∞
a
∑ ar
n =1
n −1
= a + ar + ar 2 ... + ar n −1 + ... =
1− r
.

334
 Módulo 27: Series de términos constantes
ii. Diverge si r ≥ 1.

∞ n −1
⎛ 2⎞ 10 20 40
Así por ejemplo, la serie ∑ 5 ⎜ − ⎟ = 5− + − + ... es una serie
n =1 ⎝ 3⎠ 3 9 27

2
geométrica de primer término a = 5 y r = < 1, y por tanto es una serie conver-
3
gente. Además, se puede afirmar en este caso que:

∞ n −1
⎛ 2⎞ 5
∑ 5⎜ − ⎟
n =1 ⎝ 3⎠
=
⎛ 2⎞
= 3.
1− ⎜ − ⎟
⎝ 3⎠

∞ n
⎛3⎞
También, la serie ∑ 4 ⎜ ⎟ puede transformarse en una serie geométrica escri-
n =1 ⎝ 2 ⎠

biendo:

∞ n ∞ n −1+1 ∞ n −1 ∞ n −1
⎛3⎞ ⎛3⎞ ⎛ 3 ⎞⎛ 3 ⎞ ⎛3⎞
∑ 4 ⎜⎝ 2 ⎟⎠ = ∑ 4 ⎜⎝ 2 ⎟⎠
n =1 n =1
= ∑ 4 ⎜ ⎟⎜ ⎟
n =1 ⎝ 2 ⎠⎝ 2 ⎠
= ∑ 6⎜ ⎟
n =1 ⎝ 2 ⎠
,

3
la cual corresponde a una serie geométrica de primer término a = 6 y r = >1 y
2
que es divergente.

∞ n
⎛1⎞ 1 1 1 1
La serie ∑ ⎜ ⎟ = + + + + ... puede escribirse como una serie geométrica
n =1 ⎝ 2 ⎠ 2 4 8 16
en la forma:

∞ n
∞ n −1+1 ∞ n −1
⎛1⎞ ⎛1⎞ ⎛ 1 ⎞⎛ 1 ⎞
∑ ⎜ ⎟ = ∑⎜ ⎟
n =1 ⎝ 2 ⎠ n =1 ⎝ 2 ⎠
= ∑ ⎜ ⎟⎜ ⎟
n =1 ⎝ 2 ⎠⎝ 2 ⎠
,

1 1
que corresponde a la serie geométrica con a = yr = .
2 2

Así que
1
∞ n
⎛1⎞ 1 1 1
∑ ⎜ ⎟ = + + + ... =
n =1 ⎝ 2 ⎠ 2 4 8
2 =1.
1
1− Copo esféfico
2
Es decir: Fractal generado por computador por Eric
Haines. (Un fractal es una figura plana o
1 1 1 1 espacial compuesta por un número infinito
+ + + + ... = 1, de elementos, con la propiedad de que tanto
2 4 8 16
su aspecto como su distribución estadística
son invariables cualquiera sea la escala
suma infinita que es siempre posible de recordar con el diagrama de la figura 27.1. mediante la cual se observe.)

Elementos básicos de cálculo integral y series 335

Capítulo 5: Series numéricas

1 1 1 1
Figura 27.1. Diagrama de la suma infinita + + + + ... = 1
2 4 8 16

Las series geométricas son ejemplos típicos de series convergentes y divergentes y

serán de gran utilidad en el próximo módulo, donde se establecen los criterios de
convergencia y divergencia.

27.3 Ejemplo 2: la serie telescópica

Analice la convergencia o divergencia de la serie:

∞
1 1 1 1 1
∑ n(n + 1) = 1⋅ 2 + 2 ⋅ 3 + 3 ⋅ 4 + ... + n(n + 1) + ...
n =1
(1)

Solución
⎧ 1 ⎫ ⎧ 1 1 1 ⎫
Considere la sucesión ⎨ ⎬=⎨ , , ,...⎬ , que da lugar a la siguiente
⎩ n ( n + 1) ⎭ ⎩1 ⋅ 2 2 ⋅ 3 3 ⋅ 4 ⎭
sucesión de sumas parciales:

1
s1 =
1⋅ 2
1 1
s2 = +
1⋅ 2 2 ⋅ 3
1 1 1
s3 = + +
1⋅ 2 2 ⋅ 3 3 ⋅ 4
# #
1 1 1 1
sn = + + + ... + .
1⋅ 2 2 ⋅ 3 3 ⋅ 4 n(n + 1)

Se puede demostrar usando inducción matemática que

1 1 1 1 n
sn = + + + ... + = . (2)
1⋅ 2 2 ⋅ 3 3 ⋅ 4 n(n + 1) n + 1
Luego
n
lim sn = lim = 1.
n →+∞ n →+∞ n +1

336
 Módulo 27: Series de términos constantes
En consecuencia, la serie (1) converge y podemos escribir:

∞
1 1 1 1 1
∑ n(n + 1) = 1⋅ 2 + 2 ⋅ 3 + 3 ⋅ 4 + ... + n(n + 1) + ... = 1.
n =1

1
Otra técnica 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:

∞ ∞
1 ⎡1 1 ⎤ ⎡1 1 ⎤ ⎡ 1 1⎤ ⎡1 1 ⎤
∑ n(n + 1) = ∑ ⎢⎣ n − n + 1⎥⎦ = ⎢⎣1 − 2 ⎥⎦ + ⎢⎣ 2 − 3 ⎥⎦ + ... + ⎢⎣ n − n + 1⎥⎦ + ...,
n =1 n =1

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

⎡1 1 ⎤ ⎡ 1 1 ⎤ ⎡ 1 1 ⎤ ⎡1 1 ⎤
sn = ⎢ − ⎥ + ⎢ − ⎥ + ⎢ − ⎥ + ... + ⎢ − ⎥
⎣1 2 ⎦ ⎣ 2 3 ⎦ ⎣ 3 4 ⎦ ⎣ n n + 1⎦
⎡ 1 1 ⎤ ⎡ 1 1⎤ ⎡ 1 1⎤ ⎡ 1 1⎤ 1
= 1 + ⎢ − + ⎥ + ⎢ − + ⎥ + ⎢ − + ⎥ + ... + ⎢ − + ⎥ −
⎣ 2 2 ⎦ ⎣ 3 3⎦ ⎣ 4 4 ⎦ ⎣ n n ⎦ n +1
1 n
= 1− = .
n +1 n +1

27.4 Ejemplo 3: series aritmético-geométricas

Considere la serie de la forma:

∑a b
n =1
n n = a1b1 + a2 b2 + a3b3 + ... + an bn + ..., (1)

donde los ai están en progresión aritmética de diferencia d y los bi están en progre-

sión geométrica cuya razón r satisface r < 1 .

Este tipo de series se conocen con el nombre de series aritmético-geométricas.

Una fórmula que se puede deducir para el límite de la n-ésima suma parcial viene
dada por:

a1b1 b rd
lim sn = + 1 .
n →+∞ 1 − r (1 − r )2

Elementos básicos de cálculo integral y series 337

Capítulo 5: Series numéricas
De lo anterior se deduce que cualquier serie aritmético-geométrica es convergente y
puede determinarse la suma. Así por ejemplo, la serie

n −1
∞
(2n − 1) ∞ ⎛1⎞
∑
n =1 3n −1
= ∑ (2n − 1) ⎜ ⎟
n =1 ⎝3⎠

es una serie aritmético-geométrica convergente, puesto que {2n − 1} forma una

⎧⎪⎛ 1 ⎞n−1 ⎫⎪
progresión aritmética de primer término a1 = 1 y d = 2 y además ⎨⎜ 3 ⎟ ⎬ forma
⎩⎪⎝ ⎠ ⎭⎪

1
una progresión geométrica de primer término b1 = 1 y r = < 1.
3

En consecuencia,
1
1⋅ ⋅ 2
1 ⋅1 3 8 14
lim sn = + = 2+ = .
n →+∞ 1 ⎛ 1 ⎞2 3 3
1− −
⎜
2 ⎝ 2⎠1 ⎟

De esta forma, la serie converge y además podemos escribir:

∞
(2n −1) 14
∑
n =1 3n −1
= .
3

338