← 2022 Paper 1

UPSC 2022 Maths Optional Paper 1 Q7a — Step-by-Step Solution

20 marks · Section B

Stokes' theorem · Vector Analysis · asked 10× in 14 yrs · Read the full method →

Question

Verify Stokes’ theorem for F⃗=xı^+z2ȷ^+y2k^\vec F=x\hat\imath+z^2\hat\jmath+y^2\hat k over the plane surface x+y+z=1x+y+z=1 lying in the first octant.

Technique

Direct computation of both sides. The integrand (2y−2z)(2y-2z) has nice cancellation when restricted to the plane z=1−x−yz=1-x-y.

Solution

Setup. SS: triangle on plane x+y+z=1x+y+z=1 in first octant, vertices (1,0,0),(0,1,0),(0,0,1)(1,0,0),(0,1,0),(0,0,1).

Stokes’ theorem: ∮CF⃗⋅dr⃗=∬S(∇×F⃗)⋅n^ dS\displaystyle\oint_C\vec F\cdot d\vec r=\iint_S(\nabla\times\vec F)\cdot\hat n\,dS.

Step 1 — Compute ∇×F⃗\nabla\times\vec F

F⃗=(x,z2,y2)\vec F=(x,z^2,y^2).

∇×F⃗=det⁡(ı^ȷ^k^∂x∂y∂zxz2y2)=(∂y(y2)−∂z(z2),  ∂z(x)−∂x(y2),  ∂x(z2)−∂y(x))\nabla\times\vec F=\det\begin{pmatrix}\hat\imath & \hat\jmath & \hat k\\ \partial_x & \partial_y & \partial_z\\ x & z^2 & y^2\end{pmatrix}=(\partial_y(y^2)-\partial_z(z^2),\;\partial_z(x)-\partial_x(y^2),\;\partial_x(z^2)-\partial_y(x)).

=(2y−2z,  0−0,  0−0)=(2y−2z,0,0)=(2y-2z,\;0-0,\;0-0)=(2y-2z,0,0).

Step 2 — Surface integral

n^\hat n on plane x+y+z=1x+y+z=1: n^=(1,1,1)/3\hat n=(1,1,1)/\sqrt 3 (outward, pointing away from origin).

(∇×F⃗)⋅n^=(2y−2z)⋅1/3+0+0=(2y−2z)/3(\nabla\times\vec F)\cdot\hat n=(2y-2z)\cdot 1/\sqrt 3+0+0=(2y-2z)/\sqrt 3.

Surface area element on the plane: parametrise by (x,y)(x,y) with z=1−x−yz=1-x-y. The Jacobian of the map from (x,y)(x,y) to surface is 1+(∂z/∂x)2+(∂z/∂y)2=1+1+1=3\sqrt{1+(\partial z/\partial x)^2+(\partial z/\partial y)^2}=\sqrt{1+1+1}=\sqrt 3.

So dS=3 dx dydS=\sqrt 3\,dx\,dy.

Surface integral:

∬S(∇×F⃗)⋅n^ dS=∬Txy2y−2z3⋅3 dx dy=∬Txy(2y−2(1−x−y)) dx dy\iint_S(\nabla\times\vec F)\cdot\hat n\,dS=\iint_{T_{xy}}\dfrac{2y-2z}{\sqrt 3}\cdot\sqrt 3\,dx\,dy=\iint_{T_{xy}}(2y-2(1-x-y))\,dx\,dy =∬Txy(2y−2+2x+2y) dx dy=∬Txy(2x+4y−2) dx dy,=\iint_{T_{xy}}(2y-2+2x+2y)\,dx\,dy=\iint_{T_{xy}}(2x+4y-2)\,dx\,dy,

where TxyT_{xy} is the projection of SS onto xyxy-plane: triangle with vertices (0,0),(1,0),(0,1)(0,0),(1,0),(0,1).

Compute (using vertical strips):

∬(2x+4y−2) dy dx=∫01∫01−x(2x+4y−2) dy dx.\iint(2x+4y-2)\,dy\,dx=\int_0^1\int_0^{1-x}(2x+4y-2)\,dy\,dx.

Inner: ∫01−x(2x+4y−2) dy=[(2x−2)y+2y2]01−x=(2x−2)(1−x)+2(1−x)2\int_0^{1-x}(2x+4y-2)\,dy=[(2x-2)y+2y^2]_0^{1-x}=(2x-2)(1-x)+2(1-x)^2.

=(2x−2)(1−x)+2(1−x)2=(1−x)[(2x−2)+2(1−x)]=(1−x)[2x−2+2−2x]=(1−x)⋅0=0=(2x-2)(1-x)+2(1-x)^2=(1-x)[(2x-2)+2(1-x)]=(1-x)[2x-2+2-2x]=(1-x)\cdot 0=0.

So inner integral =0=0 for all xx!

Outer: ∫010 dx=0\int_0^1 0\,dx=0.

Surface integral =0=0.

Step 3 — Line integral ∮CF⃗⋅dr⃗\oint_C\vec F\cdot d\vec r

CC is the boundary of SS: triangle (1,0,0)→(0,1,0)→(0,0,1)→(1,0,0)(1,0,0)\to(0,1,0)\to(0,0,1)\to(1,0,0) (orientation chosen consistent with n^\hat n pointing outward from origin — by right-hand rule, this is CCW when viewed from the n^\hat n direction).

Edge 1: (1,0,0)→(0,1,0)(1,0,0)\to(0,1,0). Parametrise: r⃗(t)=(1−t,t,0)\vec r(t)=(1-t,t,0), t:0→1t:0\to 1. dr⃗=(−1,1,0) dtd\vec r=(-1,1,0)\,dt.

F⃗=(x,z2,y2)=(1−t,0,t2)\vec F=(x,z^2,y^2)=(1-t,0,t^2).

F⃗⋅dr⃗=(1−t)(−1)+0+0=−(1−t)=t−1\vec F\cdot d\vec r=(1-t)(-1)+0+0=-(1-t)=t-1.

∫01(t−1) dt=1/2−1=−1/2\int_0^1(t-1)\,dt=1/2-1=-1/2.

Edge 2: (0,1,0)→(0,0,1)(0,1,0)\to(0,0,1). r⃗(t)=(0,1−t,t)\vec r(t)=(0,1-t,t). dr⃗=(0,−1,1) dtd\vec r=(0,-1,1)\,dt.

F⃗=(0,t2,(1−t)2)\vec F=(0,t^2,(1-t)^2).

F⃗⋅dr⃗=0+t2(−1)+(1−t)2(1)=−t2+(1−t)2\vec F\cdot d\vec r=0+t^2(-1)+(1-t)^2(1)=-t^2+(1-t)^2.

(1−t)2−t2=1−2t+t2−t2=1−2t(1-t)^2-t^2=1-2t+t^2-t^2=1-2t.

∫01(1−2t) dt=1−1=0\int_0^1(1-2t)\,dt=1-1=0.

Edge 3: (0,0,1)→(1,0,0)(0,0,1)\to(1,0,0). r⃗(t)=(t,0,1−t)\vec r(t)=(t,0,1-t). dr⃗=(1,0,−1) dtd\vec r=(1,0,-1)\,dt.

F⃗=(t,(1−t)2,0)\vec F=(t,(1-t)^2,0).

F⃗⋅dr⃗=t(1)+(1−t)2(0)+0(−1)=t\vec F\cdot d\vec r=t(1)+(1-t)^2(0)+0(-1)=t.

∫01t dt=1/2\int_0^1 t\,dt=1/2.

Total: −1/2+0+1/2=0-1/2+0+1/2=0.

Step 4 — Compare

Both line integral and surface integral equal 00. Stokes’ theorem verified.

Answer

  ∮CF⃗⋅dr⃗=∬S(∇×F⃗)⋅n^ dS=0.  \boxed{\;\oint_C\vec F\cdot d\vec r=\iint_S(\nabla\times\vec F)\cdot\hat n\,dS=0.\;}
We post more of this — worked solutions, CSAT trap breakdowns, guide chapters — a few times a week on Telegram. Free, no sign-in. Join

This solution is part of the Maths Coverage Map — 14 years, mapped. Get the take-away PDF free.