ADI Finite Element Method for 2D Nonlinear Time Fractional Reaction-Subdiffusion Equation ()
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 L2 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 L2 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 L2 norm errors and its corresponding temporal convergence orders using ADI scheme (14). Computational results demonstrate the temporal
![]()
Table 1. L2 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 L2 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 L2 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 L2 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. L2 errors and spatial convergence orders, fixing τ = 1/5000.
![]()
Table 4. L2 errors and temporal convergence orders, fixing h = π/64.
![]()
Table 5. Comparison between ADI scheme (14) and (17) for α = 0.2, h = π/128.
![]()
Table 6. L2 errors and spatial convergence orders, fixing τ = 1/5000.
Table 6 shows the L2 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.