Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Andrea Parma
matejuan1@yahoo.com.ar
Julio C. Ferreiro
jcferreiro@speedy.com.ar
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.
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]
f VI c 6
en la que 0[ x] 6 R6 x x donde 0c x representa el resto o cota de error de
6!
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
-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
Figura 4.
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.
En la Figura 6 estn representadas todas las aproximaciones obtenidas, junto con la funcin original.
-2
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 a n
x a 2 f a x a 3 ... f a x a n Rn1 x con
f ( x) f a f a x a
2! 3! n!
f n1 c
Rn 1 x x an y c a r; a r .
n 1!
f a
x a 2 f a x a 3
La serie de Taylor f ( x) f a f a x a
2! 3!
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.
En general, f n x p n 1 / x e 1 / x2
x 0 donde p n 1 / x es un polinomio respecto de 1 / x
Se observa que f n x , para n es una combinacin lineal de expresiones del tipo
1 1 / x 2
xk
e ,
donde k .
f n 0 0 , n
1 2
Adems se verifica que , es decir lim e 1 / x 0 . Esto se comprueba
k
x 0 x
1 2 t k/ 2
fcilmente haciendo el cambio de variable t 1 / x 2 lim e 1 / x lim 0.
x 0 xk t et
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
0 n!
x 0 0 x 0 x 2 ... 0 x .
Finalmente se observa que esta serie no representa la funcin de Cauchy, pues converge a y = 0.
Es obvio que para esta funcin no se cumple nlim Rn 1 x 0 . Es posible visualizar esta situacin en
n f i 0
la Figura 8, sacando como conclusin que Rn 1 x f x xi f x 0 f x
i 0 i!
4. POLINOMIO DE TAYLOR PARA FUNCIONES DE DOS VARIABLES INDEPENDIENTES
f x , y f 0 ,0 x f x 0 ,0 y f y 0,0 12 x2 f xx 0,0 2 x y f xy 0,0 y 2 f yy 0,0
1 3
cx ,cy 3 x 2 yf xxy
x f xxx cx ,cy 3 xy 2 f xyy
cx ,cy y 3 f yyy
cx ,cy
6
R3
Donde f 0 ,0 0 , 0 ,0 0 ,
f xx f x 0 ,0 0 , 0 ,0 1,
f xy f y 0 ,0 0 , 0 ,0 0
f yy
1
1 0
2
0
-1
1 -2 2
-1 1
-1
-2 0 0
0
-1
1 -1
0 -1
2 -2
1
2 -2
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.
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).
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
[4]
dy
Por lo tanto u 1;1 1
dx
d2y
Ahora se calcula la derivada segunda ( 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.
y por la regla generalizada de la cadena para funciones de varias variables, se obtiene:
Tambin se representa (Figura 17) la aproximacin de 1 orden en un entorno del punto (1;1).
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:
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..