Abstract and Applied Analysis

Volume 2014 (2014), Article ID 757204, 10 pages

http://dx.doi.org/10.1155/2014/757204

Research Article

Two Hybrid Methods for Solving Two-Dimensional Linear Time-Fractional Partial Differential Equations

B. A. Jacobs and C. Harley

Centre for Differential Equations, Continuum Mechanics and Applications, School of Computational and Applied Mathematics, University of the Witwatersrand (Wits), Private Bag 3, Johannesburg 2050, South Africa

Received 22 January 2014; Revised 11 March 2014; Accepted 12 March 2014; Published 8 April 2014

Academic Editor: Ali H. Bhrawy

Copyright © 2014 B. A. Jacobs and C. Harley. 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.

A computationally efficient hybridization of the Laplace transform with two spatial discretization techniques is investigated for numerical solutions of time-fractional linear partial differential equations in two space variables. The Chebyshev collocation method is compared with the standard finite difference spatial discretization and the absolute error is obtained for several test problems. Accurate numerical solutions are achieved in the Chebyshev collocation method subject to both Dirichlet and Neumann boundary conditions. The solution obtained by these hybrid methods allows for the evaluation at any point in time without the need for time-marching to a particular point in time.

1. Introduction

In recent years, fractional derivatives and fractional partial differential equations (FPDEs) have received great attention both in analysis and application (see [1–3] and references therein). In spite of this, there has been very little work done on solving FPDEs on a bounded domain. Agrawal [4] makes use of the Laplace transform and the finite sine transform to obtain an analytic solution to the fractional diffusion-wave equation on a bounded domain. Many authors have applied He’s variational iterative method (VIM) [5] to FPDEs with great success. However, like the differential transform method [6] (DTM) and Adomian decomposition method [7] (ADM), VIM assumes the FPDE to lie on an infinite domain.

A great deal of work on hybrid techniques has been presented where the Laplace transform is coupled with Legendre wavelets, ADM, VIM [8–12]. Yin et al. [13] also couple the VIM with Legendre wavelets for the solution of nonlinear PDEs. Song et al. [14] compare the results obtained by the fractional VIM and ADM concluding that the methodologies are similar; however, the VIM does not require the calculation of Adomian polynomials. Atangana and Kılıçman [15] couple the Homotopy perturbation method (HPM) with the Sumudu transform, an integral transform similar to the Laplace transform, to obtain solutions to certain nonlinear heat-like FPDEs. Bhrawy et al. have contributed a considerable effort to the field, focusing on solutions to fractional differential equations via the shifted Legendre tau method and spectral methods for FPDEs [16–20]. Recently, there has been a large movement toward new techniques for solving FPDEs (see [21–28]). To the best of the authors’ knowledge, these transform techniques are unable to enforce Dirichlet or Neumann boundary conditions on a bounded domain, and as such we investigate a new methodology to attempt to circumvent this.

The application of diffusion equations to images is abundant [29–34]. However, the application of a time-fractional partial differential equation has not yet been thoroughly examined. Preserving the spatial topography of an image is imperative to maintaining what is deemed to be useful information in that image. It is with this application in mind that we focus on the diffusion equation in two dimensions, where the introduction of an advection term into the model would propagate information. Similarly, considering the time-fractional diffusion equation with , we obtain the diffusion-wave equation, which again has propagational properties. We therefore restrict our choice of to be on . The introduction of a fractional order derivative raises the question of how to discretize or transform the derivative to produce a form that is amenable to existing techniques.

The Grünwald-Letnikov discretization has been used for numerical schemes for fractional partial differential equations [35–37] and is given by

where

and . Computationally, this discretization becomes extremely expensive for long time simulations as each subsequent step in time is dependant on every time step that has preceded it.

The use of Laplace transform allows one to circumvent the problems that arise in the time-domain discretization. However, using the Laplace transform for the fractional order derivative presents the problem of inverting the transform to find a solution. Analytic inversion of the transform is infeasible and hence the numerical scheme for evaluating the Bromwich integral presented by Weideman and Trefethen in [38] is put to extensive use. The Bromwich integral is of the form

where is the convergence abscissa. Using the parabolic conformal map

equation (3) becomes

which can then be approximated simply by the trapezoidal rule, or any other quadrature technique, as

On the parabolic contour the exponential factor in (3) forces a rapid decay in the integrand making it amenable to quadrature. All that is left is to choose the parameters and optimally which is done by asymptotically balancing the truncation error and discretization errors in each of the half-planes. The methodology described by Weideman and Trefethen achieves near optimal results (see [38] and figures therein) and the interested reader is directed there for a thorough description of the implementation of the method. In this work, we make use of the parabolic contour due to the ease of use and the hyperbolic contour only exhibits a slight improvement in performance over the parabolic contour.

We present here an extension to the work conducted by Jacobs and Harley in [39]. This paper extends the aforementioned work to the general form of a time-fractional parabolic partial differential equation as well as including two types of boundary conditions, Dirichlet and Neumann.

The following section introduces some preliminary definitions followed by a description of the methods employed, including the different cases for boundary conditions in Section 3. Section 5 presents the results for comparison based on three fundamentally different examples of linear FPDEs. A discussion of the results and their relationship to work beyond this research is presented in Section 6 as well as some concluding remarks.

2. Preliminaries

In this work we employ Caputo’s definition of a fractional derivative over the Riemann-Louiville derivative due to the fact that the Caputo derivative makes use of the physical boundary conditions, whereas the Riemann-Louiville derivative requires fractional order boundary conditions.

Definition 1. The Riemann-Louiville integral of order of a function is

Definition 2. The fractional derivative of according to the Caputo definition with , , is

If , the Caputo fractional derivative reduces to the ordinary first order derivative. Podlubny [2] illustrates the pleasing property of the Laplace Transform of a Caputo derivative, as can be seen in (9). In our case, where , we have

This property allows one to treat fractional order derivatives algebraically.

Definition 3. The generalized Mittag-Leffler function of the argument is

3. Methods: Semidiscrete Hybrid Transform Method

This section introduces the methodologies used for a two-dimensional FPDE, where the one-dimensional case is a simple reduction of the methods presented here.

Consider the time-fractional differential equation of the form

with

where is a linear function of its arguments, to satisfy the domain required by the Chebyshev polynomials, and is a functional representation of our image data or a multivariable function. The boundary conditions may be taken to be Dirichlet or Neumann and will be discussed later. We may now apply a Laplace transform to (11) to obtain

where

Boundary conditions may be in the form of Dirichlet conditions as follows:

and hence,

Alternatively, Neumann boundary conditions give

with

The parameters , , , and are potentially the functions of the temporal variable and one of the spatial variables; that is, . Without loss of generality, we however assume that , , , and are constant.

The spatial components of this model are discretized in two ways: by Chebyshev collocation and by finite differences.

3.1. Chebyshev Collocation

Chebyshev polynomials form a basis on and hence we dictate the domain of our PDE to be . We note here, however, that any domain in can be trivially deformed to match . We discretize our spatial domain using Chebyshev-Gauss-Lobatto points:

Note here that , , , and indicating that the domain is in essence reversed and one must use caution when imposing the boundary conditions.

Given that our input function or image has been mapped to , we may assume that ; that is, we have equal number of collocation points in each spatial direction. We now define a differentiation matrix :

Bayliss et al. [40] describe a method for minimizing the round-off errors incurred in the calculations of the differentiation matrix. Since we write , we implement the method, described in [40], in order to minimize propagation of round-off errors for the second derivative in space.

The derivative matrices in the direction are

where is the Chebyshev differentiation matrix of size .

Because we have assumed , we derive the pleasing property that and .

Writing the discretization of (14) in matrix form yields

where

By expanding (24) in summation notation, we have

for , . By extracting the first and last terms in sums, we obtain

for , . We use the form of (27) to impose the boundary conditions.

The solution , , which is the matrix of unknown interior points of , can be obtained by solving the system

where is the matrix of interior points of and is the matrix of interior points of , so that and match the dimensions of . Also

for , . By using Kronecker tensor products, denoted by , and a lexicographic reordering, or reshaping, of and we may write this as

which is a linear system that is readily solved by   LinearSolve  in  Mathematica 9.

3.1.1. Dirichlet Boundary Conditions

Dirichlet boundary conditions can be imposed directly by substituting (16) into (27) and collecting all the known terms in .

3.1.2. Neumann Boundary Conditions

Neumann boundary conditions given by (17) are discretized as

Similarly for (18), we have

By extracting the first and last terms in the sum, the discretizations can be written as

The solutions to these linear systems are then substituted into (27).

3.2. Finite Difference Discretization

Below we make use of the following finite difference formulae:

where and .

3.2.1. Dirichlet Boundary Conditions

Discretizing (14) using a standard central-difference scheme and writing in matrix notation, we deduce

where  and are tridiagonal matrices corresponding to the finite difference differential matrix with dimension and

We write this as a linear system to be solved, again using  LinearSolve in Mathematica 9, as follows:

The boundary conditions, (16), can be enforced directly onto the matrix , where the interior points of are .

3.2.2. Neumann Boundary Conditions

By discretizing the boundary conditions (17) and (18) using a standard central-difference scheme we derive

Including the above conditions in the matrices and each with dimension we can write the entire system as

where

This may be solved as a linear system by writing

4. Analysis

4.1. Solvability

We have reduced all four cases to a system of linear systems, presented in (30), (37), and (41). As mentioned in the previous sections, we implemented the Mathematica solver LinearSolve, which analyzes the matrix structure and adaptively selects the most appropriate method of solution. We have compared a number of standard solution methods, such as SOR, without finding an algorithm that is faster than LinearSolve. A system has a unique solution, , provided the matrix has an inverse that exists. In the following analysis we denote the length in one dimension of the respective matrix by , since this length is scheme dependent.

Proposition 4. If is an irreducible diagonally dominant matrix for which for at least one , then is invertible [41].

The proof of the above proposition may be found in [41]. All that is left is to show that our matrix is always irreducible and satisfies Proposition 4 for some . A useful characterization of an irreducible matrix is as follows: given a system , the matrix is irreducible if a change in any component of will cause a change in the solution .

Proof. Let and consider ; then, . Assuming then , a contradiction. So and any change in will result in a change in . Hence is irreducible.

4.1.1. Finite Difference Scheme

The structure of the matrix on the right-hand side of (37) and (41) reduces our diagonal dominance criterion

to

In approximating the Bromwich integral by the trapezoidal rule, we truncate the limits of integration from to . The contour path of the integral is defined to be a parabola, denoted as above, in the complex plane with a minimum proportional to the truncation parameter and inversely proportional to the final time we are integrating to, . This means that provided the ratio is sufficiently large the parabola will traverse the complex space avoiding the lower bound required by the condition (43). Hence, the finite difference scheme is solvable provided one chooses parameters for the evaluation of the Bromwich integral that satisfy the above condition. An example of the above condition is illustrated in Figure 1 where the quarter-circle of radius 2 represents the lower bound required by the above condition.

Figure 1: Integration contour in the real-imaginary plane nonintersecting with the lower bound for .

4.1.2. Chebyshev Collocation

In the case of Chebyshev collocation the solvability criterion is a little more difficult to satisfy, and hence we are only able to derive a necessary criterion that our choice of inversion parameters must satisfy. Once again the structure of (30) dictates that the condition

reduces to

The above condition is easy to verify in practice; however, due to the dependence of the derivative matrix on the resolution parameters and , it is difficult to write a general condition in closed form. Appropriate choices of parameters in the inversion resolution ensure that the scheme is solvable as described in the previous section. Given that the derivative matrix for Chebyshev collocation is full, the right-hand side of the solvability condition (45) produces a lower bound with a much larger magnitude than in the finite difference case; moreover, the lower bound grows with . Examples of contours are given for in Figure 2 and for in Figure 3 illustrating the adherence of a well-constructed contour to the solvability condition (45).

Figure 2: Integration contour in the real-imaginary plane nonintersecting with the lower bound for and .

Figure 3: Integration contour in the real-imaginary plane nonintersecting with the lower bound for and .

4.2. Accuracy

4.2.1. Finite Difference Scheme

Theoretically, the accuracy of the method is well known to be [41]. The errors obtained in Section 5 concur with theoretical bounds.

4.2.2. Chebyshev Collocation

The work of Breuer and Everson [42] and Don and Solomonoff [43] both present arguments on the accuracy of Chebyshev collocation. In practice, the accuracy of the method is measured by numerically differentiating a function and comparing the numerical derivative with the analytic result. The results obtained in the current work are consistent with the results presented in [42, 43] obtaining very good errors for small values of and . The errors in Chebyshev collocation tend to increase rather drastically for very large values of contradicting the typical rule of thumb. The aforementioned work explains that while the truncation error decreases as resolution increases, the round-off errors accumulate dramatically and dominate.

5. Results

Example 5 (one-dimensional time-fractional diffusion equation with homogenous Neumann boundary conditions). We consider first the time-fractional diffusion equation in one dimension:

subject to the boundary conditions

and initial condition

The results obtained by finite differences and Chebyshev collocation were compared to the exact solution given by Kazemi and Erjaee [44] as

where is the generalized Mittag-Leffler function of the argument . We select in line with [44]; however, experimental results indicate that the methods are robust for virtually any value of . We note here that the domain was originally and hence a linear transformation in the spatial variables is required to map the domain to , which is in accordance with the domain of the Chebyshev polynomials. The errors in the finite difference and Chebyshev schemes are tabulated in Table 1.

Figures 4 and 5 illustrate the diminishing error incurred in the process of inverting the Laplace transform. Inversion of the Laplace transform, even in the analytic case, can lead to a singularity at . This arises in the numerical inversion and results in a relatively large error in the present schemes near . However, this error diminishes rapidly and our schemes obtain an accurate solution.

Table 1: Maximum absolute error in the presented method's solution of the problem described by Example 5 at time .

Error in finite difference
Error in Chebyshev collocation

5
0.009927020087821425
0.0009403962041890646

10
0.002471078174960284

15
0.0010985435173019864

20
0.0006179865325516287

Figure 4: Log plot illustrating the diminishing average error in the Chebyshev collocation scheme with time for Example 5.

Figure 5: Log plot illustrating the diminishing average error in the finite difference scheme with time for Example 5.

Example 6 (diffusion-advection equation with Dirichlet boundary conditions). This example considers the time-fractional diffusion-advection equation in one dimension:

subject to

To the authors’ knowledge, no exact solution exists for the time-fractional diffusion-advection equation. Comparing the present methods with NDSolve in Mathematica 9 yields satisfactory results for , but no solution can be found for fractional . We instead compare our solutions in the Laplace domain, where we obtain an exact solution to the transformed equation using DSolve in Mathematica 9. This allows one to compare the performance of the present methods for various values for . The errors obtained, for , are presented in Table 2. Given that these errors are valid in the transform domain we note that the numerical error of is incurred upon inversion of the Laplace transform, as presented by Weideman and Trefethen in [38] and where is typically 50.

Table 2: Maximum absolute error in the presented method's solution of the problem described by Example 6 in the Laplace domain at .

Error in finite difference
Error in Chebyshev collocation

5
0.0002846591036554467
0.000031320115677323235

10
0.0003424383347704913

15
0.00028950142395197005

20
0.0002476113730374256

Example 7 (two-dimensional time-fractional diffusion equation with homogenous Dirichlet boundary conditions). We now consider the two-dimensional time-fractional diffusion equation

with boundary conditions

and initial condition

so that the boundary conditions are consistent with the initial condition. The parameter is taken to be 0.8. Momani [45] gives an exact solution as

where is the Mittag-Leffler function of order . The efficacy of these methods for fractional order derivatives is illustrated in Table 3.

Table 3: Maximum absolute error in the presented method's solution of the problem described by Example 7 at time .

Error in finite difference
Error in Chebyshev collocation

5
0.038120869340055985
0.0064580077147820825

10
0.009341572386976915

15
0.004521845750043552

20
0.002567981542938025

6. Concluding Remarks

The results above strongly advocate the use of Chebyshev collocation as a spatial discretization method given the rapid error reduction with increasing spatial resolution. These hybrid methods present a robust way in which one can solve linear time-fractional partial differential equations on a bounded domain with Neumann or Dirichlet boundary conditions, particularly given discrete initial data.

Chebyshev collocation presents extremely small errors when compared to the exact solution. We use numerical experiments as substantiation of the method for applying discrete initial conditions where an exact solution may not exist. Figure 6 illustrates the decreasing error with increasing number of collocation points for the examples presented in the previous section.

Figure 6: Log plot illustrating the increasing accuracy with increasing collocation points for all examples.

The efficiency of the Laplace transform within the context of this hybridized method over a time-marching scheme is threefold. First, we are able to treat the fractional order derivative algebraically. The error incurred in the temporal dimension is only attributed to the evaluation of the Bromwich integral and, furthermore, this error drops off rapidly with increased resolution as illustrated in [38]. Finally the solution obtained is a function of time so that we may evaluate our solution at any time rather than needing to march to that time. The Grünwald-Letnikov discretization presented in (1) is an example of a time-marching scheme. The computational time required for a long time solution via the Grünwald-Letnikov discretization is enormous, due to the fractionality being dependant on every time step that precedes the current time. Moreover, every time step incurs a truncation error, so that the further the solution marches the greater the error is; contrastingly, the present method’s error diminishes as time evolves. As a counter-point, if one were seeking a solution after a very short time, then a time-marching scheme may be better suited.

The method described and implemented above is a direct one and is therefore free of any iterative scheme. Hence the convergence of the scheme is difficult to speak of. Figure 6 illustrates how the approximate solution obtained converges to the exact solution with increasing number of collocation points for the present examples. However, due to the well-known phenomenon of the Chebyshev collocation method exhibiting large round-off errors for large number of collocation points, , due to finite-precision error accumulation [42, 43], the collocation hybrid scheme is not consistent with any given problem for or .

This research has presented a numerical experimental comparison between the standard finite difference method and the Chebyshev collocation method as a means of spatial discretization when hybridized with the Laplace transform. These methods enjoy the benefits of an exact transform in temporal variable and furthermore allow one to easily and efficiently deal with a fractional order derivative, at the cost of numerically inverting the Laplace transform.

The goal of these methods is to apply a fractional order diffusion equation to an image on a bounded two-dimensional domain. The use of a discretization is therefore unavoidable given that the initial condition may in fact be discrete.

The solution to the discretized equations is found by writing a two-dimensional system of size and as a one-dimensional system of size . While this is more computationally expensive, it does exhibit an elegance in construction. An alternative approach would be to implement an alternating-direction implicit (ADI) type scheme [46], where each dimension is acted on in turn rather than at once.

Due to the Laplace transform being a linear operator, this method is not suitable for nonlinear problems, nor is it applicable to FPDEs with both fractional spatial derivatives and fractional temporal derivatives.

We have shown a hybrid method combining the Laplace transform and a spatial discretization which can be extremely effective at solving linear FPDEs on a two-dimensional bounded domain with Dirichlet or Neumann boundary conditions.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgment

The authors would like to thank the referees for their comments that improved the quality of this paper.

References

G.-H. Gao, Z.-Z. Sun, and Y.-N. Zhang, “A finite difference scheme for fractional sub-diffusion equations on an unbounded domain using artificial boundary conditions,” Journal of Computational Physics, vol. 231, no. 7, pp. 2865–2879, 2012.

I. Podlubny, Fractional Differential Equations, vol. 198 of Mathematics in Science and Engineering, Academic Press, 1999.

K. B. Oldham and J. Spanier, The Fractional Calculus, Academic Press, 1974.

O. P. Agrawal, “Solution for a fractional diffusion-wave equation defined in a bounded domain,” Nonlinear Dynamics, vol. 29, no. 1–4, pp. 145–155, 2002.

J. He, “Variational iteration method for delay differential equations,” Communications in Nonlinear Science and Numerical Simulation, vol. 2, no. 4, pp. 235–236, 1997.

J. K. Zhou, Differential Transformation and Its Applications for Electrical CircuIts, Huazhong University Press, Wuhan, China, 1986.

G. Adomian, “A review of the decomposition method in applied mathematics,” Journal of Mathematical Analysis and Applications, vol. 135, no. 2, pp. 501–544, 1988.

F. Yin, J. Song, F. Lu, and H. Leng, “A coupled method of Laplace transform and Legendre wavelets for Lane-Emden-type differential equations,” Journal of Applied Mathematics, vol. 2012, Article ID 163821, 16 pages, 2012.

S. A. Khuri, “A Laplace decomposition algorithm applied to a class of nonlinear differential equations,” Journal of Applied Mathematics, vol. 1, no. 4, pp. 141–155, 2001.

G.-C. Wu and D. Baleanu, “Variational iteration method for fractional calculus—a universal approach by Laplace transform,” Advances in Difference Equations, vol. 2013, article 18, 2013.

Y. Khan, “An effective modification of the laplace decomposition method for nonlinear equations,” International Journal of Nonlinear Sciences and Numerical Simulation, vol. 10, no. 11-12, pp. 1373–1376, 2009.

M. Khan and M. A. Gondal, “A new analytical solution of foam drainage equation by laplace decomposition method,” Journal of Advanced Research in Differential Equations, vol. 2, no. 3, p. 53, 2010.

F. Yin, J. Song, X. Cao, and F. Lu, “Couple of the variational iteration method and Legendre wavelets for nonlinear partial differential equations,” Journal of Applied Mathematics, vol. 2013, Article ID 157956, 11 pages, 2013.

J. Song, F. Yin, X. Cao, and F. Lu, “Fractional variational iteration method versus Adomian's decomposition method in some fractional partial differential equations,” Journal of Applied Mathematics, vol. 2013, Article ID 392567, 10 pages, 2013.

A. Atangana and A. Kılıçman, “The use of sumudu transform for solving certain nonlinear fractional heat-like equations,” Abstract and Applied Analysis, vol. 2013, Article ID 737481, 12 pages, 2013.

A. H. Bhrawy, A. S. Alofi, and S. S. Ezz-Eldien, “A quadrature tau method for fractional differential equations with variable coefficients,” Applied Mathematics Letters, vol. 24, no. 12, pp. 2146–2152, 2011.

A. H. Bhrawy and M. A. Alghamdi, “A shifted jacobi-gauss-lobatto collocation method for solving nonlinear fractional langevin equation involving two fractional orders in different intervals,” Boundary Value Problems, vol. 2012, article 62, 2012.

A. H. Bhrawy and M. M. Al-Shomrani, “A shifted legendre spectral method for fractional-order multi-point boundary value problems,” Advances in Difference Equations, vol. 2012, article 19, 2012.

A. H. Bhrawy and D. Baleanu, “A spectral legendre-gauss-lobatto collocation method for a space-fractional advection diffusion equations with variable coefficients,” Reports on Mathematical Physics, vol. 72, no. 2, pp. 219–233, 2013.

A. H. Bhrawy and A. S. Alofi, “The operational matrix of fractional integration for shifted Chebyshev polynomials,” Applied Mathematics Letters, vol. 26, no. 1, pp. 25–31, 2013.

M. A. Akinlar and M. Kurulay, “A novel method for analytical solutions of fractional partial differential equations,” Mathematical Problems in Engineering, vol. 2013, Article ID 195708, 4 pages, 2013.

F. Yin, J. Song, Y. Wu, and L. Zhang, “Numerical solution of the fractional partial differential equations by the two-dimensional fractional-order Legendre functions,” Abstract and Applied Analysis, vol. 2013, Article ID 562140, 13 pages, 2013.

L. Yan, “Numerical solutions of fractional Fokker-Planck equations using iterative Laplace transform method,” Abstract and Applied Analysis, vol. 2013, Article ID 465160, 7 pages, 2013.

O. Abdulaziz, I. Hashim, and A. Saif, “Series solutions of time-fractional PDEs by homotopy analysis method,” Differential Equations and Nonlinear Mechanics, vol. 2008, Article ID 686512, 16 pages, 2008.

A. A. Hemeda, “Solution of fractional partial differential equations in uid mechanics by extension of some iterative method,” Abstract and Applied Analysis, vol. 2013, Article ID 717540, 9 pages, 2013.

Y. Pandir, Y. Gurefe, and E. Misirli, “The extended trial equation method for some time fractional differential equations,” Discrete Dynamics in Nature and Society, vol. 2013, Article ID 491359, 13 pages, 2013.

H. Bulut, H. M. Baskonus, and Y. Pandir, “The modified trial equation method for fractional wave equation and time fractional generalized Burgers equation,” Abstract and Applied Analysis, vol. 2013, Article ID 636802, 8 pages, 2013.

D. Baleanu, A. Bhrawy, and T. Taha, “Two efficient generalized laguerre spectral algorithms for fractional initial value problems,” Abstract and Applied Analysis, vol. 2013, Article ID 546502, 10 pages, 2013.

F. Catté, P.-L. Lions, J.-M. Morel, and T. Coll, “Image selective smoothing and edge detection by nonlinear diffusion,” SIAM Journal on Numerical Analysis, vol. 29, no. 1, pp. 182–193, 1992.

F.-C. Liu and Y. Ha, “Noise reduction based on reaction-diffusion system,” in Proceedings of the International Conference on Wavelet Analysis and Pattern Recognition (ICWAPR '07), pp. 831–834, November 2007.

G.-H. Cottet and L. Germain, “Image processing through reaction combined with nonlinear diffusion,” Mathematics of Computation, vol. 61, no. 204, pp. 659–673, 1993.

J. Kačur and K. Mikula, “Solution of nonlinear diffusion appearing in image smoothing and edge detection,” Applied Numerical Mathematics, vol. 17, no. 1, pp. 47–59, 1995.

L. Alvarez, P.-L. Lions, and J.-M. Morel, “Image selective smoothing and edge detection by nonlinear diffusion. II,” SIAM Journal on Numerical Analysis, vol. 29, no. 3, pp. 845–866, 1992.

S. Morfu, “On some applications of diffusion processes for image processing,” Physics Letters A: General, Atomic and Solid State Physics, vol. 373, no. 29, pp. 2438–2444, 2009.

S. B. Yuste and L. Acedo, “An explicit finite difference method and a new von Neumann-type stability analysis for fractional diffusion equations,” SIAM Journal on Numerical Analysis, vol. 42, no. 5, pp. 1862–1874, 2005.

C. Tadjeran and M. M. Meerschaert, “A second-order accurate numerical method for the two-dimensional fractional diffusion equation,” Journal of Computational Physics, vol. 220, no. 2, pp. 813–823, 2007.

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.

J. A. C. Weideman and L. N. Trefethen, “Parabolic and hyperbolic contours for computing the Bromwich integral,” Mathematics of Computation, vol. 76, no. 259, pp. 1341–1356, 2007.

B. A. Jacobs and C. Harley, “A comparison of two hybrid methods for applying the time-fractional heat equation to a two dimensional function,” AIP Conference Proceedings, vol. 1558, pp. 2119–2122, 2013.

A. Bayliss, A. Class, and B. J. Matkowsky, “Roundoff error in computing derivatives using the chebyshev differentiation matrix,” Journal of Computational Physics, vol. 116, no. 2, pp. 380–383, 1995.

J. W. Thomas, Numerical Partial Differential Equations, Springer, 1999.

K. S. Breuer and R. M. Everson, “On the errors incurred calculating derivatives using Chebyshev polynomials,” Journal of Computational Physics, vol. 99, no. 1, pp. 56–67, 1992.

W. S. Don and A. Solomonoff, “Accuracy and speed in computing the Chebyshev collocation derivative,” SIAM Journal on Scientific Computing, vol. 16, no. 6, pp. 1253–1268, 1995.

M. Kazemi and G. H. Erjaee, “Analytical and numerical solutions of different parabolic heat equations presented in the form of multi-term fractional differential equations,” Iranian Journal of Science and Technology. Transaction A. Science, vol. 35, no. 3, pp. 185–192, 2011.

S. Momani, “Analytical approximate solution for fractional heat-like and wave-like equations with variable coefficients using the decomposition method,” Applied Mathematics and Computation, vol. 165, no. 2, pp. 459–472, 2005.

G. Birkhoff, R. S. Varga, and D. Young, “Alternating direction implicit methods,” in Advances in Computers, vol. 3, pp. 189–273, Academic Press, 1962.