We accumulate vectors along a path.
Suppose you are flying to Olinda Brazil for a mathematics conference. Flying out of John Glenn Columbus International Airport, you have a layover in Hartsfield-Jackson Atlanta International Airport. Because you bought your tickets as cheaply as possible, you have very little time to catch your plane in Atlanta. Hence, your flight time is of crucial interest to you. Fortunately or unfortunately, hurricane Gauss (note this name is not actually possible for a hurricane) is creating “interesting” wind patterns. Of crucial interest to you is the following question:
Is the flow of the wind going with the path of your airplane, or against?
If the flow of the air is with the path and direction of your plane, you will pick up a tailwind and get to Atlanta in plenty of time to catch your next flight. If flow of the wind is against the path and direction of your plane, you might miss your connecting flight and be forced to spend days in the Atlanta airport reading science fiction novels.
Let be a vector field that represents wind currents. Let be a vector-valued function describing the path of your plane where represents the times you are in flight assuming no wind. The velocity vector of the plane is given by . To see if the wind currents are pushing with the plane or against the plane for any given time, you compute: Here the dot product measures “how aligned” these two vectors are. If the dot product is positive, the wind is pushing with the plane and speeding-up your flight. If the dot product is negative, the wind is pushing against the plane and is slowing your flight.
To see the net accumulation of the wind on the plane’s flight, you should hence integrate with respect to time: This integral will measure the accumulated contribution of the wind to the flight of the plane. If the integral is positive, you will arrive in Atlanta early, if the integral is negative you will arrive late. This sort of integral is called a line integral or path integral because we are integrating along a line or a path.
Now, there is some stuff to unpack here. First of all, whenever you are computing a line integral, you have two parts:
- A vector field.
- A vector-valued function that draws a path through the field.
A line integral measures the flow of a vector field along a path. The basic idea is that there is some vector field given by :
Now we add directed path that is parameterized by . This can be thought of as a path that an object takes through the field:
Now, if we travel the opposite direction through the field,
The field vectors are flowing against the direction of . This contributes a negative value to our integral.
The field vectors are again orthogonal to the direction of the path . So this part contributes nothing to the integral.
The field vectors are orthogonal to the direction of the path . So this part contributes nothing to the integral.
The field vectors are flowing against the direction of . However, their magnitude is much less than the vectors that flowed with . So this contributes a small negative value to our integral.
Since line integrals appear in many different context, there is a wide variety of notation for line integrals. In fact, if we setwhere draws a curve as runs from to , then each integral below represents the same line integral:
If the path is closed, then sometimes people write a “circle” on the integral sign: This notation is not critical, but it can sometimes help us from making silly mistakes.
Now, let’s use a table to describe our vector field.
We can also estimate line integrals given information found in a graph.
Any smooth path can be approximated with a polygonal path. These can be quite easy to integrate. Check out our next example.
We will soon see that there are many “Fundamental Theorems of Calculus.” What makes them similar is that they all share the following rather vague description:
To compute a certain sort of integral over a region, we may do a computation on the boundary of the region that involves one fewer integrations.
Each version of the Fundamental Theorem of Calculus makes the “vague” statement above precise. For example, when working with a single variable, the Fundamental Theorem concludes: In this case we are doing an integral over the “region” , and the “computation” that allows “one fewer integrations” is antidifferentiation. This is the only Fundamental Theorem you have known so far in your studies. However with additional dimensions, there come additional derivatives. When working with functions we have the gradient as a “derivative.” This brings us to our first of several new fundamental theorems.
Like the first fundamental theorem we met in our very first calculus class, the fundamental theorem for line integrals says that if we can find a potential function for a gradient field, we can evaluate a line integral over this gradient field by evaluating the potential function at the end-points. In essence the potential function is like the antiderivative from your first calculus course.
The up-shot is that whenever you are dealing with a line integral, you should always start by checking to see if you are working with a gradient field.
When trying to compute a line integral over a gradient field, the path one takes is not important. This is because the Fundamental Theorem for Line Integrals says: Meaning, you can just use the values of the potential function at the end-points to compute the line integral. Because of this, some people call gradient fields path independent fields. Let’s see an example.
When dealing with gradient fields and closed curves something very nice happens.
This leads us to our definition:
But don’t be bedazzled by grandiose nomenclature! Calling a field a conservative field is just another name for a gradient field.
If something is special enough to be named thrice (gradient field, path independent field, conservative field), we ought to do some more examples.