Documentos de Académico
Documentos de Profesional
Documentos de Cultura
CONVERGENTES
Fernando Mejas
SERIES CONVERGENTES
vii
viii Fernando Mejas
Prefacio vii
CAPTULO 1 Sucesiones Infinitas 1
Aproximacin de Funciones por Polinomios 1
Sucesiones 4
Subsucesiones 10
Sucesiones de Cauchy 11
Sucesiones y Continuidad 12
Tres Ejemplos Notables 13
Problemas 19
CAPTULO 2 Series Infinitas 27
Sumas Infinitas 27
Series Telescpicas 31
Series Geomtricas 34
Una Nota Histrica 36
Problemas 38
CAPTULO 3 Series de Trminos no Negativos 43
Criterio de Acotacin 43
Criterio de Comparacin 44
Criterio de Comparacin por paso al Lmite 52
Criterio del Cociente 56
Criterio de la Raz 61
Criterio de la Integral 65
Criterio de Raabe y Criterio de Gauss 71
Teorema de Abel y Pringsheim 76
Problemas 78
ix
x Fernando Mejas
SUCESIONES INFINITAS 1
Es digno de ser meditado el hecho de que, cada vez que
es posible, el hombre elimina apresuradamente el infinito. . .
La matemtica moderna exhibe una considerable variedad de
infinitos. . . Desde luego, todos son inintuibles y jalonean el creciente
alejamiento entre el mundo sensible y el mundo matemtico.
ERNESTO SBATO
En algunos casos resulta muy difcil o tal vez imposible determinar el valor
f .x/ de una funcin dada en un punto x y por tanto es deseable disponer
de un mecanismo que permita hacer una estimacin de tal valor. Uno
de esos mecanismos es aproximar la funcin f por un polinomio, ya que
sus imgenes son fciles de calcular. Una forma de abordar esta tarea es
particularmente sencilla cuando la funcin f posee derivadas de orden
n en un intervalo I que contenga a un punto a, en este caso tenemos el
polinomio de Taylor de grado n y centrado en a para f definido para todo x 2 I
por
f .2/.a/ f .n/ .a/
Pn;a .x/ D f .a/ C f .1/ .a/.x a/ C .x a/2 C C .x a/n :
2 n
El nombre de este polinomio fue establecido en honor al matemtico in-
gls Brook Taylor quien contribuy al progreso y la difusin de las ideas
originales del Clculo de acuerdo a la escuela de Isaac Newton.
1
2 Fernando Mejas
En general existe una diferencia o resto Rn;a .x/ entre f .x/ y Pn;a .x/:
As, lo buena o mala que pueda ser la aproximacin de f .x/ por Pn;a .x/
depende de lo pequeo que resulte ser Rn;a .x/.
Desarrollando el polinomio de Taylor para las funciones sen, cos,
exp, log y arctg tenemos las siguientes igualdades:
x3 x5 x 2nC1
sen x D x C C C . 1/n C Rn;a .x/;
3 5 .2n C 1/
x2 x4 x 2n
cos x D 1 C C C . 1/n C Rn;0.x/;
2 4 .2n/
x x2 xn
ex D 1 C C C C C Rn;0 .x/;
1 2 n
x2 x3 xn
log.1 C x/ D x C C C . 1/nC1 C Rn;1 .x/;
2 3 n
x3 x5 x 2nC1
arctg x D x C C C . 1/n C Rn;0 .x/:
3 5 2n C 1
TEOREMA 1 Sea f una funcin tal que las derivadas f .1/ ,. . . ,f .nC1/ estn definidas sobre un
(TEOREMA DE intervalo a; x y Rn;a .x/ est definido por
TAYLOR)
n
X f .k/.a/
f .x/ D f .a/ C .x a/k C Rn;a .x/:
k
kD1
Entonces
f .nC1/ ./
(1) Rn;a .x/ D .x /n .x a/ para algn 2 .a; x/.
.n C 1/
f .nC1/ ./
(2) Rn;a .x/ D .x a/nC1 para algn 2 .a; x/.
.n C 1/
Adems, si f .nC1/ es integrable sobre a; x, entonces
x
f .nC1/ .x/
Z
(3) Rn;a .x/ D .x /n dx.
a n
mejorar en la medida en que el grado del polinomio de Taylor Pn;a .x/ au-
menta. Aunque este fenmeno no ocurre siempre, dentro de este esquema
de ideas surge la pregunta cul ser la mejor aproximacin posible? y
una respuesta ingenua e interesante sera si podemos plantear una suma
infinita de la forma
f .2/ .a/ f .n/.a/
f .x/ D f .a/Cf .1/ .a/.x a/C .x a/2 C C .x a/n C :
2 n
Por ejemplo en la lista de igualdades presentadas arriba, si asumimos
que en todos los casos el resto tiende a 0 cuando n es muy grande, entonces
obtendramos las siguientes igualdades:
x3 x5 x7
sen x D x C C ;
3 5 7
x2 x4 x6
cos x D 1 C C ;
2 4 6
2
x x x3
ex D 1 C C C C ;
1 2 3
x2 x3 x4
log.1 C x/ D x C C ;
2 3 4
x3 x5 x7
arctg x D x C C :
3 5 7
De ser ciertas estas frmulas, entonces tenemos algunas igualdades
muy interesantes, asignando algunos valores especiales a x, por ejemplo:
3 5 7
0D C C ;
3 5 7
2 4 6
0D1 C C ;
22 2 24 4 26 6
1 1 1
e D 1C C C C ;
1 2 3
1 1 1
log 2 D 1 C C ;
2 3 4
1 1 1
D1 C C :
4 3 5 7
Aunque estas ideas resultan plausibles y sobre todo muy atractivas,
todas tienen un gran defecto y es que la adicin de nmeros reales es una
operacin binaria, es decir podemos sumar solamente dos nmeros reales
a la vez y por un proceso de induccin podemos definir la suma de una
coleccin finita de nmeros, pero por esa va no podemos llegar a definir
y trabajar con sumas infinitas. Y es que la nocin no es tan sencilla como
pudiera parecer en una primera mirada. Consideremos por ejemplo la
suma infinita
1 1C1 1C1 1C ;
donde los trminos son sucesivamente 1 y 1. Si una suma infinita ha de
tener sentido uno esperara que se cumpla la ley asociativa, es decir que
4 Fernando Mejas
si uno agrupa unos sumandos esto no debe alterar el valor del resultado.
Pero observemos que tenemos:
1 C . 1 C 1/ C . 1 C 1/ C . 1 C 1/ C D 1 C 0 C 0 C 0 C D 1;
.1 1/ C .1 1/ C .1 1/ C D 0 C 0 C 0 C D 0;
lo cual resulta ser contradictorio, y por tanto debe ser evitado. El resto de
este pequeo libro es una exposicin del desarrollo de la teora de sumas
infinitas de la forma
a1 C a2 C C an C ;
SUCESIONES
2
q
q
1
q q
r rr r r r
x3 x2 x1
1 1 1
0 1 2 3 4 0 4 3 2 1
x3 xN 1 x1 x2
r ( rr r r r r )r r r
l " l l C"
FIGURA 2.
jl mj jl mj
jl mj D jl an C an mj jan lj C jan mj < C D jl mj;
2 2
lo cual es una contradiccin.
6 Fernando Mejas
EJEMPLO 3 Si xn D 1=n para todo n, entonces lim xn D 0. Este resultado es una con-
n!1
secuencia de la propiedad arquimediana de los nmeros reales (ver Pro-
blema 20) que establece que para todo " > 0 existe un nmero natural N
tal que
1
< ":
N
Por tanto tenemos que para todo nmero natural n, si n N se cumple
que
1
D 1 1 < ":
n 0 n N
EJEMPLO 4 Supongamos que yn D . 1/nC1 para todo n, entonces fyn g diverge. Note-
mos que si l > 1 podemos tomar " D l 1 y entonces resulta que para
todo n se cumple jyn lj ". Anlogamente si l < 1, es suficiente tomar
" D 1 l. Si 1 < l < 1 entonces podemos considerar " D min.1 l; l C1/.
Si l D 1 basta tomar " D 1 para ver que jy2nC1 C 1j > ". Finalmente, si
l D 1, entonces con " D 1 tenemos jy2n 1j > ".
LEMA (1) Si
" "
jx x0 j < y jy y0 j < ;
2 2
entonces
j.x C y/ .x0 C y0 /j < ":
(2) Si
" "
jx x0 j < min 1; y jy y0 j < ;
2.jy0 j C 1/ 2.jx0 j C 1/
entonces
jxy x0 y0 j < ":
1. Sucesiones Infinitas 7
(3) Si y0 0 y
jy0 j "jy0 j2
jy y0 j < min ; ;
2 2
entonces y 0 y
1 1
y < ":
y0
TEOREMA 6 Sean fan g y fbn g dos sucesiones convergentes tales que an ! l y bn ! m cuando
n ! 1. Entonces las sucesiones fan C bn g y fan bn g tambin convergen y
DEMOSTRACIN (1) Para cualquier " > 0 existen dos nmeros naturales N1 y N2 tales que
para todo n
"
si n N1 , entonces jan lj <
2
"
y si n N2 , entonces jbn mj < .
2
Entonces si N D max.N1 ; N2 / y n N , tenemos que
" "
jan lj < y jbn mj < ;
2 2
luego, por el Lema (1) tenemos que
(2) Dado " > 0 existen dos nmeros naturales N1 y N2 tales que para todo
n
"
si n N1 , entonces jan lj < min 1; ,
2.jmj C 1/
"
y si n N2 , entonces jbn mj < .
2.jlj C 1/
Entonces si N D max.N1 ; N2 / y n N , tenemos por el Lema (2)
" "
jan lj < min 1; y jbn mj < :
2.jmj C 1/ 2.jlj C 1/
Luego, el Lema (2) implica que
jan lj < 1;
luego
1 < an l < 1;
es decir
l 1 < an < l C 1:
Por tanto, para todo n N tenemos que an 2 .l 1; C 1/. Por otro lado,
el resto de los trminos de la sucesin, a saber a1 ; a2 ; : : : ; an 1 ; constitu-
yen una cantidad finita, entonces existe una intervalo abierto .u; v/ que
1. Sucesiones Infinitas 9
r r r r r r r r r r
a1 a2 a3 a4 an anC1
FIGURA 3.
TEOREMA 8 Si fan g es una sucesin no decreciente y acotada superiormente, entonces fan g con-
verge.
DEMOSTRACIN Sea A el conjunto formado por todos los an . Por hiptesis tenemos que
A est acotado superiormente y como A ;, existe un 2 R tal que
D sup A.
r r r ( r r r r
a1 a2 " aN
FIGURA 4.
10 Fernando Mejas
Dado " > 0 existe un x 2 A tal que x < ", es decir existe un N tal
que aN < " (Figura 4).
Por otro lado tenemos que si n N entonces an aN , de donde
an aN < ";
o sea, an ! cuando n ! 1.
SUBSUCESIONES
f1; 1; 1; : : : g y f 1; 1; 1; : : : g:
LEMA 10 Toda sucesin fan g contiene una subsucesin la cual es o bien no creciente o bien no
decreciente.
SUCESIONES DE CAUCHY
TEOREMA 12 Si fan g es una sucesin convergente, entonces fan g es una sucesin de Cauchy.
DEMOSTRACIN Para empezar notemos que toda sucesin de Cauchy est acotada (este he-
cho se puede probar siguiendo el esquema de la demostracin del Teo-
rema 7). Ahora, de acuerdo con el Teorema de Bolzano-Weierstrass fan g
tiene una subsucesin fakn g la cual converge hacia un lmite l.
Dado " > 0, existe un N1 tal que para todos n y m, si n; m N1 ,
entonces
"
jan am j < :
2
Tambin tenemos que existe un N2 tal que para todo n si kn N2 entonces
"
jakn lj < :
2
Luego, si n N D max.N1 ; N2/ (recordemos que kn n) tenemos
" "
jan akn j < y jkn j < ;
2 2
12 Fernando Mejas
SUCESIONES Y CONTINUIDAD
1 2
FIGURA 5.
TEOREMA 14 Sean p un punto de un intervalo abierto I y f una funcin definida en todos los
puntos de I (excepto quiz en p) tal que
lim f .x/ D q:
x!p
Supongamos que fan g es una sucesin con trminos en I que converge hacia p, con
an p para todo n. Entonces
lim f .an / D q:
n!1
Recprocamente, si esta proposicin es cierta para toda sucesin fan g que satisface las
condiciones anteriores, entonces
lim f .x/ D q:
x!p
1. Sucesiones Infinitas 13
DEMOSTRACIN Supongamos que lim f .x/ D q: Entonces, dado un nmero " > 0 existe
x!p
un > 0 tal que, para todo x 2 I, si 0 < jx pj < entonces
I1
-
I2
-
[ [ [ ] ]]
a1 a2 a3 b3 b2 b1
FIGURA 7.
K0 D 0; 1
1 2
K1 D K0 n ;
3 3
;
h i
1 2 7 8
K2 D K1 n ;
32 32
[ ;
32 32
;
h i
1 2 7 8 19 20 25 25
K3 D K2 n ;
33 33
[ ;
33 33
[ ;
33 33
[ ;
33 33
::
:
Observemos que K1 resulta de extraer
del intervalo 0; 1 el intervalo abierto
1 2 1 2
;
3 3 , resultando que K1 D 0; 3 [ 3 ; 1 ; anlogamente K2 se puede re-
2
presentar como la unin de 2 intervalos cerrados y, en general Kn como
la unin de 2n intervalos cerrados (Figura 8).
0 1
:: :: :: ::
: : : :
FIGURA 8.
1
\
In D ;:
nD1
FIGURA 9.
es decir
anC1 D f .an /
D f .f .an 1 //
D f .f .f .an 2 ///
::
:
D f B f B B f .a0 /:
n C 1 veces
es decir, es un punto fijo para f . Para el caso en que f .x/ < x se procede
en forma anloga.
f .x1 /
x2 D x1 :
f 0 .x1 /
3 1 2 0
FIGURA 10.
PROBLEMAS
1 Para cada una de las siguientes sucesiones fan g hallar una expresin
para el trmino general an .
(1) 1; 21 ; 14 ; 18 ; : : : .
(2) 1; 23 ; 94 ; 27
8 ;:::.
1 3 9 27
(3) ; ; ; ;:::.
2 4 8 16
(4) 2; 1; 4; 3; 6; 5; : : : .
(5) 1; 0; 31 ; 0; 15 ; 0; 71 ; 0; : : : . Indicacin: Puede definirse an por
partes segn si n es par o impar, pero una solucin ms elegante
se puede obtener observando el comportamiento de la sucesin
definida por sen.n / para cierto valor de .
2
2n
(17) an D .
n
n 1
(18) an D . 1/ 1 C .
n
1 1
(19) an D CC .
nC1 2n
p p
n
p
n
e C e2 C C n en
(20) an D .
n
3 Cada una de las sucesiones presentadas a continuacin converge hacia
el lmite ` indicado. Verificar este hecho obteniendo en cada caso un
valor de N , para un " > 0 dado, de tal forma que para todo n, si
n N , entonces jan `j < ".
1
(1) an D , ` D 0.
n
n
(2) an D , ` D 1=2.
2n C 1
1
(3) an D , ` D 0.
n n
n 9
(4) an D . 1/ , ` D 0.
10
1
(5) an D sen , ` D 0.
n
4 Probablemente las sucesiones ms simples son las constantes. A conti-
nuacin discutimos esta proposicin y establecemos las candidatas a
ser sus ms fuertes competidoras.
6 Dar un ejemplo de una sucesin fan g, tal que para cada nmero na-
tural k, exista una subsucesin de fan g la cual sea convergente hacia
k.
1. Sucesiones Infinitas 21
7 Dar un ejemplo de una sucesin fan g, tal que para cada nmero real
, exista una subsucesin de fan g la cual sea convergente hacia .
a1 C C an
lim D `:
n!1 n
12 Existe una sucesin fan g definida por recurrencia que despierta ad-
miracin general
a1 D 1;
a2 D 1;
an D an 1 C an 2 para n 3.
1 1
an D 1 C CC log n;
2 n
entonces an es convergente (probando que fan g es decreciente y
acotada inferiormente). La constante
de Euler est definida por
1 1
D lim 1 C C C log n :
n!1 2 n
nn .n C 1/nC1
< n < ;
en 1 en
y por tanto
p
n
n 1
lim D :
n!1 n e
Lo cual a veces se expresa as
p
n n
n para n grande.
e
continua sobre X si para todo " > 0 existe un > 0 tal que para
todos x; y 2 X
lim an 1=n D `:
n!1
SERIES INFINITAS 2
. . . Sostener el infinito en la palma de la mano
y la eternidad en una hora.
WILLIAM BLAKE
a1 C a2 C a3 C ;
y luego comparar las propiedades de estas sumas infinitas con las sumas
ordinarias. La forma en que se resuelve este problema es definir una nueva
sucesin que consiste en ir sumando ciertas porciones finitas de la sucesin
fan g y luego examinar la convergencia de la nueva sucesin.
SUMAS INFINITAS
27
28 Fernando Mejas
1
X
Permitiendo un cierto abuso del lenguaje decimos que la serie an
nD1
converge (o que es convergente) si la sucesin fan g es sumable, en caso
1
X
contrario decimos que la serie an diverge o que es divergente
nD1
Prcticamente todo el desarrollo de este texto es una investigacin
de diversos mtodos para decidir si una serie dada es convergente o diver-
gente. Antes de iniciar tal estudio vamos a considerar un par de ejemplos
que en el juego de las series son como un par de caballos en un juego de
ajedrez.
1
X 1
EJEMPLO 1 La serie diverge. La veracidad de esta proposicin queda ilustrada
n
nD1
por el siguiente diagrama, el cual sugiere que la sucesin de sumas parciales
de f1=ng no est acotada
1 1 1 1 1 1 1 1 1 1
1C 2
C 3
C 4
C 5
C 6
C 7
C 8
C 9
C 10
CC 16
C :
12 41 C 14 D 12 18 C 81 C 18 C 18 D 12 1
16 1
C 16 1
CC 16 D 12
1
X 1
Con frecuencia es denominada la serie armnica.
n
nD1
El siguiente ejemplo establece ante todo un principio que con fre-
cuencia vamos a olvidar (ms an, que con frecuencia vamos a contradecir)
el hecho de que dos series tengan trminos generales muy similares no sig-
nifica que ambas se comporten igual con respecto a la convergencia.
1
X 1
EJEMPLO 2 La serie converge. En efecto, observemos que la sucesin fsn g de
n2
nD1
sumas parciales de f1=n2 g es creciente. Si definimos la sucesin fxn g por
Z n
1
xn D 2
dt;
1 t
tenemos que
sn 1 C xn para todo n:
Pero adems notemos que
1 n
1 1
xn D 3
D :
3t 1 3 3n3
sn sm D a1 C a2 C C am C amC1 C C an .a1 C a2 C C am /
D a1 C a2 C C am C amC1 C C an a1 a2 am
D amC1 C C an :
1
X
TEOREMA 3 (CRITERIO La serie an converge si y slo si
DE CAUCHY) nD1
lim .amC1 C C an / D 0:
n;m!1
1
X
TEOREMA 4 (CONCICIN Si la serie an converge, entonces
DEL RESTO) nD1
lim an D 0:
n!1
1
X
EJEMPLO 5 La serie . 1/nC1 diverge. Una demostracin alternativa de esta proposi-
nD1
cin se obtiene observando que la sucesin fsn g de sumas parciales respec-
tiva tiene una subsucesin que converge a 0 y otra que converge a 1, en
efecto
(
0 si n es par
sn D
1 si n es impar.
1
X e nn
EJEMPLO 6 La serie diverge. Segn el Problema 1-13(a) tenemos
nn
nD1
nn .n C 1/nC1
< n < ;
en 1 en
de donde
e nn .n C 1/nC1
e< < :
nn nn
SERIES TELESCPICAS
1
X
an D b1 lim bn :
n!1
nD1
1
X n
EJEMPLO 9 Consideremos la serie . Aplicando el mtodo de
.n C 1/.n C 2/.n C 3/
nD1
2. Series Infinitas 33
n 1 2 3
D C ;
.n C 1/.n C 2/.n C 3/ 2.n C 1/ .n C 2/ 2.n C 3/
lo cual no parece indicar que la serie de nuestro problema es telescpica.
Sin embargo una pequea manipulacin algebraica produce
n 1 1 3 3
D C C :
.n C 1/.n C 2/.n C 3/ 2.n C 1/ 2.n C 2/ 2.n C 2/ 2.n C 3/
X 1 1
X
1 1
Como las series y son telescpi-
nC1 nC2 nC2 nC3
X n
cas tenemos que la serie converge y
.n C 1/.n C 2/.n C 3/
1 1
X n 1X 1 1
D
.n C 1/.n C 2/.n C 3/ 2 nC1 nC2
nD1 nD1
1
3X 1 1
C
2 nC2 nC3
nD1
1 1 1
D lim
2 2 n!1 n C 1
3 1 1
C lim
2 3 n!1 n C 2
1
D :
4
EJEMPLO 10 La serie
1
log .1 C n1 /n .1 C n/
X
.log nn / log.n C 1/nC1
nD2
p
converge hacia log2 e (ntese que el primer trmino de la serie es con
n D 2 para que la fraccin correspondiente tenga sentido).
Para comprobar que sta es efectivamente una serie telescpica tenemos
log .1 C n1 /n .1 C n/ log.1 C n1 /n
D
.log nn / log.n C 1/nC1 .log nn / log.n C 1/nC1
log.1 C n/
C
.log nn / log.n C 1/nC1
1 1 1 1
D C
.n C 1/ log n log.n C 1/ n log n
1 1
D :
n log n .n C 1/ log.n C 1/
34 Fernando Mejas
Entonces
1 1
log .1 C 1n /n .1 C n/
X X 1 1
D
.log nn / log.n C 1/nC1 n log n .n C 1/ log.n C 1/
nD2 nD2
1 1
D lim
2 log 2 n!1 n log n
1
D
2 log 2
p
D log2 e:
1 Z
X nC1
f .x/ dx
nD1 n
es convergente.
Por el Teorema Fundamental del Clculo tenemos
Z nC1
f .x/ dx D g.n C 1/ g.n/ para todo n.
n
Entonces
X1 Z nC1 1
X
f .x/ dx D .g.n/ g.n C 1// D lim g.n/ g.1/:
n!1
nD1 n nD1
SERIES GEOMTRICAS
En esta seccin abordamos el estudio de una serie cuyos sumandos son los
trminos de una sucesin geomtrica de razn r:
1; r; r 2 ; r 3 ; : : : ; r n ; : : : :
sn D 1 C r C r 2 C r 3 C C r n ;
por tanto
rsn D r C r 2 C r 3 C C r n C r nC1 :
2. Series Infinitas 35
Estas dos expresiones pueden acomodarse de tal forma que con un pe-
queo trabajo algebraico permite cancelar la mayora de los trminos en
los segundos miembros de las igualdades:
sn D 1 C r C r 2 C r 3 C C r n
rsn D r C r 2 C r 3 C C r n C r nC1 :
De donde
.1 r/sn D 1 r nC1 :
Entonces si r 1, tenemos
1 r nC1
sn D :
1 r
1
X
As, la convergencia o divergencia de la serie geomtrica r n depende de
nD0
la existencia del lmite lim r n : Notemos que este lmite existe solamente si
n!1
jrj < 1, en cuyo caso nos queda
1
lim sn D :
n!1 1 r
En conclusin tenemos el siguiente teorema.
1
X
TEOREMA 12 La serie geomtrica r n converge si y slo si jrj < 1, en cuyo caso tenemos
nD0
1
X 1
rn D :
1 r
nD0
1 C . 1 C 1/ C . 1 C 1/ C . 1 C 1/ C D 1 C 0 C 0 C 0 C D 1;
y
.1 1/ C .1 1/ C .1 1/ C D 0 C 0 C 0 C D 0:
La situacin se hace ms crtica si se trata de aplicar la frmula obtenida
para la serie geomtrica:
1
X 1 1
. 1/n D D :
1 . 1/ 2
nD0
PROBLEMAS
El cubo de Hilbert est formado por las sucesiones de `2 .R/ que tienen
la siguiente forma
Observemos
p que si ; 2 H, con , entonces la distancia .; / D
2.
6 Demostrar la desigualdad de Minkowski: si p 1 y si fxn g e fyn g son dos
1
X 1
X
p
sucesiones tales que jxn j y jyn jp convergen, entonces
nD1 nD1
1
!1=p 1
!1=p 1
!1=p
X X X
jxn yn jp jxn jp C jyn jp :
nD1 nD1 nD1
n
!1=p n
!1=p n
!1=p
X X X
jxn yn jp jxn jp C jyn jp ;
kD1 kD1 kD1
n n
!1=p n
!1=q
X X X
p q
jxk yk j jxk j C jyk j :
kD1 kD1 kD1
y
1
X
`n < ":
nD1
SERIES DE TRMINOS
NO NEGATIVOS 3
. . . los matemticos de comienzos del siglo XIX, cansados de este
formalismo desenfrenado y sin fundamento, trajeron de
nuevo al Anlisis por el camino del rigor. Una vez precisada
la nocin de serie convergente, se hizo patente la
necesidad de criterios sencillos que permitiesen demostrar
la convergencia de series e integrales por comparacin
con series o integrales conocidas. . .
NICOLAS BOURBAKI
CRITERIO DE ACOTACIN
43
44 Fernando Mejas
pues
s1 D a1 0;
s2 D a1 C a2 D s1 C a2 s1 ;
s3 D a1 C a2 C a3 D s2 C a3 s2 ;
::
:
sn D a1 C a2 C C an D sn 1 C an sn 1:
1
X
TEOREMA 1 (CRITERIO Sea fan g una sucesin de trminos no negativos. Entonces la serie an es conver-
DE ACOTACIN) nD1
gente si y slo su sucesin de sumas parciales est acotada.
CRITERIO DE COMPARACIN
an bn ;
P
donde bn es convergente. En tal caso tenemos que si ftn g es la sucesin
de sumas parciales de fbn g, entonces
1
X
tn bn ;
nD1
de donde obtenemos
1
X
sn bn ;
nD1
TEOREMA 2 (CRITERIO Sean fan g y fbn g dos sucesiones tales que an ; bn 0 para todo n. Si
DE COMPARACIN)
an bn para todo n
P P
y la serie bn converge, entonces la serie an converge.
3. Series de Trminos no Negativos 45
DEMOSTRACIN Sean fsn g y ftn g, las sucesiones de sumas parciales de fan g y fbn g, respectiva-
mente. Puesto que an bn para todo n, tenemos que
sn tn para todo n:
P
Adems la serie bn es convergente, entonces la sucesin ftn g est acotada
superiormente, luego la sucesin fsn g est acotada superiormente y es, por
tanto, convergente.
0 an para todo n M
y
an bn para todo n N ;
Ms an, podemos tomar K D max.M; N / y asumir la hiptesis
0 an bn para todo n K.
1
X j sen n j
EJEMPLO 3 La serie converge. Efectivamente, tenemos j sen n j 1 para
n2
nD1
46 Fernando Mejas
todo n, de donde
j sen n j 1
2
2 para todo n:
n n
1
X 1
Entonces obtenemos el resultado buscado al notar que la serie con-
n2
nD1
verge.
1
X 1
EJEMPLO 4 La serie sen converge. En este caso no debemos guiarnos por
n2
nD1
una supuesta semejanza con la serie del Ejemplo 3; ms bien debemos enfo-
1
X 1
carnos en la semejanza entre la serie de nuestro problema y la serie
n2
nD1
basados en otra propiedad de la funcin sen que conduce a una semejanza
que va mucho ms all de una simple apariencia tipogrfica. Notemos que
de donde
1 1
sen para todo n:
n2 n2
1
1 X
EJEMPLO 5 Si queremos investigar la serie sen , probablemente uno quiera se-
n
nD1
guir la idea del Ejemplo 4, obteniendo
1 1
sen para todo n;
n n
1
X 1
EJEMPLO 6 Ahora demostramos que la serie diverge. Probablemente uno no
log n
nD2
1
X 1
est muy dispuesto a admitir una semejanza entre sta y la serie , pero
n
nD1
en efecto tenemos que
En particular
log n n para todo n 1;
de donde
1 1
para todo n 2:
n log n
1
X 1
Entonces la divergencia de la serie (Ejemplo 2-1) implica que la serie
n
nD2
1
X 1
diverge.
log n
nD2
1
X 1
EJEMPLO 7 diverge si s > 1. Basta con demostrar que para n suficiente-
.log n/s
nD2
mente grande se cumple la desigualdad siguiente
1 1
:
n .log n/s
x ey ey
lim D lim D lim D C1:
x!C1 .log x/k y!C1 y k y!C1 k
y, por tanto
x x
lim lim :
x!C1 .log x/k x!C1 .log x/s
Estos ejemplos tal vez hayan traido a la memoria del lector que en su
1 1
X 1 X 1
momento comentamos que las series y son como dos caballi-
n n2
nD1 nD1
tos de batalla en el juego del ajedrez para el estudio de las series. En este
orden de ideas el siguiente ejemplo es una confirmacin de esa afirmacin.
1 Z 1=n p
X x
() dx
1 C x2
nD1 0
es convergente.
Un estudiante desprevenido podra dedicarse por un tiempo a calcu-
Z p
x
lar la antiderivada dx para luego aplicar el Teorema Fundamen-
1 C x2
tal del Clculo y tener una frmula ms simple (?) del trmino general an
de la serie (). En lugar de proceder de esta forma utilizamos una herra-
mienta ms refinada que nos permite tener una estimacin de la integral
Z 1=n p
x
dx sin necesidad de determinar su valor exacto. El (Primer)
0 1 C x2
Teorema del Valor Medio para Integrales establece que si f es una funcin
continua sobre a; b, entonces existe un 2 a; b tal que
Z b
f .x/ dx D f ./.b a/:
a
p
Aplicando este resultado para f .x/ D x=.1 C x 2 /, a D 0 y b D 1=n, queda
que existe un 2 0; 1=n tal que
Z 1=n p p
x 1
dx D 0
0 1 C x2 1 C 2 n
p
1
D :
n 1 C 2
h p i
Notemos que f es creciente sobre 0; 33 , por tanto para valores muy
pequeos de n tenemos p p
n
;
1 C 2 1 C n2
de donde p p
1 1 n 1
2
2
Dp :
n 1C n 1Cn n.1 C n2 /
As nuestra tarea se resume a aplicar el criterio de comparacin donde bn D
1
p . Notemos que
n.1 C n2 /
1 1
p 2 para todo n;
n.1 C n2 / n
1
X 1
entonces la serie p converge y en consecuencia la serie ()
nD1
n.1 C n2 /
tambin es convergente.
Existe al menos otra forma de resolver este problema que algunos
encuentran ms atractiva (por lo menos es ms corta). Notemos que para
todo x se cumple que 1 C x 2 1, por tanto
p
x p
2
x:
1Cx
50 Fernando Mejas
Entonces p
1=n Z 1=n
p
x
Z
2
dx x dx:
0 1Cx 0
Pero
1 Z 1=n p 1
X 2X 1
x dx D ;
nD1 0
3
nD1
n3=2
1
X 1
as que la convergencia de la serie implica que la serie () es
nD1
n3=2
convergente.
2; 3; 5; 7; 11; 13; 17; 19; 23; 29; 31; 37; 41; 43; 47; 51; 53; : : : :
EJEMPLO 10 Demostracin de Euler del teorema de Euclides sobre la infinitud de la coleccin de los
nmeros primos.
Supongamos que la coleccin de los nmeros primos es:
p1 ; p2 ; : : : ; pN ;
n D p1 1 p2 2 pN N ;
D maxf1 ; 2 ; : : : ; N g;
3. Series de Trminos no Negativos 51
entonces
0 10 1 0 1
n
X 1 X 1 X 1 X 1
@ A@ A @ A:
k p1 j p2 j pN j
kD1 j D0 j D0 j D0
1
X 1
lo cual contradice el hecho de que la serie armnica diverge.
n
nD1
Otro resultado importante de Euler (que requiere otras herramientas
fuera del contexto de este libro) es el hecho de que la serie
1 1 1 1 1
2 C 3 C 5 C 7 C 11 C
es divergente.
1
X
TEOREMA 11 Supongamos que fan g es una sucesin decreciente. Si la serie an converge, en-
(TEOREMA DE nD1
CONDENSACIN 1
X
DE CAUCHY) tonces la serie 2na2n converge.
nD1
a1 a2 a3 ;
52 Fernando Mejas
a1 C a2 C a3 C a4 C a5 C a6 C a7 C a8 C a9 C a10 C C a16 C :
a2 2a4 4a8 8a16
Entonces
k 2 1 k
1X j X X
2 a2j an an :
2
j D1 nD1 nD1
sera convergente.
1
X 1
EJEMPLO 13 Cauchy tenemos que la convergencia de la serie implica la conver-
n2
nD1
gencia de la siguiente serie (geomtrica):
1 1 1 n
X
n 1 X 2n X 1
2 n 2 D 2n
D :
.2 / 2 2
nD1 nD1 nD1
Para reafirmar la idea de que este ejemplo es tal vez innecesario observemos
que a partir de l podemos probar (usando el criterio de comparacin) que
1
X
la serie geomtrica r n converge para todo r con 0 r < 1=2.
nD0
sen.1=n/ sen x
lim D lim D 1:
n!1 .1=n/ x!0 x
Y entonces podemos utilizar esta relacin para plantear que si n toma va-
lores muy grandes, entonces sen.1=n/
P es, en algn sentido, prcticamente
igual a 1=n, y por tanto la serie sen.1=n/ tendr caractersticas similares
a las de la serie armnica, es decir es divergente.
Esta forma de argumentar la semejanza entre dos series puede ser
ms fcil de manejar que el criterio de comparacin.
P Por ejemplo, ima-
ginemos que queremos decidir si la serie sen.10=n/ es convergente o
no. Resulta que al inicio, intentar usar el criterio de comparacin resul-
tara poco prometedor pues no tenemos forma cierta de determinar que se
cumple la desigualdad
10 1
sen ;
n n
la cual, de paso, tampoco garantiza nada de cualquier manera. Sin embargo
uno podra notar que
10 10
sen
n n
P
y tomar en cuenta que la serie 10=n tambin es divergente. Pero de esta
nueva falla de argumentos podemos obtener una herramienta til, obser-
vando que
sen.10=n/ 1 sen.10=n/ 1
lim D lim D :
n!1 .1=n/ 10 n!1 .10=n/ 10
P
As tendramos
P que la divergencia de la serie 10=n garantizara la diver-
gencia de sen.10=n/, sin importar que los trminos no son tan aproxi-
madamente iguales cuando n es muy grande.
TEOREMA 14 Si fan g y fbn g son dos sucesiones tales que an ; bn > 0 para todo n. Si
(CRITERIO DE
COMPARACIN an
POR PASO lim D ` 0;
n!1 bn
AL LMITE)
54 Fernando Mejas
1
X 1
X
entonces la serie an converge si y slo si la serie bn converge.
nD1 nD1
P
DEMOSTRACIN Supongamos que la serie bn converge. Puesto que ` 0, tenemos que
` > 0, entonces tomando " D ` en la definicin de lmite tenemos que
existe un nmero N , tal que para todo n, si n N , entonces
an
b ` < `;
n
de donde
an
`< ` < `;
bn
es decir
an
< 2`:
bn
Por tanto, para n N tenemos que
an 2`bn :
P
Luego, por el criterio de comparacin tenemos que la serie an converge.
Puesto que ` > 0, tenemos que lim bn =an D 1=` 0, y entonces
n!1
P
tenemos que la convergencia de la serie
P an implica la convergencia de
bn .
X
EJEMPLO 15 En el Ejemplo 2-7 se demostr que 1=.n C n2 / es una serie telescpica
convergente. El trabajo realizado para demostrar la convergencia se re-
duce considerablemente X si utilizamos el criterio de comparacin por paso
al lmite con la serie 1=n2 . As tenemos
1
2 n2
lim n C n D lim D 1:
n!1 1 n!1 n C n2
n2
1
n log n n 1
lim D lim D lim D 0;
n!1 1 n!1 n log n n!1 log n
n
y no podemos arribar a una conclusin definitiva.
1
X 1
EJEMPLO 17 La serie es convergente. En este caso tenemos
2n
nD1
1
n n2
lim 2 D lim n D 0:
n!1 1 n!1 2
n 2
x2 2x 2
lim D lim x D lim D 0:
x!C1 2 x x!C1 2 log 2 x!C1 2 log2 2
x
1
X nk
EJEMPLO 18 Para todo k 1 tenemos que la serie es convergente. En este caso
2n
nD1
tenemos
nk
n nkC2
lim 2 D lim D 0:
n!1 1 n!1 2n
n2
56 Fernando Mejas
1
X 1
X
Entonces si ` < 1 la serie an converge, mientras que si ` > 1 la serie an
nD1 nD1
diverge.
DEMOSTRACIN Supongamos que ` < 1 y sea un nmero cualquiera tal que ` < < 1.
Puesto que
anC1
lim D `;
n!1 an
Entonces
anC1
< `C `D para todo n N .
an
Es decir
anC1 an para todo n N .
As que
aN C1 an ;
aN C2 aN C1 2 an ;
aN C3 aN C2 3 an ;
::
:
aN Ck k an :
1
X
Puesto que < 1 tenemos que la serie geomtrica k converge. En-
kD0
tonces, por el criterio de comparacin resulta que la serie
1
X 1
X
an D aN Ck
nDN kD0
1
X
converge y, en consecuencia, la serie an converge.
nD1
Ahora supongamos que ` > 1. Si es un nmero con 1 < < `,
con un argumento anlogo al anterior tenemos que existe un nmero N ,
tal que
anC1 an para todo n N .
Entonces
an k an aN Ck para todo k 0.
1
X
Esto implica que la sucesin fan g no converge a 0, por tanto la serie an
nD1
es divergente.
58 Fernando Mejas
X X
EJEMPLO 20 Tanto para 1=n como para 1=n2 , tenemos que
anC1
lim D 1:
n!1 an
1
X
EJEMPLO 21 La serie 1=n converge, en efecto, si an D 1=n, tenemos que
nD1
1
anC1 .n C 1/ n 1
lim D lim D lim D lim D 0:
n!1 an n!1 1 n!1 .n C 1/ n!1 n C 1
n
1
X rn
EJEMPLO 22 La serie converge. Si escribimos an D r n =n, entonces
n
nD1
r nC1
anC1 .n C 1/ r nC1 n r
D n D nC1 D :
an r r .n C 1/ nC1
n
Entonces
rn
lim D 0:
n!1 n
3. Series de Trminos no Negativos 59
1
X
EJEMPLO 23 Un caso similar se presenta con la serie nr n , la cual converge si 0 r <
nD1
1. En este caso, si an D nr n , entonces
.n C 1/r nC1
anC1 nC1
lim D lim D lim r D r:
n!1 an n!1 nr n n!1 n
Entonces, para 0 r < 1, tenemos
lim nr n D 0:
n!1
1
X n
EJEMPLO 24 La serie converge. Escribimos an D n=nn y obtenemos
nn
nD1
.n C 1/
anC1 .n C 1/nC1 nn .n C 1/ nn 1
D D D D :
an n .n C 1/ nC1 n .n C 1/ n 1 n
1C
nn n
Luego
anC1 1 1
lim D lim n D < 1;
n!1 an n!1 1 e
1C
n
1
X n
entonces la serie converge.
nn
nD1
1
X 2n n
EJEMPLO 25 La serie converge. En este caso escribimos an D 2nn=nn y obte-
nn
nD1
nemos
2nC1 .n C 1/
anC1 .n C 1/nC1 nn 2nC1 .n C 1/ 2nn 2
D D D D :
an 2n n .n C 1/ nC1 n
2 n .n C 1/ n 1 n
1C
nn n
60 Fernando Mejas
Luego
anC1 2 2
lim D lim n D < 1:
n!1 an n!1 1 e
1C
n
1
X 3n n
EJEMPLO 26 La serie diverge. Ahora escribimos an D 3n n=nn y como en el
nn
nD1
ejemplo anterior nos queda
anC1 3
D n ;
an 1
1C
n
de donde
anC1 3
lim D > 1:
n!1 an e
CRITERIO DE LA RAZ
P
En la seccin anterior estudiamos ejemplos de series an para las cuales el
criterio del cociente no ofrece respuesta alguna bien sea porque tenemos
lim anC1 =an D 1 o porque el lmite no existe. Sin embargo, existe una he-
n!1
rramienta terica estrechamente vinculada al criterio del cociente, que en
algunos casos puede mejorar la situacin considerablemente. La fortaleza
del vnculo entre este resultado y el criterio del cociente queda clara con la
demostracin misma, sin embargo, los ejemplos y la discusin que siguen
al teorema establecen en forma explcita la naturaleza y los alcances de tal
vnculo.
1
X 1
X
Entonces si r < 1 la serie an converge, mientras que si r > 1 la serie an
nD1 nD1
diverge.
DEMOSTRACIN Supongamos que r < 1 y sea un nmero cualquiera tal que r < < 1.
Entonces existe un nmero natural N , tal que si n N ,
de donde
0 an 1=n para todo n N .
Es decir
0 an n para todo n N ,
luego, por elPcriterio de comparacin y utilizandoPel hecho de que la serie
geomtrica n converge, tenemos que la serie an tambin converge.
Si suponemos que r > 1, tenemos que existe un N tal que para todo
n N se cumple que an > 1Py por tanto la sucesin fan g no tiende a 0, de
donde se deriva que la serie an 1=n diverge.
1
X 1
Un contraejemplo importante lo constituye la serie . Tal
n log n
nD2
como planteamos en el Ejemplo X 16 el criterio de comparacin por paso a
lmite (aplicado con la serie 1=n) no aporta informacin. Resulta que
ni el criterio del cociente ni el criterio de la raz resuelven el problema.
Entonces
anC1
lim D lim an 1=n D 1:
n!1 an n!1
X X
EJEMPLO 30 Tanto para 1=n como para 1=n2 , tenemos que
p
n
lim an D 1:
n!1
1
n2 n2 ,
X
EJEMPLO 31 La serie e converge. Si an D e entonces
nD1
n2
1=n 1
an 1=n D e De n
D :
en
Luego
1
lim an 1=n D lim
D 0:
n!1 en n!1
En este caso tambin obtenemos un resultado positivo al aplicar el
criterio del cociente pues
2 2
anC1 e .nC1/ en 1
D 2
D 2 C2nC1
D 2nC1 ;
an e n e n e
3. Series de Trminos no Negativos 63
luego
anC1 1
lim D lim 2nC1 D 0:
n!1 an n!1 e
1
X
EJEMPLO 32 La serie .n1=n 1/n converge. Si an D .n1=n 1/n , entonces
nD1
1=n
an 1=n D .n1=n 1/n D n1=n 1:
Luego
lim an 1=n D lim .n1=n 1/ D 0:
n!1 n!1
Para reforzar la idea de que hay que tener cuidado al juzgar por la
mera apariencia del trmino general tenemos el siguiente ejemplo, aunque
esta vez la usamos en un sentido ms positivo.
1
X 100n
EJEMPLO 33 La serie converge. En este caso la presencia de n en el trmino
n
nD1
general de la serie puede conducirnos a pensar que aplicar el criterio de
la raz no es una ideap muy prometedora pues involucrara hacer consi-
n
deraciones acerca de n para valores grandes de n. Precisamente en este
punto podemos usar el Problema 1-13(b) donde se establece que
p
n n
n para n grande.
e
Luego r
100n
n 100 100 100e
D p
n
n D :
n n n
e
Entonces si an D 100n =n, tenemos
100e
lim an 1=n D lim D 0:
n!1 n!1 n
100nC1
anC1 .n C 1/ 100nC1 n 100
D n D n
D ;
an 100 100 .n C 1/ nC1
n
64 Fernando Mejas
entonces
anC1 100
lim D lim D 0:
n!1 an n!1 n C 1
DEMOSTRACIN Dado " > 0 existe un N tal que para todo n N , tenemos que
anC1
a ` < ":
n
Es decir
anC1
` "< < `C" para todo n N ,
an
entonces
anCk anCk 1 anC1
.` "/k < < .` C "/k :
anCk 1 anCk 2 an
De donde r
anCk
k ` < " para todo n N ,
an
Pero r
p nCk
anCk p
nCk
nCk
anCk D an :
an
nCk
p
Ahora, puesto que lim an D 1, se sigue que existe un M tal que
k!1
p
nCk anCk ` < " para todo k M .
3. Series de Trminos no Negativos 65
EJEMPLO 35 La serie
1 1 1 2 1 2 1 3 1 3
2 C 3 C 2 C 3 C 2 C 3 C
converge. Una forma sencilla de verificar este hecho es considerando an D
. 12 /n C . 13 /n , entonces, de acuerdo al Problema 1-2(16) tenemos
s
1 n
n
1 1
lim an 1=n D lim
n
C D :
n!1 n!1 2 3 2
y
1 nC1 1 nC1
2nC1 C 3nC1
anC1 2 C 3 1 1
lim D lim 1 n 1 n
D lim n n
D :
n!1 an 6 n!1 2 C 3 2
n!1 C
2 3
CRITERIO DE LA INTEGRAL
1 2 3
FIGURA 2.
existe.
es convergente si el lmite
Z A
lim f
A!1 a
y f.
1
DEMOSTRACIN Como mencionamos arriba, la existencia del lmite
Z A
lim f
A!1 1
luego
Z nC1
f .n C 1/ f f .n/ para todo n;
n
es decir Z nC1
anC1 f an para todo n:
n
Entonces por el criterio de comparacin tenemos que la convergencia de
1 Z nC1
X 1
X
la serie f implica la convergencia de anC1 y por tanto la con-
nD1 n nD1
1
X
vergencia de an y vice versa.
nD1
1
X 1
EJEMPLO 37 La serie diverge. Para demostrar este hecho consideremos la
n log n
nD2
funcin f definida sobre 2; C1/ por
1
f .x/ D :
x log x
68 Fernando Mejas
1 C log x
f 0 .x/ D <0 para todo x > 2:
x 2 log2 x
Adems
A A
1
Z Z
f D dx D log.log A/ log.log 2/:
2 2 x log x
Entonces la integral impropia
1
1
Z
dx
2 x log x
es divergente.
log x log2 x 1 1
Z Z
dx D CC y 2
dx D C C;
x 2 log x 3 log3 x
1
X log n
EJEMPLO 38 La serie diverge. Consideramos la funcin f definida sobre 1; C1/
n
nD1
por
log x
f .x/ D :
x
En este caso tenemos
log x 1
f 0 .x/ D
:
x2
Entonces f es decreciente sobre e; C1/. Por otro lado
A
log x log2 A log2 3
Z
dx D :
3 x 2 2
diverge.
3. Series de Trminos no Negativos 69
1
X 1
EJEMPLO 39 La serie converge. Consideramos la funcin f W 2; C1/ ! R
nD2
n log2 n
definida por
1
f .x/ D :
x log2 x
En este caso tenemos
2 C log x
f 0 .x/ D :
x 2 log3 x
Entonces f es decreciente sobre 2; C1/. Adems
A
1 1 1
Z
2
dx D 3
:
2 x log x 3 log 2 3 log3 A
converge.
1
n2
X
EJEMPLO 40 La serie ne converge. Sea f W 1; C1/ ! R la funcin definida por
nD1
x2
f .x/ D xe :
1
X 1
la serie demostramos que la serie diverge para s 1 y converge para
ns
nD1
s 2, pero no obtuvimos ninguna conclusin para 1 < s < 2.
EJEMPLO 41 La serie
1
X 1
ns
nD1
converge para todos s > 1 y diverge si s 1. Esta conclusin es una conse-
cuencia inmediata del criterio de la integral pues
1 1
8
Z A
1 < 1 s 1
; si s 1;
s
dx D s 1 A
1 x :
log A; si s D 1.
Z 1
1
Entonces la integral impropia dx converge si s > 1 y diverge si
1 xs
s 1.
Este resultado sirve de base para definir una de las funciones ms
notables del Clculo Avanzado: para todo s > 1 se define la funcin zeta de
Riemann por
1
X 1
.s/ D :
ns
nD1
Uno de los resultados ms famosos asociado con la funcin zeta de Rie-
mann es la siguiente igualdad establecida por Euler:
1 1 1 2
.2/ D 1 C C C C D :
22 32 42 6
EJEMPLO 42 En el Ejemplo 3-30 utilizamos tanto el criterio del cociente como el criterio
3. Series de Trminos no Negativos 71
1
n2
X
de la raz para demostrar que la serie e converge. Notando que si
nD1
f .x/ D e x2 sobre 1; C1/ se cumple que
x2
f 0 .x/ D 2xe < 0 para todo x 2 1; C1/;
Alguna vez el Lord Kelvin dijo que un matemtico es aquel para quien esta
igualdad es tan evidente como para cualquiera el hecho de que dos mas dos
es cuatro.
A este nivel de nuestro juego trabajamos con los peones centrales en este
tablero de ajedrez, que rara vez coronan, pero cuando lo hacen son deter-
minantes para el final del juego. En esta seccin estudiamos dos criterios
que no tienen muchas aplicaciones, pero en algunos casos son los ltimos
recursos disponibles. El primero de estos resultados es nombrado en honor
al analista suizo Josef Ludwing Raabe, mientras que el segundo tiene su de-
nominacin en honor al Prncipe de los Matemticos (Figura 3). Para
empezar establecemos el siguiente resultado que servir de base para la
prueba de los resultados principales.
72 Fernando Mejas
bnC1 anC1
cn D bn :
an
bnC1 anC1
DEMOSTRACIN Supongamos que cn D bn r para todo n N . Es decir
an
bkC1 akC1
bk r para todo k N .
ak
Entonces
ak r ak bk akC1 bkC1 para todo k N ,
de donde
n
X an bn
ak para todo n N .
r
kDN
Es decir,
P la sucesin de sumas parciales de fan g est acotada y por tanto, la
serie an converge.
Ahora supongamos que cn 0, es decir
bnC1 anC1
bn para todo n N .
an
En particular
bnC1 anC1
bn para todo n N ,
an
de donde
1 1
anC1 para todo n N .
bnC1 an bn
TEOREMA 44 Supongamos que an > 0 para todo n y que existen un r > 0 y un nmero natural
(CRITERIO DE N tales que
RAABE) anC1 1 r
1 para todo n N ;
an n n
3. Series de Trminos no Negativos 73
1
X
entonces la serie an converge. Si
nD1
anC1 1
1 para todo n N ;
an n
1
X
entonces la serie an diverge.
nD1
anC1 1 r
DEMOSTRACIN Supongamos que 1 para todo n N y que bnC1 D n.
an n n
Entonces
bnC1 anC1 nanC1
cn D bn Dn 1 :
an an
luego, por hiptesis tenemos
1 r
cn n 1 C n 1C C Dr para todo n N :
n n
P
Entonces, por el Lema 3.41 tenemos que la serie an converge.
Ahora supongamos que
anC1 1
1 para todo n N :
an n
Entonces, tomando nuevamente bnC1 D n, tenemos que para todo n N
se cumple
bnC1 anC1 nanC1 1
cn D bn Dn 1 n 1 n 1 D 0:
an an n
P P
Puesto que la serie 1=n es divergente, segn el Lema 41 la serie an
diverge.
EJEMPLO 45 La serie
1
X 1 3 5 .2n 1/
2n n
nD1
diverge. Si escribimos
1 3 5 .2n 1/
an D ;
2n n
entonces
1 3 5 .2n 1/.2n C 1/
anC1 2nC1 .n C 1/ 2n C 1
D D :
an 1 3 5 .2n 1/ 2.n C 1/
2n n
74 Fernando Mejas
anC1
Notemos que lim D 1, as que el criterio del cociente no es aplica-
n!1 an
ble. Por otro lado tenemos
anC1 2n C 1 1 1
1D 1D ;
an 2.n C 1/ 2.n C 1/ n
1
X 1 3 5 .2n 1/
2n n
nD1
diverge.
TEOREMA 46 Supongamos que an > 0 para todo n y que existen dos nmeros s; M > 0 y un
(CRITERIO DE nmero natural N tales que
GAUSS)
anC1 xn
D1 C s para todo n N ;
an n n
donde fxn g es una sucesin tal que jxn j M para todo n. Entonces si > 1 la
1
X X1
serie an converge y si 1 la serie an diverge.
nD1 nD1
M M
1 C 1 C 0:
ns 1 ks 1
anC1 r
1 :
an n n
P
Entonces, por el criterio de Raabe tenemos que an converge.
Si > 1 tenemos que para todo n N se cumple
anC1 xn 1
D1 C s >1 1 ;
an n n n n
P
entonces de acuerdo al criterio de Raabe la serie an diverge.
3. Series de Trminos no Negativos 75
Si
1 3 5 .2n 1/
an D ;
2 4 6 .2n/
entonces
anC1 2n C 1
D :
an 2.n C 1/
76 Fernando Mejas
anC1 1 n 1
D1 C 2:
an 2n 2.n C 1/ n
diverge.
Para concluir esta fase de nuestro juego trabajamos con otro pen que dif-
cilmente corona y por tanto es poco estimado, pero que en algunas opor-
tunidades se convierte en una herramienta muy poderosa. El resultado fue
demostrado por Abel y luego qued prcticamente olvidado, hasta que fue
redescubierto por el matemtico alemn Alfred Pringsheim. Escasamente
uno encuentra en la literatura algn nombre para el teorema y en muy
pocas ocasiones suele usarse el nombre de uno u otro matemtico; una de
las referencias ms inusuales la hace el matemtico ingls Godfrey Harold
Hardy quien lo denomina teorema de Abel o Pringsheim (ver la referencia [3]
en la Resea Bibliogrfica, p. 350). Probablemente la poca aplicabilidad del
teorema de Abel-Pringsheim est relacionada con el hecho de que establece
una condicin necesaria para la convergencia.
TEOREMA 48 Supongamos que fan g es una sucesin decreciente tal que an 0 para todo n. Si la
(TEOREMA 1
X
DE ABEL Y serie an converge, entonces
PRINGSHEIM) nD1
lim nan D 0:
n!1
DEMOSTRACIN De acuerdo con la condicin de Cauchy, dado " > 0 existe un nmero
natural N tal que para todo n; m N se cumple
am C C an < ":
am C C an an C C an .n
m/ an ;
n m trminos
de donde
.n m/ an < "; para n m N :
3. Series de Trminos no Negativos 77
n
n an D .n m/ an ;
n m
deducimos que para n suficientemente grande se cumple que
n an < ";
es decir
lim n an D 0:
n!1
1
X 1
Notemos que en particular tenemos que la serie es divergente,
n
nD1
pues en caso contrario, de acuerdo con el teorema de Abel-Pringsheim se
cumplira
1
lim n D 0;
n!1 n
PROBLEMAS
1
X .n/2
(16) .
.2n/
nD1
1
X .n/2
(17) 2
.
nD1
2n
X1
(18) .n1=n 1/n.
nD1
1
X 1 n2
(19) e .
n
nD1
1
X 2
(20) .
n C 1
nD1
X1
(21) sen.log n/.
nD1
1
X 1
(22) 1 n sen .
n
nD1
1
X 1n sen.1=n/
(23) .
n
nD1
1
X 1
(24) log n sen .
n
nD1
1
X cos.1=n/
(25) .
n
nD1
1 Z nC1
X 2
(26) e x dx:
nD1 n
1 Z 1=n
x2
X
(27) e dx:
nD1 0
1
X
2 Demostrar que si an > 0 para todo n y an converge, entonces
nD1
1
X 1
diverge.
an
nD1
1
X
3 Demostrar que si an 0 para todo n y an diverge, entonces la
nD1
1
X an
serie diverge.
1 C an
nD1
4 Utilizar la serie
1 1 1 1 1 1 1 1 1 1
1C 2 2 C 3 3 C 4 C 4 5 C 6 C 7 C 8 C
80 Fernando Mejas
7 Usando como referencia el problema anterior, establecer y demostrar
el criterio delicado del cociente.
CONVERGENCIA
ABSOLUTA 4
Las primeras lecturas matemticas de Leibniz fueron principalmente
sobre geometra, pero l tuvo otros intereses. . . Uno de los frutos
de su estudio de problemas sobre cuadraturas fue el Tetragonismo
Aritmtico, en el cual hall que el rea de un crculo es cuatro
veces la serie infinita 1 13 C 15 17 C . Estas consideraciones
formales y aritmticas se iban a combinar ahora en una forma
interesante con la geometra. . .
CARL B. BOYER
CRITERIO DE LEIBNIZ
81
82 Fernando Mejas
1
X
o . 1/nC1 an , donde an 0 para todo n. Una serie de este tipo se
nD1
denomina alternada.PUn teorema de Leibniz garantiza la convergencia de
una serie alternada . 1/nC1 an bajo algunas hiptesis sobre la sucesin
fan g.
TEOREMA 1 Sea fan g una sucesin no creciente tal que lim an D 0. Entonces la serie alternada
n!1
(CRITERIO DE 1
X
LEIBNIZ) . 1/nC1 an converge.
nD1
DEMOSTRACIN Sea fsn g la sucesin de sumas parciales de fan g. Si fs2n g y fs2nC1 g son las
subsucesiones de fsn g formadas por los trminos de ndice par e ndice
impar respectivamente, tenemos que fs2n g es no decreciente y fs2nC1 g es
no creciente. En efecto tenemos
De tal manera que la sucesin fs2n g est acotada superiormente (por ejem-
plo s1 es una cota superior) y es por tanto convergente. Similarmente tene-
mos que fs2nC1 g tambin converge. Sean
Entonces
lim sn D D :
n!1
la cual es convergente.
X . 1/nC1 X 1
Notemos que la serie D es divergente.
n n
Es interesante el hecho que se han desarrollado diversas tcnicas para
explotar detalles de esta serie en particular. Por ejemplo, existen varias
pruebas de la igualdad:
1
X . 1/nC1
D log 2:
n
nD1
1
X . 1/nC1 p
EJEMPLO 3 La serie p ; es convergente. Si escribimos an D 1= n tenemos
nD1
n
que fan g es decreciente y obviamente an ! 0 cuando n ! 1, entonces
por el criterio de Leibniz la serie dada converge.
1
X
nC1 1
EJEMPLO 4 Consideremos la serie . 1/ 1 cos : En este caso escribimos
n
nD1
an D 1 cos 1=n. Para demostrar que esta sucesin es decreciente tomemos
84 Fernando Mejas
f .x/ D 1 cos 1=x para x > 0. Luego para x suficientemente grande tene-
mos
0 1 1
f .x/ D 2
sen < 0;
x x
es decir, f es decreciente. Adems lim .1 cos 1=n/ D 0, entonces el
n!1
1
X
nC1 1
criterio de Leibniz implica que . 1/ 1 cos converge.
n
nD1
1
X
EJEMPLO 5 La serie . 1/nC1 arctg.log n/ converge. Si definimos la funcin
2
nD1
f por f .x/ D arctg.log x/ para x > 0, tenemos
2
1
f 0 .x/ D <0 para todo x > 0:
x.1 C log2 x/
Entonces la sucesin f=2 arctg.log n/g es decreciente. Por otro lado
tenemos
lim arctg.log n/ D lim arctg.log n/ D D 0:
n!1 2 2 n!1 2 2
Entonces, por el criterio de Leibniz tenemos que la serie dada es con-
vergente.
CONVERGENCIA ABSOLUTA
1
X 1
X
TEOREMA 6 Si la serie an converge, entonces la serie jan j tambin converge y
nD1 nD1
1 1
X X
an jan j:
nD1 nD1
4. Convergencia Absoluta 85
DEMOSTRACIN Sean fsn g y ftn g las sucesiones de sumas parciales de fan g y fjan jg respecti-
vamente. Por hiptesis tenemos que ftn g converge, entonces de acuerdo al
criterio de Cauchy tenemos
lim .tn tm / D 0;
n;m!1
es decir
lim .jamC1 j C C jan j/ D 0:
n;m!1
Por tanto
lim .sn sm / D lim .amC1 C C an /
n;m!1 n;m!1
es decir 1 1
X X
an jan j:
nD1 nD1
1
X sen.n /
EJEMPLO 7 La serie converge absolutamente para todo y para todo s > 1.
ns
nD1
En efecto, tenemos
sen.n / 1
s
s;
n n
entonces por el criterio de comparacin y el Ejemplo 3-39 la serie
1 1
X sen.n / X j sen.n /j
D
ns ns
nD1 nD1
converge.
P
P C P Una forma de analizar una serie an es considerar dos nuevas series
an y an formadas por los trminos no negativos la primera y por los
no positivos la segunda. Formalmente, dada la sucesin fan g definimos las
sucesiones fanC g y fan g por
( (
a n ; si an 0 0; si an 0
anC D y an D
0; si an 0; an ; si an 0:
86 Fernando Mejas
Entonces
an C jan j an jan j
anC D y an D :
2 2
P C P
La
P convergencia de las series an y an est ligada a la convergencia de
an por el siguiente teorema.
1
X 1
X 1
X
TEOREMA 8 La serie an es absolutamente convergente si y slo si las series anC y an
nD1 nD1 nD1
convergen ambas.
P P
DEMOSTRACIN Supongamos que la serie jan j converge, entonces an tambin con-
verge (por el Teorema 6) y
X 1X 1 X X
anC D .an C jan j/ D an C jan j ;
2 2
es por tanto convergente. Anlogamente tenemos que
X 1 X X
an D an jan j
2
tambin converge.
Ahora supongamos que anC y anC convergen. Entonces
P P
X 1X C 1 X C X
jan j D .an an / D an an
2 2
converge.
REORDENACIN DE SERIES
bn D a.n/ ;
4. Convergencia Absoluta 87
1
X 1
X
Si an es una serie absolutamente convergente y bn es una reordenacin cual- TEO
nD1 nD1
1
X 1
X
quiera de an , entonces bn tambin converge absolutamente y
nD1 nD1
1
X 1
X
bn D an :
nD1 nD1
luego
1
X "
tn an jtn sn j C :
2
nD1
Adems tenemos
n N n N n
X X X X X
jtn sn j D bj aj D b.j / aj D
aj
j D1 j D1 j D1 j D1 j DN C1
de donde
n
N 1
X
X X "
jtn sn j jaj j D jaj j jan j < :
j DN C1 j D1 nD1 2
88 Fernando Mejas
1
X
tn an < ";
nD1
es decir
1
X 1
X
bn D an :
nD1 nD1
1
X 1
X
TEOREMA 10 Si an es una serie de trminos no negativos convergente y bn es una reor-
(TEOREMA DE nD1 nD1
REORDENACIN 1
X 1
X
DE DIRICHLET) denacin cualquiera de an , entonces bn tambin converge absolutamente
nD1 nD1
y
1
X 1
X
bn D an :
nD1 nD1
P
Ahora supongamos que an es una serie condicionalmente conver-
gente y x un nmero cualquiera. A continuacin presentamos la estrategia
de juego elaborada por Riemann que consiste en rodear a x con trminos
4. Convergencia Absoluta 89
1
X
TEOREMA 11 Sean an una serie condicionalmente convergente y x un nmero real cualquiera.
(TEOREMA DE nD1
REORDENACIN 1
X 1
X
DE RIEMANN) Entonces existe una reordenacin bn de an , tal que
nD1 nD1
1
X
bn D x:
nD1
n1
X p
X
anC > x; pero anC < x si p < n1 .
nD1 nD1
90 Fernando Mejas
PROBLEMAS
1
X
2 Demostrar que si la serie an converge absolutamente entonces
nD1
1 1
X X
a jan j:
n
nD1 nD1
1
X
3 (a) Demostrar que si la serie an converge absolutamente y fbn g
nD1
1
X
es una subsucesin de fan g, entonces la serie bn tambin con-
nD1
verge absolutamente.
92 Fernando Mejas
1
X
4 Demostrar que si la serie an converge absolutamente, entonces la
nD1
1
X
serie an 2 converge.
nD1
CAPTULO
TEOREMA DE ABEL 5
Toda la obra de Abel lleva impreso el sello de una genialidad y fuerza
de pensamiento que es inusual y a veces asombrosa, aunque no
tomara en cuenta la juventud del autor. Se puede decir que era capaz
de penetrar todos los obstculos hasta llegar al fondo de los problemas,
con una fuerza que pareca irresistible; l atacaba los problemas con
una energa extraordinaria. . .
AUGUST L. CRELLE
FRMULA DE ABEL
a1 b1 D s1 b1
a1 b1 C a2 b2 D s1 b1 C a2 b2
D s1 b1 a1 b2 C a1 b2 C a2 b2
D s1 b1 s1 b2 C s2 b2
D s1 .b1 b2 / C s2 b2 :
93
94 Fernando Mejas
Anlogamente
a1 b1 C a2 b2 C a3 b3 D s1 .b1 b2 / C s2 b2 C a3 b3
D s1 .b1 b2 / C s2 b2 a1 b3 a2 b3 C a1 b3 C a2 b3 C a3 b3
D s1 .b1 b2 / C s2 b2 .a1 C a2 /b3 C .a1 C a2 C a3 /b3
D s1 .b1 b2 / C s2 b2 s2 b3 C s3 b3
D s1 .b1 b2 / C s2 .b2 b3 / C s3 b3 :
TEOREMA 1 Sean fan g y fbn g dos sucesiones y denotemos por fsn g la sucesin de sumas parciales
de fan g. Entonces, para todo n se cumple la igualdad
n
X n
X1
() ak bk D sk .bk bkC1 / C sn bn :
kD1 kD1
LEMA 2 Sean fan g y fbn g dos sucesiones, tal que fbn g es no creciente y bn 0 para todo n.
(LEMA DE Supongamos que existen m y M tales que
ABEL)
m a1 C C an M
bk m ak bk C C an bn bk M
para todo k n.
es decir
n
X1
mb1 sj .bj 1 bj / C sn bn M b1 :
j D1
CRITERIO DE DIRICHLET
TEOREMA 3 Sean fan g una sucesin cuyas sumas parciales estn acotadas y fbn g una sucesin
(CRITERIO DE 1
X
DIRICHLET) no creciente con lim bn D 0. Entonces la serie an bn converge.
n!1
nD1
lim .ak bk C C an bn / D 0;
k;n!1
P
y por el criterio de Cauchy tenemos que an bn converge.
1
X sen.n=2/
EJEMPLO 5 La serie es condicionalmente convergente.
n
nD1
Primero notemos que la sucesin fj sen.n=2/=njg es
1 1 1
1; 0; ; 0; ; 0; : : : ; 0; ; 0; : : :
3 5 2n C 1
P
y por tanto la serie j sen.n=2/=nj diverge.
Por otro lado tenemos que si an D sen.n=2/, entonces la sucesin
de sumas parciales f1; 1; 0; 0; 1; 1; : : : g es obviamente acotada y puesto que
bn D 1=n es no creciente y tiende a 0, por el criterio de Dirichlet tenemos
P
que sen.n=2/=n converge.
5. Teorema de Abel 97
CRITERIO DE ABEL
1
X
TEOREMA 6 Supongamos que an converge y que fbn g es una sucesin la cual es o bien no cre-
(CRITERIO DE nD1
1
ABEL) X
ciente o bien no decreciente cuyas sumas parciales estn acotadas. Entonces an bn
nD1
converge.
DEMOSTRACIN Supongamos que la sucesin fbn g es no decreciente. Como las sumas par-
ciales de fbn g estn acotadas, tenemos que tambin fbn g est acotada y,
por tanto, converge hacia un lmite b. Consideremos la sucesin dada por
n D b bn . Entonces fP n g es no creciente y converge hacia 0. Por otro
lado, la convergencia de an implica que sus sumas parciales estn aco-
P
tadas, entonces por el criterio de Dirichlet tenemos que an n converge.
Pero
an n D an .b bn / D an b an bn ;
de donde
an bn D an b an n :
P P P
Entonces la convergencia de an y an n implican que an bn con-
verge.
Si la sucesin fbn g es no creciente podemos proceder de forma anloga,
pero usando n D bn b.
CAPTULO
PRODUCTO DE SERIES 6
. . . aplicamos las operaciones del anlisis a series infinitas
de la misma manera que lo hacemos con series finitas y me parece
que esto no podemos considerarlo como demostracin propiamente
dicha. Por ejemplo, si queremos multiplicar dos series.
X X X
.an C bn / D an C bn :
X X X
() an bn D an bn :
PRODUCTO DE CAUCHY
99
100 Fernando Mejas
as como:
1
X 1
X
an bn D .a1 C a2 C / .b1 C b2 C /
nD1 nD1
1
X 1
X
D a1 bn C a2 bn C
nD1 nD1
D a1 b1 C a1 b2 C a1 b3 C a1 b4 C
C a2 b1 C a2 b2 C a2 b3 C a2 b4 C
C a3 b1 C a3 b2 C a3 b3 C a3 b4 C
C
C an b1 C an b2 C an b3 C an b4 C
C :
Aunque no resulta del todo claro si todos los trminos pueden ser
acomodados
P P para Pformar una sucesin, P en este esquema sugiere que si
cn D an bn , entonces la serie cn debe involucrar de alguna
manera todos los productos de la forma ai bj . Observando el siguiente dia-
grama contentivo de tales productos
a1 b1 a1 b2 a1 b3 a1 b4
a2 b1 a2 b2 a2 b3 a2 b4
a3 b1 a3 b2 a3 b3 a3 b4
a4 b1 a4 b2 a4 b3 a4 b4
:: :: :: ::
: : : :
a1 b1 a1 b2 a1 b3 a1 b4
. % . %
a2 b1 a2 b2 a2 b3 a2 b4
% . % .
a3 b1 a3 b2 a3 b3 a3 b4
. % . %
a4 b1 a4 b2 a4 b3 a4 b4
% . %
:: :: :: ::
: : : :
6. Producto de Series 101
es decir
c1 D a1 b1 ;
c2 D a1 b2 C a2 b1 ;
c3 D a1 b3 C a2 b2 C a3 b1 ;
c4 D a1 b4 C a2 b3 C a3 b2 C a4 b1 :
En general tenemos
n
X
cn D a1 bn C a2 bn 1 C C an b1 D ak bn kC1 :
kD1
1
X 1
X
La serie cn definida as se denomina el producto de Cauchy de an y
nD1 nD1
1
X
bn .
nD1
Por supuesto, nuestro objetivo es determinar condiciones que ga-
P P
ranticen
P P la convergencia de cn y que se cumpla la igualdad cn D
an bn . Resulta ms o menos natural que alguna hiptesis de conver-
gencia absoluta sea requerida pues fcn g es en el fondo una reordenacin
particular de la sucesin de los
Pproductos
P ai bj . En efecto, tenemos que la
convergencia
P condicional de an y bn ni siquiera garantizan la conver-
gencia de cn .
p
Si an D bn D . 1/nC1 = n para todo n, entonces las series
P P
EJEMPLO 1 an y bn
son condicionalmente convergentes mientras que su producto de Cauchy
diverge. P
La convergencia de an es una aplicacin del criterio de Leibniz
P
mientras que la divergencia de jan j se obtiene comparando con la serie
armnica (ver el Ejemplo 4-3).
Ahora
n
X
cn D ak bn kC1
kD1
n
X 1 1
D . 1/kC1 p . 1/n kC2
p
kD1
k n kC1
n
kC1
X 1
D . 1/ p :
kD1
k.n k C 1/
Notemos que
n 2 n 2 n 2 .n C 1/2
k.n k C 1/ C1 k C1 D ;
2 2 2 4
luego
2 1
p :
nC1 k.n k C 2/
102 Fernando Mejas
Entonces
n n
X 1 X 2 2n
jcn j D D 1
p
kD1
k.n k C 2/ kD1 n C 1 nC1
1
X 1
X
TEOREMA 2 Sean fan g y fbn g dos sucesiones tales que an converge absolutamente y bn
nD1 nD1
X1
converge. Entonces su producto de Cauchy cn converge y
nD1
1
X 1
X 1
X
() cn D an bn :
nD1 nD1 nD1
DEMOSTRACIN Sean fan g, fbn g y fCn g las sumas parciales de fan g, fbn g y fcn g respectiva-
1
X
mente. Adems consideremos n D bn bn . Entonces
nD1
n
X
Cn D cj
j D1
D a1 b1 C .a1 b2 C a2 b1 / C C .a1 bn C C an b1 /
D a1 .b1 C b2 C C bn / C a2 .b1 C C bn 1 / C C an b1
D a1 Bn C a2 Bn 1 C C an B1
1 1 1
! ! !
X X X
D a1 n C bn C a2 n 1C bn C C an 1 C bn
nD1 nD1 nD1
1
X
D a1 n C C an 1 C .a1 C C an / bn
nD1
1
X
D a1 n C C an 1 C An bn :
nD1
1
X
Como la serie bn converge absolutamente, tenemos que dado " >
nD1
0 existe un N tal que
"
(1) lim jn C C N C1 j < 1
n!1 X
2 jan j
nD1
6. Producto de Series 103
1
X
para todo n N (ntese que podemos asumir que jan j > 0 ya que el
nD1
otro caso es una trivialidad).
Por otro lado, segn la condicin de Cauchy tenemos
Luego
ja1 n C C an 1 j ja1 n C C an N 1 N C1 j
C jan N n C C an 1 j
1
X
an .n C C N C1 /
nD1
C jan N n C C an 1 j
1
X
jan j .n C C N C1 /
nD1
C jan N n C C an 1 j:
Entonces por la desigualdad (1) obtenemos
"
ja1 n C C an 1 j < C jan N n C C an 1 j:
2
Como fn g es convergente, existe un 2 R tal que D supfjn j W
n 2 Ng. Luego
lim ja1 n C C an 1 j D 0:
n!1
Finalmente tenemos
1 1 1 1
!
X X X X
lim Cn D lim An bn D lim An bn D an bn :
n!1 n!1 n!1
nD1 nD1 nD1 nD1
104 Fernando Mejas
Esta corta seccin est dedicada a ilustrar algunas condiciones que garan-
tizan el cumplimiento de igualdades como (). El primero de los resul-
P P
tados impone convergencia absoluta a las series an y bn para garan-
tizar que cualquier reordenacin del producto de Cauchy converge hacia
P P
an bn .
1
X 1
X
TEOREMA 3 Si an y bn convergen absolutamente y f'n g es una reordenacin cualquiera
nD1 nD1
1
X
de la sucesin de productos ai bj , con 1 i; j , entonces 'n converge y
nD1
1
X 1
X 1
X
'n D an bn :
nD1 nD1 nD1
1
X 1
X
TEOREMA 4 Sean an , bn dos series convergentes y supongamos que su producto de Cauchy
(TEOREMA DE nD1 nD1
CAUCHY-ABEL) 1
X
cn tambin converge, entonces
nD1
1
X 1
X 1
X
cn D an bn :
nD1 nD1 nD1
CAPTULO
SERIES DE FUNCIONES 7
Newton a partir de 1665, Gregory a partir de la publicacin
de Mercator de 1668, y Leibniz a partir ms o menos de 1673,
se consagran fundamentalmente al estudio del tema de
moda, las series de potencias.
NICOLAS BOURBAKI
n
X f .k/.a/
donde Pn;a .x/ D .x a/k respresenta el polinomio de Taylor
k
kD0
de grado n centrado en a para f y Rn;a .x/ el resto. La inquietud planteada
en aquel entonces era: si logramos demostrar que para un valor de x se
cumple
lim Rn;a .x/ D 0;
n!1
1
X f .n/.a/
f .x/ D .x a/n
n
nD0
105
106 Fernando Mejas
x3 x5 x7
sen x D x C C ;
3 5 7
x2 x4 x6
cos x D 1 C C ;
2 4 6
2
x x x3
ex D 1 C C C C ;
1 2 3
x2 x3 x4
log.1 C x/ D x C C ;
2 3 4
x3 x5 x7
arctg x D x C C :
3 5 7
La dificultad que se nos plantea actualmente es que cada una de estas ecua-
ciones representa una serie para cada valor de x, es decir que debemos
estudiar la convergencia de series de funciones. Naturalmente, para que
esta nocin adquiera verdadero rigor, debemos establecer en primer lugar
el significado de la convergencia de una sucesin de funciones y luego las
series de funciones en trminos de sucesiones de sumas parciales como en
el caso de las series numricas.
SUCESIONES DE FUNCIONES
1
1
2
2
FIGURA 1.
las cuales se cumple que ffn .x/g converge para todo x 2 A, en este caso
podemos definir una funcin f sobre A por la igualdad
f .x/ D lim fn .x/:
n!1
1
1
2 3
0 1
FIGURA 2.
1 1
f1 f2
- -
1 1 1 1 1
0 4 2 1 8 4 2 1
Z 1
Es decir, fn .x/ dx D 1 para todo n, as que
0
Z 1 Z 1 Z 1
lim fn .x/ dx D 1 0 D f .x/ dx D lim fn .x/ dx:
n!1 0 0 0 n!1
El hecho de que
Z 1 Z 1
lim fn .x/ dx lim fn .x/ dx;
n!1 0 0 n!1
no es originado por la discontinuidad de las funciones fn , en efecto pode-
mos conseguir una sucesin de funciones continuas sobre 0; 1 con ca-
ractersticas similares.
4 f2
C
C
2 C
C @ f1
C @
C @
1 1
0 4 2 1
FIGURA 4.
Luego
Z 1 Z 1 Z 1
lim fn .x/ dx D 1 0 D f .x/ dx D lim fn .x/ dx:
n!1 0 0 0 n!1
para algn x.
Luego
f .x/ D lim fn .x/ D 0 para todo x 2 R.
n!1
Adems
y por tanto la sucesin ffn0 .x/g no converge hacia f .x/ para algunos valores
de x, por ejemplo si x D 2, tenemos fn0 .x/ D cos.2n/ D 1. Inclusive
podemos hallar algunos valores de x para los cuales la sucesin ffn0 .x/g no
converge, por ejemplo para x D =2.
CONVERGENCIA UNIFORME
significa que para todo x 2 A y para todo " > 0 existe un nmero natural n
tal que
jfn .x/ f .x/j < "; para todo n N :
Notemos que el nmero n al que se refiere en este comentario depende
tanto de " como del punto x y puede ocurrir que dado un " > 0 para dos
nmeros x y, los correspondientes valores de n sean diferentes, lo cual
significa de alguna manera que una de las dos sucesiones numricas ffn .x/g
y ffn .y/g se est acercando momentneamente ms rpido a su lmite que
la otra.
Un escenario completamente distinto al que encontramos en los E-
jemplos 1, 2 y 3 surge cuando imponemos la condicin de que el valor
de n no dependa del punto x. Decimos que una sucesin de funciones
ffn g converge uniformemente (o es uniformemente convergente) hacia la
funcin f sobre un conjunto A si para todo " > 0 existe un nmero natural
N tal que
Si tenemos que
f .x/ D lim fn .x/;
n!1
FIGURA 5.
1
1
2 3
FIGURA 6.
fn .x/ D x n
TEOREMA 7 Supongamos que ffn g es una sucesin de funciones que converge uniformemente ha-
cia la funcin f sobre un conjunto A. Si cada una de las funciones fn es continua
sobre A, entonces f es continua sobre A.
DEMOSTRACIN Sea x un punto cualquiera de A y sea " > 0. Puesto que ffn g converge
uniformemente hacia f tenemos que existe un nmero natural N tal que
"
(1) jfn .y/ f .y/j <
3
para todo y 2 A y para todo n N . En particular tenemos
"
(2) jfn .x/ f .x/j <
3
para todo n N . Ahora cada fn es continua en x, en particular para n D N
tenemos que existe un > 0 tal que para todo h, si jhj < (con x C h 2 A)
entonces
"
(3) jfn .x C h/ fn .x/j < :
3
7. Series de Funciones 113
jf .x C h/ f .x/j D jf .x C h/ f .x/ C fN .x C h/ fN .x C h/
C fN .x/ fN .x/j
jfN .x C h/ f .x C h/j C jfN .x C h/ fN .x/j
C jfN .x/ f .x/j
" " "
< C C
3 3 3
D ":
Es decir,
TEOREMA 8 Supongamos que ffn g es una sucesin de funciones integrables sobre a; b que con-
verge uniformemente hacia una funcin f la cual es integrable sobre a; b. Entonces
Z b Z b
lim fn .x/ dx D f .x/ dx:
n!1 a a
DEMOSTRACIN Dado " > 0, puesto que ffn g converge uniformemente hacia f tenemos
que existe un nmero natural N tal que para todo n, si n N
"
jfn .x/ f .x/j < ;
b a
para todo x 2 a; b. Entonces
Z Z
b Z b b
f .x/ dx f .x/ dx D fn .x/ f .x/ dx
a n
a a
Z b
jfn .x/ f .x/j dx
a
b
"
Z
< dx
a b a
"
D .b a/
b a
D ":
114 Fernando Mejas
Es decir
Z b Z b
(6) lim fn .x/ dx D f .x/ dx:
n!1 a a
tenemos
1 1 1
1
Z Z Z
lim fn .x/ dx D lim x n dx D lim D0D f .x/ dx:
n!1 0 n!1 0 n!1 n C 1 0
h i
0
(5 ) lim lim fn .x C h/ D lim lim fn .x C h/ :
h!0 n!1 n!1 h!0
sen.nx/
fn .x/ D para todo x 2 R
n
converge uniformente hacia la funcin f D 0, sin embargo no se cumple
que
lim fn0 .x/ D f 0 .x/:
n!1
7. Series de Funciones 115
TEOREMA 9 Supongamos que ffn g es una sucesin de funciones derivables sobre a; b, tal que
las derivadas fn0 son integrables sobre a; b. Si ffn g converge puntualmente hacia
f y ffn0 g converge uniformemente hacia alguna funcin continua g, entonces f es
derivable y
Z b
0
f .x/ D lim fn0 .x/:
n!1 a
Luego, por el Primer Teorema Fundamental del Clculo (el cual es aplica-
ble porque g es continua) resulta que f 0 .x/ D g.x/ y por tanto
LEMA 10 Supongamos que ffn g es una sucesin de funciones continuas sobre a; b que con-
verge puntualmente hacia la funcin constante f D 0. Si fn 0 para todo n y
si la sucesin ffn .x/g es no creciente para cada x 2 a; b, entonces ffn g converge
uniformente sobre a; b.
TEOREMA 11 Supongamos que ffn g es una sucesin no creciente de funciones continuas sobre
(TEOREMA a; b que converge puntualmente hacia una funcin continua f . Entonces ffn g
DE DINI) converge uniformente sobre a; b.
TEOREMA 12 Supongamos que ffn g es una sucesin de funciones definidas sobre un conjunto A.
Si f es una funcin definida sobre A y fn g est dada por
lim n D 0:
n!1
DEMOSTRACIN Supongamos que lim n D 0; entonces dado " > 0 existe un nmero
n!1
natural N tal que
n < " para todo n N .
Pero n D sup fjfn .x/ f .x/j W x 2 Ag, entonces por definicin tenemos
que
jfn .x/ f .x/j n para todo x 2 A.
Entonces para todo x 2 A y para todo n N tenemos
es decir
"
n <" para todo n N .
2
Entonces
lim n D 0:
n!1
f1 ; f1 C f2 ; f1 C f2 C f3 ; : : : ;
(3) Si cada una de las funciones fn es derivable sobre a; b, con fn0 integrable
1
X X1
sobre a; b. Si fn converge puntualmente hacia f y si fn0 converge
nD1 nD1
7. Series de Funciones 119
1
X
TEOREMA 14 Sea ffn g una sucesin de funciones definidas sobre A y supongamos que Mn es
(EL CRITERIO M nD1
DE WEIERSTRASS) serie numrica tal que
jfn .x/j Mn
120 Fernando Mejas
P
y la serie Mn converge, entonces de acuerdo al criterio de comparacin
P
tenemos que la serie fn .x/ converge absolutamente. Por otro lado, la
P
convergencia de la serie Mn implica que dado " > 0 existe un N tal que
1
X
Mn < ":
nDN C1
SERIES DE POTENCIAS
entendida como
1
X
a0 C an .x a/n :
nD1
an x n converge si
P
entonces de acuerdo con el criterio de la raz, la serie
lim jn j1=n < 1, es decir
n!1
converge solamente cuando x D 0. Por otro lado, si lim jan j1=n > 0,
n!1
X
n 1
entonces an x converge para todo x con jxj < .
lim jan j1=n
n!1
r D radio de convergencia
-
( )
a r a aCr
-
Intervalo de convergencia
FIGURA 9.
Motivados por esta observacin si lim jan j1=n > 0 denominamos ra-
n!1
dio de convergencia de la serie an x n al nmero
P
1
rD
lim jan j1=n
n!1
1
X . 1/n n
EJEMPLO 15 Consideremos la serie de potencias x . Si an D . 1/n =n, tene-
n
nD1
mos
. 1/n n
n
lim jan j D lim D lim 1 D 1:
n!1 n!1 n n!1 nn
1
X . 1/n n
Entonces r D 1 y el intervalo de convergencia de x es
n
nD1
. 1; 1/.
1
X . 1/n
EJEMPLO 16 Para la serie x 2nC1 , si
.2n C 1/
nD1
. 1/n
an D ;
.2n C 1/
7. Series de Funciones 123
luego
anC1 . 1/nC1 .2n C 1/ 1
D D :
an . 1/n .2n C 3/ 2n C 3
Entonces
anC1 1
lim D lim D 0:
n!1 an n!1 2n C 3
1
X . 1/n
x 2nC1
.2n C 1/
nD1
1
X
EJEMPLO 17 Para la serie n x n , la condicin del resto nos indica que tenemos r D
nD1
0, es decir la serie converge solamente cuando x D 0. Este resultado se
confirma con los siguientes clculos: si an D n tenemos
anC1 .n C 1/
D D n C 1:
an n
anC1
Luego lim
D C1, por tanto lim jan jn D 0.
n!1 an n!1
jan x n j D jan j jx n j
jan j jan j
n
n
a
D jan j jx0 j
x0
n
a
M :
x0
luego, si Mn D M ja=x0 jn , el criterio M de Weierstrass garantiza que la serie
an x n converge uniformemente sobre el intervalo cerrado a; a.
P
124 Fernando Mejas
1
X
TEOREMA 18 Supongamos que la serie an x0 n converge y sea a un nmero con 0 < a < jx0 j.
nD0
1
X
Entonces la serie an x n converge uniforme y absolutamente sobre a; a. Por
nD0
otro lado, lo mismo es cierto para las series
1 1
X
n 1
X an
nan x y x nC1
nC1
nD1 nD0
jan x n j D jan j jx n j
jan j jan j
n
n
a
D jan j jx0 j
x0
n
a
M :
x0
jan x n j Mn :
Como a < jx0 j tenemos que la serie geomtrica ja=x0 jn converge y por
P
P
tanto tambin Mn . Entonces por el criterio M de Weierstrass tenemos
que la serie an x n converge uniformemente sobre a; a.
P
7. Series de Funciones 125
EJEMPLO 19 Para ilustrar la utilidad del teorema anterior consideremos la serie de po-
X1
tencias . 1/n x 2n para jxj < 1. Podemos escribir
nD0
1 1 1
X
n 2n
X
n 2 n
X 1
. 1/ x D . 1/ .x / D . x 2 /n D :
1 C x2
nD0 nD0 nD0
126 Fernando Mejas
Pero
x 2nC1
Z Z
. x 2 /n dx D . 1/n x 2 n dx D . 1/n :
2n C 1
entonces
1
X x 2nC1
arctg x D . 1/n :
2n C 1
nD0
1
X
EJEMPLO 20 Anlogamente, si consideramos la serie . 1/nx n para 1 < x < 2. Pode-
nD0
mos escribir
1 1
X X 1
. 1/n x n D . x/n D :
1Cx
nD0 nD0
Pero
x nC1
Z Z
n n
. x/ dx D . 1/ x n dx D . 1/n :
nC1
entonces
1
X x nC1
log x D . 1/n :
nC1
nD0
Algunos prefieren escribir esta ltima igualdad de la siguiente forma:
1
X xn
log.1 C x/ D . 1/nC1 para x 2 . 1; 1/:
n
nD0
sen x
Z
EJEMPLO 21 La antiderivada dx no tiene solucin en trminos elementales, sin
x
Z b
sen x
embargo podemos calcular la integral definida dx con cualquier
a x
grado de precisin deseado.
7. Series de Funciones 127
< sen x si x 0,
8
f .x/ D x
:1 si x D 0.
Sabemos que
1
X . 1/nx 2nC1
sen x D ;
.2n C 1/
nD0
entonces
1
X . 1/n x 2n
f .x/ D :
.2n C 1/
nD0
Luego para b > 0 tenemos
b 1
b X
. 1/nx 2n
Z Z
f .x/ dx D dx
0 0 nD0 .2n C 1/
1 Z b
X . 1/n
D x 2n dx
.2n C 1/ 0
nD0
1
X . 1/n b 2nC1
D
.2n C 1/ 2n C 1
nD0
1
X . 1/n b 2nC1
D :
.2n C 1/.2n C 1/
nD0
1
X
Supongamos que f .x/ D an x n sobre un intervalo abierto I. En-
nD0
tonces por el teorema anterior tenemos que
1
X
0
f .x/ D nan x n 1
;
nD1
X1
f 00 .x/ D n.n 1/ an x n 2
;
nD2
X1
f 000 .x/ D n.n 2/.n 3/ an x n 3
;
nD3
::
:
1
X
f .k/.x/ D n.n 1/ .n k C 1/ an x n k
;
nDk
luego
f .n/.0/
an D para todo n;
n
128 Fernando Mejas
es decir
1
X f .n/.0/ n
f .x/ D x para todo x 2 I:
n
nD0
f .n/ .0/
an D para todo n:
n
1
X
Es decir, an x n es la serie de Taylor de f sobre el intervalo I.
nD0
Entonces
e 1= h2
0
f .0/ D lim
h!0h
1
D lim 2
h!0 h e h
1=
D lim (donde D 1= h)
!1 e 2
1
D lim (por la regla de LHpital)
!1 2 e 2
D 0:
Luego
3 1= h2
00 2h e
f .0/ D lim
h!0 h
1
D 2 lim 2
h!0 h4 e 1= h
2
D 2 lim 2
(donde D 1= h)
!1 e
D 0:
7. Series de Funciones 129
TEOREMA 24 Sea f una funcin tal que f .n/ 0 para todo n 0 sobre un intervalo a; a C r.
(TEOREMA DE Entonces
1
BERNSTEIN) X f .n/.a/
f .x/ D .x a/n :
n
nD0
DEMOSTRACIN Podemos asumir que a D 0 y x > 0. Utilizando la forma integral del resto
(Teorema 1-1) tenemos
n
X f .k/.0/ n
(11) f .x/ D x C Rn .x/;
k
kD0
donde
x
f .nC1/ .t /
Z
(12) Rn .x/ D .x t /n dt:
0 n
para todo x 2 0; r. Notemos que la ecuacin (10) implica que para x D r
de donde
fn .x/ fn .r/;
es decir,
Rn .x/ Rn .r/
nC1
nC1 :
x r
Entonces
x nC1 x nC1
(14) Rn .x/ Rn .r/ f .r/;
r r
por la desigualdad (13). Luego
lim Rn .x/ D 0:
n!1
1
X 1
X
Supongamos que an x n y bn x n convergen sobre un intervalo
nD0 nD0
abierto . r; r/. Claro est sobre cualquier intervalo cerrado contenido en
. r; r/ la convergencia de cada una de las series es absoluta, entonces si
X1 1
X X1 n
X
cn es el producto de Cauchy de an y bn , es decir cn D ak bn k ,
nD0 nD0 nD0 kD0
entonces por el Teorema 6-2 tenemos que
1
X 1
X 1
X
n n
(15) cn x D an x bn x n : para todo x 2 . r; r/:
nD0 nD0 nD0
1
X . 1/nC1
que es convergente. El teorema de Abel demuestra tambin
n
nD1
que para x D 1 se cumple la igualdad, es decir
1
X . 1/nC1
log 2 D :
n
nD1
1
X
TEOREMA 25 Supongamos que la serie an r n converge para un r > 0. Si
(TEOREMA nD0
DEL LMITE
1
DE ABEL) X
f .x/ D an x n ; para r < x < r;
nD0
X
DEMOSTRACIN Para simplificar la notacin supongamos que r D 1, entonces la serie an
es convergente. Por la condicin de Cauchy tenemos que dado " > 0 existe
un n tal que
jm C C an j < " para todos n; m N :
Notemos que 1 x x 2 x 3 0 pues x 2 0; 1. Entonces por el
Lema de Abel (Lema 5-2) tenemos
jam x m C C an x n j jam C C an j < ": para todos n; m N :
Entonces para todo m N tenemos que
1
X
an x n a0 C C am 1 x m 1 < "
para todo x 2 0; 1;
nD0
1
X
es decir la serie an x n converge uniformemente sobre 0; 1. Dado que
nD0
cada an x n es continua sobre 0; 1 por el Teorema 18 tenemos
1
X
an r n D lim f .x/:
x!r
nD0
1
X
lim an x n existe. El Teorema 25 demuestra que toda serie conver-
x!1
nD0
gente (en el sentido usual) tambin es Abel covergente, pero el recproco
no es cierto, como ilustra el ejemplo siguiente que no es ms que una for-
malizacin parcial de la discusin al inicio de esta seccin.
1
X
EJEMPLO 26 La serie . 1/n es Abel convergente pero no convergente. En efecto si
nD0
an D . 1/n entonces
1
X 1
X
lim an x n D lim . x/n
x!1 x!1
nD1 nD1
1
D lim
x!1 1Cx
1
D :
2
Supongamos adems que lim nan D 0 y que lim f .x/ D `, entonces la serie
n!1 x!1
1
X
an converge y
nD0
1
X
an D `:
nD0
Por hiptesis lim nan D 0, entonces existe un nmero N2 tal que para
n!1
todo n N2
"
nan < :
3
Si xn D 1 1=n tenemos
lim f .xn / D `:
n!1
Por tanto, existe un nmero natural N3 tal que para todo n N3 tenemos:
"
jf .xn / `j < :
3
n
X
Si sn D ak , para x 2 . 1; 1/ tenemos
kD0
n
X 1
X
k
sn ` D f .x/ `C ak .1 x /C ak x k :
kD0 kDnC1
Si x 2 .0; 1/ entonces
.1 x k / D .1 x/.1 C x C C x k 1
/ k.1 x/;
Para x D xn obtenemos
" " "
jsn `j < C C D ":
3 3 3
1
X 1
X
Entonces existe el lmite lim cn x n , o sea la serie cn es Abel con-
x!1
nD1 nD1
vergente. Luego
1
X 1
X
cn D lim cn x n
x!1
nD1 nD1
1 1
!
X X
D lim an x n bn x n
x!1
nD1 nD1
1
X 1
X
D lim an x n lim bn x n
x!1 x!1
nD1 nD1
1
X 1
X
D an bn
nD1 nD1
Supongamos adems que existe un nmero k > 0 tal que nan < k para todo n y
1
X
que lim f .x/ D `, entonces la serie an converge y
x!1
nD0
1
X
an D `:
nD0
PROBLEMAS
1
X .n C 1/.n C 2/.n C 3/ n 1
(9) x D .
3 .1 x/4
nD0
LA SERIE BINMICA 8
Los dos aos que siguieron a la graduacin de Newton
en Cambridge 1665 y 1666 fueron aos de epidemia de peste
y, cuando la universidad se cerraba, Newton pasaba el tiempo
en su hogar. Su madre haba enviudado y regresado a Woolsthorpe.
Aqu descubri Newton su mina de oro: la matemtica. . .
JACOB BRONOWSKI
139
140 Fernando Mejas
0
0
1 1
0 1
2 2 2
0 1 2
3 3 3 3
0 1 2 3
:::
! !
1 1
.a C b/1 D a1 C b 1 D aC b:
0 1
h
!
X
hh h k k
(3) .a C b/ D a b
k
kD0
hC1
!
hC1
X h C 1 hC1 k k
(4) .a C b/ D a b :
k
kD0
8. La Serie Binmica 141
Tenemos
.a C b/hC1 D .a C b/.a C b/h
h
!
X h h k k
D .a C b/ a b
k
kD0
" ! ! ! #
h h h h 1 h h
D .a C b/ a C a b CC b
0 1 h
! ! ! !
h hC1 h h h h 1 2 h
D C a bC a b C C ab h
0 1 2 h
! ! !
h h h h 1 2 h
C a bC a b CC ab h
0 1 h 1
!
h hC1
C b ;
h
luego
! " ! !#
h h h
.a C b/hC1 D ahC1 C C ah b 2
0 0 1
" ! !# " ! !#
h h h h
C C ah 1 b 2 C C C ab h
1 2 h 1 h
!
h hC1
C b :
h
! !
n n
Ahora aplicando la ecuacin (2) y el hecho de que D D 1 para
0 n
todo n obtenemos
! !
hC1 h C 1 hC1 hC1 h
.a C b/ D a C a b
0 1
! ! !
hC1 h 1 2 hC1 h C 1
C a b CC ab h C b hC1 :
2 h hC1
Por tanto la ecuacin () es vlida para todo nmero natural n.
Luego
nC1 n n
lim D lim
x D lim
jxj D jxj:
n!1 an n!1 n C 1 n!1 n C 1
1
!
X n
Por tanto x converge si jxj < 1. En particular
n
nD0
!
n
(5) lim x D 0;
n!1 n
PRIMERA Notemos que si f est definida por f .x/ D .1 C x/ , entonces para todo k
DEMOSTRACIN tenemos
DEL TEOREMA 2 f 0 .x/ D .1 C x/ 1 ;
f 00 .x/ D . 1/ .1 C x/ 2
;
000
f .x/ D . 1/. 2/ .1 C x/ 3
;
::
:
f .k/ .x/ D . 1/ . k C 1/ .1 C x/ k
:
lim Rn .x/ D 0:
n!1
.x C / 1
1 si 1,
y
.x C / 1
< .1 C x/ 1
M si < 1.
Entonces
jx.x C / 1
j jxjM;
es decir
(6) jx.x C / 1
j M:
As
n
. 1/ . n/ 1 x
jRn .x/j D .n C 1/
x.x C /
.n C 1/ x C
n
. 1/ . n/ nC1 1 1 x
D x .x C /
n x xC
! n
1 1 x
D x n x.x C / 1 :
n x x C
8. La Serie Binmica 145
lim Rn .x/ D 0:
n!1
SEGUNDA Sean > 0 y ' la funcin definida para 0 < x < 1 por
DEMOSTRACIN
DEL TEOREMA 2 '.x/ D .1 x/ :
De donde
' .n/.x/ 0 para todo n 0 y todo x < 1:
Entonces por el teorema de Bernstein (Teorema 7-24) tenemos que ' se
puede desarrollar en serie de potencias sobre 1; 1/ y por tanto tiene desa-
rrollo en serie de potencias alrededor de 0, es decir, la serie
1
X ' .n/.0/ n
'.x/ D x
n
nD1
Entonces
1
!
X
n n
.1 x/ D . 1/ x ; para todo x 2 0; 1/:
n
nD0
Es fcil verificar que esta ecuacin tambin es cierta para < 0 (reempla-
zando por y x por x).
1
!
X n
TERCERA Sea f la funcin definida por f .x/ D x , para todo x con jxj < 1.
DEMOSTRACIN n
nD0
DEL TEOREMA 2 Entonces
1
!
X
f 0 .x/ D n xn 1:
n
nD1
Luego
1
!
0
X n 1
.1 C x/f .x/ D .1 C x/ n x
n
nD1
1 1
! !
X n 1
X n
D n x C n x
n n
nD1 nD1
1 1
! !
X n
X n
D .n C 1/ x C n x
nC1 n
nD0 nD0
1
" ! !#
X n
D n x C .n C 1/ xn:
n nC1
nD0
Notemos que
! !
n . 1/ : : : . n C 1/
n x C .n C 1/ Dn
n nC1 n
. 1/ : : : . n/
C .n C 1/
.n C 1/
. 1/ : : : . n/. n C n/
D
n !
. 1/ : : : . n/
D D :
n n
f .x/
.x/ D :
.1 C x/
Luego
0 .1 C x/f 0 .x/ f .x/
.x/ D D0
.1 C x/C1
sobre . 1; 1/. Entonces, por el teorema del valor medio existe una cons-
tante C , tal que .x/ D C para todo x 2 . 1; 1/. Es decir
f .x/ D C.1 C x/ :
8. La Serie Binmica 147
C D f .0/ D 1;
Newton redact una segunda carta para Leibniz en octubre, una se-
mana despus que el destinatario hubiese concluido una visita de diez das
a Londres, durante la cual Collins le di acceso a De Analysi, sin el conoci-
miento de Newton. Aos ms tarde, Newton se enter de la indiscrecin de
Collins. Leibniz recibi la carta en junio de 1677. Aproximadamente cua-
tro dcadas ms tarde se desarrollaba uno de los ms lamentables y amargos
episodios en la historia de las matemticas: la controversia entre Newton
y Leibniz sobre la prioridad en la invencin del Clculo. Newton argu-
mentaba que l haba desarrollado primero esta teora y que Leibniz haba
Esta
nota tambin es traducida de una cita en el libro de Westfall [24], p. 68.
Lacarta aparece citada en [24], p. 68.
Tambin sta es de una cita en [24], p. 99.
8. La Serie Binmica 149
FIGURA 1: Retrato de Isaac Newton pintado en Cambridge por Godfrey Kneller en 1689.
150 Fernando Mejas
EPISTOLA PRIOR
La traduccin la Epistola Prior est basada sobre la versin en ingls que
aparece en A Source Book in Mathematics por David Eugene Smith, Dover,
Nueva York, 1959. ([15], pp. 224225). Otra traduccin pero presentada
en un estilo ms moderno se encuentra en el tomo 4 de la coleccin Sigma,
El Mundo de las Matemticas, por J. R. Newman ([16], pp. 112115).
EPISTOLA PRIOR
EPISTOLA POSTERIORI
1
1 p
Esto es 1 xxj 2 D .1 x2/ 2 D 1 x2.
8. La Serie Binmica 155
EPISTOLA POSTERIORI
Es decir
1 2 1 4 1 6 1 2 1 4 1 6
1 x x x 1 x x x D
2 8 16 2 8 16
1 2 1 4 1 6
D1 x x x
2 8 16
1 2 1 4 1
D x C x C x6
2 8 16
1 6
D x
16
D 1 x 2:
8. La Serie Binmica 157
m 3 m 4
y 4 es decir 1, el quinto; y 1 , es decir 0, el sexto
4 5
donde la serie termina en este caso.
Por tanto, apliqu esta Regla a la Serie a ser insertada. As
1 3
x
para el Crculo, el segundo trmino sera 2 , entonces coloqu
3
1
1 1 1 1
m D 12 , y los trminos que resultaron fueron 2 o ,
2 2 8 8
1 1
2 2 1 1 3 5
oC ,C 2 o , y as infinitamente. De esto supe
3 16 16 4 128
que el rea deseada de un segmento de Crculo es
1 3 1 5 1 7 5 9
2x 8x 16 x 128 x
x &c.
3 5 7 9
Por el mismo proceso se hallaron las reas de las Curvas
restantes, como el rea de una Hiprbola, y de las otras alternadas
0 1 2 3
en esta Serie 1 x x j 2 , 1 xx j 2 , 1 xx j 2 , 1 x x j 2 , &c.
El mismo mtodo puede ser usado para intercalar otras Se-
ries, inclusive con intervalos de dos o ms trminos faltantes al
mismo tiempo.
Esta fue mi primer entrada a estos estudios; lo cual segura-
mente se me habra escapado de la memoria de no haber hecho
referencia a ciertas notas hace pocas semanas.
Pero cuando supe esto, inmediatamente consider que los tr-
0 2 4 6
minos 1 x x j 2 , 1 x x j 2 , 1 x x j 2 , 1 x x j 2 , &c. es decir 1, 1 xx, 1
2xx Cx 4 , 1 3x x C3x 4 x 6 , etc. seran interpolados de la misma forma
y las reas seran deducidas de ellas; y que para esto no se requiere
nada ms que la omisin de los denominadores 1, 3, 5, 7, etc. en
los trminos que expresan las reas, es decir, los coeficientes de los
1 3
trminos de la cantidad a ser intercalada 1 xx j 2 , o 1 xx j 2 , o ms
m
generalmente 1 xx j se producira por multiplicacin continua de
m 1 m 2 m 3
los trminos de esta Serie m &c. As, (por
1
2 3 4 3
ejemplo) 1 xx j 2 resultara 1 21 x 2 81 x 4 16
1 6
x &c. Y 1 xx j 2 se
1
convertira en 1 12 x 2 C 18 x 4 C 16
1 6
x etc. Y 1 xx j 3 sera 1 31 x x C
1 4 1 6
9x 81 x &c.
As la Reduccin general de Radicales a Series se volvi cono-
cida para m a travs de la Regla que establec al principio de la
Carta anterior, antes de conocer la Extraccin de Races. Pero,
habiendo aprendido esto, lo otro no poda permanecer oculto para
m por mucho tiempo. Para probar estas operaciones, multipliqu
1 21 x 2 18 x 4 16
1 6
x &c. por s mismo, y result 1 xx , el resto de
los trminos se desvanecieron en el infinito por la continuacin de
la serie.
158 Fernando Mejas
8. La Serie Binmica 159
Similarmente 1 31 xx C 19 x 4 81
1 6
x &c. fue multiplicado dos veces
por s mismo y produjo 1 xx . Lo cual indica que stas pueden ser
consideradas como una Demostracin de estas conclusiones, me
llevaron naturalmente a tratar el recproco, para ver si estas Series
las cuales eran ciertamente Races de la cantidad 1 xx no podran
ser extradas por medios Aritmticos. El intento fue exitoso...
Habiendo descubierto esto, abandon por completo la inter-
polacin de Series, y us estas operaciones solamente como una
base ms genuina, tampoco fall en descubrir la Reduccin por
Divisin, un mtodo ciertamente ms fcil.
CAPTULO
SERIES DE FUNCIONES
COMPLEJAS 9
. . . Lagrange, Laplace y Gauss conocieron y siguieron las obras
de Euler. . . El Introductio de 1748 cubri en sus dos
tomos una amplia variedad de temas. Contiene una exposicin
sobre series infinitas incluyendo aquellas para ex , sen x y cos x, y
presenta la relacin eix D cos x C i sen x (que ya haba sido descubierta
por Johann Bernoulli y otros en diferentes formas).
DIRK J. STRUIK
SUCESIONES COMPLEJAS
161
162 Fernando Mejas
r
2
b2
r 3
r
rn
r
bn
r b1
1
r
a1 0 a2 an
FIGURA 1.
Decimos que una sucesin compleja fn g converge hacia l si para todo " >
0 existe un nmero natural N tal que para todo n, si n N entonces
jn lj < " (Figura 2). En este caso escribimos n ! l cuando n ! 1 o
simplemente lim n D l. Si fn g no converge, decimos que diverge.
n!1
A continuacin presentamos un par de resultados evidentes que tras-
ladan los problemas de convergencia de sucesiones complejas al escenario
de sucesiones reales.
TEOREMA 1 Una sucesin compleja fn g converge hacia l si y slo si la sucesin de nmeros reales
fjn ljg converge hacia 0.
r
r 3
2
'$ r
r
r r -
l rr
1 N "
r
&%
FIGURA 2.
9. Series de Funciones Complejas 163
SERIES COMPLEJAS
Sn D 1 C C n :
1
X
Entonces decimos que la serie n converge si la sucesin fSn g converge.
nD1
1
X
Si fSn g diverge decimos que n diverge.
nD1
1
X
Notemos que si n D an C i bn para todo n, entonces la serie n
nD1
1
X 1
X
est determinada por las dos series reales an y bn y, tenemos el si-
nD1 nD1
guiente corolario del Teorema 2.
1
X
TEOREMA 3 Supongamos que n D an C i bn para todo n. Entonces la serie n converge si
nD1
1
X 1
X
y slo si las series an y bn convergen. Y tenemos
nD1 nD1
1
X 1
X 1
X
n D an C i bn :
nD1 nD1 nD1
1
X
evidente que si n converge absolutamente, entonces tambin converge
nD1
y se cumple la siguiente desigualdad
X1 X 1
n jn j:
nD1 nD1
1
X
TEOREMA 4 Supongamos que n D an C i bn para todo n. Entonces la serie n converge
nD1
1
X 1
X
absolutamente si y slo si las series an y bn convergen absolutamente.
nD1 nD1
P P
DEMOSTRACIN Supongamos que la serie n converge absolutamente, es decir que jn j
converge. Pero, para todo n tenemos
p
jan j an 2 C bn 2 D jn j
y p
jbn j an 2 C bn 2 D jn j;
P
entonces, por el criterio de comparacin deducimos que las series jan j y
P
jbn j convergen. P P
Ahora
P supongamos
P que an y bn convergen
P absolutamente, en-
tonces jan j y jbn j convergen y, por tanto, .jan j C jbn j/ converge.
Pero
jn j D jan C i bn j jan j C jbn j para todo n.
Entonces,
P aplicando de nuevo el criterio de comparacin tenemos que
jn j converge.
CONVERGENCIA UNIFORME
jan n j converge si
P
entonces, de acuerdo con el criterio de la raz la serie
lim jan j1=n < 1, es decir
n!1
Como en el caso de las series de potencias reales, si lim jan j1=n > 0, deno-
n!1
minamos radio de convergencia de la serie an n al nmero
P
1
rD
lim jan j1=n
n!1
'$
ar -
&%
r
FIGURA 3.
1
X
TEOREMA 5 Supongamos que la serie an 0 n converge para algn 0 0. Entonces para
nD0
cualquier 2 C con 0 < jj < j0 j las series
1
X 1
X
n
an y nan n 1
nD0 nD1
convergen absolutamente.
jan n j D jan j jn j
n
n
D jan j j0 j
0
n
M :
0
jan n j Mn :
Pero como f .x/ > 0 para todo x 0, tenemos pues, que la serie de Taylor
de f converge hacia f .x/ solamente cuando x D 0.
Una explicacin para el comportamiento anmalo de esta funcin se
obtiene si consideramos f definida sobre C as
( 2
e 1= si 0,
f ./ D
0 si D 0.
3 5 7
sen D C C ;
3 5 7
luego, dividiendo por queda
2 4 6
1 C C D 0:
3 5 7
w w2 w3
1 C C D 0:
3 5 7
Entonces, utilizando teora de ecuaciones, tenemos que la suma de los
recprocos de las races de esta ecuacin es el opuesto del coeficiente del
trmino lineal, es decir 1/6. Pero las races de polinomio infinito son ,
2, 3,. . . Entonces
1 1 1 1
D 2C 2
C C ;
6 .2/ .3/2
9. Series de Funciones Complejas 169
es decir
2 1 1
D 1CC 2 C 2 C :
6 2 3
Otro uso de estas definiciones llev a Euler a una frmula muy im-
portante. Notemos que
1 1
!
X . 1/n 2n X . 1/n 2nC1
cos C i sen D Ci
.2n/ .2n C 1/
nD0 nD0
2 4 3 5
D1 C CCi C C
2 4 3 5
.i/2 .i/4
D1C C C
2 4
.i/3 .i/5
C i C C C
3 5
i .i/2 .i/3 .i/4 .i/5
D1C C C C C C
1 2 3 4 5
1
X .i/n
D :
n
nD0
es decir
e i D cos C i sen :
En particular, para D tenemos
e i D cos C i sen ;
de donde
e i C 1 D 0:
Esta frmula tiene la particularidad de que involucra los cinco nmeros
ms importantes en el Clculo.
170 Fernando Mejas
UN TEXTO DE EULER
libros de texto de Clculo son copias (o copias de copias) del libro indicado
arriba y de sus obras: Institutiones Calculi Differentialis (1755) e Institutiones
Calculi Integralis (17481794).
Otro hecho asombroso acerca de Euler es que durante los ltimos 17
aos de su vida estuvo completamente ciego (antes haba perdido un ojo)
sin disminuir su dedicacin al trabajo ni su productividad. En una ocasin
el gobierno suizo plante un proyecto (que no lleg a feliz trmino) para
publicar las obras completas de Euler y se estim que se requeriran entre
setenta y ochenta volmenes de gran tamao.
CAPTULO IV
1 C 2
2
D 1 C 3 C 42 C 73 C 114 C 185 C :
1
Entre las secciones 64 y 68, Euler explora los desarrollos en series de las
funciones definidas por las siguientes expresiones:
a C b a C b C c2 a C b C c2 C d3
; ; y :
.1 /2 .1 /3 .1 /4
a D A C Bz C Cz 2 C Dz 3 C Ez 4 C
C A z C Bz 2 C Cz 3 C Dz 4 C :
a
Pero a D A, as que A D . Los coeficientes de cada potencia de
z deben tener suma cero, as que tenemos las ecuaciones
B C A D 0;
C C B D 0;
D C D D 0;
E C D D 0:
71. Las funciones irracionales se pueden transformar en se-
ries por
el siguiente teorema universal:
m m m m n m .m n / m 2n 2
.P C Q / n D P n C P n QC P n Q
n n 2n
m .m n /.m 2n / m 3n 3
C P n Q C ;
n 2n 3n
176 Fernando Mejas
9. Series de Funciones Complejas 177
m
donde existe un nmero infinito de trminos a menos que sea
n
un entero positivo. As cuando elegimos valores enteros fijos para
m y n,
1 1 1 1 11 3 113 5
.P C Q / 2 D P 2 C P 2 Q P 2 Q2 C P 2 Q3
2 24 246
o
1 1 1 3 13 5 135 7
.P C Q / 2 DP 2 P 2 QC P 2 Q2 P 2 Q3
2 24 246
o
1 1 1 2 12 5 125 8
.P C Q / 3 D P 3 C P 3 Q P 3 Q2 C P 3 Q3
3 36 369
o
1 1 1 4 14 7 147 10
.P C Q / 3 DP 3 P 3 QC P 3 Q2 P 3 Q3
3 36 369
o
2 2 2 1 21 4 214 7
.P C Q / 3 D P 3 C P 3 Q P 3 Q2 C P 3 Q3 :
3 36 369
.1 C C 2 C
3 C 4 C /m 1
:
m 1 .m
1/.m 2/ 2
.1 C Z /m 1
D1C ZC Z
1 12
.m 1/.m 2/.m 3/ 3
C Z C :
123
CAPTULO VI
5
a 2 cae entre a 2 y a 3 , y as es una cantidad que tiene el mismo
5 p p
gnero. Aunque a 2 es igual tanto a a 2 a como a a 2 a, consi-
deramos slo el segundo. De manera similar z puede tomar valores
irracionales, a pesar de que este concepto es ms difcil de com-
prender.
p
Sin embargo, consideramos solo valores reales para z.
As a 7 tiene un valor que cae entre a 2 y a 3 .
a ! D 1 C k !;
y con a como base de los logaritmos tenemos
! D log.1 C k !/:
i i .i 1/ 2 2 i .i 1/.i 2/ 3 3
a i! D 1 C k ! C k ! C k ! C :
1 12 123
z
Si ahora colocamos i D , donde z denota cualquier nmero finito,
!
como ! es infinitamente pequeo, entonces i es infinitamente gran-
z
de. Como tenemos ! D , donde ! es representada por una frac-
i
cin con un denominador infinito, as que ! es infinitamente pe-
z
queo, como debera ser. Cuando sustituimos por ! queda
i
z
a z D .1 C k /i
i
1 i .i 1/ 2 2
D 1 C kz C k z
1 1 2i
i .i 1/.i 2/ 3 3 i .i 1/.i 2/.i 3/ 4 4
C k z C k z C
1 2i 3i 1 2i 3i 4i
Esta igualdad es vlida suponiendo que i es sustituido por un
nmero infinitamente grande, pero entonces k es un nmero finito
que depende de a , como hemos visto.
1 i
116. Puesto que i es infinitamente grande, D 1, y si
i
sustituimos i por un nmero mayor, ms cercana a 1 est la frac-
i 1
cin . Por tanto, si i es un nmero mayor que cualquier
i
i 1
nmero asignable, entonces el nmero es igual a 1. Por el
i
i 2 i 3
mismo motivo D 1, D 1, y as sucesivamente. Se sigue
i i
184 Fernando Mejas
x
1
Z
Euler se refiere al hecho de que log x D dt; que es la forma en que
1 t
se define la funcin logartmica en los libros de Clculo modernos.
El resto del captulo es dedicado al uso de series para calcular ciertos valores
particulares de la funcin logaritmo.
i 1 1 i 2 1 i 3 1
que ,
D D , D , y as sucesivamente. Cuando
2i 2 3i 3 4i 4
sustituimos estos valores obtenemos
kz k 2z 2 k 3z 3 k 4z 4
az D 1 C C C C C :
1 12 123 1234
Esta ecuacin expresa una relacin entre a y k , ya que cuando
colocamos z D 1, tenemos
k k2 k3 k4
a D1C C C C C :
1 12 123 1234
Cuando a D 10, entonces k es por necesidad aproximadamente
igual a 2,30258 como ya hemos visto.
CAPTULO VIII
Se dice que esta es la primera vez que el smbolo fue usado para denotar
la razn entre la longitud de una circunferencia y el dimetro de un crculo.
Es decir, n
e D lim 1C :
n!1 n
9. Series de Funciones Complejas 187
e iv D cos v C i sen v;
o, equivalentemente
e iv cos v D i sen v;
de donde se deduce la famosa frmula de Euler (tomando v D ):
e i C 1 D 0:
9. Series de Funciones Complejas 189
PROBLEMAS
MICHAEL SPIVAK
191
192 Fernando Mejas
por
n n .n 1/
.x C /n D x n C .x C /n 1C . 2/.x C 2/n 2C
1 1:2
n .n 1/ : : : .n C 1/
C . / 1 .x C /n C
1 : 2 : : :
n
C . .n 1//n 2 .x C .n 1// C . n /n 1 I
1
siendo x, y cantidades cualesquiera, n un entero positivo.
Cuando n D 0, la expresin queda
.x C /0 D x 0 ;
Esta lnea indica que el artculo contina, pero que los editores de las u-
vres Compltes consideraron que el resto del material es irrelevante y lo omi-
tieron.
10. Tres Obras de Abel 197
. .m C 1// m m
D . 1/ .m C 1/m m m m m 1
m m m 2 m .m 1/ m 2 m 3
C .m 1/ . 2/ .m 2/ . 3/ C ;
2 2:3
. .m C1//m C1 D . 1/m C1 .m C1/m C1m m C1 .m C1/m m m
.m C 1/m m 1 m 1
C .m 1/ . 2/ C C:
2
o sea
C D . .m C 1//m :
Por tanto, la ecuacin propuesta se verifica tambin para n D
m C 1 y tambin es cierta para n D 0; as por tanto se cumple para
n D 0; 1; 2; 3 etc. es decir, la ecuacin es cierta para todo valor
entero positivo de n.
Si suponemos D 0 obtenemos la frmula del binomio. Si
tomamos D x, entonces tenemos
n n .n 1/
0 D xn x .x C /n 1
C x .x C 2/n 1
1 1:2
n .n 1/.n 2/
x .x C 3/n 1
C
1:2:3
ahora, dividiendo por x ,
n n .n 1/
0 D xn 1
.x C /n 1
C .x C 2/n 1
1 1:2
n .n 1/.n 2/
.x C 3/n 1
C
1:2:3
la cual es bien conocida; ya que el segundo miembro de esta ecua-
cin no es otra cosa que
. 1/n .x n 1
/;
1 C m1 x C m .1:2
m 1/ 2
x C
m .m 1/.m
1:2:3
2/ 3
x C
por
1.
m m .m 1/ 2 m .m 1/.m 2/ 3
1C xC x C x C
1 1:2 1:2:3
m .m 1/.m 2/ m .n 1/ n
C x C
1 : 2 : 3 : : :n
Cuando m es un nmero entero positivo, vemos que la suma de
esta serie se reduce a un caso finito, la cual representamos por
.1 C x /m . Cuando m no es un nmero entero, la serie es infinita, y
ser convergente o divergente, dependiendo de los diferentes valo-
res asignados a m y x . En tal caso escribimos la misma igualdad
m m .m 1/ 2
.1 C x /m D 1 C xC x C ;
1 1:2
la cual solamente indica que las dos expresiones
m m .m 1/ 2
.1 C x /m y 1C xC x C ;
1 1:2
tienen ciertas propiedades comunes, para ciertos valores de m y de
x , dependiendo de la igualdad numrica de las expresiones.
Asumimos que la igualdad numrica se cumple siempre que
la serie sea convergente; pero hasta el presente este hecho no ha
sido demostrado. Ni siquiera todos los casos en que la serie es
convergente han sido examinados. Si suponemos la existencia de
la igualdad indicada, falta investigar el valor de .1 C x /m , ya que
esta expresin tiene en general una infinidad de valores diferentes,
mientras que la serie 1 C m x C tiene solamente uno. El objetivo
de esta memoria es el de llenar una laguna existente en la solucin
completa del siguiente problema:
)es una forma antigua (y fuera de uso) de etiquetar las notas al pie de
pgina.
10. Tres Obras de Abel 203
2.
v0 C v1 C v2 C C vm C
donde "m es una cantidad que para todos los valores crecientes de
m se aproxima indefinidamente hacia cero, ser necesariamente
convergente. En efecto, de acuerdo con nuestra suposicin pode-
mos tomar valores de m suficientemente grandes para que %m C1 <
%m , %m C2 < %m C1 ; : : : %m Cn < %m Cn 1 .
) Para abreviar, a lo largo de esta memoria ! representa una cantidad que es ms pe-
quea que cualquier cantidad dada.
204 Fernando Mejas
t 0 D p 0; t 1 D p 1 p 0; t 2 D p 2 p 1; etc.
luego
o tambin
Como las diferencias " 0 "1 ; "1 "2 ; : : : son positivas, la cantidad r
es evidentemente menor que " 0.
Definicin. Una funcin f x se denomina funcin continua de
x entre los lmites x D a y x D b, si para cualquier valor de x
comprendido entre estos lmites, la cantidad f .x / se aproxima
indefinidamente al lmite f x, para valores siempre decrecientes de
.
Teorema IV. Si la serie
f D v 0 C v 1 C v 2 2 C C v m m C
Es decir m m
./ D lim .a/ lim p D 0:
m!1 m!1
Luego
Sean
m 1
v 0 C v 1 C v 2 2 C C v m 1 D ' ;
v m C v m C v m C1 m C1 C D ;
entonces
m m C1
D v m m C v m C1 m C1 C I
m
as, de acuerdo con el teorema III, p , donde p de-
<
signa la mayor de las cantidades v m vm m , m
C v m C1 m C1 , v m m C
v m C1 m C1 C v m C2 m C2 etc. Tenemos entonces que para todo valor
de , igual o inferior a , podemos tomar valores de m suficiente-
mente grandes para obtener
D !:
' '. / D !I
o, lo que es lo mismo
f f . / D !;
v 0 C v 1 C v 2 2 C
f D v 0 C v 1 C v 2 2 C ;
de donde
208 Fernando Mejas
f x D 'x C x:
Pero
m m C1 m C2
xD v m m C v m C1 m C1 C v m C2 m C2 C I
luego, si designamos por x a la mayor de las cantidades v m m ,
v m m C v m C1 m C1 , v m m C v m C1 m C1 C v m C2 m C2 etc., tenemos por
el teorema III: m
x< x:
Ahora tomamos m suficientemente grande para que se cumpla
x D ! , y en consecuencia tambin tenemos
f x D ' x C !;
f .x / D '.x / C !;
de donde
fx f .x / D ' x '.x / C !:
Por la forma de ' x resulta claro que podemos elegir suficiente-
mente pequeo para que se verifique
'x '.x / D !;
es decir
fx f .x / D !:
Por tanto la funcin f x es continua
Teorema VI. Designemos por % 0 ; %1 ; %2 etc. %0 0; %1 0 ; %2 0 etc.
los valores numricos de los miembros respectivos de las dos series
convergentes
v 0 C v1 C v2 C D p;
v 00 C v 10 C v 2 0 C D p 0 ;
es discontinua para todo valor .2m C 1/ de x, siendo m un nmero entero. Como bien
sabemos muchas series son de este tipo.
210 Fernando Mejas
si las series
%0 C %1 C %2 C
%0 0 C %1 0 C %2 0 C
r m D v 0v m 0 C v 1v m 1
0
C v 2v m 2
0
C C v m v 00
.v 0 C v 1 C v 2 C /.v 0 0 C v 1 0 C v 2 0 C /:
Demostracin. Considerando
pm D v0 C v1 C v2 C ;
p m 0 D v 0 0 C v 1 0 C v 20 C ;
(a) r 0 C r 1 C r 2 C C r 2m D p m p m 0 C p 0 v 2m 0 C p 1 v 2m 1
0
C
0
C pm 1 v m C1 C .D t /
C p 0 v 2m C p 1 0 v 2m 1 C
0
C p 0 m 1 v m C1 .D t 0 /:
Sea
%0 C %1 C %2 C D u ;
%0 0 C %1 0 C %2 0 C D u 0 ;
es claro que, sin considerar el signo, tenemos,
r 0 C r 1 C r 2 C r 3 C D .v 0 C v 1 C v 2 C /.v 0 0 C v 1 0 C v 2 0 C /:
Esta es una aplicacin del Teorema del Lmite de Abel (Teorema 6-4).
2 0 0 0 2
.t 0 C t 1 C t 2 C /.t 0 C t 1 C t 2 C /
(b) D t 0 t 0 0 C .t 1 t 0 0 C t 0 t 1 0 / C .t 2 t 0 0 C t 1 t 1 0 C t 0 t 2 0 / 2 C
C .t m t 0 0 C t m 1 t 1 0 C t m 2 t 2 0 C C t 0 t m 0 / m C
Ahora supongamos que las tres series
t 0 C t 1 C t 2 2 C
t 0 0 C t 1 0 C t 20 2 C
t 0 t 0 0 C .t 1 t 0 0 C t 0 t 1 0 / C .t 2 t 0 0 C t 1 t 1 0 C t 0 t 2 0 / C
son convergentes, entonces, por el teorema IV, aplicado en la ecuacin
(b) se tiene que converge hacia la unidad:
.t 0 C t 1 C t 2 C /.t 0 0 C t 1 0 C t 2 0 C /
D t 0 t 0 0 C .t 1 t 0 0 C t 0 t 1 0 / C .t 2 t 0 0 C t 2 t 1 0 C t 0 t 2 0 / C
3.
Los dos puntos (:) en esta frmula no constituyen alguna notacin mate-
mtica particular sino que sirven para indicar el factor por el que debe
multiplicarse a fin de obtener la ecuacin siguiente. Una traduccin ms
acorde con el espritu (pero alejada del estilo original que queremos preser-
var aqu) del texto sera
obtenemos
m x D 1 2 3 : : : cos.m' C
1 C
2 C C
/
C i sen.' C
1 C
2 C C
/;
10. Tres Obras de Abel 215
Si escribimos
m C1 k C k 0i C 1
D .cos
C i sen
/ D ;
hallamos
" 2 2 # 12
k0 k0
m C1 k C1
D C I cos
D I sen
D :
Si en la expresin
m C1
D .cos
C i sen
/;
tomando sucesivamente los valores 1; 2; 3; : : : , obtenemos ecua-
ciones que multiplicadas trmino a trmino resultan
m .m 1/ : : : .m C 1/
m D
1 : 2 : : :
D 1 2 3 : : : cos.
1 C
2 C C
/ C i sen.
1 C
2 C C
/:
m x D 1 2 3 : : : cos.' C
1 C
2 C C
/
C i sen.' C
1 C
2 C C
/;
ahora usamos una nueva notacin para abreviar
1 2 3 : : : D l ; ' C
1 C
2 C C
D W
m x D .cos C i sen /:
concluimos que
Luego
y
l C1 C1
D C1 I
l
adems tenemos
" 2 2 # 12
k0
k
C1 D C ;
C1 C1
' m D m 0 C m 1 x C m 2x 2 C C m x C ;
' n D n 0 C n 1x C n 2x 2 C C n x C ;
'm :'nD m 0 n 0 0 C .m 0 n 1 C m 1 n 0 /x C .m 0 m 2 C m 1 n 1 C m 2 n 0 /x 2 C
C .m 0 n C m 1 n 1 C m 2n 2 C C m n 0 /x C
.m C n / D m 0 n C m 1 n 1 C m 2n 2 C C m n 0;
' m : ' n D .m C n /0 C .m C n /1 x C .m C n /2 x 2 C C .m C n / x C
De acuerdo a lo anterior, el segundo miembro de esta ecuacin es
una serie convergente y exactamente '.m C n /; as
p C qi D r .cos s C i sen s /;
donde
p
1 q
.p 2 C q 2 / 2 D r ;
D cos s ; D sen s ;
r r
siendo r siempre positivo y s una cantidad real. Si escribimos
r D f .k ; k 0 /; sD .k ; k 0 /;
resulta
f .k Cl ; k 0 C l 0 /.cos .k C l ; k 0 C l 0 / C i sen .k C l ; k 0 C l 0/
D f .k ; k 0 /f .l ; l 0 /cos. .k ; k 0 / C .l ; l 0 // C i sen. .k ; k 0 / C .l ; l 0 //:
luego
(7) k C l D a C .k C l /:
Asignando sucesivamente los valores l D k ; 2k ; : : : ; %k, nos queda
222 Fernando Mejas
10. Tres Obras de Abel 223
2 k D a C .2k /;
k C .2k / D a C .3k /;
k C .3k / D a C .4k /;
::::::::::::::::
k C .% 1/k D a C .%k /;
De estas ecuaciones, tenemos
Luego, considerando k D 1,
% D %.1/ a C a;
y tomando .1/ a D c,
(8) % D c % C a :
k C . k / D a C .0/:
Entonces, tomando k D 0
.0/ D a ;
por tanto
. k / D 2a k:
Si k es un racional positivo, tenemos que k D ck C a , de donde
. k / D ck C a :
La ecuacin
(9) k D c k C a;
224 Fernando Mejas
10. Tres Obras de Abel 225
F .k C l ; k 0 C l 0 / D F .k ; k 0 / C F .l ; l 0 /:
Como esta ecuacin coincide con la ecuacin (5), colocando F en
lugar de y 0 en lugar de m , por la ecuacin (11) resulta
(12) F .k ; k 0 / D k C 0 k 0 ;
'.k C k 0 C i / D p C qi ;
A continuacin consideramos el caso donde m es real, es decir,
cuando k 0 D 0. Las ecuaciones (14) toman la forma
k k .k 1/ 2
e k cos k D 1 C cos ' C cos 2'
1 1:2
k .k 1/.k 2/ 3
C cos 3' C D f
(15) 1:2:3
k k .k 1/ 2
e k sen k D sen ' C sen 2'
1 1:2
k .k 1/.k 2/ 3
C sen 3' C D :
1:2:3
Para determinar y , tomemos k D 1, entonces
Luego
228 Fernando Mejas
10. Tres Obras de Abel 229
1
e D .1 C 2 cos ' C 2 / 2 ;
1 C cos ' sen '
cos D 1
; sen D 1
;
.1 C 2 cos ' C 2 / 2 .1 C 2 cos ' C 2 / 2
sen '
tang D :
1 C cos '
De donde
k
cos k D e .f : cos ks C : sen ks /;
k
sen k D e . : cos k s f : sen ks /:
Ahora, de acuerdo con el teorema IV, las funciones y f son
continuas de ; en consecuencia cos k y sen k conservan los
mismos valores para todo valor de . Por tanto, para hallarlos es
suficiente asignar a un valor cualquiera. Sea D 0, observando
que e D 1, f D 1, D 0, s D 0, tenemos
cos k D 1; sen k D 0:
Sustituyendo los valores en las expresiones de f y , y recor-
1
dando que e D .1 C 2 cos ' C 1 / 2 , obtenemos
k k
f D .1 C 2 cos ' C 1 / 2 cos ks ; D .1 C 2 cos ' C 1 / 2 sen ks :
Entonces las ecuaciones (15) se transforman en:
k
1C cos 'C
k .k 1/ 2
cos 2'C
k .k 1/.k 2/ 3
cos 3'C
1 1:2 1:2:3
k
D .1C2 cos 'C 1 / 2 cos ks ;
(16)
k k .k 1/ 2 k .k 1/.k 2/ 3
sen 'C sen 2' C sen 3'C
1 1:2 1:2:3
k
D .1C2 cos 'C 1 / 2 sen ks ;
230 Fernando Mejas
Aqu siguen unos clculos bastante detallados para deducir las ecuaciones (18)
abajo.
10. Tres Obras de Abel 231
donde s se encuentra restringido a los lmites y C y satisface
2 2
la ecuacin
sen '
tang D :
1 C cos '
Las expresiones (16) fueron establecidas por primera vez por M.
Cauchy en la obra citada arriba.
C l 2 2 cos 2 C C cos C
1 C l cos
1 1
k 0C
e k cos. k C k 0 / D p ;
(18)
l 1 sen 1 C 2 2 sen 2 C C l sen C
k 0C
e k sen. k C k 0 / D q ;
donde
1 sen '
D 2
log.1 C 2 cos ' C 2 /; D arc.tang I
1 C cos '
m m .m 1/ 2 m .m 1/ : : : .m C 1/
1C xC x CC x C
1 1:2 1 : 2 : : :
k 0C
D e k cos. k C k 0 / C i sen. k C k 0 /:
Entonces tenemos
luego
p
D a 2 C b 2; cos ' D a ; sen ' D b ;
2 2
D 1
2 log.1 C 2a C a C b / D 1
2 log.1 C a /2 C b 2 ;
b
D arc tang :
1Ca
Sustituyendo y escribiendo m por k y n por k 0 , esta expresin
toma la forma:
232 Fernando Mejas
Parece que en algunos casos Abel usaba arc. tang como una abreviatura ms
que un smbolo matemtico.
(19)
m C ni .m C ni /.m 1 C ni /
1C .a C bi / C .a C bi /2
1 1 : 2
.m C ni /.m 1 C ni /.m 2 C ni /
C .a C bi /3 C
1 2 3
.m C ni /.m 1C ni /.m 2C ni / : : : .m m C1C ni /
C .a C bi / C
h 1 : 2 : 3 : : : m
D cos m arc tang 1C b 1 n log.1 C a /2 C b 2
a2
i
Ci sen m arc tang 1C b 1 n log.1 C a /2 C b 2
a2
m b
.1 C a /2 C b 2 2 e n arc tang 1Ca :
m m .m 1/ 2
(20) 1C aC a C D .1 C a /m ;
1 1:2
la cual vamos a explotar a continuacin.
A.
1 1
(35) 2' D sen ' 2 sen 2'C 31 sen 3' (entre ' D C y ' D ).
por
Definicin. La serie
u0 C u1 C u2 C C un C
se denomina convergente, si en
sn D u0 C u 1 C u2 C C u n
s D u0 C u1 C u2 C
u0 C u1 C u2 C C un C
Esta es la primera vez que la notacin para series aparece aqu, lo cual no
significa que esta sea la primera ocasin en que Abel la usara. El tomo II
de las uvres compltes contiene una memoria escrita durante los viajes de
1 1 1 1
Abel la cual se titula Les fonctions transcendentes 2 , 3 , 4 ,. . . n
a a a a
exprimes par des intgrales definies, pp. 16.
donde < 1.
Teorema. Si la serie u n es divergente, entonces la serie
u n
s C1 es convergente, si es positivo.
n
un
sn1 sn
D .s n un/
sn
> sn
C s n 1
: un D : ;
s n 1C
en consecuencia la serie
un
s n 1C
es convergente.
Aplicacin. Supongamos que u n D 1, tenemos que s n D n. En
consecuencia la serie
1 1 1 1
1C C C CC C
2 3 4 n
u n D p n : 'n;
un > : 'n;
1
' n : '.n1 1/
es divergente. Pero
1 1
log.1 C n / log n D log 1 C < ;
n n
luego
1 1 1
C CC
1C > log n :
2 3 n 1
En consecuencia, la serie
1 1 1 1
C C CC C
2 log 2 3 log 3 4 log 4 n log n
entonces la serie
es divergente.
Sea
'm n D logm .n C a /;
tenemos
d ' 0m 1n
' 0m n D log 'm 1n D ;
dn 'm 1 n
1
' 0m n D I
.n C a / : log.n C a / : log2 .n C a / : : : logm .n C a /
entonces la serie
1
log n : log n : log3 n : : : logm
2 1
n
242 Fernando Mejas
10. Tres Obras de Abel 243
es divergente.
d .logm n / .logm n /1
Z n
'n D m
D ;
a .log n / 1
1 1
'n D C ;
1 .logm n / 1
d .logm n / 1
' 0n D m ;
dn .log n /
'.n C 1/ ' n D ' 0 .n C l / < ' 0.n C 1/; .l < 1/;
0 1 1 1
'n< ;
1 logm .n 1/ 1 .logm n / 1
0 1 1 1
' .n 1/ < ;
1 logm .n 2/ 1 logm .n 1/ 1
: : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : :
1 1
' 0.a / C ' 0.a C 1/ C C ' 0n < m ;
1 log .a 1/ 1
es convergente si > 0.
Si
1
log
u n : n : log n : log2 n : log3 n ::: logm 1
n
lim : > 1;
logm C1 n
En efecto, en el primer caso tenemos
1
> .logm n /1C ;
u n : n : log n : log n : log3 n : : : logm 1 n
2
1
un < ;
n : log n : log n : log n : : : logm 1 n : .logm n /1C
2 3
etc.
Si
log u1n d logm n
dn
lim : m > 1; convergente;
log C1 n
< 1; divergente;
D 1; puede ser convergente o divergente.
244 Fernando Mejas
f . !/ R D '0 . !/ A 0 C '1 . !/ A 1 : x C
n
C 'n . !/ A n x C
D '0 . !/ A 0 C x 1 '1 . !/ A 1 x 1 x 2 C
n
C 'n . !/ : x 1 A n x n1 x n2 C
'0 . !/ A 0 ; '1 . !/ A 1x 1; : : : ;
entonces
k
f . !/ D R C 'm . !/ : x1m Am xm
1 ;
1 x2
donde k es un nmero comprendido entre C1 y 1. El coeficiente k
converge para valores decrecientes de ! que tienden a cero, luego
lim: f .y / D R D A 0 C A 1 x C A 2 x 2 C A 3 x 3 C :
y D !
f .y / D 1 y : x C 2 y : x 2 C 3 y : x 3 C 4 y : x 4 C C n y : x n C
A0 C A1 : x C A2 : x2 C C An : xn C I
por ejemplo
A 0 C A 1x C o a C a 2 x C C a n C1 x n C
es divergente si ax > 1.
Nota II. Lim: '0 .y / C '1 .y / : x C C 'n .y / : x n C es finito
y D !
siempre que la serie A 0 C A 1 : x C C A n : x n C es convergente;
por ejemplo,
1Ca C C a y 1 C 2a C C .y C 1/a y : x
.y C 1/.y C 2/ y 2
C 1 C 3a C C a x
2
1 a ay 1
D C 2
C C y C1
; lim: .f y / D :
1Cx .1 C x / .1 C x / yD2 1 1Cx a
248 Fernando Mejas
Esta y otras frases que aparecen entre corchetes fueron agregadas por los
editores de las uvres Compltes.
[Coloquemos]
R D lim: .a m x m C a m C1 x m C1 C a m C2 x m C2 C C a m Cn x m Cn /;
x D !
donde a m ; a m C1 ; : : : son positivos, [y sean]
. !/n D n ;
p
n
!D 1 ;
[tenemos]
m m C1 m
R D a m n C a m C1 m C1 n C C a m Cn m Cn : n C1 ;
m C1
R > .a m C a m C1 m C1 C C a m Cn m Cn / n ;
etc.
Sea
.0/ .0/ .0/ .1/ .1/ .1/
f x D .a 0 C a 1 x Ca 2 x 2C / C .a 0 Ca 1 x Ca 2 x 2C /C
.n / .n / .n /
C .a 0 Ca 1 x Ca 2 x 2C /C
una serie convergente, si x < 1.
Sean
.0/ .1/ .2/ .n /
A 0 D lim: .a 0 C a 0 C a 0 C C a 0 /;
n D 10
.0/ .1/ .2/ .n /
A 1 D lim: .a 1 C a 1 C a 1 C C a 1 /; etc.,
n D 10
tenemos
f x D A 0 C A 1x C A 2x 2 C C A m x m C ;
si la ltima serie es convergente.
[Escribiendo]
.n / .n / .n /
f n x D A 0 C A 1 C A 2 C C A m .n / C
se deduce que
f x D A 0 C A 1x C C A m x m C
f .x C !/ D a 0 C a 1 .x C !/ C a 2 .x C !/2 C ; x C ! < 1I
f .x C !/ D a 0 C .a 1 x C a 1 !/ C .a 2 x 2 C 2a 2 ! C a 2 ! 2 / C ;
luego
f .x C !/ D a 0 C a 1 x C a 2 x 2 C C .a 1 C 2a 2 x C /! C ;
es decir:
f 0x f 00 x 2
f .x C !/ D f x C!C ! C ;
1 1:2
si esta serie es convergente. Entonces lo ser siempre: Tenemos
f nx .n C 1/.n C 2/
D a n C .n C 1/a n C1 x C a n C2 x 2 C ;
1:2:::n 1:2
f nx .n C1/.n C2/
x n1 D x n1 a n C.n C1/a n C1 x 1n C1 C a n C2 x n1 C2 C ;
1 : 2 : : :n 1:2
x C ! D x 1; x 1 < 1;
x D x 1x 2; x 2 < 1;
n
f nx
n ! 1 vn
x1 < vn D ;
1:2:::n x x x 1 x2 1 x2
n n 1 1 2
! f x
lim: D cero, luego etc.
n D 10 1 : 2 : : : n
252 Fernando Mejas
EPLOGO
CARL SAGAN
[1] Calculus (4ta edicin), por Michael Spivak, Publish or Perish, Hous-
ton, 2008.
Este libro considerado con frecuencia como una excelente Introduc-
cin al Anlisis Real ya que frecuentemente es utilizado en cursos
donde el estudiante ya maneja los aspectos operatorios del Clculo
y se dedica por tanto a la exploracin de los aspectos tericos con
mucho ms nfasis y profundidad de lo que se hace en los libros or-
dinarios. (Es de esperar que esta edicin sea publicada en espaol
pronto por la Editorial Revert, mientras tanto tenemos disponible la
segunda edicin de 1993).
El otro clsico del tema, dirigido a un espectro ms amplio de estu-
diantes es:
[2] Calculus (volumen 1, 2da edicin), por Tom Apostol, Editorial Re-
vert, Barcelona, 1983.
Uno de los aspectos ms singulares de este libro es la presentacin del
Clculo siguiendo un orden histrico. La exposicin de las diferen-
tes materias es muy precisa y con frecuencia presenta ejemplos que
ilustran muy claramente los conceptos y teoremas, as como motiva-
ciones histricas y geomtricas que contribuyen a facilitar la lectura
253
254 Fernando Mejas
[4] Anlisis Matemtico (2da edicin), por Tom Apostol, Editorial Revert,
Barcelona, 1983.
[5] Principles of Mathematical Analysis (3ra edicin), por Walter Rudin, Mc-
Graw-Hill, Nueva York, 1976.
[6] Infinite Sequences and Series, por Konrad Knopp, Dover, Nueva York,
1956.
[7] Divergent Series (2da edicin), por Godfrey H. Hardy, Chelsea, Nueva
York, 1991.
Por motivos evidentes, la lectura de esta obra es recomendada a aque-
llos que ya han completado un buen estudio sobre series en trminos
generales, pero una revisin ocasional puede ser muy til para el lec-
tor interesado en informacin histrica sobre series. Esta es la fuente
de donde fue tomado el pensamiento de Abel (indicado arriba) que
aparece como epgrafe de este libro.
[8] Complex Analysis, por Lars Ahlfors (3ra edicin), McGraw-Hill Co.,
Nueva York, 1979.
[9] Set Theory and Metric Spaces (2da edicin), por Irving Kaplansky, Chel-
sea, Nueva York, 1977.
[15] A Source Book of Mathematics por David E. Smith, Dover, Nueva York,
1959.
Otra traduccin de los documentos pero con una apariencia muy mo-
derna se encuentra en el tomo 3 de otra valiosa seleccin, particularmente
interesante para quien gusta de leer escritos originales y biografas.
[16] Sigma, el Mundo de las Matemticas (3ra edicin, tomos 16), por James R.
Newman, Ediciones Grijalbo, Barcelona, 1968.
[17] Introduction to Analysis of the Infinite, Book I por Leonhard Euler, Sprin-
ger-Verlag, Nueva York, 1988.
Resea Bibliogrfica 257
CAPTULO 1
1 (1) an D .1=2/n 1
.
n 1
(2) an D .3=2/ .
n 1 n
(3) an D 3 =2 .
(4) Podemos definir an D si n es impar y an D n 1 si n es par, o
tambin an D n C . 1/n.
(5) an D . 1/n 1=2 =n para n impar y an D 0 para n par. Una
versin muy elegante es an D sen.n=2/=n.
n nC1 1 1
2 (1) an D D 1C .
nC1 n 1 n
1C
n
Entonces lim an D 0:
n!1
259
260 Fernando Mejas
por tanto
n
lim D 0:
n!1 2n
1 C . 1/n 2
0 ;
n n
de donde
1 C . 1/n
lim D 0:
n!1 n
(7) Como en la parte (6) podemos probar que
1 . 1/n 1
para todo n,
n n n
por tanto
. 1/n
lim D 0:
n!1 n
Por otro lado tenemos que la sucesin f1 C . 1/ng diverge, luego
. 1/n 1 C . 1/n
la sucesin an D C es divergente.
n 2
(8) lim 21=n D 20 D 1.
n!1
(9) Para n par tenemos que . 1/n D 1, por tanto f2; 4; 6; : : :g es una
subsucesin divergente de fan g.
n2=3
(10) Sabemos que 1 cos.n/ 1 para todo n. Adems lim D
n!1 n C 1
0, de donde
p
3
n2 cos.n/
lim D 0:
n!1 nC1
(11) Tenemos
1 n
C1
. 1/n C 2n 2
an D D n :
. 1/nC1 C 2nC1 1
C2
2
Soluciones a Problemas Escogidos 261
Entonces
1
lim an D :
n!1 2
(12) Con un procedimiento anlogo al del problema anterior resulta
1
lim an D :
n!1 3
n
(14) Observemos que para n D 4k, k 2 N se cumple que cos D 1,
2
n
mientras que para n D 2k C 1, k 2 N, cos D 0. Por otro lado
2
la sucesin fn=.n C 1/g, converge hacia 1, entonces la sucesin
n
cos n
1 C nC1 2 es divergente.
Entonces p
. 1/n n sen.nn /
lim D 0:
n!1 nC1
(16) Si a D b D 0 es evidente que la sucesin converge hacia 0. Ahora,
sea D max.a; b/ > 0, entonces
r s n
p 1 a n b
n n n
an D an C b n D .an C b n / D C ;
n
luego
lim an D :
n!1
jxn j < :
Es decir
< xn < para todo n N :
De donde
2 < xn < 0 para todo n N ;
pero esto contradice la hiptesis.
(b) Aplicar la parte (a) a la sucesin definida por an D xn yn .
(c) Tomar xn D 1=n.
262 Fernando Mejas
donde
1
akn D k C :
n
7 Formar una sucesin fan g con todos los nmeros racionales em-
pezando por 0 y continuar con el siguiente esquema (sin preocu-
parse por las repeticiones):
1 1 1 1
1 2 3 4
. % . %
1 1 1 1
1 2 3 4
% . % .
2 2 2 2
1 2 3 4
. % . %
2 2 2 2
1 2 3 4
% . % .
3 3 3 3
1 2 3 4
. % .
:: :: :: ::
: : : :
1 M `
N C M .aN C aN C1 C aN CM M `/
N CM
M" "
< < :
3.N C M / 3
Podemos elegir M suficientemente grande para que se cumpla que
M` " 1 "
N C M ` < 3 y N C M .a1 C a2 C C aN / < 3 :
Luego
1
N C M .a1 C C aN CM `/ < ":
Soluciones a Problemas Escogidos 263
Luego
2p a < xn < a; para todo n N ;
lo cual es una contradiccin. Proceder en forma anloga si p >
b.
(b) Tomemos a D 0, b D 1, xn D 1=n.
16 (a) Dado " > 0 existe un nmero natural N tal que si n N entonces
jan `j
jan bn j D jbn an j
para todo n.
(c) Por la desigualdad triangular para nmeros reales tenemos
entonces
supfjan bn jg supfjan cn j C jcn bn jg
supfjan cn jg C supfjcn bn jg:
CAPTULO 2
1 p p 1 p p !
X nC1 n X n nC1
(4) p D D 1.
n 2 Cn n nC1
nD1 nD1
1 1
X 2n C 1 X 1 1
(5) D D 1.
n2 .n C 1/2 n2 .n C 1/2
nD1 nD1
1 1 1
!
X 3n C n2 C n 1 X 1 X 1 1
(6) nC1
D n
C D .
3 n.n C 1/ 3 3 n.n C 1/ 2
nD1 nD1 nD1
1 1
X nC1 X n 10
(7) D D .
10n 10 10
nD0 nD0
1
" 1 1 #
X . 1/n C 2n 1 X 2 n X 1 n 1
(8) nC1
D 2 D .
5 25 5 5 10
nD1 nD0 nD0
(9) Notemos que
sen y
1
lim x sen D lim D 1;
x!1 x y!0 y
1
X 1
entonces la serie n sen es divergente.
n
nD1
1
Z
(10) Recordando que dx D arctg x, entonces es fcil ve-
1 C x2
1 Z nC1
X 1
rificar que la serie dx es telescpica y converge
n 1 C x2
nD1
hacia =4.
X X
2 Si la serie .an C bn / fuese convergente, entonces la serie bn D
X X
.an C bn / an sera convergente.
X
3 Tomar cualquier serie convergente an y definir bn D an .
X an
4 Consideremos an D . 1/n. La serie an diverge y lim D 0.
n!1 n
(a) Puesto que .an bn/2 0 para todo n tenemos que la sucesin
Xn
de sumas parciales sn D .ak bk /2 cumple sn 0 luego
kD1
.; / 0 (ver Problema 1-4(a)).
Por otro lado, si .; / D 0 entonces
1
X
.an bn /2 D 0;
nD1
(b) Basta notar que para todo n se cumple que .an bn /2 D .bn an /2 .
(c) La desigualdad de Cauchy-Schwarz establece que
n
X
p n
p n
X X
xk yk xk 2 C yk 2 ;
kD1 kD1 kD1
Luego
p n
p n
p n
X X X
2 2
.ak bk / .ak ck / C .ck b k /2 :
kD1 kD1 kD1
(c) Dado " > 0 para cada n existe una coleccin numerable de inter-
valos anm ; bnm tal que
1
[
Xm .anm ; bnm/
nD1
y
1
X "
`nm < :
2mC2
nD1
Soluciones a Problemas Escogidos 267
Entonces
1
[ 1
[
Xm .anm ; bnm/;
mD1 m;nD1
y
1 1
X X " "
`nm D D < ":
2mC2 2
mD1 mD1
de donde
medida de C D 1 medida de 0; 1 n C D 0:
A D .b a/.d c/:
CAPTULO 3
1
X 1
1 (2) Divergente, comparar con la serie .
nD1
n2=3
(3) Divergente, utilizar el problema anterior.
1 1
(4) Convergente, porque n
< n para valores grandes de n.
.log n/ 2
(5) Divergente, note que n3 =.n4 C 1/ es prcticamente 1=n para
valores grandes de n.
268 Fernando Mejas
1 1
(6) Convergente, pues < s.
ns
log n n
n 1
(7) Convergente, pues D .
.n C 3/ .n C 3/.n C 2/.n C 1/
1 1 1
(10) Divergente, pues p es prcticamente p D para n
n.n C 1/ n2 n
grande.
n n 1
(11) Divergente, pues es prcticamente 2
D
.3n 2/.3n 1/ 9n 9n
para n grande.
1
X
2 Puesto que la serie an converge tenemos que lim an D 0, en-
n!1
nD1
tonces
1
limD C1;
n!1 an
1
X 1
de donde concluimos que la serie diverge.
an
nD1
CAPTULO 4
1 sen2 .1=n/ 1 1
1 cos D 2 2:
n 1 C cos.1=n/ n 1 C cos.1=n/ n
Soluciones a Problemas Escogidos 269
1
X
nC1 1
As que la serie . 1/ 1 cos es absolutamente con-
n
nD1
vergente.
1
X 1
(4) La serie . 1/nC1 arctg es condicionalmente conver-
2n C 1
nD1
gente. En efecto, se cumple que
1
arctg
lim 2x C 1 D lim y D 1:
x!1 1 y!0 tg y
2x C 1
1
X 1
Pero como la serie es divergente, tenemos que la serie
2n C 1
nD1
1
X 1
arctg diverge.
2n C 1
nD1
Por otro lado, si definimos la funcin f por
1
f .x/ D arctg ;
2x C 1
entonces
2
f 0 .x/ D :
1 C .2x C 1/2
Es decir, la funcin f es decreciente, por tanto tenemos que la
sucesin farctg.1=.2n C 1/g es decreciente. Adems tenemos que
1
1 X 1
lim arctg D 0, as que la serie . 1/nC1 arctg
n!1 2n C 1 2n C 1
nD1
converge (por el criterio de Leibniz).
X1
(5) La serie . 1/nC1 arctg.log n/ es condicionalmente con-
2
nD1
1
X
vergente. La divergencia de la serie arctg.log n/ se de-
2
nD1
muestra aplicando el criterio de comparacin por paso al lmite
1
X 1
con la serie ; para lo cual es suficiente observar el si-
log n
nD2
guiente clculo:
2 arctg x x2
lim D lim D 1:
x!1 1=x x!1 1 C x 2
tenemos que
2 C log x
f 0 .x/ D :
x 2 log3 x
Entonces f es decreciente para x 2. Adems
1 1
Z
2
dx D :
x log x 3 log3 x
1
X 1
As que la serie converge y por tanto la serie
nD2
n log2 n
1
X . 1/nC1
nD1
n log2 .1 C n/
converge absolutamente.
1
X N
X
Para concluir notemos que an D lim an :
N !1
nD1 nD1
1
X
4 Puesto que la serie an converge absolutamente, tenemos que
nD1
an ! 0 cuando n ! 1. Entonces, para n suficientemente grande se
cumple que jan j < 1, por tanto
CAPTULO 7
1
X
2 (1) Sea f .x/ D x n . Entonces
nD0
1 1
X
n 1 1 X
0
f .x/ D nx D n xn:
x
nD1 nD1
1
Por otra parte f .x/ D ; luego
1 x
1
f 0 .x/ D :
.1 x/2
272 Fernando Mejas
1 1
X X x
(2) Sea f .x/ D n xn D n xn D (segn el Pro-
.1 x/2
nD0 nD1
blema 7-2(1)). Entonces
1 1
X 1 X 2 n
f 0 .x/ D n2 x n 1
D n x
x
nD1 nD1
y
1Cx
f 0 .x/ D :
.1 x/3
1
X x2 C x
(3) Si f .x/ D n2 x n D (Problema 7-2(2)). Entonces
.1 x/3
nD0
1
1 X 3 n
f 0 .x/ D n x
x
nD1
y
x 2 C 4x C 1
f 0 .x/ D :
.1 x/4
1
X x 3 C 4x 2 C x
(4) Si f .x/ D n3 x n D (Problema 7-2(3)). En-
.1 x/4
nD0
tonces
1
1 X 4 n
f 0 .x/ D n x
x
nD1
y
x 3 C 11x 2 C 11x C 1
f 0 .x/ D :
.1 x/5
1
X 1
(5) Sea f .x/ D xn D . Entonces
1 x
nD0
1
!
Z x Z x X
n
f .t / dt D t dt
0 0 nD0
1 Z
X x
D t n dt
nD0 0
1
X x nC1
D :
nC1
nD0
1
X 1
(6) Consideremos f .x/ D x 2n D . Luego
1 x2
nD0
1
!
Z x Z x X
f .t / dt D t 2n dt
0 0 nD0
1 Z
X x
D t 2n dt
nD0 0
1
X x 2nC1
D ;
2n C 1
nD0
entonces
1
X .n C 1/.n C 2/.n C 3/ n
x D
3
nD0
1 1 1 1
!
1 X
3 n
X
2 n
X
n
X
n
n x C6 n x C 11 nx C 6 x :
6
nD0 nD0 nD0 nD0
1 1 n
X n X 1
3 (3) n
D n D 2, (segn el Problema 7-2(1)).
2 2
nD0 nD1
1 1
1 1 n
3
X 1 X 3
(4) n
D3 D log (de acuerdo con el
3 .n C 1/ n 3 2
nD0 nD1
Problema 7.2(5)).
274 Fernando Mejas
1 1 n 1 1
1 1 n p
X 2n C 1 X 1 1 X
(5) n
D C D 2 e.
2 n .n 1/ 2 n 2
nD0 nD1 nD0
Abel, Niels H., xiii, 37, 76, 93, 97, 99, Cantor, George (continuacin)
104, 131, 137, 170, 191195, 232, conjunto de, 15, 25, 41, 266
236238, 246, 252, 273 retrato de, 14
convergente, 131 teorema de, 14
criterio de, 97 Cauchy, Agustin-Louis, 2, 37, 88,
frmula de sumacin parcial 99, 132, 192, 194, 202203, 209
de, 94 condicin de, 29, 208, 210, 236
lema de, 95 criterio de, 30
uvres Compltes de, 192, 194, producto de, 101
196, 198, 212, 236, 238, 248 retrato de, 30
premio, 252 sucesin de, 11
retrato de, 193 teorema de condensacin de, 51
sumable, 134 Cauchy-Abel, teorema de, 104
teorema de, 134 Cauchy-Schwarz, desigualdad
teorema del lmite de, 130 de, 3940, 265
y Pringsheim, teorema de, 76 Ctedra Lucasiana, 147
Abel-Tauber, teorema de, 135 Ernesto, 38,
Absolutamente, convergente, 84, convergente, 38
163 CesroTauber, teorema de, 135
AC, viii Crculo de convergencia, 165
Acotada, sucesin, 8 Cociente,
Acotacin, criterio de, 44 criterio del, 56
Alternada, criterio delicado del, 80
serie, 82 Coeficiente binomial, 139
serie armnica, 84 Collins, John, 147149
Annis mirabilis, 147 Comparacin, criterio de, 44
rea, 40 por paso al lmite, criterio de 53
Aritmtico, tetragonismo, 81 Condensacin, teorema de, 51
Armnica, Condicin,
alternada, 84 de Cauchy, 29, 208, 210, 236
serie, 28 del resto, 30
Arqumedes, 26 Condicionalmente, convergente, 84
Arquimediana, propiedad, 26, 36 Conjunto,
contable, 25
Barrow, Isaac, 147148 de Cantor, 15, 25, 41, 266
Bernoulli, Johann, 161 medida 0, 40
Bernstein, Sergei, 129 finito, 25
teorema de, 129 infinito, 25
Bessel, Friedrich Wilhelm, 170 numerable, 25
Binomial, coeficiente, 139 Constante de Euler, 23
Binmica, serie, 142 Continua, uniformemente, 24
Binomio, Convergencia,
de Newton, 141 crculo de, 165
teorema del, 140 intervalo de, 122
Blake, William, 27 puntual, 111, 118
BolzanoWeierstrass, teorema radio de, 122, 165
de, 10 uniforme, 110, 118
Bourbaki, Nicols, 43, 105 Convergente,
Boyer, Carl B., 81 Abel, 134
Bronowski, Jacob, 139 Cesro, 38
Bruno, Giordano, 36 integral impropia, 66
serie (compleja), 167
Cantor, George, 14 serie (real), 28
278 Fernando Mejas
Uniformemente,
continua, 24