Trabajo N 4

Juan David Leal Campuzano Cd: 20112167059

Julin Felipe Tiria Bulla Cd: 20112167005
Grasse Stephanie Castellanos Urrego Cd:20092167003
Monica Godoy Amado Cd:2011167028

Historia
Las series o sucesiones se nos presentan casi por todos lados en Fsica. Cuando no sabemos resolver un problema
analticamente, lo ms cercano sern las soluciones por series, por cuanto las series nos ayudarn a definir
funciones y a estudiar su continuidad o derivabilidad. Representaremos unas serie como una sucesin de nmeros

que dependen de una sucesin dada {an }n=0 con ai R de la siguiente manera:
k
X

an

(1)

n=0

donde k puede ser un valor finito o k .

Ernest Eduard Kummer (29 de enero de 1810 - 14 de mayo de 1893) fue un matemtico alemn que realiz
varias contribuciones a la matemtica en reas diversas, entre las que destacan las series numricas, la teora
de nmeros y la geometra de superficies. Prob el ltimo teorema de Fermat para una clase considerable
de exponentes primos. Veremos a continuacin un criterio hecho por Kummer desde sus estudios en variable
compleja, que dictamina la convergencia de series.
P
Teorema 1 (Criterio de Kummer). Sea n=0 an una serie de trminos positivos, supongase que existe una
serie de nmeros positivos {dn } tal que el siguiente lmite:


1
an+1
1
lm

=h
n dn
an
dn+1
existe, entonces
P
1. si h > 0 entonces n=0 an converge
P
P
2. si h < 0 y n=0 dn diverge, entonces se tiene que n=0 an diverge

Preliminares
como preliminares se nesesitan algunos criterios antes de poder demostrar el criterio de Gauss los cuales se
veran a continuacin:
Definicin 1. Sea {an } una sucesin, se define la serie {Sn } como la sucesin de sumas parciales de los an de
la siquiente manera:
k
X
Sk = a1 + a2 + . . . + ak =
an
n=0

Adems se dice que {Sn } converge si cada suma parcial Sk converge es decir:
1

Definicin 2. Sea {Sn } un sucesin de sumas parciales, se dice que Sn converge a S cuando n si solo si
dado  > 0 existe un N N tal que para todo n > N se tiene que d(S, Sn ) < 
Los siguientes criterios los nesesitaremos para demostrar el criterio d Gauss
Teorema 2. Dada una sucesin {an } en R, se tiene que si {an } es monotona creciente y ademas adems
es acotada superiormente entonces la sucesin converge; o por el contrario si se tiene que {an } es montona
decreciente y acotada inferiormente entonces converge.
Demostracin. Sea  > 0, como {an } es acotada se tiene que existe R tal que, dado  > 0 existe aN {an }
tal que  < aN < , ahora como es montona creciente, si n N
aN < an
 < an < + 
 < an < 

por ende {an } converge.

analogamente si es decreciente y acotada inferiormente entonces converge.
Teorema 3 (Criterio de comparacin). Sean dos sucesiones {an } {bn } de terminos no negativos, tal que an < bn
para todo n N, entonces:
P
P
1. si n=0 bn converge entonces n=0 an converge
P
P
2. si n=0 an diverge entonces n=0 bn diverge
Pk
Demostracin. Supongamos primero que Sn S donde Sk = n=0 bn , ahora sea  > 0 como 0 an < bn para
todo n entonces:

X
X
an <
bn = S
n=0

n=0

Pk

por ende Tk = n=0 an esta acotada superiormente para toda k N, por otro lado como an 0 para todo
n N entonces Tn es creciente y por el teorema anterior Tn converge.
Pk
Ahora sea M R supongamos que Tk = n=0 an diverge, por ende para M se tiene que existe un NM N tal
que si n NM entonces Tn M pero como Sn > Tn M entonces Sn > M asi pues Sn diverge.
Dado las anteriores harramientas ya demostradas, daremos la demostracin del criterio de Kummer, el cual es
el tema principal de este documento.
P
Teorema 4 (Criterio de Kummer). Sea n=0 an una serie de trminos positivos, supongase que existe una
serie de nmeros positivos {dn } tal que el siguiente lmite:


1
an+1
1
lm

=h
n dn
an
dn+1
existe, entonces
P
1. si h > 0 entonces n=0 an converge
P
P
2. si h < 0 y n=0 dn diverge, entonces se tiene que n=0 an diverge

Demostracin. i) Suponga que h > 0, sea en el intervalo (0, h], como el limite existe entonces existe N N
tal que
an+1
1
1

>0
dn
an
dn+1
para todo n N . sea n = 1/dn ; entonces para n N se tiene que
n

an+1 n+1
>0
an

an n an+1 n+1 an > 0

(2)

de ahi que para n N se tiene que:

an n > an+1 n+1
por ende es decreciente y como es acotada inferiormente por 0 la sucesin {an n } converge a un .asi pues dada
la sucesin {Tn } dada por la serie telescpica:

X
1
1
(an n an+1 n+1 ) = (a0 0 an+1 n+1 )

n=0

es convergente pues {an n } converge, por ende, por la inecuacin (2) se tiene que:

an

1
(an n an+1 n+1 )

an

X
1
(an n an+1 n+1 )

n=0

n=0

an

n=0

Por el criterio de compracin de

n=0

1
(a0 0 )

an converge.

ii) supongamos ahora que h < 0, como el limite existe entonces dado  > 0 existe N N tal que
1
an+1
1

h<
dn
an
dn+1
an+1
1
1

<
dn
an
dn+1
1
an+1
1

0
dn
an
dn+1
para n N , de ahi que

as, entonces tenemos que para todo n N

an
an+1

dn
dn+1
aN
an

>0
dn
dN


aN
an
dn
dN

como dn diverge por el criterio de comparacin an diverge.

Ejemplos
3