The exact integral

The more bars we take for the approximation on an integral, the thinner the bars will be, because they all have to fit into the integration limits aa and bb. This means we have to add more bar areas, but the approximation gets more accurate. You can check this out with the Geogebra app below for the integral

06((x3)22.25)dx\int_0^6 ((x-3)^2-2.25)\, dx

Increase the number of bars using the slider.

Open in GeoGebra

Observe how the sum of bars approaches a specific value (here 4.54.5) if we use more and more bars, that is, if we let nn approach infinity. This specific value is the exact value of the integral:

06((x3)22.25)dx=4.5\int_0^6 ((x-3)^2-2.25)\, dx = 4.5

Thus, the exact integral is obtained by a limit process:

Theorem 1

For increasingly bigger bar numbers, the Rieman sum (sum of bars) converges towards the integral. This is written like this:

Equation 1
abf(x)dx=limnk=1nf(xn)Δx\int_a^b f(x)\, dx = \lim_{n\rightarrow \infty} \sum_{k=1}^n f(x_n)\Delta x

The Rieman sum converges towards the integral for bar number approaching infinity.

Insight

We can think of abf(x)dx\int_a^b f(x)\, dx as a Rieman sum of "infinitely many, infinitely thin bars".

absumf(x)heightdxwidthbararea\underbrace{\int_a^b}_{sum} \underbrace{\overbrace{f(x)}^{height}\, \overbrace{dx}^{width}}_{bar\, area}

However, unlike Δx\Delta x, there is no value associated with dxdx ... . You can think of it as a number bigger than 00 than zero, but smaller than any positive number. Clearly such a number does not exist, and thus dxdx is more a symbol for the width of incredibly thin bars.

Here is an example.

Example 1

Determine the integral 033xdx\int_0^3 3x\, dx:

  1. Approximate 033xdx\int_0^3 3x\, dx using nn bars and find a formula for the sum of the nn bars. Hint: you need one of the famous sums, see section 25.

  2. Let nn approach infinity to find the exact value 033xdx\int_0^3 3x\,dx.

  3. Determine the exact area AfA_f by other means and compare with the result above.

Solution

For nn bars it is

Δx=30n=3n\Delta x = \frac{3-0}{n}=\frac{3}{n}

We also have

x1=3n,x2=6n,x3=9n,...,xn=3nn=3x_1=\frac{3}{n}, x_2=\frac{6}{n}, x_3=\frac{9}{n}, ..., x_n=\frac{3n}{n}=3f(x1)=9n,f(x2)=18n,f(x3)=27n...,f(xn)=9nn=9f(x_1)=\frac{9}{n}, f(x_2)=\frac{18}{n}, f(x_3)=\frac{27}{n}..., f(x_n)=\frac{9n}{n}=9
  1. Approximating 033xdx\int_0^3 3x\, dx with nn bars, we get 033xdxk=1nf(xk)Δx=9n3n+18n3n+27n3n+...+9nn3n=27n2+54n2+81n2+...+27nn2=1n2(27+54+81+...+27n)=27n2(1+2+3+...+nn(n+1)2)=27n2n2+n2=272n2+nn2=13.5(n2n2+nn2)=13.5(1+1n)\begin{array}{lll} \int_0^3 3x\, dx &\approx & \sum_{k=1}^n f(x_k)\Delta x \\[0.1em] & = & \frac{9}{n}\cdot\frac{3}{n}+\frac{18}{n}\cdot\frac{3}{n}+\frac{27}{n}\cdot\frac{3}{n}+...+\frac{9n}{n}\cdot \frac{3}{n}\\[0.1em] &=& \frac{27}{n^2}+\frac{54}{n^2}+\frac{81}{n^2}+...+\frac{27n}{n^2}\\[0.1em] &=& \frac{1}{n^2}(27+54+81+...+27n)\\[0.1em] &=& \frac{27}{n^2}(\underbrace{1+2+3+...+n}_{\frac{n(n+1)}{2}})\\[0.1em] &=& \frac{27}{n^2}\frac{n^2+n}{2}\\[0.1em] &=& \frac{27}{2}\frac{n^2+n}{n^2}\\[0.1em] &=& 13.5\cdot (\frac{n^2}{n^2}+\frac{n}{n^2})\\[0.1em] &=& 13.5\cdot (1+\frac{1}{n})\\[0.1em] \end{array} Note that we have used the sum formula 1+2+...+n=n(n+1)21+2+...+n=\frac{n(n+1)}{2} (see section 2, Exercise 2).
  2. Now we see that if nn\rightarrow \infty we get 033xdx=13.5(1+0)=13.5\int_0^3 3x\, dx = 13.5\cdot (1+0)= \underline{13.5} This is also the area AfA_f.
  3. The region is a triangle with base 33 and height f(3)=9f(3)=9. Thus, the area is 392=13.5\frac{3\cdot 9}{2} = \underline{13.5}
Exercise 1

Determine

01x2dx\int_0^1 x^2\, dx

Hint: You need the formula for summing the first nn square numbers, see last exercise in the sigma-notation chapter.

Solution

Using nn bars in the Rieman sum, we have for the bar width

Δx=10n=1n\Delta x = \frac{1-0}{n}=\frac{1}{n}

and for the right edges of each bar the positions

x1=1n,x2=2n,x3=3n,...,xn=nn=1x_1=\frac{1}{n}, x_2=\frac{2}{n}, x_3=\frac{3}{n}, ..., x_n=\frac{n}{n}=1

and the bar heights are

f(x1)=12n2,f(x2)=22n2,f(x3)=32n2,...,f(xn)=n2n2f(x_1)=\frac{1^2}{n^2}, f(x_2)=\frac{2^2}{n^2}, f(x_3)=\frac{3^2}{n^2}, ..., f(x_n)=\frac{n^2}{n^2}

Thus, we have

01x2dxk=1nf(xk)Δx=f(x1)Δx+f(x2)Δx+f(x3)Δx+...+f(xn)Δx=(1n)21n+(2n)21n+(3n)21n+...+(nn)21n=12n3+22n3+32n3+...+n2n3=1n3(12+22+32+...+n2n(n+1)(2n+1)6)=n(n+1)(2n+1)6n3=(n2+n)(2n+1)6n3=2n3+3n2+n6n3=2n36n3+3n26n3+n6n3=13+12n+16n2\begin{array}{lll} \int_0^1 x^2\,dx &\approx& \sum_{k=1}^n f(x_k)\Delta x \\[0.1em] & =& f(x_1)\Delta x+f(x_2)\Delta x +f(x_3)\Delta x + ...+ f(x_n)\Delta x \\[0.1em] & = & \left(\frac{1}{n}\right)^2 \frac{1}{n}+\left(\frac{2}{n}\right)^2 \frac{1}{n}+\left(\frac{3}{n}\right)^2 \frac{1}{n}+...+\left(\frac{n}{n}\right)^2 \frac{1}{n}\\[0.1em] & = & \frac{1^2}{n^3} + \frac{2^2}{n^3}+\frac{3^2}{n^3}+...+\frac{n^2}{n^3}\\[0.1em] & = & \frac{1}{n^3} (\underbrace{1^2 +2^2+3^2+...+n^2}_{\frac{n(n+1)(2n+1)}{6}})\\[0.1em] &=& \frac{n(n+1)(2n+1)}{6 n^3}\\[0.1em] &=& \frac{(n^2+n)(2n+1)}{6 n^3}\\[0.1em] &=& \frac{2n^3+3n^2+n}{6 n^3}\\[0.1em] &=& \frac{2n^3}{6 n^3}+\frac{3n^2}{6 n^3}+\frac{n}{6 n^3}\\[0.1em] &=& \frac{1}{3}+\frac{1}{2 n}+\frac{1}{6 n^2} \end{array}

Note that we have used the (formula ) for finding the first nn square numbers:

12+22+32+...+n2=n(n+1)(2n+1)61^2+2^2+3^2+...+n^2=\frac{n(n+1)(2n+1)}{6}

Finally, nn\rightarrow \infty we get

01x2dx=13+0+0=13\int_0^1 x^2\,dx =\frac{1}{3}+0+0=\underline{\frac{1}{3}}

Finally, we state some properties of the integral, which sometimes are useful.

Theorem 2

Consider two functions ff and gg, and two constants ss and tt. Integrating over the weighted sum is the same as taking the weighted sum of the integrals:

Equation 2
ab(sf(x)±tg(x))dx=sabf(x)dx±tabg(x)dx\int_a^b (sf(x)\pm tg(x) )\, dx = s\int_a^b f(x)\, dx \pm t\int_a^b g(x)\, dx

Weighted sum of integrals

Proof

We show it just for the ++ version, the - version is similar. For every number of bars nn we can approximate the integral using a Reiman sum:

ab(sf(x)+tg(x))dxk=1n(sf(xk)+tg(xk))Δx=(sf(x1)+tg(x1)++sf(x1)+tg(x1))Δx=s(f(x1)Δx++f(xn)Δx)+t(g(x1)Δx++g(xn)Δx)=sk=1nf(xk)Δx+tk=1ng(tk)Δx\begin{array}{lll} \int_a^b (sf(x) + tg(x) )\, dx &\approx& \sum_{k=1}^n (sf(x_k)+tg(x_k))\Delta x\\[1em] &=& (sf(x_1)+tg(x_1)+\dots+sf(x_1)+tg(x_1))\Delta x\\[1em] &=& s(f(x_1)\Delta x+\dots+f(x_n)\Delta x)+t(g(x_1)\Delta x+\dots+g(x_n)\Delta x)\\[1em] &=& s\sum_{k=1}^n f(x_k) \Delta x + t\sum_{k=1}^n g(t_k)\Delta x \end{array}

Letting nn move towards infinity, we have \sum \rightarrow \int and =\approx \rightarrow =, so we get indeed

ab(sf(x)±tg(x))dx=sabf(x)dx±tabg(x)dx\int_a^b (sf(x)\pm tg(x) )\, dx = s\int_a^b f(x)\, dx \pm t\int_a^b g(x)\, dx
Example 2
  1. 012x2dx=201x2dx\int_0^1 2x^2\,dx = 2\int_0^1 x^2\, dx
  2. 01(x2+x3)dx=01x2+01x3dx\int_0^1 (x^2+x^3)\,dx = \int_0^1 x^2 + \int_0^1 x^3\, dx
  3. 01(x23x3)dx=01x2301x3dx\int_0^1 (x^2-3x^3)\,dx= \int_0^1 x^2 - 3\int_0^1 x^3\, dx
  4. 01(4x2+3x3)dx=401x2+401x3dx\int_0^1 (-4x^2+3x^3)\,dx= -4\int_0^1 x^2 + 4\int_0^1 x^3\, dx