Sei sulla pagina 1di 5

www.Matematica1.com

E n este corto capítulo estudiamos dos teoremas relacionados c on la convergencia de series de la forma P a n b n (como en el caso de las

series alternadas). Los dos resultados se basan sobre una bonita y aparente-

mente inocente fórmula demostrada por Abel en 1826.

F ÓRMULA DE A BEL

Dadas las sucesiones fa n g y fb g, consideremos fs n g la sucesión de sumas

parciales de fa n g. Por definición tenemos

n

a 1 b 1 D s 1 b 1

y

a 1 b 1 C a 2 b 2 D

s 1 b 1 C a 2 b 2

D

s 1 b 1 a 1 b 2 C a 1 b 2 C a 2 b 2

D

s 1 b 1 s 1 b 2 C s 2 b 2

D

s 1 .b 1 b 2 / C s 2 b 2 :

www.Matematica1.com

Análogamente

a 1 b 1 C a 2 b 2 C a 3 b 3 D

s 1 .b 1 b 2 / C s 2 b 2 C a 3 b 3

D

s 1 .b 1 b 2 / C s 2 b 2 a 1 b 3

a 2 b 3 C a 1 b 3 C a 2 b 3 C a 3 b 3

D

s 1 .b 1 b 2 / C s 2 b 2

.a 1

C a 2 /b 3 C .a 1 C a 2 C a 3 /b 3

D

s 1 .b 1 b 2 / C s 2 b 2 s 2 b 3 C s 3 b 3

D

s 1 .b 1 b 2 / C s 2 .b 2 b 3 / C s 3 b 3 :

Continuando de esta forma obtenemos en general

TEOREMA 1

DEMOSTRACIÓN

a 1 b 1

C C a n b n D s 1 .b 1 b 2 / C s 2 .b 2 b 3 / C C s n 1 .b n 1 b n / C s n b n :

Sean fa g y fb g dos sucesiones y denotemos por fs

de fa n g. Entonces, para todo n se cumple la igualdad

n g la sucesión de sumas parciales

n

n

( )

n

X a k b k D

k

D1

n

1

X s k .b k b k C1 / C s n b n :

k

D1

La demostración consiste en un cálculo simple:

n 1

X s k .b k b k C1

k D1

/ C s b D s .b b / C s 2 .b 2 b 3 / C

n n

1

1

2

C s n 1 .b n 1 b n / C s n b n

D s 1 b 1 C .s 2 s 1 /b 2 C .s 3 s 2 /b 3 C

C .s

n 1 s n 2 /b n 1 C .s n s n 1 /b n

D a 1 b 1 C a 2 b 2

C C a n b n :

a 1 b 1 C a 2 b 2 C C a n b n :

La ecuación ( ) es conocida como la fórmula de sumación parcial de Abel , denominación sugerida por la semejanza con la fórmula de integración por partes, sobre todo si las sumas se interpretan como integrales y las dife- rencias como “diferenciales” y escribimos

n

X b k a k D s n b n

k

D1

n

1

X s k .b k C1 b k /:

k

D1

En realidad la semejanza es mucho más profunda que un simple parecido tipográfico y, en efecto, la fórmula de Abel puede utilizarse para demostrar algunas identidades sobre integrales. Una discusión muy interesante sobre este particular, asociando la fórmula de Abel con sumas de Riemann, se encuentra en el Problema 19-35 de Calculus por M. Spivak. En realidad, la forma en que se utiliza la fórmula de Abel, tanto en el caso de integrales como el de series, es mediante el siguiente resultado.

www.Matematica1.com

LEMA 2

(LEMA DE

ABEL)

Sean fa g y fb g dos sucesiones, tal que fb g es no creciente y b Supongamos que existen m y M tales que

n

n

n

m a 1

para todo n. Entonces

b k m

a k b k

C

C

a n M

C

C

a n b n b k M

para todo k n.

n 0 para todo n.

DEMOSTRACIÓN Notemos que

mb 1 D

mb 1 mb 2 C mb 2 mb n 1 C mb n 1 mb n C mb n

D m.b 1 b 2 / C m.b 2 b 3 / C C m.b n 1 b n / C mb n

y, similarmente

Mb 1 D M.b 1 b 2 / C M.b 2 b 3 / C C M.b n 1 b n / C Mb n :

Si fs n g denota la sucesión de sumas parciales de fa n g, por hipótesis tenemos que

m s j M

para todo j .

Puesto que fb n g es no creciente se cumple que b j 1 b j 0 para

todo j . Luego

m.b j 1 b j / s j .b j 1 b j / M.b j 1 b j /

para todo j .

Entonces

es decir

m

n

1

X

j

D1

.b j 1 b j / C mb n

n

1

X

j

D1

s j .b j 1 b j / C s n b n

M

n 1

X .b j 1 b j / C Mb n ;

j D1

mb 1

n 1

X

j D1

s j .b j 1 b j / C s n b n Mb 1 :

Usando la fórmula de Abel tenemos que

mb 1

n

X

j D1

a j b j Mb 1 :

Finalmente, dado el número natural k , aplicamos este resultado a las suce- siones fa k ;a k C1 ;::: g y fb k ;b k C1 ; : : : g, obteniendo

mb k

n

X a j b j Mb k :

j D1

k C 1 ;::: g y f b k ;b k C 1 ; : :

www.Matematica1.com

C RITERIO DE D IRICHLET

A continuación presentamos una consecuencia del Lema de Abel que fue

demostrada por Dirichlet.

TEOREMA 3

(CRITERIO DE

Sean fa g una sucesión cuyas sumas parciales están acotadas y fb

n

n!1 b n D 0 . Entonces la serie

1

X

a n b n converge.

DIRICHLET) no creciente con lim

nD1

DEMOSTRACIÓN

Supongamos que

m a 1 C C a n M

n

g una sucesión

para todo n. Entonces, por el lema de Abel tenemos

EJEMPLO 4

b k m

a k b k C C a n b n b k M

para todo k n.

Puesto que lim

n!1 b n D 0 , entonces

k;n!1 .a k b k C C a n b n / D 0;

lim

y

por el criterio de Cauchy tenemos que

P

a n b n converge.

criterio de Cauchy tenemos que P a n b n converge. Un corolario del teorema de

Un corolario del teorema de Dirichlet es el criterio de Leibniz. En efecto,

consideremos la serie alternada

1

X

nD1

.

1/ nC1 b

n

;

donde fb n g es una sucesión no creciente que converge hacia 0. Entonces

si a n D . 1/ nC1 , tenemos que la sucesión de sumas parciales de fa n g es

f1; 0; 1; 0; 1; 0; : : : g; y está acotada. Entonces P . 1/ nC1 b n converge.

EJEMPLO 5

La serie

1

X

nD1

sen.n =2/

n

es condicionalmente convergente.

Primero notemos que la sucesión fj sen .n =2/=njg es

1; 0; 3 ; 0; 5 ; 0; : : :; 0;

1

1

C 1 ; 0; : : :

1

2n

y por tanto la serie P j sen.n =2/=nj diverge. Por otro lado tenemos que si a n D sen.n =2/ , entonces la sucesión de sumas parciales f1; 1; 0; 0; 1; 1; : : : g es obviamente acotada y puesto que b n D 1=n es no creciente y tiende a 0, por el criterio de Dirichlet tenemos que P sen.n =2/=n converge.

www.Matematica1.com

C RITERIO DE A BEL

Concluimos este capítulo con un corolario del criterio de Dirichlet, el cual fue demostrado por Abel en 1826 (y cuya prueba original debe haber sido algo diferente).

TEOREMA 6

(CRITERIO DE

Supongamos que

1

X

nD1

a n converge y que fb

n g es una sucesión la cual es o bien no cre-

ABEL) ciente o bien no decreciente cuyas sumas parciales están acotadas. Entonces

converge.

1

X

nD1

a n b n

DEMOSTRACIÓN

n g es no decreciente. Como las sumas par-

ciales de fb n g están acotadas, tenemos que también fb n g está acotada y, por tanto, converge hacia un límite b . Consideremos la sucesión dada por ˇ n D b b n . Entonces fˇ n g es no creciente y converge hacia 0. Por otro lado, la convergencia de P a n implica que sus sumas parciales están aco- tadas, entonces por el criterio de Dirichlet tenemos que P a n ˇ n converge. Pero

Supongamos que la sucesión fb

a

ˇ D a .b b / D a n b a n b n ;

n n

n

n

de donde

a

b D a b a n ˇ n :

n n

n

Entonces la convergencia de

verge.

P a n y P a n ˇ n implican que P a n b n con-

Si la sucesión fb g es no creciente podemos proceder de forma análoga,

n

pero usando ˇ n D b n b .