Examples of Path-Dependent Integrals:  Vector Fields with Non-Vanishing Curl

Here is a vector function (xyz, xyz, xyz) for which the curl does not vanish anywhere, except the origin

"index_1.gif"

"index_2.gif"

"index_3.gif"

These are the conditions that the curl is zero:

"index_4.gif"

"index_5.gif"

There is only one point where this occurs:

"index_6.gif"

"index_7.gif"

Let's evaluate the integral of the vector potential ( "index_8.gif"  ) for any  curve that wraps around a cylinder of radius R with an axis that coincides with the z-axis
"index_9.gif"
Any curve that wraps around the cylinder can be parameritized as (x(t), y(t), z(t)) = (R cos(t), R sin(t), A "index_10.gif"(t)) where "index_11.gif"(t) = "index_12.gif"(t + 2π) and in particular "index_13.gif"(0) = "index_14.gif"(2π).
Therefore d"index_15.gif"=    (-R sin(t), R cos(t), "index_16.gif"(t)) dt = (-y(t), x(t), A "index_17.gif"(t))     dt
The integrand for an integral of "VectorFunction" around such a curve is (written in terms of an arbitrary P(t):

"index_18.gif"

"index_19.gif"

The integral depends on the choice of P(t)

"index_20.gif"

"index_21.gif"

Let's introduce some specific periodic functions for P. Note how the value of the integral changes as the path changes:

"index_22.gif"

"index_23.gif"

"index_24.gif"

"index_25.gif"

"index_26.gif"

"index_27.gif"

However, here is  curious result which shows that some special paths can ``accidentally'' have zero integrals : let P(t) = cos(n t),

"index_28.gif"

"index_29.gif"

"index_30.gif"

"index_31.gif"

"index_32.gif"

"index_33.gif"

Apparently, the symmetry of the vector function causes cancelation (note results for P = Sin and P=Cos, differ by a minus sign)
But, why doesn't n=1 give us the correct result above? Note that the denominator goes to zero as n→1

"index_34.gif"

"index_35.gif"


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