Aplicaremos agora nosso teorema de aproximação ao cálculo de integrais definidas. Desta vez usaremos um polinômio de terceiro grau para aproximar a função que vamos integrar. Mas primeiro provemos um resultado sobre integrais de polinômios:
Seja um polinômio de grau . Seja o ponto médio do intervalo (). Então
DEMONSTRAÇÃO. Observe, antes de tudo, que a afirmação é linear em , ou seja, se é verdadeira para e para , então é verdadeira para e para , onde é uma constante. Portanto, será verdadeira para todos os polinômios de grau se conseguirmos mostrar que é verdadeira para , , , , , , ou se conseguirmos mostrá-la para , , , , , . Pois
\begin{aligned} x^n &= ((x-m)+m)^n \\ &= (x-m)^n + n(x-m)^{n-1}m + \dots + n(x-m)m^{n-1} + m^n \end{aligned}é um polinômio de grau em para qualquer ; assim, qualquer polinômio em de grau é também um polinômio de grau em .
Primeiro, seja , onde é ímpar: . Então
\begin{aligned} \int_a^b (x-m)^i \, dx &= \left. \frac{1}{i+1} (x-m)^{i+1} \right|_a^b \\ &= \frac{1}{i+1} \left( (b-m)^{i+1} - (a-m)^{i+1} \right)\\ &= \frac{1}{i+1} \left( \left( \frac{b-a}{2} \right)^{i+1} - \left( \frac{a-b}{2} \right)^{i+1} \right) \cdot \end{aligned}Mas é par, de modo que
e
No lado direito, temos
Se ou , a quarta derivada de é . Se , a quarta derivada é , e . Assim, o lado direito se reduz a
Como é ímpar,
e o lado direito é . Portanto, neste caso, ambos os lados da equação são , e terminamos. Resta tratar e .
Nos dois primeiros casos, para todo , de modo que podemos omitir o último termo à direita. Para ,
enquanto
Assim, a afirmação é verdadeira para . Para :
\begin{aligned} \int_a^b (x-m)^2 \, dx &= \left. \frac{1}{3} (x-m)^3 \right|_a^b \\ &= \frac{1}{3} \left( \left( \frac{b-a}{2} \right)^3 - \left( \frac{a-b}{2} \right)^3 \right)\\ &= \frac{1}{3} \left( \left( \frac{b-a}{2} \right)^3 + \left( \frac{b-a}{2} \right)^3 \right) \\ &= \frac{(b-a)^3}{12} \cdot \end{aligned}Enquanto isso,
\begin{aligned} \frac{b-a}{6} (f(a) + 4f(m) + f(b)) &= \frac{b-a}{6} \left( (a-m)^2 + (b-m)^2 \right)\\ &= \frac{b-a}{6} \left( \left( \frac{a-b}{2} \right)^2 + \left( \frac{b-a}{2} \right)^2 \right) \\ &= \frac{(b-a)^3}{12} \\ &= \int_a^b f(x) \, dx \cdot \end{aligned}Finalmente, seja . Então para todo .
Por outro lado,
\begin{aligned} \frac{b-a}{6} (f(a) &+ 4f(m) + f(b)) - \frac{(b-a)^5}{2880} f^{\rm (iv)}(m)\\ &= \frac{b-a}{6} \left( \left( \frac{a-b}{2} \right)^4 + \left( \frac{b-a}{2} \right)^4 \right) - \frac{(b-a)^5}{2880} \cdot 24\\ &= \frac{(b-a)^5}{48} - \frac{(b-a)^5}{120} \\ &= \frac{(b-a)^5}{80} \\ &= \int_a^b f(x) \, dx \cdot \end{aligned}Assim, a afirmação é verdadeira para todos os , , e portanto para todos os polinômios de grau .
Agora suponha que nos seja dada uma função com quatro derivadas, e suponha que tenhamos encontrado um polinômio de grau tal que: , , , P'(m) = f'(m). (Mostraremos mais adiante como pode ser construído. Então tem em e em um zero de multiplicidade pelo menos um, e em um zero de multiplicidade pelo menos . Portanto, tomamos o do teorema de aproximação como sendo , e . Então
Mas , já que é de grau . Agora, sempre que , e se Máx. denota o máximo de para , e Mín. seu mínimo, temos
\frac{H(x)}{24} \cdot \text{Máx.} \le f(x) - P(x) \le \frac{H(x)}{24} \cdot \text{Mín.} \tag{**}Como é um polinômio de grau , e como , vemos pelo nosso teorema que
Tomando as integrais na desigualdade (**), temos
Se assumirmos, como já fizemos ao discutir seu máximo e seu mínimo, que é contínua para , então pelo teorema que citamos no Capítulo 12,
para algum , . Agora, como , sabemos pelo nosso teorema que
\begin{aligned} \int_a^b P(x) \, dx &= \frac{b-a}{6} (P(a) + 4P(m) + P(b)) \\ &= \frac{b-a}{6} (f(a) + 4f(m) + f(b)). \end{aligned}Finalmente, temos a regra de Simpson:
\int_{a}^{b} f(x) \, dx = \frac{b-a}{6} (f(a) + 4f(m) + f(b)) - \frac{(b-a)^5}{2880} f^{\rm (iv)}(\xi) \tag{*}para algum , .
A maneira como esta regra é usada consiste em tomar o primeiro termo à direita como uma aproximação para
O segundo termo dá uma estimativa do erro introduzido ao fazer esta aproximação. O erro é no máximo
o que for maior.
Finalmente, devemos mostrar que um polinômio pode sempre ser encontrado satisfazendo nossos requisitos. Sejam , , . Então podemos encontrar uma reta passando por e (aqui e são simplesmente números). Defina
onde é escolhido de modo que . Isso é sempre possível porque . Ainda temos , . Agora defina
Então
P'(m) = g'(m) + D(m-a)(m-b).Como , podemos escolher a constante de modo que P'(m) = f'(m). Então , , e P'(m) = f'(m); além disso, é de grau . Portanto, é o polinômio requerido. (Note que, ao aplicar a regra de Simpson, não é preciso calcular nada sobre .)
EXERCÍCIOS
- Calculea) para ;
b) usando o fato de que ée usando . Compare suas estimativas de erro em cada caso.
- Use a regra de Simpson para aproximar, com erro,
Não se conhece nenhum meio direto de encontrar as primitivas nos Exercícios 2 e 3; portanto, os métodos aproximados assumem grande importância nesses casos. A integral do Exercício 2 é chamada de integral do erro, e a do Exercício 3 é uma integral elíptica.