Appendix/Mathematics/Hypergeometric: Difference between revisions
| Line 677: | Line 677: | ||
<math> | <math> | ||
\frac{1}{3(3-n)} | \frac{1}{3(3-n)} | ||
\biggl[ 2n(n+1) f_\mathrm{trial} - 3(n+1)(n-1) \biggr]\xi^{2} \theta^{(n-1)} | \biggl[ \underbrace{2n(n+1)}_{A} f_\mathrm{trial} - \underbrace{3(n+1)(n-1)}_{B} \biggr]\xi^{2} \theta^{(n-1)} | ||
</math> | </math> | ||
</td> | </td> | ||
| Line 716: | Line 716: | ||
3(3-n)\frac{d^2 f_\mathrm{trial}}{d\xi^2} | 3(3-n)\frac{d^2 f_\mathrm{trial}}{d\xi^2} | ||
+ \biggl\{\frac{12(3-n)}{\xi} \biggr\} \frac{df_\mathrm{trial}}{d\xi} | + \biggl\{\frac{12(3-n)}{\xi} \biggr\} \frac{df_\mathrm{trial}}{d\xi} | ||
- \biggl[ | - \biggl[ A f_\mathrm{trial} - B \biggr]\xi \theta^{(n-1)}\frac{df_\mathrm{trial}}{d\xi} | ||
</math> | </math> | ||
</td> | </td> | ||
| Line 732: | Line 732: | ||
+ | + | ||
3(3-n)\biggl( \frac{\omega^2}{\gamma_g} \biggr)\biggl[\frac{(n+1)}{4\pi \rho_c G}\biggr]\frac{f_\mathrm{trial}}{\theta} | 3(3-n)\biggl( \frac{\omega^2}{\gamma_g} \biggr)\biggl[\frac{(n+1)}{4\pi \rho_c G}\biggr]\frac{f_\mathrm{trial}}{\theta} | ||
- \alpha \biggl[ | - \alpha \biggl[ A f_\mathrm{trial} - B \biggr]\theta^{(n-1)} f_\mathrm{trial} \, . | ||
</math> | </math> | ||
</td> | </td> | ||
| Line 771: | Line 771: | ||
\frac{d}{d\xi} \biggl[ \xi \theta^{(n-1)}f_\mathrm{trial} \biggr] | \frac{d}{d\xi} \biggl[ \xi \theta^{(n-1)}f_\mathrm{trial} \biggr] | ||
- | - | ||
\biggl[ | |||
\theta^{(n-1)}f_\mathrm{trial} | |||
+ \xi f_\mathrm{trial} (n-1)\theta^{(n-2)}\frac{d\theta}{d\xi} | |||
\biggr] | |||
\, , | |||
</math> | |||
</td> | |||
</tr> | |||
</table> | |||
we furthermore can write, | |||
<table border=0 cellpadding=2 align="center"> | |||
<tr> | |||
<td align="right"> | |||
<math>\Rightarrow ~~~ \biggl[ \frac{3(3-n) }{\xi_1^2} \biggr] ~\mathrm{LAWE}</math> | |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
3(3-n)\frac{d^2 f_\mathrm{trial}}{d\xi^2} | |||
+ \biggl\{\frac{12(3-n)}{\xi} \biggr\} \frac{df_\mathrm{trial}}{d\xi} | |||
+ 3(3-n)\biggl( \frac{\omega^2}{\gamma_g} \biggr)\biggl[\frac{(n+1)}{4\pi \rho_c G}\biggr]\frac{f_\mathrm{trial}}{\theta} | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
| |||
</td> | |||
<td align="left"> | |||
<math> | |||
- \alpha \biggl[ A f_\mathrm{trial} - B \biggr]\theta^{(n-1)} f_\mathrm{trial} | |||
- \biggl[ A f_\mathrm{trial} - B \biggr] | |||
\biggl\{ | \biggl\{ | ||
\frac{d}{d\xi} \biggl[ \xi \theta^{(n-1)}f_\mathrm{trial} \biggr] | |||
- | |||
\biggl[ | |||
\theta^{(n-1)}f_\mathrm{trial} | |||
+ \xi f_\mathrm{trial} (n-1)\theta^{(n-2)}\frac{d\theta}{d\xi} | |||
\biggr] | |||
\biggr\} | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
<math>=</math> | |||
</td> | |||
<td align="left"> | |||
<math> | |||
3(3-n)\frac{d^2 f_\mathrm{trial}}{d\xi^2} | |||
+ \biggl\{\frac{12(3-n)}{\xi} \biggr\} \frac{df_\mathrm{trial}}{d\xi} | |||
+ 3(3-n)\biggl( \frac{\omega^2}{\gamma_g} \biggr)\biggl[\frac{(n+1)}{4\pi \rho_c G}\biggr]\frac{f_\mathrm{trial}}{\theta} | |||
</math> | |||
</td> | |||
</tr> | |||
<tr> | |||
<td align="right"> | |||
| |||
</td> | |||
<td align="center"> | |||
| |||
</td> | |||
<td align="left"> | |||
<math> | |||
- \biggl[ A f_\mathrm{trial} - B \biggr] | |||
\biggl\{ | |||
\frac{d}{d\xi} \biggl[ \xi \theta^{(n-1)}f_\mathrm{trial} \biggr] | |||
- | |||
\biggl[ | |||
\theta^{(n-1)}f_\mathrm{trial} | \theta^{(n-1)}f_\mathrm{trial} | ||
+ \xi f_\mathrm{trial} (n-1)\theta^{(n-2)}\frac{d\theta}{d\xi} | + \xi f_\mathrm{trial} (n-1)\theta^{(n-2)}\frac{d\theta}{d\xi} | ||
\biggr] + \alpha \theta^{(n-1)} f_\mathrm{trial} | |||
\biggr\} | \biggr\} | ||
</math> | </math> | ||
Revision as of 19:28, 30 October 2022
Hypergeometric Differential Equation
According to §9.151 (p. 1045) of Gradshteyn & Ryzhik (1965), "… a hypergeometric series is one of the solutions of the differential equation,
|
|
|
|
which is called the hypergeometric equation. And, according to §9.10 (p. 1039) of Gradshteyn & Ryzhik (1965), "A hypergeometric series is a series of the form,
|
|
|
|
Among other attributes, Gradshteyn & Ryzhik (1965) note that this, "… series terminates if or is equal to a negative integer or to zero."
LAWE
Familiar Foundation
Drawing from an accompanying discussion, we have the,
where,
|
|
|
|
Multiplying through by , and making the variable substitutions,
|
|
|
|
|
|
|
|
|
|
|
|
the LAWE may be rewritten as,
|
|
|
|
|
|
|
|
|
|
|
|
If we furthermore adopt the variable definition,
|
|
|
|
we obtain what we will refer to as the,
Kopal (1948) LAWE
|
|
|
|
|
📚 Kopal (1948), p. 378, Eq. (6) |
||
Specifically for Polytropes
Let's look at the expression for the function, , that arises in the context of polytropic spheres.
General Expression for the Function μ
First, we note that,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
where,
|
|
|
|
|
|
|
|
Hence,
|
|
|
|
|
|
|
|
|
|
|
|
Alternatively,
|
|
|
|
|
|
|
|
|
|
|
|
Yes!
Trial Displacement Function
Now, building on an accompanying discussion, let's guess,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Flipping it around, we have alternatively,
|
|
|
|
Plug into Kopal (1948) LAWE
Replace ftrial by μ
Plugging this trial function into the Kopal (1948) LAWE and recognizing that , we find,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Noting that, and
|
|
|
|
the frequency-squared term may be rewritten as,
|
|
|
|
Replace μ by ftrial
Making instead the alternate substitution, namely,
|
|
|
|
|
|
|
|
|
|
|
|
we have,
|
|
|
|
|
|
|
|
|
|
|
|
Noting that,
|
|
|
|
|
|
|
|
we furthermore can write,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Example Density- and Pressure-Profiles
| Properties of Analytically Defined, Spherically Symmetric, Equilibrium Structures | |||||
|---|---|---|---|---|---|
| Model | |||||
| Uniform-density | |||||
| Linear | |||||
| Parabolic | |||||
| Polytrope | |||||
Uniform Density
In the case of a uniform-density, incompressible configuration, the Kopal (1948) LAWE becomes,
|
|
|
|
|
|
|
|
|
|
|
|
Given that, in the equilibrium state,
|
|
|
|
we obtain the LAWE derived by 📚 T. E. Sterne (1937, MNRAS, Vol. 97, pp. 582 - 593) — see his equation (1.91) on p. 585 — namely,
|
|
|
|
|
|
|
|
where,
|
|
|
|
This also matches, respectively, equations (8) and (9) of 📚 Z. Kopal (1948, Proc. NAS, Vol. 34, Issue 8, pp.377-384), aside from what, we presume, is a type-setting error that appears in the numerator of the second term on the RHS of his equation (8): appears, whereas it should be .
In order to see if this differential equation is of the same form as the hypergeometric expression, we'll make the substitution,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
in which case the 📚 Sterne (1937) LAWE may be rewritten as,
|
|
|
|
|
|
|
|
|
|
|
|
This is, indeed, of the hypergeometric form if we set
|
|
|
|
|
|
|
|
|
|
|
|
Combining this last pair of expressions gives,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
and,
|
|
|
|
Example α = -1
If we set , then the eigenvector is,
|
|
|
|
and the corresponding eigenfrequency is obtained from the expression,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
As we have reviewed in a separate discussion, this is identical to the eigenvector identified by 📚 Sterne (1937) as mode "".
More Generally
More generally, in agreement with 📚 Sterne (1937), for any (positive integer) mode number, , we find,
|
|
|
|
And, in terms of the hypergeometric function series, the corresponding eigenfunction is,
|
|
|
|
See Also
-
In an article titled, "Radial Oscillations of a Stellar Model," 📚 C. Prasad (1949, MNRAS, Vol 109, pp. 103 - 107) investigated the properties of an equilibrium configuration with a prescribed density distribution given by the expression,
where, is the central density and, is the radius of the star.
-
MathProjects/EigenvalueProblemN1: In the most general context, the LAWE takes the form,
Properties of Analytically Defined Astrophysical Structures Model Uniform-density Linear Parabolic Polytrope
|
Appendices: | VisTrailsEquations | VisTrailsVariables | References | Ramblings | VisTrailsImages | myphys.lsu | ADS | |