SUBTEMA 6.3.4.

- Series de Taylor y Serie de

McLaurin.
SERIES DE MCLAURIN Y TAYLOR:
Sea la frmula de McLaurin

f(x) = f(0)+ f (0)x +
f (0) x
2!
+...+
f (0)
n!
x +R (x)
2
(n)
n
n+1

siendo
n+1
(n+1)
n+1
R (x) =
f (z)
(n+1)!
x
con 0 < z < x.
Es decir
f(x) =
f
(0)
n!
x +R (x)
0
n (n)
n
n+1

.
Llamaremos serie de MacLaurin asociada a una
funcin f(x) a la expresin

0
(n)
n 2
(n)
n
f
(0)
n!
x = f(0)+ f (0)x +
f (0)
2!
x +....+
f
(0)
n!
x +...

Esta serie describe exactamente a la funcin f(x)
cuando coincida con la frmula de McLaurin y
para ello deber cumplirse ue!
")Se traba#e en el inter$alo de con$er%encia de la
serie y
&)
lm
n
R (x) = 0
n+1

.
E#emplo! Sea f(x) ' ex

x
2 3 n z n+1
e = 1+x +
x
2!
+
x
3!
+...+
x
n!
+
e x
(n+1)!
(eremos si
lm
n
R (x) = 0
n+1

.

lm
n
e x
(n+1)!
= e lm
n
x
(n+1)!
= e .0 = 0
z n+1
z
n+1
z

ue
lm
n
x
(n+1)!
= 0
n+1

.
E#ercicio!
)esarrollar f(x) ' sen x en serie de potencias.
f(x) ' senx * f(0)'0
f+(x) ' cosx * f +(0)'"
f,(x)' -senx* f,(0)'0
f,+(x)' -cosx * f,+(0)'-"
f.((x)' senx * f.((0)'0
f((x)' cosx * f((0) '" y %eneralizando
f
x
x
n ( )
sen
cos
+

'

1
pero en todo caso siempre son en
$alor absoluto menores ue "/ y finalmente
n+1
z
(n+1)
n+1
R =
[senx ] x
(n+1)!
con lo ue
lm
n
R = lm
n
[senx ] x
(n+1)!
= 0
n+1
z
(n+1)
n+1

y
finalmente

senx = x -
x
3!
+
x
5!
-
x
7!
+
x
9!
+...+(-1 )
x
(2n+1)!
3 5 7 9
n+1
2n+1
Estudiemos el inter$alo de con$er%encia
R lm
n
a
a
lm
n
1
(2n - 1)!
1
(2n+1)!
lm
n
4n + 2n
n
n+1
2

y por lo tanto . ' 0
SERIE DE TAYLOR
)e lo ue se obtiene!
Si a ' 0 entonces se 1abla de serie de Mc. Laurin.
Serie de Taylor
En matemticas/ la serie de 2aylor de formula
funcin f infinitamente deri$able (real o comple#a)
definida en un inter$alo abierto (a-r/ a3r) se define
con la si%uiente suma!
sin(x) y aproximaciones de 2aylor/ con polinomios
de %rado "/ 4/ 5/ 6/ 7/ "" y "4.
8u9/ n: es el factorial n y f (n)(a) indica la n-;sima
deri$ada de f en el punto a.
Si esta serie con$er%e para todo x perteneciente
al inter$alo (a-r/ a3r) y la suma es i%ual a f(x)/
entonces la funcin f(x) se llama anal9tica. <ara
comprobar si la serie con$er%e a f(x)/ se suele
utilizar una estimacin del resto del teorema de
2aylor. =na funcin es anal9tica si y solo si se
puede representar con una serie de potencias* los
coeficientes de esa serie son necesariamente los
determinados en la frmula de la serie de 2aylor.
Si a ' 0/ a la serie se le llama serie de Maclaurin.
Esta representacin tiene tres $enta#as
importantes!
La deri$acin e inte%racin de una de estas
series se puede realizar t;rmino a t;rmino/
ue resultan operaciones tri$iales.
Se puede utilizar para calcular $alores
aproximados de la funcin.
Es posible demostrar ue/ si es $iable la
transformacin de una funcin a una serie de
2aylor/ es la ptima aproximacin posible.
8l%unas funciones no se pueden escribir como
serie de 2aylor porue tienen al%una sin%ularidad.
En estos casos normalmente se puede conse%uir
un desarrollo en serie utilizando potencias
ne%ati$as de x ($;ase Serie de Laurent. <or
e#emplo f(x) ' exp(>"?x@) se puede desarrollar
como serie de Laurent.
DESARROLLO EN SERIE DE TAYLOR
Se ha visto que una serie de potencias representa una
funcin ( su suma ) ana!tica en
R " <
# A continuacin
se va a esta$ecer un rec!proco% fundamenta en a
teor!a de funciones de varia$e compe&a#
a) Teorema
Si f(z) es analtica en un crculo abierto
0 0
r z z <
,
admite en dicho dominio una representacin en
serie:
( ) ( ) ... z z
! n
) z ( f
... z z
! 1
) z ( f
) z ( f ) z ( f
n
0
0
) n
0
0
0
+ + + +
ue podemos escribir:
( )

0 n
n
0
0
) n
z z
! n
) z ( f
) z ( f
con
) z ( f ) z ( f
0 0
) 0 (

.
Esta serie de potencias es e amado desarrollo de f(z)
en serie de !a"lor en un entorno de
0
z
.
Si
0 z
0

la serie de !a"lor se conoce como serie de
#ac$aurin de f(z).
EJEMPLOS DE LA SERE DE TA!LOR
".- Aalcule la serie de maclaurin para .
Solucin
Si para toda x/ por tanto/ para
toda n. as9/ de la ecuacin de maclaurin se tiene
la serie de maclaurin!
Bbten%a la serie te 2aylor para sen x en a.
si C(x) ' sen x/ entonces CD(x) ' cos x/ CDD(x) '
-sen x/ CDDDD(x) ' -cos x/ (x) ' sen x/ y as9
sucesi$amente. )e este modo/ de la frmula de
2aylor/
la serie de 2aylor reuerida se obtiene del
teorema serie de 2aylor.
'#()tii"ando a definicin de desarroo de Ta*or (
de +acLaurin ) se o$tiene,
Sea
z
e z f ) (
# Es entera *
z n
e z f ) (
) (
%
- ) . (
) (

n
f
n %
Lue/o,

+ + + + +
0 n
n n &
z
! n
z
...
! n
z
...
! &
z
! 1
z
1 e
0
'
An1o/amente,

+ +
+

+
+
+ +
0 n
1 n & n 1 n &
n
( )
)! 1 n & (
z ) 1 (
...
)! 1 n & (
z
) 1 ( ...
! (
z
! )
z
z senz
0
'

+ + +
0 n
n & n n &
n
* &
)! n & (
z ) 1 (
...
)! n & (
z
) 1 ( ...
! *
z
! &
z
1 z cos
%
'

+
+

0 n
1 n &
)! 1 n & (
z
Shz
%
'
0

0 n
n &
)! n & (
z
+hz
%
'
2#( 3omo consecuencia de os anteriores es inmediato
que por e&empo,

. n
n n
"
4 n
" ) - (
e

R

. n
n n
" 2
4 n
" 2
e

R

. n
n '
"
4 n
"
e
'

R

+ +
+

. n
- n ' - n ' n
)4 - n ' (
" 5 ) - (
" 5 sen

R
6#( A partir de a serie /eom7trica

+ + + + +

0 n
n n &
z ... z ... z z 1
z 1
1
%
1 '
pueden o$tenerse de forma inmediata,

+ + +
+
0 n
n n n n &
z ) 1 ( ... z ) 1 ( ... z z 1
z 1
1
0
1 '

+ +
+
0 n
n & n , * &
&
z ) 1 ( ... z z z 1
z 1
1
0
1 '

( )

1
1
]
1

+
,
_

+
,
_

. n
' n '
n '
6 '
'
2
"
8
-
'
2
"
###
2
"
2
"
-
8
-
-
" 8
-

2 R
Series de 2aylor notables
8 continuacin se enumeran al%unas series de
2aylor de funciones importantes. 2odos los
desarrollos son tambi;n $lidos para $alores
comple#os de x.
Euncin exponencial y lo%aritmo natural!
Serie %eom;trica!
2eorema del binomio!
Euncin tri%onom;trica!
Euncin 1iperblica!
Euncin F de Lambert!
Los nGmeros B
k
ue aparecen en los desarrollos
de tan(x) y tan1(x) son HGmeros de Iernoulli. Los
$alores A(J/n) del desarrollo del binomio son los
coeficientes binomiales. Los E
k
del desarrollo de
sec(x) son HGmeros de Euler.