Cap tulo 7 Series numricas e

7.1 Deniciones

En ocasiones, podemos estar interesados en calcular una suma con innitos sumandos. Para darle un signicado matemtico a esta "suma innita", construiremos a la sucesin de "sumas parciales" y calcularemos su l o mite cuando el n mero de suu mandos tiende a innito. Ms formalmente: a Sea fan g una sucesin numrica y asociada a ella construyamos la siguiente: o e Sn = a1 + a2 + : : : + an A esta nueva sucesin, la llamaremos sucesin de sumas parciales. o o Diremos que la sucesin es sumable en serie (o, por comodidad, diremos que o es sumable) si existe lim Sn y es nito. A este l mite le llamaremos suma innita 1 X de la sucesin y lo notaremos por o an . Cuando no haya lugar a confusin, lo o n=1 P notaremos simplemente por an . Adems, en tal caso, diremos que la sucesin a o constituye una serie convergente. As pues, se nos plantean dos problemas fundamentales en el estudio de las series numricas: e 1. Decidir cuando una sucesin es sumable o no. o 2. En el caso de que sea sumable, calcular cunto vale la suma. a EJEMPLO 7.1. P n La sucesin frn g es sumable ,j r j< 1. Adems su suma vale o a r = Sn = r + r2 + r3 + : : : + r n

Para comprobar este hecho, observemos que:

r 1r

Carlos Guerrero Garca r Sn = r2 + r 3 + r 4 + : : : + rn + rn+1 Restando ambas expresiones, obtenemos que (1 r)Sn = r rn+1 De donde, si r 61, podemos expresar la n-sima suma parcial como: = e Sn = r r n+1 1r

El l mite de Sn existe ,j r j< 1. En tal caso, el lmite vale lo indicado en el enunciado. | Ntese que lo que hemos hecho ha sido obtener una expresin algebraica para o o fSn g, equivalente a la inicial, pero en la que nos sea fcil calcular el lmite. Es lo que a llamamos una frmula sumatoria. As para estudiar la sumabilidad o no de las o , siguientes series, podemos hacerlo a travs del estudio de la frmula de sumacin: e o o 1 1. Para la sucesin o , el trmino general de la sucesin lo podemos e o n(n + 1) 1 1 expresar como con lo que la n-sima suma parcial quedara: e n n+1 1 1 1 1 1 1 1 1 = 1 Sn = a1 + a2 + + an = 1 + + + + 2 2 3 3 4 n n+1 n+1 Como el lmite de la sucesin de sumas parciales existe, la sucesin inicial es o o sumable. Adems, tambin podemos decir que la suma innita vale 1, puesto a e que ese es el valor lmite de las sucesin de sumas parciales. o n o 1 2. Para la sucesin pn+1+pn , cuyo trmino general tambin lo podemos expreo e e p p sar, racionalizando, como n + 1 n, la n-sima suma parcial nos quedara: e p p p p p p p p p Sn = 2 1 + 3 2 + 4 3 + + n + 1 n = n + 1 1 Como el l mite de la sucesin de sumas parciales tiende a innito, la sucesin o o inicial no es sumable. EJEMPLO 7.2. La sucesin (1)n no es sumable o La sucesin de sumas parciales es 1; 0; 1; 0; 1; 0; : : :, que no posee lmite. o Observaciones 1. Ntese que si la sucesin fan g es de trminos positivos, entonces la sucesin o o e o fSn g es creciente. Por tanto, una sucesin de trminos positivos es sumable o e , la sucesin fSn g est acotada superiormente. o a

Carlos Guerrero Garca

2. La sumabilidad o no de una serie viene determinada por lo que le ocurra a su "parte nal"; lo que ocurra con el conjunto nito de unos cuntos trminos del a e principio no inuye en la existencia o no de la suma puesto que constituyen una suma nita, cuyo valor siempre existe. Por tanto, si de alguna forma podemos decidir acerca de la sumabilidad o no de la serie en trminos de lo que le ocurra e a los valores de la sucesin, vamos a suponer que la condicin la cumplen todos o o los trminos de la sucesin. Si slo se vericara calquier condicin a partir de e o o o cierto trmino de la sucesin, el criterio sera siendo cierto por el razonamiento e o anterior. Una primera propiedad que ha de poseer una sucesin para que sea sumable es o la siguiente: Teorema 7.1.1 Si fan g es sumable, entonces lim an = 0; es decir, que si lim an 60, = entonces la serie no es sumable Demostracin: Si fan g es sumable, sabemos que existe lim Sn . Como adems, o a an = Sn Sn1, entonces fan g ha de tener lmite por ser diferencia de dos su cesiones convergentes, y adems lim an = 0 a 2 Aunque el rec proco no es cierto, como se puede comprobar al estudiar la suma 1 bilidad de la sucesin o n S1 = 1 1 S2 = 1 + 2 1 1 1 1 1 1 1 S4 = 1 + + + 1 + + + = 1 + 2 2 3 4 2 4 4 2 1 1 1 1 1 1 1 1 1 1 1 S8 = 1 + + + + + + + 1 + + 2 + 4 = 1 + 3 2 3 4 5 6 7 8 2 4 8 2 Se puede comprobar que, en general, se cumple la siguiente desigualdad: S2k 1 + k 1 2

Veamos que esta sucesin no es sumable. Como la sucesin es de trminos posio o e tivos, bastara con ver que no est acotada superiormente. a Supongamos que existiese una constante M tal que Sn M; virtud de la desigualdad anterior, tendr amos que: 1+k 1 M; 2 8k 2 N 8k 2 N 8n 2 N. En

k 2 (M 1);

Carlos Guerrero Garca

Lo cual, supone una contradiccin con la no acotacin de los n meros naturales. o o u As podemos armar que la sucesin de sumas parciales asociada a dicha sucesin , o o de trminos positivos no est acotada superiormente, lo que equivale a que la serie e a no es sumable, a pesar de que el l mite de la sucesin es cero. o A la serie producida por esta sucesin se le denomina serie armnica o o Poseer algunas propiedades que nos permitan garantizar la sumabilidad de algunas sucesiones, ser muy aconsejable y nos evitar recurrir siempre a la denicin. a a o Aqu se presentan dos de ellas: Propiedades 1. Si fan g y fbn g son dosP sucesiones sumables, P entonces la sucesin fan + bn g o P tambin lo es. Adems (an + bn ) = an + bn e a 2. Si fan g es sumable, entonces fc an g es sumable, para cualquier valor real de P P c. Adems, (c an ) = c an a

(La veracidad de estos enunciados se reduce a la suma de los lmites de las sucesiones de sumas parciales en el primer caso y al limite del producto de la sucesin o de sumas parciales por un escalar, en el segundo caso)

7.2

Criterios para series no negativas

Teorema 7.2.1 (Criterio de Condensacin) Sea fan g una sucesin decreciente o o (an+1 an ; 8n 2 N) de trminos no negativos. Entonces e X X an converge , 2k a2k converge La demostracin de este criterio la vamos a omitir de momento o 1 Corolario 7.2.1 es sumable , > 1 n

X 1 X X 1 k 1 k es sumable , 2 k = converge Demostracin: o n (2 ) 21 1 , < 1 , 21 > 1 , 1 > 0 , > 1 2 21 EJEMPLO 7.3. P Estudiar la convergencia de la serie

1 n (ln n)c

Carlos Guerrero Garca

En virtud del criterio de condensacin, la convergencia de esta serie vendr detero a minado por la convergencia de la serie c 2k 1 1 k 2 a2k = k c = c c 2 k (ln 2) (ln 2) k que converge si y slo si c < 1 o |

Teorema 7.2.2 (Criterio de Comparacin) Sean fan g y fbn g dos sucesiones o de trminos positivos tales que an bn . Entonces, si fbn g es sumable, tambien lo e es fan g. Por tanto, tambin podemos armar que si fan g no es sumable, entonces e fbn g tampoco lo es. As si una sucesin la podemos acotar superiormente por una sumable, la pri, o mera tambin lo es; si la podemos acotar inferiormente por una no sumable, la e primera tampoco lo es. Demostracin: Notaremos por fSn g y por fTn g a las sucesiones de sumas parciales o de fan g y fbn g respectivamente. Como an bn , para cualquier valor de n, entonces Sn Tn para cualquier valor de n. Supongamos que fbn g es sumable. Entonces la sucesin de sumas parciales fTn g o est acotada; es decir, existe una constante positiva M tal que Tn M. a Como Sn Tn M , entonces la sucesin de sumas parciales de fan g tambien o est acotada y, por ser de trminos positivos, la sucesin fan g es sumable a e o 2 Aunque la desigualdad no sea cierta para cualquier valor de n, con que sea cierta para la "parte nal" sera suciente (Ver observaciones al principio del tema) Corolario 7.2.2 Sean fan g y fbn g dos sucesiones de trminos positivos y supongae an mos que existe lim = c y es nito bn 1. Si c 60, fan g es sumable = , fbn g lo es sumable

2. Si c = 0 y fbn g es sumable, entonces tambien lo es fan g Demostracin: o 1. (c = 0) an 1 (aunque no fuese cierta para cualquier valor ed Podemos suponer que bn n, si lo ser en su "parte nal"), es decir, an bn a Por tanto, si fbn g es sumable, entonces tambien lo es fkan g y, en consecuencia, tambien lo es fan g

Carlos Guerrero Garca 2. (c 60) =

1 1 an k, es decir, bn an k bn k bn k Si miramos la primera parte de esta doble desigualdad, en virtud del criterio de comparacin, podemos armar que si fan g es sumable, entonces tambin o e 1 e a lo es bn , con lo que tambin lo ser fbn g k Si miramos la segunda parte de la desigualdad y si fbn g es sumable, tambien lo sera fk bn g. De nuevo en virtud del criterio de comparacin, podemos o armar que fan g es sumable Existe k 2 N tal que 2

Teorema 7.2.3 (Criterio de Pringsheim) Sea fan g una sucesin de trminos o e p positivos y supongamos que existe p 2 IR tal que existe lim n an y no es 0 1. Si p > 1 la sucesin fan g es sumable o 2. Si p 1 la sucesin fan g no es sumable o Demostracin: Sea bn = o Como lim 1 que es sumable , np p>1

an = lim np an 6 0, en virtud del corolario anterior, fan g es suma= bn ble , lo es fbn g , p > 1 2 EJEMPLO 7.4.

Estudiar la sumabilidad de la sucesin p 2 o 3 n 1 2=3 2=3 2 n n Como lim 2 = lim = 1 60 = 1=3 2 1 (n 1) n el criterio de Pringsheim, para el caso p = 2=3 arma que la sucesin propuesta no o es sumable | Corolario 7.2.3 (Cociente de polinomios) A0 + A1 n + A2 n2 + : : : + Ar nr Sea an = siendo Ar y Bs no nulos. B0 + B1 n + B2 n2 + : : : + Bs ns sr >1 ar ns ar = = 60, el criterio de Pringsheim s bs n bs sr >1 2

Entonces fan g es sumable ,

Demostracin: Como lim nsr an = o arma que fan g es sumable ,

Carlos Guerrero Garca

Teorema 7.2.4 Criterio del Cociente (D'Alembert) Sea fan g una sucesin de o an+1 (= L) trminos positivos y tal que existe lim e an 1. Si L < 1, la sucesin es sumable o 2. Si L > 1, la sucesin no es sumable o 3. Si L = 1, no podemos armar nada Demostracin: o an+1 an+1 1. Si lim = L < 1, existe x 2 (0; 1) tal que <x an an (Esta desigualdad, o bien se cumple para todo n o bien para la "parte nal" de la sucesin. Ver observaciones) o Por tanto, podemos armar que: a2 < x a1 a 3 < x a 2 < x2 a 1 a 4 < x a 3 < x3 a 1 . . . an < xn1 a1 Por tento, a1 xn1 es sumable por ser 0 < x < 1, el criterio de comparacin o nos permite armar que fan g tambin es sumable e 2. Anlogamente a 1 an+1 n 3. La sucesin o =1 no es sumable y lim = lim an n+1 n 1 an+1 n2 La sucesin o es sumable y lim =1 = lim n2 an (n + 1)2

EJEMPLO 7.5. Estudiemos la sumabilidad de la sucesin o del cociente an+1 (n + 1)! nn lim n = lim a (n + 1)n+1 a n!

an n! nn n

a e

con a > 0 con ayuda del criterio

n n+1

El criterio del cociente nos permite armar que si a < e, la sucesin es sumable o y si a > e, la sucesin no es sumable. En el caso que a = e, el criterio del cociente o no nos permite asegurar nada. | EJEMPLO 7.6. Estudiar la sumabilidad de la sucesin o

pn np

con p > 0

Carlos Guerrero Garca p

pn+1 np lim n = p lim (n + 1)p p

n n+1

=p

El criterio del cociente nos permite armar que si p < 1, la sucesin es sumable o y si p > 1, la sucesin no es sumable. En el caso p = 1, la sucesin resultante es la o o que proporciona la serie armnica, que tampoco es sumable. o | Teorema 7.2.5 (Criterio de la Ra Sea fan g una sucesin de trminos positiz) o e p n vos tal que existe el lim an (= L) 1. Si L < 1, la sucesin es sumable o 2. Si L > 1, la sucesin no es sumable o 3. Si L = 1, no podemos armar nada Demostracin: En virtud del criterio del cociente para lmite de sucesiones, lim o an+1 . El resto es consecuencia del criterio del cociente para series. lim an EJEMPLO 7.7. Estudiar la sumabilidad de la sucesin o p n a = n 2

1 (ln n)n

Aplicando el criterio de la ra y observando que: z, s 1 1 lim n = lim =0<1 n (ln n) ln n podemos armar que la sucesin es sumable o |

EJEMPLO 7.8. Estudiar la sumabilidad de la sucesin o

1 nn

De nuevo, aplicando el criterio de la ra podemos armar que es sumable ya que: z, r 1 1 n lim = lim = 0 < 1 nn n | Si el l mite del cociente de trminos consecutivos es 1, el criterio del cociente no e nos permite decidir nada acerca de la sumabilidad o no de la sucesin propuesta. o En tal caso, podemos utilizar este criterio:

Carlos Guerrero Garca

Teorema 7.2.6 (Criterio Raabe) Sea fan g una sucesin de trminos positivos de o e an+1 tiene lmite (= L) tal que la sucesin bn = n 1 o an 1. Si L > 1, la sucesin es sumable o 2. Si L < 1, la sucesin no es sumable o 3. Si L = 1, no podemos armar nada Ntese que las conclusiones de este criterio estn "al revs", en comparacin o a e o con las del criterio del cociente. Suele ser un error bastante comn confundir las u conclusiones de uno y otro

( 1 1 ) 1 1 1+ 2 + 3 +:::+ n Estudiar la sumabilidad de la sucesin o 2 Si intentsemos aplicar el criterio del cociente, como a an+1 = an
1 1 1 1+ 1 + 1 +:::+ n + n+1 2 3 1 n+1 1 = 2

EJEMPLO 7.9.

que tiende a 1, cuando n ! 1. Dicho criterio no nos permite concluir nada al respecto. Sin embargo, si utilizsemos el criterio de Raabe: a " 1 n+1 # 1 1 2 n+1 1 2 n+1 1 1 = lim n = lim(n + 1) = lim n 1 1 1 2 2 n+1 2 n+1 (haciendo el cambio z = 1 y sustituyendo por un innitsimo equivalente) e n+1 1 2z 1 ln 2 = lim z = ln 2 < 1 z!0 z z!0 2 2z |

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

= lim

El criterio de Raabe, permite armar que la sucesin no es sumable o

EJEMPLO 7.10. Estudiar la sumabilidad de la sucesin o

1 n (n + 1)

El criterio del cociente no nos permite armar nada, puesto que lim an+1 n (n + 1) n = lim = lim =1 an (n + 1) (n + 2) n+2

Carlos Guerrero Garca Para aplicar el criterio de Raabe calculemos el an+1 n 2n lim n 1 = lim n 1 = lim =2 an n+2 n+2 Como 2 > 1, por el criterio de Raabe podemos armar que es sumable.

10

(Adems, este tipo de sucesiones son las que vamos a llamar hipergeomtricas a e que, en la siguiente seccin, vamos a calcular cnto vale la suma en el caso de que o a sean sumables)

7.3

Suma de algunas series no negativas

Hasta ahora, hemos obtenido una serie que nos permiten armar cuando una sucesin es o no sumable, pero en ning n momento, hemos dicho nada acerca de o u cunto vale su suma. a A continuacin vamos a calcular la suma de algunas de ellas, pero que en general, o sern tan slo unas pocas. a o

7.3.1

Series Geomtricas e

Estas son las primeras sucesiones que estudiamos bajo qu condiciones son sue mables y llegamos a la siguiente conclusin: o fr g converge ,j r j< 1. Adems su suma vale a
n 1 X n=1

rn =

r 1r

7.3.2

Series Hipergeomtricas e
an+1 n + = an n +

Una sucesin fan g diremos que genera una serie hipergeomtrica si o e

Como el criterio del cociente no nos permite asegurar su sumabilidad, intentemos aplicar el criterio de Raabe: an+1 n + n n!1 n 1 =n ! an n + El criterio de Raabe nos permite armar que la sucesin es sumable si o es decir, que si > + , entonces la sucesin sumable. o

> 1;

Carlos Guerrero Garca

11

Para calcular la suma, en el caso en el que sea sumable ( > +), como sabemos n + an+1 = que se cumple que , entonces an (n + ) an+1 (n + ) = 0. an n + As podemos observar que se cumplen las siguientes igualdades: , a1 ( + ) a2 ( + ) = 0 a2(2 + ) a3 (2 + ) = 0 a3(3 + ) a4 (3 + ) = 0 . . .

Sumando todas las expresiones anteriores y sumando y restando a1 podemos llegar a que: (a1 + a2 + : : : + an ) ( + ) + a1 an+1 n an+1 = 0 Al tomar l mites en la expresin anterior las dos siguientes conclusiones nos a permiten obtener una expresin para la suma de los innitos trminos de nuestra o e sucesin: o 1. lim an = lim an = 0, ya que la sucesin es sumable (ver Teorema 7.1.1) o 2. lim n an = 0, pues de no ser as el criterio de Pringsheim armara que la , sucesin no es sumable, en contra de nuestra hiptesis inicial o o a1 Por tanto, S ( + ) + a1=0; es decir, que S = ( + ) EJEMPLO 7.11. P 1 Calcular (2n + 1)(2n + 3) 1 Llamando an = , se cumple que: (2n + 1)(2n + 3) an+1 1 2n + 1 = (2n + 1)(2n + 3) = an (2n + 3)(2n + 5) 2n + 5 con lo que podemos armar que la serie es cuestin es hipergeomtrica y sumable, o e ya que 5 > 2 + 1 = 3. Adems su suma vale S = a 5 a1 5 1 1 = = 2 2 35 6 | (a1 + a2 + : : : + an ) ( + ) + a1 an (n + ) = 0

an (n + ) an+1 (n + ) = 0

EJEMPLO 7.12. P n Calcular (n + 1)(n + 2)(n + 3)

Carlos Guerrero Garca

12

Esta serie no es hipergeomtrica puesto que e n+1 an+1 (n + 1)(n + 2)(n + 3) (n + 1)2 = = an (n + 2)(n + 3)(n + 4) n n(n + 4) Observemos que la podemos descomponer como: n A B C = + + = (n + 1)(n + 2)(n + 3) n + 1 n + 2 n + 3 A(n2 + 5n + 6) + B(n2 + 4n + 3) + C(n2 + 3n + 2) = (n + 1)(n + 2)(n + 3) Igualando los coecientes de los polinomios que aparecen en los numeradores, obtenemos el sistema 9 A+B +C = 0 > > > > = 5A + 4B + 3C = 1 cuya solucin es A = 1=2; B = 2; C = 3=2 o > > > > ; 6A + 3B + 2C = 0 As nuestra sucesin la podemos descomponer como: , o 1 1 1 3 1 n = +2 (n + 1)(n + 2)(n + 3) 2 n+1 n+2 2 n+3 <<Buen intento!!, pero como las tres sucesiones en la que hemos descompuesto la sucesin inicial no son sumables, ello no implica que la inicial lo sea o no. Las o propiedades que veamos en la seccion 7.1, nos permit armar que una sucesin la an o pod amos descomponer en varias sucesiones sumables, entonces la sucesin inicial o lo era, pero no arma nada en el caso en el que la sucesin inicial la descompongao mos como suma de sucesiones no sumables. Es ms, en este caso, el criterio de a Pringsheim nos permite armar que la sucesin es sumable ya que 2 > 1 y o lim n2 n = 1 60 = (n + 1)(n + 2)(n + 3)

As intentemos descomponer nuestra sucesin de la siguiente forma: , o n M N M n + 3M + Nn + N = + = (n + 1)(n + 2)(n + 3) (n + 1)(n + 2) (n + 2)(n + 3) (n + 1)(n + 2)(n + 3) De nuevo, la identicacin de los coecientes de los numeradores nos conduce a un o sistema

Carlos Guerrero Garca 9 M +N =1 = ;

13

3M + N = 0

cuya solucin es M = 1=2; N = 3=2 o

Con lo que la sucesin inicial tambin la podemos descomponer como: o e n 1 1 3 1 = + (n + 1)(n + 2)(n + 3) 2 (n + 1)(n + 2) 2 (n + 2)(n + 3) Veamos que cada una de las sucesiones anteriores es sumable: 1. Sea an = 1 (n + 1)(n + 2) (n + 1)(n + 2) n + 1 an+1 = Como = , podemos armar que fan g es sumable an (n + 2)(n + 3) n + 3 por que 3 > 1 + 1 = 2 y adems podemos armar que su suma vale 1=2 a

2. Sea bn =

1 (n + 2)(n + 3) n+2 bn+1 (n + 2)(n + 3) = , podemos armar que fbn g es sumable Como = bn (n + 3)(n + 4) n+4 por que 4 > 2 + 1 = 3 y adems podemos armar que su suma vale 1=3 a

Por tanto, nuestra sucesin inicial la podemos descomoponer como suma de dos o sucesiones sumables, lo que hace que la inicial tambin lo sea. Adems podemos e a armar que la suma de los trminos de la sucesin inicial vale: e o S= 1 1 3 1 1 + = 2 2 2 3 4 | EJEMPLO 7.13. Estudiar la sumabilidad de la sucesin o

n! an (1 + a)(1 + 2 a) : : : (1 + n a)

con a > 0

Adems, calcular su suma en caso de que sea sumable. a Esta sucesin da lugar a una serie hipergeomtrica ya que o e (1 + a)(1 + 2 a) : : : (1 + n a) (n + 1)! an+1 = (1 + a)(1 + 2 a) : : : (1 + n a)(1 + (n + 1) a) n! an an + a an + a + 1 En virtud del criterio de Raabe, podemos armar que: = 1. que ser sumable cuando a + 1 > 2a; es decir, cuando a < 1 a 2. que si a + 1 < 2a, la sucesin ser no sumable; es decir, cuando a > 1 o a

Carlos Guerrero Garca 3. cuando a = 1, tampoco ser sumable, puesto que el trmino general es a e

14 1 n+1

Adems, cuando 0 < a < 1, podemos calcular la suma utilizando la frmula obtenida a o para series hipergemetricas y armar que sta vale o e (a + 1) 1+a a1 a = = ( + ) a + 1 (a + a) 1 a |
a

7.3.3

Series Telescpicas o

Diremos que suma sucesin fan g da lugar a una serie telescpica si podemos o o encontrar otra sucesin fbn g tal que an = bn bn+1 o Las sumas parciales asociadas a la sucesin fan g son: o Sn = a1 + a2 + a3 + + an = b1 b2 + b2 b3 + b3 b4 + + bn bn+1 = b1 bn+1 As es sumable , existe lim bn . En tal caso, S = b1 lim bn , EJEMPLO 7.14. Estudiar (de nuevo) la sumabilidad de la sucesin f o Ya que nuestra sucesin la podemos escribir como o 1 1 1 = n(n + 1) n n+1 podemos armar que la sucesin da lugar a una serie telescpica. Adems, como o o a lim 1=n = 0, podemos armar que la sucesesin en cuestin es sumable y que su o o suma vale 1 | 1 g n(n + 1)

7.3.4

Series Aritmtico-Geomtricas e e

Antes de dar la denicin, estudiar la convergecia y calcular la suma, estudiemos o n la sucesin fn q g con q > 0. o (n + 1)qn+1 Aplicado el criterio del cociente para este sucesin, ya que lim o = q, n qn podemos armar que: 1. si q < 1, la sucesin es sumable o 2. si q > 1, la sucesin no es sumable o 3. si q = 1, la sucesin tampoco es sumable, puesto que sera la sucesin fng o o

Carlos Guerrero Garca

15

Para calcular la suma en caso de que sea sumable (q < 1), observemos que la n-sima suma parcial sera: e Sn = q + 2q2 + 3q3 + : : : + n q n Multiplicando esta expresin por q, obetenemos que o q Sn = q2 + 2q 3 + 3q4 + : : : + (n 1) qn + n qn+1 Restando ambas, llegamos a que (1 q) Sn = q + q2 + q 3 + : : : + qn n qn+1 Finalmente, tomando lmites en esta expresin y observando que lim n qn = 0 (ya o que de no ser as, la sucesin no ser sumable y estamos estudiando el caso en el que o a q la sucesin s lo es), podemos armar que (1 q)S = o . Con lo que despejando, 1q q llegamos a que S = (1 q)2 Una sucesin fan g vamos a decir que da lugar a una serie aritmtico-geomtrica o e e si podemos encontrar una sucesin aritmtica fbn g y otra sucesin geomtrica fcn g o e o e tales que an = bn cn . Es decir, que existen valores B; C; p y q tales que: bn = B + (n 1)p ) an = (B + (n 1)p) C qn1 cn = C q n1 Para estudiar bajo qu condiciones es sumables, aplicando el criterio del cociente e en el caso p > 0; q > 0; C > 0 lim podemos armar que: 1. si q < 1, la sucesin es sumable o 2. si q > 1, la sucesin no es sumable o 3. si q = 1, la sucesin tampoco es sumable, puesto que sera una sucesin arito o mtica y el l e mite del trmino general no es cero e En el caso en el que la sucesin sea sumable (0 < q < 1), para calcular la suma, o observemos que la (n+1)-sima suma parcial, la podemos expresar como: e Sn+1 = BC + (B + p)Cq + (B + 2p)Cq2 + : : : + (B + np)Cqn = = BC(1 + q + q2 + : : : + qn ) + Cp(q + 2q 2 + : : : + nqn ) Tomando l mites, y en virtud de lo anterior, podemos armar que S = BC 1 q + Cp 1q (1 q)2 (B + n p) C q n =q (B + (n 1)p) C qn1

Carlos Guerrero Garca

16

7.4

Series alternadas

Una sucesin alternada es aquella en la que los valores son alternativante, o positivos y negativos; es decir, si an an+1 < 0. Recordemos que, en general, que el lmite de la sucesin fuese cero no implicaba o que la sucesin fuese sumable. En el caso particular de que estemos trabajando con o series alternadas, si a~adimos una peque~ a condicin ms, si va a ser cierto. n n o a

Teorema 7.4.1 (Leibnitz) Sea fan g una sucesin decreciente de trminos positivos tal que lim an = 0. o e P n+1 Entonces f(1) an g es sumable; es decir, (1)n+1 an converge Demostracin: Como fan g es decreciente, se cumple que an+1 an o Por tanto, como a2 a1 , se cumple que S2 = a1 a2 0 Como a3 a4 0, se cumple que S4 = a1 a2 + a3 a4 S2 Como a5 a6 0, se cumple que S6 = a1 a2 + a3 a4 + a5 a6 0 . . . Adems, la sucesin de sumas parciales pares, cumple que a o S2n = a1 a2 + a3 a4 + a5 a6 + : : : + a2n1 + a2n = = a1 (a2 a3 ) (a4 a5 ) (a6 a7) : : : (a2n2 a2n1 ) a2n a1 Es decir, que la sucesin de sumas parciales de orden par es una sucesin creo o ciente y acotada, por lo que podemos armar que dicha sucesin tiene lmite. Sea L o Como por otra parte, S2n+1 = S2n + a2n+1 , como las dos tienen lmite, la sucesin de o sumas parciales de rdenes impares tambin tiene l o e mite y adems vale L + 0 = L a As como tanto la sucesin de sumas parciales de rdenes pares como la de rde, o o o nes impares tiene lmite, podemos armar que la sucesin de sumas parciales tiene o l mite, con lo que la sucesin f(1)n+1 an g es sumable o 2 EJEMPLO 7.15. X 1 (1)n+1 converge ya que la sucesin es decreciente y su lmite vale 0 o n |

Corolario 7.4.1 En las mismas condiciones que el Teorema de Leibnitz, el error cometido al aproximar la suma por la n-sima suma parcial, es menor que el valor e absoluto del primer trmino no sumado e

Carlos Guerrero Garca Demostracin: o S Sn = (1)n+2 [an+1 (an+2 an+3) (an+4 an+5 ) + : : :]

17

Como todos los parntesis que aparecen dentro del corchete son positivos, es obvio e que j S Sn jj an+1 j 2

7.5

Series generales

Consideremos ahora una sucesin cualquiera fan g que puede tener trminos poo e sitivos o negativos no necesariamente alternados. Una cosa que podramos hacer, aunque en principio no tenga mucho que ver, es estudiar la sucesin de valores abo solutos, es decir fj an jg, que esa si es de trminos positivos. e Pero, >qu relacin existe entre una y otra? e o P P Teorema 7.5.1 Si la serie j an j converge, entonces an converge; es decir, si la sucesin fj an jg es sumable, entonces tambin lo es la sucesin fan g o e o Demostracin: Como 0 an + j an j 2 j an j, si la sucesin fj an jg es sumable, o o tambin lo es fan + j an jg en virtud del criterio de acotacin. e o Como, por otra parte, an = (an + j an j) j an j, si suponemos que fj an jg es sumable, tambin lo es fan + j an jg y por tanto, tambin lo es fan g e e 2 Observacin Ntese que el reciproco, en general, no es cierto, como se puede o o P 1 comprobar con la serie (1)n+1 n

As dada una sucuesin fan g diremos que es absolutamente sumable si la , o sucesin fj an jg es sumable. En estos trminos, el teorema anterior arma que una o e sucesin es absolutamnte sumable, entonces es sumable. En caso contrario, diremos o que la secueson es condicionalmente sumable

Algunos autores, preeren emplear los trminos serie absolutamente convere gente para la serie asociada a una sucesin absolutamente sumable y serie condio cionalmente convergente para la serie asociada a una sucesin condicionalmente o sumable. Adems, si una sucesin es absolutamente sumable y denotamos por fbn g a la a o sucesin de trminos positivos y por fcn g a la sucesin de trminos negativos sin o e o e el signo, se puede demostrar que las seriesP asociadas a cada una de las sucesiones P P anteriores son convergentes y que adems a an = bn cn . Incluso podemos reordenar los trminos de una sucesin absolutamente convergente sin que vare su e o suma, cosa que para sucesiones condicionalmente sumables no podemos armar,

Carlos Guerrero Garca (1)n+1 g: n

18

como se puede comprobar con la sucesin f o

De donde, despejando S, obtenemos que S = 0; sin embargo el teorema de Leibnitz, arma que j S 1 j 1=2, es decir que 1=2 S 3=2, lo que contradice lo probado anteriormente.

Si la pudisemos reordenar, obtendrmos que e 1 1 1 1 1 1 1 1 1 1 1 1=4+ 1=8+ +: : : = S = 1 + + +: : : = 1 2 3 4 5 6 2 3 6 5 10 12 1 1 1 1 1 1 1 1 1 1 1 1 S = + + 1 + + ::: = +::: = 2 4 6 8 10 12 2 2 3 4 5 6 2

Por tanto, en general, no podemos reordenadar "impunemente" los trminos de e uan sucesin que no sea absolutamente sumable. El precio a pagar es exageradao mente elevado, como lo prueba el siguiente teorema: Teorema 7.5.2 (Riemann) Si una sucesin fan g es condicionalmente sumable, podemos reordenarla de tal forma o que su suma valga <<cualquier valor jado de antemano!! EJEMPLO 7.16. Encontrar los primeros diez trminos de una reordenacin de la sucesin f e o o para que la suma de la suma reordenada valga 1 Como 1

(1)n+1 g n |

5 1 1 + = < 1, en vez de tomar como el siguiente 1=4, tomemos el 2 3 6 siguiente positivo, es decir 1=5. 1 1 1 31 Como 1 + + = > 1, tomemos a contiuacin el 1=4, para no distano 2 3 5 30 ciarnos mucho de 1. 1 1 1 1 47 Como 1 + + = < 1, tomemos como el siguiente, el siguiente 2 3 5 4 60 positivo, para volvernos a acercarnos a 1. 1 1 1 1 1 389 Como 1 + + + = < 1, el siguiente lo volvemos a tomar positivo. 2 3 5 4 7 420 1 1 1 1 1 1 1307 Como 1 + + + + = > 1, el siguiente ya lo podemos negativo. 2 3 5 4 7 9 1260 1 1 1 1 1 1 1 1097 Como 1 + + + + = < 1, el siguiente lo volvemos a 2 3 5 4 7 9 6 1260 tomar positivo.

Carlos Guerrero Garca

19

1 1 1 1 1 1 1 1 13327 Como 1 + + + + + = < 1, el siguiente lo volvemos 2 3 5 4 7 9 6 11 13860 a tomar positivo. 1 1 1 1 1 1 1 1 1 187111 Como 1 + + + + + + = > 1, el siguiente lo 2 3 5 4 7 9 6 11 13 180180 podr amos tomar negativo. As los diez primeros trminos son: , e f1; 1 1 1 1 1 1 1 1 1 ; ; ; ; ; ; ; ; g 2 3 5 4 7 9 6 11 13

Se pueden construir todos los que deseen, siguiendo con la tcnica utilizada arriba. e EJEMPLO 7.17. Estudiar la convergencia absoluta y sumar, si es posible, las siguientes series:
1 X n=0

x cos n

1 X n=0

xn sen n

Como j xn cos n jj xn j=j x jn y recordando que j x jn converge , j x j< 1 , podemos armar que la sucesin es absolutamente convergente , j x j< 1. o Para la segunda serie, procediendo de la misma forma, llegamos a la misma conclusin. Adems, para calcular su suma, utilicemos que: o a
1 X n=0

x cos n + i

1 X n=0

x cos n =

1 X n=0

x (cos n + i sen n) =

1 X n=0

xn (ei )n =

1 x cos x sen +i 1 2x cos + x2 1 2x cos + x2 Igualdando las partes reales e imaginaria, podemos armar que: =
1 X n=0 1 X n=0

1 X = (xei )n = n=0

1 1 x cos + i x sen 1 = = = i 1xe 1 x cos i x sen (1 x cos)2 + x2 sen2

xn cos n =
1 X n=1

1 x cos 1 2x cos + x2 x sen 1 2x cos + x2 |

xn sen n =

xn sen n =