Integration by parts
ORIGINAL FULL PAGE: Integration by parts
STUDY THE TOPIC AT MULTIPLE LEVELS:
ALSO CHECK OUT: Practical tips on the topic |Quiz (multiple choice questions to test your understanding) |Page with videos on the topic, both embedded and linked to
Statement
Formal manipulation version for indefinite integration in function notation
Suppose and are continuous functions such that is a differentiable function and we want to integrate . Suppose is an antiderivative for . Then, we have:
For symmetry, if we denote by , then this can be written as:
Verbally, the integral of a product of two functions is the first function times the integral of the second function minus the integral of the derivative of the first function times the integral of the second function.
Formal manipulation version in variable transformation notation
Suppose are variables denoting functions of . Then, we have:
More explicitly:
Compared with the notation of the preceding version, , , and .
Formal manipulation version for definite integration in function notation
Suppose and are continuous functions on a closed interval such that is a differentiable function at all points of and we want to integrate . Suppose is an antiderivative for . Then, we have:
The part is shorthand for , in keeping with the standard evaluate between limits notation used for definite integrals.
Verbally, the integral of a product of two functions is the first function times the integral of the second function minus the integral of (the derivative of the first function times the integral of the second function).
Key observations
Equivalence of integration problems
Integration by parts tells us the following:
PUSH DOWN ONE PART, PUSH UP THE OTHER PART OF THE PRODUCT: Integrating a product of two functions is equivalent to integrating a new product where we have differentiated one of the functions and integrating the other.
Repeated use of integration by parts and the circular trap
Integration by parts can be used multiple times, i.e., the new integration that we obtain from an application of integration by parts can again be subjected to integration by parts. However, we need to make sure that we avoid the circular trap.
The typical repeated application of integration by parts looks like:
Circular trap
AVOID THE CIRCULAR TRAP: When using integration by parts a second time, make sure you don't choose as the part to integrate the thing you got by differentiating the part to differentiate from the original product. Otherwise, you get in a circular trap and don't get any new information. The most typical application of integration by parts a second time is if you choose to differentiate again the expression that you already obtained through differentiation the first time
Consider an integration of the form:
where is an antiderivative for . Then:
Suppose that, for the new integral, we choose as the part to differentiate and as the part to integrate. The expression then simplifies to:
Simplifying, we get:
In other words, we ended up with the original expression, and obtained no new information in the process. Another way of saying this is that we went in circles, i.e., went back along the path we came from, hence did not make any progress.
Integration by parts is not the exclusive strategy for products
The first thing to check for when trying to integrate a product of functions is integration by u-substitution, particularly if one of the factors in the product looks like a composite of two functions. Integration by parts should be used if integration by u-substitution does not make sense, which usually happens when it is a product of two apparently unrelated functions.
Also, for trigonometric products, check out integration of product of sinusoidal functions.
Choosing the parts to integrate and differentiate
General heuristics
Recall that for integration by parts, we are trying to integrate a product and in order to do that we differentiate one of the factors and integrate the other factor. Given a product, we need to choose which factor is the part to differentiate and which factor is the part to integrate.
Type of function | How good is it as the part to differentiate and why? | How good is it as the part to integrate and why? |
---|---|---|
logarithmic function, inverse trigonometric function OR composite of logarithmic or inverse trigonometric function with a polynomial (polynomial as the inner step of the composition, logarithmic or inverse trigonometric as outer step) | excellent to differentiate, because differentiating this kind of function gets us into the domain of algebraic functions (rational functions and radical-based expressions) which are simpler. | terrible as the part to integrate, because there is no general formula for integrating these functions, and the antiderivatives are as complicated, or more. |
polynomials | good to differentiate, because differentiating a polynomial makes it simpler (reduces the degree). If a polynomial is differentiated enough times, it becomes zero. | not terrible to integrate, but integrating a polynomial is costly (in terms of degree gain) and should be done only if there is significant reduction in complexity on the other side. |
other algebraic functions (rational functions, radical-based expressions) | differentiating does not usually make them simpler, but we still stay within algebraic functions. | some have an algebraic antiderivative (such as negative integer powers of other than ) are reasonable to integrate. Others, such as and , have antiderivatives that are of the logarithmic or inverse trigonometric type. These are terrible to choose as the part to integrate. In many cases, one integration is fine but repeated integration eventually leads to a situation where we exit the algebraic domain. |
basic trigonometric and exponential functions (sin, cos, exp, sinh, cosh, or expressions that are polynomial in these) | okay to differentiate; there is usually no gain or reduction in complexity | okay to integrate; there is usually no gain or reduction in complexity |
more convoluted trigonometric functions (such as tan, sec, and other expressions that are non-polynomial rational functions if expressed purely in terms of sine and cosine). Analogously, non-polynomial rational functions of hyperbolic sine and hyperbolic cosine | differentiation may make the expressions more complicated, but they stay within the trigonometric and exponential domain | in some cases, integration keeps the function within the trigonometric or exponential domain. These are reasonable to integrate Others have antiderivatives that involve logarithms (such as the tangent function, secant function, etc.) and are terrible to integrate. In many cases, one integration is fine but repeated integration eventually leads to a situation where we land up with a logarithmic function or get something we don't know how to integrate. |
The upshot is that, for the choice of the part to differentiate, we have the following hierarchy:
- Inverse trigonometric functions and logarithmic functions
- Algebraic functions (usually polynomials, but also rational functions and radical-based expressions)
- Trigonometric and exponential functions (both the basic and the convoluted ones)
This hierarchy is often remembered by means of the mnemonic ILATE (standing for Inverse trigonometric, Logarithmic, Algebraic, Trigonometric, Exponential). Sometimes, the mnemonic LIATE is used instead. It should be remembered that there is no real precedence ordering between inverse trigonometric and logarithmic functions, and there is no real precedence ordering between trigonometric and exponential functions.
Products and typical strategies
For further information, refer: Practical:Integration by parts#Products and typical strategies
Product type | Preliminary thoughts | Strategy for this product type | Examples |
---|---|---|---|
polynomial function times basic trigonometric or exponential function (such as sin, cos, exp, cosh, sinh, or a polynomial in such expressions) | The polynomial function can be differentiated, and repeated differentiation keeps making it simpler and simpler until it disappears. The sine or cosine function or exponential function, upon integration, does not get more complicated, and so can be integrated repeatedly. | Take the polynomial function as the part to differentiate, and keep using integration by parts repeatedly till the polynomial disappears. | Trig: Exp: |
inverse trigonometric function or logarithmic function (or composite of such a function with a polynomial function) times polynomial function (the polynomial function could just be the function , which is invisible). | The polynomial function can easily be both differentiated and integrated. The inverse trigonometric or logarithmic function can be differentiated, bringing it into the algebraic domain. | Choose the inverse trigonometric function or logarithmic function as the part to differentiate. | Simple products: Products involving composites: |
trigonometric function times exponential function OR product of trigonometric functions or power of a trigonometric function that can be treated as a product (and other techniques such as integration by u-substitution don't seem to solve the problem completely) | both functions are easy to differentiate and to integrate, with the complexity remaining the same. | We need to use the recursive version of integration by parts. |
Below are some slightly more complicated variants that sometimes run into trouble:
Product type | Preliminary thoughts | Strategy for this product type | Examples |
---|---|---|---|
polynomial function times (trigonometric function that is a non-polynomial rational function in sin and cos) OR (exponential function that is a non-polynomial rational function in sinh and cosh) | The polynomial function can be differentiated, and repeated differentiation keeps making it simpler and simpler until it disappears. The other piece is a gamble. The hope is that it can be integrated at least as many times as is needed to make the polynomial go to zero | Choose the polynomial as the part to differentiate. Repeat. If the polynomial has degree , the strategy works if the trigonometric/exponential piece can be integrated times. | Where it works: (because can be integrated twice within elementary functions) Where it doesn't work: (because cannot be integrated twice within elementary functions) |
inverse trigonometric function or logarithmic function (or composite of such a function with a polynomial function) times non-polynomial algebraic function | The inverse trigonometric or logarithmic function, upon differentiation, lands in the algebraic domain. The hope is that the algebraic function can be integrated within the algebraic domain. | If the algebraic function can be integrated within the algebraic domain, then it works to pick the inverse trigonometric or logarithmic function as the part to differentiate, and the algebraic function as the part to integrate. | where it works: (because has an antiderivative that is a rational function), (because has an antiderivative that is a rational function) where it doesn't work: (because the antiderivative of is not a rational function), (because the antiderivative of is not a rational function) |
Recursive version of integration by parts
For further information, refer: recursive version of integration by parts
Here, we use integration by parts (one or more times) and combine that with some trigonometric identities or algebraic manipulations to see the original integrand re-appear unexpectedly. We then choose an antiderivative so that the linear equation holds without any additive constants, and solve the linear equation for to get the antiderivative . For examples, see sec^3#Integration and sin^2#Integration.
Integration by parts for composite functions
For some composite functions, we can use integration by parts in two steps: (i) do a -substitution that converts it to a product, and (ii) use the integration by parts technique for products. We discuss two typical transformations of this sort:
Original integration | Choice of | New integration |
---|---|---|
, so and | . This is a product of an exponential function and the function . We can now use the appropriate technique: if is polynomial, take as the part to differentiate and repeat till it goes away; if is trigonometric, use the recursive version of integration by parts. | |
, a positive integer | , so , and | . This is the product of a polynomial function and the function . We can now use the appropriate technique: if is a polynomial, then it is just a polynomial integration. If is inverse trigonometric or logarithmic, take that as the part to differentiate. If is trigonometric or exponential, take as the part to differentiate and differentiate repeatedly. |
(similar technique works for ). | , so , and . | . This is the product of the cosine function and . We can now use the appropriate technique: if is polynomial, take as the part to differentiate and repeat till it goes away; if is trigonometric, use the recursive version of integration by parts. |
Integration by parts for composites-cum-products
There are some non-traditional formats for integration by parts. The approach suggested below is to use a -substitution to convert it to a more traditional format. However, this is not necessary and the problem can be tackled directly. However, if tackling the problem directly, one needs to think more carefully about the choice of part to differentiate and part to integrate.
Original integration | How you'd do this directly | Choice of if using -substitution | New integration | Examples |
---|---|---|---|---|
, a polynomial | Take as the part to differentiate, as part to integrate | . | ||
, with trigonometric or exponential | Take as the part to differentiate, as the part to integrate |
Proof
The proof uses the product rule for differentiation.
Indefinite integration version in terms of the product rule for differentiation
Fill this in later
Definite integration version in terms of the product rule for differentiation
Fill this in later