Appendix/Ramblings/PowerSeriesExpressions: Difference between revisions
| (23 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 531: | Line 549: | ||
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"> | |||
<tr> | |||
<td align="right"> | |||
<math>\theta_{n=0}</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math>1 - \frac{\xi^2}{6} \, .</math> | |||
</td> | |||
</tr> | |||
</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"> | |||
<tr> | |||
<td align="right"> | |||
<math>\theta_{n=1}</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
1 - \frac{\xi^2}{6} + \frac{\xi^4}{120} - \frac{\xi^6}{5040} | |||
+ \frac{\xi^8}{362880} + \cdots | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
1 - \frac{\xi^2}{3!} + \frac{\xi^4}{5!} - \frac{\xi^6}{7!} | |||
+ \frac{\xi^8}{9!} + \cdots | |||
</math> | |||
</td> | |||
</tr> | |||
</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"> | |||
<tr> | |||
<td align="right"> | |||
<math>~\theta_{n=5}</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<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> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<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> | |||
</td> | |||
</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> | |||
<td align="right"> | |||
<math>(\Theta_H)_{n=5}</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math>\biggl[ 1 + \frac{\xi^2}{3} \biggr]^{-1/2} \, .</math> | |||
</td> | |||
</tr> | |||
</table> | |||
From the [[Appendix/Ramblings/PowerSeriesExpressions#Binomial|binomial theorem]], we start with, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>~(1+b)^{m}</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<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> | |||
</td> | |||
</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> | |||
<td align="right"> | |||
<math>\theta_{n=5}</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<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> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<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> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<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> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<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> | |||
</td> | |||
</tr> | |||
</table> | |||
<b>QED</b> | |||
===Isothermal Lane-Emden Function=== | ===Isothermal Lane-Emden Function=== | ||
| Line 1,226: | Line 1,441: | ||
<td align="right"> | <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 | \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} | ||
\biggr] \frac{d^2x}{d\xi^2} + \biggl\{ | + \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> | ||
| Line 1,237: | Line 1,451: | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> | ||
-(n+1) \biggl\{ \frac{\ | -(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 | ||
\frac{2\ | </math> | ||
</td> | |||
</tr> | |||
</table> | |||
Try <math>\cdots</math> | |||
<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 + a\xi + b\xi^2 + c\xi^3 + d\xi^4 + e\xi^5 + f\xi^6\cdots | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
<math>\frac{dx}{d\xi}</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~ | |||
a + 2b\xi + 3c\xi^2 + 4d\xi^3 + 5e\xi^4 + 6f\xi^5\cdots | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
<math>\Rightarrow ~~~ \frac{2}{\xi} \cdot \frac{dx}{d\xi}</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~ | |||
\frac{2a}{\xi} + 4b + 6c\xi + 8d\xi^2 + 10e\xi^3 + 12f\xi^4\cdots | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
<math>~\frac{d^2x}{d\xi^2}</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~ | |||
2b + 6c\xi + 12d\xi^2 + 20e\xi^3 + 30f\xi^4 + \cdots | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
in which case, | |||
<table border="0" align="center" cellpadding="5"> | |||
<tr> | |||
<td align="right"> | |||
<math>0</math> | |||
</td> | |||
<td align="center"><math>\approx</math></td> | |||
<td align="left"> | |||
<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> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> </td> | |||
<td align="left"> | |||
<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> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> </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\} | |||
\biggl[ 1 + a\xi + b\xi^2 + c\xi^3 + d\xi^4 + e\xi^5 + f\xi^6 \biggr] | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
<table align="center" width="80%"> | |||
<tr> | |||
<td align="left" width="20%"> | |||
<math>\xi^{-1}:</math> | |||
</td> | |||
<td align="left"> | |||
<math>0 = 24a</math> | |||
</td> | |||
<td align="right"> | |||
<math>\Rightarrow ~~~ a = 0</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="left" width="20%"> | |||
<math>\xi^{0}:</math> | |||
</td> | |||
<td align="left"> | |||
<math>0 = 12b + 48b + (n+1)\mathfrak{F}</math> | |||
</td> | |||
<td align="right"> | |||
<math>\Rightarrow ~~~ b = - \frac{(n+1)\mathfrak{F}}{60}</math> | |||
</td> | |||
</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"> | |||
<math>\Rightarrow ~~~ c = 0</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="left" width="20%"> | |||
<math>\xi^{2}:</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
0 = 72d - 2b + 96d - 4b(n+3) + b(n+1)\mathfrak{F} + \frac{n(n+1)\alpha}{5} | |||
= | |||
168d + b[-14 - 4n + (n+1)\mathfrak{F}] + \frac{n(n+1)\alpha}{5} | |||
</math> | </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> | ||
| Line 1,263: | Line 1,631: | ||
<math>~ | <math>~ | ||
1 + a\xi + b\xi^2 + c\xi^3 + d\xi^4 + e\xi^5 + f\xi^6\cdots | 1 + a\xi + b\xi^2 + c\xi^3 + d\xi^4 + e\xi^5 + f\xi^6\cdots | ||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
<math>\frac{dx}{d\xi}</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~ | |||
a + 2b\xi + 3c\xi^2 + 4d\xi^3 + 5e\xi^4 + 6f\xi^5\cdots | |||
</math> | </math> | ||
</td> | </td> | ||
| Line 1,280: | Line 1,662: | ||
</td> | </td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
| Line 1,389: | Line 1,766: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\Rightarrow ~~~d = - (n+1)\biggl\{ \frac{ | <math>~\Rightarrow ~~~d = - (n+1)\biggl\{ \frac{12n\alpha +\mathfrak{F}[(4n+14)-(n+1)\mathfrak{F} ]}{10080} \biggr\}</math> | ||
</td> | |||
</tr> | |||
<tr> | |||
<td colspan="4"> | |||
<font color="red">NOTE:</font> 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> | ||
| Line 1,409: | Line 1,792: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
1 - \frac{(n+1)\mathfrak{F}}{60} \xi^2- (n+1)\biggl\{ \frac{n\alpha +\mathfrak{F}[(4n+14)-(n+1)\mathfrak{F} ]}{10080} \biggr\} \xi^4 + \cdots | 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> | ||
Latest revision as of 19:49, 11 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:
|
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 | |