The gradient part contributes zero around a closed path by the fundamental theorem for line integrals:Along the parametrization, , so the first two components of vanish wherever the printed expression is defined. The remaining component gives . ThusThe printed field needs a qualification: is undefined at the isolated parameters where , so cannot literally be evaluated. The result above is the improper line integral, or equivalently the integral of the continuous extension of the restricted field along the curve. That restricted field tends to at each omitted parameter. No extension of the full field to a neighbourhood is being assumed.
The curl of a gradient vanishes because the mixed second partial derivatives of the smooth function agree. Therefore everywhere, andUnlike part (i), this integrand does not involve the problematic auxiliary field.
Where is twice continuously differentiable, the identity divergence of a curl is zero gives . All regular portions of the parameter interval lie in this region, henceas an improper line integral. Besides the endpoint problem from (i), the curve touches at , where the printed real expression has no smooth open neighbourhood. The identity applies on the intervening open segments, and its zero value has a unique continuous extension along the curve. A literal classical integrand at every parameter is not supplied by the printed field.
Articles by others on the same topic
There are currently no matching articles.