Integració numèrica: diferència entre les revisions

Contingut suprimit Contingut afegit
recuperació de la informació
m Corregit: estricta del error, si > estricta de l'error, si
Línia 130:
: <math>{n^{-1} \over 2} \sup_{0 \leq x \leq 1} \left| f'(x) \right|</math>
 
Per al terme d'error d'aquesta particular aproximació. (Fixeu-vos que aquest és precisament l'error que s'ha calculat pel cas <math>f(x) = x</math>.) Emprant més derivades, i a base de anar pessigant la quadratura, es pot fer una anàlisi de l'error similar emprant una [[sèrie de Taylor]] (emprant un sumatori parcial amb el terme residual) per ''f''. Aquesta anàlisi de l'error dóna una fita superior estricta delde l'error, si les derivades de ''f'' estan disponibles.
 
Aquest mètode d'integració es pot combinar amb l'[[aritmètica d'intervals]] per a produir [[demostració computacional|demostracions computacionals]] i càlculs ''verificats''.