Aplicaciones de las derivadas

APLICACIONES DE LAS DERIVADAS

Autores: Paco Martnez (jmartinezbos@uoc.edu), Patrici Molins (pmolinas@uoc.edu).

ESQUEMA DE CONTENIDOS ________________________











Aritmtica















Ejemplos
Conceptos
Aplicaciones
de las
Derivadas
Desarrollo
de Taylor
Comparacin
de algoritmos
Frmula
e Taylor d
Frmula de
Mac-Laurin rdenes de los
algoritmos
Regla de
lHpital
Resto de
Lagrange
Indeterminaciones




Ari
tmtica

Proyecto e-Math 1
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Aplicaciones de las derivadas
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. Calcular el polinomio que mejor aproxima una funcin alrededor de un punto, y utilizarlo
para evaluar la funcin de forma aproximada.

2. Comparar el polinomio de Taylor con la funcin original, numrica y grficamente.

3. Calcular lmites indeterminados por medio de la regla de lHpital.

4. 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 Math-
blocks: 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.


n
n
a n
a x
n
a f
a x
a f
a x
a f
a f x P ) (
!
) (
) (
! 2
) ( ' '
) (
! 1
) ( '
) ( ) (
)
2
,
+ + + + = L

La diferencia f(x) - P
n,a
(x) se llama resto o Error, y se designa por R
n,a
(x).

) ( ) ( ) ( ) ( ) ( ) (
, , , ,
x R x P x f x P x f x R
a n a n a n a n
+ = =
Proyecto e-Math 2
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Aplicaciones de las derivadas
Teorema de Taylor:

1. Si f es una funcin con derivada n-sima en x = a, se cumple

0
) (
) (
lim
,
=

n
a n
a x
a x
x R

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

1
) 1
,
) (
)! 1 (
) (
) (
+
+

+
=
n
n
a n
a x
n
c f
x R (Resto de Lagrange).
Con lo que el desarrollo de Taylor con el residuo de Lagrange queda as:


1
) 1 )
2
) (
)! 1 (
) (
) (
!
) (
) (
! 2
) ( ' '
) (
! 1
) ( '
) ( ) (
+
+

+
+ + + + + =
n
n
n
n
a x
n
c f
a x
n
a f
a x
a f
a x
a f
a f x f L

Cuando a = 0 se llama frmula de Mac-Laurin.

1
) 1 )
2
)! 1 (
) (
!
) 0 (
! 2
) 0 ( ' '
! 1
) 0 ( '
) 0 ( ) (
+
+
+
+ + + + + =
n
n
n
n
x
n
c f
x
n
f
x
f
x
f
f x f L

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 en el
punto x=0
xsinx x f = ) (

Solucin:

La expresin del polinomio de Taylor de grado 2 para f(x) en el punto x=0 viene dado por
2
0 , 2
) 0 (
! 2
) 0 ( ' '
) 0 (
! 1
) 0 ( '
) 0 ( ) ( + + = x
f
x
f
f x P
) 0 ( f
. As si calculamos la primera derivada y la
segunda en el punto x=0, as como obtenemos:

2 ) 0 ( 0 0 cos 0 cos ) 0 ( ' ' ) ( cos cos ) ( ' '
0 0 cos 0 0 ) 0 ( ' cos ) ( '
0 0 0 ) 0 ( ) (
= + + = + + =
= + = + =
= = =
sin f sinx x x x x f
sin f x x sinx x f
sin f xsinx x f


Substituyendo,
2 2
0 , 2
) 0 (
! 2
2
) 0 (
! 1
0
0 ) ( x x x x P = + + =


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 3
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Aplicaciones de las derivadas
a) 0 ) ( lim ) ( lim = =

x g x f
c x c x

b) Existen f(x) y g(x) en un entorno de E(c), salvo, quizs, en x = c.

c) , g(x) y g(x) no se anulan en E(c). c x

En tales condiciones si k
x g
x f
k
x g
x f
c x c x
= =
) (
) (
lim
) ( '
) ( '
lim

Variantes de la regla de lHpital:

Todas ellas se pueden resumir as:

Si , y j x g x f
i x i x
= =

) ( lim ) ( lim k
x g
x f
k
x g
x f
i x i x
= =
) (
) (
lim
) ( '
) ( '
lim

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.

Ejemplo: Es evidente que = = = =

0
1
1 6
1
lim
sin
lim . 6
x
1 sin
6 lim
sin
6 lim
2
0 0
2
0
3
0
x
x
x
x
x
x
x
x x x x
.
Sin embargo, al aplicar la regla de LHpital resulta
3
0
sin
6 lim
x
x
x

= =

2
0
3
cos
6 lim
x
x
x
1
6
sin
6 lim
0
=

x
x
x
. Dnde est el fallo?.

Solucin:

Dado que
0
0 sin
6
3
0
=

x
x
x
lim (Indeterminacin), aplicaremos LHpital
3
0
sin
6 lim
x
x
x

= =

2
0
3
cos
6 lim
x
x
x
6 =
0
1
. Por tanto ya no hay indeterminacin. El error se
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 4n
5
operaciones antes de dar el
resultado, diremos que tiene una complejidad del orden n
5
, y lo anotaremos O(n
5
). La
complejidad algortmica se traduce, entonces, en coste computacional y se intenta minimizar
al disear un algoritmo.
Proyecto e-Math 4
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Aplicaciones de las derivadas
En este apartado veremos cmo comparar estas funciones entre s, utilizando lmites al
infinito, teniendo en cuenta que si (n). L n f L x f
n x
= =
+ +
) ( lim ) ( lim
Ejemplo: Consideremos 2 algoritmos que necesitan f(n)=n
5
+2n+2 y g(n)=n
5
-n
2
+65
operaciones, respectivamente, para llevar a cabo un mismo clculo. Cul es ms rpido?.

Solucin:

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:

1
) (
) (

n g
n f
, para n grande. Diremos, entonces, que f y g son del mismo orden de magnitud, y
que los dos algoritmos tienen, tambin, la misma complejidad.

Definiciones

Sean f(n), g(n) funciones tales que:

+ = =
+ +
) ( lim ) ( lim n g n f
n n


Decimos que f y g son del mismo orden de magnitud cuando
+
, 0
) (
) (
lim
n g
n f
n
. En este
caso , escribiremos o bien O(f(n))=O(g(n)). ) ( ) ( n g n f

Decimos que f tiene orden de magnitud superior a g cuando + =
+
) (
) (
lim
n g
n f
n
. En este
caso , escribiremos o bien O(f(n)) > O(g(n)). ) ( ) ( n g n f >>

Decimos que f tiene orden de magnitud inferior a g cuando 0
) (
) (
lim =
+
n g
n f
n
. En este caso ,
escribiremos o bien O(f(n)) < O(g(n)). ) ( ) ( n g n f <<

En el ejemplo anterior hemos visto que . En general si f es un polinomio de
grado p,
5
) ( ) ( n n g n f
P p
n n f a an n f + = ) ( ) 0 ( ) ( L
p
n
a
n
n f
> =

0
) (
lim













Proyecto e-Math 5
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Aplicaciones de las derivadas
CASOS PRCTICOS CON SOFTWARE___________________________________

Ejemplo de comparacin entre el polinomio de Taylor y la funcin original:

Dada la funcin , calcula: xsinx x f = ) (

a) El polinomio de Taylor de grado 2, P
2
(x), para la funcin en el punto
x=0. Haz los grficos de f(x) y de P
xsinx x f = ) (
2
(x) en [-10,10]. Qu observas?.
b) El polinomio de Taylor de grado 4, P
4
(x), para la funcin en el punto
x=0. Haz los grficos de f(x) y de P
xsinx x f = ) (
4
(x) en [-10,10]. Qu observas?.
c) El polinomio de Taylor de grado 10, P
10
(x), para la funcin en el
punto x=0. Haz los grficos de f(x) y de P
xsinx x f = ) (
10
(x) en [-10,10] y en [-4,4]. Qu
observas?.
d) Dibuja, en un mismo grfico, f(x), P
2
(x), P
4
(x), P
6
(x) y P
10
(x) en [-10,10]. Haz una
tabla de valores con f(x), P
2
(x), P
4
(x),P
6
(x) y P
10
(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
2
2
) 0 (
! 2
) 0 ( ' '
) 0 (
! 1
) 0 ( '
) 0 ( ) ( + + = x
f
x
f
f x P
) 0 ( f
. As si calculamos la primera derivada y
la segunda en el punto x=0, as como obtenemos:

2 ) 0 ( 0 0 cos 0 cos ) 0 ( ' ' ) ( cos cos ) ( ' '
0 0 cos 0 0 ) 0 ( ' cos ) ( '
0 0 0 ) 0 ( ) (
= + + = + + =
= + = + =
= = =
sin f sinx x x x x f
sin f x x sinx x f
sin f xsinx x f


Substituyendo,
2 2
2
) 0 (
! 2
2
) 0 (
! 1
0
0 ) ( x x x x P = + + =

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
2

Podemos ilustrar este clculo del polinomio de Taylor con las grficas de la funcin original y
de dicha aproximacin:
Proyecto e-Math 6
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Aplicaciones de las derivadas


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 x 0 , 5 , x
2 1
6
x
4
:=
10 0 10
10
0
10
x sin x ( )
p4 x ( )
x
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 ( ) x sin x ( ) series x 0 , 11 , x
2 1
6
x
4

1
120
x
6

1
5040
x
8
+
1
362880
x
10
+ :=
10 0 10
10
0
10
x sin x ( )
p10 x ( )
x
0
10
0
10
x sin x ( )
p10 x ( )
x

Proyecto e-Math 7
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
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)= P
10
(x). De hecho
son indistinguibles los dos grficos en [-4,4].

d)
p6 x ( ) x sin x ( ) series x 0 , 7 , x
2 1
6
x
4

1
120
x
6
+ :=
10 0 10
10
0
10
x sin x ( )
p2 x ( )
p4 x ( )
p6 x ( )
p10 x ( )
x
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.





Proyecto e-Math 8
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Aplicaciones de las derivadas
Ejemplo de Output Mathcad:

Explica, detalladamente y paso por paso, lo que hace el programa Mathcad en la siguiente
pantalla.


1 )
f x ( ) x sin x ( ) := p4 x ( ) x sin x ( ) series x 0 , 5 , x
2 1
6
x
4
:= x 10 9.9 , 10 .. :=
10 0 10
10
0
10
f x ( )
p4 x ( )
x
2 )
x
8
9
, .. := Error x ( ) f x ( ) p4 x ( ) :=
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
= f x ( )
0
0.955
1.571
1.814
1.719
1.375
0.907
0.449
0.119
0
0.119
0.449
0.907
1.375
1.719
1.814
= 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
=
1 0 1
0
2
f x ( )
p4 x ( )
Error x ( )
x
3 )
x

2
2
5
,

2
.. :=

Proyecto e-Math 9
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
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 alrededor de x y
2
cos =
4

= x hasta el tercer grado. Utilizar el

desarrollo para calcular un valor aproximado del )
4
1 , 1 (
2

cos . Podis dar una cota superior
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 alrededor de x
2
cos
4

= x
viene dado por:
3
4
3
2 3
2
4
2
2 2
4
2
2
4
, 3
)
4
(
! 3
) (cos
)
4
(
! 2
) (cos
)
4
(
! 1
) (cos
4
cos ) (

+ + + =
= = =
x
dx
x d
x
dx
x d
x
dx
x d
x P
x x x

Si substituimos en la expresin anterior los siguientes resultados:

2
1
2
1
4
cos
4
cos
2 2
2
=

=



( ) 1
2
1
2
1
2
4
cos
4
sin 2 sin cos 2
) (cos
4
4
2
= = = =
=
=

x
x
x x
dx
x d

( )
( ) 0
2
1
2
1
2 sin cos 2
cos sin 2 ) (cos
4
2 2
4
4
2
2 2
=

= =

=
=
=
=

x
x
x
x x
dx
x x d
dx
x d
( ) ( )
4
2
1
2
1
8 cos sin 8
cos sin 2 ) (cos
4
4
2 2
4
3
2 3
= = =

=
=
= =


x
x x
x x
dx
x x d
dx
x d


llegamos a:

Proyecto e-Math 10
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Aplicaciones de las derivadas
3 3 2
4
, 3
)
4
(
3
2
)
4
(
2
1
)
4
(
! 3
4
)
4
(
! 2
0
)
4
(
! 1
1
2
1
) (

+ = + + = x x x x x x P

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 ( ) ( )
2
series x

4
, 4 ,
1
2
x
1
4
+
2
3
x
1
4

3
+




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 785 , 0 4 , el polinomio aproxima
muy bien el comportamiento de la funcin.
0 1 2
0
0.5
1
1.1
0.1
cos x ( )
2
1
2
x
1
4
+
2
3
x
1
4

3
+
3
4

4
x

Calculamos la aproximacin a

4
1 , 1 cos
2

evaluando el valor numrico del polinomio de
Taylor de tercer grado para
4
1 , 1

= x :
421783165 . 0
4
1 , 0
3
2
4
1 , 0
2
1
)
4
1 , 1 (
3
4
, 3
=

P

Sin necesidad de evaluar funciones trigonomtricas slo con poder multiplicar y sumar,
obtenemos una aproximacin de la funcin cos alrededor de ( ) x
2
4
1 , 1

= x . Aqu radica la
gran utilidad de los desarrollos de Taylor.

Comprobamos dicho resultado fcilmente con Mathcad. Mediante la tcnica del copiar y
pegar construimos la funcin p(x). Para luego evaluarla en
4
1 , 1

= x .
Proyecto e-Math 11
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Aplicaciones de las derivadas



La estimacin del error cometido se obtiene a partir del clculo del Residuo de Lagrange del
polinomio de Taylor para la funcin cos alrededor del punto ( ) x
2
4

= x :

=
+
+
+
+

=
x
n
n
n
n
dx
x d
n
x
x R
1
2 1
1
4
,
) (cos
)! 1 (
)
4
(
) (

donde n es tal que 1/ es mayor que el grado del polinomio de Taylor y 2/ hace que ) (
4
,
x R
n


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
0
) (cos
! 4
)
4
(
) (
4
2 4
4
4
, 3
=

=
=

x
dx
x d
x
x R

ya que:

( )
( ) 0 sin cos 8
cos sin 8 ) (cos
4
2 2
4
4
4
2 4
= = =
=
=
=

x
x
x
x x
dx
x x d
dx
x d

tenemos que calcular ) ,
4
1 , 1 (
4
, 4

R

Proyecto e-Math 12
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Aplicaciones de las derivadas
Utilizando
( )
16 cos sin 32
) sin (cos 8 )
4
4
2 2
4
5
2 5
= =

=
=
= =


x
x x
x x
dx
x x d
dx
x (cos d


obtenemos para el Residuo de Lagrange:

( )

=
=

=
x
x
x x
x
dx
x d
x
x R cos sin 32
120
)
4
(
) (cos
! 5
)
4
(
) , (
5
5
2 5
5
4
, 4


es decir:

2 sin
4 30
10
cos sin
15
)
4
1 , 0 ( 4
) ,
4
1 , 1 (
4
5 5
5
4
, 4

=

=

R


es un real de valor desconocido pero necesariamente localizado dentro del intervalo

1 , 1
4
,
4

. Esto nos permite, pues, acotar el error superiormente a partir del valor mximo
de ) ,
4
1 , 1 (
4
,

n
R con

1 , 1
4
,
4

.Acotamos el error entre el valor exacto de la funcin
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 = :


7
4
5 5
4
5 5
4
, 4
10 984631 , 3
4 30
10
4
2 sin
4 30
10
)
4
,
4
1 ' 1 (

= =

R

Esto nos permite escribir que:

0000004 . 0 4217831 . 0
4
1 , 1
2
=

cos

y comparar con el resultado exacto que podemos obtener, por ejemplo, con Mathcad:

8 4217827674 . 0
4
1 , 1 cos
2
=

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:

a)
x
e e
x x
x

0
lim b)
q q
x
p p
x
x
+
+

2
2
2
2
1
1
lim con p y q >0
Proyecto e-Math 13
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Aplicaciones de las derivadas
El lmite en a) tiende a
0
0
cuando y, por lo tanto, podemos aplicar la regla de lHpital.
Derivando el numerador y el denominador obtenemos:
0 x




=

1
lim
)' (
)' (
lim lim
0 0 0
x x
x
x x
x
x x
x
e e
x
e e
x
e e


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
0
0

cuando : x
=

+
=

+
=
+
+

3
2
2
3
2
2
2
2
2
2
2
2
2
2
2
1
2
1
2
1
2
1
lim
1
1
lim
1
1
lim
x
q
x
x
p
x
q q
x dx
d
p p
x dx
d
q q
x
p p
x
x x x

que simplificando nos conduce a:

p
q
p
x
q
x
x
=
+
+
=

2
2
2
2
1
1
lim

Comprobamos ambos resultados con Mathcad:


Proyecto e-Math 14
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Aplicaciones de las derivadas
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(n
p
). 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(a
n
), a>1. Veamos el por qu:

+ = =

=
= = = =

=
+ +
+ +
x
x
p x p
x
p
x
x
p
n
n
a
p
a
p p
a a
veces p Hpital
x
a
in
n
a
lim
!
) (ln
1 2 3 ) 1 (
) (ln
lim
) ( lim det lim


Luego una exponencial de base mayor que 1 crece con mucha ms rapidez que cualquier
polinmica a
n
>>> n
p
, 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 15
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Aplicaciones de las derivadas
2.- Supongamos que, dado un conjunto de n ciudades (n 3) y la correspondiente
matriz de distancias entre ellas D = (d
ij
), disponemos de dos algoritmos distintos, que
tienen una complejidad de orden nlog(n) y n
2
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.
0
1
lim
10 ln
1
1
10 ln
lim Hpital} {L'
log
lim
log
lim
log
lim
2
= = = =

= = =

+ + + + +
x
x
x
x
n
n
n
n n
x x x n n


Esto significa que, para valores grandes de n (n de nodos o ciudades), nlog(n) << n
2
, 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 16
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Aplicaciones de las derivadas
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] Vaquero, A.; Fernndez, C. (1987): La Informtica Aplicada a la Enseanza. Eudema S.A.
Madrid.P 37.

[6] Ortega J. (1990): Introducci a lanlisi matemtica. Barcelona: Publicacions de la Universitat
Autnoma de Barcelona.

[7] Tang, S. (1986): Applied Calculus. PWS Publishers.

[8] Burbulla, D.(1993): Self-Tutor for Computer Calculus Using Maple. Prentice Hall.

[9] Hunt, R. (1994): "Calculus". Ed. Harper Collins.

























Proyecto e-Math 17
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)
Aplicaciones de las derivadas

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 18
Financiado por la Secretara de Estado de Educacin y Universidades (MECD)