Appendix/Ramblings/PowerSeriesExpressions: Difference between revisions
| (16 intermediate revisions by 2 users not shown) | |||
| Line 517: | Line 517: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<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"> | |||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 524: | Line 539: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
1 - \frac{\xi^2}{ | 1 - \frac{\xi^2}{3!} + \biggl(\frac{n}{5!}\biggr) \xi^4 - \frac{n}{7!} \biggl( \frac{8n-5}{3} \biggr) \xi^6 | ||
+ \frac{n}{9!}\biggl[ \frac{(122n^2 -183n + 70)}{9} \biggr] \xi^8 + \cdots | |||
</math> | </math> | ||
</td> | </td> | ||
| Line 536: | Line 552: | ||
====Examples==== | ====Examples==== | ||
When <math>n=0</math>, all of the terms in the power-series expression higher than quadratic go to zero. As a result, we see that | <font color="darkgreen"><b>When <math>n=0</math></b></font>, all of the terms in the power-series expression higher than quadratic go to zero. As a result, we see that | ||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
| Line 551: | Line 567: | ||
</table> | </table> | ||
<hr width="100%" 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> | <math>\theta_{n=1}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<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> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> | ||
1 - \frac{\xi^2}{3!} + \frac{\xi^4}{5!} - \frac{\xi^6}{7!} | |||
+ \frac{\xi^8}{9!} + \cdots | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
</ | which is consistent with the power-series expression for <math>(\sin \xi)/\xi</math>. | ||
<hr width="100%" align="center"> | |||
<font color="darkgreen"><b>When <math>n=5</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>~ | <math>~\theta_{n=5}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 606: | Line 618: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
1 - \frac{\xi^2}{3!} + \biggl(\frac{n}{5!}\biggr) \xi^4 - \frac{n}{7!} \biggl( \frac{8n-5}{3} \biggr) \xi^6 | |||
+ \frac{n}{9!}\biggl[ \frac{(122n^2 -183n + 70)}{9} \biggr] \xi^8 + \cdots | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | |||
<td align="right"> | |||
| |||
<tr> | |||
<td align="right"> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 626: | Line 633: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
1 - \frac{\xi^2}{3!} + \frac{\xi^4}{4!} - \frac{\xi^6}{6!} \biggl( \frac{5^2}{3} \biggr) | |||
+ \frac{\xi^8}{8!}\biggl[ \frac{5^2}{3} \cdot \frac{7^2 }{3} \biggr] + \cdots | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
This should be compared with the [[SSC/Structure/Polytropes/Analytic#Primary_E-Type_Solution_2|known analytic solution]], which is | |||
<table border="0" align="center" cellpadding="5"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>(\Theta_H)_{n=5}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>\biggl[ 1 + \frac{\xi^2}{3} \biggr]^{-1/2} \, .</math> | ||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
From the [[Appendix/Ramblings/PowerSeriesExpressions#Binomial|binomial theorem]], we start with, | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~(1+b)^{m}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 660: | Line 666: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
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> | |||
then set <math>b=\xi^2/3</math> and <math>m = -1/2</math> to obtain: | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>\theta_{n=5}</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 674: | Line 683: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\frac{ | <math>~ | ||
+ | 1+ m\biggl( \frac{\xi^2}{3}\biggr) | ||
+ \frac{1}{2!}\biggl[ m\biggl(m-1 \biggr)\biggr] \biggl( \frac{\xi^2}{3}\biggr)^{2} | |||
+ \frac{1}{3!}\biggl[ m \biggl(m-1 \biggr)\biggl(m-2\biggr) \biggr] \biggl( \frac{\xi^2}{3}\biggr)^{3} | |||
+ \frac{1}{4!}\biggl[ m \biggl(m-1\biggr)\biggl(m-2\biggr)\biggl(m-3\biggr) \biggr] \biggl( \frac{\xi^2}{3}\biggr)^{4} + \dots | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 695: | Line 701: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
1+ \biggl(-\frac{1}{2}\biggr)\biggl( \frac{\xi^2}{3}\biggr) | |||
+ \frac{1}{2!}\biggl[ -\frac{1}{2}\biggl(-\frac{1}{2}-1 \biggr)\biggr] \biggl( \frac{\xi^4}{3^2}\biggr) | |||
+ \frac{1}{3!}\biggl[ -\frac{1}{2} \biggl(-\frac{1}{2}-1 \biggr)\biggl(-\frac{1}{2}-2\biggr) \biggr] \biggl( \frac{\xi^6}{3^3}\biggr) | |||
+ \frac{1}{4!}\biggl[ -\frac{1}{2} \biggl(-\frac{1}{2}-1\biggr)\biggl(-\frac{1}{2}-2\biggr)\biggl(-\frac{1}{2}-3\biggr) \biggr] | |||
\biggl( \frac{\xi^8}{3^4}\biggr) + \dots | |||
</math> | </math> | ||
</td> | </td> | ||
| Line 709: | Line 719: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\biggl | 1 - \biggl( \frac{\xi^2}{2\cdot 3}\biggr) | ||
+ \frac{1}{2!}\biggl[ \frac{3}{4}\biggr] \biggl( \frac{\xi^4}{3^2}\biggr) | |||
+ \frac{1}{3!}\biggl[ -\frac{15}{8} \biggr] \biggl( \frac{\xi^6}{3^3}\biggr) | |||
+ \frac{1}{4!}\biggl[ \biggl(\frac{105}{16}\biggr) \biggr] | |||
\biggl( \frac{\xi^8}{3^4}\biggr) + \dots | |||
</math> | </math> | ||
</td> | </td> | ||
| Line 719: | Line 733: | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~=</math> | |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\ | 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 \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"> | ||
<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>~ | <math>~=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~e^{-\psi} \, .</math> | ||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
</div> | |||
--> | |||
Here we seek a power-series expression for the isothermal, Lane-Emden function — expanded about the coordinate center — that approximately satisfies the [[SSC/Structure/IsothermalSphere#Chandrasekhar|isothermal Lane-Emden equation]]; making the variable substitution (sorry for the unnecessary complication!), <math>~\psi(\xi) \leftrightarrow w(r)</math>, the governing ODE is, | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\frac{d^2w}{dr^2} +\frac{2}{r} \frac{d w}{dr} | |||
</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~e^{-w} \, . </math> | ||
</td> | |||
</math> | |||
</td> | |||
</tr> | </tr> | ||
</table> | |||
</div> | |||
A general power-series should be of the form, | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~w</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<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 | |||
</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"> | ||
<math>~\frac{dw}{dr}</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
a + 2br + 3cr^2 + 4dr^3 + 5er^4 + 6fr^5 + 7gr^6 + 8hr^7 +\cdots \, ; | |||
\ | |||
</math> | </math> | ||
</td> | </td> | ||
| Line 793: | Line 827: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\frac{d^2w}{dr^2}</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~=</math> | |||
</td> | </td> | ||
<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 \, . | ||
</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"> | ||
<math>~\frac{d^2w}{dr^2} +\frac{2}{r} \frac{d w}{dr} </math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~=</math> | ||
</td> | </td> | ||
<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 | |||
+ | + \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 827: | Line 865: | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~\frac{2a}{r} + r^0(6b) + r^1(2^2\cdot 3c) + r^2(2^2\cdot 3d + 2^3d) + r^3(2^2\cdot 5e + 2\cdot 5e) | ||
+ r^4(2\cdot 3\cdot 5 f + 2^2\cdot 3f) + r^5(2\cdot 3\cdot 7 g+ 2\cdot 7g) + r^6(2^3 \cdot 7 h + 2^4 h) + \cdots | |||
+ r^6 | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
</div> | |||
Drawing on the [[#Exponential|above power-series expression for an exponential function]], and adopting the convention that <math>~w_0 = 0</math>, the right-hand-side becomes, | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~e^{-w}</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~=</math> | |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
-cr^3 | 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> | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align=" | <td align="right"> | ||
<td align="center"> | | ||
<td align=" | </td> | ||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~ | |||
\biggl[ 1 -ar + \frac{a^2r^2}{2!} - \frac{a^3r^3}{3!} + \frac{a^4r^4}{4!} - \frac{a^5r^5}{5!} + \frac{a^6r^6}{6!} + \cdots \biggr] | |||
</math> | |||
</td> | |||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| |||
</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] | |||
\times \biggl[1 - dr^4\biggr] \times \biggl[1 - er^5\biggr]\times \biggl[1 - fr^6\biggr] | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 883: | Line 925: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~\approx</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] | |||
\times \biggl[ 1 -cr^3 + \frac{c^2r^6}{2} -br^2 + bcr^5 + \frac{b^2r^4}{2} - \frac{b^3r^6}{6} \biggr] | |||
\times \biggl[1 - dr^4 - er^5 - fr^6\biggr] | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 898: | Line 941: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~\approx</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\ | <math>~\biggl\{ | ||
\biggl[ 1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} + \frac{a^4r^4}{24} - \frac{a^5r^5}{5\cdot 24} + \frac{a^6r^6}{30\cdot 24} \biggr] | |||
- dr^4 \biggl[ 1 -ar + \frac{a^2r^2}{2} \biggr] - er^5 \biggl[ 1 -ar \biggr] - fr^6 | |||
\biggr\} | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 913: | Line 957: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| |||
</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] | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | |||
<td align="right"> | |||
| |||
<tr> | |||
<td align="right"> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 941: | Line 977: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~\biggl[ | ||
1 | 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> | </math> | ||
</td> | </td> | ||
| Line 953: | Line 990: | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
1 -br^2+ | \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( | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | |||
| |||
<td align="right"> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~\approx</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\ | <math>~\biggl[ | ||
1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} + r^4\biggl(\frac{a^4}{24} - d\biggr) + r^5\biggl(ad - e-\frac{a^5}{5\cdot 24}\biggr) | |||
+ r^6 \biggl(\frac{a^6}{30\cdot 24} - \frac{a^2d}{2} + ae - f \biggr) | |||
\biggr] | |||
\times \biggl[ 1 -br^2 -cr^3 + \frac{b^2r^4}{2} + bcr^5 + r^6\biggl(\frac{c^2}{2}- \frac{b^3}{6}\biggr) \biggr] | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 992: | Line 1,018: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~\approx</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) | |||
+ r^6 \biggl(\frac{a^6}{30\cdot 24} - \frac{a^2d}{2} + ae - f \biggr) | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 1,007: | Line 1,033: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\ | <math>~-br^2\biggl[ 1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} + r^4\biggl(\frac{a^4}{24} - d\biggr) \biggr] | ||
-cr^3 \biggl[ 1 -ar + \frac{a^2r^2}{2} - \frac{a^3r^3}{6} \biggr] | |||
+ \frac{b^2r^4}{2}\biggl[ 1 -ar + \frac{a^2r^2}{2} \biggr] | |||
+ bcr^5\biggl[1 -ar \biggr] | |||
+ r^6\biggl(\frac{c^2}{2}- \frac{b^3}{6}\biggr) | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
</div> | |||
<tr> | Expressions for the various coefficients can now be determined by equating terms on the LHS and RHS that have like powers of <math>~r</math>. Beginning with the highest order terms, we initially find, | ||
<div align="center"> | |||
<table border="1" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="center">Term</td> | |||
<td align="center">LHS</td> | |||
<td align="center">RHS</td> | |||
<td align="center">Implication</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | <td align="right"> | ||
<math>~r^{ | <math>~r^{-1}:</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~2a</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~0</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\Rightarrow ~~~ | <math>~\Rightarrow ~~~a=0</math> | ||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | |||
<td align="right"> | |||
<math>~r^{0}:</math> | |||
< | </td> | ||
< | <td align="center"> | ||
< | <math>~6b</math> | ||
<td align=" | |||
<math>~ | |||
</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~1</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\ | <math>~\Rightarrow ~~~b = + \frac{1}{6}</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | |||
<td align="right"> | |||
<math>~r^{1}:</math> | |||
</td> | |||
<td align="center"> | |||
<math>~2^2\cdot 3c</math> | |||
< | |||
< | |||
< | |||
<td align=" | |||
<math>~ | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~-a</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\ | <math>~\Rightarrow ~~~c = -\frac{a}{2^2\cdot 3} =0</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 1,094: | Line 1,107: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~r^{2}:</math> | |||
</td> | |||
<td align="center"> | |||
<math>~(2^2\cdot 3d + 2^3d)</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~\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> | ||
\ | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
</div> | </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"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~e^{-w}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~\approx</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
1 - | 1 -d r^4 -e r^5 -f r^6 | ||
-br^2 ( 1 -d r^4 ) + \frac{b^2r^4}{2} - \frac{b^3r^6}{6} | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | |||
<td align="right"> | |||
| |||
<tr> | |||
<td align="right"> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~=</math> | ||
</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 | |||
\, .</math> | +r^6\biggl( bd - \frac{b^3}{6} -f \biggr) \, . | ||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
</div> | </div> | ||
Continuing, then, with equating terms with like powers on both sides of the equation, we find, | |||
<div align="center"> | <div align="center"> | ||
<table border=" | <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>~ | <math>~r^{3}:</math> | ||
</td> | |||
<td align="center"> | |||
<math>~30e</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~0</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~\Rightarrow ~~~e=0</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 1,167: | Line 1,186: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>~r^{4}:</math> | ||
</td> | |||
<td align="center"> | |||
<math>~(2\cdot 3\cdot 5 f + 2^2\cdot 3f)</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<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> | ||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 1,183: | Line 1,201: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>~r^{5}:</math> | ||
</td> | |||
<td align="center"> | |||
<math>~(2\cdot 3\cdot 7 g+ 2\cdot 7g)</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~-e</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~\Rightarrow ~~~g = 0</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>~r^{6}:</math> | ||
</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 ~~~ | ||
- | 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{ | = -\frac{61}{2^{6} \cdot 3^6\cdot 5\cdot 7} | ||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
</div> | |||
Result: | |||
<div align="center" id="IsothermalLaneEmden"> | |||
<table border="1" width="80%" cellpadding="8" align="center"> | |||
<tr><th align="center">For Spherically Symmetric Configurations</th></tr> | |||
<tr><td align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>~w(r) | ||
</math> | |||
</td> | |||
</math> | |||
</td> | |||
<td align="center"> | <td align="center"> | ||
<math>=</math> | <math>~=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>~\frac{r^2}{6} - \frac{r^4}{120} + \frac{r^6}{1890} - \frac{61 r^8}{1,632,960} + \cdots \, .</math> | ||
\frac{ | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
</td></tr></table> | |||
</div> | |||
See also: | |||
* Equation (377) from §22 in Chapter IV of [[Appendix/References#C67|C67]]. | |||
NOTE: 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=== | |||
<math> | |||
The [[SSC/Stability/Polytropes#Adiabatic_.28Polytropic.29_Wave_Equation|LAWE for polytropic spheres]] may be written as, | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <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} + | ||
\frac{(n+1)}{\theta}\biggl[\frac{\sigma_c^2}{6\gamma } - | |||
</math> | \frac{\alpha}{\xi} \biggl(- \frac{d\theta}{d\xi}\biggr)\biggr] x </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 1,282: | Line 1,288: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,288: | Line 1,294: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~\theta \frac{d^2x}{d\xi^2} + \biggl[4\theta - (n+1)\xi \biggl(- \frac{d\theta}{d\xi}\biggr)\biggr] \frac{1}{\xi}\frac{dx}{d\xi} + | ||
\frac{(n+1)}{6} \biggl[\frac{\sigma_c^2}{\gamma } - | |||
</math> | \frac{6\alpha}{\xi} \biggl(- \frac{d\theta}{d\xi}\biggr)\biggr] x \, ,</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
</div> | |||
where, <math>~\theta(\xi)</math> is the polytropic Lane-Emden function describing the configuration's unperturbed radial density distribution, and <math>~\gamma</math>, <math>~\sigma_c^2</math>, and <math>~\alpha \equiv (3-4/\gamma)</math> are constants. Here we seek a power-series expression for the displacement function, <math>~x(r)</math>, expanded about the center of the configuration, that approximately satisfies this LAWE. | |||
First we note that, near the center, an accurate [[#PolytropicLaneEmden|power-series expression for the polytropic Lane-Emden function]] is, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>~\theta</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,303: | Line 1,315: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\frac{ | 1 - \frac{\xi^2}{6} + \frac{n}{120} \xi^4 - \frac{n}{378} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^6 + \cdots | ||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
Hence, | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\frac{d | <math>~-\frac{d\theta}{d\xi}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~\approx</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\frac{1}{3} \biggl[ \xi - \frac{n}{10} \xi^3 + \frac{n}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^5 \biggr] | |||
</math> | \, .</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
</div> | |||
Therefore, near the center of the configuration, the LAWE may be written as, | |||
<div align="center"> | |||
<table border="0" | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>~6~\theta \frac{d^2x}{d\xi^2} + \biggl\{ 12~\theta | ||
- (n+1)\xi \biggl[ \xi - \frac{n}{10} \xi^3 + \frac{n}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^5 \biggr] \biggr\} \frac{2}{\xi}\frac{dx}{d\xi}</math> | |||
</td> | |||
<td align="center"> | |||
<math>~\approx</math> | |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>~ - | ||
\biggl[ | (n+1) \biggl\{ \frac{\sigma_c^2}{\gamma } - | ||
</math> | \frac{2\alpha}{\xi} \biggl[ \xi - \frac{n}{10} \xi^3 + \frac{n}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^5 \biggr] \biggr\} x </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 1,341: | Line 1,361: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>\Rightarrow~~~ ~6\biggl[ 1 - \frac{\xi^2}{6} + \frac{n}{120} \xi^4 \biggr] \frac{d^2x}{d\xi^2} | |||
+ \biggl\{ 12 \biggl[ 1 - \frac{\xi^2}{6} + \frac{n}{120} \xi^4 \biggr] | |||
- (n+1)\biggl[ \xi^2 - \frac{n}{10} \xi^4 \biggr] \biggr\} \frac{2}{\xi}\frac{dx}{d\xi}</math> | |||
</td> | |||
<td align="center"> | |||
<math>~\approx</math> | |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>~ - | ||
+ | (n+1) \biggl\{ \mathfrak{F} | ||
\frac{n | + 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> | ||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 1,355: | Line 1,377: | ||
<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} | |||
+ \biggl[ 12 - (n+3)\xi^2 + \frac{n(n+2)}{10} \xi^4 \biggr] \frac{2}{\xi}\frac{dx}{d\xi}</math> | |||
</td> | |||
<td align="center"> | |||
<math>~\approx</math> | |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <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> | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
</div> | |||
where, <math>\mathfrak{F} \equiv (\sigma_c^2/\gamma - 2\alpha)</math> and, for present purposes, we have kept terms in the series no higher than <math>~\xi^4</math>. | |||
<table border="1" align="center" width="80%" cellpadding="5"><tr><td align="left"> | |||
<font color="red"> | |||
This is a derivation check ... | |||
</font> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align=" | <td align="right"> | ||
<math>\xi^{-1} | <math> | ||
\biggl[ 6\theta \biggr] \frac{d^2x}{d\xi^2} + \biggl\{ 24 \biggl[ \theta \biggr] | |||
- 6(n+1)\xi \biggl[- \frac{d\theta}{d\xi}\biggr] \biggr\} \frac{1}{\xi}\frac{dx}{d\xi} | |||
</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
< | <math> | ||
-(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> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<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"> | |||
<math>=</math> | |||
<td align=" | |||
<math> | |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<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> | ||
<tr> | <tr> | ||
<td align=" | <td align="right"> | ||
<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> | </math> | ||
</td> | </td> | ||
<td align=" | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | |||
<td align="left"> | |||
<math> | |||
-(n+1) \biggl\{ \mathfrak{F} + \frac{n\alpha}{5} \xi^2 - \frac{2n\alpha }{21} \biggl( \frac{8n-5}{40} \biggr) \xi^4 \biggr\} x | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
< | Try <math>\cdots</math> | ||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
| Line 1,446: | Line 1,479: | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>=</math> | <math>~=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
| Line 1,457: | Line 1,490: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>\Rightarrow ~~~ \frac{2}{\xi} \cdot \frac{dx}{d\xi}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,464: | Line 1,497: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\frac{ | \frac{2a}{\xi} + 4b + 6c\xi + 8d\xi^2 + 10e\xi^3 + 12f\xi^4\cdots | ||
</math> | </math> | ||
</td> | </td> | ||
| Line 1,483: | Line 1,516: | ||
</tr> | </tr> | ||
</table> | </table> | ||
in which case, | |||
<table border="0" | |||
<table border="0" align="center" cellpadding="5"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>0</math> | ||
</td> | </td> | ||
<td align="center"><math>\approx</math></td> | |||
<td align="left"> | <td align="left"> | ||
<math> | <math> | ||
\biggl[ 6 - \xi^2 + \frac{n}{20} \xi^4 - \frac{n}{63} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^6 \biggr] \biggl[2b + 6c\xi + 12d\xi^2 + 20e\xi^3 + 30f\xi^4\biggr] | |||
+ \frac{n | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> </td> | |||
<td align="left"> | <td align="left"> | ||
<math>~\ | <math> | ||
+~ \biggl\{ 12 - (n+3)\xi^2 + \biggl[\frac{n(n+2)}{10}\biggr] \xi^4 - \biggl[ | |||
\frac{n(n+19)}{7\cdot 27} \biggr] \biggl( \frac{8n-5}{40} \biggr)\xi^6 \biggr\} | |||
\biggl[ \frac{2a}{\xi} + 4b + 6c\xi + 8d\xi^2 + 10e\xi^3 + 12f\xi^4 \biggr] | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 1,533: | Line 1,549: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> </td> | |||
<td align="left"> | <td align="left"> | ||
<math>~ | <math> | ||
+~(n+1) \biggl\{ \mathfrak{F} + \frac{n\alpha}{5} \xi^2 - \frac{2n\alpha }{21} \biggl( \frac{8n-5}{40} \biggr) \xi^4 \biggr\} | |||
\biggl[ 1 + a\xi + b\xi^2 + c\xi^3 + d\xi^4 + e\xi^5 + f\xi^6 \biggr] | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
<table align="center" width="80%"> | |||
<tr> | <tr> | ||
<td align="left" width="20%"> | |||
<math>\xi^{-1}:</math> | |||
</td> | |||
<td align="left"> | |||
<math>0 = 24a</math> | |||
</td> | |||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>\Rightarrow ~~~ a = 0</math> | ||
</td> | </td> | ||
<td align=" | </tr> | ||
<math> | <tr> | ||
<td align="left" width="20%"> | |||
<math>\xi^{0}:</math> | |||
</td> | </td> | ||
<td align=" | <td align="left"> | ||
<math> | <math>0 = 12b + 48b + (n+1)\mathfrak{F}</math> | ||
</td> | </td> | ||
<td align=" | <td align="right"> | ||
<math> | <math>\Rightarrow ~~~ b = - \frac{(n+1)\mathfrak{F}}{60}</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align=" | <td align="left" width="20%"> | ||
<math> | <math>\xi^{1}:</math> | ||
</td> | |||
<td align="left"> | |||
<math>0 = 36c + 72c + \cancelto{0}{a}(n+1)\mathfrak{F}</math> | |||
</td> | </td> | ||
<td align=" | <td align="right"> | ||
<math>~ | <math>\Rightarrow ~~~ c = 0</math> | ||
</td> | </td> | ||
<td align=" | </tr> | ||
<math> | <tr> | ||
<td align="left" width="20%"> | |||
<math>\xi^{2}:</math> | |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> | ||
0 = 72d - 2b + 96d - 4b(n+3) + b(n+1)\mathfrak{F} + \frac{n(n+1)\alpha}{5} | |||
= | |||
168d + b[-14 - 4n + (n+1)\mathfrak{F}] + \frac{n(n+1)\alpha}{5} | |||
</math> | |||
</td> | |||
<td align="right"> | |||
<math>\Rightarrow ~~~ d = - (n+1)\biggl\{ \frac{12n\alpha +\mathfrak{F}[(4n+14)-(n+1)\mathfrak{F} ]}{10080} \biggr\}</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
< | </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"> | |||
<div | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~x | <math>~x</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,598: | Line 1,630: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
1 | 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> | ||
<tr> | |||
<td align="right"> | |||
<math>\frac{dx}{d\xi}</math> | |||
<tr> | |||
<td align="right"> | |||
<math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
a + 2b\xi + 3c\xi^2 + 4d\xi^3 + 5e\xi^4 + 6f\xi^5\cdots | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~\Rightarrow ~~~ \frac{1}{\xi}\frac{dx}{d\xi}</math> | ||
</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,641: | Line 1,657: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\frac{ | <math>~ | ||
\frac{a}{\xi} + 2b + 3 c\xi + 4d\xi^2 + 5e\xi^3 + 6f\xi^4 +\cdots | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\frac{ | <math>~\frac{d^2x}{d\xi^2}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\ | <math>~ | ||
2b + 6c\xi + 12d\xi^2 + 20e\xi^3 + 30f\xi^4 + \cdots | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
</div> | </div> | ||
Substituting these expressions into the LAWE gives, | |||
<div align="center"> | <div align="center"> | ||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
| Line 1,669: | Line 1,685: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\frac{ | <math>~\biggl( 6 - \xi^2 + \frac{n}{20} \xi^4 \biggr) \biggl( 2b + 6c\xi + 12d\xi^2 + 20e\xi^3 + 30f\xi^4 \biggr) | ||
+ \biggl[ 12 - (n+3)\xi^2 + \frac{n(n+2)}{10} \xi^4 \biggr] \biggl( \frac{2a}{\xi} + 4b + 6 c\xi + 8d\xi^2 + 10e\xi^3 + 12f\xi^4 \biggr)</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,675: | Line 1,692: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ - | ||
(n+1) \biggl[ \mathfrak{F} | |||
</math> | + \frac{n\alpha}{5} \xi^2 - \frac{2n\alpha}{21} \biggl( \frac{n}{5} - \frac{1}{8} \biggr) \xi^4 \biggr] \biggl( 1 + a\xi + b\xi^2 + c\xi^3 + d\xi^4 \biggr)</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 1,683: | Line 1,700: | ||
</div> | </div> | ||
Expressions for the various coefficients can now be determined by equating terms on the LHS and RHS that have like powers of <math>~\xi</math>. | |||
<div align="center"> | <div align="center"> | ||
<table border=" | <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>~ | <math>~\xi^{-1}:</math> | ||
</td> | |||
<td align="center"> | |||
<math>~24a</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~0</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~\Rightarrow ~~~a=0</math> | ||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 1,703: | Line 1,727: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\ | <math>~\xi^{0}:</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~=</math> | <math>~(12b + 48b)</math> | ||
</td> | |||
<td align="center"> | |||
<math>~-(n+1)\mathfrak{F}</math> | |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~\Rightarrow ~~~b = - \frac{(n+1)\mathfrak{F}}{60}</math> | ||
\frac{ | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\ | <math>~\xi^{1}:</math> | ||
</td> | |||
<td align="center"> | |||
<math>~[36c+72c-2a(n+3)]</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~-a(n+1)\mathfrak{F}</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~\Rightarrow ~~~108c = 2a(n+3)-a(n+1)\mathfrak{F} \Rightarrow~~c=0</math> | ||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | |||
<tr> | |||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~\xi^{2}:</math> | ||
</td> | |||
<td align="center"> | |||
<math>~[72d-2b+96d-4b(n+3)]</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~\ | <math>~\biggl[-b(n+1)\mathfrak{F}-\frac{n(n+1)\alpha}{5}\biggr]</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~\Rightarrow ~~~d = - (n+1)\biggl\{ \frac{12n\alpha +\mathfrak{F}[(4n+14)-(n+1)\mathfrak{F} ]}{10080} \biggr\}</math> | ||
- | </td> | ||
</math> | </tr> | ||
<tr> | |||
<td colspan="4"> | |||
<font color="red">NOTE:</font> On 9/10/2026, we realized that the first term in the numerator of the expression for the coefficient, <math>d</math>, should be <font color="red"><math>12n\alpha</math></font> instead of just <math>n\alpha</math>. | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
</div> | </div> | ||
< | In summary, the desired, approximate power-series expression for the polytropic displacement function is: | ||
<table border="0" cellpadding="5" align="center"> | <div align="center" id="PolytropicDisplacement"> | ||
<table border="1" width="80%" cellpadding="8" align="center"><tr><td align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~x(\xi)</math> | ||
</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
- \frac{\mathfrak{F} }{ | 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> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
</td></tr></table> | |||
</div> | </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"> | <div align="center"> | ||
<table border="0" cellpadding="5" align="center"> | |||
<table border=" | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~\frac{d^2 x}{dr^2} + \biggl[4 - r \biggl(\frac{dw }{dr}\biggr) \biggr] \frac{1}{r}\frac{dx}{dr}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <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 \, , | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
</div> | |||
where, <math>~w(r)</math> is the isothermal Lane-Emden function describing the configuration's unperturbed radial density distribution, and <math>~\gamma</math>, <math>~\sigma_c^2</math>, and <math>~\alpha \equiv (3-4/\gamma)</math> are constants. Here we seek a power-series expression for the displacement function, <math>~x(r)</math>, expanded about the center of the configuration, that approximately satisfies this LAWE. | |||
First we note that, near the center, an accurate [[#Isothermal_Lane-Emden_Function|power-series expression for the isothermal Lane-Emden function]] is, | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~r | <math>~w(r) | ||
</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\ | <math>~\frac{r^2}{6} - \frac{r^4}{120} + \frac{r^6}{1890} - \frac{61 r^8}{1,632,960} + \cdots \, .</math> | ||
</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>~ | <math>~\frac{dw}{dr}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~\approx</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\ | <math>~\frac{r}{3} - \frac{r^3}{30} + \frac{r^5}{315} \, .</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | |||
</div> | |||
Therefore, near the center of the configuration, the LAWE may be written as, | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~r^{ | <math>~\frac{d^2 x}{dr^2} + \biggl[4 - \biggl(\frac{r^2}{3} - \frac{r^4}{30} + \frac{r^6}{315}\biggr) \biggr] \frac{1}{r}\frac{dx}{dr}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~\approx</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 \, . | |||
</math> | </math> | ||
</td> | </td> | ||
| Line 1,860: | Line 1,877: | ||
</div> | </div> | ||
Let's now adopt a power-series expression for the displacement function of the form, | |||
<div | <div align="center"> | ||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~x | <math>~x</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,874: | Line 1,890: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
1 | 1 + ar + br^2 + cr^3 + dr^4 + \cdots | ||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
<math>~\Rightarrow ~~~ \frac{1}{r}\frac{dx}{dr}</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~ | |||
\frac{a}{r} + 2b + 3 cr + 4dr^2 + \cdots | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
</div> | </div> | ||
and, | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>~\frac{d^2x}{dr^2}</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~ | |||
2b + 6cr + 12dr^2 + \cdots | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
</div> | |||
Substituting these expressions into the LAWE gives, | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>~2b + 6cr + 12dr^2 + \biggl[4 - \biggl(\frac{r^2}{3} - \frac{r^4}{30} + \frac{r^6}{315}\biggr) \biggr] \biggl[ \frac{a}{r} + 2b + 3 cr + 4dr^2 \biggr] </math> | |||
</td> | |||
<td align="center"> | |||
<math>~\approx</math> | |||
</td> | |||
<td align="left"> | |||
<math>~ | |||
- \frac{1}{6} \biggl[ \frac{\sigma_c^2}{\gamma} - 2\alpha \biggl(1 - \frac{r^2}{10} + \frac{r^4}{105}\biggr) \biggr] \biggl( 1 + ar + br^2 + cr^3 + dr^4 \biggr) \, . | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
</div> | |||
Keeping terms only up through <math>~r^2</math> leads to the following simplification: | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>~ | |||
2b + 6cr + 12dr^2 | |||
+ 4 \biggl[ \frac{a}{r} + 2b + 3 cr + 4dr^2 \biggr] | |||
- \frac{r^2}{3} \biggl[ \frac{a}{r} + 2b \biggr] | |||
</math> | |||
</td> | |||
<td align="center"> | |||
<math>~\approx</math> | |||
</td> | |||
<td align="left"> | |||
<math>~ | |||
- \frac{\mathfrak{F} }{6} \biggl( 1 + ar + br^2 \biggr) | |||
- \frac{\alpha}{3} \biggl(\frac{r^2}{10} \biggr) | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
</div> | |||
where, | |||
<div align="center"> | |||
<math>~\mathfrak{F} \equiv \frac{\sigma_c^2}{\gamma} - 2\alpha \, .</math> | |||
</div> | |||
Finally, balancing terms of like powers on both sides of the equation leads us to conclude the following: | |||
<div align="center"> | |||
<table border="1" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="center">Term</td> | |||
<td align="center">LHS</td> | |||
<td align="center">RHS</td> | |||
<td align="center">Implication</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
<math>~r^{-1}:</math> | |||
</td> | |||
<td align="center"> | |||
<math>~4a</math> | |||
</td> | |||
<td align="center"> | |||
<math>~0</math> | |||
</td> | |||
<td align="left"> | |||
<math>~\Rightarrow ~~~a = 0 </math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
<math>~r^{0}:</math> | |||
</td> | |||
<td align="center"> | |||
<math>~2b + 8b</math> | |||
</td> | |||
<td align="center"> | |||
<math>~- \frac{\mathfrak{F}}{6}</math> | |||
</td> | |||
<td align="left"> | |||
<math>~\Rightarrow ~~~b = - \frac{\mathfrak{F}}{60}</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
<math>~r^{1}:</math> | |||
</td> | |||
<td align="center"> | |||
<math>~6c + 12c - \frac{a}{3}</math> | |||
</td> | |||
<td align="center"> | |||
<math>~-\frac{a\mathfrak{F}}{6}</math> | |||
</td> | |||
<td align="left"> | |||
<math>~\Rightarrow ~~~c=0</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
<math>~r^{2}:</math> | |||
</td> | |||
<td align="center"> | |||
<math>~12d + 16d - \frac{2b}{3}</math> | |||
</td> | |||
<td align="center"> | |||
<math>~-\frac{\mathfrak{F}b}{6} - \frac{\alpha}{30}</math> | |||
</td> | |||
<td align="left"> | |||
<math>~\Rightarrow ~~~ | |||
28d = \frac{1}{30}\biggl[ 5b (4- \mathfrak{F} ) - \alpha \biggr] ~ | |||
\Rightarrow~ | |||
d = \frac{1}{10080}\biggl[ \mathfrak{F}(\mathfrak{F} -4) - 12\alpha \biggr] | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
</div> | |||
In summary, the desired, approximate power-series expression for the isothermal displacement function is: | |||
<div align="center" id="IsothermalDisplacement"> | |||
<table border="1" width="80%" cellpadding="8" align="center"><tr><td align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>~x(r)</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~ | |||
1 - \frac{\mathfrak{F}}{60} r^2 + \frac{1}{10080}\biggl[ \mathfrak{F}(\mathfrak{F} -4) - 12\alpha \biggr] r^4 + \cdots | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
</td></tr></table> | |||
</div> | |||
<table border="1" align="center" width="80%" cellpadding="5"><tr><td align="left"> | |||
<font color="red"> | |||
This is a derivation check ... | |||
</font> | |||
As was [[SSC/Stability/InstabilityOnsetOverview#Yabushita's_Insight_Regarding_Stability|discovered by Yabushita]], the analytically prescribed isothermal displacement function is, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>~\sigma_c^2 = 0</math> | |||
</td> | |||
<td align="center"> | |||
and | |||
</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"> </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=== | ||
Revision as of 14:57, 14 September 2026
Approximate Power-Series Expressions
Broadly Used Mathematical Expressions (shown here without proof)
Binomial
|
|
|
for |
|
LaTeX mathematical expressions cut-and-pasted directly from
|
|||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
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,
where, for nonnegative integer values of and and , the notation,
Our Example: Setting gives,
|
Note, for example, that,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
See also:
Exponential
|
|
|
|
Expressions with Astrophysical Relevance
Polytropic Lane-Emden Function
Power-Series Derivation
We seek a power-series expression for the polytropic, Lane-Emden function, — expanded about the coordinate center, — that approximately satisfies the Lane-Emden equation,
A general power-series should be of the form,
|
|
|
|
First derivative:
|
|
|
|
Left-hand-side of Lane-Emden equation:
|
|
|
|
Right-hand-side of Lane-Emden equation (adopt the normalization, , then use the binomial theorem recursively):
|
|
|
|
where,
|
|
|
|
|
|
|
|
First approximation: Assume that , in which case the LHS contains terms only up through . This means that we must ignore all terms on the RHS that are of higher order than ; that is,
|
|
|
|
|
|
|
|
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
By including higher and higher order terms in the series expansion for , and proceeding along the same line of deductive reasoning, one finds:
- Expressions for the four coefficients, , remain unchanged.
- The coefficient is zero for all other terms that contain odd powers of ; specifically, for example, .
- The coefficients of and are, respectively,
|
|
|
|
|
|
|
|
In summary, the desired, approximate power-series expression for the polytropic Lane-Emden function is:
| For Spherically Symmetric Configurations | ||||||
|---|---|---|---|---|---|---|
|
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
When , all of the terms in the power-series expression higher than quadratic go to zero. As a result, we see that
|
|
|
|
When , the first few terms in the power-series expression are,
|
|
|
|
|
|
|
|
which is consistent with the power-series expression for .
When , the first few terms in the power-series expression are,
|
|
|
|
|
|
|
|
This should be compared with the known analytic solution, which is
|
|
|
|
From the binomial theorem, we start with,
|
|
|
|
then set and to obtain:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
QED
Isothermal Lane-Emden Function
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!), , the governing ODE is,
|
|
|
|
A general power-series should be of the form,
|
|
|
|
Derivatives:
|
|
|
|
|
|
|
|
Put together, then, the left-hand-side of the isothermal Lane-Emden equation becomes:
|
|
|
|
|
|
|
|
Drawing on the above power-series expression for an exponential function, and adopting the convention that , the right-hand-side becomes,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Expressions for the various coefficients can now be determined by equating terms on the LHS and RHS that have like powers of . Beginning with the highest order terms, we initially find,
| Term | LHS | RHS | Implication |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
With this initial set of coefficient values in hand, we can rewrite (and significantly simplify) our approximate expression for the RHS, namely,
|
|
|
|
|
|
|
|
Continuing, then, with equating terms with like powers on both sides of the equation, we find,
| Term | LHS | RHS | Implication |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Result:
| For Spherically Symmetric Configurations | |||
|---|---|---|---|
|
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, , 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
The LAWE for polytropic spheres may be written as,
|
|
|
|
|
|
|
|
where, is the polytropic Lane-Emden function describing the configuration's unperturbed radial density distribution, and , , and are constants. Here we seek a power-series expression for the displacement function, , 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,
|
|
|
|
Hence,
|
|
|
|
Therefore, near the center of the configuration, the LAWE may be written as,
|
|
|
|
|
|
|
|
|
|
|
|
where, and, for present purposes, we have kept terms in the series no higher than .
|
This is a derivation check ...
Try
in which case,
|
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,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Substituting these expressions into the LAWE gives,
|
|
|
|
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 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
NOTE: On 9/10/2026, we realized that the first term in the numerator of the expression for the coefficient, , should be instead of just . |
|||
In summary, the desired, approximate power-series expression for the polytropic displacement function is:
|
Displacement Function for Isothermal LAWE
The LAWE for isothermal spheres may be written as,
|
|
|
|
where, is the isothermal Lane-Emden function describing the configuration's unperturbed radial density distribution, and , , and are constants. Here we seek a power-series expression for the displacement function, , 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,
|
|
|
|
Hence,
|
|
|
|
Therefore, near the center of the configuration, the LAWE may be written as,
|
|
|
|
Let's now adopt a power-series expression for the displacement function of the form,
|
|
|
|
|
|
|
|
and,
|
|
|
|
Substituting these expressions into the LAWE gives,
|
|
|
|
Keeping terms only up through leads to the following simplification:
|
|
|
|
where,
Finally, balancing terms of like powers on both sides of the equation leads us to conclude the following:
| Term | LHS | RHS | Implication |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
In summary, the desired, approximate power-series expression for the isothermal displacement function is:
|
|
This is a derivation check ... As was discovered by Yabushita, the analytically prescribed isothermal displacement function is,
and that,
and that the exponential function gives,
|
Maclaurin Spheroid Index Symbols
In our accompanying discussion of the equilibrium properties of models along the Maclaurin spheroid sequence, we find the "Index Symbols" expressions,
|
|
|
|
|
|
|
|
where,
|
|
|
(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 , and (b) in the case of an infinitesimally thin disk .
Nearly Spherical Configurations
On p. 457 of [CRC], we find that,
|
|
|
for, |
Also, from the above binomial-theorem expression, we have,
|
|
|
for |
|
|
|
|
So we can write,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Hence,
|
|
|
|
|
|
|
|
|
|
|
|
And,
|
|
|
|
|
|
|
|
|
|
|
|
This looks okay, in the sense that .
Infinitesimally Thin Axisymmetric Disk
As — that is, in the case of an infinitesimally thin, axisymmetric disk — the preferred small parameter is,
|
|
|
|
Recognizing as well that,
|
|
|
|
|
|
|
|
the expressions for the pair of relevant index symbols may be rewritten as,
|
|
|
|
|
|
|
|
Pulling again from p. 457 of [CRC], we find that,
|
|
|
for, |
|
LAGNIAPPE:
According to the above binomial-theorem expression, we find for ,
Hence,
(continue expression simplification)
|
Referring again to the above binomial-theorem expression, we find for ,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
We therefore can write,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Once again from the binomial theorem,
|
|
|
|
which gives us,
|
|
|
|
|
|
|
|
|
|
|
|
And,
|
|
|
|
|
|
|
|
|
|
|
|
Notice that, to the highest order retained in these expressions, we find as expected that, .
Frequency (temporary)
|
|
|
|
|
|
|
|
Taylor Series (Hunter77)
First (Unsuccessful) Try
First:
|
|
|
|
|
|
|
|
|
|
|
|
Note that, replacing the term with the expression derived in the Second step, below, gives,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Then, replacing the term with the expression derived in the Third step, below, gives,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Second:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Now, replacing the term with the expression derived in the Third step, below, gives,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Third:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
And, finally:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Result:
|
Definitely WRONG! |
|||
|---|---|---|---|
|
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 , namely,
|
Somewhat Improved |
|||
|---|---|---|---|
|
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
We will work from the following foundation expression in which is the variable that we desire to evaluate, and the "known" quantities are: , , , , and .
|
|
|
|
Let's use similar Taylor-series expansions for , , etc. in order to eliminate the term, the term, etc.
|
|
|
|
|
|
|
|
|
|
|
|
First:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This expression works very well for a parabola.
Second:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This also allows us to improve the expression for the term, as initially derived in the "First" subsection, above. Namely,
|
|
|
|
|
|
|
|
|
|
|
|
Hence, an improved expression for is,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Third:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Hence,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
And,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Finally, then:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Appendices: | VisTrailsEquations | VisTrailsVariables | References | Ramblings | VisTrailsImages | myphys.lsu | ADS | |