SSC/Structure/Polytropes

From jetwiki
Revision as of 15:52, 6 December 2023 by Jet53man (talk | contribs) (Related Discussions)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Polytropic Spheres

Isolated
Polytropes

Here we will supplement the simplified set of principal governing equations with a polytropic equation of state, as defined in our overview of supplemental relations for time-independent problems. Specifically, we will assume that ρ is related to H through the relation,


ρ=[H(n+1)Kn]n

It will be useful to note as well that, for any polytropic gas, the three key state variables are always related to one another through the simple expression,

(n+1)P=Hρ .

In his effort to model the Sun's interior, J. Homer Lane (1870) was the first to couch an examination of stellar structure in the context of, what is now usually referred to as, "polytropic structures." He examined the structural properties of spherically symmetric models having, effectively, indexes of n=32 and n=52. In an accompanying chapter, we review this early groundbreaking work highlighting the quantitative care with which Lane carried out his analysis. A much more expansive study of polytropic (and isothermal) structures was subsequently published by Emden (1907), who was aware of Lane's work — see, for example, the footnote on p. 462 of his book. It is largely Emden's notation — especially as employed by [C67] — that is adopted in current discussions of polytropic structures, including our discussion which follows.

Governing Relations

Lane-Emden Equation

Adopting solution technique #2, we need to solve the following second-order ODE relating the two unknown functions, ρ and H:

1r2ddr(r2dHdr)=4πGρ .

It is customary to replace H and ρ in this equation by a dimensionless polytropic enthalpy, ΘH, such that,

ΘHHHc=(ρρc)1/n,

where the mathematical relationship between H/Hc and ρ/ρc comes from the adopted barotropic (polytropic) relation identified above. To accomplish this, we replace H with HcΘH on the left-hand-side of the governing differential equation and we replace ρ with ρcΘHn on the right-hand-side, then gather the constant coefficients together on the left. The resulting ODE is,

[14πG(Hcρc)]1r2ddr(r2dΘHdr)=ΘHn .

The term inside the square brackets on the left-hand-side has dimensions of length-squared, so it is also customary to define a dimensionless radius,

ξran,

where,

an[14πG(Hcρc)]1/2=[(n+1)Kn4πGρc(1n)/n]1/2,

in which case our governing ODE becomes what is referred to in the astronomical literature as the,

Lane-Emden Equation

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

§IV.2 of [C67], p. 88, Eq. (11)

Our task is to solve this ODE to determine the behavior of the function ΘH(ξ) — and, from it in turn, determine the radial distribution of various dimensional physical variables — for various values of the polytropic index, n. In particular, from time to time we will find it useful to realize that the mass interior to r is given by the expression,

Mr = 0r4πρr2dr=4πρcan30ξΘHnξ2dξ
  = 4πρcan30ξ[1ξ2ddξ(ξ2dΘHdξ)]ξ2dξ
  = 4πρcan3(ξ2dΘHdξ).

§IV.5.b of [C67], p. 97, Eq. (67)

ASIDE: In an accompanying discussion of pressure-truncated polytropes, we adopt the following length normalization:

Rnorm

[(GKn)nMtotn1]1/(n3).

Let's see how the traditional Lane-Emden length scale, an, relates.

an2

=

[(n+1)Kn4πG][ρcρ¯](1n)/n[3Mtot4π(anξ1)3](1n)/n

 

=

[(n+1)Kn3GMtot(1n)/n]𝔣M(n1)/nξ13(n1)/n(34π)1/nan3(n1)/n

an(n3)/n

=

[3(n+1)(GKn)Mtot(n1)/n][𝔣Mξ13](1n)/n(4π3)1/n

anRnorm

=

[3(n+1)]n/(n3)[𝔣Mξ13](1n)/(n3)(4π3)1/(n3).

where, we have made use of the relation drawn from our accompanying discussion of structural form factors — see, also, here

𝔣M=[3θ'ξ]ξ1,

denotes the equilibrium ratio of the mean-to-central density. We conclude, therefore, that, in terms of Rnorm, the equilibrium radius of an isolated polytrope is,

[ReqRnorm](n3)

=

[anξ1Rnorm](n3)=[3(n+1)]n[𝔣Mξ13](1n)(4π3)ξ1(n3)

 

=

4π(n+1)n[(θ')ξ2]ξ1(1n)ξ1(n3)

ReqRnorm

=

[4π(n+1)n]1/(n3)[(θ')ξ2]ξ1(1n)/(n3)ξ1.

This matches the expression presented in an accompanying summary supporting a PowerPoint presentation.

Boundary Conditions

Given that it is a 2nd-order ODE, a solution of the Lane-Emden equation will require specification of two boundary conditions. Based on our definition of the variable ΘH, one obvious boundary condition is to demand that ΘH=1 at the center (ξ=0) of the configuration. In astrophysically interesting structures, we also expect the first derivative of many physical variables to go smoothly to zero at the center of the configuration — see, for example, the radial behavior that was derived for P, H, and Φ in a uniform-density sphere. Hence, we will seek solutions to the Lane-Emden equation where dΘH/dξ=0 at ξ=0 as well.

Known Analytic Solutions

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

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 = 1 Polytrope

Primary E-Type Solution

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.

Summary

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, 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=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

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

Primary E-Type Solution

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}.

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

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

Demonstration of Function's Validity

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

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

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:   Segment of θ5F Function

as derived by S. Srivastava (1968, ApJ, 136, 680)
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 (1983) — 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 and Analytical Solutions of the Lane-Emden Equation with Polytropic Indices N = 1 and N = 5"

Proc. Astronomical Soc. Australia, vol. 5, pp. 175-179 © Astronomical Society of Australia

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

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.

Numerical Solutions

Here we explain how an Excel workbook can be used to numerically solve the Lane-Emden equation, evaluating the Lane-Emden function across a one-dimensional, discrete grid.

Techniques

HSCF Technique

via
Self-Consistent
Field (SCF)
Technique

On the first spreadsheet within the workbook, we establish the following columns of number:

  • Column A:   Labeled ri/R (for i between 1 and N), that represents a discrete radial grid of spacing, Δ=(N1)1; each row gives the radial coordinate location of the ith zone, starting from r1/R=0 and ending at rN/R=1.
  • Column B:   Labeled rhfi (for i between 1 and N-1); each row gives the radial coordinate of the mid-point of a grid zone.
  • rhfi12[riR+ri+1R].

  • Column C:   Labeled ρi (for i between 1 and N-1); each row provides an initial guess for the mass-density of the grid zone. Usually it is sufficient to guess, ρi=1 throughout. For an n=0 polytrope, this proves also to be the correct final density profile.
  • Column D:   Labeled Mi (for i between 1 and N); the ith row gives the integrated mass enclosed interior to the radial grid coordinate, ri/R. Specifically, M1=0, and thereafter, beginning with zone, i=2,
  • Mi=Mi1+4πρi13[(riR)3(ri1R)3].

  • Note that, Mtot=MN.
  • Column E:   Labeled gi (for i between 2 and N); each row tabulates the inwardly directed gravitational acceleration that is felt at the outer edge of each grid zone. Specifically,
  • gi=GMi(ri/R)2.

  • Column F:   Labeled Φi (for i between 1 and N); each row gives the value of the gravitational potential at the mid-point of a grid zone. Here, we start by specifying the value of the potential just (specifically, half a radial grid-zone) outside the surface of the configuration, where it should be, ΦN=GMtot/(1+Δ/2). Then, working from the surface, inward and, given that, g=dΦ/dr, we use the corresponding finite-difference representation of the radial derivative and set,
  • ΦiΦi1Δ

    =

    gi

    Φi1

    =

    ΦigiΔ.

  • Note that the value of the gravitational potential at the surface is not ΦN but, rather, must be Φsurf=GMtot/R.
  • Furthermore, note that a lop-sided Taylor-series expansion about the center of the configuration provides the following good approximation to the gravitational potential at the center:   Φc(9Φ1Φ2)/8.
  • Note as well that all of these numerically determined values of the gravitational potential can be checked against the known analytic expression for the radial profile of the potential in a uniform-density sphere.
  • Column G:   Labeled Hi (for i between 1 and N-1); each row provides the value of the fluid enthalpy at the center of a grid cell. Adopting the convention that the enthalpy is zero at the surface of the configuration, and given that the enthalpy and the gravitational potential must sum to zero throughout the configuration, we have,
  • Hi=ΦsurfΦi.

  • At the center of the configuration, we have, Hc=ΦsurfΦc.
  • Column H:   Labeled Hnorm (for i between 1 and N-1); each row provides the value of the fluid enthalpy, renormalized to the central value, specifically,
  • [Hnorm]i=HiHc.


The second spreadsheet within the workbook should be initially created by generating a copy of the first spreadsheet. Then:

  • Column C:   Labeled ρi (for i between 1 and N-1); generate a new, improved guess for the normalized mass-density at each grid zone based on the corresponding value of the normalized enthalpy from the previous spreadsheet/iteration. Specifically, given that the relationship between the density and enthalpy in a polytrope of index, n, is, ρHn, we should set,
  • {ρiρc}sheet2={[Hnorm]in}sheet1.

Straight Numerical Integration

via
Direct
Numerical
Integration

The above governing relation may be rewritten as,

ξθ'+2θ'

=

ξθn.

We'll adopt the following finite-difference approximations for the first and second derivatives on a grid of radial spacing, Δξ:

θi

θ+θ2Δξ

and,

θi

θ+2θi+θΔξ2.

Our finite-difference approximation of the governing equation is, then,

ξi[θ+2θi+θΔξ2]+2[θ+θ2Δξ]

=

ξiθin

ξi[θ+2θi+θ]+Δξ[θ+θ]

=

Δξ2ξiθin

θ+

=

2ξiθi+θ(Δξξi)Δξ2ξiθinΔξ+ξi.

Now, for the first two steps away from the center — where, θi=θ0=1 and ξi=ξ0=0 — we will use the following power-series expansion (see, for example, eq. 62 from §5 in Chapter IV of [C67]) to determine the value of θi:

θ1

=

1Δξ26+nΔξ4120n378(n518)Δξ6,

and,

θ2

=

1(2Δξ)26+n(2Δξ)4120n378(n518)(2Δξ)6.

Results

Tabulated Global Properties

Here, drawing from tables that have been previously published by other authors, we record numerically determined properties of polytropic models having a fairly wide range of polytropic indexes. First, we draw from Table 4 (p.96) of [C67] . To convert from his tabulated variables to our desired 3 structural form-factors, our normalized equilibrium radius (see above ASIDE), and the "virial" (drawn from a more general overview), note that for isolated polytropes,

𝔣M

=

(ρcρ¯)1=[3θ'ξ]ξ1,

(5n)𝔣W

=

5𝔣M2,

(5n)𝔣A

=

[(4π3)Wn]1=3(n+1)(θ')ξ12,

xeqReqRnorm

=

[4π(n+1)n]1/(n3)ξ1(ξ2θ')ξ1(1n)/(n3),

Virial

=

(5n)[bnxeq(n3)/na3]

 

=

(34π)1/n(5n)𝔣A𝔣M(n+1)/nxeq(n3)/n1.


From Table 4 of [C67]
Copied Directly from Table (1st 5 columns)     …     Implied Values of 3 Structural Form Factors, xeq, and Virial (last 5 columns)
n           xi_1            "mass"       rho_c/rho_avg       W_n             f_M             (5-n)f_W          (5-n)f_A        x_eq        Virial

0          2.4494           4.8988         1              0.119366       1                 5                 2.00000         0.620335        ---
0.5        2.7528           3.7871         1.8361         0.26227        0.544632645       1.483123592       0.910254        0.831089     -0.19009
1          3.14159          3.14159        3.28987        0.392699       0.303963378       0.461968677       0.607927        1.253313      3.0E-06
1.5        3.65375          2.71406        5.99071        0.77014        0.166925122       0.139319982       0.309857        2.357285      2.4E-06
2          4.35287          2.41105       11.40254        1.63818        0.087699758       0.038456238       0.145730        7.517481      1.4E-06
2.5        5.35528          2.18720       23.40646        3.90906        0.042723248       0.00912638        0.061072      186.3666        1.6E-08
3          6.89685          2.01824       54.1825        11.05066        0.018456144       0.001703146       0.0216035          ---          ---
3.25       8.01894          1.94980       88.153         20.365          0.011343913       0.000643422        0.0117227      3.3265E-06    2.9E-06
3.5        9.53581          1.89056      152.884         40.9098         0.006540907       0.000213917       0.00583558      0.00166854    2.2E-06
4         14.97155          1.79723      622.408        247.558          0.001606663       1.29068E-05       0.00096435      0.051854      6.1E-06
4.5       31.83646          1.73780     6189.47        4922.125          0.000161565       1.30516E-07       4.8502E-05      0.284868     -5.9E-05
4.9      169.47             1.73205        9.348E+05      3.693E+06      1.06975E-06       5.7218E-12        6.4645D-08      2.129056      1.5E-04

The column labeled "mass" contains the tabulated quantity, (ξ2θ')ξ1.



From Table 2.5.2 (p. 77) of Horedt (2004)   —   "Polytropic Spheres (N = 3)"
Copied Directly from Table (1st 3 columns)     …     Implied Values (last 7 columns)
n	    xi_1	    theta'	 "mass"	       rho_c/rho_avg	    W_n	           f_M	          (5-n)f_A	   x_eq	        Virial
0	2.44948974	-8.164966E-01	4.898980	1.000000	1.193662E-01	1.000000E+00	2.000000E+00	6.2035049E-01	
0.5	2.75269805	-4.999971E-01	3.788651	1.835143	2.122091E-01	5.449168E-01	1.124987E+00	8.3099030E-01	0.0E+00
1	3.14159265	-3.183099E-01	3.141593	3.289868	3.926990E-01	3.039636E-01	6.079272E-01	1.2533141E+00	0.0E+00
1.5	3.65375374	-2.033013E-01	2.714055	5.990704	7.701402E-01	1.669253E-01	3.099856E-01	2.3572860E+00	0.0E+00
2	4.35287460	-1.272487E-01	2.411047	1.140254E+01	1.638182E+00	8.769977E-02	1.457301E-01	7.5164793E+00	0.0E+00
2.5	5.35527546	-7.626491E-02	2.187199	2.340646E+01	3.909062E+00	4.272324E-02	6.107153E-02	1.8636634E+02	0.0E+00
3	6.89684862	-4.242976E-02	2.018236	5.418248E+01	1.105068E+01	1.845615E-02	2.160341E-02		
3.5	9.53580534	-2.079098E-02	1.890557	1.528837E+02	4.090983E+01	6.540920E-03	5.835575E-03	1.6685566E-03	0.0E+00
4	1.49715463E+01	-8.018079E-03	1.797230	6.224079E+02	2.475594E+02	1.606664E-03	9.643439E-04	5.1854394E-02	0.0E+00
4.5	3.18364632E+01	-1.714549E-03	1.737799	6.189473E+03	4.921842E+03	1.615646E-04	4.850469E-05	2.8486849E-01	0.0E+00
4.99	1.75818915E+03	-5.598955E-07	1.730765	1.046736E+09	4.237887E+10	9.553503E-10	5.633289E-12	2.3460204E+01	2.2E-15

The column labeled "mass" contains the tabulated quantity, (ξ2θ')ξ1.

Plotted Structural Profiles

Using the just-described numerical techniques, we have solved the polytropic Lane-Emden equation on a 200-zone, uniform grid for a variety of values of the polytropic index. In each case we have recorded how the dimensionless enthalpy, θn(ξ), and its first radial derivative, θn'(ξ)dθn/dξ, vary with ξ, from the center of the polytropic configuration to its surface. For the record, these tabulated results reside in the following DropBox files:

  • n = 2.5: (10 SCF iterations)   WorkFolder/Wiki edits/HSCF/n25.xlsx
  • n = 3: (19 SCF iterations)   WorkFolder/Wiki edits/HSCF/n300.xlsx
  • n = 3.005: (15 SCF iterations)   WorkFolder/Wiki edits/HSCF/n3005.xlsx
  • n = 3.05: (15 SCF iterations)   WorkFolder/Wiki edits/HSCF/n305.xlsx
  • n = 3.5: (18 SCF iterations)   WorkFolder/Wiki edits/HSCF/n25.xlsx
  • n = 6: (direct integration)   WorkFolder/Wiki edits/EmbeddedPolytropes/N6.xlsx

For each of these models, as indicated (n = 2.5, 3, 3.005, 3.05, 3.5, 6), Figure 4 illustrates how the normalized mass, M/MSWS, varies with the normalized radius, R/RSWS, where the definition of these two functions,

MMSWS

(n34π)1/2θn(n3)/2ξ2|dθndξ|,

RRSWS

(n4π)1/2ξθn(n1)/2,

has been drawn from an accompanying discussion of pressure-truncated polytropic configurations. In four of the Figure 4 panels, we have compared the profile of our numerically determined polytropic function (curve defined by 200 small, black circular markers) to results (7 - 9 larger, blue circular markers) taken from Table 2.5.1 of Horedt (2004) — see, specifically the segment of his table on pp. 74 - 75 that applies to polytropic spheres — in an effort to demonstrate that our numerically determined solutions are accurate.

Figure 4:   Numerically Determined Solutions to the Polytropic Lane-Emden Equation

n = 2.5 equilibrium sequence n = 3 equilibrium sequence n = 3.005 equilibrium sequence
file = Dropbox/WorkFolder/Wiki edits/HSCF/n25.xlsx --- worksheet = Horedt_n25 file = Dropbox/WorkFolder/Wiki edits/LinearPerturbation/n300.xlsx --- worksheet = Horedt_n300 file = Dropbox/WorkFolder/Wiki edits/HSCF/n3005.xlsx --- worksheet = Horedt_n3005
n = 3.05 equilibrium sequence n = 3.5 equilibrium sequence n = 6 equilibrium sequence
file = Dropbox/WorkFolder/Wiki edits/HSCF/n305.xlsx --- worksheet = Horedt_n305 file = Dropbox/WorkFolder/Wiki edits/HSCF/n35.xlsx --- worksheet = Horedt_n35 file = Dropbox/WorkFolder/Wiki edits/EmbeddedPolytropes/N6.xlsx --- worksheet = PolytropeN6 (2)

Data examples from Table 2.5.1 (pp. 74 - 75) of Horedt (2004):

n ξ θn dθndξ RRSWS MMSWS
2.5 4.00000 0.1376807 - 0.1340534 0.4032551 3.926310
3.0 5.00000 0.1108198 - 0.08012604 0.2707342 2.936234
3.5 5.00000 0.1786843 - 0.07362030 0.3065541 2.210326
6.0 5.00000 0.3973243 - 0.05113662 0.3437981 1.327430

Emden's (1907) Tabulated Data

From Table 13 (p. 84) of Emden (1907)   —   "Global Properties"
n	xi_1		- theta'	2nd deriv.	"mass"		rho_c/rho_avg
0	2.4494		0.81647		-0.33333	4.8988		1
0.5	2.7528		0.49975		0.36309		3.7871		1.8361
1	3.14159		0.31831		0.20264		3.14159		3.2899
1.5	3.6571		0.20316		0.11355		2.7176		6.0003
2	4.3518		0.12729		0.06262		2.4107		11.396
2.5	5.4172		0.075		0.02795		2.201		24.076
3	6.9011		0.04231		0.01282		2.015		54.36
4	14.999		0.00803		0.00107		1.8064		623.4
4.5	32.14		0.00168		0.000104	1.7354		6377.7
4.9	169.47		6.04E-05	4.208E-07	1.73554		9.485E+05
5	infinity	0		0		sqrt(3)		infinity

The column labeled "mass" contains the tabulated quantity, (ξ2θ')ξ1.


Horedt's (1986) Tabulated Data

G. P. Horedt (1986), Astrophysics and Space Science, Vol. 126, Issue 2, pp. 357 - 408: Seven-digit tables of Lane-Emden functions

 

In Table I we present seven digit numerical solutions of the Lane-Emden equation for the plane-parallel (N = 1), cylindrical (N = 2), and spherical (N = 3) case for polytropic indices of n=10,5,4,3,2,1.5,1.01,0.9,0.5,0,0.5,1,1.5,2,3,4,5,6,10,20,±, supplemented by n=2.5,3.5,4.5, and 4.99 for the spherical case.

In Table II some finite boundary values of polytropic slabs, cylinders, and spheres are summarized. For polytropic spheres (N = 3) we have also quoted boundary values near the minimum of the dimensionless mass ξ12θ1, occurring at n ≈ 4.823 (Z. F. Seidov and R. Kh. Kuzakhmedov, 1978).

Focusing specifically on the spherically symmetric (N = 3) configurations, we list here the page number(s) on which the table associated with each individual polytropic index can be found in Horedt (1986).

Spherical (N = 3)
Configurations
n page(s) ξ1
- 10 386 → 387
- 5 387 → 388
- 4 388 → 389
- 3 389
- 2 390
- 1.5 390 → 391
- 1.01 391 → 392
- 0.9 392 → 393 2.05040073E+00
- 0.5 393 2.20858842E+00
0 393 → 394 √6 = 2.44948974E+00
0.5 394 2.75269805E+00
1 394 → 395 π = 3.14159265E+00
1.5 395 3.65375374E+00
2 395 → 396 4.35287460E+00
2.5 396 → 397 5.35527546E+00
3 397 → 398 6.89684862E+00
3.5 398 → 399 9.53580534E+00
4 399 1.49715463E+01
4.5 399 → 400 3.18364632E+01
4.99 400 → 401 1.75818915+03
5 401 → 402
6 402 → 403
10 403 → 404
20 404 → 405
± 405 → 406

Related Discussions


Tiled Menu

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