Appendix/Ramblings/PowerSeriesExpressions: Difference between revisions
| (7 intermediate revisions by the same user not shown) | |||
| Line 566: | Line 566: | ||
</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, | <font color="darkgreen"><b>When <math>n=1</math></b></font>, the first few terms in the power-series expression are, | ||
| Line 601: | Line 603: | ||
</table> | </table> | ||
which is consistent with the power-series expression for <math>(\sin \xi)/\xi</math>. | 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, | <font color="darkgreen"><b>When <math>n=5</math></b></font>, the first few terms in the power-series expression are, | ||
| Line 630: | Line 634: | ||
<math>~ | <math>~ | ||
1 - \frac{\xi^2}{3!} + \frac{\xi^4}{4!} - \frac{\xi^6}{6!} \biggl( \frac{5^2}{3} \biggr) | 1 - \frac{\xi^2}{3!} + \frac{\xi^4}{4!} - \frac{\xi^6}{6!} \biggl( \frac{5^2}{3} \biggr) | ||
+ \frac{ | + \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> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
From the [[Appendix/Ramblings/PowerSeriesExpressions#Binomial|binomial theorem]], we start with, | |||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~(1+b)^{m}</math> | ||
</math> | |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 670: | Line 665: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
1+ mb + \biggl[ \frac{m(m-1)}{2!}\biggr] b^{2} + \biggl[ \frac{m(m-1)(m-2)}{3!} \biggr] b^{3} + \biggl[ \frac{m(m-1)(m-2)(m-3)}{4!} \biggr] b^{4} + \dots | |||
</math> | |||
</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>~w</math> | <math>\theta_{n=5}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math>~=</math> | <math>~=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
w_0 + ar + br^2 + cr^3 + dr^4 + er^5 + fr^6 + gr^7 + hr^8 +\cdots | 1+ m\biggl( \frac{\xi^2}{3}\biggr) | ||
</math> | + \frac{1}{2!}\biggl[ m\biggl(m-1 \biggr)\biggr] \biggl( \frac{\xi^2}{3}\biggr)^{2} | ||
</td> | + \frac{1}{3!}\biggl[ m \biggl(m-1 \biggr)\biggl(m-2\biggr) \biggr] \biggl( \frac{\xi^2}{3}\biggr)^{3} | ||
</tr> | + \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=== | |||
<!-- 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> | |||
<td align="right"> | |||
<math>~\frac{1}{\xi^2}\frac{d}{d\xi}\biggl( \xi^2 \frac{d\psi}{d\xi}\biggr)</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~e^{-\psi} \, .</math> | |||
</td> | |||
</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> | |||
<td align="right"> | |||
<math>~\frac{d^2w}{dr^2} +\frac{2}{r} \frac{d w}{dr} | |||
</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~e^{-w} \, . </math> | |||
</td> | |||
</tr> | |||
</table> | |||
</div> | |||
A general power-series should be of the form, | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>~w</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~ | |||
w_0 + ar + br^2 + cr^3 + dr^4 + er^5 + fr^6 + gr^7 + hr^8 +\cdots | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
</div> | |||
Derivatives: | |||
<div align="center"> | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>~\frac{dw}{dr}</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~ | |||
a + 2br + 3cr^2 + 4dr^3 + 5er^4 + 6fr^5 + 7gr^6 + 8hr^7 +\cdots \, ; | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
<math>~\frac{d^2w}{dr^2}</math> | |||
</td> | |||
<td align="center"> | |||
<math>~=</math> | |||
</td> | |||
<td align="left"> | |||
<math>~ | |||
2b + 2\cdot 3cr + 2^2\cdot 3dr^2 + 2^2\cdot 5er^3 + 2\cdot 3 \cdot 5fr^4 + 2\cdot 3 \cdot 7gr^5 + 2^3\cdot 7hr^6 +\cdots \, . | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | </table> | ||
</div> | </div> | ||
Put together, then, the left-hand-side of the isothermal Lane-Emden equation becomes: | |||
<div align="center"> | <div align="center"> | ||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
| Line 702: | Line 847: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~\frac{ | <math>~\frac{d^2w}{dr^2} +\frac{2}{r} \frac{d w}{dr} </math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 709: | Line 854: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
a + 2br + 3cr^2 + 4dr^3 + 5er^4 + 6fr^5 + 7gr^6 + 8hr^7 +\cdots | 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 716: | Line 862: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
| |||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 722: | Line 868: | ||
</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 | |||
</math> | </math> | ||
</td> | </td> | ||
| Line 730: | 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="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
| Line 736: | Line 882: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math>~ | <math>~e^{-w}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
| Line 743: | Line 889: | ||
<td align="left"> | <td align="left"> | ||
<math>~ | <math>~ | ||
e^{0}\cdot e^{-ar} \cdot e^{-br^2} \cdot e^{-cr^3} \cdot e^{-dr^4} \cdot e^{-er^5} \cdot e^{-fr^6} \cdot e^{-gr^7} \cdot e^{-hr^8} \cdots | |||
</math> | </math> | ||
</td> | </td> | ||
| Line 757: | Line 902: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math>~\frac{ | <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> | </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 + \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> | </math> | ||
</td> | </td> | ||
| Line 788: | Line 928: | ||
</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] | |||
\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 -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] | \times \biggl[1 - dr^4 - er^5 - fr^6\biggr] | ||
| Line 1,964: | Line 2,075: | ||
</td></tr></table> | </td></tr></table> | ||
</div> | </div> | ||
<table border="1" align="center" width="80%" cellpadding="5"><tr><td align="left"> | |||
<font color="red"> | |||
This is a derivation check ... | |||
</font> | |||
As was [[SSC/Stability/InstabilityOnsetOverview#Yabushita's_Insight_Regarding_Stability|discovered by Yabushita]], the analytically prescribed isothermal displacement function is, | |||
<table border="0" cellpadding="5" align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>~\sigma_c^2 = 0</math> | |||
</td> | |||
<td align="center"> | |||
and | |||
</td> | |||
<td align="left"> | |||
<math>~x_Y = 1 - \biggl( \frac{1}{\xi e^{-\psi}}\biggr) \frac{d\psi}{d\xi} \, .</math> | |||
</td> | |||
</tr> | |||
</table> | |||
</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 | |