Table 6.1.1 lists several forms of the integration-by-parts algorithm, a useful technique for obtaining antiderivatives.
|
|
|
|
Table 6.1.1 Various forms of the integration-by-parts algorithm
|
|
|
The first row of Table 6.1.1 provides two forms for applying parts integration to an indefinite integral; the second row, two forms for definite integration. Note that for the definite integral, the "boundary term" must also be evaluated at the endpoints so that .
One of Maple's built-in tools uses the form in the left-hand column; the form in the right-hand column is probably easier to remember.
The algorithm is obtained by integrating the product rule for differentiation:
|
|
|
|
|
|
|
|
or
.
and hence