ThreeDimensionalConfigurations/RiemannStype

From jetwiki
Jump to navigation Jump to search

Riemann S-Type Ellipsoids

Riemann
S-Type
Ellipsoids

As has been detailed in an accompanying chapter, the gravitational potential anywhere inside or on the surface, (a1,a2,a3)(a,b,c), of an homogeneous ellipsoid may be given analytically in terms of the following three coefficient expressions:

A1

=

2(ba)(ca)[F(θ,k)E(θ,k)k2sin3θ],

A3

=

2(ba)[(b/a)sinθ(c/a)E(θ,k)(1k2)sin3θ],

A2

=

2(A1+A3),

where, F(θ,k) and E(θ,k) are incomplete elliptic integrals of the first and second kind, respectively, with arguments,

θ=cos1(ca)

      and      

k=[1(b/a)21(c/a)2]1/2.

[ EFE, Chapter 3, §17, Eq. (32) ]
TEST (part 1)
Notation: Use ϕ in place of θ.
ba ca ϕ k Numerical Recipes A1 A2 A3
(deg) (rad) (deg) (rad) F(ϕ,k) E(ϕ,k)
0.9 0.641 50.13357253 0.874995907 32.53852919 0.567904468 0.909025949 0.843118048 0.521450273 0.595131012 0.883418715
(January, 2022) Howard Cohl's Mathematica evaluation with 20-digit precision 0.52145 02732 81618 28861 0.59513 10119 32875 42194 0.88341 87147 85506 28946

Equilibrium Conditions for Riemann S-type Ellipsoids

We begin this section by quoting from the first paragraph in §II, p. 892 of 📚 S. Chandrasekhar (1965, ApJ, Vol. 142, pp. 890 - 961) — referred to in [EFE] as Publication XXV. "The problem that is to be considered … is that of a homogeneous mass, rotating uniformly with an angular velocity Ωf, with internal motions having a uniform vorticity ζ in the direction of Ωf and in the frame of reference rotating with the angular velocity Ωf." As did Chandrasekhar, we will find it useful to refer to the ratio of these highlighted frequencies as the key model parameter,

f

ζΩf.

📚 Chandrasekhar (1965; XXV), p. 892, §II, Eq. (15)
[ EFE, §48, Eq. (31) ]

When relating our discussion to previous works, it also will be useful to recognize that the dimensionless frequency, λ, is related to the magnitude of the vorticity via the relation,

λ

ζπGρ[ab+ba]1=ζπGρ[aba2+b2].

📚 Lebovitz & Lifschitz (1996), p. 700, §2, immediately following Eq. (1)
📚 Ou (2006), p. 551, §2, Eq. (17)


Based on Virial Equilibrium

Pulling from Chapter 7 — specifically, §48 — of [EFE], we understand that the semi-axis ratios, (ba,ca) associated with Riemann S-type ellipsoids are given by the roots of the equation,

[a2b2a2+b2]f(Ω2πGρ)

=

a2b2A12c2A3,

[ EFE, §48, Eq. (34) ]

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

[1+a2b2f2(a2+b2)2]Ω2πGρ

=

2B12,

[ EFE, §48, Eq. (33) ]

where,

A12

A1A2(a2b2),

[ EFE, §21, Eq. (107) ]

B12

A2a2A12.

[ EFE, §21, Eq. (105) ]
See also the note immediately following §21, Eq. (127)

In a subsection of a separate chapter, we show in detail how the above set of equilibrium conditions arises from the,

2nd-Order Tensor Virial Equation (TVE)

0

=

2𝔗ij+𝔚ij+δijΠ+Ω2IijΩiΩkIkj+2ϵilmΩmVρulxjdx.

(Notice that if we set f0, 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 Ω2 between these two expressions, we obtain,

0

=

[a2b2(a2+b2)2]f2+[2a2b2B12c2A3a2b2A12]fa2+b2+1.

[ EFE, §48, Eq. (35) ]

For a given f, this last expression determines the ratios of the axes of the ellipsoids that are compatible with equilibrium; and the value of Ω2, 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,

0

=

αf2+βf+1.

TEST (part 2)
ba ca a2A12 B12 α(b/a)2[1+(b/a)2]2 β[2B12(c/b)2A3a2A12]11+(b/a)2 CLL96β2α1/2
0.9 0.641 0.387793362 0.207337649 0.247245200 3.797483556 3.818580687
0.38779 33613 22405 96490 0.20733 7650610469 45704 (January, 2022) Howard Cohl's Mathematica evaluation with 20-digit precision

The pair of solutions is,

f±

=

12α{β±[β24α]1/2};

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

ω±ΩGρ

=

{2B12[1+αf±2]1}1/2π.

As an aid in determining both values of the parameter, f, we note as well that,

f+f

=

1α=[a2+b2ab]2.

TEST (part 2.1)     (b/a,c/a)=(0.9,0.641)
EFE Derivation f+ ω+π ζ+πGρ=f+ω+π x+=α1/2f+ λ+=α1/2ζ+πGρ   f ωπ ζπGρ=fωπ x=α1/2f λ=α1/2ζπGρ
-0.268009 0.638310 -0.1710727 -0.133264 0.0850638 -15.09117 0.0850638 -1.28371 -7.50390 0.638310
Adjoint f+=1αf+ ω+π=|x+ω+π| ζ+πGρ=f+ω+π x+=1x+ λ+=α1/2ζ+πGρ          
-15.09117 0.085064 -1.28371 -7.50390 0.638310          

Given the choice of (b/a,c/a) FILL OUT THIS TABLE AS FOLLOWS:

  1. From the pair of solutions to the quadratic equation for f, determine numerical values for f+ and f.
  2. From the relation that gives Ω in terms of f, determine numerical values for ω+/π and ω/π.
  3. Knowing f± and ω±, determine the values of ζ±, x± and λ± via the relations,

    ζ

    =

    fΩ         ζπGρ=fωπ,

    [EFE], §48, p. 133, Eq. (31)

    x

    =

    α1/2f,

    [EFE], §48, p. 134, Eq. (40)

    ζπGρ

    =

    λ[ab+ba]         λ=α1/2ζπGρ.

    📚 Lebovitz & Lifschitz (1996), §2, p. 700, immediately following Eq. (1)

    .
  4. Determine the adjoint of f+, ω+, and x+ using the indicated expressions, namely,

    f+

    =

    (αf+)1,

    [EFE], §48, p. 135, Eq. (44)

    ω+

    =

    |x+ω+|,

    [EFE], §48, p. 135, Eq. (46)

    x+

    =

    (x+)1.

    [EFE], §48, p. 135, immediately preceding Eq. (47)

  5. Determine the adjoint of ζ+ from knowledge of the adjoint values, f+ and ω+, via the indicated expressions.
  6. Then, as indicated, determine the adjoint of λ+ from knowledge of the value of ζ+.

NOTE:  The model that has been identified as the "negative" solution, f, of the governing quadratic relation is precisely synonymous with the model that has been identified as the "adjoint" of the "positive" solution, f+. It should come as no surprise that the model labeled as f is the model labeled as f+.



Essentially this same derivation can be found in §2 of 📚 Lebovitz & Lifschitz (1996), hereafter LL96 — see also our chapter discussion of this work. But instead of seeking solutions that are expressed in terms of the model-parameter pair (Ωf,ζ), and the ratio, fζ/Ωf, it should be recognized that LL96 use,

Comment by J. E. Tohline: LL96 do not explicitly state what sign should be assigned to the dimensionless frame-rotation frequency, ω. By assuming, as has been done here, that it has the opposite sign to EFE's Ω, it is straightforward to show that the LL96 derivation is identical to the EFE derivation that we have presented immediately above.
Comment by J. E. Tohline: LL96 do not explicitly state what sign should be assigned to the dimensionless frame-rotation frequency, ω. By assuming, as has been done here, that it has the opposite sign to EFE's Ω, it is straightforward to show that the LL96 derivation is identical to the EFE derivation that we have presented immediately above.

ωLL96

=

ΩfπGρ,

λ

=

ζπGρ[a12+a22a1a2]1.

So, the frequency ratio that LL96 define immediately preceding their Eq. (5),

x

ωLL96λ=Ωfζ[a12+a22a1a2]=1α1/2f.

[For the example, (b/a,c/a)=(0.9,0.641), parameter values: (f,x)=(15.09117122,0.133264084),(0.268008879,7.503897260)].

When rewritten in terms of x, the above-derived quadratic equation for f, namely,

0

=

αf2+βf+1,

becomes,

0

=

α[1α1/2x]2+β[1α1/2x]+1=1x2+[βα1/2x]+1

0

=

1+[βα1/2]x+x2

 

=

1+2Cx+x2,

📚 Lebovitz & Lifschitz (1996), §2, Eq. (5)

where,

Cβ2α1/2

=

12[a2b2(a2+b2)2]1/2[2a2b2B12c2A3a2b2A12]1a2+b2

 

=

[abB12c2A3a2b2A12].

📚 Lebovitz & Lifschitz (1996), §2, Eq. (6)
[For the example, (b/a,c/a)=(0.9,0.641), we find, C=3.818580689.]


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

[vt]rot+(vrot)vrot=1ρP[Φgrav12|Ωf×x|2]2Ωf×vrot,

where, Ωf 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 [v/t]rot=0. If we furthermore make the substitution, H=P/ρ, where H is enthalpy — an equation of state relation that is appropriate for a barytropic system — we obtain,

(vrot)vrot

=

[H+Φgrav12Ωf2(x2+y2)]2Ωf×vrot.

📚 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 Ωf=k^Ωf takes the following form:

vrot

=

λ[ı^(ab)yȷ^(ba)x],

📚 Lebovitz & Lifschitz (1996), p. 700, §2, Eq. (1)
📚 Ou (2006), p. 550, §2, Eq. (3)


where λ 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 vrot 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 vrot into the expression on the left-hand side of the steady-state Euler equation, we see that for Riemann S-type ellipsoids,

(vrot)vrot

=

[λ(ab)yxλ(ba)xy][ı^λ(ab)yȷ^λ(ba)x]

 

=

ȷ^[λ(ab)y]x[λ(ba)x]ı^[λ(ba)x]y[λ(ab)y]

 

=

λ2[ı^x+ȷ^y]=[12λ2(x2+y2)].



Alternatively, from a separate discussion of vector identities we realize that,

(v)v=12(vv)+ζ×v,

where, ζ×v is the fluid vorticity. Plugging in Ou's expression for vrot, we find that …

ζ=×vrot

=

k^λ[ba+ab];

📚 Ou (2006), p. 551, §2, Eq. (17)

ζ×vrot

=

λ2[ȷ^(1+a2b2)y+ı^(1+b2a2)x];     and,

12(vrotvrot)

=

λ2[ı^(ba)2x+ȷ^(ab)2y].

Hence, we again appreciate that, for Riemann S-type ellipsoids,

(vrot)vrot

=

λ2[ı^x+ȷ^y]

=

[12λ2(x2+y2)].


The steady-state Euler-equation specification therefore becomes,

[12λ2(x2+y2)]

=

[H+Φgrav12Ωf2(x2+y2)][Ωfλ(bax2+aby2)].

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

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

H+Φgrav12Ωf2(x2+y2)12λ2(x2+y2)+Ωfλ(bax2+aby2)

=

CB,

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

where CB 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,

ΦeffΦgrav+Ψ

=

Φgrav12Ωf2(x2+y2)12λ2(x2+y2)+Ωfλ(bax2+aby2),

📚 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:

H+Φeff

=

CB.

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

Φgrav(x)=πGρ[IBTa2(A1x2+A2y2+A3z2)],

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

where, the normalization constant,

IBT

=A1+A2(ba)2+A3(ca)2.

[ EFE, Chapter 3, Eq. (22)1]
[ 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):

    CB

    =

    πGρ[IBTa2A1a2]12Ωf2(a2)12λ2(a2)+Ωfλ(baa2)

    2[CBa2+(πGρ)IBT]

    =

    (2πGρ)A1Ωf2λ2+2Ωfλ(ba)

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

    CB

    =

    πGρ[IBTa2A2b2]12Ωf2(b2)12λ2(b2)+Ωfλ(abb2)

    2[CBa2+(πGρ)IBT]

    =

    (2πGρ)A2(b2a2)Ωf2(b2a2)λ2(b2a2)+2Ωfλ(ba)

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

    CB

    =

    πGρ[IBTa2A3c2]

    2[CBa2+(πGρ)IBT]

    =

    (2πGρ)A3(c2a2)

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

(2πGρ)A3(c2a2)

=

(2πGρ)A1Ωf2λ2+2Ωfλ(ba),

and,

(2πGρ)A3(c2a2)

=

(2πGρ)A2(b2a2)Ωf2(b2a2)λ2(b2a2)+2Ωfλ(ba).

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

(2πGρ)A3(c2a2)(ba)2(2πGρ)A3(c2a2)

=

(2πGρ)A2(b2a2)+2Ωfλ(ba)(ba)2[(2πGρ)A1+2Ωfλ(ba)]

(πGρ)c2ab[A3a2A3b2]

=

(πGρ)(A2A1)ab+Ωfλa2ab[Ωfλ(ba)]

 

=

(πGρ)(A2A1)ab+Ωfλ(a2b2)

ΩfλπGρ

=

1ab(a2b2)[A3(a2b2)c2(A2A1)a2b2].

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

0

=

(2πGρ)A2(b2a2)Ωf2(b2a2)λ2(b2a2)[(2πGρ)A1Ωf2λ2]

 

=

(2πGρ)[A2(b2a2)A1]+Ωf2[1b2a2]+λ2[1b2a2]

Ωf2+λ2πGρ

=

2[A1A2(b2a2)][a2a2b2].

We can eliminate λ between these last two expressions as follows: From the first of the two, we have

λ

=

1Ωf{πGρab(a2b2)[A3(a2b2)c2(A2A1)a2b2]}.

Hence, the second gives,

Ωf2

=

2(πGρ)[A1A2(b2a2)][a2a2b2]λ2

 

=

2(πGρ)[A1A2(b2a2)][a2a2b2]1Ωf2{πGρab(a2b2)[A3(a2b2)c2(A2A1)a2b2]}2

0

=

Ωf4(πGρ)22Ωf2(πGρ)[A1A2(b2a2)][a2a2b2]+{1ab(a2b2)[A3(a2b2)c2(A2A1)a2b2]}2.

This is a quadratic equation whose solution gives Ωf2/(πGρ) and, in turn, λ2/(πGρ). Specifically for Direct configurations, we find that,

Ωf2(πGρ)

=

12[M+M24N2],

      and      

λ2(πGρ)

=

12[MM24N2],

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

where,

M

2[A1A2(b2a2)][a2a2b2],     and,

N

1ab(a2b2)[A3(a2b2)c2(A2A1)a2b2].


TEST (part 3)
ba ca A1 A2 A3 M N Ωf2πGρ λ2πGρ ΩfGρ λGρ
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, ω and ω.

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, (x,y), the three components of the velocity as viewed from a frame of rotation that is spinning at the equilibrium configuration's frequency, Ωf, are,

vrot

=

λ(ayb,bxa,0),

where, λ is an overall scale factor. But, according to §48 of EFE, we see that,

u

=

(Q1y,Q2x,0),

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

where,

Q1

[a2a2+b2]ζ

      and,      

Q2

+[b2a2+b2]ζ,

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

and ζ is the scalar magnitude of the vorticity vector, ζ. The transformation from EFE's notation to the one used by Ou is, then,

λ(ab)

=

[a2a2+b2]ζ

      and,      

λ(ba)

=

+[b2a2+b2]ζ

λ

=

[aba2+b2]ζ=[ba+ab]1ζ,

which, gratifyingly agrees with Eq. (17) in 📚 Ou (2006). It is worth noting as well that, when viewed from the inertial reference frame, the velocity field is,

v

=

vrot+Ωf×x.

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

Broken down into its Cartesian components, this is

v

=

ı^[λ(ab)Ωf]y+ȷ^[λ(ba)+Ωf]x

 

=

ı^[(aba2+b2)ζ(ab)Ωf]y+ȷ^[(aba2+b2)ζ(ba)+Ωf]x

 

=

ı^[(a2a2+b2)f+1]Ωfy+ȷ^[(b2a2+b2)f+1]Ωfx.

📚 Chandrasekhar (1965; XXV), 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
EFE Diagram
EFE Diagram
Caption: See Figure 2, below
  1. Specify numerical values for any two of the three key parameters: b/a,c/a,fζ/Ωf. The value of the third (unspecified) parameter can then be found by determining the root(s) of the virial-equilibrium-based expression,

    0

    =

    [a2b2(a2+b2)2]f2+[2a2b2B12c2A3a2b2A12]fa2+b2+1.

    [ EFE, §48, Eq. (35) ]
    1. If you specified the values of b/a and c/a, then values of the three parameters, A1,A2,A3 — as well as the related parameters, A12,B12 — 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, f; we will refer to them as f+ and f
      NOTE: If the chosen pair of axis ratios places your configuration above the Jacobi/Dedekind sequence in the familiar "EFE Diagram," then the parameter, f, will invariably be negative; if it is below the Jacobi/Dedekind sequence, f 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 f 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 f=0, 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, f, is known, the other relevant value may be obtained from the relation,

      f+f

      =

      [a2+b2ab]2.

      In either case, if |f±|<1 the model will be referred to as being a Jacobi-like — or, Direct — configuration because the magnitude of the configuration's spin frequency, |Ωf|, is larger than the magnitude of the frequency, |ζ|, that characterizes internal motions (vorticity). On the other hand, if |f±|>1 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 f+=f for all values of the axis ratio, 0 < b/a ≤ 1. There are two such sequences, namely, when f+=f=(a2+b2)/(ab) — this is the curve labeled, "X =+1" in the EFE Diagram shown here on the right — or when f+=f=(a2+b2)/(ab) — this is the curve labeled, "X = - 1. In the familiar EFE diagram, these curves intersect the Maclaurin sequence (where, b/a = 1) when, respectively, f+=+2 and f+=2.

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

    Ωf2πGρ

    =

    2B12[1+a2b2f2(a2+b2)2]1.

    [ EFE, §48, Eq. (33) ]
  3. Once a consistently specified pair of parameters, Ωf and f, is known, the configuration's vorticity can immediately be determined via the expression,

    ζ=k^ζ

        where,    

    ζ=(fΩf).
  4. At every location inside a Riemann S-type ellipsoid, the fluid vorticity must be related to the underlying velocity field via the expression, ζ=×vrot. In order for the vorticity to be uniform throughout the configuration — everywhere being represented by the vector, ζ=k^ζ — we realize that the velocity field is properly described by the expression,

    vrot

    =

    λ[ı^(ab)yȷ^(ba)x],

          where,      

    λ

    [aba2+b2]ζ.

    📚 Lebovitz & Lifschitz (1996), p. 700, §2, Eq. (1)
    📚 Lebovitz & Lifschitz (1996b), p. 930, §3, Eqs. (3.1) & (3.2)
    📚 Ou (2006), p. 550, §2, Eqs. (3) & (17)

Maclaurin Spheroid Limit

Basic Relations

Expressions Supplied by EFE

In Chapter 7, §48(b) (pp. 137 - 138) of [EFE] , Chandrasekhar shows that "… a stable Maclaurin spheroid can be considered as a limiting (a2/a11) form of a [S-type] Riemann ellipsoid." First, we recall that, as viewed from the inertial frame, each Maclaurin spheroid of eccentricity, e=(1a32/a12)1/2, rotates uniformly with angular velocity,

ΩMc2ω02πGρ=2e2B13 =

2(32e2)(1e2)1/2sin1ee36(1e2)e2.

[EFE], §32, pp. 77-78, Eqs. (4) & (6)

Given the specified value of the semi-axis ratio, a3/a1, the properties of the limiting S-type Riemann ellipsoid are given by the expressions,

2Ω3

=

ΩMc±[4B11ΩMc2]1/2,

[EFE], Chapter 7, §48(b), p. 137, Eq. (60)

and,

ζ32

=

4(ΩMcΩ3)2,

ζ3

=

ΩMc[4B11ΩMc2]1/2.

[EFE], Chapter 7, §48(b), p. 137, Eqs. (58) & (61)

where,

B11

=

A1a12A11.

[EFE], Chapter 3, §21, Eq. (105)

Evaluating A11

As has been stated in a separate derivation, quite generally,

Aaamas

=

0[(a2+u)5(am2+u)(as2+u)]1/2du.

Now, in the case of Maclaurin spheroids, am=a, so this integral expression becomes,

Aa2as

=

0[(a2+u)6(as2+u)]1/2du=0du(a2+u)3(as2+u)1/2=0duvmw,

where, m=3,v=(a2+u),w=(as2+u),b=d=1,a=as2,c=a2,k=(as2a2). Before applying the limits, carrying out the integration gives,

duvmw

=

1(m1)(as2a2)[wvm1+(m32)duvm1w]

[CRC] chapter on INTEGRALS, p. 408, Eq. (154)

GR7th, p. 91, Eq. (2.248.8)

 

=

12(a2as2)[wv2+(32)duv2w]

 

=

12(a2as2)[wv2]+34(a2as2){1(a2as2)[wv+(12)duvw]}

 

=

12(a2as2)[wv2]+34(a2as2)2[wv]+38(a2as2)2{duvw}

[CRC] chapter on INTEGRALS, p. 407, Eq. (148)
GR7th, p. 90, Eq. (2.246)

 

=

12(a2as2)[wv2]+34(a2as2)2[wv]+38(a2as2)2{2(a2as2)1/2tan1[w(a2as2)1/2]}.

Applying the limits then gives,

0duvmw

=

3π8(a2as2)5/2as2(a2as2)a43as4(a2as2)2a234(a2as2)5/2{tan1[as(a2as2)1/2]}

 

=

3π8a5e5(1e2)1/22a5e23(1e2)1/24a5e434a5e5{sin1(1e2)1/2}

 

=

1.499570.167030.275930.29421=0.76239

Aa3(1e2)1/2

=

14a5e5{3π23[sin1(1e2)1/2]2e3(1e2)1/23e(1e2)1/2}

a2A

=

3(1e2)1/24e5[π2sin1(1e2)1/2]sin1e14e4(2e2+3)(1e2)

 

=

0.365620.13436=0.23126

Derivation Check

At the top of p. 141 (§48) of [EFE] — see also Table VI on p. 142 — Chandrasekhar emphasizes that the point at which the x=+1 self-adjoint (S-type) Riemann ellipsoid intersects the Maclaurin spheroid has f=+2,a3=0.30333,e=0.95289,Ω32=0.11005. As Table I (p. 78) records, the Maclaurin spheroid having this eccentricity has ΩMc2=0.44022. At this point, therefore,

B11

=

14ΩMc2=0.110055.

[EFE], Chapter 7, §48(c), Eq. (141)

Note as well that, from the above expression for (ζ3)2, we have,

ζ3

=

2(ΩMcΩ3)=0.66034;

f

=

ζ3Ω3=2.0,

as it should be.

For this same value of the eccentricity, we recognize as well that, A1=0.34132. Therefore, drawing from the above expression for B11, we also deduce that,

a12A11

=

A1B11=0.23127.

[EFE], Chapter 3, §21, Eq. (105)

Hooray!!   This matches the numerical value of a2A=0.23126 determined above for e=0.95289. So it seems reasonable to conclude that the general expression, itself, is correct.

Frequency Ratio

Determination and Plot

Given that, for all Maclaurin spheroids,

A1

=

1e2[sin1ee(1e2)1/2](1e2)1/2,

A3

=

2e2[(1e2)1/2sin1ee](1e2)1/2,

[EFE], §17, p. 43, Eq. (36)

we conclude that along the entire Maclaurin spheroid sequence, the index symbol,

B11=A1a112A11

=

1e2[sin1ee(1e2)1/2](1e2)1/2+14e4(2e2+3)(1e2)3(1e2)1/24e5[π2sin1(1e2)1/2]

 

=

34e5[43e2sin1e](1e2)1/234e5[π2sin1(1e2)1/2]sin1e(1e2)1/2(1e2)e2+14e4(2e2+3)(1e2)

 

=

3(1e2)1/24e5[43e2sin1esin1e]+(32e2)(1e2)4e4

 

=

14e4{(1e2)1/2(4e23)sin1ee+(32e2)(1e2)}.


We can therefore write,

2Ω3ΩMc

=

1±(1)1/2,

      and,      

ζ3ΩMc

=

1(1)1/2,

where,

4B11ΩMc2

=

12e2{(1e2)1/2(4e23)sin1ee+(32e2)(1e2)}{(32e2)(1e2)1/2sin1ee3(1e2)}1.

REMINDER:  For a given choice of the eccentricity, there are two viable solutions … the direct configuration and its adjoint. In the context of Riemann S-type ellipsoids (i.e., here), this pair of solutions arises from the choice of the sign (±) in the expression for Ω3; in the context of Type I Riemann ellipsoids, the pair arises from the choice of the sign () in the STEP #3 determination of β and γ. In both physical contexts, the direct (Jacobi-like) solution results from selecting the inferior sign while the adjoint (Dedekind-like) solution results from selecting the superior sign.


Figure 1:   Parameter Variations Along the Maclaurin Spheroid Sequence

JacobiSequenceToo
JacobiSequenceToo
FrequencyRatio
FrequencyRatio
Analogous to Figure 5 from §32, p. 79 of [EFE]; shows how the square of the normalized rotation frequency varies with eccentricity, e=(1a3/a1)1/2, along the (black-dotted) Maclaurin sequence and along the Jacobi sequence (series of purple circular markers).

Each Riemann S-type ellipsoid sequence — uniquely identified by its frequency ratio, f=ζ3/Ω3 — intersects the Maclaurin spheroid sequence at a specific value of the meridional-plane eccentricity, e=(1a3/a1)1/2. Analogous to Figure 12 from §48, p. 139 of [EFE], this plot displays how fMc varies with e along the Maclaurin spheroid sequence; for a given e, the solid black curve is associated with the direct configuration while the dashed orange curve is associated with the adjoint configuration. The circular, solid-purple marker identifies the point where the Jacobi sequence (fMc=0) bifurcates from the Maclaurin spheroid sequence; bifurcation to the Dedekind sequence is not displayed here because its frequency ratio (fMc=±) is off scale. The square, solid-green markers identify the location of the pair of models (direct/adjoint) for which ΩMc2 is maximum (see the square, solid-green marker in the left-hand panel). The circular, solid-orange marker identifies the (degenerate) pair of models (fMc=+2) where the "x=+1" sequence bifurcates from the Maclaurin spheroid sequence.


Drawing from one of our mathematics appendices, we know that when e1,

[4e4B11]e1

=

{(1e2)1/2(4e23)sin1ee+(32e2)(1e2)}e1

 

=

(32e2)(1e2)+(4e23){1[12]e2[123]e4[124]e6[527]e8}

 

 

×{1+[123]e2+[13245]e4+[1352467]e6+[135724689]e8+}

 

=

(32e2)(1e2)+(4e23){1[12]e2[123]e4[124]e6}

 

 

+(4e23){1[12]e2[123]e4}×[123]e2

 

 

+(4e23){1[12]e2}×[13245]e4+(4e23)×[1352467]e6

 

=

(32e2)(1e2)+(4e23)[12]e2(4e23)[123]e4(4e23)[124]e6(4e23)

 

 

+{1}×[123]e2(4e23)+{[12]e2}×[123]e2(4e23)+{[123]e4}×[123]e2(4e23)

 

 

+{1}×[13245]e4(4e23)+{[12]e2}×[13245]e4(4e23)+(4e23)×[1352467]e6+𝒪(e8)

 

=

35e2+2e4+(4e23)12(4e43e2)123(4e63e4)+324e6

 

 

+123(4e43e2)1223(4e63e4)+124(e6)+[13245](4e63e4)+[132245](e6)[1352467](3e6)+𝒪(e8)

 

=

e2+2e42e4+32e212e6+38e4+324e6+23e412e213e6+14e4+116(e6)

 

 

+[3235](4e63e4)+[32245](e6)[5247](3e6)+𝒪(e8)

 

=

12e6+38e4+324e6+23e413e6+14e4+116(e6)+[3235](4e63e4)+[32245](e6)[5247](3e6)+𝒪(e8)

 

=

e4[323+23+12232235]+𝒪(e6)

 

=

e4[325+245+23533]12335+𝒪(e6)

 

=

e4[2435]+𝒪(e6)

B11

=

[2235]+𝒪(e2)


Table:   Key Values Along the Limiting Maclaurin Spheroid Sequence
Model e ΩMc2 B11 4B11ΩMc2 Direct Adjoint
Ω3 ζ3 Ω3ΩMc f=ζ3Ω3 Ω3 ζ3 Ω3ΩMc f=ζ3Ω3
Nonrotating Sphere &
"x=1" Bifurcation
0.00000 0.00000 415 (415)1/2
Note: (a)
+(1615)1/2 2
Note: (a)
+(415)1/2
Note: (a)
(1615)1/2 2
Note: (a)
Jacobi/Dedekind Bifurcation 0.81267
Note: (b)
0.37423
Note: (b)
ΩMc22
Note: (c)
2 ΩMc
Note: (c)
0
Note: (c)
1 0 0
Note: (c)
2ΩMc
Note: (c)
0
Note: (c)
±
Note: (c)
"x=+1" Bifurcation 0.952886702 0.440219895 ΩMc24
Note: (d)
1 ΩMc2
Note: (d)
ΩMc
Note: (d)
12 +2 ΩMc2
Note: (d)
ΩMc
Note: (d)
12 +2

Notes:

  1. [EFE], p. 142, last line of Table VI includes … Ω2=4/150.26667 and f=2.
  2. [EFE], p. 78, Table I.
  3. [EFE], p. 138, §48b(iv).
  4. [EFE], p. 138, §48b(v).

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 (ba,ca) associated with one of Ou's (2006) uniform-density, incompressible (n=0) 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 (ωanalytic,λanalytic) 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, ζ — see column 5 of our table — has been determined from the expression,
      ζ=[1+(b/a)2b/a]λ.
    • Column 6 of our table lists the value of the frequency ratio, fζ/ω.
  • 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,
      ω=ζ[b/a1+(b/a)2].
    • As listed in column 10 of our Table, the ratio (f) of the vorticity to the angular velocity in the adjoint equilibrium configuration has been determined from the same ratio (f) in the direct configuration via the relation,
      f=1f{[1+(b/a)2]2(b/a)2}.
    • As indicated, the value of the vorticity in the adjoint equilibrium configuration (column 9 of our table) has been determined from a product of ω and f.
    • As listed in column 8 of our table, the value of the parameter, λ, has been determined from the vorticity in the adjoint equilibrium configuration via the relation,
      λ=ζ[ba+ab]1.

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]

ba ca

Properties of
Direct Configurations

Properties of
Adjoint Configurations

ω=ΩGρ λ ζ fζω ω λ ζ=ωf f
(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
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, Ω2/(πGρ)=0.201946; from this value, we find that, ω=π0.201946=0.796512.


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, ωanalytic and λanalytic, 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, F(ϕ,k) and E(ϕ,k). 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 (0.9,0.641). 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)

ba ca

Properties of
Direct Configurations

Properties of
Adjoint Configurations

ω=ΩGρ λ ζ fζΩ ω λ ζ=ωf f
(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
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, Ω2/(πGρ)=0.201946; from this value, we find that, ω=π0.201946=0.796512.

 

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 📚 Chandrasekhar (1965; XXV); 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 fζ/Ωf=0 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, Ωf.
  • 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 1/f=Ωf/ζ=0 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, ζ/Ωf, in the adjoint configuration (f+) is identical to the value of the frequency ratio in the direct configuration (f); specifically, f+=f=(a2+b2)/(ab). 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, ζ/Ωf, in the adjoint configuration (f+) is identical to the value of the frequency ratio in the direct configuration (f); specifically, f+=f=+(a2+b2)/(ab). 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.

EFE Diagram identifying example models from Ou (2006)
EFE Diagram identifying example models from Ou (2006)


Self-Adjoint Sequences
EFE, §48, p. 142, Table VI
Also, Howard Cohl's High-Resolution Analysis
 
           c/a for Upper (x = - 1) Sequence          c/a for Lower (x = + 1) Sequence
  b/a      (EFE)        (20-digit accuracy)          (EFE)        (20-digit accuracy)
  0.00     0.00000     0.00000000000000000000         0.00000    0.000000000000000000000
  0.04     ---         0.04812224688754297818         ---        0.032492366749482199925
  0.08     0.10361     0.10361306225462674898         0.057817   0.057816723024001224133
  0.12     0.16154     0.16153789497880627606         0.079299   0.079298698625164323530
  0.16     0.21970     0.21969876513711574739         0.098178   0.098178582821665570336
 0.20     0.27691     0.27691183106981782343         0.11513    0.11512631936916250684
 0.24     0.33250     0.33250375904983621093         0.13056    0.13056017471495792387
 0.28     0.38609     0.38608942382754657558         0.14476    0.14476444864794971656
 0.32     0.43746     0.43745820820586512706         0.15794    0.15794374720008968932
 0.36     0.48651     0.48651009591845463512         0.17025    0.17025155740243264509
 0.40     0.53322     0.53321717007090044978         0.18181    0.18180672031800805031
 0.44     0.57760     0.57759916496531807675         0.19270    0.19270358265482766408
 0.48     0.61971     0.61970731624526462073         0.20302    0.20301858308989486955
 0.52     0.65961     0.65961338021128620371         0.21281    0.21281470455368433422
 0.56     0.69740     0.69740201597965416041         0.22214    0.22214458680677346510
 0.60     0.73316     0.73316543250962834935         0.23105    0.23105276438034978438
 0.64     0.76700     0.76699960292399202953         0.23958    0.23957731445406474795
 0.68     0.79900     0.79900158609578752317         0.24775    0.24775109537636838357
 0.72     0.82927     0.82926764261302051281         0.25560    0.25560269426540122707
 0.76     0.85789     0.85789192689326638880         0.26316    0.26315716347079152387
 0.80     0.88497     0.88496560014936540261         0.27044    0.27043660093734799732
 0.84     0.91058     0.91057625192549140531         0.27746    0.27746061325324716171
 0.88     0.93481     0.93480754802412975193         0.28425    0.28424668922671777898
 0.92     0.95774     0.95773904411679071746         0.29081    0.29081050432029451542
 0.96     0.97945     0.97944611989047804643         0.29714    0.29716617101118183175
 1.00     1.00000     1.00000000000000000000         0.30333    0.30332644640104007578

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, Ω, the trajectory is defined by,

r2

=

(xa)2+(yb)2,

where 0<r1. (The surface of the relevant ellipsoid is associated with the value, r=1.)

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

vx=dxdt=λ(ayb)=0.16836y

      and,      

vy=dydt=λ(bxa)=+0.01320x.

Alternatively, we have,

ux=dxdt=Q1y=[1+b2a2]1ζy=0.16836y

      and,      

uy=dydt=Q2x=+[1+a2b2]1ζx=+0.01320x.

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

x=xmaxcos(φt)

      and,      

y=ymaxsin(φt).

Then,

dxdt=xmaxφsin(φt)=(xmaxymax)φy=φ(ayb)

      and,      

dydt=ymaxφcos(φt)=+(ymaxxmax)φx=+φ(bxa).

Hence our functional representation of the time-dependent behavior of both x and y works perfectly if, for each orbit inside of or on the surface of the configuration, we set φ=λ and if the ratio ymax/xmax=(b/a). Hooray!

Preferred Normalizations

Let's do this again, assuming that x and y both have units of length and that t has the unit of time. Then, let's use a to normalize lengths and use (πGρ)1/2 to normalize time. We therefore have,

xa=(xmaxa)cos[φ(πGρ)1/2t(πGρ)1/2]

      and,      

ya=(ymaxa)sin[φ(πGρ)1/2t(πGρ)1/2].


NOTE:   When implementing in an xml-based COLLADA (3D animation) file, we associate TIME=4 with t(πGρ)1/2=2π. Hence we can everywhere replace t(πGρ)1/2 with (in radians) (π/2)TIME or (in degrees) 90TIME.


This also means that, if φ/(πGρ)1/2=1, 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 ρ and the total mass, M, are both assumed to be the same in every examined Riemann ellipsoid. In particular, we will normalize to,

v0

(abc)1/3(πGρ)1/2

=

a(πGρ)1/2(baca)1/3,

in which case we have,

1v0dxdt=φ(πGρ)1/2(ab)(baca)1/3(ya)

      and,      

1v0dydt=+φ(πGρ)1/2(ba)(baca)1/3(xa).

Finally, setting, φ/(πGρ)1/2λEFE means,

Vx1v0dxdt=λEFE(ab)(baca)1/3(ya)

      and,      

Vy1v0dydt=λEFE(ba)(baca)1/3(xa).

Example Mach Surface

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

  • b/a=0.41
  • c/a=0.385
  • λEFE=0.079886

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

Vx = (0.079886)(10.41)(1.85034)y      and      Vy = (0.079886)(0.41)(1.85034)x
  = 0.3605y     = 0.0606x

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,

c2H(x,y,z)

=

P(x,y,z)ρ=CBΦeff(x,y,z)

 

=

CB[Φgrav12Ωf2(x2+y2)12λ2(x2+y2)+Ωfλ(bax2+aby2)]

 

=

CB+πGρ[IBTa2(A1x2+A2y2+A3z2)]+12Ωf2(x2+y2)+12λ2(x2+y2)Ωfλ(bax2+aby2)

 

=

πGρ[IBTa2A3c2]+πGρ[IBTa2(A1x2+A2y2+A3z2)]+12Ωf2(x2+y2)+12λ2(x2+y2)Ωfλ(bax2+aby2)

 

=

πGρ[A3c2(A1x2+A2y2+A3z2)]+(Ωf2+λ2)2[x2+y2]Ωfλ[(ba)x2+(ab)y2]

c2a2(πGρ)

(Ωf2+λ2)2(πGρ)[(xa)2+(ya)2]Ωfλ(πGρ)[(ba)(xa)2+(ab)(ya)2][A1(xa)2+A2(ya)2+A3(z2c2a2)].

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,

Φeff(x)Φ+Ψ=πGρ[IBTa2(A1x2+A2y2+A3z2)]+ωλ(bax2+aby2)ω22(x2+y2)λ22(x2+y2),

where,

IBT

A1+A2(ba)2+A3(ca)2.

Setting πGρ=1, 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 IBT=1.36658564 we find,

Φeff

=

[1.366585640.36298]=1.00350567.

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

Φeff

=

[1.366585640.52145027]+0.101516820.640000.01136605=0.29518175.

S-Type Ellipsoid Example b41c385

Figure 1a Figure 1b

EFE Model b41c385

EFE Model b41c385


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):

  • b/a=0.41
  • c/a=0.385
  • ΩEFE=ω/π=0.971082/π=0.547874
  • λEFE=0.141594/π=0.079886

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,

ΩEFE[πGρ]1/2

59.13=0.548.

This matches the tabulated value of ΩEFE 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,

λEFE[πGρ]1/2

0.739.13=0.080.

This matches the tabulated value of λEFE presented above.

See Also

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

Other

Footnotes

  1. In EFE this equation is written in terms of a variable I instead of IBT as defined here. The two variables are related to one another straightforwardly through the expression, I=IBTa12.
  2. Throughout EFE, Chandrasekhar adopts a sign convention for the scalar gravitational potential that is opposite to the sign convention being used here.


Tiled Menu

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