Parametrize the path by , from to . For the conservative vector field , the chain rule givesIntegrating proves the fundamental theorem for line integrals:Only the endpoints matter, so the integral is independent of the connecting path.
For a twice continuously differentiable scalar potential, the curl of its gradient isEquality of mixed partial derivatives makes every component zero. ThusThis is the curl of a gradient identity.
Differentiate the components directly:Thus . The field is smooth on all of , a simply connected domain, so the zero-curl condition is sufficient for a conservative vector field. The domain condition matters: zero curl alone need not imply a global potential on a region with holes.
Evaluate the line integral along the three coordinate segments, treating coordinates not changing along a segment as constants. On the first segment, , so and the contribution is zero. On the second segment,On the final segment,The fundamental theorem for line integrals therefore givesTaking its gradient verifies each component of the field. The constant is ; the field specifies only potential differences because the gradient of every constant is zero.
For , the tangent vector is . Substitute into the field:Its scalar product with the tangent is . Hence the explicitly parametrized line integral isAs a check, the potential from part (d) has values at and at , giving the same difference.
Articles by others on the same topic
There are currently no matching articles.