Aps/MaclaurinSpheroidFreeFall

From jetwiki
Jump to navigation Jump to search

Free-Fall Collapse of an Homogeneous Spheroid

Free-Fall
Collapse
of an
Homogeneous
Spheroid

"What is the form of the collapse under gravitational forces of a uniformly rotating spheroidal gas cloud? In the special case where initially the gas is absolutely cold and of uniform density within the spheroid, we show that the collapse proceeds through a series of uniform, uniformly rotating spheroids until a disk is formed."

— Drawn from the first paragraph of 📚 Lynden-Bell (1962)

Simplified Governing Relations

When studying the dynamical evolution of strictly axisymmetric configurations, it proves useful to write the spatial operators in our overarching set of principal governing equations in terms of cylindrical coordinates, (ϖ,ϕ,z), and to simplify the individual equations as described in our accompanying discussion. The resulting set of simplified governing relations is …

Equation of Continuity

dρdt+ρϖϖ[ϖϖ˙]+ρz[ρz˙]=0


Euler Equation

e^ϖ[dϖ˙dtj2ϖ3]+e^z[dz˙dt]=e^ϖ[1ρPϖ+Φϖ]e^z[1ρPz+Φz]
where, the specific angular momentum, j(ϖ,z)ϖ2ϕ˙=constant(i.e.,independentoftime)


Adiabatic Form of the
First Law of Thermodynamics

dϵdt+Pddt(1ρ)=0


Poisson Equation

1ϖϖ[ϖΦϖ]+2Φz2=4πGρ.

This study is closely tied to our separate discussion of the free-fall collapse of uniform-density spheres. For example, by definition, an element of fluid is in "free fall" if its motion in a gravitational field is unimpeded by pressure gradients. The most straightforward way to illustrate how such a system evolves is to set P=0 in all of the governing equations. In doing this, the continuity equation and the Poisson equation remain unchanged; the equation formulated by the first law of thermodynamics becomes irrelevant; and the two components of the Euler equation become,

𝐞^ϖ:

dϖ˙dtj2ϖ3

=

Φϖ,

𝐞^z:

dz˙dt

=

Φz.

Gravitational Potential

Here, our specific interest is in modeling the free-fall collapse of a uniform-density spheroid. Ignoring, for the moment, the time-dependent nature of this problem, we appreciate from a separate, detailed derivation that the gravitational potential inside (or on the surface) of an homogeneous, triaxial ellipsoid with semi-axes (x,y,z)=(a1,a2,a3) is given, to within an arbitrary additive constant, by the expression,

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

where the three, spatially independent coefficients, A1,A2, and A3 are functions of the chosen lengths of the three semi-axes. When deriving mathematical expressions for each of the three Ai coefficients, in our accompanying discussion we have found it useful to initially attach a subscript, (,m,ors) — indicating whether the coefficient is associated with the (largest, medium-length, or smallest) semi-axis — before specifying how, for a given problem, (,m,s) are appropriately associated with the three (x,y,z) coordinate axes.

Oblate Spheroids

For example, for an oblate-spheroidal mass distribution, by definition the "largest" and "medium-length" semi-axes are equal to one another. Hence, a=am and, according to our associated derivation,

A=Am

=

(1e2)e2+(1e2)1/2e3[sin1e],

where, e(1as2/a2)1/2; and,

As

=

2e22(1e2)1/2e3[sin1e].

Conventionally, the z-axis is aligned with the symmetry (in this case, shortest) axis of the mass distribution, so we set A1=A2=A, and A3=As. Therefore — see also our parallel discussion — we appreciate that, for oblate-spheroidal mass distributions,

Φ(x)=πGρ[Aϖ2+Asz2].

These same coefficient expressions may also be found in, for example:  Chapter 3, Eq. (36) of [EFE]; §4.5, Eqs. (48) & (49) of [T78]; and the first column of Table 2-1 (p. 57) of [BT87]. Note that, as we have pointed out in a separate discussion of Maclaurin Spheroids, the expressions for A and As have the following values in the limit of a sphere (e=0) or in the limit of an infinitesimally thin disk (e=1):


Table 1:  Limiting Values (for oblate spheroids)

 

e0

a3a10

sin1ee

1+e26+𝒪(e4)

π2(a3a1)+π4(a3a1)2𝒪(a33a13)

A

23[1e25𝒪(e4)]

π2(a3a1)2(a3a1)2+𝒪(a33a13)

As

23[1+2e25+𝒪(e4)]

2π(a3a1)+4(a3a1)2𝒪(a33a13)

Prolate Spheroids

For a prolate-spheroidal mass distribution, by definition the "smallest" and "medium-length" semi-axes are equal to one another. Hence, am=as and, according to our associated derivation,

A

=

(1e2)e3ln[1+e1e]2(1e2)e2,

where, as above, e(1as2/a2)1/2; and,

As=Am

=

1e2(1e2)2e3ln(1+e1e).

If the symmetry (in this case, longest) axis of this prolate-spheroidal mass distribution is aligned with the z-axis of the coordinate system, then we should set A1=A2=As, and A3=A. This means that the expression for the gravitational potential is,

Φ(x)=πGρ[Asϖ2+Az2].

These same coefficient expressions may also be found in, for example, the second column of Table 2-1 (p. 57) of [BT87].


NOTE:  If, following [EFE], we instead align the longest (and, in this case, symmetry) axis of the prolate mass distribution with the x-axis, then A2=A3=As and A1=A. This matches the coefficient expressions presented in our parallel discussion of the potential inside and on the surface of a prolate-spheroidal mass distribution.

Consider a Time-Varying Eccentricity

If the eccentricity of an homogeneous spheroid varies with time — that is, if ee(t) — while it remains homogeneous, the result will be a potential of the form,

Φ(x,t)=A(t)ϖ2+C(t)z2,

whether the spheroid is oblate or the spheroid is prolate.

Lynden-Bell's (1962) Insight

Let's examine the analysis by 📚 D. Lynden-Bell (1962, Math. Proc. Cambridge Phil. Soc., Vol. 58, Issue 4, pp. 709 - 711) — hereafter, LB62 — of the "Gravitational Collapse of a Cold Rotating Gas Cloud."

Motion of a Single Particle

Consider a particle that, at time t=0, is at position (ϖ0,ϕ0,z0) and is moving about the z-axis with velocity, ϖ0Ωj0=ϖ02Ω. Consider furthermore that its acceleration is subject to the force arising from an axisymmetric gravitational potential of the form,

Φ(x,t)=A(t)ϖ2+C(t)z2.

[This is the gravitational potential adopted by LB62 — see his equation (1) — except he adopted a different sign convention to ours. He would therefore have also attached a sign to the gradient of the potential that is the opposite of the sign that appears on the right-hand side of our Euler equation expression.] In this case, the two components of the Euler equation that govern the particle's motion are,

𝐞^ϖ:

ϖ¨j02ϖ3

=

2Aϖ,

𝐞^z:

z¨

=

2Cz,

where we have adopted the familiar shorthand notation, dϖ˙/dtϖ¨ and dz˙/dtz¨. If we divide the first of these relations by ϖ0 and the second by z0, then adopt the dimensionless variables, Rϖ/ϖ0 and Zz/z0, we can write,

ϖ¨ϖ0j02ϖ0ϖ3

=

2A(ϖϖ0)

R¨Ω2R3

=

2AR,

LB62, p. 710, Eq. (10)

and,

z¨z0

=

2C(zz0)

Z¨

=

2CZ.

LB62, p. 710, Eq. (11)

Finally, we use φ(t) to represent the particle's time-varying angular-coordinate position relative to its initial position — that is, we adopt the definition, φ(t)ϕ(t)ϕ0. Then, conservation of angular momentum implies that, at any moment, the particle's rotation frequency about the symmetry axis will be,

φ˙=ϕ˙

=

ΩR2.

LB62, p. 710, Eq. (9)

This governing set of evolutionary equations has been set up such that at time, t=0: R=1, Z=1, φ=0, R˙=0, Z˙=0, and φ˙=Ω. With this set of initial conditions in hand, along with an appropriate specification of the two time-dependent coefficients, A(t) and C(t), the set of governing relations can be integrated (numerically) to give R(t),φ(t), and Z(t). This is the result that 📚 Lynden-Bell (1962) established for the motion of one particle.

Evolution of the Spheroid

Following his examination of the motion of an individual particle, LB62 recognized that, "R(t),φ(t), and Z(t) are all independent of ϖ0,ϕ0, and z0 because [none of the three evolutionary equations] nor the above initial conditions mention them." You only need to integrate the coupled set of governing relations once then — assuming that the functions, A(t) and C(t), are the same in all cases — the time-dependent coordinates of any particle are given by (ϖ0R,ϕ0+φ,z0Z), where (ϖ0,ϕ0,z0) are the initial coordinates of that particle. "Thus the result of the motion is merely a change of scales."

Consider then, as did LB62, the evolution of a spheroid that is initially uniformly filled with free particles and whose only motion, initially, is uniform rotation, Ω, about the z-axis. As LB62 puts it, since the motion of each particle can be described merely via a change of scales: "… the distribution of the particles remains uniform, and the boundary remains spheroidal"; and, while the angular frequency of each particle, ϕ˙, varies with time, "… since ϕ˙=φ˙ the rotation remains uniform in space."

It should be clear, as well, that the eccentricity of the evolving spheroid will vary with time. Specifically in the case of an oblate spheroid, the time-dependent semi-axes are (aR(t),aR(t),asZ(t)); hence,

e(t)

=

[1(asZaR)2]1/2=[1(1e02)(ZR)2]1/2,

where, e0=(1as2/a2)1/2 is the eccentricity of the spheroid initially, and the time-variation enters via the pair of functions, Z(t) and R(t). In the case of an prolate spheroid, the time-dependent semi-axes are (asR(t),asR(t),aZ(t)); hence,

e(t)

=

[1(asRaZ)2]1/2=[1(1e02)(RZ)2]1/2.

In turn, the time-dependent behavior of the coefficients in the expression for the gravitational potential, A(t) and C(t), is drawn from e(t) as detailed in Table 1, immediately below.

Table 1:   Time-Dependent Coefficients of the Gravitational Potential

Φ(x,t)=A(t)ϖ2+C(t)z2,

where, it is understood that the eccentricity of the spheroid, e(t), varies with time.

Oblate Spheroid Prolate Spheroid

A(t)πGρ(t)

=

(1e2)e2+(1e2)1/2e3[sin1e],

C(t)πGρ(t)

=

2e22(1e2)1/2e3[sin1e],

where,

e(t)

=

{1(1e02)[Z(t)R(t)]2}1/2,

ρ(t)ρ0

=

1R2(t)Z(t).

A(t)πGρ(t)

=

1e2(1e2)2e3ln(1+e1e),

C(t)πGρ(t)

=

(1e2)e3ln[1+e1e]2(1e2)e2,

where,

e(t)

=

{1(1e02)[R(t)Z(t)]2}1/2,

ρ(t)ρ0

=

1R2(t)Z(t).

Our Numerical Integration

Case of the Oblate Spheroid

Governing, Dimensionless Differential Equations

We are primarily interested in determining, for various initial values of the parameter pair (e0,Ω), how rapidly an oblate spheroid collapses to an infinitesimally thin disk (e1), and what the radius of this disk is at the instant it forms. As has been detailed above, according to LB62 the time-dependent behavior of R and Z — and, hence, of e — can be obtained by integrating the following pair of governing relations:

R¨Ω2R3

=

2AR,

Z¨

=

2CZ.

Turning both of these 2nd-order ODEs into a pair of 1st-order ODEs, then multiplying through by τff[3π/(32Gρ0)]1/2 or, as appropriate, by τff2, we have,

τffd(τffR˙)dt

=

3π32Gρ0[Ω2R32AR]

 

=

3π216{Ω2/(2πGρ0)R3[ρ(t)ρ0]A(t)πGρ(t)R},

τffdRdt

=

τffR˙,

τffd(τffZ˙)dt

=

3π32Gρ0[2CZ]

 

=

3π216{[ρ(t)ρ0]C(t)πGρ(t)Z},

τffdZdt

=

τffZ˙.

Adopting the shorthand notation,

σ02

Ω22πGρ0,

τ

tτff,

and pulling expressions for the oblate spheroid from Table 1 above, we have,

d(τffR˙)dτ

=

3π216{σ02R31RZ[(1e2)e2+(1e2)1/2e3sin1e]},

dRdτ

=

τffR˙,

d(τffZ˙)dτ

=

3π216{1R2[2e22(1e2)1/2e3sin1e]},

dZdτ

=

τffZ˙.

Discrete Representations

Along a uniformly segmented, discrete time grid — time step, Δ=(τn+1τn) — let's define the following discretized variables:

  • At integer values of Δ:   R and Z
  • At half-integer values of Δ:   F(τffR˙);K(τffZ˙)

The four finite-difference relations are, then:

Fn+1/2Fn1/2Δ

=

3π216{σ02R31RZ[(1e2)e2+(1e2)1/2e3sin1e]}n,

Rn+1RnΔ

=

Fn+1/2,

Kn+1/2Kn1/2Δ

=

3π216{1R2[2e22(1e2)1/2e3sin1e]}n,

Zn+1ZnΔ

=

Kn+1/2.

STEP #0:

  • Choose time-independent values of the parameters, (c0/a0) and β0, which means that, σ02=3π2β0/8 and e0=[1(c0/a0)2]1/2. Also set the (uniform) integration time step, Δ; for 201 time steps, for example, set Δ0.005.
    The example values shown below (inside parentheses) assume that (c0/a0,β0)=(0.90,0.0)(e0,σ02)=(0.43588989,0), which corresponds to one of the model-evolutions presented by 📚 Lin, Mestel, & Shu (1965).

STEP #1: Initially, that is, at integration time step, n=0

  • Set R0=1, Z0=1, and e=e0; this means that the RHS of the first and third discrete evolution equations is known.
  • Given that the configuration is collapsing from rest, we want to set R˙0 and Z˙0 to zero. This is accomplished by establishing reflection symmetry through the (time) origin, that is, by setting F+1/2=F1/2 and K+1/2=K1/2. Initially, then, the LHS of the first and third discrete equations are, respectively, 2F+1/2/Δ and 2K+1/2/Δ.
  • Use the first and third discrete equations to solve for the "R" and "Z" velocities at time step n=0, namely,

F+1/2

=

Δ23π216{σ02[(1e02)e02+(1e02)1/2e03sin1e0]},

    (2.952452×103)

K+1/2

=

Δ23π216{[2e022(1e02)1/2e03sin1e0]}.

    (3.347849×103)
  • From the second and fourth discrete relations, determine the advanced coordinate positions.

R+1

=

1+ΔF+1/2,

    (1.01.476226×105)

Z+1

=

1+ΔK+1/2.

    (1.01.673924×105)
  • Determine the eccentricity at this advanced time.

e+1

=

[1(1e02)(Z+1R+1)2]1/2.

    (10.809996797)1/2=(0.435893568)

STEP #2:   Repeat, in sequence for all values of n>1 until Z passes through zero.

  • Set nn+1.
  • Given knowledge of the various variable values at time-step, (n1/2) and n, use the first and third discrete evolution relations to determine Fn+1/2 and Kn+1/2; specifically,

Fn+1/2

=

Fn1/2+Δ3π216{σ02R31RZ[(1e2)e2+(1e2)1/2e3sin1e]}n,

    (F+1/25.905085×103)

Kn+1/2

=

Kn1/2Δ3π216{1R2[2e22(1e2)1/2e3sin1e]}n.

    (K+1/26.695907×103)
  • Similarly, from the second and fourth discrete relations, determine the advanced coordinate positions.

Rn+1

=

Rn+ΔFn+1/2,

    (0.99994095)

Zn+1

=

Zn+ΔKn+1/2.

    (0.999933042)
  • Determine the eccentricity at this advanced time.

en+1

=

[1(1e02)(Zn+1Rn+1)2]1/2.

    (10.809987188)1/2=(0.43590459)

Results

Table 2: Collapse of a Nonrotating, Pressure-Free Oblate Spheroid

c0a0 e0 τc Rc R˙c Z˙c
0.99 0.141
0.95 0.312
0.90 0.436
0.80 0.600
0.70 0.714
0.60 0.800
0.10 0.995

Key References

Comment by J. E. Tohline: In §II of this "1964" article, Lynden-Bell references his 1962 article with an incorrect year (Lynden-Bell 1963); within his list of REFERENCES, the year (1962) is correct, but the journal volume is incorrectly identified as 50 (it should be vol. 58).
Comment by J. E. Tohline: In §II of this "1964" article, Lynden-Bell references his 1962 article with an incorrect year (Lynden-Bell 1963); within his list of REFERENCES, the year (1962) is correct, but the journal volume is incorrectly identified as 50 (it should be vol. 58).

 

  • D. Lynden-Bell (1964), ApJ, 139, 1195 - 1216: On Large-Scale Instabilities during Gravitational Collapse and the Evolution of Shrinking Maclaurin Spheroids
  • Classic paper by C. C. Lin, Leon Mestel, and Frank Shu (1965, ApJ, 142, 1431 - 1446) titled, "The Gravitational Collapse of a Uniform Spheroid."

See Also

Tiled Menu

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