 Solution

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.