ThreeDimensionalConfigurations/RiemannStype: Difference between revisions
| (82 intermediate revisions by the same user not shown) | |||
| Line 146: | Line 146: | ||
</table> | </table> | ||
{{ Chandrasekhar65_XXV }}, p. 892, §II, Eq. (15) | {{ Chandrasekhar65_XXV }}, p. 892, §II, Eq. (15)<br /> | ||
[ [[Appendix/References#EFE|EFE]], <font color="#00CC00">§48, Eq. (31)</font> ] | |||
</div> | </div> | ||
When relating our discussion to previous works, it also will be useful to recognize that the dimensionless frequency, <math>\lambda</math>, is related to the magnitude of the vorticity via the relation, | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>\lambda</math> | |||
</td> | |||
<td align="center"> | |||
<math>\equiv</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
- ~\frac{\zeta}{\sqrt{\pi G \rho}} \biggl[ \frac{a}{b} + \frac{b}{a} \biggr]^{-1} | |||
= | |||
- ~\frac{\zeta}{\sqrt{\pi G \rho}} \biggl[ \frac{ab}{a^2 + b^2}\biggr] | |||
\, . | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
{{ LL96 }}, p. 700, §2, immediately following Eq. (1)<br /> | |||
{{ Ou2006 }}, p. 551, §2, Eq. (17) | |||
</div> | |||
===Based on Virial Equilibrium=== | ===Based on Virial Equilibrium=== | ||
| Line 220: | Line 248: | ||
</div> | </div> | ||
<table border="1" align="center" width="80%" cellpadding="8"><tr><td align="left"> | |||
In a [[VE/RiemannEllipsoids#Riemann_S-Type_Ellipsoids|subsection of a separate chapter]], we show in detail how the above set of equilibrium conditions arises from the, | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | |||
<td align="center" colspan="3"> | |||
<font color="#770000">'''2<sup>nd</sup>-Order Tensor Virial Equation (TVE)'''</font> | |||
</td> | |||
</tr> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| Line 232: | Line 265: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\ | 2 \mathfrak{T}_{ij} + \mathfrak{W}_{ij} + \delta_{ij}\Pi | ||
+ \ | + \Omega^2 I_{ij} - \Omega_i\Omega_k I_{kj} + 2\epsilon_{ilm}\Omega_m \int_V \rho u_lx_j dx \, . | ||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
</td></tr></table> | |||
(Notice that if we set <math>~f \rightarrow 0</math>, this pair of expressions simplifies to the pair we have provided in a separate discussion of the [[ThreeDimensionalConfigurations/JacobiEllipsoids#Equilibrium_Conditions_for_Jacobi_Ellipsoids|equilibrium conditions for Jacobi ellipsoids]].) Following Chandrasekhar's lead and eliminating <math>~\Omega^2</math> between these two expressions, we obtain, | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
| Line 251: | Line 286: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\ | \biggl[ \frac{a^2 b^2}{(a^2 + b^2)^2} \biggr] f^2 | ||
+ \biggl[ \frac{2a^2 b^2 B_{12}}{c^2 A_3 - a^2 b^2 A_{12}} \biggr]\frac{f}{a^2 + b^2} + 1 \, . | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
<tr><td align="center" colspan="3">[ [[Appendix/References#EFE|EFE]], <font color="#00CC00">§48, Eq. (35)</font> ]</td></tr> | |||
</table> | </table> | ||
For a given <math>~f</math>, this last expression determines the ratios of the axes of the ellipsoids that are compatible with equilibrium; and the value of <math>~\Omega^2</math>, that is to be associated with a particular solution of this last expression, then follows from either one of the first two expressions. For convenience of evaluation and for greater clarity, let's rewrite this last (quadratic) equation in the form, | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~0</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 268: | Line 305: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\alpha f^2 + \beta f + 1 \, . | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
<div align="center" id="TestPart2"> | |||
<table border="1" align="center" cellpadding="8"> | |||
<tr> | <tr> | ||
<td align="center" colspan="7"><b>TEST (part 2)</b></td> | |||
<td align="center" | |||
< | |||
</ | |||
</tr> | </tr> | ||
</ | <tr> | ||
<td align="center" rowspan="1"><math>\frac{b}{a}</math></td> | |||
<td align="center" rowspan="1"><math>\frac{c}{a}</math></td> | |||
<table border="0" cellpadding="5" align="center"> | <td align="center" rowspan="1"><math>a^2 A_{12}</math></td> | ||
<td align="center" rowspan="1"><math>B_{12}</math></td> | |||
<td align="center" rowspan="1"><math>\alpha \equiv \frac{(b/a)^2}{[ 1 + (b/a)^2]^2} </math></td> | |||
<td align="center" rowspan="1"><math>\beta \equiv \biggl[ \frac{2 B_{12}}{(c/b)^2 A_3 - a^2 A_{12}} \biggr]\frac{1}{1 + (b/a)^2}</math></td> | |||
<td align="center" rowspan="1"><math>C_\mathrm{LL96} \equiv \frac{\beta}{2\alpha^{1 / 2}}</math></td> | |||
</tr> | |||
<tr> | |||
<td align="center" rowspan="2">0.9</td> | |||
<td align="center" rowspan="2">0.641</td> | |||
<td align="center">0.387793362</td> | |||
<td align="center">0.207337649</td> | |||
<td align="center">0.247245200</td> | |||
<td align="center">3.797483556</td> | |||
<td align="center">3.818580687</td> | |||
</tr> | |||
<tr> | |||
<td align="center">0.38779 33613 22405 96490</td> | |||
<td align="center">0.20733 7650610469 45704</td> | |||
<td align="left" colspan="3"><math>~~\Leftarrow~~</math> (January, 2022) [[Appendix/Ramblings/ForCohlHoward#Evaluation_of_Index_Symbols|Howard Cohl's Mathematica evaluation]] with 20-digit precision</td> | |||
</tr> | |||
</table> | |||
</div> | |||
The pair of solutions is, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~f_ | <math>~f_\pm</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 305: | Line 354: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\frac{1}{\alpha} | \frac{1}{2\alpha}\biggr\{ | ||
- \beta \pm \biggl[ \beta^2 - 4\alpha \biggr]^{1 / 2} | |||
\biggr\} \, ; | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
and the corresponding values of the angular velocity (in units of [G ρ]<sup>½</sup>) are provided by the expression, | |||
<table border=" | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>\omega_\ | <math>\omega_\pm \equiv \frac{\Omega}{\sqrt{G\rho}}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 326: | Line 373: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math | <math> | ||
\biggl\{ 2B_{12} \biggl[ 1 + \alpha f_\pm^2 \biggr]^{-1} \biggr\}^{1 / 2} \cdot \sqrt{\pi} \, . | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
As an aid in determining both values of the parameter, <math>~f</math>, we note as well that, | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>~f_+ \cdot f_-</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>~=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>~ | ||
\frac{ | \frac{1}{\alpha} = \biggl[ \frac{a^2 + b^2}{ab}\biggr]^2 \, . | ||
= | |||
\, . | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
<div align="center" id="TestPart21"> | |||
<table border="1" align="center" cellpadding="8"> | |||
<tr> | |||
<td align="center" colspan="12"><b>TEST (part 2.1)</b> <math>(b/a, c/a) = (0.9, 0.641)</math></td> | |||
</tr> | |||
<tr> | |||
<td align="center" rowspan="2">EFE Derivation</td> | |||
<td align="center"><math>f_+</math></td> | |||
<td align="center"><math>\frac{\omega_+}{\sqrt\pi}</math></td> | |||
<td align="center"><math>\frac{\zeta_+}{\sqrt{\pi G\rho}} = f_+\cdot\frac{\omega_+}{\sqrt\pi}</math></td> | |||
<td align="center"><math>x_+ = \alpha^{1 / 2}f_+</math></td> | |||
<td align="center"><math>\lambda_+ = -\alpha^{1 / 2}\frac{\zeta_+}{\sqrt{\pi G\rho}}</math></td> | |||
<td align="center" rowspan="4" bgcolor="lightgray" width="1%"> </td> | |||
<td align="center"><math>f_-</math></td> | |||
<td align="center"><math>\frac{\omega_-}{\sqrt\pi}</math></td> | |||
<td align="center"><math>\frac{\zeta_-}{\sqrt{\pi G\rho}} = f_-\cdot\frac{\omega_-}{\sqrt\pi}</math></td> | |||
<td align="center"><math>x_- = \alpha^{1 / 2}f_-</math></td> | |||
<td align="center"><math>\lambda_- = -\alpha^{1 / 2}\frac{\zeta_-}{\sqrt{\pi G\rho}}</math></td> | |||
</tr> | |||
<tr> | |||
<td align="right" bgcolor="yellow">-0.268009</td> | |||
<td align="right">0.638310</td> | |||
<td align="right">-0.1710727</td> | |||
<td align="right">-0.133264</td> | |||
<td align="right">0.0850638</td> | |||
<td align="right" bgcolor="lightblue">-15.09117</td> | |||
<td align="right" bgcolor="lightblue">0.0850638</td> | |||
<td align="right" bgcolor="lightblue">-1.28371</td> | |||
<td align="right" bgcolor="lightblue">-7.50390</td> | |||
<td align="right" bgcolor="lightblue">0.638310</td> | |||
</tr> | |||
<tr> | |||
<td align="center" rowspan="2">Adjoint</td> | |||
<td align="center"><math>f^\dagger_+ = \frac{1}{\alpha f_+}</math></td> | |||
<td align="center"><math>\frac{\omega^\dagger_+}{\sqrt\pi} = \biggl| \frac{x_+ \omega_+}{\sqrt\pi} \biggr|</math></td> | |||
<td align="center"><math>\frac{\zeta^\dagger_+}{\sqrt{\pi G\rho}} = f^\dagger_+\cdot\frac{\omega^\dagger_+}{\sqrt\pi}</math></td> | |||
<td align="center"><math>x^\dagger_+ = \frac{1}{x_+}</math></td> | |||
<td align="center"><math>\lambda^\dagger_+ = -\alpha^{1 / 2}\frac{\zeta^\dagger_+}{\sqrt{\pi G\rho}}</math></td> | |||
<td align="center"> </td> | |||
<td align="center"> </td> | |||
<td align="center"> </td> | |||
<td align="center"> </td> | |||
<td align="center"> </td> | |||
</tr> | |||
<tr> | |||
<td align="right" bgcolor="lightblue">-15.09117</td> | |||
<td align="right" bgcolor="lightblue">0.085064</td> | |||
<td align="right" bgcolor="lightblue">-1.28371</td> | |||
<td align="right" bgcolor="lightblue">-7.50390</td> | |||
<td align="right" bgcolor="lightblue">0.638310</td> | |||
<td align="center"> </td> | |||
<td align="center"> </td> | |||
<td align="center"> </td> | |||
<td align="center"> </td> | |||
<td align="center"> </td> | |||
</tr> | |||
<tr> | |||
<td align="left" colspan="12"> | |||
Given the choice of <math>(b/a, c/a)</math> FILL OUT THIS TABLE AS FOLLOWS: | |||
<ol> | |||
<li>From the pair of solutions to the quadratic equation for <math>f</math>, determine numerical values for <math>f_+</math> and <math>f_-</math>.</li> | |||
<li>From the relation that gives <math>\Omega</math> in terms of <math>f</math>, determine numerical values for <math>\omega_+/\sqrt{\pi}</math> and <math>\omega_-/\sqrt{\pi}</math>.</li> | |||
<li>Knowing <math>f_\pm</math> and <math>\omega_\pm</math>, determine the values of <math>\zeta_\pm</math>, <math>x_\pm</math> and <math>\lambda_\pm</math> via the relations, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>\zeta</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> f \cdot \Omega</math> <math>\Rightarrow</math> <math>\frac{\zeta}{\sqrt{\pi G \rho}} = f\cdot \frac{\omega}{\sqrt{\pi}} \, ,</math> | ||
\ | </td> | ||
</ | </tr> | ||
<tr> | |||
<td align="center" colspan="3"> | |||
[<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>], §48, p. 133, Eq. (31) | |||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>x</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 393: | Line 489: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> \alpha^{1 / 2}f \, ,</math> | ||
</td> | |||
</ | </tr> | ||
<tr> | |||
<td align="center" colspan="3"> | |||
[<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>], §48, p. 134, Eq. (40) | |||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 401: | Line 500: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>\ | <math>\frac{\zeta}{\sqrt{\pi G\rho}}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 407: | Line 506: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> -\lambda \biggl[\frac{a}{b} + \frac{b}{a}\biggr]</math> <math>\Rightarrow</math> <math> \lambda = - \alpha^{1 / 2}\frac{\zeta}{\sqrt{\pi G\rho}} \, .</math> | ||
</td> | |||
</ | </tr> | ||
<tr> | |||
<td align="center" colspan="3"> | |||
{{ LL96 }}, §2, p. 700, immediately following Eq. (1) | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
.</li> | |||
<li>Determine the adjoint of <math>f_+</math>, <math>\omega_+</math>, and <math>x_+</math> using the indicated expressions, namely, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>f^\dagger_+</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 421: | Line 527: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>(\alpha f_+)^{-1} \, ,</math> | ||
</td> | |||
</ | </tr> | ||
<tr> | |||
<td align="center" colspan="3"> | |||
[<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>], §48, p. 135, Eq. (44) | |||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>\omega_+^\dagger</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 439: | Line 544: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>|x_+ \omega_+| \, ,</math> | ||
</td> | |||
</ | </tr> | ||
<tr> | |||
<td align="center" colspan="3"> | |||
[<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>], §48, p. 135, Eq. (46) | |||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 447: | Line 555: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>x^\dagger_+</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 453: | Line 561: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>(x_+)^{-1} \, .</math> | ||
</td> | |||
</ | </tr> | ||
<tr> | |||
<td align="center" colspan="3"> | |||
[<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>], §48, p. 135, immediately preceding Eq. (47) | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
</li> | |||
<li>Determine the adjoint of <math>\zeta_+</math> from knowledge of the adjoint values, <math>f_+^\dagger</math> and <math>\omega_+^\dagger</math>, via the indicated expressions.</li> | |||
<li>Then, as indicated, determine the adjoint of <math>\lambda_+</math> from knowledge of the value of <math>\zeta_+^\dagger</math>.</li> | |||
</ol> | |||
</td> | |||
</tr> | |||
</table> | |||
</div> | |||
</ | <font color="red">NOTE: The model that has been identified as the "negative" solution, <math>f_-</math>, of the governing quadratic relation is precisely synonymous with the model that has been identified as the "adjoint" of the "positive" solution, <math>f_+^\dagger</math>. It should come as no surprise that the model labeled as <math>f_-^\dagger</math> is the model labeled as <math>f_+</math>.</font> | ||
<div align="center" id=" | <!-- START TESTPART26 | ||
<div align="center" id="TestPart26"> | |||
<table border="1" align="center" cellpadding="8"> | <table border="1" align="center" cellpadding="8"> | ||
<tr> | <tr> | ||
<td align="center" colspan="10"><b>TEST (part 2)</b></td> | <td align="center" colspan="10"><b>TEST (part 2.6)</b> <math>(b/a, c/a) = (0.9, 0.641)</math></td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="center" rowspan="2"><math> | <td align="center" rowspan="2">EFE Derivation</td> | ||
<td align="center | <td align="center"><math>f_+</math></td> | ||
<td align=" | <td align="center"><math>\frac{\omega_+}{\sqrt\pi}</math></td> | ||
<td align="center" rowspan=" | <td align="center"><math>\frac{1}{\alpha^{1 / 2}f_-} = \alpha^{1 / 2}f_+</math></td> | ||
<td align="center | <td align="right"><math>\biggl[ \frac{1}{\alpha^{1 / 2}f_+} \biggr]\frac{\omega_+}{\sqrt\pi}</math></td> | ||
<td align="center | <td align="center" rowspan="4" bgcolor="lightgray" width="1%"> </td> | ||
<td align=" | <td align="center"><math>f_-</math></td> | ||
<td align="center"><math>\frac{\omega_-}{\sqrt\pi}</math></td> | |||
<td align="center"><math>\frac{1}{\alpha^{1 / 2}f_+} = \alpha^{1 / 2}f_-</math></td> | |||
<td align="right"><math>\biggl[ \frac{1}{\alpha^{1 / 2}f_-} \biggr]\frac{\omega_-}{\sqrt\pi}</math></td> | |||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align=" | <td align="right" bgcolor="yellow">-0.268009</td> | ||
<td align=" | <td align="right">0.638310</td> | ||
<td align=" | <td align="right">-0.133264</td> | ||
<td align=" | <td align="right">-4.78981</td> | ||
<td align="right" bgcolor="lightblue">-15.091171</td> | |||
<td align="right">0.085064</td> | |||
<td align="right">-7.503897</td> | |||
<td align="right">-0.011336</td> | |||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="center" rowspan="2"> | <td align="center" rowspan="2">{{ LL96hereafter }}<br />Eqs. (8) & (9)</td> | ||
<td align=" | <td align="right"><math>\frac{1}{\alpha^{1 / 2}}\biggl[\frac{\lambda}{\omega_\mathrm{LL96}}\biggr]_+</math></td> | ||
<td align="center"> | <td align="center"><math>\omega_\mathrm{LL96} = \sqrt{\frac{2B_{12}}{1+x_+^2}}</math></td> | ||
<td align="center"> | <td align="center"><math>x_+</math></td> | ||
<td align="center"> | <td align="center"><math>\lambda_+ = \biggl[\frac{\omega_\mathrm{LL96}}{x}\biggr]_+</math></td> | ||
<td align="right"><math>\frac{1}{\alpha^{1 / 2}}\biggl[\frac{\lambda}{\omega_\mathrm{LL96}}\biggr]_-</math></td> | |||
<td align=" | <td align="center"><math>\omega_\mathrm{LL96} = \sqrt{\frac{2B_{12}}{1+x_-^2}}</math></td> | ||
<td align="center"> | <td align="center"><math>x_-</math></td> | ||
<td align="center">- | <td align="center"><math>\lambda_- = \biggl[\frac{\omega_\mathrm{LL96}}{x}\biggr]_-</math></td> | ||
<td align="center"> | |||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align=" | <td align="right" bgcolor="lightblue">-15.091163</td> | ||
<td align=" | <td align="right">0.638310</td> | ||
<td align=" | <td align="right">-0.133264</td> | ||
</tr> | <td align="right">-4.78982</td> | ||
<td align="right" bgcolor="yellow">-0.268009</td> | |||
<td align="right">0.085064</td> | |||
<td align="right">-7.503897</td> | |||
<td align="right">-0.011336</td> | |||
</tr> | |||
</table> | </table> | ||
</div> | </div> | ||
END TESTPART26 --> | |||
=== | <table border="1" width="80%" align="center" cellpadding="5"><tr><td align="left"> | ||
= | <br /><div align="center">Derivation by {{ LL96full }}</div> | ||
Essentially this same derivation can be found in §2 of {{ LL96 }}, hereafter {{ LL96hereafter }} — see also [[ThreeDimensionalConfigurations/Stability/RiemannEllipsoids#Lebovitz_&_Lifschitz_(1996)|our chapter discussion of this work]]. But instead of seeking solutions that are expressed in terms of the model-parameter pair <math>(\Omega_f,\zeta)</math>, and the ratio, <math>f \equiv \zeta/\Omega_f</math>, it should be recognized that {{ LL96hereafter }} use, | |||
[[File:CommentButton02.png|right|100px|Comment by J. E. Tohline: LL96 do not explicitly state what sign should be assigned to the dimensionless frame-rotation frequency, ω. By assuming, as has been done here, that it has the opposite sign to EFE's Ω, it is straightforward to show that the LL96 derivation is identical to the EFE derivation that we have presented immediately above.]] | |||
<table border="0" cellpadding="10" align="center"> | |||
of the | |||
<math> | |||
<table border="0" cellpadding=" | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>\omega_\mathrm{LL96}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>-~\frac{\Omega_f}{\sqrt{\pi G \rho}} \, ,</math> | ||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | |||
<tr> | |||
<td align="right"> | <td align="right"> | ||
<math> | <math>\lambda</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>- \frac{\zeta}{\sqrt{\pi G \rho}} \biggl[ \frac{a_1^2 + a_2^2}{a_1 a_2} \biggr]^{-1} \, .</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
So, the frequency ratio that {{ LL96hereafter }} define immediately preceding their Eq. (5), | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>x</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>\equiv</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> | ||
\frac{\omega_\mathrm{LL96}}{\lambda} | |||
\biggl[ | = | ||
\frac{\Omega_f}{\zeta}\biggl[ \frac{a_1^2 + a_2^2}{a_1 a_2} \biggr] | |||
= | |||
\frac{1}{\alpha^{1 / 2}f} | |||
\, . | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
<div align="center">[For the example, <math>(b/a, c/a) = (0.9, 0.641)</math>, parameter values: <math>(f,x) = (-15.09117122, -0.133264084), (-0.268008879, -7.503897260)</math>].</div> | |||
When rewritten in terms of <math>x</math>, the above-derived quadratic equation for <math>f</math>, namely, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~0</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 593: | Line 702: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\alpha f^2 + \beta f + 1 \, , | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
becomes, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>0</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> | ||
\alpha \biggl[ \frac{1}{\alpha^{1 / 2} x}\biggr]^2 + \beta \biggl[ \frac{1}{\alpha^{1 / 2} x}\biggr] + 1 | |||
= | = | ||
\frac{1}{x^2} + \biggl[ \frac{\beta }{\alpha^{1 / 2} x}\biggr] + 1 | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | |||
<tr> | |||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>\Rightarrow~~~0</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> | ||
1 + \biggl[ \frac{\beta }{\alpha^{1 / 2} }\biggr]x + x^2 | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> | ||
1 +2Cx + x^2 \, , | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
<tr><td align="center" colspan="3">{{ LL96 }}, §2, Eq. (5)</td></tr> | |||
</table> | |||
where, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>C \equiv \frac{\beta}{2\alpha^{1 / 2}}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> | ||
\frac{1}{2}\biggl[ \frac{a^2 b^2}{(a^2 + b^2)^2} \biggr]^{-1 / 2} \biggl[ \frac{2a^2 b^2 B_{12}}{c^2 A_3 - a^2 b^2 A_{12}} \biggr]\frac{1}{a^2 + b^2} | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> | ||
\biggl[ \frac{a b B_{12}}{c^2 A_3 - a^2 b^2 A_{12}} \biggr] \, . | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
<tr><td align="center" colspan="3">{{ LL96 }}, §2, Eq. (6)</td></tr> | |||
</table> | </table> | ||
<div align="center">[For the example, <math>(b/a, c/a) = (0.9, 0.641)</math>, we find, <math>C = 3.818580689</math>.]</div> | |||
</td></tr></table> | </td></tr></table> | ||
<!-- START TESTPART2.75 | |||
<div align="center" id="TestPart275"> | |||
<div align="center"> | <table border="1" align="center" cellpadding="8"> | ||
<table border=" | <tr> | ||
<td align="center" colspan="10"><b>TEST (part 2.75)</b></td> | |||
</tr> | |||
<tr> | <tr> | ||
<td align=" | <td align="center" rowspan="2"><math>~\frac{b}{a}</math></td> | ||
<math>~ | <td align="center" rowspan="2"><math>~\frac{c}{a}</math></td> | ||
<td align="center" rowspan="2"><math>~a^2 A_{12}</math></td> | |||
<td align="center"> | <td align="center" rowspan="2"><math>~ B_{12}</math></td> | ||
<math>~ | <td align="center" rowspan="2"><math>~\alpha \equiv \frac{(b/a)^2}{[ 1 + (b/a)^2]^2} </math></td> | ||
<td align="center" rowspan="2"><math>~\beta \equiv \biggl[ \frac{2 B_{12}}{(c/b)^2 A_3 - a^2 A_{12}} \biggr]\frac{1}{1 + (b/a)^2} </math></td> | |||
<td align=" | <td align="center" rowspan="1" colspan="2">Direct</td> | ||
<math>~ | <td align="center" rowspan="1" colspan="2">Adjoint</td> | ||
</ | |||
</td> | |||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align=" | <td align="center" rowspan="1"><math>~f </math></td> | ||
<math>~ | <td align="center" rowspan="1"><math>~\omega = \frac{\Omega}{\sqrt{G\rho}} </math></td> | ||
<td align="center" rowspan="1"><math>~f^\dagger </math></td> | |||
<td align="center" rowspan="1"><math>~\omega^\dagger = \frac{\Omega^\dagger}{\sqrt{G\rho}} </math></td> | |||
</math> | |||
<td align="center"> | |||
<math>~ | |||
<td align=" | |||
<math>~ | |||
</math> | |||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align=" | <td align="center" rowspan="2">0.9</td> | ||
< | <td align="center" rowspan="2">0.641</td> | ||
</td> | <td align="center">0.387793362</td> | ||
<td align="center"> | <td align="center">0.207337649</td> | ||
< | <td align="center">0.247245200</td> | ||
</td> | <td align="center">3.797483556</td> | ||
<td align=" | <td align="center">- 0.268008879</td> | ||
< | <td align="center">± 1.131374734</td> | ||
<td align="center">-15.09117122</td> | |||
<td align="center">± 0.150771618</td> | |||
</tr> | |||
</ | <tr> | ||
</td> | <td align="center">0.38779 33613 22405 96490</td> | ||
<td align="center">0.20733 7650610469 45704</td> | |||
<td align="left" colspan="6"><math>~~\Leftarrow~~</math> (January, 2022) [[Appendix/Ramblings/ForCohlHoward#Evaluation_of_Index_Symbols|Howard Cohl's Mathematica evaluation]] with 20-digit precision</td> | |||
</tr> | </tr> | ||
</table> | </table> | ||
</div> | </div> | ||
END TESTPART2.75 --> | |||
<tr> | ===Based on Detailed Force Balance=== | ||
====The Steady-State Condition==== | |||
As has been pointed out in our [[PGE/RotatingFrame#Euler_Equation_.28rotating_frame.29|introductory discussion of the Principal Governing Equations]], quite generally we can write the | |||
<div align="center"> | |||
<font color="#770000">'''Eulerian Representation'''</font><br /> | |||
of the Euler Equation <br /> | |||
<font color="#770000">'''as viewed from a Rotating Reference Frame'''</font> | |||
<math>\biggl[\frac{\partial\vec{v}}{\partial t}\biggr]_\mathrm{rot} + ({\vec{v}}_\mathrm{rot}\cdot \nabla) {\vec{v}}_\mathrm{rot}= - \frac{1}{\rho} \nabla P - \nabla \biggl[\Phi_\mathrm{grav} - \frac{1}{2}|{\vec{\Omega}}_f \times \vec{x}|^2 \biggr] - 2{\vec{\Omega}}_f \times {\vec{v}}_\mathrm{rot} \, ,</math> | |||
</div> | |||
where, <math>~{\vec{\Omega}}_f </math> specifies the time-invariant rotation frequency of the frame and the orientation of the vector about which the frame spins. The condition for detailed force balance in a steady-state configuration is obtained by setting <math>~[\partial \vec{v}/\partial t]_\mathrm{rot} = 0</math>. If we furthermore make the substitution, <math>~\nabla H = \nabla P/\rho</math>, where <math>~H</math> is enthalpy — an equation of state relation that is appropriate for a [[SR#Barotropic_Structure|barytropic system]] — we obtain, | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~({\vec{v}}_\mathrm{rot} \cdot \nabla ){\vec{v}}_\mathrm{rot}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 778: | Line 859: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
- \nabla\biggl[ H + \Phi_\mathrm{grav} - \frac{1}{2} \Omega_f^2(x^2 + y^2)\biggr] - 2{\vec{\Omega}}_f \times {\vec{v}}_\mathrm{rot} \, . | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
{{ Ou2006 }}, p. 550, §2, Eq. ( | {{ Ou2006 }}, p. 550, §2, Eq. (4) | ||
</div> | </div> | ||
==== | ====Adopted Velocity Flow-Field==== | ||
As {{ Ou2006 }} has pointed out [text that is taken directly from that publication appears here in an orange-colored font], <font color="orange">the velocity field of a Riemann S-type ellipsoid as viewed from a frame rotating with angular velocity <math>~{\vec{\Omega}}_f = \boldsymbol{\hat{k}} \Omega_f</math> takes the following form:</font> | |||
<div align="center"> | |||
< | <table border="0" cellpadding="5" align="center"> | ||
<math> | |||
~ | |||
</math>< | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>~{\vec{v}}_\mathrm{rot}</math> | ||
~ | </td> | ||
</math> | <td align="center"> | ||
<math>~=</math> | |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>~\lambda \biggl[ \boldsymbol{\hat{\imath}} \biggl(\frac{a}{b}\biggr)y - \boldsymbol{\hat{\jmath}} \biggl(\frac{b}{a}\biggr)x \biggr] \, ,</math> | ||
~ | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
{{ LL96 }}, p. 700, §2, Eq. (1)<br /> | |||
{{ Ou2006 }}, p. 550, §2, Eq. (3) | |||
</div> | </div> | ||
<font color="orange">where <math>~\lambda</math> is a constant that determines the magnitude of the internal motion of the fluid, and the origin of the x-y coordinate system is at the center of the ellipsoid. This velocity field <math>~{\vec{v}}_\mathrm{rot}</math> is designed so that velocity vectors everywhere are always aligned with elliptical stream lines by demanding that they be tangent to the</font> equi-''effective''-potential <font color="orange"> contours, which are concentric ellipses.</font> | |||
< | |||
< | <table border="1" align="center" cellpadding="10" width="65%"><tr><td align="left"> | ||
Plugging Ou's expression for <math>~{\vec{v}}_\mathrm{rot}</math> into the expression on the left-hand side of the steady-state Euler equation, we see that for Riemann S-type ellipsoids, | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~({\vec{v}}_\mathrm{rot} \cdot \nabla){\vec{v}}_\mathrm{rot}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 839: | Line 908: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\biggl[ \lambda\biggl(\frac{a}{b}\biggr)y \frac{\partial}{\partial x} - \lambda\biggl(\frac{b}{a}\biggr)x \frac{\partial}{\partial y} \biggr] | |||
\biggl[\boldsymbol{\hat{\imath}}\lambda\biggl(\frac{a}{b}\biggr)y - \boldsymbol{\hat{\jmath}} \lambda\biggl( \frac{b}{a}\biggr)x \biggr]</math> | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 849: | Line 915: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 856: | Line 922: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
( | - \boldsymbol{\hat{\jmath}} \biggl[ \lambda\biggl(\frac{a}{b}\biggr)y\biggr] \frac{\partial}{\partial x} | ||
\biggl[ \lambda\biggl( \frac{b}{a}\biggr)x \biggr] | |||
- \boldsymbol{\hat{\imath}} | |||
\biggl[ \lambda\biggl(\frac{b}{a}\biggr)x\biggr] \frac{\partial}{\partial y} | |||
\biggl[\lambda\biggl(\frac{a}{b}\biggr)y \biggr] | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 875: | Line 940: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
-\ | -\lambda^2\biggl[ \boldsymbol{\hat{\imath}} x + \boldsymbol{\hat{\jmath}} y \biggr] | ||
= | |||
- \frac{1}{2} \lambda^2( | -\nabla\biggl[\frac{1}{2}\lambda^2(x^2 + y^2) \biggr] \, . | ||
+ | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
---- | |||
Alternatively, from a [[PGE/Euler#in_terms_of_the_vorticity:|separate discussion of vector identities]] we realize that, | |||
<div align="center"> | |||
<math> | |||
(\vec{v}\cdot\nabla)\vec{v} = \frac{1}{2}\nabla(\vec{v}\cdot \vec{v}) + \vec{\zeta}\times \vec{v} , | |||
</math> | |||
</div> | |||
where, <math>\vec\zeta \equiv \nabla\times\vec{v}</math> is the fluid vorticity. Plugging in Ou's expression for <math>~{\vec{v}}_\mathrm{rot}</math>, we find that … | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\ | <math>~\vec{\zeta} = \nabla\times {\vec{v}}_\mathrm{rot}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 891: | Line 968: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~-\boldsymbol{\hat{k}} \lambda \biggl[ \frac{b}{a} + \frac{a}{b} \biggr] \, ;</math> | ||
+ | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
< | <tr><td align="center" colspan="3"> | ||
< | {{ Ou2006 }}, p. 551, §2, Eq. (17) | ||
</td></tr> | |||
< | <tr> | ||
< | |||
<tr> | |||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~\vec{\zeta} \times {\vec{v}}_\mathrm{rot}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 913: | Line 982: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~-\lambda^2\biggl[\boldsymbol{\hat{\jmath}} \biggl(1 + \frac{a^2}{b^2}\biggr)y + \boldsymbol{\hat{\imath}} \biggl(1 + \frac{b^2}{a^2}\biggr)x \biggr] \, ; </math> and, | ||
-\ | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 921: | Line 988: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\ | <math>~\frac{1}{2}\nabla( {\vec{v}}_\mathrm{rot} \cdot {\vec{v}}_\mathrm{rot} )</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 927: | Line 994: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~\lambda^2\biggl[ \boldsymbol{\hat{\imath}} \biggl(\frac{b}{a}\biggr)^2x + \boldsymbol{\hat{\jmath}} \biggl(\frac{a}{b}\biggr)^2y \biggr] \, .</math> | ||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
Hence, we again appreciate that, for Riemann S-type ellipsoids, | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~( | <math>~( {\vec{v}}_\mathrm{rot} \cdot \nabla){\vec{v}}_\mathrm{rot} </math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 948: | Line 1,010: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~-\lambda^2\biggl[ \boldsymbol{\hat{\imath}} x + \boldsymbol{\hat{\jmath}} y \biggr] </math> | ||
</td> | |||
</math> | <td align="center"> | ||
<math>~=</math> | |||
</td> | </td> | ||
</tr> | <td align="left"> | ||
</table> | <math>~-\nabla\biggl[\frac{1}{2}\lambda^2(x^2 + y^2) \biggr] \, .</math> | ||
</td> | |||
</tr> | |||
</table> | |||
</td></tr></table> | |||
The steady-state Euler-equation specification therefore becomes, | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~-\nabla\biggl[\frac{1}{2} \lambda^2(x^2 + y^2) \biggr]</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 968: | Line 1,037: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
- \nabla\biggl[ H + \Phi_\mathrm{grav} - \frac{1}{2} \Omega_f^2(x^2 + y^2)\biggr] - \nabla\biggl[\Omega_f \lambda \biggl(\frac{b}{a}x^2 + \frac{a}{b}y^2 \biggr) \biggr] \, . | |||
- \lambda | |||
+ | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
{{ Ou2006 }}, p. 550, §2, Eq. (5) | |||
</div> | </div> | ||
<font color="orange">Hence, within the configuration the following Bernoulli's function must be uniform in space:</font> | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~ | ||
H + \Phi_\mathrm{grav} - \frac{1}{2} \Omega_f^2(x^2 + y^2) | |||
- \frac{1}{2} \lambda^2(x^2 + y^2) | |||
+ \Omega_f \lambda \biggl(\frac{b}{a}x^2 + \frac{a}{b}y^2 \biggr) | |||
</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 990: | Line 1,063: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
C_B \, , | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
{{ Ou2006 }}, p. 550, §2, Eq. (6) | |||
</div> | |||
<font color="orange">where <math>~C_B</math> is a constant.</font> It is customary to define an effective potential which is the sum of the gravitational potential and the system's centrifugal potential (as viewed from the rotating frame), namely, | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\ | <math>~\Phi_\mathrm{eff} \equiv \Phi_\mathrm{grav} + \Psi</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,006: | Line 1,085: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\Phi_\mathrm{grav} - \frac{1}{2} \Omega_f^2(x^2 + y^2) | |||
- \frac{1}{2} \lambda^2(x^2 + y^2) | |||
+ \Omega_f \lambda \biggl(\frac{b}{a}x^2 + \frac{a}{b}y^2 \biggr) \, , | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
{{ Ou2006 }}, p. 550, §2, Eq. (7) | |||
</div> | |||
in which case the statement of detailed force balance in Riemann S-type ellipsoids can be rewritten in the following deceptively simpler form: | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~H + \Phi_\mathrm{eff}</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,021: | Line 1,107: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~C_B \, .</math> | ||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
{{ Ou2006 }}, p. 550, §2, Eq. (8) | |||
</div> | |||
====Evaluation of the Gravitational Potential==== | |||
Drawing from a separate discussion of the [[ThreeDimensionalConfigurations/HomogeneousEllipsoids#Gravitational_Potential|gravitational potential of homogeneous ellipsoids]], we see that for Riemann S-type ellipsoids, | |||
<div align="center"> | |||
<math> | |||
~\Phi_\mathrm{grav}(\vec{x}) = -\pi G \rho \biggl[ I_\mathrm{BT} a^2 - \biggl(A_1 x^2 + A_2 y^2 +A_3 z^2 \biggr) \biggr], | |||
</math><br /> | |||
[ [[Appendix/References#EFE|EFE]], <font color="#00CC00">Chapter 3, Eq. (40)</font><sup>1,2</sup> ]<br /> | |||
[ [[Appendix/References#BT87|BT87]], <font color="#00CC00">Chapter 2, Table 2-2</font> ] | |||
</div> | |||
where, the normalization constant, | |||
<table align="center" border=0 cellpadding="3"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\ | <math> | ||
~I_\mathrm{BT} | |||
</math> | </math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math> | ||
\frac{ | ~= A_1 + A_2\biggl(\frac{b}{a}\biggr)^2+ A_3\biggl(\frac{c}{a}\biggr)^2 . | ||
</math> | </math> | ||
</td> | </td> | ||
| Line 1,045: | Line 1,146: | ||
</table> | </table> | ||
<div align="center"> | |||
[ [[Appendix/References#EFE|EFE]], <font color="#00CC00">Chapter 3, Eq. (22)</font><sup>1</sup>]<br /> | |||
[ [[Appendix/References#BT87|BT87]], <font color="#00CC00">Chapter 2, Table 2-2</font> ] | |||
</div> | |||
====Implied Parameter Values==== | |||
So, at the surface of the ellipsoid (where the enthalpy ''H = 0'') on each of its three principal axes, the equilibrium conditions demanded by the expression for detailed force balance become, respectively: | |||
<ol type="I"> | |||
<li>On the x-axis, where (x, y, z) = (a, 0, 0): | |||
<br /> | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~C_B</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,058: | Line 1,168: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
-\pi G \rho \biggl[ I_\mathrm{BT} a^2 - A_1 a^2 \biggr] | |||
- \Omega_f^2 | - \frac{1}{2} \Omega_f^2(a^2 ) | ||
- \frac{1}{2} \lambda^2(a^2) | |||
+ \Omega_f \lambda \biggl(\frac{b}{a}\cdot a^2 \biggr) | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 1,068: | Line 1,178: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\Rightarrow ~~~2\biggl[ \frac{C_B}{a^2} + (\pi G\rho)I_\mathrm{BT} \biggr]</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,075: | Line 1,185: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
(2\pi G \rho) | (2\pi G \rho) A_1 - \Omega_f^2 - \lambda^2 + 2\Omega_f \lambda \biggl(\frac{b}{a} \biggr) | ||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
</li> | |||
<li>On the y-axis, where (x, y, z) = (0, b, 0): | |||
<br /> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~C_B</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,089: | Line 1,204: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
-\pi G \rho \biggl[ I_\mathrm{BT} a^2 - A_2 b^2 \biggr] | |||
- \frac{1}{2} \Omega_f^2(b^2) | |||
- \frac{1}{2} \lambda^2(b^2) | |||
+ \Omega_f \lambda \biggl(\frac{a}{b}\cdot b^2 \biggr) | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~\Rightarrow ~~~ 2\biggl[ \frac{C_B}{a^2} + (\pi G\rho)I_\mathrm{BT} \biggr]</math> | ||
\ | |||
</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,110: | Line 1,221: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\ | (2\pi G \rho) A_2 \biggl( \frac{b^2}{a^2}\biggr) | ||
- \Omega_f^2 \biggl( \frac{b^2}{a^2} \biggr) | |||
- \lambda^2\biggl( \frac{b^2}{a^2} \biggr) | |||
+ 2\Omega_f \lambda \biggl(\frac{b}{a}\biggr) | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
</li> | |||
<li>On the z-axis, where (x, y, z) = (0, 0, c): | |||
<br /> | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~C_B</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,128: | Line 1,243: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
-\pi G \rho \biggl[ I_\mathrm{BT} a^2 - A_3 c^2 \biggr] | |||
</math> | </math> | ||
</td> | </td> | ||
| Line 1,135: | Line 1,250: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\Rightarrow ~~~ 2 \biggl[ \frac{C_B}{a^2} + (\pi G\rho)I_\mathrm{BT}\biggr]</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,142: | Line 1,257: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
2 | (2\pi G \rho) A_3 \biggl( \frac{c^2}{a^2}\biggr) | ||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
</li> | |||
</ol> | |||
Using the result from "III" to replace the left-hand side of both relation "I" and relation "II", we find that, | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\ | <math>~(2\pi G \rho) A_3 \biggl( \frac{c^2}{a^2}\biggr)</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,156: | Line 1,277: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
- | (2\pi G \rho) A_1 - \Omega_f^2 - \lambda^2 + 2\Omega_f \lambda \biggl(\frac{b}{a} \biggr) \, , | ||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
and, | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\frac{ | <math>~(2\pi G \rho) A_3 \biggl( \frac{c^2}{a^2}\biggr)</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,175: | Line 1,296: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\frac{ | <math>~ | ||
(2\pi G \rho) A_2 \biggl( \frac{b^2}{a^2}\biggr) | |||
- \Omega_f^2 \biggl( \frac{b^2}{a^2} \biggr) | |||
- \lambda^2\biggl( \frac{b^2}{a^2} \biggr) | |||
+ 2\Omega_f \lambda \biggl(\frac{b}{a}\biggr) \, . | |||
</math> | |||
</td> | </td> | ||
</tr> | |||
</tr> | |||
</table> | </table> | ||
</div> | </div> | ||
Multiplying the first of these two expressions by <math>~(b/a)^2</math> then subtracting it from the second gives, | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~(2\pi G \rho) A_3 \biggl( \frac{c^2}{a^2}\biggr) - \biggl(\frac{b}{a}\biggr)^2 (2\pi G \rho) A_3 \biggl( \frac{c^2}{a^2}\biggr)</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
2\ | (2\pi G \rho) A_2 \biggl( \frac{b^2}{a^2}\biggr) | ||
+ 2\Omega_f \lambda \biggl(\frac{b}{a}\biggr) | |||
- \biggl(\frac{b}{a}\biggr)^2 \biggl[ (2\pi G \rho) A_1 + 2\Omega_f \lambda \biggl(\frac{b}{a} \biggr) \biggr] | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 1,209: | Line 1,328: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~\Rightarrow ~~~ \frac{(\pi G \rho)c^2}{ab} \biggl[ A_3 a^2 - A_3 b^2 \biggr]</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\ | (\pi G \rho) (A_2 - A_1) a b | ||
+ \Omega_f \lambda a^2 | |||
- ab \biggl[ \Omega_f \lambda \biggl(\frac{b}{a} \biggr) \biggr] | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="center" | <td align="right"> | ||
| |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~ | |||
(\pi G \rho) (A_2 - A_1) a b | |||
+ \Omega_f \lambda ( a^2 - b^2 ) | |||
</math> | |||
</td> | |||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align=" | <td align="right"> | ||
<math>~\Rightarrow ~~~ | |||
\frac{\Omega_f \lambda}{\pi G \rho} | |||
</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="center | <td align="left"> | ||
<td align=" | <math>~ | ||
\frac{1}{a b ( a^2 - b^2 )}\biggl[ A_3 ( a^2 - b^2 )c^2 - (A_2 - A_1) a^2 b^2 \biggr] \, . | |||
</math> | |||
</td> | |||
</tr> | </tr> | ||
</table> | </table> | ||
Alternatively, just subtracting the first expression from the second gives, | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~0</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,271: | Line 1,386: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\ | <math>~ | ||
(2\pi G \rho) A_2 \biggl( \frac{b^2}{a^2}\biggr) | |||
- \Omega_f^2 \biggl( \frac{b^2}{a^2} \biggr) | |||
- \lambda^2\biggl( \frac{b^2}{a^2} \biggr) | |||
- | |||
\biggl[ (2\pi G \rho) A_1 - \Omega_f^2 - \lambda^2 \biggr]</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,288: | Line 1,403: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\biggl( | <math>~ | ||
(2\pi G \rho) \biggl[ A_2 \biggl( \frac{b^2}{a^2}\biggr) - A_1 \biggr] | |||
+ \Omega_f^2 \biggl[1 - \frac{b^2}{a^2} \biggr] + \lambda^2 \biggl[1 - \frac{b^2}{a^2} \biggr]</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~\Rightarrow ~~~ \frac{\Omega_f^2 + \lambda^2}{\pi G \rho} </math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~- \biggl[ \frac{a^2}{a^2 | <math>~ | ||
2 \biggl[ A_1 - A_2 \biggl( \frac{b^2}{a^2}\biggr) \biggr]\biggl[ \frac{a^2}{a^2 - b^2} \biggr] \, . | |||
</math> | |||
</td> | </td> | ||
< | </tr> | ||
</table> | |||
We can eliminate <math>~\lambda</math> between these last two expressions as follows: From the first of the two, we have | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~ | ||
\lambda | |||
</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\frac{1}{\Omega_f} \biggl\{ \frac{\pi G \rho}{a b ( a^2 - b^2 )}\biggl[ A_3 ( a^2 - b^2 )c^2 - (A_2 - A_1) a^2 b^2 \biggr] \biggr\} \, . | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
Hence, the second gives, | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\ | <math>~\Omega_f^2 </math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,335: | Line 1,456: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~- \biggl[ \frac{a^2}{a^2 | <math>~ | ||
2 (\pi G \rho)\biggl[ A_1 - A_2 \biggl( \frac{b^2}{a^2}\biggr) \biggr]\biggl[ \frac{a^2}{a^2 - b^2} \biggr] - \lambda^2 | |||
</math> | |||
</td> | </td> | ||
< | </tr> | ||
<tr> | |||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,345: | Line 1,470: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
2 (\pi G \rho)\biggl[ A_1 - A_2 \biggl( \frac{b^2}{a^2}\biggr) \biggr]\biggl[ \frac{a^2}{a^2 - b^2} \biggr] - | |||
\frac{1}{\Omega_f^2} \biggl\{ \frac{\pi G \rho}{a b ( a^2 - b^2 )}\biggl[ A_3 ( a^2 - b^2 )c^2 - (A_2 - A_1) a^2 b^2 \biggr] \biggr\}^2 | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\Rightarrow ~~~ | <math>~\Rightarrow ~~~ 0</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,359: | Line 1,485: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~- \biggl[ \frac{ | <math>~ \frac{\Omega_f^4}{(\pi G \rho)^2} | ||
- \frac{2\Omega_f^2}{(\pi G \rho)} \biggl[ A_1 - A_2 \biggl( \frac{b^2}{a^2}\biggr) \biggr]\biggl[ \frac{a^2}{a^2 - b^2} \biggr] + | |||
\biggl\{ \frac{1}{a b ( a^2 - b^2 )}\biggl[ A_3 ( a^2 - b^2 )c^2 - (A_2 - A_1) a^2 b^2 \biggr] \biggr\}^2 \, . | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
This is a quadratic equation whose solution gives <math>~\Omega_f^2/(\pi G \rho)</math> and, in turn, <math>~\lambda^2/(\pi G \rho)</math>. Specifically for ''Direct'' configurations, we find that, | |||
<div align="center"> | <div align="center"> | ||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
| Line 1,369: | Line 1,498: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\ | <math>~\frac{\Omega_f^2}{(\pi G \rho)}</math> | ||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~\frac{1}{2} \biggl[M + \sqrt{ M^2 - 4N^2} \biggr] \, ,</math> | |||
</td> | |||
<td align="center"> and </td> | |||
<td align="right"> | |||
<math>~\frac{\lambda^2}{(\pi G \rho)}</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,375: | Line 1,514: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~\frac{1}{2} \biggl[M - \sqrt{ M^2 - 4N^2} \biggr] \, ,</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
{{ Ou2006 }}, p. 551, §2, Eqs. (15) & (16) | |||
{{ | |||
</div> | </div> | ||
where, | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~M</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~\equiv</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
2\biggl[ A_1 - A_2 \biggl( \frac{b^2}{a^2}\biggr) \biggr]\biggl[ \frac{a^2}{a^2 - b^2} \biggr] \, ,</math> and, | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 1,404: | Line 1,538: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~N</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~\equiv</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\ | \frac{1}{a b ( a^2 - b^2 )}\biggl[ A_3 ( a^2 - b^2 )c^2 - (A_2 - A_1) a^2 b^2 \biggr] \, . | ||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
<table border="1" align="center" cellpadding="8"> | |||
<tr> | |||
<td align="center" colspan="11"><b>TEST (part 3)</b></td> | |||
</tr> | |||
<tr> | <tr> | ||
<td align=" | <td align="center" rowspan="1"><math>~\frac{b}{a}</math></td> | ||
<td align="center" rowspan="1"><math>~\frac{c}{a}</math></td> | |||
</td> | <td align="center" rowspan="1"><math>~A_1</math></td> | ||
<td align="center"> | <td align="center" rowspan="1"><math>~A_2</math></td> | ||
<math>~=</math> | <td align="center" rowspan="1"><math>~A_3</math></td> | ||
</td> | <td align="center" rowspan="1"><math>~M</math></td> | ||
<td align=" | <td align="center" rowspan="1"><math>~N</math></td> | ||
<math>~ | <td align="center" rowspan="1"><math>~\frac{\Omega_f^2}{\pi G \rho}</math></td> | ||
<td align="center" rowspan="1"><math>~\frac{\lambda^2}{\pi G \rho}</math></td> | |||
<td align="center" rowspan="1"><math>~\frac{\Omega_f}{\sqrt{G \rho}}</math></td> | |||
\ | <td align="center" rowspan="1"><math>~\frac{\lambda}{\sqrt{G \rho}}</math></td> | ||
</math> | |||
</tr> | </tr> | ||
</ | <tr> | ||
<td align="center">0.9</td> | |||
<td align="center">0.641</td> | |||
</ | <td align="center">0.521450273</td> | ||
<td align="center">0.595131012</td> | |||
=== | <td align="center">0.883418715</td> | ||
<td align="center">0.414682903</td> | |||
<td align="center">0.054301271</td> | |||
<td align="center">0.407446048</td> | |||
<td align="center">0.007236855</td> | |||
<td align="center">1.131383892</td> | |||
<td align="center">0.150782130</td> | |||
</tr> | |||
</table> | |||
The numerical values listed in the last two columns of this "part 3" test match the values listed [[#TestPart2|above in "part 2" of our test]] for, respectively, <math>~\omega</math> and <math>~\omega^\dagger</math>. | |||
===Relate EFE to Ou (2006)=== | |||
As we have already acknowledged, according to [https://ui.adsabs.harvard.edu/abs/2006ApJ...639..549O/abstract Ou (2006)], at any coordinate position inside or on the surface of the ellipsoid, <math>~(x, y)</math>, the three components of the velocity as viewed from a frame of rotation that is spinning at the equilibrium configuration's frequency, <math>~\Omega_f</math>, are, | |||
<table border="0" cellpadding="5" align="center"> | |||
[ | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~{\vec{v}}_\mathrm{rot}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,461: | Line 1,600: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~\lambda \biggl( \frac{ay}{b} , - \frac{bx}{a} , 0 \biggr) \, ,</math> | ||
\biggl | </td> | ||
</math> | |||
</td> | |||
</tr> | </tr> | ||
</table> | </table> | ||
where, <math>~\lambda</math> is an overall scale factor. But, according to §48 of EFE, we see that, | |||
<div align="center"> | |||
< | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~\vec{u}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,487: | Line 1,617: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~\biggl( Q_1 y , Q_2 x , 0 \biggr) \, ,</math> | ||
\biggl | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
<tr> | {{ Chandrasekhar65_XXV }}, p. 892, §II, Eq. (9) | ||
</div> | |||
where, | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>~Q_1</math> | |||
</td> | |||
<td align="center"> | |||
<math>~\equiv</math> | |||
</td> | |||
<td align="left"> | |||
<math>~- \biggl[ \frac{a^2}{a^2 + b^2} \biggr]\zeta</math> | |||
</td> | |||
<td align="center"> and, </td> | |||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~Q_2</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~\equiv</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~+ \biggl[ \frac{b^2}{a^2 + b^2} \biggr]\zeta \, ,</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
</ | |||
{{ Chandrasekhar65_XXV }}, p. 892, §II, Eq. (10) | |||
</div> | |||
and <math>~\zeta</math> is the scalar magnitude of the vorticity vector, <math>~\vec\zeta</math>. The transformation from EFE's notation to the one used by Ou is, then, | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\ | <math>~\lambda \biggl( \frac{a}{b} \biggr) </math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~=</math> | |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~- \biggl[ \frac{a^2}{a^2 + b^2} \biggr]\zeta</math> | ||
</td> | |||
<td align="center"> and, </td> | |||
< | |||
< | |||
< | |||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~- \lambda \biggl( \frac{b}{a} \biggr) </math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,545: | Line 1,674: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~+ \biggl[ \frac{b^2}{a^2 + b^2} \biggr]\zeta </math> | ||
</td> | </td> | ||
< | </tr> | ||
</table> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | <td align="right"> | ||
<math>~\lambda</math> | <math>~\Rightarrow ~~~ \lambda </math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~- \biggl[ \frac{ | <math>~- \biggl[ \frac{a b}{a^2 + b^2} \biggr]\zeta = - \biggl[ \frac{b}{a} + \frac{a}{b} \biggr]^{-1} \zeta\, ,</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
which, gratifyingly agrees with Eq. (17) in {{ Ou2006 }}. It is worth noting as well that, when viewed from the inertial reference frame, the velocity field is, | |||
{{ Ou2006 }}, p. 550, §2, Eqs. (3) & (17) | <div align="center"> | ||
</div> | <table border="0" cellpadding="5" align="center"> | ||
</li> | |||
</ol> | <tr> | ||
<td align="right"> | |||
==Models Examined by Ou (2006)== | <math>~\vec{v}</math> | ||
</td> | |||
In §2 of {{ Ou2006 }}, immediately after equation (6), we find the following declaration: In ''direct'' configurations, ω > λ so the fluid motion is dominated by figure rotation; conversely, in an ''adjoint'' configuration, ω < λ so the fluid motion is dominated by internal motions. | <td align="center"> | ||
<math>~=</math> | |||
===His Tabulated Model Parameters=== | </td> | ||
Table 1 (see below) lists a subset of the Riemann S-type ellipsoids that were studied by {{ Ou2006 }}; properties of various so-called ''Direct'' configurations can be found in Ou's Table 1, while properties of various ''Adjoint'' configurations can be found in his Table 5. Each row of ''our'' Table 1 was constructed as follows: | <td align="left"> | ||
<ul> | <math>~{\vec{v}}_\mathrm{rot} + \vec\Omega_f \times \vec{x} \, .</math> | ||
<li>The pair of axis ratios <math>~(\tfrac{b}{a}, \tfrac{c}{a} )</math> associated with one of Ou's (2006) uniform-density, incompressible <math>~(n=0)</math> ellipsoid models (columns 1 and 2 from Ou's Table 1) has been copied into columns 1 and 2 of ''our'' table.</li> | </td> | ||
<li>Properties of ''Direct Configurations'' …</li> | </tr> | ||
<ul> | </table> | ||
<li>The pair of parameter values <math>~(\omega_\mathrm{analytic}, \lambda_\mathrm{analytic})</math> that is required in order for this to be an <b>equilibrium</b> configuration — as specified by the above set of analytical expressions from EFE — is copied from, respectively, columns 11 and 13 of Ou's Table 1 into columns 3 and 4 of ''our'' table; in our table, the "analytic" subscript has been dropped from the column headings.</li> | |||
<li>The value of the equilibrium configuration's vorticity, <math>~\zeta</math> — see column 5 of our table — has been determined from the expression,<br /><table border="0" align="center"><tr><td align="center"><math>~\zeta = - \biggl[ \frac{1 + (b/a)^2}{b/a} \biggr] \lambda \, .</math></td></tr></table></li> | {{ Chandrasekhar65_XXV }}, p. 892, §II, Eq. (13) | ||
<li>Column 6 of our table lists the value of the frequency ratio, <math>~f \equiv \zeta/\omega</math>. | </div> | ||
</ul> | Broken down into its Cartesian components, this is | ||
<li>Properties of ''Adjoint Configurations'' [in order to distinguish from ''Direct'' configuration properties, a superscript † has been attached to each parameter name] …</li> | <div align="center"> | ||
<ul> | <table border="0" cellpadding="5" align="center"> | ||
<li>As listed in column 7 of our Table, the "spin" angular velocity of the ''adjoint'' equilibrium configuration has been determined from the vorticity of the ''direct'' configuration via the relation, <br /><table border="0" align="center"><tr><td align="center"><math>~\omega^\dagger = \zeta \biggl[\frac{b/a}{1 + (b/a)^2}\biggr] \, .</math></td></tr></table></li> | |||
<li>As listed in column 10 of our Table, the ratio <math>~(f^\dagger)</math> of the vorticity to the angular velocity in the ''adjoint'' equilibrium configuration has been determined from the same ratio <math>~(f)</math> in the ''direct'' configuration via the relation, <br /><table border="0" align="center"><tr><td align="center"><math>~f^\dagger = \frac{1}{f} \biggl\{ \frac{[1 + (b/a)^2]^2}{(b/a)^2} \biggr\} \, .</math></td></tr></table></li> | <tr> | ||
<li>As indicated, the value of the vorticity in the ''adjoint'' equilibrium configuration (column 9 of our table) has been determined from a product of <math>~\omega^\dagger</math> and <math>~f^\dagger</math>.</li> | <td align="right"> | ||
<li>As listed in column 8 of our table, the value of the parameter, <math>~\lambda^\dagger</math>, has been determined from the vorticity in the ''adjoint'' equilibrium configuration via the relation, <br /><table border="0" align="center"><tr><td align="center"><math>~\lambda^\dagger = -~ \zeta^\dagger \biggl[ \frac{b}{a} + \frac{a}{b}\biggr]^{-1} \, .</math></td></tr></table></li> | <math>~\vec{v}</math> | ||
</ul> | </td> | ||
</ul> | <td align="center"> | ||
<math>~=</math> | |||
<table border="1" align="center" cellpadding="8" width="90%"> | </td> | ||
<tr> | <td align="left"> | ||
<td align="center" colspan="10"> | <math>~ | ||
<b>Table 1: Example Riemann S-type Ellipsoids</b><br /> | \boldsymbol{\hat\imath} \biggl[\lambda \biggl( \frac{a}{b} \biggr) - \Omega_f \biggr]y | ||
[Cells with a pink background contain numbers copied directly from Table 1 of {{ Ou2006 }}]<br /> | + | ||
[Cells with a yellow background contain numbers drawn from Table IV (p. 103) of EFE] | \boldsymbol{\hat\jmath} \biggl[- \lambda \biggl( \frac{b}{a} \biggr) + \Omega_f \biggr]x | ||
</td> | </math> | ||
</tr> | </td> | ||
<tr> | </tr> | ||
<td align="center" rowspan="2"><math>~\frac{b}{a}</math></td> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~ | |||
\boldsymbol{\hat\imath} \biggl[- \biggl( \frac{a b}{a^2 + b^2} \biggr)\zeta \biggl( \frac{a}{b} \biggr) - \Omega_f \biggr]y | |||
+ | |||
\boldsymbol{\hat\jmath} \biggl[\biggl( \frac{a b}{a^2 + b^2} \biggr)\zeta\biggl( \frac{b}{a} \biggr) + \Omega_f \biggr]x | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~ | |||
-\boldsymbol{\hat\imath} \biggl[ \biggl( \frac{a^2}{a^2 + b^2} \biggr) f + 1 \biggr] \Omega_fy | |||
+ | |||
\boldsymbol{\hat\jmath} \biggl[\biggl( \frac{b^2}{a^2 + b^2} \biggr) f + 1 \biggr] \Omega_fx \, . | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
{{ Chandrasekhar65_XXV }}, p. 892, §II, Eq. (14) | |||
</div> | |||
===Summary=== | |||
<span id="Fig1">It is often useful to discuss</span> the properties of Riemann S-type ellipsoids in the context of what we will refer to as the traditional "EFE Diagram" — a two-dimensional parameter space defined by the axis ratio ranges, 0 ≤ b/a ≤ 1 and 0 ≤ c/a ≤ 1. It is useful to appreciate at the outset, for example, that Riemann S-type ellipsoids only populate a subset of the EFE Diagram's entire parameter space. More specifically, they all lie between or on the two (self-adjoint) curves marked "X = -1" and "X = +1" in the EFE Diagram that is shown here, on the right. Keeping this in mind, we summarize here a sequence of steps that should be taken in order to construct and thereby quantitatively detail all of the physical properties that are associated with any Riemann S-type ellipsoid that lies in this allowed region of the EFE Diagram. | |||
<table border="0" align="right" cellpadding="5"> | |||
<tr><td align="center">'''Figure 1'''</td></tr> | |||
<tr><td align="center"> | |||
[[File:EFEdiagram02.png|right|350px|EFE Diagram]] | |||
</td></tr> | |||
<tr><td align="center">Caption: See [[#Fig2|Figure 2, below]]</td></tr> | |||
</table> | |||
<ol> | |||
<li>Specify numerical values for any two of the three key parameters: <math>~b/a, c/a, f \equiv \zeta/\Omega_f</math>. The value of the third (unspecified) parameter can then be found by determining the root(s) of the [[#Based_on_Virial_Equilibrium|virial-equilibrium-based expression]], | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>~0</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~ | |||
\biggl[ \frac{a^2 b^2}{(a^2 + b^2)^2} \biggr] f^2 | |||
+ \biggl[ \frac{2a^2 b^2 B_{12}}{c^2 A_3 - a^2 b^2 A_{12}} \biggr]\frac{f}{a^2 + b^2} + 1 \, . | |||
</math> | |||
</td> | |||
</tr> | |||
<tr><td align="center" colspan="3">[ [[Appendix/References#EFE|EFE]], <font color="#00CC00">§48, Eq. (35)</font> ]</td></tr> | |||
</table> | |||
<ol type="A"> | |||
<li>If you specified the values of <math>~b/a</math> and <math>~c/a</math>, then values of the three parameters, <math>~A_1, A_2, A_3</math> — as well as the related parameters, <math>~A_{12}, B_{12}</math> — can be immediately determined from the [[#General_Coefficient_Expressions|above general coefficient expressions]] and [[#A12B12|related relations]] as long as you have an algorithm that can be used to evaluate incomplete elliptic integrals of the first and second kind. The governing virial-equilibrium-based expression then becomes a quadratic equation whose pair of roots give two physically viable values of the parameter, <math>~f</math>; we will refer to them as <math>~f_+</math> and <math>~f_-</math> | |||
<br />NOTE: If the chosen pair of axis ratios places your configuration ''above'' the Jacobi/Dedekind sequence in the familiar "EFE Diagram," then the parameter, <math>~f</math>, will invariably be negative; if it is ''below'' the Jacobi/Dedekind sequence, <math>~f</math> will invariably be positive. <br />NOTE as well: This is the method that we have used, below, in order to replicate various equilibrium configurations that have been [[#Models_Examined_by_Ou_.282006.29|studied by Ou (2006)]]. | |||
</li> | |||
<li>If, instead, you specified the value of <math>~f</math> and (only) one of the ellipsoid's axis ratios, then an iterative numerical scheme — such as a [https://brilliant.org/wiki/newton-raphson-method/ Newton Raphson method] — will need to be used in order to determine a physically viable (real) root of this nonlinear, virial-equilibrium-based expression. This root will provide the value of the equilibrium ellipsoid's other axis ratio. | |||
<br />NOTE: The [[ThreeDimensionalConfigurations/JacobiEllipsoids#Jacobi_Ellipsoids|Jacobi/Dedelind sequence]] is determined in this manner by setting <math>~f = 0</math>, then determining what value of the c/a axis ratio is consistent with various selected values of 0 < b/a ≤ 1. | |||
</li> | |||
<li>If, as in step 1.B, only one value of the parameter, <math>~f</math>, is known, the other relevant value may be obtained from the relation, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>~f_+ \cdot f_-</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~ | |||
\biggl[ \frac{a^2 + b^2}{ab}\biggr]^2 \, . | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
In either case, if <math>~|f_\pm | < 1</math> the model will be referred to as being a ''Jacobi-like'' — or, ''Direct'' — configuration because the magnitude of the configuration's spin frequency, <math>~|\Omega_f|</math>, is larger than the magnitude of the frequency, <math>~|\zeta|</math>, that characterizes internal motions (vorticity). On the other hand, if <math>~|f_\pm | > 1</math> the model will be referred to as being a ''Dedekind-like'' — or, ''Adjoint'' — configuration because the internal motions dominate. | |||
<br />NOTE: A so-called ''self-adjoint'' model sequence will arise when <math>~f_+ = f_-</math> for all values of the axis ratio, 0 < b/a ≤ 1. There are two such sequences, namely, when <math>~f_+ = f_- = (a^2 + b^2)/(ab)</math> — this is the curve labeled, "X =+1" in the EFE Diagram shown here on the right — or when <math>~f_+ = f_- = -(a^2 + b^2)/(ab)</math> — this is the curve labeled, "X = - 1. In the familiar EFE diagram, these curves intersect the Maclaurin sequence (where, b/a = 1) when, respectively, <math>~f_+ = +2</math> and <math>~f_+ = -2</math>. | |||
</li> | |||
</ol> | |||
</li> | |||
<li> | |||
Once a consistently specified set of parameters, <math>~b/a, c/a</math> and <math>~f</math>, is known, the configuration's spin frequency may be straightforwardly obtained from another [[#Based_on_Virial_Equilibrium|virial-equilibrium-based expression]], namely, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>~\frac{\Omega_f^2}{\pi G \rho}</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~2B_{12} \biggl[ 1 + \frac{a^2 b^2 \cdot f^2}{(a^2 + b^2)^2} \biggr]^{-1} \, .</math> | |||
</td> | |||
</tr> | |||
<tr><td align="center" colspan="3">[ [[Appendix/References#EFE|EFE]], <font color="#00CC00">§48, Eq. (33)</font> ]</td></tr> | |||
</table> | |||
</li> | |||
<li> | |||
Once a consistently specified pair of parameters, <math>~\Omega_f</math> and <math>~f</math>, is known, the configuration's vorticity can immediately be determined via the expression, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>~\vec\zeta = \boldsymbol{\hat{k}} \zeta </math> | |||
</td> | |||
<td align="center"> | |||
where, | |||
</td> | |||
<td align="left"> | |||
<math>~\zeta = (f \Omega_f) \, .</math> </td> | |||
</tr> | |||
</table> | |||
</li> | |||
<li> | |||
At every location inside a Riemann S-type ellipsoid, the fluid vorticity must be related to the underlying velocity field via the expression, <math>~\vec\zeta = \nabla \times {\vec{v}}_\mathrm{rot}</math>. In order for the vorticity to be uniform throughout the configuration — everywhere being represented by the vector, <math>~\vec\zeta = \boldsymbol{\hat{k}} \zeta</math> — we realize that the velocity field is properly described by the expression, | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>~{\vec{v}}_\mathrm{rot}</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~\lambda \biggl[ \boldsymbol{\hat{\imath}} \biggl(\frac{a}{b}\biggr)y - \boldsymbol{\hat{\jmath}} \biggl(\frac{b}{a}\biggr)x \biggr] \, ,</math> | |||
</td> | |||
<td align="center"> where, </td> | |||
<td align="right"> | |||
<math>~\lambda</math> | |||
</td> | |||
<td align="center"> | |||
<math>~\equiv</math> | |||
</td> | |||
<td align="left"> | |||
<math>~- \biggl[ \frac{ab}{a^2 + b^2} \biggr] \zeta \, .</math> | |||
</td> | |||
</tr> | |||
</table> | |||
{{ LL96 }}, p. 700, §2, Eq. (1)<br /> | |||
{{ LL96b }}, p. 930, §3, Eqs. (3.1) & (3.2)<br /> | |||
{{ Ou2006 }}, p. 550, §2, Eqs. (3) & (17) | |||
</div> | |||
</li> | |||
</ol> | |||
==Maclaurin Spheroid Limit== | |||
===Basic Relations=== | |||
====Expressions Supplied by EFE==== | |||
In Chapter 7, §48(b) (pp. 137 - 138) of [[Appendix/References#EFE|[<font color="red">EFE</font>] ]], Chandrasekhar shows that <font color="orange">"… a ''stable'' [[Apps/MaclaurinSpheroidSequence|Maclaurin spheroid]]</font> can be considered as <font color="orange">a limiting <math>(a_2/a_1 \rightarrow 1)</math> form of a [S-type] Riemann ellipsoid."</font> First, we [[Apps/MaclaurinSpheroidSequence#Equilibrium_Angular_Velocity|recall]] that, as viewed from the inertial frame, each Maclaurin spheroid of eccentricity, <math>e = (1 - a_3^2/a_1^2)^{1 / 2}</math>, rotates uniformly with angular velocity, | |||
<table border="0" align="center" cellpadding="8"> | |||
<tr> | |||
<td align="right"><math>\Omega_\mathrm{Mc}^2 \equiv \frac{\omega_0^2}{\pi G \rho} = 2e^2 B_{13} </math></td> | |||
<td align="center"><math>=</math></td> | |||
<td align="left"> | |||
<math> | |||
2(3-2e^2)(1 - e^2)^{1 / 2} \cdot \frac{\sin^{-1} e}{e^3} - \frac{6(1-e^2)}{e^2} \, .</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="center" colspan="3"> | |||
[<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>], §32, pp. 77-78, Eqs. (4) & (6) | |||
</td> | |||
</tr> | |||
</table> | |||
Given the specified value of the semi-axis ratio, <math>a_3/a_1</math>, the properties of the limiting S-type Riemann ellipsoid are given by the expressions, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>2\Omega_3</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math>\Omega_\mathrm{Mc} \pm \biggl[4 B_{11} - \Omega^2_\mathrm{Mc}\biggr]^{1 / 2} \, ,</math> | |||
</td> | |||
</tr> | |||
<tr><td align="center" colspan="3">[<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>], <font color="#00CC00">Chapter 7, §48(b), p. 137, Eq. (60)</font> </td></tr> | |||
</table> | |||
<span id="zeta3">and,</span> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>\zeta_3^2</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math>4(\Omega_\mathrm{Mc} - \Omega_3)^2 \, ,</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
<math>\Rightarrow ~~~ \zeta_3</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\Omega_\mathrm{Mc} \mp \biggl[ 4B_{11} - \Omega^2_\mathrm{Mc} \biggr]^{1 / 2} | |||
\, .</math> | |||
</td> | |||
</tr> | |||
<tr><td align="center" colspan="3">[<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>], <font color="#00CC00">Chapter 7, §48(b), p. 137, Eqs. (58) & (61)</font> </td></tr> | |||
</table> | |||
<span id="B11">where, </span> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>B_{11}</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math>A_1 - a_1^2 A_{11} \, .</math> | |||
</td> | |||
</tr> | |||
<tr><td align="center" colspan="3">[<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>], <font color="#00CC00">Chapter 3, §21, Eq. (105)</font></td></tr> | |||
</table> | |||
====Evaluating A<sub>11</sub>==== | |||
As has been stated in [[ThreeDimensionalConfigurations/HomogeneousEllipsoids#Evaluating_Aℓℓ|a separate derivation]], quite generally, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>\frac{A_{\ell\ell}}{a_\ell a_m a_s}</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\int_0^\infty \biggl[ (a_\ell^2 + u)^5(a_m^2 + u)(a_s^2 + u) \biggr]^{-1 / 2} du \, . | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
Now, in the case of Maclaurin spheroids, <math>a_m = a_\ell</math>, so this integral expression becomes, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>\frac{A_{\ell\ell}}{a_\ell^2 a_s}</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\int_0^\infty \biggl[ (a_\ell^2 + u)^6 (a_s^2 + u) \biggr]^{-1 / 2} du | |||
= | |||
\int_0^\infty \frac{du}{(a_\ell^2 + u)^3 (a_s^2 + u)^{1 / 2} } | |||
= | |||
\int_0^\infty \frac{du}{v^m \sqrt{w}} \, , | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
where, <math>m = 3, v = (a_\ell^2 + u), w = (a_s^2 + u), b = d = 1, a = a_s^2, c = a_\ell^2, k = (a_s^2 - a_\ell^2).</math> Before applying the limits, carrying out the integration gives, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>\int \frac{du}{v^m \sqrt{w}}</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
-~\frac{1}{(m-1)(a_s^2 - a_\ell^2)} \biggl[ | |||
\frac{\sqrt{w}}{v^{m-1}} + \biggl(m - \frac{3}{2}\biggr) \int \frac{du}{v^{m-1} \sqrt{w}} | |||
\biggr] | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="center" colspan="3"> | |||
[<b>[[Appendix/References#CRC|<font color="red">CRC</font>]]</b>] chapter on INTEGRALS, p. 408, Eq. (154)<br /> | |||
[https://www.academia.edu/36550954/I_S_Gradshteyn_and_I_M_Ryzhik_Table_of_integrals_series_and_products_Academic_Press_2007_ GR7<sup>th</sup>], p. 91, Eq. (2.248.8)</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\frac{1}{2(a_\ell^2 - a_s^2)} \biggl[ | |||
\frac{\sqrt{w}}{v^{2}} + \biggl(\frac{3}{2}\biggr) \int \frac{du}{v^{2} \sqrt{w}} | |||
\biggr] | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\frac{1}{2(a_\ell^2 - a_s^2)} \biggl[ | |||
\frac{\sqrt{w}}{v^{2}}\biggr] | |||
+ | |||
\frac{3}{4(a_\ell^2 - a_s^2)} | |||
\biggl\{ | |||
\frac{1}{(a_\ell^2 - a_s^2)} \biggl[ | |||
\frac{\sqrt{w}}{v} + \biggl(\frac{1}{2}\biggr) \int \frac{du}{v \sqrt{w}} | |||
\biggr]\biggr\} | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\frac{1}{2(a_\ell^2 - a_s^2)} \biggl[\frac{\sqrt{w}}{v^{2}}\biggr] | |||
+ | |||
\frac{3}{4(a_\ell^2 - a_s^2)^2} \biggl[\frac{\sqrt{w}}{v}\biggr] | |||
+ | |||
\frac{3}{8(a_\ell^2 - a_s^2)^2} | |||
\biggl\{ | |||
\int \frac{du}{v \sqrt{w}} | |||
\biggr\} | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="center" colspan="3"> | |||
[<b>[[Appendix/References#CRC|<font color="red">CRC</font>]]</b>] chapter on INTEGRALS, p. 407, Eq. (148)<br /> | |||
[https://www.academia.edu/36550954/I_S_Gradshteyn_and_I_M_Ryzhik_Table_of_integrals_series_and_products_Academic_Press_2007_ GR7<sup>th</sup>], p. 90, Eq. (2.246) | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\frac{1}{2(a_\ell^2 - a_s^2)} \biggl[\frac{\sqrt{w}}{v^{2}}\biggr] | |||
+ | |||
\frac{3}{4(a_\ell^2 - a_s^2)^2} \biggl[\frac{\sqrt{w}}{v}\biggr] | |||
+ | |||
\frac{3}{8(a_\ell^2 - a_s^2)^2} | |||
\biggl\{ | |||
\frac{2}{(a_\ell^2 - a_s^2)^{1 / 2}} \tan^{-1}\biggl[ \frac{\sqrt{w}}{(a_\ell^2 - a_s^2)^{1 / 2}} \biggr] | |||
\biggr\}\, . | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
Applying the limits then gives, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>\int_0^\infty \frac{du}{v^m \sqrt{w}}</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\frac{3\pi}{8(a_\ell^2 - a_s^2)^{5 / 2}} | |||
-~\frac{a_s}{2(a_\ell^2 - a_s^2)a_\ell^4} | |||
- | |||
\frac{3a_s}{4(a_\ell^2 - a_s^2)^2 a_\ell^2} | |||
- | |||
\frac{3}{4(a_\ell^2 - a_s^2)^{5 / 2}} | |||
\biggl\{ | |||
\tan^{-1}\biggl[ \frac{a_s}{(a_\ell^2 - a_s^2)^{1 / 2}} \biggr] | |||
\biggr\} | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\frac{3\pi}{8 a_\ell^5 e^5} | |||
-~\frac{(1-e^2)^{1 / 2}}{2a_\ell^5 e^2} | |||
- | |||
\frac{3(1-e^2)^{1 / 2}}{4a_\ell^5 e^4 } | |||
- | |||
\frac{3}{4a_\ell^5 e^5} | |||
\biggl\{ | |||
\sin^{-1}(1-e^2)^{1 / 2} | |||
\biggr\} | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
1.49957 - 0.16703 - 0.27593 - 0.29421 = 0.76239 | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
<math>\Rightarrow ~~~ \frac{A_{\ell\ell} }{a_\ell^3 (1 - e^2)^{1 / 2} }</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\frac{1}{4a_\ell^5 e^5}\biggl\{ | |||
\frac{3\pi}{2 } | |||
-3 \biggl[\sin^{-1}(1-e^2)^{1 / 2}\biggr] | |||
-~2e^3(1-e^2)^{1 / 2} | |||
- 3e(1-e^2)^{1 / 2} | |||
\biggr\} | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
<math>\Rightarrow ~~~ a_\ell^2 A_{\ell\ell} </math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\frac{3(1-e^2)^{1 / 2}}{4 e^5} | |||
\underbrace{\biggl[ \frac{\pi}{2 } - \sin^{-1}(1-e^2)^{1 / 2}\biggr]}_{\sin^{-1}e} | |||
- | |||
\frac{1}{4 e^4}( 2e^2 + 3)(1-e^2) | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
0.36562 - 0.13436 = 0.23126 | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
====Derivation Check==== | |||
At the top of p. 141 (§48) of [<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>] — see also Table VI on p. 142 — Chandrasekhar emphasizes that the point at which the <math>x = +1</math> self-adjoint (S-type) Riemann ellipsoid intersects the Maclaurin spheroid has <math>f = +2, a_3 = 0.30333, e = 0.95289, \Omega_3^2 = 0.11005</math>. As Table I (p. 78) records, the Maclaurin spheroid having this eccentricity has <math>\Omega_\mathrm{Mc}^2 = 0.44022.</math> At this point, therefore, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>B_{11}</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math>\tfrac{1}{4}\Omega^2_\mathrm{Mc} = 0.110055 \, .</math> | |||
</td> | |||
</tr> | |||
<tr><td align="center" colspan="3">[<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>], <font color="#00CC00">Chapter 7, §48(c), Eq. (141)</font></td></tr> | |||
</table> | |||
Note as well that, from the [[#zeta3|above expression for (ζ<sub>3</sub>)<sup>2</sup>]], we have, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>\zeta_3 </math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math>2(\Omega_\mathrm{Mc}-\Omega_3) = 0.66034 \, ;</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
<math>\Rightarrow ~~~ f </math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math>\frac{\zeta_3}{\Omega_3} = 2.0 \, ,</math> | |||
</td> | |||
</tr> | |||
</table> | |||
as it should be. | |||
For this same value of the eccentricity, we recognize as well that, <math>A_{1} = 0.34132</math>. Therefore, drawing from the [[#B11|above expression for B<sub>11</sub>]], we also deduce that, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>a_1^2 A_{11}</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math>A_1 - B_{11} = 0.23127 \, .</math> | |||
</td> | |||
</tr> | |||
<tr><td align="center" colspan="3">[<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>], <font color="#00CC00">Chapter 3, §21, Eq. (105)</font></td></tr> | |||
</table> | |||
<font color="red"><b>Hooray!!</b></font> This matches the numerical value of <math>a_\ell^2 A_{\ell\ell} = 0.23126</math> determined above for <math>e = 0.95289</math>. So it seems reasonable to conclude that the general expression, itself, is correct. | |||
===Frequency Ratio=== | |||
====Determination and Plot==== | |||
Given that, for all Maclaurin spheroids, | |||
<table align="center" border=0 cellpadding="3"> | |||
<tr> | |||
<td align="right"> | |||
<math> | |||
~A_1 | |||
</math> | |||
</td> | |||
<td align="center"> | |||
<math> | |||
~= | |||
</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\frac{1}{e^2} \biggl[\frac{\sin^{-1}e}{e} - (1-e^2)^{1/2} \biggr](1-e^2)^{1/2} \, , | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
<math> | |||
~A_3 | |||
</math> | |||
</td> | |||
<td align="center"> | |||
<math> | |||
~= | |||
</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\frac{2}{e^2} \biggl[(1-e^2)^{-1/2} -\frac{\sin^{-1}e}{e} \biggr](1-e^2)^{1/2} \, , | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="center" colspan="3"> | |||
[<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>], §17, p. 43, Eq. (36) | |||
</td> | |||
</tr> | |||
</table> | |||
we conclude that along the entire Maclaurin spheroid sequence, the index symbol, | |||
<table align="center" border=0 cellpadding="3"> | |||
<tr> | |||
<td align="right"> | |||
<math>B_{11} = A_1 - a_{11}^2 A_{11} </math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\frac{1}{e^2} \biggl[\frac{\sin^{-1}e}{e} - (1-e^2)^{1/2} \biggr](1-e^2)^{1/2} | |||
+ | |||
\frac{1}{4 e^4}( 2e^2 + 3)(1-e^2) | |||
- | |||
\frac{3(1-e^2)^{1 / 2}}{4 e^5}\biggl[ | |||
\frac{\pi}{2 } - \sin^{-1}(1-e^2)^{1 / 2}\biggr] | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\frac{3}{4e^5} \biggl[\frac{4}{3} \cdot e^2\sin^{-1}e \biggr](1-e^2)^{1/2} | |||
- | |||
\frac{3}{4 e^5} \underbrace{\biggl[ \frac{\pi}{2 } - \sin^{-1}(1-e^2)^{1 / 2}\biggr]}_{\sin^{-1}e}(1-e^2)^{1 / 2} | |||
- | |||
\frac{(1-e^2)}{e^2} | |||
+ | |||
\frac{1}{4 e^4}( 2e^2 + 3)(1-e^2) | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\frac{3(1-e^2)^{1/2}}{4e^5} \biggl[\frac{4}{3} \cdot e^2\sin^{-1}e -\sin^{-1}e \biggr] | |||
+ | |||
\frac{(3-2e^2)(1-e^2)}{4e^4} | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\frac{1}{4e^4}\biggl\{ | |||
(1-e^2)^{1/2} (4 e^2 - 3) \frac{\sin^{-1}e}{e} | |||
+ | |||
(3-2e^2)(1-e^2) | |||
\biggr\} \, . | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
We can therefore write, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>\frac{2\Omega_3}{\Omega_\mathrm{Mc}}</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math>1 \pm (\mathcal{H} - 1)^{1 / 2} \, ,</math> | |||
</td> | |||
<td align="center"> and, | |||
<td align="right"> | |||
<math>\frac{\zeta_3}{\Omega_\mathrm{Mc}}</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math>1 \mp (\mathcal{H} - 1)^{1 / 2} \, ,</math> | |||
</td> | |||
</tr> | |||
</table> | |||
where, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>\mathcal{H} \equiv \frac{4B_{11}}{\Omega^2_\mathrm{Mc}}</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\frac{1}{2e^2}\biggl\{ | |||
(1-e^2)^{1/2} (4 e^2 - 3) \frac{\sin^{-1}e}{e} | |||
+ | |||
(3-2e^2)(1-e^2) | |||
\biggr\} | |||
\biggl\{ (3-2e^2)(1 - e^2)^{1 / 2} \cdot \frac{\sin^{-1} e}{e} - 3(1-e^2) \biggr\}^{-1} | |||
\, . | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
<font color="red">REMINDER:</font> For a given choice of the eccentricity, there are two viable solutions … the ''direct'' configuration and its ''adjoint.'' In the context of Riemann S-type ellipsoids (<i>i.e.</i>, here), this pair of solutions arises from the choice of the sign <math>(\pm)</math> in the expression for <math>\Omega_3</math>; in the context of [[3Dconfigurations/DescriptionOfRiemannTypeI#Description_of_Riemann_Type_I_Ellipsoids|Type I Riemann ellipsoids]], the pair arises from the choice of the sign <math>(\mp)</math> in the <font color="red">STEP #3</font> determination of <math>\beta</math> and <math>\gamma</math>. In both physical contexts, the ''direct'' (Jacobi-like) solution results from selecting the ''inferior'' sign while the ''adjoint'' (Dedekind-like) solution results from selecting the ''superior'' sign. | |||
<table border="1" align="center" cellpadding="8" width="80%"> | |||
<tr> | |||
<td align="center" colspan="2"> | |||
<b>Figure 1: Parameter Variations Along the Maclaurin Spheroid Sequence</b> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="center"> | |||
[[File:JacobiSequenceTooA.png|400px|center|JacobiSequenceToo]] | |||
</td> | |||
<td align="center"> | |||
[[File:f_StypeB.png|400px|center|FrequencyRatio]] | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="left" width="50%">Analogous to Figure 5 from §32, p. 79 of [<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>]; shows how the square of the normalized rotation frequency varies with eccentricity, <math>e = (1 - a_3/a_1)^{1 / 2},</math> along the (black-dotted) Maclaurin sequence and along the Jacobi sequence (series of purple circular markers).</td> | |||
<td align="left"> | |||
Each Riemann S-type ellipsoid sequence — uniquely identified by its frequency ratio, <math>f = \zeta_3/\Omega_3</math> — intersects the Maclaurin spheroid sequence at a specific value of the meridional-plane eccentricity, <math>e = (1 - a_3/a_1)^{1 / 2}.</math> Analogous to Figure 12 from §48, p. 139 of [<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>], this plot displays how <math>f_\mathrm{Mc}</math> varies with <math>e</math> along the Maclaurin spheroid sequence; for a given <math>e</math>, the solid black curve is associated with the ''direct'' configuration while the dashed orange curve is associated with the ''adjoint'' configuration. The circular, solid-purple marker identifies the point where the Jacobi sequence <math>(f_\mathrm{Mc} = 0)</math> bifurcates from the Maclaurin spheroid sequence; bifurcation to the Dedekind sequence is not displayed here because its frequency ratio <math>(f_\mathrm{Mc} = \pm \infty)</math> is off scale. The square, solid-green markers identify the location of the pair of models (direct/adjoint) for which <math>\Omega^2_\mathrm{Mc}</math> is maximum (see the square, solid-green marker in the left-hand panel). The circular, solid-orange marker identifies the (degenerate) pair of models <math>(f_\mathrm{Mc} = +2)</math> where the "<math>x = +1</math>" sequence bifurcates from the Maclaurin spheroid sequence. | |||
</td> | |||
</tr> | |||
</table> | |||
<table border="1" align="center" width="80%" cellpadding="8"><tr><td align="left"> | |||
Drawing from [[Appendix/Ramblings/PowerSeriesExpressions#Maclaurin_Spheroid_Index_Symbols|one of our mathematics appendices]], we know that when <math>e \ll 1</math>, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>\biggl[ 4e^4 B_{11}\biggr]_{e \ll 1}</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\biggl\{ | |||
(1-e^2)^{1/2} (4 e^2 - 3) \frac{\sin^{-1}e}{e} | |||
+ | |||
(3-2e^2)(1-e^2) | |||
\biggr\}_{e \ll 1} | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
(3-2e^2)(1-e^2) | |||
+ (4 e^2 - 3) | |||
\biggl\{ 1 - \biggl[ \frac{1}{2} \biggr]e^2 - \biggl[\frac{1}{2^3}\biggr]e^4 | |||
- \biggl[\frac{1}{2^4}\biggr]e^6 | |||
- \biggl[\frac{5}{2^7 }\biggr]e^8 | |||
- \cdots | |||
\biggr\} | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
| |||
</td> | |||
<td align="left"> | |||
<math> | |||
\times | |||
\biggl\{ 1 + \biggl[\frac{1}{2\cdot 3}\biggr]e^2 | |||
+ \biggl[\frac{1\cdot 3 }{2\cdot 4\cdot 5}\biggr]e^4 | |||
+ \biggl[ \frac{1 \cdot 3\cdot 5}{2\cdot 4\cdot 6\cdot 7}\biggr]e^6 | |||
+ \biggl[ \frac{1 \cdot 3\cdot 5 \cdot 7}{2\cdot 4\cdot 6\cdot 8\cdot 9}\biggr]e^8 | |||
+ \cdots | |||
\biggr\} | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
(3-2e^2)(1-e^2) | |||
+ (4 e^2 - 3)\biggl\{ 1 - \biggl[ \frac{1}{2} \biggr]e^2 - \biggl[\frac{1}{2^3}\biggr]e^4 | |||
- \biggl[\frac{1}{2^4}\biggr]e^6 | |||
- \cdots | |||
\biggr\} | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
| |||
</td> | |||
<td align="left"> | |||
<math> | |||
+ (4 e^2 - 3)\biggl\{ 1 - \biggl[ \frac{1}{2} \biggr]e^2 - \biggl[\frac{1}{2^3}\biggr]e^4 | |||
- \cdots | |||
\biggr\} | |||
\times \biggl[\frac{1}{2\cdot 3}\biggr]e^2 | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
| |||
</td> | |||
<td align="left"> | |||
<math> | |||
+ (4 e^2 - 3)\biggl\{ 1 - \biggl[ \frac{1}{2} \biggr]e^2 | |||
- \cdots | |||
\biggr\} | |||
\times \biggl[\frac{1\cdot 3 }{2\cdot 4\cdot 5}\biggr]e^4 | |||
+ (4 e^2 - 3) | |||
\times \biggl[ \frac{1 \cdot 3\cdot 5}{2\cdot 4\cdot 6\cdot 7}\biggr]e^6 | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
(3-2e^2)(1-e^2) | |||
+ (4 e^2 - 3) - \biggl[ \frac{1}{2} \biggr]e^2(4 e^2 - 3) - \biggl[\frac{1}{2^3}\biggr]e^4(4 e^2 - 3) | |||
- \biggl[\frac{1}{2^4}\biggr]e^6(4 e^2 - 3) | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
| |||
</td> | |||
<td align="left"> | |||
<math> | |||
+ \biggl\{ 1 \biggr\} | |||
\times \biggl[\frac{1}{2\cdot 3}\biggr]e^2 (4 e^2 - 3) | |||
+ \biggl\{ - \biggl[ \frac{1}{2} \biggr]e^2 \biggr\} | |||
\times \biggl[\frac{1}{2\cdot 3}\biggr]e^2 (4 e^2 - 3) | |||
+ \biggl\{ - \biggl[\frac{1}{2^3}\biggr]e^4 \biggr\} | |||
\times \biggl[\frac{1}{2\cdot 3}\biggr]e^2 (4 e^2 - 3) | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
| |||
</td> | |||
<td align="left"> | |||
<math> | |||
+ \biggl\{ 1 \biggr\} | |||
\times \biggl[\frac{1\cdot 3 }{2\cdot 4\cdot 5}\biggr]e^4(4 e^2 - 3) | |||
+ \biggl\{ - \biggl[ \frac{1}{2} \biggr]e^2 \biggr\} | |||
\times \biggl[\frac{1\cdot 3 }{2\cdot 4\cdot 5}\biggr]e^4(4 e^2 - 3) | |||
+ (4 e^2 - 3) | |||
\times \biggl[ \frac{1 \cdot 3\cdot 5}{2\cdot 4\cdot 6\cdot 7}\biggr]e^6 | |||
+ \mathcal{O}(e^8) | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
3-5e^2 + 2e^4 | |||
+ (4 e^2 - 3) - \frac{1}{2} (4 e^4 - 3e^2) - \frac{1}{2^3}(4 e^6 - 3e^4) | |||
+ \frac{3}{2^4}\cdot e^6 | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
| |||
</td> | |||
<td align="left"> | |||
<math> | |||
+ \frac{1}{2\cdot 3}(4 e^4 - 3e^2) | |||
- \frac{1}{2^2 \cdot 3}(4 e^6 - 3e^4) | |||
+ \frac{1}{2^4}(e^6) | |||
+ \biggl[\frac{1\cdot 3 }{2\cdot 4\cdot 5}\biggr](4 e^6 - 3e^4) | |||
+ \biggl[\frac{1\cdot 3^2 }{2^4\cdot 5}\biggr](e^6) | |||
- \biggl[ \frac{1 \cdot 3\cdot 5}{2\cdot 4\cdot 6\cdot 7}\biggr](3e^6 ) | |||
+ \mathcal{O}(e^8) | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
-e^2 + 2e^4 - 2 e^4 + \tfrac{3}{2}e^2 - \tfrac{1}{2} e^6 + \tfrac{3}{8}e^4 + \frac{3}{2^4}\cdot e^6 | |||
+ \tfrac{2}{3} e^4 - \tfrac{1}{2}e^2 | |||
- \tfrac{1}{3} e^6 + \tfrac{1}{4}e^4 | |||
+ \tfrac{1}{16}(e^6) | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
| |||
</td> | |||
<td align="left"> | |||
<math> | |||
+ \biggl[\frac{3 }{2^3\cdot 5}\biggr](4 e^6 - 3e^4) | |||
+ \biggl[\frac{3^2 }{2^4\cdot 5}\biggr](e^6) | |||
- \biggl[ \frac{5}{2^4\cdot 7}\biggr](3e^6 ) | |||
+ \mathcal{O}(e^8) | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
- \tfrac{1}{2} e^6 + \tfrac{3}{8}e^4 + \frac{3}{2^4}\cdot e^6 | |||
+ \tfrac{2}{3} e^4 | |||
- \tfrac{1}{3} e^6 + \tfrac{1}{4}e^4 | |||
+ \tfrac{1}{16}(e^6) | |||
+ \biggl[\frac{3 }{2^3\cdot 5}\biggr](4 e^6 - 3e^4) | |||
+ \biggl[\frac{3^2 }{2^4\cdot 5}\biggr](e^6) | |||
- \biggl[ \frac{5}{2^4\cdot 7}\biggr](3e^6 ) | |||
+ \mathcal{O}(e^8) | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
e^4 \biggl[\frac{3}{2^3} + \frac{2}{3} + \frac{1}{2^2} - \frac{3^2}{2^3\cdot 5} \biggr] | |||
+ \mathcal{O}(e^6) | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
e^4 \biggl[3^2 \cdot 5 + 2^4\cdot 5 + 2\cdot 3\cdot 5 - 3^3 \biggr] \frac{1}{2^3 \cdot 3\cdot 5} | |||
+ \mathcal{O}(e^6) | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
e^4 \biggl[\frac{2^4}{3\cdot 5}\biggr] | |||
+ \mathcal{O}(e^6) | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
<math>\Rightarrow ~~~ B_{11}</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
\biggl[\frac{2^2}{3\cdot 5}\biggr] | |||
+ \mathcal{O}(e^2) | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
</td></tr></table> | |||
<table border="1" align="center" cellpadding="8"> | |||
<tr> | |||
<td align="center" colspan="13"><b>Table: Key Values Along the Limiting Maclaurin Spheroid Sequence</b></td> | |||
</tr> | |||
<tr> | |||
<td align="center" rowspan="2">Model</td> | |||
<td align="center" rowspan="2">e</td> | |||
<td align="center" rowspan="2"><math>\Omega^2_\mathrm{Mc}</math></td> | |||
<td align="center" rowspan="2"><math>B_{11}</math></td> | |||
<td align="center" rowspan="2"><math>\mathcal{H} \equiv \frac{4B_{11}}{\Omega^2_\mathrm{Mc}}</math></td> | |||
<td align="center" colspan="4">Direct</td> | |||
<td align="center" colspan="4">Adjoint</td> | |||
</tr> | |||
<tr> | |||
<td align="center"><math>\Omega_3</math></td> | |||
<td align="center"><math>\zeta_3</math></td> | |||
<td align="center"><math>\frac{\Omega_3}{\Omega_\mathrm{Mc}}</math></td> | |||
<td align="center"><math>f = \frac{\zeta_3}{\Omega_3}</math></td> | |||
<td align="center"><math>\Omega_3</math></td> | |||
<td align="center"><math>\zeta_3</math></td> | |||
<td align="center"><math>\frac{\Omega_3}{\Omega_\mathrm{Mc}}</math></td> | |||
<td align="center"><math>f = \frac{\zeta_3}{\Omega_3}</math></td> | |||
</tr> | |||
<tr> | |||
<td align="center" rowspan="1">Nonrotating Sphere & <br />"<math>x = -1</math>" Bifurcation</td> | |||
<td align="right">0.00000</td> | |||
<td align="right">0.00000</td> | |||
<td align="center"><math>\frac{4}{15}</math></td> | |||
<td align="center"><math>\infty</math></td> | |||
<td align="center"><math>-~\biggl(\frac{4}{15}\biggr)^{1 / 2}</math><br />Note: (a)</td> | |||
<td align="right"><math>+~\biggl(\frac{16}{15}\biggr)^{1 / 2}</math></td> | |||
<td align="center"><math>\infty</math></td> | |||
<td align="center"><math>-~2</math><br />Note: (a)</td> | |||
<td align="center"><math>+~\biggl(\frac{4}{15}\biggr)^{1 / 2}</math><br />Note: (a)</td> | |||
<td align="right"><math>-~\biggl(\frac{16}{15}\biggr)^{1 / 2}</math></td> | |||
<td align="center"><math>\infty</math></td> | |||
<td align="center"><math>-~2</math><br />Note: (a)</td> | |||
</tr> | |||
<tr> | |||
<td align="center" rowspan="1">Jacobi/Dedekind Bifurcation</td> | |||
<td align="center">0.81267<br />Note: (b)</td> | |||
<td align="center">0.37423<br />Note: (b)</td> | |||
<td align="center"><math>\frac{\Omega^2_\mathrm{Mc}}{2}</math><br />Note: (c)</td> | |||
<td align="center"><math>2</math></td> | |||
<td align="center"><math>\Omega_\mathrm{Mc}</math><br />Note: (c)</td> | |||
<td align="center"><math>0</math><br />Note: (c)</td> | |||
<td align="center"><math>1</math></td> | |||
<td align="center"><math>0</math></td> | |||
<td align="center"><math>0</math><br />Note: (c)</td> | |||
<td align="center"><math>2\Omega_\mathrm{Mc}</math><br />Note: (c)</td> | |||
<td align="center"><math>0</math><br />Note: (c)</td> | |||
<td align="center"><math>\pm \infty</math><br />Note: (c)</td> | |||
</tr> | |||
<tr> | |||
<td align="center" rowspan="1">"<math>x = +1</math>" Bifurcation</td> | |||
<td align="right">0.952886702</td> | |||
<td align="right">0.440219895</td> | |||
<td align="center"><math>\frac{\Omega^2_\mathrm{Mc}}{4}</math><br />Note: (d)</td> | |||
<td align="center"><math>1</math></td> | |||
<td align="center"><math>\frac{\Omega_\mathrm{Mc}}{2}</math><br />Note: (d)</td> | |||
<td align="center"><math>\Omega_\mathrm{Mc}</math><br />Note: (d)</td> | |||
<td align="center"><math>\frac{1}{2}</math></td> | |||
<td align="center"><math>+~2</math></td> | |||
<td align="center"><math>\frac{\Omega_\mathrm{Mc}}{2}</math><br />Note: (d)</td> | |||
<td align="center"><math>\Omega_\mathrm{Mc}</math><br />Note: (d)</td> | |||
<td align="center"><math>\frac{1}{2}</math></td> | |||
<td align="center"><math>+~2</math></td> | |||
</tr> | |||
<tr> | |||
<td align="left" colspan="13"> | |||
Notes: | |||
<ol type="a"> | |||
<li>[<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>], p. 142, last line of Table VI includes … <math>\Omega^2 = 4/15 \approx 0.26667</math> and <math>f = -2</math>.</li> | |||
<li>[<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>], p. 78, Table I.</li> | |||
<li>[<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>], p. 138, §48b(iv).</li> | |||
<li>[<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>], p. 138, §48b(v).</li> | |||
</ol> | |||
</td> | |||
</tr> | |||
</table> | |||
==Models Examined by Ou (2006)== | |||
In §2 of {{ Ou2006 }}, immediately after equation (6), we find the following declaration: In ''direct'' configurations, ω > λ so the fluid motion is dominated by figure rotation; conversely, in an ''adjoint'' configuration, ω < λ so the fluid motion is dominated by internal motions. | |||
===His Tabulated Model Parameters=== | |||
Table 1 (see below) lists a subset of the Riemann S-type ellipsoids that were studied by {{ Ou2006 }}; properties of various so-called ''Direct'' configurations can be found in Ou's Table 1, while properties of various ''Adjoint'' configurations can be found in his Table 5. Each row of ''our'' Table 1 was constructed as follows: | |||
<ul> | |||
<li>The pair of axis ratios <math>~(\tfrac{b}{a}, \tfrac{c}{a} )</math> associated with one of Ou's (2006) uniform-density, incompressible <math>~(n=0)</math> ellipsoid models (columns 1 and 2 from Ou's Table 1) has been copied into columns 1 and 2 of ''our'' table.</li> | |||
<li>Properties of ''Direct Configurations'' …</li> | |||
<ul> | |||
<li>The pair of parameter values <math>~(\omega_\mathrm{analytic}, \lambda_\mathrm{analytic})</math> that is required in order for this to be an <b>equilibrium</b> configuration — as specified by the above set of analytical expressions from EFE — is copied from, respectively, columns 11 and 13 of Ou's Table 1 into columns 3 and 4 of ''our'' table; in our table, the "analytic" subscript has been dropped from the column headings.</li> | |||
<li>The value of the equilibrium configuration's vorticity, <math>~\zeta</math> — see column 5 of our table — has been determined from the expression,<br /><table border="0" align="center"><tr><td align="center"><math>~\zeta = - \biggl[ \frac{1 + (b/a)^2}{b/a} \biggr] \lambda \, .</math></td></tr></table></li> | |||
<li>Column 6 of our table lists the value of the frequency ratio, <math>~f \equiv \zeta/\omega</math>. | |||
</ul> | |||
<li>Properties of ''Adjoint Configurations'' [in order to distinguish from ''Direct'' configuration properties, a superscript † has been attached to each parameter name] …</li> | |||
<ul> | |||
<li>As listed in column 7 of our Table, the "spin" angular velocity of the ''adjoint'' equilibrium configuration has been determined from the vorticity of the ''direct'' configuration via the relation, <br /><table border="0" align="center"><tr><td align="center"><math>~\omega^\dagger = \zeta \biggl[\frac{b/a}{1 + (b/a)^2}\biggr] \, .</math></td></tr></table></li> | |||
<li>As listed in column 10 of our Table, the ratio <math>~(f^\dagger)</math> of the vorticity to the angular velocity in the ''adjoint'' equilibrium configuration has been determined from the same ratio <math>~(f)</math> in the ''direct'' configuration via the relation, <br /><table border="0" align="center"><tr><td align="center"><math>~f^\dagger = \frac{1}{f} \biggl\{ \frac{[1 + (b/a)^2]^2}{(b/a)^2} \biggr\} \, .</math></td></tr></table></li> | |||
<li>As indicated, the value of the vorticity in the ''adjoint'' equilibrium configuration (column 9 of our table) has been determined from a product of <math>~\omega^\dagger</math> and <math>~f^\dagger</math>.</li> | |||
<li>As listed in column 8 of our table, the value of the parameter, <math>~\lambda^\dagger</math>, has been determined from the vorticity in the ''adjoint'' equilibrium configuration via the relation, <br /><table border="0" align="center"><tr><td align="center"><math>~\lambda^\dagger = -~ \zeta^\dagger \biggl[ \frac{b}{a} + \frac{a}{b}\biggr]^{-1} \, .</math></td></tr></table></li> | |||
</ul> | |||
</ul> | |||
<table border="1" align="center" cellpadding="8" width="90%"> | |||
<tr> | |||
<td align="center" colspan="10"> | |||
<b>Table 1: Example Riemann S-type Ellipsoids</b><br /> | |||
[Cells with a pink background contain numbers copied directly from Table 1 of {{ Ou2006 }}]<br /> | |||
[Cells with a yellow background contain numbers drawn from Table IV (p. 103) of EFE] | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="center" rowspan="2"><math>~\frac{b}{a}</math></td> | |||
<td align="center" rowspan="2"><math>~\frac{c}{a}</math></td> | <td align="center" rowspan="2"><math>~\frac{c}{a}</math></td> | ||
<td align="center" rowspan="1" colspan="4"> | <td align="center" rowspan="1" colspan="4"> | ||
| Line 1,990: | Line 3,354: | ||
</tr> | </tr> | ||
</table> | </table> | ||
<div id="SAdata"> | |||
<table border="1" align="center" cellpadding="10"> | |||
<tr> | |||
<td align="center">Self-Adjoint Sequences<br /><b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>, §48, p. 142, Table VI<br />Also, Howard Cohl's [[Appendix/Ramblings/ForCohlHoward#HowardHighResolution|High-Resolution Analysis]]</td> | |||
</tr> | |||
<tr><td align="center"> | |||
<pre> | |||
c/a for Upper (x = - 1) Sequence c/a for Lower (x = + 1) Sequence | |||
b/a (EFE) (20-digit accuracy) (EFE) (20-digit accuracy) | |||
0.00 0.00000 0.00000000000000000000 0.00000 0.000000000000000000000 | |||
0.04 --- 0.04812224688754297818 --- 0.032492366749482199925 | |||
0.08 0.10361 0.10361306225462674898 0.057817 0.057816723024001224133 | |||
0.12 0.16154 0.16153789497880627606 0.079299 0.079298698625164323530 | |||
0.16 0.21970 0.21969876513711574739 0.098178 0.098178582821665570336 | |||
0.20 0.27691 0.27691183106981782343 0.11513 0.11512631936916250684 | |||
0.24 0.33250 0.33250375904983621093 0.13056 0.13056017471495792387 | |||
0.28 0.38609 0.38608942382754657558 0.14476 0.14476444864794971656 | |||
0.32 0.43746 0.43745820820586512706 0.15794 0.15794374720008968932 | |||
0.36 0.48651 0.48651009591845463512 0.17025 0.17025155740243264509 | |||
0.40 0.53322 0.53321717007090044978 0.18181 0.18180672031800805031 | |||
0.44 0.57760 0.57759916496531807675 0.19270 0.19270358265482766408 | |||
0.48 0.61971 0.61970731624526462073 0.20302 0.20301858308989486955 | |||
0.52 0.65961 0.65961338021128620371 0.21281 0.21281470455368433422 | |||
0.56 0.69740 0.69740201597965416041 0.22214 0.22214458680677346510 | |||
0.60 0.73316 0.73316543250962834935 0.23105 0.23105276438034978438 | |||
0.64 0.76700 0.76699960292399202953 0.23958 0.23957731445406474795 | |||
0.68 0.79900 0.79900158609578752317 0.24775 0.24775109537636838357 | |||
0.72 0.82927 0.82926764261302051281 0.25560 0.25560269426540122707 | |||
0.76 0.85789 0.85789192689326638880 0.26316 0.26315716347079152387 | |||
0.80 0.88497 0.88496560014936540261 0.27044 0.27043660093734799732 | |||
0.84 0.91058 0.91057625192549140531 0.27746 0.27746061325324716171 | |||
0.88 0.93481 0.93480754802412975193 0.28425 0.28424668922671777898 | |||
0.92 0.95774 0.95773904411679071746 0.29081 0.29081050432029451542 | |||
0.96 0.97945 0.97944611989047804643 0.29714 0.29716617101118183175 | |||
1.00 1.00000 1.00000000000000000000 0.30333 0.30332644640104007578 | |||
</pre> | |||
</td></tr></table> | |||
</div> | |||
=Feeding a 3D Animation= | =Feeding a 3D Animation= | ||
Latest revision as of 18:43, 10 May 2023
Riemann S-Type Ellipsoids
| Riemann S-Type Ellipsoids |
|---|
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:
|
|
|
|
|
|
|
|
|
|
|
|
where, and are incomplete elliptic integrals of the first and second kind, respectively, with arguments,
|
|
and |
|
| [ EFE, Chapter 3, §17, Eq. (32) ] | ||
| TEST (part 1) Notation: Use in place of . |
||||||||||
| Numerical Recipes | ||||||||||
| (deg) | (rad) | (deg) | (rad) | |||||||
| 0.9 | 0.641 | 50.13357253 | 0.874995907 | 32.53852919 | 0.567904468 | 0.909025949 | 0.843118048 | 0.521450273 | 0.595131012 | 0.883418715 |
| (January, 2022) Howard Cohl's Mathematica evaluation with 20-digit precision | 0.52145 02732 81618 28861 | 0.59513 10119 32875 42194 | 0.88341 87147 85506 28946 | |||||||
Equilibrium Conditions for Riemann S-type Ellipsoids
We begin this section by quoting from the first paragraph in §II, p. 892 of 📚 S. Chandrasekhar (1965, ApJ, Vol. 142, pp. 890 - 961) — referred to in [EFE] as Publication XXV. "The problem that is to be considered … is that of a homogeneous mass, rotating uniformly with an angular velocity , with internal motions having a uniform vorticity in the direction of and in the frame of reference rotating with the angular velocity ." As did Chandrasekhar, we will find it useful to refer to the ratio of these highlighted frequencies as the key model parameter,
|
|
|
|
📚 Chandrasekhar (1965; XXV), p. 892, §II, Eq. (15)
[ EFE, §48, Eq. (31) ]
When relating our discussion to previous works, it also will be useful to recognize that the dimensionless frequency, , is related to the magnitude of the vorticity via the relation,
|
|
|
|
📚 Lebovitz & Lifschitz (1996), p. 700, §2, immediately following Eq. (1)
📚 Ou (2006), p. 551, §2, Eq. (17)
Based on Virial Equilibrium
Pulling from Chapter 7 — specifically, §48 — of [EFE], we understand that the semi-axis ratios, associated with Riemann S-type ellipsoids are given by the roots of the equation,
|
|
|
|
| [ EFE, §48, Eq. (34) ] | ||
and the associated value of the square of the equilibrium configuration's angular velocity is,
|
|
|
|
| [ EFE, §48, Eq. (33) ] | ||
where,
|
|
|
|
| [ EFE, §21, Eq. (107) ] | ||
|
|
|
|
| [ EFE, §21, Eq. (105) ] See also the note immediately following §21, Eq. (127) | ||
|
In a subsection of a separate chapter, we show in detail how the above set of equilibrium conditions arises from the,
| ||||||
(Notice that if we set , this pair of expressions simplifies to the pair we have provided in a separate discussion of the equilibrium conditions for Jacobi ellipsoids.) Following Chandrasekhar's lead and eliminating between these two expressions, we obtain,
|
|
|
|
| [ EFE, §48, Eq. (35) ] | ||
For a given , this last expression determines the ratios of the axes of the ellipsoids that are compatible with equilibrium; and the value of , that is to be associated with a particular solution of this last expression, then follows from either one of the first two expressions. For convenience of evaluation and for greater clarity, let's rewrite this last (quadratic) equation in the form,
|
|
|
|
| TEST (part 2) | ||||||
| 0.9 | 0.641 | 0.387793362 | 0.207337649 | 0.247245200 | 3.797483556 | 3.818580687 |
| 0.38779 33613 22405 96490 | 0.20733 7650610469 45704 | (January, 2022) Howard Cohl's Mathematica evaluation with 20-digit precision | ||||
The pair of solutions is,
|
|
|
|
and the corresponding values of the angular velocity (in units of [G ρ]½) are provided by the expression,
|
|
|
|
As an aid in determining both values of the parameter, , we note as well that,
|
|
|
|
| TEST (part 2.1) | |||||||||||||||||||||||||||||||||||||||||||||||
| EFE Derivation | |||||||||||||||||||||||||||||||||||||||||||||||
| -0.268009 | 0.638310 | -0.1710727 | -0.133264 | 0.0850638 | -15.09117 | 0.0850638 | -1.28371 | -7.50390 | 0.638310 | ||||||||||||||||||||||||||||||||||||||
| Adjoint | |||||||||||||||||||||||||||||||||||||||||||||||
| -15.09117 | 0.085064 | -1.28371 | -7.50390 | 0.638310 | |||||||||||||||||||||||||||||||||||||||||||
|
Given the choice of FILL OUT THIS TABLE AS FOLLOWS:
|
|||||||||||||||||||||||||||||||||||||||||||||||
NOTE: The model that has been identified as the "negative" solution, , of the governing quadratic relation is precisely synonymous with the model that has been identified as the "adjoint" of the "positive" solution, . It should come as no surprise that the model labeled as is the model labeled as .
|
Essentially this same derivation can be found in §2 of 📚 Lebovitz & Lifschitz (1996), hereafter LL96 — see also our chapter discussion of this work. But instead of seeking solutions that are expressed in terms of the model-parameter pair , and the ratio, , it should be recognized that LL96 use,
So, the frequency ratio that LL96 define immediately preceding their Eq. (5),
[For the example, , parameter values: ].
When rewritten in terms of , the above-derived quadratic equation for , namely,
becomes,
where,
[For the example, , we find, .]
| |||||||||||||||||||||||||||||||||
Based on Detailed Force Balance
The Steady-State Condition
As has been pointed out in our introductory discussion of the Principal Governing Equations, quite generally we can write the
Eulerian Representation
of the Euler Equation
as viewed from a Rotating Reference Frame
where, specifies the time-invariant rotation frequency of the frame and the orientation of the vector about which the frame spins. The condition for detailed force balance in a steady-state configuration is obtained by setting . If we furthermore make the substitution, , where is enthalpy — an equation of state relation that is appropriate for a barytropic system — we obtain,
Adopted Velocity Flow-Field
As 📚 Ou (2006) has pointed out [text that is taken directly from that publication appears here in an orange-colored font], the velocity field of a Riemann S-type ellipsoid as viewed from a frame rotating with angular velocity takes the following form:
|
|
|
|
📚 Lebovitz & Lifschitz (1996), p. 700, §2, Eq. (1)
📚 Ou (2006), p. 550, §2, Eq. (3)
where is a constant that determines the magnitude of the internal motion of the fluid, and the origin of the x-y coordinate system is at the center of the ellipsoid. This velocity field is designed so that velocity vectors everywhere are always aligned with elliptical stream lines by demanding that they be tangent to the equi-effective-potential contours, which are concentric ellipses.
|
Plugging Ou's expression for into the expression on the left-hand side of the steady-state Euler equation, we see that for Riemann S-type ellipsoids,
Alternatively, from a separate discussion of vector identities we realize that,
where, is the fluid vorticity. Plugging in Ou's expression for , we find that …
Hence, we again appreciate that, for Riemann S-type ellipsoids,
| ||||||||||||||||||||||||||
The steady-state Euler-equation specification therefore becomes,
Hence, within the configuration the following Bernoulli's function must be uniform in space:
where is a constant. It is customary to define an effective potential which is the sum of the gravitational potential and the system's centrifugal potential (as viewed from the rotating frame), namely,
in which case the statement of detailed force balance in Riemann S-type ellipsoids can be rewritten in the following deceptively simpler form:
Evaluation of the Gravitational Potential
Drawing from a separate discussion of the gravitational potential of homogeneous ellipsoids, we see that for Riemann S-type ellipsoids,
where, the normalization constant,
|
|
|
Implied Parameter Values
So, at the surface of the ellipsoid (where the enthalpy H = 0) on each of its three principal axes, the equilibrium conditions demanded by the expression for detailed force balance become, respectively:
- On the x-axis, where (x, y, z) = (a, 0, 0):
- On the y-axis, where (x, y, z) = (0, b, 0):
- On the z-axis, where (x, y, z) = (0, 0, c):
Using the result from "III" to replace the left-hand side of both relation "I" and relation "II", we find that,
|
|
|
|
and,
|
|
|
|
Multiplying the first of these two expressions by then subtracting it from the second gives,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Alternatively, just subtracting the first expression from the second gives,
|
|
|
|
|
|
|
|
|
|
|
|
We can eliminate between these last two expressions as follows: From the first of the two, we have
|
|
|
|
Hence, the second gives,
|
|
|
|
|
|
|
|
|
|
|
|
This is a quadratic equation whose solution gives and, in turn, . Specifically for Direct configurations, we find that,
where,
|
|
|
and, |
|
|
|
|
| TEST (part 3) | ||||||||||
| 0.9 | 0.641 | 0.521450273 | 0.595131012 | 0.883418715 | 0.414682903 | 0.054301271 | 0.407446048 | 0.007236855 | 1.131383892 | 0.150782130 |
The numerical values listed in the last two columns of this "part 3" test match the values listed above in "part 2" of our test for, respectively, and .
Relate EFE to Ou (2006)
As we have already acknowledged, according to Ou (2006), at any coordinate position inside or on the surface of the ellipsoid, , the three components of the velocity as viewed from a frame of rotation that is spinning at the equilibrium configuration's frequency, , are,
|
|
|
|
where, is an overall scale factor. But, according to §48 of EFE, we see that,
|
|
|
|
📚 Chandrasekhar (1965; XXV), p. 892, §II, Eq. (9)
where,
|
|
|
|
and, |
|
|
|
📚 Chandrasekhar (1965; XXV), p. 892, §II, Eq. (10)
and is the scalar magnitude of the vorticity vector, . The transformation from EFE's notation to the one used by Ou is, then,
|
|
|
|
and, |
|
|
|
|
|
|
|
which, gratifyingly agrees with Eq. (17) in 📚 Ou (2006). It is worth noting as well that, when viewed from the inertial reference frame, the velocity field is,
|
|
|
|
📚 Chandrasekhar (1965; XXV), p. 892, §II, Eq. (13)
Broken down into its Cartesian components, this is
|
|
|
|
|
|
|
|
|
|
|
|
📚 Chandrasekhar (1965; XXV), p. 892, §II, Eq. (14)
Summary
It is often useful to discuss the properties of Riemann S-type ellipsoids in the context of what we will refer to as the traditional "EFE Diagram" — a two-dimensional parameter space defined by the axis ratio ranges, 0 ≤ b/a ≤ 1 and 0 ≤ c/a ≤ 1. It is useful to appreciate at the outset, for example, that Riemann S-type ellipsoids only populate a subset of the EFE Diagram's entire parameter space. More specifically, they all lie between or on the two (self-adjoint) curves marked "X = -1" and "X = +1" in the EFE Diagram that is shown here, on the right. Keeping this in mind, we summarize here a sequence of steps that should be taken in order to construct and thereby quantitatively detail all of the physical properties that are associated with any Riemann S-type ellipsoid that lies in this allowed region of the EFE Diagram.
| Figure 1 |
|
|
| Caption: See Figure 2, below |
- Specify numerical values for any two of the three key parameters: . The value of the third (unspecified) parameter can then be found by determining the root(s) of the virial-equilibrium-based expression,
[ EFE, §48, Eq. (35) ] - If you specified the values of and , then values of the three parameters, — as well as the related parameters, — can be immediately determined from the above general coefficient expressions and related relations as long as you have an algorithm that can be used to evaluate incomplete elliptic integrals of the first and second kind. The governing virial-equilibrium-based expression then becomes a quadratic equation whose pair of roots give two physically viable values of the parameter, ; we will refer to them as and
NOTE: If the chosen pair of axis ratios places your configuration above the Jacobi/Dedekind sequence in the familiar "EFE Diagram," then the parameter, , will invariably be negative; if it is below the Jacobi/Dedekind sequence, will invariably be positive.
NOTE as well: This is the method that we have used, below, in order to replicate various equilibrium configurations that have been studied by Ou (2006). - If, instead, you specified the value of and (only) one of the ellipsoid's axis ratios, then an iterative numerical scheme — such as a Newton Raphson method — will need to be used in order to determine a physically viable (real) root of this nonlinear, virial-equilibrium-based expression. This root will provide the value of the equilibrium ellipsoid's other axis ratio.
NOTE: The Jacobi/Dedelind sequence is determined in this manner by setting , then determining what value of the c/a axis ratio is consistent with various selected values of 0 < b/a ≤ 1. - If, as in step 1.B, only one value of the parameter, , is known, the other relevant value may be obtained from the relation,
In either case, if the model will be referred to as being a Jacobi-like — or, Direct — configuration because the magnitude of the configuration's spin frequency, , is larger than the magnitude of the frequency, , that characterizes internal motions (vorticity). On the other hand, if the model will be referred to as being a Dedekind-like — or, Adjoint — configuration because the internal motions dominate.
NOTE: A so-called self-adjoint model sequence will arise when for all values of the axis ratio, 0 < b/a ≤ 1. There are two such sequences, namely, when — this is the curve labeled, "X =+1" in the EFE Diagram shown here on the right — or when — this is the curve labeled, "X = - 1. In the familiar EFE diagram, these curves intersect the Maclaurin sequence (where, b/a = 1) when, respectively, and .
- If you specified the values of and , then values of the three parameters, — as well as the related parameters, — can be immediately determined from the above general coefficient expressions and related relations as long as you have an algorithm that can be used to evaluate incomplete elliptic integrals of the first and second kind. The governing virial-equilibrium-based expression then becomes a quadratic equation whose pair of roots give two physically viable values of the parameter, ; we will refer to them as and
-
Once a consistently specified set of parameters, and , is known, the configuration's spin frequency may be straightforwardly obtained from another virial-equilibrium-based expression, namely,
[ EFE, §48, Eq. (33) ] -
Once a consistently specified pair of parameters, and , is known, the configuration's vorticity can immediately be determined via the expression,
where,
-
At every location inside a Riemann S-type ellipsoid, the fluid vorticity must be related to the underlying velocity field via the expression, . In order for the vorticity to be uniform throughout the configuration — everywhere being represented by the vector, — we realize that the velocity field is properly described by the expression,
where, 📚 Lebovitz & Lifschitz (1996), p. 700, §2, Eq. (1)
📚 Lebovitz & Lifschitz (1996b), p. 930, §3, Eqs. (3.1) & (3.2)
📚 Ou (2006), p. 550, §2, Eqs. (3) & (17)
Maclaurin Spheroid Limit
Basic Relations
Expressions Supplied by EFE
In Chapter 7, §48(b) (pp. 137 - 138) of [EFE] , Chandrasekhar shows that "… a stable Maclaurin spheroid can be considered as a limiting form of a [S-type] Riemann ellipsoid." First, we recall that, as viewed from the inertial frame, each Maclaurin spheroid of eccentricity, , rotates uniformly with angular velocity,
|
|
||
|
[EFE], §32, pp. 77-78, Eqs. (4) & (6) |
||
Given the specified value of the semi-axis ratio, , the properties of the limiting S-type Riemann ellipsoid are given by the expressions,
|
|
|
|
| [EFE], Chapter 7, §48(b), p. 137, Eq. (60) | ||
and,
|
|
|
|
|
|
|
|
| [EFE], Chapter 7, §48(b), p. 137, Eqs. (58) & (61) | ||
where,
|
|
|
|
| [EFE], Chapter 3, §21, Eq. (105) | ||
Evaluating A11
As has been stated in a separate derivation, quite generally,
|
|
|
|
Now, in the case of Maclaurin spheroids, , so this integral expression becomes,
|
|
|
|
where, Before applying the limits, carrying out the integration gives,
|
|
|
|
|
[CRC] chapter on INTEGRALS, p. 408, Eq. (154) |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
[CRC] chapter on INTEGRALS, p. 407, Eq. (148) |
||
|
|
|
|
Applying the limits then gives,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Derivation Check
At the top of p. 141 (§48) of [EFE] — see also Table VI on p. 142 — Chandrasekhar emphasizes that the point at which the self-adjoint (S-type) Riemann ellipsoid intersects the Maclaurin spheroid has . As Table I (p. 78) records, the Maclaurin spheroid having this eccentricity has At this point, therefore,
|
|
|
|
| [EFE], Chapter 7, §48(c), Eq. (141) | ||
Note as well that, from the above expression for (ζ3)2, we have,
|
|
|
|
|
|
|
|
as it should be.
For this same value of the eccentricity, we recognize as well that, . Therefore, drawing from the above expression for B11, we also deduce that,
|
|
|
|
| [EFE], Chapter 3, §21, Eq. (105) | ||
Hooray!! This matches the numerical value of determined above for . So it seems reasonable to conclude that the general expression, itself, is correct.
Frequency Ratio
Determination and Plot
Given that, for all Maclaurin spheroids,
|
|
|
|
|
|
|
|
|
[EFE], §17, p. 43, Eq. (36) |
||
we conclude that along the entire Maclaurin spheroid sequence, the index symbol,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
We can therefore write,
|
|
|
|
and, |
|
|
|
where,
|
|
|
|
REMINDER: For a given choice of the eccentricity, there are two viable solutions … the direct configuration and its adjoint. In the context of Riemann S-type ellipsoids (i.e., here), this pair of solutions arises from the choice of the sign in the expression for ; in the context of Type I Riemann ellipsoids, the pair arises from the choice of the sign in the STEP #3 determination of and . In both physical contexts, the direct (Jacobi-like) solution results from selecting the inferior sign while the adjoint (Dedekind-like) solution results from selecting the superior sign.
|
Figure 1: Parameter Variations Along the Maclaurin Spheroid Sequence |
|
|
|
|
| Analogous to Figure 5 from §32, p. 79 of [EFE]; shows how the square of the normalized rotation frequency varies with eccentricity, along the (black-dotted) Maclaurin sequence and along the Jacobi sequence (series of purple circular markers). |
Each Riemann S-type ellipsoid sequence — uniquely identified by its frequency ratio, — intersects the Maclaurin spheroid sequence at a specific value of the meridional-plane eccentricity, Analogous to Figure 12 from §48, p. 139 of [EFE], this plot displays how varies with along the Maclaurin spheroid sequence; for a given , the solid black curve is associated with the direct configuration while the dashed orange curve is associated with the adjoint configuration. The circular, solid-purple marker identifies the point where the Jacobi sequence bifurcates from the Maclaurin spheroid sequence; bifurcation to the Dedekind sequence is not displayed here because its frequency ratio is off scale. The square, solid-green markers identify the location of the pair of models (direct/adjoint) for which is maximum (see the square, solid-green marker in the left-hand panel). The circular, solid-orange marker identifies the (degenerate) pair of models where the "" sequence bifurcates from the Maclaurin spheroid sequence. |
|
Drawing from one of our mathematics appendices, we know that when ,
|
| Table: Key Values Along the Limiting Maclaurin Spheroid Sequence | ||||||||||||
| Model | e | Direct | Adjoint | |||||||||
| Nonrotating Sphere & "" Bifurcation |
0.00000 | 0.00000 | Note: (a) |
Note: (a) |
Note: (a) |
Note: (a) |
||||||
| Jacobi/Dedekind Bifurcation | 0.81267 Note: (b) |
0.37423 Note: (b) |
Note: (c) |
Note: (c) |
Note: (c) |
Note: (c) |
Note: (c) |
Note: (c) |
Note: (c) |
|||
| "" Bifurcation | 0.952886702 | 0.440219895 | Note: (d) |
Note: (d) |
Note: (d) |
Note: (d) |
Note: (d) |
|||||
|
Notes: |
||||||||||||
Models Examined by Ou (2006)
In §2 of 📚 Ou (2006), immediately after equation (6), we find the following declaration: In direct configurations, ω > λ so the fluid motion is dominated by figure rotation; conversely, in an adjoint configuration, ω < λ so the fluid motion is dominated by internal motions.
His Tabulated Model Parameters
Table 1 (see below) lists a subset of the Riemann S-type ellipsoids that were studied by 📚 Ou (2006); properties of various so-called Direct configurations can be found in Ou's Table 1, while properties of various Adjoint configurations can be found in his Table 5. Each row of our Table 1 was constructed as follows:
- The pair of axis ratios associated with one of Ou's (2006) uniform-density, incompressible ellipsoid models (columns 1 and 2 from Ou's Table 1) has been copied into columns 1 and 2 of our table.
- Properties of Direct Configurations …
- The pair of parameter values that is required in order for this to be an equilibrium configuration — as specified by the above set of analytical expressions from EFE — is copied from, respectively, columns 11 and 13 of Ou's Table 1 into columns 3 and 4 of our table; in our table, the "analytic" subscript has been dropped from the column headings.
- The value of the equilibrium configuration's vorticity, — see column 5 of our table — has been determined from the expression,
- Column 6 of our table lists the value of the frequency ratio, .
- Properties of Adjoint Configurations [in order to distinguish from Direct configuration properties, a superscript † has been attached to each parameter name] …
- As listed in column 7 of our Table, the "spin" angular velocity of the adjoint equilibrium configuration has been determined from the vorticity of the direct configuration via the relation,
- As listed in column 10 of our Table, the ratio of the vorticity to the angular velocity in the adjoint equilibrium configuration has been determined from the same ratio in the direct configuration via the relation,
- As indicated, the value of the vorticity in the adjoint equilibrium configuration (column 9 of our table) has been determined from a product of and .
- As listed in column 8 of our table, the value of the parameter, , has been determined from the vorticity in the adjoint equilibrium configuration via the relation,
|
Table 1: Example Riemann S-type Ellipsoids |
|||||||||
|
Properties of |
Properties of |
||||||||
| (1) | (2) | (3) | (4) | (5) | (6) | (7) | (8) | (9) | (10) |
| 0.90 | 0.795 | 1.14704 | 0.43181 | -0.86842 | -0.75709 | -0.43181 | -1.14704 | +2.30682 | -5.3422 |
| 0.641 | 1.13137 | 0.15077 | - 0.30322 | - 0.26801 | - 0.15077 | -1.13137 | 2.27531 | - 15.0913 | |
| 0.590 | 1.10661 | 0.06406 | -0.12883 | -0.11642 | -0.06406 | -1.10661 | +2.22552 | -34.7411 | |
| 0.564 | 1.09034 | 0.02033 | -0.04089 | -0.03750 | -0.02033 | -1.09034 | +2.19279 | -107.86 | |
| 0.538 | 1.07148 | - 0.02324 | +0.04674 | +0.04362 | +0.02324 | - 1.07148 | +2.15487 | +92.722 | |
| 0.487 | 1.02639 | - 0.10880 | +0.21881 | +0.21318 | +0.10880 | -1.02639 | +2.06418 | +18.972 | |
| 0.333 | 0.79257 | - 0.39224 | +0.78884 | +0.99529 | +0.39224 | -0.79257 | +1.59395 | +4.06370 | |
| 0.28 | 0.256 | 0.80944 | 0.03668 | -0.14127 | -0.17453 | -0.03668 | -0.80944 | +3.11750 | -84.992 |
| 0.245083 | 0.796512a | 0.0 | 0.0 | 0.0 | 0.0 | … | … | ||
| 0.231 | 0.77651 | - 0.04714 | +0.18156 | +0.23381 | +0.04714 | -0.77651 | +2.99067 | +63.442 | |
| 0.205 | 0.72853 | - 0.13511 | +0.52037 | +0.71427 | +0.13511 | -0.72853 | +2.80588 | +20.7674 | |
|
aAccording to Table IV (p. 103) of [EFE], the square of the angular velocity of this Jacobi ellipsoid is, ; from this value, we find that, . |
|||||||||
Our Parameter Determinations
The parameter values that have been posted above in our Table 1 are typically given with five digits of precision. This is because, as explained, the values were determined from the analytically determined values, and , that were provided by 📚 Ou (2006) with only five digit accuracy. Our Table 2 (shown immediately below) provides values of this same set of model parameters to better than eleven digits accuracy. We calculated these parameter values by following the steps detailed in earlier subsections of this chapter and, as a foundation, using double-precision versions of Numerical Recipes algorithms to evaluate the special functions, and . As an example, the above pair of brief tables titled, TEST (part 1) and TEST (part 2) detail all of the intermediate steps that were used in order to determine the high-precision parameter values specifically for the model having the axis-ratio pair . This table of higher precision parameter values was primarily generated in order to convince ourselves that we understood from first principles how to accurately determine the properties of Riemann S-type ellipsoids; the lower-precision parameter values that we derived from Ou's work provided a handy means of cross-checking these "first principles" determinations.
In generating our Table 2, we wondered what the approriate signs were of the various model parameters — especially when part of our objective is to distinguish between direct and adjunct configurations. We took the following approach: First we decided that the spin frequency of every direct configuration should be positive. (Evidently, Ou made this same choice.)
|
Table 2: Example Riemann S-type Ellipsoids (double-precision evaluation) |
|||||||||
|
Properties of |
Properties of |
||||||||
| (1) | (2) | (3) | (4) | (5) | (6) | (7) | (8) | (9) | (10) |
| 0.90 | 0.795 | +1.147036091720 | +0.431809451699 | -0.868416786194 | -0.757096320116 | -0.431809460593 | -1.147036104571 | +2.306817054749 | -5.342210487323 |
| 0.641 | +1.131374738327 | +0.150771621841 | -0.303218483925 | -0.268008886644 | -0.150771621877 | -1.131374730590 | +2.275320291519 | -15.091170863305 | |
| 0.590 | +1.106612583610 | +0.064060198174 | -0.128832176328 | -0.116420305902 | -0.064060197762 | -1.106612576964 | +2.225520849228 | -34.741086358509 | |
| 0.564 | +1.090339840378 | +0.020334563779 | -0.040895067155 | -0.037506716440 | -0.020334563809 | -1.090339837153 | +2.192794561386 | -107.8358300897 | |
| 0.538 | +1.071485625744 | -0.023236834336 | +0.046731855720 | +0.043614077664 | +0.023236835120 | -1.071485656401 | +2.154876708984 | +92.735376233270 | |
| 0.487 | +1.026387311947 | -0.108799837242 | +0.218808561563 | +0.213183225210 | +0.108799835209 | -1.026387320039 | +2.064178943634 | +18.972261524065 | |
| 0.333 | +0.792566980901 | -0.392440787995 | +0.789242029190 | +0.995804846843 | +0.392440793882 | -0.792566979129 | +1.593940258026 | +4.061606964516 | |
| 0.74 | 0.692 | +1.132148956838 | +0.385991660900 | -0.807244181633 | -0.713019398562 | -0.385991654519 | -1.132148989537 | 2.367721319199 | -6.134125500116 |
| 0.41 | 0.385 | +0.971082162758 | +0.141593941719 | -0.403404593468 | -0.415417564427 | -0.141593939418 | -0.971082191477 | 2.766636848450 | -19.539231537777 |
| 0.333 | +0.929630138695 | +0.003311666790 | -0.009435019456 | -0.010149218281 | -0.003311666699 | -0.929630099681 | +2.648538827896 | -799.7601146950 | |
| 0.28 | 0.256 | +0.809436834686 | +0.036676037913 | -0.141255140305 | -0.174510396110 | -0.036676038521 | -0.809436833116 | +3.117488145828 | -85.000678306244 |
| 0.245083 | 0.796512a | 0.0 | 0.0 | 0.0 | 0.0 | … | … | ||
| 0.231 | +0.776514825339 | -0.047142035397 | +0.181564182043 | +0.233819345828 | +0.047142037070 | -0.776514835457 | +2.990691423416 | +63.440011724689 | |
| 0.205 | +0.728526018042 | -0.135108121071 | +0.520359277725 | +0.714263156392 | +0.135108125079 | -0.728526039364 | +2.805866003036 | +20.767558718483 | |
|
aAccording to Table IV (p. 103) of [EFE], the square of the angular velocity of this Jacobi ellipsoid is, ; from this value, we find that, . |
|||||||||
| Figure 2: EFE Diagram |
In the context of our broad discussion of ellipsoidal figures of equilibrium, the label "EFE Diagram" refers to a two-dimensional parameter space defined by the pair of axis ratios (b/a, c/a), usually covering the ranges, 0 ≤ b/a ≤ 1 and 0 ≤ c/a ≤ 1. The classic/original version of this diagram appears as Figure 2 on p. 902 of 📚 Chandrasekhar (1965; XXV); a somewhat less cluttered version appears on p. 147 of Chandrasekhar's [EFE]. The version of the EFE Diagram shown here, on the left, highlights four model sequences, all of which also can be found in the original version:
Riemann S-type ellipsoids all lie between or on the two (self-adjoint) curves marked "X = -1" and "X = +1" in the EFE Diagram. The yellow circular markers in the diagram shown here, on the left, identify four Riemann S-type ellipsoids that were examined by Ou (2006) and that we have also chosen to use as examples. |
|
|
| Self-Adjoint Sequences EFE, §48, p. 142, Table VI Also, Howard Cohl's High-Resolution Analysis |
c/a for Upper (x = - 1) Sequence c/a for Lower (x = + 1) Sequence
b/a (EFE) (20-digit accuracy) (EFE) (20-digit accuracy)
0.00 0.00000 0.00000000000000000000 0.00000 0.000000000000000000000
0.04 --- 0.04812224688754297818 --- 0.032492366749482199925
0.08 0.10361 0.10361306225462674898 0.057817 0.057816723024001224133
0.12 0.16154 0.16153789497880627606 0.079299 0.079298698625164323530
0.16 0.21970 0.21969876513711574739 0.098178 0.098178582821665570336
0.20 0.27691 0.27691183106981782343 0.11513 0.11512631936916250684
0.24 0.33250 0.33250375904983621093 0.13056 0.13056017471495792387
0.28 0.38609 0.38608942382754657558 0.14476 0.14476444864794971656
0.32 0.43746 0.43745820820586512706 0.15794 0.15794374720008968932
0.36 0.48651 0.48651009591845463512 0.17025 0.17025155740243264509
0.40 0.53322 0.53321717007090044978 0.18181 0.18180672031800805031
0.44 0.57760 0.57759916496531807675 0.19270 0.19270358265482766408
0.48 0.61971 0.61970731624526462073 0.20302 0.20301858308989486955
0.52 0.65961 0.65961338021128620371 0.21281 0.21281470455368433422
0.56 0.69740 0.69740201597965416041 0.22214 0.22214458680677346510
0.60 0.73316 0.73316543250962834935 0.23105 0.23105276438034978438
0.64 0.76700 0.76699960292399202953 0.23958 0.23957731445406474795
0.68 0.79900 0.79900158609578752317 0.24775 0.24775109537636838357
0.72 0.82927 0.82926764261302051281 0.25560 0.25560269426540122707
0.76 0.85789 0.85789192689326638880 0.26316 0.26315716347079152387
0.80 0.88497 0.88496560014936540261 0.27044 0.27043660093734799732
0.84 0.91058 0.91057625192549140531 0.27746 0.27746061325324716171
0.88 0.93481 0.93480754802412975193 0.28425 0.28424668922671777898
0.92 0.95774 0.95773904411679071746 0.29081 0.29081050432029451542
0.96 0.97945 0.97944611989047804643 0.29714 0.29716617101118183175
1.00 1.00000 1.00000000000000000000 0.30333 0.30332644640104007578
|
Feeding a 3D Animation
Initial Thoughts
Let's examine the elliptical trajectory of a Lagrangian particle that is moving in the equatorial plane of a Riemann S-Type ellipsoid. As viewed in a frame that is spinning about the Z-axis at angular frequency, , the trajectory is defined by,
|
|
|
|
where . (The surface of the relevant ellipsoid is associated with the value, .)
Let's choose a pair of axis ratios — for example, and — then, from Table 1 of our above discussion, draw the associated value of either or that corresponds to the Jacobi-like equilibrium configuration — in this example, and . Then, for any point inside of the ellipsoid, the fluid's velocity components (as viewed from the rotating frame of reference) are,
|
|
and, |
|
Alternatively, we have,
|
|
and, |
|
Now, each Lagrangian fluid element's motion is oscillatory in both the and coordinate directions. So let's see how this plays out. Suppose,
|
|
and, |
|
Then,
|
|
and, |
|
Hence our functional representation of the time-dependent behavior of both and works perfectly if, for each orbit inside of or on the surface of the configuration, we set and if the ratio . Hooray!
Preferred Normalizations
Let's do this again, assuming that and both have units of length and that has the unit of time. Then, let's use to normalize lengths and use to normalize time. We therefore have,
|
|
and, |
|
|
NOTE: When implementing in an xml-based COLLADA (3D animation) file, we associate with . Hence we can everywhere replace with (in radians) or (in degrees) .
|
Next, let's normalize the velocities such that and the total mass, , are both assumed to be the same in every examined Riemann ellipsoid. In particular, we will normalize to,
|
|
|
|
|
|
in which case we have,
|
|
and, |
|
Finally, setting, means,
|
|
and, |
|
Example Mach Surface
Let's try to plot the "Mach surface" for the example model, b41c385, referenced below. Its relevant parameter values are,
Hence, if we set a = 1 then we have,
| and | ||||||
Borrowing from an accompanying discussion, we have the following example data set.
| Direct | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| n | Axisymmetric | b41c385 | Surface | |V| = 0.1 | ||||||
| x0 | y0 | y = 0.41 × y0 | Vx | Vy | |V| | factor | x | y | ||
| 1 | 1.0000 | 0.0000 | 0.0000 | 0.0000 | -0.0606 | 0.0606 | --- | --- | --- | |
| 2 | 0.9921 | -0.1253 | -0.0514 | -0.0185 | -0.0601 | 0.0629 | --- | --- | --- | |
| 3 | 0.9686 | -0.2487 | -0.1020 | -0.0368 | -0.0587 | 0.0693 | --- | --- | --- | |
| 4 | 0.9298 | -0.3681 | -0.1509 | -0.0544 | -0.0563 | 0.0783 | --- | --- | --- | |
| 5 | 0.8763 | -0.4818 | -0.1975 | -0.0712 | -0.0531 | 0.0888 | --- | --- | --- | |
| 6 | 0.8090 | -0.5878 | -0.2410 | -0.0869 | -0.0490 | 0.0998 | 1.002 | 0.8090 | -0.2410 | |
| 7 | 0.7290 | -0.6845 | -0.2807 | -0.1012 | -0.0442 | 0.1104 | 0.9058 | 0.6603 | -0.2543 | |
| 8 | 0.6374 | -0.7705 | -0.3159 | -0.1139 | -0.0386 | 0.1203 | 0.8313 | 0.5298 | -0.2626 | |
| 9 | 0.5358 | -0.8443 | -0.3462 | -0.1248 | -0.0325 | 0.1290 | 0.7752 | 0.4153 | -0.2684 | |
| 10 | 0.4258 | -0.9048 | -0.3710 | -0.1337 | -0.0258 | 0.1362 | 0.7342 | 0.3126 | -0.2724 | |
| 11 | 0.3090 | -0.9511 | -0.3899 | -0.1406 | -0.0187 | 0.1418 | 0.7052 | 0.2179 | -0.2750 | |
| 12 | 0.1874 | -0.9823 | -0.4027 | -0.1452 | -0.0114 | 0.1456 | 0.6868 | 0.1287 | -0.2766 | |
| 13 | 0.0628 | -0.9980 | -0.4092 | -0.1475 | -0.0038 | 0.1476 | 0.6775 | 0.0425 | -0.2772 | |
In an accompanying discussion of axisymmetric configurations, we have recognized that, at any point inside the configuration, the square of the sound speed is given approximately by the enthalpy where,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Drawing from equation (7) of 📚 Ou (2006) and from a separate discussion of gravitational potential of homogeneous ellipsoids, we see that the effective potential is,
where,
|
|
|
|
Setting , let's use the test case from above — that is, (b/a, c/a) = (0.9, 0.641) — and see if we get the same value of the Bernoulli constant on the surface at each of the three principal axes. First, let's set x = y = 0 and z = c. In this case we find,
|
|
|
|
Next, let's set y = z = 0 and x = 1. In this case,
|
|
|
|
S-Type Ellipsoid Example b41c385
The EFE model that we chose to use in our first successful construction of a COLLADA-based, 3D and interactive animation had the following properties (model selected from the above table):
Figure 1 displays a pair of still-frame images of this (purple) ellipsoidal configuration after the ellipsoid has completed precisely five (counter-clockwise) spin cycles. (The snapshots have been taken at the same point in time, but from two different "camera" viewing angles.) The cycle of the "wall mounted" clock is based on the fundamental, EFE-adopted frequency of [π G ρ]½. In the left-hand image (labeled Figure 1a), the time on the clock appears to be about 9:08. This means that as the ellipsoid has completed five spin cycles, the clock has completed approximately [9 + 8/60] ≈ 9.13 cycles. In other words, the ratio (ellipsoid-to-clock) of these two frequencies is,
|
|
|
|
This matches the tabulated value of presented above. Now, let's examine the motion of an example Lagrangian fluid element, which has been marked in the 3D scene by a red "arrow" riding in the equatorial plane and along the surface of the (purple) ellipsoidal figure. At time zero, the fluid marker was placed at the end of the longest axis of the ellipsoid that was nearest the "wall clock"; then, as time progressed and the ellipsoidal figure turned counter-clockwise, the fluid marker moved clockwise and completed less than one full "orbit" in the same time that the ellipsoidal figure completed five full spin cycles. In the right-hand image (labeled Figure 1b), we can see that relative to the ellipsoidal figure, the fluid marker has moved through approximately three-quarters of its assigned elliptical "orbit"; let's say, 73% of one full cycle. This means that the ratio of the Lagrangian fluid element's orbital frequency to the frequency of the wall-clock is,
|
|
|
|
This matches the tabulated value of presented above.
See Also
- Discussion of Ou's Riemann-Like Ellipsoids
- Riemann Meets COLLADA & Oculus Rift S
- Virtual Reality and 3D Printing
- Success Importing Animated Scene into Oculus Rift S
- Carefully (Re)Build Riemann Type S Ellipsoids Inside Oculus Rift Environment: Example (b/a, c/a) = (0.41, 0.385)
- Other Example S-type Riemann Ellipsoids:
Chandrasekhar's Detailed Analysis
- Bernhard Riemann (1876) Gesammelte Mathematische Werke und Wissenschaftlicher, especially Chapter X (p. 168) titled (something along the following line), "A Contribution to Research on Rotating Ellipsoidal Fluids"
- S. Chandrasekhar (1965), ApJ, 142, 890 - 961. The Equilibrum and the Stability of the Riemann Ellipsoids. I. — This work is referenced as Paper XXV in EFE and focuses on S-type Riemann ellipsoids.
- S. Chandrasekhar (1966), ApJ, 145, 842 - 877. The Equilibrum and the Stability of the Riemann Ellipsoids. II. — This work is referenced as Paper XXVIII in EFE and focuses on Riemann ellipsoids of Types I, II and III.
Finite-Amplitude Oscillations
- L. F. Rossner (1967), ApJ, 149, 145. The Finite-Amplitude Oscillations of the Maclaurin Spheroids — This work is referenced as Paper XXXVIII in EFE.
- M. Fujimoto (1968), ApJ, 152, 523. Gravitational Collapse of Rotating Gaseous Ellipsoids
- T. T. Chia & S. Y. Pung (1995), Astrophysics and Space Science, 229, issue 2, 215 - 233. Effects of Variations of Parallel Angular Velocity and Vorticity on the Oscillations of Compressible Homogeneous Rotating Ellipsoids
- T. T. Chia & S. Y. Pung (1997), Astrophysics and Space Science, 254, 269 - 294. Dynamical Behaviour of Compressible Homogeneous Uniformly Rotating Ellipsoids with Nonparallel Angular Velocity and Vorticity
In the Context of Galaxy Disks
- C. Hunter (1970), ApJ, 162, 97 - 103. The Disklike Riemann Ellipsoids.
Other
Footnotes
- In EFE this equation is written in terms of a variable instead of as defined here. The two variables are related to one another straightforwardly through the expression, .
- Throughout EFE, Chandrasekhar adopts a sign convention for the scalar gravitational potential that is opposite to the sign convention being used here.
|
Appendices: | VisTrailsEquations | VisTrailsVariables | References | Ramblings | VisTrailsImages | myphys.lsu | ADS | |




