next up previous
Next: Composite Rules Up: Quadrature Previous: Quadrature

Quadrature Error

One way we might evaluate the error is to use Taylor expansions with integral remainders for f. We illustrate for the trapezium rule using the Taylor results

\begin{displaymath}
\begin{array}
{lcl}f(x) & = & f(0)+xf'(0)+\int _0^h(x-t)_+f'...
 ...,\\ f(h) & = & f(0)+hf'(0)+\int _0^h(h-t)_+f''(t)dt\end{array} \end{displaymath}

to obtain

\begin{displaymath}
\begin{array}
{lcl}E(f) & = & \int _0^hf(x)dx-\frac{h}{2}\le...
 ...t,\quad 0<\xi <h \\ & = & -\frac{h^3}{12}f''(\xi ),\end{array} \end{displaymath}

where we were able to use the integral mean value theorem in the penultimate line assuming continuity of f'', since t(t-h) is of constant sign.

We investigate the error in more generality in the following theorem:

Theorem 3839 ((Peano))

If the linear functional $E:C^{m+1}[a,b]\to \hbox{{\sf I}\kern-.15em\hbox{\sf R}}$is defined by $E(f)=\int _a^bf(x)dx-\sum _{i=0}^nH_if(x_i)$, and if E(p)=0 for all polynomials p of degree not greater than m then

\begin{displaymath}
E(f)=\int _a^bf^{(m+1)}(t)K_m(t)dt, \end{displaymath}

where

\begin{displaymath}
K_m(t)=\frac{1}{m!}E\left( (x-t)_+^m \right), \end{displaymath}

the Peano kernel.


\begin{trivlist}
\item[]
{\bf Proof.}Operate with $E$\space upon the Taylor resu...
 ....\end{array} \end{displaymath}\nolinebreak
\hfill \rule{2mm}{2mm} \end{trivlist}

Corollary 3843

If further Km is of constant sign on [a,b], then

\begin{displaymath}
E(f)=\frac{f^{(m+1)}(\xi )}{(m+1)!}E(x^{m+1}),\quad a<\xi <b. \end{displaymath}


\begin{trivlist}
% latex2html id marker 2832
\item[]
{\bf Proof.}We have \begin{...
 ...ace gives the required result.\nolinebreak
\hfill \rule{2mm}{2mm} \end{trivlist}
Examples

The difficulty is always the establishment of a constant sign for Km. If this cannot be done, we have to settle for a bound on the error using the result of the theorem:

\begin{displaymath}
\begin{array}
{lcl}\left\vert \kern.05em E(f) \kern.05em \ri...
 ...kern.05em \int _a^bK_m(t)dt \kern.05em \right\vert,\end{array} \end{displaymath}

where

\begin{displaymath}
M=\stackrel{\max }{t\in [a,b]}\left\vert \kern.05em f^{(m+1)}(t) \kern.05em \right\vert. \end{displaymath}

This can be quite messy to evaluate.

Example

Find the open quadrature formula

\begin{displaymath}
\int _0^{3h}f(x)dx\approx \alpha _1f(h)+\alpha _2f(2h) \end{displaymath}

using the method of undetermined coefficients. Find also an error estimate using Peano's Theorem assuming $f\in C^2[a,b]$.

Let $E(f)= \int _0^{3h}f(x)dx- \alpha _1f(h)-\alpha _2f(2h)$. Then

\begin{displaymath}
\begin{array}
{lcl}0~=~E(1) & = & 3h-\alpha _1-\alpha _2\\ 0~=~E(x) & = & \frac{9}{2}h^2-\alpha _1h-2\alpha _2h,\end{array} \end{displaymath}

from which we find the values $\alpha _1=\alpha _2=\frac{3}{2}h$. Now

\begin{displaymath}
E(f)= \int _0^{3h}f(x)dx- \frac{3}{2}h\left\{ f(h)+f(2h) \right\} \end{displaymath}

and $E(x^2)=\frac{3}{2}h^2$. From Peano's Theorem we have

\begin{displaymath}
\begin{array}
{lcl}K_1(t) & = & \frac{1}{1!}E\left( (x-t)_+ ...
 ...nd{array} \right.\\ & \geq & 0~\forall t\in [0,3h],\end{array} \end{displaymath}

so

\begin{displaymath}
E(f)=\frac{f''(\xi )}{2!}E(x^2)=\frac{3}{4}h^3f''(\xi ). \end{displaymath}

We can theoretically construct more and more accurate quadrature formulae by taking higher degree interpolating polynomials. However, the coefficients in these formulae become large and therefore liable to produce rounding errors. An alternative and much commoner approach is to use composite rules.


next up previous
Next: Composite Rules Up: Quadrature Previous: Quadrature
John Gilbert
5/8/1998