∫ C F ⃗ ⋅ d r ⃗ = ∫ ∫ S c u r l F ⃗ ⋅ n ^ d S ( S t o k e ′ s T h e o r e m ) \int_C\vec F\cdot \vec{dr}=\int\int_S curl \vec F\cdot \hat ndS\ \ (Stoke's\ Theorem) ∫ C F ⋅ d r = ∫ ∫ S c u r l F ⋅ n ^ d S ( St o k e ′ s T h eore m )
where C is the circle: x 2 + y 2 = 1 , z = 0 ( x y − p l a n e ) x^2+y^2=1,\ z=0\ \ (xy-plane) x 2 + y 2 = 1 , z = 0 ( x y − pl an e )
i.e. x = c o s t , y = s i n t , z = 0 x=cost,\ y=sint,\ z=0 x = cos t , y = s in t , z = 0
r = x i ⃗ + y j ⃗ w h e r e 0 ≤ θ ≤ 2 π d r ⃗ = d x i ⃗ + d y j ⃗ r=x\vec i+y\vec j\ where\ \ 0\leq \theta\leq 2\pi\\\vec{dr}=dx\vec i+dy\vec j r = x i + y j w h ere 0 ≤ θ ≤ 2 π d r = d x i + d y j
where,
F ⃗ = ( 2 x − y ) i ⃗ − y z 2 j ⃗ − y 2 z k ⃗ ∴ F ⃗ ⋅ d r ⃗ = ( 2 x − y ) d x ( s i n c e z = 0 ) \vec F=(2x-y)\vec i-yz^2\vec j-y^2z\vec k\\\therefore\vec F\cdot \vec{dr}=(2x-y)dx\ (since\ z=0 ) F = ( 2 x − y ) i − y z 2 j − y 2 z k ∴ F ⋅ d r = ( 2 x − y ) d x ( s in ce z = 0 )
LHS = ∫ C F ⃗ ⋅ d r ⃗ = ∫ C ( 2 x − y ) d x = \int_C \vec F\cdot \vec{dr}=\int_C(2x-y)dx = ∫ C F ⋅ d r = ∫ C ( 2 x − y ) d x
= ∫ 0 2 π ( 2 c o s t − s i n t ) ( − s i n t ) d t = ∫ 0 2 π ( s i n 2 t − 2 c o s t s i n t ) d t = ∫ 0 2 π { 1 2 ( 1 − c o s 2 t ) − s i n 2 t } d t = [ t 2 − s i n 2 t 4 − c o s 2 t 2 ] o 2 π = ( 1 2 − 1 2 ) + ( π − 0 ) = π =\int_0^{2\pi}(2cost-sint)(-sint)dt\\\ \\=\int_0^{2\pi}(sin^2t-2costsint)dt\\\ \\=\int_0^{2\pi}\{\frac{1}{2}(1-cos2t)-sin2t\}dt\\\ \\=[\dfrac{t}{2}-\dfrac{sin2t}{4}-\dfrac{cos2t}{2}]_o^{2\pi}\\\ \\=(\dfrac{1}{2}-\dfrac{1}{2})+(\pi-0)\\\ \\=\pi = ∫ 0 2 π ( 2 cos t − s in t ) ( − s in t ) d t = ∫ 0 2 π ( s i n 2 t − 2 cos t s in t ) d t = ∫ 0 2 π { 2 1 ( 1 − cos 2 t ) − s in 2 t } d t = [ 2 t − 4 s in 2 t − 2 cos 2 t ] o 2 π = ( 2 1 − 2 1 ) + ( π − 0 ) = π
Hence, F ⃗ ⋅ d r ⃗ = π . . . . . ( 1 ) \vec F\cdot \vec{dr}=\pi\ \ \ .....(1) F ⋅ d r = π ..... ( 1 )
Also,
c u r l F ⃗ = ▽ × F ⃗ curl \ \ \vec F=\triangledown \times \vec F c u r l F = ▽ × F
= ∣ i ⃗ j ⃗ k ⃗ δ δ x δ δ y δ δ z 2 x − y − y z 2 − y 2 z ∣ = i ⃗ ( − 2 y z + 2 y z ) − j ⃗ ( 0 ) + k ⃗ ( 0 + 1 ) = k ⃗ = \begin{vmatrix}
\vec i & \vec j&\vec k \\
\frac{\delta}{\delta x} & \frac{\delta}{\delta y}&\frac{\delta}{\delta z}\\ 2x-y&-yz^2&-y^2z
\end{vmatrix}\\\ \\=\vec i(-2yz+2yz)-\vec j (0)+\vec k (0+1)\\=\vec k = ∣ ∣ i δ x δ 2 x − y j δy δ − y z 2 k δz δ − y 2 z ∣ ∣ = i ( − 2 yz + 2 yz ) − j ( 0 ) + k ( 0 + 1 ) = k
∴ d S ⃗ = n ^ d S = d y d z i + d z d x j + d x d y k \therefore \vec {dS}=\hat n dS\\=dydz\ i+dzdx\ j+dxdy\ k ∴ d S = n ^ d S = d y d z i + d z d x j + d x d y k
Hence,
R H S = ∫ ∫ S c u r l F ⃗ ⋅ n ^ d S = ∫ ∫ d x d y = π . . . . . ( 2 ) RHS\ =\ \int\int_S\ curl\ \vec F\cdot \hat {n}dS=\int\int dxdy=\pi\ \ .....(2) R H S = ∫ ∫ S c u r l F ⋅ n ^ d S = ∫∫ d x d y = π ..... ( 2 )
S i n c e , ∫ ∫ d x d y Since,\ \ \int\int dxdy S in ce , ∫∫ d x d y represent the area of the circle x 2 + y 2 = 1 x^2+y^2=1 x 2 + y 2 = 1 which is π \pi π
Thus, from (1) and (2) we conclude that the theorem is verified.