Appendix/Mathematics/Hypergeometric

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,

$0$

$=$

$z(1-z)\frac{d^{2}u}{d{z}^2}+[\gamma -(\alpha +\beta +1)z]\frac{du}{dz}-\alpha \beta u,$

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,

$F(\alpha ,\beta ;\gamma ;z)$

$=$

$1+\left[\frac{\alpha \cdot \beta }{\gamma \cdot 1}\right]z+\left[\frac{\alpha (\alpha +1)\beta (\beta +1)}{\gamma (\gamma +1)\cdot 1\cdot 2}\right]z^2+\left[\frac{\alpha (\alpha +1)(\alpha +2)\beta (\beta +1)(\beta +2)}{\gamma (\gamma +1)(\gamma +2)\cdot 1\cdot 2\cdot 3}\right]z^3+\dots$

Among other attributes, Gradshteyn & Ryzhik (1965) note that this, "… series terminates if $\alpha$ or $\beta$ is equal to a negative integer or to zero."

LAWE

Familiar Foundation

Drawing from an accompanying discussion, we have the,

LAWE:   Linear Adiabatic Wave (or Radial Pulsation) Equation

$\frac{d^{2}x}{d{r}_0^2}+[\frac{4}{r_0}-(\frac{g_0{\rho }_0}{P_0}\left)\right]\frac{dx}{d{r}_0}+\left(\frac{{\rho }_0}{{\gamma }_{\mathrm{g}}{P}_0}\right)[{\omega }^2+(4-3{\gamma }_{\mathrm{g}})\frac{g_0}{r_0}]x=0$

where,

$g_0$

$=$

$-\frac{1}{{\rho }_0}\frac{d{P}_0}{d{r}_0}.$

Multiplying through by $R^2$, and making the variable substitutions,

$x$	$\to$	$f,$
$\frac{r_0}{R}$	$\to$	$x,$
$(4-3{\gamma }_g)$	$\to$	$-\alpha {\gamma }_g,$

the LAWE may be rewritten as,

$0$	$=$	$\frac{d^{2}f}{d{x}^2}+[\frac{4}{x}-(\frac{g_0{\rho }_{0}R}{P_0}\left)\right]\frac{df}{dx}+\left(\frac{{\rho }_0{R}^2}{{\gamma }_{\mathrm{g}}{P}_0}\right)[{\omega }^2-\frac{\alpha {\gamma }_g{g}_0}{r_0}]f$
	$=$	$\frac{d^{2}f}{d{x}^2}+\frac{1}{x}[4-(\frac{g_0{\rho }_0{r}_0}{P_0}\left)\right]\frac{df}{dx}+\left[\right(\frac{{\omega }^2{\rho }_0{R}^2}{{\gamma }_{\mathrm{g}}{P}_0})-\frac{\alpha {\gamma }_g{g}_0}{r_0}(\frac{{\rho }_0{R}^2}{{\gamma }_{\mathrm{g}}{P}_0}\left)\right]f$
	$=$	$\frac{d^{2}f}{d{x}^2}+\frac{1}{x}[4-(\frac{g_0{\rho }_0{r}_0}{P_0}\left)\right]\frac{df}{dx}+\left[\right(\frac{{\omega }^2{\rho }_0{R}^2}{{\gamma }_{\mathrm{g}}{P}_0})-\frac{\alpha }{x^2}(\frac{g_0{r}_0{\rho }_0}{P_0}\left)\right]f.$

If we furthermore adopt the variable definition,

$\mu$

$\equiv$

$\left(\frac{g_0{\rho }_0{r}_0}{P_0}\right)=-\frac{d\ln P_0}{d\ln r_0},$

we obtain what we will refer to as the,

Kopal (1948) LAWE

$0$	$=$	$\frac{d^{2}f}{d{x}^2}+\frac{(4-\mu )}{x}\cdot \frac{df}{dx}+\left[\right(\frac{{\omega }^2{\rho }_0{R}^2}{{\gamma }_{\mathrm{g}}{P}_0})-\frac{\alpha \mu }{x^2}]f.$
📚 Kopal (1948), p. 378, Eq. (6) 📚 Van der Borght (1970), p. 325, Eq. (1)

Example Density- and Pressure-Profiles

Properties of Analytically Defined, Spherically Symmetric, Equilibrium Structures
Model	$\rho (x)$	$P(x)$	$P^{\text{'}}(x)$	$\mu (x)$	$\frac{\rho (x)}{P(x)}$
Uniform-density	$1$	$1-x^2$	$-2x$	$\frac{2x^2}{(1-x^2)}$	$\frac{1}{(1-x^2)}$
Linear	$1-x$	$(1-x{)}^2(1+2x-\frac{9}{5}{x}^2)$	$-\frac{12}{5}x(1-x)(4-3x)$	$\frac{\frac{12}{5}{x}^2(4-3x)}{(1-x)(1+2x-\frac{9}{5}{x}^2)}$	$\frac{1}{(1-x)(1+2x-\frac{9}{5}{x}^2)}$
Parabolic	$1-x^2$	$(1-x^2{)}^2(1-\frac{1}{2}{x}^2)$	$-x(1-x^2)(5-3x^2)$	$\frac{x^2(5-3x^2)}{(1-x^2)(1-\frac{1}{2}{x}^2)}$	$\frac{1}{(1-x^2)(1-\frac{1}{2}{x}^2)}$
$n=1$ Polytrope	$\frac{\sin x}{x}$	$(\frac{\sin x}{x}{)}^2$	$\frac{2}{x}[\cos x-\frac{\sin x}{x}]\frac{\sin x}{x}$	$2(1-x\cot x)$	$\frac{x}{\sin x}$

Uniform Density

In the case of a uniform-density, incompressible configuration, the Kopal (1948) LAWE becomes,

$0$	$=$	$\frac{d^{2}f}{d{x}^2}+\frac{(4-\mu )}{x}\cdot \frac{df}{dx}+\left[\right(\frac{{\omega }^2{\rho }_0{R}^2}{{\gamma }_{\mathrm{g}}{P}_0})-\frac{\alpha \mu }{x^2}]f$
	$=$	$\frac{d^{2}f}{d{x}^2}+\frac{1}{x}[4-\frac{2x^2}{(1-x^2)}]\frac{df}{dx}+\left[\right(\frac{{\omega }^2{\rho }_c{R}^2}{{\gamma }_{\mathrm{g}}{P}_c})\frac{1}{(1-x^2)}-(\frac{2\alpha }{1-x^2}\left)\right]f$
	$=$	$(1-x^2)\cdot \frac{d^{2}f}{d{x}^2}+\frac{1}{x}[4-6x^2]\frac{df}{dx}+\left[\right(\frac{{\omega }^2{\rho }_c{R}^2}{{\gamma }_{\mathrm{g}}{P}_c})-2\alpha ]f.$

Given that, in the equilibrium state,

$\frac{{\rho }_c{R}^2}{P_c}$

$=$

$\frac{6}{4\pi G{\rho }_c}$

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,

$0$	$=$	$(1-x^2)\cdot \frac{d^{2}f}{d{x}^2}+\frac{1}{x}[4-6x^2]\frac{df}{dx}+\left[6\right(\frac{{\omega }^2}{4\pi {\gamma }_{\mathrm{g}}G{\rho }_c})-2\alpha ]f$
	$=$	$(1-x^2)\cdot \frac{d^{2}f}{d{x}^2}+\frac{1}{x}[4-6x^2]\frac{df}{dx}+\mathfrak{𝔉}f,$

where,

$\mathfrak{𝔉}$

$\equiv$

$\left[6\right(\frac{{\omega }^2}{4\pi {\gamma }_{\mathrm{g}}G{\rho }_c})-2\alpha ].$

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):  $(4-x^2)$ appears, whereas it should be $(4-6x^2)$.

In order to see if this differential equation is of the same form as the hypergeometric expression, we'll make the substitution,

$z$	$\equiv$	$x^2$
$\Rightarrow dz$	$=$	$2xdx$
$\Rightarrow \frac{df}{dx}$	$=$	$\frac{dz}{dx}\cdot \frac{df}{dz}=2x\cdot \frac{df}{dz}=2z^{1/2}\cdot \frac{df}{dz}$
$\Rightarrow \frac{d^{2}f}{d{x}^2}$	$=$	$2z^{1/2}\cdot \frac{d}{dz}[2z^{1/2}\cdot \frac{df}{dz}]=2z^{1/2}[z^{-1/2}\cdot \frac{df}{dz}+2z^{1/2}\cdot \frac{d^{2}f}{d{z}^2}]=[2\cdot \frac{df}{dz}+4z\cdot \frac{d^{2}f}{d{z}^2}],$

in which case the 📚 Sterne (1937) LAWE may be rewritten as,

$0$	$=$	$(1-z)[2\cdot \frac{df}{dz}+4z\cdot \frac{d^{2}f}{d{z}^2}]+\frac{1}{z^{1/2}}[4-6z]2z^{1/2}\frac{df}{dz}+\mathfrak{𝔉}f$
	$=$	$(1-z)[4z\cdot \frac{d^{2}f}{d{z}^2}]+(1-z)[2\cdot \frac{df}{dz}]+2[4-6z]\frac{df}{dz}+\mathfrak{𝔉}f$
	$=$	$4z(1-z)\cdot \frac{d^{2}f}{d{z}^2}+2[5-7z]\frac{df}{dz}+\mathfrak{𝔉}f.$

This is, indeed, of the hypergeometric form if we set $(\alpha ,\beta ;\gamma ;z)$

$\gamma$	$=$	$\frac{5}{2},$
$(\alpha +\beta +1)$	$=$	$\frac{7}{2},$
$\alpha \beta$	$=$	$-\frac{\mathfrak{𝔉}}{4}.$

Combining this last pair of expressions gives,

$0$	$=$	$-\frac{\mathfrak{𝔉}}{4}-\alpha [\frac{5}{2}-\alpha ]$
	$=$	${\alpha }^2-\left(\frac{5}{2}\right)\alpha -\frac{\mathfrak{𝔉}}{4}$
$\Rightarrow \alpha$	$=$	$\frac{1}{2}\{\frac{5}{2}\pm [(\frac{5}{2}{)}^2-\mathfrak{𝔉}{]}^{1/2}\}$
	$=$	$\frac{5}{4}\{1\pm [1-\left(\frac{4}{25}\right)\mathfrak{𝔉}{]}^{1/2}\};$

and,

$\beta$

$=$

$\frac{5}{2}-\frac{5}{4}\{1\pm [1-\left(\frac{4}{25}\right)\mathfrak{𝔉}{]}^{1/2}\}.$

Example α = -1

If we set $\alpha =-1$, then the eigenvector is,

$u_1=F(-1,\frac{7}{2};\frac{5}{2};x^2)$

$=$

$1-\left[\frac{\beta }{\gamma }\right]x^2=1-\left(\frac{7}{5}\right)x^2;$

and the corresponding eigenfrequency is obtained from the expression,

$-1$	$=$	$\frac{5}{4}\{1\pm [1-\left(\frac{4}{25}\right)\mathfrak{𝔉}{]}^{1/2}\}$
$\Rightarrow -\frac{9}{5}$	$=$	$\pm [1-(\frac{4}{25})\mathfrak{𝔉}{]}^{1/2}$
$\Rightarrow \frac{3^4}{5^2}$	$=$	$1-\left(\frac{4}{25}\right)\mathfrak{𝔉}$
$\Rightarrow \mathfrak{𝔉}$	$=$	$\left(\frac{5^2}{4}\right)[1-\frac{3^4}{5^2}]=\frac{1}{4}[5^2-3^4]=14.$

As we have reviewed in a separate discussion, this is identical to the eigenvector identified by 📚 Sterne (1937) as mode "$j=1$".

More Generally

More generally, in agreement with 📚 Sterne (1937), for any (positive integer) mode number, $0\le j\le \mathrm{\infty }$, we find,

${\alpha }_j$

$=$

$-j;$       ${\beta }_j=\frac{5}{2}+j;$       $\gamma =\frac{5}{2};$       $\mathfrak{𝔉}=2j(2j+5).$

And, in terms of the hypergeometric function series, the corresponding eigenfunction is,

$u_j=$

$=$

$F({\alpha }_j,{\beta }_j;\frac{5}{2};x^2).$

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,

  $\rho (r)={\rho }_c[1-(\frac{r}{R}{)}^2],$

  where, ${\rho }_c$ is the central density and, $R$ is the radius of the star.

• MathProjects/EigenvalueProblemN1:   In the most general context, the LAWE takes the form,

  $\left[P\right]\frac{d^2{{𝒢}}_{\sigma }}{d{x}^2}+[\frac{4P}{x}+P^{\text{'}}]\frac{d{{𝒢}}_{\sigma }}{dx}+[{\sigma }^2\rho +\frac{\alpha P^{\text{'}}}{x}]{{𝒢}}_{\sigma }$

  $=$

  $0.$

  Properties of Analytically Defined Astrophysical Structures
  Model	$\rho (x)$	$P(x)$	$P^{\text{'}}(x)$
  Uniform-density	$1$	$1-x^2$	$-2x$
  Linear	$1-x$	$(1-x{)}^2(1+2x-\frac{9}{5}{x}^2)$	$-\frac{12}{5}x(1-x)(4-3x)$
  Parabolic	$1-x^2$	$(1-x^2{)}^2(1-\frac{1}{2}{x}^2)$	$-x(1-x^2)(5-3x^2)$
  $n=1$ Polytrope	$\frac{\sin x}{x}$	$[\frac{\sin x}{x}{]}^2$	$\frac{2}{x}[\cos x-\frac{\sin x}{x}]\frac{\sin x}{x}$