Appendix/Mathematics/ScaleFactors

From jetwiki
Jump to navigation Jump to search

Scale Factors for Orthogonal Curvilinear Coordinate Systems

Here we lean heavily on the class notes and associated references that have been provided by P. A. Kelly in a collection titled, Mechanics Lecture Notes: An Introduction to Solid Mechanics, as they appeared online in early 2021. See especially the subsection of Part III in which the properties of Vectors and Tensors are discussed.

Getting Started

Following Kelly, we will use e^i and xi when referencing, respectively, the three (i = 1,3) basis vectors and coordinate "curves" of the Cartesian coordinate system; and we will use g^i and Θi when referencing, respectively, the three (i = 1,3) basis vectors and coordinate curves of some other, curvilinear coordinate system.

2D Oblique Coordinate System Example

Consider a vector, v, which in Cartesian coordinates is described by the expression,

v

=

e^1vx+e^2vy.

Referencing Figure 1.16.4 of Kelly's Part III, we appreciate that in a two-dimensional (2D) oblique coordinate system where α is the (less than 90°) angle between the two basis vectors, the same vector will be represented by the expression,

v

=

g^1v1+g^2v2.

The angle between g^2 and e^2 is, (π/2 - α), so we appreciate that,

vy

=

v2cos(π2α)=v2sinα

v2

=

vysinα.

Next, from a visual inspection of the figure, we appreciate that vx is longer than v1 by the amount, v2cosα; that is,

vx

=

v1+v2cosα=v1+vytanα

v1

=

vxvytanα.

(These are the same pair of transformation relations that appear as Eq. (1.16.3) of Kelly's Part III.)

Covarient:   The set of basis vectors, g^1 and g^2 (note the subscript indices), that are aligned with the coordinate directions, Θ1 and Θ2, are generically referred to as covariant base vectors.

Contravarient:   A second set of vectors, which will be termed contravariant base vectors, g^1 and g^2 (denoted by superscript indices), will be aligned with a new set of coordinate directions, Θ1 and Θ2.

This new set of base vectors is defined as follows (see Fig. 1.15.5 of Kelly's Part III): the base vector g^1 is perpendicular to g^1 — that is, g^1g^2=0 — and the base vector g^2 is perpendicular to g^2 — that is, g^1g^2=0. Further, we ensure that,

g^1g^1=1,

      and,      

g^2g^2=1.

(Verbatim from p. 138 of Kelly's Part III) A good trick for remembering which are the covariant and which are the contravariant is that the third letter of the word tells us whether the word is associated with subscripts or with superscripts. In "covariant," the "v" is pointing down, so we use subscripts; for "contravariant," the "n" is (with a bit of imagination) pointing up, so we use superscripts.

Continuing with our 2D oblique coordinate system example and appreciating that Kelly has chosen to align the g^1 basis vector with the e^1 (Cartesian) basis vector, we see that the transformation between the two sets of covariant basis vectors is given by the relations,

g^1=e^1,

      and,      

g^2=e^1cosα+e^2sinα.

These conditions lead to the following complementary set of contravariant basis vectors:

g^1=e^1e^2(1tanα),

      and,      

g^2=e^2(1sinα).

Note that, as defined herein, the magnitude (i.e., scalar lengths) of these contravariant basis vectors is not unity; they are, instead,

|g^1|[g^1g^1]1/2

=

{[e^1e^2(1tanα)][e^1e^2(1tanα)]}1/2

 

=

{1+1tan2α}1/2=1sinα;

|g^2|[g^2g^2]1/2

=

1sinα.

Some Useful Relations

Examples

Once expressions for the nine separate direction cosines are known for a system of orthogonal coordinates, then the following hold:

g^n

=

ı^γn1+ȷ^γn2+k^γn3;

and,

ı^

=

g^1γ11+g^2γ21+g^3γ31,

ȷ^

=

g^1γ12+g^2γ22+g^3γ32,

k^

=

g^1γ13+g^2γ23+g^3γ33.

Hence, the position vector is given by the expression,

x=ı^x+ȷ^y+k^z

=

g^1(γ11x+γ12y+γ13z)+g^2(γ21x+γ22y+γ23z)+g^3(γ31x+γ32y+γ33z)

Cylindrical Coordinates

This is drawn principally from Example #1 (starting on p. 148) of Kelly.

λ1

=

ϖ[(x1)2+(x2)2]1/2,

λ2

tan1[x2x1],

λ3

x3.


Direction Cosine Components for Cylindrical Coordinates
n λn hn λnx λny λnz γn1 γn2 γn3
1 ϖ(x2+y2)1/2 1 xλ1 yλ1 0 xλ1 yλ1 0
2 φtan1[yx] λ1 yϖ2 xϖ2 0 yϖ xϖ 0
3 z 1 0 0 1 0 0 1


g^1

=

ı^γ11+ȷ^γ12+k^γ13=ı^(xϖ)+ȷ^(yϖ)=ı^cosφ+ȷ^sinφ,

g^2

=

ı^γ21+ȷ^γ22+k^γ23=ı^(yϖ)+ȷ^(xϖ)=ı^sinφ+ȷ^cosφ,

g^3

=

ı^γ31+ȷ^γ32+k^γ33=k^.

And the position vector is,

x

=

g^1(γ11x+γ12y+γ13z)+g^2(γ21x+γ22y+γ23z)+g^3(γ31x+γ32y+γ33z)

 

=

g^1[x2ϖ+y2ϖ]+g^2[xyϖ+xyϖ]+g^3z

 

=

g^1ϖ+g^3z.

The line element is,

ds2

=

i=13hi2dλi2=dλ12+ϖ2dλ22+dλ32.

In terms of Cartesian basis vector, this is,

ds2

=

h12[(λ1x)dx+(λ1y)dy+(λ1z)dz]2+h22[(λ2x)dx+(λ2y)dy+(λ2z)dz]2+h32[(λ3x)dx+(λ3y)dy+(λ3z)dz]2

 

=

[γ11dx+γ12dy+γ13dz]2+[γ21dx+γ22dy+γ23dz]2+[γ31dx+γ32dy+γ33dz]2

 

=

[(xϖ)dx+(yϖ)dy]2+[(yϖ)dx+(xϖ)dy]2+dz2

 

=

(xϖ)2dx2+(yϖ)2dy2+2(xϖ)(yϖ)dxdy2(yϖ)(xϖ)dxdy+(yϖ)2dx2+(xϖ)2dy2+dz2

 

=

[(xϖ)2+(yϖ)2]dx2+[(yϖ)2+(xϖ)2]dy2+dz2

 

=

dx2+dy2+dz2.         Yes!

And, when written in terms of Cartesian coordinates, the "cylindrical" differential volume element is,

dV=h1h2h3dλ1dλ2dλ3

=

[γ11dx+γ12dy+γ13dz][γ21dx+γ22dy+γ23dz][γ31dx+γ32dy+γ33dz]

 

=

[(xϖ)dx+(yϖ)dy][(yϖ)dx+(xϖ)dy][dz]

 

=

dz{(xϖ)dx[(yϖ)dx+(xϖ)dy]+(yϖ)dy[(yϖ)dx+(xϖ)dy]}

 

=

dz{(xyϖ2)dx2+(x2ϖ2)dxdy(y2ϖ2)dxdy+(xyϖ2)dy2}

 

=

dzϖ2{xy(dy2dx2)+(x2y2)dxdy}.

T10 Coordinates

Position Vector

Pulling from our accompanying Table of Direction Cosine Components for T10 Coordinates, the position vector is given by the expression,

x

=

g^1(γ11x+γ12y+γ13z)+g^2(γ41x+γ42y+γ43z)+g^3(γ51x+γ52y+γ53z)

 

=

g^1[λ123D]+g^2[1+1q22p2]xq2yp2z𝒟+g^3[x2(2q4y2+p4z2)+q2y2(p4z2+2x2)+p2z2(x2q4y2)]3D𝒟

Line Element

T10 Example

In terms of Cartesian basis vector, the line element is,

ds2

=

h12[(λ1x)dx+(λ1y)dy+(λ1z)dz]2+h22[(λ4x)dx+(λ4y)dy+(λ4z)dz]2+h32[(λ5x)dx+(λ5y)dy+(λ5z)dz]2

 

=

[γ11dx+γ12dy+γ13dz]2+[γ41dx+γ42dy+γ43dz]2+[γ51dx+γ52dy+γ53dz]2

 

=

[(x)dx+(q2y)dy+(p2z)dz]23D2+[(q2yp2z)dx+(xp2z)dy(2xq2y)dz]21𝒟2+[x(2q4y2+p4z2)dx+q2y(p4z2+2x2)dy+p2z(x2q4y2)dz]23D2𝒟2

(𝒟3D)2ds2

=

[(x)dx+(q2y)dy+(p2z)dz]2𝒟2+[(q2yp2z)dx+(xp2z)dy(2xq2y)dz]2(3D)2+[x(2q4y2+p4z2)dx+q2y(p4z2+2x2)dy+p2z(x2q4y2)dz]2.

Notice that the coefficient that corresponds to each term is given by the following expressions:

[dy2]:

 

q4y2𝒟2+x2p4z23D2+q4y2(p4z2+2x2)2

 

 

q4y2[q4y2p4z2+x2p4z2+4x2q4y2]+x2p4z2[x2+q4y2+p4z2]+q4y2(p8z4+4x2p4z2+4x4)

 

 

q8y4(4x2+p4z2)+6x2q4y2p4z2+p8z4(x2+q4y2)+x4(p4z2+4q4y2)

 

=

(𝒟3D)2.

[dx2]:

 

x2𝒟2+q4y2p4z23D2+x2(2q4y2+p4z2)2

 

=

x2(q4y2p4z2+x2p4z2+4x2q4y2)+q4y2p4z2(x2+q4y2+p4z2)+x2(4q8y4+4q4y2p4z2+p8z4)

 

=

6x2q4y2p4z2+x4(4q4y2+p4z2)+q8y4(4x2+p4z2)+p8z2(x2+q4y2)

 

=

(𝒟3D)2.

[dxdy]:

 

2xq2y𝒟2+2q2yp2zxp2z(3D)22x(2q4y2+p4z2)q2y(p4z2+2x2)

 

=

2xq2y[𝒟2+p4z2(3D)2(2q4y2+p4z2)(p4z2+2x2)]

 

=

2xq2y[q4y2p4z2+x2p4z2+4x2q4y2+p4z2(x2+q4y2+p4z2)2q4y2(p4z2+2x2)p4z2(p4z2+2x2)]

 

=

2xq2y[0]=0.

More Generally

ds2

=

h12[(λ1x)dx+(λ1y)dy+(λ1z)dz]2+h22[(λ2x)dx+(λ2y)dy+(λ2z)dz]2+h32[(λ3x)dx+(λ3y)dy+(λ3z)dz]2

 

=

[γ11dx+γ12dy+γ13dz]2+[γ21dx+γ22dy+γ23dz]2+[γ31dx+γ32dy+γ33dz]2

 

=

dx2[γ112+γ212+γ312]+dy2[γ122+γ222+γ322]+dz2[γ132+γ232dz2+γ332]

 

 

+2dxdy[γ11γ12+γ21γ22+γ31γ32]+2dxdz[γ11γ13+γ21γ23+γ31γ33]+2dydz[γ12γ13+γ22γ23+γ32γ33]

 

=

dx2[s=13γs1γs1]+dy2[s=13γs2γs2]+dz2[s=13γs3γs3]+2dxdy[s=13γs1γs2]+2dxdz[s=13γs1γs3]+2dydz[s=13γs2γs3]

 

=

dx2+dy2+dz2.

The last step of this derivation results from the following series of equations that interrelate the values of various direction cosines:

s=13γsmγsn

=

δmn,

[MF53], §1.3, p. 23, Eq. (1.3.1b)

where δmn is the Kronecker delta function, which is zero when m is not equal to n, unity when m=n.

   

A similar series of summation expressions — with the order of indices flipped — provides additional interrelationships between the values of the various direction cosines, namely,

s=13γmsγns

=

δmn,

[MF53], §1.3, p. 23, Eq. (1.3.1a)

It is particularly easy to validate each member of this set of summation expressions, given that (see above),

g^n

=

ı^γn1+ȷ^γn2+k^γn3.

Each summation expression derives from the dot-product, g^mg^n, and the appreciation that (1) the dot product of any unit vector with itself (i.e., m=n) gives unity, while (2) the dot product of any unit vector with either of its orthogonal partners (i.e., mn) is zero.

For any right-handed orthogonal coordinate system, it can also be shown that the following set of nine tabulated expressions details how each one of the γ's is related to various algebraic combinations of the others.


γ11

=

γ22γ33γ23γ32,

γ12

=

γ23γ31γ21γ33,

γ13

=

γ21γ32γ22γ31,

   

γ21

=

γ32γ13γ33γ12,

γ22

=

γ33γ11γ31γ13,

γ23

=

γ31γ12γ32γ11,

   

γ31

=

γ12γ23γ13γ22,

γ32

=

γ13γ21γ11γ23,

γ33

=

γ11γ22γ12γ21.

[MF53], §1.3, p. 23, Eq. (1.3.2)

Volume Element

γ11

=

γ44γ55γ45γ54,

γ14

=

γ45γ51γ41γ55,

γ15

=

γ41γ54γ44γ51,

   

γ41

=

γ54γ15γ55γ14,

γ44

=

γ55γ11γ51γ15,

γ45

=

γ51γ14γ54γ11,

   

γ51

=

γ14γ45γ15γ44,

γ54

=

γ15γ41γ11γ45,

γ55

=

γ11γ44γ14γ41.


dV=h1h4h5dλ1dλ4dλ5

=

[γ11dx+γ14dy+γ15dz][γ41dx+γ44dy+γ45dz][γ51dx+γ54dy+γ55dz]

 

=

[γ11dx+γ14dy+γ15dz][dx2γ41γ51+dy2γ44γ54+dz2γ45γ55+dxdy(γ41γ54+γ44γ51)+dxdz(γ41γ55+γ45γ51)+dydz(γ44γ55+γ45γ54)]

 

=

dx3γ11γ41γ51+dxdy2γ11γ44γ54+dxdz2γ11γ45γ55+dx2dyγ11(γ41γ54+γ44γ51)+dx2dzγ11(γ41γ55+γ45γ51)+dxdydzγ11(γ44γ55+γ45γ54)]

 

 

+dx2dyγ14γ41γ51+dy3γ14γ44γ54+dydz2γ14γ45γ55+dxdy2γ14(γ41γ54+γ44γ51)+dxdydzγ14(γ41γ55+γ45γ51)+dy2dzγ14(γ44γ55+γ45γ54)]

 

 

+dx2dzγ15γ41γ51+dy2dzγ15γ44γ54+dz3γ15γ45γ55+dxdydzγ15(γ41γ54+γ44γ51)+dxdz2γ15(γ41γ55+γ45γ51)+dydz2γ15(γ44γ55+γ45γ54)]

 

=

dxdydz[γ11(γ44γ55+γ45γ54)+γ14(γ41γ55+γ45γ51)+γ15(γ41γ54+γ44γ51)]+dx3γ11γ41γ51+dy3γ14γ44γ54+dz3γ15γ45γ55

 

 

+dx2dy[γ14γ41γ51+γ11(γ41γ54+γ44γ51)]+dydz2[γ14γ45γ55+γ15(γ44γ55+γ45γ54)]+dxdy2[γ14(γ41γ54+γ44γ51)+γ11γ44γ54]

 

 

+dx2dz[γ15γ41γ51+γ11(γ41γ55+γ45γ51)]+dy2dz[γ15γ44γ54+γ14(γ44γ55+γ45γ54)]+dxdz2[γ15(γ41γ55+γ45γ51)+γ11γ45γ55]


For example, the coefficient of dxdz2

γ15(γ41γ55+γ45γ51)+γ11γ45γ55

=

p2z3D{q2yp2z3D𝒟2[p2z(x2q4y2)]+2xq2y3D𝒟2[x(2q4y2+p4z2)]}{x3D2xq2y3D𝒟2[p2z(x2q4y2)]}

 

=

p2z(3D𝒟)2{q2yp2z[p2z(x2q4y2)]+2xq2y[x(2q4y2+p4z2)]}{2x2q2y[p2z(x2q4y2)]}(3D𝒟)2


And the coefficient of dx3 is:

γ11γ41γ51

=

x3D(q2yp2z𝒟)3D𝒟[x(2q4y2+p4z2)]

 

=

[q2yp2z(2q4y2+p4z2)]x3D𝒟

 

=

[(q4y22q2yp2z+p4z2)+q4y2+q2yp2z]x3D𝒟

 

=

[(q2yp2z)2+q2y(q2y+p2z)]x3D𝒟.

See Also

Tiled Menu

Appendices: | VisTrailsEquations | VisTrailsVariables | References | Ramblings | VisTrailsImages | myphys.lsu | ADS |