Appendix/Ramblings/T1Coordinates

From jetwiki
Jump to navigation Jump to search


Relationship Between HNM82 Models and T1 Coordinates

Preamble

In the mid-1990s I invested time trying to gain a better understanding of the "3rd Integral of Motion" that is discussed especially in the context of galaxy dynamics. For example, BT87 discuss the behavior of particle orbits in static potentials in which equipotential contours are nested oblate spheroidal surfaces with uniform eccentricity. This set of equipotential contours does not conform to, and therefore cannot be defined by, the traditional Oblate Spheroidal Coordinate system — detailed, for example, in MF53 — because in that traditional coordinate system surfaces of constant ξ1 are confocal rather than concentric oblate spheroids. In an effort to uncover a closed-form mathematical prescription for the "3rd integral" in this case, I developed an orthogonal coordinate system in which surfaces of constant ξ1 are concentric oblate spheroids. The properties of this T1 coordinate system are detailed in the Appendix of the original version of this H_Book. Here are two relevant links:

I have just realized (in May, 2010) that there is a connection between this T1 Coordinate system and the equipotential contours that arise from at least one of the equilibrium models of the axisymmetric structure of rotationally flattened isothermal gas clouds presented by Hayashi, Narita & Miyama (1982; hereafter HNM82). What follows is a discussion of this connection.

T1 Coordinates

A spheroidal surface with semi-axes a1 & a3 specified, respectively, along the ϖ and z axes will be defined by the expression,

(ϖa1)2+(za3)2=1.

Hence, a coordinate system that perfectly overlays a set of concentric spheroidal surfaces should have a radial ξ1 coordinate of the form,

ξ1[z2+(ϖq)2]1/2,

where the degree of flattening of the concentric surfaces is specified by the (constant) coefficient, q(a1/a3). (The spheroidal surfaces will be oblate if q>1 and prolate if q<1.)

A complementary meridional-plane angular coordinate that is everywhere orthogonal to this radial coordinate is,

ξ2tan1[ϖz1/q2].

These are the essential elements of the so-called T1 Coordinate system. Because we are only dealing here with axisymmetric configurations, the third coordinate, which is everywhere orthogonal to the first two, is the familiar azimuthal coordinate,

ξ3tan1[yx].

One Special Case

For the specific case of q2=2 — that is, for a1/a3=2 — we will find that

2z2+ϖ2=constant,

along surfaces of constant ξ1; and we will find that

ϖ2z=constant,

along surfaces of constant ξ2.

HNM82

As we have detailed in a chapter entitled,"Rotationally Flattened Isothermal Structures", HNM82 derived a family of equilibrium models of rotationally flattened isothermal gas clouds whose gravitational potential is defined via the analytic expression,

Φ

=

2cs2ln[ϖγcosh(γζ)]

 

=

2cs2ln[12(r+z)γ+12(rz)γ],

where γ is an index that identifies the specific member of the family of solutions, cs is the isothermal sound speed, r is a spherical radius, that is,

r(ϖ2+z2)1/2,

and,

ζln[r+zϖ]=sinh1(zϖ).

For completeness we note that these HNM82 models have a simple rotation profile in which vφ is uniform in space, and the index γ is related to the uniform Mach number vφ/cs via the algebraic expression,

γ=1+122 .

Immediately following their Eq. (3.4), HNM82 point out that "lines of gravity force which are perpendicular to the equi-potential surfaces are given by,"

ϖγ1sinh[(γ1)ζ]=constant. .

One Special Case

HNM82 also point out that, "in a special case γ=2, the equi-potential surfaces and the gravity lines are expressed simply as,"

ϖ2+2z2=constantandϖ2z=constant,

respectively.

Relationship Between the Two (to be checked and perhaps extended by Jay Call)

The pair of HNM83 coordinate lines that correspond to the index γ=2 matches identically the T1 coordinate lines in the special case highlighted above, namely, the case of q2=2. At the very least, this must mean that the equilibrium model constructed by HNM82 in the case of γ=2 must have equipotential surfaces that are concentric oblate spheroids having axis ratio, a1/a3=2.

This makes me wonder whether I ought to redefine the T1 coordinates to conform more to the HNM82 notation. In particular, should I think in terms of hyperbolic rather than trigonometric functions; and should I explore the utility of the coordinate "angle" that HNM82 refer to as ζ?

T2 Coordinates

Trial Definition

If I define the dimensionless angle,

Zsinh1(qzϖ),

which is similar but not identical to the HNM82 angle, ζ, the two key "T2" coordinates can be written as,

χ1BϖcoshZandχ2AsinhZϖq21.

(To maintain some flexibility, I have inserted two, as yet unspecified, coefficients, B and A, into the expression for χ1 and χ2, respectively.) Let's check to see how these two coordinates are related to the original T1 coordinates:

χ1=Bϖ[1+sinh2Z]1/2=Bϖ[1+(qzϖ)2]1/2=B(ϖ2+q2z2)1/2=qBξ1;

and,

χ2=Aϖq21(qzϖ)=Aqzϖq2=Aq[1tanξ2]q2.

While the relationship between χ2 and ξ2 looks rather convoluted, there is at least a rational reason (provided by HNM82) for specifying the form of χ2, whereas the original specification of ξ2 was chosen rather arbitrarily in an effort to look like spherical coordinates.

We should probably address as well the structure of the awkward function that appears in the denominator of the T1-coordinate scale factors, namely,

L[z2+ϖ2q4]1/2.

In terms of our newly introduced hyperbolic functions, this may be written as,

q4L2=ϖ2+q4z2=ϖ2[1+q2sinh2Z].

Scale Factors

To determine the scale factors and position vector, we need to first derive a variety of partial derivatives.

 

x

y

z

χ1

(B2χ1)x

(B2χ1)y

(B2χ1)q2z

χ2

(q3Azϖq2+2)x

(q3Azϖq2+2)y

qAϖq2

χ3

(1ϖ2)y

+(1ϖ2)x

0

The scale factors are, therefore:

h12

=

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

=

[(B2χ1)2(ϖ2+q4z2)]1

=

χ12B4(ϖ2+q4z2)

h22

=

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

=

[(qAϖq2+1)2(q4z2+ϖ2)]1

=

z2ϖ2χ22(ϖ2+q4z2)

h32

=

[(χ3x)2+(χ3y)2+(χ3z)2]1

=

[(1ϖ2)2(x2+y2)]1

=

ϖ2

Position Vector

When written in terms of the T2-coordinate unit vectors, the Cartesian unit vectors are:

i^

=

e^1(h1χ1x)+e^2(h2χ2x)+e^3(h3χ3x)

=

x(ϖ2+q4z2)1/2[e^1e^2(q2zϖ)]e^3(yϖ)

j^

=

e^1(h1χ1y)+e^2(h2χ2y)+e^3(h3χ3y)

=

y(ϖ2+q4z2)1/2[e^1e^2(q2zϖ)]+e^3(xϖ)

k^

=

e^1(h1χ1z)+e^2(h2χ2z)+e^3(h3χ3z)

=

1(ϖ2+q4z2)1/2[e^1(q2z)+e^2ϖ]

Therefore, the position vector is,

x

=

i^x+j^y+k^z

=

e^1(h1χ1)+(1q2)e^2(h2χ2)

Coordinate Inversion

Can we invert these expressions to obtain ϖ and Z (or, equivalently, z) strictly in terms of χ1 and χ2? Well, we can start by squaring both coordinates and subtracting to isolate ϖ2. Specifically,

(χ1Bϖ)2(χ2Aϖ1q2)2=cosh2Zsinh2Z=1.

Hence, the desired functional expression ϖ2(χ1,χ2) comes from the root(s) of the following polynomial equation:

(χ2A)2(ϖ2)q2+ϖ2(χ1B)2=0.

It seems unlikely that closed-form analytic expressions can be extracted for the root(s) of this equation for an arbitrary choice of the flattening index, q. But it should be possible to obtain analytically expressible roots in the case of q2=2, q2=3, and q2=4. Once the expression for ϖ2(χ1,χ2) is known, a determination of z(χ1,χ2) is straightforward. Specifically,

z=ϖqsinhZ=ϖq[χ2Aϖq21]=[χ2qAϖq2].

In addition, from the above polynomial expression, we know that,

χ22(ϖ2)q2=A2(χ12B2ϖ2).

Hence, quite generally we deduce,

z2=1q2(χ12B2ϖ2),

which, in retrospect, could have been derived more directly from the definition of χ1.

First Special Case (quadratic)

When q2=2, the above polynomial becomes a quadratic equation and therefore its roots can be determined analytically. Setting,

xϖ2,

the relevant quadratic equation is,

(χ2A)2x2+x(χ1B)2=0.

The root of this function that provides positive values for x (i.e., for ϖ2) is,

x=A22χ22[1+Xquad21],

where,

Xquad2χ1χ2AB=sinh(2Z).

This is the desired inversion which gives ϖ(χ1,χ2) in the case q2=2. The desired expression for z(χ1,χ2) is,

z2=χ12q2B2A22q2χ22[1+Xquad21]=A24χ22[12Xquad2+11+Xquad2].

We note as well that in this special case, where q2=2,

4L2

=

ϖ2[1+2sinh2Z]=ϖ2cosh(2Z)=ϖ2[1+sinh2(2Z)]1/2

 

=

A22χ22[1+Xquad21]1+Xquad2

 

=

A22χ22[Xquad2+11+Xquad2].

Note that this expression is very similar, but not identical, to the expression just derived for z2.


Second Special Case (cubic)

When q2=3, the above polynomial becomes a cubic equation and therefore its roots also can be determined analytically. Again setting,

xϖ2,

the relevant cubic equation is,

x3+(Aχ2)2x(Aχ1Bχ2)2=0.


A cubic equation of the form,

x3+ax+b=0,

has the following real root:

x=α+β,

where,

α3

=

b2{1[1+(2b)2(a3)3]1/2}

β3

=

b2{1+[1+(2b)2(a3)3]1/2}


The root of this function that provides positive values for x (i.e., for ϖ2) is,

x=(A2χ122B2χ22)1/3{[1+1+Xcube2]1/3+[11+Xcube2]1/3},

where,

Xcube222B4A233χ14χ22.

This is the desired inversion which gives ϖ(χ1,χ2) in the case q2=3.


Integrals of Motion

T2 Coordinates: In an accompanying chapter we begin to examine what the 3rd integral of motion might be in the T2 coordinate system.


T3 Coordinates: In yet another accompanying chapter we define the properties of, and begin to examine what the 3rd integral of motion might be, in a system we refer to as T3 coordinates.

See Also


Tiled Menu

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