VE/RiemannEllipsoids

From JETohlineWiki
Jump to navigation Jump to search


Steady-State 2nd-Order Tensor Virial Equations[edit]

Steady-State
2nd-Order
Tensor Virial
Equations

Drawing from our accompanying discussion of virial equations as viewed from a rotating frame of reference, here we employ the 2nd-order tensor virial equation (TVE),

0

=

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

to determine the equilibrium conditions of uniform-density (ρ) ellipsoids that have semi-axes, (a1,a2,a3)(a,b,c), and an internal velocity field, u (as prescribed below), that preserves this specified ellipsoidal shape, as viewed from a frame of reference that is rotating with angular velocity, Ω. Because each of the indices, i and j, run from 1 to 3, inclusive, this TVE appears to provide nine equilibrium constraints; and once the values of the density and the three semi-axes are specified, there appear to be seven unknowns: Π and the three pairs of velocity-field components (Ω1,ζ1), (Ω2,ζ2), (Ω3,ζ3). In practice, however, only five constraints are relevant/independent because, as is encapsulated in …

Riemann's Fundamental Theorem

… non-trivial solutions are obtained only if no more than two of the three pairs of velocity-field components are different from zero.

Following EFE, we will set Ω1=ζ1=0, in which case the only applicable TVE constraint relations are the five identified in the following table of equations.


Indices Each Associated 2nd-Order TVE Expression
i j
1 1

0

=

[3522πabcρ]Π+{(Ω22+Ω32)+2[b2b2+a2]Ω3ζ3+2[c2c2+a2]Ω2ζ2(2πGρ)A1}a2+[a2a2+b2]2ζ32b2+[a2a2+c2]2ζ22c2

2 2

0

=

[3522πabcρ]Π+[b2b2+a2]2ζ32a2+{Ω32+2[a2a2+b2]Ω3ζ3(2πGρ)A2}b2

3 3

0

=

[3522πabcρ]Π+[c2c2+a2]2ζ22a2+{Ω22+2[a2a2+c2]Ω2ζ2(2πGρ)A3}c2

2 3

0

=

{1+ζ2Ω2[a2a2+c2][2+ζ3Ω3(b2b2+a2)]}Ω2Ω3c2

3 2

0

=

{1+ζ3Ω3[a2a2+b2][2+ζ2Ω2(c2c2+a2)]}Ω2Ω3b2

General Coefficient Expressions[edit]

In the context of our discussion of configurations that are triaxial ellipsoids, we begin by adopting the (,m,s) subscript notation to identify which semi-axis length is the (largest, medium-length, smallest). As has been detailed in an accompanying chapter, the gravitational potential anywhere inside or on the surface of an homogeneous ellipsoid may be given analytically in terms of the following three coefficient expressions:

Aaamas

=

2a3[F(θ,k)E(θ,k)k2sin3θ],

Asaamas

=

2a3[(am/as)sinθE(θ,k)(1k2)sin3θ],

Amaamas=2(A+As)aamas

=

2a3[E(θ,k)(1k2)F(θ,k)(as/am)k2sinθk2(1k2)sin3θ],

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

θ=cos1(asa)

      and      

k=[1(am/a)21(as/a)2]1/2.

Specific Case of a1 > a2 > a3[edit]

When we discuss configurations in which a1>a2>a3>0 — such as Jacobi, Dedekind, or most Riemann S-Type ellipsoids — we must adopt the associations, (A1,a1)(A,a), (A2,a2)(Am,am), and (A3,a3)(As,as). This means that the coefficients, A1, A2, and A3 are defined by the expressions,

A1

=

2(a2a1)(a3a1)[F(θ,k)E(θ,k)k2sin3θ],

A3

=

2(a2a1)[(a2/a1)sinθ(a3/a1)E(θ,k)(1k2)sin3θ],

A2

=

2(A1+A3),

where, the arguments of the incomplete elliptic integrals are,

θ=cos1(a3a1)

      and      

k=[1(a2/a1)21(a3/a1)2]1/2.

[ EFE, Chapter 3, §17, Eq. (32) ]

Specific Case of a1 > a3 > a2[edit]

When we discuss configurations in which a1>a3>a2>0 — these are usually referred to in EFE as prolate S-Type Riemann ellipsoids — we must instead adopt the associations, (A1,a1)(A,a), (A2,a2)(As,as), and (A3,a3)(Am,am). This means that the coefficients, A1, A2, and A3 are defined by the expressions,

A1

=

2(a2a1)(a3a1)[F(θ,k)E(θ,k)k2sin3θ],

A2

=

2(a3a1)[(a3/a1)sinθ(a2/a1)E(θ,k)(1k2)sin3θ],

A3=2(A1+A2)

=

2a2a3a12[E(θ,k)(1k2)F(θ,k)(a2/a3)k2sinθk2(1k2)sin3θ],

where, the arguments of the incomplete elliptic integrals of the first and second kind are,

θ=cos1(a2a1)

      and      

k=[1(a3/a1)21(a2/a1)2]1/2.

[ EFE, Chapter 7, §48d, footnote to Table VII (p. 143) ]

NOTE: All irrotational ellipsoids belong to this category of configurations.

Specific Case of a2 > a1 > a3[edit]

When we discuss configurations in which a2>a1>a3>0 — for example, most Riemann ellipsoids of Types I, II, & III — we must instead adopt the associations, (A1,a1)(Am,am), (A2,a2)(A,a), and (A3,a3)(As,as). This means that the coefficients, A1, A2, and A3 are defined by the expressions,

A2

=

2(a1a2)(a3a2)[F(θ,k)E(θ,k)k2sin3θ],

A3

=

2(a1a2)[(a1/a2)sinθ(a3/a2)E(θ,k)(1k2)sin3θ],

A1=2(A2+A3)

=

2a1a3a22[E(θ,k)(1k2)F(θ,k)(a3/a1)k2sinθk2(1k2)sin3θ],

where, the arguments of the incomplete elliptic integrals are,

θ=cos1(a3a2)

      and      

k=[1(a1/a2)21(a3/a2)2]1/2.

Oblate Spheroids [a2 = a1 > a3][edit]

Starting with the case of a2>a1>a3>0 and setting a2=a1, we recognize, first, that k=0. Hence, we have,

A3

=

2[sinθ(a3/a1)E(θ,0)sin3θ],

Adopted (Internal) Velocity Field[edit]

EFE (p. 130) states that the … kinematical requirement, that the motion (u), associated with ζ, preserves the ellipsoidal boundary, leads to the following expressions for its components:

u1

=

[a12a12+a22]ζ3x2+[a12a12+a32]ζ2x3,

u2

=

[a22a22+a32]ζ1x3+[a22a22+a12]ζ3x1,

u3

=

[a32a32+a12]ζ2x1+[a32a32+a22]ζ1x2.

[ EFE, Chapter 7, §47, Eq. (1) ]

Equilibrium Expressions[edit]

[EFE §11(b), p. 22] Under conditions of a stationary state, [the tensor virial equation] gives,

2𝔗ij+𝔚ij

=

δijΠ.

[This] provides six integral relations which must obtain whenever the conditions are stationary.

When viewing the (generally ellipsoidal) configuration from a rotating frame of reference, the 2nd-order TVE takes on the more general form:

0

=

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

[ EFE, Chapter 2, §12, Eq. (64) ]

EFE (p. 57) also shows that … The potential energy tensor … for a homogeneous ellipsoid is given by

𝔚ijπGρ

=

2AiIij,

[ EFE, Chapter 3, §22, Eq. (128) ]

where

Iij

=

15Mai2δij,

[ EFE, Chapter 3, §22, Eq. (129) ]

is the moment of inertia tensor. Expressions for all nine components of the kinetic energy tensor, 𝔗ij are derived in Appendix E, below; and expressions for each of the six Coriolis components can be found in Appendices B, C, & D.

The Three Diagonal Elements[edit]

For i=j=1, we have,

0

=

2𝔗11+𝔚11+Π+Ω2I11Ω1ΩkIk1+2ϵ1lmΩmVρulx1d3x

 

=

2𝔗11+𝔚11+Π+Ω2I11Ω12I11+2Ω3Vρu2x1d3x2Ω2Vρu3x1d3x

 

=

2𝔗11+𝔚11+Π+(Ω22+Ω32)I11+2Ω3ρVu2xd3x2Ω2ρVu3xd3x

 

=

[a2a2+b2]2ζ32I22+[a2a2+c2]2ζ22I33(2πGρ)A1I11+Π+(Ω22+Ω32)I11+2[b2b2+a2]Ω3ζ3I11+2[c2c2+a2]Ω2ζ2I11

 

=

Π+{(Ω22+Ω32)+2[b2b2+a2]Ω3ζ3+2[c2c2+a2]Ω2ζ2(2πGρ)A1}I11+[a2a2+b2]2ζ32I22+[a2a2+c2]2ζ22I33

[3522πabcρ]Π

=

{(Ω22+Ω32)+2[b2b2+a2]Ω3ζ3+2[c2c2+a2]Ω2ζ2(2πGρ)A1}a2+[a2a2+b2]2ζ32b2+[a2a2+c2]2ζ22c2.

Once we choose the values of the (semi) axis lengths (a,b,c) of an ellipsoid — from which the value of A1 can be immediately determined — along with a specification of ρ, this equation has the following five unknowns: Π,Ω2,Ω3,ζ2,ζ3. Similarly, for i=j=2,

0

=

2𝔗22+𝔚22+Π+Ω2I22Ω2ΩkIk2+2ϵ2lmΩmVρulx2d3x

 

=

2𝔗22+𝔚22+Π+(Ω12+Ω32)I22+2Ω1ρVu3yd3x2Ω3ρVu1yd3x

 

=

[b2b2+c2]2ζ12I33+[b2b2+a2]2ζ32I11(2πGρ)A2I22+Π+(Ω12+Ω32)I22+2[c2c2+b2]Ω1ζ1I22+2[a2a2+b2]Ω3ζ3I22

 

=

Π+[b2b2+a2]2ζ32I11+{(Ω12+Ω32)+2[c2c2+b2]Ω1ζ1+2[a2a2+b2]Ω3ζ3(2πGρ)A2}I22+[b2b2+c2]2ζ12I33

[3522πabcρ]Π

=

[b2b2+a2]2ζ32a2+{(Ω12+Ω32)+2[c2c2+b2]Ω1ζ1+2[a2a2+b2]Ω3ζ3(2πGρ)A2}b2+[b2b2+c2]2ζ12c2.

This gives us a second equation, but an additional pair of (for a total of seven) unknowns: Ω1,ζ1. For the third diagonal element — that is, for i=j=3 — we have,

0

=

2𝔗33+𝔚33+Π+Ω2I33Ω3ΩkIk3+2ϵ3lmΩmVρulx3d3x

 

=

2𝔗33+𝔚33+Π+(Ω12+Ω22)I33+2Ω2ρVu1zd3x2Ω1ρVu2zd3x

 

=

[c2c2+a2]2ζ22I11+[c2c2+b2]2ζ12I22(2πGρ)A3I33+Π+(Ω12+Ω22)I33+2[a2a2+c2]Ω2ζ2I33+2[b2b2+c2]Ω1ζ1I33

 

=

Π+[c2c2+a2]2ζ22I11+[c2c2+b2]2ζ12I22+{(Ω12+Ω22)+2[a2a2+c2]Ω2ζ2+2[b2b2+c2]Ω1ζ1(2πGρ)A3}I33

[3522πabcρ]Π

=

[c2c2+a2]2ζ22a2+[c2c2+b2]2ζ12b2+{(Ω12+Ω22)+2[a2a2+c2]Ω2ζ2+2[b2b2+c2]Ω1ζ1(2πGρ)A3}c2.

This gives us three equations vs. seven unknowns.

Off-Diagonal Elements[edit]

Notice that the off-diagonal components of both Iij and 𝔚ij are zero. Hence, the equilibrium expression that is dictated by each off-diagonal component of the 2nd-order TVE is,

0

=

2𝔗ijΩiΩkIkj+2ϵilmΩmVρulxjd3x.

For example — as is explicitly illustrated on p. 130 of EFE — for i=2 and j=3,

0

=

2𝔗23Ω2Ω3I33+2Ω1Vρu3x3d3x02Ω3Vρu1x3d3x,

[ EFE, Chapter 7, §47, Eq. (3) ]

whereas for i=3 and j=2,

0

=

2𝔗32Ω3Ω2I22+2Ω2Vρu1x2d3x2Ω1Vρu2x2d3x0.

[ EFE, Chapter 7, §47, Eq. (4) ]

Given our adoption of a uniform-density configuration whose surface has a precisely ellipsoidal shape and, along with it, our adoption of the above specific prescription for the internal velocity field, u, we recognize that,

Vρuixjd3x

=

0

      if    i=j.
[ EFE, Chapter 7, §47, Eq. (5) ]

This has allowed us to set to zero one of the integrals in each of these last two expressions. In what follows, we will benefit from recognizing, as well, that,

𝔗32

=

𝔗23

=

12Vρv2v3d3x.

Our first off-diagonal element is, then,

0

=

2𝔗23Ω2Ω3I332Ω3ρVu1zd3x

 

=

[b2b2+a2][c2c2+a2]ζ2ζ3a2Ω2Ω3c22[a2a2+c2]Ω3ζ2c2

 

=

{Ω2Ω3+[ζ2a2a2+c2][2Ω3+ζ3b2b2+a2]}c2

 

=

{1+ζ2Ω2[a2a2+c2][2+ζ3Ω3(b2b2+a2)]}Ω2Ω3c2.

The second is,

0

=

2𝔗32Ω3Ω2I22+2Ω2ρVu1yd3x

 

=

[b2b2+a2][c2c2+a2]ζ2ζ3a2Ω3Ω2b22[a2a2+b2]Ω2ζ3b2

 

=

{Ω2Ω3+[ζ3a2a2+b2][2Ω2+ζ2c2c2+a2]}b2

 

=

{1+ζ3Ω3[a2a2+b2][2+ζ2Ω2(c2c2+a2)]}Ω2Ω3b2.

How Solution is Obtained[edit]

Adding this pair of governing expressions we obtain,

0

=

[2𝔗23Ω2Ω3I332Ω3Vρu1x3dx]+[2𝔗32Ω3Ω2I22+2Ω2Vρu1x2dx]

 

=

4𝔗23Ω2Ω3(I22+I33)+2Vρu1(Ω2x2Ω3x3)dx;

[ EFE, Chapter 7, §47, Eq. (6) ]

and subtracting the pair gives,

0

=

[2𝔗23Ω2Ω3I332Ω3Vρu1x3dx][2𝔗32Ω3Ω2I22+2Ω2Vρu1x2dx]

 

=

Ω2Ω3(I22I33)2Vρu1(Ω2x2+Ω3x3)dx.

[ EFE, Chapter 7, §47, Eq. (7) ]

Various Degrees of Simplification[edit]

Riemann Ellipsoids of Types I, II, & III[edit]

In this, most general, case, the two vectors Ω and ζ are not parallel to any of the principal axes of the ellipsoid, and they are not aligned with each other, but they both lie in the yz-plane — that is to say, (Ω1,ζ1)=(0,0). For a given specified density (ρ) and choice of the three semi-axes (a1,a2,a3)(a,b,c), all five of the expressions displayed in our above Summary Table must be used in order to determine the equilibrium configuration's associated values of the five unknowns: Π,(Ω2,ζ2),(Ω3,ζ3). Here we show how these five unknowns can be derived from the five constraint equations, closely following the analysis that is presented in §47 (pp. 129 - 132) of [ EFE ].

Constraints Due to Off-Diagonal Elements[edit]

We begin by subtracting the constraint equation provided by the first off-diagonal element (i,j)=(2,3) from the constraint equation provided by the second off-diagonal element (i,j)=(3,2). This gives,

{1+ζ2Ω2[a2a2+c2][2+ζ3Ω3(b2b2+a2)]}Ω2Ω3c2

=

{1+ζ3Ω3[a2a2+b2][2+ζ2Ω2(c2c2+a2)]}Ω2Ω3b2

c2+ζ2Ω2[2a2c2a2+c2][1+ζ32Ω3(b2b2+a2)]

=

b2+ζ3Ω3[2a2b2a2+b2][1+ζ22Ω2(c2c2+a2)]

c2+ζ2Ω2[2a2c2a2+c2]+ζ2Ω2ζ3Ω3[a2c2a2+c2][b2b2+a2]

=

b2+ζ3Ω3[2a2b2a2+b2]+ζ3Ω3ζ2Ω2[a2b2a2+b2][c2c2+a2]

c2+ζ2Ω2[2a2c2a2+c2]

=

b2+ζ3Ω3[2a2b2a2+b2].

[ EFE, Chapter 7, §47, Eq. (11) ]

Adding the two instead gives,

0

=

{1+ζ2Ω2[a2a2+c2][2+ζ3Ω3(b2b2+a2)]}Ω2Ω3c2+{1+ζ3Ω3[a2a2+b2][2+ζ2Ω2(c2c2+a2)]}Ω2Ω3b2

 

=

b2+c2+ζ2Ω2[a2c2a2+c2][2+ζ3Ω3(b2b2+a2)]+ζ3Ω3[a2b2a2+b2][2+ζ2Ω2(c2c2+a2)]

 

=

b2+c2+ζ2Ω2[2a2c2a2+c2]+ζ3Ω3[2a2b2a2+b2]+ζ2Ω2ζ3Ω3[2a2b2c2(a2+c2)(b2+a2)].

[ EFE, Chapter 7, §47, Eq. (10) ]

The first of these relations cleanly gives an expression for the frequency ratio, ζ3/Ω3, in terms of the other frequency ratio, ζ2/Ω2. This allows us to rewrite the second relation in terms of the ratio, ζ2/Ω2, alone. We obtain,

0

=

b2+c2+ζ2Ω2[2a2c2a2+c2]+{ζ3Ω3[2a2b2a2+b2]}+ζ2Ω2[c2(a2+c2)]{ζ3Ω3[2a2b2(b2+a2)]}

 

=

b2+c2+ζ2Ω2[2a2c2a2+c2]+{c2b2+ζ2Ω2[2a2c2a2+c2]}+ζ2Ω2[c2(a2+c2)]{c2b2+ζ2Ω2[2a2c2a2+c2]}

 

=

2c2+ζ2Ω2[c2a2+c2](4a2+c2b2)+{ζ2Ω2[c2a2+c2]}22a2

ASIDE:   Alternatively, given that,

ζ2Ω2[c2a2+c2]

=

12a2[b2c2+ζ3Ω3(2a2b2a2+b2)]

the quadratic equation that governs the value of the frequency ratio, ζ3/Ω3 is …

0

=

4a2c2+[b2c2+ζ3Ω3(2a2b2a2+b2)](4a2+c2b2)+[b2c2+ζ3Ω3(2a2b2a2+b2)]2

 

=

4a2c2+[ζ3Ω3(2a2b2a2+b2)](4a2+c2b2)+(b2c2)(4a2+c2b2)

 

 

+(b2c2)2+2(b2c2)[ζ3Ω3(2a2b2a2+b2)]+[ζ3Ω3(2a2b2a2+b2)]2

 

=

4a2c2+(b2c2)(4a2+c2b2)+(b2c2)2+[ζ3Ω3(2a2b2a2+b2)][(4a2+c2b2)+2(b2c2)]+[ζ3Ω3(2a2b2a2+b2)]2

 

=

[ζ3Ω3(2a2b2a2+b2)]2+[ζ3Ω3(2a2b2a2+b2)](4a2+b2c2)+4a2b2

0

=

[(ζ3Ω3)2a2b2(a2+b2)2]+12[ζ3Ω3(1a2+b2)](4a2+b2c2)+1.

Now, in our discussion of Riemann S-Type ellipsoids, there is also a quadratic equation that governs the equilibrium frequency ratio, fζ3/Ω3. It is, specifically,

0

=

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

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

Notice that the first and third terms of this quadratic equation exactly match the first and third terms of the quadratic equation, which we have just derived, that governs the same frequency ratio in Riemann ellipsoids of Types I, II & III. Does the second term match? That is, is the coefficient of the linear term the same in both quadratic relations? Well, …

2a2b2B12c2A3a2b2A12

=

2a2b2[c2A3+a2b2(A1A2a2b2)]1[A2+a2(A1A2a2b2)]

 

=

2a2b2[c2A3(a2b2)+a2b2(A1A2)]1[a2A1b2A2].

Even appreciating that we can make the substitution, A3=(2A1A2), I don't see any way that this coefficient expression can be manipulated to match the associated coefficient in the other expression, namely, (4a2+b2c2)/2.


This is a quadratic equation whose solution gives,

4a2ζ2Ω2[c2a2+c2]

=

(4a2+c2b2)±[(4a2+c2b2)216a2c2]1/2.

For the other frequency ratio we therefore find,

2{b2c2+ζ3Ω3[2a2b2a2+b2]}

=

2ζ2Ω2[2a2c2a2+c2]

 

=

(4a2+c2b2)±[(4a2+c2b2)216a2c2]1/2

4a2ζ3Ω3[b2a2+b2]

=

(4a2+b2c2)±[(4a2+c2b2)216a2c2]1/2

 

SUMMARY:   Riemann Ellipsoids of Types I, II, & III

βζ2Ω2[c2a2+c2]

=

14a2{(4a2b2+c2)[(4a2+c2b2)216a2c2]1/2};

[ EFE, Chapter 7, §47, Eq. (16) ]

γζ3Ω3[b2a2+b2]

=

14a2{(4a2+b2c2)[(4a2+c2b2)216a2c2]1/2}.

[ EFE, Chapter 7, §47, Eq. (17) ]

As is emphasized in EFE (Chapter 7, §47, p. 131) "… the signs in front of the radicals, in the two expressions, go together. Furthermore, "the two roots … correspond to the fact that, consistent with Dedekind's theorem, two states of internal motions are compatible with the same external figure."


As has also been pointed out in EFE (Chapter 7, §51, p. 158), from the steps that have led to the development and solution of the above pair of quadratic equations we can demonstrate that the following relations also hold:

β22β+c2a2=[c2b22a2]β,

       

γ22γ+b2a2=[b2c22a2]γ

12β+(a2c2)β2

=

[4a2b23c22c2]β,

12γ+(a2b2)γ2

=

[4a2c23b22b2]γ.

[ EFE, Chapter 7, §51, Eqs. (161) - (163) ]

Constraints Due to Diagonal Elements[edit]

Next, to simplify manipulations, let's replace the frequency ratios by these newly defined — and known — parameters, β and γ, in the three diagonal-element expressions that are written out in our above Summary Table.


Indices Rewritten Diagonal-Element Expressions
i j
1 1

[3522πabcρ]Π

=

{(Ω22+Ω32)+2[b2b2+a2]Ω3[Ω3γ(a2+b2)b2]+2[c2c2+a2]Ω2[Ω2β(a2+c2)c2](2πGρ)A1}a2

 

 

[a2a2+b2]2[Ω3γ(a2+b2)b2]2b2[a2a2+c2]2[Ω2β(a2+c2)c2]2c2

 

=

{Ω22Ω32+2Ω32γ+2Ω22β+(2πGρ)A1}a2(a4b2)Ω32γ2(a4c2)Ω22β2

 

=

{Ω22[2β1(a2c2)β2]+Ω32[2γ1(a2b2)γ2]+(2πGρ)A1}a2

[ EFE, Chapter 7, §51, Eq. (158) ]
2 2

[3522πabcρ]Π

=

[b2b2+a2]2[Ω3γ(a2+b2)b2]2a2{Ω32+2[a2a2+b2]Ω3[Ω3γ(a2+b2)b2](2πGρ)A2}b2

 

=

Ω32γ2a2Ω32b2+2a2Ω32γ+(2πGρ)b2A2

 

=

a2Ω32[γ22γ+(b2a2)]+(2πGρ)b2A2

[ EFE, Chapter 7, §51, Eq. (159) ]
3 3

[3522πabcρ]Π

=

[c2c2+a2]2[Ω2β(a2+c2)c2]2a2{Ω22+2[a2a2+c2]Ω2[Ω2β(a2+c2)c2](2πGρ)A3}c2

 

=

Ω22β2a2Ω22c2+2a2Ω22β+(2πGρ)c2A3

 

=

a2Ω22[β22β+(c2a2)]+(2πGρ)c2A3

[ EFE, Chapter 7, §51, Eq. (160) ]


Using the (i,j)=(3,3) element to preplace Π in the other two expressions, we obtain,

0

=

Ω22[β22β+(c2a2)]+Ω22[2β1(a2c2)β2]+Ω32[2γ1(a2b2)γ2]+2πGρ[A1(c2a2)A3];

and,

Ω22[β22β+(c2a2)]

=

Ω32[γ22γ+(b2a2)]+2πGρ[(c2a2)A3(b2a2)A2].

Inserting the various relations highlighted above, these two expressions may be rewritten as,

0

=

Ω22[c2b22a2]βΩ22[4a2b23c22c2]βΩ32[4a2c23b22b2]γ+2πGρ[A1(c2a2)A3]

 

=

Ω22β[c2(c2b2)+a2(b2+3c24a2)2a2c2]Ω32γ[4a2c23b22b2]+2πGρ[A1(c2a2)A3];

and,

Ω22[c2b22a2]β

=

Ω32[b2c22a2]γ+2πGρ[(c2a2)A3(b2a2)A2]

Ω22β

=

Ω32γ+4πGρ[c2A3b2A2c2b2]

Ω32γ

=

Ω22β4πGρ[c2A3b2A2c2b2].

Together, then,

0

=

Ω22β[c2(c2b2)+a2(b2+3c24a2)2a2c2]+2πGρ[A1(c2a2)A3]+[4a2c23b22b2]{Ω22β4πGρ[c2A3b2A2c2b2]}

 

=

Ω22β[c2(c2b2)+a2(b2+3c24a2)2a2c2+4a2c23b22b2]+2πGρ[a2A1c2A3a2]2πGρ[4a2c23b2b2][c2A3b2A2c2b2]

 

=

Ω22β{b2[c2(c2b2)+a2(b2+3c24a2)]+(4a2c23b2)a2c22a2b2c2}+2πGρ{[a2A1c2A3a2][4a2c23b2b2][c2A3b2A2c2b2]}

 

=

Ω22β{b2c2(c2b2)+a2b2(c2b2)+(c2b2)a2c2+a2(4a22b22c2)(c2b2)2a2b2c2}+2πGρ[b2(a2A1c2A3)+a2(3b24a2+c2)B23a2b2]

 

=

Ω22β[c2b2c2][4a4a2(b2+c2)+b2c22a2b2]+2πGρ[a2(3b24a2+c2)B23+b2(a2A1c2A3)a2b2],

[ EFE, Chapter 7, §51, Eq. (170) ]

where,

B23

=

[A2b2A3c2b2c2].

[ EFE, Chapter 3, §21, Eqs. (105) & (107) ]

Similarly, given that (see just above),

Ω22β[c2b2c2]

=

Ω32γ[c2b2c2]+4πGρ[c2A3b2A2c2]

 

=

Ω32γ[c2b2c2]+4πGρ[(c2b2)B23c2],

we have,

0

=

{Ω32γ[c2b2c2]+4πGρ[(c2b2)B23c2]}[4a4a2(b2+c2)+b2c22a2b2]+2πGρ[a2(3b24a2+c2)B23+b2(a2A1c2A3)a2b2]

 

=

Ω32γ[c2b2b2][4a4a2(b2+c2)+b2c22a2c2]+2πGρ{[[4a4a2(b2+c2)+b2c2](c2b2)B23a2b2c2]+[a2c2(3b24a2+c2)B23+b2c2(a2A1c2A3)a2b2c2]}

 

=

Ω32γ[c2b2b2][4a4a2(b2+c2)+b2c22a2c2]+2πGρ[a2(b2+3c24a2)B23+c2(a2A1b2A2)a2c2].

[ EFE, Chapter 7, §51, Eq. (171) ]

Finally, looking back at the (i,j)=(3,3) constraint and recognizing that,

Ω22β(c2b2)

=

4πGρc2[a2(3b24a2+c2)B23+b2(a2A1c2A3)4a4a2(b2+c2)+b2c2],

we find,

2[3522πabcρ]Π

=

2a2Ω22[β22β+(c2a2)]+(4πGρ)c2A3

 

=

(4πGρ)c2A3(c2b2)Ω22β

 

=

(4πGρ)c2A3+4πGρc2[a2(3b24a2+c2)B23+b2(a2A1c2A3)4a4a2(b2+c2)+b2c2]

 

=

4πGρc2{A3+[a2(3b24a2+c2)B23+b2(a2A1c2A3)4a4a2(b2+c2)+b2c2]}.

Riemann S-Type Ellipsoids[edit]

In this case, we assume that Ω and ζ are aligned with each other and, as well, are aligned with the z-axis; that is to say, in addition to setting (Ω1,ζ1)=(0,0) we also set (Ω2,ζ2)=(0,0). So, there are only three unknowns — Π,(Ω3,ζ3) — and they can be determined by ignoring off-axis expressions and simultaneously solving the diagonal element expressions displayed in our above Summary Table. Furthermore, two of the three diagonal-element expressions can be simplified because we are setting (Ω2,ζ2)=(0,0). The three relevant equilibrium constraints are:


Indices 2nd-Order TVE Expressions that are Relevant to Riemann S-Type Ellipsoids
i j
1 1

0

=

[3522πabcρ]Π+{Ω32+2[b2b2+a2]Ω3ζ3(2πGρ)A1}a2+[a2a2+b2]2ζ32b2

2 2

0

=

[3522πabcρ]Π+[b2b2+a2]2ζ32a2+{Ω32+2[a2a2+b2]Ω3ζ3(2πGρ)A2}b2

3 3

0

=

[3522πabcρ]Π(2πGρ)A3c2


The (i,j)=(3,3) component expression immediately identifies the value of one of the unknowns, namely,

Π

=

(23π235)Gρ2A3abc3.

From the remaining pair of diagonal-element expressions, we therefore have,

0

=

a2Ω32+2[b2a2b2+a2]Ω3ζ3+[a2a2+b2]2ζ32b2+(2πGρ)(A3c2A1a2),

and,

0

=

[b2b2+a2]2ζ32a2+b2Ω32+2[a2b2a2+b2]Ω3ζ3+(2πGρ)(A3c2A2b2).

Multiplying the first of these two expressions through by b2 and the second through by a2, then subtracting the second from the first gives,

0

=

b2{2[b2a2b2+a2]Ω3ζ3+[a2a2+b2]2ζ32b2+(2πGρ)(A3c2A1a2)}

 

 

a2{[b2b2+a2]2ζ32a2+2[a2b2a2+b2]Ω3ζ3+(2πGρ)(A3c2A2b2)}

 

=

{2[b4a2b2+a2]Ω3ζ3+(2πGρ)(A3c2A1a2)b2}{2[a4b2a2+b2]Ω3ζ3+(2πGρ)(A3c2A2b2)a2}

[b2a2b2+a2]Ω3ζ3

=

πGρ[(A3c2A2b2)a2(A3c2A1a2)b2b2a2]

 

=

πGρ[(A1A2)a2b2b2a2A3c2].

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

Note that — as EFE has done and as we have recorded in a related discussion — the first term on the right-hand-side of this last expression can be expressed more compactly in terms of the coefficient, A12.

Alternatively, dividing the first expression through by a2 and the second by b2, then adding the pair of expressions gives,

0

=

Ω32+2[b2b2+a2]Ω3ζ3+[a2b2(a2+b2)2]ζ32+(2πGρ)(A3c2A1a2)1a2

 

 

+[a2b2(b2+a2)2]ζ32+Ω32+2[a2a2+b2]Ω3ζ3+(2πGρ)(A3c2A2b2)1b2

 

=

2Ω32+2Ω3ζ3+2[a2b2(a2+b2)2]ζ32+2πGρ[A3c2A1a2a2+A3c2A2b2b2].

If we divide through by 2, then replace the product, Ω3ζ3, in this expression by the relation derived immediately above, we have,

Ω32+[a2b2(a2+b2)2]ζ32

=

πGρ[b2(A3c2A1a2)+a2(A3c2A2b2)a2b2]πGρ[(A1A2)a2b2A3c2(b2a2)b2a2][b2+a2b2a2]

 

=

πGρa2b2(a2b2){[b2(A3c2A1a2)+a2(A3c2A2b2)](b2a2)+[(A1A2)a2b2A3c2(b2a2)](b2+a2)}

 

=

πGρa2b2(a2b2){[A1a2b2A2a2b2](b2a2)+(A1A2)a2b2(b2+a2)}

 

=

2πGρ(a2b2)[A1a2A2b2].

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

It has become customary to characterize each Riemann S-Type ellipsoid by the value of its equilibrium frequency ratio,

f

ζ3Ω3,

in which case the relevant pair of constraint equations becomes,

[b2a2b2+a2]fΩ32

=

πGρ[(A1A2)a2b2b2a2A3c2];

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

and,

Ω32{1+[a2b2(a2+b2)2]f2}

=

2πGρ(a2b2)[A1a2A2b2].

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

These two equations can straightforwardly be combined to generate a quadratic equation for the frequency ratio, f. Then, once the value of f has been determined, either expression can be used to determine the corresponding equilibrium value for Ω3 in the unit of (πGρ)1/2. The fact that the value of f is determined from the solution of a quadratic equation underscores the realization that, for a given specification of the ellipsoidal geometry (a,b,c), if an equilibrium exists — i.e., if the solution for f is real rather than imaginary — then two equally valid, and usually different (i.e., non-degenerate), values of f will be realized. This means that two different underlying flows — one direct and the other adjoint — will sustain the shape of the ellipsoidal configuration, as viewed from a frame that is rotating about the z-axis with frequency, Ω3.

Jacobi and Dedekind Ellipsoids[edit]

Describe …

Maclaurin Spheroids[edit]

Describe …

Appendices:  Various Integrals Over Ellipsoid Volume[edit]

Throughout this set of appendices, we work with a uniform-density ellipsoid whose surface is defined by the expression,

1

=

x2a2+y2b2+z2c2.

Appendix A:  Volume[edit]

Here we seek to find the volume of the ellipsoid via the Cartesian integral expression,

V

=

dxdydz.

Preliminaries[edit]

First, we will integrate over x and specify the integration limits via the expression,

x

a[1y2b2z2c2]1/2;

second, we will integrate over z and specify the integration limits via the expression,

z

c[1y2b2]1/2;

third, we will integrate over y and set the limits of integration as ±b.

Carry Out the Integration[edit]

Following thestrategy that has just been outlined, we have,

V

=

dydzx+xdx=dydz[x]x+x=2dyxdz

 

=

2ady[1y2b2z2c2]1/2dz=2acdyz+z[z2z2]1/2dz

 

=

2acdy2[zz2z2+z2sin1(z|z|)]z+z

 

=

2ac[zz2z20+z2sin1(1)]dy=2ac[π2z2]dy

 

=

πacb+b(1y2b2)dy=πac[yy33b2]b+b

 

=

4π3abc.

Appendix B:  Coriolis Component u1x2[edit]

[u1y]dxdydz

=

{[a2a2+b2]ζ3y+[a2a2+c2]ζ2z}ydxdydz

 

=

[a2a2+b2]ζ3y2dxdydz+[a2a2+c2]ζ2yzdxdydz

 

=

[a2a2+b2]ζ3y2dydzx+xdx+[a2a2+c2]ζ2ydyzdzx+xdx

 

=

[2a2a2+b2]ζ3y2dyxdz+[2a2a2+c2]ζ2ydyzxdz

 

=

[2a3a2+b2]ζ3y2dy[1y2b2z2c2]1/2dz+[2a3a2+c2]ζ2ydyz[1y2b2z2c2]1/2dz

 

=

1c[2a3a2+b2]ζ3y2dyz+z[z2z2]1/2dz+1c[2a3a2+c2]ζ2ydyz+zz[z2z2]1/2dz

 

=

1c[2a3a2+b2]ζ3y2dy12{zz2z2+z2sin1(z|z|)}z+z1c[2a3a2+c2]ζ2ydy13{[z2z2]3/2}z+z

 

=

1c[2a3a2+b2]ζ3y2dy12{z2sin1(z|z|)}z+z=πac[a2a2+b2]ζ3bby2[1y2b2]dy

 

=

πac[a2a2+b2]ζ3[y33y55b2]b+b=2πab3c[a2a2+b2]ζ3[215]=4πabc3[a2a2+b2]ζ3[b25]

 

=

I22ρ[a2a2+b2]ζ3.

[ EFE, Chapter 7, §47, p. 130, Eq. (9a) ]

Appendix C:  Coriolis Component u1x3[edit]

Here we will additionally make use of the integration limits,

y2

b2(1z2c2).

Integration over the relevant Coriolis component gives,

[u1z]dxdydz

=

{[a2a2+b2]ζ3y+[a2a2+c2]ζ2z}zdxdydz

 

=

[a2a2+b2]ζ3yzdxdydz0+[a2a2+c2]ζ2z2dxdydz

 

=

[a2a2+c2]ζ2z2dzdyx+xdx

 

=

2a[a2a2+c2]ζ2z2dzdy{[1y2b2z2c2]1/2}

 

=

2ab[a2a2+c2]ζ2z2dzy+y[y2y2]1/2dy

 

=

2ab[a2a2+c2]ζ2z2dz12{yy2y2+y2sin1(y|y|)}y+y

 

=

2ab[a2a2+c2]ζ2ccz2{π2y2}dz=πab[a2a2+c2]ζ2ccz2{1z2c2}dz

 

=

πab[a2a2+c2]ζ2{z33z55c2}c+c=πab[a2a2+c2]ζ2{1315}2c3=4πabc3[a2a2+c2]ζ2{c25}

 

=

+I33ρ[a2a2+c2]ζ2.

[ EFE, Chapter 7, §47, p. 130, Eq. (9b) ]


Appendix D:   The Other Four Coriolis Components[edit]

It follows that,

[u2x]dxdydz

=

{[a22a22+a32]ζ1z0+[a22a22+a12]ζ3x}xdxdydz

 

=

+I11ρ[b2b2+a2]ζ3;

[u2z]dxdydz

=

{[a22a22+a32]ζ1z+[a22a22+a12]ζ3x0}zdxdydz

 

=

I33ρ[b2b2+c2]ζ1;

[u3x]dxdydz

=

{[a32a32+a12]ζ2x+[a32a32+a22]ζ1y0}xdxdydz

 

=

I11ρ[c2c2+a2]ζ2;

[u3y]dxdydz

=

{[a32a32+a12]ζ2x0+[a32a32+a22]ζ1y}ydxdydz

 

=

+I22ρ[c2c2+b2]ζ1.

Appendix E:   Kinetic Energy Components[edit]

Diagonal Elements[edit]

(2ρ)𝔗11=Vu1u1d3x

=

[u12]dxdydz

 

=

{[a2a2+b2]ζ3y+[a2a2+c2]ζ2z}2dxdydz

 

=

{[a2a2+b2]2ζ32y22[a2a2+b2][a2a2+c2]ζ2ζ30yz+[a2a2+c2]2ζ22z2}dxdydz

 

=

[a2a2+b2]2ζ32y2dxdydz+[a2a2+c2]2ζ22z2dxdydz

 

=

[a2a2+b2]2ζ32[I22ρ]+[a2a2+c2]2ζ22[I33ρ].

Similarly,

(2ρ)𝔗22=Vu2u2d3x

=

[u22]dxdydz

 

=

{[b2b2+c2]ζ1z+[b2b2+a2]ζ3x}2dxdydz

 

=

[b2b2+c2]2ζ12[I33ρ]+[b2b2+a2]2ζ32[I11ρ];

(2ρ)𝔗33=Vu3u3d3x

=

[u22]dxdydz

 

=

{[c2c2+a2]ζ2x+[c2c2+b2]ζ1y}2dxdydz

 

=

[c2c2+a2]2ζ22[I11ρ]+[c2c2+b2]2ζ12[I22ρ].

Off-Diagonal Elements[edit]

(2ρ)𝔗23=Vu2u3d3x

=

[u2u3]dxdydz

 

=

{[b2b2+c2]ζ1z+[b2b2+a2]ζ3x}{[c2c2+a2]ζ2x+[c2c2+b2]ζ1y}dxdydz

 

=

{[b2b2+c2]ζ1z}{[c2c2+a2]ζ2x+[c2c2+b2]ζ1y}dxdydz

 

 

+{[b2b2+a2]ζ3x}{[c2c2+a2]ζ2x+[c2c2+b2]ζ1y}dxdydz

 

=

{[b2b2+a2][c2c2+a2]ζ2ζ3}x2dxdydz

 

=

I11ρ[b2b2+a2][c2c2+a2]ζ2ζ3

[ EFE, Chapter 7, §47, p. 130, Eq. (8) ]

Similarly,

(2ρ)𝔗12=Vu1u2d3x

=

[u1u2]dxdydz

 

=

{[a2a2+b2]ζ3y+[a2a2+c2]ζ2z}{[b2b2+c2]ζ1z+[b2b2+a2]ζ3x}dxdydz

 

=

[a2a2+c2][b2b2+c2]ζ1ζ2z2dxdydz

 

=

I33ρ[a2a2+c2][b2b2+c2]ζ1ζ2;

(2ρ)𝔗31=Vu3u1d3x

=

[u3u1]dxdydz

 

=

{[c2c2+a2]ζ2x+[c2c2+b2]ζ1y}{[a2a2+b2]ζ3y+[a2a2+c2]ζ2z}dxdydz

 

=

[c2c2+b2][a2a2+b2]ζ1ζ3y2dxdydz

 

=

I22ρ[c2c2+b2][a2a2+b2]ζ1ζ3.

And, finally,

𝔗32

=

𝔗23;

     

𝔗21

=

𝔗12;

      and,     

𝔗13

=

𝔗31.

See Also[edit]


Tiled Menu

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