Appendix/Ramblings/ConcentricEllipsoidalDaringAttack

From jetwiki
Jump to navigation Jump to search

Daring Attack

Background

Building on our general introduction to Direction Cosines in the context of orthogonal curvilinear coordinate systems, and on our previous development of the so-called T6 (concentric elliptic) coordinate system, here we take a somewhat daring attack on this problem, mixing our approach to identifying the expression for the third curvilinear coordinate. Broadly speaking, this entire study 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.

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

3D

[x2+q4y2+p4z2]1/2

q

[x2+q4y2]1/2

As before, let's adopt the first-coordinate expression,

λ1

(x2+q2y2+p2z2)1/2,

but for the third-coordinate expression we will abandon the trigonometric expression and instead simply use,

λ3

y1/q2x.

This modified third-coordinate expression means that the last row of the above table changes, as follows.

Daring Attack
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 y1/q2x xq2yqλ3 λ3x +λ3q2y 0 q2yq xq 0

Notice that the direction cosine functions for the (as yet, unknown) second-coordinate function remain the same. This is because the direction-cosine functions associated with both λ1 and λ3 remain unchanged, so it must be true that the cross product of the first and third unit vectors leads to the same components for the second unit vector.

New Approach

Setup

The surface of an ellipsoid with semi-major axes (a, b, c) is defined by the expression,

1

=

(xa)2+(yb)2+(zc)2.

This is identical to our expression for λ1 if we make the associations,

a=λ1,

     

b=λ1q ,

     

c=λ1p.

Now, given that λ3 does not functionally depend on z, let's consider that the choice of z is tightly associated with the specification of the second coordinate, λ2. Specifically, let's adopt the definition,

λ22

1(zc)2,

in which case, we see that,

z2

=

c2(1λ22)=λ12(1λ22)p2,

and,

(xa)2+(yb)2

=

λ22

x2+q2y2

=

λ12λ22.

[Note that in the case of spherical coordinates (q2 = p2 = 1), λ1r, and this "second" coordinate, λ2, becomes sinθ.] Combining this last expression with the xy relationship that is provided by the definition of λ3, gives,

λ12λ22

=

y2/q2λ32+q2y2.

In general, the exponent of 2q2 that appears in the first term on the right-hand side of this expression prevents us from being able to analytically prescribe the function, y(λ1,λ2,λ3). But a solution is obtainable for selected values of q2>1.

Examine the Case: q2 = 2

If we set q2=2, then this last combined expression becomes a quadratic equation for y. Specifically, we find,

0

=

2y2+yλ32λ12λ22

y

=

14{1λ32±[1λ34+8λ12λ22]1/2}

 

=

14λ32{[1+8λ12λ22λ34]1/21}.

(Note that, for reasons of simplicity for the time being, in this last expression we have retained only the "positive" solution.) Again, calling upon the xy relationship that is provided through the definition of λ3, we find (when q2 = 2),

x2

=

yλ32

 

=

14λ34{[1+8λ12λ22λ34]1/21}

x

=

±12λ32{[1+8λ12λ22λ34]1/21}1/2.


Summary (q2 = 2)

z(λ1,λ2,λ3)

=

λ1(1λ22)1/2p,

y(λ1,λ2,λ3)

=

14λ32{[1+8λ12λ22λ34]1/21}=(Λ1)4λ32,

x(λ1,λ2,λ3)

=

12λ32{[1+8λ12λ22λ34]1/21}1/2=(Λ1)1/22λ32.

For convenience, we have defined,

Λ2

1+8λ12λ22λ34

λ12λ22λ34

18(Λ21).

Test Example

q2=2,p2=3.15,(x,y,z)=(0.4,0.63581,0.1)

(λ1,λ2,λ3)=(1,0.98412,1.99344)

3D=0.730058,q=0.750164

h1=0.730058

Λ21=122.34879Λ=11.10625

Do we get the correct values of (x,y,z)  ?

z(λ1,λ2,λ3)

=

λ1(1λ22)1/2p=0.1000000,

y(λ1,λ2,λ3)

=

(Λ1)4λ32=0.635807,

x(λ1,λ2,λ3)

=

(Λ1)1/22λ32=0.400000.

Evaluate a few partial derivatives …

zλ1

=

(1λ22)1/2p=0.1,

yλ1

=

[2λ1λ22λ32Λ]=0.693054,

xλ1

=

2λ1λ22λ32Λ(Λ1)1/2=0.218008.

h1

=

[(xλ1)2+(yλ1)2+(zλ1)2]1/2=0.733383.

This matches the numerical value for h1 as determined below, but it does not match the numerical value obtained previously (0.730058) for h1. The most likely piece that needs adjustment is the partial of "z" with respect to λ1. It needs to be …

zλ1=[h12(xλ1)2(yλ1)2]1/2=0.071647.

Alternatively,

zλ1

=

h12(λ1z)=(0.730058)2[p2zλ1]

Next, let's examine all nine partial derivatives, noting at the start that,

Λλ1

=

12Λ[16λ1λ22λ34]=(Λ21)λ1Λ,

Λλ2

=

12Λ[16λ12λ2λ34]=(Λ21)λ2Λ,

Λλ3

=

12Λ[32λ12λ22λ33]=2(Λ21)λ3Λ.

We have,

zλ1

=

(1λ22)1/2p,

zλ2

=

λ1λ2p(1λ22)1/2,

zλ3

=

0.

yλ1

=

14λ32Λλ1=[(Λ21)4λ32λ1Λ]=[8λ12λ22λ344λ32λ1Λ]=[2λ1λ22λ32Λ],

yλ2

=

14λ32Λλ2=[(Λ21)4λ32λ2Λ]=[8λ12λ22λ344λ32λ2Λ]=[2λ12λ2λ32Λ],

yλ3

=

14λ32Λλ3(Λ1)2λ33=14λ32[2(Λ21)λ3Λ]Λ(Λ1)2λ33Λ=[(Λ21)Λ(Λ1)2λ33Λ]=(Λ1)2λ33Λ.

xλ1

=

14λ32(Λ1)1/2Λλ1=14λ32(Λ1)1/2[(Λ21)λ1Λ]=(Λ21)4λ1λ32Λ(Λ1)1/2=2λ1λ22λ32Λ(Λ1)1/2,

xλ2

=

14λ32(Λ1)1/2Λλ2=14λ32(Λ1)1/2[(Λ21)λ2Λ]=(Λ21)4λ2λ32Λ(Λ1)1/2=2λ12λ2λ32Λ(Λ1)1/2,

xλ3

=

14λ32(Λ1)1/2Λλ3(Λ1)1/2λ33=14λ32(Λ1)1/2[2(Λ21)λ3Λ](Λ1)1/2λ33

 

=

(Λ21)2Λ(Λ1)2λ33Λ(Λ1)1/2=(Λ1)3/22λ33Λ.

What about the derived scale-factors?

h12

=

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

 

=

[2λ1λ22λ32Λ(Λ1)1/2]2+[2λ1λ22λ32Λ]2+[(1λ22)1/2p]2

 

=

[4λ12λ24λ34Λ2(Λ1)]+[4λ12λ24λ34Λ2]+[(1λ22)p2]

 

=

1p2Λ2(Λ1)[4p2λ12λ24λ34Λ+(1λ22)Λ2(Λ1)].

Written in terms of Cartesian coordinates, this becomes,

h12

=

8λ12λ22λ34(λ22)2Λ(Λ1)+(1λ22)p2

 

=

(Λ+1)λ222Λ+z2λ12

 

=

1λ12[(Λ+1)λ22λ122Λ+z2]

 

=

1λ12[(Λ+1)(x2+2y2)2Λ+z2].

Note that,

Λ1

=

4x2λ34=4x2(y2x4)=4(y2x2)

Λ

=

x2+4y2x2.

Hence, the scale factor becomes,

h12

=

12λ12[(x2+2y2)+x2(x2+2y2)(x2+4y2)+2z2]

 

=

12λ12(x2+4y2)[(x2+2y2)(x2+4y2)+x2(x2+2y2)+2z2(x2+4y2)]

 

=

12λ12(x2+4y2)[(2x4+8x2y2+8y4)+2z2(x2+4y2)]=1.9115253.554=0.537852

h1

=

0.733384.




Compare this expression with the one derived earlier, namely,

h12|q2=2=[λ123D2]q2=2

=

(x2+2y2+p2z2)x2+4y2+p4z2.

Well … first we recognize that, when q2 = 2,

λ12=x2+2y2+p2z2,

     

λ22=λ12p2z2λ12=x2+2y2x2+2y2+p2z2,

     

λ32=yx2.

Hence,

(Λ21)=8λ12λ22λ34

=

8(x2+2y2+p2z2)[x2+2y2x2+2y2+p2z2]y2x4=[8y2(x2+2y2)x4],

Λ2

=

1+[8y2(x2+2y2)x4]=1x4[x4+8x2y2+16y4]=1x4[x2+4y4]2,

(Λ+1)

=

(x2+4y4)x2+1=2x2+4y4x2,

which means,

h12

=

18λ12Λ2{4λ12λ22λ3(Λ+1)+4λ12λ22(Λ21)+8z2Λ2}

Think Again

Firm Relations

In addition to the functions that are specified in our above Daring Attack Table, we appreciate that,

xλ1

=

h12(λ1x)=(λ13D)2xλ1=xλ13D2,

yλ1

=

h12(λ1y)=(λ13D)2q2yλ1=q2yλ13D2,

zλ1

=

h12(λ1z)=(λ13D)2p2zλ1=p2zλ13D2.

Check …

h12

=

(xλ1)2+(yλ1)2+(zλ1)2=λ123D4[x2+q4y2+p4z2]=λ123D2.       (Yes!)

Also,

xλ3

=

h32(λ3x)=[xq2yqλ3]2(λ3x)=q4y2q2(xλ3),

yλ3

=

h32(λ3y)=[xq2yqλ3]2(+λ3q2y)=x2q2(q2yλ3),

zλ3

=

h32(λ3z)=0.

Check …

h32

=

(xλ3)2+(yλ3)2+(zλ3)2=q4λ32[x2q8y4+x4q4y2]=x2q4y2q4λ32[q4y2+x2]=x2q4y2q2λ32.       (Yes!)

And, last …

xλ2

=

h2γ21=h2q3D(xp2z),

yλ2

=

h2γ22=h2q3D(q2yp2z),

zλ2

=

h2γ23=h2q3D(x2+q4y2).

Speculation

First

From the direction-cosine expressions for λ2/xi that have been summarized in our above Daring Attack Table, it seems reasonable to suggest that,

h22

=

(q3D)2=[(x2+q4y2)(x2+q4y2+p4z2)]1,

in which case,

λ2x

=

xp2z,

     

λ2y

=

q2yp2z,

     

λ2z

=

(x2+q4y2);

and,

xλ2=h22(λ2x)

=

(q3D)2xp2z,

     

yλ2=h22(λ2y)

=

(q3D)2q2yp2z,

     

zλ2=h22(λ2z)

=

(q3D)2(x2+q4y2).

Second

Alternatively, after examining the direction-cosine expressions for xi/λ2 that we have just provided, one might suggest that,

h22

=

(q3D)2=(x2+q4y2)(x2+q4y2+p4z2)=p4z2(x2+q4y2)+(x2+q4y2)2,

in which case, the expressions provided for λ2/xi and xi/λ2 must be swapped relative to our First speculation.

Third

Noticing that h12 is proportional to λ12 and that h32 is inversely proportional to λ32, let's consider both as possible behaviors for the 2nd scale factor. Let's try the first of these behaviors. Specifically, what if we assume …

λ2x

=

xp2zλ2,

     

λ2y

=

q2yp2zλ2,

     

λ2z

=

(x2+q4y2)λ2.

Then,

h22

=

(λ2x)2+(λ2y)2+(λ2z)2=[λ2q3D]2

h2

=

λ2q3D.

Primary implication:

γ21=h2(λ2x)

=

(xp2z)q3D ,

γ22=h2(λ2y)

=

(q2yp2z)q3D ,

γ23=h2(λ2z)

=

(x2+q4y2)q3D .

These perfectly match the direction-cosine expressions (γ2i for i = 1, 3)
that have been summarized in our above Daring Attack Table.

Secondary implication:

xλ2

=

h2γ21=λ2q23D2(xp2z),

yλ2

=

h2γ22=λ2q23D2(q2yp2z),

zλ2

=

h2γ23=λ2q23D2(x2+q4y2).


Now, what specifically is the function, λ2(x,y,z) ? Start by rewriting the three partial derivatives as,

12(λ22)x

=

xp2z,

     

12(λ2)2y

=

q2yp2z,

     

12(λ2)2z

=

(x2+q4y2).

Suppose that,

λ22

=

(x2+q2y2)p2z.

Then we have,

λ22x

=

2xp2z,

    and,    

λ22y

=

2q2yp2z.      Great!

But this cannot be the correct expression for λ22 because,

λ22z

=

(x2+q2y2)p2,

which does not match the desired partial derivative with respect to z.

Fourth

Alternatively, if we assume …

λ2x

=

λ2xp2z,

     

λ2y

=

λ2q2yp2z,

     

λ2z

=

λ2(x2+q4y2),

then,

h22

=

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

 

=

(λ2xp2z)2+(λ2q2yp2z)2+(λ2x2+q4y2)2

(h2λ2)2

=

q4y2p4z2(x2+q4y2)2+x2p4z2(x2+q4y2)2+x2q4y2p8z4x2q4y2p8z4(x2+q4y2)2

h2

=

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

 

=

1λ2{xq2yp2z(x2+q4y2)[q4y2(x2+q4y2)2+x2(x2+q4y2)2+x2q4y2p4z2]1/2}

 

=

1λ2{xq2yp2z(x2+q4y2)[(x2+q4y2)3+x2q4y2p4z2]1/2}

Let's check for consistency with one of the direction-cosines.

γ21=h2(λ2x)

=

{q2y(x2+q4y2)[(x2+q4y2)3+x2q4y2p4z2]1/2}

γ21q(xp2z)

=

(x2+q4y2)1/2xp2z{q2y(x2+q4y2)[(x2+q4y2)3+x2q4y2p4z2]1/2}

 

=

q2yxp2z{(x2+q4y2)3/2[(x2+q4y2)3+x2q4y2p4z2]1/2}

 

=

q2yxp2z[1+x2q4y2p4z2(x2+q4y2)3]1/2.

This does not match the term in the expression for γ21 — namely, 3D — that is expected from the original tabulation.

Better Organized

From our above Daring Attack Table, we appreciate that the three direction cosines associated with the (as yet unknown) second curvilinear coordinate are,

γ21

=

q3D(xp2z),

     

γ22

=

q3D(q2yp2z),

     

γ23

=

q3D(x2+q4y2).

It is easy to see that the desired orthogonality relationship,

i=13(γ2i)2

=

1,

is satisfied because,

(xp2z)2+(q2yp2z)2+(x2+q4y2)2

=

(x2+q4y2)(x2+q4y2+p4z2)=(q3D)2.

Now, as we attempt to determine the functional form of the second curvilinear coordinate, λ2(x,y,z), a seemingly useful intermediate step is to determine the functional form of each of the three partial derivatives of this key coordinate function, namely, λ2/xi, for i = 1, 3. Here, we will accomplish this intermediate step by guessing the functional form of the second scale factor, h2(x,y,z), then applying the relation,

λ2xi

=

γ2ih2.

Notice that, without violating the above-state orthogonality relationship, we can adopt virtually any functional form for h2(x,y,z) and deduce that,

λ2x

=

A(x,y,z)(xp2z),

     

λ2y

=

A(x,y,z)(q2yp2z),

     

λ2z

=

A(x,y,z)(x2+q4y2),

as long as,

A(x,y,z)

q3Dh2.

This key, leading coefficient function is unity — and, hence, is independent of position — if, as in our First speculation above, we guess that h22=(q3D)2. If, as in our Second speculation above, we guess that h22=(q3D)2, we find that, A=(q3D)2. Our above Third speculation is replicated if we guess that h22=(λ2q3D)2; we immediately see that, in this Third case,

λ2x

=

xp2zλ2,

     

λ2y

=

q2yp2zλ2,

     

λ2z

=

(x2+q4y2)λ2.

Study the Functional Forms

We know the functional forms of two of the desired curvilinear coordinates, namely,

λ1(x,y,z)

(x2+q2y2+p2z2)1/2,

λ3(x,y,z)

y1/q2x,

but we do not yet have a valid expression for the 2nd coordinate, λ2(x,y,z). Nevertheless, let's see if we can guess the functional forms for xi(λ1,λ2,λ3), by inverting the two known curvilinear-coordinate functions. As a starting point, let's impose the following mappings:

x

y1/q2λ3,

z

1p[λ12q2y2x2]1/2

1p[λ12q2y2y2/q2λ32]1/2=1pλ3[λ12λ32(qyλ3)2y2/q2]1/2.

This means, for example, that,

q2

q4y2+y2/q2λ32=λ32[q2(qyλ3)2+y2/q2],

3D2

q4y2+y2/q2λ32+p2[λ12q2y2y2/q2λ32]=λ32[(q2p2)(qyλ3)2+(1p2)y2/q2+p2λ12λ32].

Derivatives of x

xλ1

=

xλ13D2=y1/q2λ1λ3[(q2p2)(qyλ3)2+(1p2)y2/q2+p2λ12λ32]1,

xλ3

=

q4y2q2(xλ3)=q2(qy)2(y1/q2)λ3[q2(qyλ3)2+y2/q2]1,

xλ2

=

h2q3D(xp2z)=[h2q3D](y1/q2)pλ32[λ12λ32(qyλ3)2y2/q2]1/2

 

=

h2(y1/q2)p[λ12λ32(qyλ3)2y2/q2]1/2[q2(qyλ3)2+y2/q2]1/2[(q2p2)(qyλ3)2+(1p2)y2/q2+p2λ12λ32]1/2

Struggling

I have noticed that, in this last set of expressions, there are recurring terms of the form, (qyλ3) and (y2/q2). So, while keeping the same definition of the ccordinate, λ1, let's replace λ2 and λ3 with a pair of coordinates defined as follows:

λ4yλ3=y(q2+1)/q2x,

      and,      

λ5y2/q2.

This means that,

y

=

λ5q2/2,

x

=

y(q21)/q2λ4=λ41λ5(q21)/2,

z2

=

1p2[λ12x2q2y2]=1p2λ42[λ12λ42λ5q21q2λ42λ5q2].

Is this a set of orthogonal coordinates? Well …       No!

New Insight

Following the development of our above, Better Organized discussion, we reverted to several hours of pen & paper derivations, primarily investigating whether it will help us to rewrite various expressions using the [MF53] Direction-Cosine Relations. We discovered that if we set,

h22

=

[(xq2y)q3D]2,

then,

λ2x

=

p2zq2y,

     

λ2y

=

p2zx,

     

λ2z

=

[xq2y+q2yx].

This seems to be a promising method of attack because — in all three cases, i = 1,3 — the derivative of λ2 with respect to xi does not depend on xi. Perhaps this simplification will help us identify the function that defines λ2. This proposed prescription for h2(x,y,z) and some of its implications are reflected in the following "New Insight" table. (Keep in mind that, although the expressions for γ21,γ22,andγ23 remain correct, the tabulated expression is a guess for h2 and, hence, the tabulated expressions for all three λ2/xi are pure speculation.)

New Insight
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(xq2y) p2zq2y p2zx [xq2y+q2yx] q3D(xq2y)[p2zq2y] q3D(xq2y)[p2zx] q3D(xq2y)[xq2y+q2yx]
3 y1/q2x xq2yqλ3 λ3x +λ3q2y 0 q2yq xq 0

See Also


Tiled Menu

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