User:Tohline/ThreeDimensionalConfigurations/RiemannStype

Riemann S-type Ellipsoids

General Coefficient Expressions

As has been detailed in an accompanying chapter, the gravitational potential anywhere inside or on the surface, <math>~(a_1,a_2,a_3) ~\leftrightarrow~(a,b,c)</math>, of an homogeneous ellipsoid may be given analytically in terms of the following three coefficient expressions:

<math> ~A_1 </math>	<math> ~= </math>	<math>~2\biggl(\frac{b}{a}\biggr)\biggl(\frac{c}{a}\biggr) \biggl[ \frac{F(\theta,k) - E(\theta,k)}{k^2 \sin^3\theta} \biggr] \, , </math>
<math> ~A_3 </math>	<math> ~= </math>	<math> ~2\biggl(\frac{b}{a}\biggr) \biggl[ \frac{(b/a) \sin\theta - (c/a)E(\theta,k)}{(1-k^2) \sin^3\theta} \biggr] \, , </math>
<math> ~A_2 </math>	<math> ~= </math>	<math>~2 - (A_1+A_3) \, ,</math>

where, <math>~F(\theta,k)</math> and <math>~E(\theta,k)</math> are incomplete elliptic integrals of the first and second kind, respectively, with arguments,

<math>~\theta = \cos^{-1} \biggl(\frac{c}{a} \biggr)</math>	and	<math>~k = \biggl[\frac{1 - (b/a)^2}{1 - (c/a)^2} \biggr]^{1/2} \, .</math>
[ EFE, Chapter 3, §17, Eq. (32) ]

TEST (part 1) Notation: Use <math>~\phi</math> in place of <math>~\theta</math>.
<math>~\frac{b}{a}</math>	<math>~\frac{c}{a}</math>	<math>~\phi</math>		<math>~k</math>		Numerical Recipes		<math>~A_1</math>	<math>~A_2</math>	<math>~A_3</math>
		(deg)	(rad)	(deg)	(rad)	<math>~F(\phi,k) </math>	<math>~E(\phi,k) </math>
0.9	0.641	50.13357253	0.874995907	32.53852919	0.567904468	0.909025949	0.843118048	0.521450273	0.595131012	0.883418715

Equilibrium Conditions for Riemann S-type Ellipsoids

We begin this section by quoting from the first paragraph in §II, p. 892 of Chandrasekhar (1965). "The problem that is to be considered … is that of a homogeneous mass, rotating uniformly with an angular velocity <math>\vec\Omega_f</math>, with internal motions having a uniform vorticity <math>~\vec\zeta</math> in the direction of <math>~\Omega_f</math> and in the frame of reference rotating with the angular velocity <math>~\vec\Omega_f</math>." As did Chandrasekhar, we will find it useful to refer to the ratio of these highlighted frequencies as the key model parameter,

<math>~f</math>

<math>~\equiv</math>

<math>~\frac{\zeta}{\Omega_f} \, .</math>

Chandrasekhar (1965), p. 892, §II, Eq. (15)

Based on Virial Equilibrium

Pulling from Chapter 7 — specifically, §48 — of Chandrasekhar's EFE, we understand that the semi-axis ratios, <math>~(\tfrac{b}{a}, \tfrac{c}{a})</math> associated with Riemann S-type ellipsoids are given by the roots of the equation,

<math>~ \biggl[ \frac{a^2 b^2}{a^2 + b^2} \biggr] f \biggl( \frac{\Omega^2}{\pi G \rho} \biggr) </math>	<math>~=</math>	<math>~a^2 b^2 A_{12} - c^2 A_3 \, ,</math>
[ EFE, §48, Eq. (34) ]

and the associated value of the square of the equilibrium configuration's angular velocity is,

<math>~\biggl[ 1 + \frac{a^2 b^2 \cdot f^2}{(a^2 + b^2)^2} \biggr] \frac{\Omega^2}{\pi G \rho}</math>	<math>~=</math>	<math>~2B_{12} \, ,</math>
[ EFE, §48, Eq. (33) ]

where,

<math>~A_{12}</math>	<math>~\equiv</math>	<math>~-\frac{A_1-A_2}{(a^2 - b^2)} \, ,</math>
[ EFE, §21, Eq. (107) ]
<math>~B_{12}</math>	<math>~\equiv</math>	<math>~A_2 - a^2A_{12} \, .</math>
[ EFE, §21, Eq. (105) ]

(Notice that if we set <math>~f \rightarrow 0</math>, this pair of expressions simplifies to the pair we have provided in a separate discussion of the equilibrium conditions for Jacobi ellipsoids.) Following Chandrasekhar's lead and eliminating <math>~\Omega^2</math> between these two expressions, we obtain,

<math>~0</math>	<math>~=</math>	<math>~ \biggl[ \frac{a^2 b^2}{(a^2 + b^2)^2} \biggr] f^2 + \biggl[ \frac{2a^2 b^2 B_{12}}{c^2 A_3 - a^2 b^2 A_{12}} \biggr]\frac{f}{a^2 + b^2} + 1 \, . </math>
[ EFE, §48, Eq. (35) ]

For a given <math>~f</math>, this last expression determines the ratios of the axes of the ellipsoids that are compatible with equilibrium; and the value of <math>~\Omega^2</math>, that is to be associated with a particular solution of this last expression, then follows from either one of the first two expressions. For convenience of evaluation and for greater clarity, let's rewrite this last (quadratic) equation in the form,

<math>~0</math>

<math>~=</math>

<math>~ \alpha f^2 + \beta f + 1 \, , </math>

in which case the pair of solutions is,

<math>~f</math>

<math>~=</math>

<math>~ \frac{1}{2\alpha}\biggr\{ - \beta \pm \biggl[ \beta^2 - 4\alpha \biggr]^{1 / 2} \biggr\} \, ; </math>

and the corresponding values of the angular velocity (in units of [G ρ]^½) are provided by the expression,

<math>~\omega \equiv \frac{\Omega}{\sqrt{G\rho}}</math>

<math>~=</math>

<math>~ \pm \biggl\{ 2 \pi B_{12} \biggl[ 1 + \alpha f^2 \biggr]^{-1} \biggr\}^{1 / 2} </math>

As an aid in determining both values of the parameter, <math>~f</math>, we note as well that,

<math>~f_+ \cdot f_-</math>

<math>~=</math>

<math>~ \frac{1}{\alpha} = \biggl[ \frac{a^2 + b^2}{ab}\biggr]^2 \, . </math>

TEST (part 2)
<math>~\frac{b}{a}</math>	<math>~\frac{c}{a}</math>	<math>~a^2 A_{12}</math>	<math>~ B_{12}</math>	<math>~\alpha \equiv \frac{(b/a)^2}{[ 1 + (b/a)^2]^2} </math>	<math>~\beta \equiv \biggl[ \frac{2 B_{12}}{(c/b)^2 A_3 - a^2 A_{12}} \biggr]\frac{1}{1 + (b/a)^2} </math>	Direct		Adjoint
						<math>~f </math>	<math>~\omega = \frac{\Omega}{\sqrt{G\rho}} </math>	<math>~f^\dagger </math>	<math>~\omega^\dagger = \frac{\Omega^\dagger}{\sqrt{G\rho}} </math>
0.9	0.641	0.387793362	0.207337649	0.247245200	3.797483556	- 0.268008879	± 1.131374734	-15.09117122	± 0.150771618

Based on Detailed Force Balance

The Steady-State Condition

As has been pointed out in our introductory discussion of the Principal Governing Equations, quite generally we can write the

Eulerian Representation
of the Euler Equation
as viewed from a Rotating Reference Frame

<math>\biggl[\frac{\partial\vec{v}}{\partial t}\biggr]_\mathrm{rot} + ({\vec{v}}_\mathrm{rot}\cdot \nabla) {\vec{v}}_\mathrm{rot}= - \frac{1}{\rho} \nabla P - \nabla \biggl[\Phi_\mathrm{grav} - \frac{1}{2}|{\vec{\Omega}}_f \times \vec{x}|^2 \biggr] - 2{\vec{\Omega}}_f \times {\vec{v}}_\mathrm{rot} \, ,</math>

where, <math>~{\vec{\Omega}}_f </math> specifies the time-invariant rotation frequency of the frame and the orientation of the vector about which the frame spins. The condition for detailed force balance in a steady-state configuration is obtained by setting <math>~[\partial \vec{v}/\partial t]_\mathrm{rot} = 0</math>. If we furthermore make the substitution, <math>~\nabla H = \nabla P/\rho</math>, where <math>~H</math> is enthalpy — an equation of state relation that is appropriate for a barytropic system — we obtain,

<math>~({\vec{v}}_\mathrm{rot} \cdot \nabla ){\vec{v}}_\mathrm{rot}</math>

<math>~=</math>

<math>~ - \nabla\biggl[ H + \Phi_\mathrm{grav} - \frac{1}{2} \Omega_f^2(x^2 + y^2)\biggr] - 2{\vec{\Omega}}_f \times {\vec{v}}_\mathrm{rot} \, . </math>

Ou(2006), p. 550, §2, Eq. (4)

Adopted Velocity Flow-Field

As Ou(2006) has pointed out [text that is taken directly from that publication appears here in an orange-colored font], the velocity field of a Riemann S-type ellipsoid as viewed from a frame rotating with angular velocity <math>~{\vec{\Omega}}_f = \boldsymbol{\hat{k}} \Omega_f</math> takes the following form:

<math>~{\vec{v}}_\mathrm{rot}</math>

<math>~=</math>

<math>~\lambda \biggl[ \boldsymbol{\hat{\imath}} \biggl(\frac{a}{b}\biggr)y - \boldsymbol{\hat{\jmath}} \biggl(\frac{b}{a}\biggr)x \biggr] \, ,</math>

Ou(2006), p. 550, §2, Eq. (3)

where <math>~\lambda</math> is a constant that determines the magnitude of the internal motion of the fluid, and the origin of the x-y coordinate system is at the center of the ellipsoid. This velocity field <math>~{\vec{v}}_\mathrm{rot}</math> is designed so that velocity vectors everywhere are always aligned with elliptical stream lines by demanding that they be tangent to the equi-effective-potential contours, which are concentric ellipses.

Plugging Ou's expression for <math>~{\vec{v}}_\mathrm{rot}</math> into the expression on the left-hand side of the steady-state Euler equation, we see that for Riemann S-type ellipsoids, <math>~({\vec{v}}_\mathrm{rot} \cdot \nabla){\vec{v}}_\mathrm{rot}</math> <math>~=</math> <math>~ \biggl[ \lambda\biggl(\frac{a}{b}\biggr)y \frac{\partial}{\partial x} - \lambda\biggl(\frac{b}{a}\biggr)x \frac{\partial}{\partial y} \biggr] \biggl[\boldsymbol{\hat{\imath}}\lambda\biggl(\frac{a}{b}\biggr)y - \boldsymbol{\hat{\jmath}} \lambda\biggl( \frac{b}{a}\biggr)x \biggr]</math>   <math>~=</math> <math>~ - \boldsymbol{\hat{\jmath}} \biggl[ \lambda\biggl(\frac{a}{b}\biggr)y\biggr] \frac{\partial}{\partial x} \biggl[ \lambda\biggl( \frac{b}{a}\biggr)x \biggr] - \boldsymbol{\hat{\imath}} \biggl[ \lambda\biggl(\frac{b}{a}\biggr)x\biggr] \frac{\partial}{\partial y} \biggl[\lambda\biggl(\frac{a}{b}\biggr)y \biggr] </math>   <math>~=</math> <math>~ -\lambda^2\biggl[ \boldsymbol{\hat{\imath}} x + \boldsymbol{\hat{\jmath}} y \biggr] = -\nabla\biggl[\frac{1}{2}\lambda^2(x^2 + y^2) \biggr] \, . </math> Alternatively, from a separate discussion of vector identities we realize that, <math> (\vec{v}\cdot\nabla)\vec{v} = \frac{1}{2}\nabla(\vec{v}\cdot \vec{v}) + \vec{\zeta}\times \vec{v} , </math> where, <math>\vec\zeta \equiv \nabla\times\vec{v}</math> is the fluid vorticity. Plugging in Ou's expression for <math>~{\vec{v}}_\mathrm{rot}</math>, we find that … <math>~\vec{\zeta} = \nabla\times {\vec{v}}_\mathrm{rot}</math> <math>~=</math> <math>~-\boldsymbol{\hat{k}} \lambda \biggl[ \frac{b}{a} + \frac{a}{b} \biggr] \, ;</math> Ou(2006), p. 551, §2, Eq. (17) <math>~\vec{\zeta} \times {\vec{v}}_\mathrm{rot}</math> <math>~=</math> <math>~-\lambda^2\biggl[\boldsymbol{\hat{\jmath}} \biggl(1 + \frac{a^2}{b^2}\biggr)y + \boldsymbol{\hat{\imath}} \biggl(1 + \frac{b^2}{a^2}\biggr)x \biggr] \, ; </math>     and, <math>~\frac{1}{2}\nabla( {\vec{v}}_\mathrm{rot} \cdot {\vec{v}}_\mathrm{rot} )</math> <math>~=</math> <math>~\lambda^2\biggl[ \boldsymbol{\hat{\imath}} \biggl(\frac{b}{a}\biggr)^2x + \boldsymbol{\hat{\jmath}} \biggl(\frac{a}{b}\biggr)^2y \biggr] \, .</math> Hence, we again appreciate that, for Riemann S-type ellipsoids, <math>~( {\vec{v}}_\mathrm{rot} \cdot \nabla){\vec{v}}_\mathrm{rot} </math> <math>~=</math> <math>~-\lambda^2\biggl[ \boldsymbol{\hat{\imath}} x + \boldsymbol{\hat{\jmath}} y \biggr] </math> <math>~=</math> <math>~-\nabla\biggl[\frac{1}{2}\lambda^2(x^2 + y^2) \biggr] \, .</math>

The steady-state Euler-equation specification therefore becomes,

<math>~-\nabla\biggl[\frac{1}{2} \lambda^2(x^2 + y^2) \biggr]</math>

<math>~=</math>

<math>~ - \nabla\biggl[ H + \Phi_\mathrm{grav} - \frac{1}{2} \Omega_f^2(x^2 + y^2)\biggr] - \nabla\biggl[\Omega_f \lambda \biggl(\frac{b}{a}x^2 + \frac{a}{b}y^2 \biggr) \biggr] \, . </math>

Ou(2006), p. 550, §2, Eq. (5)

Hence, within the configuration the following Bernoulli's function must be uniform in space:

<math>~ H + \Phi_\mathrm{grav} - \frac{1}{2} \Omega_f^2(x^2 + y^2) - \frac{1}{2} \lambda^2(x^2 + y^2) + \Omega_f \lambda \biggl(\frac{b}{a}x^2 + \frac{a}{b}y^2 \biggr) </math>

<math>~=</math>

<math>~ C_B \, , </math>

Ou(2006), p. 550, §2, Eq. (6)

where <math>~C_B</math> is a constant. It is customary to define an effective potential which is the sum of the gravitational potential and the system's centrifugal potential (as viewed from the rotating frame), namely,

<math>~\Phi_\mathrm{eff} \equiv \Phi_\mathrm{grav} + \Psi</math>

<math>~=</math>

<math>~ \Phi_\mathrm{grav} - \frac{1}{2} \Omega_f^2(x^2 + y^2) - \frac{1}{2} \lambda^2(x^2 + y^2) + \Omega_f \lambda \biggl(\frac{b}{a}x^2 + \frac{a}{b}y^2 \biggr) \, , </math>

Ou(2006), p. 550, §2, Eq. (7)

in which case the statement of detailed force balance in Riemann S-type ellipsoids can be rewritten in the following deceptively simpler form:

<math>~H + \Phi_\mathrm{eff}</math>

<math>~=</math>

<math>~C_B \, .</math>

Ou(2006), p. 550, §2, Eq. (8)

Evaluation of the Gravitational Potential

Drawing from a separate discussion of the gravitational potential of homogeneous ellipsoids, we see that for Riemann S-type ellipsoids,

<math> ~\Phi_\mathrm{grav}(\vec{x}) = -\pi G \rho \biggl[ I_\mathrm{BT} a^2 - \biggl(A_1 x^2 + A_2 y^2 +A_3 z^2 \biggr) \biggr], </math>

[ EFE, Chapter 3, Eq. (40)^1,2 ]
[ BT87, Chapter 2, Table 2-2 ]

where, the normalization constant,

<math> ~I_\mathrm{BT} </math>

<math> ~= A_1 + A_2\biggl(\frac{b}{a}\biggr)^2+ A_3\biggl(\frac{c}{a}\biggr)^2 . </math>

[ EFE, Chapter 3, Eq. (22)¹]
[ BT87, Chapter 2, Table 2-2 ]

Implied Parameter Values

So, at the surface of the ellipsoid (where the enthalpy H = 0) on each of its three principal axes, the equilibrium conditions demanded by the expression for detailed force balance become, respectively:

1. On the x-axis, where (x, y, z) = (a, 0, 0):
   

   <math>~C_B</math>	<math>~=</math>	<math>~ -\pi G \rho \biggl[ I_\mathrm{BT} a^2 - A_1 a^2 \biggr] - \frac{1}{2} \Omega_f^2(a^2 ) - \frac{1}{2} \lambda^2(a^2) + \Omega_f \lambda \biggl(\frac{b}{a}\cdot a^2 \biggr) </math>
   <math>~\Rightarrow ~~~2\biggl[ \frac{C_B}{a^2} + (\pi G\rho)I_\mathrm{BT} \biggr]</math>	<math>~=</math>	<math>~ (2\pi G \rho) A_1 - \Omega_f^2 - \lambda^2 + 2\Omega_f \lambda \biggl(\frac{b}{a} \biggr) </math>

2. On the y-axis, where (x, y, z) = (0, b, 0):
   

   <math>~C_B</math>	<math>~=</math>	<math>~ -\pi G \rho \biggl[ I_\mathrm{BT} a^2 - A_2 b^2 \biggr] - \frac{1}{2} \Omega_f^2(b^2) - \frac{1}{2} \lambda^2(b^2) + \Omega_f \lambda \biggl(\frac{a}{b}\cdot b^2 \biggr) </math>
   <math>~\Rightarrow ~~~ 2\biggl[ \frac{C_B}{a^2} + (\pi G\rho)I_\mathrm{BT} \biggr]</math>	<math>~=</math>	<math>~ (2\pi G \rho) A_2 \biggl( \frac{b^2}{a^2}\biggr) - \Omega_f^2 \biggl( \frac{b^2}{a^2} \biggr) - \lambda^2\biggl( \frac{b^2}{a^2} \biggr) + 2\Omega_f \lambda \biggl(\frac{b}{a}\biggr) </math>

3. On the z-axis, where (x, y, z) = (0, 0, c):
   

   <math>~C_B</math>	<math>~=</math>	<math>~ -\pi G \rho \biggl[ I_\mathrm{BT} a^2 - A_3 c^2 \biggr] </math>
   <math>~\Rightarrow ~~~ 2 \biggl[ \frac{C_B}{a^2} + (\pi G\rho)I_\mathrm{BT}\biggr]</math>	<math>~=</math>	<math>~ (2\pi G \rho) A_3 \biggl( \frac{c^2}{a^2}\biggr) </math>

Using the result from "III" to replace the left-hand side of both relation "I" and relation "II", we find that,

<math>~(2\pi G \rho) A_3 \biggl( \frac{c^2}{a^2}\biggr)</math>

<math>~=</math>

<math>~ (2\pi G \rho) A_1 - \Omega_f^2 - \lambda^2 + 2\Omega_f \lambda \biggl(\frac{b}{a} \biggr) \, , </math>

and,

<math>~(2\pi G \rho) A_3 \biggl( \frac{c^2}{a^2}\biggr)</math>

<math>~=</math>

<math>~ (2\pi G \rho) A_2 \biggl( \frac{b^2}{a^2}\biggr) - \Omega_f^2 \biggl( \frac{b^2}{a^2} \biggr) - \lambda^2\biggl( \frac{b^2}{a^2} \biggr) + 2\Omega_f \lambda \biggl(\frac{b}{a}\biggr) \, . </math>

Multiplying the first of these two expressions by <math>~(b/a)^2</math> then subtracting it from the second gives,

<math>~(2\pi G \rho) A_3 \biggl( \frac{c^2}{a^2}\biggr) - \biggl(\frac{b}{a}\biggr)^2 (2\pi G \rho) A_3 \biggl( \frac{c^2}{a^2}\biggr)</math>	<math>~=</math>	<math>~ (2\pi G \rho) A_2 \biggl( \frac{b^2}{a^2}\biggr) + 2\Omega_f \lambda \biggl(\frac{b}{a}\biggr) - \biggl(\frac{b}{a}\biggr)^2 \biggl[ (2\pi G \rho) A_1 + 2\Omega_f \lambda \biggl(\frac{b}{a} \biggr) \biggr] </math>
<math>~\Rightarrow ~~~ \frac{(\pi G \rho)c^2}{ab} \biggl[ A_3 a^2 - A_3 b^2 \biggr]</math>	<math>~=</math>	<math>~ (\pi G \rho) (A_2 - A_1) a b + \Omega_f \lambda a^2 - ab \biggl[ \Omega_f \lambda \biggl(\frac{b}{a} \biggr) \biggr] </math>
	<math>~=</math>	<math>~ (\pi G \rho) (A_2 - A_1) a b + \Omega_f \lambda ( a^2 - b^2 ) </math>
<math>~\Rightarrow ~~~ \frac{\Omega_f \lambda}{\pi G \rho} </math>	<math>~=</math>	<math>~ \frac{1}{a b ( a^2 - b^2 )}\biggl[ A_3 ( a^2 - b^2 )c^2 - (A_2 - A_1) a^2 b^2 \biggr] \, . </math>

Alternatively, just subtracting the first expression from the second gives,

<math>~0</math>	<math>~=</math>	<math>~ (2\pi G \rho) A_2 \biggl( \frac{b^2}{a^2}\biggr) - \Omega_f^2 \biggl( \frac{b^2}{a^2} \biggr) - \lambda^2\biggl( \frac{b^2}{a^2} \biggr) - \biggl[ (2\pi G \rho) A_1 - \Omega_f^2 - \lambda^2 \biggr]</math>
	<math>~=</math>	<math>~ (2\pi G \rho) \biggl[ A_2 \biggl( \frac{b^2}{a^2}\biggr) - A_1 \biggr] + \Omega_f^2 \biggl[1 - \frac{b^2}{a^2} \biggr] + \lambda^2 \biggl[1 - \frac{b^2}{a^2} \biggr]</math>
<math>~\Rightarrow ~~~ \frac{\Omega_f^2 + \lambda^2}{\pi G \rho} </math>	<math>~=</math>	<math>~ 2 \biggl[ A_1 - A_2 \biggl( \frac{b^2}{a^2}\biggr) \biggr]\biggl[ \frac{a^2}{a^2 - b^2} \biggr] \, . </math>

We can eliminate <math>~\lambda</math> between these last two expressions as follows: From the first of the two, we have

<math>~ \lambda </math>

<math>~=</math>

<math>~ \frac{1}{\Omega_f} \biggl\{ \frac{\pi G \rho}{a b ( a^2 - b^2 )}\biggl[ A_3 ( a^2 - b^2 )c^2 - (A_2 - A_1) a^2 b^2 \biggr] \biggr\} \, . </math>

Hence, the second gives,

<math>~\Omega_f^2 </math>	<math>~=</math>	<math>~ 2 (\pi G \rho)\biggl[ A_1 - A_2 \biggl( \frac{b^2}{a^2}\biggr) \biggr]\biggl[ \frac{a^2}{a^2 - b^2} \biggr] - \lambda^2 </math>
	<math>~=</math>	<math>~ 2 (\pi G \rho)\biggl[ A_1 - A_2 \biggl( \frac{b^2}{a^2}\biggr) \biggr]\biggl[ \frac{a^2}{a^2 - b^2} \biggr] - \frac{1}{\Omega_f^2} \biggl\{ \frac{\pi G \rho}{a b ( a^2 - b^2 )}\biggl[ A_3 ( a^2 - b^2 )c^2 - (A_2 - A_1) a^2 b^2 \biggr] \biggr\}^2 </math>
<math>~\Rightarrow ~~~ 0</math>	<math>~=</math>	<math>~ \frac{\Omega_f^4}{(\pi G \rho)^2} - \frac{2\Omega_f^2}{(\pi G \rho)} \biggl[ A_1 - A_2 \biggl( \frac{b^2}{a^2}\biggr) \biggr]\biggl[ \frac{a^2}{a^2 - b^2} \biggr] + \biggl\{ \frac{1}{a b ( a^2 - b^2 )}\biggl[ A_3 ( a^2 - b^2 )c^2 - (A_2 - A_1) a^2 b^2 \biggr] \biggr\}^2 \, . </math>

This is a quadratic equation whose solution gives <math>~\Omega_f^2/(\pi G \rho)</math> and, in turn, <math>~\lambda^2/(\pi G \rho)</math>. Specifically for Direct configurations, we find that,

<math>~\frac{\Omega_f^2}{(\pi G \rho)}</math>

<math>~=</math>

<math>~\frac{1}{2} \biggl[M + \sqrt{ M^2 - 4N^2} \biggr] \, ,</math>

and

<math>~\frac{\lambda^2}{(\pi G \rho)}</math>

<math>~=</math>

<math>~\frac{1}{2} \biggl[M - \sqrt{ M^2 - 4N^2} \biggr] \, ,</math>

Ou(2006), p. 551, §2, Eqs. (15) & (16)

where,

<math>~M</math>	<math>~\equiv</math>	<math>~ 2\biggl[ A_1 - A_2 \biggl( \frac{b^2}{a^2}\biggr) \biggr]\biggl[ \frac{a^2}{a^2 - b^2} \biggr] \, ,</math>     and,
<math>~N</math>	<math>~\equiv</math>	<math>~ \frac{1}{a b ( a^2 - b^2 )}\biggl[ A_3 ( a^2 - b^2 )c^2 - (A_2 - A_1) a^2 b^2 \biggr] \, . </math>

TEST (part 3)
<math>~\frac{b}{a}</math>	<math>~\frac{c}{a}</math>	<math>~A_1</math>	<math>~A_2</math>	<math>~A_3</math>	<math>~M</math>	<math>~N</math>	<math>~\frac{\Omega_f^2}{\pi G \rho}</math>	<math>~\frac{\lambda^2}{\pi G \rho}</math>	<math>~\frac{\Omega_f}{\sqrt{G \rho}}</math>	<math>~\frac{\lambda}{\sqrt{G \rho}}</math>
0.9	0.641	0.521450273	0.595131012	0.883418715	0.414682903	0.054301271	0.407446048	0.007236855	1.131383892	0.150782130

The numerical values listed in the last two columns of this "part 3" test match the values listed above in "part 2" of our test for, respectively, <math>~\omega</math> and <math>~\omega^\dagger</math>.

Relate EFE to Ou(2006)

As we have already acknowledged, according to Ou (2006), at any coordinate position inside or on the surface of the ellipsoid, <math>~(x, y)</math>, the three components of the velocity as viewed from a frame of rotation that is spinning at the equilibrium configuration's frequency, <math>~\Omega_f</math>, are,

<math>~{\vec{v}}_\mathrm{rot}</math>

<math>~=</math>

<math>~\lambda \biggl( \frac{ay}{b} , - \frac{bx}{a} , 0 \biggr) \, ,</math>

where, <math>~\lambda</math> is an overall scale factor. But, according to §48 of EFE, we see that,

<math>~\vec{u}</math>

<math>~=</math>

<math>~\biggl( Q_1 y , Q_2 x , 0 \biggr) \, ,</math>

Chandrasekhar (1965), p. 892, §II, Eq. (9)

where,

<math>~Q_1</math>

<math>~\equiv</math>

<math>~- \biggl[ \frac{a^2}{a^2 + b^2} \biggr]\zeta</math>

and,

<math>~Q_2</math>

<math>~\equiv</math>

<math>~+ \biggl[ \frac{b^2}{a^2 + b^2} \biggr]\zeta \, ,</math>

Chandrasekhar (1965), p. 892, §II, Eq. (10)

and <math>~\zeta</math> is the scalar magnitude of the vorticity vector, <math>~\vec\zeta</math>. The transformation from EFE's notation to the one used by Ou is, then,

<math>~\lambda \biggl( \frac{a}{b} \biggr) </math>

<math>~=</math>

<math>~- \biggl[ \frac{a^2}{a^2 + b^2} \biggr]\zeta</math>

and,

<math>~- \lambda \biggl( \frac{b}{a} \biggr) </math>

<math>~=</math>

<math>~+ \biggl[ \frac{b^2}{a^2 + b^2} \biggr]\zeta </math>

<math>~\Rightarrow ~~~ \lambda </math>

<math>~=</math>

<math>~- \biggl[ \frac{a b}{a^2 + b^2} \biggr]\zeta = - \biggl[ \frac{b}{a} + \frac{a}{b} \biggr]^{-1} \zeta\, ,</math>

which, gratifyingly agrees with Ou's equation (17). It is worth noting as well that, when viewed from the inertial reference frame, the velocity field is,

<math>~\vec{v}</math>

<math>~=</math>

<math>~{\vec{v}}_\mathrm{rot} + \vec\Omega_f \times \vec{x} \, .</math>

Chandrasekhar (1965), p. 892, §II, Eq. (13)

Broken down into its Cartesian components, this is

<math>~\vec{v}</math>	<math>~=</math>	<math>~ \boldsymbol{\hat\imath} \biggl[\lambda \biggl( \frac{a}{b} \biggr) - \Omega_f \biggr]y + \boldsymbol{\hat\jmath} \biggl[- \lambda \biggl( \frac{b}{a} \biggr) + \Omega_f \biggr]x </math>
	<math>~=</math>	<math>~ \boldsymbol{\hat\imath} \biggl[- \biggl( \frac{a b}{a^2 + b^2} \biggr)\zeta \biggl( \frac{a}{b} \biggr) - \Omega_f \biggr]y + \boldsymbol{\hat\jmath} \biggl[\biggl( \frac{a b}{a^2 + b^2} \biggr)\zeta\biggl( \frac{b}{a} \biggr) + \Omega_f \biggr]x </math>
	<math>~=</math>	<math>~ -\boldsymbol{\hat\imath} \biggl[ \biggl( \frac{a^2}{a^2 + b^2} \biggr) f + 1 \biggr] \Omega_fy + \boldsymbol{\hat\jmath} \biggl[\biggl( \frac{b^2}{a^2 + b^2} \biggr) f + 1 \biggr] \Omega_fx \, . </math>

Chandrasekhar (1965), p. 892, §II, Eq. (14)

Summary

It is often useful to discuss the properties of Riemann S-type ellipsoids in the context of what we will refer to as the traditional "EFE Diagram" — a two-dimensional parameter space defined by the axis ratio ranges, 0 ≤ b/a ≤ 1 and 0 ≤ c/a ≤ 1. It is useful to appreciate at the outset, for example, that Riemann S-type ellipsoids only populate a subset of the EFE Diagram's entire parameter space. More specifically, they all lie between or on the two (self-adjoint) curves marked "X = -1" and "X = +1" in the EFE Diagram that is shown here, on the right. Keeping this in mind, we summarize here a sequence of steps that should be taken in order to construct and thereby quantitatively detail all of the physical properties that are associated with any Riemann S-type ellipsoid that lies in this allowed region of the EFE Diagram.

Figure 1

Caption: See Figure 2, below

1. Specify numerical values for any two of the three key parameters: <math>~b/a, c/a, f \equiv \zeta/\Omega_f</math>. The value of the third (unspecified) parameter can then be found by determining the root(s) of the virial-equilibrium-based expression,

   <math>~0</math>	<math>~=</math>	<math>~ \biggl[ \frac{a^2 b^2}{(a^2 + b^2)^2} \biggr] f^2 + \biggl[ \frac{2a^2 b^2 B_{12}}{c^2 A_3 - a^2 b^2 A_{12}} \biggr]\frac{f}{a^2 + b^2} + 1 \, . </math>
   [ EFE, §48, Eq. (35) ]

   1. If you specified the values of <math>~b/a</math> and <math>~c/a</math>, then values of the three parameters, <math>~A_1, A_2, A_3</math> — as well as the related parameters, <math>~A_{12}, B_{12}</math> — can be immediately determined from the above general coefficient expressions and related relations as long as you have an algorithm that can be used to evaluate incomplete elliptic integrals of the first and second kind. The governing virial-equilibrium-based expression then becomes a quadratic equation whose pair of roots give two physically viable values of the parameter, <math>~f</math>; we will refer to them as <math>~f_+</math> and <math>~f_-</math>
      NOTE: If the chosen pair of axis ratios places your configuration above the Jacobi/Dedekind sequence in the familiar "EFE Diagram," then the parameter, <math>~f</math>, will invariably be negative; if it is below the Jacobi/Dedekind sequence, <math>~f</math> will invariably be positive.
      NOTE as well: This is the method that we have used, below, in order to replicate various equilibrium configurations that have been studied by Ou (2006).
   2. If, instead, you specified the value of <math>~f</math> and (only) one of the ellipsoid's axis ratios, then an iterative numerical scheme — such as a Newton Raphson method — will need to be used in order to determine a physically viable (real) root of this nonlinear, virial-equilibrium-based expression. This root will provide the value of the equilibrium ellipsoid's other axis ratio.
      NOTE: The Jacobi/Dedelind sequence is determined in this manner by setting <math>~f = 0</math>, then determining what value of the c/a axis ratio is consistent with various selected values of 0 < b/a ≤ 1.
   3. If, as in step 1.B, only one value of the parameter, <math>~f</math>, is known, the other relevant value may be obtained from the relation,

      <math>~f_+ \cdot f_-</math>

      <math>~=</math>

      <math>~ \biggl[ \frac{a^2 + b^2}{ab}\biggr]^2 \, . </math>

      In either case, if <math>~|f_\pm | < 1</math> the model will be referred to as being a Jacobi-like — or, Direct — configuration because the magnitude of the configuration's spin frequency, <math>~|\Omega_f|</math>, is larger than the magnitude of the frequency, <math>~|\zeta|</math>, that characterizes internal motions (vorticity). On the other hand, if <math>~|f_\pm | > 1</math> the model will be referred to as being a Dedekind-like — or, Adjoint — configuration because the internal motions dominate.
      NOTE: A so-called self-adjoint model sequence will arise when <math>~f_+ = f_-</math> for all values of the axis ratio, 0 < b/a ≤ 1. There are two such sequences, namely, when <math>~f_+ = f_- = (a^2 + b^2)/(ab)</math> — this is the curve labeled, "X =+1" in the EFE Diagram shown here on the right — or when <math>~f_+ = f_- = -(a^2 + b^2)/(ab)</math> — this is the curve labeled, "X = - 1. In the familiar EFE diagram, these curves intersect the Maclaurin sequence (where, b/a = 1) when, respectively, <math>~f_+ = +2</math> and <math>~f_+ = -2</math>.

2. Once a consistently specified set of parameters, <math>~b/a, c/a</math> and <math>~f</math>, is known, the configuration's spin frequency may be straightforwardly obtained from another virial-equilibrium-based expression, namely,

   <math>~\frac{\Omega_f^2}{\pi G \rho}</math>	<math>~=</math>	<math>~2B_{12} \biggl[ 1 + \frac{a^2 b^2 \cdot f^2}{(a^2 + b^2)^2} \biggr]^{-1} \, .</math>
   [ EFE, §48, Eq. (33) ]

3. Once a consistently specified pair of parameters, <math>~\Omega_f</math> and <math>~f</math>, is known, the configuration's vorticity can immediately be determined via the expression,

   <math>~\vec\zeta = \boldsymbol{\hat{k}} \zeta </math>

   where,

   <math>~\zeta = (f \Omega_f) \, .</math>

4. At every location inside a Riemann S-type ellipsoid, the fluid vorticity must be related to the underlying velocity field via the expression, <math>~\vec\zeta = \nabla \times {\vec{v}}_\mathrm{rot}</math>. In order for the vorticity to be uniform throughout the configuration — everywhere being represented by the vector, <math>~\vec\zeta = \boldsymbol{\hat{k}} \zeta</math> — we realize that the velocity field is properly described by the expression,

   <math>~{\vec{v}}_\mathrm{rot}</math>

   <math>~=</math>

   <math>~\lambda \biggl[ \boldsymbol{\hat{\imath}} \biggl(\frac{a}{b}\biggr)y - \boldsymbol{\hat{\jmath}} \biggl(\frac{b}{a}\biggr)x \biggr] \, ,</math>

   where,

   <math>~\lambda</math>

   <math>~\equiv</math>

   <math>~- \biggl[ \frac{ab}{a^2 + b^2} \biggr] \zeta \, .</math>

   Ou(2006), p. 550, §2, Eqs. (3) & (17)

Models Examined by Ou (2006)

In §2 of Ou (2006), immediately after equation (6), we find the following declaration:   In direct configurations, ω > λ so the fluid motion is dominated by figure rotation; conversely, in an adjoint configuration, ω < λ so the fluid motion is dominated by internal motions.

His Tabulated Model Parameters

Table 1 (see below) lists a subset of the Riemann S-type ellipsoids that were studied by Ou (2006); properties of various so-called Direct configurations can be found in Ou's Table 1, while properties of various Adjoint configurations can be found in his Table 5. Each row of our Table 1 was constructed as follows:

• The pair of axis ratios <math>~(\tfrac{b}{a}, \tfrac{c}{a} )</math> associated with one of Ou's (2006) uniform-density, incompressible <math>~(n=0)</math> ellipsoid models (columns 1 and 2 from Ou's Table 1) has been copied into columns 1 and 2 of our table.
• Properties of Direct Configurations …
• The pair of parameter values <math>~(\omega_\mathrm{analytic}, \lambda_\mathrm{analytic})</math> that is required in order for this to be an equilibrium configuration — as specified by the above set of analytical expressions from EFE — is copied from, respectively, columns 11 and 13 of Ou's Table 1 into columns 3 and 4 of our table; in our table, the "analytic" subscript has been dropped from the column headings.
• The value of the equilibrium configuration's vorticity, <math>~\zeta</math> — see column 5 of our table — has been determined from the expression,
  

  <math>~\zeta = - \biggl[ \frac{1 + (b/a)^2}{b/a} \biggr] \lambda \, .</math>

• Column 6 of our table lists the value of the frequency ratio, <math>~f \equiv \zeta/\omega</math>.
• Properties of Adjoint Configurations [in order to distinguish from Direct configuration properties, a superscript † has been attached to each parameter name] …
• As listed in column 7 of our Table, the "spin" angular velocity of the adjoint equilibrium configuration has been determined from the vorticity of the direct configuration via the relation,
  

  <math>~\omega^\dagger = \zeta \biggl[\frac{b/a}{1 + (b/a)^2}\biggr] \, .</math>

• As listed in column 10 of our Table, the ratio <math>~(f^\dagger)</math> of the vorticity to the angular velocity in the adjoint equilibrium configuration has been determined from the same ratio <math>~(f)</math> in the direct configuration via the relation,
  

  <math>~f^\dagger = \frac{1}{f} \biggl\{ \frac{[1 + (b/a)^2]^2}{(b/a)^2} \biggr\} \, .</math>

• As indicated, the value of the vorticity in the adjoint equilibrium configuration (column 9 of our table) has been determined from a product of <math>~\omega^\dagger</math> and <math>~f^\dagger</math>.
• As listed in column 8 of our table, the value of the parameter, <math>~\lambda^\dagger</math>, has been determined from the vorticity in the adjoint equilibrium configuration via the relation,
  

  <math>~\lambda^\dagger = -~ \zeta^\dagger \biggl[ \frac{b}{a} + \frac{a}{b}\biggr]^{-1} \, .</math>

Table 1:   Example Riemann S-type Ellipsoids [Cells with a pink background contain numbers copied directly from Table 1 of Ou (2006)] [Cells with a yellow background contain numbers drawn from Table IV (p. 103) of EFE]
<math>~\frac{b}{a}</math>	<math>~\frac{c}{a}</math>	Properties of Direct Configurations				Properties of Adjoint Configurations
		<math>~\omega = \frac{\Omega}{\sqrt{G \rho}}</math>	<math>~\lambda</math>	<math>~\zeta </math>	<math>~f \equiv \frac{\zeta}{\omega}</math>	<math>~\omega^\dagger </math>	<math>~\lambda^\dagger </math>	<math>~\zeta^\dagger = \omega^\dagger f^\dagger</math>	<math>~f^\dagger </math>
(1)	(2)	(3)	(4)	(5)	(6)	(7)	(8)	(9)	(10)
0.90	0.795	1.14704	0.43181	-0.86842	-0.75709	-0.43181	-1.14704	+2.30682	-5.3422
	0.641	1.13137	0.15077	- 0.30322	- 0.26801	- 0.15077	-1.13137	2.27531	- 15.0913
	0.590	1.10661	0.06406	-0.12883	-0.11642	-0.06406	-1.10661	+2.22552	-34.7411
	0.564	1.09034	0.02033	-0.04089	-0.03750	-0.02033	-1.09034	+2.19279	-107.86
	0.538	1.07148	- 0.02324	+0.04674	+0.04362	+0.02324	- 1.07148	+2.15487	+92.722
	0.487	1.02639	- 0.10880	+0.21881	+0.21318	+0.10880	-1.02639	+2.06418	+18.972
	0.333	0.79257	- 0.39224	+0.78884	+0.99529	+0.39224	-0.79257	+1.59395	+4.06370
0.28	0.256	0.80944	0.03668	-0.14127	-0.17453	-0.03668	-0.80944	+3.11750	-84.992
	0.245083	0.796512a	0.0	0.0	0.0	0.0	…	…	<math>~\infty</math>
	0.231	0.77651	- 0.04714	+0.18156	+0.23381	+0.04714	-0.77651	+2.99067	+63.442
	0.205	0.72853	- 0.13511	+0.52037	+0.71427	+0.13511	-0.72853	+2.80588	+20.7674
aAccording to Table IV (p. 103) of EFE, the square of the angular velocity of this Jacobi ellipsoid is, <math>~\Omega^2/(\pi G\rho) = 0.201946</math>; from this value, we find that, <math>~\omega = \sqrt{\pi} \cdot \sqrt{0.201946} = 0.796512</math>.

Our Parameter Determinations

The parameter values that have been posted above in our Table 1 are typically given with five digits of precision. This is because, as explained, the values were determined from the analytically determined values, <math>~\omega_\mathrm{analytic}</math> and <math>~\lambda_\mathrm{analytic}</math>, that were provided by Ou (2006) with only five digit accuracy. Our Table 2 (shown immediately below) provides values of this same set of model parameters to better than eleven digits accuracy. We calculated these parameter values by following the steps detailed in earlier subsections of this chapter and, as a foundation, using double-precision versions of Numerical Recipes algorithms to evaluate the special functions, <math>~F(\phi,k)</math> and <math>~E(\phi,k)</math>. As an example, the above pair of brief tables titled, TEST (part 1) and TEST (part 2) detail all of the intermediate steps that were used in order to determine the high-precision parameter values specifically for the model having the axis-ratio pair <math>~(0.9,0.641)</math>. This table of higher precision parameter values was primarily generated in order to convince ourselves that we understood from first principles how to accurately determine the properties of Riemann S-type ellipsoids; the lower-precision parameter values that we derived from Ou's work provided a handy means of cross-checking these "first principles" determinations.

In generating our Table 2, we wondered what the approriate signs were of the various model parameters — especially when part of our objective is to distinguish between direct and adjunct configurations. We took the following approach: First we decided that the spin frequency of every direct configuration should be positive. (Evidently, Ou made this same choice.)

Table 2:   Example Riemann S-type Ellipsoids (double-precision evaluation)
<math>~\frac{b}{a}</math>	<math>~\frac{c}{a}</math>	Properties of Direct Configurations				Properties of Adjoint Configurations
		<math>~\omega = \frac{\Omega}{\sqrt{G \rho}}</math>	<math>~\lambda</math>	<math>~\zeta </math>	<math>~f \equiv \frac{\zeta}{\Omega}</math>	<math>~\omega^\dagger </math>	<math>~\lambda^\dagger </math>	<math>~\zeta^\dagger = \omega^\dagger f^\dagger</math>	<math>~f^\dagger </math>
(1)	(2)	(3)	(4)	(5)	(6)	(7)	(8)	(9)	(10)
0.90	0.795	+1.147036091720	+0.431809451699	-0.868416786194	-0.757096320116	-0.431809460593	-1.147036104571	+2.306817054749	-5.342210487323
	0.641	+1.131374738327	+0.150771621841	-0.303218483925	-0.268008886644	-0.150771621877	-1.131374730590	+2.275320291519	-15.091170863305
	0.590	+1.106612583610	+0.064060198174	-0.128832176328	-0.116420305902	-0.064060197762	-1.106612576964	+2.225520849228	-34.741086358509
	0.564	+1.090339840378	+0.020334563779	-0.040895067155	-0.037506716440	-0.020334563809	-1.090339837153	+2.192794561386	-107.8358300897
	0.538	+1.071485625744	-0.023236834336	+0.046731855720	+0.043614077664	+0.023236835120	-1.071485656401	+2.154876708984	+92.735376233270
	0.487	+1.026387311947	-0.108799837242	+0.218808561563	+0.213183225210	+0.108799835209	-1.026387320039	+2.064178943634	+18.972261524065
	0.333	+0.792566980901	-0.392440787995	+0.789242029190	+0.995804846843	+0.392440793882	-0.792566979129	+1.593940258026	+4.061606964516
0.74	0.692	+1.132148956838	+0.385991660900	-0.807244181633	-0.713019398562	-0.385991654519	-1.132148989537	2.367721319199	-6.134125500116
0.41	0.385	+0.971082162758	+0.141593941719	-0.403404593468	-0.415417564427	-0.141593939418	-0.971082191477	2.766636848450	-19.539231537777
	0.333	+0.929630138695	+0.003311666790	-0.009435019456	-0.010149218281	-0.003311666699	-0.929630099681	+2.648538827896	-799.7601146950
0.28	0.256	+0.809436834686	+0.036676037913	-0.141255140305	-0.174510396110	-0.036676038521	-0.809436833116	+3.117488145828	-85.000678306244
	0.245083	0.796512a	0.0	0.0	0.0	0.0	…	…	<math>~\infty</math>
	0.231	+0.776514825339	-0.047142035397	+0.181564182043	+0.233819345828	+0.047142037070	-0.776514835457	+2.990691423416	+63.440011724689
	0.205	+0.728526018042	-0.135108121071	+0.520359277725	+0.714263156392	+0.135108125079	-0.728526039364	+2.805866003036	+20.767558718483
aAccording to Table IV (p. 103) of EFE, the square of the angular velocity of this Jacobi ellipsoid is, <math>~\Omega^2/(\pi G\rho) = 0.201946</math>; from this value, we find that, <math>~\omega = \sqrt{\pi} \cdot \sqrt{0.201946} = 0.796512</math>.

 

Figure 2:  EFE Diagram

In the context of our broad discussion of ellipsoidal figures of equilibrium, the label "EFE Diagram" refers to a two-dimensional parameter space defined by the pair of axis ratios (b/a, c/a), usually covering the ranges, 0 ≤ b/a ≤ 1 and 0 ≤ c/a ≤ 1. The classic/original version of this diagram appears as Figure 2 on p. 902 of S. Chandrasekhar (1965, ApJ, vol. 142, pp. 890-921); a somewhat less cluttered version appears on p. 147 of Chandrasekhar's [EFE]. The version of the EFE Diagram shown here, on the left, highlights four model sequences, all of which also can be found in the original version: Jacobi sequence — the smooth curve that runs through the set of small, dark-blue, diamond-shaped markers; the data identifying the location of these markers have been drawn from §39, Table IV of [EFE]. The small red circular markers lie along this same sequence; their locations are taken from our own determinations, as detailed in Table 2 of our accompanying discussion of Jacobi ellipsoids. All of the models along this sequence have <math>~f \equiv \zeta/\Omega_f = 0</math> and are therefore solid-body rotators, that is, there is no internal motion when the configuration is viewed from a frame that is rotating with frequency, <math>~\Omega_f</math>. Dedekind sequence — a smooth curve that lies precisely on top of the Jacobi sequence. Each configuration along this sequence is adjoint to a model on the Jacobi sequence that shares its (b/a, c/a) axis-ratio pair. All ellipsoidal figures along this sequence have <math>~1/f = \Omega_f/\zeta = 0</math> and are therefore stationary as viewed from the inertial frame; the angular momentum of each configuration is stored in its internal motion (vorticity). The X = -1 self-adjoint sequence — At every point along this sequence, the value of the key frequency ratio, <math>~\zeta/\Omega_f</math>, in the adjoint configuration <math>~(f_+)</math> is identical to the value of the frequency ratio in the direct configuration <math>~(f_-)</math>; specifically, <math>~f_+ = f_- = -(a^2+b^2)/(ab)</math>. The data identifying the location of the small, solid-black markers along this sequence have been drawn from §48, Table VI of [EFE]. The X = +1 self-adjoint sequence — At every point along this sequence, the value of the key frequency ratio, <math>~\zeta/\Omega_f</math>, in the adjoint configuration <math>~(f_+)</math> is identical to the value of the frequency ratio in the direct configuration <math>~(f_-)</math>; specifically, <math>~f_+ = f_- = +(a^2+b^2)/(ab)</math>. The data identifying the location of the small, solid-black markers along this sequence have been drawn from §48, Table VI of [EFE]. Riemann S-type ellipsoids all lie between or on the two (self-adjoint) curves marked "X = -1" and "X = +1" in the EFE Diagram. The yellow circular markers in the diagram shown here, on the left, identify four Riemann S-type ellipsoids that were examined by Ou (2006) and that we have also chosen to use as examples.

Feeding a 3D Animation

Initial Thoughts

Let's examine the elliptical trajectory of a Lagrangian particle that is moving in the equatorial plane of a Riemann S-Type ellipsoid. As viewed in a frame that is spinning about the Z-axis at angular frequency, <math>~\Omega</math>, the trajectory is defined by,

<math> r^2 </math>

<math> ~= </math>

<math>~ \biggl(\frac{x}{a} \biggr)^2 + \biggl(\frac{y}{b}\biggr)^2 \, , </math>

where <math>~0 < r \le 1</math>. (The surface of the relevant ellipsoid is associated with the value, <math>~r=1</math>.)

Let's choose a pair of axis ratios — for example, <math>~b/a = 0.28</math> and <math>~c/a = 0.231</math> — then, from Table 1 of our above discussion, draw the associated value of either <math>~\lambda</math> or <math>~\zeta</math> that corresponds to the Jacobi-like equilibrium configuration — in this example, <math>~\lambda = -0.04714</math> and <math>~\zeta = +0.18156</math>. Then, for any point <math>~(x,y)</math> inside of the ellipsoid, the fluid's velocity components (as viewed from the rotating frame of reference) are,

<math> v_x = \frac{dx}{dt} = \lambda \biggl( \frac{ay}{b} \biggr) = -0.16836 ~y </math>

and,

<math>~ v_y = \frac{dy}{dt} = - \lambda \biggl( \frac{bx}{a} \biggr) = + 0.01320~x \, . </math>

Alternatively, we have,

<math> u_x = \frac{dx}{dt} = Q_1 y = - \biggl[ 1 + \frac{b^2}{a^2} \biggr]^{-1}\zeta ~y = -0.16836 ~y </math>

and,

<math>~ u_y = \frac{dy}{dt}= Q_2 x = + \biggl[ 1 + \frac{a^2}{b^2} \biggr]^{-1}\zeta ~x = + 0.01320~x \, . </math>

Now, each Lagrangian fluid element's motion is oscillatory in both the <math>~x</math> and <math>~y</math> coordinate directions. So let's see how this plays out. Suppose,

<math> x = x_\mathrm{max} \cos(\varphi t) </math>

and,

<math>~ y = y_\mathrm{max} \sin(\varphi t) \, . </math>

Then,

<math> \frac{dx}{dt} = - x_\mathrm{max}\varphi \sin(\varphi t) = - \biggl( \frac{x_\mathrm{max}}{y_\mathrm{max}}\biggr) \varphi y = - \varphi \biggl(\frac{ay}{b}\biggr) </math>

and,

<math>~ \frac{dy}{dt} = y_\mathrm{max} \varphi \cos(\varphi t) = + \biggl( \frac{y_\mathrm{max}}{x_\mathrm{max}}\biggr) \varphi x = + \varphi \biggl(\frac{bx}{a}\biggr) \, . </math>

Hence our functional representation of the time-dependent behavior of both <math>~x</math> and <math>~y</math> works perfectly if, for each orbit inside of or on the surface of the configuration, we set <math>~\varphi = - \lambda</math> and if the ratio <math>~y_\mathrm{max}/x_\mathrm{max} = (b/a)</math>. Hooray!

Preferred Normalizations

Let's do this again, assuming that <math>~x</math> and <math>~y</math> both have units of length and that <math>~t</math> has the unit of time. Then, let's use <math>~a</math> to normalize lengths and use <math>~(\pi G \rho)^{-1 / 2}</math> to normalize time. We therefore have,

<math> \frac{x}{a} = \biggl(\frac{ x_\mathrm{max} }{a}\biggr) \cos\biggl[ \frac{\varphi}{(\pi G \rho)^{1 / 2}} \cdot \frac{t}{(\pi G \rho)^{-1 / 2}} \biggr] </math>

and,

<math>~ \frac{y}{a} = \biggl(\frac{ y_\mathrm{max} }{a}\biggr) \sin\biggl[ \frac{\varphi}{(\pi G \rho)^{1 / 2}} \cdot \frac{t}{(\pi G \rho)^{-1 / 2}} \biggr] \, . </math>

NOTE:   When implementing in an xml-based COLLADA (3D animation) file, we associate <math>~\mathrm{TIME} = 4</math> with <math>~t \cdot (\pi G \rho)^{1 / 2} = 2\pi</math>. Hence we can everywhere replace <math>~t \cdot (\pi G \rho)^{1 / 2}</math> with (in radians) <math>~(\pi/2)\cdot \mathrm{TIME}</math> or (in degrees) <math>~90 \cdot \mathrm{TIME}</math>. This also means that, if <math>~\varphi/(\pi G \rho)^{1 / 2} = 1</math>, each Lagrangian fluid element will move through one complete orbit (as viewed from a frame that is rotating with the ellipsoidal figure) in the time it takes the hand of the wall-mounted clock to complete one cycle.

Next, let's normalize the velocities such that <math>~\rho</math> and the total mass, <math>~M</math>, are both assumed to be the same in every examined Riemann ellipsoid. In particular, we will normalize to,

<math>~v_0</math>

<math>~\equiv</math>

<math>~(abc)^{1 / 3}(\pi G \rho)^{1 / 2}</math>

<math>~=</math>

<math>~a(\pi G \rho)^{1 / 2} \biggl( \frac{b}{a}\cdot \frac{c}{a} \biggr)^{1 / 3} \, ,</math>

in which case we have,

<math> \frac{1}{v_0} \cdot \frac{dx}{dt} = - \frac{\varphi}{(\pi G \rho)^{1 / 2} } \biggl(\frac{a}{b}\biggr)\biggl( \frac{b}{a}\cdot \frac{c}{a} \biggr)^{-1 / 3} \cdot \biggl(\frac{y}{a}\biggr) </math>

and,

<math>~ \frac{1}{v_0} \cdot \frac{dy}{dt} = + \frac{\varphi}{(\pi G \rho)^{1 / 2} } \biggl(\frac{b}{a}\biggr) \biggl( \frac{b}{a}\cdot \frac{c}{a} \biggr)^{-1 / 3} \cdot \biggl(\frac{x}{a}\biggr) \, . </math>

Finally, setting, <math>~\varphi/(\pi G\rho)^{1 / 2} \rightarrow -\lambda_\mathrm{EFE}</math> means,

<math> V_x \equiv \frac{1}{v_0} \cdot \frac{dx}{dt} = \lambda_\mathrm{EFE} \biggl(\frac{a}{b}\biggr)\biggl( \frac{b}{a}\cdot \frac{c}{a} \biggr)^{-1 / 3} \cdot \biggl(\frac{y}{a}\biggr) </math>

and,

<math>~ V_y \equiv \frac{1}{v_0} \cdot \frac{dy}{dt} = - \lambda_\mathrm{EFE} \biggl(\frac{b}{a}\biggr) \biggl( \frac{b}{a}\cdot \frac{c}{a} \biggr)^{-1 / 3} \cdot \biggl(\frac{x}{a}\biggr) \, . </math>

Example Mach Surface

Let's try to plot the "Mach surface" for the example model, b41c385, referenced below. Its relevant parameter values are,

• <math>~b/a = 0.41</math>
• <math>~c/a = 0.385</math>
• <math>~\lambda_\mathrm{EFE} = 0.079886</math>

Hence, if we set a = 1 then we have,

<math>~V_x</math>	<math>=</math>	<math>~(0.079886) \biggl(\frac{1}{0.41}\biggr)\biggl( 1.85034 \biggr) \cdot y</math>	and	<math>~V_y</math>	<math>=</math>	<math>~- (0.079886) \biggl(0.41\biggr) \biggl( 1.85034 \biggr) \cdot x</math>
	<math>=</math>	<math>~0.3605 y</math>			<math>=</math>	<math>~- 0.0606 x</math>

Borrowing from an accompanying discussion, we have the following example data set.

Direct
n	Axisymmetric		b41c385	Surface			|V| = 0.1
	x0	y0	y = 0.41 × y0	Vx	Vy	|V|	factor	x	y
1	1.0000	0.0000	0.0000	0.0000	-0.0606	0.0606	---	---	---
2	0.9921	-0.1253	-0.0514	-0.0185	-0.0601	0.0629	---	---	---
3	0.9686	-0.2487	-0.1020	-0.0368	-0.0587	0.0693	---	---	---
4	0.9298	-0.3681	-0.1509	-0.0544	-0.0563	0.0783	---	---	---
5	0.8763	-0.4818	-0.1975	-0.0712	-0.0531	0.0888	---	---	---
6	0.8090	-0.5878	-0.2410	-0.0869	-0.0490	0.0998	1.002	0.8090	-0.2410
7	0.7290	-0.6845	-0.2807	-0.1012	-0.0442	0.1104	0.9058	0.6603	-0.2543
8	0.6374	-0.7705	-0.3159	-0.1139	-0.0386	0.1203	0.8313	0.5298	-0.2626
9	0.5358	-0.8443	-0.3462	-0.1248	-0.0325	0.1290	0.7752	0.4153	-0.2684
10	0.4258	-0.9048	-0.3710	-0.1337	-0.0258	0.1362	0.7342	0.3126	-0.2724
11	0.3090	-0.9511	-0.3899	-0.1406	-0.0187	0.1418	0.7052	0.2179	-0.2750
12	0.1874	-0.9823	-0.4027	-0.1452	-0.0114	0.1456	0.6868	0.1287	-0.2766
13	0.0628	-0.9980	-0.4092	-0.1475	-0.0038	0.1476	0.6775	0.0425	-0.2772

In an accompanying discussion of axisymmetric configurations, we have recognized that, at any point inside the configuration, the square of the sound speed is given approximately by the enthalpy where,

<math>~ c^2 \sim H(x, y, z) </math>	<math>~=</math>	<math>~\frac{P(x, y, z)}{\rho} = C_B - \Phi_\mathrm{eff}(x, y, z) </math>
	<math>~=</math>	<math>~ C_B - \biggl[ \Phi_\mathrm{grav} - \frac{1}{2} \Omega_f^2(x^2 + y^2) - \frac{1}{2} \lambda^2(x^2 + y^2) + \Omega_f \lambda \biggl(\frac{b}{a}x^2 + \frac{a}{b}y^2 \biggr) \biggr] </math>
	<math>~=</math>	<math>~ C_B + \pi G \rho \biggl[ I_\mathrm{BT} a^2 - \biggl(A_1 x^2 + A_2 y^2 +A_3 z^2 \biggr) \biggr] + \frac{1}{2} \Omega_f^2(x^2 + y^2) + \frac{1}{2} \lambda^2(x^2 + y^2) - \Omega_f \lambda \biggl(\frac{b}{a}x^2 + \frac{a}{b}y^2 \biggr) </math>
	<math>~=</math>	<math>~ -\pi G \rho \biggl[ I_\mathrm{BT} a^2 - A_3 c^2 \biggr] + \pi G \rho \biggl[ I_\mathrm{BT} a^2 - \biggl(A_1 x^2 + A_2 y^2 +A_3 z^2 \biggr) \biggr] + \frac{1}{2} \Omega_f^2(x^2 + y^2) + \frac{1}{2} \lambda^2(x^2 + y^2) - \Omega_f \lambda \biggl(\frac{b}{a}x^2 + \frac{a}{b}y^2 \biggr) </math>
	<math>~=</math>	<math>~ \pi G \rho \biggl[A_3 c^2 - \biggl(A_1 x^2 + A_2 y^2 +A_3 z^2 \biggr) \biggr] + \frac{ (\Omega_f^2+\lambda^2) }{2} \biggl[ x^2 + y^2\biggr] - \Omega_f \lambda \biggl[ \biggl(\frac{b}{a}\biggr) x^2 + \biggl( \frac{a}{b} \biggr)y^2 \biggr] </math>
<math>~\Rightarrow~~~ \frac{c^2}{a^2 (\pi G\rho)}</math>	<math>~\sim</math>	<math>~ \frac{ (\Omega_f^2+\lambda^2) }{2(\pi G \rho)} \biggl[ \biggl(\frac{x}{a}\biggr)^2 + \biggl( \frac{y}{a}\biggr)^2\biggr] - \frac{\Omega_f \lambda}{(\pi G \rho)} \biggl[ \biggl(\frac{b}{a}\biggr) \biggl( \frac{x}{a}\biggr)^2 + \biggl( \frac{a}{b} \biggr) \biggl( \frac{y}{a}\biggr)^2 \biggr] - \biggl[A_1 \biggl( \frac{x}{a}\biggr)^2 + A_2 \biggl(\frac{y}{a}\biggr)^2 +A_3 \biggl( \frac{z^2 - c^2}{a^2}\biggr) \biggr] \, . </math>

Drawing from equation (7) of Ou (2006) and from a separate discussion of gravitational potential of homogeneous ellipsoids, we see that the effective potential is,

<math> ~\Phi_\mathrm{eff}(\vec{x})\equiv \Phi + \Psi = -\pi G \rho \biggl[ I_\mathrm{BT} a^2 - \biggl(A_1 x^2 + A_2 y^2 +A_3 z^2 \biggr) \biggr] + \omega\lambda \biggl( \frac{b}{a}x^2 + \frac{a}{b} y^2\biggr) - \frac{\omega^2}{2}\biggl( x^2 + y^2\biggr) -\frac{\lambda^2}{2}\biggl(x^2 + y^2\biggr) \, , </math>

where,

<math> ~I_\mathrm{BT} </math>

<math> ~\equiv </math>

<math> ~A_1 + A_2\biggl(\frac{b}{a}\biggr)^2+ A_3\biggl(\frac{c}{a}\biggr)^2 \, . </math>

Setting <math>~\pi G \rho = 1</math>, let's use the test case from above — that is, (b/a, c/a) = (0.9, 0.641) — and see if we get the same value of the Bernoulli constant on the surface at each of the three principal axes. First, let's set x = y = 0 and z = c. In this case <math>~I_\mathrm{BT} = 1.36658564</math> we find,

<math>~\Phi_\mathrm{eff}</math>

<math>~=</math>

<math>~\biggl[1.36658564 - 0.36298 \biggr] = 1.00350567 \, .</math>

Next, let's set y = z = 0 and x = 1. In this case,

<math>~\Phi_\mathrm{eff}</math>

<math>~=</math>

<math>~\biggl[1.36658564 - 0.52145027 \biggr] + 0.10151682 -0.64000 - 0.01136605 = 0.29518175 \, .</math>

S-Type Ellipsoid Example b41c385

Figure 1a	Figure 1b

The EFE model that we chose to use in our first successful construction of a COLLADA-based, 3D and interactive animation had the following properties (model selected from the above table):

• <math>~b/a = 0.41</math>
• <math>~c/a = 0.385</math>
• <math>~\Omega_\mathrm{EFE} = \omega/\sqrt\pi = 0.971082/\sqrt\pi = 0.547874</math>
• <math>~\lambda_\mathrm{EFE} = 0.141594/\sqrt\pi = 0.079886</math>

Figure 1 displays a pair of still-frame images of this (purple) ellipsoidal configuration after the ellipsoid has completed precisely five (counter-clockwise) spin cycles. (The snapshots have been taken at the same point in time, but from two different "camera" viewing angles.) The cycle of the "wall mounted" clock is based on the fundamental, EFE-adopted frequency of [π G ρ]^½. In the left-hand image (labeled Figure 1a), the time on the clock appears to be about 9:08. This means that as the ellipsoid has completed five spin cycles, the clock has completed approximately [9 + 8/60] ≈ 9.13 cycles. In other words, the ratio (ellipsoid-to-clock) of these two frequencies is,

<math>~\frac{\Omega_\mathrm{EFE}}{[\pi G \rho]^{1 / 2}}</math>

<math>~\approx</math>

<math>~\frac{5}{9.13} = 0.548 \, .</math>

This matches the tabulated value of <math>~\Omega_\mathrm{EFE}</math> presented above. Now, let's examine the motion of an example Lagrangian fluid element, which has been marked in the 3D scene by a red "arrow" riding in the equatorial plane and along the surface of the (purple) ellipsoidal figure. At time zero, the fluid marker was placed at the end of the longest axis of the ellipsoid that was nearest the "wall clock"; then, as time progressed and the ellipsoidal figure turned counter-clockwise, the fluid marker moved clockwise and completed less than one full "orbit" in the same time that the ellipsoidal figure completed five full spin cycles. In the right-hand image (labeled Figure 1b), we can see that relative to the ellipsoidal figure, the fluid marker has moved through approximately three-quarters of its assigned elliptical "orbit"; let's say, 73% of one full cycle. This means that the ratio of the Lagrangian fluid element's orbital frequency to the frequency of the wall-clock is,

<math>~\frac{\lambda_\mathrm{EFE}}{[\pi G \rho]^{1 / 2}}</math>

<math>~\approx</math>

<math>~\frac{0.73}{9.13} = 0.080 \, .</math>

This matches the tabulated value of <math>~\lambda_\mathrm{EFE}</math> presented above.

See Also

• Discussion of Ou's Riemann-Like Ellipsoids

• Riemann Meets COLLADA & Oculus Rift S
  • Virtual Reality and 3D Printing
  • Success Importing Animated Scene into Oculus Rift S
  • Carefully (Re)Build Riemann Type S Ellipsoids Inside Oculus Rift Environment: Example (b/a, c/a) = (0.41, 0.385)
  • Other Example S-type Riemann Ellipsoids:
    • (b/a, c/a) = (0.90, 0.333)
    • (b/a, c/a) = (0.74, 0.692)
    • (b/a, c/a) = (0.28, 0.256)

Chandrasekhar's Detailed Analysis

• Bernhard Riemann (1876) Gesammelte Mathematische Werke und Wissenschaftlicher, especially Chapter X (p. 168) titled (something along the following line), "A Contribution to Research on Rotating Ellipsoidal Fluids"
• S. Chandrasekhar (1965), ApJ, 142, 890 - 961. The Equilibrum and the Stability of the Riemann Ellipsoids. I. — This work is referenced as Paper XXV in EFE and focuses on S-type Riemann ellipsoids.
• S. Chandrasekhar (1966), ApJ, 145, 842 - 877. The Equilibrum and the Stability of the Riemann Ellipsoids. II. — This work is referenced as Paper XXVIII in EFE and focuses on Riemann ellipsoids of Types I, II and III.

Finite-Amplitude Oscillations

• L. F. Rossner (1967), ApJ, 149, 145. The Finite-Amplitude Oscillations of the Maclaurin Spheroids — This work is referenced as Paper XXXVIII in EFE.
• M. Fujimoto (1968), ApJ, 152, 523. Gravitational Collapse of Rotating Gaseous Ellipsoids
• T. T. Chia & S. Y. Pung (1995), Astrophysics and Space Science, 229, issue 2, 215 - 233. Effects of Variations of Parallel Angular Velocity and Vorticity on the Oscillations of Compressible Homogeneous Rotating Ellipsoids
• T. T. Chia & S. Y. Pung (1997), Astrophysics and Space Science, 254, 269 - 294. Dynamical Behaviour of Compressible Homogeneous Uniformly Rotating Ellipsoids with Nonparallel Angular Velocity and Vorticity

In the Context of Galaxy Disks

• C. Hunter (1970), ApJ, 162, 97 - 103. The Disklike Riemann Ellipsoids.

Other

• Properties of Maclaurin Spheroids
• Excerpts from Maclaurin's (1742) A Treatise of Fluxions

Footnotes

1. In EFE this equation is written in terms of a variable <math>~I</math> instead of <math>~I_\mathrm{BT}</math> as defined here. The two variables are related to one another straightforwardly through the expression, <math>~I = I_\mathrm{BT} a_1^2</math>.
2. Throughout EFE, Chandrasekhar adopts a sign convention for the scalar gravitational potential that is opposite to the sign convention being used here.

© 2014 - 2021 by Joel E. Tohline |   H_Book Home   |   YouTube   | Appendices: | Equations | Variables | References | Ramblings | Images | myphys.lsu | ADS | Recommended citation:   Tohline, Joel E. (2021), The Structure, Stability, & Dynamics of Self-Gravitating Fluids, a (MediaWiki-based) Vistrails.org publication, https://www.vistrails.org/index.php/User:Tohline/citation