Appendix/Ramblings/PowerSeriesExpressions: Difference between revisions

From JETohlineWiki
Jump to navigation Jump to search
Joel2 (talk | contribs)
Joel2 (talk | contribs)
 
(16 intermediate revisions by 2 users not shown)
Line 517: Line 517:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\theta</math>
<math>~\Theta_{H}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
1 - \frac{\xi^2}{6} + \frac{n}{120} \xi^4 - \frac{n}{378} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^6
+ \biggl[ \frac{n(122n^2 -183n + 70)}{3265920} \biggr] \xi^8 + \cdots
</math>
  </td>
</tr>
 
<tr>
  <td align="right">
&nbsp;
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 524: Line 539:
   <td align="left">
   <td align="left">
<math>~
<math>~
1 - \frac{\xi^2}{6} + \frac{n}{120} \xi^4 - \frac{n}{378} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^6 + \biggl[ \frac{n(122n^2 -183n + 70)}{3265920} \biggr] \xi^8 + \cdots
1 - \frac{\xi^2}{3!} + \biggl(\frac{n}{5!}\biggr) \xi^4 - \frac{n}{7!} \biggl( \frac{8n-5}{3} \biggr) \xi^6  
+ \frac{n}{9!}\biggl[ \frac{(122n^2 -183n + 70)}{9} \biggr] \xi^8 + \cdots
</math>
</math>
   </td>
   </td>
Line 536: Line 552:
====Examples====
====Examples====


When <math>n=0</math>, all of the terms in the power-series expression higher than quadratic go to zero.  As a result, we see that  
<font color="darkgreen"><b>When <math>n=0</math></b></font>, all of the terms in the power-series expression higher than quadratic go to zero.  As a result, we see that  
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">
<tr>
<tr>
Line 551: Line 567:
</table>
</table>


When <math>n=1</math>, the first few terms in the power-series expression are,
<hr width="100%" align="center">
 
===Isothermal Lane-Emden Function===


<!-- As we have discussed in [[SSC/Structure/IsothermalSphere#Governing_Relations|a separate chapter]], the 2<sup>nd</sup>-order ODE that governs the radial density distribution in an isothermal sphere is,
<font color="darkgreen"><b>When <math>n=1</math></b></font>, the first few terms in the power-series expression are,
<div align="center" id="Chandrasekhar">
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\frac{1}{\xi^2}\frac{d}{d\xi}\biggl( \xi^2 \frac{d\psi}{d\xi}\biggr)</math>
<math>\theta_{n=1}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~e^{-\psi} \, .</math>
<math>
1 - \frac{\xi^2}{6} + \frac{\xi^4}{120}  - \frac{\xi^6}{5040}
+ \frac{\xi^8}{362880} + \cdots
</math>
   </td>
   </td>
</tr>
</tr>
</table>
 
</div>
-->
 
Here we seek a power-series expression for the isothermal, Lane-Emden function &#8212; expanded about the coordinate center &#8212; that approximately satisfies the [[SSC/Structure/IsothermalSphere#Chandrasekhar|isothermal Lane-Emden equation]]; making the variable substitution (sorry for the unnecessary complication!), <math>~\psi(\xi) \leftrightarrow w(r)</math>, the governing ODE is,
<div align="center">
<table border="0" cellpadding="5" align="center">
 
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\frac{d^2w}{dr^2} +\frac{2}{r} \frac{d w}{dr}
&nbsp;
</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~e^{-w} \, . </math>
<math>
1 - \frac{\xi^2}{3!} + \frac{\xi^4}{5!}  - \frac{\xi^6}{7!}
+ \frac{\xi^8}{9!} + \cdots
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</table>
</div>
which is consistent with the power-series expression for <math>(\sin \xi)/\xi</math>.
 
<hr width="100%" align="center">


A general power-series should be of the form,
<font color="darkgreen"><b>When <math>n=5</math></b></font>, the first few terms in the power-series expression are,
<div align="center">
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~w</math>
<math>~\theta_{n=5}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 606: Line 618:
   <td align="left">
   <td align="left">
<math>~
<math>~
w_0 + ar + br^2 + cr^3 + dr^4 + er^5 + fr^6 + gr^7 + hr^8 +\cdots
1 - \frac{\xi^2}{3!} + \biggl(\frac{n}{5!}\biggr) \xi^4 - \frac{n}{7!} \biggl( \frac{8n-5}{3} \biggr) \xi^6  
+ \frac{n}{9!}\biggl[ \frac{(122n^2 -183n + 70)}{9} \biggr] \xi^8 + \cdots
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>


Derivatives:
<tr>
<div align="center">
   <td align="right">
<table border="0" cellpadding="5" align="center">
&nbsp;
 
<tr>
   <td align="right">
<math>~\frac{dw}{dr}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 626: Line 633:
   <td align="left">
   <td align="left">
<math>~
<math>~
a + 2br + 3cr^2 + 4dr^3 + 5er^4 + 6fr^5 + 7gr^6 + 8hr^7 +\cdots \, ;
1 - \frac{\xi^2}{3!} + \frac{\xi^4}{4!}  - \frac{\xi^6}{6!} \biggl( \frac{5^2}{3} \biggr)
+ \frac{\xi^8}{8!}\biggl[ \frac{5^2}{3} \cdot \frac{7^2 }{3} \biggr]  + \cdots
</math>
</math>
   </td>
   </td>
</tr>
</tr>
 
</table>
This should be compared with the [[SSC/Structure/Polytropes/Analytic#Primary_E-Type_Solution_2|known analytic solution]], which is
<table border="0" align="center" cellpadding="5">
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\frac{d^2w}{dr^2}</math>
<math>(\Theta_H)_{n=5}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>\biggl[ 1 + \frac{\xi^2}{3} \biggr]^{-1/2} \, .</math>
2b + 2\cdot 3cr + 2^2\cdot 3dr^2 + 2^2\cdot 5er^3 + 2\cdot 3 \cdot 5fr^4 + 2\cdot 3 \cdot 7gr^5 + 2^3\cdot 7hr^6 +\cdots \, .
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</table>
</div>


Put together, then, the left-hand-side of the isothermal Lane-Emden equation becomes:
From the [[Appendix/Ramblings/PowerSeriesExpressions#Binomial|binomial theorem]], we start with,
<div align="center">
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\frac{d^2w}{dr^2} +\frac{2}{r} \frac{d w}{dr} </math>
<math>~(1+b)^{m}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 660: Line 666:
   <td align="left">
   <td align="left">
<math>~
<math>~
2b + 2\cdot 3cr + 2^2\cdot 3dr^2 + 2^2\cdot 5er^3 + 2\cdot 3 \cdot 5fr^4 + 2\cdot 3 \cdot 7gr^5 + 2^3\cdot 7hr^6
1+ mb + \biggl[ \frac{m(m-1)}{2!}\biggr] b^{2+ \biggl[ \frac{m(m-1)(m-2)}{3!} \biggr] b^{3} + \biggl[ \frac{m(m-1)(m-2)(m-3)}{4!} \biggr] b^{4} + \dots
+ \frac{2}{r}\biggl[ a + 2br + 3cr^2 + 4dr^3 + 5er^4 + 6fr^5 + 7gr^6 + 8hr^7  \biggr] + \cdots
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
then set <math>b=\xi^2/3</math> and <math>m = -1/2</math> to obtain:
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
&nbsp;
<math>\theta_{n=5}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 674: Line 683:
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\frac{2a}{r} + r^0(6b) + r^1(2^2\cdot 3c) + r^2(2^2\cdot 3d + 2^3d) + r^3(2^2\cdot 5e + 2\cdot 5e)
<math>~
+ r^4(2\cdot 3\cdot 5 f + 2^2\cdot 3f) + r^5(2\cdot 3\cdot 7 g+ 2\cdot 7g) + r^6(2^3 \cdot 7 h + 2^4 h) + \cdots
1+ m\biggl( \frac{\xi^2}{3}\biggr)
+ \frac{1}{2!}\biggl[ m\biggl(m-1 \biggr)\biggr] \biggl( \frac{\xi^2}{3}\biggr)^{2
+ \frac{1}{3!}\biggl[ m \biggl(m-1 \biggr)\biggl(m-2\biggr) \biggr] \biggl( \frac{\xi^2}{3}\biggr)^{3}
+ \frac{1}{4!}\biggl[ m \biggl(m-1\biggr)\biggl(m-2\biggr)\biggl(m-3\biggr) \biggr] \biggl( \frac{\xi^2}{3}\biggr)^{4} + \dots
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>
Drawing on the [[#Exponential|above power-series expression for an exponential function]], and adopting the convention that <math>~w_0 = 0</math>, the right-hand-side becomes,
<div align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~e^{-w}</math>
&nbsp;
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 695: Line 701:
   <td align="left">
   <td align="left">
<math>~
<math>~
e^{0}\cdot e^{-ar} \cdot e^{-br^2} \cdot e^{-cr^3} \cdot e^{-dr^4} \cdot e^{-er^5} \cdot e^{-fr^6} \cdot e^{-gr^7} \cdot e^{-hr^8} \cdots
1+ \biggl(-\frac{1}{2}\biggr)\biggl( \frac{\xi^2}{3}\biggr)
+ \frac{1}{2!}\biggl[ -\frac{1}{2}\biggl(-\frac{1}{2}-1 \biggr)\biggr] \biggl( \frac{\xi^4}{3^2}\biggr) 
+ \frac{1}{3!}\biggl[ -\frac{1}{2} \biggl(-\frac{1}{2}-1 \biggr)\biggl(-\frac{1}{2}-2\biggr) \biggr] \biggl( \frac{\xi^6}{3^3}\biggr)
+ \frac{1}{4!}\biggl[ -\frac{1}{2} \biggl(-\frac{1}{2}-1\biggr)\biggl(-\frac{1}{2}-2\biggr)\biggl(-\frac{1}{2}-3\biggr) \biggr]
\biggl( \frac{\xi^8}{3^4}\biggr) + \dots
</math>
</math>
   </td>
   </td>
Line 709: Line 719:
   <td align="left">
   <td align="left">
<math>~
<math>~
\biggl[ 1 -ar + \frac{a^2r^2}{2!} - \frac{a^3r^3}{3!} + \frac{a^4r^4}{4!} - \frac{a^5r^5}{5!} + \frac{a^6r^6}{6!} + \cdots \biggr]
1 - \biggl( \frac{\xi^2}{2\cdot 3}\biggr)
+ \frac{1}{2!}\biggl[ \frac{3}{4}\biggr] \biggl( \frac{\xi^4}{3^2}\biggr) 
+ \frac{1}{3!}\biggl[ -\frac{15}{8} \biggr] \biggl( \frac{\xi^6}{3^3}\biggr)
+ \frac{1}{4!}\biggl[ \biggl(\frac{105}{16}\biggr) \biggr]  
\biggl( \frac{\xi^8}{3^4}\biggr) + \dots
</math>
</math>
   </td>
   </td>
Line 719: Line 733:
   </td>
   </td>
   <td align="center">
   <td align="center">
&nbsp;
<math>~=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~
\times \biggl[ 1 -br^2 + \frac{b^2r^4}{2!} - \frac{b^3r^6}{3!} + \cdots \biggr] \times \biggl[ 1 -cr^3 + \frac{c^2r^6}{2!} + \cdots \biggr]
1 - \frac{\xi^2}{3!} + \frac{\xi^4}{4!}
\times \biggl[1 - dr^4\biggr] \times \biggl[1 - er^5\biggr]\times \biggl[1 - fr^6\biggr]
- \frac{\xi^6}{6!}\biggl( \frac{5^2}{3} \biggr
+ \frac{\xi^8}{8!}\biggl(\frac{5^2 \cdot 7^2}{3^2}\biggr) + \dots
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
<b>QED</b>
===Isothermal Lane-Emden Function===
<!-- As we have discussed in [[SSC/Structure/IsothermalSphere#Governing_Relations|a separate chapter]], the 2<sup>nd</sup>-order ODE that governs the radial density distribution in an isothermal sphere is,
<div align="center" id="Chandrasekhar">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
&nbsp;
<math>~\frac{1}{\xi^2}\frac{d}{d\xi}\biggl( \xi^2 \frac{d\psi}{d\xi}\biggr)</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\approx</math>
<math>~=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~e^{-\psi} \, .</math>
\biggl[ 1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} + \frac{a^4r^4}{24} - \frac{a^5r^5}{5\cdot 24} + \frac{a^6r^6}{30\cdot 24} \biggr]
\times \biggl[ 1 -cr^3 + \frac{c^2r^6}{2}  -br^2 + bcr^5 + \frac{b^2r^4}{2}  - \frac{b^3r^6}{6} \biggr]
\times \biggl[1 - dr^4 - er^5 - fr^6\biggr]
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>
-->
Here we seek a power-series expression for the isothermal, Lane-Emden function &#8212; expanded about the coordinate center &#8212; that approximately satisfies the [[SSC/Structure/IsothermalSphere#Chandrasekhar|isothermal Lane-Emden equation]]; making the variable substitution (sorry for the unnecessary complication!), <math>~\psi(\xi) \leftrightarrow w(r)</math>, the governing ODE is,
<div align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
&nbsp;
<math>~\frac{d^2w}{dr^2} +\frac{2}{r} \frac{d w}{dr}
</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\approx</math>
<math>~=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\biggl\{
<math>~e^{-w} \, . </math>
\biggl[ 1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} + \frac{a^4r^4}{24} - \frac{a^5r^5}{5\cdot 24} + \frac{a^6r^6}{30\cdot 24} \biggr]
   </td>
- dr^4 \biggl[ 1 -ar + \frac{a^2r^2}{2} \biggr] - er^5 \biggl[ 1 -ar \biggr] - fr^6
\biggr\}
</math>
   </td>
</tr>
</tr>
</table>
</div>
A general power-series should be of the form,
<div align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
&nbsp;
<math>~w</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
&nbsp;
<math>~=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~
\times \biggl[ 1  -br^2 -cr^3 + \frac{b^2r^4}{2}  + bcr^5 + r^6\biggl(\frac{c^2}{2}- \frac{b^3}{6}\biggr) \biggr]
w_0 + ar + br^2 + cr^3 + dr^4 + er^5 + fr^6 + gr^7 + hr^8 +\cdots
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>
Derivatives:
<div align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
&nbsp;
<math>~\frac{dw}{dr}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\approx</math>
<math>~=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\biggl[
<math>~
1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} + \frac{a^4r^4}{24} - \frac{a^5r^5}{5\cdot 24} + \frac{a^6r^6}{30\cdot 24}
a + 2br + 3cr^2 + 4dr^3 + 5er^4 + 6fr^5 + 7gr^6 + 8hr^7 +\cdots \, ;
- dr^+ adr^5 - \frac{a^2d r^6}{2}  - er^5  +  aer^6  - fr^6
\biggr]
</math>
</math>
   </td>
   </td>
Line 793: Line 827:
<tr>
<tr>
   <td align="right">
   <td align="right">
&nbsp;
<math>~\frac{d^2w}{dr^2}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
&nbsp;
<math>~=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~
\times \biggl[ 1  -br^2 -cr^3 + \frac{b^2r^4}{2}  + bcr^5 + r^6\biggl(\frac{c^2}{2}- \frac{b^3}{6}\biggr) \biggr]
2b + 2\cdot 3cr + 2^2\cdot 3dr^2 + 2^2\cdot 5er^3 + 2\cdot 3 \cdot 5fr^4 + 2\cdot 3 \cdot 7gr^5 + 2^3\cdot 7hr^6 +\cdots \, .
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>
Put together, then, the left-hand-side of the isothermal Lane-Emden equation becomes:
<div align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
&nbsp;
<math>~\frac{d^2w}{dr^2} +\frac{2}{r} \frac{d w}{dr} </math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\approx</math>
<math>~=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\biggl[
<math>~
1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} + r^4\biggl(\frac{a^4}{24} - d\biggr) + r^5\biggl(ad - e-\frac{a^5}{5\cdot 24}\biggr)
2b + 2\cdot 3cr + 2^2\cdot 3dr^2 + 2^2\cdot 5er^3 + 2\cdot 3 \cdot 5fr^4 + 2\cdot 3 \cdot 7gr^5 + 2^3\cdot 7hr^6
+ r^6 \biggl(\frac{a^6}{30\cdot 24} - \frac{a^2d}{2}   +  ae  - f \biggr)
+ \frac{2}{r}\biggl[ a + 2br + 3cr^2 + 4dr^3 + 5er^4 + 6fr^5 + 7gr^6 + 8hr^\biggr] + \cdots
\biggr]
\times \biggl[ 1  -br^2 -cr^3 + \frac{b^2r^4}{2}  + bcr^5 + r^6\biggl(\frac{c^2}{2}- \frac{b^3}{6}\biggr) \biggr]
</math>
</math>
   </td>
   </td>
Line 827: Line 865:
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\approx</math>
<math>~=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~\frac{2a}{r} + r^0(6b) + r^1(2^2\cdot 3c) + r^2(2^2\cdot 3d + 2^3d) + r^3(2^2\cdot 5e + 2\cdot 5e)
1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} + r^4\biggl(\frac{a^4}{24} - d\biggr) + r^5\biggl(ad - e-\frac{a^5}{5\cdot 24}\biggr)  
+ r^4(2\cdot 3\cdot 5 f + 2^2\cdot 3f) + r^5(2\cdot 3\cdot 7 g+ 2\cdot 7g) + r^6(2^3 \cdot 7 h + 2^4 h) + \cdots
+ r^6 \biggl(\frac{a^6}{30\cdot 24} - \frac{a^2d}{2}  + ae  - f \biggr)
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>
Drawing on the [[#Exponential|above power-series expression for an exponential function]], and adopting the convention that <math>~w_0 = 0</math>, the right-hand-side becomes,
<div align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
&nbsp;
<math>~e^{-w}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
&nbsp;
<math>~=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~-br^2\biggl[ 1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} + r^4\biggl(\frac{a^4}{24} - d\biggr) \biggr]
<math>~
-cr^3 \biggl[ 1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} \biggr]
e^{0}\cdot e^{-ar} \cdot e^{-br^2} \cdot e^{-cr^3} \cdot e^{-dr^4} \cdot e^{-er^5} \cdot e^{-fr^6} \cdot e^{-gr^7} \cdot e^{-hr^8} \cdots
+ \frac{b^2r^4}{2}\biggl[ 1 -ar + \frac{a^2r^2}{2} \biggr]
</math>
+  bcr^5\biggl[1 -ar \biggr]
+ r^6\biggl(\frac{c^2}{2}- \frac{b^3}{6}\biggr) 
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>


Expressions for the various coefficients can now  be determined by equating terms on the LHS and RHS that have like powers of <math>~r</math>.  Beginning with the highest order terms, we initially find,
<div align="center">
<table border="1" cellpadding="5" align="center">
<tr>
<tr>
   <td align="center">Term</td>
   <td align="right">
   <td align="center">LHS</td>
&nbsp;
   <td align="center">RHS</td>
  </td>
   <td align="center">Implication</td>
   <td align="center">
<math>~=</math>
  </td>
   <td align="left">
<math>~
\biggl[ 1 -ar + \frac{a^2r^2}{2!} - \frac{a^3r^3}{3!} + \frac{a^4r^4}{4!} - \frac{a^5r^5}{5!} + \frac{a^6r^6}{6!} + \cdots \biggr]
</math>
   </td>
</tr>
</tr>


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~r^{-1}:</math>
&nbsp;
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~2a</math>
&nbsp;
  </td>
  <td align="center">
<math>~0</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~a=0</math>
<math>~
\times \biggl[ 1 -br^2 + \frac{b^2r^4}{2!} - \frac{b^3r^6}{3!} + \cdots \biggr] \times \biggl[ 1 -cr^3 + \frac{c^2r^6}{2!} + \cdots \biggr]
\times \biggl[1 - dr^4\biggr] \times \biggl[1 - er^5\biggr]\times \biggl[1 - fr^6\biggr]
</math>
   </td>
   </td>
</tr>
</tr>
Line 883: Line 925:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~r^{0}:</math>
&nbsp;
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~6b</math>
<math>~\approx</math>
  </td>
  <td align="center">
<math>~1</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~b = + \frac{1}{6}</math>
<math>~
\biggl[ 1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} + \frac{a^4r^4}{24} - \frac{a^5r^5}{5\cdot 24} + \frac{a^6r^6}{30\cdot 24} \biggr]
\times \biggl[ 1 -cr^3 + \frac{c^2r^6}{2}  -br^2 + bcr^5 + \frac{b^2r^4}{2}  - \frac{b^3r^6}{6} \biggr]
\times \biggl[1 - dr^4 - er^5 - fr^6\biggr]
</math>
   </td>
   </td>
</tr>
</tr>
Line 898: Line 941:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~r^{1}:</math>
&nbsp;
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~2^2\cdot 3c</math>
<math>~\approx</math>
  </td>
  <td align="center">
<math>~-a</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~c = -\frac{a}{2^2\cdot 3} =0</math>
<math>~\biggl\{
\biggl[ 1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} + \frac{a^4r^4}{24} - \frac{a^5r^5}{5\cdot 24} + \frac{a^6r^6}{30\cdot 24} \biggr]
- dr^4 \biggl[ 1 -ar + \frac{a^2r^2}{2} \biggr] - er^5 \biggl[ 1 -ar \biggr] - fr^6
\biggr\}
</math>
   </td>
   </td>
</tr>
</tr>
Line 913: Line 957:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~r^{2}:</math>
&nbsp;
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~(2^2\cdot 3d + 2^3d)</math>
&nbsp;
  </td>
  <td align="center">
<math>~\frac{a^2}{2} - b</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~d = \frac{1}{20}\biggl( \frac{a^2}{2} - b \biggr) = - \frac{1}{120}</math>
<math>~
\times \biggl[ 1  -br^2 -cr^3  + \frac{b^2r^4}{2} + bcr^5  + r^6\biggl(\frac{c^2}{2}- \frac{b^3}{6}\biggr) \biggr]
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>


With this initial set of coefficient values in hand, we can rewrite (and significantly simplify) our approximate expression for the RHS, namely,
<tr>
 
   <td align="right">
<div align="center">
&nbsp;
<table border="0" cellpadding="5" align="center">
 
<tr>
   <td align="right">
<math>~e^{-w}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 941: Line 977:
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~\biggl[
1 -d r^4 -e r^5 -f r^6  
1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} + \frac{a^4r^4}{24} - \frac{a^5r^5}{5\cdot 24} + \frac{a^6r^6}{30\cdot 24}  
-br^2 ( 1 -d r^4 ) + \frac{b^2r^4}{2} - \frac{b^3r^6}{6}
- dr^4  + adr^5 - \frac{a^2d r^6}{2}  - er^5  +  aer^6  - fr^6
\biggr]
</math>
</math>
   </td>
   </td>
Line 953: Line 990:
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
&nbsp;
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~
1 -br^2+ r^4 \biggl(\frac{b^2}{2}  -d \biggr) -e r^5   
\times \biggl[ 1 -br^2 -cr^3  + \frac{b^2r^4}{2}  + bcr^5  + r^6\biggl(\frac{c^2}{2}- \frac{b^3}{6}\biggr) \biggr]
+r^6\biggl( bd - \frac{b^3}{6} -f \biggr) \, .
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>


Continuing, then, with equating terms with like powers on both sides of the equation, we find,
<div align="center">
<table border="1" cellpadding="5" align="center">
<tr>
<tr>
  <td align="center">Term</td>
   <td align="right">
  <td align="center">LHS</td>
&nbsp;
  <td align="center">RHS</td>
  <td align="center">Implication</td>
</tr>
 
<tr>
   <td align="right">
<math>~r^{3}:</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~30e</math>
<math>~\approx</math>
  </td>
  <td align="center">
<math>~0</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~e=0</math>
<math>~\biggl[
1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} + r^4\biggl(\frac{a^4}{24} - d\biggr) + r^5\biggl(ad - e-\frac{a^5}{5\cdot 24}\biggr)
+ r^6 \biggl(\frac{a^6}{30\cdot 24} - \frac{a^2d}{2}  +  ae  - f \biggr)
\biggr]
\times \biggl[ 1  -br^2 -cr^3  + \frac{b^2r^4}{2}  + bcr^5  + r^6\biggl(\frac{c^2}{2}- \frac{b^3}{6}\biggr) \biggr]
</math>
   </td>
   </td>
</tr>
</tr>
Line 992: Line 1,018:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~r^{4}:</math>
&nbsp;
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~(2\cdot 3\cdot 5 f + 2^2\cdot 3f)</math>
<math>~\approx</math>
  </td>
  <td align="center">
<math>~\biggl(\frac{b^2}{2}  -d \biggr) </math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~f = \frac{1}{2\cdot 3\cdot 7}\biggl(\frac{1}{2^3\cdot 3^2}+\frac{1}{2^3\cdot 3 \cdot 5}\biggr) = \frac{1}{2\cdot 3^3\cdot 5 \cdot 7}</math>
<math>~
1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} + r^4\biggl(\frac{a^4}{24} - d\biggr) + r^5\biggl(ad - e-\frac{a^5}{5\cdot 24}\biggr)  
+ r^6 \biggl(\frac{a^6}{30\cdot 24} - \frac{a^2d}{2}  +  ae  - f \biggr)
</math>
   </td>
   </td>
</tr>
</tr>
Line 1,007: Line 1,033:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~r^{5}:</math>
&nbsp;
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~(2\cdot 3\cdot 7 g+ 2\cdot 7g)</math>
&nbsp;
  </td>
  <td align="center">
<math>~-e</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~g = 0</math>
<math>~-br^2\biggl[ 1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} + r^4\biggl(\frac{a^4}{24} - d\biggr) \biggr]
-cr^3  \biggl[ 1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} \biggr]
+ \frac{b^2r^4}{2}\biggl[ 1 -ar + \frac{a^2r^2}{2} \biggr]
+  bcr^5\biggl[1 -ar \biggr]
+ r^6\biggl(\frac{c^2}{2}- \frac{b^3}{6}\biggr) 
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>


<tr>
Expressions for the various coefficients can now  be determined by equating terms on the LHS and RHS that have like powers of <math>~r</math>.  Beginning with the highest order terms, we initially find,
<div align="center">
<table border="1" cellpadding="5" align="center">
<tr>
  <td align="center">Term</td>
  <td align="center">LHS</td>
  <td align="center">RHS</td>
  <td align="center">Implication</td>
</tr>
 
<tr>
   <td align="right">
   <td align="right">
<math>~r^{6}:</math>
<math>~r^{-1}:</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~(2^3 \cdot 7 h + 2^4 h)</math>
<math>~2a</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\biggl( bd - \frac{b^3}{6} -f \biggr)</math>
<math>~0</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~
<math>~\Rightarrow ~~~a=0</math>
h = -\frac{1}{2^3\cdot 3^2}\biggl(  \frac{1}{2^4\cdot 3^2 \cdot 5} + \frac{1}{2^4\cdot 3^4} + \frac{1}{2\cdot 3^3\cdot 5\cdot 7}\biggr)
= -\frac{61}{2^{6} \cdot  3^6\cdot 5\cdot 7}
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>


 
<tr>
 
  <td align="right">
Result:
<math>~r^{0}:</math>
<div align="center" id="IsothermalLaneEmden">
  </td>
<table border="1" width="80%" cellpadding="8" align="center">
   <td align="center">
<tr><th align="center">For Spherically Symmetric Configurations</th></tr>
<math>~6b</math>
<tr><td align="center">
<table border="0" cellpadding="5" align="center">
 
<tr>
   <td align="right">
<math>~w(r)
</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>~1</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\frac{r^2}{6} - \frac{r^4}{120} + \frac{r^6}{1890} - \frac{61 r^8}{1,632,960} + \cdots \, .</math>
<math>~\Rightarrow ~~~b = + \frac{1}{6}</math>
   </td>
   </td>
</tr>
</tr>
</table>
</td></tr></table>
</div>


 
<tr>
See also:
  <td align="right">
* Equation (377) from &sect;22 in Chapter IV of [[Appendix/References#C67|C67]].
<math>~r^{1}:</math>
 
  </td>
 
   <td align="center">
NOTE:  &nbsp;For cylindrically symmetric, rather than spherically symmetric, configurations, an analytic expression for the function, <math>~w(r)</math>, is presented as equation (56) in a paper by [http://adsabs.harvard.edu/abs/1964ApJ...140.1056O J. P. Ostriker (1964, ApJ, 140, 1056)] titled, ''The Equilibrium of Polytropic and Isothermal Cylinders''.
<math>~2^2\cdot 3c</math>
 
===Displacement Function for Polytropic LAWE===
 
The [[SSC/Stability/Polytropes#Adiabatic_.28Polytropic.29_Wave_Equation|LAWE for polytropic spheres]] may be written as,
<div align="center">
<table border="0" cellpadding="5" align="center">
 
<tr>
   <td align="right">
<math>~0 </math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>~-a</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\frac{d^2x}{d\xi^2} + \biggl[\frac{4}{\xi} - \frac{(n+1)}{\theta} \biggl(- \frac{d\theta}{d\xi}\biggr)\biggr] \frac{dx}{d\xi} +
<math>~\Rightarrow ~~~c = -\frac{a}{2^2\cdot 3} =0</math>
\frac{(n+1)}{\theta}\biggl[\frac{\sigma_c^2}{6\gamma } -
\frac{\alpha}{\xi} \biggl(- \frac{d\theta}{d\xi}\biggr)\biggr]  x </math>
   </td>
   </td>
</tr>
</tr>
Line 1,094: Line 1,107:
<tr>
<tr>
   <td align="right">
   <td align="right">
&nbsp;
<math>~r^{2}:</math>
  </td>
  <td align="center">
<math>~(2^2\cdot 3d + 2^3d)</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>~\frac{a^2}{2} - b</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\theta \frac{d^2x}{d\xi^2} + \biggl[4\theta - (n+1)\xi \biggl(- \frac{d\theta}{d\xi}\biggr)\biggr] \frac{1}{\xi}\frac{dx}{d\xi} +
<math>~\Rightarrow ~~~d = \frac{1}{20}\biggl( \frac{a^2}{2} - b \biggr) = - \frac{1}{120}</math>
\frac{(n+1)}{6} \biggl[\frac{\sigma_c^2}{\gamma } -  
\frac{6\alpha}{\xi} \biggl(- \frac{d\theta}{d\xi}\biggr)\biggr]  x \, ,</math>
   </td>
   </td>
</tr>
</tr>
</table>
</table>
</div>
</div>
where, <math>~\theta(\xi)</math> is the polytropic Lane-Emden function describing the configuration's unperturbed radial density distribution, and <math>~\gamma</math>, <math>~\sigma_c^2</math>, and <math>~\alpha \equiv (3-4/\gamma)</math> are constants.  Here we seek a power-series expression for the displacement function, <math>~x(r)</math>, expanded about the center of the configuration, that approximately satisfies this LAWE.


First we note that, near the center, an accurate [[#PolytropicLaneEmden|power-series expression for the polytropic Lane-Emden function]] is,  
With this initial set of coefficient values in hand, we can rewrite (and significantly simplify) our approximate expression for the RHS, namely,
 
<div align="center">
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\theta</math>
<math>~e^{-w}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>~\approx</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~
1 - \frac{\xi^2}{6} + \frac{n}{120} \xi^4 - \frac{n}{378} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^6 + \cdots
1 -d r^4 -e r^5 -f r^6
-br^2 ( 1 -d r^4 ) + \frac{b^2r^4}{2} - \frac{b^3r^6}{6}  
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>


Hence,
<tr>
<div align="center">
   <td align="right">
<table border="0" cellpadding="5" align="center">
&nbsp;
 
<tr>
   <td align="right">
<math>~-\frac{d\theta}{d\xi}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\approx</math>
<math>~=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~
\frac{1}{3} \biggl[ \xi - \frac{n}{10} \xi^3 + \frac{n}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^5  \biggr]
1 -br^2+ r^4 \biggl(\frac{b^2}{2} -d \biggr) -e r^
\, .</math>
+r^6\biggl( bd - \frac{b^3}{6} -f \biggr) \, .
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</table>
</div>
</div>
Therefore, near the center of the configuration, the LAWE may be written as,
 
Continuing, then, with equating terms with like powers on both sides of the equation, we find,
<div align="center">
<div align="center">
<table border="0" cellpadding="5" align="center">
<table border="1" cellpadding="5" align="center">
<tr>
  <td align="center">Term</td>
  <td align="center">LHS</td>
  <td align="center">RHS</td>
  <td align="center">Implication</td>
</tr>


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~6~\theta \frac{d^2x}{d\xi^2} + \biggl\{ 12~\theta
<math>~r^{3}:</math>
- (n+1)\xi \biggl[ \xi - \frac{n}{10} \xi^3 + \frac{n}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^5 \biggr] \biggr\} \frac{2}{\xi}\frac{dx}{d\xi}</math>
  </td>
  <td align="center">
<math>~30e</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\approx</math>
<math>~0</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~ -
<math>~\Rightarrow ~~~e=0</math>
(n+1) \biggl\{ \frac{\sigma_c^2}{\gamma } -
\frac{2\alpha}{\xi} \biggl[ \xi - \frac{n}{10} \xi^3 + \frac{n}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^5 \biggr] \biggr\}  x </math>
   </td>
   </td>
</tr>
</tr>
Line 1,167: Line 1,186:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>\Rightarrow~~~ ~6\biggl[ 1 - \frac{\xi^2}{6} + \frac{n}{120} \xi^4 \biggr] \frac{d^2x}{d\xi^2}  
<math>~r^{4}:</math>
+ \biggl\{ 12 \biggl[ 1 - \frac{\xi^2}{6} + \frac{n}{120} \xi^4 \biggr]
  </td>
- (n+1)\biggl[ \xi^2 - \frac{n}{10} \xi^4 \biggr] \biggr\} \frac{2}{\xi}\frac{dx}{d\xi}</math>
  <td align="center">
<math>~(2\cdot 3\cdot 5 f + 2^2\cdot 3f)</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\approx</math>
<math>~\biggl(\frac{b^2}{2}  -d \biggr) </math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~ -
<math>~\Rightarrow ~~~f = \frac{1}{2\cdot 3\cdot 7}\biggl(\frac{1}{2^3\cdot 3^2}+\frac{1}{2^3\cdot 3 \cdot 5}\biggr) = \frac{1}{2\cdot 3^3\cdot 5 \cdot 7}</math>
(n+1) \biggl\{ \mathfrak{F} 
+ 2\alpha \biggl[ \frac{n}{10} \xi^2 - \frac{n}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^4 \biggr] \biggr\} x </math>
   </td>
   </td>
</tr>
</tr>
Line 1,183: Line 1,201:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>\Rightarrow~~~ ~\biggl( 6 - \xi^2 + \frac{n}{20} \xi^4  \biggr) \frac{d^2x}{d\xi^2}
<math>~r^{5}:</math>
+ \biggl[ 12 - (n+3)\xi^2 + \frac{n(n+2)}{10} \xi^4  \biggr] \frac{2}{\xi}\frac{dx}{d\xi}</math>
  </td>
  <td align="center">
<math>~(2\cdot 3\cdot 7 g+ 2\cdot 7g)</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\approx</math>
<math>~-e</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~ -
<math>~\Rightarrow ~~~g = 0</math>
(n+1) \biggl[ \mathfrak{F} 
+ \frac{n\alpha}{5} \xi^2 - \frac{2n\alpha}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^4 \biggr]  x \, ,</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>
where, <math>\mathfrak{F} \equiv (\sigma_c^2/\gamma - 2\alpha)</math> and, for present purposes, we have kept terms in the series no higher than <math>~\xi^4</math>. 
<table border="1" align="center" width="80%" cellpadding="5"><tr><td align="left">
<font color="red">
This is a derivation check ...
</font>
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>
<math>~r^{6}:</math>
\biggl[ 6\theta \biggr] \frac{d^2x}{d\xi^2} + \biggl\{ 24 \biggl[ \theta \biggr]
- 6(n+1)\xi \biggl[- \frac{d\theta}{d\xi}\biggr] \biggr\} \frac{1}{\xi}\frac{dx}{d\xi}
</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>=</math>
<math>~(2^3 \cdot 7 h + 2^4 h)</math>
  </td>
  <td align="center">
<math>~\biggl( bd - \frac{b^3}{6} -f \biggr)</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>  
<math>~\Rightarrow ~~~
-(n+1) \biggl\{ \frac{\sigma_c^2}{\gamma } -
h = -\frac{1}{2^3\cdot 3^2}\biggl\frac{1}{2^4\cdot 3^2 \cdot 5} + \frac{1}{2^4\cdot 3^4} + \frac{1}{2\cdot 3^3\cdot 5\cdot 7}\biggr)
\frac{6\alpha}{\xi} \biggl[- \frac{d\theta}{d\xi}\biggr] \biggr\} x
= -\frac{61}{2^{6} \cdot  3^6\cdot 5\cdot 7}
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>
Result:
<div align="center" id="IsothermalLaneEmden">
<table border="1" width="80%" cellpadding="8" align="center">
<tr><th align="center">For Spherically Symmetric Configurations</th></tr>
<tr><td align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>
<math>~w(r)  
6\biggl[ 1 - \frac{\xi^2}{6} + \frac{n}{120} \xi^4 - \frac{n}{378} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^6 + \cdots
</math>
\biggr] \frac{d^2x}{d\xi^2} + \biggl\{ 24 \biggl[ 1 - \frac{\xi^2}{6} + \frac{n}{120} \xi^4
   </td>
- \frac{n}{378} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^6 + \cdots\biggr]
- 2(n+1)\xi \biggl[\xi - \frac{n}{10} \xi^3 + \frac{n}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^5 \biggr] \biggr\} \frac{1}{\xi}\frac{dx}{d\xi}
</math>
   </td>
   <td align="center">
   <td align="center">
<math>=</math>
<math>~=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>  
<math>~\frac{r^2}{6} - \frac{r^4}{120} + \frac{r^6}{1890} - \frac{61 r^8}{1,632,960} + \cdots \, .</math>
-(n+1) \biggl\{ \frac{\sigma_c^2}{\gamma } -  
\frac{2\alpha}{\xi} \biggl[\xi - \frac{n}{10} \xi^3 + \frac{n}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^5 \biggr] \biggr\}  x
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</td></tr></table>
</div>


<tr>
See also:
  <td align="right">
* Equation (377) from &sect;22 in Chapter IV of [[Appendix/References#C67|C67]].
<math>
 
\biggl[ 6 - \xi^2 + \frac{n}{20} \xi^4 - \frac{n}{63} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^6 \biggr] \frac{d^2x}{d\xi^2}
 
+ \biggl\{ 12 - (n+3)\xi^2  + \biggl[\frac{n(n+2)}{10}\biggr] \xi^4  - \biggl[ 
NOTE:  &nbsp;For cylindrically symmetric, rather than spherically symmetric, configurations, an analytic expression for the function, <math>~w(r)</math>, is presented as equation (56) in a paper by [http://adsabs.harvard.edu/abs/1964ApJ...140.1056O J. P. Ostriker (1964, ApJ, 140, 1056)] titled, ''The Equilibrium of Polytropic and Isothermal Cylinders''.
\frac{n(n+19)}{7\cdot 27} \biggr] \biggl( \frac{8n-5}{40} \biggr)\xi^6  \biggr\} \frac{2}{\xi}\frac{dx}{d\xi}
 
</math>
===Displacement Function for Polytropic LAWE===
  </td>
  <td align="center">
<math>=</math>
  </td>
  <td align="left">
<math>
-(n+1) \biggl\{ \mathfrak{F} +  \frac{n\alpha}{5} \xi^2 - \frac{2n\alpha }{21} \biggl( \frac{8n-5}{40} \biggr) \xi^4 \biggr\}  x
</math>
  </td>
</tr>
</table>


Try <math>\cdots</math>
The [[SSC/Stability/Polytropes#Adiabatic_.28Polytropic.29_Wave_Equation|LAWE for polytropic spheres]] may be written as,
<div align="center">
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~x</math>
<math>~0 </math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 1,274: Line 1,280:
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~\frac{d^2x}{d\xi^2} + \biggl[\frac{4}{\xi} - \frac{(n+1)}{\theta} \biggl(- \frac{d\theta}{d\xi}\biggr)\biggr] \frac{dx}{d\xi} +  
1 + a\xi + b\xi^2 + c\xi^3 + d\xi^4 + e\xi^5 + f\xi^6\cdots
\frac{(n+1)}{\theta}\biggl[\frac{\sigma_c^2}{6\gamma } -
</math>
\frac{\alpha}{\xi} \biggl(- \frac{d\theta}{d\xi}\biggr)\biggr]  x </math>
   </td>
   </td>
</tr>
</tr>
Line 1,282: Line 1,288:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>\frac{dx}{d\xi}</math>
&nbsp;
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 1,288: Line 1,294:
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~\theta \frac{d^2x}{d\xi^2} + \biggl[4\theta - (n+1)\xi \biggl(- \frac{d\theta}{d\xi}\biggr)\biggr] \frac{1}{\xi}\frac{dx}{d\xi} +  
a + 2b\xi + 3c\xi^2 + 4d\xi^3 + 5e\xi^4 + 6f\xi^5\cdots
\frac{(n+1)}{6} \biggl[\frac{\sigma_c^2}{\gamma } -
</math>
\frac{6\alpha}{\xi} \biggl(- \frac{d\theta}{d\xi}\biggr)\biggr]  x \, ,</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>
where, <math>~\theta(\xi)</math> is the polytropic Lane-Emden function describing the configuration's unperturbed radial density distribution, and <math>~\gamma</math>, <math>~\sigma_c^2</math>, and <math>~\alpha \equiv (3-4/\gamma)</math> are constants.  Here we seek a power-series expression for the displacement function, <math>~x(r)</math>, expanded about the center of the configuration, that approximately satisfies this LAWE.
First we note that, near the center, an accurate [[#PolytropicLaneEmden|power-series expression for the polytropic Lane-Emden function]] is,
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>\Rightarrow ~~~ \frac{2}{\xi} \cdot \frac{dx}{d\xi}</math>
<math>~\theta</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 1,303: Line 1,315:
   <td align="left">
   <td align="left">
<math>~
<math>~
\frac{2a}{\xi} + 4b + 6c\xi + 8d\xi^2 + 10e\xi^3 + 12f\xi^4\cdots
1 - \frac{\xi^2}{6} + \frac{n}{120} \xi^4 - \frac{n}{378} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^6 + \cdots
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
Hence,
<div align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\frac{d^2x}{d\xi^2}</math>
<math>~-\frac{d\theta}{d\xi}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>~\approx</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~
2b + 6c\xi + 12d\xi^2 + 20e\xi^3 + 30f\xi^4 + \cdots
\frac{1}{3} \biggl[ \xi - \frac{n}{10} \xi^3 + \frac{n}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^\biggr]
</math>
\, .</math>
   </td>
   </td>
</tr>
</tr>
</table>
</table>
 
</div>
in which case,
Therefore, near the center of the configuration, the LAWE may be written as,
 
<div align="center">
<table border="0" align="center" cellpadding="5">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>0</math>
<math>~6~\theta \frac{d^2x}{d\xi^2} + \biggl\{ 12~\theta
- (n+1)\xi \biggl[ \xi - \frac{n}{10} \xi^3 + \frac{n}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^5 \biggr] \biggr\} \frac{2}{\xi}\frac{dx}{d\xi}</math>
  </td>
  <td align="center">
<math>~\approx</math>
   </td>
   </td>
  <td align="center"><math>\approx</math></td>
   <td align="left">
   <td align="left">
<math>
<math>~ -
\biggl[ 6 - \xi^2 + \frac{n}{20} \xi^4 - \frac{n}{63} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^6 \biggr] \biggl[2b + 6c\xi + 12d\xi^2 + 20e\xi^3 + 30f\xi^4\biggr]
(n+1) \biggl\{ \frac{\sigma_c^2}{\gamma } -
</math>
\frac{2\alpha}{\xi} \biggl[ \xi - \frac{n}{10} \xi^3 + \frac{n}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^5 \biggr] \biggr\}  x </math>
   </td>
   </td>
</tr>
</tr>
Line 1,341: Line 1,361:
<tr>
<tr>
   <td align="right">
   <td align="right">
&nbsp;
<math>\Rightarrow~~~ ~6\biggl[ 1 - \frac{\xi^2}{6} + \frac{n}{120} \xi^4  \biggr] \frac{d^2x}{d\xi^2}
+ \biggl\{ 12 \biggl[ 1 - \frac{\xi^2}{6} + \frac{n}{120} \xi^4 \biggr]
- (n+1)\biggl[ \xi^2 - \frac{n}{10} \xi^4 \biggr] \biggr\} \frac{2}{\xi}\frac{dx}{d\xi}</math>
  </td>
  <td align="center">
<math>~\approx</math>
   </td>
   </td>
  <td align="center">&nbsp;</td>
   <td align="left">
   <td align="left">
<math>
<math>~ -
+~ \biggl\{ 12 - (n+3)\xi^2 + \biggl[\frac{n(n+2)}{10}\biggr] \xi^- \biggl[ 
(n+1) \biggl\{ \mathfrak{F}  
\frac{n(n+19)}{7\cdot 27} \biggr] \biggl( \frac{8n-5}{40} \biggr)\xi^6  \biggr\}
+ 2\alpha \biggl[ \frac{n}{10} \xi^2 - \frac{n}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^4 \biggr] \biggr\}  x </math>
\biggl[ \frac{2a}{\xi} + 4b + 6c\xi + 8d\xi^2 + 10e\xi^3 + 12f\xi^4 \biggr]
</math>
   </td>
   </td>
</tr>
</tr>
Line 1,355: Line 1,377:
<tr>
<tr>
   <td align="right">
   <td align="right">
&nbsp;
<math>\Rightarrow~~~ ~\biggl( 6 - \xi^2 + \frac{n}{20} \xi^4  \biggr) \frac{d^2x}{d\xi^2}
+ \biggl[ 12 - (n+3)\xi^2 + \frac{n(n+2)}{10} \xi^4  \biggr] \frac{2}{\xi}\frac{dx}{d\xi}</math>
  </td>
  <td align="center">
<math>~\approx</math>
   </td>
   </td>
  <td align="center">&nbsp;</td>
   <td align="left">
   <td align="left">
<math>
<math>~ -
+~(n+1) \biggl\{ \mathfrak{F} + \frac{n\alpha}{5} \xi^2 - \frac{2n\alpha }{21} \biggl( \frac{8n-5}{40} \biggr) \xi^4 \biggr\}
(n+1) \biggl[ \mathfrak{F}
\biggl[ 1 + a\xi + b\xi^2 + c\xi^3 + d\xi^4 + e\xi^5 + f\xi^6 \biggr]
+ \frac{n\alpha}{5} \xi^2 - \frac{2n\alpha}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^4 \biggr]  x \, ,</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</table>
</div>
where, <math>\mathfrak{F} \equiv (\sigma_c^2/\gamma - 2\alpha)</math> and, for present purposes, we have kept terms in the series no higher than <math>~\xi^4</math>. 
<table border="1" align="center" width="80%" cellpadding="5"><tr><td align="left">
<font color="red">
This is a derivation check ...
</font>
<table border="0" cellpadding="5" align="center">


<table align="center" width="80%">
<tr>
<tr>
   <td align="left" width="20%">
   <td align="right">
<math>\xi^{-1}:</math>
<math>
\biggl[ 6\theta \biggr] \frac{d^2x}{d\xi^2} + \biggl\{ 24 \biggl[ \theta \biggr]
- 6(n+1)\xi \biggl[- \frac{d\theta}{d\xi}\biggr] \biggr\} \frac{1}{\xi}\frac{dx}{d\xi}
</math>
  </td>
  <td align="center">
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>0 = 24a</math>
<math>  
  </td>
-(n+1) \biggl\{ \frac{\sigma_c^2}{\gamma } -
  <td align="right">
\frac{6\alpha}{\xi} \biggl[- \frac{d\theta}{d\xi}\biggr] \biggr\}  x
<math>\Rightarrow ~~~ a = 0</math>
</math>
   </td>
   </td>
</tr>
</tr>
<tr>
<tr>
  <td align="left" width="20%">
<math>\xi^{0}:</math>
  </td>
  <td align="left">
<math>0 = 12b + 48b + (n+1)\mathfrak{F}</math>
  </td>
   <td align="right">
   <td align="right">
<math>\Rightarrow ~~~ b = - \frac{(n+1)\mathfrak{F}}{60}</math>
<math>
6\biggl[ 1 - \frac{\xi^2}{6} + \frac{n}{120} \xi^4 - \frac{n}{378} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^6 + \cdots
\biggr] \frac{d^2x}{d\xi^2} + \biggl\{ 24 \biggl[ 1 - \frac{\xi^2}{6} + \frac{n}{120} \xi^4
- \frac{n}{378} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^6 + \cdots\biggr]
- 2(n+1)\xi \biggl[\xi - \frac{n}{10} \xi^3 + \frac{n}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^5 \biggr] \biggr\} \frac{1}{\xi}\frac{dx}{d\xi}
</math>
   </td>
   </td>
</tr>
   <td align="center">
<tr>
<math>=</math>
   <td align="left" width="20%">
<math>\xi^{1}:</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>0 = 36c + 72c + \cancelto{0}{a}(n+1)\mathfrak{F}</math>
<math>  
  </td>
-(n+1) \biggl\{ \frac{\sigma_c^2}{\gamma } -
  <td align="right">
\frac{2\alpha}{\xi} \biggl[\xi - \frac{n}{10} \xi^3 + \frac{n}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^5 \biggr] \biggr\} x
<math>\Rightarrow ~~~ c = 0</math>
</math>
   </td>
   </td>
</tr>
</tr>
<tr>
<tr>
   <td align="left" width="20%">
   <td align="right">
<math>\xi^{2}:</math>
  </td>
  <td align="left">
<math>
<math>
0 = 72d - 2b + 96d - 4b(n+3) + b(n+1)\mathfrak{F} + \frac{n(n+1)\alpha}{5}
\biggl[ 6 - \xi^2 + \frac{n}{20} \xi^4 - \frac{n}{63} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^6 \biggr] \frac{d^2x}{d\xi^2}  
=
+ \biggl\{ 12 - (n+3)\xi^2  + \biggl[\frac{n(n+2)}{10}\biggr] \xi^4  - \biggl[ 
168d + b[-14 - 4n + (n+1)\mathfrak{F}] + \frac{n(n+1)\alpha}{5}
\frac{n(n+19)}{7\cdot 27} \biggr] \biggl( \frac{8n-5}{40} \biggr)\xi^6  \biggr\} \frac{2}{\xi}\frac{dx}{d\xi}
</math>
</math>
   </td>
   </td>
   <td align="right">
   <td align="center">
<math>\Rightarrow ~~~ d = - (n+1)\biggl\{ \frac{12n\alpha +\mathfrak{F}[(4n+14)-(n+1)\mathfrak{F} ]}{10080} \biggr\}</math>
<math>=</math>
  </td>
  <td align="left">
<math>
-(n+1) \biggl\{ \mathfrak{F} +  \frac{n\alpha}{5} \xi^2 - \frac{2n\alpha }{21} \biggl( \frac{8n-5}{40} \biggr) \xi^4 \biggr\} x
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</table>


</td></tr></table>
Try <math>\cdots</math>
 
 
====Displacement Finite at Center====
Let's adopt a power-series expression for the displacement function of a form that is finite at the center of the configuration, namely,
 
<div align="center">
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


Line 1,446: Line 1,479:
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>=</math>
<math>~=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
Line 1,457: Line 1,490:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\Rightarrow ~~~ \frac{1}{\xi}\frac{dx}{d\xi}</math>
<math>\Rightarrow ~~~ \frac{2}{\xi} \cdot \frac{dx}{d\xi}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 1,464: Line 1,497:
   <td align="left">
   <td align="left">
<math>~
<math>~
\frac{a}{\xi} + 2b + 3 c\xi + 4d\xi^2 + 5e\xi^3 + 6f\xi^4 +\cdots
\frac{2a}{\xi} + 4b + 6c\xi + 8d\xi^2 + 10e\xi^3 + 12f\xi^4\cdots
</math>
</math>
   </td>
   </td>
Line 1,483: Line 1,516:
</tr>
</tr>
</table>
</table>
</div>
Substituting these expressions into the LAWE gives,


<div align="center">
in which case,
<table border="0" cellpadding="5" align="center">
 
<table border="0" align="center" cellpadding="5">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\biggl( 6 - \xi^2 + \frac{n}{20} \xi^4  \biggr) \biggl(  2b + 6c\xi + 12d\xi^2 + 20e\xi^3 + 30f\xi^4 \biggr)
<math>0</math>
+ \biggl[ 12 - (n+3)\xi^2 + \frac{n(n+2)}{10} \xi^4  \biggr] \biggl( \frac{2a}{\xi} + 4b + 6 c\xi + 8d\xi^2 + 10e\xi^3 + 12f\xi^4 \biggr)</math>
  </td>
  <td align="center">
<math>~\approx</math>
   </td>
   </td>
  <td align="center"><math>\approx</math></td>
   <td align="left">
   <td align="left">
<math>~ -
<math>
(n+1) \biggl[ \mathfrak{F} 
\biggl[ 6 - \xi^2 + \frac{n}{20} \xi^4 - \frac{n}{63} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^6 \biggr] \biggl[2b + 6c\xi + 12d\xi^2 + 20e\xi^3 + 30f\xi^4\biggr]
+ \frac{n\alpha}{5} \xi^2 - \frac{2n\alpha}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^4 \biggr] \biggl( 1 + a\xi + b\xi^2 + c\xi^3 + d\xi^4 \biggr)</math>
</math>
   </td>
   </td>
</tr>
</table>
</div>
Expressions for the various coefficients can now  be determined by equating terms on the LHS and RHS that have like powers of <math>~\xi</math>. 
<div align="center">
<table border="1" cellpadding="5" align="center">
<tr>
  <td align="center">Term</td>
  <td align="center">LHS</td>
  <td align="center">RHS</td>
  <td align="center">Implication</td>
</tr>
</tr>


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\xi^{-1}:</math>
&nbsp;
  </td>
  <td align="center">
<math>~24a</math>
  </td>
  <td align="center">
<math>~0</math>
   </td>
   </td>
  <td align="center">&nbsp;</td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~a=0</math>
<math>
+~ \biggl\{ 12 - (n+3)\xi^2  + \biggl[\frac{n(n+2)}{10}\biggr] \xi^4  - \biggl[ 
\frac{n(n+19)}{7\cdot 27} \biggr] \biggl( \frac{8n-5}{40} \biggr)\xi^6  \biggr\}
\biggl[ \frac{2a}{\xi} + 4b + 6c\xi + 8d\xi^2 + 10e\xi^3 + 12f\xi^4 \biggr]
</math>
   </td>
   </td>
</tr>
</tr>
Line 1,533: Line 1,549:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\xi^{0}:</math>
&nbsp;
  </td>
  <td align="center">
<math>~(12b + 48b)</math>
  </td>
  <td align="center">
<math>~-(n+1)\mathfrak{F}</math>
   </td>
   </td>
  <td align="center">&nbsp;</td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~b = - \frac{(n+1)\mathfrak{F}}{60}</math>
<math>
+~(n+1) \biggl\{ \mathfrak{F} +  \frac{n\alpha}{5} \xi^2 - \frac{2n\alpha }{21} \biggl( \frac{8n-5}{40} \biggr) \xi^4 \biggr\}
\biggl[ 1 + a\xi + b\xi^2 + c\xi^3 + d\xi^4 + e\xi^5 + f\xi^6 \biggr]
</math>
   </td>
   </td>
</tr>
</tr>
</table>


<table align="center" width="80%">
<tr>
<tr>
  <td align="left" width="20%">
<math>\xi^{-1}:</math>
  </td>
  <td align="left">
<math>0 = 24a</math>
  </td>
   <td align="right">
   <td align="right">
<math>~\xi^{1}:</math>
<math>\Rightarrow ~~~ a = 0</math>
   </td>
   </td>
   <td align="center">
</tr>
<math>~[36c+72c-2a(n+3)]</math>
<tr>
   <td align="left" width="20%">
<math>\xi^{0}:</math>
   </td>
   </td>
   <td align="center">
   <td align="left">
<math>~-a(n+1)\mathfrak{F}</math>
<math>0 = 12b + 48b + (n+1)\mathfrak{F}</math>
   </td>
   </td>
   <td align="left">
   <td align="right">
<math>~\Rightarrow ~~~108c = 2a(n+3)-a(n+1)\mathfrak{F} \Rightarrow~~c=0</math>
<math>\Rightarrow ~~~ b = - \frac{(n+1)\mathfrak{F}}{60}</math>
   </td>
   </td>
</tr>
</tr>
<tr>
<tr>
   <td align="right">
   <td align="left" width="20%">
<math>~\xi^{2}:</math>
<math>\xi^{1}:</math>
  </td>
  <td align="left">
<math>0 = 36c + 72c + \cancelto{0}{a}(n+1)\mathfrak{F}</math>
   </td>
   </td>
   <td align="center">
   <td align="right">
<math>~[72d-2b+96d-4b(n+3)]</math>
<math>\Rightarrow ~~~ c = 0</math>
   </td>
   </td>
   <td align="center">
</tr>
<math>~\biggl[-b(n+1)\mathfrak{F}-\frac{n(n+1)\alpha}{5}\biggr]</math>
<tr>
   <td align="left" width="20%">
<math>\xi^{2}:</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~d = - (n+1)\biggl\{ \frac{12n\alpha +\mathfrak{F}[(4n+14)-(n+1)\mathfrak{F} ]}{10080} \biggr\}</math>
<math>
0 = 72d - 2b + 96d - 4b(n+3) + b(n+1)\mathfrak{F} + \frac{n(n+1)\alpha}{5}
=
168d + b[-14 - 4n + (n+1)\mathfrak{F}] + \frac{n(n+1)\alpha}{5}
</math>
  </td>
  <td align="right">
<math>\Rightarrow ~~~ d = - (n+1)\biggl\{ \frac{12n\alpha +\mathfrak{F}[(4n+14)-(n+1)\mathfrak{F} ]}{10080} \biggr\}</math>
   </td>
   </td>
</tr>
</tr>
</table>


<tr>
</td></tr></table>
  <td colspan="4">
 
<font color="red">NOTE:</font>&nbsp; On 9/10/2026, we realized that the first term in the numerator of the expression for the coefficient, <math>d</math>, should be <font color="red"><math>12n\alpha</math></font> instead of just <math>n\alpha</math>.
 
  </td>
====Displacement Finite at Center====
</tr>
Let's adopt a power-series expression for the displacement function of a form that is finite at the center of the configuration, namely,
</table>
</div>


In summary, the desired, approximate power-series expression for the polytropic displacement function is:
<div align="center">
<div align="center" id="PolytropicDisplacement">
<table border="1" width="80%" cellpadding="8" align="center"><tr><td align="center">
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~x(\xi)</math>
<math>~x</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 1,598: Line 1,630:
   <td align="left">
   <td align="left">
<math>~
<math>~
1 - \frac{(n+1)\mathfrak{F}}{60} \xi^2-  (n+1)\biggl\{ \frac{12 n\alpha +\mathfrak{F}[(4n+14)-(n+1)\mathfrak{F} ]}{10080} \biggr\} \xi^4 + \cdots
1 + a\xi + b\xi^2 + c\xi^3 + d\xi^4 + e\xi^5 + f\xi^6\cdots
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</td></tr></table>
</div>


===Displacement Function for Isothermal LAWE===
<tr>
The [[SSC/Stability/Isothermal#Taff_and_Van_Horn_.281974.29|LAWE for isothermal spheres]] may be written as,
   <td align="right">
<div align="center">
<math>\frac{dx}{d\xi}</math>
<table border="0" cellpadding="5" align="center">
 
<tr>
   <td align="right">
<math>~\frac{d^2 x}{dr^2} + \biggl[4 - r \biggl(\frac{dw }{dr}\biggr) \biggr] \frac{1}{r}\frac{dx}{dr}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~
- \biggl[ \frac{\sigma_c^2}{6\gamma}  - \frac{\alpha}{r} \biggl(\frac{dw }{dr}\biggr)\biggr]  x  \, ,
a + 2b\xi + 3c\xi^2 + 4d\xi^3 + 5e\xi^4 + 6f\xi^5\cdots
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>
where, <math>~w(r)</math> is the isothermal Lane-Emden function describing the configuration's unperturbed radial density distribution, and <math>~\gamma</math>, <math>~\sigma_c^2</math>, and <math>~\alpha \equiv (3-4/\gamma)</math> are constants.  Here we seek a power-series expression for the displacement function, <math>~x(r)</math>, expanded about the center of the configuration, that approximately satisfies this LAWE.
First we note that, near the center, an accurate [[#Isothermal_Lane-Emden_Function|power-series expression for the isothermal Lane-Emden function]] is,
<div align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~w(r)
<math>~\Rightarrow ~~~ \frac{1}{\xi}\frac{dx}{d\xi}</math>
</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 1,641: Line 1,657:
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\frac{r^2}{6} - \frac{r^4}{120} + \frac{r^6}{1890} - \frac{61 r^8}{1,632,960} + \cdots \, .</math>
<math>~
\frac{a}{\xi} + 2b + 3 c\xi + 4d\xi^2 + 5e\xi^3 + 6f\xi^4 +\cdots
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>
Hence,
<div align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\frac{dw}{dr}</math>
<math>~\frac{d^2x}{d\xi^2}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\approx</math>
<math>~=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\frac{r}{3} - \frac{r^3}{30} + \frac{r^5}{315} \, .</math>
<math>~
2b + 6c\xi + 12d\xi^2 + 20e\xi^3 + 30f\xi^4 + \cdots
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</table>
</div>
</div>
Therefore, near the center of the configuration, the LAWE may be written as,
Substituting these expressions into the LAWE gives,
 
<div align="center">
<div align="center">
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">
Line 1,669: Line 1,685:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\frac{d^2 x}{dr^2} + \biggl[4 - \biggl(\frac{r^2}{3} - \frac{r^4}{30} + \frac{r^6}{315}\biggr) \biggr] \frac{1}{r}\frac{dx}{dr}</math>
<math>~\biggl( 6 - \xi^2 + \frac{n}{20} \xi^4 \biggr) \biggl( 2b + 6c\xi + 12d\xi^2 + 20e\xi^3 + 30f\xi^4 \biggr)
+ \biggl[ 12 - (n+3)\xi^2 + \frac{n(n+2)}{10} \xi^4  \biggr] \biggl( \frac{2a}{\xi} + 4b + 6 c\xi + 8d\xi^2 + 10e\xi^3 + 12f\xi^4 \biggr)</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 1,675: Line 1,692:
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~   
<math>~ -
- \frac{1}{6} \biggl[ \frac{\sigma_c^2}{\gamma} - 2\alpha \biggl(1 - \frac{r^2}{10} + \frac{r^4}{105}\biggr) \biggr]  x \, .
(n+1) \biggl[ \mathfrak{F}  
</math>
+ \frac{n\alpha}{5} \xi^2 - \frac{2n\alpha}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^4 \biggr] \biggl( 1 + a\xi + b\xi^2 + c\xi^3 + d\xi^4 \biggr)</math>
   </td>
   </td>
</tr>
</tr>
Line 1,683: Line 1,700:
</div>
</div>


Let's now adopt a power-series expression for the displacement function of the form,
Expressions for the various coefficients can now be determined by equating terms on the LHS and RHS that have like powers of <math>~\xi</math>. 
<div align="center">
<div align="center">
<table border="0" cellpadding="5" align="center">
<table border="1" cellpadding="5" align="center">
<tr>
  <td align="center">Term</td>
  <td align="center">LHS</td>
  <td align="center">RHS</td>
  <td align="center">Implication</td>
</tr>


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~x</math>
<math>~\xi^{-1}:</math>
  </td>
  <td align="center">
<math>~24a</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>~0</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~\Rightarrow ~~~a=0</math>
1 + ar + br^2 + cr^3 + dr^4 + \cdots
</math>
   </td>
   </td>
</tr>
</tr>
Line 1,703: Line 1,727:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\Rightarrow ~~~ \frac{1}{r}\frac{dx}{dr}</math>
<math>~\xi^{0}:</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>~(12b + 48b)</math>
  </td>
  <td align="center">
<math>~-(n+1)\mathfrak{F}</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~\Rightarrow ~~~b = - \frac{(n+1)\mathfrak{F}}{60}</math>
\frac{a}{r} + 2b + 3 cr + 4dr^2 + \cdots
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>
and,
<div align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\frac{d^2x}{dr^2}</math>
<math>~\xi^{1}:</math>
  </td>
  <td align="center">
<math>~[36c+72c-2a(n+3)]</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>~-a(n+1)\mathfrak{F}</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~\Rightarrow ~~~108c = 2a(n+3)-a(n+1)\mathfrak{F} \Rightarrow~~c=0</math>
2b + 6cr + 12dr^2 + \cdots
</math>
   </td>
   </td>
</tr>
</tr>
</table>
 
</div>
<tr>
Substituting these expressions into the LAWE gives,
<div align="center">
<table border="0" cellpadding="5" align="center">
 
<tr>
   <td align="right">
   <td align="right">
<math>~2b + 6cr + 12dr^2  + \biggl[4 - \biggl(\frac{r^2}{3} - \frac{r^4}{30} + \frac{r^6}{315}\biggr) \biggr] \biggl[ \frac{a}{r} + 2b + 3 cr + 4dr^2  \biggr] </math>
<math>~\xi^{2}:</math>
  </td>
  <td align="center">
<math>~[72d-2b+96d-4b(n+3)]</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\approx</math>
<math>~\biggl[-b(n+1)\mathfrak{F}-\frac{n(n+1)\alpha}{5}\biggr]</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~\Rightarrow ~~~d = - (n+1)\biggl\{ \frac{12n\alpha +\mathfrak{F}[(4n+14)-(n+1)\mathfrak{F} ]}{10080} \biggr\}</math>
- \frac{1}{6} \biggl[ \frac{\sigma_c^2}{\gamma} - 2\alpha \biggl(1 - \frac{r^2}{10} + \frac{r^4}{105}\biggr) \biggr]  \biggl( 1 + ar + br^2 + cr^3 + dr^4 \biggr) \, .
  </td>
</math>
</tr>
 
<tr>
  <td colspan="4">
<font color="red">NOTE:</font>&nbsp; On 9/10/2026, we realized that the first term in the numerator of the expression for the coefficient, <math>d</math>, should be <font color="red"><math>12n\alpha</math></font> instead of just <math>n\alpha</math>.
   </td>
   </td>
</tr>
</tr>
</table>
</table>
</div>
</div>
Keeping terms only up through <math>~r^2</math> leads to the following simplification:
 
<div align="center">
In summary, the desired, approximate power-series expression for the polytropic displacement function is:
<table border="0" cellpadding="5" align="center">
<div align="center" id="PolytropicDisplacement">
<table border="1" width="80%" cellpadding="8" align="center"><tr><td align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~
<math>~x(\xi)</math>
2b + 6cr + 12dr^2 
+ 4  \biggl[ \frac{a}{r} + 2b + 3 cr + 4dr^2  \biggr]
- \frac{r^2}{3}  \biggl[ \frac{a}{r} + 2b  \biggr]
</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\approx</math>
<math>~=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~
- \frac{\mathfrak{F} }{6}  \biggl( 1 + ar + br^2 \biggr)
1 - \frac{(n+1)\mathfrak{F}}{60} \xi^2- (n+1)\biggl\{ \frac{12 n\alpha +\mathfrak{F}[(4n+14)-(n+1)\mathfrak{F} ]}{10080} \biggr\} \xi^4 + \cdots
- \frac{\alpha}{3} \biggl(\frac{r^2}{10} \biggr)
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</table>
</td></tr></table>
</div>
</div>
where,
 
===Displacement Function for Isothermal LAWE===
The [[SSC/Stability/Isothermal#Taff_and_Van_Horn_.281974.29|LAWE for isothermal spheres]] may be written as,
<div align="center">
<div align="center">
<math>~\mathfrak{F} \equiv \frac{\sigma_c^2}{\gamma} - 2\alpha \, .</math>
<table border="0" cellpadding="5" align="center">
</div>
 
Finally, balancing terms of like powers on both sides of the equation leads us to conclude the following:
 
<div align="center">
<table border="1" cellpadding="5" align="center">
<tr>
  <td align="center">Term</td>
  <td align="center">LHS</td>
  <td align="center">RHS</td>
  <td align="center">Implication</td>
</tr>


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~r^{-1}:</math>
<math>~\frac{d^2 x}{dr^2} + \biggl[4 - r \biggl(\frac{dw }{dr}\biggr) \biggr] \frac{1}{r}\frac{dx}{dr}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~4a</math>
<math>~=</math>
  </td>
  <td align="center">
<math>~0</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~a = 0 </math>
<math>~
- \biggl[ \frac{\sigma_c^2}{6\gamma}  - \frac{\alpha}{r} \biggl(\frac{dw }{dr}\biggr)\biggr]  x  \, ,
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>
where, <math>~w(r)</math> is the isothermal Lane-Emden function describing the configuration's unperturbed radial density distribution, and <math>~\gamma</math>, <math>~\sigma_c^2</math>, and <math>~\alpha \equiv (3-4/\gamma)</math> are constants.  Here we seek a power-series expression for the displacement function, <math>~x(r)</math>, expanded about the center of the configuration, that approximately satisfies this LAWE.
First we note that, near the center, an accurate [[#Isothermal_Lane-Emden_Function|power-series expression for the isothermal Lane-Emden function]] is,
<div align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~r^{0}:</math>
<math>~w(r)
</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~2b + 8b</math>
<math>~=</math>
  </td>
  <td align="center">
<math>~- \frac{\mathfrak{F}}{6}</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~b = - \frac{\mathfrak{F}}{60}</math>
<math>~\frac{r^2}{6} - \frac{r^4}{120} + \frac{r^6}{1890} - \frac{61 r^8}{1,632,960} + \cdots \, .</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>
Hence,
<div align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~r^{1}:</math>
<math>~\frac{dw}{dr}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~6c + 12c - \frac{a}{3}</math>
<math>~\approx</math>
  </td>
  <td align="center">
<math>~-\frac{a\mathfrak{F}}{6}</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~c=0</math>
<math>~\frac{r}{3} - \frac{r^3}{30} + \frac{r^5}{315} \, .</math>
   </td>
   </td>
</tr>
</tr>
</table>
</div>
Therefore, near the center of the configuration, the LAWE may be written as,
<div align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~r^{2}:</math>
<math>~\frac{d^2 x}{dr^2} + \biggl[4 - \biggl(\frac{r^2}{3} - \frac{r^4}{30} + \frac{r^6}{315}\biggr) \biggr] \frac{1}{r}\frac{dx}{dr}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~12d + 16d - \frac{2b}{3}</math>
<math>~\approx</math>
  </td>
  <td align="center">
<math>~-\frac{\mathfrak{F}b}{6} - \frac{\alpha}{30}</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~
<math>~
28d = \frac{1}{30}\biggl[ 5b (4- \mathfrak{F} ) - \alpha \biggr] ~
- \frac{1}{6} \biggl[ \frac{\sigma_c^2}{\gamma} - 2\alpha \biggl(1 - \frac{r^2}{10} + \frac{r^4}{105}\biggr) \biggr] x \, .
\Rightarrow~
d = \frac{1}{10080}\biggl[ \mathfrak{F}(\mathfrak{F} -4) - 12\alpha \biggr]
</math>
</math>
   </td>
   </td>
Line 1,860: Line 1,877:
</div>
</div>


In summary, the desired, approximate power-series expression for the isothermal displacement function is:
Let's now adopt a power-series expression for the displacement function of the form,
<div align="center" id="IsothermalDisplacement">
<div align="center">
<table border="1" width="80%" cellpadding="8" align="center"><tr><td align="center">
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~x(r)</math>
<math>~x</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 1,874: Line 1,890:
   <td align="left">
   <td align="left">
<math>~
<math>~
1 - \frac{\mathfrak{F}}{60} r^2 + \frac{1}{10080}\biggl[ \mathfrak{F}(\mathfrak{F} -4) - 12\alpha \biggr] r^4 + \cdots
1 + ar + br^2 + cr^3 + dr^4 + \cdots
</math>
  </td>
</tr>
 
<tr>
  <td align="right">
<math>~\Rightarrow ~~~ \frac{1}{r}\frac{dx}{dr}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{a}{r} + 2b + 3 cr + 4dr^2 + \cdots
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</table>
</td></tr></table>
</div>
</div>
and,
<div align="center">
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~\frac{d^2x}{dr^2}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
2b + 6cr + 12dr^2 + \cdots
</math>
  </td>
</tr>
</table>
</div>
Substituting these expressions into the LAWE gives,
<div align="center">
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~2b + 6cr + 12dr^2  + \biggl[4 - \biggl(\frac{r^2}{3} - \frac{r^4}{30} + \frac{r^6}{315}\biggr) \biggr] \biggl[ \frac{a}{r} + 2b + 3 cr + 4dr^2  \biggr] </math>
  </td>
  <td align="center">
<math>~\approx</math>
  </td>
  <td align="left">
<math>~ 
- \frac{1}{6} \biggl[ \frac{\sigma_c^2}{\gamma}  - 2\alpha \biggl(1 - \frac{r^2}{10} + \frac{r^4}{105}\biggr) \biggr]  \biggl( 1 + ar + br^2 + cr^3 + dr^4  \biggr) \, .
</math>
  </td>
</tr>
</table>
</div>
Keeping terms only up through <math>~r^2</math> leads to the following simplification:
<div align="center">
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~
2b + 6cr + 12dr^2 
+ 4  \biggl[ \frac{a}{r} + 2b + 3 cr + 4dr^2  \biggr]
- \frac{r^2}{3}  \biggl[ \frac{a}{r} + 2b  \biggr]
</math>
  </td>
  <td align="center">
<math>~\approx</math>
  </td>
  <td align="left">
<math>~ 
- \frac{\mathfrak{F} }{6}  \biggl( 1 + ar + br^2 \biggr)
- \frac{\alpha}{3} \biggl(\frac{r^2}{10}  \biggr)
</math>
  </td>
</tr>
</table>
</div>
where,
<div align="center">
<math>~\mathfrak{F} \equiv \frac{\sigma_c^2}{\gamma} - 2\alpha \, .</math>
</div>
Finally, balancing terms of like powers on both sides of the equation leads us to conclude the following:
<div align="center">
<table border="1" cellpadding="5" align="center">
<tr>
  <td align="center">Term</td>
  <td align="center">LHS</td>
  <td align="center">RHS</td>
  <td align="center">Implication</td>
</tr>
<tr>
  <td align="right">
<math>~r^{-1}:</math>
  </td>
  <td align="center">
<math>~4a</math>
  </td>
  <td align="center">
<math>~0</math>
  </td>
  <td align="left">
<math>~\Rightarrow ~~~a = 0 </math>
  </td>
</tr>
<tr>
  <td align="right">
<math>~r^{0}:</math>
  </td>
  <td align="center">
<math>~2b + 8b</math>
  </td>
  <td align="center">
<math>~- \frac{\mathfrak{F}}{6}</math>
  </td>
  <td align="left">
<math>~\Rightarrow ~~~b = - \frac{\mathfrak{F}}{60}</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>~r^{1}:</math>
  </td>
  <td align="center">
<math>~6c + 12c - \frac{a}{3}</math>
  </td>
  <td align="center">
<math>~-\frac{a\mathfrak{F}}{6}</math>
  </td>
  <td align="left">
<math>~\Rightarrow ~~~c=0</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>~r^{2}:</math>
  </td>
  <td align="center">
<math>~12d + 16d - \frac{2b}{3}</math>
  </td>
  <td align="center">
<math>~-\frac{\mathfrak{F}b}{6} - \frac{\alpha}{30}</math>
  </td>
  <td align="left">
<math>~\Rightarrow ~~~
28d = \frac{1}{30}\biggl[ 5b (4- \mathfrak{F} ) - \alpha \biggr] ~
\Rightarrow~
d = \frac{1}{10080}\biggl[ \mathfrak{F}(\mathfrak{F} -4) - 12\alpha \biggr]
</math>
  </td>
</tr>
</table>
</div>
In summary, the desired, approximate power-series expression for the isothermal displacement function is:
<div align="center" id="IsothermalDisplacement">
<table border="1" width="80%" cellpadding="8" align="center"><tr><td align="center">
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~x(r)</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
1 - \frac{\mathfrak{F}}{60} r^2 + \frac{1}{10080}\biggl[ \mathfrak{F}(\mathfrak{F} -4) - 12\alpha \biggr] r^4 + \cdots
</math>
  </td>
</tr>
</table>
</td></tr></table>
</div>
<table border="1" align="center" width="80%" cellpadding="5"><tr><td align="left">
<font color="red">
This is a derivation check ...
</font>
As was [[SSC/Stability/InstabilityOnsetOverview#Yabushita's_Insight_Regarding_Stability|discovered by Yabushita]], the analytically prescribed isothermal displacement function is,
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~\sigma_c^2 = 0</math>
  </td>
  <td align="center">
&nbsp;and &nbsp;
  </td>
  <td align="left">
<math>~x_Y = 1 - \biggl( \frac{1}{\xi e^{-\psi}}\biggr) \frac{d\psi}{d\xi} \, .</math>
  </td>
</tr>
</table>
[[Appendix/Ramblings/PowerSeriesExpressions#Isothermal_Lane-Emden_Function|Given that]],
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\psi(\xi)</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{\xi^2}{6} - \frac{\xi^4}{120} + \frac{\xi^6}{1890} - \frac{61 \xi^8}{1,632,960} + \cdots
</math>
  </td>
</tr>
<tr>
  <td align="right"><math>\Rightarrow ~~~ \frac{1}{\xi}\cdot\frac{d\psi}{d\xi}</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\frac{1}{3} - \frac{\xi^2}{30} + \frac{6\xi^4}{1890} - \frac{8\cdot 61 \xi^6}{1,632,960} + \cdots
</math>
  </td>
</tr>
</table>
and that,
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right"><math>\psi^2</math></td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\biggl[ \frac{\xi^2}{6} - \frac{\xi^4}{120} + \frac{\xi^6}{1890} - \frac{61 \xi^8}{1,632,960} + \cdots \biggr]
\times \biggl[ \frac{\xi^2}{6} - \frac{\xi^4}{120} + \frac{\xi^6}{1890} - \frac{61 \xi^8}{1,632,960} + \cdots \biggr]
</math>
  </td>
</tr>
<tr>
  <td align="right">&nbsp;</td>
  <td align="center"><math>=</math></td>
  <td align="left">
<math>
\biggl[ \frac{\xi^2}{6} \biggr]
\times \biggl[ \frac{\xi^2}{6} - \frac{\xi^4}{120} + \frac{\xi^6}{1890} - \frac{61 \xi^8}{1,632,960} + \cdots \biggr]
+
\biggl[ - \frac{\xi^4}{120} \biggr]
\times \biggl[ \frac{\xi^2}{6} - \frac{\xi^4}{120} + \frac{\xi^6}{1890} - \frac{61 \xi^8}{1,632,960} + \cdots \biggr]
</math>
  </td>
</tr>
</table>
and that the [[Appendix/Ramblings/PowerSeriesExpressions#Exponential|exponential function gives]],
<table border="0" align="center" cellpadding="5">
<tr>
  <td align="right">
<math>~e^\psi</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
1 + \psi + \frac{\psi^2}{2!} + \frac{\psi^3}{3!} + \frac{\psi^4}{4!} + \cdots
</math>
  </td>
</tr>
</table>
</td></tr></table>


===Maclaurin Spheroid Index Symbols===
===Maclaurin Spheroid Index Symbols===

Latest revision as of 14:57, 14 September 2026

Approximate Power-Series Expressions[edit]

Broadly Used Mathematical Expressions (shown here without proof)[edit]

Binomial[edit]

(1±x)n

=

1±nx+[n(n1)2!]x2±[n(n1)(n2)3!]x3+[n(n1)(n2)(n3)4!]x4±      for (x2<1)

LaTeX mathematical expressions cut-and-pasted directly from
NIST's Digital Library of Mathematical Functions

As a primary point of reference, note that according to §1.2 of NIST's Digital Library of Mathematical Functions, the binomial theorem states that,

(a+b)n

=

an+(n1)an1b+(n2)an2b2++(nn1)abn1+bn,

where, for nonnegative integer values of k and n and kn, the notation,

(nk)

=

n!(nk)!k!=(nnk).


Our Example:  Setting a=1 gives,

(1+b)n

=

1+(n1)b+(n2)b2+(n3)b3+(n4)b4+

 

=

1+n!(n1)!b+n!(n2)!2!b2+n!(n3)!3!b3+n!(n4)!4!b4+

 

=

1+nb+[n(n1)2!]b2+[n(n1)(n2)3!]b3+[n(n1)(n2)(n3)4!]b4+


Note, for example, that,

(1+x)1

=

1x+x2x3+x4x5+;

(1+x)2

=

12x+3x24x3+5x46x5+;

(1+x)3

=

13x+[342]x2[34523]x3+[3456234]x4[345672345]x5+

 

=

13x+6x210x3+15x421x5+;

(1+x)4

=

14x+[452]x2[45623]x3+[4567234]x4[456782345]x5+

 

=

14x+10x220x3+35x456x5+.


See also:

Exponential[edit]

ex

=

1+x+x22!+x33!+x44!+

Expressions with Astrophysical Relevance[edit]

Polytropic Lane-Emden Function[edit]

Power-Series Derivation[edit]

We seek a power-series expression for the polytropic, Lane-Emden function, ΘH(ξ) — expanded about the coordinate center, ξ=0 — that approximately satisfies the Lane-Emden equation,

1ξ2ddξ(ξ2dΘHdξ)=ΘHn

A general power-series should be of the form,

ΘH

=

θ0+aξ+bξ2+cξ3+dξ4+eξ5+fξ6+gξ7+hξ8+

First derivative:

dΘHdξ

=

a+2bξ+3cξ2+4dξ3+5eξ4+6fξ5+7gξ6+8hξ7+

Left-hand-side of Lane-Emden equation:

1ξ2ddξ(ξ2dΘHdξ)

=

2aξ+23b+223cξ+225dξ2+235eξ3+237fξ4+237gξ5+2332hξ6+

Right-hand-side of Lane-Emden equation (adopt the normalization, θ0=1, then use the binomial theorem recursively):

ΘHn

=

1+nF+[n(n1)2!]F2+[n(n1)(n2)3!]F3+[n(n1)(n2)(n3)4!]F4+

where,

F

aξ+bξ2+cξ3+dξ4+eξ5+fξ6+gξ7+hξ8+

 

=

aξ[1+baξ+caξ2+daξ3+eaξ4+faξ5+gaξ6+haξ7+].

First approximation:  Assume that e=f=g=h=0, in which case the LHS contains terms only up through ξ2. This means that we must ignore all terms on the RHS that are of higher order than ξ2; that is,

ΘHn

1+nF+[n(n1)2!]F2

 

1+n(aξ+bξ2)+[n(n1)2!]a2ξ2

 

1+naξ+[nb+n(n1)a22]ξ2.

Expressions for the various coefficients can now be determined by equating terms on the LHS and RHS that have like powers of ξ. Remembering to include a negative sign on the RHS, we find:

Term LHS RHS Implication

ξ1:

2a

0

a=0

ξ0:

23b

1

b=16

ξ1:

223c

na

c=0

ξ2:

225d

[nb+n(n1)a22]

d=+n120

By including higher and higher order terms in the series expansion for ΘH, and proceeding along the same line of deductive reasoning, one finds:

  • Expressions for the four coefficients, a,b,c,d, remain unchanged.
  • The coefficient is zero for all other terms that contain odd powers of ξ; specifically, for example, e=g=0.
  • The coefficients of ξ6 and ξ8 are, respectively,

f

=

n378(n518);

h

=

n(122n2183n+70)3265920.


In summary, the desired, approximate power-series expression for the polytropic Lane-Emden function is:

For Spherically Symmetric Configurations

ΘH

=

1ξ26+n120ξ4n378(n518)ξ6+[n(122n2183n+70)3265920]ξ8+

 

=

1ξ23!+(n5!)ξ4n7!(8n53)ξ6+n9![(122n2183n+70)9]ξ8+

NOTE:  For cylindrically symmetric, rather than spherically symmetric, configurations, the analogous power-series expression appears as equation (15) in the article by J. P. Ostriker (1964, ApJ, 140, 1056) titled, The Equilibrium of Polytropic and Isothermal Cylinders.

Examples[edit]

When n=0, all of the terms in the power-series expression higher than quadratic go to zero. As a result, we see that

θn=0

=

1ξ26.


When n=1, the first few terms in the power-series expression are,

θn=1

=

1ξ26+ξ4120ξ65040+ξ8362880+

 

=

1ξ23!+ξ45!ξ67!+ξ89!+

which is consistent with the power-series expression for (sinξ)/ξ.


When n=5, the first few terms in the power-series expression are,

θn=5

=

1ξ23!+(n5!)ξ4n7!(8n53)ξ6+n9![(122n2183n+70)9]ξ8+

 

=

1ξ23!+ξ44!ξ66!(523)+ξ88![523723]+

This should be compared with the known analytic solution, which is

(ΘH)n=5

=

[1+ξ23]1/2.

From the binomial theorem, we start with,

(1+b)m

=

1+mb+[m(m1)2!]b2+[m(m1)(m2)3!]b3+[m(m1)(m2)(m3)4!]b4+

then set b=ξ2/3 and m=1/2 to obtain:

θn=5

=

1+m(ξ23)+12![m(m1)](ξ23)2+13![m(m1)(m2)](ξ23)3+14![m(m1)(m2)(m3)](ξ23)4+

 

=

1+(12)(ξ23)+12![12(121)](ξ432)+13![12(121)(122)](ξ633)+14![12(121)(122)(123)](ξ834)+

 

=

1(ξ223)+12![34](ξ432)+13![158](ξ633)+14![(10516)](ξ834)+

 

=

1ξ23!+ξ44!ξ66!(523)+ξ88!(527232)+

QED

Isothermal Lane-Emden Function[edit]

Here we seek a power-series expression for the isothermal, Lane-Emden function — expanded about the coordinate center — that approximately satisfies the isothermal Lane-Emden equation; making the variable substitution (sorry for the unnecessary complication!), ψ(ξ)w(r), the governing ODE is,

d2wdr2+2rdwdr

=

ew.

A general power-series should be of the form,

w

=

w0+ar+br2+cr3+dr4+er5+fr6+gr7+hr8+

Derivatives:

dwdr

=

a+2br+3cr2+4dr3+5er4+6fr5+7gr6+8hr7+;

d2wdr2

=

2b+23cr+223dr2+225er3+235fr4+237gr5+237hr6+.

Put together, then, the left-hand-side of the isothermal Lane-Emden equation becomes:

d2wdr2+2rdwdr

=

2b+23cr+223dr2+225er3+235fr4+237gr5+237hr6+2r[a+2br+3cr2+4dr3+5er4+6fr5+7gr6+8hr7]+

 

=

2ar+r0(6b)+r1(223c)+r2(223d+23d)+r3(225e+25e)+r4(235f+223f)+r5(237g+27g)+r6(237h+24h)+

Drawing on the above power-series expression for an exponential function, and adopting the convention that w0=0, the right-hand-side becomes,

ew

=

e0earebr2ecr3edr4eer5efr6egr7ehr8

 

=

[1ar+a2r22!a3r33!+a4r44!a5r55!+a6r66!+]

 

 

×[1br2+b2r42!b3r63!+]×[1cr3+c2r62!+]×[1dr4]×[1er5]×[1fr6]

 

[1ar+a2r22a3r36+a4r424a5r5524+a6r63024]×[1cr3+c2r62br2+bcr5+b2r42b3r66]×[1dr4er5fr6]

 

{[1ar+a2r22a3r36+a4r424a5r5524+a6r63024]dr4[1ar+a2r22]er5[1ar]fr6}

 

 

×[1br2cr3+b2r42+bcr5+r6(c22b36)]

 

[1ar+a2r22a3r36+a4r424a5r5524+a6r63024dr4+adr5a2dr62er5+aer6fr6]

 

 

×[1br2cr3+b2r42+bcr5+r6(c22b36)]

 

[1ar+a2r22a3r36+r4(a424d)+r5(adea5524)+r6(a63024a2d2+aef)]×[1br2cr3+b2r42+bcr5+r6(c22b36)]

 

1ar+a2r22a3r36+r4(a424d)+r5(adea5524)+r6(a63024a2d2+aef)

 

 

br2[1ar+a2r22a3r36+r4(a424d)]cr3[1ar+a2r22a3r36]+b2r42[1ar+a2r22]+bcr5[1ar]+r6(c22b36)

Expressions for the various coefficients can now be determined by equating terms on the LHS and RHS that have like powers of r. Beginning with the highest order terms, we initially find,

Term LHS RHS Implication

r1:

2a

0

a=0

r0:

6b

1

b=+16

r1:

223c

a

c=a223=0

r2:

(223d+23d)

a22b

d=120(a22b)=1120

With this initial set of coefficient values in hand, we can rewrite (and significantly simplify) our approximate expression for the RHS, namely,

ew

1dr4er5fr6br2(1dr4)+b2r42b3r66

 

=

1br2+r4(b22d)er5+r6(bdb36f).

Continuing, then, with equating terms with like powers on both sides of the equation, we find,

Term LHS RHS Implication

r3:

30e

0

e=0

r4:

(235f+223f)

(b22d)

f=1237(12332+12335)=123357

r5:

(237g+27g)

e

g=0

r6:

(237h+24h)

(bdb36f)

h=12332(124325+12434+123357)=61263657


Result:

For Spherically Symmetric Configurations

w(r)

=

r26r4120+r6189061r81,632,960+.


See also:

  • Equation (377) from §22 in Chapter IV of C67.


NOTE:  For cylindrically symmetric, rather than spherically symmetric, configurations, an analytic expression for the function, w(r), is presented as equation (56) in a paper by J. P. Ostriker (1964, ApJ, 140, 1056) titled, The Equilibrium of Polytropic and Isothermal Cylinders.

Displacement Function for Polytropic LAWE[edit]

The LAWE for polytropic spheres may be written as,

0

=

d2xdξ2+[4ξ(n+1)θ(dθdξ)]dxdξ+(n+1)θ[σc26γαξ(dθdξ)]x

 

=

θd2xdξ2+[4θ(n+1)ξ(dθdξ)]1ξdxdξ+(n+1)6[σc2γ6αξ(dθdξ)]x,

where, θ(ξ) is the polytropic Lane-Emden function describing the configuration's unperturbed radial density distribution, and γ, σc2, and α(34/γ) are constants. Here we seek a power-series expression for the displacement function, x(r), expanded about the center of the configuration, that approximately satisfies this LAWE.

First we note that, near the center, an accurate power-series expression for the polytropic Lane-Emden function is,

θ

=

1ξ26+n120ξ4n378(n518)ξ6+

Hence,

dθdξ

13[ξn10ξ3+n21(n518)ξ5].

Therefore, near the center of the configuration, the LAWE may be written as,

6θd2xdξ2+{12θ(n+1)ξ[ξn10ξ3+n21(n518)ξ5]}2ξdxdξ

(n+1){σc2γ2αξ[ξn10ξ3+n21(n518)ξ5]}x

6[1ξ26+n120ξ4]d2xdξ2+{12[1ξ26+n120ξ4](n+1)[ξ2n10ξ4]}2ξdxdξ

(n+1){𝔉+2α[n10ξ2n21(n518)ξ4]}x

(6ξ2+n20ξ4)d2xdξ2+[12(n+3)ξ2+n(n+2)10ξ4]2ξdxdξ

(n+1)[𝔉+nα5ξ22nα21(n518)ξ4]x,

where, 𝔉(σc2/γ2α) and, for present purposes, we have kept terms in the series no higher than ξ4.

This is a derivation check ...

[6θ]d2xdξ2+{24[θ]6(n+1)ξ[dθdξ]}1ξdxdξ

=

(n+1){σc2γ6αξ[dθdξ]}x

6[1ξ26+n120ξ4n378(n518)ξ6+]d2xdξ2+{24[1ξ26+n120ξ4n378(n518)ξ6+]2(n+1)ξ[ξn10ξ3+n21(n518)ξ5]}1ξdxdξ

=

(n+1){σc2γ2αξ[ξn10ξ3+n21(n518)ξ5]}x

[6ξ2+n20ξ4n63(n518)ξ6]d2xdξ2+{12(n+3)ξ2+[n(n+2)10]ξ4[n(n+19)727](8n540)ξ6}2ξdxdξ

=

(n+1){𝔉+nα5ξ22nα21(8n540)ξ4}x

Try

x

=

1+aξ+bξ2+cξ3+dξ4+eξ5+fξ6

dxdξ

=

a+2bξ+3cξ2+4dξ3+5eξ4+6fξ5

2ξdxdξ

=

2aξ+4b+6cξ+8dξ2+10eξ3+12fξ4

d2xdξ2

=

2b+6cξ+12dξ2+20eξ3+30fξ4+

in which case,

0

[6ξ2+n20ξ4n63(n518)ξ6][2b+6cξ+12dξ2+20eξ3+30fξ4]

 

 

+{12(n+3)ξ2+[n(n+2)10]ξ4[n(n+19)727](8n540)ξ6}[2aξ+4b+6cξ+8dξ2+10eξ3+12fξ4]

 

 

+(n+1){𝔉+nα5ξ22nα21(8n540)ξ4}[1+aξ+bξ2+cξ3+dξ4+eξ5+fξ6]

ξ1:

0=24a

a=0

ξ0:

0=12b+48b+(n+1)𝔉

b=(n+1)𝔉60

ξ1:

0=36c+72c+a0(n+1)𝔉

c=0

ξ2:

0=72d2b+96d4b(n+3)+b(n+1)𝔉+n(n+1)α5=168d+b[144n+(n+1)𝔉]+n(n+1)α5

d=(n+1){12nα+𝔉[(4n+14)(n+1)𝔉]10080}


Displacement Finite at Center[edit]

Let's adopt a power-series expression for the displacement function of a form that is finite at the center of the configuration, namely,

x

=

1+aξ+bξ2+cξ3+dξ4+eξ5+fξ6

dxdξ

=

a+2bξ+3cξ2+4dξ3+5eξ4+6fξ5

1ξdxdξ

=

aξ+2b+3cξ+4dξ2+5eξ3+6fξ4+

d2xdξ2

=

2b+6cξ+12dξ2+20eξ3+30fξ4+

Substituting these expressions into the LAWE gives,

(6ξ2+n20ξ4)(2b+6cξ+12dξ2+20eξ3+30fξ4)+[12(n+3)ξ2+n(n+2)10ξ4](2aξ+4b+6cξ+8dξ2+10eξ3+12fξ4)

(n+1)[𝔉+nα5ξ22nα21(n518)ξ4](1+aξ+bξ2+cξ3+dξ4)

Expressions for the various coefficients can now be determined by equating terms on the LHS and RHS that have like powers of ξ.

Term LHS RHS Implication

ξ1:

24a

0

a=0

ξ0:

(12b+48b)

(n+1)𝔉

b=(n+1)𝔉60

ξ1:

[36c+72c2a(n+3)]

a(n+1)𝔉

108c=2a(n+3)a(n+1)𝔉c=0

ξ2:

[72d2b+96d4b(n+3)]

[b(n+1)𝔉n(n+1)α5]

d=(n+1){12nα+𝔉[(4n+14)(n+1)𝔉]10080}

NOTE:  On 9/10/2026, we realized that the first term in the numerator of the expression for the coefficient, d, should be 12nα instead of just nα.

In summary, the desired, approximate power-series expression for the polytropic displacement function is:

x(ξ)

=

1(n+1)𝔉60ξ2(n+1){12nα+𝔉[(4n+14)(n+1)𝔉]10080}ξ4+

Displacement Function for Isothermal LAWE[edit]

The LAWE for isothermal spheres may be written as,

d2xdr2+[4r(dwdr)]1rdxdr

=

[σc26γαr(dwdr)]x,

where, w(r) is the isothermal Lane-Emden function describing the configuration's unperturbed radial density distribution, and γ, σc2, and α(34/γ) are constants. Here we seek a power-series expression for the displacement function, x(r), expanded about the center of the configuration, that approximately satisfies this LAWE.

First we note that, near the center, an accurate power-series expression for the isothermal Lane-Emden function is,

w(r)

=

r26r4120+r6189061r81,632,960+.

Hence,

dwdr

r3r330+r5315.

Therefore, near the center of the configuration, the LAWE may be written as,

d2xdr2+[4(r23r430+r6315)]1rdxdr

16[σc2γ2α(1r210+r4105)]x.

Let's now adopt a power-series expression for the displacement function of the form,

x

=

1+ar+br2+cr3+dr4+

1rdxdr

=

ar+2b+3cr+4dr2+

and,

d2xdr2

=

2b+6cr+12dr2+

Substituting these expressions into the LAWE gives,

2b+6cr+12dr2+[4(r23r430+r6315)][ar+2b+3cr+4dr2]

16[σc2γ2α(1r210+r4105)](1+ar+br2+cr3+dr4).

Keeping terms only up through r2 leads to the following simplification:

2b+6cr+12dr2+4[ar+2b+3cr+4dr2]r23[ar+2b]

𝔉6(1+ar+br2)α3(r210)

where,

𝔉σc2γ2α.

Finally, balancing terms of like powers on both sides of the equation leads us to conclude the following:

Term LHS RHS Implication

r1:

4a

0

a=0

r0:

2b+8b

𝔉6

b=𝔉60

r1:

6c+12ca3

a𝔉6

c=0

r2:

12d+16d2b3

𝔉b6α30

28d=130[5b(4𝔉)α]d=110080[𝔉(𝔉4)12α]

In summary, the desired, approximate power-series expression for the isothermal displacement function is:

x(r)

=

1𝔉60r2+110080[𝔉(𝔉4)12α]r4+


This is a derivation check ...

As was discovered by Yabushita, the analytically prescribed isothermal displacement function is,

σc2=0

 and  

xY=1(1ξeψ)dψdξ.

Given that,

ψ(ξ) =

ξ26ξ4120+ξ6189061ξ81,632,960+

1ξdψdξ =

13ξ230+6ξ41890861ξ61,632,960+

and that,

ψ2 =

[ξ26ξ4120+ξ6189061ξ81,632,960+]×[ξ26ξ4120+ξ6189061ξ81,632,960+]

  =

[ξ26]×[ξ26ξ4120+ξ6189061ξ81,632,960+]+[ξ4120]×[ξ26ξ4120+ξ6189061ξ81,632,960+]

and that the exponential function gives,

eψ

=

1+ψ+ψ22!+ψ33!+ψ44!+

Maclaurin Spheroid Index Symbols[edit]

In our accompanying discussion of the equilibrium properties of models along the Maclaurin spheroid sequence, we find the "Index Symbols" expressions,

A1

=

1e2[sin1ee(1e2)1/2](1e2)1/2,

A3

=

2e2[(1e2)1/2sin1ee](1e2)1/2,

where,

e

[1(ca)2]1/2       (always positive).

Our aim, here, is to derive a power-series expression for these two index symbols (a) in the case of nearly spherical configurations (e1), and (b) in the case of an infinitesimally thin disk (c/a1).

Nearly Spherical Configurations[edit]

On p. 457 of [CRC], we find that,

sin1ee

=

1+[123]e2+[13245]e4+[1352467]e6+[135724689]e8+       for,       (e2<1,π2<sin1e<π2).

Also, from the above binomial-theorem expression, we have,

(1e2)1/2

=

112e2+[12(121)2!]e4[12(121)(122)3!]e6+[12(121)(122)(123)4!]e8      for (e4<1)

 

=

1[12]e2[123]e4[124]e6[527]e8

So we can write,

1(1e2)1/2[sin1ee]

=

{1[12]e2[123]e4[124]e6[527]e8}×{1+[123]e2+[13245]e4+[1352467]e6+[135724689]e8+}

 

=

{1+[123]e2+[13245]e4+[1352467]e6+[135724689]e8}e22{1+[123]e2+[13245]e4+[1352467]e6}

 

 

e423{1+[123]e2+[13245]e4}e624{1+[123]e2}[527]e8+𝒪(e10)

 

=

1+e2[12312]+e4[132451223123]+e6[13524671213245123123124]

 

 

+e8[13572468912135246712313245124123527]+𝒪(e10)

 

=

1e2[13]+e4[3225352335]+e6[3523275735724357]+e8[527222325223372235732527273257]+𝒪(e10)

 

=

1e2[13]e4[235]e6[23357]e8[243257]+𝒪(e10)

Hence,

e2A1

=

1(1e2)

 

=

e2[23]e4[235]e6[23357]e8[243257]+𝒪(e10)

A1

=

23e2[235]e4[23357]e6[243257]+𝒪(e8).

And,

(e22)A3

=

11

 

=

e2[13]+e4[235]+e6[23357]+e8[243257]+𝒪(e10)

A3

=

23+e2[2235]+e4[24357]+e6[253257]+𝒪(e8).

This looks okay, in the sense that (2A1+A3)=2.

Infinitesimally Thin Axisymmetric Disk[edit]

As e1 — that is, in the case of an infinitesimally thin, axisymmetric disk — the preferred small parameter is,

ca

=

(1e2)1/21.

Recognizing as well that,

sin1e

=

cos1(1e2)1/2=cos1(ca)

2sin1ee3(1e2)1/2

=

(ca)[cos1(ca)][1c2a2]3/2,

the expressions for the pair of relevant index symbols may be rewritten as,

A1

=

2(ca)2(1c2a2)1,

A32

=

(1c2a2)12.

Pulling again from p. 457 of [CRC], we find that,

cos1(ca)

=

π2ca{1+[123](ca)2+[13245](ca)4+[1352467](ca)6+[135724689](ca)8+}       for,       (c2a2<1,0<cos1(ca)<π).

LAGNIAPPE:

According to the above binomial-theorem expression, we find for (c2/a2<1),

1e=[1c2a2]1/2

=

1+12(ca)2+[12(121)2!](ca)4[12(121)(122)3!](ca)6+[12(121)(122)(123)4!](ca)8

 

=

1+12(ca)2+[3222!](ca)4+[35233!](ca)6+[357244!](ca)8+

 

=

1+12(ca)2+[323](ca)4+[524](ca)6+[5727](ca)8+

Hence,

sin1ee=cos1(ca)[1c2a2]1/2

=

π2{1+12(ca)2+[323](ca)4+[524](ca)6+[5727](ca)8+}

 

 

ca{1+[123](ca)2+[13245](ca)4+[1352467](ca)6+[135724689](ca)8+}

 

 

×{1+12(ca)2+[323](ca)4+[524](ca)6+[5727](ca)8+}

 

=

π2{1+[12](ca)2+[323](ca)4+[524](ca)6+[5727](ca)8}

 

 

{(ca)+[123](ca)3+[13245](ca)5+[1352467](ca)7+[135724689](ca)9}

 

 

12{(ca)3+[123](ca)5+[13245](ca)7+[1352467](ca)9}

 

 

[323]{(ca)5+[123](ca)7+[13245](ca)9}[524]{(ca)7+[123](ca)9}[5727](ca)9+𝒪(c10a10)

 

=

π2+π2[12](ca)2+π2[323](ca)4+π2[524](ca)6+π2[5727](ca)8

 

 

(ca)[123](ca)3[13245](ca)5[1352467](ca)7[135724689](ca)9

 

 

12(ca)3[1223](ca)5[132245](ca)7[13522467](ca)9

 

 

[323](ca)5[323][123](ca)7[323][13245](ca)9[524](ca)7[524][123](ca)9[5727](ca)9+𝒪(c10a10).

(continue expression simplification)

sin1ee=cos1(ca)[1c2a2]1/2

=

π2+π2[12](ca)2+π2[323](ca)4+π2[524](ca)6+π2[5727](ca)8

 

 

(ca)[123](ca)3[3235](ca)5[5247](ca)7[572732](ca)9

 

 

12(ca)3[1223](ca)5[3245](ca)7[5257](ca)9

 

 

[323](ca)5[124](ca)7[32265](ca)9[524](ca)7[5253](ca)9[5727](ca)9+𝒪(c10a10)

 

=

π2+π2[12](ca)2+π2[323](ca)4+π2[524](ca)6+π2[5727](ca)8

 

 

(ca){[123]+12}(ca)3{[3235]+[1223]+[323]}(ca)5{[5247]+[3245]+[124] +[524]}(ca)7

 

 

{[572732]+[5257]+[32265]+[5253]+[5727]}(ca)9+𝒪(c10a10)

 

=

π2+π2[12](ca)2+π2[323](ca)4+π2[524](ca)6+π2[5727](ca)8

 

 

(ca)[23](ca)3[2335](ca)5[2457](ca)7[273257](ca)9+𝒪(c10a10).


Referring again to the above binomial-theorem expression, we find for (c2/a2<1),

[1c2a2]3/2

=

1+32(ca)2+[32(321)2!](ca)4[32(321)(322)3!](ca)6+[32(321)(322)(323)4!](ca)8

 

=

1+32(ca)2+[32(32+1)2!](ca)4+[32(32+1)(32+2)3!](ca)6+[32(32+1)(32+2)(32+3)4!](ca)8+

 

=

1+32(ca)2+[35222!](ca)4+[357233!](ca)6+[3579244!](ca)8+

 

=

1+32(ca)2+[3523](ca)4+[5724](ca)6+[57927](ca)8+

We therefore can write,

2

=

{π2(ca)(ca)2[123](ca)4[13245](ca)6[1352467](ca)8[135724689](ca)10}

 

 

×{1+32(ca)2+[3523](ca)4+[5724](ca)6+[57927](ca)8+}

 

=

π2(ca)(ca)2[123](ca)4[13245](ca)6[1352467](ca)8[135724689](ca)10

 

 

+32(ca)2{π2(ca)(ca)2[123](ca)4[13245](ca)6[1352467](ca)8}

 

 

+[3523](ca)4{π2(ca)(ca)2[123](ca)4[13245](ca)6}

 

 

+[5724](ca)6{π2(ca)(ca)2[123](ca)4}+[57927](ca)8{π2(ca)(ca)2}+𝒪(c10a10)

 

=

π2(ca)(ca)2[123](ca)4[13245](ca)6[1352467](ca)8+π[322](ca)3[32](ca)4[122](ca)6[32245](ca)8

 

 

+π[3524](ca)5[3523](ca)6[524](ca)8+π[5725](ca)7[5724](ca)8+π[57928](ca)9+𝒪(c10a10)

 

=

π2(ca)(ca)2+π[322](ca)3[123+32](ca)4+π[3524](ca)5[13245+122+3523](ca)6

 

 

+π[5725](ca)7[1352467+32245+524+5724](ca)8+π[57928](ca)9+𝒪(c10a10)

 

=

π2(ca)(ca)2+π[322](ca)3[53](ca)4+π[3524](ca)5[115](ca)6+π[5725](ca)7[9357](ca)8+π[57928](ca)9+𝒪(c10a10).

Once again from the binomial theorem,

(1c2a2)1

=

1+(ca)2+(ca)4+(ca)6+(ca)8+(ca)10+

which gives us,

A1=2(ca)2(1c2a2)1

=

π2(ca)(ca)2+π[322](ca)3[53](ca)4+π[3524](ca)5[115](ca)6+π[5725](ca)7[9357](ca)8+π[325728](ca)9

 

 

{(ca)2+(ca)4+(ca)6+(ca)8}+𝒪(c10a10)

 

=

π2(ca)2(ca)2+π[322](ca)3[83](ca)4+π[3524](ca)5[245](ca)6+π[5725](ca)7[2757](ca)8+π[325728](ca)9+𝒪(c10a10).

And,

A32=(1c2a2)12

=

{1+(ca)2+(ca)4+(ca)6+(ca)8+(ca)10+}

 

 

{π2(ca)(ca)2+π[322](ca)3[53](ca)4+π[3524](ca)5[115](ca)6+π[5725](ca)7[9357](ca)8+π[325728](ca)9}+𝒪(c10a10)

 

=

1π2(ca)+2(ca)2π[322](ca)3+[83](ca)4π[3524](ca)5+[245](ca)6π[5725](ca)7+[2757](ca)8π[325728](ca)9}+𝒪(c10a10).

Notice that, to the highest order retained in these expressions, we find as expected that, (A1+A3/2)=1.

Frequency (temporary)[edit]

ω02

=

2πGρ[A1A3(1e2)]

ΩMc2ω02πGρ

=

2(32e2)(1e2)1/2sin1ee36(1e2)e2,

Taylor Series (Hunter77)[edit]

First (Unsuccessful) Try[edit]

First:

f0

=

f3+(3Δ)f3'+12(3Δ)2f3'+16(3Δ)3f3'+124(3Δ)4f3iv+𝒪(Δ5)

 

=

f3(3Δ)f3'+322(Δ)2f3'322(Δ)3f3'+3323(Δ)4f3iv+𝒪(Δ5)

322(Δ)2f3'

=

f3f0(3Δ)f3'322(Δ)3f3'+3323(Δ)4f3iv+𝒪(Δ5)

Note that, replacing the (Δ)3f3' term with the expression derived in the Second step, below, gives,

322(Δ)2f3'

=

f3f0(3Δ)f3'+3323(Δ)4f3iv+𝒪(Δ5)

 

 

322{[2232]f0f1+f3[532]+[23](Δ)f3'+[56](Δ)4f3iv}[32]

 

=

f3f03(Δ)f3'+3323(Δ)4f3iv+𝒪(Δ5)

 

 

+{3f0+[3322]f1+[1522]f3+[32](Δ)f3'+[32523](Δ)4f3iv}

 

=

2f0+[3322]f1+[1+1522]f3+[332](Δ)f3'+[332332523](Δ)4f3iv+𝒪(Δ5)

 

=

2f0+[3322]f1+[1922]f3+[92](Δ)f3'+[94](Δ)4f3iv+𝒪(Δ5)

Then, replacing the (Δ)4f3iv term with the expression derived in the Third step, below, gives,

322(Δ)2f3'

=

2f0+[3322]f1+[1922]f3+[92](Δ)f3'+𝒪(Δ5)

 

 

+[94]{[132]f0+[12]f1f2+[11232]f3+[23](Δ)f3'}[223]

 

=

2f0+[3322]f1+[1922]f3+[92](Δ)f3'+𝒪(Δ5)

 

 

+{[3]f0+[332]f133f2+[3112]f3+[232](Δ)f3'}

 

=

f0+[3323322]f133f2+[3112+1922]f3+[23292](Δ)f3'+𝒪(Δ5)

 

=

f0+[3322]f133f2+[51722]f3+[3252](Δ)f3'+𝒪(Δ5)


Second:

f1

=

f3+(2Δ)f3'+12(2Δ)2f3'+16(2Δ)3f3'+124(2Δ)4f3iv+𝒪(Δ5)

 

=

f32(Δ)f3'+2(Δ)2f3'223(Δ)3f3'+23(Δ)4f3iv+𝒪(Δ5)

 

=

f32(Δ)f3'223(Δ)3f3'+23(Δ)4f3iv+𝒪(Δ5)

 

 

[2232][f3f0(3Δ)f3'322(Δ)3f3'+3323(Δ)4f3iv+𝒪(Δ5)]

 

=

[2232]f0+f3[12232]+[2232(3Δ)2(Δ)]f3'+[(2232)322(Δ)3223(Δ)3]f3'

 

 

+[23(Δ)4(2232)3323(Δ)4]f3iv+𝒪(Δ5)

 

=

[2232]f0+f3[532]+[23](Δ)f3'+[23](Δ)3f3'+[56](Δ)4f3iv+𝒪(Δ5)

[23](Δ)3f3'

=

[2232]f0f1+f3[532]+[23](Δ)f3'+[56](Δ)4f3iv+𝒪(Δ5)

Now, replacing the (Δ)4f3iv term with the expression derived in the Third step, below, gives,

[23](Δ)3f3'

=

[2232]f0f1+f3[532]+[23](Δ)f3'+𝒪(Δ5)

 

 

+[56]{[132]f0+[12]f1f2+[11232]f3+[23](Δ)f3'}[223]

 

=

[2232]f0f1+f3[532]+[23](Δ)f3'+𝒪(Δ5)

 

 

+{[2532]f0+[5]f1+[25]f2+[51132]f3+[2253](Δ)f3'}

 

=

[22322532]f0+[4]f1+[25]f2+[532+51132]f3+[225323](Δ)f3'+𝒪(Δ5)

 

=

[23]f0+[4]f1+[25]f2+[2253]f3+[2113](Δ)f3'+𝒪(Δ5)


Third:

f2

=

f3+(Δ)f3'+12(Δ)2f3'+16(Δ)3f3'+124(Δ)4f3iv+𝒪(Δ5)

 

=

f3+[1](Δ)f3'+[12](Δ)2f3'+[123](Δ)3f3'+[1233](Δ)4f3iv+𝒪(Δ5)

 

=

f3+[1](Δ)f3'+[1233](Δ)4f3iv+𝒪(Δ5)

 

 

+[12]{2f0+[3322]f1+[1922]f3+[92](Δ)f3'+[94](Δ)4f3iv}[232]

 

 

+[123]{[2232]f0f1+f3[532]+[23](Δ)f3'+[56](Δ)4f3iv}[32]

 

=

f3+[1](Δ)f3'+[1233](Δ)4f3iv+𝒪(Δ5)

 

 

+{[232]f0+[322]f1+[192232]f3+[12](Δ)f3'+[14](Δ)4f3iv}

 

 

+{[132]f0+[122]f1+f3[52232]+[123](Δ)f3'+[5233](Δ)4f3iv}

 

=

f3+[1](Δ)f3'+[1233](Δ)4f3iv+𝒪(Δ5)

 

 

+{[132232]f0+[322122]f1+[52232192232]f3+[12123](Δ)f3'+[145233](Δ)4f3iv}

 

=

[132]f0+[12]f1+[11232]f3+[23](Δ)f3'+[1223](Δ)4f3iv+𝒪(Δ5)

[1223](Δ)4f3iv

=

[132]f0+[12]f1f2+[11232]f3+[23](Δ)f3'+𝒪(Δ5)

And, finally:

f4

=

f3+(Δ)f3'+12(Δ)2f3'+16(Δ)3f3'+124(Δ)4f3iv+𝒪(Δ5)

 

=

f3+(Δ)f3'+𝒪(Δ5)

 

 

+12{f0+[3322]f133f2+[51722]f3+[3252](Δ)f3'}[232]

 

 

+16{[23]f0+[4]f1+[25]f2+[2253]f3+[2113](Δ)f3'}[32]

 

 

+124{[132]f0+[12]f1f2+[11232]f3+[23](Δ)f3'}[223]

 

=

f3+(Δ)f3'+𝒪(Δ5)

 

 

+{[132]f0+[322]f1+[3]f2+[5172232]f3+[52](Δ)f3'}

 

 

+{[123]f0+[1]f1+[52]f2+[53]f3+[1123](Δ)f3'}

 

 

+{[1232]f0+[122]f1+[12]f2+[112232]f3+[13](Δ)f3'}

 

=

[132+123+1232]f0+[3221122]f1+[3+52+12]f2+𝒪(Δ5)

 

 

+[1517223253112232]f3+[1+52+1123+13](Δ)f3'

 

=

[13]f0+[2]f1+[6]f2+[103]f3+[173](Δ)f3'+𝒪(Δ5)

Result:

Definitely WRONG!

f4

=

13f02f1+6f2103f3+173(Δ)f3'+𝒪(Δ5).

When I used an Excel spreadsheet to test this out against a parabola, the integration quickly became wildly unstable, strongly suggesting that there is an error in the derivation. My first attempt to uncover this error produced a new coefficient on the (Δ)f3', namely,

Somewhat Improved

f4

=

13f02f1+6f2103f3+4(Δ)f3'+𝒪(Δ5).

Although it showed improvement, this expression still blows up. So I have not bothered to revise the original (definitely WRONG!) derivation. Instead, let's start all over and approach it with a more gradual derivation.

Second Try[edit]

We will work from the following foundation expression in which f4 is the variable that we desire to evaluate, and the "known" quantities are:   f3, f3', f2, f1, and f0.

f4

=

f3+(Δ)f3'+12(Δ)2f3'+16(Δ)3f3'+124(Δ)4f3iv+𝒪(Δ5)

Let's use similar Taylor-series expansions for f2, f3, etc. in order to eliminate the f3' term, the f3' term, etc.

f2

=

f3+(Δ)f3'+12(Δ)2f3'+16(Δ)3f3'+124(Δ)4f3iv+𝒪(Δ5)

f1

=

f3+(2Δ)f3'+12(2Δ)2f3'+16(2Δ)3f3'+124(2Δ)4f3iv+𝒪(Δ5)

f0

=

f3+(3Δ)f3'+12(3Δ)2f3'+16(3Δ)3f3'+124(3Δ)4f3iv+𝒪(Δ5)


First:

12(Δ)2f3'

=

f3+(Δ)f3'f2+16(Δ)3f3'+124(Δ)4f3iv+𝒪(Δ5)

12(Δ)2f3'

=

f3+(Δ)f3'+f2+16(Δ)3f3'124(Δ)4f3iv+𝒪(Δ5)

f4

=

f3+(Δ)f3'f3+(Δ)f3'+f2+𝒪(Δ3)

 

=

f2+2(Δ)f3'+𝒪(Δ3)

𝒪(Δ3)

f4

=

f2+2(Δ)f3'+𝒪(Δ3)

This expression works very well for a parabola.


Second:

f1

=

f3+(2)Δf3'+2(Δ)2f3'+[236]Δ3f3'+[24233]Δ4f3iv+𝒪(Δ5)

 

=

f3+(2)Δf3'+[236]Δ3f3'+[24233]Δ4f3iv+𝒪(Δ5)

 

 

+2{f3+(Δ)f3'+f2+123(Δ)3f3'1233(Δ)4f3iv}[2]

 

=

f3[122]+(222)Δf3'+22f2+[23236]Δ3f3'+[24233123]Δ4f3iv+𝒪(Δ5)

 

=

f3[3]+(2)Δf3'+22f2+[23]Δ3f3'+[12]Δ4f3iv+𝒪(Δ5)

[23]Δ3f3'

=

f1+22f23f3+2Δf3'+[12]Δ4f3iv+𝒪(Δ5)

This also allows us to improve the expression for the f3' term, as initially derived in the "First" subsection, above. Namely,

12(Δ)2f3'

=

f2f3+(Δ)f3'124(Δ)4f3iv+𝒪(Δ5)

 

 

+16{f1+22f23f3+2Δf3'+[12]Δ4f3iv}[32]

 

=

14f1+2f2+[74]f3+[32](Δ)f3'+[1223](Δ)4f3iv+𝒪(Δ5)

Hence, an improved expression for f4 is,

f4

=

f3+(Δ)f3'+𝒪(Δ4)

 

 

+{14f1+2f2+[74]f3+[32](Δ)f3'}

 

 

+16{f1+22f23f3+2Δf3'}[32]

 

=

12f1+3f232f3+3(Δ)f3'+𝒪(Δ4)


𝒪(Δ4)

f4

=

12f1+3f232f3+3(Δ)f3'+𝒪(Δ4)



Third:

f0

=

f3+(3Δ)f3'+12(3Δ)2f3'+16(3Δ)3f3'+124(3Δ)4f3iv+𝒪(Δ5)

 

=

f3+[3](Δ)f3'+[3323](Δ)4f3iv+𝒪(Δ5)

 

 

+32{14f1+2f2+[74]f3+[32](Δ)f3'+[1223](Δ)4f3iv}

 

 

+[3322]{f1+22f23f3+2Δf3'+[12]Δ4f3iv}

 

=

f3+[3](Δ)f3'+[3323](Δ)4f3iv+𝒪(Δ5)

 

 

+{[324]f1+[232]f2+[3274]f3+[332](Δ)f3'+[322](Δ)4f3iv}

 

 

+{[3322]f1+[33]f2+[3422]f3+[332]Δf3'+[3323]Δ4f3iv}

 

=

[3322324]f1+[23233]f2+[1+34223274]f3+[3323323](Δ)f3'+[3323+3223323](Δ)4f3iv+𝒪(Δ5)

 

=

[322]f1+[32]f2+[112]f3+[3](Δ)f3'+[322](Δ)4f3iv+𝒪(Δ5)

[322](Δ)4f3iv

=

f0+[322]f1+[32]f2+[112]f3+[3](Δ)f3'+𝒪(Δ5)

Hence,

12(Δ)2f3'

=

14f1+2f2+[74]f3+[32](Δ)f3'+𝒪(Δ5)

 

 

+[1223]{f0+[322]f1+[32]f2+[112]f3+[3](Δ)f3'}[223]

 

=

14f1+2f2+[74]f3+[32](Δ)f3'+𝒪(Δ5)

 

 

+{[132]f0+[12]f1+f2+[11232]f3+[13](Δ)f3'}

 

=

[132]f0+[1214]f1+3f2+[1123274]f3+[13+32](Δ)f3'+𝒪(Δ5)

 

=

[132]f0+[34]f1+3f2+[5172232]f3+[1123](Δ)f3'+𝒪(Δ5)

And,

[23]Δ3f3'

=

f1+22f23f3+2Δf3'+𝒪(Δ5)

 

 

+[12]{f0+[322]f1+[32]f2+[112]f3+[3](Δ)f3'}[223]

 

=

f1+22f23f3+2Δf3'+𝒪(Δ5)

 

 

+{[23]f0+[3]f1+[23]f2+[113]f3+[2](Δ)f3'}

 

=

[23]f0+[4]f1+[25]f2+[2253]f3+[4](Δ)f3'+𝒪(Δ5)


Finally, then:

f4

=

f3+(Δ)f3'+12(Δ)2f3'+16(Δ)3f3'+124(Δ)4f3iv+𝒪(Δ5)

 

=

f3+(Δ)f3'+𝒪(Δ5)

 

 

+12{[132]f0+[34]f1+3f2+[5172232]f3+[1123](Δ)f3'}[2]

 

 

+123{[23]f0+[4]f1+[25]f2+[2253]f3+[4](Δ)f3'}[32]

 

 

+1233{f0+[322]f1+[32]f2+[112]f3+[3](Δ)f3'}[223]

 

=

f3+(Δ)f3'+𝒪(Δ5)

 

 

+{[132]f0+[34]f1+3f2+[5172232]f3+[1123](Δ)f3'}

 

 

+122{[23]f0+[4]f1+[25]f2+[2253]f3+[4](Δ)f3'}

 

 

+1232{f0+[322]f1+[32]f2+[112]f3+[3](Δ)f3'}

 

=

f3+(Δ)f3'+𝒪(Δ5)

 

 

+{[132]f0+[34]f1+3f2+[5172232]f3+[1123](Δ)f3'}

 

 

+{[123]f0+[1]f1+[52]f2+[53]f3+[1](Δ)f3'}

 

 

{[1232]f0+[122]f1+[12]f2+[112232]f3+[123](Δ)f3'}

 

=

[132+123+1232]f0+[134122]f1+[3+52+12]f2+[1517223253112232]f3+[2+1123+123](Δ)f3'+𝒪(Δ5)

 

=

[13]f0+[2]f1+[6]f2+[253]f3+[4](Δ)f3'+𝒪(Δ5)


𝒪(Δ5)

f4

=

13f02f1+6f2253f3+4(Δ)f3'+𝒪(Δ5)


Tiled Menu

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