SSC/Stability/UniformDensity: Difference between revisions
| (9 intermediate revisions by the same user not shown) | |||
| Line 77: | Line 77: | ||
<tr> | <tr> | ||
<td align="right" > | <td align="right" > | ||
<math> | <math>r_0 \frac{d\ln x}{dr_0}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>\frac{1}{\gamma_g} \biggl( 4 - 3\gamma_g + \frac{\omega^2 R^3}{GM_\mathrm{tot}}\biggr) </math> at <math>~r_0 = R \, ,</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 95: | Line 95: | ||
<tr> | <tr> | ||
<td align="center" colspan="1"> | <td align="center" colspan="1"> | ||
Reprint of | Reprint of the last paragraph of §1 (p. 585) from …<br /> | ||
{{ Sterne37figure }} | {{ Sterne37figure }} | ||
</td> | </td> | ||
| Line 235: | Line 235: | ||
===Setup as Presented by Sterne (1937)=== | ===Setup as Presented by Sterne (1937)=== | ||
In §2 of his paper, | In §2 of his paper, {{ Sterne37 }} details the structural properties of an equilibrium, uniform-density sphere as follows. (Text taken verbatim from {{ Sterne37hereafter }} are presented here in green.) Given that <font color="green">the undisturbed density is constant and equal to the mean density</font>, <math>~\bar\rho</math>, the <font color="green">mass within any radius is</font>, | ||
<div align="center"> | <div align="center"> | ||
<math>M_r = \biggl( \frac{4\pi}{3} \biggr) \bar\rho \xi_0^3 \, ;</math> | <math>M_r = \biggl( \frac{4\pi}{3} \biggr) \bar\rho \xi_0^3 \, ;</math> | ||
| Line 252: | Line 252: | ||
</div> | </div> | ||
Hence, for this particular equilibrium model, | Hence, for this particular equilibrium model, the wave equation derived by {{ Sterne37hereafter }} — his equation (1.91), as displayed above — becomes, | ||
<div align="center"> | <div align="center"> | ||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
| Line 475: | Line 475: | ||
===Sterne's Presentation=== | ===Sterne's Presentation=== | ||
In what follows, as before, text presented in a green font has been taken verbatim from | In what follows, as before, text presented in a green font has been taken verbatim from {{ Sterne37hereafter }}. He begins by writing the unknown eigenfunction as a power series expanded about the origin, specifically, | ||
<div align="center"> | <div align="center"> | ||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
| Line 481: | Line 481: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>\xi_1</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>\sum\limits_{0}^{\infty} a_k x^k \, ,</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
</div> | </div> | ||
with, <math> | with, <math>a_0 = 1</math>. <font color="green">It is found by substitution that the terms in odd powers of <math>x</math> vanish, and that the coefficients of the even terms satisfy the recurrence formula</font>, | ||
<div align="center"> | <div align="center"> | ||
| Line 499: | Line 499: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>a_{k+2}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>a_k \cdot \frac{k^2 + 5k - \mathfrak{F}}{(k+2)(k+5)} \, .</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 511: | Line 511: | ||
</div> | </div> | ||
The wave equation and attending boundary conditions will all <font color="green">be satisfied if we choose <math>\mathfrak{F}</math> so as to make the series solution terminate with some term, say the <math> | The wave equation and attending boundary conditions will all <font color="green">be satisfied if we choose <math>\mathfrak{F}</math> so as to make the series solution terminate with some term, say the <math>2 j^\mathrm{th}</math> where <math>j</math> is zero or any positive integer. This it will do</font> [via the above recurrence relation] if, | ||
<div align="center"> | <div align="center"> | ||
<math> | <math>\mathfrak{F} = 2j(2j+5) \, .</math> | ||
</div> | </div> | ||
The first few solutions are displayed in the following boxed-in image that has been extracted directly from §2 (p. 587) of | The first few solutions are displayed in the following boxed-in image that has been extracted directly from §2 (p. 587) of {{ Sterne37 }}; to the right of his table, we have added a column that expressly records the value of the square of the normalized eigenfrequency that corresponds to each of the solutions presented by {{ Sterne37hereafter }}. | ||
<div align="center"> | <div align="center"> | ||
<table border="2" cellpadding="5"> | <table border="2" cellpadding="5" width="70%"> | ||
<tr> | <tr> | ||
< | <td align="center" colspan="1"> | ||
Table extracted from | Table of exact eigenvector expressions extracted from §2 (p. 587) of …<br /> | ||
{{ Sterne37figure }} | |||
</td> | |||
</ | <td align="center" colspan="1"> | ||
< | <math>\frac{n^2}{4\pi G \bar\rho}</math> | ||
<math> | </td> | ||
</ | </tr> | ||
<tr> | <tr> | ||
<td colspan="1" rowspan=" | <td colspan="1" rowspan="1"> | ||
[[File:Sterne1937SolutionTable1.png|600px|center|Sterne (1937)]] | <!-- [[File:Sterne1937SolutionTable1.png|600px|center|Sterne (1937)]] --> | ||
<table border="0" align="left"> | |||
<tr> | |||
<td align="right"><math>j=0 \, ;</math> </td> | |||
<td align="right"><math>\mathfrak{F}=0 \, ;</math> </td> | |||
<td align="right"> <math>\xi_1 = 1</math></td> | |||
</tr> | |||
</table> | |||
</td> | </td> | ||
<td align="center"><math> | <td align="center"><math>\gamma - 4/3</math></td> | ||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="center"><math> | <td colspan="1" rowspan="1"> | ||
<table border="0" align="left"> | |||
<tr> | |||
<td align="right"><math>j=1 \, ;</math> </td> | |||
<td align="right"><math>\mathfrak{F}= 14 \, ;</math> </td> | |||
<td align="right"><math>\xi_1 = 1 - (7/5)x^2</math></td> | |||
</tr> | |||
</table> | |||
</td> | |||
<td align="center"><math>2(5\gamma - 2)/3</math></td> | |||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="center"><math> | <td colspan="1" rowspan="1"> | ||
<table border="0" align="left"> | |||
<tr> | |||
<td align="right"><math>j=2 \, ;</math> </td> | |||
<td align="right"><math>\mathfrak{F}= 36 \, ;</math> </td> | |||
<td align="right"><math>\xi_1 = 1 - (18/5)x^2 + (99/35)x^4</math></td> | |||
</tr> | |||
</table> | |||
</td> | |||
<td align="center"><math>7\gamma - 4/3</math></td> | |||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td align="center"><math> | <td colspan="1" rowspan="1"> | ||
<table border="0" align="left"> | |||
<tr> | |||
<td align="right"><math>j=3 \, ;</math> </td> | |||
<td align="right"><math>\mathfrak{F}=66 \, ;</math> </td> | |||
<td align="right"><math>\xi_1 = 1 - (33/5)x^2 + (429/35)x^4 - (143/21)x^6</math></td> | |||
</tr> | |||
</table> | |||
</td> | |||
<td align="center"><math>12\gamma - 4/3</math></td> | |||
</tr> | </tr> | ||
</table> | </table> | ||
</div> | </div> | ||
===Validity Check=== | ===Validity Check=== | ||
Let's explicitly demonstrate that the first few eigenvectors derived by | Let's explicitly demonstrate that the first few eigenvectors derived by {{ Sterne37hereafter }} actually satisfy the governing adiabatic wave equation and the two boundary conditions. | ||
====Mode j = 0:==== | ====Mode j = 0:==== | ||
In this case, | In this case, | ||
| Line 559: | Line 595: | ||
Hence, | Hence, | ||
<div align="center"> | <div align="center"> | ||
<math> | <math>\xi_1^' \equiv \frac{d\xi_1}{dx} = 0 \, ;</math> | ||
and | and | ||
<math>\xi_1^{' '} \equiv \frac{d^2\xi_1}{dx^2} = 0 \, .</math> | <math>\xi_1^{' '} \equiv \frac{d^2\xi_1}{dx^2} = 0 \, .</math> | ||
| Line 569: | Line 605: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>(1-x^2) \xi_1^{ ' ' } + \frac{1}{x}\biggl[4 - 6x^2 \biggr]\xi_1^' + \mathfrak{F} \xi_1 </math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>(1-x^2) (0) + \frac{1}{x}\biggl[4 - 6x^2 \biggr](0) + (0)(1) \, ,</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
</div> | </div> | ||
which properly sums to zero. Next, because <math> | which properly sums to zero. Next, because <math>\xi_1^' = 0</math> everywhere, we know that it is zero at the center of the configuration, which satisfies the inner boundary condition. But, via the outer boundary condition, this also means that the product, <math>(\tfrac{1}{2} \mathfrak{F} \xi_1)</math> should be zero; which it is, because <math>\mathfrak{F} = 0</math> for this mode. | ||
====Mode j = 1:==== | ====Mode j = 1:==== | ||
In this case, according to | In this case, according to {{ Sterne37hereafter }}, | ||
<div align="center"> | <div align="center"> | ||
<math> | <math>\xi_1 = 1 - \frac{7}{5} x^2 \, ,</math> | ||
and | and | ||
<math> | <math>\mathfrak{F} = 14 \, .</math> | ||
</div> | </div> | ||
Hence, | Hence, | ||
<div align="center"> | <div align="center"> | ||
<math> | <math>\xi_1^' = - \frac{14}{5} x \, ;</math> | ||
and | and | ||
<math>\xi_1^{' '} = - \frac{14}{5} \, .</math> | <math>\xi_1^{' '} = - \frac{14}{5} \, .</math> | ||
| Line 601: | Line 637: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>(1-x^2) \xi_1^{ ' ' } + \frac{1}{x}\biggl[4 - 6x^2 \biggr]\xi_1^' + \mathfrak{F} \xi_1 </math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>- \frac{14}{5}(1-x^2) - \frac{14}{5}\biggl[4 - 6x^2 \biggr] + 14 \biggl( 1 - \frac{7}{5} x^2 \biggr) </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 616: | Line 652: | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>\frac{14}{5}\biggl[- (1-x^2) - (4 - 6x^2 ) +5 - 7 x^2 \biggr] \, , </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
</table> | </table> | ||
</div> | </div> | ||
which properly sums to zero for all <math> | which properly sums to zero for all <math>x</math>. Next, it is clear that the inner boundary condition is satisfied because, | ||
<div align="center"> | <div align="center"> | ||
<math> | <math>\xi_1^'\biggr|_{x = 0} = - \frac{14}{5} (0)= 0 \, .</math> | ||
</div> | </div> | ||
And the expression for the outer boundary condition gives, | And the expression for the outer boundary condition gives, | ||
| Line 635: | Line 671: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>\biggl[ \xi_1^' - \frac{\mathfrak{F} \xi_1}{2} \biggr]_{x=1}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>\biggl[ -\biggl(\frac{14}{5} \biggr) x - 7 \biggl( 1 - \frac{7}{5}x^2 \biggr) \biggr]_{x=1} </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 650: | Line 686: | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>\biggl[ -\biggl(\frac{14}{5} \biggr) - 7 \biggl( 1 - \frac{7}{5} \biggr) \biggr] \, ,</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 661: | Line 697: | ||
====Mode j = 2:==== | ====Mode j = 2:==== | ||
In this case, according to | In this case, according to {{ Sterne37hereafter }}, | ||
<div align="center"> | <div align="center"> | ||
<math> | <math>\xi_1 = 1 - \frac{2\cdot 3^2}{5} x^2 + \frac{3^2 \cdot 11}{5 \cdot 7} x^4 \, ,</math> | ||
and | and | ||
<math> | <math>\mathfrak{F} = 2^2 \cdot 3^2 \, .</math> | ||
</div> | </div> | ||
Hence, | Hence, | ||
<div align="center"> | <div align="center"> | ||
<math> | <math>\xi_1^' = - \frac{2^2\cdot 3^2}{5} x + \frac{2^2 \cdot 3^2 \cdot 11}{5 \cdot 7} x^3 \, ;</math> | ||
and | and | ||
<math>\xi_1^{' '} = - \frac{2^2\cdot 3^2}{5} + \frac{2^2 \cdot 3^3 \cdot 11}{5 \cdot 7} x^2 \, .</math> | <math>\xi_1^{' '} = - \frac{2^2\cdot 3^2}{5} + \frac{2^2 \cdot 3^3 \cdot 11}{5 \cdot 7} x^2 \, .</math> | ||
| Line 679: | Line 715: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>(1-x^2) \xi_1^{ ' ' } + \frac{1}{x}\biggl[4 - 6x^2 \biggr]\xi_1^' + \mathfrak{F} \xi_1 </math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> | ||
(1-x^2) \biggl[- \frac{2^2\cdot 3^2}{5} + \frac{2^2 \cdot 3^3 \cdot 11}{5 \cdot 7} x^2 \biggr] | (1-x^2) \biggl[- \frac{2^2\cdot 3^2}{5} + \frac{2^2 \cdot 3^3 \cdot 11}{5 \cdot 7} x^2 \biggr] | ||
</math> | </math> | ||
| Line 699: | Line 735: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> | ||
+ 2\biggl[2 - 3x^2 \biggr]\biggl[- \frac{2^2\cdot 3^2}{5} + \frac{2^2 \cdot 3^2 \cdot 11}{5 \cdot 7} x^2\biggr] | + 2\biggl[2 - 3x^2 \biggr]\biggl[- \frac{2^2\cdot 3^2}{5} + \frac{2^2 \cdot 3^2 \cdot 11}{5 \cdot 7} x^2\biggr] | ||
</math> | </math> | ||
| Line 713: | Line 749: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> | ||
+ 2^2 \cdot 3^2 \biggl[ 1 - \frac{2\cdot 3^2}{5} x^2 + \frac{3^2 \cdot 11}{5 \cdot 7} x^4 \biggr] | + 2^2 \cdot 3^2 \biggl[ 1 - \frac{2\cdot 3^2}{5} x^2 + \frac{3^2 \cdot 11}{5 \cdot 7} x^4 \biggr] | ||
</math> | </math> | ||
| Line 724: | Line 760: | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> | ||
- \frac{2^2\cdot 3^2}{5} + \biggl[\frac{2^2 \cdot 3^3 \cdot 11}{5 \cdot 7} | - \frac{2^2\cdot 3^2}{5} + \biggl[\frac{2^2 \cdot 3^3 \cdot 11}{5 \cdot 7} | ||
+ \frac{2^2\cdot 3^2}{5} \biggr] x^2 - \frac{2^2 \cdot 3^3 \cdot 11}{5 \cdot 7} x^4 | + \frac{2^2\cdot 3^2}{5} \biggr] x^2 - \frac{2^2 \cdot 3^3 \cdot 11}{5 \cdot 7} x^4 | ||
| Line 742: | Line 778: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> | ||
- \frac{2^4\cdot 3^2}{5} +\biggl[ \frac{2^4 \cdot 3^2 \cdot 11}{5 \cdot 7} | - \frac{2^4\cdot 3^2}{5} +\biggl[ \frac{2^4 \cdot 3^2 \cdot 11}{5 \cdot 7} | ||
+ \frac{2^3\cdot 3^3}{5} \biggr]x^2 - \frac{2^3 \cdot 3^3 \cdot 11}{5 \cdot 7} x^4 | + \frac{2^3\cdot 3^3}{5} \biggr]x^2 - \frac{2^3 \cdot 3^3 \cdot 11}{5 \cdot 7} x^4 | ||
| Line 757: | Line 793: | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> | ||
+ 2^2 \cdot 3^2 - \frac{2^3\cdot 3^4}{5} x^2 + \frac{2^2 \cdot 3^4 \cdot 11}{5 \cdot 7} x^4 | + 2^2 \cdot 3^2 - \frac{2^3\cdot 3^4}{5} x^2 + \frac{2^2 \cdot 3^4 \cdot 11}{5 \cdot 7} x^4 | ||
</math> | </math> | ||
| Line 768: | Line 804: | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math> | ||
\frac{2^2\cdot 3^2}{5}\biggl[ -1 -4 + 5\biggr] + \frac{2^2\cdot 3^2}{5\cdot 7}\biggl[33 + 7 + 44 + 42 - 2\cdot 3^2 \cdot 7\biggr] x^2 | \frac{2^2\cdot 3^2}{5}\biggl[ -1 -4 + 5\biggr] + \frac{2^2\cdot 3^2}{5\cdot 7}\biggl[33 + 7 + 44 + 42 - 2\cdot 3^2 \cdot 7\biggr] x^2 | ||
+ \frac{2^2 \cdot 3^3 \cdot 11}{5 \cdot 7} \biggl[ 3 - 2 - 1\biggr] x^4 \, , | + \frac{2^2 \cdot 3^3 \cdot 11}{5 \cdot 7} \biggl[ 3 - 2 - 1\biggr] x^4 \, , | ||
| Line 780: | Line 816: | ||
</div> | </div> | ||
which properly sums to zero for all <math> | which properly sums to zero for all <math>x</math>. Next, it is clear that the inner boundary condition is satisfied because, | ||
<div align="center"> | <div align="center"> | ||
<math> | <math>\xi_1^'\biggr|_{x = 0} = - \frac{2^2\cdot 3^2}{5} (0) + \frac{2^2 \cdot 3^2 \cdot 11}{5 \cdot 7} (0) = 0 \, .</math> | ||
</div> | </div> | ||
And the expression for the outer boundary condition gives, | And the expression for the outer boundary condition gives, | ||
| Line 791: | Line 827: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>\biggl[ \xi_1^' - \frac{\mathfrak{F} \xi_1}{2} \biggr]_{x=1}</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>\biggl[ - \frac{2^2\cdot 3^2}{5} x + \frac{2^2 \cdot 3^2 \cdot 11}{5 \cdot 7} x^3 | ||
- 2\cdot 3^2 \biggl( 1 - \frac{2\cdot 3^2}{5} x^2 + \frac{3^2 \cdot 11}{5 \cdot 7} x^4 \biggr) \biggr]_{x=1} </math> | - 2\cdot 3^2 \biggl( 1 - \frac{2\cdot 3^2}{5} x^2 + \frac{3^2 \cdot 11}{5 \cdot 7} x^4 \biggr) \biggr]_{x=1} </math> | ||
</td> | </td> | ||
| Line 807: | Line 843: | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>\frac{2\cdot 3^2}{5\cdot 7}\biggl[ -14 + 22 - \biggl( 35 - 126 + 99 \biggr) \biggr] \, ,</math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 832: | Line 868: | ||
==Stability== | ==Stability== | ||
The [[SSC/Perturbations#2ndOrderODE|Adiabatic Wave Equation]] that defines this [[SSC/Perturbations#The_Eigenvalue_Problem|eigenvalue problem]] has been derived from the fundamental set of nonlinear [[PGE#Principal_Governing_Equations|Principal Governing Equations]] by assuming that, for example, the radial position, <math> | The [[SSC/Perturbations#2ndOrderODE|Adiabatic Wave Equation]] that defines this [[SSC/Perturbations#The_Eigenvalue_Problem|eigenvalue problem]] has been derived from the fundamental set of nonlinear [[PGE#Principal_Governing_Equations|Principal Governing Equations]] by assuming that, for example, the radial position, <math>r(m,t)</math>, at any time, <math>t</math>, and of each mass shell throughout our spherical configuration can be described by the expression, | ||
<div align="center"> | <div align="center"> | ||
<math> | <math>r(m,t) = r_0(m) [ 1 + x(m) e^{i\omega t} ] \, ,</math> | ||
</div> | </div> | ||
where, the fractional displacement, <math> | where, the fractional displacement, <math>|x| \ll 1</math>. Switching to {{ Sterne37hereafter }}'s variable notation, this should be written as, | ||
<div align="center"> | <div align="center"> | ||
<math> | <math>\xi(x,t) = \xi_0(x) [ 1 + A\xi_1(x) e^{i n t} ] \, ,</math> | ||
</div> | </div> | ||
with the presumption that the coefficient, <math> | with the presumption that the coefficient, <math>|A| \ll 1</math>, and the understanding that, in {{ Sterne37hereafter}}, the variable, <math>x</math>, is used to identify individual mass shells. Specifically, given <math>R</math> and <math>\bar\rho</math>, | ||
<div align="center"> | <div align="center"> | ||
<math> | <math>m \equiv M_r = \frac{4}{3}\pi \xi_0^3 \bar\rho = \frac{4}{3}\pi (R x)^3 \bar\rho </math> | ||
<math> | <math>\Rightarrow</math> | ||
<math> | <math>x = \biggl( \frac{3m}{4\pi R^3 \bar\rho} \biggr)^{1/3} \, .</math> | ||
</div> | </div> | ||
The [[#Sterne.27s_General_Solution|general solution of this eigenvalue problem]] presented by {{ Sterne37 }} describes mathematically how a self-gravitating, uniform-density configuration will vibrate if perturbed away from its equilibrium state; the oscillatory behavior associated with each pure radial mode, <math>j</math> — among an infinite number of possible modes — is fully defined by the polynomial expression for the eigenvector, <math>\xi_1(x)</math>, and the corresponding value of the square of the eigenfrequency, <math>n^2</math>. | |||
If, for any mode, <math> | If, for any mode, <math>j</math>, the ''square'' of the derived eigenfrequency, <math>n^2</math>, is positive, then the eigenfrequency itself will be a real number — specifically, | ||
<div align="center"> | <div align="center"> | ||
<math> | <math>n = \pm \sqrt{|n^2|} \, .</math> | ||
</div> | </div> | ||
As a result, the radial location of every mass shell will vary sinusoidally in time according to the expression, | As a result, the radial location of every mass shell will vary sinusoidally in time according to the expression, | ||
<div align="center"> | <div align="center"> | ||
<math> | <math>\frac{\xi(x,t)}{\xi_0} - 1 \propto e^{\pm i \sqrt{|n^2|} t} \, .</math> | ||
</div> | </div> | ||
If, on the other hand, <math> | If, on the other hand, <math>n^2</math>, is negative, then the eigenfrequency will be an imaginary number — specifically, | ||
<div align="center"> | <div align="center"> | ||
<math> | <math>n = \pm i \sqrt{|n^2|} \, .</math> | ||
</div> | </div> | ||
As a result, the radial location of every mass shell will grow (or damp) exponentially in time according to the expression, | As a result, the radial location of every mass shell will grow (or damp) exponentially in time according to the expression, | ||
<div align="center"> | <div align="center"> | ||
<math> | <math>\frac{\xi(x,t)}{\xi_0} - 1 \propto e^{\pm \sqrt{|n^2|} t} \, .</math> | ||
</div> | </div> | ||
This latter condition is the mark of a dynamically unstable system. It is in this manner that the solution to an eigenvalue problem can provide critical information regarding the relative stability of equilibrium configurations. | This latter condition is the mark of a dynamically unstable system. It is in this manner that the solution to an eigenvalue problem can provide critical information regarding the relative stability of equilibrium configurations. | ||
For any given mode number, <math> | For any given mode number, <math>j</math>, then, the critical configuration separating stable from unstable systems occurs when the dimensionless eigenfrequency is zero. Therefore, the critical state occurs when, | ||
<div align="center"> | <div align="center"> | ||
<table border="0" cellpadding="5" align="center"> | <table border="0" cellpadding="5" align="center"> | ||
| Line 874: | Line 910: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>0 = \frac{n_\mathrm{crit}^2}{4\pi G \bar\rho}</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{\mathfrak{F}}{6} \biggr)\gamma_\mathrm{crit} -\frac{4}{3} </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 886: | Line 922: | ||
<tr> | <tr> | ||
<td align="right"> | <td align="right"> | ||
<math> | <math>\Rightarrow ~~~~~ \gamma_\mathrm{crit}(j)</math> | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>\frac{4}{3}\biggl(1 + \frac{\mathfrak{F}}{6} \biggr)^{-1} </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 901: | Line 937: | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>\frac{4}{3}\biggl[1 + \frac{2j(2j+5)}{6} \biggr]^{-1} </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 913: | Line 949: | ||
</td> | </td> | ||
<td align="center"> | <td align="center"> | ||
<math> | <math>=</math> | ||
</td> | </td> | ||
<td align="left"> | <td align="left"> | ||
<math> | <math>\frac{4}{3 + j(2j+5)} \, . </math> | ||
</td> | </td> | ||
</tr> | </tr> | ||
| Line 922: | Line 958: | ||
</div> | </div> | ||
The plot titled, "Critical Adiabatic Index," that is [[#Properties_of_Eigenfunction_Solutions| presented above]] shows graphically how <math> | The plot titled, "Critical Adiabatic Index," that is [[#Properties_of_Eigenfunction_Solutions| presented above]] shows graphically how <math>\gamma_\mathrm{crit}</math> varies with mode number over the range of mode numbers, <math>0 \le j \le 11</math>. All modes are stable as long as <math>\gamma > 4/3</math>. As the adiabatic index is decreased below this value, the lowest order mode, <math>j = 0</math>, becomes unstable, first; then successively higher order modes become unstable at smaller and smaller values of the index. A very similar explanation and enunciation of {{ Sterne37hereafter}}'s derived results regarding the stability of uniform-density spheres appears at the bottom of p. 338 of {{ Ledoux46full }}. The relevant paragraph from {{ Ledoux46 }} follows: | ||
<div align="center"> | <div align="center"> | ||
<table border="2" cellpadding="5" width="80%"> | <table border="2" cellpadding="5" width="80%"> | ||
<tr> | <tr> | ||
< | <td align="center" colspan="1"> | ||
Paragraph extracted<sup>†</sup> from p. 338 of | Paragraph extracted<sup>†</sup> from the bottom of p. 338 of …<br /> | ||
{{ Ledoux46figure }} | |||
</td> | |||
</ | |||
</tr> | </tr> | ||
<tr> | <tr> | ||
<td colspan="1" rowspan="1"> | <td colspan="1" rowspan="1"> | ||
[[File:Ledoux1946OnSterne01.png|700px|center|Ledoux (1946)]] | <!-- [[File:Ledoux1946OnSterne01.png|700px|center|Ledoux (1946)]] --> | ||
<font color="darkgreen"> | |||
"Another point brought out clearly by Sterne's analysis is that, while the fundamental mode becomes unstable for <math>\Gamma < \tfrac{4}{3}\, ,</math> the higher harmonics continue to be stable. Indeed, as we may directly verify from equation (19), the first harmonic becomes unstable only if <math>\Gamma < \tfrac{2}{5}</math> and the second one if <math>\Gamma < \tfrac{4}{21} \, .</math>" | |||
</font> | |||
</td> | </td> | ||
</tr> | </tr> | ||
Latest revision as of 13:35, 11 October 2022
The Stability of Uniform-Density Spheres
As far as we have been able to determine, 📚 T. E. Sterne (1937, MNRAS, Vol. 97, pp. 582 - 593) was the first to use linearized perturbation techniques and, specifically, the Adiabatic Wave Equation, to thoroughly analyze the stability of uniform-density, self-gravitating spheres. While uniform-density configurations present an overly simplified description of real stars, the stability analysis presented by 📚 Sterne (1937) — hereafter, Sterne37 — is an important one because it presents a complete spectrum of radial pulsation eigenvectors — eigenfrequencies plus the corresponding eigenfunctions — as closed-form analytic expressions. Such analytic solutions are quite rare in the context of studies of the structure, stability, and dynamics of self-gravitating fluids.
As has been explained in an accompanying introductory discussion, this type of stability analysis requires the solution of an eigenvalue problem. Here we begin by re-presenting the governing 2nd-order ODE (the Adiabatic Wave Equation) as it was derived in the accompanying introductory discussion, along with the specification of two customarily used boundary conditions; and we review the properties of the equilibrium configuration — also derived in a separate discussion — that are relevant to this stability analysis. Interleaved with this presentation, we also show the governing wave equation as it was derived by Sterne37 — and a table that translates from Sterne's notation to ours — along with his corresponding review of the properties of the unperturbed equilibrium configuration. Finally, we present the solution to this eigenvalue problem that was derived by Sterne37 and discuss the properties of his derived radial pulsation eigenvectors.
The Eigenvalue Problem
Our Approach
As has been derived in an accompanying discussion, the second-order ODE that defines the relevant Eigenvalue problem is,
where the dimensionless radius,
the characteristic time for dynamical oscillations in spherically symmetric configurations (SSC) is,
and the characteristic gravitational acceleration is,
The two boundary conditions are,
at
and,
|
|
|
at |
The Approach Taken by Sterne (1937)
📚 Sterne (1937) begins his analysis by deriving the
in a manner explicitly designed to reproduce Eddington's pulsation equation — it appears as equation (1.8) in Sterne37 — and, along with it, the surface boundary condition,
|
|
|
at |
which appears in Sterne37 as equation (1.9). Then, as shown in the following paragraph extracted directly from his paper, Sterne37 rewrites both of these expressions in, what he considers to be, "more convenient forms."
|
Reprint of the last paragraph of §1 (p. 585) from … |
||||||||||||||||||||||||
|
"Before proceeding further we write equations (1.8) and (1.9) in more convenient forms. Let . Then (1.8) becomes
and the boundary condition (1.9) becomes, from (1.5),
at . Here dashes denote differentiation with respect to , a convention henceforth to be followed." |
||||||||||||||||||||||||
| ||||||||||||||||||||||||
Properties of the Equilibrium Configuration
Our Setup
From our derived structure of a uniform-density sphere, in terms of the configuration's radius and mass , the central pressure and density are, respectively,
,
and
.
Hence the characteristic time and acceleration are, respectively,
and,
The required functions are,
- Density:
;
- Pressure:
;
- Gravitational acceleration:
So our desired eigenfunctions and eigenvalues will be solutions to the following ODE:
Setup as Presented by Sterne (1937)
In §2 of his paper, 📚 Sterne (1937) details the structural properties of an equilibrium, uniform-density sphere as follows. (Text taken verbatim from Sterne37 are presented here in green.) Given that the undisturbed density is constant and equal to the mean density, , the mass within any radius is,
the undisturbed values of gravity and the pressure are, respectively,
and
and the quantity,
Hence, for this particular equilibrium model, the wave equation derived by Sterne37 — his equation (1.91), as displayed above — becomes,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
where,
Note that, once the value of the parameter, , has been determined for a given eigenvector, the square of the eigenfrequency will also be known via the inversion of this last expression. Specifically, in terms of ,
|
|
|
|
|
|
|
|
As a reminder, in these terms the inner boundary condition is
And the outer boundary condition becomes,
|
|
|
|
|
|
|
|
|
|
|
at |
|
|
|
|
Sterne's General Solution
Sterne's Presentation
In what follows, as before, text presented in a green font has been taken verbatim from Sterne37. He begins by writing the unknown eigenfunction as a power series expanded about the origin, specifically,
|
|
|
|
with, . It is found by substitution that the terms in odd powers of vanish, and that the coefficients of the even terms satisfy the recurrence formula,
|
|
|
|
The wave equation and attending boundary conditions will all be satisfied if we choose so as to make the series solution terminate with some term, say the where is zero or any positive integer. This it will do [via the above recurrence relation] if,
The first few solutions are displayed in the following boxed-in image that has been extracted directly from §2 (p. 587) of 📚 Sterne (1937); to the right of his table, we have added a column that expressly records the value of the square of the normalized eigenfrequency that corresponds to each of the solutions presented by Sterne37.
|
Table of exact eigenvector expressions extracted from §2 (p. 587) of … |
|
|||
|
|
||||
|
|
||||
|
|
||||
|
|
Validity Check
Let's explicitly demonstrate that the first few eigenvectors derived by Sterne37 actually satisfy the governing adiabatic wave equation and the two boundary conditions.
Mode j = 0:
In this case,
and
Hence,
and
So, the adiabatic wave equation gives,
|
|
|
|
which properly sums to zero. Next, because everywhere, we know that it is zero at the center of the configuration, which satisfies the inner boundary condition. But, via the outer boundary condition, this also means that the product, should be zero; which it is, because for this mode.
Mode j = 1:
In this case, according to Sterne37,
and
Hence,
and
So, the adiabatic wave equation gives,
|
|
|
|
|
|
|
|
which properly sums to zero for all . Next, it is clear that the inner boundary condition is satisfied because,
And the expression for the outer boundary condition gives,
|
|
|
|
|
|
|
|
which also properly sums to zero.
Mode j = 2:
In this case, according to Sterne37,
and
Hence,
and
So, the adiabatic wave equation gives,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
which properly sums to zero for all . Next, it is clear that the inner boundary condition is satisfied because,
And the expression for the outer boundary condition gives,
|
|
|
|
|
|
|
|
which also properly sums to zero.
Properties of Eigenfunction Solutions
|
|
|
Stability
The Adiabatic Wave Equation that defines this eigenvalue problem has been derived from the fundamental set of nonlinear Principal Governing Equations by assuming that, for example, the radial position, , at any time, , and of each mass shell throughout our spherical configuration can be described by the expression,
where, the fractional displacement, . Switching to Sterne37's variable notation, this should be written as,
with the presumption that the coefficient, , and the understanding that, in Sterne37, the variable, , is used to identify individual mass shells. Specifically, given and ,
The general solution of this eigenvalue problem presented by 📚 Sterne (1937) describes mathematically how a self-gravitating, uniform-density configuration will vibrate if perturbed away from its equilibrium state; the oscillatory behavior associated with each pure radial mode, — among an infinite number of possible modes — is fully defined by the polynomial expression for the eigenvector, , and the corresponding value of the square of the eigenfrequency, .
If, for any mode, , the square of the derived eigenfrequency, , is positive, then the eigenfrequency itself will be a real number — specifically,
As a result, the radial location of every mass shell will vary sinusoidally in time according to the expression,
If, on the other hand, , is negative, then the eigenfrequency will be an imaginary number — specifically,
As a result, the radial location of every mass shell will grow (or damp) exponentially in time according to the expression,
This latter condition is the mark of a dynamically unstable system. It is in this manner that the solution to an eigenvalue problem can provide critical information regarding the relative stability of equilibrium configurations.
For any given mode number, , then, the critical configuration separating stable from unstable systems occurs when the dimensionless eigenfrequency is zero. Therefore, the critical state occurs when,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The plot titled, "Critical Adiabatic Index," that is presented above shows graphically how varies with mode number over the range of mode numbers, . All modes are stable as long as . As the adiabatic index is decreased below this value, the lowest order mode, , becomes unstable, first; then successively higher order modes become unstable at smaller and smaller values of the index. A very similar explanation and enunciation of Sterne37's derived results regarding the stability of uniform-density spheres appears at the bottom of p. 338 of 📚 P. Ledoux (1946, ApJ, Vol. 140, pp. 333 - 346). The relevant paragraph from 📚 Ledoux (1946) follows:
|
Paragraph extracted† from the bottom of p. 338 of … |
|
"Another point brought out clearly by Sterne's analysis is that, while the fundamental mode becomes unstable for the higher harmonics continue to be stable. Indeed, as we may directly verify from equation (19), the first harmonic becomes unstable only if and the second one if " |
|
†Our function, , is effectively the expression to which Ledoux is referring when he says, "… directly verify from equation (19) …" |
Numerical Integration
In order to gain a more complete understanding of this type of modal analysis, let's attempt to obtain various eigenvectors by numerically integrating the governing LAWE from the center of the system, outward to the surface. This will be done in a manner similar to our numerical study of radial oscillations in zero-zero bipolytropes. Following our above review of Sterne's presentation, the relevant LAWE is,
|
|
|
|
where,
and,
Following precisely the same logic as has been laid out in our separate discussion, if we set the central value of the eigenfunction to , then the eigenfunction's value at the first zone (distance ) away from the center will be,
|
|
|
|
While, for each successive coordinate location, , in the range, , we will use the general expression, namely,
|
|
|
|
|
Appendices: | VisTrailsEquations | VisTrailsVariables | References | Ramblings | VisTrailsImages | myphys.lsu | ADS | |

