Exercise 1.29: Simpson’s Rule is a more accurate method of numerical integration than the method illustrated above.
Using Simpson’s Rule, the integral of a function f
between a
and b
is approximated as
\( \frac{h}{3}[y_0+4y_1+2y_2+4y_3+2y_4+ \cdots + 2y_{n-2} + 4y_{n-1} + y_n] \)
where \( h=\frac{b-a}{n} \), for some even integer n
, and \( y_k = f(a + kh) \).
(Increasing n
increases the accuracy of the approximation.) Define a procedure that takes as arguments f
, a
, b
,
and n
and returns the value of the integral, computed using Simpson’s Rule. Use your procedure to integrate
cube between 0 and 1 (with n = 100 and n = 1000), and compare the results to those of the integral procedure
shown above.
(define (cube x) (* x x x))
(define (simpson-integral f a b n)
(define h (/ (- b a) n))
(define (next k) (+ k 1))
(define (coeff k)
(cond ((or (= k 0) (= k n)) 1)
((even? k) 2)
(else 4)))
(define (term k)
(* (coeff k) (f (+ a (* k h)))))
(* (/ h 3.0)
(sum term 0 next n)))
(define (sum term a next b)
(if (> a b)
0
(+ (term a)
(sum term (next a) next b))))
There are several things I want to note here. All the auxiliary functions to represent the
leading coefficients as well as h
make life a lot easier. It’s also important to note that
the variables a
and b
in sum
are not performing the same role as in the integral
example earlier. In this case they are just counting indices from a = 0 to b = n. It might not
be immediately obvious: When the function term
is called from sum
a_
(the start of the
integrating interval) is bound to it from the original call to simpson-integral
,
term
only receives the index which it promptly evaluates.