Metodos Numericos Derivacion Numerica

NDICE
Pg.
1. INTRODUCCIN Y MOTIVACIN.
2. FRMULAS DE DERIVACIN NUMRICA. ..
1
4
3. FRMULAS DE DERIVACIN NUMRICA DE TIPO INTERPOLATORIO PARA APROXIMAR LA PRIMERA DERIVADA DE

UNA FUNCIN. ..
10
4. EXPRESIONES DEL ERROR EN LAS FRMULAS DE DERIVACIN
NUMRICA
DE
TIPO
INTERPOLATORIO
QUE
APROXIMAN LA PRIMERA DERIVADA DE UNA FUNCIN ..
19
5. ALGUNAS FRMULAS DE DERIVACIN NUMRICA DE TIPO
INTERPOLATORIO USUALES PARA APROXIMAR PRIMERAS DERIVADAS ..
29
5.1. Frmulas con dos puntos de soporte. . 29
5.1.1. Casos particulares. . 31
5.2. Frmulas con tres puntos de soporte. . 33
5.2.1. Casos particulares con soporte equidistante. .
36
6. OTROS MTODOS PARA LA OBTENCIN DE FRMULAS DE
DERIVACIN NUMRICA DE TIPO INTERPOLATORIO. . 39
6.1. Mediante la combinacin de desarrollos en serie
de Taylor. ..
39
6.2. Mtodo de coeficientes indeterminados. . 43
7. FRMULAS DE DERIVACIN NUMRICA DE TIPO INTERPOLATORIO PARA LA APROXIMACIN DE DERIVADAS DE
ORDEN SUPERIOR. . 47
7.1. Obtencin de frmulas de derivacin de tipo interpolatorio
mediante
el..
mtodo
deDE
losEXTRAPOLACIN
coeficientes
indetermiBIBLIOGRAFA
8.CIN
MEJORA
SOBRE
NUMRICA.
DE
EL
LA
TEMA.
PRECISIN
MTODODE
LAS
FRMULAS
DE DERIVADE 7467 63
RICHARDASON.
nados.
1. Introduccin y motivacin
De muchas funciones con las que se trabaja en la prctica no se conoce su
expresin analtica y tan slo se dispone de su valor en un conjunto de puntos
(llamado soporte por analoga con la terminologa utilizada en los temas de
interpolacin). No obstante, en ocasiones es necesario proceder al clculo del
valor de alguna derivada de tales funciones en un punto concreto. Es obvio que
en este tipo de situaciones no se puede utilizar el concepto riguroso de
derivada (pues se desconoce la expresin de la funcin). Surge as la
conveniencia de disear mtodos numricos que permitan aproximar el valor
de las derivadas de una funcin en algn punto a partir del conocimiento de los
valores de la funcin en un soporte dado.
Los mtodos que estn desarrollados con este fin muestran un buen
comportamiento en numerosos casos. Es por ello que algunas veces, aun
disponiendo de la expresin analtica de las funciones a derivar, se opta por
aproximar los valores de las derivadas mediante frmulas numricas
suficientemente precisas. Ejemplo
de la
ello
mtodo de
secante
o,son
msel
generalmente, los mdetallados
en el
estudio
todos de cuasi
Newtonde
mtodos de resolucin de sistemas de ecuaciones no lineales.
Es ms, muchas de las tcnicas de derivacin numrica que se abordarn en
este tema estn en la base de diferentes mtodos utilizados para la resolucin
de ecuaciones diferenciales, es decir de ecuaciones en las que intervienen
derivadas de funciones incgnita. Es el caso, por ejemplo, de los llamados
.pues
mvalores
todos
en
finitas
Lagrange,
La
funci
puede
tan
Puesto
abordado
principal
simple
aproximarse
nsoporte
que
f(x)
vinculada
en
nos
deber
entre
temas
idea
se
centraremos
las
sin
que
precedentes
aconsideraciones
la
distintas
embargo
subyace
lacorrespondientes
interpolacin
sus
funci
aqu
ser
en
las
en
tcnicas
n las
f(x)
las
analizada
tcnicas
frmulas
ydiferencias
por
un
de
se
determinado
otra
interpolacin
de
podra
conde
interpolacin
obtenidas
funci
detalle
derivacin
resumir
errores
np(x)
soporte
p(x)
aexistentes
enpartir
numrica
que
lo
su
de
siguiente:
aplicacin
lapuntos,
de
interpole
se
est
esta
han
de
dicho
valor
mayores
y conocen
sustituir
de
las
el
valor
de
puede
1entcnicas
las
derivadas
conducir
derivadas
adede
f(x)
enpolinmica
en
no
dicho
.un
admisibles.
Si
Esta
punto
de
punto
una
idea
x*muy
x*sin
porenel
Programacin y Mtodos Numricos Derivacin Numrica
forma de interpolar. No obstante conviene indicar que para otras tcnicas de

interpolacin podran disearse tcnicas de derivacin numrica de forma
anloga a como se plantearn las recogidas en este tema.
Una de las primeras frmulas que nos permiten aproximar una derivada
primera tiene sus races en los comienzos del clculo diferencial en el siglo
XVII. En ese entonces el concepto de lmite no estaba desarrollado de forma
explcita y la primera derivada de una funcin f(x) en el punto x* se consideraba
como el valor delcociente incremental:
A =
f(x*h)f(x*)
+
h
cuando h era suficientemente pequeo. Una vez que, en el siglo XIX, se

formaliz el concepto de lmite se pudo proceder a definir la primera
derivada
de una funcin f(x) en x* mediante la conocida expresin:
f(x*)f(x*)
+
f'(x*)lim
=
0
En este sentido resulta razonable esperar que el valor del cociente

incremental
A y el valor del lmite usado en la determinacin de f(x*) se parezcan
ms
cuanto menor sea el valor de h que se utilice en la determinacin de A. De
aqu
puede surgir una primera idea para aproximar el valor de f(x) como el
valor
que se obtiene para el cociente incremental cuando se toma h suficientemente
pequeo.
NOTA:
Ms adelante se detallar cmo el cociente incremental que acabamos de

considerar
interpolador
1)
por
La que
lo
funcicuanto
de
n f(x)
una
n menor
puede
= punto
x2sea
obtenerse
n.valor
tiene
los
la
elCon
expresi
como
valor
m===+
todos
ello
funci
de
recuperaremos
n:
dehvalor
derivaci
considerado
n de
primera
las
fnla
derivada
rmulas
num
midea
++
srica.
parecido
del
quef(x)
polinomio
subyace
ser=2.x
en
el toma
por lo
A2h
hh
que
f(1)
=tambi
2.
En
elfunci
Ejemplos:
x*=1
el
dea2cociente
Apartir
al
incremental
de f(1).
antes
considerado
222(1h)12.hh
Derivacin Numrica Carlos Conde, Arturo Hidalgo, Alfredo Lpez

ETSI Minas de la Universidad Politcnica de Madrid
.
2) No siempre es factible simplificar la expresin de los cocientes

incrementales como se ha hecho en el ejemplo anterior. En efecto, si por
ejemplo se considera la funcin f(x) = ex, es sabido que f(x) = ex y que f(0)
=El1.cociente incremental correspondiente a esta funcin en el punto x* = 0
resulta ser:
he1
A =
Para distintos valores de h pueden obtenerse ahora los valores de A que

aproximan la primera derivada. Pero ahora, estos valores dependern del
procedimiento que se utilice para estimar eh , del nmero de decimales que se
estn utilizando en los clculos y de la tcnica de aproximacin (truncado o
redondeo) de los valores intermedios obtenidos. Por ejemplo, si se utilizan
cuatro dgitos significativos y se redondea, los valores de eh y de A para
distintas elecciones de h resultan ser:
h
eh
10-1 1.105
1.05
10-2 1.011
1.10
10-3 1.001
1.00
10-4 1.000
0.00
El ejemplo anterior pone de manifiesto que, en la prctica, al trabajar en

aritmtica finita, reducciones excesivas del valor de h empeora la precisin
del cociente incremental.
es debidadeaerror
fuentes
sustituir
en laslatcnicas
expresin
de de
aproximacin
la derivadanumrica.
(a travsLadel
primera
clculo
dede
El
ejemplo
anterior
pone
de
manifiesto
que
cabe
distinguir,
al
menos,
dos
queerror
lmite)
numrica.
de
se designa
por
remitiendo
En
una
este
habitualmente
frmula
tema
al
lector
en
nos
laocuparemos
como
que
interesado
error
combinan
dedel
en
analizar
mtodo
el
valores
anlisis
la
odebida
error
de
primera
la
los
funcin
de
truncatura,
errores
lasenfuentes
dede
redondeo
que
se
cometen
en
las
operaciones
que
contemple
la
frmula
ellas,
un
determinados
puntos.
La
redondeo
segunda
alfuente
primero
de
error
los
es
temas
dede
esta
ade
los
asignatura.
errores
3se
2. Frmulas de derivacin numrica
Sea f(x) una funcin derivable en un cierto intervalo I de la recta real y

sea
x* de dicho intervalo. Consideremos adems un soporte de (n+1) puntos
un punto
{x0, x1, ..., xn} del intervalo I en el que se suponen conocidos los valores
de
la
funcin
f(x). Por simplicidad supondremos adems, en todo cuanto sigue, que
los puntos del soporte son todos ellos distintos y estn ordenados de menor
a
mayor es decir que: x0 < x1 < ... < xn.
Definicin 2.1.
Siendo f(x) una funcin de la que se conocen sus valores en el soporte

de (n+1) puntos {x0 , x1, ...., xn} del intervalo I, se denomina frmula de
derivacin numrica para aproximar el valor de la primera derivada
f(x) en el punto x* sobre el soporte de puntos considerado, a toda
expresin de la forma:
n
f(x*)
=
c0.f(x0) + c1.f(x1)+ .
+ cn.f(xn)
c.f(x)
ii
=
i0
=
donde c0, c1, , cn son (n+1) escalares denominados coeficientes (o
'
*f
pesos) de la frmula de derivacin
NOTA:
La frmula de derivacin que se acaba de definir puede decirse que es una

frmula lagrangiana pues en ella slo intervienen valores de la funcin f en los
puntos del soporte. Podran considerarse frmulas ms generales, hermitianas,
en las que el valor de f(x*) fuese aproximado a partir del valor de la funcin
cometindose
error en la aproximacin de f(x*). Es por ello que junto a
fdeyalgunas de un
sus
derivadas
enen
los
puntos
del
soporte.
obstante,
estas
En
definicin
general
el
de
del
valor
una
error
frmula
que
con
siguiente
numrica
ella
'*f
ydefinicin:
comete.
valor
En
exacto
este
de
f(x*)
sentido
forma
diferirn,
se
rigurosa
introduce
ltimas
flagrangiano
rmulas
fde
rmulas
tienen
ello
naproximado
num
unque
rica
uso
de
la
mucho
tan
funci
mconviene
lo
snel
aespor
en
las
los
precisar
que
dico
puntos
hacen
queNo
del
las
intervenir
deconsiderar
tipo
los
valores
la
yderivaci
es
por
este
4sse
tema
nos
limitaremos
asoporte.
comola la

.
Definicin 2.2.
'
la aproximacinSiendo
de f(x*)
que se obtiene operando sin error de
*f
redondeo segn la frmula de derivacin numrica:
f(x*)
'
*f
c.f(x)
ii
i0
=
se denomina error de truncamiento de la frmula en el punto x*y para

'
la funcin f al valor Rf(x*) = f(x*)
*f
-
Obviamente se verificar que: '*ff'(x*)fR(x*)=+ por lo que considerando la

frmula en cuestin aplicada a todos los puntos x de un dominio dado
puede definirse la funcin error de truncamiento de la frmula derivacin
numrica para la funcin f considerada como la funcin:
Rf :
I
R
x
Rf(x) = f(x) - '*f
En el anlisis del error de truncamiento de las frmulas de derivacin
numrica
se perseguir encontrar cotas del valor de esta funcin de error Rf(x) en el
intervalo I sobre el que se trabaje.
Ejemplo:
Siendo {x0 , x1 } un soporte formado por dos puntos tales que x1 = x0 + h, y

considerando que x* = x0, la sustitucin de la expresin de f(x0) por el
cociente
incremental:
f(x)f(x)
f0'10=
f(x1) = f(x0+h) = f(x0) + h.f(x0)
h
expresi
n+5coeficientes
que
puede
acotarse
por:
conduce
Una
forma
a una
demenos
acotar
frmula
enerror
laC2([x0,
que
dedonde:
sus
truncamiento
de
esta
son
si
se
supone
c10 +
= (1/h).
que
Por
tanto:
=+
R(x)f'(x)f.f"(x.h)
f'(x).f"(x.h)
==+
f(x)f(x)h
h2
2h2 el
.f"(x.h)
hy 2 (0,1)
f(x)
es al
de el
clase
serie
de
de
x1])
Taylor
consiste
siguiente:
en
considerar
desarrollo
en
00
fc0
f0000
01rmula,
'= (-1/h)
R(x)f'(x)f.Supf"(x)
= {} '
f000x(x,x)
2
h
01
Para el caso particular de la funcin f(x) = x2 el cociente incremental

considerado conduce a la expresin:
+ 22
'00 (xh)x
==+f2.xh
00
h
por lo que el error de truncatura cometido es en este caso Rf(x0) = h.
Obsrvese que la acotacin antes realizada conducira (para esta funcin x2)
a
h coincidente
error
de truncatura realmente
la acotacicon
n el
|Rf(x0)|
cometido1.
Las frmulas que conducen al valor exacto de la derivada se denominan
frmulas exactas. Ms concretamente:
Definicin 2.3.
n
'
*f
ii
c.f(x)
f(x*)
es=
Se dice que la frmula de derivacin
numrica
=
i0
exacta para la funcin f(x) en el punto x* y para el soporte {x0, ...,

xn}
cuando el error de truncatura Rf(x*) es nulo.
Ejemplo:
Dado un soporte {x0 < x1 } y denotando por h = x1 x0, la

frmula:
f(x)f(x)11
10
f(x*)f'f(x)f(x)
==+
*01
En
xxhh
es funci
Ahora
de
unabien
frmula
n esta
(porexacta
fejemplo
f*
rmula
si
la
tiene
f(x)
funci
=se
que
x3cambia
nser
con
elde
==x1
soporte
x2,
enx*
se{x0
el
cambia
punto
= se
0ejemplo
de
yx*x2
punto
= =1que
2}
y x*
para
10
y para
x1
= no
2)
=soporte
2o ,si
siendo
{x0
=f(x)
f(x)
0,exacta
x2
soporte
= si
y2}.
=(por
1efecto,
tiene
f(1)
para
f(1)
=yx0 =
2f'(1)f'022
elNo siemprex*las=acotaciones
(por
1
-1 de=truncatura
2 que
2 quey:tiene
ejemplo
se
f(1.5)
3finas
=
=f(1)
3como
f*
f*
= 4)= 1) o22
11
si secambia
6nque:
seobtendr
acaba
de
describir.
1para
del error
se
ser
n tan
la ===+=22*

.
De poco servira tener frmulas que slo fuesen exactas para funciones
concretas con soportes concretos y en puntos concretos pues la aplicabilidad
de dichas frmulas sera escasa. Por ello, las frmulas de derivacin
numrica
suelen disearse de forma que sean exactas para determinadas familias de
funciones con independencia de cules sean los (n+1) puntos del soporte que
se elijan y para cualquier punto x* en el que se apliquen. Ms concretamente
puede darse la definicin siguiente:
Definicin 2.4.
Se dice que la frmula de derivacin numrica:

n'
f'(x*)fc.f(x)
=
*ii
i0
=
es exacta de orden k para la familia de funciones de clase C1([x0 ,

xn]):
{}01k(x),
(x),...,
cuando es nulo el error de truncatura cometido al
aplicar la frmula para
(x),....
la estimacin de la primera derivada de cualquiera
de las (k+1) primeras
funciones de la familia y en cualquier punto x* perteneciente al
intervalo
[x0 , xn]:
k0nR(x)0
x[x,x]=
Propiedad 2.1.
f'(x*)fc.f(x)
es=
exacta de
Si la frmula de derivaci
n num
rica
*ii
=
n'
i0
orden k para la familia de {}01k(x),

funciones
entonces es
(x),...,
exacta para cualquier combinacin lineal de las (k+1)
primeras funciones
(x),....
de la familia
Si
Por
una
exacta
funcin
de orden
cualquiera
paraque
la familia
sea
combinacin
dedel
funciones
lineal
consideradas
de
las
porlaotra
lofrmula
queparte,
su es
primera
derivada
enkcualquier
punto
x*
intervalo
[x0,
=
primeras
podr
escribir
que:
de
[]
Demostracin:
=+++=
se
(k+1)
xn]se
puede
(x*)c.(x)
expresar
como:
(j = 0,ser
...,
f(x)(x)(x).....(x)(x)
7funciones
0011kkjj
jiji0n
k x*x,x
= lai0
n'familia
= dek)la forma:
j0
kknnkn'
f'(x*)(x*)c(x)c(x)cf(x)
jjjijiijjiii
======
j0j0i0i0j0i0
====
y puesto que la aplicacin de la frmula de derivacin numrica a la funcin

f(x)
en cualquier punto x* conduce a que:
n'
fc.f(x)
=
xii
i0
=
puede concluirse que:
Esto demuestra que la

combinacin lineal de
funciones
[]f0nR(
x*)0
frmula es exacta para cualquier funcin f(x)x*x,x=
que sea
las (k+1) primeras funciones de la familia de
considerada.
c.q.d.
Las frmulas de derivacin numrica ms utilizadas en la prctica son

exactas,
de algn orden k, para la familia de funciones formada por los monomios, es
decir: {1, x, x2, ...,xk, ....}. En este tema nos referiremos en exclusiva a
esta
familia de funciones y por ello cuando digamos que una frmula es de orden k
se sobreentender que es de orden k para la familia de los monomios, es
decir que permite estimar sin error alguno la primera derivada de cualquier
funcin polinmica de grado menor o igual que k en cualquier punto x*.
Ejemplo:
La
fpara
rmula
quefunci
se se
ha
utilizado
enenejemplos
consistente
en[]'00x
lmite
Pero
con la
el
que
n define
q(x) = la
x2,derivada
general,
por anteriores
el
ya cociente
no coincidir
incremental
el valor
en de
un la
sustituir
el
====+'0000x00
de dos ====+
puntosderivada
consecutivos
yf0f'(x)
elAsimismo
lavalor
esfunci
unaestimado
8xx,xh
fpara
nrmula
f(x)
la
=mediante
exacta
funci
1 hh
senverifica
deg(x)
laorden
f=rmula
xque:
1.seEn
de
tiene
efecto,
derivaci
que:para
n:
[]
00
soporte
primera
g1g'(x)
g(xh)g(x)xhx
++
hh
f(xh)f(x)11
xx,xh
+

.
q2xhq'(x)
===++
x000
q(xh)q(x)(xh)x
++
xx,xh
hh
'0000
22
[]
por lo que slo se puede afirmar que el error de la frmula es nulo para los
monomios {1, x}. En consecuencia, como se seal anteriormente, la frmula
es de orden 1.
NOTA:
Para facilitar el seguimiento de todo cuanto hasta aqu se ha dicho, nos

hemos
referido nicamente a frmulas que permiten estimar el valor de la primera
derivada de una funcin. Anlogo tratamiento podra realizarse para las
frmulas de derivacin numrica que permiten estimar derivadas de orden
mayor (segundas derivadas, terceras derivadas, etc...). A ellas nos
referiremos
en el apartado 7 de este tema.
3. Frmulas de derivacin numrica de tipo interpolatorio para aproximar

la primera derivada de una funcin.
Como se ha comentado en el apartado anterior, las frmulas ms utilizadas en

la prctica se buscan de forma que sean exactas para polinomios de grado
menor o igual que n (es decir frmulas de orden de exactitud n). Una manera
natural de construir frmulas exactas de orden n consiste en recordar que el
polinomio pn(x) que interpola en el sentido de Lagrange y sobre un soporte
de
(n+1) puntos a una funcin f(x) que sea polinmica de grado menor o igual
que
n coincide con dicha funcin2. Por ello es equivalente derivar la funcin
polinmica f(x) que derivar la su polinomio interpolador pn(x). A todas las
frmulas de derivacin que se obtienen derivando la expresin del polinomio
interpolador de Lagrange se las denomina frmulas de derivacin de tipo
interpolatorio.
Definicin 3.1.
Se denomina frmula de derivacin numrica de tipo interpolatorio

(de Lagrange) para aproximar derivadas de primer orden a cualquier
frmula obtenida derivando una vez la expresin del polinomio

interpolador de Lagrange construido sobre un soporte de (n+1) puntos
distintos.
NOTA:
Obsrvese que en la definicin anterior se ha escrito entre parntesis de

Lagrange. En efecto podra pensarse en derivar tambin la expresin del
polinomio interpolador de Hermite obtenindose otros tipos de frmulas de
derivaci
las
frmulas
n deomitiremos
que
tiposeinterpolatorio.
obtienen
al derivar
Puesto
que
expresi
nosotros
de
n delsLagrange
polinomio
lo nos vamos
de Lagrange
en lo sucesivo
lalacoletilla
y a
Una
expresin
frmula
puede
del
deelpolinomio
diremos
derivacin
deducirse
interpolador
rmula
la
frmula.
numrica
expresin
derivaci
En
deConde
en
efecto:
tipo
defuncin
los
npor
interpolatorio
num
pesos
de
rica
que
losde
intervienen
polinomios
tipo
puede
obtenrse
de
enla
base
dicha
dede
referir
interpolador
simplemente
cualquiera
de
las
expresiones
del
polinomio
interpolador.
Recordando
10interpolatorio.
Hidalgo
y Lagrange
C.
en
estos
mismos
apuntes.
2Lagrange
Consltese,
poraejemplo,
tema dedicado
afla
Interpolaci
de
n de
elaborado
A.

.
Propiedad 3.1.
La condicin necesaria y suficiente para que la frmula de derivacin

n'
que
de tipo
fc.f(x)
interpolatorio es que sus
numsea
rica
x*ii=
i0
=
coeficientes satisfagan las igualdades:

'
iicL(x*)
(i
= = 0, 1, ..., n)
donde se ha denotado por Li(x) a los (n+1) polinomios de base de

Lagrange3 sobre el soporte {x0, x1, ...,
xn}.
Demostracin:
a) Demostremos en primer lugar que si la frmula es de tipo interpolatorio

entonces sus pesos satisfacen la relacin ci = Li(x*). En efecto, la
expresin
detallada del polinomio interpolador de Lagrange pn(x) de una funcin f(x)
sobre
el soporte de (n+1) puntos {x0, x1, ..., xn} en funcin de los (n+1)
polinomios de
base de Lagrange {}nii0L(x)= es:
n
f(x)p(x)f(x)L(x)
=
nii
= i0
de donde, en cualquier punto x* se puede considerar la aproximacin:

n''
f'(x*)p(x*)L(x*)f(x)
=
nii
=
i0
Esta frmula es una frmula de derivacin numrica en la que sus

coeficientes
estn dados por la expresin:
b)
Demostremos
que
si
ladefrmula
de
derivacin
satisface
(i = 0, ...,
polinomio
interpolador
n) entonces
dees
Lagrange
tipodeinterpolatorio.
f(x)
sobre el numrica
En
soporte
efecto,
{x0,
considerando
..., xn} se
(i
1, 11
...,
n)
que el
puede
'iicL(x*)=
f(x)L(x)
expresar
se nnijij
como:
tiene
para
pn(x)
que
los
si=j0j0jiji
coeficientes:
las igualdades
L(x)(xx)(xx)
3consideradas
Recurdese que:
iicL(x*)=
'
i0
=n se
(i ==verifican
0,
ii0,
..., n)
==
====
cf(x)L'(x*)f(x)L(x*)f(x)'L(x*)f(x)p'(x*)
f(x*)
()()
iiiiiiiin
i0i0i0i0
====
'nnnn
lo que demuestra que el valor de la primera derivada en x* se aproxima con

el
valor de la primera derivada del polinomio interpolador en x*.
c.q.d.
La propiedad anterior caracteriza a las frmulas de derivacin numrica de
tipo
interpolatorio que permiten aproximar primeras derivadas. Adems nos permite
obtener otras propiedades que deben satisfacer los coeficientes de las
frmulas
de tipo interpolatorio. Por ejemplo:
Propiedad 3.2.
En toda frmula de derivacin numrica de tipo interpolatorio

n'
se verifica que:
fc.f(x)
=
x*ii
i0
=
c0i =
i1
=
Demostracin:
Puesto que segn las propiedades de los polinomios de base de Lagrange se

n
verifica que: L(x)1

=
i
x,
es obvio que:
i0
=
'nn
==
L(x)L(x)0
x
ii
==
i0i0
'
de
tipo interpolatorio.
(x)
a la
funcin
error
deverifica
f(x)
= pn(x)
+ se
(x)
Lagrange
pn(x) sobre el Denotando
soporte depor
(n+1)
puntos
considerado,
particular
para
punto i0i0
x*
se tendr
que:
0nx(x,x)
Ocupmonos
cometido
interpolacin
alahora
aproximar
de analizar
una En
funcin
el
f(x)enpor
lassuel
frmulas
polinomio
de
interpolador
numrica
de
que:
por
lo error
que:
L(x*)c0
==
c.q.d.
12
'
==
nn'
iiderivacin
nf'(x*)p(x*)'(x*)=+

.
lo cual nos conduce a poder expresar el error en el punto x* de la frmula

de
derivacin numrica mediante:
fR(x*)'(x*)=
En el caso particular en que f(x) sea un polinomio de grado menor o igual

que
n
se verificar
que f(x) pn(x) y por tanto (x) = 0
x, de donde resulta
que la
frmula de derivacin numrica de tipo interpolatorio construida sobre un
soporte de (n+1) puntos es exacta para cualquier polinomio de grado menor o
igual que n. En resumen es exacta de orden n.
Este hecho nos permite incluir a las frmulas de derivacin numricas de
tipo
interpolatorio en el conjunto de frmulas de derivacin exactas de orden n.
Pero an puede precisarse ms, puesto que adems toda frmula exacta de
orden n construida sobre un soporte de (n+1) puntos debe ser necesariamente
de tipo interpolatorio. Este hecho se demuestra en el siguiente
teorema.
Teorema 3.1.
La condicin necesaria y suficiente para que una frmula de derivacin

n'
=
,
numrica construida sobre un soporte fc.f(x)
de (n+1) puntos,
x*ii
=
i0
sea exacta de orden n es que sea de tipo interpolatorio.

Demostracin:
a) Demostremos en primer lugar que la condicin recogida en el enunciado

por
lo n.
quePara
f(x)
= basta
pn(x)
particular
para cualquier
punto
x*
del
realizados.
teorema
es
Enello
suficiente,
efecto,
sicon
f(x)
es x.
decir
es En
una
que
funcin
silos
la razonamientos
frmula
polinmica
construida
de grado
sobre
menor
orden
recapitular
= 13
pn(x)
x tanto:
(n+1)
tendr
puntos
coincide
con laf(x)
funcin
por
el
se
soporte
anteriormente
oigual
que
de n(n+1)
su polinomio
puntos
esinterpolador
de
tipoque:
interpolatorio
de Lagrange
entonces
sobre
el yes
soporte
exacta
dede
nx*f'(x*)p(x*)f=
''
Ello demuestra que la frmula es exacta sea cual sea el polinomio f(x)
de grado menor o igual que n al que se aplique y el punto x* en el que
se
aproxime la primera derivada.. En particular lo ser cuando se aplique
a (n+1) primeros monomios {1, x, ..., xn} y por ello es exacta de
los
grado
n.
b) Demostremos ahora que la condicin anterior tambin es necesaria, es
decir que si la frmula construida sobre el soporte de (n+1) puntos es
exacta de orden n entonces tiene que ser de tipo interpolatorio. Para
ello
partimos
del hecho de que, al ser la frmula exacta de orden n, para
cualquier funcin polinmica de grado menor o igual que n, p(x), se
debe
verificar que:
n
p'(x*)c.p(x)
= ii
=i0
Por otra parte, puesto que hemos considerado que p(x) es un polinomio
de grado menor o igual que n, se verificar que el polinomio
interpolador
de p(x) en el soporte de (n+1) puntos coincidir con p(x) y por tanto
p(x)
se puede expresar como:
n
p(x)p(x).L(x)
=
ii
=i0
de donde su primera derivada en el punto x* estar dada por:

n'
p'(x*)L(x*).p(x)
= ii
Identificando las dos expresiones de la primera derivada= de
p(x) en x*
i0
de
menor
adems
o igual
que
que
los
n.
polinomios
Por
tanto
de
deber
base de
verificarse
Lagrange
verifican:
tambin
el
de
se grado
Esta
caso
base
igualdad
de de
que
Lagrange
consideremos
debe
ser
construidos
satisfecha
como
tiene
p(x)
sobre
que:
para
cualquiera
el
cualquier
soporte
c.p(x)L(x*).p(x)
{}nii0x=.
polinomio
los
(n+1)
Recordemos
p(x)
polinomios
queensea
14 =
i0i0
==
nn'
iiii

.
0si ij
L(x)
=
ij
1si
i=j
Por tanto, particularizando la igualdad antes obtenida para L0(x) se
tiene
que:
nn''
c.L(x)L(x*).L(x)cL(x*)
==
i0ii0i00
i0i0
==
Al hacerlo para el polinomio L1(x) resultar que:

nn''
==
i1ii1i11
i0i0
==
Y en general al particularizar para cualquier polinomio de base Lj(x)

obtendremos que:
nn''
==
ijiijijj
i0i0
==
c.q.d.
Ejemplos:
1) Si se considera un nico punto de soporte {x0} el polinomio interpolador

de
una funcin f(x) en dicho soporte ser el polinomio: p0(x) = f(x0). La
figura
recoge,1junto al grafo de la funcin f(x) el grafo de p0(x) y la tangente
geomtrica a la curva en (x0, f(x0)). La pendiente de esta tangente
geomtrica
ser la derivada f(x0).
Figura
de una1:funci
Interpretaci
n mediante
n gr
lafica
frmula
del de
proceso
tipo interpolatorio
de aproximacincon
de 15
soporte
la derivada
de unprimera
punto.
Ello nos conducira a que, para cualquier punto x*, la frmula de derivacin
de
tipo interpolatorio de una funcin con un soporte de un nico punto
es:
''
x*00f'(x*)fp(x*)00.f(x)===
Obviamente esta frmula slo sera exacta en el caso de derivar constantes

(es
decir, polinomios de grado 0).
2) Si se considera un soporte de 2 puntos {x0, x1} el polinomio

interpolador de
la funcin f(x) en el sentido de Lagrange est dado por:
p(x)f(x).f(x).
101=+
(xx)(xx)
0110
(xx)(xx)
01
La derivada de este polinomio es:

'10
f(x)f(x)11
=+= p(x)f(x).f(x).
101
(xx)(xx)(xx)
011010
Al no depender del punto en el que se evale la derivada podemos concluir

que
para cualquier abscisa x* el valor de la primera derivada de la funcin en
ella,
f(x*), se aproximar mediante:
dermula
fEsta
gr
fica
la
expresi
funci
son:la
de
nnc0
figura
f(x)
se=corresponde
-1/(x1
la2tangente
representa
x0)
con
geomyel
junto
trica
c1cociente
=a1/(x1
al
losgrafo
incremental
grafos
x0)
de del
f(x)
porpolinomio
lo
que
en que
un
se punto
su
utiliz
(x*,
se
en
suma
f(x)f(x)
'10
ejemplosLade los
los
anula.
interpolador
f(x*)).
y apartados anteriores. Puede observarse
f'(x*)f
que
=x* los
de la
16 pesos
xx10

.
Figura 2: Interpretacin grfica del proceso de aproximacin de la derivada primera

de una funcin mediante la frmula de tipo interpolatorio con soporte de dos puntos.
Obviamente esta frmula de derivacin numrica ser exacta sobre cualquier

polinomio de grado menor o igual que 1 (es decir sobre lneas rectas).
Otras relaciones entre los pesos y los puntos del soporte de las frmulas de
derivacin numrica de tipo interpolatorio se recogen en la propiedad
siguiente:
Propiedad 3.3

n'
, construida
fc.f(x)
sobre
= un
dela(n+1)
puntos,
se= verifica
menor
Por
sero igual
ladel
frmula
que
n.
de
Entipo
particular
interpolatorio
lo soporte
ser
es
para
exacta
funcin
para
todo
f(x)
polinomio
xk sea
el valor
entero
positivo
kx*iisiempre
que
k
<
n.
Puesto
que
f(x*)
= de
i0
=
exactitud
Demostracin:
()
gradosea
cual
k(x*)(k-1),
la
que: de la frmula
cxkx*
cxkx*
( 0=
=
< ()
kque:
<(k
1, ...n)
17n)
i1
=nk1k
= implica
ii
= c.q.d.
EJERCICIO PROPUESTO:
Demustrese que para cualquier funcin f(x) que sea derivable en todo punto
del intervalo [x0, x1] siempre existe algn punto x* de dicho intervalo para
el
la que
frmula de derivacin numrica de tipo interpolatorio construida sobre el
soporte {x0 ,x1} proporciona el valor exacto f(x*). Ntese que, si esto es
as
, en
particular
se puede afirmar que siempre existir algn punto x* en el
intervalo
[x0, x1] para el que la frmula construida con dos puntos de soporte
proporciona
el valor exacto de la derivada de xk sea cual sea el valor que le demos al
entero
no negativo k. Contradice esto la afirmacin de que la frmula es de orden
1?.
A la luz de este comentario no sera ms preciso decir que la frmula es de
orden infinito?.
18

.
4. Expresiones del error de las frmulas de derivacin numrica de tipo

interpolatorio que aproximan la primera derivada de una funcin.
El proceso seguido para obtener las frmulas de derivacin numrica de tipo

interpolatorio nos conduce de forma natural a que el error de cada frmula
Rf(x*) de derivacin as determinada es igual a la primera derivada de la
funcin de error interpolacin (x) particularizada en el punto x* en que
se
deriva: Rf(x*)= '(x*). No obstante trabajar con la expresin del error de
interpolacin que se dedujo en los temas dedicados al estudio de las
tcnicas
de interpolacin4 no es cmodo en muchas ocasiones. Es por ello interesante
obtener otras expresiones ms cmodas para el anlisis del error de las
frmulas de derivacin numrica.
Una primera forma de obtener otra expresin del error de derivacin numrica
se basa en utilizar diferencias divididas. Para ello, como es habitual,
denotaremos por f[x0, x1, ..., xn, x] a la diferencia dividida de orden
(n+1)
def(x)
la en los puntos {x0, x1, ..., xn, x] y consideraremos una
funcin
funcin
queg(x)
a todo punto x le haga corresponder el valor: g(x) = f[x0, x1, ...,
xn, x]
La primera derivada de esta funcin estar dada por:
f[x,x,....,x,xh]f[x,x,....,x,x]
+
limlimf[x,x,....,x,x,xh]
g(x)= 01n01n01nh0h0
=+
(xh)x
+
que representaremos por:
01ng'(x)f[x,x,....,x,
x,x]=
soporte
{x0,
x1, estimar
..., xn,
x, x}de interpolacin.
punto dependiente de la abscisa x en
la que se
deseaba
el error
Se tambi
define
la pod
diferencia
Ms
dividida
concretamente:
de
orden
unadf[x,x,....,x,x]
funci
en
10.4.1.
error
n se
a nexpresar4Definicin
usando
las
divididas
f[x,x,...,x,x,x]
19
= n era
dx
Este
. como
f()(x).(xx)
=+
donde
(=n1)!
un
Recumediante:
rdese
que
la diferencias
expresi
n obtenida (n+2
era:
01n
01nii0(x)f[x,x,...,x,x](xx)==
01n )de
ii0
(n1nx
+el
x
Con ayuda de las diferencias divididas con puntos repetidos que se acaban de
definir y partiendo de la expresin del error de interpolacin que se obtuvo
al
trabajar con diferencias divididas, es sencillo demostrar la siguiente
propiedad:
Propiedad 4.1.
La frmula de derivacin numrica de tipo interpolatorio

n'
fc.f(x)
=
tiene asociado
x*ii un error de truncatura dado por la expresin
i0
=
=+
R(x*)fx,x,...,x,x*,x*.(x*x)fx,x,...,x,x*,x*.(x*x)
[][]f01ni01nj
nnn
i0i0j0ji
===
Demostracin:
Basta con particularizar en x* la expresin obtenida al derivar una vez la

funcin de error de interpolacin:
n
(x)f[x,x,...,x,x].(xx)
= 01ni
=
i0
c.q.d.
La expresin anterior, teniendo un inters terico, tambin es de difcil
aplicacin prctica. Es por eso que lo que resta de este apartado lo
dedicaremos a determinar una expresin de fcil aplicacin advirtiendo de
antemano al lector que ms que la frmula que finalmente determinemos, en la
prctica es el mtodo que vamos a seguir el que tiene inters
prctico.
Consideremos que f(x) es una funcin de clase Cn+1((x0, xn)) y que para
interpolatorio,
al menos,
sertruncatura
dex2,
orden
Ello,
en aparticular
implica
aproximar
la primera
derivada
{1,
x,
de
la
funcin
...,n.
xn}.
f(x)
Ello
unsupunto
vez se
x*
traduce
en
para determinar
sin
error
de
ninguno
las
derivadas
de
las que
intervalo
distintos
servir
{x0
[x0 =
<, x1
xn]
<se
....<
==
considera
xn}.
(k
Advirtase
la=nnkk'k*(k1)
frmula
0,...,
que,
derivacin
por
serpuntos
la numrica
frmula
de tipo
perteneciente
funciones
al
construida
interpolatorio
que:
sobre
uni0i0
soporte
fc.f(x)
(n+1)
cx(x)cxk.(x)=
20
==
iixx*ii
x*ii n)
i0
=n'dede

.
Denotemos adems por h al valor:
()0nhMaxx*x,
x*x=
y sean {}nii0= (n+1) escalares de valor absoluto no superior a 1 y tales
que:
iixx*h=+
Para cada uno de estos puntos, al haber supuesto la funcin f(x)

suficientemente regular, se puede considerar el desarrollo en serie de
Taylor
siguiente:
22nn
.h.h
(nii
f(x)f(x*.h)f(x*).h.f'(x*).f"(x*).....f(x*)
=+=+++++
iii
2n!
n1n1
++
.h
+++
(n1i
.f(x*.h)
i
(n1)!
+
Por tanto la frmula de derivacin numrica de tipo interpolatorio

considerada
podr rescribirse en la forma:
==++++ '2
fc.f(x)c.f(x*)h.c..f'(x*)c..f"(x*).....
x*iiiiiii
2!====
i0i0i0i0
2nnnn
+
hhnn1nn n(n(n1)(n1
+++
.c..f(x*).c..f(x*.h)
n!(n1)!
+ iiiii
i0i0
==
h.
++
Simplifiquemos
laPara
expresin
que es
seotros
acaba
dedeobtener.
coeficiente
multiplica3.2.).
propiedad
a f(x*)
es simplificar
nulo pues
la
suma
sumandos
losdepesos
laElexpresin
de
la frmulaque(vase
n num
Con
la
lanotaci
rica
notacin
de
4.2.
n introducida
tipo
que estamos
interpolatorio
anteriormente
utilizando
y=>tiene
siendo
0, seque:
Demostracin:
la frmula de derivaciCon
utilizaremos
las
verifica
dos propiedades
que:
siguientes:
una
Propiedad
c.
21
=
1n =
h=
n fc.f(x)
i0con
iise
x*ii
i0n'
xx*
i
h
=
i
de donde:
nnnn
111
c..c.(xx*).c.x.x*.c
iiiiiii
hhh====
i0i0i1i0
==
c0i
En esta ltima
= igualdad
(vase lasepropiedad
sabe que 3.2.).
Por
i0
=
n
otra parte
se corresponde
conc.xla expresin de la
derivada del
monomio
x en el punto x*. Por ello su valor ser 1. En
ii
i1
=
i0
resumen:
1
c.x
ii =
h=
c.q.d.
Propiedad 4.3.
una
Con la notacin introducida anteriormente
y x*ii
siendo
fc.f(x) =
=
n'
i0
frmula de derivacin numrica de tipo interpolatorio, con n>1, se

verifica que:
nk
(k=2,....,n)
c.0
ii=
i0
=
Demostracin:
Con la notacin que se est utilizando y empleando la frmula de Newton para

desarrollar potencias de binomios5, se tiene que:
Al
servalores
la frmula
tipoque
interpolatorio
exacta
para cualquier
toman
de kdetales
2 k n ser
se debe
verificar
para todo valor
nnnkkkj(kj)j
k11
=
===
0la
coincide
el
kc.x
polinomio
grado
del
menordeo igual c..c.(xx*).c.(1)..x.(x*)
queentero
n.====
Enesjparticular,
comprendido
al
entre
.(1)..(x*).c.x
yconsiderado
(k-1)
k1
jh
que
el
ncon
1
si
jhh
22representar
para
(kj)!.j!
jk!
5 Como
habitual,
en
dicha f
rmula
se
utiliza
notaci
n
i0i0i0j0
iiiiiikk
knjj(kj)
j0i0
n(kj)
=>sumatorio
iik
ii
i0a se
==haber

.
valor de la derivada del monomio x(k-j) particularizado en el punto x*. Es

decir
que:
n'(kj)(kj)(kj1)
c.xx(kj).(x*)==
iixx*
i0
()
==
c
Para el caso en que j coincida con el valor de k el sumatorio quedar
i
= i0
cuyo valor es nulo(vase la propiedad 3.2.).

(k1)jj(kj1)
nk
Por tanto:
k1
jh
.(1)..(x*).(kj).(x*)
c.ii=
=
kj0
i0
=
(k1)(k1)j
= .(x*).(1).(kj).
kj0
k1
jh
Puesto que6 se verifica que:

k
(1).(kj).0k2
=
j0
=
j
(k1)j
nk
=c.0
ii (k = 2, ..., n)
i0
=
c.q.d.
Estas dos propiedades junto a la expresin que obtuvimos antes de
denotando
funcin dehiclase
= xi C(n+1)((x0
x* , por
, xn)),
h al valor
siendoh x*
= mun
x(|x*-x0|
punto del, intervalo
|x* - xn|)
enunciarlas
nos
permiten
demostrar
fcilmente
el
siguiente
teorema:
{}
derivaci
x0
n num
rica
,[-1
de ,<para
tipo
interpolatorio:
i0=n'rmula
de=
y[x0
Dado
por
, el
xn],
soporte
(n+1)
a (n+1)
los
<al(n+1)
x1
valores
< ...
escalares
xntales
,toda
tales
siendo
f(x)
hiuna
Teorema
f'(x*)fc.f(x)
=
23 fque
6 El lector
interesado
puede
encontrar la de
demostraci
n enexisten
el
anexo
a este
apartado
(Lema
4.2.)
ipuntos
pertenecientes
intervalo
1]
que:
ii0=
n 4.1.
x*ii
i.h
hnn
(n1)!
+
=
'n(n1
R(x*)f(x*)f.c..h.f(x*.h)
==+
fx*iiii
()+
i0
Demostracin:
Introduciendo el resultado de las propiedades

antes
obtenida resulta:
==++++ '2
fc.f(x)c.f(x*)h.c..f'(x*)c..f"(x*).....
x*iiiiiii
2!====
i0i0i0i0
4.2. y
4.3. en la expresin
2nnnn
h.
hhnn1nn n(n(n1)(n1
+++
.c..f(x*).c..f(x*.h)
n!(n1)!
+ iiiii
i0i0
==
h nn
=++ f'(x*).c..h.f(x*.h)
(n1)!
+
+
++
()+
n(n1
iiii
i0
=
c.q.d.
NOTAS:
1) Obsrvese que en el trmino del error se ha descompuesto hn+1 en la

forma
hnh, dejando slo como factor comn del sumatorio hn y expresando en cada
uno de los sumandos

trmino
dequeerror
ih como hi. del
El motivo
de ello es
los coeficientes ci de la frmula de derivacin dependen en general de los
valores hi por lo que procediendo de esta manera el trmino de error podr
expresarse en funcin de los valores de las derivadas
i) (siendo
i
los f(n+1(
puntos
x*+
ih),
trunc
ndolo en el
de de
losorden
trminos
que
no
anule
que multiplica
a laprimero
derivada
(n+1)
elsedesarrollo
enser
serie
de hn
yen
de
inhi/(n+1)!.
(n+1)
constantes
En los (que
ejemplos
i
=
ci de
2) que
3)
del
La expresi
Para
sealgunas
funciones
anterior
tambin puede
del
aquel
se
sey orden
anula.
en
resume
siguiente
en
algunos
el
En
frecuentemente
que
dichos
apartado
puntos
interviene
casos,
seseverificar
indicando
ilustrar
la
si en
derivada
f(x)
24
es
que
este
lo
nelhecho.
sima).
error
trminoes
Taylor
suficientemente
posterior
apartnaregular,
de
ampliarse
O(hn).
el
desarrollo
serie
considerado

.
4) Con todo, como ya seal anteriormente, lo ms interesante de esta forma

de proceder no es tanto el resultado obtenido como el procedimiento seguido
para determinar el error de la frmula (combinando desarrollos en serie de
Taylor).
5) Cuando el soporte es equidistante los clculos anteriores suelen
rehacerse
designando como h a la distancia entre los puntos del soporte.
Habitualmente el error se acota en valor absoluto, |Rf(x*)|. A partir del

teorema
anterior es fcil obtener una cota de este error utilizando el lema
siguiente:
Lema 4.1.
Si g(x) es una funcin continua en [a, b] y se consideran (n+1)

n
coeficientes positivos,
pertenecientes
, y (n+1) puntos
al
{}ii0=
{}
ii0=
intervalo [a, b], entonces existe un

tal
punto
que:
[]a,b
n
=
.g().g()
ii
=
i0
donde = i .
i0=
Demostracin:
Denotemos por gm y por gM a los valores mnimo y mximo que toma la funcin
g(x) en [a, b]. Por ser todos los coeficientes positivos se verifica
que:
imiiiM.g.g().g
n)
(i = 0, 1, ...,
Las desigualdades
continuidad
aplicacin
del
de la
teorema
funcin
anteriores,
del
g(x)
valor
junto
enlas
medio,
el
aexpresiones
intervalo
lase
existir
hiptesis
[a,
en
realizada
b],
[a,
nos
b]
muestran
menos
un
que,
punto
por
Sumando
.g.g().g.g.g().g
para
el
que
verifique
anteriores
g..g()g
que:
1 al
se
tienela
que:
imiiiMmiiM
i0i0i0i0
====
nnnn
n
miiM
i0
=25sobre
1 nn
..g()g().g().g()
==
== i0i0 iiii
c.q.d.
El lema precedente y el teorema 4.1. nos permiten demostrar fcilmente el
siguiente teorema:
Teorema 4.2.
Dado el soporte de (n+1) puntos x0 < x1 < .... < xn, siendo f(x) una
funci
n C(n+1)((x0 , xn)), x* un punto del intervalo [x0 , xn] y
de
clase
denotando
h al valorpor
h = mx( |x* x0 |, |xn x|), para toda frmula de
derivacin
numrica de tipo interpolatorio:
n'
f'(x*)fc.f(x)
=
x*ii
i0
=
alguna[]0nx,x
constante real
parapositiva
los
existe algn ypunto

que se verifica:
|Rf(x*)|
n(n1.h.f()+
Demostracin:
Segn el teorema 4.1., y utilizando la misma notacin que en l, se tiene

que:
'n(n1
==+
fx*iiii
h nn
()
(n1)!
= +
i0
de donde:
h nn
==+
()
fx*iiii
(n1)!
+
=
i0
Aplicando
de
donde
se
el
tiene
lema
4.1.
el
existir
resultado
(para
un
la
valor
de
funcin
este
x
teorema
g(x)
[x0
,
=
xn]
sin
|f(n+1(x)|,
para
ms
que
el
que
llamar
evaluada
se
verificar
puede
al
en los
nn
i = x* + i.h,
y con los coeficientes i = h|ci.in.hi|
) se
+ n(n1
.c..h.f(x*.h)
escalar que
puntos
concluir
que: +
(n1)!
+
=
(n1)!=
+
126i . i0c.q.d.
n
fR(x*).h.f()(n1)!
n+i0
=
=++
i0(n1)(n1
iiii
i
'n(n1

.
En el apartado siguiente se deducirn algunas frmulas de derivacin

numrica
y se detallar cmo obtener la expresin del error que con ellas se
comete.
ANEXO AL APARTADO 4
Lema 4.2.
Para todo valor entero k superior o igua a 2 se verifica

que:
k
(1).(kj).0k2
=
j
j0
=
(k1)j
Demostracin:
Se tiene que:
(k1)kkkjjjj
kkkk
(1)(kj)(1)(kj)k(1)(1)j
==
====
j0j0j0j0 jjjj
Analicemos, utilizando la frmula del binomio de Newton7, el primero de los

sumandos del lado derecho de esta igualdad:
k
k(1)k(11)k00
j===
= j0
kjk
Analicemos ahora el sumando que queda en el

lado derecho:
(1)j.
j =
kj
j0
Para ello Admitamos

procederemos
porsumando
induccin.
Para
el
valor
k()
= >2=
tiene
que el
=++=
entonces
para
(1)j101(1)121210
algn
valor
(k-1)
2se
se
verifica
que:
+=
anterior
tiene
el
2valor:
k1
27
kabab
jj
7 Recurdese
que que
la frmula
del binomio
de j
Newton
establece
que:
j0
=2j
(k1)j
j0
= (1)j0
j0
=kk(kj)j
y demostremos que en ese caso tambin se anula el sumatorio para el entero

k. En efecto, con esta suposicin:
kkkkjjjj
kk!k!k!
(1)j(1)j(1)j(1)
====
jj!(kj)!j!(kj)!(j1)!(kj)!
====j0j0j1j1
k1(k1)!(k1)!
====k(1)k(1)k(1)0
(j1)!(kj)!j!(kj1)!j
===
j1j0j0
kkkjjj
Por tanto:
(k1)kkjjj
kkk
===
(1)(kj)k(1)(1)j000
jjj
===
j0j0j0
c.q.d.
28

.
5. Algunas frmulas de derivacin numrica de tipo interpolatorio usuales

para aproximar primeras derivadas.
5.1. Frmula con dos puntos de soporte
Si se considera el soporte {x0 , x1} y una funcin f(x) de la que se conoce

su
valor en los puntos del soporte, el polinomio interpolador de Lagrange de
tal
funcin sobre el soporte escogido est dado por:
(xx)(xx)
p(x)f(x).f(x).
=+
01
(xx)(xx)
0110
01
Por tanto la expresin de la frmula que permite aproximar f(x*) se

obtendr
derivando la expresin de este polinomio de manera que:
1111'
f'(x*)fp'(x*).f(x).f(x).f(x).f(x)
==+=+
x*0101
(xx)(xx)(xx)(xx)
01101010
Es habitual en este caso denotar por H a la distancia entre puntos: H = (x1

x0)
con lo que la frmula anterior puede expresarse como:
=+
11
'
f(x*)f.f(x).f(x)
x*01
HH
siendo los coeficientes de la frmula c0 = -(1 / H)

/ H).
c1 = (1
nos sirvi
para
ilustrar
las
rmulas
de
de
nelnum
enincremental
ejemplo
1)
2)
Obsla
En
rvese
siobtenci
se
que
hubiera
la
n de
fpartido
rmula
esta
fobtenida
fde
rmula
la fsecoincide
rmula
haderivaci
partido
de con
Newton
la
cociente
enrica
expresi
diferencias
la
n del
NOTAS:
introducci
expresi
es
n pues
del
nseque
apolinomio
utilice
elinterpolador
mtodo
que(apartado
se
nosutilice
para
determinarlo.
id
ntico
As por
queel mismo
interpolador
polinomio
resultado
divididas:
elutiliza
polinomio
los
este
interpolador
polinomios
tema
dehubiese
debase
Lagrange,
p(x)
1).
deconducido
=Lagrange.
f(x0)
sobre+a29
un
f[x0,
Cualquier
soporte
x1].(x-x0)
otra
dado,
que al derivarlo, teniendo en cuenta la expresin de la diferencia dividida

nos
proporciona:
f(x)f(x)
10
p(x) = f[x0, x1].(x-x0)

.(xx)
0
xx10
=
por lo que particularizando esta expresin en el punto x = x* y denotando
por H
a la distancia entre puntos se tiene finalmente que:
'
==+
x*01
11f(x*)fp'(x*).f(x).
f(x) HH
En este caso, al haber slo dos puntos de soporte, se puede considerar el

soporte equidistante y podran haberse utilizado las expresiones del
polinomio
interpolador en diferencias finitas (centradas, regresivas o progresivas)
obtenindose la misma frmula. Se deja el desarrollo detallado de estos
casos
como ejercicio propuesto al lector.
3) La figura 2 representada anteriormente (ver apartado 3) recoge la
interpretacin grfica de este proceso de aproximacin.
La expresin del error de esta frmula, admitiendo la hiptesis de que f(x)

sea
de clase C2 ((x0 , x1)) y que x* pertenezca a [x0, x*], puede obtenerse sin
ms
que denotar por h al valor h = mx(|x0 x*|, |x1 x*|) y
considerando
entonces que:
x0 - x* = 0.h x1 - x* = 1.h
= f(x*) + () por lo
='+ 10
Hh
que:
2222110011.h.f"(x*.h).h.f"(x*.h)
..h.f'(x*)
10.h.f'(x*)
xx1
..f"(x*.h).f"(x*.h)
220001f(x*).h.f'(x*)..h.f"(x*.h)
h++
2.H
++=
11.f(x*).h.f'(x*)..h.f"(x*.h)
H =+++
=()10
H()10
1.f(x*.h)f(x*.h)
2.H2.H
H1.f(x)f(x)
++=
2 22 +=
30
x*f
==
c0.f(x0)
+ c1.f(x1)
2 H2
=
111
1100
22

.
Puesto que H se podr expresar como .h con ( > 1) resultar finalmente,

aplicando el lema 4.1., que:
h
Rf(x*) =
.
()221100.f"(x*.h).f"(x*.h)
2.
++ = .h.f"()
En el caso de ser x* un punto cualquiera el orden del error de la frmula de
derivacin numrica es 0(h) donde h representa la mayor de las distancias
del
punto x* a los extremos del intervalo. Ms frecuente an que la expresin
del
error anterior es la que se obtiene al expresar dicha frmula en funcin de
la
distancia entre los puntos del soporte (H). Fcilmente se obtiene esta nueva
expresin sin ms que considerar que h = .H (con < < 1) por lo que
la
expresin del error queda en el caso ms general en la forma:
Rf(x*) = .H.f()
La frmula de derivacin con dos puntos de soporte suele utilizarse cuando
x*
es uno de los puntos extremos del intervalo o el punto medio del mismo
(caso,
este ltimo, en el que el orden del error de la frmula se incrementa en una
unidad). A continuacin se desarrollan estos casos particulares de la
frmula
de derivacin con un soporte de dos puntos.
5.1.1. Casos particulares
A) Caso en el que x* = x0
En este caso h = H, 00= y 11= y la frmula se puede escribir en la
primer
denominndose
orden aproximacin
(o
Porentanto
adelanto).
enforma:
expresin
este
mediante
Elcaso
error
antes
la
lafx*
de
diferencia
frmula
obtenida
esta f' frmula,
esx*resultando:
finita
exacta
de
f(x)
orden
es 1.de
suficientemente
regular
puede
obtenerse
==+
R(x*)f(x*)f.f"(x*.h)
particularizando
[]0,1
2=h 31 en
hsiprogresiva
+
la
'f(x*h)f(x*)
NOTA:
Al mismo resultado sobre el error se llegara sin ms que considerar

que:
f(x*+h) = f(x*) + h.f(x*) + (h2/ 2).f(x*) + .....
de donde:
f(x*h)f(x*)11
+
'
.h.f"(x*)....f.h.f"(x*)....
=
f(x*)
=
h22
x*
B) Caso en el que x* = x1
En este caso h = H, 01= y 11= y la frmula se puede escribir en la
forma:
f(x*)f(x*h)
f'
=
x*
h
denominndose aproximacin mediante la diferencia finita regresiva de
primer orden (o en retroceso o upwind). El error de esta frmula, si
f(x)
es suficientemente regular puede obtenerse particularizando en la
expresin antes obtenida resultando:
h
'
==
R(x*)f(x*)f.f"(x*.h)
[]0,1
fx*
2
Por tanto, en este caso la frmula es exacta de orden 1.
NOTA:
Al mismo resultado sobre el error se llegara sin ms que considerar

x* es el
= f(x*)
punto -medio
h.f(x*)
del intervalo:
+ (h2/ 2).f(x*)
x* = (x0 +
que: C) Caso en quef(x*-h)
En este
01=
deyderivacin
11=
pudindose
en
la 32
forma:
la2.h
frmula
x1)caso
/ 2 h = H/2,
- .....
donde:
.h.f"(x*)....f.h.f"(x*)....
f(x*)f(x*h)11
+=+
f(x*h)f(x*h)
f(x*)
=numrica
h22rescribir
'
'f
x* =+
x*

.
denominndose aproximacin mediante la diferencia finita centrada de

primer orden. El error de esta frmula, si f(x) es suficientemente
regular
puede obtenerse, en un primer intento, particularizando en la expresin
antes obtenida resultando:
h
==+ R(x*)f(x*)f.f"(x*.h)f"(x*.h)
[]01,0,1
()'fx*10
4
No obstante la expresin anterior nos deja con la duda de si no podrn
anularse ms trminos del desarrollo en serie de Taylor a partir del
cual
se obtuvo la expresin del error. En efecto, en este caso si se admite
que f(x) es suficientemente regular se podran considerar los
desarrollos
en serie de Taylor de f(x) con ms trminos que los antes planteados, es
decir:
34
(ivhh.f'''(x*).f(x*)....
f(x0) = f(x*-h) = f(x*) h.f(x*)

+
+
624
().h2f(x*) -
34
(ivhh.f'''(x*).f(x*)....
f(x1) = f(x*+h) = f(x*) + h.f(x*)

++
+
624
().h2f(x*) +
por lo que:
35
(vhh.f'''(x*).f(x*)...
f(x+h) f(x-h) = 2.h.f(x*)

++
360
+
de donde:
24
f(x*h)f(x*h)hh
+
'(v
ff'(x*).f'''(x*).f(x*)....
==+++
x*
2.h6120
y por tanto:
hh24
'(v
Rf(x*)
f.f'''(x*).f(x*)....
=
= f(x*)
x*
6120
perteneciente
Lagrange
de f(x)
al si
intervalo
sobre
soporte
x2].puede
Sea adems
expresarse,
una
utilizando
funcin de
la
frmula
que
En resumen,
f(x)este
es [x0,
de
clase
C3((x0,
x1))f(x)
puede
afirmarse
en la
este
por
quepuntos
en
este
caso
la< R(x*).f'''(x*h)
frmula
exacta
de
5.2.
Fque:
rmula
tres
puntos
dees
soporte
Sea ahora
conocen
se
de
casosuselvalores
soporte
endelo
los
tres
Newton
puntos
en
del
diferencias
x0con
<soporte.
x1
x2
El
y=+
polinomio
h6[]0,1
mediante:
un orden
punto 2.
x*
de
33interpolador
fdivididas,
2consideremos
p2(x) = f(x0) + f[x0, x1].(x - x0) + f[x0 , x1, x2].(x

x0).(x x1)
por lo que:
p2(x) = f[x0, x1]+ f[x0 , x1, x2].((x x0) +
(x x1))
lo que nos conduce a que la frmula de derivacin numrica de tipo
interpolatorio con este soporte est dada por:
f(x*) ''x*2fp(x*)= = f[x0, x1]+ f[x0 , x1, x2].((x*
x0) + (x* x1))
NOTAS:
1) En este caso se ha utilizado la frmula de Newton del polinomio

interpolador para inferir a partir de ella la frmula de derivacin de tipo
interpolatorio. Puesto que, sobre un soporte dado, el polinomio interpolador
de
Lagrange es nico podran haberse utilizado otras expresiones de este
polinomio para obtener el mismo resultado. No obstante es cmodo utilizar la
frmula de Newton en el caso general para no obtener expresiones que,
desarrolladas, quedan muy aparatosas sin aportar nada para nuestros
propsitos.
2) En la expresin anterior pueden sustituirse las diferencias divididas
que
intervienen por sus expresiones respectivas8. Ello hace que la frmula tome
un
aspecto ms engorroso para su manipulacin.
3) En el sentido de lo expresado en la primera de estas notas el
p2(x) = f(x0).L0(x) + f(x1).L1(x)
+
f[x,x]f[x,x]fx,
polinomio
interpolador
podr
a
haberse
expresado
en
la
forma:
[] ,[]
[]
f(x2).L2(x)
,21 y
L(x)
(xx).(xx)
(xx).(xx)
L(x)
=10=
(xx).(xx)
(xx).(xx)
(xx).(xx)
34
L=
0 rdese=que:
=
x,x
,xx
f(x)f(x)fx,x
xx=
12
8con:
Recu
(xx).(xx)
2021
0102
1 f(x)f(x)fx,x
2 xx
1012
02
01(x)
1001
120101220
2112

.
para as obtener la misma frmula de derivacin numrica pero ahora con la

expresin
'''''
x*2001122f(x*)fp(x*)L(x*).f(x)L(x*).f(x)L(x*).f(x)==++
En esta ltima expresin los coeficientes de la frmula aparecen de forma

ms
explcita y toman la expresin:
'12
c0 ==L(x*)
0
(x*x)(x*x)
+
1
(xx).(xx)
0102
(x*x)(x*x)
+
, c1 02L(x*)
==
1012
(xx).(xx)
(x*x)(x*x)
+
01
c2 ==
2 L(x*)
2021
(xx).(xx)
4) La interpretacin grfica del proceso de derivacin numrica seguido con

esta frmula consiste en sustituir la tangente trigonomtrica del ngulo
formado
entre el eje de abscisas y la tangente geomtrica al grafo de f(x) en el
punto
(x*, f(x*)) por la tangente trigonomtrica del ngulo formado entre el eje
de
abscisas y la tangente geomtrica en el punto (x*, p2(x*)) al grafo de la
parbola p2(x) que pasa por los puntos (x0 , f(x0)), (x1 , f(x1)) y (x2 ,
f(x2)). La
figura 3 ilustra este proceso.
Figura 3: Interpretacin fgr

rmula
fica de
deltipo
proceso
interpolatorio
de derivacicon
n num
tres
rica
seguido
de soporte.
con una
35puntos
En lo que se refiere al error de truncatura de esta frmula, su expresin

puede
acotarse, si fC3((x0 , x1)), utilizando el teorema 4.2.
mediante:
2'''
fR(x*).h.f()
Los casos de aplicacin ms tpicos para esta frmula de derivacin numrica

son aquellos en los que el punto x* coincide con uno de los puntos del
soporte
siendo, adems, el soporte equidistante. A continuacin se analizan con
detalle
estas situaciones.
5.2.1. Casos particulares con soporte equidistante
En este caso, denotando por H a la distancia entre puntos consecutivos del

soporte las diferencias divididas que intervienen en la frmula pueden ser
expresadas mediante:
f(x)f(x)
10
f[x,x]
=
2100122
01
H
f(x)2.f(x)f(x) +
f[x,x,x] =
2.H
por lo que la frmula de derivacin numrica de tipo interpolatorio se

convierte
en:
f'(x*)f.((xx)(x*x))
=++
x*012
+
f(x)f(x)f(x)2.f(x)f(x)
'*10210
H2.H
x0 = x*, x1 = x* + H y x2A)= Caso

x* + de
2.H.
soporte
Con ello
equidistante
(x* - x0)en= el
0 que
y x*
(x*= Six1)se= -H
toma como punto x* x0
el
porextremo
lo que:izquierdo
x0 x1
Hdel
Hx2soporte36se tiene que:

.
+
f'(x*)f x*
H2.H
'10210
==
++++
210f(x)4.f(x)3.f(x)f(x*2.H)4.f(x*H)3.f(x*)
==
2.H2.H
La frmula anterior se conoce con el nombre de frmula de derivacin

numrica en diferencias progresivas de segundo orden.
Si se admite que f(x) es una funcin suficientemente mente regular, el
error
de derivacin puede obtenerse fcilmente combinando los desarrollos en
serie de Taylor:
f(x* + 2.H) = f(x*) + 2.H.f(x*) +2.H2.f(x*) +
(8/6).H3.f(x*)
+
f(x*
+ H) = f(x*) + H.f(x*)
+ ( ) H2.f(x*) +
(1/6).H3.f(x*) +...
por lo que:
-f(x*+2.H) + 4.f(x*+H) 3.f(x*) = 2.H.f(x*)
(2/3).H3.f(x*) + .
de donde:
=++
f(x*2.H)4.f(x*H)3.f(x*)1
+++
f(x*) 2
.H.f'''(x*)....
2.H3
pudindose concluir que si f(x) es al menos de clase C3((x0 , x1))

entonces:
Rf(x*)
Si
x0 =sex* toma
- H, x1
como
= x*punto
y x2x*= x*
el + punto
H. Con
medio
ello= f(x*)
(x*
del -
soporte
x0)fx*
= H =sey tiene
(x* (1/3).H2.f()
que:
x1) = 0 por
B) Caso
lo
que:
def'(x*)f
soportex* equidistante
=f(x*H)f(x*H)
+
en 37
el2.H
que x* = x1
=+==H2.H2.H
f(x)f(x)f(x)2.f(x)f(x)f(x)f(x)
+
'1021020
frmula que coincide con la que se obtuvo al utilizar un soporte de 2

puntos
y aproximar la derivada en el punto medio de ellos.
C) Caso de soporte equidistante en el que x* = x2

Si se toma como punto x* el punto derecho del soporte
que:
x0 = x* - 2.H, x1 = x*- H y x2 = x*. Con ello (x*-x0) = 2.H
= H por
lo que:
f'(x*)f.(3.H)
=+=
se tiene
y (x*-x1)
+
'10210
x*2
H2.H
++
2103.f(x)4.f(x)f(x)3.f(x*)4.f(x*H)f(x*2.H)
==
2.H2.H
expresin que se conoce como frmula de derivacin numrica en

derivadas regresivas de segundo orden.
Si f(x) es suficientemente regular pueden combinarse los desarrollos en
serie de Taylor:
f(x* - 2.H) = f(x*) - 2.H.f(x*) +2.H2.f(x*) (8/6).H3.f(x*)
+
f(x*
- H) = f(x*) - H.f(x*)
+ ( ) H2.f(x*) (1/6).H3.f(x*) +...
de donde,
3.f(x*)sif(x)
4.f(x*-H)
es al menos
+ f(x*-2.H)
Rf(x*)
de clase
= =f(x*)
2.H.f(x*)
C3((x0,
fx*
x2)
se= obtiene
obteniendo:
que:(2/3).H3.f(x*) - ....
(1/3).H2.f() 38

.
6. Otros mtodos para la obtencin de frmulas de derivacin numrica

de tipo interpolatorio.
6.1. Mediante la combinacin de desarrollos en serie de Taylor.
El proceso seguido en el apartado 4 para determinar el error de derivacin

numrica muestra otra manera de calcular las frmulas de derivacin. En
efecto, una alternativa al proceso de obtencin de frmulas de derivacin
numrica mediante el clculo de la primera derivada del polinomio
interpolador
de Lagrange de la funcin f(x) en los (n+1) puntos del soporte, consiste en
combinar los desarrollos de Taylor en torno al punto x* de f(x0),
f(x1),
...,
buscando
quef(xn)
en dicha combinacin se anulen el mayor nmero posible de los
primeros trminos salvo, obviamente, el que multiplica a f(x*). Despejando
despus f(x*) de esta combinacin se obtendr la frmula de derivacin y
el
trmino de error. De forma ms detallada, si se denota por hi = xi x* (i
=n)0,y ..,
se admite que f(x) posee la regularidad necesaria, se puede escribir
que:
23k
f(xi) = f(x*+hi) = f(x*) + hif(x*) + ++++

2!3!k!
Por lo que:
nnnn2
=+++
f(x)f(x*)hf'(x*)hf"(x*)
iiiiiii
====
i0i0i0i0
(kiiihhhf"(x*)f'''(x*)...
.f(x*)....
1
2!
11
+++
hf'''(x*)....hf(x*)...
(1)
iiii
3!k!
==
i0i0
ecuaciones
quedando
concon(n+1)
incgnitas
(0,
n)
y tande
ecuaciones.
Ello
es un
debido
a que
coeficiente
de
f(x*)
se
debe
buscarse que,
salvo
el sistema
coeficiente
deel
f(x*),
se anulen
el...,
mayor
nmero
Si general
En
slo
aadir
sendesea
la el
que
nmero
la primeros
frmula
de ecuaciones
inecuacin
de
derivacin
que
sea
se del
pueden
mayor
formar
orden
es
de=h0
nes,debe
los
sumandos
0as
h0.
desarrollo
h0
=
.........
=
Esto
que:
39posible
i0
=n =
i0
i=ndel
ii
i0
=n2anterior.
ii
ii
i0
nk
nn3k(k
Por ello los coeficientes (0, ..., n) que se determinen mediante la

resolucin
del sistema:
n
=
0
i
i0
=
n2
=
h0
ii
i0
=
........
nn
=
h0
ii
i0
=
quedarn en funcin del valor que libremente se le asigne a uno de

ellos.
n
En todo caso, una vez calculados estos coeficientes,

=
denotando
hii por
=
i0
se tendr que los coeficientes de la frmula de derivacin se obtienen

mediante: ci = i / (i = 0, ..., n) y que del primer trmino que no se
haya
podido anular en la expresin (1) se podr inferir fcilmente la expresin
del
error de derivacin.
Ilustremos estos extremos con un ejemplo.
Ejemplo:
Determinemos la frmula de derivacin numrica del mayor orden de exactitud

posible que permite calcular el valor aproximado de f(x*) usando un
soporte
la forma:de{x0 = x* - 2h, x1 = x* - ()h, x2 = x* + ()h, x3 = x* +
(3/2)h}
h
Para ello,donde
si suponemos
que
es suficientemente
2hf(x*)
regular
en (x0, x3)
es f(x)
un f(x*-2h)
valor
real=f(x*)
estrictamente
positivo.
podemos
considerar
+
f(x*-()h)
los desarrollos
=f(x*)
+3840
120
25 hf(x*)
en
848
f"(x*)f'''(x*)
f"(x*)f'''(x*)
serie
26
+40de4 4 Taylor:
+
+384
24
234h8h
51
(v32hf(x*)...
(vhf(x*)...
23hh
(iv16hf(x*)
(ivhf(x*)

.
23hh 4
1
(ivhf(x*)
f(x*+()h) =f(x*) +hf(x*)
f"(x*)f'''(x*)
+ +
++
2
848
384
5
(vhf(x*)...
++
3840
239h27h 4
3
3
(iv91hf(x*)
f(x*+ h) =f(x*) +hf(x*)
f"(x*)f'''(x*)
++
++
2
2 848
384
5
++
(v273hf(x*)...
3840
de donde:
113
f(x*2h)f(x*h)f(x*h)f(x*h)
+++++=0123
222
()=++++0123
f(x*)
113
++++
2hf'(x*)
0123
222
119
+++++
2hf"(x*)
0123
888
81127
++++
.hf'''(x*)
0123
6484848
161191
+++++
4(iv
.hf(x*)
0123
Si se desea que la
frmula tenga el mayor
orden
posible
se
obligar
a
24384384384
++++
.hf(x*)....
20
.0
que:
+++=01230
++=
+++=
81127
6484848
120384038403840
3211273
119
888
41
0123
0123
0123
5(v
tiene:
de donde9, dejando como incgnita libre
1, se
8663
===
,,
012131
4556591
Si se asigna a1 el
8663
====
0123
4556591
valor
1 =
1 se tiene que:
,1,,
Para estosi, valores

de los
se tiene entonces
que lacoeficientes
combinacin
de desarrollo en serie de Taylor antes obtenida se convierte
en:
8166133
++++=
f(x*2h)f(x*h)f(x*h)f(x*h)
4552652912
121
hf'(x*)hf(x*)....
=+4(iv
13208
por lo que:
+++ 1213111
fx*2hfx*fx*fx*
f(x*) =
()()()()3hhh222
h105121028
1
+3(iv
hf(x*).....
192
De esta igualdad se infiere que la frmula buscada es:

se anulase el coeficiente de f(x*) se tendra un sistema que slo admite la solucin
alf'(x*)f'fx*2hfx*fx*fx*
=+++
alg
n1213111
valor
()()()()3hhh222*
yh105121028
(x*-2h,
que
ella,
si afque Es
se decir
comete
R(x*)hf()
un
=3(ivf
unerror
142
192
errordedado
orden
3.
=para
9 Obstrivial
rvese que si
sistema anterior se le aC4((x*-2h,
adiese
la
n= procedente
1 ecuaci
=
2con
3x*+3h/2)),
=x*+3h/2).
0. de obligar
0 = por:

.
6.2. Mtodo de coeficientes indeterminados.
Este mtodo de determinacin de frmulas de derivacin de tipo

interpolatorio
soportadas en (n+1) puntos se basa en que, segn el teorema 3.1. toda
frmula de tal tipo debe ser exacta para los monomios {1, x, ..., xn}. Por
n
tanto, si
=
se busca una
f'(x*)f'cf(x),
frmula con su
expresin:
aplicacin
a
*ii
=
cada uno de los (n+1) monomios xk
i0
(0 < k < n) nos conduce a que:

n
c0i =
i0
=
cxkx*
n(k1)k
(k ii= =
1, ()
..., n)
i0
=
es decir al sistema:
012n1
2222
012n2
0111...1c
1xxx...xc
2x*xxx...xc
(n1)nnnn
xxx...xcnx*
012nn
.....................
()
Si los (n+1) puntos del soporte son diferentes puede asegurarse que el
sistema
anterior es compatible determinado. Su resolucin proporciona los pesos de
la
frmula de derivacin buscada.
Siendo h un valor estrictamente positivo en funcin del cual se puedan
escribir, para valores convenientes de i (i = 0, ...,n), los puntos del
Six*frmula
nefecto,
0, su
aplicacin
a {1,
f(x)
(x (x-x*),
xn}
x*)
proporciona
la
aplicar
a la
los
aplicacin
monomios
de
la
x,{=frmula
...,
1,
a se
f(x)
(x-x*)2,
aplica
= 1 conduce
asi
....,
los
(xa
la
forma
+> ih,
el
sistema
anterior
puede
simplificarse
en lugar
soporte
enxi =laEn
ecuacin:
de polinomios:
que:
x*)n}
c0iiii
43 1h
i0
i0i0
===
==
n ch1c
nn
i =
Y si n > 1 , para valores del exponente menores o iguales que n se tiene

que:
kx*x*chc0
==
()
nn(k1)kkk
==
iiii
i0i0
En resumen, los coeficientes de la frmula de tipo interpolatorio se

obtienen
resolviendo el sistema:
111...1c0
1h012n1
...c
2222
=
...c0
012n2
.....................
nnnn
...c0
012nn
Una vez determinada la frmula, su error puede tambin ser calculado si se

busca en la forma Rf(x*) = Kh(m-1)f(m() aplicndolo al primer binomio
(x-x*)m
(cuya derivada m-sima es una constante no nula) para el que la frmula deja
de ser exacta (hecho que tendr lugar para m > n).
Ilustremos esta forma de proceder obteniendo nuevamente la frmula de
derivacin numrica hallada en el subapartado anterior mediante
combinaciones de desarrollos en serie de Taylor.
Ejemplo:
{permite
x0 = x* calcular
- 2h, x1el= valor
x* - ()h,
x2 =dex*f(x*)
+ ()h,
x3 = un
x* soporte
+ (3/2)h}
aproximado
usando
de ladonde
Determinemos
la frmula
derivaci
denominadores,
nestrictamente
num
ricaeldesistema:
tipo
interpolatorio
que
Segn
anteriormente,
los
coeficientes
de
la
frmula
se
hforma:
es unse ha visto
o, de
eliminando
valor
obtener
real
resolviendo
el
positivo.
sistema
equivalente:
c40
c80
44
c11110
c20 pueden
3111222h1
9114442
11278883

.
c11110
0
2h1
c4113 =
c161190
2
c6411270
3
La solucin del sistema anterior nos proporciona los

valores:
213111
c,c,c,c
====0124
105h12h10h28h
Para determinar el error de la frmula consideraremos la funcin f(x) = (xx*)4.
La primera derivada de dicha funcin en x* es:
f(x*) = 4.(x*-x*)3 = 0
siendo el valor aproximado dado por la frmula:
12131111
=+=
f(2h)(h)hhh
h1051210288
44'443311
222*
()()
h1
'3
por lo que ===4
R(x*)f'(x*)f0h
. Si se busca*(xx*)
el error en la
88
forma:
=3(ivfR(x*)Khf(x*)
para la funcin considerada (cuya cuarta derivada es: f(iv(x*) = 24) se
que:=+++
yEnel
resumen
error
de
la derivacin
frmula
buscada
numrica
es:
dado por:
()()
tiene
ff(x*2h)f(x*h)fx*hfx*h
h105121028
R(x*)hf()
K =3(ivf
= est
192
1-1/192
45
1213111
'311
222*
Ejercicio propuesto:
a) Siendo h un parmetro estrictamente positivo, determinar la frmula de

derivacin numrica que permite aproximar el valor de f(x*) sobre el
soporte: x0 = x* +h, x1 = x* + 2h y x2 = x* + ()52h. Suponiendo que
f(x)
es suficientemente regular en el intervalo [x*, x2], determnese tambin
la
expresin
de su error e indquese la regularidad que se le debe exigir a
f(x) para que dicha expresin sea vlida. Obtngase la frmula pedida y
su error:
i) Derivando el correspondiente polinomio interpolador de
Lagrange,
ii) Combinando desarrollos en serie de Taylor, y
iii) Mediante el mtodo de coeficientes indeterminados.
b) Aplquese la frmula obtenida en el apartado anterior a la obtencin de
un valor aproximado de la primera derivada de la funcin f(x) = ecos(x)
consiguientes valores de h: h0 = 0.1, h1 = 0.01, h2 = 0.001, h3 =
los
0.0001
y h4 = 0.00001. Realcense los clculos en coma flotante usando
mantisas con 5 decimales significativos.
c) Obtngase una cota del error de derivacin numrica vlida en el
intervalo [x*, x2] para la funcin considerada en el apartado anterior.
El
error realmente cometido es en todos los casos inferior a la cota
hallada? Si no lo fuese justifquese el motivo.
46

.
7. Frmulas de derivacin numrica de tipo interpolatorio para la

aproximacin de derivadas de orden superior.
Los mtodos de obtencin de frmulas numricas para aproximar primeras

derivadas pueden extenderse fcilmente para deducir frmulas de derivacin
numrica que permitan aproximar derivadas de orden superior al primero.
Destinaremos este apartado a describir este proceso con detalle.
Sea f(x) una funcin k veces derivable en un cierto intervalo I de la recta
real
y un punto de dicho intervalo. Consideremos adems un soporte de (n+1)
sea x*
puntos {x0, x1, ..., xn} del intervalo I en el que se suponen conocidos los
valores
de la funcin f(x). Por simplicidad supondremos que los puntos del soporte
son
todos ellos distintos y estn ordenados de menor a mayor es decir que: x0 <
x1
< ... < xn.
Definicin 7.1.
Siendo f(x) una funcin de la que se conocen sus valores en el soporte

de (n+1) puntos {x0 , x1, ...., xn} del intervalo I, se denomina
fderivaci
rmula de
n numrica para aproximar el valor de la k-sima derivada
f(k(x) en el punto x* sobre el soporte de puntos considerado, a toda
expresin de la forma:
n
f(k(x*)
=
c0.f(x0) + c1.f(x1)+
.
c.f(x)
+ ii
=
i0
cn.f(xn) =
donde c0, c1, , cn son (n+1) escalares denominados coeficientes (o
(k
*f
pesos) de la frmula de derivacin.
en
las del
que
el valor pues
de f(k(x*)
del
dela
frmula
puntos
lagrangiana
soporte.
Podr
an
en considerarse
ellafuese
sloaproximado
intervienen
frmulasa mpartir
valores
s generales,
de valor
la funci
n f en
Laltimas
funci
de
lagrangiano
derivaci
frmula
n fnrmulas
yde
num
y es
derivaci
rica
por
tienen
tan
ello
nsun
que
funci
lo
que
uso
asenos
las
mucho
nacaba
en
limitaremos
que
los
mde
hacen
s puntos
espor
definir
asoporte.
dico
del
considerar
puede
soporte.
queNo
decirse
los
lasobstante,
como
valores
de que
tipo
frmulas
es
de
una
la de
los
hermitianas,
algunas
sus
derivadas
en
los
puntos
delintervenir
estas
NOTA:
47
En general el valor aproximado (k*f y el valor exacto f(k(x*) diferirn,

cometindose un error en la aproximacin de f(k (x*). Es por ello que junto
adefinicin
la
anterior conviene precisar la definicin del error que con la
frmula
se comete. En este sentido se introduce la siguiente
definicin:
Definicin 7.2.
(k
la aproximaciSiendo
n de f(k(x*)
que se obtiene operando sin error
*f
de redondeo segn la frmula de derivacin numrica:

f(k(x*)
(k
*f
=c.f(x)
ii
i0
=
se denomina error de truncamiento de la frmula en el punto x* al

(k
valor Rf(x*) = f (k(x*)
*f
Obviamente se verificar que: (k(k*ff(x*)fR(x*)=+ por lo que considerando

la frmula en cuestin aplicada a todos los puntos x de un dominio dado
puede definirse la funcin error de truncamiento de la frmula derivacin
numrica para la funcin f considerada como la funcin:
Rf :
I
R
x
Rf(x)
En el anlisis del error de truncamiento de las frmulas de derivacin
numrica
se perseguir encontrar cotas del valor de esta funcin de error Rf(x) en el
intervalo I sobre el que se trabaje.
c2
x2
conduce
= x1
(1/h2).
+a h,
una
considerando
Una
f,rmula
forma
delaque
acotar
quex*sus
=elformado
x1,
error
coeficientes
la sustituci
de truncamiento
nc0de=la
de
(1/h2)
expresi
estaque
,fx0
c1
n de= x1
rmula,
(Siendo
{x0
, x1
x2 }enun
soporte
por
tressonpuntos
tales
[]
se
f(x1)
2/h2)
si
supone
h yque f(x) es al menos
por:
desarrollos
de clase C3([x0,
en serie
f"(x)f2fx,x,x
x1])
=="210110122
de Taylor
consiste
f(x)2f(x)f(x)
hsiguientes:
en
+
los
Ejemplo:
48 considerar

.
f(x0) = f(x*-h) = f(x*) 234

h.f(x*) +
hhh
.f"(x*).f"'(x*).f(x*.h)
++
+
23!4!
(iv
0(1,0)
0
f(x2) = f(x*+h) = f(x*) + h.f

234
x*) +
hhh
.f"(x*).f'''(x*).f(x*.h)
++++
23!4!
(iv
11(0,1)
de donde:
h
f(x)f(x)2f(x*)hf"(x*)(f(x*h)f(x*h))
+=+++++
2001
4
2(iv(iv
f"f"(x*)f(x*h)f(x*h)
==++++
*012
f(x*h)2f(x*)f(x*h)h
++ 2
()
24
(iv(iv
h24
Por tanto:
h2
R(x)f"(x)f"f(x*h)f(x*h)
() f00001
(iv(iv
==+++
24
expresin que puede acotarse por:

R(x)f"(x)f".Supf(x)
f000x(x,x)=
{}
2
(iv
12
01
Para el caso particular de la funcin f(x) = x4 en que f(x*) = 12(x*)2 se

tiene
Obsrvese que la acotacinque:
antes realizada conducira (para esta funcin x4)
la que
acotaci
nrealmente
apor
lo que
el error
2h2
truncatura
coincidente
truncatura
==se se
cometido
con
f"
el
esvalor
(x*h)2(x*)(x*h)
en
cometido10.
este
absoluto
h
Rf(x0)
del
12(x*)2+
= -2h2.
de
2h2
49 error
la
acaba
describir.
10 No siempre
las acotaciones
del errorde
de truncatura
que
obtendr
nser
de
n|Rf(x0)|
tan
finas
como+++
*2
444 caso
Definicin 7.3.
Se dice que la frmula de derivacin numrica:

n(k(k
f(x*)fc.f(x)
=
*ii
i0
=
es exacta de orden m para la familia de funciones de clase Ck([x0 ,

xn]):
{}01m(x),(x),...,
(x),....
cuando es nulo el error de truncatura cometido al aplicar la frmula para
la estimacin de la k-sima derivada de cualquiera de las (m+1) primeras
funciones de la familia en cualquier punto x* perteneciente al
intervalo
[x0 , xn]:
j0nR(x)0
x[x,x],(j0,...,m)
==
Propiedad 7.1.
n(k(k
f(x*)fc.f(x)
es
=
exacta de
Si la frmula de derivaci
n num
rica
*ii
=
i0
orden m para la familia

de funciones
entonces
{}01m(x),(x),...,
es exacta para cualquier combinacin lineal de(x),....
las (m+1) primeras
funciones de la familia
Demostracin:
Si la frmula es exacta de orden m para la familia de funciones consideradas

se podr escribir que:
n(k
(x*)c.(x)
x*x,x
= 0,
..., m)de
=
[]
por lo
Por
otraqueparte,
su k-sima
una funcin
derivada
cualquiera
en cualquier
que
sea
punto
combinacin
x*(jdel
intervalo
lineal
[x0,
las
jiji0n
primeras
====
funciones
de= lai0familia
ser
=+++=
(m+1)
xn]se
puede expresar
como:
f(x*)(x*)c(x)c(x)cf(x)
f(x)(x)(x).....(x)(x)
50 de la forma:
======
jjjijiijjiii
j0j0i0i0j0i0
0011mmjj
mmnnmn(k(k
=
mj0

.
y puesto que la aplicacin de la frmula de derivacin numrica a la funcin

f(x)
en cualquier punto x* conduce a que:
n(k
fc.f(x)
=
xii
i0
=
Esto demuestra que la

combinacin lineal de
funciones
[]f0nR(
x)0
frmula es exacta para cualquier funcin f(x)xx,x=
que sea
las (m+1) primeras funciones de la familia de
considerada.
c.q.d.
Las frmulas de derivacin numrica ms utilizadas en la prctica son

exactas,
de algn orden m, para la familia de funciones formada por los monomios, es
decir: {1, x, x2, ...,xm, ....}. En este tema nos referiremos en exclusiva a
esta
familia de funciones y por ello cuando digamos que una frmula es de orden
de
exactitud m se sobreentender que es de orden de exactitud m para la
familia
de los monomios, es decir que permite estimar sin error alguno la k-sima
derivada de cualquier funcin polinmica de grado menor o igual que m.
Ejemplo:
La frmula que se ha utilizado en el ejemplo anterior

f(x*h)2f(x*)f(x*h)
"++
f"(x*)f
=*2
h
es una frmula exacta de orden 3. En efecto, para la funcin p(x) = 1 se
===
===
===
Tambi
Asimismo
para
lala
la
funci
funci
n1211
np(x)
=x x2
se
tiene
tiene
que:
que:
verifica
p"2p"(x*)
p"0p"(x*)
que: n para
h h*2p"0p"(x*)
x*
(x*h)2(x*)(x*h)
(x*h)2(x*)(x*h)
x*
h++
++
+p(x)= x*
51 se
*2
*2
222
Y para la funcin p(x) = x3 se verifica que:

p"6x*p"(x)
===
x2
(x*h)2(x*)(x*h)
++333
x*
h
Pero para la funcin q(x) = x4 se tiene que:
q"12(x*)2hq"(x*)2h
==+=+
h
x2
(x*h)2(x*)(x*h)
++444
x*
222
por lo que slo se puede afirmar que el error de la frmula es nulo para los
monomios {1, x, x2, x3}. En consecuencia, como se seal anteriormente, la
frmula es de orden de exactitud 3.
Entre las frmulas de derivacin numrica para aproximar las derivadas de

orden k de una funcin f(x), las ms frecuentemente utilizadas son aquellas
que
se pueden obtener derivando k veces el polinomio interpolador de la funcin
f(x). A tales frmulas se las denomina frmulas de tipo
interpolatorio.
Definicin 7.4.
Se denomina frmula de derivacin numrica de tipo interpolatorio

(de Lagrange) para aproximar derivadas de orden k a cualquier
frmula obtenida derivando una vez la expresin del polinomio

interpolador de Lagrange construido sobre un soporte de (n+1) puntos
distintos.
es
k,
es
nula.
Por
motivo,
en
todo
1)
derivaci
2)
las
Obs
fSi
larmulas
el
rvese
derivada
norden
deaomitiremos
que
de
que
tipo
de
tipo
se
enderivaci
interpolatorio.
obtienen
la
interpolatorio
definici
de
nsucesivo
aldicho
kun
fuese
derivar
n polinomio
anterior
Puesto
correspondientes
superior
lacoletilla
que
expresi
se
ha
o igual
escrito
de
ncuanto
se
delsalreducir
polinomio
lo
entre
nsigue,
nos
an
par
vamos
dese
aque
puntos
f(k(x*)
an, si
de inferior
pues
Lagrange
de
orden
en
klo
la
denosotros
grado
menor
Lagrange
omero
igual
yntesis
NOTAS:
Lagrange.
polinomio
supondr
En diremos
efecto podr
fde
rmula
Hermite
a pensarse
de derivaci
obteni
en derivar
ndose
n numotros
rica
tambitipos
de
n tipo
la de
expresi
frmulas
n del
de
de
referir
interpolador
simplemente
n=(n+1)
0,n > k.
a interpolador
que
52interpolatorio.

.
Una frmula de derivacin numrica de tipo interpolatorio puede obtenerse a

partir de cualquiera de las expresiones del polinomio interpolador.
Recordando
la expresin del polinomio interpolador en funcin de los polinomios de base
de
Lagrange puede deducirse la expresin de los pesos que intervienen en dicha
frmula. En efecto:
Teorema 7.1.
Una condicin necesaria y suficiente para que la frmula de derivacin

n(k
seanum
derica
tipo fc.f(x)
interpolatorio
=
es que sus coeficientes
x*ii
i0
=
satisfagan las igualdades:

(k
iicL(x*)
=(i = 0, 1, ..., n)
donde se ha denotado por Li(x) a los (n+1) polinomios de base de

Lagrange11 sobre el soporte {x0, x1, ...,
xn}.
Demostracin:
a) Demostremos que en toda frmula de tipo interpolatorio sus coeficientes

satisfacen las igualdades recogiodas en el enunciado. En efecto, la
expresin
detallada del polinomio interpolador de Lagrange pn(x) de una funcin f(x)
sobre
el soporte de (n+1) puntos {x0, x1, ..., xn} en funcin de los (n+1)
polinomios de
base de Lagrange {}nii0L(x)= es:
n
f(x)p(x)f(x)L(x)
=
Esta frmula es una frmula de derivacin numrica
ennii
la que sus
= (i
i0
de donde, en cualquier
estn
punto
dados
x*por
seL(x)(xx)(xx)
la
puede
expresin:
la
aproximacin:
coeficientes
f(x*)p(x*)L(x*)f(x)
=
=(kiicL(x*)
53
= 0, 1, ..., n)
11
Recurdese
que:
=
nii
i0
n(k(k(k
ijijj0j0
jiji
==
nnconsiderar
b) Demostremos que si la frmula de derivacin numrica satisface

=(kiicL(x*)
(i = 0, ..., n) entonces es de tipo interpolatorio. En efecto, considerando
que
el
polinomio
interpolador de Lagrange de f(x) sobre el soporte {x0, ..., xn} se
n
puede
f(x)L(x)
expresar
se como:
tiene pn(x)
que si=
se verifican
las igualdades
ii
i0
=
consideradas para los coeficientes:

cf(x)L(x*)f(x)L(x*)f(x)L(x*)f(x)p(x*)
f(x*)
()()
iiiiiiiin
i0i0i0i0
====
(knnnn
====
(k(k(k
lo que demuestra que el valor de la k-sima derivada en x* se aproxima con

el
valor de la k-sima derivada del polinomio interpolador en x*.
c.q.d.
De la propiedad anterior se deduce fcilmente la siguiente:

Propiedad 7.2.

n(k
fc.f(x)
=
x*ii
=
se verifica que:
i0
n
c0i =
i1
=
Demostracin:
Denotando por (x) a la funcin error de interpolacin cometido al

Puesto
que segn
deinterpolador
lospuntos
polinomios
de x
base
de
Lagrange
se
=
==
x,
esse
obvio
que: que:
una funcin
f(x) las
por propiedades
su
polinomio
En
particular
para
el
punto
x*
pn(x)
tendr
sobre
el
aproximar
soporte
verifica
de (n+1)
que:
==
considerado,
L(x*)c0
verifica
c.q.d.
54
i0
=n L(x)1
i L(x)L(x)0
i0i0
==de
iiLagrange
i0i0
==
(knn
nn(k
iise
(k

.
por lo que:
f(x) = pn(x) + (x)

0nx(x,x)
=+(k(k(knf(x*)p(x*)
(x*)
lo que nos conduce a poder expresar el error en el punto x* de la frmula de

derivacin numrica mediante:
=(kfR(x*)(x*)
En el caso particular en que f(x)
que
n
se verificar
que f(x) pn(x) y
que la
frmula de derivacin numrica de
soporte de (n+1) puntos es exacta
igual que n. En
sea un polinomio de grado menor o igual

por tanto (x) = 0
x, de donde resulta
tipo interpolatorio construida sobre un
para cualquier polinomio de grado menor o
resumen es exacta, al menos, de orden n.
Este hecho nos permite incluir a las frmulas de derivacin numricas de

tipo
interpolatorio en el conjunto de frmulas de derivacin exactas de orden n.
Pero an puede precisarse ms, puesto que adems toda frmula exacta de
orden n construida sobre un soporte de (n+1) puntos debe ser necesariamente
de tipo interpolatorio. Este hecho se demuestra en el siguiente
teorema.
Teorema 7.2.
La condicin necesaria y suficiente para que una frmula de derivacin

del
realizados.
teorema
es
Enello
suficiente,
efecto,
f(x)
es recapitular
decir
es una
quefuncin
silos
la razonamientos
frmula
polinmica
construida
de grado
menor
orden
n. Para
bastasicon
n(k sobre
f(x)
=en55
pn(x)
x
a) el
Demostremos
en
numpolinomio
primer
rica
construida
(n+1)
lugar
puntos
que
la
sobre
coincide
unque
soporte
con
recogida
la
de
funcin
(n+1)
puntos,
yes
enunciado
Demostracin:
soporte
anteriormente
oigual
que
den(n+1)
su
sea
puntos
exacta
esinterpolador
dede
orden
tipo
interpolatorio
ncondicin
esde
Lagrange
sea
de
fc.f(x)
entonces
sobre
tipo
interpolatorio.
elel=
soporte
exacta
,tanto:
x*ii
= por
i0 dede
por lo que f(k(x) = (knp(x)
x. En particular, al ser la frmula de
derivacin de tipo interpolatorio,

que:
para cualquier punto x* se tendr

=(k(k(knx*f(x*)p
(x*)f
Ello demuestra que la frmula es exacta sea cual sea el polinomio f(x)
de grado menor o igual que n al que se aplique. En particular lo ser
cuando se aplique los (n+1) primeros monomios {1, x, ..., xn} y por
ello
es exacta de grado n.
b) Demostremos ahora que la condicin anterior tambin es necesaria, es
decir que si la frmula construida sobre el soporte de (n+1) puntos es
exacta de orden n entonces tiene que ser de tipo interpolatorio. Para
ello
partimos
del hecho de que, al ser la frmula exacta de orden n, para
cualquier funcin polinmica de grado menor o igual que n, p(x), se
debe
verificar que:
n(k
p(x*)c.p(x)
=
=
ii
i0
Por otra parte, puesto que hemos considerado que p(x) es un polinomio
de grado menor o igual que n, se verificar que el polinomio
interpolador
de p(x) en el soporte de (n+1) puntos coincidir con p(x) y por tanto
p(x)
se puede expresar como:
n
p(x)p(x).L(x)
=
ii
Identificando las dos expresiones de la primera derivada =i0
de p(x)
en x*
de
menor
de consideremos
donde
o igual
su
que
n.
Por
derivada
tanto
en
deber
el c.p(x)L(x*).p(x)
punto
verificarse
x*
estar
tambin
dadaque
por:
ensea
el
se grado
Esta
caso
igualdad
de que
debe
serk-sima
satisfecha
como
tiene
p(x)
que:
para
cualquiera
cualquier
p(x*)L(x*).p(x)
de
polinomio
los
(n+1)
=
p(x)
polinomios
56
= =
i0i0
==
nn(k
iiii
i0
n(k(kii

.
de base de Lagrange construidos sobre el soporte {}nii0x=. Recordemos

adems que los polinomios de base de Lagrange verifican:
0si ij
L(x)
=
ij
1si
i=j
Por tanto, particularizando la igualdad antes obtenida para L0(x) se
tiene
que:
nn(k(k
==
i0ii0i00
i0i0
==
Al hacerlo para el polinomio L1(x) resultar que:

nn(k(k
==
i1ii1i11
i0i0
==
Y en general al particularizar para cualquier polinomio de base Lj(x)

obtendremos que:
nn(k(k
==
ijiijijj
i0i0
==
c.q.d.
Ejemplos:
[]==x*2
1. Sobre un soporte de tres puntos
{x0, x1, x2} el polinomio interpolador
[][]=++
012f"(x*)
de
Lagrange de una
funcin f(x) puede expresarse
como:
2001001201p(x)f(x)fx,x(xx)fx
f"p"(x)2
2. Sobre un soporte de cuatro puntos {x0, x1, x2, x3} el polinomio
por lo que la frmula
de Lagrange
de derivaci
deeste
una
,x,x(xx)(xx)
n num
funci
rica
n es:
f(x)
que
aproxima
puede expresarse
derivadas
como:
segundas
[][][]
interpolador
sobre
soporte
pxfxfxxxxfxxxxxxx
=+++3001001201()(),(),,()()
+0123012,,,()()()
fxxxxxxxxxx
57 fx,x,x
por lo que la frmula que aproxima f(x) es:

''
==+[]
fxxxxxxxx
[]
x*3012f"(x*)fp"(x*)2fx,x,x
01230122
,,,(3*)
y para la aproximacin de la tercera derivada:

'''
x*30123f'''(x*)fp'''(x*)6fx,x,x,x
==
[]
Propiedad 7.3

n(k
, construida fc.f(x)
sobre
= un soporte de (n+1) puntos con n > k, se
x*ii
=
i0
verifica que:
0sijk
<
=
cxj!
(j = 1, ...n)
ii(jk)
(x*)sikjn
i1
=
(jk)!
nj
Demostracin:
La demostracin de esta propiedad se deja como ejercicio propuesto al lector
yconsiste simplemente en comparar el valor (exacto) proporcionado por la
frmula de derivacin al ser aplicada a la funcin f(x) = xj
n) con el
valor de f(k(x*) .
(j = 0, ...,
c.q.d.
derivacin
derivadas
de
dex*
orden
tipo
interpolatorio,
queel
1 que
puede
junto
a la
expresin
anlisis
de su
similar
error,
Parayello
xn}
siendo
siendo
el
n punto
>mayor
k consideremos
en
se
elrealizarse
desea
soporte
aproximar
deun(n+1)
f(k(x)
puntos
denotemos
{x0 <alx1por
<...
En cuanto
error
de
las
frmulas
de
derivacin
que
permiten
aproximar
anteriormente
desarrollados
centraremos
para
enserie
lael
descripcin
las
apartado
frmulas
4
atarea
que
este
proceso
aproximaban
tipo
que
deque
permite
frmulas.
lalas
primera
obtener
Nosotros
frmulas
de
descrito
Dejamos
desarrollos
<combinando
hi
al alal
lector
en
interesado
de
Taylor
regularidad.
ladel
para
funciones
de
adaptar
tengan
propiedades
laderivada.
suficiente
ynos
teoremas
58

.
valor: hi = hi = xi x* (i = 0, .., n). Suponiendo que f(x) es

sufiecientemente
regular pueden considerarse los desarrollos en serie de Taylor:
23k
f(xi) = f(x*+hi) = f(x*) + hif(x*) + ++++

2!3!k!
Por lo que:
nnnn2
=+++
f(x)f(x*)hf'(x*)hf"(x*)
iiiiiii
====
i0i0i0i0
nn3k(k
(kiiihhhf"(x*)f'''(x*)...
.f(x*)....
1
2!
11
+++
hf'''(x*)....hf(x*)...
(1)
iiii
3!k!
==
i0i0
Si se desea que la frmula de derivacin sea del mayor orden posible debe
buscarse que, salvo el coeficiente de f(k(x*), se anulen el mayor nmero de
los
primeros sumandos del desarrollo anterior. Esto es, que:
nj
h0
(j = 0, 1,...,(k-1),
=
(k+1), ...n)
ii
i0
=
En general el nmero de ecuaciones que as se pueden formar es de n

ecuaciones, obtenindose un sistema con (n+1) incgnitas (0, ..., n) y
tan
slo n ecuaciones. Ello es debido a que con el coeficiente de f(k(x*) se
nk
debe
h0.
aadir la inecuacin
ii
i0
=
Por ello los coeficientes (0, ..., n) que se determinen mediante la

resolucin
del sistema:
quedarn expresados en funcin del valor que n libremente se le asigne a uno
=
0
iii
de
ellos.
+
........
h0
59
i0
=nn
n =
n(k1)ii
En todo caso, una vez calculados estos coeficientes,

=
denotando
hii por
=
i0
se tendr que los coeficientes de la frmula de derivacin se obtienen

mediante: ci = i / (i = 0, ..., n) y que del primer trmino que no se
haya
podido anular en la expresin (1) se podr inferir fcilmente la expresin
del
error de derivacin.
Ilustremos estos extremos con un ejemplo.
Ejemplo:

soporte
de la forma: {x0 = x* - 2h, x1 = x* - h, x2 = x*, x3 = x* +h, x4 = x* +
2h} donde h
es un valor real estrictamente positivo.
Para ello, si suponemos que f(x) es suficientemente regular en (x*-2h,
x*+2h)
podemos considerar los desarrollos en serie de Taylor:
234h8h 4
(iv16hf(x*)
f(x*- 2h) =f(x*) f"(x*)f'''(x*)

+
26
24
2hf(x*) +
567
(v(vi(vii32h64h128hf(x*)f(x*)f(x*)...
1207205040
23hh
f(x*-h) =f(x*) - hf(x*)

f"(x*)f'''(x*)
+ (ivhf(x*)
26
24
f(x*+
f(x*+2h)
h) =f(x*)
=f(x*)++2hf(x*)
hf(x*)
+
567 +
f(x*)
++++
+ = f(x*)
+++
1207205040
+1207205040
f"(x*)f'''(x*)
f"(x*)f'''(x*)
26
26234h8h
++ 24
60 ++44 (iv16hf(x*)
(v(vi(vii32h64h128hf(x*)f(x*)f(x*)...
(v(vi(viihhhf(x*)f(x*)f(x*)...
(v(vi(viihhhf(x*)f(x*)f(x*)...
567 567
23hh+
(ivhf(x*)

.
de donde:
++++
++=01234f(x*2h)f(x*h)f(x*)f(x*h)f(x*2h)
()=+++++01234
f(x*)
()+
+++013422h
f'(x*)
2
h
44f"(x*)
()+++++
0134
2
h
8.8f'''(x*)
()++++
0134
6
4
16.16f(x*)
()+++++
0134
5
32.32f(x*)....
()++++
0134
(iv
24
h
120
(v
Si se desea construir una frmula que con el soporte anterior aproxime el

valor
de f(x*) y que tenga el mayor orden de exactitud posible se obligar
a que:
++++=012340
(Coeficiente en h0 y f(x*))
(Coeficiente en h y f(x*))
++=0134220
(Coeficiente
en
f(x*))
+++=01344.40
+++=013416.16
de se
f(x)
con lo quedenof(v(x*)
lo podrseamos
despejar
delque
desarrollo
resultante.
anulase el coeficiente
tendr
a un sistema
sh2
lo yadmite
la solucin
====R04142344,2,0,2,
de
Cualquier
Obs
donde12,
rvese
elecci
se
ello
descarta
nf
como
inc
de
que:
opci
gnita
libre
SiObstrivial
se
(Coeficiente
en
h4
yn3,
f(iv
(x*))
4
nos
conducir
4 43=que
0 dejando
ya
a0
rmula
buscada.
ella
coeficiente
61
0 =
=asigna
12
rvese que si al sistema anterior
se le aadiese
la
obligar
a anular
que
valor
4no
= 1nula
seatiene
se
tiene:
1
=ecuaci
2 a
=n procedente
=el
4de
=que
0.la
===== 012341,2,0,2,1
Para estosi, valores

de los
se tiene entonces
que lacoeficientes
combinacin
de desarrollo en serie de Taylor antes obtenida se convierte
en:
++++=f(x*2h)2f(x*h)f(x*h)2f(x*2h)
35
=++
6120
(vhh12f'''(x*)60f(x*)..
..
de donde:
1111
fx*2hfx*hfx*hfx*2h
f(x*)
=
()()()()++++3333
2hhh2h
1
+2(v
hf(x*).....
4
De esta igualdad se infiere que la frmula buscada es:
1111
f'''(x*)f'''fx*2hfx*hfx*hfx*2h
()()()()=++++*3333
2hhh2h
(x*-2h, x*+2h). Es decir un error de orden
para
alg
con
nque
orden
polinomios
error
que elpueden
de
menor
dicha
derivarse
a fla
rmula.
Mientras
error
elevado
dicha
el
el
primero
par
felrmula,
seel
ala
h
segundo
el en
mximo
la
se62
expresi
4
ala lade
npotencia
del
los por:
error.
0(h2).13
ysin
que
con
ella,
x*+2h)),
si
fmetro
se
comete
R(x*)hf()
un
=2(vf
error
1grado
dado
13 No debedel
confundirse
orden
de exactitud
deque
unaC5((x*-2h,
faparece
rmula
de
derivaci
nvalor
num
rica
con

.
7.1. Obtencin de frmulas de derivacin de tipo interpolatorio mediante

el mtodo de los coeficientes indeterminados.
Un mtodo alternativo para la determinacin de frmulas de derivacin de

tipo
interpolatorio soportadas en (n+1) puntos se basa en que, segn el teorema
7.2. toda frmula de tal tipo debe ser exacta para los monomios {1, x, ...,
n(k(k
xn}.
f(x*)fcf(x)
Por tanto, si se busca una frmula
cuya =
expresin ,sea:
*ii
=
i0
su aplicacin a los binomios (x-x*)j (0 < j < n) nos conduce a un sistema

de
ecuaciones cuya solucin nos proporciona los pesos de la frmula. De forma
s
iendo h un
msvalor
concreta,
estrictamente
positivo en funcin del cual
se
puedan escribir, ipara
de
(i = 0,valores
...,n), los convenientes
puntos del
soporte
en la forma
xi =lax*ih
, la aplicaci
n de
f+rmula a los binomios
f(x) = (x-x*)j (j = 0, ..., n) conduce a que, si
k < n:
nj
ciij
=
i0
=
0sijk
j!/hsijk
=
En resumen, los coeficientes de la frmula de tipo interpolatorio se

obtienen
resolviendo el sistema:
111...1
...
0
012n
2222
...c 0
012n0
...............c
... 1
busca en la forma Rf(x*) = Kh(m-k)f(m()

aplicndolo
al
primer
binomio
(k1)(k1)(k1)(k1)
...c
=0
012n2
Una vezderivada
(cuya
determinada
m-sima
la es
frmula,
(hecho
m!)
para
su
queel
error
tendr
que puede
la
lugar
frmula
paradeja
mser
> de
n).
calculado
ser
exacta
...............
......
...
0
.0..si se
(x-x*)m
63
...c
nnnn
012nn
(k1)(k1)(k1)(k1)
012n
kkkk
++++tambin
kk!h
Ilustremos esta forma de proceder obteniendo nuevamente la frmula de

derivacin numrica hallada en el subapartado anterior mediante
combinaciones de desarrollos en serie de Taylor.
Ejemplo:

soporte
de la forma: {x0 = x* - 2h, x1 = x* - h, x2 = x*, x3 = x* +h, x4 = x* +
2h} donde h
es un valor real estrictamente positivo.
Segn se ha visto anteriormente, los coeficientes de la frmula, soportada
por
4 se pueden obtener resolviendo el sistema obtenido al aplicar la
puntos,
frmula
a los cuatro binomios {1, (x-x*), (x-x*)2, (x-x*)3} . Tal
sistema es:
c
11110
21120
c1
=
41140
c2
81186/
ch
3
cuya solucin nos proporciona los valores:

1111
cccc
====01243333
,,,
22hhhh
Para determinar el error de la frmula consideraremos la funcin f(x) = (xorden

Incrementemos
unidad
el de
grado
del binomio
y apliqu
mosla
a
x*)5. El una
valor
exacto
la tercera
f(x*)
derivada
=de543.(x*-x*)
432.(x*-x*)
este
binomio
x*)4. 4.=(x
La
tercera
derivada
de
dicha
funci
n
en
x*
es:
fsiendo
lo que nos
rmula el
es valor
tambi
*3aproximado
n exacta
dado
los
por
polinomios
la frmula:
de
()()
f(x)
es:indica que la
fhhhh
h=++=
(2)()20
111
= 22
0para
64
44'''44

.
siendo ahora el valor aproximado:

fhhhhhh
111
=++=
(2)()230
*3
22
()()
55'''552
por lo que el error de derivacin est dado, para esta funcin

por:
22
(*)(*)03030
xxRxhh
==5
Si buscamos la expresin genrica del error en la forma:

v
fRxKhf
=2((*)
()
es fcil verificar, aplicndolo a (x-x*)5,

que:
301
305!
hKhK
===22
5!4
1
por lo que en general:vfRxhfx
(*)(*)
=2(
4
En resumen la frmula buscada es:

1
ffxhfxhfxhfxh (*2)2(*)2**2
=++
()()()
2h
++'''*3
y eldecir
error
derivaci
n num
rica,
est
4sidado
f por:
[]
es
error
de orden
2.fRxhf
(*)()
=2(1
+5(*2,*2)
Cxhxh
65
v unde
Ejercicio propuesto:
d) Siendo h un parmetro estrictamente positivo, determinar la frmula de

derivacin numrica que permite aproximar el valor de f(x*) sobre el
soporte: x0 = x* -h, x1 = x*, x2 = x* + 2h y x3 = x* + ()52h.
Suponiendo
que f(x) es suficientemente regular en el intervalo [x0, x3],
determnese
tambin la expresin de su error e indquese la regularidad que se le
debe exigir a f(x) para que dicha expresin sea vlida. Obtngase la
frmula pedida y su error:
i) Derivando el correspondiente polinomio interpolador de
Lagrange,
ii) Combinando desarrollos en serie de Taylor, y
iii) Mediante el mtodo de coeficientes indeterminados.
e) Aplquese la frmula obtenida en el apartado anterior a la obtencin de
un valor aproximado de la segunda derivada de la funcin f(x) = ecos(x)
con los siguientes valores de h: h0 = 0.1, h1 = 0.01, h2 = 0.001, h3
=
0.0001
y h4 = 0.00001. Realcense los clculos en coma flotante
usando mantisas con 5 decimales significativos.
f) Obtngase una cota del error de derivacin numrica vlida en el
intervalo [x0, x2] para la funcin considerada en el apartado anterior.
El
error realmente cometido es en todos los casos inferior a la cota
hallada? Si no lo fuese justifquese el motivo.
66

.
8. Mejora de la precisin de las frmulas de derivacin numrica. Mtodo

de extrapolacin de Richardson.
Como se present en apartados anteriores el error de las frmulas de

derivacin numrica (ya sea para aproximar la primera derivada o derivadas
de
orden superior) responde a expresiones en las que interviene hp donde p es
un
dellongitud
soporte
(la distancia
nmero no negativo y h
es
una caracter
stica
entre puntos consecutivos del soporte cuando este es equidistante, la
distancia
entre los puntos extremos del soporte, la mayor de las distancias del punto
x*
en el que se evala la derivada a los puntos del soporte, ....). Por ello,
si
se mejorar la precisin de una frmula de derivacin numrica la primera
quiere
idea que surge intuitivamente es la de reducir el valor de h (lo que
generalmente se traduce en tomar puntos ms prximos entre s y ms
cercanos al punto x*). En este sentido la forma habitual de proceder
consiste
en, siendo q un valor tal que 0 < q < 1, aplicar la frmula numrica para
los
valores h0 = h, h1 = qh, h2 = qh1 = q2h , ...., hj = qhj-1 =
qjh,
.... Se obtienen
as diferentes
valores V0, V1, ...., Vj, .... que aproximan la derivada en
cuestin.
Este proceso se finaliza cuando |Vj Vj-1| sea lo suficientemente pequeo
(menor que un cierto predefinido de antemano).
Ejemplo:
Si se utiliza la frmula:
11
f'(x*)f'fx*hfx*h
()()=++*
2h2h
para aproximar el valor de la primera derivada de la funcin f(x) = ex en el

punto
x* = 0 ( cuyo valor exacto es f(0) = 1) se obtendrn los siguientes
20 dgitos),
paraeladiferentes
valores
de
aproximadamente
a ladecuarta
parte alreducir
el paso
la mitad MAPLE
al
ser7 el
valores
el valorpara
aproximado
lautilizando
derivada
(calculados
con
programa
pudiendo
siguiente
al reducir
el
paso
el
delerror
aerror
la se
mitad.
dereduce
la
Nf|Error|=0.0104492...
|Error|=0.0026062...
tese
rmula
de una
que
empleada
aproximaci
el error
O(h2).
n reduce
a la
orden
h4 =h3
h00.03125,V4
h1
h2
= observarse
0.5,
0.25,
0.125,
0.0625,
V0V1
=V2=V3
1.000162768364....
=como
=1.042190610987....
1.010449267232....
=1.002606201928....
1.000651168835....
h:
|Error|=0.0001627...
|Error|=0.0421906...
|Error|=0.0006511...
67se
La reduccin del paso h utilizado en una frmula que presente un error

de
orden p proporciona una sucesin de valores aproximados {}=j0V que, si se
admite que f(x) es suficientemente regular, converge hacia el valor exacto
con
una velocidad de convergencia de orden p, es decir que el error obtenido con
un paso (qjh) es aproximadamente qp veces menor que el que se produce con
paso (qj-1h). En este sentido, cuanto mayor sea el orden del error del
mtodo
ms rpida ser la convergencia hacia el valor exacto. Por ello esta
reduccin
del paso se suele combinar con la denominada tcnica de extrapolacin de
Richardson14 que, en sntesis, genera a partir de la sucesin {}=j0V otras
sucesiones con mayor velocidad de convergencia hacia el valor exacto. Para

describir este proceso, consideremos una frmula de derivacin numrica en
la
que el error sea de orden p y que pueda expresarse como:
=+++ n(k(mp(m1p1
f(x*)cf(x)f(x*)hf(x*)h...
ii
=
i0
++
y denominemos Ve al valor exacto que se est aproximando, V0 al valor

obtenido con el paso h y V1 al obtenido con paso qh (donde supondremos que
q < 1). Se tendr que:
Ve = V0 + ++++(mp(m1p1f(x*)hf(x*)h...
Ve = V1 + +++++(mpp(m1p1p1f(x*)qhf(x*)qh...
Sustituyendo esta expresin
en la primera
de las expresiones
del valor
Restando
ambas igualdades
se obtiene:
V1tico
= Fry
+++++(mpp(m1p1p1f(x*)(1q)hf(x*)(1q)h...
pioneros
c
lculo
cient
Richardson
fico
finitas
(y(1881
en concreto
a
laquepredicci
el
(mp(m1p1p110
n delen
tiempo).
aplicar
pptodos
exacto
=+
f(x*)hf(x*)(1q)h...
resulta
que:
VV1
1q1q
VVf(x*)1h...
1q1q
VV1q
68 de diferencias
m++=+++
14
En
honor()+++
al del
matem
inglV0
s Lewis
1953)
fue
uno primero
de
los
+e0pp
(m1p110
p1

.
lo que nos indica que el valor:

p
1010
VVVqV
VV1,10pp
=+=
1q1q
aproxima al valor exacto Ve con un error de orden (p+1).

Anlogamente, si se considera el valor V1, obtenido con paso (qh) y el
valor V2
obtenido con paso (q2h) se tiene que:
Ve = V1 + +++++(mpp(m1p1p1f(x*)qhf(x*)qh...
Ve = V2 + +++++(m2pp(m12p2p1f(x*)qhf(x*)qh...
de donde un proceso anlogo al que se acaba de describir nos conduce a que:
VVf(x*)1qh...
VV1q+=+++(m121
e1pp
1q1q
p1(p1)
++
()
lo que nos indica que

2121
VVVqV
VV1,21pp
=+=
1q1q
aproxima el valor exacto con un error de orden (p+1).

De manera ms general, si dado un valor del parmetro h se consideran las
aproximaciones V0,j ( j = 0, 1, ...) obtenidas con un paso (qjh) usando una
frmula de derivacin numrica que presente un error de orden p, pueden
verificndose, si f(x) es suficientemente regular,
valores:
()
escribiremos
=
la(j
expresin
anterior
que:construirse
Denotando
en
laVVf(x*)1qh...
forma:
porlos
b al
Vvalor
VqV
1q
b0,j0,j1
=++
1
= q()
1,
1
69
q2,
1q
+=++
+
e1,jVVbf(x*)qh...
e1,jp
1,jp ++
(m1(j1)
p
=
p1p1
pp1q
11...)
++ p1(m1(j1)
Segn lo anterior la sucesin de valores 1,1{}

=jjV converge, cuando ha tiende
hacia 0, hacia el valor exacto con un orden de convergencia (p+1) una unidad
mayor que el orden de convergencia que presentaba la sucesin {}0,0

=jjV.
Sobre la propia sucesin {}

1,1
=jjV puede entonces volverse a actuar. En efecto,
como:
+++=+++(m1p1p2e1,1VVbf(x*)hO(h)...
y:
()+++=+++(p1)(m1p2e1,2VVbf(x*)qhO(h)...
se tiene que:
0 = V1,1 V1,2 + bf(m+1(x*)hp+1(1-qp+1) + O(hp+2)
+ ....
++++ =+
bf(x*)hO(h)
VV1,211(m1p1p2
1q p1
e introduciendo esta expresin en la primera de las que se han utilizado

para
obtenerla resulta que:
+
p1
VVVqV
++ 1,21,11,21,1p2p2
VVO(h)...O(h) ++e1,1p1p1
=+++=+
1q1q
De manera ms general, un razonamiento como el precedente muestra que si
f(x) es suficientemente regular, la sucesin {}

=2,jj2V obtenida mediante:
p1
VqV
1,j1,j1
V 2,jp1=
(j += 2,
3, ....)
1q
converge hacia el valor exacto con un orden de convergencia (p+2).

k = 1, 2, ...., N, mediante la frmula de
En general,
1) Siendo
si2)
se
0 Mejorar
<parte
qel
< mtodo
1=2,jj2V
de
obtener
ellos
un
mtodo
deaproximaciones
una
extrapolacin
las
sucesin
que
aproximaciones
converge
{}{}
de
con
Richardson
V0,j
velocidad
usando
consiste
de
la orden
frmula
en:
p,
recurrencia:
Estos
las
con
nuevos
un
paso
valores
calculando
(j
0, 1,
los
...N).
valores
{}=
70
=3,jj3V
que
converja
con
orden
(p+3)
y as(qjh)
sucesivamente.
pueden
ser
mejorados
construyendo
apartir
=
de
k,jjkV
para
N

.
VqVk1,jk1,j1
V k,j(pk1)
=
1q
(pk1)
+
+
Cuanto mayores sean los valores de los subndices k y j ms precisas sern

las aproximaciones obtenidas.
Ejemplo:
Ilustremos el mtodo de extrapolacin de Richardson calculando el valor de
la
+
1xf(x)esen(x)
punto
= 1 mediante
primera derivada de en
la el
funci
n x*=
2x
la frmula:
f(x*h)f(x*)
+
f'(x*)f'
=*
h
que presenta un error de orden 1 (es decir O(h)).

Para ello partiremos inicialmente del paso h = y posteriormente lo iremos
reduciendo a la mitad diez veces. Con ello se obtienen los valores V0,j que
figuran en la segunda columna de la tabla siguiente, siendo V0,j el valor
obtenido para el paso hj =()(j+1). Las columnas 3, 4 y 5 de la tabla se
corresponden con los valores V1,j , V2,j y V3,j respectivamente que
proporciona
la aplicacin del mtodo de extrapolacin de Richardson.
Para poder apreciar mejor la evolucin del error, en la tabla siguiente se
han
recogido los valores de error cometido con cada una de las aproximaciones de
esta tabla, es decir la diferencia entre valor exacto de f(1) y el valor
Los
precisi
clculos
n de
sefigura
dhan
gitos
realizado
con
en el
la
programa
tabla sedeMAPLE
muestran
7 utilizando
redondeados
una
5
aproximado
que20
en(aunque
cada
exacto:
decimales
fila
ysignificativos).
f'(1)ecos()5.1796106318....
columna
==
la tabla,
siendo
el avalor
71
12
Aproximaciones
+=
(j1)
0,j1,j2,j3,jj(h2)VVVV
04.91921
15.664206.40919
25.553805.443405.12148
35.395935.238055.169605.17648
45.294565.193205.178255.17948
55.238725.182885.179445.17960
65.209575.180415.17
75.194695.179815.179615.17961
85.187175.179665.179615.17961
95.183405.179625.179615.17961
9595.17961
105.181515.179615.179615.17961
Error de las aproximaciones

(j1)
0,j1,j2,j3,jj(h2)f'(1)Vf'(1)Vf'(1)Vf'(1)V
+=
00.260404
10.4845871.22958
20.3741910.2637940.0581335
30.2163170.0584440.01000630.003131
40.1149540.0135900.00136130.000126
6
50.05910990.0032660.00 017525.72810
mitad ((1/2)1)
octava
parte ((1/2)3)
al pasaral
depasar
un valor
de unalvalor
siguiente
al siguiente
en la primera
en la columna,
tercera 7 la
60.02995490.0008000.00002222.29210
La tabla
columna.
de
errores
hecho
puede
muestra
verse
cmo
ms
estos
claramente
se
reducen
enal
la
a,
aproximadamente,
siguiente
en
la
parte
cuarta
columna
decimosexta
((1/2)2)
yEste
laparte
100.00189530.0000035.458912103.52910
90.00378750.0000124.364105.74310
80.00756280.0000490.00000039.50210
70.01507640.0001980.00000281.62110
al((1/2)4)
pasar
de
al
un
pasar
valor
dealun
siguiente
valor
en
siguiente
la
en la
columna,
cuarta
72
segunda
811
figura
810 la

.
que se representa la evolucin del logaritmo decimal del valor absoluto del
error frente al logaritmo decimal del tamao de paso para las cuatro
sucesiones
de valores recogidos en la tabla anterior.
73
BIBLIOGRAFA SOBRE EL TEMA
[1]. BURDEN, R. L. y FAIRES, J. D. (1.998). Anlisis numrico. (6

edicin).
Ed. International Thomson editores.
log10(h)
[2]. KINCAID, D. y CHENEY, W. (1.994). Anlisis numrico. Las
matemticas del clculo cientfico. Ed. Addison-Wesley
Iberoamericana.
Valores proporcionados
por la frmula
[3]. MICHAVILA, F. y CONDE, C. (1.988). Mtodos de Aproximacin. Ed.

Valores corregidos
Depto. de Mat. Aplic. Y Mt. Informticos. Univ.aplicando
Politcnica
de
el mtodo
Madrid.
de Richardson una vez
[4]. STOER, J. y BULIRSCH, R. (1.980). Introduction to numerical
analysis.
Valores corregidos
aplicando el mtodo
Ed. Springer Verlag.
de Richardson dos veces
Valores corregidos
[5]. VIAO, J.M. y BURGUERA, M. (2000) Lecciones de mtodos

aplicando el mtodo
de Trculo
Richardson
tres veces
numricos, 3: Interpolacin. Ed.
edicions.
log10(|f(1)-Vk,j|)
Puede comprobarse en la grfica como las pendientes (indicativas del orden

de
convergencia) de las curvas de error son ms pronunciadas cuanto ms se
itera en la aplicacin del mtodo de extrapolacin de Richardson.
74

Metodos Numericos Derivacion Numerica

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Metodos Numericos Derivacion Numerica

Cargado por

Copyright:

Formatos disponibles

NDICE

3. FRMULAS DE DERIVACIN NUMRICA DE TIPO INTERPOLATORIO PARA APROXIMAR LA PRIMERA DERIVADA DE

Programacin y Mtodos Numricos Derivacin Numrica

forma de interpolar. No obstante conviene indicar que para otras tcnicas de

cuando h era suficientemente pequeo. Una vez que, en el siglo XIX, se

En este sentido resulta razonable esperar que el valor del cociente

Ms adelante se detallar cmo el cociente incremental que acabamos de

Derivacin Numrica Carlos Conde, Arturo Hidalgo, Alfredo Lpez

2) No siempre es factible simplificar la expresin de los cocientes

Para distintos valores de h pueden obtenerse ahora los valores de A que

El ejemplo anterior pone de manifiesto que, en la prctica, al trabajar en

Programacin y Mtodos Numricos Derivacin Numrica

2. Frmulas de derivacin numrica

Sea f(x) una funcin derivable en un cierto intervalo I de la recta real y

Siendo f(x) una funcin de la que se conocen sus valores en el soporte

pesos) de la frmula de derivacin

La frmula de derivacin que se acaba de definir puede decirse que es una

Derivacin Numrica Carlos Conde, Arturo Hidalgo, Alfredo Lpez

redondeo segn la frmula de derivacin numrica:

se denomina error de truncamiento de la frmula en el punto x*y para

Obviamente se verificar que: '*ff'(x*)fR(x*)=+ por lo que considerando la

Siendo {x0 , x1 } un soporte formado por dos puntos tales que x1 = x0 + h, y

Programacin y Mtodos Numricos Derivacin Numrica

Para el caso particular de la funcin f(x) = x2 el cociente incremental

exacta para la funcin f(x) en el punto x* y para el soporte {x0, ...,

Dado un soporte {x0 < x1 } y denotando por h = x1 x0, la

Derivacin Numrica Carlos Conde, Arturo Hidalgo, Alfredo Lpez

Se dice que la frmula de derivacin numrica:

es exacta de orden k para la familia de funciones de clase C1([x0 ,

orden k para la familia de {}01k(x),

Programacin y Mtodos Numricos Derivacin Numrica

y puesto que la aplicacin de la frmula de derivacin numrica a la funcin

puede concluirse que:

Esto demuestra que la

Las frmulas de derivacin numrica ms utilizadas en la prctica son

Derivacin Numrica Carlos Conde, Arturo Hidalgo, Alfredo Lpez

Para facilitar el seguimiento de todo cuanto hasta aqu se ha dicho, nos

Programacin y Mtodos Numricos Derivacin Numrica

3. Frmulas de derivacin numrica de tipo interpolatorio para aproximar

Como se ha comentado en el apartado anterior, las frmulas ms utilizadas en

Se denomina frmula de derivacin numrica de tipo interpolatorio

frmula obtenida derivando una vez la expresin del polinomio

Obsrvese que en la definicin anterior se ha escrito entre parntesis de

Derivacin Numrica Carlos Conde, Arturo Hidalgo, Alfredo Lpez

La condicin necesaria y suficiente para que la frmula de derivacin

coeficientes satisfagan las igualdades:

donde se ha denotado por Li(x) a los (n+1) polinomios de base de

a) Demostremos en primer lugar que si la frmula es de tipo interpolatorio

de donde, en cualquier punto x* se puede considerar la aproximacin:

Esta frmula es una frmula de derivacin numrica en la que sus

Programacin y Mtodos Numricos Derivacin Numrica

lo que demuestra que el valor de la primera derivada en x* se aproxima con

En toda frmula de derivacin numrica de tipo interpolatorio

Puesto que segn las propiedades de los polinomios de base de Lagrange se

verifica que: L(x)1

Derivacin Numrica Carlos Conde, Arturo Hidalgo, Alfredo Lpez

lo cual nos conduce a poder expresar el error en el punto x* de la frmula

En el caso particular en que f(x) sea un polinomio de grado menor o igual

La condicin necesaria y suficiente para que una frmula de derivacin

sea exacta de orden n es que sea de tipo interpolatorio.

a) Demostremos en primer lugar que la condicin recogida en el enunciado

Programacin y Mtodos Numricos Derivacin Numrica

de donde su primera derivada en el punto x* estar dada por:

Derivacin Numrica Carlos Conde, Arturo Hidalgo, Alfredo Lpez

Obviamente se verificar que: 'ff'(x)fR(x*)=+ por lo que considerando la

f(x0) = f(x-h) = f(x) h.f(x*)