Abstract and Applied Analysis

Volume 2012 (2012), Article ID 548292, 11 pages

doi:10.1155/2012/548292

Research Article

A Characteristic Difference Scheme for Time-Fractional Heat Equations Based on the Crank-Nicholson Difference Schemes

Ibrahim Karatay and Serife R. Bayramoglu

Department of Mathematics, Fatih University, Buyukcekmece, 34500 Istanbul, Turkey

Received 25 April 2012; Revised 27 August 2012; Accepted 27 August 2012

Academic Editor: Dumitru Bǎleanu

Copyright © 2012 Ibrahim Karatay and Serife R. Bayramoglu. 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.

Abstract.

We consider the numerical solution of a time-fractional heat equation, which is obtained from the standard diffusion equation by replacing the first-order time derivative with Riemann-Liouville fractional derivative of order α, where . The main purpose of this work is to extend the idea on Crank-Nicholson method to the time-fractional heat equations. We prove that the proposed method is unconditionally stable, and the numerical solution converges to the exact one with the order . Numerical experiments are carried out to support the theoretical claims.

1. Introduction

Fractional calculus is one of the most popular subjects in many scientific areas for decades. Many problems in applied science, physics and engineering are modeled mathematically by the fractional partial differential equations (FPDEs). We can see these models adoption in viscoelasticity [1, 2], finance [3, 4], hydrology [5, 6], engineering [7, 8], and control systems [9–11]. FPDEs may be investigated into two fundamental types: time-fractional differential equations and space-fractional differential equations.

Several different methods have been used for solving FPDEs. For the analytical solutions to problems, some methods have been proposed: the variational iteration method [12, 13], the Adomian decomposition method [13–16], as well as the Laplace transform and Fourier transform methods [17, 18].

On the other hand, numerical methods which based on a finite-difference approximation to the fractional derivative, for solving FDPEs [19–24], have been proposed. A practical numerical method for solving multidimensional fractional partial differential equations, using a variation on the classical alternating-directions implicit (ADI) Euler method, is presented in [25]. Many finite-difference approximations for the FPDEs are only first-order accurate. Some second-order accurate numerical approximations for the space-fractional differential equations were presented in [26–28]. Here, we propose a Crank-Nicholson-type method for time-fractional differential heat equations with the accuracy of order .

In this work, we consider the following time-fractional heat equation:

Here, the term denotes -order-modified Riemann-Liouville fractional derivative [29] given with the formula:

where is the Gamma function.

Remark 1.1. If , then the Riemann-Liouville and the modified Riemann-Liouville fractional derivatives are identical, since the Riemann-Liouville derivative is given by the following formula:

If is nonzero, then there are some problems about the existence of the solutions for the heat equation (1.1). To rectify the situation, two main approaches can be used: the modified Riemann-Liouville fractional derivative can be used [29] or the initial condition should be modified [30]. We chose the first approach in our work.

2. Discretization of the Problem

In this section, we introduce the basic ideas for the numerical solution of the time-fractional heat equation (1.1) by Crank-Nicholson difference scheme.

For some positive integers and , the grid sizes in space and time for the finite-difference algorithm are defined by and , respectively. The grid points in the space interval are the numbers , , and the grid points in the time interval are labeled , . The values of the functions and at the grid points are denoted and , respectively.

As in the classical Crank-Nicholson difference scheme, we will obtain a discrete approximation to the fractional derivative at . Let

Then, we have

Now, we will find the approximations for and :

where

Similarly, we can obtain

where and

Then, we can write the following approximation:

where

On the other hand, using the mean-value theorem, we get

where and . So, we obtain the following second-order approximation for the modified Riemann-Liouville derivative:

3. Crank-Nicholson Difference Scheme

Using the approximation above, we obtain the following difference scheme which is accurate of order :

We can arrange the system above to obtain

The difference scheme above can be written in matrix form:

where , , , , , and .

Here, and are the matrices of the form

We note that the unspecified entries are zero at the matrices above.

Using the idea on the modified Gauss-Elimination method, we can convert (3.3) into the following form:

This way, the two-step form of difference schemes in (3.3) is transformed to one-step method as in (3.5).

Now, we need to determine the matrices and satisfying the last equality. Since , we can select and . Combining the equalities and and the matrix equation (3.3), we have

Then, we write

where  .

So, we obtain the following pair of formulas:

where  .

4. Stability of the Method

The stability analysis is done by using the analysis of the eigenvalues of the iteration matrix () of the scheme (3.5).

Let   denote the spectral radius of a matrix , that is, the maximum of the absolute value of the eigenvalues of the matrix .

We will prove that , (), by induction.

Since is a zero matrix .

Moreover, , since is of the form

therefore, .

Now, assume . After some calculations, we find that

and we already know that and for :

Since , it follows that . So, for any , where .

Remark 4.1. The convergence of the method follows from the Lax equivalence theorem [31] because of the stability and consistency of the proposed scheme.

5. Numerical Analysis

Example 5.1. Consider

Exact solution of this problem is . The solution by the Crank-Nicholson scheme is given in Figure 1. The errors when solving this problem are listed in the Table 1 for various values of time and space nodes.

The errors in the table are calculated by the formula and the error rate formula is .

Table 1: Error table for Example 5.1.

Error
Rate
Error
Rate
Error
Rate

0.0018870311
—
0.0016846217
—
0.0009754809
—

0.0004703510
4.01
0.0004052354
4.16
0.0002461078
3.97

0.0001172029
4.01
0.0000969929
4.18
0.0000650942
3.78

0.0000291961
4.01
0.00002314510
4.19
0.0000198362
3.28

(a)

(b)

Figure 1: (a) The approximate solutions of Example 5.1 by the proposed method when ,  , and . (b) The errors for some values of and when and .

Example 5.2. Consider

Exact solution of this problem is . The solution by the Crank-Nicholson scheme is given in Figure 2. The errors when solving this problem are listed in Table 2 for various values of time and space nodes and several values of .

It can be concluded from the tables and the figures that when the step size is reduced by a factor of 1/2, the error decreases by about 1/4. The numerical results support the claim about the order of the convergence.

Table 2: The errors for some values of , , and .

Error
Rate
Error
Rate
Error
Rate

0.02321328680
—
0.02286737567
—
0.02173420667
—

0.00583004420
3.98
0.00577931685
3.96
0.00554721754
3.92

0.00146112785
3.99
0.00145293106
3.98
0.00140076083
3.96

0.00036572715
3.995
0.00036424786
3.99
0.00035252421
3.97

0.00009148685
3.998
0.00009122231
3.99
0.00008860379
3.98

(a)

(b)

Figure 2: (a) The approximate solutions of Example 5.2 by the proposed method when ,  , and . (b) The errors for some values of and when and .

6. Conclusion

In this work, the Crank-Nicholson difference scheme was successfully extended to solve the time-fractional heat equations. A second-order approximation for the Riemann-Liouville fractional derivative is obtained. It is proven that the time-fractional Crank-Nicholson difference scheme is unconditionally stable and convergent. Numerical results are in good agreement with the theoretical results.

References

X. Li, X. Han, and X. Wang, “Numerical modeling of viscoelastic flows using equal low-order finite elements,” Computer Methods in Applied Mechanics and Engineering, vol. 199, no. 9–12, pp. 570–581, 2010.

R. L. Bagley and P. J. Torvik, “Theoretical basis for the application of fractional calculus to viscoelasticity,” Journal of Rheology, vol. 27, no. 3, pp. 201–210, 1983.

M. Raberto, E. Scalas, and F. Mainardi, “Waiting-times and returns in high-frequency financial data: an empirical study,” Physica A, vol. 314, no. 1–4, pp. 749–755, 2002.

E. Scalas, R. Gorenflo, and F. Mainardi, “Fractional calculus and continuous-time finance,” Physica A, vol. 284, no. 1–4, pp. 376–384, 2000.

D. A. Benson, S. W. Wheatcraft, and M. M. Meerschaert, “Application of a fractional advection-dispersion equation,” Water Resources Research, vol. 36, no. 6, pp. 1403–1412, 2000.

L. Galue, S. L. Kalla, and B. N. Al-Saqabi, “Fractional extensions of the temperature field problems in oil strata,” Applied Mathematics and Computation, vol. 186, no. 1, pp. 35–44, 2007.

I. Podlubny, Fractional Differential Equations: An introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications, vol. 198 of Mathematics in Science and Engineering, Academic Press, San Diego, Calif, USA, 1999.

X. Li, M. Xu, and X. Jiang, “Homotopy perturbation method to time-fractional diffusion equation with a moving boundary condition,” Applied Mathematics and Computation, vol. 208, no. 2, pp. 434–439, 2009.

J. A. T. Machado, “Discrete-time fractional-order controllers,” Fractional Calculus & Applied Analysis, vol. 4, no. 1, pp. 47–66, 2001.

O. P. Agrawal, O. Defterli, and D. Baleanu, “Fractional optimal control problems with several state and control variables,” Journal of Vibration and Control, vol. 16, no. 13, pp. 1967–1976, 2010.

D. Baleanu, O. Defterli, and O. P. Agrawal, “A central difference numerical scheme for fractional optimal control problems,” Journal of Vibration and Control, vol. 15, no. 4, pp. 583–597, 2009.

Z. M. Odibat and S. Momani, “Application of variational iteration method to nonlinear differential equations of fractional order,” International Journal of Nonlinear Sciences and Numerical Simulation, vol. 7, no. 1, pp. 27–34, 2006.

Z. Odibat and S. Momani, “Numerical methods for nonlinear partial differential equations of fractional order,” Applied Mathematical Modelling, vol. 32, no. 1, pp. 28–39, 2008.

S. Momani and Z. Odibat, “Analytical solution of a time-fractional Navier-Stokes equation by Adomian decomposition method,” Applied Mathematics and Computation, vol. 177, no. 2, pp. 488–494, 2006.

Z. M. Odibat and S. Momani, “Approximate solutions for boundary value problems of time-fractional wave equation,” Applied Mathematics and Computation, vol. 181, no. 1, pp. 767–774, 2006.

S. S. Ray and R. K. Bera, “Analytical solution of a fractional diffusion equation by Adomian decomposition method,” Applied Mathematics and Computation, vol. 174, no. 1, pp. 329–336, 2006.

I. Podlubny, The Laplace Transform Method for Linear Differential Equations of Fractional Order, Slovac Academy of Science, Bratislava, Slovakia, 1994.

B. Baeumer, D. A. Benson, and M. M. Meerschaert, “Advection and dispersion in time and space,” Physica A, vol. 350, no. 2–4, pp. 245–262, 2005.

Z. Q. Deng, V. P. Singh, and L. Bengtsson, “Numerical solution of fractional advection-dispersion equation,” Journal of Hydraulic Engineering, vol. 130, no. 5, pp. 422–431, 2004.

V. E. Lynch, B. A. Carreras, D. del-Castillo-Negrete, K. M. Ferreira-Mejias, and H. R. Hicks, “Numerical methods for the solution of partial differential equations of fractional order,” Journal of Computational Physics, vol. 192, no. 2, pp. 406–421, 2003.

M. M. Meerschaert and C. Tadjeran, “Finite difference approximations for two-sided space-fractional partial differential equations,” Applied Numerical Mathematics, vol. 56, no. 1, pp. 80–90, 2006.

M. M. Meerschaert and C. Tadjeran, “Finite difference approximations for fractional advection-dispersion flow equations,” Journal of Computational and Applied Mathematics, vol. 172, no. 1, pp. 65–77, 2004.

I. Karatay, S. R. Bayramoğlu, and A. Şahin, “Implicit difference approximation for the time fractional heat equation with the nonlocal condition,” Applied Numerical Mathematics, vol. 61, no. 12, pp. 1281–1288, 2011.

D. Baleanu, K. Diethelm, E. Scalas, and J. J. Trujillo, Fractional Calculus: Models and Numerical Methods, vol. 3 of Series on Complexity, Nonlinearity and Chaos, World Scientific Publishing, Hackensack, NJ, USA, 2012.

M. M. Meerschaert, H.-P. Scheffler, and C. Tadjeran, “Finite difference methods for two-dimensional fractional dispersion equation,” Journal of Computational Physics, vol. 211, no. 1, pp. 249–261, 2006.

C. Tadjeran, M. M. Meerschaert, and H.-P. Scheffler, “A second-order accurate numerical approximation for the fractional diffusion equation,” Journal of Computational Physics, vol. 213, no. 1, pp. 205–213, 2006.

L. Su, W. Wang, and Z. Yang, “Finite difference approximations for the fractional advection-diffusion equation,” Physics Letters A, vol. 373, no. 48, pp. 4405–4408, 2009.

A. M. Abu-Saman and A. M. Assaf, “Stability and convergence of Crank-Nicholson method for fractional advection dispersion equation,” Advances in Applied Mathematical Analysis, vol. 2, no. 2, pp. 117–125, 2007.

G. Jumarie, “Modified Riemann-Liouville derivative and fractional Taylor series of nondifferentiable functions further results,” Computers & Mathematics with Applications, vol. 51, no. 9-10, pp. 1367–1376, 2006.

S. Zhang, “Monotone iterative method for initial value problem involving Riemann-Liouville fractional derivatives,” Nonlinear Analysis: Theory, Methods & Applications, vol. 71, no. 5-6, pp. 2087–2093, 2009.

R. D. Richtmyer and K. W. Morton, Difference Methods for Initial-Value Problems, Interscience Publishers, New York, NY, USA, 1967.