Preprint
Article

Qualitative Properties of the Solutions to the Lane-Emden Equation in the Cylindrical Setup

Altmetrics

Downloads

81

Views

12

Comments

0

A peer-reviewed article of this preprint also exists.

This version is not peer-reviewed

Submitted:

27 December 2023

Posted:

29 December 2023

You are already at the latest version

Alerts
Abstract
Some qualitative results are provided on the cylindrical version of the Lane-Emden equation. Although the explicit form of the solution is not exactly known, we establish some properties on the critical points of the solution in some specific cases and we propose a technique to evaluate the distance between a pair of solutions in small intervals.
Keywords: 
Subject: Physical Sciences  -   Astronomy and Astrophysics

1. Introduction

One of the most fascinating open problems in Applied Mathematics is the Lane-Emden equation together with its variation Emden-Fowler equation, initially proposed in 1870 by Jonathan Homer Lane, and subsequently extended by Robert Emden [1] in 1907, who aimed to model the dynamic behaviour of a nonrotating fluid subject to internal pressure and self-gravity. In order to briefly introduce the physical setting, the Lane-Emden equation originates from the combination of Poisson’s equation and a generic polytropic state equation P = K N ρ γ , where P and ρ respectively are the pressure and the density of a fluid, K N is a positive constant and γ = 1 + 1 N is the ratio of specific heats (see [2,3] for more details). After some simple manipulations, the Lane-Emden equation is derived having θ ( x ) = ρ ( x ) ρ c 1 / N ( x ) , where ρ c is the density at the axis.
The Lane-Emden equation encountered a wide success especially in the 30s both in Physics, where Sir Ralph Howard Fowler [4,5] found and generalized further results and gave birth to Emden-Fowler equation, and in Astrophysics, where Chandrasekhar established the related spherical solutions in [6], whose first edition was published in 1939 and then was subsequently reprinted in 1967. Furthermore, Chandrasekhar and Fermi applied the Lane-Emden equation to isothermal filaments [7] some years after.
Successively, many contributions have been published on the equation, its several modified versions, and its applications. Christodoulou and Kazanas [8] derived exact asymmetric solutions of the Lane-Emden equation under rotation. A major result had already been provided by Jeremiah Paul Ostriker [9] in 1964: he was able to determine the solutions to the equation in closed form for cylindrical polytropes for parameter N = 0 (i.e. liquid cylinders), N = 1 and N = (i.e. cylinders with an isothermal perfect gas). In the astrophysical literature, a solution to the Lane-Emden equation is often called a polytrope. We are going to use such a denomination as well along the paper, keeping in mind that astrophysical models are out of our present scope. For those who are willing to develop an extensive knowledge of polytropes, the main textbook was published by Horedt [10] in 2004.
In recent years, the Lane-Emden equation has been widely studied in several versions, although it can be solved in closed form only in a few cases. An approach based on operational calculus, initially introduced by Adomian [11], has been outlined by Bengochea et al. in some recent works ([12,13,14]). In particular, in [12] a procedure is derived based on a linear operator acting on the set of all formal series which turns out to be helpful to solve several kinds of differential equations with variable coefficients, fractional differential equations and difference equations as well. Such approach is adopted in [13] to determine an algebraic solution to a specific version of the Lane-Emden equation. More recently, a numerical approximation algorithm has been proposed by [15].
Here is a basic summary of the present work:
  • We reconstruct the extended derivations of the basic Lane-Emden equations in the basic scenarios;
  • we outline the current state-of-the-art: explicit solutions, solution methods, cases in which the Lane-Emden equation is still unsolved;
  • we identify a sequence of qualitative properties of the solutions in the cylindrical scenario. In particular, two distinct analyses are carried out depending on whether the critical exponent M is either odd or even;
  • finally, we expose a relation which may be helpful to evaluate the distance between a pair of solutions in a small interval.
The remainder of this paper is as follows: in Section 2 we introduce the Lane-Emden differential equation together with some of its variations, whereas in Section 3 we present an overview of some known solutions, emphasizing the cases N = 0 and N = 1 . Our main analytical results are collected in Section 4, where some qualitative properties are stated and demonstrated. Finally, our concluding remarks and some ideas on future developments can be read in Section 5.

2. The standard Lane-Emden equation

Firstly, we introduce the Lane-Emden equation in its well-known form:
θ ( x ) + k θ x + θ N ( x ) = 0 .
Based on the value of k, either we have the cylindrical setting if k = 1 :
θ ( x ) + θ x + θ N ( x ) = 0
or we have the spherical setting if k = 2 :
θ ( x ) + 2 θ x + θ N ( x ) = 0 .

2.1. Initial conditions

The standard boundary conditions that form a Cauchy problem with a Lane-Emden equation are the specifications of the values of θ and θ at 0, i.e. θ ( 0 ) = 1 and θ ( 0 ) = 0 . Namely, the value of θ at 0 is due to its construction, whereas the vanishing of its derivative at 0 indicates the absence of gravity in the cylinder’s axis (see [9,16] for more explanation on the related physical motivations).

2.2. Modified versions of the Lane-Emden equation

Some Authors extend the form (1) to define other classes of Lane-Emden equations. For example, in [17] equation (1) is referred to as Lane-Emden equation of first kind (see [18]), whereas the Lane-Emden equation of the second kind has the following formulation1:
θ ( x ) + k θ ( x ) x + e θ ( x ) = 0 ,
which turns out to be the dynamics in isothermal cylinders (see [9] for the derivation of the hydrostatic problem).
We can establish a whole class of Lane-Emden problems employing the most general form as follows:
θ ( x ) + k θ ( x ) x + f ( θ ( x ) ) = 0 ,
It is also interesting to remark that (5) can be reformulated as an integro-differential equation. Multiplying the left hand side by x k we have:
x k θ ( x ) + k x k 1 θ ( x ) + x k f ( θ ( x ) ) = 0 x k θ ( x ) = x k f ( θ ( x ) ) ,
which can be integrated on both sides, entailing:
θ ( x ) = 1 x k 0 x t k f ( θ ( t ) ) d t ,
where the initial condition turns out to be
lim x 0 1 x k 0 x t k f ( θ ( t ) ) d t = 0 ,
which holds if and only if
lim x 0 x f ( θ ( x ) ) = 0 ,
by De L’Hospital’s Theorem.
The form (6) is commonly used for numerical approximations of the solutions (see for example [17]). Perhaps the most relevant modification of the Lane-Emden equation is the Emden-Fowler equation (see Chandrasekhar [6] or Fowler’s contributions [4,5]), i.e.
d d x x ρ d y d x + x α y τ ( x ) = 0 , x 0 ,
where ρ , α R , τ R + . Many papers contain a number of results for (7): a survey outlining results until 1975 is [19], whereas subsequent relevant papers are [20,21], and many others.
Such equation can be transformed into the modified form:
y ( x ) h ( x ) y τ ( x ) = 0 , x 0 ,
where h ( x ) is a continuous and nonnegative function.

3. Exact solutions

In literature, the only known solutions to (2) in closed form are available for N = 0 , N = 1 and N = (degenerate case). We are going to briefly outline the related polytropes and solution procedures for N = 0 and N = 1 .

3.1. Polytropes for N=0

The easiest case occurs2 when N = 0 and we can trivially solve by separation of variables. Actually, in that case a generalization of (3) and (2) can be solved as well.
Proposition 1.
All generalized Lane-Emden equations of the following kind:
1 x k d d x x k d θ d x + θ N ( x ) = 0 θ ( 0 ) = 1 θ ( 0 ) = 0 ,
can be solved for all k 0 when N = 0 and the solution is the following family of parabolas:
θ k ( x ) = 1 x 2 2 ( k + 1 ) .
Proof. 
When N = 0 , (9) amounts to:
1 x k d d x x k d θ d x = 1 d d x x k d θ d x = x k ,
then after integrating both sides we have:
x k d θ d x = x k + 1 k + 1 + C 0 θ ( x ) = x 2 2 ( k + 1 ) + C 0 ( k + 1 ) x k 1 + C 1 ,
then applying the boundary conditions yields C 0 = 0 and C 1 = 1 , leading to the following family of parabolas indexed by k: θ k ( x ) = 1 x 2 2 ( k + 1 ) . □
The respective polytropes for (2) and (3) are
θ 1 ( x ) = 1 x 2 4 , θ 2 ( x ) = 1 x 2 6 .

3.2. Polytropes for N=1

When N = 1 , the polytrope of (3) is known as well. Expanding equation (3) yields:
1 x 2 2 x θ ( x ) + x 2 θ ( x ) + θ ( x ) = 0 θ ( x ) + 2 x θ ( x ) + θ ( x ) = 0 .
On the other hand, expanding the form (2) yields:
1 x θ ( x ) + x θ ( x ) + θ ( x ) = 0 θ ( x ) + 1 x θ ( x ) + θ ( x ) = 0 .
In order to solve them, we assume a power series solution of the following kind (where a 0 = 1 because θ ( 0 ) = 1 ):
θ ( x ) = 1 + j = 1 a j x j .
Plugging (13) into (11) leads to:
j = 2 ( j 1 ) j a j x j 2 + 2 j = 1 j a j x j 2 + 1 + j = 1 a j x j = 0
2 a 1 x + 2 a 2 + 4 a 2 + 1 + j = 3 [ ( ( j 1 ) j + 2 j ) a j + a j 2 ] x j 2 = 0 ,
whose coefficients are supposed to verify:
a 1 = 0 , a 2 = 1 6 , a j = a j 2 j ( j + 1 ) ,
hence the polytrope is
θ ( x ) = 1 + j = 1 ( 1 ) j x 2 j ( 2 j + 1 ) ! = sin x x .
An analogous procedure can be carried out to solve (12). Plugging (13) into (12) yields:
j = 2 ( j 1 ) j a j x j 2 + j = 1 j a j x j 2 + 1 + j = 1 a j x j = 0
a 1 x + 2 a 2 + 2 a 2 + 1 + j = 3 [ ( ( j 1 ) j + j ) a j + a j 2 ] x j 2 = 0 ,
whose coefficients are:
a 1 = 0 , a 2 = 1 4 , a j = a j 2 j 2 ,
leading to the following polytrope:
θ ( x ) = 1 + j = 1 ( 1 ) j x 2 j ( ( 2 j ) ! ! ) 2 .
The next Proposition intends to generalize the above findings as in Proposition 1.
Proposition 2.
All generalized Lane-Emden equations of the following kind:
1 x k d d x x k d θ d x + θ N ( x ) = 0 θ ( 0 ) = 1 θ ( 0 ) = 0 ,
can be solved for all k 0 when N = 1 and the solution is the following family of power series:
θ k ( x ) = 1 + j = 1 ( 1 ) j x 2 j ( 2 j ) ! ! ( 2 j 1 + k ) ! ! .
Proof. 
Expanding the equation leads to
θ ( x ) + k x θ ( x ) + θ ( x ) = 0 .
Employing the above method, we obtain:
k a 1 x + 2 a 2 + 2 k a 2 + 1 + j = 3 [ ( ( j 1 ) j + k j ) a j + a j 2 ] x j 2 = 0 ,
leading to the following coefficients:
a 1 = 0 , a 2 = 1 2 + 2 k , a j = a j 2 j ( j + k 1 ) ,
consequently the polytrope is (16). □

4. Analytical properties in the cylindrical scenario

In this Section, we are going to establish some qualitative properties of the solutions to (2) after setting k = 1 . We begin from some elementary analytical result, then we proceed to provide some insights on the graph of the involved functions. From now on, we will indicate with θ M ( x ) the solution to the cylindrical Lane-Emden equation for N = M .
Proposition 3.
For all M 0 , we have that ( θ M ) ( 0 ) = 1 2 .
Proof. 
It is elementary to collect terms in (2) as follows:
( θ M ) ( x ) + ( θ M ) ( x ) x + ( θ M ) M ( x ) = 0 ( θ M ) ( x ) x x = ( θ M ) M ( x ) .
Now call F M ( x ) = ( θ M ) ( x ) x , whose derivatives respectively are
F M ( x ) = ( θ M ) ( x ) x + ( θ M ) ( x ) , F M ( x ) = ( θ M ) ( x ) x + 2 ( θ M ) ( x ) .
Since F M ( 0 ) = ( θ M ) ( 0 ) = 0 and by the initial condition θ M ( 0 ) = 1 , we can deduce that
lim x 0 F M ( x ) x = 1
but the above limit is equal to F M ( 0 ) by De L’Hospital’s Theorem, hence
F M ( 0 ) = 2 ( θ M ) ( 0 ) = 1 ,
which implies ( θ M ) ( 0 ) = 1 2 . □
It is simple to check that the same procedure illustrated in Proposition 3 can be extended to calculate the higher order derivatives of the solution at zero. Although we are not going to develop this argument, the implementation of this method might provide an approximation series of the solution in a neighbourhood of the origin.
As an illustrative example of the method, we can check the value of the third derivative at 0.
Since F ( x ) = x ( θ M ) ( x ) + 2 ( θ M ) ( x ) , differentiating the right-hand side as well yields:
x ( θ M ) ( x ) + 2 ( θ M ) ( x ) = ( θ M ) M ( x ) M x ( θ M ) M 1 ( x ) ( θ M ) ( x )
( θ M ) ( x ) = 2 ( θ M ) ( x ) + ( θ M ) M ( x ) x M ( θ M ) M 1 ( x ) ( θ M ) ( x ) .
Subsequently, evaluating both sides at 0 entails:
( θ M ) ( 0 ) = lim x 0 2 ( θ M ) ( x ) + ( θ M ) M ( x ) x M ( θ M ) M 1 ( x ) ( θ M ) ( x ) ,
then, by De L’Hospital’s Theorem, we obtain
( θ M ) ( 0 ) = 2 ( θ M ) ( 0 ) ( θ M ) ( 0 ) = 0 .
Furthermore, Proposition 3 establishes that for all M, θ M ( x ) is concave in a neighbourhood of 0. As a matter of fact, he solution that we explicitly know for M = 0 is a parabola having a decreasing and concave behaviour for x > 0 . As is well-known, if the function admits no inflection points for x > 0 , this is a sufficient condition to guarantee the existence of a zero x M . When M = 0 , x 1 = 2 .
The following results intend to establish some further qualitative properties of θ M ( x ) which are verified for all M 1 .
Proposition 4.
If θ M ( x ) admits at least a positive zero for M 1 , and x M is the smallest zero of θ M ( x ) , then one of the following conditions holds:
  • θ M ( x M ) = ( θ M ) ( x M ) = ( θ M ) ( x M ) = = ( θ M ) ( k ) ( x M ) = 0 for all k Z + ;
  • the function θ M ( x ) admits at least one inflection point F ( x F , y F ) such that 0 < x F < x M .
Proof. 
If we call F M ( x ) = ( θ M ) ( x ) x , it is easy to note that F M ( x M ) = 0 by construction. Since F M ( x M ) = ( θ M ) ( x M ) x M + ( θ M ) ( x M ) = 0 , two cases may occur. Either both first and second derivative vanish at x M , and consequently all the derivatives of any order vanish at x M , or x M = ( θ M ) ( x M ) ( θ M ) ( x M ) θ M ( x M ) , which can only hold if the second order derivative changed its sign in the interval ( 0 , x M ) , meaning that the graph has an inflection point at x F < x M . □
Now we are going to provide some further insights on the behavior of the solution by separating the two circumstances where M is odd and M is even, because some relevant differences occur. The role of possible inflection points, zeros and stationary points will be analyzed in detail.

4.1. Qualitative behavior if M is odd

The presence of a stationary point, i.e. either a maximum or a minimum point, when M is odd, is an interesting issue. If we suppose that θ M ( x ) admits one stationary point x such that ( θ M ) ( x ) = 0 , in the main equation we would have
( θ M ) ( x ) = ( θ M ) M ( x ) .
If θ M ( x ) > 0 , this point can only be a local maximum, by the negativity of the second order derivative. Vice versa, if θ M ( x ) < 0 , it is a local minimum, and clearly x F < x M < x .
The above considerations establish that if M is odd, ( θ M ) ( x ) can only have a maximum point having both positive coordinates. On the other hand, any local minimum has a negative image, hence there are always at least one inflection point and a zero between each maximum and minimum point.

4.2. Qualitative behavior if M is even

If M is even, i.e a positive integer greater or equal to 2, the results are slightly different with respect to the previous case. Suppose that x > 0 is the first stationary point for θ M ( x ) . If θ M ( x ) > 0 , the negativity of the second order derivative implies that such a point is a local maximum, but this holds true even if θ M ( x ) < 0 . Namely, a stationary point can only be a maximum point, consequently there can only be one maximum point, after which the solution decreases asymptotically. No oscillating behaviour is feasible in this case, as occurs in the easiest case M = 0 , where the polytrope is monotonically decreasing. There may be some changes in the convexity/concavity form of the graph, but the beahaviour is unambiguously decreasing.

4.3. Evaluation of the difference between two solutions

Call θ M , θ P the solutions for any M , P Z + , where M P . We posit k = 1 , i.e. we are in the cylindrical setup. By (1), we have that:
( θ M ) ( x ) + ( θ M ) ( x ) x + ( θ M ) M ( x ) = 0 ( θ P ) ( x ) + ( θ P ) ( x ) x + ( θ P ) P ( x ) = 0 ( θ M ) ( x ) x x = ( θ M ) M ( x ) ( θ P ) ( x ) x x = ( θ P ) P ( x ) .
Call now F M ( x ) = ( θ M ) ( x ) x and F P ( x ) = ( θ P ) ( x ) x , so that we obtain the following dynamic system:
F M ( x ) = x ( θ M ) M ( x ) F P ( x ) = x ( θ P ) P ( x ) ,
endowed with the initial conditions: F M ( 0 ) = 0 , F P ( 0 ) = 0 . Subtracting the left hand sides, we have:
F M ( x ) F P ( x ) = x ( θ P ) P ( x ) ( θ M ) M ( x ) ,
from which we have, after integrating both sides:
F M ( x ) F P ( x ) = 0 x t ( θ P ) P ( t ) ( θ M ) M ( t ) d t ,
i.e.
θ M ( x ) θ P ( x ) = 0 x t ( θ P ) P ( t ) ( θ M ) M ( t ) d t x ,
then, integrating both sides again:
θ M ( x ) θ P ( x ) = 0 x 0 t s ( θ P ) P ( s ) ( θ M ) M ( s ) d s t d t .
In (18), the difference between solutions is on the left-hand side, whereas the difference between their powers is in the double integral in the right-hand side. This relation can be employed to identify an approximation method for the polytropes, with the help of the above considerations on the qualitative behavior of the solutions.

5. Concluding remarks and discussion

We identified some properties of the solutions of the Lane-Emden in the cylindrical framework, especially taking into account the critical points and their possible positions. The determination of solutions in closed form remains a difficult issue, anyway some insights are provided which may lead to a more precise approximation. A future development of the present work may concern the realization and the computational optimization of a suitable algorithm to constructively approximate the real solution.

Author Contributions

Conceptualization, A.P. and S.R.; methodology, A.P. and S.R.; software, A.P. and S.R.; validation, A.P. and S.R.; formal analysis, A.P. and S.R.; investigation, A.P. and S.R.; resources, A.P. and S.R.; data curation, A.P. and S.R.; writing—original draft preparation, A.P. and S.R.; writing—review and editing, A.P. and S.R.; visualization, A.P. and S.R.; supervision, A.P. and S.R.; project administration, A.P. and S.R.; funding acquisition, A.P. and S.R. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Emden, R. Gaskugeln, BG Teubner, 1907.
  2. Recchi, S., A. Hacar, Palestini, A. Nonisothermal filaments in equilibrium. Astron. and Astroph. 2013, 558, 27. [CrossRef]
  3. Recchi, S., Hacar, A., Palestini, A. On the equilibrium of rotating filaments. Month. Not. of the Royal Astron. Soc. 2014, 444(2), 1775–1782. [CrossRef]
  4. Fowler, R.H. The form near infinity of real continuous solutions of a certain differential equation of second order. Quart. J. of Math. 1914, 45, 289–350.
  5. Fowler, R.H. Further studies of Emden’s and similar differential equations. Quart. J. of Math. 1931, 1, 259–288. [CrossRef]
  6. Chandrasekhar, S. An Introduction to the Study of Stellar Structure, Chicago: University of Chicago Press, 1939; pp. 84-103.
  7. Chandrasekhar, S., Fermi, E. Problems of Gravitational Stability in the Presence of a Magnetic Field. Astroph. J. 1953, 118, 115–141. [CrossRef]
  8. Christodoulou, D. M., Kazanas, D. Exact Axisymmetric Solutions of the 2-D Lane-Emden Equations with Rotation. J. Mod. Phys. 2016, 7, 2177–2187. [CrossRef]
  9. Ostriker, J. The equilibrium of polytropic and isothermal cylinders. The Astroph. J. 1964, 140, 1056. [CrossRef]
  10. Horedt, G.P. Polytropes: applications in astrophysics and related fields 2004,306, Springer Science & Business Media.
  11. Adomian, G. A new approach to nonlinear partial differential equations. J. of Math. Anal. and Appl. 1984, 102, 420–434. [CrossRef]
  12. Bengochea, G., Verde-Star, L. Linear algebraic foundations of the operational calculi. Adv. in Appl. Math. 2011, 47(2), 330–351. [CrossRef]
  13. Bengochea, G. Algebraic approach to the Lane-Emden equation. Appl. Math. and Comp. 2014, 232, 424—430. [CrossRef]
  14. Bengochea, G., Verde-Star, L. An operational approach to the Emden-Fowler equation. Math. Meth. in the Appl. Sci. 2015, 38(18) 4630-–4637. [CrossRef]
  15. Arqub, O. A., Osman, M. S., Abdel-Aty, A. H., Mohamed, A. B. A., Momani, S. A numerical algorithm for the solutions of ABC singular Lane–Emden type models arising in astrophysics using reproducing kernel discretization method. Mathematics 2020, 8(6), 923. [CrossRef]
  16. Iacono, R., De Felice, M. Constructing analytic approximate solutions to the Lane-Emden equations. Phys. Lett. A 2015, 379, 1802–1807. [CrossRef]
  17. Sahu, P. K., Ray, S. S. Numerical solutions for Volterra integro-differential forms of Lane-Emden equations of first and second kind using Legendre multi-wavelets. El. J. of Diff. Eq. 2015, 28, 1–11.
  18. Wazwaz, A. M., Rach, R., Duan, J. S. Adomian decomposition method for solving the Volterra integral form of the Lane–Emden equations with initial values and boundary conditions. Appl. Math. and Comp. 2013, 219(10), 5004–5019. [CrossRef]
  19. Wong, J. S. On the generalized Emden–Fowler equation. Siam Rev. 1975, 17(2), 339–360.
  20. Habets, P., Zanolin, F. Upper and lower solutions for a generalized Emden-Fowler equation. J. Math. Anal. Appl. 1994, 181(3), 684–700. [CrossRef]
  21. Zhang, Y. Positive solutions of singular sublinear Emden-Fowler boundary value problems. J. of Math. Anal. and Appl. 1994, 185, 215–222. [CrossRef]
  22. Lane, H.J. On the Theoretical Temperature of the Sun, under the Hypothesis of a gaseous Mass maintaining its Volume by its internal Heat, and depending on the laws of gases as known to terrestrial Experiment. Amer. J. of Science 1870), 148, 57–74. [CrossRef]
1
In [18] a further version is mentioned, originating from a change of variable in (4), whose form is θ ( x ) + k θ x + e θ ( x ) = 0 , and whose initial conditions are replaced with θ ( 0 ) = θ ( 0 ) = 0 .
2
This case is far from reality in that N = 1 γ 1 . Anyway we are going to outline the polytropes for completeness.
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated