]> 21.3 The Fundamental Theorem in Integration on a Path in Euclidean Space

21.3 The Fundamental Theorem in Integration on a Path in Euclidean Space

We take a path in the P that can be divided into a finite number of pieces each of which resembles a straight line at small distances, and choose a differentiable scalar field f defined on and around it.

We prove the fundamental theorem in this context by the same approach as used in the previous cases. We first consider a very small piece of the path integrated over, which for a differentiable curve looks like a straight line.

The change of f between the endpoints of the line segment that makes up an infinitesimal piece of C is the directional derivative of f in the direction of the line C resembles, multiplied by d s , the length of the segment.

If that segment has unit tangent vector T ^ , then this change is given by ( T ^ · f ) d s , and we have

f ( r + T ^ d s ) f ( r ) = d s ( T ^ · f )

If we sum this statement over the entire path P , we get

r = a b d s · f = f ( b ) f ( a )

This means that the integral of the component of the gradient of f along the path will give the change in f or difference between its values at the front and back ends of P .

And this is the form that the fundamental theorem of calculus takes for line or path integrals in several dimensions.

In Chapter 23 we will show how to make a path integral into an ordinary integral, to which the tools for finding anti-derivatives can be applied.

The fundamental theorem here gives us an easier approach to evaluating definite integrals when the integrand multiplied by d s has the form ( T ^ · f ) d s which can also be written as ( d s · f ) . You just evaluate f at the ends of the path and take their difference!

Notice that this means such integrals do not depend on the path you use, just on the endpoints.

To use this result effectively, you must develop some idea of what vector fields can be recognized as gradients of scalar fields.

One way to do this is to find the gradients of various scalar fields, so you will be familiar with them.

In the next Chapter we will find a test you can use to determine whether your integral has the form appropriate for using this theorem.

Not only that, we will find a formula for relating the integral from a to b along one path to its integral along another, when the integrand does not have the form of a gradient dotted with d s .

Remember that you may be able to recognize part of your integral as a gradient, leaving you with a relatively easy part that requires reduction to ordinary integration.

Exercises:

21.5 Suppose f = ρ 2 . We then have f = ( 2 x , 2 y , 2 z ) = 2 ρ . Find the integral of ρ · d l over a path from ( 0 , 0 , 0 ) to ( 1 , 2 , 3 ) that goes from the origin up the x-axis to x = 1 , then parallels the y-axis to y = 2 and then parallel to the z-axis to z = 3 .
(Hint: ignore the path and use the fundamental theorem.)

21.6 Evaluate the gradients of the following fields: x k y j , ln r , 1 ρ .