219

Captulo 47
Sucesiones y series
UNA SUCESION, {sn} = st, sit ..sH, . . . , es una funcin de n cuyo dominio de definicin lo constituye el
conjunto de los nmeros positivos.
Se dice que una sucesin {*} est acotadat si existen dos nmeros, P y Q, de manera que
2 n 4-1
P^ s ^ Q para todos los valores de n. Por ejemplo, la sucesin 3/2, 5/4, 7/6 ...................... = ----- . . . , est
2/1
acotada, ya que 1 <, sm <. 2 para todos los valores de n y sin embargo, la sucesin 2, 4, 6, ..2nt no lo est.
Una sucesin {j} es creciente si < s2 < 3 < <, s <, * *, y decreciente cuando
( n
2
\
Si i* j ;> Por ejemplo, las
sucesiones ( = 1/2, 4/3, 9/4, 16/5, ...
(
n
+
1
)
y {2n ( 1)*} = 3, 3, 7, 7, ... son crecientes y las sucesiones {1 /} = 1, 1/2, 1/3, 1/4, ... y {n} 1,
2, 3, 4, . . . , son decrecientes.
Una sucesin {j} converge hacia un limite finito s, I lim s s I, cuando, dado un nmero c
!_*- + > J
tan pequeo como queramos, se puede encontrar un entero positivo m de manera que a partir de un n
dado y para todos los siguientes, n > m, se verifica la desigualdad |s < c. Si
una
sucesin tiene lmite es convergente, y si no lo tiene recibe el nombre de divergente.
(Ver Problemas 1-2.)
Una sucesin {s} diverge o tiende a 00, lim s = 00 I, cuando, dado un nmero positivo M
L*-* + oo J
tan grande como queramos, existe un entero positivo m de manera que a partir de un n dado y para
todos los siguientes, n >m, se verifica la desigualdad \sH\ > M. Si sn> M, lim sn =
00
S Sm < My lim Sm = OO.
H-+ + OO
TEOREMA DE LAS SUCESIONES.
I. Toda sucesin acotada, creciente o decreciente, es convergente. La demostracin cae fuera del
propsito y alcance de este libro.
II. Toda sucesin no acotada es divergente. Vase la demostracin en el Problema 3.
Muchos de los teoremas restantes son consecuencia inmediata de los teoremas expuestos en el
Captulo 2.
m. Una sucesin convergente (divergente) no modifica su carcter al cambiar de lugar uno
o todos de sus n primeros trminos.
IV. El limite de una sucesin convergente es nico.
(Vase la demostracin en el Problema 4.)
Si lim sn s y lim tn = t:
n + 0 0 n - . + c
V. lim (f es) = k lim s = ks, ksiendo k una constante
cualquiera.
n + n - +
VI. lim (s
n
t
n
) lim Sn lim t
n
s t .
n-*+ n + * -* + *
VII. lim ( s t n) = lim Sn lim t
n
= s t.
n - -i
+ 00

SH = s = Si -+- s2 -f- s3 + * * * + y* + * (/)
n 1
de los trminos de una sucesin {.y*} recibe el nombre de serie. A toda serie se le asocia una
sucesin de sumas parciales: S2 = S2 = st + s2, S3 = st + s2 + s3t , Sn = Si -f- S2 + S3 + * * + S/,, * *
Si lim S = S, siendo S un nmero finito, la serie (/) se denomina de convergente
n +oo
y S es su suma. Si no existe lim SH, la serie (/) se denomina divergente. Una serie tambin
_-voo
es divergente bien porque lim S oo, o bien porque a medida que crece n, S va aumen-
H-* + OO
tando y disminuyendo sin aproximarse a un lmite; en este ltimo caso la serie recibe el
nombre de oscilante. Por ejemplo, en la serie 1 1+1 1 + * Sx = 1, St = O, 5, = 1, =
0. . . .
(Ver Problemas 7-8.)
LA SUMA INDICADA
Vt ci nvuicinaj i-o.)

De los teoremas anteriores se deducen las consecuencias siguientes:
Una serie convergente (divergente) sigue siendo
convergente (divergente) si se cambia
el
orden de uno o de todos sus n primeros trminos. (VerProblema 9.)
XII. La suma de una serie convergente es nica.
Si Lsn converge hacia Sy la serie Eksn, siendo k una
constante, converge hacia kS. Si sa
es divergente, tambin lo es Eks.
XIII. Si Zs es convergente, se verifica: lim s 0.
H -*+00
(Vase la demostracin en el Problema 10.)
El recproco no es cierto. La serie armnica [Problema l(c)\ es divergente y, sin embargo, lim s
= 0.
* -* 4- oo
XIV. Si lim s 9* 0, la serie Es es divergente.
!t + OO
El recproco no es cierto; vase el Problema 7(c). (Ver Problema 11.)


Criterios de convergencia y divergencia de las series de trminos
positivos
SERIES DE TERMINOS POSITIVOS. Son series Zs cuyos trminos son todos positivos.
I. Una serie de trminos positivos Zsm es convergente, si la sucesin de sumas parciales {$,} est
acotada.
Este teorema es consecuencia de que la sucesin de sumas parciales de una serie de trminos
positivos es siempre creciente.
II. CRITERIO DE LA INTEGRAL. Sea f(n) el trmino general s de la serie Zsm de trminos
positivos. Si f{x) > 0 y es decreciente en el intervalo x > , siendo un entero positivo,
+ 00
III. CRITERIO DE LA SERIE MAYORANTE. Una serie de trminos positivos Es es convergente, si
a partir de un determinado valor de /?, y para todos los siguientes cada trmino es menor o igual
que el correspondiente de una serie Ec convergente conocida de trminos positivos.
IV. CRITERIO DE LA SERIE MINORANTE. Una serie de trminos positivos $ es divergente, si a
partir de un determinado valor de n y para todos los siguientes, cada trmino es igual o mayor
que el correspondiente de una serie Zda divergente conocida de trminos positivos.
CRITERIO DEL COCIENTE. Una serie de trminos positivos sa es convergente si lim
Sn + 1
< 1, y
divergente si lim -
Sa
*
1
>1. Si lim
Sm + 1
1, este criterio

-*+oo Sa *-*+oo Sn *-* + oo Sa
nada dice sobre la convergencia o divergencia. (Ver Problemas 12-18.)

Serie de potencias
UNA SERIE de la forma
+ 00
2 o*' =
= C
0 + <*1* + + ' * * + C^X* +
(/)
- 0
en la que los coeficientes son constantes, recibe el nombre de serie de potencias de x. Anlogamente una
serie de la forma
4- Oo
ay = 2^ ~~'y =
c
o +
c
i(x
a
) +
c

x
<*)* + + cx aY + (2)
/- o
se denomina serie de potencias de (x a).
Para cada valor de x, las series (/) y (2) se transforman en series numricas convergentes o di-
vergentes (ver Captulos 48 y 49).
CAMPO DE CONVERGENCIA, Es el conjunto de los valores de * para los cuales una serie de potencias es
convergente. Evidentemente, (/) es convergente para x = O, y (2) lo es para x = a. Cuando existan otros
valores de x para los cuales las series (/) (2) sean convergentes, stas lo sern, o bien para todos los
valores de x, o bien para todos los valores de x pertenecientes a un intervalo finito (abierto, cerrado o
semiabierto) cuyo punto medio es x = O para (J) y x = a para (2).
El campo de convergencia se determina por medio del criterio del cociente de la convergencia
absoluta, junto con otros criterios de los Captulos 48 y 49 aplicados a los extremos.
(Ver Problemas 1-9.)
CONVERGENCIA Y CONVERGENCIA UNIFORME. Los teoremas que figuran a continuacin se refieren
a las series del tipo (/) que son igualmente vlidos para las del tipo (2), una vez efectuadas en stas
ciertas transformaciones.
Consideramos la serie de potencias (/) y representemos por
-i
SM = =
c
o +
c
i
x
4
C
2X2 + ' * * + *-i -*""1
> = 0
la suma parcial m-sima, y sea
+ OO
RM = 2
c
***
=
CnX
+
c
"
+i
x
*
+l
+
Cm+i
*"
+a
+ *
k n
el resto de a serie. En estas condiciones,
\] C,x< = SM + R.(x) (3)
Si para x = x0, c<x
f
converge hacia 5(.v0), un nmero finito, tendremos lim SXv0) = S(xQ).
*-* + 00
Como \S(x0) S(x0) | = | Rx0) |, lim | S(**) S(*o) I ~ ln | Rx0) | = 0.
-* + oo i- + oo
As, pues, Ectx! es convergente para v = .y0 si, dado un nmero positivo c tan pequeo como queramos,
existe un entero positivo m tal, que para todo n >m se verifica: |R*(x0)| <

-
Obsrvese que m depende no solo de c (ver Problema 12, Captulo 47) sino tambin del valor at0 de
x. (Ver Problema 10.)
En el Problema 11 se demuestra que:

1 Si Icix
1
es convergente para x = .v, y si \xt\ < la serie es absolutamente convergente para x x2.

Desarrollo en serie de potencias
UNA FUNCION se puede desarrollar en serie de potencias de x siguiendo varios procedimientos, por
ejemplo, prolongando indefinidamente la divisin
I <')
= 1 + * + x* + x
3
+ +*"- +
I X
(Obsrvese que, por ejemplo, para x = 5 la expresin anterior conduce a un resultado absurdo.
En el Problema 1 se demuestra que la serie (1) solo equivale a en el intervalo |*| < 1, es
decir,
_1 = | + j c +x 2+*3 + + X"'
1
+ ' * *, 1 < X < 1
I X
En los Problemas 2-3 se indican otros mtodos para desarrollar una funcin en serie de potencias.
METODO GENERAL para obtener el desarrollo de una funcin en serie de potencias de x y de (x a).
Para ello es necesario que tanto la funcin como todas sus derivadas estn definidas para x = 0 o x a.
Por ejemplo, las funciones l/jc, In JC, y cot x, no admiten un desarrollo en serie de potencias de x.
Serie de Maclaurin. Si una funcin se puede representar por medio de una serie de potencias de je,
sta es necesariamente de la forma, serie de Maclaurin,
/(*) =/(0) + ^ x
2
+ + + + (2)
Serie de Taylor. Si una funcin se puede representar por medio de una serie de potencias de (x a),
sta es necesariamente de la forma, serie de Taylor,
/(*) = f(a) + ^( x- a) + ( x - a) ' + - a)*
1! 2! 3! (J)
+ . . . + 1 -
w
tx d)*-'
T
( n 1)!
V }

(Ver Problema 4.)