Metodos Numéricos

Tema: El desarrollo de Taylor

Irene Tischer

Escuela de Ingeniería y Computación

Universidad del Valle, Cali

– Typeset by FoilTEX – 1
 Métodos numéricos Tema: Desarrollo de Taylor

Contenido

1. El Teorema de Taylor

2. El desarrollo de Taylor en varios dimensiones

3. Implementación en Scilab

– Typeset by FoilTEX – 2
 Métodos numéricos Tema: Desarrollo de Taylor

Contenido

1. El Teorema de Taylor

2. El desarrollo de Taylor en varios dimensiones

3. Implementación en Scilab

– Typeset by FoilTEX – 3
 Métodos numéricos Tema: Desarrollo de Taylor 1. El Teorema de Taylor

Justificación
La aplicación del teorema de Taylor es central para el desarrollo de muchos
métodos numéricos. Permite aproximar una función por un polinomio y estimar el
error de truncamiento.

– Typeset by FoilTEX – 4
 Métodos numéricos Tema: Desarrollo de Taylor 1. El Teorema de Taylor

Teorema de Taylor
Sea f una función que es n + 1 veces continuamente derivable en un intervalo
que contiene los puntos x0 y x. Entonces el valor de la función f en el punto x
está dado por

0 f 00(x0) 2 f (3)(x0) 3
f (x) = f (x0) + f (x0)(x − x0) + (x − x0) + (x − x0) + · · ·
2! 3!
f (n)(x0) n
··· + (x − x0) + Rn(x)
n!

donde el residuo Rnestá dado por:

∫ x
(x − t)n (n+1)
Rn(x) = f (t) dt
x0 n!
.

– Typeset by FoilTEX – 5
 Métodos numéricos Tema: Desarrollo de Taylor 1. El Teorema de Taylor

Representación de la función con las deriviadas en

un punto

fHxL

f’HxL

f’’HxL
f’’’HxL

xo xo+h

Figura 1: El valor desconocido f (x0 + h) se aproxima por los valores conocidos en x0 de

f y sus derivadas.

– Typeset by FoilTEX – 6
 Métodos numéricos Tema: Desarrollo de Taylor 1. El Teorema de Taylor

Otra forma de la fórmula de Taylor

Usando h = x − x0:
f 00(x0) 2 f (3)(x0) 3
0
f (x0 + h) = f (x0) + f (x0)h + h + h + ···
2! 3!
f (n)(x0) n
··· + h + Rn(x)
n!
f

R1

orden 1

R0 orden 0

x0 x0+h

Figura 2. La función f y las aproximaciones obtenidas por la serie de Taylor de orden 0 y 1.

– Typeset by FoilTEX – 7
 Métodos numéricos Tema: Desarrollo de Taylor 1. El Teorema de Taylor

Teorema (forma de Lagrange del residuo)

Bajo las condiciones del teorema del Taylor, el residuo puede expresarse como:

f (n+1)(ξx) n+1
Rn(x) = h
(n + 1)!

donde ξx es un punto en el intervalo entre x0 y x, que depende de x.

En esta forma, el residuo es más fácil de estimar, ya que sólo depende de la

derivada de orden n + 1 en un (desconocido) punto.

– Typeset by FoilTEX – 8
 Métodos numéricos Tema: Desarrollo de Taylor 1. El Teorema de Taylor

Ejemplo
Para una función que es 2 veces continuamente derivable, se tiene

f (x) = f (x0) + f 0(x0)(x − x0) + R1(x);

es decir se aproxima f por una recta, ¨se linealiza la función f ¨:

f (x) ≈ f (x0) + f 0(x0)(x − x0).

– Typeset by FoilTEX – 9
 Métodos numéricos Tema: Desarrollo de Taylor 1. El Teorema de Taylor

Corolario
Para un polinomio p de grado n, el desarrollo de Taylor de orden n es exacto, ya
que p(n+1) es contonte igual a 0 y por consecuencia , el residuo es 0.

– Typeset by FoilTEX – 10
 Métodos numéricos Tema: Desarrollo de Taylor 1. El Teorema de Taylor

Definición
La serie de Taylor que usa el desarrollo en el punto 0 se llama la serie de
McLaurin.

– Typeset by FoilTEX – 11
 Métodos numéricos Tema: Desarrollo de Taylor 1. El Teorema de Taylor

Ejemplo
( )n
x (n) 1 x
Sea f (x) := e . Las derivadas de f son de la forma f (x) =
2 e2 .
2
La aproximación de f por la serie de McLaurin (en x0 = 0) da para el punto
x = x0 + h = h :
Aproximación orden residuo
0 1
f (x) ≈ f (0) 0 R0 (x) = f (ξx )h
f (2) (ξx ) 2
f (x) ≈ f (0) + (x − 0)f 0 (0) 1 R1 (x) = h
2!
2 f (3) (ξx ) 3
f (x) ≈ f (0) + xf 0 (0) + x2 f (2) (0) 2 R2 (x) = h
3!
2 x3 f (3) (0) f (4) (ξx ) 4
f (x) ≈ f (0) + xf 0 (0) + x2 f (2) (0) + 3 R3 (x) = h
3! 4!
2 x3 f (3) (0) + ... + x10 f (10) (0) f (11) (ξx ) 11
f (x) ≈ f (0) + xf 0 (0) + x2 f (2) (0) + 10 R10 (x) = h
3! 10! 11!

– Typeset by FoilTEX – 12
 Métodos numéricos Tema: Desarrollo de Taylor 1. El Teorema de Taylor

Ejemplo (continuación)

En el punto x = 1 se obtiene las siguientes aproximaciones. Comparando con el

valor exacto de la función en 1 (f (1) = 1,64872) podemos determinar el valor
del residuo.
Aproximación orden residuo en x = 1

f (1) ≈ f (0) = 1 0 R0 (1) = 0,64871

f (1) ≈ f (0) + 1 − 0)f 0 (0) = 1 + 1 2 = 1,5 1 R1 (1) = 0,148721

“ ”2
f (1) ≈ f (0) + 1 (2) (0) = 1,5 + 1 2
2f 2 = 1,625 R2 (1) = 0,0237213

f (1) ≈ f (0) + f 0 (0) + 12f

(2) (0) + 1 f (3) (0) = 1,64583 3 R3 (1) = 0,002888794
3!
−11
f (1) ≈ f (0) + f 0 (0) + 12f
(2) (0) + 1 f (3) (0) + · · · + 1 f (10) (0) = 1,64872 10 R10 (1) = 1,2 10
3! 10!

– Typeset by FoilTEX – 13
 Métodos numéricos Tema: Desarrollo de Taylor 1. El Teorema de Taylor

Ejercicio
Determinar el valor de la función f (x) = cos x en el punto x = 0,5 usando la
representación de la función cos como serie de McLaurin. Se quiere el resultado
con un error absoluto menor que 10−4.

– Typeset by FoilTEX – 14
 Métodos numéricos Tema: Desarrollo de Taylor 1. El Teorema de Taylor

Solución
Las derivadas del cos son
f (0)(x) = f (x) = cos x f (0)(0) = f (0) = cos 0 = 1
f (1)(x) = − sin x f (1)(0) = 0
f (2)(x) = − cos x f (2)(0) = −1
f (3)(x) = sin x f (2)(0) = −1
f (4)(x) = f (x) = cos x f (4)(0) = 1

Con esto se tiene

2 4 6
cos x = 1 − x2 + x4! − x6! · · · y por eso cos 12 = 1 − 12 212 + 4!
1 1
2 4 − 6! 26 · · ·
1 1

Para los residuos se tiene:

f (n+1) (ξx ) 1 n+1
Rn = (n+1)! 2 =⇒ |Rn| ≤ 1
2n+1
=⇒ |Rn| ≤ 10−4 si 2n+1 ≤ 104,
es decir (por 2 14
= 16384): n ≥ 13.

– Typeset by FoilTEX – 15
 Métodos numéricos Tema: Desarrollo de Taylor 1. El Teorema de Taylor

Solución (continuación)

Esta estimación es muy gruesa, como se ve en la tabla siguiente. El residuo

verdadero ( es el error verdadero!) se obtiene comparando las aproximaciones con
el valor verdadero:
cos 21 = 0,877583.

orden de la serie aproximación de cos 12 estimación del residuo residuo verdadero

0 1 0.5 -0.122417
2 0.875 0.125 0.002583
4 0.877604 0.03125 -0.000021
6 0.877582 0.0078125 0.000001
8 0.877583 0.0019531 coincide en 6 decimales

– Typeset by FoilTEX – 16
 Métodos numéricos Tema: Desarrollo de Taylor 1. El Teorema de Taylor

Nomenclatura O
Se dice que el residuo Rn de la fórmula de Taylor es de orden O(hn) o el n-ésimo
residuo converge con rapidez O(hn).

Esto significa: si (hk )k∈N es una sucesión que converge a 0, entonces la sucesión
n
(Rn(hk )k∈N converge a 0 de tal forma que |Rn(hk )| ≤ C |(hk ) | para k > k0.

En términos generales:
Sea (αk )k∈N una sucesión que converge a α y
(βk )k∈N una sucesión que converge a 0.

Se dice que (αk )k∈N converge a α con una rapidez de O(βk )

si existe k0 ∈ N y una constante C, tal que |αk − α| ≤ C |βk | para k > k0.

– Typeset by FoilTEX – 17
 Métodos numéricos Tema: Desarrollo de Taylor 1. El Teorema de Taylor

Ejemplo
1 1
La sucesión (αk )k∈N definida por αk := 1 − 2 converge a 1 con O( 2 ).
2k − k k
1
La rapidez de convergencia no es O( 3 ).
k

Demostración
1 1 2 2
≤ ⇒ k ≤ 2k − 1 ⇒ k ≤ 2k − k ⇒
2k − 1 k
˛ ˛
˛ ˛
⇒ |αk − 1| = ˛1 − 2k2−k − 1˛ = 2k21−k ≤ k1 , es decir convergencia con O( k12 ).
1

Sea C una constante positiva y k > 2C

⇒ k2 > C 2k > C(2k − 1) ⇒ k3 > C(2k2 − k) ⇒
˛ ˛
˛ ˛
⇒ |αk − 1| = ˛1 − 2k2−k − 1˛ = 2k21−k > C k13 .
1

1
Entonces la convergencia no es de O( 3
).
k

– Typeset by FoilTEX – 18
 Métodos numéricos Tema: Desarrollo de Taylor

Contenido

1. El Teorema de Taylor

2. El desarrollo de Taylor en varios dimensiones

3. Implementación en Scilab

– Typeset by FoilTEX – 19
 Métodos numéricos Tema: Desarrollo de Taylor 2. El desarrollo de Taylor en varios dimensiones

El desarrollo de Taylor para funciones de varias

dimensiones
Sea F : R2 → R tal que sus derivadas parciales de orden n + 1 existan
y sean continuas en un conjunto abierto que contenga los puntos (x0, y0) y
(x, y) = (x0 + h, y0 + k). Entonces:

F (x, y) =
= F (x0 + h, y0 + k) =
∑n ( )i
1 ∂ ∂
= F (x0, y0) + h +k F (x0, y0) + Rn(x, y)
i=1
i! ∂x ∂y

Similar al caso de una dimension, se expresa el valor de la función como expresion

relacionado con las derivadas parciales en el punto inicial (x0, y0):
( )i
1 ∂ ∂
i! h ∂x + k ∂y F (x0, y0) (se explica ahora)
y un residuo Rn(x, y), que depende del punto que interesa (x, y).

– Typeset by FoilTEX – 20
 Métodos numéricos Tema: Desarrollo de Taylor 2. El desarrollo de Taylor en varios dimensiones

El desarrollo de Taylor para funciones de varias

dimension: el término de las derivadas
„ «
∂ ∂ i
El término h + k F (x, y) se define de la siguiente manera:
∂x ∂y

„ « „ «
∂ ∂ 1 ∂F ∂F
i=1: h +k F (x, y) = h +k (x, y)
∂x ∂y ∂x ∂y
„ «2 !
2 2 2
∂ ∂ 2∂ F ∂ F 2∂ F
i=2: h +k F (x, y) = h + 2hk +k 2 (x, y)
∂x ∂y ∂x2 ∂x∂y ∂ y

i=3: aparecen las derivadas parciales combinadas de orden 3,

„ «3 !
3 3 3 3
∂ ∂ 3∂ F 2 ∂ F 2 ∂ F 3∂ F
h +k F (x, y) = h + 3h k + 3hk + k (x, y)
∂x ∂y ∂x3 ∂x2∂y ∂x∂y 2 ∂y 3

y así sucesivamente:
( )n
∂ ∂
el término n se construye en analogía formal al polinimio h ∂x + k ∂y

– Typeset by FoilTEX – 21
 Métodos numéricos Tema: Desarrollo de Taylor 2. El desarrollo de Taylor en varios dimensiones

El desarrollo de Taylor para funciones de varias

dimension: el residuo
El residuo en el punto (x, y) = (x0 + h, y0 + k) se obtiene como

( )n+1
1 ∂ ∂
Rn(x, y) = h +k F (x0 + αh, y0 + αk)
(n + 1)! ∂x ∂y

para un α ∈]0, 1[.

Se observa la analogía al caso de una dimsensión:

x0 + αh es un punto en el interval (x0, x0 + h),
y + αk es el punto en el interval (y0, y0 + k) que conserva la proporción.

– Typeset by FoilTEX – 22
 Métodos numéricos Tema: Desarrollo de Taylor 2. El desarrollo de Taylor en varios dimensiones

Ejemplo
Sea F (x, y) = x4 + x2y + y 2 y
sea x0 = 1; y0 = 2.

Aplique el desarrollo de Taylor en (x0, y0) de orden 1 y 2 para obtener aproxima-

ciones en (x0 + h, y0 + k) para h = 0,1; k = 0,2.
Determine el residuo correspondiente y estime el error.

– Typeset by FoilTEX – 23
 Métodos numéricos Tema: Desarrollo de Taylor 2. El desarrollo de Taylor en varios dimensiones

Solución
Las derivadas parciales de F respecto a x y y son

∂F 3 ∂F 2
orden 1: = 4x + 2xy; = x + 2y;
∂x ∂y
„ «
∂ ∂ 1 3 2 2
h +k F (x, y) = h(4x + 2xy) + k(x + 3y )
∂x ∂y

∂ 2F 2 ∂ 2F ∂ 2F
orden 2: = 12x + 2y; = 2x; = 6y;
∂x2 ∂x∂y ∂y 2
„ «
∂ ∂ 2 2 2 2
h +k F (x, y) = h (12x + 2y) + hk(4x) + k (6y)
∂x ∂y

∂ 3F ∂ 3F ∂ 3F ∂ 3F
orden 3: 3
= 24x; 2
= 2; 2
= 0; 3
= 6.
∂x ∂x ∂y ∂x∂y ∂y
„ «
∂ ∂ 3 3 2 3
h +k F (x, y) = h (24x) + h k(6) + k (6)
∂x ∂y

– Typeset by FoilTEX – 24
 Métodos numéricos Tema: Desarrollo de Taylor 2. El desarrollo de Taylor en varios dimensiones

Solucion (continuación)

Serie de Taylor de Orden 0

F (1,1, 2,2) ≈ F (1, 1) = 11
|R0| ≤ 0,1(4 · 1,13 + 2 · 1,1 · 2,2) + 0,2(1,12 + 3 · 2,22) = 4,1624

Serie de Taylor de Orden 1 (Linealización de F )

F (1,1, 2,2) ≈ F (1, 1) + 0,1(4 · 13 + 2 · 1 · 2) + 0,2(12 + 3 · 22) = 14,4
1( )
|R1| ≤ 0,01(12 · 1,1 + 2 · 2,2 + 0,02 · 4 · 1,1) + 0,04 · 6 · 2,2 = 0,4026
2
2

Serie de Taylor de Orden 2

( )
F (1,1, 2,2) ≈ 14,4+ 2 0,01 · (12 · 1 + 2 · 2) + 0,02 · 4 · 1 + 0,04 · 6 · 2 =
1 2

14,76
|R1| ≤ 61 (0,001 · 24 · 1,1) + 0,002 · 6 + 0,008 · 6) = 0,0144.

– Typeset by FoilTEX – 25
 Métodos numéricos Tema: Desarrollo de Taylor

Contenido

1. El Teorema de Taylor

2. El desarrollo de Taylor en varios dimensiones

3. Implementación en Scilab

– Typeset by FoilTEX – 26
 Métodos numéricos Tema: Desarrollo de Taylor 3. Implementación en Scilab

La serie de McLaurin para la función cos(x)

usando Scilab
Se define la función factorial en Scilab:

–>function [y]=factorial(x)
–>y=1
–>for i=1:x, y=y*i; end;
–>endfunction

También se puede usar una definición recursiva:

–>function [y]=factorialREC(x)
–>if x == 1 then y=1;
–>else y=factorialREC(x-1)*x; end
–>endfunction

– Typeset by FoilTEX – 27
 Métodos numéricos Tema: Desarrollo de Taylor 3. Implementación en Scilab

La serie de McLaurin (serie de Taylor para x0 = 0)

Se usa el vector v que contiene el cos y sus primeras 3 derivadas. Para las
derivadas superiores se usa el cálculo modulo 4, ya que se repiten.
Los 2 parámetros de la función se refieren al punto, donde se quiere evaluar la
serie de McLaurin (x) y al orden de la serie (k).

–>function [y]=TaylorCOS(x,k)
–>v=[1 0 -1 0] –>y=1;
–>for i=1:k, y=y+v(modulo(i,4)+1)*x^i/factorial(i); end
–>endfunction

– Typeset by FoilTEX – 28
 Métodos numéricos Tema: Desarrollo de Taylor 3. Implementación en Scilab

La siguiente modificación de la función TaylorCOS estima además el residuo.

La función cos y sus derivadas son menor que 1 en valor absoluto, de manera que
para el k−ésimo residuo Rk se tiene:

k+1
|x|
|Rk | ≤
(k + 1)!

La mano derecha de esta ecuación se calcula en la segunda componente del

parámetro y que en esta función se considera un vector.

–>function [y]=TaylorCOS1(x,k)
–>v=[1 0 -1 0] –>y(1)=1;
–>for i=1:k, y(1)=y(1)+v(modulo(i,4)+1)*x^i/factorial(i);
end
–>y(2)=x^(k+1)/factorial(k+1)
–>endfunction

– Typeset by FoilTEX – 29
 Métodos numéricos Tema: Desarrollo de Taylor 3. Implementación en Scilab

La siguiente función devuelve el valor del cos con una tolerancia dada, aplicando
la serie de McLaurin

–>function [y]=TaylorCOS2(x,tau)
–>v=[1 0 -1 0]
–>y=1;
–>i=1;
–>e=abs(x)^(i)/factorial(i)
–>while e>=tau, y=y+v(modulo(i,4)+1)*x^i/factorial(i);
–>i=i+1;
–>e=abs(x)^(i)/factorial(i); end
–>endfunction

– Typeset by FoilTEX – 30