← 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 13 yrs · Read the full method →
Question
Verify Stokes’ theorem for F ⃗ = x ı ^ + z 2 ȷ ^ + y 2 k ^ \vec F=x\hat\imath+z^2\hat\jmath+y^2\hat k F = x ^ + z 2 ^ + y 2 k ^ over the plane surface x + y + z = 1 x+y+z=1 x + y + z = 1 lying in the first octant.
Technique
Direct computation of both sides. The integrand ( 2 y − 2 z ) (2y-2z) ( 2 y − 2 z ) has nice cancellation when restricted to the plane z = 1 − x − y z=1-x-y z = 1 − x − y .
Solution
Setup. S S S : triangle on plane x + y + z = 1 x+y+z=1 x + 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) ( 1 , 0 , 0 ) , ( 0 , 1 , 0 ) , ( 0 , 0 , 1 ) .
Stokes’ theorem: ∮ C F ⃗ ⋅ d r ⃗ = ∬ S ( ∇ × F ⃗ ) ⋅ n ^ d S \displaystyle\oint_C\vec F\cdot d\vec r=\iint_S(\nabla\times\vec F)\cdot\hat n\,dS ∮ C F ⋅ d r = ∬ S ( ∇ × F ) ⋅ n ^ d S .
Step 1 — Compute ∇ × F ⃗ \nabla\times\vec F ∇ × F
F ⃗ = ( x , z 2 , y 2 ) \vec F=(x,z^2,y^2) F = ( x , z 2 , y 2 ) .
∇ × F ⃗ = det ( ı ^ ȷ ^ k ^ ∂ x ∂ y ∂ z x z 2 y 2 ) = ( ∂ y ( y 2 ) − ∂ z ( z 2 ) , ∂ z ( x ) − ∂ x ( y 2 ) , ∂ x ( z 2 ) − ∂ 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)) ∇ × F = det ^ ∂ x x ^ ∂ y z 2 k ^ ∂ z y 2 = ( ∂ y ( y 2 ) − ∂ z ( z 2 ) , ∂ z ( x ) − ∂ x ( y 2 ) , ∂ x ( z 2 ) − ∂ y ( x )) .
= ( 2 y − 2 z , 0 − 0 , 0 − 0 ) = ( 2 y − 2 z , 0 , 0 ) =(2y-2z,\;0-0,\;0-0)=(2y-2z,0,0) = ( 2 y − 2 z , 0 − 0 , 0 − 0 ) = ( 2 y − 2 z , 0 , 0 ) .
Step 2 — Surface integral
n ^ \hat n n ^ on plane x + y + z = 1 x+y+z=1 x + y + z = 1 : n ^ = ( 1 , 1 , 1 ) / 3 \hat n=(1,1,1)/\sqrt 3 n ^ = ( 1 , 1 , 1 ) / 3 (outward, pointing away from origin).
( ∇ × F ⃗ ) ⋅ n ^ = ( 2 y − 2 z ) ⋅ 1 / 3 + 0 + 0 = ( 2 y − 2 z ) / 3 (\nabla\times\vec F)\cdot\hat n=(2y-2z)\cdot 1/\sqrt 3+0+0=(2y-2z)/\sqrt 3 ( ∇ × F ) ⋅ n ^ = ( 2 y − 2 z ) ⋅ 1/ 3 + 0 + 0 = ( 2 y − 2 z ) / 3 .
Surface area element on the plane: parametrise by ( x , y ) (x,y) ( x , y ) with z = 1 − x − y z=1-x-y z = 1 − x − y . The Jacobian of the map from ( x , y ) (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 1 + ( ∂ z / ∂ x ) 2 + ( ∂ z / ∂ y ) 2 = 1 + 1 + 1 = 3 .
So d S = 3 d x d y dS=\sqrt 3\,dx\,dy d S = 3 d x d y .
Surface integral:
∬ S ( ∇ × F ⃗ ) ⋅ n ^ d S = ∬ T x y 2 y − 2 z 3 ⋅ 3 d x d y = ∬ T x y ( 2 y − 2 ( 1 − x − y ) ) d x d y \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 ∬ S ( ∇ × F ) ⋅ n ^ d S = ∬ T x y 3 2 y − 2 z ⋅ 3 d x d y = ∬ T x y ( 2 y − 2 ( 1 − x − y )) d x d y
= ∬ T x y ( 2 y − 2 + 2 x + 2 y ) d x d y = ∬ T x y ( 2 x + 4 y − 2 ) d x d y , =\iint_{T_{xy}}(2y-2+2x+2y)\,dx\,dy=\iint_{T_{xy}}(2x+4y-2)\,dx\,dy, = ∬ T x y ( 2 y − 2 + 2 x + 2 y ) d x d y = ∬ T x y ( 2 x + 4 y − 2 ) d x d y ,
where T x y T_{xy} T x y is the projection of S S S onto x y xy x y -plane: triangle with vertices ( 0 , 0 ) , ( 1 , 0 ) , ( 0 , 1 ) (0,0),(1,0),(0,1) ( 0 , 0 ) , ( 1 , 0 ) , ( 0 , 1 ) .
Compute (using vertical strips):
∬ ( 2 x + 4 y − 2 ) d y d x = ∫ 0 1 ∫ 0 1 − x ( 2 x + 4 y − 2 ) d y d x . \iint(2x+4y-2)\,dy\,dx=\int_0^1\int_0^{1-x}(2x+4y-2)\,dy\,dx. ∬ ( 2 x + 4 y − 2 ) d y d x = ∫ 0 1 ∫ 0 1 − x ( 2 x + 4 y − 2 ) d y d x .
Inner: ∫ 0 1 − x ( 2 x + 4 y − 2 ) d y = [ ( 2 x − 2 ) y + 2 y 2 ] 0 1 − x = ( 2 x − 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 ∫ 0 1 − x ( 2 x + 4 y − 2 ) d y = [( 2 x − 2 ) y + 2 y 2 ] 0 1 − x = ( 2 x − 2 ) ( 1 − x ) + 2 ( 1 − x ) 2 .
= ( 2 x − 2 ) ( 1 − x ) + 2 ( 1 − x ) 2 = ( 1 − x ) [ ( 2 x − 2 ) + 2 ( 1 − x ) ] = ( 1 − x ) [ 2 x − 2 + 2 − 2 x ] = ( 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 = ( 2 x − 2 ) ( 1 − x ) + 2 ( 1 − x ) 2 = ( 1 − x ) [( 2 x − 2 ) + 2 ( 1 − x )] = ( 1 − x ) [ 2 x − 2 + 2 − 2 x ] = ( 1 − x ) ⋅ 0 = 0 .
So inner integral = 0 =0 = 0 for all x x x !
Outer: ∫ 0 1 0 d x = 0 \int_0^1 0\,dx=0 ∫ 0 1 0 d x = 0 .
Surface integral = 0 =0 = 0 .
Step 3 — Line integral ∮ C F ⃗ ⋅ d r ⃗ \oint_C\vec F\cdot d\vec r ∮ C F ⋅ d r
C C C is the boundary of S S S : 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) ( 1 , 0 , 0 ) → ( 0 , 1 , 0 ) → ( 0 , 0 , 1 ) → ( 1 , 0 , 0 ) (orientation chosen consistent with n ^ \hat n n ^ pointing outward from origin — by right-hand rule, this is CCW when viewed from the n ^ \hat n n ^ direction).
Edge 1: ( 1 , 0 , 0 ) → ( 0 , 1 , 0 ) (1,0,0)\to(0,1,0) ( 1 , 0 , 0 ) → ( 0 , 1 , 0 ) . Parametrise: r ⃗ ( t ) = ( 1 − t , t , 0 ) \vec r(t)=(1-t,t,0) r ( t ) = ( 1 − t , t , 0 ) , t : 0 → 1 t:0\to 1 t : 0 → 1 . d r ⃗ = ( − 1 , 1 , 0 ) d t d\vec r=(-1,1,0)\,dt d r = ( − 1 , 1 , 0 ) d t .
F ⃗ = ( x , z 2 , y 2 ) = ( 1 − t , 0 , t 2 ) \vec F=(x,z^2,y^2)=(1-t,0,t^2) F = ( x , z 2 , y 2 ) = ( 1 − t , 0 , t 2 ) .
F ⃗ ⋅ d r ⃗ = ( 1 − t ) ( − 1 ) + 0 + 0 = − ( 1 − t ) = t − 1 \vec F\cdot d\vec r=(1-t)(-1)+0+0=-(1-t)=t-1 F ⋅ d r = ( 1 − t ) ( − 1 ) + 0 + 0 = − ( 1 − t ) = t − 1 .
∫ 0 1 ( t − 1 ) d t = 1 / 2 − 1 = − 1 / 2 \int_0^1(t-1)\,dt=1/2-1=-1/2 ∫ 0 1 ( t − 1 ) d t = 1/2 − 1 = − 1/2 .
Edge 2: ( 0 , 1 , 0 ) → ( 0 , 0 , 1 ) (0,1,0)\to(0,0,1) ( 0 , 1 , 0 ) → ( 0 , 0 , 1 ) . r ⃗ ( t ) = ( 0 , 1 − t , t ) \vec r(t)=(0,1-t,t) r ( t ) = ( 0 , 1 − t , t ) . d r ⃗ = ( 0 , − 1 , 1 ) d t d\vec r=(0,-1,1)\,dt d r = ( 0 , − 1 , 1 ) d t .
F ⃗ = ( 0 , t 2 , ( 1 − t ) 2 ) \vec F=(0,t^2,(1-t)^2) F = ( 0 , t 2 , ( 1 − t ) 2 ) .
F ⃗ ⋅ d r ⃗ = 0 + t 2 ( − 1 ) + ( 1 − t ) 2 ( 1 ) = − t 2 + ( 1 − t ) 2 \vec F\cdot d\vec r=0+t^2(-1)+(1-t)^2(1)=-t^2+(1-t)^2 F ⋅ d r = 0 + t 2 ( − 1 ) + ( 1 − t ) 2 ( 1 ) = − t 2 + ( 1 − t ) 2 .
( 1 − t ) 2 − t 2 = 1 − 2 t + t 2 − t 2 = 1 − 2 t (1-t)^2-t^2=1-2t+t^2-t^2=1-2t ( 1 − t ) 2 − t 2 = 1 − 2 t + t 2 − t 2 = 1 − 2 t .
∫ 0 1 ( 1 − 2 t ) d t = 1 − 1 = 0 \int_0^1(1-2t)\,dt=1-1=0 ∫ 0 1 ( 1 − 2 t ) d t = 1 − 1 = 0 .
Edge 3: ( 0 , 0 , 1 ) → ( 1 , 0 , 0 ) (0,0,1)\to(1,0,0) ( 0 , 0 , 1 ) → ( 1 , 0 , 0 ) . r ⃗ ( t ) = ( t , 0 , 1 − t ) \vec r(t)=(t,0,1-t) r ( t ) = ( t , 0 , 1 − t ) . d r ⃗ = ( 1 , 0 , − 1 ) d t d\vec r=(1,0,-1)\,dt d r = ( 1 , 0 , − 1 ) d t .
F ⃗ = ( t , ( 1 − t ) 2 , 0 ) \vec F=(t,(1-t)^2,0) F = ( t , ( 1 − t ) 2 , 0 ) .
F ⃗ ⋅ d r ⃗ = t ( 1 ) + ( 1 − t ) 2 ( 0 ) + 0 ( − 1 ) = t \vec F\cdot d\vec r=t(1)+(1-t)^2(0)+0(-1)=t F ⋅ d r = t ( 1 ) + ( 1 − t ) 2 ( 0 ) + 0 ( − 1 ) = t .
∫ 0 1 t d t = 1 / 2 \int_0^1 t\,dt=1/2 ∫ 0 1 t d t = 1/2 .
Total: − 1 / 2 + 0 + 1 / 2 = 0 -1/2+0+1/2=0 − 1/2 + 0 + 1/2 = 0 .
Step 4 — Compare
Both line integral and surface integral equal 0 0 0 . Stokes’ theorem verified.
Answer
∮ C F ⃗ ⋅ d r ⃗ = ∬ S ( ∇ × F ⃗ ) ⋅ n ^ d S = 0. \boxed{\;\oint_C\vec F\cdot d\vec r=\iint_S(\nabla\times\vec F)\cdot\hat n\,dS=0.\;} ∮ C F ⋅ d r = ∬ S ( ∇ × F ) ⋅ n ^ d S = 0.