PRCTICA 1

Sucesiones y series de
nmeros reales
El programa Mathematica nos sirve de ayuda para estudiar el comportamiento de sucesiones y series
de nmeros reales.
Utilizaremos las rdenes: Limit, para calcular lmites de algunos tipos de sucesiones y Sum para
calcular la suma de una serie.
Veremos un estudio detallado de la convergencia de una serie aplicando criterios de convergencia as
como una aplicacin de las rdenes NSum y EulerSum.
1. SUCESIONES DE NMEROS REALES
EJEMPLO 1.1. Consideremos la sucesin 8a
n
< =
8
1

n+1
<
ne
Definimos el trmino general de la sucesin
In[1]:= a@n_D :=
1

n + 1
Generamos una tabla con los 12 primeros trminos de la sucesin
practica1.nb 1
In[2]:= term = Table@a@nD, 8n, 1, 100<D
Out[2]= 9
1

2
,
1

3
,
1

4
,
1

5
,
1

6
,
1

7
,
1

8
,
1

9
,
1

10
,
1

11
,
1

12
,
1

13
,
1

14
,
1

15
,
1

16
,
1

17
,
1

18
,
1

19
,
1

20
,
1

21
,
1

22
,
1

23
,
1

24
,
1

25
,
1

26
,
1

27
,
1

28
,
1

29
,
1

30
,
1

31
,
1

32
,
1

33
,
1

34
,
1

35
,
1

36
,
1

37
,
1

38
,
1

39
,
1

40
,
1

41
,
1

42
,
1

43
,
1

44
,
1

45
,
1

46
,
1

47
,
1

48
,
1

49
,
1

50
,
1

51
,
1

52
,
1

53
,
1

54
,
1

55
,
1

56
,
1

57
,
1

58
,
1

59
,
1

60
,
1

61
,
1

62
,
1

63
,
1

64
,
1

65
,
1

66
,
1

67
,
1

68
,
1

69
,
1

70
,
1

71
,
1

72
,
1

73
,
1

74
,
1

75
,
1

76
,
1

77
,
1

78
,
1

79
,
1

80
,
1

81
,
1

82
,
1

83
,
1

84
,
1

85
,
1

86
,
1

87
,
1

88
,
1

89
,
1

90
,
1

91
,
1

92
,
1

93
,
1

94
,
1

95
,
1

96
,
1

97
,
1

98
,
1

99
,
1

100
,
1

101
=
Tambin podemos visualizar algunos trminos
In[3]:= a@1D
Out[3]=
1

2
In[4]:= a@7D
Out[4]=
1

8
Los representamos grficamente mediante
In[5]:= ListPlot@term, PlotStyle PointSize@0.02DD;
20 40 60 80 100
0.02
0.04
0.06
0.08
0.1
practica1.nb 2
Grficamente podemos observar que la sucesin es decreciente, est acotada entre 0 y 1 y tiene de
lmite 0.
Para probar el decrecimiento vemos si a
n+1
a
n
In[6]:= a@n + 1D < a@nD Simplify
Out[6]= 2 + 3 n + n
2
> 0
Podemos forzar a Mathematica para trate de decirnos si la desigualdad anterior es cierta, para ello le
indicaremos que n es un nmero natural (entero positivo).
In[7]:= FullSimplify@a@n + 1D < a@nD, n Integers n > 0D
Out[7]= True
Para la acotacin comprobamos si es cierto que 0 y 1 son las cotas inferior y superior respectivamente
In[8]:= FullSimplify@0 < a@nD < 1, n Integers && n > 0D
Out[8]= True
El smbolo && en la expresin anterior indica el operador lgico "y" que tambin puede indicarse
con el smbolo de la paleta BasicImput.
Por ltimo, calculamos el lmite
In[9]:= Limit@a@nD, n InfinityD
Out[9]= 0
o tambin
In[10]:= Limit@a@nD, n D
Out[10]= 0
Mathematica tambin soporta el empleo de subndices (vase la paleta BasicImput). De esta forma
podramos haber definido nuestra sucesin mediante la expresin
In[11]:= a
n_
:=
1

n + 1
practica1.nb 3
EJEMPLO 1.2. Estudiemos las sucesiones {c
n
} =
8H
2
n

3
n
+2
2 n
L<
ne
y {d
n
} = 8H-1L
n
+
1

n
<
ne
Observacin: Hay veces que la funcin Limit no nos proporciona el lmite de determinadas
expresiones. Esto suele depender de la versin del programa que estemos utilizando. Podemos
ampliar el repertorio de expresiones para las cuales el programa Mathematica puede calcular su
lmite cargando el paquete Calculus`Limit`.
Definimos el trmino general de la sucesin y calculamos el lmite
In[12]:= c
n_
:=
2
n

3
n
+ 2
n
In[13]:= Limit@c
n
, n D
Out[13]= 0
Si hacemos lo mismo con la sucesin {d
n
}
In[14]:= d
n_
:= H1L
n
+
1

n
In[15]:= Limit@d
n
, n D
Out[15]=
2 Interval@80,<D
Mathematica no nos da el lmite. En este caso es debido a que se trata de una sucesin oscilante,
puede probarse que admite dos sucesiones parciales que tienen diferente lmite.
In[16]:= d
2 n
Out[16]= H1L
2 n
+
1

2 n
Observemos que Mathematica no reconoce que H1L
2 n
= 1,
dado que Mathematica no reconoce a n como un numero natural.
In[17]:= FullSimplify@d
2 n
, n IntegersD
Out[17]= 1 +
1

2 n
In[18]:= Limit@FullSimplify@d
2 n
, n IntegersD, n D
Out[18]= 1
practica1.nb 4
In[19]:= Limit @%, n D
Out[19]= 1
In[20]:= d
2 n1
Out[20]= H1L
1+2 n
+
1

1 + 2 n
In[21]:= FullSimplify@d
2 n1
, n IntegersD
Out[21]= 1 +
1

1 + 2 n
In[22]:= Limit@FullSimplify@d
2 n1
, n IntegersD, n D
Out[22]= 1
EJEMPLO 1.3. Sucesiones recurrentes
Podemos definir la sucesin recurrente x
1
= 1, x
n
=
!!!!!!!!!!!!!!!!!!!
1 + x
n-1
, n > 1 de la forma siguiente:
In[23]:= x
1
= 1;
x
n_
:=
!!!!!!!!!!!!!!!!!!
1 + x
n1
;
Podemos ver algunos trminos de la sucesin {x
n
}
In[25]:= x
3
Out[25]=
"#################
1 +
!!!!
2
In[26]:= x
4
Out[26]=
$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1 +
"#################
1 +
!!!!
2
In[27]:= x
10
Out[27]=
*
(
)
)
)
)
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
*
(
)
)
)
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
*
(
)
)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
*
(
)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
*
(
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
&'''''''''''''''''''''''''''''''''''''''''''
1 +
$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1 +
"#################
1 +
!!!!
2
Podemos utilizar la instruccin For para generar los cinco primeros trminos
practica1.nb 5
In[28]:= For @n = 1, n 10, n++, Print@x
n
DD
1
!!!!
2
"#################
1 +
!!!!
2
$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1 +
"#################
1 +
!!!!
2
&'''''''''''''''''''''''''''''''''''''''''''
1 +
$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1 +
"#################
1 +
!!!!
2
*
(
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
&'''''''''''''''''''''''''''''''''''''''''''
1 +
$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1 +
"#################
1 +
!!!!
2
*
(
)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
*
(
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
&'''''''''''''''''''''''''''''''''''''''''''
1 +
$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1 +
"#################
1 +
!!!!
2
*
(
)
)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
*
(
)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
*
(
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
&'''''''''''''''''''''''''''''''''''''''''''
1 +
$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1 +
"#################
1 +
!!!!
2
*
(
)
)
)
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
*
(
)
)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
*
(
)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
*
(
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
&'''''''''''''''''''''''''''''''''''''''''''
1 +
$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1 +
"#################
1 +
!!!!
2
*
(
)
)
)
)
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
*
(
)
)
)
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
*
(
)
)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
*
(
)
++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
*
(
+++++++++++++++++++++++++++++++++++++++++++++++++++++++++
1 +
&'''''''''''''''''''''''''''''''''''''''''''
1 +
$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
1 +
"#################
1 +
!!!!
2
Los valores anteriores son poco tiles si lo que pretendemos es estudiar la monotona y la acotacin.
Generamos los valores aproximados
practica1.nb 6
In[29]:= For @n = 1, n 10, n++, Print@N@x
n
DDD
1.
1.41421
1.55377
1.59805
1.61185
1.61612
1.61744
1.61785
1.61798
1.61802
Si representamos los trminos podemos observar que la sucesin es montona y acotada.
In[30]:= ListPlot@Table@x
n
, 8n, 1, 15<D,
PlotRange 80, 2<, PlotStyle PointSize@0.015DD;
2 4 6 8 10 12 14
0.25
0.5
0.75
1
1.25
1.5
1.75
2
La sucesin es convergente. Sin embargo, si tratamos de calcular su lmite mediante la instruccin
Limit, el programa queda inmerso en un proceso recursivo infinito y no es capaz de mostrarnos el
valor del lmite. Pero si notamos por L al lmite de la sucesin, en el caso de exista debe cumplirse
L=
!!!!!!!!!!!!
1 + L , por lo que podemos pedir al programa que resuelva la ecuacin.
practica1.nb 7
In[31]:= SolveAL
!!!!!!!!!!!!
1 + L E
Out[31]= 99L
1

2
I1 +
!!!!
5 M==
Luego el lmite es
1

2
I1 +
!!!!
5 M
En el siguiente ejemplo consideramos la sucesin de Fibonacci:
In[32]:= x
1
= 1; x
2
= 1;
x
n_
:= x
n1
+ x
n2
In[34]:= term = Table@x
n
, 8n, 1, 15<D
Out[34]= 81, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, 144, 233, 377, 610<
In[35]:= ListPlot@term, PlotStyle PointSize@0.015DD;
2 4 6 8 10 12 14
100
200
300
400
500
600
En la representacin grfica podemos observar que la sucesin es montona creciente y no mayorada.
2. SERIES DE NMEROS REALES
In[36]:= Clear@nD;
EJEMPLO 2.1 Estudio de la serie
n=1
n

2
n

Se puede hacer el estudio de la serie desde distintos puntos de partida:
practica1.nb 8
A) Comprobando si se cumple la condicin necesaria de convergencia y aplicando, en su caso, un
criterio de convergencia
Definimos el trmino general de la serie y calculamos su lmite
In[37]:= a
n_
:=
n

2
n
Vemos si cumple la condicin necesaria de convergencia de series, es decir, si lim
n
n

2
n
= 0.
In[38]:= Limit@a
n
, n D
Out[38]= 0
Aplicamos el criterio de D'Alembert o del cociente
In[39]:= LimitA
a
n+1

a
n
, n E
Out[39]=
1

2
El lmite obtenido es menor que 1, por lo que dicho criterio nos permite afirmar que la serie
n=1
n

2
n
es convergente; aunque de esta forma slo podemos afirmar que es convergente pero no obtenemos
el valor de la suma.
B) Calculando directamente la suma de la serie mediante la instruccin Sum
In[40]:= Sum@a
n
, 8n, 1, <D
Out[40]= 2
De este resultado podemos asegurar que la serie es convergente (su suma es 2)
La instruccin anterior puede escribirse usando la paleta basicInput
In[41]:=
n=1

a
n
Out[41]= 2
C) Otra forma de estudiar el carcter de una serie y hallar su suma es a partir de la sucesin de sumas
parciales. En este ejemplo, el programa Mathematica nos da la expresin explcita del trmino
general de la sucesin de sumas parciales de la serie
practica1.nb 9
In[42]:= A
n_
=
k=1
n
a
k
Out[42]= 2
n
H2 + 2
1+n
nL
La suma de la serie vendr dada por el lmite de la sucesin de sumas parciales obtenida
anteriormente
In[43]:= Limit@A
n
, n D
Out[43]= 2
Como el resultado es 2, la sucesin de sumas parciales de la serie es convergente (sumable) y su
suma es 2.
EJEMPLO 2.2 Estudio de la serie

n=2

1

HLogHnLL
n
Definimos el trmino general :
In[44]:= a
n_
:=
1

HLog@nDL
n
Condicin necesaria de convergencia
In[45]:= Limit@a
n
, n D
Out[45]= 0
Aplicamos el criterio de la raz n-sima
In[46]:= LimitA
!!!!!!
a
n
n
, n E
Out[46]= 0
Al ser el lmite menor que 1 el criterio de la raiz nos permite afirmar que la serie es convergente.
Si intentamos calcular el trmino general de la sucesin de suma parciales de la serie para hallar el
valor de la suma de la serie, el programa no lo calcula
In[47]:= A
n_
=
k=2
n
a
k
Out[47]=
k=2
n
Log@kD
k
practica1.nb 10
Tampoco nos da el valor de la suma de la serie
In[48]:=
n=2

a
n
Out[48]=
n=2

Log@nD
n
Por los resultados vemos que, en este caso, Mathematica no nos proporciona ni el trmino general de
la sucesin de sumas parciales ni la suma directamente.
Sin embargo podemos obtener un Valor aproximado de la suma de una serie de varias formas:
con el comando N o con las funciones NSum y EulerSum. La funcin EulerSum est incluida en el
paquete NumericalMath`NLimit` y opera con gran eficacia cuando la serie es alternada o cuando el
trmino general es del tipo p(n) r
n
, siendo p(n) un polinomio en n.
1) Utilizando el comando N (nos da un valor aproximado)
In[49]:= NA
n=2

a
n
E
Out[49]= 3.24261
In[50]:= NA
n=2

a
n
, 20E
Out[50]= 3.2426094109252482106
2) Utilizando la instruccin NSum (nos da un valor aproximado de la suma de la serie)
In[51]:= NSum@a
n
, 8n, 2, <D
Out[51]= 3.24261
3) Utilizando la instruccin EulerSum (incluida en el paquete NumericalMath`NLimit`)
In[52]:= << NumericalMath`NLimit`
In[53]:= EulerSum@a
n
, 8n, 2, <D
Out[53]= 3.24261
practica1.nb 11
Ejemplo 2.3 Estudiar la serie

n=1

H
1

2
L
n
Hn
2
3 n + 1L
1) Escribimos el trmino general de la serie
In[54]:= a
n_
:=
i
k
j
j
1

2
y
{
z
z
n
Hn
2
3 n + 1L
Como se trata de una serie alternada estudiamos su convergencia absoluta (estudiamos la serie de los
valores absolutos y aplicamos el criterio del cociente)
In[55]:= LimitA
Abs@a
n+1
D

Abs@a
n
D
, n E
Out[55]=
1

2
Como el lmite obtenido es menor que 1, la serie es absolutamente convergente. Calculamos su suma:
In[56]:= NA
n=1

a
n
E
Out[56]= 0.259259
Y un valor aproximado:
In[57]:= EulerSum@a
n
, 8n, 1, <D
Out[57]= 0.259259
Ejemplo 2.4 Probar que la serie
n=1

H1L
n
sen H

n
3
Les convergente.
Obtener un valor aproximado de la serie con una precisin de 3 cifras decimales.
1) Escribimos el trmino general de la serie
In[58]:= a
n_
:= H1L
n
Sin A

n
3
E
2) Aplicamos el criterio de Leibniz y vemos si se cumplen las dos condiciones:
a) lim
n
a
n
= 0
b) La sucesin { a
n
} es decreciente
In[59]:= Limit@Abs@a
n
D, n D
Out[59]= 0
practica1.nb 12
In[60]:= FullSimplify@Abs@a
n
D > Abs@a
n+1
D, n Integers n > 0D
Out[60]= SinA

n
3
E > SinA

H1 + nL
3
E
Luego Mathematica no es capaz de resolver la desigualdad anterior. Utilizando la representacin
grfica de los trminos de la sucesin { a
n
}
In[61]:= ListPlot@Table@Abs@a
n
D, 8n, 1, 100<DD;
20 40 60 80 100
0.0002
0.0004
0.0006
0.0008
0.001
Se observa que la sucesin { a
n
} es decreciente y tiende a cero. Por tanto se cumplen las
condiciones de Leibniz y la serie dada es convergente. Si notamos por {A
n
} a la sucesin de sumas
parciales y por S a la suma de la serie, se cumple que S-A
n
< a
n+1
. Por tanto si queremos conseguir
una aproximacin con 3 cifras decimales exactas basta lograr que a
n+1
<
1

2
10
-3
.
Esto puede hacerse de la siguiente forma:
In[62]:= n = 1;
WhileATrue, IfAAbs@a
n+1
D <
1

2
10
3
, Print@"n=", nD; Break@D, n = n + 1EE
n=18
Luego basta sumar los 18 primeros trminos. El valor aproximado ser
In[64]:= Clear@nD;
NA
k=1
18
a
k
E
Out[65]= 0.299789
El valor aproximado que nos da el programa es
practica1.nb 13
In[66]:= NSum@a
n
, 8n, 1, <D
Out[66]= 0.299542
EJERCICIOS PROPUESTOS:
1. Dada la sucesin {a
n
}={
3

4 n-2
} Se pide: a) Generar los 50 primeros trminos y representarlos
grficamente. b) Estudiar la monotona y la acotacin. c) Calcular el lmite.
2. Dada la sucesin de nmeros reales {b
n
}=9I1 +
1

n
M cos Hn pL= Se pide: Estudiar la
convergencia
3. Estudiar el carcter de la serie
1

H4 n-1L H4 n+3L
y, si es posible, calcular la suma.
4. Hallar un valor aproximado de la suma de la serie
n=1

H-1L
n
senH
p

n
L

practica1.nb 14