CLCULO NUMRICO DEPARTAMENTO DE MATEMTICA

REN ZIGA FLORES UNIVERSIDAD DE ANTOFAGASTA

INTRODUCCIN A LA DERIVADA

Teorema 1:
Si F es una funcin continua sobre un intervalo cerrado | | ; a b , entonces existen nmeros
1
x y
2
x tales que | |
1
; x a b e , | |
2
; x a b e y
| |
1
( ) ( ) ; F x F x cuando x a b > e
y
| |
2
( ) ( ) ; F x F x cuando x a b s e

La grfica siguiente muestra lo que dice este teorema.


Este teorema nos dice que si una funcin F es continua sobre un intervalo cerrado, entonces
( ) F x alcanza un valor mximo y un valor mnimo en el intervalo.

Teorema 2: (Teorema de Rolle)
Sea F una funcin tal que:
i) F es continua sobre un intervalo cerrado | | ; a b
ii) F es derivable sobre el intervalo abierto ( ) ; a b
iii) ( ) ( ) 0 F a F b = =
Entonces existe un nmero c tal que a c b < < y '( ) 0 F c =
Grficamente este teorema se ve as:


a
b 1
x
2
x
x
1
( ) F x
2
( ) F x
( ) F x
( ) y F x =
a
b
c
( ) y F x =
CLCULO NUMRICO DEPARTAMENTO DE MATEMTICA
REN ZIGA FLORES UNIVERSIDAD DE ANTOFAGASTA

Teorema 3: (Teorema del valor medio para derivadas)

Sea F una funcin con las propiedades de que:
i) F sea continua sobre un intervalo cerrado | | ; a b
ii) F sea derivable sobre el intervalo abierto ( ) ; a b
Entonces existe un nmero c tal que:
a c b < <
y

( ) ( )
'( )
F b F a
F c
b a

Una variante del teorema del valor medio es el siguiente teorema.

Teorema 4:
Supongamos que { } ( , ) / ( ) F x y y F x = = es una funcin continua en el intervalo cerrado | | ; a b y
que '( ) F x existe en el intervalo abierto ( ) ; a b entonces existe un nmero c tal que a c x < < y
( | ( ) ( ) ( ) '( ), ; F x F a x a F c x a b = + e

Para realizar una extensin del teorema del valor medio, consideremos el caso de una funcin
polinmica en la forma siguiente:
Supongamos que ( ) F x es un polinomio de grado n, lo que podemos en la forma siguiente:


2 3
0 1 2 3
( ) ( ) ( ) ( ) ( )
n
n
F x c c x a c x a c x a c x a = + + + + +

Donde
0 1 2 3
, , , , ,
n
c c c c c son nmeros reales y 0
n
c = . Si derivamos obtenemos los siguientes
resultados para las n primeras derivadas de ( ) F x .

2 2 1
1 2 3 1
'( ) 2 ( ) 3 ( ) ( 1) ( ) ( )
n n
n n
F x c c x a c x a n c x a nc x a

= + + + + +
( )
3 2
2 3 1
''( ) 2 2 3 ( ) ( 2) 1 ( ) ( 1) ( )
n n
n n
F x c c x a n n c x a n nc x a

= + + + +
(3) 4 3
3 1
( ) 2 3 ( 3)( 2)( 1) ( ) ( 2)( 1) ( )
n n
n n
F x c n n n c x a n n nc x a

= + + +
.
.
.
( ) ( )
( )
( ) 2 3 4 5 2 1
n
n
F x n n nc =

Si evaluamos ( ) F x y sus n para x a = se obtienen los siguientes resultados:
(1) (2) (3) (4)
0 1 2 3 4
( 1) ( )
1
( ) ; ( ) ; ( ) 2! ; ( ) 3! ; ( ) 4!
( ) ( 1)! ; ( ) !
n n
n n
F a c F a c F a c F a c F a c
F a n c F a n c

= = = = =
= =


De estas igualdades podemos obtener los coeficientes del polinomio, es decir,
(1) (2) (3) ( )
0 1 2 3
1 1 1
( ), ( ), ( ), ( ), , ( )
2! 3! !
n
n
c F a c F a c F a c F a c F a
n
= = = = =
Si sustituimos estos valores en ( ) F x se obtiene:
CLCULO NUMRICO DEPARTAMENTO DE MATEMTICA
REN ZIGA FLORES UNIVERSIDAD DE ANTOFAGASTA

( ) ( ) ( )
2
(1) (2) (3) 3 ( )
1 1 1
( ) ( ) ( ) ( ) ( )( ) ( )
2! 3! !
n
n
F x F a F a x a F a x a F a x a F a x a
n
= + + + + +
Este resultado da lugar al siguiente teorema:
Teorema 5:
Si { } ( , ) / ( ) F x y y F x = = es una funcin polinmica de grado n, entonces para cualquier nmero
real a se tiene:
( ) ( ) ( )
2
(1) (2) (3) 3 ( )
1 1 1
( ) ( ) ( ) ( ) ( )( ) ( )
2! 3! !
n
n
F x F a F a x a F a x a F a x a F a x a
n
= + + + + +
Teorema 6:
Si { } ( , ) / ( ) F x y y F x = = es una funcin tal que
( )
( )
n
F a existe y si { } ( , ) / ( )
n n
P x y y P x = = es
una funcin polinmica de grado n tal que:


( ) ( )
( ) ( ), ( ) , 1,2,3, ,
i i
n n n
P a F a P a F i n = = =
entonces
( ) ( ) ( )
2
(1) (2) (3) 3 ( )
1 1 1
( ) ( ) ( ) ( ) ( )( ) ( )
2! 3! !
n
n
n
P x F a F a x a F a x a F a x a F a x a
n
= + + + + +
Ejemplo 1:
Verifique que:

2 3
( ) 1
2! 3! !
n
n
x x x
P x x
n
= + + + + +
es un polinomio de Taylor de grado n de ( )
x
F x e = en 0 x =


Solucin:
Aplicando el teorema 6 se tiene que:
( ) ( ) ( )
2
(1) (2) (3) 3 ( )
1 1 1
( ) ( ) ( ) ( ) ( )( ) ( )
2! 3! !
n
n
n
P x F a F a x a F a x a F a x a F a x a
n
= + + + + +
(1)
Si ( )
x
F x e = , analicemos los siguientes clculos
0
( ) (0) 1
x
F x e F e = = =

( ) ( )
(1) (1)
( ) (0) 0 1
x
F x e F x x x = = =

( ) ( )( )
2
2 2
(2) (2) 2
1 1 1
( ) (0) 0 1
2! 2! 2! 2!
x
x
F x e F x x x
| |
= = = =
|
\ .


( ) ( )( )
2
2 2
(2) (2) 2
1 1 1
( ) (0) 0 1
2! 2! 2! 2!
x
x
F x e F x x x
| |
= = = =
|
\ .


( ) ( )( )
3
3 3
(3) (3) 3
1 1 1
( ) (0) 0 1
3! 3! 3! 3!
x
x
F x e F x x x
| |
= = = =
|
\ .


( ) ( )( )
( ) ( )
1 1 1
( ) (0) 0 1
! ! ! !
n
n n
n x n n
x
F x e F x x x
n n n n
| |
= = = =
|
\ .


Reemplazando estos resultados en (1) se obtiene:
CLCULO NUMRICO DEPARTAMENTO DE MATEMTICA
REN ZIGA FLORES UNIVERSIDAD DE ANTOFAGASTA

( ) ( ) ( )
2
(1) (2) (3) 3 ( )
1 1 1
( ) ( ) ( ) ( ) ( )( ) ( )
2! 3! !
n
n
n
P x F a F a x a F a x a F a x a F a x a
n
= + + + + +

2 3
( ) 1
2! 3! !
n
n
x x x
P x x
n
= + + + + +

Ejemplo 2:
Encuentre el polinomio de Taylor de grado n de ( ) sin( ) F x x = en
6
x
t
=
Solucin:
Analicemos los siguientes clculos.
( ) sin( ) F x x =
1
sin
6 6 2
F
t t | | | |
= =
| |
\ . \ .



(1)
( ) cos( ) F x x =
(1)
1
3 sin
6 2 6 2
F
t t t | | | |
= = +
| |
\ . \ .



(2)
( ) sin( ) F x x =
(2)
1 2
sin
6 2 6 2
F
t t t | | | |
= = +
| |
\ . \ .



(3)
( ) cos( ) F x x =
(3)
1 3
3 sin
6 2 6 6
F
t t t | | | |
= = +
| |
\ . \ .



(4)
( ) sin( ) F x x =
(4)
1 4
sin
6 2 6 2
F
t t t | | | |
= = +
| |
\ . \ .

. .
. .
. .


( )
( ) sin
2
n
n
F x x
t | |
= +
|
\ .

( )
sin
6 6 2
n
n
F
t t t | | | |
= +
| |
\ . \ .

Por tanto
( ) ( ) ( )
2
(1) (2) (3) 3 ( )
1 1 1
( ) ( ) ( ) ( ) ( )( ) ( )
2! 3! !
n
n
n
P x F a F a x a F a x a F a x a F a x a
n
= + + + + +
2
(1) (2) ( )
1 1
( )
6 6 6 2! 6 6 ! 6 6
n
n
n
P x F F x F x F x
n
t t t t t t t | | | || | | || | | || |
= + + + +
| | | | | | |
\ . \ .\ . \ .\ . \ .\ .

2 3
sin
1 1 1 1 6 2
( ) 3 3
2 2 6 4 6 12 6 ! 6
n
n
n
P x x x x x
n
t t
t t t t
| |
+
|
| | | | | | | |
\ .
= + + +
| | | |
\ . \ . \ . \ .


Supongamos que ( )
n
P x es un polinomio de Taylor de grado n de ( ) F x en a. Una pregunta importante
es: Qu tanto se aproxima ( )
n
P x a ( ) F x para valores de x diferente de a?. Esto es, cul es el valor
de
1 1
( ) ( )
n
F x P x , para
1
x a = ?. Debemos esperar que
1 1
( ) ( )
n
F x P x sea pequeo para
1
x prxima a a.
El siguiente teorema nos soluciona este problema con respecto a esta diferencia
CLCULO NUMRICO DEPARTAMENTO DE MATEMTICA
REN ZIGA FLORES UNIVERSIDAD DE ANTOFAGASTA

Teorema 7: (Teorema de Taylor con residuo)

Si { } ( , ) / ( ) F x y y F x = = es una funcin con la propiedad de que n es un entero positivo,
( ) n
F es
continua en el intervalo cerrado | | ; a b y si
( 1)
( )
n
F x
+
existe en el intervalo abierto ( ) ; a b ,
entonces para | | ; x a b e existe un nmero z tal que a z x < < y
( ) ( ) ( )
2
(1) (2) (3) 3 ( )
1
1 1 1
( ) ( ) ( ) ( ) ( )( ) ( ) ( )
2! 3! !
n
n
n
F x F a F a x a F a x a F a x a F a x a R x
n
+
= + + + + + +
donde
( )
( 1)
1
1
( )
( )
( 1)!
n
n
n
F z
R x x a
n
+
+
+
=
+
para x a = y
1
( ) 0
n
R x
+
= para x a =
Ejemplo 3:
Desarrolle ( ) sin( ) F x x = en potencias de
6
x
t
aplicando el teorema anterior (7).
Solucin:
Utilizando el resultado del ejemplo 2 se tiene:
2 3
1
sin
1 1 1 1 6 2
sin( ) 3 3 ( )
2 2 6 4 6 12 6 ! 6
n
n
n
x x x x x R x
n
t t
t t t t
+
| |
+
|
| | | | | | | |
\ .
= + + + +
| | | |
\ . \ . \ . \ .


donde,
( )
( )
( )
1
( 1)
1
1
1
sin
2 ( )
( ) ;
( 1)! 1! 6 6
n
n
n
n
n
z
F z
R x x a x z x
n n
t
t t
+
+
+
+
+ | |
+
|
| |
\ .
= = < <
|
+ +
\ .


Como se puede observar este resultado es vlido para
6
x
t
> dado que por las condiciones del teorema
( ) n
F es continua y adems
( 1)
( )
n
F x
+
existe.
Ejemplo 4:
Utilizando el resultado del ejemplo 3 calcular una aproximacin del valor de ( ) sin 31
Solucin:
Como
31 31
31 sin(31 ) sin
180 180
t t | |
=
|
\ .

2
1
sin
31 1 1 31 1 31 31 31 6 2
sin 3
180 2 2 180 6 4 180 6 ! 180 6 180
n
n
n
R
n
t t
t t t t t t t t
+
| |
+
|
| | | | | | | | | |
\ .
= + + + +
| | | | |
\ . \ . \ . \ . \ .


2 3
1
sin
31 1 1 1 1 31 6 2
sin 3 3
180 2 2 180 4 180 12 180 ! 180 180
n
n
n
R
n
t t
t t t t t t
+
| |
+
|
| | | | | | | | | | | |
\ .
= + + + +
| | | | | |
\ . \ . \ . \ . \ . \ .


donde;

CLCULO NUMRICO DEPARTAMENTO DE MATEMTICA
REN ZIGA FLORES UNIVERSIDAD DE ANTOFAGASTA

( )
( )
1
1
1
sin
2 31 31 31
;
180 1! 180 6 6 180
n
n
n
z
R z
n
t
t t t t t
+
+
+ | |
+
|
| | | |
\ .
= < <
| |
+
\ . \ .


Como sin( ) 1 u s , entonces podemos deducir que:


( )
1
1
31 1 31
180 1! 180 6
n
n
R
n
t t t
+
+
| | | |
s
| |
+
\ . \ .


Si por ejemplo tomamos 4 n = , entonces

2 3 4
5
31 1 1 1 1 1 31
sin 3 3
180 2 2 180 4 180 12 180 240 180 180
R
t t t t t t | | | | | | | | | | | |
= + + +
| | | | | |
\ . \ . \ . \ . \ . \ .

5
31 31
sin 0,5150380749
180 180
R
t t | | | |
= +
| |
\ . \ .


donde


5
11
1
31 1
1,3496 10
180 5! 180
n
R
t t

+
| | | |
s =
| |
\ . \ .


sin(31 ) 0,515038075 = , este valor es correcto al menos hasta la novena cifra decimal.

Como podemos observar
1
( )
n
R x
+
representa el error cometido cuando el polinomio ( )
n
P x se usa para
aproximar ( ) F x para cualquier valor permitido de x . En algunos casos es posible para un valor dado
1
x
de x escoger a y n de tal manera que si
1
a z x < < entonces el valor absoluto de
1
( )
n
R x
+
es menor que
un error permitido o un nmero especificado c . Supongamos que existe un nmero positivo M tal que
( 1)
1
( )
n
F x M
+
s entonces la expresin del residuo nos quedara as:

( )
1
1 1 1
( )
1!
n
n
M
R x x a
n
+
+
s
+

Si podemos escoger a n de tal manera que

( )
1
1
1!
n M
x a
n
c
+
<
+


entonces
1
( )
n
P x aproxima
1
( ) F x de tal manera que

1 1
( ) ( )
n
P x F x c <
es decir que
1
( )
n
P x difiere de
1
( ) F x por una cantidad menor quec .

Si en la frmula de Taylor con residuo
( ) ( ) ( )
2
(1) (2) (3) 3 ( )
1
1 1 1
( ) ( ) ( ) ( ) ( )( ) ( ) ( )
2! 3! !
n
n
n
F x F a F a x a F a x a F a x a F a x a R x
n
+
= + + + + + +
tomamos 0 a = , obtenemos
CLCULO NUMRICO DEPARTAMENTO DE MATEMTICA
REN ZIGA FLORES UNIVERSIDAD DE ANTOFAGASTA

( ) ( ) ( )
2
(1) (2) (3) 3 ( )
1
1 1 1
( ) (0) (0) 0 (0) 0 (0)( 0) (0) 0 ( )
2! 3! !
n
n
n
F x F F x F x F x F x R x
n
+
= + + + + + +
(1) (2) 2 (3) 3 ( )
1
1 1 1
( ) (0) (0) (0) (0) (0) ( )
2! 3! !
n n
n
F x F F x F x F x F x R x
n
+
= + + + + + + (2)
donde

( )
( 1) 1
1
1
( )( ) 0
1! ( )
0 0
n n
n
F z x para z x
n R x
para x
+ +
+

< <

+ =

(3)

La igualdad (2) se llama frmula de Maclaurin con residuo para ( ) F x , el residuo es el trmino
1
( )
n
R x
+
dado en (3). Bajo el supuesto que
( ) n
F es continua en el intervalo cerrado
| |
0; b , que
( 1)
( )
n
F x
+

existe en el intervalo abierto ( ) 0; b y que
| |
0; x b e . Decimos que ( ) F x se ha desarrollado en
potencias de x por la frmula de Maclaurin cuando se han calculado los coeficientes de los trminos de
grado menor o igual a n , en la frmula de Maclaurin y el coeficiente del residuo se ha expresado en
trminos de z .

Ejemplo 5

Desarrolle ( )
x
F x e = en potencias de x por la frmula de Maclaurin con residuo.

Solucin:
Del ejemplo 1 y del hecho que:


( 1)
( )
n x
F x e
+
= y
( 1)
( )
n z
F z e
+
=
se obtiene

2 3
1
1 ( )
2! 3! !
n
x
n
x x x
e x R x
n
+
= + + + + + +
Donde

( )
1
1
( ) , 0
1!
n
z
n
x
R x e z x
n
+
+
= < <
+

Ejemplo 6:

Use los 5 primeros cinco trminos en el desarrollo de
x
e
del ejemplo 5, es decir, use el
polinomio




2 3 4
4
( ) 1 ,
2! 3! 4!
x x x
P x x = + + + +

Para calcular
0,2
e
y de el error estimado de este clculo.






CLCULO NUMRICO DEPARTAMENTO DE MATEMTICA
REN ZIGA FLORES UNIVERSIDAD DE ANTOFAGASTA

Solucin:
Del ejemplo 5 se tiene que:

2 3 4
4 5
( ) 1 ( )
2! 3! 4!
x x x
P x x R x = + + + + +

donde

5
1
( ) , 0
5!
z
n
x
R x e z x
+
= < <

Para
| |
0;1 x e
, se tiene:


1 ; 1
z z
e e e e s s < <

y por tanto

| |
5 5
5
( ) ; 0;1
5! 5!
x x
R x e x
| |
< < e
|
\ .

Si
0,2 x =
entonces

( )
5
5
5 5
0,2 0,2 0,00032 0,00032
(0,2) (0,2)
5! 5! 120 120
R e R e
| |
| |
< < < <
| |
\ .
\ .

Pero;

( )
5
0,2 0,00032 0,000008
5! 120 3
= =
y
3 e <

luego,
5
0,000008
(0,2) 0,000008
3
R < <

Por tanto

( )
( ) ( ) ( )
2 3 4
4
4
0,2 0,2 0,2
(0,2) 1 0,2
2! 3! 4!
0,04 0,008 0,0016
(0,2) 1 0,2 1,2214( )
2 6 24
P
P exactamente
= + + + +
= + + + + =

En conclusin, se tiene

0,2
1,2214 e


Con un error menor que
0,000008
y mayor que
0,000008
3