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 a continuously differentiable vector field on all of ${\mathbb{R}}^3$, the necessary and sufficient condition for a conservative vector field is $\nabla \times \mathbf{F}=0$. Necessity follows from equality of mixed partial derivatives of a potential; sufficiency uses the ${\mathbb{R}}^3$ being a simply connected space. On a general domain the topology cannot be omitted.

Here the relevant mixed partial derivatives areThus the curl vanishes. Integrating the first component in $x$ gives $\Phi =x^2\cos y-2x{z}^3+A(y,z)$. Matching the second component gives $A_y=3+2y{e}^z$, hence $A=3y+y^2{e}^z+B(z)$. Matching the last component forces $B^{\prime }=0$. A potential of a conservative vector field with the convention $\mathbf{F}=\nabla \Phi$ is consequentlyIf a physical potential is defined instead through $\mathbf{F}=-\nabla V$, it is $V=-\Phi$.

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.

A sufficient condition is that $G$ be an open simply connected domain, with $\mathbf{F}$ continuously differentiable. Under this condition a curl-free vector field has a global potential of a conservative vector field and hence path independence by the fundamental theorem for line integrals. One way to see the global step is to deform the closed loop formed by two paths into a point inside $G$: the integral is unchanged during the deformation because the curl is zero, as expressed by Stokes theorem. Therefore simple connectivity is a sufficient domain hypothesis. It is not a claim that every particular curl-free field needs such a domain; a given field can have a global potential on a domain with holes.

Away from the origin, the given vector field is the gradient of the globally single-valued radius:The sphere has centre $(5,3,2)$, at distance $\sqrt{38}$ from the origin, and radius one. Its intersection circle is therefore wholly away from the origin, since every point on the sphere has distance at least $\sqrt{38}-1>0$. Along the closed curve the chain rule gives $\mathbf{F}\cdot d\mathbf{x}=dr$. Consequently, independently of orientation,The intersection is nondegenerate: the centre's distance from the plane is $4/\sqrt{35}<1$. No parametrization of the resulting circle is needed because $r$ is a potential of a conservative vector field throughout the punctured space.

Set $s=x^2+y^2>0$. The first two components of the curl vanish since the horizontal components are independent of $z$ and the last component depends only on $z$. For the third,so this is a curl-free vector field everywhere in its domain:Choose the orientation in which the projection onto the $xy$-plane runs counterclockwise, and parametrizeOn this curve the horizontal contribution is $(-\sin t,\cos t)\cdot (-\sin t,\cos t)dt=dt$, while the vertical contribution is $zdz=d(z^2/2)$. Its integral over a closed curve is zero. Thereforewith $-2\pi$ for the opposite orientation. This does not contradict Stokes theorem: the planar disk spanning this curve meets the excluded $z$-axis at $(0,0,200)$, where the vector field is undefined. The horizontal one-form is the angular differential and records one winding about that axis; thus this curl-free vector field has no single-valued global potential of a conservative vector field on its domain.

A conservative vector field on ${\mathbb{R}}^n$ is a vector field $\mathbf{V}=\nabla F$ for a globally defined smooth potential of a conservative vector field $F$. The chain rule givesso its line integral is path independent.

Green theorem states that, for a bounded planar region $D$ with piecewise smooth boundary and continuously differentiable $P,Q$ on a neighbourhood of its closure,The boundary is positively oriented: the region lies on the left while it is traversed, so outer components run counterclockwise and hole boundaries clockwise.

For the proposed potential of a conservative vector field, the fundamental theorem of calculus and differentiation under the integral sign giveSince $Q_x=P_y$, the last integral equals $P(x,y)-P(x,0)$, including negative $y$ with the usual signed-integral convention. Hence the proposed potential is global andThe fact that the vector field is defined on all of ${\mathbb{R}}^2$ ensures both straight integration segments stay inside its domain; a hole in the domain could obstruct a global potential.

Integrating the oscillatory term together with the constant components gives a potential of a conservative vector fieldDirect partial derivatives recover both components of $\mathbf{V}$, proving it is a conservative vector field. Its line integral is therefore path independent. At an integer endpoint $(m,n)$, the sine term vanishes, so for any of the specified pathsAny other potential has the same gradient, so differs from $F$ by a constant on the connected plane. In particular every potential changes by $1$ under $x\mapsto x+1$ and by $2$ under $y\mapsto y+1$. Equivalently the integral from $(0,0)$ to $(1,0)$ is $1$, whereas a unit-periodic potential would make that difference zero. There is no potential periodic with period one in both coordinate directions. This is an example of how periods obstruct a periodic potential: a periodic vector field need not have a periodic potential.

If a periodic vector field has a periodic potential of a conservative vector field, the line integral between points separated by a period vector must vanish, since it is the potential difference. A periodic gradient field need not satisfy this: the constant field $(1,2)$ on the plane has potential $x+2y$, but its integrals over the two unit translations are $1$ and $2$. On the periodic quotient these translation integrals are nonzero periods, obstructing a single-valued potential there.