The curl is constant:
Orient the spanning planar disk by the unit normal and orient its boundary by the right-hand rule, equivalently counterclockwise when viewed from the side towards which points. Stokes theorem converts the line integral to a constant flux integral through a disk of area . With this orientation
Reversing the orientation changes the sign. The centre of the circle does not enter because the curl is constant.
Symmetry of the derivative matrix means . Contracting this symmetric pair with the antisymmetric Levi-Civita symbol gives
Every circle bounds its planar disk, and the vector field is smooth on all of , including that disk. Stokes theorem therefore gives for either orientation
The global domain is essential to this argument; the same local symmetry condition on a domain with a hole need not make every closed-curve line integral vanish.
Away from the origin, the given vector field is the gradient of the globally single-valued radius:
The sphere has centre , at distance from the origin, and radius one. Its intersection circle is therefore wholly away from the origin, since every point on the sphere has distance at least . Along the closed curve the chain rule gives . Consequently, independently of orientation,
The intersection is nondegenerate: the centre's distance from the plane is . No parametrization of the resulting circle is needed because is a potential of a conservative vector field throughout the punctured space.
Set . The first two components of the curl vanish since the horizontal components are independent of and the last component depends only on . For the third,
so this is a curl-free vector field everywhere in its domain:
Choose the orientation in which the projection onto the -plane runs counterclockwise, and parametrize
On this curve the horizontal contribution is , while the vertical contribution is . Its integral over a closed curve is zero. Therefore
with for the opposite orientation. This does not contradict Stokes theorem: the planar disk spanning this curve meets the excluded -axis at , where the vector field is undefined. The horizontal one-form is the angular differential and records one winding about that axis; thus this curl-free vector field has no single-valued global potential of a conservative vector field on its domain.

Articles by others on the same topic (0)

There are currently no matching articles.