ThreeDimensionalConfigurations/DescriptionOfRiemannTypeI

From jetwiki
Jump to navigation Jump to search


Description of Riemann Type I Ellipsoids

Type I
Riemann
Ellipsoids

A more succinct version of this chapter is titled, 3Dconfigurations/DescriptionOfRiemannTypeI.

Analytic Determination of Equilibrium Model Parameters

Drawing heavily from §47 (pp. 129 - 132) of [EFE] , in a separate chapter we show how the steady-state 2nd-order tensor virial equations can be used to derive the equilibrium structure of Riemann Ellipsoids of Type I, II, & III. By definition, for these types of Riemann Ellipsoids, 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 that chapter's Summary Table must be used in order to determine the equilibrium configuration's associated values of the five unknowns: Π,(Ω2,ζ2),(Ω3,ζ3).

In an effort to simplify the constraint-equation expressions — and following the notation found in [EFE] — we adopt the intermediary parameters:

β

=

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

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

γ

=

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


The five relevant constraint equations are,

2[3522πabcρ]Π

=

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

0

=

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

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

ζ2

=

Ω2β[a2+c2c2],

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

0

=

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

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

ζ3

=

Ω3γ[a2+b2b2],

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

where,

B23

=

[A2b2A3c2b2c2].

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

Throughout the EFE discussion of Type I Riemann Ellipsoids, the assumption is made that bac. Presumably then, when evaluating the above set of constraints, we must 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.

Example Equilibrium Models

Extracted from XXVIII

Here are equilibrium model parameters drawn from 📚 S. Chandrasekhar (1966, ApJ, Vol. 145, pp. 842 - 877) — referred to in [EFE] as Publication XXVIII.

Data Extracted from Table 4 (p. 858) of
S. Chandrasekhar (1966)
The Equilibrium and the Stability of the Riemann Ellipsoids. II.
The Astrophysical Journal, Vol. 145, pp. 842 - 877

Our
(reverse-engineered)
Determination
The Properties of a Few Riemann Ellipsoids of Type I
a2a1 a3a1   Direct   Adjoint A1 A2 A3
Ω2 Ω3 ζ2 ζ3 (ζ2/Ω2) (ζ3/Ω3) Ω2 Ω3 ζ2 ζ3 (ζ2/Ω2) (ζ3/Ω3)
1.05263 0.41667 + 0.14834 +0.73257 -1.41355 -2.61578 -9.52912 -3.57069 +0.50185 +1.30617 -0.41783 -1.46707 -0.83258 -1.12318 0.43008706 0.40190235 1.16801059
1.25000 0.50000 +0.39259 +0.66536 -2.19983 -1.93895 -5.60338 -2.91414 +0.87993 +0.94583 -0.98148 -1.36398 -1.11541 -1.44210 0.50823343 0.37944073 1.11232585
1.44065 0.49273 +0.57179 +0.59896 -2.24560 -1.49425 -3.92732 -2.49474 +0.89032 +0.69996 -1.44219 -1.27866 -1.61986 -1.82676 0.52403947 0.32351421 1.15244632
1.66667 0.33333 +0.71251 +0.52815 -2.37502 -1.19714 -3.33331 -2.26667 +0.71251 +0.52815 -2.37502 -1.19714 -3.33331 -2.26667 0.41805282 0.20718125 1.37476593
1.36444 0.09518 +0.05632 +0.40707 -6.68275 -1.24612 -118.657 -3.06119 +0.63035 +0.59414 -0.59714 -0.85376 -0.94731 -1.43697 0.14374587 0.09152713 1.76472699
1.69351 0.11813 +0.15764 +0.38504 -6.27092 -1.02536 -39.7800 -2.66300 +0.73061 +0.44893 -1.35309 -0.87944 -1.85200 -1.95897 0.18178501 0.08464699 1.73356799
1.52303 0.05315 +0.03311 +0.29600 -9.85239 -0.84580 -297.565 -2.85743 +0.52221 +0.38805 -0.62474 -0.64518 -1.19634 -1.66262 0.08593434 0.04618515 1.86788051
1.78590 0.06233 +0.08952 +0.28558 -9.19424 -0.74657 -102.706 -2.61422 +0.57083 +0.31825 -1.4418 -0.66992 -2.52580 -2.10501 0.10258739 0.04358267 1.85382994
NOTE:   All frequencies are given in the unit of (πGρ)1/2.


Given the values of Ω2 and Ω3 from this table, we have reverse-engineered this problem and determined what numerical values of A1, A2, and A3 were used by 📚 Chandrasekhar (1966; XXVIII) for various models. What follows are the expressions that have been derived via this reverse-engineering effort. The values of A1, A2, and A3 that we have derived in this manner have been recorded in the last three columns of the table.

First …

β(Ω22πGρ)[b2c22c2][4a4a2(b2+c2)+b2c2]

=

[a2(3b24a2+c2)B23+b2(a2A1c2A3)]

 

=

a2(3b24a2+c2)[A2b2A3c2b2c2]+a2b2[2(A2+A3)]b2c2A3

β4c2(Ω22πGρ)(b2c2)2[4a4a2(b2+c2)+b2c2]Γ

=

a2(3b24a2+c2)[A2b2A3c2]+a2b2(b2c2)[2(A2+A3)]b2c2(b2c2)A3

 

=

2a2b2(b2c2)+a2b2(3b24a2+c2)A2a2b2(b2c2)A2a2c2(3b24a2+c2)A3a2b2(b2c2)A3b2c2(b2c2)A3

 

=

2a2b2(b2c2)+a2b2[(3b24a2+c2)(b2c2)]A2[a2c2(3b24a2+c2)+a2b2(b2c2)+b2c2(b2c2)]A3

 

=

2a2b2(b2c2)+2a2b2[b22a2+c2]A2[(3a2b2c24a4c2+a2c4)+(a2b4a2b2c2)+(b4c2b2c4)]A3

 

=

2a2b2(b2c2)Λ20+2a2b2[b22a2+c2]Λ22A2[2a2b2c24a4c2+a2c4+a2b4+b4c2b2c4]Λ23A3.

Next …

γ(Ω32πGρ)[c2b24b2][4a4a2(b2+c2)+b2c2]

=

[a2(b2+3c24a2)B23+c2(a2A1b2A2)]

 

=

a2(b2+3c24a2)[A2b2A3c2b2c2]+a2c2[2(A2+A3)]b2c2A2

γ4b2(Ω32πGρ)(b2c2)2[4a4a2(b2+c2)+b2c2]Γ

=

a2(b2+3c24a2)[A2b2A3c2]+a2c2(b2c2)[2(A2+A3)]b2c2(b2c2)A2

 

=

2a2c2(b2c2)+a2b2(b2+3c24a2)A2a2c2(b2c2)A2b2c2(b2c2)A2a2c2(b2+3c24a2)A3a2c2(b2c2)A3

 

=

2a2c2(b2c2)+[a2b2(b2+3c24a2)a2c2(b2c2)b2c2(b2c2)]A22a2c2[b2+c22a2]A3

 

=

2a2c2(b2c2)Λ30+[2a2b2c24a4b2+a2b4+a2c4b4c2+b2c4]Λ32A22a2c2[b2+c22a2]Λ33A3.

Hence,

β4c2(Ω22πGρ)Γ

=

Λ20+Λ22A2Λ23A3

A3

=

1Λ23[Λ20+Λ22A2β4c2(Ω22πGρ)Γ];

and,

γ4b2(Ω32πGρ)Γ

=

Λ30+Λ32A2Λ33A3

A3

=

1Λ33[Λ30+Λ32A2+γ4b2(Ω32πGρ)Γ].

Put together, we find,

[Λ22Λ23]A2+1Λ23[Λ20β4c2(Ω22πGρ)Γ]

=

[Λ32Λ33]A2+1Λ33[Λ30+γ4b2(Ω32πGρ)Γ]

A2[Λ22Λ23Λ32Λ33]

=

1Λ33[Λ30+γ4b2(Ω32πGρ)Γ]1Λ23[Λ20β4c2(Ω22πGρ)Γ]


a2a1 a3a1 A1 A2 A3   Direct   Adjoint
β+ γ+ β+(a2+c2)/c2 γ+(a2+b2)/b2 β γ β(a2+c2)/c2 γ(a2+b2)/b2
1.25000 0.50000 0.50823343 0.37944073 1.11232585 1.12066896 1.77691896 -5.6033448 -2.9141471 0.22308104 0.87933104 -1.1154052 -1.4421029

Examination of Lagrangian Flow in One Specific Model

This particular set of seven key parameters has been drawn from [EFE] Chapter 7, Table XIII (p. 170). The tabular layout presented here, also appears in a related discussion labeled, Challenges Pt. 2.

a=a1=1
b=a2=1.25
c=a3=0.4703
Ω2=0.3639
Ω3=0.6633
ζ2=2.2794
ζ3=1.9637

As a consequence — see an accompanying discussion (alternatively, ChallengesPt6) for details — the values of other parameters are …

    Example Values

tanθ

=

ζ2ζ3[a2+b2a2+c2]c2b2=0.344793

       

θ=

19.0238

Λ

[a2a2+b2]ζ3cosθ[a2a2+c2]ζ2sinθ

       

Λ=

1.332892

y0z0

=

[a2a2+c2]ζ2Λ=b2sinθ(c2cos2θ+b2sin2θ)

       

y0z0=

+1.400377

xmaxymax

=

{Λ[a2+b2b2]cosθζ3}1/2

       

    xmaxymax=

+1.025854

 

=

a(c2cos2θ+b2sin2θ)1/2bc

       

   

 

|φ˙|

=

{Λ[b2a2+b2]ζ3cosθ}1/2   Correct!

       

|φ˙|=

1.299300   Correct!

φ˙

=

ζ3cosθ[abc(c2cos2θ+b2sin2θ)1/2c2(a2+b2)]

       

φ˙=

1.299300

EFE Rotating Cartesian Frame

Concentric triaxial ellipsoids are defined by the expression,

P = (xa)2+(yb)2+(zc)2,

where 0P1 is a constant. As viewed from the rotating reference frame, the velocity flow-field everywhere inside (0P<1), and on the surface (P=1) of the Type I Riemann ellipsoid is given by the expression — see, for example, an accompanying discussion of the Riemann flow-field,

𝐮EFE = ı^{[a2a2+b2]ζ3y+[a2a2+c2]ζ2z}+ȷ^{+[b2a2+b2]ζ3x}+k^{[c2a2+c2]ζ2x}.

In an accompanying discussion, we have shown that,

𝐮EFEP = 0,

which means that, at every location inside and on the surface of the configuration, the velocity vector is orthogonal to a vector that is normal to the ellipsoidal surface at that location.

Tilted Coordinate System

Figure 1:   Tilted Reference Frame

ı^

ı^,

ȷ^

ȷ^cosθk^sinθ,

k^

ȷ^sinθ+k^cosθ.

Primed Coordinates

x

x,

y

ycosθzsinθ,

zz0

ysinθ+zcosθ.

As we have detailed in our accompanying discussion, as viewed from this "tipped" frame, the concentric ellipsoidal surfaces of a Type I Riemann ellipsoid are defined by the expression,

P

=

[ycosθzsinθb]2+[z0+zcosθ+ysinθc]2+(xa)2.

and the velocity flow-field is given by the expression,

uEFE

=

ı^{[a2a2+b2]ζ3(ycosθzsinθ)+[a2a2+c2]ζ2(z0+ysinθ+zcosθ)}

 

 

+[ȷ^cosθk^sinθ]{[b2a2+b2]ζ3x}+[ȷ^sinθ+k^cosθ]{[c2a2+c2]ζ2x}.

We also have explicitly demonstrated that, for any arbitrarily chosen value of the tilt angle, θ,

𝐮EFEP = 0.

Preferred Tilt

As we discuss elsewhere, if we specifically choose,

tanθ

=

βΩ2γΩ3=[c2(a2+b2)b2(a2+c2)]ζ2ζ3.

the component of the flow-field in the k^ direction vanishes; that is, in this specific case, as viewed from the tilted reference frame, all of the fluid motion is confined to the x'-y' plane. Notice that this plane is not parallel to any of the three principal planes of the Type I Riemann ellipsoid. I have not seen this fluid-flow behavior previously described in the published literature. Maybe Norman Lebovitz will know.

The three panels of Figure 2, and the text description that follows, have been drawn from a separate discussion.


Figure 2a Figure 2b

EFE Model b41c385

EFE Model b41c385

file = Dropbox/3Dviewers/AutoRiemann/TypeI/Lagrange/TL15.lagrange.dae

Figure 2c

EFE Model b41c385

file = Dropbox/3Dviewers/RiemannModels/RiemannCalculations.xlsx --- worksheet = TypeI_1b

As has been described in an accompanying discussion of Riemann Type 1 ellipsoids, we have used COLLADA to construct an animated and interactive 3D scene that displays in purple the surface of an example Type I ellipsoid; panels a and b of Figure 2 show what this ellipsoid looks like when viewed from two different perspectives. (As a reminder — see the explanation accompanying Figure 2 of that accompanying discussion — the ellipsoid is tilted about the x-coordinate axis at an angle of 61.25° to the equilibrium spin axis, which is shown in green.) Yellow markers also have been placed in this 3D scene at each of the coordinate locations specified in the table that accompanies that discussion. From the perspective presented in Figure 2b, we can immediately identify three separate, nearly circular trajectories; the largest one corresponds to our choice of z0 = -0.25, the smallest corresponds to our choice of z0 = -0.60, and the one of intermediate size correspond to our choice of z0 = -0.4310. When viewed from the perspective presented in Figure 2a, we see that these three trajectories define three separate planes; each plane is tipped at an angle of θ = -19.02° to the untilted equatorial, x-y plane of the purple ellipsoid.

Lagrangian Fluid Trajectories

Off-Center Ellipse

The yellow dots in Figures 2a and 2b trace three different, nearly circular, closed curves. These curves each show what results from the intersection of the surface of the triaxial ellipsoid and a plane that is tilted with respect to the x = x' axis by the specially chosen angle, θ; the different curves result from different choices of the intersection point, z0. Several additional such curves are displayed in Figure 2c. Each of these curves necessarily also identifies the trajectory that is followed by a fluid element that sits on the surface of the ellipsoid.

We have determined that the y(x) function that defines each closed curve is describable analytically by the expression,

[yy'0y'max]2

=

1(xx'max)2,

where (see independent derivations with identical results from ChallengesPt2 and ChallengesPt6),

x'max

=

a[1z02cos2θ(c2cos2θ+b2sin2θ)]1/2

 

=

a[(c2z02)cos2θ+b2sin2θ(c2cos2θ+b2sin2θ)]1/2,

y'max

=

bc[(c2cos2θ+b2sin2θ)z02cos2θ]1/2(c2cos2θ+b2sin2θ)1

 

=

bc[(c2z02)cos2θ+b2sin2θ(c2cos2θ+b2sin2θ)2]1/2,

y'0

=

z0b2sinθ(c2cos2θ+b2sin2θ).

This is the equation that describes a closed ellipse with semi-axes, (x'max,y'max), that is offset from the z'-axis along the y'-axis by a distance, y'0. Notice that the degree of flattening,

[xy]max

=

a(c2cos2θ+b2sin2θ)1/2bc,

is independent of z0; that is to say, the degree of flattening of all of the elliptical trajectories is identical! Notice, as well, that the y-offset, y'0, is linearly proportional to z0.

In a separate discussion, we have demonstrated that the compact version of the tilted flow-field is everywhere orthogonal to the elliptical trajectory whose analytic definition is given by the off-set ellipse equation.

Associated Lagrangian Velocities

Let's presume that, as a function of time, the x'-y' coordinates and associated velocity components of each Lagrangian fluid element are given by the expressions,

x

=

xmaxcos(φ˙t)

      and,      

yy0

=

ymaxsin(φ˙t),

x˙

=

xmaxφ˙sin(φ˙t)=(y0y)[xmaxymax]φ˙

      and,      

y˙

=

ymaxφ˙cos(φ˙t)=x[ymaxxmax]φ˙.

If this is the correct description of the Lagrangian motion in a z=0 plane of motion, then the velocity components, x˙ and y˙, must match the respective components of the Riemann flow-field, namely,

uEFE|z=0

=

ı^{[a2a2+c2]ζ2z0}+ı^{z(c2b2)tanθ0y[c2+b2tan2θ]}ζ3cosθc2[a2a2+b2]+ȷ^[b2a2+b2]ζ3xcosθ.

First, let's compare the ȷ^ components.

x[yx]maxφ˙

x[b2a2+b2]ζ3cosθ

φ˙

=

[b2a2+b2]ζ3cosθ[xy]max

 

=

[b2a2+b2]ζ3cosθ[a(c2cos2θ+b2sin2θ)1/2bc]

 

=

ζ3cosθ[abc(c2cos2θ+b2sin2θ)1/2c2(a2+b2)].

Now let's compare the ı^ components.

(y0y)[xy]maxφ˙

[a2a2+c2]ζ2z0y[c2+b2tan2θ]ζ3cosθc2[a2a2+b2]

(y0y)φ˙

=

{[a2a2+c2]ζ2z0y[c2+b2tan2θ]ζ3cosθc2[a2a2+b2]}[yx]max

 

=

{[a2a2+c2]ζ2z0y[c2+b2tan2θ]ζ3cosθc2[a2a2+b2]}[bca(c2cos2θ+b2sin2θ)1/2].

Inserting the just-derived expression for φ˙ into this last expression gives,

(y0y)

=

{[a2a2+c2]ζ2z0y[c2+b2tan2θ]ζ3cosθc2[a2a2+b2]}[bca(c2cos2θ+b2sin2θ)1/2][a2+b2b2]cosθζ3[bca(c2cos2θ+b2sin2θ)1/2]

 

=

{[a2a2+c2]ζ2z0y[c2+b2tan2θ]ζ3cosθc2[a2a2+b2]}cosθζ3[c2(a2+b2)a2(c2cos2θ+b2sin2θ)]

 

=

{[a2a2+c2]ζ2z0}cosθζ3[c2(a2+b2)a2(c2cos2θ+b2sin2θ)]+{y[c2+b2tan2θ]ζ3cosθc2[a2a2+b2]}cosθζ3[c2(a2+b2)a2(c2cos2θ+b2sin2θ)]

 

=

{[c2(a2+b2)b2(a2+c2)]ζ2ζ3}[b2z0cosθ(c2cos2θ+b2sin2θ)]y.

But,

tanθ

=

[c2(a2+b2)b2(a2+c2)]ζ2ζ3.

Hence,

(y0y)

=

[b2z0sinθ(c2cos2θ+b2sin2θ)]y.

y0

=

[b2z0sinθ(c2cos2θ+b2sin2θ)].

SUCCESS !!!

See Also

  • Related discussions of models viewed from a rotating reference frame:
Tiled Menu

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