Appendix/Ramblings/ConcentricEllipsoidalT8Coordinates

From jetwiki
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.

See Also


Tiled Menu

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