Appendix/Ramblings/51BiPolytropeStability/BetterInterface: Difference between revisions

From jetwiki
Jump to navigation Jump to search
 
(178 intermediate revisions by the same user not shown)
Line 4: Line 4:
==Content Pointing to Previous Work==
==Content Pointing to Previous Work==
===Tilded Menu Pointers===
===Tilded Menu Pointers===
<ol>
<ol type="I">
   <li>Murphy &amp; Fiedler (1985b): [[SSC/Stability/MurphyFiedler85|SSC/Stability/MurphyFiedler85]]
   <li>Murphy &amp; Fiedler (1985b): [[SSC/Stability/MurphyFiedler85|SSC/Stability/MurphyFiedler85]]
       <ol><li>Numerical Integration
       <ol type="A"><li>[[SSC/Stability/MurphyFiedler85#Interface_Conditions|Interface Conditions]] as promoted by Ledoux &amp; Walraven (1958)</li>
           <ol><li>General Approach</li>
          <li>[[SSC/Stability/MurphyFiedler85#Numerical_Integration|Numerical Integration]]
           <ol type="1"><li>General Approach</li>
               <li>Special Handling at the Center</li>
               <li>Special Handling at the Center</li>
               <li>Special Handling at the Interface</li></ol>
               <li>Special Handling at the Interface</li></ol>
           </li>
           </li>
          <li>[[SSC/Stability/MurphyFiedler85#Reconcile_Approaches|Reconcile Approaches]]</li>
       </ol>
       </ol>
   </li>
   </li>
  <li>Excellent Foundation (no pointer from Tiled Menu):  [[SSC/Stability/BiPolytropes#Radial_Oscillations_of_(nc,_ne)_=_(5,_1)_Models|SSC/Stability/Biipolytropes]]</li>
   <li>Our Broader Analysis:  [[SSC/Stability/BiPolytropes/HeadScratching|SSC/Stability/BiPolytropes/HeadScratching]]</li>
   <li>Our Broader Analysis:  [[SSC/Stability/BiPolytropes/HeadScratching|SSC/Stability/BiPolytropes/HeadScratching]]</li>
   <li>Succinct Discussion:  [[SSC/Stability/BiPolytropes/SuccinctDiscussion|SSC/Stability/BiPolytropes/SuccinctDiscussion]]</li>
   <li>Succinct Discussion:  [[SSC/Stability/BiPolytropes/SuccinctDiscussion|SSC/Stability/BiPolytropes/SuccinctDiscussion]]</li>
Line 34: Line 37:


==Solid Foundation==
==Solid Foundation==
Here we pull primarily from the chapters labeled II and III, above.
===Entire Configuration===
Beginning with the familiar,
<div align="center" id="2ndOrderODE">
<font color="#770000">'''Adiabatic Wave''' (or ''Radial Pulsation'') '''Equation'''</font><br />
{{Math/EQ_RadialPulsation01}}
</div>
where,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~g_0</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{G M_r^*}{(r^*)^2} \biggl[ \rho_c^{3 / 5} \biggl( \frac{K_c}{G}\biggr)^{1 / 2} \biggr] \, ,
</math>
  </td>
</tr>
</table>
if we adopt the variable normalizations,
<div align="center">
<table border="0" cellpadding="3">
<tr>
  <td align="right">
<math>~\rho^*</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~\frac{\rho_0}{\rho_c}</math>
  </td>
  <td align="center">; &nbsp;&nbsp;&nbsp;</td>
  <td align="right">
<math>~r^*</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~\frac{r_0}{[K_c^{1/2}/(G^{1/2}\rho_c^{2/5})]}</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>~P^*</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~\frac{P_0}{K_c\rho_c^{6/5}}</math>
  </td>
  <td align="center">; &nbsp;&nbsp;&nbsp;</td>
  <td align="right">
<math>~M_r^*</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~\frac{M_r}{[K_c^{3/2}/(G^{3/2}\rho_c^{1/5})]}</math>
  </td>
</tr>
</table>
</div>
the LAWE takes the form,
<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{d^2x}{dr*^2} + \frac{\mathcal{H}}{r^*} \frac{dx}{dr*}
+
\biggl[\biggl(\frac{\sigma_c^2}{\gamma_g}\biggr) \mathcal{K}_1 - \alpha_g \mathcal{K}_2\biggr]  x \, ,
</math>
  </td>
</tr>
</table>
where,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~\mathcal{H}</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~
\biggl\{ 4 -\biggl(\frac{\rho^*}{P^*}\biggr)\frac{ M_r^*}{(r^*)}\biggr\}
</math>
  </td>
<td align="center">&nbsp; &nbsp; &nbsp; , &nbsp; &nbsp; &nbsp; </td>
  <td align="right">
<math>~\mathcal{K}_1</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~
\frac{2\pi }{3}\biggl(\frac{\rho^*}{ P^* } \biggr)
</math>
  </td>
<td align="center">&nbsp; &nbsp; &nbsp; and &nbsp; &nbsp; &nbsp; </td>
  <td align="right">
<math>~\mathcal{K}_2</math>
  </td>
  <td align="center">
<math>~\equiv</math>
  </td>
  <td align="left">
<math>~
\biggl(\frac{\rho^*}{ P^* } \biggr)\frac{M_r^*}{(r^*)^3} \, ,
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\sigma_c^2</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>
\frac{3\omega^2}{2\pi G\rho_c}
</math>
  </td>
<td align="center">&nbsp; &nbsp; &nbsp; , &nbsp; &nbsp; &nbsp; </td>
  <td align="right">
<math>\alpha_g</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>
\biggl(3 - \frac{4}{\gamma_g}\biggr) \, .
</math>
  </td>
<td align="center" colspan="4">&nbsp; </td>
</tr>
</table>
===Core===
Given that, in the core, <math>\gamma_g = 6/5</math> and,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>r^*</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\biggl(\frac{3}{2\pi}\biggr)^{1 / 2} \xi \, ,
</math>
  </td>
</tr>
</table>
we can rewrite the LAWE to read,
<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{d^2x}{d\xi^2} + \frac{\mathcal{H}}{\xi} \frac{dx}{d\xi}
+
\biggl(\frac{1}{4\pi}\biggr)\biggl[5\sigma_c^2 \mathcal{K}_1 + 2 \mathcal{K}_2\biggr]  x \, ,
</math>
  </td>
</tr>
</table>
where,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\mathcal{K}_1</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{2\pi }{3}\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{1 / 2} \, ,
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\mathcal{H}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
4 - 2 \xi^2 \biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-1} \, ,
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\mathcal{K}_2</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\biggl(\frac{4\pi}{3}\biggr) \biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-1} \, .
</math>
  </td>
</tr>
</table>
===Structure at the Interface===
Once <math>\mu_e/\mu_c</math> and <math>\xi_i</math> have been specified, other [[SSC/Structure/BiPolytropes/Analytic51#Parameter_Values|parameter values at the interface]] are:
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\theta_i</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\biggl( 1 + \frac{1}{3}\xi^2_i \biggr)^{-1 / 2} \, ,
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\eta_i</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\biggl(\frac{\mu_e}{\mu_c}\biggr) \sqrt{3}~\theta_i^2 \xi_i \, ,
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\Lambda_i</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{1}{\eta_i}  - \frac{\xi_i}{\sqrt{3}} \, ,
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>A</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\eta_i(1+\Lambda_i^2)^{1 / 2} \, ,
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>B</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\eta_i - \frac{\pi}{2} + \tan^{-1}(\Lambda_i) \, ,
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\eta_s</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
B + \pi \, .
</math>
  </td>
</tr>
</table>
===Linearized Perturbation at the Interface===
At all radial locations throughout the equilibrium configuration, the three spatially dependent quantities &#8212; <math>p \equiv \delta p/P^*, d \equiv \delta\rho/\rho^*,</math> and <math>x \equiv \delta r/r^*</math> &#8212; are related to one another via the [[SSC/Perturbations#Summary_Set_of_Linearized_Equations|set of linearized governing relations]], namely,
<div align="center">
<table border="1" cellpadding="10">
<tr><td align="center">
<font color="#770000">'''Linearized'''</font><br />
<span id="Continuity"><font color="#770000">'''Equation of Continuity'''</font></span><br />
<math>
r_0 \frac{dx}{dr_0} = - 3 x - d ,
</math><br />
<font color="#770000">'''Linearized'''</font><br />
<span id="PGE:Euler"><font color="#770000">'''Euler + Poisson Equations'''</font></span><br />
<math>
\frac{P_0}{\rho_0} \frac{dp}{dr_0}  = (4x + p)g_0 + \omega^2 r_0 x ,
</math><br />
<font color="#770000">'''Linearized'''</font><br />
<span id="PGE:AdiabaticFirstLaw">Adiabatic Form of the<br />
<font color="#770000">'''First Law of Thermodynamics'''</font></span><br />
<math>
p = \gamma_\mathrm{g} d  \, .
</math>
</td></tr>
</table>
</div>
Combining the 2<sup>nd</sup> and 3<sup>rd</sup> equations, we find,
<table border="0" align="center" cellpadding="8">
<tr>
  <td align="right"><math>(4x + \gamma_g d)g_0 + \omega^2 r_0 x</math></td>
  <td align="center"><math>=</math></td>
  <td align="left"><math>\frac{P_0}{\rho_0} \frac{d (\gamma_g d)}{dr_0}</math></td>
</tr>
</table>
----
At the interface, presumably the ''dimensional'' structural variables, <math>P^*</math> and <math>r^*</math> have the same values, whether viewed from the perspective of the core or from the perspective of the envelope. But <math>\rho^*</math> has a different value, depending on the point of view.  Specifically,
<table border="0" align="center" cellpadding="8">
<tr>
  <td align="right"><math>\rho^*\biggr|_\mathrm{env}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left"><math>\biggl(\frac{\mu_e}{\mu_c}\biggr)\rho^*\biggr|_\mathrm{core}\, .</math></td>
</tr>
</table>
Hence, from the perspective of the core, the linearized equation of continuity may be written as,
<table border="0" align="center" cellpadding="8">
<tr>
  <td align="right"><math>\biggl[ r_0 \cdot \frac{dx}{dr_0} + 3x \biggr]_\mathrm{core}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left"><math>- \frac{\delta\rho}{[\rho^*]_\mathrm{core}} \, ;</math></td>
</tr>
</table>
while, from the perspective of the envelope, the linearized equation of continuity may be written as,
<table border="0" align="center" cellpadding="8">
<tr>
  <td align="right"><math>\biggl[ r_0 \cdot \frac{dx}{dr_0} + 3x \biggr]_\mathrm{env}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left"><math>- \frac{\delta\rho}{[\rho^*]_\mathrm{core}} \biggl(\frac{\mu_e}{\mu_c}\biggr)^{-1}</math></td>
</tr>
</table>
----
<font color="red">Try again</font>
From [[SSC/Perturbations#Entropy_Conservation|here]], we know &hellip;
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>
\frac{P}{\rho^{\gamma_g}}
</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\exp\biggl[ \frac{s(\gamma_g - 1)}{\mathfrak{R}/\bar\mu}\biggr]\, .
</math>
  </td>
</tr>
</table>
And, from my [[Appendix/Ramblings/PatrickMotl#Understanding_the_Step_Function_at_the_Core-Envelope_Interface|discussions with Patrick Motl]], we find &hellip;
<font color="red"><b>CORE:</b></font> &nbsp; Throughout the core,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~P^*</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\biggl(1+ \frac{\xi^2}{3}\biggr)^{-3}</math>
  </td>
  <td align="center">&nbsp; &nbsp; and &nbsp; &nbsp;</td>
  <td align="right">
<math>~\rho^*</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\biggl(1+ \frac{\xi^2}{3}\biggr)^{-5/2}</math>
  </td>
  <td align="center">&nbsp; &nbsp; and &nbsp; &nbsp;</td>
  <td align="right">
<math>~\gamma_g</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{6}{5} \, .</math>
  </td>
</tr>
</table>
Hence, independent of the radial location, <math>~\xi</math>, throughout the core,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~\frac{s}{\Re/\bar{\mu}}\biggr|_\mathrm{core}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
5\ln (5) \, .
</math>
  </td>
</tr>
</table>
<font color="red"><b>ENVELOPE:</b></font> &nbsp; Throughout the envelope,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~P^*</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\theta_i^6 [\phi(\eta)]^2</math>
  </td>
  <td align="center">&nbsp; &nbsp; and &nbsp; &nbsp;</td>
  <td align="right">
<math>~\rho^*</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\biggl(\frac{\mu_e}{\mu_c}\biggr)\theta_i^5 [\phi(\eta)]</math>
  </td>
  <td align="center">&nbsp; &nbsp; and &nbsp; &nbsp;</td>
  <td align="right">
<math>~\gamma_g</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~2 \, .</math>
  </td>
</tr>
</table>
Hence, independent of the radial location, <math>~\eta</math>, throughout the envelope,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~\frac{s}{\Re/\bar{\mu}}\biggr|_\mathrm{env}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\ln \biggl[ \biggl(\frac{\mu_e}{\mu_c}\biggr)^{-2} \theta_i^{-4} \biggr]
</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\ln \biggl[ \biggl(\frac{\mu_e}{\mu_c}\biggr)^{-2} \biggl( 1 + \frac{\xi_i^2}{3}\biggr)^2 \biggr] \, .
</math>
  </td>
</tr>
</table>
===Envelope===
Given that, throughout the envelope <math>\gamma_g = 2</math> and,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>r^*</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>\biggl( \frac{\mu_e}{\mu_c} \biggr)^{-1} \theta^{-2}_i (2\pi)^{-1/2}\eta \, ,</math>
  </td>
</tr>
</table>
we can rewrite the LAWE to read,
<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{d^2x}{d\eta^2}
+
\frac{\mathcal{H}}{\eta} \frac{dx}{d\eta}
+
\frac{1}{2\pi \theta_i^4}\biggl(\frac{\mu_e}{\mu_c}\biggr)^{-2}  \biggl[\biggl(\frac{\sigma_c^2}{2}\biggr) \mathcal{K}_1 -  \mathcal{K}_2\biggr]  x\, ,
</math>
  </td>
</tr>
</table>
where,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\mathcal{K}_1</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>~
\frac{2\pi }{3}\biggl( \frac{\mu_e}{\mu_c} \biggr) \theta^{-1}_i \biggl[ \frac{\eta}{A\sin(\eta-B)}\biggr] \, ,
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\mathcal{H}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>~
2\biggl[1 + \frac{\eta}{\tan(\eta-B)}\biggr] \, ,
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\mathcal{K}_2</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
4\pi \biggl(\frac{\mu_e}{\mu_c}\biggr)^2 \theta_i^4 \biggl[1 - \frac{\eta}{\tan(\eta-B)}\biggr]\frac{1}{\eta^2}
\, .
</math>
  </td>
</tr>
</table>
=Entropy as a Step Function=
Useful Chapters:
<ul>
<li>[[Appendix/Mathematics/StepFunction|Appendix/Mathematics/Stepfunction]]</li>
<li>[[SSC/Structure/BiPolytropes/Analytic51Renormalize#From_Step-Function_Behavior_of_Specific_Entropy|Step-Function Behavior of Specific Entropy]]</li>
</ul>
==Review==
The unit &#8212; or, [https://en.wikipedia.org/wiki/Heaviside_step_function Heaviside] &#8212; step function, <math>H(x)</math>, is defined such that,
<table border="0" align="center" cellpadding="8">
<tr>
  <td align="center">
<math>
H(x) = 
\begin{cases}
0; & ~~ x < 0 \\
1; & ~~ x > 0
\end{cases}
</math>
<p><br />
[<b>[[Appendix/References#MF53|<font color="red">MF53</font>]]</b>], Part I, &sect;2.1 (p. 123), Eq. (2.1.6)
  </td>
  <td align="center" rowspan="2">
[[File:Heaviside01.png|300px|Heaviside Function]]
  </td>
</tr>
</table>
In evaluating this function at <math>x=0</math>, we will adopt the ''half-maximum convention'' and set <math>H(0) = \tfrac{1}{2}</math>.  As has been pointed out in, for example, [https://en.wikipedia.org/wiki/Heaviside_step_function a relevant Wikipedia discussion], the derivative of the unit step function is,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\frac{dH(x)}{dx}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>\delta(x)    \, ,</math>
  </td>
</tr>
</table>
where, <math>\delta(x)</math> is the Dirac Delta function.
==Perturbed Density==
Let,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\zeta</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>\frac{r}{r_i} - 1 </math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\Rightarrow ~~~ [\rho^*]_\mathrm{eq}</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>H(\zeta)\cdot \rho^*_\mathrm{env} + H(-\zeta) \cdot \rho^*_\mathrm{core} \, ;</math>
  </td>
</tr>
</table>
and, more generally after a perturbation, <math>\delta\rho(\zeta)</math>,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\rho^* = [\rho^*]_\mathrm{eq} + \delta\rho</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>[\rho^*]_\mathrm{eq} \biggl\{1  + \frac{\delta\rho}{[\rho^*]_\mathrm{eq}}\biggr\}
=
[\rho^*]_\mathrm{eq} \biggl\{1  + de^{i\omega t}\biggr\}
\, .</math>
  </td>
</tr>
</table>
Hence, in the [[SSC/Perturbations#Continuity_Equation|linearized version of the continuity equation]], we recognize that,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>d e^{i \omega t}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>\frac{\delta\rho}{[\rho^*]_\mathrm{eq}}
\, .</math>
  </td>
</tr>
</table>
<font color="red"><b>CORE:</b></font>
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~\rho^*_\mathrm{core}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\biggl(1+ \frac{\xi^2}{3}\biggr)^{-5/2}</math>
  </td>
  <td align="center">&nbsp; &nbsp; and &nbsp; &nbsp;</td>
  <td align="right">
<math>~\gamma_g</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\frac{6}{5} </math>
  </td>
  <td align="center">&nbsp; &nbsp; and &nbsp; &nbsp;</td>
  <td align="right">
<math>~\mathcal{S}_\mathrm{core} \equiv \frac{s(\gamma_g-1)}{\Re/\bar{\mu}}\biggr|_\mathrm{core}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\ln (5) \, .
</math>
  </td>
</tr>
</table>
<font color="red"><b>ENVELOPE:</b></font>
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~\rho^*_\mathrm{env}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\biggl(\frac{\mu_e}{\mu_c}\biggr)\theta_i^5 [\phi(\eta)]</math>
  </td>
  <td align="center">&nbsp; &nbsp; and &nbsp; &nbsp;</td>
  <td align="right">
<math>~\gamma_g</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~2 </math>
  </td>
  <td align="center">&nbsp; &nbsp; and &nbsp; &nbsp;</td>
  <td align="right">
<math>~\mathcal{S}_\mathrm{env} \equiv \frac{s(\gamma_g-1)}{\Re/\bar{\mu}}\biggr|_\mathrm{env}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\ln \biggl[ \biggl(\frac{\mu_e}{\mu_c}\biggr)^{-2} \biggl( 1 + \frac{\xi_i^2}{3}\biggr)^2 \biggr] \, .
</math>
  </td>
</tr>
</table>
==Perturbed Pressure==
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>P^*</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>(\rho^*)^{\gamma_g} \cdot \exp\biggl[ \frac{s(\gamma_g-1)}{\Re/\bar{\mu}} \biggr]</math>
  </td>
</tr>
</table>
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>[P^*]_\mathrm{eq}</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>H(\zeta)\cdot P^*_\mathrm{env} + H(-\zeta) \cdot P^*_\mathrm{core} \, ;</math>
  </td>
</tr>
</table>
and, more generally after a perturbation, <math>\delta P(\zeta)</math>,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>P^* = [P^*]_\mathrm{eq} + \delta P</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>[P^*]_\mathrm{eq} \biggl\{1  + \frac{\delta P}{[P^*]_\mathrm{eq}}\biggr\}
=
[P^*]_\mathrm{eq} \biggl\{1  + pe^{i\omega t}\biggr\}
\, .</math>
  </td>
</tr>
</table>
Hence, in the [[SSC/Perturbations#Adiabatic_form_of_the_First_Law_of_Thermodynamics|linearized version of the first law of thermodynamics]], we recognize that,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>p e^{i \omega t}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>\frac{\delta P}{[P^*]_\mathrm{eq}}
\, .</math>
  </td>
</tr>
</table>
==Obtaining Perturbed Density from Perturbed Pressure==
Given that, quite generally,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>
\frac{P}{\rho^{\gamma_g}}
</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\exp\biggl[ \frac{s(\gamma_g - 1)}{\mathfrak{R}/\bar\mu}\biggr]\, ,
</math>
  </td>
</tr>
</table>
let's define the density-like quantity,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\mathcal{Q}^*</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>
e^{-\mathcal{S/\gamma_g}}\biggl[P^*\biggr]^{1/\gamma_g}
\, ,</math>
  </td>
</tr>
</table>
in which case,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\rho^*_\mathrm{eq}</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>
H(\zeta)\cdot [ \mathcal{Q}^*_\mathrm{eq}]_\mathrm{env}
+
H(-\zeta) \cdot [ \mathcal{Q}^*_\mathrm{eq}]_\mathrm{core}
\, .</math>
  </td>
</tr>
</table>
What happens if we perturb the pressure?  In either region (core or envelope),
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\mathcal{Q}^*</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
e^{-\mathcal{S/\gamma_g}} [P^*_\mathrm{eq}]^{1/\gamma_g}\biggl[ 1 + \frac{\delta P}{P^*_\mathrm{eq}}\biggr]^{1/\gamma_g}
\approx
e^{-\mathcal{S/\gamma_g}} [P^*_\mathrm{eq}]^{1/\gamma_g}\biggl[ 1 + \frac{1}{\gamma_g} \cdot \frac{\delta P}{P^*_\mathrm{eq}}\biggr]
=
[Q^*_\mathrm{eq}]\biggl[ 1 + \frac{1}{\gamma_g} \cdot \frac{\delta P}{P^*_\mathrm{eq}}\biggr]
\, .</math>
  </td>
</tr>
</table>
As a result,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\rho^* = \rho^*_\mathrm{eq} + \delta \rho</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>
H(\zeta)\cdot [ \mathcal{Q}^*]_\mathrm{env}
+
H(-\zeta) \cdot [ \mathcal{Q}^*]_\mathrm{core}
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
H(\zeta)\cdot \biggl\{[Q^*_\mathrm{eq}]\biggl[ 1 + \frac{1}{\gamma_g} \cdot \frac{\delta P}{P^*_\mathrm{eq}}\biggr]\biggr\}_\mathrm{env}
+
H(-\zeta) \cdot \biggl\{[Q^*_\mathrm{eq}]\biggl[ 1 + \frac{1}{\gamma_g} \cdot \frac{\delta P}{P^*_\mathrm{eq}}\biggr]\biggr\}_\mathrm{core}
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
H(\zeta)\cdot [Q^*_\mathrm{eq}]_\mathrm{env}
+
H(-\zeta) \cdot [Q^*_\mathrm{eq}]_\mathrm{core}
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
&nbsp;
  </td>
  <td align="left">
<math>
+~
H(\zeta)\cdot \biggl\{[Q^*_\mathrm{eq}]\biggl[ \frac{1}{\gamma_g} \cdot \frac{\delta P}{P^*_\mathrm{eq}}\biggr]\biggr\}_\mathrm{env}
+
H(-\zeta) \cdot \biggl\{[Q^*_\mathrm{eq}]\biggl[ \frac{1}{\gamma_g} \cdot \frac{\delta P}{P^*_\mathrm{eq}}\biggr]\biggr\}_\mathrm{core}
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\rho^*_\mathrm{eq} +~
H(\zeta)\cdot \biggl\{[Q^*_\mathrm{eq}]\biggl[ \frac{1}{\gamma_g} \cdot \frac{\delta P}{P^*_\mathrm{eq}}\biggr]\biggr\}_\mathrm{env}
+
H(-\zeta) \cdot \biggl\{[Q^*_\mathrm{eq}]\biggl[ \frac{1}{\gamma_g} \cdot \frac{\delta P}{P^*_\mathrm{eq}}\biggr]\biggr\}_\mathrm{core}
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\Rightarrow ~~~ \frac{\delta\rho}{\rho^*_\mathrm{eq}}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{H(\zeta)}{\rho^*_\mathrm{eq}} \cdot \biggl\{[Q^*_\mathrm{eq}]\biggl[ \frac{1}{\gamma_g} \cdot \frac{\delta P}{P^*_\mathrm{eq}}\biggr]\biggr\}_\mathrm{env}
+
\frac{H(-\zeta)}{\rho^*_\mathrm{eq}} \cdot \biggl\{[Q^*_\mathrm{eq}]\biggl[ \frac{1}{\gamma_g} \cdot \frac{\delta P}{P^*_\mathrm{eq}}\biggr]\biggr\}_\mathrm{core}
</math>
  </td>
</tr>
</table>
==Set of Linearized Equations==
Borrowing from [[SSC/Perturbations#Summary_Set_of_Linearized_Equations|an accompanying discussion]], we have &hellip;
<div align="center">
<table border="1" cellpadding="10">
<tr><td align="center">
<font color="#770000">'''Linearized'''</font><br />
<span id="Continuity"><font color="#770000">'''Equation of Continuity'''</font></span><br />
<math>
r_0 \frac{dx}{dr_0} = - 3 x - d ,
</math><br />
<font color="#770000">'''Linearized'''</font><br />
<span id="PGE:Euler"><font color="#770000">'''Euler + Poisson Equations'''</font></span><br />
<math>
\frac{P_0}{\rho_0} \frac{dp}{dr_0}  = (4x + p)g_0 + \omega^2 r_0 x ,
</math><br />
<font color="#770000">'''Linearized'''</font><br />
<span id="PGE:AdiabaticFirstLaw">Adiabatic Form of the<br />
<font color="#770000">'''First Law of Thermodynamics'''</font></span><br />
<math>
p = \gamma_\mathrm{g} d  \, .
</math>
</td></tr>
</table>
</div>
Rearranging terms in the "Linearized Euler + Poisson Equations" as follows &hellip;
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\frac{1}{\rho_0} \cdot \frac{dp}{dr_0}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{1}{P_0}\biggl[ (4x + p)g_0 + \omega^2 r_0 x \biggr]
</math>
  </td>
</tr>
</table>
we realize that the expression on the RHS has the same value at the interface, whether you're viewing the equation from the point of view of the core or the envelope; and we recognize as well that <math>\rho_0</math> is a simple step function at the interface.  Hence, letting a prime indicate differentiation with respect to <math>r_0</math>, we can write,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>
H(\zeta)\cdot (p')_\mathrm{env}
+
H(-\zeta)\cdot (p')_\mathrm{core}
</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{[\rho_0]_\mathrm{core}}{P_0}\biggl[ (4x + p)g_0 + \omega^2 r_0 x \biggr]
\biggl\{
H(\zeta)\cdot \biggl[ \frac{\mu_e}{\mu_c} \biggr]
+
H(-\zeta) \biggr\} \, .
</math>
  </td>
</tr>
</table>
Analogously, the "Linearized Equation of Continuity" can be rewritten as,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>
H(\zeta)\cdot (x')_\mathrm{env}
+
H(-\zeta)\cdot (x')_\mathrm{core}
</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
- \frac{3x}{r_0}
-
\frac{1}{r_0}\biggl\{
H(\zeta)\cdot \biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{env}
+
H(-\zeta)\biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{core} \biggr\}
\, .
</math>
  </td>
</tr>
</table>
Now, given that <math>\zeta = (r_0/r_i - 1)</math>, we see that,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>
\frac{dH(\zeta)}{dr_0}
</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{\partial H(\zeta)}{\partial \zeta} \cdot \frac{d\zeta}{dr_0}
=
r_o^{-1} \delta(\zeta) \, ;
</math>
  </td>
</tr>
</table>
and,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>
\frac{dH(-\zeta)}{dr_0}
</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
-\frac{\partial H(\zeta)}{\partial \zeta} \cdot \frac{d\zeta}{dr_0}
=
-r_o^{-1} \delta(\zeta) \, .
</math>
  </td>
</tr>
</table>
Hence, differentiation of the "Linearized Equation of Continuity" gives,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>
\frac{d}{dr_0}\biggl[H(\zeta)\cdot (x')_\mathrm{env}\biggr]
+
\frac{d}{dr_0}\biggl[H(-\zeta)\cdot (x')_\mathrm{core}\biggr]
</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
-
\biggl[ \frac{3}{r_0} \cdot x' - \frac{3x}{r_0^2}\biggr]
-
\frac{1}{r_0} \frac{d}{dr_0}\biggl\{
H(\zeta)\cdot \biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{env}
+
H(-\zeta)\biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{core} \biggr\}
+
\frac{1}{r_0^2}\biggl\{
H(\zeta)\cdot \biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{env}
+
H(-\zeta)\biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{core} \biggr\}
\, .
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\Rightarrow ~~~
(x')_\mathrm{env}\frac{d}{dr_0}\biggl[H(\zeta)\biggr] + H(\zeta)\cdot (x'')_\mathrm{env}
+
(x')_\mathrm{core}\frac{d}{dr_0}\biggl[H(-\zeta)\biggr] + H(-\zeta)\cdot (x'')_\mathrm{core}
</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
-
\biggl[ \frac{3}{r_0} \cdot x' - \frac{3x}{r_0^2}\biggr]
+
\frac{1}{r_0^2}\biggl\{
H(\zeta)\cdot \biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{env}
+
H(-\zeta)\biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{core} \biggr\}
\, .
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
&nbsp;
  </td>
  <td align="left">
<math>
-
\frac{1}{r_0} \biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{env}\frac{d}{dr_0}\biggl\{H(\zeta) \biggr\}
-
\frac{1}{r_0} \biggl\{
H(\zeta)\cdot \biggl[ \frac{p'}{\gamma_g} \biggr]_\mathrm{env}
\biggr\}
-
\frac{1}{r_0} \biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{core} \frac{d}{dr_0}\biggl\{H(-\zeta) \biggr\}
-
\frac{1}{r_0} \biggl\{H(-\zeta)\biggl[ \frac{p'}{\gamma_g} \biggr]_\mathrm{core} \biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\Rightarrow ~~~
(x')_\mathrm{env} \biggl[\frac{\delta(\zeta)}{r_0}\biggr] + H(\zeta)\cdot (x'')_\mathrm{env}
-
(x')_\mathrm{core}\biggl[\frac{\delta(\zeta)}{r_0}\biggr] + H(-\zeta)\cdot (x'')_\mathrm{core}
</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
-
\biggl[ \frac{3}{r_0} \cdot x' - \frac{3x}{r_0^2}\biggr]
+
\frac{1}{r_0^2}\biggl\{
H(\zeta)\cdot \biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{env}
+
H(-\zeta)\biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{core} \biggr\}
\, .
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
&nbsp;
  </td>
  <td align="left">
<math>
-
\frac{1}{r_0} \biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{env} \biggl\{\frac{\delta(\zeta)}{r_0} \biggr\}
-
\frac{1}{r_0} \biggl\{
H(\zeta)\cdot \biggl[ \frac{p'}{\gamma_g} \biggr]_\mathrm{env}
\biggr\}
+
\frac{1}{r_0} \biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{core} \biggl\{\frac{\delta(\zeta)}{r_0} \biggr\}
-
\frac{1}{r_0} \biggl\{H(-\zeta)\biggl[ \frac{p'}{\gamma_g} \biggr]_\mathrm{core} \biggr\}
</math>
  </td>
</tr>
</table>
===From the Perspective of the Core===
When <math>r_0/r_i \le 1</math> &#8212; that is, from the perspective of the core while including the interface,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>
-
(x')_\mathrm{core}\biggl[\frac{\delta(\zeta)}{r_0}\biggr] + H(-\zeta)\cdot (x'')_\mathrm{core}
</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
-
\biggl[ \frac{3}{r_0} \cdot x' - \frac{3x}{r_0^2}\biggr]
+
\frac{1}{r_0^2}\biggl\{
H(-\zeta)\biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{core} \biggr\}
\, .
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
&nbsp;
  </td>
  <td align="left">
<math>
-
\frac{1}{r_0} \biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{env} \biggl\{\frac{\delta(\zeta)}{r_0} \biggr\}
+
\frac{1}{r_0} \biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{core} \biggl\{\frac{\delta(\zeta)}{r_0} \biggr\}
-
\frac{1}{r_0} \biggl\{H(-\zeta)\biggl[ \frac{p'}{\gamma_g} \biggr]_\mathrm{core} \biggr\}
</math>
  </td>
</tr>
</table>
And examining only the interface, where <math>\delta(\zeta) = 1</math> while <math>H(-\zeta) = 0</math>,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>
-
(x')_\mathrm{core}\biggl[\frac{\delta(\zeta)}{r_0}\biggr]
</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
-
\biggl[ \frac{3}{r_0} \cdot x' - \frac{3x}{r_0^2}\biggr]
-
\frac{1}{r_0} \biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{env} \biggl\{\frac{\delta(\zeta)}{r_0} \biggr\}
+
\frac{1}{r_0} \biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{core} \biggl\{\frac{\delta(\zeta)}{r_0} \biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>
\Rightarrow ~~~
- (x')_\mathrm{core}
</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
-
\biggl[ 3x' - \frac{3x}{r_0}\biggr]
-
\frac{1}{r_0} \biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{env}
+
\frac{1}{r_0} \biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{core}
</math>
  </td>
</tr>
</table>
===From the Perspective of the Envelope===
When <math>r_0/r_i \ge 1</math> &#8212; that is, from the perspective of the envelope while including the interface,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>
(x')_\mathrm{env} \biggl[\frac{\delta(\zeta)}{r_0}\biggr] + H(\zeta)\cdot (x'')_\mathrm{env}
</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
-
\biggl[ \frac{3}{r_0} \cdot x' - \frac{3x}{r_0^2}\biggr]
+
\frac{1}{r_0^2}\biggl\{
H(\zeta)\cdot \biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{env}
\biggr\}
\, .
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
&nbsp;
  </td>
  <td align="left">
<math>
-
\frac{1}{r_0} \biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{env} \biggl\{\frac{\delta(\zeta)}{r_0} \biggr\}
-
\frac{1}{r_0} \biggl\{
H(\zeta)\cdot \biggl[ \frac{p'}{\gamma_g} \biggr]_\mathrm{env}
\biggr\}
+
\frac{1}{r_0} \biggl[ \frac{p}{\gamma_g} \biggr]_\mathrm{core} \biggl\{\frac{\delta(\zeta)}{r_0} \biggr\}
</math>
  </td>
</tr>
</table>
==Focus on Nonlinear Continuity Equation==
A spherical shell of ''core'' density, <math>\rho_0</math>, where the inner radius of the shell is <math>(r_0 - \Delta r)</math> and its outer radius is <math>(r_0+\Delta r)</math> has a ''shell'' mass given by the expression,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>(\Delta m)_\mathrm{core}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{4\pi}{3} \cdot \rho_0 \biggl[
(r_0+\Delta r)^3 - (r_0 - \Delta r)^3
\biggr]
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{4\pi}{3} \cdot \rho_0 r_0^3 \biggl[
\biggl(1 + \frac{\Delta r}{r_0} \biggr)^3 - \biggl(1 - \frac{\Delta r}{r_0} \biggr)^3
\biggr]
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\Rightarrow ~~~ \biggl[ \frac{3}{4\pi \rho_0 r_0^3} \biggr](\Delta m)_\mathrm{core}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\biggl[1 + \frac{2\Delta r}{r_0} + \biggl(\frac{\Delta r}{r_0}\biggr)^2\biggr] \biggl(1 + \frac{\Delta r}{r_0} \biggr)
-
\biggl[1 - \frac{2\Delta r}{r_0} + \biggl(\frac{\Delta r}{r_0}\biggr)^2\biggr] \biggl(1 - \frac{\Delta r}{r_0} \biggr)
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\biggl[1 + \frac{3\Delta r}{r_0} + 3\biggl(\frac{\Delta r}{r_0}\biggr)^2 + \biggl(\frac{\Delta r}{r_0}\biggr)^3\biggr] 
-
\biggl[1 - \frac{3\Delta r}{r_0} + 3\biggl(\frac{\Delta r}{r_0}\biggr)^2 - \biggl(\frac{\Delta r}{r_0}\biggr)^3\biggr] 
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\biggl[ \frac{6\Delta r}{r_0} + 2\biggl(\frac{\Delta r}{r_0}\biggr)^3\biggr] 
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\Rightarrow ~~~ (\Delta m)_\mathrm{core}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\biggl[ \frac{4\pi \rho_0 r_0^3}{3} \biggr] \biggl[ \frac{6\Delta r}{r_0} + 2\biggl(\frac{\Delta r}{r_0}\biggr)^3\biggr] \, .
</math>
  </td>
</tr>
</table>
Similarly, as viewed from the perspective of the envelope, it has a shell mass of,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>(\Delta m)_\mathrm{env}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{4\pi}{3} \cdot \biggl(\frac{\mu_e}{\mu_c}\biggr) \rho_0 \biggl[
(r_0+\Delta r)^3 - (r_0 - \Delta r)^3
\biggr]
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\biggl(\frac{\mu_e}{\mu_c}\biggr)
\biggl[ \frac{4\pi \rho_0 r_0^3}{3} \biggr] \biggl[ \frac{6\Delta r}{r_0} + 2\biggl(\frac{\Delta r}{r_0}\biggr)^3\biggr] \, .
</math>
  </td>
</tr>
</table>
Better yet, pick the two edges of the shell, <math>r_+</math> and <math>r_-</math>, and let <math>r_0 \equiv (r_+ + r_-)/2</math> and <math>\Delta r = (r_+ - r_-)/2</math>.  Given the value of <math>\rho_0</math>, the unperturbed mass in the shell is given by the above expression, that is,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>(\Delta m)_0</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\biggl[ \frac{4\pi \rho_0 r_0^3}{3} \biggr] \biggl[ \frac{6\Delta r}{r_0} + 2\biggl(\frac{\Delta r}{r_0}\biggr)^3\biggr] \, .
</math>
  </td>
</tr>
</table>
Now, let <math>r_+ \rightarrow (r_+)_0 + (\delta r_+), ~r_- \rightarrow (r_-)_0 + (\delta r_-), </math> and, <math>\rho_0 \rightarrow (\rho_0)_0 + (\delta \rho)</math>.  We then have,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>2r_0</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
[(r_+)_0 + (\delta r_+)] + [(r_-)_0 + (\delta r_-)] = 2(r_0)_0 + [\delta r_+ + \delta r_-] \, ;
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>2\Delta r</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
[(r_+)_0 + (\delta r_+)] - [(r_-)_0 + (\delta r_-)] = 2(\Delta r)_0 + [\delta r_+ - \delta r_-] \, ;
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\Rightarrow ~~~ \frac{\Delta r}{r_0}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{2(\Delta r)_0 + [\delta r_+ - \delta r_-]}{ 2(r_0)_0 + [\delta r_+ + \delta r_-] }
=
\frac{(\Delta r)_0}{(r_0)_0} \times
\biggl\{1 + \biggl[ \frac{\delta r_+ - \delta r_-}{2(\Delta r)_0} \biggr]  \biggr\}
\biggl\{1 + \biggl[ \frac{\delta r_+ + \delta r_-}{2(r_0)_0} \biggr]  \biggr\}^{-1}
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>\approx</math>
  </td>
  <td align="left">
<math>
\frac{(\Delta r)_0}{(r_0)_0} \times
\biggl\{1 + \biggl[ \frac{\delta r_+ - \delta r_-}{2(\Delta r)_0} \biggr]  \biggr\}
\biggl\{1 - \biggl[ \frac{\delta r_+ + \delta r_-}{2(r_0)_0} \biggr]  \biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>\approx</math>
  </td>
  <td align="left">
<math>
\frac{(\Delta r)_0}{(r_0)_0} \times
\biggl\{1 + \biggl[ \frac{\delta r_+ - \delta r_-}{2(\Delta r)_0} \biggr] 
- \biggl[ \frac{\delta r_+ + \delta r_-}{2(r_0)_0} \biggr]  \biggr\}
</math>
  </td>
</tr>
</table>
In order for the shell to have the same <math>\Delta m</math> in both the unperturbed and perturbed cases, the following relation must hold:
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>
\biggl[ \frac{8\pi (\rho_0)_0 (r_0)_0^3}{3} \biggr] \biggl\{
\frac{3(\Delta r)_0}{(r_0)_0} + \biggl[ \frac{(\Delta r)_0}{(r_0)_0}\biggr ]^3
\biggr\}
</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\biggl\{ \frac{\pi [(\rho_0)_0 + \delta\rho] [2r_0]^3}{2\cdot 3} \biggr\} 
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
&nbsp;
  </td>
  <td align="left">
<math>
\times 2\biggl\{ \frac{3\Delta r}{r_0} + \biggl(\frac{\Delta r}{r_0}\biggr)^3\biggr\}
</math>
  </td>
</tr>
</table>
=Work With Pair of First-Order Linearized Equations=
==Equilibrium Structures Using Preferred Normalizations==
Working from our [[SSC/Structure/BiPolytropes/Analytic51Renormalize#BiPolytrope_with_(nc,_ne)_=_(5,_1)|earlier "new" normalization]] &#8212; which was done in the context of our [[SSC/Structure/BiPolytropes/Analytic51Renormalize#Model_Pairings|examination of the B-KB74 conjecture]] &#8212; that is, by setting,
<table border="1" align="center" width="80%" cellpadding="5"><tr><td align="left">
<div align="center"><b>New Normalization</b></div>
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\tilde\rho</math></td>
  <td align="center"><math>\equiv</math></td>
  <td align="left"><math>\rho \biggl[\biggl( \frac{K_c}{G} \biggr)^{3 / 2} \frac{1}{M_\mathrm{tot}} \biggr]^{-5} \, ;</math></td>
</tr>
<tr>
  <td align="right"><math>\tilde{P}</math></td>
  <td align="center"><math>\equiv</math></td>
  <td align="left"><math>P \biggl[K_c^{-10} G^{9} M_\mathrm{tot}^{6}  \biggr] \, ;</math></td>
</tr>
<tr>
  <td align="right"><math>\tilde{r}</math></td>
  <td align="center"><math>\equiv</math></td>
  <td align="left"><math>r \biggl[\biggl( \frac{K_c}{G} \biggr)^{5 / 2} M_\mathrm{tot}^{-2}  \biggr]\, ,</math></td>
</tr>
<tr>
  <td align="right"><math>\tilde{M}_r</math></td>
  <td align="center"><math>\equiv</math></td>
  <td align="left"><math>\frac{M_r}{M_\mathrm{tot}} \, ;</math></td>
</tr>
<tr>
  <td align="right"><math>\tilde{H}</math></td>
  <td align="center"><math>\equiv</math></td>
  <td align="left"><math>H \biggl[K_c^{-5 / 2} G^{3 / 2} M_\mathrm{tot} \biggr] \, .</math></td>
</tr>
</table>
</td></tr></table>
and after adopting the notation,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\mathcal{m}_\mathrm{surf}</math></td>
  <td align="center"><math>\equiv</math></td>
  <td align="left"><math>\biggl(\frac{2}{\pi}\biggr)^{1 / 2} \theta_i^{-1}\biggl(-\eta^2 \frac{d\phi}{d\eta}\biggr)_s
= \biggl(\frac{2}{\pi}\biggr)^{1 / 2} \frac{A\eta_s}{\theta_i} \, ,</math></td>
</tr>
</table>
(see [[#interfaceValues|definitions of <math>A</math>, <math>\eta_s</math>, and <math>\theta_i</math> given below]]) we have throughout the core,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\tilde{\rho}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>\mathcal{m}_\mathrm{surf}^5 \biggl(\frac{\mu_e}{\mu_c}\biggr)^{-10}
\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-5/2} \, ;</math>
  </td>
</tr>
<tr>
  <td align="right"><math>\tilde{P}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>\mathcal{m}_\mathrm{surf}^6 \biggl(\frac{\mu_e}{\mu_c}\biggr)^{-12}
\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-3} \, ;</math>
  </td>
</tr>
<tr>
  <td align="right"><math>\tilde{r}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>\mathcal{m}_\mathrm{surf}^{-2} \biggl(\frac{\mu_e}{\mu_c}\biggr)^{4}
\biggl(\frac{3}{2\pi}\biggr)^{1/2} \xi \, ;</math>
  </td>
</tr>
<tr>
  <td align="right"><math>\tilde{M}_r</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>\mathcal{m}_\mathrm{surf}^{-1} \biggl(\frac{\mu_e}{\mu_c}\biggr)^{2}
\biggl( \frac{2\cdot 3}{\pi } \biggr)^{1/2} \xi^3 \biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-3/2}  \, .</math>
  </td>
</tr>
</table>
<table border="1" width="80%" align="center" cellpadding="8"><tr><td align="left">
[[#FromEarlier|For later use]], note that,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\frac{\tilde{\rho}}{\tilde{P}} \cdot \frac{\tilde{M}_r}{\tilde{r}^2}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\biggl[ \mathcal{m}_\mathrm{surf}^5 \biggl(\frac{\mu_e}{\mu_c}\biggr)^{-10}
\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-5/2} \biggr]
\biggl[
\mathcal{m}_\mathrm{surf}^{-6} \biggl(\frac{\mu_e}{\mu_c}\biggr)^{12}
\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{3}
\biggr]
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center">&nbsp;</td>
  <td align="left">
<math>\times
\biggl[
\mathcal{m}_\mathrm{surf}^{-1} \biggl(\frac{\mu_e}{\mu_c}\biggr)^{2}
\biggl( \frac{2\cdot 3}{\pi } \biggr)^{1/2}  \xi^3 \biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-3/2} \biggr]
\biggl[
\mathcal{m}_\mathrm{surf}^{4} \biggl(\frac{\mu_e}{\mu_c}\biggr)^{-8}
\biggl(\frac{3}{2\pi}\biggr)^{-1} \xi^{-2}\biggr]
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\mathcal{m}_\mathrm{surf}^2 \biggl(\frac{\mu_e}{\mu_c}\biggr)^{-4}
\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-1} \xi~
\biggl(\frac{2^3\pi}{3}\biggr)^{1 / 2}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
2\biggl[\frac{\xi}{\tilde{r}} \biggr]
\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-1} \xi
</math>
  </td>
</tr>
</table>
Note as well that,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\frac{\tilde{r}^3}{\tilde{M}_r}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\biggl[
\mathcal{m}_\mathrm{surf}^{-1} \biggl(\frac{\mu_e}{\mu_c}\biggr)^{2}
\biggl( \frac{2\cdot 3}{\pi } \biggr)^{1/2}  \xi^3 \biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-3/2} \biggr]^{-1}
\biggl[
\mathcal{m}_\mathrm{surf}^{-2} \biggl(\frac{\mu_e}{\mu_c}\biggr)^{4}
\biggl(\frac{3}{2\pi}\biggr)^{1/2} \xi \biggr]^{3}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\biggl[
\mathcal{m}_\mathrm{surf} \biggl(\frac{\mu_e}{\mu_c}\biggr)^{-2}
\biggl( \frac{4\cdot 3}{2\pi } \biggr)^{-1/2}  \xi^{-3} \biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{3/2} \biggr]
\biggl[
\mathcal{m}_\mathrm{surf}^{-6} \biggl(\frac{\mu_e}{\mu_c}\biggr)^{12}
\biggl(\frac{3}{2\pi}\biggr)^{3/2} \xi^3 \biggr]
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\biggl[
\mathcal{m}_\mathrm{surf}^{-5} \biggl(\frac{\mu_e}{\mu_c}\biggr)^{10}
\biggl( \frac{3}{4\pi } \biggr) \biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{3/2} \biggr]
</math>
  </td>
</tr>
</table>
</td></tr></table>
Similarly, throughout the envelope, we find,
<div align="center">
<table border="0" cellpadding="3">
<tr>
  <td align="right">
<math>\tilde\rho</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\mathcal{m}_\mathrm{surf}^5 \biggl( \frac{\mu_e}{\mu_c} \biggr)^{-9} \theta^{5}_i \phi \, ;</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\tilde{P}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\mathcal{m}_\mathrm{surf}^6 \biggl(\frac{\mu_e}{\mu_c}\biggr)^{-12} \theta^{6}_i \phi^{2} \, ;</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\tilde{r}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\mathcal{m}_\mathrm{surf}^{-2} \biggl( \frac{\mu_e}{\mu_c} \biggr)^{3} \theta^{-2}_i (2\pi)^{-1/2}\eta \, ;</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\tilde{M}_r</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\mathcal{m}_\mathrm{surf}^{-1}~ \theta^{-1}_i \biggl( \frac{2}{\pi} \biggr)^{1/2} \biggl(-\eta^2 \frac{d\phi}{d\eta} \biggr) \, ,</math>
  </td>
</tr>
</table>
</div>
where,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\phi</math></td>
  <td align="center"><math>=</math></td>
  <td align="left"><math>A\biggl[ \frac{\sin(\eta - B)}{\eta}\biggr] \, ,</math></td>
</tr>
<tr>
  <td align="right"><math>\frac{d\phi}{d\eta}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left"><math>\frac{A}{\eta^2}\biggl[ \eta \cos(\eta-B) - \sin(\eta-B)\biggr] \, ,</math></td>
</tr>
</table>
<span id="interfaceValues">and,</span>
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\theta_i</math></td>
  <td align="center"><math>=</math></td>
  <td align="left"><math>\biggl(1+\frac{1}{3}\xi_i^2\biggr)^{-1 / 2} \, ,</math></td>
</tr>
<tr>
  <td align="right"><math>\eta_i</math></td>
  <td align="center"><math>=</math></td>
  <td align="left"><math>\biggl(\frac{\mu_e}{\mu_c}\biggr)~ \sqrt{3} \theta_i^2 \xi_i \, ,</math></td>
</tr>
<tr>
  <td align="right"><math>\Lambda_i</math></td>
  <td align="center"><math>=</math></td>
  <td align="left"><math>\frac{\xi_i}{\sqrt{3}}
\biggl[ \biggl(\frac{\mu_e}{\mu_c}\biggr)^{-1}\frac{1}{\theta_i^2 \xi_i^2} - 1\biggr] \, ,</math></td>
</tr>
<tr>
  <td align="right"><math>A</math></td>
  <td align="center"><math>=</math></td>
  <td align="left"><math>
\eta_i\biggl(1 + \Lambda_i^2\biggr)^{1 / 2} \, ,</math></td>
</tr>
<tr>
  <td align="right"><math>B</math></td>
  <td align="center"><math>=</math></td>
  <td align="left"><math>
\eta_i - \frac{\pi}{2} + \tan^{-1}(\Lambda_i) \, ,</math></td>
</tr>
<tr>
  <td align="right"><math>\eta_s = \pi + B</math></td>
  <td align="center"><math>=</math></td>
  <td align="left"><math>
\frac{\pi}{2} + \eta_i + \tan^{-1}(\Lambda_i) \, .</math></td>
</tr>
</table>
Keep in mind, as well, that,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\nu \equiv \frac{M_\mathrm{core}}{M_\mathrm{tot}}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left"><math>\biggl(\frac{\mu_e}{\mu_c}\biggr)^2 \sqrt{3} ~ \biggl[ \frac{\xi_i^3 \theta_i^4}{A\eta_s}\biggr] \, ,</math></td>
</tr>
<tr>
  <td align="right"><math>q \equiv \frac{r_\mathrm{core}}{R}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left"><math>\biggl(\frac{\mu_e}{\mu_c}\biggr) \sqrt{3} ~ \biggl[ \frac{\xi_i \theta_i^2}{\eta_s}\biggr] \, .</math></td>
</tr>
</table>
==Linearized Equations With Preferred Normalizations==
===Review and Elaborate===
<div align="center">
<table border="1" cellpadding="10">
<tr><td align="center">
<font color="#770000">'''Linearized'''</font><br />
<span id="Continuity"><font color="#770000">'''Equation of Continuity'''</font></span><br />
<math>
r_0 \frac{dx}{dr_0} = - 3 x - d ,
</math><br />
<font color="#770000">'''Linearized'''</font><br />
<span id="PGE:Euler"><font color="#770000">'''Euler + Poisson Equations'''</font></span><br />
<math>
\frac{P_0}{\rho_0} \frac{dp}{dr_0}  = (4x + p)g_0 + \omega^2 r_0 x ,
</math><br />
<font color="#770000">'''Linearized'''</font><br />
<span id="PGE:AdiabaticFirstLaw">Adiabatic Form of the<br />
<font color="#770000">'''First Law of Thermodynamics'''</font></span><br />
<math>
p = \gamma_\mathrm{g} d  \, .
</math>
</td></tr>
</table>
</div>
The LHS of the "linearized Euler + Poisson" equation is rewritten as,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\mathrm{LHS} = \frac{P_0}{\rho_0} \frac{dp}{dr_0}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\biggl[K_c^{-10} G^{9} M_\mathrm{tot}^{6}  \biggr]^{-1}\tilde{P}
\biggl[\biggl( \frac{K_c}{G} \biggr)^{3 / 2} \frac{1}{M_\mathrm{tot}} \biggr]^{-5} \tilde{\rho}^{-1}
\biggl[\biggl( \frac{K_c}{G} \biggr)^{5 / 2} M_\mathrm{tot}^{-2}  \biggr] \frac{dp}{d\tilde{r}}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{\tilde{P}}{\tilde{\rho}} \frac{dp}{d\tilde{r}}
\biggl[K_c^{10} G^{-9} M_\mathrm{tot}^{-6}  \biggr]
\biggl[ G^{15/2} K_c^{-15/2}  M_\mathrm{tot}^5 \biggr]
\biggl[K_c^{5/2} G^{-5/2} M_\mathrm{tot}^{-2}  \biggr]
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{\tilde{P}}{\tilde{\rho}} \frac{dp}{d\tilde{r}}
\biggl[K_c^{5} G^{-4} M_\mathrm{tot}^{-3}  \biggr]
\, ;</math>
  </td>
</tr>
</table>
and,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>g_0 = \frac{GM_r}{r_0^2}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
GM_\mathrm{tot} \tilde{M}_r
\biggl[\biggl( \frac{K_c}{G} \biggr)^{5 / 2} M_\mathrm{tot}^{-2}  \biggr]^2 \tilde{r}^{-2}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{\tilde{M}_r}{\tilde{r}^2}
\biggl[\biggl( \frac{K_c}{G} \biggr)^{5 / 2} M_\mathrm{tot}^{-2}  \biggr]^2
GM_\mathrm{tot}
</math>
  </td>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{\tilde{M}_r}{\tilde{r}^2}
\biggl[K_c^5 G^{-4}M_\mathrm{tot}^{-3}  \biggr]
\, .
</math>
  </td>
</tr>
</table>
Therefore, multiplying the full equation through by <math>[K_c^{-5} G^4 M_\mathrm{tot}^3]</math> gives,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\frac{\tilde{P}}{\tilde{\rho}} \frac{dp}{d \tilde{r}} </math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
(4x + p)\frac{\tilde{M}_r}{\tilde{r}^2}
+
\biggl[K_c^{-5} G^4 M_\mathrm{tot}^3 \biggr] \biggl[\biggl( \frac{K_c}{G} \biggr)^{5 / 2} M_\mathrm{tot}^{-2}  \biggr]^{-1} \omega^2 \tilde{r} x
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
(4x + p)\frac{\tilde{M}_r}{\tilde{r}^2}
+
\tau_c^2 \omega^2 \tilde{r} x \, ,
</math>
  </td>
</tr>
</table>
where the square of the characteristic timescale,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math> \tau_c^2</math></td>
  <td align="center"><math>\equiv</math></td>
  <td align="left">
<math>
\biggl[ K_c^{-15/2} G^{13/2} M_\mathrm{tot}^{5}  \biggr] \, .
</math>
  </td>
</tr>
</table>
<table border="1" align="center" cellpadding="8" width="75%"><tr><td align="left">
<font color="red">ASIDE:</font>&nbsp;  Building on [[SSC/Stability/Polytropes#Numerical_Integration_from_the_Center,_Outward|an associated discussion]], the square of the dimensionless frequency also can be represented by the expression,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\sigma_c^2 \equiv \frac{3\omega^2}{2\pi G\rho_c}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{3\omega^2}{2\pi \tilde{\rho}_c} \biggl[\biggl( \frac{G}{K_c} \biggr)^{15 / 2} M_\mathrm{tot}^5 \biggr]G^{-1}
=
\frac{3\tau_c^2 \omega^2}{2\pi \tilde{\rho}_c} \, ,
</math>
  </td>
</tr>
</table>
where,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\tilde{\rho}_c</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
m_\mathrm{surf}^5 \biggl(\frac{\mu_e}{\mu_c}\biggr)^{-10} \, .
</math>
  </td>
</tr>
</table>
</td></tr></table>
<span id="FromEarlier">Hence we can write,</span>
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\frac{dp}{d \tilde{r}} </math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{\tilde{\rho}}{\tilde{P}} \cdot \frac{\tilde{M}_r}{\tilde{r}^2}
\biggl[(4x + p)
+
\tau_c^2 \omega^2 \biggl(\frac{\tilde{r}^3 }{\tilde{M}_r}\biggr) x \biggr]
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{\tilde{\rho}}{\tilde{P}} \cdot \frac{\tilde{M}_r}{\tilde{r}^2}
\biggl[ (4x + p)
+
\sigma_c^2 \biggl(\frac{2\pi}{3} \cdot \frac{\tilde{\rho}_c \tilde{r}^3 }{\tilde{M}_r}\biggr) x \biggr] \, .
</math>
  </td>
</tr>
</table>
----
Focusing on the core &hellip;
As demonstrated earlier, the leading term on the RHS of this expression can be rewritten to give,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\frac{dp}{d \tilde{r}} </math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
2\biggl[\frac{\xi}{\tilde{r}} \biggr]
\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-1} \xi
\biggl[ (4x + p)
+
\sigma_c^2 \biggl(\frac{2\pi}{3} \cdot \frac{\tilde{\rho}_c \tilde{r}^3 }{\tilde{M}_r}\biggr) x \biggr]
</math>
  </td>
</tr>
<tr>
  <td align="right"><math>\Rightarrow ~~~ \frac{dp}{d \xi} </math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
2\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-1} \xi
\biggl[ (4x + p)
+
\sigma_c^2 \biggl(\frac{2\pi}{3} \cdot \frac{\tilde{\rho}_c \tilde{r}^3 }{\tilde{M}_r}\biggr) x \biggr]
\, .
</math>
  </td>
</tr>
</table>
Noting as well that,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\tilde{\rho}_c \biggl( \frac{\tilde{r}^3}{\tilde{M}_r}\biggr)</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
m_\mathrm{surf}^5 \biggl(\frac{\mu_e}{\mu_c}\biggr)^{-10}
\biggl[
\mathcal{m}_\mathrm{surf}^{-5} \biggl(\frac{\mu_e}{\mu_c}\biggr)^{10}
\biggl( \frac{3}{4\pi } \biggr) \biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{3/2}
\biggr]
=
\frac{3}{4\pi } \biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{3/2} \, ,
</math>
  </td>
</tr>
</table>
we have,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\frac{dp}{d \xi} </math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
2\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-1} \xi
\biggl[ (4x + p)
+
\frac{\sigma_c^2}{2} \biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{3/2} x \biggr] \, .
</math>
  </td>
</tr>
</table>
===At the Center===
====All &sigma;<sup>2</sup>====
According to our [[Appendix/Ramblings/PowerSeriesExpressions#Displacement_Function_for_Polytropic_LAWE|discussion in an appendix chapter]], starting from the center of the equilibrium configuration, the displacement function can be represented by a power-series expression of the form,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>x</math>
  </td>
  <td align="center">
<math>\approx</math>
  </td>
  <td align="left">
<math> 1 - \biggl[\frac{(n+1)\mathfrak{F}}{60}\biggr]\xi^2
\, ,</math>
  </td>
</tr>
</table>
where, <math>\mathfrak{F} \equiv (\sigma_c^2/\gamma - 2\alpha)</math>, and (see, for example, [[SSC/Structure/BiPolytropes/Analytic51Renormalize#Core|here]]),
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\xi</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
m_\mathrm{surf}^2 \biggl(\frac{\mu_e}{\mu_c}\biggr)^{-4} \biggl(\frac{2\pi}{3}\biggr)^{1 / 2} \tilde{r}
\, .</math>
  </td>
</tr>
</table>
Note that, at the center of our <math>(n_c, n_e) = (5, 1)</math> bipolytrope, <math>\gamma_g = 6/5</math>, so <math>\alpha = -1/3</math>.  Hence, for this particular investigation, the central boundary condition is,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>x</math>
  </td>
  <td align="center">
<math>\approx</math>
  </td>
  <td align="left">
<math> 1 -  \biggl[ \frac{\sigma_c^2}{12} + \frac{1}{15} \biggr]\xi^2
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>\approx</math>
  </td>
  <td align="left">
<math> 1 -  \biggl[ \frac{\sigma_c^2}{12} + \frac{1}{15} \biggr]
\biggl[ m_\mathrm{surf}^4 \biggl(\frac{\mu_e}{\mu_c}\biggr)^{-8} \biggl(\frac{2\pi}{3}\biggr) \biggr] \tilde{r}^2
\, .
</math>
  </td>
</tr>
</table>
Also, the derivative of this displacement function is,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\frac{dx}{d\xi}</math>
  </td>
  <td align="center">
<math>\approx</math>
  </td>
  <td align="left">
<math> -  2\biggl[ \frac{\sigma_c^2}{12} + \frac{1}{15} \biggr]\xi \, .
</math>
  </td>
</tr>
</table>
Hence,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>p = -\gamma_c\biggl[3x + \xi \cdot \frac{dx}{d\xi}\biggr]</math>
  </td>
  <td align="center">
<math>\approx</math>
  </td>
  <td align="left">
<math>-\frac{6}{5} \biggl\{ 3 \biggl[ 1 -  \biggl( \frac{\sigma_c^2}{12} + \frac{1}{15} \biggr)\xi^2 \biggr]
-  2\biggl( \frac{\sigma_c^2}{12} + \frac{1}{15} \biggr)\xi^2 \biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>-\frac{18}{5} \biggl[ 1 -  \frac{5}{3}\biggl( \frac{\sigma_c^2}{12} + \frac{1}{15} \biggr)\xi^2 \biggr] \, .
</math>
  </td>
</tr>
</table>
Furthermore, we find,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>(4x + p)</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
4\biggl[ 1 - \biggl( \frac{\sigma_c^2}{12} + \frac{1}{15} \biggr)\xi^2  \biggr]
-\frac{18}{5} \biggl[ 1 -  \frac{5}{3}\biggl( \frac{\sigma_c^2}{12} + \frac{1}{15} \biggr)\xi^2 \biggr] \, .
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\biggl[ \frac{20}{5} - 4\biggl( \frac{\sigma_c^2}{12} + \frac{1}{15} \biggr)\xi^2  \biggr]
+ \biggl[ - \frac{18}{5} + 6\biggl( \frac{\sigma_c^2}{12} + \frac{1}{15} \biggr)\xi^2 \biggr]
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\frac{2}{5} + 2\biggl( \frac{\sigma_c^2}{12} + \frac{1}{15} \biggr)\xi^2 \, .
</math>
  </td>
</tr>
</table>
Hence we have,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\frac{dp}{d \xi} </math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
2\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-1} \xi
\biggl\{
\frac{2}{5} + 2\biggl( \frac{\sigma_c^2}{12} + \frac{1}{15} \biggr)\xi^2
+
\frac{\sigma_c^2}{2} \biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{3/2}
\biggl[
1 -  \biggl( \frac{\sigma_c^2}{12} + \frac{1}{15} \biggr)\xi^2
\biggr]
\biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
2\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-1} \xi
\biggl\{
24 + 2\biggl( 5\sigma_c^2 + 4 \biggr)\xi^2
+
\frac{\sigma_c^2}{2} \biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{3/2}
\biggl[
60 -  \biggl( 5\sigma_c^2 + 4 \biggr)\xi^2
\biggr]
\biggr\}\frac{1}{60}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{1}{30}\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-1} \xi
\biggl\{
24 + 8\xi^2 +  10\sigma_c^2 \xi^2
+
30\sigma_c^2\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{3/2} 
-
\frac{\sigma_c^2}{2} \biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{3/2} \biggl( 4 + 5\sigma_c^2 \biggr)\xi^2
\biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{1}{30}\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-1} \xi
\biggl\{
\biggl[ 24 + 8\xi^2 +  10\sigma_c^2 \xi^2 \biggr]
+
\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{3/2}\biggl[
30\sigma_c^2 
-
2\sigma_c^2  \xi^2
-
\frac{5}{2} \sigma_c^4 \xi^2 \biggr]
\biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{1}{15}\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-1} \xi
\biggl[ 12 + 4\xi^2 +  5\sigma_c^2 \xi^2 \biggr]
+
\frac{\sigma_c^2 \xi}{30}
\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{1/2}\biggl[
30 
-
2  \xi^2
-
\frac{5}{2} \sigma_c^2 \xi^2 \biggr]
</math>
  </td>
</tr>
</table>
====Just &sigma;<sup>2</sup> = 0====
If we set <math>\sigma_c^2 = 0</math>, we have,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>p</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>-\frac{18}{5} +  \frac{2}{5} \xi^2
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\Rightarrow ~~~ \frac{dp}{d\xi}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>\frac{4}{5} \xi \, .
</math>
  </td>
</tr>
</table>
Alternatively, from immediately above,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\frac{dp}{d \xi}\biggr|_{\sigma_c^2=0} </math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{1}{15}\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-1} \xi
\biggl[ 12 + 4\xi^2 +  \cancelto{0}{5\sigma_c^2 \xi^2} \biggr]
+
\cancelto{0}{\frac{\sigma_c^2 \xi}{30} }
\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{1/2}\biggl[
30 
-
2  \xi^2
-
\frac{5}{2} \sigma_c^2 \xi^2 \biggr]
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{12}{15}\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-1} \xi
\biggl[ 1 + \frac{1}{3}\xi^2 \biggr]
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{4}{5}\xi \, .
</math>
  </td>
</tr>
</table>
Yes!  It  matches!
====Summary====
Moving from the center, outward thorough the core &#8212; that is, interior to the interface &#8212; we can assign values of <math>x(\xi)</math> and <math>p(\xi)</math> using the following approximate (''exact'' if <math>\sigma_c^2 = 0</math>) relations:
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>x</math>
  </td>
  <td align="center">
<math>\approx</math>
  </td>
  <td align="left">
<math> 1 -  \biggl[ \frac{\sigma_c^2}{12} + \frac{1}{15} \biggr]\xi^2 \, ;
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>p </math>
  </td>
  <td align="center">
<math>\approx</math>
  </td>
  <td align="left">
<math>-\frac{18}{5} \biggl[ 1 -  \frac{5}{3}\biggl( \frac{\sigma_c^2}{12} + \frac{1}{15} \biggr)\xi^2 \biggr] \, .
</math>
  </td>
</tr>
</table>
For all radial shells throughout the entire bipolytropic configuration, the pair of first derivatives can be evaluated using the following relations:
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\frac{dx}{d\tilde{r}}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math> -\frac{1}{\tilde{r}}\biggl[3x + \frac{p}{\gamma_g}\biggr] \, ;
</math>
  </td>
</tr>
<tr>
  <td align="right"><math>\frac{dp}{d \tilde{r}} </math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{\tilde{\rho}}{\tilde{P}} \cdot \frac{\tilde{M}_r}{\tilde{r}^2}
\biggl[ (4x + p)
+
\sigma_c^2 \biggl(\frac{2\pi}{3} \cdot \frac{\tilde{\rho}_c \tilde{r}^3 }{\tilde{M}_r}\biggr) x \biggr] \, .
</math>
  </td>
</tr>
</table>
Near the center, this pressure-derivative expression can be checked against the relation,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\frac{dp}{d \xi} </math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{1}{15}\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{-1} \xi
\biggl[ 12 + 4\xi^2 +  5\sigma_c^2 \xi^2 \biggr]
+
\frac{\sigma_c^2 \xi}{30}
\biggl( 1 + \frac{1}{3}\xi^2 \biggr)^{1/2}\biggl[
30 
-
2  \xi^2
-
\frac{5}{2} \sigma_c^2 \xi^2 \biggr] \, ;
</math>
  </td>
</tr>
</table>
notice that, in order to make this comparison, you need to multiply this last expression through by the ratio,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\frac{\xi}{\tilde{r}} </math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\mathcal{m}_\mathrm{surf}^{2} \biggl(\frac{\mu_e}{\mu_c}\biggr)^{-4}
\biggl(\frac{2\pi}{3}\biggr)^{1 / 2} \, .</math>
  </td>
</tr>
</table>
The comparison should be especially accurate in the case of <math>\sigma_c^2 = 0</math>.
===At the Interface===
See [[#Interface|below]].
===At the Surface===
Drawing from a [[SSC/Stability/Polytropes#Boundary_Conditions|separate discussion]], the surface boundary condition is,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~r_0 \frac{dx}{dr_0}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~\biggl( 4 - 3\gamma_g + \frac{\omega^2 R^3}{GM_\mathrm{tot}}\biggr) \frac{x}{\gamma_g}</math>&nbsp; &nbsp; &nbsp; &nbsp; at &nbsp; &nbsp; &nbsp; &nbsp; <math>~r_0 = R \, ,</math>
  </td>
</tr>
</table>
that is,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\frac{d\ln x}{d\ln \tilde{r}}\biggr|_s</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>- \alpha  + \frac{\omega^2 R^3}{\gamma_g GM_\mathrm{tot}}
\, ,</math>
  </td>
</tr>
</table>
where (see also, [[SSC/Stability/BiPolytropes#Review_of_the_Analysis_by_Murphy_&_Fiedler_(1985b)|here]]),
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\alpha</math>
  </td>
  <td align="center">
<math>\equiv</math>
  </td>
  <td align="left">
<math>3 - \frac{4}{\gamma_g} \, .</math>
  </td>
</tr>
</table>
Note that since,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>R^3</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\tilde{r}_s^3 \biggl[ G^{15/2} K_c^{-15/2} M_\mathrm{tot}^6\biggr]
\, ,</math>
  </td>
</tr>
</table>
in terms of our adopted normalizations, the frequency-squared term should be rewritten as,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\frac{\omega^2 R^3}{\gamma_g G M_\mathrm{tot}}</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
\tilde{r}_s^3 \biggl[ \frac{\omega^2 \tau_c^2}{\gamma_g}\biggr]
\, .</math>
  </td>
</tr>
</table>
Note as well that, at the surface of our <math>(n_c, n_e) = (5, 1)</math> bipolytrope, <math>\gamma_g = 2</math>, so <math>\alpha = +1</math>.  Hence, for this particular investigation, the surface boundary condition is,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>\frac{d\ln x}{d\ln \tilde{r}}\biggr|_s</math>
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math> \frac{1}{2}\biggl[ \tilde{r}_s^3\omega^2 \tau_c^2\biggr] -1
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math> \frac{\tilde{r}_s^3}{6}\biggl[ 2\pi \tilde{\rho}_c\sigma_c^2\biggr] -1
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math> \frac{\tilde{r}_s^3}{6}\biggl[ 2\pi \tilde{\rho}_c\sigma_c^2\biggr]\frac{ 3 }{4\pi \tilde{r}_s^3 \tilde{\rho}_\mathrm{mean}} -1
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math> \frac{1}{4}\biggl( \frac{ \tilde{\rho}_c }{\tilde{\rho}_\mathrm{mean}}\biggr)\sigma_c^2  -1 \, .
</math>
  </td>
</tr>
</table>
This result should be compared with our [[SSC/Stability/BiPolytropes#Eigenfunction_Details|separate discussion of ''eigenfunction details'']].
==Discretize for Numerical Integration==
===General Discretization===
====First Approximation====
Now, let's set up a grid associated with a uniformly spaced spherical radius, where the subscript <math>J</math> denotes the grid zone at which all terms in the finite-difference representation of the governing relations will be evaluated.  More specifically,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\tilde{r}_{J-1}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\tilde{r}_J - \Delta\tilde{r}
</math>
  </td>
<td align="center">&nbsp; &nbsp; &nbsp; and &nbsp; &nbsp; &nbsp;</td>
  <td align="right"><math>\tilde{r}_{J+1}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\tilde{r}_J + \Delta\tilde{r} \, ;
</math>
  </td>
</tr>
</table>
also,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\biggl(\frac{dx}{d\tilde{r}}\biggr)_{J}</math></td>
  <td align="center"><math>\approx</math></td>
  <td align="left">
<math>
\frac{(x_{J+1} - x_{J-1})}{2\Delta\tilde{r}}
</math>
  </td>
<td align="center">&nbsp; &nbsp; &nbsp; and &nbsp; &nbsp; &nbsp;</td>
  <td align="right"><math>\biggl(\frac{dp}{d\tilde{r}}\biggr)_{J}</math></td>
  <td align="center"><math>\approx</math></td>
  <td align="left">
<math>
\frac{(p_{J+1} - p_{J-1})}{2\Delta\tilde{r}} \, .
</math>
  </td>
</tr>
</table>
And at each grid location, the governing relations establish the local evaluation of the derivatives, that is,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\biggl(\frac{dx}{d \tilde{r}}\biggr)_J </math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
- \frac{1}{\tilde{r}_J}\biggl[
3x + \frac{p}{\gamma_g}\biggr]_J \, ,
</math>
  </td>
<td align="center">&nbsp; &nbsp; &nbsp; and &nbsp; &nbsp; &nbsp;</td>
  <td align="right"><math>\biggl(\frac{dp}{d \tilde{r}}\biggr)_J </math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{\tilde{\rho}_J}{\tilde{P}_J}\biggl[
(4x + p)\frac{\tilde{M}_r}{\tilde{r}^2}
+
\tau_c^2 \omega^2 \tilde{r} x \biggr]_J \, .
</math>
  </td>
</tr>
</table>
<span id="1stapprox">So, integrating</span> step-by-step from the center of the configuration, outward, once all the variable values are known at grid locations <math>J</math> and <math>(J-1)</math>, the values of <math>x</math> and <math>p</math> at <math>(J+1)</math> are given by the expressions,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>x_{J+1}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_{J-1} - 2\Delta\tilde{r} \biggl\{
\frac{1}{\tilde{r}}\biggl[
3x + \frac{p}{\gamma_g}\biggr]
\biggr\}_J \, ,
</math>
  </td>
<td align="center">&nbsp; &nbsp; &nbsp; and &nbsp; &nbsp; &nbsp;</td>
  <td align="right"><math>p_{J+1}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
p_{J-1} + 2\Delta\tilde{r}
\biggl\{
\frac{\tilde{\rho}}{\tilde{P}} \cdot \frac{\tilde{M}_r}{\tilde{r}^2}
\biggl[ (4x + p)
+
\sigma_c^2 \biggl(\frac{2\pi}{3} \cdot \frac{\tilde{\rho}_c \tilde{r}^3 }{\tilde{M}_r}\biggr) x \biggr]
\biggr\}_J\, .
</math>
  </td>
</tr>
</table>
Then we will obtain the "<math>x_J</math>" and "<math>p_J</math>" values via the ''average'' expressions,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>x_{J}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{1}{2}(x_{J-1} + x_{J+1})
\, ,
</math>
  </td>
<td align="center">&nbsp; &nbsp; &nbsp; and &nbsp; &nbsp; &nbsp;</td>
  <td align="right"><math>p_{J}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{1}{2}(p_{J-1} + p_{J+1})
\, .
</math>
  </td>
</tr>
</table>
<table border="1" align="center" cellpadding="8" width="80%"><tr><td align="left">
Consider implementing a more ''implicit'' finite-difference analysis.  Wherever a "<math>J</math>" index appears in the source term, replace it with the ''average expressions.''  The general form of the source term expressions is,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>x_{J+1}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_{J-1} + 2\Delta\tilde{r} \biggl\{
\mathcal{A}x_J + \mathcal{B}p_J
\biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_{J-1} + \Delta\tilde{r} \biggl\{
\mathcal{A}\biggl[x_{J+1}+x_{J-1}\biggr] + \mathcal{B}\biggl[p_{J+1}+p_{J-1}\biggr]
\biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right"><math>\Rightarrow ~~~ x_{J+1}\biggl[1 - \Delta\tilde{r} \mathcal{A}  \biggr]</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_{J-1}\biggl[1 + \Delta\tilde{r}\mathcal{A}\biggr] + \Delta\tilde{r}
\mathcal{B}\biggl[p_{J+1}+p_{J-1}\biggr]
\, ,
</math>
  </td>
</tr>
</table>
where,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\mathcal{A}</math></td>
  <td align="center"><math>\equiv</math></td>
  <td align="left">
<math>
- \frac{3}{\tilde{r}} \, ,
</math>
  </td>
<td align="center">&nbsp; &nbsp; &nbsp; and &nbsp; &nbsp; &nbsp;</td>
  <td align="right"><math>\mathcal{B}</math></td>
  <td align="center"><math>\equiv</math></td>
  <td align="left">
<math>
- \frac{1}{\gamma_g \tilde{r}} \, ;
</math>
  </td>
</tr>
</table>
and,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>p_{J+1}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
p_{J-1} + 2\Delta\tilde{r} \biggl\{
\mathcal{C}x_J + \mathcal{D}p_J
\biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
p_{J-1} + \Delta\tilde{r} \biggl\{
\mathcal{C}\biggl[x_{J+1}+x_{J-1}\biggr] + \mathcal{D}\biggl[p_{J+1}+p_{J-1}\biggr]
\biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right"><math>\Rightarrow ~~~ p_{J+1}\biggl[1 - \Delta\tilde{r} \mathcal{D}  \biggr]</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
p_{J-1}\biggl[1 + \Delta\tilde{r}\mathcal{D}\biggr] + \Delta\tilde{r}
\mathcal{C}\biggl[x_{J+1}+x_{J-1}\biggr]
\, ,
</math>
  </td>
</tr>
</table>
where,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\mathcal{C}</math></td>
  <td align="center"><math>\equiv</math></td>
  <td align="left">
<math>
\biggl\{
\mathcal{D}
\biggl[ 4
+
\sigma_c^2 \biggl(\frac{2\pi}{3} \cdot \frac{\tilde{\rho}_c \tilde{r}^3 }{\tilde{M}_r}\biggr)  \biggr]
\biggr\}_J\, ,
</math>
  </td>
<td align="center">&nbsp; &nbsp; &nbsp; and &nbsp; &nbsp; &nbsp;</td>
  <td align="right"><math>\mathcal{D}</math></td>
  <td align="center"><math>\equiv</math></td>
  <td align="left">
<math>
\biggl\{
\frac{\tilde{\rho}}{\tilde{P}} \cdot \frac{\tilde{M}_r}{\tilde{r}^2}
\biggr\}_J\, .
</math>
  </td>
</tr>
</table>
In both cases, the two unknowns are <math>x_{J+1}</math> and <math>p_{J+1}</math>.  Combining this pair of equations gives,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>x_{J+1}\biggl[1 - \Delta\tilde{r} \mathcal{A}  \biggr]</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_{J-1}\biggl[1 + \Delta\tilde{r}\mathcal{A}\biggr]
+ \Delta\tilde{r} \mathcal{B}\biggl[p_{J-1}\biggr]
+ \Delta\tilde{r} \mathcal{B}\biggl[1 - \Delta\tilde{r} \mathcal{D}  \biggr]^{-1}\biggl\{
p_{J-1}\biggl[1 + \Delta\tilde{r}\mathcal{D}\biggr] + \Delta\tilde{r}
\mathcal{C}\biggl[x_{J+1}+x_{J-1}\biggr]
\biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right"><math>\Rightarrow ~~~ x_{J+1}\biggl\{ 1 - \Delta\tilde{r} \mathcal{A} 
- \Delta\tilde{r} \mathcal{B}\biggl[1 - \Delta\tilde{r} \mathcal{D}  \biggr]^{-1}\biggl[ \Delta\tilde{r} \mathcal{C}\biggr]
\biggr\}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_{J-1}\biggl[1 + \Delta\tilde{r}\mathcal{A}\biggr]
+ \Delta\tilde{r} \mathcal{B}\biggl[p_{J-1}\biggr]
+ \Delta\tilde{r} \mathcal{B}\biggl[1 - \Delta\tilde{r} \mathcal{D}  \biggr]^{-1}\biggl\{
p_{J-1}\biggl[1 + \Delta\tilde{r}\mathcal{D}\biggr] + \Delta\tilde{r}
\mathcal{C}\biggl[x_{J-1}\biggr]
\biggr\} \, ,
</math>
  </td>
</tr>
</table>
which determines <math>x_{J+1}</math>, which then allows the straightforward determination of <math>p_{J+1}</math>.  Via the ''average'' expressions, we can also then determine &#8212; and record &#8212; the self-consistent values of <math>x_J</math> and <math>p_J</math>.
----
Dropping terms <math>\mathcal{O}[(\Delta\tilde{r})^2]</math> and higher gives,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>x_{J+1}\biggl[ 1 - \Delta\tilde{r} \mathcal{A} 
\biggr]_J</math></td>
  <td align="center"><math>\approx</math></td>
  <td align="left">
<math>
x_{J-1}\biggl[1 + \Delta\tilde{r}\mathcal{A}\biggr]_J
+ \Delta\tilde{r} \mathcal{B}_J\biggl[p_{J-1}\biggr]
\, ,
</math>
  </td>
</tr>
</table>
and, in turn,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>p_{J+1}\biggl[1 - \Delta\tilde{r} \mathcal{D}  \biggr]_J</math></td>
  <td align="center"><math>\approx</math></td>
  <td align="left">
<math>
p_{J-1}\biggl[1 + \Delta\tilde{r}\mathcal{D}\biggr]_J
+ \Delta\tilde{r} \mathcal{C}_J\biggl[x_{J-1}\biggr]
+ \Delta\tilde{r} \mathcal{C}_J\biggl[
x_{J+1}
\biggr] \, .
</math>
  </td>
</tr>
</table>
</td></tr></table>
====Second Approximation====
Let's assume that we know the three quantities, <math>x_{J-1}, x_J</math>, and <math>(x_J)^' \equiv (dx/d\tilde{r})_J</math> and want to project forward to determine, <math>x_{J+1}</math>.  We should assume that, locally, the displacement function <math>x</math> is quadratic in <math>\tilde{r}</math>, that is,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>x</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
a + b\tilde{r} + c\tilde{r}^2
</math>
  </td>
</tr>
<tr>
  <td align="right"><math>\Rightarrow ~~~ \frac{dx}{d\tilde{r}}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
b + 2c\tilde{r} \, ,
</math>
  </td>
</tr>
</table>
where we have three unknowns, <math>a, b, c</math>.  These can be determined by appropriately combining the three relations,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>(x_J)^'</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
b + 2c\tilde{r}_J \, ,
</math>
  </td>
</tr>
<tr>
  <td align="right"><math>x_J</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
a + b\tilde{r}_J + c\tilde{r}_J^2 \, ,
</math>
  </td>
</tr>
<tr>
  <td align="right"><math>x_{J-1}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
a + b(\tilde{r}_{J}-\Delta\tilde{r}) + c(\tilde{r}_{J}-\Delta\tilde{r})^2 \, .
</math>
  </td>
</tr>
</table>
We have,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>b</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
(x_J)^' - 2c\tilde{r}_J \, ,
</math>
  </td>
</tr>
<tr>
  <td align="right"><math>- a</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
-x_J + [(x_J)^' - 2c\tilde{r}_J]\tilde{r}_J + c\tilde{r}_J^2 \, ,
</math>
  </td>
</tr>
<tr>
  <td align="right"><math>- a</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
-x_{J-1} + [(x_J)^' - 2c\tilde{r}_J](\tilde{r}_{J}-\Delta\tilde{r}) + c(\tilde{r}_{J}-\Delta\tilde{r})^2 \, .
</math>
  </td>
</tr>
</table>
Combining the last two expressions gives,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>-x_J + [(x_J)^' - 2c\tilde{r}_J]\tilde{r}_J + c\tilde{r}_J^2</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
-x_{J-1} + [(x_J)^' - 2c\tilde{r}_J](\tilde{r}_{J}-\Delta\tilde{r}) + c(\tilde{r}_{J}-\Delta\tilde{r})^2
</math>
  </td>
</tr>
<tr>
  <td align="right"><math>\Rightarrow ~~~ -x_J + (x_J)^'\tilde{r}_J - c\tilde{r}_J^2 </math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
-x_{J-1}
+ (x_J)^'(\tilde{r}_{J}-\Delta\tilde{r})
- 2c\tilde{r}_J(\tilde{r}_{J}-\Delta\tilde{r})
+ c[ \tilde{r}_{J}^2 - 2r_J \Delta\tilde{r} + (\Delta\tilde{r})^2 ]
</math>
  </td>
</tr>
<tr>
  <td align="right"><math>\Rightarrow ~~~ -x_J  - c\tilde{r}_J^2 </math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
-x_{J-1}
- (x_J)^'\Delta\tilde{r}
+ c[ \tilde{r}_{J}^2 - 2r_J \Delta\tilde{r} + (\Delta\tilde{r})^2
- 2\tilde{r}_J^2 + 2\tilde{r}_J(\Delta\tilde{r})]
</math>
  </td>
</tr>
<tr>
  <td align="right"><math>\Rightarrow ~~~ c(\Delta\tilde{r})^2
</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_J -x_{J-1} - (x_J)^'\Delta\tilde{r}
\, .
</math>
  </td>
</tr>
</table>
Therefore, also,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>b</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
(x_J)^' - \biggl[ x_J -x_{J-1} - (x_J)^'\Delta\tilde{r} \biggr]\frac{2\tilde{r}_J}{(\Delta\tilde{r})^2}
\, ,
</math>
  </td>
</tr>
<tr>
  <td align="right"><math>a</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_J - (x_J)^' \tilde{r}_J
+ \biggl[ x_J -x_{J-1} - (x_J)^'\Delta\tilde{r} \biggr]\frac{\tilde{r}_J^2}{(\Delta\tilde{r})^2}
</math>
  </td>
</tr>
</table>
Hence,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>x_{J+1}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
a + b(\tilde{r}_J + \Delta\tilde{r}) + c(\tilde{r}_J + \Delta\tilde{r})^2
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_J - (x_J)^' \tilde{r}_J
+ \biggl[ x_J -x_{J-1} - (x_J)^'\Delta\tilde{r} \biggr]\frac{\tilde{r}_J^2}{(\Delta\tilde{r})^2}
+
(\tilde{r}_J + \Delta\tilde{r})\biggl\{
(x_J)^' - \biggl[ x_J -x_{J-1} - (x_J)^'\Delta\tilde{r} \biggr]\frac{2\tilde{r}_J}{(\Delta\tilde{r})^2}
\biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center">&nbsp;</td>
  <td align="left">
<math>
+
(\tilde{r}_J + \Delta\tilde{r})^2
\biggl[ x_J -x_{J-1} - (x_J)^'\Delta\tilde{r} \biggr]\frac{1}{(\Delta\tilde{r})^2}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_J - (x_J)^' \tilde{r}_J
+
\biggl\{
\tilde{r}_J^2
+ 2\tilde{r}_J(\tilde{r}_J + \Delta\tilde{r})
+ (\tilde{r}_J + \Delta\tilde{r})^2
\biggr\}
\biggl[ x_J -x_{J-1} - (x_J)^'\Delta\tilde{r} \biggr]\frac{1}{(\Delta\tilde{r})^2}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_J - (x_J)^' \tilde{r}_J
+
\biggl[ 2\tilde{r}_J + \Delta\tilde{r}\biggr]^2
\biggl[ x_J -x_{J-1} - (x_J)^'\Delta\tilde{r} \biggr]\frac{1}{(\Delta\tilde{r})^2}
\, .
</math>
  </td>
</tr>
</table>
<font color="red"><b>WRONG!!</b></font>  Try again &hellip;
====Third Approximation====
Let's assume that we know the three quantities, <math>x_{J-1}, x_J</math>, and <math>(x_J)^' \equiv (dx/d\tilde{r})_J</math> and want to project forward to determine, <math>x_{J+1}</math>.  We should assume that, locally, the displacement function <math>x</math> is quadratic in <math>\tilde{r}</math>, that is,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>x</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
a + b\tilde{r} + c\tilde{r}^2
</math>
  </td>
</tr>
<tr>
  <td align="right"><math>\Rightarrow ~~~ \frac{dx}{d\tilde{r}}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
b + 2c\tilde{r} \, ,
</math>
  </td>
</tr>
</table>
where we have three unknowns, <math>a, b, c</math>.  These can be determined by appropriately combining the three relations,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>(x_J)^'</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
b + 2c\tilde{r}_J \, ,
</math>
  </td>
</tr>
<tr>
  <td align="right"><math>x_J</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
a + b\tilde{r}_J + c\tilde{r}_J^2 \, ,
</math>
  </td>
</tr>
<tr>
  <td align="right"><math>x_{J-1}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
a + b(\tilde{r}_{J}-\Delta\tilde{r}) + c(\tilde{r}_{J}-\Delta\tilde{r})^2 \, .
</math>
  </td>
</tr>
</table>
The difference between the last two expressions gives,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>x_J - x_{J-1}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\biggl[ b\tilde{r}_J + c\tilde{r}_J^2 \biggr]
-
\biggl[ b(\tilde{r}_{J}-\Delta\tilde{r}) + c(\tilde{r}_{J}-\Delta\tilde{r})^2 \biggr]
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
b\Delta\tilde{r}
+
c(2\tilde{r}_J \Delta\tilde{r} - \Delta\tilde{r}^2) \, .
</math>
  </td>
</tr>
</table>
Combining this with the first of the three expressions then gives,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right">
<math>
\Delta\tilde{r} \biggl[(x_J)^' - 2c\tilde{r}_J  \biggr]
+
c(2\tilde{r}_J \Delta\tilde{r} - \Delta\tilde{r}^2)
</math>
  </td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_J - x_{J-1}
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\Rightarrow ~~~
c(2\tilde{r}_J \Delta\tilde{r} - \Delta\tilde{r}^2)
-c\biggl[ 2\tilde{r}_J \Delta\tilde{r}  \biggr]
</math>
  </td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_J - x_{J-1} - (x_J)^'\Delta\tilde{r}
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\Rightarrow ~~~
-c \Delta\tilde{r}^2
</math>
  </td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_J - x_{J-1} - (x_J)^'\Delta\tilde{r}
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>\Rightarrow ~~~
</math>
  </td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{1}{\Delta\tilde{r}^2}\biggl[
-x_J + x_{J-1} + (x_J)^'\Delta\tilde{r}
\biggr]
\, .
</math>
  </td>
</tr>
</table>
Hence,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right">
<math>
b
</math>
  </td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
(x_J)^' - 2c\tilde{r}_J
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
(x_J)^' + \frac{2\tilde{r}_J}{\Delta \tilde{r}^2}\biggl[
x_J - x_{J-1} - (x_J)^'\Delta\tilde{r}
\biggr]
\, ;
</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>
a
</math>
  </td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_J - b\tilde{r}_J -c\tilde{r}_J^2
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_J
-\biggl\{ (x_J)^' + \frac{2\tilde{r}_J}{\Delta \tilde{r}^2}\biggl[
x_J - x_{J-1} - (x_J)^'\Delta\tilde{r}
\biggr] \biggr\}\tilde{r}_J
- \biggl\{
\frac{1}{\Delta\tilde{r}^2}\biggl[
-x_J + x_{J-1} + (x_J)^'\Delta\tilde{r}
\biggr]
\biggr\}\tilde{r}_J^2
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_J - (x_J)^'\tilde{r}_J
-\biggl\{  \frac{2\tilde{r}_J^2}{\Delta \tilde{r}^2}\biggl[
x_J - x_{J-1} - (x_J)^'\Delta\tilde{r}
\biggr] \biggr\}
+ \biggl\{
\frac{\tilde{r}_J^2}{\Delta\tilde{r}^2}\biggl[
x_J - x_{J-1} - (x_J)^'\Delta\tilde{r}
\biggr]
\biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right">
&nbsp;
  </td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_J - (x_J)^'\tilde{r}_J
-\frac{\tilde{r}_J^2}{\Delta \tilde{r}^2}\biggl[
x_J - x_{J-1} - (x_J)^'\Delta\tilde{r}
\biggr]
\, .
</math>
  </td>
</tr>
</table>
As a result,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>x_{J+1}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\biggl\{
a
\biggr\}
+ (\tilde{r}_J +\Delta\tilde{r}) \biggl\{
b
\biggr\}
+ (\tilde{r}_J+\Delta\tilde{r})^2 \biggl\{
c
\biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\biggl\{
x_J - (x_J)^'\tilde{r}_J
-\frac{\tilde{r}_J^2}{\Delta \tilde{r}^2}\biggl[
x_J - x_{J-1} - (x_J)^'\Delta\tilde{r}
\biggr]
\biggr\}
+ (\tilde{r}_J +\Delta\tilde{r}) \biggl\{
(x_J)^' + \frac{2\tilde{r}_J}{\Delta \tilde{r}^2}\biggl[
x_J - x_{J-1} - (x_J)^'\Delta\tilde{r}
\biggr]
\biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center">&nbsp;</td>
  <td align="left">
<math>
+ (\tilde{r}_J^2 + 2\tilde{r}_J \Delta\tilde{r} +\Delta\tilde{r}^2) \biggl\{
\frac{1}{\Delta\tilde{r}^2}\biggl[
-x_J + x_{J-1} + (x_J)^'\Delta\tilde{r}
\biggr]
\biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_J - (x_J)^'\tilde{r}_J
+ \tilde{r}_J^2\biggl\{\frac{1}{\Delta \tilde{r}^2}\biggl[
-x_J + x_{J-1} + (x_J)^'\Delta\tilde{r}
\biggr]
\biggr\}
+ (x_J)^'(\tilde{r}_J +\Delta\tilde{r})
- 2\tilde{r}_J(\tilde{r}_J +\Delta\tilde{r}) \biggl\{
\frac{1}{\Delta \tilde{r}^2}\biggl[
-x_J + x_{J-1} + (x_J)^'\Delta\tilde{r}
\biggr]
\biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center">&nbsp;</td>
  <td align="left">
<math>
+ (\tilde{r}_J^2 + 2\tilde{r}_J \Delta\tilde{r} +\Delta\tilde{r}^2) \biggl\{
\frac{1}{\Delta\tilde{r}^2}\biggl[
-x_J + x_{J-1} + (x_J)^'\Delta\tilde{r}
\biggr]
\biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_J + (x_J)^'\Delta\tilde{r}
+ \biggl[ \tilde{r}_J^2 - 2\tilde{r}_J(\tilde{r}_J +\Delta\tilde{r})+ (\tilde{r}_J^2 + 2\tilde{r}_J \Delta\tilde{r} +\Delta\tilde{r}^2)\biggr]
\biggl\{\frac{1}{\Delta \tilde{r}^2}\biggl[
-x_J + x_{J-1} + (x_J)^'\Delta\tilde{r}
\biggr]
\biggr\}
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_J + (x_J)^'\Delta\tilde{r}
+
\biggl[
-x_J + x_{J-1} + (x_J)^'\Delta\tilde{r}
\biggr]
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_{J-1} + 2(x_J)^'\Delta\tilde{r} \, .
</math>
  </td>
</tr>
</table>
<font color="red"><b>GOOD!</b></font>  This is the same as our [[#1stapprox|first approximation expression]] stated above.
<table border=1 align="center" cellpadding="10" width="80%"><tr><td bgcolor="lightgreen" align="left">
This is test ...
<table border="1" align="center" cellpadding="5">
  <tr>
<td align="center" bgcolor="white"><math>\Delta\tilde{r}</math></td>
<td align="center" bgcolor="white"><math>x_J</math></td>
<td align="center" bgcolor="white"><math>x_{J-1}</math></td>
<td align="center" bgcolor="white"><math>(x_J)^'</math></td>
<td align="center" bgcolor="white"><math>(x_{J-1})^'</math></td>
  </tr>
  <tr>
<td align="center" bgcolor="white">0.001936393</td>
<td align="center" bgcolor="white">-4.695376</td>
<td align="center" bgcolor="white">-4.547832</td>
<td align="center" bgcolor="white">-116.0119</td>
<td align="center" bgcolor="white">-76.19513</td>
  </tr>
</table>
<tr><td bgcolor="white" align="center">
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>x_{J+1}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
x_{J-1} + 2(x_J)^'\Delta\tilde{r}
=
-4.997121
\, .
</math>
  </td>
</tr>
</table>
</td></tr>
</td></tr></table>
=Part 2=
For a continuation (part 2) of this discussion, go [[Appendix/Ramblings/51BiPolytropeStability/BetterInterfacePt2|here]].


=See Also=
=See Also=

Latest revision as of 16:04, 27 September 2023

Better Interface for 51BiPolytrope Stability Study

Content Pointing to Previous Work

Tilded Menu Pointers

  1. Murphy & Fiedler (1985b): SSC/Stability/MurphyFiedler85
    1. Interface Conditions as promoted by Ledoux & Walraven (1958)
    2. Numerical Integration
      1. General Approach
      2. Special Handling at the Center
      3. Special Handling at the Interface
    3. Reconcile Approaches
  2. Excellent Foundation (no pointer from Tiled Menu): SSC/Stability/Biipolytropes
  3. Our Broader Analysis: SSC/Stability/BiPolytropes/HeadScratching
  4. Succinct Discussion: SSC/Stability/BiPolytropes/SuccinctDiscussion

Ramblings: Analyzing Five-One Bipolytropes

  1. Assessing the Stability of Spherical, BiPolytropic Configurations
  2. Searching for Analytic EigenVector for (5,1) Bipolytropes
  3. See (below) Discussing Patrick Motl's 2019 BiPolytrope Simulations
  4. Continue Search
  5. Renormalize Structure
  6. Renormalize Structure (Part 2)
  7. More Carefully Exam Step Function Behavior
  8. More Focused Search for Analytic EigenVector if (5,1) Bipolytropes
  9. Do Not Confine Search to Analytic Eigenvector
  10. Clean, Methodical Examination
  11. Rethink Handling of n = 1 Envelope
  12. Improved Treatment of Core-Envelope Interface

Solid Foundation

Here we pull primarily from the chapters labeled II and III, above.

Entire Configuration

Beginning with the familiar,

Adiabatic Wave (or Radial Pulsation) Equation

d2xdr02+[4r0(g0ρ0P0)]dxdr0+(ρ0γgP0)[ω2+(43γg)g0r0]x=0

where,

g0

=

GMr*(r*)2[ρc3/5(KcG)1/2],

if we adopt the variable normalizations,

ρ*

ρ0ρc

;    

r*

r0[Kc1/2/(G1/2ρc2/5)]

P*

P0Kcρc6/5

;    

Mr*

Mr[Kc3/2/(G3/2ρc1/5)]

the LAWE takes the form,

0

=

d2xdr*2+r*dxdr*+[(σc2γg)𝒦1αg𝒦2]x,

where,

{4(ρ*P*)Mr*(r*)}

      ,      

𝒦1

2π3(ρ*P*)

      and      

𝒦2

(ρ*P*)Mr*(r*)3,

σc2

3ω22πGρc

      ,      

αg

(34γg).

 

Core

Given that, in the core, γg=6/5 and,

r*

=

(32π)1/2ξ,

we can rewrite the LAWE to read,

0

=

d2xdξ2+ξdxdξ+(14π)[5σc2𝒦1+2𝒦2]x,

where,

𝒦1

=

2π3(1+13ξ2)1/2,

=

42ξ2(1+13ξ2)1,

𝒦2

=

(4π3)(1+13ξ2)1.

Structure at the Interface

Once μe/μc and ξi have been specified, other parameter values at the interface are:

θi

=

(1+13ξi2)1/2,

ηi

=

(μeμc)3θi2ξi,

Λi

=

1ηiξi3,

A

=

ηi(1+Λi2)1/2,

B

=

ηiπ2+tan1(Λi),

ηs

=

B+π.

Linearized Perturbation at the Interface

At all radial locations throughout the equilibrium configuration, the three spatially dependent quantities — pδp/P*,dδρ/ρ*, and xδr/r* — are related to one another via the set of linearized governing relations, namely,

Linearized
Equation of Continuity
r0dxdr0=3xd,

Linearized
Euler + Poisson Equations
P0ρ0dpdr0=(4x+p)g0+ω2r0x,

Linearized
Adiabatic Form of the
First Law of Thermodynamics

p=γgd.

Combining the 2nd and 3rd equations, we find,

(4x+γgd)g0+ω2r0x = P0ρ0d(γgd)dr0



At the interface, presumably the dimensional structural variables, P* and r* have the same values, whether viewed from the perspective of the core or from the perspective of the envelope. But ρ* has a different value, depending on the point of view. Specifically,

ρ*|env = (μeμc)ρ*|core.

Hence, from the perspective of the core, the linearized equation of continuity may be written as,

[r0dxdr0+3x]core = δρ[ρ*]core;

while, from the perspective of the envelope, the linearized equation of continuity may be written as,

[r0dxdr0+3x]env = δρ[ρ*]core(μeμc)1

Try again

From here, we know …

Pργg

=

exp[s(γg1)/μ¯].

And, from my discussions with Patrick Motl, we find …

CORE:   Throughout the core,

P*

=

(1+ξ23)3

    and    

ρ*

=

(1+ξ23)5/2

    and    

γg

=

65.

Hence, independent of the radial location, ξ, throughout the core,

s/μ¯|core

=

5ln(5).

ENVELOPE:   Throughout the envelope,

P*

=

θi6[ϕ(η)]2

    and    

ρ*

=

(μeμc)θi5[ϕ(η)]

    and    

γg

=

2.

Hence, independent of the radial location, η, throughout the envelope,

s/μ¯|env

=

ln[(μeμc)2θi4]

=

ln[(μeμc)2(1+ξi23)2].

Envelope

Given that, throughout the envelope γg=2 and,

r*

=

(μeμc)1θi2(2π)1/2η,

we can rewrite the LAWE to read,

0

=

d2xdη2+ηdxdη+12πθi4(μeμc)2[(σc22)𝒦1𝒦2]x,

where,

𝒦1

=

2π3(μeμc)θi1[ηAsin(ηB)],

=

2[1+ηtan(ηB)],

𝒦2

=

4π(μeμc)2θi4[1ηtan(ηB)]1η2.

Entropy as a Step Function

Useful Chapters:

Review

The unit — or, Heaviside — step function, H(x), is defined such that,

H(x)={0;x<01;x>0


[MF53], Part I, §2.1 (p. 123), Eq. (2.1.6)

Heaviside Function

In evaluating this function at x=0, we will adopt the half-maximum convention and set H(0)=12. As has been pointed out in, for example, a relevant Wikipedia discussion, the derivative of the unit step function is,

dH(x)dx

=

δ(x),

where, δ(x) is the Dirac Delta function.

Perturbed Density

Let,

ζ

rri1

[ρ*]eq

H(ζ)ρenv*+H(ζ)ρcore*;

and, more generally after a perturbation, δρ(ζ),

ρ*=[ρ*]eq+δρ

=

[ρ*]eq{1+δρ[ρ*]eq}=[ρ*]eq{1+deiωt}.

Hence, in the linearized version of the continuity equation, we recognize that,

deiωt

=

δρ[ρ*]eq.

CORE:

ρcore*

=

(1+ξ23)5/2

    and    

γg

=

65

    and    

𝒮cores(γg1)/μ¯|core

=

ln(5).

ENVELOPE:

ρenv*

=

(μeμc)θi5[ϕ(η)]

    and    

γg

=

2

    and    

𝒮envs(γg1)/μ¯|env

=

ln[(μeμc)2(1+ξi23)2].

Perturbed Pressure

P*

=

(ρ*)γgexp[s(γg1)/μ¯]

[P*]eq

H(ζ)Penv*+H(ζ)Pcore*;

and, more generally after a perturbation, δP(ζ),

P*=[P*]eq+δP

=

[P*]eq{1+δP[P*]eq}=[P*]eq{1+peiωt}.

Hence, in the linearized version of the first law of thermodynamics, we recognize that,

peiωt

=

δP[P*]eq.

Obtaining Perturbed Density from Perturbed Pressure

Given that, quite generally,

Pργg

=

exp[s(γg1)/μ¯],

let's define the density-like quantity,

𝒬*

e𝒮/γ[P*]1/γg,

in which case,

ρeq*

H(ζ)[𝒬eq*]env+H(ζ)[𝒬eq*]core.

What happens if we perturb the pressure? In either region (core or envelope),

𝒬*

=

e𝒮/γ[Peq*]1/γg[1+δPPeq*]1/γge𝒮/γ[Peq*]1/γg[1+1γgδPPeq*]=[Qeq*][1+1γgδPPeq*].

As a result,

ρ*=ρeq*+δρ

H(ζ)[𝒬*]env+H(ζ)[𝒬*]core

 

=

H(ζ){[Qeq*][1+1γgδPPeq*]}env+H(ζ){[Qeq*][1+1γgδPPeq*]}core

 

=

H(ζ)[Qeq*]env+H(ζ)[Qeq*]core

 

 

+H(ζ){[Qeq*][1γgδPPeq*]}env+H(ζ){[Qeq*][1γgδPPeq*]}core

 

=

ρeq*+H(ζ){[Qeq*][1γgδPPeq*]}env+H(ζ){[Qeq*][1γgδPPeq*]}core

δρρeq*

=

H(ζ)ρeq*{[Qeq*][1γgδPPeq*]}env+H(ζ)ρeq*{[Qeq*][1γgδPPeq*]}core

Set of Linearized Equations

Borrowing from an accompanying discussion, we have …

Linearized
Equation of Continuity
r0dxdr0=3xd,

Linearized
Euler + Poisson Equations
P0ρ0dpdr0=(4x+p)g0+ω2r0x,

Linearized
Adiabatic Form of the
First Law of Thermodynamics

p=γgd.

Rearranging terms in the "Linearized Euler + Poisson Equations" as follows …

1ρ0dpdr0

=

1P0[(4x+p)g0+ω2r0x]

we realize that the expression on the RHS has the same value at the interface, whether you're viewing the equation from the point of view of the core or the envelope; and we recognize as well that ρ0 is a simple step function at the interface. Hence, letting a prime indicate differentiation with respect to r0, we can write,

H(ζ)(p)env+H(ζ)(p)core

=

[ρ0]coreP0[(4x+p)g0+ω2r0x]{H(ζ)[μeμc]+H(ζ)}.

Analogously, the "Linearized Equation of Continuity" can be rewritten as,

H(ζ)(x)env+H(ζ)(x)core

=

3xr01r0{H(ζ)[pγg]env+H(ζ)[pγg]core}.

Now, given that ζ=(r0/ri1), we see that,

dH(ζ)dr0

=

H(ζ)ζdζdr0=ro1δ(ζ);

and,

dH(ζ)dr0

=

H(ζ)ζdζdr0=ro1δ(ζ).

Hence, differentiation of the "Linearized Equation of Continuity" gives,

ddr0[H(ζ)(x)env]+ddr0[H(ζ)(x)core]

=

[3r0x3xr02]1r0ddr0{H(ζ)[pγg]env+H(ζ)[pγg]core}+1r02{H(ζ)[pγg]env+H(ζ)[pγg]core}.

(x)envddr0[H(ζ)]+H(ζ)(x)env+(x)coreddr0[H(ζ)]+H(ζ)(x)core

=

[3r0x3xr02]+1r02{H(ζ)[pγg]env+H(ζ)[pγg]core}.

 

 

1r0[pγg]envddr0{H(ζ)}1r0{H(ζ)[pγg]env}1r0[pγg]coreddr0{H(ζ)}1r0{H(ζ)[pγg]core}

(x)env[δ(ζ)r0]+H(ζ)(x)env(x)core[δ(ζ)r0]+H(ζ)(x)core

=

[3r0x3xr02]+1r02{H(ζ)[pγg]env+H(ζ)[pγg]core}.

 

 

1r0[pγg]env{δ(ζ)r0}1r0{H(ζ)[pγg]env}+1r0[pγg]core{δ(ζ)r0}1r0{H(ζ)[pγg]core}

From the Perspective of the Core

When r0/ri1 — that is, from the perspective of the core while including the interface,

(x)core[δ(ζ)r0]+H(ζ)(x)core

=

[3r0x3xr02]+1r02{H(ζ)[pγg]core}.

 

 

1r0[pγg]env{δ(ζ)r0}+1r0[pγg]core{δ(ζ)r0}1r0{H(ζ)[pγg]core}

And examining only the interface, where δ(ζ)=1 while H(ζ)=0,

(x)core[δ(ζ)r0]

=

[3r0x3xr02]1r0[pγg]env{δ(ζ)r0}+1r0[pγg]core{δ(ζ)r0}

(x)core

=

[3x3xr0]1r0[pγg]env+1r0[pγg]core

From the Perspective of the Envelope

When r0/ri1 — that is, from the perspective of the envelope while including the interface,

(x)env[δ(ζ)r0]+H(ζ)(x)env

=

[3r0x3xr02]+1r02{H(ζ)[pγg]env}.

 

 

1r0[pγg]env{δ(ζ)r0}1r0{H(ζ)[pγg]env}+1r0[pγg]core{δ(ζ)r0}

Focus on Nonlinear Continuity Equation

A spherical shell of core density, ρ0, where the inner radius of the shell is (r0Δr) and its outer radius is (r0+Δr) has a shell mass given by the expression,

(Δm)core

=

4π3ρ0[(r0+Δr)3(r0Δr)3]

 

=

4π3ρ0r03[(1+Δrr0)3(1Δrr0)3]

[34πρ0r03](Δm)core

=

[1+2Δrr0+(Δrr0)2](1+Δrr0)[12Δrr0+(Δrr0)2](1Δrr0)

 

=

[1+3Δrr0+3(Δrr0)2+(Δrr0)3][13Δrr0+3(Δrr0)2(Δrr0)3]

 

=

[6Δrr0+2(Δrr0)3]

(Δm)core

=

[4πρ0r033][6Δrr0+2(Δrr0)3].

Similarly, as viewed from the perspective of the envelope, it has a shell mass of,

(Δm)env

=

4π3(μeμc)ρ0[(r0+Δr)3(r0Δr)3]

 

=

(μeμc)[4πρ0r033][6Δrr0+2(Δrr0)3].

Better yet, pick the two edges of the shell, r+ and r, and let r0(r++r)/2 and Δr=(r+r)/2. Given the value of ρ0, the unperturbed mass in the shell is given by the above expression, that is,

(Δm)0

=

[4πρ0r033][6Δrr0+2(Δrr0)3].

Now, let r+(r+)0+(δr+),r(r)0+(δr), and, ρ0(ρ0)0+(δρ). We then have,

2r0

=

[(r+)0+(δr+)]+[(r)0+(δr)]=2(r0)0+[δr++δr];

2Δr

=

[(r+)0+(δr+)][(r)0+(δr)]=2(Δr)0+[δr+δr];

Δrr0

=

2(Δr)0+[δr+δr]2(r0)0+[δr++δr]=(Δr)0(r0)0×{1+[δr+δr2(Δr)0]}{1+[δr++δr2(r0)0]}1

 

(Δr)0(r0)0×{1+[δr+δr2(Δr)0]}{1[δr++δr2(r0)0]}

 

(Δr)0(r0)0×{1+[δr+δr2(Δr)0][δr++δr2(r0)0]}

In order for the shell to have the same Δm in both the unperturbed and perturbed cases, the following relation must hold:

[8π(ρ0)0(r0)033]{3(Δr)0(r0)0+[(Δr)0(r0)0]3}

=

{π[(ρ0)0+δρ][2r0]323}

 

 

×2{3Δrr0+(Δrr0)3}

Work With Pair of First-Order Linearized Equations

Equilibrium Structures Using Preferred Normalizations

Working from our earlier "new" normalization — which was done in the context of our examination of the B-KB74 conjecture — that is, by setting,

New Normalization
ρ~ ρ[(KcG)3/21Mtot]5;
P~ P[Kc10G9Mtot6];
r~ r[(KcG)5/2Mtot2],
M~r MrMtot;
H~ H[Kc5/2G3/2Mtot].

and after adopting the notation,

𝓂surf (2π)1/2θi1(η2dϕdη)s=(2π)1/2Aηsθi,

(see definitions of A, ηs, and θi given below) we have throughout the core,

ρ~ =

𝓂surf5(μeμc)10(1+13ξ2)5/2;

P~ =

𝓂surf6(μeμc)12(1+13ξ2)3;

r~ =

𝓂surf2(μeμc)4(32π)1/2ξ;

M~r =

𝓂surf1(μeμc)2(23π)1/2ξ3(1+13ξ2)3/2.

For later use, note that,

ρ~P~M~rr~2 =

[𝓂surf5(μeμc)10(1+13ξ2)5/2][𝓂surf6(μeμc)12(1+13ξ2)3]

   

×[𝓂surf1(μeμc)2(23π)1/2ξ3(1+13ξ2)3/2][𝓂surf4(μeμc)8(32π)1ξ2]

  =

𝓂surf2(μeμc)4(1+13ξ2)1ξ(23π3)1/2

  =

2[ξr~](1+13ξ2)1ξ

Note as well that,

r~3M~r =

[𝓂surf1(μeμc)2(23π)1/2ξ3(1+13ξ2)3/2]1[𝓂surf2(μeμc)4(32π)1/2ξ]3

  =

[𝓂surf(μeμc)2(432π)1/2ξ3(1+13ξ2)3/2][𝓂surf6(μeμc)12(32π)3/2ξ3]

  =

[𝓂surf5(μeμc)10(34π)(1+13ξ2)3/2]

Similarly, throughout the envelope, we find,

ρ~

=

𝓂surf5(μeμc)9θi5ϕ;

P~

=

𝓂surf6(μeμc)12θi6ϕ2;

r~

=

𝓂surf2(μeμc)3θi2(2π)1/2η;

M~r

=

𝓂surf1θi1(2π)1/2(η2dϕdη),

where,

ϕ = A[sin(ηB)η],
dϕdη = Aη2[ηcos(ηB)sin(ηB)],

and,

θi = (1+13ξi2)1/2,
ηi = (μeμc)3θi2ξi,
Λi = ξi3[(μeμc)11θi2ξi21],
A = ηi(1+Λi2)1/2,
B = ηiπ2+tan1(Λi),
ηs=π+B = π2+ηi+tan1(Λi).

Keep in mind, as well, that,

νMcoreMtot = (μeμc)23[ξi3θi4Aηs],
qrcoreR = (μeμc)3[ξiθi2ηs].

Linearized Equations With Preferred Normalizations

Review and Elaborate

Linearized
Equation of Continuity
r0dxdr0=3xd,

Linearized
Euler + Poisson Equations
P0ρ0dpdr0=(4x+p)g0+ω2r0x,

Linearized
Adiabatic Form of the
First Law of Thermodynamics

p=γgd.

The LHS of the "linearized Euler + Poisson" equation is rewritten as,

LHS=P0ρ0dpdr0 =

[Kc10G9Mtot6]1P~[(KcG)3/21Mtot]5ρ~1[(KcG)5/2Mtot2]dpdr~

  =

P~ρ~dpdr~[Kc10G9Mtot6][G15/2Kc15/2Mtot5][Kc5/2G5/2Mtot2]

  =

P~ρ~dpdr~[Kc5G4Mtot3];

and,

g0=GMrr02 =

GMtotM~r[(KcG)5/2Mtot2]2r~2

  =

M~rr~2[(KcG)5/2Mtot2]2GMtot

  =

M~rr~2[Kc5G4Mtot3].

Therefore, multiplying the full equation through by [Kc5G4Mtot3] gives,

P~ρ~dpdr~ =

(4x+p)M~rr~2+[Kc5G4Mtot3][(KcG)5/2Mtot2]1ω2r~x

  =

(4x+p)M~rr~2+τc2ω2r~x,

where the square of the characteristic timescale,

τc2

[Kc15/2G13/2Mtot5].

ASIDE:  Building on an associated discussion, the square of the dimensionless frequency also can be represented by the expression,

σc23ω22πGρc =

3ω22πρ~c[(GKc)15/2Mtot5]G1=3τc2ω22πρ~c,

where,

ρ~c =

msurf5(μeμc)10.

Hence we can write,

dpdr~ =

ρ~P~M~rr~2[(4x+p)+τc2ω2(r~3M~r)x]

  =

ρ~P~M~rr~2[(4x+p)+σc2(2π3ρ~cr~3M~r)x].


Focusing on the core …

As demonstrated earlier, the leading term on the RHS of this expression can be rewritten to give,

dpdr~ =

2[ξr~](1+13ξ2)1ξ[(4x+p)+σc2(2π3ρ~cr~3M~r)x]

dpdξ =

2(1+13ξ2)1ξ[(4x+p)+σc2(2π3ρ~cr~3M~r)x].

Noting as well that,

ρ~c(r~3M~r) =

msurf5(μeμc)10[𝓂surf5(μeμc)10(34π)(1+13ξ2)3/2]=34π(1+13ξ2)3/2,

we have,

dpdξ =

2(1+13ξ2)1ξ[(4x+p)+σc22(1+13ξ2)3/2x].

At the Center

All σ2

According to our discussion in an appendix chapter, starting from the center of the equilibrium configuration, the displacement function can be represented by a power-series expression of the form,

x

1[(n+1)𝔉60]ξ2,

where, 𝔉(σc2/γ2α), and (see, for example, here),

ξ

=

msurf2(μeμc)4(2π3)1/2r~.

Note that, at the center of our (nc,ne)=(5,1) bipolytrope, γg=6/5, so α=1/3. Hence, for this particular investigation, the central boundary condition is,

x

1[σc212+115]ξ2

 

1[σc212+115][msurf4(μeμc)8(2π3)]r~2.

Also, the derivative of this displacement function is,

dxdξ

2[σc212+115]ξ.

Hence,

p=γc[3x+ξdxdξ]

65{3[1(σc212+115)ξ2]2(σc212+115)ξ2}

 

=

185[153(σc212+115)ξ2].

Furthermore, we find,

(4x+p)

=

4[1(σc212+115)ξ2]185[153(σc212+115)ξ2].

 

=

[2054(σc212+115)ξ2]+[185+6(σc212+115)ξ2]

 

=

25+2(σc212+115)ξ2.

Hence we have,

dpdξ =

2(1+13ξ2)1ξ{25+2(σc212+115)ξ2+σc22(1+13ξ2)3/2[1(σc212+115)ξ2]}

  =

2(1+13ξ2)1ξ{24+2(5σc2+4)ξ2+σc22(1+13ξ2)3/2[60(5σc2+4)ξ2]}160

  =

130(1+13ξ2)1ξ{24+8ξ2+10σc2ξ2+30σc2(1+13ξ2)3/2σc22(1+13ξ2)3/2(4+5σc2)ξ2}

  =

130(1+13ξ2)1ξ{[24+8ξ2+10σc2ξ2]+(1+13ξ2)3/2[30σc22σc2ξ252σc4ξ2]}

  =

115(1+13ξ2)1ξ[12+4ξ2+5σc2ξ2]+σc2ξ30(1+13ξ2)1/2[302ξ252σc2ξ2]

Just σ2 = 0

If we set σc2=0, we have,

p

=

185+25ξ2

dpdξ

=

45ξ.

Alternatively, from immediately above,

dpdξ|σc2=0 =

115(1+13ξ2)1ξ[12+4ξ2+5σc2ξ20]+σc2ξ300(1+13ξ2)1/2[302ξ252σc2ξ2]

  =

1215(1+13ξ2)1ξ[1+13ξ2]

  =

45ξ.

Yes! It matches!

Summary

Moving from the center, outward thorough the core — that is, interior to the interface — we can assign values of x(ξ) and p(ξ) using the following approximate (exact if σc2=0) relations:

x

1[σc212+115]ξ2;

p

185[153(σc212+115)ξ2].

For all radial shells throughout the entire bipolytropic configuration, the pair of first derivatives can be evaluated using the following relations:

dxdr~

=

1r~[3x+pγg];

dpdr~ =

ρ~P~M~rr~2[(4x+p)+σc2(2π3ρ~cr~3M~r)x].

Near the center, this pressure-derivative expression can be checked against the relation,

dpdξ =

115(1+13ξ2)1ξ[12+4ξ2+5σc2ξ2]+σc2ξ30(1+13ξ2)1/2[302ξ252σc2ξ2];

notice that, in order to make this comparison, you need to multiply this last expression through by the ratio,

ξr~ =

𝓂surf2(μeμc)4(2π3)1/2.

The comparison should be especially accurate in the case of σc2=0.

At the Interface

See below.

At the Surface

Drawing from a separate discussion, the surface boundary condition is,

r0dxdr0

=

(43γg+ω2R3GMtot)xγg        at         r0=R,

that is,

dlnxdlnr~|s

=

α+ω2R3γgGMtot,

where (see also, here),

α

34γg.

Note that since,

R3

=

r~s3[G15/2Kc15/2Mtot6],

in terms of our adopted normalizations, the frequency-squared term should be rewritten as,

ω2R3γgGMtot

=

r~s3[ω2τc2γg].

Note as well that, at the surface of our (nc,ne)=(5,1) bipolytrope, γg=2, so α=+1. Hence, for this particular investigation, the surface boundary condition is,

dlnxdlnr~|s

=

12[r~s3ω2τc2]1

 

=

r~s36[2πρ~cσc2]1

 

=

r~s36[2πρ~cσc2]34πr~s3ρ~mean1

 

=

14(ρ~cρ~mean)σc21.

This result should be compared with our separate discussion of eigenfunction details.

Discretize for Numerical Integration

General Discretization

First Approximation

Now, let's set up a grid associated with a uniformly spaced spherical radius, where the subscript J denotes the grid zone at which all terms in the finite-difference representation of the governing relations will be evaluated. More specifically,

r~J1 =

r~JΔr~

      and       r~J+1 =

r~J+Δr~;

also,

(dxdr~)J

(xJ+1xJ1)2Δr~

      and       (dpdr~)J

(pJ+1pJ1)2Δr~.

And at each grid location, the governing relations establish the local evaluation of the derivatives, that is,

(dxdr~)J =

1r~J[3x+pγg]J,

      and       (dpdr~)J =

ρ~JP~J[(4x+p)M~rr~2+τc2ω2r~x]J.

So, integrating step-by-step from the center of the configuration, outward, once all the variable values are known at grid locations J and (J1), the values of x and p at (J+1) are given by the expressions,

xJ+1 =

xJ12Δr~{1r~[3x+pγg]}J,

      and       pJ+1 =

pJ1+2Δr~{ρ~P~M~rr~2[(4x+p)+σc2(2π3ρ~cr~3M~r)x]}J.

Then we will obtain the "xJ" and "pJ" values via the average expressions,

xJ =

12(xJ1+xJ+1),

      and       pJ =

12(pJ1+pJ+1).

Consider implementing a more implicit finite-difference analysis. Wherever a "J" index appears in the source term, replace it with the average expressions. The general form of the source term expressions is,

xJ+1 =

xJ1+2Δr~{𝒜xJ+pJ}

  =

xJ1+Δr~{𝒜[xJ+1+xJ1]+[pJ+1+pJ1]}

xJ+1[1Δr~𝒜] =

xJ1[1+Δr~𝒜]+Δr~[pJ+1+pJ1],

where,

𝒜

3r~,

      and      

1γgr~;

and,

pJ+1 =

pJ1+2Δr~{𝒞xJ+𝒟pJ}

  =

pJ1+Δr~{𝒞[xJ+1+xJ1]+𝒟[pJ+1+pJ1]}

pJ+1[1Δr~𝒟] =

pJ1[1+Δr~𝒟]+Δr~𝒞[xJ+1+xJ1],

where,

𝒞

{𝒟[4+σc2(2π3ρ~cr~3M~r)]}J,

      and       𝒟

{ρ~P~M~rr~2}J.

In both cases, the two unknowns are xJ+1 and pJ+1. Combining this pair of equations gives,

xJ+1[1Δr~𝒜] =

xJ1[1+Δr~𝒜]+Δr~[pJ1]+Δr~[1Δr~𝒟]1{pJ1[1+Δr~𝒟]+Δr~𝒞[xJ+1+xJ1]}

xJ+1{1Δr~𝒜Δr~[1Δr~𝒟]1[Δr~𝒞]} =

xJ1[1+Δr~𝒜]+Δr~[pJ1]+Δr~[1Δr~𝒟]1{pJ1[1+Δr~𝒟]+Δr~𝒞[xJ1]},

which determines xJ+1, which then allows the straightforward determination of pJ+1. Via the average expressions, we can also then determine — and record — the self-consistent values of xJ and pJ.


Dropping terms 𝒪[(Δr~)2] and higher gives,

xJ+1[1Δr~𝒜]J

xJ1[1+Δr~𝒜]J+Δr~J[pJ1],

and, in turn,

pJ+1[1Δr~𝒟]J

pJ1[1+Δr~𝒟]J+Δr~𝒞J[xJ1]+Δr~𝒞J[xJ+1].

Second Approximation

Let's assume that we know the three quantities, xJ1,xJ, and (xJ)'(dx/dr~)J and want to project forward to determine, xJ+1. We should assume that, locally, the displacement function x is quadratic in r~, that is,

x =

a+br~+cr~2

dxdr~ =

b+2cr~,

where we have three unknowns, a,b,c. These can be determined by appropriately combining the three relations,

(xJ)' =

b+2cr~J,

xJ =

a+br~J+cr~J2,

xJ1 =

a+b(r~JΔr~)+c(r~JΔr~)2.

We have,

b =

(xJ)'2cr~J,

a =

xJ+[(xJ)'2cr~J]r~J+cr~J2,

a =

xJ1+[(xJ)'2cr~J](r~JΔr~)+c(r~JΔr~)2.

Combining the last two expressions gives,

xJ+[(xJ)'2cr~J]r~J+cr~J2 =

xJ1+[(xJ)'2cr~J](r~JΔr~)+c(r~JΔr~)2

xJ+(xJ)'r~Jcr~J2 =

xJ1+(xJ)'(r~JΔr~)2cr~J(r~JΔr~)+c[r~J22rJΔr~+(Δr~)2]

xJcr~J2 =

xJ1(xJ)'Δr~+c[r~J22rJΔr~+(Δr~)22r~J2+2r~J(Δr~)]

c(Δr~)2 =

xJxJ1(xJ)'Δr~.

Therefore, also,

b =

(xJ)'[xJxJ1(xJ)'Δr~]2r~J(Δr~)2,

a =

xJ(xJ)'r~J+[xJxJ1(xJ)'Δr~]r~J2(Δr~)2

Hence,

xJ+1 =

a+b(r~J+Δr~)+c(r~J+Δr~)2

  =

xJ(xJ)'r~J+[xJxJ1(xJ)'Δr~]r~J2(Δr~)2+(r~J+Δr~){(xJ)'[xJxJ1(xJ)'Δr~]2r~J(Δr~)2}

   

+(r~J+Δr~)2[xJxJ1(xJ)'Δr~]1(Δr~)2

  =

xJ(xJ)'r~J+{r~J2+2r~J(r~J+Δr~)+(r~J+Δr~)2}[xJxJ1(xJ)'Δr~]1(Δr~)2

  =

xJ(xJ)'r~J+[2r~J+Δr~]2[xJxJ1(xJ)'Δr~]1(Δr~)2.

WRONG!! Try again …

Third Approximation

Let's assume that we know the three quantities, xJ1,xJ, and (xJ)'(dx/dr~)J and want to project forward to determine, xJ+1. We should assume that, locally, the displacement function x is quadratic in r~, that is,

x =

a+br~+cr~2

dxdr~ =

b+2cr~,

where we have three unknowns, a,b,c. These can be determined by appropriately combining the three relations,

(xJ)' =

b+2cr~J,

xJ =

a+br~J+cr~J2,

xJ1 =

a+b(r~JΔr~)+c(r~JΔr~)2.

The difference between the last two expressions gives,

xJxJ1 =

[br~J+cr~J2][b(r~JΔr~)+c(r~JΔr~)2]

  =

bΔr~+c(2r~JΔr~Δr~2).

Combining this with the first of the three expressions then gives,

Δr~[(xJ)'2cr~J]+c(2r~JΔr~Δr~2)

=

xJxJ1

c(2r~JΔr~Δr~2)c[2r~JΔr~]

=

xJxJ1(xJ)'Δr~

cΔr~2

=

xJxJ1(xJ)'Δr~

c

=

1Δr~2[xJ+xJ1+(xJ)'Δr~].

Hence,

b

=

(xJ)'2cr~J

 

=

(xJ)'+2r~JΔr~2[xJxJ1(xJ)'Δr~];

a

=

xJbr~Jcr~J2

 

=

xJ{(xJ)'+2r~JΔr~2[xJxJ1(xJ)'Δr~]}r~J{1Δr~2[xJ+xJ1+(xJ)'Δr~]}r~J2

 

=

xJ(xJ)'r~J{2r~J2Δr~2[xJxJ1(xJ)'Δr~]}+{r~J2Δr~2[xJxJ1(xJ)'Δr~]}

 

=

xJ(xJ)'r~Jr~J2Δr~2[xJxJ1(xJ)'Δr~].

As a result,

xJ+1 =

{a}+(r~J+Δr~){b}+(r~J+Δr~)2{c}

  =

{xJ(xJ)'r~Jr~J2Δr~2[xJxJ1(xJ)'Δr~]}+(r~J+Δr~){(xJ)'+2r~JΔr~2[xJxJ1(xJ)'Δr~]}

   

+(r~J2+2r~JΔr~+Δr~2){1Δr~2[xJ+xJ1+(xJ)'Δr~]}

  =

xJ(xJ)'r~J+r~J2{1Δr~2[xJ+xJ1+(xJ)'Δr~]}+(xJ)'(r~J+Δr~)2r~J(r~J+Δr~){1Δr~2[xJ+xJ1+(xJ)'Δr~]}

   

+(r~J2+2r~JΔr~+Δr~2){1Δr~2[xJ+xJ1+(xJ)'Δr~]}

  =

xJ+(xJ)'Δr~+[r~J22r~J(r~J+Δr~)+(r~J2+2r~JΔr~+Δr~2)]{1Δr~2[xJ+xJ1+(xJ)'Δr~]}

  =

xJ+(xJ)'Δr~+[xJ+xJ1+(xJ)'Δr~]

  =

xJ1+2(xJ)'Δr~.

GOOD! This is the same as our first approximation expression stated above.


This is test ...

Δr~ xJ xJ1 (xJ)' (xJ1)'
0.001936393 -4.695376 -4.547832 -116.0119 -76.19513
xJ+1 =

xJ1+2(xJ)'Δr~=4.997121.

Part 2

For a continuation (part 2) of this discussion, go here.

See Also

Tiled Menu

Appendices: | VisTrailsEquations | VisTrailsVariables | References | Ramblings | VisTrailsImages | myphys.lsu | ADS |