Sucesiones Series Dario Sanchez

SUCESIONES Y SERIES
Jos Daro Snchez Hernndez

danojuanos@hotmail.com
1. SUCESIONES DE NUMEROS REALES.
1.1. . Introduccin
Los algo que actualmente est en el medio ambiente, quizs nmeros naturales son
por esto lleg el matemtico alemn Leopoldo Kronecker a decir: El buen Dios di al
hombre los nmeros naturales; el resto ha sido obra suya " .
Se consideran los nmeros naturales como la estructura bsica de la Matemtica y
siguiendo al matemtico italiano Giuseppe Peano, los nicos trminos tcnicos que
intervienen son los de nmero natural, primer natural (cero para nosotros y uno para
otros, segn los gustos) y el siguiente de ", o, el sucesor de ", con los siguientes
axiomas:
N
l
. Cero es un nmero natural
N
2
. El siguiente de todo nmero natural tambin es nmero natural
N
3
. Si es una coleccin de nmeros naturales tal que cumple: o
0 esta en (i) o
Cada vez que un natural est en , tambin el siguiente de l est en (ii) o
o.
Entonces S es el conjunto de todos los naturales.
N
4
. Si los siguientes de dos nmeros naturales son iguales, entonces los nmeros son
iguales.
N
5
.Cero nunca es sucesor de un natural.
Sucesor de un conjunto significa, a otro conjunto con un elemento ms; una manera de
formar a partir de un conjunto dado otro con un elemento ms, es agregar el mismo
como elemento, a est le llamaremos el sucesor de " y se le nota .
. = '
As
0
= 0 ' 0 = ' = 1 c c
1 = 1 ' 1 = 0 ' 1 = 0, 1 = 2
2 = 2 ' 2 = 0, 1 ' 2 = 0, 1, 2 = 8
8 = 8 ' 8 = 0, 1, 2 ' 8 = 0, 1, 2, 8 = 4
Daro Snchez CURSO DE SUCESIONES Y SERIES 2

Notaremos con al conjunto de todos los nmeros naturales. N
1.2. . Definicin de sucesin
Sea un subconjunto de nmeros reales y una funcin, es decir, ) : R N
( . Al conjunto se le llama \: )(critc )(:) . )(:) ) )(:) _ N una
sucesin en .
De la teora de conjuntos se sabe que cuando significa que )(:) critc to| `
nc )(:) = = o o ` ` " , en este caso se denota . En esta forma al conjunto es al
: :
:=
0
que usualmente se le llama una sucesin y a se le conoce como el -simo o
n
:
trmino de la sucesin.
Ejemplo. As los conjuntos y son sucesiones en
] ]
1, 4, 27, 12, 2, ,
8 4
4 0 16
, ,
R, representados por
y . : = 1, 4, 27, 12, = 2, ,
:
:=1
:=1
] ] ]
:1 8 4
: 4 0 16
2
, ,
Cuando y A es una sucesin entonces _ ) : R N es llamada o
:
:=0
una
sucesin una sucesin de nmeros reales o simplemente . real
1.3 Sucesiones Montonas . .
Sea o o
: :

:= := 0 0
una sucesin real, se dice que es una sucesin creciente
cuando la siguiente proposicin es verdadera
: _ : = o _ o
: :
Ejemplo. Los conjuntos : , 2:
2
:= := 1 1
son sucesiones crecientes.
Anlogamente sea una sucesin real , se dice que es / /
: :

:= := 0 0
decreciente
si
: _ : = / _ /
: :
Ejemplo. Los conjuntos ,
1 :1
: :

:=1 :=1
2
son sucesiones decrecientes.
Se dice que una sucesin es o
:
:=0
una sucesin montona si es creciente o
decreciente.
Una sucesin o `
:
:=0
se dice si existe una constante acotada superiormente
tal que o _ `, po:o todo : .
:
N
Se dice que la sucesin es si existe una constante /
:
:=0
acotada inferiormente
1 / _ 1, po:o todo : . tal que
:
N
Se dice que una sucesin es si es acotada superior e inferiormente, o
:
:=0
acotada,
es decir que existe una constante tal que para todo ` _ 0 [o [ _ ` , : .
0 : 0
N
1.4 Lmite de una sucesin. .
Si los trminos de una sucesin o 1
:
:=0
se acercan a un nmero , se dice que la
sucesin tiende al lmite ( o que a ) y se nota: 1 1 converge
, lim
:
: :
o = 1 ( o 1 cno:do : )
Ms precisamente la sucesin converge a , si dado un nmero cualquiera o 1
:
:=0
c 0 , es posible la determinacin de un nmero natural tal que si
: _ = [o 1[ <
:
c
Esto es, a partir de un -simo trmino todos los elementos de la sucesin estn en un
entorno de con radio . 1 c
| | o . (o . o .. 1.. o . ) o .o .o
1 : 1 8 2 1
' '
1 1 c c
Una sucesin que tiene un lmite se le llama en caso sucesin convergente,
contrario la sucesin de dice divergente
Formalmente tenemos la siguiente definicin:
Definicin. : Una sucesin se dice convergente hacia si o 1
:
:= 0
dado existe tal que si entonces . c N c 0, : _ [o 1[ <
:
Ejemplos.
1. La sucesin naturalmente es convergente y su lmite es Para mostrar esto 0.
1
:
:=1
demos y tratemos de hallar tal que c N c c 0 [ 0[ < = [ [ < .
1 1
: :
Ahora Por lo tanto como los nmeros naturales no son acotados en
1 1
< = . c R
c
podemos tomar un nmero natural tal que as la proposicin ,
1
c
( )( \ 0 0 to| nc i : _ = [ 0[ < ) c c
1
:
es verdadera, luego lim
:
1
:
= 0.
2. Para la sucesin 1 , dado existe tal que si 0 , = 1
:=0
c
: _ = 1 = [1 1[ = 0 < . 1 = 1. c Esto significa que lim
:
3. Consideremos la sucesin probemos que esta sucesin no : = 0, 1, 2, 8, ,
:=0
tiene lmite. Supongamos por contradiccin que y que , entonces para lim
:
= 1 1 R
cada existe un tal que si entonces En particular c N c 0 : _ , [: 1[ < .
si existe tal que c N = 1 ,
[: 1[ < 1 ( : _ ) = 1 < : 1 < 1 (: _ ) = 1 1 < : < 1 1 (: _ ).
Esta ltima afirmacin asegura que para todo de donde los nmeros : _ , : < 1 1
naturales resultaran acotados lo cual es imposible , luego no existe. - : lim
:
4. Consideremos la sucesin y supongamos que ( 1) = 1, 1, 1, 1,
:
:=0
lim
:
:
( 1) = 1 = (\ 0)( : _ ( 1) 1[ < ). c N c tal que si entonces |
En particular para , tal que . c N = [( 1) 1[ < : _
1 1
2 2
1 1
:
( )
si es par
si es impar
(: _ ) =
[1 1[ < :
[ 1 1[ < :
1
1
2
1
2
_
pero esto es contradictorio pues, en ese caso se tendra -
2 = [2[ = [1 1[ = [1 1 1 1[ _ [1 1[ [1 1[ < = 1
1 1
2 2
as lo cual es contradictorio , luego no existe. 2 < 1 - ( 1) lim
:
:
5. Hallar lim
:
_ _
2:
:4:
12
Por teora de lmites se considera:
. lim lim lim lim
r r r r
2r 2 2r
r4r r 2 14 r r
2 r
12 12 1 1
2 2
12 12
12
1
2
12
= = = = 2
Esto nos sugiere que la sucesin _ _
2:
:4:
12
:=1
2
Para esto dado , tal que si c c 0 0, : _ = 2 < | |
2:
:4:
12
= < = < | |
2:2:8: 8:
:4: :4:
12 12
12 12
c c
pero
y si
8: 8: 8: 8:
:4: :4: : :
12 12 12 12
12 12
< < (: _ ) = < c c
pues
y . : < : 4: = < < (: _ )
12
1 1 8: 8: 8
:4: :4: : : :
12 12 12
12 12
= < c
Esto nos lleva a elegir de tal manera que
8 64
12 2
< , c esto es escoger
c
en esta forma para con pues si
8 64 8 8
: :
12 12 12 2
< : _ ( < : _ ) c
c
Con esto hemos probado que dado existe tal que as c N 0
64
c
2
| | | |
2: 8: 8: 8: 8 8
:4: :4: :4: : :
12 12 12 12 12
12 12 12
2 = = < < < < c
luego
. lim
:
2:
:4:
12
= 2
Teorema 1. Si es una sucesin de nmeros no negativos y si

:
:=0
lim
:
:
= 1, 1 _ 0. entonces
JcnosIroci n : Supongamos que por contradiccin que Entonces para 1 < 0.
c N =
1
2
existe tal que
[ 1[ < (: _ ) = [ 1[ <
:
1 1
2 2
= < 1 < = 1 <
1 1 1
2 2 2

o sea que luego as los trminos de la sucesin son < 1 = < 0

1 1
2 2
negativos lo cual es contradictorio . Luego . - 1 _ 0
1.5. Sucesiones convergentes

Definicin. Si una sucesin de nmeros reales tiene por lmite a
:
:=0
1, 1 decimos que es convergente a . Si no tiene lmite,
: :

:=0 :=0
decimos que es divergente
:
:=0
.
En los ejemplos anteriores tenemos que y son convergentes 1, 1, 1,
1
:
:=1

mientras que es una sucesin divergente. ( 1)
:
:=0
Teorema 2. Si una sucesin de nmeros reales converge a o 1
:
:=0
entonces no puede converger a otro lmite distinto de Esto o ` 1.
:
:=0
es si y entonces lim lim
: :
: :
o = 1 o = ` 1 = `.
JcnosIroci n : Dado existen y tales que c N 0
1 2
_
: _ = [o 1 <
: _ = [o `[ <
1 :
2 :
c
c
2
2
Tomando entonces se tiene que = :or ,
1 2
[1 `[ = [1 o o `[ _ [1 o [ [o `[ <
: : : :
c
Como es arbitrario, entonces se tiene lo deseado. c
Sea una sucesin y : o

:
:=0
j N N definida por k (k) una funcin j
estrictamente creciente, entonces o
j (/)
/=0
es llamada de una subsucesin
o
:
:=0
.
Ejemplo: 2: = 2, 4, 6, : = 0, 1, 2, 8,

:=1 :=
es una subsucesin de
0
1 = 1, 1, 1, ( 1) = 1, 1, 1, 1, .
:
:=1 :=1
es una subsucesin de
Teorema 3. Si la sucesin de nmeros reales es convergente a , o 1
:
:=0
entonces cualquier subsucesin de es tambin convergente a o 1.
:
:=0
JcnosIroci n : Si ( lim
:
:
o = 1 = \ 0)( : _ = [ c N
o 1[ < ) o i
: :
:=
c N . Sea y sea tal que o
:(/)
/=0
una subsucesin de
0
:(i) _ . / _ i :(/) _ :(i) _ , [ Ahora si entonces luego
o 1[ < ( / _ i) o = 1.
:(/) :(/)
/
c para todo esto es lim
1.6. Sucesiones divergentes

Ya hemos visto que las sucesiones son ambas divergentes. Sin : , ( 1)
:
:= := 0 0
embargo estas dos sucesiones tienen un comportamiento diferente. Para la sucesin
:
:=0
se tiene la divergencia por no ser acotada, mientras que la sucesin
( 1)
:
:=0
es divergente por ser una sucesin oscilante.
Definicin. Sea una sucesin de nmeros reales. Decimos que o o
: :
:=0
tiende a infinito cuando tiende a infinito si para cualquier nmero real :
` 0 o _ ` (\: _ ). existe un nmero natural tal que
:
En este caso escribimos cuando En lugar de o : . o c op:ori:o o
: :
i:)i:ito o algunas veces decimos diverge hacia infinito.
:
:=0
Es obvio que es divergente a infinito , pues para dado, justamente existe : ` 0
:=0
_ `, : _ ` (\: _ ). N tal que entonces ciertamente
En forma anloga se tiene :
Definicin. Sea una sucesin de nmeros reales. Decimos que o
:
:=0
o :
:
se aproxima a menos infinito cuando tiende a infinito si para cada
nmero real existe un nmero entero tal que si ` 0 : _
entonces o < `.
:
En este caso escribimos cuando y decimos que diverge a o : o
: :
:=0
menos infinito.
Ejemplo. La sucesin diverge a menos infinito, pues dado |oq( ) ` 0
1
:
:=0
debemos hallar tal que . Pero esto es equivalente a |oq( ) < ` (\: _ ) N
1
:
|oq : ` (\: _ `) = : (\: _ ) c
`
As, si escogemos entonces se tendr y por lo tanto _ : (\: _ ) c c
` `
|oq : ` (\: _ `).
La sucesin no se aproxima ni a + ni a . Sin embargo, esta 1, 2, 8, 4,
sucesin tiene una subsucesin la cual se aproxima a + y tambin una 1, 8, ,
subsucesin la cual se aproxima a 2, 4, 6, .
Es fcil demostrar que si la sucesin diverge a infinito, entonces cualquier o
:
:=0
subsucesin de tambin converge a infinito. o
:
:=0
Algunas sucesiones divergentes que no divergen a ni a , entonces ellas dan la
idea de
// //
oci|oci : .
Definicin. Si una sucesin de nmeros reales es divergente o
:
:=0
pero no diverge a ni a , entonces decimos que es o
:
:=0
oscilante.
Un ejemplo de una sucesin la cual es oscilante se presenta en Otro ( 1) .
:
:=0
ejemplo es la sucesin la cual tiene a como 1, 2, 1, 8, 1, 4, 1, , 1, :
:=0
subsucesin, luego es divergente, sin embargo, la sucesin no diverge a infinito; puesto
que no existe para el cual la afirmacin sea verdadera. o 2 (\: _ ) N
:
Esta sucesin obviamente no diverge a Por lo tanto la sucesin es . . oci|o:tc
La sucesin converge a cero. Por lo tanto no es 1, , oci|o:tc.
1 1 1
2 8 4
, ,
1.7. Sucesiones acotadas.
Recordemos que una sucesin de nmeros reales es una funcin de en , o
:
:=0
N R
vemos que el recorrido de es un subconjunto de . o
:
:=0
R
Definicin. Decimos que una sucesin es acotada por encima ( o
:
:=0
superiormente ) si el recorrido de es acotado superiormente. o
:
:=0
Anlogamente decimos que la sucesin es acotada por debajo ( o
:
:=0
inferiormente ) si el recorrido de la sucesin es acotado o
:
:=0
inferiormente. Ser acotada si el recorrido de la sucesin es o
:
:=0
respectivamente acotado superior e inferiormente. As la sucesin
o ` [o [ _ `
: :
:=0
es acotada si y solamente si existe tal que R
(\: ) N .
Si una sucesin diverge a infinito entonces la sucesin no es acotada. Una sucesin que
converge a infinito puede sin embargo ser acotada inferiormente. Una sucesin que es ,
oscilante puede o no ser acotada. La sucesin es oscilante y no , , 1, 2, 8, 4, ,
es acotada ni superiormente ni inferiormente. La sucesin es , , 1, 1, 1, 1, 1,
oscilante y es acotada. La sucesin es oscilante, es acotada 1, 2, 1, 8, 1, 4, 1, ,
inferiormente, pero no es acotada superiormente.
Teorema 4. Si la sucesin de nmeros reales es convergente, o
:
:=0
entonces la sucesin es acotada. o
:
:=0
JcnosIroci n : Supngase que Entonces dado , existe 1 = o . = 1 lim
:
:
c
[ o 1[ < 1 (\: _ ). [o [ < [1[ 1 (\: _ ) [ Ntal que Esto implica
: :
pues, [o [ = [1 (o 1)[ _ [1[ [o 1[ [ .
: : :
Si tomamos entonces tenemos ` = : r[o [, [o [, , [o [
1 2 1
|o [ < ` [1[ 1 ( (\: )
:
N
lo cual demuestra que la sucesin es acotada. o
:
:=0
1.8. Operaciones en sucesiones montonas.

Teorema 5. Una sucesin creciente que est acotada superiormente,
es convergente
JcnosIroci n : Supongamos que la sucesin es creciente y acotada. o
:
:=0
Entonces el conjunto es un subconjunto no vaco y acotado de , luego = o , o ,
1 2
R
existe el extremo superior de ( el supremo) o sea
` = np o , o , = np .
1 2
Probemos que cuando En efecto dado , entonces no es o ` : . 0 `
:
c c
cota superior de . Por lo tanto para algn Pero, puesto que la , o ` . N c
sucesin es creciente, esto implica que . Por lo tanto o o ` (\: _ )

: :
:=0
c
como entonces De aqu concluimos que ` = np ` _ o (\: _ ). [
:
o `[ < (\: _ ).
:
c
Corolario: La sucesin es convergente. (1 )
1
:
:
:=0
JcnosIroci n : Sea
o = (1 ) = 1 :
:
:
1 1 1 1
: : 12 : 128: :
:(:1) :(:1)1
2 :
Para el ( )-simo trmino es de la forma / = 1, 2, 8, , :, / 1

:(:1)(:/1)
128/ 12/ : : :
1 1 1 2 /1
:
/
= (1 )(1 )(1 ) (1)
Si expandimos obtenemos trminos (uno ms que y para o : 2 o ) / = 1, 2, , :,
:1
:
el trmino simo es (/ 1)

1 1 2 /1
12/ :1 :1 :1
(1 )(1 )(1 ) (2)
el cual es ms grande que las cantidades en (1). Esto prueba que , as o _ o
: :1
(1 )
1
:
:
:=0
es creciente.
Pero tambin
o < 1 1
:
1 1 1
12 128 12:

< 1 1 = 1 = 8
1 1 1
2 2 2 112
1(12)

2 :1
:
Luego es acotada, de donde existe. (1 ) (1 )
1 1
: :
: :
:
:
N
lim
Teorema 6: Una sucesin creciente de nmeros reales, la cual no es

acotada superiormente, es divergente a infinito.
JcnosIroci n : Supuesto que es creciente pero no acotada por encima, o
:
:=0
dado debemos hallar tal que . Ahora puesto que ` 0 o ` (\: _ ) ` N
:
no es cota superior para debe existir tal que Entonces o , o o `.
1 2,
N
para este N y como por hiptesis la sucesin es creciente se tiene o o `
: :
:=0
(\: _ ) . Esto prueba el teorema.
Teorema 7. Una sucesin decreciente que es acotada por debajo es

convergente. Una sucesin decreciente que no es acotado por debajo
diverge a menos infinito.
La demostracin se deja como ejercicio.
.
1.9. Operaciones en sucesiones convergentes.
Puesto que las sucesiones de nmeros reales son funciones a valor real la suma,
multiplicacin y divisin entre sucesiones se pueden definir as, si o /
: :

:= := 0 0
y
son sucesiones de nmeros reales, entonces es la sucesin o /
: :

:= := 0 0
o / o / o /
: : : : : :

:= := := := 0 0 0 0
y es la sucesin y as sucesivamente.
Tambin, si entonces es la sucesin . ` R ` ` o o
: :

:= := 0 0
Teorema 8. Si y son sucesiones de nmeros reales, si o /
: :

:=0 :=0
lim lim lim
: : :
: : : :
o = 1 / = `, (o / ) = 1 `. y entonces En otras
palabras el lmite de la suma es la suma de los lmites.
JcnosIroci n : Dado , debemos hallar tal que c N 0
[(o / ) (1 `)[ < (\: _ ) (1)
: :
c
Ahora
[(o / ) (1 `)[ = [(o 1) (/ `)[ _ [o 1[ [/ `[
: : : : : :
Por lo tanto (1) se tendr solamente si
[o 1[ [/ `[ < (\: _ ) (2)
: :
c
As debemos tener que tanto como deben ser menores que tomando [o 1[ [/ `[
: :
2
c
: suficientemente grande.
Puesto que lim
:
:
o = 1, existe tal que | . o 1[ < (\: _ )
1 : 1
N
c
2
Tambin como existe tal que . lim
:
:
/ = `, [/ `[ < (\: _ )
2 : 2
N
c
2
Por lo tanto si seleccionamos entonces los trminos del primer = :or , ,
1 2
miembro de (2) son cada uno menor que cuando
c
2
: _ .
Teorema 9. Si es una sucesin de nmeros reales, y o

:
:=0
` R
lim
:
:
o = 1, entonces lim
:
` ` o = 1 .
:
JcnosIroci n : Si el teorema es obvio. Por lo tanto suponemos que ` ` = 0 , = 0
. As dado debemos hallar tal que c N ` ` c 0 [ o 1[ < .
:
Ahora puesto que existe N tal que lim
:
: :
o = 1, [ 1[ < (\: _ ). N
c
` [ [
Pero entonces
[ [[o 1[ < (\: _ ) ` c
:
Lo cual es equivalente a lo que queremos demostrar.
Teorema 10 : (o) Si entonces converge a . 0 < r < 1, r 0

:
:=0
(/) 1 < r < , r Si entonces diverge a infinito
:
:=0
.
JcnosIroci n : Si entonces Por lo tanto (o) 0 < r < 1 r = r r < r .
:1 : :
r r 0 : , r
: : :
:= := 0 0
es decreciente. Puesto que para es acotada por N
debajo, por lo tanto es convergente. Sea Tomando tenemos por el 1 = r . = r lim
:
:
`
resultado anterior Esto es la sucesin converge a lim lim
: :
: : :
:=
r r = r r = r1. r
0
r1, r r , r1 = 1 esto por que es una subsucesin de por lo tanto as
:1 :
:= := 0 0
1(r 1) = 0 r = = 1 = 0. puesto que 1
( ) Si entonces as que es creciente. Mostremos / r 1 r = r r r r
:1 : : :
:=0
que no es acotada superiormente. Pues si fuera acotada por arriba r r
: :
:= := 0 0
entonces convergera digamos a , as por un razonamiento anlogo al de (a) r 1
:
:=0
se sigue que Pero como entonces obviamente no r1 = 1 = r = 0. r _ 1 r lim
:
: :
:=0
converge a lo cual es contradictorio. Luego no es acotada superiormente y de 0 r
:
:=0
hecho es divergente a infinito.
Teorema 11. Si o /
: :

:=0 :=0
y son sucesiones de nmeros reales,
lim lim
: :
: :
o = 1 / = ` y entonces lim
:
: :
(o / ) = 1 `.
JcnosIroci n : (1) lim lim lim
: : :
: : :
( / ) = ( 1)/ = ( 1) / = `
(2) lim lim lim lim
: : : :
: : : : : :
(o / ) = (o ( 1)/ ) = o ( 1)/ = 1 `.
Corolario: Si o /
: :

:=0 :=0
o _ / (\: ) o = 1, / = ` 1 _ `
: : : :
: :
N y entonces lim lim .
JcnosIroci n : Pero por lo ` 1 = (/ o ). / o _ 0 (\: ) lim
:
: : : :
N
tanto por un resultado anterior ver ejercicio 1 de esta seccin.). ` 1 _ 0 (
Con el fin de mostrar que el producto de lmites, es el lmite del producto, consideremos:
Lema : Si o
:
:= 0
es una sucesin de nmeros reales la cual es
convergente a , entonces converge a 1 o 1
2 2
: :=0
.
JcnosIroci n : Debemos probar que Esto es, dado debemos lim
:
2 2
:
o = 1 . 0 c
hallar tal que N
[o 1 [ < (\: _ ) = [o 1[[o 1[ < (\: _ ) (1)
:
2 2
: :
c N c N
Ahora por ser una sucesin convergente entonces es acotada, as para algn o
:
:=0
` 0 , [ o [ _ ` (\: )
:
N as que
[o 1[ _ [o [ [1[ _ ` 1 (\: ) (2)
: :
N
Puesto que existe tal que lim
:
:
o = 1, N
[o 1[ = (\: _ ) (8)
:
c
`1
N
Pero usando y , tenemos (2) (8)
[o 1[ [o 1[ < (` 1) = (\: _ )
: :
c
`1
c N
As, para este , es verdad y tenemos el resultado deseado (1) .
Teorema 12. Si o /
: :

:=0 :=0
lim lim lim
: : :
: : : :
o = 1 / = `, o / = 1`. y entonces
JrincrodcnosIroci n. Usamos la siguiente identidad:
(1) o/ = [(o /) (o /) [ (o, / )
1
4
2 2
R
Ahora, cuando :
y o / 1 ` (o / ) (1 `)
: : : :
2 2
tambin
y o / 1 ` (o / ) (1 `)
: : : :
2 2
As tenemos
(o / ) (o / ) (1 `) (1 `) = 41`
: : : :
2 2 2 2
finalmente por la identidad (1) tenemos
o / = [ (o / ) (o / ) [ (41`) = 1`
: : : : : :
2 2
1 1
4 4
ScgundodcnosIroci n : Dado , debemos hallar tal que c N 0
| o / 1`[ < (\: _ )
: :
c
El problema aqu es puramente algebrico. Usando la hiptesis de que y lim
:
:
o = 1
lim
:
:
/ = `, tenemos
o / 1` = o / 1/ 1/ 1` = / (o 1) 1(/ `)
: : : : : : : : :
. [ o / 1`[ _ [/ [ [o 1[ [1[ [/ `[
: : : : :
Por lo tanto nos basta mostrar que
2 [/ [ [o 1[ [1[ [/ `[ < (\: _ ) ( )
: : :
c
Pero /
:
:=
:
0
es convergente luego es acotada as existe tal que Q 0 [/ [ _ Q
(\: _ ) , as (2) se reduce a
Q [o 1[ [1[ [/ `[ < (\: _ )
: :
c
Ahora como o
:
:= 2Q
1
0
1 0 para existe tal que
c
N
| o 1[ <
:
c
2Q
(\: _ )
1
en forma anloga como para existe tal que / 0,
: 2
:=1
[1[2
c
N
[/ `[ < (\: _ )
: 2
[1[2
c
luego tomando tenemos si entonces = :or , : _ ,
1 2
. Q[o 1[ [1[ [/ `[ < Q =
: :
c
2Q
[1[
c
[1[2
c

Lema : Si / / = `
: :
:= 0
:
es una sucesin de nmeros reales y si lim
donde entonces ` = 0 = lim
:
1 1
/ `
:
.
JcnosIroci n : Se tienen dos casos , Probaremos el caso ` 0, ` < 0.
` 0 ( ` < 0 El caso se puede probar aplicando el mismo razonamiento a la
sucesin . / )
:
:=0
As usamos dado , debemos hallar tal que ` 0 0 [ [ < c N c

1 1
/ `
:
(\: _ ) , , < (\: _ )
2 2
[/ `[
[/ `[
:
:
c
Como , para existe tal que , / ` 0, : _ = [/ `[ <
: 1 1 :
` `
2 2
N
, tambin
< / ` < (\: _ ) = < / < (\: _ )
` ` ` 8`
2 2 2 2
: 1 : 1
as
| / [ _ / (\: _ ) (8)
: : 1
`
2
Tambin para existe tal que
`
2
2
c

2
N
[/ `[ < (\: _ ) (4)
: 2
`
2
2
c
As si tenemos, para = :or , : _
1 2
[/ `[
[/ `[ [/ ` 2 `` 2
1 ` 2 ` :
: :
2 2
= < =
|

c c
. c
Teorema 13. Si y son sucesiones de nmeros reales, o /

: :

:= 0 :=0
lim lim lim
: : :
: :
o
/ `
1
o = 1 / = ` ` = 0 ( ) = y donde , entonces
:
:
.
JcnosIroci n : Se tiene
lim lim lim lim
: : : :
: :
o
/ / / ` `
1 1 1 1
:
: : :
= o = o = 1 = .
Ejemplos:
( ) 1 = = = 2 lim lim
: :
2: 2 2
:4:
1 14
12
:
4
:
12
1
:
12
lim
( ) 2 Hallar el valor de lim
:
8: 6:
: 4
2
2
2.1
8: 6:
: 4
: (86 ) 86
: (4 ) 4
2
2
2
2
= =
1 1
: :
1 1
: :
2 2
2.2 = 0 = 0 c = c Ya hemos mostrado que y , adems lim lim lim
: : :
1 1
: :
2
2.8. De todo lo anterior se tiene
. lim lim
: :
8: 6: 8
: 4
86
4 (4 ) 4
(86 ) 8 6
2
2
: : :
: : :
= = = =
1
:
1 1 1
: : :
2 2 2
1 1
: :
lim lim lim
lim lim lim
Resutado: Sean , y , tres sucesiones de nmeros o , / c
: : : : : : N N N
reales tales que para todo , si , o _ c _ / : o = / = 1
: : : : :
: :
N lim lim
entonces lim
:
:
c = 1.
1.10. Operaciones con sucesiones divergentes.
Hemos visto que para sucesiones convergentes la suma, la diferencia, el producto y el
cociente an siguen siendo convergente. En sucesiones divergentes esto no sucede en
general. Por ejemplo si las sucesiones o o
: :

:= := 0 0
y son ambas divergentes
entonces la suma claramente no es divergente. Ms an el producto de la sucesin
divergente con si misma no es divergente. Sin embargo veamos el ( 1)
:
:=0
siguiente resultado.
Teorema 14. Si o /
: :

:= 0 :=0
y son sucesiones de nmeros reales las
cuales divergen a infinito, entonces su suma y su producto divergen a
infinito. Esto es y divergen a infinito. o / o /
: : : :

:=0 :=0
JcnosIroci n : Dado se puede escoger tal que ` 0 o `
1 :
N
( N y escojamos \: _ )
1 2
N tal que (Lo anterior es posible / 1 (\: _ )
: 2
puesto que ambos lmites y cuando ). Entonces, para o / :
: :
= :or , c
1 2
ten mos
y o / ` 1 ` (\: _ ) o / ` 1 = ` (\: _ )
: : : :
Puesto que era un nmero positivo arbitrario, esto prueba el teorema. `
Teorema 15. Si o /
: :

:= 0 :=0
o / o /
: : : :

:=0 :=0 :=0
diverge a infinito y es acotada entonces
diverge a infinito.
JcnosIroci n : Por hiptesis existe tal que Dado Q 0 [/ [ _ Q (\: ).
:
N
` 0 o ` Q (\: _ ). : _ escojamos tal que Entonces para N
:
se tiene
o / o [/ [ (` Q) Q = `
: : : :
Esto es
o / ` (\: _ )
: :
lo cual demuestra que cuando o / : .
: :
Corolario: Si o /
: :

:= 0 :=0
diverge a infinito y si converge,
entonces diverge a infinito. o /
: :
:=0
JcnosIroci n : (1) diverge a infinito y es acotado por ser o /
: :

:= := 0 0
convergente.
(2) Se sigue del teorema 15 que . o /
: :
1 11. Lmite superior e inferior .

Si o
:
:=
:
:
0
es una sucesin convergente entonces mide rapidamente el tamao lim o
de cuando es grande. Se sigue que es un concepto usado solamente en o : o
: :
:
lim
coneccin con sucesiones convergentes. En esta seccin introducimos un concepto
relacionado con la acotacin superior e inferior el cual puede aplicarse a cualquier
sucesin. A grosso modo el lmite superior de una sucesin es la medida de o
:
:=0
que tan grande puede ser cuando crece y el lmite inferior que tan pequeo es o : o
: :
cuando es grande. Si existe, es plausible que el lmite superior y el lmite : o lim
:
:
inferior sean iguales.
Primero consideremos una sucesin la cual es acotada por encima, digamos o
:
:=0
que existe tal que Entonces para cada el ` 0 o _ ` (\: ) . : ,
:
N N
conjunto es claramente acotado por arriba y por lo tanto tiene una o , o , o ,
: :1 :2
mnima cota superior supremo
` = .o , o , o ,
: : :1 :2
sup
Ms an, es facil ver que puesto que es el ` _ ` ` = .o , o ,
: :1 :1 :1 :2
sup
supremo de un subconjunto de . As la sucesin es o , o , o , `
: :1 :2 :
:=0
decreciente y por lo tanto se tendra una de dos cosas, es convergente es decreciente a

menos infinito.
Definicin : Sea una sucesin de nmeros reales acotada por o
:
:= 0
arriba y sea ` = .o , o , o ,
: : :1 :2
sup
(o) ` . o = ` Si converge , definimos
: :
:=0
: :
:
lim sup lim
(/) ` . o = . Si diverge a menos infinito escribimos
: :
:=0
:
lim sup
Por ejemplo, sea Entonces es acotada por arriba. En o = ( 1) (: ).
:
:
:=
N o
:
0
este caso para cada y por lo tanto ` = 1 : ` = 1.
: :
:
lim
As
lim sup
:
:
. ( 1) = 1.
Consideremos en seguida la sucesin de nuevo 1, 1, 1, 2, 1, 8, 1, 4, 1, ,
` = 1 : 1 o = :
: :
para cada y as el lmite superior de esta sucesin es . Si entonces
` = . :, : 1, : 2, = :, `
: :
sup por lo tanto cuando
: , . o = . as lim sup
:
:
Definicin : Si o
:
:=0
es una sucesin de nmeros reales la cual no est
acotada superiormente, entonces lim sup
:
:
. o = .
En este punto el lector podr verificar las siguientes afirmaciones:
(1) Si es acotada por arriba y tiene una subsucesin la cual es acotada por o
:
:=0
debajo por entonces , . o _ lim sup
:
:
(2) Si no tiene subsucesiones las cuales son acotadas por debajo entonces o
:
:=0
lim
:
:
np o = .
Notemos que cambiando un nmero finito de trminos de la sucesin no o
:
:=0
cambia el As, el lmite superior de la sucesin lim sup
:
:
. o .
10 , 1, 1, 1, 1, 1, 1.
100
es
Teorema 16. Si o
:
:= 0
es una sucesin convergente de nmeros reales,
entonces lim sup lim
: :
: :.
. o = o
JcnosIroci n : Sea Entonces dado existe N tal que 1 = o . 0 , lim
:
:
c N
[o 1[ < (\: _ ) , , 1 < o < 1 (\: _ ). : _
: :
c c c As, , entonces
1 = coto npc:io: o , o , o , 1 c c
: :1 :2
y no es cota superior. Por lo tanto
1 < ` = .o , o , _ 1 c c
: : :1
sup
se sigue de la monotona del lmite que
1 _ ` _ 1 c c lim
:
:
Pero As lim lim sup
: :
: :
` = . o .
1 _ . o _ 1 = [ . o 1[ _ c c c lim sup lim sup
: :
: :
Puesto que es arbitrario, esto implica lo cual muestra la afirmacin. c lim sup
:
:
. o = 1,
Definamos ahora el lmite inferior. Si la sucesin de nmeros reales es acotada o

:
:=0
por debajo entonces el conjunto tiene un nfimo, , una mxima o , o , o ,
: :1 :2
cota inferior. Si tomamos entonces es una : = .o , o , o ,
: : :1 :2
:=
inf :
:
0
sucesin creciente y por lo tanto suceder que la sucesin converge, , (c:i) nc|o)
diverge a infinito.
Definicin: Sea o
:
:=0
una sucesin de nmeros reales la cual es
acotada por debajo y sea Si : = .o , o , o , (o) :
: : :1 :2 :
:=0
inf
converge, entonces definimos Si diverge a lim inf lim
: :
: : :
:=0
. o = : (/) :
infinito, entonces lim inf
:
:
.o = .
As La sucesin lim inf lim inf lim inf
: : :
:
.( 1) = 1 , .: = , .( :) = .
1, 1, 1 2, 1 8, 1, 4, .1, 1, 2, 1, = . tiene lim inf
:
Teorema 17. Si o
:
:=0
es una sucesin de nmeros reales, entonces
lim inf lim sup
: :
: :.
.o _ . o
JcnosIroci n : Si es una sucesin acotada, entonces o
:
:=0
: =
:
inf sup .o , o , o , _ .o , o , o , = `
: :1 :2 : :1 :2 :
.
As y . : _ ` : _ ` = .o _ . o
: : : : : :
: : : :
lim lim lim inf lim sup
Si no es acotada, entonces se tiene una de las siguientes afirmaciones o
:
:=0
lim inf lim sup
: :
: :
.o = , , . o = y en ese caso se sigue la desigualdad deseada.
Teorema 18. Si o
:
:= 0
es una sucesin de nmeros reales y
lim sup lim inf
: :
: :
. o = . o = 1
donde , entonces es convergente y 1 o o = 1. R
: :
:=0
:
lim
JcnosIroci n : Por hiptesis tenemos
1 = .o = . o , o , . lim sup lim sup
: :
: : :1
As dado existe tal que c N 0
1
[ . o , o , 1[ < (\: _ ) = o 1 < . o , o , 1 < sup sup
: :1 1 : : :1
c c
esto implica
o < 1 (\: _ )
: 1
c
Anlogamente, puesto que existe tal que lim inf
:
: 2
.o = 1, N
[ .o , o , 1[ < (\: _ ) inf
: :1 2
c
pero esto es equivalente a
< .o , o , 1 < o 1 (\: _ ) c inf
: :1 : 2
Si se toma entonces tenemos = . , , max
1 2
1 < o < 1 (\: _ ) c c
:
lo cual es equivalente a
< o 1 < (\: _ ) = [ o 1[ < (\: _ ) c c c
: :
esto prueba que lim
:
:
o = 1.
Hay un resultado anlogo en sucesiones divergentes a infinito.

Teorema 19. Si o
:
:= 0
es una sucesin de nmeros reales y si
lim sup lim inf
: :
: :
. o = = . o
entonces diverge hacia infinito. o
:
:=0
JcnosIroci n : Puesto que entonces dado existe un lim sup
:
:
. o = , ` 0
nmero tal que N
sup. o , o , o , `
: :1 :2
Esto implica que es una cota inferior (pero no el supremo ) para , as ` o , o ,
: :1
que lo cual establece la conclusin requerida o ` (\: _ ) .
:

Hay un anlogo obvio del resultado anterior para sucesiones divergentes a menos
infinito, que el lector podr formular y probar.
Teorema 20. Si o /
: :

:= 0 :=0
y son sucesiones acotadas de nmeros
reales y si entonces o _ / (\: )
: :
N
lim sup lim sup lim inf lim inf
: : : :
: : : :
. o _ . / . o _ ./ . y
JcnosIroci n : Por hiptesis es claro que o _ /
: :
: :i:o coto npc:io:o , o , _ : :i:o coto npc:io:/ , / ,
: :1 : :1
y
: ri:o coto i:)c:io:o , o , _ : ri:o coto i:)c:io:/ , / ,
: :1 : :1
(como puede Ud. probar esto?). Tomando el lmite cuando en ambos lados de :
estas desigualdades tenemos probado el resultado.
No es siempre verdad que

lim sup lim sup lim sup
: : :
: : : :
.(o / ) = . o . /
an para sucesiones acotadas y Por ejemplo, si o /
: :

:= :=
:
:
0 0
. o = ( 1)
(\: ) / = ( 1) (\: ) , / o = 0 (\: ). N N N y entonces
: : :
:1
De aqu pero lim sup lim sup lim sup
: : :
: : : :
. o = 1 = . / , .(o / ) = 0.
Hay sin embargo una importante desigualdad que puede ser probada.
Teorema 21. Si o /
: :

:= 0 :=0
y son sucesiones acotadas de nmeros
reales entonces
: : :
: : : :
.(o / ) _ . o . /
lim inf lim inf lim inf
: : :
: : : :
.(o / ) _ . o . / .
JcnosIroci n : ( ) Sean . o ` = .o , o , , 1 = ./ , / ,
: : :1 : : :1
sup sup
Entonces
o _ ` (\/ _ :), / _ 1 (\/ _ :)
/ : / :
y as
o / _ ` 1 (\/ _ :)
/ / : :
De aqu es una cota superior para as que ` 1 o / , o / , ,
: : : : :1 :1
sup.o / , o / , _ ` 1
: : :1 :1 : :
Por lo tanto
lim sup lim lim lim
: : : :
: : :1 :1 : : : :
.o / , o / , _ (` 1 ) = ` 1
o sea
: : :
: : : :
.o / _ . o . /
lo cual es precisamente la afirmacin ( ) o .
( ) Se deja como un ejercicio al lector. /
Hay otra forma de definir lmite superior y lmite inferior. El siguiente teorema nos
muestra una de tales aproximaciones.
Teorema 22. Sea o
:
:= 0
una sucesin acotada de nmeros reales
1. Si entonces para cada lim sup
:
:
. o = `, 0 c
para todo valor numrico finito de (o) o < ` :
:
c
para infinidad de valores de (/) o ` :.
:
c
2 Si entonces para cada . . o = :, 0, lim inf
:
:
c
para todo nmero finito de valores de (c) o : :
:
c
para una infinidad de valores de (d) o < : :.
:
c
JcnosIroci n : Mostremos solamente la parte 2. Si (c) fuese falsa, entonces,
para algn , podramos tener para infinidad de valores de Pero c c 0 o _ : :.
:
entonces para algn el conjunto podra contener un nmero de : o , o , N
: :1
trminos para una infinidad de valores de . Esto implica que _ : : c
: ri:o coto i:)c:io: o , o , _ : (\: )
: :1
c N
y pasando al lmite obtendramos, por la monotona del lmite, que
lim inf
:
:
. o _ :c
lo cual es contradictorio , con la hiptesis. As (c) es verdadero. -
Ahora supngase ( ) falso. Entonces para algn , pero solamente d 0 o < : c c
:
para un nmero finito de valores de Pero entonces existe tal que :. o _ : N c
:
(\: _ ). Por la monotona del lmite inferior, obtenemos
lim inf
:
:
. o _ :c
lo cual de nuevo va contra la hiptesis. As ( ) es verdadera . - d
Se sigue del resultado anterior que si es una sucesin acotada de nmeros reales o
:
:=0
y si es tal que (a) y (b) se tienen para cada , entonces ` 0 R c
lim sup
:
:
. o = `
Anlogamente, si es tal que (c) y (d) se tienen para cada entonces : 0 , R c
lim inf
:
:
. o = :.
Usando el teorema 22 podemos probar el siguiente resultado til.
Teorema 23. Cualquier sucesin acotada de nmeros reales tiene una
subsucesin convergente.
JcnosIroci n : Supngase que es una sucesin acotada de nmeros o
:
:=0
reales y sea Construyamos una subsucesin la cual ` = . o . lim sup
:
:
/=
o
:
/ 0
converge a . De la parte ( del teorema 22 hay una infinidad de valores de tales que ` o) :
o ` 1. : : o `1.
: 1 :
Sea uno cualquiera de tales valores de as
1
Anlogamente como hay infinidad de tales valores de tales que : o ` ,
:
1
2
podemos hallar para el cual y . Continuamos en esta : : : o `
2 2 1 :
1
2
N
2
forma, para cada entero podemos hallar tal que y / 1 : : :
/ / /1
N
o ` (1)
:
1
/
/
Dado por (a) del teorema 22 podemos hallar tal que c N 0
o < ` (\: _ ) (2)
:
c
Ahora se escoge tal que y Entonces, si por (1) y 1 < : . / _ 1 N c
1
1
1
(2) se tendr
` < ` < o < ` (\/ _ 1) c c
1
/
:
/
lo cual implica que
[o `[ < (\/ _ 1)
:
/
c
Esto prueba que lo cual demuestra nuestra afirmacin lim
/
:
o = `, .
/
1 12. Sucesiones de Cauchy .

El ms importante criterio para probar que una sucesin converge sin conocer su lmite es
llamado criterio de Cauchy
Definicin: Sea una sucesin de nmeros reales. Entonces o
:
:= 0
o 0 ,
:
:=0
es llamada una sucesin de Cauchy si para cada existe c
N tal que
si entonces . :, : _ [o o [ < = [o o [ < (:, : _ )
: : : :
c c
Agrosso modo una sucesin es de Cauchy si y estan muy prximos o
:
:=
: :
0
o o
cuando es muy grande. :
Teorema 24. Si la sucesin de nmeros reales converge o
:
:=0
entonces es una sucesin de Cauchy. o
:
:=0
JcnosIroci n : Sea Entonces dado existe un tal 1 = o . 0, lim
:
:
c N
que
[o 1[ < (\/ _ )
/
2
c
As si tenemos :, : _
[o o [ = [(o 1) (1 o )[ _ [o 1[ [1 o [ < =
: : : : : :
2 2
c c
c
as que lo cual prueba de es una sucesin de [o o [ < (:, : _ )
: :
:=
c o
:
0
Cauchy.
Lema : Si es una sucesin de Cauchy de nmeros reales o
:
:= 0
entonces es acotada. o
:
:=0
JcnosIroci n : Dado , escogemos tal que c N = 1 [o o [ < 1
: :
(:, : _ ). Entonces
[o o [ < 1 (: _ )
:
(1)
Por lo tanto, si tenemos : _ ,
[o [ = [(o o ) o [ _ [o o [ [o [
: : :
y as usando (1) tenemos
[o [ _ 1 [o [ (\: _ )
:
Si tomamos entonces ` = .[o [, [o [, [o [, , [o [, max
1 2 8 1
[o [ < ` 1 [o [ (\: )
:
N
de aqu se sigue que la sucesin es acotada. o
:
:=0
Teorema 25. Si o
:
:=0
es una sucesin de Cauchy de nmeros reales
entonces es convergente. o
:
:=0
JcnosIroci n : Por el lema conocemos que y son lim sup lim inf
: :
: :
. o . o
nmeros reales finitos. Para la existencia del lmite basta con mostrar que
lim sup lim inf
: :
: :
. o = . o
Por el teorema de la convergencia montona conocemos que
lim sup lim inf
: :
: :
.o _ . o
As solamente necesitamos probar que lim sup lim inf
: :
: :
. o _ . o
Puesto que es una sucesin de Cauchy, dado existe tal que o
:
:=0
c N 0
[o o [ < (:, : _ )
: :
2
c
y as
[o o [ < (\: _ )
:
2
c
Se sigue que y son respectivamente las cotas superior e inferior del o o

2 2
c c
conjunto . Por lo tanto si y son cotas o , o , o , : _ , o o
1 2
2 2
c c
superior e inferior par Esto implica que para o , o , o , . : _
n n n 1 2
o _ : ri:o coto i:)c:io: o , o , o ,
: :1 :2
2
c
_ : :i:o coto npc:io:o , o , o , _ o

: :1 :2
2
c
Por lo tanto los extremos izquierdo y derecho de esta desigualdad difieren en , tenemos c
as
: :. coto npc:io:o , o , o , : r. coto i:)c:io:o , o , o , _
: :1 :2 : :1 :2
c
Tomando el lmite en ambos lados y por la monotona del lmite obtenemos
lim sup lim inf
: :
: :
.o _ . o c
Puesto que era arbitrario, esto establece que lo cual era lo c lim sup lim inf
: :
: :
. o _ . o
,
queramos mostrar
Fin del primer bloque
1 13. Ejercicios resueltos. .
1.1c:ot:o: nc o = 1 (o 0) lim
:
_
:
Soluci n : Si tmese entonces tenemos o 1 r = o 1 r 0,
: :
_
:
1 :r _ (1 r ) = o
: :
:
luego
0 < r _
:
o1
:
Por lo tanto o sea lim lim
: :
:
r = 0 o = 1.
_
:
Si sea entonces o < 1, o = 1
1
1
o
lim lim
: :
1
1
o

_
:
:
o = = 1
_
Si entonces o = 1 o = 1 = 1. lim lim
: :
_
:
2. 1c:ot:o: nc = 0 (o 1, / 0) lim
:
:
o
/
:
Soluci n : (a) Si sea tenemos / = 1, o = 1 / (\/ 0) ,
: : : : 2
o (1/) (:1)/
1:/ / /
: : 2 :(:1) :(:1)
2 2
2 2
= < < =
---------
: 0
(b) Si entonces 0 cuando / < 1 _ 0 ( : )
: :
o o
/
: :
_
(c) Si entonces ya que / 1 0 o 0 lim
:
1/
:
o ) (
1/ :
=
Por lo tanto
lim lim
: :
/ : :
o (o )
/
: 1/ :
= = 0. [ [
3. 1c:ot:o: nc : = 1 lim
:
_
:
Soluci n : Sea entonces y tenemos r = : 1 r _ 0
: :
_
:
: = (r 1) _ 1 :r (r ) _ (r )
: : : :
: 2 2
:(:1) :(:1)
2 2
Luego
0 _ r _ 0 (: )
:
_
2
:1
esto es
lim lim
: :
:
_
:
: = (1 r ) = 1.
4. 1c:ot:o: nc = 0 lim
:
o
:!
:
Soluci n : Sea un nmero natural tal que y sea / / 2o = c
o
/!
/
Si entonces tenemos : /
0 _ = < 0 (: ).
o o o o c
:! /1 /2 : 2
:
:/
c
5. 1c:ot:o: nc = 0. lim
:
|oq :
:
Soluci n : Sea entonces Tomando exponencial a los j = |oq : = :j .
: :
|oq :
:
dos lados tenemos
: = c 1 :j
:j
:
(:j ) (:j )
2 2
:
: :
2 2
Luego
0 < j < 0.
:
2
:
_
6. oco o
:
:=
:1 : 1
0
n:o ncci :to| nc o = 1 o , o = 1. 1c:ot:o: nc _
_
|o ncci :c co:c:qc:tc .
Soluci n : Tenemos
o o = 1 o 1 o =
:1 : : :1
_ _
_ _
( ( _ _
_ _
_ _
_ _
1 o 1 o
1 o 1 o
: :1
2 2
: :1

= = .....
1 o 1 o o o
1 o 1 o 1 o 1 o
_ _ _ _
_ _ _ _
_ _ _ _
: :1 : :1
: :1 : :1
etc. ( vea ejercicio 68)
1.14. Ejercicios
1. Si es una sucesin de nmeros reales, si M y si probar _ = 1
: : :
:
:N
lim
que 1 _ `.
2. Si y para todo probar que 1 , ` 1 _ ` 0, 1 _ `. R R c c
3. Si es una sucesin de nmeros reales y si, para cada , 0 [ 1[ <
: :
:N
c c
(: _ ) donde N no depende de , pruebe que a partir de un nmero finito los trminos c
de son iguales a 1.
:
:N
4.(a) Hallar N tal que si N, entonces | : _ 2[ < N
2: 1
:8
(b) Pruebe que lim
:
2:
:8
= 2.
.( ) : _ < 0.08 a Halle N tal que si N entonces N
1
:1
_
(b) Pruebe que lim
:
1
:1
_
= 0.
6.Para cada una de las siguientes sucesiones probar en cada caso, si la sucesin es
convergente o divergente, en el caso convergente halle el lmite.
(a) (b) (c)
] ] ]
: :
: : :
2
2
: : : N N N
3 3n
7n
7. (a) Pruebe que la sucesin tiende a
]
10
7
:
:=1
0.
(b) Pruebe que no tiene lmite.
]
n
10
7
:=1
8. Pruebe que no tiene lmite.
]
:
1
:
:=1
9. Si , muestre que = = 0 (jndo : 1:nc/c nc < . i : )
: : :
:

:! ! :
:
lim
10. Si P es una funcin polinomial de tercer grado
P(r) = or /r cr d (o, /, c, d, r )
8 2
R
probar que lim
:
1(:1)
1(:)
= 1.
11.Sea { una sucesin definida por
:
:=1
= 1,
1
= 1,
2
= (: = 8, 4, , .)
:1 : :1
Halle (1to : :c:o o:||o:odo |o
8 :
n ncros dc Jibonocci ).
12. Escriba la frmula o trmino general para cada una de las siguientes
:
sucesiones (Por ejemplo, la sucesin 2,1,4,3,6,5,8,7, puede ser definida por .
=
: 1, i : c i:po:
: 1, i :c po:
: _
(a) 1,0,1,0,1,0,.
(b) 1,3,6,10,15,.
(c) 1, , 4 0, 16, 2, 86, .
(d) 1, 1, 1, 2, 1, 8, 1, 4, 1, , 1, 6, .
18. Cada una de las sucesiones (a), (b), (c), (d) en el ejercicio anterior son subsucesiones
de { } ? :
:=1
14. Si { y hallar o = = 2: 1 1 = : = i , , : .
: i 0 2, :
:=1 :=1 i=1 i=1
2
2
Es una subsucesin de ? 1 /
/=1
15. Para cada se muestra que | Entonces demostrar que o, / , o[ [/[ _ [o /[. R
| |
1[ | | converge a | si converge a L.
: :

:=1 :=1
16. Dar un ejemplo de una sucesin de nmeros reales , para la cual | |
: :

:=1 :=1
converge pero no converge.
:
:=1
17.Probar que si | | converge hacia entonces tambin converge a . 0 0
: :

:=1 :=1
18. Puede usted hallar una sucesin de nmeros reales la cual no tenga
:
:=1
subsucesiones convergentes y sin embargo se tenga que es convergente ?
:
:=1
19. Si es una sucesin de nmeros reales y si
:
:=1
lim lim
: :
2: 2:1
= 1, = 1,
pruebe que cuando Esto es si las subsucesiones de de trminos 1 : ( ,
: :
:=1

pares y de trminos impares convergen a entonces la sucesin tambin 1,
:
:=1
converge a ). 1
20. Estudiar cada una de las siguientes sucesiones segn sean (A) convergentes, (B)
divergentes a infinito, (C) divergentes a ,(D) oscilantes. (Use su intuicin o su
informacin sobre cursos de clculo. No intente probar ninguna afirmacin)
(a) ( (b) (c) d) c: ) c: : c ( c
n
2 :=1 :=1 :=1 :=1
:
1
:
( ) :c: ) ( ) ( 1) to: ) e ( f (

: 2 :
:
:=1 :=1
1
( ) ( ) : g 1 h
1 1 1
2 8 : :=1 :=1
2
21. : Pruebe que diverge a infinito.
_
:=1
22. Pruebe que es convergente (Ayuda: recuerde el mtodo para : 1 :

_ _
:=1
hallar por el proceso x donde

dj
dr
^ j = r)
_
23. Pruebe que si la sucesin de nmeros reales diverge hacia infinito entonces
:
:=1

:
:=1
diverge a menos infinito.

24. Supngase que converge hacia 0. Pruebe que converge ( 1)
: :
:=1 :=1
:
hacia 0.
25. Suponga que converge a Pruebe que es una 1 = 0. ( 1)
: :
:=1 :=1
:
sucesin oscilante.
26. Supngase que diverge a infinito. Pruebe que es una ( 1)
: :
:=1 :=1
:
sucesin oscilante.
27. Es verdad o falso, que si una sucesin de nmeros positivos no es acotada entonces la
sucesin diverge a infinito.
28. Dar un ejemplo de una sucesin la cual no es acotada pero que
:
:=1
lim
:
:
:
= 0
29. Pruebe que si entonces no es acotada. lim
:
:
:=1
:
:
= 0,
30. Si es una sucesin acotada de nmeros reales, y converge a 0, t
: :
:=1 :=1

pruebe que converge a 0. t
: :
:=1
31. Si la sucesin es acotada, pruebe que para cualquier existe un 0

:
:=1
c
intervalo cerrado J de longitud tal que J para infinidad de valores de n. R c
:
32 Cuales de las siguientes sucesiones son montonas ?
(a) c:: (/) to:: (c)
:=1 :=1 :=1

1
1:
2
(d)2: ( 1)
:
:=1
33. Si es creciente y acotada por arriba y L probar que s L. para = , _
: :
:=1
:
lim
:
todo Formule el resultado dual para sucesiones decrecientes. : . N
34. Si y son sucesiones crecientes y si probar que t _ t (: ),
: : : :
:=1 :=1

N
lim lim
: :
: :
_ t .
35. Si s hallar N tal que
: :1 :
= < (: )
10
:!
:
N N
36. Hallar el lmite de : (: 1)
:1 :
:=1
37 Para N , sea s Probar que es convergente y . = . N
: :
:=1
18(2:1)
2462:
lim
:
:
1
2
_ .
38. Para sea Verifique que Probar que : = . . N
: 1 2 8
2462: 1
18(2:1) :
2

:
:=1
es decreciente.
39. Para sea Probar que es : t = 1 (o) t N
:
:=1
1 1 1 1
1! 2! 8! :!
n
creciente Usando solamente hechos establecidos en la prueba de (/)
lim
:
:
:=1 :=1
:
(1 ) t
1
:
, para probar que es acotada por encima y probar que
lim lim
: :
:
:
t _ (1 )
1
:
40 Pruebe . (o) = (/) = 1 lim lim
: :
2: : 1 :
4: : 2 (:7) 6
8 2
8 2 2
41 Probar que si es una sucesin convergente a , entonces es . 1
:
:=1 :=1

:
12
tambin convergente a . 1
42. Evale lim
:
_ _ _
:( : 1 :)
45 Supngase que es una sucesin de nmeros positivos y . 0 < r < 1.
:
:=1
Si para todo pruebe que < r : , = 0.

:1 : :
:
N lim
46 Supngase Pruebe que . = 0 . = 1 [ jndo : oco = j lim lim
: :
: :
1 1
1 1
: :
: :
c
:cnc| o po:o . v Cuales teoremas Ud. usa en su demostracin ?
:
47. Probar que Tambin pruebe . lim lim
: :
:1 :
(1 ) = c . (1 ) = c
1 1
: :+1
Cuales teoremas Ud. usa en su demostracin ?
48. Si c , pruebe que 1 c = 1 [jndo : 1c:i/o c = 1 j to:c |o lim
:
:
_ _
: :
: i:o potc:cio c:o:/o |odo po:o dc:ot:o: nc : , c ocotodo. -
:
:=1
1:to:cc co:c|njo nc 0 cno:do : [
:

49. Sea = y sea para 2 = 2 : _ 1
1
_ _
_
:1 :
(a) Pruebe , por induccin que para todo _ 2 :
:
(b) Pruebe que para todo _ :
:1 :
(c) Pruebe que es convergente
:
:=1
(d) Pruebe que lim
:
:
= 2.
50. upngase y sea Pruebe que o 0 = ( ) (: _ 2).
1 2 :1 : :1
1
2
(a) es decreciente , , , .,
1 3
(b) es creciente , , , .
2 4 6
(c) es convergente.
:
:=1
51. Dar un ejemplo de sucesiones y para las cuales, cuando tiende t :
: :

:=1 :=1
a infinito
y (o) , t t
n

: : :
b) y ( , t t 7
n

: : :
52. Supngase que es una sucesin divergente de nmeros reales y c ,
:
:N
R
c 0 Probar que c es divergente. = .
:
:=1
53. Es verdad o falso? Si es oscilante y no acotada, y es acotada t
: : :
:N
N
entonces es oscilante y no acotada. t
: : :N
54. Halle el lmite superior y el lmite inferior para las siguientes sucesiones
1,2,3,1,2,3,1,2,3, (o) . (/) c:( )
:
2
:N
(c) (1 )co : (d) (1 )
1 1
: :
:
:=1 :=1
55 Si el lmite superior de la sucesin es igual a M, pruebe que el lmite .
:
:N
superior de cualquier subsucesin de es M. _
:
:N
56.Si es una sucesin acotada de nmeros reales y pruebe que i:) = :,
: :
:
:
N
lim
hay una subsucesin de la cual es convergente hacia :.
:
:N
Tambin, pruebe que ninguna subsucesin de puede converger a un lmite
:
:N
menor que :.
57. Si es una sucesin de nmeros reales divergente hacia infinito, probar que
:
:N
lim lim
: :
: :
np = = i:) . (Esto es, el inverso de un resultado probado en la
clase Cual es? ). Formule y pruebe el correspondiente resultado para sucesiones
convergentes hacia menos infinito.
58. Escriba el conjunto de todos los nmeros racionales del intervalo (0,1) como el
conjunto Calcule y : , : , : , . np : , i:) :
1 2 8 : :
lim lim
: :
( ) jndo : nc c| tco:c:o 22.
59. Pruebe que si la sucesin no tiene subsucesiones convergentes entonces
:
:N
| | converge a infinito.
:
:N
60. Si es una sucesin de nmeros reales y si
:
:N
o N
:
= (: )

:
1 2 :
Pruebe que y lim lim lim lim
: : : :
: : : :
np _ np i:) _ i:) o o
(jndo : lc c| tco:c:o 22.)
61. Si es una sucesin de nmeros reales la cual tiene una subsucesin
:
:N
convergente hacia L, entonces tambin converge hacia L.
:
:N
62. Sea una sucesin de nmeros reales, y para cada sea o :
:
:N
N
= o o o
: 1 2 :
t = [o [ [o [ [o [
: 1 2 :
Pruebe que si es una sucesin de Cauchy, entonces tambin es una t
: :
: : N N
sucesin de Cauchy.
63. Demuestre que para todo lim
:
_
:
o = 1 o 0
64 Demuestre que para y . = 0 o 0 / 0 lim
:
:
o
/
:
65 Demuestre que . : = 1 lim
:
_
:
66 Demuestre que para todo . = 0 o 0 lim
:
o
:!
:
67 Demuestre que . :
(o) = 0 |oq (donde es el logaritmo natural) lim
:
|oq :
:
(b) es una constante ) (c) lim lim
: :
(|oq :)
:
|oq :
:
/
/
= 0 ( / = 0 (/ 0)
68 Sea una sucesin tal que Demostrar que . o o = 1 o , o = 1.
: : :1 : 1 N
_
_
esta sucesin es convergente.
69. Sea una sucesin tal que es una constante) , estudiar o o = o (
: : :1 : N
` `
convergencia o divergencia de la sucesin.
70. Sea una sucesin tal que demostrar que es o o = 2 , o = 1, o
: : :1 1 / :
o
N N
:
divergente a infinito.
71. Sea una sucesin tal que o o _ 0, o _ 0, o = o o .
: : 1 2 :2 : :1 N
_
Demostrar que tiene un lmite L = o o
_
8
1
2
2
72. Sea una sucesin tal que . o (o ) = co (c 0, o 0)
: : : :1 1
2
N
Demostrar que la sucesin converge a c.
73. Sea una sucesin tal que para todo , entonces o o = o o :
: : :1 : :1
1
4
N
demostrar que lim
:
:
o = 0
74 Sea una sucesin tal que . o
: :N
o /o co = 0 (/, c
:1 : :1
son constantes )
hallar lim
:
:
o
75. Sea una sucesin de trminos no negativos, demostrar que: o
: :N
(a) es constante.) lim lim
: :
: :
/ /
np o = np o (/ 0, /
(b) es constante.) lim lim
: :
: :
/ /
i:) o = i:)o (/ 0, /
2. SERIES DE NUMEROS REALES
2.1. Introduccin.
Recordemos que la suma de la serie infinita es definida como o o o
1 2 :
lim
:
1 2 :
(o o o ), probando que el lmite existe. Esto, sin embargo, es la
definicin de la suma de una serie infinita y no es la definicin de serie infinita en si
misma, pues para ello se requiere de un par ordenado de sucesiones.
Definicin: Una serie infinita es una pareja ordenada
_
:=1
:
o
o , ) o
: : : : :
:=0
N N
donde es una sucesin de nmeros reales y
= o o o (\: ). o :
: 1 2 : :
El nmero es llamado el -simo N
trmino de la serie. El nmero es llamado la -sima suma parcial de :
:
la serie.
Notacionalmente la serie la podemos con frecuencia indicar con
_
:=1
:
o
o o o o o
1 2 : 1 2
simplemente con
Como un ejemplo la -sima suma parcial de la serie si : 1 1 ( 1)
:1
: : es par da 1 y si es impar da 0 .
Es con frecuencia conveniente iniciar los trminos de una serie empezando con o : = 0
cualquier nmero cuidando siempre que el trmino simo tenga sentido. Esto p = 1 :
es, escribimos algunas series como (en este caso se entiende que
_
:=
:
0
o
= o o o ) . 1 r r r .
: 0 1 :
2 :
:=
As la serie se puede escribir Es sin

_
0
embargo trivial verificar que cualquier definicin teorema a cerca de series escritas
_ _ _
:=1

: : :
:= :=p
o o o tiene exacto anlogo para series escritas en la forma , , para
0
cualquier 0. p _
La definicin de convergencia divergencia de una serie depende de la
_
:=1
:
o
convergencia divergencia de la sucesin de las sumas parciales .
:
:=1
Definicin: Sea una serie de nmeros reales con sumas parciales
_
:=1
:
o
= o o o (\: ).
: 1 2 : :
:=1
N R Si la sucesin converge a ,
podemos decir que la serie converge hacia . Si diverge,
_
:=1
: :
:=1
o
decimos que diverge.
_
:=1
:
o
Si converge hacia , con frecuencia escribimos As usamos no
_ _ _
:=1 :=1 :=1

: : :
o o = . o
solamente para denotar la serie sino tambin para denotar su suma (en el caso de series
convergentes). Con esta advertencia dejamos al lector convencerse as mismo que no se
tienen ambigedades. Como una consecuencia de las sucesiones se siguen los siguientes
resultados.
Teorema 1. Si es serie convergente hacia y converge a ,
_ _
:=1 :=1

: :
o / 1
entonces converge hacia . Tambin si entonces
_
:=1
: :
(o / ) 1 c R
_
:=1
:
co c. converge a
JcnosIroci n : Si y entonces = o o o t = / / /
: 1 2 : : 1 2 :
por hiptesis y . Pero la -sima suma parcial de lim lim
: :
: : : :
:=1
= t = 1 : (o / )
_
es as (o / ) o / (o / ) = t ,
1 1 2 2 : : : :
( )
lim lim lim lim
: : : :
: : / / : :
/=1
:
( t ) = ( t ) = t = 1.
_
Una consecuencia obvia es
_
:=1
: :
(o / ) = 1.
Teorema 2. Si es una serie convergente, entonces
_
:=1
: :
:
o o = 0. lim
JcnosIroci n : Supngase que . Entonces donde
_
:=1
: :
:
o = = lim
= o o o . = . o =
: 1 2 : :1 : : :1
:
Pero entonces Puesto que lim
tenemos
. lim lim lim lim
: : : :
: : :1 : :1
o = ( ) = = = 0
As vemos inmediatamente que la serie debe diverger, puesto que y

_
:=1
:
1: 1:
12: 1 2:
o =
+
se tiene Anlogamente debe ser divergente puesto que lim
:
:
1
2
:=1
:
o = = 0. ( 1)
_
lim
:
:
( 1) no existe.
Enfatizamos que la condicin no es suficiente para asegurar que sea lim
:
: :
:=1
o = 0 o
_
convergente. En la seccin siguiente se ver que no converge, sin embargo
_
:=1
1
:
lim lim
: :
:
o = = 0.
1
:
2.1.1. Series Telescpicas.
Una importante propiedad de las sumas finitas es conocida como propiedad telescpica
dada por
_
( )
/=1
:
/ /1 1 :1
/ / = / /
Cuando examinamos una extensin de esta propiedad para series infinitas consideramos
la serie en la cual cada trmino puede ser expresado como la diferencia de dos
_
:=1
: :
o o
trminos sucesivos de una sucesin en la forma , entonces esta / o = / /
: : : : :1 N
serie es conocida como serie telescpica y cuya conducta est caracterizada
por el siguiente resultado.
Resultado.Sean y dos sucesiones tales que o / o = / /
: : : : : : :1 N N
para Entonces la serie es convergente si y slo si : = 1, 2, 8, .. o
_
:=1
:
/ o = / 1,
: : : 1
:=1
N
es convergente, en tal caso tenemos donde
_
1 = / lim
:
:
.
JcnosIroci n : Sea denotando la -sima suma de , entonces tenemos : o
: :
:=1
_
= o = / / = / /
: / / /1 1 :1 : :
/=1 /=1
: :
_ _
( ) . Por lo tanto ambas sucesiones y
N
/ / 1 :
: : : N
convergen o ambas divergen. Adems si cuando entonces
/ 1
: 1
y esto completa la prueba del resultado.
Ejemplo. La serie es convergente.

_ _j
:=1 :=1

1 1 1 1 1
: :1 : :1 1 :
:
( )
= = = 1 lim
2.2. Series con trminos positivos.
Las series ms faciles de tratar son aquellas cuyos trminos son positivos. Para estas
series toda la teoria en convergencia y divergencia es abarcada en los siguientes
teoremas.
Teorema 3. Si es una serie de nmeros no negativos con
_
:=1
:
o
= o o o (\: ),
: 1 2 :
N
entonces
converge si la sucesin es acotada; (o) o
_
:=1
: :
:=1
diverge si no es acotada. (/) o
_
:=1
: :
:=1
JcnosIroci n : (o) o _ 0 Puesto que tenemos
:1
= o o o o = o _
:1 1 2 : :1 : :1 :
As es creciente y por hiptesis acotada, entonces es convergente y as
: :

:=1 :=1
_
:=1
:
o converge.
(/) o Si no es acotada, entonces diverge . Por lo tanto tambin es
: : :

:=1 :=1
:=1
_
divergente.
Damos dos ej mplos importantes de series con trminos positivos. El primero es la serie c
geomtrica 1 r r r
2 8
Teorema 4. (o) 0 < r < 1, r Si entonces converge a
_
:=1
: 1
1r
(/) r _ 1, r Si entonces es divergente.
_
:=1
:
JcnosIroci n : La conclusin de (b) es inmediata puesto que no existe y lim
:
:
r
por lo tanto es divergente.
_
:=1
:
r
(a) Tomemos s
:
2 :
= 1 r r r
) r = r r r r
:
2 : :1
(1 r) = 1 r
:
:1
Luego = (\: )
:
1r 1 r
1r 1r 1r
:1 :1
= N
Pero ya mostramos que si entonces . Por lo tanto 0 < r < 1, r = 0 = lim lim
: :
:
:
1
1r
as hemos probado (a).
El segundo ejemplo es la serie conocida como la 1

1 1 1 1
2 8 4 :
scric orn nico .

Teorema 5. La serie es divergente.
_
:=1
1
:
JcnosIroci n : Examinemos la subsucesin de , , , , , ,
1 2 4 8 2 :
:=1
:
donde en este caso, Tenemos = 1 .
:
1 1 1
2 8 :

= 1
1
= 1 =
2
1 2
2 8
= 1 = 2
4
1 1 1 8 1 1
2 8 4 2 4 4

= 2 =
8 4
1 1 1 1 1 1 1 1
6 7 8 8 8 8 8 2

en general, podemos mostrar por induccin que As contiene una .
2 :
:=1
:
:2
2
subsucesin divergente, luego es divergente y por lo tanto es divergente.
:
:=1
:=1
_
1
:
Hacemos incapie en el hecho de que la divergencia de la serie armnica muestra que

_
:=1
: :
:
o o = 0. puede diverger y lim
Para series con trminos positivos solo introducimos la siguiente notacin: Si es
_
:=1
:
o
convergente entonces simplemente escribimos . Si es una serie
_ _
:=1 :=1

: :
o < o
divergente de trminos positivos, algunas veces escribimos . As
_
:=1
:
o =
_ _
:=1 :=1

:
(
1 1
2 :
) < , = .
Es muy importante notar que no hay series que divergen tan lentamente como sea
posible. Ms exactamente.
Teorema 6. Si es una serie divergente de nmeros positvos,
_
:=1
:
o
entonces hay una sucesin de nmeros positivos la cual es c
:
:=1
convergente a cero para la cual todava diverge.
_
:=1
: :
c o
JcnosIroci n : Sea Nos basta mostrar que la serie = o o o .
: 1 2 :
_
/=0
:
o
/
/
es divergente
_ _
/=: /=:
: :
1
:1 : :2 :1 : :1)

/1 / /1 /
/1 :1
_ = ( ) ( ( )
:1
= =

2

1 :1 :
:1 :1
:1 :1
1
2
As, para cada existe tal que : : N N
.
_
/=:
:

2
1 /1 /
/1
_
Las sumas parciales de la serie no forman una sucesin de Cauchy y por lo
_
/=:
:

/1 /
/1
tanto .
_
/=:
:

/1 /
/1
=
Pero . As = o = = .
/1 / /1
/=1 /=2

_ _
o

o
/1
/1 /
/
Sea Entonces cuando y c c c
/ / / /
/=2
= . 0 / o = .
1
/
_
2.3. Series alternadas.

Una serie alternada es una serie infinita cuyos trminos alternan en signo. Por ejemplo
1 , 1 2 8 4 , 1
1 1 1 1 1 1
2 4 8 2 8 4
son todas series alternadas. Una serie alternada puede tambin escribirse como
_ _
:=1 :=1

:1 :
: : :
( 1) o o ( 1) o donde es un nmero positivo [ como si el primer
trmino de la serie es negativo ] . Demostremos ahora un resultado fundamental para
series alternadas
Teorema 7 (Prueba de Leibniz). Si es una sucesin de nmeros o
:
:=1
positivos tales que
(o) o _ o _ o _ _ o _ o _ . Esto es, la sucesin es decreciente y
1 2 8 : :1
(/) o = 0. lim
:
:
Entonces la serie alternada es convergente.
_
:=1
:1
:
( 1) o
JcnosIroci n : Considere primero las sumas parciales con ndices impar
, , , = (o o ) . o o _ 0 _ .
1 8 8 1 2 8 2 8 8 1
Tenemos por lo tanto En
realidad , para cualquier tenemos , as la : = o o _ N
2:1 2:1 2: 2:1 2:1
sucesin es decreciente. Ahora como
2:1
:=1
= (o o ) (o o ) (o o ) o
2:1 1 2 8 4 2:8 2:2 2:1
y como cada cantidad dentro de los parntesis es positiva y se tiene que o 0
2:1
0
2:1 2:1
:=1
, en esta forma es una sucesin decreciente de trminos positivos,
luego esta acotada por debajo, entonces es convergente. Anlogamente la sucesin de
sumas parciales par y como , , , , = o o _
2 4 2: 2:2 2: 2:1 2:2 2:
entonces es creciente adems :
2:
:=1
= o (o o ) (o o ) o
2: 1 2 8 2:2 2:1 2:
as por lo tanto es una sucesin creciente y acotada por encima, se _ o
2: 1 2:
:=1
sigue que es una sucecin convergente. Sean ahora y ` = lim
:
2:1
1 = , o = entonces puesto que y como por hiptesis lim
:
2:1 2: 2: 2:1
lim
:
:
o = 0 , tenemos
0 = o = = 1 ` lim lim lim
: : :
2: 2: 2:1
de donde se recibe que y as ambas sucesiones y 1 = `
2: 2:1

:=1 :=1
convergen a . Pero es fcil mostrar ( que converge a 1 c: c)c:cicio 10 dc 1 )
:
:=1
1 ( 1) o 1 y por lo tanto es convergente a , con lo cual demostramos el resultado.
_
:=1
:
:
Ntese que en la prueba se demuestra que y por lo tanto _ 1 _ 1,

2:1 2:
0 _ 1 _ = o [ 1[ _ o
2: 2:1 2: 2: 2:1 2:
, de donde , .
Anlogamente as que . Esto 0 _ 1 _ = o , [ 1[ _ o
2: 2:1 2: 2:1 2: 2:1
es, si es par impar tenemos demostrado que , Tenemos as el / [ 1[ _ o
/ /1
siguiente corolario, el cual nos facilita estimar la suma de este gnero de sucesiones
alternadas convergentes.
Corolario. Si la serie alternada satisface las hiptesis del
_
:=1
:
:
( 1) o
teorema 7 y cuando converge a algn entonces 1 [ 1[ _ o R
/ /1
(\/ ). N
As la diferencia entre la suma de y cualquiera suma parcial no ser ms
_
:=1
:
:
( 1) o
grande que la magnitud del primer trmino no incluido en la suma parcial.
Ilustremos ahora con un ejemplo. Vimos que es divergente, sin embargo, puesto que
_
:=1
1
:
= 0 ( 1)
1 1
: :
:
:=1
:
1
:
:=1
es una sucesin creciente y , se sigue que es lim

_
convergente. Esto es para algn tenemos 1 R
1 = 1
1 1 1
2 8 4 :
(1)

:1
.
Sin duda, no conocemos que es pero usando el corolario podemos estimarlo, as para 1,
cualquier tenemos : N
[1 1[ _
1 1 1 1
2 8 4 : :1
(1)

:1
si tomamos esto nos brinda : = 0
[0.746 1[ _ = 0.646 _ 1 _ 0.846
1
10
Continuando se puede demostrar que . 1 = |oq2 = 0.6082
Si , tenemos que la serie converge , pues por el 0 < r < 1 1 r r r

2 8
teorema 4 se tiene que
1 r r r = (0 < r < 1)
2 8
1
1r
Como un ejemplo final tenemos que la serie
_
:=0
(1)
:! 1! 2! 8!
1 1 1
:
= 1
es convergente. i entonces o 1 = ,
_
:=0
(1)
:!
:
[(1 ) 1[ _
1 1 1 1 1 1
1! 2! 8! 4! ! 6!

De esto concluimos que ( Por un clculo elemental podramos [1 0.8666[ _ 0.0014
llegar a que 1 = c = 0.8670).
1
2.4. Convergencia condicional y convergencia absoluta.
Vimos en el numeral anterior que las series
1 1
1 1 1 1 1 1
2 4 8 2 8 4
y
son ambas convergentes. Sin embargo estas dos series difieren en el siguiente sentido: Si
tomamos el valor absoluto a cada uno de los trminos de la primera serie obtenemos
1
1 1 1
2 4 8

la cual es convergente; mientras que si tomamos el valor absoluto a todos los trminos de
la segunda serie obtenemos
1
1 1 1
2 8 4

la cual es la serie armnica de quien ya sabemos que es divergente. Esto nos conduce a la
siguiente definicin, la cual establece una divisin entre las series convergente en dos
clases.
Definicin: Sea una serie de nmeros reales
_
:=1
:
o
(o) [ o [ o Si converge, decimos que converge absolutamente.
_ _
:=1 :=1

: :
(/) o o o Si converge pero | | es divergente, decimos que es
_ _ _
:=1 :=1 :=1

: : :
condicionalmente convergente.
As la serie es absolutamente convergente mientras que es
_ _
:=1 :=1

(1) (1)
2 :
: :
:
condicionalmente convergente.
Debemos justificar el uso de la palabra convergente en la frase absolutamente
convergente. Esto se da en el siguiente teorema.
Teorema 8. Si converge absolutamente entonces es
_ _
:=1 :=1

: :
o o
convergente.
JcnosIroci n : Sea Probemos que es = o o o .
: 1 2 : :
:=1
convergente. Basta mostrar que es una sucesin de Cauchy. Por hiptesis
:
:=1
_
:=1
: : : 1 2 : :

:=1 :=1
[o [ < t t = [o [ [o [ [o [, t y converge donde luego es
una sucesin de Cauchy. As, dado , existe tal que c N 0
. [t t [ < (:, : _ )
: :
c
Pero si suponemos recibimos : :
[ [ = [o o o [ _ [o [ [o [ [o [ = [t t [
: : :1 :2 : :1 :2 : : :
De donde tenemos
[ [ < (:, : _ )
: :
c
Esto prueba que es una sucesin de Cauchy, lo cual deseabamos mostrar.
:
:=1
Si separamos la serie en la serie de trminos positivos y los trminos negativos

_
:=1
: :
o o
podemos mostrar una importante distincin entre series absolutamente convergente y
series condicionalmente convergentes.
Ms exactamente, si es una serie de nmeros reales, sea
_
:=1
:
o
si
si
p =
o o 0
0 o _ 0
:
: :
:
_
[ 1 , p = 1, p = , p = , As, para la serie mientras que
1 1 1 1 1
2 8 4 8 2:1

1 8 2:1
p = p = = 0 [
2 4
Anlogamente, sea
si
si
=
o o _ 0,
0 o 0.
:
: :
:
_
Los son trminos positivos de (junto con algunos ceros) mientras que son p o
: : :
:=1
_
trminos negativos. Es fcil ver que
p = .o , 0 , = .o , 0
: : : :
max min
y por lo tanto
2p = o [o [ 2 = o [o [
: : : : : :
y
Tambin
o = p ( = (2p 2 ) = (o [o [ o [o[ )
: : : : : : : :
1 1
2 2
No es ahora difcil probar el siguiente resultado interesante.
Teorema 9. (o) o Si converge absolutamente entonces ambas series
_
:=1
:
_ _
:=1 :=1

: :
p y convergen . Sin embargo
(/) o p Si converge condicionalmente, entonces ambas series y
_ _
:=1 :=1

: :
_
:=1
:
son divergentes.
JcnosIroci n : (a) Si y son ambas convergentes, entonces
_ _
:=1 :=1

: :
o [o [
_ _
:=1 :=1

: : : : : :
(o [o [) 2p = o [o [ 2p tambin es convergente. As como se sigue que
es convergente y por lo tanto p es convergente. La serie puede mostrarse
_ _
:=1 :=1

: :
anlogamente que es convergente.

(b) Supongamos ahora que converge condicionalmente, entonces converge
_ _
:=1 :=1

: :
o o
pero es divergente, tenemos adems que Si converge,
_ _
:=1 :=1

: : : : :
[o [ [o [ = 2p o . p
entonces tendramos que convergera, lo cual es
_ _
:=1 :=1

: : :
(2p o ) = [o [
contradictorio. Por lo tanto es divergente. Anlogamente se muestra la
_
:=1
:
p
divergencia de .
_
:=1
De donde, puesto que es condicionalmente convergente , 1

1 1 1
2 8 4

entonces se sigue que diverge y por lo tanto que 1 0 0 0
1 1
8
1
1 1
8
es divergente.
2.5. Criterios para convergencia absoluta.
Definicin: Sean y dos series de nmeros reales . Se dir
_ _
:=1 :=1

: :
o /
que es dominada por si existe tal que
_ _
:=1 :=1

: :
o / N
. [o [ _ [/ [ (\: _ )
: :
( Esto es , excepto para un nmero finito de valores de En [o [ _ [/ [ :)
: :
este caso escribimos
_ _
:=1 :=1

: :
o / .
Ejemplos:
1) puesto que
_ _
:=1 :=1

(1)
: 2:1
1
:
2

[ [ =
(1)
: 2:1 : 2:1
1 1 1
:
2 2
_ < = 2: 1 < : : _ 8
2
para
2) 100 1
1 1 1 1
2 4 2 4
Nota. Que no implica necesariamente que
_ _ _ _
:=1 :=1 :=1 :=1

: : : :
o / o < / .
Teorema 10. Si es dominada por donde converge
_ _ _
:=1 :=1 :=1

: : :
o / /
absolutamente, entonces tambin converge absolutamente.
_
:=1
:
o
Simblicamente tenemos
Si y | entonces
_ _ _ _
:=1 :=1 :=1 :=1

: : : :
o / / [ < , [o [ <
JcnosIroci n : Sea Tenemos para todo n N. Puesto ` = [/ [ . [o [ _ [/ [ _
_
:=1
: : :
que
_ [o [ [o [ [o [ [/ [ [/ [ [/ [ _ [o [ [o [ `
: 1 : 1 2 : 1 2
As las sumas parciales de | | son acotadas por arriba, entonces | | es
_ _
:=1 :=1

: :
o o
convergente.
Al teorema 10 se le conoce como para la convergencia critero de comparacin

absoluta.
Se sigue inmediatamente que para cualquier la serie geomtrica es r ( 1.1) r
_
:=1
:
absolutamente convergente, puesto que y la serie de la derecha
_ _
:=1 :=1

: :
r [r [
converge abolutamente.
Enfatizamos que el criterio de comparacin es verdadero solamente para convergencia
absoluta. El siguiente resultado es facilmente deducible.
Teorema 11. Si esta dominada por y | | entonces
_ _ _
:=1 :=1 :=1

: : :
o / o =
_ _ _ _
:=1 :=1 :=1 :=1

: : : :
[/ [ = o / o ( Esto es , y es divergente entonces
_
:=1
:
/ es divergente ).
Ejemplo: Considere Esta serie domina a la cual es
_ _ _
:=1 :=1 :=1

:
/ = . ,
1 1
2: 8:
divergente entonces es divergente para
_
:=1
1 1 1
2: 8: 2:
( : ) <
Teorema 12. (o) / Si converge absolutamente y si existe
_
:=1
:
:
[o [
[/ [
lim
:
:
entonces converge absolutamente.
_
:=1
:
o
(/) [o [ [/ [ Si es divergente y existe , entonces es
_ _
:=1 :=1

: :
:
[o [
[/ [
lim
:
:
divergente.
JcnosIroci n : a) Si existe entonces es acotada . Por lo lim
:
:=1
[o [ [o [
[/ [ [/ [
: :
: :

tanto para algn ` 0,
[o [ _ `[/ [ (\: )
: :
N
Esto muestra que es dominada por la serie convergente absolutamente ,
_ _
:=1 :=1

: :
o `/
por lo tanto converge.
_
:=1
:
[o [
b) Como en la prueba de (a) tenemos as que domina a [o [ _ `[/ [ / ( )[o [
: : : :
:=1 :=1

_ _
1
`
la cual diverge entonces
_
:=1
:
[/ [ = .
Como ejemplo tomemos la serie y comparmosla con la serie armnica

_
:=1
2:
: 4:7
2
_
:=1
: :
1 2: 1
: : 4:7 :
entonces aqu tenemos entonces / = , o =
2
lim lim
: :
[ [
o
/ 2: 2
: 4:7 1
:
:
2
2
= =
Pero luego es divergente.
_ _ _
:=1 :=1 :=1

:
[o [ = = ,
1 2:
: : 4:7
2
El siguiente resultado, es llamado y es muy til en el tratamiento criterio de la razn
especfico de las series de potencias.
Teorema 13. Sea una serie de nmeros reales y sean
_
:=1
:
o
as que o = i:)[ [, = np[ [ ( o _ ) lim lim
: :
o o
o o
:1 :1
: :
Entonces
(o) < 1, [o [ Si entonces es convergente
_
:=1
:
(/) o 1, o Si entonces es divergente
_
:=1
:
(c) o _ 1 _ , ) Si entonces el criterio falla ( no es consistente .
JcnosIroci n : (a) Si escjase tal que . Entonces < 1 1 < 1 < 1
1 = 0 c c N para algn por lo tanto existe tal que
| |
o
o
:1
:
_ 1 (\: _ )
entonces
| | | | | | | || |
o o o o
o o o o o
o
N N 2 N 2 N
N N N 1 N
1 2 1
1
_ 1 _ 1, = _ 1 , y as
2
Para cada en forma anloga tenemos / _ 0
| | | | | |
o o
o o o
o
N 2 N k N
N N N+k-1
1
_ _ 1
/
As [o [ _ [o [1 (/ = 0, 1, 2, 8, ).
/
/
Pero converge puesto que .As por el criterio de comparacin se
_
/=
/
0
[o [ 1 0 < 1 < 1
sigue que converge. Esto es converge. Se sigue facilmente
_
/=
/ 1
0
[o [ [o [ [o [
que Esto prueba (a).
_
:=1
:
[o [ < .
(b) Si , entonces por el teorema 22 de 1 para todo ( para o 1 1 : _ | |
o
o
:1
:
algn . Pero entonces y as ciertamente la ) [o [ < [o < [o [ < , N
1[ 2
sucesin no converge hacia , entonces diverge o 0 o .
: :
:=1
:=1
_
(c) Ilustremos considerando primero Puesto que se sigue
_ _
:=1 :=1

:
:
o = . = 1
1
: o
o
lim
:1
:
que La serie es divergente. Ahora tomemos vemos que o = 1 = . o
_ _
:=1 :=1

:
1
:
2
lim lim lim
: : :
1
(:1)
2
1 1
:
2
2
2
:
2
= = = 1
: 1
(:1) (1 )
y aqu es convergente.
_
:=1
1
:
2
Vemos inmediatamente que si existe ( y es igual digamos a ), entonces lim
:
[ [
o
o
:1
:
1
_
:=1
:
[o [ 1 < 1 1 1 , 1 = 1 converge si y diverge si mientras que si no podemos
concluir nada.
Ejemplo: Consideremos aqu as que
_
:=1
:
: :
:! :!
: :
, o = ,
[o [ (:1) (:1)
[o [ (:1)! : : :
:! 1 : :1
:
:1 :
: :
= = = (1 )
Pero y as En particular as que es lim
:
:=1
(1 )
1 :
: :!
:
= c 2, o = c = . o 2
_
:
divergente. Este clculo muestra que la serie tiene por lo tanto
_
:=1
:! 1 1
: c 2
:
= < 1 <
se sigue que es convergente.
_
:=1
:!
:
:
Teorema 14. Si el
lim sup
:
:
. [o [ =
_
:
entonces la serie de nmeros reales
_
:=1
:
o
.
(a) Es convergente absolutamente si < 1,
(b) Es divergente si ( Esto incluye el caso ) 1 . [o [ = lim sup
:
:
_
:
(c) Si el criterio no es concluyente. = 1
JcnosIroci n : Si escojamos tal que Entonces por el < 1 1 < 1 < 1.
teorema 22 del 1 existe tal que Esto implica [o [ < 1 (\: _ ) . N
_
:
:
[o [ < 1 . [o [ 1 ,
: :
: :
:=1 :=1

As es dominada por la cual es absolutamente convergente,
_ _
as por el criterio de comparacin se sigue que . Esto prueba (a) si
_
:=1
:
[o [ <
lim sup
:
: :
. [o [ 1, [o [ 1
_
:
entonces por el teorema 22 del 1 para infinidad de
valores de , as la sucesin no converge a . Por convergencia dominada : o 0
:
:=1
_
:=1
:
o es divergente. Esto prueba (b).
Cuando tenemos las dos series y para las cuales = 1 ,
_ _
:=1 :=1

1 1
: :
2
lim lim
: :
0
_
: 1
:
= = = 1 c c
|oq:
:
Tambin se tiene
lim lim
: :
_ _ (
: :
2
1 1
: :
2
= = 1 = 1
y aqu es divergente y es convergente.
_ _
:=1 :=1

1 1
: :
2
Teorema 15. Supongamos que y para todo Si existe o 0 / 0 : _ 1.
: :
una constante de manera que c 0
o _ c/ \:.
: :
Entonces la convergencia de implica la convergencia de
_ _
:=1 :=1

: :
/ o .
JcnosIroci n : Sean = o o o , t = / / /
: 1 2 : : 1 2 :
entonces
_ ct . / o
: : : :
:=1 :=1

Si converge entonces las sumas parciales de quedan acotadas por
_ _
c` o y es creciente luego existe de donde es convergente
: : :
:=1
:
:=1
lim
_
.
Teorema 16. Supongamos que y 0 para todo y o 0 / : _ 1
: :
supongamos que . Entonces converge si y slo si lim
:
o
/
:=1 :=1

: :
:
:
= 1 o /
_ _
es convergente.
JcnosIroci n : Como , dado existe tal que lim
:
o
/ 2
1
:
:
= 1 = , c N
[ 1[ < (\: ) = < 1 < (\: ) = < <
o o o
/ 2 / 2 / 2
1 1 8
: : :
: : :
1 1
2 2
Por lo tanto
y para todo / < 2o o < / : _ ,
: : : :
8
2
el resultado se sigue del teorema 15.
Fin del segundo bloque

Nota: 1) Si siempre que puesto que podemos lim lim
: :
o o
/ c/
: :
: :
= c, c 0 , = 1
comparar con
_ _
:=1 :=1

: :
o / .
2) Sin embargo si concluimos solamente que la convergencia de lim
:
:=1
:
o
/
:
:
= 0 /
_
implica la convergencia de .
_
:=1
:
o
Ejemplo: Estudiar la convergencia de
_
:=1
1
:
|oq(:c: ).
Soluci n : Sabemos que es convergente. Consideramos
_
:=1
1
:
2
o = |oq(:c: ) / =
: :
1 1
: :
y consideramos
2
lim lim lim lim lim
: : t0 t0 t0
o
/ t 2t
|oq(:c: ) |oq( ) |oq( )
(t )
: : t dt t tc:t
:
1 c:t d c:t tcotc:t
1
:
2
2 d
dt
2
= = = = =
' '
t =
1
:
1 H pito|
/
= = = = lim lim lim

t0 t0 :0
tcotc:t cotcottc:t c:ttcot
2t c:t 4tc:t2t cot 4c:t4tcot4tcot2t c:t
2 2 2
'
1 H pito|
/
= = =
'
1 H pito|
/
lim
t0
cotcottc:t 2 1
4cot8cot8tc:t4tc:t2t cot 12 6
2
luego es convergente.
_
:=1
1
:
|oq(:c: )
2.6. Series cuyos trminos forman una sucesin decreciente.
Los criterios de las secciones previas fallan al dar alguna informacin acerca de la
importancia de la serie Esta serie tiene la propiedad especial que sus trminos
_
:=1
1
:
2
.
forman una sucesin decreciente . Tales series son frecuentemente tratadas con el criterio
de la integral. Sin embargo, puesto que no hemos dicho nada sobre el criterio de la
integral usamos otro criterio interesante llamado criterio condicional de Cauchy.
Teorema 17. Si es una sucesin decreciente de trminos positivos o
:
:=1
y si converge, entonces es convergente.
_ _
:=1 :=1

:
2 :
2 o o :
JcnosIroci n : Tenemos
o _ o
1 1
o o _ o o = 2o
2 8 2 2 2
o o o _ 4o
4 7 4
De estas desigualdades se sigue que
_ _ _
/=1 /=1 /=1
2 1 :
/
/ / /
2 2 2
:1
/ / / o _ 2 o _ 2 o _ 2 o
Por lo tanto para cada tenemos : N
_ _
/=1 /=0
:
/
/
2
o _ 2 o /
Por el criterio de comparacin se sigue que converge.
_
/=1
/
o

Teorema 18. Si es una sucesin decreciente de nmeros positivos o
:
:=1
y si es divergente, entonces es divergente.
_ _
:=0 :=1

:
2 :
2 o o :
JcnosIroci n : Tenemos
o o _ 2o
8 4 4
o o o o _ 4o
6 7 8 8
en general
o o _ 2 o = (2 o )
2 1
2
: :1
2 2
:
2:1
:1 :1
1
2
as que
_ _ _
/=8 /=1 /=2
2 : :1
/
/1 /
2 2 .
:1
/1 / o _ 2 o = 2 o
1 1
2 2
Corolario: La serie es convergente.

_
:=1
1
:
2
JcnosIroci n : Para tenemos o =
:
1
:
2
_ _ _
:1 :=1 :=1

: :
2
2 o = 2 = = < :
1 1 1
(2 ) 2
:
1
: 2 1
2
( )
Por lo tanto
_ _
:=1 :=1

:
o = < .
1
:
2
Nota: Que para tenemos y as

_ _ _ _
:=1 :=1 :=1 :=1

: 2
: :
1 1 1
: : 2
o = 2 o = 2 ( ) = 1 = . :
:
As se sigue la divergencia de .
_
:=1
1
:
Ejemplo: 1o c:ic c dic:qc:tc.
_
:=4
1
:|oq :
Para esto tomamos y se tiene o =
:
1
:|oq :
_ _ _
:=2 :=2 :=2

: :
2
2 o = 2 = ( ) :
1 1 1
2 |oq 2 |oq 2 :
: :
la cual es divergente. Se sigue entonces la divergencia de .
_
:=4
1
:|oq :
Teorema 19. (Abel) Si es una sucesin decreciente de nmeros o
:
:=1
reales positivos y si converge, entonces
_
:=1
: :
:
o :o = 0. lim
JcnosIroci n : Sea . Si entonces = o o o o = ,
: 1 2 : :
:=1
_
lim lim
: :
: 2
= = :
Luego
lim
:
2 :
( ) = 0 :
Ahora
= o o o _ o o o
2 : :1 :2 2: 2: 2: 2:
:
de donde
0 _ :o _ .
2: 2: :
Por lo tanto
lim
:
2:
:o = 0
y tambin
lim
:
2:
2:o = 0 (1)
Pero de donde o _ o ,
2:1 2:
(2: 1) o _ ( )(2:o )
2:1 2:
2:1
2:
y por , de donde el resultado. (1) (2: 1) o = 0 lim
:
2:1
La serie geomtrica y la funcin zeta son dos de los ms grandes resultados de las series
por el gran nmero de aplicaciones en el estudio de la convergencia de series. A
continuacin damos un criterio dado y demostrado por Cauchy en 1837.
Teorema 20. (Criterio de la integral) Sea una funcin decreciente y )
definida para todo Para cada tmese r _ 1. : _ 1
= )(/) t = )(r) dr
: :
/=
:
1
:
_
y
Entonces ambas sucesiones y convergen ambas t
: :

:=1 :=1
divergen.
JcnosIroci n : Comparando con las funciones escalonadas dadas en la figura, )
obtenemos

_ _
/=2 /=1
: :1
1
)(/) _ )(r) dr _ )(/) (1)
:
j j
_ _
/=2 /=1
: :1
1 1
)(/) _ )(r) dr )(r) dr _ )(/)
: :
' ' f( ) f(n) f(1) f(n) 2
n x 0 1 2 n x 0 1 2
Puesto que ambas sucesiones son )(1) _ t _ . , t
: : :1 : :

:=1 :=1
montonas decrecientes, entonces estas desigualdades muestran que ambas sucesiones
son acotadas o ambas no son acotadas. Por lo tanto ambas sucesiones convergen ambas
sucesiones divergen ( ) vea teorema 7 del No.1.7
Ejemplo: `ot:c:o nc |o c:ic co:c:qc i j |o i 1 .
_
:=1
1
:

Esta serie es llamada ( funcin cita) FUNCION ZETA
Tomando tenemos )(r) = r ,
t = dr =
= 1
|oq : = 1
:
1
:
1
r

_
: 1
1
1
si
si
Cuando el trmino cuando y por lo tanto es 1 : 0 , : t
1
:
:=1
convergente. Por el criterio de la integral, esto implica convergencia de la serie para
1, _ 1, t cuando entonces y la serie diverge . En el caso especial cuando
:
= 1 se tiene tambin divergencia y es el caso de la serie armnica .
_
:=1
1
:
Ejemplo: Estudiar la convergencia de la serie siguiente:
_
:=1
_
2:1 |oq (4:1)
:( :1)
1)
_ _ _
2:1 |oq(4:1) 2:|oq (4:1) 2|oq (4:1)
:(:1) :(:1) :
_ _
82
2) 1. Comparemos con la cual converge porque
_
:=1
1
: 4
4
lim lim lim lim lim
: : r: r: :
:
2
_
2 |oq (4:1)
:
82
1
:
4
4
4r1
1
4
84
= = =
_ _
( ) ( ) 2 |oq 4:1 2 |oq 4r1
: r r

_
= = 16 2 = 8 2 = 0 . lim lim lim
r: r: :
: :
16 2r
4r1 4
r
1
:
_
84
8
4
_ _
Por el criterio de comparacin con el lmite se sigue que es

_
:=1
_
2:1 |oq (4:1)
:( :1)
convergente.
2.7. Reordenacin de series.
Hablando a grosso modo, una reorganizacin de una serie es otra serie b
_ _
:=1 :=1

: :
o
cuyos tminos son los mismos como aquellos de pero ocurriendo en orden
_
:=1
:
o
diferente (una definicin exacta de reordenacin es dada posteriomente en esta seccin ).
Veremos que reorganizando una serie se pueden tener efectos dramticos por as decirlo.
Hemos visto que la serie converge condicionalmente para algn L ,
_
:=1
(1)
:
:1
R
L 0. Tenemos =
1 = 1 (1)
1 1 1 1 1 1 1
2 8 4 6 7 8

As
1 1 1 1 1 1 1
2 2 4 6 8 10 12
1 =
y as claramente

1 1 1 1 1 1 1
2 2 4 6 8 10 12
1 = 0 0 0 0 0 0 (2)
Si sumamos ahora (1) con (2) obtenemos otra vez
8
2
1 =
(1 0) ( ) ( 0) ( ) ( 0) ( )
1 1 1 1 1 1 1 1
2 2 8 4 4 6 6
8 1 1 1 1 1 1 1 1
2 8 2 7 4 0 11 6
1 = 1 (8)
La serie en lado derecho de (3) es una reordenacin de la serie convergente del lado
derecho de (1), pero ellas convergen a sumas diferentes. en verdad, podemos hallar una
reordenacin de que converja para algn nmero real previamente asignado.
_
:=1
(1)
:
:1
Definicin: Sea una sucesin de nmeros enteros positivos = :
i
:=1
donde cada entero positivo se da, exactamente una vez entre los (Esto :
i
es, es una funcin uno a uno de sobre ). Si es una serie de o N N
_
:=1
:
nmeros reales y si entonces es llamado / = o (i ) /
i : i
i=1
i
N
_
un
reordenamiento de
_
:=1
:
o
.
Si y , entonces, la definicin nos dice que Si = o 1 = / = 1.
n
n

=1 i =1
i

N es la funcin inversa de entonces as que
1 1
i i :
i =1
= : , = 1 o = / .
i
Esto muestra que es tambin una de b si es una
_ _ _
:=1 :=1

: :
=1
o / reordenacin
i
i
reordenacin de . Hemos deducido el siguiente resultado:
_
:=1
:
o
Teorema 21. Sea una serie condicionalmente convergente de
_
:=1
:
o
nmeros reales entonces para cada hay una reordenacin la cual r R
converge a . r
Para series absolutamente convergentes la teora es enteramente diferente. Primero
tratamos el caso de series de trminos positivos.
Lema: Si es una serie de nmeros positivos la cual converge a
_
:=1
:
o
/ o / R y es una reordenacin de , entonces converge y
_ _ _
:=1 :=1 :=1

: : :
_
:=1
:
/ = .
JcnosIroci n : Para cada sea Puesto que = / / / . N
1 2
/ = o : / = o , / = o , , / = o .
i : i 1 : 2 : :
i=1 i 1 2
para alguna sucesin tenemos Sea
` = :or: , : , , : . _ o o o _ .
1 2 1 2 `
Entonces ciertamente As
las sumas parciales de convergen para algn . Pero y as por
_
:=1
/ 1 1 = R lim
convergencia dominada . (Esto es, . Pero puesto que es 1 _ / o ) o
_ _ _
:=1 :=1 :=1

: : :
tambin una reordenacin de el mismo razonamiento con los papeles de y
_ _
:=1 :=1

: :
/ , o
_
:=1
:
b invertidos demostraramos que . Por lo tanto y el teorema queda _ 1 1 =
probado.
El resultado anterior claramente se tiene tembin para series de nmeros no positivos. El

lema es un caso especial del siguiente teorema.
Teorema 22.Si converge absolutamente a , entonces cualquier
_
:=1
:
o
reordenacin de tambin converge absolutamente hacia
_ _
:=1 :=1

: :
/ o .
JcnosIroci n : Definamos
p = =
o o 0 o o _ 0
0 o _ 0 0 o 0
: :
: : : :
: :
_ _
si si
si si
, y,
as que Entonces veamos que ambas series y convergen, o = p . p
: : : : :
:=1 :=1

_ _
pues y | | convergen, as converge puesto que
_ _ _
:=1 :=1 :=1

: : : :
o o [ o [o [[
p = :or(o , 0) 2p = o [o [ 2p
: : : : : :
:=1
entonces entonces es convergente. En forma

_
anloga se puede demostrar que es convergente. Digamos que y
_ _
:=1 :=1

: :
p = 1
_
:=1
: i
i=1
= Q Q _ 0 = 1 Q. : ( donde ), entonces Para alguna tenemos
/ = o = p . p p
i : : : : :
i=1 :=1

i i i
Adems es una de la serie de
_ _
reordenacin
trminos positivos. As por el lema es convergente y , en forma
_ _
i=1 i=1

: :
p p = 1
i i
anloga Puesto que lo cual implica que es
_ _
i=1 i=1

: i : : i
= Q. / = p /
i i i
convergente y
.
_ _ _
i=1 i=1 i=1

i : :
/ = p = 1 Q =
i i
Lo que resta es demostrar la convergencia absoluta de . Pero como
_
i=1
i i : :
/ / = p
i i
tenemos Por lo tanto para cualquier [/ [ _ [p [ [ [ = p .
i : : : :
i i i i
N
[/ [ [/ [ [/ [ _ p _ p = 1 Q
1 2 : : : :
i=1 i=1 i=1 i=1

_ _ _ _
i i i i
Las sumas parciales de son por lo tanto acotadas por por lo tanto | | es
_ _
i=1 i=1

i i
[/ [ 1 Q /
convergente. Esto prueba el teorema.

El teorema 22 nos brinda un resultado para la multiplicacin de series. Si formalmente el
producto de dos series y y reagrupando trminos con la misma potencia
_ _
:=0 :=0

: :
: :
o r / r
de , tenemos r
(o o r o r (/ / r / r ) =
0 1 2 0 1 2
2 2
)
= o / (o / o / )r (o / o / o / )r
0 0 0 1 1 0 0 2 1 1 2 0
2
Esto es ,
(
_ _ _
:=0 :=0 :=0

: : :
: : :
o r )( / r ) = c r (1)
donde
c = o / (: = 0, 1, 2, .)
: / :/
/=0
:
_
Con el propsito de aplicar el teorema 22, es suficiente examinar (1) en el caso r = 1.
Probaremos que
( o )( / ) = c
_ _ _
:=0 :=0 :=0

: : :
Bajo la hiptesis de que las dos series de la izquierda convergen absolutamente.
Teorema 23. Si las series y son absolutamente convergentes
_ _
:=0 :=0

: :
o /
a y respectivamente, entonces donde y 1 1 = C C = c
_
:=0
:
c = o /
: / :/
/=0
:
_
JcnosIroci n : Para tenemos / = 0, 1, 2, .
. [c [ _ [o / [ [o / [ [o / [
/ 0 / 1 /1 / 0
As, para cada :,
| [c [ [c [c [ _
0 1 :
_ [o / [ ([o / o / [) ([o / [ [o / [ [o / [)
0 0 0 1 1 0 0 : 1 :1 : 0
_ ([o [ [o [ [o [) ([/ [ [/ [ [/ [) _ ( [o [)( [/ [)
0 1 : 0 1 : / /
/=0 /=0

_ _
La sucesin de sumas parciales de es as acotada superiormente y por lo tanto
_
/=0
/
[c [
_
/=0
/
[c [ < .
La anterior desigualdad tambin demuestra la convergencia absoluta de la serie
o / o / o / o / o / o / o / o / (1)
0 0 0 1 1 0 0 2 1 1 2 0 0 8 1 2
( c cuya suma es ). Por el teorema 22 de reordenacin podemos reordenar los trminos
_
/=0
/
de (1) para obtener
_
/=0
/ 0 0 0 1 1 0 1 1 0 2 2 0 1 2 2 1 2 2
c = [o / [ [o / o / o / [ [o / o / o / o / o / [ (2)
El interior del n-simo parntesis en la derecha de (2) son todos los (: = 1, 2, 8, .)
productos donde cualquiera es igual a y ningn es ms grande que . o / ) / : ) / :
) /
Examinaremos las sumas de los trminos en cada parntesis . Si
= o o o , 1 = / / / ,
: 0 1 : : 0 1 :
tenemos
o / = 1 .
0 0 0 0
o / o / o / = (o o )(/ / ) o / = 1 1 .
0 1 1 0 1 1 0 1 0 1 0 0 1 1 0 0
o / o / o / o / o / =
0 2 2 0 1 2 2 1 2 2
= (o o o )(/ / / ) (o o )(/ / ) = 1 1 .
0 1 2 0 1 2 0 1 0 1 2 2 1 1
y en general, para la cantidad en el -simo parntesis en el lado derecho de (2) : _ 1 :
es igual a . La suma de los primeros parntesis en el lado derecho 1 1 :
: : :1 :1
de (2) es por lo tanto
[ 1 [ [ 1 1 [ [ 1 [ = 1 A B
0 0 1 1 0 0 : : 1 :1 : : n
lo cual tiende a cuando . El lado derecho de (2) es as igual a y la 1 : 1
demostracin es ahora completa.
Corolario: Si para algn las series de potencias y r o r / r R

_ _
:=0 :=0

: :
: :
son convergentes absolutamente entonces

_ __ _
_ _ _
( )
:=0 :=0 :=0

: : :
: : :
o r / r = c r 1
donde
c = o /
: / :/
/=0
:
_
JcnosIroci n : Sean . Entonces por el teorema 23 se = o r , 1 = / r
: : :
: :
:
tiene
( )( 1 ) = C (2)
_ _ _
:=0 :=0 :=0

: : :,
donde
C = 1 = o r / r = r o / = c r .
: / :/ / :/ / :/ :
/=0 /=0 /=0
: : :
/ :/ : :
_ _ _
Entonces se sigue por lo tanto de . (1) (2)
Dadas dos sucesiones y sea , o / , = o o o , = 0

: : : 1 2 : 0

:=1 :=1
entonces
_ _ _ _
/=1 /=1 /=1 /=1
: : : :
/ / / /1 / / / /1 /
o / = ( )/ = / /
= / / = (/ / ) / / ( = 0)
_ _ _
/=1 /=0 /=1
: :1 :1
/ / / /1 / / /1 : : 0 1 0
Teorema 24. (Criterio de Dirichlet) Sean y dos sucesiones o /
: :

:=1 :=1
tales que
1) = o o o es acotada
: 1 2 :

:=1 :=1
2) / / = 0 es decreciente y
: :
:=1
:
lim
entonces la serie es convergente.
_
:=1
: :
o /
JcnosIroci n : Tenemos tambin lim
:
: :
/ = 0,
_ _ _
/=1 /=1 /=1
:1 :1 :1
/ / /1 / / /1 / /1 1 : 1
[ (/ / )[ = [ [[/ / [ _ ` (/ / ) = `(/ / ) < `/
por lo tanto la serie converge absolutamente.
_
/=1
/ / /1
(/ / )
Ejemplo: Demostrar que las siguientes series son absolutamente convergentes

1)
_ _
:=1 :=1
c::r co :r
: :
2) (r = 0)
Soluci n : Veamos que es acotada c:/r
_
/=1
:
:=1
co(/ 1 )r co(/ )r = 2c:/rc: .
1 r
2 2
1
2
Entonces
_ _
/=1 /=1
: :
( 2c:/rc: ) = 2c: c:/r
r r
2 2
= [co(/ 1 )r co(/ )r[ = co(: 1 )r co(1 )r
_
/=1
:
1 1 1 1
2 2 2 2
Lo cual es equivalente a
= c:/r = ( co /r = ).
:
/=1 /=1
: :
_ _
co rco(: )r c: rc:(: )r
2c: r 2c: r
1 1 1 1
2 2 2 2
1 1
2 2
As las sumas parciales son . Por el criterio de Dirichlet se sigue la acotadas
convergencia de 1) y 2)
Teorema 24. (Criterio de Abel) Sean y dos sucesiones o /
: :

:=1 :=1
tales que es convergente y es decreciente, . 1) o 2) / / _ 0
_
:=1
: : :
:=1
Entonces se tiene que es convergente.
_
:=1
: :
o /
JcnosIroci n : Sea y tenemos
_
:=1
: : : :
o = o / / (: ), / o/
(: ) (/ / ) . La serie converge absolutamente ya que es acotada
_
/=1
/ / /1 :
:=1
y se est en las hiptesis de criterio de Dirichlet.

2.8. Ejercicios
1. + , Probar que si converge a entonces o o o
1
:
2
o o o o .
1
: 1
2
+ converge hacia
2. . Pruebe que la serie converge
_

:=1
1 1 1
:(:1) :(:1) : :1
[jndo : 1c:i/o =
j co|cn|c |o n:o po:cio|c dc |o c:ic]
3. Pruebe que la serie es convergente si y (o o ) (o o ) (o o )
1 2 2 8 8 4
slo si es convergente La serie as obtenida es llamada { . o
:
:=1
serie
telescpica y tiene se .
_
:=1
: :1 1 :
:
(o o ) = o o lim
4. Para que valores de la serie r (1r) (r r ) (r r ) (r r )
2 2 8 8 4
es convergente ?
5. ? Es la serie convergente o divergente cual es la razn de su
_
:=1
|oq(1 )
1
:
afirmacin?.
6. Pruebe que para cualesquiera la serie o, / R
o (o /) (o 2/) (o 8/)
diverge a menos que o = / = 0.
7. N Mostrar que converge si y slo si para cada existe tal que
_
:=1
/
o 0 c N
| |
_
/=:1
:
/
o < (:, : _ ) . c Esta propiedad es conocida como condicin de
Cauchy para series
8. Pruebe que si converge a , entonces o o o
1 2 8

1 1 1
2 2 2
1 2 2 8 8 4
(o o ) (o o ) (o o )
es converge. Cual es el valor de la suma de la segunda serie ?
9. ? ?
_ _

:=1 :=1

:1 :1
:2 10 (:2)
converge o diverge converge o diverge
10
10. Mostrar que si la serie converge a , entonces tambin o o o
1 2 8
1
o 0 o 0 o 0
1 2 8
converge a . Ms generalmente mostrar que 1
cualquier nmero de trminos con pueden ser insertados en una serie convergente sin 0
alterar su convergencia o suma.
11. Probar que si converge y diverge entonces es divergente.
_ _ _
:=1 :=1 :=1

: : : :
o / (o / )
12. { Sea una serie convergente. Sea cualquier subsucesin de la sucesin
_
:=1
: i
i=1
o :
natural. Finalmente sea
/ = o o o
1 1 2 :
/ = o o o
2 : 1 : 2 :
1 1 2
/ = o o o (/ )
/ : 1 : 2 :
/1 /1 /
N
Probar que converge a la misma suma que b
_ _
/=1

: :
:=1
o
13. Dar un ejemplo de una serie tal que converge
_
:=1
: 1 2 8 4
o (o o ) (o o )
pero diverja. (Esto demuestra que removiendo parentesis o o o o
1 2 4 8
puede causarse dificultades).
14. Si es una serie convergente de nmeros positivos y si es una
_
:=1
: :
i=1
o o
i
subsucesin de probar que converge. o , o
: :
:=1
i=1

_
i
15. . Probar que es convergente 1
1 1 1
2! 4! 6!
16. y si Si entonces probar que convege 0 _ o _ 1 (: _ 0) 0 < r < 1, o r
: :
:=1
:
_
y que su suma no es ms grande que
1
1r
.
17. Para que valores de la serie converge? p
1 1 1 1
1 2 8 4
p p p p

18. Si no es un nmero entero, probar que es r
1 1 1 1
r1 r2 r8 r4

convergente.
19. Probar que
(a) 2 2 2 2
1 1 1
2 8 4
es divergente
(b) (1 2) (1 2 ) (1 2 ) (1 2 )
1 1 1
2 8 4
es convergente
20. Mostrar que si entonces es divergente (aqu o = ( 1) o
: :
:=1
:1 1
:
(1)
: _
:1
_
o 0 o = 0
: :
:
y ?) lim Porque no se puede aplicar el teorema de las series alternadas
21. Mostrar que es divergente.
_
:=1
:1
( 1)
:
2:1
22. Clasifique como divergente, condicionalmente convergente o absolutamente
convergente a cada una de las siguientes series :
(a) 1 , (/) 1 , (c)
1 1 1 1 1 1 1 2 8 4
1! 2! 8! 8 7 2 8 4
(d)1 1
1 1 1 1
2 2 8 8
23 ? . Puede una serie de nmeros no negativos converger condicionalmente
24. | Probar que si entonces
_ _ _
:=1 :=1 :=1

: : :
[o [ < , o [ _ [o [.
25. Pruebe si es verdad o de un contra-ejemplo en caso de ser falso: Si es una serie
_
:=1
:
o
convergente de nmeros reales positivos y es una serie divergente de tminos
_
:=1
:
/
positivos, entonces .
_ _
:=1 :=1

: :
o /
26. ? Cuales de las siguientes series son convergentes
(a)
_ _ _
:=

:=1 :=1 0
: 1: 8
:! 1: 42
4
2 :
(/) (c)
27. n Mostrar que si entonces converge absolutamente. [r[ < 1 r
_
:=1
10000 :
28. Para cada probar que las series y r 0 1
r r
2! 4!
2 4
r
r r
8! !
8
convergen absolutamente.
29. (a) El criterio de la razn da alguna informacin acerca de la serie
( ) ( ) ( ) ( ) ( )
1 1 1 1 1
2 4 2 4 2
0 1 2 8 4
?
(/) ? Es esta serie convergente
30. Si es una sucesin de nmeros reales, y si pruebe o = 1 < 1
:
:=1
:
lim [ [
o
o
:1
:
que lim
:
:
o = 0
31. Para que valores de la serie converge? r 1 2r 8r 4r
2 8
32. ? Para que valores de la serie converge r r
r r r
8 7
8 7
33. | , , | | Si y si cada probar que
_ _
| | | |
:=1 :=1

: :
o [ < : _ / < N
/ o
/ o
:1 :1
: :
( [/ [ _ ) jndo : :ot:o: nc
:
[ [[o [
/
o
:
1
1
34. Examinar la convergencia de
_
:=1
(8 )(8 )(8 )(8 ) c c c c

1 1 1
2 8 :
35. Use el criterio de la raz en las siguientes series y que puede concluir en
(o) (/) (c)
_ _ _
:=1 :=1 :=1

r 1
: (|oq:)
(1 )
:
: :
1
:
2:
c
36 . . Mostrar que converge para todo
_
:=1
r
:
:
:
r R
37. ? Para qu valores de la serie converge. r
_
:=1
1
:
r
38. ? Para qu valores de la serie converge r
_
:=
2
1
[:(|oq:) [
r
39. Pruebe que para cada valor real la serie diverge r
_
:=
3
1
(|oq:)
r
40. (o)Si los trminos de la serie convergente son positivos y forman una sucesin
_
:=1
:
o
decreciente, probar que lim
:
:
2 o = 0
2
:
(/) Demostrar que si es una sucesin decreciente de nmeros positivos y si o
:
:=1
_
:=1
: :
:
o :o = 0. converge, entonces lim
Cada una de las siguientes series son de tipo en telescpica ( c:codo coo) , o/ :o|o
cada caso pruebe que la serie converge y tienen la suma indicada
41. .
_ _ _
:=1 :=1 :=1

1 1 2 1 8
(2:1)(2:1) 2 8 : 1 4
= = 42. = 8 48
:1 2
4 4. 4. = 1 46. = 1
_ _ _
:=1 :=1 :=1

2 8 8 2:1
6 2 : (:1)
:1 :
: :
: :
: 2 2
2
=
_ _
_
4 7. 48. = 1
_ _
:=1 :=1

: 1 2 : :
(:1)(:2)(:8) 4 2 :(:1)
=
: 2
:1
40. = 1 0. = |oq c
_ _ _
:=1

:=
(1) (2:1)
:(:1) (|oq: )[|oq(:1) [
|oq[(1 ) (1:)[
:1
1
:
:
: :1
2
2
1. Hemos demostrado en las notas de clase que
1 r r r r = [r[ < 1
2 8 : 1
1 r
si
Haciendo uso de esta afirmacin muestre que
(o) 1 r r r = [r[ < 1
2 4 2: 1
1r
2
si
(/) r r r r = [r[ < 1
8 2:1 r
1r
2
si
(c)1 r r r ( 1) r = [r[ < 1
2 8 : : 1
1r
si
(d si )1 r r r ( 1) r = [r[ < 1
2 4 6 : 2: 1
1r
2
(e si ) r r r r ( 1) r = [r[ < 1
8 7 : 2:1 r
1r
2
())1 4r 16r 4 r = [r[ < 1
2 4 : 2: 1
14r
2
si
(q)1 2r 8r :r = [r[ < 1
2 :1 1
(1r)
2
si
(/)r = |oq(1 r) [r[ < 1
r r r
2 8 4 :1
(1) r
8 8 4
: :1
si
(i)r = o:cto:q r [r[ < 1
r r r
8 7 2:1
(1) r
8 7
: 2:1
si
2 .Usando el ejercicio demuestre la igualdad de cada uno de las siguientes series, 4
todas vlidas para [r[ < 1
(o) :r = (/) : r = (c) : r =
_ _ _
:=1 :=1 :=1

: 2 : 8 : r r r r 4rr
(1r) (1r) (1r)
2 8
2 8
4
(d) : r = (c) = |oq ()) = |oq
_ _ _
:=1 :=1 :=1

4 : 1
2
r 11r 11r r r 1 r 1r
(1r) : 1r 2:1 1r
4 8 2 : 2:1
(q) (: 1)r = (/) r =

_ _
:= :=

: :
0 0
1 1
(1r) 2! (1r)
(:1)(:2)
2 8
(i)
_
:=
0
(:1)(:2)(:8)
8!
: 1
(1r)
r =
4
8. = .Dado que para todo , hallar la suma de las siguientes series,
_
:=1
r
:!
r
:
c r
suponiendo que es posible operar con series infinitas como cuando ellas son sumas
finitas.
(o) (/) (c) (d) = (r r)
_ _ _ _
:= := :=

:=1
2 r
2 2 2
:1 :1 : r
:! :! :! :!
(:1)(:1)

2 :
c
Usando criteros de comparacin y adecuadas acotaciones estudie la convergencia o
divergencia de cada una de las siguientes series :
4 . 6. . 5
_ _ _
:=1 :=1 :=1

: :1
(4:8)(4:1) :(:1) 2
2:1|oq(4:1)
_
:
5 5 5 7. 8. 0.
_ _ _
:=1 :=1 :=1

:
2 : 2
[c::r[ 2(1)
2
: 2 :
:
60. 61. 62.
_ _ _
:=1 :=1 :=1

:! 1
(:2)!
|oq :
: :1 :(:1)

_ _
68 64. 6. , [o [ < 10 .
_ _ _
:=1 :=1

1 :
(:1) 1 (|oq :) 10
:=
1
[o [
:
_
8 :
:
2
66 7. 8. . 6 6
_ _ _
:=1 :=1 :=8

1 1
1000:1 2 :|oq :(|oq |oq :)
:co ( )
2 :
8
: 2
6 0. : 70. dr 71. dr
_ _ _
:=1 :=1 :=1

: r
0 :
r
1r
:1
c c
2
1
:
2
_
_
Usando los criteros de la razn y de la raz estudie la convergencia de las siguientes
series
72 78 74. 7. . .
_ _ _ _
:=1 :=1 :=1 :=1

(:!) (:!)
(2:)! : :
2
2 :! 8 :!
2 2
:
2
: :
: :
7 7 7 7 6. 7. 8. 0. ( : 1)
_ _ _ _ _
:=1 :=1 :=1 :=1

:! :! 1
8 2
(|oq :)
:
: 2: 1
:
:
80. 81. ( ) 82. 88
_ _ _ _
:=1 :=1 :=1 :=1

: : 1 :
: :!
(1000)
(: )
c c
2 2
:
:
1
:
1
:
:
.
84. 8. : [c::r[ , : 0
_ _
:=1 :=1

: [ 2(1) [
8
:
8 : :
:
_

3. SUCESIONES DE FUNCIONES.
Estamos interesados en funciones definidas mediante ecuaciones de la forma
)(r) = ) (r) ) (r) ) (r)
1 2 8
Donde es una funcin, como por ejemplo . En tal situacin ) (r) ) (r) =
: :
r
(:1)!
:1
) r
:
:=1
ser cierta sucesin de funciones; la cual para cada obtenemos una sucesin
de nmeros y es la suma de esta sucesin. Para analizar tales funciones ) (r) )(r)
:
:=1
hace falta ciertamente recordar que cada suma
) (r) ) (r) ) (r)
1 2 8
es por definicin, el lmite de la sucesin
) (r), ) (r) ) (r), ) (r) ) (r) ) (r), .
1 1 2 1 2 8
Si definimos una nueva sucesin de funciones mediante
:
:=1
= ) ) ) )
: 1 2 8 :
entonces podemos expresar ms sucintamente este hecho escribiendo
)(r) = (r) lim
:
:
Por algn tiempo nos concentramos, por lo tanto, en funciones definidas como
)(r) = ) (r) lim
:
:
en lugar de funciones dadas como sumas infinitas.
figura 1
Todos los resultados acerca de tales funciones pueden resumirse muy fcilmente: nada de
lo que era de esperar que se cumpliera, se cumple en realidad; disponemos por el
contrario, de una esplndida coleccin de contraejemplos. El primero de stos indica que
an siendo continua cada puede no serlo la funcin lmite . Contrariamente a lo que ) , )
:
se podra esperar las funciones sern muy sencillas. La figura 1 muestra las grficas )
:
de las funciones
) (r) =
r , 0 _ r _ 1
1 , r _ 1
:
:
_
Estas funciones son continuas, pero la funcin lmite no es continua; )(r) = ) (r) lim
:
:
en efecto,
lim
:
:
) (r) =
0 , 0 _ r _ 1
1 , r _ 1
_
Otro ejemplo de este mismo fenmeno se ilustra en la figura 2 en donde las funciones )
:
estan definidas por
) (r) = :r , _ r _
1, r _
1 , _ r
:
1
:
1 1
: :
1
:
_
_
figura.2
En este caso, si , entonces es eventualmente (es decir, para suficientemente r < 0 ) (r) :
:
grande ) igual a y si entonces es eventualmente , mientras que 1 r < 0 , ) (r) 1
:
) (0) = 0 :.
:
para todo As que
lim
:
:
) (r) =
1 , r < 0
0 , r = 0
1 , r 0
_
_
_
de modo que, una vez ms la funcin no es continua. )(r) = ) (r) lim
:
:
Redondeando el esquema en los ejemplos anteriores es incluso posible construir una
sucesin de funciones para las cuales la funcin derivables ) ) (r) = )(r)
: :
:=1
:
lim
no es continua. Tal sucesin es fcil de definir explcitamente:
) (r) =
1 , r _ 0
c:( ), _ r _
1 , _ r.
:
: r 1 1
2 : :
1
:
_
_

figura.8.
estas funciones son derivables ( figura 3), pero todava tenemos
lim
:
:
) (r) =
1, r < 0
0 , r = 1
1 , r 0
_
_
_
La continuidad y derivabilidad no son, adems, las nicas propiedades para las cuales se
presentan problemas. Otra es ilustrada por la sucesin indicada en la grafica 4; )
:
sobre el intervalo la grfica de forma un tringulo issceles de altura [ 0, [ ) :,
1
:
:
mientras que para Estas funciones pueden definirse explcitamente ) (r) = 0 r _ .
:
1
:
como sigue:
) (r) = 2: 2: r, _ r _
2: r , 0 _ r _
0 , _ r _ 1
:
2 1
2:
2 1 1
2: :
1
:
_
_
figura 4 figura 5
Al variar esta sucesin de manera tan errtica en la proximidad de , nuestros instintos 0
matemticos primitivos podran sugerirnos que no siempre existe. No lim
:
:
) (r)
obstante este lmile existe para todo , y la funcin es incluso r )(r) = ) (r) lim
r
:
continua. Efectivamente, si , entonces es eventualmente r 0 ) (r)
:
0, de modo que ; adems , para todo , de modo que tenemos lim
:
: :
) (r) = 0 ) (0) = 0 :
ciertamente En otras palabras para todo Por lim lim
: :
: :
) (0) = 0. )(r) = ) (r) = 0, r.
otra parte, la integral revela rpidamente el comportamiento extrao de esta sucesin:
tenemos

0
1
:
0
) (r)dr = 1 )(r)dr = 0 pero
1
As pues,
lim lim
: :
0 0
: :

1 1
) (r) dr = ) (r) dr
Esta sucesin particular se comporta de manera que nunca hubisemos podido imaginar
cuando empezamos a considerar funciones definidas por lmite. Si bien es verdad que
)(r) = ) (r) r lim
:
:
para cada en [0,1]
Las grficas de las funciones no se a la grfica de en el sentido de estar ) )
:
acercan
prximas a ella; si, como es la grfica 5, dibujamos una banda alrededor de de )
anchura total 2 (dando una anchura de por encima y por debajo ) c c
entonces las grficas de no quedan completamente dentro de esta banda , por grande )
:
que sea Por esto, para cada existe algn tal que el punto queda dentro :. r (r, ) (r))
:
de esta banda para esta afirmacin equivale al hecho de que : ) (r) = )(r) lim
:
:
. r Pero hace falta elegir unos cada vez ms grandes a medida que elegimos los ms
prximos a , 0 y no habr ningn que de resultado para todos los a la vez. 1 r
La misma situacin se presenta en realidad, aunque no tan obviamente, para cada uno de
los ejemplos dados anteriormente. La figura 6 ilustra este punto para la sucesin

) (r) =
r , 0 _ r _ 1
1 , r _ 1
:
:
_
figura 6
Se ha trazado una banda de anchura total a lo largo de la grfica de 2 )(r) = ) (r) . c lim
:
:
Si , esta banda se compone de dos partes, las cuales no contienen ningn punto con c <
1
2
segunda coordenada igual a ; puesto que cada una de las funciones toma el valor ,
1 1
2 2
:
)
la grfica de cada deja de estar dentro de esta banda. Una vez ms, para cada punto ) r
:
existe algn tal que quede dentro de esta banda para (r, ) (r)) : :
:
pero no es
posible elegir un que d resultado a la vez para todos los 1 r.
Es fcil comprobar que la misma situacin exactamente se presenta para cada uno de los
dems ejemplos. En cada caso tenemos una funcin y una sucesin de funciones )
) , ,
:
:=1
definidas todas sobre algn conjunto tales que
)(r) = ) (r) r para todo lim
:
:
Esto significa que
\ 0 \ r , : , )(r) ) (r)[ < . c c y existe algn tal que si entonces |
:
Pero en cada caso deben elegirse unos para distintos distintos y no se cumple r o
que
existe algn tal que si entonces \ 0 \r , : , [)(r( ) (r)[ < c c
:
Aunque esta condicin difiere solamente de la primera en un pequeo desplazamiento de
la frase tiene un significado completamente distinto. Si una para todo r e ,
sucesin satisfece esta segunda condicin entonces las grficas de los ) )
: :
:=1
quedan eventualmente prximas a la grfica de , segn queda ilustrado en la figura 7. )
Definicin : Sea una sucesin de funciones definidas sobre y ) ,
:
:=1
sea una funcin tambin definida sobre . Entonces recibe el ) )
nombre de sobre si dado existealgn lmite uniforme de ) 0
:
:=1
c
tal que
figura 7
para todo si entonces r : , [)(r) ) (r)[ < .
:
c
Decimos tambin que o que ) ) , )
: :
:=1
converge uniformente hacia sobre tiende
hacia uniformente sobre uniformemente ) ) ) y notaremos sobre .
:
Como contraste con esta definicin, si solamente sabemos que
)(r) = ) (r) r lim
:
:
para todo
entonces decimos que . ) )
:
:=1
converge puntualmente hacia sobre
Evidentemente, la convergencia uniforme implica la convergencia puntual (pero no
recprocamente).
No es difcil reunir evidencia acerca de la utilizacin de la convergencia uniforme . Las
integrales representan un tema particularmente fcil: por la grfica 7 resulta casi evidente
que si converge uniformemente hacia entonces la integral de puede ) ) )
: :
:=1
hacerse tan prxima como se quiera a la integral de Expresado con ms precisin ).
tenemos el siguiente resultado.
Teorema 1. Supngase que es una sucesin de funciones )
:
:=1
integrables sobre un intervalo y que converge uniformente [o, /[ )
:
:=1
sobre hacia una funcin que es integrable sobre entonces [o, /[ ) [o, /[

o o
/
:
/
:
)(r)dr = ) (r)dr. lim
JcnosIroci n : Sea , existe algn tal que para todo tenemos c 0 :
[)(r) ) (r)[ < r [o, /[
:
c para todo .
As pues si tenemos :
|

o o o o
/ / / /
: : :
)(r)dr ) (r)dr[ = [ [)(r) ) (r)[ dr[ _ [)(r) ) (r)[dr
_ dr = (/ o)
o
/
c c
Al cumplirse esto para todo se sigue que c 0 ,

o o
/
/
:
)(r)dr = ) (r)dr. lim
:
Solamente algo ms difcil resulta el tratamiento de la continuidad el cual supone un

, estimacin en tres pasos de Si razonamiento
c
2
[)(r) )(r /)[ . )
:
:=1
es una
sucesin de funciones continuas que convergen uniformente hacia , entonces existe ) :
tal que
(1) [)(r) ) (r)[ <
:
8
c
(2) [)(r /) ) (r /)[ <
:
8
c
Adems, al ser continua, para suficientemente pequeo tenemos ) /
:
. (8) [) (r) ) (r /)[ <
: :
8
c
Se seguir de (1), (2), y (3) que Para obtener (3), debemos [)(r) )(r /)[ < . c
restringir, sin embargo, el tamao de en un modo que no puede predecirse hasta una [/[
vez elegido ; es por tanto completamente esencial que exista algn fijo que haga que : :
se cumpla (2), por pequeo que sea es precisamente en este caso donde entra en la [/[:
demostracin la convergencia uniforme.
Teorema 2. Supngase que es una sucesin de funciones )
:
:=1
contnuas sobre y que converge uniformemente hacia sobre [o, /[ ) )
:
:=1
[o, /[ ) [o, /[. . Entonces es tambin una funcin continua sobre
JcnosIroci n : Para todo debemos demostrar que es continua en . r [o, /[ ) r
Tratemos solamente el caso en el cual est en ; los casos y requieren r (o, /) r = o r = /
las sencillas modificaciones usuales.
Sea Al converger uniformemente hacia sobre existe algn tal c 0. ) ) [o, /[, :
:
:=1
que
[)(j) ) (j)[ < \j [o, /[
:
8
c
.
En particular, para todo tal que tenemos / r / [o, /[,
(1) [)(r) ) (r)[ <
:
8
c
(2) [)(r /) ) (r /)[ <
:
8
c
Ahora bien, es continua, de modo que existe algn tal que para ) 0 [/[ <
:
c c
tenemos
(8) [) (r) ) (r /)[ <
: :
8
c
As pues, si entonces [ /[ < , c
[)(r /) )(r)[ = [)(r /) ) (r /) ) (r /) ) (r) ) (r) )(r)[
: : : :
_ [)(r /) ) (r /)[ [) (r /) ) (r)[ [) (r) )(r)[ < =
: : : :
8 8 8
c c c
c
Esto demuestra que es continua en ) r.
Despus de los dos notables xitos ofrecidos por los teoremas 1 y 2 el asunto de la
derivabilidad resulta muy decepcionante. Si cada es derivable y si converge ) )
: :
:=1
uniformemente hacia , todava no se cumple necesariamente que sea derivable. Por ) )
ejemplo la figura 8 indica que existe una sucesin de funciones derivables que )
:
:=1
converge uniformemente hacia . Puede an suceder que sea derivable pero )(r) = [r[ )
nosea verdad que
. ) (r) = ) (r)
/ /
:
:
lim
Esto no es en ningn modo sorprendente si tenemos en cuenta que una funcin suave
puede ser aproximada por funciones de oscilacin muy rpida.
figura 8
Por ejemplo (fig.9) si entonces converge uniformemente ) (r) = c:(: r) )
: :
2
:=1
1
:
hacia la funcin , pero y no existe )(r) = 0 ) (r) = :co(: r) :co(: r)
/ 2 2
:
:
lim
siempre . por ejemplo existe si ( r = 0)
Fin del tercer bloque
figura 9
A pesar de estos ejemplos, el teorema fundamental del clculo garantiza prcticamente
que se podr deducir del teorema 1 algn tipo de teorema acerca de derivadas; la
hiptesis crucial es que converge uniformemente (hacia alguna funcin )
/
: :=1
continua).
Teorema 3. Supongamos que cada una de las funciones de la sucesin
) [o, /[ )
: :

:=1 :=1
es derivable sobre el intervalo y que converge
puntualmente hacia . Supngase adems que es una sucesin ) )
/
: :=1
convergente uniformemente sobre hacia una funcin continua . [o, /[ q
Entonces es derivable y . ) ) (r) = ) (r)
/ /
:
:
lim
JcnosIroci n : Si aplicamos el teorema 1 en un intervalo adecuado podemos
lograr un buen camino con el fin de tener la veracidad del teorema, con tal fin tomemos
un nmero tal que y consideremos el intervalo se tiene r o _ r _ / [o, r[ ,

o o
r r
: :
:
/
: :
q(r)dr = ) (r)dr = () (r) ) (o)) lim lim
'
tco:c:o )n:do:c:to| dc| c |cn|o
= )(r) )(o)
Como es continua, se tiene que . q ) (r) = q(r) = ) (r)
/
:
:
lim
Teorema 4. Supongamos que es una sucesin de funciones )

:
:=1
convergente uniformemente hacia una funcin en un conjunto . Si ) 1
cada una de las esta acotada en entonces existe una constante ) 1 `
:
tal que
y y [) (r)[ _ ` , \: \r 1 (1)
:
N
adems se tiene que es una funcin acotada en ) 1.
Si existe la cual satisfece la condicin , se dice que es ` (1) )
:
:=1
uniformemente acotada en . 1
JcnosIroci n : Dado por la hiptesis existe tal que para todo c 0 : _
tenemos
[) (r) )(r)[ < (\r 1)
:
c
o sea
[) (r)[ < [)(r)[ (\r 1) (2)
:
c
En particular se tiene
[)(r) ) (r)[ < = [) (r)[ < [) (r)[

c c
Sea una cota de en entonces ` ) 1
0
[)(r)[ < ` (\r 1)
0
c
o sea que es acotada en . De (2) tenemos ) 1
[) (r)[ < ` = ` 2 (\r 1)
: 0 0
c c c
Sea una cota de en , sea ` ) (i = 1, 2, 8, ., 1) 1
i i
` = : ri:o` , ` , ., ` , ` 8
1 2 1 0
c
Se sigue de aqu que es la cota uniforme de todas las funciones `
en ) (i = 1, 2, 8, .) 1.
i
Ejemplo: Sea una familia de funciones definidas en Para cada ) (r) = [0, 1). :,
:
1r
1r
:
) [0, 1)
:
es acotada en pues
[) (r)[ = = 1 r r r r < :
:
2 8 :1
1r
1r
:
Adems en como la funcin lmite no es acotada en , lim
:
:
) (r) = [0, 1), [0, 1)
1
1r
entonces la convergencia no es uniforme.
Teorema 5. Sean y dos sucesiones uniformemente ) q
: :

:=1 :=1
convergentes en un conjunto , entonces se tiene que la sucesin 1
) q 1.
: :
:=1
es tambin convergente uniformemente en
JcnosIroci n : Por hiptesis exi ten y tales que y ) q ) = ) q = q lim lim
: :
: :
uniformemente en . Entonces dado existe (independiente de tal que 1 0 r 1 ) c
\: _ tenemos
[) (r) )(r)[ < , [q (r) q(r)[ < (\r 1)
: :
2 2
c c
Entonces
[) (r) q (r) )(r) q(r)[ _ [) (r) )(r)[ [q (r) q(r)[ < =
: : : :
2 2
c c
c
Para el producto de sucesiones de funciones se tiene el siguiente resultado

Teorema . 6 Sean y dos sucesiones de funciones las ) q
: :

:=1 :=1
cuales convergen uniformemente a y respectivamente en un conjunto ) q
1 ) q . Si y son sucesiones de funciones acotadas entonces se
: :

:=1 :=1
tiene que
lim
:
: :
) q = ) q
uniformemente en . 1
JcnosIroci n : Por el teorema 4 las sucesiones son uniformemente acotadas as
es posible hallar una constante , para la cual se tenga que ` 0
[) (r)[ _ `, [)(r)[ _ `, [q (r)[ _ `, [q(r)[ _ ` \:, \r 1
: :
Como y uniformemente sobre , dado existe tal que si ) ), q q 1 0
: :
c
: _ tenemos
[) (r) )(r)[ < , [q (r) q(r)[ < (\r 1)
: :
c c
2` 2`
Entonces
|) (r)q (r) )(r)q(r)[ = [) (r)q (r) )(r)q (r) )(r)q (r) )(r)q(r)[
: : : : : :
_ [q (r)() (r) )(r))[ [)(r)(q (r) q(r))[
: : :
_ [q (r)[[) (r) )(r)[ [)(r)[[q (r) q(r)[[ _ ` ` =
: : :
c c
2` 2`
c
o sea uniformemente sobre . ) q ) q 1
: :
Definicin : Al conjunto se le llama r [r[ _ o R conjunto

compacto. En general si tal que es cerrado y acotado , 1 _ 1 R
entonces a se le llama 1 conjunto compacto.
Teorema 7. Supongamos que uniformemente sobre y que ) ) 1
:
) `. q
:
:=1
es una sucesin de funciones uniformemente acotada por Si
es una funcin continua definida en entonces se tiene r [r[ _ ` R
que uniformemente sobre . q) q) 1
:
JcnosIroci n : Como es uniformemente acotada , entonces es uniformemente q q
continua, o sea dado existe tal que c c 0
[j .[ < , [j[ _ ` , [.[ _ ` [q(j) q(.)[ < c c implica que
Para este ya escogido, existe independiente de tal que c ( r 1)
: _ [) (r) )(r)[ < r 1 implica para todo
:
c
luego
[q() (r)) q()(r))[ < \r 1 \ _
:
c y n
ya que y por el teorema 4 , as se tiene que [) (r)[ _ ` [)(r)[ _ `
:
q ) q ) 1
:
uniformemente en .
Lo cual se quera demostrar.
Para una sucesin numrica se ha estudiado la condicin de Cauchy, en el siguiente

resultado se presenta la validez de tal condicin para sucesiones de funciones.
Teorema 8. (Condicin de Cauchy) . Sea una sucesin de )
:
:=1
funciones definidas sobre un conjunto . Entonces la sucesin 1 )
:
:=1
converge uniformemente en si y slo si dado existe , 1 0 c
independiente de , tal que r 1
implica : [) (r) ) (r)[ < (1)
: :
c
para todo y para todo r 1, = 1, 2, 8, .
JcnosIroci n : ) Si uniformemente sobre , dado existe tal c c ) ) 1 0
:
que para todo tenemos: : _
[) (r) )(r)[ < \r 1
:
2
c
Como tenemos tambin : : _
[) (r) )(r)[ < \r 1
:
2
c
De las dos desigualdades anteriores se recibe
[) (r) ) (r)[ _ [) (r) )(r)[ [)(r)) (r)[ < =
: : : :
2 2
c c
c
u) Supongamos ahora vlida la condicin (1). La sucesin numrica ) (r)
:
:=1
satisface la condicin de Cauchy para cada fijo, entonces converge r )
:
:=1
puntualmente en sea la funcin lmite. De tomando lmite cuando se 1, ) (1)
tiene :
[) (r) )(r)[ < \r 1
:
c
esto es la convergencia es uniforme sobre ) ) 1.
:
Ejemplo: Sea en entonces se tiene ) (r) = [0, )

:
r
:r1
) (r) ) (r) = =
: /
r r
:r1 /r1 (:r1)(/r1)
r (/:)
2
para tenemos : / :
[) (r) ) (r)[ = _ = = (1 <
: /
r (/:) r (/:)
(:r1)(/r1) :/r /: : / :
/: 1 : 1
2 2
2
)
Dado si escogemos para todo y todo se tiene : c c 0 : ( < ), : _ / :
1 1
c
[) (r) ) (r)[ < _ <
: /
1 1
:
c
por lo tanto la sucesin satisface la condicin de Cauchy, o sea que la
r
:r1
:=1
sucesin converge uniformemente.
Para facilitar la resolucin de algunos ejercicios es necesario el conocimiento del
siguiente teorema el cual enunciamos sin demostracin.
Teorema 9. (Dini). Sea una sucesin de funciones a valor real )
:
:=1
continuas en un espacio compacto tal que `
) (r) _ ) (r) _ _ ) (r) _ (r `). )
1 2 : :
:=1
Si converge puntualmente
en a una funcin continua , entonces converge ` ) )
:
:=1
uniformemente a en ) `.
3.2. Ejercicios
1. Sea f Existir tal que |f
: :
(r) = (0 _ r _ 1) (r) 0[ < (: _ )
c::r 1
: 10
N
para todo ? r [0, 1[
2. Sea Probar que converge puntualmente en [0,1]. Si ) = (0 _ r _ 1). )
: :
:=1
r
1r
:
:
)(r) = ) (r) (0 _ r _ 1) , : _ , [) (r) )(r)[ < existe tal que si lim
:
: :
N
1
4
para todo ? r [0, 1[
3. Sea la funcin caracterstica del intervalo abierto (0,
:
1
:
) (0 _ r _ 1)
(o) [0, 1[ Probar que converge hacia 0 en
:
:=1
(/) : _ (r) 0[ < r [0, 1[ Existe tal que si entonces | para todo ? N
:
1
2
(c) (r)dr Calcular lim
:
1
:
(d) o Compare ( ) con (c).

( oco , c:to:cc c ||o:odo dc j ct dc)i:ido R
funcin caracte stica r

o :
=
1 i r
0 i r y )
_
4. Para sea : ) (r) = :r(1 r ) (0 _ r _ 1) N
:
2 :
(o) ) [0, 1[ Probar que converge a 0 en
:
:=1
(/) ) (r)dr Probar que converge a
0
1
:
:=1
1
2
(c) (o) (/). Compare con
5. Sea ) (r) = (0 _ r _ ).
:
r
:
c
r
:
(o) ) Pruebe que converge a 0 en [0, ).
:
:=1
(/) : _ , [) (r) [ < r [0, ) Existir tal que si entonces 0 , para todo N
:
1
10
?
(c) 0, : _ , [) (r) 0[ < , Si A existir tal que entonces se tenga para todo
:
1
10
r [0, ) ?
6. Si y son uniformemente convergentes en A, pruebe que ) q
: :
:=1 :=1

) q
: :
:=1
converge uniformemente en A.
7. Sea Probar que converge uniformemente a 0 q (r) = (0 _ r _ ). q
: :
:=1
1
:
:r
c
en [0, ).
8. ) ( , ) Sea una funcin a valor real uniformemente continua en y para cada
: N sea
) (r) = )(r ) ( < r < )
:
1
:
Probar que converge uniformemente en a ) ( , ) ).
:
:=1
9. Sea ) (r) = (0 _ r _ 1)
:
r
1r
:
:
(o) ) [0, [ Probar que converge uniformemente en
:
:=1
1
2
(/) ) [0, 1[ Converger uniformemente en ?
:
:=1
10. Sea ) (r) = (0 _ r < )

:
r
:
c
r
:
(o) ) [0, ) Converger uniformemente a 0 en ?
:
:=1

(/) ) [0, 00[ Converger uniformemente a 0 en ?
:
:=1
11. Sea una sucesin de funciones a valor real la cual converge en el intervalo )
:
:=1
cerrado y acotado . Para cada sea [o, /[ : N

1 (r) = ) (t)dt (o _ r _ /)
: :
r
o
Probar que F converge uniformemente en . [o, /[
:
:=1
12. Sea ) (r) = (0 _ r _ 1)

:
r
:
:
(o) ) Probar que converge uniformemente a 0 en [0,1]
:
:=1
(/) ) Converger a cero en [0,1] ?

/
: :=1
13. Sea una sucesin de funciones continuas en [0,1] la cual converge )
:
:=1
uniformemente.
(o) ` 0 [) (r)[ _ ` ( : : 0 _ r _ 1) Probar que existe tal que
:
N
(/) (o) Ser el resultado de la parte verdadero si la convergencia uniforme es
reemplazada por convergencia puntual ?
14. Examinemos para donde )(r) = ) (r) 0 _ r _ , lim
:
:
) (r) =
:
1
1r
:
probar que no converge uniformemente en ) [0, ).
:
:=1
15. Sea una funcin continua en un intervalo cerrado y acotado . Sea una q [o, /[ )
:
:=1
sucesin de funciones la cual converge uniformente en a . Probar que [o, /[ )

lim
:
/ /
:

o o
() q)(r)dr = ()q)(r)dr
16. Sea Use el resultado del ejercicio 4 para ) (r) = :r(1 r ) ( 0 _ r _ 1). ,
:
2 :
probar que no converge uniformemente en [0,1], sin embargo converge )
:
:=1
puntualmente.
17. Sea Demostrar que converge uniformemente ) (r) = (0 _ r _ 1). )
: :
:=1
c::r
:
a 0 en [0,1], pero que no converge puntualmente a 0 en [0,1]. )
/
: :=1
18. Sea una sucesin de funciones en [ tal que existe para cada ) o, /[ ) (r)
:
:=1
/
:
r (: [a,b] y N
(o) ) (r ) r [o, /[ converge para algn
: 0 0
:=1
(/) ) (r) [o, /[ converge uniformemente en

/
: :=1
Probar que converge uniformemente en . ) [o, /[
:
:=1
19. Sea ) (r) = r(1 ), r = ( , )

:
1
:
R
q (r) =
i r = 0 , , rc i::ocio:o|
/ i r (r = o 0)
:
_
1
:
1 /
: o
(o) ) q Demostrar que y convergen uniformemente en cualquier intervalo

: :
:=1 :=1

acotado.
(/) ) q Demostrar que no converge uniformente en ningn intervalo.
:
:=1
:
20. Sea una sucesin de funciones montonas que tienden a una funcin ) )
:
:=1
puntualmente en [ ] , demostrar que uniformemente en [ o, / ) ) o, /[.

:
21. Sea una sucesin convergente a demostrar que c c 0, (c ) c
: :
:=1
r
r
uniformemente en [ `.`[.
22. ) ) Sea una sucesin de funciones montonas que tiende a uniformemente en
:
:=1
[o, /[ ) , demostrar que es montona.

23. Sea una sucesin de funciones continuas en . Si uniformemente en ) 1 ) )
: :
:=1
1 ) (r ) = )(r) r r(:), r , r 1. , demostrar que donde lim

:
: : : :
24. Consideremos si Encontrar la funcin lmite ) = r , : = 1, 2, 8, . )
:
r
1:r
2
R
de la sucesin la funcin lmite de la sucesin ) )
:
:=1 :=1
/
:
(o) ) (r) r ) (0) = q(0). r Demostrar que existe para todo pero Para qu valores de
/ /
es ? ) (r) = q(r)
/
(/) ) ) En qu subintervalo de , uniformemente ? R
:

(c) ) q En qu subintervalo de , uniformemente ? R
:
/
25. Sea si Demostrar que ) (r) = ( )c r , : = 1, 2, 8, . ) 0

: :
1
:
: r
2 2
R
uniformemente en , que puntualmente en , pero que la convergencia de R R ) 0
:
/
)
:
/
:=1
no es uniforme en cualquier intervalo que contenga al origen.
26. Sea una sucesin de funciones reales continuas definidas en [0,1] y )
: :=1
supongamos que uniformemente en [0,1]. Demostrar si es no cierta la igualdad: ) )

:
lim
:
1 1
:

0 0
1
:
) (r)dr = )(r)dr.
27 ) = 0 _ r _ 1, : = 1, 2, 8, . ) . Consideremos si . Demostrar que
:
: :=1
1
1: r
2 2
converge puntualmente pero no uniformemente en [0,1]. Es posible integrar trmino a
trmino ?
28. Consideremos que si demostrar que (o) ) (r) = , 0 < r < 1, : = 1, 2, 8, .
:
1
:r1
)
: :=1
converge puntualmente pero no uniformemente en (0,1).

(/) q = 0 < r < 1, : = 1, 2, 8, .. q 0 Consideremos si Demostrar que
: :
r
:r1

uniformemente en (0,1).
4. CONVERGENCIA UNIFORME DE SERIES DE SUCESIONES
DE FUNCIONES
Justo como en la convergencia de series de nmeros, una serie de funciones es definida
por medio de la convergencia de una sucesin de sumas parciales, la convergencia de
series de funciones es tambin definida en trminos de una sucesin de sumas parciales
de funciones.
Definicin: Sea una familia de funciones a valor real definidas ) , ) , .
1 2
todas sobre un conjunto . Decimos que converge a la funcin en 1 ) )
_
:=1
:
1 ) 1 si las sucesiones de funciones converge a en , donde
:
:=1
= ) ) ) . ) = ), , ) (r) = )(r)
: 1 2 : : :
:=1 :=1

En este caso escribimos
_ _
(\r 1).
Por ejemplo, si para entonces converge en ) (r) = r 1 < r < 1, ) ) ( 1, 1)
: :
:
:=1
_
donde As tenemos )(r) = ( 1 < r < 1).
r
1r
_ _
:=1 :=1

:
:
) (r) = r = = )(r) ( 1 < r < 1)
r
1r
En seguida definimos convergencia uniforme de serie de funciones.
Definicin : Si es una sucesin de funciones definida sobre un )
:
:=1
conjunto decimos que converge uniformemente a sobre si 1, ) ) 1
_
:=1
:
la sucesin de funciones de sumas parciales converge
:
:=1
uniformemente hacia donde En este caso ) = ) ) ) .
: 1 2 :
escribimos uniformemente uniformemente
_ _
:=1 :=1

: :
) = ) ) (r) = )(r)
(r 1).
Teorema 1. Sea una sucesin de funciones a valor real definidas )
:
:=1
sobre un conjunto . Si converge uniformemente hacia en y si 1 ) ) 1
_
:=1
:
cada una de las funciones es continua en el punto , entonces es ) o 1 )
:
tambin confinua en . o
JcnosIroci n : La sucesin de funciones converge uniformemente hacia
:
:=1
) 1 = ) ) ) . ) o. en , donde Ahora cada una de las es continua en
: 1 2 : /
Entonces como la suma de funciones continuas es continua se sigue que es continua en
:
o ) o, . As por el teorema 2 de 3 se sigue que es continua en lo cual es lo que
desebamos probar.
Corolario: Si es una sucesin de funciones a valor real continuas )

:
:=1
en , y si converge uniformemente hacia en , entonces es 1 ) ) 1 )
_
:=1
:
continua en 1.
Ejemplo: La serie converge en [0,1] hacia la funcin donde y
_
:=0
:
r(1 r) ) )(0) = 0
)(1) = 1 < _ 0 < r < 1, (0 x 1). Pero si entonces
_ _
:=0 :=0

: :
r(1 r) = r (1 r) = r[ [ = 1.
1
1(1r)
Ahora, si entonces es continua en [0,1] y ) (r) = r(1 r) (0 _ r _ 1), )
: :
:
_ _
:=1 :=1

: :
) = ). ) ) Puesto que no es continua en [0,1] el corolario implica que no
converge uniformemente en [0,1].
Aqu es famoso el criterio para la convergencia uniforme llamado criterio de 1
Weierstrass
Teorema 2. (1): Sea una serie de funciones a valor real sobre un
_
:=1
:
)
conjunto . Si existen nmeros positivos con 1 ` , ` , . `
1 2 /
/=1
_
convergente tal que Esto es, existe tal
_ _
:=1

: / 1
/=1
) ` (\r 1) ( N
que para cada tenemos para todo entonces / _ [) (r)[ _ ` r 1)
1 / /
_
/=1
/
) 1. converge uniformemente en
JcnosIroci n : = ) , t = ` . : : _ Sean Entonces, para
: / : / 1
/=1 /=1

_ _
[ (r) (r)[ = [ ) (r)[ _ [) (r)[ _ ` = t t (1)
: : / / / : :
/=:1 /=:1 /=:1

_ _ _
para todo . Puesto que es convergente, es una sucesin convergente r 1 ` t
_
/=1
/ :
:=1
y por lo tanto es una sucesin de Cauchy. As dado , existe tal que c 0 _
1
. [t t [ < (:, : _ )
: :
c
Pero entonces (1) implica
. [ (r) (r)[ < (:, : _ : r 1)
: :
c
Se sigue que es una sucesin de Cauchy y por lo tanto converge (r)
:
:=1
uniformemente (vese el teorema 8 del 3). Esto indica que converge
_
:=1
:
)
uniformemente en y la demostracin es ahora completa. 1
Ejemplo: Para todo la serie y es convergente. Por lo r

_ _ _
:=1 :=1 :=1

c::r 1 1
: : :
2 2 2
tanto por el teorema (M) converge uniformemente en Del
_
:=1
c::r
:
2
< r < .
corolario se sigue que la suma de es una funcin continua en
_
:=1
c::r
:
2
( , ).
Enfatizamos que en el criterio de Weierstrass los nmeros deben ser ` `
/
independientes de El criterio nos facilita probar un importante resultado en series r. `
de potencias.
Teorema 3 . Sea una sucesin de nmeros reales. Entonces o ,
:
:=1
(o) np [o [ 0, o r Si la serie converge absolutamente para lim
:
: :
:=0
:
_ _
:
=
todo . r R
(/) np [o [ = 1 0, o r Si entonces converge absolutamente lim
:
: :
:=0
:
_ _
:
para todo tal que y diverge para r [r[ < [r[
1 1
1 1
(c) np [o [ = , o r Si entonces converge absolutamente para lim
:
: :
:=0
:
_ _
:
r = 0 r. y diverge para cualquier otro valor de
D cnosIroci n : Usando el teorema 13 del 2 tenemos
_ _
: :
[o r [ = [r[ [o [ .
: :
:
As si entonces para cualquier lim
:
:
np [o [ = 0 r,
_
:
lim
:
: :
:
:=0
:
np [o r [ = [r[ = 0 < 1 o r
_ _
:
0 luego tenemos la convergencia de sugn
( ). Ahora si entonces o np [o [ = 1 0 lim
:
:
_
:
lim
:
:
:
np [o r [ = [r[ 1 < 1 = [r[ < ,
_
:
1
1
y tenemos la convergencia segn se afirma
en . La parte se obtiene en forma anloga. (/) (c)
Corolario: Si la serie de potencias converge para , entonces

_
:=0
: 0
:
o r r = r
es absolutamente convergente para todo tal que . r [r[ < [r [
0
JcnosIroci n : Por los criterios de convergencia dominada se tiene que
[o r [ < [o r [, o r
: : :
: : :
0 0
:=0
luego la convergencia absoluta de implica la convergencia

_
absoluta de (vea teorema 9 del 2).
_
:=0
:
:
o r
Teorema 4. Si la serie de potencias converge para donde

_
:=0
: 0
:
o r r = r (
r = 0) o r [ r , r [
0 : 1 1
:=0
:
entonces la serie converge uniformemente en
_
donde es cualquier nmero tal que r 0 < r < [r [.
1 1 0
JcnosIroci n : Por el corolario anterior, si la serie converge para
_
:=0
:
:
o r
r = r , o r [r[ < [r [,
0 : 0
:=0
:
entonces converge absolutamente para cualquier x tal que
_
en particular, si entonces es absolutamente convergente. Esto 0 < r < [r [ o r
1 0 :
:=0
1
:
_
es, | | Pero | | Por el criterio de
_ _ _
:=0 :=0 :=0

: : : 1
: : :
1
o r < . o r o r ([r[ _ r ). `
Weierstrass (con la serie converge uniformemente para ` = [o [r ), o r
: : :
: :
1
:=0
_
[r[ _ r ,
1
lo cual es lo que desebamos mostrar.
Ejemplo: La serie converge ( a para todo real Estas series no convergen

_
/=0
r
r
/!
/
e ) r.
uniformemente en (Verificarlo!). Pero el teorema 4, sin embargo, nos afirma ( , )
que para , la serie converge uniformemente en 1 0 [ 1, 1[.
_
/=0
r
/!
/
Torema 5. (Dini) Sea una serie de funciones contnuas a valor real
_
:=
:
1
)
positivo en el espacio, Si converge en a una [ `, `[ = 1. ) 1
_
:=0
:
funcin continua entonces converge uniformemente en ), ) 1.
_
:=0
:
JcnosIroci n : Para sea Puesto que cada : = ) ) ) . N
: 1 2 :
) (r) _ 0 r 1, (r) _ (r) _ _ (r) _ (
/ 1 2 :
para todo tenemos para cada
r 1) (r) ) 1 . Puesto que es y dado que es continua en , que es
: /
acotado
compacto, entonces es acotada.. Entonces se sigue que existe; as tenemos ) (r)
/ :
:
lim
que . Se puede ahora aplicar el teorema M para concluir que lim
:
:
(r) = )(r) (r 1)
la sucesin converge uniformemente hacia en K. Por lo tanto converge ) )
: :
:=1
:=
_
1
uniformemente hacia en Esto completa la demostracin. ) 1.
4.2. Integracin y diferenciacin de series de funciones

Denotaremos con [a,b] : . 1 R = ) [o, /[ )(r)dr
o
/
existe
Teorema 5. Sea una serie de funciones de [a,b] la cual converge
_
:=
:
1
) 1
uniformemente hacia en Entonces y ) [o, /[. ) [o, /[ 1
_ _ _
o o o o
/ / / /
/=1 /=1 /=1

/ / /
)(r)dr = ) (r)dr, = , ) (r)dr = ) (r)dr
JcnosIroci n : Sea Entonces y = ) ) ) . [o, /[
: 1 2 : : :
:=1
1
converge uniformemente hacia en Por el teorema 1 del 3 se tiene ) [o, /[.
lim
:
o o
/ /
:

(r)dr = )(r)dr, ) [o, /[ entonces 1
(1)
pero por la linealidad de la integral

o o o
/ / /
: 1 2 /
:
/=1
:
(r)dr = [) (r) ) (r) ) (r)[dr = ) (r)dr
_
Por lo tanto
lim lim
: r
o o o
/ / /
: / /
/=1 /=1
:

(r)dr = ) (r)dr = ) (r)dr (2)
_ _
El teorema se sigue de (1) y (2).
Este teorema dice que una serie uniformemente convergente puede ser integrada trmino
por trmino. Esto es, si
) ) ) (8)
1 2 :
converge uniformemente en , entonces la integral sobre en (3) es igual a [o, /[ [o, /[

o o o
/ / /
1 2 :
) (r)dr ) (r)dr ) (r)dr
Ejemplo. Tenemos
1 r r r =
2 8
1
1r
convergiendo en Si , entonces la convergencia es uniforme en 1 < r < 1. [j[ < 1 [0, j[
( [j, 0[ j < 0) j en si . Por el teorema anterior podemos integrar de 0 a trmino a trmino
para obtener

0 0 0 0
j j j j
2
1dr rdr r dr = dr
1
1r
As
j = |oq(1 j) ([j[ < 1).
j j
2 8
2 8
Teorema 6. Si son funciones cada uno de las cuales tiene ) , ) , , ) ,

1 2 :
derivada en cada punto de si es continua en para [o, /[, ) [o, /[
/
/
/ = 1, 2, 8, . ) ) [o, /[ ) si converge hacia en y si converge
_ _
/=1 /=1

/
/
/
uniformemente, entonces
) (r) = ) (r) (o _ r _ /)
/ /
/=1
/
_
JcnosIroci n : Sea Entonces converge hacia = ) ) ) .
: 1 2 : :
:=1
) [o, /[ = ) ) ) , en . Puesto que la sucesin converge
/ / / / /
: 1 2 : : :=1
uniformemente hacia en donde As lo q [o, /[ q = ) (r) . ) (r) = q(r) (o _ r _ /)
_
/=1
/ /
/
cual deseabamos mostrar. (vea teorema 3 del 3)
As, bajo las condiciones del teorema anterior, la derivada de

) ) )
1 2 :
es
) ) )
/ / /
1 2 :
Ejemplo: Sabemos que
1 r r r r = (1)
2 8 :
1
1r
es una serie convergente para . Por el teorema 6 si podemos derivar [r[ < 1 0 < r < 1 ,
trmino a trmino para obtener
1 2r 8r :r = ( o < r < o) (2)
2 :1
1
(1r)
2
probemos que la serie en (2) converge uniformemente en [ . Pero por el criterio de o, o[
la razn podemos mostrar que la serie (2) converge para Por lo tanto por 1 < r < 1.
el teorema 4 la serie (2) converge uniformemente en as que nuestra derivada [ o, o[
trmino a trmino de (1) es justificada. Note que, puesto que ser cualquier nmero o
entre 0 y 1, se sigue que
para todo tal que 1 2r 8r :r = r [r[ < 1
2 :1
1
(1r)
2
este ltimo ejemplo ilustra el siguiente teorema general en series de potencias.
Teorema 7. Si converge en para algn y si
_
:=0
:
:
o r ( , ) 0,
)(r) = o r ( < r < ) (1)
_
:=0
:
:
entonces existe para y ) (r) < r <
/
) (r) = :o r ( < r < ) (2)
/ :1
:=1
:
_
JcnosIroci n : Por el criterio de la raz la serie (1) diverge para donde [r[
1
1
1 = np [o [ ( r 1 = ) lim
:
:
_
:
ser divergente para todo real si . Por lo tanto, si
1 0, _ .
1
1
Por el criterio de la raz aplicado a

_
:=1
:
:1
:o r (8)
demuestra que (3) ser convergente para si , y para todo si . Por [r[ < 1 0 r 1 = 0
1
1
lo tanto (3) converge para Por el teorema 4, (3) converger uniformemente en [r[ < .
[T, T[ T donde es cualquier nmero positivo menor que . As la derivacin trmino
por trmino es ahora justificada para Obteniendose que [r[ _ T.
4 ) (r) = :o r ( T _ r _ T). ( )
/ :1
:=1
:
_
La conclusin de (2) se sigue por tanto de (4) siempre y cuando sea menor que T .
Aplicando el teorema 7 a se obtiene )

/
) (r) = :(: 1)o r ( < r < ).
// :2
:=2
:
_
Y procediendo en esta forma podemos aplicar recurrentemente el teorema 7 para obtener
) (r) = :(: 1)(: 2)(: / 1)o r
(/) :/
:=/
:
_
Si calculamos en particular cuando de est ltima expresin se obtiene r = 0
) (0) = /!o
(/)
/
.
As obtenemos el siguiente corolario.
Corolario: Si se tiene, para algn )(r) = o r ( < r < ) 0
_
:=0
:
:
entonces para cada existe para y / ) (r) < r < N
(/)
) (r) = :(: 1)(: 2)(: / 1)o r
(/) :/
:=/
:
_
Adems
o = (/ )
/
) (0)
/!
(/)
N
Esto es, si entonces es conocida como la )(r) = o r ( < r < ), o r
_ _
:=0 :=0

: :
: :
serie de para Maclaurin ).
Dadas dos sucesiones de funciones y definidas en un conjunto , sea ) q 1
: :

:=1 :=1
s
: / 1 2 :
/=1
:
(r) = ) (r) = ) (r) ) (r) ) (r)
_
entonces
_ _
/=:1 /=:1
: :
/ / / /1 /
) (r) (r) = (r) (r)q (r) g
= (r)q (r) (r)q (r)
_ _
/=:1 /=:1
: :
/ / /1 /
= (r)q (r) (r)q (r)
_ _
/=:1 /=:
: :1
/ / / /1
= (r)q (r) q (r) (r)q (r) (r)q (r) (1)
_
/=:1
:
/ / /1 : :1 : :1
Teorema 8 (Criterio de Dirichlet). Si es uniformemente acotada
:
:=1
en y es una sucesin decreciente que tiende a cero 1 q (r)
:
:=1
uniformemente en , entonces la serie 1
_
:=1
: :
) (r)q (r)
converge uniformemente en 1.
JcnosIroci n : Sea la cota uniforme de en ` = ) (r) 1,
: /

:=1
/=1
:
/=1
_
como uniformemente en , dado existe tal que para todo q 0 1 0, : _
: :
------- c N
tenemos
| para todo q (r) [ < r 1.
:
c
4`
De la frmula (1) obtenida arriba se tiene que
[ ) (r) (r)[ _ [ (r)q (r) q (r)[ [ (r)q (r)[
_ _
/=:1 /=:1
: :
/ / / / /1 : :1
g
[ (r)q (r) [
: :1
= [ (r)[q (r) q (r)[ [ (r)[[q (r)[ [ (r)[[q (r)[
_
/=:1
:
/ / /1 : :1 : :1
_ ` q (r) q (r) `[q (r)[ `[q (r)[
_
/=:1
:
/ /1 :1 :1
= `[q (r) q (r)[ `[q (r)[ `[q (r)[
:1 :1 :1 :1
_ `[q (r)[ `[q (r)[ `[q (r)[ `[q (r)[
:1 :1 :1 :1
= 2`[[q (r)[ [q (r)[[ < 2`( ) = 2` =
:1 :1
4`
c c c
4` 4`
2
c
Por el criterio de Cauchy se sigue el resultado.

Teorema 9. (Criterio de Abel).Sea una sucesin decreciente de q (r)
:
:=1
funciones a valor real definidas en un conjunto . Si es 1 q (r)
:
:=1
uniformemente acotada y si converge uniformemente en
_
:=1
:
) (r) 1
entonces la serie
_
:=1
: :
) (r)q (r)
converge uniformemente en 1.
JcnosIroci n : Sea una cota uniforme de como converge ` q , ) (r)
: :
:=1
:=1
_
uniformemente entonces
s uniformemente en
: /
/=1
:
(r) = ) (r) (r) 1,
_

o sea dado existe N tal que para todo tenemos c N 0, : _
|s
:
(r) (r)[ < (2)
c
4`
De (1) tenemos
| g | | |
_ _
/=:1 /=:1
: :
/ / / / /1 : :1 : :1
) (r) (r) = (r)q (r) q (r) (r)q (r) (r)q (r)
= [ [ (r) (r)[q (r) q (r) (r) q (r) q (r)
_ _
/=:1 /=:1
: :
/ / /1 / /1
[ (r) (r)[q (r) [ (r) (r)[q (r) (r)[q (r) q (r)[[
: :1 : :1 :1 :1
_ [ (r) (r)[[q (r) q (r)[ [ (r) (r)[[q (r)[
_
/=:1
:
/ / /1 : :1
[ (r) (r)[[q (r)[ [(r) q (r) q (r) q (r) q (r) [
: :1 / /1 :1 :1
/=:1
:

_
_ q (r) q (r) [q (r)[ [q (r)[
c c
4` 4`
_
/=:1
:
/ /1 :1 :1
4`
c
[(r)q (r) q (r) q (r) q (r)[
:1 :1 :1 :1
= (q (r) q (r)) [q (r)[ [q (r)[
c c c
4` 4` 4`
:1 :1 :1 :1
_ 2` ` ` = = .
c c c
4` 4` 4`
c c
2 2
c
Por el criterio de Cauchy se sigue la afirmacin deseada.
Ejemplol. Supongamos que si q (r) _ q (r) \r 1, \: = 1, 2, 8, . q 0

:1 : :
cuando uniformemente en demostremos que converge : 1, ( 1) q (r)

_
:=1
:1
:
uniformemente en 1.
En efecto tomemos entonces
si
0
) (r) = ( 1) , =
1 :
i :
: :
:1
_
es impar
es par
aplicando el criterio de Dirichlet la serie converge uniformemente en 1.
Ejemplo 2. Sea una serie convergente, entonces tenemos que la serie
_
:=0
:
o
_
:=0
:
:
o r = )(r) [0, 1[. converge uniformemente en
Esto es debido a que si tomamos entonces as estamos en la r [0, 1[ r _ r _ 1
:1 :
hiptesis del critero de Abel y nos garantiza que converge uniformemente en
_
:=0
:
:
o r
[0,1]. Ntese que es continua en [0,1], luego )(r) = o r
_
:=0
:
:
)(0) = o = o r
_ _
:=0 :=0

: :
r1
:
lim
.
4.3. Ejercicios
1. Demostrar que cada una de las siguientes series convergen uniformemente en el
intervalo indicado:
( ) o (0 _ r < )(/) c r (0 _ r _ 10)
_ _
:=1 :=1

:r :
1
: r
2 2
( ) para todo c r
_
:=1
c::r
:
8
2
R
2. ( , ) Ser la serie uniformemente convergente en ?
_
:=0
r
(1r )
2
2 :
3. Si es convergente, pruebe que converge uniformemente para
_ _
:=0 :=0

:
:
:
[o [ o r
0 x 1. _ _
4. Si la serie converge y pruebe que es
_ _
:=0 :=0

: :
:
o )(r) = o r ( 1 < r < 1) , )
continua en ( , . 1 1)
5. Demostrar que la serie es uniformemente convergente en para algn
_
:=1
:r
: r
2
8 8
[0, [
0 ( ) = . Pruebe que lim
r1
:=1 :=1

_ _
:r :
: r : 1
2
8 8 8
6. Sea una sucesin de funciones en tal que ) [o (r)[ _ ` (: : r )
: :
:=1
R N R
donde Sea una sucesin decreciente de nmeros o = ) ) ) . /
: 1 2 : :
:=1
reales positivos la cual es convergente hacia cero. Pruebe que converge

_
:=1
: :
/ )
uniformemente en . R
7. Usando el ejercicio 6 demuestre que converge uniformemente en para
_
:=1
2
c::r
:
[ , [ c

algn c 0.
8. [o [ < , ( o r ) = Si probar que
_ _ _
:=0 :=0 :=0

: :
1
:
0
o
:1
:
9. Usando el teorema 7 deduzca la igualdad
cos x = 1 ( < r < )
r r
2! 4!
2 4
Anlogamente deduzca la igualdad

sen x = r ( < r < )
r r
8! !
8
10. Halle la suma de la serie )(r)

1 ( < r < )
r r
2! 4! :!
r
2 2:
4

Demuestre adems que ) (r) = 2r)(r).
/
11. Demostrar que la serie converge absolutamente en pero no
_
:=0
:
r (1 r) [0, 1[
uniformemente, mientras que la serie converge uniformemente en
_
:=0
: :
( 1) r (1 r)
[0, 1[.
12. Demostrar que converge uniformemente en cualquier intervalo
_
:=1
:
( 1)
r :
:
2
2
acotado, pero no converge absolutamente para ningn valor de r.
13. Sea ) (r) = , : = 1, 2, 8, .
:
c::r
:
(i) ) (r) r Demostrar que la serie converge para todo .
_
:=1
:
(ii) ) (r) Demostrar que la serie converge uniformemente en cualquier intervalo
_
:=1
:
cerrado que no contenga a los puntos 0, 2 , 4 , .
(iii) ) (r) Demostrar que la serie no converge uniformente en (0, ].
_
:=1
:

(i) ) (r) Demostrar que la serie nunca converge.
_
:=1
/
:
14. Sea demostrar que . ) (r) = ) (r)dr =
: :
:
c
1
:
c::r
lim

0
15. Sea una sucesin de funciones integrables en , si converge ) [o, /[ )

:
:=1 :
uniformemente hacia , demostrar que uniformemente en ) ) (t)dt )(t)dt

o o
r r
:
r [o, /[.
16. Demostrar que converge uniformemente en donde (i) ( 1) r [ :, :[,
_
:=0
: :
0 < : < 1.
(ii) |oq(1 r) = ( 1) [r[ < 1. Demostrar que si
_
:=1
:1
r
:
:
17. ) (r) = , ) (r) [0, 1[ Sea demostrar que converge puntualmente en pero
:
:=1
1
1: r
2 2
:
no uniformemente Es posible integrar trmino por trmino esta sucesin ?
18. Demostrar que converge uniformemente en todo intervalo finito de si
_
:=1
r
: (1:r )
c 2
R
c R
1
2
La convergencia es uniforme en ?
19. Demostrar que la serie converge uniformemente en
_
:=1
(1)
:
r
:
( ) c:(1 ( ))
:
_
R
20 Demostrar que la serie converge puntualmente pero no
_
:=0
( )
r r
2:1 2:2
2:1 :1
uniformemente en [0, 1[.

21. Demostrar que y son uniformemente convergentes en
_ _
:=1 :=1

: :
o c::r o co :r R
si es convergente.
_
:=1
:
[o [
22. Sea una sucesin decreciente de trminos positivos. Demostrar que la serie o
:
:=1
_
:=1
: :
:
o c::r :o = 0 converge uniformemente en si y recprocamente. R lim
23. Dada la serie convergente Demostrar que la serie de
_ _
:=1 :=1

: :
o . o : Dirichlet
converge uniformemente en el semi-intervalo infinito Utilizando este 0 _ < .
resultado probar que lim
0
:=1 :=1

: :
_ _
o : = o .
24.Demostrar que la serie (s) converge uniformemente en todo semi-intervalo = :
_
:=1
infinito siendo Demostrar que la igualdad (s) 1 / _ < , / 0. =

/
:=1
_
|oq :
:
es vlida para cada y obtener una frmula parecida para la derivada de orden 1 /
(/)
().
25. Considere )(r) =
_
:=1
1
1: r
2
(i) r Para que valores de sta serie converge absolutamente?
(ii) En qu intervalo sta serie converge uniformemente ?
(iii) En qu intervalo falla la convergencia uniforme ?
(i) ) Es continua donde quiera que la serie converge ?
() ) Es acotada ?
26. Demostrar que las serie converge uniformemente y absolutamente para
_
:=1
r
1r
:
:
0 _ [r[ _ C, C 0 < C < 1. 1 donde es cualquier nmero tal que emostrar que la
convergencia no es uniforme en 0 _ r < 1.
27. Demostrar que la serie converge absolutamente y uniformemente en
_
:=1
1
: r
2 2
cualquier intervalo cerrado el cual no contiene nmeros enteros.
28. Sea ) (r) = c: _ r _
0 r <
0 < r
:
1
:1
2
r :1 :
1 1
1
:
_
_

(i) ) Probar que converge a una funcin continua, pero no uniformemente.
:
:=1
(ii) ) (r) Considere la serie y demuestre que la serie converge absolutamente para
_
:=1
:
cada valor de , pero no uniformemente r
Fin del cuarto bloque
5 SERIES DE POTENCIAS .
Si y son nmeros reales, a la serie se le r, r o (: = 0, 1, 2, 8, .) o (rr )
0 : : 0
:=0
:
_
llama de Las constantes son llamadas serie de potencias (rr ). o , o , o , ., o , .
0 0 1 2 :
coeficientes.
El conjunto
r o (rr ) R
_
:=0
: 0
:
es convergente
como lo hemos establecido en el teorema 4 del 4, es un intervalo llamado intervalo
de convergencia .
Por ejemplo las series y tienen a y como
_ _
:=0 :=0

r r
(:!) 2
: :
2 :1
( , ) ( 2, 2)
intervalos de convergencia respectivamente.
En los intervalos de la forma siendo son R (r /, r /) = (r ) , / 0,
0 0 0
llamados de entornos r .
0
Supongamos dada una funcin real definida en algn entorno de y ) r = 1 ,
0 1
R
supongamos que admite derivadas de cualquier orden en este entorno. Podemos )
entonces con seguridad formar la serie de potencias
_
:=0
0
:
) (r )
:!
(:)
o
(rr )
Nos preguntamos converge esta serie para algn adems de ? . Si es as su r r = r
0
suma es igual a ? En general la respuesta a ambas preguntas es . Una )(r) no
condicin necesaria y suficiente para contestar afirmativamente ambas preguntas la
encontramos en la frmula de Taylor.
5.1. Frmula de Taylor con resto
El teorema de valor medio ha sido interpretado geomtrica-
mente, pero existe otro aspecto del teorema que tambin
|
nos
ayuda a comprender su significado. Si es continua en
|
)
y tiene derivada en cada punto de dado
|
[o, /[ (o, /),
____ _____________ podemos escribir
|
r (o, /[
donde o r r )(r) = )(o) ) (r )(r o) o < r < r
0 0 0
/
Esta igualdad dice que la cantidad mide el r (o, r) to| nc
0
) (r )(r o)
/
0
) (r ) =
/
0
)(r))(o)
ro
cometido cuando es aproximado a error )(r) )(o).
Desgraciadamente, el no nos teorema del valor medio
indica como puede calcularse : dice simplemente que r o < r < r.
0 0
Si no est muy alejado de , ser aproximadamente Esto es, r o ) (o). ) (r )
)(r))(o)
ro
/ /
0
ser aproximadamente igual a y por consiguiente la igualdad ) (o)
/
)(r) = )(o) ) (o)(r o)
/
debe ser aproximadamente correcta cuando es pequea. Esto significa que es r o )
aproximadamente una funcin lineal en las proximidades de . o
El teorema de Taylor nos dice, con generalidad, que puede aproximarse mediante un )
polinomio de grado si existe en La importancia de este teorema radica : 1 ) (o, /).
(:)
en el hecho de que nos proporciona una expresin til del error cometido por esa
aproximacin.
Teorema 1. (Taylor) Sea una funcin que tiene derivada -sima finita ) :
) (o, /) )
(:) (:1)
en todo intervalo y supongamos que es continua en el
intervalo cerrado . Consideremos un punto Entonces para [o, /[ r [o, /[.
0
todo de , existe tal que r [o, /[ r = r , r (r, r )
0 1 0
)(r) = )(r ) (r r ) (r r )
0 0 0
/=1
:1
) (r ) ) (r )
/! :!
/ :
_
(/) (:)
0 1
La demostracin de este teorema se deduce de otro ms general que daremos a
continuacin y el cual es una generalizacin del teorema del valor medio, y el cual
recordaremos a continuacin.
Teorema 2. (del valor medio). Sean y funciones continuas en el ) q
intervalo cerrado con Si ambas funciones y son [o, /[ q(o) = q(/). ) q
funciones derivables en cualquier punto del intervalo abierto y (o, /), ) (t)
/
q (t) t (o, /),
/
no son ambas iguales a cero para cada entonces existe
c (o, /) tal que
) (c) )(/))(o)
q (c) q(/)q(o)
/
/
=
Teorema 3. Sean y dos funciones que poseen derivadas -simas ) q : )
(:)
y en el intervalo y las derivadas de orden son continuas en q (o, /) : 1
(:)
el intervalo cerrado . Entonces, para todo de , existe [o, /[ r [o, /[ r = r , r
0 1
interior al intervalo que une con tal que r r
0
[)(r) (r r ) [q (r ) = ) (r )[q(r) (r r ) [
_ _
/=0 /=0
:1 :1
) (r ) q (r )
/! /!
0 1 1 0
/ (:) (:) /
(/) (/)
0 0
Nota. En el caso especial en el cual tenemos q (r) = (r r ) ,
(:) :
0
para 0 y q (r ) = 0 _ / _ : 1 q (r) = :!.
(/) (:)
0
Est teorema 3 se reduce al teorema 1, ya que c
[)(r) (r r ) [:! = ) (r )[ (r r ) 0 [
_ _
/=0 /=0
:1 :1
) (r )
/!
0 1 0
/ (:) :
(/)
0
JcnosIroci n : Para simplificar, supongamos que y que r < / r r .
0 0
Mantenemos fijo y definamos dos nuevas funciones y de la siguiente forma: r 1 G
1(r) = )(t) (r t)
_
/=0
:1
) (t)
/!
/
(/)
G(r) = q(t) (r t)
_
/=0
:1
q (t)
/
/
(/)
1
para cada en Estas funciones y son continuas en el intervalo cerrado t [r , r[. 1 G [r , r[
0 0
y tiene derivadas finitas en el intervalo abierto Por lo tanto, podemos aplicar el (o, r).
teorema del valor medio y escribir
1 (r )[G(r) G(r )[ = G (r )[1(r) 1(r )[ r (r , r)
/ /
1 0 1 0 1 0
donde
Esta igualdad se transforma en la siguiente:
1 (r )[q(r) G(r )[ = G (r )[)(r) 1(r )[ (1)
/ /
1 0 1 0
ya que y Si ahora calculamos la derivada de tenemos G(r) = q(r) 1(r) = )(r). 1(t)
1 (t) = ) (t) [ (r t) (r t) [
/ / / /1
/=1
:1
) (t) ) (t)
/! (/1)!
_
(/1) (/)
= ) (t) [ (r t) (r t) [
/ /1 /
/=1
:1
) (t) ) (t)
(/1)! /!
_
(/) (/1)
= ) (t) (r t) (r t)
/ 0 :1
) (t) ) (t)
0! (:1)!
/ (:)
resultando que
1 (t) = ) (t)
/ (:)
(rt)
(:1)!
:1
Anlogamente, obtenemos
G (t) = q (t)
/ (:)
(rt)
(:1)!
:1
Si suponemos y sustituimos en (1), deducimos t = r
1

(rr ) q (r )
(:1)! /!
1 0
:1 (/)
_
) (r )[q(r) q(r ) (r r ) [ =
(:) /
1 0 0
/=1
:1
= q (r )[)(r) )(r ) (r r ) [
(rr ) ) (r )
(:1)! /!
1 0
:1 (/)
_
(:) /
1 0 0
/=1
:1
De donde se recibe
) (r )[q(r) (r r ) [ = q (r )[)(r) (r r ) [
(:) / (:) /
1 0 1 0
/= /=
:1 :1
_ _
0 0
q (r ) ) (r )
/! /!
(/) (/)
0 0
Definicin. Sea una funcin real definida en un intervalo de Si ) 1 = 1 . R

1
) 1 admite derivadas de cualquier orden en cada punto de , escribimos
) C 1. (ic, ) C )

en es de clase .
Si en algn entorno de un punto la serie de potencias es ) C r , (r r )
:
0 0
:=0
) (r )
:!
_
(:)
0
llamada engendrada por en un entorno de Para indicar que serie de Taylor ) r . )
0
genera la serie, escribimos
)(r) ~ (r r )
_
:=0
) (r )
:!
0
:
(:)
0
.
La pregunta que aqu nos hacemos es : Cundo podemos reemplazar el smbolo por ~
el smbolo = ?. La frmula de Taylor establece que en un intervalo cerrado ) C [o, /[
y si entonces para todo y para todo , tenemos r (o, /) r [o, /[ :

0
)(r) = (r r ) (r r )
_
/=0
:1
) (r ) ) (r )
/! :!
0 0
/ :
(/) (:)
0 1
donde es algn punto comprendido entre y . El punto depende de y . r r r r r, r :
1 0 1 0
Luego una condicin necesaria y suficiente para que la serie de Taylor converja hacia )
es que
lim
:
) (r )
:!
0
:
(:)
1
(r r ) = 0
En la prctica puede ser muy difcil manejar este lmite a causa de la posicin
desconocida de En algunos casos, no obstante, puede obtenerse una cota inferior r .
1
convergente para y puede demostrarse que este lmite es .Ya que ) (r ) 0
(:)
1
(rr ) (rr )
:! :!
0 0
: :
0, : cuando esto se tiene, pues la serie es convergente (
_
:=0
para todo ya que r , R

| |
(rr ) [rr [
(:1)! (rr ) :1
:! 0 0
:1
0
:
= 0 < 1. :
-------
Como es convergente, entonces . De donde tenemos la
_

:=0
:
(rr ) (rr )
:! :!
0 0
: :
lim = 0
igualdad , siempre y cuando la sucesin de lim
:
) (r )
:!
0
:
(:)
1
(r r ) = 0
funciones sea en . As pues podemos ) [o, /[
(:)
:=1
uniformemente acotada
establecer la siguiente condicin suficiente para representar una funcin mediante una
serie de Taylor.
Teorema 4. Supongamos que en y adems que ) C [o, /[ r [o, /[.
0
Consideremos adems que existen un entorno y una constante (r ) `
0
( r ) [) (r)[ _ ` La cual podra depender de tal que para todo
0
(:)
r (r ) [o, /[ : = 1, 2, 8, .
0
y para todo En estas condiciones para cada
r (r ) [o, /[
0
tenemos
)(r) = (r r ) , r _ r < /.
_
/=0
) (r )
/!
0 0
/
(/)
0
si
Teorema 5. (De Bernstein) Supongamos que en un intervalo ) C
abierto de la forma siendo y consideremos que y todas (o , /), 0 ) c c

sus derivadas son positivas en el intervalo semi-abierto . Entonces, [o, /)
para todo en tenemos r [o, /),
0
)(r) = (r r ) , r _ r < /
_
/=0
) (r )
/!
0 0
/
(/)
0
si .
JcnosIroci n : Consideremos y supongamos que . r [o, /) r [o, /)
0
Entonces tiene los trminos positivos y a causa de que
_
/=0
) (r )
/!
0
/
(/)
0
(r r )
)(r) = (r r ) (r r )
_
/=0
:1
) (r ) ) (r )
/! :!
0 0
/ :
(/) (:)
0 1
, sus sumas parciales estn acotadas
superiormente por Luego la serie converge y tiene una suma )(r). (r r )
_
/=0
) (r )
/!
0
/
(/)
0
_ )(r) ) , : . Aplicando el mismo razonamiento a encontramos que la -sima derivada
(:)
de converge y tiene una suma
_
/=0
) (r )
/!
0
/ (:)
(/)
0
(r r ) _ ) (r).
Por consiguiente si escribimos
q(r) = )(r) (r r )
_
/=0
) (r )
/!
0
/
(/)
0
q(r) q (r) r _ r < /. y todas sus derivadas son no negativas si
(:)
0
A continuacin, demostremos que si esta restriccin impuesta q(r) = 0 r _ r < ,
0
r /
2
0
a implica . Por lo tanto podemos elegir un nmero que r r _ r _ 2r r < / j
0 0
satisface y hacer uso de la frmula de Taylor para escribir 2r r < j < /
0
)(j) = (j r) (j r ) (1)
_
/=0
:1
) (r ) ) (j )
/! :!
/ :
(/) (:)
0 1
en donde Ahora bien, es una funcin creciente, (por que?) por r < j < j. )
1
(:)
consiguiente ) (j ) _ ) (r).
(:) (:)
1
Por lo tanto (1) nos da
)(j) _ (j r) _ (j r)
) (j ) ) (r)
:! :!
: :
(:) (:)
1
o bien de los extremos se tiene
) (r) )(j)
:! (jr)
(:)
:
_
Volviendo al resto de , podemos escribir
_
/=0
:1
) (r ) ) (j )
/! :!
/ :
(/) (:)
0 1
(j r) (j r )
0 _ (r r ) _ (r r ) _ )(j)
'
r <r <r
) (r ) ) (r)
:! :!
0 0
: :
0 1
(:) (:)
1
( )
rr
jr
: 0
( )
1
Pero 0 debido a la manera como fue escogido _ < 1 j.
'
2rr <j
0
rr
jr
0
Luego
lim
:
) (r )
:!
0
(:)
1
(r r ) = 0
Y esto significa que
)(r) = (r r ) , r _ r <
_
/=0
) (r )
/!
0 0
/ r /
2
(/)
0 0
si
5.2. La serie binomial.

Como un ejemplo del teorema de Bernstein, obtemos el desarrollo siguiente, conocido
con el nombre de la . serie binomial
(1 r) = r , 1 < r < 1
c c
_j
:=0
:
:
si
donde es un nmero real cualquiera y c
j
c c c c c
: :!
( 1)( 2)( :1)
=
El teorema de Bernstein no puede aplicarse directamente en este caso. Sin embargo,
podemos razonar as: Consideremos siendo y Entonces )(r) = (1 r) , c 0 r < 1.
c
) (r) = c( 1)(c 2)(c : 1)(1 r)
(:) c:
---------------------------------------------------------------------
( )
1 _
:=0
( (
rr rr
jr jr
: :
0 0
es convergente, luego tenemos lim
:
= 0
y por lo tanto para cada con tal que . Por consiguiente podemos ) (r) _ 0 :, r < 1
(:)
aplicar el teorema de Bernstein, poniendo y Entonces r = 0, = 1 / = 1.
0
c
si
1
(1r)
c
= ( 1) r 1 < r < 1
_j
/=0
c
/
/ /
sustituyendo por y por , encontramos c r r c
(1 r) = r
c c
_j
/=0
/
/
es cierto para cada Pero ahora la validez de puede c < 0. (1 r) = r
c c
_j
/=0
/
/
extenderse a cualquier valor de por integracin sucesiva. Naturalmente, si es un c c
entero positivo, por ejemplo entonces para y c = :, = 0 : :
j
:
:
(1 r) = r
c c
_j
/=0
/
/
se reduce a una suma finita ( frmula del binomio de Newton) .
5.3. Teoria de Abel.
Si , la integracin de la serie geomtrica nos da el desarrollo 1 < r < 1 = r
1
1r
_
:=0
:
en serie de tambin vlida para Si ponemos |oq(1 r) = 1 < r < 1.
_
:=1
r
:
:
r = 1 en , obtenemos la serie alternada convergente ; nos
_ _
:=1 :=1

r
: :
(1)
:
:1
preguntamos. Podramos tambin poner en el primer miembro de ?. r = 1 |oq(1 r)
El teorema siguiente contesta afirmativamente esta pregunta.
Teorema 6. (Abel) Supongamos que , si Si la )(r) = o r : < r < : .
_
:=0
:
:
serie converge tambin en entonces el lmite existe y r = : , )(r) lim
r:
tenemos
lim
r:
:=0
:
:
)(r) = o : .
_
JcnosIroci n : Para simplificar, suponiendo que (esto equivale a un : = 1
cambio de escala). Entonces nuestra hiptesis es que se tiene definida )(r) = o r
_
:=0
:
:
para y que es convergente. Escribimos . Tenemos 1 < r < 1 o )(1) = o
_ _
:=0 :=0

: :
que demostrar que de otra manera, que es continua a la izquierda lim
r1
)(r) = )(1) , , )
de r = 1
1
1r
)(r) = ( r ) ( o r ) = c r = o
_ _ _ _
:=0 :=0 :=0
:
: : :
: : : /
/=0
donde c
Luego tenemos
si )(r) )(1) = (1 r) [c )(1)[r , 1 < r < 1 (1)
_
:=0
:
:
Esto se tiene por que
)(r) )(1) = )(r) = (1 r) c r (1 r))(1) r =
(1r))(1)
(1r)
_ _
:=0 :=0

:
: :
= (1 r) [c )(1)[r
_
:=0
:
:
Por hiptesis, . Por consiguiente dado podemos encontrar lim
:
: /
/=
c = )(1) = o 0
_
c
: _ [c )(1)[ < . Ntal que si implica que Si dividimos la suma (1) en dos
:
2
c
partes , obtenemos
)(r) )(1) = (1 r) [c )(1)[r (1 r) [c )(1)[
_ _
:=0
1
: :
:
:=
Designemos con
` = :or[c )(1)[, : = 0, 2, 8, ., 1
:
As si tenemos 0 < r < 1
[)(r) )(1)[ _ (1 r)` (1 r) r ( = r )
c
2
:=

: :
:=0
_ _
= (1 r)` (1 r) < (1 r)`
c
2 1r
r
c
2
Escogiendo ahora Entonces se tiene que c c c = . 0 < 1 r < [)(r) )(1)[ < .
c
2`
Lo anterior es equivalente a que Esto completa la demostracin. lim
:1
)(r) = )(1).
Ejemplo. Podemos suponer en para obtener |oq(1 r) = , r = 1

_
:=1
r
:
:
|oq2 = .
_
:=1
(1)
:
:1
Teorema 7. Sean y dos series convergentes y designemos con
_ _
:=0 :=0

: :
o /
c = o / c
: / :/ :
/=0
:
:=0
_ _
su producto de Cauchy. Si converge entonces
tenemos
_ _ _
:=0 :=0 :=0

: : :
c = ( o )( / )
JcnosIroci n : Las dos series de potencias y x son ambas
_ _
:=0 :=0

: :
: :
o r /
convergentes para y por lo tanto, convergen en el intervalo Mantengamos r = 1 (0, 1).
[r[ < 1 y escribamos

_ _ _
:=0 :=0 :=0

: : :
: : :
c r = ( o r )( / r )
donde es el producto de Cauchy y ya demostramos en el corolario del c = o /
: / :/
/=0
:
_
teorema 22 del 3, sobre convergencia absoluta que, es convergente.
_
:=0
:
:
c r
Consideremos ahora el y apliquemos el teorema 6 de Abel, para concluir la r 1
convergencia de
_ _ _ _ _
:=0 :=0 :=0 :=0
:
: / :/ : :
/=0
c = ( o / ) = ( o )( / ).
5.3. Ejercicios.
1. Hallar la serie de Taylor alrededor de para r = 2
)(r) = r 2r 1 ( < r < )
8
Probar que la serie de Taylor converge a para todo . )(r) r
2. Si es una funcin a valor real en tal que existe para todo ) [o, o /[ ) (r)
(:1)
r [o, o /[ ) [o, o /[, y es continua en entonces
(:1)
)(r) = )(o) (r o) (r t) ) (t)dt
_
/=1
:
) (o)
/! :!
/ : (:1) 1
r
(/)
o
Este resultado es conocido como . ) ::n|o dc Toj|o: co::cto i:tcq:o/|c
Halle la frmula de Taylor con resto integrable de y )(r) = c:r ( < r < )
o = 0 . Demuestre adems que
[ (r t) ) (t)dt [ < ( < r < )
1
:! (:1)!
r
: (:1)
[r[
0
:1
3. Demuestre que la serie de Taylor alrededor de para converge para r = 0 )(r) = c:r
c:r r. para todo
4. Halle la frmula de Taylor para las siguientes funciones:
(a) )(r) = |oq(1 r) ( 1 < r < ), r = 2, : = 4
0
(/))(r) = o:c toq r ( < r < ), r = 0, : = 8

2 2
0
cualquier entero (c))(r) = (1 r) ( 1 < r < 1), r = 0, :
1
2
0
5. Supngase que la serie converge, y sea un nmero cualquiera tal )(r ) = o r o
0
0
_
:=0
:
:
que Probar que sobre el intervalo la serie 0 < o < [r [. [ o, o[ )(r) = o r
0
_
:=0
:
:
converge uniformemente (y absolutamente). Adems probar que la serie
_
:=
1
:
o r = q(r) )
:
:1
converge uniformemente. Finalmente pruebe que es derivable y que
) (r) = q(r) r [r[ < r .
/
para todo con
0
6. Halle la frmula de Taylor de cada una de las siguientes funciones. Use el teorema 3
, el teorema de Bernstein para obtener la serie de Taylor:
o) )(r) = , (o = 0), r = 0. /) )(r) = |oq(r o) , o = r, r = 0
1
ro
0 0
c) )(r) = = (1 r) , r = 0. d) )(r) = r = 0
1
1r
_
1
1r
1
2
0 0 2
,
_
7. Halle cada una de las siguientes sumas infinitas:
? i) 1 r ( = )(r), Qn c )(r)
r r r
2! 8! 4!
2 8 4

ii) 1 r r r
8 6 8
iii)
r r r r
2 82 48 4
2 8 4

Recuerde el teorema de Abel) i) (
1 1 1 1
21 82 48 4

) 1
1 1 1
4 7 10

8. Si para y hallar (Use frmula de Taylor) )(r) = r = 0 )(0) = 1, ) (0),
c:r
r
(/)
9. Demostrar que la serie converge para
_j
:=0
:
: c
r [r[ < 1
Demostrar que para (o) (1 r)) (r) = )(r) [r[ < 1
/
c
Demostrar ahora que cualquier funcin que satisfaga la parte es de la (/) ) (o)
forma para cualquier constante , y utilizar este hecho para establecer )(r) = c(1 r) c
c
la serie binomial (1:dicoci : : Co:id :cc q(r) = )
)(r)
(1r)
c
10. (o) )(r) = o r r Supngase que converge para todo de algn intervalo
_
:=0
:
:
( 1, 1) )(r) = 0 r ( 1, 1) o = 0. y que para todo de . Demostrar que cada
:
(/) )(r ) = 0 r Supngase que slo sabemos que para alguna sucesin con
: :
:=1
lim
:
: :
r = 0. o = 0 Demostrar de nuevo que cada
(c) )(r) = o r q(r) = / r r Supngase que y convergen para cada en algn
_ _
:=0 :=0

: :
: :
intervalo que contiene a y que para alguna sucesin que 0 )(r ) = q(r ) r
: : :
:=1
converge hacia . Demostrar que para todo En particular, una funcin tiene 0 o = / :.
: :
una representacin nica como serie de potencias centradas en . 0
11. Demostrar que si es una funcin continua par, entonces, para )(r) = o r o = 0
_
:=0
: :
:
todo impar y si es una funcin impar, entonces para todo par : ) o = 0 : .
:
12. La sucesin de Fibonacci est definida por o o = o = 1, o = o o
: 1 2 :1 : :1
:=1
(o) _ 2 Demostrar que
o
o
:1
:
(/) )(r) = o r = 1 r 2r 8r Sea . Utilizar el criterio del cociente
_
:=1
:
:1 2 8
para demostrar que converge si )(r) [r[ <
1
2
(c) [r[ < , )(r) = (1:dicoci : : Demostrar que si entonces Esta ecuacin
1
2
1
r r1
2
se puede escribir como )(r) r)(r) r )(r) = 1 )
2
(d) Utilizar la descomposicin en fracciones simples para , y la serie de
1
r r1
2
potencias de para obtener otra serie de potencias para
1
ro
).
(c) 0 ) Se sigue del ejercicio 1 anterior, que las dos series de potencias obtenidas para
deben ser idnticas. Utilizar este hecho para demostrar que
o = .
:
( (
_
1 1
2 2
: :
_ _
13. Demostrar que la serie de potencias para converge solamente para )(r) = |oq(1 r)
1 _ r < 1, q(r) = |oq y que la serie de potencias para converge solamente para
1r
1r
los de r ( 1, 1).
14. (1 r) = r Demostrar que la serie binmica presenta el siguiente
c c
_j
:=0
:
:
comportamiento en los puntos r = 1
(o) r = 1 _ 0 < 0. Si , la serie converge para y diverge para c c
(b) Si la serie diverge para , converge condicionalmente para r = 1, _ 1 c
1 < < 0, c y converge absolutamente en [0,1]
15. Demostrar que converge uniformemente en si converge.
_ _
:=0 :=0

: :
:
o r [0, 1[ o
16. Si cada y diverge, demostrar que diverge a + cuando o _ 0 o o r
: : :
:=0 :=0

:
_ _
x Supngase que converge para .
_
1 ( o r [r[ < 1)
:
:=0
:
17. Si cada y existe y es igual a . Demostrar que la serie o _ 0 o r o
: : :
r1
:=0 :=0

:
lim
_ _
converge y tiene por suma a .
18 . Sea )(r) = .
i r = 0
0 i r = 0
_
c
1
[r[
i) ) (0) r Demuestre que existe para todo
(:)
ii) r r )(r) Demostrar que la serie converge para todo , pero no es igual a
_
:=0
:
) (0)
:!
(:)
si r = 0.
19. Sea )(r) =
i r = 0
0 i r = 0
_
c
1
r
2
i) ) ( , ) Demuestre que en (
_
:=0
) (0)
:!
:
(:)
si r = 0.
20. Demostrar que los siguientes desarrollos se tienen para [r[ < 1 :
i) o:c c:r = r
1 r 1 8 r 1 8 r
2 8 2 4 2 4 6 7
8 7

ii) o:c toq r = r
1 1
8
8
r r
iii) |oq (1 1 r) =
1
2
_
1 r 1 8 r 1 8 r
2 2 2 4 4 2 4 6 6

2 8
21. Si demostrar que: r = j( j) ( _ 0) c c
j = ( 1)
r r 4 r r
12 :!(:1)!
(2:2)!
c c c c

2 8 :
8 2:1
:1
22. Sea el desarrollo binomial Investigar el compotamiento del (1 r) = r .
c c
_j
:=0
:
:
desarrollo binomial en . r = 1
24 Sea una serie de potencias convergente en . Si
_ _
:=0 :=0

: : :
: :
r1
o r (o _ 0) [r[ < 1 o r lim
existe y es igual a demostrar que , o = .

_
:=0
:
6. SERIES DE FOURIER
6.1. Ortogonalidad
6.1.1 Funciones pares e impares
Sea S , S tal que si t S entonces t S, y sea una funcion definida en S, _ = ) R c
se dice que
a) es una funcion si ( t) (t) para todo t S ) ) = ) par
b) es una funcion si ( t) (t) para todo t S. ) ) = ) impar
Ejemplo ) = ) = )(t) ) (t) t , t , ( t) = t , luego es par.
2 2
R
q(t) = t , t , q( t) = ( t) = t = q(t), q
8 8 8
R por lo tanto es impar.
Propiedades.
i Si y son funciones pares definidas en S, entonces , + , con 0 son ) ) q )q ) q q =
)
q
funciones pares.
ii Si y son funciones impares definidas en S, entonces es impar , ) ) q ) q ) q,
)
q
con 0 son funciones pares. q =
iii Si es par y impar definidas en S, 0, 0 se tiene que , son ) ) q ) = q = ) q
) q
q )
,
funciones impares.
iv Si es par e integrable en [ , ] se cumple que: ) ) o o
(t) dt = 2 (t) dt

o
o o
) )
0
v Si es impar e integrable en [ , ], se tiene que ) ) o o
(t) dt = 0
o
o
)
6. 2. Funciones peridicas. l.
Sea una funcion cuyo dominio de definicion S esta en . La funcion se dice ) = ) c R
periodica si existe T tal que si t S se tiene que t + T S y (t + T ) (t)
o o o
) = )
para todo t S. T se llama de . El perodo positivo mnimo de se ) )
o
perodo
denomina Cuando se hable de funciones periodicas, mientras no perodo fundamental.
se diga lo contrario, se trabaja con el perodo fundamental.
Ejemplo: )(t) = c:t es una funcion periodica con perodo T 2
o
=
) t 2 = c: t = c:tco cotc: = c:t = )(t) ( ) ( 2 ) 2 2
Propiedades.
i) Si es de perodo T y entonces T ) : )(t : ) = )(t)
o o
Z
ii) Si es de perodo T > 0 , e integrando en [0,T ] se tiene que: )
o o
(a) =

: o
: /
o
/
T
T
o
o
)(t)dt )(t)dt
(b)

o
o+T T
0
o o
)(t)dt = )(t)dt
6.1.3 Producto hermitiano.
Sea un espacio vectorial sobre . El producto , sobre se llama V C V )
hermitiano si
, : ) V V C
( , ) , n n )
satisface las condiciones:
H
l
: , = , , para todo , n ) n) n V
H
2
: Si , , estan en , , + = , + , n n n n) n ) n n) V
H :
3
Si , u,v = , c C c c ) n )
H :
4
Para todo , , 0 n n n) _ V
Ejemplo: existe Sea :[ , ] . Para todo se define V C V = ) o / )(r)dr ), q

o
/
), q) )(r) q(r) dr ) = . Entonces , cumple con H ,H ,H ,H as es un producto
o
/
1 2 8 4
hermitiano sobre . V
El producto hermitiano no garantiza que si =0 entonces 0, como se ve ), )) ) =
en el siguiente ejemplo
)(t) = , [)(t)[ =
2, t = o 4, t = o
0, o _ t _ / 0, o < t _ /
_ _
si si
si si
2
ahora = | )| 0, pero 0 ), )) )(t dt = ) =
o
/
2
Esta situacion es la que lo distingue del producto escalar. La siguiente definicion da la
relacion entre producto hermitiano y producto escalar
H definido positivo
5
: El producto hermitiano se llama si para todo 0 , 0 n = n n)
Es claro que si el producto hermitiano es definido positivo entonces se tiene que , = n n)
0 si y slo si Se observa que un producto, es hermitiano definido positivo si y n = 0.
solo si, es un producto escalar.
Propiedades.
i + , = , + , ) n n) n n) n)
ii , = ,
) n ) n ) c c
Definicin: Sea espacio vectorial, la funcion que asigna a cada V
elemento el numero tal que ) | ) | V R
(1) | ) | _ 0 | ) | 0 = ) = 0 , y =
(2) | ) q | _ | ) | | q |
(8) | ) | = | ) | c c | | ,
es llamada una sobre . norma V
Sea un espacio vectorial con producto hermitiano , dos vectores , de se dicen V V ) n
ortogonales si , 0 , , 0 y , 0 . n n) ) n ) =
Un conjunto en es si sus vectores son ortogonales dos a dos, es 9 V ortogonal
decir, todo par de vectores diferentes son ortogonales.
Ejemplo: El conjunto = { e : t , f = } con el producto 9 Z
2 i f t
o
: 1
/o
o
o _ _ / :
) q) )(t)q(t) dt , , = es ortogonal.
a
b
Sea un espacio vectorial en el cual se tiene definido un producto hermitiano , , si V )
) ), )) _ ) V, puesto que 0 se define de al nmero real positivo longitud
definido por = , lo cual equivale a = , . Se sabe que si | ) | ) )) | ) | ) ))
_
2
| ) | ) | ) | = 0 no necesariamente = 0. Esta ultima afirmacion es la que hace que no
sea una norma, pues las demas propiedades de la norma se cumplen, por esta razon es
llamada una . seminorma
Resultado: Sea un espacio vectorial con producto hermitiano , , V )
entonces
\n \ n ) _ | n | | | , | , | . V
Esta desigualdad es llamada desigualdad de Cauchy-Schwarz
Un conjunto numerable , , , , , en un espacio vectorial se n n n n
1 2 8 n
V
dice , si para todo , cada vez que linealmente independiente :
+ + + 0 entonces 0 c c c c c c
1 1 2 2 1 2
n n n = = = = =
m m m
tambien es llamada una sucesion linealmente independiente.
Resultado: Todo conjunto ortogonal es linealmente independiente.
Se dice que una sucesion linealmente independiente es una de si base aproximada V
para cada y cada > 0, existe una combinacion lineal + + + ) n n n V c c c c
1 1 2 2 n n
tal que
( + + + ) | ) n n n | < . c c c c
1 1 2 2 n n
Resultado : Si , , , es una base aproximada ortogonal de y c c c V
1 2 8
.
) V c c c c c , entonces la serie + + donde = , converge a
1 1 2 2
) )
)
k
,
,
c
c c
/
/ /
).
Si = es una base ortogonal de , entonces para todo , existe unico, 9 V V c ) )
:
:=1
n
: ) = ) . S tal que
_
n S
n n
c
En efecto sea , )
m
9
, = , = , = , ) ) ) ) ) ) ) ) ) ) ) )
m n n m n n m m m m
n S n S
_ _

c c c
de donde
= para S c
:
) ) )
) ) )
,
:
: :
:
Los nmeros son llamados . c
n
coeficientes de Fourier
Ejemplo: Hallar los coeficientes de Fourier de una funcion para la base ortogonal )
= t , f = , 9 Z o _ _ / : e
2 i f t
o
:
o
1
/o
Puesto que , , los quedan as ) ) ) = / o
n n n
c
= = (t) dt , f = , c Z
n o
2 inf t
),) )
) ) ) /o /o
n
n n
,
1 1
o
/
) : e

o
Para justificar las afirmaciones anteriores hacemos referencia a un resultado del anlisis
funcional el cual es la piedra ngular en el estudio de las series de Fourier.
Teorema 1. Sea un espacio funcional con producto hermitiano dado por V
c , y sea un conjunto ortogonal en Entonces las siguientes
i=1
V.
afirmaciones son equivalentes, unas con las otras;
SF
1 i i
i=1
: ) = ) = c V c
_
SF ,
2 i
: r c = 0 \i = r = 0
N
SF Si entonces
8 :
:=1
: ) ) = c V
_
),c )
c c )
:
: :
,
SF : Si entonces
4
2
:=1
),c )
c c )
2
) [[)[[ = V
_| |
n
n n
,
.
Se deduce del teorema 1 que el estudio de las series de Fourier se reduce al hecho de
hallar conjuntos ortogonales en los distintos espacios funcionales con el producto
hermitiano que se tenga. Un frabricante de conjuntos ortogonales lo hallamos al estudiar
las Por esta razn funciones propias de un operador autoadjunto de segundo orden.
damos un breve estudio de las ecuaciones diferenciales lineales ordinarias de segundo
orden con coeficientes constantes.
6.2. Solucin de una ecuacin diferencial lineal homognea de segundo
orden con coeficientes constantes.
Una ecuacin de la forma donde son constantes, es llamada j oj /j = 0 o, /
// /
R
ecuacin diferencial lineal homognea de segundo orden. Para hallar una solucin
rpida de esta ecuacin es frecuente suponer que es una solucin de prueba (o j = c
`r
un modelo de solucin), dado que y entonces se va tener que j = c j = c
/ r // 2 r
` `
` `
j = c j oj /j = 0 = c ( o /) = 0
` ` r // / r 2
es de solucin de prueba ` `
y esto solamente es posible si ya que 0, x y . As se ` ` `
2 r
o / = 0 c = \ \
`
tiene que
j = c j oj /j = 0 o / = 0
`r // / 2
es solucin de prueba de si y slo si ` `
Por esta razn basta hallar los ceros del polinomio , frecuentemente p( ) = o / ` ` `
2
llamado los cuales estan dados por polinomio caracterstico ,
`
12
=
o o 4/
2
_ 2
Teniendose as los siguientes tipos de solucin dependiendo del signo del discriminante
o 4/ :
2
1) en este caso el polinomio tiene dos races reales distintas o 4/ 0, p( )
2
`
: = . : =
1 2
o o 4/ o o 4/
2 2
_ _ 2 2

En ese caso se tiene que el conjunto forman lo que se conoce como un c , c
: r : r
1 2
conjunto fundamental de soluciones para la ecuacin . j oj /j = 0
// /
Paralelamente se demuestra en un curso de ecuaciones diferenciales que el conjunto
) : 1 ) o) o) = 0 R
// /
llamado es un espacio vectorial de dimensin dos . Por esta razn la conjunto solucin
solucin de la ecuacin es en este caso dado por j oj /j = 0
// /
j = c c
1 2
: r : r
c c
1 2
2) Se tiene en este caso que las races de se reducen a una sola dada o 4/ = 0. p( )
2
`
por
: =
o
2
y se obtiene una primera solucin fundamental la cual denominaremos dado as: j
1
j =
1
r
c
o
2
Para la obtencin de una segunda solucin que sea linealmente independiente con se j
1
hace uso de una tctica conocida con el nombre , de variacin de la constante
suponiendo que la nueva solucin de prueba tiene la forma
j = (r)j = (r)
1
r
c
o
2
donde es una funcin por determinar; as (r)
j = . j = o
/ / r r // // r / r r o o
c c c c c
o o o o o 2
/ 2 2 2 2
2 4
sustituyendo en se llega j oj /j = 0
// /
= 0 = = 0 . = 0 = = 0
// r r // r r //
c c c c
o o o o
2 2 2 2
( )
o 4/
4
2
.
En esta forma se sigue que obtenindose la segunda solucin linealmente (r) = r
independiente se halla el conjunto fundamental de soluciones y en este c , rc
o o
2 2
r r
caso la solucin es la combinacin lineal dada por
j = (c r c ) c
o
2
r
2 1
3) Cuando entonces los ceros del polinomio caracterstico son o 4/ < 0 p( )
2
`
nmeros complejos dados por
: = i . : = i
1
2
o o
2 2 2 2
4/o 4/o
_ _ 2 2
Denotando con la parte real de estos nmeros y con la parte imaginaria tenemos que c u
: = i . : = i
1 2
c u c u
En esta forma la base fundamental ser el conjunto Por ser el conjunto , . c c
c u c u i i
solucin un espacio lineal se puede tomar una combinacin adecuada de los elementos de
la anterior base para obtener una nueva base equivalente dada por
co r, c: r c c
c c r r
u u
La solucin en este caso ser la siguiente combinacin lineal
j = [c co r c c: r[ c
cr
1 2
u u
Una mayor informacin se puede hallar en un curso comn de ecuaciones diferenciales
ordinarias.
6.3 El operador autoadjunto de segundo orden.
A continuacin consideramos una ecuacin diferencial lineal con coeficientes variables y
de segundo orden la cual va a depender de un parmetro . `
Definicin. Una ecuacin diferencial lineal de segundo orden se dice una
forma autoadjunta si y solamente si se tiene
p(r)j p (r)j [(r) :(r)[j = 0, r < r < r
// / /
1 2
`
donde y en y y son todas funciones p(r) 0 :(r) 0 (r , r ) p (r), (r) :(r)
1 2
/
definidas en el intervalo [r , r [.
1 2
Consideremos la ecuacin diferencial lineal de segundo orden dada por
(r)j (r)j [ [j = 0
2 1 0
// /
`
donde y A Hallemos la forma autoadjunta C ([o, /[) , C([o, /[), (r) = 0.
2 1 0 2
1
asociada a esta ecuacin. Para esto introduzcamos una funcin de tal q C ([o, /[)
1
manera que se tenga
q(r) (r)j (r)j [ [j = p(r)j [(r) :(r)[j
2 1 0
// / / /
` `
La funcin es llamada y por lo tanto debe esperarse que q(r) factor integrante
satisfaga al siguiente sistema de ecuaciones
q(r) (r) = p(r)
2
q(r) (r) = p (r)
1
/
q(r)( (r) ) = (r) :(r)
0
` `
es decir, se debe tener que
[q(r) (r)[ = q(r) (r)
2 1
/
lo cual es lo mismo que
q (r) (r) q(r) (r) = q(r) (r)
/ /
2 1
2
de donde se obtiene que
q (r) =
/
q(r)[ (r) (r)[
(r)
1
/
2
2
Cualquier solucin no nula de esta ecuacin diferencial nos sirve como factor integrante;
as resolvemos la ecuacin diferencial para como sigue: q(r)
q (r) (r) (r) (r) (r)
q(r) (r) (r) (r)
/ / /
1 1
2 2
2 2 2
= =
Integrando se obtiene
|:q(r) |: (r) = dt
2

r (t)
(t)
1
2
o en forma equivalente se tiene
|: (r)q(r) = dt
2

r (t)
(t)
1
2
de donde
(r)q(r) = crp dt
2

r (t)
(t)
1
2
El factor integrante deseado ser dado por
q(r) = crp dt.
1
(r) (t)
r (t)
2 2
1
Ejemplo. Hallar la forma autoadjunta asociada a la siguiente ecuacin

rj (1 r)j j = 0
// /
`
Aqu
(r) = r, (r) = 1 r, (r) = 0
2 1 0
El factor integrante estar dado por
q (r)
q(r) r r
1r 1
r
/
= = |:q(r) = dt = r
as,
q(r) = c
r
ahora tenemos
p(r) = q(r) (r) = r
2
r
c
(r) = q(r) (r) = 0
0
:(r) = q(r) = c
r
La forma autoadjunta deseada ser
rj (1 r)j j = (r j ) j = 0
// / r / / r
` ` c c
Definicin. Sean funciones definidas de en tales que :(r), (r) [o, /[ R
:(t) 0, , :(t) < 0 (o, /) : (t) (t) j(t) en , y son continuas. Si tiene segunda
/
derivada continua en se define el por (o, /), operador autoadjunto
1j = (:(t)j (t)) (t)j(t).
/ /
1es claramente lineal.
Sea un escalar tal que exista en el espacio funcional, tal que Este ` ` j = 0, 1j = j.
escalar es llamado de y la correspondiente funcin es llamada valor propio 1 j = 0
funcin propia.
Puede suceder que dada una base aproximada para un espacio vectorial la cual no es V
ortogonal con el producto hermitiano all definido, sin embargo puede existir una funcin
p(r) [o, /[ continua en tal que con el siguiente producto hermitiano,
), q = p(t))(t)q(t) dt

o
/
la base, resulte ortogonal. A la funcin se le llama p(t) funcin de peso.
Identidad de Lagrange : Sean , valores propios del operador y , ` `
1 2 1
1 j
j
2
sus respectivas funciones propias, entonces se tiene que
= j 1j j 1j [:(t)(j j j j )[
1 2 2 1 1 2
/ / /
2 1
JcnosIroci n : Se trata simplemente de una verificacion inmediata.
Teorema 2 de Sturm-Liouville : .( ) Sean y valores propios ` `
1 2
diferentes y , sus respectivas funciones propias, sea una funcion j j p(t)
1 2
continua en y positiva en tal que , [o, /[ (o, /) 1j = p(t)j 1j =
1 1 1 2
`
`
2 2
p(t)j . Si
:(t) j (t)j (t) j (t)j (t) = 0
1 2
/ /
2 1
t=/
t=o
entonces
o
/
1 2
p(t)j (t)j (t) dt = 0
JcnosIroci n : Haciendo uso de la identidad de Lagrange y cuentas adecuadas
tenemos:
j
1 2 2 1 2 2 1
(t) p(t)j (t) j (t) p(t)j (t) = j (t)1[j (t)[ j (t)1[j (t)[ ` `
2 1 1
= [:(t)(j (t)j (t) j (t)j (t))[
1 2
/ / /
2 1
Luego
j (t)p(t)j (t)( ) = (:(t)[j (t)j (t) j (t)j (t)[)
1 2 2 1 1 2
/ / /
` `
2 1
de donde integrando y usando el teorema fundamental del clculo se recibe
( ) p(t)j (t)j (t) dt = :(t) j (t)j (t) j (t)j (t) = 0 ` `
2 1 2 1 2
o
/
/ /
t=/
t=o
1
2 1
]
Como entonces que equivale a , o sea que ` `
1 2 1 2 1 2
o
/
= p(t)j (t)j (t) dt = 0 j j ) = 0
j , j p(t)
1 2
son funciones ortogonales para el producto con funcion de peso .
Teorema 3. Los autovalores de un operador autoadjunto son

todos reales.
JcnosIroci n : Supongase que existe algun autovalor complejo con respecto `
k
a una autofuncion ( ), es decir c
k
r
1 r : r r [ ( )] + ( ) ( ) = 0 c ` c
k k k
Puesto que el operador esta formado de funciones reales su conjugado complejo es
1 1
igual a . Tomando el conjugado complejo a los dos lados, se obtiene 1
[ ( )] + ( ) ( ) = [ ( )] + r( ) ( ) = 0.
1 r : r r 1 r r r c ` c c ` c
k k k k k k
Se sigue ahora que ( ) y ( ) corresponden a autovalores diferentes, y
c c ` `
k k k k
r r
respectivamente, y por lo tanto son necesariamente ortogonales debido a que satisface 1
las hiptesis del teorema 2 . Esto indica que
( ) ( ) ( ) d = ( ) | ( )| d = 0

x x
x x
k k k
1 1
2 2
: r r r r : r r r c c c
2
pero puesto que el integrando es positivo, esta integral jams es cero, con lo cual
obtenemos una contradiccion. Nuestra afirmacion de que existe un autovalor complejo es
falsa y el teorema esta demostrado.
Ejemplo 1: . Ortogonalidad de los polinomios de Legendre De

[ 1)P + P 0 , (t (t)[ (t) = = :(: 1)
2 / /
:
: : :
` `
: = 0,1,2,3, se tiene
1 P 0 P P [(t ) [ (t) = (t)
2 / /
:
: : :
`
:(t) = t < t < : = :(1) = 0 (t) = 0 p(t) = 1, 1 1 , ( 1) , , 1
2
as entonces, P P P P con , luego :(t)[ (t) (t) (t) (t)[ = 0 : = :
: :
/ /
: :
1
1
P P para
-1
1
: :
(t) (t) dt = 0 : = :
as de donde En los libros de ecuaciones diferenciales :(: 1) = :(:1) = . ` `
: :
se demuestra que
:
2
1
1
[P ] (t) dt =
2
2 +1 :
De esta forma P P
, si
si
, ) =
: = :
0, : = :
: :
2
2:1
_
Por lo tanto P P , ,P , es una base aproximada ortogonal de (t), (t) . (t) .
0 1 :
V C [ 1,1] para el producto hermitiano = ) : )(t) dt

-1
1
existe
, ) q) = )(t) q(t) dt
1
1
por lo tanto s i entonces P donde o sea ) )(t) = c (t) c = V
_
n=0
: : :
) )
)
,P
P ,P
n
n n
c P , en estas condiciones se dice que esta desarrollada en
n
1
1
= )(t) (t) dt )
2 +1
2
:
:
serie generalizada de Fourier-Legendre .
Ejemplo 2. Hallemos los valores y las funciones propias para el siguiente problema
j j = 0 , j( ) = j( ), j ( ) = j ( )
// / /
`
En este ejemplo y en los problemas propuestos es necesario el conocimiento a fondo del
numeral 6.2. As para resolver el problema, sea la cual hemos llamado una j = c
cr
solucin de prueba, entonces de donde tenemos el polinomio j j = ( )
// r 2
` c ` c
c
caracterstico dependiendo ahora de dos parmetros Por el teorema 3, p( ) = . c c ` `
2
debe ser real, por lo tanto cumple con la propiedad de tricotoma esto es puede ser: , `
` ` ` < 0, , = 0, , 0
Con estas posibilidades de , entonces puede ser determinada como en efecto as lo ` c
haremos
1) Si el polinomio caracterstico se reduce a cuya raz es ` c c c = 0 , p( ) = = 0 ,
2
repetida, en este caso el conjunto fundamental de soluciones es dado por y 1, r
cualquier solucin ser dada por esta solucin tambin se puede hallar j = c r c (
1 2
integrando dos veces la ecuacin . Por las condiciones en la frontera se tiene j = 0)
//
que
j( ) = c c = c ( ) c = j( ) . j ( ) = c = j ( )
1 2 1 2 1
/ /
de donde se obtiene que y toma cualquier valor, en particular , as para c = 0 c c = 1
1 2 2
el valor propio se halla la funcin propia . ` = 0 j = 1
0
2) Si es frecuente tomar por comodidad , donde y se puede ` ` . . R < 0 = < 0
2
determinar con la ayuda del polinomio caracterstico cuyas p( ) = = c c ` c .
2 2 2
races estan dadas por en esta forma el conjunto fundamental de soluciones c . =
estar dado por en esta forma la solucin de la ecuacin , j j = 0 c c
. . r r // 2
.
ser:
j = c c
8 4
r r
c c
. .
como
j( ) = c c = c c = j( )
8 4 8 4

c c c c
. . . .
j ( ) = = = j ( )
/ /
. . . . c c c c
. . . .
de donde se deduce que en cuyo caso no hay funciones propias. c = c = 0,
8
4
3) Finalmente, si como en 2), podemos tomar, en este caso el ` ` c 0 = 0 ,
2
polinomio caracterstico toma la forma cuyas races estan dadas por p( ) = c c c
2 2
c c = i, este caso como lo dijimos en el numeral 6.2 el conjunto fundamental estar
dado por y la solucin de la ecuacin ser co r, c: r j j = 0 c c c
// 2
entonces
. j(r) = c co r c c: r
6
c c
Ahora tenemos por otra parte
j( ) = c co c c: = c co ( ) c c: ( ) = j( ) c c c c
6 6

j ( ) = c c: c co = c c: ( ) c co ( ) = j ( )
/ /
6 6
c c c c c c c c .
De aqu se tienen dos posibilidades :
(1) c c: = 0 c c = 1 = : , 2 y toma cualquier valor en particular y en ese
6
c c Z

caso la solucin estar dada por . j(r) = co:r
(2) c c: = 0 c c = 1 = : , 2 y toma cualquier valor, en este caso y
6 6
c c Z
teniendose entonces que la solucin ser j(r) = c::r.
En resumen se tiene
para , ` = 0 j = 1
0
para con . ` = : j = < r <
co:r
c::r
2
: _
Ahora por ser una forma autoadjunta se sigue del teorema 2 que las j j = 0 ,
//
`
funciones propias forman un conjunto ortogonal en el intervalo para el [ , [
producto hermitiano dado por ( por que? muestre que ( j j j j = 0)
: :
/ /
: :

|

, . (1) ) q) = )(t)q(t)dt

Adems por el teorema 1 se sigue que para toda funcin y como ) : [ , [ R
V R = ) : [ , [ )(r)dr es un espacio vectorial con producto
existe
hermitiano dado por (1) entonces
)(r) = [o co:r / c::r[
o
2
0
_
:=1
: :
donde
o = = )(r) dr, o = = )(r) co:r dr
0 :
1 1

),1) ), co:r)
1,1) co:r, co:r)

/ = = )(r)c::r dr
:
1
), c::r)
c:r, c::r)
En esta forma se dice que ha sido desarrollada en ) serie de Fourier trigonomtrica.

Teorema 4. (de Fourier). Si una funcin peridica con perodo es )(r) 2
seccionalmente continua en el intervalo y tiene derivada _ r _ ,
izquierda y derecha en cada punto de ese intervalo, entonces la serie de
Fourier trigonomtrica
o
2
1 1 2 : :
2
0
o cor / c:r o co2r / c:2r o co:r / c::r
donde
o = = )(r) dr, o = = )(r) co:r dr
0 :
),1) ), co:r)
1,1) co:r, co:r)
1 1

/ = = )(r)c::r dr
:
), c::r)
c:r, c::r)
1

es convergente y su suma es excepto en los puntos donde la )(r) r

0
funcin es discontinua y en estos puntos se tiene
)(r ) =
0
rr
)(r ))(r )
2
lim
0

en ese caso se dice que est representada en serie de Fourier. )(r)
JcnosIroci n : Veamos primero la convergencia de la serie

o
2
0
[o co:r / c::r[
_
:=1
: :
cuando . ) C ([ , [)
2

Integrando dos veces por partes la frmula de se obtiene o
:
o = )(r) co:r dr = ) (r)co:o dr
:
1

//

.
)(r)c:r ) (r)co:r
: : :
1

| |
/
2 2
Pero
0 y ,
)(r)c:r ) (r)co:r
: :
|

= = 0
/
2
|
as
o = ) (r)co:o dr
:
//
1
:
2
.
Ahora como es continua en [- , ] , entonces es uniformemente acotada, as existe ) (r)
//

` 0 [) (r) [ _ ` [co:r[ _ 1. tal que , adems Se concluye que
//
[o [ = ) (r) co:o dr < `dr =
:

//
1 1 2`
: : :
2 2 2

| |

De modo totalmente semejante se tiene que en esta forma se tiene que [/ [ <
:
2`
:
2
| | _
o o
2 2 2 2 8 8
1 1 1 1
0 0
2 2 2 2
[o co:r / c::r[ _ 2`(1 1 )
:=1
: :
| [
= 4` |
o
2 :
1
0
2
[
_
:=1
De donde la convergencia de la serie de Fourier. Y por el criterio de Weierstrass la `

convergencia es uniforme. Dado que es un conjunto ortogonal en 1, co:r, c::r
:=1
el espacio vectorial , entonces el teorema V R = ) : [ , [ )(r) dr
existe
1 implica que )(r) = [o co:r / c::r[.
o
2
0
_
:=1
: :
Supongamos ahora que tiene perodo . Entonces puede introducirse una )(t) T 0
variable tal que como funcin de , tenga perodo 2 . Para eso consideremos la r )( ) r
siguiente transformacin
[- , ] [ ]

R
.
. r
,
(r) = r
)

T T
2 2
T
2
As es tal que resulta de perodo 2 , pues ) : [ , [ ) : [ , [
T T
2 2
R . R
)( (r 2: )) = )( (r 2: )) = )( r 2:) = )(t T) = )(t) = )( (r)). . .
T T T
2 2 2
As
)(t) = )( r) = (o co :r / c::r),
T
2 2
o
0
_
:=1
: :
donde
o = )( r)dr, o = )( r)co :rdr, / = )( r)c::rdr
0 : :
1 1 1

T T T
2 2 2
Ahora como
r = t = dr = dt.
2 2
T T

,
Por lo tanto
o = )(t) dt = )(t)dt
0
1 2 2
T T

T T
2 2
T T
2 2
o = )(t)co t( dt) = )(t)co dt
:
1 2: 2 2 2:
T T T T

T T
2 2
T T
2 2
/ = )(t)c: t( dt) = )(t)c: dt
:
1 2: 2 2 2:
T T T T

T T
2 2
T T
2 2
Para ver que es un conjunto ortogonal en 1, co t, c: t, ., co t, c: t, .
2 2 2: 2:
T T T T

el intervalo ( con el producto hermitiano basta ver , ) ), q) = )(t)q(t) dt,
T T
2 2
T
2
T
2
que ellas son las funciones propias de problema S-L siguiente
j j = 0, j( ) = j( ), j ( ) = j ( ) .
// / / T T T T
2 2 2 2
`
As si entonces ) ) : [ , [ )(t)dt =
T T
2 2

p

C V
T
2
T
2
existe
)(t) = o [o co2 :) t / c:2 :) t[
1
2
0 : 0 : 0
:=1
_
,
donde y ) = ,
0
1
T
o = )(t) dt, o = )(t)co:2 ) t dt, / = )(t)c:2 :) t dt.
0 : o : 0
2 2 2
T T T

T T T
2 2 2
T T T
2 2 2

Por lo general es en este caso una funcin real. )(t) Fin del quinto bloque
Teorema 5 de Parseval) ( . Si dada , , , son los coeficientes de )(t) o o /
0 : :
Fourier del desarrollo anterior entonces se tiene
2
T 2
0
T
2 2 2 o
:=1
: :
_
| |
| | [| | | | ] )(t) dt = o /
0
2
Si es real la expresion queda as : )
2
T 2
0
T
2 2 2
o
:=1
: :
_
()(t)) dt = o / + [ + ]
2
0
JcnosIroci n : Se sabe de la hiptesis que
)(t) = o [o co2 :) t / c:2 :) t[
1
2
0 : 0 : 0
:=1
_

multiplicando los dos lados por tenemos
2
T
)(t)
2 1 2 2 2
T 2 T T T
0 : 0 : 0
:=1
)(t))(t) = o )(t) [o )(t)co2 :) t / )(t)c:2 :) t[

_
.
Integrando en el intervalo se tiene: [0, T[
2
T o
T
)(t))(t)dt =
.
1 2 2 2
2 T T T
0 : 0 : 0
T T T
:=1
o )(t)dt [o )(t)co2 :) tdt / )(t)c:2 :) t dt[

0 0 0
_

De donde
2 1 2 2
T 2 T T
T T T
2
0 0 : 0 : 0
:=1

0 0 0
[)(r)[ dt = o o [o )(t)co2 :) t dt / )(t)c:2 :) (t)dt[
_
.
As
2 1
T 2 2 o
T
2 2 2 2
0 : : : : : :
:=1 :=1

[o [
_ _
[)(t)[ dt = [o [ [o o / / [ = [[o [ [/ [ [
0
2
.
Si es real necesariamente, y son reales tenindose entonces que )(t) o /
: :
2
T
T
2 2 2
:=1
: :
0
()(t)) = [o / [
o
2
2
0
_
El teorema 5 nos dice que el conjunto ortogonal

1, co t, c: t, ., co t, c: t, .
2 2 2: 2:
T T T T

satisface la propiedad SF de teorema 1.
4
6.4. Desarrollos de medio rango.
Hemos mostrado que si donde ) V
p
V C
p
T T
2 2
= ) : [ , [ )(t) dt critc j )(t T) = )(t)
T
2
T
2
entonces se obtiene el desarrollo
)(t) = o o co :) t / c: :) t
1
2
:=1
: 0 : 0 o
+ [ 2 2 ]
_

donde
o = )(t) dt, o = )(t)co:2 ) t dt, / = )(t)c:2 :) t dt.
0 : 0 : 0
2 2 2
T T T

T T T
2 2 2
T T T
2 2 2

Si entonces tenemos que )(t) / = 0 es par
:
)(t) = o o co :) t 2
1
2
0 : 0
:=1
_

donde
= , 2 o )( )d o = )( )co :) d
o
4 4
0 0
T T
: 0

T T
2 2

Si entonces 0, 0 y tenemos )(t) o = o = es impar
0 :
)(t) = / c: :) t / = )( )c: :) d . 2 , donde 2
_
:=1
: 0 : 0
T

4
0
T
2
Sea una funcion periodica de perodo . Si es par se obtiene la llamada )(t) T = 2| )
serie de Fourier cosenoidal
)(t) = o o co t :) =
1 : :
2
0 : 0
:=1
(2 )
_

l l
2
2
con coeficientes
o = )(t) dt o = )(t) co t dt
0 :
:
,
2 2
l l l
0 0
l l

Si f es impar se obtiene la serie de Fourier senoidal
)(t) = / c: t
_
:=1
:
:
l
con coeficientes
/ = )(t)c: t dt : = .
:
:
, 1,2,
2
l l
0
l

Supongase que se da una funcion real definida en el intervalo [0, ], se )(t) l
desea una extension periodica con perodo T = 2 a todo , esta puede hacerse de dos l R
formas:
La funcion extendida es entonces obtenemos el llamado par, desarrollo de
medio par de y es dado por una serie de Fourier cosenoidal )(t)
(ii) Si la funcion extendida es entonces obtenemos el llamado impar, desarrollo de
medio rango impar de . Es de notar que toda funcion definida es [0, ] tiene dos )(t) l
desarrollos de medio rango, el uno par y el otro impar.
Ejemplo : Encontrar los desarrollos de medio rango de la funcion
)(t) =
0 < t <
< t < |
_
2/ |
| 2
2/ |
| 2
cuando
cuando
Calculemos los coeficientes
1
2
0
o = tdt t dt = ( )
1 2 2
/2
/2
2 l l l
0
l l
l
l
_ _
/ / /

o = t co t dt t)co =
:
: :
(
2 2 2
/2
/2
l l l
0
l l
l
l
_ _
/ /

l l
t dt
= co co : (2 1)
4/
:
2 2
:
2

As
= , = , a = o o ,
2 6 1
/ / /
2 6 10
16 16 16
2 2 2 2 2 2

0
mientras que 0 cuando 2,6,10,14, . De aqu que el primer desarrollo de o = : = .
:
medio rango par de es )(t)
)(t) = co co ( + + )
/ /
2
16
2
1 2 1 6
2 6
2 2

l l
t t
De modo semejante, = y el otro desarrollo de medio rango impar es / c: )(t)
:
: 8/
:
2 2
2
)(t) = c: t c: t c: t
8 1 1 3 1 5
1 3 5
/

2 2 2 2
( + + )
l l l
6.5. Ejercicios
1. Demuestre que todo conjunto ortogonal en un espacio lineal con producto hermitiano
es un conjunto linealmente independiente.
2. Tome un libro de Algebra Lineal, por ejemplo el de Serge Lang , y estudie el proceso
de ortogonalizacin de Gram-Schmidt
3. Sea se define el V R = ) : [o, /[ )(t) [o, /[, tiene segunda derivada continua en
operador auto-adjunto por demostrar que es lineal. 1j = [:(t)j (t)[ (t)j, 1
/ /
4. Sea el mismo espacio de ejercicio anterior. Demostrar la identidad de Lagrange o V
sea demostrar que
j 1j j 1j = [:(t)(j j j j )[
1 2 2 1 1 2
2 1
/ / /
5. Demostrar que y son ortogonales con respecto a la )(r) = c:2r q(r) = co r
funcin de peso . :(r) = 1
6 Demostrar que y son ortogonales en con respecto a la . )(r) = 1 q(r) = 1 r (0, )
2
funcin de peso :(r) = c .
r
7. Compruebe que cada uno de los siguientes conjuntos finitos o infinitos de funciones
forman un sistema ortogonal en el intervalo dado y con la funcin de peso p(r) = 1.
o)c:2:r, : = 1, 2, 8, ., 0 _ r _

2
/) co 8r , : = 1, 2, 8, ., 0 _ r _

8
c) r 1, 0r , 6r 6r 1, 0 _ r _ 1
2
d) r, co r, co 2r, _ r _
8. Compruebe que cada uno de los siguientes conjuntos de funciones forman un sistema
ortogonal en el intervalo dado y con la funcin de peso dada:
o) 1, r, r 1, p(r) = 1 r , 1 _ r _ 1
2 2
/) 1, r, 2r 1, p(r) = (1 r ) , 1 _ r _ 1
2 2
1
2
c) 1, 2 r, r 6r 6, p(r) = rc , 0 _ r <
2 r
Muestre que Sugerencia:

: r
0
r c dr = :!
. d) 1, r, r 1, p(r) = c , < r <
2
r
2
2
9. Sea f,g Demuestre que , es un producto hermitiano para las

= )(r)q(r)dr.
1
0
funciones definidas en el intervalo [0,1].
Sea ahora Evale: ) (r) = r, ) (r) = r , ) (r) = r .
1 2 8
2 8
, , a)

) ) /) ) ) c)[[) [[ d) [[) [[
1 2 1 8 1 2
, f , c) ) ) ) ) ) 2) ) ) )

1 2 1 8 1 2 2 8
10. Halle los valores propios y las funciones propias del problema de Sturm-Liouville
siguiente:
j j = 0, j( ) = j( ), j ( ) = j ( )
// / /
`
11. Hallar las funciones propias y los valores propios de los siguientes problemas de
Sturm-Liouville:
4 a) j j ( 4)j = 0, j(0) = 0, j( ) = 0
// /
`
/) j j = 0, j (0) = 0, j (|) = 0
// / /
`
c) j j = 0, j(0) = 0, j (|) = 0
// /
`
d)j j = 0, 0 _ r _ , j(0) = 0, j ( ) = 0
// /
`
c) j j = 0, 0 _ r _ 1, j(0) = 0, j(1) j (1) = 0
// /
`
)) j j = 0, 0 _ r _ 1, j(0) j (0) = 0, j (1) = 0
// / /
`
12. Halle la forma auto-adjunta asociada a cada una de las siguientes ecuaciones:
. a) rj j = 0, r 0
//
`
/) j j j = 0,
// /
`
c) r j (1 r) j j = 0, r 0
// /
`
d)(1 r ) j 2r j j = 0, 1 _ r _ 1
2 // /
`
)) r j r j ( r : )j = 0, r 0
2 // / 2 2
`
q) r (1 r ) j 2r j j = 0, r 0
2 2 // 8 /
`
18 (1 r ) j rj : j = 0 . La ecuacin es llamada ecuacin de Chebyshev cuya
2 // / 2
solucin son los polinomios de Chebyshev para T (r) = co[:o:c co r[ 1 _ r _ 1.
:
Demostrar que los polinomios de Chebyshev forman un conjunto ortogonal.
14. La ecuacin es conocida como la ecuacin de rj ( 1 r)j :j = 0
// /
c
Laguerre cuya solucin es dada por para 1 (r) = c r c r
:
r r : c c c
1 d
:! dr
:
:
( )
0 _ r < , estas funciones son llamadas los polinomios de Laguerre. Demostrar que los
polinomios de Laguerre forman un conjunto ortogonal.
15. La ecuacin es conocida como ecuacin de Hermite y tiene por j rj :j = 0
// /
solucin a las funciones , llamadas polinomios de H (r) = ( 1)
:1
:
c c
r r
2 2
2 2
:
:
d
dr
_ _
Hermite. Demostrar que los polinomios de Hermite forman un conjunto ortogonal en
_ r _ .
16. Expresar las siguientes funciones en serie de Fourier trigonomtrica:
o) )(t) = /) )(t) = t, po:o < t <
1, po:o 0 < t <
0, po:o < t < 2
_

2
2

c) )(t) = c: , < t < d) )(t) = t , po:o < t < 0
t
2
2 2

c) c))(t) = 1, po:o < t < )))(t) =
2, po:o 0 < t <
0, po:o < t < 2
t, po:o < t < 0
t, po:o 0 < t <
_
_
_
2
8
2 4
8 8
4
8
q) )(t) = /)
co t, po:o < t < 0
c:t, po:o 0 < t <
0, po:o < t < 0
t , po:o 0 < t <
_ _
2
17. Expresar las siguientes funciones en serie de Fourier trigonomtrica:
o) )(r) =
, po:o < r <
[r[, po:o < r <
, po:o < r <
_
_
_

2 2
2 2
2 2
/))(r) =
r , po:o < r < 0
r , po:o 0 < r <
_

c) )(r) = r , < r < , d) )(r) = c , < r <
2 [r[

c))(r) = )) )(r) =
c , < r < 0
c , 0 < r <
r , < r <
, < r <
_
_
r
r
2
2 2
4 2 2
8

2
q) )(r) = r , < r < /))(r) = [r[, < r <
2

i))(r) = )))(r) =
1, < r < r, < r <
1, < r < r, < r <
_ _

2 2 2 2
2 2 2 2
8 8

/))(r) |))(r) =
0, _ r < 0
co r, 0 _ r <
0, _ r < 0
r , 0 _ r <
_ _
2
:) )(r) = r(1 r), _ r < :) )(r) = 1, 1 < r < 1
o ) )(r) = (1 r ), < r < 2 p))(r) = 1 r , 1 < r < 1
2 2
18. Cuales de las funciones siguientes son pares , impares, o ni impares ni pares ?
a) c , c , c::r, rc:r, , |:r, c:r , c: r
r r 2 2 co r
r
2
constante) /) [r[, rco r, c:r co r, c( , |:(1 c )
r r
2
19. Las siguientes funciones se suponen son peridicas, de perodo 2 , cules son
pares, impares o ni impares ni pares ?
o) )(r) = r ( < r < ) /))(r) = r (0 < r < 2 )
2
c) )(r) = r[r[ ( < r < ) d) )(r) = c ( < r < )
[r[
c))(r) = )))(r) =
r, i 0 < r < r , i < r < 0
0, i < r < 2 r , i 0 < r <
_ _

8
8
- -
q))(r) = /))(r) =
r, ( < r < )
0, ( < r < )
r , ( < r < )
r , ( < r < )
_ _

2 2
2 2
8
2
2 2
2
2 2
8
20 )(r) [)(r)[ ) (r) . Si es impar, entonces mostrar que y son pares
2
21. Si es par, entonces mostrar que y son pares. )(r) [)(r)[, ) (r) ) (r)
2 8
22. Si est definida para toda , entonces demostrar que la funcin q(r) r
p(r) = (r) =
q(r)q(r) q(r)q(r)
2 2
es par y la funcin es impar.
23. Usando 22, representar las siguientes funciones como suma de una funcin par y una
funcin impar
o) /) c) d)
1 1 r
1r 1r r1
2
c
r
24. Hallar las series de Fourier de las funciones siguientes que se suponen tienen perodo
2 .
o) )(r) = /))(r) =
1, < r <
0, < r <
r, 0 < r <
r, < r < 2
_ _

2 2
2 2
8

c))(r) = ( < r < ) d))(r) = [c:r[ ( < r < )
r
4
2

2. Usando series de Fourier de algunas funciones de los ejercicios anteriores o usando la
identidad de Parseval demuestre que
o) 1 (lc 24o))
1 1 1
8 7 4
=

/) 1 (lc 22c)
1 1 1 1
4 0 16 2 6
=

2
c) 1
1 1 1
4 0 16 12
=

2
d) 1 =
1 1 1
8 7 8
2 2 2
2
26. Hallar los desarrollos de medio rango de las siguientes funciones:

o) )(r) = 1 (0 < r < |) /) )(r) = 1 r(0 < r < |)
c) )(r) = r (0 < r < |) d) )(r) = r (0 < r < |)
2
c) )(r) = 1 (0 < r < ) )) )(r) = r (0 < r < 1)
q) )(r) = /) )(r) =
r, 0 < r < , 0 < r <
, < r < r, < r <
_ _

2 2 2
2 2 2

i) )(r) = )) )(r) =
r, 0 < r <
r < r < 0, < r <
r 0 < r <
_ _

8
4 8 4 2
2 2

/) )(r) = r (0 < r < |) |) )(r) = c (0 < r < |)
2 r
:) )(r) = c: (0 < r < |) :) )(r) = c: (0 < r < |)
r r
| 2|
o) )(r) = r = r (0 < r < |) p) )(r) = c:r (0 < r < )
2
:) )(r) = co r (0 < r < ) ) )(r) = c (0 < r < 1)

2r
t) )(r) = 1 r (0 < r < ) n) )(r) = c (0 < r < 1)
2 r
27. )(r) = r, 0 < r < , Dada la funcin hallar

a) El desarrollo senoidal
b) El desarrollo cosenoidal
c) La serie de Fourier completa en forma trigonomtrica.
7. TRABAJOS DIRIGIDOS EN FORMA DE TALLER
Taller No.1
Orupo l.
( Hallar tal que si entonces o) : _ , 2 N |
2: 1
:8
[ < .
(/) = 2. Pruebe que lim
:
2:
:8
Orupo 2.
Si es una sucesin de nmeros reales y probar que , _ ` = 1
: : :
:=1
:
lim
1 _ `
Orupo 3.
Si es una sucesin de nmeros reales y si = 1, = 1,
: 2: 2:1
:=1
: :
lim lim
pruebe que . Esto es, si las subsucesiones de de trminos pares y lim
:
: :
:=1
= 1 (
de trminos impares convergen a , entonces la sucesin tambin converge a 1
:
:=1
1).
Orupo 4.
(o) : _ < 0.08 Halle tal que si entonces N
1
:1
_
(/) = 0 Pruebe que lim
:
1
:1
_
Taller No.2
Orupo l.
Halle el lmite superior y el lmite inferior para las siguientes sucesiones
(o) 1, 2, 8, 1, 2, 8, 1, 2, 8, . (/) c:(
:
2
)

:=1
(c) (1 ) co : (d) (1 )
1 1
: :
:
:=1 :=1
Orupo 2.
Cuales de las siguientes sucesiones son montonas?
(o) c:: (/) to:: (c) (d)2: ( 1)
:
:=1 :=1 :=1 :=1

1
1:
2
Orupo 3.
Sea y sea para = 2 = 2 : _ 1
1 :1 :
_ _
_
Pruebe, por induccin que para todo (o) _ 2 :
:
Pruebe que para todo (/) _ :
:1 :
Pruebe que es convergente (c)
:
:=1
Pruebe que (d) = 2 lim
:
:
Orupo 4.
Supngase que y sea Pruebe que 0 = ( )(: _ 2).
1 2 :1 : :1
1
2
es decreciente (o) , , , .
1 8
s es creciente (/) , , , .
2 4 6
es convergente. (c)
:
:=1
Orupo 5.
Demuestre que :
(donde es el logaritmo natural) (o) = 0 |oq lim
:
|oq :
:
es una constante) (/) = 0 ( / lim
:
(|oq:)
:
/
(c) = 0 (/ 0). lim
:
|oq:
:
/
Orupo 6.
Para sea Probar que es : t = 1 (o) t N
: :
:=1
1 1 1 1
1! 2! 8! :!

creciente. Usando solamente hechos establecidos en la prueba de (/)
lim
:
1
:
:
:=1 :=1
:
(1 ) , t para probar que es acotada por encima y probar que
lim lim
: :
:
1
:
:
t _ (1 ) .
Taller No. 3
Orupo l.
1. Probar que es convergente. 1
1 1 1
2! 4! 6!

2. Si y si entonces probar que converge y que 0 _ o _ 1 (: _ 0) 0 < r < 1, o r
: :
:=1
:
_
su suma no es ms grande que
1
1r
.
Orupo 2.
1. Mostrar que es divergente.
_
:=1
:1
( 1)
1
2:1
2. Clasifique como divergente, condicionalmente convergente absolutamente
convergente a cada una de las siguientes series:
(o) 1 (/) 1
1 1 1
1! 2! 8!

1 1 1
8 7
(c) (d) 1 1
1 2 8 4 1 1 1 1
2 8 4 2 2 8 8

Orupo 3.
1. Mostrar que converge si y slo si para cada existe tal que
_
:=1
:
o 0 c N
| |
_
/=:1
:
/
o < . c Esta propiedad es conocida como condicin de Cauchy para las series.
2. Pruebe que si converge a , entonces o o o
1 2 8
1 1 1
2 2 2
1 2 2 8 8 4
(o o ) (o o ) (o o ) es convergente. Cual es el valor de la
suma de la segunda serie?.
Orupo 4.
1.Para que valores de la serie es convergente? p
1 1 1 1
1 2 8 4
p p p p

2. Si no es un nmero entero, probar que es r
1 1 1 1
r1 r2 r8 r4

convergente.
Orupo 5.
1. Es la serie convergente divergente? cul es la razn de su
_
:=1
1
:
|oq(1 )
afirmacin?.
2. Pruebe que para cualesquiera la serie o, / R
o (o /) (o 2o) (o 8/)
diverge a menos que o = / = 0.
Orupo 6.
1. (o o ) (o o ) (o o ) Pruebe que la serie es convergente si y slo si
1 2 2 8 8 4
o
:
:=1
es convergente. La serie as obtenida es llamada y se tiene que serie telescpica
_
:=1
: :1 1 :
:
(o o ) = o o . lim
2. r Para que valores de la serie
(1 r) (r r ) (r r ) (r r )
2 2 8 4
es convergente?.
Orupo 7.
1. converge diverge ? converge diverge ?
_ _
:=1 :=1

j
:1 :1
:2 10 (:2)
10
2. Mostrar que si la serie converge a entonces tambin o o o 1,
1 2 8
o 0 o 0 o 0 1.
1 2 8
converge a Ms generalmente mostrar que cualquier
nmero de trminos con 0 pueden ser insertados en una serie convergente sin alterar su
convergencia suma.
Taller No.4
Orupo l.
1.Pruebe si es verdad de un contra-ejemplo en caso de ser falso: Si es una serie
_
:=1
:
o
convergente de nmeros reales positivos y es una serie divergente de trminos
_
:=1
:
/
positivos, entonces
_ _
:=1 :=1

: :
o / .
2. cuales de las siguientes series son convergentes ?
(o) (/) (c)
_ _ _
:=1 :=1 :=1

: 1: 8
:! 1: 42
4
2 :
.
Orupo 2.
1. El criterio de la razn da alguna informacin acerca de la convergencia de la serie (o)
j j j j j
1 1 1 1 1
2 4 2 4 2
0 1 2 8 4
?.
(/) Es esta serie convergente?
2. Si es una sucesin de nmeros reales, y si pruebe que o = 1 < 1
:
:=1
:
lim [ [
o
o
:1
:
lim
:
:
o = 0.
Orupo 3.
1. Use el criterio de la raz en las siguientes series y que puede concluir en
(o) (/) (c)
_ _ _
:=1 :=1 :=1

r 1
: (|oq :)
(1 ) :
: :
2: 1
:
c
.
2 r . . Mostrar que converge para todo
_
:=1
r
:
:
R
3. Para qu valores de la serie es convergente ?. r
_
:=1
1
:
r
Orupo 4.
1. Pruebe que
_
:=1
r 1
: 1r
:
= |oq .
2. Estudie la convergencia de la serie
_
:=1
0
r
1r
1
:
2
_
dr.
Orupo 5.
1. Pruebe que
_ _
:=1
2
|oq[(1 ) 1: [
(|oq: )[|oq :1 [
1
:
:
:
:1
( )
( )
= |oq c.
2. Pruebe que
_
:=1
2 :
: r = .
r r
1r
2
8
( )
Orupo 6.
1. Mostrar que si entonces converge absolutamente. [r[ < 1 : r
_
:=1
10000 :
2. Para cada probar que las series y r 0 1 r
r r r r
2! 4! 8! !
2 4 8

convergen absolutamente.
Orupo . 7
1. Para que valores de la serie converge ? r 1 2r 8r 4r
2 8
2. Para que valores de la serie converge ? r r
r r r
8 7
8 7

3. Si y para cada probar que
_ _
:=1 :=1

: :
[o [ < : , _ , [/ [ < . N [ [ [ [
/ o
/ o
:1 :1
: :
Taller No.5
Orupo l.
1. Sea la funcin caracterstica del intervalo abierto (0,
:
1
:
) (0 _ r _ 1)
(o) [0, 1[ Probar que converge hacia 0 en
:
:=1
(b) Existe tal que si entonces | para todo ? : _ (r) 0[ < r [0, 1[ N
:
1
2
(c) Calcular lim
:
1
:
0
(r)dr
(d) Compare ( ) con (c). o
( oco , c:to:cc c ||o:odo dc j ct dc)i:ido R
funcin caracte stica r

o :
=
1 i r
0 i r y )
_
2. Ser la serie uniformemente convergente en ?
_
:=0
r
1r
2
2
:
( )
( , )
Orupo 2.
1. Sea una sucesin de funciones en [ tal que existe para cada ) o, /[ ) (r)
:
:=1
/
:
r (: [a,b] y N
(1) ) (r ) r [o, /[ converge para algn
: 0 0
:=1
(2) ) (r) [o, /[ converge uniformemente en

/
: :=1
Probar que converge uniformemente en . ) [o, /[
:
:=1
2. Demostrar que la serie converge uniformemente en cualquier

_
:=1
:
( 1)
r :
:
2
2
intervalo acotado, pero no converge absolutamente para ningn valor de r.
Orupo 3.
1. Consideremos si Encontrar la funcin lmite de ) = r , : = 1, 2, 8, . )
:
r
1:r
2
R
la sucesin la funcin lmite de la sucesin . ) )
:
:=1 :=1
/
:
(o) ) (r) r ) (0) = q(0) . r Demostrar que existe para todo pero Para qu valores de
/ /
es ? ) (r) = q(r)
/
(/) ) ) En qu subintervalo de , uniformemente ? R
:

(c) ) q En qu subintervalo de , uniformemente ? R
:
/
2. Si es convergente, pruebe que converge uniformemente para

_ _
:=0 :=0

: :
:
[o [ o r
0 _ r _ 1 .
Orupo 4.
1. Sea ) (r) = r(1 ), r = ( , )
:
1
:
R
q (r) =
i r = 0 , , rc i::ocio:o|
/ i r (r = o 0)
:
1
:
1 /
: o
_
(i) ) q Demostrar que y convergen uniformemente en cualquier

: :
:=1 :=1

intervalo acotado.
(ii) ) q Demostrar que no converge uniformente en ningn intervalo.
:
:=1
:
2. Demostrar que la serie converge uniformemente en .
_ j
:=1
r
:
(1)
:
:
_
c:(1 ) R
Orupo 5.
1. ) (r) = (0 _ r _ 1). ) Sea Demuestre que converge uniformemente
: :
c::r
:
:=1
a en , pero que no converge puntualmente a en 0 [ 0, 1[ ) 0 [ 0, 1[.
:
/
:=1
2.Usando en teorema de Taylor deduzca la serie sea, muestre que co r
co r = 1 ( < r < )
r r
2! 4!
2 4
Anlogamente deduzca que
c:r = r ( < r < )
r r
8! !
8
Orupo 6.
1. Sea ) (r) = (0 _ r < )
:
r
:
c
r
:
(o) ) [0, ) Converger uniformemente a 0 en ?
:
:=1
(/) ) [0, 00[ Converger uniformemente a 0 en ?

:
:=1

2. Sea una sucesin de funciones en tal que ) [o (r)[ _ ` (: : r )
: :
:=1
R N R
donde Sea una sucesin decreciente de nmeros o = ) ) ) . /
: 1 2 : :
:=1
reales positivos la cual es convergente hacia cero. Pruebe que converge

_
:=1
: :
/ )
uniformemente en . R
Orupo 7.
1. q (r) = (0 _ r < ). q 0 Sea Probar que converge uniformemente a
: :
1
:
:=1
c
:r
en [0, ).
2. Demostrar que cada una de las siguientes series convergen uniformemente en el
intervalo indicado:
( ) o (0 _ r < )(/) c r (0 _ r _ 10)
_ _
:=1 :=1

:r :
1
: r
2 2
( ) para todo . c r
_
:=1
c::r
:
8
2
R
Taller No. 6
Orupo l.
1. Si es una funcin a valor real en tal que existe para todo ) [o, o /[ ) (r)
(:1)
r [o, o /[ ) [o, o /[, y es continua en entonces
(:1)
)(r) = )(o) (r o) (r t) ) (t)dt
_
/=1
:
) (o)
/! :!
/ : (:1) 1
r
(/)
o
Este resultado es conocido como . ) ::n|o dc Toj|o: co::cto i:tcq:o/|c
Halle la frmula de Taylor con resto integrable de y )(r) = c:r ( < r < )
o = 0 . Demuestre adems que
[ (r t) ) (t)dt [ < ( < r < )
1
:! (:1)!
r
: (:1)
[r[
0
:1
2. rj ( 1 r)j :j = 0 La ecuacin es conocida como la ecuacin de
// /
c
Laguerre cuya solucin es dada por para 1 (r) = c r c r
:
r r : c c c
1 d
:! dr
:
:
( )
0 _ r < , estas funciones son llamadas los polinomios de Laguerre. Demostrar que los
polinomios de Laguerre forman un conjunto ortogonal.
Orupo 2.
1. (o) )(r) = o r r ( 1, 1) Supngase que converge para todo de algn intervalo
_
:=0
:
:
y que para todo de . Demostrar que cada )(r) = 0 r ( 1, 1) o = 0.
:
(/) )(r ) = 0 r Supngase que slo sabemos que para alguna sucesin con
: :
:=1
lim
:
: :
r = 0. o = 0 Demostrar de nuevo que cada
(c) )(r) = o r q(r) = / r r Supngase que y convergen para cada en algn
_ _
:=0 :=0

: :
: :
intervalo que contiene a y que para alguna sucesin que 0 )(r ) = q(r ) r
: : :
:=1
converge hacia . Demostrar que para todo En particular, una funcin tiene 0 o = / :.
: :
una representacin nica como serie de potencias centradas en . 0
2. Hallar las series de Fourier de las funciones siguientes que se suponen tienen perodo
2 .
o) )(r) = /) )(r) = .
1, < r <
0, < r <
r, 0 < r <
r, < r < 2
_ _

2 2
2 2
8

Orupo 3.
1. Demostrar que la serie binmica presenta el siguiente (1 r) = r
c c
_j
:=0
:
:
comportamiento en los puntos r = 1
(o) r = 1 _ 0 < 0. Si , la serie converge para y diverge para c c
(b) Si la serie diverge para , converge condicionalmente para r = 1, _ 1 c
1 < < 0, c y converge absolutamente en [0,1]
2.Dada la funcin hallar )(r) = r, 0 < r < ,
a) El desarrollo senoidal
b) El desarrollo cosenoidal
c) La serie de Fourier completa en forma trigonomtrica.
Orupo 4.
1. Sea )(r) = .
i r = 0
0 i r = 0
_
c
1
[r[
i) ) (0) r Demuestre que existe para todo .
(:)
_
:=0
:
) (0)
:!
(:)
si r = 0.
2 j rj :j = 0 . La ecuacin es conocida como ecuacin de Hermite y tiene por
// /
solucin a las funciones , llamadas polinomios de H (r) = ( 1)
:1
:
c c
r r
2 2
2 2
:
:
d
dr
_ _
Hermite. Demostrar que los polinomios de Hermite forman un conjunto ortogonal en
_ r _ .
Orupo 5.
1. La sucesin de Fibonacci est definida por o o = o = 1, o = o o
: 1 2 :1 : :1
:=1
.
(o) _ 2 Demostrar que .
o
o
:1
:
(/) )(r) = o r = 1 r 2r 8r Sea . Utilizar el criterio del cociente
_
:=1
:
:1 2 8
para demostrar que converge si )(r) [r[ <
1
2
(c) [r[ < , )(r) = (1:dicoci : : Demostrar que si entonces Esta ecuacin
1
2
1
r r1
2
se puede escribir como )(r) r)(r) r )(r) = 1 )
2
(d) Utilizar la descomposicin en fracciones simples para , y la serie de
1
r r1
2
potencias de para obtener otra serie de potencias para
1
ro
).
(c) ) Se sigue por un ejercicio anterior, que las dos series de potencias obtenidas para
deben ser idnticas. Utilizar este hecho para demostrar que
o = .
:
( (
_
1 1
2 2
: :
_ _
2. La ecuacin es llamada ecuacin de Chebyshev cuya (1 r ) j rj : j = 0

2 // / 2
solucin son los polinomios de Chebyshev para T (r) = co[:o:c co r[
:
1 _ r _ 1. Demostrar que los polinomios de Chebyshev forman un conjunto
ortogonal.
Orupo 6.
1. Demostrar que la serie converge para .
_j
:=0
:
: c
r [r[ < 1
(o) (1 r)) (r) = )(r) [r[ < 1 Demostrar que para
/
c
(/) ) (o) Demostrar ahora que cualquier funcin que satisfaga la parte es de la forma
)(r) = c(1 r) c
c
para cualquier constante , y utilizar este hecho para establecer la serie
binomial (1:dicoci : : Co:id :cc q(r) = )
)(r)
(1r)
c
2. Hallar las funciones propias y los valores propios del siguiente problema de Sturm-
Liouville:
j 8j ( 4)j = 0, j(0) = 0, j( ) = 0.
// /
`
7.1. Evaluacin final
1. a) Se considera una sucesin creciente y una sucesin decreciente y n
: :

:=0 :=0
se supone que cualquiera que sea el nmero entero . Mostrar que las n _ :
: :
sucesiones y son convergentes y que Si adems la n n _ .
: : : :

:=0 :=0
: :
lim lim
sucesin tiene por lmite a 0, las dos sucesiones tienen el mismo lmite. n
:
:
:=0
b) Aplicar el resultado de la parte a) a las sucesiones y definidas por n
: :

:=0 :=0
n (0 < n < )
0 0 0 0
y dados y por
n = n , =
:1 : : :1
_
n
2
: :
2. r _ 0 r < 0. Muestre que la serie converge uniformemente si y diverge si
_
:=0
c
:r
2
: 1
Para valores positivos de , se define una funcin por Usando los r ) )(r) = .
_
:=0
c
:r
2
: 1
teoremas de continuidad y derivabilibad para la convergencia uniforme demuestre que
)(r) r _ 0 r 0. es continua para y derivable para
3. t r Sean un nmero real dado, y dos variables reales. c
o) Determine la serie de Fourier trigonomtrica de la funcin definida por )
)(t) = co t < t < . c si
/ )(t) < t < )Explique por qu la suma de la serie obtenida es igual a si y
determine el valor de la suma para . t =
c) /) cotq r = ( onqc:c:cio r = t Deducir de la parte que : : Tome
1 2r
r r /
_
/=1
2 2 2
c
en la parte . /))
7.2. Solucin de la evaluacin
1.a) Las hiptesis entraan que
n _ n _ _ (\: = 1, 2, 8, .)
0 : : 0
La sucesin es creciente acotada superiormente por , por lo tanto es una n
: 0 0
:=0
cota superior del conjunto la sucesin es decreciente minorada n , n , n , . :
0 1 8 :
:=0
por , por lo tanto es una cota inferior del conjunto . Recordando el teorema n n
0 0 :
:=0
5 del 1(No.1.7) (respectivamente el teorema 4 de la misma seccin) tenemos que las
sucesiones y son convergentes digamos a y respectivamente. As n n
: :

:=0 :=0
existen y n = n = . lim lim
: :
: :
Si y son dos enteros arbitrarios : :
n _ n _ _
: :: :: :
.
Un minorante del conjunto es inferior a , por su , , , ., , . ( = i:) )
0 1 2 : :
parte es un mayorante del conjunto y por lo tanto mayor a n , n , n , ., n , .
0 1 8 :
n( = np n ).
:
En consecuencia
n _ n _ _ = 0 _ n _ n .
: : : :
Si y si , por la definicin de lmite, es posible hallar un n = 0 ( n ) = 0 lim
:
: :
nmero tal que : = n < n.
: :
Esto es imposible por la hiptesis y entonces, por contradiccin si n = 0
lim
:
: :
( n ) = 0.
b) Por recurrencia, se verifica comodamente que y n 0 0.
: :
n = ( ) n = ( ) _ 0
2 2 2 2
: :
n n
2 2
:1 :1
:1 :1 :1 :1
.
Puesto que y son positivos, se puede escribir n
: :
entonces n _ 0 = _ n
n = n _ n
= _
2 2
: :
: :
:1 : : :
:1 :
_
_
n
2
: :
La sucesin es creciente, la sucesin es decreciente y adems n n _ .
: : : :

:=0 :=0
Los resultados precedentes implican que:
n _ n _ _
: :1 :1 :
0 _ n _ n =
:1 :1 :1 :
'
=
:1
n
2
: :
n
2
: :
De donde por recurrencia sobre : :
0 _ n _
: :
n
2
0 0
:
En efecto, n _
1 1
n
2
0 0
n _ _ =
2 2
n
2 2 2
n
1 1 2
n
0 0
0 0
2
Suponiendo por hiptesis de induccin , ahora n _
: :
n
2
0 0
:
n _ _ =
:1 :1
2
n
2 2
n
:
n
0 0
2
:
0 0
:1
:
'
hiptesis de induccin
As la sucesin tiene por Todas las hiptesis de la parte a) n ( n ) = 0.
: : : :
:
lim
se han verificado y las sucesiones y convergen hacia el mismo lmite, n
: :

:=0 :=0
o sea lim lim
: :
: :
n = .
2.Los trminos de la serie son positivos
r _ 0 = _
c
:r
2 2
: 1 : 1
1
Usando el criteio M de Wierstrass (ver teorema 2 4.) la serie converge
_
:=0
c
:r
2
: 1
uniformemente.
Si entonces , as es divergente. r < 0, = lim
:
: 1 : 1
:=0
c c
:r :r
2 2
_
Por lo tanto para se ha visto que el trmino general de la serie es mayorado por r _ 0,
1
: 1
2
, trmino general de una serie convergente; este resultado entraa que la serie
converge uniformemente en Segn el teorema 1 del 4. como es [0, ).
c
:r
2
: 1
:=0
una sucesin de funciones continuas, entonces es continua, ya que la
_
:=0
c
: 1
:r
2
= )(r)
convergencia es uniforme.
La serie derivada tiene su trmino general no convergente
_
:=
:
: 1
1
:c :
: 1 : 1
:r
2 2
c
:r
2
<
para , puesto que al comparar con tenemos . r = 0 = 1
_ _
:=1 :=1

:
: 1
: 1 :
2
:
:
21
1
:
lim
Pero converge para todo positivo: La sucesin as
_

:=0
:
:c
: 1
:r
2
r :c 0
[:c [ < 1 <
:r
:=1
, luego y es convergente (compare con | |

_
:c 1 1
: : 1 : 1
:r
21 2 2
(2) . Como es una funcin creciente de , es evidente que = ) r r
_
:=1
:r
1
:
2
c
r _ o 0 = _ _ c c
:r :o
entonces | |
:c :c
: : 1
:r o
21 2
.
Como la serie es convergente; se sigue la convergencia uniforme de la serie
_
:=1
:c
: 1
o
2
derivada en el intervalo Se dice entonces que la funcin es
_
:=0
:c
: 1
:r
2
[o, ). )(r)
derivable si y que r _ o ) (r) = .
/
:=0
_
:c
: 1
:r
2
Si se puede tomar un nmero tal que el resultado precedente es r 0, o o < o < r : .
0 0
tambin valido y la funcin es derivable para el valor La funcin es as derivable ) r . )
0
en todo valor r 0.
0
3. (a) La funcin es par, los coeficientes son nulos para los coeficientes se puede ) / o
/ /
hacer las integrales en el intervalo y doblar el resultado obtenido [0, [
o = co t dt = 2
0
2
0
c
c:c
c
o = co t co/t dt = ( dt)
/
2 2
o 0
0 0
2

c c
co t c:/t c: t co/t co t co/t
/ / /
c c c c
| |
2 2
2 2
/ 0
c

(1 ) co t co/t dt = ( ) =
2
2

c
c c co/ c:
/
2
2 /
/ 0
c

( ) co t co t dt =
2 2
2

c c
2
(1) c:
/
c c
/
2
as
o = co t co t dt =
/
2
0
c c
(1) c:
( / )
/
2 2
c c
c
Obtenindose
)(t) = co /t (1)
c:
(1) c:
/
c
c c
c c
2
/=1
_
/
2 2
b) En la teora de series de Fourier, las funciones consideradas son supuestas peridicas;
falta as prolongar la funcin y tomar )
)( ) = )( ) = co , )( 2 ) = )(t) c
La funcin es entonces continua en y derivable en este intervalo, es decir ella ) [ , [
es derivable a derecha en y derivable a izquerda en . Se deduce que la funcin
peridica es continua y admite derivada a derecha y a izquierda en cualquier punto ) r
del intervalo ); pero ella no admite derivada para el valor pues [ ,
) ( 0) = c: , ) ( 0) = c:
/ /
c c c c.
Se dice entonces que la serie de converge hacia para todo valor de y por lo Fourier )(t) t
tanto hacia para todos los valores de de el valor est comprendido y co t t [ , [, c
posee el valor )( ) = co c
c) En particular, si en se tiene: t = (1)
co = c: c c
_
1
(1) 2 co/
( / ) c c
c
/=1
/
2 2
= c: = r c c
_
1 2
( / ) c c
c
/=1
2 2 2
.Tomando se tiene
cotqr =
1 2r
r r /
_
/=1
2 2 2
BIBLIOGRAFIA
[1] Apostol Tom M.: Calculus. Volumen . 1 Blaisdell Publishing Company. 1962
[2] Editorial Reverte, S.A 1960 Apostol Tom M : . Anlisis Matemtico.
[3] Kaplan Wilfred : Addison-Wesley Iberoamericana. 1986 Matemticas avanzadas .
[4] Kreyszig Erwin: Limusa. 1979 Matemticas avanzadas para Ingeniera. Volumen 1.
[5] Kuntzmann Jean: Hermann Collection. Paris 1967. Sries.
[6] Lefort G.: Dunod . Paris 1961 Algbre et Analyse. Exercices.
[7] Muoz Quevedo Jos M.: U. Nal. 1979. Introduccin a la teora de conjuntos.
[8] Snchez H. J D.: C.D. 1985. . Teora general de Ecuaciones Diferenciales lineales.
[9] Snchez H. J.D.: .C.D Elementos de operadores autoadjuntos de segundo orden
Bogot 1995.
[10] Snchez H. J.D.: U.Nal 1998. Matemticas V.
[11] Spivak Michael : Editorial Reverte S.A. 1978. Calculus . Volumen II.
[12] Takeuchi Yu : U. Nal. 1971. Sucesiones y series. Tomos 1 y 2.
Exitos y bienvenidos a la investigacin por internet. Cualquier comentario favor hacerlo llegar
a: danojuanos@hotmail.com
Copyright Daro Snchez Hernndez

Sucesiones Series Dario Sanchez

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Sucesiones Series Dario Sanchez

Uploaded by

Copyright:

Available Formats

SUCESIONES Y SERIES

Jos Daro Snchez Hernndez

Daro Snchez CURSO DE SUCESIONES Y SERIES 2

Teorema 1. Si es una sucesin de nmeros no negativos y si

1.5. Sucesiones convergentes

Sea una sucesin y : o

1.6. Sucesiones divergentes

1.8. Operaciones en sucesiones montonas.

sucesin es creciente, esto implica que . Por lo tanto o o ` (\: _ )

Teorema 6: Una sucesin creciente de nmeros reales, la cual no es

Teorema 7. Una sucesin decreciente que es acotada por debajo es

Teorema 9. Si es una sucesin de nmeros reales, y o

Teorema 10 : (o) Si entonces converge a . 0 < r < 1, r 0

Daro Snchez CURSO DE SUCESIONES Y SERIES 12

As usamos dado , debemos hallar tal que ` 0 0 [ [ < c N c

Teorema 13. Si y son sucesiones de nmeros reales, o /

1 11. Lmite superior e inferior .

decreciente y por lo tanto se tendra una de dos cosas, es convergente es decreciente a

Definamos ahora el lmite inferior. Si la sucesin de nmeros reales es acotada o

Hay un resultado anlogo en sucesiones divergentes a infinito.

No es siempre verdad que

1 12. Sucesiones de Cauchy .

_ : :i:o coto npc:io:o , o , o , _ o

22. Pruebe que es convergente (Ayuda: recuerde el mtodo para : 1 :

hallar por el proceso x donde

diverge a menos infinito.

31. Si la sucesin es acotada, pruebe que para cualquier existe un 0

Si para todo pruebe que < r : , = 0.

As la serie se puede escribir Es sin

As vemos inmediatamente que la serie debe diverger, puesto que y

Ejemplo. La serie es convergente.

El segundo ejemplo es la serie conocida como la 1

scric orn nico .

Hacemos incapie en el hecho de que la divergencia de la serie armnica muestra que

2.3. Series alternadas.

Ntese que en la prueba se demuestra que y por lo tanto _ 1 _ 1,

es una sucesin creciente y , se sigue que es lim

Si , tenemos que la serie converge , pues por el 0 < r < 1 1 r r r

Si separamos la serie en la serie de trminos positivos y los trminos negativos

anlogamente que es convergente.

De donde, puesto que es condicionalmente convergente , 1

Al teorema 10 se le conoce como para la convergencia critero de comparacin

Como ejemplo tomemos la serie y comparmosla con la serie armnica

Fin del segundo bloque

= = = = lim lim lim

Daro Snchez CURSO DE SUCESIONES Y SERIES 42

Corolario: La serie es convergente.

Nota: Que para tenemos y as

Daro Snchez CURSO DE SUCESIONES Y SERIES 44

Por el criterio de comparacin con el lmite se sigue que es

El resultado anterior claramente se tiene tembin para series de nmeros no positivos. El

entonces entonces es convergente. En forma

Daro Snchez CURSO DE SUCESIONES Y SERIES 47

Corolario: Si para algn las series de potencias y r o r / r R

Dadas dos sucesiones y sea , o / , = o o o , = 0

Ejemplo: Demostrar que las siguientes series son absolutamente convergentes

Daro Snchez CURSO DE SUCESIONES Y SERIES 50

(8 )(8 )(8 )(8 ) c c c c

(q) (: 1)r = (/) r =

Solamente algo ms difcil resulta el tratamiento de la continuidad el cual supone un

Teorema 4. Supongamos que es una sucesin de funciones )

Para el producto de sucesiones de funciones se tiene el siguiente resultado

Definicin : Al conjunto se le llama r [r[ _ o R conjunto

Para una sucesin numrica se ha estudiado la condicin de Cauchy, en el siguiente