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 orientationReversing 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 givesEvery circle bounds its planar disk, and the vector field is smooth on all of , including that disk. Stokes theorem therefore gives for either orientationThe 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 parametrizeOn this curve the horizontal contribution is , while the vertical contribution is . Its integral over a closed curve is zero. Thereforewith 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
There are currently no matching articles.