Chapter 07.02 Trapezoidal Rule of Integration

advertisement
Chapter 07.02
Trapezoidal Rule of Integration
After reading this chapter, you should be able to:
1.
2.
3.
4.
5.
derive the trapezoidal rule of integration,
use the trapezoidal rule of integration to solve problems,
derive the multiple-segment trapezoidal rule of integration,
use the multiple-segment trapezoidal rule of integration to solve problems, and
derive the formula for the true error in the multiple-segment trapezoidal rule of
integration.
What is integration?
Integration is the process of measuring the area under a function plotted on a graph. Why
would we want to integrate a function? Among the most common examples are finding the
velocity of a body from an acceleration function, and displacement of a body from a velocity
function. Throughout many engineering fields, there are (what sometimes seems like)
countless applications for integral calculus. You can read about some of these applications in
Chapters 07.00A-07.00G.
Sometimes, the evaluation of expressions involving these integrals can become daunting, if
not indeterminate. For this reason, a wide variety of numerical methods has been developed
to simplify the integral.
Here, we will discuss the trapezoidal rule of approximating integrals of the form
b
I   f x dx
a
where
f (x ) is called the integrand,
a  lower limit of integration
b  upper limit of integration
What is the trapezoidal rule?
The trapezoidal rule is based on the Newton-Cotes formula that if one approximates the
integrand by an n th order polynomial, then the integral of the function is approximated by
07.02.1
07.02.2
Chapter 07.02
the integral of that n th order polynomial. Integrating polynomials is simple and is based on
the calculus formula.
Figure 1 Integration of a function
 b n1  a n1 
n

, n  1
x
dx

a
 n 1 
So if we want to approximate the integral
b
(1)
b
I   f ( x)dx
(2)
a
to find the value of the above integral, one assumes
f ( x)  f n ( x)
where
f n ( x)  a 0  a1 x  ...  a n 1 x n 1  a n x n .
(3)
(4)
where f n (x) is a n order polynomial. The trapezoidal rule assumes n  1, that is,
approximating the integral by a linear polynomial (straight line),
th
b
b
a
a
 f ( x)dx   f ( x)dx
1
Derivation of the Trapezoidal Rule
Method 1: Derived from Calculus
b

a
b
f ( x)dx   f1 ( x)dx
a
b
  (a0  a1 x)dx
a
 b2  a2 

 a0 (b  a)  a1 
 2 
(5)
Trapezoidal Rule
07.02.3
But what is a 0 and a1 ? Now if one chooses, (a, f (a)) and (b, f (b)) as the two points to
approximate f (x) by a straight line from a to b ,
f (a)  f1 (a)  a0  a1a
(6)
(7)
f (b)  f1 (b)  a0  a1b
Solving the above two equations for a1 and a 0 ,
f (b)  f (a )
a1 
ba
f (a)b  f (b)a
a0 
ba
Hence from Equation (5),
b
f (a)b  f (b)a
f (b)  f (a) b 2  a 2
a f ( x)dx  b  a (b  a)  b  a
2
 f (a)  f (b) 
 (b  a) 

2

b
a
a
(8b)
(9)
Method 2: Also Derived from Calculus
f1 ( x) can also be approximated by using Newton’s divided difference polynomial as
f (b)  f (a)
f1 ( x)  f (a) 
( x  a)
ba
Hence
b
(8a)
 f ( x)dx   f ( x)dx
1
f (b)  f (a)


   f (a) 
( x  a) dx
ba

a
b
b


f (b)  f (a)  x 2
  ax 
  f (a) x 
ba
 2
 a

2

a2
 f (b)  f (a)  b
 f (a)b  f (a)a  
 a 2 
  ab 
ba
2

 2

2
a2 
 f (b)  f (a)  b
 f (a)b  f (a)a  
  ab  
ba
2 

 2
 f (b)  f (a )  1
2
 f (a )b  f (a )a  
 b  a 
ba

2
1
 f (a )b  f (a )a   f (b)  f (a ) b  a 
2
(10)
07.02.4
Chapter 07.02
1
1
1
1
f (b)b  f (b)a  f (a)b  f (a )a
2
2
2
2
1
1
1
1
 f (a)b  f (a)a  f (b)b  f (b)a
2
2
2
2
 f (a)  f (b) 
 (b  a) 
(11)

2

This gives the same result as Equation (10) because they are just different forms of writing
the same polynomial.
 f (a )b  f (a )a 
Method 3: Derived from Geometry
The trapezoidal rule can also be derived from geometry. Look at Figure 2. The area under
the curve f1 ( x) is the area of a trapezoid. The integral
b
 f ( x)dx  Area of
trapezoid
a
1
(Sum of length of parallel sides)(Perpendicular distance between parallel sides)
2
1
  f (b)  f (a ) (b  a )
2
 f (a)  f (b) 
 (b  a) 
(12)

2


Figure 2 Geometric representation of trapezoidal rule.
Method 4: Derived from Method of Coefficients
The trapezoidal rule can also be derived by the method of coefficients. The formula
b
ba
ba
a f ( x)dx  2 f (a)  2 f (b)
2
  ci f ( xi )
i 1
(13)
Trapezoidal Rule
where
07.02.5
ba
2
ba
c2 
2
x1  a
x2  b
c1 
Figure 3 Area by method of coefficients.
The interpretation is that f (x) is evaluated at points a and b , and each function evaluation
ba
is given a weight of
. Geometrically, Equation (12) is looked at as the area of a
2
trapezoid, while Equation (13) is viewed as the sum of the area of two rectangles, as shown
in Figure 3. How can one derive the trapezoidal rule by the method of coefficients?
Assume
b
 f ( x)dx  c
1
f (a)  c2 f (b)
(14)
a
b
Let the right hand side be an exact expression for integrals of
b
 1dx and
 xdx , that is, the
a
a
formula will then also be exact for linear combinations of f ( x)  1 and f ( x)  x , that is, for
f ( x)  a0 (1)  a1 ( x) .
b
1dx  b  a  c
1
 c2
(15)
a
b2  a2
a xdx  2  c1a  c2b
b
(16)
07.02.6
Chapter 07.02
Solving the above two equations gives
ba
c1 
2
ba
c2 
2
Hence
b
ba
ba
a f ( x)dx  2 f (a)  2 f (b)
(17)
(18)
Method 5: Another approach on the Method of Coefficients
The trapezoidal rule can also be derived by the method of coefficients by another approach
b
ba
ba
a f ( x)dx  2 f (a)  2 f (b)
Assume
b
 f ( x)dx  c
1
f (a)  c2 f (b)
(19)
a
Let the right hand side be exact for integrals of the form
b
 a
0
 a1 x dx
a
So
b

x2 




a

a
x
dx

a
x

a
1
a 0 1
 0
2  a

 b2  a2 

 a0 b  a   a1 
2


But we want
b
b
 a
0
 a1 x dx  c1 f (a)  c2 f (b)
(20)
(21)
a
to give the same result as Equation (20) for f ( x)  a0  a1 x .
b
 a
0
 a1 x dx  c1 a0  a1a   c2 a0  a1b 
a
 a0 c1  c2   a1 c1a  c2 b
Hence from Equations (20) and (22),
 b2  a2 
  a0 c1  c2   a1 c1a  c2 b 
a0 b  a   a1 
 2 
Since a 0 and a1 are arbitrary for a general straight line
c1  c2  b  a
(22)
Trapezoidal Rule
07.02.7
b2  a2
c1 a  c 2 b 
2
Again, solving the above two equations (23) gives
ba
c1 
2
ba
c2 
2
Therefore
(23)
(24)
b
 f ( x)dx  c
1
f (a)  c2 f (b)
a
ba
ba
f (a) 
f (b)
2
2

(25)
Example 1
All electrical components, especially off-the-shelf components do not match their nominal
value. Variations in materials and manufacturing as well as operating conditions can affect
their value. Suppose a circuit is designed such that it requires a specific component value,
how confident can we be that the variation in the component value will result in acceptable
circuit behavior? To solve this problem a probability density function is needed to be
integrated to determine the confidence interval. For an oscillator to have its frequency within
5% of the target of 1 kHz, the likelihood of this happening can then be determined by finding
the total area under the normal distribution for the range in question:
2.9
1     

1
x2
2
e dx
2
a) Use single segment Trapezoidal rule to find the frequency.
b) Find the true error, E t , for part (a).
c) Find the absolute relative true error for part (a).
Solution
 f a   f b  
a)
I  b  a 
 , where
2

a  2.15
b  2.9
 2.15
f ( x) 
1
2
e
f  2.15 

x2
2

1
2.152
e
2
 0.03955
f 2.9 
1
2
e

2.9 2
2
2
07.02.8
Chapter 07.02
 0.0059525
 0.039550  0.0059525 
I  2.9   2.15

2

 0.11489
b) The exact value of the above integral cannot be found. For calculating the true error and
relative true error, we assume the value obtained by adaptive numerical integration using
Maple as the exact value.
2.9
1     
 2.15
x2
1 2
e dx
2
 0.98236
so the true error is
Et  True Value  Approximate Value
 0.98236  0.11489
 0.86746
c) The absolute relative true error, t , would then be
t 

True Error
 100 %
True Value
0.98236  0.11489
 100 %
0.98236
 88.304 %
Multiple-Segment Trapezoidal Rule
In Example 1, the true error using a single segment trapezoidal rule was large. We can
divide the interval [2.15,2.9] into [2.15,0.375] and [0.375,2.9] intervals and apply the
trapezoidal rule over each segment.
2.9
1     
2.15
x2
1 2
e dxt
2
2.9
0.375
2.9
2.15
2.15
0.375
 f ( x)dx   f ( x)dx   f ( x)dx
 f (2.15)  f (0.375) 
 f (0.375)  f (2.9) 
 (0.375  (2.15)) 
 (2.9  0.375) 


2
2



 2.152
1 
f (2.15) 
e
2
 0.039550
2
Trapezoidal Rule
07.02.9
1 
f 0.375 
e
2
 0.37186
0.3752
2
5
 2.9 2
1  2
f 2.9  
e
2
 0.0059525
Hence
 0.039550  0.37186 
 0.37186  0.0059525 
 (2.9  0.375) 


2
2


2.9
 f ( x)dx  (0.375  (2.15)) 
2.15
 0.996393
The true error, E t is
Et  0.98236  0.996393
 0.014033
The true error now is reduced from 0.86746 to  0.014033 . Extending this procedure to
dividing [a, b] into n equal segments and applying the trapezoidal rule over each segment,
the sum of the results obtained for each segment is the approximate value of the integral.
Divide (b  a ) into n equal segments as shown in Figure 4. Then the width of each segment
is
ba
h
(26)
n
The integral I can be broken into h integrals as
b
I   f ( x)dx
a
ah


a
a2h
f ( x)dx 

ah
f ( x)dx  ... 
a  ( n 1) h

f ( x)dx 
a ( n2) h
b
 f ( x)dx
a  ( n 1) h
(27)
07.02.10
Chapter 07.02
Figure 4 Multiple ( n  4 ) segment trapezoidal rule
Applying trapezoidal rule Equation (27) on each segment gives
b
 f (a)  f (a  h) 
a f ( x)dx  (a  h)  a

2
 f ( a  h)  f ( a  2h) 
 (a  2h)  (a  h)

2

 f (a  (n  2)h)  f (a  (n  1)h) 
 ……………  a  (n  1)h   a  (n  2)h 

2

 f (a  (n  1)h)  f (b) 
 b  a  (n  1)h 

2

 f ( a )  f ( a  h) 
 f ( a  h)  f ( a  2h) 
 h
 h

  ...................
2
2



 f (a  (n  2)h)  f (a  (n  1)h) 
 f (a  (n  1)h)  f (b) 
 h
 h


2
2



 f (a )  2 f (a  h)  2 f (a  2h)  ...  2 f (a  (n  1)h)  f (b) 
 h

2




h
 n1

f
(
a
)

2
 f (a  ih )  f (b)

2
 i 1




ba 
 n1

f
(
a
)

2
 f (a  ih )  f (b)

2n 
 i 1


(28)
Example 2
All electrical components, especially off-the-shelf components do not match their nominal
value. Variations in materials and manufacturing as well as operating conditions can affect
their value. Suppose a circuit is designed such that it requires a specific component value,
how confident can we be that the variation in the component value will result in acceptable
Trapezoidal Rule
07.02.11
circuit behavior? To solve this problem a probability density function is needed to be
integrated to determine the confidence interval. For an oscillator to have its frequency within
5% of the target of 1 kHz, the likelihood of this happening can then be determined by finding
the total area under the normal distribution for the range in question:
2.9
1     
1

x2
2
e dx
2
a) Use 2-segment Trapezoidal rule to find the frequency.
b) Find the true error, E t , for part (a).
c) Find the absolute relative true error for part (a).
 2.15
Solution
a)

ba
 n1

f
(
a
)

2
 f (a  ih )  f (b)

2n 
 i 1


n2
a  2.15
b  2.9
x2
1 2
f ( x) 
e
2
ba
h
n
2.9   2.15

2
 2.5250

2.9   2.15 
 21

I
 f  2.15  2 f a  ih   f 2.9
22
 i 1



I
1
5.05 



f

2
.
15

2
f  2.15  i  2.525  f 2.9


4 
i 1

5.05
 f  2.15  2 f  2.15  i  2.525  f 2.9

4
5.05
 f  2.15  2 f 0.375  f 2.9

4
5.05
0.039550  20.37186  0.0059525

4
 0.99638

Since,
 2.152
1  2
f  2.15 
e
2
 0.039550
07.02.12
Chapter 07.02
 2.9 2
1  2
f 2.9  
e
2
 0.0059525
0.3752
1 
f 0.375 
e
2
 0.37186
2
b) The exact value of the above integral cannot be found. We assume the value obtained by
adaptive numerical integration using Maple as the exact value for calculating the true error
and relative true error.
2.9
1     
 2.15
1
2
e

x2
2
dx
 0.98236
so the true error is
Et  True Value  Approximate Value
 0.98236  0.99638
 0.014025
c) The absolute relative true error, t , would then be
t 

True Error
 100 %
True Value
0.98236  0.99638
 100 %
0.98236
 1.4276 %
Table 1 Values obtained using multiple-segment Trapezoidal rule for
2
1-α  =  -2.15
2.9
1 - x2
e dx
2π
n
Value
Et
1
2
3
4
5
6
7
8
0.11489
0.99638
0.96093
0.96969
0.97402
0.97649
0.97801
0.97901
0.86746
0.014025
0.021427
0.012670
0.0083332
0.0058680
0.0043459
0.0033441
t %
88.304
1.4276
2.1812
1.2897
0.84829
0.59734
0.44239
0.34042
a %
--88.469
3.6891
0.90338
0.44455
0.25359
0.15542
0.10214
Trapezoidal Rule
07.02.13
Example 3
Use the multiple-segment trapezoidal rule to find the area under the curve
300 x
f ( x) 
1 ex
from x  0 to x  10 .
Solution
Using two segments, we get
10  0
h
5
2
300(0)
f ( 0) 
0
1  e0
300(5)
f (5) 
 10.039
1  e5
300(10)
f (10) 
 0.136
1  e10

ba
 n1

I
f
(
a
)

2
 f (a  ih )  f (b)

2n 
 i 1



10  0 
 21

f
(
0
)

2
 f (0  5)  f (10)

2(2) 
 i 1


10
  f (0)  2 f (5)  f (10)
4
10
 0  2(10.039)  0.136  50.537
4
So what is the true value of this integral?
10
300 x
0 1  e x dx  246.59
Making the absolute relative true error
246.59  50.535
t 
 100
246.59
 79.506%
Why is the true value so far away from the approximate values? Just take a look at Figure 5.
As you can see, the area under the “trapezoids” (yeah, they really look like triangles now)
covers a small portion of the area under the curve. As we add more segments, the
approximated value quickly approaches the true value.

07.02.14
Chapter 07.02
Figure 5 2-segment trapezoidal rule approximation.
10
Table 2 Values obtained using multiple-segment trapezoidal rule for
300 x
1 e
x
dx .
0
n
Approximate
Value
Et
1
0.681
245.91 99.724%
2
50.535
196.05 79.505%
4
170.61
75.978 30.812%
8
227.04
19.546 7.927%
t
16 241.70
4.887
1.982%
32 245.37
1.222
0.495%
64 246.28
0.305
0.124%
Example 4
Use multiple-segment trapezoidal rule to find
2
1
I 
dx
x
0
Solution
We cannot use the trapezoidal rule for this integral, as the value of the integrand at x  0 is
infinite. However, it is known that a discontinuity in a curve will not change the area under
it. We can assume any value for the function at x  0 . The algorithm to define the function
so that we can use the multiple-segment trapezoidal rule is given below.
Trapezoidal Rule
07.02.15
Function f (x)
If x  0 Then f  0
If x  0 Then f  x ^ (0.5)
End Function
Basically, we are just assigning the function a value of zero at x  0 . Everywhere else, the
function is continuous. This means the true value of our integral will be just that—true.
Let’s see what happens using the multiple-segment trapezoidal rule.
Using two segments, we get
20
h
1
2
f (0)  0
1
f (1) 
1
1
1
f (2) 
 0.70711
2

ba
 n1

I
f
(
a
)

2
 f (a  ih )  f (b)

2n 
 i 1


21

20



 f (0)  2 f (0  1)  f (2)
2(2) 
 i 1


2
  f (0)  2 f (1)  f (2)
4
2
 0  2(1)  0.70711
4
 1.3536
So what is the true value of this integral?
2
1
0 x dx  2.8284
Thus making the absolute relative true error
2.8284  1.3536
t 
 100
2.8284
 52.145%
07.02.16
Chapter 07.02
2
Table 3 Values obtained using multiple-segment trapezoidal rule for

0
Approximate
Value
2
1.354
4
1.792
8
2.097
16
2.312
32
2.463
64
2.570
128 2.646
256 2.699
512 2.737
1024 2.764
2048 2.783
4096 2.796
n
Et
t
1.474
1.036
0.731
0.516
0.365
0.258
0.182
0.129
0.091
0.064
0.045
0.032
52.14%
36.64%
25.85%
18.26%
12.91%
9.128%
6.454%
4.564%
3.227%
2.282%
1.613%
1.141%
1
x
dx .
Error in Multiple-segment Trapezoidal Rule
The true error for a single segment Trapezoidal rule is given by
(b  a ) 3
Et  
f " ( ), a    b
12
Where  is some point in a, b .
What is the error then in the multiple-segment trapezoidal rule? It will be simply the sum of
the errors from each segment, where the error in each segment is that of the single segment
trapezoidal rule. The error in each segment is
(a  h )  a 3 f " ( ), a    a  h
E1  
1
1
12
h3

f " ( 1 )
12
(a  2h)  (a  h)3 f " ( ), a  h    a  2h
E2  
2
2
12
h3

f " ( 2 )
12
.
.
.
3

(a  ih )  (a  (i  1)h )
Ei  
f " ( i ), a  (i  1)h   i  a  ih
12
h3

f " ( i )
12
Trapezoidal Rule
.
.
.
En 1
07.02.17
3


a  (n  1)h a  (n  2)h

12
f " ( n1 ), a  (n  2)h   n1  a  (n  1)h
h3

f " ( n 1 )
12
3

b  a  (n  1)h
En  
f " ( n ), a  (n  1)h   n  b
12
h3

f " ( n )
12
Hence the total error in the multiple-segment trapezoidal rule is
n
Et   Ei
i 1
h3 n
 f " ( i )
12 i 1
(b  a ) 3 n

 f " ( i )
12n 3 i 1

n
(b  a )

12n 2
3
 f " ( )
i
i 1
n
n
 f " (
The
term
i 1
i
)
n
derivative f " ( x), a  x  b .
Hence
n
is
an
approximate
average
value
of
the
second
f " ( i )
(b  a ) 3 
i 1
Et  
12n 2
n
In Table 4, the approximate value of the integral
30


140000


8  2000 ln 140000  2100t   9.8t dt
is given as a function of the number of segments. You can visualize that as the number of
segments are doubled, the true error gets approximately quartered.
07.02.18
Chapter 07.02
Table 4 Values obtained using multiple-segment trapezoidal rule for
30


140000


x    2000 ln 
 9.8t dt .

140000  2100t 

8
Approximate
Value
2 11266
4 11113
8 11074
16 11065
n
Et
t %
a %
-205
-52
-13
-4
1.853
0.4701
0.1175
0.03616
5.343
0.3594
0.03560
0.00401
For example, for the 2-segment trapezoidal rule, the true error is -205, and a quarter of that
error is -51.25. That is close to the true error of -48 for the 4-segment trapezoidal rule.
Can you answer the question why is the true error not exactly -51.25? How does this
information help us in numerical integration? You will find out that this forms the basis of
Romberg integration based on the trapezoidal rule, where we use the argument that true error
gets approximately quartered when the number of segments is doubled. Romberg integration
based on the trapezoidal rule is computationally more efficient than using the trapezoidal rule
by itself in developing an automatic integration scheme.
INTEGRATION
Topic
Trapezoidal Rule
Summary These are textbook notes of trapezoidal rule of integration
Major
Electrical Engineering
Authors
Autar Kaw, Michael Keteltas
Date
July 12, 2016
Web Site http://numericalmethods.eng.usf.edu
Download