Basic Integration
Example 1. Prove
is integrable on
and, in particular,
| |
Ex 1: Comment
Hint
Visual
Formal Write-Up
Follow-Up
Here we must work from the definitions of integration rather that simply apply the fundamental theorem of calculus and power rule.
Choose a sequence of regular partitions and compute the upper/lower Darboux sums for an arbitrary index of this sequence. It will match, up to a diminishing term, the sought value.
.gif?alt=media)
Integration estimate of over with errors highlighted. Upper Darboux sums are shown with regular partitions.
To verify integrability, it suffices to show the upper and lower Darboux integrals are equal (Step 1). Then we show these integrals equal the desired value (Step 2). Let
be given. Since lower integrals do not exceed upper integrals, the first step may be completed by showing the upper Darboux integral on
exceeds the lower Darboux integral by no more than
, i.e.
| |
where each
is a partition of
The second step is show
.
Step 1. For each
, define the regular partition
, where
| |
so that
for each
Then
| |
Hence
| |
Since
| |
we deduce
| |
By analogous argument,
| |
Combining our results reveals
| |
By the Archimedean property of
, there is
such that
| |
Hence
| |
Since
was chosen arbitrarily, we deduce
, which the first result follows.
Step 2. By construction,
| |
As the Archimedean property also implies
, applying the squeeze lemma yields
| |
| |
Typically, it's easiest to work with regular partitions. These often admit nice formulas for the "error" term in the integrals. The sum formulas used here only work in special cases and, as the proof was already rather long, one may expect to not have to do too complicated of integral proofs (e.g. with
) directly from definitions.
In the formal write-up, we deduced the amount of error from our integral over estimate analytically. However, we could arrive at the same result geometrically, as shown in the "Visual" tab.
Last modified 3mo ago