Relationship Between HNM82 Models and T1 Coordinates

Preamble

In the mid-1990s I invested time trying to gain a better understanding of the "<math>3^\mathrm{rd}</math> 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 <math>\xi_1</math> are confocal rather than concentric oblate spheroids. In an effort to uncover a closed-form mathematical prescription for the "<math>3^\mathrm{rd}</math> integral" in this case, I developed an orthogonal coordinate system in which surfaces of constant <math>\xi_1</math> 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:

Original presentation of T1 Coordinates; (This page of shtml text may only be viewable using Internet Explorer.)
PDF-formatted presentation of T1 Coordinates

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 <math>a_1</math> & <math>a_3</math> specified, respectively, along the <math>\varpi</math> and <math>z</math> axes will be defined by the expression,

<math> \biggl(\frac{\varpi}{a_1}\biggr)^2 + \biggl(\frac{z}{a_3}\biggr)^2 = 1 . </math>

Hence, a coordinate system that perfectly overlays a set of concentric spheroidal surfaces should have a radial <math>\xi_1</math> coordinate of the form,

<math> \xi_1 \equiv \biggl[ z^2 + \biggl( \frac{\varpi}{q}\biggr)^2 \biggr]^{1/2} , </math>

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

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

<math> \xi_2 \equiv \tan^{-1}\biggl[ \frac{\varpi}{z^{1/q^2}} \biggr] . </math>

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,

<math> \xi_3 \equiv \tan^{-1}\biggl[ \frac{y}{x} \biggr] . </math>

One Special Case

For the specific case of <math>q^2 = 2</math> — that is, for <math>a_1/a_3 = \sqrt{2}</math> — we will find that

<math> 2z^2 + \varpi^2 = \mathrm{constant} , </math>

along surfaces of constant <math>\xi_1</math>; and we will find that

<math> \frac{\varpi^2}{z} = \mathrm{constant} , </math>

along surfaces of constant <math>\xi_2</math>.

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,

<math> \Phi </math>	<math>=</math>	<math> 2c_s^2 \ln\biggl[ \varpi^\gamma \cosh(\gamma\zeta) \biggr] </math>
	<math>=</math>	<math> 2c_s^2 \ln\biggl[ \frac{1}{2}(r+z)^\gamma + \frac{1}{2}(r-z)^\gamma \biggr] , </math>

where <math>\gamma</math> is an index that identifies the specific member of the family of solutions, <math>c_s</math> is the isothermal sound speed, <math>r</math> is a spherical radius, that is,

<math> r \equiv ( \varpi^2 + z^2 )^{1/2} , </math>

and,

<math> \zeta \equiv \ln\biggl[ \frac{r + z}{\varpi} \biggr] = \sinh^{-1}\biggl(\frac{z}{\varpi}\biggr) . </math>

For completeness we note that these HNM82 models have a simple rotation profile in which <math>v_\varphi</math> is uniform in space, and the index <math>\gamma</math> is related to the uniform Mach number <math>\mathcal{M} \equiv v_\varphi/c_s</math> via the algebraic expression,

<math>\gamma = 1 + \frac{1}{2}\mathcal{M}^2</math> .

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

<math> \frac{\varpi^{\gamma-1}}{\sinh[(\gamma-1)\zeta]} = \mathrm{constant} . </math> .

One Special Case

HNM82 also point out that, "in a special case <math>\gamma=2</math>, the equi-potential surfaces and the gravity lines are expressed simply as,"

<math> \varpi^2 + 2z^2 = \mathrm{constant} ~~~~\mathrm{and}~~~~ \frac{\varpi^2}{z} = \mathrm{constant} , </math>

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 <math>\gamma=2</math> matches identically the T1 coordinate lines in the special case highlighted above, namely, the case of <math>q^2 = 2</math>. At the very least, this must mean that the equilibrium model constructed by HNM82 in the case of <math>\gamma=2</math> must have equipotential surfaces that are concentric oblate spheroids having axis ratio, <math>a_1/a_3 = \sqrt{2}</math>.

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 <math>\zeta</math>?

T2 Coordinates

Trial Definition

If I define the dimensionless angle,

<math> \Zeta \equiv \sinh^{-1}\biggl( \frac{qz}{\varpi} \biggr) , </math>

which is similar but not identical to the HNM82 angle, <math>\zeta</math>, the two key "T2" coordinates can be written as,

<math> \chi_1 \equiv B \varpi \cosh\Zeta ~~~~~\mathrm{and} ~~~~~ \chi_2 \equiv \frac{A \sinh\Zeta}{ \varpi^{q^2-1}} . </math>

(To maintain some flexibility, I have inserted two, as yet unspecified, coefficients, <math>B</math> and <math>A</math>, into the expression for <math>\chi_1</math> and <math>\chi_2</math>, respectively.) Let's check to see how these two coordinates are related to the original T1 coordinates:

<math> \chi_1 = B \varpi \biggl[ 1+\sinh^2\Zeta \biggr]^{1/2} = B \varpi \biggl[ 1+\biggl( \frac{qz}{\varpi} \biggr)^2 \biggr]^{1/2} = B ( \varpi^2 + q^2z^2 )^{1/2} = qB \xi_1 ; </math>

and,

<math> \chi_2 = \frac{A}{ \varpi^{q^2-1}} \biggl( \frac{qz}{\varpi} \biggr) = \frac{Aqz}{\varpi^{q^2}} = Aq \biggl[\frac{1}{\tan\xi_2} \biggr]^{q^2} . </math>

While the relationship between <math>\chi_2</math> and <math>\xi_2</math> looks rather convoluted, there is at least a rational reason (provided by HNM82) for specifying the form of <math>\chi_2</math>, whereas the original specification of <math>\xi_2</math> 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,

<math> L \equiv \biggl[ z^2 + \frac{\varpi^2}{q^4} \biggr]^{1/2} . </math>

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

<math> q^4 L^2 = \varpi^2 + q^4 z^2 = \varpi^2 \biggl[1 + q^2 \sinh^2 \Zeta \biggr] . </math>

Scale Factors

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

	<math> \frac{\partial}{\partial x} </math>	<math> \frac{\partial}{\partial y} </math>	<math> \frac{\partial}{\partial z} </math>
<math>\chi_1</math>	<math> \biggl(\frac{B^2}{\chi_1}\biggr) x </math>	<math> \biggl(\frac{B^2}{\chi_1}\biggr) y </math>	<math> \biggl(\frac{B^2}{\chi_1}\biggr) q^2 z </math>
<math>\chi_2</math>	<math> - \biggl( \frac{q^3 A z}{\varpi^{q^2+2}} \biggr) x </math>	<math> - \biggl( \frac{q^3 A z}{\varpi^{q^2+2}} \biggr) y </math>	<math> \frac{qA}{\varpi^{q^2}} </math>
<math>\chi_3</math>	<math> - \biggl( \frac{1}{\varpi^{2}} \biggr) y </math>	<math> + \biggl( \frac{1}{\varpi^{2}} \biggr) x </math>	<math> 0 </math>

The scale factors are, therefore:

<math>h_1^2</math>	<math>=</math>	<math> \biggl[ \biggl( \frac{\partial\chi_1}{\partial x} \biggr)^2 + \biggl( \frac{\partial\chi_1}{\partial y} \biggr)^2 + \biggl( \frac{\partial\chi_1}{\partial z} \biggr)^2 \biggr]^{-1} </math>	<math>=</math>	<math> \biggl[ \biggl( \frac{B^2}{\chi_1}\biggr)^2 (\varpi^2 + q^4 z^2) \biggr]^{-1} </math>	<math>=</math>	<math> \frac{\chi_1^2}{B^4 (\varpi^2 + q^4 z^2)} </math>
<math>h_2^2</math>	<math>=</math>	<math> \biggl[ \biggl( \frac{\partial\chi_2}{\partial x} \biggr)^2 + \biggl( \frac{\partial\chi_2}{\partial y} \biggr)^2 + \biggl( \frac{\partial\chi_2}{\partial z} \biggr)^2 \biggr]^{-1} </math>	<math>=</math>	<math> \biggl[ \biggl( \frac{q A}{\varpi^{q^2+1}}\biggr)^2 (q^4 z^2 + \varpi^2) \biggr]^{-1} </math>	<math>=</math>	<math> \frac{\varpi^4 \sinh^2\Zeta}{q^2 \chi_2^2 (\varpi^2 + q^4 z^2)} </math>
<math>h_3^2</math>	<math>=</math>	<math> \biggl[ \biggl( \frac{\partial\chi_3}{\partial x} \biggr)^2 + \biggl( \frac{\partial\chi_3}{\partial y} \biggr)^2 + \biggl( \frac{\partial\chi_3}{\partial z} \biggr)^2 \biggr]^{-1} </math>	<math>=</math>	<math> \biggl[ \biggl( \frac{1}{\varpi^2}\biggr)^2 (x^2 + y^2) \biggr]^{-1} </math>	<math>=</math>	<math> \varpi^2 </math>

Position Vector

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

<math>\hat{i}</math>	<math>=</math>	<math> \hat{e}_1 \biggl( h_1 \frac{\partial\chi_1}{\partial x} \biggr) + \hat{e}_2 \biggl( h_2 \frac{\partial\chi_2}{\partial x} \biggr) + \hat{e}_3 \biggl( h_3 \frac{\partial\chi_3}{\partial x} \biggr) </math>	<math>=</math>	<math> \frac{x}{(\varpi^2 + q^4 z^2)^{1/2}} \biggl[ \hat{e}_1 - \hat{e}_2\biggl(\frac{q^2 z}{\varpi}\biggr) \biggr] - \hat{e}_3 \biggl(\frac{y}{\varpi}\biggr) </math>
<math>\hat{j}</math>	<math>=</math>	<math> \hat{e}_1 \biggl( h_1 \frac{\partial\chi_1}{\partial y} \biggr) + \hat{e}_2 \biggl( h_2 \frac{\partial\chi_2}{\partial y} \biggr) + \hat{e}_3 \biggl( h_3 \frac{\partial\chi_3}{\partial y} \biggr) </math>	<math>=</math>	<math> \frac{y}{(\varpi^2 + q^4 z^2)^{1/2}} \biggl[ \hat{e}_1 - \hat{e}_2\biggl(\frac{q^2 z}{\varpi}\biggr) \biggr] + \hat{e}_3 \biggl(\frac{x}{\varpi}\biggr) </math>
<math>\hat{k}</math>	<math>=</math>	<math> \hat{e}_1 \biggl( h_1 \frac{\partial\chi_1}{\partial z} \biggr) + \hat{e}_2 \biggl( h_2 \frac{\partial\chi_2}{\partial z} \biggr) + \hat{e}_3 \biggl( h_3 \frac{\partial\chi_3}{\partial z} \biggr) </math>	<math>=</math>	<math> \frac{1}{(\varpi^2 + q^4 z^2)^{1/2}} \biggl[ \hat{e}_1 (q^2 z) + \hat{e}_2 \varpi \biggr] </math>

Therefore, the position vector is,

Coordinate Inversion

Can we invert these expressions to obtain <math>\varpi</math> and <math>\Zeta</math> (or, equivalently, <math>z</math>) strictly in terms of <math>\chi_1</math> and <math>\chi_2</math>? Well, we can start by squaring both coordinates and subtracting to isolate <math>\varpi^2</math>. Specifically,

<math> \biggl( \frac{\chi_1}{B\varpi} \biggr)^2 - \biggl( \frac{\chi_2}{A\varpi^{1-q^2}} \biggr)^2 = \cosh^2\Zeta - \sinh^2\Zeta = 1 . </math>

Hence, the desired functional expression <math>\varpi^2(\chi_1,\chi_2)</math> comes from the root(s) of the following polynomial equation:

<math> \biggl( \frac{\chi_2}{A} \biggr)^2 (\varpi^2)^{q^2} + \varpi^2 - \biggl(\frac{\chi_1}{B}\biggr)^2 = 0 . </math>

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, <math>q</math>. But it should be possible to obtain analytically expressible roots in the case of <math>q^2 = 2</math>, <math>q^2 = 3</math>, and <math>q^2 = 4</math>. Once the expression for <math>\varpi^2(\chi_1,\chi_2)</math> is known, a determination of <math>z(\chi_1,\chi_2)</math> is straightforward. Specifically,

<math> z = \frac{\varpi}{q} \sinh\Zeta = \frac{\varpi}{q} \biggl[ \frac{\chi_2}{A} ~ \varpi^{q^2-1} \biggr] = \biggl[ \frac{\chi_2}{qA} ~ \varpi^{q^2} \biggr] . </math>

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

<math> \chi_2^2 (\varpi^2)^{q^2} = A^2 \biggl(\frac{\chi_1^2}{B^2} - \varpi^2 \biggr) . </math>

Hence, quite generally we deduce,

<math> z^2 = \frac{1}{q^2} \biggl(\frac{\chi_1^2}{B^2} - \varpi^2 \biggr) , </math>

which, in retrospect, could have been derived more directly from the definition of <math>\chi_1</math>.

First Special Case (quadratic)

When <math>q^2 = 2</math>, the above polynomial becomes a quadratic equation and therefore its roots can be determined analytically. Setting,

<math> x \equiv \varpi^2 , </math>

the relevant quadratic equation is,

<math> \biggl( \frac{\chi_2}{A} \biggr)^2 x^2 + x - \biggl( \frac{\chi_1}{B} \biggr)^2 = 0 . </math>

The root of this function that provides positive values for <math>x</math> (i.e., for <math>\varpi^2</math>) is,

<math> x = \frac{A^2}{2\chi_2^2} \biggl[ \sqrt{1 + \Chi_\mathrm{quad}^2} - 1 \biggr] , </math>

where,

<math> \Chi_\mathrm{quad} \equiv \frac{2\chi_1 \chi_2}{AB} = \sinh (2\Zeta). </math>

This is the desired inversion which gives <math>\varpi(\chi_1,\chi_2)</math> in the case <math>q^2 = 2</math>. The desired expression for <math>z(\chi_1,\chi_2)</math> is,

<math> z^2 = \frac{\chi_1^2}{q^2 B^2}- \frac{A^2}{2q^2 \chi_2^2} \biggl[ \sqrt{1 + \Chi_\mathrm{quad}^2} - 1 \biggr] = \frac{A^2}{4 \chi_2^2}\biggl[ \frac{1}{2} \Chi_\mathrm{quad}^2 +1 - \sqrt{1 + \Chi_\mathrm{quad}^2}\biggr] . </math>

We note as well that in this special case, where <math>q^2 = 2</math>,

<math> 4 L^2 </math>	<math> = </math>	<math> \varpi^2 \biggl[1 + 2 \sinh^2 \Zeta \biggr] = \varpi^2 \cosh(2\Zeta) = \varpi^2 \biggl[ 1+\sinh^2(2\Zeta) \biggr]^{1/2} </math>
	<math> = </math>	<math> \frac{A^2}{2\chi_2^2} \biggl[ \sqrt{1 + \Chi_\mathrm{quad}^2} - 1 \biggr] \sqrt{ 1 + \Chi_\mathrm{quad}^2} </math>
	<math> = </math>	<math> \frac{A^2}{2\chi_2^2} \biggl[ \Chi_\mathrm{quad}^2 + 1 - \sqrt{ 1 + \Chi_\mathrm{quad}^2} \biggr] . </math>

Note that this expression is very similar, but not identical, to the expression just derived for <math>z^2</math>.

Second Special Case (cubic)

When <math>q^2 = 3</math>, the above polynomial becomes a cubic equation and therefore its roots also can be determined analytically. Again setting,

<math> x \equiv \varpi^2 , </math>

the relevant cubic equation is,

<math> x^3 + \biggl( \frac{A}{\chi_2} \biggr)^2 x - \biggl( \frac{A \chi_1}{B \chi_2} \biggr)^2 = 0 . </math>

A cubic equation of the form,

has the following real root:

<math> x = \alpha + \beta , </math>

where,

<math> \alpha^3 </math>	<math> = </math>	<math> -\frac{b}{2} \biggl\{ 1 - \biggl[ 1 + \biggl( \frac{2}{b} \biggr)^2 \biggl( \frac{a}{3} \biggr)^3 \biggr]^{1/2} \biggr\} </math>
<math> \beta^3 </math>	<math> = </math>	<math> -\frac{b}{2} \biggl\{ 1 + \biggl[ 1 + \biggl( \frac{2}{b} \biggr)^2 \biggl( \frac{a}{3} \biggr)^3 \biggr]^{1/2} \biggr\} </math>

The root of this function that provides positive values for <math>x</math> (i.e., for <math>\varpi^2</math>) is,

<math> x = \biggl( \frac{A^2 \chi_1^2}{2 B^2\chi_2^2} \biggr)^{1/3} \biggl\{ \biggl[ 1 + \sqrt{1 + \Chi_\mathrm{cube}^2} \biggr]^{1/3} + \biggl[ 1 - \sqrt{1 + \Chi_\mathrm{cube}^2} \biggr]^{1/3} \biggr\} , </math>

where,

<math> \Chi_\mathrm{cube}^2 \equiv \frac{2^2 B^4 A^2}{3^3 \chi_1^4 \chi_2^2} . </math>

This is the desired inversion which gives <math>\varpi(\chi_1,\chi_2)</math> in the case <math>q^2 = 3</math>.

User:Tohline/Appendix/Ramblings/T1Coordinates

Contents

Relationship Between HNM82 Models and T1 Coordinates

Preamble

T1 Coordinates

One Special Case

HNM82

One Special Case

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

T2 Coordinates

Trial Definition

Scale Factors

Position Vector

Coordinate Inversion

First Special Case (quadratic)

Second Special Case (cubic)

Navigation menu

Search