The multivariable chain rule gives and . Therefore
so . The terms cancel identically, independently of the particular function .
The partial derivatives are
Thus the Jacobian determinant is
This vanishing reflects the functional dependence found next.
The tangent addition formula gives
Hence . The restriction excludes the poles of tangent that can arise in the possible range . One should not replace this identity by globally: the principal inverse tangent can differ from by an integer multiple of .
A scalar potential is , since . The fundamental theorem for line integrals therefore reduces the line integral to its endpoints. The curve starts at and ends at , so
The region is the part of the disk in the first quadrant above . In polar coordinates, it is and . The integrand becomes , and the area Jacobian determinant contributes another . Thus

Articles by others on the same topic (0)

There are currently no matching articles.