Documente Academic
Documente Profesional
Documente Cultură
Pg.
1. INTRODUCCIN Y MOTIVACIN.
2. FRMULAS DE DERIVACIN NUMRICA. ..
1
4
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
A =
f(x*h)f(x*)
+
h
A =
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
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
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
NOTA:
Definicin 2.2.
'
la aproximacinSiendo
de f(x*)
que se obtiene operando sin error de
*f
f(x*)
'
*f
c.f(x)
ii
i0
=
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
c.f(x)
f(x*)
es=
Se dice que la frmula de derivacin
numrica
=
i0
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.
f'(x*)fc.f(x)
=
*ii
i0
=
(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
(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
====
fc.f(x)
=
xii
i0
=
[]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.
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:
Propiedad 3.1.
que
de tipo
fc.f(x)
interpolatorio es que sus
numsea
rica
x*ii=
i0
=
(i
= = 0, 1, ..., n)
f(x)p(x)f(x)L(x)
=
nii
= i0
f'(x*)p(x*)L(x*)f(x)
=
nii
=
i0
(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
se verifica que:
fc.f(x)
=
x*ii
i0
=
c0i =
i1
=
Demostracin:
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*)=+
=
,
numrica construida sobre un soporte fc.f(x)
de (n+1) puntos,
x*ii
=
i0
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
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
==
c.L(x)L(x*).L(x)cL(x*)
==
i1ii1i11
i0i0
==
c.L(x)L(x*).L(x)cL(x*)
==
ijiijijj
i0i0
==
c.q.d.
Ejemplos:
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)===
(xx)(xx)
01
f(x)f(x)11
=+= p(x)f(x).f(x).
101
(xx)(xx)(xx)
011010
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
, 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
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.
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:
(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
()0nhMaxx*x,
x*x=
y sean {}nii0= (n+1) escalares de valor absoluto no superior a 1 y tales
que:
iixx*h=+
.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)!
+
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
(k=2,....,n)
c.0
ii=
i0
=
Demostracin:
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
c.xx(kj).(x*)==
iixx*
i0
()
==
c
Para el caso en que j coincida con el valor de k el sumatorio quedar
i
= i0
Por tanto:
k1
jh
.(1)..(x*).(kj).(x*)
c.ii=
=
kj0
i0
=
(k1)(k1)j
= .(x*).(1).(kj).
kj0
k1
jh
j0
=
j
puede concluirse que:
(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:
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:
=
.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
|Rf(x*)|
n(n1.h.f()+
Demostracin:
R(x*)f(x*)f.c..h.f(x*.h)
==+
fx*iiii
h nn
()
(n1)!
= +
i0
de donde:
h nn
==+
R(x*)f(x*)f.c..h.f(x*.h)
()
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
(k1)j
Demostracin:
Se tiene que:
(k1)kkkjjjj
kkkk
(1)(kj)(1)(kj)k(1)(1)j
==
====
j0j0j0j0 jjjj
k(1)k(11)k00
j===
= j0
kjk
kj
j0
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
(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
01
(xx)(xx)(xx)(xx)
01101010
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,
f(x)f(x)
10
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
= 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
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:
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:
34
(ivhh.f'''(x*).f(x*)....
35
(vhh.f'''(x*).f(x*)...
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
(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)
estas situaciones.
f(x)f(x)
10
f[x,x]
=
2100122
01
H
f(x)2.f(x)f(x) +
f[x,x,x] =
2.H
+
f(x)f(x)f(x)2.f(x)f(x)
'*10210
H2.H
f(x)f(x)f(x)2.f(x)f(x)
+
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
f(x*2.H)4.f(x*H)3.f(x*)1
+++
f(x*) 2
.H.f'''(x*)....
2.H3
se tiene
y (x*-x1)
f(x)f(x)f(x)2.f(x)f(x)
+
'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
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
=
0
i
i0
=
n2
=
h0
ii
i0
=
........
nn
=
h0
ii
i0
=
i0
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*)
++
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,,
por lo que:
+++ 1213111
fx*2hfx*fx*fx*
f(x*) =
()()()()3hhh222
h105121028
1
+3(iv
hf(x*).....
192
=+++
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:
i0
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 =
nn(k1)kkk
==
iiii
i0i0
1h012n1
...c
2222
=
...c0
012n2
.....................
nnnn
...c0
012nn
{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
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:
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
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
(k
*f
=c.f(x)
ii
i0
=
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
(iv
0(1,0)
0
(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
{}
2
(iv
12
01
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.
f(x*)fc.f(x)
=
*ii
i0
=
{}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
(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
fc.f(x)
=
xii
i0
=
[]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.
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.
seanum
derica
tipo fc.f(x)
interpolatorio
=
es que sus coeficientes
x*ii
i0
=
=(i = 0, 1, ..., 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
(knnnn
====
(k(k(k
fc.f(x)
=
x*ii
=
se verifica que:
i0
n
c0i =
i1
=
Demostracin:
==
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:
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
c.L(x)L(x*).L(x)cL(x*)
==
i0ii0i00
i0i0
==
c.L(x)L(x*).L(x)cL(x*)
==
i1ii1i11
i0i0
==
c.L(x)L(x*).L(x)cL(x*)
==
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
01230122
,,,(3*)
==
[]
Propiedad 7.3
, 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
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
=
i0
1207205040
23hh
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
(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
=++
6120
(vhh12f'''(x*)60f(x*)..
..
de donde:
1111
fx*2hfx*hfx*hfx*2h
f(x*)
=
()()()()++++3333
2hhh2h
1
+2(v
hf(x*).....
4
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
i0
ciij
=
i0
=
0sijk
j!/hsijk
=
...
0
012n
2222
...c 0
012n0
...............c
... 1
(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
11110
21120
c1
=
41140
c2
81186/
ch
3
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
111
=++=
(2)()230
*3
22
()()
55'''552
=2((*)
()
301
305!
hKhK
===22
5!4
1
por lo que en general:vfRxhfx
(*)(*)
=2(
4
Ejercicio propuesto:
Si se utiliza la frmula:
11
f'(x*)f'fx*hfx*h
()()=++*
2h2h
++
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
1010
VVVqV
VV1,10pp
=+=
1q1q
VVf(x*)1qh...
VV1q+=+++(m121
e1pp
1q1q
p1(p1)
++
()
=
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)
hacia 0, hacia el valor exacto con un orden de convergencia (p+1) una unidad
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
1q1q
De manera ms general, un razonamiento como el precedente muestra que si
p1
VqV
1,j1,j1
V 2,jp1=
(j += 2,
3, ....)
1q
VqVk1,jk1,j1
V k,j(pk1)
=
1q
(pk1)
+
+
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
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
+=
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
Iberoamericana.
Valores proporcionados
por la frmula
Valores corregidos
de Trculo
Richardson
tres veces
numricos, 3: Interpolacin. Ed.
edicions.
log10(|f(1)-Vk,j|)