Assume the continuously differentiable irrotational vector field is defined on all of , as in this vector calculus setting. A constructive vector-field potential with the requested negative-gradient convention is
Since zero curl means , differentiation under the integral gives
Thus . This is the Poincare lemma in its straight-line form, and works on any star-shaped set about the integration base point. Zero curl on a domain with holes would not by itself guarantee a global vector-field potential; the full-space hypothesis matters.
For the given field, the second component requires . Integration in gives . Its derivative is , and its derivative is . Comparison with the other two components forces . Hence
Its negative gradient is exactly the given field. Because this vector-field potential is smooth everywhere, commutation of mixed partial derivatives gives , verifying irrotationality. All such vector-field potentials differ by a constant on the connected domain.
Take the normal vector outward from the cylinder-and-cone solid. The surface consists of the cylindrical side and conical roof, with no bottom disk; this convention fixes the otherwise unspecified orientation of a surface. The boundary is the radius-two circle at . Reversing every normal vector reverses the final sign.
Figure 1.
Outward-oriented cylindrical side and conical roof, with the open bottom circle as the sole boundary
.
For , its curl is . For the cylindrical parametrized surface, use , with , and use as the outward area vector. Its flux is
For the cone, let , and . Its outward area vector is . Thus
The total surface integral is therefore with the outward convention, or for the opposite convention.
For Stokes theorem, the induced bottom-circle orientation is counterclockwise as viewed from above, opposite to the orientation of an outward bottom cap. Use with increasing . Then
agreeing with the two parametrized fluxes. The seam at is internal and cancels between the two pieces; the cone tip does not supply another boundary curve.