- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Annual Issues ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 868035, 15 pages
A Finite Element Method for the Multiterm Time-Space Riesz Fractional Advection-Diffusion Equations in Finite Domain
Department of Mathematics, Harbin Institute of Technology, Harbin, Heilongjiang 150001, China
Received 13 December 2012; Revised 28 February 2013; Accepted 28 February 2013
Academic Editor: Xinan Hao
Copyright © 2013 Jingjun Zhao et al. 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.
We present an effective finite element method (FEM) for the multiterm time-space Riesz fractional advection-diffusion equations (MT-TS-RFADEs). We obtain the weak formulation of MT-TS-RFADEs and prove the existence and uniqueness of weak solution by the Lax-Milgram theorem. For multiterm time discretization, we use the Diethelm fractional backward finite difference method based on quadrature. For spatial discretization, we show the details of an FEM for such MT-TS-RFADEs. Then, stability and convergence of such numerical method are proved, and some numerical examples are given to match well with the main conclusions.
Fractional differential equations are different from integer ones, in which the nature of the fractional derivative introduces the memory effect, thus increasing its modeling ability. Recently, many mathematical models with fractional derivatives have been successfully applied in biology, physics, chemistry, and biochemistry, hydrology, and finance [1–3]. The multiterm fractional differential equations have been widely studied in rheology, and, in many cases, the exact solutions are known [4, 5]. Summary of the fractional differential equations can be found in monographs [6–9]. As one of the main branch, fractional partial differential equations have attracted great attention. Therefore, the numerical treatment and supporting analysis of fractional order partial differential equations have become an important research topic that offers great potential.
The FEM is one of the effective numerical methods for solving traditional partial differential equations. For fractional partial differential equations, FEM also can be a useful and effective numerical method. In recent years, some valuable papers are concerned with the FEM for fractional differential equations. Adolfsson et al. [10, 11] considered an efficient numerical method to integrate the constitutive response of fractional order, viscoelasticity based on the FEM. Roop and Ervin [12–15] investigated the theoretical framework for the Galerkin finite element approximation to some kinds of fractional partial differential equations. Li et al.  considered numerical approximation of fractional differential equations with subdiffusion and superdiffusion by using difference method and finite element method. Li and Xu [17, 18] proposed a time-space spectral method for time and time-space fractional partial differential equation based on a weak formulation, and a detailed error analysis was carried out. Jiang and Ma  considered a high-order FEM for time fractional partial differential equations and proved the optimal order error estimates. Ford et al.  studied an FEM for time fractional partial differential equations.
Fractional advection-diffusion equations especially are important in describing and understanding the dispersion phenomena. Analytical solutions of such equations in finite domain have been obtained by Park in . Also, the Riesz fractional advection-diffusion equations (RFADEs) with a symmetric fractional derivative (the Riesz fractional derivative) were derived from the kinetics of chaotic dynamics by  and summarized by . Ciesielski and Leszczynski  presented a numerical solution for such equations based on the finite difference method.
One often sees RFADEs defined in terms of the fractional Laplacian as follows: for example, where is a solute concentration, and represent the dispersion coefficient and the average fluid velocity. Here, the fractional Laplacian operator uses the Fourier transformation on an infinite domain, with a natural extension to include finite domains when the function is subject to the zero Dirichlet boundary conditions (see ). Due to Lemma 1 in , the fractional Laplacian operator on an infinite domain is equivalent to the Riesz fractional derivative operator . In particular, the Riesz fractional derivatives include both the left and the right Riemann-Liouville derivatives that allow the modeling of flow regime impacts from either side of the domain. Yang et al.  investigated the numerical treatment for the RFADE with the Riesz space fractional derivative as where is the Riesz space fractional operator defined in Section 2.
To increase the modeling ability, some authors considered the equations with the fractional order in both time and spatial variables in RFADEs, which include more information and hence are more interesting. For the time-space fractional advection-dispersion equations, Shen et al.  presented the fundamental solution and numerical solution of the Riesz fractional advection-dispersion equation with initial and boundary conditions on a bounded domain, and derived the stability and convergence of their proposed numerical methods. Then, for fractional advection-diffusion equations, Shen et al.  presented an explicit difference approximation and an implicit difference approximation for the time-space Riesz-Caputo fractional advection-diffusion equations with initial and boundary conditions on a finite domain.
All of the above papers only considered single-term fractional equations in time variable, where only one fractional differential operator appeared. In this paper, we consider the multiterm fractional differential equation, which includes more than one fractional derivative. For example, the so-called Bagley-Torvik equation  is where , and are certain constants and is a given function. The Basset equation is, in , where , , and are positive real numbers. This equation describes the forces that occur when a spherical object sinks in an incompressible viscous fluid.
Recently, some authors considered the applications of multiterm fractional differential equations  and the numerical methods for such equations [30–32]. At the same time, the multiterm fractional partial differential equations have been proposed in [33, 34]. The analytical solution and the numerical methods for multiterm time fractional wave-diffusion equations have been investigated in [35, 36]. This motivates us to consider the effective numerical solution for such multiterm fractional partial differential equations.
In this paper, we consider MT-TS-RFADEs in finite domain with the zero Dirichlet boundary conditions. The analytical solution of such MT-TS-RFADEs has been investigated by Jiang et al. in . Here, we present an FEM for a simplified MT-TS-RFADEs and obtain the optimal order error estimates both in semidiscrete and fully discrete cases and derive the stability of such FEM. As far as we are aware, there are few research papers in the published literature written on this topic.
This paper is organized as follows. In Section 2, the preliminaries of the fractional calculation are shown. Then, we give the weak formulation of MT-TS-RFADEs and prove the existence and uniqueness of this problems by the well-known Lax-Milgram theorem. In Section 3, we present the convergence rate of Diethelm’s fractional backward difference method (see [38, 39]) for time discretization. In Section 4, we propose a finite element method based on the weak formulations and carry out the error analysis. In Section 5, we prove the stability of such FEM for MT-TS-RFADEs. Finally, some numerical examples are considered in Section 6.
2. Existence and Uniqueness
We consider the MT-TS-RFADEs with multiterm time fractional derivatives and the Riesz space fractional derivatives in the following form: where , , , and are respectively the space and time variables and , are positive constants. We consider this problem with the zero Dirichlet boundary value conditions and the initial value condition defined as follows: For nonzero boundary value conditions, we need to transform the problem into one with zero boundary value conditions before using the method in this paper.
Here, we consider the multiterm time fractional differential operator which has the subdiffusion process (see ). It is different from (2), which only has one integer order differential operator in time.
Note that the analytical solutions for MT-TS-RFADEs have been studied in , in which this problem is well defined. For this problem, some new techniques have been used, such as a spectral representation of the fractional Laplacian operator and the equivalent relationship between the fractional Laplacian operator and the Riesz fractional derivative.
For convenience, we introduce the following definitions and properties. The space derivatives and are the Riesz space fractional derivatives of order and , respectively. The definitions of them can be found in .
Let denote the gamma function. For any positive integer and real number (), there are different definitions of fractional derivatives with order in . During this paper, we consider the left, (right) Caputo derivative and left (right) Riemann-Liouville derivative defined as follows:(i)the left Caputo derivative: (ii)the right Caputo derivative: (iii) the left Riemann-Liouville derivative: (iv) the right Riemann-Liouville derivative:
The Riesz fractional operators and in (5) can be defined by the left and the right Riemann-Liouville fractional derivatives.
Definition 1 (see ). The Riesz fractional derivatives of order for , on a finite interval is defined as where .
The multiterm fractional operator in (5) is where or or , and , . Here, and denote the left Caputo fractional derivatives with respect to the time variable of order and . There are three cases for multiterm time-space fractional derivatives.
Case 1. If , (5) is a generalized MT-TS-RFADE with multiterm time fractional diffusion terms with initial conditions given as (6). And especially, if , and , then (5) becomes a space fractional advection-diffusion equation with the Riesz space fractional derivatives, which was discussed by Yang et al. .
Case 2. If , (5) is a generalized MT-TS-RFADE with multiterm time fractional wave terms. In this case, the initial conditions are given as follows:
In order to establish the weak formulation of the problem (5), we need some preparatory work. We use definitions of functional spaces and derive some properties related to these spaces. Let denote the space of infinitely differentiable functions on , and let denote the space of infinitely differentiable functions with compact support in . Let be the space of measurable functions whose square is the Lebesgue integrable in , which may denote a domain or or , where denotes the time domain and denotes the space domain. The inner product and norm of are defined by
For any real , we define the spaces and to be the closure of with respect to the norms and , respectively, where In the usual Sobolev space , we also have the definition From , for , the spaces , , and are equal, and their seminorms are all equivalent to .
We now give some results for fractional operators on these spaces.
Lemma 3 (see ). Let . Then, for any , then
Following from the definitions and lemmas above, we define the space when and .
Then, one obtains Here, is a Banach space with respect to the following norm: where endowed with the norm
For obtaining a suitable weak solution for problem (5) with the Caputo time fractional derivation, we consider the connection between the Caputo and the Riemann-Liouville fractional definition. Based on the definitions of the Caputo and the Riemann-Liouville fractional differential operators, we have an immediate consequence, for any real order , in , where denotes the Taylor polynomial for of order , centered at , where .
Based on (25), we make Therefore, that led to the following weak formulation of (5). Let be the dual space of . For , we find such that where the bilinear form is, based on Lemmas 2 and 3, and the functional is given by
Lemma 4 (see ). For real , , then
Based on Lemma 4, we can prove the following existence and uniqueness theorem. During this paper, we use the expression to mean that there exists a positive real number such that (). At the same time, we denote to mean that , which means there exist positive real numbers such that and (i.e., ).
Theorem 5. Assume that , and . Then, system (28) has a unique solution in . Furthermore,
Proof. The existence and uniqueness of the solution is guaranteed by the well-known Lax-Milgram theorem. First, from the equivalence of , , and , for all , it follows that
This implies the continuity of the bilinear form and the right-hand side function .
We next prove the coercivity of the bilinear operator . Note that for all , where is the extension of by zero outside of . Thus, we find that , is nonnegative for since is nonnegative for . That is the same for fractional operators with .
From the above analysis, we have
By using the well-known Lax-Milgram theorem, there exists a unique solution such that (28) holds.
To prove the stability estimate (32), by using (34) and (36), we take in (28) and obtain which implies that .
3. Time Discretization
In this section, we consider the Diethelm fractional backward difference method based on quadrature, which was independently introduced by , for ordinary fractional differential equations. Here, we consider this method for the time discretization of (5) and derive the convergence rate for the time-discretization of MT-TS-RFADEs.
Lemma 6 (see ). For and a function defined on an unbounded domain , the following equality holds: where is the Laplacian.
Definition 7 (see ). Suppose the Laplacian has a complete set of orthonormal eigenfunctions corresponding to eigenvalues on a bounded region , that is, on a bounded region ; on is one of the standard three homogeneous boundary conditions. Let then for any , is defined by
Here, for any , we make a continuous prolongation in space for function as follows: Let denote the one-variable function of , and let and denote the one-variable functions as and , respectively. By the definition (12) of and Lemma 6, (5) is equivalent to
Now, for every , we replace the integral by a first-degree compound quadrature formula with equispaced nodes and obtain where the weights are and the remainder term satisfies where is a constant.
Thus, we have where .
Let , we can write (45) as for , where .
Denote as the approximation of . We can define the following time stepping method: where .
Lemma 8 (see ). For , let the sequence be given by and . Then, .
Let denote the error in . Let be any given norm. Then, we have the following error estimate.
Proof. Subtracting (52) from (51), we obtain the error equation
Note that and denote
Thus, we have
From Definition 7, note that is a positive definite elliptic operator with all of eigenvalues . Since and when , we have Hence, Note that . Denote and
Then, by induction and Lemma 8, we have
4. Space Discretization
In this section, we consider the space discretization of (5) with homogeneous boundary condition. Using the FEM, we obtain the numerical approximation solution in a finite domain. Then, we prove the convergence rate of this method. Let be an interval in one-dimensional space. All of the results in this section can be generalized into the cases of high dimension.
Let denote the maximal length of intervals in , and let be any nonnegative integer. We denote the norm in by . Let be a family of finite element space with the accuracy of order consists of continuous functions on the closure of which are polynomials of degree at most in each interval and which vanish outside such that for small , ,
The semidiscrete problem of (5) is to find the approximate solution for each such that Let be the elliptic projection defined by
Proof. Let be the projection operator from to . From the definition of -norm, we obtain
Let . From (64), we obtain
Note that Thus, combining (67) and (68), we obtain By (62), we see that By interpolation properties, we obtain Similarly, we have Combining (71) and (72), we can obtain (65).
Proof. We write
where , . The second term is easily bounded by Lemma 10 and has the obvious estimate
In order to estimate , for all , we get