CAPTULO 1 : TEORA DE SERIES

1.1. SERIES NUMRICAS : TEORA BSICA. La teora de series tiene una importancia enorme en Matemticas: se trata del problema de aproximar mediante sumas reiteradas, cantidades que representan a su vez soluciones a los ms diversos problemas. Esto de acercarse a cierta cantidad mediante sumas reiteradas de otras cantidades que se van haciendo cada vez ms pequeas, es algo que proviene de la antiguedad: recurdese, por ejemplo, la paradoja de Aquiles y la Tortuga, atribuda al sofista Zenon de Elea (siglo V a.C.): Aquiles era el corredor ms rpido de toda la Hlade y Zenn plante que no sera capaz de vencer en una carrera a una tortuga, con la condicin que le diera a sta un par de metros de ventaja. El razonamiento de Zenn fu el siguiente: cuando Aquiles llegue a la posicin inicial de la tortuga, sta se habr movido una cierta distancia. Cuando Aquiles alcance esa nueva posicin, la tortuga se habr movido nuevamente otro poco y as sucesivamente. Como se v, Aquiles deber recorrer una suma infinita de distancias antes de alcanzar a la tortuga. Por otro lado, Aquiles demorar cierto tiempo en recorrer cada una de esas distancias, lo que nos d una suma infinita de tiempos. Ntese que ninguna de las distancias ni tampoco ninguno de los tiempos es nulo: se trata de una "suma" infinita de cantidades no nulas: Zenn plante que esa suma deba ser infinita, o sea Aquiles nunca alcanza la tortuga. Para verlo con ms detalle, supongamos que Aquiles corre al doble de velocidad que la tortuga y que la ventaja que le d a la tortuga es la unidad de medida:

Figura 1.1
" " Se produce aqu la suma " " ## #$ que nunca alcanza la # distancia 2. Del mismo modo, tomando como unidad de tiempo aqul que demora Aquiles en alcanzar la primera posicin de la tortuga, la suma de tiempos sigue exactamente la misma ley y la suma de tiempos se acerca, pero nunca alcanza, las 2 unidades. Los griegos de la poca clsica no lograron dominar al infinito. En la representacin decimal de los nmeros se d un fenmeno semejante: que significa el nmero R +" +# +$ +% ? Si est representado en el sistema decimal, este nmero es la suma: + +" + R "! "!## "!$$ , donde R es un nmero entero y los "dgitos" +3 son nmeros naturales tomados del conjunto 0,1,2,3,4,5,6,7,8,9}. Si esta suma se corta, es decir, si es finita, el nmero que representa ser racional. Qu significa que esta suma no se corte? qu significan los puntos suspensivos? Tambin hay nmeros racionales que se expresan con "infinitos" decimales. Usando el algoritmo de la divisin, resulta, por ejemplo: " !$$$$$ $

El estudio del comportamiento de estas sumas "infinitas" se desarrolla desde el mismo inicio del Clculo Infinitesimal. Newton mismo estudia,
8

por ejemplo, el comportamiento de la suma

5" 8

" +5

cuando n es grande y

Jacobo Bernoulli, en sus trabajos sobre el clculo de probabilidades, se propone determinar las sumas del tipo
:"

:5 donde p es un polinomio y n

"es grande". Entre 1730 1745 se sitan los trabajos decisivos de Euler sobre las series y las cuestiones relacionadas con ellas, si bien en sus deducciones, la mayora de las cuales eran correctas, el rigor y el

fundamento brillan por su ausencia. Son los matemticos del siglo XIX los que empiezan a lograr fundamentos razonables para este tipo de cuestiones: Cauchy, Weierstrass, Gauss, Abel y muchos otros. Recin entonces se logra definir en forma precisa lo que es la convergencia de una serie y el hecho de que algunas series tienen suma (las convergentes) y otras no (las divergentes). El trabajo acerca de las series divergentes caus todava muchos problemas, haciendo que Abel , en 1828 , las considerara "obra del demonio" y las expulsara del reino de las matemticas. No es claro si lo dijo en serio o si lo expres con una cierta dosis de humor. Es recin hacia fines del siglo XIX cuando se precisan los conceptos de convergencia y , con los trabajos de Poincar y Hoelder, las series divergentes tambin son tomadas como objetos dignos de estudio. Digamos de partida que, desde el punto de vista algebraico, no existen sumas infinitas. Por lo tanto, la idea de ir agregando sumandos indefinidamente deber ser matematizada de otro modo. Empecemos por precisar la idea de una serie:

DEFINICIN. Sea (a8 8! una sucesin en . La sucesin (S8 formada por las sumas parciales: W8 +! +" +# +8 se llama serie. Esta serie se denota: (W8 +8
8!

La serie se llama convergente si la sucesin de sumas parciales es convergente y se llama suma de la serie al nmero real :
8

lim W8

+8
8!

Ejemplos
1. Sea B un nmero real. La serie convergente si y solo si B " En efecto, los trminos de la sucesin forman una progresin geomtrica de razn B y, por lo tanto la suma 8" " parcial de orden 8 es: W8 "B B Entonces , se tiene: "B
8!

B8 se llama serie geomtrica y es

 Si B " , la sucesin B tiende a cero, luego, en este caso, "B la serie geomtrica es convergente y su suma es
8"

B8

8!

" "B

Si deseamos obtener la suma desde 8 ", hay que restar el primer trmino, que es 1, luego:
8"

B8

" "B

"

B "B

Si B ", la serie diverge claramente a infinito Si B " , la serie tiene la forma " " " " " cuyas sumas parciales son : 0,1,0,1,0,1..... y por lo tanto es divergente. Aqu cabe mencionar un error cometido por Euler al atribuir una suma a esta serie. Euler razon del siguiente modo: B " " " " " " " " " " " " B por lo tanto B " . El primer error es suponer que la # serie tiene suma (que se denota por B ) y calcularla suponiendo vlidas las leyes usuales del lgebra para series: la suma que aparece en el parntesis tiene un sumando menos, pero como es infinita, se le asigna el mismo valor B. Hay que notar que en aquella poca todava no se haba desarrollado la teora de series y los resultados se obtenan por simple intuicin. Si lBl " la serie claramente diverge. 2. Representacin decimal de los nmeros reales El nmero real representado por B N +" +# +$ +% + +" + tiene el significado de la suma de la serie: R "! "!## "!$$ Ser esta serie siempre convergente? Recprocamente, es que todo nmero real puede ser representado como suma de una tal serie convergente? Ser nica dicha representacin? Por otro lado, la utilizacin del nmero 10 como base para representar los nmeros no es ms que accidental e histrica: cualquier nmero natural mayor o igual que 2 sirve igualmente, como veremos, para representar todos los nmeros reales. El nmero 10 no posee ninguna caracteristica matemtica especial que lo haga ms apropiado que otros. Parece ser que el 10 fu elegido por muchos pueblos simplemente porque tenemos 10 dedos para contar con ms facilidad (de ah , por lo dems, el nombre de "dgitos" que se aplica a los nmeros ! *) . Fueron los romanos los que extendieron por todo el imperio el sistema decimal de numeracin, si bien otras bases fueron usadas en la antiguedad ( los babilonios el 60, los

mayas el 20). Pienso que, si los insectos comenzaran a hacer matemticas, usaran el 6 como base de numeracin y, por su parte, las araas sin duda que usaran el 8. Por su parte las calculadoras no pueden usar otra base que el 2 para sus calculos internos, pues un sistema de tipo elctrico solo podr distinguir con claridad y precisin dos estados: "prendido" (modelado por el 1) y "apagado" (modelado por el 0). Un nmero "insecto" sera de la forma: $ # [N +" +# +$ +% ]' =R +" +# +$ 6 6 6 con los +3 tomados del conjunto {0,1,2,3,4,5}. El nmero entero N tambin se puede representar de modo "insecto", a saber: R +5 '5 +5" '5" +" '" +! '! con los +3 tomados del mismo conjunto anterior. Por su parte un nmero "araa" deber ser : $ # [N +" +# +$ +% ]8 =R +" +# +$ 8 8 8 con los +3 tomados del conjunto {0,1,2,3,4,5,6,7}. El entero "araa" ser: R +5 85 +5" 85" +" 8" +! 8! Finalmente, los nmeros binarios son de la forma $ # [N +" +# +$ +% ]2 =R +" +# +$ 2 2 2 con los +3 tomados del conjunto {0,1}. El entero N en forma binaria es: R +5 25 +5" 25" +" 2" +! 2! La suma de dos nmeros en otra base que 10 resulta divertida. Por ejemplo, para el caso "insecto": %$& %$" &% $% &$% #"" Si esta simple operacin la viramos "con rayos X", es decir, en su estructura explcita, tendramos: % '# $ '" & '! % '" $ '# " '$ & '" % '! $ '" % '# Al sumar $ '# con % '# resulta ' " '# '" " '# es decir, es preciso agregar 1 a la columna de los '" . Esa es en este caso "la reserva". Finalmente tomemos un nmero binario "peridico" y traduzcmoslo al sistema decimal: "!" ""!""!""! "!" ""!

 " ## ! #" " #! " #" " ## ! #$

&'

#$ 5 &

5"

' (

%" (

La pregunta que queda por responder es triple: (i) son siempre convergentes estas series, es decir, tienen suma? (ii) Es que cada nmero real puede ser representado de esta forma? (iii) Es nica esta representacin? Para poder contestar estas preguntas necesitamos desarrollar una teora matemtica acerca de las series. Los elementos bsicos de esta teora se resumen en el siguiente teorema: TEOREMA 1 1. (Criterio de Cauchy) La serie +8 es convergente si y solo si :
; 8:

a% ! bR tal que si : ; R , entonces |

+8 l %

# Sea ! +8 ,8 ,a8 R Entonces Si ,8 converge, entonces +8 converge Si +8 diverge, entonces ,8 diverge ,8 se llama

Este es el llamado criterio de comparacin. La serie mayorante (de la serie serie 3. Si a8 ) mientras que

+8 se llama minorante de la +8 ,8

,8 ) . Se suele emplear la notacin:

8 8" lim ++8 8

+8 converge, entonces lim +8 ! ( " condicin de resto" )

8 3 lim +8 Entonces:

4. Sea +8 ! a8 <

Si < " 3 " , entonces Si < " 3 " , entonces Si < " 3 " entonces

+8 converge +8 diverge +8 puede ser convergente o

divergente. Los parmetros < y 3 son verdaderos "termmetros" que indican si la serie tiene "fiebre"( diverge) o no. Se identifican como criterios del cuociente y de la raz respectivamente. 5. Sea 0 1 [ , integrable, positiva y decreciente. Entonces:

8"

0 8 es convergente si y solo si la integral impropia '" 0 B.B es

convergente

DEMOSTRACIN Necesitamos tres Lemas previos, que nos muestran un poco ms detalladamente la estructura topolgica de los nmeros reales: LEMA A (Teorema de Bolzano-Weierstrass). Todo conjunto infinito y acotado de nmeros reales posee algn punto de acumulacin. DEMOSTRACIN DEL LEMA A. Sea W infinito y acotado. Por ser acotado existe un intervalo M" V V tal que W M" . Si dividimos M" en dos partes iguales, al menos una de ellas deber tener infinitos puntos de W : Llamemos M# a esa mitad. A su vez , dividiendo M# en dos partes iguales , por el mismo motivo , una de ellas tendr infinitos puntos de W . Procediendo inductivamente, obtenemos una sucesin de intervalos cerrados M8 , encajonados, acotados y no vacos, cada uno de ellos con infinitos puntos de W . Por el Teorema de los Intervalos Encajonados ( ver Lema A , pagina 78, "Calculo 2") existe B +M8 . Es fcil ver que este B es el punto de acumulacin buscado: en efecto, si Y es una vecindad arbitraria de B entonces M8 Y para algn 8 suficientemente grande, ya que la longitud de los intervalos es V 6M8 #8" Por lo tanto Y contiene infinitos puntos de W LEMA B Toda sucesin acotada posee alguna sub-sucesin convergente. Se entiende por sub-sucesin de (+8 a una sucesin compuesta con otra sucesin inyectiva 85 de nmeros naturales: (+85 )5! . DEMOSTRACIN DEL LEMA B . Sea (+8 una sucesin acotada. Existen dos posibilidades: (i) La sucesin (+8 posee un valor que se repite infinitas veces: +8 + para 8 8! 8" 8# 8$ Entonces la subsucesin (+85 )5! es convergente porque es constante. (ii) La sucesin (+8 no repite infinitamente un valor, por lo cual debe poseer infinitos valores diferentes, es decir, el recorrido {+8 8 } de la sucesin es un conjunto infinito y acotado. Por el Lema anterior, este

conjunto debe tener un punto de acumulacin: B Veremos que este punto de acumulacin es el lmite de una subsucesin de (+8 ). En efecto, para " cada k la vecindad FB " debe tener algn +85 FB 5 Por lo k " tanto: l+85 B l 5 , es decir, la subsucesin (+85 )5! converge a B LEMA C Toda sucesin de Cauchy es convergente. Una sucesin (+8 ) se dice de Cauchy si satisface la propiedad: a% ! bR : ; R l+: +; l % Los espacios donde las sucesiones de Cauchy convergen se llaman completos. Este Lema, por lo tanto, se puede formular diciendo que es completo. DEMOSTRACIN DEL LEMA C. Sea (+8 ) una sucesin de Cauchy. Para % " existe un R tal que l+8 +R l " a8 R . Por lo tanto la sucesin es acotada, ya que solo un nmero finito de valores se podra alejar de +R . Por el Lema anterior, (+8 ) tiene una subsucesin +85 que converge, digamos al lmite B. Sea ahora % ! Entonces bR" tal que % % l+: +; l # si : ; R" y tambin bR# tal que l+85 Bl # si 5 R# Podemos tomar un 5 R# tal que 85 R" , por lo tanto, % % tendremos: l+8 Bl l+8 +85 l l+85 Bl # # % si acaso 8 R" , lo que demuestra la convergencia de la sucesin (+8 )

DEMOSTRACIN DEL TEOREMA 1. Se trata aqu simplemente de la completitud de . En efecto, la serie es una sucesin de Cauchy si y solo si la sucesin de sumas parciales
8

W8

+5 lo es, es decir, si, dado un % ! bR tal que si : ; R

5! ;

entonces lW; W:" l |

+8 l % . Pero esto es precisamente el

8:

Criterio de Convergencia de Cauchy que queramos demostrar.

8 8

2. Las sumas parciales : W8

+5 ^8
5!

,5 son sucesiones
5!

crecientes, puesto que los sumandos son todos positivos, luego, para la convergencia basta que sean acotadas:

 Sea

,8 convergente. En particular, es acotada, luego la "cola" de la

otra serie tambin es acotada:

5R

+5
5R

,5 Pero para obtener la serie

R "

completa basta agregar una constante:

5!

+5
5!

+5
5R

+5

Sea ahora

+8 divergente: por ser de trminos positivos, esta serie solo ,8 tambin diverge a infinito.

puede ser divergente a infinito. Luego

Es conveniente hacer notar aqu que la convergencia de una serie solo depende del comportamiento de sus "colas" : si alguna cola es convergente entonces la serie entera converge . Lo que si hay que cuidar es no confundir la simple convergencia con el valor de la suma: desde luego que no es el mismo que el valor de alguna de sus colas: es preciso agregar una constante . 3. La condicin de resto no es ms que un caso particular del criterio de Cauchy:
8 8" 8

+8

+5
5! 5!

+5 W8 W8"

+5 !

58"

% Los "termmetros: 8" Sea < lim ++8 " : entonces b), < ) " Por lo tanto bR! tal que
+8" +8

) a8 R! . Por lo tanto, podemos escribir la secuencia: +8" )+8 +8# )+8" )# +8 +85 )5 +8 +8 +R! )8 +R! )8

Luego, sumando desde R! en adelante,

Por lo tanto la serie queda mayorada por una serie geomtrica de razn menor que 1, luego, es convergente. 8" Sea < lim ++8 " Tambin aqu b) , " ) < , luego bR! tal que ) , a8 R! luego +8" )+8 +8 ! a8 R! Luego, la serie no cumple la condicin de resto, por lo tanto diverge.
8 +8" +8

8 Sea 3 lim +8 " : igual que antes b) 3 ) " y bR! tal que

8 +8 ) a8 R! , luego +8 )8 y por lo tanto

+8

)8 , que es

una serie geomtrica convergente. Luego

8

8 8 Sea 3 lim +8 " entonces +8 " a8 R! , luego +8 "

+8 converge.

a8 R! y por lo tanto la serie no satisface la condicin de resto. Veremos ms adelante que si nuestros "termmetros" son iguales a 1, entonces hay casos en los que la serie converge y otros donde diverge. 5. El criterio integral: sea 0 ! " , integrable, positiva y 8" decreciente . Llamemos +8 0 8 y ,8 '8 0 B.B

Figura 1.2 Puesto que la funcin es decreciente, comparando las reas correspondientes, se tiene: +8" ,8 +8 Luego : +8 ,8 +8 , es decir, una serie converge si y solo si lo hace la
8

otra. Pero la suma parcial de la serie es Finalmente ntese que '" 0 B.B lim

5" 8

,8 '"

8"

8 5"

'55" 0 B.B

0 B.B .

,8
5"

Q.E.D

Ejemplos
1. Cualquiera expresin decimal de la forma N,a" +# +$ representa efectivamente un nmero real. En efecto, la serie respectiva es

10

convergente, pues

+8 "!8

* "!8

" "!8

que converge pues es una

" serie geomtrica de razn "! Del mismo modo cualquiera expresin de tipo b-ario: [N,a" +# +$ ], <epresenta tambin un nmero real : +8 ," " ,8 ,8 , " ,8 que tambin es una serie geomtrica de

razn " . Recordar que las bases de numeracin comienzan con 2. , Por otro lado, todo nmero real puede ser representado en forma b-aria. En efecto, si B entonces existir un nmero entero R tal que R B R " Se divide el intervalo R R " en , partes iguales: M" R R " M# R " R # M$ R # R $ , , , , , M, R ," R " Si B M3 entonces +" 3 " 3 " , , Dividiendo el intervalo M3 anterior en , partes iguales, se encuentra el siguiente "dgito" , del mismo modo que en el caso anterior. Ntese que, si el nmero real B cae en el borde izquierdo de alguno de los intervalos, entonces la secuencia se termina, pues habra que poner, a partir de ah, sucesivamente puros ceros como dgitos. En caso contrario, significa que la secuencia no termina y tenemos una serie. La serie converge precisamente a B pues la diferencia entre B y la n-sima suma parcial de la serie es justamente : B W8 ,"8 ! La representacin no es nica, en general. Por ejemplo, en el sistema decimal ! **** " !!!!! Si se usa otra base, ocurre el mismo fenmeno: ! , ", ", ", ", " !!! En efecto, la

serie correspondiente es geomtrica:

8" " 8:

," ,8

, , " " " " ,

"

2 . La serie
8"

, con : ! : es muy interesante de analizar.

Usaremos el criterio integral para lo cual debemos analizar la convergencia de la integral impropia '" .B , que es fcil de hacer: B: " " :" R " :" : " :" '"R .B B: 691 R :" con lo cual concluimos que
8" " 8:

es

convergente, si : " divergente , si : "

3. En particular, la serie mientras que la serie

8"

" 8 , llamada armnica , es divergente, 8" " 82 es convergente. Sin embargo, si aplicamos

el

11

 lim 8# # " 8 8" Lo mismo ocurre con el test de la raz: 8 lim " " " 8 8 6378 8 8 lim +8 8 8 " lim "# " 8 6378# 8 8 Este ejemplo demuestra que , efectivamente, si nuestros "termmetros" marcan 1 , no se puede concluir nada. casos:
+8" 8 +8 8

test del cuociente, observamos que el resultado es igual a 1 en ambos lim 8 " 8" lim

4. Si + ! , la serie criterio del cuociente:

8! B8" B8

+8 8x

es convergente. En efecto, aplicando el

+8" 8x 8"x +8

+ 8"

!"
#=/8$ 8" #8 8&

5. Una serie aparentemente complicada como por ejemplo puede ser mayorada por la serie
$ #8 8!

, por lo tanto es convergente. El

valor de su suma, sin embargo, queda sin respuesta.

1.2

PROBLEMAS

1. Exprese el nmero real !(((((((((( (representacin decimal) como una fraccin. Puede Ud. generalizar su resultado para cualquier nmero de la forma !++++++++++ + ! " * ? Que fraccin representa el nmero ! &$"%&$"%&$"%...... decimal-peridico de perodo 5314) 2. Considere el nmero real (en su representacin insecto ) [! $$$$$' Es una fraccin? cul? Generalice su resultado para cualquier nmero de la forma ! ++++++' + ! " # $ % & 3. Haga el mismo anlisis anterior pero con representaciones araa , es decir en base 8

12

4(*). Estudie la veracidad de la afirmacin " Un nmero real es racional si y solo si su reprentacin decimal es peridica" . Generalice su teorema para una base de numeracin admisible cualquiera. 5. Encuentre, usando series, exactamente a que hora, entre la 1 y las dos, el minutero y el horario de un reloj coinciden. (Indicacin: use el argumento de la paradoja de Aquiles y la Tortuga). Hgalo tambin de otra forma. 6. Se deja caer una pelota desde una altura de 4 metros. Cada vez que cae, la pelota rebota 3/4 de la altura de la cada. Encontrar la distancia total que recorre la pelota hasta que queda en reposo. 7. Considere un trazo de longitud + y, para cada nmero natural 8 , divdalo en 8 partes iguales. Sobre cada pedazo construya un tringulo isceles de ngulos basales de 45! formando as una especie de serrucho. Cuando 8 tiende a infinito, converge la longitud del serrucho formado por los lados de los tringulos a algn nmero finito? . Qu ocurre si el ngulo basal de los tringulos isceles es un ngulo cualquiera ) ? 8(*). Sean T" T# dos puntos de la recta real. Defina T$ como el punto medio entre T" y T# T% como el punto medio entre T# y T$ T& como el punto medio entre T$ y T% y as sucesivamente. Converge la sucesin as definida? Cul sera su lmite ? 9. Estudie la convergencia de las series siguientes: " 8x 3 8/B: 8# 3@ 86918 33 88 333 @
" # # 8 8# "

" $ $

" % %

$ @3 #$%

% $%&

& %&'

"! Demuestre el siguiente criterio de comparacin: Si +8 ! ,8 ! 8 y lim +8 - ! entonces +8 converge si y solo si ,8 converge. ,
8

11. Estudie el comportamiento de la serie 3 +8 8 " 8 33 +8

8"8 8

+8 donde:

13

8 333 +8 8 "8

12. Haciendo una pequea modificacin en la demostracin del "criterio de la raz" , demuestre la llamada "prueba fina de la raz" : Si existe algn 8 nmero real < " tal que +8 < salvo un nmero finito de valores de 8 , entonces la serie infinitos 8 , la serie
8 +8 converge, mientras que si +8 " para

+8 diverge.

Use este resultado para demostrar que la serie: " " " # " # " $ " $ " % " % # $ # $ # $ # $ es convergente , an cuando la prueba corriente de la raz y la prueba del cuociente no funcionan. 13. Sern verdaderas o falsas las siguientes afirmaciones? La eliminacin de un nmero finito de trminos en una serie convergente puede destruir la convergencia La insercin de un nmero finito de trminos arbitrariamente grandes, en una serie convergente, en lugares arbitrariamente alejados del trmino inicial puede destruir la convergencia. Si la serie +8 es convergente , entonces la serie +8
8! 8"!

tambin es convergente, pero no recprocamente.

1.3

PRODUCTOS Y REORDENAMIENTOS DE SERIES

Como multiplicar dos series? No nos estamos refiriendo al producto de sus sumas , que no sera otra cosa que el producto de dos nmeros reales, sino a definir una nueva serie a partir de otras dos y que merezca llamarse producto, independientemente de su convergencia. Deseable sera, de todos modos, que, si hay convergencia, la suma de la serie producto fuese el producto de las sumas de las series que se multiplican. Veremos que no siempre resulta tan simple y que a veces hay que agregar alguna hiptesis adicional. Definiremos tres tipos diferentes de producto de las series +8 y ,8 :
8

3 El producto Simple : Sean las sumas parciales E8

8

+8 y
5!

F8

,8 . Vamos a llamar producto simple a la sucesin producto

5!

14

E8 F8 8! Pero esta sucesin es una serie? Si lo es, cul es la sucesin que la engendra? Escribamos el producto E8 F8 : E8 F8 +! ,! +! ," +! ,8 +" ,! +" ," +" ,8 +8,8 y pongmoslo de un modo ordenado: +! ,! +! ," +! ,# +!,8" + !,8 +" ,! +" ," +" ,# +",8" + ",8 +8" ,! +8" ," +8" ,8" +8" ,8 +8 ,! +8 ," +8 ,# +8,8" +8,8 Se observa que esta suma est formada por E8" F8" a la cual se ha agregado la ltima fila y la ltima columna de sumandos. Es decir, se trata efectivamente de una serie : E8 F8 8! +8 ,! +8 ,8 +! ,8 +8" ,8
8!

8!

+8 F8 ,8 E8"

En cuanto a la convergencia aqu no hay nada nuevo: vale el lgebra de lmites de sucesiones, por lo tanto si las series +8 y ,8 son convergentes, el producto simple tambin lo es y su suma, es decir, el lmite de la sucesin de sumas parciales, es igual al producto de las sumas. 33 El producto interno :
8!

+8 ,8 Aqu se han multiplicado trmino a

trmino los sumandos de las series. Este producto corresponde a una generalizacin del producto interno de dos vectores en el espacio 8 En este caso la simple convergencia de ambas series no es suficiente para asegurar la convergencia del producto interno. Por ejemplo, "8 demostraremos ms adelante que la serie 8 es convergente, pero si
8"

hacemos el producto interno de esta serie consigo misma, obtenemos "8 "8 " 8 8 8 que es divergente. 333 El producto de Cauchy :
8!

8! :;8

+ : ,;

+! ,8 +" ,8" +8" ," +8 ,! . Conviene comparar esta

serie con la serie producto simple: ntese que , si bien en el producto

15

simple aparece una mayor cantidad de sumandos, en el producto de Cauchy hay sumandos que no aparencen en el producto simple. Resulta interesante hacer un cuadro colocando ordenadamente todos los sumandos posibles (que, desde luego, son infinitos) : +! ,! +! ," +! ,# +! ,$ +! ,% ........... +" ,! +" ," +" ,# +" ,$ +" ,% ............. +# ,! +# ," +# ,# +# ,$ +# ,% +$ ,! +$ ," +$ ,# +$ ,$ +$ ,% +% ,! +% ," +% ,# +% ,$ +% ,% El producto simple corresponde a la suma de los bordes de cada cuadrado de sumandos, como se vi ms arriba. El producto interno solo toma los sumandos de la diagonal decreciente, mientras que el producto de Cauchy va tomando los sumandos de las diagonales de pendiente creciente. Si se suman las filas, resultan las series +7 ,8 mientras que si se suman
8!

las columnas, resultan las serie ,7

+8 . Para comparar con el

8!

producto simple o el de Cauchy habra que sumar las sumas : +7 ,8 o bien ,7 +8 Se podran inventar otras
7! 8! 7! 8!

formas de sumar estos trminos, por ejemplo, estableciendo una curva sinuosa de arriba hacia abajo y de modo que se fueran abarcando todos los sumandos. Bajo qu condiciones convergen estas series? Tendrn todas la misma suma? El teorema que presentaremos mas adelante dar algunas respuestas a estas interrogantes. Sorprendentemente, la solucin de este problema se vincula con otro, a saber, el de los reordenamientos de una serie. Podemos considerar tres tipos de reordenamientos de la serie
8!

+8

3 Permutacin de la serie: sea 5 una permutacin del conjunto de nmeros naturales, es decir una funcin biyectiva 5 : . Con esta permutacin se forma una nueva serie : +58 , que se llamar
8!

serie permutada. Lo que se ha hecho es, en realidad, ir sumando los mismos trminos pero en otro orden. Se mantendr la convergencia? Es preciso notar que la sucesin de sumas parciales es completamente distinta en ambos casos, por lo que es esperable que la mantencin de la

16

convergencia y , peor an, la del valor de sus sumas requiera hiptesis adicionales fuertes. 33 Reagrupamiento de la serie . En este caso se trata de formar una nueva sucesin de sumas parciales, agrupando trminos sin cambiar su
85"

orden:

8! 585

+5 es decir, ponemos parntesis en las sumas . En este

caso es muy fcil ver que un agrupamiento puede cambiar la convergencia de una serie. Por ejemplo la serie " " " " " " es claramente divergente, pero la serie agrupada: " " " " converge trivialmente a cero. 333 Particin de una serie. Consideremos primero una particin ordenada del conjunto de nmeros naturales : U8 8 donde cada U8 8" 8# 8$ , U8 U7 9 si 7 8 -8! U8 Tanto la particin como cada conjunto U8 puede ser finito o infinito. + + si U8 es finito 8" 8: Definimos el smbolo : +3 + la serie , si U es infinito 85 8 3U8 5" En este ltimo caso se habla de una subserie de la serie original. Se define como particin de la serie original a la serie formada por estos smbolos: +3 , es decir, una suerte de serie de series.
8! 3U8

Es importante notar que tanto la permutacin como los agrupamientos de series son casos especiales de particin de series. En efecto, si cada U8 58 es decir, es un singulete determinado por la permutacin 5, entonces la particin correspondiente es una permutacin de la serie . Por otro lado, si cada U8 es finito y ha respetado el orden correspondiente de los nmeros naturales , entonces tenemos un agrupamiento. Por el contrario, hay particiones interesantes que no son ni permutaciones ni reagrupamientos. Un ejemplo simple sera sumar todos los tminos de ndice par (tendramos una subserie) y en seguida todos los trminos con +8 | +#8 +#8" Es claro que esta operacin indice impar:
8! 8! 8!

no corresponde ni a una permutacin ni a un reagrupamiento. Hay un ejemplo sumamente importante , que usaremos ms adelante, de una particin de una serie que no es ni permutacin ni reagrupamiento: sea x , y consideremos la serie +8 " B8 . Si desarrollamos el
8!

binomio " B en cada sumando y ordenamos segn los trminos que

17

5!

tienen la misma potencia de B , lo que obtenemos es la siguiente serie particionada: 8 +8 B5 Esto se puede ver mejor desglosando las sumas: 5
85

8 ! +! 8 " +" + " B 8 # +# +# #B +# B# 8 $ +$ +$ $B +$ $B# +$ B$ 8 +8 +8 8 B +8 8 B# ...............+8 B8 " # La nueva serie se forma sumando cada columna, la cual es, a su vez, una serie (subserie) de la serie original. Bajo qu condiciones convergen estas series? Para responder a esta pregunta necesitamos un nuevo concepto:

DEFINICIN : La serie
8!

+8 se dice absolutamente convergente , si +8 se dice

8!

acaso la serie

|+8 | es convergente . La serie

8! 8!

condicionalmente convergente si acaso la serie serie |+8 | diverge.

8!

+8 converge pero la

Notar que si una serie es absolutamente convergente, entonces es convergente. En efecto, basta para esto aplicar el criterio de convergencia
; ;

de Cauchy y la desigualdad triangular: |

5:

+8 l
5:

l+8 l % , si : y ;

son suficientemente grandes. Veremos que la implicacin recproca no es cierta: hay series que son condicionalmente convergentes.

TEOREMA 2 1. (Dirichlet) Si +8 es acotada y (b8 converge montonamente en +8 ,8 converge.

forma decreciente a 0 , entonces

18

2 . (Mertens) Si

+8 es absolutamente convergente y (
8! :;8

,8 es +: ,; es

convergente, entonces el producto de Cauchy convergente y vale $ (Riemann) Si

8! :;8

+ : ,;

+8
8!

,8

8!

+8 es condicionalmente convergente, entonces:

8!

dado , b5 permutacin tal que b5 permutacin tal que 4. Si

8!

+58

+58 diverge

+8 es absolutamente convergente, entonces toda subserie es

tambin absolutamente convergente , toda particin es tambin absolutamente convergente y la suma de la serie particionada es igual a la

de la serie original, es decir

8!

3U8

+3

+8
8!

DEMOSTRACIN. 1. Sea Q una cota de que ,8 l,8 l

% #Q

+8 sea % !. Segn la hiptesis, bN tal

8

a 8 R Llamemos E8

+5 la suma parcial
5!

de la serie y tomemos dos ndices : ; R . Entonces :

; ; ; ;

+ 5 ,5
5: ; 5: ;

E5 E5" ,5
5: ;" 5: ;"

E 5 ,5
5:

E5" ,5

E5 ,5
5:"

E5 ,5"
5: ;"

E5 ,5 ,5" E; ,; E:" ,:

Luego, usando la desigualdad triangular: |

5: ;

+ 5 ,5 l
5:

lE5 l,5 ,5" lE; l,; lE:" l,:

Q
5:

% ,5 ,5" Q ,; Q ,: Q #,: Q # #Q %

Por lo tanto la serie satiface la condicin de Cauchy, luego es convergente.

19

2 . Para demostrar el teorema de Mertens, usaremos las siguientes

notaciones ms cmodas:
8 8 8!

+8 +
8

,8 ,
8!

l+8 l E
8!

E8
5!

+5 F8

,5 G 8
5! 5!

:;5

+ : ,; . 8 F 8 ,

Escribamos en forma desglosada la suma parcial G8 G8 + ! ,! + ! ," + " , ! + ! ,# + " , " + # , ! +! ,8 +" ,8" +8,! sumando por columnas se obtiene: G8 +! F8 +" F8" +8 F! +! , .8 +8, .! ,E8 +! .8 +" .8" +8 .! Pero el primer sumando de esta expresin tiende al producto +, Luego, lo que falta por demostrar es que el segundo bloque de sumandos tiende a cero. Para esto observamos que, como la sucesin .8 tiende a cero, entonces es acotada: l.8 l Q a8 Por otro lado, si la suma

l+8 l ! entonces se tendra que +8 ! a8, con lo que el

8!

teorema es trivial. Supongamos entonces que E ! . Sea % 0 : por la % convergencia a cero de .8 existe un R tal que l.5 l #E y adems

l+5 l
5R "

% #Q

para todo 5 R Tomemos ahora un 8 #R

l+! .8 +" .8" +8 .! l l+! .8 +R .8R l l+R " .8R " +8 .! l

% #E R

l+5 l Q
5!

l+5 l
58"

% #E E

% Q #Q %

lo que demuestra el teorema.

20

3. Sea ahora

+8 es condicionalmente convergente. Adoptaremos las

+ +8 ! siguientes notaciones ms cmodas: +8 8 ! +8 ! ! +8 ! +8 Luego: +8 +8 +8 l+8 l +8 +8 +8 + 8 !

Notar que +8 +8 ! Veremos que ambas series +8 y +8

divergen a infinito. En efecto, si ambas fuesen convergentes, entonces l+8 l +8 +8 sera convergente , lo que contradice la hiptesis. Si =
+8 fuese convergente y +8 +8 divergente, entonces +8

+8 sera convergente y anlogamente el otro caso. Luego,

8! +8 8! +8 . Esto significa que la subserie

efectivamente

formada por los trminos positivos diverge a , mientras que la subserie formada por los trminos negativos diverge a Si , basta sumar una cantidad apropiada de trminos positivos (que son iguales a +8 ) para sobrepasar el nmero hacia la derecha. En seguida se suman trminos negativos ( que son iguales a +8 hasta sobrepasar hacia la izquierda . El proceso se repite hacia la derecha y hacia la izquierda y se reitera. Lo que se ha hecho es, en realidad, una permutacin de la serie +8 y si el cambio de sumando se hace con el primer ndice que sobrepase a , entonces la diferencia entre y la respectiva suma parcial ser menor que l+8 l que es una sucesin que tiende a cero. Para permutar la serie de modo que sta diverja, basta tomar dos nmeros distintos, por ejemplo 0 y 1 y se procede como en el caso anterior sumando primero trminos positivos hasta sobrepasar hacia la derecha el 1 y enseguida sumar trminos negativos hasta sobrepasar 0 hacia la izquierda. Las sumas parciales formarn entonces una sucesin oscilante que no converge. 4. Sea ahora
8!

+8 absolutamente convergente , U8 8! una

particin ordenada de . Tambin aqu adoptaremos una notacin ms

21

cmoda: E
w

l+8 l +
8!

+8 , y denotaremos por
8!

a las sumas

parciales . Sea entonces U8 un elemento cualquiera de la particin y l+3 l una suma parcial cualquiera. Siempre existir una suma parcial
3U8 w

l+8 l que contiene todos los trminos de la otra, por lo tanto

w

l+3 l

l+8 l E Luego la subserie

3U8 3U8

l+3 l es absolutamente

3U8

convergente. Llamemos =8
w

l+3 l a la suma de la subserie ( o a la

% #8 w

suma finita, si U8 es finito ). Sea % ! , 8 entonces existe una suma parcial tal que l=8 l
3U8 w w

l+3 l
w

. Sea ahora
w

l=8 l una suma

parcial cualquiera . Por lo anterior se tiene: l=8 l

3U"

l+3 l
3U7

l+3 l %

l+5 l % A %
w

donde en esta ltima suma parcial se han abarcado todos los trminos que aparecen en las otras. Se concluye que todas las sumas parciales estn acotadas, luego la serie =8 es absolutamente convergente. +8
w

l=8 l

Falta solamente demostrar que su suma coincide con la suma de

% $

Para esto tomemos nuevamente un nmero % ! cualquiera. Entonces bN tal que

8R "

l+8 l

y tambin existe una suma parcial

w

+8

que abarca los trminos +! +" +R y tal que l vez existen sumas parciales
3U1 w

+8 +l

% $

A su

+3 ,.......
w 3Um 3U5 w +3

+3 que abarcan tambin a

% $#5

los trminos +! +R y tal que | Luego, se tiene l

3U" w w

+3 =5 l
w

5 " # 7
% l+8 l $ ,

+3
w w

+3 l

3U7

8R "

puesto que los sumandos +! +R se cancelan . Luego, l (

3U"

+3
3U7 w

+3

+3 ) =" =7 + l
w

l
3U"

+3 =" l l
3U7

+3 =7 l l

+8 +l

#% $

22

Finalmente sumando y restando los trminos correspondientes y usando la desigualdad triangular, se tiene % l=" =7 +l #% $ % $ lo que completa la demostracin del teorema. Q.E.D.

COROLARIOS Y OBSERVACIONES 1. Del teorema de Dirichlet se deduce inmediatamente el llamado "Criterio de convergencia de Leibnitz" : una serie alternante "8 ,8 cuyo trmino ,8 converge montonamente a cero en forma
8!

decreciente , es convergente. En efecto, basta poner +8 "8 en el mencionado teorema de Dirichlet. 2. En particular la serie armnica alternante
8" "8+1 8

es convergente.

El valor de su suma resulta ser log2 , pero eso es un resultado nuevo que necesita otros elementos tericos (Series de Taylor) que veremos ms adelante. 3. La convergencia sencilla de la series +8 y ,8 no alcanza para

garantizar la convergencia del producto de Cauchy. En efecto, por el "8 criterio de Leibnitz la serie 8" es convergente. Hagamos el
8!

producto de Cauchy de esta serie consigo misma:

8! :;8 ": "; :" ;"

8!

"8

:!

" :"8:"

Pero : "8 : " 8 "# 8 :# 8 "# , luego # # #

8 :! " :"8:"

8 "

8 # "

"

#8" 8#

# ! es decir, la serie

no cumple la condicin de resto, luego no converge. 4. En la serie convergente

8" "8+1 8

practiquemos la siguiente

permutacin: poner un trmino positivo seguido de dos negativos:

23

" " " " " " " " " "! "# ...... # % $ ' ) & y pongamos parntesis (si hay convergencia, esto se puede hacer sin ! cambiar la convergencia ni el valor de su suma: ver Problemas "& R $) " " (" " ) " ( " " ) " ( " "! ) "# .......... # % $ ' ) & lo que da " " " " " " " " " " # % ' ) "! "# .... # " # $ % ... Es decir, si la serie permutada es convergente, su suma es la mitad de la suma de la serie original. Pero es interesante demostrar que la serie permutada efectivamente es convergente:

Llamemos = parntesis : =

8"

"8" 8

Como es convergente, podemos poner

" #8

8"

" #8"

y dividiendo por 2 :
= # " #8" 8"

= #

" %8

8"

" %8#

" %8

y restando de la suma anterior:

" %8#

que no es

otra cosa que la serie permutada, pero a la cual se han introducido parntesis. Podemos sacarlos? En este caso, es posible: si llamamos W8 a las sumas parciales de la serie permutada, entonces la serie convergente anterior es W$8 , es decir, una subsucesin de la anterior. Los trminos faltantes de la sucesin son W$8" y W$8# . Pero las diferencias : " " " W$8" W$8 #8" W$8# W$8 #8" %8# tienden a cero, con lo = cual las tres subsucesiones tienden al mismo lmite # . Un simple razonamiento con la definicin misma de lmite de una sucesin permite = demostrar que W8 converge y lo hace al mismo lmite #

1.4 PRODUCTOS INFINITOS Y FRACCIONES CONTINUAS Sea +8 8! una sucesin de nmeros reales. De modo totalmente anlogo a las series, se puede definir una nueva sucesin de productos parciales :

24

T8 # +5 Esta sucesin se denomina producto infinito y se denota por

8 5! 5!

# +5 el lmite de esta sucesin. En este caso, es claro que si algn trmino de la sucesin +8 es cero, entonces la sucesin de productos parciales tiene una cola infinita de ceros y converge trivialmente a 0. Por esta razn, se excluyen los ceros en el estudio de este tipo de objetos. Adems se considera convergente solo a los productos infinitos cuyo lmite es distinto de cero. Ilustraremos este concepto con un ejemplo: Se afirma: # " "# " . En efecto, los productos parciales
5# 5 #

son:

T8 # "
8 5# 8

" 5#

# 5 5" Tomando logaritmos, tenemos: #

8
#

5#

691T8
8

6915 # " 6915 #

5#

5# 8

6915 " 6915 " #6915

8

5#

6915 " 6915

6915 " 6915

5#

8 8

6918 " 691# 691" 6918 691 8" 691# 8 Pero la sucesin 691 8" tiende a cero , pues 8" tiende a 1. Por lo tanto: 8 8 lim 691T8 691 lim T8 691# 691 " y por lo tanto efctivamente # lim T8
" # 8

Las llamadas fracciones continuas son sucesiones anlogas a las series y a los productos infinitos, pero con la operacin divisin. En este caso, la sucesin +8 8! da origen a la sucesin de divisiones parciales: " " H! +! H" + " H# + " " y, en general, a la sucesin
" +! #

definida por recurrencia : H8" +8"" 8 , la cual puede ser estudiada H por el "esquema de la telaraa" (ver Clculo 1 , Captulo 3). El ejemplo clsico es la fraccin continua : " " " cuyo
" " " " " " "

" +" + !

lmite calculado usando los mtodos usuales de la Teora de las "& sucesiones es : #

25

1.5

PROBLEMAS

1. Demuestre que, si
+# 8 "+# 8

+8 converge absolutamente , entonces

# +8 y

tambin convergen absolutamente.

2. Demuestre que una serie de trminos no-negativos es convergente si y solo si su sucesin de sumas parciales es acotada.

3. Demuestre que, si
8!

+8 entonces toda agrupacin de esta serie

(es decir, formada poniendo parntesis) converge tambin hacia % Demuestre el criterio de Raabe Sea B8 ! a8 Entonces: + 8" 3 Si b + " b O tal que BB8 " 8 8 O entonces la serie B8 es convergente.
B8" B8

33 Si b + " b O tal que entonces B8 es divergente

"

+ 8

8 O

5. Demuestre el siguiente corolario del criterio de Raabe: 8" sea B8 ! a8 y sea + lim 8" BB8 Entonces:
8

3 Si + " la serie 33 Si + " la serie

B8 es convergente B8 es divergente.

6(*). Sea

+8 una serie convergente. Demuestre que la sucesin de

promedios de las sumas parciales ( llamada suma de Cesaro ) : " 58 8 W" W# +..+W8 ) , S5 +" +5 converge al mismo lmite. Demuestre que la afirmacin recproca no es verdadera, es decir, encuentrre una serie divergente pero tal que su suma de Cesaro sea convergente.

26

7. Demu/stre que la serie: # $ % & " '" .B " '# .B " '$ .B " '% .B B # B $ B % B es convergente. Haga un grfico ilustrando el valor de su suma como el rea de cierta regin del plano. La suma de esta serie se llama con=>+8>/ ./ I?6/< y se denota por # . Use este resulatdo para demostrar:
8 5" " 5

691(8+1) # %8 , donde

lim %8 ! # " +8

8 Sea +8 ! Demuestre que el producto infinito converge si y solo si la serie

8!

8!

+8 converge.

(Indicacin: demuestre y use la desigualdad " B /B aB . Demuestre que el producto infinito # " +8 8" diverge a cero pero la serie +8 converge. 9. Sea +8
"8 8

10. (*) Demuestre el siguiente Criterio de Cauchy para productos infinitos: el producto infinito # ?8 converge (con lmite distinto de cero) si y solo
8!

si a% ! bR tal que l?8" ?8# ?85 "l % a8 R a5 11 (*) Sea +#8" infinito #" +8 converge pero la serie
" 8

+#8

" 8

" 8

. Demuestre que el producto +8 diverge.

( Indicaciones: use el Criterio de Cauchy para productos infinitos y el Lema: #" l+8 l converge #" +8 converge. ) 12. A partir de la serie (condicionalmente) convergente
8" "8" 8

construya la serie permutada tomando dos trminos positivos seguidos de una negativo. Demuestre que esta serie converge a $ = donde = es la suma # de la serie original.

1.6

SUCESIONES Y SERIES DE FUNCIONES

27

Desde los inicios del Clculo Infinitesimal el estudio de la aproximacin de funciones por otras ms sencillas acapar la atencin de los matemticos. En particular resulta interesante poder aproximar funciones por series de otras funciones y poder realizar operaciones matemticas con los sumandos de esas series. Sin embargo muy tempranamente se descubri que este tipo de operaciones requera hiptesis diferentes de las usuales reglas de convergencia. DEFINICION. Una sucesin de funciones es una funcin F: : Y donde : : : " : # y Y es un conjunto de funciones reales con un mismo dominio. Es decir, a cada 8 : se ha asociado una funcin F8 08 H La sucesin de funciones se denotar : 08 8: La sucesin 08 converge puntualmente a la funcin 0 si aB H la sucesin numrica 08 B converge al nmero 0 B : Se denotar abreviadamente: 08 0 La sucesin 08 converge uniformemente a la funcin 0 si a% ! bR tal que l08 B 0 Bl % a 8 R a B H ? Se denotar abreviadamente : 08 0

OBSERVACIONES 1. En primer lugar observemos que las definiciones de convergencia puntual y uniforme son muy parecidas, su diferencia es sutil : para esto escribamos explcitamente la definicin de convergencia puntual y : comparmosla con la de convergencia uniforme: 08 0 aB H a% ! bR B % tal que l08 B 0 Bl % a8 R Notamos entonces que la nica diferencia es que , dado un acercamiento %, el acercamiento a infinito caracterizado por R depende no solo de % sino tambin del punto B. En la convergencia uniforme R solo depende de % y por eso la expresin " aB H " aparece al final. 2. Conviene hacer un esquema grfico para visualizar geomtricamente la convergencia uniforme.

28

Figura 1.3 Se ha dibujado, teniendo como centro la grfica de la funcin lmite 0 , una cinta de ancho #% . Para este % debe existir un R tal que todas las grficas de las funciones 08 , a partir de R deben estar completamente contenidas dentro de la cinta. En efecto, las funciones 08 que satisfacen: l08 B 0 Bl % aB H son precisamente aquellas cuyas grficas estn totalmente contenidas en la cinta. 3. En particular, es claro que la convergencia uniforme implica la puntual. En los ejemplos siguientes veremos que la implicacin inversa no es verdadera.

" " !B 8 " # 1. Sea la sucesin de funciones: 08 B # 8B 8 B 8 # ! 8 B " La grfica de estas funciones se muestra en la Figura 1.4:

Ejemplos

29

Figura 1.4 Es fcil ver que esta sucesin converge puntualmente a la funcin " B ! 0 B ! B ! La convergencia no es uniforme, pues para cualquier 8 siempre existe un " B ! B 8 y por lo tanto l08 B 0 Bl l" !l " Por lo tanto basta elegir un % " para contradecir la definicin de convergencia uniforme. Aqu es interesante notar que todas las funciones 08 son continuas, pero su lmite no lo es. 8B " !B 8 " # 2. Sea ahora 0 B # 8B 8 B 8 # ! 8 B " La grfica de estas funciones se muestra en la Figura 1.5:

Figura 1.5

30

: En este ejemplo es fcil ver que 08 ! Pero la convergencia tampoco es uniforme: para cualquier 8 el cacho de la grfica llega hasta 1 y por lo tanto se saldra de una cinta de ancho % " Aqu tanto las funciones 08 # como su lmite son funciones continuas. 3. Sea 08 B
" 8 =/88B

Puesto que la funcin seno es acotada , es

claro que esta sucesin converge uniformemente a la funcin nula. Sin embargo la sucesin de funciones formada por las derivadas es divergente: w 08 B 8 -9=8B diverge para cada B Es decir, la convergencia uniforme no es suficiente para conservar la diferenciabilidad. 4. Sea ahora 08 B
8 # " " 8 B 8 " " B 8 8

Figura 1.6 Esta sucesin diverge tanto uniforme como puntualmente, puesto que en 0 se tiene lim 08 ! es decir, su lmite no es una funcin real. Sin embargo, si se calcula la sucesin de sus integrales, se tiene: " " '" 08 B.B " Luego lim '" 08 B.B "
8 8

TEOREMA 3

31

Sea la sucesin de funciones 08 + , 8 ? " (Criterio de Cauchy) 08 0 a% ! bR tal que l0: B 0; B % a: ; R aB + , ? 2. Si 08 0 y 08 son continuas en B entonces 0 es continua en B ? 3. Si 08 0 y 08 son Riemann-integrables , entonces 0 es Riemann'+, lim 08 lim '+, 08 integrable y vale :
8 8

: w ? % Sean 08 diferenciables en [a,b] , 08 0 y 08 1 , entonces 0 es dieferenciable y vale 1 lim 08 w lim 08 w 0 w

8 8

DEMOSTRACIN: ? 1. ( ) Sea 08 0 en + ,. Sea % ! : por deifinicin % bN , tal que l08 B 0 Bl # a8 R aB + , Basta tomar el mismo R ; si : ; R , entonces % % l0: B 0; Bl l0: B 0 Bl l0 B 0; Bl # # % Sea vlido el criterio. En particular la sucesin de nmeros 08 B es de Cauchy para todos los B + , Por lo tanto : converge. Podemos definir as una funcin 0 tal que 08 0 Lo que falta por demostrar es que la convergencia es uniforme. Para eso sea % % ! por hiptesis bN tal que l08 B 07 Bl # a8 7 R aB + , Basta aqu tomar lmite cuando 7 tiende a infinito. La continuidad de la funcin valor absoluto permite pasar el % lmite hacia adentro: l08 B 0 Bl # % 2. Sea % ! . Por la convergencia uniforme de la sucesin bN tal % que l08 C 0 Cl $ aC + , a8 R y por la continuidad de la % funcin 08 en B existe vecindad h de B tal que l08 B 08 Cl $ aC h Notar que aqu se ha tomado un 8 R fijo. Por lo tanto: l0 B 0 Cl l0 B 08 Bl l08 B 08Cl l08C 0 Cl % Lo que demuestra la continuidad de 0 en B . ? 3. Sea ahora 08 0 y 08 e+ , . Demostraremos que 0 e+ , usando el criterio de integrabilidad de Riemann. Para eso dmonos un

32

% !. Entonces, por la convergencia uniforme, podemos encontrar un 8 % tal que l0 B 08 Bl #,+ aB + , y tambin, por la inegrabilidad de cada 08 , una divisin H del intervalo + , tal que % W08 H =08 H # . Tomando esta misma divisin y recordando que =?:0 1 =?:0 =?: 1 380 0 1 380 0 380 1 tenemos: W0 H =0 H W0 08 H W08 H =0 08 H W08 H W0 08 H =0 08 H % % W08 H =08 H #,+ , + # % lo que demuestra la integrabilidad de 0 . Para demostrar la igualdad propuesta, dmonos nuevamente un % !. Por % la convergencia uniforme bN tal que l0 B 08 Bl ,+ , , aB + , Luego : |'+ 0 '+ 08 l ' l0 08 l % : w ? % Sean 08 diferenciables en [a,b] , 08 0 y 08 1 Demostraremos en primer lugar que la funcin lmite 1 es continua en cada punto de + , . Tomemos un nmero - + , y vamos a demostrar que 1 es continua en - . Se entiende que , si - es uno de los extremos, la continuidad es lateral, del mismo modo, la diferenciabilidad de los 08 en los extremos se entiende de tipo lateral. Definamos la funcin auxiliar: 08 B08 - B18 B w B08 - BNtese que las funciones 18 son continuas en [a,b], en particular son continuas en el punto - . Para dos ndices fijos 8 7 llamemos 2B 08 B 07 B Reemplazando arriba, se tiene: 18 B 17 B 2B2- y como 2 es diferenciable, por el teorema del Bvalor medio b), entre - y B , tal que 2B 2- 2 w )B - luego: w w 18 B 17 B 2 w ) 08 ) 07 ) Pero la convergencia uniforme w de las derivadas 08 implica que ellas satisfacen la condicin de Cauchy , ? por lo tanto tambin debe hacerlo la sucesin 18 , es decir, 18 F w donde F es continua en + , en particular en - . Como 18 - 08 - y ? w 08 1 se tiene que F- 1- Luego, 1 es continua en - . Usando el punto 3 de este teorema y aplicando el teorema fundamental del clculo, tenemos: w w '+B 1 '+B lim 08 lim '+B 08 lim 08 B 08 + 0 B 0 +
8 8 8

33

es decir, 0 B 0 + '+ 1 y como 1 es continua, 0 es diferenciable y vale finalmente 0 w 1 Q.E.D

B

COROLARIOS 1. El punto 2 de este teorema puede expresarse en trminos operativos del ? siguiente modo: si 08 0 , entonces el lmite continuo se puede intercambiar con el lmite discreto: lim lim 08 B lim lim 08 B
8 B+ B+ 8

En particular, usando el lgebra de lmites , para series que convergen

uniformemente, se tiene : lim # Si la serie

B+ 8!

08 B
8!

lim 08 B
B+

, trmino a trmino, es decir : '+

08 converge uniformemente , entonces se puede integrar

08
8!

8!

'+ 08
,

$ Del mismo modo, si la serie serie de las derivadas

08 converge puntualmente, pero la

w 08 converge uniformemente, entonces la serie se

puede derivar trmino a trmino:

08 w

w 08

1.7

PROBLEMAS

B 1. Sea 08 8B Analice la convergencia puntual para B ! Es uniforme la convergencia en ! ? y en ! " ?

2. Sea 08 B

B8 ! B " " "B Encuentre la funcin lmite (puntual) de esta sucesin analice la uniformidad de la convergencia en ! en ! " y en cualquier intervalo de la forma ! + con + "

34

3. Analice la convergencia puntual y uniforme de la sucesin B 08 B "8B en el intervalo ! ? 4. Sea 08 B " BB8 Demuestre que 08 ! en ! " 5 Sea 08 B 6918B 8 Calcule el lmite puntual de esta sucesin. Es uniforme la convergencia en el intervalo " ? y en el intervalo " # ? # # Es verdadero que lim '" 08 B.B '" lim 08 B .B ?
w Es verdadero que ( lim 08 w lim 08 ? 8 8 8 8

#B 6. Considere la sucesin de funciones 08 B 8# B Haga un esbozo de los primeros trmino de esta sucesin Calcule, si existe, el lmite puntual de esta sucesin para B ! Es uniforme la convergencia en ! ? y en ! " ? Es verdadera o falsa la igualdad . . .B lim 08 B lim .B 08 B 8 8

para B ! ? 7. Sea 08 B
-9=#8B 8

Encuentre el lmite puntual de esta sucesin en ! 1 Es % uniforme la convergencia en este intervalo ? w Es verdadero o falso que ( lim 08 w lim 08 ? donde? Es verdadero o falso que: 1 1 lim '0% 08 B.B '!% lim 08 B .B ?
8 8 + '+ 0 B.B ! + " Fundamente su respuesta. 8! 8 8

8. Sea 0 B

#B#8 Calcule, en trminos de una serie, la integral:

8B 9. Sea 08 B 8B" Estudie la convergencia de esta sucesin en ! w y en + + ! Es verdadero o falso que ( lim 08 w lim 08 ? 8 8

donde?

35

10. Haga un estudio similar para las sucesiones de funciones : 3 18 B

8 "8# B 8B 8# B

33 28 B

11(*) . Demuestre que la serie:

8!

"8 8B#

es uniformemente convergente en todo

36