Elsevier

Applied Mathematics and Computation

Volume 243, 15 September 2014, Pages 703-717
Applied Mathematics and Computation

A mixed finite element method for a time-fractional fourth-order partial differential equation

https://doi.org/10.1016/j.amc.2014.06.023Get rights and content

Abstract

In this paper, a numerical theory based on the mixed finite element method for a time-fractional fourth-order partial differential equation (PDE) is presented and analyzed. An auxiliary variable σ=Δu is introduced, then the fourth-order equation can be split into the coupled system of two second-order equations. The time Caputo-fractional derivative is discretized by a finite difference method and the spatial direction is approximated by the mixed finite element method. The stabilities based on a priori analysis for two variables are discussed and some a priori error estimates in L2-norm for the scalar unknown u and the variable σ=Δu, are derived, respectively. Moreover, an a priori error result in H1-norm for the scalar unknown u also is proved. For verifying the theoretical analysis, a numerical test is made by using Matlab procedure.

Introduction

Fractional partial differential equations (FPDEs), whose theoretical analysis and numerical methods have been paid close attention by more and more math researchers, include many types based on the fractional derivative in different directions, such as space FPDEs, time FPDEs and space–time FPDEs. So far, we have found a large number of numerical methods for hunting for the numerical solutions of FPDEs. These methods include finite difference methods [1], [4], [5], [6], [2], [9], [10], [12], [13], [14], [16], [22], [23], [30], spectral methods [8], finite element methods [3], [11], [17], [18], [19], [20], [21], [24], mixed finite element method [7], finite volume element method [9], DG method [15] and so forth.

In recent years, finite element methods for helping people to obtain the numerical solutions for FPDEs have been increasingly concerned by most people. In the recent literatures, we find that the study of mixed finite element methods for FPDEs is very limited. So far, only a paper [7] has been studied and analyzed for a mixed finite element method of time-FPDE with second-order space derivative. However the theoretical analysis of the (mixed) finite element methods for solving the fractional fourth-order PDEs have not been mentioned and reported.

In this article, our goal is to give some detailed numerical analysis of a mixed finite element method for studying the following time-FPDE with fourth-order derivative termαu(x,t)tα-Δu+Δ2u=f(x,t),(x,t)Ω×J,with boundary conditionu(x,t)=Δu(x,t)=0,(x,t)Ω×J,and initial conditionu(x,0)=u0(x),xΩ,where ΩRd(d2) and J=0,T are a bounded convex polygonal domain with Lipschitz continuous boundary Ω and the time interval with 0<T<, respectively. f(x,t) and u0(x) are given known functions and αu(x,t)tα is defined by the following Caputo fractional derivativeαu(x,t)tα=1Γ(1-α)0tu(x,τ)τdτ(t-τ)α,0<α<1.

Here, we approximate the Caputo fractional derivative by a finite difference method, formulate the mixed weak formulation and fully discrete scheme, prove the stability of the fully discrete scheme and derive the theoretical analysis of some a priori error results in detail.

The remaining parts of the article is as follow. In Section 2, we introduce a finite difference method for approximating the Caputo time-fractional derivative, and then discuss the detailed proof of the truncation error. In Section 3, we formulate a fully discrete mixed scheme for the fractional fourth-order PDE (1.1) and derive the stable results for two important variables in detail. Moreover, we prove some a priori error estimates in L2 and H1-norms. In Section 4, we show some numerical results to illustrate the rationality and effectiveness of our method. In Section 5, we make a brief summary about the presented method and the future development.

Throughout this paper, we will denote C>0 as a generic constant free of the space–time step parameters h and δ. At the same time, we define the natural inner product in L2(Ω) or (L2(Ω))2 by  (·,·) with the corresponding norm ·. The other notations and definitions of Sobolev spaces can be easily followed in Ref. [29].

Section snippets

Approximation of time-fractional derivative

For the discretization for time-fractional derivative, let 0=t0<t1<t2<<tM=T be a given partition of the time interval [0,T] with step length δ=T/M and nodes tn=nδ, for some positive integer M. For a smooth function ϕ on [0,T], define ϕn=ϕ(tn).

Lemma 2.1

Assuming that uC2([0,T]), then the time fractional derivative αu(x,t)tα at t=tn+1 can be approximated by, for 0<α<1αu(x,tn+1)tα=δ1-αΓ(2-α)(n+1)1-α-(n)1-αu1-u0δ+δ1-αΓ(2-α)k=1n(n-k+1)1-α-(n-k)1-α3uk+1-4uk+uk-12δ+E0n+1,where E0n+1=E10+E2n+1,E10=1Γ(1-α)

Weak formulation and semi-discrete scheme

Introducing an auxiliary variable σ=Δu, we first rewrite Eq. (1.1) into the following coupled systemαu(x,t)tα-Δu+Δσ=f(x,t),andσ-Δu=0.

By using Green’s formula, we get the following mixed weak formulation of (3.1), (3.2): find {u,σ}:[0,T]H01×H01 such thatαu(x,t)tα,v+(u,v)-(σ,v)=(f,v),vH01,and(σ,w)+(u,w)=0,wH01.We now define the finite element space Vh asVh={vhH01(Ω)C0(Ω)|vh|ePm(e),eKh},where Kh is a quasiuniform partition of the domain Ω.

Then the corresponding semi-discrete

Some numerical results

In this section, we provide a numerical test to confirm the theoretical analysis of our method. Here, we choose function f(x,t)=2t2-αΓ(3-α)+(8π2+64π4)(t2+1)sin(2πx)sin(2πy),(x,y)[0,1]×[0,1],t[0,1] and initial value function u0(x,y,0)=sin(2πx)sin(2πy). We now get the exact solutionu(x,y,t)=(t2+1)sin(2πx)sin(2πy),andσ=Δu=-8π2(t2+1)sin(2πx)sin(2πy).

We now take the finite element space Vh as the linear space with continuous piecewise linear functions, and divide the spatial domain [0,1]×[0,1]

Some remarks and extensions

So far, we have not found any reports on the (mixed) finite element method for solving the fractional fourth-order PDE (1.1). In this article, our aim is propose a mixed finite element method for the fractional fourth-order PDE with the case 0<α<1. Based on a finite difference method for time fractional derivative, we give a fully discrete mixed finite element scheme, and then analyze the detailed proofs’ process for both the stabilities in L2-norm and some a priori error results in L2 and H1

Acknowledgments

Authors thank the reviewers and editor for their valuable comments and suggestions. This work is supported by the National Natural Science Fund (11301258, 11361035), the Natural Science Fund of Inner Mongolia Autonomous Region (2012MS0108, 2012MS0106), the Scientific Research Projection of Higher Schools of Inner Mongolia (NJZZ12011, NJZY13199, and NJZY14013).

References (30)

Cited by (141)

View all citing articles on Scopus

Foundation item: Supported by the National Natural Science Fund (11301258, 11361035), the Natural Science Fund of Inner Mongolia Autonomous Region (2012MS0108, 2012MS0106), the Scientific Research Projection of Higher Schools of Inner Mongolia (NJZZ12011, NJZY13199, and NJZY14013).

View full text