Top Banner
Vector Analysis EE 141 Lecture Notes Topic 2 Professor K. E. Oughstun School of Engineering College of Engineering & Mathematical Sciences University of Vermont 2014
39

Topic 02 (VectorAnalysis)

Dec 20, 2015

Download

Documents

Kogoro Mori

Topic 02 (VectorAnalysis)
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Topic 02 (VectorAnalysis)

Vector Analysis

EE 141 Lecture NotesTopic 2

Professor K. E. OughstunSchool of Engineering

College of Engineering & Mathematical SciencesUniversity of Vermont

2014

Page 2: Topic 02 (VectorAnalysis)

Motivation

First published in 1901.

Page 3: Topic 02 (VectorAnalysis)

Gradient of a Scalar Field

Let F (P) = F (r) = F (x , y , z) be a scalar function of position (orpoint function) with value F (P1) at the point P1 = (x , y , z) andvalue F (P2) at a neighboring point P2 = (x + dx , y + dy , z + dz).

The two points are separated by the differential distance vector

d ~̀= 1̂xdx + 1̂ydy + 1̂zdz (1)

where dx = 1̂x · d ~̀, dy = 1̂y · d ~̀, and dz = 1̂z · d ~̀.

Page 4: Topic 02 (VectorAnalysis)

Gradient of a Scalar Field

The Total Differential of F (P)

dF =∂F

∂xdx +

∂F

∂ydy +

∂F

∂zdz (2)

is then given by

dF =∂F

∂x1̂x · d ~̀+

∂F

∂y1̂y · d ~̀+

∂F

∂z1̂z · d ~̀

=

(1̂x∂F

∂x+ 1̂y

∂F

∂y+ 1̂z

∂F

∂z

)· d ~̀ (3)

The Gradient of the scalar field F (r) is then defined as the vector field

grad F (r) ≡ ∇F (r) ≡ 1̂x∂F

∂x+ 1̂y

∂F

∂y+ 1̂z

∂F

∂z(4)

so that Eq. (3) for the total differential may then be expressed as

dF = ∇F · d ~̀ (5)

Page 5: Topic 02 (VectorAnalysis)

Vector Differential Operator ∇

The vector differential operator ∇ or “del” is defined as

∇ ≡ 1̂x∂

∂x+ 1̂y

∂y+ 1̂z

∂z(6)

Notice that this is not a vector! It is an operator.

Explicit expressions for the various differential operations (gradient,divergence, curl, Laplacian) need to be derived in the variousorthogonal curvilinear coordinate systems that naturally arise inengineering problems with specific geometric symmetries, e.g.:

cylindrical polar coordinates with axial symmetry

spherical polar coordinates with point symmetry.

Page 6: Topic 02 (VectorAnalysis)

Directional Derivative

The directional derivative of the scalar field F (r) along the direction

specified by the unit vector 1̂` with d ~̀= 1̂`d` then follows from therelation (5), viz.

dF = ∇F · d ~̀= ∇F · 1̂`d`

asdF

d`= 1̂` · ∇F . (7)

It then follows that dF/d` has its maximum value when 1̂` is alongthe direction specified by ∇F . The streamlines of the vector field ∇Fare then orthogonal to the isotimic surfaces F (r) = constant.

The path integral of Eq. (5) then gives

F (P2)− F (P1) =

∫ P2

P1

∇F · d ~̀ (8)

independent of the path taken.

Page 7: Topic 02 (VectorAnalysis)

Properties of the Gradient Operator

For any two scalar point functions U(r) and V (r),

Distributive Law over Addition:

∇(U(r) + V (r)

)= ∇U(r) +∇V (r) (9)

Product Rule:

∇(U(r)V (r)

)= U(r)∇V (r) + V (r)∇U(r) (10)

Power Rule: For any n,

∇V n(r) = nV n−1(r)∇V (r) (11)

Problem 2: Derive each of these properties in rectangular coordinates.

Page 8: Topic 02 (VectorAnalysis)

Example: Gradient of the Plane Wave Propagation

Factor e jk·r

Consider the plane wave propagation factor U(r) = e jk·r with fixedwave vector k = 1̂xkx + 1̂yky + 1̂zkz , where r = 1̂xx + 1̂yy + 1̂zz isthe variable position vector. Then

∇e jk·r = ∇e j(kxx+kyy+kzz)

=

(1̂x

∂x+ 1̂y

∂y+ 1̂z

∂z

)e j(kxx+kyy+kzz)

=(1̂x jkx + 1̂y jky + 1̂z jkz

)e j(kxx+kyy+kzz)

= jke jk·r

Note thatd

dte jωt = jωe jωt

Hence, just as one has one-dimensional Fourier analysis in ω-space,one also has three-dimensional Fourier analysis in k-space.

Page 9: Topic 02 (VectorAnalysis)

Divergence of a Vector Field

A vector field F(r) = F(x , y , z) may be described graphically by itsfield lines, flux lines, or streamlines.

The flux density of F(r) passing through a differential element ofsurface ds = n̂ds whose directed orientation in space is specified bythe unit surface normal n̂, is defined as the amount of flux crossing aunit surface element of area, viz.

flux density ≡ F · n̂ds

ds= F · n̂ (12)

Page 10: Topic 02 (VectorAnalysis)

Divergence of a Vector Field

The total flux crossing a closed surface S with outward unit normalvector n̂ is then given by the surface integral

total flux =

∮SF · ds =

∮SF · n̂ds (13)

A positive value means that more flux leaves the region enclosedby the surface S than enters, indicating that S encloses a source.

A negative value means that more flux enters the regionenclosed by S than exits, indicating that S encloses a sink.

Page 11: Topic 02 (VectorAnalysis)

Divergence of a Vector Field

Consider determining the total outward flux of the vector field

F(r) = 1̂xFx(x , y , z) + 1̂yFy (x , y , z) + 1̂zFz(x , y , z) (14)

passing through the closed surface S comprised of the rectangularsurface elements Sj with outward unit normal vectors n̂j parallel tothe Cartesian coordinate axes.

Page 12: Topic 02 (VectorAnalysis)

Divergence of a Vector Field

The outward flux F1 through the surface element S1 with outwardunit normal vector n̂1 = −1̂x is given by

F1 =

∫∫S1

F · n̂ds

=

∫∫S1

(1̂xFx + 1̂yFy + 1̂zFz

)·(−1̂x

)dydz = −Fx(r1)∆y∆z ,

where Fx(r1) is the value of Fx at the center of surface element S1.

Similarly, the outward flux F2 through the surface element S2 withoutward unit normal vector n̂2 = 1̂x is given by

F2 =

∫∫S2

F · n̂ds

=

∫∫S2

(1̂xFx + 1̂yFy + 1̂zFz

)·(1̂x

)dydz = Fx(r2)∆y∆z ,

where Fx(r2) is the value of Fx at the center of surface element S2.

Page 13: Topic 02 (VectorAnalysis)

Divergence of a Vector Field

Because r2 = r1 + 1̂x∆x , then one has the Taylor series expansion

Fx(r2) = Fx(r1) +∂Fx

∂x∆x +O

{(∆x)2

}.

With this substitution, the expression for the outward flux F2 throughthe surface element S2 becomes

F2 =

[Fx(r1) +

∂Fx

∂x∆x

]∆y∆z ,

plus higher-order terms that are of the order of O{(∆x)2∆y∆z} as∆x → 0, ∆y → 0, ∆z → 0.

Notation: f (x) = O{

g(x)}

as x → x0 means that |f (x)/g(x)| ≤ Kas x → x0, where K > 0 is some positive constant.

Page 14: Topic 02 (VectorAnalysis)

Divergence of a Vector Field

The sum of the outward fluxes of the vector field F(r) through thetwo surface elements S1 and S2 is then given by

F1 + F2 =∂Fx

∂x∆x∆y∆z .

Similarly, the sum of the outward fluxes of F(r) through the twosurface elements S3 and S4 is given by

F3 + F4 =∂Fy

∂y∆x∆y∆z ,

and the sum of the outward fluxes of F(r) through the two surfaceelements S5 and S6 is given by

F5 + F6 =∂Fz

∂z∆x∆y∆z ,

plus higher-order terms of order O{(∆x)2∆y∆z}, O{∆x(∆y)2∆z}or O{∆x∆y(∆z)2}, respectively.

Page 15: Topic 02 (VectorAnalysis)

Divergence of a Vector Field

The total outward flux of the vector field F(r) through the closedsurface S is then given by

∑6j=1 Fj , so that∮

SF · ds =

(∂Fx

∂x+∂Fy

∂y+∂Fz

∂z

)∆V , (15)

where ∆V = ∆x∆y∆z is the element of volume enclosed by S.

The divergence of a vector field is then defined as the scalar field

divF(r) ≡ lim∆V→0

{1

∆V

∮SF · ds

}(16)

where ∆V is the volume element enclosed by the simply-connectedsurface S containing the point r, and where ds = n̂ds with outwardunit normal n̂ to the surface S.

Page 16: Topic 02 (VectorAnalysis)

Divergence of a Vector Field

Because ∇ ≡ 1̂x∂∂x

+ 1̂y∂∂y

+ 1̂z∂∂z

, then the divergence operation inrectangular coordinates is given by

divF(r) = ∇ · F(r) =∂Fx

∂x+∂Fy

∂y+∂Fz

∂z(17)

The vector field F(r) has a positive divergence at a point r if thenet flux out of an infinitesimally small surface S surroundingthat point is positive; ∆V then contains a flux source.

The vector field F(r) has a negative divergence at a point r ifthe net flux out of an infinitesimally small surface S surroundingthat point is negative; ∆V then contains a flux sink.

The vector field F(r) has a zero divergence at a point r if thenet flux out of an infinitesimally small surface S surroundingthat point vanishes; the field is then said to be divergenceless orsolenoidal at that point.

Page 17: Topic 02 (VectorAnalysis)

Properties of the Divergence Operator

Solenoidal Vector Field ⇐⇒ ∇ · F(r) = 0 ⇐⇒∮S F · ds = 0.

For any two vector functions F(r) and G(r) and scalar function φ(r),

Distributive Law over Vector Addition:

∇ ·(F(r) + G(r)

)= ∇ · F(r) +∇ · G(r) (18)

Product Rule for Scalar Multiplication:

∇ ·(φ(r)F(r)

)= φ(r)∇ · F(r) + F(r) · ∇φ(r) (19)

Problem 3: Derive each of these properties in rectangular coordinates.

Problem 4: Show that ∇ · r = 3, where r ≡ 1̂xx + 1̂yy + 1̂zz is theposition vector.

Page 18: Topic 02 (VectorAnalysis)

Divergence Theorem

From Eq. (15), for each volume element ∆Vj with closed surface SJof a simply connected region V =

∑j Vj ,(

∇ · F(r))∆Vj =

∮SjF(r) · ds.

Summing over all of the volume elements ∆Vj in V and taking thelimit as ∆Vj → 0, this becomes∑

j

(∇ · F(r)

)∆Vj =

∑j

∮SjF(r) · ds =

∮SF(r) · ds,

where S is the surface enclosing V . In this limit as ∆Vj → 0, thesummation on the left goes over to the volume integral over V ,resulting in the Divergence Theorem∫∫∫

V

(∇ · F(r)

)d3r =

∮SF(r) · ds (20)

Page 19: Topic 02 (VectorAnalysis)

Example: Divergence of the Vector Plane Wave

Propagation Factor Ae jk·r

Consider the vector plane wave propagation factor Ae jk·r with fixedwave vector k = 1̂xkx + 1̂yky + 1̂zkz and variable position vector

r = 1̂xx + 1̂yy + 1̂zz . Here A is a constant vector which describesthe fixed orientation of the vector wave field in space (Polarization).Then

∇ · Ae jk·r =∂

∂x

(Axe jk·r)+

∂y

(Aye jk·r)+

∂z

(Aze jk·r)

= jkxAxe jk·r + jkyAye jk·r + jkzAze jk·r

= jk · Ae jk·r,

or, using the product rule (19) for scalar multiplication and the factthat ∇ · A = 0,

∇ · Ae jk·r = (∇ · A) e jk·r + A · ∇e jk·r = jk · Ae jk·r.

Page 20: Topic 02 (VectorAnalysis)

Circulation of a Vector Field around a Closed

Contour

The circulation of a vector field F(r) around a closed contour C isdefined by the contour integral

Circulation ≡∮CF(r) · d ~̀ (21)

where d ~̀ denotes the differential element of arc length tangent to thecontour C at the point r.

For example, the circulation of a uniform vector field F(r) = K iszero, as ∮

CK · d ~̀= K ·

∮C

d ~̀= 0

for any closed contour C.

Page 21: Topic 02 (VectorAnalysis)

Green’s Theorem for Regular Regions

Consider evaluating the surface integral∫∫ ∂u(x ,y)

∂ydxdy over a plane

region in the xy -plane that is bounded below and above by theregular arcs AB and CD, respectively, and on the sides by straightlines parallel to the y -axis, as illustrated.

This surface integral may be directly evaluated by integrating firstwith respect to y between the two points P ′(x , y) and P ′′(x , y) onthe lower and upper curves, respectively, and then with respect to xbetween the extreme limits a and b, as follows:

Page 22: Topic 02 (VectorAnalysis)

Green’s Theorem for Regular Regions

∫∫∂u(x , y)

∂ydxdy =

∫ b

a

[u(x , y ′′)− u(x , y ′)

]dx

=

∫ C

D

udx −∫ B

A

udx = −∫ D

C

udx −∫ B

A

udx .

Along the straight line segments BC and DA, x is constant so that∫ C

B

udx =

∫ D

A

udx = 0.

Adding these two path integrals to the above expression then gives∫∫∂u(x , y)

∂ydxdy = −

∮u(x , y)dx ,

the closed contour integral on the right hand side being taken in thecounterclockwise direction.

Page 23: Topic 02 (VectorAnalysis)

Green’s Theorem for Regular Regions

If a plane region S can be partitioned into a finite number of parts,each of the type just considered, then an equation of the above typeis valid for each of them. It then follows that∫∫

S

∂u(x , y)

∂ydxdy = −

∮C

u(x , y)dx , (22)

where C is the entire boundary of S.In a similar manner, if the plane region S can be partitioned into afinite number of subregions, each bounded on the sides by regulararcs with respect to the y -axis and above and below by straight linesegments parallel to the x-axis, then∫∫

S

∂v(x , y)

∂xdxdy =

∮C

v(x , y)dy . (23)

Page 24: Topic 02 (VectorAnalysis)

Green’s Theorem for Regular Regions

The sum of Eqs. (22) and (23) then gives Green’s Theorem forRegular Regions∫∫

S

(∂v

∂x− ∂u

∂y

)dxdy =

∮C

(udx + vdy

)(24)

Notice that if the positive unit normal vector n̂ to the plane surfaceS in the xy -plane is taken along the 1̂z direction, then the positivesense of integration around the contour C enclosing the region S isdetermined by the right-hand rule.

Unless otherwise specifically stated, this sign convention determinedby the right-hand rule is adopted here.

Page 25: Topic 02 (VectorAnalysis)

George Green (1793 – 1841)

Page 26: Topic 02 (VectorAnalysis)

Curl of a Vector Field

In Cartesian coordinates, the curl of a continuous vector field

F(r) = 1̂xu(x , y , z) + 1̂yv(x , y , z) + 1̂zw(x , y , z)

with continuous first partial derivatives is defined as

∇× F(r) =

(1̂x

∂x+ 1̂y

∂y+ 1̂z

∂z

)×(1̂xu(x , y , z) + 1̂yv(x , y , z) + 1̂zw(x , y , z)

)=

∣∣∣∣∣∣1̂x 1̂y 1̂z

∂/∂x ∂/∂y ∂/∂zu(x , y , z) v(x , y , z) w(x , y , z)

∣∣∣∣∣∣= 1̂x

(∂w

∂y− ∂v

∂z

)+ 1̂y

(∂u

∂z− ∂w

∂x

)+ 1̂z

(∂v

∂x− ∂u

∂y

).

(25)

Page 27: Topic 02 (VectorAnalysis)

Curl of a Vector Field, Green’s Theorem

With this definition, the integrand appearing on the left-hand side ofEq. (24) is seen to be the z-component of the curl of F(r) and theintegrand appearing on the right-hand side of that equation is seen tobe F · dr in the xy -plane. Consequently, Green’s theorem for regularregions in the plane (24) is equivalent to∫∫

S∇× F · d~a =

∮CF · dr (26)

with d~a = 1̂zdxdy and dr = 1̂xdx + 1̂ydy taken to be tangent to thecontour C, the positive direction of integration about the contour Cbeing determined by the right-hand rule. Analogous expressions areobtained in the xz- and yz-planes.

Page 28: Topic 02 (VectorAnalysis)

Curl of a Vector Field, Stokes’ Theorem

The generalization of Green’s theorem (26) to R3 then leads toStokes’ Theorem ∫∫

S∇× F · n̂d2r =

∮CF · dr (27)

where n̂ denotes the unit normal vector to the surface S, the positivedirection of integration about the contour C being determined by theright-hand rule with respect to n̂.

Page 29: Topic 02 (VectorAnalysis)

G. G. Stokes, 1st Baronet (1819–1903)

Page 30: Topic 02 (VectorAnalysis)

Curl of a Vector Field

Application of Stokes’ theorem to a regular surface element ∆Scontaining the point P in its interior gives∫∫

∆S(∇× F(r)) · n̂d2r︸ ︷︷ ︸(∇×F(r))·n̂∆S

=

∮CF(r) · dr,

where, by the mean value theorem for integrals, (∇× F(r)) · n̂ issome intermediate value between the maximum and minimum valuesof the quantity (∇× F(r)) · n̂ on ∆S. Hence, in the limit as ∆Sshrinks to the point P ,

(∇× F(P)) · n̂ = lim∆S→0

1

∆S

∮CF(r) · dr (28)

This Integral Definition of the Curl shows that the normal componentof the curl of a vector field at a point P is given by the circulationper unit area about that point in the plane orthogonal to n̂.

Page 31: Topic 02 (VectorAnalysis)

Properties of the Curl Operator

Irrotational Vector Field ⇐⇒ ∇× F(r) = 0 ⇐⇒∮C F · d ~̀= 0.

For any two vector functions F(r) and G(r) and scalar function φ(r),Distributive Law over Vector Addition:

∇×(F(r) + G(r)

)= ∇× F(r) +∇× G(r) (29)

Product Rule for Scalar Multiplication:

∇×(φ(r)F(r)

)= φ(r)∇× F(r) +∇φ(r)× F(r) (30)

Product Rule for Vector Multiplication

∇× (F× G) = G · ∇F− F · ∇G + F(∇ · G)− G(∇ · F) (31)

The curl of the gradient of a scalar field vanishes

∇× (∇φ) = 0 (32)

The divergence of the curl of a vector field vanishes

∇ · (∇× F) = 0 (33)

Page 32: Topic 02 (VectorAnalysis)

Additional Vector Differentiation Properties

Problem 5: Derive Properties (32) and (33).

Problem 6: Show that ∇× r = 0,where r = 1̂xx + 1̂yy + 1̂zz .

Problem 7: Show that

F(r) · ∇r = F(r) (34)

For any two vector functions F(r) and G(r),

∇(F · G) = F · ∇G + G · ∇F + F× (∇× G) + G× (∇× F) (35)

Notice that, for example

F · ∇G = (F · ∇)G,

where

F · ∇ = Fx∂

∂x+ Fy

∂y+ Fz

∂z(36)

is the projection of the vector differential operator ∇ onto vector F.

Page 33: Topic 02 (VectorAnalysis)

Example: Curl of the Vector Plane Wave

Propagation Factor Ae jk·r

Consider the vector plane wave propagation factor Ae jk·r with fixedwave vector k = 1̂xkx + 1̂yky + 1̂zkz and A a constant vector. Then

∇× Ae jk·r = 1̂x

[Az

∂y

(e jk·r)− Ay

∂z

(e jk·r)]

+1̂y

[Ax

∂z

(e jk·r)− Az

∂x

(e jk·r)]

+1̂z

[Ay

∂x

(e jk·r)− Ax

∂y

(e jk·r)]

= j[1̂x(Azky − Aykz) + 1̂y (Axkz − Azkx)

+1̂z(Aykx − Axky )]e jk·r = jk× Ae jk·r,

or, using the product rule (30) with ∇× A = 0,

∇× Ae jk·r = (∇× A) e jk·r +∇e jk·r × A = jk× Ae jk·r.

Page 34: Topic 02 (VectorAnalysis)

The Laplacian Operator

Consider a scalar field φ(r) = φ(x , y , z) with gradient

∇φ(r) = 1̂x∂φ(r)

∂x+ 1̂y

∂φ(r)

∂y+ 1̂z

∂φ(r)

∂z,

which in turn is a vector field with divergence

∇ ·(∇φ(r)

)=

(1̂x

∂x+ 1̂y

∂y+ 1̂z

∂z

)·(1̂x∂φ

∂x+ 1̂y

∂φ

∂y+ 1̂z

∂φ

∂z

)=

∂2φ

∂x2+∂2φ

∂y 2+∂2φ

∂z2.

The Laplacian operator is then defined as

∇2 ≡ ∇ · ∇ =∂2

∂x2+

∂2

∂y 2+

∂2

∂z2(37)

Page 35: Topic 02 (VectorAnalysis)

The Laplacian & CurlCurl Operators

The Laplacian of a vector field F(r) = 1̂xFx(r) + 1̂yFy (r) + 1̂zFz(r) isgiven by

∇2F(r) = 1̂x∇2Fx + 1̂y∇2Fy + 1̂z∇2Fz . (38)

Through direct substitution, it is found that the curlcurl operator isgiven by

∇× (∇× F) = ∇(∇ · F)−∇2F (39)

when operating on a continuous vector field F with continuous first-and second-order partial derivatives.

Problem 8: Verify Eq. (39) for the curlcurl operator in Cartesiancoordinates.

Page 36: Topic 02 (VectorAnalysis)

Pierre-Simon Laplace (1749 – 1827)

Page 37: Topic 02 (VectorAnalysis)

Green’s Integral Identities

Begin with the divergence theorem [see Eq. (20)]∮SF · ds =

∫∫∫V

(∇ · F

)d3r .

With F(r) = φ(r)∇ψ(r), one obtains Green’s First Integral Identity∮S

(φ∇ψ

)· ds =

∫∫∫V

(φ∇2ψ +∇φ · ∇ψ

)d3r (40)

Interchanging φ and ψ in this equation gives∮S

(ψ∇φ

)· ds =

∫∫∫V

(ψ∇2φ +∇ψ · ∇φ

)d3r .

Subtracting this result from the expression given in Eq. (40) yieldsGreen’s Second Integral Identity∮

S

(φ∇ψ − ψ∇φ

)· ds =

∫∫∫V

(φ∇2ψ − ψ∇2φ

)d3r (41)

Page 38: Topic 02 (VectorAnalysis)

Problem 9

Beginning with the divergence theorem (∮S F · n̂d2r =

∫V ∇ · Fd3r),

where the closed surface S forms the complete boundary of theregion V with outward unit normal vector n̂, show that, for anysufficiently continuous vector field G = G(r) and scalar field f = f (r):∮

Sf (r)n̂d2r =

∫V

(∇f (r)

)d3r , (42)∮

Sn̂× G(r)d2r =

∫V

(∇× G(r)

)d3r . (43)

Page 39: Topic 02 (VectorAnalysis)

Problem 10

Beginning with the Stokes’ theorem (∮C F · dr =

∫S(∇× F) · n̂d2r),

where the closed contour C forms the complete boundary of thesurface S with unit normal vector n̂ taken in the positive direction,show that, for any sufficiently continuous vector field G = G(r) andscalar field f = f (r):∮

Cdr × G(r) =

∫S

(n̂×∇

)× G(r)d2r , (44)∮

Cf (r)dr =

∫S

(n̂×∇f (r)

)d2r . (45)