Miscellaneous · Q33:
Prove that
Let .
Taking as the first function and as the second, by parts:
. Hence proved.
Want the reason behind every step, the basics and the checks?
The integrand is a product of a polynomial and an exponential . Integration by parts with as the first function removes the (its derivative is 1) while integrates to itself. What is left, , is immediate. The antiderivative happens to vanish at the upper limit, which is why the answer is so clean.
- Given
- .
- To show
- .
- Plan
- (1) Continuity. (2) Choose the first and second functions. (3) Integrate by parts. (4) Check by differentiating. (5) Evaluate from 0 to 1.
Basics you need
: "first function times integral of the second, minus the integral of (derivative of the first times integral of the second)". Lesson: integration by parts
and (standard formula (xi), Section 7.2); . Basics: integration undoes differentiation
for continuous with antiderivative . Lesson: definite integrals
Solution
The integrand is continuous on
and are continuous on all of , so their product is continuous on , and Theorem 2 applies.
Every definite integral starts with this check (Remark (iv) after Theorem 2). Here it is immediate.Choose the first function:
Remark (iii) of Section 7.6: when one factor is a polynomial and the other is not inverse trigonometric or logarithmic, take the polynomial as the first function. Differentiating gives 1, so the new integral has no left in it. The other choice, , , would produce , which is worse. (The book makes the same choice in Example 19.)Integrate by parts
Call . It is valid for every real .
This is with and . No constant is needed when finding (Remark (ii), Section 7.6).Section 7.6, formula (1); standard formula (xi), Section 7.2. Lesson: integration by partsCheck: differentiate back
The product rule gives two terms; the and cancel, leaving the integrand.Product rule (Chapter 5); . Basics: integration undoes differentiationEvaluate between 0 and 1
, and .
This is the required result.
Theorem 2. The upper value is 0 because of the factor ; the lower value is because . Size check: rises from 0 to on and bends upwards, so the area under it is well below the triangle-like estimate . The value 1 fits.
as was to be proved.
Numerical integration (adaptive quadrature) of over gives 1.0000000000 ✓.
Derivative spot check at : and , so the slope is about (that is, over 0.002), and ✓.
- Choosing : the power of goes up instead of down.
- Sign of the second term: it is , not .
- Taking because "everything has an in it". .
- . More generally, by parts with the polynomial first, is (polynomial).
- This is also an example of (Section 7.6.1) with : .
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| A definite integral needs continuous on | Step 1 | Theorem 2 and Remark (iv), Section 7.8.3 |
| Integration by parts; choice of first function | Steps 2, 3 | Section 7.6, formula (1), Remarks (ii), (iii); Example 19 |
| Step 3 | Standard formula (xi), Section 7.2 | |
| Product rule | Step 4 | Chapter 5, Section 5.3 |
| Step 5 | Theorem 2, Section 7.8.3 | |
| Take-away | Section 7.6.1 |
Tell us if something on this page is wrong or unclear, or if you would like a fuller explanation, another method or a new feature. Send feedback on this problem →