Cap tulo

Series numericas

at

ic

a1

Aquiles alcanz a la tortuga y se sent confortablemente sobre su espalda. De modo que has llegado al nal de nuestra carrera? dijo la tortuga . A pesar de que realmente consiste en una serie innita de distancias? Yo crea que algn necio haba demostrado que esto no poda hacerse.

.c

om

9.1. Conceptos bsicos

En este captulo continuamos con el estudio de las sucesiones empezado en el Captulo 7. La novedad es que ahora vamos a considerar un tipo particular de sucesiones que, sin exagerar, puede armarse que son las ms tiles del Anlisis. Estas sucesiones se llaman series. En lo que sigue vamos a considerar sucesiones de nmeros reales por lo que evitaremos esa innecesaria precisin. 9.1 Denicin. Dada una sucesin , podemos formar a partir de ella otra sucesin, cuyos trminos se obtienen sumando consecutivamente los trminos de , es decir:

w w

.M

at

em

Lewis Carroll

o, si te gusta ms, as denida y, para todo , . La sucesin se llama serie de trmino general o serie denida por la sucesin , y la representaremos por
o, ms sencillamente,

. El nmero

se llama suma parcial de orden

de la serie

Debe quedar claro desde ahora que una serie es una sucesin cuyos trminos se obtienen sumando consecutivamente los trminos de otra sucesin. Ni que decir tiene que, siendo las series sucesiones, los conceptos y resultados vistos para sucesiones conservan su misma signicacin cuando se aplican a series. En particular, es innecesario volver a denir qu se entiende cuando se dice que una serie es acotada, convergente o positivamente divergente. Si una serie

es convergente se usa el smbolo

para representar el lmite de la es el nmero denido por:

serie que suele llamarse suma de la serie. Naturalmente,

l m

l m

Por tanto, la igualdad quiere decir que para todo para todo se verica que .

, hay un

tal que

at

w w

em

at

cuyo caso se verica que:

ic

a1

.c

9.2 Ejemplo (Serie geomtrica). Dado un nmero , la sucesin se llama serie geomtrica de razn . Observa que dicha serie se obtiene sumando consecutiva mente los trminos de la sucesin . Es costumbre representar la serie , en geomtrica de razn con el smbolo . Dicha serie converge si, y slo si,
om

w .M

(9.1) , se tiene:

Todas las armaciones hechas se deducen de que si

(9.2)

Si

entonces l m

y obtenemos que:

l m

Si o entonces la sucesin tampoco converge.

no converge; y si

entonces

Te recuerdo que ya habamos estudiado la serie geomtrica en el ejemplo 7.5. 9.3 Ejemplo (Serie armnica). La serie de trmino general

, es decir, la sucesin

donde

, que simblicamente representamos por

, se llama serie armnica.

Se verica que la serie armnica diverge positivamente:

l m

En efecto, para todo tenemos que

log

y por tanto m l

l m log

Este resultado es tambin consecuencia directa de que, segn vimos en el ejercicio resuelto 164, la serie armnica es asintticamente equivalente a la sucesin log :

l m

log

9.4 Ejemplo (Serie armnica alternada). Se llama as la serie de trmino general es decir, la serie

. Se verica que la serie armnica alternada es convergente y su

Esto ya ha sido probado en el ejercicio resuelto 164. Pero podemos dar otra prueba ms directa. Sustituyendo por en la igualdad (9.2), obtenemos la siguiente igualdad vlida para todo y todo :
w w w .M

at em

at

ic

a1

.c

om

suma es igual a log .

log

(9.3)

Integrando esta igualdad entre y tenemos que: log

De donde

log

Y deducimos que
lm log

log

El siguiente ejemplo te ayudar a entender el concepto de serie convergente. Vamos a ver que modicando el orden de los trminos en una serie convergente podemos obtener otra serie convergente con distinta suma. 9.5 Ejemplo (Reordenando trminos en la serie armnica alternada podemos obtener otra serie con distinta suma). Como hemos visto, la serie armnica alternada es la sucesin que se obtiene sumando consecutivamente los trminos de la sucesin

(9.4)

Vamos a cambiar el orden de los trminos en esta sucesin poniendo uno positivo seguido de dos negativos manteniendo sus posiciones relativas. Obtenemos as la sucesin

(9.5)

cuya serie asociada, obtenida sumando consecutivamente sus trminos, es la sucesin dada por:

.M at

em

at ic

a1 .

co

Tenemos que:

Deducimos que:

l m

l m

log

Es claro que l m

l m

de donde se sigue que:

m l

log

Es decir, hemos probado que la serie obtenida reordenando los trminos de la serie armnica alternada por el criterio de sumar uno positivo seguido de dos negativos, es convergente y su suma es

log .

9.6 Observacin (La suma de una serie convergente no es una suma). El ejemplo anterior pone claramente de maniesto que la suma de una serie convergente no es una suma en el sentido usual de la palabra, es decir, no es una suma algebraica de nmeros. Observa que los conjuntos de nmeros (9.4) y (9.5) son los mismos pero las series correspondientes tienen distinta suma; la primera tiene suma log y la segunda log . Si la suma de una serie consis tiera en sumar los innitos trminos de una sucesin, entonces el orden en que los sumramos sera indiferente porque la suma de nmeros tiene la propiedad conmutativa. Debes tener claro, por tanto, que cuando calculas la suma de una serie no ests haciendo una suma innita sino que ests calculando un lmite de una sucesin cuyos trminos se obtienen sumando consecutivamente los trminos de otra sucesin dada. Insisto: calcular la suma de una serie no es una operacin algebraica, no consiste en sumar innitos trminos, es un proceso analtico que supone un lmite.

9.1.1. La particularidad del estudio de las series

Ahora viene la pregunta del milln: si las series no son nada ms que sucesiones, por qu dedicarles una atencin especial? La respuesta a esta pregunta es que en el estudio de las series hay una hiptesis implcita que los libros silencian. A saber: se supone que las series son sucesiones demasiado difciles de estudiar directamente. La caracterstica que distingue el estudio de las series es la siguiente: se trata de deducir propiedades de la serie , a partir del comportamiento de . Es haciendo decir, los resultados de la teora de series dan informacin sobre la sucesin hiptesis sobre la sucesin . Por qu esto es as?, no sera ms lgico, puesto que lo que queremos es estudiar la serie , hacer hiptesis directamente sobre ella? La razn de esta forma de proceder es que, por lo general, no se conoce una expresin de que permita hacer su estudio de forma directa; es decir, la suma no es posible realizarla en la prctica. Por ello, en el estudio de las series se supone implcitamente que la sucesin es el dato que podemos utilizar. Naturalmente, esto hace que el estudio de las series se preste a muchas confusiones porque, aunque su objetivo es obtener propiedades de la serie , las hiptesis y la notacin , por hacen siempre referencia a la sucesin lo que puede caerse en el error de creer que lo que se est estudiando es dicha sucesin cuando lo que realmente se estudia es la sucesin . Un error muy comn y que debes evitar es confundir las sucesiones y : son sucesiones muy diferentes!

.M

at

em

at

ic

a1

.c

om

Si lo piensas un poco, esta forma de proceder no es del todo nueva. Ya ests acostumbrado a usar la derivada de una funcin para estudiar propiedades de la funcin; pues bien, la situacin aqu es parecida: para estudiar la serie (la funcin) estudiamos la sucesin (la derivada). Un buen ejemplo de esto que digo son los criterios de convergencia que veremos dentro de poco. Otra dicultad adicional en el estudio de las series es la notacin tan desafortunada que se

emplea. En la mayora de los textos se representa con el mismo smbolo,

, la serie (que

es una sucesin) y su suma (que es un lmite que no siempre existe). Esto es un disparate: se est confundiendo una sucesin con un nmero. Es lo mismo la sucesin que el nmero 0 que es su lmite? En ninguna parte vers escrita la igualdad disparatada Por qu

entonces, al tratar con series, se confunde el nmero

con

que es la sucesin

Quizs esto se debe a que, parece increble pero es cierto, no hay acuerdo unnime para representar de forma apropiada la serie de trmino general . La notacin que estamos usando aqu, , tiene la ventaja de que es clara y evita las confusiones que estoy comentando, pues

permite distinguir entre la serie y su eventual suma. Tiene el inconveniente de que la mayora de los autores no la usan (quizs porque la desconocen). Estoy convencido de que las ventajas de esta notacin compensan ampliamente este posible inconveniente. Es ms, confo en que dicha notacin acabe imponindose y siendo aceptada universalmente. Pero esto no va a suceder pasado maana, por eso te advierto de que en los libros encontrars las usuales notaciones confusas que no distinguen entre la serie (una sucesin) y su posible lmite (su suma). Todava queda una ltima sorpresa. Estamos de acuerdo en que las series son sucesiones. Muy especiales? En absoluto. Toda sucesin podemos verla, si as nos interesa, como una serie. Pues toda sucesin es la serie denida por la sucesin de sus diferencias, esto es, por la sucesin dada por:

w w

.M

at e

at ic

a1 .c

om

Es claro que

. Por tanto, toda sucesin podemos considerarla como una serie. En

resumen, series y sucesiones son lo mismo: toda serie es una sucesin y toda sucesin puede ser vista como una serie. Lo que distingue a la teora de series es el punto de vista especco de su estudio, pero sus resultados pueden aplicarse a cualquier sucesin. Creo que con lo dicho ya puedes hacerte una idea correcta de lo que son las series. Insisto en esto porque en los libros encontrars disparates para todos los gustos. Voy a comentar seguidamente algunos de ellos. Mis comentarios estn pensados para hacer reexionar a los profesores que los lean. 9.7 Observacin (Sobre algunas deniciones usuales de serie). En algunos libros se da a siguiente denicin.

Denicin de serie a la Bourbaki. Una serie es un par de sucesiones donde para todo . La sucesin se llama sucesin de sumas parciales de la serie. El problema con esta denicin est en las primeras 7 palabras: una serie es un par de sucesiones. Quien lea esta denicin pensar que una serie es algo diferente a una sucesin. Si, adems, como ocurre con ms frecuencia de la deseada, el libro que da esta denicin vuelve a enunciar para series e incluso a demostrar! algunos de los resultados anteriormente vistos para sucesiones, el desastre ya es total: el lector de ese libro acabar pensando que las series son algo diferente de las sucesiones. Esta denicin de serie adolece de la pedantera lamentable de las deniciones al estilo Bourbaki. Son deniciones excesivamente formalistas cuya precisin formal las hace confusas e ininteligibles para quien no sabe de qu va la cosa. Con un ejemplo se entiende mejor lo que quiero decir. T sabes lo que es la derivada de una funcin. Sabes que para derivar una funcin primero tienen que darte la funcin cuya derivada vas a usar. Por tanto, el concepto de derivada involucra a dos funciones: la funcin y la funcin . Una denicin al estilo Bourbaki de derivada sera como sigue: Una derivada es un par de funciones da en un intervalo , y para cada punto

Estars de acuerdo en que la supuesta mayor precisin formal de esta denicin est muy lejos de compensar su mayor dicultad de comprensin. Esto es exactamente lo que se hace en la denicin de serie que estamos comentando. Para formar la serie primero tienen que darnos la sucesin . Eso y no otra cosa es lo que signica la expresin una serie es un par de sucesiones. Todos sabemos que el Tajo pasa por Toledo pero eso no nos hace decir que Toledo es un par (Tajo,Toledo) Me explico? En el extremo opuesto del estilo Bourbaki est el estilo todo vale. Denicin de serie al estilo todo vale. Una serie es una suma innita

w w

.M

at

em

at ic

a1

.c

om

l m

, donde es una funcin deni es el nmero denido por

Ya est, eso es todo. Deniciones parecidas a esta se encuentran con frecuencia en libros de autores ingleses o norteamericanos. Se trata de una denicin que no dene nada e introduce smbolos confusos. Entre el excesivo formalismo y la informalidad absoluta, con notaciones inapropiadas y confusas, la verdad es que la mayora de los libros que conozco no ayudan a comprender el concepto de serie ni las particularidades de su estudio. Convenios de notacin. Usaremos la notacin para representar la serie de trmino general . Por tanto, una ltima vez lo repito, es una sucesin, ms concretamente, es la aplicacin de en que a cada nmero natural hace corresponder el nmero . A pesar de lo dicho, tambin usar de vez en cuando la notacin para la serie de trmino general . Creo que un uso adecuado de ambas notaciones es la mejor

forma de ayudarte para que tengas siempre presente que la sucesin que estamos estudiando es y no . A veces conviene considerar, por comodidad, series que empiezan en un ndice entero

, usaremos en tal caso la notacin

. Por ejemplo, es ms cmodo escribir

log

que

log

aunque ambas son la misma serie.

9.1.2. Propiedades bsicas de las series convergentes

Es importante que te des cuenta de que cambiar un solo trmino en la sucesin se traduce en cambiar innitos trminos en la serie . El siguiente resultado nos dice que si cambiamos un nmero nito de trminos en una sucesin ello no afecta a la posible pero s afecta a la suma de dicha serie. convergencia de la serie 9.8 Proposicin. Sean y dos sucesiones y supongamos que hay un nmero tal que para todo es . Entonces se verica que las series y o bien convergen ambas o no converge ninguna, y en el primer caso se verica que:
a1

at e

at ic

.c

om

Demostracin. Pongamos

w .M

. Las armaciones hechas se deducen todas de que para todo

se verica la

igualdad:

Observa que los nmeros y son constantes jas. De la igualdad para todo , deducimos que las series y o ninguna converge. Cuando hay convergencia tenemos que:

, vlida

ambas convergen

l m

l m

l m

l m

Lo que prueba la igualdad del enunciado. Consideremos una serie

. Dado denamos

para

para

todo

. La serie

se llama serie resto de orden

de la serie

. Es usual

representar dicha serie resto con la notacin

. De la proposicin anterior deducimos

que las series

ninguna converge o ambas convergen y, cuando esto ocurre es:

No lo olvides: para calcular la suma de una serie debes tener siempre presente el ndice desde el que se empieza a sumar. El siguiente resultado es importante porque establece una condicin necesaria general para la convergencia de una serie. 9.9 Proposicin (Condicin necesaria para la convergencia de una serie). Para que la serie m . sea convergente es necesario que l Demostracin. Si la serie m es convergente, entonces l nmero real. Como para todo con tenemos que l m l m l m .
om .c

l m es un , deducimos que

w .M

9.10 Ejemplo. Las series

at e

Esta condicin necesaria no es suciente: no es pero la serie armnica convergente. Se trata de una condicin necesaria para la convergencia de una serie, por tanto cuando dicha condicin no se cumple la serie no es convergente.

at ic

a1

sen ,

no son ninguna de ellas

convergente porque sus trminos generales no convergen a :

sen

9.1.3. Propiedades asociativas y conmutativas

Ya hemos dicho que el lmite, , de una serie convergente, l m , no es, como a veces se dice, una suma de los innitos trminos de la sucesin . Qu sentido tiene eso innitos trminos? Ninguno, desde luego. Lo que dicho nmero de sumar verica es que , a partir de un se conserva menor que cualquier nmero cierto en adelante. Si bien, puede ser sugerente la interpretacin de como la suma de los trminos de la sucesin , no hay que olvidar que esto no es ms que una forma de hablar, y que el lmite de una serie convergente es, justamente, el lmite de una sucesin de sumas y no debe confundirse con una operacin algebraica. Por ello cabe preguntarse si las propiedades asociativa y conmutativa de la adicin se conservan para series convergentes. De hecho, ya hemos visto que la propiedad conmutativa no se verica en general, pues reordenando

los trminos de una serie convergente podemos obtener otra serie con suma distinta. Las cosas van mejor en lo que se reere a la asociatividad. Precisemos estas ideas. Sea tamente creciente

la serie denida por la sucesin . Dada una aplicacin estric , denamos una sucesin por: (9.6)

En estas condiciones se dice que la serie se ha obtenido asociando trminos en la serie , y , se tiene que . Poniendo , es decir la sucesin es una sucesin parcial de . Deducimos el siguiente resultado. 9.11 Proposicin. Toda serie obtenida asociando trminos en una serie convergente tambin es convergente y ambas series tienen la misma suma. Es importante advertir que asociando trminos en una serie no convergente puede obtenerse no es una serie convergente. Por ejemplo, la serie denida por la sucesin convergente, y la serie que se obtiene de ella asociando trminos dos a dos, es decir, la serie denida por la sucesin , es evidentemente convergente. A este respecto tiene inters el siguiente resultado que establece una condicin suciente para que de la convergencia de una serie obtenida asociando trminos en otra pueda deducirse la convergencia de esta ltima.

at em

una aplicacin estrictamente creciente, una sucesin 9.12 Proposicin. Sea y la sucesin denida como en (9.6). Supongamos que la serie es convergente y que la sucesin
at ic a1 .c

converge a cero. Entonces la serie . Demostracin. Para cada ,

w w

, denamos:
ma x

.M

om

es convergente y tiene la misma suma que la serie

Evidentemente, . Adems , y para todo . Pongamos , . Se comprueba fcilmente, usando que es creciente y no mayorada, que l m l m (observa que es parecida a una sucesin parcial de ). Para tenemos:

Por tanto

De donde se sigue que l m

l m

l m

Estudiaremos seguidamente las series convergentes para las que se verica la propiedad la serie denida por la conmutativa. Precisaremos estos conceptos. Sea

sucesin . Dada una biyeccin En estas condiciones se dice que la serie trminos en la serie . 9.13 Denicin. Se dice que una serie gente si para toda biyeccin , es decir la serie

, denamos una sucesin por . se ha obtenido reordenando

es conmutativamente conver , se verica que la serie denida por la sucesin , es convergente.

Observa que, tomando como biyeccin de sobre la identidad, si la serie es conmutativamente convergente entonces es convergente. En otras palabras, una serie es conmutativamente convergente, cuando es convergente y tambin son convergentes todas las series que se obtienen de ella por reordenacin de sus trminos (en cuyo caso se verica que todas ellas tienen la misma suma). La serie armnica alternada es un ejemplo de serie convergente que no es conmutativamente convergente. El siguiente teorema da una sencilla caracterizacin de las series conmutativamente convergentes. Debes entender lo que arma el teorema pero no es preciso que leas su demostracin. Si acaso, puede ser interesante que leas el comienzo de la demostracin de la implicacin porque es muy parecida a la demostracin del teorema 8.33. Esto no es casual: hay bastantes analogas entre la convergencia de integrales impropias y de series. 9.14 Teorema. Las siguientes armaciones son equivalentes:

Adems, en caso de que se veriquen a) y b), se tiene que:

w w

.M

at em

at ic

b) La serie

es convergente.

cualquiera sea la biyeccin

Demostracin. Pongamos , . Supongamos que es convergente. Probaremos en primer lugar que la serie tambin es convergente. Dado , la condicin de Cauchy para nos dice que existe tal que

a1

.c

a) La serie

es conmutativamente convergente.

para todos

om

tales que

(9.7)

Deducimos que para todos

tales que

se verica que

Lo que prueba que la serie

l m Pongamos , y sea se verica (9.7) y adems

cumple la condicin de Cauchy y, por tanto, es convergente.

una biyeccin. Dado . Denamos

, sea

tal que

ma x

Para , se verica que no es vaco. Sea m n ,

. Por tanto, el conjunto ma x . Tenemos entonces que , y por tanto:

Hemos probado as que

y por tanto que implica .

Probaremos que si la serie no es convergente entonces la serie no es conmutativamente convergente. Supondremos, pues, en lo que sigue que no es convergente. Tenemos para la serie dos posibilidades: o bien converge o bien no converge. Evidentemente, si no converge entonces, con mayor razn, no es conmutativamente convergente. Consideraremos, por tanto, el caso en que es convergente. Para nuestro pro psito es suciente probar que, en tal caso, hay una biyeccin tal que la serie es positivamente divergente. Veamos cmo puede justicarse la existencia de dicha biyeccin.
De las hiptesis hechas se deduce que los conjuntos son innitos. Sean y biyecciones crecientes de sobre y Evidentemente, para todo , se verica que:
om w a1

,y , respectivamente.

por lo que, poniendo

.M

at

em

at

ic

.c

tenemos que y , de donde se sigue que ninguna de las sucesiones y es convergente y, como son montonas, deducimos que diverge positivamente y diverge negativamente. Lo que sigue es fcil de entender: vamos a ir formando grupos de trminos positivos consecutivos de la sucesin y, entre cada dos de tales grupos, vamos a ir poniendo consecutivamente los trminos negativos de dicha sucesin. El criterio para ir formando los grupos de trminos positivos es que la suma de cada grupo con el trmino negativo que le sigue sea mayor que . Formalmente sera como sigue. Denimos por:

m n

m n

para todo

Pongamos, por comodidad de notacin . Ntese que el grupo -simo de trminos positivos est formado por , y dicho grupo va seguido , dada por: por el trmino negativo . Pues bien, la biyeccin

para

es tal que la serie tenemos que:

es positivamente divergente, pues para

La utilidad del teorema que acabamos de probar est clara: para estudiar la convergencia conmutativa de una serie lo que se hace es estudiar la convergencia de la serie . Es usual utilizar la siguiente terminologa. 9.15 Denicin. Se dice que la serie la serie es convergente.

co m

es absolutamente convergente, si

a1 .

Debes entender bien esta denicin. Que la serie

converge absolutamente quiere

at em

decir que es convergente la sucesin

at w .M

ic

Y el teorema anterior arma, entre otras cosas, que esto implica la convergencia de la sucesin

Son sucesiones muy diferentes! Naturalmente, si una serie converge, tambin converge la sucesin que se obtiene tomando valores absolutos ; pero esta sucesin no es igual a . Por eso puede ocurrir que una serie sea convergente pero no sea absolutamente convergente. La serie armnica alternada es un ejemplo de serie convergente que no es absolutamente convergente. Con esta terminologa, el teorema 9.14 arma que la convergencia absoluta es lo mismo que la convergencia conmutativa1 .
muchos libros a las series que son absolutamente convergentes las llaman tambin incondicionalmente convergentes y a las series que son convergentes pero no son absolutamente convergentes las llaman tambin condicionalmente convergentes. En mi opinin esta terminologa solamente sirve para confundir un poquito ms.
1 En

9.1.4. Ejercicios propuestos

447. Estudia la convergencia de las series: a)

y b)

log

448. Justica las igualdades:

a)

log .

b)

c)

log

log .

om

449. Demuestra que si los trminos de la serie armnica alternada se permutan de tal modo que a cada grupo de trminos positivos consecutivos le siga un grupo de trminos negativos consecutivos, entonces la nueva serie as obtenida es convergente con suma log . igual a log
at ic

450. Sea una sucesin decreciente de nmeros positivos y supongamos que la serie es convergente. Prueba que converge a .
a1 .c

9.1.5. Ejercicios resueltos

Antes de ver la solucin de un ejercicio debes intentar resolverlo! Ejercicio resuelto 227 Estudia la convergencia de las series: a)

.M

at e

Sugerencia. Considera

y b)

log

Solucin. a) Luego

, es decir la serie

es convergente

y su suma es igual a . b) log Luego

log

log

log

log

log

log

log

, es decir la serie

es posi-

tivamente divergente.

Ejercicio resuelto 228 Justica las igualdades:

a)

log .

b)

c)

log

log .

Solucin. a) y b) Sabemos que la serie armnica alternada es convergente y su suma es igual a log .

log . Tambin sabemos que una serie obtenida asociando

trminos en una serie convergente tambin es convergente y con la misma suma. Las series en a) y en b) se obtienen de la serie armnica alternada asociando trminos de en o de en respectivamente, lo que justica las igualdades en a) y en b). Finalmente, observa que la serie en c) se obtiene sumando las series en a) y en b). Ejercicio resuelto 229 Demuestra que si los trminos de la serie armnica alternada se permutan de tal modo que a cada grupo de trminos positivos consecutivos le siga un grupo de trminos negativos consecutivos, entonces la nueva serie as obtenida es convergente con suma igual a log log .
at e m

es precisamente la serie que se obtiene asociando trminos de en en la serie del enunciado. Si dicha sucesin es convergente, aplicando la proposicin 9.12 (con ), se sigue que la serie del enunciado tambin es convergente y su suma
w

.M

Solucin. Pongamos

at

ic

a1

.c

om

. Consideremos la sucesin

que

es igual a l m

. Llamando, como de costumbre

, y recordando la

estrategia 7.33, tenemos que:

log

log

log

log

log

log

log

log

log

9.2. Criterios de convergencia para series de trminos positivos

Una serie para todo , se dice que es una serie de trminos tal que positivos. Observa que una serie de trminos positivos es una sucesin creciente por lo que o bien es convergente (cuando est mayorada) o es positivamente divergente. 9.16 Proposicin (Criterio bsico de convergencia). Una serie de trminos positivos

es convergente si, y slo si, est mayorada, es decir, existe un nmero

tal que para todo

se verica que

, en cuyo caso su suma viene dada por:

sup

Una serie de trminos positivos que no est mayorada es (positivamente) divergente. 9.17 Ejemplo. La serie

es convergente porque para todo

se verica:

em

w w

.M

at

at ic

a1

.c

om

Si

es una serie de trminos positivos, suele escribirse

para indicar que

dicha serie converge. Teniendo en cuenta la proposicin 9.8, los criterios que siguen pueden aplicarse para estudiar la convergencia de series cuyos trminos son todos positivos a partir de uno de ellos en adelante. 9.18 Proposicin (Criterio bsico de comparacin). Sean

dos series de tr-

minos positivos. Supongamos que hay un nmero tal que Entonces se verica que si la serie es convergente, tambin

para todo . es convergente o,

equivalentemente, si la serie

es divergente tambin

es divergente.

Demostracin. Pongamos hechas implican que para todo tambin lo est .

es

. Deducimos que si

. Las hiptesis est mayorada

log la serie armnica es divergente.

9.19 Ejemplos. La serie

es divergente porque es de trminos positivos,

log

La serie

log

es convergente porque es de trminos positivos y:

log

log

log

y la serie La serie

es convergente.

log

es convergente. Para ello usamos la desigualdad (ver

(7.5)):

log

De la que se deduce:

at ic

9.20 Proposicin (Criterio lmite de comparacin). Sean

at em

a1

.c

om

log

dos series de tr-

.M

minos positivos, y supongamos que m l a) Si b) Si

y

w w

es divergente tambin

es divergente.

es convergente tambin

es convergente.

c) Si las series

son ambas convergentes o ambas divergentes.

En particular, si dos sucesiones de nmeros positivos, y son asintticamente equiva lentes, las respectivas series, y ambas convergen o ambas divergen. Demostracin. Supongamos que . Sea . Todos los trminos de la sucesin , a partir de uno en adelante, estn en el intervalo , es decir, existe tal que para todo es , y, por tanto, . Concluimos, por el criterio de comparacin, que la convergencia de una de las series implica la convergencia de la otra. Queda, as, probado el punto c) del enunciado. Los puntos a) y b) se prueban de manera parecida.

9.21 Ejemplos. La serie

es divergente porque es de trminos positivos y se veri-

ca que e

. sen ,

Por la misma razn las series

tg ,

log

son todas ellas series

de trminos positivos divergentes, porque sus trminos generales son asintticamente equivalentes al trmino general de la serie armnica

La serie

es convergente porque es de trminos positivos, se verica

que

y la serie

es convergente.

Observa el parecido de estos criterios con los correspondientes criterios de convergencia para integrales impropias de funciones positivas. El siguiente resultado establece, en un caso particular, una relacin an ms estrecha entre ambos tipos de convergencia. 9.22 Proposicin (Criterio integral). Sea te. Entonces se verica que

una funcin positiva y decrecien

at em

at ic

d
.M w w

.c

om a1

gen.

En consecuencia, la serie

y la integral

d ambas convergen o ambas diver .

Demostracin. Por ser decreciente, para todo Integrando, deducimos que:

es

Sumando estas desigualdades desde

d
hasta

, obtenemos la desigualdad del enunciado.

Para poder usar los criterios de comparacin, necesitamos conocer ejemplos de series convergentes con las que poder comparar una serie dada. Unas series de trminos positivos muy tiles para comparar con otras series son las siguientes. 9.23 Proposicin (Series de Riemann). Dado un nmero real , la serie serie de Riemann de exponente . Dicha serie es convergente si, y slo si,

se llama

Demostracin. Para que se cumpla la condicin necesaria de convergencia es preciso que sea . Supuesto que esto es as, podemos aplicar el criterio integral a la funcin d es convergente si, y slo si, . y tener en cuenta que la integral

9.24 Ejemplos. Las series

arc tg ,

log

convergen si, y slo si,

porque son de trminos positivos y su trmino general es asintticamente equivalente a .

e , donde y son nmeros reales, no converge para ningn valor La serie de si , porque en tal caso su trmino general no converge a . Si converge si y slo si, porque es una serie de trminos positivos y su trmino general es asintticamente

equivalente a Si en el criterio lmite de comparacin hacemos de convergencia. 9.25 Proposicin (Criterio de Prinsheim). Sea nmero real y supongamos que i) Si ii) Si iii) Si

, obtenemos el siguiente criterio

una serie de trminos positivos, un

. Entonces:

es divergente.

y ,

es convergente. y diverge si
at ic

converge si

a1

.c

om

.M at em

, se deduce log el siguiente criterio de convergencia que es ecaz para estudiar la convergencia de series que pueden compararse con series de Riemann.
w

Observando que si

, la desigualdad

equivale a

log

9.26 Proposicin (Primer criterio logartmico). Supongamos que log . pongamos log i) Si

para todo , y

, donde

, la serie

es convergente.

ii) Si , donde o para todo , entonces la serie

, o bien si existe algn tal que

es divergente.

9.27 Ejemplo. La serie

donde

log

y , es una serie de trminos

positivos (a partir de uno de ellos en adelante) y se tiene que:

log
log

log

log

log

log

log
log

El primer criterio logartmico nos dice que si Si

la serie converge y si

la serie diverge. e , podemos

tenemos que

log

. Recordando que

esperar que para conjeturar que log

sucientemente grande

log

e log

. Esto lleva a

. Tenemos que:

log

log

log

log

log

log

log

log

log

log

log log

Si ahora recuerdas que l m

, se sigue que log

, es decir,

. El criterio de Prinsheim implica que la serie

es divergente.

Vamos a estudiar a continuacin unas series ms generales que las series de Riemann.

at

ic

nentes y

a1 em
converge si log

.M

at

9.28 Proposicin (Series de Bertrand). La serie sea , y tambin si

w

.c

om

Dados dos nmeros reales y , la serie

log

se llama serie de Bertrand de expo-

cualquiera

. En cualquier otro caso es divergente.

w w

Demostracin. Sabemos que cualesquiera sean l m

se verica que:
. Podemos escribir:

log

Supongamos que

y sea

un nmero vericando que

log

log

donde

. Deducimos as que

l m

log

El criterio de Prinsheim implica que la serie Si

log

es convergente.

un razonamiento parecido muestra que la serie diverge cualquiera sea .

Sea ahora

. Entonces, si

, tenemos que

el criterio de comparacin implica que la serie es divergente. Sea, pues,

log

para todo

,y

y pongamos

log

para

. La funcin

es positiva y decreciente en

. Tenemos:
si si

d log

log

loglog

loglog

log log loglog

Deducimos que la integral impropia criterio integral nos dice que la serie

d es convergente si, y solo si,

. El .

log

converge si, y slo si, log

9.29 Ejemplo. Se trata de estudiar la convergencia de la serie

donde

. En

el ejercicio resuelto 171 hemos visto que log es asintticamente equivalente a log . Por log la cual tanto, a efectos de convergencia, la serie dada se comporta igual que la serie es una serie de Bertrand con o sea, . Si

. Dicha serie converge si, y slo si,

em

log . Se deduce de aqu equivale a loglog log el siguiente criterio de convergencia que es ecaz para estudiar la convergencia de series que pueden comparase con una serie de Bertrand de exponente .

at ic

a1 .c

om

, la desigualdad

y pongamos i) Si

log

. loglog

9.30 Proposicin (Segundo criterio logartmico). Supongamos que

para todo ,

.M

, donde

at

, la serie

es convergente.

, donde o ii) Si para todo , entonces la serie

, o bien si existe algn tal que

es divergente.

Vamos a estudiar a continuacin dos criterios de convergencia que se aplican a series que pueden compararse con una serie geomtrica. El primero de estos criterios parte de que la serie geomtrica de trmino general , donde , converge si , esto lleva,

en el caso general de una serie trminos positivos,

, a considerar el comportamiento de

la sucesin

9.31 Proposicin (Criterio del cociente o de DAlembert (1768)). Supongamos que para todo y que l m o

a) Si b) Si

la serie

es convergente.

o si

o si hay un nmero

tal que para todo

no converge a .

es

entonces

es divergente y adems

Demostracin. a) Sea un nmero tal que existe tal que para todo se verica que:

. La denicin de lmite implica que

Como racin, que

, la serie

es convergente. Deducimos, en virtud del criterio de compa-

es convergente.

b) Si entonces, tomando tal que que para todo es . Como

y razonando como antes, obtenemos se sigue que la sucesin diverge

positivamente y, con mayor razn, la serie

diverge positivamente.
a1 . co m

Pongamos

. Tenemos que:

positivos por lo que podemos aplicar el criterio del cociente para estudiar su convergencia.
.M

at em

9.32 Ejemplo. Sea la serie

, donde es un nmero real. Es una serie de trminos

at ic

El criterio del cociente nos dice que si

, es decir,

, la serie es convergente; si

, es decir,

, la serie no es convergente porque , se tiene que:

no converge a . El caso en

que

, o sea

Y concluimos que la serie no converge para

El segundo criterio parte de que la serie geomtrica de trmino general , donde , converge si , esto lleva, en el caso general de una serie de trminos positivos, , a considerar el comportamiento de la sucesin .

9.33 Proposicin (Criterio de la raz o de Cauchy (1821)). Sea

una serie de trminos

positivos y supongamos que l m a) Si

la serie

es convergente. es

o o si hay un nmero tal que para todo b) Si o si entonces es divergente y adems no converge a .

Demostracin. a) Sea un nmero tal que . La denicin de lmite implica que existe tal que para todo es , es decir, . Puesto que , la serie es convergente y, en virtud del criterio de comparacin, se sigue que es convergente.

9.34 Ejemplo. Sea la serie

at em .M

at ic

a1

. Como es una serie de trminos positivos po

.c

om

b) Si entonces, tomando tal que y razonando como antes, obtene mos que para todo es y, como , se sigue que la sucesin diverge positivamente y, con mayor razn, la serie diverge positivamente.

w w

demos estudiar su convergencia usando el criterio de la raz. Pongamos Tenemos que:

Concluimos que la serie es convergente. Cuando

y l m

, tambin es l m

. En esta situacin los criterios

del cociente y de la raz no proporcionan informacin suciente sobre el comportamiento de la serie , se tiene que l m . Por ejemplo, para las series de Riemann,

cualquiera sea . Observa que estos criterios solamente pueden proporcionar informacin sobre la convergencia de series que pueden compararse con una serie geomtrica. El siguiente criterio suele aplicarse cuando fallan los anteriores. 9.35 Proposicin (Criterio de Raabe (1832)). Supongamos que

para todo

pongamos

, y

i) Si

, donde

, la serie

es convergente.

ii) Si todo

, donde o , entonces la serie

, o bien si existe algn tal que

para

es divergente.

Demostracin. i) Las hiptesis hechas implican que existen es . Sea . Tenemos que: todo

tales que para

por lo que

hasta

Sumando estas desigualdades desde

, obtenemos que:

om

Por el criterio bsico de convergencia para series de trminos positivos, deducimos que , entonces
w

.M at em

ii) Si

para todo

at

ic

es convergente.

a1

.c

y resulta que la sucesin es

es creciente para

, luego

, es decir, para todo

y, por el criterio de comparacin, deducimos que

es divergente.

El criterio de Raabe suele aplicarse cuando el criterio del cociente no proporciona informa cin, es decir, cuando . En tal caso la sucesin:

es de la forma donde logartmica tenemos que: l m

. Aplicando el criterio de equivalencia

l m

con los convenios usuales para los casos en que supongamos que l m i) Si

9.36 Proposicin (Forma alternativa del criterio de Raabe). Sea

para todo y

. Pongamos

. es convergente.

e con

o si

, la serie

ii) Si

e con

o si

, la serie

es divergente.

Los criterios de convergencia que acabamos de estudiar hacen siempre hiptesis sobre la sucesin para obtener informacin sobre el comportamiento de la serie . Ya dijimos

antes que esto es tpico del estudio de las series. Pero no lo olvides: no estamos estudiando la . sucesin sino la sucesin

9.2.1. Ejercicios propuestos

y .

451. Estudia la convergencia de las siguientes series donde

.c om

log

log e

ic a1

log

log

at

log

w w

.M

em

at

sen

log

log log cos

sen

log

452. Estudia la convergencia de las siguientes series donde

y .

log

log

exp

453. Estudia la convergencia de las series. a)

b)

at ic

a1 .

c) d)

e)

log

log

f)

.M

at em

log

g)

co m

454. Sea

una sucesin creciente de nmeros positivos. Dar condiciones que garanticen

que la serie

es convergente.

455. Dar ejemplos de sucesiones

y decrecientes tales que la serie

sea en un caso convergente y en otro caso divergente. 456. Sea

para todo . Prueba que las series

ambas convergen

o ambas divergen. 457. Sea

una serie de trminos positivos convergente. Qu puede decirse de las series

458. Sea una serie de trminos positivos convergente. Prueba que la sucesin para todo por:

dada

es convergente. 459. Sea

una serie de trminos positivos convergente. Prueba que para

la

serie

es convergente.

Sugerencia. Utilizar la desigualdad de Hlder (ver ejercicio resuelto 140). 460. Sea

una serie convergente de trminos positivos. Prueba que la serie

convergente si

. Da un ejemplo de una serie

convergente tal que la serie

es

sea divergente.

461. Estudia la convergencia de las sucesiones:

om

log

log

9.2.2. Ejercicios resueltos

Antes de ver la solucin de un ejercicio debes intentar resolverlo!

w .M

at em

Sugerencia. Estudia la convergencia de las respectivas series de diferencias consecutivas.

at

ic

a1

.c

Ejercicio resuelto 230 Estudia la convergencia de las siguientes series donde

y .

log

log e

log

log

log

sen

log

log log
a1 .c

sen

cos
at em

om

log

Pongamos

. Aplicaremos el criterio del cociente:

Solucin. Salvo una excepcin, son todas series de trminos positivos. Para estudiar su convergencia aplicaremos los criterios que acabamos de estudiar.
.M

at ic

La serie es convergente.

Pongamos

. Apliquemos el criterio del cociente:

Adems

, por tanto el criterio del cociente no proporciona informacin sobre la

convergencia de esta serie. Cuando esto ocurre igual sucede con el criterio de la raz. Esto nos indica que la serie no es comparable con una serie geomtrica. El criterio de Raabe no parece fcil de aplicar. Podemos intentar el primer criterio logartmico. Tenemos que:

log
log

log

log

log log

log

Por tanto la serie es convergente. Este criterio nos dice que la serie es comparable con una serie de Riemann de exponente . Que efectivamente esto es as es fcil de comprobar. Si nos jamos en

y recordamos que la sucesin

es creciente y

converge a e, enseguida nos damos cuenta de lo que sigue:

lo que permite concluir, por el criterio de comparacin, que la serie es convergente. 9.37 Observacin. Antes de empezar a aplicar criterios de convergencia, fjate bien en la forma que tiene el trmino general de la serie e intenta relacionarlo con alguna sucesin conocida.

Pongamos

. Apliquemos el criterio del cociente:

at em

at ic

Deducimos que si e la serie es convergente, si e la serie es divergente. Para e el criterio no proporciona informacin. Ni el criterio de Raabe ni el primer criterio logartmico parecen fciles de aplicar. Cuando no queda otro recurso hay que intentar aplicar el criterio de comparacin. Supuesto que e, tenemos que:
a1 . co m

.M

Donde hemos usado que para todo sigue que para todo :

es e

, de donde se

Concluimos, por comparacin con la serie armnica, que la serie es divergente para e. . Aqu no es apropiado aplicar el criterio del colog ciente porque no hay factores que se simpliquen al calcular el cociente de un trmino al anterior. El criterio de la raz puede aplicarse, pero no proporciona informacin sobre el carcter de la serie porque, como debes comprobar, y . Podemos aplicar el primer criterio logartmico.

Pongamos

log

log
log

loglog

La serie es convergente. Deducimos que se trata de una serie que converge ms rpidamente que cualquier serie de Riemann y menos rpidamente que cualquier serie geomtrica.

 Pongamos

log

log

. Es apropiado aplicar el criterio de la raz.

La serie es convergente.

log

log

e log

log

e . Observa que como e para todo , se tiene que . Los criterios del cociente, de la raz, de Raabe y los logartmicos no parecen apropiados para estudiar esta serie. Cuando esto sucede hay que intentar aplicar un criterio de comparacin. Si recuerdas el lmite, que hemos visto varias veces:

Pongamos

l m

se deduce que si Por tanto:

se verica la equivalencia asinttica e

Pongamos

. Trata de aplicar algunos criterios de convergencia. Las

series que cuesta ms trabajo estudiar son aquellas en las que los criterios del cociente, de la raz, de Raabe y los logartmicos no sirven para estudiar su convergencia, ya sea porque los lmites que hay que calcular son difciles o porque dichos criterios no proporcionan informacin. Cuando esto ocurre hay que aplicar un criterio de comparacin. En nuestro caso tenemos que:

w w

.M

at

em

at ic

a1

y deducimos que la serie converge por el criterio lmite de comparacin. Tambin podemos usar el criterio bsico de comparacin usando que para todo se verica que . Con ello se tiene: e
.c o m

log

log

log

Deducimos que la serie converge si, y slo si,

Pongamos

. Despus de pensarlo un

poco, parece apropiado usar el primer criterio logartmico. Tenemos que:

log
log Por tanto:

log

log

log si si

log

l m

log
log

La serie converge si

y no converge si

. Para

se tiene que

por tanto la serie no converge porque su trmino general no converge a .

. Es evidente que si se tiene que y, por tanto, la serie no es convergente porque no converge a . Podemos aplicar el criterio del cociente.

Pongamos

Este criterio no proporciona informacin sobre la convergencia de la serie. Intentemos el criterio de Raabe.

log

log

log log

Deducimos que si log , es decir, e la serie converge, y si decir, e la serie no converge. En el caso en que e se tiene que:

, es

Esta ltima desigualdad es cierta porque para todo

at ic

Pongamos

w w

Tambin puede aplicarse el primer criterio logartmico.

.M

at

em

a1

.c o

Tambin podemos hacer este ejercicio recordando la estrategia 7.33 con lo que:
log

es e

log

log

. Tenemos que:

exp

log

log

Por el criterio lmite de comparacin la serie converge si, y slo si, .

, esto es,

Pongamos

sen

. Aplicaremos el criterio de la raz.

sen

Se trata de una indeterminacin del tipo . Aplicamos el criterio de equivalencia logartmica: sen sen

porque, como debe saber, l m

sen

. Luego

y la serie es

convergente.

Pongamos

factores que se van a simplicar.

. Aplicaremos el criterio del cociente porque hay muchos

Como este criterio no proporciona informacin sobre la convergencia de la serie, aplicaremos el criterio de Raabe.

La serie converge.

Pongamos

. Apliquemos el criterio del cociente.

Este criterio no proporciona informacin sobre la convergencia de la serie. Apliquemos el criterio de Raabe en su forma alternativa.
co m

a1 .

at em

at ic

, por tanto

e donde es el lmite de:

Tenemos que

e . La sucesin
w

.M

es una indeterminacin

Por tanto:

La serie converge si , esto es y no converge para la serie no converge; de hecho se verica que:

. Para

pero esta desigualdad no parece que sea fcil de probar.

log sen . Despus de pensarlo un poco te dars cuenta de que hay que aplicar un criterio de comparacin. Tenemos que:

Pongamos

log

sen

Observa que

porque para

es sen . Esto lleva a considerar la funcin: sen log

Para

tenemos las siguientes equivalencias asintticas:

Deducimos que:

sen

sen

Por el criterio lmite de comparacin se sigue que la serie gente y, por tanto, es convergente.

es conver-

Ejercicio resuelto 231 Estudia la convergencia de las siguientes series donde .

exp

log

em

at

log

a1

.c

Solucin. Pongamos

. Tenemos que: log

Pongamos

Por el criterio lmite de comparacin, la serie es convergente.

.M

log

at

ic

om

. Tenemos que:

log

Por el criterio lmite de comparacin, la serie es convergente.

Pongamos

. Aplicaremos el criterio del cociente.

Este criterio no proporciona informacin sobre la convergencia de la serie. Apliquemos el criterio de Raabe en su forma alternativa.

Por tanto, si , o sea, la serie converge, y si , o sea, la serie no la serie no converge, pero este caso requiere un estudio especco converge. Para que no vamos a hacer. Vamos a hacer este ejercicio con otro tipo de tcnica que resulta muy conveniente para series cuyo trmino general es parecido al de la serie que nos ocupa.

9.38 Estrategia. Consideremos una serie del tipo

donde

son nmeros enteros positivos. Adems es de la forma donde es un entero positivo jo. En el ejemplo que nos ocupa es y . Observa que para que es necesario que . Una estrategia bastante buena para estudiar estas series consiste en acotar directamente usando la desigualdad (vlida por ser ):

Para que esta estrategia pueda aplicarse se necesita tambin que podamos relacionar con facilidad con . Lo usual es que se tenga una relacin del tipo . En nuestro ejemplo es . Supuesto que esto es as, tenemos que:

En nuestro ejemplo es:

(9.8)

Una vez dada la idea general, por comodidad, vamos a seguir con nuestro ejemplo.

Observa que, aplicando la desigualdad (9.8) a los factores que forman , obtenemos una desigualdad que relaciona con

la desigualdad anterior deducimos que:

w w

.M

at

em

at ic

a1

.c o

Usando la desigualdad (9.8) para

, tenemos que:

; sta es la idea en la que se basa esta estrategia. De

Supuesto que

(condicin necesaria para la convergencia) se sigue que:

Teniendo en cuenta que:

deducimos, por el criterio bsico de comparacin con la serie de Riemann de exponente que si , o sea, la serie es convergente. Esto ya lo sabamos por el estudio hecho previamente. La novedad viene ahora. Se puede repetir el mismo proceso anterior para acotar por abajo, o sea, para minorar . La idea es la misma. Si has entendido lo anterior lo que sigue debe estar claro.

Usaremos ahora la desigualdad:

(9.9)

Usando esta desigualdad para

, tenemos que:

De donde, al igual que antes, se sigue que:

.M

at em

Pongamos

. Tenemos que:

at ic

exp

a1 .

co m

Deducimos, por el criterio bsico de comparacin con la serie de Riemann de exponente que si , o sea, (en particular para ) la serie no es convergente.

Aplicaremos el criterio de Raabe en su forma alternativa.

e e

Por tanto, si la serie converge y si que no queda resuelto con este criterio.

la serie no converge. El caso en

Otra forma de proceder es aplicando la estrategia 7.33. Tenemos que:

exp

e log

e log e

e e

Por el criterio lmite de comparacin, la serie converge si, y slo si, Ejercicio resuelto 232 Estudia la convergencia de las series. a)

b)

Solucin. a) Pongamos

. Tenemos que:

El criterio del cociente no proporciona informacin sobre la convergencia de la serie. Aplicaremos el criterio de Raabe en su forma alternativa.

e e

La serie converge. b) Pongamos

om

. Tenemos que:

at ic

Por tanto, si , o sea, , la serie converge; y si o sea la serie no converge. Para el caso en que el criterio del cociente no proporciona informacin sobre la convergencia de la serie. Aplicaremos el criterio de Raabe.

La serie no converge. Ejercicio resuelto 233 Sea

una sucesin creciente de nmeros positivos. Dar condicio

nes que garanticen que la serie Solucin. Pongamos se tiene que verica que

.M

at em

a1 .c

log

es convergente.

. Por tanto, hay un nmero tal que para todo . Deducimos que para se verica que:

. Si

no est mayorada, como es creciente

se

Donde hemos puesto

que es una constante independiente de .

Concluimos que la serie es convergente por comparacin con la serie geomtrica de razn . est mayorada, como es creciente se tiene que donde . Si , podemos tomar un nmero tal que , con lo que podemos asegurar que hay algn tal que para . Podemos ahora repetir el razonamiento anterior con sustituido por y concluimos que la serie converge por comparacin con Si

la serie geomtrica de razn . Si , entonces como para todo , lo que implica que por tanto lo que implica que la serie no converge. Tambin puede aplicarse el criterio del cociente.

, se tiene que no converge a ,

donde y la serie converge. Si entonces .

o si , se tiene que la serie no converge, y si tampoco converge porque

. Por lo que si

Ejercicio resuelto 234 Dar ejemplos de sucesiones serie

y decrecientes tales que la

sea en un caso convergente y en otro caso divergente.

Solucin. La sucesin

decrece y converge a . Tenemos que:

a1

La sucesin

es decreciente y converge a . Tenemos que:

em

.c o

La correspondiente serie es divergente.

at ic

.M

at

Esta serie es convergente porque aplicando el criterio de Raabe obtenemos:

w w

log

log

Ejercicio resuelto 235 Sea

para todo . Prueba que las series

ambas convergen o ambas divergen. Solucin. Pongamos

. Como

, la desigualdad

prueba que

si la serie es convergente tambin es convergente la serie . Recprocamente, si la serie , por lo que hay algn es convergente entonces debe ser tal que para todo es , esto es, por lo que . Lo que implica que

, y obtenemos que

de donde

De esta desigualdad se sigue, por el criterio de comparacin, que la serie es convergente. Ejercicio resuelto 236 Sea decirse de las series

tambin

una serie de trminos positivos convergente. Qu puede

Solucin. Como , hay un nmero tal que para todo es , lo que implica que y deducimos, por el criterio de comparacin, que la serie es convergente. Como

se sigue, tambin por el criterio de comparacin, que la serie te. Ejercicio resuelto 237 Sea serie

es convergen-

una serie convergente de trminos positivos. Prueba que la

es convergente si

tal que la serie

. Da un ejemplo de una serie

convergente

sea divergente.

Solucin. Recuerda la desigualdad resulta que: Como

. Sustituye por

por y

la serie

es convergente. Como

es convergente por hipte

at em

La serie

log es convergente pero

Ejercicio resuelto 238 Estudia la convergencia de las sucesiones:

w

.M

at ic

a1 .c

sis, de la desigualdad anterior se sigue, por el criterio de comparacin, que convergente.

log es divergente.

om

es

log

log

Sugerencia. Estudia la convergencia de las respectivas series de diferencias consecutivas. Solucin. a) Tenemos que:

Puesto que tanto, la sucesin:

la serie

es convergente. Por

es convergente.

b) Usando que log

log

log

log

, tenemos que:

log

log

log

log

log

log

log
log

log

log log

log

log

log

log log

log

log

Como

log

, la serie

log

es convergente. Tambin

es convergente la serie

log

porque log

. Usando la

desigualdad que ya debes saber de memoria:

ic a1

log
at em

.c

om

se sigue que:

log

.M

at

de donde se deduce que la serie cluimos que la serie gentes. Por tanto, la sucesin:

log log

es convergente. Con-

es convergente por ser suma de tres series conver

es convergente.

9.3. Criterios de convergencia no absoluta

Los criterios de convergencia para series de trminos positivos se aplican, obvio es decirlo, para estudiar la convergencia absoluta de cualquier serie. Pero, qu hacer cuando una serie no es absolutamente convergente? Naturalmente, podemos intentar comprobar si la serie verica la condicin de Cauchy, pero este procedimiento con frecuencia es difcil. Pues bien, los criterios que vamos a estudiar a continuacin proporcionan informacin sobre la convergencia no absoluta. Probaremos, en primer lugar, una igualdad de la que se deducen con facilidad dichos criterios.

9.39 Proposicin (Suma por partes (Abel, 1826)). Dadas dos sucesiones

, pon-

gamos

. Se verica entonces, para todo , que:

(9.10)

Demostracin. Pongamos, por comodidad de notacin, . Tenemos que: verica que

, con lo que para todo

se

9.40 Teorema (Criterio general de Dirichlet). Sean

a1

dos sucesiones, y pongamos

. Supongamos que: i) Existe un nmero

at em

at ic

.c

om

tal que para todo es

w w w .M

ii) La serie

es convergente.

iii)

Se verica entonces que la serie Demostracin. Puesto que comparacin que la serie

es convergente.

, deducimos, por el criterio de converge absolutamente y, por tanto, es conver

gente, es decir, la sucesin

es convergente. Como, adems, la sucesin

converge a cero por ser producto de una sucesin acotada por otra convergente a cero, deducimos, en virtud de la igualdad (9.10), que la serie es convergente.

9.41 Teorema (Criterio general de Abel). Sean que: i) La serie

dos sucesiones y supongamos

es convergente.

ii) La serie

es convergente.

Se verica entonces que la serie

es convergente.

Demostracin. La hiptesis i) nos dice que la sucesin

es convergente; en parti

cular est acotada, por lo que, al igual que antes, se deduce que la sucesin es convergente. Adems, ii) implica que la serie

es convergente,y como dicha

serie es la sucesin

, obtenemos que

es convergente.

converge por ser producto de sucesiones convergentes Resulta as que la sucesin y, en virtud de la igualdad (9.10), deducimos que la serie es convergente.

w w

Demostracin. En efecto, basta tener en cuenta que

.M

at

em

at

ic

9.42 Proposicin. Si la sucesin es montona y acotada, entonces se verica que es convergente la serie .
a1 .c om

si si

es decreciente; es creciente.

La proposicin anterior permite particularizar los criterios de Dirichlet y de Abel de la forma que sigue. 9.43 Corolario (Criterio particular de Dirichlet). Sean

dos sucesiones, y ponga-

mos

. Supongamos que:

i) Existe un nmero ii)

tal que para todo es

es montona y

Se verica entonces que la serie

es convergente.

9.44 Corolario (Criterio particular de Abel). Sean que: i) La serie es convergente. ii)

dos sucesiones y supongamos

es montona y acotada.

Se verica entonces que la serie

es convergente.

Hay un caso todava ms particular del criterio de Dirichlet que se aplica a series alterna donde para todo . Este criterio es das, es decir, a series del tipo

debido a Leibniz, y aunque puede deducirse fcilmente del corolario 9.43, merece la pena dar una prueba directa del mismo porque as obtenemos una fcil acotacin del error que se comete al aproximar la suma de una serie alternada por una suma parcial de la serie. 9.45 Proposicin (Criterio de Leibniz para series alternadas). Supongamos que la sucesin es decreciente y convergente a cero. Entonces la serie alternada es convergente. Adems, si y , entonces para todo se verica que . Demostracin. Es inmediato comprobar que la sucesin es decreciente y es creciente. Como , deducimos que ambas sucesiones convergen. Ade ms, como , concluimos que converge.
.M

se verica que

, de donde:
w

En consecuencia

l m

nf

at em

Sea

l m

. Puesto que l m

at ic

a1 .

co

sup

para todo

(9.11)

Teniendo en cuenta la proposicin 9.8, el criterio de Leibniz prueba que las series de la forma donde y la sucesin es montona a partir de un cierto trmino en adelante, son convergentes (aunque la acotacin del error antes obtenida ya no tiene por qu ser vlida). Observa que los criterios de Dirichlet y de Abel pueden, en principio, ser aplicados a una serie cualquiera, , pues slo tenemos que expresar de la forma , lo que, evidentemente, puede hacerse de muchas maneras; pero es imprescindible elegir apropiadamente y para que pueda aplicarse con xito alguno de dichos criterios. 9.46 Estrategia (Estrategia para estudiar la convergencia de una serie). Para estudiar la convergencia de una serie numrica lo primero que debes hacer es estudiar la convergencia absoluta, es decir la convergencia de la serie de trminos positivos , para lo que se aplican los criterios de convergencia para series de trminos positivos. Si la serie conver tambin converge (y todas ge entonces, en virtud del teorema 9.14, sabemos que la serie sus reordenaciones). Cuando la serie no converge se aplican los criterios de Dirichlet o de Abel para estudiar directamente la convergencia de la serie .

9.3.1. Ejercicios propuestos

462. Estudia la convergencia absoluta y la convergencia no absoluta de las siguientes series.

log

log

log

log

463. Estudia, segn los valores de , la convergencia absoluta y la convergencia no absoluta de la serie

log

at

em

464. Estudia, segn los valores de , la convergencia absoluta y la convergencia no absoluta de la serie e
w w

Sugerencia. Prueba que la funcin

w

at

ic

.M

a1

.c

om

dada para todo e

por:

es creciente siempre que

9.3.2. Ejercicios resueltos

Antes de ver la solucin de un ejercicio debes intentar resolverlo! Ejercicio resuelto 239 Estudia la convergencia absoluta y la convergencia no absoluta de las siguientes series.

log

log

Solucin. a) Pongamos

serie no converge. Supondremos en lo que sigue que

. Si

entonces

no converge a y la

. Tenemos que:

Deducimos que si Pongamos:

la serie converge absolutamente. Consideremos que

es convergente ( ). Como Por el criterio de Leibniz, la serie , es convergente si, y slo si, . por el criterio lmite de comparacin, la serie Concluimos que la serie converge si . En resumen, la serie

converge absolutamente si no converge para . b) Pongamos

y converge no absolutamente si . Observa que

om

. La serie .

log

donde

Luego

para

. Por otra parte:

log

log
log

.M

at

log

em

log

at

ic

a1

Probemos que , de donde se sigue que la desigualdad (que t debes comprobar), vlida para Tenemos:
.c

decrece a . Usaremos , log . log

log

log

Concluimos, por el criterio de Leibniz, que la serie

es convergente. Puesto que:

la serie no es absolutamente convergente. c) Estudiaremos primero la convergencia absoluta. Sea

entonces no converge a y la serie no es convergente. Supondremos en lo que sigue que . Tenemos que:

. Si

El criterio del cociente no proporciona informacin sobre la convergencia absoluta de la serie. Aplicaremos el criterio de Raabe en su forma alternativa.

 Por tanto, si , o sea la serie converge absolutamente; si , o sea la serie no converge absolutamente. El caso en que requiere un estudio particular (ver ms adelante). Nos queda por estudiar lo que ocurre si . Observa que para es evidente que la sucesin es decreciente. Lo que no es evidente es que converja a . Para aplicar el criterio de Leibniz a la serie hay que probar que . Esto puedes hacerlo comprobando que la sucesin log . Esto es fcil y te lo dejo para que lo hagas t. Yo voy a seguir otro camino. Aplicando la

estrategia 9.38 a la sucesin

se obtiene fcilmente que:

Desigualdad que implica que para todo . Adems esta desigualdad nos lo que implica que la serie no converge absolutamente dice que para es para . En resumen: hay convergencia absoluta para y hay convergencia no absoluta para . Ejercicio resuelto 240 Estudia, segn los valores de convergencia no absoluta de la serie
.c om

, la convergencia absoluta y la

log

m l

log
w

Solucin. Pongamos vergencia absoluta. Tenemos que:

at em

at ic

a1

.M

log

. Estudiaremos primero la con-

y por tanto . Por tanto, la serie converge absolutamente si, y slo si, , o sea, . Si , o sea , entonces no converge a y por tanto la serie no es convergente. Queda por ver lo que ocurre cuando . Para dichos valores de se tiene que . Probaremos que es decreciente. Pongamos log donde . Observa que . Tenemos que:

recordando que log para , se sigue que para . Por tanto es estrictamente creciente en y, en particular, es . El criterio de Leibniz nos dice que la serie es convergente para .

log

9.4. Algunas series cuya suma puede calcularse de forma exacta

Debes tener ya claro que una cosa es estudiar la convergencia de una serie y otra es calcular su suma. Son relativamente pocas las series convergentes cuya suma se puede calcular de forma exacta. Aqu vamos a ver algunas de ellas. No debes esforzarte por memorizar frmulas para sumar series, sino en comprender y en aplicar los mtodos que permiten calcularlas. Series geomtricas. Las series de la forma

donde y

, cuya suma viene

dada por

Series aritmtico - geomtricas. Son series de la forma

donde

es una funcin

polinmica de grad0 . Aplicando el criterio del cociente se obtiene fcilmente que estas series convergen absolutamente si . Es claro que no convergen si pues entonces es una sucesin no acotada y, por tanto, no converge a . Supongamos que y pongamos:

l m

om

l m

.M

at

Denamos las diferencias de primer orden de , que notaremos, , como el polinomio dado para todo por . Observa que es un polinomio de grado . Tenemos:
em

at ic a1 .c

l m

w w

Pongamos . . La igualdad anterior nos dice que Este procedimiento puede volver a aplicarse a la serie . De la misma forma

obtenemos ahora , donde las diferencias de segundo orden de denidas para todo

por:

son

Observa que

es un polinomio de grado .

Repitiendo este proceso veces llegaremos a obtener nalmente

porque las diferencias de orden , , de un polinomio de grado son constantes, para todo . Conocido calculamos a partir de la igualdad

 . A partir de hasta llegar a obtener nalmente el valor de .

podemos calcular

, etctera,

Series hipergeomtricas. Consideremos una serie todo es:

de trminos positivos tal que para

Escribiendo esta igualdad para

en la forma:

y sumando desde

hasta

se obtiene:

l m

(9.12)

Donde

. Supuesto que la serie sea convergente y que su suma es

, se

deduce de la igualdad anterior que la sucesin tambin converge y necesariamente su lmite debe ser cero (si fuera se tendra que lo que implicara que la serie diverge). Aplicando el criterio de Raabe se obtiene fcilmente que la serie converge si y diverge si . Tambin diverge si porque en tal caso se deduce de la igualdad 9.12 que:
a1 .c om em

Supuesto que,

w w

at ic

, y tomando lmites en la igualdad 9.12 deducimos que:

w

.M

y, por comparacin con la serie armnica, se sigue que la serie diverge.

at

Series cuyo trmino general es una funcin racional. Se trata de series de la forma

donde y son funciones polinmicas. A partir de un cierto trmino en adelante, dichas series tienen todos sus trminos positivos o todos negativos (segn que l m o que l m ). Estas series convergen absolutamente cuando el grado del denominador es al menos dos unidades mayor que el grado del numerador. Cuando esta condicin se cumple y, adems, las races del polinomio son todas reales y simples es posible calcular la suma de la serie descomponiendo la funcin racional Se tendr una descomposicin de la forma:

en fracciones simples,

donde son las races de . Sustituyendo en la igualdad anterior hasta resulta: desde

y sumando

Ahora hay que hacer todas las simplicaciones posibles hasta que nalmente nos quede una sucesin que sea convergente. Observa que las series de la forma son divergentes (por comparacin con la serie armnica) pero la suma de todas las que hay en el parntesis anterior tiene que ser, en las hiptesis hechas, una serie convergente. Lo usual es que los coecientes sean unos positivos y otros negativos y que las races sean nmeros enteros, de manera que se produzcan cancelaciones que nalmente permitan calcular la suma de la serie. Es frecuente que en los clculos aparezca la serie armnica alternada. La estrategia 7.33 es muy til para los clculos en este tipo de ejercicio. Series de diferencias o telescpicas. Se llaman as las series cuyo trmino general puede escribirse en la forma . Puesto que, en tal caso, se verica la igualdad

la serie converge si, y slo si, la sucesin

converge, en cuyo caso

l m

at ic

at em

a1 .c

Series relacionadas con la exponencial. Sea un nmero real distinto de , jo en lo que sigue y sea . Aplicando el teorema de Taylor 6.41 a la funcin exponencial con , tenemos que hay algn punto comprendido entre y tal que:
om

.M

La serie

es absolutamente convergente porque, poniendo

, tenemos:

En particular, se verica que l m

. Como

, tenemos que:

de donde deducimos que:

lm e

Como es un nmero real cualquiera y la igualdad anterior es trivialmente cierta para , hemos probado que para todo nmero real se verica la igualdad: e

l m

(9.13)

En particular, para e

, resulta que:

l m

(9.14)

Con ayuda de esta serie podemos calcular la suma de series de la forma

donde

es una funcin polinmica de grado . Dichas series son (absolutamente) convergentes como se comprueba fcilmente con el criterio del cociente. Para calcular su suma expresamos el polinomio en la forma:

Los nmeros

pueden calcularse fcilmente:

Con ello tenemos que:

em

at

at

ic

a1

.c

om

.M

Naturalmente, si la serie no empieza a sumar desde

hay que hacer los ajustes necesarios.

El mismo procedimiento puede aplicarse para series del tipo

De la igualdad (9.14) se deduce fcilmente que el nmero e es irracional. En efecto, para todo tenemos que:

Si e fuera racional, e

con

, multiplicando por

la desigualdad:

se tiene que:

Pero el nmero

es un nmero entero y por tanto es imposible que sea

mayor que y menor que . Esta contradiccin muestra que e es irracional.

9.4.1. Ejercicios propuestos

465. Calcula la suma de las siguientes series.

sen

cos

.c om

at

w w

.M at em

a1

ic

tg

tg

Sugerencias. f) cos sen tg .

sen

sen

. i) tg

tg

9.4.2. Ejercicios resueltos

Antes de ver la solucin de un ejercicio debes intentar resolverlo! Ejercicio resuelto 241 Calcula la suma de las siguientes series.

Solucin. a) Haremos la descomposicin en fracciones simples de la funcin racional

. Tenemos que

. El denominador

tiene tres races reales simples. Escribamos:

Fcilmente se obtiene

. Por tanto:

Observa que cuando sumemos nos van a quedar expresiones que podremos relacionar hasta . con la serie armnica alternada por lo que conviene sumar desde Como ya es usual ponemos y usaremos la estrategia 7.33 que ya debes conocer.

om

log

log

Luego

log .

b) Basta observar que:

log

log

log
.M

at em

log

a1 .c

log

at ic

De donde se obtiene fcilmente que:

Deducimos que:

c) Pongamos

. Tenemos que:

Deducimos que:

d) Tenemos que:

Deducimos que:

e) Es una serie de la forma

donde

. Pongamos:

.M

at

em

ic

a1

Haciendo obtiene

.c

om

se obtiene y haciendo

; haciendo se obtiene
at

se obtiene . Por tanto:

; haciendo

se

f) Es una serie de la forma

donde

una serie aritmtico-geomtrica. Pongamos

. Se trata, pues, de

. Tenemos que:


Pongamos

. Hemos probado que:

Calcularemos ahora . Tenemos que:

Deducimos que

y, por tanto,

El primer ejemplo de sucesin que vimos en el captulo 7 fue la expresin decimal de que ahora podemos expresar con la notacin que usamos para series:
w

.M

at

9.5. Expresin de un nmero real en base

em

at

ic a

1.

l m

co

Seguramente sabes que los nmeros racionales pueden expresarse en forma decimal y que dicha expresin decimal o bien es nita o hay un grupo de cifras, el perodo, que se repite indenidamente. Tambin sabes que los nmeros irracionales tienen una expresin decimal innita no peridica. En lo que sigue vamos a precisar el signicado de estas armaciones y a justicarlas. Para ayudarte a entender lo que sigue, vamos a empezar recordando el algoritmo de la divisin de nmeros enteros. Para ello vamos a usar la funcin parte entera. Recuerda que si es un nmero real, representamos por el nico nmero entero tal que . El nmero se llama parte entera de . Una consecuencia directa de la denicin de , que usaremos en lo que sigue, es la siguiente:

donde

(9.15) .

Adems, es claro que si es un nmero entero se tiene que

Con ayuda de la funcin parte entera podemos expresar el algoritmo de la divisin de enteros como sigue. Sean , nmeros enteros con . Pongamos . Entonces tenemos que:

Poniendo ahora , tenemos que donde y son nmeros enteros y . Este es el algoritmo de la divisin de enteros conocido como algoritmo de Euclides. Sean

nmeros enteros positivos con y consideremos el nmero racional . Veamos el proceso que se sigue para obtener la expresin decimal de .

Dividimos

entre

y obtenemos un cociente

y un resto

, se verica que

y, claro est,

. Como

. En resumen:

Que podemos escribir equivalentemente:

(9.16)

om

.c

Ahora dividimos

entre

y obtenemos un cociente
em at

, se verica que

y, claro est,
ic at .M

a1

y un resto

. Como

. En resumen:

Igualdad que podemos escribir equivalentemente:

Sustituyendo esta igualdad en (9.16), tenemos:

(9.17)

Conviene expresar

de una forma diferente. De la igualdad anterior se sigue que . Poniendo y teniendo en cuenta 9.15, deducimos que:

(9.18)

El tercer paso sera como sigue. Dividimos entre y obtenemos un cociente y un resto . Como resumen:

, se verica que

y, claro est,

. En

Igualdad que podemos escribir equivalentemente:

Sustituyendo esta igualdad en (9.17), tenemos:

Conviene expresar

que

de una forma diferente. De la igualdad anterior se sigue que . Poniendo , teniendo en cuenta en cuenta 9.15 y , deducimos que:

Este proceso puede proseguirse obteniendo los sucesivos dgitos sin decimal de los cuales viene dados por:

de la expre-

Y se verica que:

Si uno de estos restos es igual a , digamos ( ), el proceso termina aqu porque todos los cocientes que le siguen son y se obtiene una expresin decimal nita que se escribe en la forma:

Observemos que en este proceso los restos que se van obteniendo en las sucesivas divisiones son nmeros enteros que estn comprendidos entre y por lo que caben dos posibilidades:
w w

.M

at

em

at

om

donde es el resto de la -sima divisin por . De la igualdad anterior, se deduce que:

ic

a1

.c

Observa que para que esto ocurra es condicin necesaria y suciente que haya algn tal que sea un entero, lo que sucede si, y slo si, puede escribirse de la forma . Una expresin decimal nita puede escribirse tambin como una expresin decimal con innitos , pues:

Si ninguno de ellos es cero, entonces como mximo en un total de divisiones deben repetirse. Si el primer resto que se repite es , digamos ( ), entonces y el grupo de cocientes se repite indenidamente dando lugar a una expresin decimal peridica que se escribe en la forma:

Finalmente, si es cualquier nmero racional, podemos escribir donde es un nmero racional que est en . La expresin decimal de se obtiene escribiendo el entero seguido de una coma y de la expresin decimal de . El proceso anterior puede hacerse de la misma forma para nmeros reales y sustituyendo el nmero por cualquier entero positivo . 9.47 Teorema. Sea denamos:

un nmero entero y sea

un nmero real. Para cada

Se verica que: a)

es una sucesin de nmeros enteros tales que

b) El conjunto

es innito.

c)

Adems, si

es otra sucesin de nmeros enteros tales que

entonces existe un tal que: ii) iii)

Demostracin. Tenemos que:

.M

at

para todo

em

at ic

a1 .c

i)

para

om

de donde se sigue que . Por otra parte , por lo que . Y deducimos que y, en consecuencia, para todo . Es claro, por su denicin, que es un nmero entero y que, al ser es . Adems:

Por tanto

. Sumando las igualdades

desde

hasta

y teniendo en cuenta que

, obtenemos: l m

Hemos probado a) y c). Para probar lo armado en el punto b), observemos que para todo se verica que:

Puesto que

, deducimos que no puede ocurrir que

lo que implica que el conjunto

n Sea una sucesin en las condiciones del enunciado. Denamos m Por la denicin de es claro que se verica i). Para probar ii) pongamos:

para todo

, .

es innito.

Luego tenemos que

y, al ser nmeros enteros, deber ser ; pero como son distintos y, por ser enteros, . Por otra parte:

(9.19)

Luego . Resulta as que . Finalmente, el punto iii) se deduce como consecuencia de que en (9.19) todo son igualdades. 9.48 Denicin. Sea

un nmero entero mayor que ,

m

, y sea con

una sucesin de nmeros enteros tales que

.c o

para todo y

. Sea . En

at ic

a1

w w

.M

at

em

estas condiciones convenimos en escribir la igualdad

simblicamente en la forma

Dicha igualdad se llama desarrollo de en base o expresin -dica del nmero . Cuando tenemos la expresin binaria de , si dicha expresin se llama ternaria, y se llama . expresin decimal cuando 9.49 Observaciones. Del teorema 9.47 se deducen las siguientes armaciones. Todo nmero con dos expresiones -dicas distintas.

Un nmero racional de la forma

tiene dos expresiones -dicas distintas si, y slo si, es un nmero .

Cuando un nmero tiene dos expresiones -dicas distintas entonces en una de ellas todos los trminos, a partir de uno en adelante, son iguales a , es decir, es de la forma:

tiene al menos una expresin -dica y, como mucho,

Que suele escribirse omitiendo los ceros consecutivos en la forma:

y se dice que tiene una expresin -dica nita. La otra expresin -dica de es:

 La expresin -dica de un nmero exige alguna de las condiciones:

queda determinada de forma nica si se

a) Hay innitas cifras en la expresin -dica que son distintas de

b) Hay innitas cifras en la expresin -dica que son distintas de . Finalmente, si es cualquier nmero real, podemos escribir donde es un nmero real que est en . La expresin de en base se obtiene escribiendo el entero en base seguido de una coma y de la expresin de en base .

9.6. Series de nmeros complejos

Una serie de nmeros complejos es una sucesin obtenida sumando consecutivamente los trminos de una sucesin de nmeros complejos . Para series de nmeros complejos se emplean las mismas terminologa y notaciones que para series de nmeros reales. El lmite de una serie de nmeros complejos se llama suma de la serie y es un nmero complejo que se representa por:

Naturalmente, todo lo visto para sucesiones de nmeros complejos permanece vlido con el mismo signicado para series de nmeros complejos. En particular, poniendo donde Re , Im , tenemos que:
.M at

em

at

ic a1

.c

om

l m

y la serie converge si, y slo si, convergen las series de nmeros reales cuyo caso se verica que:

, en

Por tanto, estudiar una serie de nmeros complejos equivale a estudiar dos series de nmeros reales. Aunque esta estrategia no siempre es factible porque a veces no es fcil calcular Re e Im . Se dice que una serie de nmeros complejos es absolutamente convergente cuando la serie de los mdulos es convergente. Teniendo en cuenta las desigualdades: ma x

se deduce enseguida que la serie es absolutamente convergente si, y slo si, las series y son absolutamente convergentes. Naturalmente, para estudiar la convergencia absoluta de una serie de nmeros complejos los criterios de convergencia para lo que hacemos es aplicar a la serie de los mdulos series de trminos positivos.

Los criterios generales de Dirichlet y de Abel (teoremas 9.40 y 9.41) permanecen vlidos sin cambio alguno para series de nmeros complejos. Los criterios particulares de Dirichlet y de Abel (teorema 9.43 y 9.44) pueden aplicarse igualmente a series de la forma , donde es una sucesin de nmeros complejos y es una sucesin de nmeros reales que satisfacen las hiptesis de dichos criterios. Los resultados obtenidos para la serie geomtrica permanecen igualmente vlidos para series geomtricas de nmeros complejos.

9.6.1. Ejercicios propuestos

466. Estudia la convergencia de las series: i)

cos

sen

ii)

cos

sen sen

iii)

iv)

cos

om

v)

at ic

vii)

cos

sen
w .M

a1

.c

vi)

viii)

at e

467. Sea

con

. Calcula los lmites:

w w

cos y

sen .

Sugerencia. Llama 468. Prueba que si la serie

a la primera suma y

a la segunda. Calcula

converge y hay un nmero

tal que para todo

se verica que

arg

, entonces dicha serie converge absolutamente.

469. Supn que las series Prueba que

son convergentes y que Re

para todo .

es convergente.

9.6.2. Ejercicios resueltos

Antes de ver la solucin de un ejercicio debes intentar resolverlo!

Ejercicio resuelto 242 Estudia la convergencia de las series: i)

cos

ii)

cos

sen

iii)

cos

sen

iv)

sen

v)

vi)

Solucin. i)

. La serie es absolutamente convergente.

Observa que se trata de una serie geomtrica de razn ii)

cos

sen

. La serie no es absolutamente convergente. Para estudiar la

convergencia no absoluta aplicaremos el criterio particular de Dirichlet (corolario 9.43). Pongamos y cos sen e . Tenemos que es montona y converge a . Adems:

a1 .c

nos dice que la serie es convergente. cos sen iii) . La serie es absolutamente convergente.

Puesto que

es una constante independiente de , el criterio particular de Dirichlet

.M

iv) La serie de las partes reales,

at em

om

e e e e

e e

e e e

at ic

cos

es una serie de trminos positivos divergente

porque
v)

cos

convergencia no absoluta podemos aplicar el criterio particular de Dirichlet. Pongamos

. Luego la serie no converge.

. La serie no converge absolutamente.Para estudiar la es montona y converge a . Adems,

. Tenemos que

poniendo

, tenemos que:

Como

dice que la serie es convergente.

es una constante independiente de , el criterio particular de Dirichlet nos

Observa que el criterio particular de Dirichlet implica que las serie de nmeros com plejos de la forma es una sucesin de nmeros reales montona y donde

convergente a y es un nmero complejo de mdulo y distinto de , ( son convergentes. Naturalmente si tales series convergen absolutamente.

),

vi) Es fcil comprobar que el trmino general de la serie no converge a cero y, por tanto, la serie no es convergente. Ejercicio resuelto 243 Sea

con

. Calcula los lmites:

cos y

sen . a la primera suma y

Sugerencia. Llama

a la segunda. Calcula

Solucin. Observa que por ser Tenemos que:

las dos series son absolutamente convergentes.

cos

sen

em at

Deducimos que:

ic a1

e cos

e cos

.c

om

cos

sen cos

.M

cos

at

cos

cos

sen

sen

cos

9.7. Clculo elemental de

sen

d y de

Necesitaremos el siguiente resultado que es un caso muy particular del llamado lema de Riemann Lebesgue. Probaremos que si es una funcin con derivada continua en entonces se verica que: m l

sen d

l m

cos d

(9.20)

En las hiptesis hechas, la prueba es inmediata porque basta integrar por partes:

sen d
Como cos

sen

cos

cos d

sen d

cualquiera sea se sigue que:

donde

d es una constante. De esta desigualdad se sigue que

. Anlogamente se prueba que l m

l m

sen d

cos d

Haciendo ahora en la igualdad sen cos

sen

sen

se obtiene:

sen cos

sen

sen

Sumando estas igualdades desde

hasta

resulta:

sen

cos

sen

sen

de donde, dividiendo por sen

, se sigue que:

sen sen Deducimos que:

cos

(9.21)

at

Como la funcin

dada por
w

.c

om

sen d sen

.M

at

derivada continua en

, podemos usar el resultado probado al principio para deducir que:

em

sen

a1

para

tiene

ic

m l

sen

sen

Y, teniendo en cuenta la igualdad antes obtenida, concluimos que m l

sen

Y, haciendo un sencillo cambio de variable obtenemos que:

sen

sen

Por otra parte la integral impropia

sen d es convergente como hemos visto en el ejerci

cio resuelto 197, es decir, existe el lmite l m

sen

d . Por tanto, por la conocida carac

terizacin de los lmites funcionales, para toda sucesin

se tiene que:
d

sen

l m

sen

Haciendo

concluimos que:

sen

l m

sen

Calcularemos ahora la suma de la serie

. Sustituyamos en la igualdad 9.21

por

para obtener:

sen sen

cos

Multiplicando esta igualdad por y teniendo en cuenta que:

cos

como se comprueba fcilmente integrando por partes dos veces, obtenemos:

m l

sen sen

Como la funcin derivada continua en deducir que:

.M

para dada por , tiene sen , podemos aplicar el resultado visto al principio de esta seccin para

at em

at ic

a1 .

sen sen

co m

Lo que, teniendo en cuenta la igualdad anterior, implica que: