Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Aplicaciones Derivadas
Aplicaciones Derivadas
ESQUEMA DE CONTENIDOS
________________________
Conceptos
Ejemplos
Aplicaciones
de las
Derivadas
Aritmtica
Comparacin
de algoritmos
Desarrollo
de Taylor
Resto de
Lagrange
Frmula
Regla de
lHpital
de Taylor
Frmula de
rdenes de los
algoritmos
Mac-Laurin
Indeterminaciones
Ari
tmtica
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
INTRODUCCIN
___________________
OBJETIVOS
________________________
1.
Calcular el polinomio que mejor aproxima una funcin alrededor de un punto, y utilizarlo
para evaluar la funcin de forma aproximada.
2.
3.
4.
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 polinomio de Taylor de
grado n en x = a.
Pn ,a ( x) = f (a ) +
f ' (a)
f ' ' (a )
f n ) (a)
( x a) +
( x a) 2 + L +
( x a) n
1!
2!
n!
Rn ,a ( x) = f ( x) Pn ,a ( x) f ( x) = Pn ,a ( x) + Rn ,a ( x)
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
lim
x a
Rn, a ( x) =
f n +1) (c)
( x a ) n +1
(n + 1)!
n+1)
Rn , a ( x )
( x a) n
=0
(Resto de Lagrange).
f ( x) = f (a) +
f ' (a)
f ' ' (a)
f n ) (a)
f n +1) (c)
( x a) n+1
( x a) n +
( x a) 2 + L +
( x a) +
n!
(n + 1)!
2!
1!
f ( x) = f (0) +
f ' (0)
f ' ' (0) 2
f n ) (0) n f n +1) (c) n +1
x+
x +L+
x +
x
1!
2!
n!
(n + 1)!
f ' (0)
f ' ' (0)
( x 0) +
( x 0) 2 . As si calculamos la primera derivada y la
1!
2!
segunda en el punto x=0, as como f (0) obtenemos:
P2, 0 ( x) = f (0) +
0
2
( x 0) + ( x 0) 2 = x 2
1!
2!
Regla de lHpital
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:
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
lim f ( x) = lim g ( x) = 0
x c
x c
x c
f ' ( x)
f ( x)
= k lim
=k
x c g ( x )
g ' ( x)
xi
xi
f ' ( x)
f ( x)
= k lim
=k
xi g ( x )
g ' ( x)
sin x
3
= lim 6
sin x 1
sin x
1
1
= 6. lim
lim
= 6 1 = .
2
2
0
x x
x 0 x
x 0 x
regla
de
LHpital
resulta
x 0
x 0
x
embargo,
al
aplicar
la
sin x
sin x
cos x
= lim 6
= 1 . Dnde est el fallo?.
lim 6
= lim 6
6x
x0
x 0
x0
3x 2
x3
Sin
Solucin:
sin x 0
=
(Indeterminacin),
aplicaremos
LHpital
0
x3
sin x
cos x
1
lim 6 3 = lim 6
= 6 = . Por tanto ya no hay indeterminacin. El error se
2
x 0
x 0
0
x
3x
Dado
que
lim 6
x 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 4n5 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.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
n+
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 +
n +
n +
f ( n)
0, . En este
g ( n)
n +
f ( n)
= + . En este
g ( n)
n +
f ( n)
= 0 . En este caso ,
g ( n)
grado p, f ( n) = an
+ L (a 0) lim
f ( n)
= a > 0 f ( n) n P
p
n
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
d)
a) La expresin del polinomio de Taylor de grado 2 para f(x) en el punto x=0 viene dado
f ' (0)
f ' ' (0)
( x 0) +
( x 0) 2 . As si calculamos la primera derivada y
1!
2!
la segunda en el punto x=0, as como f (0) obtenemos:
por P2 ( x) = f (0) +
0
2
( x 0) + ( x 0) 2 = x 2
1!
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:
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
x sin ( x ) series
, x
0 , 5
10
x sin ( x )
0
p4 ( x )
10
10
10
,x
0 , 11
1
6
1
120
10
( x)
1
5040
1
362880
10
10
x sin ( x )
p10
x sin ( x )
0
10
p10
10
10
( x)
10
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
0
x
p6 ( x) := x sin ( x) series , x
0, 7 x
x +
1
120
10
x sin ( x)
p2 ( x)
p4 ( x)
p6 ( x)
p10 ( x)
10
10
10
x := 2 , 1.7 .. 2
x=
x sin ( x) =
p2 ( x) =
p4 ( x) =
p6 ( x) =
p10 ( x) =
-2
1.819
1.333
1.867
1.819
-1.7
1.686
2.89
1.498
1.699
1.686
-1.4
1.38
1.96
1.32
1.382
1.38
-1.1
0.98
1.21
0.966
0.981
0.98
-0.8
0.574
0.64
0.572
0.574
0.574
-0.5
0.24
0.25
0.24
0.24
0.24
-0.2
0.04
0.04
0.04
0.04
0.04
0.1
9.98310 -3
0.01
9.98310 -3
9.98310 -3
9.98310 -3
0.4
0.156
0.16
0.156
0.156
0.156
0.7
0.451
0.49
0.45
0.451
0.451
0.841
0.833
0.842
0.841
1.3
1.253
1.69
1.214
1.254
1.253
1.6
1.599
2.56
1.468
1.608
1.599
1.9
1.798
3.61
1.438
1.83
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.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
1)
p4 ( x) := x sin ( x) series , x
f ( x) := x sin ( x)
0, 5 x
1
6
x := 10 , 9.9 .. 10
10
f ( x)
0
p4 ( x)
10
10
10
2)
x := ,
8
9
..
Error ( x) := f ( x) p4 ( x)
x =
f ( x) =
p4 ( x) =
Error ( x) =
-3.142
-6.365
6.365
-2.793
0.955
-2.337
3.292
-2.443
1.571
0.029
1.541
-2.094
1.814
1.18
0.634
-1.745
1.719
1.5
0.219
-1.396
1.375
1.316
0.059
-1.047
0.907
0.896
-0.698
0.449
0.448
0.011
9.53710 -4
-0.349
0.119
0.119
1.50310 -5
0.349
0.119
0.119
0
1.50310 -5
0.698
0.449
0.448
9.53710 -4
1.047
0.907
0.896
0.011
1.396
1.375
1.316
0.059
1.745
1.719
1.5
0.219
2.094
1.814
1.18
0.634
3)
x :=
2
5
..
f ( x)
p4 ( x)
Error ( x)
1
x
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
4
2
desarrollo para calcular un valor aproximado del cos (1,1 ) . Podis dar una cota superior
4
P ( x) = cos 2
3,
+
4
d (cos 2 x)
dx
x=
1!
d 2 (cos 2 x)
dx 2
x=
(x ) +
4
2!
( x )2 +
4
d 3 (cos 2 x)
dx 3
x=
3!
( x )3
4
1
1
= cos =
cos
=
4
4 2
2
2
d (cos 2 x)
dx
x=
1 1
= 1
cos = 2
4
4
2 2
d 2 (cos 2 x)
d ( 2 sin x cos x )
=
= 2 cos 2 x sin 2 x
2
dx
dx
x=
x=
((
d (cos x)
d 2 sin x cos x
=
3
dx
dx
x=
3
))
x=
x=
4
= 8 sin x cos x x= = 8
4
1 1
= 2 = 0
2 2
1 1
=4
2 2
llegamos a:
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
10
P ( x) =
3,
2
1
4
0
1 1
( x ) + ( x ) 2 + ( x )3 = ( x ) + ( x )3
4
2
4 3
3!
4
4
2 1!
4 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.
( cos ( x) ) series , x
,4
1
2
x+
1
4
2
3
1
4
Podemos ilustrar este clculo del polinomio de Taylor con las grficas de la funcin original y
de dicha aproximacin:
cos( x)
1.1
0.5
2 1
1
x+ + x
4
3 4
2
1
0.1
0
0
2
3
:
4
3
1 2
. Aqu radica la
4
.
4
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
11
La estimacin del error cometido se obtiene a partir del clculo del Residuo de Lagrange del
polinomio de Taylor para la funcin cos ( x ) alrededor del punto x =
2
:
4
( x ) n+1 n+1
d (cos 2 x)
4
R ( x) =
n,
(n + 1)!
dx n+1
4
x =
donde n es tal que 1/ es mayor que el grado del polinomio de Taylor y 2/ hace que R
n,
( x)
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 4
2
4 d (cos x)
R ( x) =
=0
4
3,
4
!
dx
4
x =
ya que:
d 4 (cos 2 x)
d (8 sin x cos x )
=
= 8 cos 2 x sin 2 x
4
dx
dx
x=
x=
4,
4
(1,1
x=
=0
, )
4
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
12
d 5 (cos 2 x)
d 8(cos 2 x sin 2 x)
=
dx 5
dx
x=
Utilizando
)
x=
= 32 sin x cos x x= = 16
4
( x )5 5
( x )5
2
d
(cos
x
)
4
4 ( 32 )sin x cos x
R ( x, ) =
=
5
x =
4,
5
!
dx
120
4
x =
es decir:
4(0,1 )5
10 5 5
4
R (1,1 , ) =
sin cos =
sin 2
4,
4
15
30 4 4
4
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
4 4
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 = 4 :
=R
4,
(1'1
4
105 5 105 5
, )=
sin 2 =
3,984631 10 7
4
4
4 4
30 4
4 30 4
cos 2 1,1 = 0.4217831 0.0000004
4
y comparar con el resultado exacto que podemos obtener, por ejemplo, con Mathcad:
cos 2 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:
e e
x 0
x
a) lim
b) lim
1
+ p2 p
2
x
con p y q >0
1
2
+q q
x2
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
13
0
cuando x 0 y, por lo tanto, podemos aplicar la regla de lHpital.
0
ex e x
(ex e x )'
ex e x
= lim
= lim
=
x 0
x 0
x 0
x
( x)'
1
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 :
lim
1
2
3
d
1
2
1
1
2
2 x
p
p
+
2 2+p
+p p
dx x 2
x
x2
= lim
=
= lim
x
x
1
2
1
d 1
2
2
3
+q q
+ q q
1
x2
dx x 2
2 x
2 2 +q
x
= lim
1
+ q2
2
q
x
=
p
1
+ p2
2
x
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
14
0
0
lim
n+
an
np
= lim
x+
ax
(ln a ) p a x
(ln a) p
=
lim a x = +
x+
p ( p 1) 3 2 1
p!
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.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
15
1
ln 10 x+ x
n
x
+
n
n
x
x
n
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)?
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
16
BIBLIOGRAFA
_________________ ______________________________________
[1]
Benker, H. (1999): "Practical use of Mathcad. Solving mathematical problems with a computer
algebra system", Springer-Verlag New York, Inc.
[2]
Moreno, J.A.; Ser, D. (1999): "Mathcad 8. Manual de usuario y gua de referencia de Mathcad
8", ediciones Anaya Multimedia, S.A.
[3]
Aguli, F.; Boadas, J.; Garriga, E.; Villalb, R. (1991): Temes clau de clcul. Barcelona: UPC.
[4]
Courant, R.; John, F. (1971): Introduccin al clculo y al anlisis matemtico. Mxico: Limusa.
[5]
[6]
[7]
[8]
Burbulla, D.(1993): Self-Tutor for Computer Calculus Using Maple. Prentice Hall.
[9]
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
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.
[W8]
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.
Proyecto e-Math
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
18