Editing SSC/Virial/PolytropesEmbedded/SecondEffortAgain/Pt2 (section)

====Deriving Concise Virial Theorem Mass-Radius Relation====
Looking back on the definitions of <math>~\Pi_\mathrm{ad}</math> and <math>~\Chi_\mathrm{ad}</math> that we introduced in connection with our initial [[#ConciseVirial|concise algebraic expression of the virial theorem]], we can write,
<div align="center">
<table border="0" cellpadding="5">
<tr>
  <td align="right">
<math>~P_e </math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~P_\mathrm{norm} \biggl( \frac{3}{4\pi} \biggr) \Pi_\mathrm{ad}  \biggl[ \frac{\mathcal{B}^{4n}}{\mathcal{A}^{3(n+1)}} \biggr]^{1/(n-3)}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~\biggl( \frac{3}{4\pi} \biggr) \Pi_\mathrm{ad}  \biggl[ \frac{\mathcal{B}^{4n}}{\mathcal{A}^{3(n+1)}} \biggr]^{1/(n-3)}
\biggl[ \frac{K^{4n}}{G^{3(n+1)} M_\mathrm{tot}^{2(n+1)}} \biggr]^{1/(n-3)} \, ,
</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{norm} \Chi_\mathrm{ad} \biggl[ \frac{\mathcal{A}}{\mathcal{B}} \biggr]^{n/(n-3)} 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~\Chi_\mathrm{ad} \biggl[ \frac{\mathcal{A}}{\mathcal{B}} \biggr]^{n/(n-3)} 
\biggl[ \biggl( \frac{G}{K} \biggr)^n M_\mathrm{tot}^{n-1} \biggr]^{1/(n-3)} \, .
</math>
  </td>
</tr>

</table>
</div>
The first of these two expressions can be flipped around to give an expression for <math>~M_\mathrm{tot}</math> in terms of <math>~P_e</math> and, then, as normalized to <math>~M_\mathrm{SWS}</math>.  Specifically,
<div align="center">
<table border="0" cellpadding="5">

<tr>
  <td align="right">
<math>~ M_\mathrm{tot}^{2(n+1)}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~\biggl( \frac{3\Pi_\mathrm{ad} }{4\pi} \biggr)^{n-3}  \biggl[ \frac{\mathcal{B}^{4n}}{\mathcal{A}^{3(n+1)}} \biggr]
\biggl[ \frac{K^{4n}}{G^{3(n+1)}P_e^{n-3} } \biggr] 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~M_\mathrm{SWS}^{2(n+1)} \biggl( \frac{n}{n+1} \biggr)^{3(n+1)} 
\biggl( \frac{3\Pi_\mathrm{ad} }{4\pi} \biggr)^{n-3}  \biggl[ \frac{\mathcal{B}^{4n}}{\mathcal{A}^{3(n+1)}} \biggr]
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~ \Rightarrow~~~ \frac{M_\mathrm{tot}}{M_\mathrm{SWS}}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~\biggl( \frac{n}{n+1} \biggr)^{3/2} 
\biggl( \frac{3\Pi_\mathrm{ad} }{4\pi} \biggr)^{(n-3)/[2(n+1)]}  \biggl[ \frac{\mathcal{B}^{2n/(n+1)}}{\mathcal{A}^{3/2}} \biggr] \, .
</math>
  </td>
</tr>
</table>
</div>

This means, as well, that we can rewrite the equilibrium radius as,
<div align="center">
<table border="0" cellpadding="5">

<tr>
  <td align="right">
<math>~R_\mathrm{eq}^{n-3} </math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~\Chi_\mathrm{ad}^{n-3} \biggl[ \frac{\mathcal{A}}{\mathcal{B}} \biggr]^{n} 
\biggl( \frac{G}{K} \biggr)^n M_\mathrm{tot}^{n-1} 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~\Chi_\mathrm{ad}^{n-3} \biggl[ \frac{\mathcal{A}}{\mathcal{B}} \biggr]^{n} 
\biggl( \frac{G}{K} \biggr)^n \biggl\{   
\biggl( \frac{3\Pi_\mathrm{ad} }{4\pi} \biggr)^{n-3}  \biggl[ \frac{\mathcal{B}^{4n}}{\mathcal{A}^{3(n+1)}} \biggr]
\biggl[ \frac{K^{4n}}{G^{3(n+1)}P_e^{n-3} } \biggr] 
\biggr\}^{(n-1)/[2(n+1)]} 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~\Chi_\mathrm{ad}^{n-3} \biggl[ \frac{\mathcal{A}}{\mathcal{B}} \biggr]^{n} 
\biggl[ \frac{\mathcal{B}^{4n}}{\mathcal{A}^{3(n+1)}} \biggr]^{(n-1)/[2(n+1)]}
\biggl( \frac{3\Pi_\mathrm{ad} }{4\pi} \biggr)^{(n-3)(n-1)/[2(n+1)]} \biggl( \frac{G}{K} \biggr)^n 
\biggl\{  
\biggl[ \frac{K^{4n}}{G^{3(n+1)}P_e^{n-3} } \biggr] 
\biggr\}^{(n-1)/[2(n+1)]} 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~\Chi_\mathrm{ad}^{n-3} \biggl\{ \biggl[ \frac{\mathcal{A}}{\mathcal{B}} \biggr]^{2n(n+1)} 
\biggl[ \frac{\mathcal{B}^{4n(n-1)}}{\mathcal{A}^{3(n+1)(n-1)}} \biggr]\biggr\}^{1/[2(n+1)]}
\biggl( \frac{3\Pi_\mathrm{ad} }{4\pi} \biggr)^{(n-3)(n-1)/[2(n+1)]} 
\biggl\{ \biggl( \frac{G}{K} \biggr)^{2n(n+1)} 
\biggl[ \frac{K^{4n(n-1)}}{G^{3(n+1)(n-1)}P_e^{(n-3)(n-1)} } \biggr] 
\biggr\}^{1/[2(n+1)]} 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~\Chi_\mathrm{ad}^{n-3} \biggl( \frac{3\Pi_\mathrm{ad} }{4\pi} \biggr)^{(n-3)(n-1)/[2(n+1)]} 
\biggl[ \mathcal{A}^{-(n+1)(n-3)} \mathcal{B}^{2n(n-3)} \biggr]^{1/[2(n+1)]}
\biggl[ G^{(3-n)(n+1)} K^{2n(n-3)} P_e^{(n-3)(1-n)} \biggr]^{1/[2(n+1)]}
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~R_\mathrm{SWS}^{n-3} \biggl( \frac{n}{n+1} \biggr)^{(n-3)/2} 
\Chi_\mathrm{ad}^{n-3} \biggl( \frac{3\Pi_\mathrm{ad} }{4\pi} \biggr)^{(n-3)(n-1)/[2(n+1)]} 
\biggl[ \mathcal{A}^{-(n+1)(n-3)} \mathcal{B}^{2n(n-3)} \biggr]^{1/[2(n+1)]}
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\Rightarrow~~~\frac{R_\mathrm{eq}}{R_\mathrm{SWS} } </math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~\biggl( \frac{n}{n+1} \biggr)^{1/2} 
\Chi_\mathrm{ad} \biggl( \frac{3\Pi_\mathrm{ad} }{4\pi} \biggr)^{(n-1)/[2(n+1)]} 
\biggl[ \frac{\mathcal{B}^{n/(n+1)}}{\mathcal{A}^{1/2}} \biggr] \, .
</math>
  </td>
</tr>

</table>
</div>
Flipping both of these expressions around, we see that,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\Pi_\mathrm{ad} </math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~\frac{4\pi}{3} \biggl\{ \biggl( \frac{n+1}{n} \biggr)^{3(n+1)}   \biggl( \frac{M_\mathrm{tot}}{M_\mathrm{SWS}} \biggr)^{2(n+1)} 
\biggl[ \frac{\mathcal{A}^{3(n+1)}}{\mathcal{B}^{4n}} \biggr] \biggr\}^{1/(n-3)} \, ,
</math>
  </td>
</tr>
</table>
</div>
and,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\Chi_\mathrm{ad} </math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~\frac{R_\mathrm{eq}}{R_\mathrm{SWS} }  \biggl( \frac{n+1}{n} \biggr)^{1/2} 
\biggl[ \frac{\mathcal{A}^{1/2}}{\mathcal{B}^{n/(n+1)}} \biggr] 
\biggl( \frac{3\Pi_\mathrm{ad} }{4\pi} \biggr)^{(1-n)/[2(n+1)]} 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~\frac{R_\mathrm{eq}}{R_\mathrm{SWS} }  \biggl( \frac{n+1}{n} \biggr)^{1/2} 
\biggl[ \frac{\mathcal{A}^{1/2}}{\mathcal{B}^{n/(n+1)}} \biggr] 
\biggl\{ \biggl( \frac{n+1}{n} \biggr)^{3(n+1)}   \biggl( \frac{M_\mathrm{tot}}{M_\mathrm{SWS}} \biggr)^{2(n+1)} 
\biggl[ \frac{\mathcal{A}^{3(n+1)}}{\mathcal{B}^{4n}} \biggr] \biggr\}^{(1-n)/[2(n+1)(n-3)]} 
</math>
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~\frac{R_\mathrm{eq}}{R_\mathrm{SWS} } \biggl( \frac{M_\mathrm{tot}}{M_\mathrm{SWS}} \biggr)^{(1-n)/(n-3)}  \biggl( \frac{n}{n+1} \biggr)^{n/(n-3)} 
\biggl[ \frac{\mathcal{B}}{\mathcal{A}} \biggr]^{n/(n-3)} \, .
</math>
  </td>
</tr>
</table>
</div>
Hence, our earlier derived [[#ConciseVirial3|compact expression for the virial theorem]] becomes,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~1</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
\biggl\{ \frac{R_\mathrm{eq}}{R_\mathrm{SWS} } \biggl( \frac{M_\mathrm{tot}}{M_\mathrm{SWS}} \biggr)^{(1-n)/(n-3)}  \biggl( \frac{n}{n+1} \biggr)^{n/(n-3)} 
\biggl[ \frac{\mathcal{B}}{\mathcal{A}} \biggr]^{n/(n-3)} \biggr\}^{(n-3)/n} 
</math> 
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
&nbsp;
  </td>
  <td align="left">
<math>
-~ \frac{4\pi}{3} \biggl\{ \biggl( \frac{n+1}{n} \biggr)^{3(n+1)}   \biggl( \frac{M_\mathrm{tot}}{M_\mathrm{SWS}} \biggr)^{2(n+1)} 
\biggl[ \frac{\mathcal{A}^{3(n+1)}}{\mathcal{B}^{4n}} \biggr] \biggr\}^{1/(n-3)} 
\biggl\{ \frac{R_\mathrm{eq}}{R_\mathrm{SWS} } \biggl( \frac{M_\mathrm{tot}}{M_\mathrm{SWS}} \biggr)^{(1-n)/(n-3)}  \biggl( \frac{n}{n+1} \biggr)^{n/(n-3)} 
\biggl[ \frac{\mathcal{B}}{\mathcal{A}} \biggr]^{n/(n-3)} \biggr\}^4 </math> 
  </td>
</tr>

<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
\biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS} } \biggr)^{(n-3)/n} \biggl( \frac{M_\mathrm{tot}}{M_\mathrm{SWS}} \biggr)^{(1-n)/n}  \biggl( \frac{n}{n+1} \biggr)
\biggl[ \frac{\mathcal{B}}{\mathcal{A}} \biggr]
-~ \frac{4\pi}{3} \biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS} }  \biggr)^4 \biggl( \frac{M_\mathrm{tot}}{M_\mathrm{SWS}} \biggr)^{-2} \biggl( \frac{n}{n+1} \biggr)
\frac{1}{\mathcal{A}} \, .
</math> 
  </td>
</tr>
</table>
</div>

Or, rearranged,

<div align="center" id="CompactStahlerVirial">
<table border="1" cellpadding="10" align="center">

<tr>
  <td align="right">
<math>\frac{4\pi}{3} \biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS} }  \biggr)^4  - 
\mathcal{B} \biggl( \frac{R_\mathrm{eq}}{R_\mathrm{SWS} } \biggr)^{(n-3)/n} \biggl( \frac{M_\mathrm{tot}}{M_\mathrm{SWS}} \biggr)^{(n+1)/n}  
+~ \mathcal{A} \biggl( \frac{n+1}{n} \biggr) \biggl( \frac{M_\mathrm{tot}}{M_\mathrm{SWS}} \biggr)^{2} = 0 \, .
</math> 
  </td>
</tr>
</table>
</div>

After adopting the modified coefficient definitions,
<div align="center">
<table border="0" cellpadding="5">
<tr>
  <td align="right">
<math>~\mathcal{A}_{M_\ell}</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~
\mathcal{A} \biggl( \frac{M_\mathrm{limit}}{M_\mathrm{tot}} \biggr)^{-2}  =
\frac{1}{5} \cdot \frac{\tilde\mathfrak{f}_W}{\tilde\mathfrak{f}_M^2}  \, ,</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\mathcal{B}_{M_\ell}</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~\mathcal{B} \biggl( \frac{M_\mathrm{limit}}{M_\mathrm{tot}}\biggr)^{-(n+1)/n} =
\biggl( \frac{3}{4\pi}\biggr)^{1/n} 
\frac{\tilde\mathfrak{f}_A}{\tilde\mathfrak{f}_M^{(n+1)/n}} \, ,
</math>
  </td>
</tr>
</table>
</div>

<span id="modNormalizations">as well as the modified length- and mass-normalizations,</span> <math>~R_\mathrm{mod}</math> and <math>~M_\mathrm{mod}</math>, such that,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\frac{M_\mathrm{SWS}}{M_\mathrm{mod}}</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~\biggl( \frac{4\pi}{3} \biggr)^{2n/(n+1)} \biggl[ \frac{3(n+1)}{4\pi n} \biggr]^{3/2} \frac{\mathcal{A}_{M_\ell}^{3/2}}{\mathcal{B}_{M_\ell}^{2n/(n+1)}} 
\, ,</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\frac{R_\mathrm{SWS}}{R_\mathrm{mod}}</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~\biggl( \frac{4\pi}{3} \biggr)^{n/(n+1)} \biggl[ \frac{3(n+1)}{4\pi n} \biggr]^{1/2} \frac{\mathcal{A}_{M_\ell}^{1/2}}{\mathcal{B}_{M_\ell}^{n/(n+1)}} \, ,</math>
  </td>
</tr>
</table>
</div>
we obtain the
<div align="center" id="ConciseVirialMR">
<font color="#770000">'''Virial Theorem in terms of Mass and Radius'''</font><br />

<math>
\biggl( \frac{R_\mathrm{eq}}{R_\mathrm{mod}} \biggr)^4 
- \biggl( \frac{R_\mathrm{eq}}{R_\mathrm{mod}} \biggr)^{(n-3)/n} \biggl( \frac{M_\mathrm{limit}}{M_\mathrm{mod}} \biggr)^{(n+1)/n} 
+ \biggl( \frac{M_\mathrm{limit}}{M_\mathrm{mod}} \biggr)^2 = 0 
\, .
</math>
</div>


For later use we note as well that, with these modified coefficient definitions, we can write,
<div align="center">
<table border="0" cellpadding="5" align="center">

<tr>
  <td align="right">
<math>~\Pi_\mathrm{ad}^{n-3} </math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~\biggl[ \biggl( \frac{4\pi}{3} \biggr)^{n-3} \biggl( \frac{n+1}{n} \biggr)^{3(n+1)}    
\frac{\mathcal{A}_{M_\ell}^{3(n+1)}}{\mathcal{B}_{M_\ell}^{4n}} \biggr] \mathcal{Y}^{2(n+1)} \, ,
</math>
  </td>
</tr>

<tr>
  <td align="right">
<math>~\Chi_\mathrm{ad}^{n-3} </math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>
~ 
\biggl[ \frac{n}{n+1} \biggl( \frac{\mathcal{B}_{M_\ell}}{\mathcal{A}_{M_\ell}} \biggr)\biggr]^n 
\mathcal{X}^{n-3} \mathcal{Y}^{1-n} \, ,
</math>
  </td>
</tr>
</table>
</div>
where <math>~\mathcal{X}</math> and <math>~\mathcal{Y}</math> are defined [[#Confirmation|immediately below]].