Prove that
∇×(a×b)=a∇⋅b−b∇⋅a+(b⋅∇)a−(a⋅∇)b
S is an open orientable surface in R3 with unit normal n, and v(x) is any continuously differentiable vector field such that n⋅v=0 on S. Let m be a continuously differentiable unit vector field which coincides with n on S. By applying Stokes' theorem to m×v, show that
∫S(δij−ninj)∂xj∂vidS=∮Cu⋅vds
where s denotes arc-length along the boundary C of S, and u is such that uds=ds×n. Verify this result by taking v=r, and S to be the disc ∣r∣⩽R in the z=0 plane.