Since is constant, componentwise differentiation gives . Applying the divergence theorem to this vector field gives
This holds for every constant vector , so the vector integrals agree. This is the vector gradient form of the divergence theorem. With , the gradient is the constant unit vector . Therefore
Parametrize the directed segment by , . Its tangent is , while the restricted vector field is . The line integral is therefore
Alternatively, , so the fundamental theorem for line integrals gives the same endpoint difference.
Only the component of the vector field is nonzero, so . On the vertical segment, throughout. Hence
For a sufficiently smooth vector field on a volume and its closed boundary , the divergence theorem states
with the unit normal directed outwards. Here
Hence the net volume flux through every closed surface in the liquid is zero. This verifies incompressible flow directly. It does not require the velocity to vanish pointwise on an arbitrary closed surface; inward and outward contributions can cancel.
The curl of the first vector field is
which is not identically zero. Thus is not conservative on and cannot equal a negative gradient there.
For the second field, direct differentiation shows
Therefore is conservative, and the requested negative-gradient potential is
Its curl vanishes, consistently with the curl of a gradient identity.
Write . The cross product gives , whose three diagonal partial derivatives vanish. For the second vector field, direct differentiation gives , , and . Thus
Direct calculation of the curl gives
Since , the first vector field cannot be a gradient field: the curl of a gradient is zero. The second is a smooth polynomial field on all of the simply connected space , so its vanishing curl makes it a conservative vector field. A potential is also constructed explicitly in the next part. Thus is a conservative vector field and is not. A vanishing divergence alone, as for , is a different property and does not establish conservativity.
On a connected domain, a vector field is a conservative vector field if and only if it is the gradient of a single-valued scalar potential, . Equivalently, its line integral is path independent, or its integral around every closed curve is zero. For a continuously differentiable field on a simply connected domain, this is equivalent to . Without the domain hypothesis, vanishing curl alone is only a local test and is not the necessary-and-sufficient global statement.
For a smooth oriented surface with piecewise smooth boundary and a continuously differentiable vector field , the Stokes theorem states
The boundary orientation is fixed by the right-hand rule: curling the fingers along the positive boundary direction makes the thumb point along the surface normal. For an outward upper cap, its boundary ellipse is traversed counterclockwise when viewed from the positive direction. The figure shows two possible caps with the same oriented boundary, anticipating the last part.
Figure 1.
Two outward-oriented caps share a counterclockwise boundary and the same curl flux
. Details.
The homogeneous equation is the dot product condition . A suitable vector field is therefore
Where nonzero, it is tangent to the level curves of and perpendicular to its gradient. At the origin this vector vanishes, so no direction is defined there.
Take the outward orientation of the complete closed surface, including its flat base. The constant part of the vector field has zero divergence, and the radial part has divergence . The divergence theorem gives its flux as that constant times the solid hemisphere's volume, :
The constant field may have nonzero flux through the curved part alone, but its curved and base contributions cancel on the closed surface.
The vector field is radial, while the differential displacement along a centred circle is tangential. These directions are orthogonal, so the dot product vanishes at every point. Hence
Write . The vector field is undefined at because diverges there, but this component is tangential to that face. The face fluxes have finite improper integral limits. In particular, the substitution gives
Using the outward unit normal on each face, the flux contributions are
Hence
For a precise justification at the singular face, first use the truncated cube . Its opposite -face integrals cancel, the -faces contribute , and the upper -face contributes . The limit as is . On each truncated cube the divergence theorem gives the same answer, since . Thus the result is a flux of a vector field with an integrable tangential singularity, rather than an application of the classical smooth-field theorem directly at .
Compute the flux directly using the outward vector area element, as required. Restrict the vector field to the surface parametric equation and take the dot product:
The terms quadratic in cancel. Therefore the surface integral is
This is a direct evaluation of the flux of the position vector through a cone.
The new cone can be parametrized by
The outward vector area element is . This is ; reversing the order is needed to retain the outward orientation after the exchange of coordinates. Its dot product with is again . Hence
This equality also follows because a rigid rotation takes the first cone into the second and leaves the radial vector field invariant.
Parametrize the segment in its stated direction by , . Then , and substitution into the two vector fields gives
Taking each dot product with evaluates the line integrals:
The proposed parametric equation traces precisely the same oriented segment, with a different speed. Set , which increases from zero to one, and . Direct substitution gives the line integrals
Thus both values are unchanged. The derivative of vanishes at the initial endpoint for , but the monotone integration by substitution is still valid. This is invariance under reparametrization of one curve, which applies even to a nonconservative vector field; it is not evidence of general path independence.