SSC/Structure/Polytropes/Analytic

From JETohlineWiki
Jump to navigation Jump to search

Polytropic Spheres[edit]


Lane (1870)

 


Part I:  Isolated Polytropes

 


Part II:  Known Analytic Solutions

 


Part III:  Numerical Solutions

 

Known Analytic Solutions[edit]

Known
Analytic
Solutions

While the Lane-Emden equation has been studied for over 100 years, to date, analytic solutions to the equation (subject to the above specified boundary conditions) have been found only for three values of the polytropic index, n. We will review these three solutions here.  
 
 
 
 

n = 0 Polytrope[edit]

When the polytropic index, n, is set equal to zero, the right-hand-side of the Lane-Emden equation becomes a constant (1), so the equation can be straightforwardly integrated, twice, to obtain the desired solution for ΘH(ξ). Specifically, the first integration along with enforcement of the boundary condition on dΘH/dξ at the center gives,

ξ2dΘHdξ=13ξ3.

Then the second integration along with enforcement of the boundary condition on ΘH at the center gives,

ΘH=116ξ2.

This function varies smoothly from unity at ξ=0 (as required by one of the boundary conditions) to zero at ξ=ξ1=6 (by tradition, the subscript "1" is used to indicate that it is the "first" zero of the Lane-Emden function), then becomes negative for values of ξ>ξ1.

The astrophysically interesting surface of this spherical configuration is identified with the first zero of the function, that is, where the dimensionless enthalpy first goes to zero. In other words, the dimensionless radius ξ1 should correspond with the dimensional radius of the configuration, R. From the definition of ξ, we therefore conclude that,

an=0=Rξ1=R6,

and

ξ=6(rR),

Hence, the Lane-Emden function solution can also be written as,

ΘH=HHc=1(rR)2.

Since,

an=02=14πG(Hcρc)=R26,

we also conclude that,

Hc=2πG3ρcR2.

This, combined with the Lane-Emden function solution, tells us that the run of enthalpy through the configuration is,

H(r)=2πG3ρcR2[1(rR)2].

Now, it is always true for polytropic structures — see, for example, expressions at the top of this page of discussion — that ρ can be related to H through the expression,

(ρρc)=(HHc)n=ΘHn.

Hence, for the specific case of an n = 0 polytrope, we deduce that

ρρc=1.

This means that an n = 0 polytropic sphere is also a uniform-density sphere. It should come as no surprise to discover, therefore, that the functional behavior of H(r) we have derived for the n = 0 polytrope is identical to the H(r) function that we have derived elsewhere for uniform-density spheres. All of the other summarized properties of uniform-density spheres can therefore also be assigned as properties of n = 0 polytropes.

n = 0 Polytrope

In particular, after integrating the hydrostatic-balance equation,

dPdr=GMrρr2

we find that the expression for the pressure is,

P(r)=Pc[1(rR)2] ,

where,

Pc=2πG3ρc2R2=3G8π(Mtot2R4) .

n = 1 Polytrope[edit]

Primary E-Type Solution[edit]

When the polytropic index, n, is set equal to unity, the Lane-Emden equation takes the form of an inhomogeneous, 2nd-order ODE that is linear in the unknown function, ΘH. Specifically, to derive the radial distribution of the Lane-Emden function ΘH(r) for an n = 1 polytrope, we must solve,

1ξ2ddξ(ξ2dΘHdξ)=ΘH ,

subject to the above-specified boundary conditions. If we multiply this equation through by ξ2 and move all the terms to the left-hand-side, we see that the governing ODE takes the form,

ξ2d2ΘHdξ2+2ξdΘHdξ+ξ2ΘH=0,

which is a relatively familiar 2nd-order ODE (the spherical Bessel differential equation) whose general solution involves a linear combination of the order zero spherical Bessel functions of the first and second kind, respectively,

j0(ξ)=sinξξ,

and,

y0(ξ)=cosξξ.

Given the boundary conditions that have been imposed on our astrophysical problem, we can rule out any contribution from the y0 function. The desired solution is,

ΘH(ξ)=j0(ξ)=sinξξ.

This function is also referred to as the (unnormalized) sinc function.

LaTeX mathematical expressions cut-and-pasted directly from
NIST's Digital Library of Mathematical Functions

As an additional point of reference, note that according to §10.47 of NIST's Digital Library of Mathematical Functions, a Spherical Bessel Function is the solution to the 2nd-order ODE,

z2d2wdz2+2zdwdz+(z2m(m+1))w

=

0.

This is our governing ODE if we set the parameter, m0, in which case, according to §10.49 of NIST's Digital Library of Mathematical Functions, the solutions are,

j0(z)

=

sinzz,

y0(z)

=

coszz.


Because, by definition, H/Hc=ΘH, and for an n = 1 polytrope ρ/ρc=H/Hc, we can immediately conclude from this Lane-Emden function solution that,

ρ(ξ)ρc=H(ξ)Hc=sinξξ.

Furthermore, because the relation (n + 1)P = Hρ holds for all polytropic gases, we conclude that the pressure distribution inside an n = 1 polytrope is,

P(ξ)Pc=(sinξξ)2.

The functions P(ξ), H(ξ), and ρ(ξ) all first drop to zero when ξ=π. Hence, for an n = 1 polytrope, ξ1=π and, in terms of the configuration's radius, R, the polytropic scale length is,

an=1=Rξ1=Rπ.

So, throughout the configuration, we can relate ξ to the dimensional spherical coordinate r through the relation,

ξ=π(rR);

and, from the general definition of an, the central value of H can be expressed in terms of R and ρc via the relation,

Hc=4GπρcR2.

Again because the relation (n + 1)P = Hρ must hold everywhere inside a polytrope, this means that the central pressure is given by the expression,

Pc=2Gπρc2R2.

Given the radial distribution of ρ, we can determine the functional behavior of the integrated mass. Specifically,

Mr(ξ)

=

0r4πr2ρdr

 

=

4πρc(Rπ)30ξξsinξdξ

 

=

4π2ρcR3[sinξξcosξ].

Because ξ=π at the surface of this spherical configuration — in which case the term inside the square brackets is π — we conclude as well that the total mass of the configuration is,

M=4πρcR3.


n = 1 Polytrope

Let's verify the expression for the pressure by integrating the hydrostatic-balance equation,

dPdr=GMrρr2

From our introductory discussion of the

Lane-Emden Equation

1ξ2ddξ(ξ2dΘHdξ)=ΘHn

we appreciate that, for a n=1 polytrope,

ρ=ρcΘH=ρc(sinξξ),

and,

r=[K12πG]1/2ξ,            in which case, [K12πG]1/2=Rπ.

Combining these expressions with our above-derived expression for Mr, namely,

Mr(ξ)

=

0r4πr2ρdr

 

=

4πρc[K12πG]3/20ξξsinξdξ

 

=

4πρc(Rπ)3[sinξξcosξ],

the RHS of the hydrostatic-balance relation can be written as,

RHS=G[Mr][ρ][r]2 =

G[4π2ρcR3[sinξξcosξ]][ρc(sinξξ)][Rξπ]2

  =

Gρc2R3π2R2(4π2)[sinξξcosξ](sinξξ3)

  =

4Gρc2R{sin2ξξ3sinξcosξξ2}.

Now, let's integrate the hydrostatic-balance equation:

PcPdP =

4Gρc2R2π0ξ{sinξcosξξ2sin2ξξ3}dξ

PPc =

4Gρc2R2π[sin2ξ2ξ2]0ξ

P =

Pc+2Gρc2R2π[sin2ξξ21]

PPc =

(sinξξ)2,

where, in order to make the last step, we have set the central pressure to, Pc=2Gρc2R2/π. This agrees with the above derivation.

Summary[edit]

From the above derivations, we can describe the properties of a spherical n = 1 polytrope as follows:

  • Mass:
Given the density, ρc, and the radius, R, of the configuration, the total mass is,

M=4πρcR3 ;

and, expressed as a function of M, the mass that lies interior to radius r is,

MrM=1π[sin(πrR)(πrR)cos(πrR)] .

  • Pressure:
Given values for the pair of model parameters (ρc,R), or (M,R), or (ρc,M), the central pressure of the configuration is,

Pc=2Gπρc2R2=πG8(M2R4)=[12πG3ρc4M2]1/3 ;

and, expressed in terms of the central pressure Pc, the variation with radius of the pressure is,

P(r)=Pc[Rπrsin(πrR)]2 .

  • Enthalpy:
Throughout the configuration, the enthalpy is given by the relation,

H(r)=2P(r)ρ(r)=GMR[Rπrsin(πrR)] .

  • Gravitational potential:
Throughout the configuration — that is, for all rR — the gravitational potential is given by the relation,

ΦsurfΦ(r)=H(r)=GMR[Rπrsin(πrR)] .

Outside of this spherical configuration— that is, for all rR — the potential should behave like a point mass potential, that is,

Φ(r)=GMr .

Matching these two expressions at the surface of the configuration, that is, setting Φsurf=GM/R, we have what is generally considered the properly normalized prescription for the gravitational potential inside a spherically symmetric, n = 1 polytropic configuration:

Φ(r)=GMR{1+[Rπrsin(πrR)]} .

  • Mass-Radius relationship:
We see that, for a given value of ρc, the relationship between the configuration's total mass and radius is,

MR3orRM1/3 .

  • Central- to Mean-Density Ratio:
The ratio of the configuration's central density to its mean density is,

ρcρ¯=(πM4R3)(3M4πR3)=π23 .

file = Dropbox/WorkFolder/Wiki edits/EmbeddedPolytropes/n1.xlsx --- worksheet = Sheet1
file = Dropbox/WorkFolder/Wiki edits/EmbeddedPolytropes/n1.xlsx --- worksheet = Sheet1
Figure 1:   Mass vs. Radius
for n = 1 polytrope
n = 1 mass vs. radius diagram

For the purposes of comparing the internal structure of configurations having different polytropic indexes — see, for example Figure 4 in an accompanying chapter — we have found it useful in each case to graphically illustrate how the normalized mass, M/MSWS, varies with the normalized radius, R/RSWS, where the definition of these two functions is drawn from an accompanying discussion of pressure-truncated polytropic configurations. In the case of an n=1 polytrope, both functions are expressible analytically; specifically, we have,

RRSWS|n=1

(14π)1/2ξ;

MMSWS|n=1

=

(14π)1/2[ξ2θn|dθndξ|]n=1

 

=

(14π)1/2ξ3sinξ[sinξξcosξξ2]

 

=

(14π)1/2ξ[1ξcotξ].

As Figure 1 illustrates, this normalized mass increases monotonically with radius. Given that the surface of the configuration is associated with the parameter value, ξ=π, we recognize that, at the surface, R/RSWS=π/40.8862269 and M/MSWS formally climbs to infinity.

Published n = 1 Tabulations[edit]

Published Tabulations of n = 1 Polytropic Structure (Primary E-Type Solution)

Copied from p. 75 of Emden (1907)

 

Copied from p. 73 of Horedt (2004)

𝔯1 u1 du1d𝔯1   ξ ΘH dΘHdξ
0 1 0   0 1 0
  110 9.983342E01 3.330001E02
14 0.98960 0.08280  
12 0.95882 0.16250   12 9.588511E01 1.625370E01
34 0.90886 0.23623  
1 0.84148 0.30117   1 8.414710E01 3.011687E01
114 0.75918 0.35511  
112 0.66500 0.39622  
2 0.45464 0.43541   2 4.546487E01 4.353978E01
212 0.23938 0.41621  
3 0.04703 0.34569   3 4.704000E02 3.3456775E01
  3.140 5.072143E04 3.186325E01
π 0 0.31831   π 0 3.183099E01
314 0.03330 0.29564  

n = 5 Polytrope[edit]

Primary E-Type Solution[edit]

To derive the radial distribution of the Lane-Emden function ΘH(r) for an n = 5 polytrope, we must solve,

1ξ2ddξ(ξ2dΘHdξ)=(ΘH)5 ,

subject to the above-specified boundary conditions. Following Emden (1907), [C67] (pp. 93-94) shows that by making the substitutions,

ξ=1x=et;ΘH=(x2)1/2z=(12et)1/2z,

the differential equation can be rewritten as,

d2zdt2=14z(1z4).

This equation has the solution,

z=±[12Ce2t(1+Ce2t)2]1/4,

that is,

ΘH=[3C(1+Cξ2)2]1/4.

where C is an integration constant. Because ΘH must go to unity when ξ=0, we see that C=1/3. Hence,

ΘH=[1+13ξ2]1/2.

From this Lane-Emden function solution, we obtain,

ρρc=ΘH5=[1+13ξ2]5/2,

and,

PPc=(ρρc)6/5=[1+13ξ2]3.

Notice that, for this polytropic structure, the density and pressure don't go to zero until ξ. Hence, ξ1=. However, the radial scale length,

a5=[14πG(Hcρc)]1/2=[(n+1)K4πGρc(1/n1)]1/2=[3K2πG]1/2ρc2/5.

Hence,

Mr(ξ)

=

4πρca530ξξ2[1+13ξ2]5/2dξ

 

=

4π[3K2πG]3/2ρc1/5{3ξ3(3+ξ2)3/2}

 

=

[234K3πG3]1/2ρc1/5{ξ3(3+ξ2)3/2}.


n = 5 Polytrope

Let's verify the expression for the pressure by integrating the hydrostatic-balance equation,

dPdr=GMrρr2

From our introductory discussion of the

Lane-Emden Equation

1ξ2ddξ(ξ2dΘHdξ)=ΘHn

we appreciate that, for a n=5 polytrope,

ρ=ρcΘH5=ρc(1+13ξ2)5/2,

and,

r=(3K52πG)1/2ρc2/5ξ.

Combining these expressions with our above-derived expression for Mr, namely,

Mr(ξ)

=

(234K3πG3)1/2ρc1/5{ξ3(3+ξ2)3/2},

the RHS of the hydrostatic-balance relation can be written as,

RHS=G[Mr][ρ][r]2 =

G[(234K3πG3)1/2ρc1/5{ξ3(3+ξ2)3/2}][ρc(1+13ξ2)5/2][(3K52πG)1/2ρc2/5ξ]2

  =

G35/2(234K3πG3)1/2ρc1/5ρc[(2πG3K5)ρc4/5][ξ(3+ξ2)4]

  =

(2337πGK)1/2ρc8/5[ξ(3+ξ2)4]

Now, let's integrate the hydrostatic-balance equation:

PcPdP =

(2337πGK)1/2ρc8/5(3K52πG)1/2ρc2/50ξ[ξ(3+ξ2)4]dξ

PPc =

234Kρc6/5{16(3+ξ2)3}0ξ

P =

Pc+33Kρc6/5[1(3+ξ2)31(3)3]

  =

Pc+Kρc6/5[(1+ξ2/3)31]

  =

Pc(1+ξ23)3,

where, Pc=Kρc6/5.

The function of ξ inside the curly brackets of this last expression goes to unity as ξ, so the integrated mass is finite even though the configuration extends to infinity. Specifically, the total mass is,

M=[234K3πG3]1/2ρc1/5.

We can invert this formula to obtain an expression for K in terms of M and ρc, namely,

K=[πM2G3234]1/3ρc2/15.

This, in turn, means that the central pressure,

Pc=Kρc6/5=[πM2G3234]1/3ρc4/3,

and,

Hc=6Pcρc=[22πM2G33]1/3ρc1/3.


file = Dropbox/WorkFolder/Wiki edits/EmbeddedPolytropes/NewN5.xlsx --- worksheet = AnalyticMR
file = Dropbox/WorkFolder/Wiki edits/EmbeddedPolytropes/NewN5.xlsx --- worksheet = AnalyticMR
Figure 2:   Mass vs. Radius
for n = 5 polytrope
n = 5 mass vs. radius diagram

For the purposes of comparing the internal structure of configurations having different polytropic indexes — see, for example Figure 4, below — we have found it useful in each case to graphically illustrate how the normalized mass, M/MSWS, varies with the normalized radius, R/RSWS, where the definition of these two functions is drawn from an accompanying discussion of pressure-truncated polytropic configurations. In the case of an n=5 polytrope, both functions are expressible analytically; specifically, we have,

RRSWS

=

(54π)1/2[ξθ2]n=5

 

=

(54π)1/2ξ[1+ξ23]1

 

=

(54π)1/2[3ξ3+ξ2];

MMSWS

(534π)1/2[θξ2|dθdξ|]n=5

 

(534π)1/2{ξ2[1+ξ23]1/2ξ3[1+ξ23]3/2}

 

(534π)1/23ξ3(3+ξ2)2.

As Stahler has pointed out, for an n=5 polytrope, this mass-radius relation can also be precisely couched in the form of a quadratic equation, namely,

0

=

(MMSWS)25(MMSWS)(RRSWS)+225π3(RRSWS)4

MMSWS

=

52(RRSWS)[1±124π35(RRSWS)2].

As Figure 2 illustrates, this mass-radius relationship exhibits two turning points:   The maximum radius occurs at coordinate location,

[RRSWS,MMSWS]R_turn=[(3524π)1/2,(35326π)1/2][0.5462742,1.3656855];

and the maximum mass occurs at coordinate location,

[RRSWS,MMSWS]M_turn=[(32526π)1/2,(3453210π)1/2][0.4730873,1.7740776].

Published n = 5 Tabulations[edit]

Published Tabulations of n = 5 Polytropic Structure (Primary E-Type Solution)

Copied from p. 76 of Emden (1907)

 

Copied from p. 75 of Horedt (2004)

𝔯1 u1 du1d𝔯1   ξ ΘH dΘHdξ
0 1 0   0 1 0
  110 9.983375E01 3.316736E02
14 0.98974 0.08079  
24 0.96078 0.14781   12 9.607689E01 1.478106E01
34 0.91768 0.19320  
1 0.86602 0.21650   1 8.660254E01 2.165064E01
32 0.75593 0.21598  
2 0.65465 0.18704  
52 0.56950 0.15392  
3 0.50000 0.12500  
72 0.44353 0.10180  
4 0.39736 0.08365  
5 0.32733 0.05845   5 3.273268E01 5.845122E02
6 0.27735 0.04267  
7 0.24020 0.03233  
8 0.21160 0.02527  
10 0.17066 0.01657   10 1.706640E01 1.656932E02
12 0.14286 0.01166  
16 0.10763 0.00665  
20 0.08628 0.00428  
30 0.05764 0.00192  
  50 3.462025E02 6.915751E04
  100 1.731791E02 1.731272E04
  500 3.464081E03 6.928079E06
  1000 1.732048E03 1.732043E06
  0.000000E+00 0.000000E+00

Srivastava's F-Type Solution[edit]

Demonstration of Function's Validity[edit]

In a short paper, S. Srivastava (1968, ApJ, 136, 680) presents another, analytically prescribable solution to the Lane-Emden equation of index n=5 that we will call upon in our discussion of one category of bipolytropic configurations. Rather than repeat Srivastava's derivation here, we will simply specify his functional solution then demonstrate that it satisfies the Lane-Emden equation. Srivastiva's Lane-Emden function is (see his equations 12 & 13),

θ5F

=

sin[ln(Aξ)1/2)]ξ1/2{32sin2[ln(Aξ)1/2]}1/2,

where, A is an arbitrary (positive) constant. Adopting the shorthand notation,

Δln(Aξ)1/2,

and, recognizing that,

ddln(Aξ)[ln(Aξ)1/2]=12

               

dΔdξ=12ξ,

the first derivative of Srivastava's Lane-Emden function is,

dθ5Fdξ

=

cosΔ2ξ3/2(32sin2Δ)1/2sinΔ2ξ3/2(32sin2Δ)1/2+sin2ΔcosΔξ3/2(32sin2Δ)3/2

 

=

12ξ3/2(32sin2Δ)3/2[(cosΔsinΔ)(32sin2Δ)+2sin2ΔcosΔ]

 

=

3cosΔ3sinΔ+2sin3Δ2ξ3/2(32sin2Δ)3/2.

Hence, the left-hand-side of the,

Lane-Emden Equation

1ξ2ddξ(ξ2dΘHdξ)=ΘHn

is,

LHS

=

1ξ2ddξ[ξ1/2(3cosΔ3sinΔ+2sin3Δ)2(32sin2Δ)3/2]

 

=

1ξ2[(3cosΔ3sinΔ+2sin3Δ)4ξ1/2(32sin2Δ)3/2+(3sinΔ3cosΔ+6sin2ΔcosΔ)4ξ1/2(32sin2Δ)3/2

 

 

+3(3cosΔ3sinΔ+2sin3Δ)sinΔcosΔ2ξ1/2(32sin2Δ)5/2]

 

=

22ξ5/2(32sin2Δ)5/2[(32sin2Δ)(3cosΔ3sinΔ+2sin3Δ)

 

 

+(32sin2Δ)(3sinΔ3cosΔ+6sin2ΔcosΔ)+6(3cosΔ3sinΔ+2sin3Δ)sinΔcosΔ]

 

=

22ξ5/2(32sin2Δ)5/2[(32sin2Δ)(6sinΔ+2sin3Δ+6sin2cosΔ)

 

 

+6(3cosΔ3sinΔ+2sin3Δ)sinΔcosΔ]

 

=

22ξ5/2(32sin2Δ)5/2[18sinΔ+6sin3Δ+18sin2cosΔ+12sin3Δ4sin5Δ12sin4cosΔ

 

 

+18sinΔcos2Δ18sin2ΔcosΔ+12sin4ΔcosΔ]

 

=

22ξ5/2(32sin2Δ)5/2[4sin5Δ]

 

=

θ5F5.

This demonstrates that Srivastava's function satisfies the Lane-Emden equation of index n=5.

Function Properties[edit]

The function, θ5F, looks like a damped oscillator with the following specific properties:

  • As ξ increases from zero, the function oscillates with an ever increasing period; the function goes through zero when Δ=±πm (m is an integer), that is, when (Aξ)=e±2πm.
  • The amplitude of the oscillation drops approximately as ξ1/2.
  • In an astrophysical context, the function can be used as a physically realistic representation of a spherical shell inside of a self-gravitating configuration only over the interval of a single oscillation for which θ5F is positive (ensuring that the mass density is everywhere positive) and, at the same time, dθ5F/dξ is negative (ensuring that the density and pressure are a decreasing function of the radial coordinate). In the following example, the astrophysically relevant segment of the function is identified with the parameter interval, ξcrit(Aξ)e2π.
Example Interval[edit]

As an example, let's set A=1 and examine the oscillation interval between m=0 and m=1, that is, over the range, 0Δπ which corresponds to the parameter interval ξ=[1,e2π]. The denominator of θ5F is positive for all values of ξ and, over this specified interval, the numerator of θ5F is also always positive. The blue curve in the following figure presents a plot of θ5F(x) and the green curve presents a plot of the first derivative (the slope) of the function dθ5F(x)/dξ over the desired interval, where xξ/e2π; note that the horizontal axis is shown in logarithmic units.

Figure 3:   Our Determination and Presentation of
a Segment of the θ5F Function as originally derived by
📚 Srivastava (1962)
Srivastava's Lane-Emden function for n = 5
Srivastava's Lane-Emden function for n = 5

At both ends of the chosen parameter interval — that is, at Δ=0 and at Δ=π — the function θ5F=0 and, correspondingly as depicted in the figure, the blue curve touches the horizontal axis. At the beginning of the interval (Δ=0), the slope of the function and, correspondingly, the green curve, has the (positive) value,

dθ5Fdξ

=

3cos(0)3sin(0)+2sin3(0)2ξ3/2[32sin2(0)]3/2=32(33/2)=(223)1/20.28868.

At the end of the interval (Δ=π), the slope of the function as well as the green curve, has the (negative) value,

dθ5Fdξ

=

3cos(π)3sin(π)+2sin3(π)2ξ3/2[32sin2(π)]3/2=32e3π(33/2)=e3π(223)1/22.3296×105.

Over this interval, θ5F reaches its maximum when the slope of the function is zero, that is, at the value of Δ where,

0

=

3cosΔ3sinΔ+2(1cos2Δ)sinΔ

 

=

3cosΔsinΔ2cos2ΔsinΔ

1

=

3cotΔ2cos2Δ.

Rewriting both of these trigonometric functions in terms of the tangent function and adopting the shorthand notation,

ytanΔ,

this condition becomes,

1

=

3y21+y2

y(y2+1)

=

3(y2+1)2y

y33y2+3y3

=

0.

ASIDE: As is well known and documented — see, for example Wolfram MathWorld or Wikipedia's discussion of the topic — the roots of any cubic equation can be determined analytically. In order to evaluate the root(s) of our particular cubic equation, we have drawn from the utilitarian online summary provided by Eric Schechter at Vanderbilt University. For a cubic equation of the general form,

ay3+by2+cy+d=0,

a real root is given by the expression,

y=p+{q+[q2+(rp2)3]1/2}1/3+{q[q2+(rp2)3]1/2}1/3,

where,

pb3a,      q[p3+bc3ad6a2],      and      r=c3a.

In our particular case,

a=1,      b=3,      c=+3,      and      d=3.

WolframAlpha
Hence, interestingly enough,

p=q=r=+1,

which implies that the real root is,

y

=

1+{2}1/3+{0}1/3.

(There is also a pair of imaginary roots, but they are irrelevant in the context of our overarching astrophysical discussion.)

Just for fun, we have also used WolframAlpha's online "cubic equation solver" widget to find the root(s) of our specific cubic equation. Clicking on the thumbnail image provided here, on the right, displays the key result that was returned by this WolframAlpha widget.


The single, real root of this cubic equation is,

y=1+21/3,

which corresponds to,

Δ=tan1(1+21/3).

Comment by J. E. Tohline on 17 April 2015: As far as I have been able to determine, this analytic prescription of xi_crit has not previously been derived, although, as is made clear in what follows, Murphy (1983) has assessed its value numerically to six significant digits.
Comment by J. E. Tohline on 17 April 2015: As far as I have been able to determine, this analytic prescription of xi_crit has not previously been derived, although, as is made clear in what follows, Murphy (1983) has assessed its value numerically to six significant digits.

Hence, over this example interval, the maximum of Srivastava's

θ5F

function — and, hence also, the location at which the function's slope transitions from positive to negative values (denoted by the vertical red line in the above figure) — occurs at,

ξcrite2tan1(1+21/3)=10.05836783.

The corresponding value of the function at this critical radial location is,

θ5F|maxθ5F(ξcrit)=(1+21/3)[3+(1+21/3)2]1/2etan1(1+21/3)=0.250260848.

This agrees precisely with the determination made by 📚 J. O. Murphy (1983a, Proc. Astron. Soc. Australia, Vol. 5, no. 2, pp. 175 - 179) — see the excerpts from his paper displayed in the following boxed-in image — that the portion of the θ5F function that falls in the interval 1(Aξ)<ξcrit (the segment of the blue curve that lies to the left of the vertical red line in the above figure) is unphysical because the slope of the function is positive throughout that interval.

Equation and text extracted from p. 177 of …
J. O. Murphy (1983)
Composite Analytical Solutions of the Lane-Emden Equation with Polytropic Indices n = 1 and n = 5
Proceedings of the Astronomical Society of Australia, Vol. 5, no. 2, pp. 175 - 179

on the interval [1,e2π]     …     dθ5F/dξ>0 in the range [1, 10.0583]


θ5F(ζ)MAX=0.2503A     at     ζ=10.0583/A

Equations and text displayed here, with presentation order & layout modified from the original publication.

On the other hand, the segment that falls in the interval, ξcrit(Aξ)e2π, whose function values lie in the range, θ5F|max(A1/2θ5F)0 — that is, the segment of the blue curve that lies to the right of the vertical red line in the above figure — can be used to describe the n=5 "envelope" of a bipolytropic configuration because the function value is positive while it's first derivative is negative.

Other (All) Solutions[edit]

In a very clearly written article titled, All Solutions of the n = 5 Lane-Emden Equation, Patryk Mach (2012, J. Math. Phys., 53, 062503) has pointed out that there are other families of solutions to the Lane-Emden equation of index, n=5, in addition to the two solutions that have just been detailed, which he includes as his equations (3) and (5):

Equations extracted from pp. 062503-1 & -2 of Mach (2012)

"All Solutions of the n = 5 Lane-Emden Equation"

Journal of Mathematical Physics, vol. 53, pp. 062503-062503-6 © American Institute of Physics

θ(ξ)

=

±11+ξ2/3

      (3)

θ(ξ)

=

±sin(lnξ)3ξ2ξsin2(lnξ)

      (5)

Equations displayed here, with layout modified from the original publication.


For completeness, Mach mentions a well-known solution that works for all indexes, n>3, which we have discussed separately in the context of power-law density distributions, namely,

θn(ξ)=ρρc=[2(n3)(n1)2]n/(n1)ξ2n/(n1).

In addition, Mach identifies the rarely referenced work of H. Goenner & P. Havas (2000, J. Math. Phys., 41, 7029), which presents a family of solutions that is expressed in terms of the Weierstrass elliptic function; and he derives a new family of solutions — see equation (10) in his §2.1 — that can be expressed entirely in terms of Jacobi elliptic functions. Mach's new solutions, in particular, are oscillatory (like Srivastava's solution) but have no zeros, so in isolation they are not likely to be useful for astrophysical models. But, as Mach suggests, they "can be used in composite stellar models on the same footing as Srivastava's solution" — see our accompanying description of a composite model using Srivastava's solution.

Other Analytically Definable, but Non-Polytropic Equilibrium Spheres[edit]

In an accompanying chapter, we summarize the results of published work in which analytic equilibrium structures have been constructed without adopting a polytropic pressure-density relation. In one case, the density is assumed to drop linearly from the center to the surface; in a second case, it is assumed that the configuration has a parabolic density distribution.


Tiled Menu

Appendices: | VisTrailsEquations | VisTrailsVariables | References | Ramblings | VisTrailsImages | myphys.lsu | ADS |