Trapezoidal rule

From Infogalactic: the planetary knowledge core
Jump to: navigation, search

<templatestyles src="Module:Hatnote/styles.css"></templatestyles>

The function f(x) (in blue) is approximated by a linear function (in red).
File:Trapezium.gif
An animation showing how the trapezoidal rule approximation improves with more strips.

In numerical analysis, the trapezoidal rule (also known as the trapezoid rule or trapezium rule) is a technique for approximating the definite integral

 \int_{a}^{b} f(x)\,dx.

The trapezoidal rule works by approximating the region under the graph of the function f(x) as a trapezoid and calculating its area. It follows that

 \int_{a}^{b} f(x)\, dx \approx (b-a) \left[\frac{f(a) + f(b)}{2} \right].

Applicability and alternatives

The trapezoidal rule is one of a family of formulas for numerical integration called Newton–Cotes formulas, of which the midpoint rule is similar to the trapezoid rule. Simpson's rule is another member of the same family, and in general has faster convergence than the trapezoidal rule for functions which are twice continuously differentiable, though not in all specific cases. However for various classes of rougher functions (ones with weaker smoothness conditions), the trapezoidal rule has faster convergence in general than Simpson's rule.[1]

Moreover, the trapezoidal rule tends to become extremely accurate when periodic functions are integrated over their periods, which can be analyzed in various ways.[2][3]

For non-periodic functions, however, methods with unequally spaced points such as Gaussian quadrature and Clenshaw–Curtis quadrature are generally far more accurate; Clenshaw–Curtis quadrature can be viewed as a change of variables to express arbitrary integrals in terms of periodic integrals, at which point the trapezoidal rule can be applied accurately.

Numerical implementation

Illustration of trapezoidal rule used on a sequence of samples (in this case, a non-uniform grid).

Uniform grid

For a domain discretized into N equally spaced panels, or N+1 grid points a = x1 < x2 < ... < xN+1 = b, where the grid spacing is h=(b-a)/N, the approximation to the integral becomes

 \int_{a}^{b} f(x)\, dx \approx \frac{h}{2} \sum_{k=1}^{N} \left( f(x_{k+1}) + f(x_{k}) \right) {}= \frac{b-a}{2N}(f(x_1) + 2f(x_2) + 2f(x_3) + 2f(x_4) + \dotsb + 2f(x_N) + f(x_{N+1})).

Non-uniform grid

When the grid spacing is non-uniform, one can use the formula

 \int_{a}^{b} f(x)\, dx \approx \frac{1}{2} \sum_{k=1}^{N-1} \left( x_{k+1} - x_{k} \right) \left( f(x_{k+1}) + f(x_{k}) \right).

Error analysis

The error of the composite trapezoidal rule is the difference between the value of the integral and the numerical result:

 \text{error} = \int_a^b f(x)\,dx - \frac{b-a}{N} \left[ {f(a) + f(b) \over 2} + \sum_{k=1}^{N-1} f \left( a+k \frac{b-a}{N} \right) \right]

There exists a number ξ between a and b, such that[4]

 \text{error} = -\frac{(b-a)^3}{12N^2} f''(\xi)

It follows that if the integrand is concave up (and thus has a positive second derivative), then the error is negative and the trapezoidal rule overestimates the true value. This can also be seen from the geometric picture: the trapezoids include all of the area under the curve and extend over it. Similarly, a concave-down function yields an underestimate because area is unaccounted for under the curve, but none is counted above. If the interval of the integral being approximated includes an inflection point, the error is harder to identify.

In general, three techniques are used in the analysis of error:[5]

  1. Fourier series
  2. Residue calculus
  3. Euler–Maclaurin summation formula:[6][7]

An asymptotic error estimate for N → ∞ is given by

 \text{error} = -\frac{(b-a)^2}{12N^2} \big[ f'(b)-f'(a) \big] + O(N^{-3}).

Further terms in this error estimate are given by the Euler–Maclaurin summation formula.

It is argued that the speed of convergence of the trapezoidal rule reflects and can be used as a definition of classes of smoothness of the functions.[2]

Periodic functions

The trapezoidal rule often converges very quickly for periodic functions.[3] This can be explained intuitively as:

When the function is periodic and one integrates over one full period, there are about as many sections of the graph that are concave up as concave down, so the errors cancel.[5]

In the error formula above, f'(a) = f'(b), and only the O(N−3) term remains.

More detailed analysis can be found in.[2][3]

"Rough" functions

Lua error in package.lua at line 80: module 'strict' not found. For various classes of functions that are not twice-differentiable, the trapezoidal rule has sharper bounds than Simpson's rule.[1]

See also

Notes

  1. 1.0 1.1 (Cruz-Uribe & Neugebauer 2002)
  2. 2.0 2.1 2.2 (Rahman & Schmeisser 1990)
  3. 3.0 3.1 3.2 (Weideman 2002)
  4. Atkinson (1989, equation (5.1.7))
  5. 5.0 5.1 (Weideman 2002, p. 23, section 2)
  6. Atkinson (1989, equation (5.1.9))
  7. Atkinson (1989, p. 285)

References

  • Lua error in package.lua at line 80: module 'strict' not found..
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found..
  • Lua error in package.lua at line 80: module 'strict' not found.
  • Lua error in package.lua at line 80: module 'strict' not found.

External links