Abstract
In this paper, we propose a new method for solving second-order fractional integral equations. By using of spectral collocation method based on Gauss–Legendre–Lobatto points, a system of algebraic equations is obtained and then, we get a solution based on Legendre polynomials. If \(L^{2}\) norm is used, this proposed method has a favorable convergence rate, which is shown by some examples.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction
Fractional calculus has gained importance and popularity during the past three decades or so, due to mainly its demonstrated applications in numerous seemingly diverse fields of science and engineering. The advantage of fractional calculus becomes apparent in modeling mechanical and electrical properties of real material, as well as in the description of many fractional fields (see for details [1, 2]). In recent years, there have been many studies of fractional integral and differential equations (for instance, see [3,4,5,6,7,8,9,10,11,12,13]).
The theory of integral equations is one of the most useful mathematical tools in both pure and applied mathematics. It has enormous applications in many physical problems. The Volterra integral equations were introduced in first by Vito Volterra and then studied by Traian Lalescu in his 1908 thesis. Throughout the last decade, some researchers have paid attention to the concept of fractional integral equations as Volterra kind [14,15,16]. In this paper, we are concerned with the numerical solution of the following fractional Volterra integral equation:
where \(I^{\alpha }\) is the fractional integral of order \(0 < \alpha < 1,\)\(a,b\) and \(f\) are continuous real functions on \(\left[ {0,T} \right]\), \(y\) is the unknown function that must be determined. We directly observe that the fractional differential equation of \(\alpha\) order [15]
can be written immediately as the fractional Volterra integral equation of second kind as
Based on the above description, we intend to use numerical methods for solving the form of the Volterra fractional integral equation as from Eq. (1). Existence and uniqueness of the solution of Eq. (1), in additional to some analytical properties and important inequalities, are investigated in [17]. Some stability results for fractional integral equation are found in [18]. The authors in [17] applied the product trapezoidal method based on Picard iteration for approximating solution at the mesh points. Also, Atangana and et al. [19] use the Simpson’s rules for solving special case of Volterra fractional integral equations. Spectral methods are an emerging area in the field of applied science and engineering. These methods provide a computational approach that has achieved substantial popularity over the last three decades. They have been applied successfully to numerical simulations of many problems in fractional calculus [20,21,22,23,24,25]. To the best of our knowledge, fractional derivative and integral are global, i.e., they are defined by an interval over the whole interval \(\left[ {0,T} \right]\), and therefore global methods, such as spectral methods, are better suited for this equation.
We introduce a collocation method based on the Gauss–Legendre interpolation for solving Eq. (1). Inspired by the work of [26], we extend the approach to Eq. (1) and provide a rigorous convergence analysis for the Legendre spectral collocation method. We show that an approximate solution is convergent in \(L^{2}\) and \(L^{\infty }\) norms. The results obtained in this paper may be considered as a generalization of the result in [17].
The structure of this paper is as follows: In Sect. 2, some necessary definitions and mathematical tools of the fractional calculus which are required for our subsequent developments are introduced. In Sect. 3, the Legendre spectral collocation method of the fractional integral equation of second kind is obtained. After this section, we discuss about convergence analysis and then, to show efficiency of Legendre spectral collocation method, some numerical experiments are presented in Sect. 5. Some conclusions are given in Sect. 6.
Basic definitions and notations
For the concept of fractional integral, we will adopt Riemann–Liouville definition. Throughout this paper, integral operator will be Riemann–Liouville fractional integral operator.
Definition 1.2
A real function \(f\) on \(\left[ {0,T} \right]\) is said to be in the space \(C_{\mu } ,\)\(\mu \in {\mathbb{R}},\) if there exists a real number \(p\left( { > \mu } \right),\) such that \(f\left( x \right) = x^{p} f_{1} \left( x \right),\) where \(f_{1} \in C\left[ {0,T} \right],\) and it is said to be in the space \(C_{\mu }^{m}\) iff \(f^{\left( m \right)} \in C_{\mu } ,\)\(m \in {\mathbb{N}}.\)
Definition 2.2
The Riemann–Liouville fractional integral operator of order \(\alpha \ge 0,\) of a function \(f \in C_{\mu } , \mu \ge - 1,\) is defined as
where \({\varGamma }\left( . \right)\) is the Gamma function where
Some properties of the Riemann–Liouville fractional integral are
where \(\alpha ,\beta \ge 0\) and \(\nu > - 1.\)
Some properties of the Riemann–Liouville fractional integral are
where \(\alpha ,\beta \ge 0\) and \(\nu > - 1.\)
Let \(\omega^{{q_{1} ,q_{2} }} \left( x \right) = \left( {1 - x} \right)^{{q_{1} }} \left( {1 + x} \right)^{{q_{2} }}\) be a weight function in the usual sense, for \(q_{1} , q_{2} > - 1.\) The Jacobi polynomials \(\left\{ {J_{n}^{{q_{1} ,q_{2} }} } \right\}_{n = 0}^{\infty }\) are orthogonal with respect to \(\omega^{{q_{1} ,q_{2} }}\) over \(\left[ { - 1,1} \right].\) The set of Jacobi polynomials is a complete \(L_{{\omega^{{q_{1} ,q_{2} }} }}^{2} \left[ { - 1,1} \right]\)—orthogonal system, namely [23]
where \(\delta_{nm}\) is the Kronecker function, and
In particular, we find
Let \(S_{N} \left[ { - 1,1} \right]\) be the set of all polynomials of degree \(\le N \left( {N \ge 0} \right).\) Thus, if we denote by \(\left\{ {x_{j}^{{q_{1} ,q_{2} }} ,\omega_{j}^{{q_{1} ,q_{2} }} } \right\}_{j = 0}^{N}\), the nodes and the corresponding Christoffel numbers of the standard Jacobi–Gauss interpolation on \({\varLambda } = \left( { - 1,1} \right),\) then we have
For any \(u \in C\left(\Lambda \right),\) we denote by \(p_{x,N}^{{q_{1} ,q_{2} }} :C\left(\Lambda \right) \to S_{N}\) the Jacobi–Gauss interpolation operator, such that
It is clear that
where
In special case, if \(q_{1} = q_{2} = 0,\) then the Jacobi polynomial is reduced to the Legendre polynomial. Thus, we recall that the Legendre polynomials \(\left\{ {L_{i} \left( x \right);i = 0,1, \ldots } \right\}\) are defined on \(\Lambda\) with the following recurrence formula [23, 24]:
with \(L_{0} \left( x \right) = 1\) and \(L_{1} \left( x \right) = x.\) By using the Rodrigues formula \(L_{i} \left( x \right) = \frac{{\left( { - 1} \right)^{i} }}{{2^{i} i!}} D^{i} \left( {\left( {1 - x^{2} } \right)^{i} } \right)\), i.e., \(D\) is the differential operator, the Legendre polynomial has the expansion as following
The set \(\left\{ {L_{i} \left( x \right);i = 0,1, \ldots } \right\}\) is a complete orthogonal system in \(L^{2} \left( {\varLambda } \right),\) and we have
where \(\delta_{jk}\) is the Kronecker delta symbol and \(h_{j} = \frac{2}{2j + 1}\). Thus, for any \(g \in L^{2} \left( {\varLambda } \right),\) we have
For simplicity, we let \(x_{j} = x_{j}^{0,0} , \omega_{j} = \omega_{j}^{0,0}\) and \(p_{x,N} = p_{Nx,}^{0,0}\). Thus, according to Eq. (4), we have
where \(x_{j} \left( {0 \le j \le N} \right)\), the zeros of \(\left( {1 - x^{2} } \right)L_{N}^{{\prime }} \left( x \right),\) and \(\omega_{j} = \frac{2}{{N \left( {N + 1} \right) \left( {L_{N} \left( {x_{j} } \right)} \right)^{2} }},\; \left( {0 \le j \le N} \right)\) are nodes and Christoffel numbers of Gauss–Legendre–Lobatto interpolation on the classical interval \(\left[ { - 1,1} \right],\) respectively. The norm and discrete inner product in \(L^{2} \left( {\varLambda } \right)\) are defined as
In the next section, we use some special techniques for converting Eq. (1) to a problem that can be solved by the standard Legendre spectral collocation scheme. These topics will be presented in the next section.
The spectral collocation method
In this section, we shall propose a Legendre spectral collocation method for solving Eq. (1). The Legendre spectral collocation method takes advantage of both the Legendre polynomials and the Gauss–Legendre–Lobatto interpolation nodes (for more details, see [27]). The main idea is to use the method of discretizing the fractional integral equation to obtain a system of algebraic equations with unknown coefficients. As a result, the solution of the obtained system can be easily solved.
Again, let us to consider Eq. (1) by applying Definition 2.2 as
Next, in enjambment, we let \(\Lambda = \left[ { - 1,1} \right].\) For ease of analysis, we transfer the problem (1) to an equivalent problem defined in \(\Lambda .\) More specifically, we apply the change of variable \(t = \frac{2x}{T} - 1\) or \(x = \frac{T}{2}\left( {t + 1} \right),\) such that \(t \in\Lambda .\) Then, we have
Moreover, to transfer the integral interval \(\left( {0,\frac{T}{2}\left( {t + 1} \right)} \right)\) to \(\left( { - 1,t} \right),\) we make the transformation \(s = \frac{T}{2}\left( {\mu + 1} \right).\) Then, Eq. (12) can be written as
Further, if we let
then, Eq. (13) can be reduced to
At last, under the following linear transformation
Eq. (15) becomes
The Legendre spectral collocation method for Eq. (17) is to seek \(U \in S_{N} \left( {\varLambda } \right)\)\(\left( {N \ge 1} \right),\) such that
Now, we want to describe a numerical implementation for Eq. (18). To this end, we use the following relations
Then, by using (19) and then Eq. (3), a direct computation leads to the following equation
Applying relations (3) to (6), \(d_{i0}\) can be readily obtained as
Hence, by inserting Eqs. (19) and (20) in Eq. (18), we conclude
Finally, by comparing the expansion coefficients of Eq. (21), we can get
By replacing the above relation, we obtain the expression of \(U\left( t \right)\) accordingly.
Convergence analysis
In this section, we want to carry out the error analysis for the numerical method (18) under \(L^{2} \left( \varLambda \right)\) and \(L^{\infty } \left( \varLambda \right).\) Here, we present some preparations as follow [20, 23]:
Let \(L_{{\omega^{{q_{1} ,q_{2} }} }}^{2} \left( \varLambda \right):\) the Jacobi-weighted \(L^{2}\) Hilbert space with the scalar product
Therefore, the corresponding norm is
Let \(H_{{\omega^{{q_{1} ,q_{2} }} }}^{m} \left( \varLambda \right) = \left\{ {u \in L_{{\omega^{{q_{1} ,q_{2} }} }}^{2} \left( \varLambda \right): \frac{{{\text{d}}^{i} u}}{{{\text{d}}x^{i} }} \in L_{{\omega^{{q_{1} ,q_{2} }} }}^{2} \left( \varLambda \right), i = 0,1, \ldots m} \right\}\): the Jacobi-weighted Sobolev spaces with the norm and semi-norm, respectively,
and
\(H_{{\omega^{{q_{1} ,q_{2} }} }}^{m}\) by its inner product is a Hilbert space. For the purpose of convenience, we write \(L^{2} \left( {\varLambda } \right) = H_{{\omega^{0,0} }}^{0} ,\)\(\left\| . \right\|_{2} = \left\| . \right\|_{{L^{2} \left( {\varLambda } \right)}}\) and \(\left\| . \right\|_{\infty } = \left\| . \right\|_{{L^{\infty } \left( {\varLambda } \right)}} .\)
Lemma 4.1
[23] Assume that\(u \in H_{{\omega^{{q_{1} ,q_{2} }} }}^{m}\)with\(q_{1} ,q_{2} > - 1,\)and\(m \ge 1.\)Then, for any integer number k such that\(0 \le k \le m \le N + 1,\)the constant\(C > 0\)exists such that the following relation holds:
In particular, for any \(u \in H^{m} \left( \varLambda \right)\) with \(1 \le m \le N + 1,\) the above relation is reduced to the following result
Theorem 4.2
For sufficiently large N, the Legendre spectral collocation approximation converges to the exact solution in \(L^{2}\) -norm, i.e.,
Proof
Assume that \(U\left( x \right)\) is obtained by using the Legendre spectral collocation method Eq. (1). Then, according to definition of \(p_{t,N}\) in last section, we will have
By using Lemma 4.1, we can get for any integer \(1 \le m \le N + 1,\)
The rest of our proof is to show \(\left\| {p_{t,N} \left( Y \right) - U} \right\|_{2} \to 0\) as \(N \to \infty .\) To this end, along with definition \(Y\) in Eq. (17), for \(N \ge 1\), we have
where, \(G\left( {B\left( \mu \right),Y\left( \mu \right)} \right) = B\left( {\mu \left( {t,\theta } \right)} \right)Y\left( {\mu \left( {t,\theta } \right)} \right).\) Similarly, we can write
where
Before we proceed to the rest of proof, we present some relations that will be used later. By virtue of (29) and then using the standard Jacobi–Gauss quadrature formula (4), we obtain
Again, in the same scheme, we have
At last, by applying Lemma 4.1 and Eq. (29) together, for any integer \(m \left( {1 \le m \le N + 1} \right),\) we conclude that
Now, let us explain the rest of proof. By subtracting Eq. (28) from (27), we derive that
The above formula can be rewritten as
We let
Next, by using the standard Legendre–Gauss quadrature formula, we obtain
By using the Cauchy–Schwartz inequality and Eq. (32), we get
Similarly, by applying Eqs. (4) and (31) and the Cauchy–Schwartz inequality, we can get
On the other hand, Jenson’s inequality for any convex function \(g\) on interval \(\left( {a,b} \right)\) is
Thus, since
then, for any given \(x_{j} \in \left( { - 1,1} \right)\), \(g\left( t \right) = \left( {x_{j} + 1} \right)^{t}\) is convex function and according to Jenson’s inequality on interval \(\left[ {0,1} \right]\), we will have
Therefore, by applying the previous inequality, we yield the following inequality
Next, by using relation (37), Eq. (35) will be reduced to
At last, along with Lemma 4.1 and relations (32), (37), the previous result yields
Finally, relations (33), (34), (39) prove that the approximation is convergent in \(L^{2}\)-norm. Hence, the theorem is proved.
Numerical example
To show efficiency of our numerical method, the following examples which have exact solutions are considered.
Example 5.1
Consider the following fractional integral equation [17]
The corresponding exact solution is given by \(y\left( t \right) = \sqrt \pi \left( {1 + t} \right)^{{ - \frac{3}{2}}} .\) Fig. 1 presents the approximate and exact solutions which are found in very good agreement. In Fig. 2, the numerical errors are plotted in \(L^{2}\)-norm for \(2 \le N \le 24.\)
Example 5.2
Our second example is the following fractional integral equation [17]
The exact solution is \(y\left( x \right) = {\varGamma }\left( {\frac{2}{3}} \right)t.\) We get the numerical solution of the above fractional integral equation as
The numerical results of proposed method can be seen from Figs. 3 and 4. These results indicate that the spectral accuracy is obtained for this problem, although the given function \(f\) is not very smooth.
These results indicate that the spectral accuracy is obtained by using Legendre collocation method for this problem.
Example 5.3
Consider the following fractional integral equation [17]
The exact solution is \(y\left( t \right) = 1 - {\text{e}}^{\text{t}} erfc\left( {\sqrt t } \right),\) such that \(erfc\) is the complementary error function defined by
We list the numerical results in Table 1 to be able to test the predicted convergence rate. The comparison of the results for \(N = 8\) and \(N = 10\) with the iterative numerical method [17] is investigated in Table 1. In Fig. 5, we can observe that our numerical solutions coincide closely with the exact ones. At a glance, we can find out the results of Legendre spectral collocation method are satisfactory in the few steps.
Conclusion
In this paper, we present a spectral Legendre collocation approximation of a class of fractional integral equations of the second kind. The most important contribution of this paper is that the errors of approximations decay exponentially in \(L^{2}\)-norm. We prove that our proposed method is effective and has high convergence rate and is better than some new methods introduced in this paper. The numerical experiments show that the proposed method is efficient and powerful numerical scheme for solving many fractional problems.
References
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations, North-Holland Math. Stud., vol. 204. Elsevier Science B.V., Amsterdam (2006)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Bhrawy, A.H., Alghamdi, M.A.: A shifted Jacobi–Gauss–Lobatto collocation method for solving nonlinear fractional Langevin equation involving two fractional orders in different intervals. Boundary Value Problems, article 62, 13 pp (2012)
Rawashdeh, E.: Numerical solution of fractional integro-differential equations by collocation method. Appl. Math. Comput. 176, 1–6 (2006)
Nawaz, Y.: Variational iteration method and Homotopy perturbation method for fourth-order fractional integro-differential equations. Comput. Math Appl. 61, 2330–2341 (2011)
Momani, S., Noor, M.A.: Numerical method for fourth-order fractional integro-differential equations. Appl. Math. Comput. 182, 754–760 (2006)
Saeedi, H., Samimi, F.: He’s homotopy perturbation method for nonlinear Fredholm integro-differential equation of fractional order. Int. J. Eng. Res. Appl. 2(5), 52–56 (2012)
Ahmed, A., Salh, S.A.H.: Generalized Taylor matrix method for solving linear integro-fractional differential equations of Volterra type. Appl. Math. Sci. 5(33–36), 1765–1780 (2011)
Arikoglo, A., Ozkol, L.: Solution of fractional integro-differential equation by using fractional differential transform method. Chaos Solitons Fractals 34, 1473–1481 (2007)
Wei, J., Tian, T.: Numerical solution of nonlinear Volterra integro-differential equations of fractional order by the reproducing kernel method. Appl. Math. Model. 39, 4871–4876 (2015)
Zhu, Li, Fan, Qibin: Solving fractional nonlinear Fredholm integro-differential equations by the second kind Chebyshev wavelet. Common. Nonlinear Sci. Numer. Simul. 17, 2333–2341 (2012)
Saeedi, H., Mohseni Moghadam, M., Mollahasani, N., Chuev, G.N.: A CAS wavelet method for solving nonlinear Fredholm integro-differential equation of fractional order. Common. Nonlinear Sci. Numer. Simul. 16, 1154–1163 (2011)
Meng, Z., Wang, L., Li, H., Zhang, W.: Legendre wavelets method for solving fractional integro-differential equations. Int. J. Comput. Math. 92, 1275–1291 (2015)
Meerschaert, M.M., Tadjeran, C.: Finite difference approximations for fractional advection–dispersion flow equations. J. Comput. Appl. Math. 172(1), 65–77 (2004)
Yang, Xiao-Jun: Local fractional integral equations and their applications. Adv. Comput. Sci. Appl. 1(4), 234–239 (2012)
Srivastava, H.M., Saxena, R.K.: Operators of fractional integration and their applications. Appl. Math. Comput. 118, 1–52 (2001)
Micula, S.: An iterative numerical method for fractional integral equations of the second kind. J. Comput. Appl. Math. (2017). https://doi.org/10.1016/j.cam.2017.12.006
Wei, Wei, Xuezhu, Li, Xia, Li: New stability results for fractional integral equation. Comput. Math. Appl. 64, 3468–3476 (2012)
Atangana, A., Bildik, N.: Existence and numerical solution of the Volterra fractional integral equations of the second kind. Math. Probl. Eng. (2013). https://doi.org/10.1155/2013/981526
Canuto, C., Hussaini, M.Y., Quarteroni, A., Zang, T.A.: Spectral Methods: Fundamentals in Single Domain. Springer, Berlin (2006)
Bjorstad, P.E., Tjostheim, B.P.: Efficient algorithm for solving a fourth-order equation with the spectral Galerkin method. SIAM J. Sci. Comput. 18, 621–632 (1997)
Shen, J.: Efficient spectral-Galerkin method I. Direct solvers for second- and fourth-order equations by using Legendre polynomials. SIAM J. Sci. Comput. 15, 1489–1505 (1994)
Shen, J., Tang, T., Wang, L.-L.: Spectral Methods: Algorithms, Analysis and Applications. Springer, Berlin (2011)
Yousefi, A., Mahdavi-Rad, T., Shafiei, S.G.: A quadrature Tau method for solving Fractional integro-differential equations in the Caputo sense. J. Math. Comput. Sci. 16, 97–107 (2015)
El-Sayed, W.G., El-Sayed, A.M.A.: On the fractional integral equations of mixed type integro-differential equations of fractional orders. Appl. Math. Comput. 154, 461–467 (2004)
Yang, Y., Chen, Y., Huang, Y.: Convergence analysis of the Jacobi spectral-collocation method for fractional integro-differential equations. J. Acta Math. Sci. 34B(3), 673–690 (2014)
Mastroianni, G., Occorsto, D.: Optimal systems of nodes for Lagrange interpolation on bounded intervals: a survey. J. Comput. Appl. Math. 134, 325–341 (2010)
Author information
Authors and Affiliations
Corresponding author
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
Yousefi, A., Javadi, S. & Babolian, E. A computational approach for solving fractional integral equations based on Legendre collocation method. Math Sci 13, 231–240 (2019). https://doi.org/10.1007/s40096-019-0292-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40096-019-0292-6