User:Tohline/Apps/MaclaurinSpheroids

Maclaurin Spheroids (axisymmetric structure)

There is no particular reason why one should guess ahead of time that the equilibrium properties of any rotating, self-gravitating configuration should be describable in terms of analytic functions. As luck would have it, however, the gravitational potential at the surface of and inside an homogeneous spheroid is expressible analytically. (The potential is constant on concentric spheroidal surfaces that generally have a different axis ratio from the spheroidal mass distribution.) Furthermore, the gradient of the gravitational potential is separable in cylindrical coordinates, proving to be a simple linear function of both <math>\varpi</math> and <math>~z</math>.

If the spheroid is uniformly rotating, this behavior conspires nicely with the behavior of the centrifugal acceleration — which also will be a linear function of <math>\varpi</math> — to permit an analytic (and integrable) prescription of the pressure gradient. Not surprisingly, it resembles the functional form of the pressure gradient that is required to balance the gravitational force in uniform-density spheres.

As a consequence of this good fortune, the equilibrium structure of a uniformly rotating, uniform-density <math>~(n = 0)</math>, axisymmetric configuration can be shown to be precisely an oblate spheroid whose internal properties are describable in terms of analytic expressions. As we show in an accompanying discussion, the angular velocity that is required to keep a self-gravitating spheroid of a specified eccentricity in equilibrium can be obtained from a theorem — we will refer to it as Maclaurin's Theorem — that was derived from purely geometric arguments over 270 years ago by Colin Maclaurin (1742) in A Treatise of Fluxions. This result has been enumerated in many subsequent publications (e.g., Tassoul 1978; Chandrasekhar 1987). It should be appreciated that both Volume I and Volume II of Maclaurin's (1742) Treatise can now be accessed online via Google Books. Selected excerpts from these two volumes are shown in our accompanying discussion.

Properties of Uniform-Density Spheroids

Surface Definition

Let <math>~a_1</math> be the equatorial radius and <math>~a_3</math> the polar radius of a uniform-density object whose surface is defined precisely by an oblate spheroid. The degree of flattening of the object may be parameterized in terms of the axis ratio <math>~a_3/a_1</math>, or in terms of the object's eccentricity,

<math>

e \equiv \biggl[ 1 - \biggl(\frac{a_3}{a_1}\biggr)^2 \biggr]^{1/2} .

</math>

(For an oblate spheroid, <math>~a_3 \leq a_1</math>; hence, the eccentricity is restricted to the range <math>~0 \leq e \leq 1</math>.) The meridional cross-section of such a spheroid is an ellipse with the same eccentricity. The foci of this ellipse lie in the equatorial plane of the spheroid at a distance <math>~\varpi = ea_1</math> from the minor <math>~(z)</math> axis.

Mean Radius

For purposes of normalization, it will be useful to define the mean radius of the spheroid as,

<math> ~a_\mathrm{mean} \equiv \biggl[a_1^2 a_3 \biggr]^{1/3} = a_1 (1 - e^2)^{1/6} , </math>

which is equivalent to the radius of a sphere in the limit <math>~a_3 = a_1</math> <math>~(e=0)</math>.

Mass

The total mass of such a spheroid is,

<math>

M = \frac{4\pi}{3}~a_1^2 a_3 \rho = \frac{4\pi}{3}~a_1^3 \rho (1 - e^2)^{1/2} .

</math>

Gravitational Potential

In an accompanying discussion entitled, Properties of Homogeneous Ellipsoids, an expression is given for the gravitational potential <math>\Phi(\vec{x})</math> at an internal point or on the surface of an homogeneous ellipsoid with semi-axes <math>~(x,y,z) = (a_1,a_2,a_3)</math>. For an homogeneous, oblate spheroid in which <math>~a_1 = a_2 \geq a_3</math>, this analytic expression defining the potential reduces to the form,

<math> \Phi(\varpi,z) = -\pi G \rho \biggl[ I_\mathrm{BT} a_1^2 - \biggl(A_1 \varpi^2 + A_3 z^2 \biggr) \biggr], </math>

[ST83], §7.3, p. 169, Eq. (7.3.1)

where, the coefficients <math>~A_1</math>, <math>~A_3</math>, and <math>~I_\mathrm{BT}</math> are functions only of the spheroid's eccentricity. Specifically,

<math> ~A_1 </math>	<math> ~= </math>	<math> \frac{1}{e^2} \biggl[\frac{\sin^{-1}e}{e} - (1-e^2)^{1/2} \biggr](1-e^2)^{1/2} \, ; </math>
<math> ~A_3 </math>	<math> ~= </math>	<math> \frac{2}{e^2} \biggl[(1-e^2)^{-1/2} -\frac{\sin^{-1}e}{e} \biggr](1-e^2)^{1/2} \, ; </math>
<math> ~I_\mathrm{BT} </math>	<math> ~= </math>	<math> ~2A_1 + A_3(1-e^2) = 2 (1-e^2)^{1/2} \biggl[ \frac{\sin^{-1}e}{e}\biggr] \, . </math>
[ST83], §7.3, p. 170, Eqs. (7.3.8)

Note that these three expressions have the following values in the limit of a sphere <math>~(e=0)</math> or in the limit of an infinitesimally thin disk <math>~(e=1)</math>:

Limiting Values (for oblate spheroids)
	<math>~e=0</math>	<math>~e=1</math>
<math>~A_1</math>	<math>\frac{2}{3}</math>	<math>~0</math>
<math>~A_3</math>	<math>\frac{2}{3}</math>	<math>~2</math>
<math>~I_\mathrm{BT}</math>	<math>~2</math>	<math>~0</math>

Example Equi-gravitational-potential Contours

As an example, let's examine the gravitational potential everywhere inside (and on the surface) of the oblate spheroid whose properties are presented in the first row of model data in Table 1 of our accompanying discussion of the properties of homogeneous ellipsoids. That is, let's examine a model with <math>~a_1 = 1.0</math> and …

<math>~\frac{a_3}{a_1} = 0.582724 \, ,</math>	<math>~e = 0.81267 \, ,</math>
<math>~A_1 = A_2 = 0.51589042 \, ,</math>	<math>~A_3 = 0.96821916 \, ,</math>	<math>~I_\mathrm{BT} = 1.360556 \, .</math>

In the meridional <math>~(\varpi, z)</math> plane, the surface of this oblate-spheroidal configuration — identified by the thick, solid-black curve below, in Figure 1 — is defined by the expression,

<math>~\frac{\varpi^2}{a_1^2} + \frac{z^2}{a_3^2}</math>	<math>~=</math>	<math>~1 </math>
<math>~\Rightarrow ~~~ z</math>	<math>~=</math>	<math>~\pm a_3 [1 - \varpi^2]^{1 / 2} \, ,</math>	for <math>~0 \le | \varpi | \le 1 \, .</math>

Throughout the interior of this configuration, each associated <math>~\Phi_\mathrm{eff}</math> = constant, equipotential surface is defined by the expression,

<math>~\phi_\mathrm{choice} \equiv \frac{\Phi_\mathrm{eff}}{\pi G \rho} + I_\mathrm{BT}a_1^2 </math>

<math>~=</math>

<math>~\biggl( A_1 - \frac{\omega_0^2}{2\pi G \rho}\biggr) \varpi^2 + A_3 z^2 </math>

(Notice that, written in this manner, <math>~\phi_\mathrm{choice}</math> assumes its minimum value (zero) when <math>~(\varpi, z) = (0, 0)</math>, that is, at the center of the configuration.) This means that,

<math>~z </math>

<math>~=</math>

<math>~\pm \frac{1}{\sqrt{A_3}} \biggl[ \phi_\mathrm{choice} - \biggl( A_1 - \frac{\omega_0^2}{2\pi G \rho}\biggr) \varpi^2\biggr]^{1 / 2} \, . </math>

---

No Rotation

When we do not consider the effects of rotation and plot, instead, just the equi-gravitational-potential surfaces, then

<math>~z </math>

<math>~=</math>

<math>~\pm \frac{1}{\sqrt{A_3}} \biggl[ \phi_\mathrm{choice} - A_1 \varpi^2\biggr]^{1 / 2} \, . </math>

Because we know that the <math>~\Phi_\mathrm{grav}</math> = constant surfaces are all less flattened than the configuration itself, we should expect that the largest value of the potential that will arise inside — actually, on the surface of — the flattened spheroidal configuration will be found at <math>~(\varpi, z) = (1, 0)</math>, that is, when,

<math>~0 </math>	<math>~=</math>	<math>~\pm \frac{1}{\sqrt{A_3}} \biggl[ \phi_\mathrm{choice} - A_1 \biggr]^{1 / 2} \, . </math>
<math>~\Rightarrow ~~~\phi_\mathrm{choice}\biggr|_\mathrm{max}</math>	<math>~=</math>	<math>~ A_1 \, . </math>

So we will plot various equipotential surfaces having, <math>~0 < \phi_\mathrm{choice} < A_1 \, ,</math> recognizing that they will each cut through the equatorial plane <math>~(z = 0)</math> at the radial coordinate given by,

<math>~\varpi = \sqrt{\phi_\mathrm{choice}/A_1} \, .</math>

Next, we recognize that the largest equipotential surface that fits entirely within the surface of the oblate spheroidal configuration has the value of the potential that is found on the symmetry axis and at the pole of the spheroid, that is, at <math>~(\varpi, z) = (0, a_3) \, .</math> For this case we find,

<math>~\phi_\mathrm{choice}\biggr|_\mathrm{mid}</math>

<math>~=</math>

<math>~a_3^2 A_3 \, .</math>

Hence, all equipotential surfaces having <math>~0 < \phi_\mathrm{choice} \le a_3^2 A_3</math> will lie entirely within the spheroid. But equipotential surfaces having <math>~a_3^2 A_3 < \phi_\mathrm{choice} \le A_1</math> will cut through the surface of the spheroid at the value of <math>~\varpi</math> where "the two values of z² match," that is, where,

<math>~a_3^2(1-\varpi^2)</math>	<math>~=</math>	<math>~\frac{1}{A_3} \biggl[ \phi_\mathrm{choice} - A_1 \varpi^2\biggr] </math>
<math>~\Rightarrow~~~\varpi </math>	<math>~=</math>	<math>~\biggl[ \frac{\phi_\mathrm{choice} - a_3^2 A_3}{ A_1 - a_3^2 A_3 } \biggr]^{1 / 2} \, .</math>

Therefore, for the example model parameters specified above, our selection of equipotential surfaces to plot should be guided by the following constraints.

Equipotential Contour Lies …
Entirely Inside Spheroid's Surface	Partially Outside Spheroid's Surface
<math>~0 < \phi_\mathrm{choice} < 0.32878</math>	<math>~0.32878 < \phi_\mathrm{choice} < 0.51589</math>
<math>~0 \le \varpi \le (\phi_\mathrm{choice}/0.51589)^{1 / 2}</math>	<math>~\biggl[ \frac{\phi_\mathrm{choice} - 0.32878}{ 0.18711 } \biggr]^{1 / 2} \le \varpi \le (\phi_\mathrm{choice}/0.51589)^{1 / 2}</math>
Figure 1:   Meridional Plane Cross-section Solid black curve: Surface of oblate spheroid having a3/a1 = 0.582724. Dashed curves: Equi-gravitational-potential contours plotted in increments of <math>~\Delta\phi_\mathrm{choice} = 0.075</math>; specifically, <math>~\phi_\mathrm{choice}</math> = 0.029 (black), 0.104 (dark blue), 0.179 (red), 0.254 (light blue), 0.329 (green), 0.404 (purple), and 0.479 (orange).

---

With Rotation This expression is only applicable to our physical problem under the following conditions:

1. The argument of the square root must not be negative, that is, <math>~\varpi</math> must be confined to the range,

   <math>~0 \le | \varpi |</math>

   <math>~\le</math>

   <math>~\biggl[ \phi_\mathrm{choice}\biggl( A_1 - \frac{\omega_0^2}{2\pi G \rho}\biggr)^{-1 }\biggr]^{1 / 2} \, .</math>

   Note that, in turn, in order to ensure that the argument of this square root is not negative, we should only explore rotation rates for which <math>~\omega_0^2/(2\pi G \rho) \le A_1 \, .</math>

2. In order that our equipotential surface be relevant only to the interior of our configuration, for every allowed value of <math>~\varpi ,</math> the value of <math>~z</math> corresponding to the potential surface must be less than or equal to the value of <math>~z</math> at the surface of the configuration. That is,

   <math>~a_3^2(1-\varpi^2) </math>	<math>~\le</math>	<math>~\frac{1}{A_3} \biggl[ \phi_\mathrm{choice} - \biggl( A_1 - \frac{\omega_0^2}{2\pi G \rho}\biggr) \varpi^2\biggr]</math>
   <math>~\Rightarrow ~~~\biggl( A_1 - \frac{\omega_0^2}{2\pi G \rho} - a_3^2 A_3^2 \biggr) \varpi^2 </math>	<math>~\le</math>	<math>~\phi_\mathrm{choice} - a_3^2 A_3^2 </math>

Equilibrium Structure

Governing Relations

To obtain the equilibrium structure of Maclaurin spheroids, we will adopt the technique outlined earlier for determining the structure of axisymmetric configurations. Specifically, the algebraic expression,

<math>~H + \Phi_\mathrm{eff} = C_\mathrm{B}</math> ,

must be solved in conjunction with the Poisson equation written in cylindrical coordinates for axisymmetric configurations, namely,

<math> ~\frac{1}{\varpi} \frac{\partial }{\partial\varpi} \biggl[ \varpi \frac{\partial \Phi}{\partial\varpi} \biggr] + \frac{\partial^2 \Phi}{\partial z^2} = 4\pi G \rho . </math>

Expression for Effective Potential

For any value of the eccentricity, <math>~e</math>, the above expression for the gravitational potential satisfies this two-dimensional Poisson equation. Furthermore, an algebraic expression defining the centrifugal potential inside a uniformly rotating configuration can be drawn from our accompanying table that summarizes the properties of various simple rotation profiles. Together, these relations give us the relevant expression for the effective potential, namely,

<math> \Phi_\mathrm{eff}(\varpi,z) = \Phi + \Psi = -\pi G \rho \biggl[ I_\mathrm{BT} a_1^2 - \biggl(A_1 \varpi^2 + A_3 z^2 \biggr) \biggr] - \frac{1}{2}\varpi^2 \omega_0^2 . </math>

Hence, the enthalpy throughout the configuration must be given by the expression,

<math> H(\varpi,z) = C_\mathrm{B} + \pi G \rho \biggl[ I_\mathrm{BT} a_1^2 - \biggl(A_1 \varpi^2 + A_3 z^2 \biggr) \biggr] + \frac{1}{2}\varpi^2 \omega_0^2 . </math>

This expression contains two constants, <math>~C_\mathrm{B}</math> and <math>~\omega_0</math>, that can be determined from relevant boundary conditions.

Apply Boundary Conditions

The enthalpy should go to zero everywhere on the surface of the spheroid. By pinning the surface down at two points and setting <math>~H=0</math> at both of these locations, we can determine the two unknown constants in the above expression. We choose to pin down the edge of the configuration in the equatorial plane — i.e., at <math>(\varpi,z) = (a_1,0)</math> — and along the symmetry axis at the pole — i.e., at <math>(\varpi,z) = (0,a_3)</math>. From the boundary condition at the pole, we derive the Bernoulli constant, specifically,

<math> C_\mathrm{B} = - \pi G \rho \biggl[ I_\mathrm{BT} a_1^2 - A_3 a_3^2 \biggr] = - \pi G \rho a_1^2 \biggl[ I_\mathrm{BT} - A_3 (1-e^2) \biggr] ; </math>

and from the boundary condition in the equatorial plane we derive the rotational angular velocity, specifically,

<math> \frac{1}{2}a_1^2 \omega_0^2 </math>	<math> ~= </math>	<math> - C_\mathrm{B} - \pi G \rho \biggl[ I_\mathrm{BT} a_1^2 - A_1 a_1^2 \biggr] </math>
<math> \Rightarrow ~~~~~ \omega_0^2 </math>	<math> ~= </math>	<math> 2\pi G \rho \biggl[ A_1 - A_3 (1-e^2) \biggr] \, . </math>
[T78], §4.5, p. 86, Eq. (52) [ST83], §7.3, p. 172, Eq. (7.3.18)

Plugging these constants into the expression for the enthalpy results in the desired solution,

<math> H(\varpi,z) </math>

<math> ~= </math>

<math> \pi G \rho a_1^2 A_3 (1-e^2)\biggl[1 - \biggl( \frac{\varpi}{a_1} \biggr)^2 - \biggl( \frac{z}{a_3} \biggr)^2 \biggr] . </math>

We know from our separate discussion of supplemental, barotropic equations of state that, for a uniform-density, <math>~n = 0</math> polytropic configuration, the pressure is related to the enthalpy via the expression, <math>~P = H\rho</math>. Hence, we conclude that,

<math> P(\varpi,z) </math>	<math> ~= </math>	<math> \pi G \rho^2 a_1^2 A_3 (1-e^2)\biggl[1 - \biggl( \frac{\varpi}{a_1} \biggr)^2 - \biggl( \frac{z}{a_3} \biggr)^2 \biggr] </math>
[T78], §4.5, p. 86, Eq. (51) [ST83], §7.3, p. 172, Eqs. (7.3.16) & (7.3.17)
<math> \Rightarrow ~~~~ \frac{P}{P_0} </math>	<math> ~= </math>	<math> \frac{3}{2} A_3 (1-e^2)^{2/3}\biggl[1 - \biggl( \frac{\varpi}{a_1} \biggr)^2 - \biggl( \frac{z}{a_3} \biggr)^2 \biggr] , </math>

where,

<math>~ P_0 \equiv \frac{2}{3}\pi G \rho^2 a_\mathrm{mean}^2 = \frac{2}{3}\pi G \rho^2 a_1^2 (1-e^2)^{1/3} . </math>

Related Wikipedia Discussions

• Lane-Emden equation
• Polytrope

© 2014 - 2021 by Joel E. Tohline |   H_Book Home   |   YouTube   | Appendices: | Equations | Variables | References | Ramblings | Images | myphys.lsu | ADS | Recommended citation:   Tohline, Joel E. (2021), The Structure, Stability, & Dynamics of Self-Gravitating Fluids, a (MediaWiki-based) Vistrails.org publication, https://www.vistrails.org/index.php/User:Tohline/citation