Difference between revisions of "User:Tohline/Appendix/Ramblings/T1Coordinates"
(→Relationship Between the Two: Fix minor mistakes and improve presentation) |
(→First Special Case: Improve presentation of quadratic equation) |
||
Line 194: | Line 194: | ||
<div align="center"> | <div align="center"> | ||
<math> | <math> | ||
\biggl( \frac{\chi_2 | \biggl( \frac{\chi_2}{A} \biggr)^2 x^2 + x - \biggl( \frac{\chi_1}{B} \biggr)^2 = 0 . | ||
</math> | </math> | ||
</div> | </div> |
Revision as of 02:07, 15 May 2010
| Tiled Menu | Tables of Content | Banner Video | Tohline Home Page | |
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>?
First Attempt
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 T1 coordinates can be written as,
<math> \chi_1 \equiv B \varpi \cosh\Zeta ~~~~~\mathrm{and} ~~~~~ \chi_2 \equiv A \varpi^{1-q^2} \sinh\Zeta . </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 = A \varpi^{1-q^2} \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.
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
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>. 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}{2q^2 \chi_2^2}\biggl[ \biggl(1+ \Chi_\mathrm{quad}^2 \biggr) - \sqrt{1 + \Chi_\mathrm{quad}^2}\biggr] . </math>
© 2014 - 2021 by Joel E. Tohline |