Stokes' Theorem — Question 10

PDF ↗

Question 10

On ℝ3\mathbb R^3 minus the zz-axis, define 𝑭(x,y,z)=⟨−yx2+y2,xx2+y2,0⟩.\mathbf F(x,y,z)=\left\langle-\frac{y}{x^2+y^2},\frac{x}{x^2+y^2},0\right\rangle. Let CC be the unit circle in z=0z=0, counterclockwise from above.

Tasks

  1. Compute ∇×𝑭\nabla\times\mathbf F where the field is defined.

  2. Evaluate ∮C𝑭⋅d𝒓\displaystyle\oint_C\mathbf F\cdot d\mathbf r directly.

  3. Explain why applying Stokes to the full disk is invalid, and reconcile the result using a punctured disk.

Original worksheet page 1: question and worked solution for 6-5-010
Show solutionHide solution

Question 10 – Solution

Strategy. The apparent contradiction “zero curl but nonzero circulation” signals a failed hypothesis: the field is singular on every full disk spanning CC.

Step 1: Curl and direct integral Differentiation gives ∇×𝑭=𝟎(x2+y2>0).\nabla\times\mathbf F=\mathbf 0\qquad(x^2+y^2>0). On CC, let 𝒓(t)=⟨cos⁡t,sin⁡t,0⟩\mathbf r(t)=\langle\cos t,\sin t,0\rangle. Then 𝑭(𝒓(t))=⟨−sin⁡t,cos⁡t,0⟩=𝒓′(t),\mathbf F(\mathbf r(t))=\langle-\sin t,\cos t,0\rangle=\mathbf r'(t), so ∮C𝑭⋅d𝒓=∫02π1dt=2π.\boxed{\oint_C\mathbf F\cdot d\mathbf r=\int_0^{2\pi}1\,dt=2\pi}.

See the diagram in the original worksheet below.

Step 2: Locate the failed hypothesis The field is undefined at the origin, which lies on the full spanning disk. Thus 𝑭\mathbf F does not have continuous derivatives on an open set containing that disk, and Stokes’ Theorem cannot be applied there.

Step 3: Use an annulus Remove a radius-ε\varepsilon disk. On the resulting annulus the curl is zero, so Stokes gives 0=∮Couter𝑭⋅d𝒓+∮Cinner,clockwise𝑭⋅d𝒓=2π−2π.0=\oint_{C_{\mathrm{outer}}}\mathbf F\cdot d\mathbf r +\oint_{C_{\mathrm{inner,clockwise}}}\mathbf F\cdot d\mathbf r =2\pi-2\pi.

Verification The inner boundary carries exactly the circulation needed to account for the puncture; no contradiction remains.

Original worksheet page 2: question and worked solution for 6-5-010

Original worksheet layout. Use Enlarge or open the PDF for a closer view.