8.2. Integrals
Unfortunately primitive functions are not uniquely determined by the presented integrable function. Due to [8.1.2] (which is in fact an implication of the mean value theorem) however any two primitives of f on an interval differ only in constant addend, which will vanish if we compute the difference of two values of f. This is a crucial feature for the integrals to be introduced now.
For the subsequent text let I be an arbitrary interval.
Definition and Proposition: Let f be an integrable function on I, i.e. and g be any primitive of f. For any two points the number
|
[8.2.1] |
does not depend on the choice of g.
It is called the (definite) integral of f from a to b. The symbol is read as "g at the boundaries a b". a and b are thus the boundaries (or lower and upper limit) of the integral [8.2.1], whereas f is called the integrand.
Proof: If and are two primitives of f we find some c according to [8.1.2] such that . Thus we may compute as follows:
|
Consider:
-
Continuous functions on intervals are integrable ([8.1.5]). Hence the integral exists for each .
-
The term "definite" integral indicates that for its calculation an appropriate primitive function has to be evaluated at the fixed boundaries a and b. With an indefinite integral we would omit this calculation so that the symbol , or sometimes , denotes just some primitive of f. The fundamental theorem of calculus [8.2.13] however demonstrates that this notation conveys a content meaning as well.
-
To save parentheses we stipulate that the operators and should obtain a higher priority than the basic arithmetics. For example we write
instead of
-
The integral [8.2.1] is often denoted by or . This notation originates in an alternative approach to integrals where area measurement is the starting point and has just a symbolic meaning. We will dwell on this only in part 8.4.
Beyond that however and resp. are introduced as a new objects to calculus, so called differential forms
i |
We consider only differential forms of degree 1 in this case which are introduced as follows: Let be a linear function for each , that means
for all
Linear functions are often called homomorphisms and are understood as elements of . The function defined by
is now called a differential form of degree 1 on I (a 1-form on I for short). We naturally assign a 1-form to each differentiable function by setting
for . The function , obviously a homomorphism, is called the differential of g at x whereas is the differential of g. As an example we have because:
.
With being linear all its multiples are homomorphisms as well, thus for any function a differential form is given by setting . If f is integrable for example then
is an integrable differential form such that .
|
. [8.2.1] would then define the integral of the differential form and the notation now has a content meaning.
Example:
-
If the integral of 1 thus calculates the length of the interval given by the integral's bounderies!
-
-
-
The integrand is of the type, see [8.1.11].
Exercise:
-
-
-
i |
Note that the similar integral does not exist as there is no subinterval of the domain that contains −2 and 1. You must not integrate over gaps in the domain!
|
-
Consider [8.1.12] as the integrand is of the type.
|
We start investigating integrals by looking at the behaviour at their boundaries. One important result is: integrals are additive at their boundaries.
Proposition: If f is integrable on I then the following holds for all :
-
| [8.2.2] |
-
| [8.2.3] |
| [8.2.4] |
Proof:
1. ► Let g be a primitive of f. The following identity is a straight forward calculation:
2. ► The assertion comes directly from which is valid because of 1.
3. ► Combining 1. and 2. yields , from which 3. is immediate.
|
1. allows to interrupt an integration at an arbitrary point c (c not even needs to be in between a and b!). Occasionally there are advantages from that. We could for instance calculate the integral without knowing any primitive of .We just split up the integration at 0 and thus have:
.
The next rules (integrals are linear in their integrands) are just integral versions of some derivation rules, namely sum, difference and factor rule.
Proposition: Let be integrable on I and . For all the following identities hold:
-
|
[8.2.5] |
-
|
[8.2.6] |
-
|
[8.2.7] |
Proof:
1. ► If and are primitives of and resp. then is a primitive of due to [8.1.6] and thus we have:
2. and 3. ► follow in a similar way with [8.1.7] and [8.1.8].
|
Consider:
-
We may now integrate polynomials addendwise:
for example .
Product and chain rule are transferable as well. The resulting intergration rules are dealt with in the next part.
We proved several non-trivial properties of differentiable function using the mean value theorem, a basic theorem of calculus and should expect similar strong results from its integral version.
Theorem (mean value theorem, integral version): Let f be an integrable function on I, i.e. . If are any two different points of I then there is an in between a and b such that
|
[8.2.8] |
Proof: Take a primitive g of f. g is differentiable on I with . Due to the mean value theorem [7.9.5] there is thus an in between a and b such that
|
Consider:
-
The proof of [8.2.8] is actually the proof of the implication
mean value theorem, differential version mean value theorem, integral version
In fact however both versions are equivalent as the reverse
mean value theorem, integral version mean value theorem, differential version
is valid as well.
Proof: ?
If then . Due to [8.2.8] there is now an such that
With its integral version [8.2.8] the mean value theorem controls how integrals are affected by properties of their integrands. One example describes integration as a monotone process.
Proposition: The following implications are valid for all :
-
|
[8.2.9] |
-
|
[8.2.10] |
Proof:
1. ► According to [8.2.8] there is an such that
2. ► From the premise we know that . We apply 1. to the integrable ([8.1.7]) function and get
which in fact is the assertion [8.2.10].
|
As the above proof obviously remains valid if we replace by we see that integration is even strictly monotone.
The monotony itself will yield an important estimate that is needed if we are going to interchange integral and absolute value.
Proposition: For all we have
|
[8.2.11] |
Proof: First we note that f and are continuous functions on an interval and are thus integrable. And as for all [8.2.10] guarantees that
which is the assertion.
i |
This is in fact a property of the absolute value: The zero distance of a number x does not exceed r if and only if x is in between −r and r, i.e.
|
|
Consider:
-
In general the estimate [8.2.11] could not be tightened to =. For example, as shown above, , but .
If however the algebraic sign of f is homogeneous on , that means or resp. for all , [8.2.11] may be replaced by the identity
|
[8.2.12] |
Proof: According to [8.2.10] we have:
1. ► for all , thus:
2. ► for all , thus:
The next statement is an important joining element between differential and integral calculus. Moreover with suitable techniques at hand it will allow us to calculate primitives, which puts the triviality "Calculating integrals needs a good grasp of finding primitives" upside down: "Finding primitives needs a good grasp of calculating integrals".
Theorem (Fundamental theorem of calculus): Let be integrable on I. For each the function defined by
|
[8.2.13] |
is a primitive function of f.
Proof: We evaluate g at x with an arbitrary primitive h of f
which proves the identity , so that along with h g is a primitive of f as well (g and h only differ in the constant addend !).
|
Consider:
-
[8.2.13] is sometimes called the second fundamental theorem of calculus. The first one would have been our definition [8.2.1] if integrals had been introduced in the alternative way mentioned before.
-
As a primitive the function g from [8.2.13] is of course differentiable. Occasionally this is put into the phrase The integral is a differentiable function of its upper limit.
-
Sometimes we simply use the symbol for the function g which makes the relationship to the the indefinite integrals, as indicated initially, more transparent. Also the notation [8.2.13] (combined with ) supports the phrasing "integration and differentiation (nearly) cancel each other out".
-
due to [8.2.3]. Thus for any integrable f [8.2.13] produces just the one primitive of f that has a zero at c.
-
With that property we see that not all primitives could be produced by the fundamental theorem. The primitive of for instance has no zero and thus would never come out of [8.2.13].
We proved in [8.1.15] that integrability tolerates uniform convergence. Now we will see that even the integral itself is compatible with that kind of convergence..
Proposition: Let be a sequence of integrable function on an interval I. If is the uniform limit of , i.e. , the convergence
|
[8.2.14] |
holds for all .
Proof: First we note that f is integrable due to [8.1.15]. Furthermore [8.2.14] is obviously valid if so that we may assume . Now let be arbitrary. According to the premise there is an such that
for all and all .
Now we find an in between a and b for each n (see the mean value theorem [8.2.8]) such that
and therefore we have for all :
.
|
|
|
|