Semana 2 - Clase 5 02/03/10 Tema 1: Series

Series de Potencias y Series de Taylor

1. Algebra y convergencia 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

n=1
a
n
n (x x
0
)
n1
=

j=1
a
j
j (x x
0
)
j1
=

k=0
a
k+1
(k + 1) (x x
0
)
k
en la ultima sumatoria hemos hecho k = j 1, por lo cual j = k + 1.
Las series se igualan

n=0
b
n
(x x
0
)
n
=

n=1
a
n
n (x x
0
)
n1

n=0
b
n
(x x
0
)
n
=

k=0
a
k+1
(k + 1) (x x
0
)
k
=

n=0
a
n+1
(n + 1) (x x
0
)
n
por lo cual
b
n
= a
n+1
(n + 1) .
Si la igualdad hubiera sido

n=0
a
n
(x x
0
)
n
=

n=1
a
n
n (x x
0
)
n1
=

n=0
a
n+1
(n + 1) (x x
0
)
n
= a
n+1
=
a
n
(n + 1)
Las series se suman

n=0
a
n
(x x
0
)
n
+

k=2
b
k
(x x
0
)
k
= a
0
+ a
1
(x x
0
) +

n=2
(a
n
+ b
n
) (x x
0
)
n
o tambien

n=0
a
n
(x x
0
)
n
+

k=0
b
k+2
(x x
0
)
k+2
= a
0
+ a
1
(x x
0
) +

n=2
(a
n
+ b
n
) (x x
0
)
n
=

n=0
(a
n
+ c
n2
) (x x
0
)
n
,
y en este ultimo caso c
2
= c
1
= 0 y c
i
= b
i+2
. N otese como en los dos ejemplos anteriores
hemos hecho coincidir los dos ndices de la sumatoria desde el comienzo.
Hector Hern andez / Luis N u nez 1 Universidad de Los Andes, Merida
Semana 2 - Clase 5 02/03/10 Tema 1: Series
La series tambien se multiplican, esto es
_

n=0
a
n
(x x
0
)
n
__

n=0
b
n
(x x
0
)
n
_
=

n=0
c
n
(x x
0
)
n
con
c
n
= a
0
b
n
+ a
1
b
n1
+ a
2
b
n2
+ + a
j
b
nj
+ + a
n2
b
2
+ a
n1
b
1
+ a
n
b
0
Si alguna de las series de potencias es absolutamente convergente, entonces su multiplicacion
con otra, ser a 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
y y
0
= a
0
+ a
1
(x x
0
) + a
2
(x x
0
)
2
+ + a
n
(x x
0
)
n
+ =

n=0
a
n
(x x
0
)
n
Es decir tenemos yy
0
expresado en terminos de una serie de potencias de (x x
0
)
n
entonces,
igual podremos plantearnos invertir el proceso, vale decir, expresar (x x
0
) en terminos de
potencias (y y
0
)
n
Esto es
x x
0
=

n=0
b
n
(y y
0
)
n
x x
0
=

k=0
b
k
_

j=0
a
j
(x x
0
)
j
_
k
y al igualar terminos con la misma potencia, despejamos los coecientes b
n
en terminos de
los a
n
, de forma que
b
1
=
1
a
1
b
2
=
a
2
(a
1
)
3
b
3
=
2(a
2
)
2
a
1
a
3
(a
1
)
5
b
4
=
5a
1
a
2
a
3
a
2
1
a
4
5a
3
2
(a
1
)
7
.
.
. =
.
.
.
Igualmente, si una serie f(x) =

n=0
a
n
(x x
0
) =

n=0
c
n
(x x
0
)
n
converge para un
entorno R x R entonces por el criterio de Mayorante de Weierstrass, convergera ab-
soluta y uniformemente para S x S con 0 S R. M as a un, el criterio de Abel nos
garantiza las siguientes propiedades:
Hector Hern andez / Luis N u nez 2 Universidad de Los Andes, Merida
Semana 2 - Clase 5 02/03/10 Tema 1: Series
Dado que todos los terminos a
n
(x) = c
n
(x x
0
)
n
son funciones contnuas de x y
f(x) =

n=0
c
n
(x x
0
)
n
converge uniformemente para un entorno S x S,
entonces la funcion f(x) es contnua en el intervalo de convergencia.
Si los terminos a
n
(x) = c
n
(x x
0
)
n
son funciones contnuas de x, entonces la serie
puede ser derivada termino a termino
d
dx
_

n=0
c
n
(x x
0
)
n
_
=

n=1
c
n
n (x x
0
)
n1
(n otese como cambia el comienzo de la serie) y convergera a

n=1
c
n
n (x x
0
)
n1

df(x)
dx
a
n
(x)
d
dx
a
n
(x) contnuas

n=0
a
n
(x) ,
converge uniformemente en [a, b].
De igual manera las series pueden ser integradas termino a termino
_
b
a
dx f(x) =
_
b
a
dx

n=0
c
n
(x x
0
)
n
=

n=0
_
b
a
dx c
n
(x x
0
)
n
=

n=0
c
n
n + 1
(x x
0
)
n+1
.
2. Serie de Taylor
Para los fsicos el uso apropiado (y frecuente) de la serie Taylor facilita muchos c alculos.
La idea detr as de este tipo de series es la de la aproximaci on de una determinada funci on por
una serie de potencias en donde existe una forma sistem atica de construir los coecientes
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 supodremos que f = f(x) es una funcion contnua y
contnuamente diferenciable. Con lo cual, si denotamos
df(x)
dx
= f

(x), entonces supondremos

que f

(x), f

(x), f

(x), , f
(n)
(x) estan denidas en el intervalo [a, b].
De cursos anteriores se sabe que:
_
a+h
a
dx f

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

_
a+h
a
dx f

(x) f(a+h) f(a)+hf

(a) ,
donde hemos supuesto que en intervalo [a, a + h] la funci on f

(x) es constante y tiene como

valor f

(a). Ahora bien, esto vale para todo x y para cualquier funci on, por lo tanto se cumple
Hector Hern andez / Luis N u nez 3 Universidad de Los Andes, Merida
Semana 2 - Clase 5 02/03/10 Tema 1: Series
que:
f(x) f(a) + (x a)f

(a) ,
f

(x) f

(a) + (x a)f

(a) ,
f

(x) f

(a) + (x a)f

(a) ,
.
.
.
.
.
.
f
(n1)
(x) f
(n1)
(a) + (x a)f
(n)
(a) .
Con lo cual podemos construir
f(a+h) = f(a)+
_
a+h
a
dx f

(x) f(a)+
_
a+h
a
dx [f

(a) + (x a)f

(a)] f(a)+hf

(a)+
h
2
2
f

(a) ,
que no es otra cosa que una aproximaci on de segundo orden a f(a+h). En general podemos
construir
f(a + h) = f(a) +
_
a+h
a
dx f

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

(a) +
_
a+h
a
dx f

(x)
_
= f(a) + hf

(a) +
_
a+h
a
dv
__
a+h
a
dx f

(x)
_
= f(a) + hf

(a) +
_
a+h
a
du
__
a+h
a
dv
_
f

(a) +
_
a+h
a
dx f

(x)
__
= f(a) + hf

(a) +
h
2
2
f

(a) +
_
a+h
a
du
__
a+h
a
dv
__
a+h
a
dx f

(x)
__
y si repetimos ese procedimiento n veces, suponiendo que las derivadas de f(x) existan,
tendremos la aproximacion n 1 a la funci on. Esto es
f(a + h) = f(a) + hf

(a) +
h
2
2!
f

(a) +
h
3
3!
f

(a) + +
h
n1
(n 1)!
f
(n1)
(a) +R
n
y tambien es f acil convencerse por inspecci on que el residuo o el error que cometemos en la
aproximaci on n 1 viene dado por la integraci on enesima de la derivada enesima, vale decir
R
n
=
_
a+h
a
du
_
a+h
a
dv
. .
n veces
_
a+h
a
dx f

(x)
y por el Teorema del Valor medio
_
a+h
a
dg() = hg() R
n
=
h
n
n!
f
(n)
() con a a + h
Hector Hern andez / Luis N u nez 4 Universidad de Los Andes, Merida
Semana 2 - Clase 5 02/03/10 Tema 1: Series
Ahora bien, una elecci on astuta del parametro h = x a nos lleva a la conocida expresion
de la serie de Taylor para una funcion de una variable
f(x) = f(a) +(xa)f

(a) +
(x a)
2
2!
f

(a) +
(x a)
3
3!
f

(a) + +
(x a)
n1
(n 1)!
f
(n1)
(a) +R
n
y el error vendr a dado por
R
n
=
(x a)
n
n!
f
(n)
() con a a + h
as la expansi on de Taylor especica el valor de una funci on en un punto x en terminos de
el valor de la funci on y sus derivadas en un punto de referencia a. La expansi on 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) =

n=0
h
n
n!
f
(n)
(x) =

n=0
h
n d
n
dx
n
n!
f(x) =

n=0
h
n
D
n
n!
f(x) = e
hD
f(x) donde, D
d
dx
Si el punto de referencia es a = 0 tendremos la serie de Maclaurin
f(x) = f(0) + xf

(0) +
x
2
2!
f

(0) +
x
3
3!
f

(0) + +
x
n1
(n 1)!
f
(n1)
(0) +R
n
2.1. Algunas Series de Taylor
Un listado incompleto de las series de Taylor m as utilizadas es
e
x
= 1 + x +
x
2
2
+
x
3
3!
+
x
4
4!
+ +
x
n
n!
+ para < x <
sen x = x
x
3
3!
+
x
5
5!

x
7
7!
+ + (1)
n+1
x
2n1
(2n 1)!
+ para < x <
cos x = 1
x
2
2
+
x
4
4!

x
6
6!
+ + (1)
n+1
x
2n2
(2n 2)!
+ para < x <
arctan x = x
x
3
3
+
x
5
5

x
7
7
+ + (1)
n+1
x
2n1
(2n 1)
+ para 1 < x < 1
ln(1 + x) = x
x
2
2
+
x
3
3

x
4
4
+ + (1)
n+1
x
n
n
+ para 1 < x < 1
(1 + x)
m
= 1 + mx + m(m1)
x
2
2
+ m(m1)(m2)
x
3
3!
+ +
m!
n!(mn)!
x
n
+ x
Hector Hern andez / Luis N u nez 5 Universidad de Los Andes, Merida
Semana 2 - Clase 5 02/03/10 Tema 1: Series
Si tenemos una funcion y queremos determinar su serie de potencias, es posible que los
c alculos se simpliquen notablemente si utilizamos apropiadamente las series elementales
anteriores, por ejemplo:
e
x
2
+x
= 1 +
_
x
2
+ x
_
+
(x
2
+ x)
2
2
+
(x
2
+ x)
3
3!
+
(x
2
+ x)
4
4!
+
desarrollando los terminos binomiales
e
x
2
+x
= 1 + x +
_
+
1
2

2
_
x
2
+
_
+
1
6

3
_
x
3
+
_
1
2

2
+
1
2

2
+
1
24

4
_
x
4
+
Si se quiere hacer el desarrollo alrededor de un punto diferente de x
0
= 0, podemos completar
cuadrados:
e
x
2
+x
= e
(x
2
+x/)
= e
(x
2
+x/+
2
/4
2

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

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

2
/4
= e

2
/4
_
1 + (x + /2)
2
+
2
(x + /2)
4
/2 +

y esta es la expancion en series de potencias alrededor del punto x

0
= /2.
2.2. La expansi on binomial
Por su uso frecuente, consideremos el caso de la expansion binomial
(1 + x)
m
= 1 + mx + m(m1)
x
2
2
+ m(m1)(m2)
x
3
3!
+ =

n=0
m!
n!(mn)!
x
n
,
=

n=0
_
m
n
_
x
n
,
donde el termino
_
m
n
_
se denomina el coeciente binomial y la serie termina cuando
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 expansi on binomial es
_
1 +
x
a
_
m
= 1 + m
_
x
a
_
+
m(m1)
2
_
x
a
_
2
+
m(m1)(m2)
3!
_
x
a
_
3
+
=

n=0
(1 + m)
(1 + n)(1 + mn)
_
x
a
_
n
.
Hector Hern andez / Luis N u nez 6 Universidad de Los Andes, Merida
Semana 2 - Clase 5 02/03/10 Tema 1: Series
Figura 1: La funcion Gamma para n = 5
Donde hemos utilizado la funci on (x) como la generalizacion del factorial para valores que
no se restringen a enteros positivos. N otese tambien que si el exponente es negativo,
_
1 +
x
a
_
m
tiene una singularidad o un polo en x = a.
Cuando n es un entero positivo tendremos
n! = (1 + n) =
_

0
e
t
t
n
dt =
_

0
e
t+nln t
dt
Esta integral, como se puede ver en la gura, nos recuerda la forma de una Gaussiana con
un maximo en t = n. Al hacer una expansion alrededor de este punto
f(t) = t + nln(t) = f(n) + (t n)f

(n) + (t n)
2
f

(n)/2 +
= n + nln(n) + 0 + (t n)
2
(n/n
2
)/2 +
Si conservamos los terminos hasta segundo orden, la integral puede ser aproximadamente
igual a:
n!
_

0
e
n+nln(n)(tn)
2
/2n
dt = n
n
e
n
_

0
e
(tn)
2
/2n
dt
Para valores de n grandes, y esto es lo que se conoce como la aproximacion de Stirling, se
tiene:
n! n
n
e
n
_

e
(tn)
2
/2n
dt = n
n
e
n

2n
Aqu, el smbolo se reere a un comportamiento asintotico de la funcion Gamma.
En la siguiente tabla se muestran, para algunos valores de n, el valor exacto del factorial,
el valor por la f ormula de Stirling y el cociente entre estos dos valores. Se puede apreciar
entonces lo buena que resulta tal aproximacion.
Hector Hern andez / Luis N u nez 7 Universidad de Los Andes, Merida
Semana 2 - Clase 5 02/03/10 Tema 1: Series
n n! n
n
e
n

2n n!/(n
n
e
n

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
S olo 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 funcion on de dos variables f = f(x, y). Esta es
f(x, y) = f(a, b) + (x a) f
x
|
ab
+ (y b) f
y
|
ab
+
1
2!
_
(x a)
2
f
xx

ab
+ 2(x a)(y a) f
xy
|
ab
+ (y a)
2
f
yy
|
ab

+
1
3!
_
(x a)
3
f
xxx
|
ab
+ 3(x a)
2
(y a) f
xxy
|
ab
+ 3(x a)(y a)
2
f
xyy
|
ab
+ (y a)
3
f
yyy
|
ab

+
De una manera m as compacta
f
_
x
j
+ x
j
0
_
=

n=0
1
n!
_
x
k

k
_
n
f (x
m
)

x
m
=x
m
0
f (r +a) =

n=0
1
n!
_
r

_
n
f (x
m
)

r=a
D onde hemos utilizado la siguiente convenci on
f
x
=

x
=
x
; f
y
=

y
=
y
; f
xx
=

2
x
2
=
xx
; f
xy
=

2
xy
=
xy
; f
yy
=

2
y
2
=
yy
;
Hector Hern andez / Luis N u nez 8 Universidad de Los Andes, Merida
Semana 2 - Clase 5 02/03/10 Tema 1: Series
Ejercicios
1. Utilice la siguiente denicion
tan
1
x =
_
x
0
1
1 + t
2
,
expanda el integrando y luego integre termino por termino para derivar la siguiente
expansi on conocida como expansion de Gregory
tan
1
x = x
x
3
3
+
x
5
5
=

n=0
(1)
n
2n + 1
x
2n+1
.
Eval ue la serie para x =

4
.
2. Utilizando la denici on
sen
1
x =
_
x
0
1

1 + t
2
,
derive las expresiones siguientes
sen
1
x =

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

2

2x
_
1 +

n=1
1.3.5. .(2n 1)
4
n
(2n + 1)n!
x
n
_
.
3. Encuentre los primeros cinco terminos, diferentes de cero, de la serie de Taylor, de la
funci on
f(x) =
1 + x
x
2
_
2 + 2x
1 + 2x

ln(1 + 2x)
x
_
.
Puedes usar el programa Maple!
Hector Hern andez / Luis N u nez 9 Universidad de Los Andes, Merida