Skip to main content

Theory and Modern Applications

Numerical solutions of fractional differential equations of Lane-Emden type by an accurate technique

Abstract

In this work, we study the fractional order Lane-Emden differential equations by using the reproducing kernel method. The exact solution is shown in the form of a series in the reproducing kernel Hilbert space. Some numerical examples are given in order to demonstrate the accuracy of the present method. The results obtained from the method are compared with the exact solutions and another method. The obtained numerical results are better than the ones provided by the collocation method. Results of numerical examples show that the presented method is simple, effective, and easy to use.

1 Introduction

The fractional differential equations of various types plays important roles and tools not only in mathematics but also in physics, control systems, dynamical systems and engineering to create the mathematical modeling of many physical phenomena. As is well known, the Lane-Emden differential equations are important for mathematical modeling [1]. Therefore, the goal of our manuscript is to research the effectiveness of reproducing kernel method (RKM) to solve fractional differential equations of Lane-Emden type. To demonstrate this, we solve several examples in the succeeding sections. We consider the following equation:

$$ D^{\alpha}y(t)+\frac{k}{t^{\alpha-\beta}}D^{\beta}y(t)+f(t,y)=g(t), $$
(1)

with the initial conditions

$$ y(0)=A, \qquad y'(0)=B, $$
(2)

where \(0< t \leq1\), \(k \geq0\), \(1 < \alpha\leq2\), \(0 < \beta\leq 1\), A, B are constants, \(f(t,y)\) is a continuous real valued function and \(g(t) \in C[0,1]\) [2].

Lane-Emden differential equations are singular initial value problems relating to second order differential equations (ODEs) utilized to model successfully several real world phenomena in mathematical physics and astrophysics. The Lane-Emden equation describes plenty of phenomena including aspects of stellar structure, the thermal history of a spherical cloud of gas, isothermal gas spheres, and thermionic currents. We recall that the ordinary Lane-Emden equation does not always give a correct description of the dynamics of systems in complex media. Thus, in order to bypass this obstacle and to better describe the dynamical processes in a fractal medium, numerous generalizations of Lane-Emden equation were suggested. Thus, taking into account the memory effects are better described within the fractional derivatives, the fractional Lane-Emden equations are extracting hidden aspects for the complex phenomena they described in various field of the applied mathematics, mathematical physics, and astrophysics [2, 3].

Fractional order Lane-Emden differential equations involve multi-term fractional ODEs. The multi-term fractional differential equations have been considered by many authors and some numerical methods have been proposed [47].

Fractional calculus has a large variety of implementations in lots of several scientific and engineering disciplines. The main notions of fractional calculus and implementations are given in [8, 9].

We recall that a general solution technique for fractional differential equations has not yet been constituted. Some methods have been enhanced for particular sorts of problems. Consequently, a single standard method for problems regarding fractional calculus has not appeared. Thus, finding credible and affirmative solution methods along with fast application techniques is beneficial and enables examination of the field. The power series method [10], the differential transform [11] and [12], the homotopy analysis method [13], the variational iteration method [14], the homotopy perturbation method [15] and the sinc-Galerkin method [16] are some well known methods for solving fractional differential equations. For more details see [1719].

The theory of reproducing kernels [20], was utilized for the first time at the beginning of the 20th century by Zaremba in his work on boundary value problems. Recently, much attention was devoted to the further investigations of RKM in order to be applied to various scientific models. Since RKM accurately computes the series solution it is of great interest for applied sciences. The method provides the solution in a rapidly convergent series with components that can easily be calculated. In [21] an overview of RKM is shown. For more details of this method the reader can see [2229].

The organization of the manuscript is as follows.

Section 2 gives the basic theorems of fractional calculus. Section 3 introduces several reproducing kernel spaces. The representation in \({}^{o} \varpi_{2}^{3}[0,1]\) and a related linear operator are presented in Section 4. Section 5 exhibits the main results. The exact and approximate solutions of (1)-(2) are given in this section. We verify that the approximate solution converges uniformly to the exact solution. Two examples are shown in Section 6. Some conclusions are given in the final section.

2 Preliminaries

Definition 1

[16]

The left and right Riemann-Liouville fractional derivatives of order α of \(h(t)\) are given as

$$ {}_{a}D_{t}^{\alpha}h(t)= \frac{1}{\Gamma(n-\alpha)}\frac{\mathrm{d}^{n}}{\mathrm{d}t^{n}}\int_{a}^{t}(t-v)^{n-\alpha-1}h(v) \,\mathrm{d}v $$
(3)

and

$$ {}_{t}D_{b}^{\alpha}h(t)= \frac{(-1)^{n}}{\Gamma(n-\alpha)}\frac{\mathrm{d}^{n}}{\mathrm{d}t^{n}}\int_{t}^{b}(v-t)^{n-\alpha-1}h(v) \,\mathrm{d}v. $$
(4)

The left and right Caputo fractional derivatives of order α of \(h(t)\) are

$$ {}_{a}^{\mathrm{C}}D_{t}^{\alpha}h(t)= \frac{1}{\Gamma(n-\alpha)}\int_{a}^{t}(t-v)^{n-\alpha -1}h^{(n)}(v) \,\mathrm{d}v $$
(5)

and

$$ {}_{t}^{\mathrm{C}}D_{b}^{\alpha}h(t)= \frac{1}{\Gamma(n-\alpha)}\int_{t}^{b} (-1)^{n}(v-t)^{n-\alpha-1}h^{(n)}(v) \,\mathrm{d}v, $$
(6)

such that \(h:[a,b]\rightarrow\mathbb{R}\) is a function, α is a positive real number, n is the integer satisfying \(n-1 \leq\alpha \leq n\), and Γ is the Euler gamma function.

Definition 2

[16]

If \(0 < \alpha< 1\) and h is a function such that \(h(a)=h(b)=0\), we can write

$$ \int_{a}^{b} g(t) {}_{a}^{\mathrm{C}}D_{t}^{\alpha}h(t) \,\mathrm{d}t= \int_{a}^{b}h(t) {}_{t}D_{b}^{\alpha }g(t) \,\mathrm{d}t $$
(7)

and

$$ \int_{a}^{b} g(t){}_{t}^{\mathrm{C}}D_{b}^{\alpha}h(t) \,\mathrm{d}t=\int_{a}^{b}h(t) {}_{a}D_{t}^{\alpha }g(t)\,\mathrm{d}t . $$
(8)

3 Reproducing kernel functions

Definition 3

[21]

Let \(F\neq\emptyset\). A function \(R:F\times F\to\mathbb{C}\) is called a reproducing kernel function of the Hilbert space H if and only if

  1. (a)

    \(R(\cdot,v)\in H\) for all \(v\in F\),

  2. (b)

    \(\langle\varrho,R(\cdot,v) \rangle=\varrho(v)\) for all \(v\in F\) and all \(\varrho\in H\).

Definition 4

[21]

A Hilbert space H which is defined on a non-empty set F is called a reproducing kernel Hilbert space if there exists a reproducing kernel function \(R:F\times F\to\mathbb{C}\).

Definition 5

[21]

We describe the space \(\varpi_{2}^{1}[0,1]\) by

$$ \varpi_{2}^{1}[0,1]=\bigl\{ \zeta\in \mathit{AC}[0,1]: \zeta'\in L^{2}[0,1]\bigr\} . $$

The inner product and the norm in \(\varpi_{2}^{1}[0,1]\) are defined by

$$ \langle\zeta,\psi \rangle_{\varpi_{2}^{1}} =\int _{0}^{1} \zeta(t)\psi(t)+ \zeta'(t) \psi'(t)\,\mathrm{d}t,\quad \zeta,\psi\in\varpi_{2}^{1}[0,1] $$
(9)

and

$$ \Vert \zeta \Vert _{\varpi_{2}^{1}} =\sqrt{ \langle\zeta,\zeta \rangle_{\varpi_{2}^{1}}},\quad \zeta \in\varpi_{2}^{1}[0,1]. $$
(10)

The space \(\varpi_{2}^{1}[0,1]\) is a reproducing kernel Hilbert space. The reproducing kernel function \(T_{t}\) of this space is given as

$$ T_{t}(y){=\frac{1}{2\sinh(1)} \bigl[\cosh(t+y-1)+\cosh \bigl(\vert t-y\vert -1\bigr) \bigr]}. $$
(11)

Definition 6

[21]

We denote the space \({}^{o} \varpi_{2}^{3}[0,1]\) by

$$ {}^{o} \varpi_{2}^{3}[0,1]=\bigl\{ \zeta \in \mathit{AC}[0,1]: \zeta',\zeta''\in \mathit{AC}[0,1], \zeta^{(3)}\in L^{2}[0,1], \zeta(0)=0= \zeta'(0)\bigr\} . $$

The inner product and the norm in \({}^{o} \varpi_{2}^{3}[0,1]\) are defined as

$$ \langle\zeta,v \rangle_{{}^{o} \varpi_{2}^{3}} =\sum_{i=0}^{2} \zeta^{(i)}(0)v^{(i)}(0) +\int_{0}^{1} \zeta^{(3)}(t)v^{(3)}(t)\,\mathrm{d}t,\quad \zeta,v\in {}^{o} \varpi_{2}^{3}[0,1] $$

and

$$ \Vert \zeta \Vert _{{}^{o} \varpi_{2}^{3}} =\sqrt{ \langle\zeta,\zeta \rangle_{{}^{o} \varpi_{2}^{3}}},\quad \zeta \in{}^{o} \varpi_{2}^{3}[0,1]. $$

Theorem 3.1

The reproducing kernel function \(V_{y}\) of the reproducing kernel Hilbert space \({}^{o} \varpi_{2}^{3}[0,1]\) is obtained as

$$ V_{y}(t)=\left \{ \textstyle\begin{array}{l@{\quad}l} \frac{1}{4}y^{2}t^{2}+\frac{1}{12}y^{2}t^{3}0-\frac{1}{24}yt^{4}+\frac{1}{120}t^{5},& 0 \leq t\leq y \leq1, \\ \frac{1}{4}y^{2}t^{2}+\frac{1}{12}t^{2}y^{3}-\frac{1}{24}ty^{4}+\frac{1}{120}y^{5},& 0 \leq y < t \leq1. \end{array}\displaystyle \displaystyle \right . $$
(12)

Proof

Let \(\zeta \in {}^{o} \varpi_{2}^{3}[0,1]\) and \(0\leq y \leq1\). By using Definition 6 and integration by parts, we get

$$\begin{aligned} \langle\zeta,V_{y} \rangle_{{}^{o} \varpi_{2}^{3}} =& \sum _{i=0}^{2}\zeta^{(i)}(0)V_{y}^{(i)}(0) +\int_{0}^{1}\zeta^{(3)}(t)V_{y}^{(3)}(t) \,\mathrm{d}t \\ =& \zeta(0)V_{y}(0)+\zeta'(0)V_{y}'(0) \\ &{} +\zeta''(0)V_{y}''(0)+ \zeta''(1)V_{y}^{(3)}(1)- \zeta''(0)V_{y}^{(3)}(0) \\ &{} -\zeta'(1)V_{y}^{(4)}(1)+ \zeta'(0)V_{y}^{(4)}(0)+\int _{0}^{1}\zeta '(t)V_{y}^{(5)}(t) \,\mathrm{d}t. \end{aligned}$$

After substituting the values of \(V_{y}(0)\), \(V'_{y}(0)\), \(V''_{y}(0)\), \(V_{y}^{(3)}(0)\), \(V_{y}^{(4)}(0)\), \(V_{y}^{(3)}(1)\), \(V_{y}^{(4)}(1)\) into the above equation we conclude that

$$\begin{aligned} \langle\zeta,V_{y} \rangle_{\varpi_{2}^{3}} =& \int _{0}^{1}\zeta'(t)V_{y}^{(5)}(t) \,\mathrm{d}t \\ =& \int_{0}^{y}\zeta'(t)V_{y}^{(5)}(t) \,\mathrm{d}t + \int_{y}^{1}\zeta '(t)V_{y}^{(5)}(t)\,\mathrm{d}t \\ =& \int_{0}^{y}\zeta'(t) 1\, \mathrm{d}t + \int_{y}^{1}\zeta'(t)0 \,\mathrm{d}t \\ =& \zeta(y)-\zeta(0)=\zeta(y). \end{aligned}$$

This completes the proof. □

4 Bounded linear operator in \({}^{o} \varpi_{2}^{3}[0,1]\)

The solution of (1)-(2) is presented in the reproducing kernel Hilbert space \({}^{o} \varpi_{2}^{3}[0,1]\). Let us describe the linear operator \(A: {}^{o} \varpi_{2}^{3}[0,1] \rightarrow\varpi_{2}^{1}[0,1]\) by

$$ A\zeta=D^{\alpha}\zeta(t)+\frac{k}{t^{\alpha-\beta}}D^{\beta}\zeta (t), \quad \zeta\in {}^{o} \varpi_{2}^{3}[0,1]. $$
(13)

Model problem (1)-(2) alters to the problem

$$ \left \{ \textstyle\begin{array}{l} A \zeta=z(t,\zeta), \\ \zeta(0)=0, \qquad \zeta'(0)=0, \end{array}\displaystyle \right . $$
(14)

after homogenizing the initial conditions.

Theorem 4.1

The linear operator A is a bounded linear operator.

Proof

We should prove \(\Vert A\zeta \Vert _{\varpi_{2}^{1}}^{2}\leq N \Vert \zeta \Vert _{{}^{o} \varpi_{2}^{3}}^{2}\), where \(N>0\) is a positive constant. By making use of (9) and (10), we get

$$ \Vert A\zeta \Vert _{\varpi_{2}^{1}}^{2}= \langle A\zeta ,A\zeta \rangle _{\varpi_{2}^{1}}=\int_{0}^{1} \bigl[A \zeta(t) \bigr]^{2}+ \bigl[A\zeta '(t) \bigr]^{2} \,\mathrm{d}t. $$

By the reproducing property, we conclude that

$$ \zeta(t) = \bigl\langle \zeta(\cdot) ,V_{t}(\cdot) \bigr\rangle _{{}^{o} \varpi_{2}^{3}} $$

and

$$ A\zeta(t) = \bigl\langle \zeta(\cdot),AV_{t}(\cdot) \bigr\rangle _{{}^{o} \varpi_{2}^{3}}. $$

Therefore, we get

$$ \bigl\vert A\zeta(t) \bigr\vert \leq \Vert \zeta \Vert _{{}^{o} \varpi_{2}^{3}} \Vert AV_{t} \Vert _{{}^{o} \varpi_{2}^{3}} = N_{1} \Vert \zeta \Vert _{{}^{o} \varpi_{2}^{3}}, $$

where \(N_{1}>0\) is a positive constant. Thus, we obtain

$$ \int_{0}^{1} \bigl[ (A\zeta ) (t) \bigr]^{2}\,\mathrm{d}t\leq N_{1}^{2} \Vert \zeta \Vert _{{}^{o} \varpi_{2}^{3}}^{2}. $$

Taking into account that \((A\zeta)'(t) = \langle\zeta(\cdot),(AV_{t})'(\cdot) \rangle _{{}^{o} \varpi_{2}^{3}}\), then we get

$$ \bigl\vert (A\zeta)'(t) \bigr\vert \leq \Vert \zeta \Vert _{\varpi_{2}^{3}}\bigl\Vert (AV_{t})' \bigr\Vert _{{}^{o} \varpi_{2}^{3}}=N_{2} \Vert \zeta \Vert _{{}^{o} \varpi_{2}^{3}}, $$

where \(N_{2}>0\) is a positive constant. Thus, we obtain

$$ \bigl[(A\zeta)'(t) \bigr]^{2}\leq N_{2}^{2} \Vert \zeta \Vert _{{}^{o} \varpi_{2}^{3}}^{2} $$

and

$$ \int_{0}^{1} \bigl[(A\zeta)'(t) \bigr]^{2}\,\mathrm{d}t\leq N_{2}^{2} \Vert \zeta \Vert _{{}^{o} \varpi_{2}^{3}}^{2}. $$

Therefore, we get

$$ \Vert A\zeta \Vert _{\varpi_{2}^{1}}^{2} \leq\int _{0}^{1} \bigl( \bigl[ ( A\zeta ) (t) \bigr] ^{2}+ \bigl[(A\zeta)'(t) \bigr]^{2} \bigr) \, \mathrm{d}t \leq \bigl(N_{1}^{2}+N_{2}^{2} \bigr) \Vert \zeta \Vert _{\varpi_{2}^{3}}^{2}=N\Vert \zeta \Vert _{\varpi_{2}^{3}}^{2}, $$

where \(N=N_{1}^{2}+N_{2}^{2}>0\). □

5 Exact and approximate solutions

Let us put \(\varrho_{i}(t)=T_{t_{i}}(t)\) and \(\eta_{i}(t)=A^{\ast}\varrho_{i}(t)\), where \(A^{\ast}\) is conjugate operator of A. The orthonormal system \(\{\hat{\eta}_{i}(t) \}_{i=1}^{\infty}\) of \({}^{o} \varpi _{2}^{3}[0,1]\) can be obtained from Gram-Schmidt orthogonalization process of \(\{\eta_{i}(t)\}_{i=1}^{\infty }\) and

$$ \hat{\eta}_{i}(t)=\sum_{k=1}^{i} \sigma_{ik}\eta_{k}(t)\quad (\sigma_{ii}>0, i=1,2, \ldots). $$
(15)

Theorem 5.1

Let \(\{ t_{i} \}_{i=1}^{\infty}\) be dense in \([0,1]\) and \(\eta_{i}(t)= A_{y}V_{t}(y)\vert_{y=t_{i}}\). Then the sequence \(\{ \eta_{i}(t) \} _{i=1}^{\infty}\) is a complete system in \({}^{o} \varpi_{2}^{3}[0,1]\).

Proof

We recall that

$$ \eta_{i}(t)=\bigl(A^{\ast} \varrho_{i}\bigr) (t)= \bigl\langle \bigl(A^{\ast} \varrho _{i}\bigr) (y),V_{t}(y) \bigr\rangle = \bigl\langle (\varrho _{i}) (y),AyV_{t}(y) \bigr\rangle = A_{y}V_{t}(y) \vert_{y=t_{i}}. $$

Thus, \(\eta_{i}(t)\in {}^{o} \varpi_{2}^{3}[0,1]\). For each fixed \(\zeta(t)\in {}^{o} \varpi_{2}^{3}[0,1]\), let \(\langle \zeta(t),\eta_{i}(t) \rangle=0\) (\(i=1,2,\ldots\)), i.e.,

$$ \bigl\langle \zeta(t),\bigl(A^{\ast}\varrho_{i}\bigr) (t) \bigr\rangle = \bigl\langle A\zeta(\cdot),\varrho_{i}(\cdot) \bigr\rangle =(A\zeta) (t_{i})=0, $$

\(\{t_{i} \}_{i=1}^{\infty}\) is dense in \([0,1]\). Therefore, \((A\zeta)(t)=0\) and \(\zeta\equiv0\). This completes the proof. □

Theorem 5.2

If \(\zeta(t)\) is the exact solution of (14), then we have

$$ \zeta(t)=A^{-1}z(t,\zeta)=\sum _{i=1}^{\infty}\sum_{k=1}^{i} \sigma_{ik} z\bigl(t_{k},\zeta(t_{k})\bigr)\hat{ \eta}_{i}(t), $$
(16)

where \(\{(t_{i})\}_{i=1}^{\infty}\) is dense in \([0,1]\).

Proof

We know

$$\begin{aligned} \zeta(t) =&\sum_{i=1}^{\infty} \bigl\langle \zeta(t), \hat{\eta}_{i}(t) \bigr\rangle _{{}^{o} \varpi_{2}^{3}} \hat{ \eta}_{i}(t) \\ =&\sum_{i=1}^{\infty}\sum _{k=1}^{i}\sigma_{ik} \bigl\langle \zeta(t), \eta_{k}(t) \bigr\rangle _{{}^{o} \varpi_{2}^{3}} \hat{\eta}_{i}(t) \\ =&\sum_{i=1}^{\infty}\sum _{k=1}^{i}\sigma_{ik} \bigl\langle \zeta(t),A^{\ast}\varrho_{k}(t) \bigr\rangle _{{}^{o} \varpi_{2}^{3}} \hat {\eta}_{i}(t) \\ =&\sum_{i=1}^{\infty}\sum _{k=1}^{i}\sigma_{ik} \bigl\langle A \zeta(t), \varrho_{k}(t) \bigr\rangle _{\varpi_{2}^{1}} \hat{ \eta}_{i}(t), \end{aligned}$$

from (15). By uniqueness of the solution of (14), we obtain

$$ \zeta(t) =\sum_{i=1}^{\infty}\sum _{k=1}^{i}\sigma_{ik} \bigl\langle z(t, \zeta),T_{t_{k}} \bigr\rangle _{\varpi_{2}^{1}}\hat{\eta}_{i}(t) =\sum_{i=1}^{\infty}\sum _{k=1}^{i}\sigma_{ik}z\bigl(t_{k}, \zeta(t_{k})\bigr) \hat{\eta}_{i}(t). $$

This completes the proof. □

The approximate solution \(\zeta_{n}(t)\) is obtained as

$$ \zeta_{n}(t)=\sum_{i=1}^{n} \sum_{k=1}^{i}\sigma_{ik}z \bigl(t_{k},\zeta(t_{k})\bigr)\hat {\eta}_{i}(t). $$
(17)

Lemma 5.3

[30]

If \(\Vert \zeta_{n}-\zeta \Vert _{{}^{o} \varpi_{2}^{3}}\rightarrow 0\), \(t_{n} \rightarrow t\) (\(n\rightarrow\infty\)) and \(z(t,\zeta)\) is continuous for \(t\in[0,1]\), then

$$ z\bigl(t_{n}, \zeta_{n-1}(t_{n})\bigr)\rightarrow z(t,\zeta) \quad \textit{as } n\rightarrow\infty. $$

Theorem 5.4

For any fixed \(\zeta_{0}(t)\in {}^{o} \varpi_{2}^{3}[0,1]\) assume \(\zeta_{n}(t)=\sum_{i=1}^{n}A_{i}\hat{\eta}_{i}(t)\), \(A_{i}=\sum_{k=1}^{i}\sigma_{ik}z(t_{k}, \zeta_{k-1}(t_{k}))\), \(\Vert \zeta_{n} \Vert _{{}^{o} \varpi_{2}^{3}}\) is bounded, \(\{t_{i} \} _{i=1}^{\infty}\) is dense in \([0,1]\), \(z(t,\zeta)\in\varpi _{2}^{1}[0,1]\) for any \(\zeta(t)\in {}^{o} \varpi_{2}^{3}[0,1]\). Then \(\zeta _{n}(t)\) converges to the exact solution of (16) in \({}^{o} \varpi _{2}^{3}[0,1]\) and

$$ \zeta(t)=\sum_{i=1}^{\infty}A_{i} \hat{\eta}_{i}(t). $$

Proof

Let us prove the convergence of \(\zeta_{n}(t)\). We have

$$ \zeta_{n+1}(t)=\zeta_{n}(t)+A_{n+1} \hat{\eta}_{n+1}(t), $$
(18)

from the orthonormality of \(\{\hat{\eta}_{i}\}_{i=1}^{\infty}\). Thus, we get

$$ \Vert \zeta_{n+1}\Vert ^{2}=\Vert \zeta_{n}\Vert ^{2}+A_{n+1}^{2}=\Vert \zeta_{n-1}\Vert ^{2}+A_{n}^{2}+A_{n+1}^{2}= \cdots =\sum_{i=1}^{n+1}A_{i}^{2}, $$
(19)

from the boundedness of \(\Vert \zeta_{n}\Vert _{{}^{o} \varpi _{2}^{3}}\). Then we obtain

$$ \sum_{i=1}^{\infty}A_{i}^{2}< \infty, $$

i.e.,

$$ \{ A_{i} \} \in l^{2} \quad (i=1,2,\ldots). $$

Let \(m>n\), in view of \((\zeta_{m}-\zeta_{m-1} ) \perp (\zeta_{m-1}-\zeta _{m-2} ) \perp\cdots\perp ( \zeta_{n+1}-\zeta_{n} )\), we get

$$\begin{aligned} \begin{aligned} \Vert \zeta_{m}-\zeta_{n}\Vert _{{}^{o} \varpi_{2}^{3}}^{2} &=\Vert \zeta_{m}-\zeta_{m-1}+\zeta_{m-1}- \zeta_{m-2}+\cdots+\zeta _{n+1}-\zeta_{n}\Vert _{{}^{o} \varpi_{2}^{3}}^{2} \\ & \leq \Vert \zeta_{m}-\zeta_{m-1}\Vert _{{}^{o} \varpi _{2}^{3}}^{2}+\cdots+\Vert \zeta_{n+1}- \zeta_{n}\Vert _{{}^{o} \varpi _{2}^{3}}^{2} \\ &=\sum_{i=n+1}^{m} A_{i}^{2} \rightarrow0,\quad m,n\rightarrow\infty. \end{aligned} \end{aligned}$$

There exists \(\zeta(t)\in {}^{o} \varpi_{2}^{3}[0,1]\), such that

$$ \zeta_{n}(t){\rightarrow}\zeta(t) \quad \text{as } n\rightarrow\infty, $$

by completeness of \({}^{o} \varpi_{2}^{3}[0,1]\). We have

$$ \zeta(t)=\sum_{i=1}^{\infty}A_{i} \hat{\eta}_{i}(t). $$

In virtue of

$$\begin{aligned} (A\zeta ) ( t_{j} ) =& \sum_{i=1}^{\infty }A_{i} \bigl\langle A\hat{\eta}_{i}(t),\varrho_{j}(t) \bigr\rangle _{\varpi_{2}^{1}}=\sum_{i=1}^{\infty}A_{i} \bigl\langle \hat{\eta }_{i}(t),A^{\ast}\varrho_{j}(t) \bigr\rangle _{{}^{o} \varpi_{2}^{3}} \\ =&\sum_{i=1}^{\infty}A_{i} \bigl\langle \hat{\eta}_{i}(t),{\eta }_{j}(t) \bigr\rangle _{{}^{o} \varpi_{2}^{3}}, \end{aligned}$$

we get

$$\begin{aligned} \sum_{j=1}^{n}\sigma_{nj}(A \zeta) (t_{j}) =& \sum_{i=1}^{\infty }A_{i} \Biggl\langle \hat{\eta}_{i}(t),\sum_{j=1}^{n} \sigma_{nj} {\eta}_{j}(t) \Biggr\rangle _{{}^{o} \varpi_{2}^{3}} \\ =&\sum_{i=1}^{\infty}A_{i} \bigl\langle \hat{\eta}_{i}(t),\hat{\eta }_{n}(t) \bigr\rangle _{{}^{o} \varpi_{2}^{3}}=A_{n}. \end{aligned}$$

If \(n=1\), then we get

$$ A\zeta(t_{1})=z\bigl(t_{1}, \zeta_{0}(t_{1})\bigr). $$
(20)

If \(n=2\), then we have

$$ \sigma_{21}(A\zeta) (t_{1}) + \sigma_{22}(A\zeta) (t_{2})=\sigma _{21}z \bigl(t_{1},\zeta_{0}(t_{1})\bigr)+ \sigma_{22}z\bigl(t_{2},\zeta_{1}(t_{2}) \bigr). $$
(21)

It is obvious from (20) and (21) that

$$ (A\zeta) (t_{2})=z\bigl(t_{2}, \zeta_{1}(t_{2}) \bigr). $$

By induction, we conclude that

$$ (A\zeta) (t_{j})=z\bigl(t_{j}, \zeta_{j-1}(j)\bigr). $$
(22)

Using the convergence of \(\zeta_{n}(t)\) and Lemma 5.3 gives

$$ (A\zeta) (y)=z\bigl(y,\zeta(y)\bigr), $$

i.e., \(\zeta ( t ) \) is the solution of (14) and

$$ \zeta(t)=\sum_{i=1}^{\infty}A_{i} \hat{\eta}_{i}. $$

This completes the proof. □

Theorem 5.5

If \(\zeta\in {}^{o} \varpi_{2}^{3}[0,1]\) then \(\Vert \zeta_{n}-\zeta \Vert _{{}^{o} \varpi_{2}^{3}} \rightarrow0\), \(n\rightarrow\infty\), and the sequence \(\Vert \zeta_{n}-\zeta \Vert _{{}^{o} \varpi_{2}^{3}}\) is monotonically decreasing in n.

Proof

We obtain

$$ \Vert \zeta_{n}-\zeta \Vert _{{}^{o} \varpi_{2}^{3}} = \Biggl\Vert \sum _{i=n+1}^{\infty}\sum_{k=1}^{i} \sigma_{ik} z\bigl(t_{k},\zeta(t_{k})\bigr)\hat { \eta}_{i} \Biggr\Vert _{{}^{o} \varpi_{2}^{3}}, $$

by (16) and (17). Therefore, we have

$$ \Vert \zeta_{n}-\zeta \Vert _{{}^{o} \varpi_{2}^{3}} \rightarrow0,\quad n \rightarrow\infty $$

and

$$\begin{aligned} \Vert \zeta_{n}-\zeta \Vert _{{}^{o} \varpi_{2}^{3}}^{2} =& \Biggl\Vert \sum_{i=n+1}^{\infty}\sum _{k=1}^{i}\sigma_{ik} z \bigl(t_{k},\zeta (t_{k})\bigr)\hat{\eta}_{i} \Biggr\Vert _{{}^{o} \varpi_{2}^{3}}^{2} \\ =& \sum_{i=n+1}^{\infty} \Biggl(\sum _{k=1}^{i}\sigma_{ik} z \bigl(t_{k},\zeta (x_{k})\bigr) \hat{\eta}_{i} \Biggr)^{2}. \end{aligned}$$

Consequently, \(\Vert \zeta_{n}-\zeta \Vert _{{}^{o} \varpi_{2}^{3}} \) is monotonically decreasing in n. □

6 Numerical experiments

Two examples are given in this section. A comparison of the absolute errors is shown in Tables 1 and 2.

Table 1 Comparison of RKM (first line) and collocation method [ 2 ] (second line) of the absolute errors for Example 6.1
Table 2 Comparison of RKM (first line) and collocation method [ 2 ] (second line) of absolute errors for Example 6.2

Example 6.1

Let us consider

$$ D^{\alpha}y(t)+\frac{k}{t^{\alpha-\beta}}D^{\alpha}y(t)+ \frac{1}{t^{\alpha -2}}y(t)=g(t), $$
(23)

with the initial conditions

$$ y(0)=0=y'(0), $$
(24)

where

$$g(t)=t^{2-\alpha} \biggl(6t \biggl(\frac{t^{2}}{6}+\frac{\Gamma(4-\beta )+k\Gamma(4-\alpha)}{\Gamma(4-\beta)\Gamma(4-\alpha)} \biggr)-2 \biggl(\frac{t^{2}}{2}+\frac{\Gamma(3-\beta)+k\Gamma(3-\alpha)}{\Gamma(3-\beta )\Gamma(3-\alpha)} \biggr) \biggr), $$

and \(\alpha=\frac{3}{2}\), \(\beta=\frac{1}{2}\). The exact solution of (23)-(24) is given as [2]

$$ y(t)=t^{3}-t^{2}. $$

Using the above method, we obtain Tables 1 and 3.

Table 3 Exact and approximate solutions for Example 6.1 when \(\pmb{m=5}\)

Example 6.2

We regard

$$ D^{\alpha}y(t)+\frac{k}{t^{\alpha-\beta}}D^{\alpha}y(t)+ \frac{1}{t^{\alpha -2}}y(t)=h(t), $$
(25)

with the initial conditions

$$ y(0)=0=y'(0), $$
(26)

where

$$h(t)=t^{2-\alpha} \biggl(-6t \biggl(\frac{t^{2}}{6}+\frac{\Gamma(4-\beta )+k\Gamma(4-\alpha)}{\Gamma(4-\beta)\Gamma(4-\alpha)} \biggr)+2 \biggl(\frac{t^{2}}{2}+\frac{\Gamma(3-\beta)+k\Gamma(3-\alpha)}{\Gamma(3-\beta )\Gamma(3-\alpha)} \biggr) \biggr), $$

and \(\alpha=\frac{3}{2}\), \(\beta=1\). The exact solution of (25)-(26) is given as [2]

$$ y(t)=t^{2}-t^{3}. $$

Using the above method, we draw Table 2.

Remark

We found numerical results of Examples 6.1 and 6.2 by RKM and we show our results in Tables 1-3 and Figure 1. We used Maple 16 to obtain these results. We mention the time in Table 3. This proves that we can find good results in very short times.

Figure 1
figure 1

Absolute error of \(\pmb{y(t)}\) for Example 6.1 .

7 Conclusion

Fractional differential equations of Lane-Emden type were investigated by RKM. We explained the technique and managed it in some illustrative examples. The results obtained indicated that RKM can solve the problem with few computations. Numerical examples demonstrate that our method supports the theoretical results.

References

  1. Turkyilmazoglu, M: Effective computation of exact and analytic approximate solutions to singular nonlinear equations of Lane-Emden-Fowler type. Appl. Math. Model. 37, 7539-7548 (2013)

    Article  MathSciNet  Google Scholar 

  2. Mechee, MS, Senu, N: Numerical study of fractional differential equations of Lane-Emden type by method of collocation. Appl. Math. 3, 851-856 (2012)

    Article  Google Scholar 

  3. Rahba, WI: Existence of nonlinear Lane-Emden equation of fractional order. Miskolc Math. Notes 13, 39-52 (2012)

    MathSciNet  Google Scholar 

  4. Ye, H, Liu, F, Anh, V, Turner, I: Maximum principle and numerical method for the multi-term time-space Riesz-Caputo fractional differential equations. Appl. Math. Comput. 227, 531-540 (2014)

    Article  MathSciNet  Google Scholar 

  5. Liu, F, Meerschaert, MM, McGough, R, Zhuang, P, Liu, Q: Numerical methods for solving the multi-term time fractional wave equations. Fract. Calc. Appl. Anal. 16(1), 9-25 (2013)

    Article  MathSciNet  Google Scholar 

  6. Ye, H, Liu, F, Turner, I, Anh, V, Burrage, K: Series expansion solutions for the multi-term time and space fractional partial differential equations in two and three dimensions. Eur. Phys. J. Spec. Top. 222, 1901-1914 (2013)

    Article  Google Scholar 

  7. Jiang, H, Liu, F, Meerschaert, MM, McGough, R: Fundamental solutions for the multi-term modified power law wave equations in a finite domain. Electron. J. Math. Anal. Appl. 1(1), 55-66 (2013)

    Google Scholar 

  8. Podlubny, I: Fractional Differential Equations. Mathematics in Science and Engineering, vol. 198. Academic Press, San Diego (1999)

    MATH  Google Scholar 

  9. Hilfer, R: Fractional calculus and regular variation in thermodynamics. In: Applications of Fractional Calculus in Physics, pp. 429-463. World Scientific, River Edge (2000)

    Chapter  Google Scholar 

  10. Celik, E, Karaduman, E, Bayram, M: Numerical solutions of chemical differential-algebraic equations. Appl. Math. Comput. 139(2-3), 259-264 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  11. Secer, A, Akinlar, MA, Cevikel, A: Efficient solutions of systems of fractional PDEs by the differential transform method. Adv. Differ. Equ. 2012, 188 (2012)

    Article  MathSciNet  Google Scholar 

  12. Kurulay, M, Bayram, M: Approximate analytical solution for the fractional modified KdV by differential transform method. Commun. Nonlinear Sci. Numer. Simul. 15(7), 1777-1782 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  13. Liao, SJ: Homotopy analysis method: a new analytic method for nonlinear problems. Appl. Math. Mech. 19(10), 885-890 (1998)

    MathSciNet  Google Scholar 

  14. Odibat, ZM, Momani, S: Application of variational iteration method to nonlinear differential equations of fractional order. Int. J. Nonlinear Sci. Numer. Simul. 7(1), 27-34 (2006)

    Article  MathSciNet  Google Scholar 

  15. Biazar, J, Ghazvini, H: Exact solutions for non-linear Schrodinger equations by He’s homotopy perturbation method. Phys. Lett. A 366(1-2), 79-84 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  16. Secer, A, Alkan, S, Akinlar, MA, Bayram, M: Sinc-Galerkin method for approximate solutions of fractional order boundary value problems. Bound. Value Probl. 2013, 281 (2013)

    Article  MathSciNet  Google Scholar 

  17. Baleanu, D, Wu, GC, Duan, JS: Some analytical techniques in fractional calculus: realities and challenges. In: Tenreiro Machado, JA, Baleanu, D, Luo, ACJ (eds.) Discontinuity and Complexity in Nonlinear Physical Systems, pp. 35-62. Springer, New York (2014)

    Chapter  Google Scholar 

  18. Gomez, A, Jose, F, Baleanu, D: Solutions of the telegraph equations using a fractional calculus approach. Proc. Rom. Acad., Ser. A : Math. Phys. Tech. Sci. Inf. Sci. 15(1), 27-34 (2014)

    MathSciNet  Google Scholar 

  19. Agarwal, RP, Lupulescu, V, O’Regan, D, Rahman, G: Fractional calculus and fractional differential equations in nonreflexive Banach spaces. Commun. Nonlinear Sci. Numer. Simul. 20(1), 59-73 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  20. Aronszajn, N: Theory of reproducing kernels. Trans. Am. Math. Soc. 68, 337-404 (1950)

    Article  MathSciNet  MATH  Google Scholar 

  21. Cui, M, Lin, Y: Nonlinear Numerical Analysis in the Reproducing Kernel Space. Nova Science Publishers, New York (2009)

    MATH  Google Scholar 

  22. Geng, F, Cui, M: Solving a nonlinear system of second order boundary value problems. J. Math. Anal. Appl. 327(2), 1167-1181 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  23. Geng, F, Cui, M, Zhang, B: Method for solving nonlinear initial value problems by combining homotopy perturbation and reproducing kernel Hilbert space methods. Nonlinear Anal., Real World Appl. 11(2), 637-644 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  24. Akgül, A: A new method for approximate solutions of fractional order boundary value problems. Neural Parallel Sci. Comput. 22(1-2), 223-237 (2014)

    MathSciNet  Google Scholar 

  25. Abu Arqub, O, Al-Smadi, M: Numerical algorithm for solving two-point, second-order periodic boundary value problems for mixed integro-differential equations. Appl. Math. Comput. 243(2), 911-922 (2014)

    Article  MathSciNet  Google Scholar 

  26. Jiang, W, Chen, Z: A collocation method based on reproducing kernel for a modified anomalous subdiffusion equation. Numer. Methods Partial Differ. Equ. 30, 289-300 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  27. Abu Arqub, O, Al-Smadi, M, Momani, S, Hayat, T: Numerical solutions of fuzzy differential equations using reproducing kernel Hilbert space method. Soft Comput. (2015, to appear)

  28. Daniel, A: Reproducing Kernel Spaces and Applications. Springer, Basel (2003)

    MATH  Google Scholar 

  29. Berlinet, A, Agnan, CT: Reproducing Kernel Hilbert Space in Probability and Statistics. Kluwer Academic, Boston (2004)

    Book  Google Scholar 

  30. Inc, M, Akgül, A, Geng, F: Reproducing kernel Hilbert space method for solving Bratu’s problem. Bull. Malays. Math. Soc. 38, 271-287 (2015)

    Article  MATH  Google Scholar 

Download references

Acknowledgements

The authors would like to thank to the referees for their very useful comments and remarks.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Ali Akgül.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors have made equal contributions. All authors have read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Akgül, A., Inc, M., Karatas, E. et al. Numerical solutions of fractional differential equations of Lane-Emden type by an accurate technique. Adv Differ Equ 2015, 220 (2015). https://doi.org/10.1186/s13662-015-0558-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-015-0558-8

Keywords