Appendix/Ramblings/PowerSeriesExpressions: Difference between revisions

From JETohlineWiki
Jump to navigation Jump to search
Joel2 (talk | contribs)
Joel2 (talk | contribs)
 
(27 intermediate revisions by 2 users not shown)
Line 232: Line 232:
==Expressions with Astrophysical Relevance==
==Expressions with Astrophysical Relevance==
===Polytropic Lane-Emden Function===
===Polytropic Lane-Emden Function===
====Power-Series Derivation====
We seek a power-series expression for the polytropic, Lane-Emden function, <math>~\Theta_\mathrm{H}(\xi)</math> &#8212; expanded about the coordinate center, <math>~\xi = 0</math> &#8212; that approximately satisfies the Lane-Emden equation,
We seek a power-series expression for the polytropic, Lane-Emden function, <math>~\Theta_\mathrm{H}(\xi)</math> &#8212; expanded about the coordinate center, <math>~\xi = 0</math> &#8212; that approximately satisfies the Lane-Emden equation,
<div align="center">
<div align="center">
Line 515: 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 522: 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 532: Line 550:
NOTE:  &nbsp;For cylindrically symmetric, rather than spherically symmetric, configurations, the analogous power-series expression appears as equation (15) in the article by [http://adsabs.harvard.edu/abs/1964ApJ...140.1056O J. P. Ostriker (1964, ApJ, 140, 1056)] titled, ''The Equilibrium of Polytropic and Isothermal Cylinders''.
NOTE:  &nbsp;For cylindrically symmetric, rather than spherically symmetric, configurations, the analogous power-series expression appears as equation (15) in the article by [http://adsabs.harvard.edu/abs/1964ApJ...140.1056O J. P. Ostriker (1964, ApJ, 140, 1056)] titled, ''The Equilibrium of Polytropic and Isothermal Cylinders''.


===Isothermal Lane-Emden Function===
====Examples====


<!-- 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=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
<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=0}</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} \, .</math>
   </td>
   </td>
</tr>
</tr>
</table>
</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,
<hr width="100%" align="center">
<div align="center">
 
<font color="darkgreen"><b>When <math>n=1</math></b></font>, the first few terms in the power-series expression are,
<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>\theta_{n=1}</math>
</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}{6} + \frac{\xi^4}{120}  - \frac{\xi^6}{5040}
+ \frac{\xi^8}{362880} + \cdots
</math>
   </td>
   </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">
<math>~w</math>
&nbsp;
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <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!} + \frac{\xi^4}{5!}  - \frac{\xi^6}{7!}
+ \frac{\xi^8}{9!}  + \cdots
</math>
</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">


Derivatives:
<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>~\frac{dw}{dr}</math>
<math>~\theta_{n=5}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 605: Line 618:
   <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!} + \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 612: Line 626:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\frac{d^2w}{dr^2}</math>
&nbsp;
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 619: Line 633:
   <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 +\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>
</table>
</div>
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">
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">
<math>~\frac{d^2w}{dr^2} +\frac{2}{r} \frac{d w}{dr} </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
+ \frac{2}{r}\biggl[ a + 2br + 3cr^2 + 4dr^3 + 5er^4 + 6fr^5 + 7gr^6 + 8hr^7  \biggr] + \cdots
</math>
   </td>
   </td>
</tr>
</tr>
</table>
From the [[Appendix/Ramblings/PowerSeriesExpressions#Binomial|binomial theorem]], we start with,
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
&nbsp;
<math>~(1+b)^{m}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 653: Line 665:
   </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+ 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
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</table>
</div>
then set <math>b=\xi^2/3</math> and <math>m = -1/2</math> to obtain:


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">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~e^{-w}</math>
<math>\theta_{n=5}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 674: Line 684:
   <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+ 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>
Line 688: Line 701:
   <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{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 698: Line 715:
   </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 - \biggl( \frac{\xi^2}{2\cdot 3}\biggr)
\times \biggl[1 - dr^4\biggr] \times \biggl[1 - er^5\biggr]\times \biggl[1 - fr^6\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 713: Line 733:
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~\approx</math>
<math>~=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<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]
1 - \frac{\xi^2}{3!} + \frac{\xi^4}{4!}
\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]
- \frac{\xi^6}{6!}\biggl( \frac{5^2}{3} \biggr
\times \biggl[1 - dr^4 - er^5 - fr^6\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>~\biggl\{
<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]
   </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>
-->
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">
&nbsp;
<math>~=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~e^{-w} \, . </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>
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">
<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}
w_0 + ar + br^2 + cr^3 + dr^4 + er^5 + fr^6 + gr^7 + hr^8 +\cdots
- dr^+ adr^5 - \frac{a^2d r^6}{2}  - er^+ aer^6  - fr^6
\biggr]
</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">
&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]
a + 2br + 3cr^2 + 4dr^3 + 5er^4 + 6fr^5 + 7gr^6 + 8hr^7 +\cdots \, ;
</math>
</math>
   </td>
   </td>
Line 786: 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">
<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 +\cdots \, .
+ 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>
</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>~
<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}{2ae  - f \biggr)
+ \frac{2}{r}\biggl[ a + 2br + 3cr^2 + 4dr^3 + 5er^4 + 6fr^5 + 7gr^6 + 8hr^7 \biggr] + \cdots
</math>
</math>
   </td>
   </td>
Line 821: Line 865:
   </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>~\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)
-cr^\biggl[ 1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} \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
+ \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>
Line 835: Line 876:
</div>
</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,
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">
<div align="center">
<table border="1" cellpadding="5" align="center">
<table border="0" 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>~e^{-w}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~2a</math>
<math>~=</math>
  </td>
  <td align="center">
<math>~0</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~a=0</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
</math>
   </td>
   </td>
</tr>
</tr>
Line 862: Line 896:
<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>~=</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}{3!} + \frac{a^4r^4}{4!} - \frac{a^5r^5}{5!} + \frac{a^6r^6}{6!} + \cdots \biggr]
</math>
   </td>
   </td>
</tr>
</tr>
Line 877: Line 910:
<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>
&nbsp;
  </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>~
\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 892: Line 925:
<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>
<math>~\approx</math>
  </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>~
\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>
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">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~e^{-w}</math>
&nbsp;
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 920: Line 947:
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~\biggl\{
1 -d r^4 -e r^5 -f r^6  
\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]
-br^2 ( 1 -d r^4 ) + \frac{b^2r^4}{2} - \frac{b^3r^6}{6}  
- dr^4 \biggl[ 1 -ar + \frac{a^2r^2}{2} \biggr] - er^5 \biggl[ 1 -ar \biggr] - fr^6
\biggr\}
</math>
</math>
   </td>
   </td>
Line 932: Line 960:
   </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>
</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>
  <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>~r^{3}:</math>
&nbsp;
   </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} + \frac{a^4r^4}{24} - \frac{a^5r^5}{5\cdot 24} + \frac{a^6r^6}{30\cdot 24}
- dr^4  + adr^5 - \frac{a^2d r^6}{2}  - er^5  +  aer^6  - fr^6
\biggr]
</math>
   </td>
   </td>
</tr>
</tr>
Line 971: Line 987:
<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>
&nbsp;
  </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>~
\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 986: Line 1,001:
<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>
<math>~\approx</math>
  </td>
  <td align="center">
<math>~-e</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~g = 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 1,001: Line 1,018:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~r^{6}:</math>
&nbsp;
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~(2^3 \cdot 7 h + 2^4 h)</math>
<math>~\approx</math>
  </td>
  <td align="center">
<math>~\biggl( bd - \frac{b^3}{6} -f \biggr)</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~
<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)
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)
= -\frac{61}{2^{6} \cdot 3^6\cdot 5\cdot 7}
+ r^6 \biggl(\frac{a^6}{30\cdot 24} - \frac{a^2d}{2}   +  ae - f \biggr)
</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>~w(r)
&nbsp;
</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
&nbsp;
   </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>~-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>
</table>
</td></tr></table>
</div>
</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,
See also:
* Equation (377) from &sect;22 in Chapter IV of [[Appendix/References#C67|C67]].
 
 
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''.
 
===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">
<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>~0 </math>
<math>~r^{-1}:</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>~2a</math>
  </td>
  <td align="center">
<math>~0</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 ~~~a=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,073: Line 1,077:
<tr>
<tr>
   <td align="right">
   <td align="right">
&nbsp;
<math>~r^{0}:</math>
  </td>
  <td align="center">
<math>~6b</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>~1</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 ~~~b = + \frac{1}{6}</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>
</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>~\theta</math>
<math>~r^{1}:</math>
  </td>
  <td align="center">
<math>~2^2\cdot 3c</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>~-a</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~\Rightarrow ~~~c = -\frac{a}{2^2\cdot 3} =0</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
</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\theta}{d\xi}</math>
<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>~\approx</math>
<math>~\frac{a^2}{2} - b</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~\Rightarrow ~~~d = \frac{1}{20}\biggl( \frac{a^2}{2} - b \biggr) = - \frac{1}{120}</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]
\, .</math>
   </td>
   </td>
</tr>
</tr>
</table>
</table>
</div>
</div>
Therefore, near the center of the configuration, the LAWE may be written as,
 
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">
<div align="center">
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">
Line 1,131: Line 1,129:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~6~\theta \frac{d^2x}{d\xi^2} + \biggl\{ 12~\theta
<math>~e^{-w}</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>
   <td align="center">
   <td align="center">
Line 1,138: Line 1,135:
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~ -
<math>~
(n+1) \biggl\{ \frac{\sigma_c^2}{\gamma } -  
1 -d r^4 -e r^5 -f r^6
\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>
-br^2 ( 1 -d r^4 ) + \frac{b^2r^4}{2} - \frac{b^3r^6}{6}  
</math>
   </td>
   </td>
</tr>
</tr>
Line 1,146: Line 1,144:
<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}
&nbsp;
+ \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>
   <td align="center">
   <td align="center">
<math>~\approx</math>
<math>~=</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~ -
<math>~
(n+1) \biggl\{ \mathfrak{F} 
1 -br^2+ r^4 \biggl(\frac{b^2}{2} -d \biggr) -e r^5 
+ 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>
+r^6\biggl( bd - \frac{b^3}{6} -f \biggr) \, .
</math>
   </td>
   </td>
</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>
  <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>\Rightarrow~~~ ~\biggl( 6 - \xi^2 + \frac{n}{20} \xi^4  \biggr) \frac{d^2x}{d\xi^2}  
<math>~r^{3}:</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>~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[ \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">
<tr>
<font color="red">
This is a derivation check ...
</font>
 
<table border="0" cellpadding="5" align="center">
 
<tr>
   <td align="right">
   <td align="right">
<math>
<math>~r^{4}:</math>
\biggl[ 6\theta \biggr] \frac{d^2x}{d\xi^2} + \biggl\{ 24 \biggl[ \theta \biggr]
  </td>
- 6(n+1)\xi \biggl[- \frac{d\theta}{d\xi}\biggr] \biggr\} \frac{1}{\xi}\frac{dx}{d\xi}
  <td align="center">
</math>
<math>~(2\cdot 3\cdot 5 f + 2^2\cdot 3f)</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>=</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\{ \frac{\sigma_c^2}{\gamma } -
\frac{6\alpha}{\xi} \biggl[- \frac{d\theta}{d\xi}\biggr] \biggr\} x
</math>
   </td>
   </td>
</tr>
</tr>
Line 1,205: Line 1,201:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>
<math>~r^{5}:</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
  </td>
\biggr] \frac{d^2x}{d\xi^2} + \biggl\{ 24 \biggl[ 1 - \frac{\xi^2}{6} + \frac{n}{120} \xi^4
  <td align="center">
- \frac{n}{378} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^6 + \cdots\biggr]
<math>~(2\cdot 3\cdot 7 g+ 2\cdot 7g)</math>
- 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>
   <td align="center">
   <td align="center">
<math>=</math>
<math>~-e</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>  
<math>~\Rightarrow ~~~g = 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>
</table>
</td></tr></table>
====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">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~x</math>
<math>~r^{6}:</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 ~~~
1 + a\xi + b\xi^2 + c\xi^3 + d\xi^4 + e\xi^5 + f\xi^6\cdots
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>
</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>~\Rightarrow ~~~ \frac{1}{\xi}\frac{dx}{d\xi}</math>
<math>~w(r)
</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 1,255: Line 1,252:
   </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>
\frac{a}{\xi} + 2b + 3 c\xi + 4d\xi^2 + 5e\xi^3 + 6f\xi^4 +\cdots
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</table>
</td></tr></table>
</div>
</div>
and,
 
 
See also:
* Equation (377) from &sect;22 in Chapter IV of [[Appendix/References#C67|C67]].
 
 
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''.
 
===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">
<div align="center">
<table border="0" cellpadding="5" align="center">
<table border="0" cellpadding="5" align="center">
Line 1,268: Line 1,274:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\frac{d^2x}{d\xi^2}</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} +
2b + 6c\xi + 12d\xi^2 + 20e\xi^3 + 30f\xi^4 + \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>
</table>
</div>
Substituting these expressions into the LAWE gives,
<div align="center">
<table border="0" cellpadding="5" align="center">


<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)
&nbsp;
+ \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">
<math>~\approx</math>
<math>~=</math>
   </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} +
(n+1) \biggl[ \mathfrak{F}
\frac{(n+1)}{6} \biggl[\frac{\sigma_c^2}{\gamma } -  
+ \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>
\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.


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>. 
First we note that, near the center, an accurate [[#PolytropicLaneEmden|power-series expression for the polytropic Lane-Emden function]] is,
<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>~\xi^{-1}:</math>
<math>~\theta</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~24a</math>
<math>~=</math>
   </td>
   </td>
   <td align="center">
   <td align="left">
<math>~0</math>
<math>~
  </td>
1 - \frac{\xi^2}{6} + \frac{n}{120} \xi^4 - \frac{n}{378} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^6 + \cdots
  <td align="left">
</math>
<math>~\Rightarrow ~~~a=0</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>~\xi^{0}:</math>
<math>~-\frac{d\theta}{d\xi}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~(12b + 48b)</math>
<math>~\approx</math>
  </td>
  <td align="center">
<math>~-(n+1)\mathfrak{F}</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~b = - \frac{(n+1)\mathfrak{F}}{60}</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]
\, .</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>~\xi^{1}:</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>
   <td align="center">
   <td align="center">
<math>~[36c+72c-2a(n+3)]</math>
<math>~\approx</math>
  </td>
  <td align="center">
<math>~-a(n+1)\mathfrak{F}</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~108c = 2a(n+3)-a(n+1)\mathfrak{F} \Rightarrow~~c=0</math>
<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,360: Line 1,361:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\xi^{2}:</math>
<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>
   <td align="center">
   <td align="center">
<math>~[72d-2b+96d-4b(n+3)]</math>
<math>~\approx</math>
  </td>
  <td align="center">
<math>~\biggl[-b(n+1)\mathfrak{F}-\frac{n(n+1)\alpha}{5}\biggr]</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~\Rightarrow ~~~d = - (n+1)\biggl\{ \frac{n\alpha +\mathfrak{F}[(4n+14)-(n+1)\mathfrak{F} ]}{10080} \biggr\}</math>
<math>~ -  
   </td>
(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>
</tr>
</tr>
</table>
</div>
In summary, the desired, approximate power-series expression for the polytropic displacement function is:
<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>~x(\xi)</math>
<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>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>~\approx</math>
   </td>
   </td>
   <td align="left">
   <td align="left">
<math>~
<math>~ -
1 - \frac{(n+1)\mathfrak{F}}{60} \xi^2- (n+1)\biggl\{ \frac{n\alpha +\mathfrak{F}[(4n+14)-(n+1)\mathfrak{F} ]}{10080} \biggr\} \xi^4 + \cdots
(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]  x \, ,</math>
   </td>
   </td>
</tr>
</tr>
</table>
</table>
</td></tr></table>
</div>
</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>


===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">
<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^2 x}{dr^2} + \biggl[4 - r \biggl(\frac{dw }{dr}\biggr) \biggr] \frac{1}{r}\frac{dx}{dr}</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>
   <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 \, ,
-(n+1) \biggl\{ \frac{\sigma_c^2}{\gamma } -  
\frac{6\alpha}{\xi} \biggl[- \frac{d\theta}{d\xi}\biggr] \biggr\} x  
</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>
</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>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</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>  
-(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>
</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>
\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[ 
\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>
   </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>  
-(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>
</div>
 
Therefore, near the center of the configuration, the LAWE may be written as,
Try <math>\cdots</math>
<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^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>~x</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}{6} \biggl[ \frac{\sigma_c^2}{\gamma}  - 2\alpha \biggl(1 - \frac{r^2}{10} + \frac{r^4}{105}\biggr) \biggr]  x \, .
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>
</div>
Let's now adopt a power-series expression for the displacement function of the form,
<div align="center">
<table border="0" cellpadding="5" align="center">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~x</math>
<math>\frac{dx}{d\xi}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 1,487: Line 1,483:
   <td align="left">
   <td align="left">
<math>~
<math>~
1 + ar + br^2 + cr^3 + dr^4 + \cdots
a + 2b\xi + 3c\xi^2 + 4d\xi^3 + 5e\xi^4 + 6f\xi^5\cdots
</math>
</math>
   </td>
   </td>
Line 1,494: Line 1,490:
<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~\Rightarrow ~~~ \frac{1}{r}\frac{dx}{dr}</math>
<math>\Rightarrow ~~~ \frac{2}{\xi} \cdot \frac{dx}{d\xi}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 1,501: Line 1,497:
   <td align="left">
   <td align="left">
<math>~
<math>~
\frac{a}{r} + 2b + 3 cr + 4dr^2 + \cdots
\frac{2a}{\xi} + 4b + 6c\xi + 8d\xi^2 + 10e\xi^3 + 12f\xi^4\cdots
</math>
</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>~\frac{d^2x}{d\xi^2}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
Line 1,520: Line 1,511:
   <td align="left">
   <td align="left">
<math>~
<math>~
2b + 6cr + 12dr^2 + \cdots
2b + 6c\xi + 12d\xi^2 + 20e\xi^3 + 30f\xi^4 + \cdots
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</table>
</div>
 
Substituting these expressions into the LAWE gives,
in which case,
<div align="center">
 
<table border="0" cellpadding="5" align="center">
<table border="0" align="center" cellpadding="5">


<tr>
<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>0</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>
- \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) \, .
\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]
</math>
</math>
   </td>
   </td>
</tr>
</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>
<tr>
   <td align="right">
   <td align="right">
<math>~
&nbsp;
2b + 6cr + 12dr^2   
  </td>
+ 4  \biggl[ \frac{a}{r} + 2b + 3 cr + 4dr^2  \biggr]  
  <td align="center">&nbsp;</td>
- \frac{r^2}{3}  \biggl[ \frac{a}{r} + 2b  \biggr]  
  <td align="left">
<math>
+~ \biggl\{ 12 - (n+3)\xi^2  + \biggl[\frac{n(n+2)}{10}\biggr] \xi^- \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>
</math>
   </td>
   </td>
   <td align="center">
</tr>
<math>~\approx</math>
 
<tr>
   <td align="right">
&nbsp;
   </td>
   </td>
  <td align="center">&nbsp;</td>
   <td align="left">
   <td align="left">
<math>~
<math>
- \frac{\mathfrak{F} }{6} \biggl( 1 + ar + br^2 \biggr)
+~(n+1) \biggl\{ \mathfrak{F} +  \frac{n\alpha}{5} \xi^2 - \frac{2n\alpha }{21} \biggl( \frac{8n-5}{40} \biggr) \xi^4 \biggr\}
- \frac{\alpha}{3} \biggl(\frac{r^2}{10} \biggr)  
\biggl[ 1 + a\xi + b\xi^2 + c\xi^3 + d\xi^4 + e\xi^5 + f\xi^6 \biggr]
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
</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 align="center" width="80%">
<table border="1" cellpadding="5" align="center">
<tr>
<tr>
   <td align="center">Term</td>
   <td align="left" width="20%">
   <td align="center">LHS</td>
<math>\xi^{-1}:</math>
   <td align="center">RHS</td>
  </td>
   <td align="center">Implication</td>
   <td align="left">
<math>0 = 24a</math>
  </td>
   <td align="right">
<math>\Rightarrow ~~~ a = 0</math>
   </td>
</tr>
</tr>
<tr>
<tr>
   <td align="right">
   <td align="left" width="20%">
<math>~r^{-1}:</math>
<math>\xi^{0}:</math>
   </td>
   </td>
   <td align="center">
   <td align="left">
<math>~4a</math>
<math>0 = 12b + 48b + (n+1)\mathfrak{F}</math>
   </td>
   </td>
   <td align="center">
   <td align="right">
<math>~0</math>
<math>\Rightarrow ~~~ b = - \frac{(n+1)\mathfrak{F}}{60}</math>
  </td>
  <td align="left">
<math>~\Rightarrow ~~~a = 0 </math>
   </td>
   </td>
</tr>
</tr>
<tr>
<tr>
   <td align="right">
   <td align="left" width="20%">
<math>~r^{0}:</math>
<math>\xi^{1}:</math>
   </td>
   </td>
   <td align="center">
   <td align="left">
<math>~2b + 8b</math>
<math>0 = 36c + 72c + \cancelto{0}{a}(n+1)\mathfrak{F}</math>
   </td>
   </td>
   <td align="center">
   <td align="right">
<math>~- \frac{\mathfrak{F}}{6}</math>
<math>\Rightarrow ~~~ c = 0</math>
  </td>
  <td align="left">
<math>~\Rightarrow ~~~b = - \frac{\mathfrak{F}}{60}</math>
   </td>
   </td>
</tr>
</tr>
<tr>
<tr>
  <td align="left" width="20%">
<math>\xi^{2}:</math>
  </td>
  <td align="left">
<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">
   <td align="right">
<math>~r^{1}:</math>
<math>\Rightarrow ~~~ d = - (n+1)\biggl\{ \frac{12n\alpha +\mathfrak{F}[(4n+14)-(n+1)\mathfrak{F} ]}{10080} \biggr\}</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>
   </td>
</tr>
</tr>
</table>
</td></tr></table>
====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">


<tr>
<tr>
   <td align="right">
   <td align="right">
<math>~r^{2}:</math>
<math>~x</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~12d + 16d - \frac{2b}{3}</math>
<math>~=</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] ~
1 + a\xi + b\xi^2 + c\xi^3 + d\xi^4 + e\xi^5 + f\xi^6\cdots
\Rightarrow~
d = \frac{1}{10080}\biggl[ \mathfrak{F}(\mathfrak{F} -4) - 12\alpha \biggr]
</math>
</math>
   </td>
   </td>
</tr>
</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>
<tr>
   <td align="right">
   <td align="right">
<math>~x(r)</math>
<math>\frac{dx}{d\xi}</math>
   </td>
   </td>
   <td align="center">
   <td align="center">
<math>~=</math>
<math>=</math>
   </td>
   </td>
   <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
a + 2b\xi + 3c\xi^2 + 4d\xi^3 + 5e\xi^4 + 6f\xi^5\cdots
</math>
</math>
   </td>
   </td>
</tr>
</tr>
</table>
 
</td></tr></table>
<tr>
  <td align="right">
<math>~\Rightarrow ~~~ \frac{1}{\xi}\frac{dx}{d\xi}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
\frac{a}{\xi} + 2b + 3 c\xi + 4d\xi^2 + 5e\xi^3 + 6f\xi^4 +\cdots
</math>
  </td>
</tr>
 
<tr>
  <td align="right">
<math>~\frac{d^2x}{d\xi^2}</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
2b + 6c\xi + 12d\xi^2 + 20e\xi^3 + 30f\xi^4 + \cdots
</math>
  </td>
</tr>
</table>
</div>
</div>
Substituting these expressions into the LAWE gives,
<div align="center">
<table border="0" cellpadding="5" align="center">
<tr>
  <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)
+ \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 align="left">
<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] \biggl( 1 + a\xi + b\xi^2 + c\xi^3 + d\xi^4  \biggr)</math>
  </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>
  <td align="right">
<math>~\xi^{-1}:</math>
  </td>
  <td align="center">
<math>~24a</math>
  </td>
  <td align="center">
<math>~0</math>
  </td>
  <td align="left">
<math>~\Rightarrow ~~~a=0</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>~\xi^{0}:</math>
  </td>
  <td align="center">
<math>~(12b + 48b)</math>
  </td>
  <td align="center">
<math>~-(n+1)\mathfrak{F}</math>
  </td>
  <td align="left">
<math>~\Rightarrow ~~~b = - \frac{(n+1)\mathfrak{F}}{60}</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>~\xi^{1}:</math>
  </td>
  <td align="center">
<math>~[36c+72c-2a(n+3)]</math>
  </td>
  <td align="center">
<math>~-a(n+1)\mathfrak{F}</math>
  </td>
  <td align="left">
<math>~\Rightarrow ~~~108c = 2a(n+3)-a(n+1)\mathfrak{F} \Rightarrow~~c=0</math>
  </td>
</tr>
<tr>
  <td align="right">
<math>~\xi^{2}:</math>
  </td>
  <td align="center">
<math>~[72d-2b+96d-4b(n+3)]</math>
  </td>
  <td align="center">
<math>~\biggl[-b(n+1)\mathfrak{F}-\frac{n(n+1)\alpha}{5}\biggr]</math>
  </td>
  <td align="left">
<math>~\Rightarrow ~~~d = - (n+1)\biggl\{ \frac{12n\alpha +\mathfrak{F}[(4n+14)-(n+1)\mathfrak{F} ]}{10080} \biggr\}</math>
  </td>
</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>
</tr>
</table>
</div>
In summary, the desired, approximate power-series expression for the polytropic displacement function is:
<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>
  <td align="right">
<math>~x(\xi)</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<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
</math>
  </td>
</tr>
</table>
</td></tr></table>
</div>
===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">
<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 align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~ 
- \biggl[ \frac{\sigma_c^2}{6\gamma}  - \frac{\alpha}{r} \biggl(\frac{dw }{dr}\biggr)\biggr]  x  \, ,
</math>
  </td>
</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>
  <td align="right">
<math>~w(r)
</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <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>
  </td>
</tr>
</table>
</div>
Hence,
<div align="center">
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~\frac{dw}{dr}</math>
  </td>
  <td align="center">
<math>~\approx</math>
  </td>
  <td align="left">
<math>~\frac{r}{3} - \frac{r^3}{30} + \frac{r^5}{315} \, .</math>
  </td>
</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>
  <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>
  </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]  x \, .
</math>
  </td>
</tr>
</table>
</div>
Let's now adopt a power-series expression for the displacement function of the form,
<div align="center">
<table border="0" cellpadding="5" align="center">
<tr>
  <td align="right">
<math>~x</math>
  </td>
  <td align="center">
<math>~=</math>
  </td>
  <td align="left">
<math>~
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>
  </td>
</tr>
</table>
</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 |