APROXIMACIONES DE LA FRMULA DE TAYLOR CON EL MATHEMATICA

Luisa Lucila Lazzari

ilazzari@econ.uba.ar
Andrea Parma
matejuan1@yahoo.com.ar
Julio C. Ferreiro
jcferreiro@speedy.com.ar
1 Ctedra de Anlisis Matemtico II
Facultad de Ciencias Econmicas
Universidad de Buenos Aires
Julio 2006

1- INTRODUCCION
Este trabajo forma parte de una investigacin iniciada en el ao 2005, que consiste en el diseo y
desarrollo de aplicaciones del software Mathematica como herramienta de clculo simblico y
numrico, y recurso didctico, para ser usada en la enseanza de las asignaturas Anlisis Matemtico I
y II.
El objetivo fundamental es que el alumno desarrolle algunas actividades con el programa
Mathematica que le permitan facilitar la construccin del conocimiento de los temas desarrollados en
las clases tericas. Las ventajas del uso de la tecnologa en la educacin matemtica son muy
significativas, pues permite un manejo ms dinmico de mltiples sistemas de representacin de
objetos matemticos.
En esta presentacin se analizan diferentes casos de aproximacin de funciones, expresadas en forma
explcita o definidas implcitamente por una ecuacin, mediante las frmulas de Taylor y de Mac
Laurin. Este tema desempea un papel importante en muchas reas de la matemtica aplicada y
computacional.
Adems de obtener la frmula de Taylor con el Mathematica, se visualizan y comparan los grficos de
la funcin original con sus aproximaciones lineales, cuadrticas y de orden superior. Para el caso de
funciones de dos variables independientes se realiza el grfico de las curvas de nivel y se muestran sus
diferencias.
2. POLINOMIO DE TAYLOR PARA FUNCIONES DE UNA VARIABLE INDEPENDIENTE
2.1. Desarrollo de la funcin f : y cos x en la proximidad de x= 0
El programa Mathematica tiene un comando llamado Series que permite obtener el desarrollo de una
funcin f en serie de potencias en la proximidad de x = a hasta orden n.
Su sintaxis es: Series[f, {var, a, n}]
En primer lugar se considera una funcin sencilla f1 x cos x y se obtiene el desarrollo de Mac
Laurin, hasta orden 5.

[1]

en la que 0[ x] 6 R6 x

f VI c 6
x
6!

0c x

donde

representa el resto o cota de error de

Lagrange que se obtiene al aproximar la funcin y cos x mediante un polinomio de 5 grado.

Se realiza el grfico de la funcin cuya frmula es f 1 cos x (Figura 1) con el Mathematica,
considerando x 8;8 . Para trabajar ms cmodamente se define la funcin a utilizar mediante la
forma genrica f [var_] = , as es fcil invocarla cuando se la precise

0.5

-7.5

-5

-2.5

2.5

7.5

-0.5

-1

Figura 1.

Ntese que la Figura 1 no est en la misma escala en ambos ejes, pero de este modo se aprecian mejor
algunas de sus caractersticas.
Si se considera una aproximacin de 1 orden, se obtiene el polinomio P1 ( x) cuya grfica (Figura 2)
es de grado 0, pues f1 0 0

Figura 2.

Luego se obtienen las aproximaciones de 2 y 3 orden que son iguales y de grado 2, pues f 1 0 0 .
Se grafican estos polinomios, designndolos P2 x (Figura 3).

2
Figura 3. y 1 x
2

Se calculan los polinomios de 4 y 5 grado, P4 x , que son iguales pues

muestra en la Figura 4.

Figura 4.

f v 0 0

. Su grfica se

2.2. Visualizacin simultnea de funciones

Para visualizar dos o ms grficos en el mismo sistema de ejes cartesianos, se utiliza el comando
Show del Mathematica.
La grfica de la funcin original y su aproximacin de grado 2, se presentan en la Figura 5.

Figura 5. Grfico de la funcin y su

aproximacin de grado 2

En la Figura 6 estn representadas todas las aproximaciones obtenidas, junto con la funcin original.

-7.5

-5

-2.5

2.5

-2

Figura 6. Grfico de la funcin y sus

aproximaciones

7.5

Si se desea dibujar todas las aproximaciones en una matriz de grficos para su mejor visualizacin, se
utiliza la opcin GraphicsArray, combinada con Show (Figura 7).

Figura 7. Diferentes aproximaciones de la funcin

3. SERIE DE TAYLOR
Sea una funcin de una variable independiente con derivadas de todos los rdenes en algn intervalo
a r ; a r , con r 0 .
La frmula de Taylor es:
f ( x) f a f a x a

Rn 1 x

f a
x a 2 f a x a 3 ... f a x a n Rn1 x con
2!
3!
n!

f n1 c
x an y c a r; a r .
n 1!

La serie de Taylor f ( x) f a f a x a

f a
x a 2 f a x a 3
2!
3!

representa a la funcin f en el intervalo a r ; a r si y solo si lim Rn 1 x 0 .

n

3.1. La serie de Taylor para la funcin f 1 ( x) cos x

En 2.1. se desarroll la funcin f 1 ( x ) cos x obtenindose la expresin [1]. Entonces
x2 x4
cosx 1

2
24

[2]

f n1 c n 1
x
0
n n 1 !
o
f n 1 x cos x 1

La expresin [2] es vlida, siempre que lim R n1 x lim

n

Para y cos x se cumple

De modo que Rn 1 x

f n 1 x senx 1

n 1

n 1 !
n 1

x
Pero a su vez la serie de potencias
es convergente x .

n
1 !
0
En efecto,

a n 1
lm
n a n
n

lm

x n 2
n 2 !
x n 1
n 1 !

lm

n n 2

0,

por lo tanto el radio de convergencia es infinito. A su vez si la serie es convergente x se puede

x n 1
0 . Como consecuencia lim Rn x 0 y la serie [2]
asegurar que x . lim
n
n n 1 !

representa a la funcin.
3.2. La funcin de Cauchy
La funcin de Cauchy est definida de la siguiente manera:

1
2
f : / f x e x si x 0
0 si x 0

Para x 0 , la funcin f(x) tiene derivadas de todos los rdenes, que se determinan mediante las
reglas de derivacin elementales.
Se calculan con el Mathematica las derivadas de orden 1, 2 y ensimo.

Por lo tanto las derivadas son:

2
f x 2 x 3 e 1 / x

x 0 ;

f x 6 x 4 4 x 6

En general, f n x p n 1 / x e 1 /

x2

e 1 / x2

x 0 donde p n 1 / x

x 0

es un polinomio respecto de 1 / x

Se observa que f n x , para

donde

1 1 / x 2
e
,
xk

es una combinacin lineal de expresiones del tipo

Adems se verifica que

f n 0 0 , n

, es decir lim
x 0

fcilmente haciendo el cambio de variable t 1 / x 2

e 1 / x

x 0

xk

lim

e 1 / x

0 . Esto se comprueba

lim

t k/ 2
et

0.

Por lo tanto la funcin de Cauchy tiene derivadas de todos los rdenes nulas en el origen. La serie de
Mac Laurin es:

f n 0 n
x 0 0 x 0 x 2 ... 0 x .
n!

Finalmente se observa que esta serie no representa la funcin de Cauchy, pues converge a y = 0.

Figura 8. Funcin de Cauchy y convergencia de la serie

Rn 1 x 0 . Es posible visualizar esta situacin en

Es obvio que para esta funcin no se cumple nlim

n f i 0
xi f x 0 f x
la Figura 8, sacando como conclusin que Rn 1 x f x
i 0

i!

4. POLINOMIO DE TAYLOR PARA FUNCIONES DE DOS VARIABLES INDEPENDIENTES

4.1. Polinomio de Mac Laurin para la funcin f : 2 /f (x, y) = sen x sen y
Para obtener el polinomio de 2 grado que aproxime la funcin f(x, y) = sen x sen y en un entorno del
origen se utiliza la frmula de Mac Laurin para dos variables independientes, con ayuda del operador
diferencial simblico.

f 0 ,0
x

f x , y f 0 ,0 x
y
y

y
2
!

y
n!
x
y

f 0 ,0

y
n 1! x
y

n 1

f 0 ,0

f x , y , 0 1

Para una aproximacin de 2 orden, la frmula de Mac Laurin se reduce a:

f 0 ,0
x

f x , y f 0 ,0 x
y
y

y
2
!

f 0 ,0 R3

12 x2 f xx 0,0 2 x y f xy 0,0 y 2 f yy 0,0

f x , y f 0 ,0 x f x 0 ,0 y f y 0,0

1 3
cx ,cy 3 x 2 yf xxy
cx ,cy 3 xy 2 f xyy
cx ,cy y 3 f yyy
cx ,cy
x f xxx
6

Donde

f 0 ,0 0 ,

0 ,0 0 ,
f xx

R3

f x 0 ,0 0 ,

Reemplazando en la expresin anterior, se obtiene

0 ,0 1,
f xy

f y 0 ,0 0 ,

1 2
x (0) 2 x y (1) y 2 (0)
2
sen x sen y x y

sen x sen y 0 0 0

0 ,0 0
f yy

El error en la aproximacin es
1
cx ,cy 3 x 2 yf xxy
cx ,cy 3 xy 2 f xyy
cx ,cy y 3 f yyy
cx ,cy
R3 x3 f xxx
6
En la Figura 9 puede observarse el grfico de la funcin y la aproximacin de segundo orden.

Figura 9. f(x;y) = senx seny y su aproximacin de 2 orden

Si se desarrolla la funcin en un entorno del origen hasta el trmino de cuarto orden, se obtiene la
siguiente expresin:
f x , y xy

x3 y x y3

6
6

En la Figura 10.a se presenta el grfico del polinomio de 4 orden de aproximacin y en la Figura 10.b
el polinomio y la funcin, superpuestos.
Se observa que en la Figura 10.b, la parte que tiene mallado en el entorno del origen (ver recuadro),
aproxima con ms exactitud que en la Figura 10.a.

1
1
2

0
1

-1

0
-1
-2

2
1

-1

-2

0
-1
-1

0
-1

1
2

-2

2 -2

Figura 10. a. Polinomio de 4 orden

Figura 10. b. Funcin y polinomio

superpuestos

4.2. Comparacin de curvas de nivel

Se obtienen con el Mathematica las curvas de nivel de la funcin original y se comparan con las de sus
aproximaciones de 2 y 4 orden.

Figura 11. Curvas de nivel de la funcin

Figura 12. Curvas de nivel del polinomio de 2 grado

Figura 13. Curvas de nivel del polinomio de 4 grado

Se observa que las curvas de nivel de la funcin original (Figura 11) son ms similares a las de su
aproximacin de 4 orden (Figura 13).
5. POLINOMIO DE TAYLOR PARA FUNCIONES DEFINIDAS EN FORMA IMPLCITA
5.1. Grfica de una funcin y f x definida implcitamente en un determinado dominio
Dada la ecuacin

H x; y y 3

xy x 2 1 0

[3]
se analiza si la misma define una funcin y f x en un entorno del punto (1;1). Para ello se
verifican, con la ayuda del Mathematica, las hiptesis del Teorema de Cauchy-Dini:
a) H 1;1 0

0
b) Las derivadas parciales de H x ; y son continuas en un E 1;1

c) y 1;1 0

Al cumplirse las condiciones de Cauchy-Dini, se asegura la existencia de la funcin y f x en un

entorno del punto (1; 1).
Para dibujar esta funcin con el Mathematica (Figura 14) se obtiene la interseccin de los grficos de
z H x ; y y de z = 0 (curva de nivel cero de la funcin z H x; y ).

Figura 14. Interseccin de los grficos de y de z = 0

Agregando al comando Show un punto de vista adecuado, se obtiene la grfica de y f x en un

E 1;1 con bastante precisin (Figura 15.a).
Tambin se puede realizar la grfica de la funcin y f x en un entorno del punto (1;1) trabajando
con el comando ContourPlot, considerando un rango conveniente para x e y (Figura 15.b).

Figura 15.a. Grfico de la funcin como interseccin de

los grficos de y de z = 0

Figura 15.b. Grfico de la funcin dada en forma

implcita como curva de nivel

5.2. Polinomio de Taylor para la funcin y f x definida implcitamente en un determinado

dominio
En primer lugar se calcula la derivada primera de la funcin y f x en el punto (1;1), utilizando la
frmula:

H
dy
x
dx
H y

[4]

1
Por lo tanto u

dy
1;1 1
dx

d2y
( 1;1 )
dx 2
Para ello se debe derivar la funcin [4], teniendo en cuenta que y y x .
Se asigna a la variable y la expresin y x en [4] y luego se deriva. Esto se puede realizar debido a
que el Mathematica es un programa de clculo simblico.
Ahora se calcula la derivada segunda

y por la regla generalizada de la cadena para funciones de varias variables, se obtiene:

El Polinomio de Taylor de orden dos que aproxima a la funcin y y x en un E(1;1) es:

La grfica de la aproximacin de 2 orden se presenta en la Figura 16.

Figura 16. Aproximacin de 2 orden

Tambin se representa (Figura 17) la aproximacin de 1 orden en un entorno del punto (1;1).

Figura 17. Aproximacin de 1 orden

Finalmente se compara la funcin original, con sus aproximaciones de 1 y 2 orden (Figura 18).

Figura 18. Funcin original y

aproximaciones de 1 y 2 orden

Para hallar el polinomio de grado tres, se calcula y ' ' ' con el Mathematica.

Se observa la complejidad de las expresiones de las derivadas sucesivas y la ventaja del uso del
software para realizar este tipo de clculos.
As, el polinomio de tercer grado que aproxima a una de las posibles funciones definidas
implcitamente en el entorno considerado es:

y el de cuarto grado, es:

En la Figura 19 se muestra la funcin original con sus aproximaciones de 2, 3 y 4 orden.

Figura 19. Funcin original con sus

aproximaciones de 2, 3 y 4 orden.

6. CONCLUSIONES
El uso de la computadora en la enseanza de la matemtica permite incluir ejercitacin ms compleja
desde el punto de vista del clculo y tambin ms prxima a las reales condiciones del trabajo que
desempearn los alumnos en su vida profesional, a la vez que dinamiza la operatoria rutinaria.
Potencia el desarrollo del conocimiento y del aprendizaje, la creatividad, el aprendizaje por
descubrimiento y exploracin y la resolucin de problemas concretos vinculados a su desempeo
profesional.
El empleo de programas de clculo simblico, como el Mathematica, para el estudio y representacin
de funciones mediante el desarrollo de Taylor resulta muy adecuado, tanto desde el punto de vista
didctico como prctico.
Este tema es muy importante para los estudiantes de carreras de Ciencias Econmicas dado la gran
cantidad de aplicaciones que presenta, entre las que se pueden mencionar:

En Anlisis Numrico, entre otros temas, se aplica al clculo de errores, ajuste de datos observados
a una curva por mnimos cuadrados, en los mtodos numricos de integracin, en el mtodo de
Runge-Kutta para problemas de valor inicial para ecuaciones diferenciales ordinarias.

En la Teora de Inversiones, los desarrollos en serie de Taylor permiten obtener modelos ms

generales de inversiones bajo incertidumbre, en particular los que emplean movimientos
Brownianos y el lema de Ito, como as tambin la ecuacin de Kolmogorov.

En Estadstica y Econometra se suelen hacer lineales los estimadores aplicando la frmula de

Taylor. Tambin se utiliza en la formulacin y estimacin de modelos especiales, como los
intrnsecamente lineales (que resultan no lineales respecto a las variables pero lineales respecto a
los parmetros a estimar) y los ntrinsecamente no lineales (que son modelos no lineales respecto a
las variables y a los parmetros); as como recurso en demostraciones tericas referidas al testeo
de hiptesis.

En Administracin Financiera, se utiliza en particular en el tema de cobertura de un portafolio de

inversiones. La serie de Taylor en dos o ms variables permite expresar el cambio del portafolio en
funcin del precio del activo y del tiempo, para perodos de tiempo cortos. Esto es posible dado
que si la volatilidad del activo se considera constante, el valor del portafolio puede expresarse en
funcin del precio del activo y del tiempo; y si la volatilidad del activo se asume variable, el

Figura 16. Aproximacin de 2 orden

portafolio es funcin de la volatilidad, el precio y el tiempo, en cuyo caso el desarrollo de Taylor

corresponde a tres variables.
Referencias bibliogrficas

Balbs de la Corte, A.; Gil Fana, J.A.; Gutirrez Valden, S. (1991). Anlisis Matemtico para la
Economa I y II. Madrid, Editorial AC, Thomson.

Castillo, E.; Iglesias, A.; Gutirrez, J.; Alvarez, E.; Cobo, A. (1996). Mathematica. Madrid,
Paraninfo.

de Burgos, J. (1994). Clculo infinitesimal de una variable. Madrid, Mc Graw Hill.

Hughes Hallet, D.; Gleason, A. (2000). Clculo. Mxico, CECSA.

Lazzari, L.; Parrino, M. (1995), El uso de la computadora en la enseanza de la Matemtica.

Temas y Propuestas, Ao 4, N 8. Facultad de Ciencias Econmicas, Universidad de Buenos Aires.

McCallum, W.; Flash, D.; Gleason, A.; Gordon, S.; Mumford, D.; Osgood, B. (1998). Clculo de
varias variables. Mxico, Compaa Editorial Continental, S. A. de C.V..

Purcell E. J.; Varberg D., Rigdon S. (2001). Clculo. Mxico, Pearson Educacin.

Rabuffetti, H.T. (1983). Introduccin al Anlisis Matemtico. Clculo 2. Buenos Aires, El Ateneo.

Rey Pastor, J.; Pi Calleja, P.; Trejo, C.A. (1957). Anlisis Matemtico 1 y 2. Buenos Aires,
Kapelusz.

Thomas, G.; Finney, R.L. (1999). Clculo en Varias Variables, 9a edicin. Mxico, Addison
Wesley Longman.

Troparevsky, M.; Garca, R. (1997). Matemtica con Mathematica. Buenos Aires, Nueva Librera.

Wolfram, S. (1991). Mathematica. Illinois, Addison-Wesley Publishing Company, Inc..

Equipo de apoyo necesario: PC y can de proyeccin