Appendix/Ramblings/ConcentricEllipsoidalCoordinates

From JETohlineWiki
Jump to navigation Jump to search

Concentric Ellipsoidal (T6) 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 (T6) 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.

Orthogonal Coordinates[edit]

Primary (radial-like) Coordinate[edit]

We start by defining a "radial" coordinate whose values identify various concentric ellipsoidal shells,

λ1

(x2+q2y2+p2z2)1/2.

When λ1=a, we obtain the standard definition of an ellipsoidal surface, it being understood that, q2=a2/b2 and p2=a2/c2. (We will assume that a>b>c, that is, p2>q2>1.)

A vector, n^, that is normal to the λ1 = constant surface is given by the gradient of the function,

F(x,y,z)

(x2+q2y2+p2z2)1/2λ1.

In Cartesian coordinates, this means,

n^(x,y,z)

=

ı^(Fx)+ȷ^(Fy)+k^(Fz)

 

=

ı^[x(x2+q2y2+p2z2)1/2]+ȷ^[q2y(x2+q2y2+p2z2)1/2]+k^[p2z(x2+q2y2+p2z2)1/2]

 

=

ı^(xλ1)+ȷ^(q2yλ1)+k^(p2zλ1),

where it is understood that this expression is only to be evaluated at points, (x,y,z), that lie on the selected λ1 surface — that is, at points for which the function, F(x,y,z)=0. The length of this normal vector is given by the expression,

[n^n^]1/2

=

[(Fx)2+(Fy)2+(Fz)2]1/2

 

=

[(xλ1)2+(q2yλ1)2+(p2zλ1)2]1/2

 

=

1λ13D

where,

3D

[x2+q4y2+p4z2]1/2.

It is therefore clear that the properly normalized normal unit vector that should be associated with any λ1 = constant ellipsoidal surface is,

e^1

n^[n^n^]1/2=ı^(x3D)+ȷ^(q2y3D)+k^(p2z3D).

From our accompanying discussion of direction cosines, it is clear, as well, that the scale factor associated with the λ1 coordinate is,

h12

=

λ123D2.

We can also fill in the top line of our direction-cosines table, namely,

Direction Cosines for T6 Coordinates
γni=hn(λnxi)

n i=x,y,z
1  

x3D
 

q2y3D p2z3D
2

 
---
 

 
---
 

 
---
 

3

 
---
 

 
---
 

 
---
 

Other Coordinate Pair in the Tangent Plane[edit]

Let's focus on a particular point on the λ1 = constant surface, (x0,y0,z0), that necessarily satisfies the function, F(x0,y0,z0)=0. We have already derived the expression for the unit vector that is normal to the ellipsoidal surface at this point, namely,

e^1

ı^(x03D)+ȷ^(q2y03D)+ȷ^(p2z03D),

where, for this specific point on the surface,

3D

=

[x02+q4y02+p4z02]1/2.


Tangent Plane
[See, for example, Dan Sloughter's (Furman University) 2001 Calculus III class lecture notes — specifically Lecture 15]


The two-dimensional plane that is tangent to the λ1 = constant surface at this point is given by the expression,

0

=

(xx0)[λ1x]0+(yy0)[λ1y]0+(zz0)[λ1z]0

 

=

(xx0)[Fx]0+(yy0)[Fy]0+(zz0)[Fz]0

 

=

(xx0)(xλ1)0+(yy0)(q2yλ1)0+(zz0)(p2zλ1)0

x(xλ1)0+y(q2yλ1)0+z(p2zλ1)0

=

x0(xλ1)0+y0(q2yλ1)0+z0(p2zλ1)0

xx0+q2yy0+p2zz0

=

x02+q2y02+p2z02

xx0+q2yy0+p2zz0

=

(λ12)0.

Fix the value of λ1. This means that the relevant ellipsoidal surface is defined by the expression,

λ12

=

x2+q2y2+p2z2.

If z=0, the semi-major axis of the relevant x-y ellipse is λ1, and the square of the semi-minor axis is λ12/q2. At any other value, z=z0<c, the square of the semi-major axis of the relevant x-y ellipse is, (λ12p2z02) and the square of the corresponding semi-minor axis is, (λ12p2z02)/q2. Now, for any chosen x02(λ12p2z02), the y-coordinate of the point on the λ1 surface is given by the expression,

y02

=

1q2[λ12p2z0x02].

The slope of the line that lies in the z=z0 plane and that is tangent to the ellipsoidal surface at (x0,y0) is,

mdydx|z0

=

x0q2y0

Speculation1[edit]

Building on our experience developing T3 Coordinates and, more recently, T5 Coordinates, let's define the two "angles,"

Z

sinh1(qyx)

      and,      

Υ

sinh1(pzx),

in which case we can write,

λ12

=

x2(cosh2Z+sinh2Υ).

We speculate that the other two orthogonal coordinates may be defined by the expressions,

λ2

x[sinhZ]1/(1q2)=x[qyx]1/(1q2)=x[xqy]1/(q21)=[xq2qy]1/(q21),

λ3

x[sinhΥ]1/(1p2)=x[pzx]1/(1p2)=x[xpz]1/(p21)=[xp2pz]1/(p21).

Some relevant partial derivatives are,

λ2x

=

[1qy]1/(q21)[q2q21]x1/(q21)=[q2q21][xqy]1/(q21)=[q2q21]λ2x;

λ2y

=

[xq2q]1/(q21)[11q2]yq2/(1q2)=[1q21]λ2y;

λ3x

=

[p2p21]λ3x;

λ3z

=

[1p21]λ3z.

And the associated scale factors are,

h22

=

{[(q2q21)λ2x]2+[(1q21)λ2y]2}1

 

=

{(q2q21)2λ22x2+(1q21)2λ22y2}1

 

=

{x2+q4y2}1[(q21)2x2y2λ22];

h32

=

{x2+p4z2}1[(p21)2x2z2λ32].

We can now fill in the rest of our direction-cosines table, namely,

Direction Cosines for T6 Coordinates
γni=hn(λnxi)

n i=x,y,z
1  

x3D
 

q2y3D p2z3D
2

q2yq

xq

0

3

p2zp

0

xp

Hence,

e^2

=

ı^γ21+ȷ^γ22+k^γ23=ı^(q2yq)ȷ^(xq);

e^3

=

ı^γ31+ȷ^γ32+k^γ33=ı^(p2zp)k^(xp).

Check:

e^2e^2

=

(q2yq)2+(xq)2=1;

e^3e^3

=

(p2zp)2+(xp)2=1;

e^2e^3

=

(q2yq)(p2zp)0.

Speculation2[edit]

Try,

λ2

=

xy1/q2z1/p2,

in which case,

λ2x

=

λ2x,

λ2y

=

xz1/p2(1q2)y1/q21=λ2q2y,

λ2z

=

λ2p2z.

The associated scale factor is, then,

h22

=

[(λ2x)2+(λ2y)2+(λ2z)2]1

 

=

[(λ2x)2+(λ2q2y)2+(λ2p2z)2]1

Speculation3[edit]

Try,

λ2

=

(x+p2z)1/2y1/q2,

in which case,

λ2x

=

12y1/q2(x+p2z)1/2=λ22(x+p2z),

λ2y

=

λ2q2y,

λ2z

=

.

Speculation4[edit]

Development[edit]

Here we stick with the primary (radial-like) coordinate as defined above; for example,

λ1

(x2+q2y2+p2z2)1/2,

h1

=

λ13D,

3D

[x2+q4y2+p4z2]1/2,

e^1

=

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

Note that, e^1e^1=1, which means that this is, indeed, a properly normalized unit vector.

Then, drawing from our earliest discussions of "T1 Coordinates", we'll try defining the second coordinate as,

λ3

tan1u,       where,

u

y1/q2x.

The relevant partial derivatives are,

λ3x

=

11+u2[y1/q2x2]=[u1+u2]1x=sinλ3cosλ3x,

λ3y

=

11+u2[y(1/q21)q2x]=[u1+u2]1q2y=sinλ3cosλ3q2y,

which means that,

h32

=

[(λ3x)2+(λ3y)2]1

 

=

[u1+u2]2[1x2+1q4y2]1

 

=

[1+u2u]2[x2+q4y2x2q4y2]1

h3

=

[1+u2u]xq2yq=xq2yqsinλ3cosλ3,       where,

q

[x2+q4y2]1/2.

The third row of direction cosines can now be filled in to give,

Direction Cosines for T6 Coordinates
γni=hn(λnxi)

n i=x,y,z
1  

x3D
 

q2y3D p2z3D
2

 
---
 

 
---
 

 
---
 

3

q2yq

xq

0

which means that the associated unit vector is,

e^3

=

ı^(q2yq)+ȷ^(xq).

Note that, e^3e^3=1, which means that this also is a properly normalized unit vector. Note, as well, that the dot product between our "first" and "third" unit vectors should be zero if they are indeed orthogonal to each other. Let's see …

e^3e^1

=

(q2yq)x3D+(xq)q2y3D=0.

Q.E.D.

Now, even though we have not yet determined the proper expression for the "second" orthogonal coordinate, λ2, we should be able to obtain an expression for its associated unit vector from the cross product of the "third" and "first" unit vectors. Specifically we find,

e^2e^3×e^1

=

ı^[(e3)2(e1)3(e3)3(e1)2]+ȷ^[(e3)3(e1)1(e3)1(e1)3]+k^[(e3)1(e1)2(e3)2(e1)1]

 

=

ı^[(xq)(p2z3D)0]+ȷ^[0(q2yq)(p2z3D)]+k^[(q2yq)(q2y3D)(xq)(x3D)]

 

=

q3D[ı^(xp2z)+ȷ^(q2yp2z)k^(x2+q4y2)]

 

=

q3D[ı^(xp2z)+ȷ^(q2yp2z)k^(1q2)].

Note that,

e^3e^2

=

q23D[(q2y)xp2z+(x)q2yp2z]=0;

and,

e^1e^2

=

(x3D)xp2zq3D+(q2y3D)q2yp2zq3D(x2+q4y2)q3D(p2z3D)

 

=

q3D2[x2p2z+(q4y2)p2z(x2+q4y2)(p2z)]=0.

We conclude, therefore, that e^2 is perpendicular to both of the other unit vectors. Hooray!


Filling in the second row of the direction cosines table gives,

Direction Cosines for T6 Coordinates
γni=hn(λnxi)

n i=x,y,z
1  

x3D
 

q2y3D p2z3D
2

xp2zq3D

q2yp2zq3D

(x2+q4y2)q3D=3D/q

3

q2yq

xq

0

Analysis[edit]

Let's break down each direction cosine into its components.

Direction Cosine Components for T6 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 --- --- --- --- --- q3D(xp2z) q3D(q2yp2z) (x2+q4y2)q3D
3 tan1(y1/q2x) xq2yqsinλ3cosλ3 sinλ3cosλ3x +sinλ3cosλ3q2y 0 q2yq xq 0

Try,

λ2

tan1w,       where,

w

(x2+q2y2)1/2z1/p21z1/p2=w(x2+q2y2)1/2.

The relevant partial derivatives are,

λ2x

=

11+w2[x(x2+q2y2)1/2z1/p2]=w1+w2[x(x2+q2y2)],

λ2y

=

11+w2[q2y(x2+q2y2)1/2z1/p2]=w1+w2[q2y(x2+q2y2)],

λ2z

=

w1+w2[1p2z],

which means that,

h22

=

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

 

=

[(w1+w2)2x2(x2+q2y2)2]+[(w1+w2)2q4y2(x2+q2y2)2]+[(w1+w2)21p4z2]

 

=

(w1+w2)2[(x2+q4y2)(p4z2)+(x2+q2y2)2(x2+q2y2)2p4z2]

h2

=

(1+w2w){(x2+q2y2)p2z𝒟},

where,

𝒟

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

Hence, the trio of associated direction cosines are,

γ21=h2(λ2x)

=

(1+w2w){(x2+q2y2)p2z𝒟}w1+w2[x(x2+q2y2)]={xp2z𝒟},

γ22=h2(λ2y)

=

(1+w2w){(x2+q2y2)p2z𝒟}w1+w2[q2y(x2+q2y2)]={q2yp2z𝒟},

γ23=h2(λ2z)

=

(1+w2w){(x2+q2y2)p2z𝒟}w1+w2[1p2z]={(x2+q2y2)𝒟}.

VERY close!

Let's examine the function, 𝒟2.

13D2d2

=

(x2+q4y2)(x2+q4y+p4z)=(x2+q4y2)p4z+(x2+q4y2)2.

Eureka (NOT!)[edit]

Try,

λ2

tan1w,       where,

w

(x2+q2y2)1/2p2z1p2z=w(x2+q2y2)1/2.

The relevant partial derivatives are,

λ2x

=

11+w2[x(x2+q2y2)1/2p2z]=w1+w2[x(x2+q2y2)],

λ2y

=

11+w2[q2y(x2+q2y2)1/2p2z]=w1+w2[q2y(x2+q2y2)],

λ2z

=

11+w2[(x2+q2y2)1/2p2z2]=w1+w2[1z],

which means that,

h22

=

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

 

=

[w1+w2]2{[x(x2+q2y2)]2+[q2y(x2+q2y2)]2+[1z]2}

 

=

[w1+w2]2{x2+q4y2(x2+q2y2)2+1z2}


Tiled Menu

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