You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
142 7. INTEGRACIÓN NUMÉRICA<br />
La forma más usual de aproximar integrales es mediante las llamadas reglas de integración<br />
compuestas que veremos más adelante, las cuales se basan en partir el intervalo [a, b] en intervalos<br />
chicos y aplicar en cada uno de ellos alguna de las reglas construídas mediante interpolación.<br />
Por esta razón nos interesa saber como es el error en términos de la longitud del intervalo donde<br />
se aplica la regla. El siguiente teorema nos da un resultado general que nos dice que el error<br />
depende del grado de exactitud de la regla.<br />
Teorema 7.10. Dada una regla de cuadratura Q(f) en el intervalo [a, b] tal que<br />
i) Q(f) es lineal,<br />
ii) Q(f) tiene grado de exactitud k,<br />
iii) |Q(f)| ≤ M(b − a)f∞, para alguna constante M.<br />
Entonces, si f ∈ C k+1 [a, b], se tiene<br />
|R(f)| = |I(f) − Q(f)| ≤<br />
(1 + M)(b − a)k+2<br />
f<br />
(k + 1)!<br />
k+1 ∞<br />
Demostración. Observemos que, como f ∈ C k+1 [a, b], existe un polinomio pk ∈ Pk tal que<br />
f − pk∞ ≤<br />
(b − a)k+1<br />
(k + 1)! f k+1 ∞.<br />
En efecto, podemos tomar por ejemplo el polinomio dado por el desarrollo de Taylor de f en<br />
cualquier punto del intervalo.<br />
Entonces, como la regla tiene exactitud k, tenemos que I(pk) = Q(pk). Luego, usando la linealidad<br />
de Q(f),<br />
R(f) = I(f) − Q(f) = I(f − pk) − Q(f − pk).<br />
Por lo tanto, usando la hipótesis iii) y que |I(f − pk)| ≤ (b − a)f − pk∞, obtenemos<br />
concluyendo la demostración.<br />
|R(f)| ≤ |I(f − pk)| + |Q(f − pk)| ≤<br />
(1 + M)(b − a)k+2<br />
f<br />
(k + 1)!<br />
k+1 ∞,<br />
Observación 7.11. Si la regla está dada como en (7.1) con Aj > 0 para todo j = 0, . . . , n, y<br />
tiene grado de exactitud al menos 0, entonces la hipótesis iii) del teorema se cumple con M = 1.<br />
En efecto, como la regla es exacta para constantes se tiene que n j=0 Aj = Q(1) = I(1) = (b−a)<br />
y por lo tanto,<br />
n<br />
n<br />
|Q(f)| = | Ajf(xj)| ≤ Aj|f(xj)| ≤ (b − a)f∞.<br />
j=0<br />
j=0