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 que:



1)Se trabaje en el intervalo de convergencia de la serie y

2)
lm
n
R (x) = 0
n+1

.

Ejemplo: Sea f(x) = ex

x
2 3 n z n+
e = 1+x +
x
2!
+
x
3!
+...+
x
n!
+
e x
(n+1)!
1

Veremos 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

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

.


Ejercicio:
Desarrollar f(x) = sen x en serie de potencias.
f(x) = senx ; f(0)=0
f'(x) = cosx ; f '(0)=1
f"(x)= -senx; f"(0)=0
f"'(x)= -cosx ; f"'(0)=-1
fIV(x)= senx ; fIV(0)=0
fV(x)= cosx ; fV(0) =1 y generalizando

f
x
x
n ( )
sen
cos
+
=

1
pero en todo caso siempre son en valor absoluto menores que 1,
y finalmente
n+1
z
(n+1)
n+1
R =
[senx ]
x
(n+1)!
con lo que
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 intervalo de convergencia
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 I = R



SERIE DE TAYLOR

De lo que se obtiene:

Si a = 0 entonces se habla de serie de Mc. Laurin.
Serie de Taylor
En matemticas, la serie de Taylor de formula funcin f infinitamente derivable (real o
compleja) definida en un intervalo abierto (a-r, a+r) se define con la siguiente suma:

sin(x) y aproximaciones de Taylor, con polinomios de grado 1, 3, 5, 7, 9, 11 y 13.

Aqu, n! es el factorial n y f (n)(a) indica la n-sima derivada de f en el punto a.
Si esta serie converge para todo x perteneciente al intervalo (a-r, a+r) y la suma es
igual a f(x), entonces la funcin f(x) se llama analtica. Para comprobar si la serie
converge a f(x), se suele utilizar una estimacin del resto del teorema de Taylor. Una
funcin es analtica 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 Taylor.
Si a = 0, a la serie se le llama serie de Maclaurin.

Esta representacin tiene tres ventajas importantes:
- La derivacin e integracin de una de estas series se puede realizar trmino a
trmino, que resultan operaciones triviales.
- Se puede utilizar para calcular valores aproximados de la funcin.
- Es posible demostrar que, si es viable la transformacin de una funcin a una
serie de Taylor, es la ptima aproximacin posible.
Algunas funciones no se pueden escribir como serie de Taylor porque tienen alguna
singularidad. En estos casos normalmente se puede conseguir un desarrollo en serie
utilizando potencias negativas de x (vase Serie de Laurent. Por ejemplo f(x) =
exp(1/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 ) analtica en
R z < . A continuacin se va a establecer un recproco, fundamental en la teora de
funciones de variable compleja.

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
+ + + + =
que 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 el llamado desarrollo de f(z) en serie de Taylor en un entorno de

0
z .
Si la serie de Taylor se conoce como serie de MacLaurin de f(z). 0 z
0
=



EJEMPLOS DE LA SERIE DE TAYLOR
1.- Calcule la serie de maclaurin para .
Solucin
Si para toda x, por tanto, para toda n. as, de la
ecuacin de maclaurin se tiene la serie de maclaurin:

Obtenga la serie te Taylor para sen x en a.
si (x) = sen x, entonces `(x) = cos x, ``(x) = -sen x, ````(x) = -cos x, (x) =
sen x, y as sucesivamente. De este modo, de la frmula de Taylor,
la serie de
Taylor requerida se obtiene del teorema serie de Taylor.
2.-Utilizando la definicin de desarrollo de Taylor ( de MacLaurin ) se obtiene:

- Sea
z
e z . Es entera y
z
, 1 ) 0 ( f = ) (
n
e z f = ) (
) ( ) (
=
n
f e n N

Luego:

=
= + + + + + =
0 n
n n 2
z
! n
z
...
! n
z
...
! 2
z
! 1
z
1 e ; = R
Anlogamente:
-

=
+ +
+

= +
+
+ + =
0 n
1 n 2 n 1 n 2
n
5 3
)! 1 n 2 (
z ) 1 (
...
)! 1 n 2 (
z
) 1 ( ...
! 5
z
! 3
z
z senz ; = R
-

= + + + =
0 n
n 2 n n 2
n
4 2
)! n 2 (
z ) 1 (
...
)! n 2 (
z
) 1 ( ...
! 4
z
! 2
z
1 z cos , = R
-

=
+
+
=
0 n
1 n 2
)! 1 n 2 (
z
Shz , = R ;

=
=
0 n
n 2
)! n 2 (
z
Chz , = R


3.- Como consecuencia de los anteriores es inmediato que por ejemplo:

-

=
0 n
n n
z
! n
z ) 1 (
e = R

=
=
0 n
n n
z 3
! n
z 3
e = R
-

=
=
0 n
n 2
z
! n
z
e
2
= R

=
+ +
+

=
0 n
1 n 2 1 n 2 n
)! 1 n 2 (
z 5 ) 1 (
z 5 sen = R

4.- A partir de la serie geomtrica
-

=
= + + + + + =

0 n
n n 2
z ... z ... z z 1
z 1
1
, 1 R =
pueden obtenerse de forma inmediata:
-

=
= + + + =
+
0 n
n n n n 2
z ) 1 ( ... z ) 1 ( ... z z 1
z 1
1
; 1 R =
-

=
= + + =
+
0 n
n 2 n 6 4 2
2
z ) 1 ( ... z z z 1
z 1
1
; 1 R =
-
( )

=
+
=
(
(

+
|
.
|

\
|
+
|
.
|

\
|
+ =

0 n
2 n 2
n 2
4 2
2
3
z
9
1
2
3
z
...
3
z
3
z
1
9
1
1
z 9
1
3 R =

Series de Taylor notables
A continuacin se enumeran algunas series de Taylor de funciones importantes.
Todos los desarrollos son tambin vlidos para valores complejos de x.
Funcin exponencial y logaritmo natural:


Serie geomtrica:

Teorema del binomio:

Funcin trigonomtrica:






Funcin hiperblica:





Funcin W de Lambert:

Los nmeros B
k
que aparecen en los desarrollos de tan(x) y tanh(x) son Nmeros
de Bernoulli. Los valores C(,n) del desarrollo del binomio son los coeficientes
binomiales. Los E
k
del desarrollo de sec(x) son Nmeros de Euler.