Path-Independent Integrals on a Limited Subspace: Vector Fields with Non-Vanishing Curl Except on a Particular Surface

For a last example, suppose the curl vanishes on the cylindrical surface defined above:
"index_47.gif"
Suppose we can find a function that has a non-vanishing curl on this surface

We want to find a function which is generally non-curl free, but for which the curl vanishes on a surface. Let's pick the cylinder as our surface.

"index_48.gif"

"index_49.gif"

If  a function can be found, that has the following curl, then we will have constructed such a function,

"index_50.gif"

"index_51.gif"

It is easy to see that this is the curl of Stooge, where we construct Stooge by integrating.

"index_52.gif"

"index_53.gif"

In fact, we could add to Stooge, any vector function that has vanishing curl--there are an infinite number of these

"index_54.gif"

"index_55.gif"

Its integral doesn't care which path around the cylinder it takes, the integrand doesn't depend on P(t)

"index_56.gif"

"index_57.gif"

This is the value for *any* path on the cylinder that is closed.

"index_58.gif"

"index_59.gif"


Created by Wolfram Mathematica 6.0  (24 September 2007) Valid XHTML 1.1!