Академический Документы
Профессиональный Документы
Культура Документы
Lecture 6
Stoke’s Theorem
Let S be a surface in space and the boundary of S is simple closed curve c. Let 𝐹⃗ (𝑥, 𝑦, 𝑧) is a continuous
function that has continuous partial derivatives in S, then,
0
⃗⃗ × 𝐹⃗ ) . n̂ 𝑑𝑠 = ∮0 𝐹⃗ . 𝑑𝑟⃗ where 𝑛̂ is an outward drawn normal to the elemental surface 𝑑𝑠 and 𝑑𝑟⃗ is
∫𝑆 (∇ 𝐶
taken along C.
∑ 𝐴⃗. 𝑑𝑙⃗ = (∇
⃗⃗ × 𝐴⃗) 𝑑𝑥𝑑𝑦
4 𝑠𝑖𝑑𝑒𝑠
(Refer to physical interpretation of curl where the velocity vector 𝑣⃗ is replaced by 𝐴⃗)
The surface integrals (i.e. RHS of the above equation) can be added together. Again (as in the divergence
theorem case) the line integrals of the interior line segments cancel identically. Only the integral around
the perimeter survives, giving
Example
Verify Stokes theorem for 𝐹⃗ = (2𝑥 − 𝑦)𝑖̂ − 𝑦𝑧 2 𝑗̂ − 𝑦 2 𝑧𝑘̂ for the paraboloid S devoted by
𝑧 = 𝑓(𝑥, 𝑦) = 1 − (𝑥 2 + 𝑦 2 ) 𝑧≥0
A convenient way to determine the line integral (refer to Stoke’s theorem) is to substitute
𝑥 = cos 𝑡, 𝑦 = 𝑠𝑖𝑛𝑡. 0 ≤ 𝑡 ≤ 2𝜋 and 𝑧 = 0.
Thus
0 0
0 2𝜋
= ∮𝑐 (2𝑥 − 𝑦)𝑑𝑥 = ∫0 (2𝑐𝑜𝑠𝑡 − 𝑠𝑖𝑛𝑡)(−𝑠𝑖𝑛𝑡)𝑑𝑡
=𝜋
1 √1−𝑥 2
= ∫ 𝑑𝑥𝑑𝑦 = ∫𝑥=−1 0 ∫𝑦=−√1−𝑥2 𝑑𝑥𝑑𝑦
= 𝜋. (verified)
Let R be a closed bounded region in the 𝑥𝑦 plane which has a boundary C. Let 𝐹1 (𝑥, 𝑦) and 𝐹2 (𝑥, 𝑦)
functions that are continuous partial derivatives in a domain that contains R, then
0 0
𝛿𝐹2 𝛿𝐹1
∫( − ) 𝑑𝑥𝑑𝑦 = ∮(𝐹1 𝑑𝑥 + 𝐹2 𝑑𝑦)
𝛿𝑥 𝛿𝑦
𝑅 𝑐
Example
𝐹1 (𝑥, 𝑦) = 𝑦 2 − 7𝑦
𝐹2 (𝑥, 𝑦) = 2𝑥𝑦 + 2𝑥
And C is a circle 𝑥 2 + 𝑦 2 = 1
Thus,
0 𝛿𝐹 𝛿𝐹1
∫𝑅 ( 𝛿𝑥2 − 𝛿𝑦
)𝑑𝑥𝑑𝑦
0
= ∫𝑅 [(2𝑦 + 2) − (2𝑦 − 7)]𝑑𝑥𝑑𝑦
= 9 ∫ 𝑑𝑥𝑑𝑦 = 9𝜋
Where 𝜋 is the area of the circle of unit radius. Since C is a circle, it is convenient to introduce
0
2𝜋
∮(𝐹1 𝑑𝑥 + 𝐹2 𝑑𝑦) = ∫ (𝑠𝑖𝑛2 𝑡 − 7𝑠𝑖𝑛𝑡)(−𝑠𝑖𝑛𝑡) + (2𝑐𝑜𝑠𝑡 𝑠𝑖𝑛𝑡 + 𝑐𝑜𝑠𝑡)(𝑐𝑜𝑠𝑡)𝑑𝑡
0
𝐶
= 9𝜋
It is very important for the students to understand vector calculus in curvilinear systems where the
basis vectors (such as 𝑟̂ , ̂ etc) are not constants.
For a point in eartesian coordinate space, 𝑟⃗ = (𝑥, 𝑦, 𝑧) is used to denote the distances from the three
orthogonal axes. In cylindrical coordinates, the same point is denoted by (𝜌, 𝜑, 𝑧). While these quantities
are not necessarily distances (such as 𝜑 being an angle), however to convert them to distances, we use the
relations,
Let us now discuss the scenario for basis vectors. A coordinate system {𝑥𝑖 } allows us to define bases for
all of these vector spaces through.
𝜕𝑟
eˆi = 𝜕𝑥 𝑒
𝑖
For Cartesian systems, the basis vectors are eˆx iˆ , eˆy ˆj and eˆz kˆ pointing along the three
orthogonal coordinate axes. They are also constants, that is their directions do not change with the point 𝑟.
Now for curvilinear coordinates, such as for a cylindrical polar coordinate system, the basis
vectors are given by,
r
eˆ p cos eˆ x sin eˆ y
1 r
eˆ sin eˆ x cos eˆ y
eˆ z eˆ z
1
The in the definition of 𝑒̂𝜑 is needed for the vector to be properly normalized to 1.
An inversion of the above relations is also possible which will yield eˆx , eˆ y and eˆz in terms of eˆ , 𝑒̂𝜑 and
eˆz .
The basis vectors obey the usual relations for an orthogonal right handed bases, that is
= −1 otherwise
Partial derivatives: Partial derivatives with respect to the coordinates can be a good starting point for our
present discussion.
For example,
𝜕𝑝 = 𝑐𝑜𝑠𝜕𝑥 + 𝑠𝑖𝑛𝜕𝑦
𝜕𝜙 = − 𝑠𝑖𝑛𝜕𝑥 + 𝑐𝑜𝑠𝜕𝑦
𝜕𝑧 = 𝜕𝑧
𝑠𝑖𝑛𝜙
𝜕𝑥 = 𝑐𝑜𝑠 𝜕𝑝 − 𝜕
𝑃
𝑐𝑜𝑠𝜙
𝜕𝑦 = 𝑠𝑖𝑛𝜕𝑝 + 𝑃
𝜕
and 𝜕𝑧 = 𝜕𝑧
𝜕𝑥
⃗∇⃗= (𝜕𝑦 ) = eˆx 𝜕𝑥 + eˆ y 𝜕𝑦 + eˆz 𝜕𝑧
𝜕𝑧
p
eˆ
ˆe p p eˆz z
1
z
ê
⃗∇⃗𝑣(𝜌, 𝜑, 𝑧) = ê 𝑣 + 𝑣 + eˆz z 𝑣
1
⃗∇⃗. 𝐹 = (𝑃𝐹𝜌 ) + 𝐹 + z 𝐹𝑧
A derivation of the divergence formula can be shown as follows. There are two non zero partial
derivatives of the unit vectors, namely
𝜑 𝑒̂ = −𝑠𝑖𝑛ϕ eˆ
x + 𝑐𝑜𝑠φ eˆ y = − ê
ê
⃗⃗. 𝐹 = [ ê +
∇ + eˆz z ] . [𝐹𝑃 ê + 𝐹 ê + 𝐹 eˆz ]
ê
= 𝐹 + . [ (𝐹 ê ) + (𝐹 ê )] + z 𝐹𝑧
(𝐹) 𝐹
= + + z 𝐹𝑧
ê
⃗⃗x𝐹 = [ ê +
∇ + eˆz z ] [𝐹 ê + 𝐹 ê + 𝐹 eˆz ]
ê
= ê 𝑥 [ ê 𝐹 + eˆz 𝐹𝑧 ] + 𝑥[ ê 𝐹 − ê 𝐹 + eˆz 𝐹𝑧 ]
𝐹𝑧 (𝐹 ) 𝐹
Thus ⃗∇⃗x𝐹 = ê [
− z 𝐹 ] + ê [− 𝐹𝑧 + z 𝐹] + eˆz [
−
]
1 1
⃗∇⃗2 = ⃗∇⃗. ⃗∇⃗= . ( ) + 2 + z 2
2
Example
𝛼
𝐹= ê where 𝛼 is a constant
The divergence of 𝐹 is
ê
⃗⃗. 𝐹 = [ ê +
∇ + eˆz z ] . 𝛼 ê
=0
The corresponding expressions in spherical polar coordinates are given by, (the reader should work them
out)
⃗∇⃗. 𝐹 = 12
𝑟
r (𝑟 2 𝐹𝑟 ) + 𝑟𝑠𝑖𝑛𝜃
1
(𝑠𝑖𝑛𝜃𝐹𝜃 ) + 𝑟𝑠𝑖𝑛𝜃
1
𝐹
Also
(𝛾𝐹𝜃 ) − 𝐹𝑟 ]
⃗∇⃗2 = 12 (𝑟 2 𝜕𝑟 ) + 2 1 (𝑠𝑖𝑛𝜃 ) + 2 1 2 2
𝑟 𝑟 𝑠𝑖𝑛𝜃 𝑟 𝑠𝑖𝑛 𝜃