AAA Abstract and Applied Analysis 1687-0409 1085-3375 Hindawi Publishing Corporation 162896 10.1155/2014/162896 162896 Research Article Numerical Solution of Nonlinear Fractional Volterra Integro-Differential Equations via Bernoulli Polynomials http://orcid.org/0000-0001-7211-5307 Tohidi Emran 1 Ezadkhah M. M. 2 Shateyi S. 3 Jafari Hossein 1 Department of Mathematics Aligoudarz Branch Islamic Azad University Aligoudarz Iran srbiau.ac.ir 2 Department of Applied Mathematics School of Mathematical Sciences Ferdowsi University of Mashhad Mashhad Iran um.ac.ir 3 Institute for Groundwater Studies Faculty of Natural and Agricultural Sciences University of the Free State Bloemfontein 9300 South Africa ufs.ac.za 2014 1832014 2014 26 11 2013 12 02 2014 18 3 2014 2014 Copyright © 2014 Emran Tohidi et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

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 .

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) , variational iteration method (VIM) , fractional differential transform method (FDTM) , fractional difference method (FDM) , and power series method .

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  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 . To the best of our knowledge these polynomials have had no results for solving FIDEs. Moreover, according to the discussions in , 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μ,  n0={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 fC-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,(Cis  a  constant)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,gC-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),(n1),01Bn(x)dx=0,(n1),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 : (9)01h(s)ds=12-11h(12(t+1))dt12i=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=αNr=α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=αNr=α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=αNr=α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=αNr=α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=αNr=αncnbn,r(α)xpr-αF((xp2(τq+1),n=0N  cnBn(xp2(τq+1)))xp,n=0NcnBn(xp),Fwwixp2q=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  by using lower values of approximation. Also in the last numerical example, our results are superior with respect to the CAS wavelet method . 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 [<xref ref-type="bibr" rid="B11">19</xref>]).

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=13r=1ncnbn,r(0.75)xpr-0.75-(expxp25)n=03cnBn(xp)+6xp2.25Γ(3.25)+xp2expq=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 [<xref ref-type="bibr" rid="B11">19</xref>]).

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) . It is obvious that our method reaches the same results of  with lower degree of approximation. Moreover, our method has superior results with regard to the Adomian decomposition method (ADM)  as shown in . In addition, the numerical results associated with our presented method, LCM, and generalized differential transform method (GDTM)  for N=10 and α=3.75 are given in Table 2. As shown in Table 2 of , 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.

x i α = 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.

x i α = 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 [<xref ref-type="bibr" rid="B11">19</xref>]).

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  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.

x i α = 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

x i α = 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 [<xref ref-type="bibr" rid="B12">20</xref>]).

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)  0x<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) , 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.

x i α = 6 / 5
CASWM for k=2, M=1 PM for N=2 Exact solution
0.0 0.04 1.0 e - 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-Mesiry A. E. M. El-Sayed A. M. A. El-Saka H. A. A. Numerical methods for multi-term fractional (arbitrary) orders differential equations Applied Mathematics and Computation 2005 160 3 683 699 10.1016/j.amc.2003.11.026 MR2113113 ZBL1062.65073 Kilbas A. A. Srivastava H. M. Trujillo J. J. Theory and Applications of Fractional Differential Equations 2006 New York, NY, USA Elsevier MR2218073 Miller K. S. Ross B. An Introduction to the Fractional Calculus and Fractional Differential Equations 1993 New York, NY, USA John Wiley & Sons MR1219954 Podlubny I. Fractional Differential Equations 1999 New York, NY, USA Academic Press MR1658022 El-Wakil S. A. Elhanbaly A. Abdou M. A. Adomian decomposition method for solving fractional nonlinear differential equations Applied Mathematics and Computation 2006 182 1 313 324 10.1016/j.amc.2006.02.055 MR2292042 ZBL1106.65115 Das S. Analytical solution of a fractional diffusion equation by variational iteration method Computers & Mathematics with Applications 2009 57 3 483 487 10.1016/j.camwa.2008.09.045 MR2488620 ZBL1165.35398 Erturk V. S. Momani S. Odibat Z. Application of generalized differential transform method to multi-order fractional differential equations Communications in Nonlinear Science and Numerical Simulation 2008 13 8 1642 1654 10.1016/j.cnsns.2007.02.006 MR2398696 ZBL1221.34022 Meerschaert M. M. Tadjeran C. Finite difference approximations for two-sided space-fractional partial differential equations Applied Numerical Mathematics 2006 56 1 80 90 10.1016/j.apnum.2005.02.008 MR2186432 ZBL1086.65087 Odibat Z. M. Shawagfeh N. T. Generalized Taylor's formula Applied Mathematics and Computation 2007 186 1 286 293 10.1016/j.amc.2006.07.102 MR2316514 ZBL1122.26006 Gülsu M. Gürbüz B. Öztürk Y. Sezer M. Laguerre polynomial approach for solving linear delay difference equations Applied Mathematics and Computation 2011 217 15 6765 6776 10.1016/j.amc.2011.01.112 MR2775723 ZBL1211.65166 Samadi O. R. N. Tohidi E. The spectral method for solving systems of Volterra integral equations Journal of Applied Mathematics and Computing 2012 40 1-2 477 497 10.1007/s12190-012-0582-8 MR2965344 Tohidi E. Soleymani F. Kilicman A. Robustness of operational matrices of differentiation for solving state-space analysis and optimal control problems Abstract and Applied Analysis 2013 2013 9 10.1155/2013/535979 535979 MR3039170 ZBL1272.49066 Toutounian F. Tohidi E. Kilicman A. Fourier operational matrices of differentiation and transmission: introduction and applications Abstract and Applied Analysis 2013 2013 11 10.1155/2013/198926 198926 MR3044985 ZBL1275.65036 Yalçinbaş S. Aynigül M. Sezer M. A collocation method using Hermite polynomials for approximate solution of pantograph equations Journal of the Franklin Institute 2011 348 6 1128 1139 10.1016/j.jfranklin.2011.05.003 MR2803650 ZBL1221.65187 Yüzbaşı S. A numerical approximation based on the Bessel functions of first kind for solutions of Riccati type differential-difference equations Computers & Mathematics with Applications 2012 64 6 1691 1705 10.1016/j.camwa.2012.01.026 MR2960794 ZBL1268.65090 Tohidi E. Kılıçman A. A collocation method based on the Bernoulli operational matrix for solving nonlinear BVPs which arise from the problems in calculus of variation Mathematical Problems in Engineering 2013 2013 9 10.1155/2013/757206 757206 MR3043764 Tohidi E. Erfani Kh. Gachpazan M. Shateyi S. A new Tau method for solving nonlinear Lane-Emden type equations via Bernoulli operational matrix of differentiation Journal of Applied Mathematics 2013 2013 9 10.1155/2013/850170 850170 MR3064887 ZBL1266.65138 Toutounian F. Tohidi E. Shateyi S. A collocation method based on the Bernoulli operational matrix for solving high-order linear complex differential equations in a rectangular domain Abstract and Applied Analysis 2013 2013 12 10.1155/2013/823098 823098 MR3039185 ZBL1275.65041 Saadatmandi A. Dehghan M. A Legendre collocation method for fractional integro-differential equations Journal of Vibration and Control 2011 17 13 2050 2058 10.1177/1077546310395977 MR2895862 ZBL1271.65157 Saeedi H. Moghadam M. M. Numerical solution of nonlinear Volterra integro-differential equations of arbitrary order by CAS wavelets Communications in Nonlinear Science and Numerical Simulation 2011 16 3 1216 1226 10.1016/j.cnsns.2010.07.017 MR2736629 ZBL1221.65140