Académique Documents
Professionnel Documents
Culture Documents
ESQUEMA DE CONTENIDOS
Conceptos
Ejemplos
Frmula de Taylor
Resto de Lagrange
Regla de lHpital
Frmula de Mac-Laurin
Indeterminaciones
Ari tmtica
INTRODUCCIN
Empezaremos el Math-block hablando de la aproximacin polinmica a una funcin cualquiera en un punto dado de su dominio. Se presenta el proceso de construccin del polinomio de Taylor que aproxima una funcin cualquiera alrededor de un punto cualquiera del dominio (si el polinomio se desarrolla para describir el comportamiento de la funcin alrededor de cero recibe el nombre de polinomio o serie de Mac-Laurin). La aproximacin de una funcin hace que se pueda resolver, de forma numrica, muchas situaciones cuyas funciones son difciles de manejar. De hecho, en informtica, en los software, se utiliza mucho las aproximaciones polinmicas. Despus hablaremos de la Regla de lHpital, que nos ayudar a calcular lmites derivando funciones. Por ltimo determinaremos cul de dos algoritmos es ms eficiente, el mejor, i.e.: cul de los dos requiere de un tiempo de computacin menor para llegar a la solucin. Para determinar cul de los dos es ms eficiente, recurriremos al concepto de lmite en el infinito y a la regla de lHpital.
OBJETIVOS
1. 2. 3. 4. Calcular el polinomio que mejor aproxima una funcin alrededor de un punto, y utilizarlo para evaluar la funcin de forma aproximada. Comparar el polinomio de Taylor con la funcin original, numrica y grficamente. Calcular lmites indeterminados por medio de la regla de lHpital. Comparar el orden de magnitud de las funciones ms usuales en el clculo de la complejidad de un algoritmo.
CONOCIMIENTOS PREVIOS
Para poder seguir con xito esta unidad es recomendable haberse ledo los siguientes Mathblocks: Uso bsico del Mathcad, Funciones de una variable, Lmites de funciones y Derivacin.
CONCEPTOS FUNDAMENTALES
Frmula de Taylor
Si f es n veces derivable en x = a, el polinomio siguiente se llama grado n en x = a. polinomio de Taylor de
Aplicaciones de las derivadas Teorema de Taylor: 1. Si f es una funcin con derivada n-sima en x = a, se cumple
R n,a( lim x ) =0
n xa
2. Si en un entorno E(a) existe f n+1)(x), entonces xE(a) existe algn c, comprendido entre a y x, tal que
(x a)
R n ,a ( x f )=
n+ 1)
(c ) n +1 (x a )
(Resto de Lagrange).
(n+1 )!
f'( f ' ( 0) 2 f n )( 0) n f n + 1) c ) n + 1 ( f ( x ) = f ( 0) 0) x + x + + x + x + 2! n! ( n + 1 )! 1!
Esta ltima expresin es el desarrollo de Mac-Laurin con resto de Lagrange . Ejemplo: Calcular el polinomio de Taylor de grado 2 para la funcin punto x=0 Solucin: La expresin del polinomio de Taylor de grado 2 para f(x) en el punto x=0 viene dado por
f (x) = xsinx en el
P 2,0 ( x ) = f ( 0) +
f '( f ' ( 0) (x 0) ( x 0) + 0) 2! 1!
f (0) obtenemos:
f (x) = xsinx f (0) = 0sin0 = 0 f ' ( x ) = sinx + x f ' (0 ) sin + 0 cos 0 = 0 cos x = 0 ' (0 ) = cos 0 cos 0 + 0 ( sin = 2 f ' ( x ) = cos x + + x ( f + 0) cos x sinx ) 2 2 2 0
Substituyendo, P
2,0
(x )=0
! 1
lHpital
( x 0) + ( x 0) = x
2!
Para resolver lmites indeterminados del tipo 0/0 , /, se utiliza la regla de lHpital. Regla de lHpital: Sean f y g dos funciones que cumplen:
xc
f '(x)
xc g'(x)
lim = k
f (x)
xc g(x)
lim= k
Si
f '(x) g'(x)
xi
lim = k
f (x) g(x)
xi
lim= k
Donde i puede ser un nmero real c, c+, c-, + , - . j puede ser 0, + , -. k puede ser un nmero real L, + , -. Se puede aplicar reiteradamente la regla de lHpital, derivando varias veces hasta que desaparezca la indeterminacin.
sin x
Sin lim 6
al cos x 3x
2
x3 aplicar sin x 6x
= lim 6
x 0
= lim 6
x 0
sin x lim 6
x0
(Indeterminacin),
aplicaremos
LHpital
lim 6
x0
sin x x3
= lim 6
x0
cos x 3x2
x3 = 6
1 0
comete al aplicar LHpital 2 veces, cuando ya no debe hacerse por no haber indeterminacin.
Comparacin de algoritmos
La complejidad de un algoritmo es una estimacin del nmero de operaciones (tanto aritmticas como lgicas) que realizar el algoritmo en funcin de los datos de entrada. Nos centraremos en aquellos casos en los que el nmero de operaciones del algoritmo dependa de un nico dato de entrada (input), n, donde n es natural. Se utiliza la notacin O(f(n)), donde f es una funcin de una variable, para denotar que un algoritmo tiene que realizar kf(n) operaciones (k es una constante) para obtener un valor de salida a partir de la entrada n. As, si un algoritmo realiza 4 n5 operaciones antes de dar el resultado, diremos que tiene una complejidad del orden n5, y lo anotaremos O(n5). La complejidad algortmica se traduce, entonces, en coste computacional y se intenta minimizar al disear un algoritmo.
Aplicaciones de las derivadas En este apartado veremos cmo comparar estas funciones entre s, utilizando lmites al infinito, teniendo en cuenta que si
Ejemplo: Consideremos
Solucin:
2 algoritmos que necesitan f(n)=n 5+2n+2 y g(n)=n 5-n2+65 operaciones, respectivamente, para llevar a cabo un mismo clculo. Cul es ms rpido?.
x+
Dando valores vemos que f(n) < g(n) n < 11. Por el contrario, n 11, f(n) > g(n). Sin embargo para valores grandes de n, no hay una diferencia relativa apreciable entre ambas funciones:
f (n ) 1 , para n grande. Diremos, entonces, que f y g son del mismo orden de magnitud, y g (n )
que los dos algoritmos tienen, tambin, la misma complejidad.
Definiciones
Sean f(n), g(n) funciones tales que:
n+
lim f ( n ) = lim g ( n ) = +
n +
Decimos que f y g son del mismo orden de magnitud cuando caso , escribiremos f
lim
n +
n +
n +
f( = 0 . En este caso , n) g( n)
( n ) = an + ( a 0)
Proyecto e-Math
d)
El polinomio de Taylor de grado 2, P2(x), para la funcin f (x) = xsinx en el punto x=0. Haz los grficos de f(x) y de P2 (x) en [-10,10]. Qu observas?. El polinomio de Taylor de grado 4, P4(x), para la funcin f (x) = xsinx en el punto x=0. Haz los grficos de f(x) y de P4 (x) en [-10,10]. Qu observas?. El polinomio de Taylor de grado 10, P10(x), para la funcin f (x) = xsinxen el punto x=0. Haz los grficos de f(x) y de P10 (x) en[-10,10] y en [-4,4]. Qu observas?. Dibuja, en un mismo grfico, f(x), P2(x), P4(x), P6(x) y P10(x) en [-10,10]. Haz una tabla de valores con f(x), P2(x), P4(x),P6(x) y P10(x) para x:=-2,-1.7..2. Saca conclusiones.
a) La expresin del polinomio de Taylor de grado 2 para f(x) en el punto x=0 viene dado por
P 2 ( x ) =f ( 0) f ' ( f ' ( 0) (x 0) ( x 0) + 0) 2! 1!
f (0) obtenemos:
f (x) = xsinx f (0) = 0sin0 = 0 f '( x ) = sinx + x cos x f ' sin + 0 cos 0 0 (0 ) = 0 = 0 cos 0 + 0( sin = 2 f ' ( x ) = cos x + cos x + x ( ' (0 ) = + 0) sinx ) cos f
2
0
Substituyendo, P 2 ( x
) = 0 1 ( x 0) + ( x 0) = x 2! !
Veamos como Mathcad nos permite comprobar desarrollos de Taylor de funciones. En este caso: Introducimos la funcin y luego llamamos la funcin interna de Mathcad series acompaada de la variable igual al punto alrededor del cual deseamos desarrollar. Finalmente introducimos el grado ms la unidad.
x sin(x) series ,x
0 3, x
Podemos ilustrar este clculo del polinomio de Taylor con las grficas de la funcin original y de dicha aproximacin:
Vemos claramente como, en un entorno alrededor de 0, el polinomio aproxima muy bien el comportamiento de la funcin. b)
p4 ( x) := x sin ( x ) series
10
,x
0 ,5
1 6
x sin
( x) 0
p4 ( x)
10
10
Ahora vemos como, en un entorno de 0 mayor que en el anterior apartado, el polinomio aproxima mejor el comportamiento de la funcin. c)
p10 ( x) := xsin (x) series
10
0 x
10
,x
0 , 11
1 6
1 120
x
10
1 5040
1 362880
10
x sin p10 ( x)
x() 0
10 10 0 x 10
10 0 x
Aplicaciones de las derivadas Ahora el contacto entre el polinomio y la funcin es mayor, si se toman valores dentro del intervalo [-4,4] cometeremos errores insignificantes al escribir: f(x) = xsin(x)= P10(x). De hecho son indistinguibles los dos grficos en [-4,4]. d)
0,7
1 6
x4 +
1 120
10
10
0 x
10
x := 2 , 1.7 2 x =
-2 -1.7 -1.4 -1.1 -0.8 -0.5 -0.2 0.1 0.4 0.7 1 1.3 1.6 1.9
x sin (x)=
1.819 1.686 1.38 0.98 0.574 0.24 0.04 9.98310 -3 0.156 0.451 0.841 1.253 1.599 1.798
p2 x() =
4 2.89 1.96 1.21 0.64 0.25 0.04 0.01 0.16 0.49 1 1.69 2.56 3.61
p4 x() =
1.333 1.498 1.32 0.966 0.572 0.24 0.04 9.98310 -3 0.156 0.45 0.833 1.214 1.468 1.438
p6 x() =
1.867 1.699 1.382 0.981 0.574 0.24 0.04 9.98310 -3 0.156 0.451 0.842 1.254 1.608 1.83
p10 ( x ) =
1.819 1.686 1.38 0.98 0.574 0.24 0.04 9.98310 -3 0.156 0.451 0.841 1.253 1.599 1.798
En esta comparativa final, con tabla de valores incluida, se ve, numricamente, las aproximaciones de los polinomios de Taylor. Los intervalos de aproximacin aumentan a medida que aumenta el grado del polinomio.
Ejemplo de Output Mathcad: Explica, detalladamente y paso por paso, lo que hace el programa Mathcad en la siguiente pantalla.
1)
0, 5
1 6
x := 10 , 9.9
10
10
f x() p4 ( x) 0
10 10
0 x
10
2)
x := ,
8 9
x =
-3.142 -2.793 -2.443 -2.094 -1.745 -1.396 -1.047 -0.698 -0.349 0 0.349 0.698 1.047 1.396 1.745 2.094
p4 ( x) =
-6.365 -2.337 0.029 1.18 1.5 1.316 0.896 0.448 0.119 0 0.119 0.448 0.896 1.316 1.5 1.18
Error (x) =
6.365 3.292 1.541 0.634 0.219 0.059 0.011 9.53710 - 4 1.50310 - 5 0 1.50310 - 5 9.53710 - 4 0.011 0.059 0.219 0.634
3) x := 2 , 2 5 2
f x() p4 ( x) Error (x)
0 x
Aplicaciones de las derivadas Veamos como Mathcad nos permite hacer desarrollos de Taylor de funciones: Introducimos la funcin y luego llamamos la funcin interna de Mathcad series acompaada de la variable igual al punto alrededor del cual deseamos desarrollar, el cero. Finalmente introducimos el grado ms la unidad. En este caso el polinomio es de grado 4. Podemos ilustrar este clculo del polinomio de Taylor con las grficas de la funcin original y de dicha aproximacin en el intervalo [-10,10] el paso de la x es de 1 dcima. Comparativa con tabla de valores en el intervalo [-,], el paso es de /9 . Se ve, numricamente, la aproximacin del polinomio de Taylor. Vemos, claramente, como, en un entorno alrededor de 0, el polinomio aproxima muy bien el comportamiento de la funcin, el error es prcticamente nulo. A medida que nos alejamos del cero la aproximacin es peor y el error es mayor. En esta comparativa final las grficas se han hecho en el intervalo [-/2,/2], el paso es de /10. Vemos que coinciden y el error es despreciable. Ejemplo de clculo de un desarrollo (o serie) de Taylor: Desarrollad la funcin
y = cos 2 x alrededor de x =
4 ,1
al error entre la aproximacin obtenida en el desarrollo de Taylor y el valor exacto? Comprobad la serie de Taylor, la aproximacin y el error cometido con Mathcad.
El polinomio de Taylor de tercer grado que aproxima la funcin viene dado por:
2 2 2
cos 2 x alrededor de x =
3 2
d (cos x )
2
d (cos x )
2
d (cos x)
3
dx
x= 4
(x ) + 4
dx
x= 4
(x 4
dx
2
x= 4
(x ) 4
P ( x) = cos 4 + 3, 4
1!
) +
2!
3!
1 =
= cos 4 2
x= 4 2
1 2
d (cos x ) dx
2
d (cos x )
2
1 1 =2 =0 2 2
dx
3 2
x= 4
dx
2 2
x= 4
x= 4
d (cos x ) 3 dx
x=
= d ( 2 ( sin cos x) dx
x
x= 4
= 8 sin x cos x = 8
x= 4
1 2
1 2
=4
llegamos a:
10
1 P ( x) =
3, 4
( 2 1 !( x 4 ) + 2 ! x 4 ) + 3 !( x 4 ) = 2 ( x 4 ) + 3 ( x 4 )
Veamos como Mathcad nos permite comprobar desarrollos de Taylor de funciones. En este caso: Introducimos la funcin y luego llamamos la funcin interna de Mathcad series acompaada de la variable igual al punto alrededor del cual deseamos desarrollar. Finalmente introducimos el grado ms la unidad.
1 1 2 2 ( cos(x) ) series ,x , 4 x + + x 1 4 2 4 3 4
Podemos ilustrar este clculo del polinomio de Taylor con las grficas de la funcin original y de dicha aproximacin:
1.1 cos(x)2 1 1 2 x + + 2 4 3 1
1 x 4
0.5
0.1
0 0 4 1 x 2 3 4
Calculamos la aproximacin a
cos2 1 , 4 evaluando el valor numrico del polinomio de 1 Taylor de tercer grado para x = 1 , 1 :
4 P ( 1, 1 2 1 ) = 0 ,1 + 0 , 1
3, 4 3
= 0 421783165
Sin necesidad de evaluar funciones trigonomtricas slo con poder multiplicar y sumar , obtenemos una aproximacin de la funcin gran utilidad de los desarrollos de Taylor.
2 cos ( ) x alrededor de x = 1 , . Aqu radica la 1 4
copiar y
x = 1 ,1 4
11
La estimacin del error cometido se obtiene a partir del clculo del Residuo de Lagrange del polinomio de Taylor para la funcin cos (
2
n+1
(x ) R ( x) = 4
n,4
d (cos x )
n +1
n +1
(n+1)!
dx
x=
donde n es tal que 1/ es mayor que el grado del polinomio de Taylor y 2/ hace que
R (x)
n, 4
sea diferente de cero debido a una derivada n-sima idnticamente nula. Esta expresin nos proporciona la diferencia entre el valor exacto de la funcin y del polinomio que la aproxima. Como
(x 4 2 4) 4 d (cos x) R ( x) =
3, 4
4! dx
x =
=0
ya que:
4 2
d (cos x)
= d( 8 sin x cos x )
= 8 ( cos sin x
=0
d x
x= 4
dx
x= 4
x= 4
(1 , 1
4,
,) 4
Proyecto e-Math 12
d 5 (cos 2 x ) 5 dx
x= 4
( 8(cos x sin x ) )
dx
x= 4
= 32 sin x cos x = 16
x= 4
5 (x ) 4x R ( x , ) =
4, 4
d (cos x ) dx
5 x =
5 !
120
( 32 ) sin x cos x
x =
es decir:
R ( 1 , 4 , ) = 1 4, 4
4 (0 , 1 ) 5 4 15 sin cos =
10 30 4
4
sin 2
es un real de valor desconocido pero necesariamente localizado dentro del intervalo 1 ,1 . Esto nos permite, pues, acotar el error superiormente a partir del valor mximo 1 4 4 de R ( 1 , , ) con , 1 , 1 .Acotamos el error entre el valor exacto de la funcin 1 ,
n, 4
y la estimacin derivada del polinomio de Taylor utilizando el valor mximo del valor absoluto del Residuo de Lagrange. Dicho valor mximo se obtiene para
5 5 5 5
4 4
= 4:
cos2 1 , 1 = 0 42178276748 4
Este ltimo se encuentra dentro del intervalo definido por las barras de error para el valor aproximado.
Ejemplo de aplicacin del clculo diferencial al computo de lmites: Calculad los siguientes lmites utilizando la regla de lHpital:
1
x x 2
+ p
p
con p y q >0
a) lim
x 0
e e x
b) lim
x 1 + 2 q x
13
e e lim x x 0
= lim
Notad que no calculamos los lmites laterales por separado puesto que coinciden como podis comprobar. En el caso b) tambin podemos aplicar la regla de lHpital puesto que el lmite tiende a cuando x
: 1 d p = lim dx d d x 1
2
0 0
+ p
+ p 2 p = lim
x
1 x
2
+p
lim
x
x2 1 + x q
2 2 x
x 1
= 2
2
+ q 2 q x2
1+ q 1
2
= lim
1 + 2 q x 1 + 2 p
q = p
x
Comprobamos ambos resultados con Mathcad:
14
Ejemplos de comparacin de algoritmos: El concepto eficiencia de un algoritmo hemos visto que hace referencia al nmero estimado de operaciones (tanto aritmticas como lgicas) que realizar ste antes de proporcionar un resultado. Veamos dos ejemplos: 1.- En Programacin Lineal se utiliza el software lindo que est basado en el algoritmo del simplex cuyo orden es polinmico, O(np). Hay otro algoritmo, pero que no se utiliza, que es el de Karmarkar. La razn por la que no se utiliza es porque es de orden exponencial O(an), a>1. Veamos el por qu:
p ( p1) 3 2 1
p!
lim a = +
x+
Luego una exponencial de base mayor que 1 crece con mucha ms rapidez que cualquier polinmica an >>> np, con lo que es mejor el algoritmo de orden polinmico. Veamos un ejemplo con el Mathcad para a =2 y p=2.
Decir que el algoritmo del simplex hay veces que se cicla y no llega a la solucin. La prctica nos ha demostrado que hay un porcentaje de problemas, alrededor de un 90%, que el lindo ha podido solucionar. Sin embargo, con el algoritmo de Karmarkar pasa al revs, slo llega a la solucin un 10%, las dems veces se cuelga.
15
Aplicaciones de las derivadas 2.- Supongamos que, dado un conjunto de n ciudades ( n 3) y la correspondiente matriz de distancias entre ellas D = (dij), disponemos de dos algoritmos distintos, que tienen una complejidad de orden nlog(n) y n2 respectivamente, capaces de hallar la trayectoria de mnima distancia que las recorra todas. Nuestro objetivo ser determinar cul de los dos algoritmos es ms eficiente, el mejor, i.e.: para un nmero dado (muy elevado) de ciudades, cul de los dos requiere de un tiempo de computacin menor para llegar a la solucin. El nmero de operaciones a realizar depende del nmero de ciudades (o nodos) n implicadas. Para determinar cul de los dos es ms eficiente (para valores muy grandes del parmetro n), recurriremos al concepto de lmite en el infinito. ln 10 x 1 1 n log n log n log x lim = lim = lim =0 = lim = lim = = {L' n x + 1 ln 10 x + x Hpital} n2 n + n + x + x
Esto significa que, para valores grandes de n (n de nodos o ciudades), nlog(n) << n2, con lo que el algoritmo de orden nlog(n) es mucho ms eficiente (requiere de muchas menos operaciones para llegar a la solucin). Podemos recurrir a Mathcad para que nos ayude en el clculo del lmite anterior, en la representacin grfica de las funciones, y en anlisis del tipo qu pasara si ahora logramos redisear el algoritmo menos eficiente de forma que su orden de complejidad sea de nln(n)?
16
BIBLIOGRAFA
[1] [2] [3] [4] [5] [6] [7] [8] [9] Benker, H. (1999): "Practical use of Mathcad. Solving mathematical problems with a computer algebra system", Springer-Verlag New York, Inc. Moreno, J.A.; Ser, D. (1999): "Mathcad 8. Manual de usuario y gua de referencia de Mathcad 8", ediciones Anaya Multimedia, S.A. Aguli, F.; Boadas, J.; Garriga, E.; Villalb, R. (1991): Temes clau de clcul. Barcelona: UPC. Courant, R.; John, F. (1971): Introduccin al clculo y al anlisis matemtico. Mxico: Limusa. Vaquero, A.; Fernndez, C. (1987): La Informtica Aplicada a la Enseanza. Eudema S.A. Madrid.P 37. Ortega J. (1990): Introducci a lanlisi matemtica. Barcelona: Publicacions de la Universitat Autnoma de Barcelona. Tang, S. (1986): Applied Calculus. PWS Publishers. Burbulla, D.(1993): Self-Tutor for Computer Calculus Using Maple. Prentice Hall. Hunt, R. (1994): "Calculus". Ed. Harper Collins.
17
ENLACES_________________________________________________________________
[W1] http://planetmath.org/encyclopedia/ProofOfTaylorsTheorem.html Pgina web de la enciclopedia de PlanetMath.org sobre el Teorema de Taylor. Tambin se pueden buscar en http://planetmath.org/encyclopedia otros conceptos como Regla de LHpital, por ejemplo. Est en ingls. [W2] http://www.satd.uma.es/aciego/docencia/Calculo_I/SeriesFun-Tr.pdf Pgina web con apuntes sobre las derivadas, el Teorema de Taylor y la Regla de LHpital. [W3] http://www.biopsychology.org/apuntes/calculo/calculo.htm Pgina web donde aparecen apuntes de clculo de un psiclogo, en la cual ha seleccionado las citas ms relevantes de los textos con los que pudo trabajar. Todas las citas tienen el siguiente formato: [texto (autor, pgina)]. [W4] http://www.xtec.es/~jlagares/manualwinfun.cat/estractemanualfuncionsperawindows.htm Pgina web sobre un articulo, que gan el segundo premio en el " concurso de programas educativos para ordenador" organizado por el M.E.C. el ao 1993. Trata sobre un programa, funciones para windows, con ejemplos grficos. En particular, habla de la aproximacin de una funcin por medio del polinomio de Taylor. En cataln. [W5] http://www.satd.uma.es/matap/svera/calitis/rprob0001/rp2iti0001.html Pgina web de Salvador Vera Ballesteros, profesor del Departamento de matemticas aplicada de la universidad de Mlaga. Contiene problemas y apuntes sobre las derivadas y sus aplicaciones. [W6] http://neko.ciencias.uniovi.es/~jlfm/apder.pdf Otra web, esta vez del profesor del Departamento de matemticas de la universidad de Oviedo, con problemas y apuntes sobre las derivadas y sus aplicaciones. [W7] http://www.okmath.com/Bloque.asp?clave=121 Pgina web que contiene problemas resueltos, con 3 niveles de dificultad, sobre la regla de lHpital. http://cariari.ucr.ac.cr/~cimm/cap_08/cap8_8-5.html Pgina web que trata sobre un curso de clculo diferencial. Hay teora y ejercicios sobre la regla de lHpital. [W9] http://www.dma.fi.upm.es/docencia/primerciclo/calculo/grupo13m/ Pgina web del Departamento de matemticas aplicada de la universidad politcnica de Madrid. Contiene ejercicios y exmenes sobre aplicaciones de las derivadas. [W10] http://www.terra.es/personal/jftjft/Home.htm Pgina completa sobre todo lo relacionado con las matemticas. Aparecen matemticos famosos y aplicaciones de las matemticas a diversos campos.
[W8]
18