Numerical quadrature refers to approximating a definite integral numerically, $$~~ \int_a^b f(x) dx.$$ Many numerical analysis textbooks describe a variety of quadrature methods or "rules".
First define a simple function for which we know the exact answer:
In [176]:
def f1(x):
return 1. + x**3
a1 = 0.
b1 = 2.
int_true1 = (b1-a1) + (b1**4 -a1**4) / 4.
print "true integral: %22.14e" % int_true1
We will first look at the Trapezoid method. This method is implemented by evaluating the function at $n$ points and then computing the areas of the trapezoids defined by a piecewise linear approximation to the original function defined by these points. In the figure below, we are approximating the integral of the blue curve by the sum of the areas of the red trapezoids.
In [177]:
def plot_trap(f,a,b,n):
x = linspace(a-0.2, b+0.2, 10000) # points for smooth plot
plot(x,f(x),'b-')
xj = linspace(a,b,n)
plot(xj,f(xj),'ro-')
for xi in xj:
plot([xi,xi], [0,f(xi)], 'r')
plot([a,b], [0,0], 'r') # along x-axis
plot_trap(f1,a1,b1,5)
The area of a single trapezoid is the width of the base times the average height, so between points $x_j$ and $x_{j+1}$ this gives: $$ \frac{h}{2} (f(x_j) + f(x_{j+1}). $$
Summing this up over all the trapezoids gives: $$ h\left(\frac 1 2 f(x_0) + f(x_1) + f(x_2) + \cdots + f(x_{n-2}) + \frac 1 2 f(x_{n-1})\right) = h\sum_{j=0}^{n-1} f(x_j) - \frac h 2 \left(f(x_0) + f(x_{n-1})\right) = h\sum_{j=0}^{n-1} f(x_j) - \frac h 2 \left(f(a) + f(b))\right). $$
This can be implemented as follows (note that in Python fj[-1] refers to the last element of fj, and similarly fj[-2] would be the next to last element).
In [178]:
def trapezoid(f,a,b,n):
h = (b-a)/(n-1)
xj = linspace(a,b,n)
fj = f(xj)
int_trapezoid = h*sum(fj) - 0.5*h*(fj[0] + fj[-1])
return int_trapezoid
We can test it out for the points used in the figure above:
In [179]:
n = 5
int_trap = trapezoid(f1,a1,b1,n)
error = abs(int_trap - int_true1)
print "trapezoid rule approximation: %22.14e, error: %10.3e" % (int_trap, error)
Using more points will give a better approximation, try changing it in the cell above.
If we increase n, the number of points used, and hence decrease h, the spacing between points, we expect the error to converge to zero for reasonable functions $f(x)$.
The trapezoid rule is "second order accurate", meaning that the error goes to zero like $O(h^2)$ for a function that is sufficiently smooth (for example if its second derivative is continuous). For small $h$, the error is expected to be behave like $Ch^2 + O(h^3)~$ as $h$ goes to zero, where $C$ is some constant that depends on how smooth $h$ is.
If we double n (and halve h) then we expect the error to go down by a factor of 4 roughly (from $Ch^2$ to $C(h/2)^2~$).
We can check this by trying several values of n and making a table of the errors and the ratio from one n to the next:
In [180]:
def error_table(f,a,b,nvals,int_true):
print " n trapezoid error ratio"
last_error = 0. # need something for first ratio
for n in nvals:
int_trap = trapezoid(f,a,b,n)
error = abs(int_trap - int_true)
ratio = last_error / error
last_error = error # for next n
print "%8i %22.14e %10.3e %10.3e" % (n,int_trap, error, ratio)
nvals = array([5, 10, 20, 40, 80, 160, 320])
error_table(f1,a1,b1,nvals,int_true1)
(Note that the first ratio reported is meaningless.)
Convergence might be easier to see in a plot. If a method is p'th order accurate then we expect the error to behave like $E\approx Ch^p$ for some constant $C$, for small $h$. This is hard to visualize. It is much easier to see what order accuracy we are achieving if we produce a log-log plot instead, since $E = Ch^p~$ means that $\log E = \log C + p\log h$
In other words $\log E~$ is a linear function of $\log h~$.
In [181]:
def error_plot(f,a,b,nvals,int_true):
errvals = zeros(nvals.shape) # initialize to right shape
for i in range(len(nvals)):
n = nvals[i]
int_trap = trapezoid(f,a,b,n)
error = abs(int_trap - int_true)
errvals[i] = error
hvals = (b - a) / (nvals - 1) # vector of h values for each n
loglog(hvals,errvals, 'o-')
xlabel('spacing h')
ylabel('error')
error_plot(f1,a1,b1,nvals,int_true1)
If the function $f(x)$ is not as smooth (has larger second derivative at various places) then the accuracy with a small number of points will not be nearly as good. For example, consider this function:
In [182]:
k = 50.
def f2(x):
return 1. + x**3 + sin(k*x)
a2 = 0.
b2 = 2.
int_true2 = (b2-a2) + (b2**4 - a2**4) / 4. - (1./k) * (cos(k*b2) - cos(k*a2))
print "true integral: %22.14e" % int_true2
Making k larger will make it more oscillatory. For this function with k=50, using n=10 points is not going to give a very good approximation:
In [183]:
plot_trap(f2,a2,b2,10)
This doesn't look very good, but for larger values of $n$ we still see the expected convergence rate:
In [184]:
error_plot(f2,a2,b2,nvals,int_true2)
Now make the function much more oscillatory with a larger value of $k$...
In [185]:
k = 1000.
def f2(x):
return 1. + x**3 + sin(k*x)
a2 = 0.
b2 = 2.
int_true2 = (b2-a2) + (b2**4 - a2**4) / 4. - (1./k) * (cos(k*b2) - cos(k*a2))
print "true integral: %22.14e" % int_true2
For the previous choice of nvals the method does not seem to be doing well:
In [186]:
nvals = array([5, 10, 20, 40, 80, 160, 320])
print "nvals = ",nvals
error_plot(f2,a2,b2,nvals,int_true2)
In this case the $O(h^2)~$ behavior does not become apparent unless we use much smaller $h$ values so that we are resolving the oscillations:
In [187]:
nvals = array([5 * 2**i for i in range(12)])
print "nvals = ",nvals
error_plot(f2,a2,b2,nvals,int_true2)
Eventually we see second order convergence and ratios that approach 4:
In [188]:
error_table(f2,a2,b2,nvals,int_true2)
In [188]: