Captulo 2

Sucesiones y series

2.1. Sucesiones de nmeros reales

2.1.1. Definicin, rango y operaciones algebraicas

Formalmente, una sucesin de nmeros reales es una aplicacin s : N R , que a cada
nmero natural k le asocia un nmero real que denotaremos xk x ( k ) . Dicha sucesin se denotar
( xk ) kN ( x ( k ) ) kN o simplemente ( xk ) k .
El rango de la sucesin ( xk ) kN es la imagen de s como aplicacin, es decir, el conjunto de los
valores que toma. Pero hay que tener en cuenta que en una sucesin cada elemento va ligado al lugar
que ocupa, de modo que hay muchas sucesiones con el mismo rango.

Las sucesiones se pueden sumar entre s o multiplicarse por escalares, realizando las
correspondientes operaciones trmino a trmino en sus valores, de la manera natural:

Suma

( xk ) k + ( yk ) k = ( xk + yk ) k

Producto por escalares ( xk ) k = ( xk ) k , R .

Con estas operaciones de suma y producto por escalares, el conjunto de todas las sucesiones de
nmeros reales, que denotaremos R N , adquiere la estructura de espacio vectorial real.
Tambin se pueden multiplicar dos sucesiones trmino a trmino, o dividir si los trminos del
denominador no se anulan:

Producto ( xk ) k ( yk ) k = ( xk yk ) k
Cociente

( xk ) k /( yk ) k = ( xk / yk ) k

(siempre que yk 0, k ).

2.1.2. Sucesiones montonas

La sucesin ( xk ) k es creciente cuando xk xk +1 para todo k N .
La sucesin ( xk ) k es decreciente cuando xk xk +1 para todo k N .
La sucesin ( xk ) k es montona cuando es creciente o decreciente.
La sucesin ( xk ) k es estrictamente creciente cuando xk < xk +1 para todo k N .
La sucesin ( xk ) k es estrictamente decreciente cuando xk > xk +1 para todo k N .
La sucesin ( xk ) k
estrictamente decreciente.

es estrictamente montona cuando es estrictamente creciente o

2.1.3. Sucesiones acotadas

La sucesin ( xk ) k es acotada superiormente cuando existe algn nmero M tal que xk M
para todo k N . En este caso, se dice que M es una cota superior de ( xk ) k .
La sucesin ( xk ) k es acotada inferiormente cuando existe algn nmero M tal que xk M
para todo k N . En este caso, se dice que M es una cota inferior de ( xk ) k .
La sucesin ( xk ) k es acotada cuando es acotada superior e inferiormente, o, equivalentemente,
cuando existe algn nmero M tal que xk M para todo k N . En este caso, se dice que M es una
cota de ( xk ) k .

2.1.4. Sucesiones convergentes

Se dice que la sucesin ( xk ) k es convergente cuando existe un nmero real x tal que para
cada > 0 se puede encontrar un ndice (en principio, dependiente de ) a partir del cual todos los
trminos se encuentran en el intervalo ( x , x + ) . Dicho de otra manera, cuando satisface la
condicin
> 0, k0 N / xk x < , k k0 .
En este caso, x se llama lmite de la sucesin ( xk ) k , y se denota xk x

lim xk = x .
k

Propiedades de las sucesiones convergentes:

El lmite de una sucesin convergente es nico.

Toda sucesin convergente es acotada.

Toda sucesin creciente y acotada superiormente es convergente.

Toda sucesin decreciente y acotada inferiormente es convergente.

La suma de dos sucesiones convergentes es otra sucesin convergente, y adems

lim ( xk + yk ) = lim xk + lim yk .
k

El producto de dos sucesiones convergentes es otra sucesin convergente, y adems

lim ( xk yk ) = (lim xk )(lim yk ) .
k

El producto de un escalar por una sucesin convergente es otra sucesin convergente, y

adems
lim ( xk ) = lim xk .
k

El cociente de dos sucesiones convergentes es otra sucesin convergente, siempre que est
bien definida (i.e., los trminos del denominador no se anulen) y el lmite de la sucesin del
denominador sea distinto de 0. En este caso, lim ( xk / yk ) = lim xk / lim yk .
k

2.1.5. Sucesiones divergentes

Se dice que la sucesin ( xk ) k es divergente cuando para cada M > 0 se puede encontrar un
ndice (en principio, dependiente de M ) a partir del cual todos los trminos de la sucesin tienen
valor absoluto mayor que M . Dicho de otra manera, cuando satisface la condicin
M > 0, k0 N / xk > M k k0 .
En este caso se denota xk lim xk = .
k

Se dice que la sucesin ( xk ) k es divergente hacia + cuando para cada M > 0 se puede
encontrar un ndice (en principio, dependiente de M ) a partir del cual todos los trminos de la
sucesin son mayores que M . Dicho de otra manera, cuando satisface la condicin
M > 0, k0 N / xk > M k k0 .
En este caso se denota xk + lim xk = + .
k

Se dice que la sucesin ( xk ) k es divergente hacia cuando para cada K < 0 se puede
encontrar un ndice (en principio, dependiente de K ) a partir del cual todos los trminos de la
sucesin son menores que K . Dicho de otra manera, cuando satisface la condicin
K < 0, k0 N / xk < K k k0 .
En este caso se denota xk lim xk = .
k

Propiedades de las sucesiones divergentes:

Una sucesin ( xk ) k es divergente cuando la sucesin

(x )
k

de sus valores absolutos es

divergente hacia + , aunque ella misma no sea divergente hacia + ni divergente hacia
(por ejemplo, puede ser oscilante).

La suma de dos sucesiones divergentes hacia + (resp. ) tambin es divergente hacia

+ (resp. ), pero la suma de dos sucesiones divergentes, en general, no es
necesariamente otra sucesin divergente.

El producto de dos sucesiones divergentes es otra sucesin divergente.

Una sucesin divergente no puede ser acotada.

Una sucesin creciente (resp. decreciente) y no acotada superiormente (resp. inferiormente)

es divergente hacia + (resp. ).

INFINITSIMOS E INFINITOS
Se dice que una sucesin ( xk ) k de nmeros reales es un infinitsimo cuando lim xk = 0 .
k

Dados dos infinitsimos, ( xk ) k e ( yk ) k , se dice que ( xk ) k e ( yk ) k son equivalentes, y se

denota xk yk , cuando lim
k

xk

= 1.

yk

Algunos de los infinitsimos equivalentes ms usados son:

- sin xk tg xk xk ( xk 0)
- 1 cos xk

xk2

( xk 0)
2
- ln (1 + xk ) xk ( xk 0)
- arc sin xk arc tg xk xk ( xk 0) .

Se dice que una sucesin ( xk ) k de nmeros reales es un infinito cuando lim xk = (i.e.,
k

cuando es divergente).
Dados dos infinitos, ( xk ) k e ( yk ) k ,
- se dice que ( xk ) k e ( yk ) k son equivalentes, y se denota xk yk , cuando lim
k

xk

yk

=1

- se dice que ( xk ) k e ( yk ) k son del mismo orden, y se denota xk yk , cuando lim

k

xk

yk

=,

con R y 0
- se dice que ( xk ) k es de orden menor que ( yk ) k , y se denota xk << yk , cuando lim
k

xk

yk

=0.

Algunas de las relaciones entre infinitos ms usadas son:

-

ln k << k << k << k ! << k k

k

- frmula de Stirling: k e

(k ) , si > 0 y > 1

2 k k ! (k )

ALGUNOS CRITERIOS DE CONVERGENCIA

Criterio de Stolz.- Sean ( xk ) k e ( yk ) k dos sucesiones de nmeros reales, con ( yk ) k montona

(creciente o decreciente), que cumplen una de las dos siguientes propiedades:
(a) lim xk = lim yk = 0
k

(b) lim yk =
k

Entonces, si existe el lmite lim

xk +1 xk

, tambin existe el lmite lim

yk +1 yk
coinciden. Esto es vlido incluso si el lmite es + o .
k

xk
yk

y ambos lmites

Criterio de la media aritmtica.- Si ( xk ) k es una sucesin convergente de nmeros reales, la

sucesin de sus medias tambin converge, y se cumple
x + ... + xk
lim 1
= lim xk
k
k
k
El recproco no es cierto.

Criterio de la media geomtrica.- Si ( xk ) k es una sucesin convergente de nmeros reales

estrictamente positivos, la sucesin de sus medias geomtricas tambin converge, y se cumple
lim

x1 x2 ...xk = lim xk
k

El recproco no es cierto.

Criterio de la raz.- Si ( xk ) k es una sucesin de nmeros reales estrictamente positivos tal que

xk
converge, entonces
xk 1 k

el cociente

xk

lim
k

)
k

tambin converge, y se cumple

k

xk = lim

xk
xk 1

El recproco no es cierto.

Regla del emparedado.- Si ( xk ) k , ( yk ) k , ( zk ) k son sucesiones tales que xk yk zk para

todo k N , y lim xk = lim zk = x , entonces lim yk = x .
k

Como consecuencia, si ( xk ) k e ( yk ) k son dos sucesiones tales que ( xk ) k est acotada y

lim yk = 0 , entonces
k

lim xk yk = 0 . Es decir, el producto de una sucesin acotada por un

k

infinitsimo es un infinitsimo.

SUCESIONES RELACIONADAS CON EL NMERO e

1
La sucesin 1 +
k

es montona y acotada, luego convergente; al valor de su lmite lo

denotaremos e.
Por tanto, se tiene:

- 2<e<3

- e = lim 1 +
k

= lim
1 +
k

- e-1 = lim 1
k

= lim
1
k

k+p

, para cualquier p R
k+p

, para cualquier p R .

2.2. Series numricas

2.2.1. Generalidades

( ( xn ) n , ( S n ) n ) ,

Una serie numrica es un par de sucesiones de nmeros reales,

n

S n = x0 + x1... + xn = xk , para cada n N . La serie se suele denotar

tales que

, o simplemente,

k =0

k =0

Se llama trmino general de la serie

al trmino general de la primera sucesin, es decir,

k =0

xn .

Se llama suma parcial n-sima de la serie

al trmino general de la segunda sucesin, es

k =0

decir, S n .

Se llama resto de orden n de la serie

a la nueva serie Rn =

k =0

k = n +1

Las series se pueden operar de la siguiente manera:

Suma

x + y = (x
k

k =0

k =0

+ yk )

k =0

Producto por escalares

xk = xk , R
k =0

k =0

k
x
y
k k = x j yk j
k =0 k =0 k =0 j =0

Producto de Cauchy

Se llama carcter de una serie a su condicin de serie convergente, divergente u oscilante

(entenderemos por oscilantes las series que no sean convergentes ni divergentes).
Es importante observar que el carcter de una serie no se altera si se le aaden o se le suprimen
una cantidad finita de trminos.

2.2.2. Series convergentes

Se dice que la serie

es convergente cuando es convergente la sucesin ( S n ) n de sus

k =0

sumas parciales. En este caso, se llama suma total de la serie al lmite de dicha sucesin, y se denota

S = xk = lim S n .
k =0

Propiedades de las series convergentes

Si la serie

es convergente, entonces su trmino general tiende a 0.

k =0

Si la serie

es convergente, entonces las series de sus restos son todas convergentes, y

k =0

Rn = S S n , para cada n N .

La suma de dos series convergentes es otra serie convergente, y

x + y = (x
k

k =0

+ yk ) .

k =0

El producto de una serie convergente por un escalar es otra serie convergente, y

k =0

k =0

k =0

xk = xk .

El producto de Cauchy de dos series convergentes es otra serie convergente, y la suma total
del producto es igual al producto de las sumas totales de los factores.

2.2.3. Series divergentes

Se dice que la serie

es divergente cuando es divergente la sucesin ( S n ) n de sus sumas

k =0

parciales.

Propiedades de las series divergentes

Si una serie es divergente, entonces las series de sus restos son todas divergentes.

La suma de dos series divergentes no es necesariamente otra serie divergente.

La suma de una serie convergente y otra divergente es divergente.

El producto de una serie convergente por un escalar no nulo es otra serie divergente.

El producto de Cauchy de dos series divergentes no es necesariamente otra serie

divergente.

El producto de Cauchy de una serie divergente por una convergente (cuya suma no sea
nula) es otra serie divergente.

2.2.4. Series de trminos positivos

Se dice que la serie

es de trminos positivos cuando xk 0 para todo k N (o para

k =0

todos salvo una cantidad finita).

Una serie de trminos positivos tiene la particularidad de que la sucesin de sus sumas parciales
es montona creciente, y, por tanto, convergente o divergente hacia + . En consecuencia, dicha serie
slo puede ser convergente o divergente, y ser convergente sii la sucesin de sus sumas parciales
est acotada.

CRITERIOS DE CONVERGENCIA
PARA SERIES DE TRMINOS POSITIVOS

C.2.2.4.1. Criterio de comparacin trmino a trmino.- Sean

k =0

dos series de

dos series de

k =0

trminos positivos, tales que xn yn para todo n n0 .

(i) Si

es convergente, entonces

k =0

(ii) Si

tambin es convergente.

k =0

xk es divergente, entonces

k =0

k =0

tambin es divergente.

C.2.2.4.2. Criterio de comparacin por paso al lmite.- Sean

k =0

trminos positivos, tales que yn > 0 para todo n n0 y existe lim

k

(i) Si R y

xk
yk

y
k =0

=.

converge, entonces

k =0

tambin converge.

k =0

(ii) Si R + = + y

yk diverge, entonces

k =0

k =0

tambin diverge.

C.2.2.4.3. Criterio logartmico.- Sea

una serie de trminos positivos, no nulos, tal que

k =0

lim xk = 0 y existe lim

k

ln xk
ln k

= ( R = )

(i) Si > 1 , entonces la serie

es convergente.

k =0

(ii) Si < 1 , entonces la serie

es divergente.

k =0

C.2.2.4.4. Criterio del cociente.- Sea

una serie de trminos positivos, no nulos, tal que

k =0

existe lim
k

xk +1
xk

= ( R = + )

(i) Si < 1 , entonces la serie

es convergente.

k =0

(ii) Si > 1 , entonces la serie

es divergente.

k =0

10

C.2.2.4.5. Criterio de la raz.- Sea

una serie de trminos positivos tal que existe

k =0

lim k xk = ( R = + )
k

(i) Si < 1 , entonces la serie

es convergente.

k =0

(ii) Si > 1 , entonces la serie

es divergente.

k =0

C.2.2.4.6. Criterio de Raabe.- Sea

una serie de trminos positivos, no nulos, tal que

k =0

xk

existe lim k
k

xk +1

1 = ( R = + )

(i) Si > 1 , entonces la serie

es convergente.

k =0

(ii) Si < 1 , entonces la serie

es divergente.

k =0

C.2.2.4.7. Criterio de Pringsheim.- Sea

una serie de trminos positivos tal que existe

k =0

lim k xk = ( R = + ), para algn R .

k

(i) Si > 1 y R , entonces la serie

es convergente.

k =0

(ii) Si 1 y > 0 , entonces la serie

es divergente.

k =0

C.2.2.4.8. Criterio de condensacin de Cauchy.- Sea

una serie de trminos positivos tal

k =0

que la sucesin

( xk ) k es montona decreciente. Entonces

xk es convergente sii

2k x

k =0

k =0

convergente.

11

es

2.2.5. Series alternadas

Se dice que la serie

es alternada cuando xk = ( 1) k +1 ak , con ak 0 para todo k N (o

k =0

para todos salvo una cantidad finita).

CRITERIO DE CONVERGENCIA
PARA SERIES ALTERNADAS

C.2.2.5.1. La serie alternada

(1)

k +1

ak es convergente sii la sucesin (ak ) k es decreciente y

k =0

converge a 0.

2.2.6. Series de trminos arbitrarios

En general, para una serie que no sea de trminos positivos ni negativos ni alternada, tenemos
dos criterios de convergencia basados en la frmula de sumacin de Abel,
n

k =1

k =1

xk yk = ( x1 + ... + xn ) yn +1 ( x1 + ... + xk )( yk +1 yk ) .

CRITERIOS DE CONVERGENCIA
PARA SERIES DE TRMINOS ARBITRARIOS

C.2.2.6.1. Criterio de Dirichlet.- Sea

x y
k

una serie tal que la sucesin de sumas parciales

k =1

de la serie

es acotada y la sucesin ( yk ) k es decreciente y convergente a 0. Entonces,

k =1

x y
k

k =1

es convergente.

C.2.2.6.2. Criterio de Abel.- Si

es una serie convergente e ( yk ) k es una sucesin

k =1

montona y acotada, entonces la serie

x y
k

es convergente.

k =1

12

2.2.7. Convergencia absoluta y convergencia incondicional

Se dice que la serie

es absolutamente convergente cuando la serie

k =0

xk

es

k =0

convergente.

Se dice que la serie

es incondicionalmente convergente cuando cualquier reordenacin

k =0

suya es convergente.

Propiedades de la convergencia absoluta e incondicional

Toda serie absolutamente convergente es convergente.

No toda serie convergente es absolutamente convergente.

Toda serie absolutamente convergente es incondicionalmente convergente.

Toda serie incondicionalmente convergente es absolutamente convergente.

No toda serie convergente es incondicionalmente convergente.

Si una serie no es incondicionalmente convergente, admite reordenaciones divergentes y

convergentes hacia cualquier nmero real.

13

ALGUNAS SERIES CONOCIDAS

La serie armnica:

converge sii > 1 .

k =1

n 1

ln n = , donde es una
k =1 k

constante, llamada constante de Euler, que verifica 0.5 < < 0.6 .

Para = 1 , la serie no es convergente, pero lim

n

Para = 2 ,

k
k =1

(1) k +1
converge sii > 0 .

k
k =1

La serie armnica alternada:

Para > 1 ,

(1) k +1
converge absolutamente.

k
k =1

Para = 1 ,

( 1 )k +1
= ln 2 .

k
k =1

La serie geomtrica:

converge (y converge absolutamente) sii r < 1 .

k =0

Para 1 < r < 1 ,

1 r

k =0

Para r 1 ,

k=p

rp

1 r

es una serie de trminos positivos divergente.

k =0

La serie factorial:

k!

es convergente.

k =0

1
= e , y, en general,

k =0 k !

xk
= e x para todo x .

k
!
k =0

La serie aritmtico-geomtrica:

P(k )r

, donde P ( k ) es un polinomio en k, converge (y

k =0

converge absolutamente) sii r < 1 .

La serie telescpica:

(a
k =1

(a
k =1

ak 1 ) converge sii la sucesin (ak ) k es convergente.

ak 1 ) = lim ak a0 .
k

14

2.3. Series de potencias

.

Se llama serie de potencias a una serie del tipo

a x
n

, donde (an ) n es una sucesin

n =0

cualquiera de nmeros reales y x es una variable real.

Como se puede observar, en este caso el trmino general de la serie es de la forma an x n y la
suma parcial es S n ( x) = a0 + a1 x + ... + an x n .

(La serie de potencias

a x
n

est centrada en 0, pero puede tambin estar centrada en

n =0

a ( x x0 )

cualquier punto x0 R , en cuyo caso adquiere la expresin

. Para pasar de la una a la

n=0

otra, basta hacer el cambio de variable y = x x0 .)

Teorema de Cauchy-Hadamard.- Dada una serie de potencias,

, existe un R +0

n =0

(i.e., 0 ), tal que

-

a x

la serie converge absolutamente para los valores de x tales que < x <
la serie no converge para ningn valor de x tal que x < x >

(Cuando R + , no se puede asegurar si la serie converge o no en los puntos x = y

x = .)
El valor de evidentemente es nico, y se llama radio de convergencia de la serie de

potencias

a x
n

n =0

Cuando existe el lmite lim n an = l , se tiene = 1/ l , entendiendo que = + si l = 0 y

que = 0 si l = + .

Continuidad de una serie de potencias.- Si

a x
n

es una serie de potencias con radio de

n =0

convergencia , entonces la funcin f definida por f ( x) = an x n es continua en su dominio de

n =0

convergencia.

15

Derivabilidad de una serie de potencias.- Si

a x

es una serie de potencias con radio de

n =0

convergencia , entonces

(i) la funcin f definida por f ( x) = an x n es derivable en ( , ) ,

n =0

(ii) la serie

na x

n 1

tambin tiene radio de convergencia

n =1

(iii) f ( x) = nan x n 1 .
n =1

Integrabilidad de una serie de potencias.- Si

a x

es una serie de potencias con radio de

n =0

convergencia , entonces

(i)

la funcin f definida por

an

n +1 x

es integrable

en todo intervalo

n =0

[ a, b ] ( , ) ,
(ii) la serie

f ( x ) = an x n

n +1

tambin tiene radio de convergencia

n=0

(iii) la funcin F ( x) =
n =0

an
n +1

x n +1 es una primitiva de f en [ a, b ] .

16