Appendix/Ramblings/ConcentricEllipsoidalT8Coordinates

From JETohlineWiki
Jump to navigation Jump to search

Concentric Ellipsoidal (T8) Coordinates[edit]

Background[edit]

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[edit]

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,

λ12−p2z02

=

x2+q2y2

⇒1

=

(xa2D)2+(yb2D)2,

where,

a2D=(λ12−p2z02)1/2,

      

b2D=1q(λ12−p2z02)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

=

−2xa2D2⋅b2D22y=−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 ∂λn∂x ∂λn∂y ∂λn∂z γn1 γn2 γn3
1 (x2+q2y2+p2z2)1/2 λ1ℓ3D 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^2⋅e^2=1. We also see that,

e^1⋅e^2

=

xℓ3D[q2y(x2+q4y2)1/2]−q2yℓ3D[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[edit]

Cross Product of First Two Unit Vectors[edit]

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

e^3=e^1×e^2

=

ı^[e1ye2z−e1ze2y]+ȷ^[e1ze2x−e1xe2z]+k^[e1xe2y−e1ye2x]

 

=

ı^[xp2zℓ3D(x2+q4y2)1/2]+ȷ^[q2yp2zℓ3D(x2+q4y2)1/2]−k^[x2ℓ3D(x2+q4y2)1/2+q4y2ℓ3D(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 ∂λn∂x ∂λn∂y ∂λn∂z γn1 γn2 γn3
1 (x2+q2y2+p2z2)1/2 λ1ℓ3D 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 --- --- --- --- --- xp2zℓ3D(x2+q4y2)1/2 q2yp2zℓ3D(x2+q4y2)1/2 −(x2+q4y2)ℓ3D(x2+q4y2)1/2

ℓ3D

≡

(x2+q4y2+p4z2)−1/2,


Associated h3 Scale Factor[edit]

Whiteboard EUREKA moment

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

∂λ3∂x

=

xp2z(x2+q4y2);

       

∂λ3∂y

=

q2yp2z(x2+q4y2);

        and        

∂λ3∂z

=

−1.

This means that,

h3−2

=

∑i=13(∂λ3∂xi)2

 

=

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

 

=

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

 

=

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

 

=

1ℓ3D2(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 ∂λn∂x ∂λn∂y ∂λn∂z γn1 γn2 γn3
1 (x2+q2y2+p2z2)1/2 λ1ℓ3D 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 xp2zℓ3D(x2+q4y2)1/2 q2yp2zℓ3D(x2+q4y2)1/2 −(x2+q4y2)ℓ3D(x2+q4y2)1/2

ℓ3D

≡

(x2+q4y2+p4z2)−1/2

What is the Third Coordinate Function, λ3[edit]

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)∂λ3∂x

=

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

(xp2z)∂λ3∂y

=

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

where,

η

≡

q2yx⇒∂ln⁡η∂ln⁡x=−1,∂ln⁡η∂ln⁡y=+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[edit]

In particular, this suggests that we set,

λ3

=

Acosh⁡γ,

where,

γ

≡

sinh−1η=±cosh−1[η2+1]1/2.

In other words,

λ3

=

A[η2+1]−1/2.

Let's check the first and second partial derivatives.

∂λ3∂x

=

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

Guess B[edit]

What if,

λ3

=

12ln⁡(1+η2).

Then,

dλ3dη

=

η(1+η2),

in which case we find,

∂λ3∂xi

=

dλ3dη⋅∂η∂xi

which means,

∂λ3∂x

=

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

Guess C[edit]

What if,

λ3

=

12ln⁡(1+η−2).

Then,

dλ3dη

=

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

in which case we find,

∂λ3∂xi

=

dλ3dη⋅∂η∂xi

which means,

∂λ3∂x

=

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

and,

∂λ3∂y

=

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

Inverting Coordinate Relations[edit]

In a Plane Perpendicular to the Z-Axis[edit]

General Case[edit]

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,

ln⁡y

=

q2(ln⁡x−ln⁡λ2),

and,

q2y2

=

(λ12−p2z02)−x2

⇒2ln⁡y

=

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

Together, this gives,

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

=

2q2(ln⁡x−ln⁡λ2)

 

=

ln⁡[xλ2]2q2

⇒(λ12−p2z02)−x2

=

q2[xλ2]2q2

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

=

0.

What if Axisymmetric (q2 = 1)[edit]

In an axisymmetric configuration, q2=1 and (λ12−p2z02)=ϖ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[edit]

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±[λ284−2λ24(p2z02−λ12)]1/2

 

=

λ242{[1−8(p2z02−λ12)λ24]1/2−1}

⇒x2

=

λ244{[1−8(p2z02−λ12)λ24]1/2−1}.

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

y

=

λ224{[1−8(p2z02−λ12)λ24]1/2−1}.

New 2nd Coordinate[edit]

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, κ2∼tan⁡φ; it is exactly this when q2=1.) Then we can rewrite the last expression from the above general case as,

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

=

0.

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

x2(1+κ22)

=

(λ12−p2z02)

⇒x2(λ12−p2z02)

=

1(1+κ22),

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

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

we find,

x2

=

λ244{[1−8(p2z02−λ12)λ24]1/2−1}.

⇒x2

=

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

and,

y=(κ2221/2)x2

=

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

 

=

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

Angle Between Unit Vectors[edit]

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

=

λ1ℓ3D,

e^1

=

ı^(xℓ3D)+ȷ^(q2yℓ3D)+k^(p2zℓ3D).

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λ2−2

=

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

 

=

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

 

=

λ22[q4y2p4z2+x2p4z2+4x2q4y2x2q4y2p4z2]

⇒hλ2

=

xq2yp2zλ2𝒟

⇒e^λ2

=

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

 

=

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


With regard to orthogonality, note that,

e^1⋅e^λ2

=

[ı^(xℓ3D)+ȷ^(q2yℓ3D)+k^(p2zℓ3D)]⋅{ı^[q2yp2z𝒟]+ȷ^[xp2z𝒟]−k^[2xq2y𝒟]}

 

=

(xℓ3D)[q2yp2z𝒟]+(q2yℓ3D)[xp2z𝒟]−(p2zℓ3D)[2xq2y𝒟]

 

=

0.


And,

hκ2−2

=

(∂κ2∂x)2+(∂κ2∂y)2+(∂κ2∂z)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^1⋅e^κ2

=

[ı^(xℓ3D)+ȷ^(q2yℓ3D)+k^(p2zℓ3D)]⋅{−ı^[q2y(x2+q4y2)1/2]+ȷ^[x(x2+q4y2)1/2]}

 

=

−(xℓ3D)[q2y(x2+q4y2)1/2]+(q2yℓ3D)[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^λ2⋅e^κ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][x2−q4y2].




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(x2−q4y2)]ℓ3D𝒟.

We acknowledge that,

e^λ2⋅e^λ3

=

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

 

=

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

 

=

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

 

=

0.

Kappa (κ8) Coordinates[edit]

κ1

≡

(x2+q2y2+p2z2)1/2;

κ3

≡

tan−1[(qy)1/q2x].

∂κ3∂x

=

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

 

=

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

 

=

−sin⁡κ3cos⁡κ3x.

∂κ3∂y

=

[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,

h3−2

=

[−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 ∂κn∂x ∂κn∂y ∂κn∂z γn1 γn2 γn3
1 (x2+q2y2+p2z2)1/2 κ1ℓ3D 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 xp2zℓ3D(x2+q4y2)1/2 q2yp2zℓ3D(x2+q4y2)1/2 −(x2+q4y2)ℓ3D(x2+q4y2)1/2
3 tan−1[(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(x2−q4y2)]

𝒟

≡

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

Also note …

AB≡(𝒟ℓ3D)2

=

[x(2q4y2+p4z2)]2+[q2y(p4z2+2x2)]2+[p2z(x2−q4y2)]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

=

ı^[e3ye1z−e3ze1y]+ȷ^[e3ze1x−e3xe1z]+k^[e3xe1y−e3ye1x]

 

=

ı^[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[edit]

Let's try …

κ2

≡

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

which leads to,

∂κ3∂x

=

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

 

=

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

∂κ3∂y

=

[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;

∂κ3∂z

=

−sin⁡κ2cos⁡κ2p2z.

Hence,

h2−2

=

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

 

=

sin2κ2cos2κ2[x2+q4y2+p4z2x2q4y2p4z2]=[sin2κ2cos2κ2x2q4y2p4z2ℓ3D2]

⇒h2

=

[xq2yp2zℓ3Dsin⁡κ2cos⁡κ2].

The three direction-cosines are, then,

γ21=h2(∂κ2∂x)

=

[xq2yp2zℓ3Dsin⁡κ2cos⁡κ2]sin⁡κ2cos⁡κ2x=q2yp2zℓ3D.

See Also[edit]


Tiled Menu

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