Professional Documents
Culture Documents
JMM Volume 7 Issue 2 Pages 231-250
JMM Volume 7 Issue 2 Pages 231-250
Abstract. In the present paper, we have used moving least squares (MLS)
method to solve the integral form of the Emden-Fowler equations with ini-
tial conditions. The Volterra integral form of the Emden-Fowler equations
overcomes their singular behavior at x = 0, and the MLS method leads to
a satisfactory solution for the equation. The convergence of the method
is investigated and finally its applicability is displayed through numerical
examples.
Keywords: Emden-Fowler equations, Volterra integral equation, moving least squares
method.
AMS Subject Classification: 34K28, 65L05.
1 Introduction
The Emden-Fowler equation with the general following form
k 0
u00 (x) + u (x) + αf (u(x))g(x) = 0, u(0) = β, u0 (0) = 0, (1)
x
is a model for various phenomena in physics, chemistry, mechanics, etc. in
which f (u) and g(x) are functions of u and x respectively, k is a shape factor
and α and β are constants. For α = 1 and g(x) ≡ 1 the equation in (1)
∗
Corresponding author.
Received: 12 February 2019 / Revised: 12 May 2019 / Accepted: 29 May 2019.
DOI: 10.22124/jmm.2019.12623.1238
c 2019 University of Guilan http://jmm.guilan.ac.ir
232 S. Asadpour, A. Yazdani Cherati and H. Hosseinzadeh
with different f (u)s will be changed into Lane-Emden equation which can
be observed in a number of phenomena in mathematical physics specially
astrophysics and quantum mechanics. For details on these models, their
physical structure and the calculation of their answers refer to [1, 5, 7, 8, 11,
13, 14, 16].
Our aim in this research is to transform the Emden-Fowler equation to
its Volterra integral form in order to overcome its singular point in x = 0
and then to solve it with the MLS method.
A number of ways have been proposed to solve the Emden-Fowler equa-
tion including Adomian decomposition method (Wazwaz et al.) [33], Varia-
tional iteration method (Shang et al.) [26], homotopy perturbation method
(Chowdhury and Hashim) [8] and Hybrid function method (Tabrizidooz et
al.) [28].
By two times derivating of Eq. (2) and applying the Leibniz’s rule we will
have
Z x k
0 t
u (x) = −α ( k )f (u(t))g(t)dt,
0 x
Z x
tk
u00 (x) = −αf (u(x))g(x) + α k( k+1 )f (u(t))g(t)dt.
0 x
By multiplying the u0 (x) in xk and adding the result to u00 (x) the general
form of Emden-Fowler equation is achieved. If k = 1 the integral form will
be as the following
Z x
t
u=β+α t ln( )f (u(t))g(t)dt, (3)
0 x
which Eq. (3) can be obtained in the limit as k → 1 where the L’ Hopital’s
rule has been used. Therefore, the integral form of Emden-Fowler equation
Solving the general form of the Emden-Fowler equations . . . 233
is as the following
Z x
t
β + α t ln( )f (u(t))g(t)dt, k = 1,
0 x
u(x) = (4)
Z x
tk−1
α
β − k−1
t(1 − k−1 )f (u(t))g(t)dt, k > 0, k 6= 1.
0 x
where ωhi (x − xi ) is the weight function associated with the node i, n is the
number of nodes in Ω for which the weight function ωhi (x − xi ) > 0 and
ui are the fictitious nodal values, but not the nodal values of the unknown
trial function û(x), i.e. û(xi ) 6= ui . In this study, we use the Gaussian
weight functions
d h
exp(−( γi )2 )−exp(−( γi )2 )
, 0 ≤ di ≤ hi ,
h
1−exp(−( γi )2 )
ωhi (x − xi ) =
0, di > hi ,
From functional solution of J with regard to a(x), the linear relation be-
tween a(x) and u is achieved as follows
The matrix A is often called the moment matrix and its size equals (m +
1) × (m + 1). If we select the nodal points such that A(x) is non-singular,
then Eq. (7) has the unique solution
where
m
X
ϕi (x) = pj (x)[A−1 (x)B(x)]ji ,
j=0
using an n1 -point quadrature formula with the coefficients {τ` } and weights
{ω` } in the interval [0, 1] for numerically solving the integration in Eq. (12)
yields
n n1 n
X αx2j X X
ϕi (xj )ûi + τ` (1 − τ` k−1 )f ( ϕi (τ` xj )ûi )g(τ` xj )ω` = β.
k−1
i=1 `=1 i=1
236 S. Asadpour, A. Yazdani Cherati and H. Hosseinzadeh
Here, ûi s are an estimate for the ui s and by using the Levenberg-Marquardt
algorithm, û is finally achieved. Then the values of u(x) at any point of
x ∈ [0, 1] can be approximated by Eq. (9) as
N
X
u(x) ≈ uN (x) = ϕi (x)ûi , x ∈ [0, 1]. (13)
i=1
5 Convergence analysis
This section covers the convergence analysis of the proposed method. At
first, the error estimate of MLS approximation is presented in terms of the
parameter R which plays the role of the mesh-size. In [15] Levin analyzed
the MLS method for a particular weight function obtaining error estimate
in the uniform norm for the approximation of a regular function in N
dimensions. In [3] Armentano and Duran proved error estimates in L∞
for the function and its derivatives in the one-dimensional case. In [2]
Armentano obtained the error estimates in L∞ and L2 norms for one and
higher dimensions. In [41] Zuppa proved error estimates for approximation
of the function and the first and second order derivatives in L∞ norm.
The error estimate of the method, proposed in this work is based on those
obtained in [16, 41] for the one-dimensional cases.
Let Ω be an open bounded domain in R and QN denotes an arbitrarily
chosen set of N points xi ∈ Ω referred to as nodes QN = {x1 , x2 , . . . , xN },
xi ∈ Ω. Let IN := {Υi }N i=1 denotes a finite open covering of Ω consisting
N cloudsSΥi such that xi ∈ Υi and Υi is centered around xi in some way,
and Ω ⊂ N i=1 Υi . Define the radius hi of Υi as maxx∈∂Υi {|x − xi |}.
A function u is said of class C q,1 in Ω if and only if u is of class C q
in Ω and the partial derivatives Ds u of u of order q(|s| = q) are Lipschitz
continuous in Ω. The semi-norm | . |q,1 is defined as [41]
( )
|Ds u(x) − Ds u(y)|
|u|q,1 = sup : x, y ∈ Ω, x 6= y, |s| = q .
|x − y|
In order to have the MLS approximation well defined we need the mini-
mization problem to have a unique solution at every point x ∈ Ω and this is
equivalent to the non-singularity of matrix A(x). In [41] the error estimate
was obtained with the following assumption about the system of nodes and
weight functions {QN , SN = {ωhi }Ni=1 }.
where the numbers CNq (ST (c)) are computable measures of the qual-
ity of the star ST (c) which is defined in theorem 7 of [41].
Gq
kDs ωhi kL∞ ≤ , 1 ≤ |s| ≤ q.
R|s|
5. There exists the number γ ≥ 0 such that any two points x, y ∈ Ω can
be jointed by a rectifiable curve Γ in Ω with length |Γ| ≤ γ|x − y|.
As highlighted in [41], the number CN2 (ST (c)) can be very high near
the boundary points. This drawback can degrade appreciatively the global
error estimate when q = 2.
Now we write Eq. (10) in an abstract form as
(λ − F)u = g, (15)
where Z
Fu = k(x, µ)f (u(µx))dµ.
Ω
(λ − F)û = g, (16)
Assume that F is a compact operator (for more details about the compact
integral operators see chapter 1 of [4]).
Lemma 1. If Eq. (15) is uniquely solvable and ku − ûk → 0 then Eq. (16)
is uniquely solvable.
Suppose that
M
X
FM u = k(x, τi )u(xτi )ωi ,
i=1
then
M
X
kFM k = max |k(x, τi )ωi |.
x∈Ω
i=1
as the numerical integration error for the integrand k(x, .)k(., µ). Then for
u ∈ C(Ω),
Z
(F − FM )Fu(x) = eM (x, µ)u(µx)dµ,
Ω
M
X
(F − FM )FM u(x) = eM (x, τi )u(xτi )ωi .
i=1
In addition,
Z
k(F − FM )Fk = max |eM (x, µ)|dµ,
x∈Ω Ω
M
X
k(F − FM )FM k = max |eM (x, τi )ωi |.
x∈Ω
i=1
and thus
one to one and onto, which implies (λ − T )−1 exists as a bounded operator
on X to X . Finally, assume that
|λ|
k(T − S)Sk < .
k(λ − T )−1 k
(λ − FM )uN = g.
Remark. Note that in this paper the mesh-sizes hi are taken constant
for all nodes (≡ R). The size of support domain in the MLS approximation
should be large enough to accommodate a sufficiently large number of nodes
covered in the domain of definition of point x to ensure the regularity of
the matrix A(x). A necessary condition is presented in Theorem (1) as
n = card(ST (x)) ≥ card(Pq ) = m + 1. The role of this size is played by
R in Theorem (1) Otherwise for convergence of û to u from (14), R must
be a small real number. To overcome these two opposite phenomena, we
must take R as a small real number and increase the density of nodes in
the support domain.
6 Numerical experiments
In this section, some examples are provided to show the strength of the pro-
posed method in approximating the solution of Emden-Fowler equations.
For computational details and the numerical implementation of the method
we take hi = 2/(N − 1) and γ = 0.6/(N − 1) for all of them to ensure the
invertibility of the matrix A in MLS method. Also in our computations we
use the 7-point Gauss-Legendre quadrature rule for numerical integration.
First, a special form of the Emden-Fowler equation which has been well
studied before, will be considered
2 0
u00 (x) + u (x) + αuν xξ = 0, u(0) = 1, u0 (0) = 0. (18)
x
As was mentioned before, for ξ = 0 the above equation will transform to
Lane-Emden with the index of ν. It was phisically shown that interesting
values of ν lie in the interval [0, 5], moreover, the exact answer has been
available only for ν = 0, 1, 5 and for the other values of ν series solutions
are available [9, 31].
It is important to note that Eq. (18) for ν = 0, 1 is linear and for the
other values of ν it is nonlinear. According to Section 2 since k = 2 the
integral form of Eq. (18) will be as follows
Z x
t
u(x) = 1 − α t(1 − )uν tξ dt,
0 x
1
Numerical
Exact
0.95
y
0.9
0.85
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
x
after solving that equation, we will come up with the exact answer of the
2
u(x) = 1 − αx3! .
which has been solved with the MLS method. The results of the pro-
cess and the comparison of its answer with the exact answer of u(x) =
√ √
sin( αx)/ αx can be found in Table 1 and Figures 1 and 2. Also for
ν = 5 and ξ = 0 we have:
Z x
µ 5
u(x) = 1 − α µ(1 − )u (µ)dµ,
0 x
Solving the general form of the Emden-Fowler equations . . . 243
×10 -10
1.4
1.2
0.8
Error
0.6
0.4
0.2
0
0 0.1 0.2 0.3 0.4 0.5 0.6 0.7 0.8 0.9 1
x
2 −1
Its exact answer is u(x) = (1 + αx3 ) 2 . We have achieved the following
answers using the MLS method through comparisons with the exact answer.
Refer to Table 2 and Fiqure 3 for details. In general, for ν = 0, we can
obtain the exact solution of the problem for every real ξ and ξ 6= −2, −3
by solving the following integral equation [33]
Z x
t
y(x) = 1 − α t(1 − )tξ dt.
0 x
Now, consider the following Emden-Fowler equation:
2 0
u00 (x) + u (x) + eu(x) = 0, u(0) = 0, u0 (0) = 0. (19)
x
This equation models the distribution of mass in an isothermal sphere [17].
In order to solve Eq. (19), first its integral form is considered,
Z x
t
u(x) = − t(1 − )eu(t) dt.
0 x
244 S. Asadpour, A. Yazdani Cherati and H. Hosseinzadeh
−7
x 10
2
−1
−2
Error
−3
−4
−5
−6
−7
0 0.2 0.4 0.6 0.8 1
x
Now, by applying the MLS method, we will solve it and compare the results
with the following series answer achieved through the Adomian Decompo-
sition Method (ADM) [31]. See Table 3 and Figure 4.
x2 x4 8x6 122x8 4087x10
u(x) = − + − + − + e(O12 ).
3! 5! 3.7! 9.9! 45.11!
Similarly, acceptable results can be achieved for the following equation:
2
u00 (x) + u0 (x) + e−u(x) = 0, u(0) = 0, u0 (0) = 0,
x
that is used in Richardson’s theory [25] of thermionic currents which is
related to the emission of electricity from hot bodies.
Now, consider the following equation as another example:
k 0
u00 (x) + u (x) − α(6 + 4x2 )u(x) = 0, u(0) = β, u0 (0) = 0,
x
here we will solve a special form of the equation as referred to in [26]
2 0
u00 (x) + u (x) + (6 + 4x2 )u(x) = 0, u(0) = 1, u0 (0) = 0,
x
Solving the general form of the Emden-Fowler equations . . . 245
−7
x 10
6
3
Error
−1
0 0.2 0.4 0.6 0.8 1
x
After comparing the answer of the above equation with MLS, the result
2
will be compared with the exact solution u(x) = ex . The results can be
seen in Table 4 and Figure 5.
And the last example is expressed in [26]
2 0
u00 (x) + u (x) − 6u(x) − 4u(x) ln(u(x)) = 0, u(0) = 1, u0 (0) = 0.
x
the integral form of which is as follows
Z 1
2
u(x) = 1 + x µ(1 − µ)(6u(µx) + 4u(µx) ln(u(µx)))dµ.
0
246 S. Asadpour, A. Yazdani Cherati and H. Hosseinzadeh
−6
x 10
3
−1
−2
−3
−4
−5
−6
0 0.2 0.4 0.6 0.8 1
Figure 5: The MLS approximation error of degree 3 with 101 points com-
pared to the exact solution.
In the following, the result achieved through MLS for this example will be
2
compared with the exact solution u(x) = ex . The results are shown in
Table 5 and Figure 6.
7 Conclusion
In this paper, the MLS method was used to solve the integral form of
the Emden-Fowler equations in various forms and at the end an acceptable
level of accuracy in answering the equation was achieved. First, the Emden-
Fowler equation has been investigated in multiple occasions, then different
approaches have been offered to solve it. In this article, we came to a new
approach to solve it more efficiently.
Solving the general form of the Emden-Fowler equations . . . 247
−6
x 10
3
−1
−2
−3
−4
−5
−6
0 0.2 0.4 0.6 0.8 1
Figure 6: The MLS approximation error of degree 3 with 101 points com-
pared to Exact solution.
Acknowledgements
The authors are very grateful to anonymous reviewer for carefully reading
the paper and for their comments and suggestions which have improved the
paper very much.
References
[1] G. Adomian, R. Rach and N.T. Shawagfeh, On the analytic solution
of the Lane-Emden equation, Found. Phys. Lett. 8 (1995) 161-181.
[2] M.G. Armentano, Error estimates in Sobolev spaces for moving least
square approximations, SIAM J. Numer. Anal. 39 (2001) 38-51.
[3] M.G. Armentano and R.G. Durn, Error estimates for moving least
square approximations, Appl. Numer. Math. 37 (2001) 397-416.
[6] C. Canuto and M.Y. Hussaini, A. Quarteroni and T.A. Zang, Spectral
methods fundamentals in single domains, Springer-Verlag, 2006.
248 S. Asadpour, A. Yazdani Cherati and H. Hosseinzadeh
[24] A.S.V. Ravi Kanth, K. Aruna, He’s variational iteration method for
treating nonlinear singular boundary value problems, Comput. Math.
Appl. 60 (2010) 821-829.
[25] O.W. Richardson, The emission of electricity from hot bodies, Long-
mans Green and Co., London, 1921.
[32] A.M. Wazwaz, A new method for solving singular initial value prob-
lems in the second-order ordinary differential equations, Appl. Math.
Comput. 128 (2002) 47-57.
[34] A.M. Wazwaz, Partial differential equations and solitary waves theory,
HEP and Springer, Beijing and Berlin, 2009.
[35] A.M. Wazwaz, The variational iteration method for solving nonlinear
singular boundary value problems arising in various physical models,
Commun. Nonlinear Sci. Numer. Simul. 16 (2011) 3881-3886.
[40] S.A. Yousefi, Legendre wavelets method for solving differential equa-
tions of Lane-Emden type, Appl. Math. Comput. 181 (2006) 14171422.