Editing Appendix/Ramblings/ForCohlHoward (section)

===Three Lowest-Order Expressions===
In our [[ThreeDimensionalConfigurations/HomogeneousEllipsoids#Derivation_of_Expressions_for_Ai|accompanying derivation of expressions]] for the three lowest-order index symbols <math>A_i</math>, we have used subscripts <math>(\ell, m, s)</math> instead of <math>(1, 2, 3)</math> in order to identify which associated semi-axis length is (largest, medium-length, smallest).  We have derived the following expressions:

<table border="1" align="center" cellpadding="8"><tr><td align="left">
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\frac{A_\ell}{a_\ell a_m a_s}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{2}{a_\ell^3 ~p^2 \sin^3\alpha} 
\biggl[ F(\alpha, p) - E(\alpha, p) \biggr] \, ;
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>\frac{A_m}{a_\ell a_m a_s} </math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{ 2}{a_\ell^3 }
\biggl[ \frac{
E(\alpha, p) 
-~(1-p^2)
F(\alpha, p)
-~(a_s/a_m)p^2\sin\alpha}{p^2 (1-p^2)\sin^3\alpha}
\biggr] \, ;
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>\frac{A_s}{a_\ell a_m a_s}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{ 2}{a_\ell^3 }
\biggl[\frac{
(a_m/a_s) \sin\alpha
- E(\alpha, p)}{ (1-p^2) \sin^3\alpha } 
\biggr] \, .
</math>
  </td>
</tr>

</table>

</td></tr></table>

The corresponding expressions that appear in Howard's Mathematica notebook are:

<table border="1" align="center" cellpadding="8"><tr><td align="left">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>A_1</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{2a_2 a_3}{a_1^2 m \sin^3(\phi) } \biggl[
\mathrm{EllipticF}[\phi, m] - \mathrm{EllipticE}[\phi, m] 
\biggr]
\, ;
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>A_2</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{2a_2 a_3}{a_1^2 m(1-m) \sin^3(\phi) } \biggl[
\mathrm{EllipticE}[\phi, m] - \cos^2\theta \cdot \mathrm{EllipticF}[\phi, m] - \frac{a_3}{a_2}\cdot\sin^2\theta \sin\phi
\biggr]
\, ;
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>A_3</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{2a_2 a_3}{a_1^2 (1-m) \sin^3(\phi) } \biggl[
\frac{a_2}{a_3}\cdot \sin(\phi) - \mathrm{EllipticE}[\phi, m] 
\biggr]
\, .
</math>
  </td>
</tr>
</table>
</td></tr></table>
With a little study it should be clear that our derived expressions for <math>A_i</math> precisely match Howard's Mathematica-notebook expressions when <math>\ell = 1</math>, <math>m = 2</math>, and <math>s = 3</math>, that is, in all cases for which <math>a_1 > a_2 > a_3</math>.  But there will be models to consider (for example, in the uppermost region of the so-called [[ThreeDimensionalConfigurations/Stability/RiemannEllipsoids#Background|"horn-shaped" region for S-Type Riemann Ellipsoids]]) for which <math>a_1 > a_3 > a_2</math>, in which case care must be taken in assigning the proper expressions to <math>A_2</math> and <math>A_3</math>.  Similarly note that most of the Riemann models of [[ThreeDimensionalConfigurations/RiemannTypeI#Riemann_Type_1_Ellipsoids|Type I]], II, and III &#8212; see, for example, Figure 16 (p. 161) in Chapter 7 of [<b>[[Appendix/References#EFE|<font color="red">EFE</font>]]</b>] &#8212; have either <math>a_2 > a_1</math> or <math>a_3 > a_1</math>.