Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Series Convergentes
Series Convergentes
CONVERGENTES
Fernando Mejas
SERIES CONVERGENTES
PREFACIO
El libro se inicia con un captulo introductorio (aunque no prescindible) sobre sucesiones para pasar inmediatamente al estudio de las series
propiamente dichas, primero hacia series numricas y luego series de funciones.
En cada captulo se presentan los conceptos y resultados fundamentales ilustrados con ejemplos de casos particulares. Los teoremas y los ejemplos estn enumerados en forma consecutiva. Para enfatizar la diferencia
terica, el final de la demostracin de cada teorema se indica con el smbolo , mientras que para los ejemplos se usa un cuadrado vaco .
Como parte integral del estudio se presentan conjuntos de problemas
que permiten al lector poner a prueba la asimilacin de cada uno de los
contenidos. Casi todos los problemas y los ejemplos son tomados de los excelentes libros Calculus (volumen 1) por T. Apostol y Calculus por M. Spivak,
lo cual de alguna forma indica el nivel de dificultad. Algunos problemas estn divididos en partes, en algunos casos stas se sealan con nmeros y en
otros con letras del alfabeto latino para indicar que los primeros ponen a
prueba la destreza operatoria mientras que los segundos son de naturaleza terica, probablemente de inters para estudiantes de Matemticas que
se preparan para cursar estudios de Anlisis Real. En todo caso esta nomenclatura no debe interpretarse como un indicador del nivel de dificultad de
los problemas, para lo cual presentamos un sistema de indicaciones con
uno y dos asteriscos. En general, el instructor debe hacer una seleccin
adecuada para sus estudiantes. Al final se encuentran las soluciones de algunos de los problemas.
Otro aspecto que se debe mencionar es la incorporacin de algunas
notas histricas que complementan las traducciones de trabajos originales
sobre series de Isaac Newton, Leonhard Euler y Neils Henrik Abel. El estudio de este material es altamente recomendado, no solamente por su valor
tcnico, sino porque ayuda a formar una idea acerca de la evolucin del
vii
FERNANDO MEJAS
TABLA DE CONTENIDO
CAPTULO 1
CAPTULO 2
CAPTULO 3
Prefacio vii
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
Series Infinitas 27
Sumas Infinitas 27
Series Telescpicas 31
Series Geomtricas 34
Una Nota Histrica 36
Problemas 38
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
Convergencia Absoluta 81
Criterio de Leibniz 81
Convergencia Absoluta 84
Reordenacin de Series 86
Problemas 91
CAPTULO 5
Teorema de Abel 93
Frmula de Abel 93
Criterio de Dirichlet 96
Criterio de Abel 97
CAPTULO 6
Producto de Series 99
Producto de Cauchy 99
Teorema de Abel para el Producto 104
CAPTULO 7
Series de Funciones 105
Sucesiones de Funciones 106
Convergencia Uniforme 110
Series de Potencias 120
Teorema del Lmite de Abel 130
Problemas 136
CAPTULO 8
La Serie Binmica 139
Teorema del Binomio 139
Prueba de la Serie Binmica 143
Dos Cartas de Newton 147
Epistola Prior 150
Epistola Posteriori 154
CAPTULO 9
Series de Potencias Complejas 161
Sucesiones Complejas 161
Series Complejas 163
Un Texto de Euler 170
Problemas 190
CAPTULO 10 Tres Obras de Abel 191
Una Generalizacin de la Serie Binmica 194
Sobre la Serie Binmica 198
Acerca de las Series 236
Eplogo 252
Resea Bibliogrfica 253
Soluciones a Problemas Escogidos 259
ndice Alfabtico 275
CAPTULO 4
SERIES
CONVERGENTES
CAPTULO
SUCESIONES INFINITAS
APROXIMACIN
DE
FUNCIONES
POR
POLINOMIOS
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/
.x a/2 C C
.x a/n :
2
n
El nombre de este polinomio fue establecido en honor al matemtico ingls Brook Taylor quien contribuy al progreso y la difusin de las ideas
originales del Clculo de acuerdo a la escuela de Isaac Newton.
Pn;a .x/ D f .a/ C f .1/ .a/.x
a/ C
2 Fernando Mejas
En general existe una diferencia o resto Rn;a .x/ entre f .x/ y Pn;a .x/:
f .x/ D Pn;a .x/ C Rn;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:
x5
x 2nC1
x3
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/
x2
xn
x
C C
C Rn;0 .x/;
ex D 1 C C
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
sen x D x
Sea f una funcin tal que las derivadas f .1/ ,. . . ,f .nC1/ estn definidas sobre un
intervalo a; x y Rn;a .x/ est definido por
n
X
f .k/.a/
f .x/ D f .a/ C
.x
k
kD1
Entonces
(1) Rn;a .x/ D
f .nC1/ ./
.x
.n C 1/
/n .x
f .nC1/ ./
.x
.n C 1/
f .nC1/ .x/
.x
n
/n dx.
La ecuacin (1) es conocida como la forma de Cauchy para el resto, mientras que la ecuacin (2) se denomina la forma de Lagrange y la ecuacin (3)
es la forma integral.
En muchos casos resulta que Rn;a .x/ es razonablemente pequeo
para valores grandes de n y la idea general es que la aproximacin tiende a
1. Sucesiones Infinitas 3
mejorar en la medida en que el grado del polinomio de Taylor Pn;a .x/ aumenta. 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 .x/ D f .a/Cf .1/ .a/.x
a/C
f .2/ .a/
.x
2
a/2 C C
f .n/.a/
.x
n
a/n C :
x7
C ;
7
x6
C ;
6
x3
C ;
3
x4
C ;
4
x7
C :
7
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;
mientras que por otro lado
.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 ;
pero para ello debemos primeramente enfocar nuestra atencin hacia la
coleccin infinita misma de elementos que queremos sumar.
SUCESIONES
Una sucesin (infinita) de nmeros reales es una funcin cuyo dominio es
el conjunto de los nmeros naturales y cuyo recorrido es un subconjunto
de R. La convencin usual indica que una sucesin a se debe denotar por
a W N ! R y que el valor de a en un nmero n 2 N (el trmino n-simo) por
a.n/, pero la tradicin ha llevado a hacer casi universal otra notacin, en la
que escribimos an en lugar de a.n/ y la sucesin misma se denota por fan g.
Por supuesto, es posible considerar sucesiones finitas, para lo cual es
suficiente hacer una ligera modificacin a la definicin anterior, sin embargo este concepto no tiene mucha importancia pues lo interesante de
una sucesin fan g es su comportamiento para valores muy grandes de n.
Por este motivo tenemos que la representacin grfica usual de funciones
resulta poco interesante cuando se trata de sucesiones pues no ilustra lo
que ocurre a la mayor parte de los trminos.
2
1
0
FIGURA 1.1(a)
r rr r r
x3 x2
1 1 1
4 3 2
x1
1
FIGURA 1.1(b)
1. Sucesiones Infinitas 5
se ha diseado un sistema de representacin grfica que se aplica exclusivamente a estas funciones y que suele ser ms ilustrativo (Figura 1(b)).
La sucesin fxn g tiene un comportamiento interesante para valores
grandes de n: el hecho de que sus trminos tienden a acumularse en torno
a un punto dado (especficamente al 0). En general decimos que una sucesin fan g converge hacia el lmite si para todo " > 0 existe un nmero
natural N tal que para todo n, si n N entonces jan lj < " (tambin decimos que la sucesin fan g es convergente, Figura 2). En este caso escribimos
an ! l cuando n ! 1 o simplemente lim an D l. Si fan g no converge,
n!1
( rr
l "
r r
xN
1 x1
r )r
x2
r r
l C"
FIGURA 2.
DEMOSTRACIN
mj D jl
jl
mj
2
jl
mj
2
D jl
mj;
6 Fernando Mejas
EJEMPLO 3
D 1 1 < ":
0
n
n
N
EJEMPLO 4
Supongamos que yn D . 1/nC1 para todo n, entonces fyn g diverge. Notemos 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 > ".
A continuacin presentamos otro ejemplo acerca de una sucesin divergente pero cuyo comportamiento es totalmente distinto al de la sucesin
descrita en el Ejemplo 4.
EJEMPLO 5
LEMA
(1) Si
jx
x0 j <
"
2
jy
y0 j <
"
;
2
entonces
j.x C y/
(2) Si
jx
x0 j < min 1;
"
2.jy0 j C 1/
jy
entonces
jxy
x0 y0 j < ":
y0 j <
"
;
2.jx0 j C 1/
1. Sucesiones Infinitas 7
(3) Si y0 0 y
jy
y0 j < min
entonces y 0 y
jy0 j "jy0 j2
;
2
2
1
< ":
y0
(3) lim
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 <
"
2
jbn
mj <
"
;
2
(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 bn
8 Fernando Mejas
(3) Es suficiente demostrar que la sucesin f1=bn g converge hacia 1=m;
pero existe un detalle que conviene aclarar: el hecho de que bn ! m 0
cuando n ! 1 no garantiza que 1=bn est definido para todo n, en efecto,
es fcil dar un ejemplo donde este fenmeno se presente. Sin embargo,
resulta que si bn ! m 0 entonces existe solamente una cantidad finita de
valores de n para los cuales bn D 0 (esta es una consecuencia de la primera
parte del Lema (3)).
Por tanto bn puede ser nulo solamente para algunos de los nmeros
1; 2; : : : ; N 1. En este caso podemos trabajar con una nueva sucesin cn
la cual converge hacia m y cn 0 para todo n definida as cn D bN 1Cn .
Comnmente este procedimiento se considera como algo puramente formal y se trabaja directamente con la sucesin fbn g.
Ahora, sea " > 0 existe un nmero natural N tal que para todo n
jmj "jmj2
;
.
si n N , entonces jbn mj < min
2
2
Entonces, por el Lema (3) queda que
1
1
< ":
b
m
n
La diferencia de comportamiento entre las sucesiones fyn g y fn g de
los Ejemplos 4 y 5 ilustra un punto sutil que determina una caracterstica
muy importante de las sucesiones convergentes. Notemos que el conjunto
de trminos de la sucesin fn g no est acotado, es decir no es posible encontrar dos nmeros a; b 2 R, tales que n 2 .a; b/ para todos los nmeros
n, mientras que el conjunto de trminos de la sucesin fyn g si est acotado. En este ltimo caso decimos que la sucesin est acotada y, resulta
evidente que todas las sucesiones convergentes estn acotadas, en efecto
esta proposicin se formaliza en el siguiente teorema.
TEOREMA 7
DEMOSTRACIN
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 ; constituyen una cantidad finita, entonces existe una intervalo abierto .u; v/ que
1. Sucesiones Infinitas 9
los contiene a todos. Finalmente, si consideramos a D min.u; l 1/ y
b D max.v; l C 1/ tenemos que todos los trminos de la sucesin fan g estn
contenidos en el intervalo abierto .a; b/.
En algunos casos tenemos que el conjunto de los trminos de una
sucesin fan g est acotado superiormente, entonces decimos que la sucesin est acotada superiormente y si tal conjunto est acotado inferiormente decimos que la sucesin est acotada inferiormente. Por tanto, una
sucesin est acotada si y slo si est acotada tanto superior como inferiormente.
Notemos que el Teorema 7 es equivalente a la siguiente proposicin:
si una sucesin fan g no est acotada, entonces la sucesin es divergente.
Concluimos esta seccin con un resultado muy importante que depende de la completitud del sistema de los nmeros reales y para el cual
necesitamos unas definiciones sobre ciertas caractersticas especiales de algunas sucesiones. Decimos que la sucesin fan g es creciente si an < anC1
para todo n (Figura 3). Anlogamente decimos que la sucesin fan g es
decreciente si an > anC1 para todo n.
Algunas veces no se necesitan condiciones tan estrictas y decimos que
la sucesin fan g es no creciente si an anC1 para todo n; mientras que la
sucesin fan g es no decreciente si an anC1 para todo n. Finalmente,
decimos que una sucesin fan g es montona si fan g es o bien no creciente
o bien no decreciente.
r
a1
r r
a2 a3 a4
r r r r
an anC1
FIGURA 3.
TEOREMA 8
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
a1 a2
r (
r r r r
" 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
Algunas veces conviene realizar el anlisis de una sucesin examinando el
comportamiento de una o varias colecciones infinitas de sus trminos. Por
ejemplo, consideremos la sucesin fyn g definida por yn D . 1/nC1 , tenemos dos colecciones infinitas de trminos notables
f1; 1; 1; : : : g
f 1; 1; 1; : : : g:
Evidentemente, si consideramos cada una de estas colecciones como sucesiones tenemos que ambas convergen, la primera hacia 1 y la segunda hacia
-1 y de la unicidad del lmite deducimos que la sucesin fyn g es divergente.
En el examen anterior hemos considerado una coleccin infinita de
trminos de una sucesin dada como una sucesin en s misma y las dos
colecciones as formadas son llamadas subsucesiones. Formalmente, una
subsucesin de una sucesin fan g es la composicin de fan g con una sucesin creciente de nmeros naturales fkn g, y la denotamos por fakn g. La
discusin inicial de esta seccin queda formalmente establecida con el siguiente lema (cuya demostracin es casi obvia a partir de la observacin de
que kn n).
LEMA 9
LEMA 10
Toda sucesin fan g contiene una subsucesin la cual es o bien no creciente o bien no
decreciente.
Este lema se combina con el Teorema 8 para producir uno de los
resultados tericos ms importantes sobre sucesiones.
COROLARIO 11
(TEOREMA DE
BOLZANO-WEIERSTRASS)
1. Sucesiones Infinitas 11
SUCESIONES
DE
CAUCHY
TEOREMA 12
DEMOSTRACIN
TEOREMA 13
DEMOSTRACIN
12 Fernando Mejas
y por tanto tenemos
jan
lj jan
akn j C jakn
lj <
"
"
C D ";
2
2
es decir lim an D l.
n!1
SUCESIONES
CONTINUIDAD
Esta seccin est dedicada al estudio de la continuidad de funciones mediante el uso de sucesiones. La idea central consiste en demostrar qu
condiciones de continuidad de una funcin f garantizan la posibilidad de
intercambiar la funcin con lmites de sucesiones convergentes (Figura 5),
as
lim f .xn / D f lim xn :
n!1
n!1
FIGURA 5.
TEOREMA 14
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
pj < entonces
qj < ":
qj < ":
x!p
un " > 0 tal que para todo > 0 existira un x con 0 < jx pj <
y jf .x/ qj ": En particular, para cada n existira un xn tal que 0 <
jxn pj < 1=n pero jf .xn / qj ": As, la sucesin fxn g sera convergente
hacia p, pero la sucesin ff .xn /g no sera convergente hacia q.
Una consecuencia inmediata del Teorema 14 es el siguiente resultado.
COROLARIO 15
n!1
La igualdad establecida por el Corolario 15 constituye una herramienta invaluable para efectos de clculo de lmites, junto con el Teorema 6
y las siguientes igualdades forman toda la maquinaria necesaria para resolver casi todos los problemas de este libro (que conciernen a lmites, claro
est).
1
D 0;
si > 0;
lim
n!1 n
lim x n D 0;
si jxj < 1;
n!1
lim n1=n D 1;
n
lim 1 C
D e;
n!1
n
n!1
para todo 2 R:
14 Fernando Mejas
aplicaciones es un resultado que se usa para la exploracin de la estructura
del conjunto de los nmeros reales, el cual es conocido como el teorema de
los intervalos encajados (de Cantor, en honor al matemtico George Cantor,
Figura 6).
EJEMPLO 16
1
\
nD1
para todo n;
In ;;
I2
[ [ [
a1 a2 a3
]
b3
]]
b2 b1
FIGURA 7.
n!1
y lim bn D .
n!1
1. Sucesiones Infinitas 15
Adems tenemos que ; 2 an ; bn para todo n, entonces podemos tomar
x cualquier punto de ; . Ntese que es posible que el intervalo ;
conste solamente de un punto, en efecto este es el caso si se considera la
hiptesis adicional lim .bn an / D 0.
n!1
En este contexto, el nombre de Cantor se asocia tambin con un objeto matemtico de naturaleza muy singular, el cual se construye de la siguiente forma: sean
K0 D 0; 1
K1 D K0 n
K2 D K1 n
K3 D K2 n
::
:
1 2
;
3 3
h
h
1 2
;
32 32
1 2
;
33 33
[
[
7 8
;
32 32
7 8
;
33 33
i
19 20
;
33 33
25 25
;
33 33
i
Observemos
que K1 resulta de extraer
intervalo
0; 1 el intervalo abierto
del
1 2
1
2
;
,
resultando
que
K
D
0;
[
;
1
;
anlogamente
K2 se puede re1
3 3
3
3
2
presentar como la unin de 2 intervalos cerrados y, en general Kn como
la unin de 2n intervalos cerrados (Figura 8).
0
::
:
::
:
::
:
::
:
FIGURA 8.
Evidentemente el conjunto de Cantor contiene muchos ms elementos que 0 (en efecto una coleccin infinita, ver Problema 19) y, para probarlo es suficiente aplicar el teorema de los intervalos encajados a subconjuntos de los Kn convenientemente elegidos.
Notemos que la conclusin del teorema de los intervalos encajados
no se obtiene si la hiptesis de que los intervalos In sean cerrados se reemplaza por la suposicin de que son abiertos. Por ejemplo, si In D .0; 1=n/
16 Fernando Mejas
para todo n, tenemos que InC1 In para todo n y
1
\
nD1
In D ;:
El siguiente ejemplo ilustra una aplicacin del concepto de convergencia para probar la existencia de soluciones de cierto tipo de ecuaciones
especiales y se conoce como (un) teorema de punto fijo. Para establecer el
resultado necesitamos una definicin preliminar: dada una funcin f , un
punto fijo para f es un nmero tal que f ./ D .
EJEMPLO 17
FIGURA 9.
De forma anecdtica el matemtico Littlewood cuenta como un grfico similar a ste le sugiri la idea para resolver un problema y de all su opinin
de que en algunos casos solamente una figura es suficiente como solucin
a un problema (ver la pgina 135).
En primer lugar coloquemos etiquetas a la sucesin as: a0 D x y
anC1 D f .an /;
para todo n 0,
1. Sucesiones Infinitas 17
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
para todo n 0.
n!1
n!1
es decir, es un punto fijo para f . Para el caso en que f .x/ < x se procede
en forma anloga.
Nuestro ltimo ejemplo consiste en la aplicacin de sucesiones convergentes para hallar races de una funcin, utilizando las rectas tangentes
a su grfica, el procedimiento fue desarrollado por Newton y es conocido
como el mtodo de las tangentes de Newton.
EJEMPLO 18
x0 / C f .x0 /:
f .x0 /
f 0 .x0 /
si f 0 .x0 / 0.
x1 / C f .x1 /:
18 Fernando Mejas
Anlogamente, si suponemos que f 0 .x1 / 0, tenemos que el punto de
interseccin entre esta recta y el eje horizontal es un punto .x2 ; 0/, donde
x2 D x1
f .x1 /
:
f 0 .x1 /
FIGURA 10.
x2 D 1; 4142136
x3 D 1; 4142136:
1. Sucesiones Infinitas 19
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 ;:::.
(3)
1 3 9 27
; ; ; ;:::.
2 4 8 16
(4)
2; 1; 4; 3; 6; 5; : : : .
(5)
En cada uno de los siguientes casos decidir si la sucesin dada es convergente o no. En caso de que la respuesta sea afirmativa calcular el
lmite respectivo.
nC1
n
.
nC1
n
n
D cos
.
2
n
D n.
2
n
D n.
3
D 1 C . 1/n.
1 C . 1/n
D
.
n
. 1/n
1 C . 1/n
D
C
.
n
2
D 21=n .
(1)
an D
(2)
an
(3)
an
(4)
an
(5)
an
(6)
an
(7)
an
(8)
an
(9)
an D n. 1/ .
p
3
n2 cos.n/
an D
.
nC1
. 1/n C 2n
an D
.
. 1/nC1 C 2nC1
3n C . 2/n
an D nC1
.
3
C . 2/nC1
an D n n , con jj < 1.
n
n
an D 1 C
cos
.
nC1
2
p
. 1/n n sen.nn /
.
an D
nC1
p
n
an D an C b n , a; b 0.
(10)
(11)
(12)
(13)
(14)
(15)
(16)
20 Fernando Mejas
2
2n
.
(17) an D
n
1
n
(18) an D . 1/ 1 C
.
n
1
1
CC
.
(19) an D
nC1
2n
p
p
p
n
n
e C e2 C C n en
(20) an D
.
n
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
, ` D 0.
n
n
D
, ` D 1=2.
2n C 1
1
D , ` D 0.
n
n
9
n
D . 1/
, ` D 0.
10
1
D sen
, ` D 0.
n
(1)
an D
(2)
an
(3)
an
(4)
an
(5)
an
Probablemente las sucesiones ms simples son las constantes. A continuacin discutimos esta proposicin y establecemos las candidatas a
ser sus ms fuertes competidoras.
(a) Sea fan g una sucesin convergente de nmeros enteros. Demostrar que existe un nmero natural N tal que an es constante para
todo n N .
(b) Determinar todas las subsucesiones convergentes de la sucesin
f. 1/nC1 g.
n!1
(c) Demostrar mediante un ejemplo que si fxn g es una sucesin convergente y existe un nmero natural N tal que xn > 0 para todo
n N no se sigue necesariamente que lim xn > 0.
n!1
Dar un ejemplo de una sucesin fan g, tal que para cada nmero natural 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
D `:
n!1
n
lim
10
11
r q
q
p
p
2 2; 2 2 2; : : :
12
Existe una sucesin fan g definida por recurrencia que despierta admiracin general
a1 D 1;
a2 D 1;
an D an
C an
para n 3.
22 Fernando Mejas
La sucesin fan g es conocida como la sucesin de Fibonacci en honor al
italiano Fibonacci, tambin conocido como Leonardo de Pisa quien
la descubri en el estudio de un problema relacionado con la cra
de conejos (para los detalles consultar el Problema 2-20 de la referencia [1] de la Resea Bibliogrfica). Posteriormente se ha encontrado
que los nmeros de Fibonacci aparecen en muchos contextos de fenmenos naturales. Demostrar que para todo n se cumple la siguiente
igualdad
p !n
p !n
1
5
1C 5
2
2
p
an D
:
5
13
El nombre del matemtico suizo Leonhard Euler se encuentra asociado a un par de nmeros muy interesantes. En primer lugar el
nmero " que puede definirse como
e D log
.1/;
log n <
1
:
n
Indicacin: use la definicin de log indicada arriba y aplique algunas propiedades elementales de la integral.
1. Sucesiones Infinitas 23
(b) Usar la parte (a) para demostrar que si
an D 1 C
1
1
CC
2
n
log n;
Como en el problema anterior, en ste explotamos algunas propiedades de la integral aplicadas a la funcin log para establecer unos
hechos notables acerca de alguna sucesin especial que involucra en
su definicin al factorial de un nmero (que suele ser muy complicada de manipular por lo difcil que es estimar el valor de n cuando
n es muy grande).
(a) Demostrar que si f es creciente sobre 0; 1/ entonces
f .1/ C C f .n
1/ <
< n <
y por tanto
lim
n!1
.n C 1/nC1
;
en
p
n
n
1
D :
n
e
n
n
e
para n grande.
El Corolario 15 establece, en trminos generales, que funciones continuas llevan sucesiones convergentes a sucesiones convergentes. En
este problema se estudia la relacin entre la continuidad de funciones
y las sucesiones de Cauchy.
(a) Dar un ejemplo de un conjunto de nmeros reales X , una funcin
f W X ! R continua sobre X y una sucesin de Cauchy fxn g con
trminos en X , tales que ff .xn /g no sea una sucesin de Cauchy.
La situacin descrita en la parte (a) se puede mejorar considerablemente introduciendo un refinamiento al concepto de continuidad: Decimos que la funcin f W X ! R es uniformemente
24 Fernando Mejas
continua sobre X si para todo " > 0 existe un > 0 tal que para
todos x; y 2 X
si jx
17
bn j W n 2 n :
18
n!1
anC1
D `:
an
lim an 1=n D `:
n!1
19
1. Sucesiones Infinitas 25
(a) Demostrar que fxn g converge. El lmite lim xn se denomina lmite
n!1
n!1
n!1
n!1
n!1
n!1
n!1
n!1
26 Fernando Mejas
numerable. Indicacin: utilizar el siguiente diagrama sin preocuparse por los elementos repetidos y luego utilizar la parte (c)
1
1
2
1
3
1
4
1
::
:
1
2
.
%
.
%
2
2
3
2
4
2
::
:
1
3
%
.
%
.
2
3
3
3
4
3
::
:
1
4
.
%
.
%
2
4
3
4
4
4
%
.
%
::
:
CAPTULO
SERIES INFINITAS
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
Dada la sucesin fan g, consideramos la sucesin de sumas parciales fsn g de la
siguiente forma
s1 D a1
s2 D a1 C a2
::
:
sn D a1 C a2 C a3 C C an :
nD1
an D lim sn :
n!1
27
28 Fernando Mejas
1
X
an
nD1
EJEMPLO 1
1
X
1
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
La serie
1C
1
2
12
1
3
1
4
41 C 14 D 12
1
5
1
6
1
7
1
8
18 C 81 C 18 C 18 D 12
1
9
1
10
CC
1
16
1
1
1
C 16
CC 16
D 12
16
C :
1
X
1
es denominada la serie armnica.
n
nD1
El siguiente ejemplo establece ante todo un principio que con frecuencia vamos a olvidar (ms an, que con frecuencia vamos a contradecir)
el hecho de que dos series tengan trminos generales muy similares no significa que ambas se comporten igual con respecto a la convergencia.
Con frecuencia
EJEMPLO 2
La serie
1
X
1
converge. En efecto, observemos que la sucesin fsn g de
n2
nD1
para todo n:
1 n
1
D
3
3t 1
3
1
:
3n3
2. Series Infinitas 29
es decir fsn g est acotada superiormente y, de acuerdo al Teorema 1-8, es
convergente.
Observemos que si tenemos que estudiar una suma infinita de la
forma
ak C akC1 C akC2 C ;
podemos simplemente considerar las sumas parciales fSn g de la sucesin
fAn g definida por An D akCn 1 . Es evidente que la convergencia de fSn g
1
X
implica la convergencia de la serie
an (aunque los lmites pueden ser
nD1
1
X
nD1
tambin convergen y
1
X
nD1
.an C bn / D
1
X
nD1
1
X
nD1
c an D c
an C
1
X
1
X
nD1
nD1
.an C bn / y
1
X
nD1
c an
bn ;
nD1
an :
nD1
(ver Teoremas 1-12 y 1-13). Es decir que para valores muy grandes de n y m
tenemos que jsn sm j es muy pequeo, o que lim .sn sm / D 0; pero
n;m!1
sn
sm D a1 C a2 C C am C amC1 C C an
D a1 C a2 C C am C amC1 C C an
D amC1 C C an :
.a1 C a2 C C am /
a1
a2
am
30 Fernando Mejas
TEOREMA 3 (CRITERIO
DE CAUCHY)
La serie
1
X
an converge si y slo si
nD1
lim .amC1 C C an / D 0:
n;m!1
TEOREMA 4 (CONCICIN
DEL RESTO)
Si la serie
1
X
an converge, entonces
nD1
lim an D 0:
n!1
1,
luego
nD1
n!1
n!1
sn
1/
D lim sn
n!1
lim sn
n!1
D 0:
Ntese que el Teorema 4 es una condicin necesaria para la convergencia de una serie, ms no es una condicin suficiente, es decir el hecho de que
1
X
se cumpla que lim an D 0 no garantiza que la serie
an sea convergente
n!1
nD1
2. Series Infinitas 31
EJEMPLO 5
La serie
1
X
nD1
cin se obtiene observando que la sucesin fsn g de sumas parciales respectiva 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.
EJEMPLO 6
La serie
1
X
e nn
diverge. Segn el Problema 1-13(a) tenemos
nn
nD1
nn
en
< n <
.n C 1/nC1
;
en
de donde
e<
e nn
.n C 1/nC1
<
:
nn
nn
SERIES TELESCPICAS
En esta seccin consideramos cierto tipo de series cuyos sumandos an
tienen una forma especial an D bn bnC1 para alguna sucesin fbn g. En-
32 Fernando Mejas
tonces si fsn g denota la sucesin de sumas parciales de fan g, tenemos
sn D
D
n
X
ak
kD1
n
X
.bk
bkC1 /
kD1
D .b1
D b1
b2 / C .b2
b3 / C C .bn
bnC1 :
bnC1 /
1
X
nD1
para todo n:
nD1
EJEMPLO 8
bnC1
an D b1
lim bn :
n!1
Tenemos la igualdad
1
X
1
nD1
1
nC1
D 1;
1
1
1
D
D
2
nCn
n.n C 1/
n
EJEMPLO 9
Consideremos la serie
1
X
nD1
1
:
nC1
n
. Aplicando el mtodo de
.n C 1/.n C 2/.n C 3/
2. Series Infinitas 33
descomposicin en fracciones simples queda
n
D
.n C 1/.n C 2/.n C 3/
1
2
C
2.n C 1/ .n C 2/
3
;
2.n C 3/
nD1
n
D
.n C 1/.n C 2/.n C 3/
1
1X
1
1
2
nC1 nC2
nD1
1
3X
1
1
C
2
nC2 nC3
nD1
1 1
1
lim
2 2 n!1 n C 1
3 1
1
C
lim
2 3 n!1 n C 2
1
D :
4
La serie
1
X
log .1 C n1 /n .1 C n/
.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
X
X
log .1 C 1n /n .1 C n/
1
D
.log nn / log.n C 1/nC1
n log n
nD2
nD2
1
.n C 1/ log.n C 1/
1
1
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
1 Z
X
nC1
nD1 n
f .x/ dx D
1
X
nD1
.g.n/
g.1/:
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 ; : : : :
En este caso la simplicidad del patrn de la sucesin fr n g permite encontrar
fcilmente una frmula para determinar el trmino general de la sucesin
de sumas parciales fsn g. Observemos que
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 pequeo 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
r C r 2 C r 3 C C r n C r nC1 :
rsn D
De donde
.1
r nC1 :
r/sn D 1
Entonces si r 1, tenemos
sn D
r nC1
:
1 r
1
X
r n depende de
nD0
la existencia del lmite lim r n : Notemos que este lmite existe solamente si
n!1
n!1
1
1
La serie geomtrica
1
X
nD0
nD0
EJEMPLO 13
rn D
1
1
nD1
1 n
X
1
nD0
1D2
1 D 1;
1
22
1
23
1
24
C D 1:
Esta igualdad tiene un significado histrico particularmente interesante. En el siglo V antes de nuestra era, el filsofo griego Zenn de Elea
(495435 a.C.) formul un acertijo que se ha conocido tradicionalmente
como la paradoja de Zenn. El planteamiento del filsofo, puesto en trminos modernos, es el siguiente: supongamos que un corredor debe recorrer un camino rectilneo de longitud ` con una rapidez constante v, por
36 Fernando Mejas
tanto el tiempo t transcurrido en completar el recorrido es t D `=v. Ahora
notemos que al cabo de un perodo de tiempo t =2 el corredor habr recorrido la mitad de la trayectoria, faltando la otra mitad. Anlogamente, al
cabo de un perodo de tiempo t =4 adicional, habr recorrido la mitad del
trayecto que faltaba anteriormente y le queda la mitad de ste por recorrer.
Continuando de esta manera, razonaba Zenn, siempre que el corredor
recorra la mitad del tramo que resta en la parte anterior le faltar la mitad
del camino por recorrer y como esto ocurre indefinidamente, entonces el
tiempo total invertido por el corredor ser infinito. La falacia en la ltima
parte del razonamiento de Zenn queda al descubierto por la siguiente
igualdad:
t
t
t
t
C 2 C 3 C 4 C D t:
2
2
2
2
1C1
1C1
1C :
2. Series Infinitas 37
Aplicando la ley asociativa para la suma se obtienen las igualdades
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:
nD0
. 1/n D
1
1
D :
. 1/
2
38 Fernando Mejas
PROBLEMAS
1
En cada uno de los siguientes casos decidir si la serie dada es convergente o no, argumentando la respuesta.
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(9)
(10)
1
X
nD1
1
X
nD1
1
X
1
.
1/.2n C 1/
.2n
2
3n 3
2n C 3n
.
6n
nD1
p
1 p
X
nC1
n
.
p
n2 C n
nD1
1
X
2n C 1
.
n2 .n C 1/2
nD1
1
X
nC1
, donde jj < 10.
10n
nD1
1
X
nD0
1
X
3n C n2 C n
.
3nC1 n.n C 1/
. 1/n C 2n
.
5nC1
nD1
1
X
1
.
n sen
n
nD1
1 Z nC1
X
1
dx.
1 C x2
n
nD1
X
X
Demostrar que si la serie
an converge y la serie
bn diverge,
X
entonces la serie
.an C bn / diverge.
X
X
Dar un ejemplo de dos series
an y
bn divergentes tales que la
X
serie
.an C bn / converge. Dar tambin un ejemplo de dos series
divergentes cuya suma sea divergente.
2. Series Infinitas 39
converge. El Problema 1-9 demuestra que toda serie convergente es
Cesro convergente. Dar un ejemplo para demostrar que el recproco
no es cierto.
5
p
.; / D
1
X
b n /2 ;
.an
nD1
para todos D fan g; D fbn g 2 `2 .R/. Demostrar que la funcin satisface las siguientes propiedades para todos D fan g; D
fbn g;
D fcn g 2 `2 .R/.
(a) (Positividad) .; / 0. Adems, .; / D 0 si y slo si D .
(b) (Simetra) .; / D .; /.
xk yk
kD1
n
X
kD1
p
2
xk C
n
X
yk 2 :
kD1
El lector probablemente ha notado la semejanza entre ste y el Problema 1-14. Usando la misma terminologa que en aqul, tenemos
que la funcin define una distancia (o mtrica) en el mundo `2 .R/,
y que ste es otro ejemplo de un espacio mtrico.
El espacio `2 .R/ tiene un subconjunto muy notable H, que se denomina el cubo de Hilbert en honor al matemtico alemn David Hilbert
(Figura 2), considerado una de las figuras matemticas ms importantes e influyentes de todas las pocas.
40 Fernando Mejas
El cubo de Hilbert est formado por las sucesiones de `2 .R/ que tienen
la siguiente forma
f1; 0; 0; 0; : : :g;
f0; 1; 0; 0; : : : g;
f0; 0; 1; 0; : : : g; : : : :
Observemos
que si ; 2 H, con , entonces la distancia .; / D
p
2.
1
X
nD1
jxn
yn jp
!1=p
nD1
1
X
nD1
jxn jp
!1=p
1
X
jyn jp
nD1
!1=p
kD1
jxn
yn jp
!1=p
n
X
kD1
jxn jp
!1=p
n
X
kD1
jyn jp
!1=p
y esta ltima desigualdad es a su vez una consecuencia de la desigualdad de Hlder (que viene a ser una generalizacin de la desigualdad de
1
1
Cauchy-Schwarz): sea p > 1 y q > 1, tales que C D 1, entonces
p
q
n
X
kD1
jxk yk j
n
X
kD1
jxk j
!1=p
n
X
kD1
jyk j
!1=q
1
[
nD1
.an ; bn/
2. Series Infinitas 41
y
1
X
`n < ":
nD1
CAPTULO
SERIES DE TRMINOS
NO NEGATIVOS
esulta evidente que es imposible tener un mecanismo nico para decidir si una serie dada es convergente o no, as que la estrategia ms
conveniente es clasificar las series segn algunas propiedades generales de
sus trminos y determinar si al hacer tal agrupacin se puede establecer algn criterio. Esta idea, de alguna forma, ha sido aplicada en el Captulo 2
al considerar las series telescpicas y las series geomtricas; ahora pasamos
a establecer otra clasificacin que sorprendentemente proporciona una
abundante gama de resultados bsicamente considerando que todos los trminos de la serie tengan el mismo signo.
CRITERIO
DE
ACOTACIN
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
C an sn
1:
TEOREMA 1 (CRITERIO
DE ACOTACIN)
1
X
an es conver-
nD1
CRITERIO
DE
COMPARACIN
1
X
bn ;
1
X
bn ;
nD1
nD1
lo que deseamos comprobar. As, formalizando un poco el argumento anterior tenemos el siguiente teorema.
TEOREMA 2 (CRITERIO
DE COMPARACIN)
para todo n
P
an converge.
Sean fsn g y ftn g, las sucesiones de sumas parciales de fan g y fbn g, respectivamente. Puesto que an bn para todo n, tenemos que
para todo n:
sn tn
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.
Notemos que en la demostracin anterior podemos refinar un poco
ms un detalle: como bn 0 para todo n, tenemos que la sucesin ftn g es
no decreciente y en consecuencia
tn
1
X
bn ;
nD1
es decir,
bn es una cota superior para ftn g y en consecuencia lo es para
fsn g; de donde
1
1
X
X
an
bn :
nD1
nD1
P
Ahora recordemos que el hecho de que una serie
an sea convergente no depende del valor de una cantidad finita de trminos y en consecuencia las hiptesis del Teorema 1 pueden hacerse un poco ms flexibles:
podemos asumir que existen dos nmeros naturales M y N tales que
0 an
para todo n M
y
an bn
para todo n N ;
para todo n K.
Otro comentario oportuno y, de hecho, muy importante en este momento es que el Teorema 1 es lgicamente equivalente a la proposicin
siguiente:
P si fan g y fbn g son dos sucesiones
P tales que 0 an bn para todo n y si
la serie an diverge, entonces la serie
bn es divergente.
Las dificultades asociadas a la aplicacin del Teorema 2 consisten precisamente en encontrar la serie adecuada que sirva para establecer la comparacin. Esto sugiere que es conveniente elaborar un banco de series
donde se van depositando en cuentas separadas las series convergentes y
las divergentes, luego la idea es usar el conocimiento particular que uno
tenga de las funciones involucradas y, por peligroso que parezca el juego,
juzgar por las apariencias, como en los siguientes ejemplos.
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
1
j sen n j
2
2
n
n
para todo n:
1
X
1
conn2
nD1
verge.
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 enfo1
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
sen x x
de donde
sen
1
n2
para todo x 0;
1
n2
para todo n:
1
EJEMPLO 5 Si queremos investigar la serie
, probablemente uno quiera sesen
n
nD1
guir la idea del Ejemplo 4, obteniendo
1
1
sen
para todo n;
n
n
pero resulta que la serie mayorante en este caso es divergente y no es
posible aplicar el Teorema 2. Desafortunadamente en este momento no
disponemos de una herramienta para tratar este problema y su solucin
debe posponerse por cierto tiempo.
El siguiente ejemplo est ubicado aqu para recuperarnos de la mala
experiencia del anterior.
EJEMPLO 6
1
X
1
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
Ahora demostramos que la serie
log x x
log n n
para todo n 1;
1
1
n
log n
para todo n 2:
En particular
de donde
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
Ahora utilizamos este ejemplo para aumentar considerablemente nuestro saldo en la cuenta de las series divergentes.
EJEMPLO 7
1
X
1
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
Esta desigualdad es consecuencia del hecho de que
n
D C1:
n!C1 .log n/s
lim
1
1
;
.log x/s
.log x/k
48 Fernando Mejas
y, por tanto
x
x
lim
:
x!C1 .log x/k
x!C1 .log x/s
lim
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 caballin
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.
EJEMPLO 8
Consideremos la serie
1
X
1
ns
()
nD1
D C1;
para todo n
para todo n
()
nD1 0
1=n
p
x
dx
1 C x2
es convergente.
Un estudiante desprevenido
podra dedicarse por un tiempo a calcuZ p
x
lar la antiderivada
dx para luego aplicar el Teorema Fundamen1 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 herramienta 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)
1 C x2
0
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
p
Z 1=n p
1
x
dx D
0
1 C x2
1 C 2
n
0
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
Dp
:
2
2
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
n
n.1 C n2 /
1
X
para todo n;
1
converge y en consecuencia la serie ()
n.1 C n2 /
nD1
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
p
x
x:
2
1Cx
entonces la serie
50 Fernando Mejas
Entonces
Z
1=n
Pero
1 Z
X
p
Z 1=n
p
x
dx
x dx:
2
1Cx
0
nD1 0
1=n p
1
2X 1
x dx D
;
3
n3=2
nD1
1
X
nD1
convergente.
1
n3=2
n
X
X
X
X
1
1
1
1
A@
A @
A:
@
k
p1 j
p2 j
pN j
j D0
kD1
j D0
j D0
X
X
1
1
pi
D
:
j
j
pi
pi
pi 1
j D0
j D0
kD1
1
X
1
diverge.
lo cual contradice el hecho de que la serie armnica
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
2
1
3
1
5
1
7
1
11
C
es divergente.
A la luz de los Ejemplos 9 y 10 puede surgir la idea de que la aplicacin del criterio de comparacin puede ser muy artificiosa y, efectivamente existen muchos casos en que eso es cierto. La dificultad principal
consiste en que, como hemos sealado, no disponemos de una va segura
para estimar el grado de semejanza entre dos series dadas. A continuacin
presentamos un resultado, que no es exactamente una aplicacin del criterio de comparacin, sin embargo si es la ilustracin de una comparacin
muy elaborada. La demostracin de dicho resultado sigue prcticamente la
misma lnea de razonamiento que la demostracin de que la serie armnica
es divergente, pero la motivacin para tal resultado es otra historia (al igual
que su nombre).
TEOREMA 11
(TEOREMA DE
CONDENSACIN
DE CAUCHY)
1
X
1
X
an converge, en-
nD1
2na2n converge.
nD1
DEMOSTRACIN
52 Fernando Mejas
lo cual justifica el siguiente diagrama
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
Entonces
8a16
k
2
1
X
X
1X j
2 a2j
an
an :
2
nD1
j D1
EJEMPLO 12
nD1
nD1
2n
1
X
1
D
1
2n
nD1
sera convergente.
El siguiente ejemplo puede ser considerado a esta altura, y con toda
justicia, un abuso de poder.
1
X
1
EJEMPLO 13 Cauchy tenemos que la convergencia de la serie
implica la convern2
nD1
gencia de la siguiente serie (geomtrica):
1
X
nD1
1
1 n
X
X
1
2n
1
2 n 2 D
D
:
2n
.2 /
2
2
n
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
CRITERIO
DE
COMPARACIN
POR
PASO
AL
LMITE
Y entonces podemos utilizar esta relacin para plantear que si n toma valores muy grandes, entonces sen.1=n/
es, en algn sentido, prcticamente
P
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.
Por ejemplo, imaP
ginemos que queremos decidir si la serie
sen.10=n/ es convergente o
no. Resulta que al inicio, intentar usar el criterio de comparacin resultara poco prometedor pues no tenemos forma cierta de determinar que se
cumple la desigualdad
1
10
;
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, observando que
sen.10=n/
1
sen.10=n/
1
D
lim
D :
n!1
.1=n/
10 n!1 .10=n/
10
P
As tendramos
10=n garantizara la diverP que la divergencia de la serie
gencia de
sen.10=n/, sin importar que los trminos no son tan aproximadamente iguales cuando n es muy grande.
lim
TEOREMA 14
(CRITERIO DE
COMPARACIN
POR PASO
AL LMITE)
Si fan g y fbn g son dos sucesiones tales que an ; bn > 0 para todo n. Si
an
D ` 0;
n!1 bn
lim
54 Fernando Mejas
entonces la serie
1
X
nD1
DEMOSTRACIN
1
X
bn converge.
nD1
P
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
an implica la convergencia de
P
bn .
Notemos que existe un caso especial en el que la hiptesis sobre el
lmite en el teorema anterior puede ser ligeramente debilitada.
P Si suponemos que lim an =bn D 0 tenemos que la convergencia de
bn implica la
n!1
P
convergencia de an .
A continuacin empleamos el Teorema 14 para analizar desde otra
perspectiva un resultado ya conocido.
EJEMPLO 15
X
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 reduce 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:
1
n!1
n!1 n C n2
n2
En los tres ejemplos que siguen a continuacin analizamos casos especiales en los que el lim an =bn D 0 (aunque el primero pudiera consin!1
derarse ms bien como un contraejemplo, mientras que el segundo puede
1
1
n
n log n
lim
D lim
D lim
D 0;
1
n!1 log n
n!1
n!1 n log n
n
y no podemos arribar a una conclusin definitiva.
EJEMPLO 17
La serie
1
X
1
es convergente. En este caso tenemos
2n
nD1
1
n
n2
lim 2 D lim n D 0:
n!1 1
n!1 2
2
n
La ltima igualdad es casi como un artculo de fe en matemticas, una funcin exponencial con base > 1 siempre supera a cualquier potencia. Si
el lector desea asumir una actitud ms crtica con respecto a este punto,
consideremos el lmite similar pero sustituyendo la variable n por x, asumiendo que sta ltima sugiere continuidad (ms an, derivabilidad) y
podemos utilizar algunos de los recursos del Clculo elemental (la Regla
de LHpital):
x2
2x
2
D lim x
D lim
D 0:
x
x
x!C1 2
x!C1 2 log 2
x!C1 2 log2 2
lim
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
CRITERIO
DEL
COCIENTE
TEOREMA 19
(CRITERIO DEL
COCIENTE)
1
X
nD1
diverge.
DEMOSTRACIN
1
X
an
nD1
Supongamos que ` < 1 y sea un nmero cualquiera tal que ` < < 1.
Puesto que
anC1
lim
D `;
n!1 an
aplicando la definicin de lmite para " D ` > 0 tenemos que existe un
nmero natural N , tal que si n N , entonces
anC1
` < `:
a
n
Entonces
anC1
< `C
an
para todo n N .
`D
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 :
Puesto que < 1 tenemos que la serie geomtrica
1
X
k converge. En-
kD0
nDN
an D
1
X
aN Ck
1
X
an converge.
kD0
nD1
para todo k 0.
1
X
nD1
an
58 Fernando Mejas
Para continuar un esquema que ya hemos usado varias veces, analicemos un caso en el cual el teorema no tiene aplicacin. Tal vez puede
resultar un poco curioso, pero las series que vamos a usar no son extraas
en absoluto y, tal vez, este sea un argumento ms para considerarlas nuestros caballos en este juego (por lo menos siempre se puede esperar una
sorpresa de su parte).
EJEMPLO 20
Tanto para
lim
n!1
anC1
D 1:
an
EJEMPLO 21
La serie
1
X
nD1
anC1
n!1 an
lim
1
n
1
.n C 1/
D lim
D lim
D lim
D 0:
1
n!1 .n C 1/
n!1
n!1 n C 1
n
Una combinacin muy simptica de potencias y expresiones que involucran n aparece en el siguiente ejemplo que nos ensea una forma curiosa de calcular un cierto lmite.
1
X
rn
EJEMPLO 22 La serie
converge. Si escribimos an D r n =n, entonces
n
nD1
anC1
an
Entonces
r nC1
r nC1 n
r
.n C 1/
D
D nC1
D
:
n
r
r
.n C 1/
nC1
n
rn
D 0:
n!1 n
lim
EJEMPLO 23
1
X
nD1
.n C 1/r nC1
nC1
anC1
lim
D lim
D lim
r D r:
n!1
n!1
n!1 an
nr n
n
Entonces, para 0 r < 1, tenemos
lim nr n D 0:
n!1
EJEMPLO 24
La serie
1
X
n
converge. Escribimos an D n=nn y obtenemos
nn
nD1
.n C 1/
nn
1
anC1
nn .n C 1/
.n C 1/nC1
D
D
D
D
:
nC1
n
n
an
.n C 1/
n
.n C 1/
1 n
1C
nn
n
Luego
anC1
1
1
D lim
n D < 1;
n!1 an
n!1
e
1
1C
n
lim
entonces la serie
1
X
n
converge.
nn
nD1
La serie del ejemplo anterior puede ser ligeramente modificada involucrando factores de la forma r n y obteniendo resultados interesantes,
como en los dos ejemplos que siguen.
1
X
2n n
EJEMPLO 25 La serie
converge. En este caso escribimos an D 2nn=nn y obtenn
nD1
nemos
anC1
an
2nC1 .n C 1/
nn 2nC1 .n C 1/
2nn
2
.n C 1/nC1
D
D
D
D
:
nC1
n
n
2n n
.n C 1/
2 n
.n C 1/
1 n
1C
nn
n
60 Fernando Mejas
Luego
anC1
D lim
n!1
n!1 an
lim
EJEMPLO 26
1
n
1C
n D
2
< 1:
e
1
X
3n n
diverge. Ahora escribimos an D 3n n=nn y como en el
nn
nD1
ejemplo anterior nos queda
La serie
anC1
D
an
de donde
3
1
1C
n
n ;
anC1
3
D > 1:
n!1 an
e
lim
nD1
Consideremos la serie
1
2
1
2
1 2
2
1 2
2
1 3
2
1 3
2
C :
Notemos que si an denota el trmino general de esta serie, entonces tenemos que la sucesin de cocientes anC1 =an tiene la forma
1
1; 2 ; 1; 12 ; 1; 12 ; : : : ;
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 hen!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.
Supongamos que an 0 para todo n y que
p
lim n an D r:
LA RAZ)
n!1
TEOREMA 28
(CRITERIO DE
1
X
nD1
diverge.
DEMOSTRACIN
1
X
an
nD1
Supongamos que r < 1 y sea un nmero cualquiera tal que r < < 1.
Entonces existe un nmero natural N , tal que si n N ,
jan 1=n
de donde
0 an 1=n
rj <
r;
para todo n N .
Es decir
0 an n
para todo n N ,
1
. 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.
Un contraejemplo importante lo constituye la serie
EJEMPLO 29
an 1=n D
1
:
n1=n .log n/1=n
62 Fernando Mejas
Entonces
lim
n!1
anC1
D lim an 1=n D 1:
n!1
an
Tanto para
lim
n!1
Ahora experimentemos aplicando el criterio de la raz a la serie presentada en el Ejemplo 27, es decir
1
2
1
2
1 2
2
1 2
2
1 3
2
1 3
2
C :
1/ ! 1=2, luego
p
an 1=n !
2
< 1;
2
EJEMPLO 31
La serie
1
X
nD1
Luego
n2
converge. Si an D e
an 1=n D e
n2
n2 ,
1=n
entonces
De
1
:
en
1
D 0:
en
En este caso tambin obtenemos un resultado positivo al aplicar el
criterio del cociente pues
lim an 1=n D lim
n!1
n!1
anC1
e .nC1/
en
1
D
D
D 2nC1 ;
2
2 C2nC1
n
n
an
e
e
e
EJEMPLO 32
La serie
1
X
.n1=n
nD1
Luego
1/n
1=n
n!1
n!1
1/n , entonces
D n1=n
1:
1/ D 0:
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 idea
muy prometedora pues involucrara hacer consip
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
para n grande.
n
e
Luego
r
100n
100
100
100e
D p
n D
:
n
n
n
n
e
Entonces si an D 100n =n, tenemos
n
n!1
n!1
100e
D 0:
n
100nC1
100nC1 n
100
.n C 1/
D
D
D
;
n
n
100
100 .n C 1/
nC1
n
64 Fernando Mejas
entonces
100
anC1
D lim
D 0:
n!1 n C 1
n!1 an
lim
n!1
anC1
D lim an 1=n :
n!1
an
n!1
p
Entonces la sucesin f n an g converge y
lim
n!1
DEMOSTRACIN
p
n
an D `:
Dado " > 0 existe un N tal que para todo n N , tenemos que
anC1
` < ":
a
n
Es decir
"<
anC1
< `C"
an
para todo n N ,
entonces
.`
De donde
Pero
anCk
anCk
anCk 1 anCk
"/k <
r
anCk
k
an
p
nCk
` < "
anCk D
p
nCk
k!1
p
nCk anCk
1
2
anC1
< .` C "/k :
an
para todo n N ,
r
nCk
anCk
an
nCk
an :
` < "
para todo k M .
La serie
1
2
1
3
1 2
2
1 2
3
1 3
2
1 3
3
C
1 nC1
2
1 n
2
C
C
1 nC1
3
1 n
3
1
2nC1 C 3nC1
1
lim
D :
n
n
6 n!1 2 C 3
2
CRITERIO
DE LA INTEGRAL
66 Fernando Mejas
Ahora vamos a considerar una versin general de este caso y com1
X
probar que bajo ciertas condiciones la convergencia de la serie
an es
nD1
Z n
equivalente a la existencia del lmite lim
f; donde f es una funcin tal
n!1 1
FIGURA 2.
nD1
lmite
lim
A!1 1
existe.
Dada una funcin cualquiera f W a; C1/ ! R decimos que la integral impropia
Z 1
f
a
es convergente si el lmite
lim
A!1 a
f D lim
A!1 a
f:
DEMOSTRACIN
A!1 1
f C
f C
f C :
f .n C 1/ f .n/
luego
f .n C 1/
es decir
anC1
nC1
para todo n;
f f .n/
n
nC1
f an
para todo n:
vergencia de
1
X
nD1
an y vice versa.
nD1
EJEMPLO 37
1
X
1
diverge. Para demostrar este hecho consideremos la
n log n
nD2
funcin f definida sobre 2; C1/ por
La serie
f .x/ D
1
:
x log x
68 Fernando Mejas
Es claro que f es decreciente; por ejemplo, es fcil verificar que
1 C log x
<0
x 2 log2 x
f 0 .x/ D
Adems
Z
f D
1
dx D log.log A/
x log x
log.log 2/:
1
dx
x log x
es divergente.
En el ejemplo anterior, para la aplicacin del Teorema Fundamental
del Clculo, se utiliz la antiderivada
Z
1
dx D log.log x/ C C:
x log x
Este resultado se obtiene aplicando el mtodo de sustitucin sencilla, escribiendo u D log x. Con la misma sustitucin se obtienen las antiderivadas
Z
log x
log2 x
dx D
CC
x
2
1
2
log x
dx D
1
3 log3 x
C C;
EJEMPLO 38
La serie
por
1
X
log n
diverge. Consideramos la funcin f definida sobre 1; C1/
n
nD1
f .x/ D
En este caso tenemos
log x
:
x
log x
:
x2
Entonces f es decreciente sobre e; C1/. Por otro lado
f 0 .x/ D
log x
log2 A
dx D
x
2
diverge.
log x
dx
x
log2 3
:
2
EJEMPLO 39
La serie
1
X
1
n log2 n
nD2
definida por
f .x/ D
En este caso tenemos
1
:
x log2 x
2 C log x
f 0 .x/ D
x 2 log3 x
dx D
x log x
1
3
3 log 2
3 log3 A
1
x log2 x
dx
converge.
Tambin utilizando el mtodo de sustitucin sencilla obtenemos
Z
1 x2
2
xe x dx D
e
C C:
2
As tenemos el siguiente ejemplo.
EJEMPLO 40
La serie
1
X
ne
n2
nD1
xe
x2
2x 2 /e
1
dx D .e
2
x2
x2
A2
/:
xe
x2
dx D
1
1
lim . .e
2 A!1 2
A2
/D
1
:
2e
70 Fernando Mejas
1
X
1
demostramos que la serie diverge para s 1 y converge para
ns
nD1
s 2, pero no obtuvimos ninguna conclusin para 1 < s < 2.
la serie
EJEMPLO 41
La serie
1
X
1
ns
nD1
converge para todos s > 1 y diverge si s 1. Esta conclusin es una consecuencia inmediata del criterio de la integral pues
8
1
1
Z A
<
1
; si s 1;
1
s 1
s
1
A
dx
D
s
:
1 x
log A;
si s D 1.
Z 1
1
dx converge si s > 1 y diverge si
Entonces la integral impropia
xs
1
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 Riemann es la siguiente igualdad establecida por Euler:
.2/ D 1 C
1
1
2
1
C
C
C
D
:
22
32
42
6
x2
dx
nD1
EJEMPLO 42
1
X
n2
nD1
f .x/ D e
x2
x2
C1
x2
dx D
C1
x2
x2
dx C
C1
x2
dx
1
X
n2
nD1
C1
x2
dx es convergente.
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.
EL CRITERIO
DE
RAABE
Y EL
CRITERIO
DE
GAUSS
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 determinantes 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 denominacin 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
LEMA 43
bnC1 anC1
:
an
1
1
X
X
1
y si la serie
diverge, entonces la serie
an diverge.
bn
nD1
DEMOSTRACIN
nD1
bnC1 anC1
r para todo n N . Es decir
an
Supongamos que cn D bn
bkC1 akC1
r
ak
bk
para todo k N .
Entonces
ak r ak bk
de donde
n
X
ak
kDN
akC1 bkC1
an bn
r
para todo k N ,
para todo n N .
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
bn
bnC1 anC1
an
para todo n N .
bn
bnC1 anC1
an
para todo n N ,
En particular
de donde
1
bnC1
1
anC1
an bn
para todo n N .
TEOREMA 44
(CRITERIO DE
RAABE)
Supongamos que an > 0 para todo n y que existen un r > 0 y un nmero natural
N tales que
anC1
1 r
1
para todo n N ;
an
n n
entonces la serie
1
X
an converge. Si
nD1
anC1
1
an
entonces la serie
1
X
1
n
para todo n N ;
an diverge.
nD1
DEMOSTRACIN
anC1
1
an
Supongamos que
Entonces
1
n
r
para todo n N y que bnC1 D n.
n
bnC1 anC1
nanC1
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
cn D bn
anC1
1
an
1
n
para todo n N :
EJEMPLO 45
La serie
1
X
1 3 5 .2n
2n n
1/
nD1
diverge. Si escribimos
an D
1 3 5 .2n
2n n
1/
entonces
anC1
an
1 3 5 .2n 1/.2n C 1/
2n C 1
2nC1 .n C 1/
D
D
:
1 3 5 .2n 1/
2.n C 1/
2n n
74 Fernando Mejas
anC1
D 1, as que el criterio del cociente no es aplicaan
ble. Por otro lado tenemos
Notemos que lim
n!1
anC1
an
2n C 1
2.n C 1/
1D
1
2.n C 1/
1D
1
;
n
1/
nD1
diverge.
TEOREMA 46
(CRITERIO DE
GAUSS)
Supongamos que an > 0 para todo n y que existen dos nmeros s; M > 0 y un
nmero natural N tales que
anC1
D1
an
xn
C s
n
n
para todo n N ;
donde fxn g es una sucesin tal que jxn j M para todo n. Entonces si > 1 la
1
1
X
X
serie
an converge y si 1 la serie
an diverge.
nD1
DEMOSTRACIN
nD1
xn
C s 1
n
n
1
1
C
1
n
n
M
C s D1
1
n
M
C s 1
n
M
1
ns 1
M
0:
ks 1
M=k s
anC1
1
an
r
:
n
1,
tenemos
P
Entonces, por el criterio de Raabe tenemos que an converge.
Si > 1 tenemos que para todo n N se cumple
anC1
D1
an
xn
C s >1
n
n
1
1
;
n
n
P
entonces de acuerdo al criterio de Raabe la serie an diverge.
bnC1 anC1
an
D .n
1/ log.n
1/
D .n
1/ log.n
1/
D .n
1/ log.n
1/
1/ log.n
nD2
diverge.
n log n < 0
1/
1
X
n log n anC1
an
xn
1
C s
n log n 1
n
n
xn
n log n C log n 1
:
ns
para todo n max.N; k/:
P
1
diverge, el Lema 41 implica que
an
n log n
EJEMPLO 47
Consideremos la serie
1
X
1 3 5 .2n 1/
:
2 4 6 .2n/
nD1
Si
an D
entonces
1 3 5 .2n 1/
;
2 4 6 .2n/
2n C 1
anC1
D
:
an
2.n C 1/
76 Fernando Mejas
Es fcil comprobar que
anC1
D1
an
1
n
1
C
2:
2n 2.n C 1/ n
nD1
diverge.
TEOREMA
DE
ABEL
PRINGSHEIM
Para concluir esta fase de nuestro juego trabajamos con otro pen que difcilmente corona y por tanto es poco estimado, pero que en algunas oportunidades 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
(TEOREMA
DE ABEL Y
PRINGSHEIM)
Supongamos que fan g es una sucesin decreciente tal que an 0 para todo n. Si la
1
X
serie
an converge, entonces
nD1
lim nan D 0:
n!1
DEMOSTRACIN
m/ an ;
m trminos
de donde
.n
m/ an < ";
para n m N :
m/ D 1, as que si escribimos
n!1
n an D
n
n
.n
m/ an ;
n!1
1
X
1
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
lo cual es una contradiccin.
Otra aplicacin del teorema de Abel-Pringsheim es la igualdad siguiente:
lim n r n D 0; para 0 < r < 1,
n!1
1
X
r n es convergente.
nD0
78 Fernando Mejas
PROBLEMAS
1
En cada uno de los siguientes casos decidir si la serie dada es convergente o no, argumentando la respuesta.
(1)
1
X
1 C j cos n j
.
n
nD1
(2)
(3)
(4)
1
X
2
p
.
3
2
n C1
nD2
1
p
3
2
n
nD1
1
X
1
X
nD2
(5)
1
X
nD1
(6)
1
X
nD2
(7)
1
X
nD1
(8)
1
.
.log n/n
n3
.
n4 C 1
ns
1
, s > 1.
log n
n
.
.n C 3/
1
X
log n
.
ns
nD1
(9)
(10)
1
X
log n
p
.
n nC1
nD1
1
X
nD1
(11)
(12)
1
X
nD1
1
X
nD1
(13)
1
p
n.n C 1/
.3n
p
3n
n
2/.3n
1/
1 log.4n C 1/
.
n.n C 1/
1
X
jan j
, con jan j < .
n
nD1
(14)
1
X
n2 sen2 .n=3/
.
3n
nD2
(15)
1
X
ns
, con s > 1 y > 1.
n
nD1
(16)
(17)
(18)
(19)
(20)
(21)
(22)
(23)
(24)
(25)
(26)
(27)
1
X
.n/2
.
.2n/
nD1
1
X
nD1
1
X
.n/2
.n1=n
nD1
1
X
nD1
1
X
nD1
1
X
1/n.
1
n
n2
2
.
n C 1
sen.log n/.
nD1
1
X
nD1
1
X
2n
n sen
1
.
n
n sen.1=n/
.
n
nD1
1
X
1
log n sen
.
n
1
nD1
1
X
cos.1=n/
.
n
nD1
1 Z nC1
X
2
e x dx:
nD1 n
1 Z 1=n
X
x2
dx:
nD1 0
1
X
an converge, entonces
nD1
1
X
1
diverge.
an
nD1
1
X
nD1
an
diverge.
1 C an
1
X
an diverge, entonces la
nD1
Utilizar la serie
1C
1
2
1
2
1
3
1
3
1
4
1
4
1
5
1
6
1
7
1
8
C
80 Fernando Mejas
para demostrar que el recproco del teorema de Abel-Pringsheim no
es cierto.
5
1
22
1
32
1
4
1
52
1
62
1
72
1
82
1
9
1
102
C :
p
n
n!1
p
n
an D 1.
1
X
nD1
an diverge. El
nD1
10
CAPTULO
CONVERGENCIA
ABSOLUTA
CRITERIO
DE
LEIBNIZ
a2 C a3
81
a4 C
82 Fernando Mejas
1
X
nD1
Sea fan g una sucesin no creciente tal que lim an D 0. Entonces la serie alternada
1
X
n!1
. 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
s2nC2 D s2n C a2nC1
a2nC2 :
a2nC2 0, de
Anlogamente tenemos
s2nC3 D s2nC1
s2k s2j C1 ;
De tal manera que la sucesin fs2n g est acotada superiormente (por ejemplo s1 es una cota superior) y es por tanto convergente. Similarmente tenemos que fs2nC1 g tambin converge. Sean
D lim s2n
n!1
D lim s2nC1 :
n!1
Entonces
D lim s2nC1
n!1
n!1
n!1
n!1
EJEMPLO 2
4. Convergencia Absoluta 83
es la serie armnica alternada:
1
X
. 1/nC1
;
n
nD1
la cual es convergente.
X . 1/nC1 X 1
D
Notemos que la serie
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
EJEMPLO 3
1
X
p
. 1/nC1
p
; es convergente. Si escribimos an D 1= n tenemos
n
nD1
que fan g es decreciente y obviamente an ! 0 cuando n ! 1, entonces
por el criterio de Leibniz la serie dada converge.
La serie
1
X
1
. 1/
1 cos
EJEMPLO 4 Consideremos la serie
: En este caso escribimos
n
nD1
an D 1 cos 1=n. Para demostrar que esta sucesin es decreciente tomemos
nC1
84 Fernando Mejas
f .x/ D 1
mos
EJEMPLO 5
La serie
1
X
. 1/nC1
nD1
f por f .x/ D
2
2
arctg.log n/ converge. Si definimos la funcin
f 0 .x/ D
1
<0
x.1 C log2 x/
CONVERGENCIA ABSOLUTA
En un par de ocasiones hemos mencionado que la convergencia de la serie
P
P
jan j implica la convergencia de an , ahora lleg el momento de probar
tal afirmacin, pero antes notemos el hecho de que la proposicin recproca no es cierta (ver el Ejemplo 2), motivo por el cual se establece una
1
X
terminologa que permite diferenciar lo distintos casos: si la serie
jan j
converge, decimos que
1
X
an converge y
nD1
1
X
nD1
1
X
nD1
nD1
1
X
an es condicio-
nD1
Si la serie
1
X
nD1
1
X
nD1
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 respectivamente. 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
n;m!1
luego, la serie
lim .amC1 C C an /
sm / D
n;m!1
n;m!1
an es convergente y
lim sn lim tn ;
n!1
es decir
1
X X
an
jan j:
nD1
EJEMPLO 7
n!1
nD1
1
X
sen.n /
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
La serie
nD1
nD1
converge.
P
Una
forma
de
analizar
una
serie
an es considerar dos nuevas series
P C P
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
;
si
a
0
0;
si an 0
n
n
anC D
y
an D
0;
si an 0;
an ; si an 0:
86 Fernando Mejas
Entonces
an C jan j
an jan j
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.
anC D
TEOREMA 8
La serie
1
X
nD1
anC y
nD1
convergen ambas.
DEMOSTRACIN
1
X
1
X
an
nD1
P
P
Supongamos que la serie
jan j converge, entonces
an tambin converge (por el Teorema 6) y
X
anC D
X
1X
1 X
.an C jan j/ D
an C
jan j ;
2
2
an D
1 X
an
2
jan j
tambin converge.
P
P
Ahora supongamos que anC y anC convergen. Entonces
converge.
jan j D
REORDENACIN
DE
1X C
.an
2
an / D
1 X C
an
2
an
SERIES
4. Convergencia Absoluta 87
siendo una permutacin (es decir b D a B ).
Si
1
X
nD1
quiera de
1
X
an , entonces
nD1
1
X
nD1
nD1
1
X
nD1
DEMOSTRACIN
1
X
bn D
1
X
an :
nD1
1
X
nD1
jan j
para todo k:
P
Entonces por
jbn j converge, es deP el criterio de acotacin tenemos que
cir, la serie bn converge absolutamente.
Denotemos por fsn g, fSn g y ftn g las sucesiones de sumas parciales de
fan g, fjan jg y fbn g, respectivamente. Dado " > 0 existe un nmero natural
N tal que
1
1
"
"
X
X
y
jan j < :
an <
Sn
sn
2
nD1
nD1
1
1
X
X
an D tn sn C sn
an jtn
tn
nD1
nD1
luego
tn
Adems tenemos
n
X
jtn sn j D
bj
j D1
de donde
jtn
1
X
nD1
an jtn
n
X
aj D
b.j /
j D1
j D1
X
N
sn j
jaj j D
jaj j
j D1
j DN C1
1
X
nD1
"
sn j C :
2
N
X
n
X
sn j C sn
an ;
aj D
aj
j DN C1
j D1
N
X
"
jan j < :
2
nD1
1
X
TEO
88 Fernando Mejas
Entonces tenemos que para todo n, si n M se cumple
1
X
tn
es decir
1
X
nD1
nD1
bn D
an < ";
1
X
an :
nD1
TEOREMA 10
(TEOREMA DE
REORDENACIN
DE DIRICHLET)
Si
1
X
nD1
denacin cualquiera de
y
1
X
an , entonces
nD1
1
X
bn es una reor-
nD1
1
X
1
X
an :
nD1
1
X
nD1
bn D
nD1
P
Ahora supongamos que
an es una serie condicionalmente convergente 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
de la serie, de tal forma que construyamos una reordenacin fbn g de fan g
P
con bn D x.
P C
Sabemos que
an diverge, entonces x no puede ser cota superior
de las sumas parciales de fanC g, entonces hallamos el primer trmino de
fanC g tal que la correspondiente
suma parcial sobrepasa a x. Anlogamente
P
usamos el hecho de que
an diverge para hallar el primer trmino de
fan g tal que al sumar la correspondiente suma parcial al agregarlo a la
suma anterior resulte un nmero menor que x, y seguidamente se repite el
procedimiento con fanC g.
De esta manera logramos atrapar a x. El siguiente teorema de Riemann establece formalmente esta discusin.
TEOREMA 11
(TEOREMA DE
REORDENACIN
DE RIEMANN)
Sean
1
X
nD1
1
X
bn de
nD1
1
X
nD1
DEMOSTRACIN
1
X
an , tal que
nD1
bn D x:
P
P
Como an es condicionalmente convergente tenemos que las series anC
P
y an son ambas divergentes (Teorema 7). Sea n1 el nmero de trminos
de fanC g tal que
n1
X
nD1
anC
> x;
pero
p
X
nD1
anC < x
si p < n1 .
90 Fernando Mejas
Sea m1 el nmero de trminos de fan g tal que
n1
X
nD1
anC
m1
X
an < x;
pero
nD1
p
X
an < x
si p < m1 .
nD1
C
La diferencia entre la suma parcial
P de fbn g y x es siempre a lo sumo un an
o jan j. Pero la convergencia de
an implica que an ! 0 cuando n ! 1,
as que las sumas parciales de fbn g se hacen arbitrariamente cercanas a x,
es decir
1
X
bn D x:
nD1
4. Convergencia Absoluta 91
PROBLEMAS
1
(1)
. 1/
nC1
(2)
. 1/
nC1
. 1/
nC1
nD1
1
X
(3)
nD1
1
X
(4)
nC1
1
X
1
1
n sen
.
n
1
cos
.
n
1
1
.
2n C 1
. 1/nC1 arctg
. 1/nC1
nD1
1
X
arctg.log n/ .
e
dx.
nD1
(5)
nD1
1
X
1
. 1/
1C
n
nD1
100
1
X
nC1 n
. 1/
.
2n
(6)
(7)
nC1
n
nD1
(8)
1
X
. 1/nC1
.
log.1 C 1=n/
nD1
n log2 .1 C n/
nD1
1
X
(9)
(10)
. 1/nC1
1
X
. 1/nC1 n37
.
.n C 1/
nD1
1
X
nD1
1
X X
a
jan j:
nD1
nD1
1
X
nD1
1
X
nD1
bn tambin con-
92 Fernando Mejas
(b) Demostrar mediante un ejemplo que la convergencia absoluta de
1
X
la serie
an es imprescindible.
nD1
1
X
nD1
1
X
nD1
an 2 converge.
CAPTULO
TEOREMA DE ABEL
FRMULA
DE
ABEL
a1 b2 C a1 b2 C a2 b2
D s1 b1
D s1 .b1
93
s1 b2 C s2 b2
b2 / C s2 b2 :
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
D s1 .b1
b2 / C s2 b2
D s1 .b1
a1 b3
b2 / C s2 b2
D s1 .b1
a2 b3 C a1 b3 C a2 b3 C a3 b3
s2 b3 C s3 b3
b2 / C s2 .b2
b3 / C s3 b3 :
b3 / C C sn
1 .bn 1
bn / C sn bn :
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
()
kD1
DEMOSTRACIN
b2 / C s2 .b2
ak bk D
n
X1
sk .bk
bkC1 / C sn bn :
kD1
kD1
sk .bk
bkC1 / C sn bn D s1 .b1
b2 / C s2 .b2
C sn
1 .bn 1
D s1 b1 C .s2
C .sn
b3 / C
bn / C sn bn
s1 /b2 C .s3
sn
2 /bn 1
s2 /b3 C
C .sn
sn
1 /bn
D a1 b1 C a2 b2 C C an bn :
kD1
bk ak D sn bn
n
X1
sk .bkC1
bk /:
kD1
5. Teorema de Abel 95
LEMA 2
(LEMA DE
Sean fan g y fbn g dos sucesiones, tal que fbn g es no creciente y bn 0 para todo n.
Supongamos que existen m y M tales que
ABEL)
m a1 C C an M
para todo n. Entonces
bk m ak bk C C an bn bk M
para todo k n.
DEMOSTRACIN
Notemos que
mb1 D mb1
D m.b1
mb2 C mb2
b2 / C m.b2
mbn
C mbn
b3 / C C m.bn
mbn C mbn
bn / C mbn
y, similarmente
M b1 D M.b1
b2 / C M.b2
b3 / C C M.bn
bn / C M bn :
bj / sj .bj
n
X1
.bj
bj / M.bj
bj /
bj 0 para
para todo j .
Entonces
m
j D1
bj / C mbn
n
X1
sj .bj
n
X1
.bj
j D1
M
es decir
mb1
n
X1
sj .bj
j D1
j D1
bj / C sn bn
1
bj / C M bn ;
bj / C sn bn M b1 :
n
X
j D1
aj bj M b1 :
Finalmente, dado el nmero natural k, aplicamos este resultado a las sucesiones fak ; akC1 ; : : : g y fbk ; bkC1 ; : : : g, obteniendo
mbk
n
X
j D1
aj bj M bk :
96 Fernando Mejas
CRITERIO
DE
DIRICHLET
DEMOSTRACIN
Sean fan g una sucesin cuyas sumas parciales estn acotadas y fbn g una sucesin
1
X
no creciente con lim bn D 0. Entonces la serie
an bn converge.
n!1
nD1
Supongamos que
m a1 C C an M
para todo n. Entonces, por el lema de Abel tenemos
bk m ak bk C C an bn bk M
para todo k n.
Puesto que lim bn D 0, entonces
n!1
lim .ak bk C C an bn / D 0;
k;n!1
EJEMPLO 4
an bn converge.
. 1/nC1 bn ;
nD1
EJEMPLO 5
1
X
sen.n=2/
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.
La serie
5. Teorema de Abel 97
CRITERIO
DE
ABEL
TEOREMA 6
(CRITERIO DE
ABEL)
Supongamos que
nD1
DEMOSTRACIN
1
X
1
X
an bn
nD1
Supongamos que la sucesin fbn g es no decreciente. Como las sumas parciales 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 acoP
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 converge.
Si la sucesin fbn g es no creciente podemos proceder de forma anloga,
pero usando n D bn b.
CAPTULO
PRODUCTO DE SERIES
X
X
X
.an C bn / D
an C
bn :
()
an bn D
an
bn :
Un resultado en ese sentido fue descubierto por Cauchy, pero su demostracin completa es debida a Abel.
PRODUCTO
DE
CAUCHY
nD1
an
1
X
nD1
bn D .a1 C a2 C / .b1 C b2 C /
1
X
D a1
nD1
bn C a2
1
X
nD1
bn C
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
en este esquema sugiere que si
P
P para
Pformar una sucesin, P
cn D
an
bn , entonces la serie
cn debe involucrar de alguna
manera todos los productos de la forma ai bj . Observando el siguiente diagrama 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 b2
.
%
.
%
a2 b2
a3 b2
a4 b2
::
:
a1 b3
%
.
%
.
a2 b3
a3 b3
a4 b3
::
:
a1 b4
.
%
.
%
a2 b4
a3 b4
a4 b4
::
:
%
.
%
c1 D a1 b1 ;
c2 D a1 b2 C a2 b1 ;
c3 D a1 b3 C a2 b2 C a3 b1 ;
En general tenemos
c4 D a1 b4 C a2 b3 C a3 b2 C a4 b1 :
cn D a1 bn C a2 bn
La serie
1
X
1
X
C C an b1 D
n
X
ak bn
kC1 :
kD1
nD1
1
X
an y
nD1
bn .
nD1
P
P
p
an y
bn
Si an D bn D . 1/nC1 = n para todo n, entonces las series
son condicionalmente convergentes mientras que su producto de Cauchy
diverge.
P
La convergencia de
an es una aplicacin del criterio de Leibniz
P
jan j se obtiene comparando con la serie
mientras que la divergencia de
armnica (ver el Ejemplo 4-3).
Ahora
cn D
D
n
X
ak bn
kD1
n
X
1
. 1/kC1 p . 1/n
k
kD1
D . 1/
kC1
Notemos que
k.n
luego
kC1
k C 1/
n
2
C1
n
X
p
k.n
kD1
2
kC2
n
2
k C 1/
2
1
n
kC1
C1
2
n
2
2
1
p
:
nC1
k.n k C 2/
.n C 1/2
;
4
n
X
X
2
2n
1
p
jcn j D
D
1
nC1
k.n k C 2/ kD1 n C 1
kD1
1
X
nD1
1
X
an converge absolutamente y
1
X
bn
nD1
cn converge y
nD1
1
X
()
nD1
DEMOSTRACIN
cn D
1
X
nD1
an
1
X
bn :
nD1
Sean fan g, fbn g y fCn g las sumas parciales de fan g, fbn g y fcn g respectiva1
X
mente. Adems consideremos n D bn
bn . Entonces
nD1
Cn D
n
X
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
D a1 n C
1
X
nD1
C C an B1
!
bn C a2 n
1C
1
X
nD1
bn C C an 1 C
D a1 n C C an 1 C .a1 C C an /
D a1 n C C an 1 C An
Como la serie
1
X
1
X
1
X
nD1
bn
bn
nD1
bn :
nD1
nD1
1
X
lim jn C C N C1 j <
"
n!1
1
X
nD1
jan j
nD1
n;m!1
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
an .n C C N C1 /
nD1
C jan
1
X
nD1
N n
C C an 1 j
jan j .n C C N C1 /
C jan
N n
C C an 1 j:
ja1 n C C an 1 j <
N n
C C an 1 j:
N n
C C an 1 j jan
.jan
N j jn j
Nj
C C jan j j1 j
C C jan j/ :
lim jan
n!1
N n
C C an 1 j D 0:
n!1
"
< ":
2
n!1
Finalmente tenemos
lim Cn D lim
n!1
n!1
An
1
X
nD1
bn
1
1
1
X
X
X
lim An
bn D
an
bn :
n!1
nD1
nD1
nD1
DE
ABEL
PARA EL
PRODUCTO
Esta corta seccin est dedicada a ilustrar algunas condiciones que garantizan el cumplimiento de igualdades como (). El primero de los resulP
P
tados impone convergencia absoluta a las series
an y
bn para garantizar que cualquier reordenacin del producto de Cauchy converge hacia
P
P
an bn .
TEOREMA 3
Si
1
X
an y
nD1
1
X
nD1
nD1
'n D
1
X
nD1
an
1
X
1
X
'n converge y
nD1
bn :
nD1
Sean
1
X
1
X
nD1
an ,
1
X
nD1
nD1
1
X
nD1
cn D
1
X
nD1
an
1
X
nD1
bn :
CAPTULO
SERIES DE FUNCIONES
n!1
f .x/ D
1
X
f .n/.a/
.x
n
a/n
nD0
x7
C ;
7
x6
C ;
6
x3
C ;
3
x4
C ;
4
x7
C :
7
La dificultad que se nos plantea actualmente es que cada una de estas ecuaciones 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
2
2
FIGURA 1.
Es posible que una sucesin de funciones ffn g sobre A sea convergente para algunos puntos de A y sea divergente para otros. En nuestro
estudio son de especial inters aquellas sucesiones de funciones ffn g para
1
1
FIGURA 2.
1=2nC1
1=2n
1=2n
fn .x/ dx C
nC1
1=2n
dx
1
f1
-
f2
1
2
1
4
Figura 7.3(a)
lim
n!1 0
fn .x/ dx
2nC1 dx
1=2n
1=2nC1
D 1:
1=2nC1
D2
Es decir,
1 1
8 4
1
2
Figura 7.3(b)
fn .x/ dx D 1 0 D
f .x/ dx D
0 n!1
El hecho de que
lim
n!1 0
fn .x/ dx
0 n!1
no es originado por la discontinuidad de las funciones fn , en efecto podemos conseguir una sucesin de funciones continuas sobre 0; 1 con caractersticas similares.
EJEMPLO 3
<2
fn .x/ D 2nC1 .2 x/
:
0
f2
C
C
2 C
C @ f1
C @
C
@
1
2
1
4
FIGURA 4.
Luego
lim
n!1 0
fn .x/ dx D 1 0 D
f .x/ dx D
0 n!1
f 0 .x/;
para algn x.
EJEMPLO 4
1
n
sen.nx/
:
n
para todo x 2 R.
Adems
fn0 .x/ D cos.nx/
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.
Antes de pasar a plantear la posibilidad de definir series de funciones debemos encontrar una forma de mejorar la nocin de convergencia y poder as manipular los lmites con mayor grado de libertad.
CONVERGENCIA UNIFORME
Pasemos ahora a estudiar la posibilidad de obtener algunos resultados positivos en el sentido de que dada una sucesin de funciones ffn g, tal que cada
una de las funciones tenga una determinada propiedad sobre un conjunto
A, entonces (si existe) la funcin f .x/ D lim fn .x/, tambin f satisface
n!1
esa propiedad.
Para establecer ese tipo de resultados es necesario estudiar con mayor
profundidad la funcin lmite f . Si para todo x 2 A tenemos
f .x/ D lim fn .x/;
n!1
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 Ejemplos 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
jfn .x/
para todo x 2 A y n N ,
n!1
para cada x 2 A, decimos que la sucesin de funciones ffn g converge puntualmente (o es puntualmente convergente) hacia la funcin f .
+
N
FIGURA 5.
Evidentemente, la convergencia uniforme de una sucesin de funciones implica la convergencia puntual, pero la proposicin recproca no
es cierta.
1
1
FIGURA 6.
En algunos libros de Clculo se usaba la notacin fn f para indicar que ffn g converge uniformemente hacia f , mientras que fn ! f
denotaba convergencia puntual. En este libro, como en todos los textos
modernos, no usaremos la primera en absoluto y siempre se indicar con
palabras el tipo de convergencia.
EJEMPLO 6
TEOREMA 7
Supongamos que ffn g es una sucesin de funciones que converge uniformemente hacia 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
jfn .x/
f .x/j <
"
3
"
f .x C h/j < :
3
jfN .x C h/
Finalmente, usando las desigualdades (1), (3) y (4), tenemos que para todo
h si x C h 2 A con jhj < entonces
jf .x C h/
f .x/j D jf .x C h/
C fN .x/
jfN .x C h/
C jfN .x/
"
"
"
< C C
3
3
3
D ":
f .x/ C fN .x C h/
fN .x/j
fN .x C h/
f .x C h/j C jfN .x C h/
fN .x/j
f .x/j
Es decir,
(5)
lim f .x C h/ D f .x/:
h!0
Con respecto a la relacin entre la convergencia de sucesiones de funciones y la integracin, la convergencia uniforme tambin es una condicin
suficiente para obtener resultados positivos.
TEOREMA 8
Supongamos que ffn g es una sucesin de funciones integrables sobre a; b que converge 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
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
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
D ":
"
.b
"
dx
a/
lim
n!1 a
fn .x/ dx D
f .x/ dx:
n!1 0
fn .x/ dx D lim
n!1 0
1
D0D
n!1 n C 1
x n dx D lim
f .x/ dx:
La ecuacin (6) suele expresarse de una forma muy sugestiva, tomando en cuenta que lim fn .x/ D f .x/ tenemos
n!1
lim
n!1 a
fn .x/ dx D
i
lim fn .x/ dx:
n!1
lim
n!1 a
fn D
lim fn ;
a n!1
n!1
0
(5 )
lim
lim fn .x C h/ D lim
h!0 n!1
lim fn .x C h/ :
n!1 h!0
Despus de las dos victorias que representan los Teoremas 7 y 8, tenemos que enfrentarnos al hecho de que la relacin entre la convergencia
uniforme y la derivabilidad es decepcionante. En efecto el Ejemplo 4 muestra que la sucesin de funciones ffn g dada por
fn .x/ D
sen.nx/
n
para todo x 2 R
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
DEMOSTRACIN
Por el Segundo Teorema Fundamental de Clculo y la convergencia puntual de ffn g hacia f tenemos
Z x
lim
fn0 .x/ dx D lim fn .x/ fn .a/ D f .x/ f .a/:
n!1 a
n!1
Luego, por el Primer Teorema Fundamental del Clculo (el cual es aplicable porque g es continua) resulta que f 0 .x/ D g.x/ y por tanto
(7)
Como en los casos anteriores, la ecuacin (7) puede escribirse ilustrando un intercambio entre el proceso de derivacin y el de lmites, as:
0
(70 )
lim fn D lim fn0 :
n!1
n!1
LEMA 10
Supongamos que ffn g es una sucesin de funciones continuas sobre a; b que converge 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.
DEMOSTRACIN
para todo x 2 a; b.
La sucesin fxj g est acotada y por tanto contiene una subsucesin fxhj g
que converge hacia algn punto 2 a; b. Para simplificar la notacin,
podemos asumir que la subsucesin es fxj g (lo cual equivale a descartar
de la sucesin original los trminos que no pertenecen a la subsucesin y
luego cambiar las etiquetas). Puesto que la sucesin ffn ./g converge a 0,
existe un nmero natural N tal que
fn ./ < "
para todo n N .
DEMOSTRACIN
f .x/:
f .x/
fnC1 .x/ 0:
x
n
para todo n, entonces tenemos que se cumplen las otras hiptesis del teorema de Dini pero la convergencia hacia f D 0 no es uniforme sobre
0; C1/.
A continuacin estudiamos una condicin necesaria y suficiente para
la convergencia uniforme.
TEOREMA 12
f .x/j W x 2 Ag :
n!1
DEMOSTRACIN
f .x/j W x 2 Ag
"
;
2
"
<"
2
para todo n N .
Entonces
lim n D 0:
n!1
El Teorema 12 es particularmente til cuando A D a; b y las funciones involucradas son continuas sobre a; b, en cuyo caso tenemos que
sup D max y uno puede utilizar algunas de las herramientas del Clculo
elemental para estimar la sucesin definida por
n D max fjfn .x/
f .x/j W x 2 a; bg :
1
X
nD1
nD1
1
X
nD1
1
X
fn
nD1
f D
1 Z
X
fn :
nD1 a
(3) Si cada una de las funciones fn es derivable sobre a; b, con fn0 integrable
1
1
X
X
fn0 converge
fn converge puntualmente hacia f y si
sobre a; b. Si
nD1
nD1
TEOREMA 14
(EL CRITERIO M
DE WEIERSTRASS)
1
X
nD1
f .x/ D
Mn es
nD1
para todo x 2 A.
DEMOSTRACIN
1
X
1
X
fn .x/:
nD1
1
X
nD1
fn
Mn < ":
nDN C1
f1 .x/ C C fN .x/j D
fn .x/
nDN C1
1
X
nDN C1
1
X
jfn .x/j
Mn
nDN C1
< ":
Entonces tenemos
P que la serie
funcin f .x/ D fn .x/.
SERIES
DE
POTENCIAS
1
X
f .n/ .a/
.x
n
a/n :
nD0
1
X
a/n
an .x
nD0
fn .x/ D an .x
a/n
para todo n,
1
X
nD0
an .x
a/n
1
X
an .x
a/n :
nD1
a/n :
nD0
(10)
an x n :
nD0
n!1
an x n converge si
n!1
n!1
an x n converge para
P
D C1, entonces
an x n
P
r D radio de convergencia
-
(
a
)
aCr
Intervalo de convergencia
FIGURA 9.
Motivados por esta observacin si lim jan j1=n > 0 denominamos ran!1
P
dio de convergencia de la serie an x n al nmero
rD
n!1
y al intervalo abierto . r; r/ lo llamamos el intervalo de convergencia (Figura 9). Para facilitar los clculos adoptamos los siguientes convenios: si
lim jan j1=n D 0, entonces r D C1 y el intervalo de convergencia es
n!1
1
X
. 1/n n
EJEMPLO 15 Consideremos la serie de potencias
x . Si an D . 1/n =n, tenen
nD1
mos
. 1/n n
n
D lim 1 D 1:
lim jan j D lim
n!1
n!1
n!1 nn
n
. 1; 1/.
EJEMPLO 16
Para la serie
1
X
nD1
. 1/n
x 2nC1 , si
.2n C 1/
an D
. 1/n
;
.2n C 1/
1
X
. 1/n n
x es
n
nD1
Entonces
1
:
2n C 3
anC1
1
D lim
lim
D 0:
n!1 2n C 3
n!1 an
1
X
nD1
. 1/n
x 2nC1
.2n C 1/
EJEMPLO 17
Para la serie
1
X
nD1
anC1
para todo n
P
y como
jan x0 n j converge, tenemos que jan x0 n j ! 0 y por tanto la sucesin fjan x0 n jg est acotada. Si tomamos jxj a < jx0 j, queda
jan x n j D jan j jx n j
jan j jan j
n
a
D jan j jx0 j
x0
n
a
M :
x0
n
TEOREMA 18
1
X
1
X
nD0
nD0
nan x
n 1
1
X
nD1
nD0
an
x nC1
nC1
1
X
an x n ;
nD0
1
X
nan x n
nD1
Adems f es integrable sobre cualquier intervalo cerrado b; c contenido en el intervalo abierto . jx0 j; jx0 j/ y
Z
DEMOSTRACIN
f .x/ dx D
1
X
nD0
an
.b nC1
nC1
c nC1 /:
P
Puesto que la serie an x0 n converge, la condicin del resto implica que la
sucesin fan x0 n g converge hacia 0 y, por tanto, est acotada, es decir existe
un M tal que
jan x0 n j M
para todo n:
Sea a un nmero cualquiera con 0 < a jx0 j, as
jan x n j D jan j jx n j
jan j jan j
n
a
D jan j jx0 j
x0
n
a
M :
x0
n
P
Como a < jx0 j tenemos que la serie geomtrica ja=x0 jn converge y por
P
tanto tambin
Mn . Entonces por el criterio M de Weierstrass tenemos
P
que la serie an x n converge uniformemente sobre a; a.
nD1
nD1
f .x/ D
1
X
nan x n
para todo x 2 a; a.
nD1
f .x/ dx D
D
D
D
1
c X
an x n dx
b nD1
1 Z c
X
nD1 b
1
X
an
nD1
1
X
nD1
an x n dx
x n dx
an
c nC1
nC1
b nC1 :
EJEMPLO 19
1
X
nD0
n 2n
. 1/ x
1
X
nD0
2 n
. 1/ .x / D
1
X
nD0
. x 2 /n D
1
:
1 C x2
1
b X
0 nD0
Pero
entonces
. x 2 /n dx D . 1/n
arctg x D
EJEMPLO 20
1
X
. x 2 /n dx D
1
D arctg b
1 C x2
x 2 n dx D . 1/n
. 1/n
nD0
x 2nC1
:
2n C 1
1
X
x 2nC1
:
2n C 1
nD0
mos escribir
1
X
nD0
. 1/n x n D
1
X
nD0
. x/n D
1
:
1Cx
1
b X
1 nD0
Pero
entonces
. x/ dx D
. x/ dx D . 1/
log x D
1
X
1
D log b
1Cx
x n dx D . 1/n
. 1/n
nD0
x nC1
:
nC1
x nC1
:
nC1
1
X
. 1/nC1
nD0
xn
n
para x 2 . 1; 1/:
EJEMPLO 21
sen x
dx no tiene solucin en trminos elementales, sin
x
Z b
sen x
embargo podemos calcular la integral definida
dx con cualquier
x
a
grado de precisin deseado.
La antiderivada
Sabemos que
1
X
. 1/nx 2nC1
sen x D
;
.2n C 1/
nD0
entonces
f .x/ D
Luego para b > 0 tenemos
Z
1
X
. 1/n x 2n
:
.2n C 1/
nD0
1
b X
. 1/nx 2n
dx
0 nD0 .2n C 1/
Z b
1
X
. 1/n
D
x 2n dx
.2n C 1/ 0
f .x/ dx D
D
D
nD0
1
X
nD0
1
X
nD0
1
X
. 1/n b 2nC1
.2n C 1/ 2n C 1
. 1/n b 2nC1
:
.2n C 1/.2n C 1/
nD0
f .x/ D
f 00 .x/ D
f 000 .x/ D
::
:
f .k/.x/ D
1
X
nD1
1
X
nan x n
n.n
1/ an x n
nD2
1
X
n.n
2/.n
1
X
n.n
1/ .n
3/ an x n
nD3
nDk
k C 1/ an x n
luego
an D
f .n/.0/
n
para todo n;
1
X
f .n/.0/ n
x
n
para todo x 2 I:
nD0
Supongamos que
f .x/ D
1
X
nD0
1
X
an x n
f .n/ .0/
n
para todo n:
nD0
si x 0,
si x D 0.
Entonces
0
f .0/ D lim
1= h2
h
1
D lim
2
1=
h!0 h e h
D lim
!1 e 2
1
D lim
!1 2 e 2
D 0:
h!0
(donde D 1= h)
(por la regla de LHpital)
Luego
00
f .0/ D lim
2h
h!0
D 2 lim
h!0
D 2 lim
e
h
1
1= h2
h4 e 1= h
2
!1
D 0:
e
(donde D 1= h)
TEOREMA 24
(TEOREMA DE
nD0
DEMOSTRACIN
f .x/ D
n
X
f .k/.0/ n
x C Rn .x/;
k
kD0
donde
(12)
Rn .x/ D
f .nC1/ .t /
.x
n
t /n dt:
Rn .r/ f .r/:
f .nC1/ .x xu/
.xu/nx du
n
0
Z
x nC1 1 n .nC1/
u f
.x xu/n du:
D
n
0
Rn .x/ D
Rn .x/
1
D
x nC1
n
un f .nC1/ .x
xu/n du:
u//;
Rn .x/
x nC1
Rn .r/
x nC1
r
f .r/;
n!1
Supongamos que
1
X
an x n y
nD0
1
X
nD0
nD0
nD0
nD0
kD0
1
X
nD0
TEOREMA
cn x D
DEL
1
X
nD0
LMITE
an x
DE
1
X
bn x n :
nD0
ABEL
Concluimos este captulo con el estudio de un teorema de Abel que constituye uno de los ms grandes clsicos de la teora de series de potencias.
Consideramos la igualdad
1
1
1
X
xn;
nD0
1
X
nD0
. 1/nC1
xn
n
para x 2 . 1; 1/:
Si en el primer miembro de la igualdad consideramos x D 1 obtenemos log 2 y en el segundo miembro obtenemos la serie armnica alternada
log 2 D
TEOREMA 25
(TEOREMA
DEL LMITE
DE ABEL)
1
X
1
X
. 1/nC1
:
n
nD1
nD0
1
X
f .x/ D
an x n ;
nD0
1
X
nD0
DEMOSTRACIN
an r n D lim f .x/:
x!r
X
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 :
an x n
a0 C C am 1 x m 1 < "
nD0
es decir la serie
1
X
para todos n; m N :
para todo x 2 0; 1;
nD0
nD0
an r n D lim f .x/:
x!r
El desarrollo terico alrededor del Teorema de Abel ha sido tan importante que se ha establecido la siguiente definicin: decimos que la suce1
X
sin fan g es sumable Abel (o que la serie
an es Abel convergente) si
nD0
lim
x!1
1
X
nD0
EJEMPLO 26
La serie
1
X
nD0
an D . 1/n entonces
lim
x!1
1
X
nD1
1
X
an x n D lim
x!1
nD1
D lim
x!1
. x/n
1
:
2
1
1Cx
A pesar de que el recproco del teorema de Abel es falso, ciertos resultados parciales se pueden obtener considerando hiptesis adicionales para
fan g. El matemtico austraco Alfred Tauber obtuvo el siguiente resultado
en ese sentido. Varios recprocos parciales del Teorema de Abel han sido
demostrados y son conocidos en general como teoremas tauberianos.
TEOREMA 27
(TEOREMA
DE TAUBER)
1
X
an x n :
nD0
Supongamos adems que lim nan D 0 y que lim f .x/ D `, entonces la serie
n!1
1
X
x!1
an converge y
nD0
1
X
nD0
DEMOSTRACIN
an D `:
an D
n
X
kD0
kjak j
n
entonces lim an D 0. Luego, dado " > 0 existe un nmero natural N1 tal
n!1
que para todo n N1
"
an < :
3
Por tanto, existe un nmero natural N3 tal que para todo n N3 tenemos:
jf .xn /
Si sn D
n
X
kD0
`j <
"
:
3
ak , para x 2 . 1; 1/ tenemos
sn
` D f .x/
`C
n
X
ak .1
x /C
kD0
1
X
ak x k :
kDnC1
Si x 2 .0; 1/ entonces
x k / D .1
.1
x/.1 C x C C x k
/ k.1
x/;
`j jf .x/
`j C .1
Para x D xn obtenemos
jsn
`j <
x/
n
X
kD0
kj ak j C
"
:
3n.1 x/
"
"
"
C C D ":
3
3
3
nD1
DEMOSTRACIN
nD1
nD1
gen, entonces
cn D
nD1
1
X
nD1
an
1
X
bn :
nD1
x!1
1
X
nD1
an x D
1
X
nD1
an
lim
x!1
1
X
nD1
an y
bn x D
bn convergen,
1
X
nD1
bn :
nD1
cn x n D
x!1
cn D lim
x!1
D lim
x!1
D lim
x!1
1
X
nD1
an x n
1
X
bn x n :
nD1
cn x n , o sea la serie
1
X
cn es Abel con-
cn x n
nD1
1
X
nD1
1
X
an x n
1
X
nD1
1
X
bn x n
nD1
an x n lim
an
1
X
nD1
nD1
vergente. Luego
nD1
nD1
1
X
1
X
1
X
x!1
1
X
bn x n
nD1
bn
nD1
Para concluir esta seccin establecemos sin demostracin otro teorema tauberiano ligeramente ms fuerte que el Teorema 27. Como compensacin (o tal vez una justificacin) por la ausencia de la prueba presentamos una ancdota del autor del teorema que ilustra el contexto de su
descubrimiento con indicaciones sobre la forma de pensar de los matemticos activos.
TEOREMA 28
(TEOREMA DE
LITTLEWOOD)
1
X
an x n :
nD0
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
nD0
an D `:
El resultado fue publicado en un artculo titulado El recproco del Teorema de Abel. Un facsmil de la primera pgina del manuscrito bajo el ttulo
de El Teorema de Abel aparece en la pgina 92 de la referencia [12] de la Resea Bibliogrfica y, por supuesto, del mismo material se deriva la narracin
siguiente.
En cada uno de los siguientes casos decidir si la sucesin dada converge o no, y en caso de ser convergente decidir si la convergencia es
uniforme o no.
(1)
p
n
x sobre 0; 1.
ex
(2)
fn .x/ D
(3)
fn .x/ D e
(4)
fn .x/ D x n
(5)
fn .x/ D
(6)
(7)
fn .x/ D
xn
nx 2
sobre 1; 1.
x 2n sobre 0; 1.
nx
sobre 0; C1/.
1CnCx
r
1
fn .x/ D x 2 C 2 sobre 1; C1/.
n
r
1
fn .x/ D x 2 C 2 sobre R.
n
(2)
1
X
nD1
1
X
nD1
(3)
(4)
1
X
nD1
1
X
nD1
(5)
(6)
(8)
x
.1
x/2
n2 x n D
x2 C x
.
.1 x/3
n3 x n D
x 3 C 4x 2 C x
.
.1 x/4
n4 x n D
x 4 C 11x 3 C 11x 2 C x
.
.1 x/5
1
X
xn
1
D log
.
n
1 x
nD1
1
X
nD1
(7)
n xn D
1
X
x 2n 1
1
1Cx
D log
.
2n 1
2
1 x
.n C 1/ x n D
nD0
1
X
nD0
1
.1
x/2
.n C 1/.n C 2/ n
1
x D
.
2
.1 x/3
(9)
1
X
.n C 1/.n C 2/.n C 3/ n
1
x D
.
3
.1 x/4
nD0
(3)
(4)
(5)
1
X
. 1/n.2/2n
.
.2n/
nD0
1
X
nD0
1
X
nD0
1
X
nD0
1
X
nD0
4
1
.
.2n/
n
.
2n
1
.
C 1/
3n.n
2n C 1
.
2nn
1
X
sen nx
sobre R. Indin
nD1
cacin: Abel present en una de sus memorias esta serie como parte
de una crtica a algunas proposiciones establecidas por Cauchy.
. 1/nC1
CAPTULO
LA SERIE BINMICA
TEOREMA
DEL
BINOMIO
En el dominio del lgebra elemental encontramos la frmula para el clculo de la potencia de un binomio. Para todos los enteros 0 k n,
definimos los coeficientes binomiales
!
n
n
:
D
k
k.n k/
!
!
n
n
Ntese que asumimos que 0 D 1, por lo que
D
D 1. Es fcil
0
n
verificar que las siguientes igualdades se cumplen para todo k y todo n:
!
n
n.n 1/ .n k C 1/
(1)
D
;
k
.k 1/
!
!
!
n
n
nC1
(2)
C
D
:
k
kC1
k
139
3
0
0
0
1
0
2
0
3
1
2
1
:::
1
1
3
2
2
2
3
3
BINOMIO)
()
!
n
X
n n
.a C b/ D
a
k
n
k k
kD0
DEMOSTRACIN
(3)
!
h
X
h h
.a C b/ D
a
k
h
k k
kD0
(4)
.a C b/
hC1
hC1
X
kD0
!
h C 1 hC1
a
k
k k
b :
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
!
!
h C 1 hC1
hC1 h
hC1
.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.
Con frecuencia la ecuacin () es descrita como el binomio de Newton, aunque lo que l hizo fue algo mucho ms profundo al considerar
la posibilidad de extender la frmula para valores no enteros de n. En tal
caso, los coeficientes binomiales, como han sido definidos arriba, carecen
de sentido, pero podemos utilizar la ecuacin (1) para definir estos coeficientes de una forma ms general. Observemos que utilizando esta forma,
el teorema del binomio puede escribirse as
.a C b/n D an C
n n
a
1
bC
n.n 1/ n
a
12
1 2
b CC
n.n 1/ 2 n
b :
1 2 n
. 1/ . k C 1/
D
;
k
k
.1 C x/n D 1 C
.1 C x/ D
x
n
nD0
. 1/ 2
xC
x C :
1
12
De esta forma, el logro de Newton en trminos modernos est dado por el
siguiente teorema.
D1C
TEOREMA 2
(LA SERIE
BINMICA)
!
1
X
.1 C x/ D
xn;
n
nD0
x nC1
n
C
1
anC1
!
D
an
n
x
n
.
1/ . n/ nC1
x
.n C 1/
1/ . n C 1/ n
x
n
n
x:
nC1
nC1
n
n
jxj D jxj:
lim
D lim
x D lim
n!1 n C 1
n!1 n C 1
n!1 an
!
1
X
n
Por tanto
x converge si jxj < 1. En particular
n
nD0
n
lim
x D 0;
n!1 n
(5)
PRUEBA
DE LA
SERIE BINMICA
PRIMERA
DEMOSTRACIN
f 00 .x/ D .
000
f .x/ D .
::
:
f .k/ .x/ D .
1/ .1 C x/
1/.
2/ .1 C x/
1/ .
k C 1/ .1 C x/
kD0
n
X
kD0
n
X
kD0
1/ .
k
k C 1/
xk
!
k
x :
k
Rn .x/ D
x nC1 .1 C /
nC1
n 1
!
!
jRn .x/j D
x nC1 .1 C / n 1
x nC1 :
nC1
nC1
lim Rn .x/ D 0:
n!1
1/ .
.n C 1/
n/
x.x C /
x
x C
n
/, resulta que
si 1,
1
y
.x C /
< .1 C x/
si < 1.
M
Entonces
jx.x C /
j jxjM;
es decir
jx.x C /
(6)
Adems x, luego
x C x x
j M:
< 0;
luego
0<
x
1C
pues x < 0.
De donde
(7)
0<
.x /=x
1 x
D
1
1C
x 1C
pues 1 C > 0.
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
x
D
x
.x C /
n
x xC
!
n
1
1
x
D
x n x.x C / 1
:
n
x x C
!
1
jRn .x/j jM j
xn :
n!1
x/
' .n/.x/ 0
1/.1
x/
1
X
' .n/.0/ n
x
n
nD1
.n/
.0/ D . C 1/ .c C n
1/ D . 1/ n
:
n
Entonces
.1
x/
1
X
. 1/
nD0
!
n
x ;
n
Es fcil verificar que esta ecuacin tambin es cierta para < 0 (reemplazando por y x por x).
Finalmente tenemos la otra prueba de la serie binmica.
Luego
.1 C x/f .x/ D .1 C x/
D
1
X
nD1
1
X
1
X
nD1
!
n
n
x
n
!
n
n
x
n
1
X
nD1
!
n
n
x
n
!
1
X
n
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
.
n
x C .n C 1/
Dn
n
nC1
1/ : : : .
n
C .n C 1/
D
1/ : : : .
n
1/ : : : .
n
n C 1/
1/ : : : . n/
.n C 1/
n/. n C n/
n/
D
:
n
x D f .x/:
n
nD0
Sea
Luego
0
.x/ D
f .x/
:
.1 C x/
sobre . 1; 1/. Entonces, por el teorema del valor medio existe una constante C , tal que .x/ D C para todo x 2 . 1; 1/. Es decir
f .x/ D C.1 C x/ :
.1 C x/ D
xn :
n
nD0
DOS CARTAS
DE
NEWTON
El resto de este captulo trata de la lectura de dos cartas de Newton dirigidas a Leibniz en las que el cientfico ingls informa sobre sus progresos
en el estudio de las series infinitas, especialmente sobre la serie binmica.
Los documentos son de gran importancia tanto por razones tcnicas, como
por razones histricas. Sobre la primera misiva, las secciones previas deben
aclarar algo, y para aportar algunos elementos sobre la segunda, presentamos a continuacin informacin sobre el contexto histrico.
Newton obtuvo el grado de Bachelor of Arts en el Trinity College de
la Universidad de Cambridge en 1664 y al ao siguiente brot una epidemia
de peste en Inglaterra que dur aproximadamente dos aos. Por este motivo Newton se traslad a su casa materna en Woolsthorpe donde tuvo una
poca muy productiva, generalmente conocidos como los Anni mirabilis;
durante la mayor parte de este tiempo la universidad estuvo cerrada y Newton fue a su casa de Woolsthorpe, donde se dedic a sus investigaciones
privadas. En un recuento que hizo muchos aos ms tarde escribi:
A principios del ao 1665 encontr el Mtodo de aproximacin
por series y la Regla para reducir cualquier dignidad de cualquier Binomio a una de tales series. En Mayo del mismo ao
hall el mtodo de Tangentes de Gregory y Slusiyus, y en Noviembre obtuve el mtodo directo de fluxiones y en Enero del
ao siguiente obtuve la Teora de los Colores y en Mayo siguiente encontr el mtodo inverso de fluxiones. Y el mismo
ao empec a pensar en extender la gravedad a la rbita de la
Luna. . . Todo esto fue en los aos de la peste 16651666. Pues
en aquellos das estaba en lo mejor de mi edad para la invencin y pensaba en Matemticas y Filosofa ms que en cualquier
otro tiempo desde entonces.
A su regreso a la universidad, Newton comunic algunos de sus logros
a su maestro, Isaac Barrow, quien desde su fundacin ocupaba la Ctedra
Lucasiana de Matemticas en Cambridge, pero por lo dems, todos permanecieron en secreto. Hacia principios de 1668 el matemtico londinense
John Collins envi a Barrow un ejemplar de la obra Logaritmotechnia, del
matemtico y astrnomo Nicolaus Mercator, en la que se describen tcnicas para calcular el rea bajo una hiprbola. Hacia julio de ese ao Barrow
El
texto es una traduccin libre del material citado en el libro de Westfall [24], p. 39.
La
FIGURA 1: Retrato de Isaac Newton pintado en Cambridge por Godfrey Kneller en 1689.
m
m
m
m n
m 2n
D P C AQ C
BQ C
CQ
n
n
n
2n
4n
m 3n
DQ C &c.
C
4n
Esto es 1
xxj 2 D .1
x2/ 2 D
x2.
xx j 2 .
1 xx j 2 . 1 xx j 2 . 1 xx j 2 . 1 x x j 2 . 1 x x j 2 . &c. Entonces si
las reas de las alternadas, las cuales son x, x 31 x 3 , x 32 x 3 C 15 x 5 ,
x 33 x 3 C 35 x 5 17 x 7 , &c. tendran valores interpolados entre estos
trminos, deberamos tener las reas de los intermedios, el primero
1
Es decir
1 2
1
x
2
1 4
x
8
1 6
x
16
1
1 2
x
2
1 2
x
2
1 4
x
8
1 4
x
8
1 6
x
16
1 6
D1
x
16
1 2 1 4
1
D
x C x C x6
2
8
16
1 6
D
x
16
D 1 x 2:
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
3
1
1
5
2
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
x
1 3
2x
1 5
8x
1 7
16 x
5 9
128 x
&c.
1 6
convertira en 1 12 x 2 C 18 x 4 C 16
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 conocida 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 6
1 21 x 2 18 x 4 16
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.
CAPTULO
SERIES DE FUNCIONES
COMPLEJAS
SUCESIONES COMPLEJAS
Por supuesto, iniciamos nuestra aproximacin al problema mediante la introduccin del concepto de sucesin. Una sucesin compleja es una funcin cuyo dominio es el conjunto de los nmeros naturales y cuyo recorrido
es un subconjunto de C. Como en el caso de sucesiones reales, utilizamos
la notacin fn g para denotar una sucesin arbitraria con trminos en C.
Notemos que para cada n existen dos nmeros an ; bn 2 R (Figura 1), tales
que
n D an C i bn :
161
b2
r b1
rn
r
bn
a1 0
a2
r 3
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 trasladan los problemas de convergencia de sucesiones complejas al escenario
de sucesiones reales.
TEOREMA 1
r 3
'$
r
r
N "
r l rr
r
&%
FIGURA 2.
SERIES COMPLEJAS
Ahora disponemos de los ingredientes fundamentales para estudiar el problema de la convergencia de series en el contexto de los nmeros complejos. Si fn g es una sucesin compleja, definimos la sucesin de sumas
parciales fSn g de fn g por
Sn D 1 C C n :
Entonces decimos que la serie
Si fSn g diverge decimos que
1
X
nD1
1
X
n diverge.
nD1
1
X
an y
nD1
1
X
nD1
an y
1
X
nD1
bn y, tenemos el si-
nD1
1
X
1
X
n converge si
nD1
bn convergen. Y tenemos
nD1
1
X
nD1
n D
1
X
nD1
an C i
1
X
bn :
nD1
Finalmente, para ampliar la posibilidadPde usar nuestros conocimientos sobre series reales analizamos la serie
jnj. Decimos que la serie
1
1
X
X
n converge absolutamente si la serie (real)
jn j converge. Resulta
nD1
nD1
evidente que si
1
X
nD1
1
1
X
X
n
jn j:
nD1
TEOREMA 4
nD1
1
X
an y
nD1
DEMOSTRACIN
1
X
1
X
n converge
nD1
bn convergen absolutamente.
nD1
P
P
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
jbn j
p
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
que
an y
bn convergen
absolutamente, enP supongamos
P
P
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,
aplicando de nuevo el criterio de comparacin tenemos que
P
jn j converge.
CONVERGENCIA UNIFORME
Por supuesto, disponiendo de la nocin de convergencia para series complejas podemos estudiar la convergencia de series de funciones complejas.
Si ffn g es una sucesin de funciones definidas sobre un conjunto A
C, decimos que ffn g converge uniformemente hacia una funcin f sobre
A si para todo " > 0 existe un nmero natural N tal que para todo n, si
n N , entonces
jfn ./
para todo 2 A.
1
X
fn con-
nD1
a/n ;
an .
nD0
an n :
nD0
n!1
jan n j converge si
n!1
n!1
Como en el caso de las series de potencias reales, si lim jan j1=n > 0, denon!1
P
minamos radio de convergencia de la serie an n al nmero
rD
n!1
'$
ar r
&%
FIGURA 3.
n!1
f0g.
Para la manipulacin formal de series de potencias complejas necesitamos el equivalente al Teorema 7-18.
TEOREMA 5
1
X
nD0
an
nD0
1
X
nan n
nD1
convergen absolutamente.
DEMOSTRACIN
P
Puesto que la serie
an 0 n converge, la condicin del resto implica que
n
la sucesin jan 0 j ! 0 cuando n ! 1 y, por tanto, est acotada, es decir
existe un M tal que
jan 0 n j M
para todo n:
D jan j j0 j
0
n
M :
0
n
P
Como < j0 j tenemos que la serie geomtrica j=0jn converge y por
P
tanto tambin
Mn . Entonces por el criterio M de Weierstrass tenemos
P
que la serie an n converge absolutamente para todo con jj < 1.
Notemos que la serie
1
1
X
M n
M X n
n
D
n
jj 0
jj
0
nD1
nD1
1
X
an n
nD0
1
X
nan n
nD1
entonces
f .n/ .0/
para todo n,
n
es decir, la serie de potencias es la serie de Taylor de f .
La introduccin de series de potencias complejas no es solamente un
esfuerzo por hacer el juego un poco ms extenso, en realidad las propiedades de stas arrojan cierta luz sobre algunos problemas relacionados con
series de potencias reales, como se ilustra a continuacin.
an D
EJEMPLO 7
si x 0,
si x D 0.
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.
1=2
De
1=.iy/2
D e 1=y ;
nD0
1
X
. 1/n 2n
.2n/
nD0
1
X
n
n
nD0
1
X
. 1/n2nC1
;
.2n C 1/
nD0
1
X
nD0
1
X
nD0
. 1/n2n
.2n/
n
:
n
3
5
C
3
5
7
C ;
7
4
2
C
3
5
6
C D 0:
7
w
w2
C
3
5
w3
C D 0:
7
1
1
2
D 1CC 2 C 2 C :
6
2
3
Otro uso de estas definiciones llev a Euler a una frmula muy importante. Notemos que
!
1
1
X
X
. 1/n 2nC1
. 1/n 2n
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/5
.i/3
C
C
C i C
3
5
.i/3
.i/4
.i/5
i .i/2
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 :
e i C 1 D 0:
DE
EULER
Para concluir este captulo estudiamos un juego muy importante desarrollado por uno de los grandes maestros de toda la historia de las matemticas: Leonhard Euler. El trabajo original fue publicado en latn como
un libro de texto titulado Introductio in Analysin Infinitorum (1748). Hemos
incluido aqu esta obra, entre otros motivos, porque facilita la comprensin de la evolucin histrica de la nocin de suma infinita. Siguiendo a
la generacin de Newton, la de Euler extendi las aplicaciones del Anlisis
a diversas reas de las matemticas, en muchos casos sin aportar pruebas
rigurosas, pero obteniendo resultados vlidos que luego formalizaron los
analistas modernos de la generacin de Abel y otros.
Considerado el ms eminente cientfico nacido en Suiza, Euler fue
un prolfico matemtico cuyo trabajo contribuy profundamente al desarrollo del Clculo y otras disciplinas, tanto en el plano terico como en el
de las aplicaciones. lgebra, aritmtica, ecuaciones diferenciales, dinmica
de fluidos, geometra diferencial, mecnica y teora de nmeros, son todas
reas en las que se encuentras su huellas; inclusive en topologa, una disciplina matemtica moderna que se desarroll en el siglo XX tiene entre
sus orgenes un trabajo de Euler en el que consigui resolver un famoso
rompecabezas conocido como el problema de los puentes de Knigsber
que trata de una isla en la ciudad, la cual est rodeada por dos brazos de un
ro los cuales pueden ser cruzados a travs de siete y se trata de determinar
si es posible hacer un recorrido pasando por todos los puentes solamente
una vez; una traduccin de la memoria original de Euler se encuentra en el
tomo 4 de la coleccin Sigma, El Mundo de las Matemticas, por J. R. Newman
([24], pp. 164171).
Tambin es reconocido por el hecho de que obtuvo resultados sobre
series de Fourier, series de Bessel y transformadas de Laplace, todo esto
antes que Fourier, Bessel y Laplace nacieran.
Segn la tradicin, Euler se caracterizaba por la capacidad para desarrollar clculos formales de una manera prodigiosa y una gran intuicin,
de manera que en muchos casos desarroll teoras sin completar todos los
detalles de las demostraciones. Tambin se le atribuye el mejoramiento de
la notacin matemtica que de una forma u otra contribuy a la difusin
de las ideas; en particular a l se deben los convenios de denotar por e y
esos dos nmeros importantes, y el de denotar por f .x/ el valor de una
funcin f en un punto x, la base de los logaritmos naturales y la razn entre la longitud de una circunferencia y su dimetro. Tambin estableci la
notaciones , sen y cos para indicar suma y las funciones trigonomtricas.
Otro aspecto notable de la obra de Euler es su inters por la enseanza de la ciencia, por ejemplo el libro que estudiamos a continuacin
fue escrito como un libro de texto para la enseanza del Clculo. Resulta
interesante notar como, aparte de algunos aspectos de estilo propio de la
poca, se trata de un escrito moderno que presenta de una forma clara y
precisa algunos conceptos y tcnicas, como se pueden hallar en un buen
libro de Clculo de estos das. Algunos matemticos opinan que todos los
a z
a 2z 2
C
2
a3
a 3 z 3
a 4 z 4
C
4
5
:
, sta es
z
a C b C c2
;
.1 /3
a C b C c2 C d3
:
.1 /4
a
. Los coeficientes de cada potencia de
Pero a D A, as que A D
B C A D 0;
C C B D 0;
D C D D 0;
E C D D 0:
a
determin que el primer trmino A es igual a , de aqu las letras
m m n
m .m n / m 2n 2
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
m
.P C Q / n D P n C
1
1
1
.P C Q / 2 D P 2 C P
2
1
2
o
.P C Q /
1
2
DP
1
2
1
P
2
3
2
11
P
24
QC
o
1
1
1
.P C Q / 3 D P 3 C P
3
2
3
o
.P C Q /
1
3
1
3
DP
1
P
3
4
3
2
2
2
.P C Q / 3 D P 3 C P
3
1
3
13
P
24
12
P
36
QC
3
2
21
P
36
5
2
5
3
14
P
36
Q2 C
Q2 C
7
3
4
3
Q2
Q2
Q2 C
113
P
246
5
2
135
P
246
125
P
369
7
2
8
3
147
P
369
214
P
369
Q3
Q3
Q3
10
3
7
3
Q3
Q3
:
m kn k
n Q ,
m .k C1/n k C1
m kn
n
MP
Q
:
.k C 1/n
m
m .m 1/ 2 m .m 1/.m
ZC
Z C
1
12
123
2/
Z3 C :
.1 C Z /m
1/.m 2/ 2
Z
1
12
.m 1/.m 2/.m 3/ 3
Z C :
C
123
D1C
ZC
.m
CAPTULO VI
96. A pesar de que el concepto de funcin trascendente depende del clculo integral, antes de que lleguemos a eso, existen ciertas clases de funciones que son ms evidentes, las cuales
pueden ser convenientemente desarrolladas, y que abren las puertas para investigaciones ms profundas. En primer lugar consideraremos las exponenciales, o potencias en las cuales el exponente
es variable. Es claro que las cantidades de este tipo no son funciones algebraicas, ya que en aquellas los exponentes deben ser
constantes. Hay diferentes clases de exponenciales, dependiendo
de si slo el exponente es variable o si ambos, la base y el exponente son variables. La primera clase es ejemplificada por a z ,
mientras que la segunda lo es por y z . Adems el exponente mismo
z
z
z
puede ser un exponencial como en los siguientes: a a , a y , y a ,
z
x y . Nosotros no consideraremos estas diferentes formas como de
gnero diferente, ya que su naturaleza ser suficientemente clara
si desarrollamos solamente a x .
97. Consideremos la exponencial a x donde a es una constante y el exponente z es variable. Como el exponente z representa
todos los nmeros, es claro que al menos todos los enteros positivos pueden sustituir a z para dar los valores determinados a 1 , a 2 ,
a 3 , a 4 , a 5 , a 6 , etc. Si sustituimos z por los enteros negativos -1,
1
1
1
1
Si z D 0, entonces
-2, -3, etc., obtenemos 1 , 2 , 3 , 4 , etc.
a
a
a
a
1 1 2
a 0 D 1. Si sustituimos z por una fraccin, por ejemplo , , ,
2 3 3
p
1 3
1
2
1
3
, , etc. obtenemos los valores a , a 3 , a 3 , a 4 , a 4 , etc. Estos
4 4
smbolos pueden tener dos o ms valores, ya que la extraccin de
races da varios valores. Sin embargo slo vamos a considerar su
valor primario, es decir el valor real positivo puesto que a z debe ser
considerada como una funcin con un solo valor. Por esta razn
CAPTULO VII
z
, donde z denota cualquier nmero finito,
!
como ! es infinitamente pequeo, entonces i es infinitamente granz
de. Como tenemos ! D , donde ! es representada por una fraci
cin con un denominador infinito, as que ! es infinitamente pez
queo, como debera ser. Cuando sustituimos por ! queda
i
Si ahora colocamos i D
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.
i
1
D 1, y si
i
sustituimos i por un nmero mayor, ms cercana a 1 est la fraci 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
1
dt; que es la forma en que
1 t
se define la funcin logartmica en los libros de Clculo modernos.
Euler se refiere al hecho de que log x D
El resto del captulo es dedicado al uso de series para calcular ciertos valores
particulares de la funcin logaritmo.
En este captulo Euler hace una introduccin a las funciones trigonomtricas y describe sus propiedades elementales, para pasar al estudio de sus
desarrollos como series infinitas.
que
az D 1 C
k 2z 2
k 3z 3
k 4z 4
kz
C
C
C
C :
1
12
123
1234
k
k2
k3
k4
C
C
C
C :
1
12
123
1234
122. Puesto que somos libres de elegir la base a para el sistema de logaritmos, ahora tomamos a de tal manera que k D 1.
Supongamos ahora que k D 1, entonces la serie hallada en la seccin 116
1
1
1
1
1C C
C
C
C
1
12
123
1234
es igual a a. Si los trminos de esta suma son representados como
fracciones decimales y sumados, obtenemos el valora D 2; 71828182
845904523536028 . Cuando esta base es elegida, los logaritmos
son llamados naturales o hiperblicos. El ltimo nombre es usado
porque la cuadratura de una hiprbola puede ser expresada por
medio de estos logaritmos. Con el objeto de ser ms breves, para
este nmero a D 2; 718281828459 usaremos el smbolo e, el cual
denotar la base para los logaritmos naturales o hiperblicos, que
corresponde para el valor k D 1, y e representa la suma de la serie
infinita
1
1
1
1
1C C
C
C
C :
1
12
123
1234
CAPTULO VIII
126. Despus de haber considerado logaritmos y exponenciales, ahora debemos pasar a los arcos circulares con sus senos y
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,
e D lim
n!1
1C
n
:
n
cos: v D
vp
1C i
1 i
C 1
vp
i
1 i
sen: v D
vp
i
1 i
1
vp
i
1 i
y
1C
1C
z i
D ez
i
e iv
cos v D i sen v;
y
sen: v D
e Cv
e Cv
p
Ce v
2
e v
p
2
1
1
p
e v
D cos: v
1 sen: v :
(2)
(3)
(4)
1
X
.1 C i /n
.
n
nD1
1
X
.1 C 2i /n
.
2n
nD1
1 n
X
i
.
n
nD1
1
X
1
1 n
C i .
2
2
nD1
(4)
1
X
n
.
n2
nD1
1
X
nD1
1
X
nD1
1
X
n
.
n
n .
2n n .
nD1
CAPTULO
10
191
DE LA
SERIE BINMICA
Este artculo aparece como la memoria X en el tomo I de las uvres Compltes de Niels Henrik Abel, ([18], pp. 102-103), con el ttulo Dmonstration
dune Expression de laquelle la Formule Binome Est un cas Particulier, publicada
en francs en la revista de Crelle en 1826.
La frmula de la que trata el artculo es un caso particular de una frmula
descubierta por Cauchy.
C
.x C /m C1 D x m C1 C
siendo C una constante arbitraria. Para hallar el valor de C, tomemos x D .m C 1/ , entonces las dos ecuaciones anteriores implican
Esta lnea indica que el artculo contina, pero que los editores de las uvres Compltes consideraron que el resto del material es irrelevante y lo omitieron.
.m C 1//
m
D . 1/ .m C 1/m m
m m m
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
Multiplicando la primera de estas ecuaciones por .m C1/ y sumando el producto con la segunda, obtenemos
C D .
.m C 1//m C1 C .m C 1/.
.m C 1//m ;
o sea
C D .
.m C 1//m :
0 D xn
n .n 1/
x .x C 2/n 1
1:2
n .n 1/.n 2/
x .x C 3/n
1:2:3
C
C
n
.x C /n
1
n .n 1/
.x C 2/n 1
1:2
n .n 1/.n 2/
.x C 3/n
1:2:3
la cual es bien conocida; ya que el segundo miembro de esta ecuacin no es otra cosa que
. 1/n .x n
/;
LA
SERIE BINMICA
2/ 3
x
C
por
Niels Henrik Abel
1.
Si realizamos un estudio crtico sobre el tema de series infinitas en general, es decir, un estudio ms preciso, encontramos
que es bsicamente insatisfactorio, y por tanto, el nmero de teoremas relativos a series infinitas que se encuentran rigurosamente
establecidos es muy limitado. Comnmente 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 una demostracin propiamente dicha. Por ejemplo,
si queremos multiplicar dos series infinitas una por otra, escribimos
.u 0 C u 1 C u 2 C u 3 C /.v0 C v 1 C v 2 C v 3 C / D u 0 v 0
C .u 0 v 1 C u 1 v 0 / C .u 0 v 2 C u 1 v 1 C u 2 v 0 / C
C .u 0 v n C u 1 v n
C u 2v n
C C u n v 0/ C
m
m .m 1/ 2 m .m 1/.m 2/ 3
xC
x C
x C
1
1:2
1:2:3
m .m 1/.m 2/ m
C
1 : 2 : 3 : : :n
.n
1/ n
x C
m .m 1/ 2
m
xC
x C ;
1
1:2
1C
m
m .m 1/ 2
xC
x C ;
1
1:2
m
m .m 1/ 2 m .m 1/.m
xC
x C
1
1:2
1 : 2: 3
2/
x3 C
Tal vez la idea al enfatizar el apellido en la expresin M. Cauchy (Monsieur Cauchy) es evitar confusiones. Este punto trae a la memoria una
ancdota de Littlewood, quien comenta que cre el fantasma matemtico M. Landau, a cuyos trabajos se hacan referencias no verificadas (ver A
mathematicians miscellany, por J. E. Littlewood, Cambridge University Press,
Cambridge, 1997. pag 164).
)
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 podemos 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 pequea que cualquier cantidad dada.
Los teoremas IV y V son esencialmente el Teorema del Lmite de Abel (Teorema 7-25).
%m
;
1
%m
:
1
p 0; t 2 D p 2
p 1;
etc.
luego
r D " 0 p 0 C " 1 .p 1
p 0 / C " 2 .p 2
p 1 / C C " m .p m
pm
1 /;
o tambin
r D p 0 ."0
"1 / C p 1 ."1
"2 / C C p m
1 ."m 1
"m / C p m "m :
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 convergente para un cierto valor de , entonces ser convergente para todo valor menor que y, para todos los valores siempre
decrecientes de , la funcin f . / se aproximar indefinidamente
al lmite f , suponiendo que sea igual o inferior a .
Es decir
./ D lim
m!1
.a/ lim
Luego
lim f .a/
h!0
f .a C h/ D lim '.a/
h!0
m!1
m m
p D 0:
.a C h/ D 0:
m 1
v m C v m C v m C1 m C1 C D
D ' ;
;
entonces
D
m
v m m C
m C1
v m C1 m C1 C I
m
p , donde p de
signa la mayor de las cantidades v m
vm
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 suficientemente grandes para obtener
<
m ,
D !:
'.
/ D !I
f .
/ D !;
o, lo que es lo mismo
m 1
D 'x;
v m m C v m C1 m C1 C D
de donde
x;
f x D 'x C
x:
Pero
xD
m
v m m C
m C1
v m C1 m C1 C
m C2
v m C2 m C2 C I
/ D '.x
f .x
/ D ' x
/ C !;
de donde
fx
'.x
/ C !:
Por la forma de ' x resulta claro que podemos elegir suficientemente pequeo para que se verifique
'x
'.x
/ D !;
fx
f .x
/ D !:
es decir
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 ;
)
1
2
sen 2x C
1
3
sen 3x
es discontinua para todo valor .2m C 1/ de x, siendo m un nmero entero. Como bien
sabemos muchas series son de este tipo.
C v 2v m
C C v m v 00
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 ;
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
0
C pm
1 v m C1
C .D t /
C
C p 0 v 2m C p 1 0 v 2m 1 C
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 ;
1
1
C C %0 m C1 /
C C %m C1 /:
Esta es una aplicacin del Teorema del Lmite de Abel (Teorema 6-4).
.t
(b)
2
0
0
0 2
0 C t 1 C t 2 C /.t 0 C t 1 C t 2 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 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
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.
A continuacin examinamos la serie propuesta,
m
m .m
1/
x2 C :
1
1:2
Designando por ' m, y adoptando la siguiente notacin para abrem m C1/
viar 1 D m 0 , m1 D m 1 , m .1m: 2 1/ D m 2 , y en general m .m 1/:::.
D
1 : 2:::m
m , es decir
1C
xC
' m D m 0 C m 1 x C m 2x 2 C C m x C
(1)
.a 2 C b 2 / 2 D ;
a
D cos ';
b
D sen ';
a
de donde
x D .cos ' C i sen '/;
Los dos puntos (:) en esta frmula no constituyen alguna notacin matemtica 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 preservar aqu) del texto sera
As, multiplicando por
x D .cos ' C i sen '/ D .cos ' C i sen '/;
obtenemos
m x D 1 2 3 : : : cos.m' C
1 C
2 C C
/
C i sen.' C 1 C 2 C C /;
m
hallamos
"
m
D
C1
2
k0
2 # 12
I cos D
C1
k0
I sen
D
:
Si en la expresin
m
C1
D .cos
C i sen
/;
tomando sucesivamente los valores 1; 2; 3; : : : , obtenemos ecuaciones que multiplicadas trmino a trmino resultan
1/ : : : .m C 1/
1 : 2 : : :
D 1 2 3 : : : cos.
1 C
2 C C
/ C i sen.
1 C
2 C C
/:
m D
m .m
C i sen.' C 1 C 2 C C /;
m x D .cos C i sen /:
concluimos que
' m D 1 C l 1 cos 1 C l 2 2 cos 2 C C cos C
Luego
(2)
"
k
C1
2
k0
C1
2 # 12
C m 2n
C C m n 0 /x C
C m 2n
C C m n 0;
p
q
D cos s ;
D sen s ;
r
r
siendo r siempre positivo y s una cantidad real. Si escribimos
1
.p 2 C q 2 / 2 D r ;
r D f .k ; k 0 /;
sD
.k ; k 0 /;
resulta
(30 )
'k C l C .k 0 C l 0 /i
D f .k C l ;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 /:
(4)
.l ; l 0 /;
sen .k C l ; k 0 C l 0 / D sen .k ; k 0 / C
.l ; l 0 /;
de donde se deduce
(5)
.k C l ; k 0 C l 0 / D 2 m C
.k ; k 0 / C
.l ; l 0 /;
.k ; k 0 / C
.0; k 0 / C
.0; l 0 /;
.l ; l 0 /:
Eliminando entre estas ecuaciones y la ecuacin (5) las dos cantidades .k ; k 0 / y .l ; l 0 /, queda
.k ; k 0 C l 0 / C
.l ; k 0 C l 0 / D 2 m C
.0; k 0 / C
.0; l 0 / C
.k C l ; k 0 C l 0 /:
Por tanto
(6)
.k ; k 0 C l 0 / D k ;
2m C .0; k 0 / C .0; l 0 / D a ;
luego
(7)
k C l D a C .k C l /:
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 /;
% k D .%
1/a C .%k /:
Luego, considerando k D 1,
a C a;
% D %.1/
y tomando .1/
a D c,
(8)
% D c % C a :
Entonces, tomando k D 0
.0/ D a ;
por tanto
. k / D 2a
k:
ck C a :
La ecuacin
(9)
k D c k C a;
(10)
.0; k 0 / C
.0; k 0 / C
.0; l 0 /:
.0; l 0 /:
2m ;
y, en consecuencia, tomando l 0 D 0,
.k ; k 0 / D Fk 0 : k C 0 k 0
2m :
Notemos que
.k ; k 0 C l 0 / D 2 m C
.0; l 0 / D 0 l 0
.k ; k 0 / C
.0; l 0 /;
2m ;
2m ;
es decir:
F .k 0 C l 0 / D Fk 0 :
.k ; k 0 / D k C 0 k 0
2m ;
donde y
son constantes. Este valor de .k ; k 0 / satisface la
ecuacin (5) con toda generalidad, como es fcil de ver.
A continuacin examinamos la ecuacin
f .k C l ; k 0 C l 0 / D f .k ; k 0 /f .l ; l 0 /:
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
F .k ; k 0 / D k C 0 k 0 ;
(12)
0 0
'.k C k 0 C i / D e k C k C cos. k C 0 k 0 / C i sen. k C 0 k 0 /;
e k
C 0 k 0 C
(14)
0 0
e k C k sen. k C 0 k 0 /
C l cos C
D l 1 sen1 C l 2 2 sen 2 C
C l sen C
(15)
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
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
e D .1 C 2 cos ' C 2 / 2 ;
1 C cos '
sen '
cos D
;
sen D
;
1
1
.1 C 2 cos ' C 2 / 2
.1 C 2 cos ' C 2 / 2
sen '
tang D
:
1 C cos '
Esta ltima ecuacin se cumple, designando por s el ms pequeo
de todos los valores de que la satisfacen, y que se encuentra
restringida a los lmites
y ,
2
2
D s C ;
De donde
cos k D e
sen k D e
k
k
.f : cos ks C : sen ks /;
. : cos k s
f : sen ks /:
sen k D 0:
(16)
k
k .k 1/ 2
k .k 1/.k 2/ 3
1C cos 'C
cos 2'C
cos 3'C
1
1:2
1:2:3
k
Aqu siguen unos clculos bastante detallados para deducir las ecuaciones (18)
abajo.
y C y satisface
2
2
sen '
:
1 C cos '
1 C l cos
1
(18)
C l 2 2 cos 2 C C cos C
k 0C
e k
cos. k C k 0 / D p ;
e k
sen. k C k 0 / D q ;
donde
D
1
2
D arc.tang
sen '
I
1 C cos '
m .m 1/ 2
m .m
m
xC
x CC
1
1:2
D e k
k 0C
1/ : : : .m C 1/
x C
1 : 2 : : :
cos. k C k 0 / C i sen. k C k 0 /:
Entonces tenemos
m D k C k 0;
luego
D
1
2
p
a 2 C b 2;
cos ' D a ;
log.1 C 2a C a C b / D
D arc tang
1
2
sen ' D b ;
log.1 C a /2 C b 2 ;
b
:
1Ca
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 /
.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
1
:
2
:
3
:
:
:
m
h
b 1 n log.1 C a /2 C b 2
D cos m arc tang 1C
a2
i
b 1 n log.1 C a /2 C b 2
Ci sen m arc tang 1C
a2
1C
.1 C a /2 C b 2
m
2
b
e n arc tang 1Ca :
1C
m .m 1/ 2
m
aC
a C D .1 C a /m ;
1
1:2
A.
Sumacin de las series cos ' 21 2 cos 2' C 13 3 cos 3'
sen ' 12 2 sen 2' C 31 3 sen 3' :
,
(34)
1
2
1 2
1 3
2 cos 2'C3 cos 3'
1 2
sen 2'C13 3 sen 3'
2
;
;
Entonces las sumas de estas series cuando D C1 o D 1 convergen cuando tiende a estos lmites. La primera expresin queda
de la siguiente forma suponiendo que los segundos miembros de
(35)
1
2'
D sen '
1
2
tanto, de acuerdo
para ' D .2 C 1/
segunda, siendo
se encuentra entre
sen '
D arc. tang.tg 12 '/ D 12 ' W
1 C cos '
sen 2'C 31 sen 3' (entre ' D C y ' D
).
1
2
sen 2' C
1
3
sen 3'
:
2
2
DE LAS
SERIES
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
podemos hallar un n tal que s n Cm es diferente de una cantidad
determinada s por una cantidad tan pequea como uno quiera.
En este caso s se denomina la suma de la serie y escribimos
s D u0 C u1 C u2 C
Si s n , para todos los valores de n est contenido entre dos
lmites finitos la serie se denomina indeterminada y si s n sobrepasa
todo lmite se llama divergente.
Tenemos el siguiente:
Teorema. Para que una serie sea convergente, es necesario y
suficiente que la suma u n C1 C u n C2 C C u n Cm , para un valor cualquiera de m y para todo valor de n ms grande que un cierto lmite
tan grande como se quiera, estando contenido entre dos lmites
tambin tan cercanos como se desee.
1. Sobre la convergencia de series cuyos trminos son todos positivos.
Teorema. Si la serie
u0 C u1 C u2 C C un C
es divergente, entonces la serie siguiente:
u1
u2
u3
un
C
C C CC
s0
s1
s2
sn 1
tambin lo es, si no supera a la unidad. Tenemos
sn
un
un
log
D log 1 C
<
;
sn 1
sn 1
sn 1
luego
sn 0 D
u1
u2
un
sn
sn
C
C C
> log
C log
s0
s1
sn 1
sn 1
sn
0
s n > log s n log s 0 I
1
2
C C log
s1
C ;
s0
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.
s0
s1
s2
sn 1
donde < 1.
Teorema. Si la serie u n es divergente, entonces la serie
u
n
s C1 es convergente, si es positivo.
n
sn1
sn
D .s n
un/
sn
en consecuencia la serie
> sn
C s n
: un D :
un
s n 1C
un
s n 1C
es convergente.
Aplicacin. Supongamos que u n D 1, tenemos que s n D n. En
consecuencia la serie
1C
1
1
1
1
C C CC C
2
3
4
n
1
2C1
1
3C1
CC
n C1
C
'n
es divergente de acuerdo con la hiptesis, y la serie siguiente
1
' n : '.n1
1/
1
1
2
1
3
C C n11
es divergente. Pero
log.1 C n /
C
1
1
log n D log 1 C
< ;
n
n
luego
1
1
1
C CC
> log n :
2
3
n 1
En consecuencia, la serie
1C
1
1
1
1
C
C
CC
C
2 log 2
3 log 3
4 log 4
n log n
'.n C 1/
'.0/I
entonces la serie
' 0.0/ C ' 0.1/ C C ' 0.n / C
es divergente.
Sea
'm n D logm .n C a /;
tenemos
' 0m n D
' 0m n D
d
log 'm
dn
1n
' 0m 1n
;
'm 1 n
1
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
a .log n /
1
1
'n D C
;
1 .logm n / 1
d .logm n /
1
' 0n D
;
m
dn
.log n /
'.n C 1/
n : .logm n /1C
es convergente si > 0.
Si
1
log
u n : n : log n : log2 n : log3 n ::: logm
lim :
logm C1 n
> 1;
Si
log u1n d logm n
dn
lim :
> 1;
m
log C1 n
< 1;
D 1;
convergente;
divergente;
puede ser convergente o divergente.
Si la serie an x n es convergente entre y C , entonces tambin es convergente la serie que se obtiene derivando cada trmino.
Estas derivadas son todas funciones continuas entre y C .
D A 0 C A 1x C C A n x n C D B ;
R D '0 .
D '0 .
!/
!/
C 'n .
!/
A 0 C x 1 '1 .
C 'n .
A 0 C '1 .
!/
n
A 1 : x C
A n x C
!/
!/ : x 1
A 1 x 1 x 2 C
A n x n1 x n2 C
Am xm
1 el mayor de los trminos
A 0 ; '1 .
!/
!/
A 1x 1; : : : ;
entonces
f .
!/ D R C
k
1
x2
'm .
!/ : x1m
Am xm
1 ;
y D
1
1
sen 2y : x 2 C sen 3y : x 3 C
2
3
es una funcin continua de y, si x < 1. Si x D 1, la serie es tambin convergente, pero en este caso f .y / es discontinua para ciertos
valores de y.
f .y / D
y
y
y
xC
x2 C
x3 C
2
2
1Cy
4Cy
9 C y2
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
C
C
; lim: .f y / D
2
y
C1
1
1Cx
.1 C x /
.1 C x /
1Cx
yD2
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 C1
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/
.n /
.n /
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 /
C .a 0 Ca 1 x Ca 2 x 2C /C
.1/
.2/
.n /
.0/
.1/
.2/
.n /
A 0 D lim: .a 0 C a 0 C a 0 C C a 0 /;
n D 10
A 1 D lim: .a 1 C a 1 C a 1 C C a 1 /;
n D 10
tenemos
etc.,
f x D A 0 C A 1x C A 2x 2 C C A m x m C ;
.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
que
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
!C
! C ;
1
1:2
si esta serie es convergente. Entonces lo ser siempre: Tenemos
f .x C !/ D f x C
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
!
1
vn
n
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
f nx
RESEA BIBLIOGRFICA
[1] Calculus (4ta edicin), por Michael Spivak, Publish or Perish, Houston, 2008.
Este libro considerado con frecuencia como una excelente Introduccin 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 ordinarios. (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 estudiantes es:
[2] Calculus (volumen 1, 2da edicin), por Tom Apostol, Editorial Revert, Barcelona, 1983.
Uno de los aspectos ms singulares de este libro es la presentacin del
Clculo siguiendo un orden histrico. La exposicin de las diferentes materias es muy precisa y con frecuencia presenta ejemplos que
ilustran muy claramente los conceptos y teoremas, as como motivaciones histricas y geomtricas que contribuyen a facilitar la lectura
253
CAPTULO 1
1
(1) an D .1=2/n
(2) an D .3=2/
(3) an D 3
n 1
n 1
=2 .
1 si n es par,
1, k 2 N se cumple que an D
x!1
x
1
D lim x
D 0;
x!1 2 log 2
2x
259
1, k 2 N se
de donde
1 C . 1/n
2
;
n
n
1 C . 1/n
D 0:
n!1
n
lim
para todo n,
. 1/n
D 0:
n!1
n
lim
(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
D
n!1 n C 1
lim
n!1
p
3
n2 cos.n/
D 0:
nC1
(11) Tenemos
an D
. 1/n C 2n
D
. 1/nC1 C 2nC1
1 n
C1
2
:
n
1
C2
2
n!1
1
:
2
n!1
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
1 C nC1
cos n
es divergente.
2
(15) Sabemos que 1 sen.nn / 1 para todo n y que
p
. 1/n n
lim
D 0:
n!1 n C 1
Entonces
p
. 1/n n sen.nn /
D 0:
lim
n!1
nC1
r
n
1
.an C b n / D
n
s
n
a n
n
b
C
;
luego
lim an D :
n!1
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
(c) Tomar xn D 1=n.
yn .
1
:
n
Formar una sucesin fan g con todos los nmeros racionales empezando por 0 y continuar con el siguiente esquema (sin preocuparse por las repeticiones):
1
1
1
2
1
1
2
1
2
1
3
1
::
:
.
%
.
1
2
2
2
2
2
3
2
::
:
1
3
%
.
1
3
2
3
%
.
%
2
3
3
3
::
:
1
4
1
4
2
4
2
4
3
4
%
.
::
:
`j <
"
:
3
Luego
jaN C aN C1 C C aN CM
M `j <
M"
;
3
de donde
N C M .aN C aN C1 C aN CM
M `
M `/
N CM
M"
"
< :
<
3.N C M /
3
M`
"
"
1
N C M .a1 C C aN CM
`/ < ":
pj < a
p.
Luego
2p
para todo n N ;
a < xn < a;
j`jj jan
`j
bn j D jbn
an j
para todo n.
(c) Por la desigualdad triangular para nmeros reales tenemos
jan
bn j jan
cn j C jcn
bn j;
bn jg supfjan
cn j C jcn
bn jg
entonces
supfjan
supfjan
18
cn jg C supfjcn
bn jg:
%
.
%
CAPTULO 2
1 (1) Utilizando el mtodo de descomposicin en fracciones simples
para demostrar que
1
1
1
1
D
;
.2n 1/.2n C 1/
2 2n 1 2n C 1
entonces
1
X
1
es una serie telescpica que con1/.2n C 1/
.2n
nD1
verge hacia 1=2.
1
1
1
X
2
2 X 1 n 1
2 X 1 n
1
(2)
D 2
D 2
D .
n
3
3
3
3
3
3
3
nD1
nD1
nD0
1
1 n
1 n
X
X
X
2n C 3n
1
1
3
(3)
D
C
D .
n
6
3
2
2
nD1
nD1
nD1
nD1
1
X
nD1
nD1
1
X
n
10
nC1
(7)
D
D
.
10n
10
10
nD0
nD0
" 1
#
1
1
X
X 2 n X
. 1/n C 2n
1
1 n
1
(8)
D
2
D .
nC1
5
25
5
5
10
nD1
nD0
nD0
1
sen y
lim x sen
D lim
D 1;
x!1
y!0 y
x
entonces la serie
1
X
n sen
nD1
1
dx D arctg x, entonces es fcil ve1 C x2
1 Z nC1
X
1
rificar que la serie
dx es telescpica y converge
1 C x2
n
nD1
hacia =4.
X
X
Si la serie
.an C bn / fuese convergente, entonces la serie
bn D
X
X
.an C bn /
an sera convergente.
X
Tomar cualquier serie convergente
an y definir bn D an .
1
es divergente.
n
an
D 0.
n!1 n
an diverge y lim
kD1
nD1
.an
bn /2 D 0;
xk yk
kD1
n
X
kD1
p
xk 2 C
n
X
yk 2 ;
kD1
n
X
p
.xk C yk /2
kD1
n
X
kD1
p
xk 2 C
n
X
yk 2 :
kD1
Luego
n
X
p
.ak
kD1
bk /
n
X
p
.ak
kD1
ck / C
n
X
.ck
b k /2 :
1
X
.cn
b n /2 :
kD1
1
X
p
2
.an
bn /
nD1
1
X
p
.an
nD1
cn / C
nD1
xi C
"
4N
xi
" i
"
D < ":
4N
2
nD1
"
2nC1
" i
xn
2nC1
D"
1
X
nD1
1
2nC1
"
< ":
2
(c) Dado " > 0 para cada n existe una coleccin numerable de intervalos anm ; bnm tal que
Xm
1
[
.anm ; bnm/
nD1
y
1
X
nD1
`nm <
"
2mC2
1
[
mD1
1
X
mD1
Xm
`nm D
1
[
.anm ; bnm/;
m;nD1
1
X
mD1
"
"
D < ":
2mC2
2
1
1
X
2n
1X 2 n
D
D 1:
3nC1
3
3
nD0
nD0
de donde
medida de C D 1
medida de 0; 1 n C D 0:
a/.d
c/:
1
X
An < ":
nD1
CAPTULO 3
1 (2) Divergente, comparar con la serie
1
X
n2=3
nD1
ns
1
X
nD1
tonces
1
D C1;
n!1 an
lim
1
X
1
diverge.
an
nD1
1
2
1
2
1
3
1
2
1
4
1
2
C
X
Es decir,
an es la suma de dos series convergentes. Adems para
los casos en que n es un cuadrado perfecto se cumple que nan D 1.
CAPTULO 4
1 (3) Notemos que para todo x > 0 suficientemente pequeo se cumple
sen x x, entonces para n suficientemente grande tenemos que
sen.1=n/ 1=n, de donde
sen2
1
1
2:
n
n
Luego, notando que cos.1=n/ > 0, tenemos que para todo n suficientemente grande se cumple
1
cos
1
sen2 .1=n/
1
1
D
2
2:
n
1 C cos.1=n/
n 1 C cos.1=n/
n
As que la serie
1
X
. 1/
nC1
nD1
vergente.
1
X
1
1
cos
n
es absolutamente con-
1
es condicionalmente conver2n C 1
nD1
gente. En efecto, se cumple que
(4) La serie
. 1/nC1 arctg
1
2x C 1 D lim y D 1:
1
y!0 tg y
2x C 1
arctg
lim
x!1
nD1
1
X
nD1
1
es divergente, tenemos que la serie
2n C 1
1
arctg
diverge.
2n C 1
1
;
2x C 1
entonces
f 0 .x/ D
2
:
1 C .2x C 1/2
x!1
2
arctg x
x2
D lim
D 1:
x!1 1 C x 2
1=x
nD1
1
X
nD1
n!1
. 1/nC1
diverge.
log.1 C 1=n/
As que la serie
1
X
nD2
1
n log2 n
1
X
. 1/nC1
n log2 .1 C n/
nD1
converge absolutamente.
(10) Si an D . 1/nC1 n37 =.n C 1/ tenemos
1
n C 1 37
D 0:
lim
n!1 n C 2
n
1
X
. 1/nC1 n37
Entonces la serie
converge absolutamente.
.n C 1/
nD1
N
X X
ak
jak j
kD1
kD1
kD1
jak j
1
X
nD1
jan j;
para todo N .
1
X
nD1
1
X
an D lim
N !1
N
X
an :
nD1
nD1
1
X
an 2 converge.
nD1
CAPTULO 7
1
lim fn .x/ D
n!1
1 si x 2 .0; 1
0 si x D 0:
n!1
n!1
1
X
1 si x D 0
0 si x 0:
x n . Entonces
nD0
0
f .x/ D
Por otra parte f .x/ D
1
X
nx
n 1
nD1
nD1
1
1
1
1 X
D
n xn:
x
; luego
f 0 .x/ D
1
.1
x/2
1
X
n xn D
nD0
nD1
1
X
1
X
n xn D
n2 x n
nD1
x/2
.1
(segn el Pro-
1
1 X 2 n
n x
x
nD1
y
f 0 .x/ D
(3) Si f .x/ D
1
X
nD0
n2 x n D
1Cx
:
.1 x/3
x2 C x
(Problema 7-2(2)). Entonces
.1 x/3
1
1 X 3 n
n x
x
f 0 .x/ D
nD1
y
f 0 .x/ D
(4) Si f .x/ D
tonces
1
X
nD0
n3 x n D
x 2 C 4x C 1
:
.1 x/4
x 3 C 4x 2 C x
(Problema 7-2(3)). En.1 x/4
f 0 .x/ D
y
f 0 .x/ D
(5) Sea f .x/ D
1
X
nD0
xn D
Z
nD1
x 3 C 11x 2 C 11x C 1
:
.1 x/5
1
. Entonces
f .t / dt D
1
1 X 4 n
n x
x
D
D
1
X
nD0
1 Z
X
dt
t n dt
nD0 0
1
X
x nC1
nD0
nC1
f .t / dt D
1
1
dt D
log.1
x/ D log
1
1
1
X
nD0
f .t / dt D
D
D
x 2n D
Z
1
X
t 2n
nD0
2n C 1
1
t2
1
log.1 C x/
2
1
1Cx
D log
:
2
1 x
1
X
nD0
.n C 1/ x n D
1
X
nD0
2
.n C 1/ x n C
dt
dt
1
log.1
2
(7)
t 2n dt
nD0 0
1
X
x 2nC1
. Luego
nD0
1 Z
X
x2
1
X
nD0
xn D
x/
x
.1
x/2
1
1
nD0
1
X
nD0
n2 x n C 3
1
X
nD0
nx n C 2
1
X
xn ;
nD0
y, por tanto, basta con aplicar algunas de las identidades demostradas arriba.
(9) Anlogamente al problema anterior tenemos
.n C 1/.n C 2/.n C 3/ D n3 C 6n2 C 11n C 6;
entonces
1
X
.n C 1/.n C 2/.n C 3/ n
x D
3
nD0
1
6
1
X
nD0
3 n
n x C6
1
X
nD0
2 n
n x C 11
1
X
nD0
nx C 6
1
X
nD0
n
1
1
X
X
n
1
3 (3)
D
n
D 2, (segn el Problema 7-2(1)).
n
2
2
nD0
nD1
3
1
1
X
X
1
1 1 n
3
(4)
D3
D log
(de acuerdo con el
n
3 .n C 1/
n 3
2
nD0
nD1
Problema 7.2(5)).
nD1
1
X
p
1 1 n
C
D 2 e.
n 2
nD0
1
X
sen nx
converge puntualmente pero no uniformen
nD1
mente sobre R. En efecto, si f es el lmite puntual del la serie, entonces f ./ D 0 pero
La serie
. 1/nC1
lim f .x/ D
x!C
;
2
es decir, f no es continua ; para mayores detalles sobre este problema ver el artculo de Abel titulado Recherches sur la Srie 1 C m
1 xC
m.m 1/ 2
m.m 1/.m 2/ 3
x C
x C (pginas 209 y 233).
12
123
NDICE ALFABTICO
Longitud, 40
Lucasiana, Ctedra, 147
Medida 0, 40, 266
Mercator, Nicolaus, 105, 147148
Logaritmotechnia, de, 147
Mtrica, 24
Mtrico, espacio, 24
Minkowski, Herman, 40
desigualdad de, 40
Montona, sucesin, 9
Newton, Isaac, 1, 17, 36, 105, 139,
142, 147149, 151, 154155,
170, 191
binomio de, 141
De Analysi, de, 148
cartas a Leibniz, de, 149150,
154155
mtodo de las tangentes de, 17
retrato de, 149
No,
creciente, sucesin, 9
decreciente, sucesin, 9
Nobel, premio, 252
Numerable, conjunto, 25
Nmero
de Euler, 22
pi, notacin del, 186
primo, 50
Oscar, Rey, 252
Oldenburg, Henry, 148, 151, 155
Olivier, M., 241
uvres Compltes de Abel, 192, 194,
196, 198, 212, 236, 238, 248
Paradoja de Zenn, 35, 254
Paraleleppedo, 40
Parciales, sucesin de sumas, 27, 167
Paradoja de Zenn, 36
Parte,
imaginaria, 162
real, 162
Pascal, Blaise, 36
tringulo de, 140
Permutacin, 86
Pi, notacin para el nmero, 186
Pisa, Leonardo de (ver Fibonacci),
Polinomio de Taylor, 1
Premio,
Abel, 252
Nobel, 252
Uniformemente (continuacin)
convergente, 110, 164
Volumen, 40
Wallis, John, 154155
Weierstrass, Karl, 119
criterio M de, 119
retrato de, 119
Zenn de Elea, 35
paradoja de, 36
Zeta de Riemann, funcin, 70