Skip to content

Advertisement

  • Research
  • Open Access

Nonstandard finite difference schemes for a fractional-order Brusselator system

  • 1Email author,
  • 1 and
  • 2
Advances in Difference Equations20132013:102

https://doi.org/10.1186/1687-1847-2013-102

  • Received: 24 December 2012
  • Accepted: 27 March 2013
  • Published:

Abstract

In this paper, we discuss numerical methods for fractional order problems. Some nonstandard finite difference schemes are presented and investigated. The application in the simulation of a fractional-order Brusselator system is hence presented. By means of some numerical experiments, we show the effectiveness of the proposed approach.

Keywords

  • Fractional Order
  • Fractional Derivative
  • Fractional Calculus
  • Fractional Differential Equation
  • Discrete Representation

1 Introduction

Recently, fractional calculus has gained an increasing popularity due to the wide range of applications in fields including engineering, chemistry, finance, physics, seismology and so on.

Although the discussion on derivatives of noninteger order dates back to almost as far as the development of the classical theory of integer-order differential calculus, only at the end of the nineteenth century it has been realized the great enhancements that could be achieved by exploiting the power of fractional calculus; by means of fractional differential equations (FDEs) it is indeed possible to describe, in a natural way, real-life phenomena with memory effect and systems exhibiting anomalous diffusion [1].

The publication of some cornerstone books completely devoted to fractional calculus (we just cite here the works of Oldham and Spainer [2], Samko, Kilbas and Marichev [3], Miller and Ross [4], Podlubny [5], Diethelm [6] and Mainardi [7]) has successively played a considerable role in disseminating the subject. A variety of recent books [813] have also been published to illustrate applications of FDEs and methods for their solution.

In most cases, the solution of a FDE does not exist in terms of a finite number of elementary functions; it is therefore fundamental to device numerical methods in order to practically evaluate approximated solutions by means of difference schemes or other alternative approaches (e.g., see [1419]).

A major difficulty in the numerical treatment of FDEs is the presence of the long and persistent memory, which is related to the nonlocal nature of fractional derivative operators. From a practical point of view, storing and taking into account all the past history of the solution is usually a very demanding task.

In the presence of nonlinearities, these difficulties are amplified by the need of solving, at each step, some nonlinear algebraic systems whenever implicit schemes are adopted to cope with stability issues.

Nonstandard finite difference (NSFD) schemes have been introduced [20, 21] with the aim of avoiding full implicit schemes, which are computationally expensive, but at the same time preserving some of the main essential physical properties of the solution such as, for instance, positivity, monotonicity or convergence towards a stable steady-state.

The central aim of this work is to apply NSFD schemes within the context of fractional-order problems and study their potentials in replicating some of the main properties of the true solution [2225]. In particular, the paper is concerned with the numerical simulation, by means of some ad hoc devised NSFD schemes, of a fractional-order Brussellator system; the stability properties of the system are analyzed and we show that the proposed NSFD methods allow to preserve stability in the numerical solution.

The paper is organized as follows. In Section 2, we briefly review the main definitions concerning fractional derivatives and FDEs and we introduce NSFD methods. Section 3 is devoted to discuss the main problems in applying NSFD schemes to fractional-order problems. In Section 4, we analyze stability of the fractional-order Brusselator system, and we present some suitably devised NSFD for this system. By means of some numerical simulations, in Section 5, we show the stability preserving properties of the proposed schemes and we compare the results with those provided by a classical method. Finally, some concluding remarks are given in Section 6.

2 Preliminaries and notations

In this section, some basic definitions and properties in the theory of the fractional calculus are presented; moreover, we introduce the main aspects concerning nonstandard discretization methods.

2.1 Fractional derivatives and FDEs

Derivatives of fractional order have been introduced in several ways. The Riemann-Liouville (RL) differential operator of order α > 0 is defined as
D t 0 α RL f ( t ) D m J t 0 m α f ( t ) = 1 Γ ( m α ) d m d t m t 0 t ( t s ) m α 1 f ( s ) d s ,

where Γ ( ) is the Euler gamma function, m = α is the smallest integer such that m > α and D m and d m / d t m denote the standard derivatives of integer order.

Despite its importance from an historical point of view (the RL approach has been the first definition introduced for fractional derivatives), very often it is of little use in practical applications; indeed, when used in FDEs it allows to couple the equation with initial conditions expressed as the limit of a fractional integral as in
{ D t 0 α RL y ( t ) = f ( t , y ( t ) ) , D t 0 α k RL y ( t 0 ) = b k , k = 1 , , m 1 , lim t t 0 + J t 0 m α y ( t ) = b m ,

which does not have a clear physical meaning.

To overcome these difficulties, the alternative approach of the Caputo (C) differential operator of order α > 0 has been proposed according to
D t 0 α C f ( t ) J t 0 m α D m f ( t ) = 1 Γ ( m α ) t 0 t ( t s ) m α 1 d m d t m f ( s ) d s .
The major advantage of the above definition is that when used in FDEs it is possible to couple the equation with classical initial conditions of Cauchy type, thus to obtain an initial value problem in the standard form
{ D t 0 α C f ( t ) = f ( t , y ( t ) ) , D k y ( t 0 ) = y 0 , k , k = 0 , , m 1 .
(1)
It is important to remark that the two definitions are strongly correlated by means of the relationship
D t 0 α C f ( t ) = RL D t 0 α ( f ( t ) T m 1 [ f ; t 0 ] ) ,
where, for a function f assumed sufficiently smooth at t 0 , T m 1 [ f ; t 0 ] is the ( m 1 ) th degree Taylor polynomial for f centered at t 0
T m 1 [ f ; t 0 ] ( t ) = k = 0 m 1 t k k ! f ( k ) ( t 0 ) .
When 0 < α < 1 , and hence m = 1 and T 0 [ f ; t 0 ] ( t ) = f ( t 0 ) , we simply have
D t 0 α C f ( t ) = RL D t 0 α ( f ( t ) f ( t 0 ) ) .
A further approach is the Grünwald-Letnikov (GL) operator defined as
D t 0 α GL f ( t ) = lim N h N α j = 0 N w j ( α ) f ( t j h N ) , h N = t t 0 N ,
(2)
where the weights w j ( α ) are the coefficients in the power series expansion of ( 1 ξ ) α , i.e.,
( 1 ξ ) α = j = 0 w j ( α ) ξ j , w j ( α ) = ( 1 ) j ( α j ) = Γ ( j α ) Γ ( α ) Γ ( j + 1 )
and, from a practical point of view, they can be evaluated recursively by means of the following recurrence:
w 0 ( α ) = 1 , w j ( α ) = ( 1 1 + α j ) w j 1 , j = 1 , 2 , .
(3)
Under suitable assumptions of regularity, the RL and GL operators coincides, i.e.,
D t 0 α RL f ( t ) = GL D t 0 α f ( t ) .
As a consequence, it is possible to establish a relationship also between the C and GL operators by means of the formula
D t 0 α C f ( t ) = GL D t 0 α f ( t ) ( f ( t ) T m 1 [ f ; t 0 ] ) ,
(4)
which, for 0 < α < 1 , becomes
D t 0 α C f ( t ) = GL D t 0 α ( f ( t ) f ( t 0 ) ) .
(5)
The GL operator, used in connection with (4) or (5) provides a practical and convenient method for numerically solving FDEs with the Caputo operator. By truncating the summation in (2), it is possible to approximate the solution of the problem (1) as
j = 0 N w j ( α ) ( y ( t j h N ) y 0 ) = h N α f ( t , y ( t ) ) .
(6)

This method has been extensively studied in literature (e.g., see [18, 26]) and the numerical solution obtained by (6) converges to true solution with order 1 as h N 0 . Method (6) will form the basis on which NSFD methods will be devised in the subsequent section.

We introduce the following result concerning the weights of the GL discretization scheme (6), which will be used later on.

Lemma 1 Let 0 < α < 1 and w n ( α ) the coefficients in the GL operator. Then for any n = 1 , 2 ,
  1. 1.

    1 < w n ( α ) < 0 ,

     
  2. 2.

    0 < w n ( α 1 ) < 1 .

     

Proof The proof is an immediate consequence of the recursive relationship stated in (3). □

2.2 Nonstandard discretization

NSFD schemes were firstly proposed by Mickens [20, 21] for either ODEs or PDEs and, successively, their use has been investigated in several fields (see, for instance, [2731]).

To describe the main aspects of NSFD schemes, we consider an ODE in the form
d y d t = f ( t , y , λ ) ,
(7)
where λ is a, possibly vector, parameter. Given a mesh-grid t n = t 0 + h n , that just for simplicity we assume to be equispaced with step-size h > 0 , NSFD schemes are constructed by following two main steps: (1) the derivative at the left-hand side of (7) is replaced by a discrete representation in the form
d y d t y n y n 1 ϕ ( h , λ ) ,
(8)
where y n is an approximation of y ( t n ) ; (2) the nonlinear term in (7) is replaced by a nonlocal discrete representation F ( t , y n , y n 1 , , λ ) depending on some of the previous approximations. The resulting scheme therefore reads as
y n y n 1 ϕ ( h , λ ) = F ( t , y n , y n 1 , , λ ) .
(9)
The discrete derivate on the left-hand side is a generalization of the classical discrete representation for the first derivative that is obtained by using ϕ ( h , λ ) = h . The denominator function ϕ ( h , λ ) is a function of the step-size h and must fulfill the consistency condition
ϕ ( h , λ ) = h + O ( h 2 ) , h 0 ,
(10)

to ensure that the discrete representation in (8) converges to the corresponding continuous derivative as h 0 . Examples of denominator functions fulfilling (10) are h, sin ( h ) , 1 e h , ( 1 e λ h ) / λ and so forth.

Other than by fulfilling the consistency condition (10), there are however some other criteria for choosing a suitable denominator function. The main aim is to achieve what is called the dynamic consistency: the solution of the discrete model (9) must satisfy some properties of particular importance for the original continuous model (7) (e.g., positivity, monotonicity, fixed points and so on).

To better describe this issue, we consider the linear problem f ( t , y , λ ) = λ y which, as it is well known, monotonically converges to the steady-state y = 0 whenever λ > 0 . The classical explicit Euler scheme, obtained with ϕ ( h , λ ) = h and F ( y n , y n 1 , , λ ) = λ y n 1 does not preserve the monotonic convergence to 0 unless h is sufficiently small. It is instead easy to verify that the use of the nonstandard denominator function
ϕ ( h , λ ) = 1 e h λ λ

ensures this desirable property for any value of h.

It is quite common to select the denominator function on the basis of the knowledge of the fixed points of f. For more general problems having the fixed points y ˜ , = 1 , 2 , , L , such that f ( t , y ˜ , λ ) = 0 , after denoting
R = d f d y | y = y ˜
the denominator function ϕ can be chosen as
ϕ ( h , R ) = 1 e R h R , R = max = 1 , , L | R |

to ensure that the steady-state of the discrete model preserves the same stability properties of the original continuous model.

For the nonlinear terms on the right-hand side, several kinds of nonlocal discrete representations F ( t , y n , y n 1 , , λ ) can be proposed, according to the nature of the problem under investigation. For instance, some examples of possible replacements are
y 2 y n 1 y n , y n 1 y n 2 + y n 2 , y n 1 y n + 1 , y 3 ( y n 1 + y n 2 ) y n 1 2 , y n 1 2 y n , y n 2 y n 1 y n , y n 2 2 y n 2 y n 1 .

3 NSFD for fractional differential equations

The use of NSFD schemes for fractional-order problems is a quite new subject and very few contributions are available in literature [3234]. To apply NSFD schemes to FDEs, we have to take into account some peculiarities of fractional-order systems. Although the nonlocal discrete representation of the vector field f ( t , y ( t ) ) can be assumed in an identical way as in (9), we must observe that, due to the nonlocal nature of derivative operators of fractional order, the discrete representation of the derivative must take into account all the past history of the solution as in (6). Thus, the counterpart of (9) for FDEs with order 0 < α < 1 must be written in the form
1 ϕ ( h , λ ) j = 0 n w j ( α ) ( y n j y 0 ) = F ( t , y n , y n 1 , , λ )
(11)

when the GL discretization (6) is exploited as the underlying method for the construction of NSFD schemes.

The consistency condition (10) does not longer ensure the convergence of the discrete representation of the fractional derivative in (11) to its continuous definition. On the basis of (2), the modified consistency condition
ϕ ( h , λ ) = h α + O ( h p ) , p > α , h 0 ,
(12)
must therefore be assumed. Some examples of denominator functions of this kind are
h α , sin ( h α λ ) λ , ( sin ( h λ ) λ ) α , 1 e h α λ λ , ( 1 e h λ λ ) α , Γ ( α + 1 ) E α ( h α λ ) 1 λ ,
where Γ ( ) and E α ( ) are the gamma Euler function and the Mittag-Leffler function respectively defined as
Γ ( z ) = 0 e t t z 1 d t , E α ( z ) = k = 0 z k Γ ( α k + 1 ) .

Although all the above functions satisfy the consistency condition (12), not all of them preserve the first order convergence of (6). Indeed, it is immediate to observe that to achieve this further goal it is necessary that p in (12) satisfies p 1 + α . Since most of the listed functions do not fulfill this requirement, it is obvious to expect a drop in the convergence order which could reduce to α, when 0 < α < 1 , instead of being 1.

Despite the drop in the order of convergence, some of these denominator functions can be, however, useful to overcome stability issues. To this purpose, let us consider, also in this case, the linear test f ( t , y , λ ) = λ y together with the explicit GL scheme obtained form (11) with F ( t , y n , y n 1 , , λ ) = λ y n 1 . By following an analysis similar to that carried out in [35], we can easily see that in order to obtain a stable behavior we must require that the denominator function satisfies
0 < ϕ ( h , λ ) < 2 α λ .
(13)
Among the various denominator functions listed above, we will take into account the following two
ϕ 1 ( h , λ ) = 1 e h α λ λ , ϕ 2 ( h , λ ) = ( 1 e h λ λ ) α .

Both of them fulfill the consistency condition (12) but just ϕ 2 ( h , λ ) preserves order of convergence 1 since ϕ 2 ( h , λ ) = h α α λ 2 h 1 + α +  . Moreover, while ϕ 2 ( h , λ ) satisfies for any values of h the stability requirement (13) only when λ is of small or moderate size, the function ϕ 1 ( h , λ ) fulfills (13) in any circumstance. Thus, ϕ 1 ( h , λ ) is expected to better work for preserving stability whereas ϕ 2 ( h , λ ) seems more suitable for achieving higher accuracy.

4 Fractional-order Brusselator model: stability analysis and NSFD schemes

The fractional-order Brusselator [36] is a model of an autocatalytic chemical reaction, which is mathematically described as follows:
{ D 0 , t α C x ( t ) = a ( μ + 1 ) x ( t ) + x ( t ) 2 y ( t ) , D 0 , t α C y ( t ) = μ x ( t ) x ( t ) 2 y ( t ) ,
(14)

where x ( t ) , y ( t ) are activator and inhibitor variables and a, μ are external parameters (the relationship between them determines the system dynamics) [37].

To study the dynamics of this model, we consider its equilibrium point. Let g ( x , y ) = a ( μ + 1 ) x ( t ) + x ( t ) 2 y ( t ) and h ( x , y ) = μ x ( t ) x ( t ) 2 y ( t ) ; the equilibrium point E of (14) is the solution of
g ( x eq , y eq ) = 0 and h ( x eq , y eq ) = 0 ,
(15)

which can be easily determined as E = ( a , μ a ) . The following result allows to summarize the dynamics of this equilibrium point [38].

Theorem 2 There exists a marginal value α 0 such that the equilibrium E is locally asymptotically stable if α < α 0 and it is unstable if α > α 0 .

Proof The steady state is locally asymptotically stable if all the eigenvalues λ of the Jacobian matrix
J = [ g / x g / y h / x h / y ]
evaluated at the equilibrium point satisfy the following condition [39, 40]
| arg ( λ ) | > α π 2 .
The eigenvalues λ can be determined by solving the characteristic equation det ( J ( E ) λ I ) = 0 . Since the Jacobian matrix of the system (14) at the equilibrium point is
J ( E ) = [ μ 1 a 2 μ a 2 ]
the eigenvalues of J ( E ) are
λ 1 , 2 = 1 2 [ tr J ± tr 2 J 4 det J ] ,

where tr J = μ 1 a 2 and det J = a 2 .

For 0 < α < 2 consider the parabola tr 2 J 4 det J = 0 and introduce the marginal value α 0 = 2 π | arg ( λ i ) | , i = 1 , 2 . When α < α 0 the system has oscillatory, but stable modes; when α > α 0 unstable and more complicated dynamics arise [38]. □

The value of α is thus an additional bifurcation parameter, which switches the stable and unstable states of the system and changes the form of the limit cycle. When α = 1 , the system has a unique limit cycle when μ > a 2 + 1 and it has a stable limit cycle for ( a 1 ) 2 < μ < a 2 + 1 [38].

Since system (14) does not have a general solution in closed form, numerical methods must be used to approximate its solutions; a major requirement is that the numerical schemes preserve the dynamics of the system.

To discretize the fractional-order nonlinear system (14), we propose and discuss some NSFD schemes applied in combination with the truncation of the GL operator as stated in (11).

In the following, we will denote with x n and y n the approximations for x ( t n ) and y ( t n ) . Furthermore, for brevity, we will put
x ˜ n 1 = { w n ( α 1 ) x 0 , n = 1 , w n ( α 1 ) x 0 j = 2 n w j ( α ) x n j , n 2
and similarly
y ˜ n 1 = { w n ( α 1 ) y 0 , n = 1 , w n ( α 1 ) y 0 j = 2 n w j ( α ) y n j , n 2
and
X n = j = 1 n w j ( α ) x n j , Y n = j = 1 n w j ( α ) y n j .
NSFD scheme 1: As a first nonstandard scheme, we make the replacement of the nonlinear term in the right-hand side of (14) by means of
x ( t ) x ( t n 1 ) , x 2 ( t ) y ( t ) x ( t n ) x ( t n 1 ) y ( t n 1 ) .
The application of the truncated GL discretization (11) leads to
{ x n + j = 1 n w j ( α ) x n j w n ( α 1 ) x 0 = ϕ ( h ) [ a ( μ + 1 ) x n 1 + x n x n 1 y n 1 ] , y n + j = 1 n w j ( α ) y n j w n ( α 1 ) y 0 = ϕ ( h ) [ μ x n 1 x n x n 1 y n 1 ]
from which we can explicitly evaluate x n and y n as
{ x n = w n ( α 1 ) x 0 j = 1 n w j ( α ) x n j + ϕ ( h ) [ a ( μ + 1 ) x n 1 ] 1 ϕ ( h ) x n 1 y n 1 , y n = w n ( α 1 ) y 0 j = 1 n w j ( α ) y n j + ϕ ( h ) [ μ x n 1 x n x n 1 y n 1 ] .
Since w 1 ( α ) = α we obtain w n ( α 1 ) x 0 X n = x ˜ n 1 + α x n 1 and w n ( α 1 ) y 0 Y n = y ˜ n 1 + α y n 1 and hence the resulting NSFD scheme is
{ x n = x ˜ n 1 + x n 1 ( α ϕ ( h ) ( μ + 1 ) ) + a ϕ ( h ) 1 ϕ ( h ) x n 1 y n 1 , y n = y ˜ n 1 + y n 1 ( α ϕ ( h ) x n x n 1 ) + ϕ ( h ) μ x n 1 .

In our tests as the denominator function, we will use the function ϕ 1 ( h , μ + 1 ) = 1 e h α ( μ + 1 ) μ + 1 introduced in Section 3.

NSFD scheme 2: In our second nonstandard scheme, we use the replacement
x ( t ) x ( t n ) , x 2 ( t ) y ( t ) x ( t n ) x ( t n 1 ) y ( t n 1 ) .
By operating in a similar way as in the previous case, we can see that the resulting NSFD scheme can be expressed as
{ x n = x ˜ n 1 + α x n 1 + ϕ ( h ) a 1 + ϕ ( h ) ( μ + 1 ) ϕ ( h ) x n 1 y n 1 , y n = y ˜ n 1 + y n 1 [ α ϕ ( h ) x n x n 1 ] + ϕ ( h ) μ x n

and the denominator function ϕ 2 ( h , μ + 1 ) = ( 1 e h ( μ + 1 ) μ + 1 ) α will be used.

NSFD scheme 3: In our last nonstandard scheme, we choose
x ( t ) x ( t n 1 ) , x 2 ( t ) y ( t ) x ( t n 1 ) x ( t n 1 ) y ( t n 1 )
and the resulting scheme is
{ x n = x ˜ n 1 + α x n 1 + ϕ ( h ) x n 1 [ x n 1 y n 1 ( μ + 1 ) ] + ϕ ( h ) a , y n = y ˜ n 1 + y n 1 [ α ϕ ( h ) x n 1 2 ] + ϕ ( h ) μ x n 1 .

When ϕ ( h ) = h α , this is a fully explicit scheme and it is the counterpart for FDEs of the classical forward Euler method. Anyway in our experiments, we will use both the denominator functions ϕ 1 ( h , μ + 1 ) = 1 e h α ( μ + 1 ) μ + 1 and ϕ 2 ( h , μ + 1 ) = ( 1 e h ( μ + 1 ) μ + 1 ) α to compare the behavior and the corresponding schemes will be denoted respectively as NSFD 3a and NSFD 3b.

To study positivity of the numerical approximations let us assume x 0 0 , y 0 0 and a , μ > 0 . A straightforward analysis allows us to identify the conditions under which positive iterations x n and y n are obtained. We summarize these conditions as follows:

Scheme 1: ϕ ( h ) < α μ + 1 and ϕ ( h ) < 1 x n x n 1 .

Scheme 2: x n 1 y n 1 < μ + 1 and ϕ ( h ) < α x n x n 1 .

Scheme 3: x n 1 y n 1 > μ + 1 and ϕ ( h ) < α x n 1 y n 1 .

5 Numerical simulations

We present in this section some numerical simulations. To compare the results obtained with the NSFD schemes investigated in this paper, we use the reference solution provided by the Adams-Bashforth-Moulton (ABM) method implemented in [41], whose stability properties have been investigated in [42].

In the first simulation, we consider the case a = 1 , μ = 3 , α = 0.7 with the initial value ( x 0 , y 0 ) = ( 1.1 , 2.9 ) . Since λ 1 , 2 = ( 1 ± i 3 ) / 2 , the marginal value of Theorem 2 is α 0 = 2 | arg ( λ i ) | / π = 2 / 3 , and hence unstable modes are expected, as we show in Figure 1, where the reference solution evaluated by the ABM method is plotted in the time domain and in the phase plane.
Figure 1
Figure 1

Dynamics of the Brusselator model for ( a , μ ) = ( 1 , 3 ) , α = 0.7 > α 0 = 2 / 3 and ( x 0 , y 0 ) = ( 1.1 , 2.9 ) .

In Figure 2, we present the results obtained by the NSFD schemes with a step-size h = 0.05 on the integration interval [ 0 , 80 ] . As we can clearly see, all the NSFD schemes provide the expected unstable modes and the trajectories converge quite well towards the same limit cycle. Although all the methods seem to work in a satisfactory way, the results obtained but the NSFD scheme 2 better replicate the behavior of the reference solution of Figure 1.
Figure 2
Figure 2

Trajectories by NSFD schemes with h = 0.05 for ( a , μ ) = ( 1 , 3 ) , α = 0.7 and ( x 0 , y 0 ) = ( 1.1 , 2.9 ) .

In the second experiment, we consider a problem with a = 1 , μ = 2 and α = 0.8 . Since λ 1 , 2 = ± i and the threshold value of Theorem 2 is α 0 = 1 , a stable mode is expected as we can see from the plots in Figure 3 obtained again by the ABM method.
Figure 3
Figure 3

Dynamics of the Brusselator model for ( a , μ ) = ( 1 , 2 ) , α = 0.8 < α 0 = 1 and ( x 0 , y 0 ) = ( 0.9 , 2.1 ) .

Also in this case we observe, see Figure 4, that all the NSFD schemes show a stable mode in agreement with the theoretical findings and with the reference solution of Figure 3. In this case, the integration has been performed on the interval [ 0 , 40 ] .
Figure 4
Figure 4

Trajectories by NSFD schemes with h = 0.05 for ( a , μ ) = ( 1 , 2 ) , α = 0.8 and ( x 0 , y 0 ) = ( 0.9 , 2.1 ) .

In Table 1, we compare the results for the approximations of ( x ( t ) , y ( t ) ) obtained by the proposed schemes for a = 1 , μ = 2 , α = 0.8 , ( x 0 , y 0 ) = ( 0.9 , 2.1 ) on the interval [ 0 , 40 ] with an increasing number N of steps. The errors E ( N ) with respect to the reference solution are reported together with the estimation of the order of convergence (EOC) obtained as EOC = log 2 ( E ( N ) / E ( 2 N ) ) .
Table 1

Errors and EOC with some values of N at T = 40 for ( a , μ ) = ( 1 , 2 ) , α = 0.8 and ( x 0 , y 0 ) = ( 0.9 , 2.1 )

N

NSFD 1

NSFD 2

NSFD 3a

NSFD 3b

Error

EOC

Error

EOC

Error

EOC

Error

EOC

320

3.05(−4)

 

1.45(−4)

 

2.95(−4)

 

1.54(−4)

 

640

1.70(−4)

0.842

7.33(−5)

0.985

1.67(−4)

0.823

7.32(−5)

1.072

1,280

9.55(−5)

0.831

3.61(−5)

1.022

9.39(−5)

0.827

3.64(−5)

1.007

2,560

5.42(−5)

0.818

1.80(−5)

1.005

5.32(−5)

0.818

1.82(−5)

1.003

5,120

3.09(−5)

0.811

8.98(−6)

1.002

3.04(−5)

0.807

9.07(−6)

1.002

10,240

1.77(−5)

0.807

4.49(−6)

1.001

1.74(−5)

0.803

4.53(−6)

1.001

As expected from the discussion in Section 3, a drop in the order of convergence is achieved by using the denominator function ϕ 1 whilst the function ϕ 2 allows to preserve order 1. Moreover, all the schemes allow to obtain quite accurate results.

6 Concluding remarks

In this paper, some NSFD schemes have been investigated for the numerical solution of the fractional-order Brusselator differential system. Some different denominator functions and nonlocal terms have been proposed and the results have been compared with a classical Adams-Bashforth-Moulton method for FDEs. From the numerical experiments, we observed that NSFD schemes allow to replicate quite well the behavior of the true solution, and hence they are a useful tool for detecting the main stability properties for the problem under investigation and for similar problems.

Declarations

Acknowledgements

M.Y. Ongun and D. Arslan would like to acknowledge the partly financial support received from the Scientific Research Project Commission, SDU, Turkey, Project No: 2695-YL-11. The work of R. Garrappa has been carried out under the PRIN-MIUR project 2009F4NZJP.

Authors’ Affiliations

(1)
Suleyman Demirel University, Isparta, Turkey
(2)
Department of Mathematics, University of Bari, Bari, Italy

References

  1. Kempfle S, Schäfer I, Beyer H: Fractional calculus via functional calculus: theory and applications. Nonlinear Dyn. 2002, 29(1–4):99–127.View ArticleGoogle Scholar
  2. Oldham KB, Spanier J: The Fractional Calculus. Academic Press, New York; 1974.Google Scholar
  3. Samko SG, Kilbas AA, Marichev OI: Fractional Integrals and Derivatives. Gordon & Breach, Yverdon; 1993. (Theory and applications, edited and with a foreword by S. M. Nikol’skiĭ, translated from the 1987 Russian original, revised by the authors)Google Scholar
  4. Miller KS, Ross B A Wiley-Interscience Publication. In An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York; 1993.Google Scholar
  5. Podlubny I Mathematics in Science and Engineering 198. In Fractional Differential Equations. Academic Press, San Diego; 1999.Google Scholar
  6. Diethelm K Lecture Notes in Mathematics 2004. In The Analysis of Fractional Differential Equations. Springer, Berlin; 2010.View ArticleGoogle Scholar
  7. Mainardi F: Fractional Calculus and Waves in Linear Viscoelasticity. Imperial College Press, London; 2010.View ArticleGoogle Scholar
  8. Baleanu D, Diethelm K, Scalas E, Trujillo JJ Series on Complexity, Nonlinearity and Chaos 3. In Fractional Calculus. World Scientific, Hackensack; 2012.Google Scholar
  9. Butzer PL, Westphal U: An introduction to fractional calculus. In Applications of Fractional Calculus in Physics. Edited by: Hilfer R. World Scientific, Singapore; 2000:1–85.View ArticleGoogle Scholar
  10. Caponetto R, Dongola G, Fortuna L, Petráš I Series on Nonlinear Science, Series A 72. In Fractional Order Systems: Modeling and Control Applications. World Scientific, Singapore; 2010.Google Scholar
  11. Kilbas AA, Srivastava HM, Trujillo JJ North-Holland Mathematics Studies 204. In Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.Google Scholar
  12. Magin R: Fractional Calculus in Bioengineering. Begell House Publishers, Redding; 2006.Google Scholar
  13. Sabatier J, Agrawal O, Machado JT: Advances in Fractional Calculus: Theor. Developments and Appl. in Physics and Engineering. Springer, Berlin; 2007.View ArticleGoogle Scholar
  14. Diethelm K, Ford NJ, Freed AD: A predictor-corrector approach for the numerical solution of fractional differential equations. Nonlinear Dyn. 2002, 29(1–4):3–22.MathSciNetView ArticleGoogle Scholar
  15. Diethelm K, Ford N, Freed A, Luchko Y: Algorithms for the fractional calculus: a selection of numerical methods. Comput. Methods Appl. Mech. Eng. 2005, 194(6):743–773.MathSciNetView ArticleGoogle Scholar
  16. Garrappa R, Popolizio M: On the use of matrix functions for fractional partial differential equations. Math. Comput. Simul. 2011, 81(5):1045–1056.MathSciNetView ArticleGoogle Scholar
  17. Garrappa R, Popolizio M: On accurate product integration rules for linear fractional differential equations. J. Comput. Appl. Math. 2011, 235(5):1085–1097.MathSciNetView ArticleGoogle Scholar
  18. Lubich C: Discretized fractional calculus. SIAM J. Math. Anal. 1986, 17(3):704–719.MathSciNetView ArticleGoogle Scholar
  19. Moret I, Novati P: On the convergence of Krylov subspace methods for matrix Mittag-Leffler functions. SIAM J. Numer. Anal. 2011, 49(5):2144–2164.MathSciNetView ArticleGoogle Scholar
  20. Mickens RE, Smith A: Finite-difference models of ordinary differential equations: influence of denominator functions. J. Franklin Inst. 1990, 327: 143–149.MathSciNetView ArticleGoogle Scholar
  21. Mickens RE: Nonstandard Finite Difference Models of Differential Equations. World Scientific, River Edge; 1994.Google Scholar
  22. Baleanu D, Mohammadi H, Rezapour S: Positive solutions of an initial value problem for nonlinear fractional differential equations. Abstr. Appl. Anal. 2012., 2012: Article ID 837437Google Scholar
  23. Delavari H, Baleanu D, Sadati J: Stability analysis of Caputo fractional-order nonlinear systems revisited. Nonlinear Dyn. 2012, 67(4):2433–2439.MathSciNetView ArticleGoogle Scholar
  24. Deng W, Li C, Lü J: Stability analysis of linear fractional differential system with multiple time delays. Nonlinear Dyn. 2007, 48(4):409–416.View ArticleGoogle Scholar
  25. Jarad F, Abdeljawad T, Baleanu D: Stability of q -fractional non-autonomous systems. Nonlinear Anal., Real World Appl. 2013, 14: 780–784.MathSciNetView ArticleGoogle Scholar
  26. Garrappa R: On some explicit Adams multistep methods for fractional differential equations. J. Comput. Appl. Math. 2009, 229(2):392–399.MathSciNetView ArticleGoogle Scholar
  27. Chen M, Clemence DP: Analysis of and numerical schemes for a mouse population model in hantavirus epidemics. J. Differ. Equ. Appl. 2006, 12(9):887–899.MathSciNetView ArticleGoogle Scholar
  28. Mickens RE: A nonstandard finite-difference scheme for the Lotka-Volterra system. Appl. Numer. Math. 2003, 45(2–3):309–314.MathSciNetView ArticleGoogle Scholar
  29. Mickens RE: Calculation of denominator functions for nonstandard finite difference schemes for differential equations satisfying a positivity condition. Numer. Methods Partial Differ. Equ. 2007, 23(3):672–691.MathSciNetView ArticleGoogle Scholar
  30. Roeger LIW: Nonstandard finite-difference schemes for the Lotka-Volterra systems: generalization of Mickens’s method. J. Differ. Equ. Appl. 2006, 12(9):937–948.MathSciNetView ArticleGoogle Scholar
  31. Roeger LIW: Dynamically consistent discrete Lotka-Volterra competition models derived from nonstandard finite-difference schemes. Discrete Contin. Dyn. Syst., Ser. B 2008, 9(2):415–429.MathSciNetView ArticleGoogle Scholar
  32. Moaddy K, Momani S, Hashim I: The non-standard finite difference scheme for linear fractional PDEs in fluid mechanics. Comput. Math. Appl. 2011, 61(4):1209–1216.MathSciNetView ArticleGoogle Scholar
  33. Momani S, Rqayiq AA, Baleanu D: A nonstandard finite difference scheme for two-sided space-fractional partial differential equations. Int. J. Bifurc. Chaos 2012., 22(4): Article ID 1250079Google Scholar
  34. Radwan AG, Moaddy K, Momani S: Stability and non-standard finite difference method of the generalized Chua’s circuit. Comput. Math. Appl. 2011, 62(3):961–970.MathSciNetView ArticleGoogle Scholar
  35. Galeone L, Garrappa R: On multistep methods for differential equations of fractional order. Mediterr. J. Math. 2006, 3(3–4):565–580.MathSciNetView ArticleGoogle Scholar
  36. Wang Y, Li C: Does the fractional Brusselator with efficient dimension less than 1 have a limit cycle? Phys. Lett. A 2007, 363(5–6):414–419.View ArticleGoogle Scholar
  37. Zhou T, Li C: Synchronization in fractional-order differential systems. Physica D 2005, 212(1–2):111–125.MathSciNetView ArticleGoogle Scholar
  38. Gafiychuk VV, Datsko B: Stability analysis and limit cycle in fractional system with Brusselator nonlinearities. Phys. Lett. A 2008, 372(29):4902–4904.View ArticleGoogle Scholar
  39. El-Sayed AMA, El-Mesiry AEM, El-Saka HAA: On the fractional-order logistic equation. Appl. Math. Lett. 2007, 20(7):817–823.MathSciNetView ArticleGoogle Scholar
  40. Matignon D: Stability results for fractional differential equations with applications to control processing. 2. In Computational Engineering in Systems Applications. IMACS, IEEE-SMC, Lille; 1996:963–968.Google Scholar
  41. Garrappa, R: Predictor-corrector PECE method for fractional differential equations. MATLAB Central File Exchange [File ID: 32918] (2011)Google Scholar
  42. Garrappa R: On linear stability of predictor-corrector algorithms for fractional differential equations. Int. J. Comput. Math. 2010, 87(10):2281–2290.MathSciNetView ArticleGoogle Scholar

Copyright

© Ongun et al.; licensee Springer 2013

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Advertisement