In this section, we cover the following topics from the programme: Introduction, definite/indefinite integrals, properties of the integral, techniques for integration (substitution and integration by parts), improper integrals, area under the curve of a function, area between two functions, volume of solid of revolution.

Previous knowledge required: Knowledge of derivatives, understanding summation symbols.

Opening Problem

Say we want to find the area of the function f(x)=x^2 in the interval [0,1]. Denote this area as I. We know that 0\leq I\leq1. How can we increase this precision? Say we pick the points 0=x_0<x_1<x_2<…<x_n=1. We denote \Delta x_i=x_i-x_{i-1} with i=1,…,n. Consider now the two following sums:

    \[\underline{I_n}=\sum_{i=1}^n x_{i-1}^2\cdot\Delta x_i\text{ and }\overline{I}_n=\sum_{i=1}^n x_i^2\cdot\Delta x_i\]

These are called the lower Darboux sum and upper Darboux sum. The idea is the following: We approximate our desired area as the sum of the areas of the lower (respectively upper) rectangles. The more rectangles we create, the more accurate our approximation is.

Graphically, these sums denote the sum of areas of rectangles (strictly smaller or strictly greater than our function). You can see these to the right as the violet (lower) and red (upper) rectangles respectively.

Rendered by QuickLaTeX.com

The more rectangles we take, the more we refine our technique, the more we will get a better approximation. If I is the area we are looking for, we have:

    \[\underline{I}_n<I<\overline{I}_n\]

and these will be equal once we take n\to\infty.

Let us finish this opening example. If we take the 3 violet rectangles for the lower sum, the length of each rectangle is 0.25, the heights of the rectangle we can find using f(x)=x^2. These heights are: f(0.25)=\frac{1}{16},f(0.5)=\frac{1}{4}, and f(0.75)=\frac{9}{16}.

The total area is therefore: \underline{I}_n=0.25\cdot\frac{1}{16}+0.25\cdot\frac{1}{4}+0.25\cdot\frac{9}{16}=\frac{3}{32}=0.1875.

The real answer, which we will give meaning to in a few minutes, is: \int_0^1 x^2dx=\frac{1}{3}.

Optional: Click here to see the formal definitions.

Definition: Lower and Upper Darboux Sums

Let f be a bounded function on [a, b]. For a partition P = \{x_0, x_1, \dots, x_n\} of [a, b]:

  • The lower Darboux sum is: L(f, P) = \sum_{i=1}^n m_i \Delta x_i, where m_i = \inf\{f(x) : x \in [x_{i-1}, x_i]\}.
  • The upper Darboux sum is: U(f, P) = \sum_{i=1}^n M_i \Delta x_i, where M_i = \sup\{f(x) : x \in [x_{i-1}, x_i]\}.

By definition, we have L(f,P) < I < U(f,P), and as n \to \infty (as the partition creates rectangles of infinitesimally small length) the lower and upper Darboux sums become equal. Therefore, I, the desired area which is sandwiched between these two values, will also coincide.

The Riemann Integral

With our opening problem understood, we can define what is meant by an integral.

Definition: Let f(x) be an integrable function on (a,b). A function F(x) is called a primitive function of f(x) if F'(x) = f(x) for any x \in (a,b).

The term antiderivative is sometimes used to also mean this. Since the derivative of a constant is 0, if F(x) is a primitive function of f(x), then so is F(x) + 1, F(x) + 2, … and similarly with any constant addition.

Example: We know that if F(x) = x^2 then F'(x) = f(x) = 2x. Therefore, we say that x^2 is a primitive of 2x. However, we could also have a different primitive G(x) = x^2 + 1 (or using any other constant) and the derivative of this is still f(x) = 2x. This is why we refer to the collection of such functions (these are all the same up to a constant) as the indefinite integral.

Definition: The collection of all primitive functions F(x) is called the indefinite integral of f(x).

Below is a list of common integrals we can easily understand from our knowledge of derivatives:

f(x)\int f(x)dx
x^n\frac{x^{n+1}}{n+1}+C
\cos(x)\sin(x)+C
\sin(x)-\cos(x)+C
e^xe^x+C
a^x\frac{a^x}{\ln(a)}+C
\frac{1}{x}\ln|x|+C

The +C refers to all the different primitive functions. The symbol dx serves to indicate with respect to which variable we are integrating. The symbol \int marks the integral.

Example: To find the integral of \int xdx, we think of x as x^1 and use the formula \frac{x^{n+1}}{n+1}. Here n=1 so:

    \[\int xdx=\int x^1dx=\frac{x^2}{2}+C\]

Similarly, we have \int 1dx=x+C because we can look say that 1=x^0 so n=0 in this case. We can also understand that \int 1dx because we know the primitive function. The derivative of F(x)=x is F'(x)=f(x)=1.

We defined the integral as the area under a curve f(x), but in our initial Darboux sum approach, we had a clear interval where we were working. Our next theorem (the fundamental theorem of calculus) will link this clearly.

Theorem (Newton-Leibniz Formula): Let f(x) be an integrable function with primitive F(x). Then, the area under the curve of f(x) from a to b is given by:

    \[\int_a^b f(x)dx = F(b) - F(a)\]

The expression \int_a^bf(x)dx is called the definite integral of f, it calculates the net area between the function f(x) and the x-axis over the specific interval [a,b]. When no interval is assigned, i.e.: when we take \int f(x)dx, we refer to it as the indefinite integral.

A small disclaimer here: If your function is negative anywhere in the interval (a,b), then that area will be counted as negative. We can think of the integral as how much “more” area is above the x-axis. We will get used to this after a few examples.

Example: In our opening problem, we had:

    \[Area=\int_0^1 x^2dx=\frac{x^3}{3}\Bigg|_0^1=\frac{1^3}{3}-\frac{0^3}{3}=\frac{1}{3}\]

Here we are using the fact that the primitive function of f(x)=x^2 is F(x)=\frac{x^3}{3}+C.

What happened with +C? Since it is constant, it is cancelled when we calculate F(b)-F(a) because it appears twice (once with each sign). Let us see it more in detail:

    \[\int_0^1f(x)dx=\frac{x^3}{3}+C\Big|_0^1=\underbrace{\left(\frac{1^3}{3}+C\right)}_{F(b)}-\underbrace{\left(\frac{0^3}{3}+C\right)}_{F(a)}=\frac{1}{3}+C-0-C=\frac{1}{3}\]


The C cancelling is a common occurrence when we have a definite integral, so we can ignore it entirely as above.

We have used the word “integrable” a few times. Within the S7 programme, what makes a function “integrable” is not defined or discussed, the word is added for correctness. In simple terms, a function is integrable on some interval when we can calculate the net area over the given interval. This is similar to how not every function is differentiable everywhere. The function \frac{1}{x} is not integrable on [0,1] because the area is infinite (we have discussed already that it has a vertical asymptote at x=0).

Properties of Integral

The properties we can expect from the integral are relatively straightforward.

Claim: If f(x) and g(x) are integrable and k,k_1, and k_2 are constants, then:

    \[\int \big(f(x) \pm g(x)\big)dx = \int f(x)dx \pm \int g(x) dx\]

    \[\int k \cdot f(x)dx = k \cdot \int f(x) \, dx\]

    \[\int \big(k_1 \cdot f(x) \pm k_2\cdot g(x)\big)dx = k_1 \int f(x)dx \pm k_2 \int g(x)dx\]

These will become a second nature with a bit of practice. Either way, it should not surprise us to see these properties, we know that integration and differentiation are connected, and the derivative works in the same way!

Example: To calculate the integral of 10x^4+3x-1 we separate them into more workable integrals:

    \[\int(10x^4+3x-1)dx=\int10x^4dx+\int3xdx-\int1dx=10\int x^4dx+3\int xdx-1\int dx\]

    \[=10\cdot\frac{x^5}{5}+3\cdot\frac{x^2}{2}-1\cdot x+C=2x^5+1.5x^2-x+C\]

For each of the integrals above, we used the formula \int x^n dx=\frac{x^{n+1}}{n+1}.

Claim: Let f(x) and g(x) be two integrable functions. Assume that f(x) \leq g(x) for all x \in [a,b]. Then:

    \[\int_a^b f(x)dx\geq\int_a^b g(x)dx\]

Think about this property as follows: if a function is greater than another function on some interval, it makes sense that it will have a bigger net area between its graph and the x-axis.

You will have noticed by now that a symbol dx is recurring in every integral. The symbol dx indicates that the integral is being taken with respect to the variable x. You will not see functions with many variables, so this seems less necessary, but we must include it nonetheless. Moreover, if you recall that we defined the integral as an area, dx represents the infinitesimally small lengths of the rectangles we draw in our Darboux sums. This is more background knowledge, so do not worry if it seems difficult.

When we can find C

The indefinite integral is a set of functions, all differing by a constant. We could be given a point on the graph of F(x) and use that to find the specific function that is a primitive and whose graph goes via that point.

Example: Find the primitive function F(x) of the polynomial f(x) = 3x^2 - 4x + 5 given that F(2)=7.

Check Your Understanding

We are going to revise what we have covered above by calculating some simple integrals. Look at the examples below and then try the exercises.

More Exercises

Find the indefinite integrals (primitives) of the following functions:

  1. f(x) = 3x^2 + 2x + 1
  2. f(x) = x^5
  3. f(x) = \frac{1}{x} - 4
  4. f(x) = \cos(x) + e^x

Evaluate the following definite integrals:

  1. \int_{0}^{3} 2x \, dx
  2. \int_{1}^{2} x^2 \, dx
  3. \int_{0}^{\pi} \sin(x) \, dx

Show that the function F(x) =\ln(x) - x is a primitive of f(x) =\frac{1}{x}-1 by calculating the derivative F'(x).

Find the shaded area under the curve for the following cases:

1. f(x) = x^3 from x=0 to x=2.

Rendered by QuickLaTeX.com

2. f(x) = e^x from x=0 to x=1.

Rendered by QuickLaTeX.com

Calculate the indefinite integrals below using the power rule.

Recall the following properties:

  • The n-th root is a fractional power: \sqrt[n]{x} = x^{1/n}
  • Negative exponents represent fractions: x^{-n} = \frac{1}{x^n}

1.

    \[\int \sqrt[n]{x} \, dx\]


2.

    \[\int \frac{1}{\sqrt[n]{x}} \, dx\]

error: Content is protected!