A New Mixed Element Method for a Class of Time-Fractional Partial Differential Equations

A kind of new mixed element method for time-fractional partial differential equations is studied. The Caputo-fractional derivative of time direction is approximated by two-step difference method and the spatial direction is discretized by a new mixed element method, whose gradient belongs to the simple (L 2(Ω)2) space replacing the complex H(div; Ω) space. Some a priori error estimates in L 2-norm for the scalar unknown u and in (L 2)2-norm for its gradient σ. Moreover, we also discuss a priori error estimates in H 1-norm for the scalar unknown u.


Introduction
In this paper, we consider the following time-fractional partial differential equation with initial and boundary conditions  (2) Fractional partial differential equations (PDEs) mainly include three types: PDEs with space fractional derivative, PDEs with time-fractional derivative, and PDEs with spacetime-fractional derivative. So far, more and more people have started to pay attention to looking for the analytical and numerical solutions of fractional PDEs. In [1][2][3][4][5][6][7][8][9][10][11][12][13][14], authors proposed a lot of finite difference methods for time, space, and space-time-fractional PDEs. Lin and Xu [15] proposed and analyzed the spectral methods for solving time-fractional diffusion equation. In [16,17], authors presented local discontinuous Galerkin methods for fractional PDEs. Li et al. [18] discussed the detailed error estimate theories of finite element methods for nonlinear space-time-fractional differential equations with subdiffusion and superdiffusion. Jiang and Ma [19] developed high-order finite element methods for one-dimensional time fractional PDE (1). In [20,21], the finite element methods were analyzed for space fractional PDEs. In [22][23][24], some time-fractional PDEs were solved by the finite element methods. Zhao and Li [25] presented the fractional difference/finite element approximations for the space-timefractional telegraph equation.
Based on the summary of the above numerical methods for solving fractional PDEs, we can see that many numerical methods, such as finite difference methods, LDG methods, finite element methods, and spectral methods, have been studied and developed. However mixed finite element methods for solving fractional PDEs have not been proposed in the current literatures.
In recent years, a lot of mixed finite element methods have been proposed by many mathematical scholars. In [26,27], authors presented a new mixed finite element method based on the linear elliptic equations. Compared to classical mixed methods, this method has several distinct characteristics: the gradient of the new one belongs to the simple ( 2 (Ω)) 2 space avoiding H(div; Ω) space, the optimal a priori error estimates in 1 -norm for the scalar unknown can be obtained, the number of total degrees of freedom for this method is less than that for classical mixed methods, and the regularity requirements on the solution = ∇ are reduced. In view of the method's characteristics, the new mixed method has been developed to solve some integer-order partial differential equations, such as parabolic equation [28][29][30][31], Sobolev equation [32], fourth-order parabolic equation [33], and extended Fisher-Kolmogorov equation [34].
In this paper, our aim is to study the new numerical method based on the new mixed finite element method [26,27] for solving a class of time-fractional PDEs. We derive a new discrete method for time-fractional derivative, formulate a fully discrete mixed finite element scheme, and prove some a priori error estimates in 2 for the scalar unknown and in ( 2 ) 2 -norm for its gradient . What is more, we derive an a priori error estimate in 1 -norm for the scalar unknown . The layout of the paper is as follows. In Section 2, we introduce a new discrete method for the Caputo timefractional derivative and give the "proof " of the truncation error's boundedness. In Section 3, we formulate a new mixed scheme for time-fractional PDE (1) and give the detailed proof for the a priori error estimates for two important variables based on fully discrete scheme. In Section 4, we give some remarks and extensions about the new mixed method and fractional PDEs. Throughout this paper, > 0 will denote a generic constant independent of the spacetime discretization parameter ℎ and Δ . At the same time, we denote the natural inner product in 2 (Ω) or ( 2 (Ω)) 2 by (⋅, ⋅) with the corresponding norm ‖ ⋅ ‖. The other notations and definitions of Sobolev spaces as in [35,36] are used.

Approximation of Time-Fractional Derivative
For the discretization for time-fractional derivative, let 0 = Proof. As [37], using Taylor's expansion at time = +1 , we can arrive at By (5), Taylor's expansion, and some simple calculations of definite integral, we have So, the conclusion of Lemma 1 has been arrived at by the above calculations.
The Scientific World Journal 3 Remark 2. In a number of studies [18,19,22], the timefractional derivative with (0 < < 1) order is discretized by However, the study on the discrete formulation (3) for the Caputo fractional derivative with (0 < < 1) order is fairly limited.
Proof. By the simple calculations, we arrive at From (9), we can see easily that the conclusion for Lemma 3 is obtained.

Mixed Formulation and Projections.
In order to get the mixed scheme, we first split (1) into the following coupled system of two lower-order equations by introducing an auxiliary variable = ∇ : Based on the new mixed method in [26,27], using Green's formula, the new mixed weak formulation of (10) is to In order to formulate a new mixed finite element scheme, we first define the mixed finite element spaces. As shown in the literatures [26,27], we choose the mixed space ( ℎ , W ℎ ) with finite element pair 1 − 2 0 as As discussed in [26,27], we know that ( ℎ , W ℎ ) satisfies the so-called discrete Ladyzhenskaya-Babuska-Brezzi condition.
In view of the definition of the above mixed space, the corresponding semidiscrete mixed scheme of (11a) and (11b) Remark 4. (i) If the standard mixed method is considered, the mixed weak formulation for problem (1) is to find { , } : (ii) Compared with the classical mixed weak formulation (14a) and (14b), the gradient in our scheme (11a) and (11b) belongs to the simple square integrable ( 2 (Ω)) 2 space avoiding the use of the complex H(div; Ω) space. Obviously, the regularity requirements on the solution = ∇ is reduced.

4
The Scientific World Journal (iii) So far, we have not seen any related reports on the study of mixed finite element methods for solving Fractional PDEs. Here, we will give some detailed theoretical analysis on a kind of new mixed element method for solving the fractional PDE (1).
In order to analyze the convergence of the method, we first introduce two mixed elliptic projection associated with our equations.

A Priori Error Estimates for Fully Discrete Scheme.
In the following discussion, we will analyze some a priori error estimates for fully discrete schemes based on the case 0 < < 1. For the convenience of theoretical analysis, we now denote By the discrete formula (3) for time-fractional derivative, (11a) and (11b) have the following equivalent formulation: Now, we formulate a completely discrete procedure: find ( +1 ℎ , +1 ℎ ) ∈ ℎ × W ℎ , ( = 0, 1, . . . , − 1) such that For the convenience of the analysis, we now decompose the errors as Subtracting (21a) and (21b) from (20a) and (20b) and using two projections (15) and (17), we get the error equations In the following discussion, we will derive the detailed process of proof for the fully discrete a priori error estimates.

Remark 9.
It is easy to find that a priori error estimate in 1norm for the variable , which cannot be derived based on the classical mixed scheme (14a) and (14b), is gotten.

Some Concluding Remarks and Extensions
As far as I know, the mixed finite element methods for fractional partial differential equations have not been proposed and studied. In this paper, our purpose is to present and analyze a kind of novel mixed finite element method for seeking the numerical solution of time-fractional partial differential equation with (0 < < 1) order derivative. We discuss two-step difference method in time direction (the approximations of the time-fractional derivative) and a class of new mixed finite element methods proposed by [26,27] in spatial direction. We obtain some a priori error estimates in 2 for the scalar unknown and in ( 2 ) 2 -norm for its gradient . What is more, an a priori error estimate in 1 -norm for the scalar unknown is derived, too.
In the near future, we will develop the new mixed finite element method to solve two-dimensional time-fractional Tricomi-type equations, fractional telegraph equation, and so on. At the same time, we will try to find some new approximation method for fractional derivatives and to study some other mixed finite element methods for seeking the numerical solutions of the fractional PDEs.