This paper presents a computational approach for solving a class of nonlinear Volterra integro-differential equations of fractional order which is based on the Bernoulli polynomials approximation. Our method consists of reducing the main problems to the solution of algebraic equations systems by expanding the required approximate solutions as the linear combination of the Bernoulli polynomials. Several examples are given and the numerical results are shown to demonstrate the efficiency of the proposed method.
1. Introduction
In real world, for modeling and analysing a huge size of problems we need fractional calculus. Fractional calculus finds its application in many fields of sciences and engineering, including fluid flow, electrical networks, fractals theory, control theory, electromagnetic theory, probability, statistics, optics, potential theory, biology, chemistry, diffusion, and viscoelasticity [1–4].
In recent years, fractional differential equations (FDEs) and fractional integro-differential equations (FIDEs) have become the focus of interest for many researchers in different disciplines of science and technology because of the fact that a realistic modeling of a physical phenomenon having dependence not only on the time instant but also on the previous time history that can be successfully achieved by using fractional calculus. However, besides modeling, the solution techniques and their reliabilities are most important to catch critical points at which a sudden divergence, convergence, or bifurcation starts. Therefore, high accuracy solutions are always needed. For this purpose several techniques were proposed to solve the fractional order differential equations (or integro-differential equations). The most commonly used ideas are Adomian decomposition method (ADM) [5], variational iteration method (VIM) [6], fractional differential transform method (FDTM) [7], fractional difference method (FDM) [8], and power series method [9].
On the other hand, since the beginning of 1994, Laguerre, Legendre, Taylor, Fourier, Hermite, and Bessel (matrix and collocation) methods have been used in the works [10–15] to solve linear differential, integral, and integro-differential-difference equations and their systems. Also, the Bernoulli (matrix and collocation) methods have been used to find the approximate solutions of differential and integro-differential equations [16–18]. To the best of our knowledge these polynomials have had no results for solving FIDEs. Moreover, according to the discussions in [18], Bernoulli polynomials have some certain properties that encourage us to use them for solving any applied mathematics problem. These subjects motivate us to present a new numerical scheme for solving FIDEs.
In this paper, by using the Bernoulli polynomials as the test functions and collocating the following FIDE (subject to sufficient initial or boundary conditions) at the Legendre Gauss collocation points and also approximating the existing integrals by the Gauss quadrature rule, we find the numerical solution of the following FIDE:
(1)Dαy(x)=F(x,y(x),∫0xK(t,y(t))dt),=F(ew,y(x))0<x<1,α>0.
The rest of this paper is organized as follows. Some preliminaries about the fractional calculus and also the Bernoulli polynomials together with the Gauss quadrature rule are provided in the next Section. Section 3 contains the basic idea of the paper. In Section 4, several numerical examples are given to show the robustness of the proposed idea. The provided numerical examples show the efficiency of the proposed idea with regard to some methods in the literature. In the last section, we provide the conclusions.
2. Preliminaries
In this section, we deal with several basic definitions and properties of fractional calculus theory and also some useful information about the Bernoulli polynomials together with the Legendre Gauss quadrature rule which are further used hereafter.
Definition 1.
A real function f(x), x>0, is said to be in the space Cμ, μ∈ℝ, if there exists a real number p, p>μ, such that f(x)=xpf1(x), where f1(x)∈C[0,∞), and it is said to be in the space Cμn if and only if f(n)∈Cμ, n∈ℕ0=ℕ∪{0}.
Clearly, Cμ is a vector space and the set of spaces Cμ is ordered by inclusion according to
(2)Cμ⊂Cν⟺μ≥ν.
Definition 2.
The Riemann-Liouville fractional integral operator of order α for a function in Cμ, where μ≥-1, is defined as
(3)Jαf(x)=1Γ(α)∫0x(x-t)α-1f(t)dt,α>0,J0f(x)=f(x).
Definition 3.
The fractional derivative of f(x) in the Caputo sense is defined as
(4)Dαf(x)=Jn-αf(n)(x),
for n-1<α≤n, n∈ℕ, x>0 and f∈C-1n.
It should be mentioned that, for α∈ℕ, the Caputo differential operator coincides with the classical differential operator of integer order. Some properties of the Caputo fractional derivative, which are needed here, are as follows:
(5)DαC=0,(Cisaconstant)Dαxβ={0,0f,forβ∈ℕ0,β<⌈α⌉,Γ(β+1)Γ(β+1-α)xβ-α,0f,forβ∈ℕ0,β≥⌈α⌉orβ∉ℕ,β>⌊α⌋,
where the ceiling function ⌈α⌉ denotes the smallest integer greater than or equal to α and the floor function ⌊α⌋ denotes the largest integer less than or equal to α.
Similar to the integer order differentiation, the Caputo fractional differential operator is a linear operation; in other words
(6)Dα(θf(x)+λg(x))=θDαf(x)+λDαg(x),oθDαf(x)+wwn-1<α≤n,f,g∈C-1n,
where θ and λ are constants.
Definition 4.
The Bernoulli polynomials play an important role in different areas of mathematics, including number theory and the theory of finite differences. The classical Bernoulli polynomials Bn(x) are usually defined by means of the following relations:
(7)dBn(x)dx=nBn-1(x),(n≥1),∫01Bn(x)dx=0,(n≥1),B0(x)=1.
Also the Bernoulli polynomials can be represented in the form
(8)Bn(x)=∑r=0N(nr)Bn-r(0)xr.
Definition 5.
The Legendre Gauss quadrature rule can be defined as follows [11]:
(9)∫01h(s)ds=12∫-11h(12(t+1))dt≈12∑i=0Nwih(12(ti+1)),
where ti for i=0,1,…,N are the roots of the (N+1)th Legendre polynomial PN+1(t) and wi=2/(1-ti2)PN+1′(ti).
3. Basic Idea
In this section, we consider the basic equation (1) with some appropriate initial or boundary conditions. Our aim is to approximate the solution y(x) by the truncated Bernoulli series yN(x)=∑n=0NcnBn(x). Moreover, we use Legendre Gauss collocation nodes and also the Legendre Gauss quadrature rule for approximating the existing integrals. Then, the basic equation (1) will be transformed to a nonlinear system of algebraic equations. The solutions of this algebraic system are c0,c1,…,cN. Therefore, an approximate solution of (1) will be obtained in the form yN(x)=∑n=0NcnBn(x). Before presenting our main idea, we provide the Caputo fractional derivative representation of yN(x) in the following lemma.
Lemma 6.
Let y(x) be approximated by the Bernoulli polynomials as yN(x)=∑n=0NcnBn(x) and also suppose that α>0; then
(10)DαyN(x)=∑n=⌈α⌉N∑r=⌈α⌉ncnbn,r(α)xr-α,
where bn,r(α) is given by
(11)bn,r(α)=n!(n-r)!Γ(r+1-α)Bn-r(0).
Proof.
Because of the linearity of the Caputo fractional differential operator we have
(12)DαyN(x)=∑n=0NcnDαBn(x).
According to (5) and the structure of the Bernoulli polynomials,
(13)DαBn(x)=0,n=0,1,…,⌈α⌉-1,α>0.
Also for n=⌈α⌉,…,N and using (5) we reach the following result:
(14)DαBn(x)=∑r=0n(nr)Bn-r(0)Dαxr=∑r=⌈α⌉nn!(n-r)!Γ(r+1-α)Bn-r(0)xr-α.
A combination of (12) and (14) leads to the desired result.
In this part, we turn to approximate the solution of problem (1). For this purpose, substituting approximations yN(x) and DαyN(x) in (1) yields
(15)∑n=⌈α⌉N∑r=⌈α⌉ncnbn,r(α)xr-α=F(x,∑n=0NcnBn(x),∫0xK(t,∑n=0NcnBn(t))dt),hhhhhhhhhhhhhhhhhhhhh0<x<1,α>0.
By collocating the above equation at (N+1-⌈α⌉) points xp we have
(16)∑n=⌈α⌉N∑r=⌈α⌉ncnbn,r(α)xpr-α=F(xp,∑n=0NcnBn(xp),∫0xpK(t,∑n=0NcnBn(t))dt),tttttttttttttttttttttttttttttttttp=0,1,…,N-⌈α⌉,
where xp for p=0,1,…,N-⌈α⌉ denote the roots of the shifted Legendre polynomial PN+1-⌈α⌉(x) in the interval [0,1]. Also, in order to use the Legendre Gauss quadrature for approximating the abovementioned involved integrals, we should transfer t-interval [0,xp] into τ-interval [-1,1] by the following change of variable:
(17)τ=2xpt-1.
For each value of p=0,1,…,N-⌈α⌉ the abovementioned equation may be restated as follows:
(18)∑n=⌈α⌉N∑r=⌈α⌉ncnbn,r(α)xpr-α=F((xp2(τ+1),∑n=0NcnBn(xp2(τ+1)))xp,∑n=0NcnBn(xp),e(xp,xp2∫-11K(xp2(τ+1),∑n=0NcnBn(xp2(τ+1)))dτ).
Therefore, applying Gaussian integration formula yields
(19)∑n=⌈α⌉N∑r=⌈α⌉ncnbn,r(α)xpr-α≃F((xp2(τq+1),∑n=0NcnBn(xp2(τq+1)))xp,∑n=0NcnBn(xp),≃Fwwixp2∑q=0NwqK(xp2(τq+1),∑n=0NcnBn(xp2(τq+1)))),
where all of the τq’s are the N+1 zeros of the Legendre polynomial LN+1(τ) and the wq’s are the corresponding weights. Together with ⌈α⌉ equations of supplementary conditions, we get (N+1) nonlinear algebraic equations which can be solved for the unknown cn, n=0,1,…,N, by using any appropriate iterative method. Consequently yN(x) may be obtained. In the next section, we will show the applicability of the proposed method by examining several numerical examples.
4. Numerical Examples
In this section, several numerical examples are given to illustrate the accuracy and effectiveness of the proposed method, and all of them are performed on a computer using some programs written in MAPLE 13. In this regard, we have reported in the tables the values of the exact solution y(x) and the polynomial approximate solution yN(x) at any selected points of the given interval [0,1]. It should be noted that, in the first example, we provide an interesting example in which our method reaches the exact solution in the polynomial form. Moreover, in the second and third examples our method reaches the same results of [19] by using lower values of approximation. Also in the last numerical example, our results are superior with respect to the CAS wavelet method [20]. Before presenting our numerical examples, we should recall that the MAPLE software for solving nonlinear system of algebraic equations suggests the fsolve command. As per our experience for solving such nonlinear systems, this command is very efficient and easy to handle.
Example 1 (see [19]).
As in the first example, we consider the following initial value problem of FIDE:
(20)D0.75y(x)=-(exx25)y(x)+6x2.25Γ(3.25)+∫0xexty(t)dt,y(0)=0.
For solving this example, we apply our proposed method for N=3. In other words,
(21)y(x)≈y3(x)=∑n=03cnBn(x).
By using (19), we have
(22)∑n=13∑r=1ncnbn,r(0.75)xpr-0.75≃-(expxp25)∑n=03cnBn(xp)+6xp2.25Γ(3.25)+xp2exp∑q=03wq(xp2(τq+1)∑n=03cnBn(xp2(τq+1))),≈w-(expxp25)∑n=03cnBn(xp)expxp25+6xp2.25Γ(3.25)p=0,1,2.
Initial condition yields the following equation:
(23)c0-12c1+16c2=0.
Now, by solving the system which contains (22) and (23) we reach the following solution:
(24)c0=14,c1=1,c2=32,c3=1.
Therefore,
(25)y3(x)=14(1)+1(x-12)+32(x2-x+16)+1(x3-32x2+12x)=x3,
which is the exact solution.
Example 2 (see [19]).
As in the second example, we consider the following fractional integro-differential equation:
(26)Dαy(x)=x(1+ex)+3ex+y(x)-∫0xy(t)dt,x(1+ex)+30<x<1,3<α≤4,
with the following boundary conditions:
(27)uy(0)=1,y′′(0)=2,y(1)=1+e,y′′(1)=3e.
The exact solution of this FIDE is y(x)=1+xex, when α=4. For solving this problem, we apply our method for different values of N. In Table 1, we provide the numerical results yN(xi), where xi=i/10 (i=0,1,…,10) for N=8, of our presented method (PM) together with numerical results yN(xi), where xi=i/10 for N=10, of the Legendre collocation method (LCM) [19]. It is obvious that our method reaches the same results of [19] with lower degree of approximation. Moreover, our method has superior results with regard to the Adomian decomposition method (ADM) [5] as shown in [19]. In addition, the numerical results associated with our presented method, LCM, and generalized differential transform method (GDTM) [7] for N=10 and α=3.75 are given in Table 2. As shown in Table 2 of [19], the ADM has very weak approximations with regard to GDTM and LCM. Therefore, we do not consider ADM in Table 2. From this table, one can find that our results are the same as those of LCM, but GDTM results are away from our proposed technique and LCM results. These facts confirm the effectiveness of our idea. For showing the reliability of our approach, we provide Figure 1. In this figure, we depict the numerical solution y10(x) for different kinds of α such as 3.25, 3.50, 3.75, and 4.
Numerical results of Example 2 for α=4.
xi
α=4
LCM for N=10
PM for N=8
Exact solution
0.0
1.00000000
1.00000000
1.00000000
0.1
1.11051709
1.11051709
1.11051709
0.2
1.24428055
1.24428055
1.24428055
0.3
1.40495764
1.40495765
1.40495764
0.4
1.59672988
1.59672989
1.59672988
0.5
1.82436064
1.82436063
1.82436064
0.6
2.09327128
2.09327126
2.09327128
0.7
2.40962690
2.40962687
2.40962690
0.8
2.78043274
2.78043273
2.78043274
0.9
3.21364280
3.21364280
3.21364280
1.0
3.71828183
3.71828183
3.71828183
Numerical results of Example 2 for α=3.75.
xi
α=3.75
LCM for N=10
PM for N=10
GDTM for N=10
0.0
1.00000000
1.00000000
1.00000000
0.1
1.11580022
1.11580022
1.11576401
0.2
1.25417406
1.25417406
1.25411023
0.3
1.41835392
1.41835392
1.41826880
0.4
1.61225031
1.61225031
1.61215425
0.5
1.84049469
1.84049469
1.84039953
0.6
2.10850149
2.10850149
2.10841524
0.7
2.42253768
2.42253768
2.42246558
0.8
2.78981125
2.78981125
2.78975920
0.9
3.21858158
3.21858158
3.21855471
1.0
3.71828183
3.71828183
3.71828183
Numerical solution history of Example 2 for α=3.25, 3.50, 3.75, and 4.
Example 3 (see [19]).
As in the third example, we consider the following nonlinear fractional integro-differential equation:
(28)Dαy(x)=1+∫0xe-ty2(t)dt,0<x<1,3<α≤4,
subject to the boundary conditions
(29)uy(0)=1,y′′(0)=1,y(1)=e,y′′(1)=e.
The exact solution of this problem for α=4, that is, the classical boundary value problem, is y(x)=ex. Similar to the previous example, for solving this example, we apply our presented technique for different values of N. In Table 3, we provide the numerical results yN(xi), where xi=i/10 (i=0,1,…,10) for N=9, of our presented method (PM) together with numerical results yN(xi), where xi=i/10 for N=13, of the LCM in the case of α=4. From this table, it is obvious that our method reaches the same results of [19] with lower degree of approximation. Moreover, in this table the numerical results yN(xi), where xi=i/10 (i=0,1,…,10) for N=10, of our presented method (PM) together with the numerical results yN(xi), where xi=i/10 for N=13, of the LCM and GDTM in the case of α=3.75 are given.
Numerical results of Example 3 for α=4 and α=3.75.
xi
α=3.75
LCM for N=13
PM for N=10
GDTM for N=13
0.0
1.00000000
1.00000000
1.00000000
0.1
1.10618147
1.10618610
1.10617705
0.2
1.22328484
1.22329275
1.22327680
0.3
1.35238877
1.35239964
1.35237837
0.4
1.49473312
1.49474546
1.49472145
0.5
1.65172131
1.65173324
1.65170946
0.6
1.82492929
1.82494001
1.82491846
0.7
2.01611828
2.01612731
2.01610929
0.8
2.22724889
2.22725546
2.22714245
0.9
2.46049864
2.46050202
2.46049530
1.0
2.71828183
2.71828183
2.71828183
xi
α=4
LCM for N=13
PM for N=9
Exact solution
0.0
1.00000000
1.00000000
1.00000000
0.1
1.10517092
1.10517092
1.10517092
0.2
1.22140276
1.22140276
1.22140276
0.3
1.34985881
1.34985881
1.34985881
0.4
1.49182470
1.49182470
1.49182470
0.5
1.64872127
1.64872127
1.64872127
0.6
1.82211880
1.82211880
1.82211880
0.7
2.01375271
2.01375271
2.01375271
0.8
2.22554093
2.22554093
2.22554093
0.9
2.45960311
2.45960311
2.45960311
1.0
2.71828183
2.71828183
2.71828183
Example 4 (see [20]).
As in the final example, let us consider the following nonlinear fractional integro-differential equation of order α=6/5:
(30)Dαy(x)=52Γ(4/5)x4/5-x9252+∫0x(x-t)2y3(t)dt,52Γ(4/5)x4/5-x9252+52Γ(4)0≤x<1,
with the supplementary conditions
(31)y(0)=0,y(1)=1.
The exact solution of this problem is y(x)=x2. Again, we solve this problem by using our basic idea in Section 3. For making a real comparison with a new technique, CAS wavelet method (CASWM) [20], we should assume that N=2 and then solve the abovementioned problem. Therefore, in Table 4, we provide the numerical results yN(xi), where xi=i/10 (i=0,1,…,10) for N=2, of our presented method (PM) together with the numerical results yN(xi), where xi=i/10 for N=2, of the CASWM. From this table the efficiency of the presented method could be seen obviously.
Numerical results of Example 4 for α=6/5.
xi
α=6/5
CASWM for k=2, M=1
PM for N=2
Exact solution
0.0
0.04
1.0e-012
0.00000000
0.1
0.02
0.00992974
0.01
0.2
0.05
0.03987509
0.04
0.3
0.12
0.08983606
0.09
0.4
0.18
0.15981264
0.16
0.5
0.32
0.24980483
0.25
0.6
0.41
0.35981264
0.36
0.7
0.54
0.48983606
0.49
0.8
0.68
0.63987509
0.64
0.9
0.89
0.80992974
0.81
1.0
0.90
1.00000000
1
5. Conclusions
In this paper, the Bernoulli polynomials and Legendre Gauss quadrature rule together with the Legendre Gauss collocation nodes are used to reduce the nonlinear fractional integro-differential equations with appropriate initial or boundary conditions to the solution of system of nonlinear algebraic equations. From the computational point of view, the solution obtained by this method is in excellent agreement with those obtained by previous works and also it is efficient to use. One issue of future work is to develop a similar technique to solve some interesting nonlinear fractional partial integro-differential equations. In addition, the method can also be extended to the system of nonlinear fractional integro-differential equations, but some modifications are required.
Conflict of Interests
The authors declare that they do not have any conflict of interests in their submitted paper.
El-MesiryA. E. M.El-SayedA. M. A.El-SakaH. A. A.Numerical methods for multi-term fractional (arbitrary) orders differential equations2005160368369910.1016/j.amc.2003.11.026MR2113113ZBL1062.65073KilbasA. A.SrivastavaH. M.TrujilloJ. J.2006New York, NY, USAElsevierMR2218073MillerK. S.RossB.1993New York, NY, USAJohn Wiley & SonsMR1219954PodlubnyI.1999New York, NY, USAAcademic PressMR1658022El-WakilS. A.ElhanbalyA.AbdouM. A.Adomian decomposition method for solving fractional nonlinear differential equations2006182131332410.1016/j.amc.2006.02.055MR2292042ZBL1106.65115DasS.Analytical solution of a fractional diffusion equation by variational iteration method200957348348710.1016/j.camwa.2008.09.045MR2488620ZBL1165.35398ErturkV. S.MomaniS.OdibatZ.Application of generalized differential transform method to multi-order fractional differential equations20081381642165410.1016/j.cnsns.2007.02.006MR2398696ZBL1221.34022MeerschaertM. M.TadjeranC.Finite difference approximations for two-sided space-fractional partial differential equations2006561809010.1016/j.apnum.2005.02.008MR2186432ZBL1086.65087OdibatZ. M.ShawagfehN. T.Generalized Taylor's formula2007186128629310.1016/j.amc.2006.07.102MR2316514ZBL1122.26006GülsuM.GürbüzB.ÖztürkY.SezerM.Laguerre polynomial approach for solving linear delay difference equations2011217156765677610.1016/j.amc.2011.01.112MR2775723ZBL1211.65166SamadiO. R. N.TohidiE.The spectral method for solving systems of Volterra integral equations2012401-247749710.1007/s12190-012-0582-8MR2965344TohidiE.SoleymaniF.KilicmanA.Robustness of operational matrices of differentiation for solving state-space analysis and optimal control problems20132013910.1155/2013/535979535979MR3039170ZBL1272.49066ToutounianF.TohidiE.KilicmanA.Fourier operational matrices of differentiation and transmission: introduction and applications201320131110.1155/2013/198926198926MR3044985ZBL1275.65036YalçinbaşS.AynigülM.SezerM.A collocation method using Hermite polynomials for approximate solution of pantograph equations201134861128113910.1016/j.jfranklin.2011.05.003MR2803650ZBL1221.65187YüzbaşıS.A numerical approximation based on the Bessel functions of first kind for solutions of Riccati type differential-difference equations20126461691170510.1016/j.camwa.2012.01.026MR2960794ZBL1268.65090TohidiE.KılıçmanA.A collocation method based on the Bernoulli operational matrix for solving nonlinear BVPs which arise from the problems in calculus of variation20132013910.1155/2013/757206757206MR3043764TohidiE.ErfaniKh.GachpazanM.ShateyiS.A new Tau method for solving nonlinear Lane-Emden type equations via Bernoulli operational matrix of differentiation20132013910.1155/2013/850170850170MR3064887ZBL1266.65138ToutounianF.TohidiE.ShateyiS.A collocation method based on the Bernoulli operational matrix for solving high-order linear complex differential equations in a rectangular domain201320131210.1155/2013/823098823098MR3039185ZBL1275.65041SaadatmandiA.DehghanM.A Legendre collocation method for fractional integro-differential equations201117132050205810.1177/1077546310395977MR2895862ZBL1271.65157SaeediH.MoghadamM. M.Numerical solution of nonlinear Volterra integro-differential equations of arbitrary order by CAS wavelets20111631216122610.1016/j.cnsns.2010.07.017MR2736629ZBL1221.65140