Abstract
In this work, we establish the maximal \(\ell ^p\)-regularity for several time stepping schemes for a fractional evolution model, which involves a fractional derivative of order \(\alpha \in (0,2)\), \(\alpha \ne 1\), in time. These schemes include convolution quadratures generated by backward Euler method and second-order backward difference formula, the L1 scheme, explicit Euler method and a fractional variant of the Crank–Nicolson method. The main tools for the analysis include operator-valued Fourier multiplier theorem due to Weis (Math Ann 319:735–758, 2001. doi:10.1007/PL00004457) and its discrete analogue due to Blunck (Stud Math 146:157–176, 2001. doi:10.4064/sm146-2-3). These results generalize the corresponding results for parabolic problems.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Maximal \(L^p\)-regularity is an important mathematical tool in studying the existence, uniqueness and regularity of solutions of nonlinear partial differential equations of parabolic type. A generator A of an analytic semigroup on a Banach space X is said to have maximal \(L^p\)-regularity, if the solution u of the following parabolic differential equation
satisfies the following estimate
with \(1<p<\infty \). On a Hilbert space X, every generator of a bounded analytic semigroup has maximal \(L^p\)-regularity [45], and Hilbert spaces are only spaces for which this holds true [24]. Beyond Hilbert spaces, an important and very useful characterization of the maximal \(L^p\)-regularity was given by Weis [48] on UMD spaces in terms of the R-boundedness of a family of operators using the resolvent \(R(z;A):=(z-A)^{-1}\); see Theorem 1 in Sect. 2 for details.
An important question from the perspective of numerical analysis is whether such maximal regularity estimates carry over to time-stepping schemes for discretizing the parabolic problem (1.1), which have important applications in numerical analysis of nonlinear parabolic problems [1, 2, 17, 29, 33]. This question has been studied in a number of works from different aspects [4, 5, 15, 16, 31, 32, 34]. Ashyralyev et al. [4] showed the following discrete maximal regularity: for all \(f^n\in X,\,\, n=1,2,\dots \),
for the time-discrete solutions \(u^n\), \(n=1,2,\dots ,\) given by the implicit Euler method, where \(\tau \) is the time step size and the constant \(c_{p,X}\) is independent of \(\tau \). A variant of the maximal \(\ell ^p\)-regularity for the Crank–Nicolson method was also shown in [4]. Recently, Kovács et al. [28] proved the discrete maximal regularity for the Crank–Nicolson, BDF and A-stable Runge–Kutta methods. Kemmochi and Saito [25, 26] proved the maximal \(\ell ^p\)-regularity for the \(\theta \)-method. In these works, the main tools are the maximal \(L^p\)-regularity characterization due to Weis [48] and its discrete analogue due to Blunck [10]. Independently, Leykekhman and Vexler [31] proved the maximal \(L^p\)-regularity of discontinuous Galerkin methods without using Blunck’s multiplier technique. The maximal \(\ell ^p\)-regularity of fully discrete numerical solutions have been investigated in [25, 26, 31] and [35] for parabolic equations with time-independent and time-dependent coefficients, respectively; also see [28, section 6].
The maximal \(L^p\)-regularity has also been studied for the following fractional evolution equation
together with the following initial condition(s)
In the model (1.3), the notation \(\partial _t^\alpha u\) denotes the Caputo fractional derivative of order \(\alpha \) of u with respect to time t, defined by [27, pp. 91]
where the Gamma function \(\varGamma (\cdot )\) is defined by \(\varGamma (z)=\int _0^\infty s^{z-1}e^{-s}ds\), \(\mathfrak {R}z>0\). With zero initial condition(s), it is identical with the Riemann–Liouville one [27, pp. 70]
Throughout, we use only the notation \(\partial _t^\alpha u\) to denote either derivative. When \(\alpha =1\), the fractional derivative \(\partial _t^\alpha u(t)\) coincides with the usual first-order derivative \(u^\prime (t)\), and accordingly, the fractional model (1.3) recovers the standard parabolic equation (1.1). In this paper we focus on the fractional cases \(0< \alpha < 1\) and \(1< \alpha < 2\), which are known as the subdiffusion and diffusion-wave equation, respectively. In analogy with Brownian motion for normal diffusion (1.1), the model (1.3) with \(0<\alpha < 1\) is the macroscopic counterpart of continuous time random walk.
The fractional model (1.3) has received much attention in recent years, since it can adequately capture the dynamics of anomalous diffusion processes. For example, the subdiffusion equation, i.e., \(\alpha \in (0,1)\), has been employed to describe transport in column experiments, thermal diffusion in media with fractal geometry, and flow in highly heterogeneous aquifers. See [40] for an extensive list of applications. The diffusion-wave equation, i.e., \(\alpha \in (1,2)\), can be used to model mechanical wave propagation in viscoelastic media.
In a series of interesting works [6,7,8], Bazhalekov and collaborators have established the following maximal \(L^p\)-regularity for the fractional model (1.3): for any \(1<p<\infty \), \(u\in L^p(\mathbb {R}^+;D(A))\) and
under suitable conditions on the operator A (see Theorem 3 in Sect. 2 for details). Further, they applied the theory to analyze nonautonomous and semilinear problems [6, 8]. See also [44] for closely related maximal regularity results for Volterra integro-differential equations.
The discrete analogue of (1.4) is important for the numerical analysis of nonautonomous and nonlinear fractional evolution problems. The only existing result we are aware of is the very recent work of Lizama [37]. Specifically, Lizama studied the following fractional difference equation with \(0<\alpha <1\):
where \(u^0=0\) and \(\varDelta ^\alpha \) is a certain fractional difference operator. The author established the maximal \(\ell ^p\)-regularity for the problem, under the condition that the set \(\{\delta (z)(\delta (z)-T)^{-1}:|z|=1,z\ne 1\}\) is R-bounded, with \(\delta (z)=z^{1-\alpha }(1-z)^\alpha \), following the work of Blunck [10]. It can be interpreted as a time-stepping scheme: upon letting \(T=\tau ^\alpha A\) and \(f^n=\tau ^\alpha g^n\), we get \(\tau ^{-\alpha } \varDelta ^\alpha u^n= Au^n+g^n\). Hence, it amounts to a convolution quadrature generated by the kernel \(z^{1-\alpha }(1-z)^\alpha \). However, this scheme lacks the maximal \(\ell ^p\)-regularity if \(A=\varDelta \), the Dirichlet Laplacian operator in bounded domains.
In this work, we address the following question: Under which conditions do the time discretizations of (1.3) preserve the maximal \(\ell ^p\)-regularity, uniformly in the time step size \(\tau \)? We provide an analysis for several time-stepping schemes, including the convolution quadratures generated by the implicit Euler method and second-order backward difference formula [11, 21], the L1 scheme [36, 46], the explicit Euler method [50] and a fractional variant of the Crank–Nicolson method. Amongst them, the convolution quadrature is relatively easy to analyze. In contrast, the L1 scheme and explicit Euler method are easy to implement, but challenging to analyze. The explicit Euler method requires a bounded numerical range of the operator A and the step size \(\tau \) to be small enough. The maximal \(\ell ^p\)-regularity of the Crank–Nicolson method behaves like the implicit Euler scheme when \(0<\alpha <1\) and like the explicit Euler scheme when \(1<\alpha <2\). Our proof strategy follows closely the recent works [25, 28] and employs the (discrete) Fourier multiplier technique of Blunck [10].
The rest of the paper is organized as follows. In Sect. 2 we recall basic tools for showing maximal \(\ell ^p\)-regularity, including R-boundedness, UMD spaces, and Fourier multiplier theorems. Then four classes of time-stepping schemes, i.e., convolution quadrature, L1 scheme, explicit Euler method and a variant of the fractional Crank–Nicolson method, are discussed in Sects. 3–6, respectively. In Sect. 7, we discuss the extension to nonzero initial data. Last, in Sect. 8, we illustrate the results with several concrete examples.
We conclude the introduction with some notation. For a Banach space X, we denote by \(\mathcal {B}(X)\) the set of all bounded linear operators from X into itself. For a linear operator A on X, we denote by \(\sigma (A)\) and \(\rho (A)\) its spectrum and resolvent set, respectively. We denote the unit circle in the complex plane \(\mathbb {C}\) by \(\mathbb {D}=\{z:|z|=1\}\), and \(\mathbb {D}^\prime =\{z:|z|=1,z\ne \pm 1\}\). Given any \(\theta \in (0,\pi ),\) the notation \(\varSigma _\theta \) denotes the open sector \( \varSigma _\theta :=\left\{ z\in \mathbb {C}: |\arg (z)|< \theta , z\ne 0\right\} \), where \(\mathrm{arg}(z)\) denotes the argument of \(z\in {\mathbb C}\backslash \{0\}\) in the range \((-\pi ,\pi ]\). Throughout, the notation c and C, with or without a subscript/superscript, denote a generic constant, which may differ at different occurrences, but it is always independent of the time step size \(\tau \) and the number N of time steps.
2 Preliminaries
In this section we collect basic results on the maximal \(L^p\)-regularity and related concepts, especially R-boundedness, UMD spaces, and Fourier multiplier theorems, used in the fundamental work of Weis [48], where he characterized the maximal \(L^p\)-regularity of an operator A in terms of its resolvent operator \(R(z;A):=(z-A)^{-1}\). We refer readers to the review [30] for details.
2.1 R-boundedness
The concept of R-boundedness plays a crucial role in Weis’ operator-valued Fourier multiplier theorem and its discrete analogue. A collection of operators \(\mathcal {M}=\{M(\lambda ): \lambda \in \Lambda \}\subset \mathcal {B}(X)\) is said to be R-bounded if there is a constant \(c>0\) such that any finite subcollection of operators \(\{M(\lambda _j)\}_{j=1}^l\) satisfies
where \(r_j(s)=\mathrm {sign}\sin (2j\pi s)\), \(j=1,2,\ldots ,\) are the Rademacher functions defined on the interval [0, 1]. The infimum of the constant c satisfying (2.1), denoted by \(R(\mathcal {M})\) below, is called the R-bound of the set \(\mathcal {M}\). In particular, if \(\Lambda \subset \{z\in \mathbb {C}: |z|\le c_0\}\) for some \(c_0>0\), then the set \(\{\lambda I: \lambda \in \Lambda \}\) is R-bounded with an R-bound \(2c_0\). This fact will be used extensively below.
There are a number of basic properties of R-bounded sets, summarized below. They follow from definition and the proofs can be found in [30].
Lemma 1
Let \(\mathcal {T}\subset \mathcal {B}(X)\) be an R-bounded set. Then the following statements hold.
-
(i)
If \(\mathcal {S}\subset \mathcal {T}\), then \(\mathcal {S}\) is R-bounded with \(R(\mathcal {S})\le R(\mathcal {T})\).
-
(ii)
The closure \(\overline{\mathcal {T}}\) in \(\mathcal {B}(X)\) is also R-bounded, and \(R(\overline{\mathcal {T}})=R(\mathcal{T})\).
-
(iii)
If \(\mathcal {S}\subset \mathcal {B}(X)\) is R-bounded, then the union \(\mathcal{S}\cup \mathcal{T}\) and sum \(\mathcal{S+T}\) are R-bounded, with \(R(\mathcal{S\cup T})\le R(\mathcal{S})+R(\mathcal{T})\) and \(R(\mathcal{S+T})\le R(\mathcal{S})+R(\mathcal{T})\).
-
(iv)
If \(\mathcal{S}\subset \mathcal {B}(X)\) is R-bounded, then \(\mathcal{ST}\) is R-bounded with \(R(\mathcal{ST})=R(\mathcal{S})R(\mathcal{T})\).
-
(v)
The convex hull \(\mathrm {CH}(\mathcal{T})\) is R-bounded with \(R(\mathrm {CH}(\mathcal{T}))\le R(\mathcal{T})\).
-
(vi)
The absolutely convex hull of \(\mathcal{T}\), denoted by \(\mathrm {ACH}_\mathbb {C}(\mathcal{T})\), is R-bounded, with \(R(\mathrm {ACH}_\mathbb {C}(\mathcal{T}))\le 2R(\mathcal{T})\).
The following useful result is a slight extension of [10, Corollary 3.5].
Lemma 2
Let A be a closed and densely defined operator in X, and \(\delta \in (0,\pi )\). If \(\{zR(z;A):z\in \varSigma _{\delta }\}\) is R-bounded, then there exists \(\delta ^\prime \in (\delta ,\pi )\) such that \(\{zR(z;A): z\in \varSigma _{\delta ^\prime }\}\) is R-bounded.
Proof
In fact, the R-boundedness of \(\{zR(z;A):z\in \varSigma _{\delta }\}\) implies the R-boundedness of \(\{\rho e^{\mathrm {i}\delta } R(\rho e^{\mathrm {i}\delta };A):\rho >0\}\). Via a rotation in the complex plane \(\mathbb {C}\), we see that \(\{\rho \mathrm { i} R(\rho \mathrm {i} ;e^{\mathrm{i}(\pi /2-\delta )}A): \rho >0\}\) is R-bounded. Then the proof of [10, Corollary 3.5] implies the R-boundedness of \(\{w R(w;e^{\mathrm{i}(\pi /2-\delta )}A): \pi /2<\arg (w)<\pi /2+\vartheta \}\) for some small \(\vartheta >0\). By rotating back in the complex plane \(\mathbb {C}\), we have the R-boundedness of \(\{z R(z;A): \delta<\arg (z)<\delta +\vartheta \}\). The R-boundedness of \(\{z R(z;A): -\delta -\vartheta<\arg (z)<-\delta \}\) follows similarly. Overall, the set \(\{z R(z;A): z\in \varSigma _{\delta +\vartheta }\}\) is R-bounded. \(\square \)
2.2 Operator-valued multiplier theorems on UMD spaces
Now we recall the concept of UMD spaces, which is essential for multiplier theorems. Let \(S(\mathbb {R};X)\) denote the space of rapidly decreasing X-valued functions. A Banach space X is said to be a UMD space if the Hilbert transform
defined on the space \(S(\mathbb {R};X)\), can be extended to a bounded operator on \(L^p(\mathbb {R};X)\) for all \(1<p<\infty \). Equivalently, this can be characterized by unconditional martingale differences, hence the abbreviation UMD. Examples of UMD spaces include Hilbert spaces, finite-dimensional Banach spaces, and \(L^q(\varOmega ,d\mu )\) (\((\varOmega ,\mu )\) is a \(\sigma \)-finite measure space, \(1<q<\infty \)), and its closed subspaces (e.g., Sobolev spaces \(W^{m,p}(\varOmega )\), \(1<p<\infty \)), and the product space of UMD spaces. Throughout, X always denotes a UMD space. Next we recall the concept of R-sectoriality operator. The definition below is equivalent to [30, Section 1.11] by changing A to \(-A\) and changing \(\theta \) to \(\pi -\theta \).
Definition 1
An operator \(A:D(A)\rightarrow X\) is said to be sectorial of angle \(\theta \) if the following three conditions are satisfied:
-
(i)
\(A:D(A)\rightarrow X\) is a closed operator and its domain D(A) is dense in X;
-
(ii)
The spectrum of A is contained in the sector \({\mathbb C}\backslash \varSigma _{\theta }\);
-
(iii)
The set of operators \(\{zR(z;A) :z\in \varSigma _{\theta }\}\) is bounded in \(\mathcal {B}(X)\).
Similarly, A is said to be R-sectorial of angle \(\theta \) if (i), (ii) and the following condition hold:
- (iii\(^\prime \)):
-
The set of operators \(\{zR(z;A) :z\in \varSigma _{\theta }\}\) is R-bounded in \(\mathcal {B}(X)\).
The following theorem is a simple consequence of Dore [13, Theorem 2.1] and Weis [48, Theorem 4.2].
Theorem 1
A densely defined closed operator A on a UMD space X has maximal parabolic \(L^p\)-regularity (1.2) if and only if A is R-sectorial of angle \(\pi /2\).
The “if” direction in Theorem 1 is a consequence of the following operator-valued Fourier multiplier theorem [48, Theorem 3.4], where \(\mathcal {F}\) denotes the Fourier transform on \(\mathbb {R}\), i.e.,
Theorem 2
Let X be a UMD space. Let \(M:\mathbb {R}{\setminus }\{0\}\rightarrow \mathcal {B}(X)\) be differentiable such that the set
with an R-bound \(c_R\). Then \(\mathcal {M}f:=\mathcal {F}^{-1}(M(\cdot )(\mathcal {F}f)(\cdot ))\) extends to a bounded operator
Further, there exists \(c_{p,X}>0\) independent of M such that the operator norm of \(\mathcal {M}\) is bounded by \(c_Rc_{p,X}\).
Using Theorem 2, one can similarly show the following maximal regularity result for the fractional model (1.3) [6,7,8], which naturally extends the “if” part of Theorem 1 to the fractional case.
Theorem 3
Let A be an R-sectorial operator of angle \(\alpha \pi /2\) on a UMD space X. Then the solution of (1.3) satisfies the maximal \(L^p\)-regularity estimate (1.4) for any \(1<p<\infty \).
In this work, we discuss the discrete analogue of Theorem 3 for a number of time-stepping schemes for solving (1.3), under the same condition on the operator A, using a discrete version of Theorem 2 due to Blunck [10]. We slightly abuse \(\mathcal {F}\) for the Fourier transform on \(\mathbb {Z}_+:=\{n\in {\mathbb Z}: n\ge 0\}\), which maps a sequence \((f^n)_{n=0}^\infty \) to its Fourier series on the interval \((0,2\pi )\), i.e.,
and let \({\mathcal F}_\theta ^{-1}\) denote the inverse Fourier transform with respect to \(\theta \), i.e.,
The following result is an immediate consequence of [10, Theorem 1.3], and will be used extensively; see also [25] for a proof with a more explicit constant. The statement is equivalent to Blunck’s original theorem via the transformation \(\xi =e^{-\mathrm{i}\theta }\), but avoids introducing a different notation \(\widetilde{M}(\theta )\).
Theorem 4
Let X be a UMD space, and let \(M:{\mathbb D}'\rightarrow \mathcal {B}(X)\) be differentiable such that the set
is R-bounded, with an R-bound \(c_R\). Then \(\mathcal {M}f:=\mathcal {F}_\theta ^{-1}( M(e^{-\mathrm {i} \theta }) (\mathcal {F}f)(\theta ))\) extends to a bounded operator
Further, there exists a \(c_{p,X}>0\) independent of M such that the operator norm of \(\mathcal {M}\) is bounded by \(c_Rc_{p,X}\).
To simplify the notations, for a given sequence \(\{M_n\}_{n=0}^\infty \) of operators on a UMD space X, we define the generating function
Likewise, the generating function \(f(\xi )\) of a sequence \((f^n)_{n=0}^\infty \) is defined by
The operator \(\mathcal {M}\) is then given by \((\mathcal {M}f)_n=\sum _{j=0}^nM_{n-j}f^j\), \(n=0,1,\ldots \). The generating function satisfies the convolution rule
where \((f*g)_n:=\sum _{j=0}^n f^j g^{n-j},\) \(n= 0,1,\ldots \).
3 Convolution quadrature
The convolution quadrature of Lubich (see the review [38] and references therein) presents one versatile framework for developing time-stepping schemes for the model (1.3). One salient feature is that it inherits excellent stability property (of that for ODEs). We shall consider convolution quadrature generated by backward Euler (BE) and second-order backward difference formula (BDF2), whose error analysis has been carried out in [11, 21].
3.1 BE scheme
We first illustrate basic ideas to prove discrete maximal regularity on BE scheme in time t, with a constant time step size \(\tau >0\). The BE scheme for (1.3) is given by: given \(u^0=0\), find \(u^n\in X\)
where the BE approximation \(\bar{\partial }_\tau ^\alpha u^n\) to \(\partial _t^\alpha u(t_n)\) is given by
where \(\delta (\xi )=1-\xi \) is the characteristic function of the BE method.
Now we can state the discrete maximal regularity of the BE scheme (3.1).
Theorem 5
Let X be a UMD space, \(0<\alpha <1\) or \(1<\alpha <2\), and let A be an R-sectorial operator on X of angle \(\alpha \pi /2\). Then the BE scheme (3.1) has the following maximal \(\ell ^p\)-regularity
where the constant \(c_{p,X}\) is independent of N, \(\tau \) and A, and \(c_R\) denotes the R-bound of the set of operators \(\{zR(z;A) :z\in \varSigma _{\alpha \pi /2}\}\).
Proof
By multiplying both sides of (3.1) by \(\xi ^n\) and summing over n, we have
It suffices to compute the term \(\sum _{n=1}^\infty \xi ^n \bar{\partial }_\tau ^\alpha u^n\). By noting \(u^0=0\), the definition of the BE approximation (3.2) and discrete convolution rule (2.5), we deduce
Consequently, upon letting \(f^0=0\), we arrive at
Since \(\tau ^{-1}\delta (\xi )\in \varSigma _{\pi /2}\) for \(\xi \in {\mathbb D}'\), we have \(\tau ^{-\alpha }\delta (\xi )^\alpha \in \varSigma _{ \alpha \pi /2}\) for \(\xi \in {\mathbb D}'\). The R-sectoriality of angle \(\alpha \pi /2\) of the operator A ensures that the operator \(\tau ^{-\alpha } \delta (\xi )^\alpha -A\) is invertible. Meanwhile, the generating function of the BE approximation \(\bar{\partial }_\tau ^\alpha u\) is given by
with \(M(\xi ) =\tau ^{-\alpha }\delta (\xi )^\alpha (\tau ^{-\alpha }\delta (\xi )^\alpha -A)^{-1}\). Appealing to the R-sectoriality of A again gives that zR(z; A) is analytic and R-bounded in the sector \(\varSigma _{\alpha \pi /2}\), which imply that \(M(\xi )\) is differentiable and R-bounded for \(\xi \in {\mathbb D}'\). Direct computation yields
which together with Lemma 1 (iii)–(iv) implies the R-boundedness of the set (2.2). Then the desired result follows from Theorem 4. \(\square \)
Remark 1
The BE scheme (3.2) is identical with the Grünwald–Letnikov formula, a popular difference analogue of the Riemann–Liouville fractional derivative \(\partial _t^\alpha u\) [43], which has been customarily employed for discretizing (1.3).
3.2 Second-order BDF scheme
Next we consider the convolution quadrature generated by the second-order backward difference formula (BDF2) for discretizing the model (1.3):
where the BDF2 approximation \(\bar{\partial }_\tau ^\alpha u^n\) to \(\partial _t^\alpha u(t_n)\), \(t_n=n\tau \), is given by
with the characteristic function \(\delta (\xi )\)
We approximate the fractional derivative \(\partial _t^\alpha u(t_n)\) by the BDF2 convolution quadrature (3.4), and consider the scheme (3.3) with zero starting values \(u^0=u^1=0\). Note that for the BDF2 scheme (and other higher-order linear multistep methods), the initial steps have to be corrected properly in order to achieve the desired accuracy [11, 21]. The next result gives the discrete maximal regularity of the scheme (3.3).
Theorem 6
Let X be a UMD space, \(0<\alpha <1\) or \(1<\alpha <2\), and let A be an R-sectorial operator on X of angle \(\alpha \pi /2\). Then the BDF2 scheme (3.3) satisfies the following discrete maximal regularity
where the constant \(c_{p,X}\) is independent of N, \(\tau \) and A, and \(c_R\) denotes the R-bound of the set of operators \(\{zR(z;A) :z\in \varSigma _{\alpha \pi /2}\}\).
Proof
In a straightforward manner, upon letting \(f^0=f^1=0\), we obtain
where \(\delta (\xi )\) is defined in (3.5). Since BDF2 is A-stable (for ODEs), i.e., \(\mathfrak {R}\delta (\xi )> 0\) for \(\xi \in \mathbb {D}^\prime \), we have \(\tau ^{-\alpha }\delta (\xi )^\alpha \subset \varSigma _{\alpha \pi /2}\). This and the R-sectoriality (of angle \(\alpha \pi /2\)) of the operator A implies that \(\tau ^{-\alpha }\delta (\xi )^\alpha -A\) is invertible for \(\xi \in \mathbb {D}'\). Further, direct computation gives
The R-sectoriality of the operator A implies the R-boundedness of the set \(\{M(\xi ): \xi \in \mathbb {D}^\prime \}\). Meanwhile,
Since \(d(\xi )\) is bounded on \(\mathbb {D}'\), Lemma 1 (iii)–(iv) and Theorem 4 give the desired assertion. \(\square \)
4 L1 scheme
Now we discuss one time-stepping scheme of finite difference type for simulating subdiffusion—the L1 scheme [36, 46]—which is easy to implement and converges robustly for nonsmooth data, hence very popular. However, unlike convolution quadrature, finite difference type methods are generally challenging to analyze. For the subdiffusion case, i.e., \(\alpha \in (0,1)\), it approximates the (Caputo) fractional derivative \(\partial _t^\alpha u(t_n)\) with a time step size \(\tau \) by
where the weights \(b_j\) are given by
For the case \(\alpha \in (1,2)\), the L1 scheme reads [46]
where \(\delta _tu^{j-\frac{1}{2}}=u^{j}-u^{j-1}\) denotes central difference, and \(a_j=(j+1)^{2-\alpha }-j^{2-\alpha }\), and we have abused the notation \(\bar{\partial }_\tau ^\alpha u^n\) for approximating \(\partial _t^\alpha u(t_{n-\frac{1}{2}})\). Formally, it can be obtained by applying (4.1) to the first derivative \(\partial _t u\), in view of the identity \(\partial _t^\alpha u = \partial _t^{\alpha -1} (\partial _t u)\), and then discretizing the \(\partial _tu\) with the Crank–Nicolson type method. The scheme requires \(\partial _tu(0)\), in addition to the initial condition u(0). Accordingly, we approximate the right hand side of (1.3) by a Crank–Nicolson type scheme. In sum, the L1 scheme reads
Remark 2
For \(\alpha \in (0,1)\), Lin and Xu [36] proved that the L1 scheme is uniformly \(O(\tau ^{2-\alpha })\) accurate for \(C^2\) solutions; and for \(\alpha \in (1,2)\), Sun and Wu [46] showed that it is uniformly \(O(\tau ^{3-\alpha })\) accurate for \(C^3\) solutions. It is worth noting that even for smooth initial data and source term, the solution of fractional-order PDEs may not be \(C^2\) in general. In fact, the L1 scheme is generally only first-order [20, 23].
For the analysis, we recall the polylogarithmic function \(\mathrm {Li}_p(z)\), \(p\in \mathbb {R}\) and \(z\in \mathbb {C}\), defined by
The function \(\mathrm {Li}_p(z)\) is well defined on \(\{z:|z|<1\}\), and it can be analytically continued to the split complex plane \(\mathbb {C}{\setminus } [1,\infty )\) [14]. With \(z=1\), it recovers the Riemann zeta function \(\zeta (p)=\mathrm {Li}_p(1)\). First we state the solution representation.
Lemma 3
The discrete solution \(u(\xi )\) of the L1 scheme (4.3) satisfies
with the generating functions
Proof
We first show the representation for \(\alpha \in (0,1)\), and the case \(\alpha \in (1,2)\) is analogous. Multiplying both sides of (4.3) by \(\xi ^n\) and summing over n yield
upon noting \(u^0=0\). Now we focus on the term \(\sum _{n=1}^\infty \bar{\partial }_\tau ^\alpha u^n\xi ^n\). Since \(u^0=0\), by the convolution rule (2.5), we have
Using the polylogarithmic function \(\mathrm {Li}_p(z)\), \(b(\xi )\) is given by
from which the desired solution representation follows directly. \(\square \)
We shall need the following result, which is of independent interest.
Lemma 4
For \(\alpha \in (0,1)\) and \(\xi \in \mathbb {D}'\), we have \(\psi (\xi ) := \frac{(1-\xi )^2}{\xi }\mathrm {Li}_{\alpha -1}(\xi )\in \varSigma _{\frac{\pi \alpha }{2}}\).
Proof
It suffice to consider \(\xi =e^{-\mathrm {i}\theta }\) with \(\theta \in (0,\pi ]\), since the case \(\theta \in (\pi ,2\pi )\) can be proved similarly. Using the identity
we have
Moreover, we have the expansion [49, equation (13.1)]
where
Both series converge for \(\alpha \in (0,1)\). Since for \(\theta \in (0,\pi ]\), \((k+\tfrac{\theta }{2\pi } )^{\alpha -2}> (k+1-\tfrac{\theta }{2\pi } )^{\alpha -2}>0\), there holds
and we deduce
Therefore, we have
This completes the proof of the lemma. \(\square \)
Lemma 5
For the function \(\delta (\xi )\) defined by (4.4), there holds
with
where \(d(\xi )\) is uniformly bounded on \({\mathbb D}'\).
Proof
It suffices to consider the case \(\alpha \in (0,1)\), while the other case follows analogously. Since \(\mathrm {Li}_{\alpha -1}(\xi )\) is analytic, by termwise differentiation, \(\mathrm {Li}^\prime _{\alpha -1}(\xi )=\xi ^{-1}\mathrm {Li}_{\alpha -2}(\xi )\). Thus, with \(c_\alpha =1/\varGamma (2-\alpha )\), we have
from which the expression of \(d(\xi )\) follows. By using the asymptotic expansion (see [49, equation (9.3)] or [14, Theorem 1])
we deduce
Hence, \(d(\xi )\) is bounded if \(\xi =e^{-{\mathrm i}\theta }\) is close to 1. Meanwhile, if \(\xi =e^{-{\mathrm i}\theta }\) and \(\theta \) is away from the two end-points of the interval \((0,2\pi )\), then (4.5) implies that \(|\mathrm{Li}_{ \alpha -1}(\xi )|\) has a positive lower bound and \(|\mathrm{Li}_{\alpha -2}(\xi )|\) has an upper bound. Hence \(d(\xi )\) is bounded.
\(\square \)
Now we can give the discrete maximal regularity for the L1 scheme (4.1).
Theorem 7
Let X be a UMD space, \(0<\alpha <1\) or \(1<\alpha <2\), and let A be an R-sectorial operator on X of angle \(\alpha \pi /2\). Then the L1 scheme (4.3) satisfies the following discrete maximal regularity
where the constant \(c_{p,X}\) is independent of N, \(\tau \) and A, and \(c_R\) denotes the R-bound of the set of operators \(\{zR(z;A) :z\in \varSigma _{\alpha \pi /2}\}\).
Proof
First we consider the case \(0<\alpha <1\). Upon setting \(f^0=0\), Lemmas 3 and 4 yield
where \(\delta (\xi )\) is defined by (4.4). By Lemma 4, we have
where the latter set is R-bounded by assumption. Meanwhile,
where, by Lemma 5, \(d(\xi )\) is uniformly bounded on \(\mathbb {D}^\prime \). By Lemma 1, the set \(\{(1-\xi )(1+\xi )M^\prime (\xi ):\xi \in \mathbb {D}^\prime \}\) is R-bounded. Thus we deduce from Theorem 4 the desired assertion.
Next we consider the case of \(1<\alpha <2\). In this case, we let \(g^0=0\) and \(g^n=f^n\), \(n\ge 1\), to obtain
with \(M(\xi )= \tau ^{-\alpha }\delta (\xi )(\tau ^{-\alpha }\delta (\xi )-A)^{-1}\). In view of the relation \(\delta (\xi )=\frac{2}{\varGamma (3-\alpha )} \frac{1-\xi }{1+\xi }\psi (\xi )\), by Lemma 4 and since the function \((1-\xi )/(1+\xi )\) maps \(\mathbb {D}^\prime \) into the imaginary axis, we deduce
The rest of the proof follows like before, using Lemma 5. \(\square \)
Remark 3
For the model (1.3) with \(\alpha \in (0,1)\), the piecewise constant discontinuous Galerkin (PCDG) method in [39] leads to a time-stepping scheme identical with the L1 scheme. The PCDG is given by: find \(u^n\) such that
By letting \(f^n=\tau ^{-1}\int _{t_{n-1}}^{t_n}f(s)ds\), we obtain
Next we derive the explicit expression for the discrete approximation \(\bar{\partial }_\tau ^\alpha u^n\)
where \(\beta _0=1\) and \(\beta _j=(j+1)^{1-\alpha }-2j^{1-\alpha }+(j-1)^{1-\alpha }\), \(j=1,2,\ldots \). With the weights \(b_j\) in (4.2), we have \(\beta _j=b_j-b_{j-1}\), for \(j=1,2,\ldots \), and \(\beta _0=b_0\). Hence, the PCDG approximation \(\bar{\partial }_\tau ^\alpha u^n\) reads
Thus it is identical with the L1 scheme, and Theorem 7 applies.
5 Explicit Euler method
Now we analyze the explicit Euler method for discretizing (1.3) in time:
where the approximation \(\bar{\partial }_\tau ^\alpha u^n\) denotes the BE approximation (3.2). A variant of the scheme was analyzed in [50]. By multiplying (5.1) by \(\xi ^n\) and summing up the results for \(n=1,2,\dots ,\) we obtain
with
Recall that the numerical range S(A) of an operator A is defined by [42, pp. 12]
We denote by \(r(A)=\sup _{z\in S(A)}|z|\) the radius of the numerical range S(A), known as numerical radius. Recall that [42, Theorem 3.9, Chapter 1, pp. 12]
where \(\overline{S(A)}\) denotes of the closure of S(A) in \(\mathbb {C}\), and \(\mathrm {dist} (z,\overline{S(A)})\) is the distance of z from \(\overline{S(A)}\).
The next theorem gives the maximal \(\ell ^p\)-regularity of the explicit Euler method (5.1), if \(\tau ^\alpha r(A)\) is smaller than some given positive constant.
Theorem 8
Let X be a UMD space, \(0<\alpha <1\) or \(1<\alpha <2\), and let A be an R-sectorial operator of angle \(\alpha \pi /2\) such that \(S(A)\subset {\mathbb C}\backslash \varSigma _{\varphi }\) for some \(\varphi \in (\alpha \pi /2,\pi ]\). Then, under the condition (for small \(\epsilon >0\))
the scheme (5.1) satisfies the following discrete maximal regularity
where the constant \(c_{p,X}\) depends only on \(\epsilon \), \(\varphi \) and \(\alpha \) (independent of \(\tau \) and A), and \(c_R\) denotes the R-bound of the set \(\{zR(z;A) :z\in \varSigma _{\alpha \pi /2}\}\).
Proof
For \(\xi =e^{\mathrm {i}\theta }\), \(\theta \in (0,2\pi )\), we have
which is a parametric curve contained in the sector \({\mathbb C}\backslash \overline{\varSigma }_{\alpha \pi /2}\). Let \(\varGamma =\{\tau ^{-\alpha }\delta (e^{\mathrm {i}\theta }):\theta \in (0,2\pi )\}\). It suffices to prove that the family of operators \(\{zR(z;A):z\in \varGamma \}\) is R-bounded. Since \(\{zR(z;A):z\in \varSigma _{\alpha \pi /2}\}\) is R-bounded, by Lemma 2, we have \(\{zR(z;A):z\in \varGamma \cap \varSigma _{\phi }\}\) is R-bounded for some \(\phi \in (\alpha \pi /2,\varphi ]\), where \(\phi \) depends on \(c_R\) and \(\alpha \). It remains to prove that \(\{zR(z;A):z\in \varGamma \backslash \varSigma _{\phi }\}\) is also R-bounded. Note that \(\mathrm{arg}(\tau ^{-\alpha }\delta (e^{\mathrm {i}\theta })) \in {\mathbb C}\backslash \varSigma _{\varphi }\) is equivalent to
Meanwhile, since for \(\theta \in (0,\pi )\), \(|\delta (e^{\mathrm {i}\theta })|=2^\alpha [\sin (\theta /2)]^\alpha \) is strictly monotonically increasing in \(\theta \), for such \(\theta \) satisfying (5.4), there holds
If (5.3) is satisfied, then
for some \(\epsilon _{\alpha ,\varphi }>0\). Now consider the curve \(\varGamma _0:=\{\delta (e^{\mathrm {i}\theta }): \theta \in (0,2\pi )\}\) and the closed region \(D_0:=\{s\varGamma _0:s\in [0,1]\}\), which are fixed (and independent of \(\tau \)). Since \(\overline{S(A)}\subset {\mathbb C}\backslash \varSigma _\varphi \), it follows from (5.5) that
where the constant C depends on the parameters \(\epsilon \), \(\alpha \), \(\varphi \) and \(\phi \), but is independent of \(\tau \) (since both \(\varGamma _0\backslash \varSigma _{\phi }\) and \((1-\epsilon _{\alpha ,\varphi })D_0\backslash \varSigma _\varphi \) are fixed closed subsets of \({\mathbb C}\), independent of \(\tau \)). Since \(\varGamma =\tau ^{-\alpha }\varGamma _0\), the last inequality yields (via scaling)
Hence there exists a finite number of balls \(B(z_j,\rho )\) of radius \(\rho =\frac{1}{4}\tau ^{-\alpha } C^{-1}\), \(z_j\in \varGamma \), which can cover \(\varGamma \backslash \varSigma _{\phi }\), and further, the number of balls is bounded by a constant which depends only the parameters \(\epsilon \), \(\alpha \), \(\varphi \) and \(\phi \), independent of \(\tau \) and A. For each ball \(B(z_j,\rho )\), \(\{zR(z;A):z\in B(z_j,\rho )\}\) is R-bounded and its R-bound is at most (see Lemma 6 below)
where we have used the estimate (5.2) in the first inequality. Then Lemma 1 (iii) implies that \(\{zR(z;A):z\in \varGamma \backslash \varSigma _{\phi }\}\) is also R-bounded. \(\square \)
Remark 4
The constant in condition (5.3) is sharp. The scaling factor \(\tau ^\alpha \) is one notable feature of the model (1.3), and for \(\alpha \in (0,1)\), the exponent \(\alpha \) agrees with that in the stability condition in [50]. Hence, the smaller the fractional order \(\alpha \) is, the smaller the step size \(\tau \) should be taken.
Remark 5
The condition (5.3) covers bounded operators, e.g., finite element approximations of a self-adjoint second-order elliptic operator. For a self-adjoint discrete approximation, the numerical range S(A) is the closed interval spanned by the largest and smallest eigenvalues, but in general, the numerical range S(A) has to be approximated [19, Section 5.6].
Lemma 6
(R-boundedness of operator-valued analytic functions) If the function \(F:\overline{B}(z_0,\rho )\rightarrow \mathcal {B}(X)\) is analytic in a neighborhood of the ball \(\overline{B}(z_0,\rho )\), centered at \(z_0\) with radius \(\rho \), then the set of operators \(\{F(z):\lambda \in B(z_0,\rho /2)\}\) is R-bounded on X, and its R-bound is at most
Proof
The analyticity implies the existence of a power series expansion
where \(F_n\), \(n=0,1,2,\dots \) are bounded linear operators on X and the series converges absolutely in \(B(z_0,\rho )\). Moreover, by Cauchy’s integral formula,
Hence, for \(z_j\in B(z_0,\rho /2)\) and \(u_j\in X\), \(j=1,2,\dots ,m\), Minkowski’s inequality implies
where the second line follows from [30, Proposition 2.5]. This shows that the family of operators \(\{F(z):z\in B(z_0,\rho /2)\}\) is R-bounded. \(\square \)
6 Fractional Crank–Nicolson method
By the fractional Crank–Nicolson method, we mean the following scheme:
where the approximation \(\bar{\partial }_\tau ^\alpha u^n\) denotes the BE approximation (3.2). When \(\alpha =1\), (6.1) coincides with the standard Crank–Nicolson method. For any \(0<\alpha <2\), one can verify that it is second-order in time, provided that the solution is sufficiently smooth [22]. By multiplying (5.1) by \(\xi ^n\) and summing up the results for \(n=1,2,\dots ,\) we obtain
with
First, we prove the maximal \(\ell ^p\)-regularity for (6.1) in the case \(0<\alpha <1\).
Theorem 9
Let X be a UMD space, \(0<\alpha <1\), and let A be an R-sectorial operator on X of angle \(\alpha \pi /2\). Then the scheme (6.1) satisfies the following discrete maximal regularity
where the constant \(c_{p,X}\) depends only on \(\alpha \) (independent of \(\tau \) and A), and \(c_R\) denotes the R-bound of the set of operators \(\{zR(z;A) :z\in \varSigma _{\alpha \pi /2}\}\).
Proof
It suffices to prove that the family of operators \(\big \{\tau ^{-\alpha }\delta (\xi )(\tau ^{-\alpha }\delta (\xi )-A)^{-1}:\xi \in {\mathbb D}'\big \}\) is R-bounded. In fact, for \(\xi =e^{\mathrm {i}\theta }\), \(\theta \in (0,2\pi )\), we have
where the functions \(\rho (\theta )\) and \(\psi (\theta )\) are defined respectively by
and
It is straightforward to compute
Thus \(\frac{\alpha }{2}\theta -\psi (\theta )\) is an increasing function of \(\theta \), taking values from 0 to \(\alpha \pi \) as \(\theta \) changes from 0 to \(2\pi \). Thus \(\tau ^{-\alpha }\delta (e^{\mathrm {i}\theta })\in \varSigma _{\alpha \pi /2}\), and by Lemma 1, the set \(\{(1-\frac{\alpha }{2}+\frac{\alpha }{2} \xi )\tau ^{-\alpha }\delta (\xi )(\tau ^{-\alpha }\delta (\xi )-A)^{-1}:\xi \in {\mathbb D}'\}\) is R-bounded. \(\square \)
Let the function \(\psi \) be defined in (6.3), and \(\theta _\varphi \in (0,\pi )\) be the unique root of the equation
Then we have the following result for the case \(1<\alpha <2\).
Theorem 10
Let X be a UMD space, \(1<\alpha <2\), and let A be an R-sectorial operator on X of angle \(\alpha \pi /2\) such that \(S(A)\subset {\mathbb C}\backslash \varSigma _{\varphi }\) for some \(\varphi \in (\alpha \pi /2,\pi )\). Then, under the condition (for small \(\epsilon >0\))
the scheme (6.1) satisfies the following discrete maximal regularity
where the constant \(c_{p,X}\) depends only on \(\epsilon \), \(\varphi \) and \(\alpha \) (independent of \(\tau \) and A), and \(c_R\) denotes the R-bound of the set \(\{zR(z;A) :z\in \varSigma _{\alpha \pi /2}\}\).
Proof
If \(1<\alpha <2\), then
Hence, \(\frac{\alpha }{2}\theta -\psi (\theta )\) is a decreasing function of \(\theta \), taking values from 0 to \(\alpha \pi -2\pi \) as \(\theta \) changes from 0 to \(2\pi \). Thus \(\tau ^{-\alpha }\delta (e^{\mathrm {i}\theta })\in {\mathbb C}\backslash \varSigma _{\alpha \pi /2}\). With \(\varGamma =\{\tau ^{-\alpha } \delta (e^{\mathrm {i}\theta }): \theta \in (0,2\pi )\}\), it suffices to show that \(\{zR(z;A):z\in \varGamma \}\) is R-bounded. Since \(\{zR(z;A):z\in \varSigma _{\alpha \pi /2}\}\) is R-bounded, by Lemma 2, \(\{zR(z;A):z\in \varGamma \cap \varSigma _{\phi }\}\) is R-bounded for some \(\phi \in (\alpha \pi /2,\pi )\), where \(\phi \) depends on \(c_R\) and \(\alpha \). It remains to prove that \(\{zR(z;A):z\in \varGamma \backslash \varSigma _{\phi }\}\) is also R-bounded. However, \(\mathrm{arg}(\tau ^{-\alpha }\delta (e^{\mathrm {i}\theta }))\in {\mathbb C}\backslash \varSigma _{\varphi }\) is equivalent to
where \(\theta _\varphi \) is the unique root of equation (6.4). Meanwhile, for \( \theta \in (0,\pi )\), \(|\delta (e^{\mathrm {i}\theta })|=2^\alpha [\sin (\theta /2)]^\alpha /\rho (\theta )=2^\alpha \sin (\theta /2)^{\alpha -1}\cdot \sin (\theta /2)/\rho (\theta )\) is monotonically increasing. Hence, for any \(\theta \) satisfying (6.6), we have
If (6.5) is satisfied then for some positive constant \(\epsilon _{\alpha ,\varphi }\),
By repeating the argument in Theorem 8, we deduce \(\mathrm{dist}(z,\overline{S(A)})\ge \tau ^{-\alpha } C^{-1}\) for \(z\in \varGamma \backslash \varSigma _{\phi }\), where C is some constant which may depend on \(\epsilon \), \(\alpha \), \(\varphi \) and \(\phi \), but is independent of \(\tau \). Hence, there exists a finite number of balls \(B(z_j,\rho )\) of radius \(\rho =\frac{1}{4}\tau ^{-\alpha } C^{-1}\), \(z_j\in \varGamma \), which can cover \(\varGamma \backslash \varSigma _{\phi }\), and the number of balls is bounded by a constant which depends only on \(\epsilon \), \(\alpha \), \(\varphi \) and \(\phi \), independent of \(\tau \) and A. By Lemma 6, for each ball \(B(z_j,\rho )\), \(\{zR(z;A):z\in B(z_j,\rho )\}\) is R-bounded and its R-bound is at most
Then Lemma 1 (iii) implies that \(\{zR(z;A):z\in \varGamma \backslash \varSigma _{\phi }\}\) is also R-bounded. \(\square \)
7 Inhomogeneous initial condition
In this section, we consider maximal \(\ell ^p\)-regularity for the problem
with nontrivial initial conditions:
We focus on the BE scheme since other schemes can be analyzed similarly. For (7.2), the BE scheme reads [21, 22]: with \(u^0=v \), find \(u^n\) such that
where \(\bar{\partial }_\tau ^\alpha \) denotes the BE convolution quadrature (3.2).
We shall need the scaled \(L^p\)-norm and weak \(L^p\)-norm (cf. [9, section 1.3])
The main result of this section is the following theorem.
Theorem 11
Let X be a Banach space, \(0<\alpha <1\), and let A be a sectorial operator on X of angle \(\alpha \pi /2\). Then the BE scheme (7.3) has the following maximal \(\ell ^p\)-regularity
where the constant \(c_{p}\) depends on the bound of the set of operators \(\{zR(z;A) :z\in \varSigma _{\alpha \pi /2}\}\), independent of N, \(\tau \) and A.
Proof
By multiplying both sides of (7.3) by \(\xi ^n\) and summing over n, we have
Let \(u(\xi )=\sum _{n=1}^\infty u^n\xi ^n\). Then by repeating the argument in the proof of Theorem 5, we have (with \(\delta (\xi )=1-\xi \))
where the right-hand side is an analytic function in the unit disk. For \(\rho \in (0,1)\), the Cauchy’s integral formula and the change of variable \(\xi =e^{-\tau z}\) yield
where the kernel function K(z) is defined by
and \(\varGamma _\rho ^\tau =\{ a+\mathrm{i} y: y\in (-\pi /\tau ,\pi /\tau )\}\) with \(a=\tau ^{-1}\ln \frac{1}{\rho }>0\). Since zR(z; A) is bounded for \(z\in \varSigma _{\alpha \pi /2}\), zR(z; A) is also bounded for \(z\in \varSigma _{\alpha \pi /2+\varepsilon }\) (the angle can be slightly self-improved (cf. [42, Theorem 5.2 (c)]). Then a standard perturbation argument shows that there exists \(\theta _\varepsilon >0\) (depending on \(\varepsilon \)) such that \(\delta (e^{-\tau z})^\alpha \in \varSigma _{\alpha \pi /2+\varepsilon }\) when \(z\in \varSigma _{\frac{\pi }{2}+\theta _\varepsilon }\). Let
where \(\varGamma _{\theta _\varepsilon ,\kappa }^\tau \) is oriented upwards and \(\varGamma _\pm ^\tau \) is oriented rightwards, and \(0<\kappa <\tau ^{-1}\ln \frac{1}{\rho }\). Then the function K(z)v is analytic in z in the region enclosed by \(\varGamma _{\theta _\varepsilon ,\kappa }^\tau \), \(\varGamma _{\pm }^\tau \) and \(\varGamma _\rho ^\tau \). Since the integrals on \(\varGamma _{+}^\tau \) and \(\varGamma _{-}^\tau \) cancel each other due to the \(2\pi \mathrm{i}\)-periodicity of the integrand, the Cauchy’s theorem yields
Then by choosing \(\kappa =t_n^{-1}\) in the contour \(\varGamma _{\theta _\varepsilon ,\kappa }^\tau \), we deduce
Similarly, one can show
This last estimate immediately implies the third assertion of Theorem 11. Now for \(p\in (1/\alpha ,\infty ]\), we denote by \(E_\tau :X\rightarrow L^\infty ({\mathbb R}_+,X)\) the operator which maps v to the piecewise constant function
The preceding two estimates imply
The estimate (7.6) implies the first assertion of Theorem 11 in the case \(p=\infty \), and the estimate (7.7) implies the second assertion of Theorem 11. The real interpolation of the last two estimates yields
Since \((L^{1/\alpha ,\infty }({\mathbb R}_+,D(A)),L^\infty ({\mathbb R}_+,D(A)))_{1-\frac{1}{\alpha p},p}=L^p({\mathbb R}_+,D(A))\) [9, Theorem 5.2.1], this implies the first assertion of Theorem 11 in the case \(p\in (1/\alpha ,\infty )\). \(\square \)
Remark 6
The proof shows that in the absence of a source term f, the maximal \(\ell ^p\)-regularity of (7.3) only requires the sectorial property of A, rather than the R-sectorial property. The general case (with nonzero source and nonzero initial data) is a linear combination of (1.3) and (7.2).
Remark 7
We have focused our discussions on the Caputo fractional derivative, since it allows specifying the initial condition as usual, and thus is very popular among practitioners. In the Riemann–Liouville case, generally it requires integral type initial condition(s) [27], for which the physical interpretation seems unclear.
In the proof of Theorem 11, we first prove two end-point cases, \(p=1/\alpha \) and \(p=\infty \). Then we use real interpolation method for the case \(1/\alpha<p<\infty \). The real interpolation method also holds for \(0<p<1\) ([9, Theorem 5.2.1]). Thus, we have the following theorem in the case \(1<\alpha <2\). The proof is omitted, since it is almost identical with the proof of Theorem 11.
Theorem 12
Let X be a Banach space, \(1<\alpha <2\), and let A be a sectorial operator on X of angle \(\alpha \pi /2\). Then the BE scheme (7.3) has the following maximal \(\ell ^p\)-regularity:
and
where the constant \(c_{p}\) depends on the bound of the set of operators \(\{zR(z;A) :z\in \varSigma _{\alpha \pi /2}\}\), independent of N, \(\tau \) and A.
8 Examples and application to error estimates
In this section, we present a few examples of fractional evolution equations which possess the maximal \(L^p\)-regularity, and investigate conditions under which the time-stepping schemes in Sects. 3–6 satisfy the maximal \(\ell ^p\)-regularity.
Example 1
(Continuous problem) Consider the following time fractional parabolic equation in a bounded smooth domain \(\varOmega \subset {\mathbb R}^d\) (\(d\ge 1\)):
where \(T>0\) is given and \(\varDelta \) denotes the Laplacian operator. In the appendix, we show that the \(L^q\) realization \(\varDelta _q\) in \(X=L^q(\varOmega )\) of \(\varDelta \) is an R-sectorial operator in X with angle \(\theta \in (0,\pi )\), and that \(\varDelta _q v\) coincides with \(\varDelta v\) in the domain \(D(\varDelta _q)\) of \(\varDelta _q\):
Thus Theorem 3 implies that the solution \(u_q\) of
satisfies \(u_q(\cdot ,t)\in D(\varDelta _q)\) for almost all \(t \in \mathbb {R}_+\) and
In view of (8.2), we shall denote \((\varDelta _q,D(\varDelta _q))\) by \((\varDelta ,D_q(\varDelta ))\) below. Then (8.2)–(8.4) imply that for any given \(1<p,q<\infty \) and \(f\in L^p(0,T;L^q(\varOmega ))\), problem (8.1) has a unique solution \(u\in L^p(0,T;D_q(\varDelta ))\cap W^{1,p}(0,T;L^q(\varOmega ))\) satisfying the maximal regularity
Example 2
(Time discretization) Since the Dirichlet Laplacian \(\varDelta :D_q(\varDelta )\rightarrow L^q(\varOmega )\) defined in Example 8.1 is R-sectorial of angle \(\theta \) for all \(\theta \in (0,\pi )\), Theorems 5, 6 and 7 imply that the time (semi-)discrete solutions given by the backward Euler, BDF2 and L1 scheme satisfy the following maximal \(\ell ^p\)-regularity:
By Theorem 9, the fractional Crank–Nicolson solution also satisfies (8.5) when \(0<\alpha <1\). Since \(\varDelta \) is self-adjoint and has an unbounded spectrum, it follows that \(r(\varDelta )=\infty \), so the conditions of Theorems 8 and 10 cannot be satisfied.
Example 3
(Space–time fractional PDE) Consider the following space–time nonlocal parabolic equation in \({\mathbb R}^d\) (\(d\ge 1\)):
where the fractional Laplacian \((-\varDelta )^\frac{1}{2}v\) is defined by
For \(X:=L^q({\mathbb R}^d)\) and \(D_q((-\varDelta )^\frac{1}{2} ) := W^{1,q}({\mathbb R}^d)\), \(1< q<\infty \), the fractional operator \(-(-\varDelta )^\frac{1}{2}:W^{1,q}({\mathbb R}^d)\rightarrow L^q({\mathbb R}^d)\) is also R-sectorial of angle \(\theta \) for arbitrary \(\theta \in (0,\pi )\) [1, proof of Proposition 2.2]. Hence, by Theorems 5, 6 and 7, the backward Euler, BDF2 and L1 schemes all satisfy the following maximal \(\ell ^p\)-regularity when \(0<\alpha <2\) and \(\alpha \ne 1\)
By Theorem 9, the fractional Crank–Nicolson scheme also satisfies this estimate when \(0<\alpha <1\).
Example 4
(Fractional PDEs with complex coefficients) Consider the following time-fractional PDE with a complex coefficient in a bounded Lipschitz domain \(\varOmega \subset {\mathbb R}^d\) (\(d\ge 1\)):
where \(\varphi \in (-\pi ,\pi )\) is given. It is worth noting that if \(\varphi \in (\pi /2,\pi )\cup (-\pi ,-\pi /2)\), then (8.7) is a diffusion-wave problem, since the operator \(-e^{\mathrm{i}\varphi }\varDelta \) has eigenvalues with negative real part. For \(X:=L^q(\varOmega )\) and \(D_q(e^{\mathrm{i}\varphi }\varDelta ):=D_q(\varDelta )\), \(1< q<\infty \), the operator \(e^{\mathrm{i}\varphi }\varDelta :D_q(\varDelta )\rightarrow L^q(\varOmega )\) is R-sectorial of angle \(\theta \) for arbitrary \(\theta \in (0,\pi -\varphi )\). Hence, by Theorems 5, 6 and 7, the backward Euler, BDF2 and L1 schemes satisfy the maximal \(\ell ^p\)-regularity estimate (8.5) when \(0<\alpha <2-2\varphi /\pi \) and \(\alpha \ne 1\); the fractional Crank–Nicolson scheme also satisfies the estimate (8.5) when \(0<\alpha <\min (2-2\varphi /\pi ,1)\).
As an application of the maximal \(\ell ^p\)-regularity, we present error estimates for the numerical solutions by the BE scheme (3.1), with the scaled \(L^p\)-norm (7.4). Other time-stepping schemes can be analyzed similarly.
Theorem 13
Let \(A:D(A)\rightarrow X\) be an R-sectorial operator of angle \(\alpha \pi /2\), with \(\alpha \in (0,2)\) and \(\alpha \ne 1\), and the solution u of (1.3) be sufficiently smooth. Then the solution of the BE scheme (3.1) satisfies for any \(1<p<\infty \)
Proof
We denote by \(e^n:=u^n-u(t_n)\) the error of the numerical solution \(u^n\). Then \(e^n\) satisfies
with \(e^0=0\), where \(E^n:=\bar{\partial }_\tau ^\alpha u(t_n)-\partial _t^\alpha u(t_n)\) denotes the truncation error, satisfying \(\displaystyle \max _{1\le n\le N}\Vert E^n\Vert _{X} \le c\tau \) [47]. By applying Theorem 5 to (8.9), we obtain
\(\square \)
If \(\varOmega \) is a bounded smooth domain, \(X=L^q(\varOmega )\), \(1<q<\infty \), \(D(A)=W^{2,q}(\varOmega )\cap W^{1,q}_0(\varOmega )\) and \(A=\varDelta \) (the Dirichlet Laplacian), then the conditions of Theorem 13 are satisfied, provided that the solution u is smooth, and (8.8) gives that for any \(1<p,q<\infty \)
When \(q>d\), error estimates in such strong norms as \(W^{2,q}(\varOmega )\hookrightarrow W^{1,\infty }(\varOmega )\) can be used to control some strong nonlinear terms in the numerical analysis of nonlinear parabolic problems [1, 2, 17]. We will explore such an analysis in the future.
References
Akrivis, G., Li, B.: Maximum norm analysis of implicit-explicit backward difference formulas for nonlinear parabolic equations. IMA J. Numer. Anal. (2017). doi:10.1093/imanum/drx008
Akrivis, G., Li, B., Lubich, C.: Combining maximal regularity and energy estimates for time discretizations of quasilinear parabolic equations. Math. Comput. 86(306), 1527–1552 (2017). doi:10.1090/mcom/3228
Arendt, W., Batty, C.J., Hieber, M., Neubrander, F.: Vector-valued Laplace Transforms and Cauchy Problems, 2nd edn. Birkhäuser, Basel (2011)
Ashyralyev, A., Piskarev, S., Weis, L.: On well-posedness of difference schemes for abstract parabolic equations in \(L^p([0, T];E)\) spaces. Numer. Funct. Anal. Optim. 23, 669–693 (2002). doi:10.1081/NFA-120016264
Ashyralyev, A., Sobolevskiĭ, P.E.: Well-Posedness of Parabolic Difference Equations. Birkhäuser Verlag, Basel (1994). doi:10.1007/978-3-0348-8518-8. Translated from the Russian by A. Iacob
Bajlekova, E.G.: Fractional Evolution Equations in Banach Spaces. Ph.D. thesis, Eindhoven University of Technology (2001)
Bazhlekova, E.: Strict \(L^p\) solutions for fractional evolution equations. Fract. Calc. Appl. Anal. 5, 427–436 (2002)
Bazhlekova, E., Clément, P.: Global smooth solutions for a quasilinear fractional evolution equation. J. Evol. Equ. 3, 237–246 (2003). doi:10.1007/978-3-0348-7924-8_13
Bergh, J., Löfström, J.: Interpolation Spaces: An Introduction. Springer, Berlin (1976)
Blunck, S.: Maximal regularity of discrete and continuous time evolution equations. Stud. Math. 146, 157–176 (2001). doi:10.4064/sm146-2-3
Cuesta, E., Lubich, C., Palencia, C.: Convolution quadrature time discretization of fractional diffusion-wave equations. Math. Comput. 75, 673–696 (2006). doi:10.1090/S0025-5718-06-01788-1
Davies, E.B.: Heat Kernels and Spectral Theory. Cambridge University Press, Cambridge (1989)
Dore, G.: \(L^p\) regularity for abstract differential equations. In: Functional Analysis and Related Topics, 1991 (Kyoto), Lecture Notes in Math., vol. 1540, pp. 25–38. Springer, Berlin (1993). doi:10.1007/BFb0085472
Flajolet, P.: Singularity analysis and asymptotics of Bernoulli sums. Theor. Comput. Sci. 215, 371–381 (1999). doi:10.1016/S0304-3975(98)00220-5
Geissert, M.: Discrete maximal \(L_p\) regularity for finite element operators. SIAM J. Numer. Anal. 44, 677–698 (2006). doi:10.1137/040616553
Geissert, M.: Maximal \(L_p\) regularity for parabolic difference equations. Math. Nachr. 279, 1787–1796 (2006). doi:10.1002/mana.200410455
Geissert, M.: Applications of discrete maximal \(L_p\) regularity for finite element operators. Numer. Math. 108, 121–149 (2007). doi:10.1007/s00211-007-0110-1
Grüter, M., Widman, K.O.: The Green function for uniformly elliptic equations. Manuscr. Math. 37, 303–342 (1982). doi:10.1007/BF01166225
Gustafson, K.E., Rao, D.K.M.: Numerical Range. Springer, New York (1997). doi:10.1007/978-1-4613-8498-4. The field of values of linear operators and matrices
Jin, B., Lazarov, R., Zhou, Z.: An analysis of the L1 scheme for the subdiffusion equation with nonsmooth data. IMA J. Numer. Anal. 36, 197–221 (2016). doi:10.1093/imanum/dru063
Jin, B., Lazarov, R., Zhou, Z.: Two fully discrete schemes for fractional diffusion and diffusion-wave equations with nonsmooth data. SIAM J. Sci. Comput. 38, A146–A170 (2016). doi:10.1137/140979563
Jin, B., Li, B., Zhou, Z.: An analysis of the Crank–Nicolson method for subdiffusion. IMA J. Numer. Anal. (2017). doi:10.1093/imanum/drx019. arXiv:1607.06948v2
Jin, B., Zhou, Z.: An analysis of Galerkin proper orthogonal decomposition for subdiffusion. ESAIM Math. Model. Numer. Anal. 51(1), 89–113 (2017). doi:10.1051/m2an/2016017
Kalton, N.J., Lancien, G.: A solution to the problem of \(L^p\)-maximal regularity. Math. Z. 235, 559–568 (2000). doi:10.1007/PL00004816
Kemmochi, T.: Discrete maximal regularity for abstract Cauchy problems. Stud. Math. 234(3), 241–263 (2016)
Kemmochi, T., Saito, N.: Discrete maximal regularity and the finite element method for parabolic equations. Preprint, arXiv:1602.06864 (2016)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Kovács, B., Li, B., Lubich, C.: A-stable time discretizations preserve maximal parabolic regularity. SIAM J. Numer. Anal. 54(6), 3600–3624 (2016). doi:10.1137/15M1040918
Kunstmann, P.C., Li, B., Lubich, C.: Runge–Kutta time discretization of nonlinear parabolic equations studied via discrete maximal parabolic regularity. Found. Comput. Math. preprint, arXiv:1606.03692 (2017)
Kunstmann, P.C., Weis, L.: Maximal \(L_p\)-regularity for parabolic equations, Fourier multiplier theorems and \(H^\infty \)-functional calculus. In: Functional Analytic Methods for Evolution Equations, Lecture Notes in Math., vol. 1855, pp. 65–311. Springer, Berlin (2004). doi:10.1007/978-3-540-44653-8_2
Leykekhman, D., Vexler, B.: Discrete maximal parabolic regularity for Galerkin finite element methods. Numer. Math. 135(3), 923–952 (2017). doi:10.1007/s00211-016-0821-2
Li, B.: Maximum-norm stability and maximal \(L^p\) regularity of FEMs for parabolic equations with Lipschitz continuous coefficients. Numer. Math. 131(3), 489–516 (2015). doi:10.1007/s00211-015-0698-5
Li, B., Sun, W.: Regularity of the diffusion-dispersion tensor and error analysis of Galerkin FEMs for a porous medium flow. SIAM J. Numer. Anal. 53(3), 1418–1437 (2015). doi:10.1137/140958803
Li, B., Sun, W.: Maximal \(L^p\) analysis of finite element solutions for parabolic equations with nonsmooth coefficients in convex polyhedra. Math. Comput. 86(305), 1071–1102 (2017). doi:10.1090/mcom/3133
Li, B., Sun, W.: Maximal regularity of fully discrete finite element solutions of parabolic equations. SIAM J. Numer. Anal. 55(2), 521–542 (2017). doi:10.1137/16M1071912
Lin, Y., Xu, C.: Finite difference/spectral approximations for the time-fractional diffusion equation. J. Comput. Phys. 225, 1533–1552 (2007). doi:10.1016/j.jcp.2007.02.001
Lizama, C.: \(l_p\)-maximal regularity for fractional difference equations on UMD spaces. Math. Nachr. 288(17–18), 2079–2092 (2015). doi:10.1002/mana.201400326
Lubich, C.: Convolution quadrature revisited. BIT 44, 503–514 (2004). doi:10.1023/B:BITN.0000046813.23911.2d
McLean, W., Mustapha, K.: Time-stepping error bounds for fractional diffusion problems with non-smooth initial data. J. Comput. Phys. 293, 201–217 (2015). doi:10.1016/j.jcp.2014.08.050
Metzler, R., Klafter, J.: The random walk’s guide to anomalous diffusion: a fractional dynamics approach. Phys. Rep. 339, 1–77 (2000)
Ouhabaz, E.M.: Gaussian estimates and holomorphy of semigroups. Proc. Am. Math. Soc. 123(5), 1465–1474 (1995). doi:10.2307/2161136
Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York (1983). doi:10.1007/978-1-4612-5561-1
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1999)
Prüss, J.: Evolutionary Integral Equations and Applications. Birkhäuser Verlag, Basel (1993). doi:10.1007/978-3-0348-8570-6
de Simon, L.: Un’applicazione della teoria degli integrali singolari allo studio delle equazioni differenziali lineari astratte del primo ordine. Rend. Sem. Mat. Univ. Padova 34, 205–223 (1964)
Sun, Z.Z., Wu, X.: A fully discrete difference scheme for a diffusion-wave system. Appl. Numer. Math. 56(2), 193–209 (2006). doi:10.1016/j.apnum.2005.03.003
Tuãn, V.K., Gorenflo, R.: Extrapolation to the limit for numerical fractional differentiation. Z. Angew. Math. Mech. 75, 646–648 (1995). doi:10.1002/zamm.19950750826
Weis, L.: Operator-valued Fourier multiplier theorems and maximal \(L_p\)-regularity. Math. Ann. 319, 735–758 (2001). doi:10.1007/PL00004457
Wood, D.: The computation of polylogarithms. Tech. Rep. 15-92, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK (1992). http://www.cs.kent.ac.uk/pubs/1992/110
Yuste, S.B., Acedo, L.: An explicit finite difference method and a new von Neumann-type stability analysis for fractional diffusion equations. SIAM J. Numer. Anal. 42, 1862–1874 (2005). doi:10.1137/030602666
Author information
Authors and Affiliations
Corresponding author
Additional information
The work of B. Jin was partially supported by UK EPSRC EP/M025160/1. The work of B. Li is partially supported by a grant from the Research Grants Council of the Hong Kong Special Administrative Region (Project No. 15300817). The work of Z. Zhou is supported in part by the AFOSR MURI Center for Material Failure Prediction through Peridynamics and the ARO MURI Grant W911NF-15-1-0562.
Appendix: R-sectorial property of \(\varDelta _q\)
Appendix: R-sectorial property of \(\varDelta _q\)
In this appendix, we show that the \(L^q\) realization \(\varDelta _q\) in \(X=L^q(\varOmega )\) of \(\varDelta \) is an R-sectorial operator in X with angle \(\theta \in (0,\pi )\) (see also [2, Lemma 8.2] for related discussions).
Let \(\varDelta _2\) be the restriction of the operator \(\varDelta \) to the domain \(D(\varDelta _2)=\{v\in H^1_0(\varOmega ):\varDelta v\in L^2(\varOmega )\}\). Then the densely defined self-adjoint operator \(\varDelta _2: D(\varDelta _2)\rightarrow L^2(\varOmega )\) generates a bounded analytic semigroup \(E_2(t):L^2(\varOmega )\rightarrow L^2(\varOmega )\) [3, Example 3.7.5], which extends to a bounded analytic semigroup \(E_q(t)\) on \(L^q(\varOmega )\), \(1<q<\infty \) [41, Theorem 3.1], such that
where G(t, x, y) is the kernel of the semigroup \(E_2(t)\), i.e., the parabolic Green’s function. It satisfies the following Gaussian estimate [12, Corollary 3.2.8]:
Let \(\varDelta _q\) be the generator of the semigroup \(E_q(t)\), with its domain [3, Proposition 3.1.9, g]
In particular, we have
The Gaussian estimate (A.2) yields
That is, \(E_q(t/2)v\in L^2(\varOmega )\) for \(v\in L^q(\varOmega )\) and \(t>0\). Hence, (A.1) implies
where the last inclusion is due to the analyticity of the semigroup \(E_2(t)\) [3, Theorem 3.7.19]. Then (A.4) and (A.5) imply
Since \(\displaystyle \lim _{t\downarrow 0}\Vert E_q(t) v-v\Vert _{L^q(\varOmega )}=0\), the last identity implies
That is, \(\varDelta _q v\) coincides with the distributional partial derivative \(\varDelta v\) in the sense of distributions, i.e.,
Remark 8
If the domain \(\varOmega \) is smooth or convex, then we have the characterization
However, this characterization does not hold in general bounded Lipschitz domains (e.g., nonconvex polygons). In a general bounded Lipschitz domain, the operator \(\varDelta _2^{-1}:L^2(\varOmega )\rightarrow L^2(\varOmega )\) has an extension \(\varDelta ^{-1}:L^1(\varOmega )\rightarrow L^1(\varOmega )\), given by [18]
in terms of the elliptic Green’s function \({\mathcal G}(x,y)\), satisfying
Hence, we have the characterization \(D(\varDelta _q)=\{\varDelta ^{-1}v:v\in L^q(\varOmega )\}\).
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Jin, B., Li, B. & Zhou, Z. Discrete maximal regularity of time-stepping schemes for fractional evolution equations. Numer. Math. 138, 101–131 (2018). https://doi.org/10.1007/s00211-017-0904-8
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00211-017-0904-8