Abstract
This paper uses new fractional integration operational matrices to solve a class of fractional neutral pantograph delay differential equations. A fractional-order function space is constructed where the exact solution lies in, and a set of orthogonal bases are given. Using them, we reduce the fractional delay differential equation to algebraic equations and get the approximate solution. Finally, we give the Legendre operational matrix of fractional integration to solve the equation as an example and show the efficiency of the method.
Similar content being viewed by others
![](https://media.springernature.com/w215h120/springer-static/image/art%3A10.1007%2Fs00366-018-0673-8/MediaObjects/366_2018_673_Fig1_HTML.png)
1 Introduction
Fractional calculus is a generalization of calculus to an arbitrary order. In recent years, it is extensively applied to various fields such as viscous elastic mechanics, power fractal networks, electronic circuits [1–3]. Due to the memory and non-local characters of fractional derivative, many scholars use fractional differential equations to simulate complex phenomenon in order to make it closer to the real problem. On the other hand, the operational matrices of fractional calculus, as linear transformations, have been widely concerned. Some operational matrices are obtained by approximating the integral of orthogonal polynomials. Some operational matrices are obtained indirectly by means of other operational matrices. With the help of these matrices and orthogonal polynomials, we can reduce a fractional differential or integral equation to algebraic equations, and get the approximate solution. Much research in this field has emerged, such as Legendre operational matrices [1–3], Chebyshev operational matrices [4], block pulse operational matrices [5].
Fractional delay differential equations arise in many applications,such as automatic control, long transmission lines, economy and biology [6]. The fractional pantograph equation, as a kind of fractional delay differential equations, plays an important role in explaining various phenomena [7, 8]. Therefore, it has attracted a great deal of attentions. The authors [9] studied the existence of solutions of nonlinear fractional pantograph equations when the order of the derivative is smaller than 1. Yang and Huang [10] studied spectral-collocation methods for fractional pantograph delay-integro-differential equations whereas Rahimkhani, Ordokhani and Babolian [7] gave the numerical solution of fractional pantograph differential equations by using the generalized fractional-order Bernoulli wavelet. However, only few papers are devoted to the approximate solution of fractional neutral pantograph differential equations.
In this paper, we consider the fractional neutral pantograph differential equation
subject to the initial condition
where \(0< p<1,~0<\gamma\leq\alpha\leq1,~x\in[0,1]\). \(y(x)\) is an unknown function; \(a,b,d,g\in C[0,1]\) are the known functions, the fractional derivatives are in the sense of Caputo. For simplicity of the proof, we set \(y(0)=0\), otherwise we let \(v(x)=y(x)-y(0)\) and solve the fractional differential equation with the unknown function \(v(x)\) and \(v(0)=0\).
This paper is devoted to obtaining a class of operational matrices based on different type of fractional orthogonal polynomials and solving the fractional neutral pantograph delay differential equations by the obtained operational matrices. As never before, we construct suitable fractional orthogonal polynomials and get the better operational matrices based on the order of the fractional differential or integral equation. Thus we can find approximate solutions with high accuracy.
We organize this paper as follows: In Sect. 2, we give some basic definitions and useful lemmas. In Sect. 3, we introduce operational matrices of fractional integration based on fractional orthogonal basis functions. In Sect. 4, we give the numerical algorithms. In Sect. 5, a fractional Legendre operational matrix is given. In Sect. 6, two numerical examples are given to illustrate the applicability and accuracy of the proposed method.
2 Preliminaries
In this section, some preliminary results about the fractional integral and the Caputo fractional differential operator are recalled [11]. Then we give the appropriate space where we find the approximate solution of fractional differential equations. Throughout the paper, we assume \(\alpha>0\).
Definition 2.1
The Riemann–Liouville (R–L) fractional integral operator \(J_{0}^{\alpha}\) is given by
where \(\Gamma(\alpha)=\int_{0}^{\infty}x^{\alpha-1}e^{-x}\,\mathrm{d}x\).
Lemma 2.1
For any \(u(x)\in L^{2}[0,1]\), \(J_{0}^{\alpha}u(x)\in L^{2}[0,1]\) holds.
Proof
Note that \(u\in L^{2}[0,1]\), and we can derive that \(u^{2}\in L^{1}[0,1]\) and \(\int_{0}^{x}(x-t)^{\alpha-1}u^{2}(t)\,\mathrm{d}t\in L^{1}[0,1]\). Therefore,
So \(J_{0}^{\alpha}u\in L^{2}[0,1]\) holds. □
Definition 2.2
The Caputo fractional differential operator \(D_{C}^{\alpha}\) is given by
Definition 2.3
Defining the inner product and the norm \(\Vert \cdot \Vert \) in the \(C[0,1]\) separately:
Definition 2.4
Defining \(C^{\alpha}[0,1]\triangleq\{J_{0}^{\alpha}u(x)|u\in C[0,1]\} \), its inner product and its norm \(\Vert \cdot \Vert _{\alpha}\):
We can find that
and \(u(x)=0\) when \((u(x),u(x))_{\alpha}=0\). In fact, there exists a \(u_{1}(x)\in C[0,1]\) such that \(u(x)=J_{0}^{\alpha}u_{1}(x)\). That is,
Therefore we get \(u_{1}(x)\equiv0\) and \(u(x)=J_{0}^{\alpha }u_{1}(x)\equiv0\). It is easy to see that the other conditions of the inner product definition are also true. Hence, \(C^{\alpha}[0,1]\) is an inner product space.
Denoting by X the set of all polynomials in the \([0,1]\), then X is a dense subset of \(C[0,1]\). Denote \(J_{0}^{\alpha}X=\{J_{0}^{\alpha }P|P\in X\}\). Let H̃ be the completion of the inner product space \(C^{\alpha}[0,1]\).
Lemma 2.2
(1) X is a dense subset of \((L^{2}[0,1], \Vert \cdot \Vert )\);
(2) \(J_{0}^{\alpha}X\) is a dense subset of \((\tilde{H}, \Vert \cdot \Vert _{\alpha})\).
Proof
(1) Taking any \(u(x)\in C[0,1]\) and \(\varepsilon>0\), there exists a \(p\in X\), such that \(\Vert u-p \Vert _{C}<\varepsilon\). We have
where \(A=(\int_{0}^{1}\rho(x)\,\mathrm{d}x)^{1/2}\). Therefore X is a dense subset of \((C[0,1], \Vert \cdot \Vert )\). Noting that \((C[0,1], \Vert \cdot \Vert )\) is dense in the \((L^{2}[0,1], \Vert \cdot \Vert )\), then X is a dense subset of \((L^{2}[0,1], \Vert \cdot \Vert )\).
(2) For \(u(x)\in C^{\alpha}[0,1]\), there exists a \(u_{1}(x)\in C[0,1]\) such that \(u(x)=J_{0}^{\alpha}u_{1}(x)\). For any \(\varepsilon>0\), there exists a \(p\in X\) such that \(\Vert u_{1}-p \Vert _{C}<\varepsilon\). We have
where \(A=(\int_{0}^{1}\rho(x)\,\mathrm{d}x)^{1/2}\). Therefore \(J_{0}^{\alpha}X\) is a dense subset of \((C^{\alpha}[0,1], \Vert \cdot \Vert _{\alpha})\). Noting that \((C^{\alpha}[0,1], \Vert \cdot \Vert _{\alpha})\) is dense in \((\tilde{H}, \Vert \cdot \Vert _{\alpha})\), then \(J_{0}^{\alpha}X\) is a dense subset of \((\tilde{H}, \Vert \cdot \Vert _{\alpha})\). □
Lemma 2.3
\(\tilde{H}\subseteq L^{2}[0,1]\).
Proof
For any \(\tilde{f}\in\tilde{H}\), there exists \(f_{i}\in C[0,1]\), so that \(\tilde{f}_{i}\triangleq J_{0}^{\alpha}f_{i}\in C^{\alpha}[0,1]\) and
Therefore \(\Vert \tilde{f}_{i}-\tilde{f}_{j} \Vert _{\alpha }\rightarrow0\ (i,j\rightarrow\infty)\), that is,
Then \(\lim_{i,j\rightarrow\infty} \Vert f_{i}-f_{j} \Vert =0\). Because the space \(L^{2}[0,1]\) is complete, there exists a \(f\in L^{2}[0,1]\) so that \(f=\lim_{i\rightarrow\infty}f_{i}\). We have
Note that \(f\in L^{2}[0,1]\), and we can derive that \(f^{2}\in L^{1}[0,1]\) and \(\int_{0}^{x}(x-t)^{\alpha-1}f^{2}(t)\,\mathrm{d}t\in L^{1}[0,1]\). Therefore,
and
Thus we get \(\tilde{H}\subset L^{2}[0,1]\). □
Remark 1
Because \(C^{\alpha}=J^{\alpha}_{0}C[0,1]\) is dense in \(J^{\alpha}_{0}L^{2}[0,1]\) and \(J^{\alpha}_{0}L^{2}[0,1]\) is complete, we can derive that \(\tilde{H}= J^{\alpha}_{0}L^{2}[0,1]\).
Lemma 2.4
Assume \(h(x)\in\tilde{H}\). Then, for any \(\gamma>0\), we can derive that \(J_{0}^{\gamma}h(x)\in\tilde{H}\).
Proof
By the assumption, there exists a \(h_{1}(x)\in L^{2}[0,1]\) so that \(h(x)=J_{0}^{\alpha}h_{1}(x)\). Therefore
By Lemma 2.1, we have \(J_{0}^{\gamma}h_{1}(x)\in L^{2}[0,1]\). So we can get \(J_{0}^{\alpha}J_{0}^{\gamma }h_{1}(x)\in\tilde{H}\), that is, \(J_{0}^{\gamma}h(x)\in\tilde{H}\). □
Lemma 2.5
Assume \(\{u_{n}(x)\}\subset X\) is an orthogonal basis of \(L^{2}[0,1]\), then \(\{\tilde{u}_{n}(x)\}=\{J_{0}^{\alpha}u_{n}(x)\}\) is an orthogonal basis of H̃. For any \(g\in\tilde{H}\), we can derive that \(g=\sum_{n=0}^{\infty}C_{n}\tilde{u}_{n}\), where \(C_{n}=\frac{(g,\tilde{u}_{n})_{\alpha}}{ \Vert \tilde{u}_{n} \Vert _{\alpha}^{2}}\).
Proof
By the assumption, we have
For any \(\tilde{f}\in\tilde{H}\), according to the proof of the above lemma, there exists a \(f\in L^{2}[0,1]\) so that \(\tilde{f}=J_{0}^{\alpha}f\).
Assume \((\tilde{f},\tilde{u}_{n})_{\alpha}=0\), and we can derive that
By the assumption that \(\{u_{n}(x)\}\) is an orthogonal basis of \(L^{2}[0,1]\), so \(f=0\) a.e. Then we get \(\tilde{f}=0\), and \(\{\tilde {u}_{n}(x)\}\) is a orthogonal basis of H̃.
For any \(g\in\tilde{H}\), we assume \(g=\sum_{n=0}^{\infty }C_{n}\tilde{u}_{n}\). Therefore
So we have \(C_{m}=\frac{(g,\tilde{u}_{m})_{\alpha}}{ \Vert \tilde {u}_{m} \Vert _{\alpha}^{2}}\). □
3 Operational matrices based on the orthogonal basis functions
An operational matrix can be obtained by using a set of orthogonal basis functions. Now, according to Lemma 2.5, we can get new orthogonal bases and their corresponding operational matrices.
Denoting
where \(\{u_{n}(x)\}\subset X\) is an orthogonal basis of \(L^{2}[0,1]\) and \(\tilde{u}_{n}(x)=J^{\alpha}_{0}u(x)(n=0,1,2,\ldots)\). According to Lemma 2.5, \(\{\tilde{u}_{n}(x)\}\) is an orthogonal basis of H̃.
Lemma 3.1
Assume \(\tilde{U}_{m}(x)=(\tilde{u}_{0}(x),\tilde {u}_{1}(x),\ldots,\tilde{u}_{m-1}(x))^{T}\) and \(0< p\leq1\), then there exists an \(m\times m\) matrix A such that
where
with \(a_{ij}=\frac{(\tilde{u}_{i}(px),\tilde{u}_{j}(x))_{\alpha}}{\int _{0}^{1}{u}_{j}^{2}(x)\rho(x)\,\mathrm{d}x}\).
Proof
Noting that
we can derive that
□
Theorem 3.1
Let \(J_{0}^{\alpha}\) be the R–L fractional integral operator. Then
where
and
Proof
Let \(K_{m}^{\alpha}\) be the operational matrix of fractional integration for \(\tilde{U}_{m}(x)\). We have
where
with
Then
□
4 Numerical algorithms
In this section, we consider the problem given in (1) and (2).
Lemma 4.1
Assuming that \(D^{\alpha}_{C}y(x)\) is absolute continuous and its derivative lies in \(L^{2}[0,1]\), then \(D^{\alpha}_{C}y(x)\in\tilde{H}\).
Proof
Let \(v(x)=D^{\alpha}_{C}y(x)\). Using \(v'(x)\in L^{2}[0,1]\) and Lemma 2.1, one has \(D^{\alpha}_{C}v(x)=J_{0}^{1-\alpha}v'(x)\in L^{2}[0,1]\). Therefore \(v(x)=J_{0}^{\alpha}D^{\alpha}_{C}v(x)\in J_{0}^{\alpha}L^{2}[0,1]=\tilde{H}\). □
Now we expand \(D^{\alpha}_{C}y(x)\) by the fractional-order orthogonal polynomials \(\{\tilde{u}_{m}(x)\}\), thus:
where the coefficient vector C and \(\tilde{U}_{m}(x)\) are given by
Based on (5), (4), (3) and the properties of the Caputo derivative, we have
and
By replacing (5), (6), (8) and (9) in Eq. (1), we obtain a system of algebraic equations,
Substituting the points \(\{x|{u}_{m}(x)=0\}\) into (10), the coefficient \(c_{0}\) and the coefficient vector C can be simply computed and the approximate solution of (1) under the initial condition (2) can be obtained.
5 Fractional-order Legendre operational matrix
In this section, we derive a new fractional-order Legendre operational matrix basing on the research in Sect. 3, and we will solve two fractional-order equations using the operational matrix in Sect. 6.
Definition 5.1
The Legendre polynomials \(\{L_{k}(x):k=0,1,2,\ldots\}\) are the eigenfunctions of the Sturm–Liouville problem,
Shifted Legendre polynomials can be defined on the interval \([0,1]\) by introducing the variable \(x=2z-1\). Let the shifted Legendre polynomials \(L_{k}(2z-1)\) be denoted by \(R_{k}(z)\). It is easy to see that
where
The analytic form of the shifted Legendre polynomials \(R_{i}(z)\) of degree i is given by
In order to solve the αth-order differential equations (\(\alpha >0\)), we define a new fractional-order Legendre functions. Let
where
By Lemma 3.1, we get \(\tilde{U}_{m}(px)\simeq A\tilde{U}_{m}(x)\) and \(A=(a_{ij})_{i,j=0}^{m-1}\) with \(a_{ij}=\frac{(\tilde {u}_{i}(px),\tilde{u}_{j}(x))_{\alpha}}{\int _{0}^{1}{u}_{j}^{2}(x)\rho(x)\,\mathrm{d}x}\). Therefore
By Theorem 3.1, we get
and
Let \(G=(J_{0}^{\alpha}\tilde{U}_{m}(x),\tilde{U}_{m}^{T}(x))_{\alpha }=((J_{0}^{\alpha}\tilde{u}_{i}(x),\tilde{u}_{j}(x))_{\alpha })_{i,j=0}^{m-1}=(g_{ij})_{i,j=0}^{m-1}\). We have
while
therefore
Then we get the fractional-order Legendre operational matrix,
6 Numerical examples
Example 1
Consider the following fractional neutral pantograph differential equation [7]:
with \(0<\gamma\leq1\).
The exact solution of this problem for \(\gamma=0.8\) is \(x^{3.8}\) with \(g(x)=2.211894885744887 x^{3}+0.9571706039258614 x^{3.8}\). By the present method we derive the corresponding approximate solutions and absolute errors between the exact solution and the approximate solutions when \(m=5,8,10\), which are displayed in Figs. 1, 2 and 3. The maximum of the absolute errors between the exact solution and the approximate solutions on the interval \([0,1]\) separately are \(7.65934*10^{-6}\), \(2.69025*10^{-7}\), \(5.5087*10^{-8}\) when \(m=5,8,10\) which are obtained separately at points \(x=0.195015, 0.0932709\) and 0.0634485.
Denote \(Ly=D^{\alpha}_{C}y(x)-a(x)y(px)-b(x)D^{\gamma }_{C}y(px)-d(x)y(x)\). So (1) is equivalent to \(Ly=g\). Hence \((Ly-g)(x_{i})=0\) where \(\{x_{i}\}\) are nodes. The approximate solution \(y_{n}\) satisfies \((Ly_{n}-g)(x_{i})=0\). Thus \((L(y-y_{n}))(x_{i})=0\). Because \(L(y-y_{n})\) fluctuates, the fluctuation of \(y-y_{n}\) is possible. The fluctuation times of absolute errors are related to the number of nodes \(n+1\). When n increases, the fluctuation times of absolute errors may grow. Therefore, the fluctuations of error in Figs. 1(b), 2(b) and 3(b) are possible.
When \(\gamma=1\) and \(g(x)=(0.32x-0.5)e^{-0.8x}+e^{-x}\), the exact solution is \(xe^{-x}\). We derive the absolute errors which are displayed in Fig. 4, and compare the absolute errors with that from Ref. [7] in Table 1. These results show that our method has higher accuracy.
Example 2
Consider the following fractional neutral pantograph differential equation [7]:
with \(0<\gamma_{1}<\gamma\leq1\).
The exact solution of this problem for \(\gamma=0.7\) and \(\gamma _{1}=0.3\) is \(x^{3.1}\) with \(g(x)=2.06871 x^{2.4}-0.208387 x^{2.8}-0.866629 x^{3.1}\). By the present method we derive the corresponding approximate solutions and absolute errors when \(m=5,10,12\), which are displayed in Figs. 5, 6 and 7. The maximum of the absolute errors between the exact solution and the approximate solutions on the interval \([0,1]\) separately are 0.0031029, 0.0000298692 and \(7.82099*10^{-6}\) when \(m=5,10,12\), which are obtained separately in the first case.
7 Conclusion
In this paper, a method for obtaining a kind of operational matrices of fractional integration is proposed. In this way, we can obtain different operational matrices \(K_{m}^{\alpha}\) based on different orthogonal polynomials. Using the matrices together with the collocation method, we can obtain the approximate solutions of fractional neutral pantograph delay differential equations. As an example, we obtain a fractional Legendre operational matrix and solve two fractional neutral pantograph differential equations by the constructed method. The numerical computation indicates that the method is efficient.
References
Abbasbandy, S., Kazem, S., Alhuthali, M., Alsulami, H.: Application of the operational matrix of fractional-order Legendre functions for solving the time-fractional convection–diffusion equation. Appl. Math. Comput. 266, 31–40 (2015)
Kashkari, B.S.H., Syam, M.I.: Fractional-order Legendre operational matrix of fractional integration for solving the Riccati equation with fractional order. Appl. Math. Comput. 290, 281–291 (2016)
Sahu, P.K., Ray, S.S.: Legendre spectral collocation method for Fredholm integro-differential-difference equation with variable coefficients and mixed conditions. Appl. Math. Comput. 268, 575–580 (2015)
Atabakzadeh, M.H., Akrami, M.H., Erjaee, G.H.: Chebyshev operational matrix method for solving multi-order fractional ordinary differential equations. Appl. Math. Model. 37, 8903–8911 (2013)
Li, Y.L., Sun, N.: Numerical solution of fractional differential equations using the generalized block pulse operational matrix. Comput. Math. Appl. 62, 1046–1054 (2011)
Magin, R.L.: Fractional calculus models of complex dynamics in biological tissues. Comput. Math. Appl. 59, 1586–1593 (2010)
Rahimkhani, P., Ordokhani, Y., Babolian, E.: Numerical solution of fractional pantograph differential equations by using generalized fractional-order Bernoulli wavelet. J. Comput. Appl. Math. 309, 493–510 (2017)
Sedaghat, S., Ordokhani, Y., Dehghan, M.: Numerical solution of the delay differential equations of pantograph type via Chebyshev polynomials. Commun. Nonlinear Sci. Numer. Simul. 17, 4815–4830 (2012)
Balachandran, K., Kiruthika, S.: Existence of solutions of nonlinear fractional pantograph equations. Acta Math. Sci. 33, 712–720 (2013)
Yang, Y., Huang, Y.Q.: Spectral-collocation methods for fractional pantograph delay-integrodifferential equations. Adv. Math. Phys. 2013, 1–14 (2013)
Diethelm, K.: The Analysis of Fractional Differential Equations: An Application-Oriented Exposition Using Differential Operators of Caputo Type. Springer, Heidelberg (2010)
Acknowledgements
The work was supported by the National Natural Science Foundation of China (Grant No. 11501150).
Author information
Authors and Affiliations
Contributions
They all read and approved the final version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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.
About this article
Cite this article
Shi, L., Ding, X., Chen, Z. et al. A new class of operational matrices method for solving fractional neutral pantograph differential equations. Adv Differ Equ 2018, 94 (2018). https://doi.org/10.1186/s13662-018-1536-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-018-1536-8