Abstract

Lane-Emden's equation has fundamental importance in the recent analysis of many problems in relativity and astrophysics including some models of density profiles for dark matter halos. An efficient numerical method is presented for linear and nonlinear Lane-Emden-type equations using the Bernstein polynomial operational matrix of integration. The proposed approach is different from other numerical techniques as it is based on the Bernstein polynomial integration matrix. Some illustrative examples are given to demonstrate the efficiency and validity of the proposed algorithm.

1. Introduction

In recent years, the studies of singular initial value problems in some special second-order ordinary differential equations (ODEs) have attracted the attention of many mathematicians and physicists. One of the most intriguing equations is the Lane-Emden-type equations which models many phenomena in mathematical physics and astrophysics. It is a nonlinear ordinary differential equation which describes the equilibrium density distribution in self-gravitating sphere of polytrophic isothermal gas and has a singularity at the origin. This equation has fundamental importance in the field of radiative cooling and modeling of clusters of galaxies. It has also proven to be most versatile in the examination of a variety of situations, including the analysis of isothermal cores, convective stellar interiors, and fully degenerate stellar configurations. Moreover, it has been recently observed [13] that the density profiles of dark matter halos are often modeled by the isothermal Lane-Emden equation with suitable boundary conditions at the origin. Since the solution is often given by some numerical approximation, the chosen method would implies some consequences on the physical interpretation of the dark matter evolution. In the following we will give an efficient method for computing its numerical solution.

Lane-Emden’s equations [4, 5] are categorized as nonlinear ordinary differential equations with singular initial values. The more general Cauchy problem in this category is the following equation:𝑦(𝑡)+𝛼𝑡𝑦(𝑡)+𝑓(𝑡,𝑦)=𝑔(𝑡),𝛼,𝑡0,(1) with initial conditions (ICs)𝑦(0)=𝑎,𝑦(0)=0,(2) where primes denote differentiation with respect to 𝑡, 𝛼 is constant, and 𝑓(𝑡,𝑦) is a nonlinear function of 𝑡 and 𝑦.

It has been shown [6] that there exists an analytic solution of (1), (2) in the neighbourhood of the singular point 𝑡=0.

In the special case, where 𝛼=2, 𝑓(𝑡,𝑦)=𝑓(𝑦), 𝑔(𝑡)=0 and IC (2) holds, we have one of the most studied cases𝑦(𝑡)+2𝑡𝑦(𝑡)+𝑓(𝑦)=0,𝑡0.(1) For instance, with 𝑓(𝑦)=𝑦𝑛 and 𝑎=1, we get𝑦(𝑡)+2𝑡𝑦(𝑡)+𝑦𝑛=0,𝑡0,(3) which in the form1𝑡2𝑑𝑑𝑡𝑡2𝑑𝑦𝑑𝑡+𝑦𝑛=0(4) subject to IC 𝑦(0)=1,𝑦(0)=0(5) was originally given by Lane [4] and (later) Emden [5].

The parameter 𝑛 has physical significance only in the range 0𝑛5. The solution for a given index 𝑛 is known as polytropic index 𝑛. Equation (3) with IC (5) has well-known analytical solutions [7] for 𝑛=0,1,5 while, for other values of 𝑛, numerical solutions are still sought. The series solution can be found by perturbation techniques and Adomian decomposition methods (ADM). However, these solutions are often convergent in restricted regions. Thus, some techniques such as the Padé method are required to enlarge the convergent regions [8, 9].

Similarly, by choosing 𝑓(𝑡,𝑦)=𝑒𝑦 and 𝑎=0 in (1′) and (2), isothermal gas spheres equation are modeled by𝑦(𝑡)+2𝑡𝑦(𝑡)+𝑒𝑦(𝑡)=0,𝑡0,(6) with IC 𝑦(0)=0,𝑦(0)=0.(7) A number of methods have recently been proposed to solve (1′), (6). They are quasilinearization methods [1012], a piecewise linearization technique [13], and the Lagrangian-based analytic solution [14]. The approximate solutions were also given by homotopy analysis method (HAM) [15, 16], variational iteration method [17], and variational approach method [18].

A numerical method based on conversion into integral equations solved by Legendre wavelets is given in [19]. Hybrid functions have also been used in [20] to find the numerical solutions of (1) for some particular nonlinear cases.

In [21] the transform 𝑡=𝑒𝑥 to (1′) is given to geẗ𝑦(𝑥)+̇𝑦(𝑥)+𝑒2𝑥𝑓(𝑦(𝑥))=0,(8) subject to the conditionsLim𝑥𝑦(𝑥)=𝑎,lim𝑥𝑒𝑥̇𝑦(𝑥)=0,(9) where dots denote differentiations with respect to 𝑥. Then, an approximate solution of (8) is obtained in [0,1] by variational iteration method, for special cases when𝑓(𝑦)=𝑦𝑛 and 𝑛=0,1,5.

Legendre’s spectral method for solving only singular IVPs is given in [22]. In [23], modified homotopy analysis methods (MHAMs) enable to obtain approximate solution and to show that MHAM solution contains the previous solutions obtained by ADM and HPM.

A collocation method based on Chebyshev’s polynomials is proposed in [24]. In [2527], three different methods are presented, to solve (1), based on the Hermite function collocation method, the Lagrangian method, and radial basis function approximation, respectively. The Jacobi-Gauss collocation method is given in [28]. In [29] the optimal homotopy asymptotic method is applied to obtain the analytic solution of singular Lane-Emden-type equation. The perturbation technique and delta-expansion method are presented in [30, 31], respectively.

The aim of the present paper is to apply the Bernstein polynomial operational matrix of integration for the first time, to propose a reliable numerical technique for solving linear and nonlinear Lane-Emden’s equations. Some special cases of the problem are solved to show its validity and efficiency in comparison with other existing numerical methods. The approximate solution, obtained by the proposed method, shows its superiority on the other existing numerical solution.

2. Bernstein’s Polynomials

A Bernstein polynomial [32] is a polynomial in the Bernstein form that is a linear combination of the Bernstein basis polynomials. The Bernstein basis polynomials of degree 𝑛 are defined by𝐵𝑖,𝑛(𝑡)=𝑛𝑖𝑡𝑖(1𝑡)𝑛𝑖,for𝑖=0,1,2,,𝑛.(10) There are (𝑛+1)𝑛th degree Bernstein basis polynomials forming a basis for the linear space 𝑉𝑛 consisting of all polynomials of degree less than or equal to 𝑛 in R [𝑡]-the ring of polynomials over the field R. For mathematical convenience, we usually set 𝐵𝑖,𝑛=0if 𝑖<0 or 𝑖>𝑛. Any polynomial 𝐵(𝑡) in 𝑉𝑛 may be written as𝐵(𝑡)=𝑛𝑖=0𝛽𝑖𝐵𝑖,𝑛(𝑡).(11) Then 𝐵(𝑡) is called a polynomial in the Bernstein form or the Bernstein polynomial of degree 𝑛. The coefficients 𝛽𝑖 are called Bernstein’s or Bezier’s coefficients. Often, the Bernstein basis polynomials 𝐵𝑖,𝑛(𝑡) are called the Bernstein polynomials. We will follow this convention as well. A function 𝑓𝐿2[0,1] may be written as𝑓(𝑡)=lim𝑛𝑛𝑖=0𝑐in𝐵in(𝑡),(12) where 𝑐in=𝑐,𝐵in and , is the standard inner product on 𝐿2[0,1].

If (3) is truncated at 𝑛=𝑚, then we have𝑓𝑚𝑖=0𝑐im𝐵im=𝐶𝑇Ψ(𝑡),(13) where 𝐶 and Ψ(𝑡) are (𝑚+1)×1 matrices given by𝐶=𝑐0,𝑚𝑐1,𝑚𝑐𝑚,𝑚𝑇,Ψ(𝑡)=𝐵0,𝑚(𝑡)𝐵1,𝑚(𝑡)𝐵𝑚,𝑚(𝑡)𝑇.(14) For taking the collocation points, let 𝑡0 be any point near to zero and other point as follows:𝑡𝑖=𝑡0+𝑖𝑚+1,𝑖>0.(15) Let us use the notation𝑚=𝑚+1, for defining the Bernstein operational matrix Φ𝑚×𝑚 as follows: Φ𝑚×𝑚=𝐵0,𝑚𝑡0𝐵1,𝑚𝑡1𝐵𝑚,𝑚𝑡𝑚𝑇.(16) For example, when 𝑚=6, the Bernstein operational matrix is expressed asΦ𝑚×𝑚=0.00600.40190.26220.09300.01620.00060.00000.20240.32920.23340.08160.00790.00000.05440.22050.31250.21850.05280.00000.00820.08300.23530.32920.19950.00000.00070.01670.09450.26460.40190.00000.00000.00140.01580.08860.3373.(17)

3. Block Pulse Function and Operational Matrix of Integration

a set of block pulse functions (BPFs) is defined on [0,1) as𝑏𝑖(𝑡)=1,𝑖𝑚𝑡<𝑖+1𝑚,0,otherwise,where𝑖=0,1,,𝑚1.(18) The functions 𝑏𝑖(𝑡) are disjoint and orthogonal, that is,𝑏𝑖(𝑡)𝑏𝑗(𝑡)=0,𝑖𝑗,1,𝑖=𝑗,10𝑏𝑖(𝑡)𝑏𝑗(𝑡)𝑑𝑡=0,𝑖𝑗,1𝑚,𝑖=𝑗.(19) The block pulse operational matrix of the integration 𝐹𝛼 is defined [33] as following: 𝐼𝛼𝐵𝑚(𝑡)𝐹𝛼𝐵𝑚(𝑡),(20) where 𝐼𝛼=𝛼times𝐵𝑚(𝑡)=𝑏0(𝑡)𝑏1(𝑡)𝑏𝑚1(𝑡),𝐹𝛼=1𝑚𝛼1Γ(𝛼+2)1𝜀1𝜀2𝜀𝑚101𝜀1𝜀𝑚2001𝜀𝑚300000001,(21) with 𝜀𝑘=(𝑘+1)𝛼+12𝑘𝛼+1+(𝑘1)𝛼+1.(22) In general the operational matrix of integration of the vector 𝜓𝑚(𝑡) can be obtained as𝑡0𝜓𝑚(𝜏)𝑑𝜏𝑃𝑚×𝑚𝜓𝑚(𝑡),(23) where 𝑃 is the 𝑚×𝑚 operational matrix for integration.

The Bernstein polynomial can also be expanded and approximated into an 𝑚-term block pulse function (BPF) as 𝜓𝑚(𝑡)=Φ𝑚×𝑚𝐵𝑚(𝑡).(24) Let us consider that the matrix 𝑃𝛼𝑚×𝑚 is the Bernstein polynomial operational matrix of the integration, then we have 𝐼𝛼𝜓𝑚(𝑡)𝑃𝛼𝑚×𝑚𝜓𝑚(𝑡).(25) Now, we have𝐼𝛼𝜓𝑚(𝑡)𝐼𝛼Φ𝑚×𝑚𝐵𝑚(𝑡)=Φ𝑚×𝑚𝐼𝛼𝐵𝑚(𝑡)Φ𝑚×𝑚𝐹𝛼𝐵𝑚(𝑡).(26) From (25) and (18) we get𝑃𝛼𝑚×𝑚𝜓𝑚(𝑡)Φ𝑚×𝑚𝐹𝛼Φ1𝑚×𝑚𝜓𝑚(𝑡).(27) Then, the Bernstein polynomial operational matrix of the integration 𝑃𝛼𝑚×𝑚 is given by𝑃𝛼𝑚×𝑚=Φ𝑚×𝑚𝐹𝛼Φ1𝑚×𝑚.(28)

4. Outline of the Method

In this section, the method presented in Section 3 is applied to solve the linear and nonlinear Lane-Emden equations. Letting 𝐹(𝑡,𝑦)=𝑓(𝑦)=𝑦𝑛(𝑡)with𝑎=1,(29)(1′) can be written as𝑦(𝑡)+2𝑡𝑦(𝑡)+𝑦𝑛(𝑡)=0,withIC𝑦(0)=1,𝑦(0)=0,(30) where 𝑡,𝑛0.

Since exact solutions for the case 𝑛=0,1,5 are known, we solve them first by the proposed algorithm developed in Section 3.

Let 𝐷2𝑦(𝑡)=𝑘𝑇𝑚𝜓𝑚(𝑡),(31) where 𝑘𝑇𝑚 is unknown,𝐷𝑦(𝑡)=𝑘𝑇𝑚𝑃1𝑚×𝑚𝜓𝑚(𝑡),𝑦(𝑡)=𝑘𝑇𝑚𝑃2𝑚×𝑚𝜓𝑚(𝑡).(32) We have 𝑦(𝑡)=𝑘𝑇𝑚𝑃2𝑚×𝑚Φ𝑚×𝑚𝐵𝑚(𝑡)+1.(33) Assume 𝑘𝑇𝑚𝑃2𝑚×𝑚Φ𝑚×𝑚+1=𝑎1𝑎2𝑎𝑚,[𝑦(𝑡)]𝑛=𝑎𝑛1𝑎𝑛2𝑎𝑛𝑚𝐵𝑚(𝑡).(34) Substituting (31)–(34) in (30), we get𝑘𝑇𝑚Φ𝑚×𝑚𝐵𝑚(𝑡)+2𝑡𝑘𝑇𝑚𝑃1𝑚×𝑚Φ𝑚×𝑚𝐵𝑚(𝑡)+𝑎𝑛1𝑎𝑛2𝑎𝑛𝑚𝐵𝑚(𝑡)=0.(35) Solution of (35) yields the value of 𝑘𝑇𝑚.

5. Numerical Results and Discussions

In this section some special cases of (1′) have been considered to illustrate the efficiency of the method.

5.1. Standard Lane-Emden Equation

Consider the standard Lane-Emden equation: 𝑦(𝑡)+2𝑡𝑦(𝑡)+𝑦𝑛(𝑡)=0,(36) with initial condition 𝑦(0)=1 and 𝑦(0)=0, which has the exact solution for the case 𝑛=0, 1, and 5 are known. Equation (36) with the initial conditions has been solved with the proposed method, and obtained results are presented in Figure 1 along with Table 1.

Here we can see that the function basically follows the same form as that for an index 𝑛=0, with a few minor differences; however, the polytrope of index 𝑛=0 also terminates at a finite radius just as is observed in the relation for a polytrope of index 𝑛=1. Though these two solutions for 𝑛=1 and 𝑛=0 share many characteristics, the solution for the polytrope of index 𝑛=5 contains some radically different and unexpected characteristics. In this case the behavior of the function is markedly different than that of its predecessors. Here the density of the star initially decreases rapidly as radius increases but slows rapidly once a 𝑡-value of around three is reached. At this point the decrease slows continually. Though it may not be apparent on the graphic provided, the function never reaches 0. It is, therefore, evident that a polytropic star of index 𝑛=5 has an infinite radius, and in reality cannot exist.

5.2. Isothermal Gas Spheres Equation

Letting 𝑓(𝑡,𝑦)=𝑒𝑦 with 𝑎=0, (1) can be written as𝑦(𝑡)+2𝑡𝑦(𝑡)+𝑒𝑦=0,(37) with IC 𝑦(0)=0, 𝑦(0)=0. The isothermal gas spheres are modeled in [6]. Equation (38) is solved with the presented method, and the obtained solution is compared with the existing solutions. The plot of proposed and exact solution is given in Figure 2 and comparison has been done in Table 2.

5.3. Nonlinear Homogeneous Lane-Emden Equation

Let 𝑓(𝑡,𝑦)=4(2𝑒𝑦+𝑒𝑦/2) with 𝑎=0, (1) be written as𝑦(𝑡)+2𝑡𝑦(𝑡)+42𝑒𝑦+𝑒𝑦/2=0,𝑡0(38) with IC 𝑦(0)=0 and 𝑦(0)=0, where the exact solution is 𝑦(𝑡)=In(1+𝑡2). We solve the above problem, by applying the technique described in Section 4 with 𝑚= 32, 128 and 256 and plotted in Figures 3 and 4, and comparison has been done in Table 3.

6. Conclusions

The Bernstein polynomial operational matrix of integrations has been applied for solving one of the most popular and intriguing differential equations, that is, the Lane-Emden equations. These results are useful in a few respects and deal with some actual state equation for stars. Though these two solutions for 𝑛=1 and 𝑛=0 share many characteristics, the solution for the polytrope of index 𝑛=5 contains some radically different and unexpected characteristics. In this case the behavior of the function is markedly different than that of its predecessors. Here the density of the star 𝜌=𝜆𝑦𝑛, where 𝜆 represents the central density of the star and 𝑦 that of a related dimensionless quantity, initially decreases rapidly as radius increases but slows rapidly once a 𝑡-value of around three is reached. At this point the decrease slows continually. Though it may not be apparent on the graphic provided, the function never reaches 0. It is, therefore, evident that a polytropic star of index 𝑛=5 has an infinite radius and in reality cannot exist. Despite this fact, such a model provides important theoretical perspective concerning the theory, as one may view this as the border between polytropic one that are physically feasible. It is also of interest to note that such a stellar model has, in spite of the infinite radius, a finite mass. Additionally, other stellar models, which are created in a “layered” fashion where each layer consists of a polytrope of a different index, may also utilize this function for a portion of the star, in which case a finite radius would be possible. In addition to these relations, there are also a number of other conclusions that one can draw from the polytropic model of stars. For relations of this type, there exists a relation between the polytropic index, mass of a star, and the radius. It is perhaps evident in the discussion of the analytic solutions of the polytropic index that one could possibly infer a relation between the polytropic index of the star and the radius that one would calculate from that star. In the attempt to find a relation, the most immediate result is obtained from the simple equations of stellar state.