3Dconfigurations/RiemannEllipsoids

From jetwiki
Jump to navigation Jump to search


Riemann (1826 - 1866)

Background

Excerpt from p. 539 of R. Baker, C. Christenson & H. Orde (2004):

"Newton first showed that the departure of the figure of the earth from a sphere is due to its rotation. Jacobi showed in 1834 that gravitational equilibrium of a rotating spheroid is consistent with three distinct axes if the angular momentum exceeds a critical value. Dirichlet had posed and partially analyzed the conditions for a configuration which is an ellipsoid varying with time, such that the motion in an inertial frame, is linear in the coordinates. His results were edited posthumously by Dedekind in 1860. In his published work dated 1861 — five years before his death — Riemann took up this problem of Dirichlet …"

Excerpt from p. 530 of R. Baker, C. Christenson & H. Orde (2004) which, in turn, is taken from R. Dedekind's accounting of The life of Bernhard Riemann:

"In the Easter vacation of 1860 [Riemann] went on a trip to Paris, where he stayed for a month from 26th March; unfortunately the weather was raw and unfriendly and in the last week of his visit there was one day after another of snow and hail which made it almost impossible to see the sights. However, he was delighted with the friendly reception which he received from the Parisian scholars Serret, Bertrand, Hermite, Puiseux and Briot, with whom he spent a pleasant day in the country at Chatenay, along with Bouquet. In the same year, [Riemann] completed his paper on the motion of a fluid ellipsoid …"

Excerpt from pp. 184-185 of EFE:

"Riemann's paper 'Ein Beitrag zu den Untersuchungen über die Bewegung eines flüssigen gleichartigen Ellipsoides,' communicated to Der Königlichen Gesellschaft der Wissenschaften zu Göttingen on December 8, 1860, is remarkable for the wealth of new results it contains and for the breadth of its comprehension of the entire range of problems. In the present writer's [S. Chandrasekhar] view this much neglected paper — [for example] there are no references to it in any of the writings of Poincaré, Darwin, or Jeans — deserves to be included among the other great papers of Riemann that are well known. … In view of Riemann's unique place in science, a critical appraisal of this paper is perhaps justified."

His Published Work on Ellipsoids

Riemann's (1861) work, titled, "Ein Beitrag zu den Untersuchungen über die Bewegung eines flüssigen gleichartigen Ellipsoides" — English translation: "A contribution to the study of the motion of a homogeneous fluid ellipsoid" — can be found in various published collections of his papers:

Our description and detailed analysis of Riemann's (1861) work that follows, draws primarily from the 2004 translation of his collected works.

Governing Equations

Step 1

At the beginning of his discussion, Riemann denotes by (x,y,z) "the [inertial-frame] coordinates of an element of the fluid body at time t," and he denotes by (ξ,η,ζ) "the coordinates of the point (x,y,z) with respect to a moving coordinate system, whose axes coincide at each instant with the principal axes of the ellipsoid." Drawing from our accompanying discussion of Euler angles, it seems appropriate to associate A→XYZ with the vector that points from the origin to the (x,y,z) location of the fluid element as viewed from the inertial reference frame, and to associate A→body with the vector that points from the origin to the same location of the fluid element, but as viewed from Riemann's specified rotating frame. With this in mind, we have the following notation mappings:

A→XYZ(AX,AY,AZ)

  →  

A→inertial(x,y,z)=e→X(x)+e→Y(y)+e→Z(z),

A→body(A1,A2,A3)

  →  

A→body(ξ,η,ζ)=e→1(ξ)+e→2(η)+e→3(ζ).

Again drawing from our accompanying Euler angles discussion, quite generally these two coordinate representations — of the same vector, A→ — are related to one another via the matrix expression,

A→body=R^⋅A→inertial,

that is,

[ξηζ]

=

[e→1⋅e→Xe→1⋅e→Ye→1⋅e→Ze→2⋅e→Xe→2⋅e→Ye→2⋅e→Ze→3⋅e→Xe→3⋅e→Ye→3⋅e→Z]⋅[xyz]=R^⋅[xyz].

In terms of the trio of Euler angles, the rotation matrix is,

R^(ϕ,θ,ψ)

=

[(cos⁡ψcos⁡ϕ−sin⁡ϕsin⁡ψcos⁡θ)(cos⁡ψsin⁡ϕ+cos⁡ϕsin⁡ψcos⁡θ)(sin⁡ψsin⁡θ)(−sin⁡ψcos⁡ϕ−sin⁡ϕcos⁡ψcos⁡θ)(−sin⁡ϕsin⁡ψ+cos⁡ϕcos⁡ψcos⁡θ)(cos⁡ψsin⁡θ)(sin⁡θsin⁡ϕ)(−sin⁡θcos⁡ϕ)(cos⁡θ)].

This means that — see our accompanying discussion — in terms of the trio of Euler angles, the following three coordinate mappings hold:

ξ

=

x(cos⁡ψcos⁡ϕ−sin⁡ψsin⁡ϕcos⁡θ)+y(sin⁡ϕcos⁡ψ+sin⁡ψcos⁡θcos⁡ϕ)+z(sin⁡ψsin⁡θ),

η

=

x(−sin⁡ψcos⁡ϕ−sin⁡ϕcos⁡θcos⁡ψ)+y(−sin⁡ψsin⁡ϕ+cos⁡ψcos⁡θcos⁡ϕ)+z(sin⁡θcos⁡ψ),

ζ

=

x(sin⁡θsin⁡ϕ)+y(−sin⁡θcos⁡ϕ)+z(cos⁡θ).

Notice the correspondence between this set of coordinate relations and the set marked by Riemann (1861) as equation (2) of §1.

From §1 of Riemann (1861)

Then ξ, η, ζ are known … to be linear expressions in x, y, z,

ξ

=

αx+βy+γz,

η

=

α′x+β′y+γ′z,

ζ

=

α″x+β″y+γ″z.

The coefficients are the cosines of the angles that the axes of one system form with the axes of the other … For example, α=e→1⋅e→X, β=e→1⋅e→Y, and so on.

Alternatively, given that,

A→inertial=R^−1⋅A→body,

the following additional three mapping relations also must hold:

x

=

ξ(cos⁡ψcos⁡ϕ−sin⁡ψsin⁡ϕcos⁡θ)+η(−sin⁡ψcos⁡ϕ−sin⁡ϕcos⁡θcos⁡ψ)+ζ(sin⁡θsin⁡ϕ),

y

=

ξ(sin⁡ϕcos⁡ψ+sin⁡ψcos⁡θcos⁡ϕ)+η(−sin⁡ψsin⁡ϕ+cos⁡ψcos⁡θcos⁡ϕ)+ζ(−sin⁡θcos⁡ϕ),

z

=

ξ(sin⁡ψsin⁡θ)+η(sin⁡θcos⁡ψ)+ζ(cos⁡θ).

Step 2

Given that (x,y,z) and (ξ,η,ζ) are components of the same position vector, A→, it must in general be the case that the square of the length of the vector is the same for both coordinate representations. That is, as Riemann (1861) states in §1 following equation (2), it must be the case that,

ξ2+η2+ζ2=x2+y2+z2.

Let's specifically assess whether or not this holds true when Euler angles are used to relate the components of the two position vector expressions.

ξ2+η2+ζ2

=

[x(cos⁡ψcos⁡ϕ−sin⁡ψsin⁡ϕcos⁡θ)+y(sin⁡ϕcos⁡ψ+sin⁡ψcos⁡θcos⁡ϕ)+z(sin⁡ψsin⁡θ)]2

 

 

+[x(−sin⁡ψcos⁡ϕ−sin⁡ϕcos⁡θcos⁡ψ)+y(−sin⁡ψsin⁡ϕ+cos⁡ψcos⁡θcos⁡ϕ)+z(sin⁡θcos⁡ψ)]2

 

 

+[x(sin⁡θsin⁡ϕ)+y(−sin⁡θcos⁡ϕ)+z(cos⁡θ)]2.

As Riemann (1861) states, between these coefficients, six equations hold …. In particular, when they are written in terms of Euler angles, on the right-hand side, the coefficient of the six various terms is …

x2:

(cos⁡ψcos⁡ϕ−sin⁡ψsin⁡ϕcos⁡θ)2+(−sin⁡ψcos⁡ϕ−sin⁡ϕcos⁡θcos⁡ψ)2+(sin⁡θsin⁡ϕ)2

 

=cos2ψcos2ϕ−2cos⁡ψcos⁡ϕsin⁡ψsin⁡ϕcos⁡θ+sin⁡2ψsin⁡2ϕcos⁡2θ+sin⁡2ψcos⁡2ϕ+2sin⁡ψcos⁡ϕsin⁡ϕcos⁡θcos⁡ψ+sin⁡2ϕcos⁡2θcos⁡2ψ+sin⁡2θsin⁡2ϕ

 

=(2sin⁡ψcos⁡ϕsin⁡ϕcos⁡θcos⁡ψ−2cos⁡ψcos⁡ϕsin⁡ψsin⁡ϕcos⁡θ)+(sin⁡2ψ+cos⁡2ψ)sin⁡2ϕcos⁡2θ+(sin⁡2+cos⁡2ψ)cos⁡2ϕ+sin⁡2θsin⁡2ϕ

 

=sin2ϕcos2θ+cos2ϕ+sin2θsin2ϕ

 

=1.

y2:

(sin⁡ϕcos⁡ψ+sin⁡ψcos⁡θcos⁡ϕ)2+(−sin⁡ψsin⁡ϕ+cos⁡ψcos⁡θcos⁡ϕ)2+(−sin⁡θcos⁡ϕ)2

 

=sin2ϕcos2ψ+2sin⁡ϕcos⁡ψsin⁡ψcos⁡θcos⁡ϕ+sin⁡2ψcos⁡2θcos⁡2ϕ+sin⁡2ψsin⁡2ϕ−2sin⁡ψsin⁡ϕcos⁡ψcos⁡θcos⁡ϕ+cos⁡2ψcos⁡2θcos⁡2ϕ+sin⁡2θcos⁡2ϕ

 

=(2sin⁡ϕcos⁡ψsin⁡ψcos⁡θcos⁡ϕ−2sin⁡ψsin⁡ϕcos⁡ψcos⁡θcos⁡ϕ)+(cos⁡2ψ+sin⁡2ψ)sin⁡2ϕ+(sin⁡2ψ+cos⁡2ψ)cos⁡2θcos⁡2ϕ+sin⁡2θcos⁡2ϕ

 

=sin2ϕ+cos2θcos2ϕ+sin2θcos2ϕ

 

=1.

z2:

(sin⁡ψsin⁡θ)2+(sin⁡θcos⁡ψ)2+(cos⁡θ)2

 

=1.

2xy:

(cos⁡ψcos⁡ϕ−sin⁡ψsin⁡ϕcos⁡θ)(sin⁡ϕcos⁡ψ+sin⁡ψcos⁡θcos⁡ϕ)+(−sin⁡ψcos⁡ϕ−sin⁡ϕcos⁡θcos⁡ψ)(−sin⁡ψsin⁡ϕ+cos⁡ψcos⁡θcos⁡ϕ)+(sin⁡θsin⁡ϕ)(−sin⁡θcos⁡ϕ)

 

=cos⁡ψcos⁡ϕ(sin⁡ϕcos⁡ψ+sin⁡ψcos⁡θcos⁡ϕ)−sin⁡ψsin⁡ϕcos⁡θ(sin⁡ϕcos⁡ψ+sin⁡ψcos⁡θcos⁡ϕ)+(sin⁡ψcos⁡ϕ+sin⁡ϕcos⁡θcos⁡ψ)(sin⁡ψsin⁡ϕ−cos⁡ψcos⁡θcos⁡ϕ)−sin⁡2θsin⁡ϕcos⁡ϕ

 

=cos2ψ(sin⁡ϕcos⁡ϕ)+sin⁡ψcos⁡ψcos⁡θ(−sin⁡2ϕ+cos⁡2ϕ)−sin⁡2ψcos⁡2θ(sin⁡ϕcos⁡ϕ)+sin⁡ψcos⁡ϕ(sin⁡ψsin⁡ϕ)−sin⁡ψcos⁡ϕ(cos⁡ψcos⁡θcos⁡ϕ)+sin⁡ϕcos⁡θcos⁡ψ(sin⁡ψsin⁡ϕ)−sin⁡ϕcos⁡θcos⁡ψ(cos⁡ψcos⁡θcos⁡ϕ)−sin⁡2θsin⁡ϕcos⁡ϕ

 

=[sin⁡ψ(cos⁡ψ)cos⁡θ(sin⁡2ϕ−cos⁡2ϕ)+sin⁡ψcos⁡ψcos⁡θ(−sin⁡2ϕ+cos⁡2ϕ)]+sin⁡ϕcos⁡ϕ[sin⁡2ψ(1−cos⁡2θ)−cos⁡2θcos⁡2ψ−sin⁡2θ+cos⁡2ψ]

 

=sin⁡ϕcos⁡ϕ[sin⁡2ψ(1−cos⁡2θ)−sin⁡2θsin⁡2ψ]

 

=sin⁡ϕcos⁡ϕsin⁡2ψ[1−cos⁡2θ−sin⁡2θ]

 

=0.

2xz:

(cos⁡ψcos⁡ϕ−sin⁡ψsin⁡ϕcos⁡θ)(sin⁡ψsin⁡θ)+(−sin⁡ψcos⁡ϕ−sin⁡ϕcos⁡θcos⁡ψ)(sin⁡θcos⁡ψ)+(sin⁡θsin⁡ϕ)cos⁡θ

 

=cos⁡ψcos⁡ϕ(sin⁡ψsin⁡θ)−sin⁡ψsin⁡ϕcos⁡θ(sin⁡ψsin⁡θ)−sin⁡ψcos⁡ϕ(sin⁡θcos⁡ψ)−sin⁡ϕcos⁡θcos⁡ψ(sin⁡θcos⁡ψ)+(sin⁡θsin⁡ϕ)cos⁡θ

 

=cos⁡ψsin⁡ψ[cos⁡ϕsin⁡θ−cos⁡ϕsin⁡θ]−sin⁡2ψsin⁡ϕcos⁡θsin⁡θ+sin⁡θsin⁡ϕcos⁡θ[1−cos⁡2ψ]

 

=0.

2yz:

(sin⁡ϕcos⁡ψ+sin⁡ψcos⁡θcos⁡ϕ)sin⁡ψsin⁡θ+(−sin⁡ψsin⁡ϕ+cos⁡ψcos⁡θcos⁡ϕ)sin⁡θcos⁡ψ+(−sin⁡θcos⁡ϕ)cos⁡θ

 

=[sin⁡ψcos⁡ψsin⁡ϕsin⁡θ−sin⁡ψcos⁡ψsin⁡ϕsin⁡θ]+sin⁡2ψcos⁡θcos⁡ϕsin⁡θ+(cos⁡2ψ−1)cos⁡θcos⁡ϕsin⁡θ

 

=0.

Step 3

At the bottom of p. 176 of BCO2004, Riemann summarizes the "geometric significance" of various variables that he has introduced:

  1. (ξ′,η′,ζ′) are the velocity components of the point (x,y,z) of the fluid mass parallel to the axes of (ξ,η,ζ). Note that, in the terms we have used above, (x,y,z) refers to the position of a fluid element as viewed from the inertial reference frame, while (ξ,η,ζ) refers to the position of that same fluid element as viewed from the body frame. The expressions that Riemann derived for these three components of the (inertial-frame) fluid velocity appear on the same page, as equation (7) of §2, namely,

    ξ′

    =

    (ξa)dadt+(ar1−br)ηb+(cq−aq1)ζc,

    η′

    =

    (ηb)dbdt+(ar−br1)ξa+(bp1−cp)ζc,

    ζ′

    =

    (ζc)dcdt+(cq1−aq)ξa+(bp−cp1)ηb.

  2. (∂ξ/∂t,∂η/∂t,∂ζ/∂t) are the relative velocities decomposed in the same way, for the coordinate system, (ξ,η,ζ). The expressions that Riemann derived for these three components of the (body-frame) fluid velocity appear as equation (6) of §2, namely,

    ∂∂t(ξa)

    =

    (r1)ηb−(q1)ζc,

    ∂∂t(ηb)

    =

    (p1)ζc−(r1)ξa,

    ∂∂t(ζc)

    =

    (q1)ξa−(p1)ηb.

  3. (p,q,r) are the instantaneous rotations of the coordinate system (ξ,η,ζ) about its axes.
  4. (p1,q1,r1) have the same significance for the coordinate system (ξ1,η1,ζ1).

Initially we were confused regarding the differences between the two referenced coordinate systems, (ξ,η,ζ) and (ξ1,η1,ζ1). Immediately below equation (1) of §1 (near the top of p. 172 of BCO2004), we find the following definition: "Denote by (ξ,η,ζ) the coordinates of the point (x,y,z) with respect to a moving coordinate system, whose axes coincide at each instant with the principal axes of the ellipsoid. On the other hand, near the top of p. 173 of BCO2004, Riemann refers to a set of coefficients that "… can be treated as the cosines of the angles that the axes of a moving coordinate system (ξ1,η1,ζ1) form with the axes of the fixed coordinate system (x,y,z)."

Adopting Figure 1 along with the notation that has been used in our accompanying discussion of Euler Angles, the distinction seems to be that (ξ1,η1,ζ1) stands for the unit vectors (e→x1,e→x2,e→x3) associated with a moving coordinate system — in the context of Riemann's work, a "moving" system that is always aligned with the principal axes of the (tumbling) ellipsoid — while (ξ,η,ζ) gives the coordinates of a single fluid element as referenced to this moving coordinate system — the (red) vector, A→, extends from the origin to this point in space. If this is the correct interpretation of Riemann's notation, then we would argue that Riemann's explanation of the 3rd item of "geometric significance" is poorly worded.

Figure 1

Berciu Figure 1a

Berciu Figure 1b

If we are interpreting these two velocity expressions correctly, then the difference between the inertial-frame velocity and the rotating-frame velocity should be, Ω→×x→. From our associated discussion of the EFE presentation, we find,

Ω→×x→=u(0)−u

=

(ȷ^Ω2+k^Ω3)×(ı^x+ȷ^y+k^z)

 

=

ı^(Ω2z−Ω3y)+ȷ^(Ω3x)−k^(Ω2x).

Using Riemann's notation instead — assuming our interpretation of Riemann's description is correct — we have,

Ω→×x→

=

ı^[ξ′−∂ξ∂t]+ȷ^[η′−∂η∂t]+k^[ζ′−∂ζ∂t]

 

=

ı^{(ξa)dadt0+(ar1−br)ηb+(cq−aq1)ζc−[(ar1)ηb−(aq1)ζc]}

 

 

+ȷ^{(ηb)dbdt0+(ar−br1)ξa+(bp1−cp)ζc−[(bp1)ζc−(br1)ξa]}

 

 

+k^{(ζc)dcdt0+(cq1−aq)ξa+(bp−cp1)ηb−[(cq1)ξa−(cp1)ηb]}

 

=

ı^[(cq)ζc−(br)ηb]+ȷ^[(ar)ξa−(cp)ζc]+k^[(bp)ηb−(aq)ξa].

Now, given that (see the bottom of p. 177 of BCO2004),

p=(u+u′),

      and,      

q=(v+v′),

      and,      

r=(w+w′),

this expression becomes,

Ω→×x→

=

ı^[(v+v′)ζ−(w+w′)η]+ȷ^[(w+w′)ξ−(u+u′)ζ]+k^[(u+u′)η−(v+v′)ξ].

Given what has been derived below, namely,

[w′w]2

=

(2a−b−c)(2a+b+c)⋅(2a−b+c)(2a+b−c),

[v′v]2

=

[(2a−b−c)(2a+b+c)⋅(2a+b−c)(2a−b+c)]

we see that,

(v+v′)

=

{1+[(2a−b−c)(2a+b+c)⋅(2a+b−c)(2a−b+c)]1/2}v

 

=

{1+[(2a−b−c)(2a+b+c)⋅(2a+b−c)(2a−b+c)]1/2}(2a+b+c)1/2(2a−b+c)1/2S1/2

 

=

[(2a+b+c)1/2(2a−b+c)1/2+(2a−b−c)1/2(2a+b−c)1/2]S1/2

 

=

{[(2a+c)+b]1/2[(2a+c)−b]1/2+[(2a−c)−b]1/2[(2a−c)+b]1/2}S1/2

 

=

{[(2a+c)2−b2]1/2+[(2a−c)2−b2]1/2}S1/2

 

=

{[(4a2+c2−b2)+4ac]1/2+[(4a2+c2−b2)−4ac]1/2}S1/2

 

=

{[(4a2+c2−b2)+4ac]+[(4a2+c2−b2)−4ac]+2[(4a2+c2−b2)+4ac]1/2[(4a2+c2−b2)−4ac]1/2}1/2S1/2

 

=

{2(4a2+c2−b2)+2[(4a2+c2−b2)2−16a2c2]1/2}1/2S1/2

and,

(w+w′)

=

{1+[(2a−b−c)(2a+b+c)⋅(2a−b+c)(2a+b−c)]1/2}w

 

=

{1+[(2a−b−c)(2a+b+c)⋅(2a−b+c)(2a+b−c)]1/2}(2a+b+c)1/2(2a+b−c)1/2T1/2.

Raw Form of Ten Governing Relations

In summary (see p. 178 of BCO2004), Riemann states that the system of equations that the ten unknown functions of time must satisfy becomes …

12d2adt2+ϵaA−σa

=

(a−c)v2+(a+c)(v′)2+(a−b)w2+(a+b)(w′)2,

(α.1)

12d2bdt2+ϵbB−σb

=

(b−a)w2+(b+a)(w′)2+(b−c)u2+(b+c)(u′)2,

(α.2)

12d2cdt2+ϵcC−σc

=

(c−b)u2+(c+b)(u′)2+(c−a)v2+(c+a)(v′)2,

(α.3)

1(b−c)ddt[u(b−c)2]

=

−(b+c−2a)vw−(b+c+2a)v′w′,

(α.4)

1(b+c)ddt[u′(b+c)]

=

−(b−c+2a)vw′−(b−c−2a)v′w,

(α.5)

1(c−a)ddt[v(c−a)2]

=

−(c+a−2b)wu−(c+a+2b)w′u′,

(α.6)

1(c+a)ddt[v′(c+a)2]

=

−(c−a+2b)wu′−(c−a−2b)w′u,

(α.7)

1(a−b)ddt[w(a−b)2]

=

−(a+b−2c)uv−(a+b+2c)u′v′,

(α.8)

1(a+b)ddt[w′(a+b)2]

=

−(a−b+2c)uv′−(a−b−2c)u′v,

(α.9)

abc

=

a0b0c0.

(α.10)

Gravitational Potential

For the gravitational potential, V, (see p. 178 of BCO2004), Riemann adopts the expression,

V

=

H−Aξ2−Bη2−Cζ2

 

=

π∫0∞dsΔR[1−ξ2(a2+s)−η2(b2+s)−ζ2(c2+s)],

where,

ΔR

≡

[(1+sa2)(1+sb2)(1+sc2)]1/2.

From our separate discussion of the gravitational potential of homogeneous ellipsoids, which closely follows the notation used in EFE, we find,

Φ(x→)=−πGρ[IBTa12−(A1x2+A2y2+A3z2)],

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

where,

Ai

≡

a1a2a3∫0∞duΔ(ai2+u),

IBT

≡

a2a3a1∫0∞duΔ=A1+A2(a2a1)2+A3(a3a1)2,

Δ

≡

[(a12+u)(a22+u)(a32+u)]1/2.

[ EFE, Chapter 3, Eqs. (18), (15 & 22)1, & (8), respectively ]
[ BT87, Chapter 2, Table 2-2 ]

How do these two equations for the potential relate to one another? Multiplying Riemann's expression through by (−Gρ), we have,

(−Gρ)V

=

−πGρ∫0∞(abc)dsΔ[1−ξ2(a2+s)−η2(b2+s)−ζ2(c2+s)]

 

=

−πGρ{(abc)∫0∞dsΔ−(abc)ξ2∫0∞dsΔ[1(a2+s)]−(abc)η2∫0∞dsΔ[1(b2+s)]−(abc)ζ2∫0∞dsΔ[1(c2+s)]}

 

=

−πGρ{IBTa2−A1ξ2−A2η2−A3ζ2}.

We see, therefore, that

(−Gρ)V

=

Φ(x→),

and we recognize the following notation associations:

(A,B,C)↔(A1,A2,A3)

      and,      

H↔a12IBT=a12A12+a22A22+a32A32.

Steady-State Configurations

In §6 (pp. 183 - 187) of BCO2004), Riemann investigates the case in which one of the pairs of quantities — (u,u′), or (v,v′), or (w,w′) — is zero throughout the time-evolving fluid configuration. As an example, he chooses, u=u′=0. According to (the English translation of) Riemann's analysis, "The geometric significance of this hypothesis is that the principal axis always lies in the invariant plane of the whole moving body, and the instantaneous axis of rotation is perpendicular to this principal axis."

Case when u = u' = 0

0

=

−(b+c−2a)vw−(b+c+2a)v′w′,

mod.01of(α.4)

0

=

−(b−c+2a)vw′−(b−c−2a)v′w,

mod.01of(α.5)

1(c−a)ddt[v(c−a)2]

=

0⇒v(c−a)2=constant,

mod.01of(α.6)

1(c+a)ddt[v′(c+a)2]

=

0⇒v′(c+a)2=constant,

mod.01of(α.7)

1(a−b)ddt[w(a−b)2]

=

0⇒w(a−b)2=constant,

mod.01of(α.8)

1(a+b)ddt[w′(a+b)2]

=

0⇒w′(a+b)2=constant.

mod.01of(α.9)

v and w Ratios

From the first modification (mod.01) of equation (α.4), we find that,

(b+c+2a)v′w′

=

−(b+c−2a)vw

⇒v′v

=

(2a−b−c)(2a+b+c)⋅ww′.

And from the first modification (mod.01) of equation (α.5), we find,

(2a−b+c)v′w

=

(2a+b−c)vw′

⇒v′wvw′

=

(2a+b−c)(2a−b+c).

Combining these two expressions gives,

(2a−b−c)(2a+b+c)⋅ww′[ww′]

=

[(2a+b−c)(2a−b+c)]

⇒[w′w]2

=

(2a−b−c)(2a+b+c)⋅(2a−b+c)(2a+b−c);

and,

[v′v]2

=

(2a−b−c)(2a+b+c)⋅(2a+b−c)(2a−b+c).

From the first modifications (mod.01) of (α.6) through (α.9), we also see that,

[v′v]2

=

(c+a)4(c−a)4×constant,

      and,      

[w′w]2

=

(a−b)4(a+b)4×constant.

Hence, following Riemann (1861) — see the bottom of p. 183 of BCO2004 — we can write,

[v′v]2

=

(2a−b−c)(2a+b+c)⋅(2a+b−c)(2a−b+c)=(c+ac−a)4×constant,

[w′w]2

=

(2a−b−c)(2a+b+c)⋅(2a−b+c)(2a+b−c)=(a−ba+b)4×constant.

As Riemann (1961) points out — see the top of p. 184 of BCO2004 — "Taking this together with the constant volume constraint (α.10) we see that a,b,c are constant, and consequently v,v′,w,w′ are constant."

v and w Sums and Differences

If we combine the just-derived coefficient ratios with equation (2) of §6 (see p. 184 of BCO2004), we deduce that,

v′

=

±v[(2a−b−c)(2a+b−c)(2a+b+c)(2a−b+c)]1/2

⇒(v′−v)

=

−v{1∓[(2a−b−c)(2a+b−c)(2a+b+c)(2a−b+c)]1/2}

 

=

−{1∓[(2a−b−c)(2a+b−c)(2a+b+c)(2a−b+c)]1/2}(2a+b+c)1/2(2a−b+c)1/2[±S1/2]

 

=

{±[(2a−b−c)(2a+b−c)(2a+b+c)(2a−b+c)]1/2−1}(2a+b+c)1/2(2a−b+c)1/2[±S1/2]

 

=

{[(2a−b−c)(2a+b−c)(2a+b+c)(2a−b+c)]1/2±1}(2a+b+c)1/2(2a−b+c)1/2[S1/2]

 

=

{(2a−b−c)1/2(2a+b−c)1/2±(2a+b+c)1/2(2a−b+c)1/2}S1/2

 

=

{[(2a−c)−b]1/2[(2a−c)+b]1/2±[(2a+c)+b]1/2[(2a+c)−b]1/2}S1/2

 

=

{[(2a−c)2−b2]1/2±[(2a+c)2−b2]1/2}S1/2

 

=

{[(4a2−b2+c2)−4ac]1/2±[(4a2−b2+c2)+4ac]1/2}S1/2

 

=

{(4a2−b2+c2)−4ac+(4a2−b2+c2)+4ac±2[(4a2−b2+c2)−4ac]1/2[(4a2−b2+c2)+4ac]1/2}1/2S1/2

 

=

21/2{(4a2−b2+c2)±[(4a2−b2+c2)−4ac]1/2[(4a2−b2+c2)+4ac]1/2}1/2S1/2

 

=

21/2{(4a2−b2+c2)±[(4a2−b2+c2)2−16a2c2]1/2}1/2S1/2

 

=

21/2{(4a2−b2+c2)±[16a4−8a2b2+b4−2b2c2+c4−8a2c2]1/2}1/2S1/2

Note that, from Eq. (16) of EFE's Chapter 7, §47 (p. 131),

22a2β

=

4a2−b2+c2±[4a2−(b+c)2]1/2[4a2−(b−c)2]1/2

 

=

4a2−b2+c2±[4a2−b2−2bc−c2)]1/2[4a2−b2+2bc−c2)]1/2

 

=

4a2−b2+c2±[16a4−8a2b2+8a2bc−4a2c2+b4−2b3c+b2c2−8a2bc+2b3c−4b2c2+2bc3−4a2c2+b2c2−2bc3+c4]1/2

 

=

4a2−b2+c2±[16a4−8a2b2−8a2c2+b4−2b2c2+c4]1/2

⇒(v′−v)

=

21/2{22a2β}1/2S1/2=2a(βS)1/2.


Similarly,

(v′+v)

=

v{1±[(2a−b−c)(2a+b−c)(2a+b+c)(2a−b+c)]1/2}

 

=

{1±[(2a−b−c)(2a+b−c)(2a+b+c)(2a−b+c)]1/2}(2a+b+c)1/2(2a−b+c)1/2[±S1/2]

 

=

{[(2a−b−c)(2a+b−c)(2a+b+c)(2a−b+c)]1/2±1}(2a+b+c)1/2(2a−b+c)1/2[S1/2]

 

=

(v′−v).

We deduce as well that,

w′

=

±w[(2a−b−c)(2a−b+c)(2a+b+c)(2a+b−c)]1/2

⇒(w′−w)

=

−w{1∓[(2a−b−c)(2a−b+c)(2a+b+c)(2a+b−c)]1/2}

 

=

{±[(2a−b−c)(2a−b+c)(2a+b+c)(2a+b−c)]1/2−1}(2a+b+c)1/2(2a+b−c)1/2[±T1/2]

 

=

{[(2a−b−c)(2a−b+c)(2a+b+c)(2a+b−c)]1/2±1}(2a+b+c)1/2(2a+b−c)1/2[T1/2]

 

=

{[(2a−b)−c]1/2[(2a−b)+c]1/2]±(2a+b+c)1/2(2a+b−c)1/2}[T1/2]

 

=

{[(2a−b)2−c2]1/2±[(2a+b)2−c2]1/2}[T1/2]

 

=

{[(2a−b)2−c2]+[(2a+b)2−c2]±2[(2a−b)2−c2]1/2[(2a+b)2−c2]1/2}1/2[T1/2]

 

=

{[4a2−4ab+b2−c2]+[4a2+4ab+b2−c2]±2[(4a2−4ab+b2)−c2]1/2[(4a2+4ab+b2)−c2]1/2}1/2[T1/2]

 

=

21/2{[4a2+b2−c2]±[(4a2+b2−c2)−4ab]1/2[(4a2+b2−c2)+4ab]1/2}1/2[T1/2].

And again, similarly,

w′

=

±w[(2a−b−c)(2a−b+c)(2a+b+c)(2a+b−c)]1/2

⇒(w′+w)

=

w{1±[(2a−b−c)(2a−b+c)(2a+b+c)(2a+b−c)]1/2}

 

=

{1±[(2a−b−c)(2a−b+c)(2a+b+c)(2a+b−c)]1/2}(2a+b+c)1/2(2a+b−c)1/2[±T1/2]

 

=

{[(2a−b−c)(2a−b+c)(2a+b+c)(2a+b−c)]1/2±1}(2a+b+c)1/2(2a+b−c)1/2[T1/2]

 

=

(w′−w).

First Three Governing Relation

Given that a,b,c are constant and u=u′=0, the first three governing equations become,

ϵA2−σ2a2

=

12a[(a−c)v2+(a+c)(v′)2+(a−b)w2+(a+b)(w′)2],

mod.01of(α.1)

ϵB2−σ2b2

=

12b[(b−a)w2+(b+a)(w′)2],

mod.01of(α.2)

ϵC2−σ2c2

=

12c[(c−a)v2+(c+a)(v′)2].

mod.01of(α.3)

After adopting a pair of alternate constants, S and T, Riemann shows that these relations can be rewritten in the forms (mod.02),

ϵA2−σ2a2

=

(4a2−b2−c2)(T+S)−2(b2T+c2S)

mod.02of(α.1)

ϵB2−σ2b2

=

(b2−c2)T,

mod.02of(α.2)

ϵC2−σ2c2

=

(c2−b2)S.

mod.02of(α.3)

On p. 158 (Chapter 7, §51) of EFE, at a comparable stage of Chandrasekhar's derivation, we find the following trio of governing relations:

2A1−5ΠMa12

=

12(4a12−a22−a32)(Ω22βa32+Ω32γa22)−(Ω22β+Ω32γ),

EFE,Eq.(164)

2A2−5ΠMa22

=

[a22−a322a22]Ω32γ,

EFE,Eq.(165)

2A3−5ΠMa32

=

[a32−a222a32]Ω22β.

EFE,Eq.(166)

Building on our above discussion of the expression for the gravitational potential, it appears as though we have the following notational correspondence:

Notational Correspondence
Riemann Chandrasekhar
(A,B,C) (A1,A2,A3)
σ ϵ[5Π2M]
T ϵ[Ω32γ8b2]
S ϵ[Ω22β8c2]

As a check, multiplying EFE's equation (164) through by (ϵ/4) gives,

ϵA12−ϵ[5Π4Ma12]

=

ϵ(4a12−a22−a32)(Ω22β8a32+Ω32γ8a22)−(Ω22β+Ω32γ)ϵ4,

which, after changing to Riemann's corresponding notation, gives,

ϵA2−[σ2a2]

=

ϵ(4a2−b2−c2)(S+T)−2(c2S+b2T).

This matches the second modification of Riemann's equation (α.1) precisely. So we are confident that the entries in our table of notational correspondences are correct.

Velocities

If, in our above discussion, we are interpreting Riemann's analysis correctly, then the steady-state velocity components as viewed from the rotating reference frame are,

∂∂t(ξa)

=

(r1)ηb−(q1)ζc,

∂∂t(ηb)

=

(p1)ζc−(r1)ξa,

∂∂t(ζc)

=

(q1)ξa−(p1)ηb.

Now, given that (see the bottom of p. 177 of BCO2004),

p1=(u−u′),

      and,      

q1=(v−v′),

      and,      

r1=(w−w′),

these velocity components may be written as,

∂ξ∂t

=

(w−w′)aηb−(v−v′)aζc,

∂η∂t

=

(u−u′)bζc−(w−w′)bξa,

∂ζ∂t

=

(v−v′)cξa−(u−u′)cηb.

Examining the case of u=u′=0, we have,

∂ξ∂t

=

(w−w′)aηb−(v−v′)aζc,

∂η∂t

=

(w′−w)bξa,

∂ζ∂t

=

(v−v′)cξa.

It seems reasonable to compare this trio of Riemann expressions with the EFE expressions for the velocity field as viewed from a rotating reference frame.

EFE, Chapter 7, §51 (p. 156), Eq. (154)

u1

=

(Ω3γ)a2x2b2−(Ω2β)a2x3c2,

u2

=

−(Ω3γ)x1,

u3

=

(Ω2β)x1.

From equation (2) of §6 (see p. 184 of BCO2004), we deduce that,

(v′)2

=

(v)2[(2a−b−c)(2a+b−c)(2a+b+c)(2a−b+c)]

⇒(v′−v)

=

v{[(2a−b−c)(2a+b−c)(2a+b+c)(2a−b+c)]1/2−1}

 

=

{[(2a−b−c)(2a+b−c)(2a+b+c)(2a−b+c)]1/2−1}(2a+b+c)1/2(2a−b+c)1/2S1/2

 

=

{(2a−b−c)1/2(2a+b−c)1/2−(2a+b+c)1/2(2a−b+c)1/2}S1/2

Now, from above, we have surmised that,

S

=

ϵΩ22β8c2,

in which case,

∂ζ∂t=(v−v′)cξa

=

cξa{(2a−b−c)1/2(2a+b−c)1/2−(2a+b+c)1/2(2a−b+c)1/2}[ϵΩ22β8c2]1/2

 

=

(ϵ2)1/2(Ω2β)ξ{K0}[14a2β]1/2,

where,

K0

≡

(2a−b−c)1/2(2a+b−c)1/2−(2a+b+c)1/2(2a−b+c)1/2.

According to EFE — see Chapter 7, §47 (p. 131) …

4a2β

=

4a2−b2+c2±{[4a2−(b+c)2][4a2−(b−c)2]}1/2

Test case: a=1.0,b=1.2,c=0.33⇒K0=−0.83580
and (selecting the negative sign),     4a2β=2.66890−2.31962=0.34928
Hence, K0[4a2β]1/2=−1.41421=−2.
Excellent!   This strongly suggests that in all cases, 8a2β=K02; and that, as was surmised earlier,
∂ζ∂t=ϵ1/2(Ω2β)ξ.

Let's check to see if this is indeed a general result. Rewriting K02, we find,

K02

=

{[2a−b−c]1/2[2a+b−c]1/2−[2a+b+c]1/2[2a−b+c]1/2}2

 

=

{[(2a−c)2−b2]1/2−[(2a+c)2−b2]1/2}2

 

=

[(2a−c)2−b2]+[(2a+c)2−b2]−2[(2a+c)2−b2]1/2[(2a−c)2−b2]1/2

 

=

[4a2−4ac+c2−b2]+[4a2+4ac+c2−b2]−2[(2a+c)2−b2]1/2[(2a−c)2−b2]1/2

 

=

2[4a2+c2−b2]−2[(2a+c)2−b2]1/2[(2a−c)2−b2]1/2.

Hence (selecting the negative sign in the expression for 4a2β),

4a2β−K022

=

[b2−4a2−c2]+[(2a+c)2−b2]1/2[(2a−c)2−b2]1/2

 

 

+4a2−b2+c2−[4a2−(b+c)2]1/2[4a2−(b−c)2]1/2

 

=

{[(2a+c)2−b2][(2a−c)2−b2]}1/2−{[4a2−(b+c)2][4a2−(b−c)2]}1/2

 

=

{(2a+c)2(2a−c)2−b2[(2a+c)2+(2a−c)2]+b4}1/2

 

 

−{16a4−4a2[(b−c)2+(b+c)2]+(b+c)2(b−c)2}1/2

 

=

{(4a2−c2)2−b2[4a2+4ac+c2+4a2−4ac+c2]+b4}1/2

 

 

−{16a4−4a2[b2−2bc+c2+b2+2bc+c2]+(b2−c2)2}1/2

 

=

{16a4−8a2c2+c4−8a2b2−2b2c2+b4}1/2−{16a4−8a2b2−8a2c2+b4−2b2c2+c4}1/2

 

=

0.

Terrific!   We have demonstrated that, quite generally, 8a2β=K02.

See Also

 

Tiled Menu

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