My understanding of the conservative field is that it is any vector field that satisfies any of these three equivalent conditions: $$\oint_C\vec{F}.d\vec{s}=0$$for any closed path $C$ in the domain,$$\vec{F}=\vec{\nabla}\phi$$for some scalar field $\phi$ defined over the domain, and$$\vec{\nabla}\times\vec{F}=\vec{0}$$ at every point in the domain.
However, our teacher told us today that a conservative field and a field derived from a potential are not the same thing. In my research on the issue I found this wolfram page that states that the last condition is not equivalent to the others if the domain $D$ is not simply connected.
Can anyone provide me with an example on the case ?
And in this case, what becomes the definition of a conservative field ?
Consider $\mathbf{F} = (-y/\sqrt{x^2 + y^2}) \mathbf{e}_x + (x/\sqrt{x^2 + y^2}) \mathbf{e}_y = (1/r) \mathbf{e}_\theta$ on the multiply connected domain $D =\mathbb{R}^2 \setminus (0,0)$.
Note that $\mathbf{F}$ is the gradient of a function $\phi$ in $\hat{D} =D \setminus \{(r,\theta): \theta = 0 \}$ but not throughout $D$.
In $\hat{D}$ we have for $\phi(r,\theta) = \theta$
$$\mathbf{F}(r,\theta) = \nabla \phi = \frac{\partial \theta}{\partial r}\mathbf{e}_r + \frac{1}{r}\frac{\partial \theta}{\partial \theta} \mathbf{e}_\theta + \frac{\partial \theta}{\partial z} \mathbf{e}_z =\frac{1}{r}\mathbf{e}_\theta .$$
This field has zero curl throughout $D$, i.e.,
$$ \nabla \times \mathbf{F} = \frac{1}{r} \frac{\partial}{\partial r}\left(r \frac{1}{r} \right)\mathbf{e_z} = 0,$$
but it is non-conservative. Around any circular contour $C$ centered at the origin, we have
$$\oint_C \mathbf{F} \cdot d\mathbf{s} = \int_0^{2\pi} \frac{1}r r\, d\theta = 2 \pi \neq 0.$$
It is impossible to satisfy both $\mathbf{F} = \nabla \phi$ where $\phi$ is continuous and differentiable and $\oint_C \mathbf{F} \cdot \, d \mathbf{s} \neq 0.$