Documente Academic
Documente Profesional
Documente Cultură
Sucesor de un conjunto significa, a otro conjunto con un elemento más; una manera de
formar a partir de un conjunto dado ( otro con un elemento más, es agregar el mismo (
como elemento, a esté le llamaremos “el sucesor de ( " y se le nota (b À
(b ~ ( r ¸(¹.
Así
0b ~ r ¸¹ ~ r ¸¹ ~
b ~ r ¸¹ ~ ¸¹ r ¸¹ ~ ¸Á ¹ ~
b ~ r ¸¹ ~ ¸Á ¹ r ¸¹ ~ ¸Á Á ¹ ~
b ~ r ¸¹ ~ ¸Á Á ¹ r ¸¹ ~ ¸Á Á Á ¹ ~
Å
Darío Sánchez CURSO DE SUCESIONES Y SERIES 2
Á ÄC son sucesiones en
s, representados por
¸ ¹B B C B b CB B C
~ ~ Á Á Á Á Ä y ~ ~ Á Á
Á
Á Ä .
Sea ¸ ¹B B
~0 una sucesión real, se dice que ¸ ¹~0 es una sucesión creciente
cuando la siguiente proposición es verdadera
¬
Ejemplo. Los conjuntos ¸ ¹B B
~1 Á ¸¹~1 son sucesiones crecientes.
Una sucesión ¸ ¹B~0 se dice acotada superiormente si existe una constante 4
tal que 4 Á ! oÀ
Se dice que una sucesión ¸ ¹B ~0 es acotada, si es acotada superior e inferiormente,
es decir que existe una constante 4 tal que O O 4 Á para todo oÀ
Si los términos de una sucesión ¸ ¹B~0 se acercan a un número 3, se dice que la
sucesión tiende al límite 3 ( o que converge a 3 ) y se nota:
lim ~ 3 ²ó, ¦ 3 " ¦ B ³
¦B
Más precisamente la sucesión ¸ ¹B ~0 converge a 3 , si dado un número cualquiera
, es posible la determinación de un número natural 5 tal que si
5 ¬ O c 3O
Esto es, a partir de un 5 -ésimo término todos los elementos de la sucesión están en un
entorno de 3 con radio .
Ejemplos.
1. La sucesión ¸ ¹B
~ naturalmente es convergente y su límite es À Para mostrar esto
demos y tratemos de hallar 5 o tal que O c O ¯ O O À
Ahora 5 ¯ 5 À Por lo tanto como los números naturales no son acotados en s
podemos tomar un número natural 5 tal que 5 Á así la proposición
(D )(E5 ! " 5 ¬ O c O ³
es verdadera, luego lim ~ À
¦B
2. Para la sucesión ¸1¹B ~0 , dado Á existe 5 ~ tal que si
5 ~ ¬ O c O ~ À Esto significa que lim ~ À
¦B
À Consideremos la sucesión ¸¹B~0 ~ ¸Á Á Á Á ĹÁ probemos que esta sucesión no
tiene límite. Supongamos por contradicción que lim ~ 3 y que 3 s , entonces para
¦B
cada existe un 5 o tal que si 5 Á entonces O c O À En particular
si ~ Á existe 5 o tal que
Darío Sánchez CURSO DE SUCESIONES Y SERIES 4
O c 3O ² 5 ³ ¯ c c 3 ² 5 ³ ¯ 3 c 3 b ² 5 ³À
Esta última afirmación asegura que para todo 5 Á 3 b de donde los números
naturales resultarían acotados lo cual es imposibleSR, luego lim no existe.
¦B
4. Consideremos la sucesión ¸² c ³ ¹B
~0 ~ ¸Á c Á Á c Á Ĺ y supongamos que
lim ² c ³ ~ 3 ¯ ²D ³²E5 o tal que si 5 entonces |² c ³ c 3O ³À
¦B
En particular para ~ , E5 o tal que O² c ³ c 3O
5 .
O c 3O si es par
² 5 ³ ¬ H
O c c 3O si es impar
B
Esto nos sugiere que la sucesión D b ° E ¦
~
Para esto dado ,E5 Á tal que si 5 ¬ c b ° c c
°
°
¯ c cc
b°
c ¯ b°
pero
° ° ° °
b°
y si
² 5 ³ ¬ b °
pues
° °
b ° ¯ b ° ¯ b° y ° ² 5 ³.
Esto nos lleva a elegir 5 de tal manera que
5 °
Á esto es escoger 5
en esta forma ° para 5 con 5
² pues ° 5° si 5 ³
Con esto hemos probado que dado existe 5 o tal que 5
así
c° ° °
c b ° c c ~ c b° c ~ b° ° 5 °
luego
lim ° ~ .
¦B b
Teorema 1. Si ¸ ¹B
~ es una sucesión de números no negativos y si
lim ~ 3Á entonces 3 À
¦B
Darío Sánchez CURSO DE SUCESIONES Y SERIES 5
Ejemplo: ¸¹B B
~ ~ ¸Á Á
Á Ĺ es una subsucesión de ¸¹~0 ~ ¸Á Á Á Á Ĺ
¸¹B B
~ ~ ¸Á Á Á Ĺ es una subsucesión de ¸² c ³ ¹~ ~ ¸ c Á Á c Á Á ĹÀ
Recordemos que una sucesión de números reales ¸ ¹B ~0 es una función de o en s,
B
vemos que el recorrido de ¸ ¹~0 es un subconjunto de s.
Si una sucesión diverge a infinito entonces la sucesión no es acotada. Una sucesión que
converge a infinito puede sin embargoÁ ser acotada inferiormente. Una sucesión que es
oscilanteÁ puede o noÁ ser acotada. La sucesión ¸Á c Á Á c Á Á Ĺ es oscilante y no
es acotadaÁ ni superiormenteÁ ni inferiormente. La sucesión ¸ c Á Á c Á Á c Á Ĺ es
oscilante y es acotada. La sucesión ¸Á Á Á Á Á Á Á Á Ĺ es oscilante, es acotada
inferiormente, pero no es acotada superiormente.
Puesto que las sucesiones de números reales son funciones a valor real la suma,
multiplicación y división entre sucesiones se pueden definir así, si ¸ ¹B B
~0 y ¸ ¹~0
B B
son sucesiones de números reales, entonces ¸ ¹~0 b ¸ ¹~0 es la sucesión
¸ b ¹B B B B
~0 y ¸ ¹~0 h ¸ ¹~0 es la sucesión ¸ h ¹~0 y así sucesivamente.
También, si s entonces ¸ ¹B B
~0 es la sucesión ¸ ¹~0 .
Teorema 8. Si ¸ ¹B B
~ y ¸ ¹~ son sucesiones de números reales, si
lim ~ 3 y lim ~ 4 Á entonces lim ² b ³ ~ 3 b 4 À En otras
¦B ¦B ¦B
palabras el límite de la suma es la suma de los límites.
+ !ó ¢ Dado , debemos hallar 5 o tal que
O² b ³ c ²3 b 4 ³O ²D 5 ³ ²³
Ahora
O² b ³ c ²3 b 4 ³O ~ O² c 3³ b ² c 4 ³O O c 3O b O c 4 O
Por lo tanto (1) se tendrá solamente si
O c 3O b O c 4 O ²D 5 ³ ²³
Así debemos tener que tanto O c 3O como O c 4 O deben ser menores que tomando
suficientemente grande.
Puesto que lim ~ 3, existe 5 o tal que | c 3O ²D 5 ³.
¦B
También como lim ~ 4 , existe 5 o tal que O c 4 O ²D 5 ³ .
¦B
Por lo tanto si seleccionamos 5 ~ %¸5 Á 5 ¹Á entonces los términos del primer
miembro de (2) son cada uno menor que cuando 5 À
Teorema 9. Si ¸ ¹B
~ es una sucesión de números reales, s y
lim ~ 3Á entonces lim ~ 3 À
¦B ¦B
+ !ó: Si ~ Á el teorema es obvio. Por lo tanto suponemos que £
. Así dado debemos hallar 5 o tal que O c 3O À
Ahora puesto que lim ~ 3Á existe N o tal que O c 3O O O ²D 5 ³À
¦B
Pero entonces
OOO c 3O ²D 5 ³
Darío Sánchez CURSO DE SUCESIONES Y SERIES 10
Corolario: Si ¸ ¹B
~ y
B
¸ ¹~ son sucesiones de números reales,
²D o³ y lim ~ 3Á lim ~ 4 entonces 3 4 À
¦B ¦B
+ !ó ¢ 4 c 3 ~ lim ² c ³À Pero c ²D o³ por lo
¦B
tanto por un resultado anterior 4 c 3 ² ver ejercicio 1 de esta sección.).
Con el fin de mostrar que el producto de límites, es el límite del producto, consideremos:
Lema : Si ¸ ¹B
~ es una sucesión de números reales la cual es
convergente a 3, entonces ¸ ¹B
~ converge a 3 À
+ !ó ¢ Debemos probar que lim ~ 3 À Esto es, dado debemos
¦B
hallar 5 o tal que
O c 3 O ²D o³ ¯ O c 3OO b 3O ²D o³ ²³
B
Ahora por ser ¸ ¹~0 una sucesión convergente entonces es acotada, así para algún
4 Á O O 4 ²D o³ así que
O b 3O O O b O3O 4 b 3 ²D o³ ²³
Darío Sánchez CURSO DE SUCESIONES Y SERIES 11
Lema : Si ¸ ¹B
~ es una sucesión de números reales y si lim ~ 4 ¦B
donde 4 £ entonces lim ¸ ¹ ~
4 À
¦B
+ !ó ¢ Se tienen dos casos 4 Á ó, 4 À Probaremos el caso
4 ² El caso 4 se puede probar aplicando el mismo razonamiento a la
sucesión ¸ c ¹B
~ ³.
Así usamos 4 dado , debemos hallar 5 o tal que O c 4
O
O c4 O
²D 5 ³ Á óÁ O 4 O ²D 5 ³
Como ¸ ¹ 4 , para 4 4
Á existe 5 o tal que 5 ¬ O c 4 O ,
ó, también
c4 4 4 4
c 4 ²D 5 ³ ¯ ²D 5 ³
así
| O 4 ²D 5 ³ ²³
4
También para existe 5 o tal que
O c4 O 4 ²D 5 ³ ²³
Así si 5 ~ %¸5 Á 5 ¹ tenemos, para 5
O c4 O
O 4 O ~ O |4 h 4 44 h 4 ~ .
Ejemplos:
lim b ° ~ lim ~ ~
¦B ¦B b ° blim
¦B °
Hallar el valor de lim c
¦B b
c
²c
³ c
À ~ ~
b ² b ³ b
À Ya hemos mostrado que lim ~ y lim ~ , además lim ~
¦B ¦B ¦B
À. De todo lo anterior se tiene
c
lim ²c
³ lim c
lim
lim c
~ lim ~ ¦B
~ ¦B ¦B
~ .
lim b lim
¦B b ¦B b lim ² b ³
¦B ¦B ¦B
Darío Sánchez CURSO DE SUCESIONES Y SERIES 13
Resutado: Sean ¸ ¹o Á ¸ ¹o , y , ¸ ¹o tres sucesiones de números
reales tales que para todo o, si lim ~ lim ~ 3,
¦B ¦B
entonces lim ~ 3À
¦B
Si ¸ ¹B
~0 es una sucesión convergente entonces lim mide rapidamente “el tamaño
¦B
de cuando es grande”. Se sigue que lim es un concepto usado solamente en
¦B
conección con sucesiones convergentes. En esta sección introducimos un concepto
relacionado con la acotación superior e inferior el cual puede aplicarse a cualquier
sucesión. A grosso modo el límite superior de una sucesión ¸ ¹B ~0 es la medida de
“que tan grande puede ser cuando crece” y el límite inferior “que tan pequeño es
cuando es grande”. Si lim existe, es plausible que el límite superior y el límite
¦B
inferior sean iguales.
Primero consideremos una sucesión ¸ ¹B ~0 la cual es acotada por encima, digamos
que existe 4 tal que 4 ²D o³ À Entonces para cada oÁ el
conjunto ¸ Á b Á b Á Ĺ es claramente acotado por arriba y por lo tanto tiene una
mínima cota superior ó supremo
4 ~ supÀ¸ Á b Á b Á Ĺ
Más aún, es facil ver que 4 4b puesto que 4b ~ supÀ¸b Á b Á Ĺ es el
supremo de un subconjunto de ¸ Á b Á b Á Ĺ. Así la sucesión ¸4 ¹B ~ es
decreciente y por lo tanto se tendra una de dos cosas, es convergente ó es decreciente a
menos infinito.
B
Por ejemplo, sea ~ ² c ³ ² o³À Entonces ¸ ¹~ 0 es acotada por arriba. En
este caso 4 ~ para cada 5 y por lo tanto lim 4 ~ À
¦B
Así
lim supÀ ² c ³ ~ À
¦B
Consideremos en seguida la sucesión ¸Á c Á Á c Á Á c Á Á c Á Á ĹÁ de nuevo
4 ~ para cada y así el límite superior de esta sucesión es . Si ~ c entonces
4 ~ supÀ ¸ c Á c Á c c Á Ĺ ~ c Á por lo tanto 4 ¦ c B cuando
¦ BÁ así lim supÀ ~ c BÀ
¦B
Definición : Si ¸ ¹B
~ es una sucesión de números reales la cual no está
acotada superiormente, entonces lim supÀ ~ BÀ
¦B
En este punto el lector podrá verificar las siguientes afirmaciones:
Darío Sánchez CURSO DE SUCESIONES Y SERIES 15
(1) Si ¸ ¹B
~0 es acotada por arriba y tiene una subsucesión la cual es acotada por
debajo por (Á entonces lim supÀ (
¦B
²³ Si ¸ ¹B
~0 no tiene subsucesiones las cuales son acotadas por debajo entonces
lim " ~ c BÀ
¦B
Notemos que cambiando un número finito de términos de la sucesión ¸ ¹B
~0 no
cambia el lim supÀ À Así, el límite superior de la sucesión
¦B
¸ Á Á c Á Á c Á Á Ĺ es À
Hay un análogo obvio del resultado anterior para sucesiones divergentes a menos
infinito, que el lector podrá formular y probar.
Darío Sánchez CURSO DE SUCESIONES Y SERIES 17
Se sigue del resultado anterior que si ¸ ¹B~0 es una sucesión acotada de números reales
y si 4 s es tal que (a) y (b) se tienen para cada , entonces
lim supÀ ~ 4
¦B
Análogamente, si s es tal que (c) y (d) se tienen para cada Á entonces
lim infÀ ~ À
¦B
Usando el teorema 22 podemos probar el siguiente resultado útil.
El más importante criterio para probar que una sucesión converge sin conocer su límite es
llamado “ criterio de Cauchy ”
Lema : Si ¸ ¹B
~ es una sucesión de Cauchy de números reales
entonces ¸ ¹B ~ es acotada.
+ !ó ¢ Dado ~ , escogemos 5 o tal que O c O
²Á 5 ³À Entonces
O c 5 O ² 5 ³ ²³
Por lo tanto, si 5 Á tenemos
O O ~ O² c 5 ³ b 5 O O c 5 O b O5 O
y así usando (1) tenemos
O O b O5 O ²D 5 ³
Si tomamos 4 ~ maxÀ¸O OÁ O OÁ O OÁ ÄÁ O5 b O¹Á entonces
O O 4 b b O5 O ²D o³
Darío Sánchez CURSO DE SUCESIONES Y SERIES 20
Si Á sea ~ entonces
lim j
~ lim ~
¦B ¦B j
Si ~ entonces lim j
~ lim ~ À
¦B ¦B
À + ! " lim ~ ² Á ³
¦B
:"ó ¢ (a) Si ~ Á sea ~ b ²D ³ Á tenemos
~ ²b³ ²c³ ~ ²c³ ¦ B
bb ²c³
(b) Si entonces 0 ¦ ²cuando ¦ B³
(c) Si entonces lim ° ~ ya que °
¦B ( ³
Por lo tanto
lim ~ lim ´ ° µ ~ À
¦B ¦B ² ³
. + ! " lim ~
¦B [
:"ó ¢ Sea un número natural tal que y sea [ ~
Si entonces tenemos
[ ~ h b h b hÄh c ¦ ² ¦ B³À
À + ! " lim ~ À
¦B
:"ó ¢ Sea & ~ entonces ~ & À Tomando exponencial a los
dos lados tenemos
²& ³ ²& ³
~ & b & b
Luego
& k ¦ À
Darío Sánchez CURSO DE SUCESIONES Y SERIES 22
À : ¸ ¹B
~0 " " ó ! " b ~ k b
j Á ~ À + ! "
" ó #! À
:"ó ¢ Tenemos
4kbj 5 c4kbjc 5
b c ~ k b j c k b jc ~
kbj bkbjc
bj ccjc j cjc
~ ~ ÀÀÀÀÀetc. ( vea ejercicio 68)
kbj bkbjc kbj bkbjc
1.14. Ejercicios
.Para cada una de las siguientes sucesiones probar en cada caso, si la sucesión es
convergente o divergente, en el caso convergente halle el límite.
(a) B C
b o (b) B 3 C
b o (c) B 3n C
b7n o
B
10
7. (a) Pruebe que la sucesión B C~ tiende a À
n CB
(b) Pruebe que B 10 ~
no tiene límite.
B
8. Pruebe que B c C~ no tiene límite.
9. Si ~ [ , muestre que lim ~ ²(&" ¢ 7 " " [ À ³
¦B
10. Si P es una función polinomial de tercer grado
P(%³ ~ % b % b % b ²Á Á Á Á % s³
7 ²b³
probar que lim ~ À
¦B 7 ²³
11.Sea { ¹B~ una sucesión definida por
~ Á
~ Á
b ~ b c ² ~ Á Á Á Ã ³
Halle ², ! ú ú - ³À
12. Escriba la fórmula o “ término general ” para cada una de las siguientes
sucesiones (Por ejemplo, la sucesión 2,1,4,3,6,5,8,7,Ã puede ser definida por
Darío Sánchez CURSO DE SUCESIONES Y SERIES 23
b Á
~F
c Á
(a) 1,0,1,0,1,0,Ã
(b) 1,3,6,10,15,Ã
(c) 1, c ,
Á c
Á Á c
Á Ã
(d) Á Á Á Á Á Á Á Á Á Á Á
Á Ã
À ¿Cada una de las sucesiones (a), (b), (c), (d) en el ejercicio anterior son subsucesiones
de {}B ~ ?
14. Si : ~ { ¹B ~ ~ ¸ c ¹~ y
B B
2 ~ ¸ ¹~ ~ ¸ ¹~
B
hallar Á
Á Á À
B
¿ Es 2 una subsucesión de ¸¹~ ?
15. Para cada Á sÁ se muestra que b| O c OOb O c OÀ Entonces demostrar que
¸| |¹B B
~ converge a |3O si ¸ ¹~ converge a L.
16. Dar un ejemplo de una sucesión ¸ ¹B B
~ de números reales , para la cual ¸| |¹~
converge pero ¸ ¹B ~ no converge.
17.Probar que si ¸| |¹B B
~ converge hacia entonces ¸ ¹~ también converge a .
18.¿ Puede usted hallar una sucesión de números reales ¸ ¹B ~ la cual no tenga
B
subsucesiones convergentes y sin embargo se tenga que ¸ ¹~ es convergente ?
19. Si ¸ ¹B ~ es una sucesión de números reales y si
lim ~ 3Á lim c ~ 3Á
¦B ¦B
pruebe que 3 cuando B ²Esto esÁ si las subsucesiones de ¸ ¹B ~ de términos
pares y de términos impares convergen a 3 Á entonces la sucesión ¸ ¹B ~ también
converge a 3).
20. Estudiar cada una de las siguientes sucesiones según sean (A) convergentes, (B)
divergentes a infinito, (C) divergentes a c B ,(D) oscilantes. (Use su intuición o su
información sobre cursos de cálculo. No intente probar ninguna afirmación)
B B
(a) ¸ ( n ³ ¹~ (b) ¸ ¹~ (c) ¸ ¹~
B B
²d) ¸ ¹~
²e³ ¸ ( ³ ¹B ~ ²f³ ¸² c ³ !( c ³ ¹B ~
B B
²g³ ¸1 b b b Ä b ¹~ ²h³ ¸ c ¹~
j B
À Pruebe que ¸ ¹~ diverge a infinito.
22. Pruebe que ¸j b c j ¹B ~ es convergente (Ayuda: recuerde el método para
&
hallar % por el proceso "x donde & ~ j% ³
23. Pruebe que si la sucesión de números reales ¸ ¹B ~ diverge hacia infinito entonces
¸ c ¹B ~ diverge a menos infinito.
24. Supóngase que ¸ ¹B B
~ converge hacia 0. Pruebe que ¸² c ³ ¹~ converge
hacia 0.
25. Suponga que ¸ ¹B
~ converge a 3 £ À Pruebe que ¸² c ³ ¹~ es una
B
sucesión oscilante.
26. Supóngase que ¸ ¹B ~ diverge a infinito. Pruebe que ¸² c ³ ¹~ B
es una
sucesión oscilante.
27. Es verdad o falso, que si una sucesión de números positivos no es acotada entonces la
sucesión diverge a infinito.
28. Dar un ejemplo de una sucesión ¸ ¹B ~ la cual no es acotada pero que
lim ~
¦B
Darío Sánchez CURSO DE SUCESIONES Y SERIES 24
B
29. Pruebe que si lim £ Á entonces ¸ ¹~ no es acotada.
¦B
30. Si ¸ ¹B B
~ es una sucesión acotada de números reales, y ¸! ¹~ converge a 0,
pruebe que ¸ ! ¹B ~ converge a 0.
31. Si la sucesión ¸ ¹B~ es acotada, pruebe que para cualquier existe un
intervalo cerrado J s de longitud tal que J para infinidad de valores de n.
32 ¿Cuales de las siguientes sucesiones son monótonas ?
(a) ¸ ¹B~
B
²³ ¸! ¹~ ²³¸ b B
¹~
B
Definición: Una serie infinita es una pareja ordenada
~
º¸ ¹o Á ¸ ¹B
~ » donde ¸ ¹o
es una sucesión de números reales y
~ b b Ä b ²D o³À El número es llamado el -ésimo
término de la serie. El número es llamado la -ésima suma parcial de
la serie.
B
Notacionalmente la serie la podemos con frecuencia indicar con
~
b b Ä b b Ä ó simplemente con b b Ä
Como un ejemplo la -ésima suma parcial de la serie c b Ä b ² c ³b b Ä si
es par da 1 y si es impar da 0 .
Es con frecuencia conveniente iniciar los términos de una serie empezando con ~ o
cualquier número £ cuidando siempre que el término c ésimo tenga sentido. Esto
B
es, escribimos algunas series como (en este caso se entiende que
~0
B
~ b b Ä b ³ À Así la serie b % b % b Ä se puede escribir % À Es sin
~0
embargo trivial verificar que cualquier definición ó teorema a cerca de series escritas
B B B
tiene exacto análogo para series escritas en la forma , ó, para
~ ~0 ~
cualquier 0.
B
La definición de convergencia ó divergencia de una serie depende de la
~
convergencia ó divergencia de la sucesión de las sumas parciales ¸ ¹B
~ À
B
Definición: Sea una serie de números reales con sumas parciales
~
~ b b Ä b ²D o³À Si la sucesión ¸ ¹B
~ converge a ( s,
B
podemos decir que la serie converge hacia (. Si ¸ ¹B
~ diverge,
~
B
decimos que diverge.
~
B B B
Si converge hacia (, con frecuencia escribimos ~ (À Así usamos no
~ ~ ~
solamente para denotar la serie sino también para denotar su suma (en el caso de series
convergentes). Con esta advertencia dejamos al lector convencerse así mismo que no se
Darío Sánchez CURSO DE SUCESIONES Y SERIES 28
tienen ambigüedades. Como una consecuencia de las sucesiones se siguen los siguientes
resultados.
B B
Teorema 1. Si es serie convergente hacia ( y converge a ) ,
~ ~
B
entonces ² b ³ converge hacia ( b ) . También si s entonces
~
B
converge a (À
~
+ !ó ¢ Si ~ b b Ä b y ! ~ b b Ä b entonces
B
por hipótesis lim ~ ( y lim ! ~ ) . Pero la -ésima suma parcial de ² b ³
¦B ¦B ~
es ² b ³ b b b Ä b ² b ³ ~ b ! Á así
lim ² b ! ³ ~ lim ² b ! ³ ~ lim b lim ! ~ ( b )À
¦B ¦B ~ ¦B ¦B
B
Una consecuencia obvia es ² c ³ ~ ( c )À
~
B
Teorema 2. Si es una serie convergente, entonces lim ~ À
~ ¦B
B
+ !ó ¢ Supóngase que ~ ( . Entonces lim ~( donde
~ ¦B
Cuando examinamos una extensión de esta propiedad para series infinitas consideramos
B
la serie en la cual cada término puede ser expresado como la diferencia de dos
~
términos sucesivos de una sucesión ¸ ¹o en la forma ~ c b , entonces esta
serie es conocida como serie telescópica y cuya conducta está caracterizada
por el siguiente resultado.
Resultado.Sean ¸ ¹o y ¸ ¹o dos sucesiones tales que ~ c b
B
para ~ Á Á Á Ã À Entonces la serie es convergente si y sólo si
~
B
¸ ¹o es convergente, en tal caso tenemos ~ c 3Á donde
~
3 ~ lim .
¦B
B
+ !ó: Sea denotando la -ésima suma de , entonces tenemos
~
~ ~ c b ~ c b . Por lo tanto ambas sucesiones ¸ ¹o y
~ ~
¸ ¹o convergen o ambas divergen. Además si S3 cuando SB entonces
S c 3 y esto completa la prueba del resultado.
B B
Ejemplo. La serie ~ 2 c 3 ~ c lim ~ es convergente.
b b
~ ~ ¦B
Las series más faciles de tratar son aquellas cuyos términos son positivos. Para estas
series toda la teoria en convergencia y divergencia es abarcada en los siguientes
teoremas.
B
Teorema 3. Si es una serie de números no negativos con
~
~ b b Ä b ²D o³Á
entonces
B
²³ converge si la sucesión ¸ ¹B
~ es acotada;
~
B
²³ diverge si ¸ ¹B
~ no es acotada.
~
+ !ó ¢ ²³ Puesto que b tenemos
~ b b Ä b b b ~ b b
b
B B
Así ¸ ¹~ es creciente y por hipótesis acotada, entonces ¸ ¹~ es convergente y así
B
converge.
~
Darío Sánchez CURSO DE SUCESIONES Y SERIES 30
B
²³ Si ¸ ¹B B
~ no es acotada, entonces ¸ ¹~ diverge . Por lo tanto también
es
~
divergente.
Damos dos ejmplos importantes de series con términos positivos. El primero es la serie
geométrica b % b % b % b Ä
B
Teorema 4. ²³ Si % Á entonces % converge a
c %
~
B
²³ Si % Á entonces % es divergente.
~
+ !ó ¢ La conclusión de (b) es inmediata puesto que lim % no existe y
¦B
B
por lo tanto % es divergente.
~
(a) Tomemos s ~ b % b % b Ä b %
b³ c % ~ c % c % c Ä c % c %b
b
² c %³ ~ c %
b
%b
Luego ~ c%
c% ~ c% c c% ²D o³
Pero ya mostramos que si % Á entonces lim % ~ . Por lo tanto lim ~ c%
¦B ¦B
así hemos probado (a).
B
Teorema 5. La serie es divergente.
~
+ !ó ¢ Examinemos la subsucesión Á Á Á Á ÄÁ Á Ä de ¸ ¹B
~
donde en este caso, ~ b b b Ä b À Tenemos
~
~ b ~
~ b b b b b ~
~ b b
b b b b b b ~
en general, podemos mostrar por inducción que b B
À Así ¸ ¹~ contiene una
B
subsucesión divergente, luego ¸ ¹B
~ es divergente y por lo tanto
es divergente.
~
Hacemos incapie en el hecho de que la divergencia de la serie armónica muestra que
B
puede diverger y lim ~ À
~ ¦B
Darío Sánchez CURSO DE SUCESIONES Y SERIES 31
B
Para series con términos positivos solo introducimos la siguiente notación: Si es
~
B B
convergente entonces simplemente escribimos B . Si es una serie
~ ~
B
divergente de términos positivos, algunas veces escribimos ~ B. Así
~
B B
( ³ BÁ ~ BÀ
~ ~
Es muy importante notar que no hay series que divergen «tan lentamente como sea
posible». Más exactamente.
B
Teorema 6. Si es una serie divergente de números positvos,
~
entonces hay una sucesión ¸ ¹B
~ de números positivos la cual es
B
convergente a cero para la cual todavía diverge.
~
+ !ó ¢ Sea ~ b b Ä b À Nos basta mostrar que la serie
es divergente
~
b c b c
~
b
¸² b c ³ b² b c b³ bÄb² b c ³¹
b b
~ ~
b c b c b
~ ~
b b
Así, para cada o existe o tal que
b c .
b
~
b c
Las sumas parciales de la serie no forman una sucesión de Cauchy y por lo
b
~
b c
tanto ~ B.
b
~
B B
Pero b c ~ b . Así b ~ ~ BÀ
b
~ ~
B
Sea ~ À Entonces ¦ cuando ¦ B y ~ BÀ
~
Una serie alternada es una serie infinita cuyos términos alternan en signo. Por ejemplo
c b c b cÄÁ c b c b c ÄÁ c b c b c Ä
son todas series alternadas. Una serie alternada puede también escribirse como
B B
² c ³b donde es un número positivo [ ó como ² c ³ si el primer
~ ~
Darío Sánchez CURSO DE SUCESIONES Y SERIES 32
B
Corolario. Si la serie alternada ² c ³ satisface las hipótesis del
~
teorema 7 y cuando converge a algún 3 s entonces O c 3O b
²D o³À
B
Así la diferencia entre la suma de ² c ³ y cualquiera suma parcial no será más
~
grande que la magnitud del primer término no incluido en la suma parcial.
B
Ilustremos ahora con un ejemplo. Vimos que es divergente, sin embargo, puesto que
~
B
¸ ¹B
~ es una sucesión creciente y lim
~ , se sigue que ² c ³ es
¦B ~
convergente. Esto es para algún 3 s tenemos
²c³b
c b c b c Ä b b Ä ~ 3.
Sin duda, no conocemos que es 3Á pero usando el corolario podemos estimarlo, así para
cualquier o tenemos
²c³b
O¸ c b c b c Ä b
¹ c 3O b
si tomamos ~
esto nos brinda
OÀ
c 3O ¯ À
3 À
b b b b Ä
la cual es la serie armónica de quien ya sabemos que es divergente. Esto nos conduce a la
siguiente definición, la cual establece una división entre las series convergente en dos
clases.
B
Definición: Sea una serie de números reales
~
B B
²³ Si O O converge, decimos que converge absolutamente.
~ ~
B B B
²³ Si converge pero | | es divergente, decimos que es
~ ~ ~
condicionalmente convergente.
B B
²c³ ²c³ es
Así la serie es absolutamente convergente mientras que
~ ~
condicionalmente convergente.
Debemos justificar el uso de la palabra “convergente” en la frase “absolutamente
convergente”. Esto se da en el siguiente teorema.
B B
Teorema 8. Si converge absolutamente entonces es
~ ~
convergente.
+ !ó ¢ Sea ~ b b Ä b À Probemos que ¸ ¹B ~ es
B
convergente. Basta mostrar que ¸ ¹~ es una sucesión de Cauchy. Por hipótesis
B
O O B y ¸! ¹B B
~ converge donde ! ~ O O b O O b Ä b O OÁ luego ¸! ¹~ es
~
una sucesión de Cauchy. Así, dado , existe 5 o tal que
O! c ! O ²Á 5 ³.
Pero si suponemos recibimos
O c O ~ Ob b b b Ä b O Ob O b Ob O b Ä b O O ~ O! c !O
De donde tenemos
O c O ²Á 5 ³
Esto prueba que ¸ ¹B
~ es una sucesión de Cauchy, lo cual deseabamos mostrar.
B
Si separamos la serie en la serie de términos positivos y los términos negativos
~
podemos mostrar una importante distinción entre series absolutamente convergente y
series condicionalmente convergentes.
B
Más exactamente, si es una serie de números reales, sea
~
si
~ F
si
´Así, para la serie c b c b Ä Á ~ Á ~ Á c ~ c Á mientras que
~ ~ Ä ~ µ
Análogamente, sea
Darío Sánchez CURSO DE SUCESIONES Y SERIES 35
si Á
~ F
si À
B
Los son términos positivos de (junto con algunos ceros) mientras que son
~
términos negativos. Es fácil ver que
~ maxÀ¸ Á ¹ Á ~ minÀ¸ Á ¹
y por lo tanto
~ b O O y ~ c O O
También
~ b ² ~ ² b ³ ~ ² b O O b c OO ³
No es ahora difícil probar el siguiente resultado interesante.
B
Teorema 9. ²³ Si converge absolutamente entonces ambas series
~
B B
y convergen . Sin embargo
~ ~
B B
²³ Si converge condicionalmente, entonces ambas series y
~ ~
B
son divergentes.
~
B B
+ !ó ¢ (a) Si y O O son ambas convergentes, entonces
~ ~
B B
² b O O³ también es convergente. Así como ~ b O O se sigue que
~ ~
B B
es convergente y por lo tanto p es convergente. La serie puede mostrarse
~ ~
análogamente que es convergente.
B B
(b) Supongamos ahora que converge condicionalmente, entonces converge
~ ~
B B
pero O O es divergente, tenemos además que O O ~ c À Si converge,
~ ~
B B
entonces tendríamos que ² c ³ ~ O O convergería, lo cual es
~ ~
B
contradictorio. Por lo tanto es divergente. Análogamente se muestra la
~
B
divergencia de .
~
Ejemplos:
B B
²c³
1) b puesto que
~ ~
O ²c³
O
b ¯
b ¯ b para
2) b b b Ä b b
bÄ
B B B B
Nota. Que no implica necesariamente que À
~ ~ ~ ~
B B B
Teorema 10. Si es dominada por donde converge
~ ~ ~
B
absolutamente, entonces también converge absolutamente.
~
Simbólicamente tenemos
B B B B
Si y | O B Á entonces O O B
~ ~ ~ ~
B
+ !ó ¢ Sea 4 ~ O O À Tenemos O O O O para todo n N. Puesto
~
que
O O b O O b Ä b O5 O b O5 b O b O5 b O b Ä b O O O O b O O b Ä b 4
B B
Así las sumas parciales de | | son acotadas por arriba, entonces | | es
~ ~
convergente.
B B B
Á la cual es
Ejemplo: Considere ~ b À Esta serie domina a
~ ~ ~
B
divergente entonces b es divergente ² b para ³
~
B
O O
Teorema 12. ²³ Si converge absolutamente y si lim existe
~ ¦B O O
B
entonces converge absolutamente.
~
B B
O O es divergente y O O O O es
²³ Si lim existe , entonces
~ ¦B O O ~
divergente.
O O
+ !ó ¢ a) Si lim existe entonces
¦B O O
¸ OOOO ¹B
~ es acotada . Por lo
tanto para algún 4 Á
O O 4 O O ²D o³
B B
Esto muestra que es dominada por la serie convergente absolutamente 4 ,
~ ~
B
por lo tanto O O converge.
~
B B
b) Como en la prueba de (a) tenemos O O 4 O O así que domina a ² 4 ³O O
~ ~
B
la cual diverge entonces O O ~ BÀ
~
B
Como ejemplo tomemos la serie cb y comparémosla con la serie armónica
~
B
entonces aquí ~ Á ~ tenemos entonces
cb
~
lim O O ~ lim cb
~
¦B ¦B
B B B
Pero O O ~ ~ BÁ luego cb
es divergente.
~ ~ ~
Darío Sánchez CURSO DE SUCESIONES Y SERIES 38
Entonces
B
²³ Si ( Á entonces O O es convergente
~
B
²³ Si Á entonces es divergente
~
²³ Si (Á entonces el criterio falla ( no es consistente³.
+ !ó ¢ (a) Si ( escójase ) tal que ( ) . Entonces
) ~ ( b para algún por lo tanto existe 5 o tal que
c b c ) ²D 5 ³
entonces
c Nb c ) , c 5 b c )Á y así c Nb2 c ~ c Nbb2 cc Nb c )
N 5 b N N 1 N
Para cada en forma análoga tenemos
c Nb2 c c Nbk cÄc Nb c )
N N+k-1 N
Así O5 b O O5 O) ² ~ Á Á Á Á ijÀ
B
Pero O5 O h ) converge puesto que ) .Así por el criterio de comparación se
~0
B
sigue que O5 b O converge. Esto es O5 O b O5 b O b Ä converge. Se sigue facilmente
~0
B
que O O BÀ Esto prueba (a).
~
(b) Si , entonces por el teorema 22 de §1 c b c para todo 5 ( para
algún 5 o³. Pero entonces O5 O O5 bO O5 b O ÄÁ y así ciertamente la
B
sucesión ¸ ¹B
~ no converge hacia , entonces
divergeÀ
~
B B
(c) Ilustremos considerando primero ~ À Puesto que lim b ~ se sigue
~ ~ ¦B
B B
que ~ ~ (À La serie es divergente. Ahora tomemos vemos que
~ ~
²b³
lim ~ lim ²b³ ~ lim ~
¦B ¦B ¦B ²b ³
B
y aquí es convergente.
~
Darío Sánchez CURSO DE SUCESIONES Y SERIES 39
Vemos inmediatamente que si lim O b O existe ( y es igual digamos a 3 ), entonces
¦B
B
O O converge si 3 y diverge si 3 Á mientras que si 3 ~ no podemos
~
concluir nada.
B
Ejemplo: Consideremos [ Á aquí ~ [ Á así que
~
Ob O ²b³b [ ²b³
O O ~ ²b³[ h ~ ~ ² b ³
B
Pero lim ² b ³ ~ Á y así ~ ~ (À En particular así que [ es
¦B ~
B
divergente. Este cálculo muestra que la serie [ tiene ( ~ por lo tanto
~
B
se sigue que [ es convergente.
~
Teorema 14. Si el
lim supÀ j
O O ~ (
¦B
B
entonces la serie de números reales .
~
(a) Es convergente absolutamente si ( Á
(b) Es divergente si ( ( Esto incluye el caso lim supÀ j
O O ~ B)
¦B
(c) Si ( ~ el criterio no es concluyente.
+ !ó ¢ Si ( escojamos ) tal que ( ) À Entonces por el
teorema 22 del §1 existe 5 o tal que j
O O ) ²D 5 ³ À Esto implica
B B
O O ) À Así O O es dominada por ) Á la cual es absolutamente convergente,
~ ~
B
así por el criterio de comparación se sigue que O O B . Esto prueba (a) si
~
lim supÀj
O O Á entonces por el teorema 22 del §1 O O para infinidad de
¦B
valores de , así la sucesión ¸ ¹B
~ no converge a . Por convergencia dominada
B
es divergente. Esto prueba (b).
~
B B
Cuando ( ~ tenemos las dos series y Á para las cuales
~ ~
c
lim k ~ lim ~ ~
¦B ¦B
También se tiene
lim k ~ lim 4
k 5 ~~
¦B ¦B
Darío Sánchez CURSO DE SUCESIONES Y SERIES 40
B B
y aquí es divergente y es convergente.
~ ~
B
Ejemplo: Estudiar la convergencia de ² ³À
~
Darío Sánchez CURSO DE SUCESIONES Y SERIES 41
B
:"ó ¢ Sabemos que c es convergente. Consideramos
~
~ ² ³ y ~ c
consideramos
² ³ ² !
³
² !
! ³
! !c !
lim ~ lim c
~ lim c!! ~ lim !
! !
~ lim c! ~
¦B ¦B !¦ !¦ ! ²c! ³ !¦
!~ 3Z / ô!
~ lim !
c!
!c !
! ~ lim
c!
!c !c! !
!c!
c !c! !
! ~ lim c !c! !c! !b! ! ~
!¦ !¦ ¦
3Z / ô!
!¦
3Z / ô!
B
luego ² ³ es convergente.
~
Los criterios de las secciones previas fallan al dar alguna información acerca de la
B
importancia de la serie À Esta serie tiene la propiedad especial que sus términos
~
forman una sucesión 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.
B
Ejemplo: 3 #!À
~
Para esto tomamos ~ y se tiene
B B B
~ ~ ² ³ h
~ ~ ~
B
la cual es divergente. Se sigue entonces la divergencia de .
~
Teorema 19. (Abel) Si ¸ ¹B
~ es una sucesión decreciente de números
B
reales positivos y si converge, entonces lim ~ À
~ ¦B
B
+ !ó ¢ Sea ~ b b Ä b . Si ~ (Á entonces
~
lim ~ ( ~ lim
¦B ¦B
Luego
lim ² c ³ ~
¦B
Darío Sánchez CURSO DE SUCESIONES Y SERIES 43
Ahora
c ~ b b b b Ä b b b Ä b
de donde
c À
Por lo tanto
lim ~
¦B
y también
lim ~ ²³
¦B
Pero b Á de donde
² b ³ b ² b
³² ³
y por ²³ lim ² b ³ b ~ , de donde el resultado.
¦B
La serie geométrica y la función zeta son dos de los más grandes resultados de las series
por el gran número de aplicaciones en el estudio de la convergencia de series. A
continuación damos un criterio dado y demostrado por Cauchy en 1837.
c
& ²³ ²%³ % & ²%³ % ²³
~ ~
B
Ejemplo: 4 ! " # & ó À
~
Darío Sánchez CURSO DE SUCESIONES Y SERIES 44
B
³ Comparemos con °
la cual converge porque À
~
j ²b³
j b j %b j
° %b
lim ~ lim ~ lim lim ~ lim
¦B ¦B ¼ ¦B %¦ %¼ %¦ %c°
°
¦B
c¼
j%° %
~ lim %b ~
j lim ~ j lim ¼ ~ À
%¦ %¦ ¦B
¦B ¦B
B j
c ²b³
Por el criterio de comparación con el límite se sigue que ² b³ es
~
convergente.
3 ~
² b ³ b ² c b ³ b ² c ³ b ² c b c
³ b ² b ³ b ² c
b
³ b Ä
ó
~ b c b b c b
b
3
c
b Ä ²³
La serie en lado derecho de (3) es una reordenación de la serie convergente del lado
derecho de (1), pero ellas convergen a sumas diferentes. en verdad, podemos hallar una
B
²c³b
reordenación de que converja para algún número real previamente asignado.
~
B B
también una reordenación de Á el mismo razonamiento con los papeles de y
~ ~
B
b invertidos demostraríamos que ( ) . Por lo tanto ) ~ ( y el teorema queda
~
probado.
El resultado anterior claramente se tiene tembién para series de números no positivos. El
lema es un caso especial del siguiente teorema.
B
Teorema 22.Si converge absolutamente a (, entonces cualquier
~
B B
reordenación de también converge absolutamente hacia (À
~ ~
+ !ó ¢ Definamos
si si
~ F , y, ~ F
si si
B B
así que ~ b À Entonces veamos que ambas series y convergen,
~ ~
B B B
pues y | | convergen, así ´ b O Oµ converge puesto que
~ ~ ~
B
~ %² Á ³ entonces ~ b O O entonces es convergente. En forma
~
B B
análoga se puede demostrar que es convergente. Digamos que ~ 7 y
~ ~
B
~ 8 ( donde 8 ), entonces ( ~ 7 b 8À Para alguna ¸ ¹B
~ tenemos
~
B B
~ ~ b À Además es una reordenación de la serie de
~ ~
B B
términos positivos. Así por el lema es convergente y ~ 7 , en forma
~ ~
B B
análoga ~ 8 À Puesto que ~ b lo cual implica que es
~ ~
convergente y
B B B
~ b ~ 7 b 8 ~ (.
~ ~ ~
B
Lo que resta es demostrar la convergencia absoluta de . Pero como ~ b
~
tenemos O O O O b O O ~ c À Por lo tanto para cualquier 5 o
5 5 B B
O O b O O b Ä b O5 O c c ~ 7 c 8
~ ~ ~ ~
B B
Las sumas parciales de O O son por lo tanto acotadas por 7 c 8 por lo tanto | | es
~ ~
convergente. Esto prueba el teorema.
Darío Sánchez CURSO DE SUCESIONES Y SERIES 47
B B
Teorema 23. Si las series y son absolutamente convergentes
~ ~
B
a ( y ) respectivamente, entonces () ~ * donde * ~ y
~
~ c
~
+ !ó ¢ Para ~ Á Á Á Ã tenemos
O O O O b O c O b Ä b O O.
Así, para cada Á
O O b O | b Ä b O O
O O b ²O b O³ b Ä b ²O O b O cO b Ä b OO³
B B
²O O b O O b Ä b O O³ b ²O O b O O b Ä b OO³ ² O O³² O O³
~ ~
B
La sucesión de sumas parciales de O O es así acotada superiormente y por lo tanto
~
B
O O BÀ
~
La anterior desigualdad también demuestra la convergencia absoluta de la serie
b b b b b b b b Ä ²³
B
²cuya suma es ). Por el teorema 22 de reordenación podemos reordenar los términos
~
de (1) para obtener
B
~ ´ µ b ´ b b µ b ´ b b b b µ b Ä ²³
~
Darío Sánchez CURSO DE SUCESIONES Y SERIES 48
tiene
B B B
² ( ³² ) ³ ~ *, ²³
~ ~ ~
donde
* ~ ( )c ~ % c %c ~ % c ~ % À
~ ~ ~
Entonces ²³ se sigue por lo tanto de ²³.
2.8. Ejercicios
es convergente ?
B
5. ¿ Es la serie ² b ³ convergente o divergente ? ¿cual es la razón de su
~
afirmación?.
6. Pruebe que para cualesquiera Á s la serie
b ² b ³ b ² b ³ b ² b ³ b Ä
diverge a menos que ~ ~ À
B
7. Mostrar que converge si y sólo si para cada existe N o tal que
~
c c ²Á 5 ³ À Esta propiedad es conocida como condición de
~b
Cauchy para series
8. Pruebe que si b b b Ä converge a ( , entonces
² b ³ b ² b ³ b ² b ³ b Ä
es converge. ¿ Cual es el valor de la suma de la segunda serie ?
B B
9. ¿ < b
b = converge o diverge? ¿
b
²b³ converge o diverge ?
~ ~
10. Mostrar que si la serie b b b Ä converge a 3 , entonces también
b b b b b b Ä converge a 3. Más generalmente mostrar que
cualquier número de términos con pueden ser insertados en una serie convergente sin
alterar su convergencia o suma.
B B B
11. Probar que si converge y diverge entonces ² b ³ es divergente.
~ ~ ~
B
12. Sea una serie convergente. Sea { ¹B
~ cualquier subsucesión de la sucesión
~
natural. Finalmente sea
~ b b Ä b
~ b b b b Ä b
Darío Sánchez CURSO DE SUCESIONES Y SERIES 51
Å
~ c b b c b b Ä b ² o³
B B
Probar que b converge a la misma suma que
~ ~
B
13. Dar un ejemplo de una serie tal que ² b ³ b ² b ³ b Ä converge
~
pero b b b b Ä diverja. (Esto demuestra que removiendo parentesis
puede causarse dificultades).
B
14. Si es una serie convergente de números positivos y si ¸ ¹B
~ es una
~
B
subsucesión de ¸ ¹B
~ Á probar que
converge.
~
15. Probar que b [ b [ b
[ b Ä es convergente.
B
16. Si ² ³ y si % Á entonces probar que % convege
~
y que su suma no es más grande que c % À
17. ¿ Para que valores de la serie c b
c
b Äconverge?
18. Si % no es un número entero, probar que %b c %b b %b c %b b Ä es
convergente.
19. Probar que
(a) c b c b Ä es divergente
(b) ² c ³ c ² c ³ b ² c ³ c ² c ³ b Ä es convergente
B
²c³c
20. Mostrar que si ~ j b entonces ² c ³b es divergente (aquí
~
y lim ~ ¿Porque no se puede aplicar el teorema de las series alternadas?)
¦B
B
21. Mostrar que ² c ³b c es divergente.
~
22. Clasifique como divergente, condicionalmente convergente o absolutamente
convergente a cada una de las siguientes series :
(a) c [ b [ c [ b ÄÁ ²³ c b c b ÄÁ ²³ c b c b Ä
²³ c b c b c b Ä
23À ¿Puede una serie de números no negativos converger condicionalmente?
B B B
24. Probar que si O O BÁ entonces | O O OÀ
~ ~ ~
Darío Sánchez CURSO DE SUCESIONES Y SERIES 52
B
25. Pruebe si es verdad o de un contra-ejemplo en caso de ser falso: Si es una serie
~
B
convergente de números reales positivos y es una serie divergente de téminos
~
B B
positivos, entonces .
~ ~
26. ¿Cuales de las siguientes series son convergentes?
B B B
(a) [ ²³ b ²³ b b
~0 ~ ~
B
27. Mostrar que si O%O entonces n % converge absolutamente.
~
% %
28. Para cada % probar que las series c [ b [ cÄ y
% c %[ b % [ c Ä convergen absolutamente.
29. (a) ¿El criterio de la razón da alguna información acerca de la serie
² ³ b ² ³ b ² ³ b ² ³ b ² ³ b Ä ?
²³ ¿Es esta serie convergente ?
b
30. Si ¸ ¹B ~ es una sucesión de números reales, y si lim O O ~ 3 pruebe¦B
que lim ~
¦B
31. ¿Para que valores de % la serie b % b % b % b Ä converge?
% % %
32. ¿Para que valores de % la serie % c b c b Ä converge?
B B
b
33. Si | O B y si cada o, c b
c c c, probar que | | B
~ ~
²(&" ¢ ! " O O O OO O ³
B
34. Examinar la convergencia de ² c ³² c ³² c ³Ä² c ³
~
35. Use el criterio de la raíz en las siguientes series y que puede concluir en
B B B
²b ³
²³ %
²³ ²³ ²³
~ ~ ~
B
36. Mostrar que % converge para todo % s.
~
B
37. ¿Para qué valores de % la serie % converge.?
~
B
38. ¿Para qué valores de % la serie ´²³ % µ converge ?
~2
B
39. Pruebe que para cada valor real % la serie ²³ % diverge
~3
Darío Sánchez CURSO DE SUCESIONES Y SERIES 53
B
40. ²³Si los términos de la serie convergente son positivos y forman una sucesión
~
decreciente, probar que lim ~
¦B
²³ Demostrar que si ¸ ¹B
~ es una sucesión decreciente de números positivos y si
B
converge, entonces lim ~ À
~ ¦B
Cada una de las siguientes series son de tipo telescópica ² é# ³ Á en
cada caso pruebe que la serie converge y tienen la suma indicada
B B B
41. ²c³²b³ ~ À c ~ . c ~
~ ~ ~
B B j B
b bc j
4À
~ À j b ~
À b
²b³ ~
~ ~ ~
B B
b b
4À ²b³²b³²b³ ~ À b ²b³ ~
~ ~
B c B
²c³ ²b³ ´²b ³ ²b³µ
4
À ²b³ ~ À ² ³´²b³ b µ ~
j
~ ~2
. Hemos demostrado en las notas de clase que
b % b % b % b Ä b % b Ä ~ c % si O%O
Haciendo uso de esta afirmación muestre que
²³ b % b % b Ä b % b Ä ~ c% si O%O
b %
²³ % b % b % b Ä b % b Ä ~ c% si O%O
²³ c % b % c % b Ä b ² c ³ % b Ä ~ b% si O%O
(d³ c % b % c %
b Ä b ² c ³ % b Ä ~ b% si O%O
%
(e³ % c % b % c % b Ä b ² c ³ %b b Ä ~ b% si O%O
² ³ b % b
% b Ä b % b Ä ~ c% si O%O
c
²³ b % b % b Ä b % b Ä ~ ²c%³ si O%O
% % % ²c³ %b
²³% c b c b Ä b b b Ä ~ ² b %³ si O%O
% % % ²c³ %b
²³% c b c bÄb bb Ä ~ ! % si O%O
.Usando el ejercicio demuestre la igualdad de cada uno de las siguientes series,
todas válidas para O%O
B B B
% % b% % b%b%
²³ % ~ ²c%³ ²³ % ~ ²c%³ ²³ % ~ ²c%³
~ ~ ~
B B B
% b% b% b% % % c
²³ % ~ ²c%³ ²³ ~ c% ² ³ c ~ b%
c%
~ ~ ~
B B
²b³²b³
²³ ² b ³% ~ ²c%³ ²³ [ % ~ ²c%³
~0 ~0
B
²b³²b³²b³
²³ [ % ~ ²c%³
~0
Darío Sánchez CURSO DE SUCESIONES Y SERIES 54
B
À.Dado que %[ ~ % para todo %, hallar la suma de las siguientes series,
~
suponiendo que es posible operar con series infinitas como cuando ellas son sumas
finitas.
B B B B
²c³²b³
²³ c
[ ²³ b
[ ²³ [ ²³ [% ~ ²% b %³%
~2 ~2 ~2 ~
Usando criteros de comparación y adecuadas acotaciones estudie la convergencia o
divergencia de cada una de las siguientes series ¢
B jB B
. ²c³²c³
À c²b³
²b³ 5
À b
~ ~ ~
B B B
5À 5À O %O 5
À b²c³
~ ~ ~
B B B
À ²b³[
[
À j b
À j²b³
~ ~ ~
B B B
bj
. ²b³ c
À ²³
À OO
Á O O
~ ~2 ~
B B B
² ³
. b
6À 6À ²
³
~ ~ ~
B B j B
% b
6
À c À cj% %
À b% %
~ ~ ~
Usando los criteros de la razón y de la raíz estudie la convergencia de las siguientes
series
B B B
B
²[³
. ²³[ . ²[³
À [
À [
~ ~ ~ ~
B B B B
7
À [ 7À [ 7À
7
À ²j
c ³
~ ~ ~ ² ³ ~
B B B B b
À c À ² c c ³ À ²³
[ . ²b
³
~ ~ ~ ~
B jb²c³ µ B
À ´ À O %O Á
~ ~
%c
Donde ²%³ es una función, como por ejemplo ²%³ ~ ²c³[ . En tal situación
¸ ¹B
~ será cierta sucesión de funciones; la cual para cada % obtenemos una sucesión
de números ¸ ²%³¹B ~ y ²%³ es la suma de esta sucesión. Para analizar tales funciones
hace falta ciertamente recordar que cada suma
²%³ b ²%³ b ²%³ b Ä
es por definición, el límite de la sucesión
²%³Á ²%³ b ²%³Á ²%³ b ²%³ b ²%³Á Ã
Si definimos una nueva sucesión de funciones ¸ ¹B ~ mediante
~ b b b Ä b
entonces podemos expresar más sucintamente este hecho escribiendo
²%³ ~ lim ²%³
¦B
Por algún tiempo nos concentramos, por lo tanto, en funciones definidas como
²%³ ~ lim ²%³
¦B
en lugar de funciones dadas como sumas infinitas.
figura 1
Todos los resultados acerca de tales funciones pueden resumirse muy fácilmente: nada de
lo que era de esperar que se cumpliera, se cumple en realidad; disponemos por el
contrario, de una espléndida colección de contraejemplos. El primero de éstos indica que
aún siendo continua cada Á puede no serlo la función límite . Contrariamente a lo que
se podría esperar las funciones serán muy sencillas. La figura 1 muestra las gráficas
de las funciones
% Á %
²%³ ~ F
Á %
Estas funciones son continuas, pero la función límite ²%³ ~ lim ²%³ no es continua;
¦B
en efecto,
Á %
lim ²%³ ~ F
¦B Á %
Otro ejemplo de este mismo fenómeno se ilustra en la figura 2 en donde las funciones
estan definidas por
Darío Sánchez CURSO DE SUCESIONES Y SERIES 56
|
c Á % c
²%³ ~ } % Á c %
~ Á %
figura.2
figura.À
²%³ ~ } c %Á %
~ Á %
figura 4 figura 5
Al variar esta sucesión de manera tan errática en la proximidad de , nuestros instintos
matemáticos primitivos podrían sugerirnos que lim ²%³ no siempre existe. No
¦B
obstante este límile existe para todo %, y la función ²%³ ~ lim ²%³ es incluso
%¦B
continua. Efectivamente, si % , entonces ²%³ es eventualmente
Darío Sánchez CURSO DE SUCESIONES Y SERIES 58
0, de modo que lim ²%³ ~ ; además , ²³ ~ para todo , de modo que tenemos
¦B
ciertamente lim ²³ ~ À En otras palabras ²%³ ~ lim ²%³ ~ Á para todo % À Por
¦B ¦B
otra parte, la integral revela rápidamente el comportamiento extraño de esta sucesión:
tenemos
²%³% ~ pero ²%³% ~
Así pues,
lim ²%³ % £ lim ²%³ %
¦B ¦B
Esta sucesión particular se comporta de manera que nunca hubiésemos podido imaginar
cuando empezamos a considerar funciones definidas por límite. Si bien es verdad que
²%³ ~ lim ²%³ para cada % en [0,1]
¦B
Las gráficas de las funciones no se « acercan » a la gráfica de en el sentido de estar
próximas a ella; si, como es la gráfica 5, dibujamos una banda alrededor de de
anchura total 2 (dando una anchura de por encima y por debajo )
entonces las gráficas de no quedan completamente dentro de esta banda , por grande
que sea À Por esto, para cada % existe algún 5 tal que el punto ²%Á ²%³³ queda dentro
de esta banda para 5 esta afirmación equivale al hecho de que lim ²%³ ~ ²%³
¦B
ÀPero hace falta elegir unos 5 cada vez más grandes a medida que elegimos los % más
próximos a , y no habrá ningún 5 que de resultado para todos los % a la vez.
La misma situación se presenta en realidad, aunque no tan obviamente, para cada uno de
los ejemplos dados anteriormente. La figura 6 ilustra este punto para la sucesión
% Á %
²%³ ~ F
Á %
figura 6
Se ha trazado una banda de anchura total a lo largo de la gráfica de ²%³ ~ lim ²%³ À
¦B
Si , esta banda se compone de dos partes, las cuales no contienen ningún punto con
segunda coordenada igual a ; puesto que cada una de las funciones toma el valor ,
la gráfica de cada deja de estar dentro de esta banda. Una vez más, para cada punto %
Darío Sánchez CURSO DE SUCESIONES Y SERIES 59
existe algún 5 tal que ²%Á ²%³³ quede dentro de esta banda para 5 Â pero no es
posible elegir un 5 que dé resultado a la vez para todos los %À
Es fácil comprobar que la misma situación exactamente se presenta para cada uno de los
demás ejemplos. En cada caso tenemos una función y una sucesión de funciones
¸ ¹B
~ Á definidas todas sobre algún conjunto (Á tales que
²%³ ~ lim ²%³ para todo % (
¦B
Esto significa que
D y D % (Á existe algún 5 tal que si 5 Á entonces | ²%³ c ²%³O À
Pero en cada caso deben elegirse unos 5 para distintos distintos % y no se cumple
que
« D existe algún 5 tal que D% (Á si 5 Á entoncesO ²%² c ²%³O »
Aunque esta condición difiere solamente de la primera en un pequeño desplazamiento de
la frase « para todo % ( » Á tiene un significado completamente distinto. Si una
sucesión ¸ ¹B~ satisfece esta segunda condición entonces las gráficas de los
quedan eventualmente próximas a la gráfica de , según queda ilustrado en la figura 7.
Definición : Sea ¸ ¹B ~ una sucesión de funciones definidas sobre (Á y
sea una función también definida sobre (. Entonces recibe el
nombre de límite uniforme de ¸ ¹B
~ sobre ( si dado existe algún
5 tal que
figura 7
que si ¸ ¹B
~ converge uniformemente hacia entonces la integral de puede
hacerse tan próxima como se quiera a la integral de À Expresado con más precisión
tenemos el siguiente resultado.
²³ O ²% b ³ c ²% b ³O
Ahora bien, es continua, de modo que existe algún tal que para OO
tenemos
²³ O ²%³ c ²% b ³O
Así pues, si O O Á entonces
O ²% b ³ c ²%³O ~ O ²% b ³ c ²% b ³ b ²% b ³ c ²%³ b ²%³ c ²%³O
O ²% b ³ c ²% b ³O b O ²% b ³ c ²%³O b O²%³ c ²%³O b b ~
Esto demuestra que es continua en %À
Después 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 ¸ ¹B~ converge
uniformemente hacia , todavía no se cumple necesariamente que sea derivable. Por
ejemplo la figura 8 indica que existe una sucesión de funciones derivables ¸ ¹B ~ que
converge uniformemente hacia ²%³ ~ O%O. Puede aún suceder que sea derivable pero
no sea verdad que
Z ²%³ ~ lim Z ²%³.
¦B
Esto no es en ningún modo sorprendente si tenemos en cuenta que una función suave
puede ser aproximada por funciones de oscilación muy rápida.
figura 8
Por ejemplo (fig.9) si ²%³ ~ ² %³ entonces ¸ ¹~
B
converge uniformemente
hacia la función ²%³ ~ , pero ²%³ ~ ² %³ y lim ² %³ no existe
Z
¦B
siempre . ²por ejemplo existe si % ~ ³
figura 9
+. Si ¸ ¹B B
~ y ¸ ¹~ son sucesiones de funciones acotadas entonces se
tiene que
lim h ~ h
¦B
uniformemente en +.
+ !ó: Por el teorema 4 las sucesiones son uniformemente acotadas así
es posible hallar una constante 4 , para la cual se tenga que
O ²%³O 4 Á O ²%³O 4 Á O ²%³O 4 Á O²%³O 4 DÁ D% +
Como ¦ Á y ¦ uniformemente sobre +, dado existe 5 tal que si
5 tenemos
O ²%³ c ²%³O 4 Á O ²%³ c ²%³O 4 ²D% +³
Entonces
| ²%³ ²%³ c ²%³²%³O ~ O ²%³ ²%³ c ²%³ ²%³ b ²%³²%³ c ²%³²%³O
O ²%³² ²%³ c ²%³³O b O ²%³² ²%³ c ²%³³O
O ²%³OO ²%³ c ²%³O b O ²%³OO ²%³ c ²%³OO 4 4 b 4 4~
o sea h ¦ h uniformemente sobre +.
) Supongamos ahora válida la condición (1). La sucesión numérica ¸ ²%³¹B ~
satisface la condición de Cauchy para cada % fijo, entonces ¸ ¹B ~ converge
puntualmente en +Á sea la función límite. De ²³ tomando límite cuando ¦ B se
tiene :
O ²%³ c ²%³O D% +
esto es la convergencia ¦ es uniforme sobre +À
%
Ejemplo: Sea ²%³ ~ %b en ´Á B³ entonces se tiene
% % % ²c³
²%³ c ²%³ ~ %b c %b ~ ²%b³²%b³
para tenemos :
% ²c³ % ²c³
O ²%³ c ²%³O ~ ²%b³²%b³ % ~ c
~ ² c )
3.2. Ejercicios
À Sea ¸ ¹B~ una sucesión de funciones monótonas que tiende a uniformemente en
´Á µ, demostrar que es monótona.
23. Sea ¸ ¹B ~ una sucesión de funciones continuas en + . Si S uniformemente en
+ , demostrar que lim ²% ³ ~ ²%³ donde % S % ²SB³Á % Á % +À
¦B
%
24. Consideremos ~ b% si % sÁ ~ Á Á Á Ã Encontrar la función límite
²³ Demostrar que Z ²%³ existe para todo % pero Z ²³ £ ²³À ¿ Para qué valores de %
es Z ²%³ ~ ²%³ ?
²³ ¿ En qué subintervalo de s, uniformemente ?
²³ ¿ En qué subintervalo de s, Z uniformemente ?
25. Sea ²%³ ~ ² ³c % si % sÁ ~ Á Á Á Ã Demostrar que
Z
uniformemente en s, que puntualmente en s, pero que la convergencia de
¸Z ¹B~ no es uniforme en cualquier intervalo que contenga al origen.
26. Sea ¸ ¹B ~ una sucesión de funciones reales continuas definidas en [0,1] y
supongamos que uniformemente en [0,1]. Demostrar si es ó no cierta la igualdad:
c
lim ²%³% ~ ²%³%À
¦B
. Consideremos ~ b % si % Á ~ Á Á Á Ã . Demostrar que ¸ ¹B~
converge puntualmente pero no uniformemente en [0,1]. ¿ Es posible integrar término a
término ?
28. ²³ Consideremos que ²%³ ~ %b Á si % Á ~ Á Á Á Ã demostrar que
¸ ¹B
~ converge puntualmente pero no uniformemente en (0,1).
%
²³ Consideremos ~ %b si % Á ~ Á Á Á Ã À Demostrar que
uniformemente en (0,1).
B B
~ b b Ä b À En este caso escribimos ~ Á óÁ ²%³ ~ ²%³
~ ~
²D% ,³.
B
Por ejemplo, si ²%³ ~ % para c % Á entonces converge en ² c Á ³
~
%
donde ²%³ ~ c% ² c % ³À Así tenemos
B B
²%³ ~ % ~ % ~ ²%³ ² c % ³
c%
~ ~
En seguida definimos convergencia uniforme de serie de funciones.
Definición : Si ¸ ¹B
~ es una sucesión de funciones definida sobre un
B
conjunto ,Á decimos que converge uniformemente a sobre , si
~
la sucesión de funciones de sumas parciales ¸ ¹B ~ converge
uniformemente hacia donde ~ b b Ä b À En este caso
B B
escribimos ~ uniformemente ó ²%³ ~ ²%³ uniformemente
~ ~
²% ,³.
B
²³ Si lim " j
O O ~ Á la serie % converge absolutamente para
¦B ~
todo % s.
B
²³ Si lim " j
O O ~ 3 Á entonces % converge absolutamente
¦B ~
para todo % tal que O%O 3 y diverge para O%O 3
B
²³ Si lim "j
O O ~ BÁ entonces % converge absolutamente para
¦B ~
% ~ y diverge para cualquier otro valor de %À
D !ó ¢ Usando el teorema 13 del §2 tenemos j
O % O ~ O%Oj
O O À
Así si lim "j
O O ~ entonces para cualquier %Á
¦B
B
lim "j
O % O ~ O%O h 0 ~ luego tenemos la convergencia de % sugún
¦B ~
(). Ahora si lim "j
O O ~ 3 entonces
¦B
lim "j
O % O ~ O%O h 3 ¯ O%O 3 Á y tenemos la convergencia según se afirma
¦B
en ²³. La parte ²³ se obtiene en forma análoga.
B
Corolario: Si la serie de potencias % converge para % ~ % , entonces
~
es absolutamente convergente para todo % tal que O%O O% O.
+ !ó ¢ Por los criterios de convergencia dominada se tiene que
B
O % O O % OÁ luego la convergencia absoluta de % implica la convergencia
~
B
absoluta de % (vea teorema 9 del §2).
~
B
Teorema 4. Si la serie de potencias % converge para % ~ % ²donde
~
B
% £ ³ entonces la serie % converge uniformemente en ´ c % Á % µ
~
donde % es cualquier número tal que % O% OÀ
B
+ !ó ¢ Por el corolario anterior, si la serie % converge para
~
B
% ~ % Á entonces % converge absolutamente para cualquier x tal que O%O O% OÁ
~
B
en particular, si % O% O entonces % es absolutamente convergente. Esto
~
B B B
es, | |% BÀ Pero % | |% ²O%O % ³À Por el criterio 4 de
~ ~ ~
Darío Sánchez CURSO DE SUCESIONES Y SERIES 72
B
Weierstrass (con 4 ~ O O% ³Á la serie % converge uniformemente para
~
O%O % Á lo cual es lo que deseábamos mostrar.
B
Ejemplo: La serie % converge ( a e% ³ para todo real %À Estas series no convergen
[
~
uniformemente en ² c BÁ B³ (Verificarlo!). Pero el teorema 4, sin embargo, nos afirma
B
que para 9 , la serie %[ converge uniformemente en ´ c 9Á 9µÀ
~
B
Torema 5. (Dini) Sea una serie de funciones contínuas a valor real
~1
B
positivo en el espacio, ´ c 4 Á 4 µ ~ 2À Si converge en 2 a una
~
B
función continua Á entonces converge uniformemente en 2À
~
+ !ó ¢ Para o sea ~ b b Ä b À Puesto que cada
²%³ para todo % 2Á tenemos ²%³ ²%³ Ä ²%³ IJpara cada
% 2³. Puesto que ²%³ es acotado y dado que es continua en 2 , que es
compacto, entonces es acotada.. Entonces se sigue que lim ²%³ existe; así tenemos
¦B
que lim ²%³ ~ ²%³ ²% 2³ . Se puede ahora aplicar el teorema M para concluir que
¦B
B
la sucesión ¸ ¹B
~ converge uniformemente hacia en K. Por lo tanto
converge
~1
uniformemente hacia en 2À Esto completa la demostración.
4.2. Integración y diferenciación de series de funciones
Denotaremos con H[a,b] ~ ¸ :´Á µ ¦ s° ²%³% existe ¹.
B
Teorema 5. Sea una serie de funciones de H[a,b] la cual converge
~1
uniformemente hacia en ´Á µÀ Entonces H´Á µ y
B B B
²%³% ~ ²%³% Á ¯ Á ²%³% ~ ²%³%
~ ~ ~
+ !ó ¢ Sea ~ b b Ä b À Entonces H´Á µ y ¸ ¹B
~
converge uniformemente hacia en ´Á µÀ Por el teorema 1 del §3 se tiene
lim ²%³% ~ ²%³% Á entonces H´Á µ
¦B
²³
pero por la linealidad de la integral
²%³% ~ ´ ²%³ b ²%³ b Ä b ²%³µ% ~ ²%³%
~
Por lo tanto
B
lim ²%³% ~ lim ²%³% ~ ²%³% ²³
¦B %¦B ~ ~
Darío Sánchez CURSO DE SUCESIONES Y SERIES 73
término a término de (1) es justificada. Note que, puesto que será cualquier número
entre 0 y 1, se sigue que
b % b % b Ä b %c b Ä ~ ²c%³ para todo % tal que O%O
B B
Esto es, si ²%³ ~ % ² c % ³Á entonces % es conocida como la
~ ~
serie de Maclaurin para .
b b
| ²%³g ²%³| ~ | ²%³¸ ²%³ c b ²%³¹ b b ²%³bb ²%³ c ²%³b ²%³ |
~b ~b
b b
~ O ´ ²%³ c ²%³µ¸ ²%³ c b ²%³¹ b ²%³ ¸ ²%³ c b ²%³¹ b
~b ~b
´ b ²%³ c ²%³µbb ²%³ c ´ ²%³ c ²%³µb ²%³ b ²%³´bb ²%³ c b ²%³µO
b
O ²%³ c ²%³OO ²%³ c b ²%³O b O b ²%³ c ²%³OObb²%³O b
~b
b
b O ²%³ c ²%³OOb ²%³O b O ²%³< ¸ ²%³ c b ²%³¹ b bb²%³ c b²%³=O
~b
b
¸ ²%³ c b ²%³¹ b
4 4 Obb ²%³O b 4 Ob ²%³O b
~b
O ²%³¸b ²%³ c bb ²%³¹ b bb ²%³ c b ²%³O
~ 4 ²b ²%³ c bb ²%³³ b 4 Obb ²%³O b 4 Ob ²%³O
4 4 b 4 4 b 4 4~ b ~ À
si es impar
En efecto tomemos ²%³ ~ ² c ³c Á entonces ~F
0 es par
aplicando el criterio de Dirichlet la serie converge uniformemente en +À
B
Ejemplo 2. Sea una serie convergente, entonces tenemos que la serie
~
B
% ~ ²%³ converge uniformemente en ´Á µÀ
~
Esto es debido a que si tomamos % ´Á µ entonces %b % así estamos en la
B
hipótesis del critero de Abel y nos garantiza que % converge uniformemente en
~
B
[0,1]. Nótese que ²%³ ~ % es continua en [0,1], luego
~
B B
²³ ~ ~ limc % .
~ %¦ ~
4.3. Ejercicios
B b b
% %
20 Demostrar que la serie ² b c b ³ converge puntualmente pero no
~
uniformemente en ´Á µÀ
B B
21. Demostrar que % y % son uniformemente convergentes en s
~ ~
B
si O O es convergente.
~
22. Sea ¸ ¹B
~ una sucesión decreciente de términos positivos. Demostrar que la serie
B
% converge uniformemente en s si lim ~ y recíprocamente.
~ ¦B
B B
23. Dada la serie convergente À Demostrar que la serie de Dirichlet c
~ ~
converge uniformemente en el semi-intervalo infinito b BÀ Utilizando este
B B
resultado probar que limb c ~ À
¦ ~ ~
B
24.Demostrar que la serie
(s) ~ c converge uniformemente en todo semi-intervalo
~
B
infinito b b BÁ siendo À Demostrar que la igualdad
Z (s) ~ c
~
es válida para cada y obtener una fórmula parecida para la derivada de orden
²³ ² ³À
B
25. Considere ²%³ ~ b %
~
²³ ¿Para que valores de % ésta serie converge absolutamente?
²³ ¿En qué intervalo ésta serie converge uniformemente ?
²³ ¿En qué intervalo falla la convergencia uniforme ?
²#³ ¿Es continua donde quiera que la serie converge ?
²#³ ¿Es acotada ?
B
%
26. Demostrar que las serie b% converge uniformemente y absolutamente para
~
O%O *Á donde * es cualquier número tal que * À + emostrar que la
convergencia no es uniforme en % À
B
À Demostrar que la serie c% converge absolutamente y uniformemente en
~
cualquier intervalo cerrado el cual no contiene números enteros.
|
% b
28. Sea ²%³ ~ } % b
%
~ %
²%³c ²³
Si % no está muy alejado de , %c será aproximadamente Z ²³À Esto es, Z ²% ³
será aproximadamente igual a Z ²³ y por consiguiente la igualdad
²%³ ~ ²³ b Z ²³²% c ³
debe ser aproximadamente correcta cuando % c es pequeña. Esto significa que es
aproximadamente una función lineal en las proximidades de .
El teorema de Taylor nos dice, con generalidad, que puede aproximarse mediante un
polinomio de grado c si ²³ existe en ²Á ³À La importancia de este teorema radica
en el hecho de que nos proporciona una expresión útil del error cometido por esa
aproximación.
Teorema 1. (Taylor) Sea una función que tiene derivada -ésima finita
²³ en todo intervalo ²Á ³ y supongamos que ²c³ es continua en el
intervalo cerrado ´Á µ. Consideremos un punto % ´Á µÀ Entonces para
todo % de ´Á µ, % £ % Á existe % ²%Á % ³ tal que
c ²³
²³ ²% ³
²%³ ~ ²% ³ b ²% ³
[ ²% c % ³ b [ ²% c % ³
~
La demostración de este teorema se deduce de otro más general que daremos a
continuación y el cual es una generalización del teorema del valor medio, y el cual
recordaremos a continuación.
La pregunta que aquí nos hacemos es : ¿Cuándo podemos reemplazar el símbolo por
el símbolo = ?. La fórmula de Taylor establece que * B en un intervalo cerrado ´Á µ
y si % ²Á ³ entonces para todo % ´Á µ y para todo , tenemos
c ²³
²³ ²% ³
²%³ ~ ²% ³
[ ²% c % ³ b [ ²% c % ³
~
donde % es algún punto comprendido entre % y % . El punto % depende de %Á % y .
Luego una condición necesaria y suficiente para que la serie de Taylor converja hacia
es que
²³
lim [²% ³ ²% c % ³ ~
¦B
En la práctica puede ser muy difícil manejar este límite a causa de la posición
desconocida de % À En algunos casos, no obstante, puede obtenerse una cota inferior
convergente para ²³ ²% ³ y puede demostrarse que este límite es .Ya que
B
²%c% ³ ²%c% ³
c ²³
²³ ²% ³
²%³ ~ ²% ³
[ ²% c % ³ b [ ²% c % ³ , sus sumas parciales están acotadas
~
B ²³
superiormente por ²%³À Luego la serie ²% ³
[ ²% c % ³ converge y tiene una suma
~
²%³. Aplicando el mismo razonamiento a ²³ Á encontramos que la -ésima derivada
B ²³
de ²% ³
[ ²% c % ³ converge y tiene una suma ²³ ²%³À
~
Por consiguiente si escribimos
B ²³
²%³ ~ ²%³ c ²% ³
[ ²% c % ³
~
²%³ y todas sus derivadas ²³ ²%³ son no negativas si % % À
A continuación, demostremos que ²%³ ~ si % % %b Á esta restricción impuesta
a % implica % % % c % . Por lo tanto podemos elegir un número & que
satisface % c % & y hacer uso de la fórmula de Taylor para escribir
c ²³
²³ ²& ³
²&³ ~ ²% ³
[ ²& c % ³ b [ ²& c % ³ ²³
~
en donde % & &À Ahora bien, ²³ es una función creciente, (¿por que?) por
consiguiente ²³ ²& ³ ²³ ²%³À
Por lo tanto (1) nos da
²³ ²³
²&³ [²& ³ ²& c %³ [²%³ ²& c %³
o bien de los extremos se tiene
²³ ²%³ ²&³
[ ²&c%³
c ²³
²% ³ ²³ ²& ³
Volviendo al resto de [ ²& c % ³ b [ ²& c % ³ , podemos escribir
~
²³ ²% ³ ²³ ²%³
0 [ ²% c % ³ [ ²% c % ³ ²&³² %c%
&c% ³
% % %
%c%
Pero 0 &c% debido a la manera como fue escogido &À
%c% &
Luego
²³ ²% ³
lim ²% c % ³ ~
¦B [
Y esto significa que
B ²³
²%³ ~ ²% ³
[ ²% c % ³ Á si % % % b
~
²c³²c³Ä²cb³
2 3 ~ [
El teorema de Bernstein no puede aplicarse directamente en este caso. Sin embargo,
podemos razonar así: Consideremos ²%³ ~ ² c %³c Á siendo y % À Entonces
²³ ²%³ ~ ² b ³² b ³Ä² b c ³² c %³cc
---------------------------------------------------------------------
B
4 %c% 5 es convergente, luego tenemos lim 4 %c% 5 ~
&c% &c% ¦B
~
y por lo tanto ²³ ²%³ para cada Á con tal que % . Por consiguiente podemos
aplicar el teorema de Bernstein, poniendo % ~ Á ~ c y ~ À Entonces
B
²c%³ ~ 2 c 3
² c ³ % si c %
~
sustituyendo por c y % por c %, encontramos
B
² b %³ ~ 2 3%
~
B
es cierto para cada À Pero ahora la validez de ² b %³ ~ 2 3% puede
~
extenderse a cualquier valor de por integración sucesiva. Naturalmente, si es un
entero positivo, por ejemplo ~ Á entonces 2 3
~ para y
B
² b %³ ~ 2 3% se reduce a una suma finita ( fórmula del binomio de Newton) .
~
B B
para c % y que es convergente. Escribimos ²³ ~ . Tenemos
~ ~
que demostrar que limc ²%³ ~ ²³ Á óÁ de otra manera, que es continua a la izquierda
%¦
de % ~
B B B
c% h ²%³ ~ ² % ³ h ² % ³ ~ % donde c ~
~ ~ ~ ~
Luego tenemos
B
²%³ c ²³ ~ ² c %³ ´ c ²³µ% Á si c % ²³
~
Esto se tiene por que
B B
²c%³ ²³
²%³ c ²³ ~ ²%³ c ²c%³ ~ ² c %³ % c ² c %³ ²³ % ~
~ ~
B
~ ² c %³ ´ c ²³µ%
~
B
Por hipótesis, lim ~ ²³ ~ . Por consiguiente dado podemos encontrar
¦B ~
5 o tal que si 5 implica que O c ²³O À Si dividimos la suma (1) en dos
partes , obtenemos
5 c B
²%³ c ²³ ~ ² c %³ ´ c ²³µ% b ² c %³ ´ c ²³µ
~ ~5
Designemos con
4 ~ %¸O c ²³OÁ ~ Á Á Á Ã Á 5 c ¹
Así si % tenemos
B B
O ²%³ c ²³O ² c %³4 5 b ² c %³ % ² ~ %b5 ³
~5 ~
%5
~ ² c %³4 5 b ² c %³ c%
² c %³4 5 b
Escogiendo ahora ~ 4 5 À Entonces c % se tiene que O ²%³ c ²³O À
Lo anterior es equivalente a que limc ²%³ ~ ²³À Esto completa la demostración.
¦
B
Ejemplo. Podemos suponer en ² c %³ ~ c % Á % ~ c para obtener
~
B
²c³b
~ À
~
B B
Teorema 7. Sean y dos series convergentes y designemos con
~ ~
B
~ c su producto de Cauchy. Si converge entonces
~ ~
tenemos
B B B
~ ² ³² ³
~ ~ ~
Darío Sánchez CURSO DE SUCESIONES Y SERIES 87
B B
+ !ó ¢ Las dos series de potencias % y x son ambas
~ ~
convergentes para % ~ y por lo tanto, convergen en el intervalo ²Á ³À Mantengamos
O%O y escribamos
B B B
% ~ ² % ³² % ³
~ ~ ~
donde ~ c es el producto de Cauchy y ya demostramos en el corolario del
~
B
teorema 22 del §3, sobre convergencia absoluta que, % es convergente.
~
Consideremos ahora el % ¦ c y apliquemos el teorema 6 de Abel, para concluir la
convergencia de
B B B B
~ ² c ³ ~ ² ³² ³À
~ ~ ~ ~ ~
5.3. Ejercicios.
6. Halle la fórmula de Taylor de cada una de las siguientes funciones. Use el teorema 3
ó, el teorema de Bernstein para obtener la serie de Taylor:
³ ²%³ ~ %c Á ² £ ³Á % ~ À ³ ²%³ ~ ²% c ³ Á £ %Á % ~
³ ²%³ ~ j ~ ² c %³c Á
% ~ À ³ ²%³ ~ j , % ~
c% c%
7. Halle cada una de las siguientes sumas infinitas:
³ c % b %[ c %[ b %[ c Ä ² ~ ²%³Á ¿ 8"é ²%³ ?
³ c % b %
c % b Ä
% % %
³ % c h b h c h bÄ
#³ h c h b h c h b Ä ²Recuerde el teorema de Abel)
#³ c b c
bÄ
%
8. Si ²%³ ~ % para % £ y ²³ ~ Á hallar ²³ ²³Á (Use fórmula de Taylor)
B
9. Demostrar que la serie 2 3% converge para O%O
~
²³ Demostrar que ² b %³ Z ²%³ ~ ²%³ para O%O
²³ Demostrar ahora que cualquier función que satisfaga la parte ²³ es de la
forma ²%³ ~ ² b %³ para cualquier constante , y utilizar este hecho para establecer
²%³
la serie binomial ²0ó ¢ * é ²%³ ~ ²b%³ ³
B
À ²³ Supóngase que ²%³ ~ % converge para todo % de algún intervalo
~
² c 9Á 9³ y que ²%³ ~ para todo % de ² c 9Á 9³. Demostrar que cada ~ À
²³ Supóngase que sólo sabemos que ²% ³ ~ para alguna sucesión ¸% ¹B ~ con
lim % ~ À Demostrar de nuevo que cada ~
¦B
B B
²³ Supóngase que ²%³ ~ % y ²%³ ~ % convergen para cada % en algún
~ ~
intervalo que contiene a y que ²% ³ ~ ²% ³ para alguna sucesión ¸% ¹B ~ que
converge hacia . Demostrar que ~ para todo À En particular, “una función tiene
una representación única como serie de potencias centradas en ”.
B
11. Demostrar que si ²%³ ~ % es una función continua par, entonces, ~ para
~
todo impar y si es una función impar, entonces ~ para todo parÀ
12. La sucesión de Fibonacci ¸ ¹B
~ está definida por ~ ~ Á b ~ b c
b
²³ Demostrar que
B
²³ Sea ²%³ ~ % c
~ b % b % b % b Ä . Utilizar el criterio del cociente
~
para demostrar que ²%³ converge si O%O
c
²³ Demostrar que si O%O Á entonces ²%³ ~ % b%c ²0ó ¢ Esta ecuación
se puede escribir como ²%³ c % ²%³ c % ²%³ ~ ³
²³ Utilizar la descomposición en fracciones simples para % b%c , y la serie de
potencias de %c para obtener otra serie de potencias para À
Darío Sánchez CURSO DE SUCESIONES Y SERIES 89
²³ Se sigue del ejercicio 1 anterior, que las dos series de potencias obtenidas para
deben ser idénticas. Utilizar este hecho para demostrar que
bj cj
4 5 c4 5
~ j À
13. Demostrar que la serie de potencias para ²%³ ~ ² c %³ converge solamente para
c % Á y que la serie de potencias para ²%³ ~ b%
c% converge solamente para
los % de ² c Á ³À
B
À Demostrar que la serie binómica ² b %³ ~ 2 3% presenta el siguiente
~
comportamiento en los puntos % ~ f
²³ Si % ~ c , la serie converge para y diverge para À
(b) Si % ~ Á la serie diverge para c , converge condicionalmente para
c Á y converge absolutamente en [0,1]
B B
15. Demostrar que % converge uniformemente en ´Á µ si converge.
~ ~
B B
16. Si cada y diverge, demostrar que % diverge a +B cuando
~ ~
B
x c
² Supóngase que % converge para O%O ³.
~
B B
17. Si cada y limc % existe y es igual a (. Demostrar que la serie
%¦ ~ ~
converge y tiene por suma a (À
B
22. Sea ² b %³ ~ 2 3% el desarrollo binomialÀ Investigar el compotamiento del
~
desarrollo binomial en % ~ f .
B B
24 Sea % ² ³ una serie de potencias convergente en O%O . Si limc %
~ %¦ ~
B
existe y es igual a (Á demostrar que ~ (À
~
6.1. Ortogonalidad
6.1.1 Funciones pares e impares
Sea S s , S £ tal que si t S entonces c t S, y sea una funcion
´ definida en S,
se dice que
a) es una funcion
´ « par » si ( c t) ~ (t) para todo t S
b) es una funcion
´ « impar » si ( c t) ~ c (t) para todo t S.
Propiedades.
i³ Si y son funciones pares definidas en S, entonces , +, con £ 0 son
funciones pares.
ii ³ Si y son funciones impares definidas en S, entonces b es impar , h Á
con £ 0 son funciones pares.
iii³ Si es par y impar definidas en S, £ 0, £ 0 se tiene que h , , son
funciones impares.
iv³ Si es par e integrable en [ c ,] se cumple que:
(t) dt = 2 (t) dt
c 0
v³ Si es impar e integrable en [ c ,], se tiene que
(t) dt = 0
c
Darío Sánchez CURSO DE SUCESIONES Y SERIES 91
Propiedades.
i) Si es de período To y { entonces ²! b To ³ ~ ²!³
ii) Si es de período To > 0 , e integrando en [0,To ] se tiene que:
To b
(a) ²!³! = ²!³!
To b
+To To
(b) ²!³! ~ ²!³!
0
PropiedadesÀ
i³ º" + #,$» = º",$» + º#,$»
–º",#»
ii³ º",#» =
Sea w un espacio vectorial con producto hermitiano º,» dos vectores ",# de w se dicen
« ortogonales » si º","» 0 , º#,#» 0 y º",#» ~ 0 .
Ejemplo: El conjunto = { e2ifo t : t , fo = c { } con el producto
b
º ,» = ²!³²!³ ! Á es ortogonal.
a
Sea w un espacio vectorial en el cual se tiene definido un producto hermitiano º,» , si
w, puesto que º Á » 0 se define « longitud » de al número real positivo
definido por = jº , » lo cual equivale a = º , » . Se sabe que si
= 0 no necesariamente = 0. Esta ultima
´ ´ es la que hace que no
afirmacion
´ propiedades de la norma se cumplen, por esta razon
sea una norma, pues las demas ´ es
llamada una seminorma .
Ejemplo: Hallar los coeficientes de Fourier de una funcion ´ para la base ortogonal
2ifo t
= ¸e ° t , fo = c , { ¹
Puesto que ºn ,n » ~ c , los n quedan así
º Án » 1 1
n = ºn ,n » = c (t)ec2info t dt , fo = c ,{
Para justificar las afirmaciones anteriores hacemos referencia a un resultado del análisis
funcional el cual es la piedra ángular en el estudio de las series de Fourier.
Una ecuación de la forma & ZZ b &Z b & ~ donde Á s son constantes, es llamada
ecuación diferencial lineal homogénea de segundo orden. Para hallar una solución
rápida de esta ecuación es frecuente suponer que & ~ % es una solución de prueba (o
un modelo de solución), dado que &Z ~ % y & ZZ ~ % entonces se va tener que
& ~ % es solución de prueba de & ZZ b &Z b & ~ ¯ % ² b b ³ ~
y esto solamente es posible si b b ~ ya que % £ 0, Dx y D . Así se
tiene que
& ~ % es solución de prueba de & ZZ b &Z b & ~ si y sólo si b b ~
Por esta razón basta hallar los ceros del polinomio ²³ ~ b b , frecuentemente
llamado polinomio característico , los cuales estan dados por
cfj c
~
Teniendose así los siguientes tipos de solución dependiendo del signo del discriminante
c ¢
1) c Á en este caso el polinomio ²³ tiene dos raíces reales distintas
cbj c ccj c
~ w ~
% %
En ese caso se tiene que el conjunto ¸ Á ¹ forman lo que se conoce como un
conjunto fundamental de soluciones para la ecuación & ZZ b &Z b & ~ .
Paralelamente se demuestra en un curso de ecuaciones diferenciales que el conjunto
¸ ¢ 0 ¦ s° ZZ b Z b ~ ¹
llamado conjunto solución es un espacio vectorial de dimensión dos . Por esta razón la
solución de la ecuación & ZZ b &Z b & ~ es en este caso dado por
& ~ % b %
2) c ~ À Se tiene en este caso que las raíces de ²³ se reducen a una sola dada
por
~ c 2
y se obtiene una primera solución fundamental la cual denominaremos & dado así:
c
& ~ 2 %
Para la obtención de una segunda solución que sea linealmente independiente con & se
hace uso de una táctica conocida con el nombre de variación de la constante,
suponiendo que la nueva solución de prueba tiene la forma
c
& ~ #²%³& ~ #²%³ 2 %
donde #²%³ es una función por determinar; así
c c c c c
&Z ~ #Z 2 % c 2 # 2 % w & ZZ ~ # ZZ 2 % c #Z 2 % b 4 # %
sustituyendo en & ZZ b &Z b & ~ se llega
b ² c b ³#
c c c c
# ZZ 2 % 2 % ~ ¯ # ZZ 2 % ~ w 2 % £ ¯ # ZZ ~ .
Darío Sánchez CURSO DE SUCESIONES Y SERIES 95
Sea un escalar tal que exista & £ Á en el espacio funcional, tal que 3& ~ &À Este
escalar es llamado “valor propio” de 3 y la correspondiente función & £ es llamada
“función propia”.
Darío Sánchez CURSO DE SUCESIONES Y SERIES 97
Puede suceder que dada una base aproximada para un espacio vectorial w la cual no es
ortogonal con el producto hermitiano allí definido, sin embargo puede existir una función
²%³ continua en ´Á µ tal que con el siguiente producto hermitiano,
º Á K ~ ²!³ ²!³²!³ !
la base, resulte ortogonal. A la función ²!³ se le llama “función de peso”.
–
3[k (%)] + k (%)k (%) = 3[k (%)] + k r(%)k (%) = 0.
–
Se sigue ahora que k (%) y k (%) corresponden a autovalores diferentes, k y k
respectivamente, y por lo tanto son necesariamente ortogonales debido a que 3 satisface
las hipótesis del teorema 2 . Esto indica que
x2 x2
(%) k (%) k (%) d% = (%) | k (%)| d% = 0
x x
pero puesto que el integrando es positivo, esta integral jamás es cero, con lo cual
´ Nuestra afirmacion
obtenemos una contradiccion. ´ de que existe un autovalor complejo es
falsa y el teorema esta demostrado.
Ejemplo 2. Hallemos los valores y las funciones propias para el siguiente problema
& ZZ b & ~ Á &²³ ~ &² c ³Á &Z ²³ ~ &Z ² c ³
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
solución de prueba, entonces & ZZ b & ~ % ² b ³ de donde tenemos el polinomio
Darío Sánchez CURSO DE SUCESIONES Y SERIES 99
B
b b ´ % b %µb | O b 4 ² b b b b b b ij
~
B
~ | O b 4
~
De donde la convergencia de la serie de Fourier. Y por el criterio 4 de Weierstrass la
convergencia es uniforme. Dado que ¸Á %Á %¹B ~ es un conjunto ortogonal en
el espacio vectorial w ~ ¸ ¢ ´ c Á µ ¦ s° c ²%³ % existe¹, entonces el teorema
B
1 implica que ²%³ ~ b ´ % b %µÀ
~
Supongamos ahora que ²!³ tiene período ; . Entonces puede introducirse una
variable % tal que ² ³ como función de %, tenga período 2. Para eso consideremos la
siguiente transformación
[-,] [ c ; Á ; ]; s
% ª
²%³ ~ %
que ellas son las funciones propias de problema S-L siguiente
& ZZ b & ~ Á &² c ; ³ ~ &² ; ³Á &Z ² c ; ³ ~ & Z ² ; ³ À
;
Así si ¸ ¢ ´ c ; Á ; µ d° ; ²!³! existe¹ ~ w entonces
c
B
²!³ ~
b ´ ! b !µ,
~
donde ~ ;Á y
; ; ;
~ ; c ; ²!³ !Á ~ ; c ; ²!³ ! !Á ~ ; c ; ²!³ ! !À
Por lo general ²!³ es en este caso una función real. Fin del quinto bloque
Darío Sánchez CURSO DE SUCESIONES Y SERIES 102
´
Supongase que se da una funcion´ real ²!³ definida en el intervalo [0, l ], se
´ periodica
desea una extension ´ con período T = 2 l a todo s, esta puede hacerse de dos
formas:
cuando !
²!³ ~ H
cuando !
l/2 l
~ 1l @ 2l !! b 2l (l c !) ! A ~ 2
0 l/2
l/2 l
~ 2l @ 2l !
l ! ! b 2l (l c !³
l ! ! A ~
0 l/2
~ 4
(2
2 c c 1)
Así
= c16 c16 c16
,
=
, a0 = Á Ä
mientras que ~ 0 cuando £ 2,6,10,14,Ã . De aquí que el primer desarrollo de
medio rango par de ²!³ es
²!³ ~ 2 c 16 1 2 1 6
( 2 l ! + 6 l ! + Ä )
De modo semejante, = 8
2 y el otro desarrollo de medio rango impar ²!³ es
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 ortogonalización de Gram-Schmidt
3. Sea w ~ ¸ ¢ ´Á µ s° ²!³ tiene segunda derivada continua en ´Á µ¹Á se define el
operador auto-adjunto por 3& ~ ´²!³&Z ²!³µZ b ²!³&Á demostrar que 3 es lineal.
4. Sea w el mismo espacio de ejercicio anterior. Demostrar la identidad de Lagrange o
sea demostrar que
& 3& c & 3& ~ ´²!³²& &Z c &Z & ³µZ
5. Demostrar que ²%³ ~ % y ²%³ ~ % son ortogonales con respecto a la
función de peso ²%³ ~ .
6À Demostrar que ²%³ ~ y ²%³ ~ c % son ortogonales en ²Á B³ con respecto a la
función de peso ²%³ ~ c% À
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 función de peso ²%³ ~ À
³¸ %¹Á ~ Á Á Á à Á %
³ ¸ % ¹ Á ~ Á Á Á Ã Á %
³ % b Á
% c Á
% c
% b Á %
³ %Á %Á %Á c%
8. Compruebe que cada uno de los siguientes conjuntos de funciones forman un sistema
ortogonal en el intervalo dado y con la función de peso dada:
³ Á %Á % c Á ²%³ ~ c % Á c%
c
³ Á %Á % c Á ²%³ ~ ² c % ³ Á c%
c%
³ Á c %Á % c
% b
Á ²%³ ~ % Á %B
B c%
Sugerencia: Muestre que % % ~ [
%
³ Á %Á % c Á ²%³ ~ c Á c B % B.
9. Sea Jf,gK ~ ²%³²%³%À Demuestre que J,K es un producto hermitiano para las
funciones definidas en el intervalo [0,1].
Sea ahora ²%³ ~ %Á ²%³ ~ % Á ²%³ ~ % À Evalúe:
a) J , K ³ J , K ³OO OO ³ OO OO
³ J b , b K f³ J c , c K
10. Halle los valores propios y las funciones propias del problema de Sturm-Liouville
siguiente:
& ZZ b & ~ Á &² c ³ ~ &²³Á & Z ²³ ~ & Z ² c ³
1. Hallar las funciones propias y los valores propios de los siguientes problemas de
Sturm-Liouville:
a) & ZZ b 4& Z b ² b ³& ~ Á &²³ ~ Á &²³ ~
³ & ZZ b & ~ Á & Z ²³ ~ Á & Z ²³ ~
³ & ZZ b & ~ Á &²³ ~ Á &Z ²³ ~
ZZ
³& b & ~ Á % Á &²³ ~ Á & Z ²³ ~
³ & ZZ b & ~ Á % Á &²³ ~ Á &²³ b & Z ²³ ~
Darío Sánchez CURSO DE SUCESIONES Y SERIES 106
Á c % Á c %
³ ²%³F ³ ²%³ ~ F
%Á % % Á %
³ ²%³ ~ %² c %³Á c % ³ ²%³ ~ c Á c %
o³ ²%³ ~ ² b % ³Á c % ³ ²%³ ~ c % Á c %
À Cuales de las funciones siguientes ¿ son pares , impares, o ni impares ni pares ?
a) % Á % Á %Á % %Á % % Á %Á % Á %
³ O%OÁ % %Á % b %Á ²constante)Á ² b % ³ c %
19. Las siguientes funciones se suponen son periódicas, de período 2, ¿ cuáles son
pares, impares o ni impares ni pares ?
³ ²%³ ~ % ² c % ³ ³ ²%³ ~ % ² % ³
³ ²%³ ~ %O%O ² c % ³ ³ ²%³ ~ O%O ² c % ³
%Á % c % Á c%
³ ²%³ ~ F ³ ²%³ ~ F
Á % %Á %
%Á ²- % ³ % Á ²- % ³
³ ²%³ ~ F ³ ²%³ ~ F
Á ² % ³ c % Á ² % ³
. Si ²%³ es impar, entonces mostrar que O ²%³O y ²%³ son pares
21. Si ²%³ es par, entonces mostrar que O ²%³OÁ ²%³ y ²%³ son pares.
22. Si ²%³ está definida para toda %, entonces demostrar que la función
²%³b²c%³ ²%³c²c%³
²%³ ~ es par y la función ²%³ ~ es impar.
23. Usando 22, representar las siguientes funciones como suma de una función par y una
función impar
%
³ c% ³ c% ³ % ³ %b
24. Hallar las series de Fourier de las funciones siguientes que se suponen tienen período
2.
Á c % %Á %
³ ²%³ ~ F ³ ²%³ ~ F
Á %
c %Á %
%
³ ²%³ ~ ² c % ³ ³ ²%³ ~ O % O ² c % ³
À Usando series de Fourier de algunas funciones de los ejercicios anteriores o usando la
identidad de Parseval demuestre que
³ c b c b Ä ~ ²< ³³
³ b b
b
b b Ä ~
²< ³
³ c b
c
b c Ä ~
d) 1 b b b b Ä ~
26. Hallar los desarrollos de medio rango de las siguientes funciones:
³ ²%³ ~ ² % ³ ³ ²%³ ~ c % ² % ³
³ ²%³ ~ % ² % ³ ³ ²%³ ~ % ² % ³
³ ²%³ ~ ² % ³ ³ ²%³ ~ % ² % ³
%Á % Á %
³ ²%³ ~ F ³ ²%³ ~ F
Á % c %Á %
%Á %
c% %
³ ²%³ ~ F ³ ²%³ ~ F Á
c% % %
Darío Sánchez CURSO DE SUCESIONES Y SERIES 108
³ ²%³ ~ % ² % ³ ³ ²%³ ~ % ² % ³
³ ²%³ ~ % ² % ³ ³ ²%³ ~ % ² % ³
³ ²%³ ~ % ~ % ² % ³ ³ ²%³ ~ % ² % ³
³ ²%³ ~ % ² % ³ ³ ²%³ ~ % ² % ³
!³ ²%³ ~ c % ² % ³ "³ ²%³ ~ c% ² % ³
À Dada la función ²%³ ~ c %Á % Á hallar
a) El desarrollo senoidal
b) El desarrollo cosenoidal
c) La serie de Fourier completa en forma trigonométrica.
Taller No.1
." À
(³Hallar 5 o tal que si 5 Á entonces | b c O À
²³ Pruebe que lim b ~ À
¦B
." À
Si ¸ ¹B
~ es una sucesión de números reales Á 4 y lim ~ 3 probar que
¦B
34
." À
Si ¸ ¹B
~ es una sucesión de números reales y si lim ~ 3 Á lim c ~ 3Á
¦B ¦B
pruebe que lim ~ 3. ²Esto es, si las subsucesiones de ¸ ¹B
~ de términos pares y
¦B
de términos impares convergen a 3, entonces la sucesión ¸ ¹B
~ también converge a
3³.
." À
²³ Halle 5 o tal que si 5 entonces j À
b
²³ Pruebe que lim j ~
¦B b
Taller No.2
." À
Darío Sánchez CURSO DE SUCESIONES Y SERIES 109
." À
¿Cuales de las siguientes sucesiones son monótonas?
²³ ¸ ¹B~
B
²³ ¸! ¹~ ²³¸ b B B
¹~ ²³¸ b ² c ³ ¹~
." À
Sea ~ j y sea b ~ jj para
²³ Pruebe, por inducción que para todo
²³ Pruebe que b para todo
²³ Pruebe que ¸ ¹B
~ es convergente
²³ Pruebe que lim ~
¦B
." À
Supóngase que y sea b ~ ² b c ³² ³À Pruebe que
²³ Á Á Á Ã es decreciente
²³ s Á Á
Á Ã es creciente
²³ ¸ ¹B
~ es convergente.
." 5.
Demuestre que :
²³ lim ~ (donde es el logaritmo natural)
¦B
²³
²³ lim ~ ² es una constante)
¦B
²³ lim ~ ² ³À
¦B
."
À
Para o sea ! ~ b [ b [ b [ b Ä b [ ²³ Probar que ¸! ¹B~ es
creciente. ²³ Usando solamente hechos establecidos en la prueba de
B B
lim ¸² b ³ ¹~ Á para probar que ¸! ¹~ es acotada por encima y probar que
¦B
lim ! lim ² b ³ À
¦B ¦B
Taller No.
." À
1. Probar que b [ b [ b
[ bÄ es convergente.
Darío Sánchez CURSO DE SUCESIONES Y SERIES 110
B
2. Si ² ³ y si % Á entonces probar que % converge y que
~
su suma no es más grande que c% À
." À
B
1. Mostrar que ² c ³b c es divergente.
~
2. Clasifique como divergente, condicionalmente convergente ó absolutamente
convergente a cada una de las siguientes series:
²³ c [ b [ c [ b Ä ²³ c b c b Ä
²³ c b c b Ä ²³ c b c b c b Ä
." À
B
1. Mostrar que converge si y sólo si para cada existe 5 o tal que
~
c c À Esta propiedad es conocida como condición de Cauchy para las series.
~b
2. Pruebe que si b b b Ä converge a ( , entonces
² b ³ b ² b ³ b ² b ³ b Ä es convergente. ¿Cual es el valor de la
suma de la segunda serie?.
." À
1.¿Para que valores de la serie c b c b Ä es convergente?
2. Si % no es un número entero, probar que %b c %b b %b c %b b Ä es
convergente.
." 5.
B
1. ¿ Es la serie ² b ³ convergente ó divergente? ¿ cuál es la razón de su
~
afirmación?À
2. Pruebe que para cualesquiera Á s la serie
b ² b ³ b ² b ³ b ² b ³ b Ä
diverge a menos que ~ ~ À
."
À
À Pruebe que la serie ² c ³ b ² c ³ b ² c ³ b Ä es convergente si y sólo si
¸ ¹B
~ es convergente. La serie así obtenida es llamada serie telescópica y se tiene que
B
² c b ³ ~ c lim À
~ ¦B
À ¿ Para que valores de % la serie
² c %³ b ²% c % ³ b ²% c % ³ b ²% c % ³ b Ä
Darío Sánchez CURSO DE SUCESIONES Y SERIES 111
es convergente?.
." À
B B
À ¿ 2 b
b
3 converge ó diverge ? ¿ b
²b³ converge ó diverge ?
~ ~
2. Mostrar que si la serie b b b Ä converge a 3Á entonces también
b b b b b b Ä converge a 3À Más generalmente mostrar que cualquier
número de términos con 0 pueden ser insertados en una serie convergente sin alterar su
convergencia ó suma.
Taller No.4
." À
B
1.Pruebe si es verdad ó de un contra-ejemplo en caso de ser falso: Si es una serie
~
B
convergente de números reales positivos y es una serie divergente de términos
~
B B
positivos, entonces À
~ ~
2. ¿ cuales de las siguientes series son convergentes ?
B B B
²³ [²³ b ²³ À
b b
~ ~ ~
." À
1. ²³ ¿El criterio de la razón da alguna información acerca de la convergencia de la serie
2 3 b 2 3 b 2 3 b 2 3 b 2 3 b Ä ?.
²³ ¿Es esta serie convergente?
2. Si ¸ ¹B ~ es una sucesión de números reales, y si lim O b O ~ 3 pruebe que
¦B
lim ~ À
¦B
." À
À Use el criterio de la raíz en las siguientes series y que puede concluir en
B B B ²b ³
²³ % ²³ ²³ ²³
À
~ ~ ~
B
. Mostrar que % converge para todo % sÀ
~
B
3. ¿ Para qué valores de % la serie % es convergente ?.
~
." À
Darío Sánchez CURSO DE SUCESIONES Y SERIES 112
B
1. Pruebe que % ~ c%
À
~
j% B
2. Estudie la convergencia de la serie b% %À
~
." À
B
1. Pruebe que ´²b
³ bµ
b ~
jÀ
~ ² ³´b µ
B
% b%
2. Pruebe que % ~ À
~ c%
."
À
B
1. Mostrar que si O%O entonces % converge absolutamente.
~
2. Para cada % probar que las series c %[ b %[ c Ä y % c %[ b % [ c Ä
convergen absolutamente.
." 7À
1.¿ Para que valores de % la serie b % b % b % b Ä converge ?
2. ¿ Para que valores de % la serie % c % b % c % b Ä converge ?
B B
b
3. Si O O B y para cada oÁ O b O O OÁ probar que O O BÀ
~ ~
Taller No.
." À
1. Sea la función característica del intervalo abierto (0, ³ ² % ³
²³ Probar que ¸ ¹B~ converge hacia 0 en ´Á µ
(b) ¿Existe 5 o tal que si 5 entonces | ²%³ c O para todo % ´Á µ ?
(c) Calcular lim ²%³%
¦B
(d) Compare () con (c).
(: ( sÁ ! ( función característica ( & !á
í ¢
%(
( ~ F
%¤( ³
B
%
2.¿ Será la serie b% uniformemente convergente en ² c BÁ B³ ?
~
." À
1. Sea ¸ ¹B Z
~ una sucesión de funciones en [Á µ tal que ²%³ existe para cada
% [a,b] ² o y
Darío Sánchez CURSO DE SUCESIONES Y SERIES 113
." À
%
. Consideremos ~ b% si % sÁ ~ Á Á Á Ã Encontrar la función límite de
." À
1. Sea ²%³ ~ %² b ³Á % s ~ ² c BÁ B³
% ~ Á óÁ %
²%³ ~ H
b % r ²% ~ ³
." À
À Sea ²%³ ~ % ² % ³À Demuestre que ¸ ¹B ~ converge uniformemente
Z B
a en ´ Á µ , pero que ¸ ¹~ no converge puntualmente a en ´ Á µÀ
2.Usando en teorema de Taylor deduzca la serie % ó sea, muestre que
% ~ c %[ b %[ c Ä ² c B % B³
Análogamente deduzca que
% ~ % c %[ b % [ c Ä ² c B % B³
."
À
%
1. Sea ²%³ ~ % c ² % B³
²³¿ Convergerá ¸ ¹B ~ uniformemente a 0 en ´Á B³ ?
²³ ¿ Convergerá ¸ ¹B~ uniformemente a 0 en ´Á µ ?
Darío Sánchez CURSO DE SUCESIONES Y SERIES 114
2. Sea ¸ ¹B
~ una sucesión de funciones en s tal que O: ²%³O 4 ² o % s³
donde : ~ b b Ä b À Sea ¸ ¹B ~ una sucesión decreciente de números
B
reales positivos la cual es convergente hacia cero. Pruebe que converge
~
uniformemente en s.
." À
À Sea ²%³ ~ c% ² % B³À Probar que ¸ ¹B
~ converge uniformemente a
en ´Á B³À
À Demostrar que cada una de las siguientes series convergen uniformemente en el
intervalo indicado:
B B
() ² % B ³²³ c% % ² % ³
b%
~ ~
B
( ) % para todo % s.
~
Taller No. 6
." À
À Si es una función a valor real en ´Á b µ tal que ²b³ ²%³ existe para todo
% ´Á b µ y ²b³ es continua en ´Á b µÁ entonces
²³
%
²%³ ~ ²³ b ²³
[ ²% c ³ b [ ²% c !³ ²b³ ²!³!
~
Este resultado es conocido como “ ó" ; & ! !”.
Halle la fórmula de Taylor con resto integrable de ²%³ ~ % ² c B % B³ y
~ . Demuestre además que
% O%Ob
O [ ²% c !³ ²b³ ²!³! O ²b³[ ² c B % B³
ZZ Z
À La ecuación %& b ² b c %³& b & ~ es conocida como la ecuación de
% c
Laguerre cuya solución es dada por 3 ²%³ ~ [ % % c% %b para
% BÁ estas funciones son llamadas los polinomios de Laguerre. Demostrar que los
polinomios de Laguerre forman un conjunto ortogonal.
." À
B
À ²³ Supóngase que ²%³ ~ % converge para todo % de algún intervalo ² c 9Á 9³
~
y que ²%³ ~ para todo % de ² c 9Á 9³. Demostrar que cada ~ À
²³ Supóngase que sólo sabemos que ²% ³ ~ para alguna sucesión ¸% ¹B
~ con
lim % ~ À Demostrar de nuevo que cada ~
¦B
B B
²³ Supóngase que ²%³ ~ % y ²%³ ~ % convergen para cada % en algún
~ ~
intervalo que contiene a y que ²% ³ ~ ²% ³ para alguna sucesión ¸% ¹B
~ que
Darío Sánchez CURSO DE SUCESIONES Y SERIES 115
converge hacia . Demostrar que ~ para todo À En particular, “una función tiene
una representación única como serie de potencias centradas en ”.
À Hallar las series de Fourier de las funciones siguientes que se suponen tienen período
2.
Á c % %Á %
³ ²%³ ~ F ³ ²%³ ~ F À
Á %
c %Á %
." À
B
1. Demostrar que la serie binómica ² b %³ ~ 2 3% presenta el siguiente
~
comportamiento en los puntos % ~ f
²³ Si % ~ c , la serie converge para y diverge para À
(b) Si % ~ Á la serie diverge para c , converge condicionalmente para
c Á y converge absolutamente en [0,1]
2.Dada la función ²%³ ~ c %Á % Á hallar
a) El desarrollo senoidal
b) El desarrollo cosenoidal
c) La serie de Fourier completa en forma trigonométrica.
." À
." À
1. La sucesión de Fibonacci ¸ ¹B
~ está definida por ~ ~ Á b ~ b c.
b
²³ Demostrar que .
B
²³ Sea ²%³ ~ % c
~ b % b % b % b Ä . Utilizar el criterio del cociente
~
para demostrar que ²%³ converge si O%O
c
²³ Demostrar que si O%O Á entonces ²%³ ~ % b%c ²0ó ¢ Esta ecuación
se puede escribir como ²%³ c % ²%³ c % ²%³ ~ ³
Darío Sánchez CURSO DE SUCESIONES Y SERIES 116
²³ Utilizar la descomposición en fracciones simples para % b%c , y la serie de
potencias de %c para obtener otra serie de potencias para À
²³ Se sigue por un ejercicio anterior, que las dos series de potencias obtenidas para
deben ser idénticas. Utilizar este hecho para demostrar que
bj cj
4 5 c4 5
~ j À
2. La ecuación ² c % ³ & ZZ c %&Z b & ~ es llamada ecuación de Chebyshev cuya
solución son los polinomios de Chebyshev ; ²%³ ~ ´ %µ para
c % À Demostrar que los polinomios de Chebyshev forman un conjunto
ortogonal.
."
À
B
1. Demostrar que la serie 2 3% converge para O%O .
~
²³ Demostrar que ² b %³ Z ²%³ ~ ²%³ para O%O
²³ Demostrar ahora que cualquier función que satisfaga la parte ²³ es de la forma
²%³ ~ ² b %³ para cualquier constante , y utilizar este hecho para establecer la serie
²%³
binomial ²0ó ¢ * é ²%³ ~ ²b%³ ³
2. Hallar las funciones propias y los valores propios del siguiente problema de Sturm-
Liouville:
& ZZ b & Z b ² b ³& ~ Á &²³ ~ Á &²³ ~ À
B
c%
À Muestre que la serie b converge uniformemente si % y diverge si % À
~
B c%
Para valores positivos de % , se define una función por ²%³ ~ b À Usando los
~
teoremas de continuidad y derivabilibad para la convergencia uniforme demuestre que
²%³ es continua para % y derivable para % À
²!³ ~ ! si c ! À
³Explique por qué la suma de la serie obtenida es igual a ²!³ si c ! y
determine el valor de la suma para ! ~ .
B
³ Deducir de la parte ³ que : ! % ~ b % ² :": Tome % ~ !
% % c
~
en la parte ³³.
# c"
Suponiendo por hipótesis de inducción # c " , ahora
# c"
# c"
#b c "b # c"
~ b
hipótesis de inducción
Así la sucesión # c " tiene por lim ²# c " ³ ~ À Todas las hipótesis de la parte a)
¦B
se han verificado y las sucesiones ¸" ¹B
~
B
y ¸# ¹~ convergen hacia el mismo límite,
o sea lim " ~ lim # À
¦B ¦B
ÀLos términos de la serie son positivos
c%
% ¬ b b
B c%
Usando el criteio M de Wierstrass (ver teorema 2 §4.) la serie b converge
~
uniformemente.
B
Si % Á entonces lim b ~ b B, así b es divergente.
c% c%
¦B ~
Por lo tanto para % Á se ha visto que el término general de la serie es mayorado por
b Á término general de una serie convergente; este resultado entraña que la serie
converge uniformemente en ´Á b B³À Según el teorema 1 del §4. como ¸ b ¹B
c%
~ es
B c%
una sucesión de funciones continuas, entonces b ~ ²%³ es continua, ya que la
~
convergencia es uniforme.
B c%
cc%
La serie derivada c b tiene su término general
b c
b no convergente
~1
B B c
para % ~ , puesto que al comparar c
b con
tenemos
b
lim ~ c .
~ ~ ¦B
B c%
c c
Pero b converge para todo % positivo: La sucesión así
~
c% B
Oc% O , luego c
b c b y
b es convergente (compare con
~
B
3. (a) La función es par, los coeficientes son nulos para los coeficientes se puede
hacer las integrales en el intervalo ´Á µ y doblar el resultado obtenido
~ ! ! ~
~ ! ! ! ~ ² ,
! !
c c ! !
c b ! ! !³
² c
³ ! ! ! ~ ² c ³ ¯
c ²c³
² ³ ! ! ! ~ c
así
²c³
~ ! ! ! ~ ² c ³
Obteniéndose
B
²c³
²!³ ~
b c h ! ²³
~
³ En la teoría de series de Fourier, las funciones consideradas son supuestas periódicas;
falta así prolongar la función y tomar
² c ³ ~ ²³ ~ Á ² b ³ ~ ²!³
La función es entonces continua en ´ c Á µ y derivable en este intervalo, es decir ella
es derivable a derecha en c y derivable a izquerda en . Se deduce que la función
periódica es continua y admite derivada a derecha y a izquierda en cualquier punto %
del intervalo ´ c Á ); pero ella no admite derivada para el valor pues
Z ² c ³ ~ c Á Z ² b ³ ~ .
Se dice entonces que la serie de Fourier converge hacia ²!³ para todo valor de ! y por lo
tanto hacia ! para todos los valores de ! de ´ c Á µÁ el valor está comprendido y
posee el valor ²³ ~
c) En particular, si ! ~ en ²³ se tiene:
B
²c³
~ < b ² c ³ =
~
B
~ < b ² c ³ =.Tomando ~ % se tiene
~
B
!% ~ % b % c
%
~
BIBLIOGRAFIA
Darío Sánchez CURSO DE SUCESIONES Y SERIES 120
[1] Apostol Tom M.: Calculus. Volumen 0 . Blaisdell Publishing Company. 1962
[2] Apostol Tom MÀ: Análisis Matemático. Editorial Reverte, S.A 1960
[4] Kreyszig Erwin: Matemáticas avanzadas para Ingeniería. Volumen 1. Limusa. 1979
[7] Muñoz Quevedo José M.: Introducción a la teoría de conjuntos. U . Nal. 1979.
Bogotá 1995.
[11] Spivak Michael : Calculus . Volumen II. Editorial Reverte S.A. 1978.
Exitos y bienvenidos a la investigación por internet. Cualquier comentario favor hacerlo llegar
a: danojuanos@hotmail.com
Copyright© Darío Sánchez Hernández