Quiz:Integration by parts: Difference between revisions
No edit summary |
|||
(34 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
For background, see [[integration by parts]]. | For background, see [[integration by parts]]. | ||
==Statement== | |||
===Formal manipulation version for definite integration in function notation=== | |||
<quiz display=simple> | |||
{Suppose <math>F,G</math> are continuously differentiable functions defined on all of <math>\R</matH>. Suppose <math>a,b</math> are real numbers with <math>a < b</math>. Suppose, further, that <math>G(x)</math> is identically zero everywhere except on the open interval <math>(a,b)</math>. Then, what can we say about the relationship between the numbers <math>P = \int_a^b F(x)G'(x) \,dx</math> and <math>Q = \int_a^b F'(x)G(x) \, dx</math>? | |||
|type="()"} | |||
- <math>P = Q</math> | |||
+ <math>P = -Q</math> | |||
|| Using integration by parts, we get that <math>P = [F(x)G(x)]_a^b - Q</math>. By assumption, <math>G(x) = 0</math> outside the open interval <math>(a,b)</math>, so <math>G(a) = G(b) = 0</math>. Thus, the expression <math>[F(x)G(x)]_a^b</math> evaluates to zero. We are left with <math>P = -Q</math>. | |||
- <math>PQ = 0</math> | |||
- <math>P = 1 - Q</math> | |||
- <math>PQ = 1</math> | |||
</quiz> | |||
==Key observations== | ==Key observations== | ||
===Equivalence of integration problems=== | |||
<quiz display=simple> | <quiz display=simple> | ||
{Which of the following is ''not'' true (the ones that are true can be deduced from integration by parts)? | {Which of the following is ''not'' true (the ones that are true can be deduced from integration by parts)?<br>'''RELATED COMPUTATIONAL QUESTIONS''' (well, sort of): <math>\int (e^x)(1/x^2) \, dx</math>, <math>\int x \tan x \, dx</math> | ||
|type="()"} | |type="()"} | ||
+ We can compute an expression for the antiderivative of the [[pointwise product of functions]] <math>fg</math> based on knowledge of expressions for <math>f</math>, <math>g</math>, and their antiderivatives. | + We can compute an expression for the antiderivative of the [[pointwise product of functions]] <math>fg</math> based on knowledge of expressions for <math>f</math>, <math>g</math>, and their antiderivatives. | ||
- Suppose <math>F</math> and <math>G</math> are everywhere differentiable. Given an expression for the antiderivative for the [[pointwise product of functions]] <math>\! F'G</math>, we can obtain an expression for the antiderivative for the pointwise product <math>\! FG'</math>. | - Suppose <math>F</math> and <math>G</math> are everywhere differentiable. Given an expression for the antiderivative for the [[pointwise product of functions]] <math>\! F'G</math>, we can obtain an expression for the antiderivative for the pointwise product <math>\! FG'</math>. | ||
- If <math>F</math> is a one-to-one function, we can find an antiderivative for <math>F^{-1}</math> in terms of <math>F^{-1}</math> and an antiderivative for <math>F</math>. | - If <math>F</math> is a one-to-one function, we can find an antiderivative for <math>F^{-1}</math> in terms of <math>F^{-1}</math> and an antiderivative for <math>F</math>. | ||
</quiz> | |||
{ | For more quiz questions on the theme of equivalence of integration problems, see [[Quiz:Equivalence of integration problems]]. | ||
===Repeated use of integration by parts and the circular trap=== | |||
<quiz display=simple> | |||
{Suppose we start with a product of two functions <math>F</math> and <math>g</math>. Apply integration by parts <math>k</math> times. Start off by taking <math>F</math> as the part to differentiate and <math>g</math> as the part to integrate. Each time, take the part to differentiate as the function obtained by differentiation, and the part to integrate as the function obtained by integration. Assuming that the process of repeatedly finding antiderivatives works without a hitch, what can we conclude about the final integrand? Ignore the other times in the antiderivative that don't involve integral signs. | |||
|type="()"} | |||
- It is a product of the <math>k^{th}</math> derivative of <math>F</math> and the <math>k^{th}</math> derivative of <math>g</math>. | |||
+ It is a product of the <math>k^{th}</math> derivative of <math>F</math> and the <math>k^{th}</math> antiderivative of <math>g</math>. | |||
- It is a product of the <math>k^{th}</math> antiderivative of <math>F</math> and the <math>k^{th}</math> derivative of <math>g</math>. | |||
- It is a product of the <math>k^{th}</math> antiderivative of <math>F</math> and the <math>k^{th}</math> antiderivative of <math>g</math>. | |||
{Consider the integration <math>\int p(x) q''(x) \, dx</math>. Apply integration by parts twice, first taking <math>p</math> as the part to differentiate, and <math>q</math> as the part to integrate, and then again apply integration by parts to avoid a circular trap. What can we conclude?<br> | |||
'''RELATED COMPUTATIONAL QUESTIONS''': <math>\int x e^x \, dx</math> (think <math>p(x) = x, q(x) = e^x</math>), <math>\int x^2 (\sin x) \, dx</math> (think <math>p(x) = x^2</math>, <math>q(x) = -\sin x</math>) | |||
|type="()"} | |type="()"} | ||
- | - <math>\int p(x) q''(x) \, dx = \int p''(x) q(x) \, dx</math> | ||
- <math>\int p(x) q''(x) \, dx = \int p'(x) q'(x) \, dx - \int p''(x) q(x) \, dx</math> | |||
- <math>\int p(x)q''(x) \,dx = p'(x)q'(x) - \int p''(x) q(x)\, dx</math> | |||
+ <math>\int p(x)q''(x) \,dx = p(x)q'(x) - p'(x)q(x) + \int p''(x) q(x)\, dx</math> | |||
- <math>\int p(x)q''(x) \,dx = p(x)q'(x) - p'(x)q(x) - \int p''(x) q(x)\, dx</math> | |||
{Which of the following is an ''incorrect'' way of applying integration by parts twice? | {Which of the following is an ''incorrect'' way of applying integration by parts twice? | ||
Line 25: | Line 55: | ||
|| No! The recursive version of integration by parts also differentiates again the part obtained by differentiation, but ''additionally'' it may perform some manipulation based on algebraic or trigonometric identities. | || No! The recursive version of integration by parts also differentiates again the part obtained by differentiation, but ''additionally'' it may perform some manipulation based on algebraic or trigonometric identities. | ||
{Which of the following integrations can be | </quiz> | ||
===Recursive version of integration by parts=== | |||
See the questions in the next section, [[#Choosing the parts to integrate and differentiate]]. | |||
===Integration by parts is not the exclusive strategy for products=== | |||
<quiz display=simple> | |||
{Which of the following correctly describes the relationship between integration by parts and integration by u-substitution when deciding to integrate a [[pointwise product of functions]] or a [[composite of two functions]]? | |||
|type="()"} | |||
- Integration by parts, which is obtained from the [[product rule for differentiation]], is the exclusive strategy for integrating products. Integration by u-substitution, which is obtained from the [[chain rule for differentiation]], is the exclusive strategy for integrating composites. | |||
- Integration by parts, which is obtained from the [[product rule for differentiation]], is the exclusive strategy for integrating composites. Integration by u-substitution, which is obtained from the [[chain rule for differentiation]], is the exclusive strategy for integrating products. | |||
+ Both methods are useful for both types of integrations. Specifically, integration by parts helps with certain kinds of products and composites, and integration by u-substitution helps with certain kinds of products. | |||
|| For instance, for products of the form <math>h(g(x))g'(x)</math> it is useful to integrate by the u-substitution <math>u = g(x)</math>. On the other hand, for function such as <math>x \sin x</math>, we use integration by parts. Even for pure composites, we may use integration by parts, either directly or combined with integration by u-substitution. For instance, <math>\cos (\ln x)</math> | |||
{Which of the following functions of <math>x</math> can be integrated with respect to <math>x</math> ''without'' integration by parts, and purely using [[integration by u-substitution]] and the knowledge of the antiderivative of the cosine function? | |||
|type="()"} | |type="()"} | ||
- <math>x^2 \cos x</math> | - <math>x^2 \cos x</math> | ||
Line 35: | Line 81: | ||
</quiz> | </quiz> | ||
== | ==Choosing the parts to integrate and differentiate== | ||
===Products and typical strategies=== | |||
Review the strategies for products and determining the parts to integrate and differentiate: <toggledisplay> | |||
{{#lst:integration by parts|product strategies}}</toggledisplay> | |||
<quiz display=simple> | <quiz display=simple> | ||
{Suppose <math>p</math> is a polynomial function. In order to find the indefinite integral for a function of the form <math>x \mapsto p(x)\sin x</math>, the general strategy, which always works, is to take <math>p(x)</math> as the part to differentiate and <math>\sin x</math> as the part to integrate, and keep repeating the process. Which of the following is the best explanation for why this strategy works? | {Suppose <math>p</math> is a polynomial function. In order to find the indefinite integral for a function of the form <math>x \mapsto p(x)\sin x</math>, the general strategy, which always works, is to take <math>p(x)</math> as the part to differentiate and <math>\sin x</math> as the part to integrate, and keep repeating the process. Which of the following is the best explanation for why this strategy works?<br> | ||
'''RELATED COMPUTATIONAL PRACTICE''': <math>\int x^2 \sin x \,dx</math>, <math>\int x \sin x \, dx</math>, <math>\int (x^2 + 1)^2 \cos x \, dx</math>, <math>\int x \cos^2 x \, dx</math>, <math>\int 2x \cos (3x) \, dx</math> | |||
|type="()"} | |type="()"} | ||
- <math>\sin</math> can be repeatedly differentiated and polynomials can be repeatedly integrated, giving polynomials all the way. | - <math>\sin</math> can be repeatedly differentiated and polynomials can be repeatedly integrated, giving polynomials all the way. | ||
Line 90: | Line 98: | ||
{Suppose <math>p</math> is a polynomial function. In order to find the indefinite integral for a function of the form <math>x \mapsto p(x)\exp(x)</math>, the general strategy, which always works, is to take <math>p(x)</math> as the part to differentiate and <math>\exp(x)</math> as the part to integrate, and keep repeating the process. Which of the following is the best explanation for why this strategy works? | {Suppose <math>p</math> is a polynomial function. In order to find the indefinite integral for a function of the form <math>x \mapsto p(x)\exp(x)</math>, the general strategy, which always works, is to take <math>p(x)</math> as the part to differentiate and <math>\exp(x)</math> as the part to integrate, and keep repeating the process. Which of the following is the best explanation for why this strategy works? | ||
'''RELATED COMPUTATIONAL PRACTICE''': <math>\int x e^x \, dx</math>, <math>\int x^2 e^x\, dx</math>, <math>\int (x +3) e^{-4x} \, dx</math> | |||
|type="()"} | |type="()"} | ||
- <math>\exp</math> can be repeatedly differentiated and polynomials can be repeatedly integrated, giving polynomials all the way. | - <math>\exp</math> can be repeatedly differentiated and polynomials can be repeatedly integrated, giving polynomials all the way. | ||
Line 97: | Line 106: | ||
- <math>\exp</math> and polynomials can both be repeatedly integrated. | - <math>\exp</math> and polynomials can both be repeatedly integrated. | ||
{Consider the function <math>x \mapsto \exp(x) \sin x</math>. This function can be integrated using integration by parts. What can we say about how integration by parts works? | {Consider the function <math>x \mapsto \exp(x) \sin x</math>. This function can be integrated using integration by parts. What can we say about how integration by parts works?<br> | ||
'''RELATED COMPUTATIONAL PRACTICE''': <math>\int e^{-x} \cos x \, dx</math>, <math>\int e^x \cos x \, dx</math>, <math>\int e^x \sin^2 x \, dx</math> | |||
|type="()"} | |type="()"} | ||
- We choose <matH>\exp</math> as the part to integrate and <math>\sin</math> as the part to differentiate, and apply this process once to get the answer directly. | - We choose <matH>\exp</math> as the part to integrate and <math>\sin</math> as the part to differentiate, and apply this process once to get the answer directly. | ||
- We choose <matH>\exp</math> as the part to integrate and <math>\sin</math> as the part to differentiate, and apply this process once, then use a ''recursive'' method (identify the integrals on the left and right side) to get the answer. | - We choose <matH>\exp</math> as the part to integrate and <math>\sin</math> as the part to differentiate, and apply this process once, then use a ''recursive'' method (identify the integrals on the left and right side) to get the answer. | ||
- We choose <matH>\exp</math> as the part to integrate and <math>\sin</math> as the part to differentiate, and apply this process | - We choose <matH>\exp</math> as the part to integrate and <math>\sin</math> as the part to differentiate, and apply this process twice to get the answer directly. | ||
+ We choose <matH>\exp</math> as the part to integrate and <math>\sin</math> as the part to differentiate, and apply this process twice, then use a ''recursive'' method (identify the integrals on the left and right side) to get the answer. | + We choose <matH>\exp</math> as the part to integrate and <math>\sin</math> as the part to differentiate, and apply this process twice, then use a ''recursive'' method (identify the integrals on the left and right side) to get the answer. | ||
|| Applying integration by parts twice, we get <math>\int e^x \sin x \,dx = e^x (\sin x - \cos x) - \int e^x\sin x \, dx</math>. Now, rearrange and simplify. | || Applying integration by parts twice, we get <math>\int e^x \sin x \,dx = e^x (\sin x - \cos x) - \int e^x\sin x \, dx</math>. Now, rearrange and simplify. | ||
{Suppose <math>a</math> | {Suppose <math>p</math> is a polynomial function. Consider the function <math>x \mapsto p(x) \ln x</math> for <math>x > 0</math>. This function can be integrated using integration by parts and knowledge of how to integrate polynomials. Which of the following is the best integration strategy?<br> | ||
'''RELATED COMPUTATIONAL PRACTICE''': <math>\int \ln x \, dx</math>, <math>\int x \ln x \, dx</math>, <math>\int (x^2 - 2)\ln(x + 3) \,dx</math>. | |||
|type="()"} | |||
- Take <math>p</math> as the part to differentiate and <math>\ln</math> as the part to integrate. Integration by parts needs to be applied just once. | |||
+ Take <math>p</math> as the part to integrate and <math>\ln</math> as the part to differentiate. Integration by parts needs to be applied just once. | |||
|| Let <math>P</math> be a polynomial antiderivative for <math>p</math> chosen to have no constant term. Then, the first application of integration by parts gives: <math>(\ln x)P(x) - \int \frac{P(x)}{x} \, dx</math>. Since <math>P</math> has no constant term, <math>P(x)/x</math> is also a polynomial, and can be integrated by the usual method of integrating polynomials. Note that we needed to apply integration by parts only once. | |||
- Take <math>p</math> as the part to differentiate and <math>\ln</math> as the part to integrate. Integration by parts needs to be applied as many times as the degree of <math>p</math>. | |||
- Take <math>p</math> as the part to integrate and <math>\ln</math> as the part to differentiate. Integration by parts needs to be applied as many times as the degree of <math>p</math>. | |||
{Suppose <math>p</math> and <math>q</math> are polynomial functions. Consider the function <math>x \mapsto p(x) q(\ln x)</math> for <math>x > 0</math>. This function can be integrated using integration by parts and knowledge of how to integrate polynomials. Using the best strategy, how many times do we need to apply integration by parts?<br> | |||
'''RELATED COMPUTATIONAL PRACTICE''': <math>\int x^3(\ln x)^2 \, dx</math>, <math>\int (x^2 + 1)((\ln x)^2 + 1)) \, dx</math> | |||
|type="()"} | |type="()"} | ||
- | - The number of times equals the sum of degrees of <math>p</math> and <matH>q</math>. | ||
- The number of times equals the product of degrees of <math>p</math> and <math>q</math>. | |||
- The number of times equals the degree of <math>p</math>. | |||
- <math> | + The number of times equals the degree of <math>q</math>. | ||
{Suppose <math> | {Suppose <math>p</math> and <math>q</math> are polynomial functions. Consider the function <math>x \mapsto p(x) \ln(q(x))</math>. Assume we are integrating over a domain where <matH>q(x)</math> is positive. How can we integrate this function, and why does the method work?<br> | ||
'''RELATED COMPUTATIONAL PRACTICE''': <math>\int \ln(x^2 + 1) \, dx</math>, <math>\int x \ln(x^3 + 1) \, dx</math> | |||
|type="()"} | |type="()"} | ||
- <math> | - We can integrate the function by applying integration by parts repeatedly, taking <math>\ln(q(x))</math> as the part to differentiate and <math>p(x)</math> as the part to integrate. The number of times we need to apply integration by parts is the degree of <matH>q</math>. | ||
+ We can integrate the function by applying integration by parts, taking <math>\ln(q(x))</math> as the part to differentiate and <math>p(x)</math> as the part to integrate, and then integrating the rational function so obtained. We use the fact that there is a strategy for integrating any rational function. | |||
- We can integrate the function by applying integration by parts repeatedly, taking <math>\ln(q(x))</math> as the part to integrate and <math>p(x)</math> as the part to differentiate. The number of times we need to apply integration by parts is the degree of <matH>p</math>. | |||
- We can integrate the function by applying integration by parts, taking <math>\ln(q(x))</math> as the part to integrate and <math>p(x)</math> as the part to differentiate, and then integrating the rational function so obtained. We use the fact that there is a strategy for integrating any rational function. | |||
</quiz> | </quiz> |
Latest revision as of 02:22, 21 November 2012
For background, see integration by parts.
Statement
Formal manipulation version for definite integration in function notation
Key observations
Equivalence of integration problems
For more quiz questions on the theme of equivalence of integration problems, see Quiz:Equivalence of integration problems.
Repeated use of integration by parts and the circular trap
Recursive version of integration by parts
See the questions in the next section, #Choosing the parts to integrate and differentiate.
Integration by parts is not the exclusive strategy for products
Choosing the parts to integrate and differentiate
Products and typical strategies
Review the strategies for products and determining the parts to integrate and differentiate: [SHOW MORE]