Spatial Discretization for Stochastic Semilinear Superdiffusion Driven by Fractionally Integrated Multiplicative Space–Time White Noise

Abstract

We investigate the spatial discretization of a stochastic semilinear superdiffusion problem driven by fractionally integrated multiplicative space–time white noise. The white noise is characterized by its properties of being white in both space and time, and the time fractional derivative is considered in the Caputo sense with an order $\alpha$∈ (1, 2). A spatial discretization scheme is introduced by approximating the space–time white noise with the Euler method in the spatial direction and approximating the second-order space derivative with the central difference scheme. By using the Green functions, we obtain both exact and approximate solutions for the proposed problem. The regularities of both the exact and approximate solutions are studied, and the optimal error estimates that depend on the smoothness of the initial values are established.

1. Introduction

Consider the following stochastic semilinear superdiffusion equation driven by fractionally integrated multiplicative space–time white noise, with $1<\alpha <2,0\le \gamma \le 1,$

$$\left\{\begin{array}{c}{}_0^C{D}_t^{\alpha }u(t,x)-\frac{{\partial }^{2}u(t,x)}{\partial x^2}=F\left(u(t,x)\right)+{}_0{D}_t^{-\gamma }g\left(u(t,x)\right)\frac{{\partial }^{2}W(t,x)}{\partial t\partial x},0<x<1,t>0,\hfill \\ u(t,0)=u(t,1)=0,t>0,\hfill \\ u(0,x)=u_0\left(x\right),0\le x\le 1,\hfill \\ \frac{\partial u}{\partial t}(0,x)=u_1\left(x\right),0\le x\le 1,\hfill \end{array}\right.$$

(1)

where ${}_0^C{D}_t^{\alpha }$ denotes the Caputo fractional derivative with order $1<\alpha <2$, and ${}_0{D}_t^{-\gamma }$ denotes the Riemann–Liouville fractional integral with order $0\le \gamma \le 1$. Here, $u_0\left(x\right)$ and $u_1\left(x\right)$ are the given initial values. The nonlinear terms F and g satisfy the following global Lipschitz conditions and linear growth condition.

Assumption 1.

The nonlinear functions F and g satisfy [1,2]

$$\begin{array}{cc}\hfill \left|F\right(v)-F(w\left)\right|+\left|g\right(v)-g(w\left)\right|& \le C|v-w|,\forall v,w\in \mathbb{R},\hfill \\ \hfill \left|F\right(v\left)\right|+\left|g\right(v\left)\right|& \le C(1+|v\left|\right),\forall v\in \mathbb{R}.\hfill \end{array}$$

Let $(\Omega ,\mathcal{F},{\mathcal{F}}_{t\ge 0},\mathbb{P})$ be a stochastic basis carrying on ${\mathcal{F}}_t$-adapted Brownian sheet $W=\{W(t,x):t\ge 0,x\in {\mathbb{R}}^{+}\}$, which is a zero mean Gaussian random field with covariance [1,3],

$$\mathbb{E}W(t,x)W(s,y)=(t\wedge s)(x\wedge y),$$

(2)

where $\mathbb{E}$ means the expectation, and $a\wedge b=min(a,b),a,b\in \mathbb{R}$.

The deterministic Equation (1) (i.e., $g=0$) offers a suitable representation for attenuated wave propagation, which often exhibits a power law relationship between attenuation and frequency. This type of behavior is commonly observed in various scenarios, such as acoustic wave propagation in lossy media [4]. The exponent of the power law typically falls within the range of 1 to 2, indicating anomalous attenuation [5]. In physical systems, stochastic perturbations arise from diverse natural sources, and their influence cannot be disregarded. Therefore, it is necessary to study the model (1) both theoretically and numerically [6,7].

There are many theoretical and numerical studies for (1) when the noise $\frac{{\partial }^{2}W(t,x)}{\partial t\partial x}$ in (1) is white in time but smooth in space, that is,

$$\frac{{\partial }^{2}W(t,x)}{\partial t\partial x}=\sum _{k=1}^{\infty }{\sigma }_k\left(t\right){\dot{\beta }}_k\left(t\right)e_k\left(x\right),$$

(3)

where ${\sigma }_k\left(t\right)$ is continuous and rapidly decays as k increases to ensure the convergence of the series, and ${\dot{\beta }}_k\left(t\right)=\frac{d{\beta }_k\left(t\right)}{dt}$ represents the white noise, which is the formal derivative of the standard Brownian motion ${\beta }_k\left(t\right)$ for $k=1,2,\dots$ The eigenfunctions $e_k\left(x\right),k=1,2,\dots$, correspond to the Laplacian operator $-\Delta =-\frac{\partial }{\partial x^2}$ subject to homogeneous Dirichlet boundary conditions on the interval $[0,1]$. Li et al. [6] employed the Galerkin finite element method to study the linear problem (1) with $f=0$ and $g=1$, driven by the noise (3). Recently, Li et al. [8] explored the existence and uniqueness of (1) driven by the noise (3) using the Banach fixed-point theorem. Furthermore, Li et al. [7] investigated the Galerkin finite element method for (1) driven by the noise (3) and derived the optimal error estimates. Zou [9] considered the semidiscrete finite element method for approximating (1) driven by the noise (3) with $F=0$ and established the optimal error estimates. More recently, Egwu and Yan [10] studied the existence and uniqueness of (1) driven by the noise (3), and they also considered the finite element approximation for the regularized equation of (1).

Numerous theoretical results have been established for the stochastic subdiffusion equation with a time fractional order $\alpha \in (0,1)$. Anh et al. [11] investigated the existence and uniqueness of the solution for the space–time fractional stochastic equation in the multi-dimensional case. Anh et al. [12] introduced a variational constant formula for the Caputo fractional stochastic differential equation. Chen [13] studied the moments, Hölder regularity, and intermittency for the solution of a nonlinear stochastic subdiffusion problem on $\mathbb{R}$. Chen et al. [14] provided insights for the nonlinear stochastic subdiffusion equation on ${\mathbb{R}}^d$, where $d=1,2,3$. Additionally, Chen et al. [15] addressed the existence, uniqueness, and regularity of the solution of the stochastic subdiffusion problem on ${\mathbb{R}}^d$ for $d=1,2,3$. Various numerical approximations for the stochastic subdiffusion problem with a time fractional order $\alpha \in (0,1)$ have also been proposed. AL-Maskari and Karra [16] explored strong convergence rates for approximating a stochastic time fractional Allen–Cahn equation. Dai et al. [17] discussed the Mittag–Leffler Euler integrator for solving the stochastic space–time fractional diffusion equation. Gunzburger et al. [18,19] investigated the finite element method’s application for approximating the stochastic partial integral–differential equation driven by white noise. Kang et al. [20] developed a Galerkin finite element method to approximate a stochastic semilinear subdiffusion with fractionally integrated additive noise. Additionally, Wu et al. [21] explored the L1 scheme for solving the stochastic subdiffusion equation driven by integrated space–time white noise.

To the best of our knowledge, there is currently no existing numerical method for approximating (1) when the noise $\frac{{\partial }^{2}W(t,x)}{\partial t\partial x}$ is given by (2), which corresponds to white noise in both space and time. The objective of this paper is to bridge this gap by proposing a finite difference scheme for (1). Our approach involves approximating the noise term $\frac{{\partial }^{2}W(t,x)}{\partial t\partial x}$ using the Euler method in the spatial direction and approximating the Laplacian $-\Delta =-\frac{\partial }{\partial x^2}$, using the central difference scheme. By using Green’s functions, we obtain solutions for both (1) and its corresponding finite difference scheme. The regularity of the approximated solution is investigated, and detailed error estimates in the maximum norm are derived. We observe that the spatial convergence order decreases as $\alpha$ traverses the range from 1 to 2 due to the white noise in the spatial direction. Throughout this paper, we shall consider the time discretization, and we expect that as $\alpha$ traverses the range from 1 to 2, the time convergence orders will increase as in the subdiffusion case with $\alpha \in (0,1)$ [22].

The methodology employed in this paper shares similarities with the work of Gyöngy [1], which considered the spatial discretization of (1) with $\alpha =1$, and the work of Wang et al. [22], which examined the spatial discretization of (1) for the subdiffusion problem with $\alpha \in (0,1)$. However, the error estimates in our paper are more complicated than [1,22] due to the presence of an additional initial value $u^{\prime }\left(0\right)$, which requires the studies of the estimates related to the initial value $\frac{u(0,x)}{\partial t}=u_1\left(x\right)$.

Let $0=x_0<x_1<\cdots <x_{M-1}<x_M=1$ be a partition of space interval $[0,1]$, and $\Delta x=\frac{1}{M}$ be the space step size. At the fixed point $x=x_k$ for $k=1,2,\dots ,M-1$, we approximate the second-order space derivative $\frac{{\partial }^{2}u(t,x)}{\partial x^2}$ by the central difference scheme

$${\left.\frac{{\partial }^{2}u(t,x)}{\partial x^2}\right|}_{x=x_k}\approx \frac{u\left(t,x_{k+1}\right)-2u\left(t,x_k\right)+u\left(t,x_{k-1}\right)}{\Delta x^2},$$

and approximate the space–time white noise $\frac{{\partial }^{2}W(t,x)}{\partial x\partial t}$ in the spatial direction with the Euler method

$${\left.\frac{{\partial }^{2}W(t,x)}{\partial t\partial x}\right|}_{x=x_k}\approx \frac{d}{dt}\frac{W\left(t,x_{k+1}\right)-W\left(t,x_k\right)}{\Delta x}.$$

Let $u^M(t,x_k)$ for $k=0,1,2,\dots ,M$ be the approximate solution of $u(t,x)$ at $x=x_k$. Define the following spatial semidiscrete scheme to approximate (1): with $k=1,2,\dots ,M-1$,

$$\begin{array}{cc}\hfill {}_0^C{D}_t^{\alpha }{u}^M\left(t,x_k\right)& -\frac{u^M\left(t,x_{k+1}\right)-2u^M\left(t,x_k\right)+u^M\left(t,x_{k-1}\right)}{\Delta x^2}\hfill \\ \hfill & =F(u^M\left(t,x_k)\right)+{}_0{D}_t^{-\gamma }\left[g\left(u^M\left(t,x_k\right)\right)\frac{d}{dt}\left(\frac{W\left(t,x_{k+1}\right)-W\left(t,x_k\right)}{\Delta x}\right)\right],t>0,\hfill \\ \hfill u^M(t,0)& =u^M(t,1)=0,t\ge 0,\hfill \\ \hfill u^M\left(0,x_k\right)& =u_0\left(x_k\right),t\ge 0,\hfill \\ \hfill \frac{d{u}^M\left(0,x_k\right)}{dt}& =u_1\left(x_k\right),t\ge 0.\hfill \end{array}$$

(4)

This paper is primarily focused on establishing the convergence rates of ${sup}_{x\in [0,1]}\mathbb{E}{|u^M(t,x)-u(t,x)|}^2$ concerning the varying degrees of smoothness in the initial data $u_0$ and $u_1$. The key findings are presented in Theorems 1 and 2 within Section 4.

This paper is organized as follows. Section 2 focuses on the continuous problem. Section 3 considers the spatial discretization. Section 4 examines the error estimates in the maximum norm in space. Lastly, in Appendix A, we present error estimates of the Green functions.

Throughout this paper, we denote C as a generic constant that is independent of the step size $\Delta x$, which could be different at different occurrences. Additionally, we always assume $ϵ>0$ is a small positive constant.

2. Continuous Problem

In this section, our objective is to determine the expression for the solution u of Equation (1) and study its spatial regularity.

Let $\{{\lambda }_j,e_j\},j=1,2,\dots$, be the eigenvalues and eigenfunctions of the operator $A=-\frac{{\partial }^2}{\partial x^2}$ with $\mathcal{D}\left(A\right)=H_0^1(0,1)\cap H^2(0,1)$, which implies that $A{e}_j={\lambda }_j{e}_j$ for $j=1,2,\dots$. Let $E_{\alpha ,\beta }\left(z\right)$ be the two-parameter Mittag–Leffler function defined, with $z\in \mathbb{C}$, by

$$E_{\alpha ,\beta }\left(z\right)=\sum _{k=0}^{\infty }\frac{z^k}{\Gamma (\alpha k+\beta )},\alpha \in (1,2),\beta \in \mathbb{R}.$$

(5)

It is well known that the Mittag–Leffler function $E_{\alpha ,\beta }\left(z\right)$ satisfies the following asymptotic estimates ([23], Theorem 1.6) and ([24], (1.8.28)), with $\alpha \in (1,2),\beta \in \mathbb{R}$ and $\frac{\pi \alpha }{2}<\mu <min(\pi ,\alpha \pi )$,

$$\left|E_{\alpha ,\beta }\left(z\right)\right|\le C\frac{1}{1+\left|z\right|},\mu \le |arg\left(z\right)|\le \pi ,$$

(6)

$$\left|E_{\alpha ,\alpha }\left(z\right)\right|\le C\frac{1}{{(1+|z\left|\right)}^2},\mu \le |arg\left(z\right)|\le \pi .$$

(7)

The following differential formulae are used frequently in this paper.

Lemma 1

([23], (1.83)). Let $\alpha \in (1,2)$ and $\gamma \in [0,1]$. There hold

$$\begin{array}{cc}& \frac{d}{dt}{E}_{\alpha ,1}\left(-t^{\alpha }\lambda \right)=-\lambda t^{\alpha -1}{E}_{\alpha ,\alpha }\left(-t^{\alpha }\lambda \right),\lambda >0,\hfill \\ & \frac{d}{dt}\left[t{E}_{\alpha ,2}\left(-t^{\alpha }\lambda \right)\right]=E_{\alpha ,1}\left(-t^{\alpha }\lambda \right),\lambda >0,\hfill \\ & \frac{d}{dt}\left[t^{\alpha +\gamma -1}{E}_{\alpha ,\alpha +\gamma }\left(-t^{\alpha }\lambda \right)\right]=t^{\alpha +\gamma -2}{E}_{\alpha ,\alpha +\gamma -1}\left(-t^{\alpha }\lambda \right),\lambda >0.\hfill \end{array}$$

Lemma 2.

Assume that Assumption 1 holds true. Further assume that the initial conditions $u_0$ and $u_1\in C[0,1]$. Then, (1) has the following mild solution:

$$\begin{array}{cc}\hfill u(t,x)=& {\int }_0^1{G}_1(t,x,y)u_0\left(y\right)dy+{\int }_0^1{G}_2(t,x,y)u_1\left(y\right)dy\hfill \\ \hfill & +{\int }_0^t{\int }_0^1{G}_3(t-s,x,y)F\left(u(s,y)\right)dyds+{\int }_0^t{\int }_0^1{G}_4(t-s,x,y)g\left(u(s,y)\right)dW(s,y),\hfill \end{array}$$

(8)

where

$$\begin{array}{cc}\hfill & G_1(t,x,y):=\sum _{j=1}^{\infty }{E}_{\alpha ,1}\left(-t^{\alpha }{\lambda }_j\right)e_j\left(x\right)e_j\left(y\right),G_2(t,x,y):=\sum _{j=1}^{\infty }t·E_{\alpha ,2}\left(-t^{\alpha }{\lambda }_j\right)e_j\left(x\right)e_j\left(y\right),\hfill \\ \hfill & G_3(t,x,y):=\sum _{j=1}^{\infty }{t}^{\alpha -1}{E}_{\alpha ,\alpha }\left(-t^{\alpha }{\lambda }_j\right)e_j\left(x\right)e_j\left(y\right),G_4(t,x,y):=\sum _{j=1}^{\infty }{t}^{\alpha +\gamma -1}{E}_{\alpha ,\alpha +\gamma }\left(-t^{\alpha }{\lambda }_j\right)e_j\left(x\right)e_j\left(y\right),\hfill \end{array}$$

(9)

respectively.

Proof. 

Assume that the solution of (1) satisfies $u(t,x)={\sum }_{j=1}^{\infty }{e}_j\left(x\right){\alpha }_j\left(t\right)$ for some unknown functions ${\alpha }_j\left(t\right)$. Applying this expression to (1) yields

$$\begin{array}{cc}\hfill {}_0^C{D}_t^{\alpha }\sum _{j=1}^{\infty }{e}_j\left(x\right){\alpha }_j\left(t\right)+A\sum _{j=1}^{\infty }{e}_j\left(x\right){\alpha }_j\left(t\right)& =\sum _{j=1}^{\infty }(F\left(u\left(t\right)\right),e_j)e_j\left(x\right)+{}_0{D}_t^{-\gamma }\sum _{j=1}^{\infty }(g\left(u\left(t\right)\right),e_j)e_j\left(x\right),\hfill \end{array}$$

(10)

which implies that, since $A{e}_j={\lambda }_j{e}_j$ and ${\left\{e_j\right\}}_{j=1}^{\infty }$ is an orthonormal basis in $L_2(0,1)$,

$$\begin{array}{cc}\hfill & {}_0^C{D}_t^{\alpha }{\alpha }_j\left(t\right)+{\lambda }_j{\alpha }_j\left(t\right)=(F\left(u\left(t\right)\right),e_j)+{}_0{D}_t^{-\gamma }(g\left(u\left(t\right)\right),e_j),\hfill \\ \hfill & {\alpha }_j\left(0\right)=(u_0,e_j),{\alpha }_j^{\prime }\left(0\right)=(u_1,e_j),\hfill \end{array}$$

(11)

where ${\alpha }_j^{\prime }\left(t\right)$ means the derivative of ${\alpha }_j\left(t\right)$.

Let $F_j\left(t\right)=(F\left(u\left(t\right)\right),e_j)$ and $g_j\left(t\right)=(g\left(u\left(t\right)\right),e_j)$. Taking the Laplacian transform on (11), we arrive at

$$z^{\alpha }\widehat{{\alpha }_j}\left(z\right)-z^{\alpha -1}{\alpha }_j\left(0\right)-z^{\alpha -2}{\alpha }_j^{\prime }\left(0\right)+{\lambda }_j\widehat{{\alpha }_j}\left(z\right)=\widehat{F_j}\left(z\right)+z^{-\gamma }\widehat{g_j}\left(z\right),$$

which implies that, by applying the inverse Laplace transform,

$$\begin{array}{cc}\hfill {\alpha }_j\left(t\right)& =E_{\alpha ,1}(-t^{\alpha }{\lambda }_j){\alpha }_j\left(0\right)+t{E}_{\alpha ,2}(-t^{\alpha }{\lambda }_j){\alpha }_j^{\prime }\left(0\right)+{\int }_0^t{(t-s)}^{\alpha -1}{E}_{\alpha ,\alpha }(-{(t-s)}^{\alpha }{\lambda }_j)(F\left(u\left(s\right)\right),e_j)ds\hfill \\ \hfill & +{\int }_0^t{(t-s)}^{\alpha +\gamma -1}{E}_{\alpha ,\alpha +\gamma }(-{(t-s)}^{\alpha }{\lambda }_j)(g\left(u\left(s\right)\right),e_j)ds.\hfill \end{array}$$

Thus, we have

$$\begin{array}{cc}\hfill u(t,x)& =\sum _{j=1}^{\infty }{E}_{\alpha ,1}(-t^{\alpha }{\lambda }_j)e_j\left(x\right){\alpha }_j\left(0\right)+\sum _{j=1}^{\infty }t{E}_{\alpha ,2}(-t^{\alpha }{\lambda }_j)e_j\left(x\right){\alpha }_j^{\prime }\left(0\right)\hfill \\ \hfill & +\sum _{j=1}^{\infty }{\int }_0^t{(t-s)}^{\alpha -1}{E}_{\alpha ,\alpha }(-{(t-s)}^{\alpha -1}{\lambda }_j)(F\left(u\left(s\right)\right),e_j)e_j\left(x\right)ds\hfill \\ \hfill & +\sum _{j=1}^{\infty }{\int }_0^t{(t-s)}^{\alpha +\gamma -1}{E}_{\alpha ,\alpha +\gamma }(-{(t-s)}^{\alpha -1}{\lambda }_j)(g\left(u\left(s\right)\right),e_j)e_j\left(x\right)ds\hfill \\ \hfill & ={\int }_0^1{G}_1(t,x,y)u_0\left(y\right)dy+{\int }_0^1{G}_2(t,x,y)u_1\left(y\right)dy\hfill \\ \hfill & +{\int }_0^t{\int }_0^1{G}_3(t-s,x,y)F\left(u(s,y)\right)dyds+{\int }_0^t{\int }_0^1{G}_4(t-s,x,y)g\left(u(s,y)\right)dW(s,y),\hfill \end{array}$$

(12)

which completes the proof of Lemma 2. □

2.1. The Spatial Regularity of the Solution $u(t,x)$ Defined in (8)

In this subsection, we shall consider the spatial regularity of the solution $u(t,x)$ defined in (8). To do this, we write the solution into two parts $u(t,x)=h(t,x)+n(t,x)$, where $h(t,x)$ is the solution of the homogeneous problem

$$\left\{\begin{array}{c}{}_0^C{D}_t^{\alpha }h(t,x)-\frac{{\partial }^{2}h(t,x)}{\partial x^2}=0,0<x<1,t>0,\hfill \\ h(t,0)=h(t,1)=0,t>0,\hfill \\ h(0,x)=u_0\left(x\right),0\le x\le 1,\hfill \\ \frac{\partial h\left(0,x\right)}{\partial t}=u_1\left(x\right),0\le x\le 1,\hfill \end{array}\right.$$

(13)

and $n(t,x)$ is the solution of the inhomogeneous problem

$$\left\{\begin{array}{c}{}_0^C{D}_t^{\alpha }n(t,x)-\frac{{\partial }^{2}n(t,x)}{\partial x^2}=F\left(u(t,x)\right)+{}_0{D}_t^{-\gamma }g\left(u(t,x)\right)\frac{{\partial }^{2}W(t,x)}{\partial t\partial x},0<x<1,t>0,\hfill \\ n(t,0)=n(t,1)=0,t>0,\hfill \\ n(0,x)=0,0\le x\le 1,\hfill \\ \frac{\partial n\left(0,x\right)}{\partial t}=0,0\le x\le 1.\hfill \end{array}\right.$$

(14)

By Lemma 2, it follows that

$$h(t,x)={\int }_0^1{G}_1(t,x,y)u_0\left(y\right)dy+{\int }_0^1{G}_2(t,x,y)u_1\left(y\right)dy,$$

and

$$n(t,x)={\int }_0^t{\int }_0^1{G}_3(t-s,x,y)F\left(u(s,y)\right)dyds+{\int }_0^t{\int }_0^1{G}_4(t-s,x,y)g\left(u(s,y)\right)dW(s,y).$$

2.1.1. The Spatial Regularity of the Homogeneous Problem (13) When $u_0,u_1\in C[0,1],u_0\left(0\right)=u_0\left(1\right)=0$

Let $0=y_0<y_1<\dots <y_{M-1}<y_M=1$ be a partition of $[0,1]$ and $\Delta y=\frac{1}{M}$ be the step size. Denote by $\widehat{k_M}\left(y\right)$ the piecewise constant function

$$\widehat{k_M}\left(y\right)=\left\{\begin{array}{cc}{y}_j,\hfill & y_j\le y<y_{j+1},j=0,1,\dots ,M-1,\hfill \\ y_M,\hfill & y=y_M.\hfill \end{array}\right.$$

(15)

Lemma 3.

Let $h(t,x)$ be the solution of the homogeneous problem (13). Assume that $u_0,u_1\in C[0,1],u_0\left(0\right)=u_0\left(1\right)=0$. Then, we have

$$\mathbb{E}{\left|h(t,y)-h\left(t,\widehat{k_M}\left(y\right)\right)\right|}^2\le C{t}^{-1+ϵ}(\Delta x^{r_1}+\Delta x^{r_2}),$$

where $r_1$ and $r_2$ are defined in (21).

Proof. 

Note that, by (13) and the Cauchy–Schwarz inequality,

$$\begin{array}{cc}\hfill |h(t,y)-h(t,\widehat{k_M}\left(y\right)){|}^2& ={\left|{\int }_0^1\left[G_1(t,y,z)-G_1(t,\widehat{k_M}\left(y\right),z)\right]u_0\left(z\right)dz\right|}^2\hfill \\ \hfill & +{\left|{\int }_0^1\left[G_2(t,y,z)-G_2(t,\widehat{k_M}\left(y\right),z)\right]u_1\left(z\right)dz\right|}^2,\hfill \\ \hfill & \le \left[{\int }_0^1{\left|G_1(t,y,z)-G_1\left(t,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dz\right]\left[{\int }_0^1{\left|u_0\left(z\right)\right|}^{2}dz\right]\hfill \\ \hfill & +\left[{\int }_0^1{\left|G_2(t,y,z)-G_2\left(t,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dz\right]\left[{\int }_0^1{\left|u_1\left(z\right)\right|}^{2}dz\right].\hfill \end{array}$$

By Lemmas A1 and A4, we arrive at

$$\mathbb{E}{\left|h(t,y)-h\left(t,\widehat{k_M}\left(y\right)\right)\right|}^2\le C{t}^{-1+ϵ}(\Delta x^{r_1}+\Delta x^{r_2}),$$

which completes the proof of Lemma 3. □

2.1.2. The Spatial Regularity of the Homogeneous Problem (13) When $u_0\in C^2[0,1],u_0\left(0\right)=u_0\left(1\right)=0,u_1\in C[0,1]$

Lemma 4.

Let $h(t,x)$ be the solution of the homogeneous problem (13). Assume that $u_0\in C^2[0,1],u_0\left(0\right)=u_0\left(1\right)=0,u_1\in C[0,1]$. Then, we have

$$\mathbb{E}{\left|h(t,y)-h\left(t,\widehat{k_M}\left(y\right)\right)\right|}^2\le C\Delta x^{r_3}\left|\right|u_0{\left|\right|}_{C^2[0,1]}+C{t}^{-1+ϵ}\Delta x^{r_2}\left|\right|u_1{\left|\right|}_{C[0,1]}^2,$$

where $r_2,r_3$ are defined in (21).

Proof. 

The proof is similar to the proof of ([22], Lemma 4). We omit the proof here. □

Remark 1.

In Lemma 4, the error bounds pertaining to $u_0$ undergo a transformation from $\Delta x^{r_1}$ to $\Delta x^{r_3}$ for the smooth initial data $u_0$.

2.1.3. The Spatial Regularity of the Inhomogeneous Problem (14)

In this section, we shall consider the spatial regularity of the inhomogeneous problem (14).

Lemma 5.

Assume that Assumption 1 holds. Let $n(t,x)$ be the solution of (14). Then, we have

$$\mathbb{E}|n(t,y)-n\left(t,\widehat{k_M}\left(y\right)\right){|}^2\le C\left(\Delta x^{r_3}+\Delta x^{r_4}\right),$$

where $r_3$ and $r_4$ are defined in (21).

Proof. 

We only consider the estimate related to the nonlinear term $F\left(u\right)$. The estimate related to the multiplicative noise term $g\left(u\right)$ can be obtained by using a similar method as that in the proof of ([22], Lemma 5).

Let $h_1(s,z):=F\left(u(s,z)\right)$. It is easy to show that ${sup}_{s,z}\mathbb{E}{\left|h_1(s,z)\right|}^2<\infty$. Further, let

$$n_1(t,x):={\int }_0^t{\int }_0^1{G}_3(t-s,x,z)h_1(s,z)dzds.$$

By Lemma A7, we arrive at

$$\begin{array}{cc}\hfill \mathbb{E}|n_1(t,y)-n_1(t,\widehat{k_M}\left(y\right)){|}^2& =\mathbb{E}{\left|{\int }_0^t{\int }_0^1\left[G_3(t-s,y,z)h_1(s,z)-G_3\left(t-s,\widehat{k_M}\left(y\right),z\right)\right]h_1(s,z)dzds\right|}^2,\hfill \\ & \le \mathrm{C}\mathbb{E}{\int }_0^t{\int }_0^1{\left|G_3(t-s,y,z)-G_3\left(t-s,\widehat{k_M}\left(y\right),z\right)\right|}^2{\left|h_1(s,z)\right|}^{2}dzds,\hfill \\ & \le \mathrm{C}{\int }_0^t{\int }_0^1{\left|G_3(t-s,y,z)-G_3\left(t-s,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dzds\le C\Delta x^{r_3},\hfill \end{array}$$

where $r_3$ is defined in (21). The proof of Lemma 5 is complete. □

3. Spatial Discretization

In this section, we shall consider the expression of the approximate solution in (4) and study its regularity.

Lemma 6.

Assume that Assumption 1 holds. Let $u^M(t,x_k)$, $k=0,1,2,\dots ,M$ be the approximate solutions in (4). Assume that $u_0,u_1\in C[0,1]$. Let $u^M(t,x)$ be the piecewise linear continuous function satisfying $u^M{(t,x)|}_{x=x_k}=u^M(t,x_k)$, $k=0,1,2,\dots ,M$. Then, we have

$$\begin{array}{cc}\hfill u^M(t,x)=& {\int }_0^1{G}_1^M(t-s,x,y)u_0\left(\widehat{k_M}\left(y\right)\right)dy+{\int }_0^1{G}_2^M(t-s,x,y)u_1\left(\widehat{k_M}\left(y\right)\right)dy\hfill \\ \hfill & +{\int }_0^t{\int }_0^1{G}_3^M(t-s,x,y)F\left(u^M(s,\widehat{k_M}\left(y\right))\right)dyds\hfill \\ \hfill & +{\int }_0^t{\int }_0^1{G}_4^M(t-s,x,y)g\left(u^M(s,\widehat{k_M}\left(y\right))\right)\frac{{\partial }^2{W}_M(s,y)}{\partial s\partial y}dyds,\hfill \end{array}$$

(16)

where, with $k_M\left(y\right),y\in [0,1]$ defined by (15),

$$\begin{array}{cc}\hfill & G_1^M(t,x,y):=\sum _{j=1}^{M-1}{E}_{\alpha ,1}\left(-t^{\alpha }{\lambda }_j\right)e_j^M\left(x\right)e_j\left(\widehat{k_M}\left(y\right)\right),G_2^M(t,x,y):=\sum _{j=1}^{M-1}t·E_{\alpha ,2}\left(-t^{\alpha }{\lambda }_j\right)e_j^M\left(x\right)e_j\left(\widehat{k_M}\left(y\right)\right),\hfill \\ \hfill & G_3^M(t,x,y):=\sum _{j=1}^{M-1}{t}^{\alpha -1}{E}_{\alpha ,\alpha }\left(-t^{\alpha }{\lambda }_j\right)e_j^M\left(x\right)e_j\left(\widehat{k_M}\left(y\right)\right),G_4^M(t,x,y):=\sum _{j=1}^{M-1}{t}^{\alpha +\gamma -1}{E}_{\alpha ,\alpha +\gamma }\left(-t^{\alpha }{\lambda }_j\right)e_j^M\left(x\right)e_j\left(\widehat{k_M}\left(y\right)\right),\hfill \end{array}$$

where $e_j^M\left(x\right)$ is the linear interpolation function of $e_j\left(x\right)$ defined on $x_m,m=1,2,\dots ,M-1$, that is, $e_j^M\left(x\right)=e_j\left(x_m\right)+\frac{e_j\left(x_{m+1}\right)-e_j\left(x_m\right)}{\Delta x}(x-x_m)$ for $x\in [x_m,x_{m+1}]$.

Proof. 

The proof is similar to the proof of ([22], Lemma 6). We omit the proof here. □

3.1. The Spatial Regularity of the Solution $u^M(t,x)$ Defined in (16)

In this subsection, we shall consider the spatial regularity of the solution $u^M(t,x)$ defined in (16). To do this, we write the solution into two parts

$$u^M(t,x)=h^M(t,x)+n^M(t,x).$$

Here, $h^M(t,x)$ and $n^M(t,x)$ are the homogeneous and inhomogeneous parts of $u^M(t,x)$ defined by

$$\left\{\begin{array}{c}{}_0^C{D}_t^{\alpha }{h}^M(t,x)-\frac{{\partial }^2{h}^M(t,x)}{\partial x^2}=0,0<x<1,t>0,\hfill \\ h^M(t,0)=h^M(t,1)=0,t>0,\hfill \\ h^M(0,x)=u_0^M\left(x\right),0\le x\le 1,\hfill \\ \frac{\partial h^M\left(0,x\right)}{\partial t}=u_1^M\left(x\right),0\le x\le 1,\hfill \end{array}\right.$$

(17)

and

$$\left\{\begin{array}{c}{}_0^C{D}_t^{\alpha }{n}^M(t,x)-\frac{{\partial }^2{n}^M(t,x)}{\partial x^2}=F\left(u^M(t,x)\right)+{}_0{D}_t^{-\gamma }g\left(u^M(t,x)\right)\frac{{\partial }^{2}W(t,x)}{\partial t\partial x},0<x<1,t>0,\hfill \\ n^M(t,0)=n^M(t,1)=0,t>0,\hfill \\ n^M(0,x)=0,0\le x\le 1,\hfill \\ \frac{\partial n^M\left(0,x\right)}{\partial t}=0,0\le x\le 1,\hfill \end{array}\right.$$

(18)

respectively. Here, $u_0^M\left(x\right)$ and $u_1^M\left(x\right)$ are the linear interpolation functions of $u_0\left(x\right)$ and $u_1\left(x\right)$ defined on the nodes $0<x_0<x_1<\cdots <x_M=1$, respectively.

By Lemma 6, we have

$$h^M(t,x)={\int }_0^1{G}_1^M(t,x,y)u_0\left(\widehat{k_M}\left(y\right)\right)dy+{\int }_0^1{G}_2^M(t,x,y)u_1\left(\widehat{k_M}\left(y\right)\right)dy,$$

and

$$n^M(t,x)={\int }_0^t{\int }_0^1{G}_3^M(t-s,x,y)F\left(u^M(s,\widehat{k_M}\left(y\right))\right)dyds+{\int }_0^t{\int }_0^1{G}_4^M(t-s,x,y)g^M\left(u(s,\widehat{k_M}\left(y\right))\right)\frac{{\partial }^2{W}^M(s,y)}{\partial s\partial y}dyds.$$

3.1.1. The Spatial Regularity of the Homogeneous Problem (17) When $u_0,u_1\in C[0,1],u_0\left(0\right)=u_0\left(1\right)=0$

Lemma 7.

Let $h^M(t,x)$ be the solution of the homogeneous problem (17). Assume that $u_0,u_1\in C[0,1],u_0\left(0\right)=u_0\left(1\right)=0$. Then, we have

$$\mathbb{E}|h^M(t,y)-h^M\left(t,\widehat{k_M}\left(y\right)\right){|}^2\le C{t}^{-1+ϵ}(\Delta x^{r_1}+\Delta x^{r_2}),$$

where $r_1$ and $r_2$ are defined by (21).

Proof. 

Note that

$$\begin{array}{cc}\hfill |h^M(t,y)-h^M(t,\widehat{k_M}\left(y\right){|}^2=& {\left|{\int }_0^1\left[G_1^M(t,y,z)-G_1^M\left(t,\widehat{k_M}\left(y\right),z\right)\right]u_0\left(\widehat{k_M}\left(z\right)\right)dz\right|}^2\hfill \\ & +{\left|{\int }_0^1\left[G_2^M(t,y,z)-G_2^M\left(t,\widehat{k_M}\left(y\right),z\right)\right]u_1\left(\widehat{k_M}\left(z\right)\right)dz\right|}^2.\hfill \end{array}$$

Applying the Cauchy–Schwartz inequality, we have

$$\begin{array}{cc}\hfill |h^M(t,y)-h^M(t,\widehat{k_M}\left(y\right){|}^2& \le \left[{\int }_0^1{\left|G_1^M(t,y,z)-G_1^M\left(t,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dz\right]\left[{\int }_0^1{\left|u_0\left(\widehat{k_M}\left(z\right)\right)\right|}^{2}dz\right]\hfill \\ & +\left[{\int }_0^1{\left|G_2^M(t,y,z)-G_2^M\left(t,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dz\right]\left[{\int }_0^1{\left|u_1\left(\widehat{k_M}\left(z\right)\right)\right|}^{2}dz\right],\hfill \end{array}$$

which implies that, by Lemmas A2 and A5,

$$\mathbb{E}|h^M(t,y)-h^M\left(t,\widehat{k_M}\left(y\right)\right){|}^2\le C{t}^{-1+ϵ}(\Delta x^{r_1}+\Delta x^{r_2}),$$

where $r_1$ and $r_2$ are defined by (21). The proof of Lemma 7 is complete. □

3.1.2. The Spatial Regularity of the Homogeneous Problem (17) When $u_0\in C^2[0,1],u_0\left(0\right)=u_0\left(1\right)=0,u_1\in C[0,1]$

Lemma 8.

Let $h^M(t,x)$ be the solution of the homogeneous problem (17). Assume that $u_0\in C^2[0,1],u_0\left(0\right)=u_0\left(1\right)=0,u_1\in C[0,1]$. Then, we have

$$\mathbb{E}{\left|h^M(t,y)-h^M\left(t,\widehat{k_M}\left(y\right)\right)\right|}^2\le C\Delta x^{r_3}+C{t}^{-1+ϵ}\Delta x^{r_2},$$

where $r_2$ and $r_3$ are defined by (21).

Proof. 

The proof is similar to the proof of ([22], Lemma 8). We omit the proof here. □

3.1.3. The Spatial Regularity of the Inhomogeneous Problem (16)

In this subsection, we shall consider the spatial regularity of the inhomogeneous problem (18).

Lemma 9.

Assume that Assumption 1 holds. Let $n^M(t,x)$ be the solution of (18). Then, we have

$$\mathbb{E}{\left|n^M(t,y)-n^M\left(t,\widehat{k_M}\left(y\right)\right)\right|}^2\le \mathrm{C}\left(\Delta x^{r_3}+\Delta x^{r_4}\right),$$

where $r_3$ and $r_4$ are defined in (21).

Proof. 

The proof is similar to the proof of Lemma 5 above. We omit the proof here. □

4. Error Estimates

In this section, we shall prove the following two theorems which provide the error estimates of the proposed numerical methods for the different smoothness of the initial value $u_0$.

Theorem 1.

Let $\alpha \in (1,2)$ and $\gamma \in [0,1]$. Assume that Assumption 1 holds. Let $u(t,x)$ and $u^M\left(t,x_k\right),k=0,1,2,\dots ,M$ be the solutions of (1) and (4), respectively. Further assume that $u_0,u_1\in C^1[0,1],u_0\left(0\right)=u_0\left(1\right)=0$. Let $ϵ>0$ be any small number.

1. 

If $F=0$, then we have

$$\underset{x\in [0,1]}{sup}\mathbb{E}{|u^M(t,x)-u(t,x)|}^2\le C{t}^{-1+ϵ}(\Delta x^{r_1}+\Delta x^{r_2})+C(\Delta x^{r_1}+\Delta x^{r_2}+\Delta x^{r_4}).$$

(19)

2. 

If $F\ne 0$, then we have

$$\underset{x\in [0,1]}{sup}\mathbb{E}{|u^M(t,x)-u(t,x)|}^2\le C{t}^{-1+ϵ}(\Delta x^{r_1}+\Delta x^{r_2})+C(\Delta x^{r_1}+\Delta x^{r_2}+\Delta x^{r_3}+\Delta x^{r_4}).$$

(20)

Here,

$$\left\{\begin{array}{cc}{r}_1\hfill & =4\left(\frac{1-ϵ}{2\alpha }\right)-1,\hfill \\ r_2\hfill & =2,\hfill \\ r_3\hfill & =3-\frac{2}{\alpha },\hfill \\ r_4\hfill & =3-\frac{2(1-2\gamma )}{\alpha }.\hfill \end{array}\right.$$

(21)

Remark 2.

The distinction between the error estimates for $F=0$ and $F\ne 0$ in Theorem 1 lies in the presence of $\Delta x^{r_3}$, originating from the estimate for the term F.

Remark 3.

When the initial value $u_0\in C^1[0,1]$ with boundary conditions $u_0\left(0\right)=u_0\left(1\right)=0$, the error is bounded by $\Delta x^{r_1}$, where $r_1=4\left(\frac{1-ϵ}{2\alpha }\right)-1,\alpha \in (1,2)$. This error bound exhibits a reduction as α transitions from 1 to 2. Regarding the time discretization, it is worth noting that the convergence order in time will exhibit an increase as the order α transitions from 1 to 2, which we will report in our next paper.

If the initial value $u_0$ is smooth enough such that $u_0\in C^3[0,1],u_0\left(0\right)=u_0\left(1\right)=0$, then we have the following result.

Theorem 2.

Let $\alpha \in (1,2)$ and $\gamma \in [0,1]$. Assume that Assumption 1 holds. Let $u(t,x)$ and $u^M\left(t,x_k\right),k=0,1,2,\dots ,M$ be the solutions of (1) and (4), respectively. Further assume that $u_0\in C^3[0,1],u_1\in C^1[0,1],u_0\left(0\right)=u_0\left(1\right)=0$. Let $ϵ>0$ be any small number. Then, we have

$$\underset{k\in [0,1]}{sup}\mathbb{E}|u^M(t,x_k)-u(t,x_k){|}^2\le C(\Delta x^{r_2}+\Delta x^{r_3}+\Delta x^{r_4},$$

(22)

where $r_2,r_3$ and $r_4$ are defined in (21).

Remark 4.

In this theorem, the error bounds remain identical for both cases, whether $F=0$ or $F\ne 0$. This uniformity arises from the transformation of the error bounds associated with the initial value $u_0$, transitioning from $\Delta x^{r_1}$ to $\Delta x^{r_3}$.

To prove Theorems 1 and 2, we need the following Grönwall lemma.

Lemma 10

([1], Lemma 3.4). Let $z:[0,T]\to {\mathbb{R}}^{+}$ be a function satisfying

$$0\le z\left(t\right)\le a+K{\int }_0^t{(t-s)}^{\sigma }z\left(s\right)ds,$$

with constants $a\ge 0,K>0$ and $\sigma >-1$. Then there exists a constant $C=C(\sigma ,K,T)$ such that

$$z\left(t\right)\le Ca.$$

4.1. Proof of Theorem 2

In this subsection, we will give the proof of Theorem 2.

Proof of Theorem 2.

We shall consider three cases.

Case 1. $F=0,g=0$. In this case, the solution $h(t,x)$ and the approximate solution $h^M(t,x)$ take the forms

$$\begin{array}{cc}\hfill h(t,x)& ={\int }_0^1{G}_1(t,x,y)u_0\left(y\right)dy+{\int }_0^1{G}_2(t,x,y)u_1\left(y\right)dy=h_1(t,x)+h_2(t,x),\hfill \\ \hfill h^M(t,x)& ={\int }_0^1{G}_1^M(t,x,y)u_0\left(y\right)dy+{\int }_0^1{G}_2^M(t,x,y)u_1\left(y\right)dy=h_1^M(t,x)+h_2^M(t,x),\hfill \end{array}$$

where the Green functions $G_j,j=1,2$ and $G_j^M,j=1,2$ are defined by Lemmas 2 and 6, respectively.

Note that

$$\begin{array}{cc}\hfill h_1(t,x)& =u_0\left(x\right)+{\int }_0^t{\int }_0^1{G}_3(t,x,y)u_0^{\prime \prime }\left(y\right)dyds,\hfill \\ \hfill h_1^M(t,x)& =u_0^M\left(x\right)+{\int }_0^t{\int }_0^1{G}_3^M(t,x,y)\frac{u_0({\widehat{k}}_M\left(y\right)+\frac{1}{M})-2u_0({\widehat{k}}_M\left(y\right))+u_0({\widehat{k}}_M\left(y\right)-\frac{1}{M})}{\Delta x^2}dyds,\hfill \end{array}$$

where $u_0^M\left(x\right)$ is the piecewise linear interpolation function of $u_0\left(x\right)$ on $x_k,k=0,1,2,\dots ,M$. Following the proof of ([22], (41)), we may show, noting that $u_0\in C^3[0,1]$,

$$\mathbb{E}|h_1(t,x)-h_1^M{(t,x)|}^2\le C(\Delta x^2+\Delta x^{r_3}),$$

where $r_3$ is defined in (21). Further, by Lemma A6, we have

$$\begin{array}{cc}\hfill \mathbb{E}|h_2(t,x)-h_2^M{(t,x)|}^2& \le {\int }_0^1|G_2(t,x,y)-G_2^M{(t,x,y)|}^{2}dy\left|\right|u_1{\left|\right|}_{C[0,1]}^2\hfill \\ \hfill & \le C{t}^{-1+ϵ}\Delta x^{r_2}\left|\right|u_1{\left|\right|}_{C[0,1]}^2\le C{t}^{-1+ϵ}\Delta x^{r_2},\hfill \end{array}$$

where $r_2$ is defined in (21).

Hence, we obtain the following error estimates when $F=0,g=0$,

$$\mathbb{E}|h(t,x)-h^M{(t,x)|}^2\le C(\Delta x^2+\Delta x^{r_3})+C{t}^{-1+ϵ}\Delta x^{r_2}.$$

(23)

Case 2. $F=0,g\ne 0$ and $u_0\left(x\right)=u_1\left(x\right)=0$. In this case, the solution $n(t,x)$ and the approximate solution $n^M(t,x)$ take the forms, by Lemmas 2 and 6,

$$\begin{array}{cc}\hfill n(t,x)& ={\int }_0^t{\int }_0^1{G}_4(t-s,x,y)g\left(u(s,y)\right)\frac{{\partial }^{2}W(s,y)}{\partial s\partial y}dyds,\hfill \\ \hfill n^M(t,x)& ={\int }_0^t{\int }_0^1{G}_4^M(t-s,x,y)g\left(u^M\left(s,\widehat{k_M}\left(y\right)\right)\right)\frac{{\partial }^2{W}_M(s,y)}{\partial s\partial y}dyds,\hfill \end{array}$$

which implies that

$$\begin{array}{cc}\hfill & \mathbb{E}|n^M{(t,x)-n(t,x)|}^2\hfill \\ \hfill & =\mathbb{E}|{\int }_0^t{\int }_0^1{G}_4^M(t-s,x,y)g\left(u^M(s,\widehat{k_M}\left(y\right))\right)\frac{{\partial }^2{W}_M(s,y)}{\partial s\partial y}dyds-{\int }_0^t{\int }_0^1{G}_4(t-s,x,y)g\left(u(s,y)\right)\frac{{\partial }^{2}W(s,y)}{\partial s\partial y}dyds{|}^2,\hfill \\ \hfill & \le C\mathbb{E}|{\int }_0^t{\int }_0^1\left[G_4^M(t-s,x,y)g\left(u^M(s,\widehat{k_M}\left(y\right))\right)-G_4(t-s,x,y)g\left(u(s,y)\right)\right]\frac{{\partial }^{2}W(s,y)}{\partial s\partial y}dyds{|}^2\hfill \\ \hfill & +C\mathbb{E}|{\int }_0^t{\int }_0^1\left[G_4^M(t-s,x,y)g\left(u^M(s,\widehat{k_M}\left(y\right))\right)\right]\left[\frac{{\partial }^{2}W(s,y)}{\partial s\partial y}-\frac{{\partial }^2{W}_M(s,y)}{\partial s\partial y}\right]dyds{|}^2,\hfill \\ \hfill & =I_1+I_2.\hfill \end{array}$$

Following the estimate of ([22], (50)), we may show

$$I_1\le C\Delta x^{r_4}+{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}\underset{y\in [0,1]}{sup}\mathbb{E}{|u^M(s,\widehat{k_M}\left(y\right))-u(s,y)|}^{2}ds,$$

and

$$I_2=\mathbb{E}|\sum _{k=0}^{M-1}{\int }_0^t{\int }_{y_k}^{y_{k+1}}0dW(s,y){|}^2=0,$$

where $r_4$ is defined in (21). Hence, we obtain

$$\mathbb{E}|n^M{(t,x)-n(t,x)|}^2\le C\Delta x^{r_4}+{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}\underset{y\in [0,1]}{sup}\mathbb{E}{|u^M(s,\widehat{k_M}\left(y\right))-u(s,y)|}^{2}ds.$$

(24)

Note that

$$\begin{array}{cc}\hfill \mathbb{E}|u^M(s,\widehat{k_M}\left(y\right)){-u(s,y)|}^2& \le C\mathbb{E}|n^M(s,\widehat{k_M}\left(y\right))-n^M{(s,y)|}^2+C\mathbb{E}{|n^M(s,\widehat{k_M}\left(y\right))-n(s,y)|}^2\hfill \\ \hfill & +C\mathbb{E}|h^M(s,\widehat{k_M}\left(y\right))-h^M{(s,y)|}^2+C\mathbb{E}{|h^M(s,y)-h(s,y)|}^2,\hfill \\ \hfill & =I_1+I_2+I_3+I_4.\hfill \end{array}$$

From Lemmas 9 and 8 and (23), it follows, noting that $r_2=2$ by (21),

$$\begin{array}{cc}\hfill I_1+I_3+I_4& \le C\left[\left(\Delta x^{r_3}+\Delta x^{r_4}\right)+\left(\Delta x^{r_3}+t^{-1+ϵ}\Delta x^{r_2}\right)+\left(\Delta x^2+\Delta x^{r_3}+t^{-1+ϵ}\Delta x^{r_2}\right)\right]\hfill \\ \hfill & \le C\left(\Delta x^{r_2}+\Delta x^{r_3}+\Delta x^{r_4}+t^{-1+ϵ}\Delta x^{r_2}\right),\hfill \end{array}$$

where $r_2,r_3$ and $r_4$ are defined by (21). Thus, we have, noting $2(\alpha +\gamma -1)-\frac{\alpha }{2}>-1$ for $\alpha \in (1,2)$,

$$\begin{array}{cc}\hfill & \mathbb{E}|n^M{(t,x)-n(t,x)|}^2\hfill \\ \hfill & \le C\Delta x^{r_4}+C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}\left[(\Delta x^{r_2}+s^{-1+ϵ}\Delta x^{r_2}+\Delta x^{r_3}+\Delta x^{r_4})+\underset{y\in [0,1]}{sup}\mathbb{E}{|n^M(s,y)-n(s,y)|}^2\right]ds,\hfill \\ \hfill & \le C(\Delta x^{r_2}+\Delta x^{r_3}+\Delta x^{r_4})+C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}\left[\underset{y\in [0,1]}{sup}\mathbb{E}{|n^M(s,y)-n(s,y)|}^2\right]ds,\hfill \end{array}$$

which implies that

$$\begin{array}{cc}\hfill \underset{x\in [0,1]}{sup}\mathbb{E}{|n^M(t,x)-n(t,x)|}^2\le & C\left(\Delta x^{r_2}+\Delta x^{r_3}+\Delta x^{r_4}\right)\hfill \\ \hfill & +C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}\left[\underset{y\in [0,1]}{sup}\mathbb{E}{|n^M(s,y)-n(s,y)|}^2\right]ds.\hfill \end{array}$$

Applying the Grönwall Lemma 10, we arrive at, for $F=0$,

$$\underset{x\in [0,1]}{sup}\mathbb{E}{|n^M(t,x)-n(t,x)|}^2\le C\left(\Delta x^{r_2}+\Delta x^{r_3}+\Delta x^{r_4}\right).$$

(25)

Case 3. $F\ne 0,g=0$ and $u_0\left(x\right)=u_1\left(x\right)=0$. In this case, the solution $n(t,x)$ and the approximate solution $n^M(t,x)$ take the forms, by Lemmas 2 and 6,

$$n(t,x)={\int }_0^t{\int }_0^1{G}_3(t-s,x,y)F\left(u(s,y)\right)dyds,$$

and

$$n^M(t,x)={\int }_0^t{\int }_0^1{G}_3^M(t-s,x,y)F(u^M(s,\widehat{k_M}\left(y\right)))dyds.$$

Following the same argument as in ([22], p. 19), we arrive at

$$\underset{x\in [0,1]}{sup}\mathbb{E}{|n^M(t,x)-n(t,x)|}^2\le C\left(\Delta x^{r_2}+\Delta x^{r_3}+\Delta x^{r_4}\right),$$

(26)

where $r_2,r_3$ and $r_4$ are defined by (21). Together, these estimates complete the proof of Theorem. □

4.2. Proof of Theorem 1

In this subsection, we will give the proof of Theorem 1.

Proof of Theorem 1.

Similar as in the proof of Theorem 2, we consider three cases.

Case 1. $F=0,g=0$. In this case, the solution $h(t,x)$ and the approximate solution $h^M(t,x)$ take the forms

$$\begin{array}{cc}\hfill h(t,x)& ={\int }_0^1{G}_1(t,x,y)u_0\left(y\right)dy+{\int }_0^1{G}_2(t,x,y)u_1\left(y\right)dy,\hfill \\ \hfill h^M(t,x)& ={\int }_0^1{G}_1^M(t,x,y)u_0\left(y\right)dy+{\int }_0^1{G}_2^M(t,x,y)u_1\left(y\right)dy.\hfill \end{array}$$

By applying the Cauchy–Schwarz inequality, we arrive at

$$\begin{array}{cc}\hfill & |h(t,x)-h^M{(t,x)|}^2\hfill \\ \hfill & \le C|{\int }_0^1[G_1^M(t,x,y)-G_1(t,x,y)]u_0\left(\widehat{k_M}\left(y\right)\right)dy{|}^2+C|{\int }_0^1{G}_1(t,x,y)[u_0\left(\widehat{k_M}\left(y\right)\right)-u_0\left(y\right)]dy{|}^2\hfill \\ \hfill & +C|{\int }_0^1[G_2^M(t,x,y)-G_2(t,x,y)]u_1\left(\widehat{k_M}\left(y\right)\right)dy{|}^2+C|{\int }_0^1{G}_2(t,x,y)[u_1\left(\widehat{k_M}\left(y\right)\right)-u_1\left(y\right)]dy{|}^2,\hfill \\ \hfill & \le C\left[{\int }_0^1{|G_1^M(t,x,y)-G_1(t,x,y)|}^{2}dy\right]\left[{\int }_0^1{\left|u_0\left(\widehat{k_M}\left(y\right)\right)\right|}^{2}dy\right]\hfill \\ \hfill & +C\left[|G_1{(t,x,y)|}^{2}dy\right]\left[{\int }_0^1{|u_0\left(\widehat{k_M}\left(y\right)\right)-u_0\left(y\right)|}^{2}dy\right]\hfill \\ \hfill & +C\left[{\int }_0^1{|G_2^M(t,x,y)-G_2(t,x,y)|}^{2}dy\right]\left[{\int }_0^1{\left|u_1\left(\widehat{k_M}\left(y\right)\right)\right|}^{2}dy\right]\hfill \\ \hfill & +C\left[|G_2{(t,x,y)|}^{2}dy\right]\left[{\int }_0^1{|u_1\left(\widehat{k_M}\left(y\right)\right)-u_1\left(y\right)|}^{2}dy\right].\hfill \end{array}$$

An application of the mean-value theorem yields

$$\begin{array}{cc}\hfill & |h(t,x)-h^M{(t,x)|}^2\hfill \\ \hfill & \le C\left[{\int }_0^1{|G_1^M(t,x,y)-G_1(t,x,y)|}^{2}dy\right]\left|\right|u_0{\left|\right|}_{C[0,1]}^2+C\left[{\int }_0^1{\left|G_1(t,x,y)\right|}^{2}dy\right]\Delta x^2\left|\right|u_0{\left|\right|}_{C^1[0,1]}^2\hfill \\ \hfill & +C\left[{\int }_0^1{|G_2^M(t,x,y)-G_2(t,x,y)|}^{2}dy\right]\left|\right|u_1{\left|\right|}_{C[0,1]}^2+C\left[{\int }_0^1{\left|G_2(t,x,y)\right|}^{2}dy\right]\Delta x^2\left|\right|u_1{\left|\right|}_{C^1[0,1]}^2.\hfill \end{array}$$

It follows that, by Lemmas A1, A3, A4, and A6,

$$\begin{array}{cc}\hfill |h(t,x)-h^M{(t,x)|}^2\le & C{t}^{-1+ϵ}\Delta x^{r_1}\left|\right|u_0{\left|\right|}_{C[0,1]}^2+C{t}^{\frac{-\alpha }{2}}\Delta x^2\left|\right|u_0{\left|\right|}_{C^1[0,1]}^2\hfill \\ \hfill & +C{t}^{-1+ϵ}\Delta x^{r_2}\left|\right|u_1{\left|\right|}_{C[0,1]}^2+C{t}^{2-\frac{\alpha }{2}}\Delta x^2\left|\right|u_1{\left|\right|}_{C^1[0,1]}^2,\hfill \end{array}$$

(27)

where $r_1$ and $r_2$ are defined in (21).

Case 2. $F=0,g\ne 0$ and $u_0\left(x\right)=u_1\left(x\right)=0$. In this case, the solution $n(t,x)$ and the approximate solution $n^M(t,x)$ take the forms

$$\begin{array}{cc}\hfill & n(t,x)={\int }_0^t{\int }_0^1{G}_4(t-s,x,y)g\left(u(s,y)\right)\frac{{\partial }^{2}W(s,y)}{\partial s\partial y}dyds,\hfill \\ \hfill & n^M(t,x)={\int }_0^t{\int }_0^1{G}_4^M(t-s,x,y)g\left(u^M\left(s,\widehat{k_M}\left(y\right)\right)\right)\frac{{\partial }^2{W}_M(s,y)}{\partial s\partial y}dyds.\hfill \end{array}$$

Following the same argument as in Case 2 in the proof of Theorem 2, we obtain

$${|n^M(t,x)-n(t,x)|}^2\le C\Delta x^{r_4}+C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}\underset{y\in [0,1]}{sup}\mathbb{E}{|u^M(s,\widehat{k_M}\left(y\right))-u(s,y)|}^{2}ds,$$

where $r_4$ is defined in (21). Note that

$$\begin{array}{cc}\hfill \mathbb{E}|u^M(s,\widehat{k_M}\left(y\right)){-u(s,y)|}^2\le & \mathbb{E}|n^M(s,\widehat{k_M}\left(y\right))-n^M{(s,y)|}^2+\mathbb{E}{|n^M(s,y)-n(s,y)|}^2\hfill \\ \hfill & +\mathbb{E}|h^M(s,\widehat{k_M}\left(y\right))-h^M{(s,y)|}^2+\mathbb{E}{|h^M(s,y)-h(s,y)|}^2,\hfill \end{array}$$

which implies that

$$\begin{array}{cc}\hfill \mathbb{E}|n(t,x)-n^M{(t,x)|}^2\le & C\Delta x^{r_4}+C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}\underset{y\in [0,1]}{sup}\mathbb{E}{|n^M(s,\widehat{k_M}\left(y\right))-n^M(s,y)|}^{2}ds\hfill \\ \hfill & +C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}\underset{y\in [0,1]}{sup}\mathbb{E}{|n^M(s,\widehat{k_M}\left(y\right))-n(s,y)|}^{2}ds\hfill \\ \hfill & +C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}\underset{y\in [0,1]}{sup}\mathbb{E}{|h^M(s,\widehat{k_M}\left(y\right))-h^M(s,y)|}^{2}ds\hfill \\ \hfill & +C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}\underset{y\in [0,1]}{sup}\mathbb{E}{|h^M(s,\widehat{k_M}\left(y\right))-h(s,y)|}^{2}ds,\hfill \\ \hfill \le & C\Delta x^{r_4}+I_1\left(t\right)+I_2\left(t\right)+I_3\left(t\right)+I_4\left(t\right).\hfill \end{array}$$

By Lemmas 9 and 7 and (27), we have

$$\begin{array}{cc}\hfill & I_1\left(t\right)\le C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}\Delta x^{r_4}ds\le C\Delta x^{r_4},\hfill \\ \hfill & I_3\left(t\right)\le C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}(\Delta x^{r_1}+\Delta x^{r_2})s^{-1+ϵ}ds\le C(\Delta x^{r_1}+\Delta x^{r_2}),\hfill \\ \hfill & I_4\left(t\right)\le C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}(\Delta x^{r_1}+\Delta x^{r_2})s^{-1+ϵ}ds\le C(\Delta x^{r_1}+\Delta x^{r_2}),\hfill \end{array}$$

where $r_1,r_2$ and $r_4$ are defined in (21). Thus, we arrive at

$$\mathbb{E}|n^M{(t,x)-n(t,x)|}^2\le C\Delta x^{r_4}+C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}\left[\underset{y\in [0,1]}{sup}\mathbb{E}{|n^M(s,y)-n(s,y)|}^{2}ds\right]+C\Delta x^{r_1}+C\Delta x^{r_2}.$$

An application of the Grönwall Lemma 10 yields

$$\mathbb{E}|n^M{(t,x)-n(t,x)|}^2\le C(\Delta x^{r_1}+\Delta x^{r_2}+\Delta x^{r_4}),$$

where $r_1,r_2$ and $r_4$ are defined in (21).

Case 3. $F\ne 0,g=0$ and $u_0\left(x\right)=u_1\left(x\right)=0$. In this case, the solution $n(t,x)$ and the approximate solution $n^M(t,x)$ take the forms, by Lemmas 2 and 6,

$$\begin{array}{cc}\hfill & n(t,x)={\int }_0^t{\int }_0^1{G}_3(t-s,x,y)F\left(u(s,y)\right)dyds+{\int }_0^t{\int }_0^1{G}_4(t-s,x,y)g\left(u(s,y)\right)\frac{{\partial }^{2}W(s,y)}{\partial s\partial y}dyds,\hfill \\ \hfill & n^M(t,x)={\int }_0^t{\int }_0^1{G}_3^M(t-s,x,y)F\left(u^M(s,\widehat{k_M}\left(y\right))\right)dyds+{\int }_0^t{\int }_0^1{G}_4^M(t-s,x,y)g\left(u(s,\widehat{k_M}\left(y\right))\right)\frac{{\partial }^2{W}_M(s,y)}{\partial s\partial y}dyds.\hfill \end{array}$$

Following the same argument as in Case 2 in the proof of Theorem 2, we arrive at

$$\begin{array}{cc}\hfill \mathbb{E}|n^M{(t,x)-n(t,x,y)|}^2& \le C\Delta x^{r_4}+C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}\underset{y\in [0,1]}{sup}\mathbb{E}{|n^M(s,\widehat{k_M}\left(y\right))-n^M(s,y)|}^{2}ds\hfill \\ \hfill & +C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}\underset{y\in [0,1]}{sup}\mathbb{E}{|n^M(s,\widehat{k_M}\left(y\right))-n(s,y)|}^{2}ds\hfill \\ \hfill & +C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}\underset{y\in [0,1]}{sup}\mathbb{E}{|h^M(s,\widehat{k_M}\left(y\right))-h^M(s,y)|}^{2}ds\hfill \\ \hfill & +C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}\underset{y\in [0,1]}{sup}\mathbb{E}{|h^M(s,y)-h(s,y)|}^{2}ds,\hfill \\ \hfill & \le C\Delta x^{r_4}+I_1^{\prime }\left(t\right)+I_2^{\prime }\left(t\right)+I_3^{\prime }\left(t\right)+I_4^{\prime }\left(t\right).\hfill \end{array}$$

By Lemmas 9 and 7 and (27), we have

$$\begin{array}{cc}\hfill & I_1^{\prime }\left(t\right)\le C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}(\Delta x^{r_3}+\Delta x^{r_4})ds\le C(\Delta x^{r_3}+\Delta x^{r_4}),\hfill \\ \hfill & I_3^{\prime }\left(t\right)\le C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}(\Delta x^{r_1}+\Delta x^{r_2})s^{-1+ϵ}ds\le C(\Delta x^{r_1}+\Delta x^{r_2}),\hfill \\ \hfill & I_4^{\prime }\left(t\right)\le C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}(\Delta x^{r_1}+\Delta x^{r_2})s^{-1+ϵ}ds\le C(\Delta x^{r_1}+\Delta x^{r_2}),\hfill \end{array}$$

where $r_1,r_2,r_3$ and $r_4$ are defined in (21). Hence, we arrive at

$$\begin{array}{cc}\hfill & \mathbb{E}|n^M{(t,x)-n(t,x)|}^2\le C(\Delta x^{r_3}+\Delta x^{r_4})\hfill \\ \hfill & +C{\int }_0^t{(t-s)}^{2(\alpha +\gamma -1)-\frac{\alpha }{2}}\left[\underset{y\in [0,1]}{sup}\mathbb{E}{|n^M(s,y)-n(s,y)|}^{2}ds\right]+C\Delta x^{r_1}+C\Delta x^{r_2}.\hfill \end{array}$$

An application of the Grönwall Lemma 10 yields

$$\mathbb{E}|n^M{(t,x)-n(t,x)|}^2\le C(\Delta x^{r_1}+\Delta x^{r_2}+\Delta x^{r_3}+\Delta x^{r_4}),$$

where $r_1,r_2,r_3$ and $r_4$ are defined in (21). The proof of Theorem 1 is complete. □

5. Conclusions

This paper presents a spatial discretization scheme for approximating the stochastic semilinear superdiffusion equation, wherein the noise exhibits white properties in both time and space domains. We employ the Euler method to approximate the noise in the spatial direction and utilize the central difference method to approximate the second-order space derivative. By employing the Green functions, we provide both exact and approximate solutions. Moreover, we examine the spatial regularities of these solutions for the proposed problem. Additionally, a comprehensive discussion of error estimates in the maximum norm in space is included. In our forthcoming research, we will explore the time discretization of the stochastic nonlinear superdiffusion equation driven by fractionally integrated multiplicative space–time white noise.

Appendix A.1

In this Appendix, we shall give some estimates of the Green functions $G_i(t,x,y),$ $i=1,2,3,4$ and their discretized analogues $G_i^M(t,x,y),i=1,2,3,4$,

$$\begin{array}{cc}& G_1(t,x,y)=\sum _{j=1}^{\infty }{E}_{\alpha ,1}\left(-t^{\alpha }{\lambda }_j\right)e_j\left(x\right)e_j\left(y\right),G_2(t,x,y)=\sum _{j=1}^{\infty }t{E}_{\alpha ,2}\left(-t^{\alpha }{\lambda }_j\right)e_j\left(x\right)e_j\left(y\right),\hfill \\ & G_3(t,x,y)=\sum _{j=1}^{\infty }{t}^{\alpha -1}{E}_{\alpha ,\alpha }\left(-t^{\alpha }{\lambda }_j\right)e_j\left(x\right)e_j\left(y\right),G_4(t,x,y)=\sum _{j=1}^{\infty }{t}^{\alpha +\gamma -1}{E}_{\alpha ,\alpha +\gamma }\left(-t^{\alpha }{\lambda }_j\right)e_j\left(x\right)e_j\left(y\right),\hfill \\ & G_1^M(t,x,y)=\sum _{j=1}^{M-1}{E}_{\alpha ,1}\left(-t^{\alpha }{\lambda }_j^M\right)e_j^M\left(x\right)e_j^M\left(\widehat{k_M}\left(y\right)\right),G_2^M(t,x,y)=\sum _{j=1}^{M-1}t{E}_{\alpha ,2}\left(-t^{\alpha }{\lambda }_j^M\right)e_j^M\left(x\right)e_j^M\left(\widehat{k_M}\left(y\right)\right),\hfill \\ & G_3^M(t,x,y)=\sum _{j=1}^{M-1}{t}^{\alpha -1}{E}_{\alpha ,\alpha }\left(-t^{\alpha }{\lambda }_j^M\right)e_j^M\left(x\right)e_j^M\left(\widehat{k_M}\left(y\right)\right),\hfill \\ & G_4^M(t,x,y)=\sum _{j=1}^{M-1}{t}^{\alpha +\gamma -1}{E}_{\alpha ,\alpha +\gamma }\left(-t^{\alpha }{\lambda }_j^M\right)e_j^M\left(x\right)e_j^M\left(\widehat{k_M}\left(y\right)\right).\hfill \end{array}$$

Appendix A.2. Green Function $G_1(t,x,y)$ and Its Discretized Analogue $G_1^M(t,x,y)$

In this subsection, we shall give the estimates of the Green function $G_1(t,x,y)$ and its discretized analogue $G_1^M(t,x,y)$, defined in Lemmas 4 and 6, respectively. The proofs are similar to the proofs of ([22], Lemmas A1–A3). We omit the proofs here.

Lemma A1.

Let $\alpha \in (1,2)$. Then we have, for any small $ϵ>0$,

$$\begin{array}{cc}\hfill & {\int }_0^1{\left|G_1(t,x,y)\right|}^{2}dy\le C{t}^{-\frac{\alpha }{2}},0\le x\le 1,\hfill \\ \hfill & {\int }_0^t{\int }_0^1{\left|G_1(s,x,y)\right|}^{2}dyds\le C{t}^{ϵ},0\le x\le 1,\hfill \\ \hfill & {\int }_0^1{\left|G_1(t,y,z)-G_1\left(t,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dz\le C{t}^{-1+ϵ}\Delta x^{r_1},0\le y\le 1,\hfill \\ \hfill & {\int }_0^t{\int }_0^1{\left|G_1(s,y,z)-G_1\left(s,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dzds\le {\mathrm{Ct}}^{ϵ}\Delta x^{r_1},0\le y\le 1,\hfill \end{array}$$

where $r_1$ is defined in Theorem 21.

Lemma A2.

Let $\alpha \in (1,2)$. Then we have, for any small $ϵ>0$,

$$\begin{array}{cc}\hfill & {\int }_0^1{\left|G_1^M(t,x,y)\right|}^{2}dy\le {\mathrm{Ct}}^{-\frac{\alpha }{2}},0\le x\le 1,\hfill \\ \hfill & {\int }_0^t{\int }_0^1{\left|G_1^M(s,x,y)\right|}^{2}dyds\le \mathrm{C}{t}^{ϵ},0\le x\le 1,\hfill \\ \hfill & {\int }_0^1{\left|G_1^M(t,y,z)-G_1^M\left(t,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dz\le {\mathrm{Ct}}^{-1+ϵ}\Delta x^{r_1},0\le y\le 1,\hfill \\ \hfill & {\int }_0^t{\int }_0^1{\left|G_1^M(s,y,z)-G_1^M\left(s,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dzds\le \mathrm{C}{t}^{ϵ}\Delta x^{r_1},0\le y\le 1,\hfill \end{array}$$

where $r_1$ is defined in (21).

Lemma A3.

Let $\alpha \in (1,2)$. Then we have, for any small $ϵ>0$,

$$\begin{array}{cc}\hfill & {\int }_0^1{\left|G_1(t,x,y)-G_1^M(t,x,y)\right|}^{2}dy\le C{t}^{-1+ϵ}\Delta x^{r_1},0\le x\le 1,\hfill \\ \hfill & {\int }_0^t{\int }_0^1{\left|G_1(s,x,y)-G_1^M(s,x,y)\right|}^{2}dyds\le C{t}^{ϵ}\Delta x^{r_1},0\le x\le 1,\hfill \end{array}$$

where $r_1$ is defined in (21).

Appendix A.3. Green Function G 2 (t,x,y) and Its Discretized Analogue G 2 M (t,x,y)

In this subsection, we shall give the estimates of the Green function $G_2(t,x,y)$ and its discretized analogue $G_2^M(t,x,y)$ defined in Lemmas 4 and 6, respectively.

Lemma A4.

Let $\alpha \in (1,2)$. Then we have, for any small $ϵ>0$,

$$\begin{array}{cc}\hfill & {\int }_0^1{\left|G_2(t,x,y)\right|}^{2}dy\le C{t}^{2-\frac{\alpha }{2}},0\le x\le 1,\hfill \end{array}$$

(A1)

$$\begin{array}{cc}\hfill & {\int }_0^t{\int }_0^1{\left|G_2(s,x,y)\right|}^{2}dyds\le C{t}^{3-\frac{\alpha }{2}},0\le x\le 1,\hfill \end{array}$$

(A2)

$$\begin{array}{cc}\hfill & {\int }_0^1{\left|G_2(t,y,z)-G_2\left(t,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dz\le C{t}^{-1+ϵ}\Delta x^{r_2},0\le y\le 1,\hfill \end{array}$$

(A3)

$$\begin{array}{cc}\hfill & {\int }_0^t{\int }_0^1{\left|G_2(s,y,z)-G_2\left(s,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dzds\le {\mathrm{Ct}}^{ϵ}\Delta x^{r_2},0\le y\le 1,\hfill \end{array}$$

(A4)

where $r_2$ is defined in (21).

Proof. 

We first prove (A1). Note that

$${\int }_0^1{\left|G_2(t,x,y)\right|}^{2}dy={\int }_0^1{\left[\sum _{j=1}^{\infty }t{E}_{\alpha ,2}(-t^{\alpha }{\lambda }_j)e_j\left(x\right)e_j\left(y\right)\right]}^{2}dy,$$

we have, since ${\left\{e_j\left(y\right)\right\}}_{j=1}^{\infty }$ is an orthonormal basis in $H=L^2(0,1)$,

$$\begin{array}{cc}\hfill {\int }_0^1{\left|G_2(t,x,y)\right|}^{2}dy& \le C\sum _{j=1}^{\infty }{t}^2{\left(\frac{1}{1+t^{\alpha }{\lambda }_j}\right)}^2\le C{t}^2\sum _{j=1}^{\infty }{\left(\frac{1}{1+t^{\alpha }{j}^2}\right)}^2,\hfill \\ \hfill & \le C{t}^2{\int }_0^{\infty }{\left(\frac{1}{1+t^{\alpha }{x}^2}\right)}^{2}dx\le C{t}^2{t}^{-\frac{\alpha }{2}}{\int }_0^{\infty }{\left(\frac{1}{1+y^2}\right)}^{2}dy\le C{t}^{2-\frac{\alpha }{2}},\hfill \end{array}$$

which shows (A1).

For (A2), we have

$${\int }_0^t{\int }_0^1{\left|G_2(t,x,y)\right|}^{2}dyds\le C{\int }_0^t{s}^{2-\frac{\alpha }{2}}ds\le C{t}^{3-\frac{\alpha }{2}}.$$

For (A3), we need to split the summation into two parts:

$$\begin{array}{cc}\hfill & {\int }_0^1{\left|G_2(t,y,z)-G_2\left(t,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dz\hfill \\ \hfill & =\sum _{j=M}^{\infty }{t}^2{E}_{\alpha ,2}^2{\left[e_j\left(y\right)-e_j\left(\widehat{k_M}\left(y\right)\right)\right]}^2+\sum _{j=1}^{M-1}{t}^2{E}_{\alpha ,2}^2{\left[e_j\left(y\right)-e_j\left(\widehat{k_M}\left(y\right)\right)\right]}^2=I_1+I_2.\hfill \end{array}$$

For $I_1$, we have, noting that $|e_j\left(y\right)|\le C,|e_j\left(\widehat{k_M}\left(y\right)\right)|\le C$,

$$I_1=\sum _{j=M}^{\infty }{t}^2{E}_{\alpha ,2}^2{\left[e_j\left(y\right)-e_j\left(\widehat{k_M}\left(y\right)\right)\right]}^2\le C\sum _{j=M}^{\infty }{t}^2{E}_{\alpha ,2}^2(-t^{\alpha }{\lambda }_j).$$

Applying (6), we arrive at, with $0<{\gamma }_1\le 1$,

$$\begin{array}{cc}\hfill I_1& \le C\sum _{j=M}^{\infty }{t}^2{\left(\frac{1}{1+t^{\alpha }{\lambda }_j}\right)}^{2({\gamma }_1+1-{\gamma }_1)}\le C\sum _{j=M}^{\infty }{t}^2{\left(\frac{1}{1+t^{\alpha }{\lambda }_j}\right)}^{2{\gamma }_1}\hfill \\ \hfill & \le C\sum _{j=M}^{\infty }{t}^2\frac{1}{t^{2{\gamma }_1\alpha }{\lambda }_j^{2{\gamma }_1}}\le C\sum _{j=M}^{\infty }{t}^2\frac{1}{t^{2{\gamma }_1\alpha }{j}^{4{\gamma }_1}}\le C\sum _{j=M}^{\infty }{t}^{2-2{\gamma }_1\alpha }\frac{1}{j^{4{\gamma }_1}}.\hfill \end{array}$$

Case 1. Choose ${\gamma }_1=1$. We obtain that if $2\alpha \le 3-ϵ$, then

$$I_1\le C\sum _{j=M}^{\infty }{t}^{2-2\alpha }\frac{1}{j^4}=C\sum _{j=M}^{\infty }{t}^{-1+ϵ}{t}^{3-2\alpha -ϵ}\frac{1}{j^4}\le C{t}^{-1+ϵ}\sum _{j=M}^{\infty }\frac{1}{j^4}\le C{t}^{-1+ϵ}\Delta x^3.$$

Case 2. If $2\alpha >3-ϵ$, then we may choose $2-2{\gamma }_1\alpha =-1+ϵ$, that is, ${\gamma }_1=\frac{3-ϵ}{2\alpha }<1$, and obtain

$$\begin{array}{cc}\hfill I_1& \le C{t}^{-1+ϵ}\sum _{j=M}^{\infty }\frac{1}{j^{4\left(\frac{3-ϵ}{2\alpha }\right)}}\le C{t}^{-1+ϵ}{\int }_M^{\infty }{x}^{-4\left(\frac{3-ϵ}{2\alpha }\right)}dx\le C{t}^{-1+ϵ}{M}^{-4\left(\frac{3-ϵ}{2\alpha }\right)+1}=C{t}^{-1+ϵ}\Delta x^{4\left(\frac{3-ϵ}{2\alpha }\right)-1}.\hfill \end{array}$$

Note that $4\left(\frac{3-ϵ}{2\alpha }\right)-1>2$ for all $\alpha \in (1,2)$, which implies that

$$I_1\le C{t}^{-1+ϵ}\Delta x^{r_2},$$

where $r_2$ is defined in (21).

For $I_2$, we have, using the mean-value theory, with $0<{\gamma }_1\le 1$,

$$\begin{array}{cc}\hfill I_2& =\sum _{j=1}^{M-1}{t}^2{E}_{\alpha ,2}^2{\left[e_j\left(y\right)-e_j\left(\widehat{k_M}\left(y\right)\right)\right]}^2\le \sum _{j=1}^{M-1}{t}^2{E}_{\alpha ,2}^2|e_j^{\prime }\left(\xi \right)(y-\widehat{k_M}\left(y\right)){|}^2,\hfill \\ \hfill & \le C\sum _{j=1}^{M-1}{t}^2{E}_{\alpha ,2}^2{\left(\frac{j}{M}\right)}^2\le C\sum _{j=1}^{M-1}{t}^2{\left(\frac{1}{1+t^{\alpha }{\lambda }_j}\right)}^{2{\gamma }_1}\left(\frac{j^2}{M^2}\right),\hfill \\ \hfill & \le C\sum _{j=1}^{M-1}{t}^2{\left(\frac{1}{t^{\alpha }{\lambda }_j}\right)}^{2{\gamma }_1}\left(\frac{j^2}{M^2}\right)\le C\sum _{j=1}^{M-1}{t}^2{\left(\frac{1}{t^{\alpha }{j}^2}\right)}^{2{\gamma }_1}\left(\frac{j^2}{M^2}\right),\hfill \\ \hfill & \le \frac{C}{M^2}\sum _{j=1}^{M-1}{t}^2\left(\frac{1}{t^{2\alpha {\gamma }_1}{j}^{4{\gamma }_1}}\right)j^2\le \frac{C}{M^2}\sum _{j=1}^{M-1}{t}^{2-2\alpha {\gamma }_1}\left(\frac{1}{j^{4{\gamma }_1-2}}\right).\hfill \end{array}$$

Case 1. Choose ${\gamma }_1=1$. We obtain that if $2\alpha \le 3-ϵ,$ then

$$I_2\le C{t}^{-1+ϵ}\sum _{j=1}^{M-1}\frac{j^{-2}}{M^2}<C{t}^{-1+ϵ}\Delta x^2.$$

Case 2. If $2\alpha >3-ϵ$, then we may choose $2-2{\gamma }_1\alpha =-1+ϵ$, that is, ${\gamma }_1=\frac{3-ϵ}{2\alpha }<1$ and obtain

$$\begin{array}{cc}\hfill I_2& \le C{t}^{-1+ϵ}\sum _{j=1}^{M-1}\frac{j^{2-4{\gamma }_1}}{M^2}\le C{t}^{-1+ϵ}\left[{\int }_1^M{x}^{2-4{\gamma }_1}dx\right]\frac{1}{M^2}=C{t}^{-1+ϵ}\left[{\int }_1^M{x}^{2-4\left(\frac{3-ϵ}{2\alpha }\right)}dx\right]\frac{1}{M^2}.\hfill \end{array}$$

Note that $3-4\left(\frac{3-ϵ}{2\alpha }\right)<0$ for all $\alpha \in (1,2)$ since $ϵ>0$ is an arbitrarily small number, which implies that

$$I_2\le C{t}^{-1+ϵ}\Delta x^2=C{t}^{-1+ϵ}\Delta x^{r_2},$$

where $r_2$ is defined in (21). Combining $I_1$ and $I_2$, we obtain (A3).

Finally, (A4) follows from

$${\int }_0^t{\int }_0^1{\left|G_2(s,y,z)-G_2\left(s,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dzds\le C{\int }_0^t{s}^{-1+ϵ}\Delta x^{r_2}ds\le C{t}^{ϵ}\Delta x^{r_2},$$

which completes the proof of Lemma A4. □

Lemma A5.

Let $\alpha \in (1,2)$. Then, we have, for any small $ϵ>0$

$$\begin{array}{cc}\hfill & {\int }_0^1{\left|G_2^M(t,x,y)\right|}^{2}dy\le {\mathrm{Ct}}^{2-\frac{\alpha }{2}},0\le x\le 1,\hfill \end{array}$$

(A5)

$$\begin{array}{cc}\hfill & {\int }_0^t{\int }_0^1{\left|G_2^M(s,x,y)\right|}^{2}dyds\le C{t}^{3-\frac{\alpha }{2}},0\le x\le 1,\hfill \end{array}$$

(A6)

$$\begin{array}{cc}\hfill & {\int }_0^1{\left|G_2^M(t,y,z)-G_2^M\left(t,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dz\le {\mathrm{Ct}}^{-1+ϵ}\Delta x^{r_2},0\le y\le 1,\hfill \end{array}$$

(A7)

$$\begin{array}{cc}\hfill & {\int }_0^t{\int }_0^1{\left|G_2^M(s,y,z)-G_2^M\left(s,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dzds\le \mathrm{C}{t}^{ϵ}\Delta x^{r_2},0\le y\le 1,\hfill \end{array}$$

(A8)

where $r_2$ is defined in (21).

Proof. 

We first prove (A5). Note that

$${\int }_0^1{\left|G_2^M(t,x,y)\right|}^{2}dy\le {\int }_0^1{\left[\sum _{j=1}^{M-1}t{E}_{\alpha ,2}(-t^{\alpha }{\lambda }_j^M)e_j^M\left(x\right)e_j\left(\widehat{k_M}\left(y\right)\right)\right]}^{2}dy.$$

Since $e_j\left(x\right),j=1,2,\dots$ are bounded and

$${\int }_0^1{e}_j\left(\widehat{k_M}\left(y\right)\right)e_l\left(\widehat{k_M}\left(y\right)\right)dy=\Delta x\sum _{j=1}^{M-1}{e}_j\left(y_k\right)e_l\left(y_k\right)=\left\{\begin{array}{c}1,j=l\hfill \\ 0,j\ne l\hfill \end{array}\right.,$$

we have, noting that ${\lambda }_j^M\approx {\lambda }_j$, $j=1,2,\dots ,M-1$,

$${\int }_0^1{\left|G_2^M(t,x,y)\right|}^{2}dy\le C{t}^2\sum _{j=1}^{M-1}{E}_{\alpha ,2}(-t^{\alpha }{\lambda }_j)\le C{t}^2\sum _{j=1}^{\infty }{E}_{\alpha ,2}(-t^{\alpha }{\lambda }_j)\le C{t}^{2-\frac{\alpha }{2}},$$

which shows (A5).

For (A6), we have

$${\int }_0^t{\int }_0^1{\left|G_2^M(s,x,y)\right|}^{2}dyds\le C{\int }_0^t{s}^{2-\frac{\alpha }{2}}ds\le C{\left[\frac{1}{3-\frac{\alpha }{2}}{s}^{3-\frac{\alpha }{2}}\right]}_0^t\le C{t}^{3-\frac{\alpha }{2}}.$$

For (A7), we have

$$\begin{array}{cc}\hfill & {\int }_0^1{\left|G_2^M(t,y,z)-G_2^M\left(t,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dz\hfill \\ \hfill & ={\int }_0^1{\left|\sum _{j=1}^{M-1}t{E}_{\alpha ,2}(-t^{\alpha }{\lambda }_j^M)\left[e_j^M\left(y\right)-e_j^M\left(\widehat{k_M}\left(y\right)\right)\right]e_j\left(\widehat{k_M}\left(z\right)\right)\right|}^{2}dz,\hfill \\ \hfill & \le \sum _{j=1}^{M-1}{t}^2{E}_{\alpha ,2}^2(-t^{\alpha }{\lambda }_j^M){\left[e_j^M\left(y\right)-e_j^M\left(\widehat{k_M}\left(y\right)\right)\right]}^2.\hfill \end{array}$$

Applying the mean value theory, we obtain

$$\begin{array}{cc}\hfill {\int }_0^1{\left|G_2^M(t,y,z)-G_2^M\left(t,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dz& \le \sum _{j=1}^{M-1}{t}^2{E}_{\alpha ,2}^2(-t^{\alpha }{\lambda }_j^M){\left|e_j^{\prime }\left(\xi \right)(y-\widehat{k_M}\left(y\right))\right|}^2,\hfill \\ \hfill & \le C\sum _{j=1}^{M-1}{t}^2{E}_{\alpha ,2}^2(-t^{\alpha }{\lambda }_j^M){\left(\frac{j}{M}\right)}^2.\hfill \end{array}$$

Following the same argument as in the proof of (A3), we arrive at

$${\int }_0^1{\left|G_2^M(t,y,z)-G_2^M\left(t,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dz\le {\mathrm{Ct}}^{-1+ϵ}\Delta x^{r_2},$$

which shows (A6).

Finally, (A8) follows from

$${\int }_0^t{\int }_0^1{\left|G_2^M(s,y,z)-G_2^M\left(s,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dzds\le C{\int }_0^t{s}^{-1+ϵ}\Delta x^{r_2}ds\le C{t}^{ϵ}\Delta x^{r_2}.$$

The proof of Lemma A5 is complete. □

Lemma A6.

Let $\alpha \in (1,2)$. Then we have, for any small $ϵ>0$,

$$\begin{array}{cc}\hfill & {\int }_0^1{\left|G_2(t,x,y)-G_2^M(t,x,y)\right|}^{2}dy\le C{t}^{-1+ϵ}\Delta x^{r_2},0\le x\le 1,\hfill \end{array}$$

(A9)

$$\begin{array}{cc}\hfill & {\int }_0^t{\int }_0^1{\left|G_2(s,x,y)-G_2^M(s,x,y)\right|}^{2}dyds\le C{t}^{ϵ}\Delta x^{r_2},0\le x\le 1,\hfill \end{array}$$

(A10)

where $r_2$ is defined in (21).

Proof. 

We first show (A9). Note that

$$\begin{array}{cc}\hfill & {\int }_0^1{\left|G_2(t,x,y)-G_2^M(t,x,y)\right|}^{2}dy\hfill \\ \hfill & \le {\int }_0^1{\left|\sum _{j=1}^{\infty }t{E}_{\alpha ,2}(-{\lambda }_j{t}^{\alpha })e_j\left(x\right)e_j\left(y\right)-\sum _{j=1}^{M-1}t{E}_{\alpha ,2}(-{\lambda }_j^M{t}^{\alpha })e_j^M\left(x\right)e_j^M\left(\widehat{k_M}\left(y\right)\right)\right|}^{2}dy\hfill \\ \hfill & \le C{\int }_0^1{\left|\sum _{j=M}^{\infty }t{E}_{\alpha ,2}(-{\lambda }_j{t}^{\alpha })e_j\left(x\right)e_j\left(y\right)\right|}^{2}dy+C{\int }_0^1{\left|\sum _{j=1}^{M-1}t{E}_{\alpha ,2}(-{\lambda }_j{t}^{\alpha })e_j\left(x\right)\left[e_j\left(y\right)-e_j\left(\widehat{k_M}\left(y\right)\right)\right]\right|}^{2}dy\hfill \\ \hfill & +C{\int }_0^1{\left|\sum _{j=1}^{M-1}t{E}_{\alpha ,2}(-{\lambda }_j{t}^{\alpha })\left[e_j\left(x\right)-e_j^M\left(x\right)\right]e_j^M\left(\widehat{k_M}\left(y\right)\right)\right|}^{2}dy\hfill \\ \hfill & +C{\int }_0^1{\left|\sum _{j=1}^{M-1}\left[t{E}_{\alpha ,2}(-{\lambda }_j{t}^{\alpha })-t{E}_{\alpha ,2}(-{\lambda }_j^M{t}^{\alpha })\right]e_j^M\left(x\right)e_j^M\left(\widehat{k_M}\left(y\right)\right)\right|}^{2}dy\hfill \\ \hfill & =I_1\left(t\right)+I_2\left(t\right)+I_3\left(t\right)+I_4\left(t\right).\hfill \end{array}$$

For $I_1\left(t\right)$, we have

$$I_1\left(t\right)=C{\int }_0^1{\left|\sum _{j=M}^{\infty }t{E}_{\alpha ,2}(-{\lambda }_j{t}^{\alpha })e_j\left(x\right)e_j\left(y\right)\right|}^{2}dy\le C\sum _{j=M}^{\infty }{t}^2{E}_{\alpha ,2}^2(-{\lambda }_j{t}^{\alpha })\le C{t}^{-1+ϵ}\Delta x^{r_2}.$$

For $I_2\left(t\right)$, we have

$$\begin{array}{cc}\hfill I_2\left(t\right)& =C{\int }_0^1{\left|\sum _{j=1}^{M-1}t{E}_{\alpha ,2}(-{\lambda }_j{t}^{\alpha })e_j\left(x\right)\left[e_j\left(y\right)-e_j\left(\widehat{k_M}\left(y\right)\right)\right]\right|}^{2}dy,\hfill \\ \hfill & =C\sum _{k=0}^{M-1}{\int }_{y_k}^{y_{k+1}}{\left|\sum _{j=1}^{M-1}t{E}_{\alpha ,2}(-{\lambda }_j{t}^{\alpha })e_j\left(x\right){\int }_{y_k}^y{e}_j^{\prime }\left(\xi \right)d\xi \right|}^{2}dy,\hfill \\ \hfill & =C\sum _{k=0}^{M-1}{\int }_{y_k}^{y_{k+1}}{\left|{\int }_{y_k}^y\sum _{j=1}^{M-1}t{E}_{\alpha ,2}(-{\lambda }_j{t}^{\alpha })e_j\left(x\right)e_j^{\prime }\left(\xi \right)d\xi \right|}^{2}dy,\hfill \\ \hfill & \le C\sum _{k=0}^{M-1}{\int }_{y_k}^{y_{k+1}}\frac{1}{M}{\int }_{y_k}^{y_{k+1}}{\left|\sum _{j=1}^{M-1}t{E}_{\alpha ,2}(-{\lambda }_j{t}^{\alpha })e_j\left(x\right)e_j^{\prime }\left(\xi \right)\right|}^{2}d\xi dy,\hfill \\ \hfill & =\frac{C}{M^2}{\int }_0^1{\left|\sum _{j=1}^{M-1}t{E}_{\alpha ,2}(-{\lambda }_j{t}^{\alpha })e_j\left(x\right)e_j^{\prime }\left(\xi \right)\right|}^{2}d\xi .\hfill \end{array}$$

Note that

$${\int }_0^1{e}_j^{\prime }\left(\xi \right)e_l^{\prime }\left(\xi \right)d\xi =\left\{\begin{array}{c}{j}^2{\pi }^2,j=1,\hfill \\ 0,j\ne l,\hfill \end{array}\right.$$

and that $e_j\left(x\right),j=1,2,\dots$ are bounded, so we arrive at

$$I_2\left(t\right)\le C{\left(\frac{1}{M}\right)}^2\sum _{j=1}^{M-1}{t}^2{E}_{\alpha ,2}^2(-{\lambda }_j{t}^{\alpha })j^2\le C\sum _{j=1}^{M-1}{\left(\frac{j}{M}\right)}^2{t}^2{E}_{\alpha ,2}^2(-{\lambda }_j{t}^{\alpha })\le C{t}^{-1+ϵ}\Delta x^{r_2}.$$

For $I_3\left(t\right)$, we have

$$\begin{array}{cc}\hfill I_3\left(t\right)& =C{\int }_0^1{\left|\sum _{j=1}^{M-1}t{E}_{\alpha ,2}(-{\lambda }_j{t}^{\alpha })\left[e_j\left(x\right)-e_j^M\left(x\right)\right]e_j^M\left(\widehat{k_M}\left(y\right)\right)\right|}^{2}dy\hfill \\ \hfill & =C\sum _{j=1}^{M-1}{t}^2{E}_{\alpha ,2}^2(-{\lambda }_j{t}^{\alpha }){\left[e_j\left(x\right)-e_j^M\left(x\right)\right]}^2.\hfill \end{array}$$

By the linear interpolation theorem, it follows that

$$\begin{array}{cc}\hfill I_3\left(t\right)& \le C\sum _{j=1}^{M-1}{t}^2{E}_{\alpha ,2}^2(-{\lambda }_j{t}^{\alpha }){\left[e_j^{\prime \prime }\left(\xi \right)(y-y_k)(y-y_{k+1})\right]}^2\le C\sum _{j=1}^{M-1}{t}^2{E}_{\alpha ,2}^2(-{\lambda }_j{t}^{\alpha }){\left[C\left(j^2{\pi }^2\right)\frac{1}{M^2}\right]}^2\hfill \\ \hfill & \le C\sum _{j=1}^{M-1}{t}^2{E}_{\alpha ,2}^2(-{\lambda }_j{t}^{\alpha }){\left(\frac{j}{M}\right)}^4\le C\sum _{j=1}^{M-1}{t}^2{E}_{\alpha ,2}^2(-{\lambda }_j{t}^{\alpha }){\left(\frac{j}{M}\right)}^2\le C{t}^{-1+ϵ}\Delta x^{r_2}.\hfill \end{array}$$

For $I_4\left(t\right)$, we have

$$\begin{array}{cc}\hfill I_4\left(t\right)& \le C{\int }_0^1{\left|\sum _{j=1}^{M-1}\left[t{E}_{\alpha ,2}(-{\lambda }_j{t}^{\alpha })-t{E}_{\alpha ,2}(-{\lambda }_j^M{t}^{\alpha })\right]e_j^M\left(x\right)e_j^M\left(\widehat{k_M}\left(y\right)\right)\right|}^{2}dy\hfill \\ \hfill & \le C\sum _{j=1}^{M-1}{\left|t{E}_{\alpha ,2}(-{\lambda }_j{t}^{\alpha })-t{E}_{\alpha ,2}(-{\lambda }_j^M{t}^{\alpha })\right|}^2.\hfill \end{array}$$

Note that, from Lemma 1,

$$\frac{d}{dt}\left[t{E}_{\alpha ,2}\left(-t^{\alpha }\lambda \right)\right]=E_{\alpha ,1}\left(-t^{\alpha }\lambda \right),$$

which implies that

$$t{E}_{\alpha ,2}^{\prime }(-t^{\alpha }\lambda )=t^{1-\alpha }{\lambda }^{-1}\left[E_{\alpha ,1}\left(-t^{\alpha }\lambda \right)-E_{\alpha ,2}(-t^{\alpha }\lambda )\right],$$

(A11)

where $E_{\alpha ,2}^{\prime }\left(x\right)$ is the derivative of $E_{\alpha ,2}\left(x\right)$ with respect to x.

By using the mean value theorem and (A11), we arrive at, with $0<{\gamma }_1\le 1$,

$$\begin{array}{cc}\hfill I_4\left(t\right)& \le C\sum _{j=1}^{M-1}{\left|t{E}_{\alpha ,2}(-{\lambda }_j{t}^{\alpha })-t{E}_{\alpha ,2}(-{\lambda }_j^M{t}^{\alpha })\right|}^2=C\sum _{j=1}^{M-1}{\left|t{E}_{\alpha ,2}^{\prime }\left(\xi \right)\left(t^{\alpha }({\lambda }_j-{\lambda }_j^M)\right)\right|}^2\hfill \\ \hfill & \le C\sum _{j=1}^{M-1}{\left|t{E}_{\alpha ,2}^{\prime }(-t^{\alpha }{\lambda }_j)\left(t^{\alpha }({\lambda }_j-{\lambda }_j^M)\right)\right|}^2\hfill \\ \hfill & =C\sum _{j=1}^{M-1}|t^{1-\alpha }{\lambda }_j^{-1}\left[E_{\alpha ,1}(-t^{\alpha }{\lambda }_j)-E_{\alpha ,2}(-t^{\alpha }{\lambda }_j)\right](t^{\alpha }({\lambda }_j-{\lambda }_j^M){|}^2\hfill \\ \hfill & \le C\sum _{j=1}^{M-1}|t{\lambda }_j^{-1}{\left(\frac{1}{1+t^{\alpha }{\lambda }_j}\right)}^{{\gamma }_1}({\lambda }_j-{\lambda }_j^M){|}^2,\hfill \end{array}$$

which implies that, using $|{\lambda }_j-{\lambda }_j^M|\le C\frac{j^4}{M^2},$ ([22], (A18)),

$$\begin{array}{cc}\hfill I_4\left(t\right)& \le C\sum _{j=1}^{M-1}|t{\lambda }_j^{-1}{\left(t^{\alpha }{\lambda }_j\right)}^{-{\gamma }_1}\frac{j^4}{M^2}{|}^2\le C\sum _{j=1}^{M-1}|t^{1-\alpha {\gamma }_1}{j}^{-2-2{\gamma }_1}\frac{j^4}{M^2}{|}^2\hfill \\ \hfill & \le C{t}^{2-2\alpha {\gamma }_1}\sum _{j=1}^{M-1}\frac{j^{4-4{\gamma }_1}}{M^4}=C{t}^{2-2\alpha {\gamma }_1}\frac{1}{M^{4{\gamma }_1-1}}.\hfill \end{array}$$

Case 1. If $2\alpha \le 3-ϵ$, then we may choose ${\gamma }_1=1$ and obtain

$$I_4\left(t\right)\le C{t}^{2-2\alpha }\frac{1}{M^3}\le C{t}^{-1+ϵ}\Delta x^3\le C{t}^{-1+ϵ}\Delta x^{r_2}.$$

Case 2. If $2\alpha >3-ϵ$, then we may choose $2-2\alpha {\gamma }_1=-1+ϵ$, that is ${\gamma }_1=\frac{3-ϵ}{2\alpha }<1$ and obtain, noting that $4\frac{3-ϵ}{2\alpha }-1>2$ for any $\alpha \in (1,2)$ since $ϵ>0$ is an arbitrarily small number,

$$I_4\left(t\right)\le C{t}^{-1+ϵ}\Delta x^{4\frac{3-ϵ}{2\alpha }-1}\le C{t}^{-1+ϵ}\Delta x^2=C{t}^{-1+ϵ}\Delta x^{r_2}.$$

Thus, we have

$$I_4\left(t\right)\le C{t}^{-1+ϵ}\Delta x^{r_2},$$

where $r_2$ is defined in (21). Combining $I_1\left(t\right),I_2\left(t\right),I_3\left(t\right)$ and $I_4\left(t\right)$, we show (A9).

Finally, (A9) follows from

$${\int }_0^t{\int }_0^1{\left|G_2(s,x,y)-G_2^M(s,x,y)\right|}^{2}dyds\le C\Delta x^{r_2}{\int }_0^t{s}^{-1+ϵ}ds\le C{t}^{-ϵ}\Delta x^{r_2}.$$

The proof of Lemma A6 is concluded. □

Appendix A.4. Green Function $G_3(t,x,y)$ and Its Discretized Analogue $G_3^M(t,x,y)$

In this subsection, we shall give the estimates of the Green function $G_3(t,x,y)$ and its discretized analogue $G_3^M(t,x,y)$ defined in Lemmas 4 and 6, respectively. The proofs are similar to the proofs of ([22], Lemmas A4–A6). We omit the proofs here.

Lemma A7.

Let $\alpha \in (1,2)$. Assume that Assumption 1 holds. Then we have, with any $ϵ>0$,

$$\begin{array}{cc}\hfill & {\int }_0^1{\left|G_3(t,x,y)\right|}^{2}dy\le C{t}^{-\frac{\alpha }{2}},0\le x\le 1,\hfill \\ \hfill & {\int }_0^t{\int }_0^1{\left|G_3(s,x,y)\right|}^{2}dyds\le C{t}^{ϵ},0\le x\le 1,\hfill \\ \hfill & {\int }_0^1{\left|G_3(t,y,z)-G_3\left(t,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dz\le C{t}^{-1+ϵ}\Delta x^{r_3},0\le y\le 1,\hfill \\ \hfill & {\int }_0^t{\int }_0^1{\left|G_3(s,y,z)-G_3\left(s,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dzds\le {\mathrm{Ct}}^{ϵ}\Delta x^{r_3},0\le y\le 1,\hfill \end{array}$$

where $r_3$ is defined in (21).

Lemma A8.

Let $\alpha \in (1,2)$. Assume that Assumption 1 holds. Then we have, with any $ϵ>0$,

$$\begin{array}{cc}\hfill & {\int }_0^1{\left|G_3^M(t,x,y)\right|}^{2}dy\le {\mathrm{Ct}}^{-\frac{\alpha }{2}},0\le x\le 1,\hfill \\ \hfill & {\int }_0^t{\int }_0^1{\left|G_3^M(s,x,y)\right|}^{2}dyds\le \mathrm{C}{t}^{ϵ},0\le x\le 1,\hfill \\ \hfill & {\int }_0^1{\left|G_3^M(t,y,z)-G_3^M\left(t,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dz\le {\mathrm{Ct}}^{-1+ϵ}\Delta x^{r_3},0\le y\le 1,\hfill \\ \hfill & {\int }_0^t{\int }_0^1{\left|G_3^M(s,y,z)-G_3^M\left(s,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dzds\le \mathrm{C}{t}^{ϵ}\Delta x^{r_3,},0\le y\le 1,\hfill \end{array}$$

where $r_3$ is defined in (21).

Lemma A9.

Let $\alpha \in (1,2)$. Assume that Assumption 1 holds. Then we have, with any $ϵ>0$,

$$\begin{array}{cc}\hfill & {\int }_0^1{\left|G_3(t,x,y)-G_3^M(t,x,y)\right|}^{2}dy\le C{t}^{-1+ϵ}\Delta x^{r_3},0\le x\le 1,\hfill \\ \hfill & {\int }_0^t{\int }_0^1{\left|G_3(s,x,y)-G_3^M(s,x,y)\right|}^{2}dyds\le C{t}^{ϵ}\Delta x^{r_3},0\le x\le 1,\hfill \end{array}$$

where $r_3$ is defined in (21).

Appendix A.5. Green Function $G_4(t,x,y)$ and Its Discretized Analogue $G_4^M(t,x,y)$

In this subsection, we shall give the estimates of the Green function $G_4(t,x,y)$ and its discretized analogue $G_4^M(t,x,y)$ defined in Lemmas 4 and 6, respectively. The proofs are similar to the proofs of ([22], Lemmas A7–A9). We omit the proofs here.

Lemma A10.

Let $\alpha \in (1,2)$. Assume that Assumption 1 holds. Then we have, with any $ϵ>0$,

$$\begin{array}{cc}\hfill & {\int }_0^1{\left|G_4(t,x,y)\right|}^{2}dy\le C{t}^{-\frac{\alpha }{2}},0\le x\le 1,\hfill \\ \hfill & {\int }_0^t{\int }_0^1{\left|G_4(s,x,y)\right|}^{2}dyds\le C{t}^{ϵ},0\le x\le 1,\hfill \\ \hfill & {\int }_0^1{\left|G_4(t,y,z)-G_4\left(t,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dz\le C{t}^{-1+ϵ}\Delta x^{r_4},0\le y\le 1,\hfill \\ \hfill & {\int }_0^t{\int }_0^1{\left|G_4(s,y,z)-G_4\left(s,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dzds\le {\mathrm{Ct}}^{ϵ}\Delta x^{r_4},0\le y\le 1,\hfill \end{array}$$

where $r_4$ is defined in (21).

Lemma A11.

Let $\alpha \in (1,2)$. Assume that Assumption 1 holds. Then we have, with any $ϵ>0$,

$$\begin{array}{cc}\hfill & {\int }_0^1{\left|G_4^M(t,x,y)\right|}^{2}dy\le {\mathrm{Ct}}^{-\frac{\alpha }{2}},0\le x\le 1,\hfill \\ \hfill & {\int }_0^t{\int }_0^1{\left|G_4^M(s,x,y)\right|}^{2}dyds\le \mathrm{C}{t}^{ϵ},0\le x\le 1,\hfill \\ \hfill & {\int }_0^1{\left|G_4^M(t,y,z)-G_4^M\left(t,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dz\le {\mathrm{Ct}}^{-1+ϵ}\Delta x^{r_4},0\le y\le 1,\hfill \\ \hfill & {\int }_0^t{\int }_0^1{\left|G_4^M(s,y,z)-G_4^M\left(s,\widehat{k_M}\left(y\right),z\right)\right|}^{2}dzds\le \mathrm{C}{t}^{ϵ}\Delta x^{r_4,},0\le y\le 1,\hfill \end{array}$$

where $r_4$ is defined in (21).

Lemma A12.

Let $\alpha \in (1,2)$. Assume that Assumption 1 holds. Then we have, with any $ϵ>0$,

$$\begin{array}{cc}\hfill & {\int }_0^1{\left|G_4(t,x,y)-G_4^M(t,x,y)\right|}^{2}dy\le C{t}^{-1+ϵ}\Delta x^{r_4},0\le x\le 1,\hfill \\ \hfill & {\int }_0^t{\int }_0^1{\left|G_4(s,x,y)-G_4^M(s,x,y)\right|}^{2}dyds\le C{t}^{ϵ}\Delta x^{r_4},0\le x\le 1,\hfill \end{array}$$

where $r_4$ is defined in (21).