Series Convergentes
Series Convergentes
Series Convergentes
Fernando Mejas
SERIES CONVERGENTES
A A El manuscrito fue procesado utilizando LTEX2" , es decir, bsicamente LTEX A con algunos macros especiales de AMS-LTEX. La fuente principal del texto es New Baskerville, una variante moderna (y ligeramente menos estilizada) de la clsica Baskerville, pero para resaltar la naturaleza clsica del material de las traducciones se usa una combinacin de Bookman Old Style y Book Antigua. Las fuentes matemticas principales son Math Tme Professional II (lite) de Publish or Perish, Inc. Cualquier crtica, comentario, sugerencia y/o reporte de errores (de imprenta o de contenido) ser apreciado y puede ser enviado al autor va correo electrnico a la siguiente direccin: [email protected]
PREFACIO
ste libro fue concebido originalmente como un (pequeo) manual auxiliar sobre series para estudiantes de Clculo; posteriormente la idea fue evolucionando y ampliando las perspectivas para ofrecer al lector una visin general sobre el tema y sus relaciones con otros en Anlisis.
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 nal 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 dicultad. 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 dicultad 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 nal 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
Universidad de Los Andes Ncleo Universitario Rafael Rangel Trujillo, Jueves, 21 de Abril de 2011
FERNANDO MEJAS
TABLA DE CONTENIDO
CAPTULO 1
CAPTULO 2
CAPTULO 3
Prefacio vii Sucesiones Innitas 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 Innitas 27 Sumas Innitas 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 Bibliogrca 253 Soluciones a Problemas Escogidos 259 ndice Alfabtico 275
CAPTULO 4
SERIES CONVERGENTES
Las series divergentes son un invento del demonio, y es vergonzoso basar sobre ellas cualquier demostracin.
NIELS HENRIK ABEL
CAPTULO
SUCESIONES INFINITAS
Es digno de ser meditado el hecho de que, cada vez que es posible, el hombre elimina apresuradamente el innito. . . La matemtica moderna exhibe una considerable variedad de innitos. . . Desde luego, todos son inintuibles y jalonean el creciente alejamiento entre el mundo sensible y el mundo matemtico. ERNESTO SBATO
l objetivo primordial de este libro es establecer formalmente la nocin de suma innita (es decir, una suma con innitos trminos) y explorar sus propiedades; para lograr esta meta, debemos dar un paso preliminar que consiste en arreglar los supuestos innitos trminos, ponindolos en forma ordenada, algo as como a1 ; a2 ; a3 ; : : : . ste es el punto al que se dedica el presente captulo.
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 denido 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 1
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 x3 C C 3 5 x2 x4 cos x D 1 C C 2 4 x2 x C ex D 1 C C 1 2 x2 x3 log.1 C x/ D x C C 2 3 x3 x5 arctg x D x C C 3 5 sen x D x x 2nC1 C Rn;a .x/; .2n C 1/ x 2n C . 1/n C Rn;0.x/; .2n/ xn C C Rn;0 .x/; n xn C . 1/nC1 C Rn;1 .x/; n x 2nC1 C . 1/n C Rn;0 .x/: 2n C 1 C . 1/n
Un teorema clsico en Anlisis provee formas de estimar Rn;a .x/ a partir de informacin sobre f .
TEOREMA 1 (TEOREMA DE TAYLOR)
Sea f una funcin tal que las derivadas f .1/ ,. . . ,f .nC1/ estn denidas sobre un intervalo a; x y Rn;a .x/ est denido por
n X f .k/.a/ f .x/ D f .a/ C .x k kD1
/n .x
a/ para algn
2 .a; x/.
2 .a; x/.
Adems, si f .nC1/ es integrable sobre a; x, entonces (3) Rn;a .x/ D Z 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 Innitas 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 innita 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 :
Por ejemplo en la lista de igualdades presentadas arriba, si asumimos que en todos los casos el resto tiende a 0 cuando n es muy grande, entonces obtendramos las siguientes igualdades: x3 x5 C 3 5 x2 x4 cos x D 1 C 2 4 x2 x C ex D 1 C C 1 2 x2 x3 log.1 C x/ D x C 2 3 x3 x5 arctg x D x C 3 5 sen x D x x7 C 7 x6 C 6 x3 C 3 x4 C 4 x7 C 7 ; ; ; ; :
De ser ciertas estas frmulas, entonces tenemos algunas igualdades muy interesantes, asignando algunos valores especiales a x, por ejemplo:
3 5 7
0D 0D1
3
2
C C
5
4
C
6
; ;
C 22 2 24 4 26 6 1 1 1 e D1C C C C ; 1 2 3 1 1 1 log 2 D 1 C C ; 2 3 4 1 1 1 D1 C C : 4 3 5 7
Aunque estas ideas resultan plausibles y sobre todo muy atractivas, todas tienen un gran defecto y es que la adicin de nmeros reales es una operacin binaria, es decir podemos sumar solamente dos nmeros reales a la vez y por un proceso de induccin podemos denir la suma de una coleccin nita de nmeros, pero por esa va no podemos llegar a denir y trabajar con sumas innitas. Y es que la nocin no es tan sencilla como pudiera parecer en una primera mirada. Consideremos por ejemplo la suma innita 1 1C1 1C1 1C ; donde los trminos son sucesivamente 1 y 1. Si una suma innita ha de tener sentido uno esperara que se cumpla la ley asociativa, es decir que
4 Fernando Mejas
si uno agrupa unos sumandos esto no debe alterar el valor del resultado. Pero observemos que tenemos: 1 C . 1 C 1/ C . 1 C 1/ C . 1 C 1/ C mientras que por otro lado .1 1/ C .1 1/ C .1 1/ C D0C0C0C D 0; D1C0C0C0C D 1;
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 innitas de la forma a1 C a2 C C an C ;
pero para ello debemos primeramente enfocar nuestra atencin hacia la coleccin innita misma de elementos que queremos sumar.
SUCESIONES
Una sucesin (innita) 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 nitas, para lo cual es suciente hacer una ligera modicacin a la denicin 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 grca 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
r rr r r
x3 x2
x1 1
1 1 1 4 3 2
FIGURA 1.1(a)
FIGURA 1.1(b)
Por ejemplo, en la Figura 1(a) se muestra la representacin grca usual de la sucesin fxn g denida por xn D 1=n. Para mejorar esta situacin
1. Sucesiones Innitas 5
se ha diseado un sistema de representacin grca 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 (especcamente 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
decimos que diverge o que es divergente. Notemos que si la sucesin fan g diverge signica que para todo nmero real l existe un " > 0 tal que para todo nmero natural N existe un n N tal que jan lj ".
r
x3
( rr l "
r r
r )r
xN
1 x1
l C"
r r
x2
FIGURA 2.
A continuacin presentamos un resultado que establece la unicidad del lmite de una sucesin convergente, un hecho que es bastante evidente y sirve como un ensayo para el uso del concepto de convergencia.
TEOREMA 2
Si la sucesin fan g converge hacia l y tambin converge hacia m, entonces l D m. Supongamos que l m y consideremos " D jl mj=2. Puesto que lim an D
n!1
DEMOSTRACIN
l tenemos que existe un N1 2 N tal que para todo n, si n N1 se cumple que jl mj jan lj < : 2 Anlogamente, existe un nmero natural N2 tal que para todo n, si n N2 se cumple que jl mj : jan mj < 2 Luego, si tomamos n N D max.N1 ; N2 / tenemos jl mj D jl an C an mj jan lj C jan mj < jl mj 2 C jl mj 2 D jl
mj;
6 Fernando Mejas
EJEMPLO 3
Si xn D 1=n para todo n, entonces lim xn D 0. Este resultado es una conn!1 secuencia de la propiedad arquimediana de los nmeros reales (ver Problema 20) que establece que para todo " > 0 existe un nmero natural N tal que 1 < ": N Por tanto tenemos que para todo nmero natural n, si n N se cumple que 1 1 1 0 D < ": n n N 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 suciente 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 4
EJEMPLO 5
Supongamos que n D n para todo n, entonces fn g diverge y escribimos n ! 1 cuando n ! 1. Como en el caso de lmites de funciones en un punto, existe un teorema sobre el lgebra de lmites de sucesiones que facilita la tarea de hacer clculos. La semejanza entre estos resultados no es casual, en efecto la demostracin es prcticamente la misma, sobre todo si utilizamos el siguiente lema tomado de Calculus por Spivak (referencia [1] de la Resea Bibliogrca, p. 101).
LEMA
" 2
jy
y0 j <
" ; 2
" 2.jy0 j C 1/
jy
y0 j <
x0 y0 j < ":
1. Sucesiones Innitas 7
(3) Si y0 0 y jy entonces y 0 y y0 j < min 1 y
jy0 j "jy0 j2 ; 2 2
1 < ": y0
Sean fan g y fbn g dos sucesiones convergentes tales que an ! l y bn ! m cuando n ! 1. Entonces las sucesiones fan C bn g y fan bn g tambin convergen y (1) lim .an C bn / D l C m,
n!1
Adems si m 0, entonces la sucesin fan =bn g tambin converge y tenemos (3) lim l an D . n!1 bn m
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 y jbn mj < " ; 2
luego, por el Lema (1) tenemos que j.an C bn / .l C m/j < ":
(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 lmj < ":
8 Fernando Mejas
(3) Es suciente 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 denido 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 nita 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 denida 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
Si fan g es una sucesin convergente, entonces fan g est acotada. Supongamos que an ! l cuando n ! 1. Entonces tomando " D 1 en la denicin de sucesin convergente tenemos que existe un nmero natural N tal que, para todo n, si n N , entonces jan luego 1 < an 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 nita, entonces existe una intervalo abierto .u; v/ que l < 1; lj < 1;
DEMOSTRACIN
1. Sucesiones Innitas 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 deniciones 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 r r r r r r r r r
a1
a2 a3 a4
an anC1
FIGURA 3.
TEOREMA 8
Si fan g es una sucesin no decreciente y acotada superiormente, entonces fan g converge. Sea A el conjunto formado por todos los an . Por hiptesis tenemos que A est acotado superiormente y como A ;, existe un 2 R tal que D sup A.
r r r ( r r r r
DEMOSTRACIN
a1 a2
" aN
FIGURA 4.
10 Fernando Mejas
Dado " > 0 existe un x 2 A tal que x < ", es decir existe un N tal que aN < " (Figura 4). Por otro lado tenemos que si n N entonces an aN , de donde o sea, an ! cuando n ! 1. an aN < ";
SUBSUCESIONES
Algunas veces conviene realizar el anlisis de una sucesin examinando el comportamiento de una o varias colecciones innitas de sus trminos. Por ejemplo, consideremos la sucesin fyn g denida por yn D . 1/nC1 , tenemos dos colecciones innitas de trminos notables f1; 1; 1; : : : g y 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 innita 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
Si la sucesin fan g es convergente hacia l y fakn g es una subsucesin, entonces la subsucesin tambin converge hacia l. Una propiedad muy interesante de las sucesiones queda plasmada en el siguiente resultado.
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.
CAUCHY
Si fan g es una sucesin que converge hacia el lmite l, intuitivamente, esto nos indica que los puntos a se encuentran muy cerca del punto l cuando n toma valores arbitrariamente grandes, en cuyo caso, los diferentes trminos an y am se encuentran muy cerca entre s cuando n y m son nmeros muy grandes, porque jan am j jan lj C jl am j:
Anlogamente, resulta razonable pensar que si los trminos an y am de una sucesin dada se encuentran muy prximos entre s para valores muy grandes de n y m, entonces la sucesin es convergente. Motivados por esta observacin establecemos la siguiente denicin que proporciona un instrumento muy ecaz para el estudio de las sucesiones: decimos que la sucesin fan g es una sucesin de Cauchy si para todo " > 0 existe un nmero natural N tal que para todos n y m, si n; m N , entonces jan am j < ". Si fan g es una sucesin convergente, entonces fan g es una sucesin de Cauchy.
TEOREMA 12
DEMOSTRACIN
Supongamos que an ! l cuando n ! 1 y sea " > 0. Entonces existen N 2 N tales que si n N entonces jan lj < "=2. Luego, si n; m N entonces " " y jam lj < : jan lj < 2 2 Por tanto, si n; m N tenemos " " jan am j jan lj C jl am j < C D ": 2 2 Como hemos sugerido arriba, el recproco del Teorema 12 tambin es cierto.
TEOREMA 13
Si fan g es una sucesin de Cauchy, entonces fan g converge. Para empezar notemos que toda sucesin de Cauchy est acotada (este hecho se puede probar siguiendo el esquema de la demostracin del Teorema 7). Ahora, de acuerdo con el Teorema de Bolzano-Weierstrass fan g tiene una subsucesin fakn g la cual converge hacia un lmite l. Dado " > 0, existe un N1 tal que para todos n y m, si n; m N1 , entonces " jan am j < : 2 Tambin tenemos que existe un N2 tal que para todo n si kn N2 entonces " jakn lj < : 2 Luego, si n N D max.N1 ; N2/ (recordemos que kn n) tenemos " " jan akn j < y jkn j< ; 2 2
DEMOSTRACIN
12 Fernando Mejas
y por tanto tenemos jan
n!1
lj jan
akn j C jakn
lj <
es decir lim an D l.
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
El resultado presentado a continuacin establece condiciones necesarias para que se cumpla tal igualdad y adems demuestra que el problema puede ser abordado en sentido inverso, es decir que la posibilidad de intercambiar la funcin con lmites proporciona informacin sobre la continuidad de la funcin.
FIGURA 5.
TEOREMA 14
Sean p un punto de un intervalo abierto I y f una funcin denida en todos los puntos de I (excepto quiz en p) tal que
x!p
lim f .x/ D q:
Supongamos que fan g es una sucesin con trminos en I que converge hacia p, con an p para todo n. Entonces
n!1
lim f .an / D q:
Recprocamente, si esta proposicin es cierta para toda sucesin fan g que satisface las condiciones anteriores, entonces
x!p
lim f .x/ D q:
1. Sucesiones Innitas 13
DEMOSTRACIN
Supongamos que lim f .x/ D q: Entonces, dado un nmero " > 0 existe
x!p
pj < entonces
Si fan g es una sucesin con trminos en I fpg la cual converge hacia p, entonces existe un nmero natural N tal que para todo n, si n N, entonces 0 < jan pj < : Luego jf .an /
n!1
qj < ":
Por tanto, f .an / ! q cuando n ! 1. Supongamos ahora que lim f .an / D q para toda sucesin fan g con
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
Sean A un subconjunto de R, f W A ! R una funcin y p un punto de A. Entonces f es continua en p si y slo si para toda sucesin fxn g con lim xn D p, n!1 se cumple lim f .xn / D f lim xn D f .p/:
n!1 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 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
Dada una sucesin de intervalos cerrados I1 D a1 ; b1 , I2 D a2 ; b2 ,. . . , los cuales se encuentran encajados, es decir InC1 In ; entonces
1 \
para todo n;
nD1
In ;;
I1 I2 ] b3
E E
[ [ [ a1 a2 a3
FIGURA 7.
]] b2 b1
La demostracin del teorema se realiza partiendo de la observacin que la hiptesis InC1 In para todo n es equivalente a decir que la sucesin fan g es no decreciente y que la sucesin fbn g es no creciente y, puesto que ambas estn acotadas, tenemos que existen y tales que
n!1
lim an D
y lim bn D .
n!1
1. Sucesiones Innitas 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
1 2 ;3
K1 D K0 n K2 D K1 n K3 D K2 n : : :
h3 h
; [ [
7 8 ; 32 32 7 8 ; 33 33
1 2 ; 32 32 1 2 ; 33 33
;
19 20 ; 33 33
25 25 ; 33 33
Observemos que K1 resulta de extraer del intervalo 0; 1 el intervalo abierto 1 2 1 2 3 ; 3 , resultando que K1 D 0; 3 [ 3 ; 1 ; anlogamente K2 se puede representar como la unin de 22 intervalos cerrados y, en general Kn como la unin de 2n intervalos cerrados (Figura 8). 0 1
: : :
: : :
: : :
: : :
FIGURA 8.
Evidentemente el conjunto de Cantor contiene muchos ms elementos que 0 (en efecto una coleccin innita, ver Problema 19) y, para probarlo es suciente 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/
Notemos adems que 0 2 Kn para todo n, entonces el conjunto de Cantor C se dene por: 1 \ C D Kn :
nD0
16 Fernando Mejas
para todo n, tenemos que InC1
1 \
In para todo n y
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 jo. Para establecer el resultado necesitamos una denicin preliminar: dada una funcin f , un punto jo para f es un nmero tal que f ./ D .
EJEMPLO 17
Supongamos que f W 0; 1 ! 0; 1 es una funcin continua y creciente sobre 0; 1. Entonces para todo x 2 0; 1 la sucesin x; f .x/; f .f .x//; f .f .f .x///; : : : converge hacia un punto jo de f . La idea geomtrica en el fondo del argumento est ilustrada en la Figura 9.
FIGURA 9.
De forma anecdtica el matemtico Littlewood cuenta como un grco similar a ste le sugiri la idea para resolver un problema y de all su opinin de que en algunos casos solamente una gura es suciente 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 Innitas 17
es decir
anC1 D f .an /
D f .f .an
1 // 2 ///
D f .f .f .an : : : D f Bf B
Supongamos que f .x/ > x, es decir a1 > a0 . Como f es creciente tenemos que f .f .x// > f .x/; o sea a2 > a1 : En general tenemos que anC1 > an para todo n 0.
Bf .a /:
0 n C 1 veces
Como el recorrido de f est contenido en 0; 1, resulta que la sucesin fan g es creciente y acotada, y es por tanto convergente. Sea D lim an , n!1 entonces por el Corolario 15 tenemos D lim anC1 D lim f .an / D f lim an D f ./;
n!1 n!1 n!1
es decir, es un punto jo 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 grca, el procedimiento fue desarrollado por Newton y es conocido como el mtodo de las tangentes de Newton.
EJEMPLO 18
Sean f W R ! R una funcin derivable y x0 un nmero real. Entonces la ecuacin de la recta tangente en el punto .x0 ; f .x0 // es y1 .x/ D f 0 .x0 /.x x0 / C f .x0 /:
Es fcil vericar que el punto de interseccin de esta recta con el eje horizontal es .x1 ; 0/ donde x1 D x0 f .x0 / f 0 .x0 / si f 0 .x0 / 0.
Ahora consideremos la recta tangente a la grca de f en el punto .x1 ; f .x1 //, cuya ecuacin es y2 .x/ D f 0 .x1 /.x 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.
En general, obtenemos una sucesin fxn g tal que .xnC1 ; 0/ es el punto de interseccin entre la recta tangente a la grca de la funcin f en el punto .xn; f .xn // y el eje horizontal (Figura 10), y si f 0 .xn / 0 tenemos que f .xn / : xnC1 D xn f 0 .xn/ Resulta que bajo las hiptesis f 0; f 00 > 0 y f .x0 / > 0 se tiene que fxn g es una sucesin no creciente la cual converge a un punto con f ./ D 0. Utilizando el mtodo de Newton para f .x/ D x 2 2 y x0 D 1; 4 con los primeros cuatro trminos de la sucesin fxn g obtenemos aproximacin p muy buena de 2, as x0 D 1; 4 x1 D 1; 4142857 x2 D 1; 4142136
x3 D 1; 4142136:
2; 1; 4; 3; 6; 5; : : : .
1 1 1; 0; 3 ; 0; 1 ; 0; 7 ; 0; : : : . Indicacin: Puede denirse an por 5 partes segn si n es par o impar, pero una solucin ms elegante se puede obtener observando el comportamiento de la sucesin denida por sen.n / para cierto valor de .
En cada uno de los siguientes casos decidir si la sucesin dada es convergente o no. En caso de que la respuesta sea armativa calcular el lmite respectivo. (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14) (15) (16) an D an an an an an an an n nC1 n D cos 2 n D n. 2 n D n. 3 D 1C. 1C. D n . 1/n D n 1=n D2 . nC1 . n .
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.
20 Fernando Mejas
2n . (17) an D n 1 n (18) an D . 1/ 1 C . n 1 1 C C . (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. Vericar 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) (2) (3) (4) (5) 4 an D an an an an 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
2
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.
5 (a) Supongamos que fxn g es una sucesin convergente y que existe un nmero natural N tal que xn 0 para todo n N . Demostrar que lim xn 0.
n!1
(b) Demostrar que si fxn g y fyn g son dos sucesiones convergentes y que existe un nmero natural N tal que xn yn para todo n N , entonces lim xn lim yn .
n!1 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 Innitas 21
7 8 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 . Supongamos que fxn g, fyn g y fn g son tres sucesiones tales que xn yn n y que lim xn D lim n D `. Demostrar que fyn g converge n!1 n!1 y lim yn D `:
n!1
lim
a1 C
C an
D `:
10
Existen casos en que es necesario (o conveniente) determinar que fxn g es una sucesin convergente cuyos trminos pertenecen a un conjunto, se tiene necesariamente que el lmite tambin pertenece a dicho conjunto. En este problema se discuten dos casos concretos. (a) Demostrar que si fxn g es una sucesin convergente hacia p y todos sus trminos estn en el intervalo cerrado a; b, entonces p 2 a; b. (b) Demostrar que la parte (a) no necesariamente es cierta si el intervalo a; b se reemplaza por .a; b/.
11
Este problema plantea el estudio de una sucesin muy interesante y que constituye una bonita aplicacin del Corolario 15. Para empezar p notemos que si 0 < a < 2, entonces 0 < 2a < 2. (a) Demostrar que la sucesin p 2; r q q p p 2 2; 2 2 2; : : :
es creciente y acotada superiormente y, por tanto, convergente. (b) Hallar el lmite. Indicacin: observe que si lim an D `, entonces n!1 p p lim 2an D 2`.
n!1
12
Existe una sucesin fan g denida por recurrencia que despierta admiracin general a1 D 1;
an D an
a2 D 1;
C an
para n
3.
As los primeros diez trminos de la sucesin son 1; 1; 2; 3; 5; 8; 13; 21; 34; 55:
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 Bibliogrca). 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 denirse como e D log
1
.1/;
donde log denota la funcin logaritmo (natural), es decir Z x 1 dt: log x D 1 t Es un hecho notable que adems el nmero de Euler se puede expresar como el lmite de una sucesin particularmente notable, a saber 1 n e D lim 1 C : n!1 n Algunos autores preeren tomar la ecuacin anterior como denicin de e, despus de probar que la sucesin en cuestin es no decreciente y acotada superiormente (otra denicin puede tomarse en consideracin despus de realizar un estudio sobre series). Ciertamente no resulta exagerado plantear que el nmero e es uno de los nmeros ms importantes del Clculo y de las Matemticas en general y entre sus mltiples propiedades se destaca el hecho de que es un nmero irracional (ms an, es un nmero trascendente, es decir no se puede obtener por el proceso de resolver ecuaciones algebraicas). Por otro lado est otro nmero asociado al nombre de Euler, que no desempea un papel tan crucial en Clculo y ni siquiera se ha determinado si es racional o no. Tal nmero es conocido como la constante de Euler y est denido en trminos de sucesiones como se indica a continuacin. (a) Demostrar que para todo nmero natural n se tiene que 1 < log.n C 1/ nC1 log n < 1 : n
Indicacin: use la denicin de log indicada arriba y aplique algunas propiedades elementales de la integral.
1. Sucesiones Innitas 23
(b) Usar la parte (a) para demostrar que si an D 1 C 1 C 2 C 1 n log n;
entonces an es convergente (probando que fan g es decreciente y acotada inferiormente). La constante de Euler est denida por 1 1 D lim 1 C C C log n : n!1 2 n 14 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 denicin 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/ < Z
n 1
C f .n/:
Indicacin: hacer una representacin grca (y recuerde que toda funcin creciente es integrable). (b) Ahora considere el caso particular f D log para demostrar que nn en y por tanto
n!1 1
< n < p n
.n C 1/nC1 ; en
lim
n 1 D : n e
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 renamiento 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 yj < , entonces jf .x/ f .y/j < ".
Notemos que si f es uniformemente continua sobre X entonces f es continua sobre X , pero que la proposicin recproca no siempre es cierta. (b) Demostrar que si f W X ! R es una funcin uniformemente continua sobre X , entonces para toda sucesin de Cauchy fxn g con trminos en X se cumple que ff .xn /g es una sucesin de Cauchy. 16 (a) Demostrar que si la sucesin fan g converge hacia ` entonces fjan jg converge hacia j`j. Indicacin: se puede dar una solucin elemental utilizando la desigualdad triangular pero otra prueba muy elegante puede construirse usando el Corolario 15. (b) Demostrar mediante un ejemplo que la convergencia de fjan jg no implica la convergencia de fan g. 17 Sea M la coleccin de todas las sucesiones de nmeros reales fan g acotadas. Si D fan g; D fbn g 2 M, denir la funcin d por d.; / D sup jan bn j W n 2 n :
Demostrar que la funcin d satisface las siguientes propiedades para todos D fan g; D fbn g; D fcn g 2 M. (a) (Positividad) d.; / (b) (Simetra) d.; / D d.; /. 0. Adems, d.; / D 0 si y slo si D .
(c) (Desigualdad triangular) d.; / d.; / C d. ; /. Este problema suele interpretarse diciendo que la funcin d dene una distancia (o mtrica) en el mundo M de las sucesiones acotadas, que es en consecuencia un ejemplo de un espacio mtrico.
18
lim
anC1 D `: an
n!1
lim an 1=n D `:
19
Sea fan g una sucesin acotada y consideremos la sucesin denida por xn D sup fan ; anC1 ; : : : g :
1. Sucesiones Innitas 25
(a) Demostrar que fxn g converge. El lmite lim xn se denomina lmite
n!1
(c) Demostrar que fan g converge si y slo si lim inf an D lim sup an :
n!1 n!1
En trminos elementales el proceso de contar consiste en asignar a cada elemento de un conjunto una etiqueta que corresponde a un nmero natural. En el siguiente problema se describe algunas aplicaciones generales de este concepto, pero primero establecemos cierto marco formal. Un conjunto A ; es nito si existen un nmero natural N y una funcin biyectiva a W f1; 2; : : : ; N g ! A; en este caso decimos que A posee N elementos (por convenio tenemos que ; es nito con 0 elementos). Decimos que un conjunto es innito si no es nito. Un conjunto A es innito numerable (o contable) si existe una funcin biyectiva a W N ! A, es decir, sus elementos se pueden representar como una sucesin fa1 ; a2 ; : : : g. Decimos que A es numerable si es nito o innito numerable. El ejemplo tpico de un conjunto no numerable R; otro caso notable es el conjunto de Cantor C (Ejemplo 16). 20 En este problema examinamos la numerabilidad de ciertos conjuntos importantes. Nuestro estudio se inicia con el caso ms emblemtico de conjuntos numerables. (a) Demostrar que el conjunto N de los numeros naturales es numerable. (b) Demostrar que el conjunto Z de los numeros naturales es numerable. Indicacin: establecer una denicin formal para la sucesin 0; 1; 1; 2; 2; : : : . (c) Utilizar un articio similar al de la parte (b) para demostrar que la unin de dos conjuntos numerables tambin es numerable. (d) Demostrar el hecho ms sorprendente de que el conjunto Q de los numeros racionales es numerable. Notemos que de aqu se deduce que la coleccin R n Q de los nmeros irracionales no es
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 1 3 1 4
. % . %
2 2 3 2 4 2
% . % .
2 3 3 3 4 3
. % . %
2 4 3 4 4 4
% . %
: : :
: : :
: : :
: : :
(e) Imitando la parte (d), demostrar que si A1 ; A2 ; : : : son conjuntos numerables, entonces A1 [ A2 [ es un conjunto numerable. 21 Demostrar que las siguientes proposiciones son equivalentes. (PA1) El conjunto N de los nmeros naturales no est acotado. (PA2) Para todo " > 0 existe un n 2 N tal que 1=n < ". (PA3) Para todo x 2 R y para todo k > 0 existe un n 2 N tal que nk > x. Frecuentemente la proposicin PA3 es conocida como la propiedad arquimediana de los nmeros reales en honor al sabio griego Arqumedes quien la formul en trminos geomtricos: la distancia entre dos puntos cualesquiera de una recta puede medirse con una regla cualquiera mediante una cantidad nita de pasos.
CAPTULO
SERIES INFINITAS
2
;
a idea central de este libro es explorar la posibilidad de desarrollar una suma innita, es decir, dada una sucesin fan g queremos asignarle un signicado preciso a la expresin de la forma a1 C a2 C a3 C
y luego comparar las propiedades de estas sumas innitas con las sumas ordinarias. La forma en que se resuelve este problema es denir una nueva sucesin que consiste en ir sumando ciertas porciones nitas 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 :
Entonces decimos que la sucesin fan g es sumable si la sucesin fsn g es convergente, en cuyo caso escribimos
1 X
nD1
an D lim sn :
n!1
27
28 Fernando Mejas
1 X
an
nD1
Prcticamente todo el desarrollo de este texto es una investigacin de diversos mtodos para decidir si una serie dada es convergente o divergente. Antes de iniciar tal estudio vamos a considerar un par de ejemplos que en el juego de las series son como un par de caballos en un juego de ajedrez.
1 X1 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
converge (o que es convergente) si la sucesin fan g es sumable, en caso 1 X contrario decimos que la serie an diverge o que es divergente
nD1
EJEMPLO 1
La serie
1C
1 2
1 2
1 3
1 1 1 4C4D2
1 4
1 5
1 1 1 1 1 8C8C8C8D2
1 6
1 7
1 8
1 9
1 10
1 1 16 C 16 C
1 C 16 D 1 2
1 16
1 X1 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 signica que ambas se comporten igual con respecto a la convergencia.
Con frecuencia
EJEMPLO 2
La serie
sumas parciales de f1=n2 g es creciente. Si denimos la sucesin fxn g por Z n 1 xn D dt; 2 1 t tenemos que sn 1 C xn Pero adems notemos que xn D 1 n D1 3 3t 1 3 1 : 3n3 para todo n:
nD1
As que fxn g es no decreciente y lim xn D 1=3. Entonces xn 1=3 para n!1 todo n, luego 1 sn para todo n; 3
2. Series Innitas 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 innita de la forma ak C akC1 C akC2 C ; podemos simplemente considerar las sumas parciales fSn g de la sucesin fAn g denida 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
establecido sobre un abuso aceptado previamente). Una manera simple de generar series convergentes se obtiene me1 1 X X diante una aplicacin directa del Teorema 1-6. Si las series an y bn convergen y c es una constante, entonces las series tambin convergen y
1 X nD1 1 X nD1
diferentes). En general, cuando no est en consideracin el lmite hacia el cual converge la serie no prestamos mayor atencin al valor que determina X su primer trmino y para resaltar este hecho a veces escribimos an en 1 X lugar de an para algn k (lo cual es, ciertamente, un abuso de notacin
nDk
.an C bn / y
nD1
1 X
nD1
c an
nD1
.an C bn / D
1 X
nD1
1 X
an C
nD1
nD1
c an D c
nD1
1 X
1 X
bn ;
an :
(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
Como en el prrafo anterior, cualquier resultado sobre convergencia de sucesiones puede ser convenientemente adaptado para establecer condiciones sobre la convergencia de series. Por ejemplo, si fsn g es la sucesin de sumas parciales de fan g, entonces una condicin necesaria y suciente para 1 X la convergencia de la serie an es que fsn g sea una sucesin de Cauchy
nD1
sn
sm D a1 C a2 C
D a1 C a2 C C am C amC1 C D amC1 C C an :
C am C amC1 C
C an
C an
a1
.a1 C a2 C a2
C am / am
Por tanto tenemos el siguiente resultado conocido a veces como la condicin de Cauchy.
30 Fernando Mejas
1 X
La serie
nD1 n;m!1
Tomando m C 1 D n en el criterio de Cauchy obtenemos el siguiente teorema que puede ser ms til en la prctica que tal criterio. Si la serie
1 X
nD1 n!1
Otra prueba de este teorema se desarrolla escribiendo an D sn sn 1 X si la serie an converge hacia tenemos
nD1 n!1
luego
sn
1/
D lim sn
n!1
n!1
lim sn
D 0:
Ntese que el Teorema 4 es una condicin necesaria para la convergencia de una serie, ms no es una condicin suciente, 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
(ver el Ejemplo 1). Una aplicacin elemental de la condicin del resto est dada en el siguiente ejemplo.
2. Series Innitas 31
1 X
EJEMPLO 5
La serie
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.
En el juego de las series, la condicin del resto puede parecer un inocente pen de muy poca utilidad, que algunas veces puede sorprender cuando corona y aparece como en el siguiente ejemplo que nos ahorrar problemas cuando en el futuro una herramienta poderosa simplemente nos falle.
1 X e nn diverge. Segn el Problema 1-13(a) tenemos nn
EJEMPLO 6
La serie
nD1
nn en de donde e<
1
< n <
.n C 1/nC1 ; en
e nn .n C 1/nC1 < : nn nn
Por tanto la sucesin fe n n=nn g no converge a 0. Como podemos observar el anlisis de unas pocas series relativamente sencillas requiere el uso de diferentes tcnicas para determinar la convergencia o divergencia de las mismas. Afortunadamente, existe una gran cantidad de resultados tericos que constituyen herramientas muy ecientes para explorar muchos problemas. En el resto del captulo examinaremos algunos casos con hiptesis especcas que van a ser muy tiles en el trabajo sucesivo. En las siguientes dos secciones vamos a examinar dos casos especiales que, siguiendo la analoga con el juego del ajedrez, constituyen algo as como dos torres en el escenario de las series. En la ltima seccin la hiptesis especial que se asume es sobre el signo de los trminos de la serie.
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
D b1
D .b1
kD1 n X kD1
bnC1 :
b2 / C .b2
La igualdad an D bn bnC1 se denomina propiedad telescpica e implica que la sucesin fsn g converge si y slo si la sucesin fbn g tambin converge. As tenemos el siguiente teorema.
TEOREMA 7
bnC1
para todo n:
nD1
nD1
an D b1
n!1
lim bn :
EJEMPLO 8
Tenemos la igualdad
nD1 1 X 1
1 nC1
D 1;
es decir, la serie indicada converge y tiene por lmite 1. La demostracin de esta proposicin es una aplicacin directa del Teorema 7. Algunas veces suele ocurrir que la serie tiene un disfraz que no permite apreciar de inmediato que se trata de una serie telescpica, por ejemplo si uno tiene que determinar si la serie 1 X 1 n C n2
nD1
1 1 1 D D 2 nCn n.n C 1/ n
1 : nC1
EJEMPLO 9
Consideremos la serie
nD1
1 X
2. Series Innitas 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/
lo cual no parece indicar que la serie de nuestro problema es telescpica. Sin embargo una pequea manipulacin algebraica produce n 1 1 3 3 D C C : .n C 1/.n C 2/.n C 3/ 2.n C 1/ 2.n C 2/ 2.n C 2/ 2.n C 3/ X X 1 1 1 1 Como las series y son telescpinC1 nC2 nC2 nC3 X n cas tenemos que la serie converge y .n C 1/.n C 2/.n C 3/
nD1 1 X
n D .n C 1/.n C 2/.n C 3/
1 D : 4
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
El siguiente ejemplo es otro ejercicio para poner a prueba la destreza en manipulaciones algebraicas.
EJEMPLO 10
La serie
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
1 1 log .1 C n /n .1 C n/ log.1 C n /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 log .1 C 1 /n .1 C n/ X 1 n D .log nn / log.n C 1/nC1 n log n nD2
nD2
1 .n C 1/ log.n C 1/
En algunos casos el disfraz que se coloca para ocultar que se trata de una serie telescpica pueder ser un poco ms elegante que los indicados arriba. Por ejemplo, consideremos el siguiente caso.
EJEMPLO 11
Sean f y g dos funciones tales que f es continua, g 0 D f sobre el intervalo 0; C1/ y lim g.x/ existe. Comprobaremos que la serie
x!C1 1 XZ 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 XZ
nC1
nD1 n
f .x/ dx D
nD1
1 X
.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 por tanto rsn D r C r 2 C r 3 C C rn;
C r n C r nC1 :
2. Series Innitas 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 r C r2 C r3 C r/sn D 1 1 C rn
rsn D De donde
C r n C r nC1 : r nC1 :
.1 Entonces si r 1, tenemos
sn D
r nC1 : 1 r
1 X
r n depende de
la existencia del lmite lim r n : Notemos que este lmite existe solamente si jrj < 1, en cuyo caso nos queda
n!1
nD0
lim sn D
1 1 r
La serie geomtrica
nD0
1 X
nD0
rn D
1 1 r
EJEMPLO 13
nD1
nD0
1 X 1 n
1D2
1 D 1;
1 22
1 23
1 24
D 1:
Esta igualdad tiene un signicado histrico particularmente interesante. En el siglo V antes de nuestra era, el lsofo griego Zenn de Elea (495435 a.C.) formul un acertijo que se ha conocido tradicionalmente como la paradoja de Zenn. El planteamiento del lsofo, 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 indenidamente, entonces el tiempo total invertido por el corredor ser innito. La falacia en la ltima parte del razonamiento de Zenn queda al descubierto por la siguiente igualdad: t t t t C 2C 3C 4C D t: 2 2 2 2
2. Series Innitas 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 y .1 1/ C .1 1/ C .1 1/ C D0C0C0C D 0: La situacin se hace ms crtica si se trata de aplicar la frmula obtenida para la serie geomtrica:
1 X
D1C0C0C0C
D 1;
nD0
. 1/n D
1 1 D : . 1/ 2
Todo el panorama fue aclarado y corregido gracias a los aportes de toda una generacin de matemticos que establecieron el rigor estricto como norma para tratar con los resultados. Entre todos estos grandes cientcos sobresalen los nombres de Agustin-Louis Cauchy, Karl Friedrich Gauss, Niels Henrik Abel y Bernard Riemann.
nD1 1 X
.2n 2 3n 3 .
1 . 1/.2n C 1/
2n C 3n . 6n nD1 1 p X n C 1 pn . p n2 C n nD1
nD1 1 X 1 X
nD1 1 X
nD0 1 X
nD1 1 X
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. Una nocin especial de convergencia de series es nombrada en honor 1 X al matemtico italiano Ernesto Cesro. Decimos que la serie an es
nD1
X X Demostrar que si la serie an converge y la serie bn diverge, X entonces la serie .an C bn / diverge.
C an
2. Series Innitas 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 Sea `2 .R/ la coleccin de todas las sucesiones de nmeros reales fan g, 1 X tales que an 2 converge. Denimos la funcin por
nD1
.; / D
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) .; / (b) (Simetra) .; / D .; /. 0. Adems, .; / D 0 si y slo si D .
nD1
1 X
.an
b n /2 ;
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 dene 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 guras matemticas ms importantes e inuyentes de todas las pocas.
kD1
n X
xk C
kD1
n X
yk 2 :
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. 6 Demostrar la desigualdad de Minkowski: si p 1 y si fxn g e fyn g son dos 1 1 X X p sucesiones tales que jxn j y jyn jp convergen, entonces
nD1 nD1 1 X
nD1
jxn
yn jp
!1=p
nD1
1 X
jxn jp
!1=p
nD1
1 X
jyn jp
!1=p
La desigualdad de Minkowski permite desarrollar una generalizacin del Problema 5(c) (el cual corresponde al caso p D 2). A pesar de que las desigualdades que involucran series pueden tener un aspecto intimidante, en este caso el resultado es una consecuencia directa de una desigualdad similar que involucra sumas nitas que es la desigualdad de Minkowski original:
n X
kD1
jxn
yn jp
!1=p
kD1
n X
jxn jp
!1=p
kD1
n X
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
kD1
n X
jxk j
!1=p
kD1
n X
jyk j
!1=q
Uno de los problemas fundamentales en matemticas es el de medir algunos conjuntos. La longitud de intervalos en R, el rea de rectngulos en el plano R2 (producto cartesiano de dos intervalos) y el volumen de paraleleppedos en el espacio R3 (producto cartesiano de tres intervalos) son ejemplos de tales medidas; recordemos que si a; b es un intervalo, entonces su longitud es ` D b a (en el caso trivial a; a D fag tenemos .a; a/ D ; y ` D 0). Para empezar se puede atacar el problema fcil de medir algunos conjuntos muy pequeos. Decimos que un conjunto X R es de medida 0 (o que tiene medida 0 si para todo " > 0 existe una coleccin de intervalos cerrados a1 ; b1; a2 ; b2 ; : : : tales que X
1 [
.an ; bn/
nD1
2. Series Innitas 41
y
nD1 1 X
`n < ":
Evidentemente el conjunto R de los nmeros reales no tiene medida cero. El siguiente problema no es en realidad difcil y el asterisco indica ms bien que es extico en el contexto de este libro 7 El objetivo de este problema es hallar algunos conjuntos notables que son de medida 0. (a) Demostrar que si X es nito, entonces X es de medida 0. (b) Demostrar que si X es numerable, entonces X es de medida 0 (en particular N, Z y Q son conjuntos de medida 0). Indicacin: Para dada xn 2 X aplicar la denicin tomando " multiplicado por un factor que dependa de n de tal forma que al sumar los trminos sobre n resulte una serie geomtrica cuya suma sea ". (c) Demostrar que si X1 ; X2 ; : : : es una coleccin numerable de conjuntos de medida 0, entonces X D [n Xn es de medida 0 (en combinacin con la parte (b) tenemos que el conjunto R n Q de los nmeros irracionales no tiene medida 0). Indicacin: Imitar la solucin de la parte (b). (d) Demostrar que el conjunto de Cantor tiene medida 0. Indicacin: Demostrar que la medida del complemento 0; 1 n C del conjunto de Cantor mide 1 y usar el hecho de que medida de C C medida de 0; 1 n C D medida de 0; 1: (e) Generalizar el concepto de conjundo de medida 0 para subconjuntos del plano R2 partiendo del rea de rectngulos. (f) Anlogamente al caso anterior, generalizar el concepto de conjunto de medida 0 para subconjuntos del espacio R3 partiendo del volumen de paraleleppedos.
CAPTULO
. . . los matemticos de comienzos del siglo XIX, cansados de este formalismo desenfrenado y sin fundamento, trajeron de nuevo al Anlisis por el camino del rigor. Una vez precisada la nocin de serie convergente, se hizo patente la necesidad de criterios sencillos que permitiesen demostrar la convergencia de series e integrales por comparacin con series o integrales conocidas. . . NICOLAS BOURBAKI
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 clasicar 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 clasicacin que sorprendentemente proporciona una abundante gama de resultados bsicamente considerando que todos los trminos de la serie tengan el mismo signo.
CRITERIO
DE
ACOTACIN
Algo muy importante (que de momento no estamos en condiciones de probar) es el hecho de que para una sucesin cualquiera fan g, la convergencia P P de la serie jan j implica la convergencia de an . Como una anticipacin a este resultado, en este captulo concentramos la atencin sobre aquellas series cuyos trminos son no negativos para desarrollar estrategias que se aplicarn posteriormente en situaciones de mayor generalidad. Resulta evidente que en este caso la sucesin de sumas parciales fsn g es no decreciente 43
44 Fernando Mejas
pues s1 D a1 0; s1 ; s2 ; s2 D a1 C a2 D s1 C a2
s3 D a1 C a2 C a3 D s2 C a3 : : : sn D a1 C a2 C C an D sn
1
C an
sn
1:
Entonces la hiptesis adicional de que la sucesin fsn g sea acotada es una condicin necesaria y suciente para deducir su convergencia (ver Teorema 1-8). Tenemos pues el siguiente resultado. Sea fan g una sucesin de trminos no negativos. Entonces la serie gente si y slo su sucesin de sumas parciales est acotada.
1 X
an es conver-
nD1
El criterio de acotacin es un instrumento muy verstil y ser utilizado para establecer otros resultados que se presentan a continuacin.
CRITERIO
DE
COMPARACIN
Los comentarios que aparecen en la seccin anterior sugieren la estrategia que vamos a emplear a continuacin. As pues buscaremos condiciones que aseguren que la correspondiente sucesin de sumas parciales fsn g est acotada superiormente. Una de las formas ms simples de asegurar esto es suponer que para cada n se cumple an bn ; P donde bn es convergente. En tal caso tenemos que si ftn g es la sucesin de sumas parciales de fbn g, entonces tn de donde obtenemos sn
1 X
bn ;
nD1
nD1
1 X
bn ;
lo que deseamos comprobar. As, formalizando un poco el argumento anterior tenemos el siguiente teorema.
TEOREMA 2 (CRITERIO DE COMPARACIN)
Sean fan g y fbn g dos sucesiones tales que an ; bn an bn y la serie P bn converge, entonces la serie
0 para todo n. Si
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 sn tn para todo n: P Adems la serie bn es convergente, entonces la sucesin ftn g est acotada superiormente, luego la sucesin fsn g est acotada superiormente y es, por tanto, convergente. Notemos que en la demostracin anterior podemos renar un poco ms un detalle: como bn 0 para todo n, tenemos que la sucesin ftn g es no decreciente y en consecuencia tn P
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 nita de trminos y en consecuencia las hiptesis del Teorema 1 pueden hacerse un poco ms exibles: podemos asumir que existen dos nmeros naturales M y N tales que 0 an y an bn 0 an bn para todo n N; Ms an, podemos tomar K D max.M; N / y asumir la hiptesis 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: si fan g y fbn g son dos sucesiones tales que 0 an bn para todo n y si P P la serie an diverge, entonces la serie bn es divergente. Las dicultades 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. para todo n M
46 Fernando Mejas
todo n, de donde 1 j sen n j 2 2 n n para todo n:
1 X 1 conn2
nD1
Un enfoque ligeramente distinto viene dado por el siguiente ejemplo y es una ilustracin del comentario anterior acerca de lo peligroso de juzgar por las apariencias. 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 tipogrca. Notemos que sen x x de donde sen 1 n2 1 n2 para todo x 0;
1 X
para todo n:
Algunas cosas realmente frustrantes ocurren si uno trata de seguir un patrn a ciegas. Consideremos el siguiente ejemplo. 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.
1 X
EJEMPLO 6
1 X1 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. 1 diverge si s > 1. Basta con demostrar que para n suciente.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 En efecto, si k es un nmero natural cualquiera, aplicando la Regla de LHpital obtenemos x ey ey D lim D lim D C1: x!C1 .log x/k y!C1 y k y!C1 k lim Para un nmero real arbitrario s consideremos un entero k tal que s k, entonces .log x/s .log x/k ; de donde 1 1 ; .log x/s .log x/k
1 X
EJEMPLO 7
48 Fernando Mejas
y, por tanto
Estos ejemplos tal vez hayan traido a la memoria del lector que en su 1 1 X1 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 conrmacin de esa armacin.
EJEMPLO 8
Consideremos la serie ( )
1 X 1 ns
nD1
para diferentes valores de s, analizando caso por caso. Caso 1. Si s < 0 entonces 1 D lim n n!1 ns n!1 lim
s
D C1;
luego la serie ( ) diverge por la condicin del resto. Caso 2. Anlogamente, si s D 0 la condicin del resto implica que la serie ( ) diverge pues 1 lim 0 D lim 1 D 1: n!1 n n!1 Caso 3. Si 0 < s 1 tenemos que ns n para todo n, luego 1 1 s n n para todo n
y en consecuencia la serie ( ) diverge. Caso 4. Si s 2 tenemos que ns n para todo n, luego 1 1 2 s n n para todo n
y por tanto la serie ( ) converge. Caso 5. Unos cuantos intentos deben ser sucientes para convencer al lector que nuestra suerte se agota aqu y que para 1 < s < 2 no estamos en condiciones de asegurar nada con respecto a la convergencia o divergencia de la serie ( ). Algunos problemas estn diseados con un toque de malicia y pueden hacer que el lector navegue perdido en aguas desconocidas por cierto tiempo; un caso tpico es el siguiente ejemplo.
EJEMPLO 9
nD1 0
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 renada 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 1C 2 n 0 p 1 D : n 1C 2 h p i Notemos que f es creciente sobre 0; 33 , por tanto para valores muy pequeos de n tenemos p p n ; 1C 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 / entonces la serie
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 p
50 Fernando Mejas
Entonces Z
0
1=n
Pero
nD1 0
1 XZ
1 n3=2
) es
nD1
El siguiente ejemplo est un poco fuera del esquema de los anteriores pero constituye una bonita ilustracin del valor terico (e histrico) del criterio de comparacin y, ms general, del concepto de serie en general. A pesar de lo que uno pudiera pensar, la obra Elementos de Geometra de Euclides no trata solamente de la disciplina de la Geometra, sino que en efecto, en ella encontramos algunos resultados importantes sobre Aritmtica y Teora de Nmeros. Uno de estos famosos teoremas establece que la coleccin de los nmeros primos es innita. Recordemos que un nmero natural p > 1 es primo si es divisible slo por 1 y por p; por ejemplo los siguientes nmeros son primos: 2; 3; 5; 7; 11; 13; 17; 19; 23; 29; 31; 37; 41; 43; 47; 51; 53; : : : : Esta coleccin ha representado siempre una suerte de misterio y muchos matemticos han concentrado sus esfuerzos en descubrir sus secretos. El teorema de Euclides aparece como la Proposicin IX20 de los Elementos, y ha sido demostrada en varias oportunidades de diferentes formas. Aunque muchos de los teoremas que aparecen en los Elementos haban sido demostrados antes del trabajo de Euclides, casi todo el mundo coincide con que la demostracin de este teorema es de su propia cosecha (ver la referencia [13] de la Resea Bibliogrca, p. 92). En el siguiente ejemplo se asume conocido el hecho de que todo nmero natural se puede expresar en forma nica de la forma como el producto de nmeros primos.
EJEMPLO 10
Demostracin de Euler del teorema de Euclides sobre la innitud de la coleccin de los nmeros primos. Supongamos que la coleccin de los nmeros primos es: p1 ; p2 ; : : : ; pN ; entonces todo nmero natural n > 1 se puede escribir de la forma n D p1 1 p2 2 pN N ;
kD1
0 @
j D0
1 pN j
Para cada uno de los factores que aparecen en el segundo miembro de la desigualdad tenemos:
1 X 1 X 1 pi D : j j pi pi pi 1 j D0
A:
j D0
pN pN 1
kD1
1 X1 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
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 articiosa y, efectivamente existen muchos casos en que eso es cierto. La dicultad 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). Supongamos que fan g es una sucesin decreciente. Si la serie tonces la serie
1 X 1 X
an converge, en-
nD1
2na2n converge.
nD1
DEMOSTRACIN
Notemos que an 0 para todo n, pues fan g es decreciente y lim an D 0 n!1 P (ya que la serie an converge). As tenemos a1 a2 a3 ;
52 Fernando Mejas
lo cual justica el siguiente diagrama a1 C a2 C a3 C a4 C a5 C a6 C a7 C a8 C a9 C a10 C
a2 2a4 4a8
8a16
C a16 C
Entonces
EJEMPLO 12
Como sugieren la demostracin del teorema anterior y nuestro argumento sobre la divergencia de la serie armnica, sta es una consecuencia inmediata del teorema de condensacin de Cauchy. En efecto, si la serie armnica fuese convergente, entonces la serie
1 X
2n
nD1
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 1 1 X 2n X 1 n 1 D D : .2n /2 22n 2 nD1 nD1
nD1
Para rearmar 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
Al inicio de este captulo presentamos una forma de comparar los trminos de dos series, de tal manera que se puede obtener informacin sobre una a partir de la otra. A pesar de la abundancia de ejemplos que sugieren la ecacia de este mtodo, tuvimos la oportunidad de encontrar un caso, a 1 X saber, la serie sen.1=n/; para el cual el mtodo no funcion a pesar de la
nD1
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
1 X 1 X
entonces la serie
bn converge.
nD1
nD1
DEMOSTRACIN
P Supongamos que la serie bn converge. Puesto que ` 0, tenemos que ` > 0, entonces tomando " D ` en la denicin 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 Por tanto, para n
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. Si suponeP mos 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. 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 si utilizamos el criterio de comparacin por paso X 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
EJEMPLO 15
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
Si intentamos aplicar el criterio de comparacin por paso al lmite con la 1 X 1 serie armnica para evaluar la serie obtenemos n log n
nD2
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 denitiva.
EJEMPLO 17
La serie
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 log2 2 x!C1 2 x!C1 2 log 2 x!C1 2 lim
EJEMPLO 18
COCIENTE
Continuamos nuestra exploracin en el terreno de las series de trminos no negativos, desarrollando un par de tcnicas de gran versatilidad en lo que a sus aplicaciones se reere y de mucha importancia en el plano terico. Estas dos piezas vienen a constituir algo as como dos torres en el juego de ajedrez para las series; la primera de ellas es una especie de comparacin P de la serie an consigo misma, en el sentido de que investigaremos la proporcin entre trminos consecutivos de la sucesin fan g mediante el lmite anC1 lim : n!1 an P La idea es que si este lmite existe y tiene valor ` entonces la serie an es convergente o divergente segn ` sea mayor o menor que 1, respectivamente. Por ejemplo, si ` < 1, entonces para n sucientemente grande los trminos an y anC1 pueden ser comparados en cierta forma, de hecho casi ordenados, hallando un nmero tal que anC1 an , de donde se deriva cierto control sobre la sucesin de sumas parciales y entonces podemos aplicar el criterio de comparacin. En el caso en que ` > 1, un razonamiento anlogo permite establecerXrelacin anC1 an , y trabajando con ella obtenemos la divergencia la de an . En resumen tenemos el siguiente teorema que es conocido por algunos autores como el criterio de DAlembert, en honor al matemtico, fsico, lsofo y enciclopedista francs Jean Le Rond DAlembert (Figura 1).
an
nD1
nD1
Entonces Es decir
Supongamos que ` < 1 y sea un nmero cualquiera tal que ` < < 1. Puesto que anC1 lim D `; n!1 an aplicando la denicin de lmite para " D ` > 0 tenemos que existe un nmero natural N , tal que si n N , entonces anC1 ` < `: a n anC1 < `C an `D para todo n N.
anC1 an As que
para todo n
N.
aN C1 an ;
k converge. En-
kD0
nDN
an D
kD0 1 X
1 X
aN Ck
an converge.
nD1
Ahora supongamos que ` > 1. Si es un nmero con 1 < < `, con un argumento anlogo al anterior tenemos que existe un nmero N , tal que anC1 an para todo n N . Entonces an k an aN Ck para todo k 0.
1 X
Esto implica que la sucesin fan g no converge a 0, por tanto la serie es divergente.
an
nD1
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). Tanto para X 1=n como para X 1=n2 , tenemos que
EJEMPLO 20
n!1
lim
anC1 D 1: an
Uno podra sentirse tentado a abusar de nuevo del poder y aplicar el criterio del cociente para comprobar de nuevo que la serie geomtrica X r n converge si 0 < r < 1 y aunque todo parece funcionar perfectamente estaramos cometiendo un grave error desde el punto de vista lgico, pues el conocimiento de la serie geomtrica fue un punto crucial en la demostracin del Teorema 19. Por razones obvias, el criterio del cociente resulta ser una de las herramientas preferidas para tratar problemas que involucran n, como en el caso siguiente.
1 X
EJEMPLO 21
La serie
nD1
1=n converge, en efecto, si an D 1=n, tenemos que 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
EJEMPLO 23
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
n!1
lim nr n D 0:
EJEMPLO 24
La serie
nD1
.n C 1/ nn 1 anC1 nn .n C 1/ .n C 1/nC1 D D D D : nC1 n n n an .n C 1/ .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
nD1
1 X n converge. nn
La serie del ejemplo anterior puede ser ligeramente modicada 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
60 Fernando Mejas
Luego anC1 D lim n!1 n!1 an lim 2 1C 1 n n D 2 < 1: e
EJEMPLO 26
La serie
1 X 3n n diverge. Ahora escribimos an D 3n n=nn y como en el nn nD1 ejemplo anterior nos queda
3 1 1C n
n ;
nD1
converge si 0 r < e y diverge si r > e. En el caso r D e nos encontramos con el frustrante hecho de que si an D e nn=nn entonces anC1 D 1: n!1 an lim Afortunadamente, este problema ya lo hemos resuelto (ver Ejemplo 2-6). Ciertamente la mayor parte de los casos en los que el criterio del P cociente no ofrece respuesta es cuando tenemos una serie an para la cual lim anC1 =an D 1; pero las cosas pueden ser mucho peor como se n!1 plantea en el siguiente caso (que se trata de una serie muy articiosa).
EJEMPLO 27
Consideremos la serie
1 2
1 2
1 2 2
1 2 2
1 3 2
1 3 2
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; 1 ; 1; 1 ; : : : ; 2 2
la cual, evidentemente, tiene dos subsucesiones que convergen a lmites diferentes y por tanto tenemos, simplemente, que el criterio del cociente no es aplicable.
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.
TEOREMA 28 (CRITERIO DE LA RAZ)
Supongamos que an
nD1
nD1
1 X
an
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 Es decir 0 an n para todo n N, luego, por el criterio de comparacin y utilizando el hecho de que la serie P P geomtrica n converge, tenemos que la serie an tambin converge. Si suponemos que r > 1, tenemos que existe un N tal que para todo n N se cumple que an > 1 y por tanto la sucesin fan g no tiende a 0, de P donde se deriva que la serie an 1=n diverge. 1 . Tal n log n nD2 como planteamos en el Ejemplo 16 el criterio de comparacin por paso a X 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
1 X
rj <
r; N.
0 an 1=n
para todo n
EJEMPLO 29
Si an D 1=.n log n/, tenemos anC1 n log n D an .n C 1/ log.n C 1/ y an 1=n D 1 : n1=n .log n/1=n
62 Fernando Mejas
Entonces
n!1
lim
Como es natural, el primer punto a investigar sobre este teorema es lo que ocurre si r D 1. Nuestra experiencia nos permite suponer que en este caso el teorema no decide en absoluto.
EJEMPLO 30
Tanto para
n!1
lim
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
Si an denota el trmino general, entonces la sucesin an 1=n es de la forma n o 2=3 1=2 3=5 1 1 1=2 ; 2 ; 1 ; 1 ; 1 ;::: ; 2 2 2 2 y sabemos que n=.2n 1/ ! 1=2, luego p an 1=n ! 2 < 1; 2
y entonces, de acuerdo al criterio de la raz la serie dada es convergente. Puede resultar natural considerar al criterio de la raz como la primera X herramienta a utilizar cuando el trmino general de la serie an involucra potencias de exponente n (de nuevo, juzgado simplemente por las apariencias, recordando el riesgo que ello siempre implica).
1 X
EJEMPLO 31
La serie
n2
nD1
converge. Si an D e an 1=n D e
n2
n2 ,
entonces 1 : en
Luego
n!1
1=n
De
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
EJEMPLO 32
La serie
.n1=n
nD1
1/n , entonces
D n1=n 1/ D 0:
1:
Luego
n!1 n!1
Para reforzar la idea de que hay que tener cuidado al juzgar por la mera apariencia del trmino general tenemos el siguiente ejemplo, aunque esta vez la usamos en un sentido ms positivo.
1 X 100n EJEMPLO 33 La serie converge. En este caso la presencia de n en el trmino n nD1 general de la serie puede conducirnos a pensar que aplicar el criterio de la raz no es una 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
n
100n 100 D p n n n
n!1
Probablemente (y con toda razn) el lector piense que en este caso resulta mucho ms fcil y conveniente utilizar el criterio del cociente (ver el Ejemplo 22) y, efectivamente, tenemos anC1 an 100nC1 100nC1 n 100 .n C 1/ D D D ; n n .n C 1/ 100 100 nC1 n
64 Fernando Mejas
entonces
No resulta casual que en el ejemplo anterior (como tampoco en el Ejemplo 31) hayamos obtenido que
n!1
lim
En realidad este fenmeno es uno de los vnculos ms poderosos entre los dos criterios asegurando que siempre que el criterio del cociente proporciona informacin sobre una serie, entonces tambin lo hace el criterio de la raz (aunque no funciona a la inversa como ya pudimos observar) y por este motivo muchas personas preeren siempre intentar en primer lugar con el criterio del cociente. En el fondo de todo este asunto se encuentra un resultado sobre sucesiones que presentamos a continuacin (ver el Problema 1-18).
TEOREMA 34
lim
an D `:
DEMOSTRACIN
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 "/k < anCk anCk anCk 1 anCk ` < "
1 2
Pero
r anCk k an
nCk
N,
anCk D p
nCk
nCk
an :
nCk
k!1
p nCk anCk
` < "
La serie
1 2
1 3
1 2 2
1 2 3
1 3 2
1 3 3
converge. Una forma sencilla de vericar este hecho es considerando an D . 1 /n C . 1 /n , entonces, de acuerdo al Problema 1-2(16) tenemos 2 3 s n 1 n 1 1 n lim an 1=n D lim C D : n!1 n!1 2 3 2 y anC1 lim D lim n!1 an n!1
1 nC1 2 1 n 2
C C
1 nC1 3 1 n 3
Por otro lado uno puede describir el trmino general de la serie de la siguiente forma ( . 1 /.nC1/=2 si n es impar; 2 bn D 1 n=2 .3/ si n es par: Entonces podemos vericar fcilmente que (p 2=2 si n es impar; bn 1=n D p 3=3 si n es par: Por tanto tenemos que la sucesin fbn 1=n g no converge y, en consecuencia, el criterio de la raz no es aplicable. Por supuesto, con este enfoque tampoco es aplicable el criterio del cociente. La explicacin denitiva a este fenmeno viene dada por el Problema 6.
CRITERIO
DE LA INTEGRAL
En esta seccin estudiamos una variante del criterio de comparacin con la particularidad de que utilizamos como patrn de comparacin una serie muy especial y que ya hemos usado en un caso particular; en efecto, en el 1 X 1 Ejemplo 2-2 se demostr la convergencia de la serie demostrando n2 nD1 Z n 1 dt . En ese caso comprobamos la la convergencia de la sucesin 2 1 t existencia del lmite Z n 1 lim dt; n!1 1 t 2 lo cual es equivalente a la convergencia de la serie Z 2 Z 3 Z 4 1 1 1 dt C dt C dt C : 2 2 2 1 t 2 t 3 t
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
que f .n/ D an para todo n (Figura 2). Formalmente tenemos el siguiente resultado.
FIGURA 2.
0 para todo n y que f W 1; C1/ ! R una funcin 1 X decreciente tal que f .n/ D an para todo n. Entonces an converge si y slo si el LA INTEGRAL)
TEOREMA 36 (CRITERIO DE
nD1
Supongamos que an
lmite
A!1 1
lim
existe. Dada una funcin cualquiera f W a; C1/ ! R decimos que la integral impropia Z 1 f
a
es convergente si el lmite
A!1 a
lim
f D lim
A!1 a
f:
DEMOSTRACIN
A!1 1
f C
f C
f C
para todo n;
f f .n/ f an
para todo n;
Entonces por el criterio de comparacin tenemos que la convergencia de 1 1 X Z nC1 X la serie f implica la convergencia de anC1 y por tanto la connD1 n
para todo n:
vergencia de
nD1
1 X
nD1
an y vice versa.
Tal vez a estas alturas es innecesario notar que no importa cual es la etiqueta que coloquemos al primer trmino de una serie para estudiar su convergencia y por tanto en aplicaciones del criterio de la integral no es imprescindible que la integral impropia a considerar sea de la forma R1 R1 f y puede bien ser una integral de la forma a f , siendo a un nmero 1 positivo cualquiera. Esta idea es aplicada en el siguiente ejemplo, para la cual hicimos intentos fallidos de aplicar los criterios de comparacin por paso al lmite (Ejemplo 16), del cociente y de la raz (Ejemplo 29). 1 diverge. Para demostrar este hecho consideremos la n log n nD2 funcin f denida sobre 2; C1/ por f .x/ D 1 : x log x
1 X
EJEMPLO 37
La serie
68 Fernando Mejas
Es claro que f es decreciente; por ejemplo, es fcil vericar que f 0 .x/ D Adems Z
2 A
f D
1 dx D log.log A/ x log x
log.log 2/:
Entonces la integral impropia Z 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 y Z 1 log x
2 1
1 dx x log x
dx D
1 3 log3 x
C C;
EJEMPLO 38
La serie por
nD1
log x : x
log x log2 A dx D x 2
log2 3 : 2
log x dx x
EJEMPLO 39
La serie
1 n log2 n
nD2
denida por
1 x log x
2
dx D
1 3 log 2
3
1 3 log3 A
Entonces la integral impropia Z 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.
1 X 1
1 x log2 x
dx
EJEMPLO 40
La serie
ne
n2
nD1
2x 2 /e
x2
xe
x2
1 dx D .e 2
A2
/:
dx D
1 1 lim . .e 2 A!1 2
A2
/D
1 : 2e
A continuacin utilizamos de nuevo el criterio de la integral para resolver un problema que ya hemos tratado. En el Ejemplo 8 consideramos
70 Fernando Mejas
1 X 1 demostramos que la serie diverge para s 1 y converge para ns nD1 2, pero no obtuvimos ninguna conclusin para 1 < s < 2.
la serie s
EJEMPLO 41
La serie
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 Z A < 1 1 ; si s 1; 1 As 1 dx D s 1 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 denir una de las funciones ms notables del Clculo Avanzado: para todo s > 1 se dene la funcin zeta de Riemann por 1 X 1 .s/ D : ns
nD1
1 X 1 ns
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 1 C 2C 2C 2 2 3 4
2
El ltimo ejemplo de esta seccin constituye un caso muy instructivo porque arroja luz sobre una de las integrales impropias ms notables en Anlisis (y tambin de forma muy especial en Teora de Probabilidades): Z C1 2 e x dx:
1
x2
dx
nD1
no tiene solucin en trminos elementales, as que no podemos proceder como en los ejemplos anteriores para explorar la convergencia de la serie 1 X 2 e n . En el Ejemplo 3-30 utilizamos tanto el criterio del cociente como el criterio
EJEMPLO 42
nD1
as que f es decreciente sobre 1; C1/. Entonces tenemos que la integral Z C1 2 impropia e x dx tambin converge. Puesto que
1
C1
x2
dx D Z
e
x2
x2
dx C
C1
x2
dx
C1
nD1
x2
1 X
n2
dx es convergente.
Algunas personas preeren plantear la situacin en el sentido inverso para lo cual se necesita determinar la convergencia de la integral impropia por otra va. Existen varias formas de resolver este problema, algunos de los cuales no slo determinan la convergencia sino que permiten determinar el valor exacto de la integral: Z C1 p 2 : e x dx D
1
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 nal 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
Si existe un nmero r > 0 y un nmero natural N tales que cn r para todo 1 X n N , entonces la serie an converge. Por otro lado, si cn 0 para todo n N
1 1 X 1 X y si la serie diverge, entonces la serie an diverge. bn nD1 nD1 nD1
DEMOSTRACIN
bnC1 anC1 an r
r para todo n
N . Es decir
bkC1 akC1 ak
para todo k
N.
akC1 bkC1 an bn r
para todo k
N,
kDN
ak
para todo n
N.
Es decir, la sucesin de sumas parciales de fan g est acotada y por tanto, la P serie an converge. Ahora supongamos que cn 0, es decir bn En particular bn de donde 1 bnC1 P bnC1 anC1 an 1 anC1 an bn para todo n N, bnC1 anC1 an para todo n N.
para todo n
N.
Entonces, por el criterio de comparacin, la divergencia de la serie P 1=bn implica la divergencia de la anC1 y, en consecuencia, la de la P serie an .
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
an converge. Si anC1 an 1 n
nD1
para todo n
N;
entonces la serie
nD1
1 X
an diverge.
DEMOSTRACIN
anC1 1 an cn D bn
1 n
r para todo n n
N y que bnC1 D 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 anC1 an 1 1 n para todo n N:
Entonces, tomando nuevamente bnC1 D n, tenemos que para todo n N se cumple bnC1 anC1 nanC1 1 cn D bn Dn 1 n 1 n 1 D 0: an an n P P Puesto que la serie 1=n es divergente, segn el Lema 41 la serie an diverge.
EJEMPLO 45
La serie
nD1
diverge. Si escribimos
1 X1 3 5
.2n 2n n
1/
an D entonces 1 3 5 anC1 D an
1 3 5
.2n 2n n
1/
.2n
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
1D
2n C 1 2.n C 1/
1D
1 2.n C 1/
1 ; n
nD1
.2n 2n n
1/
diverge.
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 nD1
DEMOSTRACIN
N tenemos 1 1 C 1 n n M C s 1 n :
k entonces
max.N; k/ y si r D anC1 1 an
M=k s r : n
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 n 1 P 1 ; n an diverge.
n log n < 0
nD2
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 : 2n 2.n C 1/ n2
as que si consideramos D 1=2, xn D n=2.n C 1/, M D 1 y s D 2, entonces del criterio de Gauss se deduce que la serie
1 X 1 3 5 .2n 1/ 2 4 6 .2n/
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 Bibliogrca, 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 1 X serie an converge, entonces
nD1 n!1
0 para todo n. Si la
lim nan D 0:
DEMOSTRACIN
De acuerdo con la condicin de Cauchy, dado " > 0 existe un nmero natural N tal que para todo n; m N se cumple am C Si consideramos n am C de donde .n m C an < ":
.n
m/ an ;
m/ an < ";
para n
N:
m/ D 1, as que si escribimos .n m/ an ;
n an D
n n m
deducimos que para n sucientemente grande se cumple que n an < "; es decir
n!1
lim n an D 0:
1 X1 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
nD0
Notemos tambin que el recproco del teorema de Abel-Pringsheim no es cierto (ver el Problema 4).
1 X
r n es convergente.
nD1
(2)
(3)
nD2
nD1 1 X 1 X
2 p . 3 2C1 n 1 p 3 2 n 1 .
(4)
nD2
(5)
nD1
(6)
nD2
(7)
nD1
1 X
1 X
1 X
n . .n C 3/
(8)
nD1
1 X log n . ns 1 X
(9)
(10)
1 p n.n C 1/
(11)
(12)
nD1
nD1 1 X
1 X
.3n p 3n
n 2/.3n
1/
1 log.4n C 1/ . n.n C 1/
(13)
nD1
(14)
nD2
(15)
nD1
(16) (17) (18) (19) (20) (21) (22) (23) (24) (25) (26) (27)
nD1 1 X
nD1 1 X
.n/2 2n
2
. 1/n. e
n2
.n1=n 1 n
nD1 1 X
nD1 1 X
nD1 1 X
nD1 1 X
nD1 1 X
nD1 1 X
nD1 0
nD1 n 1 X Z 1=n
dx:
1 X
an converge, entonces
nD1
nD1
0 para todo n y
nD1
nD1
an diverge. 1 C an 1C
1 2 1 2
1 X
an diverge, entonces la
Utilizar la serie C
1 3 1 3
1 4
1 4
1 5
1 6
1 7
1 8
80 Fernando Mejas
para demostrar que el recproco del teorema de Abel-Pringsheim no es cierto. 5 Demostrar que la hiptesis de que la sucesin fan g es decreciente es imprescindible en el teorema de Abel-Pringsheim. Indicacin: comprobar que la serie siguiente es divergente 1C
1 22
1 32
1 4
1 52
1 62
1 72
1 82
1 9
1 102
(En general an D 1=n si n es el cuadrado de un nmero natural y an D 1=n2 en cualquier otro caso.) 6 Demostrar el criterio delicado de la raz: Sea fan g la sucesin tal 1 X p que an 0 para todo n. Si lim sup n an < 1 entonces la serie an
n!1
p n
nD1
1 X
nD1
an diverge. El
7 8
Usando como referencia el problema anterior, establecer y demostrar el criterio delicado del cociente. En cada uno de los siguientes casos decidir si la integral impropia dada es convergente o no, argumentando la respuesta. Z 1 x (1) dx. p 1 C x4 0 Z 1 1 dx. (2) p 1 C x3 0 Z 1 1 (3) p dx. ex 0 Hallar un valor de la constante C para que la siguiente integral sea convergente Z 1 1 Cx dx: x 2 C 1 2x C 1 2 Hallar un valor de la constante C para que la siguiente integral sea convergente Z 1 x C dx: 2x 2 C 2C x C1 1
10
CAPTULO
CONVERGENCIA ABSOLUTA
Las primeras lecturas matemticas de Leibniz fueron principalmente sobre geometra, pero l tuvo otros intereses. . . Uno de los frutos de su estudio de problemas sobre cuadraturas fue el Tetragonismo Aritmtico, en el cual hall que el rea de un crculo es cuatro veces la serie innita 1 1 C 1 1 C . Estas consideraciones 3 5 7 formales y aritmticas se iban a combinar ahora en una forma interesante con la geometra. . . CARL B. BOYER
o extenso del Captulo 3, que trata de series de trminos no negativos, est justicado por un comentario que aparece al inicio del mismo (sobre un hecho que an no hemos probado) y que ahora repetimos: para P una sucesin fan g cualquiera, la convergencia de la serie jan j implica la P an . Sin embargo, como es de esperar no todo puede convergencia de resumirse a series de trminos positivos, entre otros motivos porque el recproco de esta proposicin no es cierto.
CRITERIO
DE
LEIBNIZ
Ahora ha llegado el momento de ampliar el panorama considerando series cuyos trminos no necesariamente tienen el mismo signo. En primer lugar P tenemos la situacin obvia en la que todos los trminos de la serie an P son no positivos y basta considerar la serie . an /. As pues, los casos realmente interesantes surgen cuando lgunos trminos de la serie son positivos y otros negativos. En realidad, puesto de esa forma el problema pasa a ser entonces muy complejo, y es conveniente enfocarse primero en una localidad sencilla dentro de este escenario. En primer lugar consideramos series de la forma a1 a2 C a3 81 a4 C
82 Fernando Mejas
1 X
. 1/nC1 an , donde an
nD1
denomina alternada. Un teorema de Leibniz garantiza la convergencia de P una serie alternada . 1/nC1 an bajo algunas hiptesis sobre la sucesin fan g.
TEOREMA 1 (CRITERIO DE LEIBNIZ)
Sea fan g una sucesin no creciente tal que lim an D 0. Entonces la serie alternada
nD1 1 X n!1
. 1/nC1 an converge.
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
Pero por hiptesis fan g es no creciente, entonces a2nC1 donde s2nC2 s2n : Anlogamente tenemos s2nC3 D s2nC1 En general tenemos que s2k s2j C1 ; para todo k y j : a2nC2 C a2nC3 s2nC1 :
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
lim sn D D :
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
La serie
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
1 X
84 Fernando Mejas
f .x/ D 1 mos cos 1=x para x > 0. Luego para x sucientemente grande tene 1 1 0 f .x/ D sen < 0; 2 x x
es decir, f es decreciente. Adems lim .1 cos 1=n/ D 0, entonces el n!1 1 X 1 nC1 converge. criterio de Leibniz implica que . 1/ 1 cos n
nD1
EJEMPLO 5
La serie
nD1
f por f .x/ D
1 X
. 1/nC1 2
f 0 .x/ D
lim
arctg.log n/ D
n!1
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 armacin, 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 1 X nD1 1 X nD1
an converge y
nD1
nD1
an es condicio-
nD1
Si la serie
nD1
1 X
nD1
1 X
1 1 X X an jan j:
nD1 nD1
4. Convergencia Absoluta 85
DEMOSTRACIN
Sean fsn g y ftn g las sucesiones de sumas parciales de fan g y fjan jg respectivamente. Por hiptesis tenemos que ftn g converge, entonces de acuerdo al criterio de Cauchy tenemos
n;m!1
lim .tn
tm / D 0; C jan j/ D 0:
es decir
n;m!1
lim .jamC1 j C
C jan j: C an / C jan j/ D 0;
lim .sn
sm / D
n;m!1 n;m!1
lim .jamC1 j C
luego, la serie
es decir
1 1 X X an jan j:
nD1 nD1
EJEMPLO 7
converge.
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
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 denimos las C sucesiones fan g y fan g por ( ( an ; si an 0 0; si an 0 C an 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 convergencia de las series an y an est ligada a la convergencia de P an por el siguiente teorema.
C an D
TEOREMA 8
La serie
nD1
convergen ambas.
DEMOSTRACIN
1 X
nD1
1 X
C an y
nD1
1 X
an
P P Supongamos que la serie jan j converge, entonces an tambin converge (por el Teorema 6) y X
C an D
tambin converge. P C P C Ahora supongamos que an y an convergen. Entonces converge. X jan j D 1X C .an 2 an / D 1 X C an 2 X an
REORDENACIN
DE
SERIES
En esta seccin exploramos ms profundamente la fuerza del concepto de convergencia absoluta. Dada una sucesin cualquiera fan g producimos una nueva sucesin fbn g reordenando los trminos de la primera y luego comP P paramos las dos series an y bn . En este esquema encontramos dos resultados notables. En primer luP gar resulta que si la serie an es absolutamente convergente, cualquier P reordenacin tambin lo es, mientras que si an es condicionalmente convergente podemos encontrar una gran variedad de reordenaciones que convergen hacia lmites arbitrarios. Antes de establecer estos teoremas formalmente debemos denir con rigor la nocin de reordenacin y para ello empezamos por reordenar los nmeros naturales: una permutacin es una funcin biyectiva W N ! N; es decir para cada k 2 N existe un n 2 N tal que .n/ D k y si n; m 2 N, n m entonces .n/ .m/. Si fan g es una sucesin cualquiera entonces una reordenacin de fan g es una sucesin fbn g de la forma bn D a
.n/ ;
4. Convergencia Absoluta 87
siendo Si
1 X
TEO
nD1
quiera de
an , entonces
nD1
nD1 1 X 1 X
1 X
nD1
nD1
bn D
an :
nD1
DEMOSTRACIN
Sean una permutacin y bn D a .n/ una reordenacin de fan g. Si fTn g denota la sucesin de sumas parciales de fjbn jg tenemos que Tk
1 X
nD1
jan j
para todo k:
P Entonces por el criterio de acotacin tenemos que jbn j converge, es deP 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 2
nD1 nD1
luego
de donde
tn
nD1
1 X
n X aj D b j D1 j D1
N X
an jtn
" sn j C : 2
sn j C sn
nD1
1 X
an ;
.j /
n X D aj aj j DN C1 j D1
N X
X N sn j jaj j D jaj j j D1 j DN C1
n X
88 Fernando Mejas
Entonces tenemos que para todo n, si n tn
1 X
M se cumple
nD1
es decir
nD1
1 X
bn D
nD1
1 X
an < "; an :
Una versin un poco ms dbil del teorema anterior fue demostrada por el famoso especialista en Anlisis y Teora de Nmeros de origen alemn Peter Gustav Lejeune Dirichlet en el ao 1837, aunque el resultado en s era conocido con anterioridad, particularmente por Cauchy (ver el libro de Hardy [3], p. 347). Si
1 X
nD1
denacin cualquiera de y
an , entonces
1 X
nD1
nD1 1 X
1 X
nD1
1 X
bn es una reor-
nD1
bn D
an :
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 C de las sumas parciales de fan g, entonces hallamos el primer trmino de C g tal que la correspondiente suma parcial sobrepasa a x. Anlogamente fan 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 C procedimiento con fan 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
nD1
1 X
bn de
nD1 1 X
nD1
1 X
an , tal que
nD1
bn D x:
DEMOSTRACIN
P P C Como an es condicionalmente convergente tenemos que las series an P y an son ambas divergentes (Teorema 7). Sea n1 el nmero de trminos C de fan g tal que
n1 X C an
> x;
pero
nD1
nD1
p X
C an < x
si p < n1 .
90 Fernando Mejas
Sea m1 el nmero de trminos de fan g tal que
n1 X C an
nD1
nD1
m1 X
an < x;
pero
nD1
p X
an < x
si p < m1 .
C La diferencia entre la suma parcial de fbn g y x es siempre a lo sumo un an P 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
. 1/
nC1
nD1
nC1
e x
dx.
(2)
nD1
1 X
. 1/
nC1
1 1
(3)
nD1
1 X 1 X
. 1/
nC1
(4)
nD1
(5)
nD1
(6)
(7)
1 X
1 X
2 e
(8)
(9)
nD1
1 X
(10)
nD1
1 X . 1/nC1 n37 . .n C 1/ 1 X
nD1
1 1 X X an jan j:
nD1 nD1
nD1
1 X
bn tambin con-
nD1
92 Fernando Mejas
(b) Demostrar mediante un ejemplo que la convergencia absoluta de 1 X la serie an es imprescindible.
nD1
nD1
1 X
an 2 converge.
nD1
CAPTULO
TEOREMA DE ABEL
Toda la obra de Abel lleva impreso el sello de una genialidad y fuerza de pensamiento que es inusual y a veces asombrosa, aunque no tomara en cuenta la juventud del autor. Se puede decir que era capaz de penetrar todos los obstculos hasta llegar al fondo de los problemas, con una fuerza que pareca irresistible; l atacaba los problemas con una energa extraordinaria. . . AUGUST L. CRELLE
n este corto captulo estudiamos dos teoremas relacionados con la P convergencia de series de la forma an bn (como en el caso de las series alternadas). Los dos resultados se basan sobre una bonita y aparentemente inocente frmula demostrada por Abel en 1826.
FRMULA
DE
ABEL
Dadas las sucesiones fan g y fbn g, consideremos fsn g la sucesin de sumas parciales de fan g. Por denicin tenemos a1 b1 D s1 b1 y a1 b1 C a2 b2 D s1 b1 C a2 b2 D s1 b1 D s1 b1
D s1 .b1 93
s1 b2 C s2 b2
a1 b2 C a1 b2 C a2 b2 b2 / C s2 b2 :
94 Fernando Mejas
Anlogamente a1 b1 C a2 b2 C a3 b3 D s1 .b1 D s1 .b1 D s1 .b1 b2 / C s2 b2 C a3 b3 a1 b3
b2 / C s2 b2
D s1 .b1
D s1 .b1
b2 / C s2 .b2
b2 / C s2 b2
b2 / C s2 b2
s2 b3 C s3 b3
a2 b3 C a1 b3 C a2 b3 C a3 b3
C an bn D s1 .b1
b2 / C s2 .b2
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
ak bk D
kD1
n 1 X
sk .bk
bkC1 / C sn bn :
DEMOSTRACIN
sk .bk
kD1
bkC1 / C sn bn D s1 .b1 C sn
b2 / C s2 .b2
1 .bn 1
b3 / C s2 /b3 C sn
D s1 b1 C .s2 C .sn
1
sn
s1 /b2 C .s3
2 /bn 1
bn / C sn bn
D a1 b1 C a2 b2 C
C an bn :
C .sn
1 /bn
La ecuacin ( ) es conocida como la frmula de sumacin parcial de Abel, denominacin sugerida por la semejanza con la frmula de integracin por partes, sobre todo si las sumas se interpretan como integrales y las diferencias como diferenciales y escribimos
n X
kD1
bk ak D sn bn
kD1
n 1 X
sk .bkC1
bk /:
En realidad la semejanza es mucho ms profunda que un simple parecido tipogrco y, en efecto, la frmula de Abel puede utilizarse para demostrar algunas identidades sobre integrales. Una discusin muy interesante sobre este particular, asociando la frmula de Abel con sumas de Riemann, se encuentra en el Problema 19-35 de Calculus por M. Spivak. En realidad, la forma en que se utiliza la frmula de Abel, tanto en el caso de integrales como el de series, es mediante el siguiente resultado.
5. Teorema de Abel 95
LEMA 2 (LEMA DE ABEL)
Sean fan g y fbn g dos sucesiones, tal que fbn g es no creciente y bn Supongamos que existen m y M tales que m a1 C para todo n. Entonces bk m ak bk C para todo k n. C an bn bk M C an M
0 para todo n.
DEMOSTRACIN
D m.b1
mb2 C mb2
mbn b3 / C
b2 / C m.b2
C m.bn
C mbn
1
bn / C mbn
mbn C mbn
bn / C M bn :
Si fsn g denota la sucesin de sumas parciales de fan g, por hiptesis tenemos que m sj M para todo j . Puesto que fbn g es no creciente se cumple que bj todo j . Luego m.bj Entonces m
n 1 X 1 1
bj
0 para
bj / sj .bj
bj / M.bj
n 1 X
bj /
para todo j .
.bj
j D1
bj / C mbn
sj .bj
n 1 X
j D1
bj / C sn bn
1
M es decir mb1
n 1 X
.bj
j D1
bj / C M bn ;
sj .bj
j D1 n X
bj / C sn bn M b1 :
j D1
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 :
DIRICHLET
A continuacin presentamos una consecuencia del Lema de Abel que fue demostrada por Dirichlet.
TEOREMA 3 (CRITERIO DE DIRICHLET)
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
DEMOSTRACIN
Supongamos que m a1 C bk m ak bk C
n!1
C an M C an bn bk M
lim .ak bk C
C an bn / D 0; P an bn converge.
EJEMPLO 4
Un corolario del teorema de Dirichlet es el criterio de Leibniz. En efecto, consideremos la serie alternada
1 X
. 1/nC1 bn ;
nD1
donde fbn g es una sucesin no creciente que converge hacia 0. Entonces si an D . 1/nC1 , tenemos que la sucesin de sumas parciales de fan g es P f1; 0; 1; 0; 1; 0; : : : g; y est acotada. Entonces . 1/nC1 bn converge.
1 X sen.n =2/ es condicionalmente convergente. n nD1 Primero notemos que la sucesin fj sen.n =2/=njg es
EJEMPLO 5
La serie
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.
ABEL
Concluimos este captulo con un corolario del criterio de Dirichlet, el cual fue demostrado por Abel en 1826 (y cuya prueba original debe haber sido algo diferente). Supongamos que
1 X
nD1
ciente o bien no decreciente cuyas sumas parciales estn acotadas. Entonces converge.
an bn
nD1
DEMOSTRACIN
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 fn g es no creciente y converge hacia 0. Por otro P 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
. . . aplicamos las operaciones del anlisis a series innitas de la misma manera que lo hacemos con series nitas y me parece que esto no podemos considerarlo como demostracin propiamente dicha. Por ejemplo, si queremos multiplicar dos series. NIELS HENRIK ABEL
omo establecimos al inicio de nuestro estudio, para series convergenP P tes se cumple la propiedad aditiva, es decir si an y bn son conP vergentes entonces tambin .an C bn / es convergente y
X X X .an C bn / D an C bn :
Ahora estamos interesados en investigar la P posibilidad de obtener una frP mula razonable que involucre el producto an bn . Para empezar uno podra pensar en la igualdad ( ) X an bn D X an X bn :
Un resultado en ese sentido fue descubierto por Cauchy, pero su demostracin completa es debida a Abel.
PRODUCTO
DE
CAUCHY
Si consideramos la igualdad ( ), inmediatamente resulta evidente que en la expresin del primer miembro falta mucha informacin, pues uno esP P perara que una frmula razonable que involucre al producto an bn lleve implcita de alguna manera cierta variante de la ley distributiva, algo 99
an
nD1
nD1
1 X
bn D .a1 C a2 C D a1
1 X
/ .b1 C b2 C
1 X
nD1
bn C a2
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 :
C an b1 C an b2 C an b3 C an b4 C
Aunque no resulta del todo claro si todos los trminos pueden ser acomodados para formar una sucesin, P este esquema sugiere que si en P P 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 a2 b1 a3 b1 a4 b1 : : : a1 b2 a2 b2 a3 b2 a4 b2 : : : a1 b3 a2 b3 a3 b3 a4 b3 : : : a1 b4 a2 b4 a3 b4 a4 b4 : : :
podemos encontrar una forma de acomodarlos, tratando de no involucrar al principio los puntos suspensivos de cada horizontal. Existe una forma muy ingeniosa de hacer tal acomodo con la cual obtenemos algunos resultados interesantes. La idea principal es considerar los trminos cn como la suma de los elementos de las diagonales sealadas en el siguiente diagrama: a1 b1 a2 b1 a3 b1 a4 b1 : : : . % . % a1 b2 a2 b2 a3 b2 a4 b2 : : : % . % . a1 b3 a2 b3 a3 b3 a4 b3 : : : . % . % a1 b4 a2 b4 a3 b4 a4 b4 : : : % . %
En general tenemos
c4 D a1 b4 C a2 b3 C a3 b2 C a4 b1 :
n X
c3 D a1 b3 C a2 b2 C a3 b1 ;
c2 D a1 b2 C a2 b1 ;
c1 D a1 b1 ;
cn D a1 bn C a2 bn La serie
1 X 1 X
C C an b1 D
ak bn
kC1 :
kD1 1 X
an y
nD1
nD1
bn .
nD1
Por supuesto, nuestro objetivo es determinar condiciones que gaP P ranticen la convergencia de cn y que se cumpla la igualdad cn D P P an bn . Resulta ms o menos natural que alguna hiptesis de convergencia absoluta sea requerida pues fcn g es en el fondo una reordenacin particular de la sucesin de los productos ai bj . En efecto, tenemos que la P P convergencia condicional de an y bn ni siquiera garantizan la converP gencia de cn .
EJEMPLO 1
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
kC1
kD1 n X
kC2
p :
1 n kC1
p k.n kD1 n 2 k
n X
1 k C 1/ 2
2 n C1 2
2 n .n C 1/2 C1 D ; 2 4
2 1 p : nC1 k.n k C 2/
kD1
2 2n D nC1 nC1
para todo n. Luego fcn g no tiende a 0 cuando n ! 1 y por la condicin P del resto cn diverge.
TEOREMA 2
Sean fan g y fbn g dos sucesiones tales que converge. Entonces su producto de Cauchy
1 X 1 X
nD1 1 X
1 X
nD1
1 X
bn
nD1
( )
nD1
cn D
an
bn :
nD1
nD1
DEMOSTRACIN
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
j D1
n X
cj
D a1 Bn C a2 Bn D a1 n C D a1 n C D a1 n C
nD1 1 X
bn C a2 n
C !
C an B1
1C
nD1
1 X
bn C
1 X
C an 1 C
nD1
1 X
bn
C an 1 C .a1 C C an 1 C An
1 X 1 X
C an / bn :
bn
nD1
nD1
Como la serie
nD1
n!1
lim jn C
C N C1 j <
" 2
1 X
nD1
jan j
para todo n
nD1
otro caso es una trivialidad). Por otro lado, segn la condicin de Cauchy tenemos (2) Luego ja1 n C C an 1 j ja1 n C C jan N n C C an 1 j 1 X an .n C C N C1 /
nD1 n;m!1
lim .jan j C
C jam j/ D 0: C an
N 1 N C1 j
nD1
1 X
C jan
N n
C an 1 j
jan j .n C
N n
C N C1 / C an 1 j:
C jan
C an 1 j:
C an 1 j jan
.jan
N j jn j Nj
C jan j/ :
C jan j j1 j
Entonces la ecuacin (2) implica que para N sucientemente grande se obtiene (3)
n!1
lim jan
N n
C an 1 j D 0:
lim ja1 n C
C an 1 j
lim ja1 n C
C an 1 j D 0:
n!1
n!1
bn
nD1
n!1
lim An
1 X
nD1
bn D
nD1
1 X
an
nD1
1 X
bn :
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
nD1
1 X
an y
nD1
1 X
'n converge y
nD1
nD1
'n D
nD1
1 X
an
nD1
1 X
bn :
Por otro lado, siP el Teorema 2 sustituimos laP en hiptesis de convergencia absoluta de an por la de convergencia de an y agregamos la hiptesis de convergencia del producto de Cauchy se cumple la igualdad ( ), pero la prueba de este hecho requiere una tcnica que estudiaremos en el prximo captulo, por lo cual enunciamos a continuacin el resultado y posponemos su demostracin hasta el momento oportuno (el resultado mismo era conocido por Cauchy, pero la primera demostraccin fue aportada por Abel, en efecto la discusin de este problema fue presentada por Abel como la motivacin en su memoria Recherches sur la srie 1/.m (ver introduccin y el teorema 1 C m x C m.m 1/ x 2 C m.m 1:2:3 2/ x 3 C 1 1:2 VI de este artculo en el Captulo 10).
TEOREMA 4 (TEOREMA DE CAUCHY-ABEL)
Sean
1 X
nD1
1 X
an ,
nD1
1 X
nD1
nD1
cn D
an
bn :
nD1
nD1
CAPTULO
SERIES DE FUNCIONES
Newton a partir de 1665, Gregory a partir de la publicacin de Mercator de 1668, y Leibniz a partir ms o menos de 1673, se consagran fundamentalmente al estudio del tema de moda, las series de potencias. NICOLAS BOURBAKI
hora volvemos al problema inicial que ha estimulado nuestro estudio de las series. En el Captulo 1 planteamos que si f es una funcin con derivada de orden n sobre un intervalo abierto que contiene algn punto a, escribimos
f .x/ D
a/n
nD0
Nuestro principal inconveniente en ese momento era el de establecer de manera rigurosa el signicado de una suma innita. Ahora ya tenemos una buena idea de la solucin de tal problema y nos interesa determinar la 105
La dicultad 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 signicado 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
Sea A un conjunto de nmeros reales y supongamos que para cada nmero natural n existe una funcin fn denida sobre A. A la coleccin de todas estas funciones la denotamos por ffn g y la denominamos sucesin de funciones sobre A. Notemos que para cada x 2 A tenemos la sucesin (de nmeros) ffn .x/g (Figura 1).
1 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
En el proceso de investigar las sucesiones de funciones, en primer lugar debemos determinar qu propiedades de las funciones fn hereda la funcin f . Resulta que en general la situacin es bastante desalentadora, como ilustran los siguientes ejemplos.
EJEMPLO 1
Consideremos la sucesin de funciones ffn g denida sobre el intervalo 0; 1 por fn .x/ D x n : Tenemos que para cada x 2 0; 1 la sucesin ffn .x/g converge hacia f .x/ denida as: ( 0 si x 2 0; 1/; f .x/ D 1 si x D 1: Como puede notarse, cada una de las funciones fn es continua sobre 0; 1 mientras que la funcin f no es continua en x D 1, es decir f no hereda la continuidad de las funciones fn (Figura 2).
1
1
FIGURA 2.
Ahora consideremos un ejemplo similar en el que la funcin f no hereda algo sobre la integral de las funciones fn .
EJEMPLO 2
Sea ffn g la sucesin de funciones denida sobre el intervalo 0; 1 por h i ( 1 1 2nC1 si x 2 2nC1 ; 2n ; fn .x/ D 0 en cualquier otro caso:
1=2nC1
fn .x/ dx C
1=2n
1=2n
fn .x/ dx
2nC1 dx
1=2n
1=2nC1
D2
nC1
D 1:
dx
1=2nC1
1 f1
E '
1 f2
E '
1 4
1 2
1 1 8 4
1 2
Figura 7.3(a)
Figura 7.3(b)
Es decir, lim Z
1
n!1 0
fn .x/ dx D 1 0 D
f .x/ dx D
0 n!1
El hecho de que
n!1 0
lim
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
funciones denida sobre el intervalo si x 2 0; 1=2nC1 ; si x 2 1=2nC1 ; 1=2n ; en cualquier otro caso:
g g 2 g d f1 g g d g d
f2
1 4
1 2
FIGURA 4.
Luego lim Z
1
n!1 0
fn .x/ dx D 1 0 D
f .x/ dx D
0 n!1
Para la derivada tenemos una situacin similar: podemos encontrar una sucesin de funciones derivables sobre un intervalo abierto tal que para cada x la sucesin ffn .x/g converge hacia un punto f .x/ y la funcin f no es derivable en alguno de los puntos del intervalo o que lim f 0 .x/ n!1 n para algn x.
EJEMPLO 4
f 0 .x/;
Sea ffn g la sucesin de funciones denida sobre R por fn .x/ D Entonces jfn .x/j 1 n sen.nx/ : n
para todo x 2 R.
Adems
0 fn .x/ D cos.nx/
y por tanto la sucesin ffn0 .x/g no converge hacia f .x/ para algunos valores 0 de x, por ejemplo si x D 2 , tenemos fn .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 denir 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
signica 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 reere 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 signica 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/ f .x/j < "; para todo x 2 A y n lim fn D f: N,
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.
Si ffn g es la sucesin de funciones denida en el Ejemplo 1, es decir fn .x/ D x n para todo x 2 0; 1, entonces ffn g converge puntualmente, pero no uniformemente sobre 0; 1 hacia la funcin f denida por: ( 0 si x 2 0; 1/; f .x/ D 1 si x D 1: Anlogamente tenemos el siguiente caso.
EJEMPLO 6
Si ffn g es la sucesin de funciones denida en el Ejemplo 2, es decir i h ( 1 1 2nC1 si x 2 2nC1 ; 2n ; fn .x/ D 0 en cualquier otro caso: Entonces ffn g converge puntualmente, pero no uniformemente sobre 0; 1 hacia la funcin f D 0. De la misma forma tenemos que la sucesin de funciones ffn g denida en el Ejemplo 3 converge puntualmente, pero no uniformemente sobre 0; 1 hacia la funcin f D 0. El siguiente teorema demuestra que las dicultades encontradas con respecto a la continuidad de la funcin lmite desaparecen cuando consideramos la hiptesis de convergencia uniforme.
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. 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
DEMOSTRACIN
jfn .x/
para todo n N . Ahora cada fn es continua en x, en particular para n D N tenemos que existe un > 0 tal que para todo h, si jhj < (con x C h 2 A) entonces " (3) jfn .x C h/ fn .x/j < : 3
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/ f .x/ C fN .x C h/ fN .x/j f .x/j fN .x C h/ fN .x/j
jfN .x C h/
f .x C h/j C jfN .x C h/
lim f .x C h/ D f .x/:
Con respecto a la relacin entre la convergencia de sucesiones de funciones y la integracin, la convergencia uniforme tambin es una condicin suciente 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 a
DEMOSTRACIN
Dado " > 0, puesto que ffn g converge uniformemente hacia f tenemos que existe un nmero natural N tal que para todo n, si n N jfn .x/ f .x/j < " b a ;
para todo x 2 a; b. Entonces Z Z Z b 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
< D
"
b " a
a .b
dx a/
b D ":
lim
fn .x/ dx D
f .x/ dx:
Notemos que la convergencia uniforme es una condicin suciente pero no una condicin necesaria para la igualdad (6). En efecto, si consideramos ffn g y f denidas sobre 0; 1 como en el Ejemplo 1, es decir ( 0 si x 2 0; 1/, n fn .x/ D x y f .x/ D 1 si x D 1, tenemos Z lim
1
n!1 0
fn .x/ dx D lim
n!1 0
x n dx D lim
1 D0D n!1 n C 1
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 b n!1 a
lim
fn .x/ dx D
h
b
n!1
Inclusive, puede ser mucho ms sugestivo escribirla de la siguiente forma (60 ) lim Z
b
n!1 a
fn D
a n!1
lim fn ;
pues resalta el hecho de que la convergencia es uniforme. En todo caso, la igualdad en s es interpretada como un intercambio entre los procesos de integracin y lmite. Una consideracin anloga puede hacerse para la ecuacin (5), donde la convergencia uniforme garantiza un intercambio entre dos procesos de lmite, puesto que tenemos lim fn .x/ D f .x/ y
n!1 n!1
(5 )
lim
lim fn .x C h/ D lim
n!1 h!0
lim fn .x C h/ :
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
converge uniformente hacia la funcin f D 0, sin embargo no se cumple que lim fn0 .x/ D f 0 .x/:
n!1
Supongamos que ffn g es una sucesin de funciones derivables sobre a; b, tal que 0 las derivadas fn 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 0 f .x/ D lim fn .x/:
n!1 a
DEMOSTRACIN
Si x 2 a; b es un punto cualquiera, entonces por el Teorema 8 tenemos Z x Z xh i 0 g.x/ dx D lim fn .x/ dx n!1 a a Z x 0 D lim fn .x/ dx
n!1 a
Por el Segundo Teorema Fundamental de Clculo y la convergencia puntual de ffn g hacia f tenemos Z x 0 lim fn .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)
0 f 0 .x/ D lim fn .x/: n!1
Como en los casos anteriores, la ecuacin (7) puede escribirse ilustrando un intercambio entre el proceso de derivacin y el de lmites, as: 0 0 (70 ) lim fn D lim fn :
n!1 n!1
Claro est, la aplicabilidad de los teoremas anteriores depende de la disponibilidad de alguna condicin suciente para la convergencia uniforme de una sucesin de funciones. Los dos resultados que se presentan a continuacin suelen ser tiles en la prctica. 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. Supongamos que ffn g no converge uniformente hacia f D 0 sobre a; b. Entonces existen un " > 0 y un nmero natural n tal que fn .x/ " para todo x 2 a; b.
LEMA 10
DEMOSTRACIN
La sucesin fxj g est acotada y por tanto contiene una subsucesin fxhj g que converge hacia algn punto 2 a; b. Para simplicar 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.
Como fn es continua, el Corolario 1-15 indica que para j sucientemente grande se cumple fn .xj / < ": Podemos elegir j de tal forma que nj > N y por tanto fnj .xj / fn .xj / < "; lo cual contradice la desigualdad (8). La condicin de que la sucesin ffn .x/g es no creciente para cada x 2 a; b que aparece en el Lema 10, se expresa diciendo simplemente que la sucesin ffn g es no creciente. El teorema que presentamos a continuacin fue demostrado por el analista italiano Ulisse Dini.
TEOREMA 11 (TEOREMA DE DINI)
Supongamos que ffn g es una sucesin no creciente de funciones continuas sobre a; b que converge puntualmente hacia una funcin continua f . Entonces ffn g converge uniformente sobre a; b. Sea ffn g la sucesin de funciones denida sobre a; b por fn .x/ D fn .x/ f .x/: Entonces ffn g converge puntualmente a la funcin f D 0 sobre a; b. Adems, para todo n y para todo x 2 a; b tenemos fn .x/ fnC1 .x/ D fn .x/ f .x/ fnC1 .x/ C f .x/ D fn .x/ fnC1 .x/ 0: Entonces, la sucesin ffn g es no creciente sobre a; b, por tanto, de acuerdo al Lema 10, la sucesin ffn g converge uniformemente sobre a; b. Para evaluar la importancia de la hiptesis de continuidad de la funcin f en el Teorema de Dini, tomemos ffn g y f sobre 0; 1 como en el Ejemplo 1, es decir ( 0 si x 2 0; 1/, f .x/ D x n y f .x/ D 1 si x D 1.
DEMOSTRACIN
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 suciente para la convergencia uniforme.
TEOREMA 12
Supongamos que ffn g es una sucesin de funciones denidas sobre un conjunto A. Si f es una funcin denida sobre A y fn g est dada por n D sup fjfn .x/ f .x/j W x 2 Ag :
lim n D 0:
DEMOSTRACIN
Supongamos que lim n D 0; entonces dado " > 0 existe un nmero n!1 natural N tal que n < " para todo n N . Pero n D sup fjfn .x/ f .x/j W x 2 Ag, entonces por denicin tenemos que jfn .x/ f .x/j n para todo x 2 A. Entonces para todo x 2 A y para todo n jfn .x/ N tenemos f .x/j < ";
es decir ffn g converge uniformemente hacia f sobre A. Para probar la proposicin recproca, supongamos que tenemos que lim fn D f; dado " > 0 existe un nmero natural N tal que si n N, n!1 entonces " para todo x 2 A. jfn .x/ f .x/j < 2 Por denicin de supremo de un conjunto tenemos que "=2 es una cota superior para fjfn .x/ f .x/j W x 2 Ag y por tanto sup fjfn .x/ f .x/j W x 2 Ag " ; 2
" <" 2
para todo n
N.
lim n D 0:
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 denida por n D max fjfn .x/ f .x/j W x 2 a; bg :
Como es natural, dada una sucesin de funciones ffn g denida sobre un conjunto A, podemos considerar la sucesin de sumas parciales f1 ; f1 C f2 ; f1 C f2 C f3 ; : : : ; es decir, la sucesin de funciones fSn g sobre A denida por Sn .x/ D f1 .x/ C Decimos que la serie de funciones
1 X
C fn .x/:
nD1
nD1
si la sucesin fSn g converge uniformemente sobre A. Decimos que la serie 1 X fn converge puntualmente si la sucesin fSn g converge puntualmente.
Supongamos que ffn g es una sucesin de funciones sobre el intervalo a; b. (1) Si fn es continua para todo n y la serie
1 X
nD1
una funcin f sobre a; b, entonces f es continua sobre a; b. (2) Si cada una de las funciones fn es integrable sobre a; b y la serie
1 X
fn
nD1
f D
nD1 a
1 XZ
fn :
0 (3) Si cada una de las funciones fn es derivable sobre a; b, con fn integrable 1 1 X X 0 fn converge fn converge puntualmente hacia f y si sobre a; b. Si nD1 nD1
Ahora para poder desarrollar todo el potencial del teorema anterior necesitamos una condicin suciente para la convergencia uniforme de series. El siguiente resultado constituye un recurso fundamental para casi todo nuestro trabajo; el resultado mismo lleva una etiqueta poco comn, ligada al nombre del matemtico de origen alemn Karl Theodor Whilhelm Weierstrass (Figura 7). Sea ffn g una sucesin de funciones denidas sobre A y supongamos que serie numrica tal que jfn .x/j Mn Entonces la serie
1 X 1 X
Mn es
nD1
para todo x 2 A.
1 X
nD1
fn
nD1
fn .x/:
nD1
DEMOSTRACIN
Mn < ":
jfn .x/j
Mn
nDN C1
SERIES
DE
POTENCIAS
Ahora disponiendo del concepto de convergencia para series de funciones enfocamos nuestra atencin de nuevo al problema de determinar las condiciones bajo las cuales se verica la igualdad f .x/ D
1 X f .n/ .a/ .x n
a/n :
nD0
En realidad vamos a considerar el problema ms general (en principio, pero al nal de cuentas no tan general) de determinar las condiciones bajo las cuales se cumple la igualdad f .x/ D
1 X
an .x
a/n
nD0
para cierta sucesin de nmeros fan g. Una serie de potencias sobre un conjunto A centrada en a 2 A es 1 X una serie de funciones fn sobre A, donde
nD0
fn .x/ D an .x
1 X
a/n
para todo n,
nD1
1 X
an .x
a/n :
a/n :
nD0
se denomina la serie de Taylor para f centrada en a (y es, por supuesto, una versin innita del polinomio de Taylor). Para simplicar la notacin consideraremos una serie de potencias de la forma (10)
1 X
an x n :
nD0
Al de P proceder n esta forma no estamos perdiendo generalidad pues la serie an .x a/ converge sobre el intervalo abierto .b; c/ si y slo si la P serie an x n converge sobre el intervalo .b C a; c C a/. Si n D an x n tenemos jn j1=n D jan j1=n jxj; entonces de acuerdo con el criterio de la raz, la serie lim jn j1=n < 1, es decir
n!1 n!1
n!1
an x n converge si
'
r D radio de convergencia
E
( a r
'
) 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 1
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 EJEMPLO 15 Consideremos la serie de potencias x n . Si an D . 1/n =n, tenen nD1 mos . 1/n n 1 n lim jan j D lim lim n D n!1 nn D 1: n!1 n!1
nD1
. 1; 1/.
1 X . 1/n x n es n
EJEMPLO 16
Para la serie
nD1
1 X
Entonces
nD1
EJEMPLO 17
Para la serie
nD1
0, es decir la serie converge solamente cuando x D 0. Este resultado se conrma con los siguientes clculos: si an D n tenemos anC1 .n C 1/ D D n C 1: an n anC1 D C1, por tanto lim jan jn D 0. Luego lim n!1 n!1 an
1 X
Con el n de poder manipular las series de potencias en la prctica debemos determinar bajo qu condiciones la convergencia es uniforme y as poder aplicar el Teorema 14 y, en ltima instancia tenemos que abrir paso al criterio M de Weierstrass. P Supongamos que la serie an x n converge sobre . r; r/ y que x0 2 . r; r/, x0 0, es decir 0 < jx0 j < r, entonces jan j jx n j jan j jx0 n j 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
luego, si Mn D M ja=x0 jn , el criterio M de Weierstrass garantiza que la serie P an x n converge uniformemente sobre el intervalo cerrado a; a.
n a D jan j jx0 j x 0 n a M : x 0
n
TEOREMA 18
nD0
nD0
nan x
n 1
nD1
nD0
1 X
an x nC1 nC1
an x n ;
nD0
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
c b
f .x/ dx D
nD0
1 X
an .b nC1 nC1
c nC1 /:
DEMOSTRACIN
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 n a D jan j jx0 j x 0 n a M : x 0
n
jan j jan j
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
converge (por el criterio del cociente) entonces, aplicando nuevamente 1 X el criterio M de Weierstrass tenemos que la serie nan x n 1 converge
nD1
nan x n
nD1
para todo x 2 a; a.
Como a es arbitrario, tenemos que la igualdad se cumple sobre el intervalo . jx0 j; jx0 j/. Ahora observemos que n X X jajM a n a n D jajM n C 1 x0 n.n C 1/ x0 P converge, aplicando el criterio de comparacin con la serie nja=x0 jn . X an Luego, por el criterio M de Weierstrass tenemos que la serie x nC1 nC1 converge uniformemente sobre a; a. Entonces por el Teorema 13 tenemos que para todos b y c, con a b c a se cumple Z
c b
f .x/ dx D D D D
nD1 1 X nD1
nD1 b 1 X
b nD1 1 XZ c
1 c X
an x n dx an x n dx
c
an
x n dx b nC1 :
an c nC1 nC1
Como a es arbitrario, tenemos que la igualdad se cumple para cualesquiera b; c 2 . jx0 j; jx0 j/.
EJEMPLO 19
Para ilustrar la utilidad del teorema anterior consideremos la serie de po1 X tencias . 1/n x 2n para jxj < 1. Podemos escribir
nD0 1 X
. 1/ x
n 2n
nD0
nD0
1 X
. 1/ .x / D
2 n
nD0
1 X
. x 2 /n D
1 : 1 C x2
. x 2 /n dx D Z
1 D arctg b 1 C x2 x 2nC1 : 2n C 1
. x 2 /n dx D . 1/n arctg x D
x 2 n dx D . 1/n x 2nC1 : 2n C 1
entonces
nD0
1 X
. 1/n
EJEMPLO 20
nD0
1 X
nD0
. 1/n x n D
nD0
. x/n D
. x/ dx D Z
. x/ dx D . 1/ log x D
entonces
nD0
1 X
. 1/nC1
nD0
xn n
para x 2 . 1; 1/:
El siguiente ejemplo es un intento adicional para no dejar lugar a dudas sobre la importancia de las series de potencias. sen x dx no tiene solucin en trminos elementales, sin x Z b sen x embargo podemos calcular la integral denida dx con cualquier x a grado de precisin deseado. Z
EJEMPLO 21
La antiderivada
Sabemos que
entonces
nD0
1 X . 1/n x 2n : .2n C 1/
f .x/ dx D
1 b X
D D
nD0
nD0
tonces por el teorema anterior tenemos que f .x/ D f 00 .x/ D f 000 .x/ D : : : f .k/.x/ D luego an D f .n/.0/ n para todo n;
0
1 X
;
2
nD1 1 X
1/ an x n 2/.n
;
3
nD3
nD2 1 X 1 X
3/ an x n
n.n
1/
.n
nDk
k C 1/ an x n
nD0
1 X f .n/.0/ xn n
para todo x 2 I:
an x n
f .n/ .0/ n
para todo n:
nD0
Debemos notar que el Teorema 22 plantea que si una funcin f puede ser desarrollada como una serie de potencias, entonces sta es la serie de Taylor de f , pero no asegura que la serie de Taylor de una funcin f sea convergente hacia f , lo cual se ilustra en el siguiente ejemplo.
EJEMPLO 23
Sea f la funcin denida sobre R por ( 2 e 1=x f .x/ D 0 Entonces f .0/ D lim
0
si x 0, si x D 0.
1= h2
h 1 D lim 1= h2 h!0 h e
h!0 !1
(donde
2
D 1= h)
1 !1 2 e D 0:
00
f .0/ D lim
2h
h!0
D 2 lim
e h 1
1= h2
h!0
h4 e 1= h
2
D 2 lim D 0:
!1
(donde
D 1= h)
0, por
Pero f .x/ > 0 para todo x 0 y tenemos as que la serie de Taylor de f converge hacia f .x/ solamente cuando x D 0. Con algunas hiptesis adicionales sobre la funcin f y sus derivadas se obtiene que la serie de Taylor de f converge hacia f , como en el siguiente resultado descubierto por el matemtico ruso Sergei Bernstein.
TEOREMA 24 (TEOREMA DE BERNSTEIN)
0 para todo n
DEMOSTRACIN
Podemos asumir que a D 0 y x > 0. Utilizando la forma integral del resto (Teorema 1-1) tenemos (11) donde (12) Rn .x/ D Z
x
f .x/ D
kD0
n X f .k/.0/ x n C Rn .x/; k
f .nC1/ .t / .x n
t /n dt:
para todo x 2 0; r. Notemos que la ecuacin (10) implica que para x D r (13) Rn .r/ f .r/: t /=x con t 2 0; 1 resulta
Sea fn la funcin denida sobre .0; r por fn .x/ D Rn .x/ 1 D x nC1 n Z un f .nC1/ .x xu/n du:
Por hiptesis tenemos que f .n/ es no decreciente sobre 0; r para todo n 0, entonces, puesto que 0 u 1, tenemos f .nC1/ .x xu/ f .nC1/ .r.1 u//;
Supongamos que
nD0
nD0
abierto . r; r/. Claro est sobre cualquier intervalo cerrado contenido en . r; r/ la convergencia de cada una de las series es absoluta, entonces si 1 1 1 n X X X X cn es el producto de Cauchy de an y bn , es decir cn D ak bn k ,
nD0 nD0 kD0 n 1 X n 1 X
1 X
an x n y
nD0
1 X
nD0
cn x D
an x
bn x n :
nD0
nD0
TEOREMA
DEL
LMITE
DE
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 x D
1 X
xn;
nD0
tenemos que el primer miembro de esta igualdad tiene sentido para x D 1, aunque no es ese el caso para el segundo miembro, pues la serie es divergente. Resulta que existen casos donde la situacin es un poco mejor. Recordemos el Ejemplo 20, en que se establece la siguiente igualdad: log.1 C x/ D
1 X
. 1/nC1
nD0
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
1 X
nD1
1 X . 1/nC1 : n
nD0
f .x/ D
x!r
nD0
1 X
an x n ;
nD0
an r n D lim f .x/:
x!r
DEMOSTRACIN
X Para simplicar 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:
es decir la serie
para todo x 2 0; 1;
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 denicin: decimos que la suce1 X sin fan g es sumable Abel (o que la serie an es Abel convergente) si
nD0
x!1
lim
nD0
gente (en el sentido usual) tambin es Abel covergente, pero el recproco no es cierto, como ilustra el ejemplo siguiente que no es ms que una formalizacin parcial de la discusin al inicio de esta seccin.
1 X
EJEMPLO 26
La serie
an D . 1/n entonces
x!1
nD0
lim
nD1
1 X
an x n D lim
x!1
nD1
1 X
. x/n
D lim
x!1
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)
an x n :
nD0 x!1
Supongamos adems que lim nan D 0 y que lim f .x/ D `, entonces la serie
nD0 1 X
an converge y
1 X
nD0
an D `:
DEMOSTRACIN
an D
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 jf .xn / Si sn D
n X
N3 tenemos:
`j <
" : 3
kD0
ak .1
kD0
x /C
kDnC1
1 X
ak x k :
/ k.1
x/;
kD0
A continuacin usamos el Teorema de Abel para completar nuestro estudio del producto de Cauchy (recordemos que, como comentamos en el Captulo 6, este resultado era conocido por Cauchy, pero la primera demostracin fue dada por Abel y es presentado en la introduccin de uno de sus famosos trabajos sobre series que presentamos en el Captulo 10). 1 1 1 X X X TEOREMA 6-4 Supongamos que las series an , bn y su producto de Cauchy cn convergen, entonces
nD1 nD1 nD1 1 X
nD1
cn D
nD1
1 X
an
nD1
1 X
bn : P an y P bn convergen,
1 X
DEMOSTRACIN
Por hiptesis tenemos que las series de potencias entonces por el Teorema de Abel tenemos lim
1 X
x!1
nD1
an x D
nD1
1 X
an
x!1
lim
nD1
1 X
bn x D
bn :
nD1
nD1
cn x n D
nD1
1 X
an x n
nD1 1 X
1 X
bn x n :
nD1
vergente. Luego
1 X
1 X
cn x n , o sea la serie
cn es Abel con-
nD1
nD1
cn D lim
x!1
D lim
x!1
nD1 1 X
1 X
cn x n an x n
1 X
bn x n
1 X
D lim
x!1 1 X
an
nD1
nD1 1 X
nD1 1 X
nD1
an x n bn
x!1
lim
bn x n
nD1
nD1
Para concluir esta seccin establecemos sin demostracin otro teorema tauberiano ligeramente ms fuerte que el Teorema 27. Como compensacin (o tal vez una justicacin) 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)
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 Bibliogrca y, por supuesto, del mismo material se deriva la narracin siguiente.
ex xn
nx 2
x 2n sobre 0; 1.
Demostrar las siguientes igualdades (sin preocuparse por el conjunto donde se cumple la igualdad). (1)
1 X
(2)
nD1
nD1 1 X 1 X
n xn D
x .1 x/2
n2 x n D n3 x n D n4 x n D
(3)
(4)
nD1
nD1 1 X
(5)
(6)
nD1
nD1 1 X 1 X
1 X xn 1 D log . n 1 x
(7)
(8)
nD0
nD0 1 X
.n C 1/ x n D
.n C 1/.n C 2/ n 1 x D . 2 .1 x/3
(9) 3
nD0
En cada uno de los siguientes casos hallar el valor de la suma indicada. (1) (2)
1 X . 1/n.2 /2n . .2n/
nD0 1 X
(3) (4)
1 . .2n/ n . 2n 3n.n 1 . C 1/
(5) 4
nD0
2n C 1 . 2nn
singular y no es de sorprender que la funcin lmite sea a su vez muy especial, comnmente denominada la funcin de Dirichlet, es muy importante para los estudiantes de Anlisis Matemtico elemental. Indicacin: Si x D p=q con p; q 2 Z, q 0, entonces existe un N 2 N tal que N x 2 Z. 5 Analizar la convergencia de la serie 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
1 X
Analizar la convergencia de la sucesin de funciones ffn g denida por fn .x/ D lim .cos.n x//2k sobre R. La denicin de fn es muy
k!1
CAPTULO
LA SERIE BINMICA
Los dos aos que siguieron a la graduacin de Newton en Cambridge 1665 y 1666 fueron aos de epidemia de peste y, cuando la universidad se cerraba, Newton pasaba el tiempo en su hogar. Su madre haba enviudado y regresado a Woolsthorpe. Aqu descubri Newton su mina de oro: la matemtica. . . JACOB BRONOWSKI
na de las vetas principales que Newton encontr es el relacionado a la generalizacin de la frmula para la potencia de un binomio, considerando casos en que el exponente no es necesariamente un nmero natural, encontrando que el desarrollo correspondiente se puede escribir como una suma innita.
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, denimos los coecientes 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 vericar 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
:::
( )
k k
para todo nmero natural n. Hacemos la demostracin por el mtodo de induccin matemtica. Para n D 1 tenemos las igualdades obvias ! ! 1 1 .a C b/1 D a1 C b 1 D aC b: 0 1
DEMOSTRACIN
(3)
Ahora debemos probar que la ecuacin ( ) se cumple para n D hC1, es decir debemos probar que
hC1 X
(4)
.a C b/
hC1
kD0
! h C 1 hC1 a k
k k
b :
bC
n.n 1/ n a 1 2
1 2
b C
n.n 1/ 2 n b : 1 2 n
. 1/ 2 xC x C : 1 1 2 De esta forma, el logro de Newton en trminos modernos est dado por el siguiente teorema. D1C
TEOREMA 2 (LA SERIE BINMICA)
para todo x con jxj < 1: En la siguiente seccin presentamos tres demostraciones del Teorema 2 con argumentos y tcnicas diferentes entre s y con un slo punto ! 1 X en comn: el hecho de que la serie x n converge para todo jxj < 1; n nD0 lo cual se prueba usando el criterio del cociente. En efecto, si escribimos ! n an D x , entonces n ! x nC1 nC1 anC1 ! D an n x n . D D . 1/ . n/ nC1 x .n C 1/ 1/ . n C 1/ n x n
n x: nC1
PRUEBA
DE LA
SERIE BINMICA
A continuacin presentamos tres demostraciones de la serie binmica. En la primera, la herramienta fundamental es usar tanto la forma de Cauchy como la forma de Lagrange del resto para demostrar que ste tiende a 0. En la segunda se usa de manera indirecta la forma integral con el mismo n. En la tercera, ms elegante que las otras, se utilizan algunas tcnicas elementales de ecuaciones diferenciales.
PRIMERA DEMOSTRACIN
Notemos que si f est denida por f .x/ D .1 C x/ , entonces para todo k tenemos DEL TEOREMA 2 f 0 .x/ D .1 C x/ 1 ; f .x/ D . : : : f .k/ .x/ D . f 00 .x/ D .
000
1/.
1/ .1 C x/
2/ .1 C x/
1/
k C 1/ .1 C x/
Por tanto, el polinomio de Taylor de grado n centrado en 0 para f viene dado por n X f .k/.0/ Pn .x/ D xk k D D
kD0 n X
1/
kD0 n X kD0
. k
k C 1/
xk
! k x : k
Supongamos que 0 x < 1, entonces la forma de Lagrange del resto (Teorema 1-1) es: ! Rn .x/ D x nC1 .1 C / nC1
n 1
1/ . .n C 1/
n/
x.x C /
1
x xC
/, resulta que 1,
1
1
si
y .x C / Entonces jx.x C / es decir (6) Adems luego 0< De donde (7) As n .n C 1/ . 1/ . n/ x.x C / 1 x jRn .x/j D .n C 1/ xC n . 1/ . n/ nC1 1 x D x .x C / 1 n x xC ! n 1 n 1 1 x D x x.x C / : n x xC 0< .x /=x 1 x D 1C x 1C 1 pues 1 C > 0. x x 1C pues x < 0. x , luego xCx x < 0; jx.x C /
1 1 1
< .1 C x/
si < 1.
j jxjM;
j M:
La siguiente prueba de la serie binmica tiene una apariencia un poco ms oscura que la anterior. Utilizando la forma integral del resto a travs del teorema de Bernstein se comprueba que el resto tiende a 0.
SEGUNDA DEMOSTRACIN DEL TEOREMA 2
Sean > 0 y ' la funcin denida para 0 < x < 1 por '.x/ D .1 Luego, para todo n tenemos ' .n/.x/ D . C 1/ De donde ' .n/.x/ 0 . C n 1/.1 x/
n
x/
para todo n
0 y todo x < 1:
Entonces por el teorema de Bernstein (Teorema 7-24) tenemos que ' se puede desarrollar en serie de potencias sobre 1; 1/ y por tanto tiene desarrollo en serie de potencias alrededor de 0, es decir, la serie '.x/ D converge sobre . 1; 1/. Pero ' Entonces .1 x/
.n/ 1 X ' .n/.0/ xn n
nD1
.0/ D . C 1/
.c C n
1/ D . 1/ n
! : n
nD0
1 X
. 1/
! n x ; n
Es fcil vericar 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
nD1 1 X
! n n x n
1 X
! n n x n
1
nD1
1 X
! n n x n
1/ : : : . n .
n C 1/ 1/ : : : . n/ .n C 1/ n/. n C n/ n/ ! D : n
C .n C 1/ D . .
1/ : : : . n 1/ : : : . n
Entonces nos queda que para todo x, si jxj < 1 se cumple ! 1 X n 0 .1 C x/f .x/ D x D f .x/: n
nD0
Sea
Luego
0
.x/ D
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/ :
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 cientco ingls informa sobre sus progresos en el estudio de las series innitas, 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 uxiones y en Enero del ao siguiente obtuve la Teora de los Colores y en Mayo siguiente encontr el mtodo inverso de uxiones. 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.
nota tambin es traducida de una cita en el libro de Westfall [24], p. 68. carta aparece citada en [24], p. 68. Tambin sta es de una cita en [24], p. 99.
FIGURA 1: Retrato de Isaac Newton pintado en Cambridge por Godfrey Kneller en 1689.
Aunque la modestia del Dr. Leibniz en los Extractos de su Carta que usted recientemente me envi, atribuye demasiado a mi trabajo en ciertas Especulaciones relativas a las Series Infinitas, rumor del cual se ha empezado a expandir ya, no tengo duda de que l ha hallado no slo un mtodo para reducir Cantidades cualesquiera a Series de este tipo, como l mismo asegura, sino que tambin ha hallado varios Compendia, similares a los nuestros, si no mejores. Sin embargo, puesto que l desea saber los descubrimientos que han sido hechos por los ingleses en este sentido (yo mismo ca en esta Especulacin hace algunos aos) y con el fin de satisfacer sus deseos, al menos en cierto grado, le he enviado a usted algunos puntos que se me han ocurrido. Las fracciones pueden ser reducidas a Series Infinitas por Divisin y las Cantidades Radicales pueden ser tambin reducidas por Extraccin de Races. Estas Operaciones pueden ser extendidas a Especies de la misma forma en que se aplican a Nmeros Decimales. Estos son los Fundamentos de las Reducciones. La Extraccin de Races se reduce mucho por el Teorema P C PQj 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
donde P C P Q representa una Cantidad cuya Raz o Potencia o cuya Raz de una Potencia se desea hallar, siendo P el primer Trmino de esa cantidad y Q los trminos restantes divididos por el m primer trmino y el ndice numrico de las potencias de P C P Q. n Este puede ser un Nmero Entero o (digamos) un Nmero Quebrado; un nmero positivo o uno negativo. Como escriben los p p p Analistas, a 2 y a 3 por aa y a aa , as para a , a 3 , c : a 5 , &c. 1 1 1 1 3 5 Escribo a 2 , a 2 , a 2 , etc.; para , , a 1 , a 2 , a 3 ; y para a aa a aa 2 aa b p , escribo a a a 3 C bbx j 3 . En este ltimo c W a 3 C bbx a 3 C bbx W
2
La referencia es a la obra del matemtico ingls John Wallis (16161703) quien public algunos de los resultados de Newton (entre ellos la serie binmica) en el libro De Algebra Tractatus, Historicus & Practicus.
1
Esto es 1
xxj 2 D .1
x2/ 2 D
x2.
Uno de mis propios [mtodos para deducir las series infinitas] lo describ antes; y ahora voy a agregar otro, a saber, la forma en la que descubr estas Series, pues las hall antes de saber las Divisiones y Extraccin de Races que ahora uso. La explicacin de este mtodo dar la base del Teorema dado al principio de mi Carta anterior el cual el Dr. Leibniz desea. El inicio de mi estudio de Matemticas, ocurri sobre la obra de nuestro ms Celebrado Wallis y sus consideraciones de las Series mediante cuya intercalacin l muestra los valores del rea de un Crculo y una Hiprbola, y de esa serie de curvas que tienen
0
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 2 1 las reas de las alternadas, las cuales son x, x 3 x 3 , x 3 x 3 C 1 x 5 , 5 3 x 3 x 3 C 3 x 5 1 x 7 , &c. tendran valores interpolados entre estos 5 7 trminos, deberamos tener las reas de los intermedios, el primero
1
xx j 2 .
de los cuales 1 x x j 2 es el Crculo. Por estas interpolaciones, not que el primer trmino de cada uno es x y que el segundo trmino 0 3 1 3 2 3 3 3 3 x , 3 x , 3 x , 3 x , &c., estn en progresin Aritmtica. As los dos primeros trminos de la Serie que deben ser intercalados deberan 1 3 2 3 5 3 x x x ser x 2 , x 3 , x 2 , &c. 3 3 5 Intercalando el resto, consider que los Denominadores 1, 3, 5, 7, &c. estaban en progresin Aritmtica y as slo se requerira investigar los Coeficientes Numricos de los Numeradores. Adems, en las reas alternadas dadas, stas eran las figuras de las potencias el onceavo nmero, a saber, 11 0 , 111 , 112 , 113 , 114 . Es decir, primero 1, luego 1, 1, tercero 1, 2, 1, cuarto 1, 3, 3, 1, quinto 1, 4, 6, 4, 1, &c. Por tanto, busqu un mtodo para deducir el resto de elementos en estas Series, habiendo dado las dos primeras figuras. Encontr que cuando la segunda figura m era dada, el resto se producira por multiplicacin continua de los trminos de esta Serie: m 0 m 1 m 2 m 3 m 4 &c. 1 2 3 4 5 Por Ejemplo: Sea (el segundo trmino) m D 4, entonces el tercer m 1 m 2 trmino ser 4 , es decir 6; y 6 , es decir 4, el cuarto; 2 3
Es decir 1 2 1 x 2
1 4 x 8
1 6 x 16
1 6 1 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:
1 2 x 2 1 2 x 2
1 4 x 8 1 4 x 8
y 4
es decir 1, el quinto; y 1
&c.
Por el mismo proceso se hallaron las reas de las Curvas restantes, como el rea de una Hiprbola, y de las otras alternadas
0 1 2 3
en esta Serie 1 x x j 2 , 1 xx j 2 , 1 xx j 2 , 1 x x j 2 , &c. El mismo mtodo puede ser usado para intercalar otras Series, inclusive con intervalos de dos o ms trminos faltantes al mismo tiempo. Esta fue mi primer entrada a estos estudios; lo cual seguramente se me habra escapado de la memoria de no haber hecho referencia a ciertas notas hace pocas semanas. Pero cuando supe esto, inmediatamente consider que los tr0 2 4 6
minos 1 x x j 2 , 1 x x j 2 , 1 x x j 2 , 1 x x j 2 , &c. es decir 1, 1 xx, 1 2xx Cx 4 , 1 3x x C3x 4 x 6 , etc. seran interpolados de la misma forma y las reas seran deducidas de ellas; y que para esto no se requiere nada ms que la omisin de los denominadores 1, 3, 5, 7, etc. en los trminos que expresan las reas, es decir, los coeficientes de los
1 3
trminos de la cantidad a ser intercalada 1 xx j 2 , o 1 xx j 2 , o ms m generalmente 1 xx j se producira por multiplicacin continua de m 1 m 2 m 3 los trminos de esta Serie m &c. As, (por 2 3 4 1 3 1 1 1 ejemplo) 1 xx j 2 resultara 1 2 x 2 8 x 4 16 x 6 &c. Y 1 xx j 2 se
1
1 1 convertira en 1 1 x 2 C 1 x 4 C 16 x 6 etc. Y 1 xx j 3 sera 1 3 x x C 2 8 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 1 1 2 x 2 1 x 4 16 x 6 &c. por s mismo, y result 1 xx , el resto de 8 los trminos se desvanecieron en el infinito por la continuacin de la serie.
CAPTULO
. . . Lagrange, Laplace y Gauss conocieron y siguieron las obras de Euler. . . El Introductio de 1748 cubri en sus dos tomos una amplia variedad de temas. Contiene una exposicin sobre series innitas incluyendo aquellas para ex , sen x y cos x, y presenta la relacin eix D cos x C i sen x (que ya haba sido descubierta por Johann Bernoulli y otros en diferentes formas). DIRK J. STRUIK
urante los ltimos captulos, la actividad en nuestro juego de las series se ha concentrado en el estudio de algunos movimientos o partidas especiales jugadas por grandes maestros. Ahora vamos a realizar el trabajo de explorar otras variantes de juego, como cuando se juega con tres ejrcitos o con una pieza adicional, que en realidad constituyen otros juegos y por tanto tienen sus propias tcnicas y estrategias, pero que conservan algo del aroma del juego original. El objetivo de este corto captulo es explorar la nocin de serie en el contexto del campo C de los nmeros complejos. En general asumimos que el lector posee conocimiento de la estructura algebraica de C y de su descripcin geomtrica.
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
2
rn r r 3 r
r b1
bn
r
a1 0
a2
an
FIGURA 1.
Decimos que una sucesin compleja fn g converge hacia l si para todo " > 0 existe un nmero natural N tal que para todo n, si n N entonces jn lj < " (Figura 2). En este caso escribimos n ! l cuando n ! 1 o simplemente lim n D l. Si fn g no converge, decimos que diverge. n!1 A continuacin presentamos un par de resultados evidentes que trasladan los problemas de convergencia de sucesiones complejas al escenario de sucesiones reales.
TEOREMA 1
Una sucesin compleja fn g converge hacia l si y slo si la sucesin de nmeros reales fjn ljg converge hacia 0.
r 3
FIGURA 2.
Supongamos que n D an C i bn para todo n. entonces la sucesin fn g converge hacia l D a C i b si y slo si las sucesiones fan g y fbn g convergen hacia a y b respectivamente. Tambin resulta evidente que los teoremas sobre el lgebra de lmites para sucesiones reales se pueden extender al contexto de sucesiones complejas. Una forma corta y fcil de desarrollar esta tarea es utilizando el Teorema 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, denimos la sucesin de sumas parciales fSn g de fn g por Sn D 1 C Entonces decimos que la serie Si fSn g diverge decimos que
nD1 1 X 1 X
C n :
n diverge.
1 X
nD1
Notemos que si n D an C i bn para todo n, entonces la serie est determinada por las dos series reales guiente corolario del Teorema 2.
TEOREMA 3
1 X
an y
nD1
nD1
1 X
nD1
bn y, tenemos el si-
an y
nD1
nD1 1 X 1 X 1 X
1 X
nD1
1 X
n converge si
bn convergen. Y tenemos
nD1
n D
nD1
an C i
bn :
nD1
nD1
Finalmente, para ampliar la posibilidad de usar nuestros conocimienP tos 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
evidente que si
nD1
TEOREMA 4
Supongamos que n D an C i bn para todo n. Entonces la serie absolutamente si y slo si las series
1 X
an y
nD1
nD1
1 X
nD1
1 X
n converge
bn convergen absolutamente.
DEMOSTRACIN
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 supongamos que an y bn convergen absolutamente, enP 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 denidas 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 ./ f ./j < " para todo 2 A.
1 X
fn con-
nD1
verge uniformemente sobre A, si la sucesin fSn g converge uniformemente sobre A, donde Sn ./ D f1 ./ C C fn ./ para todo 2 A.
an .
a/n ;
nD0
donde a y an son nmero complejos. Como en el caso de las series de potencias reales, podemos concentrar nuestra atencin a series de la forma
1 X
an n :
nD0
En primer lugar notemos que si an D an n tenemos jan j1=n D jan j1=n jj; entonces, de acuerdo con el criterio de la raz la serie lim jan j1=n < 1, es decir
n!1 n!1
n!1
jan n j converge si
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 1
n!1
'$ &%
ar E r
FIGURA 3.
n!1
Tambin en este caso establecemos las convenciones r D C1 si lim jan j1=n D 0, en cuyo caso el crculo de convergencia es C y, r D 0
f0g.
Para la manipulacin formal de series de potencias complejas necesitamos el equivalente al Teorema 7-18. Supongamos que la serie
1 X
TEOREMA 5
nD0
an
nD0
nD1
1 X
nan n
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 con 0 < jj j0 j, tenemos jan n j D jan j jn j n D jan j j0 j 0 n M : 0
n
para todo 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 X n DM n n jj 0 jj 0
nD1
nD1
converge (por el criterio del cociente) entonces, aplicando nuevamente el P criterio M de Weierstrass tenemos que la serie nan n 1 converge absolutamente si jj < 1. Ahora presentamos una proposicin equivalente a la segunda parte del Teorema 7-18.
an n
nan n
nD1
Del Teorema 6 se deriva que si una funcin f se puede desarrollar en serie de potencias 1 X f ./ D an n ;
nD0
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
entonces
si x 0, si x D 0. 0 y por
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 denida sobre C as ( 2 e 1= si 0, f ./ D 0 si D 0. Notemos que si f tuviese desarrollo en serie de potencias para algn 0 0 entonces tendra desarrollo en serie de potencias en algn crculo que contiene a 0 y sera continua y acotada sobre un crculo jj r. Pero, si tomamos nmeros de la forma D iy, y 2 R con jyj < r tenemos f ./ D e
1=2
En el Ejemplo 7-23 demostramos que f .n/.0/ D 0 para todo n tanto 1 X f .n/ .0/ x n D 0; para todo x. n
nD0
De
1=.iy/2
D e 1=y ;
nD0
nD0
nD0
1 X n n
tienen radio de convergencia D 1, as que podemos deninir las funciones sen, cos y exp sobre C por las siguientes igualdades (coincidiendo con sus equivalentes reales) sen D cos D e D
1 X . 1/n2nC1 ; .2n C 1/
nD0 1 X
nD0 1 X
. 1/n2n .2n/ n : n
nD0
Entonces tenemos sen0 D cos y cos0 D sen. Utilizando estas deniciones Euler obtuvo todo un conjunto de identidades interesantes. Por ejemplo, si consideramos la ecuacin sen D 0 sen D luego, dividiendo por queda 1 4 2 C 3 5 6 C 7 D 0: 3 5 C 3 5 7 C 7 ;
Entonces, utilizando teora de ecuaciones, tenemos que la suma de los recprocos de las races de esta ecuacin es el opuesto del coeciente del trmino lineal, es decir 1/6. Pero las races de polinomio innito son , 2 , 3 ,. . . Entonces 1 1 1 1 D 2C C C 2 6 .2 / .3 /2 ;
1 1 C 2C : 2 6 2 3 Otro uso de estas deniciones llev a Euler a una frmula muy importante. Notemos que ! 1 1 X . 1/n 2nC1 X . 1/n 2n cos C i sen D Ci .2n/ .2n C 1/ nD0 nD0 2 4 3 5 D1 C C Ci 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 D 1CC
nD0
de donde
e i C 1 D 0:
Esta frmula tiene la particularidad de que involucra los cinco nmeros ms importantes en el Clculo.
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 Innitorum (1748). Hemos incluido aqu esta obra, entre otros motivos, porque facilita la comprensin de la evolucin histrica de la nocin de suma innita. 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 cientco nacido en Suiza, Euler fue un prolco 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 uidos, 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
59. Puesto que ni las funciones racionales ni las funciones irracionales de z son de la forma de polinomios A C Bz C Cz 2 C Dz 3 C , donde el nmero de trminos es finito, estamos acostumbrados a buscar expresiones de este tipo con un nmero infinito de trminos las cuales dan el valor de la funcin racional o irracional. Inclusive la naturaleza de las funciones trascendentes parece comprenderse mejor cuando sta se expresa en tal forma, inclusive sabiendo que esta es una expresin infinita. Puesto que la naturaleza de las funciones polinmicas es muy bien conocida, si otras funciones se pueden expresar por diferentes potencias de z de manera que se pueda escribir de la forma A C Bz C Cz 2 C Dz 3 C , entonces parecen ser la mejor forma para la mente determinar su naturaleza, a pesar de que el nmero de trminos es infinito. Es claro que ninguna funcin que no sea un polinomio de puede ser expresada de la forma A C Bz C Cz 2 C Dz 3 C , en la cual el nmero de trminos es finito, ya que en este caso sera una funcin polinmica por definicin. Si existe alguna duda de que una funcin se puede expresar con una serie infinita, esta duda debera desaparecer con la siguiente discusin. Con el fin de que la siguiente explicacin sea bien general, adems de potencias enteras positivas de z permitiremos que los exponentes sean nmeros reales arbitrarios. As no existe duda de que cualquier funcin de z se le puede dar la forma Az C Bz C Cz C D C , donde los exponentes , , , , etc. son nmeros reales arbitrarios. 60. Mediante un procedimiento de divisin continuada la funcin racioa puede expresarse como una serie infinita nal C z a a z a 2z 2 C 2 a3 a 3 z 3 a 4 z 4 C 4 5
: , sta es z
Como el cociente de dos trminos consecutivos cualesquiera es denominada serie geomtrica. Esta serie puede ser hallada escribiendo a D A C Bz C Cz 2 C Dz 3 C Ez 4 C z
Euler deduce la frmula de la seccin 61 y luego coloca un ejemplo donde prueba que 1 C 2 D 1 C 3 C 42 C 73 C 114 C 185 C 2 1 :
Entre las secciones 64 y 68, Euler explora los desarrollos en series de las funciones denidas por las siguientes expresiones: a C b ; .1 /2 a C b C c2 ; .1 /3 y a C b C c2 C d3 : .1 /4
Pero a D A, as que A D
a . Los coeficientes de cada potencia de z deben tener suma cero, as que tenemos las ecuaciones
B C A D 0; D C D D 0; E C D D 0: C C B D 0;
Una vez que cada coeficiente es conocido, el coeficiente siguiente puede ser hallado fcilmente como sigue. Si se conoce el coeficiente P P y Q es el siguiente, entonces Q C P D 0 o Q D . Como se a determin que el primer trmino A es igual a , de aqu las letras B, C, D, etc. son definidas de la misma forma en que surgiran del procedimiento de divisin. Para continuar, por simple inspeccin a es claro que en la serie infinita para , el coeficiente de n C z a n ser n C1 , donde el signo positivo ocurre cuando n es par y el signo negativo ocurre cuando n es impar, o los coeficientes pueden a ser expresados como . =/n . 61. En forma similar por medio de un procedimiento de divisin contia C bz nuada la funcin racional se puede convertir en una serie in C z C z 2 finita.
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
1 1 P 2 4
3 2
Q2 C
1 1 3 P 2 4 6
5 2
Q3
o
.P C Q /
1 2
DP
1 2
1 P 2
3 2
QC
1 3 P 2 4
5 2
Q2
1 3 5 P 2 4 6 1 2 5 P 3 6 9 1 4 7 P 3 6 9 2 1 4 P 3 6 9
7 2
Q3
o
1 1 1 .P C Q / 3 D P 3 C P 3 2 3
1 2 P 3 6 1 4 P 3 6
5 3
Q2 C
8 3
Q3
o
.P C Q /
1 3
DP
1 3
1 P 3
4 3
QC
7 3
Q2
10 3
Q3
o
2 2 2 .P C Q / 3 D P 3 C P 3 1 3
2 1 P 3 6
4 3
Q2 C
7 3
Q3
72. En una serie de este tipo cualquier trminos puede ser determinado por la forma del trmino precedente. Una serie que surge de .P C Q / n , un cierto trmino tiene la forma MP entonces el trmino siguiente tiene la forma
m .k C1/n k C1 m kn n MP Q : .k C 1/n m m kn k n Q ,
Se debera notar que en los trminos siguientes el exponente de P decrece por 1 y el exponente de Q crece por 1. En ciertos casos m puede ser ms conveniente expresar la forma general .P C Q / n m m m como P n .1 C Q =P / n . Entonces cuando .1 C Q =P / n se expresa m como una serie infinita el resultado se puede multiplicar por P n para obtener la serie en su primera forma. Por otra parte, si m denota no slo enteros, sino tambin fracciones, entonces n puede Q ser siempre igual a 1. Adems, si en lugar de , la cual es una P funcin de z, colocamos Z, entonces tenemos
.1 C Z /m D 1 C
m m .m 1/ 2 m .m 1/.m ZC Z C 1 1 2 1 2 3
2/
Z3 C
El captulo contina con la consideracin de los casos Z D , Z D C 2 y Z D C 2 C 3 (secciones 7375), para concluir con el estudio del caso general (seccin 76): .1 C C 2 C 3 C 4 C /m
1
.1 C Z /m
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
En esta seccin se encuentra una de nuestras diferencias con la versin en ingls: usamos la notacin i en lugar de j , pues Euler lo usaba para describir una cantidad innitamente grande. En la versin inglesa no siguen la costumbre de Euler para evitar confusiones que pueden surgir pues i suele usarse para denotar la unidad imaginaria.
101. Si y D a z , entonces y es una funcin de z, y como y depende de z se comprende fcilmente de la naturaleza de los exponentes. As para cualquier valor dado de z, el valor de a z est determinado.
102. Exactamente de la misma forma, dado un nmero a , para cualquier valor de z, podemos hallar el valor de y, as, a la inversa, dado un valor positivo de y nos gustara dar un valor de z, tal que a z D y . Este valor de z es, efectivamente, visto como una funcin de y, y es llamado el LOGARITMO de y. La discusin acerca de los logaritmos supone que existe una constante fija a ser sustituida por a, y este nmero es la base para el logaritmo. Habiendo asumido esta base, decimos que el logaritmo de y es el exponente de la potencia a z tal que a z D y. Ha sido costumbre designar el logaritmo de y por el smbolo log y.
CAPTULO VII
114. Puesto que a 0 D 1, cuando el exponente sobre a crece, la potencia misma crece, suponiendo que a es mayor que 1. Se sigue que si el exponente es infinitamente pequeo y positivo, entonces
115. Puesto que a ! D 1 C k ! , tenemos que a i ! D .1 C k !/i , para cualquier valor que se le asigne a i. Se sigue que i i .i 1/ 2 2 i .i 1/.i 2/ 3 3 a i! D 1 C k ! C k ! C k ! C 1 1 2 1 2 3 Si ahora colocamos i D
:
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 z a z D .1 C k /i i 1 i .i 1/ 2 2 D 1 C kz C k z 1 1 2i i .i 1/.i 2/ 3 3 i .i 1/.i 2/.i 3/ 4 4 C k z C k z C 1 2i 3i 1 2i 3i 4i
Esta igualdad es vlida suponiendo que i es sustituido por un nmero infinitamente grande, pero entonces k es un nmero finito que depende de a , como hemos visto.
1 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
Esta es, aparentemente, la primera vez que el smbolo e fue introducido para representar la base de los logaritmos naturales. 1 dt; que es la forma en que 1 t se dene la funcin logartmica en los libros de Clculo modernos. Euler se reere al hecho de que log x D Z El resto del captulo es dedicado al uso de series para calcular ciertos valores particulares de la funcin logaritmo.
x
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 innitas.
que
az D 1 C
k 2z 2 k 3z 3 k 4z 4 kz C C C C 1 1 2 1 2 3 1 2 3 4
Esta ecuacin expresa una relacin entre a y k , ya que cuando colocamos z D 1, tenemos
a D1C
k k2 k3 k4 C C C C 1 1 2 1 2 3 1 2 3 4
Cuando a D 10, entonces k es por necesidad aproximadamente igual a 2,30258 como ya hemos visto.
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 1 2 1 2 3 1 2 3 4 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 1 2 1 2 3 1 2 3 4
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.
En esta seccin nuestra presentacin diere un poco ms de la versin en ingls y nos acercamos ms a la original en latn usando en lugar de sen y cos las abreviaturas sen. y cos. Como en la seccin 116, en la versin en ingls usan j en lugar de i y adems usan i para indicar la unidad imaginaria p en lugar de 1.
Es decir, e D lim
n!1
1C
n : n
138. Una vez ms usamos las frmulas de la seccin 133, donde z es un arco infinitamente pequeo y n un nmero infinitamente grande i, as que zi tiene un valor finito v. Ahora tenemos nz D v y z D v , as que sen: z D v y cos: z D 1. Con estas sustitui i ciones,
1C
cos: v D
vp i vp i
1 i 1 i 2
C 1 2 1 1
vp i vp i
1 i 1 i
y
sen: v D 1C
z i D ez i
e Cv
p Ce v 2 p
y
sen: v D
e Cv
e v p 2 1
1
De estas ecuaciones comprendemos como se pueden expresar las exponenciales complejas en trminos de seno y coseno reales, ya que p p e Cv 1 D cos: v C 1 sen: v y
p e v 1
D cos: v
1 sen: v :
nD1 1 X
nD1 1 X in
.1 C 2i /n . 2n
. n nD1 1 X 1 1 n C i . 2 2
nD1
Hallar el radio de convergencia de cada una de las series de potencias dadas a continuacin. (1) (2) (3)
1 X n . n2
nD1 1 X
(4) 3
nD1 1 X nD1
nD1 1 X
n . n
n . 2n n .
Decimos que una sucesin compleja fn g es una sucesin de Cauchy si para todo " > 0 existe una nmero natural N tal que para todos n; m N tenemos jn m j < ": Si fn g una sucesin tal que n D an C i bn , con an ; bn 2 R para todo n. Demostrar que fn g es una sucesin de Cauchy si y slo si fan g y fbn g son sucesiones de Cauchy.
CAPTULO
10
La lectura de este artculo ser probablemente tan valiosa como la de cualquier otro. . . El motivo es sugerido por una observacin del mismo Abel, quien atribua su profundo conocimiento de las matemticas al hecho de que lea a los maestros, ms que a los discpulos. MICHAEL SPIVAK
n este ltimo captulo volvemos de nuevo a nuestra (casi olvidada) analoga con el juego del ajedrez. Por principio, las analogas se agotan y surgen diferencias entre los objetos comparados. En nuestro caso resulta que es muy difcil determinar cul es el rey en este juego, tal vez sea el conjunto de todos los problemas o algo as. Sin prestar mucha atencin a este detalle, ni tampoco preguntarnos cul es el equivalente a la reina, dedicaremos nuestro esfuerzo al estudio de algunos jaques magistrales, siguiendo una tradicin de los aprendices del juego que consiste en estudiar las partidas jugadas por los grandes maestros. Como hemos notado, los trabajos sobre el tema de sumas innitas de Newton, Leibniz, sus contemporneos y las generaciones inmediatas ampliaron enormemente los horizontes matemticos, pero en muchos casos dejaron los fundamentos un poco vulnerables. Motivados por diferentes crticas e inconsistencias, algunos matemticos se dieron a la tarea de dar un tratamiento riguroso a los problemas relacionados con la convergencia (y muchos otros en Clculo que permanecan bajo un velo de misterio). Entre todos estos pensadores surge en forma muy notable el nombre del matemtico noruego Niels Henrik Abel. Abel mostr desde muy temprana edad un talento especial para las matemticas y antes de iniciar los estudios universitarios ya se encontraba realizando investigacin sobre algunos de los problemas ms importantes de su poca. Cuando se retir el profesor de matemticas de su universidad todos estaban de acuerdo en que la ctedra debera quedar a cargo de Abel,
191
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.
Journal fr reine und angewandte Mathematik, herausgegeben von Crlle, Bd. 1. Berln 1826.
Consideremos la siguiente expresin n n .n 1/ .x C /n D x n C .x C /n 1C . 2/.x C 2/n 2C 1 1:2 n .n 1/ : : : .n C 1/ C . / 1 .x C /n C 1:2::: n C . .n 1//n 2 .x C .n 1// C . n /n 1 I 1 siendo x, y cantidades cualesquiera, n un entero positivo. Cuando n D 0, la expresin queda
.x C /0 D x 0 ;
la cual es evidente. Podemos, como lo hacemos a continuacin, demostrar que si la expresin es cierta para n D m, entonces es cierta para n D m C 1, es decir que se cumple en general. Sea m m .m 1/ .x C/m D x m C .x C /m 1C . 2/.xC2/m 1 1:2 m C . .m 1//m 2 .x C .m 1// C . m /m 1 Multiplicando por .m C 1/dx e integrando, tenemos
.x C /m C1 D x m C1 C
2 1
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 .m 1/ m C .m 1/m . 2/m 2 .m 2/m 2 . 3/m 3 C ; 2 2:3 . .m C1//m C1 D . 1/m C1 .m C1/m C1m m C1 .m C1/m m m
C .m C 1/m .m 2 1/m
1
m .m C 1/m m D . 1/
m m m
2/ m
C C:
Multiplicando la primera de estas ecuaciones por .m C1/ y sumando el producto con la segunda, obtenemos C D . o sea C D .
.m C 1//m : .m C 1//m C1 C .m C 1/. .m C 1//m ;
Por tanto, la ecuacin propuesta se verifica tambin para n D m C 1 y tambin es cierta para n D 0; as por tanto se cumple para n D 0; 1; 2; 3 etc. es decir, la ecuacin es cierta para todo valor entero positivo de n. Si suponemos D 0 obtenemos la frmula del binomio. Si tomamos D x, entonces tenemos
0 D xn
n x .x C /n 1
n .x C /n 1
la cual es bien conocida; ya que el segundo miembro de esta ecuacin no es otra cosa que
. 1/n .x n
1
/;
SERIE BINMICA
Esta es la memoria XIV en el tomo I de las uvres Compltes de Niels Henrik Abel, ([18], pp. 219-250), titulada Recherches sur la Srie 1C m xC m.m2 1/ x 2 C 1 1 m.m 1/.m 2/ 3 x C , fue escrita originalmente en francs y publicada en 123 la revista de Crelle en 1826 (la versin en alemn fue obra de Crelle). La parte traducida aqu comprende las pginas 219-247.
Aparentemente para la poca no se acostumbraba colocar el punto nal despus de una frmula cuya parte nal era : : : (esto se hace consistentemente a lo largo del artculo).
Journal fr reine und angewandte Mathematik, herausgegeben von Crelle, Bd. 1. Berln 1826.
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 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
1
/.v0 C v 1 C v 2 C v 3 C C u 2v n
2
/ D u 0v 0
C .u 0 v n C u 1 v n
C u n v 0/ C
Esta ecuacin es cierta siempre que las series u 0 C u 1 C y v 0 C v 1 C sean finitas. Pero cuando son infinitas, es necesario que sean convergentes, ya que una serie divergente no tiene suma; luego la serie del segundo miembro tambin converge. Solamente con esta nica condicin la expresin considerada arriba es cierta; pero, si no me equivoco, hasta el presente no se ha demostrado. Este es el objetivo de este ensayo. Tambin varias operaciones similares se justifican, por ejemplo el procedimiento comn de dividir una cantidad por una serie infinita, el de la elevacin de una serie infinita a una potencia determinada, el de la determinacin de su logaritmo, de su seno, de su coseno, etc. Otro procedimiento que hallamos con frecuencia en anlisis y que muchas veces conduce a contradicciones, es el de establecer las series divergentes por la evaluacin de valores numricos. Una serie divegente nunca puede ser igualada a una cantidad determinada; es solamente una expresin alegre de ciertas propiedades que se parecen a aquellas de las series de las cuales se derivan.
.n
1/ n x C
Cuando m es un nmero entero positivo, vemos que la suma de esta serie se reduce a un caso finito, la cual representamos por .1 C x /m . Cuando m no es un nmero entero, la serie es infinita, y ser convergente o divergente, dependiendo de los diferentes valores asignados a m y x . En tal caso escribimos la misma igualdad
.1 C x /m D 1 C
m .m 1/ 2 m xC x C 1 1:2
m m .m 1/ 2 xC x C 1 1:2
tienen ciertas propiedades comunes, para ciertos valores de m y de x , dependiendo de la igualdad numrica de las expresiones. Asumimos que la igualdad numrica se cumple siempre que la serie sea convergente; pero hasta el presente este hecho no ha sido demostrado. Ni siquiera todos los casos en que la serie es convergente han sido examinados. Si suponemos la existencia de la igualdad indicada, falta investigar el valor de .1 C x /m , ya que esta expresin tiene en general una infinidad de valores diferentes, mientras que la serie 1 C m x C tiene solamente uno. El objetivo de esta memoria es el de llenar una laguna existente en la solucin completa del siguiente problema: ''Hallar la suma de la serie
1C
m m .m 1/ 2 m .m 1/.m xC x C 1 1:2 1 : 2: 3
2/
x3 C
''para todos los valores reales o imaginarios de x y de m para ''los cuales la serie es convergente.''
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 vericadas (ver A mathematicians miscellany, por J. E. Littlewood, Cambridge University Press, Cambridge, 1997. pag 164).
La expresin para todos los valores crecientes de m se reere, por supuesto, a la idea de sucesin.
) es una forma antigua (y fuera de uso) de etiquetar las notas al pie de pgina.
se denomina convergente, si para todos los valores crecientes de m , la suma v 0 C v 1 C v 2 C C v m se aproxima indefinidamente a un cierto lmite. Este lmite se denomina la suma de la serie. En caso contrario se dice que la serie es divergente, y no tiene suma. De acuerdo con esta definicin, para que una serie sea convergente, es necesario y suficiente que para todos los valores crecientes de m , la suma v m C v m C1 C C v m Cn se aproxime indefinidamente a cero, para cualquier valor de n. Luego, dada una serie convergente cualquiera, el trmino general v m se aproximar indefinidamente hacia cero ). Teorema I. Si % 0 ; %1 ; %2 : : : representa una serie de canti%m C1 , para todos los valores crecientes dades positivas, el cociente %m de m, se aproxima indefinidamente a un lmite ms grande que 1, entonces la serie
" 0 %0 C " 1 %1 C " 2 %2 C C " m %m C ;
"m es una cantidad que para todos los valores crecientes de m se aproxima indefinidamente hacia cero, ser necesariamente divergente. Teorema II. Si para una serie de cantidades positivas %0 C %m C1 %1 C %2 C C %m C el cociente , para todos los valores %m crecientes de m , se aproxima indefinidamente a un lmite ms pequeo que 1, entonces la serie " 0 %0 C " 1 %1 C " 2 %2 C C " m %m C ;
donde "m es una cantidad que para todos los valores crecientes de m se aproxima indefinidamente hacia cero, ser necesariamente convergente. En efecto, de acuerdo con nuestra suposicin 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).
Ahora, como %m Ck < k %m y < 1, resulta claro que %m tiende a cero y, en consecuencia la suma
"m %m C "m C1 %m C1 C C "m Cn %m Cn
se aproximar hacia cero. Luego la serie indicada es convergente. Teorema III. Si t 0 ; t 1 ; t 2 ; : : : t m : : : designa una serie de cantidades cualesquiera y si p m D t 0 C t 1 C t 2 C C t m es siempre menor que una cantidad determinada , entonces tenemos r D "0 t 0 C "1 t 1 C "2 t 2 C
C "m t m < "0;
donde "0 ; "1 ; "2 ; : : : son cantidades positivas decrecientes. En efecto, tenemos t 0 D p 0; t 1 D p 1 luego r D " 0 p 0 C " 1 .p 1 o tambin r D p 0 ."0
"1 / C p 1 ."1 "2 / C C pm
1 ."m 1
p 0; t 2 D p 2
p 1;
etc.
p 0 / C " 2 .p 2
p 1/ C
C " m .p m
pm
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 .
.a/ lim
m!1
m m p D 0: .a C h/ D 0:
lim f .a/
f .a C h/ D lim '.a/
h!0
m 1
v m C v m C v m C1 m C1 C
D ' ; ;
Pero f D ' C , entonces f f . / D ' '. / C ! . Adems, ' es una funcin entera de , podemos elegir suficientemente pequeo para que
' '. / D !I
o, lo que es lo mismo f f .
/ D !;
que es lo que debamos demostrar. Teorema V. Sea v 0 C v 1 C v 2 2 C una serie convergente, donde v 0 v 1 ; v 2 : : : son funciones continuas de una misma cantidad variable x entre los lmites x D a y x D b, entonces la serie f D v 0 C v 1 C v 2 2 C
;
donde < , es convergente y es una funcin continua de x entre los mismos lmites. A continuacin se demuestra que la serie f x es convergente. Luego procedemos a demostrar que la funcin f x es continua. Sea v 0 C v 1 C de donde
C vm
1
m 1
v m m C v m C1 m C1 C
D 'x;
x;
Este es el Teorema de Cauchy-Abel (Teorema 6-4). Aqu Abel confronta un problema de notacin que an hoy en da se presenta con cierta fre1 X cuencia y es el hecho de que el smbolo an denota tanto la sucesin
nD1
fv0 ; v1 ; v2 ; : : : g denota una sucesin, f%0 ; %1 ; %2 ; : : : g la respectiva sucesin de sumas parciales y p el lmite de la segunda.
f x D 'x C Pero xD
x:
luego, si designamos por x a la mayor de las cantidades v m m , v m m C v m C1 m C1 , v m m C v m C1 m C1 C v m C2 m C2 etc., tenemos por el teorema III: m x< x: Ahora tomamos m suficientemente grande para que se cumpla x D ! , y en consecuencia tambin tenemos f x D ' x C !; donde ! es menor que cualquier cantidad dada. Anlogamente f .x de donde fx f .x
/ D ' x '.x / C !: / D '.x / C !;
m C1 m C2 m v m m C v m C1 m C1 C v m C2 m C2 C
Por la forma de ' x resulta claro que podemos elegir suficientemente pequeo para que se verifique
'x '.x / D !; / D !:
es decir fx f .x 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 v0 C v1 C v2 C D p; 0 0 0 v0 C v1 C v2 C D p 0;
) En la obra de M. Cauchy citada arriba (p. 131) se encuentra el siguiente teorema: Cuando los diferentes trminos de la serie, u 0 C u 1 C u 2 C son funciones de una misma variable x, continuas con relacin a dicha variable, en una vecindad de un valor particular para el cual la serie es convergente, la suma s de la serie es tambin una funcin continua de x, en la vecindad de este valor particular. Me parece que este teorema admite algunas excepciones. Por ejemplo la serie sen x
1 2
sen 2x C
1 3
sen 3x
es discontinua para todo valor .2m C 1/ sabemos muchas series son de este tipo.
Aqu se presenta una inconsistencia de notacin con los %k similar a la indicada arriba.
, donde
C v 2v m
C v m v 00
Demostracin.
Considerando pm D v0 C v1 C v2 C ; 0 0 0 0 pm D v0 C v1 C v2 C ;
r0 C r1 C r2 C
C r 2m D p m p m 0 C p 0 v 2m 0 C p 1 v 2m C p 0 v 2m C p 1 0 v 2m 1 C C p 0 m 1 v m C1 .D t 0 /: C pm
0 1 v m C1 0
C .D t /
Sea
%0 C %1 C %2 C %0 C %1 C %2 C
0 0 0
D u 0; C C %0 m C1 /
D u;
C %m C1 /:
Pero si las series % 0 C%1 C%2 C y %0 0 C%1 0 C%2 0 C son convergentes, entonces las cantidades t y t 0 , se aproximan indefinidamente al lmite cero, para valores siempre crecientes de m. Haciendo que m tienda a infinito en la ecuacin (a), tenemos r0 C r1 C r2 C r3 C
D .v 0 C v 1 C v 2 C /.v 0 0 C v 1 0 C v 2 0 C /:
Si t 0 ; t 1 ; t 2 ; : : : ; t 0 0 ; t 1 0 ; t 2 0 : : : dos series de cantidades positivas o negativas, cuyos trminos generales se aproximan indefinidamente hacia cero, se sigue por el teorema II que las series t 0 Ct 1 Ct 2 2 C y t 0 0 C t 1 0 C t 2 0 2 C , donde designa una cantidad inferior a la unidad, son ambas convergentes. Esto es lo mismo que asignar a cada trmino su valor numrico luego, por el teorema anterior:
Esta es una aplicacin del Teorema del Lmite de Abel (Teorema 6-4).
Aqu hay una pequea inconsistencia o tal vez un error de imprenta. Lo importante es tomar en cuenta que ' no denota la funcin denida por la ecuacin (1), sino el argumento del nmero complejo x. Esta es una nota de los editores de las uvres Compltes.
(b)
.t
2 /.t 0 0 C t 1 0 C t 2 0 2 C / 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 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 D t 0 t 0 C .t 1 t 0 C t 0 t 1 / C .t 2 t 0 0 C t 2 t 1 0 C t 0 t 2 0 / C /.t 0 0 C t 1 0 C t 2 0 C
0 0
/
0
3. A continuacin examinamos la serie propuesta, x2 C : 1 1:2 Designando por ' m, y adoptando la siguiente notacin para abrem viar 1 D m 0 , m D m 1 , m .1 : 2 1/ D m 2 , y en general m .m 1/:::.m m C1/ D 1 1 : 2:::m m , es decir
1C
m
xC
m .m
1/
(1)
' m D m 0 C m 1 x C m 2x 2 C
Cm x C
A continuacin hallamos los valores de m y de x para los cuales la serie es convergente. Las cantidades m y x son en general imaginarias, as ). donde a,b, k, k 0 son cantidades reales. Por tanto los valores en la ecuacin (1) tienen la forma
' m D p C qi ;
x D a C bi ; m D k C k 0 i ;
donde p y q son dos series cuyos trminos tienen valores reales. Podemos hallar estas series de la siguiente manera: Sean
.a 2 C b 2 / 2 D ;
1
a D cos ';
b D sen '; a
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 n 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 i sen. ' C
C
1
C
2
/ C /;
k C k 0i
C1
k0
2 # 1 2
I cos
C1
I sen
k0 :
Si en la expresin m
C1 D .cos C i sen /;
tomando sucesivamente los valores 1; 2; 3; : : : , obtenemos ciones que multiplicadas trmino a trmino resultan m D
1/ : : : .m 1:2::: D 1 2 3 : : : cos. 1 C
ecua-
m .m
C 1/
2
/ C i sen.
/:
As obtenemos, multiplicando por x D .cos ' C i sen '/ D .cos ' C i sen '/ W m x D 1 2 3 : : : cos. ' C
1
C i sen. ' C C C
C
1
/
2
/;
m x D
.cos C i sen /:
D W
C l .cos C i sen / C
concluimos que
' m D 1 C l 1 cos 1 C l 2 2 cos 2 C C il 1 sen 1 C l 2 2 sen 2 C C cos C
C l sen C
/:
Luego
(2) (
p D 1 C l 1 cos 1 C l 2 2 cos 2 C qD
l 1 sen 1 C l 2 2 sen 2 C
C l cos C
C l sen C
Entonces las series sern divergentes o convergentes, dependiendo de que sea superior o inferior a la unidad.
tenemos que l
C1
C1
C1 l
, luego
C1
C1 l
C1 I
k
C1
C1
k0 C1
2 # 1 2
, tenemos que se C1 C1 tiende al lmite l . Luego, por los teoremas I y II de la seccin anterior, las series p y q son convergentes o divergentes, dependiendo de que sea superior o inferior a la unidad. Y esto es exactamente la serie propuesta ' m. El caso D 1, ser tratado ms abajo. Como la serie ' m es convergente para todo valor de inferior a la unidad, entonces la suma es una cierta funcin de m y de x. A continuacin, establecemos una propiedad de esta funcin con la ayuda de la que deseamos hallar: Tenemos
' m D m 0 C m 1 x C m 2x 2 C ' n D n 0 C n 1x C n 2x C
2
Cn x C
Cm x C
; ;
' m : ' n D t 0 t 0 0 C .t 0 t 1 0 C t 1 t 0 0 / C .t 0 t 2 0 C t 1 t 1 0 C t 2 t 0 0 / C C .t 0 t 0 C t 1 t 0 1 C t 2 t 0 2 C C t t 0 0 / C
donde t D m x , t 0 D n x , suponiendo que la serie del segundo miembro sea convergente. Sustituyendo los valores de t y t 0 tenemos
'm :'nD m 0 n 0 0 C .m 0 n 1 C m 1 n 0 /x C .m 0 m 2 C m 1 n 1 C m 2 n 0 /x 2 C C .m 0 n C m 1 n
1
C m 2n
C m n 0 /x C
C m 2n
C m n 0;
donde .m C n / designa el valor de m cuando sustituimos m por m C n. Entonces por sustitucin tenemos
De acuerdo a lo anterior, el segundo miembro de esta ecuacin es una serie convergente y exactamente '.m C n /; as
(3) ' m : ' n D '.m C n /:
Esta ecuacin constituye una propiedad fundamental de la funcin ' m. De esta propiedad deducimos una expresin de la funcin en forma finita usando funciones exponenciales, logartmicas y circulares. Como vimos arriba, la funcin ' m es de la forma p C qi, siendo p y q siempre funciones reales y continuas de las cantidades k, k 0 , y ' , y m D k C k 0 i, x D .cos ' C i sen '/. Sea p C qi D r .cos s C i sen s /; p q D cos s ; D sen s ; r r siendo r siempre positivo y s una cantidad real. Si escribimos
.p 2 C q 2 / 2 D r ;
1
donde
r D f .k ; k 0 /; resulta
(30 )
sD
.k ; k 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 /;
siendo m un nmero entero positivo o negativo. Ahora usando las propiedades de las funciones f .k ; k 0 / y .k ; k 0 / de las ecuaciones (4) y (5). De acuerdo con esto son funciones continuas de k y k 0 entre dos lmites cualesquiera de las variables. En efecto, de acuerdo con el teorema V, p y q son, evidentemente, funciones continuas. Entonces tenemos q 1 p ; sen .k ; k 0 / D I f .k ; k 0 / D .p 2 C q 2 / 2 ; cos .k ; k 0 / D 0/ f .k ; k f .k ; k 0 / donde f .k ; k 0/, al igual que cos .k ; k 0 / y sen .k ; k 0 /, es una funcin continua. Podemos suponer que .k ; k 0 / es tambin continua. Ahora pasamos a examinar la ecuacin (5). La funcin .k ; k 0 / es continua por el hecho de que m tiene el mismo valor para todos los valores de k , k 0, l, l 0 . Asignando sucesivamente los valores l D 0, k D 0, obtenemos
.k ; k 0 C l 0 / D 2 m .l ; k 0 C l 0 / D 2 m C C .0; k 0 / C .k ; 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 ; k C l D a C .k C l /:
luego
(7)
2 k D a C .2k /;
k C .%
Luego, considerando k D 1,
% D %.1/
a C a;
y tomando .1/
(8)
a D c,
% D c % C a :
Es decir dado el valor de la funcin k, cuando k es un nmero entero. Adems la funcin k tiene la misma forma para todo valor de k , lo cual podemos demostrar fcilmente, como hacemos un a continuacin. Si en la ecuacin (7 0 ) tomamos , siendo % nmero entero, nos queda % : D .% 1/a C . Luego, por la % ecuacin (8) D c C a; luego, sustituyendo y dividiendo por %, tenemos Dc C a: % % La ecuacin (8) se verifica para todo valor positivo y racional de %. Sea l D k, la ecuacin (7) se convierte en
k C . k / D a C .0/:
Entonces, tomando k D 0
.0/ D a ;
por tanto
. k / D 2a . k / D k:
.0; k 0 / C
.0; l 0 /:
Vemos que .k 0 ; l 0 / es una funcin continua de k 0 C l 0 . Designando esta funcin por F .k 0 C l 0 /, queda y, en consecuencia, tomando l 0 D 0, Notemos que
.k ; k 0 C l 0 / D 2 m .0; l 0 / D 0 l 0 C .k ; k 0 / C 2m ; .0; l 0 /; .k ; k 0 C l 0 / D F .k 0 C l 0 / : k C 0 .k 0 C l 0 / .k ; k 0 / D Fk 0 : k C 0 k 0 2m : 2m ;
siendo 0 una cantidad independiente de k 0 . Colocando l 0 en lugar de k 0 , obtenemos .0; l 0 / D 2m C 0 l 0 . Sustituyendo los valores de .0; k 0 / y .0; l 0 / en la ecuacin (10) nos queda .k ; k 0 C l 0 / D .k 0 ; l 0 / : k C 0 .k 0 C l 0 / 2m :
Esta ecuacin tiene la misma forma que la ecuacin (7) y de manera anloga .0; k 0 / D 0 k 0 2m ;
entonces la ecuacin anterior queda as F .k 0 C l 0 / : k C 0 .k 0 C l 0 / 2 m es decir: Tomando k 0 D 0, obtenemos Fl 0 D F .0/ D D Fk 0 . Entonces se sigue que el valor de .k ; k 0 / es de la forma,
(11) 0 D 2m C Fk 0 : k C 0 k 0 2m C 0 l 0 2m ;
F .k 0 C l 0 / D Fk 0 :
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 Puesto que f .k ; k 0 / es siempre una cantidad positiva, podemos escribir 0 f .k ; k 0 / D e F . k ; k / ; donde F .k ; k 0/ representa una funcin real continua de k y k 0 . Sustituyendo y aplicando logaritmo a los dos miembros, tenemos f .k C l ; k 0 C l 0 / D f .k ; k 0 /f .l ; l 0 /:
.k ; k 0 / D k C 0 k 0
2m ;
F .k C l ; k 0 C l 0 / D F .k ; k 0 / C F .l ; l 0 /: Como esta ecuacin coincide con la ecuacin (5), colocando F en lugar de y 0 en lugar de m , por la ecuacin (11) resulta
(12)
F .k ; k 0 / D k C 0 k 0 ;
donde y 0, al igual que y 0 , son dos cantidades independientes de k y de k 0 . La funcin f .k ; k 0 / tiene la forma
0 0 f .k ; k 0 / D e k C k
donde falta hallar las cantidades , 0, , 0 , que no dependen de las funciones y ' . As tenemos
'.k C k 0 C i / D p C qi ;
donde p y q estn dadas por las ecuaciones (2). Separando las cantidades reales de las imaginarias resulta
(14)
e k
C 0 k 0 C
e k
C 0
k sen. k C 0 k 0 /
0
A continuacin consideramos el caso donde m es real, es decir, cuando k 0 D 0. Las ecuaciones (14) toman la forma k k .k 1/ 2 e k cos k D 1 C cos ' C cos 2' 1 1:2 k .k 1/.k 2/ 3 C cos 3' C 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 1:2:3
(15)
D f
D :
Para determinar y , tomemos k D 1, entonces e cos D 1 C cos 'I Luego e sen D sen ':
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
DsC ;
siendo un nmero entero positivo o negativo. De las ecuaciones (15) se obtiene: f D e k cos k .s C
/ D e cos ks cos k
e sen ks : sen k
C e cos ks : sen k
; :
D e k sen k .s C
/ D e sen k s cos k
k k
De donde
cos k sen k De De
f : sen ks /:
Ahora, de acuerdo con el teorema IV, las funciones y f son continuas de ; en consecuencia cos k y sen k conservan los mismos valores para todo valor de . Por tanto, para hallarlos es suficiente asignar a un valor cualquiera. Sea D 0, observando que e D 1, f D 1, D 0, s D 0, tenemos
cos k D 1; sen k D 0:
Sustituyendo los valores en las expresiones de f y , y recor1 dando que e D .1 C 2 cos ' C 1 / 2 , obtenemos f D .1 C 2 cos ' C 1 / 2 cos ks ;
k
Entonces las ecuaciones (15) se transforman en: 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
D .1C2 cos 'C 1 / 2 cos ks ; k k .k 1/ 2 k .k 1/.k 2/ 3 sen 'C sen 2' C sen 3'C 1 1:2 1:2:3 D .1C2 cos 'C 1 / 2 sen ks ;
k k
(16)
Aqu siguen unos clculos bastante detallados para deducir las ecuaciones (18) abajo.
yC
y satisface
Las expresiones (16) fueron establecidas por primera vez por M. Cauchy en la obra citada arriba.
(18)
1 C l cos
1
C l 2 2 cos 2 C
2 2
e k e k
k 0C
cos C
l 1 sen 1 C
sen 2 C
C l sen C
k 0C
cos. k C k 0 / D p ;
donde
D
1 2
D arc.tang
m .m 1/ 2 m xC x C 1 1:2
m .m
k 0C
1/ : : : .m 1:2:::
x C
D e k
cos. k C k 0 / C i sen. k C k 0 /:
1 2
b : 1Ca
log.1 C a /2 C b 2 ;
sen ' D b ;
Parece que en algunos casos Abel usaba arc. tang como una abreviatura ms que un smbolo matemtico.
Seguidamente Abel presenta una cantidad de clculos desarrollando los casos para diferentes valores de a, b,: : :
Esto corresponde al apartado A de la seccin 5 donde Abel examina la convergencia de las series.
(19) 1C
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 D cos m arc tang 1Ca 1 n log.1 C a /2 C b 2 2 i b 1 Ci sen m arc tang 1Ca 2 n log.1 C a /2 C b 2
.1 C a /2 C b 2
m
2
Como sabemos esta expresin es cierta, al igual que la exprep sin (18), para todo valor de D a 2 C b 2 inferior a la unidad. Considerando, por ejemplo b D 0, n D 0, tenemos la frmula
(20) 1C
m .m 1/ 2 m aC a C 1 1:2
D .1 C a /m ;
A.
1 Sumacin de las series cos ' 2 2 cos 2' C 1 3 cos 3' 3 1 sen ' 1 2 sen 2' C 3 3 sen 3' : 2
Si suponemos que es superior a la unidad tenemos que las series son divergentes. Si es inferior a la unidad, tenemos que las series indicadas arriba son convergentes y sus sumas son las cantidades y de la seccin 3. y en consecuencia y estn dados por las ecuaciones (18),
(34)
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
1 2
log.1C2 cos 'C 2 /D cos ' sen ' arc. tang D sen ' 1 C cos '
; ;
(35)
1 2'
D sen '
1 2
).
Cuando ' D o ' D , la serie se reduce a cero, como sabemos. Tambin sabemos que la funcin:
sen '
1 2
sen 2' C
1 3
sen 3'
tiene la notable propiedad de ser discontinua para los valores ' D y'D . En efecto, cuando ' D , la funcin se reduce a cero, mientras que si ' D . /, siendo o un nmero positivo menor que , el valor de la funcin es : 2 2
SERIES
La memoria XVI en el tomo II de las uvres Compltes de Niels Henrik Abel, ([18], pp. 197-205), son extractos de un conjunto de notas tituladas Sur les Sries, escritas originalmente en francs en la segunda mitad del ao 1827, parecen formar parte de un proyecto ms general y fueron publicadas pstumamente (como todo el material del tomo II).
A diferencia del artculo anterior aqu se usa el punto despus de : : : en una ecuacin que aparece al nal de un prrafo.
Esta es la condicin de Cauchy. La palabra lmite se usa aqu no en el sentido matemtico moderno sino como sinnimo de extremo (de un intervalo, en este caso).
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 u1 u2 u3 C C C s0 s1 s2
C un C
un s n
1
un
sn 1 sn 0 s n > log s n
> log
sn
1
C log log s 0 I
sn sn
1 2
C log
s1 C s0
Esta es la primera vez que la notacin para series aparece aqu, lo cual no signica 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 denies, pp. 16.
Aparentemente la notacin convencional para lmites no estaba plenamente establecida en los das de Abel y parece que l usaba lim. como una abreviacin de la palabra lmite.
un s n
1
sn1
sn
D .s n
un/
sn
> sn
C s n
: un D :
un s n 1C
en consecuencia la serie
un s n 1C
n C1
es convergente. Si la serie ' n es divergente, se sigue que para una serie convergente cualquiera , el ms pequeo de los lmites u n sea cero. 'n En efecto, supongamos que por el contrario u n D p n : 'n; donde p n no sea mayor que . Luego
un > : 'n;
es, en consecuencia, divergente. 1 Sabemos que la serie n es divergente, luego para que una serie u n sea convergente, es necesario que el ms pequeo de los lmites de nu n sea cero. Pero esta no es una condicin suficiente. En general podemos demostrar que no existe una funcin ' n tal que toda serie u n sea convergente si lim:.' n : u n / D 0, y divergente en caso contrario. En efecto, la serie 1 'n es divergente de acuerdo con la hiptesis, y la serie siguiente
1 ' n : '.n1
1/
es convergente; pero sabemos que esta serie es divergente al igual que la anterior. Por tanto M. Olivier est seriamente equivocado. La serie
1 1 C 2 3 1C
1 2
1 4 1C
1 2
1 3
n 1C
1 2
1 3
C n11
es divergente. Pero
log.1 C n / 1 1 log n D log 1 C < ; n n C 1 > log n :
luego
1 1 C C 2 3 En consecuencia, la serie 1C
1 C n log n
'.n C 1/
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
entonces la serie
' n D ' 0 .n C l / < ' 0.n C 1/; .l < 1/; 1 1 1 ' 0n < m .n m n / 1 ; 1 1 log 1/ .log 1 1 1 ' 0.n 1/ < ; m .n m .n 1 1 log 2/ log 1/ 1 : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 1 1 ' 0.a / C ' 0.a C 1/ C C ' 0n < ; m 1 log .a 1/ 1
es convergente.
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 En efecto, en el primer caso tenemos
> 1;
> .logm n /1C ; u n : n : log n : log n : log3 n : : : logm 1 n 1 un < ; 2 3 n : log n : log n : log n : : : logm 1 n : .logm n /1C etc.
2
Si
lim : log u1n
d logm n dn logm C1 n
> 1; < 1; D 1;
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 .
Si '0 .y / C '1 .y / : x C '2 .y / : x 2 C C ' n .y / : x n C D f .y / es convergente para todo valor de x menor que , y todo valor de y desde (inclusive) hasta otra cantidad cualquiera, tenemos
lim: f .y / D lim: '0 .y /Cx : lim: '1 .y / y D ! y D ! y D ! D A 0 C A 1x C
C An xn C
D B;
R D '0 .
!/
!/
D '0 .
A 0 C x 1 '1 .
C 'n .
C 'n .
A 0 C '1 .
!/ !/
!/
n
A n x C
A 1 : x C
!/ : x 1
A 1 x 1 x 2 C
A n x n x n C 1 2
A 1x 1; : : : ;
entonces f .
!/ D R C
k
1
x2
'm .
m !/ : x1
A m x m ; 1
donde k es un nmero comprendido entre C1 y 1. El coeficiente k converge para valores decrecientes de ! que tienden a cero, luego y D
lim: f .y / D R D A 0 C A 1 x C A 2 x 2 C A 3 x 3 C
!
Por tanto tenemos el siguiente teorema: Si '0 y ; '1 y ; : : : son funciones continuas de y entre y , si adems la serie f .y / D ' 0 .y / C ' 1 .y / : x C ' 2 .y / : x 2 C es convergente para todos los valores de x menores que , entonces f .y / es tambin una funcin continua de y.
Este uso de la expresin Lim. sugiere la idea de mi interpretacin de la notacin usada por Abel.
es convergente si x < 1, para cualquier y; entonces f .y / es una funcin continua de y desde 1 hasta C1. f .y / D sen y : x C
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
es convergente si x < 1, para todo y. Luego f .y / es una funcin 1 continua de y . Si por ejemplo y converge hacia 0 , entonces f .y / converge hacia cero. Por el contrario x D 1, la serie an es convergente, pero para valores crecientes de y , f .y / converge hacia , y 2 no hacia cero. Nota I. Si una serie
' 0 .y / C ' 1 .y / : x C ' 2 .y / : x 2 C C ' n .y / : x n C
es convergente para x < y y < , entonces la serie siguiente nunca es convergente: A0 C A1 : x C A2 : x2 C por ejemplo
sen ay sen a 2 y C xC y y C sen a n C1 y n x C y C An : xn C I
a C a 2x 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
Este es, evidentemente, un error de imprenta. Por supuesto tanto en la igualdad como en la desigualdad se trata de am en lugar de am en el primer trmino.
R D lim: .a m x m C a m C1 x m C1 C a m C2 x m C2 C x D !
donde a m ; a m C1 ; : : : son positivos, [y sean] !/n D n ; p n !D 1 ; .
m m C1
C a m Cn x m Cn /;
[tenemos]
R > .a m C a m C1 m C1 C
etc.
R D a m n C a m C1 m C1 n
C a m Cn m Cn / n
C a m Cn m Cn : n C1 ;
m C1
Sea
f x D .a 0 C a 1 x Ca 2 x 2C
una serie convergente, si x < 1. Sean
.0/
.0/
.0/
/ C .a 0 Ca 1 x Ca 2 x 2C C
.1/
.1/
.1/
/C /C
.n / .n / .n / .a 0 Ca 1 x Ca 2 x 2C
A 0 D lim: .a 0 C a 0 C a 0 C nD 1 0 A 1 D lim: .a 1 C a 1 C a 1 C nD 1 0
tenemos si la ltima serie es convergente. [Escribiendo]
.n / .0/ .1/ .2/
.0/
.1/
.2/
C a 0 /; C a 1 /; C Am xm C
.n /
.n /
etc.,
f x D A 0 C A 1x C A 2x 2 C
f n x D A0 C A1 C A2 C
se deduce que
.n /
.n /
C A m .n / C
f x D A 0 C A 1x C
C Am xm C
que
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 es decir: f .x C !/ D f x C
C .a 1 C 2 a 2 x C
f .x C !/ D a 0 C a 1 .x C !/ C a 2 .x C !/2 C
x C ! < 1I
;
/! C
f 0x f 00 x 2 !C ! C ; 1 1:2 si esta serie es convergente. Entonces lo ser siempre: Tenemos f nx .n C 1/.n C 2/ D a n C .n C 1/a n C1 x C a n C2 x 2 C ; 1:2:::n 1:2 f nx .n C1/.n C2/ n xn D x n a n C.n C1/a n C1 x 1 C1 C a n C2 x n C2 C 1 1 1 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 1 x 1x 2 1 x2 1 x2 !n f n x lim: D cero, luego etc. nD1 1 : 2 : : : n 0 f nx
RESEA BIBLIOGRFICA
Los libros se hacen a partir de un rbol. Es un conjunto de partes planas y exibles (llamadas todava hojas) impresas con signos de pigmentacin oscura. . . La escritura es tal vez el mayor de los inventos humanos. Un invento que une personas, ciudadanos de pocas distantes, que nunca se conocieron entre s. Los libros rompen las ataduras del tiempo. . . CARL SAGAN
l tema de series, de una u otra forma se encuentra presentado en cualquier texto de Clculo o de Clculo avanzado. Entre todos los libros disponibles sugerimos los siguientes que son verdaderos clsicos de la disciplina.
[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
. . . Euclides, que sistematiz de modo brillante la geometra y que en cierta ocasin dijo a su rey, que luchaba con un difcil problema matemtico: no hay camino real hacia la geometra. . . CARL SAGAN
n esta seccin se ofrece indicaciones generales para resolver algunos de los problemas del texto. En cada caso se presenta la idea principal con una referencia sobre su aplicacin y se deja al lector la tarea de desarrollar los detalles.
E
1
CAPTULO 1
(1) an D .1=2/n (3) an D 3 (2) an D .3=2/
n 1 1
. . 1 si n es par, o
n 1 n
=2 .
(5) an D . 1/n 1=2 =n para n impar y an D 0 para n par. Una versin muy elegante es an D sen.n =2/=n. n nC1 1 1 2 (1) an D D 1C . 1 nC1 n n 1C n Entonces lim an D 0:
n!1
(2) Observemos que para n D 4k, k 2 N tenemos que an D cos.2k / D 1; mientras que para n D 2k 1, k 2 N se cumple que an D cos.2k / D 0. Por tanto la sucesin diverge. (3) Por la Regla de LHpital tenemos
x!1
lim
(7) Como en la parte (6) podemos probar que 1 . 1/n 1 n n n por tanto para todo n,
Por otro lado tenemos que la sucesin f1 C . 1/ng diverge, luego . 1/n 1 C . 1/n la sucesin an D C es divergente. n 2 (8) lim 21=n D 20 D 1.
n!1
(9) Para n par tenemos que . 1/n D 1, por tanto f2; 4; 6; : : :g es una subsucesin divergente de fan g. 0, de donde p 3 n2 cos.n/ D 0: nC1 1 n C1 2 : n 1 C2 2 (10) Sabemos que 1 cos.n/ 1 para todo n. Adems lim n2=3 D n!1 n C 1
n!1
lim
an D
lim an D
1 : 2
n!1
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 n2 es divergente. (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
(16) Si a D b D 0 es evidente que la sucesin converge hacia 0. Ahora, sea D max.a; b/ > 0, entonces p n an D an C b n D luego
n!1
r
n
1 .an C b n / D n
s
n
a n C
n b ;
lim an D :
5 (a) Supongamos que xn ! < 0. Entonces aplicando la denicin de lmite para " D tenemos que existe un N , tal que para todo n N se cumple que jxn Es decir < xn De donde 2 < xn < 0 para todo n pero esto contradice la hiptesis. (b) Aplicar la parte (a) a la sucesin denida por an D xn (c) Tomar xn D 1=n. yn . N; < para todo n N: j < :
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 1 2 1 2 1 3 1 1 2 1 3 1 4
. % . % .
1 2 2 2 2 2 3 2
% . % . %
1 3 2 3 2 3 3 3
. % . % .
1 4 2 4 2 4 3 4
% . % .
: : :
: : :
: : :
: : :
y luego utilizar el hecho de que todo intervalo abierto contiene algn nmero racional. 9 Dado " > 0 existe un N 2 N tal que para todo n jan Luego jaN C aN C1 C de donde 1 N C M .aN C aN C1 M` M `/ N CM M" " < : < 3.N C M / 3 C aN CM M `j < M" ; 3 `j < " : 3 N se cumple
C aN CM
Podemos elegir M sucientemente grande para que se cumpla que M` " " 1 < N C M ` 3 y N C M .a1 C a2 C C aN / < 3 : Luego 1 N C M .a1 C C aN CM `/ < ":
Para una segunda demostracin consideremos f .x/ D jxj para todo x y apliquemos el Corolario 1-15. (b) Consideremos an D . 1/n para todo n. 17 Tomemos D fan g, D fbn g, D fbn g 2 M. (a) jan bn j 0 para todo n, por tanto supfjan bn jg 0. Si supfjan bn jg D 0, entonces jan bn j D 0 para todo n, es decir an D bn para todo n. La proposicin recproca se prueba en forma anloga. (b) Esta es una consecuencia inmediata del hecho de que jan para todo n. (c) Por la desigualdad triangular para nmeros reales tenemos jan entonces supfjan bn jg supfjan supfjan cn j C jcn cn jg C supfjcn bn jg bn jg: bn j jan cn j C jcn bn j; bn j D jbn an j
18
Ahora probaremos que PA1 es cierta a partir de PA3. Sea x un nmero real cualquiera, para k D 1 existe un n 2 N tal que x < n.
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 .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 1 X 2n C 3n X 1 n X 1 n 3 (3) D C D . n 6 3 2 2
nD1 nD1 nD1
entonces
1 X
1 sen y lim x sen D lim D 1; x!1 y!0 y x entonces la serie (10) Recordando que
1 X
n sen
nD1
1 es divergente. n
3 4 5
Consideremos an D . 1/n. La serie Consideremos D fan g; D fbn g; (a) Puesto que .an b n /2
1 dx D arctg x, entonces es fcil ve1 C x2 1 X Z nC1 1 ricar 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 denir bn D an . Z X an diverge y lim an D 0. n!1 n D fcn g 2 `2 .R/.
de sumas parciales sn
.an
nD1
bn /2 D 0;
kD1
n X
xk 2 C
kD1
n X
yk 2 ;
Luego
p
kD1 n X
kD1
.xk C yk /2
kD1
n X
xk 2 C
p p p
kD1
n X
yk 2 :
.ak
bk /
kD1
n X
.ak
ck / C
kD1
n X
.ck
b k /2 :
7 (a) Supongamos que X D fx1 ; x2 ; : : : ; xN g es nito. Dado " > 0 consideremos la coleccin de intervalos xi "=4N; xi C "=4N , i D 1; 2; : : : ; N . Entonces
N Xh iD1
nD1
1 X
.an
bn /
nD1
1 X
.an
cn / C
nD1
1 X
.cn
b n /2 :
xi C
" 4N
xi
(b) Supongamos que X D fx1 ; x2 ; : : : g. Dado " > 0 consideremos la coleccin de intervalos xn "=2nC1; xn C "=2nC1, n D 1; 2; : : : . Entonces
1 Xh .xn C
" 2nC1
xn
nD1
2nC1
" i
D"
nD1
1 X
1 2nC1
(c) Dado " > 0 para cada n existe una coleccin numerable de intervalos anm ; bnm tal que Xm y
1 X 1 [
.anm ; bnm/
nD1
`nm <
" 2mC2
nD1
mD1
1 [
Xm
m;nD1 1 X
1 [
.anm ; bnm/;
mD1
1 X
`nm D
mD1
(d) Notemos que el complemento 0; 1 n C del conjunto de Cantor es la unin numerable de intervalos cerrados, uno de los cuales 1 1 1 tiene 3 , dos miden 32 , cuatro miden 33 y as sucesivamente. Entonces tenemos que medida de 0; 1 n C D de donde medida de C D 1 medida de 0; 1 n C D 0:
1 1 X 2n 1X 2 n D D 1: 3nC1 3 3 nD0
nD0
(e) Un rectngulo cerrado en R2 es el producto cartesiano a; b c; d , siendo a; b y c; d intervalos cerrados (anlogamente denimos los rectngulos abiertos .a; b/ .c; b/). El rea A del rectngulo a; b c; d est denida por A D .b a/.d c/:
Entonces, decimos que un conjunto X R2 tiene medida 0 si para todo " > 0 existe una sucesin de rectngulos cerrados an ; bn cn ; dn tal que 1 [ X .an ; bn/ .cn ; dn /
nD1
nD1
1 X
An < ":
CAPTULO 3
1 (2) Divergente, comparar con la serie
1 X
n2=3 nD1
(3) Divergente, utilizar el problema anterior. 1 1 (4) Convergente, porque < n para valores grandes de n. n .log n/ 2 (5) Divergente, note que n3 =.n4 C 1/ es prcticamente 1=n para valores grandes de n.
nD1
nD1
1 3
1 2
1 4
1 2
obtenemos que la serie sugerida es divergente. X Los trminos de la serie sugerida an pueden reordenarse de la forma 1 1 1 1 1 1 1 1 1 C 1C 4 C 9 C : 2 C 32 C 52 C 62 C 72 C 82 C 102 C 2
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 sucientemente pequeo se cumple sen x x, entonces para n sucientemente 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 sucientemente 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
. 1/
nD1
1 cos n
es absolutamente con-
1 es condicionalmente conver2n C 1 nD1 gente. En efecto, se cumple que . 1/nC1 arctg arctg
x!1
lim
nD1
nD1
Por otro lado, si denimos la funcin f por f .x/ D arctg entonces f 0 .x/ D 2 : 1 C .2x C 1/2 1 ; 2x C 1
1 arctg diverge. 2n C 1
1 X
1 2x C 1 D lim y D 1: 1 y!0 tg y 2x C 1
Es decir, la funcin f es decreciente, por tanto tenemos que la sucesin farctg.1=.2n C 1/g es decreciente. Adems tenemos que 1 X 1 1 D 0, as que la serie . 1/nC1 arctg lim arctg n!1 2n C 1 2n C 1 nD1 converge (por el criterio de Leibniz). 1 X (5) La serie . 1/nC1 arctg.log n/ es condicionalmente con2 nD1 1 X vergente. La divergencia de la serie arctg.log n/ se de2 nD1 muestra aplicando el criterio de comparacin por paso al lmite 1 X 1 ; para lo cual es suciente observar el sicon la serie log n nD2 guiente clculo:
x!1
lim
Por otro lado, aplicando el criterio de Leibniz obtenemos que la 1 X serie . 1/nC1 arctg.log n/ es convergente (ver el Ejem2 nD1 plo 4-5).
(9) Notemos que si denimos la funcin f por f .x/ D 1=.x log2 x/ tenemos que 2 C log x : x 2 log3 x Entonces f es decreciente para x 2. Adems Z 1 1 dx D : 2 x log x 3 log3 x f 0 .x/ D As que la serie
1 X
1 n log2 n
1 X
nD2
. 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
nD1
kD1
jak j
nD1
jan j;
para todo N .
nD1
an D lim
N !1
an :
nD1
nD1
an ! 0 cuando n ! 1. Entonces, para n sucientemente grande se cumple que jan j < 1, por tanto
2 an D jan j2 jan j:
Luego la serie
nD1
1 X
an 2 converge.
CAPTULO 7
1 (1) Notemos que lim fn .x/ D ( 1 si x 2 .0; 1 0 si x D 0:
n!1
As que ffn g no converge uniformemente ya que cada fn es continua. (2) Para cada x > 1 tenemos que x n ! 1 si n ! 1, entonces
n!1
formemente pues para cada n, dado " > 0 podemos hallar un ex x tal que fn .x/ > " ya que lim n D C1. x!1 x (3) La sucesin ffn g no converge uniformemente pues cada fn es continua y
n!1
lim fn .x/ D
1 si x D 0 0 si x 0:
nD0
1 X
x n . Entonces
1 X 1 1 X D n xn: x nD1
nx
n 1
nD1
1 1 x
; luego 1 .1 x/2 :
f 0 .x/ D
nD0
n xn D
nD1
1 X
n xn D
x .1 x/2
(segn el Pro-
n2 x n
nD1
1 1 X 2 n n x x nD1
1Cx : .1 x/3
nD0
n2 x n D
x 2 C 4x C 1 : .1 x/4
nD0
n3 x n D
nD0
xn D Z
x
f .t / dt D D D
nD0
dt
1 XZ
t n dt :
nC1
f .t / dt D
1 1 t
dt D
log.1
x/ D log
1 1 x
nD0
x 2n D Z
x
1 1 x2
. Luego !
f .t / dt D D D
nD0 x
1 XZ
1 X
t 2n
dt
t 2n dt ;
2n C 1
1 1 t2
dt 1 log.1 2 x/
(7)
nD0
1 X
.n C 1/ x n D
nD0 2
1 X
.n C 1/ x n C
nD0
xn D
x .1 x/2
1 1 x
nD0
nD0
n2 x n C 3
nD0
1 X
nx n C 2
nD0
1 X
xn ;
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/ xn D 3
nD0
1 6
nD0
1 X
n x C6
3 n
nD0
1 X
n x C 11
2 n
nD0
1 X
nx C 6
nD0
1 X
1 1 X n X 1 n 3 (3) D n D 2, (segn el Problema 7-2(1)). 2n 2 nD0 nD1 3 1 1 X X 1 1 n 1 3 (4) D3 D log (de acuerdo con el n .n C 1/ 3 n 3 2 nD0 nD1 Problema 7.2(5)).
Notemos que si x 2 Q es decir x D p=q, con p; q 2 Z, q 0, entonces existe un nmero natural N tal que N x 2 Z (es suciente tomar N D jqj), entonces fn .x/ D 1 para todo n N . Por otro lado, si x 2 R n Q tenemos que n x no es mltiplo entero de para todo n por tanto cos.n x/ < 1, luego lim .cos.n x//2k D 0. En
k!1
Observemos f es discontinua en todos los nmeros reales, por tanto ffn g converge puntualmente hacia f . 5 La serie 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 . 1/nC1
x! C 1 X
lim f .x/ D
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 x C 1 m.m 1/ 2 x C m.m 11/.m 2/ x 3 C (pginas 209 y 233). 12 23
NDICE ALFABTICO