ADI Finite Element Method for 2D Nonlinear Time Fractional Reaction-Subdiffusion Equation

Peng Zhu¹, Shenglan Xie²

¹Department of Mathematics, Jiaxing University, Jiaxing, China.
²Nanhu College, Jiaxing University, Jiaxing, China.

DOI: 10.4236/ajcm.2016.64034                

Abstract

In this paper, an alternating direction Galerkin finite element method is presented for solving 2D time fractional reaction sub-diffusion equation with nonlinear source term. Firstly, one order implicit-explicit method is used for time discretization, then Galerkin finite element method is adopted for spatial discretization and obtain a fully discrete linear system. Secondly, Galerkin alternating direction procedure for the system is derived by adding an extra term. Finally, the stability and convergence of the method are analyzed rigorously. Numerical results confirm the accuracy and efficiency of the proposed method.

Keywords

Nonlinear Fractional Differential Equation, Alternating Direction Implicit Method, Finite Element Method, Riemann-Liouville Fractional Derivative

1. Introduction

In this paper, we consider the following two-dimensional nonlinear fractional reaction- subdiffusion equation

(1)

with boundary and initial conditions

(2)

where, , is sufficiently smooth function. For simplicity, we assume coefficients, and are positive constants in this paper. In fact, our method and its corresponding theoretic result are also valid for variable coefficients. is the Riemann-Liouville time fractional derivative of order defined by [1]

(3)

where denotes the Riemann-Liouville fractional integral operator defined as [1]

(4)

In addition, we assume that the nonlinear source term satisfies the Lipschitz condition with respect to, i.e., there exists a positive constant such that

Problem (1) can be considered as a model for reaction-diffusion phenomena with anomalous diffusion, which has been widely applied in various fields of science and engineering. Generally, solutions of (1) can’t be obtained by analytical approach. So, there are various numerical methods developed for solving (1). Li and Ding [2] proposed higher order finite difference methods for solving 1D linear reaction and anomalous- diffusion equations. Zhuang, Liu and Anh, et al. [3] presented an implicit finite element method for solving 1D nonlinear fractional reaction-subdiffusion process. Dehghan, Abbaszadeh and Mohebbi [4] analyzed a meshless Galerkin method with radial basis functions of 2D linear fractional reaction-subdiffusion process. Yu, Jiang and Xu [5] derived an implicit compact finite difference scheme for solving 2D nonlinear fractional reaction-subdiffusion equation.

Alternating direction implicit (ADI) method was proposed by Peaceman, Rachford and Douglas [6] [7] [8] in 1950’s for multidimensional differential equations of integer order, which could reduce original multidimensional problem into a sequences of one- dimensional problems. Since the first ADI based finite difference (FD) scheme presented for 2D space fractional diffusion equation by Meerschaert, Scheffler and Tadjeran [9] , there are many literatures about various multidimensional fractional differential equations numerically solved by ADI technique. The following problem is always discussed:

(5)

where is Caputo fractional derivative of order defined as [1]

In the case of, Zhang and Sun [10] presented an ADI FE scheme and analyzed its stability and convergence property by energy method. Cui [11] constructed a compact ADI FD scheme and discussed its stability by Fourier method. In the case of, Zhang, Sun and Zhao [12] proposed a Crank-Nicolson compact ADI FD scheme, where stability and convergence property are also proved by energy method. Wang and Vong [13] presented another compact ADI FD scheme, where the original equation was first transformed into an equivalent form and then discretized by compact FD scheme combining with ADI technique. Li, Xu and Luo [14] presented an ADI finite element (FE) scheme for Equation (5), where stability and L₂ error estimate are analyzed. ADI orthogonal spline collocation (OSC) scheme was developed by Fairweather, Yang and Xu, et al. [15] for solving Equation (5); stability and error estimate in various norms are given. The equivalent form of Equation (5) as following

(6)

is also often studied. For instances, Cui [16] presented a compact ADI FD scheme, where the local truncation error was analyzed and the stability was discussed by the Fourier method. Furthermore, the author analyzed the cause of low time accuracy when and gave a remedy. Zhang and Sun [17] proposed a Crank-Nicol- son compact ADI FD scheme for Equation (6), where stability and two error estimates are proved rigorously by energy method. Yao, Sun and Wu, et al. [18] first transformed Equation (6) into an equivalent form of Caputo fractional derivative and then derived a compact ADI FD scheme. Their numerical experiments show better numerical performance than the scheme in [16] . Compact ADI FD schemes were also derived for solving 2D/3D linear time fractional convection-diffusion equations [19] [20] [21] and 2D linear time fractional diffusion equations of distributed-order [22] [23] .

There are also lots of ADI based numerical methods for multidimensional space fractional differential equations. Fast iterative ADI FD schemes [24] [25] are designed for 2D/3D linear space fractional diffusion equations, which are first order accuracy in both time and space and have the advantage of low computational work and low memory storage. High order accurate ADI FD schemes are proposed for 2D linear space fractional diffusion equations [26] [27] and two-sided space fractional convection-dif- fusion equations [28] , which are based on weighted and shifted Grünwald operators or Lubich operators approximating Riemann-Liouville fractional derivatives respectively. Spectral direction splitting methods [29] are derived for 2D space fractional differential equations. Semi-implicit alternating direction FD scheme [30] and ADI FE scheme [31] are used for solving 2D fractional Fitz Hugh-Nagumo monodomain model, which consists of a coupled 2D space fractional nonlinear reaction-diffusion equation and an ordinary differential equation, on irregular domain and rectangle domain respectively. ADI Galerkin-Legendre spectral method [32] is developed for 2D Riesz space fractional nonlinear reaction-diffusion equation.

Most of the above mentioned works contribute on linear fractional differential equations and finite difference method combined with ADI technique. A few work consider ADI FEM [14] [31] or nonlinear fractional differential equations [30] [31] [32] . Compared with FD method, FE method has the advantage of easily handling variable coefficients problem and boundary conditions. And many realistic problems involve nonlinear fractional differential equations. Based on these motivations, our attention in this paper will focus on developing ADI FE schemes for efficiently solving a class of nonlinear time fractional differential equations. This is the first time ADI FE scheme proposed and analyzed rigorously for nonlinear fractional differential equations. We will use problem (1.1) as a model problem to illustrate our approach.

The outline of this paper is organized as follows. In Section 2, we introduce some preliminaries and notations which will be used later. The formulation of ADI finite element method for nonlinear time fractional reaction-subdiffusion equation is presented in Section 3. The stability and error estimates of the proposed method are discussed in Section 4. In convenience of computation, we give the matrix form of ADI finite element scheme in Section 5. Some numerical experiments are displayed in Section 6. It aims to confirm our theoretical results. In the end, some concluding remarks are given in Section 5.

In the following, and denote generic positive constants independent of, and, and their value will not be the same in different equations or inequalities.

2. Preliminary and Notations

Let be a bounded and open domain in. Denote the inner product and norm on by

Recall that the Sobolev space is the closure of in the norm

Denote by the closure of in the norm; it is well known that an equivalent norm on is

If is a normed space with norm, recall that

and

Denote. Let be the finite dimensional subspace of and satisfy

and

In convenience, the following notations will be used. For a positvie integer, let, where is the time step. Denote the grid function

Define linear operator by

(7)

and its variational form

and corresponding energy norm by

Obviously, we have

Some useful lemmas are given as follows.

Lemma 1. [3] Let

then satisfy the following properties

1),

2).

Lemma 2. [3] If, then

where, is bounded by

We state here for convenience the discrete version of Gronwall’s inequality.

Lemma 3. [33] Suppose that and are nonnegative functions defined for, and that is nondecreasing. If

where is a positive constant, then

3. Formulation of ADI FEM

Integrating both sides of (1) with respect to the time variable from to, and noticing the definition (3) and (7), we can obtain

(8)

Applying Lemma 2 and the following integration formula

Equation (8) is equivalent to

(9)

where the remainder term can be bounded by

(10)

The weak form of Equation (9) is: find such that for any,

(11)

Then the finite element approximation to Equation (11) is: find such that for any,

or equivalently

(12)

The choice of the initial values will be discussed later.

Let, then, (12) can be transformed into

(13)

so that the alternating-direction Galerkin scheme of (1) can be defined as, for ,

(14)

where

(15)

Remark 1. Numerical experiments in Section 6 demonstrate that the ADI Galerkin finite element scheme (14) has bad numerical performance for. Similar phenomena have been reported in [11] [16] and [17] , where compact ADI finite difference schemes are designed respectively for solving 2D linear time fractional sub-diffu- sion equations. To construct ADI finite element method, the third term

in left hand side of (14) is extra added. Its effect on temporal accuracy cannot be ignored when. To balance it, we can add a correction term

(16)

on the right hand side of (14). By the way, the similar remedy was also adopted by [11] [16] in finite difference framework.

In conclusion, when, it is beneficial to use the following scheme for

(17)

where

is defined by (15). And for the approximation is still given by (14).

In the following, we will focus our attention on the ADI Galerkin finite element scheme (14).

4. Stability and Error Estimate

Firstly, we introduce some notation and lemmas. Given a smooth function, define by

(18)

or equivalently

The operator defined in (18) has the following approximate properties:

Lemma 4. [34] Let for, , there exists a constant, independent of meshsize, such that

(19)

Lemma 5. [33] If denote the operators and, then

(20)

where.

Lemma 6. Let and are defined in (7) and Lemma 1, respectively. For any positive integer and, let

(21)

then it holds that

Proof. When, it is easily get. Now we consider. Note that

and, we get

By direct algebraic calculation, and noticing the properties of in Lemma 1, we obtain

The proof is completed.

Next, we consider the stability of the ADI Galerkin method (14). Define the following problem dependent norm for any,

(22)

which will be used in stability analysis.

Assume the initial value has an error, which will cause the solution of ADI Galerkin scheme (14), , has a perturbation. Then the stability property of ADI Galerkin methods can be represented as following:

Theorem 1. The ADI Galerkin method (14) is stable with respect to initial value in the problem dependent norm (22), i.e., there exist a positive constant which independent of such that

holds for any.

Proof. The equivalent form of (14) is:

(23)

Then the perturbation equation of (23) can be written as

(24)

where and.

Taking in (24), employing Schwartz inequality and the notation, yields

(25)

Further, by Lipschitz property of and Schwartz inequality, we can estimate the right hand side of (25) as

(26)

Summing for in (25) and using (26) and Lemma 6, we can write

(27)

For sufficiently small, it follows from (27) that

Using discrete Gronwall inequality, we have

Let, we conclude. The proof is completed.

Theorem 2. Let and denote the solutions of (1) and (14) respectively.

Assume that, where. Then, for sufficiently small,

provided the initial value satisfy

Proof. Denote, then. With as in (18) we have from (11) that

(28)

Subtracting (28) from (23) leads to

(29)

Taking, by Schwartz inequality and using the notation, then (29) reduces to

(30)

Now, by Young inequality and Schwartz inequality, we can write

Substitute the above three inequalities into the right hand side of (30), and sum for. Employing Lemma 6, we can write

By discrete Gronwall inequality, if sufficiently small, we can estimate

Consequently, we obtain

(31)

Using the triangle inequality and (31), we get

(32)

It remains to estimate terms on the right-hand side of (32). Firstly, by Lemma 3, we can conclude

(33)

(34)

By (10) and, we easily get

(35)

Secondly, using calculus equality

and Hölder inequality, we have

Further, combined with Lemma 3, we can write

(36)

Since

similar as (36), we can prove

Additionally, according to Lemma 3 and Lemma 4, we have

As a result, we obtain

(37)

Similar as (37), we can write

(38)

Combining (33)-(38), and recalling gives

provided is chosen so that and are. This completes the proof.

Remark 2. Although in our theoretic analysis, we only obtain accuracy in temporal error, numerical experiments in Section 6 demonstrate that temporal error is if. Checking the above analysis process, we will find the error estimates in (37) and (38) are obstacles to obtain temporal error theoretically. This suggests we may take alternative analysis techniques to improve the error estimates in (37) and (38).

Note that we may choose the initial approximation as, where from (18),

This involves an elliptic problem to be solved. With this choice,

In practical computations, it is often sufficient to take as interpolants of in.

5. Matrix Form of ADI FEM

Equations (14) define the ADI finite element method in inner product form. To describe the algebraic problem to which these equations lead, suppose,

where and are finite-dimensional subspaces of, and let

be a tensor product basis for, where and are bases for the subspaces and, respectively. Let

so that

For convenience, we denote

If in (14) we choose, and then

(39)

We define the matrices

and let

with defined similarly. Then the matrix form of (39) is

(40)

where, from (14), the components of are given by

and denotes the tensor product. We may factor (40) in the form

which is equivalent to

where and denote the identity matrices of order and, respectively. Thus we determine by solving two sets of independent one-dimensional problems, first

in the -direction, where, followed by

in the -direction, where. Clearly the computation of each of the vectors and is highly parallel.

6. Numerical Experiments

In this section, two numerical examples are given to demonstrate the effectiveness and accuracy of the ADI Galerkin finite element methods. In all numerical examples, we take the linear tensor product basis

where. is constructed in a similar way. In all examples, we will take the same spatial step size in each direction, i.e..

In our numerical simulation, we present the errors in norm

and numerical convergence orders are computed by

Example 1. Consider the following problem

where

with initial and boundary conditions

where. The exact solution of this equation is

Table 1 shows the L² norm errors and the temporal convergence orders for = 0.6, 0.7, 0.8, 0.9 with fixed using ADI Galerkin finite element scheme (14). Computational results in Table 1 illustrate that our ADI Galerkin finite element scheme has first order accuracy in time, which is better than our predicted order in Theorem 2.

To investigate the necessary of the correction term (16) in ADI scheme (17) if

, we have compared the two ADI Galerkin finite element scheme (14) and (17)

for = 0.1, 0.2, 0.3, 0.4, with fixed. For saving space, we only present the comparison results of in Table 2, the others cases are similar. The first three columns of Table 2 show the L² norm errors and its corresponding temporal convergence orders using ADI scheme (14). Computational results demonstrate the temporal

Table 1. L² errors and temporal convergence orders, fixing h = π/64.

Table 2. Comparison between ADI scheme (14) and (17) for α = 0.1, h = π/64.

convergence order is 0.1, which also suggest our theoretical order proved in Theorem 2 is optimal. The last three columns of Table 2 display the L² norm errors and its corresponding temporal convergence orders using ADI scheme (17). As we can see, the experiment convergence order is approximately one now. It indicates that the correction term (16) in ADI scheme (17) is beneficial to keep the temporal accuracy. In a word, Table 2 shows ADI scheme (17) has better numerical performance than ADI

scheme (14) if.

Table 3 shows the L² norm errors and the spatial convergence orders for = 0.6, 0.7, 0.8, 0.9 with fixed using ADI Galerkin finite element scheme (14). The numerical results in Table 3 suggest our ADI Galerkin finite element scheme gets second order accuracy in space, which is consistent with our theoretical result in Theorem 2.

Example 2. Consider the following problem

where

with initial and boundary conditions

where,. The exact solution of this equation is

The nonlinearity of Example 2 is stronger than Example 1. In the following simulation, we have to take much smaller temporal step than Example 1 to obtain good numerical performance. Table 4 shows the L² norm errors and the temporal convergence orders for = 0.6, 0.7, 0.8, 0.9 with fixed using ADI Galerkin finite element scheme (14). Computational results in Table 4 illustrate that our ADI Galerkin finite element scheme is first order temporal accuracy again, if.

Table 5 displays the comparison between the two ADI Galerkin finite element scheme (14) and (17) for, with fixed. From Table 5, we can conclude that: 1) The first three columns show the order of temporal accuracy of ADI scheme (14) is 0.2 for, confirming our theoretical result in Theorem 2 again; 2) The last three columns illustrate the ADI scheme (17) has first order temporal accuracy, indicating the essentiality of the correction term (16) to keep temporal accuracy once again; 3) To obtain the same level of temporal truncation error, ADI scheme (17) can take much smaller time step than ADI scheme (14) due to its higher accuracy. It also suggests that high order of temporal accuracy is important to time-dependent nonlinear problem.

Table 3. L² errors and spatial convergence orders, fixing τ = 1/5000.

Table 4. L² errors and temporal convergence orders, fixing h = π/64.

Table 5. Comparison between ADI scheme (14) and (17) for α = 0.2, h = π/128.

Table 6. L² errors and spatial convergence orders, fixing τ = 1/5000.

Table 6 shows the L² norm errors and the spatial convergence orders for = 0.6, 0.7, 0.8, 0.9 with fixed using ADI Galerkin finite element scheme (14). It can be shown from Table 6 that the numerical results are in accordance with the theoretical analysis in Theorem 2.

7. Conclusion

In this work, we proposed an alternating direction Galerkin finite element method for 2D nonlinear time fractional reaction sub-diffusion equation in the Riemann-Liouville type. The stability and convergence of the method are proved for. Numerical results show that our error estimate is optimal. Like the other ADI schemes [16] [17] , the temporal accuracy of our ADI Galerkin finite element method becomes very low if. A remedy is introduced by adding a correction term (15) to keep temporal accuracy.

Acknowledgements

We thank the Editor and the referee for their comments. Research of P. Zhu is funded by the Natural Science Foundation of Zhejiang province, China (Grant No. LY15A010018). This support is greatly appreciated.

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	Podlubny, I. (1999) Fractional Differential Equations. Academic Press, San Diego.
[2]	Li, C. and Ding, H. (2014) Higher Order Finite Difference Method for the Reaction and Anomalous-Diffusion Equation. Applied Mathematical Modelling, 38, 3802-3821. https://doi.org/10.1016/j.apm.2013.12.002
[3]	Zhuang, P., Liu, F., Anh, V., et al. (2009) Stability and Convergence of an Implicit Numerical Method for the Nonlinear Fractional Reaction-Subdiffusion Process. SIAM Journal on Mathematical Analysis, 74, 645-667.
[4]	Dehghan, M., Abbaszadeh, M. and Mohebbi, A. (2015) Error Estimate for the Numerical Solution of Fractional Reaction-Subdiffusion Process Based on a Meshless Method. Journal of Computational and Applied Mathematics, 280, 14-36. https://doi.org/10.1016/j.cam.2014.11.020
[5]	Yu, B., Jiang, X. and Xu, H. (2015) A Novel Compact Numerical Method for Solving the Two-Dimensional Non-Linear Fractional Reaction-Subdiffusion Equation. Numerical Algorithms, 68, 923-950. https://doi.org/10.1007/s11075-014-9877-1
[6]	Douglas, J. (1955) On the Numerical Integration of Uxx+Uyy=Ut by Implicit Methods. Journal of the Society for Industrial and Applied Mathematics, 3, 42-65.
[7]	Douglas, J. and Gunn, J.E. (1964) A General Formulation of Alternating Direction Method, Part I. Parabolic and Hyperbolic Problem. Numerische Mathematik, 6, 428-453. https://doi.org/10.1007/BF01386093
[8]	Peaceman, D.W. and Rachford, H.H. (1955) The Numerical Solutions of Parabolic and Elliptic Differential Equations. Journal of the Society for Industrial and Applied Mathematics, 3, 28-41. https://doi.org/10.1137/0103003
[9]	Meerschaert, M.M., Scheffler, H.P. and Tadjeran, C. (2006) Finite Difference Methods for Two-Dimensional Fractional Dispersion Equation. Journal of Computational Physics, 211, 249-261. https://doi.org/10.1016/j.jcp.2005.05.017
[10]	Zhang, Y. and Sun, Z. (2011) Alternating Direction Implicit Schemes for the Two-Dimensional Fractional Sub-Diffusion Equation. Journal of Computational Physics, 230, 8713-8728. https://doi.org/10.1016/j.jcp.2011.08.020
[11]	Cui, M. (2013) Convergence Analysis of High-Order Compact Alternating Direction Implicit Schemes for the Two-Dimensional Time Fractional Diffusion Equation. Numerical Algorithms, 62, 383-409. https://doi.org/10.1007/s11075-012-9589-3
[12]	Zhang, Y., Sun, Z. and Zhao, X. (2012) Compact Alternating Direction Implicit Scheme for the Two-Dimensional Fractional Diffusion-Wave Equation. SIAM Journal on Numerical Analysis, 50, 1535-1555. https://doi.org/10.1137/110840959
[13]	Wang, Z. and Vong, S. (2015) A High-Order ADI Scheme for the Two-Dimensional Time Fractional Diffusion-Wave Equation. International Journal of Computer Mathematics, 92, 970-979. https://doi.org/10.1080/00207160.2014.915960
[14]	Li, L., Xu, D. and Luo, M. (2013) Alternating Direction Implicit Galerkin Finite Element Method for the Two-Dimensional Fractional Diffusion-Wave Equation. Journal of Computational Physics, 255, 471-485. https://doi.org/10.1016/j.jcp.2013.08.031
[15]	Fairweather, G., Yang, X., Xu, D. and Zhang, H. (2015) An ADI Crank-Nicolson Orthogonal Spline Collocation Method for the Two Dimensional Fractional Diffusion-Wave Equation. Journal of Scientific Computing, 65, 1217-1239. https://doi.org/10.1007/s10915-015-0003-x
[16]	Cui, M. (2012) Compact Alternating Direction Implicit Method for Two-Dimensional Time Fractional Diffusion Equation. Journal of Computational Physics, 231, 2621-2633. https://doi.org/10.1016/j.jcp.2011.12.010
[17]	Zhang, Y. and Sun, Z. (2014) Error Analysis of a Compact ADI Scheme for the 2D Fractional Subdiffusion Equation. Journal of Scientific Computing, 59, 104-128. https://doi.org/10.1007/s10915-013-9756-2
[18]	Yao, W., Sun, J., Wu, B. and Shi, S. (2015) Numerical Simulation of a Class of Fractional Subdiffusion Equations via the Alternating Direction Implicit Method. Numerical Methods for Partial Differential Equations, 32, 531-547. https://doi.org/10.1002/num.22004
[19]	Wang, Y. and Wang, T. (2016) Error Analysis of a High-Order Compact ADI Method for Two-Dimensional Fractional Convection-Subdiffusion Equations. Calcolo, 53, 301-330. https://doi.org/10.1007/s10092-015-0150-3
[20]	Wang, Z. and Vong, S. (2014) A High-Order Exponential ADI Scheme for Two Dimensional Time Fractional Convection-Diffusion Equations. Computers & Mathematics with Applications, 68, 185-196. https://doi.org/10.1016/j.camwa.2014.05.016
[21]	Zhai, S., Feng, X. and He, Y. (2014) An Unconditionally Stable Compact ADI Method for Three-Dimensional Time-Fractional Convection-Diffusion Equation. Journal of Computational Physics, 269, 138-155. https://doi.org/10.1016/j.jcp.2014.03.020
[22]	Gao, G. and Sun, Z. (2015) Two Alternating Direction Implicit Difference Schemes with the Extrapolation Method for the Two-Dimensional Distributed-Order Differential Equations. Computers & Mathematics with Applications, 69, 926-948. https://doi.org/10.1016/j.camwa.2015.02.023
[23]	Gao, G. and Sun, Z. (2016) Two alternating Direction Implicit Difference Schems for Two-Dimensional Distributed-Order Fractional Diffusion Equations. Journal of Scientific Computing, 69, 506-531. https://doi.org/10.1007/s10915-016-0208-7
[24]	Wang, H. and Wang, K. (2011) An O(Nlog2N) Alternating-Direction Finite Difference Method for Two-Dimensional Fractional Diffusion Equations. Journal of Computational Physics, 230, 7830-7839. https://doi.org/10.1016/j.jcp.2011.07.003
[25]	Wang, H. and Du, N. (2014) Fast Alternating-Direction Finite Difference Methods for Three-Dimensional Space-Fractional Diffusion Equations. Journal of Computational Physics, 258, 305-318. https://doi.org/10.1016/j.jcp.2013.10.040
[26]	Tian, W., Zhou, H. and Deng, W. (2015) A Class of Second Order Difference Approximations for Solving Space Fractional Diffusion Equations. Mathematics of Computation, 294, 1703-1727. https://doi.org/10.1090/S0025-5718-2015-02917-2
[27]	Chen, M. and Deng, W. (2014) Fourth Order Accuarate Scheme for the Space Fractional Diffusion Equations. SIAM Journal on Numerical Analysis, 52, 1418-1438. https://doi.org/10.1137/130933447
[28]	Chen, M. and Deng, W. (2014) A Second-Order Numerical Method for Two-Dimensional Two-Sided Space Fractional Convection Diffusion Equation. Applied Mathematical Modelling, 38, 3244-3259. https://doi.org/10.1016/j.apm.2013.11.043
[29]	Song, F. and Xu, C. (2015) Spectral Direction Splitting Methods for Two-Dimensional Space Fractional Diffusion Equations. Journal of Computational Physics, 299, 196-214. https://doi.org/10.1016/j.jcp.2015.07.011
[30]	Liu, F., Zhuang, P., Turner, I., Anh, V. and Burrage, K. (2015) A Semi-Alternating Direction Method for a 2-D Fractional Fitz Hugh-Nagumo Monodomain Model on an Approximate Irregular Domain. Journal of Computational Physics, 293, 252-263. https://doi.org/10.1016/j.jcp.2014.06.001
[31]	Bu, W., Tang, Y., Wu, Y. and Yang, J. (2015) Crank-Nicolson ADI Galerkin Finite Element Method for Two-Dimensional Fractional FitzHugh-Nagumo Mondomain Model. Applied Mathematics and Computation, 257, 355-364. https://doi.org/10.1016/j.amc.2014.09.034
[32]	Zeng, F., Liu, F., Li, C., et al. (2014) A Crank-Nicolson ADI Spectral Method for a Two-Dimensional Riesz Space Fractional Nonlinear Reaction-Diffusion Equation. SIAM Journal on Numerical Analysis, 52, 2599-2622. https://doi.org/10.1137/130934192
[33]	Dendy, J.E. (1975) An Anlysis of Some Galerkin Schemes for the Solution of Nonlinear Time Problems. SIAM Journal on Numerical Analysis, 12, 541-565. https://doi.org/10.1137/0712042
[34]	Fernandes, R.I. and Fairweather, G. (1991) An Alternating Direction Galerkin Method for a Class of Second-Order Hyperbolic Equations in Two Space Variables. SIAM Journal on Numerical Analysis, 28, 1265-1281. https://doi.org/10.1137/0728067