Let F(x) be a vector field defined everywhere on the domain G⊂R3.
(a) Suppose that F(x) has a potential ϕ(x) such that F(x)=∇ϕ(x) for x∈G. Show that
∫γF⋅dx=ϕ(b)−ϕ(a)
for any smooth path γ from a to b in G. Show further that necessarily ∇×F=0 on G.
(b) State a condition for G which ensures that ∇×F=0 implies ∫γF⋅dx is pathindependent.
(c) Compute the line integral ∮γF⋅dx for the vector field
F(x)=⎝⎛x2+y2−yx2+y2x0⎠⎞
where γ denotes the anti-clockwise path around the unit circle in the (x,y)-plane. Compute ∇×F and comment on your result in the light of (b).