Green's Theorem in Engineering Mathematics
Green's Theorem in Engineering Mathematics
1
path 𝑦 = 𝑥. Ans: 2
2. Evaluate
c
𝐹⃗ ∙ 𝑑𝑟⃗,where 𝐹⃗ = 𝑥 2 𝑦 2 𝑖⃗ + 𝑦 𝑗⃗and C is 𝑦 2 = 4𝑥 in the XY plane from
67
curve 𝑥 = 𝑡, 𝑦 = 𝑡 2 , 𝑧 = 𝑡 Ans: 60
5. Find the work done in moving a particle in the field
𝐹⃗ = 3𝑥 2 𝑖⃗ + (2𝑥𝑧 − 𝑦) 𝑗⃗ + (𝑥 2 + 𝑦 2 ) 𝑘⃗⃗ along the straight line from (0, 0, 0) 𝑡𝑜 (2, 1, 3).
Ans: 16
6. Evaluate the line integral ∫𝐶 (𝑥 2 + 𝑥𝑦)𝑑𝑥 + (𝑥 2 + 𝑦 2 )𝑑𝑦, where C is the square formed
by the lines 𝑥 = ±1 𝑎𝑛𝑑 𝑦 = ±1. Ans: 0
7. Find the total work done in moving a particle by a force field 𝐹⃗ = 𝑦𝑧𝑖⃗ + 𝑥𝑧 𝑗⃗ + 𝑥𝑦 𝑘⃗⃗
along the curve 𝑥 = 𝑡, 𝑦 = 𝑡 2 , 𝑧 = 𝑡 3 from (0, 0, 0) 𝑡𝑜 (2, 4, 8) Ans: 64
8. Evaluate S
𝐹⃗ ∙ n̂ 𝑑𝑠 where 𝐹⃗ = 18𝑧𝑖⃗ − 12 𝑗⃗ + 3𝑦 𝑘⃗⃗ and S is the part of the plane
8
by the planes 𝑥 = 0, 𝑦 = 0, 𝑧 = 0 and 2𝑥 + 2𝑦 + 𝑧 = 4 Ans: 3
𝜕𝑁 𝜕𝑀
𝑀𝑑𝑥 + 𝑁𝑑𝑦 = ( 𝜕𝑥 − ) 𝑑𝑥 𝑑𝑦,where C is the curve described in the positive direction.
𝜕𝑦
c R
c
𝐹⃗ ∙ 𝑑𝑟⃗ = ⃗⃗ dR
(∇ × 𝐹⃗ ) ∙ k
R
𝜕𝑁 𝜕𝑀
We have to prove that 𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 = ( 𝜕𝑥 − ) 𝑑𝑥 𝑑𝑦
𝜕𝑦
c R
∴
c
(3𝑥 2 − 8𝑦 2 )𝑑𝑥 + (4𝑦 − 6𝑥𝑦)𝑑𝑦 =
c
𝑀 𝑑𝑥 + 𝑁 𝑑𝑦
𝜕𝑁 𝜕𝑀
𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 = ( 𝜕𝑥 − ) 𝑑𝑥 𝑑𝑦
𝜕𝑦
c R
1 1−𝑥
= ∫0 ∫0 (10𝑦) 𝑑𝑦 𝑑𝑥
1 𝑦 2 1−𝑥
= 10 ∫0 [ 2 ] 𝑑𝑥
0
1 2
= 5 ∫0 (1 − 𝑥 ) 𝑑𝑥
1
(1− 𝑥)3 5
=5 [ ] = … (1)
−3 0 3
Consider ∫ 𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 =
OA
+
AB
+
BO
0
3𝑥 3 8(1− 𝑥)3 4(1− 𝑥)2
=[ − − + 3𝑥 2 − 2𝑥 3 ]
3 −3 −2 1
8 8
= + 2−1−3+2 =
3 3
8 5
∴ 𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 = 1 + − 2= … (2)
3 3
c
𝜕𝑁 𝜕𝑀
∴ 𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 = ( 𝜕𝑥 − ) 𝑑𝑥 𝑑𝑦
𝜕𝑦
c R
𝜕𝑁 𝜕𝑀
We have to prove that 𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 = ( 𝜕𝑥 − ) 𝑑𝑥 𝑑𝑦
𝜕𝑦
c R
Here, 𝑀 = 𝑥𝑦 + 𝑦 2 𝑎𝑛𝑑 𝑁 = 𝑥 2
𝜕𝑀 𝜕𝑁
⇒ = 𝑥 + 2𝑦 ⇒ = 2𝑥
𝜕𝑦 𝜕𝑥
𝜕𝑁 𝜕𝑀
R.H.S = ( 𝜕𝑥 − ) 𝑑𝑥 𝑑𝑦
𝜕𝑦
R
Limits:
𝑥 varies from 𝑦 to √𝑦
𝑦 varies from 0 to 1
1 𝑦
𝜕𝑁 𝜕𝑀 √
∴ ( 𝜕𝑥 − ) 𝑑𝑥 𝑑𝑦 = ∫0 ∫𝑦 2𝑥 − (𝑥 + 2𝑦) 𝑑𝑥 𝑑𝑦
𝜕𝑦
R
1 𝑥2 √𝑦
= ∫0 [ 2 − 2𝑥𝑦] 𝑑𝑦
𝑦
1 𝑦 𝑦2
= ∫0 (2 − 2𝑦√𝑦) − ( 2 − 2𝑦 2 ) 𝑑𝑦
3
1 𝑦 𝑦2
= ∫0 (2 − 2𝑦 2 + 3 ) 𝑑𝑦
2
5 1
𝑦2 4𝑦 2 𝑦3
=[2 − + ]
5 2
0
1 4 1 1
= − + = − 20
4 5 2
L.H.S =
c
𝑀 𝑑𝑥 + 𝑁 𝑑𝑦
Consider ∫ 𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 =
OA
+
AO
Along 𝑂𝐴, 𝑦 = 𝑥 2 ⇒ 𝑑𝑦 = 2𝑥 𝑑𝑥, 𝑥 varies from 0 to 1
1
∴
OA
𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 = ∫0 [(𝑥(𝑥 2 ) + (𝑥 2 )2 )𝑑𝑥 + 𝑥 2 ∙ 2𝑥 𝑑𝑥 ]
1
= ∫0 (3𝑥 3 + 𝑥 4 ) 𝑑𝑥
1
3𝑥 4 𝑥5
= [ + ]
4 5 0
3 1 19
= + =
4 5 20
0
= ∫1 3𝑥 2 𝑑𝑥 = [𝑥 3 ]10 = −1
19 1
L.H.S = 𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 = − 1 = − 20
20
c
∴ L.H.S = R.H.S
Hence Green’s theorem is verified.
Example: 2.66 Verify Green’s theorem in the plane for
c
(𝟑𝒙𝟐 − 𝟖𝒚𝟐 )𝒅𝒙 + (𝟒𝒚 − 𝟔𝒙𝒚)𝒅𝒚 where C
𝜕𝑁 𝜕𝑀
We have to prove that 𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 = ( 𝜕𝑥 − ) 𝑑𝑥 𝑑𝑦
𝜕𝑦
c R
𝜕𝑁 𝜕𝑀
R.H.S = ( 𝜕𝑥 − ) 𝑑𝑥 𝑑𝑦
𝜕𝑦
R
Limits:
𝑥 varies from 𝑦 2 to √𝑦
𝑦 varies from 0 to 1
𝜕𝑁 𝜕𝑀 1 √𝑦
∴ ( 𝜕𝑥 − ) 𝑑𝑥 𝑑𝑦 = ∫0 ∫𝑦 2 (−6𝑦 + 16𝑦) 𝑑𝑥 𝑑𝑦
𝜕𝑦
R
1 𝑦
= ∫0 [10𝑥𝑦]√𝑦 2 𝑑𝑦
1
= 10 ∫0 (𝑦√𝑦 − 𝑦 3 ) 𝑑𝑦
5 1
𝑦2 𝑦4
= 10 [ 5 − ]
4
2 0
2 1 3
= 10 (5 − 4) = 2
L.H.S =
c
𝑀 𝑑𝑥 + 𝑁 𝑑𝑦
Consider ∫ 𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 =
OA
+
AO
Along 𝑂𝐴, 𝑦 = 𝑥 2 ⇒ 𝑑𝑦 = 2𝑥 𝑑𝑥, 𝑥 varies from 0 to 1
1
∴
OA
𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 = ∫0 (3𝑥 2 − 8𝑥 4 ) 𝑑𝑥 + (4𝑥 2 − 6𝑥 3 )(2𝑥)𝑑𝑥
1
= ∫0 (3𝑥 2 − 8𝑥 4 + 8𝑥 3 − 12𝑥 4 )𝑑𝑥
1
= ∫0 (−20𝑥 4 + 8𝑥 3 + 3𝑥 2 ) 𝑑𝑥
1
𝑥5 𝑥4 𝑥3
= [−20 +8 +3 3]
5 4 0
= −4 + 2 + 1 = −1
Along 𝐴𝑂, 𝑥 = 𝑦 2 ⇒ 𝑑𝑥 = 2𝑦𝑑𝑦 𝑎𝑛𝑑 𝑦 varies from 1 to 0
0
∴
Ao
𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 = ∫1 (3𝑦 4 − 8𝑦 2 )2𝑦𝑑𝑦 + (4𝑦 − 6𝑦𝑦 2 ) 𝑑𝑦
0
= ∫1 (6𝑦 5 − 16𝑦 3 + 4𝑦 − 6𝑦 3 )𝑑𝑥
0
= ∫1 (6𝑦 5 − 22𝑦 3 + 4𝑦)𝑑𝑥
0
𝑦6 𝑦4 𝑦2
= [6 − 22 +4 ]
6 4 2 1
11
= 0 − [1 − + 2]
2
11 5
= − (3 − )=
2 2
5 3
L.H.S = 𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 = − 1 + =
2 2
c
∴ L.H.S = R.H.S
Hence Green’s theorem is verified.
Example: 2.67 Verify Green’s theorem in the plane for the integral c
(𝒙 − 𝟐𝒚)𝒅𝒙 + 𝒙𝒅𝒚 taken
𝜕𝑁 𝜕𝑀
We have to prove that 𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 = ( 𝜕𝑥 − ) 𝑑𝑥 𝑑𝑦
𝜕𝑦
c R
Here, 𝑀 = 𝑥 − 2𝑦 𝑎𝑛𝑑 𝑁 = 𝑥
𝜕𝑀 𝜕𝑁
⇒ = −2 ⇒ = 1
𝜕𝑦 𝜕𝑥
𝜕𝑁 𝜕𝑀
R.H.S = ( 𝜕𝑥 − ) 𝑑𝑥 𝑑𝑦
𝜕𝑦
R
𝜕𝑁 𝜕𝑀
∴ ( 𝜕𝑥 − ) 𝑑𝑥 𝑑𝑦 = (1 + 2)𝑑𝑥𝑑𝑦
𝜕𝑦
R R
=3 R
𝑑𝑥𝑑𝑦
L.H.S =
c
𝑀 𝑑𝑥 + 𝑁 𝑑𝑦
Given C is 𝑥 2 + 𝑦 2 = 1
2𝜋
= ∫0 (− sin 𝜃 cos 𝜃 + 2 sin2 𝜃 + cos 2 𝜃 ) 𝑑𝜃
2𝜋
= ∫0 (− sin 𝜃 cos 𝜃 + sin2 𝜃 + 1) 𝑑𝜃 (∵ sin2 𝜃 + cos 2 𝜃 = 1)
2𝜋 sin 2𝜃 1−cos 2𝜃
= ∫0 (− + + 1) 𝑑𝜃
2 2
1 cos 2𝜃 𝜃 1 sin 2𝜃 2𝜋
= [− 2 (− )+ − ( ) + 𝜃]
2 2 2 2 0
cos(4𝜋) 2𝜋 sin 4𝜋 𝑐𝑜𝑠 0 0 sin 0
= [ + − + 2𝜋] − [ + − + 0]
4 2 4 4 2 4
1 1
= + 𝜋 + 2𝜋 − = 3𝜋 [∵ sin 𝑛𝜋 = 0, sin 0 = 0, cos 0 = 1], [cos 𝑛𝜋 = (−1)𝑛 ]
4 4
∴ L.H.S = R.H.S
Hence Green’s theorem is verified.
Example: 2.68 Using Green’s theorem evaluate c
(𝒚 − 𝒔𝒊𝒏 𝒙)𝒅𝒙 + 𝒄𝒐𝒔 𝒙 𝒅𝒚 where C is the triangle
𝝅 𝟐𝒙
bounded by 𝒚 = 𝟎, 𝒙 = ,𝒚 = .
𝟐 𝝅
Solution:
𝜕𝑁 𝜕𝑀
We have to prove that 𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 = ( 𝜕𝑥 − ) 𝑑𝑥 𝑑𝑦
𝜕𝑦
c R
Limits:
𝑦𝜋 𝜋
𝑥 varies from to
2 2
𝑦 varies from 0 to 1
𝜋
1
Hence c
(𝑦 − 𝑠𝑖𝑛 𝑥 )𝑑𝑥 + 𝑐𝑜𝑠 𝑥 𝑑𝑦 = ∫0 ∫𝑦𝜋2 (− sin 𝑥 − 1) 𝑑𝑥 𝑑𝑦
2
𝜋
1
= ∫0 (cos 𝑥 − 𝑥 )𝑦𝜋
2
𝑑𝑦
2
1 𝜋 𝜋 𝑦𝜋 𝑦𝜋
= ∫0 [(cos 2 − 2 ) − (cos ( 2 ) − )] 𝑑𝑦
2
1 𝜋 𝑦𝜋 𝑦𝜋
= ∫0 [0 − − cos + ] 𝑑𝑦
2 2 2
𝑦𝜋 1
𝜋 sin
2 𝜋 𝑦2
= [− 𝑦 − 𝜋 + ]
2 2 2
2 0
𝜋 2 𝜋 𝜋
= −2− sin ( 2 ) +
𝜋 4
𝜋 2 𝜋
= −2− +
𝜋 4
𝜋 2 𝜋 2
= −4− = − [ 4 + 𝜋]
𝜋
𝝅 𝝅
rectangle with vertices (𝟎, 𝟎), (𝝅, 𝟎), (𝝅, 𝟐 ) 𝒂𝒏𝒅 (𝟎, 𝟐 ).
Solution:
𝜕𝑁 𝜕𝑀
We have to prove that 𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 = ( 𝜕𝑥 − ) 𝑑𝑥 𝑑𝑦
𝜕𝑦
c R
Limits:
𝑥 varies from 0 to 𝜋
𝜋
𝑦 varies from 0 to 2
𝜋
𝜋
∴
c
[𝑒 −𝑥 (𝑠𝑖𝑛 𝑦 𝑑𝑥 + 𝑐𝑜𝑠 𝑦 𝑑𝑦)] = ∫02 ∫0 (−𝑒 −𝑥 cos 𝑦 − 𝑒 −𝑥 cos 𝑦) 𝑑𝑥𝑑𝑦
𝜋
𝜋
= ∫02 ∫0 −2 𝑒 −𝑥 cos 𝑦 𝑑𝑥 𝑑𝑦
𝜋
𝑒 −𝑥 cos 𝑦 𝜋
= −2 ∫02 [ ] 𝑑𝑦
−1 0
𝜋
= 2 ∫0 [𝑒 −𝜋 cos 𝑦 − 𝑒 0 cos 𝑦]𝑑𝑦
2
𝜋
= 2 ∫02[𝑒 −𝜋 cos 𝑦 − cos 𝑦]𝑑𝑦
𝜋
= 2 [𝑒 −𝜋 sin 𝑦 − sin 𝑦]02
𝜋 𝜋
= 2 [(𝑒 −𝜋 sin 2 − sin 2 ) − (𝑒 −𝜋 sin 0 − sin 0)]
= 2 [𝑒 −𝜋 − 1]
Example: 2.70 Prove that the area bounded by a simple closed curve C is given by
𝒙𝟐 𝒚𝟐
𝟏
(𝒙𝒅𝒚 − 𝒚𝒅𝒙). Hence find the area of the ellipse + = 𝟏 by using Green’s theorem.
𝟐 𝒂𝟐 𝒃𝟐
c
Solution:
𝜕𝑁 𝜕𝑀
By Green theorem, 𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 = ( 𝜕𝑥 − ) 𝑑𝑥 𝑑𝑦
𝜕𝑦
c R
Let 𝑀 = −𝑦 𝑎𝑛𝑑 𝑁 = 𝑥
𝜕𝑀 𝜕𝑁
⇒ = −1 ⇒ = 1
𝜕𝑦 𝜕𝑥
∴
c
(𝑥𝑑𝑦 − 𝑦𝑑𝑥 ) =
R
(1 + 1) 𝑑𝑥 𝑑𝑦
= 2 𝑑𝑥 𝑑𝑦 = 2 (Area enclosed by C)
R
1
∴ Area enclosed by 𝐶 = (𝑥𝑑𝑦 − 𝑦𝑑𝑥 )
2
c
c
(𝟐𝒙𝟐 − 𝒚𝟐 )𝒅𝒙 + (𝒙𝟐 + 𝒚𝟐 )𝒅𝒚 where C is the boundary in the 𝒙𝒚 – plane of the area enclosed by
𝜕𝑁 𝜕𝑀
By Green theorem, 𝑀 𝑑𝑥 + 𝑁 𝑑𝑦 = ( 𝜕𝑥 − ) 𝑑𝑥 𝑑𝑦
𝜕𝑦
c R
Let 𝑀 = 2𝑥 2 − 𝑦 2 𝑎𝑛𝑑 𝑁 = 𝑥 2 + 𝑦 2
𝜕𝑀 𝜕𝑁
⇒ = −2𝑦 ⇒ = 2𝑥
𝜕𝑦 𝜕𝑥
Limits:
𝑦 varies from 0 to √𝑎2 − 𝑥 2
𝑥 varies from −𝑎 to 𝑎
√𝑎 2 −𝑥 2
𝜕𝑁 𝜕𝑀 𝑎
∴ ( 𝜕𝑥 − ) 𝑑𝑦 𝑑𝑥 = ∫−𝑎 ∫0 (2𝑥 + 2𝑦)𝑑𝑦𝑑𝑥
𝜕𝑦
R
√𝑎 2 −𝑥 2
𝑎 𝑦2
= 2 ∫−𝑎 [𝑥𝑦 + ] 𝑑𝑥
2 0
𝑎 𝑎 2− 𝑥 2
= 2 ∫−𝑎 [𝑥 √𝑎2 − 𝑥 2 + ] 𝑑𝑥
2
𝑎3 𝑎3
= (𝑎3 − ) − (−𝑎3 + )
3 3
4𝑎 3
= 3
Exercise: 2.4
1. Using Green’s theorem in the plane, evaluate
c
(𝑥 2 − 𝑦 2 )𝑑𝑥 + 2𝑥𝑦𝑑𝑦 where C is the
3
closed curve of the region bounded by 𝑦 = 𝑥 2 𝑎𝑛𝑑 𝑦 2 = 𝑥 Ans: 5
1
by 𝑦 = 𝑥 2 𝑎𝑛𝑑 𝑦 2 = 𝑥 between (0, 0) 𝑡𝑜 (1, 1) Ans: 28
5. Evaluate
c
[(𝑠𝑖𝑛𝑥 − 𝑦)𝑑𝑥 − cos 𝑥 𝑑𝑦], where C is the triangle with vertices
𝜋 𝜋 2 𝜋
(0, 0), ( , 0) 𝑎𝑛𝑑 ( , 1) Ans: +
2 2 𝜋 4
1
curve C formed by 𝑦 = 0, 𝑥 = 1 𝑎𝑛𝑑 𝑦 = 𝑥 Ans: − 12
c
𝐹⃗ ∙ 𝑑𝑟⃗ =
S
𝑐𝑢𝑟𝑙 𝐹⃗ ∙ n̂ 𝑑𝑠
(or)
c
𝐹⃗ ∙ 𝑑𝑟⃗ =
S
∇ × 𝐹⃗ ∙ n̂ 𝑑𝑠
n̂ is the outward unit normal vector and C is traversed in the anti – clockwise direction.
Problems based on Stoke’s theorem
Example: 2.72 Verify stokes theorem for a vector field defined by ⃗⃗⃗
𝑭 = (𝒙2 – 𝒚2)𝒊⃗ + 𝟐𝒙𝒚𝒋⃗ in a
rectangular region in the xoy plane bounded by the lines 𝒙 = 𝟎, 𝒙 = 𝒂, 𝒚 = 𝟎 , 𝒚 = 𝒃.
Solution:
By Stokes theorem,
c
𝐹⃗ ∙ 𝑑𝑟⃗ =
S
𝐶𝑢𝑟𝑙 𝐹⃗ ∙ 𝑛̂ 𝑑𝑆
To evaluate:
S
𝐶𝑢𝑟𝑙 𝐹⃗ ∙ 𝑛̂ 𝑑𝑆
𝑏
= ∫0 4𝑦 [𝑥]𝑎0 dy
𝑏
= ∫0 4𝑎𝑦dy
𝑏
4𝑎𝑦 2
= [ ]
2 0
= 2𝑎𝑏2
⇒
S
𝐶𝑢𝑟𝑙 𝐹⃗ ∙ 𝑛̂ 𝑑𝑆 = 2𝑎𝑏2 … (1)
Here the line integral over the simple closed curve C bounding the surface 𝑂𝐴𝐵𝐶𝑂 consisting of the edges
𝑂𝐴, 𝐴𝐵 ,𝐵𝐶 and 𝐶𝑂.
Curve Equation Limit
𝑂𝐴 𝑦 = 0 𝑥 = 0 to 𝑥 = 𝑎
𝐴𝐵 𝑥 = 𝑎 𝑦 = 0 to 𝑦 = 𝑏
𝐵𝐶 𝑦 = 𝑏 𝑥 = 𝑎 to 𝑥 = 0
𝐶𝑂 𝑥 = 0 𝑦 = 𝑏 to 𝑦 = 0
c
𝐹⃗ ∙ 𝑑𝑟⃗ =
OA
+
AB
+
BC
+
CO
𝑎
𝑥3 𝑎3
= [3] =
0 3
𝑏
𝐹⃗ ∙ 𝑑𝑟⃗ = ∫0 2𝑎𝑦 𝑑𝑦
AB
𝑏
2𝑎𝑦 2
=[ ] = 𝑎𝑏2
2 0
0
𝑥3
=[ − 𝑏2 𝑥 ]
3 𝑎
𝑎3
=− + 𝑎 𝑏2
3
CO
𝐹⃗ ∙ 𝑑𝑟⃗ = 0
𝑎3 𝑎3
(2) ⇒ 𝐹⃗ . d𝑟⃗ = + 𝑎𝑏2 − + 𝑎𝑏2 = 2𝑎𝑏2 … (3)
3 3
Example: 2.73 Verify Stoke’s theorem for ⃗𝑭⃗ = (𝒙𝟐 + 𝒚𝟐 )𝒊⃗ − 𝟐𝒙𝒚 𝒋⃗ taken around the rectangle
bounded by the lines 𝒙 = ±𝒂, 𝒚 = 𝟎, 𝒚 = 𝒃.
Solution:
By Stokes theorem,
c
𝐹⃗ ∙ 𝑑𝑟⃗ =
S
𝐶𝑢𝑟𝑙 𝐹⃗ ∙ 𝑛̂ 𝑑𝑆
𝑏
= −4 ∫0 [𝑥𝑦]𝑎−𝑎 𝑑𝑦
𝑏
𝑦2
= −8𝑎 [ 2 ] = − 4𝑎𝑏2 … (1)
0
c
𝐹⃗ ∙ 𝑑𝑟⃗ =
AB
+
BC
+
CD
+
DA
𝑑𝑟⃗ = 𝑑𝑥 𝑖⃗ + 𝑑𝑦 𝑗⃗
𝑎
AB
𝐹⃗ ∙ 𝑑𝑟⃗ = ∫−𝑎 𝑥 2 𝑑𝑥
𝑎
𝑥3 2𝑎 3
= [ ] =
3 −𝑎 3
BC
𝐹⃗ ∙ 𝑑𝑟⃗ = ∫0 (−2𝑎𝑦) 𝑑𝑦
𝑎3 𝑎3 2𝑎 3
= − − 𝑎𝑏2 − − 𝑎𝑏2 = − − 2𝑎𝑏2
3 3 3
DC
𝐹⃗ ∙ 𝑑𝑟⃗ = ∫𝑏 2𝑎𝑦 𝑑𝑦
= −4𝑎𝑏2 … . (2)
By Stokes theorem, c
𝐹⃗ ∙ 𝑑𝑟⃗ =
S
𝐶𝑢𝑟𝑙 𝐹⃗ ∙ 𝑛̂ 𝑑𝑆
∴
S
𝐶𝑢𝑟𝑙 𝐹⃗ ∙ 𝑛̂ 𝑑𝑆 =
S
𝑑𝑥 𝑑𝑦 = area of the circle
= 𝜋 (1)2 = 𝜋
Example: 2.75 Verify stokes theorem in a plane 𝒇𝒐𝒓 ⃗𝑭⃗ = (2 𝒙 𝒚 − 𝒙 2)𝒊⃗ − (𝒙 2 − 𝒚 2)𝒋⃗ Where C is the
boundary of the region bounded by the parabolas 𝒚𝟐 = 𝒙 and 𝒙𝟐 = 𝒚.
Solution:
By Stokes theorem,
c
𝐹⃗ ∙ 𝑑𝑟⃗ =
S
𝐶𝑢𝑟𝑙 𝐹⃗ ∙ 𝑛̂ 𝑑𝑆
To evaluate:
S
𝐶𝑢𝑟𝑙 𝐹⃗ ∙ 𝑛̂ 𝑑𝑆
1 𝑥 2 √𝑦
= −4 ∫0 [ 2 ] 𝑑𝑦
𝑦2
1
= −2 ∫0 (𝑦 − 𝑦 4 )𝑑𝑦
1
𝑦2 𝑦5
= −2 [ 2 − ]
2 0
1 1
= −2 (2 − 5)
3
= −5
3
∴ 𝐶𝑢𝑟𝑙 𝐹⃗ ∙ 𝑛̂ 𝑑𝑆 = − 5 … (1)
S
To evaluate:
S
𝐶𝑢𝑟𝑙 𝐹⃗ ∙ 𝑛̂ 𝑑𝑆
Here the line integral over the simple closed curve C bounding the surface 𝑂𝐴𝑂 consisting of the curves 𝑂𝐴
and 𝐴𝑂.
c
𝐹⃗ ∙ 𝑑𝑟⃗ =
OA
+
AO
… (2)
1
2𝑥 6 𝑥3 1 1
=[ − ] = − =0
3 3 3 3
0
0
3𝑦 5 2𝑦 6 𝑦3 3 1 1 3
=[ − + ] =− + − =−
5 6 3 1 5 3 3 5
3 3
(2) ⇒ 𝐹⃗ ∙ 𝑑𝑟⃗ = 0 − 5 = − 5 … (3)
c
Stoke’s theorem is
c
𝐹⃗ ∙ 𝑑𝑟⃗ =
S
𝑐𝑢𝑟𝑙 𝐹⃗ ∙ n̂ 𝑑𝑠
L.H.S = c
𝐹⃗ ∙ 𝑑𝑟⃗ =
OA
+
AB
+
BC
+
CO
In 𝑥𝑦 plane 𝑧 = 0 ⇒ 𝑑𝑧 = 0
𝐹⃗ ∙ 𝑑𝑟⃗ = (𝑦 + 2𝑥 )𝑑𝑥 + 4𝑑𝑦
On 𝑂𝐴: 𝑦 = 0 ⇒ 𝑑𝑦 = 0, 𝑥 varies from 0 to 2.
2
⇒
OA
𝐹⃗ ∙ 𝑑𝑟⃗ = ∫0 2 𝑑𝑥
= 2[𝑥 ]20 = 4
On 𝐴𝐵: 𝑥 = 2 ⇒ 𝑑𝑥 = 0, 𝑦 varies from 0 to 2.
2
⇒ 𝐹⃗ ∙ 𝑑𝑟⃗ = ∫0 4 𝑑𝑦
AB
= 4[𝑦]20 = 8
On 𝐵𝐶: 𝑦 = 2 ⇒ 𝑑𝑦 = 0, 𝑥 varies from 2 to 0.
0
⇒
BC
𝐹⃗ ∙ 𝑑𝑟⃗ = ∫2 4 𝑑𝑥
= 4[𝑥 ]02 = −8
On 𝐶𝑂: 𝑥 = 0 ⇒ 𝑑𝑥 = 0, 𝑦 varies from 2 to 0.
2
⇒
CO
𝐹⃗ ∙ 𝑑𝑟⃗ = ∫0 4 𝑑𝑦
= 4[𝑦]20 = −8
∴
c
𝐹⃗ ∙ 𝑑𝑟⃗ = 4 + 8 − 8 − 8 = −4 … (1)
R.H.S = S
𝑐𝑢𝑟𝑙 𝐹⃗ ∙ n̂ 𝑑𝑠
𝑖⃗ 𝑗⃗ 𝑘⃗⃗
𝜕 𝜕 𝜕
𝑐𝑢𝑟𝑙 𝐹⃗ = | |
𝜕𝑥 𝜕𝑦 𝜕𝑧
𝑦−𝑧+2 𝑦𝑧 + 4 −𝑥𝑧
= 𝑖⃗ (0 − 𝑦) − 𝑗⃗ (– 𝑧 + 1) + 𝑘⃗⃗ (0 − 1)
= 𝑦𝑖⃗ − (𝑧 − 1) 𝑗⃗ − 𝑘⃗⃗
Given S is an open surface consisting of the 5 faces of the cube except, 𝑥𝑦 − plane.
∫ ∫ 𝑐𝑢𝑟𝑙 𝐹⃗ ∙ n̂ 𝑑𝑠 =
S1
+
S2
+ ⋯+
S5
2
= ∫0 (– 𝑧 + 1)[𝑥]20 𝑑𝑧
2
= 2 ∫0 (−𝑧 + 1) 𝑑𝑧
2
𝑧2
= 2 [− + 𝑧] = 2(0) = 0
2 0
2 2
On 𝑆3 : ∫0 ∫0 (𝑧 − 1) 𝑑𝑥𝑑𝑧
2
= ∫0 (𝑧 − 1)[𝑥]20 𝑑𝑧
2
= 2 ∫0 (𝑧 − 1) 𝑑𝑧
2
𝑧2
= 2 [ 2 − 𝑧] = 2(0) = 0
0
2 2
On 𝑆4 : ∫0 ∫0 𝑦 𝑑𝑦𝑑𝑧
2 𝑦2 2
= ∫0 [ 2 ] 𝑑𝑦
0
2
= 2 ∫0 𝑑𝑧
= 2[𝑧]20 = 4
2 2
On 𝑆5 : ∫0 ∫0 −𝑦 𝑑𝑦𝑑𝑧
2 𝑦2 2
= − ∫0 [ 2 ] 𝑑𝑦
0
2
= −2 ∫0 𝑑𝑧
= −2[𝑧]20 = − 4
∴
S
𝑐𝑢𝑟𝑙 𝐹⃗ ∙ n̂ 𝑑𝑠 = −4 + 0 + 0 + 4 − 4 = −4 … (2)
Stoke’s theorem is
c
𝐹⃗ ∙ 𝑑𝑟⃗ =
S
𝑐𝑢𝑟𝑙 𝐹⃗ ∙ n̂ 𝑑𝑠
L.H.S = c
𝐹⃗ ∙ 𝑑𝑟⃗ =
OA
+
AB
+
BC
+
CO
In 𝑥𝑦 plane 𝑧 = 0 ⇒ 𝑑𝑧 = 0
𝐹⃗ ∙ 𝑑𝑟⃗ = 𝑥𝑦𝑑𝑥
On 𝑂𝐴: 𝑦 = 0 ⇒ 𝑑𝑦 = 0, 𝑥 varies from 0 to 1.
1
⇒
OA
𝐹⃗ ∙ 𝑑𝑟⃗ = ∫0 0 𝑑𝑥
=0
On 𝐴𝐵: 𝑥 = 1 ⇒ 𝑑𝑥 = 0, 𝑦 varies from 0 to 2.
2
⇒ 𝐹⃗ ∙ 𝑑𝑟⃗ = ∫0 0 𝑑𝑦
AB
=0
On 𝐵𝐶: 𝑦 = 2 ⇒ 𝑑𝑦 = 0, 𝑥 varies from 1 to 0.
0
⇒
BC
𝐹⃗ ∙ 𝑑𝑟⃗ = ∫1 2𝑥 𝑑𝑥
0
𝑥2
= 2 [ 2 ] = −1
1
=0
∴
c
𝐹⃗ ∙ 𝑑𝑟⃗ = 0 + 0 − 1 + 0 = −1 … (1)
R.H.S =
S
𝑐𝑢𝑟𝑙 𝐹⃗ ∙ n̂ 𝑑𝑠
𝑖⃗ 𝑗⃗ 𝑘⃗⃗
𝜕 𝜕 𝜕
𝑐𝑢𝑟𝑙 𝐹⃗ = | |
𝜕𝑥 𝜕𝑦 𝜕𝑧
𝑥𝑦 −2𝑦𝑧 −𝑥𝑧
= 𝑖⃗ (0 + 2𝑦) − 𝑗⃗ (– 𝑧 − 0) + 𝑘⃗⃗ (0 − 𝑥 )
= 2𝑦𝑖⃗ + 𝑧 𝑗⃗ − 𝑥 𝑘⃗⃗
Given S is an open surface consisting of the 5 faces of the cube except, 𝑥𝑦 − plane.
∫ ∫ 𝑐𝑢𝑟𝑙 𝐹⃗ ∙ n̂ 𝑑𝑠 =
S1
+
S2
+ ⋯+
S5
3
= ∫0 [𝑧𝑥 ]10 𝑑𝑧
3
= 2 ∫0 𝑧 𝑑𝑧
3
𝑧2 9
=[ ] =
2 0 2
3 2
On 𝑆4 : ∫0 ∫0 −2𝑦 𝑑𝑦𝑑𝑧
3 𝑦2 2
= −2 ∫0 [ 2 ] 𝑑𝑧
0
3
= −4 ∫0 𝑑𝑧
= −4[𝑧]30 = −12
3 2
On 𝑆5 : ∫0 ∫0 2𝑦 𝑑𝑦𝑑𝑧
3 𝑦2 2
= 2 ∫0 [ ] 𝑑𝑧
2 0
3
= 4 ∫0 𝑑𝑧
= 4[𝑧]30 = 12
9 9
∴ 𝑐𝑢𝑟𝑙 𝐹⃗ ∙ n̂ 𝑑𝑠 = −1 − 2 + 2 − 12 + 12 = −1 … (2)
S
Stoke’s theorem is
c
𝐹⃗ ∙ 𝑑𝑟⃗ =
S
𝑐𝑢𝑟𝑙 𝐹⃗ ∙ n̂ 𝑑𝑠
L.H.S =
c
𝐹⃗ ∙ 𝑑𝑟⃗ =
AB
+
BC
+
CD
+
DA
𝑎
⇒ 𝐹⃗ ∙ 𝑑𝑟⃗ = ∫−𝑎 −𝑎3 𝑑𝑥
AB
= −𝑎3 [𝑥 ]𝑎−𝑎
= −𝑎3 (2𝑎) = −2𝑎4
= 𝑎3 [𝑦]𝑎−𝑎
= 𝑎3 (2𝑎) = 2𝑎4
On 𝐶𝐷: 𝑦 = 𝑎 ⇒ 𝑑𝑦 = 0, 𝑥 varies from 𝑎 to −𝑎.
−𝑎
⇒
CD
𝐹⃗ ∙ 𝑑𝑟⃗ = ∫𝑎 −𝑎3 𝑑𝑥
= −𝑎3 [𝑥 ]−𝑎
𝑎
= −𝑎3 [𝑦]−𝑎
𝑎
∴
c
𝐹⃗ ∙ 𝑑𝑟⃗ = −2𝑎4 + 2𝑎4 + 2𝑎4 + 2𝑎4 = 4𝑎4 … (1)
R.H.S = S
𝑐𝑢𝑟𝑙 𝐹⃗ ∙ n̂ 𝑑𝑠
𝑖⃗ 𝑗⃗ 𝑘⃗⃗
𝜕 𝜕 𝜕
𝑐𝑢𝑟𝑙 𝐹⃗ = | |
𝜕𝑥 𝜕𝑦 𝜕𝑧
2 2 2
𝑦 𝑧 𝑧 𝑥 𝑥 𝑦
= 𝑖⃗ (𝑥 2 − 2𝑥𝑧) − 𝑗⃗ (𝑦 2 − 2𝑥𝑦) + 𝑘⃗⃗ (𝑧 2 − 2𝑦𝑧)
Given S is an open surface consisting of the 5 faces of the cube except, 𝑧 = −𝑎.
∫ ∫ 𝑐𝑢𝑟𝑙 𝐹⃗ ∙ n̂ 𝑑𝑠 =
S1
+
S2
+ ⋯+
S5
𝑎
= ∫−𝑎(𝑎3 − 2𝑎2 𝑦) − (−𝑎3 + 2𝑎2 𝑦) 𝑑𝑦
𝑎
= ∫−𝑎 2𝑎3 − 4𝑎2 𝑦 𝑑𝑦
𝑎
𝑦2
= [2𝑎3 𝑦 − 4𝑎2 ]
2 −𝑎
= −3𝑎2 (𝑎2 − 𝑎2 ) = 0
∴
S
𝑐𝑢𝑟𝑙 𝐹⃗ ∙ n̂ 𝑑𝑠 = 4𝑎4 + 0 + 0 = 4𝑎4 … (2)
boundary of the triangle with vertices at (𝟎, 𝟎, 𝟎), (𝟏, 𝟎, 𝟎) 𝒂𝒏𝒅 (𝟏, 𝟏, 𝟎).
Solution:
Stoke’s theorem is
c
𝐹⃗ ∙ 𝑑𝑟⃗ =
S
𝑐𝑢𝑟𝑙 𝐹⃗ ∙ n̂ 𝑑𝑠 … (1)
⃗⃗
Given 𝐹⃗ = 𝑦 2 𝑖⃗ + 𝑥 2 𝑗⃗ + (𝑥 + 𝑧) 𝑘
Transitioning from line to surface integrals involves comparing the vector field circulation around the boundary of the surface to the curl of the vector field over the surface itself. Green's theorem applies to plane problems while Stokes' theorem extends this to three dimensions. Verification involves calculating the line integral around the path and comparing it to the integral of the curl over the surface, requiring understanding of both integral types .
Detecting inconsistencies involve ensuring parameterization accurately represents curve paths and boundaries, correctly computing partial derivatives, and applying correct limits. Mistakes often occur in interpreting integration limits, dx and dy transformations, and algebraic simplifications leading to differing line integral and double integral results. Verification requires cross-checking with geometric interpretations, such as verifying expected linear or circular path outcomes .
In this scenario, Green’s theorem transitions the problem from line integrals around the complex curves y=x² and y=√x to a double integral over the enclosed region by these curves. Calculating the line integral requires evaluating the expression (3x²-8y²)dx+(4y-6xy)dy around the entire boundary, while using partial derivative results—∂N/∂x=-6y and ∂M/∂y=-16y—simplifies the right-hand side to a double integral over the region, streamlining the verification process .
Green's theorem's transformation of the line integral into a double integral becomes practical when dealing with regions decomposable into simpler paths because it simplifies integrating along potentially complex or non-linear paths. This path decomposition into straightforward geometric segments allows handling each part separately, using properties of the integrands limited to line segments with clear dx and dy parameters .
Using the parametric equation x=a cos θ and y=b sin θ, simplifies integration by converting Cartesian coordinates into trigonometric forms, where integration limits from 0 to 2π encapsulate the whole ellipse path. With dx and dy derivable from θ, one computes the area with cos²θ + sin²θ=1 simplifying to direct evaluation of a known integral, facilitating straightforward calculation of πab as the ellipse area .
The partial derivatives ∂N/∂x and ∂M/∂y represent changes in the vector field components perpendicular to each other in relation to the integration variable. They are central to Green's theorem as the difference ∂N/∂x - ∂M/∂y, integrated over the region, gives a relationship to the circulation along the boundary curve, allowing the transformation of a line integral to a double integral, thus simplifying mathematical calculations .
Green's theorem is used to demonstrate that the line integral over a closed curve (3x²-8y²)dx+(4y-6xy)dy equals the double integral of the partial derivatives difference, (∂N/∂x - ∂M/∂y), over the region bounded by the curve. By calculating both sides, the solution equates the line integral around the region with the double integral over the enclosed region, therefore verifying Green's theorem .
Breaking down the region into segments OA, AB, and BO is essential to evaluate the line integrals along each path independently because each path might have different expressions or simplifications for dx and dy based on the specific function parameters. This division facilitates calculation by considering the particular constraints of dx and dy on each line segment .
Essential steps include setting M = -y and N = x for the curve, finding the partial derivatives (∂N/∂x = 1 and ∂M/∂y = -1), and applying Green’s theorem which converts the line integral to a double integral equating 2 times the area of the curve. This is particularly used with x and y in terms of a parameter, e.g., in parametric representation, and computes across limits encompassing the closed curve .
Green's theorem transforms the line integral of e^(-x)(sin y dx + cos y dy) around the rectangle into a double integral over the enclosed region of partial derivative differences, often more straightforward to evaluate. This transformation leverages vector calculus's fundamental theorem properties, proofing by evaluating dual integrations separately and confirming equivalent results, although they traverse different dimensions of the same domain .