Set and . Their mixed derivatives agree: . Both components are smooth on all of , a simply connected space, so the line integral is path independent.
Choose a horizontal segment from to followed by a vertical segment to . On the first, and ; on the second, and . Thus
The selected path and its orientation are shown below. No contribution comes from a differential whose coordinate is held constant on a segment.
Figure 1.
Two straight segments used to evaluate the path-independent integral
. Details.
Construct a global vector-field potential rather than relying only on vanishing curl:
Thus is a conservative vector field. The endpoints of the given parametric curve are and . The fundamental theorem for line integrals gives
The intervening turns of the curve have no effect because this line integral is path independent.
By Stokes theorem, it suffices to calculate the boundary line integral. On the plane, and , so
This exact differential has zero integral around a closed curve. Therefore
The argument applies to any admissible spanning surface, including a curved one; the surface itself need not lie in the plane.
Choose the oriented surface parametrization , with . Then and . The surface integral is
For the compatible boundary direction, use successive vertices , , , and back. The four line integrals are respectively
Their sum is , agreeing with the surface integral. Choosing the opposite normal and reversing the boundary direction gives on both sides. Stating an orientation is necessary because the question does not prescribe one.
A vector line integral along an oriented parametrized curve is ; for a force field it is the work along that path. On the upper branch, set , , . Then
so
The stated endpoints do not distinguish the two branches of . If the lower branch is intended, the same parametrization runs from to , giving instead . The two values correspond to different terminal points, and ; choosing a branch is necessary to make the question unambiguous.
The Stokes theorem states that for an oriented smooth surface with compatible oriented boundary and a continuously differentiable vector field,
Here , whereas a normal vector to the specified plane is . Their dot product is zero. Thus every closed curve in that plane has zero circulation by the Stokes theorem.
The source says “any curve” and displays an ordinary line integral, without specifying that it is closed or giving endpoints. An open curve need not give zero. On the plane, put and ; the pulled-back differential one-form becomes
Therefore the complete endpoint-dependent answer is
which specializes to zero for a closed curve. For example, the path from to lies in the plane and has integral . This illustrates a conservative restriction of a vector field to a plane despite nonzero ambient curl.
For an oriented piecewise smooth surface with boundary , and a vector field continuously differentiable on a neighborhood of , Stokes theorem states
Here is the chosen unit normal vector, is the unsigned surface area element, and is the tangent displacement along the boundary. The right-hand rule pairs the boundary orientation with . If there are several boundary components, the line integral includes all of them with their induced orientations.
A simply connected surface is connected and every closed loop on it can be continuously contracted to a point while remaining on the surface. A disc is an example. An annulus is not simply connected: a loop winding once around its hole cannot contract within it.
Stokes' theorem is valid for both types of surface, under the smoothness and orientation hypotheses above. Simple connectivity is not a requirement of the theorem. For a concrete annular example, take and in the horizontal plane. Its curl is , so the left side is . The right side is the counterclockwise outer-circle integral minus the counterclockwise inner-circle integral , giving exactly the same answer. Omitting the inner boundary would be an incorrect application of the theorem.
For , the azimuthal unit vector is , so
On a counterclockwise circle at fixed height, . Hence
independent of the positive radius. Clockwise orientation reverses the sign.
There is no contradiction with the zero curl found in solution. The vector field is undefined on the axis, so it is not continuously differentiable on a disc spanning ; the hypotheses of Stokes theorem fail for that disc. It is smooth on a planar annulus excluding the axis, where Stokes theorem correctly gives zero: the two boundary line integrals cancel, .
The same check works for general . A counterclockwise circle has circulation . Integrating the curl over an annulus gives, for ,
For , both sides are zero. Thus all three preceding results are consistent with Stokes theorem; the necessary distinctions are the regularity of the vector field and inclusion of every oriented boundary component.
A scalar line integral is : it weights arc length by a scalar field and is unchanged by reversing orientation. A vector-work line integral is : it measures the tangent component of a vector field and changes sign under reversal. Both are invariant under a regular orientation-preserving reparametrization.
For the prescribed counterclockwise curve, traverse the upper semicircle from to , then the lower parabola from back to .
Figure 1.
Counterclockwise contour formed by the upper unit semicircle and the lower parabolic arc.
The upper arc runs from right to left; the lower arc runs from left to right. The enclosed area is the sum of a semicircle and a parabolic segment. Details.
On the upper arc, use , , . Then
so its integral is : the last two terms integrate to zero by symmetry or direct integration. On the parabolic arc, use , for . Here and
Therefore
As an independent check, Green's theorem gives the integrand . The region is symmetric in , so its odd part vanishes. Its area is , giving , exactly the same value.
A conservative vector field can be written as for a single-valued scalar potential . Its line integral between two points depends only on the endpoints, and its integral around every closed curve is zero. A necessary local test for a smooth planar field is . On a simply connected domain such as the whole plane, this is also sufficient.
Here
An explicit scalar potential is even more decisive:
Indeed and . Thus the field is conservative on .
An exact differential is a differential one-form equal to on its domain; an inexact differential is not the differential of a single-valued potential there. For example, is exact. For the supplied form , the cross derivatives are
They disagree, so is not even closed and hence cannot be exact. Equivalently, its counterclockwise line integral around the unit square is . Therefore
The connection is : a vector field is conservative precisely when its work differential one-form is exact. Locally vanishing curl alone need not guarantee global exactness on a domain with holes.
For an oriented piecewise smooth surface , a continuously differentiable vector field on a neighborhood of it, and its compatibly oriented boundary , Stokes theorem states
Here is the chosen unit normal vector, is the unsigned surface area element, and is the tangent displacement along . The right-hand rule relates the boundary direction to .
The supplied field has curl . Parametrize the plane by over the triangle . Its upward oriented surface area element is , giving
For the boundary line integral, take the positively oriented vertices , , . Their projections run counterclockwise in the horizontal plane. With , the three edges are
On each edge, direct substitution gives . Hence
The two independent computations agree, including the orientation sign.
Parametrize the curve by for . Then and . Their dot product gives the line integral
Using integration by parts for the second term,
Choose the outward normal vector on the side of the elliptic cylinder. Parametrize it by
Since points outward, the parameter rectangle has its bottom edge traversed with increasing , its right cut edge with increasing , its top edge with decreasing , and its left cut edge with decreasing . After identification, the two cut edges are the same physical curve with opposite directions. Their line integrals cancel for a single-valued vector field. Viewed from above, the bottom rim is counterclockwise and the top rim clockwise.
Figure 1.
An elliptic cylindrical side cut open into a parameter rectangle, with compatible outward boundary directions
. Details.
To apply Stokes theorem to a flux rather than a curl integral, first find a vector potential:
This vector potential is smooth everywhere. On either horizontal rim, is horizontal whereas is vertical, giving . For a cut at , , so the upward cut contribution is and the downward one is . Consequently
A direct check uses the oriented surface element above: , whose integral over a full turn vanishes. Reversing the chosen orientation still gives zero.
The position vector field is a gradient field:
Along any piecewise smooth curve, . Therefore a closed line integral has identical endpoint values and
For a loop bounding an admissible oriented surface, Stokes theorem gives the same result because . The gradient field proof also applies directly to arbitrary piecewise smooth closed loops without choosing a spanning surface.
Let be a compact piecewise smooth oriented surface, its chosen unit normal vector, and its entire oriented boundary. Let be a continuously differentiable vector field on a neighborhood of . Stokes theorem states
Here is the curl, is the surface area element, and is the directed line integral element. The boundary follows the right-hand rule relative to ; equivalently the surface lies to the left when walking along its boundary with one's head toward .
The topological requirement is orientability, together with the regularity and boundary assumptions above. Simple connectivity is unnecessary. An annulus or cylindrical side is allowed, provided every boundary component is included with its induced direction. For a concrete counterexample to a disk-only restriction, take the planar annulus and . The curl is , the surface integral is , and the outer counterclockwise and inner clockwise line integrals sum to .
For in the plane with upward normal vector and , its curl has vertical component . Thus Stokes theorem becomes Green's theorem:
The outer boundary is counterclockwise and any inner boundaries are clockwise.
For a continuously differentiable vector field on a neighborhood of an oriented, piecewise smooth surface , Stokes theorem states
Here is the boundary curve, is its directed tangent element, is the chosen unit normal vector, is the surface area element, and is the curl. The right-hand rule relates the boundary direction to . Thus circulation around the edge equals the flux of curl through the spanning surface. Reversing both orientations changes both signs. One can replace a difficult line integral by an easier surface integral, or replace one spanning surface by another within the region of regularity.
For a bounded volume with piecewise smooth closed boundary and a continuously differentiable vector field on a neighborhood of its closure, the divergence theorem states
Here points out of , including into any holes, is the volume element, and is the divergence. It equates total outward flux to integrated source strength. It converts a closed surface integral into a volume integral, and explains why internal fluxes cancel in a subdivided region. Singularities cannot be included without checking the hypotheses.
For a conservative force, the work around every closed path is zero. Stokes theorem gives zero flux of curl through every sufficiently small patch. Dividing by its area and shrinking the patch shows that every component of the continuous curl vanishes:
Here is potential energy; conversely, zero curl implies a conservative vector field on a simply connected domain. The divergence theorem then gives the compatible relation . There is no general zero-divergence condition on a conservative force: is a concrete counterexample, with .
Set and . Their partial derivatives satisfy throughout . The vector field is smooth on the entire simply connected plane, so zero curl proves path independence.
Choose the broken straight path . Along its horizontal segment and , giving
Along its vertical segment and , giving
Therefore the line integral is
Figure 1.
Original sketch of the chosen oriented path through the corner at (2,0)
. Details.
An exact differential is an expression that equals for a single-valued differentiable function on the domain. Its line integral is an endpoint difference by the fundamental theorem for line integrals.
Integrating with respect to gives . Matching to requires . Hence
The arbitrary additive constant cancels. This constructs the vector-field potential globally and provides a second proof of path independence.
Assume a simple, piecewise smooth closed curve oriented counterclockwise around its enclosed region . Apply Green's theorem with and :
The orientation assumption is essential. A clockwise unit circle, , for , gives although its enclosed area is . For a self-intersecting curve the same line integral measures twice the signed area, with multiplicity, rather than necessarily twice an ordinary enclosed area.
For positive semiaxes , the ellipse has the counterclockwise parametrization , . Then
Therefore
If nonzero signed constants are allowed in place of positive semiaxes, the geometric area is .
For a sufficiently smooth vector field on an oriented surface with compatible boundary orientation, Stokes theorem states
Apply it to in the plane. The closed line integral is the area integral of . Thus makes it vanish whenever a spanning surface lies within the smooth domain. In a simply connected domain this implies path independence: join one path from to to the reverse of another, and their difference is a zero closed line integral.
The domain qualification is essential. On the punctured plane, , satisfy , but the line integral around the unit circle is . A disk spanning that circle passes through the singularity. Hence the printed implication requires an appropriate domain assumption; zero curl alone is not a global path independence theorem.