Appendix/Ramblings/PowerSeriesExpressions: Difference between revisions
| (17 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> — expanded about the coordinate center, <math>~\xi = 0</math> — 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> — expanded about the coordinate center, <math>~\xi = 0</math> — 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>~\ | <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 522: | 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 532: | Line 550: | ||
NOTE: 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: 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''. | ||
=== | ====Examples==== | ||
< | <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> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>\theta_{n=0}</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} \, .</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</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> | ||
</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> | </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 605: | 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> | ||
| Line 612: | Line 626: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 619: | 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> | </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"> | |||
<table border="0" | |||
<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> | |||
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"> | ||
<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{ | <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> | </table> | ||
</ | then set <math>b=\xi^2/3</math> and <math>m = -1/2</math> to obtain: | ||
<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 674: | Line 684: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <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> | ||
| Line 688: | Line 701: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\biggl | 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"> | ||
<math>~=</math> | |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\ | 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 713: | Line 733: | ||
</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}{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> | |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~e^{-w} \, . </math> | ||
</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> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<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 | |||
\ | |||
</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> | |||
</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 786: | 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>~=</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 821: | Line 865: | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<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> | ||
| Line 835: | Line 876: | ||
</div> | </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"> | <div align="center"> | ||
<table border=" | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align=" | <td align="right"> | ||
<td align="center"> | <math>~e^{-w}</math> | ||
<td align=" | </td> | ||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<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> | |||
</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>~ | ||
\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 862: | Line 910: | ||
<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 877: | 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 892: | 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> | ||
<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>~ | ||
1 | \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] | ||
-br^2 | |||
</math> | </math> | ||
</td> | </td> | ||
| Line 932: | Line 974: | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~\approx</math> | ||
</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> | ||
</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 -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 971: | Line 1,001: | ||
<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 986: | 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,001: | Line 1,033: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| |||
</td> | </td> | ||
<td align=" | <td align="left"> | ||
<math>~\biggl | <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> | </math> | ||
</td> | </td> | ||
| Line 1,019: | Line 1,050: | ||
</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, | |||
<div align="center"> | |||
<table border="1" cellpadding="5" align="center"> | |||
<div align="center | <tr> | ||
<table border="1 | <td align="center">Term</td> | ||
<tr>< | <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^{-1}:</math> | ||
</math> | </td> | ||
<td align="center"> | |||
<math>~2a</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> | ||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~0 </math> | <math>~r^{0}:</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~=</math> | <math>~6b</math> | ||
</td> | |||
<td align="center"> | |||
<math>~1</math> | |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\ | <math>~\Rightarrow ~~~b = + \frac{1}{6}</math> | ||
\frac{ | |||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 1,073: | Line 1,092: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~r^{1}:</math> | |||
</td> | |||
<td align="center"> | |||
<math>~2^2\cdot 3c</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> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~r^{2}:</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~=</math> | <math>~(2^2\cdot 3d + 2^3d)</math> | ||
</td> | |||
<td align="center"> | |||
<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> | ||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </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"> | <div align="center"> | ||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
| Line 1,112: | Line 1,129: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~- | <math>~e^{-w}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,119: | Line 1,136: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
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> | |||
</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 -br^2+ r^4 \biggl(\frac{b^2}{2} -d \biggr) -e r^5 | |||
\ | +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> | <math>~r^{3}:</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~30e</math> | ||
</td> | |||
<td align="center"> | |||
<math>~0</math> | |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~\Rightarrow ~~~e=0</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 1,162: | 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> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>~r^{5}:</math> | ||
</td> | |||
<td align="center"> | |||
</math> | <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> | ||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 1,205: | Line 1,216: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>~r^{6}:</math> | ||
</td> | |||
\ | <td align="center"> | ||
<math>~(2^3 \cdot 7 h + 2^4 h)</math> | |||
</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <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{2\ | = -\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> | </math> | ||
</td> | </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> | ||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </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=== | |||
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,253: | 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,261: | Line 1,288: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,267: | 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,282: | 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,320: | 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,334: | 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 align="center" width="80%"> | <table border="1" align="center" width="80%" cellpadding="5"><tr><td align="left"> | ||
<tr> | <font color="red"> | ||
This is a derivation check ... | |||
<math>\xi^{-1} | </font> | ||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<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,422: | Line 1,476: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>\frac{dx}{d\xi}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,429: | Line 1,483: | ||
<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>~\frac{ | <math>\Rightarrow ~~~ \frac{2}{\xi} \cdot \frac{dx}{d\xi}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,448: | Line 1,497: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
\frac{2a}{\xi} + 4b + 6c\xi + 8d\xi^2 + 10e\xi^3 + 12f\xi^4\cdots | |||
</math> | </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <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> | ||
in which case, | |||
<table border=" | <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] | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 1,503: | Line 1,535: | ||
<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,518: | 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="left" width="20%"> | |||
<math>\xi^{1}:</math> | |||
</td> | |||
<td align="left"> | |||
<math>0 = 36c + 72c + \cancelto{0}{a}(n+1)\mathfrak{F}</math> | |||
</td> | |||
<td align="right"> | <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> | </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> | </table> | ||
</td></tr></table> | </td></tr></table> | ||
===Displacement | |||
====Displacement Finite at Center==== | |||
<div align="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, | ||
<table border="0" cellpadding="5" align="center"> | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~x</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 1,583: | Line 1,629: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
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> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>\frac{dx}{d\xi}</math> | ||
</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> | |||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\frac{ | <math>~\Rightarrow ~~~ \frac{1}{\xi}\frac{dx}{d\xi}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~=</math> | ||
</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{d^ | <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> | </math> | ||
</td> | </td> | ||
| Line 1,646: | Line 1,678: | ||
</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,653: | Line 1,685: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~\biggl( 6 - \xi^2 + \frac{n}{20} \xi^4 \biggr) \biggl( 2b + 6c\xi + 12d\xi^2 + 20e\xi^3 + 30f\xi^4 \biggr) | ||
+ \biggl[ 12 - (n+3)\xi^2 + \frac{n(n+2)}{10} \xi^4 \biggr] \biggl( \frac{2a}{\xi} + 4b + 6 c\xi + 8d\xi^2 + 10e\xi^3 + 12f\xi^4 \biggr)</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~\approx</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ - | ||
1 + | (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> | |||
</table> | |||
</div> | |||
Expressions for the various coefficients can now be determined by equating terms on the LHS and RHS that have like powers of <math>~\xi</math>. | |||
<div align="center"> | |||
<table border="1" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="center">Term</td> | |||
<td align="center">LHS</td> | |||
<td align="center">RHS</td> | |||
<td align="center">Implication</td> | |||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\ | <math>~\xi^{-1}:</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~=</math> | <math>~24a</math> | ||
</td> | |||
<td align="center"> | |||
<math>~0</math> | |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~\Rightarrow ~~~a=0</math> | ||
\ | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\ | <math>~\xi^{0}:</math> | ||
</td> | |||
<td align="center"> | |||
<math>~(12b + 48b)</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <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> | ||
</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> | |||
</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> | ||
- \frac{\mathfrak{F} | </td> | ||
</tr> | |||
</math> | |||
<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: | |||
<div align="center" id="PolytropicDisplacement"> | |||
<div align="center"> | <table border="1" width="80%" cellpadding="8" align="center"><tr><td align="center"> | ||
<table border="1" cellpadding=" | <table border="0" cellpadding="5" align="center"> | ||
<tr> | |||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~x(\xi)</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~ | <math>~=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\ | <math>~ | ||
1 - \frac{(n+1)\mathfrak{F}}{60} \xi^2- (n+1)\biggl\{ \frac{12 n\alpha +\mathfrak{F}[(4n+14)-(n+1)\mathfrak{F} ]}{10080} \biggr\} \xi^4 + \cdots | |||
</math> | |||
</td> | </td> | ||
</tr> | </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> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~r | <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>~12d + 16d - \frac{2b}{3}</math> | <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> | ||
<td align="center"> | <td align="center"> | ||
and | |||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\ | <math>~x_Y = 1 - \biggl( \frac{1}{\xi e^{-\psi}}\biggr) \frac{d\psi}{d\xi} \, .</math> | ||
\ | |||
d | |||
</math> | |||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
</td></tr></table> | </td></tr></table> | ||
===Maclaurin Spheroid Index Symbols=== | ===Maclaurin Spheroid Index Symbols=== | ||
Latest revision as of 13:54, 14 September 2026
Approximate Power-Series Expressions[edit]
Broadly Used Mathematical Expressions (shown here without proof)[edit]
Binomial[edit]
|
|
|
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[edit]
|
|
|
|
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, — 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[edit]
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[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!), , 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[edit]
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[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,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
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[edit]
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,
|
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,
|
|
|
|
|
|
|
|
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[edit]
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[edit]
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)[edit]
|
|
|
|
|
|
|
|
Taylor Series (Hunter77)[edit]
First (Unsuccessful) Try[edit]
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[edit]
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 | |