Appendix/Ramblings/ConcentricEllipsoidalCoordinates

From jetwiki
Jump to navigation Jump to search

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

Primary (radial-like) Coordinate

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)

=

ı^(∂F∂x)+ȷ^(∂F∂y)+k^(∂F∂z)

 

=

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

=

[(∂F∂x)2+(∂F∂y)2+(∂F∂z)2]1/2

 

=

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

 

=

1λ1ℓ3D

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=ı^(xℓ3D)+ȷ^(q2yℓ3D)+k^(p2zℓ3D).

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

h12

=

λ12ℓ3D2.

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

Direction Cosines for T6 Coordinates
γni=hn(∂λn∂xi)

n i=x,y,z
1  

xℓ3D
 

q2yℓ3D p2zℓ3D
2

 
---
 

 
---
 

 
---
 

3

 
---
 

 
---
 

 
---
 

Other Coordinate Pair in the Tangent Plane

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

≡

ı^(x0ℓ3D)+ȷ^(q2y0ℓ3D)+ȷ^(p2z0ℓ3D),

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

=

(x−x0)[∂λ1∂x]0+(y−y0)[∂λ1∂y]0+(z−z0)[∂λ1∂z]0

 

=

(x−x0)[∂F∂x]0+(y−y0)[∂F∂y]0+(z−z0)[∂F∂z]0

 

=

(x−x0)(xλ1)0+(y−y0)(q2yλ1)0+(z−z0)(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, (λ12−p2z02) and the square of the corresponding semi-minor axis is, (λ12−p2z02)/q2. Now, for any chosen x02≤(λ12−p2z02), the y-coordinate of the point on the λ1 surface is given by the expression,

y02

=

1q2[λ12−p2z0−x02].

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

m≡dydx|z0

=

−x0q2y0

Speculation1

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

Z

≡

sinh−1(qyx)

      and,      

Υ

≡

sinh−1(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[sinh⁡Z]1/(1−q2)=x[qyx]1/(1−q2)=x[xqy]1/(q2−1)=[xq2qy]1/(q2−1),

λ3

≡

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

Some relevant partial derivatives are,

∂λ2∂x

=

[1qy]1/(q2−1)[q2q2−1]x1/(q2−1)=[q2q2−1][xqy]1/(q2−1)=[q2q2−1]λ2x;

∂λ2∂y

=

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

∂λ3∂x

=

[p2p2−1]λ3x;

∂λ3∂z

=

−[1p2−1]λ3z.

And the associated scale factors are,

h22

=

{[(q2q2−1)λ2x]2+[−(1q2−1)λ2y]2}−1

 

=

{(q2q2−1)2λ22x2+(1q2−1)2λ22y2}−1

 

=

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

h32

=

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

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

Direction Cosines for T6 Coordinates
γni=hn(∂λn∂xi)

n i=x,y,z
1  

xℓ3D
 

q2yℓ3D p2zℓ3D
2

q2yℓq

−xℓq

0

3

p2zℓp

0

−xℓp

Hence,

e^2

=

ı^γ21+ȷ^γ22+k^γ23=ı^(q2yℓq)−ȷ^(xℓq);

e^3

=

ı^γ31+ȷ^γ32+k^γ33=ı^(p2zℓp)−k^(xℓp).

Check:

e^2⋅e^2

=

(q2yℓq)2+(xℓq)2=1;

e^3⋅e^3

=

(p2zℓp)2+(xℓp)2=1;

e^2⋅e^3

=

(q2yℓq)(p2zℓp)≠0.

Speculation2

Try,

λ2

=

xy1/q2z1/p2,

in which case,

∂λ2∂x

=

λ2x,

∂λ2∂y

=

xz1/p2(−1q2)y−1/q2−1=−λ2q2y,

∂λ2∂z

=

−λ2p2z.

The associated scale factor is, then,

h22

=

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

 

=

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

Speculation3

Try,

λ2

=

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

in which case,

∂λ2∂x

=

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

∂λ2∂y

=

−λ2q2y,

∂λ2∂z

=

.

Speculation4

Development

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

λ1

≡

(x2+q2y2+p2z2)1/2,

h1

=

λ1ℓ3D,

ℓ3D

≡

[x2+q4y2+p4z2]−1/2,

e^1

=

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

Note that, e^1⋅e^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

≡

tan−1u,       where,

u

≡

y1/q2x.

The relevant partial derivatives are,

∂λ3∂x

=

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

∂λ3∂y

=

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

which means that,

h32

=

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

 

=

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

 

=

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

⇒h3

=

[1+u2u]xq2yℓq=xq2yℓqsin⁡λ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(∂λn∂xi)

n i=x,y,z
1  

xℓ3D
 

q2yℓ3D p2zℓ3D
2

 
---
 

 
---
 

 
---
 

3

−q2yℓq

xℓq

0

which means that the associated unit vector is,

e^3

=

−ı^(q2yℓq)+ȷ^(xℓq).

Note that, e^3⋅e^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^3⋅e^1

=

(−q2yℓq)xℓ3D+(xℓq)q2yℓ3D=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^2≡e^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]

 

=

ı^[(xℓq)(p2zℓ3D)−0]+ȷ^[0−(−q2yℓq)(p2zℓ3D)]+k^[(−q2yℓq)(q2yℓ3D)−(xℓq)(xℓ3D)]

 

=

ℓqℓ3D[ı^(xp2z)+ȷ^(q2yp2z)−k^(x2+q4y2)]

 

=

ℓqℓ3D[ı^(xp2z)+ȷ^(q2yp2z)−k^(1ℓq2)].

Note that,

e^3⋅e^2

=

ℓq2ℓ3D[(−q2y)xp2z+(x)q2yp2z]=0;

and,

e^1⋅e^2

=

(xℓ3D)xp2zℓqℓ3D+(q2yℓ3D)q2yp2zℓqℓ3D−(x2+q4y2)ℓqℓ3D(p2zℓ3D)

 

=

ℓqℓ3D2[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(∂λn∂xi)

n i=x,y,z
1  

xℓ3D
 

q2yℓ3D p2zℓ3D
2

xp2zℓqℓ3D

q2yp2zℓqℓ3D

−(x2+q4y2)ℓqℓ3D=−ℓ3D/ℓq

3

−q2yℓq

xℓq

0

Analysis

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

Direction Cosine Components for T6 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 --- --- --- --- --- ℓqℓ3D(xp2z) ℓqℓ3D(q2yp2z) −(x2+q4y2)ℓqℓ3D
3 tan−1(y1/q2x) xq2yℓqsin⁡λ3cos⁡λ3 −sin⁡λ3cos⁡λ3x +sin⁡λ3cos⁡λ3q2y 0 −q2yℓq xℓq 0

Try,

λ2

≡

tan−1w,       where,

w

≡

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

The relevant partial derivatives are,

∂λ2∂x

=

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

∂λ2∂y

=

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

∂λ2∂z

=

w1+w2[−1p2z],

which means that,

h2−2

=

(∂λ2∂x)2+(∂λ2∂y)2+(∂λ2∂z)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(∂λ2∂x)

=

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

γ22=h2(∂λ2∂y)

=

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

γ23=h2(∂λ2∂z)

=

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

VERY close!

Let's examine the function, 𝒟2.

1ℓ3D2ℓd2

=

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

Eureka (NOT!)

Try,

λ2

≡

tan−1w,       where,

w

≡

(x2+q2y2)1/2p2z⇒1p2z=w(x2+q2y2)1/2.

The relevant partial derivatives are,

∂λ2∂x

=

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

∂λ2∂y

=

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

∂λ2∂z

=

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

which means that,

h2−2

=

(∂λ2∂x)2+(∂λ2∂y)2+(∂λ2∂z)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 |