CATEDRA: CALCULO NUMERICO ERROR EN. FOR! 'ERPOLACION DE LAGRANGE Y DE DIF! \S DIVIDIDAS. El polinomio P,(x) de interpolacién de Lagrange correspondiente a una funcién f(x) que verifica: Yi= fi) 5 (01,2) es a) P.(x)=>L,(x).y, donde: (x-x,)(x-x, X=, )K-X,,,).(K-x,) 0 = XO Xe XH, TX =X,) Nos interesa ahora calcular el error e(x) que se produce al aproximar la funcién f(x) con el polinomio P,(x) (3) (x) = f(x) - Prix) ‘Supongamos que f(x) tiene derivadas hasta el orden (n+1) y consideremos la funcién (4) u(x)=e(x)—k.[](x—x,) donde hemos puesto: 2 L(x)= TIO) =x, =X Jone(X =X, OE.) Dado que e(x) y (X2%)-(-%))...0%q) S@ anulan en x=x, (i=0,1,2.n) , u(x) tiene n+1 ceros en x,(i=0,1..n) ; elijamos ahora k / u(x) tenga otra raiz en un punto X (arbitrario, distinto de x, (i = 0,1..n). En estas condiciones: () u(X)=e(X)-k[](K-x,)=0 ka 2) TI@-x,) Con este valor de k , u(x) tiene ahora n+2 raices en [a,b] , en Xo, X1, X2-0X je Xs Xj p Luego u'(x) tiene n+1 raices en (a, b], u"(x) posee nraices en (a, bj, etc. Finalmente ; u(x) =f (x) —P*(x) KF] (x —x,). a tendra 1 raizenx = & € [a,b]: u(@)=0=F(@)— PH) — KT “&—x,) 6) P™O)=0 y [P(x-x,)=(n+D! Luego: . m 0=fE)-k(n+D!pe f"®© Md ~ (4D! Igualando los segundos miembros de ( 6 ) y de ( 8 ) queda: a f"© ® te (n+)! fgx) Or! Luego: ree) FO)-P.O)= TT x) Pero X es arbitrario € [a,b] ; luego: (10) f (x)=P.(x)+[] (x-x,). donde §=E&(x) y [a,b] Lamando M= max |f"" (x) | en [a,b] resulta para e(x) la cota mie) (n+1)t r@) (n+D)! le(x)|=|f@)-P,(x)|s Observaciones Silas abscisas estan igualmente espaciadas, (x) es en general menor en el centro del intervalo de interpolacién que en los extremos No es conveniente interpolar con un nimero grande de abscisas ; el polinomio no converge a f(x) cuando n aumenta. Es aconsejable interpolar con un n bajo sobre intervalos de longitud reducida. Ejemplo: Acotar el error e(x) sobre [0,5 ; 2,1] cometido al aproximar y =e“ en x=1,6 por el Polinomio de Lagrange P,(x) de acuerdo con el siguiente cuadro de valores : i x _Y [0 0.5 | 0.60653 [4 1 [0.36788 224 [012246 M= max |e" en [0,5;2,1] = 0,61 0, {e(,6)| <= 046) <8 $11.6 -0,5)(46- 1116 ~ 2,1) 0,03355Verificacion P(x) = DAD 9 6653.4. 8= 054-21) . (0,5 -1).(0,5-2,1) (1-0,5)(—2,1) (=0,5).x=1) (2,1-0,5).(2,1-1) P,(1,6) = 0,18635 -0,36788 + -0,12246. Valor exacto = e* =0,201897 Luego : le™*—P.(1,6)|=0,015547 <0,03355 EXPRESION DEL ERROR EN LA FORMULA FUNDAMENTAL El polinomio (nico) de grado n o menor que pasa por n+ Puntos (x ;,y)) , (i=0,1,..n), que aproxima una funcién f(x) que posea derivadas hasta el orden n+1 al menos, esto es, que verifica P(x.) = 1(«)) , adopta, mediante la formula fundamental de Newton, la expresion siguiente - 1 F(x) F(X) + ATX, x, ].(X— x, ) FE, x, x, (Kx, ).(x—x,)+ ad wt f[X, x, x, X,].(x-x,).(x-x,)...(k=x, ,) +e(x) con (12) e(x) =f[Xx,x,...X,].(x- X,)(X—X,)...(K=x,). También: F(X)=P, (x) +(x) Dado que f(x,)= Pa (x;) (i=0,1..n), e(x) =f(x)-P,(x) tiene n#1 ceros simples en [@,b].Luego e'(x) se anularé en n puntos distintos en [a.b], y asi siguiendo . Se concluye que e”(x) se anula en un punto x=" perteneciente a [a,b] 13) £ (E*)=n! -f[x, X,.X,]+0 Pero ( 13 ) es valida para n genérico, hasta n+1 al menos . Luego FO (E)=(n +1)! flxx, x, =X] Reemplazando esta en ( 11) queda: £() = Gap ~X,)(K-X,)..(K—x,). Por la unicidad del polinomio de interpolacién P , (x) , resulta idéntica expresion que en el caso anterior.CONTACTO DE ORDEN SUPERIOR ENTRE f(x) y Pn(x):POLINOMIO OSCULADOR A f(x) EN Xo ‘Veamos la forma que adopta (11) en el caso limite : (polinomio osculador a f(x) en xo) x, =X, x, Para la diferencia primera resulta: f(x)-f, ffx, x,J=tim,,, IF pe) X-X, Generalizando, consideremos la (13) fO(E fx, x,..x,J=£-) nt suponiendo X,,X,,...X, —> X, la anterior queda : f(x, f[x,..x,J= Pe) figurando x. n+1 veces en el primer miembro. nt £°(x, £(x Luego ftx,x,x,J= 42) 5 thx x.xx,Ja PO) , 2 oX.XoX 31 F(x.) f[x x,x,x,x,]=————* _figurando x, n+1 veces en el primer miembro. ore (nF Dt Reemplazando estas expresiones en (11) resulta: f(x) = F(%,) + (X—x,)£(x,) + 2 (K=X)" pen (K=%)"" peu nH! £°°(X,) + q+ f£°(E). Eentrex, y x que es la formtilerde Taylor Mario J.D'Amato Coord. de Cale. Numérico Mayo de 2000