New compact difference scheme for solving the fourth-order time fractional sub-diffusion equation of the distributed order

https://doi.org/10.1016/j.apnum.2018.03.005Get rights and content

Abstract

In this paper, a class of new compact difference schemes is presented for solving the fourth-order time fractional sub-diffusion equation of the distributed order. By using an effective numerical quadrature rule based on boundary value method to discretize the integral term in the distributed-order derivative, the original distributed order differential equation is approximated by a multi-term time fractional sub-diffusion equation, which is then solved by a compact difference scheme. It is shown that the suggested compact difference scheme is stable and convergent in L norm with the convergence order O(τ2+h4+(Δγ)p) when a boundary value method of order p is used, where τ,h and Δγ are the step sizes in time, space and distributed-order variables, respectively. Numerical results are reported to verify the high order accuracy and efficiency of the suggested scheme. Moreover, in the example, comparisons between some existing methods and the suggested scheme is also provided, showing that our method doesn't compromise in computational time.

Introduction

Consider the following initial-boundary value problemDtwu(x,t)+4ux4(x,t)=f(x,t),0<x<L,0<tT,u(x,0)=0,0xL,u(0,t)=u0(t),u(L,t)=uL(t),0tT,2ux2(0,t)=ηa(t),2ux2(L,t)=ηb(t),0tT, where u0,uL,ηa,ηb are given functions which satisfy u0(0)=uL(0)=0. The fractional derivative Dtw of distributed order is defined byDtwu(x,t)=01w(γ)Dtγ0Cu(x,t)dγ with a non-negative continuous function w satisfying01w(γ)dγ=c0>0, and with the Caputo fractional derivative Dtγ0C defined asDtγ0Cu(x,t)=1Γ(1γ)0t1(tν)γuν(x,ν)dν,0<γ<1. It is worth noting that the zero initial value is only considered here. The numerical method proposed in this paper is also applicable for non-zero initial value problem since the latter can be reduced to a zero initial value one by the use of a proper transformation (cf. [4]).

Equation (1.1) is employed in physics to simulate ultraslow diffusion with a logarithmic growth. Recently much attention, such as existence and uniqueness of fundamental solution, has been paid on such diffusion-like equations with time distributed-order derivative because their application potential in physics, system control and signal processing, see for example [5], [12], [13], [15], [17], [19] and references therein. Since the analytical solution of the distributed-order equation is not easy to obtain in general, developing efficient numerical method for the solution of distributed-order problem, especially high-order accuracy numerical algorithm, becomes necessary and important. Nevertheless, relatively few works have been done on this topic. And for all we know, most of the existing numerical work deal with the ordinary differential equation of distributed order, see for example [1], [7], [8]. Here we will briefly review some of these recent advances focusing mainly on the numerical solution of partial differential equation of distributed order. In [23], Ye, Liu and Anh derived and analyzed a compact difference scheme for the time distributed-order diffusion-wave equation on a bounded domain, where the integral term in the distributed-order derivative is discretized by the mid-point quadrature rule and the Caputo fractional derivatives in the resulting multi-term fractional diffusion equation are approximated by the known L1 formula (cf. [21]). The similar treatment ways can also be founded in [16] and [14], but where the Caputo fractional derivatives are solved by the backward finite difference formula and the reproducing kernel method, respectively. And very recently, Gao et al. [9], [10] presented some high order difference schemes for both one-dimensional and two-dimensional fractional diffusion equations of distributed order, first by the composite trapezoid formula or the composite Simpson formula to discretize the distributed integral and then by the weighted and shifted Grünwald formula to treat the time-fractional derivatives in the resultant multi-term fractional diffusion equation; among which the alternating direction and the Richardson extrapolation techniques are also involved.

One can observe that the above mentioned numerical methods are all constructed on the basis of the classical numerical quadrature formulae, which have no more than accuracy of order 4 in the distributed-order variable. In contrast, our attention in this paper will be paid on a new class of stable quadrature rules which can achieve accuracy of order arbitrary in theory, and then apply the new quadrature rule to the fourth-order time fractional sub-diffusion equation of the distributed order which is more complex than the time distributed-order sub-diffusion and diffusion-wave equations.

The rest of the paper is organized as follows. In Section 2, we shall review the derivation of the new quadrature rule and introduce some lemmas needed in what follows. In Section 3, a class of new compact difference schemes for the problem (1.1)–(1.4) is derived. In Section 4, the stability and convergence of the suggested scheme are proved by utilizing discrete energy method. Finally, a numerical example is given to illustrate the effectiveness and high accuracy of the suggested scheme.

Section snippets

New quadrature rule and some lemmas

In this paper we shall use a new quadrature rule based on boundary value method to approximate the integral term in the distributed-order derivative (1.5). To describe this idea, we consider the quadrature problemI(γ)=ϕ(γ),γ[0,γs],I(0)=ϕ0, where ϕ is given smooth function. The solution of the problem (2.1) at γn isI(γn)=ϕ0+0γnϕ(γ)dγ,γn[0,γs]. In order to find the numerical approximation In to I(γn), we apply an unconventional k-step linear multistep method (LMM) of order p with k1 initial

New compact difference scheme

In the section we are devoted to deriving an higher order finite difference scheme for the initial-boundary value problem (1.1)–(1.4).

LetUin=u(xi,tn),z(x,t)=4ux4(x,t),zin=z(xi,tn). Suppose u(x,)C8[0,L]. Using Taylor expansion and the above notations, we haveδx4Uin=4ux4(xi,tn)+h266ux6(xi,tn)+O(h4)=zin+h262zx2(xi,tn)+O(h4)=zin+h26[δx2zinh2124zx4(ζi,tn)]+O(h4)=(1+h26δx2)zin+O(h4)=16(zi1n+4zin+zi+1n)+O(h4),1iM1, where ζi(xi1,xi+1).

For vV˚h we introduce the difference operatorHvi=

Stability and convergence

In the section, we analyze the stability and convergence of the compact difference scheme (3.12)–(3.14). Before doing that, a prior lemma is given below.

Lemma 4.1

For vV˚h, it holds thatHv2v2,13v2(Hv,v)v2,13|v|22(δx4v,Hv)|v|22.

Proof

According to the definition of the operator H, the proof of the first inequality in (4.1) is straightforward. Noticing thatHvi=(1+h26δx2)vi, then(Hv,v)=(v,v)+h26(δx2v,v)=v2h26|v|12. Using the inverse estimation |v|124h2v2 in Lemma 2.7 gives(Hv,v)v223v2=13

Numerical results

In this section, some numerical results are reported to illustrate our theoretical statements. The maximum error between the exact solution and the difference solution is defined byE(τ,h,Δγ)=max0iM,0kN|Uikuik|. The convergence order in time is defined byOrd1=log2(E(τ,h,Δγ)E(τ/2,h,Δγ)) for sufficiently small Δγ and h, and the convergence order in space is defined byOrd2=log2(E(τ,h,Δγ)E(τ,h/2,Δγ)) for sufficiently small Δγ and τ. All computations are carried out in MATLAB.

Example 5.1

(cf. [10])

Conclusion

In the current work, we derived a class of high order compact difference schemes for solving the fourth-order time fractional sub-diffusion of distributed order. The derived method is based on a new quadrature rule which originated by boundary value method. Using the discrete energy method, we proved the suggested scheme is stable with respect the initial value and the inhomogeneous term, and convergent in L norm with the convergence order O(τ2+h4+(Δγ)p) when a boundary value method of order p

Acknowledgements

We would like to express our sincere thanks to the referee and the editors for their valuable comments and suggestions, which have let to great improvements over the original manuscript. This work was supported by the National Natural Science Foundation of China (Grant No. 11571128).

Cited by (0)

View full text