11.08.2013 Views

Apunte

Apunte

Apunte

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!