Astronomy:Lane–Emden equation

Solutions of Lane–Emden equation for n = 0, 1, 2, 3, 4, 5

In astrophysics, the Lane–Emden equation is a dimensionless form of Poisson's equation for the gravitational potential of a Newtonian self-gravitating, spherically symmetric, polytropic fluid. It is named after astrophysicists Jonathan Homer Lane and Robert Emden. The equation reads

[math]\displaystyle{ \frac{1}{\xi^2} \frac{d}{d\xi} \left({\xi^2 \frac{d\theta}{d\xi}}\right) + \theta^n = 0, }[/math]

where [math]\displaystyle{ \xi }[/math] is a dimensionless radius and [math]\displaystyle{ \theta }[/math] is related to the density, and thus the pressure, by [math]\displaystyle{ \rho=\rho_c\theta^n }[/math] for central density [math]\displaystyle{ \rho_c }[/math]. The index [math]\displaystyle{ n }[/math] is the polytropic index that appears in the polytropic equation of state, [math]\displaystyle{ P = K \rho^{1 + \frac{1}{n}}\, }[/math] where [math]\displaystyle{ P }[/math] and [math]\displaystyle{ \rho }[/math] are the pressure and density, respectively, and [math]\displaystyle{ K }[/math] is a constant of proportionality. The standard boundary conditions are [math]\displaystyle{ \theta(0)=1 }[/math] and [math]\displaystyle{ \theta'(0)=0 }[/math]. Solutions thus describe the run of pressure and density with radius and are known as polytropes of index [math]\displaystyle{ n }[/math]. If an isothermal fluid (polytropic index tends to infinity) is used instead of a polytropic fluid, one obtains the Emden–Chandrasekhar equation.

Applications

Physically, hydrostatic equilibrium connects the gradient of the potential, the density, and the gradient of the pressure, whereas Poisson's equation connects the potential with the density. Thus, if we have a further equation that dictates how the pressure and density vary with respect to one another, we can reach a solution. The particular choice of a polytropic gas as given above makes the mathematical statement of the problem particularly succinct and leads to the Lane–Emden equation. The equation is a useful approximation for self-gravitating spheres of plasma such as stars, but typically it is a rather limiting assumption.

Derivation

From hydrostatic equilibrium

Consider a self-gravitating, spherically symmetric fluid in hydrostatic equilibrium. Mass is conserved and thus described by the continuity equation [math]\displaystyle{ \frac{dm}{dr} = 4\pi r^2 \rho }[/math] where [math]\displaystyle{ \rho }[/math] is a function of [math]\displaystyle{ r }[/math]. The equation of hydrostatic equilibrium is [math]\displaystyle{ \frac{1}{\rho}\frac{dP}{dr} = -\frac{Gm}{r^2} }[/math] where [math]\displaystyle{ m }[/math] is also a function of [math]\displaystyle{ r }[/math]. Differentiating again gives [math]\displaystyle{ \begin{align} \frac{d}{dr}\left(\frac{1}{\rho}\frac{dP}{dr}\right) &= \frac{2Gm}{r^3}-\frac{G}{r^2}\frac{dm}{dr} \\ &=-\frac{2}{\rho r}\frac{dP}{dr}-4\pi G\rho \end{align} }[/math] where the continuity equation has been used to replace the mass gradient. Multiplying both sides by [math]\displaystyle{ r^2 }[/math] and collecting the derivatives of [math]\displaystyle{ P }[/math] on the left, one can write [math]\displaystyle{ r^2\frac{d}{dr}\left(\frac{1}{\rho}\frac{dP}{dr}\right)+\frac{2r}{\rho}\frac{dP}{dr} = \frac{d}{dr}\left(\frac{r^2}{\rho}\frac{dP}{dr}\right)=-4\pi Gr^2\rho }[/math]

Dividing both sides by [math]\displaystyle{ r^2 }[/math] yields, in some sense, a dimensional form of the desired equation. If, in addition, we substitute for the polytropic equation of state with [math]\displaystyle{ P=K\rho_c^{1+\frac{1}{n}}\theta^{n+1} }[/math] and [math]\displaystyle{ \rho=\rho_c\theta^n }[/math], we have [math]\displaystyle{ \frac{1}{r^2}\frac{d}{dr}\left(r^2K\rho_c^\frac{1}{n}(n+1)\frac{d\theta}{dr}\right)=-4\pi G\rho_c\theta^n }[/math]

Gathering the constants and substituting [math]\displaystyle{ r=\alpha\xi }[/math], where [math]\displaystyle{ \alpha^2=(n+1)K\rho_c^{\frac{1}{n}-1}/4\pi G, }[/math] we have the Lane–Emden equation, [math]\displaystyle{ \frac{1}{\xi^2} \frac{d}{d\xi} \left({\xi^2 \frac{d\theta}{d\xi}}\right) + \theta^n = 0 }[/math]

From Poisson's equation

Equivalently, one can start with Poisson's equation, [math]\displaystyle{ \nabla^2\Phi=\frac{1}{r^2}\frac{d}{dr}\left( r^2\frac{d\Phi}{dr} \right) = 4\pi G\rho }[/math]

One can replace the gradient of the potential using the hydrostatic equilibrium, via [math]\displaystyle{ \frac{d\Phi}{dr} = -\frac{1}{\rho}\frac{dP}{dr} }[/math] which again yields the dimensional form of the Lane–Emden equation.

Exact solutions

For a given value of the polytropic index [math]\displaystyle{ n }[/math], denote the solution to the Lane–Emden equation as [math]\displaystyle{ \theta_n(\xi) }[/math]. In general, the Lane–Emden equation must be solved numerically to find [math]\displaystyle{ \theta_n }[/math]. There are exact, analytic solutions for certain values of [math]\displaystyle{ n }[/math], in particular: [math]\displaystyle{ n = 0,1,5 }[/math]. For [math]\displaystyle{ n }[/math] between 0 and 5, the solutions are continuous and finite in extent, with the radius of the star given by [math]\displaystyle{ R = \alpha \xi_1 }[/math], where [math]\displaystyle{ \theta_n(\xi_1) = 0 }[/math].

For a given solution [math]\displaystyle{ \theta_n }[/math], the density profile is given by [math]\displaystyle{ \rho = \rho_c \theta_n^n . }[/math]

The total mass [math]\displaystyle{ M }[/math] of the model star can be found by integrating the density over radius, from 0 to [math]\displaystyle{ \xi_1 }[/math].

The pressure can be found using the polytropic equation of state, [math]\displaystyle{ P = K \rho^{1+\frac{1}{n}} }[/math], i.e. [math]\displaystyle{ P = K \rho_c^{1+\frac{1}{n}} \theta_n^{n+1} }[/math]

Finally, if the gas is ideal, the equation of state is [math]\displaystyle{ P = k_B\rho T/\mu }[/math], where [math]\displaystyle{ k_B }[/math] is the Boltzmann constant and [math]\displaystyle{ \mu }[/math] the mean molecular weight. The temperature profile is then given by [math]\displaystyle{ T = \frac{K\mu}{k_B} \rho_c^{1/n} \theta_n }[/math]

In spherically symmetric cases, the Lane–Emden equation is integrable for only three values of the polytropic index [math]\displaystyle{ n }[/math].

For n = 0

If [math]\displaystyle{ n = 0 }[/math], the equation becomes [math]\displaystyle{ \frac{1}{\xi^2} \frac{d}{d\xi} \left( \xi^2 \frac{d\theta}{d\xi} \right) + 1 = 0 }[/math]

Re-arranging and integrating once gives [math]\displaystyle{ \xi^2\frac{d\theta}{d\xi} = C_1-\frac{1}{3}\xi^3 }[/math]

Dividing both sides by [math]\displaystyle{ \xi^2 }[/math] and integrating again gives [math]\displaystyle{ \theta(\xi)=C_0-\frac{C_1}{\xi}-\frac{1}{6}\xi^2 }[/math]

The boundary conditions [math]\displaystyle{ \theta(0)=1 }[/math] and [math]\displaystyle{ \theta'(0)=0 }[/math] imply that the constants of integration are [math]\displaystyle{ C_0 = 1 }[/math] and [math]\displaystyle{ C_1 = 0 }[/math]. Therefore, [math]\displaystyle{ \theta(\xi) = 1 - \frac{1}{6}\xi^2 }[/math]

For n = 1

When [math]\displaystyle{ n = 1 }[/math], the equation can be expanded in the form [math]\displaystyle{ \frac{d^2\theta}{d\xi^2}+\frac{2}{\xi}\frac{d\theta}{d\xi} + \theta = 0 }[/math]

One assumes a power series solution: [math]\displaystyle{ \theta(\xi) = \sum_{n=0}^\infty a_n \xi^n }[/math]

This leads to a recursive relationship for the expansion coefficients: [math]\displaystyle{ a_{n+2} = -\frac{a_n}{(n+3)(n+2)} }[/math]

This relation can be solved leading to the general solution: [math]\displaystyle{ \theta(\xi)=a_0 \frac{\sin\xi}{\xi} + a_1 \frac{\cos\xi}{\xi} }[/math]

The boundary condition for a physical polytrope demands that [math]\displaystyle{ \theta(\xi) \rightarrow 1 }[/math] as [math]\displaystyle{ \xi \rightarrow 0 }[/math]. This requires that [math]\displaystyle{ a_0 = 1, a_1 = 0 }[/math], thus leading to the solution: [math]\displaystyle{ \theta(\xi)=\frac{\sin\xi}{\xi} }[/math]

For n = 2

This exact solution was found by accident when searching for zero values of the related TOV Equation.

We consider a series expansion around [math]\displaystyle{ \theta=0 }[/math] [math]\displaystyle{ \theta = \sum\limits_{m=0}^\infty a_m \xi^m }[/math] with initial values [math]\displaystyle{ \theta|_{\xi=0}=\theta_0 }[/math] and [math]\displaystyle{ \left.\frac{d\theta}{d\xi}\right|_{\xi=0}=0 }[/math]. Plugging this into the Lane-Emden equation, wen can show that all odd coefficients of the series vanish [math]\displaystyle{ a_{2m+1}=0 }[/math]. Furthermore, we obtain a recursive relationship between the even coefficients [math]\displaystyle{ b_m=a_{2m} }[/math] of the series. [math]\displaystyle{ b_{m+1} = - \frac{1}{(2m+2)(2m+3)}\sum\limits_{k=0}^m b_{m-k}b_k }[/math] It was proven that this series converges at least for [math]\displaystyle{ \xi\leq 1 }[/math] but numerical results showed good agreement for much larger values.

For n = 5

We start from with the Lane–Emden equation: [math]\displaystyle{ \frac1{\xi^2} {\frac{d}{d\xi}} \left(\xi^2\frac{d\theta}{d\xi}\right) + \theta^5 = 0 }[/math]

Rewriting for [math]\displaystyle{ \frac{d\theta}{d\xi} }[/math] produces: [math]\displaystyle{ \frac{d\theta} {d\xi} = \frac1 2 \left(1+\frac{\xi^2}{3}\right)^{3/2} \frac{2\xi} 3 = \frac {\xi^3}{3 \left[ 1+\frac {\xi^2} 3 \right]^{3/2}} }[/math]

Differentiating with respect to ξ leads to: [math]\displaystyle{ \theta^5 =\frac{\xi^2}{\left[1+\frac{\xi^2}{3}\right]^{3/2}} + \frac{3\xi^2}{9\left[1+\frac{\xi^2}3\right]^{5/2}} = \frac 9 {9\left[1+\frac{\xi^2}3\right]^{5/2}} }[/math]

Reduced, we come by: [math]\displaystyle{ \theta^5 = \frac 1 { \left[ 1+\frac{\xi^2}3 \right]^{5/2}} }[/math]

Therefore, the Lane–Emden equation has the solution [math]\displaystyle{ \theta(\xi) = \frac 1 {\sqrt{1+\xi^2/3}} }[/math] when [math]\displaystyle{ n = 5 }[/math]. This solution is finite in mass but infinite in radial extent, and therefore the complete polytrope does not represent a physical solution. Chandrasekhar believed for a long time that finding other solution for [math]\displaystyle{ n=5 }[/math] "is complicated and involves elliptic integrals".

Srivastava's solution

In 1962, Sambhunath Srivastava found an explicit solution when [math]\displaystyle{ n=5 }[/math]. His solution is given by [math]\displaystyle{ \theta = \frac{\sin(\ln \sqrt \xi)}{\sqrt\xi \left[3-2 \sin^2 (\ln \sqrt\xi)\right]}, }[/math] and from this solution, a family of solutions [math]\displaystyle{ \theta(\xi)\rightarrow \sqrt A\, \theta(A\xi) }[/math] can be obtained using homology transformation. Since this solution does not satisfy the conditions at the origin (in fact, it is oscillatory with amplitudes growing indefinitely as the origin is approached), this solution can be used in composite stellar models.

Analytic solutions

In applications, the main role play analytic solutions that are expressible by the convergent power series expanded around some initial point. Typically the expansion point is [math]\displaystyle{ \xi=0 }[/math], which is also a singular point (fixed singularity) of the equation, and there is provided some initial data [math]\displaystyle{ \theta(0) }[/math] at the centre of the star. One can prove that the equation has the convergent power series/analytic solution around the origin of the form [math]\displaystyle{ \theta(\xi) = \theta(0) - \frac{\theta(0)^{n}}{6} \xi^{2} + O(\xi^{3}),\quad \xi \approx 0. }[/math]

Numerical solution for analytical solution of the Lane-Emden equation in the complex plane for [math]\displaystyle{ n=5 }[/math], [math]\displaystyle{ \theta(0)=2 }[/math]. Two movable singularities on the imaginary axis are visible. They limit the radius of convergence of the analytical solution around the origin. For different values of initial data and [math]\displaystyle{ p }[/math] the location of singularities is different, yet they are located symmetrically on the imaginary axis.

The radius of convergence of this series is limited due to existence of two singularities on the imaginary axis in the complex plane. These singularities are located symmetrically with respect to the origin. Their position change when we change equation parameters and the initial condition [math]\displaystyle{ \theta(0) }[/math], and therefore, they are called movable singularities due to classification of the singularities of non-linear ordinary differential equations in the complex plane by Paul Painlevé. A similar structure of singularities appears in other non-linear equations that result from the reduction of the Laplace operator in spherical symmetry, e.g., Isothermal Sphere equation.

Analytic solutions can be extended along the real line by analytic continuation procedure resulting in the full profile of the star or molecular cloud cores. Two analytic solutions with the overlapping circles of convergence can also be matched on the overlap to the larger domain solution, which is a commonly used method of construction of profiles of required properties.

The series solution is also used in the numerical integration of the equation. It is used to shift the initial data for analytic solution slightly away from the origin since at the origin the numerical methods fail due to the singularity of the equation.

Numerical solutions

In general, solutions are found by numerical integration. Many standard methods require that the problem is formulated as a system of first-order ordinary differential equations. For example,

[math]\displaystyle{ \begin{align} & \frac{d\theta}{d\xi}=-\frac{\varphi}{\xi^2} \\[6pt] & \frac{d\varphi}{d\xi}=\theta^n\xi^2 \end{align} }[/math]

Here, [math]\displaystyle{ \varphi(\xi) }[/math] is interpreted as the dimensionless mass, defined by [math]\displaystyle{ m(r) = 4\pi\alpha^3\rho_c\varphi(\xi) }[/math]. The relevant initial conditions are [math]\displaystyle{ \varphi(0) = 0 }[/math] and [math]\displaystyle{ \theta(0) = 1 }[/math]. The first equation represents hydrostatic equilibrium and the second represents mass conservation.

Homologous variables

Homology-invariant equation

It is known that if [math]\displaystyle{ \theta(\xi) }[/math] is a solution of the Lane–Emden equation, then so is [math]\displaystyle{ C^{2/n+1}\theta(C\xi) }[/math]. Solutions that are related in this way are called homologous; the process that transforms them is homology. If one chooses variables that are invariant to homology, then we can reduce the order of the Lane–Emden equation by one.

A variety of such variables exist. A suitable choice is [math]\displaystyle{ U=\frac{d\log m}{d\log r}=\frac{\xi^3\theta^n} \varphi }[/math] and [math]\displaystyle{ V = \frac{d\log P}{d\log r}=(n+1)\frac \varphi {\xi\theta} }[/math]

We can differentiate the logarithms of these variables with respect to [math]\displaystyle{ \xi }[/math], which gives [math]\displaystyle{ \frac{1}{U} \frac{dU}{d\xi} = \frac 1 \xi \left(3 - n(n+1)^{-1}V - \right) }[/math] and [math]\displaystyle{ \frac{1}{V} \frac{dV}{d\xi} = \frac 1 \xi \left(-1 - U - (n+1)^{-1}V \right). }[/math]

Finally, we can divide these two equations to eliminate the dependence on [math]\displaystyle{ \xi }[/math], which leaves [math]\displaystyle{ \frac{dV}{dU} = -\frac{V}{U}\left(\frac{U+(n+1)^{-1}V-1}{U+n(n+1)^{-1}V-3}\right). }[/math]

This is now a single first-order equation.

Topology of the homology-invariant equation

The homology-invariant equation can be regarded as the autonomous pair of equations [math]\displaystyle{ \frac{dU}{d\log\xi} = -U \left(U+n(n+1)^{-1}V-3\right) }[/math] and [math]\displaystyle{ \frac{dV}{d\log\xi} = V \left(U+(n+1)^{-1}V-1\right). }[/math]

The behaviour of solutions to these equations can be determined by linear stability analysis. The critical points of the equation (where [math]\displaystyle{ dV/d\log\xi = dU/d\log\xi = 0 }[/math]) and the eigenvalues and eigenvectors of the Jacobian matrix are tabulated below.

Critical point	Eigenvalues	Eigenvectors
[math]\displaystyle{ (0,0) }[/math]	[math]\displaystyle{ 3, -1 }[/math]	[math]\displaystyle{ (1,0), (0,1) }[/math]
[math]\displaystyle{ (3,0) }[/math]	[math]\displaystyle{ -3,2 }[/math]	[math]\displaystyle{ (1,0), (-3n,5+5n) }[/math]
[math]\displaystyle{ (0,n+1) }[/math]	[math]\displaystyle{ 1, 3-n }[/math]	[math]\displaystyle{ (0,1), (2-n,1+n) }[/math]
[math]\displaystyle{ \left(\dfrac{n-3}{n-1},2\dfrac{n+1}{n-1}\right) }[/math]	[math]\displaystyle{ \dfrac{n-5\pm\Delta_n}{2-2n} }[/math]	[math]\displaystyle{ (1-n\mp\Delta_n,4+4n) }[/math]

See also

• Emden–Chandrasekhar equation
• Chandrasekhar's white dwarf equation

Further reading

• Horedt, Georg P. (2004). Polytropes – Applications in Astrophysics and Related Fields. Dordrecht: Kluwer Academic Publishers. ISBN 978-1-4020-2350-7. https://books.google.com/books?id=9NfW_q7jCmkC. 
• David, Harold T. (2010). Introduction to Nonlinear Differential and Integral Equations. Dover Publications. ISBN 978-0486609713. https://books.google.com/books?id=RgbWowrjKd4C. 

External links

• Weisstein, Eric W.. "Lane-Emden Differential Equation". http://mathworld.wolfram.com/Lane-EmdenDifferentialEquation.html.