Semana 2 - Clase 5

Tema 1: Series

15/10/10

Series de Taylor
Antes de comenzar con la series de Taylor, repasemos algunas propiedades importantes de
las series infinitas.

1.

Algebra de series de potencias

El algebra elemental de series se puede reconsiderar a la luz de las series de potencias.

De esta forma recordamos que los ndices en las series son mudos

an n (x x0 )n1 =

n=1

aj j (x x0 )j1 =

j=1

ak+1 (k + 1) (x x0 )k

k=0

en la u
ltima sumatoria hemos hecho k = j 1, por lo cual j = k + 1.
Las series se igualan

X
n=0

bn (x x0 ) =
bn (x x0 )n =

n=0

X
n=1

an n (x x0 )n1
ak+1 (k + 1) (x x0 )k =

an+1 (n + 1) (x x0 )n

n=0

k=0

por lo cual
bn = an+1 (n + 1) .
Si la igualdad hubiera sido

an (x x0 )n =

an n (x x0 )n1 =

an+1 (n + 1) (x x0 )n

an+1 =

n=0

n=1

n=0

an
(n + 1)

Las series se suman

an (x x0 ) +

n=0

bk (x x0 ) = a0 + a1 (x x0 ) +

(an + bn ) (x x0 )n

n=2

k=2

o tambien

X
n=0

an (x x0 ) +

bk+2 (x x0 )

k+2

= a0 + a1 (x x0 ) +

(an + bn ) (x x0 )n

n=2

k=0

(an + cn2 ) (x x0 )n ,

n=0

Hector Hernandez / Luis N

un
ez

Universidad de Los Andes, Merida

Semana 2 - Clase 5

Tema 1: Series

15/10/10

y en este u
ltimo caso c2 = c1 = 0 y ci = bi+2 . Notese como en los dos ejemplos anteriores
hemos hecho coincidir los dos ndices de la sumatoria desde el comienzo.
La series tambien se multiplican, esto es
"
#"
#

X
X
X
n
n
an (x x0 )
bn (x x0 ) =
cn (x x0 )n
n=0

n=0

n=0

con
cn = a0 bn + a1 bn1 + a2 bn2 + + aj bnj + + an2 b2 + an1 b1 + an b0
Si alguna de las series de potencias es absolutamente convergente, entonces su multiplicacion
con otra, sera absolutamente convergente.
Pero tambien las series de potencias se invierten! y para ello utilizamos todo lo visto
anteriormente veamos. Supongamos que se tiene una serie del tipo
2

y y0 = a0 + a1 (x x0 ) + a2 (x x0 ) + + an (x x0 ) + =

an (x x0 )n

n=0

Es decir tenemos yy0 expresado en terminos de una serie de potencias de (x x0 )n entonces,

igual podremos plantearnos invertir el proceso, vale decir, expresar (x x0 ) en terminos de
potencias (y y0 )n Esto es
"
#k

X
X
X
x x0 =
bn (y y0 )n x x0 =
bk
aj (x x0 )j
n=0

k=0

j=0

y al igualar terminos con la misma potencia, despejamos los coeficientes bn en terminos de

los an , de forma que
b1 =

1
a1

a2
(a1 )3
2(a2 )2 a1 a3
b3 =
(a1 )5
5a1 a2 a3 a21 a4 5a32
b4 =
(a1 )7
..
..
.=
.
P
P
n
Igualmente, si una serie f (x) =
n=0 an (x x0 ) =
n=0 cn (x x0 ) converge para un
entorno R x R entonces por el criterio de Mayorante de Weierstrass, convergera absoluta y uniformemente para S x S con 0 S R. Mas a
un, el criterio de Abel nos
garantiza las siguientes propiedades:
b2 =

Hector Hernandez / Luis N

un
ez

Universidad de Los Andes, Merida

Semana 2 - Clase 5

Tema 1: Series

15/10/10

Dado que
todos los terminos an (x) = cn (x x0 )n son funciones contnuas de x y
P
n
f (x) =
n=0 cn (x x0 ) converge uniformemente para un entorno S x S,
entonces la funcion f (x) es contnua en el intervalo de convergencia.
Si los terminos an (x) = cn (x x0 )n son funciones contnuas de x, entonces la serie
puede ser derivada termino a termino
"
#

X
d X
n
cn (x x0 ) =
cn n (x x0 )n1
dx n=0
n=1
(notese como cambia el comienzo de la serie) y convergera a

cn n (x x0 )

n1

n=1

X
d
an (x)
an (x) contnuas
an (x) ,
dx
n=0

df (x)

dx

converge uniformemente en [a, b].

De igual manera las series pueden ser integradas termino a termino
Z

dx

dx f (x) =
a

2.

cn (x x0 ) =

n=0

Z
X
n=0

X
cn
dx cn (x x0 ) =
(x x0 )n+1 .
n+1
n=0
n

Serie de Taylor

Para los fsicos el uso apropiado (y frecuente) de la serie Taylor facilita muchos calculos.
La idea detras de este tipo de series es la de la aproximacion de una determinada funcion por
una serie de potencias en donde existe una forma sistematica de construir los coeficientes
y, dependiendo de el n
umero de terminos que utilicemos en la serie, tendremos una idea
de cuan aproximada es la serie y cuanto es el error que cometemos al desarrollar la serie
hasta un determinado termino. As supondremos que f = f (x) es una funcion contnua y
contnuamente diferenciable. Con lo cual, si denotamos dfdx(x) = f 0 (x), entonces supondremos
que f 0 (x), f 00 (x), f 000 (x), , f (n) (x) estan definidas en el intervalo [a, b].
De cursos anteriores se sabe que:
Z a+h
Z a+h
0
dx f (x) = f (a+h)f (a) f (a+h) = f (a)+
dx f 0 (x) f (a+h) f (a)+hf 0 (a) ,
a

donde hemos supuesto que en intervalo [a, a + h] la funcion f 0 (x) es constante y tiene como
valor f 0 (a). Ahora bien, esto vale para todo x y para cualquier funcion, por lo tanto se cumple

Hector Hernandez / Luis N

un
ez

Universidad de Los Andes, Merida

Semana 2 - Clase 5

Tema 1: Series

15/10/10

que:
f (x) f (a) + (x a)f 0 (a) ,
f 0 (x) f 0 (a) + (x a)f 00 (a) ,
f 00 (x)
..
.

f 00 (a) + (x a)f 000 (a) ,

..
.

f (n1) (x) f (n1) (a) + (x a)f (n) (a) .

Con lo cual podemos construir
Z
Z a+h
0
dx f (x) f (a)+
f (a+h) = f (a)+
a

a+h

h2 00
dx [f (a) + (x a)f (a)] f (a)+hf (a)+ f (a) ,
2
0

00

que no es otra cosa que una aproximacion de segundo orden a f (a + h). En general podemos
construir
a+h

a+h

a+h


dx f (x)
00

dx f (a) +
dx f (x) = f (a) +
a
a

Z a+h
Z a+h
dx f 00 (x)
= f (a) + hf 0 (a) +
dv
a
a


Z a+h
Z a+h
Z a+h
00
000
0
dv f (a) +
dx f (x)
= f (a) + hf (a) +
du
a
a
a

Z a+h
Z a+h
Z a+h
h2 00
0
000
= f (a) + hf (a) + f (a) +
dx f (x)
dv
du
2
a
a
a

f (a + h) = f (a) +

y si repetimos ese procedimiento n veces, suponiendo que las derivadas de f (x) existan,
tendremos la aproximacion n 1 a la funcion. Esto es
h2 00
h3 000
hn1 (n1)
f (a + h) = f (a) + hf (a) + f (a) + f (a) + +
f
(a) + Rn
2!
3!
(n 1)!
0

y tambien es facil convencerse por inspeccion que el residuo o el error que cometemos en la
aproximacion n 1 viene dado por la integracion enesima de la derivada enesima, vale decir
Z a+h
Z a+h
Z a+h
Rn =
du
dv | {z }
dx f 000 (x)
a

y por el Teorema del Valor medio

Z a+h
d g( ) = hg()
a

Hector Hernandez / Luis N

un
ez

n veces

hn (n)
Rn =
f () con a a + h
n!
4

Universidad de Los Andes, Merida

Semana 2 - Clase 5

Tema 1: Series

15/10/10

Ahora bien, una eleccion astuta del parametro h = x a nos lleva a la conocida expresion
de la serie de Taylor para una funcion de una variable
(x a)2 00
(x a)3 000
(x a)n1 (n1)
f (x) = f (a) + (x a)f (a) +
f (a) +
f (a) + +
f
(a) + Rn
2!
3!
(n 1)!
0

y el error vendra dado por

Rn =

(x a)n (n)
f () con a a + h
n!

as la expansion de Taylor especifica el valor de una funcion en un punto x en terminos de

el valor de la funcion y sus derivadas en un punto de referencia a. La expansion se hace en
terminos de potencias de la diferencia, (x a), entre el punto que se eval
ua y el punto de
referencia.
Algunas otras formas de expresar la serie de Taylor, seran
f (x + h) =

X
hn
n=0

n!

(n)

(x) =

X
hn
n=0

dn
dxn

n!

f (x) =

X
hn Dn
n=0

n!

f (x) = ehD f (x) donde, D

d
dx

Si el punto de referencia es a = 0 tendremos la serie de Maclaurin

x3 000
xn1 (n1)
x2 00
f
(0) + Rn
f (x) = f (0) + xf (0) + f (0) + f (0) + +
2!
3!
(n 1)!
0

2.1.

Algunas Series de Taylor

Un listado incompleto de las series de Taylor mas utilizadas es

x2 x3 x4
xn
+
+
+ +
+ para < x <
2!
3!
4!
n!
x3 x5 x7
x2n1
x
+

+ + (1)n+1
+ para < x <
3!
5!
7!
(2n 1)!
x2 x4 x6
x2n2
1
+

+ + (1)n+1
+ para < x <
2!
4!
6!
(2n 2)!
x3 x5 x7
x2n1
x
+

+ + (1)n+1
+ para 1 < x < 1
3
5
7
(2n 1)
x2 x3 x4
xn
x
+

+ + (1)n+1 + para 1 < x < 1

2
3
4
n
x2
x3
m!
1 + mx + m(m 1) + m(m 1)(m 2) + +
xn +
2
3!
n!(m n)!

ex = 1 + x +
sen(x) =
cos(x) =
arctan(x) =
ln(1 + x) =
(1 + x)m =

Hector Hernandez / Luis N

un
ez

Universidad de Los Andes, Merida

Semana 2 - Clase 5

Tema 1: Series

15/10/10

Si tenemos una funcion y queremos determinar su serie de potencias, es posible que los
calculos se simplifiquen notablemente si utilizamos apropiadamente las series elementales
anteriores, por ejemplo:
2

x2 +x

(x2 + x)
(x2 + x)
(x2 + x)
+
+
+
= 1 + x + x +
2
3!
4!
2

desarrollando los terminos binomiales







1 3
1 2 1
1 2
1 4
2
3
x2 +x
2
e
=1+x+ + x + + x +
+ +
x4 +
2
6
2
2
24
Si se quiere hacer el desarrollo alrededor de un punto diferente de x0 = 0, podemos completar
cuadrados:
ex

2 +x

2
2
2
2
2
2
2
2
2
2
= e(x +x/) = e(x +x/+ /4 /4 ) = e(x +x/+ /4 ) /4
2
2
2
2
= e(x+/2) /4 = e(x+/2) e /4


2
= e /4 1 + (x + /2)2 + 2 (x + /2)4 /2 +

y esta es la expancion en series de potencias alrededor del punto x0 = /2.

2.2.

La expansi
on binomial

Por su uso frecuente, consideremos el caso de la expansion binomial

(1 + x)

X
x3
m!
x2
xn ,
= 1 + mx + m(m 1) + m(m 1)(m 2) + =
2
3!
n!(m

n)!
n=0


X
m
=
xn ,
n
n=0


m
donde el termino
se denomina el coeficiente binomial y la serie termina cuando
n
m = n. Ahora bien, escrito de la forma compacta se sugiere que el exponente m tendra que
ser entero y positivo. Pero no es as. La serie explcita no se restringe a valores enteros y
positivos de m. Por ello, la forma compacta pero exacta de la expansion binomial es


 x  m(m 1)  x 2 m(m 1)(m 2)  x 3

x m
1+
= 1+m
+
+
+
a
a
2
a
3!
a

 x n
X
(1 + m)
=
.
(1 + n)(1 + m n) a
n=0

Hector Hernandez / Luis N

un
ez

Universidad de Los Andes, Merida

Semana 2 - Clase 5

Tema 1: Series

15/10/10

Figura 1: La funcion Gamma para n = 5

Donde hemos utilizado la funcion (x) como la generalizacion del factorial para valores que

m
no se restringen a enteros positivos. Notese tambien que si el exponente es negativo, 1 + xa
tiene una singularidad o un polo en x = a.
Cuando n es un entero positivo tendremos
Z
Z
t n
n! = (1 + n) =
e t dt =
et+n ln(t) dt
0

Esta integral, como se puede ver en la figura, nos recuerda la forma de una Gaussiana
con un maximo en t = n. Al hacer una expansion alrededor de este punto
f (t) = t + n ln(t) = f (n) + (t n)f 0 (n) + (t n)2 f 00 (n)/2 +
= n + n ln(n) + 0 + (t n)2 (n/n2 )/2 +
Si conservamos los terminos hasta segundo orden, la integral puede ser aproximadamente
igual a:
Z
Z
2
n+n ln(n)(tn)2 /2n
n n
n!
e
dt = n e
e(tn) /2n dt
0

Para valores de n grandes, y esto es lo que se conoce como la aproximacion de Stirling, se

tiene:
Z

2
n n
n! n e
e(tn) /2n dt = nn en 2n

Aqu, el smbolo se refiere a un comportamiento asintotico de la funcion Gamma.

Hector Hernandez / Luis N

un
ez

Universidad de Los Andes, Merida

Semana 2 - Clase 5

Tema 1: Series

15/10/10

La grafica mostrada en la Figura 1 pueden obtenerse de la siguiente manera:

> restart:
> n := 5:
> f := exp(-t)*t n;
> Int(f,t=0..infinity)=int(f,t=0..infinity);
> GAMMA(5+1);
> plot(f,t=0..20);
> f(5)=evalf(subs(t=5,f));
En la siguiente tabla se muestran, para algunos valores de n, el valor exacto del factorial,
el valor por la formula de Stirling y el cociente entre estos dos valores. Se puede apreciar
entonces lo buena que resulta tal aproximacion.

n
n!
nn en 2n n!/(nn en 2n)
1
1
0,922
0,922
2
2
1,919
0,960
5
120
118,019
0,983
10 3628800 3598695,619
0,992

2.3.

Taylor en varias variables

Solo por razones de completitud, y para reforzar los conceptos de que es un desarrollo
en series para una funcion alrededor de un determinado punto, escribiremos el desarrollo en
series de Taylor para una funcionon de dos variables f = f (x, y). Esta es
f (x, y) = f (a, b) + (x a) fx |ab + (y b) fy |ab


1 
+
(x a)2 fxx ab + 2(x a)(y a) fxy |ab + (y a)2 fyy |ab
2!

1 
+
(x a)3 fxxx |ab + 3(x a)2 (y a) fxxy |ab + 3(x a)(y a)2 fxyy |ab + (y a)3 fyyy |ab
3!
+
De una manera mas compacta
j

f x +

xj0


X
1  ~ n

f (~r + ~a) =
~r f (xm )
n!
~
r=~a
n=0

X


n
1
xk k f (xm )xm =xm
=
0
n!
n=0

Donde hemos utilizado la siguiente convencion

fx =

= x ;
x

fy =

= y ;
y

Hector Hernandez / Luis N

un
ez

fxx =

2
= xx ;
x2
8

fxy =

2
= xy ;
xy

fyy =

2
= yy ;
y 2

Universidad de Los Andes, Merida

Semana 2 - Clase 5

Tema 1: Series

15/10/10

Ejercicios
1. Utilice la siguiente definicion
1

tan

Z
x=
0

1
,
1 + t2

expanda el integrando y luego integre termino por termino para derivar la siguiente
expansion conocida como expansion de Gregory

tan

X (1)n
x3 x5
+
=
x2n+1 .
x=x
3
5
2n + 1
n=0

Eval
ue la serie para x = 4 .
2. Utilizando la definicion

sen x =
0

1
,
1 + t2

derive las expresiones siguientes

X
(2n)! x2n+1
sen x =
,
4n (n!)2 2n + 1
n=0
1

X

1.3.5. .(2n 1) n
1
x
sen (1 x) = 2x 1 +
2
4n (2n + 1)n!
n=1

!
.

3. Encuentre los primeros cinco terminos, diferentes de cero, de la serie de Taylor, de la

funcion


1 + x 2 + 2x ln(1 + 2x)
f (x) =

.
x2
1 + 2x
x
Puedes usar el programa Maple!

Hector Hernandez / Luis N

un
ez

Universidad de Los Andes, Merida