Appendix/Ramblings/T9Coordinates

From jetwiki
Revision as of 18:34, 23 July 2021 by Jet53man (talk | contribs) (Created page with "__FORCETOC__ <!-- __NOTOC__ will force TOC off --> =Concentric Ellipsoidal (T8) Coordinates= ==Background== Building on our User:Tohline/Appendix/Ramblings/DirectionCosine...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Concentric Ellipsoidal (T8) Coordinates

Background

Building on our general introduction to Direction Cosines in the context of orthogonal curvilinear coordinate systems, and on our previous development of T3 (concentric oblate-spheroidal) and T5 (concentric elliptic) coordinate systems, here we explore the creation of a concentric ellipsoidal (T8) coordinate system. This is motivated by our desire to construct a fully analytically prescribable model of a nonuniform-density ellipsoidal configuration that is an analog to Riemann S-Type ellipsoids.

Note that, in a separate but closely related discussion, we made attempts to define this coordinate system, numbering the trials up through "T7." In this "T7" effort, we were able to define a set of three, mutually orthogonal unit vectors that should work to define a fully three-dimensional, concentric ellipsoidal coordinate system. But we were unable to figure out what coordinate function, λ3(x,y,z), was associated with the third unit vector. In addition, we found the λ2 coordinate to be rather strange in that it was not oriented in a manner that resembled the classic spherical coordinate system. Here we begin by redefining the λ2 coordinate such that its associated e^3 unit vector lies parallel to the x-y plane.

Realigning the Second Coordinate

The first coordinate remains the same as before, namely,

λ12

=

x2+q2y2+p2z2.

This may be rewritten as,

1

=

(xa)2+(yb)2+(zc)2,

where,

a=λ1,

      

b=λ1q,

      

c=λ1p.

By specifying the value of z=z0<c, as well as the value of λ1, we are picking a plane that lies parallel to, but a distance z0 above, the equatorial plane. The elliptical curve that defines the intersection of the λ1-constant surface with this plane is defined by the expression,

λ12p2z02

=

x2+q2y2

1

=

(xa2D)2+(yb2D)2,

where,

a2D=(λ12p2z02)1/2,

      

b2D=1q(λ12p2z02)1/2.

At each point along this elliptic curve, the line that is tangent to the curve has a slope that can be determined by simply differentiating the equation that describes the curve, that is,

0

=

2xdxa2D2+2ydyb2D2

dydx

=

2xa2D2b2D22y=xq2y.

Δy

=

(xq2y)Δx.

The unit vector that lies tangent to any point on this elliptical curve will be described by the expression,

e^2

=

ı^{Δx[(Δx)2+(Δy)2]1/2}+ȷ^{Δy[(Δx)2+(Δy)2]1/2}

 

=

ı^{1[1+x2/(q4y2)]1/2}ȷ^{x/(q2y)[1+x2/(q4y2)]1/2}

 

=

ı^{q2y[x2+q4y2]1/2}ȷ^{x[x2+q4y2]1/2}.

As we have discovered, the coordinate that gives rise to this unit vector is,

λ2

=

xy1/q2.

Other properties that result from this definition of λ2 are presented in the following table.

Direction Cosine Components for T8 Coordinates
n λn hn λnx λny λnz γn1 γn2 γn3
1 (x2+q2y2+p2z2)1/2 λ13D xλ1 q2yλ1 p2zλ1 (x)3D (q2y)3D (p2z)3D
2 xy1/q2 1λ2[xq2y(x2+q4y2)1/2] λ2x λ2q2y 0 q2y(x2+q4y2)1/2 x(x2+q4y2)1/2 0
3 --- --- --- --- --- --- --- ---

3D

(x2+q4y2+p4z2)1/2

The associated unit vector is, then,

e^2

=

ı^[q2y(x2+q4y2)1/2]ȷ^[x(x2+q4y2)1/2].

It is easy to see that e^2e^2=1. We also see that,

e^1e^2

=

x3D[q2y(x2+q4y2)1/2]q2y3D[x(x2+q4y2)1/2]=0,

so it is clear that these first two unit vectors are orthogonal to one another.

Search for the Third Coordinate

Cross Product of First Two Unit Vectors

The cross-product of these two unit vectors should give the third, namely,

e^3=e^1×e^2

=

ı^[e1ye2ze1ze2y]+ȷ^[e1ze2xe1xe2z]+k^[e1xe2ye1ye2x]

 

=

ı^[xp2z3D(x2+q4y2)1/2]+ȷ^[q2yp2z3D(x2+q4y2)1/2]k^[x23D(x2+q4y2)1/2+q4y23D(x2+q4y2)1/2]

 

=

3D(x2+q4y2)1/2{ı^(xp2z)+ȷ^(q2yp2z)k^(x2+q4y2)}.

Inserting these component expressions into the last row of the T8 Direction Cosine table gives …

Direction Cosine Components for T8 Coordinates
n λn hn λnx λny λnz γn1 γn2 γn3
1 (x2+q2y2+p2z2)1/2 λ13D xλ1 q2yλ1 p2zλ1 (x)3D (q2y)3D (p2z)3D
2 xy1/q2 1λ2[xq2y(x2+q4y2)1/2] λ2x λ2q2y 0 q2y(x2+q4y2)1/2 x(x2+q4y2)1/2 0
3 --- --- --- --- --- xp2z3D(x2+q4y2)1/2 q2yp2z3D(x2+q4y2)1/2 (x2+q4y2)3D(x2+q4y2)1/2

3D

(x2+q4y2+p4z2)1/2,


Associated h3 Scale Factor

Whiteboard EUREKA moment

After working through various scenarios on my whiteboard today (21 January 2021), I propose that,

λ3x

=

xp2z(x2+q4y2);

       

λ3y

=

q2yp2z(x2+q4y2);

        and        

λ3z

=

1.

This means that,

h32

=

i=13(λ3xi)2

 

=

[xp2z(x2+q4y2)]2+[q2yp2z(x2+q4y2)]2+[1]2

 

=

p4z2(x2+q4y2)(x2+q4y2)2+1

 

=

(x2+q4y2+p4z2)(x2+q4y2)

 

=

13D2(x2+q4y2)

h3

=

3D(x2+q4y2)1/2.

This seems to work well because, when combined with the three separate expressions for λ3/xi, this single expression for h3 generates all three components of the third unit vector, that is, all three direction cosines, γ3i. All of the elements of this new "EUREKA moment" result have been entered into the following table.


Direction Cosine Components for T8 Coordinates
n λn hn λnx λny λnz γn1 γn2 γn3
1 (x2+q2y2+p2z2)1/2 λ13D xλ1 q2yλ1 p2zλ1 (x)3D (q2y)3D (p2z)3D
2 xy1/q2 1λ2[xq2y(x2+q4y2)1/2] λ2x λ2q2y 0 q2y(x2+q4y2)1/2 x(x2+q4y2)1/2 0
3 --- 3D(x2+q4y2)1/2 xp2z(x2+q4y2) q2yp2z(x2+q4y2) 1 xp2z3D(x2+q4y2)1/2 q2yp2z3D(x2+q4y2)1/2 (x2+q4y2)3D(x2+q4y2)1/2

3D

(x2+q4y2+p4z2)1/2


What is the Third Coordinate Function, λ3

The remaining $64,000 question is, "What is the actual expression for λ3(x,y,z)  ?  "

Notice that the (partial) derivatives of λ3 with respect to x and y may be rewritten, respectively, in the form

(q2yp2z)λ3x

=

q2yx(1+η2)=η(1+η2),       and,

(xp2z)λ3y

=

q2yx(1+η2)=η(1+η2),

where,

η

q2yxlnηlnx=1,lnηlny=+1.

Then, after searching through the CRC Mathematical Handbook's pages of familiar derivative expressions, we appreciate that

ddxi[1coshγ]

=

[tanhγcoshγ]dγdxi.

Hence, it will be useful to adopt the mapping,

η

sinhγ,

because the right-hand side of both partial-derivative expressions becomes,

η(1+η2)

sinhγcosh2γ=tanhγcoshγ.

Guess A

In particular, this suggests that we set,

λ3

=

Acoshγ,

where,

γ

sinh1η=±cosh1[η2+1]1/2.

In other words,

λ3

=

A[η2+1]1/2.

Let's check the first and second partial derivatives.

λ3x

=

A2[2η(η2+1)3/2]ηx

Guess B

What if,

λ3

=

12ln(1+η2).

Then,

dλ3dη

=

η(1+η2),

in which case we find,

λ3xi

=

dλ3dηηxi

which means,

λ3x

=

η(1+η2)[q2yx2]=x(x2+q4y2)[q4y2x2].

Guess C

What if,

λ3

=

12ln(1+η2).

Then,

dλ3dη

=

η3(1+η2)=η1(1+η2)

in which case we find,

λ3xi

=

dλ3dηηxi

which means,

λ3x

=

η1(1+η2)[q2yx2]=x(x2+q4y2);

and,

λ3y

=

η1(1+η2)[q2x]=x2y(x2+q4y2)

Inverting Coordinate Relations

In a Plane Perpendicular to the Z-Axis

General Case

At a fixed value of z=z0, let's invert the λ1(x,y) and λ2(x,y) relations to obtain expressions for x(λ1,λ2) and y(λ1,λ2). Perhaps this will help us determine what the third coordinate expression should be.

We start with,

λ1

(x2+q2y2+p2z02)1/2;

λ2

xy1/q2.

This means that,

lny

=

q2(lnxlnλ2),

and,

q2y2

=

(λ12p2z02)x2

2lny

=

ln{1q2[(λ12p2z02)x2]}.

Together, this gives,

ln{1q2[(λ12p2z02)x2]}

=

2q2(lnxlnλ2)

 

=

ln[xλ2]2q2

(λ12p2z02)x2

=

q2[xλ2]2q2

x2+q2[xλ2]2q2+(p2z02λ12)

=

0.

What if Axisymmetric (q2 = 1)

In an axisymmetric configuration, q2=1 and (λ12p2z02)=ϖ2, so this general expression for x becomes,

0

=

x2+[xλ2]2ϖ2

 

=

x2[1+λ22λ22]ϖ2

x

=

ϖ[λ221+λ22]1/2.

Given that, for axisymmetric systems,

x

=

ϖcosφ,

we conclude that when q2=1,

[λ221+λ22]1/2

=

cosφ

λ22

=

cot2φ

What if q2 = 2

For example, if we choose q2=2, we have a quadratic expression for x2, namely,

0

=

x2+2[xλ2]4+(p2z02λ12)

0

=

x4+12λ24x2+12λ24(p2z02λ12)

2x2

=

λ242±[λ2842λ24(p2z02λ12)]1/2

 

=

λ242{[18(p2z02λ12)λ24]1/21}

x2

=

λ244{[18(p2z02λ12)λ24]1/21}.

Given that, for q2=2, one of the two defining expression means, λ2=x/y, we also have,

y

=

λ224{[18(p2z02λ12)λ24]1/21}.

New 2nd Coordinate

Apparently it will be cleaner to define a new "2nd coordinate," κ2, such that,

κ22q2

q2[1λ2]2q2

κ2

q1/q2[1λ2]=q1/q2[y1/q2x]=(qy)1/q2x.

(With this new definition, κ2tanφ; it is exactly this when q2=1.) Then we can rewrite the last expression from the above general case as,

x2+(κ2x)2q2(λ12p2z02)

=

0.

When q=1 (the axisymmetric case), this gives,

x2(1+κ22)

=

(λ12p2z02)

x2(λ12p2z02)

=

1(1+κ22),

which means that κ2=tanφ. And, for the case of q2=2, after making the substitution,

λ2(q)1/q2κ21=21/4κ2,

we find,

x2

=

λ244{[18(p2z02λ12)λ24]1/21}.

x2

=

12κ24{[1+4κ24(λ12p2z02)]1/21},

and,

y=(κ2221/2)x2

=

(κ2221/2)12κ24{[1+4κ24(λ12p2z02)]1/21}

 

=

123/2κ22{[1+4κ24(λ12p2z02)]1/21}.

Angle Between Unit Vectors

We begin by restating that the coordinate, scale factor, and unit vector associated with the normal to our ellipsoidal surface are,

λ1

(x2+q2y2+p2z2)1/2,

h1

=

λ13D,

e^1

=

ı^(x3D)+ȷ^(q2y3D)+k^(p2z3D).

In the Table below titled, "Direction Cosines Components for κ8 Coordinates", there are two fully-formed unit vectors that are each orthogonal to the (first) unit vector that is normal to the ellipsoid's surface. Here we will refer to the coordinates of these two fully-formed unit vectors as,

λ2

xy1/q2z2/p2

      and,      

κ2

(qy)1/q2x.

The associated scale factors and unit vectors are given by the following expressions:

hλ22

=

(λ2x)2+(λ2y)2+(λ2z)2

 

=

(λ2x)2+(λ2q2y)2+(2λ2p2z)2

 

=

λ22[q4y2p4z2+x2p4z2+4x2q4y2x2q4y2p4z2]

hλ2

=

xq2yp2zλ2𝒟

e^λ2

=

ı^[hλ2(λ2x)]+ȷ^[hλ2(λ2y)]+k^[hλ2(λ2z)]

 

=

ı^[q2yp2z𝒟]+ȷ^[xp2z𝒟]k^[2xq2y𝒟].


With regard to orthogonality, note that,

e^1e^λ2

=

[ı^(x3D)+ȷ^(q2y3D)+k^(p2z3D)]{ı^[q2yp2z𝒟]+ȷ^[xp2z𝒟]k^[2xq2y𝒟]}

 

=

(x3D)[q2yp2z𝒟]+(q2y3D)[xp2z𝒟](p2z3D)[2xq2y𝒟]

 

=

0.


And,

hκ22

=

(κ2x)2+(κ2y)2+(κ2z)2

 

=

(κ2x)2+(κ2q2y)2=κ22x2q4y2[x2+q4y2]

hκ2

=

xq2yκ2(x2+q4y2)1/2

e^κ2

=

ı^[q2y(x2+q4y2)1/2]+ȷ^[x(x2+q4y2)1/2]+k^[0].


Again, note that with regard to orthogonality,

e^1e^κ2

=

[ı^(x3D)+ȷ^(q2y3D)+k^(p2z3D)]{ı^[q2y(x2+q4y2)1/2]+ȷ^[x(x2+q4y2)1/2]}

 

=

(x3D)[q2y(x2+q4y2)1/2]+(q2y3D)[x(x2+q4y2)1/2]

 

=

0.


From this pair of orthogonality checks, we appreciate that both unit vectors always lie in the plane that is tangent to the surface of our ellipsoid. Next, let's determine the angle, α, between these two unit vectors as measured in the relevant tangent-plane.

cosαe^λ2e^κ2

=

{ı^[q2yp2z𝒟]+ȷ^[xp2z𝒟]k^[2xq2y𝒟]}{ı^[q2y(x2+q4y2)1/2]+ȷ^[x(x2+q4y2)1/2]+k^[0]}

 

=

[q2y(x2+q4y2)1/2][q2yp2z𝒟]+[x(x2+q4y2)1/2][xp2z𝒟]

 

=

[p2z𝒟(x2+q4y2)1/2][x2q4y2].




Let's again visit the unit vector that we know lies in the tangent-plane and is always orthogonal to λ2, namely,

e^λ3

=

ı^[x(2q4y2+p4z2)]3D𝒟+ȷ^[q2y(p4z2+2x2)]3D𝒟+k^[p2z(x2q4y2)]3D𝒟.

We acknowledge that,

e^λ2e^λ3

=

{ı^[q2yp2z𝒟]+ȷ^[xp2z𝒟]k^[2xq2y𝒟]}{ı^[x(2q4y2+p4z2)]3D𝒟+ȷ^[q2y(p4z2+2x2)]3D𝒟+k^[p2z(x2q4y2)]3D𝒟}

 

=

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

 

=

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

 

=

0.

Kappa (κ8) Coordinates

κ1

(x2+q2y2+p2z2)1/2;

κ3

tan1[(qy)1/q2x].

κ3x

=

[1+(qy)2/q2x2]1[(qy)1/q2x2]

 

=

sin2κ3(qy)1/q2=sin2κ3xtanκ3

 

=

sinκ3cosκ3x.

κ3y

=

[1+(qy)2/q2x2]1[q1/q2y1/q2q2xy]

 

=

[1+(qy)2/q2x2]1[(qy)1/q2x]1q2y

 

=

1q2y[tanκ31+tan2κ3]

 

=

+sinκ3cosκ3q2y.

Therefore,

h32

=

[sinκ3cosκ3x]2+[sinκ3cosκ3q2y]2

 

=

(x2+q4y2)[sinκ3cosκ3xq2y]2

h3

=

(x2+q4y2)1/2[xq2ysinκ3cosκ3].


 

Direction Cosine Components for κ8 Coordinates
n κn hn κnx κny κnz γn1 γn2 γn3
1 (x2+q2y2+p2z2)1/2 κ13D xκ1 q2yκ1 p2zκ1 (x)3D (q2y)3D (p2z)3D
2 --- 3D(x2+q4y2)1/2 xp2z(x2+q4y2) q2yp2z(x2+q4y2) 1 xp2z3D(x2+q4y2)1/2 q2yp2z3D(x2+q4y2)1/2 (x2+q4y2)3D(x2+q4y2)1/2
3 tan1[(qy)1/q2x] 1sinκ3cosκ3[xq2y(x2+q4y2)1/2] sinκ3cosκ3x sinκ3cosκ3q2y 0 q2y(x2+q4y2)1/2 x(x2+q4y2)1/2 0

3D

(x2+q4y2+p4z2)1/2

4 xy1/q2z2/p2 1κ4[xq2yp2z𝒟] κ4x κ4q2y 2κ4p2z xq2yp2z𝒟(1x) xq2yp2z𝒟(1q2y) xq2yp2z𝒟(2p2z)
5 --- --- --- --- --- 3D𝒟[x(2q4y2+p4z2)] 3D𝒟[q2y(p4z2+2x2)] 3D𝒟[p2z(x2q4y2)]

𝒟

(q4y2p4z2+x2p4z2+4x2q4y2)1/2.

Also note …

AB(𝒟3D)2

=

[x(2q4y2+p4z2)]2+[q2y(p4z2+2x2)]2+[p2z(x2q4y2)]2,

and the partial derivatives of A and B are detailed in an accompanying discussion.

The direction-cosines of the second unit vector — as has already been inserted into the "κ8 coordinates" table — should be obtainable from the first and third unit vectors via the cross product,

e^2=e^3×e^1

=

ı^[e3ye1ze3ze1y]+ȷ^[e3ze1xe3xe1z]+k^[e3xe1ye3ye1x]

 

=

ı^[x(p2z)3D(x2+q4y2)1/2]+ȷ^[q2y(p2z)3D(x2+q4y2)1/2]k^[(x2+q4y2)3D(x2+q4y2)1/2].

The other boxes in the n = 2 row have been drawn from our accompanying EUREKA! moment and the n = 3 row of the table that details "Direction Cosine Components for T8 Coordinates."

Attempt 1

Let's try …

κ2

tan1[x(qy)1/q2(pz)1/p2],

which leads to,

κ3x

=

[1+x2(qy)2/q2(pz)2/p2]1[(qy)1/q2(pz)1/p2]

 

=

1x[1+tan2κ2]1tanκ2=sinκ2cosκ2x;

κ3y

=

[1+x2(qy)2/q2(pz)2/p2]1[xq1/q2(y)1/q2q2y(pz)1/p2]

 

=

1q2y[1+tan2κ2]1tanκ2=sinκ2cosκ2q2y;

κ3z

=

sinκ2cosκ2p2z.

Hence,

h22

=

sin2κ2cos2κ2[1x2+1q4y2+1p4z2]

 

=

sin2κ2cos2κ2[x2+q4y2+p4z2x2q4y2p4z2]=[sin2κ2cos2κ2x2q4y2p4z23D2]

h2

=

[xq2yp2z3Dsinκ2cosκ2].

The three direction-cosines are, then,

γ21=h2(κ2x)

=

[xq2yp2z3Dsinκ2cosκ2]sinκ2cosκ2x=q2yp2z3D.

T9 Coordinates

Establish 1st and 3rd Coordinates

λ1

(x2+q2y2+p2z2)1/2,

λ3

[q2yxq2]1/(q21)=q2/(q21)y1/(q21)xq2/(1q2).

λ3x

=

(q21q2)λ3x,

λ3y

=

(1q21)λ3y,

h32

=

[(q21q2)λ3x]2+[(1q21)λ3y]2=λ32(q21)2[x2+q4y2x2y2]

h3

=

(q21)λ3[xy(x2+q4y2)1/2].

Hence, the three direction-cosines are,

γ31=h3(λ3x)

=

(q21)λ3[xy(x2+q4y2)1/2](q21q2)λ3x=[q2y(x2+q4y2)1/2],

γ32=h3(λ3y)

=

(q21)λ3[xy(x2+q4y2)1/2](1q21)λ3y=[x(x2+q4y2)1/2].

And the position vector is given by the expression,

x

=

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

 

=

e^1[x23D+q2y23D+p2z23D]+e^2(γ21x+γ22y+γ23z)+e^3[q2xy(x2+q4y2)1/2+xy(x2+q4y2)1/2]

 

=

e^1[λ123D]+e^2(γ21x+γ22y+γ23z)e^3[(q21)xy(x2+q4y2)1/2].

Guess 2nd Coordinate

Unspecified Coefficients

λ2

(ax2+by2+ez2)1/2(ax2+by2)1/2

 

=

[(ax2+by2)(ax2+by2+ez2)]1/2

 

=

[1+ez2(ax2+by2)]1/2.

λ2x

=

12[1+ez2(ax2+by2)]3/2x[ez2(ax2+by2)1]

 

=

ez22[1+ez2(ax2+by2)]3/2(1)[(ax2+by2)2]2ax

 

=

axez2(ax2+by2)2[1+ez2(ax2+by2)]3/2

 

=

axez2λ23(ax2+by2)2,

λ2y

=

12[1+ez2(ax2+by2)]3/2y[ez2(ax2+by2)1]

 

=

ez22[1+ez2(ax2+by2)]3/2(1)[(ax2+by2)2]2by

 

=

byez2(ax2+by2)2[1+ez2(ax2+by2)]3/2

 

=

byez2λ23(ax2+by2)2,

λ2z

=

12[1+ez2(ax2+by2)]3/2z[ez2(ax2+by2)1]

 

=

ezλ23(ax2+by2).

Hence,

h22

=

[axez2λ23(ax2+by2)2]2+[byez2λ23(ax2+by2)2]2+[ezλ23(ax2+by2)]2

 

=

[ezλ23(ax2+by2)2]2[(axz)2+(byz)2+(ax2+by2)2]

h2

=

[(ax2+by2)2ezλ23][(axz)2+(byz)2+(ax2+by2)2]1/2.

The three direction-cosines are, then,

γ21=h2(λ2x)

=

axez2λ23(ax2+by2)2[(ax2+by2)2ezλ23][(axz)2+(byz)2+(ax2+by2)2]1/2

 

=

axz[(axz)2+(byz)2+(ax2+by2)2]1/2

γ22=h2(λ2y)

=

byez2λ23(ax2+by2)2[(ax2+by2)2ezλ23][(axz)2+(byz)2+(ax2+by2)2]1/2

 

=

byz[(axz)2+(byz)2+(ax2+by2)2]1/2

γ23=h2(λ2z)

=

ezλ23(ax2+by2)[(ax2+by2)2ezλ23][(axz)2+(byz)2+(ax2+by2)2]1/2

 

=

(ax2+by2)[(axz)2+(byz)2+(ax2+by2)2]1/2.

Direction Cosine Components for T9 Coordinates
n λn hn λnx λny λnz γn1 γn2 γn3
(1) (2) (3) (4) (5) (6) (7) (8) (9)
1 (x2+q2y2+p2z2)1/2 λ13D xλ1 q2yλ1 p2zλ1 (x)3D (q2y)3D (p2z)3D
2A --- 3D(x2+q4y2)1/2 xp2z(x2+q4y2) q2yp2z(x2+q4y2) 1 xp2z3D(x2+q4y2)1/2 q2yp2z3D(x2+q4y2)1/2 (x2+q4y2)3D(x2+q4y2)1/2
2B [1+ez2(ax2+by2)]1/2 [(ax2+by2)2ezλ23]𝔍2B axez2λ23(ax2+by2)2 byez2λ23(ax2+by2)2 ezλ23(ax2+by2) axz𝔍2B byz𝔍2B (ax2+by2)𝔍2B
3 [q2yxq2]1/(q21) (q21)xyλ3(x2+q4y2)1/2 (q2q21)λ3x (q2q21)λ3q2y 0 q2y(x2+q4y2)1/2 x(x2+q4y2)1/2 0

3D

(x2+q4y2+p4z2)1/2,

𝔍02(x2+q4y2)3D2

=

[(xp2z)2+(q2yp2z)2+(x2+q4y2)2],

𝔍2B

[(axz)2+(byz)2+(ax2+by2)2]1/2.


This table titled, "Direction Cosine Components for T9 Coordinates," contains the following information:

  1. The (first) row labeled, n=1, correctly details the scale-factor, h1, and the unit vector expression, e^1=(ı^γ11+ȷ^γ12+k^γ13), that result from the given specification of the λ1 coordinate. By design, the unit vector, e^1, is everywhere normal to the "surface" of the ellipsoid.
  2. The (fourth) row labeled, n=3, correctly details the scale-factor, h3, and the unit vector expression, e^3=(ı^γ31+ȷ^γ32+k^γ33), that result from the given specification of the λ2 coordinate. By design, this unit vector, e^3, has no vertical component — that is, γ33=0 — and, by design, it is everywhere perpendicular to the "surface-normal" unit vector, e^1.
  3. We desire a unit vector, e^2, that is mutually orthogonal to the other two unit vectors; this has been accomplished by examining their cross-product, namely, we have set e^2A=e^3×e^1. Determined in this manner, the expressions for the three direction-cosine components of e^2A have been written in the last three columns of the (second) row labeled, n=2A. While we are confident that the correct specification of e^2 is,

    e^2A=(ı^γ21+ȷ^γ22+k^γ23)

    =

    ı^(xp2z)𝔍0+ȷ^(q2yp2z)𝔍0k^(x2+q4y2)𝔍0,

    as yet (18 February 2021), we have been unable to determine an expression for the coordinate, λ2A(x,y,z), from which all three of these direction-cosine expressions can be simultaneously derived — hence, the dashes in the second column of row 2A. The expression for h2A that has been presented in the third column of row 2A (and framed in pink) is a guess which, when divided into each of the three direction cosines, gives respectively the three guessed partial-derivative expressions shown in columns 4, 5, and 6 of row 2A.

  4. The second column of row 2B contains a guess (framed in yellow) for the coordinate expression, λ2B; this expression contains three unspecified scalar coefficients, a, b and e. The remaining columns of this row contain the three partial derivatives, the associated scale factor, and the three direction cosines that result from this guessed coordinate expression. If we can find values of the three scalar coefficients that give (row 2B) expressions for the three direction cosines that perfectly match the direction cosines written in row 2A, then we will be able to state that λ2B is — at least one form of — our sought-after third coordinate expression.

Yellow-Framed Guess 2B

Referencing the 2B table row, above, we are looking for coefficient values that map,

axzxp2z,

     

byzq2yp2z,

     

(ax2+by2)(x2+q4y2),

and that map,

𝔍2B[(axz)2+(byz)2+(ax2+by2)2]1/2

=

[z2(a2x2+b2y2)+(ax2+by2)2]1/2,

into the expression,

𝔍03D(x2+q4y2)1/2

=

[(x2+q4y2+p4z2)(x2+q4y2)]1/2

 

=

[p4z2(x2+q4y2)+(x2+q4y2)2]1/2

 

=

[x2p4z2+q4y2p4z2+(x2+q4y2)2]1/2.

A portion of these mappings are accomplished by setting a=p2 and b=q2p2, but this pair of specified coefficient values does not satisfy other mappings. Alternatively, a separate subset of mappings — but, again, not all mappings — is satisfied by setting a=1 and b=q4. So the yellow-framed guess 2B does not provide a correct second-coordinate expression.

Blue-Framed Guess 2C

Let's try,

λ2B

=

(cz)2e(ax2+by2)f.


Direction Cosine Components for Additional T9 Coordinate Guesses
n
 
(1)
λn
 
(2)
hn
 
(3)
λn/x
 
(4)
λn/y
 
(5)
λn/z
 
(6)
γn1
 
(7)
γn2
 
(8)
γn3
 
(9)
2A --- --- --- --- --- xp2z𝔍0 q2yp2z𝔍0 (x2+q4y2)𝔍0
2B [1+ez2(ax2+by2)]1/2 [(ax2+by2)2ezλ23]𝔍2B axez2λ23(ax2+by2)2 byez2λ23(ax2+by2)2 ezλ23(ax2+by2) axz𝔍2B byz𝔍2B (ax2+by2)𝔍2B
2C (cz)2e(ax2+by2)f [z(ax2+by2)2eλ2C]𝔍2C 2afxλ2C(ax2+by2) 2bfyλ2C(ax2+by2) 2eλ2Cz (afxze)𝔍2C (bfyze)𝔍2C (ax2+by2)𝔍2C

3D

(x2+q4y2+p4z2)1/2,

𝔍02(x2+q4y2)3D2

=

[(xp2z)2+(q2yp2z)2+(x2+q4y2)2],

𝔍2B

[(axz)2+(byz)2+(ax2+by2)2]1/2,

𝔍2C

[(xz)2(fae)2+(yz)2(fbe)2+(ax2+by2)2]1/2.


Examining just the expression for 𝔍2C, we see that we definitely need: a=1 and b=q4. Also, we need,

afe

=

p2

       

fe

=

p2;

and, separately we need,

fbe

=

q2p2

       

fe

=

p2q2.

These cannot simultaneously be satisfied. So the blue-framed guess 2C does not provide a correct second-coordinate expression. But we are very close! We need one additional scalar coefficient degree of freedom.

Next Thought

More generally, this leads to an expression for the scale-factor of the form,

h22

𝔊(x,y,z)[x2p4z2+q4y2p4z2+(x2+q4y2)2]

λ2x

[𝔊(x,y,z)]1/2[xp2z];

     

λ2y

[𝔊(x,y,z)]1/2[q2yp2z];

     

λ2z

[𝔊(x,y,z)]1/2[x2+q4y2].



Now, if we set, a=p2 and b=q2p2, we have,

(axz)2+(byz)2+(ax2+by2)2

=

(xp2z)2+(q2p2yz)2+(p2x2+q2p2y2)2

 

=

p4[q4y2z2+x2z2+(x2+q2y2)2],

in which case,

Complete Orthogonality Check

If the set of unit vectors is indeed orthogonal, then we must find that,

γmn

=

Mmn,

where the quantity Mmn is the minor of γmn in the determinant, |γmn|. (Note: This last expression is true only for right-handed coordinate systems. If the coordinate system is left-handed, we should find, γmn=Mmn.) More specifically, for any right-handed, orthogonal curvilinear coordinate system we should find:

γ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.

and the position vector is,

x

=

ı^x+ȷ^y+k^z

 

=

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

For (κ1, κ2, κ3)

γ22γ33γ23γ32

=

[q2yp2z3D(x2+q4y2)1/2][0]+[(x2+q4y2)3D(x2+q4y2)1/2][x(x2+q4y2)1/2]=x3D=γ11.       Yes!

γ23γ31γ21γ33

=

[(x2+q4y2)1/23D][q2y(x2+q4y2)1/2][xp2z3D(x2+q4y2)1/2][0]=q2y3D=γ12.       Yes!

γ21γ32γ22γ31

=

[xp2z3D(x2+q4y2)1/2][x(x2+q4y2)1/2]+[q2yp2z3D(x2+q4y2)1/2][q2y(x2+q4y2)1/2]

 

=

[x2p2z3D(x2+q4y2)]+[q4y2p2z3D(x2+q4y2)]=p2z3D=γ13.       Yes!

γ32γ13γ33γ12

=

[x(x2+q4y2)1/2][p2z3D][0][q2y3D]=[xp2z3D(x2+q4y2)1/2]=γ21.       Yes!

γ33γ11γ31γ13

=

[0][x3D]+[q2y(x2+q4y2)1/2][p2z3D]=[q2yp2z3D(x2+q4y2)1/2]=γ22.       Yes!

γ31γ12γ32γ11

=

[q2y(x2+q4y2)1/2][q2y3D][x(x2+q4y2)1/2][x3D]=(x2+q4y2)1/23D=γ23.       Yes!

γ12γ23γ13γ22

=

[q2y3D][(x2+q4y2)1/23D][p2z3D][q2yp2z3D(x2+q4y2)1/2]

 

=

q2y3D2(x2+q4y2)1/2[x2+q4y2+p4z2]=q2y(x2+q4y2)1/2=γ31.       Yes!

γ13γ21γ11γ23

=

[p2z3D][xp2z3D(x2+q4y2)1/2]+[x3D][(x2+q4y2)1/23D]

 

=

x3D2(x2+q4y2)1/2[x2+q4y2+p4z2]=x(x2+q4y2)1/2=γ32.       Yes!

γ11γ22γ12γ21

=

[x3D][q2yp2z3D(x2+q4y2)1/2][q2y3D][xp2z3D(x2+q4y2)1/2]=0=γ33.       Yes!

Given that the prescribed interrelationships between all nine direction cosines are satisfied, we conclude that the (κ1,κ2,κ3) coordinate system is an orthogonal one. Accordingly, the position vector is,

x

=

e^1{x23D+q2y23D+p2z23D}

 

 

+e^2{x2+q2y21p2(x2+q4y2)}p2z3D(x2+q4y2)1/2

 

 

+e^3{xq2y(x2+q4y2)1/2+xy(x2+q4y2)1/2}

 

=

e^1[κ123D]+e^2[x2+q2y21p2(x2+q4y2)]p2z3D(x2+q4y2)1/2+e^3[(1q2)xy(x2+q4y2)1/2]

 

=

e^1[κ123D]+e^2[x2(11p2)q2y2(q21)]p2z3D(x2+q4y2)1/2e^3[(q21)xy(x2+q4y2)1/2].

For (κ1, κ4, κ5)

γ42γ53γ43γ52

=

[xq2yp2z𝒟(1q2y)][p2z3D𝒟(x2q4y2)]+[xq2yp2z𝒟(2p2z)][q2y3D𝒟(p4z2+2x2)]

 

=

x3D𝒟2[(x2q4y2)p4z2+(p4z2+2x2)2q4y2]

 

=

x3D𝒟2[x2p4z2+4x2q4y2+q4y2p4z2]=x3D=γ11.       Yes!

γ43γ51γ41γ53

=

[xq2yp2z𝒟(2p2z)][x3D𝒟(2q4y2+p4z2)][xq2yp2z𝒟(1x)][p2z3D𝒟(x2q4y2)]

 

=

q2y3D𝒟2[2x2(2q4y2+p4z2)p4z2(x2q4y2)]

 

=

q2y3D𝒟2[4x2q4y2+x2p4z2+q4y2p4z2]=q2y3D=γ12.       Yes!

γ41γ52γ42γ51

=

[xq2yp2z𝒟(1x)][q2y3D𝒟(p4z2+2x2)]+[xq2yp2z𝒟(1q2y)][x3D𝒟(2q4y2+p4z2)]

 

=

p2z3D𝒟2[q4y2(p4z2+2x2)+x2(2q4y2+p4z2)]

 

=

p2z3D𝒟2[q4y2p4z2+4x2q4y2+x2p4z2]=p2z3D=γ13.       Yes!

γ52γ13γ53γ12

=

[q2yp2z3D2𝒟(p4z2+2x2)][q2yp2z3D2𝒟(x2q4y2)]

 

=

q2yp2z3D2𝒟[x2+q4y2+p4z2]=q2yp2z𝒟=γ41.       Yes!

γ53γ11γ51γ13

=

[xp2z3D2𝒟(x2q4y2)]+[xp2z3D2𝒟(2q4y2+p4z2)]

 

=

xp2z3D2𝒟[x2+q4y2+p4z2]=xp2z𝒟=γ42.       Yes!

γ51γ12γ52γ11

=

[xq2y3D2𝒟(2q4y2+p4z2)][xq2y3D2𝒟(p4z2+2x2)]

 

=

2xq2y3D2𝒟[x2+q4y2+p4z2]=2xq2y𝒟=γ43.       Yes!

γ12γ43γ13γ42

=

[2xq4y23D𝒟][xp4z23D𝒟]=[x3D𝒟](2q4y2+p4z2)=γ51.       Yes!

γ13γ41γ11γ43

=

[q2yp4z23D𝒟]+[2x2q2y3D𝒟]=[q2y3D𝒟](p4z2+2x2)=γ52.       Yes!

γ11γ42γ12γ41

=

[x2p2z3D𝒟][q4y2p2z3D𝒟]=[p2z3D𝒟](x2q4y2)=γ53.       Yes!

Given that the prescribed interrelationships between all nine direction cosines are satisfied, we conclude that the (κ1,κ4,κ5) coordinate system is an orthogonal one. Accordingly, the position vector is,

x

=

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

 

=

e^1{x23D+q2y23D+p2z23D}

 

 

+e^2{xq2yp2z𝒟+xyp2z𝒟2xq2yz𝒟}

 

 

+e^3{3Dx2𝒟(2q4y2+p4z2)+3Dq2y2𝒟(p4z2+2x2)+3Dp2z2𝒟(x2q4y2)}

 

=

e^1{κ123D}+e^2{q2p2+p22q2}xyz𝒟

 

 

+e^3{x2(2q4y2+p4z2)+q2y2(p4z2+2x2)+p2z2(x2q4y2)}3D𝒟

 

=

e^1{κ123D}+e^2{q2p2+p22q2}xyz𝒟e^3{2x2q2y2(q21)+x2p2z2(p21)+q2y2p2z2(q2p2)}3D𝒟.

See Also


Tiled Menu

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