Unit 1, chapter 4

Linearity and signed contributions for a sum of terms

How linearity of the integral, built from the sum rule and the constant multiple rule, splits a polynomial integral into signed contributions, and how the average value of a function turns the total into a height.

  • Chapter 4
  • Area, Riemann sums, the fundamental theorem and linearity

The function 3x2−4x+23x^2 - 4x + 2 is a sum of three terms, and one of them, −4x-4x, is negative at every point of the interval [0,2][0, 2] except x=0x = 0. Can its integral from 00 to 22 be found one term at a time, and what does a negative term do to the total? This lesson states the sum rule and the constant multiple rule that allow the split, keeps the sign of every piece, and finds the value 44. One antiderivative confirms it, and the average height of the graph gives a sense of its size.

Key terms

Sum rule for integrals

Definition Let ff and gg be integrable on [a,b][a, b], for example continuous there. Then f+gf + g and f−gf - g are integrable on [a,b][a, b], and

∫ab(f(x)+g(x)) dx=∫abf(x) dx+∫abg(x) dx,\begin{aligned} &\int_a^b \bigl(f(x) + g(x)\bigr)\,dx \\[0.4em] &\quad = \int_a^b f(x)\,dx \\[0.4em] &\qquad + \int_a^b g(x)\,dx, \end{aligned}

with a minus sign in both places for the difference f−gf - g. The reason lies in the Riemann sums. For every partition of [a,b][a, b] and every choice of sample points xi∗x_i^{*}, each strip of f+gf + g splits as

(f(xi∗)+g(xi∗)) Δxi=f(xi∗) Δxi+g(xi∗) Δxi,\begin{aligned} &\bigl(f(x_i^{*}) + g(x_i^{*})\bigr)\,\Delta x_i \\[0.4em] &\quad = f(x_i^{*})\,\Delta x_i \\[0.4em] &\qquad + g(x_i^{*})\,\Delta x_i, \end{aligned}

so every Riemann sum of f+gf + g is a Riemann sum of ff plus the matching Riemann sum of gg, and the limits add. The rule also holds with the limits of integration in the other order, because reversing them changes the sign of all three integrals. The rule needs both pieces to be integrable, and a sum can have an integral when its pieces do not. For example, the function 1/x−1/(x+1)1/x - 1/(x + 1) has a finite improper integral from 11 to ∞\infty, equal to ln⁡2\ln 2, while neither 1/x1/x nor 1/(x+1)1/(x + 1) does.

In plain words When each piece has an integral of its own, integrate the pieces over the same interval and add the results. The addition happens height by height, the height of f+gf + g at a point xx being the height of ff plus the height of gg at that same xx. Placing two regions side by side over adjacent intervals is a different rule, the one that adds integrals over [a,b][a, b] and [b,c][b, c].

Example The region under y=x+1y = x + 1 on [0,2][0, 2] is the rectangle of height 11 with the triangle under y=xy = x stacked on top of it. The sum rule adds their integrals,

∫02(x+1) dx=∫02x dx+∫021 dx=2+2=4.\begin{aligned} &\int_0^2 (x + 1)\,dx \\[0.4em] &\quad = \int_0^2 x\,dx + \int_0^2 1\,dx \\[0.4em] &\quad = 2 + 2 = 4. \end{aligned}

Geometry agrees. The region is a trapezoid of width 22 with parallel sides 11 and 33, so its area is 12(1+3)⋅2=4\tfrac12(1 + 3) \cdot 2 = 4.

Constant multiple rule

Definition Let ff be integrable on [a,b][a, b] and let cc be a constant, a real number that does not depend on the variable of integration. Then cfcf is integrable on [a,b][a, b], and

∫abc f(x) dx=c∫abf(x) dx.\begin{aligned} &\int_a^b c\,f(x)\,dx \\[0.4em] &\quad = c\int_a^b f(x)\,dx. \end{aligned}

Each term c f(xi∗) Δxic\,f(x_i^{*})\,\Delta x_i of a Riemann sum of cfcf carries the factor cc, so every Riemann sum of cfcf is cc times the matching Riemann sum of ff, and the limits differ by the same factor.

In plain words A constant factor can move outside the integral, because it multiplies the height of every strip by the same number and leaves the widths alone. A negative constant also reflects every strip across the axis, so it changes the sign of the integral. A factor that changes with xx cannot come out. For example ∫01x⋅x dx=13\int_0^1 x \cdot x\,dx = \tfrac13, while pulling one xx outside would give the expression x∫01x dx=x/2x \int_0^1 x\,dx = x/2, which depends on xx and is not a number at all.

Example The power rule gives ∫02x2 dx=83\int_0^2 x^2\,dx = \tfrac83, so

∫023x2 dx=3⋅83=8.\int_0^2 3x^2\,dx = 3 \cdot \tfrac83 = 8.

Every strip under the graph of 3x23x^2 is three times as tall as the matching strip under x2x^2 and just as wide, so the area is three times as large. One antiderivative of 3x23x^2 is x3x^3, and 23−03=82^3 - 0^3 = 8 agrees. With the constant −1-1 the rule gives ∫02(−x2) dx=−83\int_0^2 (-x^2)\,dx = -\tfrac83, the signed value of a region of area 83\tfrac83 below the axis.

Linearity of the integral

Definition Let ff and gg be integrable on [a,b][a, b] and let α\alpha and β\beta be constants. Then αf+βg\alpha f + \beta g is integrable on [a,b][a, b], and

∫ab(αf(x)+βg(x)) dx=α∫abf(x) dx+β∫abg(x) dx.\begin{aligned} &\int_a^b \bigl(\alpha f(x) + \beta g(x)\bigr)\,dx \\[0.4em] &\quad = \alpha \int_a^b f(x)\,dx \\[0.4em] &\qquad + \beta \int_a^b g(x)\,dx. \end{aligned}

This combines the sum rule and the constant multiple rule, and applying it repeatedly covers any finite number of terms. Together with the power rule it integrates every polynomial over every interval. In the language of linear algebra, the integral over a fixed interval is a linear map from the integrable functions on [a,b][a, b] to the real numbers. The statement is about finitely many terms. Integrating an infinite series term by term needs further conditions.

In plain words Split the integrand at its plus and minus signs, integrate every term over the same interval, keep each constant with its own term, and add the results. Linearity covers sums and constant factors and nothing else. The integral of a product is in general not the product of the integrals, and the integral of a quotient is in general not a quotient of integrals, so read the operation that joins the pieces before splitting.

Example The terms 3x23x^2, −4x-4x and 22 are polynomials, so each is continuous and hence integrable on [0,2][0, 2]. Linearity and the power rule give

∫02(3x2−4x+2) dx=3∫02x2 dx−4∫02x dx+2∫021 dx=3⋅83−4⋅2+2⋅2=8−8+4=4.\begin{aligned} &\int_0^2 (3x^2 - 4x + 2)\,dx \\[0.4em] &\quad = 3\int_0^2 x^2\,dx \\[0.4em] &\qquad - 4\int_0^2 x\,dx \\[0.4em] &\qquad + 2\int_0^2 1\,dx \\[0.4em] &\quad = 3 \cdot \tfrac83 - 4 \cdot 2 + 2 \cdot 2 \\[0.4em] &\quad = 8 - 8 + 4 = 4. \end{aligned}

All three integrals keep the limits 00 and 22. One antiderivative checks the whole calculation at once. The function F(x)=x3−2x2+2xF(x) = x^3 - 2x^2 + 2x has F′(x)=3x2−4x+2F'(x) = 3x^2 - 4x + 2, which confirms every coefficient and sign, and the integrand is continuous on [0,2][0, 2], so the fundamental theorem of calculus gives

F(2)−F(0)=(8−8+4)−0=4.\begin{aligned} F(2) - F(0) &= (8 - 8 + 4) - 0 \\[0.4em] &= 4. \end{aligned}

Signed contribution

Definition Write an integrand on [a,b][a, b], with a<ba < b, as a sum of finitely many integrable terms, f=g1+⋯+gnf = g_1 + \dots + g_n. The signed contribution of the term gkg_k to ∫abf(x) dx\int_a^b f(x)\,dx is its own integral ∫abgk(x) dx\int_a^b g_k(x)\,dx. It equals the area of the region between the graph of gkg_k and the xx-axis where gkg_k is positive, minus the area of the region where gkg_k is negative. By linearity the signed contributions add up to the integral of ff. A negative contribution does not mean that ff is negative anywhere, since the value of ff at a point depends on all the terms at that point.

In plain words Each term moves the total up or down by its own signed area. A region below the axis has a positive size but makes a negative contribution, so note the size and the sign separately and carry the sign into the sum.

Example At x=1x = 1 the terms of 3x2−4x+23x^2 - 4x + 2 have heights 33, −4-4 and 22, which add to the height 11 of the combined graph. The term −4x-4x is negative on (0,2](0, 2]. Its region is a triangle below the axis with base 22 and depth 88, since −4⋅2=−8-4 \cdot 2 = -8, so its area is 12⋅2⋅8=8\tfrac12 \cdot 2 \cdot 8 = 8 and its signed contribution is

∫02(−4x) dx=−4⋅2=−8.\begin{aligned} \int_0^2 (-4x)\,dx &= -4 \cdot 2 \\[0.4em] &= -8. \end{aligned}

With the contributions 88 from 3x23x^2 and 44 from the constant 22, the total is 8−8+4=48 - 8 + 4 = 4. The contributions of 3x23x^2 and −4x-4x cancel as numbers, but the two functions do not cancel point by point. Their sum 3x2−4x=x(3x−4)3x^2 - 4x = x(3x - 4) is zero on [0,2][0, 2] only at 00 and 43\tfrac43, negative between them and positive after. The combined integrand never dips below the axis, because

3x2−4x+2=3(x−23)2+23≥23,\begin{aligned} &3x^2 - 4x + 2 \\[0.4em] &\quad = 3\left(x - \tfrac23\right)^2 + \tfrac23 \\[0.4em] &\quad \ge \tfrac23, \end{aligned}

with the smallest value 23\tfrac23 at x=23x = \tfrac23. So the value 44 is also the area of the region under the combined graph. The negative contribution belongs to the split into terms, not to any part of the final graph.

Average value of a function

Definition Let ff be integrable on [a,b][a, b] with a<ba < b. The average value of ff on [a,b][a, b] is

favg=1b−a∫abf(x) dx.f_{\text{avg}} = \frac{1}{b - a} \int_a^b f(x)\,dx.

It is the height of the rectangle on [a,b][a, b] whose signed area equals the integral, and it carries the units of ff. Because 1/(b−a)1/(b - a) is a constant, linearity carries over, and the average of αf+βg\alpha f + \beta g is α\alpha times the average of ff plus β\beta times the average of gg. If ff is continuous on [a,b][a, b], the mean value theorem for integrals gives at least one point cc in (a,b)(a, b) with f(c)=favgf(c) = f_{\text{avg}}. Without continuity the average may never be taken, as for the function that is 00 on [0,1)[0, 1) and 11 on [1,2][1, 2], whose average on [0,2][0, 2] is 12\tfrac12.

In plain words Flatten the region into a rectangle on the same base with the same signed area, and the height of that rectangle is the average value. It averages the function over every point of the interval, not just its two endpoint values. Where the graph runs below the average height, the missing area exactly matches the extra area where it runs above.

Example For f(x)=3x2−4x+2f(x) = 3x^2 - 4x + 2 on [0,2][0, 2],

favg=12−0∫02f(x) dx=42=2.\begin{aligned} f_{\text{avg}} &= \frac{1}{2 - 0} \int_0^2 f(x)\,dx \\[0.4em] &= \frac{4}{2} = 2. \end{aligned}

By linearity the averages 44, −4-4 and 22 of the three terms add to the same 22. The graph is far from constant at height 22. It starts at f(0)=2f(0) = 2, falls to 23\tfrac23 at x=23x = \tfrac23 and climbs to f(2)=6f(2) = 6. It meets the height 22 where 3x2−4x=03x^2 - 4x = 0, at x=0x = 0 and x=43x = \tfrac43, so c=43c = \tfrac43 is a point of (0,2)(0, 2) where ff takes its average value. The area missing below the line y=2y = 2 on [0,43][0, \tfrac43] equals the extra area above it on [43,2][\tfrac43, 2],

∫04/3(4x−3x2) dx=3227,∫4/32(3x2−4x) dx=3227.\begin{aligned} \int_0^{4/3} (4x - 3x^2)\,dx &= \tfrac{32}{27}, \\[0.4em] \int_{4/3}^2 (3x^2 - 4x)\,dx &= \tfrac{32}{27}. \end{aligned}

The average of the two endpoint values, 12(2+6)=4\tfrac12(2 + 6) = 4, is twice the true average.

Check yourself

  1. Use linearity to evaluate the integral below, then check the result with one antiderivative.
∫13(6x2−2x+5) dx\int_1^3 (6x^2 - 2x + 5)\,dx
Show the answer

The three terms are continuous on [1,3][1, 3]. The power rule gives ∫13x2 dx=27−13=263\int_1^3 x^2\,dx = \tfrac{27 - 1}{3} = \tfrac{26}{3} and ∫13x dx=9−12=4\int_1^3 x\,dx = \tfrac{9 - 1}{2} = 4, and the constant 11 integrates to the width 22. By linearity,

∫13(6x2−2x+5) dx=6⋅263−2⋅4+5⋅2=52−8+10=54.\begin{aligned} &\int_1^3 (6x^2 - 2x + 5)\,dx \\[0.4em] &\quad = 6 \cdot \tfrac{26}{3} - 2 \cdot 4 + 5 \cdot 2 \\[0.4em] &\quad = 52 - 8 + 10 = 54. \end{aligned}

The function F(x)=2x3−x2+5xF(x) = 2x^3 - x^2 + 5x has F′(x)=6x2−2x+5F'(x) = 6x^2 - 2x + 5, and F(3)−F(1)=60−6=54F(3) - F(1) = 60 - 6 = 54. The lower limit is 11, not 00, so the value F(1)=6F(1) = 6 must be subtracted.

  1. Let g(x)=2x2−6x+4g(x) = 2x^2 - 6x + 4. Evaluate ∫03g(x) dx\int_0^3 g(x)\,dx by linearity. Is the result the area of the region between the graph of gg and the xx-axis over [0,3][0, 3]?
Show the answer

Since ∫03x2 dx=9\int_0^3 x^2\,dx = 9 and ∫03x dx=92\int_0^3 x\,dx = \tfrac92, the signed contributions are 1818, −27-27 and 1212, and

∫03(2x2−6x+4) dx=2⋅9−6⋅92+4⋅3=18−27+12=3.\begin{aligned} &\int_0^3 (2x^2 - 6x + 4)\,dx \\[0.4em] &\quad = 2 \cdot 9 - 6 \cdot \tfrac92 + 4 \cdot 3 \\[0.4em] &\quad = 18 - 27 + 12 = 3. \end{aligned}

This is not the area. The integrand factors as g(x)=2(x−1)(x−2)g(x) = 2(x - 1)(x - 2), which is negative for 1<x<21 < x < 2, so this time the combined graph itself dips below the axis. With the antiderivative G(x)=23x3−3x2+4xG(x) = \tfrac23 x^3 - 3x^2 + 4x, the values G(0)=0G(0) = 0, G(1)=53G(1) = \tfrac53, G(2)=43G(2) = \tfrac43 and G(3)=3G(3) = 3 give the pieces

∫01g(x) dx=53,∫12g(x) dx=−13,∫23g(x) dx=53.\begin{aligned} \int_0^1 g(x)\,dx &= \tfrac53, \\[0.4em] \int_1^2 g(x)\,dx &= -\tfrac13, \\[0.4em] \int_2^3 g(x)\,dx &= \tfrac53. \end{aligned}

The integral 33 is the area above the axis minus the area below it, while the area of the region is 53+13+53=113\tfrac53 + \tfrac13 + \tfrac53 = \tfrac{11}{3}. The question is decided by the sign of gg itself, not by the signs of its terms.

  1. Let h(x)=x(x+1)h(x) = x(x + 1). A classmate computes ∫02h(x) dx\int_0^2 h(x)\,dx as the product of ∫02x dx\int_0^2 x\,dx and ∫02(x+1) dx\int_0^2 (x + 1)\,dx. Explain the mistake, find the correct integral, and find the average value of hh on [0,2][0, 2].
Show the answer

Linearity splits sums and moves constant factors outside. It says nothing about products. The two integrals are ∫02x dx=2\int_0^2 x\,dx = 2 and ∫02(x+1) dx=4\int_0^2 (x + 1)\,dx = 4, so the classmate gets 88, which is not the integral of hh. Expanding first turns the product into a sum, h(x)=x2+xh(x) = x^2 + x, and then

∫02(x2+x) dx=83+2=143.\begin{aligned} \int_0^2 (x^2 + x)\,dx &= \tfrac83 + 2 \\[0.4em] &= \tfrac{14}{3}. \end{aligned}

The average value is

havg=12⋅143=73.h_{\text{avg}} = \frac{1}{2} \cdot \frac{14}{3} = \frac{7}{3}.

The function hh is continuous, so it takes this value somewhere in (0,2)(0, 2). Solving x2+x=73x^2 + x = \tfrac73 gives x=(−3+93)/6≈1.107x = (-3 + \sqrt{93})/6 \approx 1.107 as the root in that interval. The average of the endpoint values, 12(0+6)=3\tfrac12(0 + 6) = 3, is a different number and is not the average value.

How this lesson connects