Skip to main content

Section 1.2 The Definite Integral

Subsection 1.2.1 The Conceptual Integral

The single-variable definite integral measured the area under the graph of a function. Multivariable functions also have graphs. For a function of two variables, the graph is in \(\RR^3\) and there is volume under the grpah instead of area. For functions of three or more variables, the graphs are in higher dimensional spaces and enclose a hyper-volume. If the definite integral of a single variable function asked for the area under its graph, the definite integral for a multivariable integral should ask for the value of the volume or hyper-volume under its graph. This is, indeed, the case.

Definition 1.2.1.

Let \(U\) be an subset of \(\RR^n\) and let \(f: U \rightarrow \RR\) be a function. The graph of \(f\) is a hypersurface in \(\RR^{n+1}\) lying over \(U\) (thought of as a subset of the copy of \(\RR^n\) which is the \(x_{n+1} = 0\) hyperplane. Then the integral

\begin{align*} \int_U f dV \amp \amp \amp \int_U f(x,y) dA \end{align*}

is the volume or hypervolume under the graph of \(f\) in \(\RR^{n+1}\) (if such a volume or hypervolume can be defined). Like the single variable integral, (hyper)volume above the \(x_{n+1} = 0\) hyperplane is consider positive and (hyper)volume below is considered negative. The notation \(dV\) is used for functions of three or more variables, indicating the (hyper)volume in the domain. For functions of only two variables, the notation \(dA\) is used to represent the area in the domain.

Before moving on, I have a couple important notes to make about this definition. First, note that the function needs to be defined on the set \(U\text{.}\) As with single variable integrals, I should always be aware of the domain of the function. If the function is undefined on some points in \(U\text{,}\) the integral will be undefined. If the function is undefined on the boundary of \(U\text{,}\) the volume may still be defined. This will be an extension of improper integrals, which I will discuss in Subsection 1.3.4.

Also note that I said, in parenthesis, the integral is defined only if this volume is defined. Note all functions will be integrable (indeed, not all single variable functions are integrable). Continuity will be enough to conclude this volume exists, but I will also investigate less restrictive conditions when I define the Riemann integral below. In addition, not all subsets \(U\) allow for this volume to be defined. The definitions in Section 1.3 will describe which sets \(U\) lead to well-defined volumes. For the integrals to be defined, both the function \(f\) and the subset\(U\) have to be reasonable.

Finally, note that this is a very conceptual definition, but it is hard to work with. I will try to work towards a better definition that allows for calculation. I can't start with arbitrary domains \(U\text{;}\) I need to start with simpler domains: intervals.

Subsection 1.2.2 Intervals in \(\RR^n\)

Let me define an interval in \(\RR^n\text{.}\)

Definition 1.2.2.

An closed interval \(I\) in \(\RR^n\) is the (geometric) product of single-variable closed intervals.

\begin{equation*} I = [a_1,b_1] \times [a_2,b_2] \times \ldots \times [a_n,b_n] \end{equation*}

This (geometric) product is defined to be the subset of \(\RR^n\) consisting of all \((x_1, x_2, \ldots, x_n)\) such that \(a_1 \leq x_1 \leq b_1\text{,}\) \(a_2 \leq x_2, \leq b_2\) and so on until \(a_n \leq x_n \leq b_n\text{.}\) In \(\RR^2\) it is a rectangle. In \(\RR^3\) it is a rectangular prism. Similarly, by using open interval, \((a,b)\) in the definition, I can define an open interval in \(\RR^n\text{.}\) Likewise, I can define various types of partially closed, partially open intervals by changing the inequalities (strict or non-strict) of the various endpoints of the single variable intervals in the product.

Subsection 1.2.3 The Riemann Integral

Now I'm going to try to construct the definite integral extending the Riemann integral from single variable calculus. Recall that definition, noting that it was explicity defined for a function whose domain was an interval.

Definition 1.2.3.

Let \(f : [a,b] \rightarrow \RR\) be a function. The Riemann integral of \(f\) on the interval \([a,b]\) is the following limit (if it exists), where in the sum the interval is divided into \(n\) equal pieces and \(x_k^*\) is any point in the \(k\)th subinterval.

\begin{equation*} \int_a^b f(x) dx = \lim_{n \rightarrow 0} \sum_{k=1}^n f(x_k^*) \frac{b-a}{n} \end{equation*}

If the limit exists, the function is called integrable.

I want to extend the pieces of this definition, now that I had defined the multivariable interval. For the single-variable integral, I partitioned the interval into \(n\) pieces. I can also partition these multi-variable intervals. In general, there are several ways to do so; one of the easiest is simply to divide each of the single variable intervals into \(k\) pieces. In \(\RR^2\text{,}\) this splits the rectangle into a checkerboard pattern, with \(k^2\) small rectangles. In \(\RR^3\text{,}\) it splits into \(k^3\) small rectangular prisms. In \(\RR^n\) there are \(k^n\) subdivisions.

In a partition of \(I\) into \(k^n\) pieces, I can use the same limit process as the single variable integral. Let \(x^*\) be any point in each piece of the partition and estimate the (hyper-)volume over that piece of the interval by a rectangular (hyper-)volume. The height is \(f(x^*)\text{.}\) The (hyper-) volume of one pieces of the approximation is this height multiplied by the size of the small partition pieces, in the appropriate dimension. I will write \(\Delta V\) for this size, thinking of \(V\) for volume or hypervolume. (As before, in the special case of two variables, I would write \(\Delta A\) instead).

Definition 1.2.4.

Let \(I \subset \RR^n\) be an interval and \(f: I \rightarrow \RR\) a function. The Riemann integral of a function is the following limit (if it exists), where the sum is taken over all \(k^n\) subdivision of the interval and \(x_l^*\) is any point in the \(l\)th subinterval, and \(\Delta V\) is the (hyper)volume of the subinterval.

\begin{equation*} \int_{I} f(x_1, x_2, \ldots, x_n) dV = \lim_{k \rightarrow \infty} \sum_{l=0}^{k^n} f(x_l^*) \Delta V \end{equation*}

If the limit exists, the function \(f\) is called (Riemann) integrable on the interval \(I\text{.}\)

In the multivariable integral, the \(\Delta V\) becomes an infinitesimal piece of area, volume or hypervolume, which explains the notation \(dV\) that I used in Definition 1.2.1.

Subsection 1.2.4 Integrable Functions

In Definition 1.2.4, I defined an integrable function, on an interval, to be a function such that the limit defining the Riemann integral exists. Most usual functions are integrable, particular functions defined on closed intervals so that they don't diverge near the edges of the interval. There is a whole theory of integrable functions. However, for the purposes of this course, I'm going to work with a slightly restricted class of functions. This won't affect any applications, since all the reasonable functions I want to use will still be in this category.

Definition 1.2.5.

Let \(I\) be a closed interval in \(\RR^n\) and let \(f: I \rightarrow \RR\) be a function. If I can break the interval \(I\) up into finitely many closed subintervals and if \(f\) is continuous on each of the closed subintervals, I say the function is piecewise continuous.

The purpose of this definition is in the the following proposition.

As I said above, this is a convenience, since piecewise continuous is good enough for our purposes. There are, in fact, other functions which are also integrable. Notice, also, that I defined this exlictly on closed intervals. Piecewise-continuous function on open intervals can have divergent behaviour (like vertical asymptote) at the edges of the intervals. These produce a multivariable version of improper integrals. I will consider these later, but insisting on functions defined on closed intervals ensure that I don't have problems like asymptotes at the edges.

As an aside, there are also different notions of integrability and different definition of the integral. What I have discussed here is the Riemann integral, and this notion of integrability is Riemann-integrability. In higher mathematics, the most commonly used definition of the integral is a different definition, called the Lebesgue integral. It is also an approximation process, but it involve approximating the function with a special functions that only take finitely many values. The Lebesgue integral agrees with the Riemann integral on all Riemann-integrable functions. However, there are functions where the Lebesgue integral is defined but the limit in the Riemann integral fails to converge. It is interesting to observe that something as fundamental as the integral has multiple definitions and the choice of definitions has a real, measurable effect on our mathematics. A different kind of calculus course, one more interested in the mathematical foundations, would delve into the details of these different notions of the integral and integrebility.

Subsection 1.2.5 Properties of the Definite Integral

The multi-variable definite integral has some familiar properties.