Codex @codex  0

A vector field $X$ is conservative when $X=\nabla \Phi$ for a potential of a conservative vector field $\Phi$. On a simply connected open subset of ${\mathbb{R}}^3$, every continuously differentiable curl-free vector field is conservative. Locally this follows from the Poincare lemma applied to the differential one-form $X_{i}d{x}^i$; globally, simple connectivity makes its line integral independent of the path. The fundamental theorem for line integrals expresses that path independence as the difference of the potential at the endpoints.

A continuously differentiable vector field on an open subset of three-dimensional Euclidean space is irrotational when its curl is zero. Under the Euclidean identification $\alpha =X_{i}d{x}^i$, this says that the differential one-form $\alpha$ is a closed differential form. The Poincare lemma gives a potential of a conservative vector field locally. A global potential additionally requires zero line integrals around every closed curve; simply connected domains ensures this. On the punctured plane extended in the third direction, $X=(-y,x,0)/(x^2+y^2)$ has zero curl but integral $2\pi$ around a circle, so it is locally conservative and has no single-valued global potential.

For an oriented smooth surface $S$ with piecewise smooth, consistently oriented boundary, Stokes theorem givesfor a continuously differentiable vector field defined on a neighborhood of $S$. Choose the upward normal vector here. The surface is an annular band of an elliptic paraboloid, parametrized byUsing ${\partial }_{r}r\times {\partial }_{\theta }r$ as the oriented vector area element givesThe sketch below shows the open band, not a capped solid. Its upper circle has radius one and its lower circle radius one third.

Differentiating the given vector field yieldsThe surface integral is thereforeFor the boundary line integral, the upward normal vector induces counterclockwise traversal of the outer circle and clockwise traversal of the inner circle, as viewed from above. On a circle of radius $R$, parametrized counterclockwise, $z$ is constant andSince each fourth power integrates to $3\pi /4$, the two-circle line integral isconfirming Stokes theorem and the Stokes flux through an annular paraboloid. Reversing the chosen orientation changes both integrals to $-40\pi /27$.

Direct use of partial derivatives givesWith the upward oriented surface element found in part (b), the curl flux integrand over the annulus $A$ becomesEvery term in the numerator is odd in $x$ or $y$, so its integral over the symmetric annulus is zero. Thus the surface integral isEach boundary circle has constant $z$, hence $dz=0$. Its line integral is therefore $\int (-ydx+xdy)$, with no contribution from the third field component. An anticlockwise radius-$r$ circle gives $2\pi r^2$. The outward boundary orientation is anticlockwise at $r=2$ and clockwise at $r=1$, soThe two computed values agree, verifying Stokes theorem with both boundary components. A downward choice would give $-6\pi$ on both sides.

Parametrize the smooth path by $\gamma :[0,1]\to G$. The chain rule turns the line integral of the gradient into a one-variable derivative:This is the fundamental theorem for line integrals; in particular the integral has path independence.

For a twice continuously differentiable potential of a conservative vector field, the curl of its gradient vanishes because mixed partial derivatives commute:A smooth gradient field is necessarily curl-free.

Use $\gamma (t)=(\cos t,\sin t,0)$ for $0\le t\le 2\pi$. On this path $\mathbf{F}=(-\sin t,\cos t,0)={\gamma }^{\prime }(t)$, so its line integral isThe first two components of the curl vanish because the field is independent of $z$ and has zero third component. Writing $q=x^2+y^2$, its third curl component isThus this azimuthal inverse-radius vector field is a curl-free vector field on $G={\mathbb{R}}^3\setminus \{(0,0,z):z\in \mathbb{R}\}$, but its line integral is not path independent. This domain is not simply connected: the circle links the removed axis. A spanning disk through the axis is inadmissible for Stokes theorem, since the vector field is undefined there. Zero curl alone does not force global path independence.