Editing SSC/Structure/StahlerMassRadius

__FORCETOC__

=Stahler's Mass-Radius Relationship for Embedded Polytropes=

==Review==
In [[SSC/Structure/PolytropesEmbedded#Embedded_Polytropic_Spheres|an accompanying chapter]] that discusses detailed force-balanced models of embedded (and pressure-truncated) polytropes, we have summarized the derivation by {{ Stahler83full }} of the pair of parametric [[SSC/Structure/PolytropesEmbedded#Stahler.27s_Presentation|relations for the equilibrium mass and equilibrium radius]] for such systems, namely,
<div align="center">
<table border="0" cellpadding="3">

<tr>
  <td align="right">
<math>
M
</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
M_\mathrm{SWS} \biggl( \frac{n^3}{4\pi} \biggr)^{1/2} \biggl\{ \theta_n^{(n-3)/2} \xi^2 
\biggl| \frac{d\theta_n}{d\xi} \biggr| \biggr\}_{\xi_e}
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>
R_\mathrm{eq}
</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
R_\mathrm{SWS} \biggl( \frac{n}{4\pi} \biggr)^{1/2} \biggl\{ \xi \theta_n^{(n-1)/2} \biggr\}_{\xi_e}
</math>
  </td>
</tr>
</table>
</div>
where,
<div align="center">
<math>M_\mathrm{SWS} = 
\biggl( \frac{n+1}{nG} \biggr)^{3/2} K_n^{2n/(n+1)} P_\mathrm{e}^{(3-n)/[2(n+1)]} \, ,</math>
</div>
<div align="center">
<math>
R_\mathrm{SWS} = \biggl( \frac{n+1}{nG} \biggr)^{1/2} K_n^{n/(n+1)} P_\mathrm{e}^{(1-n)/[2(n+1)]} \, .
</math>
</div>

As [[SSC/Structure/PolytropesEmbedded/n5#Overlap_with_Stahler's_Presentation|we also have reviewed]], {{ Stahler83 }} &#8212; hereafter, {{ Stahler83hereafter }} &#8212; also explicitly states (see his equation B13) that [[SSC/Structure/PolytropesEmbedded#Overlap_with_Stahler.27s_Presentation_2|the relevant mass-radius relationship]] for <math>~n = 5</math> embedded polytropes is,
<div align="center">
<table border="0" cellpadding="3">
<tr>
  <td align="right">
<math>
\biggl( \frac{M}{M_\mathrm{SWS}} \biggr)^2 - 5 \biggl( \frac{M}{M_\mathrm{SWS}} \biggr)\biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)
+ \frac{20\pi}{3} \biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)^4
</math>
  </td>
  <td align="center">
<math>~=~</math>
  </td>
  <td align="left">
<math>
~0 \, .
</math>
  </td>
</tr>
</table>
</div>

In what was intended to be a complementary discussion, our [[SSC/Virial/Polytropes#Nonrotating_Adiabatic_Configuration_Embedded_in_an_External_Medium|free-energy analysis of embedded polytropes]] produced a virial equilibrium expression of the general form,
<div align="center">
<math>
\mathcal{A} - \mathcal{B}\chi_\mathrm{eq}^{4 -3\gamma_g}  +~ \mathcal{D}\chi_\mathrm{eq}^4 = 0 \, ,
</math>
</div>
where,
<div align="center">
<table border="0" cellpadding="5">
<tr>
  <td align="right">
<math>~\chi_\mathrm{eq}</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>\frac{R_\mathrm{eq}}{R_\mathrm{norm}} 
\, ,</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\mathcal{A}</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>\frac{1}{5} \cdot \biggl[ \biggl( \frac{M_\mathrm{limit}}{M_\mathrm{tot}} \biggr) 
\frac{1}{\tilde\mathfrak{f}_M} \biggr]^2 \cdot \tilde\mathfrak{f}_W \, ,</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\mathcal{B}</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>
\frac{4\pi}{3} 
\biggl[ \frac{3}{4\pi} \biggl( \frac{M_\mathrm{limit}}{M_\mathrm{tot}}\biggr)  \frac{1}{\tilde\mathfrak{f}_M} \biggr]_\mathrm{eq}^{\gamma}
\cdot \tilde\mathfrak{f}_A \, ,
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\mathcal{D}</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>
\biggl( \frac{4\pi}{3} \biggr) \frac{P_e}{P_\mathrm{norm}} \, ,
</math>
  </td>
</tr>
</table>
</div>
and,

<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~R_\mathrm{norm}</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~
\biggl[ \biggl( \frac{G}{K} \biggr) M_\mathrm{tot}^{2-\gamma_g} \biggr]^{1/(4-3\gamma_g)} 
=\biggl[ \biggl( \frac{G}{K} \biggr)^n M_\mathrm{tot}^{(n-1)} \biggr]^{1/(n-3)}
\, ,</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~P_\mathrm{norm}</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~
\biggl[ \frac{K^4}{G^{3\gamma_g} M_\mathrm{tot}^{2\gamma_g}} \biggr]^{n/(n-3)}  
= \biggl[ \frac{K^{4n}}{G^{3(n+1)} M_\mathrm{tot}^{2(n+1)}} \biggr]^{1/(n-3)} 
\, ,</math>
  </td>
</tr>
</table>
and,

<div align="center">
<table border="1" align="center" cellpadding="5">
<tr><th align="center" colspan="1">
Structural Form Factors for <font color="red">Pressure-Truncated</font> Polytropes
</th></tr>
<tr><td align="center">

<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~\tilde\mathfrak{f}_M</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~ \biggl[ - \frac{3\Theta^'}{\xi} \biggr]_{\tilde\xi} </math>
  </td>
</tr>

<tr>
  <td align="right">
<math>\tilde\mathfrak{f}_W </math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{3^2\cdot 5}{5-n} \biggl[ \frac{\Theta^'}{\xi} \biggr]^2_{\tilde\xi} </math>
  </td>
</tr>

<tr>
  <td align="right">
<math>\tilde\mathfrak{f}_A  </math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
\frac{3(n+1) }{(5-n)} ~\biggl[ \Theta^' \biggr]^2_{\tilde\xi}  + \tilde\Theta^{n+1}
</math>
  </td>
</tr>
</table>

</td>
</tr>
</table>
</div>
When we went back to compare the mass-radius relationship that results from our very general virial equilibrium expression to the one published by Stahler for pressure-truncated <math>~n = 5</math> polytropes, they did not appear to agree.  In what follows, we methodically plow through this comparison in considerable detail to uncover whatever discrepancies might exist.

==Comparison==
First, let's insert the definitions of the coefficients <math>~\mathcal{A}</math>, <math>~\mathcal{B}</math>, and <math>~\mathcal{C}</math> into the virial equilibrium expression, replacing, where necessary, the adiabatic exponent in favor of the polytropic index, using the relation, <math>~\gamma_g = (n+1)/n</math>.
<div align="center">
<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>~\mathcal{A} - \mathcal{B}\chi_\mathrm{eq}^{(n-3)/n}  +~ \mathcal{D}\chi_\mathrm{eq}^4</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{1}{5} \cdot \biggl[ \biggl( \frac{M_\mathrm{limit}}{M_\mathrm{tot}} \biggr) 
\frac{1}{\tilde\mathfrak{f}_M} \biggr]^2 \cdot \tilde\mathfrak{f}_W 
~-~ \frac{4\pi}{3} 
\biggl[ \frac{3}{4\pi} \biggl( \frac{M_\mathrm{limit}}{M_\mathrm{tot}}\biggr)  \frac{1}{\tilde\mathfrak{f}_M} \biggr]_\mathrm{eq}^{(n+1)/n}
\cdot \tilde\mathfrak{f}_A \biggl(\frac{R_\mathrm{eq}}{R_\mathrm{norm}}\biggr)^{(n-3)/n}  
+~ \biggl( \frac{4\pi}{3} \biggr) \frac{P_e}{P_\mathrm{norm}} \biggl( \frac{R_\mathrm{eq}}{R_\mathrm{norm}}\biggr) ^4
</math>
  </td>
</tr>
</table>
</div>

Next, explicitly spelling out as well the definitions of our adopted normalization radius and normalization pressure &#8212; recognizing that <math>~P_\mathrm{norm} R_\mathrm{norm}^4 = GM^2_\mathrm{tot}</math> &#8212; and multiply the expression through by <math>[3GM_\mathrm{tot}^2/(4\pi)]</math>. 
<div align="center">
<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>~
\frac{3}{20\pi} \biggl( \frac{\tilde\mathfrak{f}_W}{\tilde\mathfrak{f}_M^2} \biggr) GM_\mathrm{limit}^2  
~-~ GM_\mathrm{tot}^2
\biggl[ \frac{3}{4\pi} \biggl( \frac{M_\mathrm{limit}}{M_\mathrm{tot}}\biggr)  \biggr]_\mathrm{eq}^{(n+1)/n}
\biggl[ \frac{\tilde\mathfrak{f}_A}{\tilde\mathfrak{f}_M^{(n+1)/n}} \biggr] 
\biggl[ \biggl( \frac{K}{G} \biggr) M_\mathrm{tot}^{(1-n)/n} \biggr]  R_\mathrm{eq}^{(n-3)/n}
+~ P_e R_\mathrm{eq}^4
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{3}{20\pi} \biggl( \frac{\tilde\mathfrak{f}_W}{\tilde\mathfrak{f}_M^2} \biggr) GM_\mathrm{limit}^2  
~-~ K
\biggl[ \frac{3}{4\pi} \cdot \frac{M_\mathrm{limit}}{\tilde\mathfrak{f}_M} \biggr]_\mathrm{eq}^{(n+1)/n} \mathfrak{f}_A
R_\mathrm{eq}^{(n-3)/n}
+~ P_e R_\mathrm{eq}^4 \, .
</math>
  </td>
</tr>
</table>
</div>
As has been pointed out in our separate, [[SSC/Virial/Polytropes#Solution_Expressed_in_Terms_of_K_and_M_.28Whitworth.27s_1981_Relation.29|more general discussion of the virial equilibrium of polytropes]], if we multiply this expression through by <math>~R_\mathrm{eq}^{-4}</math>, set all three structural form factors, <math>~\mathfrak{f}_i</math>, equal to unity, and replace <math>~M_\mathrm{limit}</math> with the notation, <math>~M_0</math>, the expression exactly matches the one presented as equation (5) of [http://adsabs.harvard.edu/abs/1981MNRAS.195..967W Whitworth], which reads:
<div align="center">
<table border="2">
<tr><td>
[[File:Whitworth1981Eq5.jpg|500px|center|Whitworth (1981, MNRAS, 195, 967)]]
</td></tr>
</table>
</div>

But I like this last version of our derived expression as well because it shows some resemblance to the mass-radius relationship presented by Stahler and highlighted above:  The first term on the left-hand-side is a constant times the square of the mass; the third term is a constant times the fourth power of the equilibrium radius; and the middle term shows a cross-product of the mass and radius (in our case, each is raised to a power other than unity). In an effort to make the comparison with Stahler even clearer, let's rewrite our expression in terms of the mass and equilibrium radius, normalized respectively to <math>~M_\mathrm{SWS}</math> and <math>~R_\mathrm{SWS}</math>.  
<div align="center">
<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>~
\frac{3G}{20\pi} \biggl( \frac{\tilde\mathfrak{f}_W}{\tilde\mathfrak{f}_M^2} \biggr) \biggl( \frac{M_\mathrm{limit}}{M_\mathrm{SWS}} \biggr)^2
\biggl[ \biggl( \frac{n+1}{nG} \biggr)^{3/2} K_n^{2n/(n+1)} P_\mathrm{e}^{(3-n)/[2(n+1)]} \biggr]^2 
~+~ P_e \biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)^4 \biggl[ \biggl( \frac{n+1}{nG} \biggr)^{1/2} K_n^{n/(n+1)} P_\mathrm{e}^{(1-n)/[2(n+1)]} \biggr]^4 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
&nbsp;
  </td>
  <td align="left">
<math>~
~-~ K \mathfrak{f}_A
\biggl[ \frac{3}{4\pi} \cdot \frac{1}{\tilde\mathfrak{f}_M} \biggr]^{(n+1)/n} \biggl( \frac{M_\mathrm{limit}}{M_\mathrm{SWS}} \biggr)^{(n+1)/n}
\biggl[ \biggl( \frac{n+1}{nG} \biggr)^{3/2} K_n^{2n/(n+1)} P_\mathrm{e}^{(3-n)/[2(n+1)]} \biggr]^{(n+1)/n}
\biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)^{(n-3)/n} \biggl[ \biggl( \frac{n+1}{nG} \biggr)^{1/2} K_n^{n/(n+1)} P_\mathrm{e}^{(1-n)/[2(n+1)]} \biggr]^{(n-3)/n}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{3}{20\pi} \biggl( \frac{n+1}{n} \biggr)^{3} \biggl( \frac{\tilde\mathfrak{f}_W}{\tilde\mathfrak{f}_M^2} \biggr) \biggl( \frac{M_\mathrm{limit}}{M_\mathrm{SWS}} \biggr)^2
\biggl[  K_n^{4n} P_\mathrm{e}^{(3-n)} \biggr]^{1/(n+1)}  G^{-2}
~+~ \biggl( \frac{n+1}{n} \biggr)^{2} \biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)^4 \biggl[ K_n^{4n} P_\mathrm{e}^{[(n+1)+2(1-n)]} \biggr]^{1/(n+1)} G^{-2}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
&nbsp;
  </td>
  <td align="left">
<math>~
~-~\mathfrak{f}_A
\biggl[ \frac{3}{4\pi} \cdot \frac{1}{\tilde\mathfrak{f}_M} \biggr]^{(n+1)/n} \biggl( \frac{n+1}{nG} \biggr)^{[3(n+1)+(n-3)]/2n} 
\biggl( \frac{M_\mathrm{limit}}{M_\mathrm{SWS}} \biggr)^{(n+1)/n}
\biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)^{(n-3)/n} 
\biggl[ K^{1 + 2 + (n-3)/(n+1)} \biggr] \biggl[ P_\mathrm{e}^{(3-n) + (1-n)(n-3)/(n+1) } \biggr]^{1/(2n)}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{3}{20\pi} \biggl( \frac{n+1}{n} \biggr)^{3} \biggl( \frac{\tilde\mathfrak{f}_W}{\tilde\mathfrak{f}_M^2} \biggr) \biggl( \frac{M_\mathrm{limit}}{M_\mathrm{SWS}} \biggr)^2
\biggl[  K_n^{4n} P_\mathrm{e}^{(3-n)} \biggr]^{1/(n+1)}  G^{-2}
~+~ \biggl( \frac{n+1}{n} \biggr)^{2} \biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)^4 \biggl[ K_n^{4n} P_\mathrm{e}^{(3-n)} \biggr]^{1/(n+1)} G^{-2}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
&nbsp;
  </td>
  <td align="left">
<math>~
~-~\mathfrak{f}_A
\biggl[ \frac{3}{4\pi} \cdot \frac{1}{\tilde\mathfrak{f}_M} \biggr]^{(n+1)/n} \biggl( \frac{n+1}{n} \biggr)^{2} 
\biggl( \frac{M_\mathrm{limit}}{M_\mathrm{SWS}} \biggr)^{(n+1)/n}
\biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)^{(n-3)/n} 
\biggl[ K^{4n/(n+1)} \biggr] \biggl[ P_\mathrm{e}^{(3-n)/(n+1) } \biggr] G^{-2}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{3}{20\pi} \biggl( \frac{n+1}{n} \biggr) \biggl( \frac{\tilde\mathfrak{f}_W}{\tilde\mathfrak{f}_M^2} \biggr) \biggl( \frac{M_\mathrm{limit}}{M_\mathrm{SWS}} \biggr)^2
~-~\mathfrak{f}_A
\biggl[ \frac{3}{4\pi} \cdot \frac{1}{\tilde\mathfrak{f}_M} \biggr]^{(n+1)/n} 
\biggl( \frac{M_\mathrm{limit}}{M_\mathrm{SWS}} \biggr)^{(n+1)/n}
\biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)^{(n-3)/n} 
~+~ \biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)^4 
</math>
  </td>
</tr>
</table>
</div>

On 30 September 2014, J.E. Tohline showed that this expression is perfectly satisfied using Stahler's definitions of the normalized mass and normalized equilibrium radius along with Tohline's definitions of the structural form factors.  The middle term on the right-hand side includes the structural form factor, <math>~\mathfrak{f}_A</math>, which in turn is the sum of two pieces; the first piece of this form factor supplies the term that cancels the first term on the right-hand side of the equilibrium expression and the second piece cancels the third term on the right-hand side.  We have noticed that the first term on the right-hand side (via the factor, <math>~\mathfrak{f}_W</math>) and the first portion of the middle term (via the first term in the expression for <math>~\mathfrak{f}_A</math>), contain factors of <math>~(5-n)^{-1}</math>, which will cause these terms to blow up when considering truncated polytropes of index, <math>~n = 5</math>.  But this is precisely the case for which Stahler provides an analytic mass-radius relationship.  What happens to the virial expression if we multiply through by <math>~(5-n)</math>?  

==Experimentation==

===First Finding===

Let's break the form factor, <math>~\mathfrak{f}_A</math>, into two distinct pieces, namely,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>\tilde\mathfrak{f}_{A1}  </math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>
\frac{3(n+1) }{(5-n)} ~\biggl[ \Theta^' \biggr]^2_{\tilde\xi} \, ,
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>\tilde\mathfrak{f}_{A2}  </math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>
\tilde\Theta^{n+1} \, ,
</math>
  </td>
</tr>
</table>
</div>
then multiply the virial equilibrium expression through by <math>~(5-n)</math>.

<div align="center">
<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>~
\frac{3}{20\pi} \biggl( \frac{n+1}{n} \biggr) \biggl[ \frac{(5-n)\tilde\mathfrak{f}_W}{\tilde\mathfrak{f}_M^2} \biggr] 
\biggl( \frac{M_\mathrm{limit}}{M_\mathrm{SWS}} \biggr)^2
~-~[(5-n)\mathfrak{f}_{A1} + (5-n)\mathfrak{f}_{A2}]
\biggl[ \frac{3}{4\pi} \cdot \frac{1}{\tilde\mathfrak{f}_M} \biggr]^{(n+1)/n} 
\biggl( \frac{M_\mathrm{limit}}{M_\mathrm{SWS}} \biggr)^{(n+1)/n}
\biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)^{(n-3)/n} 
~+~ (5-n)\biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)^4 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{3}{4\pi} \biggl( \frac{n+1}{n} \biggr) \biggl\{
\biggl( \frac{M_\mathrm{limit}}{M_\mathrm{SWS}} \biggr)^2
~-~\frac{n}{(4\pi)^{1/n}} (\tilde\theta')^2  \biggl[ \frac{3}{\tilde\mathfrak{f}_M} \biggr]^{(n+1)/n} 
\biggl( \frac{M_\mathrm{limit}}{M_\mathrm{SWS}} \biggr)^{(n+1)/n}
\biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)^{(n-3)/n} \biggr\}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
&nbsp;
  </td>
  <td align="left">
<math>~
~-~(5-n)\biggl[ \tilde\theta^{n+1}
\biggl( \frac{3}{4\pi} \cdot \frac{1}{\tilde\mathfrak{f}_M} \biggr)^{(n+1)/n} 
\biggl( \frac{M_\mathrm{limit}}{M_\mathrm{SWS}} \biggr)^{(n+1)/n}
\biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)^{(n-3)/n} 
~+~ \biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)^4 \biggr]
</math>
  </td>
</tr>
</table>
</div>

When <math>~(n=5)</math>, the entire term that appears in the second line of this expression goes to zero.  The remaining set of terms (that is, the first line of the expression) give,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~
\biggl( \frac{M_\mathrm{limit}}{M_\mathrm{SWS}} \biggr)^2
</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{n(\tilde\theta')^2 }{(4\pi)^{1/n}}  \biggl[ \frac{3}{\tilde\mathfrak{f}_M} \biggr]^{(n+1)/n} 
\biggl( \frac{M_\mathrm{limit}}{M_\mathrm{SWS}} \biggr)^{(n+1)/n}
\biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)^{(n-3)/n}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{5(\tilde\theta')^2 }{(4\pi)^{1/5}}  \biggl[ \frac{3}{\tilde\mathfrak{f}_M} \biggr]^{6/5} 
\biggl( \frac{M_\mathrm{limit}}{M_\mathrm{SWS}} \biggr)^{6/5}
\biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)^{2/5}
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\Rightarrow~~~
\biggl( \frac{M_\mathrm{limit}}{M_\mathrm{SWS}} \biggr)^4 \biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)^{-2}
</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{5^5(\tilde\theta')^{10} }{(4\pi)}  \biggl[ \frac{3}{\tilde\mathfrak{f}_M} \biggr]^{6} 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\biggl(\frac{5^5}{4\pi}\biggr)  \tilde\xi^6 (\tilde\theta')^{4}  
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\Rightarrow~~~
\biggl( \frac{M_\mathrm{limit}}{M_\mathrm{SWS}} \biggr)^2 \biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \biggr)^{-1}
</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\biggl(\frac{5^5}{4\pi}\biggr)^{1/2}  \tilde\xi^3 (\tilde\theta')^{2}  \, .
</math>
  </td>
</tr>
</table>
</div>
It is straightforward to show that, when <math>~n</math> is set equal to <math>~5</math>, Stahler's expressions for the normalized mass and normalized radius satisfy this relation.

===Second Finding===

To simplify our expressions, let's write Stahler's normalized mass and normalized radius as, respectively,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~M_n \equiv \frac{M_\mathrm{limit}}{M_\mathrm{SWS}}</math>
  </td>
  <td align="center">
&nbsp;&nbsp;&nbsp;&nbsp;
and
&nbsp;&nbsp;&nbsp;&nbsp;
  </td>
  <td align="left">
<math>~R_n \equiv \frac{R_\mathrm{eq}}{R_\mathrm{SWS}} \, .</math>
  </td>
</tr>
</table>
</div>
Then insert the ratio, <math>~\tilde\mathfrak{f}_W/\tilde\mathfrak{f}_M^2 = 5/(5-n)</math>, into the first term of the virial equilibrium expression and rearrange the terms:

<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>
\frac{3}{20\pi} \biggl[ \frac{5(n+1)}{n(5-n)} \biggr] M_n^2
~+~ R_n^4
</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
~\mathfrak{f}_A
\biggl[ \frac{3}{4\pi} \cdot \frac{1}{\tilde\mathfrak{f}_M} \biggr]^{(n+1)/n} 
M_n^{(n+1)/n} R_n^{(n-3)/n} \, .
</math>
  </td>
</tr>
</table>
</div>

Next, given Stahler's expressions for the normalized mass and normalized radius, can we develop an expression for the ratio, <math>~\tilde\mathfrak{f}_A/\tilde\mathfrak{f}_M^{(n+1)/n}</math>, that is only in terms of Stahler's mass and radius?  Well, first notice that,

<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\tilde\theta^{n+1}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~4\pi n (-\tilde\theta')^2 \cdot \frac{R_n^4}{M_n^2} \, ,</math>
  </td>
</tr>
</table>
</div>
so we can write,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\tilde\mathfrak{f}_A</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~(\tilde\theta')^2
\biggl[ \frac{3(n+1)}{(5-n)} + 4\pi n \cdot \frac{R_n^4}{M_n^2} \biggr] \, .
</math>
  </td>
</tr>
</table>
</div>
Then notice that,
<div align="center">
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~\tilde\xi^{n+1}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~(4\pi) n^{-n} (-\tilde\theta')^{1-n} R_n^{3-n} M_n^{n-1} \, ,</math>
  </td>
</tr>
</table>
</div>
so,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\tilde\mathfrak{f}_M^{-(n+1)/n}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~(\tilde\theta')^{-2} 
\biggl[ (4\pi) 3^{-(n+1)} n^{-n} R_n^{3-n} M_n^{n-1} \biggr]^{1/n}
</math> &nbsp;&nbsp;&nbsp;&nbsp; and,
  </td>
</tr>

<tr>
  <td align="right">
<math>~\tilde\mathfrak{f}_A \biggl[ \biggl( \frac{3}{4\pi}\biggr)\frac{1}{\tilde\mathfrak{f}_M} \biggr]^{(n+1)/n}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\biggl[ \frac{3(n+1)}{4\pi n (5-n)} + \frac{R_n^4}{M_n^2} \biggr]
\biggl[ R_n^{3-n} M_n^{n-1} \biggr]^{1/n} \, .
</math>
  </td>
</tr>
</table>
</div>
Hence, the virial equilibrium expression becomes,


<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>
\biggl[ \frac{3(n+1)}{4\pi n(5-n)} \biggr] M_n^2
~+~ R_n^4
</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\biggl[ \frac{3(n+1)}{4\pi n (5-n)} + \frac{R_n^4}{M_n^2} \biggr]
\biggl[ R_n^{3-n} M_n^{n-1} \biggr]^{1/n}
M_n^{(n+1)/n} R_n^{(n-3)/n} 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\biggl[ \frac{3(n+1)}{4\pi n (5-n)} + \frac{R_n^4}{M_n^2} \biggr]M_n^2 \, . 
</math>
  </td>
</tr>
</table>
</div>
Q.E.D.  Just not sure what I've really accomplished here!


{{ SGFfooter }}