Regularity of Fractional Heat Semigroup Associated with Schrödinger Operators

Abstract

Let $L=-\mathsf{\Delta }+V$ be a Schrödinger operator, where the potential V belongs to the reverse Hölder class. By the subordinative formula, we introduce the fractional heat semigroup ${\left\{e^{-t{L}^{\alpha }}\right\}}_{t>0}, 0<\alpha <1$, associated with L. By the aid of the fundamental solution of the heat equation: ${\partial }_{t}u+Lu={\partial }_{t}u-\mathsf{\Delta }u+Vu=0,$ we estimate the gradient and the time-fractional derivatives of the fractional heat kernel $K_{\alpha ,t}^L(·,·)$, respectively. This method is independent of the Fourier transform, and can be applied to the second-order differential operators whose heat kernels satisfy the Gaussian upper bounds. As an application, we establish a Carleson measure characterization of the Campanato-type space $BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$ via the fractional heat semigroup ${\left\{e^{-t{L}^{\alpha }}\right\}}_{t>0}$.

1. Introduction

The aim of this paper is to investigate the fractional heat semigroup of Schrödinger operators

$$L:=-\mathsf{\Delta }+V\left(x\right),$$

where $-\mathsf{\Delta }$ denotes the Laplace operator $\mathsf{\Delta }={\displaystyle \sum _{i=1}^n}{\partial }^2/\partial x_i^2$, and V is a non-negative potential belonging to the reverse Hölder class $B_q$.

Definition 1. 

A non-negative locally $L^q$ integrable function V on ${\mathbb{R}}^n$ is said to belong to $B_q,1<q<\infty ,$ if there exists $C>0$ such that the reverse Hölder inequality,

$${\left(\frac{1}{\left|B\right|}{\int }_B{V}^q\left(x\right)dx\right)}^{1/q}\le \frac{C}{\left|B\right|}{\int }_{B}V\left(x\right)dx,$$

(1)

holds for every ball B in ${\mathbb{R}}^n$.

This kind of operator was firstly noted in the famous paper by C. Fefferman [1]. For the special case $V=0$, $L=-\mathsf{\Delta }$, the fractional heat semigroup can be defined via the Fourier transform:

$${\left(e^{-t{(-\mathsf{\Delta })}^{\alpha }}\left(f\right)\right)}^{\wedge }\left(\xi \right):=e^{-{t\left|\xi \right|}^{2\alpha }}\widehat{f}\left(\xi \right),\alpha \in (0,1].$$

(2)

In the literature, the fractional heat semigroup ${\left\{e^{-t{(-\mathsf{\Delta })}^{\alpha }}\right\}}_{t>0}$ has been widely used in the study of partial differential equations, harmonic analysis, potential theory, and modern probability theory. For example, the semigroup ${\left\{e^{-t{(-\mathsf{\Delta })}^{\alpha }}\right\}}_{t>0}$ is usually applied to construct the linear part of solutions to fluid equations in mathematical physics, e.g., the generalized Navier–Stokes equation, the quasi-geostrophic equation, and the generalized MHD equations. In the field of probability theory, the researchers use ${\left\{e^{-t{(-\mathsf{\Delta })}^{\alpha }}\right\}}_{t>0}$ to describe some kind of Markov process with jumps. For further information and the related applications of fractional heat semigroups ${\left\{e^{-t{(-\mathsf{\Delta })}^{\alpha }}\right\}}_{t>0}$, we refer the reader to [2,3,4,5].

Denote, by $K_{\alpha ,t}(·)$, the integral kernel of $e^{-t{(-\mathsf{\Delta })}^{\alpha }}$, i.e.,

$$K_{\alpha ,t}\left(x\right)={\left(2\pi \right)}^{-n/2}{\int }_{{\mathbb{R}}^n}{e}^{ix·\xi -{t\left|\xi \right|}^{2\alpha }}d\xi ,$$

(3)

and denote, by $K_{\alpha ,t}^{\theta }(·)$, the integral kernel of ${(-\mathsf{\Delta })}^{\theta /2}{e}^{-t{(-\mathsf{\Delta })}^{\alpha }}$. In [6], by an invariant derivative technique and the Fourier analysis method, Miao–Yuan–Zhang concluded that the kernels $K_{\alpha ,t}$ and $K_{\alpha ,t}^{\theta }$ satisfy the following pointwise estimates, respectively (cf., [6], Lemmas 2.1 and 2.2):

$$\left\{\begin{array}{cc}\hfill K_{\alpha ,t}\left(x\right)& \le \frac{Ct}{(t^{1/2\alpha }+{\left|x\right|)}^{n+2\alpha }}\forall (x,t)\in {\mathbb{R}}_{+}^{n+1};\hfill \\ \hfill K_{\alpha ,t}^{\theta }\left(x\right)& \le \frac{C}{(t^{1/2\alpha }+{\left|x\right|)}^{n+\theta }}\forall (x,t)\in {\mathbb{R}}_{+}^{n+1}.\hfill \end{array}\right.$$

Compared with $-\mathsf{\Delta }$, for arbitrary Schrödinger operator L with the non-negative potential V, the fractional heat semigroup ${\left\{e^{-t{L}^{\alpha }}\right\}}_{t>0},\alpha \in (0,1)$, can not be defined via (2). In addition, it is obvious that the methods in [6] are invalid for the estimation of the integral kernels of ${\left\{e^{-t{L}^{\alpha }}\right\}}_{t>0}$. In this paper, by the functional calculus, we observe that the integral kernel of the Poisson semigroup associated with L can be defined as:

$$P_t^L(x,y)=\frac{1}{\sqrt{\pi }}{\int }_0^{\infty }\frac{e^{-u}}{\sqrt{u}}{K}_{t^2/4u}^L(x,y)du=\frac{t}{2\sqrt{\pi }}{\int }_0^{\infty }\frac{e^{-t^2/4s}}{s^{3/2}}{K}_s^L(x,y)ds,$$

(4)

where $K_s^L(·,·)$ denotes the integral kernel of $e^{-sL}$, i.e.,

$$e^{-sL}\left(f\right)\left(x\right):={\int }_{{\mathbb{R}}^n}{K}_s^L(x,y)f\left(y\right)dy.$$

Recall that $K_t^L(·,·)$ is a positive, symmetric function on ${\mathbb{R}}^n\times {\mathbb{R}}^n$, and satisfies ${\int }_{{\mathbb{R}}^n}{K}_t^L(x,y)dy\le 1$. Generally, for $\alpha >0$, the subordinative formula (cf., [3]) indicates that there exists a continuous function ${\eta }_t^{\alpha }(·)$ on $(0,\infty )$, such that:

$$K_{\alpha ,t}^L(x,y)={\int }_0^{\infty }{\eta }_t^{\alpha }\left(s\right)K_s^L(x,y)ds.$$

(5)

The identity (5) enables us to estimate $K_{\alpha ,t}^L(·,·)$ via the heat kernel $K_t^L(·,·)$. Let $\rho (·)$ be the auxiliary function defined by (12) below. In Propositions 7 and 8, we can obtain the following pointwise estimates of $K_{\alpha ,t}^L(·,·)$: for every $N>0$, there exists a constant $C_N$, such that:

$$|K_{\alpha ,t}^L(x,y)|\le \frac{C_{N}t}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N},$$

(6)

and for every $N>0$, $0<{\delta }^{\prime }<min\{1,2-n/q\}$, and all $\left|h\right|\le t^{1/\alpha }$, there exists a constant $C_N$, such that:

$$\begin{array}{ccc}\hfill & & |K_{\alpha ,t}^L(x+h,y)-K_{\alpha ,t}^L(x,y)|\le \frac{C_{N}t{(\left|h\right|/t^{1/2\alpha })}^{{\delta }^{\prime }}}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.\hfill \end{array}$$

(7)

Based on the estimates (6) and (7), we consider the regularity properties of $K_{\alpha ,t}^L(·,·)$. Let ${\nabla }_{x,t}$ denote the gradient operator on ${\mathbb{R}}_{+}^{n+1}$, that is, ${\nabla }_{x,t}=({\nabla }_x,\partial /\partial t)$, where ${\nabla }_x=(\partial /\partial x_1,\partial /\partial x_2,\dots ,\partial /\partial x_n)$. Generally speaking, for a differential operator L, if the semigroup ${\left\{e^{-tL}\right\}}_{t>0}$ is analytic, then the estimate of the derivative in time of integral kernels can be deduced. However, for the derivatives in spatial variables, it is relatively difficult. Specially, let $H=-\mathsf{\Delta }+{\left|x\right|}^2$ be the Hermite operators. The heat kernel related to H, denoted by $K_t^H(·,·)$, can be expressed precisely. Hence, the derivative ${\nabla }_x{K}_t^H(·,·)$ can be obtained via a direct computation. (cf., [7,8]). For a general Schrödinger operator, obviously, there does not exist an exact expression of $K_t^L(·,·)$, and the regularity estimates of $K_t^L(·,·)$ cannot be obtained directly as the case of the Hermite operator H. Alternatively, we obtain an energy estimate of the solution to the equation:

$${\partial }_{t}u+Lu={\partial }_{t}u-\mathsf{\Delta }u+Vu=0.$$

(8)

By the fundamental solution of $-\mathsf{\Delta }$, we prove that, for any $N>0$, there exists a constant $C_N$, such that:

$$|{\nabla }_x{K}_t^L(x,y)|\le \left\{\begin{array}{ccc}& \frac{C_N}{t^{(n+1)/2}}{e}^{{-c|x-y|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x\right)}+\frac{\sqrt{t}}{\rho \left(y\right)}\right)}^{-N},\hfill & \hfill \sqrt{t}\le |x-y|;\\ & \frac{C_N}{|x-y|t^{n/2}}{e}^{{-c|x-y|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x\right)}+\frac{\sqrt{t}}{\rho \left(y\right)}\right)}^{-N},\hfill & \hfill \sqrt{t}\ge |x-y|;\\ & \frac{C_N}{t^{(n+1)/2}}{\left(1+\frac{\sqrt{t}}{\rho \left(x\right)}+\frac{\sqrt{t}}{\rho \left(y\right)}\right)}^{-N},\hfill & \hfill \forall t,x,y,\end{array}\right.$$

in Lemma 8. A direct computation, together with the subordinative formula, gives:

$$|{\nabla }_x{K}_{\alpha ,t}^L(x,y)|\le \frac{C_N{t}^{1-1/2\alpha }}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N};$$

see Proposition 11. By a similar method, we obtain the Hölder regularity of ${\nabla }_x{K}_{\alpha ,t}^L(·,·)$, i.e., for $\left|h\right|<|x-y|/4$ and ${\delta }^{\prime }=1-n/q$,

$$|{\nabla }_x{K}_{\alpha ,t}^L(x+h,y)-{\nabla }_x{K}_{\alpha ,t}^L(x,y)|\le C_N{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}\frac{1}{t^{1/2\alpha }}\frac{t}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha }};$$

see Proposition 12.

In Section 3.3, we focus on the time-fractional derivatives of $K_{\alpha ,t}^L(·,·)$. Recently, there has been an increasing interest in fractional calculus, since time-fractional operators are proven to be very useful for modeling purposes. For example, the following fractional heat equations,

$${\partial }_t^{\beta }u(x,t)=\mathsf{\Delta }u(x,t),$$

(9)

are used to describe heat propagation in inhomogeneous media. It is known that, as opposed to the classical heat equation, Equation (9) is known to exhibit sub-diffusive behaviour and is related to anomalous diffusions or diffusions in non-homogeneous media, with random fractal structures. Recall that the fractional derivative of $K_{\alpha ,t}^L(·,·)$ is defined as:

$${\partial }_t^{\beta }{K}_{\alpha ,t}^L(x,y):=\frac{e^{-i\pi (m-\beta )}}{\mathsf{\Gamma }(m-\beta )}{\int }_0^{\infty }{\partial }_t^m{K}_{\alpha ,t+u}^L(x,y)u^{m-\beta }\frac{du}{u},\beta >0\mathrm{and}m=\left[\beta \right]+1.$$

(10)

For some recent works in the frame of confromable derivatives and Mittag–Leffler kernels, see [9,10]. In Section 3.1, we first obtain the regularity estimates of $t^m{\partial }_t^m{K}_{\alpha ,t}^L(·,·)$ denoted by ${\tilde{D}}_{\alpha ,t}^{L,m}(·,·)$; see Proposition 9. Then, the desired estimates of ${\partial }_t^{\beta }{K}_{\alpha ,t}^L(·,·)$ can be deduced from (10) and Proposition 9; see Propositions 14–16, respectively.

As an application, in Section 4, we characterize the Camapnato-type spaces associated with L, denoted by $BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$, via the fractional heat semigroup ${\left\{e^{-t{L}^{\alpha }}\right\}}_{t>0}$. In the last decades, the characterizations of function spaces associated with Schrödinger operators via semigroups and Carleson measures have attracted the attention of many authors. Let $V\in B_q$, $q>n/2$. Using the family of operators ${\left\{t{\partial }_t{e}^{-tL}\right\}}_{t>0}$, the Carleson measure characterization of $BM{O}_L\left({\mathbb{R}}^n\right)$ was obtained by Dziubański–Garrigós–Martínez–Torrea–Zienkiewicz [11]. Replacing the potential V by a general Radon measure $\mu$, in [12], Wu–Yan extended the result of [11] to generalized Schrödinger operators. The analogue in the setting of Heisenberg groups was obtained by Lin–Liu [13]. Ma–Stinga–Torrea–Zhang [14] characterized the Campanato-type spaces associated with L via the fractional derivatives of the Poisson semigroup. For further information on this topic, we refer to [15,16,17,18,19,20,21] and the references therein. Assume that $L=-\mathsf{\Delta }+V$, with $V\in B_q,q>n$. By the regularity estimates obtained in Section 3, we establish the following equivalent characterizations: for $0<\gamma <min\{2\alpha ,2\alpha \beta \}$,

$$\begin{array}{ccc}\hfill f\in BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)& \sim & \underset{B}{sup}\frac{1}{{\left|B\right|}^{1+2\gamma /n}}{\int }_0^{r_B^{2\alpha }}{\int }_B{\left|t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\left(f\right)\left(x\right)\right|}^2\frac{dxdt}{t}<\infty \hfill \\ & \sim & \underset{B}{sup}\frac{1}{{\left|B\right|}^{1+2\gamma /n}}{\int }_0^{r_B^{2\alpha }}{\int }_B{\left|t^{1/2\alpha }{\nabla }_{\alpha }{e}^{-t{L}^{\alpha }}\left(f\right)\left(x\right)\right|}^2\frac{dxdt}{t}<\infty ,,\hfill \end{array}$$

where ${\nabla }_{\alpha }:=({\nabla }_x,{\partial }_t^{1/2\alpha }).$ See Theorems 3 and 4, respectively.

Remark 1.

(i) 

The regularity estimates obtained in this paper generalize several results on the regularities of the Schrödinger operators. Letting $\alpha =1/2$, $K_{1/2,t}^L(·,·)=P_t^L(·,·)$ is the Poisson kernel associated with the Schrödinger operator. For this case, Propositions 11 and 12 come back to ([15], Lemma 3.9). Moreover, the regularities of ${\partial }_t^{\beta }{K}_{\alpha ,t}^L(·,·)$ obtained in Section 3.3 generalize ([14], Proposition 3.6, (b), (c), and (d)).

(ii) 

The regularity results for ${\nabla }_x{K}_t^L(·,·)$ obtained in Section 3.2 all are pointwise estimations, which is stronger than the norm estimates. As a corollary of Lemma 8, by a trivial computation, we can obtain the estimates appearing in ([22], Lemma 2.1) in our suitable setting; see Proposition 10.

Remark 2. 

For the case of $\alpha =1/2$, the regularities of ${\partial }_t^{\beta }{K}_{1/2,t}^L$ have been studied by Ma–Stinga–Torrea–Zhang [14]. We point out that our method is slightly different from that of [14]. In [14], via the Hermite polynomials $H_m(·)$, the authors converted the estimate of ${\partial }_t^{\beta }{P}_t^L(·,·)$ to the estimate of ${\partial }_t{K}_t^L(·,·)$; see ([14], (3.12)). In Section 3.3, we estimate the time-fractional derivatives of $K_{\alpha ,t}^L(·,·)$ via ${\partial }_t^m{K}_{\alpha ,t}^L(·,·)$, instead of the Hermite polynomials.

Remark 3. 

(i) 

In the regularity estimates of $K_{\alpha ,t}^L(·,·)$, one of the main tools is the subordinative formula. Due to the analytic property of the heat semigroup ${\left\{e^{-tL}\right\}}_{t>0}$, the estimates of ${\partial }_t{K}_t^L(·,·)$ can be deduced from the Cauchy integral formula. Then, we can use the subordinative formula to obtain the related estimates of ${\partial }_t{K}_{\alpha ,t}^L(·,·)$. However, for the derivatives of $K_t^L(·,·)$ in the spatial variables, i.e., ${\nabla }_x{K}_t^L(·,·)$, the method of ${\partial }_t{K}_t^L(·,·)$ is invalid and we need a more technical estimate; see Lemmas 8–11 for details.

(ii) 

Following the idea of [11], we can apply the regularities of $K_{\alpha ,t}^L(·,·)$ obtained in Section 3 to establish the characterizations of the BMO-type space $BM{O}_L\left({\mathbb{R}}^n\right)$. Since the proofs are similar to those in Section 4, we omit the details.

Some notations:

• $\mathsf{U}\sim \mathsf{V}$ represents that there is a constant $c>0$, such that $c^{-1}\mathsf{V}\le \mathsf{U}\le c\mathsf{V}$, whose right inequality is also written as $\mathsf{U}\lesssim \mathsf{V}$. Similarly, one writes $\mathsf{V}\gtrsim \mathsf{U}$ for $\mathsf{V}\ge c\mathsf{U}$;
• For convenience, the positive constants C may change from one line to another and usually depend on the dimension $n,$$\alpha ,$$\beta$, and other fixed parameters;
• Let B be a ball with the radius r. In the rest of this paper, for $c>0$, we denote by $B_{cr}$ the ball with the same center and radius $cr$.

2. Preliminaries

2.1. The Schrödinger Operator

Let $L=-\mathsf{\Delta }+V$ be the Schrödinger operator on ${\mathbb{R}}^n,n\ge 3.$ Throughout the paper, we will assume that V is a nonzero, non-negative potential, and that it belongs to the reverse Hölder class $B_q,q>n/2,$, which is defined in Definition 1. By Hölder’s inequality, we can obtain $B_{q_1}\subset B_{q_2}$ for $q_1\ge q_2>1$. One remarkable feature about the class $B_q$ is that if $V\in B_q$ for some $q>1$, then there exists $\epsilon >0$, which depends only on n and the constant C in (1), such that $V\in B_{q+\epsilon }$. It is also well known that if $V\in B_q,q>1$, then $V\left(x\right)dx$ is a doubling measure. Namely, for any $r>0,x\in {\mathbb{R}}^n$,

$${\int }_{B(x,2r)}V\left(y\right)dy\le C_0{\int }_{B(x,r)}V\left(y\right)dy.$$

(11)

The auxiliary function $m(x,V)$ is defined by:

$$\frac{1}{m(x,V)}:=sup\left\{r>0:\frac{1}{r^{n-2}}{\int }_{B(x,r)}V\left(y\right)dy\le 1\right\}.$$

(12)

Clearly, $0<m(x,V)<\infty$ for every $x\in {\mathbb{R}}^n$, and if $r=1/m(x,V)$, then $\frac{1}{r^{n-2}}{\int }_{B(x,r)}V\left(y\right)dy=1.$ For simplicity, we sometimes denote $1/m(x,V)$ by $\rho \left(x\right)$ in the proofs. We state some properties of $m(x,V)$ which will be used in the proofs of the main results.

Lemma 1. 

([23], Lemma 1.2)There exists a constant $C>0$, such that for every $0<r<R<\infty$ and $y\in {\mathbb{R}}^n$, we have:

$$\frac{1}{r^{n-2}}{\int }_{B(y,r)}V\left(x\right)dx\le C{\left(\frac{r}{R}\right)}^{2-n/q}\frac{1}{R^{n-2}}{\int }_{B(y,R)}^{}V\left(x\right)dx.$$

Lemma 2. 

([24], Lemma 3) For every constant $C_1>1$, there exists a constant $C_2>1$, such that if

$$\frac{1}{C_1}\le \frac{1}{r^{n-2}}{\int }_{B(x,r)}^{}V\left(y\right)dy\le C_1,$$

then $C_2^{-1}\le rm(x,V)\le C_2$.

Lemma 3. 

([23], Lemma 1.4) For every constant $C_1\ge 1$, there is a constant $C_2\ge 1$, such that:

$$\frac{1}{C_2}\le \frac{m(x,V)}{m(y,V)}\le C_2$$

for $|x-y|\le C_1\frac{1}{m(x,V)}.$ Moreover, there exist constants $k_0,C,c>0$, such that

$$\left\{\begin{array}{c}m(y,V)\le C{(1+|x-y\left|m(x,V)\right)}^{k_0}m(x,V);\hfill \\ m(y,V)\ge cm(x,V){(1+|x-y\left|m(x,V)\right)}^{-k_0/(1+k_0)}.\hfill \end{array}\right.$$

Lemma 4. 

([23], Lemma 1.8) There exist constants $k_0,C>0$, such that for $R\ge m{(x,V)}^{-1}$,

$$\frac{1}{R^{n-2}}{\int }_{B(x,R)}V\left(y\right)dy\le C{\left(Rm(x,V)\right)}^{k_0}.$$

Lemma 5. 

([25], Lemma 1) Suppose $V\in B_q$, $q>n/2$. Let $m_0>{log}_2{C}_0+1$, where $C_0$ is the constant in (11). Then, for any $x_0\in {\mathbb{R}}^n$, $R>0$,

$$\frac{1}{{\{1+Rm(x_0,V)\}}^{m_0}}{\int }_{B(x_0,R)}V\left(x\right)dx\le C{R}^{n-2}.$$

As a corollary of ([26], Corollary 4.8), we have:

Lemma 6. 

There exist constants C, δ, and l, such that:

$$\frac{1}{t^{n/2}}{\int }_{{\mathbb{R}}^n}{e}^{{-c|x-y|}^2/t}V\left(y\right)dy\le \left\{\begin{array}{c}\hfill \frac{C}{t}{\left(\frac{\sqrt{t}}{\rho \left(x\right)}\right)}^{\delta },\sqrt{t}<m{(x,V)}^{-1};\\ \hfill \frac{C}{t}{\left(\frac{\sqrt{t}}{\rho \left(x\right)}\right)}^l,\sqrt{t}\ge m{(x,V)}^{-1}.\end{array}\right.$$

Since the potential V is non-negative, it follows from the Feynman–Kac formula that the kernels $K_t^L(·,·)$ have a Gaussian upper bound:

$$0\le K_t^L(x,y)\le \frac{1}{{\left(4\pi t\right)}^{n/2}}{e}^{{-|x-y|}^2/4t}.$$

Furthermore,

Proposition 1. 

([27], Theorem 4.10) For every $N>0$, there exist constants $C_N$ and c, such that for all $x,y\in {\mathbb{R}}^n,$

$$0\le K_t^L(x,y)\le \frac{C_N}{t^{n/2}}{e}^{{-c|x-y|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x\right)}+\frac{\sqrt{t}}{\rho \left(y\right)}\right)}^{-N}.$$

(13)

Proposition 2. 

([27], Proposition 4.11) For every $0<{\delta }^{\prime }<{\delta }_0=min\{1,2-n/q\}$ and every $N>0$, there exist constants $C_N>0$ and c, such that for $\left|h\right|<\sqrt{t}$,

$$|K_t^L(x+h,y)-K_t^L(x,y)|\le \frac{C_N}{t^{n/2}}{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{{\delta }^{\prime }}{e}^{{-c|x-y|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x\right)}+\frac{\sqrt{t}}{\rho \left(y\right)}\right)}^{-N}.$$

Remark 4. 

By Proposition 1, it is easy to see that the condition $\left|h\right|<\sqrt{t}$ in Proposition 2 can be replaced by $\left|h\right|<|x-y|/2$.

Let $Q_{t,m}^L(x,y):=t^m{\partial }_t^m{K}_t^L(x,y)$, $m\in {\mathbb{Z}}_{+}$. Then,

Proposition 3. 

([28], Proposition 3.3) Let $m\in {\mathbb{Z}}_{+}.$

(i)

For every $N>0$, there exist constants $C_N>0$ and $c>0$, such that:

$$|Q_{t,m}^L(x,y)|\le \frac{C_N}{t^{n/2}}{e}^{{-c|x-y|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x\right)}+\frac{\sqrt{t}}{\rho \left(y\right)}\right)}^{-N}.$$

(ii)

Let $0<{\delta }^{\prime }\le {\delta }_0$, where ${\delta }_0$ appears in Proposition 2. For every $N>0$, there exist constants $C_N>0$ and c, such that for $\left|h\right|<\sqrt{t}$,

$$|Q_{t,m}^L(x+h,y)-Q_{t,m}^L(x,y)|\le \frac{C_N}{t^{n/2}}{e}^{{-c|x-y|}^2/t}{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{{\delta }^{\prime }}{\left(1+\frac{\sqrt{t}}{\rho \left(x\right)}+\frac{\sqrt{t}}{\rho \left(y\right)}\right)}^{-N}.$$

(iii)

For every $N>0$ and $0<{\delta }^{\prime }\le {\delta }_0$, there exists a constant $C_N>0$, such that:

$$\left|{\int }_{{\mathbb{R}}^n}{Q}_{t,m}^L(x,y)dy\right|\le C_N{\left(\frac{\sqrt{t}}{\rho \left(x\right)}\right)}^{{\delta }^{\prime }}{\left(1+\frac{\sqrt{t}}{\rho \left(x\right)}\right)}^{-N}.$$

2.2. Fractional Heat Kernels Associated with L

In this section, we first state some backgrounds on the fractional heat semigroup and the fractional heat kernel associated with L. For the case $V\ne 0$, the fractional heat semigroup associated with L can not be defined using the Fourier multiplier method (2) as the Laplace operator. We strike out on a new path and introduce the fractional heat semigroup via the subordinative formula.

The Schrödinger operator L can be seen as the generator of the semigroup ${\left\{e^{-tL}\right\}}_{t>0}$, i.e.,

$$L\left(f\right):=\underset{t\to 0}{lim}\frac{f-e^{-tL}f}{t},$$

where the limit is in $L^2\left({\mathbb{R}}^n\right)$. L is a self-adjointed, positive operator. The integral kernels of the semigroups ${\left\{e^{-tL}\right\}}_{t>0}$ are denoted by $K_t^L(·,·)$. It is easy to verify that the kernel $K_t^L(·,·)$ satisfies the following:

$$\left\{\begin{array}{c}\left(\mathrm{i}\right)K_t^L(x,y)\ge 0,x,y\in {\mathbb{R}}^n;\hfill \\ \left(\mathrm{ii}\right)K_t^L(x,y)=K_t^L(y,x);\hfill \\ \left(\mathrm{iii}\right)K_{s+t}^L(x,y)={\int }_{{\mathbb{R}}^n}{K}_s^L(x,z)K_t^L(z,y)dz;\hfill \\ \left(\mathrm{iv}\right)\underset{t\to 0+}{lim}{\int }_{{\mathbb{R}}^n}{K}_t^L(x,y)f\left(y\right)dy=f\left(x\right),\forall f\in L^2\left({\mathbb{R}}^n\right).\hfill \end{array}\right.$$

For $\alpha \in (0,1)$, the fractional power of L, denoted by $L^{\alpha }$, is defined as:

$$L^{\alpha }\left(f\right)=\frac{1}{\mathsf{\Gamma }(-\alpha )}{\int }_0^{\infty }\left(e^{-t\sqrt{L}}f\left(x\right)-f\left(x\right)\right)\frac{dt}{t^{1+2\alpha }},\forall f\in L^2\left({\mathbb{R}}^n\right).$$

Here, ${\left\{e^{-t\sqrt{L}}\right\}}_{t>0}$ denotes the Poisson semigroup related to L, with the kernel $P_t^L(·,·)$ defined as:

$$\begin{array}{c}\hfill P_t^L(x,y)=\frac{1}{\sqrt{\pi }}{\int }_0^{\infty }\frac{e^{-u}}{\sqrt{u}}{K}_{t^2/4u}^L(x,y)du=\frac{t}{2\sqrt{\pi }}{\int }_0^{\infty }\frac{e^{-t^2/4s}}{2s^{3/2}}{K}_s^L(x,y)ds.\end{array}$$

By the subordinative formula, we know that there exists a non-negative continuous function ${\eta }_t^{\alpha }(·)$ satisfying (cf., [3]):

$$\left\{\begin{array}{c}{\eta }_t^{\alpha }\left(s\right)=\frac{1}{t^{1/\alpha }}{\eta }_1^{\alpha }(s/t^{1/\alpha });\hfill \\ {\eta }_t^{\alpha }\left(s\right)\lesssim \frac{t}{s^{1+\alpha }},\forall s,t>0;\hfill \\ {\int }_0^{\infty }{s}^{-\gamma }{\eta }_1^{\alpha }\left(s\right)ds<\infty ,\gamma >0;\hfill \\ {\eta }_t^{\alpha }\left(s\right)\simeq \frac{t}{s^{1+\alpha }},\forall s\ge t^{1/\alpha }>0,\hfill \end{array}\right.$$

(14)

such that $K_{\alpha ,t}^L(·,·)$ can be expressed as:

$$K_{\alpha ,t}^L(x,y)={\int }_0^{\infty }{\eta }_t^{\alpha }\left(s\right)K_s^L(x,y)ds;$$

(15)

see [3] for some examples of ${\eta }_t^{\alpha }(·)$. The function ${\eta }_t^{\alpha }(·)$ plays an important role in the estimate of the fractional heat kernel $K_{\alpha ,t}^L(·,·)$. Take $\alpha =1/2$ for example: by (4), we can see that ${\eta }_t^{1/2}\left(s\right)=\frac{t}{2s^{3/2}}{e}^{-t^2/4s},\forall s,t>0.$ It is easy to verify that such ${\eta }_t^{1/2}(·)$ satisfies conditions in (14). For the special case $L=-\mathsf{\Delta }$, a direct computation gives:

$$P_t^{-\mathsf{\Delta }}(x,y)={\int }_0^{\infty }\frac{e^{-t^2/4s}t}{2\sqrt{\pi }{s}^{3/2}}{s}^{-n/2}{e}^{{-|x-y|}^2/s}ds=\frac{c_{n}t}{(t^2{+|x-y|}^2{)}^{(n+1)/2}},$$

which coincides with the classical Poisson kernel obtained via (3).

2.3. Campanato-Type Spaces Associated with L

The Campanato-type space associated with L is defined as follows:

Definition 2. 

The space $BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$, $0<\gamma \le 1$ is defined as the set of all locally integrable functions f, satisfying that there exists a constant C, such that:

$$\underset{B}{sup}\frac{1}{{\left|B\right|}^{1+\gamma /n}}{\int }_B|f\left(x\right)-f(B,V)|dx\le C,$$

(16)

where the supremum is taken over all balls B centered at $x_B$ with radius $r_B$, and:

$$f(B,V):=\left\{\begin{array}{c}{f}_B,r_B<\rho \left(x_B\right);\hfill \\ 0,r_B\ge \rho \left(x_B\right).\hfill \end{array}\right.$$

The norm ${\parallel f\parallel }_{BM{O}_L^{\gamma }}$ is defined as the infimum of the constants C, such that (16), above, holds.

Proposition 4. 

([14], Proposition 4.3) Let $B=B(x,r)$ with $r<\rho \left(x\right)$. If $f\in BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right),0<\gamma \le 1$, then there exists a constant $C_{\gamma }$, such that $|f_B|\le C_{\gamma }{\left(\rho \left(x\right)\right)}^{\gamma }{\parallel f\parallel }_{BM{O}_L^{\gamma }}$.

The space $BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$ is equivalent to the following Lipschitz-type space related to L:

Definition 3. 

For $0<\gamma \le 1$, a continuous function f defined on ${\mathbb{R}}^n$ belongs to the space $C_L^{0,\gamma }\left({\mathbb{R}}^n\right)$ if

$$\underset{x,y\in {\mathbb{R}}^n}{sup}\frac{\left|f\right(x)-f(y\left)\right|}{{|x-y|}^{\gamma }}<\infty \mathrm{and}\underset{x\in {\mathbb{R}}^n}{sup}\frac{\left|f\right(x\left)\right|}{\rho {\left(x\right)}^{\gamma }}<\infty .$$

Proposition 5. 

([14], Proposition 4.6) If $0<\gamma \le 1$, then the spaces $BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$ and $C_L^{0,\gamma }\left({\mathbb{R}}^n\right)$ are equal, and their norms are equivalent.

It is well known that Hardy spaces $H^p\left({\mathbb{R}}^n\right),0<p\le 1$, are the predual spaces of Campanato spaces (cf. [29]). In the 2000s, such a dual relationship was extended to function spaces associated with operators; see [11,30,31,32,33,34]. For Schrödinger operator L, the following Hardy-type spaces, $H_L^p\left({\mathbb{R}}^n\right),0<p\le 1$, were introduced in [26,27]:

Definition 4. 

For $0<p\le 1$, an integrable function f is an element of the Hardy-type space $H_L^p\left({\mathbb{R}}^n\right)$ if the maximal function

$$T^{*}\left(f\right)\left(x\right):=\underset{s>0}{sup}\left|T_s^L\left(f\right)\left(x\right)\right|$$

belongs to $L^p\left({\mathbb{R}}^n\right)$. The quasi-norm in $H_L^p\left({\mathbb{R}}^n\right)$ is defined by: ${\parallel f\parallel }_{H_L^p}:={\parallel T^{*}\left(f\right)\parallel }_{L^p}.$

Let ${\delta }_0=min\{1,2-n/q\}$ and $n/(n+{\delta }_0)<p\le 1$. An atom of $H_L^p\left({\mathbb{R}}^n\right)$ associated with a ball $B(x_B,r_B)$ is a function a, such that:

$$\left\{\begin{array}{c}\mathrm{supp}a\subseteq B(x_B,r_B),r_B\le \rho \left(x_B\right);\hfill \\ {\parallel a\parallel }_{L^{\infty }}\le {\left|B(x_B,r_B)\right|}^{-1/p};\hfill \\ {\int }_{{\mathbb{R}}^n}a\left(x\right)dx=0,r_B<\rho \left(x_B\right)/4.\hfill \end{array}\right.$$

In [27], Dziubański and Zienkiewicz obtained the following atomic characterization of $H_L^p\left({\mathbb{R}}^n\right)$:

Proposition 6. 

([27], Theorem 1.13) Let $n/(n+{\delta }_0)<p\le 1$. $f\in H_L^p\left({\mathbb{R}}^n\right)$ if and only if $f={\sum }_j{\lambda }_j{a}_j$, where $\left\{a_j\right\}$ are $H_L^p$-atoms and ${\sum }_j{\left|{\lambda }_j\right|}^p<\infty$.

Theorem 1. 

([14], Theorem 4.5) Let $0\le \gamma <1$. Then, the dual space of $H_L^{n/(n+\gamma )}\left({\mathbb{R}}^n\right)$ is $BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$. More precisely, any continuous linear functional Φ over $H_L^{n/(n+\gamma )}\left({\mathbb{R}}^n\right)$ can be represented as

$$\mathsf{\Phi }\left(a\right)={\int }_{{\mathbb{R}}^n}f\left(x\right)a\left(x\right)dx$$

for some function $f\in BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$ and all $H_L^{n/(n+\gamma )}$-atoms a. Moreover, the operator norm ${\parallel \mathsf{\Phi }\parallel }_{op}\sim {\parallel f\parallel }_{BM{O}_L^{\gamma }}$.

Lemma 7. 

([14], Lemma 5.4) Let $q_t(x,y)$ be a function of $x,y\in {\mathbb{R}}^n$, $t>0$. Assume that for every $N>0$, there exists a constant $C_N$, such that for some ${\gamma }^{\prime }\ge \gamma$,

$$|q_t(x,y)|\le C_N{(1+t/\rho \left(x\right)+t/\rho \left(y\right))}^{-N}{t}^{-n}{(1+|x-y|/t)}^{-(n+{\gamma }^{\prime })}.$$

Then, for every $H_L^{n/(n+\gamma )}$-atom g supported on $B(x_0,r)$, there exists $C_{N,x_0,r}>0$, such that:

$$\underset{t>0}{sup}\left|{\int }_{{\mathbb{R}}^n}{q}_t(x,y)g\left(y\right)dy\right|\le C_{N,x_0,r}{(1+|x\left|\right)}^{-(n+{\gamma }^{\prime })},x\in {\mathbb{R}}^n.$$

3. Regularities on Fractional Heat Semigroups Associated with L

The aim of this section is to estimate the regularities of the fractional heat kernel $K_{\alpha ,t}^L(·,·)$. By the use of (5), we first estimate ${\partial }_t^m{K}_{\alpha ,t}^L(·,·),m\ge 1.$ Then, via the solution to (8), we investigate the spatial gradient of $K_{\alpha ,t}^L(·,·)$. At last, we obtain the estimation of the time-fractional derivatives of $K_{\alpha ,t}^L(·,·)$.

3.1. Regularities of the Fractional Heat Kernel

We first investigate the regularities of $K_{\alpha ,t}^L(·,·)$.

Proposition 7. 

Let $\alpha \in (0,1)$ and $V\in B_q,q>n/2$. For every $N>0$, there exists a constant $C_N$, such that:

$$|K_{\alpha ,t}^L(x,y)|\le \frac{C_{N}t}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.$$

Proof. 

By Proposition 1, we use (13)–(15) to obtain for any $M,N>0$, a constant $C_{M,N}$, such that:

$$\begin{array}{ccc}\hfill \left|K_{\alpha ,t}^L(x,y)\right|& \lesssim & {\int }_0^{\infty }\frac{t}{s^{1+\alpha }}\left|K_s^L(x,y)\right|ds\hfill \\ & \lesssim & C_{M,N}{\int }_0^{\infty }\frac{t{e}^{{-c|x-y|}^2/s}}{s^{1+\alpha +n/2}}{\left(1+\frac{\sqrt{s}}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-M}ds.\hfill \end{array}$$

By changing variables, we have:

$$\begin{array}{ccc}\hfill \left|K_{\alpha ,t}^L(x,y)\right|& \lesssim & C_{M,N}{\int }_0^{\infty }\frac{t^{1+1/\alpha }}{{\left(t^{1/\alpha }u\right)}^{1+\alpha }}{\left(t^{1/\alpha }u\right)}^{-n/2}{e}^{-\frac{{c|x-y|}^2}{t^{1/\alpha }u}}{\left(1+\frac{t^{1/2\alpha }\sqrt{u}}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{t^{1/2\alpha }\sqrt{u}}{\rho \left(y\right)}\right)}^{-M}du\hfill \\ & \lesssim & \frac{C_{M,N}}{t^{n/2\alpha }}{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-M}{\int }_0^{\infty }\frac{1}{u^{1+\alpha }}{u}^{-n/2-N/2-M/2}{e}^{-\frac{{c|x-y|}^2}{t^{1/\alpha }u}}du.\hfill \end{array}$$

Let $\frac{{|x-y|}^2}{t^{1/\alpha }u}=r^2$. Then,

$$\begin{array}{ccc}\hfill \left|K_{\alpha ,t}^L(x,y)\right|& \le & C_{M,N}{t}^{-n/2\alpha }{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-M}{\int }_0^{\infty }{\left(\frac{{|x-y|}^2}{t^{1/\alpha }{r}^2}\right)}^{-1-\alpha -n/2-N/2-M/2}{e}^{-c{r}^2}\frac{{|x-y|}^2}{t^{1/\alpha }{r}^3}dr\hfill \\ & \le & C_{M,N}{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-M}\frac{t^{1+(M+N)/\left(2\alpha \right)}}{{|x-y|}^{2\alpha +n+N+M}}{\int }_0^{\infty }{r}^{2\alpha +n+M+N-1}{e}^{-c{r}^2}dr\hfill \\ & \le & C_{M,N}{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-M}\frac{t^{1+(M+N)/\left(2\alpha \right)}}{{|x-y|}^{n+2\alpha +N+M}},\hfill \end{array}$$

which gives:

$${\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^N{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^M\left|K_{\alpha ,t}^L(x,y)\right|\le \frac{C_{M,N}{t}^{1+(M+N)/\left(2\alpha \right)}}{{|x-y|}^{n+2\alpha +N+M}}.$$

(17)

On the other hand, using the change of variables again, we obtain:

$$\begin{array}{ccc}\hfill \left|K_{\alpha ,t}^L(x,y)\right|& \le & C_{M,N}{\int }_0^{\infty }{s}^{-n/2}{\eta }_1^{\alpha }\left(\frac{s}{t^{1/\alpha }}\right){\left(1+\frac{\sqrt{s}}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-M}ds\hfill \\ & \le & C_{M,N}{\int }_0^{\infty }{\left(t^{1/\alpha }\tau \right)}^{-n/2}\frac{1}{t^{1/\alpha }}{\eta }_1^{\alpha }\left(\tau \right){\left(1+\frac{\sqrt{\tau }{t}^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{\tau }{t}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-M}{t}^{1/\alpha }d\tau \hfill \\ & \le & C_{M,N}{t}^{-n/2\alpha }{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-M}{\int }_0^{\infty }{\tau }^{-n/2-M/2-N/2}{\eta }_1^{\alpha }\left(\tau \right)d\tau .\hfill \end{array}$$

The above estimate implies that:

$${\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^N{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^M\left|K_{\alpha ,t}^L(x,y)\right|\le \frac{C_{M,N}}{t^{n/2\alpha }}.$$

(18)

Now, combining (17) and (18), we have:

$${\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^N{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^M\left|K_{\alpha ,t}^L(x,y)\right|\le C_{M,N}min\left\{\frac{t^{1+(M+N)/\left(2\alpha \right)}}{{|x-y|}^{n+2\alpha +N+M}},t^{-n/2\alpha }\right\},$$

which, together with the arbitrariness of $M,N$, indicates that:

$$|K_{\alpha ,t}^L(x,y)|\le \frac{C_{N}t}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.$$

This completes the proof of Proposition 7. □

Proposition 8. 

Let $\alpha \in (0,1)$ and $V\in B_q,q>n/2$. For any $N>0$, there exists a constant $C_N>0$, such that for every $0<{\delta }^{\prime }<{\delta }_0=min\{1,2-n/q\}$ and all $\left|h\right|\le t^{1/2\alpha }$,

$$\begin{array}{ccc}\hfill |K_{\alpha ,t}^L(x+h,y)-K_{\alpha ,t}^L(x,y)|& \le & \frac{C_N\left(\right|h|/t^{1/2\alpha }{)}^{\delta }t}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.\hfill \end{array}$$

Proof. 

The proof is similar to that of Proposition 7. We first assume that $\left|h\right|<|x-y|/2$. By the subordinative Formula (15), we can use Proposition 2 to obtain, for any $M,N>0$, a constant $C_{M,N}$, such that:

$$\begin{array}{ccc}\hfill |K_{\alpha ,t}^L(x+h,y)-K_{\alpha ,t}^L(x,y)|& \le & C_{M,N}{\int }_0^{\infty }\frac{t}{s^{1+\alpha }}{s}^{-n/2}{e}^{{-c|x-y|}^2/s}{\left(\left|h\right|/\sqrt{s}\right)}^{{\delta }^{\prime }}{\left(1+\frac{\sqrt{s}}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-M}ds\hfill \\ & \le & C_{M,N}{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-M}\frac{t^{1+(M+N)/\left(2\alpha \right)+{\delta }^{\prime }/2\alpha }}{{|x-y|}^{2\alpha +n+M+N+{\delta }^{\prime }}}\hfill \\ & \le & C_{M,N}{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-M}\frac{t^{1+(M+N)/\left(2\alpha \right)}{\left|h\right|}^{{\delta }^{\prime }}}{{|x-y|}^{2\alpha +n+M+N+{\delta }^{\prime }}},\hfill \end{array}$$

which implies:

$${\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^N{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^M|K_{\alpha ,t}^L(x+h,y)-K_{\alpha ,t}^L(x,y)|\le \frac{C_{M,N}{t}^{1+(M+N)/\left(2\alpha \right)}{\left|h\right|}^{{\delta }^{\prime }}}{{|x-y|}^{2\alpha +n+M+N+{\delta }^{\prime }}}.$$

(19)

On the other hand, letting $\tau =s/t^{1/\alpha }$, we have:

$$\begin{array}{ccc}& & |K_{\alpha ,t}^L(x+h,y)-K_{\alpha ,t}^L(x,y)|\hfill \\ & & \le C_{M,N}{\int }_0^{\infty }{s}^{-n/2}\frac{1}{t^{1/\alpha }}{\eta }_1^{\alpha }(s/t^{1/\alpha }){\left(\frac{\left|h\right|}{\sqrt{s}}\right)}^{{\delta }^{\prime }}{\left(1+\frac{\sqrt{s}}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-M}ds\hfill \\ & & \le C_{M,N}{\int }_0^{\infty }{\left(t^{1/\alpha }\tau \right)}^{-n/2}{\eta }_1^{\alpha }\left(\tau \right){\left(\frac{\left|h\right|}{\sqrt{\tau }{t}^{1/2\alpha }}\right)}^{{\delta }^{\prime }}{\left(1+\frac{\sqrt{\tau }{t}^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{\tau }{t}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-M}d\tau \hfill \\ & & \le C_{M,N}{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-M}{t}^{-n/2\alpha -{\delta }^{\prime }/2\alpha }{\left|h\right|}^{{\delta }^{\prime }}{\int }_0^{\infty }{\tau }^{-n/2-M/2-N/2-{\delta }^{\prime }/2}{\eta }_1^{\alpha }\left(\tau \right)d\tau .\hfill \end{array}$$

This gives:

$${\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^N{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^M|K_{\alpha ,t}^L(x+h,y)-K_{\alpha ,t}^L(x,y)|\le C_{M,N}{t}^{-n/2\alpha }{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}.$$

(20)

The estimates (19) and (20) indicate that:

$$\begin{array}{ccc}& & {\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^N{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^M|K_{\alpha ,t}^L(x+h,y)-K_{\alpha ,t}^L(x,y)|\hfill \\ & & \le C_{N}min\left\{\frac{t^{1+(M+N)/\left(2\alpha \right)}{\left|h\right|}^{{\delta }^{\prime }}}{{|x-y|}^{2\alpha +n+M+N+{\delta }^{\prime }}},t^{-n/2\alpha }{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}\right\}.\hfill \end{array}$$

Due to the arbitrariness of $M$, we have:

$$|K_{\alpha ,t}^L(x+h,y)-K_{\alpha ,t}^L(x,y)|\le \frac{C_{N}t}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.$$

This proves Proposition 8 under the assumption $\left|h\right|<|x-y|/2$.

Now, we prove this proposition for the case $\left|h\right|<t^{1/2\alpha }$. For $\left|h\right|<|x-y|/2<t^{1/2\alpha }$ or $\left|h\right|<t^{1/2\alpha }<|x-y|/2$, the desired estimate can be deduced from (19) and (20). The case $|x-y|/2<\left|h\right|<t^{1/2\alpha }$ remains to be considered. We split:

$$\begin{array}{ccc}\hfill |K_{\alpha ,t}^L(x+h,y)-K_{\alpha ,t}^L(x,y)|& \le & S_1+S_2,\hfill \end{array}$$

where

$$\left\{\begin{array}{cc}\hfill S_1& :={\int }_{\left|h\right|<\sqrt{s}}{\eta }_t^{\alpha }\left(s\right)|K_{\alpha ,s}^L(x+h,y)-K_{\alpha ,s}^L(x,y)|ds;\hfill \\ \hfill S_2& :={\int }_{\left|h\right|\ge \sqrt{s}}{\eta }_t^{\alpha }\left(s\right)|K_{\alpha ,s}^L(x+h,y)-K_{\alpha ,s}^L(x,y)|ds.\hfill \end{array}\right.$$

For $S_1$, since $\left|h\right|<\sqrt{s}$, we can follow the procedure of (20) to deduce that:

$$\begin{array}{ccc}\hfill S_1& \lesssim & {\int }_{\left|h\right|<\sqrt{s}}{s}^{-n/2}\frac{1}{t^{1/\alpha }}{\eta }_1^{\alpha }(s/t^{1/\alpha }){\left(\frac{\left|h\right|}{\sqrt{s}}\right)}^{{\delta }^{\prime }}{\left(1+\frac{\sqrt{s}}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-N}ds\hfill \\ & \lesssim & {\int }_0^{\infty }{\left(t^{1/\alpha }\tau \right)}^{-n/2}{\eta }_1^{\alpha }\left(\tau \right){\left(\frac{\left|h\right|}{\sqrt{\tau }{t}^{1/2\alpha }}\right)}^{{\delta }^{\prime }}{\left(1+\frac{\sqrt{\tau }{t}^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{\tau }{t}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}d\tau \hfill \\ & \lesssim & {\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{t}^{-n/2\alpha }{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}{\int }_0^{\infty }{\tau }^{-n/2-N-{\delta }^{\prime }/2}{\eta }_1^{\alpha }\left(\tau \right)d\tau \hfill \\ & \lesssim & {\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{t}^{-n/2\alpha }{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}.\hfill \end{array}$$

We further divide $S_2$ into $S_2=S_{2,1}+S_{2,2}$, where

$$\left\{\begin{array}{cc}\hfill S_{2,1}& :={\int }_{\left|h\right|\ge \sqrt{s}}{\eta }_t^{\alpha }\left(s\right)\left|K_{\alpha ,s}^L(x,y)\right|ds;\hfill \\ \hfill S_{2,2}& :={\int }_{\left|h\right|\ge \sqrt{s}}{\eta }_t^{\alpha }\left(s\right)\left|K_{\alpha ,s}^L(x+h,y)\right|ds.\hfill \end{array}\right.$$

Noticing $\left|h\right|>\sqrt{s}$, for ${\delta }^{\prime }>0$, it follows from Proposition 7 that:

$$\begin{array}{ccc}\hfill S_{2,1}& \lesssim & {\int }_{\left|h\right|\ge \sqrt{s}}{s}^{-n/2}\frac{1}{t^{1/\alpha }}{\eta }_1^{\alpha }(s/t^{1/\alpha }){\left(1+\frac{\sqrt{s}}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-N}ds\hfill \\ & \lesssim & {\int }_0^{\infty }{s}^{-n/2}\frac{1}{t^{1/\alpha }}{\eta }_1^{\alpha }(s/t^{1/\alpha }){\left(\frac{\left|h\right|}{\sqrt{s}}\right)}^{{\delta }^{\prime }}{\left(1+\frac{\sqrt{s}}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-N}ds\hfill \\ & \lesssim & {\int }_0^{\infty }{\left(t^{1/\alpha }\tau \right)}^{-n/2}{\eta }_1^{\alpha }\left(\tau \right){\left(\frac{\left|h\right|}{\sqrt{\tau }{t}^{1/2\alpha }}\right)}^{{\delta }^{\prime }}{\left(1+\frac{\sqrt{\tau }{t}^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{\tau }{t}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}d\tau \hfill \\ & \lesssim & {\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{t}^{-n/2\alpha }{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}.\hfill \end{array}$$

For $S_{2,2}$, similarly, we use Proposition 7, again, to deduce that:

$$\begin{array}{ccc}\hfill S_{2,2}& \lesssim & {\int }_{\left|h\right|\ge \sqrt{s}}{s}^{-n/2}\frac{1}{t^{1/\alpha }}{\eta }_1^{\alpha }(s/t^{1/\alpha }){\left(1+\frac{\sqrt{s}}{\rho (x+h)}\right)}^{-2N}{\left(1+\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-2N}ds\hfill \\ & \lesssim & {\int }_0^{\infty }{s}^{-n/2}\frac{1}{t^{1/\alpha }}{\eta }_1^{\alpha }(s/t^{1/\alpha }){\left(\frac{\left|h\right|}{\sqrt{s}}\right)}^{{\delta }^{\prime }}{\left(1+\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-2N}ds\hfill \\ & \lesssim & {\int }_0^{\infty }{\left(t^{1/\alpha }\tau \right)}^{-n/2}{\eta }_1^{\alpha }\left(\tau \right){\left(\frac{\left|h\right|}{\sqrt{\tau }{t}^{1/2\alpha }}\right)}^{{\delta }^{\prime }}{\left(1+\frac{\sqrt{\tau }{t}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-2N}d\tau \hfill \\ & \lesssim & {\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-2N}{t}^{-n/2\alpha }{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }},\hfill \end{array}$$

which, together with the arbitrariness of N, indicates that:

$$S_{2,2}\lesssim {\left(1+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-2N}{t}^{-n/2\alpha }{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}.$$

Because $|x-y|/2<t^{1/2\alpha }$, by Lemma 3, it holds that:

$$m(y,V)\ge c\frac{m(x,V)}{{(1+|x-y\left|m(x,V)\right)}^{k_0/(1+k_0)}}\gtrsim \frac{m(x,V)}{{(1+t^{1/2\alpha }m(x,V))}^{k_0/(1+k_0)}},$$

which gives:

$$\begin{array}{ccc}\hfill {\left(1+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}& =& {\left(1+t^{1/2\alpha }m(y,V)\right)}^{-N}\hfill \\ & \lesssim & \frac{{(1+t^{1/2\alpha }m(x,V))}^{k_{0}N/(1+k_0)}}{{\left({(1+t^{1/2\alpha }m(x,V))}^{k_0/(1+k_0)}+t^{1/2\alpha }m(x,V)\right)}^N}\hfill \\ & \lesssim & {\left(1+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N^{\prime }}.\hfill \end{array}$$

The estimates for $S_1$ and $S_2$, together with $|x-y|/2<t^{1/2\alpha }$, imply that:

$$\begin{array}{ccc}\hfill |K_{\alpha ,t}^L(x+h,y)-K_{\alpha ,t}^L(x,y)|& \lesssim & t^{-n/2\alpha }{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}\hfill \\ & \lesssim & \frac{\left(\right|h|/t^{1/2\alpha }{)}^{\delta }t}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.\hfill \end{array}$$

□

For $m\in {\mathbb{Z}}^{+}$ and $t>0$, define: ${\tilde{D}}_{\alpha ,t}^{L,m}(·,·)=t^m{\partial }_t^m{K}_{\alpha ,t}^L(·,·).$ We can obtain the following estimates about the kernel: ${\tilde{D}}_{\alpha ,t}^{L,m}(·,·)$.

Proposition 9. 

Let $\alpha \in (0,1)$, $V\in B_q,q>n/2$, $m\in {\mathbb{Z}}_{+}$, and $\delta =min\{2\alpha ,{\delta }_0\}$, where ${\delta }_0$ appears in Proposition 2.

(i)

For any $N>0$, there exists a constant $C_N>0$, such that:

$$|{\tilde{D}}_{\alpha ,t}^{L,m}(x,y)|\le \frac{C_N{t}^m}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha m}}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N};$$

(ii)

Let $0<{\delta }^{\prime }\le \delta$. For any $N>0$, there exists a constant $C_N>0$, such that for all $\left|h\right|\le t^{1/2\alpha }$,

$$|{\tilde{D}}_{\alpha ,t}^{L,m}(x+h,y)-{\tilde{D}}_{\alpha ,t}^{L,m}(x,y)|\le C_N{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}\frac{t^m}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha m}}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N};$$

(iii)

Let $0<{\delta }^{\prime }\le \delta$. For any $N>\delta$, there exists a constant $C_N>0$, such that:

$$\left|{\int }_{{\mathbb{R}}^n}{\tilde{D}}_{\alpha ,t}^{L,m}(x,y)dy\right|\le C_N\frac{{(t^{1/2\alpha }/\rho \left(x\right))}^{{\delta }^{\prime }}}{{(1+t^{1/2\alpha }/\rho \left(x\right))}^N}.$$

Proof. 

For (i), since ${\eta }_t^{\alpha }\left(s\right)=\frac{1}{t^{1/\alpha }}{\eta }_1^{\alpha }(s/t^{1/\alpha })$,

$$\begin{array}{ccc}\hfill K_{\alpha ,t}^L(x,y)& =& {\int }_0^{\infty }\frac{1}{t^{1/\alpha }}{\eta }_1^{\alpha }(s/t^{1/\alpha })K_s^L(x,y)ds={\int }_0^{\infty }{\eta }_1^{\alpha }\left(\tau \right)K_{t^{1/\alpha }\tau }^L(x,y)d\tau .\hfill \end{array}$$

Hence,

$$\begin{array}{ccc}\hfill \left|\frac{{\partial }^m}{\partial t^m}{K}_{\alpha ,t}^L(x,y)\right|& =& \left|\frac{{\partial }^m}{\partial t^m}\left({\int }_0^{\infty }{\eta }_1^{\alpha }\left(\tau \right)K_{t^{1/\alpha }\tau }^L(x,y)d\tau \right)\right|=\left|{\int }_0^{\infty }{\eta }_1^{\alpha }\left(\tau \right)\frac{{\partial }^m}{\partial t^m}{K}_{t^{1/\alpha }\tau }^L(x,y)d\tau \right|.\hfill \end{array}$$

By (i) of Proposition 3 and the higher-order derivative formula of the composite function, we can obtain:

$$\begin{array}{ccc}\hfill \left|\frac{{\partial }^m}{\partial t^m}{K}_{\alpha ,t}^L(x,y)\right|& \lesssim & \sum _{i=1}^m\left|{\int }_0^{\infty }{\eta }_1^{\alpha }\left(\tau \right)t^{i/\alpha -m}{\tau }^i\frac{{\partial }^i}{\partial s^i}{K}_s^L(x,y){|}_{s=t^{1/\alpha }\tau }d\tau \right|\hfill \\ & \le & C_N{t}^{-m}{\int }_0^{\infty }{\eta }_1^{\alpha }\left(\tau \right){\left(t^{1/\alpha }\tau \right)}^{-n/2}{e}^{{-c|x-y|}^2/t^{1/\alpha }\tau }{\left(1+\frac{\sqrt{\tau }{t}^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{\tau }{t}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}d\tau .\hfill \end{array}$$

Notice that ${\eta }_1^{\alpha }\left(\tau \right)\le C/{\tau }^{1+\alpha }$. By changing the variables, we obtain:

$$\begin{array}{ccc}\hfill \left|\frac{{\partial }^m}{\partial t^m}{K}_{\alpha ,t}^L(x,y)\right|& \le & \frac{C_N}{t^{m+n/2\alpha }}{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{\int }_0^{\infty }{\tau }^{-1-\alpha -n/2-N}{e}^{{-c|x-y|}^2/t^{1/\alpha }\tau }d\tau \hfill \\ & \le & \frac{C_N{t}^{1+N/\alpha -m}}{{|x-y|}^{2\alpha +n+2N}}{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.\hfill \end{array}$$

On the other hand,

$$\begin{array}{ccc}\hfill \left|\frac{{\partial }^m}{\partial t^m}{K}_{\alpha ,t}^L(x,y)\right|& =& \left|{\int }_0^{\infty }{\eta }_1^{\alpha }\left(\tau \right)\frac{{\partial }^m}{\partial t^m}{K}_{t^{1/\alpha }\tau }^L(x,y)d\tau \right|\hfill \\ & \le & C_N{t}^{-m}{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{\int }_0^{\infty }{\eta }_1^{\alpha }\left(\tau \right){\left(\tau t^{1/\alpha }\right)}^{-n/2}{\tau }^{-N}d\tau \hfill \\ & \le & \frac{C_N}{t^{m+n/2\alpha }}{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.\hfill \end{array}$$

Finally, we have proved that, for arbitrary $N>0$,

$${\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^N{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^N\left|\frac{{\partial }^m}{\partial t^m}{K}_{\alpha ,t}^L(x,y)\right|\le C_{N}min\left\{\frac{t^{1+N/\alpha -m}}{{|x-y|}^{2\alpha +n+2N}},\frac{1}{t^{m+n/2\alpha }}\right\},$$

which gives:

$$|{\tilde{D}}_{\alpha ,t}^{L,m}(x,y)|\le \frac{C_N{t}^m}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha m}}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.$$

For (ii), via the subordinative Formula (15), we can complete the proof by using (ii) of Proposition 3. We omit the details.

For (iii), it is easy to see that $e^{-s{L}^{\alpha }}\left(f\right)\left(x\right)={\int }_0^{\infty }{\eta }_s^{\alpha }\left(\tau \right)e^{-\tau L}\left(f\right)\left(x\right)d\tau .$ Hence,

$$\begin{array}{c}\hfill t^m\frac{{\partial }^m}{\partial t^m}{K}_{\alpha ,t}^L(x,y)=t^m\frac{{\partial }^m}{\partial t^m}\left({\int }_0^{\infty }{\eta }_1^{\alpha }\left(\tau \right)K_{\tau t^{1/\alpha }}^L(x,y)d\tau \right)=C_{m,\alpha }\sum _{i=1}^m{\int }_0^{\infty }{\eta }_1^{\alpha }\left(\tau \right)Q_{t^{1/\alpha }\tau ,i}^L(x,y)d\tau .\end{array}$$

It follows from (iii) of Proposition 3 that:

$$\begin{array}{ccc}\hfill \left|{\int }_{{\mathbb{R}}^n}{\tilde{D}}_{\alpha ,t}^{L,m}(x,y)dy\right|& \lesssim & {\int }_0^{\infty }{\eta }_1^{\alpha }\left(\tau \right)\left|{\int }_{{\mathbb{R}}^n}{Q}_{t^{1/\alpha }\tau ,i}^L(x,y)dy\right|d\tau \hfill \\ & \le & C_N{\int }_0^{\infty }{\eta }_1^{\alpha }\left(\tau \right)\frac{{(\sqrt{t^{1/\alpha }\tau }/\rho \left(x\right))}^{{\delta }^{\prime }}}{{(1+\sqrt{t^{1/\alpha }\tau }/\rho \left(x\right))}^N}d\tau .\hfill \end{array}$$

If $t^{1/2\alpha }>\rho \left(x\right)$, since $N>\delta$, then:

$$\begin{array}{ccc}\hfill \left|{\int }_{{\mathbb{R}}^n}{\tilde{D}}_{\alpha ,t}^{L,m}(x,y)dy\right|& \le & C_N\rho {\left(x\right)}^{N-{\delta }^{\prime }}{t}^{({\delta }^{\prime }-N)/2\alpha }{\int }_0^{\infty }{\eta }_1^{\alpha }\left(\tau \right){\tau }^{({\delta }^{\prime }-N)/2}d\tau \hfill \\ & \le & \frac{C_N{(t^{1/2\alpha }/\rho \left(x\right))}^{{\delta }^{\prime }}}{{(1+t^{1/2\alpha }/\rho \left(x\right))}^N}.\hfill \end{array}$$

If $t^{1/2\alpha }\le \rho \left(x\right)$, then:

$$\begin{array}{ccc}\hfill \left|{\int }_{{\mathbb{R}}^n}{\tilde{D}}_{\alpha ,t}^{L,m}(x,y)dy\right|& \le & C_N{(t^{1/\left(2\alpha \right)}/\rho \left(x\right))}^{{\delta }^{\prime }}{\int }_0^{\infty }{\eta }_1^{\alpha }\left(\tau \right){\tau }^{{\delta }^{\prime }/2}d\tau .\hfill \end{array}$$

Because the function ${\eta }_1^{\alpha }(·)$ is continuous, the integral ${\int }_0^1{\eta }_1^{\alpha }\left(\tau \right){\tau }^{{\delta }^{\prime }/2}d\tau <\infty$. On the other hand, recalling that ${\eta }_1^{\alpha }\left(\tau \right)\le 1/{\tau }^{1+\alpha }$, we obtain:

$${\int }_1^{\infty }{\eta }_1^{\alpha }\left(\tau \right){\tau }^{{\delta }^{\prime }/2}d\tau \lesssim {\int }_1^{\infty }\frac{1}{{\tau }^{1+\alpha }}{\tau }^{{\delta }^{\prime }/2}d\tau <\infty ,$$

which implies that:

$$\left|{\int }_{{\mathbb{R}}^n}{\tilde{D}}_{\alpha ,t}^{L,m}(x,y)dy\right|\le \frac{C_N{(t^{1/2\alpha }/\rho \left(x\right))}^{{\delta }^{\prime }}}{{(1+t^{1/\left(2\alpha \right)}/\rho \left(x\right))}^N}.$$

□

3.2. Estimation on the Spatial Gradient

In this section, we investigate the spatial gradient of $K_{\alpha ,t}^L(·,·)$, $\alpha >0$. For the special case $\alpha =1/2$, i.e., the Poisson kernel, the regularity estimates have been obtained in ([15], Lemma 3.9).

Lemma 8. 

Suppose that $V\in B_q$ for some $q>n$. For every $N>0$, there exist constants $C_N>0$ and $c>0$, such that for all $x,y\in {\mathbb{R}}^n$ and $t>0$, the kernels $K_t^L(·,·)$ satisfy the following estimates:

$$|{\nabla }_x{K}_t^L(x,y)|\le \left\{\begin{array}{c}\hfill \frac{C_N}{t^{(n+1)/2}}{e}^{{-c|x-y|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x\right)}+\frac{\sqrt{t}}{\rho \left(y\right)}\right)}^{-N},\sqrt{t}\le |x-y|;\\ \hfill \frac{C_N}{|x-y|t^{n/2}}{e}^{{-c|x-y|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x\right)}+\frac{\sqrt{t}}{\rho \left(y\right)}\right)}^{-N},\sqrt{t}>|x-y|.\end{array}\right.$$

Proof. 

Let ${\mathsf{\Gamma }}_0(·,·)$ be the fundamental solution of $-\mathsf{\Delta }$ in ${\mathbb{R}}^n$, i.e.,

$${\mathsf{\Gamma }}_0(x,y)=-\frac{1}{n(n-2)\omega \left(n\right)}\frac{1}{{|x-y|}^{n-2}},n\ge 3,$$

where $\omega \left(n\right)$ denotes the area of the unit sphere in ${\mathbb{R}}^n$. Fix $t>0$ and $x_0,y_0\in {\mathbb{R}}^n$. Assume that $u(·,·)$ is a weak solution to the equation:

$${\partial }_{t}u+Lu={\partial }_{t}u+(-\mathsf{\Delta })u+Vu=0.$$

Let $\eta \in C_0^{\infty }\left(B(x_0,2R)\right)$, with some $R>0$, such that $\eta =1\mathrm{on}B(x_0,3R/2)$, $|\nabla \eta |\le C/R$, and $|{\nabla }^2\eta |\le C/R^2.$ Noticing that ${\partial }_{t}u+Lu=0$, we can obtain:

$$\begin{array}{ccc}\hfill -\mathsf{\Delta }\left(u\eta \right)& =& -\sum _{i=1}^n\left(\frac{{\partial }^{2}u}{\partial x_i^2}·\eta +2\frac{\partial u}{\partial x_i}\frac{\partial \eta }{\partial x_i}+u·\frac{{\partial }^2\eta }{\partial x_i^2}\right)\hfill \\ & =& -\mathsf{\Delta }u·\eta -2\nabla u·\nabla \eta -u·\mathsf{\Delta }\eta \hfill \\ & =& -\left({\partial }_{t}u\right)\eta -Vu\eta -2\nabla u\nabla \eta -u\nabla \eta ,\hfill \end{array}$$

which, together with integration by parts, gives:

$$\begin{array}{ccc}& & -{\int }_{{\mathbb{R}}^n}{\mathsf{\Gamma }}_0(x,y)\nabla u(y,t)·\nabla \eta \left(y\right)dy=-\sum _{i=1}^n{\int }_{{\mathbb{R}}^n}{\mathsf{\Gamma }}_0(x,y)\frac{\partial u(y,t)}{\partial y_i}\frac{\partial \eta \left(y\right)}{\partial y_i}dy\hfill \\ & & =\sum _{i=1}^n{\int }_{{\mathbb{R}}^n}\left(\frac{\partial }{\partial y_i}{\mathsf{\Gamma }}_0(x,y)\right)\frac{\partial \eta \left(y\right)}{\partial x_i}u(y,t)dy+\sum _{i=1}^n{\int }_{{\mathbb{R}}^n}{\mathsf{\Gamma }}_0(x,y)\left(\frac{{\partial }^2\eta \left(y\right)}{\partial x_i^2}\right)u(y,t)dy\hfill \\ & & ={\int }_{{\mathbb{R}}^n}{\nabla }_y{\mathsf{\Gamma }}_0(x,y)·\nabla \eta \left(y\right)u(y,t)dy+{\int }_{{\mathbb{R}}^n}{\mathsf{\Gamma }}_0(x,y)·\mathsf{\Delta }\eta \left(y\right)u(y,t)dy.\hfill \end{array}$$

Then we can obtain:

$$\begin{array}{ccc}\hfill u(x,t)\eta \left(x\right)& =& {\int }_{{\mathbb{R}}^n}{\mathsf{\Gamma }}_0(x,y)\left\{-V\left(y\right)u(y,t)\eta \left(y\right)-\eta \left(y\right){\partial }_{t}u(y,t)-2\nabla u(y,t)·\nabla \eta \left(y\right)-u(y,t)\mathsf{\Delta }\eta \left(y\right)\right\}dy\hfill \\ & =& {\int }_{{\mathbb{R}}^n}{\mathsf{\Gamma }}_0(x,y)\left\{-V\left(y\right)u(y,t)\eta \left(y\right)-\eta \left(y\right){\partial }_{t}u(y,t)+\mathsf{\Delta }\eta \left(y\right)·u(y,t)\right\}dy\hfill \\ & & +2{\int }_{{\mathbb{R}}^n}{\nabla }_y{\mathsf{\Gamma }}_0(x,y)\nabla \eta \left(y\right)u(y,t)dy.\hfill \end{array}$$

Notice that it follows from Lemma 5 that (cf., [23], (1.7)):

$${\int }_{B(x_0,2R)}\frac{V\left(y\right)}{{|x-y|}^{n-1}}dy\le \frac{C}{R^{n-1}}{\int }_{B(x_0,2R)}V\left(y\right)dy\le \frac{C}{R}{\left(1+\frac{R}{\rho \left(x_0\right)}\right)}^{m_0},m_0>1.$$

Thus, for $x\in B(x_0,R)$, it holds that:

$$\begin{array}{ccc}\hfill |{\nabla }_{x}u(x,t)|& =& |{\nabla }_x\left(u(x,t)\eta \left(x\right)\right)|\hfill \\ & \le & {\int }_{B(x_0,2R)}\frac{V\left(y\right)\left|u\right(y,t\left)\right|\left|\eta \right(y\left)\right|}{{|x-y|}^{n-1}}dy+{\int }_{B(x_0,2R)}\frac{|{\partial }_{t}u(y,t)\left|\right|\eta \left(y\right)|}{{|x-y|}^{n-1}}dy+\frac{C}{R^{n+1}}{\int }_{B(x_0,2R)}\left|u(y,t)\right|dy\hfill \\ & \le & \frac{C}{R}\underset{B(x_0,2R)}{sup}\left|u(y,t)\right|\left\{{\left(1+\frac{R}{\rho \left(x_0\right)}\right)}^{m_0}+1\right\}+CR\underset{B(x_0,R)}{sup}\left|{\partial }_{t}u(y,t)\right|.\hfill \end{array}$$

Take $u(x,t)=K_t^L(x,y_0)$ and $R<min\left\{\right|x_0-y_0|/8,\rho \left(x_0\right)\}$. We obtain:

$$|{\nabla }_x{K}_t^L(x_0,y_0)|\le \frac{C}{R}\underset{B(x_0,2R)}{sup}|K_t^L(x,y_0)|\left\{{\left(1+\frac{R}{\rho \left(x_0\right)}\right)}^{m_0}+1\right\}+R\underset{B(x_0,2R)}{sup}\left|{\partial }_t{K}_t^L(x,y_0)\right|.$$

If $x\in B(x_0,2R)$, then $|x-y_0|\sim |x_0-y_0|$. Additionally, $\rho \left(x\right)\sim \rho \left(x_0\right)$ for $|x-x_0|<2R<2\rho \left(x_0\right)$. It follows, from Propositions 1 and 3, that for any $N>0$ there exists a constant $C_N$, such that:

$$\left\{\begin{array}{c}\underset{x\in B(x_0,2R)}{sup}\left|K_t^L(x,y_0)\right|\le \frac{C_N}{t^{n/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N};\hfill \\ \underset{x\in B(x_0,2R)}{sup}\left|t{\partial }_t{K}_t^L(x,y_0)\right|\le \frac{C_N}{t^{n/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.\hfill \end{array}\right.$$

(21)

Finally, it can be deduced from (21) that:

$$\begin{array}{ccc}\hfill |{\nabla }_x{K}_t^L(x_0,y_0)|& \le & \frac{C_N}{R}{t}^{-n/2}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\left\{1+\frac{R^2}{t}\right\}.\hfill \end{array}$$

The rest of the proof is divided into three cases:

Case 1: $R>\sqrt{t}$. For this case, $\sqrt{t}<R<min\left\{\right|x_0-y_0|/8,\rho \left(x_0\right)\}$. We split

$$|{\nabla }_x{K}_t^L(x_0,y_0)|\le C_N(M_1+M_2),$$

where

$$\left\{\begin{array}{c}{M}_1:=\frac{\sqrt{t}}{R}\frac{1}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N};\hfill \\ M_2:=\frac{\sqrt{t}}{R}\frac{1}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\frac{R^2}{t}.\hfill \end{array}\right.$$

It is obvious that:

$$M_1\lesssim \frac{1}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.$$

Similarly, for the term $M_2$, we can also obtain:

$$\begin{array}{ccc}\hfill M_2& \lesssim & \frac{1}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\frac{R^2}{t}\hfill \\ & \lesssim & \frac{1}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\frac{|x_0-y_0{|}^2}{t}\hfill \\ & \lesssim & \frac{1}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.\hfill \end{array}$$

Case 2: $0<R\le \sqrt{t}<min\left\{\right|x_0-y_0|/8,\rho \left(x_0\right)\}$. We write:

$$|{\nabla }_x{K}_t^L(x_0,y_0)|\le \frac{C_N}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\left\{\frac{\sqrt{t}}{R}+\frac{R}{\sqrt{t}}\right\}.$$

Because $R<\sqrt{t}<min\left\{\right|x_0-y_0|/8,\rho \left(x_0\right)\}$, taking the infimum for R yields:

$$|{\nabla }_x{K}_t^L(x_0,y_0)|\le \frac{C_N}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.$$

Case 3: $0<R<min\left\{\right|x_0-y_0|/8,\rho \left(x_0\right)\}<\sqrt{t}$. Similarly, we can see that:

$$\begin{array}{ccc}\hfill |{\nabla }_x{K}_t^L(x_0,y_0)|& \le & \frac{C_N}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\left(\frac{\sqrt{t}}{R}+\frac{R}{\sqrt{t}}\right).\hfill \end{array}$$

Since $0<R<min\left\{\right|x_0-y_0|/8,\rho \left(x_0\right)\}<\sqrt{t}$, the function $\sqrt{t}/R+R/\sqrt{t}$ is decreasing and with the infimum at $R=min\left\{\right|x_0-y_0|/8,\rho \left(x_0\right)\}$. Then,

$$\begin{array}{ccc}\hfill |{\nabla }_x{K}_t^L(x_0,y_0)|& \le & \frac{C_N}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\hfill \\ & & \times \left\{\frac{\sqrt{t}}{min\left\{\right|x_0-y_0|/8,\rho \left(x_0\right)\}}+\frac{min\left\{\right|x_0-y_0|/8,\rho \left(x_0\right)\}}{\sqrt{t}}\right\}.\hfill \end{array}$$

(22)

Case 3.1: $\rho \left(x_0\right)\le |x_0-y_0|/8$. Since N is arbitrary, we can deduce from (22) that:

$$\begin{array}{ccc}\hfill |{\nabla }_x{K}_t^L(x_0,y_0)|& \le & \frac{C_N}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\left(\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\rho \left(x_0\right)}{\sqrt{t}}\right)\hfill \\ & \le & \frac{C_N}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.\hfill \end{array}$$

Case 3.2: $\rho \left(x_0\right)>|x_0-y_0|/8$. For this case, by (22) again, it holds that:

$$\begin{array}{ccc}\hfill |{\nabla }_x{K}_t^L(x_0,y_0)|& \le & \frac{C_N}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\left(\frac{\sqrt{t}}{|x_0-y_0|}+\frac{|x_0-y_0|}{\sqrt{t}}\right)\hfill \\ & \le & \frac{C_N}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\hfill \\ & & +\frac{C_N}{|x_0-y_0|t^{n/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.\hfill \end{array}$$

Finally, we obtain the following estimates:

$$\begin{array}{ccc}& & |{\nabla }_x{K}_t^L(x_0,y_0)|\hfill \\ & & \le \left\{\begin{array}{cc}& \frac{C_N}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N},\sqrt{t}\le min\left\{|x_0-y_0|/8,\rho \left(x_0\right)\right\};\hfill \\ & \frac{C_N}{t^{n/2}}{e}^{-c|x_0-y_0{|}^2/t}(\frac{1}{\sqrt{t}}+\frac{1}{|x_0-y_0|}){\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N},\sqrt{t}>min\left\{|x_0-y_0|/8,\rho \left(x_0\right)\right\}.\hfill \end{array}\right.\hfill \end{array}$$

Then, if $\sqrt{t}\ge |x_0-y_0|/8$,

$$|{\nabla }_x{K}_t^L(x_0,y_0)|\le \frac{C_N}{|x_0-y_0|t^{n/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.$$

This proves Lemma 8. □

Our spatial gradient estimates in this paper all are pointwise estimations, which is stronger than the norm estimates. From the spatial gradient estimates in Lemma 8, we can obtain the estimates appearing in ([22], Lemma 2.1) in the following.

Proposition 10. 

Suppose that $V\in B_q$ for some $q>n$, $n\ge 3$. For $\alpha >0$, the spatial derivative of $K_{\alpha ,t}^L(·,·)$ satisfies the following $L^1$-estimate and $L^2$-estimate, respectively.

$$\left\{\begin{array}{c}\parallel {\nabla }_x{K}_{\alpha ,t}^L{(·,y)\parallel }_{L^1\left(e^{\alpha |x-y|/\sqrt{t}}dx\right)}\lesssim t^{-1/2};\hfill \\ \parallel {\nabla }_x{K}_{\alpha ,t}^L{(·,y)\parallel }_{L^2\left(e^{\alpha |x-y|/\sqrt{t}}dx\right)}\lesssim t^{-\frac{n+2}{4}}.\hfill \end{array}\right.$$

Proof. 

We only give the details for the $L^1$-estimate, and the estimate for ${\parallel ·\parallel }_{L^2}$ can be dealt with similarly. By Lemma 8, we obtain:

$$\parallel {\nabla }_x{K}_{\alpha ,t}^L{(·,y)\parallel }_{L^1\left(e^{\alpha |x-y|/\sqrt{t}}dx\right)}\lesssim M_1+M_2,$$

where

$$\left\{\begin{array}{cc}\hfill M_1& :={\int }_{|x-y|\ge \sqrt{t}}\frac{1}{t^{(n+1)/2}}{e}^{{-c|x-y|}^2/t}{e}^{\alpha |x-y|/\sqrt{t}}dx;\hfill \\ \hfill M_2& :={\int }_{|x-y|<\sqrt{t}}\frac{1}{t^{n/2}|x-y|}{e}^{{-c|x-y|}^2/t}{e}^{\alpha |x-y|/\sqrt{t}}dx.\hfill \end{array}\right.$$

By the change of variables, we can obtain:

$$\begin{array}{ccc}\hfill M_2& \lesssim & \frac{1}{t^{1/2}}{\int }_0^1{e}^{-c{u}^2}{e}^{\alpha u}{u}^{n-2}du\lesssim t^{-1/2}.\hfill \end{array}$$

For $M_1$, applying the change of variables again,

$$\begin{array}{ccc}\hfill M_1& \lesssim & \frac{1}{t^{1/2}}{\int }_1^{\infty }{e}^{-\alpha u^2}{e}^{\alpha u}{u}^{n-1}du\hfill \\ & \lesssim & \frac{1}{t^{1/2}}{\int }_{1-\alpha /2c}^{\infty }{e}^{-v^2}{(v+\alpha /2c)}^{n-1}dv.\hfill \end{array}$$

Case 1: $\alpha \le 2c$. For this case, it is obvious that $M_1\lesssim t^{-1/2}$.

Case 2: $\alpha >2c$. Then, we spilt $M_1\le M_{1,1}+M_{1,2}$, where:

$$\left\{\begin{array}{cc}\hfill M_{1,1}& :=\frac{1}{t^{1/2}}{\int }_{\alpha /2c-1}^{\infty }{e}^{-v^2}{(v+\alpha /2c)}^{n-1}dv;\hfill \\ \hfill M_{1,2}& :=\frac{1}{t^{1/2}}{\int }_{1-\alpha /2c}^{\alpha /2c-1}{e}^{-v^2}{(v+\alpha /2c)}^{n-1}dv.\hfill \end{array}\right.$$

Obviously, $M_{1,1}\lesssim t^{-1/2}$. For $M_{1,2}$, we have:

$$M_{1,2}=\sum _{k=0}^{n-1}{C}_{n-1}^k{(\alpha /2c)}^{n-1-k}{M}_{1,2,k},$$

where

$$M_{1,2,k}=\frac{1}{t^{1/2}}{\int }_{1-\alpha /2c}^{\alpha /2c-1}{e}^{-v^2}{v}^{k}dv.$$

Noting that

$$M_{1,2,k}=\left\{\begin{array}{cc}0,\hfill & \hfill k\mathrm{is}\mathrm{odd};\\ \frac{2}{t^{1/2}}{\int }_0^{\alpha /2c-1}{e}^{-v^2}{v}^{k}dv,\hfill & \hfill k\mathrm{is}\mathrm{even},\end{array}\right.$$

we can obtain $M_1\lesssim t^{-1/2}$. □

Lemma 9. 

Suppose that $V\in B_q$ for some $q>n$. For every $N>0$, there exists a constant $C_N>0$, such that for all $x,y\in {\mathbb{R}}^n$ and $t>0$, the semigroup kernels $K_t^L(·,·)$ satisfy the following estimate:

$$|{\nabla }_x{K}_t^L(x,y)|\le \frac{C_N}{t^{(n+1)/2}}{\left(1+\frac{\sqrt{t}}{\rho \left(x\right)}+\frac{\sqrt{t}}{\rho \left(x\right)}\right)}^{-N}.$$

Proof. 

Assume that $u(·,·)$ is a weak solution of the equation

$${\partial }_{t}u+Lu={\partial }_{t}u+(-\mathsf{\Delta })u+Vu=0.$$

Similar to Lemma 8, we can prove that for all $x\in B(x_0,R)$,

$$|{\nabla }_{x}u(x,t)|\le \frac{C}{R}\underset{B(x_0,2R)}{sup}\left|u(y,t)\right|\left\{{\left(1+\frac{R}{\rho \left(x_0\right)}\right)}^{m_0}+1\right\}+CR\underset{B(x_0,R)}{sup}\left|{\partial }_{t}u(y,t)\right|.$$

Take $u(x,t)=K_t^L(x,y_0)$ for fixed $y_0$, and let $R\in (0,min\{\rho \left(x_0\right),\sqrt{t}\})$. It can be deduced from Propositions 1 and 3 that:

$$\underset{x\in B(x_0,2R)}{sup}\left\{|K_t^L(x,y_0)|+|t{\partial }_t{K}_t^L(x,y_0)|\right\}\le \frac{C_N}{t^{n/2}}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.$$

This, together with $R<\rho \left(x_0\right)$, implies that:

$$\begin{array}{ccc}\hfill |{\nabla }_x{K}_t^L(x_0,y_0)|& \le & \frac{C_N}{R}\frac{1}{t^{n/2}}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\left\{1+\frac{R^2}{t}\right\}\hfill \\ & \le & \frac{C_N}{t^{(n+1)/2}}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\left(\frac{\sqrt{t}}{R}+\frac{R}{\sqrt{t}}\right).\hfill \end{array}$$

(23)

If $\sqrt{t}\le \rho \left(x_0\right)$, taking the infimum for R on both sides of (23) reaches:

$$\begin{array}{ccc}\hfill |{\nabla }_x{K}_t^L(x_0,y_0)|& \le & \frac{C_N}{t^{(n+1)/2}}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.\hfill \end{array}$$

If $\sqrt{t}>\rho \left(x_0\right)$, note that the function $h\left(t\right):=R/\sqrt{t}+\sqrt{t}/R$ is decreasing on $R\in (0,\rho \left(x_0\right))$. Taking the infimum again, we obtain:

$$\begin{array}{ccc}\hfill |{\nabla }_x{K}_t^L(x_0,y_0)|& \le & \frac{C_N}{t^{(n+1)/2}}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\left\{\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\rho \left(x_0\right)}{\sqrt{t}}\right\}\hfill \\ & \le & \frac{C_N}{t^{(n+1)/2}}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.\hfill \end{array}$$

This completes the proof of Lemma 9. □

Now, we give the gradient estimate of $K_{\alpha ,t}^L(·,·)$.

Proposition 11. 

Suppose $\alpha >0$ and $V\in B_q$ for some $q>n$. For every $N>0$, there exists a constant $C_N>0$, such that for all $x,y\in {\mathbb{R}}^n$ and $t>0$,

$$|t^{1/2\alpha }{\nabla }_x{K}_{\alpha ,t}^L(x,y)|\le \frac{C_{N}t}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.$$

Proof. 

The subordinate formula gives:

$$\begin{array}{ccc}\hfill {\nabla }_x{K}_{\alpha ,t}^L(x,y)& =& {\int }_0^{\infty }{\eta }_t^{\alpha }\left(s\right){\nabla }_x{K}_s^L(x,y)ds,\hfill \end{array}$$

which, together with Lemma 8, implies that $\left|{\nabla }_x{K}_{\alpha ,t}^L(x,y)\right|\le C_N(L_1+L_2),$ where:

$$\left\{\begin{array}{c}{L}_1:={\int }_0^{{|x-y|}^2}{\eta }_t^{\alpha }\left(s\right)\frac{1}{s^{(n+1)/2}}{e}^{{-c|x-y|}^2/s}{\left(1+\frac{\sqrt{s}}{\rho \left(x\right)}+\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-N}ds;\hfill \\ L_2:={\int }_{{|x-y|}^2}^{\infty }{\eta }_t^{\alpha }\left(s\right)\frac{1}{s^{n/2}|x-y|}{e}^{{-c|x-y|}^2/s}{\left(1+\frac{\sqrt{s}}{\rho \left(x\right)}+\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-N}ds.\hfill \end{array}\right.$$

For $L_1$, letting $s=t^{1/\alpha }u$, we can obtain:

$$\begin{array}{ccc}\hfill L_1& \le & {\int }_0^{\infty }\frac{t}{{\left(t^{1/\alpha }u\right)}^{1+\alpha }}{\left(t^{1/\alpha }u\right)}^{-(n+1)/2}{e}^{-\frac{{c|x-y|}^2}{t^{1/\alpha }u}}{\left(1+\frac{t^{1/2\alpha }\sqrt{u}}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{t^{1/2\alpha }\sqrt{u}}{\rho \left(y\right)}\right)}^{-N}{t}^{1/\alpha }du\hfill \\ & \le & {\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{t}^{-(n+1)/2\alpha }{\int }_0^{\infty }{u}^{-(n+1)/2-(1+\alpha +N)}{e}^{-\frac{{c|x-y|}^2}{t^{1/\alpha }u}}du\hfill \\ & \le & {\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}\frac{t^{1+N/\alpha }}{{|x-y|}^{2\alpha +2N+n+1}}.\hfill \end{array}$$

Similarly, for the term $L_2$, a change of variables yields:

$$\begin{array}{ccc}\hfill L_2& \le & \frac{1}{|x-y|}{\int }_0^{\infty }\frac{t}{{\left(t^{1/\alpha }u\right)}^{1+\alpha }}{\left(t^{1/\alpha }u\right)}^{-n/2}{e}^{-\frac{{c|x-y|}^2}{t^{1/\alpha }u}}{\left(1+\frac{t^{1/2\alpha }\sqrt{u}}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{t^{1/2\alpha }\sqrt{u}}{\rho \left(y\right)}\right)}^{-N}{t}^{1/\alpha }du\hfill \\ & \le & \frac{1}{t^{n/2\alpha }|x-y|}{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{\int }_0^{\infty }{u}^{-n/2-(1+\alpha +N)}{e}^{-\frac{{c|x-y|}^2}{t^{1/\alpha }u}}du\hfill \\ & \le & \frac{1}{|x-y|t^{n/2\alpha }}{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{\int }_0^{\infty }{\left(\frac{t^{1/\alpha }{r}^2}{{|x-y|}^2}\right)}^{1+\alpha +N+n/2}{e}^{-c{r}^2}\frac{{|x-y|}^2}{t^{1/\alpha }{r}^3}dr\hfill \\ & \le & {\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}\frac{t^{1+N/\alpha }}{{|x-y|}^{2\alpha +2N+n+1}}.\hfill \end{array}$$

The estimates for $L_1$ and $L_2$ indicate that:

$${\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^N{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^N\left|{\nabla }_x{K}_{\alpha ,t}^L(x,y)\right|\le \frac{C_N{t}^{1+N/\alpha }}{{|x-y|}^{2\alpha +2N+n+1}}.$$

On the other hand, by Lemma 9 and changing variables $\tau =s/t^{1/\alpha }$, we obtain:

$$\begin{array}{ccc}\hfill |{\nabla }_x{K}_{\alpha ,t}^L(x,y)|& \le & C_N{\int }_0^{\infty }{s}^{-(n+1)/2}\frac{1}{t^{1/\alpha }}{\eta }_1^{\alpha }\left(\frac{s}{t^{1/\alpha }}\right){\left(1+\frac{\sqrt{s}}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-N}ds\hfill \\ & \le & C_N{\int }_0^{\infty }{\left(t^{1/\alpha }\tau \right)}^{-(n+1)/2}{\eta }_1^{\alpha }\left(\tau \right){\left(1+\frac{t^{1/2\alpha }\sqrt{\tau }}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{t^{1/2\alpha }\sqrt{\tau }}{\rho \left(y\right)}\right)}^{-N}d\tau \hfill \\ & \le & \frac{C_N}{t^{(n+1)/2\alpha }}{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.\hfill \end{array}$$

Finally, we obtain:

$${\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^N{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^N\left|{\nabla }_x{K}_{\alpha ,t}^L(x,y)\right|\le C_{N}min\left\{t^{-(n+1)/2\alpha },\frac{t^{1+N/\alpha }}{{|x-y|}^{n+1+2N+2\alpha }}\right\}.$$

The arbitrariness of N indicates that:

$$|{\nabla }_x{K}_{\alpha ,t}^L(x,y)|\le \frac{C_N}{t^{1/2\alpha }}\frac{t}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.$$

□

Below, we estimate the Lipschitz continuity of $|{\nabla }_x{K}_t^L(·,·)|$.

Lemma 10. 

Suppose that $\alpha >0$ and $V\in B_q$ for some $q>n$. Let ${\delta }^{\prime }=1-n/q$. For every $N>0$, there exist constants $C_N>0$ and $c>0$, such that for all $x,y\in {\mathbb{R}}^n$, $t>0$ and $\left|h\right|<|x-y|/4$,

$$\begin{array}{ccc}& & |{\nabla }_x{K}_t^L(x+h,y)-{\nabla }_x{K}_t^L(x,y)|\hfill \\ & & \le \left\{\begin{array}{cc}& \frac{C_N}{t^{(n+1)/2}}{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{{\delta }^{\prime }}{e}^{{-c|x-y|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x\right)}+\frac{\sqrt{t}}{\rho \left(y\right)}\right)}^{-N},\sqrt{t}\le |x-y|;\hfill \\ & \frac{C_N}{t^{n/2}|x-y|}{\left(\frac{\left|h\right|}{|x-y|}\right)}^{{\delta }^{\prime }}{e}^{{-c|x-y|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x\right)}+\frac{\sqrt{t}}{\rho \left(y\right)}\right)}^{-N},\sqrt{t}\ge |x-y|.\hfill \end{array}\right.\hfill \end{array}$$

Proof. 

The proof is similar to that of Lemma 8. Let ${\mathsf{\Gamma }}_0(·,·)$ be the fundamental solution of $-\mathsf{\Delta }$ in ${\mathbb{R}}^n$. Assume that ${\partial }_{t}u+(-\mathsf{\Delta })u+Vu=0$. Let $\eta \in C_0^{\infty }\left(B(x_0,2R)\right)$, such that $\eta =1$ on $B(x_0,3R/2)$, $|\nabla \eta |\le C/R$, and $|{\nabla }^2\eta |\le C/R^2$. It is easy to see that:

$$(-\mathsf{\Delta })\left(u\eta \right)=(-\mathsf{\Delta }u)\eta -2\nabla u·\nabla \eta +u·(-\mathsf{\Delta }\eta ).$$

Similar to the proof of Lemma 8, an integration by parts implies that:

$$\begin{array}{c}\hfill -{\int }_{{\mathbb{R}}^n}{\mathsf{\Gamma }}_0(x,y)\nabla u(y,t)·\nabla \eta \left(y\right)dy={\int }_{{\mathbb{R}}^n}{\nabla }_y{\mathsf{\Gamma }}_0(x,y)\nabla \eta \left(y\right)u(y,t)dy+{\int }_{{\mathbb{R}}^n}{\mathsf{\Gamma }}_0(x,y)\mathsf{\Delta }\eta \left(y\right)u(y,t)dy,\end{array}$$

which yields:

$$\begin{array}{ccc}\hfill u(x,t)\eta \left(x\right)& =& {\int }_{{\mathbb{R}}^n}{\mathsf{\Gamma }}_0(x,y)\left\{(-{\partial }_{t}u(y,t))\eta \left(y\right)-V\left(y\right)u(y,t)\eta \left(y\right)+u(y,t)\mathsf{\Delta }\eta \left(y\right)\right\}dy\hfill \\ & & +2{\int }_{{\mathbb{R}}^n}{\nabla }_y{\mathsf{\Gamma }}_0(x,y)u(y,t)·\nabla \eta \left(y\right)dy.\hfill \end{array}$$

Then, for $x\in B(x_0,R)$, $u(x,t)=u(x,t)\eta \left(x\right)$, and

$$\begin{array}{ccc}\hfill {\nabla }_x^{2}u(x,t)& =& {\nabla }_x^2\{{\int }_{{\mathbb{R}}^n}{\mathsf{\Gamma }}_0(x,y)\left\{(-{\partial }_{t}u(y,t))\eta \left(y\right)-V\left(y\right)u(y,t)\eta \left(y\right)+u(y,t)\mathsf{\Delta }\eta \left(y\right)\right\}dy\hfill \\ & & +2{\int }_{{\mathbb{R}}^n}{\nabla }_y{\mathsf{\Gamma }}_0(x,y)u(y,t)·\nabla \eta \left(y\right)dy\},\hfill \end{array}$$

which gives $\parallel {\nabla }_x^2{u(·,t)\parallel }_q\le {\displaystyle \sum _{i=1}^4}{\parallel S_i(·,t)\parallel }_q$, where:

$$\left\{\begin{array}{cc}\hfill S_1(x,t)& :={\int }_{{\mathbb{R}}^n}|{\nabla }_x^2{\mathsf{\Gamma }}_0(x,y)|·|\eta \left(y\right)|·|{\partial }_{t}u(y,t)|dy;\hfill \\ \hfill S_2(x,t)& :={\int }_{{\mathbb{R}}^n}|{\nabla }_x^2{\mathsf{\Gamma }}_0(x,y)|·|\mathsf{\Delta }\eta \left(y\right)|·|u(y,t)|dy;\hfill \\ \hfill S_3(x,t)& :=2{\int }_{{\mathbb{R}}^n}|{\nabla }_x^2{\nabla }_y{\mathsf{\Gamma }}_0(x,y)|·|\nabla \eta \left(y\right)|·|u(y,t)|dy;\hfill \\ \hfill S_4(x,t)& :={\int }_{{\mathbb{R}}^n}|{\nabla }_x^2{\mathsf{\Gamma }}_0(x,y)|·|\eta \left(y\right)\left|V\left(y\right)\right|·\left|u(y,t)\right|dy.\hfill \end{array}\right.$$

Now, we estimate the terms $\parallel S_i{(·,t)\parallel }_q,i=1,2,3,4$ separately. For the term $\parallel S_1{(·,t)\parallel }_q$, because it is well known that ${\nabla }_x^2{\mathsf{\Gamma }}_0(·,·)$ is a Calderón–Zygmund kernel (see [35]), we have:

$$\begin{array}{ccc}\hfill \parallel S_1{(·,t)\parallel }_q& =& \parallel {\int }_{{\mathbb{R}}^n}\left|\eta \left(y\right)\right||{\partial }_{t}u(y,t)\left|\right|{\nabla }_x^2{\mathsf{\Gamma }}_0(·,y)|dy{\parallel }_q\hfill \\ & \lesssim & \left\{\underset{y\in B(x_0,2R)}{sup}\left|{\partial }_{t}u(y,t)\right|\right\}\parallel {\int }_{{\mathbb{R}}^n}\left|\eta \left(y\right)\right||{\nabla }_x^2{\mathsf{\Gamma }}_0(·,y)|dy{\parallel }_q\hfill \\ & \lesssim & {\parallel \eta \parallel }_q\left\{\underset{y\in B(x_0,2R)}{sup}\left|{\partial }_{t}u(y,t)\right|\right\}.\hfill \end{array}$$

The estimate of $S_2$ is similar to that of $S_1$. Noting that $\eta =1$ on $B(x_0,3R/2)$, we can obtain:

$$\begin{array}{c}\hfill S_2(x,t)\lesssim {\int }_{B(x_0,2R)\setminus B(x_0,3R/2)}\frac{\left|u\right(y,t\left)\right|\left|\mathsf{\Delta }\eta \right(y\left)\right|}{{|x-y|}^n}dy\lesssim \left\{\underset{y\in B(x_0,2R)}{sup}\left|u(y,t)\right|\right\}{\int }_{B(x_0,2R)\setminus B(x_0,3R/2)}\frac{\left|\mathsf{\Delta }\eta \right(y\left)\right|}{{|x-y|}^n}dy.\end{array}$$

For $3R/2<|y-x_0|<2R$ and $x\in B(x_0,R)$, a direct computation gives $|x-y|\sim R$ and

$$\begin{array}{ccc}\hfill S_2(x,t)& \lesssim & \frac{{sup}_{y\in B(x_0,2R)}\left|u(y,t)\right|}{R^n}{\int }_{B(x_0,2R)\setminus B(x_0,3R/2)}\left|\mathsf{\Delta }\eta \left(y\right)\right|dy\hfill \\ & \lesssim & \frac{{sup}_{y\in B(x_0,2R)}\left|u(y,t)\right|}{R^{n+2}}{\int }_{B(x_0,2R)}dy\lesssim \frac{{sup}_{B(x_0,2R)}\left|u(y,t)\right|}{R^2}.\hfill \end{array}$$

Additionally,

$$\begin{array}{ccc}\hfill \parallel S_2{(·,t)\parallel }_q& \lesssim & \left\{\underset{y\in B(x_0,2R)}{sup}\left|u(y,t)\right|\right\}{\parallel \mathsf{\Delta }\eta \parallel }_q\hfill \\ & \lesssim & \left\{\underset{y\in B(x_0,2R)}{sup}\left|u(y,t)\right|\right\}{\left({\int }_{B(x_0,2R)\setminus B(x_0,3R/2)}{\left|\mathsf{\Delta }\eta \left(y\right)\right|}^{q}dy\right)}^{1/q}\hfill \\ & \lesssim & R^{n/q-2}\left\{\underset{y\in B(x_0,2R)}{sup}\left|u(y,t)\right|\right\}.\hfill \end{array}$$

Following the same procedure, we apply the Young inequality to obtain:

$$\begin{array}{ccc}\hfill \parallel S_3{(·,t)\parallel }_q& \lesssim & \left\{\underset{y\in B(x_0,2R)}{sup}\left|u(y,t)\right|\right\}\parallel {\int }_{B(x_0,2R)\setminus B(x_0,3R/2)}|{\nabla }_x^2{\nabla }_y{\mathsf{\Gamma }}_0(·,y)|·|\nabla \eta \left(y\right)|dy{\parallel }_q\hfill \\ & \lesssim & \left\{\underset{B(x_0,2R)}{sup}\left|u(y,t)\right|\right\}{\parallel \nabla \eta \parallel }_q·\parallel {\nabla }_x^2{\nabla }_y{\mathsf{\Gamma }}_0(x,·){\chi }_{B(x_0,2R)\setminus B(x_0,3R/2)}{\parallel }_1\hfill \\ & \lesssim & \left\{\underset{y\in B(x_0,2R)}{sup}\left|u(y,t)\right|\right\}{R}^{n/q-1}\left({\int }_{B(x_0,2R)\setminus B(x_0,3R/2)}\frac{dy}{{|x-y|}^{n+1}}\right)\hfill \\ & \lesssim & R^{n/q-2}\left\{\underset{y\in B(x_0,2R)}{sup}\left|u(y,t)\right|\right\}.\hfill \end{array}$$

At last, for the term $S_4$, by Lemma 5 and the condition $V\in B_q$, we can obtain, via the $L^p$-boundedness of the operator with the kernel ${\nabla }_x^2{\mathsf{\Gamma }}_0(·,·)$, the following:

$$\begin{array}{ccc}\hfill \parallel S_4{(·,t)\parallel }_q& \lesssim & \parallel V(·)\left|u(·,t)\right|\left|\eta (·)\right|{\parallel }_q\hfill \\ & \lesssim & \left\{\underset{y\in B(x_0,2R)}{sup}\left|u(y,t)\right|\right\}{\left({\int }_{B(x_0,2R)}{V}^q\left(y\right)dy\right)}^{1/q}\hfill \\ & \lesssim & \left\{\underset{y\in B(x_0,2R)}{sup}\left|u(y,t)\right|\right\}{R}^{n/q}{\left(\frac{1}{\left|B\right(x_0,2R\left)\right|}{\int }_{B(x_0,2R)}{V}^q\left(y\right)dy\right)}^{1/q}\hfill \\ & \lesssim & \left\{\underset{y\in B(x_0,2R)}{sup}\left|u(y,t)\right|\right\}{R}^{n/q-2}\left(\frac{1}{R^{n-2}}{\int }_{B(x_0,2R)}V\left(y\right)dy\right)\hfill \\ & \lesssim & \left\{\underset{y\in B(x_0,2R)}{sup}\left|u(y,t)\right|\right\}{R}^{n/q-2}{\left(1+\frac{R}{\rho \left(x_0\right)}\right)}^{m_0}.\hfill \end{array}$$

The estimates for $\parallel S_i{(·,t)\parallel }_q,i=1,2,3,4$ indicate that:

$$\parallel {\nabla }_{·}^2{u(·,t)\parallel }_{L^q\left(B(x_0,R)\right)}\lesssim R^{n/q-2}\left\{{\left(1+\frac{R}{\rho \left(x_0\right)}\right)}^{m_0}+1\right\}\left\{\underset{y\in B(x_0,2R)}{sup}\left|u(y,t)\right|\right\}+R^{n/q}\left\{\underset{y\in B(x_0,2R)}{sup}\left|{\partial }_{t}u(y,t)\right|\right\}.$$

Let $u(x_0,t)=K_t^L(x_0,y_0)$. Then,

$$\begin{array}{ccc}& & |{\nabla }_x{K}_t^L(x_0+h,y_0)-{\nabla }_x{K}_t^L(x_0,y_0)|\hfill \\ & & \lesssim {\left|h\right|}^{1-n/q}{\left({\int }_{B(x_0,R)}{\left|{\nabla }_x^2{K}_t^L(x,y_0)\right|}^{q}dx\right)}^{1/q}\hfill \\ & & \lesssim {\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{1-n/q}{\left(\frac{\sqrt{t}}{R}\right)}^{1-n/q}\frac{1}{R}\left\{{\left(1+\frac{R}{\rho \left(x_0\right)}\right)}^{m_0}+1\right\}\left\{\underset{x\in B(x_0,2R)}{sup}|K_t^L(x,y_0)|+\frac{R^2}{t}\underset{x\in B(x_0,2R)}{sup}\left|t{\partial }_t{K}_t^L(x,y_0)\right|\right\}\hfill \\ & & \le \frac{C_N}{R}{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{1-n/q}{\left(\frac{\sqrt{t}}{R}\right)}^{1-n/q}\left\{{\left(1+\frac{R}{\rho \left(x_0\right)}\right)}^{m_0}+1\right\}\left\{\underset{x\in B(x_0,2R)}{sup}\frac{1}{t^{n/2}}{e}^{-c|x-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\right\}\hfill \\ & & +C_N\frac{R^2}{t}\left\{\underset{x\in B(x_0,2R)}{sup}\frac{1}{t^{n/2}}{e}^{-c|x-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\right\}.\hfill \end{array}$$

Take $0<R<min\{\rho \left(x_0\right),|x_0-y_0|/8\}$. If $x\in B(x_0,2R)$, then $|x-x_0|<2\rho \left(x_0\right)$, that is, $\rho \left(x\right)\sim \rho \left(x_0\right)$. Moreover, if $x\in B(x_0,2R)$, $|x-x_0|<2R<|x_0-y_0|/4$, which means that $|x-y_0|\sim |x_0-y_0|$. We can obtain:

$$\begin{array}{ccc}\hfill & & |{\nabla }_x{K}_t^L(x_0+h,y_0)-{\nabla }_x{K}_t^L(x_0,y_0)|\hfill \\ & & \le \frac{C_N}{t^{(n+1)/2}}{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{1-n/q}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}{\left(\frac{\sqrt{t}}{R}\right)}^{1-n/q}\left(\frac{\sqrt{t}}{R}+\frac{R}{\sqrt{t}}\right),\hfill \end{array}$$

(24)

Define a function $F\left(x\right)=x^{1-n/q}(x+1/x),x>0$. Then, we can see that for $x>\sqrt{n/(2q-n)}$, $F^{\prime }\left(x\right)>0$, i.e., F is increasing, which means that the function $f:=F(\sqrt{t}/R)$ is decreasing for $R\in (0,\sqrt{(2q-n)t/n})$. Below, we divide the rest of the proof into two cases:

Case 1: $0<R<min\{\rho \left(x_0\right),|x_0-y_0\left|\right\}<\sqrt{t}$. We further divide the discussion into two subcases:

Case 1.1: $0<R<\rho \left(x_0\right)<\sqrt{t}<\sqrt{(2q-n)t/n}$, i.e., $\rho \left(x_0\right)\le |x_0-y_0|$. For this case, the function $f\left(R\right)$ has the infimum $f\left(\rho \left(x_0\right)\right)$ for $R\in (0,\rho \left(x_0\right))$. Then, taking the infimum for R on both sides of (24), we can use the fact that $\rho \left(x_0\right)<\sqrt{t}$ to obtain:

$$\begin{array}{ccc}& & |{\nabla }_x{K}_t^L(x_0+h,y_0)-{\nabla }_x{K}_t^L(x_0,y_0)|\hfill \\ & & \le \frac{C_N}{t^{(n+1)/2}}{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{1-n/q}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\left\{{\left(\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{1-n/q}\left(\frac{\sqrt{t}}{\rho \left(x_0\right)}+1\right)\right\}\hfill \\ & & \le \frac{C_N}{t^{(n+1)/2}}{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{1-n/q}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.\hfill \end{array}$$

Case 1.2: $0<R<|x_0-y_0|<\sqrt{t}$, i.e., $\rho \left(x_0\right)>|x_0-y_0|$. Similar to Case 1.1, taking the infimum for $f\left(R\right)$ gives:

$$\begin{array}{ccc}\hfill {\left(\frac{\sqrt{t}}{R}\right)}^{1-n/q}\left(\frac{\sqrt{t}}{R}+\frac{R}{\sqrt{t}}\right)& \lesssim & {\left(\frac{\sqrt{t}}{|x_0-y_0|}\right)}^{1-n/q}\left(\frac{\sqrt{t}}{|x_0-y_0|}+\frac{|x_0-y_0|}{\sqrt{t}}\right)\hfill \\ & \lesssim & {\left(\frac{\sqrt{t}}{|x_0-y_0|}\right)}^{1-n/q}\left(\frac{\sqrt{t}}{|x_0-y_0|}+1\right).\hfill \end{array}$$

Then, we obtain:

$$\begin{array}{ccc}& & |{\nabla }_x{K}_t^L(x_0+h,y_0)-{\nabla }_x{K}_t^L(x_0,y_0)|\hfill \\ & & \le \frac{C_N}{t^{(n+1)/2}}{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{1-n/q}{\left(\frac{\sqrt{t}}{|x_0-y_0|}\right)}^{1-n/q}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\left(\frac{\sqrt{t}}{|x_0-y_0|}+1\right).\hfill \end{array}$$

It is easy to see that:

$$\begin{array}{ccc}& & |{\nabla }_x{K}_t^L(x_0+h,y_0)-{\nabla }_x{K}_t^L(x_0,y_0)|\hfill \\ & & \lesssim {\left(\frac{\left|h\right|}{|x_0-y_0|}\right)}^{1-n/q}\frac{1}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\left(\frac{\sqrt{t}}{|x_0-y_0|}+1\right)\hfill \\ & & \lesssim {\left(\frac{\left|h\right|}{|x_0-y_0|}\right)}^{1-n/q}\frac{1}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\frac{\sqrt{t}}{|x_0-y_0|}\hfill \\ & & +{\left(\frac{\left|h\right|}{|x_0-y_0|}\right)}^{1-n/q}\frac{1}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{(1+\frac{\sqrt{t}}{\rho \left(x_0\right)})}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\hfill \\ & & \lesssim {\left(\frac{\left|h\right|}{|x_0-y_0|}\right)}^{1-n/q}\left(\frac{1}{t^{(n+1)/2}}+\frac{1}{t^{n/2}|x_0-y_0|}\right)e^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\hfill \\ & & \lesssim {\left(\frac{\left|h\right|}{|x_0-y_0|}\right)}^{1-n/q}\frac{1}{t^{n/2}|x_0-y_0|}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.\hfill \end{array}$$

Case 2: $\sqrt{t}<min\{\rho \left(x_0\right),|x_0-y_0|/8\}$. Similar to Case 1, we divide the discussion into two subcases again:

Case 2.1: $0<R<\sqrt{t}<\sqrt{(2q-n)t/n}<min\{\rho \left(x_0\right),|x_0-y_0|/8\}$. It follows from (24) that:

$$\begin{array}{ccc}\hfill & & |{\nabla }_x{K}_t^L(x_0+h,y_0)-{\nabla }_x{K}_t^L(x_0,y_0)|\hfill \\ & & \le C_N{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{1-n/q}\frac{e^{-c|x_0-y_0{|}^2/t}}{t^{(n+1)/2}}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}{\left(\frac{\sqrt{t}}{R}\right)}^{1-n/q}\left(\frac{\sqrt{t}}{R}+\frac{R}{\sqrt{t}}\right).\hfill \end{array}$$

(25)

Taking the infimum on both sides (25) reaches:

$$|{\nabla }_x{K}_t^L(x_0+h,y_0)-{\nabla }_x{K}_t^L(x_0,y_0)|\le \frac{C_N}{t^{(n+1)/2}}{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{1-n/q}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.$$

Case 2.2: $0<R<\sqrt{t}<min\{\rho \left(x_0\right),|x_0-y_0|/8\}<\sqrt{(2q-n)t/n}$. Similarly, taking the infimum on both sides of (25), we obtain:

$$\begin{array}{ccc}& & |{\nabla }_x{K}_t^L(x_0+h,y_0)-{\nabla }_x{K}_t^L(x_0,y_0)|\hfill \\ & & \le C_N{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{1-n/q}\frac{1}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\hfill \\ & & \times \left\{{\left(\frac{\sqrt{t}}{min\{\rho \left(x_0\right),|x_0-y_0|/8\}}\right)}^{1-n/q}\left(\frac{\sqrt{t}}{min\{\rho \left(x_0\right),|x_0-y_0|/8\}}+\frac{min\{\rho \left(x_0\right),|x_0-y_0|/8\}}{\sqrt{t}}\right)\right\}.\hfill \end{array}$$

If $\rho \left(x_0\right)<|x_0-y_0|/8$, then:

$$\begin{array}{ccc}& & |{\nabla }_x{K}_t^L(x_0+h,y_0)-{\nabla }_x{K}_t^L(x_0,y_0)|\hfill \\ & & \le C_N{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{1-n/q}\frac{1}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\hfill \\ & & \times \left\{{\left(\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{1-n/q}\left(\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\rho \left(x_0\right)}{\sqrt{t}}\right)\right\}\hfill \\ & & \le C_N{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{1-n/q}\frac{1}{t^{(n+1)/2}}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.\hfill \end{array}$$

If $\rho \left(x_0\right)\ge |x_0-y_0|/8$, we have:

$$\begin{array}{ccc}& & |{\nabla }_x{K}_t^L(x_0+h,y_0)-{\nabla }_x{K}_t^L(x_0,y_0)|\hfill \\ & & \le \frac{C_N}{t^{(n+1)/2}}{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{1-n/q}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\hfill \\ & & \times \left\{{\left(\frac{\sqrt{t}}{|x_0-y_0|}\right)}^{1-n/q}\left(\frac{\sqrt{t}}{|x_0-y_0|}+\frac{|x_0-y_0|}{\sqrt{t}}\right)\right\}\hfill \\ & & \le \frac{C_N}{t^{(n+1)/2}}{\left(\frac{\left|h\right|}{|x_0-y_0|}\right)}^{1-n/q}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\left(\frac{\sqrt{t}}{|x_0-y_0|}+\frac{|x_0-y_0|}{\sqrt{t}}\right)\hfill \\ & & \le \frac{C_N}{t^{n/2}|x_0-y_0|}{\left(\frac{\left|h\right|}{|x_0-y_0|}\right)}^{1-n/q}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\hfill \\ & & +\frac{C_N}{t^{(n+1)/2}}{\left(\frac{\left|h\right|}{|x_0-y_0|}\right)}^{1-n/q}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.\hfill \end{array}$$

If $\sqrt{t}<|x_0-y_0|$, then:

$$\begin{array}{ccc}\hfill |{\nabla }_x{K}_t^L(x_0+h,y_0)-{\nabla }_x{K}_t^L(x_0,y_0)|& \le & C_N{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{1-n/q}\frac{e^{-c|x_0-y_0{|}^2/t}}{t^{(n+1)/2}}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.\hfill \end{array}$$

If $\sqrt{t}\ge |x_0-y_0|$, then:

$$\begin{array}{ccc}\hfill |{\nabla }_x{K}_t^L(x_0+h,y_0)-{\nabla }_x{K}_t^L(x_0,y_0)|& \le & C_N{\left(\frac{\left|h\right|}{|x_0-y_0|}\right)}^{1-n/q}\frac{e^{-c|x_0-y_0{|}^2/t}}{t^{n/2}|x_0-y_0|}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.\hfill \end{array}$$

□

Lemma 11. 

Suppose that $V\in B_q$ for some $q>n$. Let ${\delta }^{\prime }=1-n/q$. For every $N>0$, there exists a constant $C_N>0$, such that for all $x,y\in {\mathbb{R}}^n$ and $t>0$, the semigroup kernels $K_t^L(·,·)$ satisfy the following estimate: for $\left|h\right|<|x-y|/4$,

$$|{\nabla }_x{K}_t^L(x+h,y)-{\nabla }_x{K}_t^L(x,y)|\le \frac{C_N}{t^{(n+1)/2}}{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{{\delta }^{\prime }}{\left(1+\frac{\sqrt{t}}{\rho \left(x\right)}+\frac{\sqrt{t}}{\rho \left(y\right)}\right)}^{-N}.$$

Proof. 

Similar to Lemma 10, we take $R\in (0,min\{\rho \left(x_0\right),\sqrt{t}\})$ and obtain:

$$\begin{array}{ccc}\hfill & & |{\nabla }_x{K}_t^L(x_0+h,y_0)-{\nabla }_x{K}_t^L(x_0,y_0)|\hfill \\ & & \le \frac{C_N}{t^{(n+1)/2}}{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{1-n/q}{e}^{-c|x_0-y_0{|}^2/t}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\left\{{\left(\frac{\sqrt{t}}{R}\right)}^{1-n/q}\left(\frac{\sqrt{t}}{R}+\frac{R}{\sqrt{t}}\right)\right\}\hfill \\ & & \le \frac{C_N}{t^{(n+1)/2}}{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{1-n/q}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\left\{{\left(\frac{\sqrt{t}}{R}\right)}^{1-n/q}\left(\frac{\sqrt{t}}{R}+\frac{R}{\sqrt{t}}\right)\right\}.\hfill \end{array}$$

(26)

Case 1: $\rho \left(x_0\right)\le \sqrt{t}$. This implies $0<R<\rho \left(x_0\right)<\sqrt{t}<\sqrt{(2q-n)t/n}$. We can obtain:

$$\begin{array}{ccc}& & |{\nabla }_x{K}_t^L(x_0+h,y_0)-{\nabla }_x{K}_t^L(x_0,y_0)|\hfill \\ & & \le \frac{C_N}{t^{(n+1)/2}}{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{1-n/q}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}\left\{{\left(\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{1-n/q}\left(\frac{\sqrt{t}}{\rho \left(x_0\right)}+\frac{\rho \left(x_0\right)}{\sqrt{t}}\right)\right\}\hfill \\ & & \le \frac{C_N}{t^{(n+1)/2}}{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{1-n/q}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.\hfill \end{array}$$

Case 2: $\rho \left(x_0\right)>\sqrt{t}$. For this case, $0<R<\sqrt{t}$. Then, the following two cases are considered:

$$\left\{\begin{array}{c}Case2.1:0<R<\sqrt{t}<\rho \left(x_0\right)<\sqrt{(2q-n)t/n};\hfill \\ Case2.2:0<R<\sqrt{t}<\sqrt{(2q-n)t/n}<\rho \left(x_0\right).\hfill \end{array}\right.$$

It is obvious that Case 2.1 comes back to Case 1. For Case 2.2, letting $R\to \sqrt{t}$ on the right-hand side of (26), we have:

$$|{\nabla }_x{K}_t^L(x_0+h,y_0)-{\nabla }_x{K}_t^L(x_0,y_0)|\le \frac{C_N}{t^{(n+1)/2}}{\left(\frac{\left|h\right|}{\sqrt{t}}\right)}^{1-n/q}{\left(1+\frac{\sqrt{t}}{\rho \left(x_0\right)}\right)}^{-N}{\left(1+\frac{\sqrt{t}}{\rho \left(y_0\right)}\right)}^{-N}.$$

□

Proposition 12. 

Suppose that $\alpha >0$ and $V\in B_q$ for some $q>n$. Let ${\delta }^{\prime }=1-n/q$. For every $N>0$, there exists a constant $C_N>0$, such that for all $x,y\in {\mathbb{R}}^n$ and $t>0$, the fractional heat kernels $K_{\alpha ,t}^L(·,·)$ satisfy the following estimate: for $\left|h\right|<|x-y|/4$,

$$|{\nabla }_x{K}_{\alpha ,t}^L(x+h,y)-{\nabla }_x{K}_{\alpha ,t}^L(x,y)|\le C_N{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}\frac{1}{t^{1/2\alpha }}\frac{t}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}.$$

Proof. 

By the subordinative formula and Lemma 10, we can obtain:

$$\begin{array}{c}\hfill |{\nabla }_x{K}_{\alpha ,t}^L(x+h,y)-{\nabla }_x{K}_{\alpha ,t}^L(x,y)|\le C_N{\int }_0^{\infty }\frac{t}{s^{1+\alpha }}|{\nabla }_x{K}_t^L(x+h,y)-{\nabla }_x{K}_t^L(x,y)|ds\le C_N(M_6+M_7),\end{array}$$

where

$$\left\{\begin{array}{cc}\hfill M_6& :={\int }_0^{|x-y|}\frac{t}{s^{1+\alpha }}{\left(\frac{\left|h\right|}{\sqrt{s}}\right)}^{{\delta }^{\prime }}\frac{1}{s^{(n+1)/2}}{e}^{{-c|x-y|}^2/s}{\left(1+\frac{\sqrt{s}}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-N}ds;\hfill \\ \hfill M_7& :={\int }_{|x-y|}^{\infty }\frac{t}{s^{1+\alpha }}{\left(\frac{\left|h\right|}{|x-y|}\right)}^{{\delta }^{\prime }}\frac{1}{s^{n/2}|x-y|}{e}^{{-c|x-y|}^2/s}{\left(1+\frac{\sqrt{s}}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-N}ds.\hfill \end{array}\right.$$

We first estimate $M_6$ and apply a change of variables to obtain:

$$\begin{array}{ccc}\hfill M_6& \lesssim & {\int }_0^{\infty }\frac{t}{s^{1+\alpha }}{\left(\frac{\left|h\right|}{\sqrt{s}}\right)}^{{\delta }^{\prime }}\frac{1}{s^{(n+1)/2}}{e}^{{-c|x-y|}^2/s}{\left(1+\frac{\sqrt{s}}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-N}ds\hfill \\ & \lesssim & t^{-(n+1)/2\alpha }{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}{\int }_0^{\infty }{u}^{-N-1-\alpha -(n+1)/2-{\delta }^{\prime }/2}{e}^{{-c|x-y|}^2/t^{1/\alpha }u}du\hfill \\ & \lesssim & t^{-(n+1)/2\alpha }{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}{\int }_0^{\infty }{\left(\frac{r^2{t}^{1/\alpha }}{{|x-y|}^2}\right)}^{N+1+\alpha +(n+1)/2+{\delta }^{\prime }/2}{e}^{-c{r}^2}\frac{{|x-y|}^2}{t^{1/\alpha }{r}^3}dr\hfill \\ & \lesssim & {\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{\left(\frac{\left|h\right|}{|x-y|}\right)}^{{\delta }^{\prime }}\frac{t^{1+N/\alpha }}{{|x-y|}^{2\alpha +2N+n+1}}.\hfill \end{array}$$

Similarly, for $M_7$, we have:

$$\begin{array}{ccc}\hfill M_7& \lesssim & \frac{1}{|x-y|}{\int }_0^{\infty }\frac{t}{s^{1+\alpha }}{\left(\frac{\left|h\right|}{\sqrt{s}}\right)}^{{\delta }^{\prime }}\frac{1}{s^{n/2}}{e}^{{-c|x-y|}^2/s}{\left(1+\frac{\sqrt{s}}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-N}ds\hfill \\ & \lesssim & {\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{\left(\frac{\left|h\right|}{|x-y|}\right)}^{{\delta }^{\prime }}\frac{t^{1+N/\alpha }}{{|x-y|}^{2\alpha +2N+n+1}},\hfill \end{array}$$

which gives:

$$|{\nabla }_x{K}_{\alpha ,t}^L(x+h,y)-{\nabla }_x{K}_{\alpha ,t}^L(x,y)|\le \frac{C_N{t}^{1+N/\alpha }}{{|x-y|}^{2\alpha +2N+n+1}}{\left(\frac{\left|h\right|}{|x-y|}\right)}^{{\delta }^{\prime }}{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.$$

On the other hand, we can deduce from Lemma 11 that:

$$\begin{array}{ccc}& & |{\nabla }_x{K}_{\alpha ,t}^L(x+h,y)-{\nabla }_x{K}_{\alpha ,t}^L(x,y)|\hfill \\ & & \le C_N{\int }_0^{\infty }{s}^{-(n+1)/2}\frac{1}{t^{1/\alpha }}{\eta }_1^{\alpha }\left(\frac{s}{t^{1/\alpha }}\right){\left(\frac{\left|h\right|}{\sqrt{s}}\right)}^{{\delta }^{\prime }}{\left(1+\frac{\sqrt{s}}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-N}ds\hfill \\ & & \le C_N{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}\frac{1}{t^{(n+1)/2\alpha }}.\hfill \end{array}$$

Finally, the arbitrariness of N indicates that:

$$\begin{array}{ccc}& & {\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^N{\left(1+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^N|{\nabla }_x{K}_{\alpha ,t}^L(x+h,y)-{\nabla }_x{K}_{\alpha ,t}^L(x,y)|\hfill \\ & & \le C_{N}min\left\{{\left(\frac{\left|h\right|}{|x-y|}\right)}^{{\delta }^{\prime }}\frac{t^{1+N/\alpha }}{{|x-y|}^{2\alpha +2N+n+1}},{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}\frac{1}{t^{(n+1)/2\alpha }}\right\},\hfill \end{array}$$

which proves Proposition 12. □

Proposition 13. 

Assume that $V\in B_q$ for some $q>n$. Let $\alpha \in (0,1/2-n/2q)$. For every $N>0$,

$$|t^{1/2\alpha }{\nabla }_x{e}^{-t{L}^{\alpha }}\left(1\right)\left(x\right)|\lesssim min\left\{{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{1+2\alpha },{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}\right\}.$$

Proof. 

We divide the proof into two cases:

Case 1: $t^{1/2\alpha }>\rho \left(x\right)$. By Proposition 11, we use a direct computation to obtain:

$$\begin{array}{ccc}\hfill |t^{1/2\alpha }{\nabla }_x{e}^{-t{L}^{\alpha }}\left(1\right)\left(x\right)|& \lesssim & {\int }_{{\mathbb{R}}^n}\frac{t}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}dy\hfill \\ & \lesssim & {\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\int }_{{\mathbb{R}}^n}\frac{t}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}dy\hfill \\ & \lesssim & {\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}.\hfill \end{array}$$

Because $t^{1/2\alpha }>\rho \left(x\right)$, then

$$|t^{1/2\alpha }{\nabla }_x{e}^{-t{L}^{\alpha }}\left(1\right)\left(x\right)|\lesssim min\left\{{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{\delta },{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}\right\}.$$

Case 2: $t^{1/2\alpha }\le \rho \left(x\right)$. It follows from (5) that:

$$\begin{array}{c}\hfill t^{1/2\alpha }{\nabla }_x{e}^{-t{L}^{\alpha }}\left(1\right)\left(x\right)=t^{1/2\alpha }{\nabla }_x{\int }_{{\mathbb{R}}^n}{K}_{\alpha ,t}^L(x,y)dy=I_1+I_2,\end{array}$$

where:

$$\left\{\begin{array}{cc}\hfill I_1& :=t^{1/2\alpha }{\int }_{{\rho }^2\left(x\right)}^{\infty }{\eta }_t^{\alpha }\left(s\right)\left({\int }_{{\mathbb{R}}^n}{\nabla }_x{K}_s^L(x,y)dy\right)ds;\hfill \\ \hfill I_2& :=t^{1/2\alpha }{\int }_0^{{\rho }^2\left(x\right)}{\eta }_t^{\alpha }\left(s\right)\left({\int }_{{\mathbb{R}}^n}{\nabla }_x{K}_s^L(x,y)dy\right)ds.\hfill \end{array}\right.$$

We claim that:

$$L_s\left(x\right):={\int }_{{\mathbb{R}}^n}{\nabla }_x{K}_s^L(x,y)dy\lesssim \frac{1}{\sqrt{s}}.$$

(27)

In fact, by Lemma 8, we have $L_s\left(x\right)\lesssim L_{s,1}\left(x\right)+L_{s,2}\left(x\right)$, where:

$$\left\{\begin{array}{cc}& L_{s,1}\left(x\right):={\int }_{\{y:\sqrt{s}\le |x-y\left|\right\}}\frac{1}{s^{(n+1)/2}}{e}^{{-c|x-y|}^2/s}{\left(1+\frac{\sqrt{s}}{\rho \left(x\right)}+\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-N}dy;\hfill \\ & L_{s,2}\left(x\right):={\int }_{\{y:|y-x|<\sqrt{s}\}}\frac{1}{s^{n/2}|x-y|}{e}^{{-c|x-y|}^2/s}{\left(1+\frac{\sqrt{s}}{\rho \left(x\right)}+\frac{\sqrt{s}}{\rho \left(y\right)}\right)}^{-N}dy.\hfill \end{array}\right.$$

Taking N as large enough, it is easy to see that:

$$\begin{array}{ccc}\hfill L_{s,1}\left(x\right)& \lesssim & {\int }_{{\mathbb{R}}^n}\frac{1}{s^{(n+1)/2}}{e}^{{-c|x-y|}^2/s}dy\lesssim \frac{1}{\sqrt{s}}.\hfill \end{array}$$

Similarly, a direct calculus gives, together with changing variables: $|x-y|/\sqrt{s}=u$,

$$\begin{array}{ccc}\hfill L_{s,2}\left(x\right)& \lesssim & \frac{1}{\sqrt{s}}{\int }_{{\mathbb{R}}^n}\frac{1}{s^{n/2}|x-y|/\sqrt{s}}{e}^{{-c|x-y|}^2/s}dy\lesssim \frac{1}{\sqrt{s}}{\int }_0^{\infty }{u}^{n-2}{e}^{-c{u}^2}du\lesssim \frac{1}{\sqrt{s}}.\hfill \end{array}$$

Then, we can deduce from (27) that:

$$\begin{array}{ccc}\hfill I_1& \lesssim & t^{1/2\alpha }{\int }_{{\rho }^2\left(x\right)}^{\infty }{\eta }_t^{\alpha }\left(s\right)\frac{ds}{\sqrt{s}}\lesssim t^{1+1/2\alpha }{\int }_{{\rho }^2\left(x\right)}^{\infty }\frac{1}{s^{\alpha +3/2}}ds\lesssim {\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{1+2\alpha }.\hfill \end{array}$$

(28)

For $I_2$, it follows from the perturbation formula (see [36], p. 497, (2.3), also [11], (5.25)), that:

$$h_u(x-y)-K_u^L(x,y)={\int }_0^u{\int }_{{\mathbb{R}}^n}{h}_s(x-z)V\left(z\right)K_{u-s}(z,y)dzds$$

and that for $\delta =2-n/q>1$,

$$\begin{array}{ccc}\hfill |\sqrt{u}{\nabla }_x{e}^{-uL}\left(1\right)\left(x\right)|& \lesssim & {\int }_0^u\sqrt{\frac{u}{s}}{\left(\frac{\sqrt{s}}{\rho \left(x\right)}\right)}^{\delta }\frac{ds}{s}\lesssim {\left(\frac{\sqrt{u}}{\rho \left(x\right)}\right)}^{\delta }.\hfill \end{array}$$

Therefore, noting that $0<2\alpha <1-n/q$, we can use the change of variables to obtain:

$$\begin{array}{ccc}\hfill I_2& \lesssim & t^{1/2\alpha }{\int }_0^{{\rho }^2\left(x\right)}{\eta }_t^{\alpha }\left(s\right)\frac{1}{\sqrt{s}}\left(\sqrt{s}{\int }_{{\mathbb{R}}^n}{\nabla }_x{K}_s^L(x,y)dy\right)ds\hfill \\ & \lesssim & t^{1/2\alpha }{\int }_0^{{\rho }^2\left(x\right)}\frac{1}{t^{1/\alpha }}{\eta }_1^{\alpha }(s/t^{1/\alpha })\frac{1}{\sqrt{s}}{\left(\frac{\sqrt{s}}{\rho \left(x\right)}\right)}^{\delta }ds\hfill \\ & \lesssim & t^{1/2\alpha -1/\alpha }{\int }_0^{\rho {\left(x\right)}^2/t^{1/\alpha }}{\eta }_1^{\alpha }\left(\tau \right)\frac{1}{\sqrt{t^{1/\alpha }\tau }}{\left(\frac{\sqrt{t^{1/\alpha }\tau }}{\rho \left(x\right)}\right)}^{\delta }{t}^{1/\alpha }d\tau \hfill \\ & \lesssim & {\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{1+2\alpha }.\hfill \end{array}$$

(29)

The above estimates, (29) and (28), imply that:

$$\begin{array}{c}\hfill |t^{1/2\alpha }{\nabla }_x{e}^{-t{L}^{\alpha }}\left(1\right)\left(x\right)|\lesssim {\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{1+2\alpha }.\end{array}$$

□

3.3. Estimation on Time-Fractional Derivatives

In this section, we give some gradient estimates for the fractional heat kernel associated with the variable t. Define an operator:

$$D_{\alpha ,t}^{L,\beta }\left(f\right)=t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}f,\alpha \in (0,1),\mathrm{and}\beta >0.$$

Denote, by $D_{\alpha ,t}^{L,\beta }(·,·)$, the integral kernel of $D_{\alpha ,t}^{L,\beta }$. Then, we can obtain the following proposition:

Proposition 14. 

Let $\alpha \in (0,1)$, $V\in B_q,q>n/2$ and $\beta >0$. For every $N>\alpha \beta$, there exists a constant $C_N>0$, such that:

$$|D_{\alpha ,t}^{L,\beta }(x,y)|\le \frac{C_N{t}^{\beta }}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha \beta }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.$$

(30)

Proof. 

The following two cases are considered:

Case 1: $\beta \in (0,1)$. It is easy to see that:

$$\begin{array}{ccc}\hfill t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}& =& c_{\beta }{t}^{\beta }{\int }_0^{\infty }{\partial }_t{e}^{-(t+s)L^{\alpha }}\frac{ds}{s^{\beta }}=c_{\beta }{t}^{\beta }{\int }_0^{\infty }{(-L)}^{\alpha }{e}^{-(t+s)L^{\alpha }}\frac{ds}{s^{\beta }}\hfill \\ & =& c_{\beta }{t}^{\beta }{\int }_0^{\infty }(t+s){(-L)}^{\alpha }{e}^{-(t+s)L^{\alpha }}\frac{ds}{(t+s)s^{\beta }},\hfill \end{array}$$

which, together with Proposition 9, gives:

$$\begin{array}{ccc}\hfill \left|D_{\alpha ,t}^{L,\beta }(x,y)\right|& \le & C_N{t}^{\beta }{\int }_0^{\infty }\frac{1}{{((t+s)}^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}{\left(1+\frac{{(t+s)}^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{{(t+s)}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}\frac{ds}{s^{\beta }}\hfill \\ & \le & C_N{t}^{\beta }{\int }_0^{\infty }\frac{1}{{(t+s)}^{n/2\alpha +1}}{\left(\frac{{(t+s)}^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{{(t+s)}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}\frac{ds}{s^{\beta }}\hfill \\ & \le & C_N{t}^{\beta }\rho {\left(x\right)}^N\rho {\left(y\right)}^N{\int }_0^{\infty }{(t+s)}^{-n/2\alpha -N/\alpha -1}{s}^{-\beta }ds\hfill \\ & \le & \frac{C_N}{t^{n/2\alpha }}{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.\hfill \end{array}$$

On the other hand, since $e^{-t{L}^{\alpha }}={\int }_0^{\infty }{\eta }_1^{\alpha }\left(\tau \right)e^{-t^{1/\alpha }\tau L}d\tau$,

$$\begin{array}{ccc}\hfill t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}& =& C_{\beta }{t}^{\beta }{\int }_0^{\infty }{\partial }_r\left({\int }_0^{\infty }{\eta }_1^{\alpha }\left(\tau \right)e^{-{(t+r)}^{1/\alpha }\tau L}d\tau \right)\frac{dr}{r^{\beta }}\hfill \\ & =& C_{\beta }{t}^{\beta }{\int }_0^{\infty }\left({\int }_0^{\infty }{\eta }_1^{\alpha }\left(\tau \right){(t+r)}^{1/\alpha -1}\tau L{e}^{-{(t+r)}^{1/\alpha }\tau L}d\tau \right)\frac{dr}{r^{\beta }}\hfill \\ & =& C_{\beta }{t}^{\beta }{\int }_0^{\infty }\left({\int }_0^{\infty }{Q}_{{(t+r)}^{1/\alpha }\tau ,1}^L\frac{dr}{(t+r)r^{\beta }}\right){\eta }_1^{\alpha }\left(\tau \right)d\tau .\hfill \end{array}$$

By Proposition 3, we can obtain:

$$\begin{array}{ccc}\hfill \left|D_{\alpha ,t}^{L,\beta }(x,y)\right|& \le & C_N{t}^{\beta }{\int }_0^{\infty }{\eta }_1^{\alpha }\left(\tau \right)\{{\int }_0^{\infty }{\left({(t+r)}^{1/\alpha }\tau \right)}^{-n/2}{e}^{{-c|x-y|}^2/{(t+r)}^{1/\alpha }\tau }\hfill \\ & & {\left(1+\frac{{(t+r)}^{1/2\alpha }\sqrt{\tau }}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{{(t+r)}^{1/2\alpha }\sqrt{\tau }}{\rho \left(y\right)}\right)}^{-N}\frac{dr}{r^{\beta }(t+r)}\}d\tau \hfill \\ & \le & C_N\frac{t^{\beta }\rho {\left(x\right)}^N\rho {\left(y\right)}^N}{{|x-y|}^{n+2\alpha \beta }}{\int }_0^{\infty }{\eta }_1^{\alpha }\left(\tau \right){\tau }^{\alpha \beta -N}\left({\int }_0^{\infty }{(t+r)}^{\beta -N/\alpha -1}{r}^{-\beta }dr\right)d\tau \hfill \\ & \lesssim & \frac{C_N{t}^{\beta }}{{|x-y|}^{n+2\alpha \beta }}{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.\hfill \end{array}$$

By the arbitrariness of N, we obtain:

$$\begin{array}{ccc}\hfill |D_{\alpha ,t}^{L,\beta }(x,y)|& \le & C_{N}min\left\{\frac{1}{t^{n/2\alpha }},\frac{t^{\beta }}{{|x-y|}^{n+2\alpha \beta }}\right\}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}\hfill \\ & \le & \frac{C_N{t}^{\beta }}{(t^{1/2\alpha }{+|x-y|)}^{n+2\beta \alpha }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.\hfill \end{array}$$

Case 2: $\beta \ge 1$. Let $m=\left[\beta \right]+1$. We can obtain:

$$\begin{array}{ccc}\hfill t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}& =& c_{\beta }{t}^{\beta }{\int }_0^{\infty }{\partial }_t^m{e}^{-(t+s)L^{\alpha }}\frac{ds}{s^{\beta +1-m}}\hfill \\ & =& c_{\beta }{t}^{\beta }{\int }_0^{\infty }{(-L)}^{m\alpha }{e}^{-(t+s)L^{\alpha }}\frac{ds}{s^{1+\beta -m}}\hfill \\ & =& c_{\beta }{t}^{\beta }{\int }_0^{\infty }{(t+s)}^m{(-L)}^{m\alpha }{e}^{-(t+s)L^{\alpha }}\frac{ds}{{(t+s)}^m{s}^{1+\beta -m}}.\hfill \end{array}$$

It follows from Proposition 9 that:

$$\begin{array}{ccc}\hfill \left|D_{\alpha ,t}^{L,\beta }(x,y)\right|& \le & C_N{t}^{\beta }{\int }_0^{\infty }\frac{{(t+s)}^m}{{(t+s)}^{n/2\alpha +m}}{\left(\frac{{(t+s)}^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{{(t+s)}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}\frac{ds}{{(t+s)}^m{s}^{1+\beta -m}}\hfill \\ & \le & C_N{t}^{\beta }\rho {\left(x\right)}^N\rho {\left(y\right)}^N{\int }_0^{\infty }{(t+s)}^{-n/2\alpha -N/\alpha -m}\frac{ds}{s^{1+\beta -m}}\hfill \\ & \lesssim & \frac{C_N}{t^{n/2\alpha }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.\hfill \end{array}$$

On the other hand, we obtain:

$$\begin{array}{ccc}\hfill \left|D_{\alpha ,t}^{L,\beta }(x,y)\right|& \le & t^{\beta }{\int }_0^{\infty }\left\{{\int }_0^{\infty }\left|{\partial }_r^m{K}_{{(t+r)}^{1/\alpha }\tau }^L(x,y)\right|\frac{dr}{r^{\beta +1-m}}\right\}{\eta }_1^{\alpha }\left(\tau \right)d\tau \hfill \\ & \le & C_N{t}^{\beta }{\int }_0^{\infty }\{{\int }_0^{\infty }{(t+r)}^{-m}{\left({(t+r)}^{1/\alpha }\tau \right)}^{-n/2}{e}^{{-c|x-y|}^2/{(t+r)}^{1/\alpha }\tau }\hfill \\ & & {\left(\frac{\sqrt{\tau }{(t+r)}^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{\sqrt{\tau }{(t+r)}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}\frac{dr}{r^{\beta +1-m}}\}{\eta }_1^{\alpha }\left(\tau \right)d\tau \hfill \\ & \le & C_N\frac{t^{\beta }\rho {\left(x\right)}^N\rho {\left(y\right)}^N}{{|x-y|}^{n+2\alpha \beta }}{t}^{-N/\alpha }{\int }_0^{\infty }\left({\int }_0^{\infty }{(1+u)}^{-m+\beta -N/\beta }{u}^{m-\beta -1}du\right){\eta }_1^{\alpha }\left(\tau \right){\tau }^{\alpha \beta -N}d\tau \hfill \\ & \lesssim & \frac{C_N{t}^{\beta }}{{|x-y|}^{n+2\alpha \beta }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N},\hfill \end{array}$$

which indicates that (30) holds. □

In the next proposition, we give the Lipschitz continuity of $D_{\alpha ,t}^L(·,·)$.

Proposition 15. 

Let $\alpha \in (0,1)$, $V\in B_q,q>n/2$, and $\beta >0$. Let $0<{\delta }^{\prime }\le \delta =min\{2\alpha ,{\delta }_0\}$. For every $N>\alpha \beta$, there exists a constant $C_N>0$, such that for all $\left|h\right|\le t^{1/2\alpha }$,

$$|D_{\alpha ,t}^{L,\beta }(x+h,y)-D_{\alpha ,t}^{L,\beta }(x,y)|\le C_N{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}\frac{t^{\beta }}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha \beta }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.$$

Proof. 

It is equivalent to verify:

$$\begin{array}{ccc}\hfill & & |D_{\alpha ,t}^{L,\beta }(x+h,y)-D_{\alpha ,t}^{L,\beta }(x,y)|\le C_N{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}min\left\{\frac{1}{t^{n/2\alpha }},\frac{t^{\beta }}{{|x-y|}^{n+2\alpha \beta }}\right\}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.\hfill \end{array}$$

(31)

Without loss of generality, for $m=\left[\beta \right]+1$, it holds that:

$$\begin{array}{c}\hfill t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}=c_{\beta }{t}^{\beta }{\int }_0^{\infty }{(t+s)}^m{(-L)}^{m\alpha }{e}^{-(t+s)L^{\alpha }}\frac{ds}{{(t+s)}^m{s}^{1+\beta -m}}.\end{array}$$

By Proposition 9, we can obtain:

$$\begin{array}{ccc}& & |D_{\alpha ,t}^{L,\beta }(x+h,y)-D_{\alpha ,t}^{L,\beta }(x,y)|\hfill \\ & & \le C_N{t}^{\beta }{\int }_0^{\infty }\frac{{(t+s)}^m{(\left|h\right|/{(t+s)}^{1/2\alpha })}^{{\delta }^{\prime }}}{{((t+s)}^{1/2\alpha }{+|x-y|)}^{n+2\alpha m}}{\left(1+\frac{{(t+s)}^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{{(t+s)}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}\frac{ds}{{(t+s)}^m{s}^{1+\beta -m}}\hfill \\ & & \le C_N{t}^{\beta }{\left|h\right|}^{{\delta }^{\prime }}\rho {\left(x\right)}^N\rho {\left(y\right)}^N{\int }_0^{\infty }{(t+s)}^{-(n+{\delta }^{\prime })/2\alpha -N/\alpha -m}\frac{ds}{s^{1+\beta -m}}\hfill \\ & & \lesssim C_N{t}^{-n/2\alpha }{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}.\hfill \end{array}$$

On the other hand, we obtain:

$$\begin{array}{ccc}& & |D_{\alpha ,t}^{L,\beta }(x+h,y)-D_{\alpha ,t}^{L,\beta }(x,y)|\hfill \\ & & \le C_N{t}^{\beta }{\int }_0^{\infty }\{{\int }_0^{\infty }{(t+r)}^{-m-n/2\alpha }{\tau }^{-n/2}{\left(\frac{\left|h\right|}{\sqrt{{(t+r)}^{1/\alpha }\tau }}\right)}^{{\delta }^{\prime }}\hfill \\ & & \times e^{{-c|x-y|}^2/{(t+r)}^{1/\alpha }\tau }{\left(\frac{\sqrt{\tau }{(t+r)}^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(\frac{\sqrt{\tau }{(t+r)}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}\frac{dr}{r^{\beta +1-m}}\}{\eta }_1^{\alpha }\left(\tau \right)d\tau \hfill \\ & & \le C_N\frac{t^{\beta }{\left|h\right|}^{{\delta }^{\prime }}\rho {\left(x\right)}^N\rho {\left(y\right)}^N}{{|x-y|}^{n+2\alpha \beta }}{\int }_0^{\infty }\left\{{\int }_0^{\infty }{(t+r)}^{-m+\beta -N/\alpha -{\delta }^{\prime }/2\alpha }{r}^{m-\beta -1}dr\right\}{\eta }_1^{\alpha }\left(\tau \right){\tau }^{\alpha \beta -N-{\delta }^{\prime }/2}d\tau \hfill \\ & & \lesssim \frac{C_N{t}^{\beta }}{{|x-y|}^{n+2\alpha \beta }}{\left(\frac{\left|h\right|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N},\hfill \end{array}$$

which implies (31). □

Proposition 16. 

Let $\alpha \in (0,1)$, $\beta >0$, $V\in B_q,q>n/2$, and $0<{\delta }^{\prime }\le min\{2\alpha ,2\alpha \beta ,{\delta }_0\}$. For every $N>0$, there exists a constant $C_N>0$, such that:

$$\left|{\int }_{{\mathbb{R}}^n}{D}_{\alpha ,t}^{L,\beta }(x,y)dy\right|\le C_N\frac{{(t^{1/2\alpha }/\rho \left(x\right))}^{{\delta }^{\prime }}}{{(1+t^{1/2\alpha }/\rho \left(x\right))}^N},x\in {\mathbb{R}}^n.$$

Proof. 

Let $m=\left[\beta \right]+1$. By (iii) of Proposition 9, we change the order of integrations to obtain:

$$\begin{array}{ccc}\hfill \left|{\int }_{{\mathbb{R}}^n}{D}_{\alpha ,t}^{L,\beta }(x,y)dy\right|& =& \left|{\int }_{{\mathbb{R}}^n}\left\{t^{\beta }{\int }_0^{\infty }{\partial }_t^m{D}_{\alpha ,t+s}^{L,\beta }(x,y)\frac{ds}{s^{1+\beta -m}}\right\}dy\right|\hfill \\ & \le & t^{\beta }{\int }_0^{\infty }{\int }_{{\mathbb{R}}^n}\left|{\partial }_t^m{D}_{\alpha ,t+s}^{L,\beta }(x,y)\right|\frac{dyds}{s^{1+\beta -m}}\hfill \\ & \le & C_N{t}^{\beta }{\int }_0^{\infty }\frac{{({(t+s)}^{1/2\alpha }/\rho \left(x\right))}^{{\delta }^{\prime }}}{{(1+{(t+s)}^{1/2\alpha }/\rho \left(x\right))}^N}\frac{ds}{s^{1+\beta -m}{(t+s)}^m}.\hfill \end{array}$$

If $t^{1/2\alpha }>\rho \left(x\right)$, then:

$$\begin{array}{ccc}\hfill \left|{\int }_{{\mathbb{R}}^n}{D}_{\alpha ,t}^{L,\beta }(x,y)dy\right|& \le & C_N{t}^{\beta }\rho {\left(x\right)}^{N-{\delta }^{\prime }}{\int }_0^{\infty }{(t+s)}^{{\delta }^{\prime }/2\alpha -N/2\alpha -m}{s}^{m-\beta -1}ds\hfill \\ & \le & C_N\frac{{(t^{1/2\alpha }/\rho \left(x\right))}^{{\delta }^{\prime }}}{{(1+t^{1/2\alpha }/\rho \left(x\right))}^N}.\hfill \end{array}$$

If $t^{1/2\alpha }\le \rho \left(x\right)$, then:

$$\begin{array}{ccc}\hfill \left|{\int }_{{\mathbb{R}}^n}{D}_{\alpha ,t}^{L,\beta }(x,y)dy\right|& \le & C_N{t}^{\beta }{\int }_0^{\infty }{\left({(t+s)}^{1/2\alpha }/\rho \left(x\right)\right)}^{{\delta }^{\prime }}\frac{ds}{s^{1+\beta -m}{(t+s)}^m}\hfill \\ & \le & C_N{t}^{\beta }\rho {\left(x\right)}^{{\delta }^{\prime }}{\int }_0^{\infty }{(t+s)}^{{\delta }^{\prime }/2\alpha -m}{s}^{m-1-\beta }ds\hfill \\ & \lesssim & C_N{\left(t^{1/2\alpha }/\rho \left(x\right)\right)}^{{\delta }^{\prime }}\le C_N\frac{{(t^{1/2\alpha }/\rho \left(x\right))}^{{\delta }^{\prime }}}{{(1+t^{1/2\alpha }/\rho \left(x\right))}^N},\hfill \end{array}$$

which completes the proof of Proposition 16. □

4. Characterization of Campanato–Morrey Spaces Associated with L

Firstly, we deduce a reproducing formula:

Lemma 12. 

Let $\alpha \in (0,1)$ and $\beta >0$. The operator $t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}$ defines an isometry from $L^2\left({\mathbb{R}}^n\right)$ into $L^2({\mathbb{R}}_{+}^{n+1},dxdt/t)$. Moreover, in the sense of $L^2\left({\mathbb{R}}^n\right)$, it holds that:

$$f\left(x\right)=c_{\alpha ,\beta }\underset{N\to \infty }{lim}\underset{ϵ\to 0}{lim}{\int }_{ϵ}^N{\left(t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\right)}^2\left(f\right)\left(x\right)\frac{dt}{t}.$$

Proof. 

Note that for $dE\left(\lambda \right)$, the spectral resolution of the operator L, it follows from

$$e^{-t{L}^{\alpha }}={\int }_0^{\infty }{e}^{-t{\lambda }^{\alpha }}dE\left(\lambda \right)$$

that:

$$\begin{array}{ccc}\hfill t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}& =& t^{\beta }{\int }_0^{\infty }{\partial }_t^m\left({\int }_0^{\infty }{e}^{-(t+s){\lambda }^{\alpha }}dE\left(\lambda \right)\right)\frac{ds}{s^{1+\beta -m}}\hfill \\ & =& t^{\beta }{\int }_0^{\infty }\left({\int }_0^{\infty }{(-1)}^m{\lambda }^{\alpha m}{e}^{-(t+s){\lambda }^{\alpha }}dE\left(\lambda \right)\right)\frac{ds}{s^{1+\beta -m}}\hfill \\ & =& C{t}^{\beta }{\int }_0^{\infty }{(-1)}^m{\lambda }^{m\alpha }{e}^{-t{\lambda }^{\alpha }}{\lambda }^{\alpha (\beta -m)}dE\left(\lambda \right)\hfill \\ & =& {\int }_0^{\infty }{\left(t{\lambda }^{\alpha }\right)}^{\beta }{e}^{-t{\lambda }^{\alpha }}dE\left(\lambda \right).\hfill \end{array}$$

Then, for $f\in L^2\left({\mathbb{R}}^n\right)$, we have:

$$\begin{array}{ccc}\hfill \parallel t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}{\left(f\right)\left(x\right)\parallel }_{L^2({\mathbb{R}}_{+}^{n+1},dxdt/t)}^2& =& {\int }_0^{\infty }\left({\int }_{{\mathbb{R}}^n}{\left|t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\left(f\right)\left(x\right)\right|}^{2}dx\right)\frac{dt}{t}\hfill \\ & =& {\int }_0^{\infty }⟨t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\left(f\right),t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\left(f\right)⟩\frac{dt}{t}\hfill \\ & =& {\int }_0^{\infty }⟨{\left(t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\right)}^2\left(f\right),f⟩\frac{dt}{t}\hfill \\ & =& {\int }_0^{\infty }{\int }_0^{\infty }{t}^{2\beta }{\lambda }^{2\alpha \beta }{e}^{-2t{\lambda }^{\alpha }}\frac{dt}{t}d{E}_{f,f}\left(\lambda \right)\hfill \\ & =& \frac{\mathsf{\Gamma }\left(\beta \right)}{2^{\beta }}{\parallel f\parallel }_2^2.\hfill \end{array}$$

Below, we only prove that for every pair of sequences $n_k\uparrow \infty$ and ${ϵ}_k\downarrow 0$ as $k\to \infty$,

$$\underset{k\to \infty }{lim}{\int }_{n_k}^{n_{k+m}}{\left(t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\right)}^{2}f\left(x\right)\frac{dt}{t}=\underset{k\to \infty }{lim}{\int }_{{ϵ}_k}^{{ϵ}_{k+m}}{\left(t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\right)}^{2}f\left(x\right)\frac{dt}{t}=0.$$

(32)

If (32) holds, there exists a function $h\in L^2\left({\mathbb{R}}^n\right)$, such that:

$$\underset{k\to \infty }{lim}{\int }_{{ϵ}_k}^{n_k}{\left(t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\right)}^{2}f\left(x\right)\frac{dt}{t}=h\left(x\right),$$

which implies that for all $g\in L^2\left({\mathbb{R}}^n\right)$,

$$\begin{array}{ccc}\hfill ⟨h,g⟩& =& ⟨\underset{k\to \infty }{lim}{\int }_{{ϵ}_k}^{n_k}{\left(t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\right)}^{2}f\frac{dt}{t},g⟩\hfill \\ & =& \underset{k\to \infty }{lim}{\int }_{{ϵ}_k}^{n_k}⟨{\left(t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\right)}^{2}f,g⟩\frac{dt}{t}\hfill \\ & =& \underset{k\to \infty }{lim}{\int }_{{ϵ}_k}^{n_k}⟨t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}f,t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}g⟩\frac{dt}{t}\hfill \\ & =& C_{\alpha ,\beta }⟨f,g⟩.\hfill \end{array}$$

This means $h=C_{\alpha ,\beta }f$. Now, we verify (32). As $k\to \infty$, we can apply the functional calculus to deduce that:

$$\begin{array}{ccc}\hfill \parallel {\int }_{n_k}^{n_{k+m}}{\left(t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\right)}^{2}f\left(x\right)\frac{dt}{t}{\parallel }_{L^2}^2& =& \parallel {\int }_{n_k}^{n_{k+m}}\left({\int }_0^{\infty }{t}^{2\beta }{\lambda }^{2\alpha \beta }{e}^{-2t{\lambda }^{\alpha }}d{E}_f\left(\lambda \right)\right)\frac{dt}{t}{\parallel }^2\hfill \\ & =& \parallel {\int }_0^{\infty }\left({\int }_{n_k}^{n_{k+m}}{t}^{2\beta }{\lambda }^{2\alpha \beta }{e}^{-2t{\lambda }^{\alpha }}\frac{dt}{t}\right)d{E}_f\left(\lambda \right){\parallel }^2\hfill \\ & \le & {\int }_0^{\infty }{\left({\int }_{n_k}^{n_{k+m}}{t}^{2\beta }{\lambda }^{2\alpha \beta }{e}^{-2t{\lambda }^{\alpha }}\frac{dt}{t}\right)}^{2}d{E}_{f,f}\left(\lambda \right)\to 0,\hfill \end{array}$$

since

$$\underset{k\to \infty }{lim}\left|{\int }_{n_k}^{n_{k+m}}{t}^{2\beta }{\lambda }^{2\alpha \beta }{e}^{-2t{\lambda }^{\alpha }}\frac{dt}{t}\right|=0.$$

The integral

$$\underset{k\to \infty }{lim}{\int }_{{ϵ}_k}^{{ϵ}_{k+m}}{\left(t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\right)}^{2}f\left(x\right)\frac{dt}{t}$$

can be dealt with similarly. □

The following inequality was established by Harboure–Salinas–Viviani [37]:

Lemma 13. 

([37], (5.3))Let $0<\gamma \le 1$. For any pair of measurable functions F and G on ${\mathbb{R}}_{+}^{n+1}$, we have:

$$\begin{array}{ccc}& & {\int \int }_{{\mathbb{R}}_{+}^{n+1}}\left|F(x,t)\right|·\left|G(x,t)\right|\frac{dxdt}{t}\hfill \\ & & \le C\underset{B}{sup}{\left\{\frac{1}{{\left|B\right|}^{1+2\gamma /n}}\underset{\widehat{B}}{\int \int }{\left|F(x,t)\right|}^2\frac{dxdt}{t}\right\}}^{1/2}{\left\{{\int }_{{\mathbb{R}}^n}{\left({\int }_0^{\infty }{\int }_{|x-y|<t}{\left|G(y,t)\right|}^2\frac{dydt}{t^{n+1}}\right)}^{n/2(n+\gamma )}dx\right\}}^{1+\gamma /n}.\hfill \end{array}$$

In Lemma 13, letting

$$\left\{\begin{array}{c}\hfill F(x,t):=t^{2\alpha \beta }{\partial }_s^{\beta }{e}^{-s{L}^{\alpha }}{\mid }_{s=t^{2\alpha }}\left(f\right)\left(x\right)=Q_{\alpha ,t}^{L,\beta }\left(f\right)\left(x\right);\\ \hfill G(x,t):=t^{2\alpha \beta }{\partial }_s^{\beta }{e}^{-s{L}^{\alpha }}{\mid }_{s=t^{2\alpha }}\left(g\right)\left(x\right)=Q_{\alpha ,t}^{L,\beta }\left(g\right)\left(x\right),\end{array}\right.$$

we have:

$$\begin{array}{ccc}\hfill & & {\int \int }_{{\mathbb{R}}_{+}^{n+1}}|Q_{\alpha ,t}^{L,\beta }\left(f\right)\left(x\right)|·|Q_{\alpha ,t}^{L,\beta }\left(g\right)\left(x\right)|\frac{dxdt}{t}\hfill \\ & & \le C\underset{B}{sup}{\left(\frac{1}{{\left|B\right|}^{1+2\gamma /n}}\underset{\widehat{B}}{\int \int }{\left|Q_{\alpha ,t}^{L,\beta }\left(f\right)\left(x\right)\right|}^2\frac{dxdt}{t}\right)}^{1/2}\hfill \\ & & \times {\left\{{\int }_{{\mathbb{R}}^n}{\left({\int }_0^{\infty }{\int }_{|x-y|<t}{\left|Q_{\alpha ,t}^{L,\beta }\left(g\right)\left(x\right)\right|}^2\frac{dydt}{t^{n+1}}\right)}^{n/2(n+\gamma )}dx\right\}}^{1+\gamma /n}.\hfill \end{array}$$

(33)

On the left-hand side of (33), since

$$\left\{\begin{array}{c}\hfill Q_{\alpha ,t}^{L,\beta }\left(f\right)\left(x\right)=t^{2\alpha \beta }{L}^{\alpha \beta }{e}^{-t^{2\alpha }{L}^{\alpha }}\left(f\right);\\ \hfill Q_{\alpha ,t}^{L,\beta }\left(g\right)\left(x\right)=t^{2\alpha \beta }{L}^{\alpha \beta }{e}^{-t^{2\alpha }{L}^{\alpha }}\left(g\right),\end{array}\right.$$

we can obtain, via the change of variables,

$$\begin{array}{ccc}& & {\int \int }_{{\mathbb{R}}_{+}^{n+1}}|Q_{\alpha ,t}^{L,\beta }\left(f\right)\left(x\right)|·|Q_{\alpha ,t}^{L,\beta }\left(g\right)\left(x\right)|\frac{dxdt}{t}\hfill \\ & & ={\int \int }_{{\mathbb{R}}_{+}^{n+1}}|t^{2\alpha \beta }{L}^{\alpha \beta }{e}^{-t^{2\alpha }{L}^{\alpha }}\left(f\right)\left(x\right)|·|t^{2\alpha \beta }{L}^{\alpha \beta }{e}^{-t^{2\alpha }{L}^{\alpha }}\left(g\right)\left(x\right)|\frac{dxdt}{t}\hfill \\ & & ={\int \int }_{{\mathbb{R}}_{+}^{n+1}}|s^{\beta }{L}^{\alpha \beta }{e}^{-s{L}^{\alpha }}\left(f\right)\left(x\right)|·|s^{\beta }{L}^{\alpha \beta }{e}^{-s{L}^{\alpha }}\left(g\right)\left(x\right)|\frac{dxds}{s}\hfill \\ & & ={\int \int }_{{\mathbb{R}}_{+}^{n+1}}|s^{\beta }{\partial }_s^{\beta }{e}^{-s{L}^{\alpha }}\left(f\right)\left(x\right)|·|s^{\beta }{\partial }_s^{\beta }{e}^{-s{L}^{\alpha }}\left(g\right)\left(x\right)|\frac{dxds}{s}.\hfill \end{array}$$

On the right-hand side of (33), using change of variables again, we obtain:

$$\begin{array}{ccc}& & \underset{B}{sup}{\left(\frac{1}{{\left|B\right|}^{1+2\gamma /n}}{\int }_0^{r_B}{\int }_B{\left|t^{2\alpha \beta }{L}^{\alpha \beta }{e}^{-t^{2\alpha }{L}^{\alpha }}\left(f\right)\left(x\right)\right|}^2\frac{dxdt}{t}\right)}^{1/2}\hfill \\ & & \lesssim \underset{B}{sup}{\left(\frac{1}{{\left|B\right|}^{1+2\gamma /n}}{\int }_0^{r_B^{2\alpha }}{\int }_B{\left|s^{\beta }{L}^{\alpha \beta }{e}^{-s{L}^{\alpha }}\left(f\right)\left(x\right)\right|}^2\frac{dxds}{s}\right)}^{1/2}\hfill \\ & & =\underset{B}{sup}{\left(\frac{1}{{\left|B\right|}^{1+2\gamma /n}}{\int }_0^{r_B^{2\alpha }}{\int }_B{\left|s^{\beta }{\partial }_s^{\beta }{e}^{-s{L}^{\alpha }}\left(f\right)\left(x\right)\right|}^2\frac{dxds}{s}\right)}^{1/2};\hfill \end{array}$$

meanwhile,

$$\begin{array}{ccc}& & {\left\{{\int }_{{\mathbb{R}}^n}{\left({\int }_0^{\infty }{\int }_{|x-y|<t}{\left|t^{2\alpha \beta }{L}^{\alpha \beta }{e}^{-t^{2\alpha }{L}^{\alpha }}\left(g\right)\left(y\right)\right|}^2\frac{dydt}{t^{n+1}}\right)}^{n/2(n+\gamma )}dx\right\}}^{1+\gamma /n}\hfill \\ & & \lesssim {\left\{{\int }_{{\mathbb{R}}^n}{\left({\int }_0^{\infty }{\int }_{|x-y|<s^{1/2\alpha }}{\left|s^{\beta }{L}^{\alpha \beta }{e}^{-s{L}^{\alpha }}\left(g\right)\left(y\right)\right|}^2\frac{s^{1/2\alpha -1}dyds}{s^{(n+1)/2\alpha }}\right)}^{n/2(n+\gamma )}dx\right\}}^{1+\gamma /n}\hfill \\ & & \lesssim {\left\{{\int }_{{\mathbb{R}}^n}{\left({\int }_0^{\infty }{\int }_{|x-y|<s^{1/2\alpha }}{\left|s^{\beta }{\partial }_s^{\beta }{e}^{-s{L}^{\alpha }}\left(g\right)\left(y\right)\right|}^2\frac{s^{1/2\alpha -1}dyds}{s^{(n+1)/2\alpha }}\right)}^{n/2(n+\gamma )}dx\right\}}^{1+\gamma /n}.\hfill \end{array}$$

Finally, we have:

$$\begin{array}{ccc}\hfill & & {\int \int }_{{\mathbb{R}}_{+}^{n+1}}|s^{\beta }{\partial }_s^{\beta }{e}^{-s{L}^{\alpha }}\left(f\right)\left(x\right)|·|s^{\beta }{\partial }_s^{\beta }{e}^{-s{L}^{\alpha }}\left(g\right)\left(x\right)|\frac{dxds}{s}\hfill \\ & & \lesssim \underset{B}{sup}{\left(\frac{1}{{\left|B\right|}^{1+2\gamma /n}}{\int }_0^{r_B^{2\alpha }}{\int }_B{\left|s^{\beta }{\partial }_s^{\beta }{e}^{-s{L}^{\alpha }}\left(f\right)\left(x\right)\right|}^2\frac{dxds}{s}\right)}^{1/2}\hfill \\ & & \times {\left\{{\int }_{{\mathbb{R}}^n}{\left({\int \int }_{|x-y|<s^{1/2\alpha }}{\left|s^{\beta }{\partial }_s^{\beta }{e}^{-s{L}^{\alpha }}\left(g\right)\left(y\right)\right|}^2\frac{s^{1/2\alpha -1}dyds}{s^{(n+1)/2\alpha }}\right)}^{n/2(n+\gamma )}dx\right\}}^{1+\gamma /n}.\hfill \end{array}$$

(34)

For $\alpha \in (0,1)$ and $\beta >0$, define an area function $S_{\alpha ,\beta }^L$ as follows:

$$S_{\alpha ,\beta }^L\left(h\right)\left(x\right):={\left({\int \int }_{{\mathsf{\Gamma }}_{\alpha }\left(x\right)}{\left|t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\left(h\right)\left(y\right)\right|}^2\frac{dydt}{t^{n/2\alpha +1}}\right)}^{1/2},$$

where ${\mathsf{\Gamma }}_{\alpha }\left(x\right)$ denotes the cone $\{(y,t):|x-y|<t^{1/2\alpha }\}$.

Lemma 14. 

Let $\alpha \in (0,1)$ and $\beta >0$. The area function $S_{\alpha ,\beta }^L$ is bounded on $L^2\left({\mathbb{R}}^n\right)$.

Proof. 

Let

$$g_{\alpha ,\beta }^L\left(h\right)\left(x\right):={\left({\int }_0^{\infty }{\left|t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}h\left(x\right)\right|}^2\frac{dt}{t}\right)}^{1/2}.$$

We can obtain:

$$\begin{array}{ccc}\hfill \parallel g_{\alpha ,\beta }^L{\left(h\right)\parallel }_2^2& =& {\int }_{{\mathbb{R}}^n}\left({\int }_0^{\infty }{\left|t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}h\left(x\right)\right|}^2\frac{dt}{t}\right)dx\hfill \\ & =& {\int }_0^{\infty }\left({\int }_{{\mathbb{R}}^n}{\left|t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}h\left(x\right)\right|}^{2}dx\right)\frac{dt}{t}\hfill \\ & =& {\int }_0^{\infty }⟨t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}h,t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}h⟩\frac{dt}{t}\hfill \\ & =& {\int }_0^{\infty }⟨{\left(t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\right)}^{2}h,h⟩\frac{dt}{t}\hfill \\ & =& {\int }_0^{\infty }{\int }_0^{\infty }{t}^{2\beta }{\lambda }^{2\alpha \beta }{e}^{-t{\lambda }^{\alpha }}d{E}_{h,h}\left(\lambda \right)\frac{dt}{t}\hfill \\ & \lesssim & {\parallel h\parallel }_2^2.\hfill \end{array}$$

(35)

Hence, it follows from (35) that:

$$\begin{array}{ccc}\hfill \parallel S_{\alpha ,\beta }^L{h\parallel }_2^2& =& {\int }_{{\mathbb{R}}^n}\left({\int \int }_{{\mathsf{\Gamma }}_{\alpha }\left(x\right)}{\left|t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\left(h\right)\left(y\right)\right|}^2\frac{dydt}{t^{\frac{n}{2\alpha }+1}}\right)dx\hfill \\ & =& {\int }_{{\mathbb{R}}^n}\left({\int }_0^{\infty }{\int }_{{\mathbb{R}}^n}{\left|t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\left(h\right)\left(y\right)\right|}^2{\chi }_{{\mathsf{\Gamma }}_{\alpha }\left(x\right)}\left(y\right)\frac{dydt}{t^{\frac{n}{2\alpha }+1}}\right)dx\hfill \\ & \lesssim & {\int }_0^{\infty }{\int }_{{\mathbb{R}}^n}{\left|t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\left(h\right)\left(y\right)\right|}^2\left({\int }_{{\mathbb{R}}^n}{\chi }_{{\mathsf{\Gamma }}_{\alpha }\left(y\right)}\left(x\right)dx\right)\frac{dydt}{t^{\frac{n}{2\alpha }+1}}\hfill \\ & \lesssim & {\int }_0^{\infty }{\int }_{{\mathbb{R}}^n}|t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}{\left(h\right)\left(y\right)|}^2\frac{dydt}{t}\lesssim {\parallel h\parallel }_2^2.\hfill \end{array}$$

□

Theorem 2. 

Assume that $\alpha \in (0,1)$, $\beta >0$ and $0<\gamma <min\{2\alpha ,2\alpha \beta \}$. Let f be a linear combination of $H_L^{n/(n+\gamma )}$-atoms. There exists a constant C, such that:

$$\parallel S_{\alpha ,\beta }^L{\left(f\right)\parallel }_{L^{n/(n+\gamma )}}\le C{\parallel f\parallel }_{H_L^{n/(n+\gamma )}}.$$

Proof. 

Let a be an $H_L^{n/(n+\gamma )}$-atom associated with a ball $B=B(x_0,r)$. Then, we write:

$$\parallel S_{\alpha ,\beta }^L{\left(a\right)\parallel }_{L^{n/(n+\gamma )}}^{n/(n+\gamma )}\le I+II,$$

where

$$\left\{\begin{array}{c}I:={\int }_{8B}{\left|S_{\alpha ,\beta }^L\left(a\right)\left(x\right)\right|}^{n/(n+\gamma )}dx;\hfill \\ II:={\int }_{{\left(8B\right)}^c}{\left|S_{\alpha ,\beta }^L\left(a\right)\left(x\right)\right|}^{n/(n+\gamma )}dx.\hfill \end{array}\right.$$

We use Lemma 14 and Hölder’s inequality to obtain:

$$\begin{array}{c}\hfill I\lesssim {\left({\int }_{8B}{\left|S_{\alpha ,\beta }^{L}a\left(x\right)\right|}^{2}dx\right)}^{n/2(n+\gamma )}{\left|B\right|}^{(n+2\gamma )/2(n+\gamma )}\lesssim {\parallel a\parallel }_2^{n/(n+\gamma )}{\left|B\right|}^{(n+2\gamma )/2(n+\gamma )}\lesssim 1.\end{array}$$

Now, we deal with $II$ in the following two cases:

Case 1: $r<\rho \left(x_0\right)/4$. For this case, ${\int }_{{\mathbb{R}}^n}a\left(x\right)dx=0$. We write ${\left(S_{\alpha ,\beta }^L\left(a\right)\left(x\right)\right)}^2\lesssim I_1\left(x\right)+I_2\left(x\right),$ where:

$$\left\{\begin{array}{cc}\hfill I_1\left(x\right)& :={\int }_0^{\left(\right|x-x_0{|/2)}^{2\alpha }}{\int }_{|x-y|<t^{1/2\alpha }}{\left\{{\int }_{{\mathbb{R}}^n}(t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}(y,x^{\prime })-t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}(y,x_0))a\left(x^{\prime }\right)d{x}^{\prime }\right\}}^2\frac{dydt}{t^{n/2\alpha +1}};\hfill \\ \hfill I_2\left(x\right)& :={\int }_{\left(\right|x-x_0{|/2)}^{2\alpha }}^{\infty }{\int }_{|x-y|<t^{1/2\alpha }}{\left\{{\int }_{{\mathbb{R}}^n}(t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}(y,x^{\prime })-t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}(y,x_0))a\left(x^{\prime }\right)d{x}^{\prime }\right\}}^2\frac{dydt}{t^{n/2\alpha +1}}.\hfill \end{array}\right.$$

We first estimate $I_1$. Since $|x-y|\le |x-x_0|/2$, then $|y-x^{\prime }|\sim |y-x_0|$ for $x^{\prime }\in B(x_0,r)$ and $x\notin B(x_0,8r)$. We can use Propositions 14 and 15 to deduce that there exists ${\delta }^{\prime }>\gamma$, such that:

$$\begin{array}{ccc}\hfill |I_1\left(x\right)|& \lesssim & {\int }_0^{\left(\right|x-x_0{|/2)}^{2\alpha }}{\int }_{|x-y|<t^{1/2\alpha }}{\left\{{\int }_B{\left(\frac{|x^{\prime }-x_0|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}\frac{t^{\beta }}{(t^{1/2\alpha }+|y-x_0{\left|\right)}^{n+2\alpha \beta }}\frac{d{x}^{\prime }}{{\left|B\right|}^{1+\gamma /n}}\right\}}^2\frac{dydt}{t^{n/2\alpha +1}}\hfill \\ & \lesssim & {\int }_0^{\left(\right|x-x_0{|/2)}^{2\alpha }}{\int }_{|x-y|<t^{1/2\alpha }}{\left\{{\int }_B{\left(\frac{r}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}\frac{t^{\beta }}{t^{\beta +n/2\alpha }(1+|y-x_0{|/t^{1/2\alpha })}^{n+2\alpha \beta }}\frac{d{x}^{\prime }}{{\left|B\right|}^{1+\gamma /n}}\right\}}^2\frac{dydt}{t^{n/2\alpha +1}}\hfill \\ & \lesssim & {\int }_0^{\left(\right|x-x_0{|/2)}^{2\alpha }}{\int }_{|x-y|<t^{1/2\alpha }}{\left(\frac{r}{t^{1/2\alpha }}\right)}^{2{\delta }^{\prime }}\frac{1}{t^{n/\alpha }(1+|y-x_0{|/t^{1/2\alpha })}^{2n+4\alpha \beta }}\frac{1}{{\left|B\right|}^{2\gamma /n}}\frac{dydt}{t^{n/2\alpha +1}}.\hfill \end{array}$$

Because $0<t<|x-x_0{|}^{2\alpha }/2^{2\alpha }$ and $|x-y|<t^{1/2\alpha }$, then $|x-y|<|x-x_0|/2$. This implies $|y-x_0| \gtrsim |x-x_0|/2$. We have:

$$\begin{array}{ccc}\hfill |I_1\left(x\right)|& \lesssim & {\int }_0^{\left(\right|x-x_0{|/2)}^{2\alpha }}{\int }_{|x-y|<t^{1/2\alpha }}{\left(\frac{r}{t^{1/2\alpha }}\right)}^{2{\delta }^{\prime }}\frac{1}{t^{n/\alpha }(1+|x-x_0{|/t^{1/2\alpha })}^{2n+4\alpha \beta }}\frac{1}{{\left|B\right|}^{2\gamma /n}}\frac{dydt}{t^{n/2\alpha +1}}\hfill \\ & \lesssim & {\int }_0^{\left(\right|x-x_0{|/2)}^{2\alpha }}{\left(\frac{r}{t^{1/2\alpha }}\right)}^{2{\delta }^{\prime }}\frac{1}{t^{n/\alpha }(1+|x-x_0{|/t^{1/2\alpha })}^{2n+4\alpha \beta }}\frac{1}{{\left|B\right|}^{2\gamma /n}}\frac{dt}{t}\hfill \\ & \lesssim & \frac{r^{2({\delta }^{\prime }-\gamma )}}{|x-x_0{|}^{2(n+{\delta }^{\prime })}},\hfill \end{array}$$

which, via a direct computation, gives:

$${\int }_{{\left(8B\right)}^c}{\left|I_1\left(x\right)\right|}^{n/2(n+\gamma )}dx\lesssim {\int }_{{\left(8B\right)}^c}{\left(\frac{r^{{\delta }^{\prime }-\gamma }}{|x-x_0{|}^{n+{\delta }^{\prime }}}\right)}^{n/(n+\gamma )}dx\le C.$$

Let us continue with $I_2$. Similarly, it follows from Proposition 15 that:

$$\begin{array}{ccc}\hfill |I_2\left(x\right)|& \lesssim & {\int }_{|x-x_0{|}^{2\alpha }/2^{2\alpha }}^{\infty }{\int }_{|x-y|<t^{1/2\alpha }}{\left\{{\int }_B{\left(\frac{|x^{\prime }-x_0|}{t^{1/2\alpha }}\right)}^{{\delta }^{\prime }}\frac{1}{t^{n/2\alpha }}\frac{d{x}^{\prime }}{{\left|B\right|}^{1+\gamma /n}}\right\}}^2\frac{dydt}{t^{n/2\alpha +1}}\hfill \\ & \lesssim & {\int }_{|x-x_0{|}^{2\alpha }/2^{2\alpha }}^{\infty }{\int }_{|x-y|<t^{1/2\alpha }}{\left(\frac{r}{t^{1/2\alpha }}\right)}^{2{\delta }^{\prime }}\frac{1}{t^{n/\alpha }}\frac{1}{{\left|B\right|}^{2\gamma /n}}\frac{dydt}{t^{n/2\alpha +1}}\hfill \\ & \lesssim & \frac{r^{2({\delta }^{\prime }-\gamma )}}{|x-x_0{|}^{2n+2{\delta }^{\prime }}}.\hfill \end{array}$$

Hence, we still have ${\int }_{{\left(8B\right)}^c}{\left|I_2\left(x\right)\right|}^{n/2(n+\gamma )}dx\lesssim 1.$

Case 2: $\rho \left(x_0\right)/4<r<\rho \left(x_0\right)$. For this case, the atom a has no canceling condition. We have ${\left(S_{\alpha ,\beta }^L\left(a\right)\left(x\right)\right)}^2\lesssim I_3\left(x\right)+I_4\left(x\right)+I_5\left(x\right)$, where:

$$\left\{\begin{array}{cc}\hfill I_3\left(x\right)& :={\int }_0^{r^{2\alpha }/4^{\alpha }}{\int }_{|x-y|<t^{1/2\alpha }}|{\int }_{{\mathbb{R}}^n}{t}^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}(y,x^{\prime })a\left(x^{\prime }\right)d{x}^{\prime }{|}^2\frac{dydt}{t^{n/2\alpha +1}};\hfill \\ \hfill I_4\left(x\right)& :={\int }_{r^{2\alpha }/4^{\alpha }}^{|x-x_0{|}^{2\alpha }/4^{2\alpha }}{\int }_{|x-y|<t^{1/2\alpha }}|{\int }_{{\mathbb{R}}^n}{t}^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}(y,x^{\prime })a\left(x^{\prime }\right)d{x}^{\prime }{|}^2\frac{dydt}{t^{n/2\alpha +1}};\hfill \\ \hfill I_5\left(x\right)& :={\int }_{|x-x_0{|}^{2\alpha }/4^{2\alpha }}^{\infty }{\int }_{|x-y|<t^{1/2\alpha }}|{\int }_{{\mathbb{R}}^n}{t}^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}(y,x^{\prime })a\left(x^{\prime }\right)d{x}^{\prime }{|}^2\frac{dydt}{t^{n/2\alpha +1}}.\hfill \end{array}\right.$$

Because $x\in {\left(8B\right)}^c$ and $x^{\prime }\in B$, then $|x^{\prime }-x_0|<|x-x_0|/8$. On the other hand, for $t\in (0,r^{2\alpha }/4^{\alpha })$, $|y-x|<t^{1/2\alpha }\le r/2<|x-x_0|/8$. This means that $|y-x^{\prime }| \ge c|x-x_0|$. We can obtain:

$$\begin{array}{ccc}\hfill |I_3\left(x\right)|& \lesssim & {\int }_0^{r^{2\alpha }/4^{\alpha }}{\int }_{|x-y|<t^{1/2\alpha }}{\left({\int }_B\frac{t^{\beta }}{(t^{1/2\alpha }+|x-x_0{\left|\right)}^{n+2\alpha \beta }}\frac{d{x}^{\prime }}{{\left|B\right|}^{1+\gamma /n}}\right)}^2\frac{dydt}{t^{n/2\alpha +1}}\hfill \\ & \lesssim & \frac{1}{{\left|B\right|}^{2\gamma /n}}{\int }_0^{r^{2\alpha }/4^{\alpha }}{\int }_{|x-y|<t^{1/2\alpha }}\frac{t^{2\beta }}{(t^{1/2\alpha }+|x-x_0{\left|\right)}^{2n+4\alpha \beta }}\frac{dydt}{t^{n/2\alpha +1}}\hfill \\ & \lesssim & \frac{1}{{\left|B\right|}^{2\gamma /n}}{\int }_0^{r^{2\alpha }/4^{\alpha }}\frac{t^{2\beta }}{(t^{1/2\alpha }+|x-x_0{\left|\right)}^{2n+4\alpha \beta }}\frac{dt}{t}\hfill \\ & \lesssim & \frac{r^{4\alpha \beta -2\gamma }}{|x-x_0{|}^{2n+4\alpha \beta }},\hfill \end{array}$$

which indicates that:

$$\begin{array}{ccc}\hfill {\int }_{{\left(8B\right)}^c}{\left|I_3\left(x\right)\right|}^{n/2(n+\gamma )}dx& \lesssim & {\int }_{{\left(8B\right)}^c}{\left(\frac{r^{2\alpha \beta -\gamma }}{|x-x_0{|}^{n+2\alpha \beta }}\right)}^{n/(n+\gamma )}dx\le C.\hfill \end{array}$$

Similarly,

$$\begin{array}{ccc}\hfill |I_4\left(x\right)|& \lesssim & {\int }_{r^{2\alpha }/4^{\alpha }}^{|x-x_0{|}^{2\alpha }/4^{2\alpha }}{\int }_{|x-y|<t^{1/2\alpha }}{\left\{{\int }_B\frac{t^{\beta }}{(t^{1/2\alpha }+|y-x^{\prime }{\left|\right)}^{n+2\alpha \beta }}\frac{1}{{\left|B\right|}^{1+\gamma /n}}{\left(\frac{\rho \left(x^{\prime }\right)}{t^{1/2\alpha }}\right)}^{N}d{x}^{\prime }\right\}}^2\frac{dydt}{t^{n/2\alpha +1}}\hfill \\ & \lesssim & {\int }_{r^{2\alpha }/4^{\alpha }}^{|x-x_0{|}^{2\alpha }/4^{2\alpha }}{\int }_{|x-y|<t^{1/2\alpha }}{\left\{{\int }_B\frac{t^{\beta }}{(t^{1/2\alpha }+|y-x^{\prime }{\left|\right)}^{n+2\alpha \beta }}\frac{1}{{\left|B\right|}^{1+\gamma /n}}{\left(\frac{\rho \left(x_0\right)}{t^{1/2\alpha }}\right)}^{N}d{x}^{\prime }\right\}}^2\frac{dydt}{t^{n/2\alpha +1}}.\hfill \end{array}$$

Notice that $r/2 \le t^{1/2\alpha } \lesssim |x-x_0|/4$ for $t\in (r^{2\alpha }/4^{\alpha },|x-x_0{|}^{2\alpha }/4^{2\alpha })$. It can be deduced from the triangle inequality that $|y-x^{\prime }| \sim |x-x_0|$. Then,

$$\begin{array}{ccc}\hfill |I_4\left(x\right)|& \lesssim & {\int }_{r^{2\alpha }/4^{\alpha }}^{|x-x_0{|}^{2\alpha }/4^{2\alpha }}{\int }_{|x-y|<t^{1/2\alpha }}\frac{1}{t^{n/\alpha }(1+|x-x_0{|/t^{1/2\alpha })}^{2n+4\alpha \beta }}\frac{1}{{\left|B\right|}^{2\gamma /n}}{\left(\frac{\rho \left(x_0\right)}{t^{1/2\alpha }}\right)}^{2N}\frac{dydt}{t^{n/2\alpha +1}}\hfill \\ & \lesssim & {\int }_{r^{2\alpha }/4^{\alpha }}^{|x-x_0{|}^{2\alpha }/4^{2\alpha }}{\left(\frac{t^{n/2\alpha +\beta }}{t^{n/2\alpha }{|x-x_0|}^{n+2\alpha \beta }}\frac{r^N}{t^{N/2\alpha }{r}^{\gamma }}\right)}^2\frac{dt}{t}\hfill \\ & \lesssim & \frac{r^{4\alpha \beta -2\gamma }}{|x-x_0{|}^{2n+4\alpha \beta }}.\hfill \end{array}$$

The estimate for $I_5$ is similar to that of $I_4$. In fact, due to $r\sim \rho \left(x_0\right)$,

$$\begin{array}{ccc}\hfill |I_5\left(x\right)|& \lesssim & {\int }_{|x-x_0{|}^{2\alpha }/4^{2\alpha }}^{\infty }{\int }_{|x-y|<t^{1/2\alpha }}{\left\{{\int }_B\frac{t^{\beta }}{(t^{1/2\alpha }+|y-x^{\prime }{\left|\right)}^{n+2\alpha \beta }}\frac{d{x}^{\prime }}{r^{\gamma +n}}{\left(\frac{\rho \left(x_0\right)}{t^{1/2\alpha }}\right)}^N\right\}}^2\frac{dydt}{t^{n/2\alpha +1}}\hfill \\ & \lesssim & {\int }_{|x-x_0{|}^{2\alpha }/4^{2\alpha }}^{\infty }{\int }_{|x-y|<t^{1/2\alpha }}{\left(\frac{r}{t^{1/2\alpha }}\right)}^{2N}\frac{1}{r^{2\gamma }}\frac{dydt}{t^{3n/2\alpha +1}}\hfill \\ & \lesssim & \frac{r^{2N-2\gamma }}{|x-x_0{|}^{2(n+N)}}.\hfill \end{array}$$

The estimates for $I_4$ and $I_5$ indicate that:

$${\int }_{{\left(8B\right)}^c}{|I_4\left(x\right)+I_5\left(x\right)|}^{n/2(n+\gamma )}dx\lesssim 1.$$

□

Lemma 15. 

Let $\alpha \in (0,1)$, $q_t(·,·)$ be a function of $x,y\in {\mathbb{R}}^n$ and $t>0$. Assume that for each $N>0$, there exists a constant $C_N$, such that for $\theta >\gamma$,

$$|q_t(x,y)|\le C_N{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{t}^{-n/2\alpha }{\left(1+\frac{|x-y|}{t^{1/2\alpha }}\right)}^{-(n+\theta )}.$$

(36)

Then, for any $H_L^{n/(n+\gamma )}$-atom a supported on $B(x_0,r)$, there exists a constant $C_{x_0,r}$, such that:

$$\underset{t>0}{sup}\left|{\int }_{{\mathbb{R}}^n}{q}_t(x,y)a\left(y\right)dy\right|\le C_{N,x_0,r}{(1+|x\left|\right)}^{-n-\theta },x\in {\mathbb{R}}^n.$$

Proof. 

If $x\in B(x_0,2r)$, then $1+\left|x\right|\le 1+|x-x_0|+|x_0|\le 1+2r+|x_0|$. It follows from the condition ${\parallel a\parallel }_{\infty }\le {\left|B(x_0,r)\right|}^{-1-\gamma /n}$ that:

$$\begin{array}{ccc}\hfill \left|{\int }_{{\mathbb{R}}^n}{q}_t(x,y)a\left(y\right)dy\right|& \lesssim & {\int }_{B(x_0,r)}|q_t(x,y)\left|\right|a\left(y\right)|dy\hfill \\ & \lesssim & {\int }_{B(x_0,r)}{t}^{-n/2\alpha }{\left(1+\frac{|x-y|}{t^{1/2\alpha }}\right)}^{-n-\theta }{r}^{-n-\gamma }dy\hfill \\ & \lesssim & r^{-n-\gamma }\frac{(1+2r+|x_0{\left|\right)}^{n+\theta }}{(1+2r+|x_0{\left|\right)}^{n+\theta }}\hfill \\ & \lesssim & C_{N,x_0,r}{(1+|x\left|\right)}^{-n-\theta }.\hfill \end{array}$$

If $x\notin B(x_0,2r)$, then for any $y\in B(x_0,r)$, $|x-y|\sim |x-x_0|$. On the other hand, $\rho \left(y\right)\sim \rho \left(x_0\right)$, since $r<\rho \left(x_0\right)$ and $|y-x_0|<r$. By (36), we have:

$$\begin{array}{ccc}\hfill |q_t(x,y)|& \lesssim & t^{-n/2\alpha }{\left(1+\frac{|x-y|}{t^{1/2\alpha }}\right)}^{-(n+\theta )}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x_0\right)}\right)}^{-N}\hfill \\ & \lesssim & t^{-n/2\alpha }{\left(1+\frac{|x-y|}{t^{1/2\alpha }}\right)}^{-(n+\theta )}{\left(\frac{t^{1/2\alpha }}{\rho \left(x_0\right)}\right)}^{-\theta },\hfill \end{array}$$

which implies that:

$$\begin{array}{ccc}\hfill \left|{\int }_{{\mathbb{R}}^n}{q}_t(x,y)a\left(y\right)dy\right|& \lesssim & {\left(\frac{t^{1/2\alpha }}{\rho \left(x_0\right)}\right)}^{-\theta }{t}^{-n/2\alpha }{\left(\frac{|x-x_0|}{t^{1/2\alpha }}\right)}^{-(n+\theta )}{\int }_{{\mathbb{R}}^n}\left|a\left(y\right)\right|dy\hfill \\ & \lesssim & {\left(\rho \left(x_0\right)\right)}^{\theta }{r}^{-\gamma }|x-x_0{|}^{-(n+\theta )}:=C_{\gamma ,x_0,r}{|x-x_0|}^{-(n+\theta )}.\hfill \end{array}$$

Because $x\notin B(x_0,2r)$, set $x=x_0+2rz$, where $\left|z\right|\ge 1$. Then, $1+\left|x\right|\le 1+|x_0|+2r|z|$ and

$$\frac{1+|x_0|+2r}{2r}|x-x_0|=(1+|x_0|+2r)\left|z\right|\ge 1+|x_0|+2r|z|,$$

which implies that $|x_0-x|\ge (1+\left|x\right|)/C_{x_0,r}$. This completes the proof of Lemma 15. □

Lemma 16. 

Given $\alpha \in (0,1)$, $\beta >0$ and $0<\gamma <min\{2\alpha ,2\alpha \beta \}$. Let $f\in L^1({\mathbb{R}}^n,{(1+|x\left|\right)}^{-(n+\gamma +ϵ)}dx)$ for any $ϵ>0$, and let a be an $H_L^{n/(n+\gamma )}$-atom. Then, for

$$\left\{\begin{array}{c}F(x,t):=t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\left(f\right)\left(x\right);\hfill \\ G(x,t):=t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\left(a\right)\left(x\right),\hfill \end{array}\right.$$

there exists a constant $C_{\alpha ,\beta }$, such that:

$$C_{\alpha ,\beta }{\int }_{{\mathbb{R}}^n}f\left(x\right)\overline{a\left(x\right)}dx={\int \int }_{{\mathbb{R}}_{+}^{n+1}}F(x,t)\overline{G(x,t)}\frac{dxdt}{t}.$$

Proof. 

Assume that a is an $H_L^{n/(n+\gamma )}$-atom associated with a ball $B(x_0,r)$. By Lemma 13 and Theorem 2, we obtain:

$$\begin{array}{ccc}\hfill I& =& {\int \int }_{{\mathbb{R}}_{+}^{n+1}}F(x,t)\overline{G(x,t)}\frac{dxdt}{t}\hfill \\ & =& \underset{ϵ\to 0}{lim}{\int }_{ϵ}^{1/ϵ}{\int }_{{\mathbb{R}}^n}{t}^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\left(f\right)\left(x\right)\overline{t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\left(a\right)\left(x\right)}\frac{dxdt}{t}\hfill \\ & =& \underset{ϵ\to 0}{lim}{\int }_{ϵ}^{1/ϵ}{\int }_{{\mathbb{R}}^n}{D}_{\alpha ,t}^{L,\beta }\left(f\right)\left(x\right)\overline{D_{\alpha ,t}^{L,\beta }\left(a\right)\left(x\right)}\frac{dxdt}{t}.\hfill \end{array}$$

The inner integration satisfies the following:

$$\begin{array}{ccc}\hfill \left|{\int }_{{\mathbb{R}}^n}{D}_{\alpha ,t}^{L,\beta }\left(f\right)\left(x\right)\overline{D_{\alpha ,t}^{L,\beta }\left(a\right)\left(x\right)}dx\right|& \le & {\int }_{{\mathbb{R}}^n}\left|D_{\alpha ,t}^{L,\beta }\left(f\right)\left(x\right)\right|·\left|\overline{D_{\alpha ,t}^{L,\beta }\left(a\right)\left(x\right)}\right|dx\hfill \\ & \le & {\int }_{{\mathbb{R}}^n}\left|D_{\alpha ,t}^{L,\beta }\left(f\right)\left(x\right)\right|\left\{\underset{t>0}{sup}\left|\overline{D_{\alpha ,t}^{L,\beta }\left(a\right)\left(x\right)}\right|\right\}dx.\hfill \end{array}$$

By Proposition 14, we can see that:

$$\begin{array}{ccc}\hfill |D_{\alpha ,t}^{L,\beta }(x,y)|& \lesssim & \frac{t^{\beta }}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha \beta }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}\hfill \\ & \lesssim & t^{-n/2\alpha }\frac{1}{(1+|x-y|/t^{1/2\alpha }{)}^{n+2\alpha \beta }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.\hfill \end{array}$$

If $x\in B(x_0,2r)$, then $1+\left|x\right|\le 1+|x-x_0|+|x_0|\le 1+2r+|x_0|$. It follows from the condition ${\parallel a\parallel }_{\infty }\le {\left|B(x_0,r)\right|}^{-1-\gamma /n}$ that:

$$\begin{array}{ccc}\hfill \left|{\int }_{{\mathbb{R}}^n}{D}_{\alpha ,t}^{L,\beta }(x,y)a\left(y\right)dy\right|& \lesssim & {\int }_{B(x_0,r)}|D_{\alpha ,t}^{L,\beta }(x,y)\left|\right|a\left(y\right)|dy\hfill \\ & \lesssim & {\int }_{B(x_0,r)}{t}^{-n/2\alpha }{\left(1+\frac{|x-y|}{t^{1/2\alpha }}\right)}^{-n-2\alpha \beta }{r}^{-n-\gamma }dy\hfill \\ & \lesssim & r^{-n-\gamma }\frac{(1+2r+|x_0{\left|\right)}^{n+2\alpha \beta }}{(1+2r+|x_0{\left|\right)}^{n+2\alpha \beta }}\hfill \\ & \lesssim & C_{N,x_0,\gamma }{(1+|x\left|\right)}^{-n-2\alpha \beta }.\hfill \end{array}$$

(37)

If $x\notin B(x_0,2r)$, then for any $y\in B(x_0,r)$, $|x-y|\sim |x-x_0|$. On the other hand, $\rho \left(y\right)\sim \rho \left(x_0\right)$, since $r<\rho \left(x_0\right)$ and $|y-x_0|<r$. By Proposition 14, we have:

$$\begin{array}{ccc}\hfill |D_{\alpha ,t}^{L,\beta }(x,y)|& \lesssim & \frac{t^{\beta }}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha \beta }}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x\right)}+\frac{t^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}\hfill \\ & \lesssim & t^{-n/2\alpha }{\left(1+\frac{|x-y|}{t^{1/2\alpha }}\right)}^{-(n+2\alpha \beta )}{\left(1+\frac{t^{1/2\alpha }}{\rho \left(x_0\right)}\right)}^{-N}\hfill \\ & \lesssim & t^{-n/2\alpha }{\left(1+\frac{|x-y|}{t^{1/2\alpha }}\right)}^{-(n+2\alpha \beta )}{\left(\frac{t^{1/2\alpha }}{\rho \left(x_0\right)}\right)}^{-2\alpha \beta },\hfill \end{array}$$

which implies that:

$$\begin{array}{ccc}\hfill \left|{\int }_{{\mathbb{R}}^n}{D}_{\alpha ,t}^{L,\beta }(x,y)a\left(y\right)dy\right|& \lesssim & {\left(\frac{t^{1/2\alpha }}{\rho \left(x_0\right)}\right)}^{-2\alpha \beta }{t}^{-n/2\alpha }{\left(\frac{|x-x_0|}{t^{1/2\alpha }}\right)}^{-(n+2\alpha \beta )}{\int }_{{\mathbb{R}}^n}\left|a\left(y\right)\right|dy\hfill \\ & \lesssim & {\left(\rho \left(x_0\right)\right)}^{2\alpha \beta }{r}^{-\gamma }|x-x_0{|}^{-(n+2\alpha \beta )}:=C_{\gamma ,x_0,r}{|x-x_0|}^{-(n+2\alpha \beta )}.\hfill \end{array}$$

Because $x\notin B(x_0,2r)$, set $x=x_0+2rz$, where $\left|z\right|\ge 1$. Then, $1+\left|x\right|\le 1+|x_0|+2r|z|$ and

$$\frac{1+|x_0|+2r}{2r}|x-x_0|=(1+|x_0|+2r)\left|z\right|\ge 1+|x_0|+2r|z|,$$

which implies that $|x_0-x|\ge (1+\left|x\right|)/C_{x_0,r}$, and

$$\left|{\int }_{{\mathbb{R}}^n}{D}_{\alpha ,t}^{L,\beta }(x,y)a\left(y\right)dy\right|\le C_{\gamma ,x_0,r}{(1+|x\left|\right)}^{-n-2\alpha \beta }.$$

(38)

The above estimate indicates that $D_{\alpha ,t}^{L.\beta }(·,·)$ satisfies (36) with $\theta =2\alpha \beta$. On the other hand, it can be deduced from (37) and (38) that:

$$\begin{array}{ccc}\hfill {\int }_{{\mathbb{R}}^n}|D_{\alpha ,t}^{L,\beta }\left(f\right)\left(x\right)\left|\right|D_{\alpha ,t}^{L,\beta }\left(a\right)\left(x\right)|dx& \lesssim & {\int }_{{\mathbb{R}}^n}\left({\int }_{{\mathbb{R}}^n}\frac{\left|f\left(y\right)\right|t^{\beta }}{\left(\right|x-y|+t^{1/2\alpha }{)}^{n+2\alpha \beta }}dy\right)\frac{dx}{{(1+|x\left|\right)}^{n+2\alpha \beta }}\hfill \\ & \lesssim & I_1+I_2,\hfill \end{array}$$

where

$$\left\{\begin{array}{c}\hfill I_1:={\int \int }_{|x-y|>\left|y\right|/2}\frac{\left|f\left(y\right)\right|t^{\beta }}{\left(\right|x-y|+t^{1/2\alpha }{)}^{n+2\alpha \beta }}\frac{dxdy}{{(1+|x\left|\right)}^{n+2\alpha \beta }};\\ \hfill I_2:={\int \int }_{|x-y|\le \left|y\right|/2}\frac{\left|f\left(y\right)\right|t^{\beta }}{\left(\right|x-y|+t^{1/2\alpha }{)}^{n+2\alpha \beta }}\frac{dxdy}{{(1+|x\left|\right)}^{n+2\alpha \beta }}.\end{array}\right.$$

If $|x-y|<\left|y\right|/2$, then $\left|y\right|\le |x-y|+\left|x\right|\le \left|y\right|/2+\left|x\right|$, i.e., $\left|y\right|\le 2\left|x\right|$.

$$\begin{array}{ccc}\hfill I_2& \lesssim & {\int }_{{\mathbb{R}}^n}\left({\int }_{{\mathbb{R}}^n}\frac{t^{\beta }}{\left(\right|x-y|+t^{1/2\alpha }{)}^{n+2\alpha \beta }}dx\right)\frac{\left|f\right(y\left)\right|}{{(1+|y\left|\right)}^{n+2\alpha \beta }}dy<\infty .\hfill \end{array}$$

For $I_1$, since $|x-y|>\left|y\right|/2$, we have:

$$\begin{array}{ccc}\hfill {\int }_{{\mathbb{R}}^n}\frac{\left|f\left(y\right)\right|t^{\beta }}{\left(\right|x-y|+t^{1/2\alpha }{)}^{n+2\alpha \beta }}dy& \lesssim & \frac{1}{t^{n/\left(2\alpha \right)}}{\int }_{{\mathbb{R}}^n}\frac{\left|f\right(y\left)\right|}{(1+|y|/t^{1/\left(2\alpha \right)}{)}^{n+2\alpha \beta }}dy.\hfill \end{array}$$

If $0<t<1$, then:

$$\frac{1}{t^{n/\left(2\alpha \right)}}{\int }_{{\mathbb{R}}^n}\frac{\left|f\right(y\left)\right|}{(1+|y|/t^{1/\left(2\alpha \right)}{)}^{n+2\alpha \beta }}dy\lesssim \frac{1}{t^{n/\left(2\alpha \right)}}{\int }_{{\mathbb{R}}^n}\frac{\left|f\right(y\left)\right|}{{(1+|y\left|\right)}^{n+2\alpha \beta }}dy.$$

If $t>1$, then:

$$\begin{array}{ccc}\hfill \frac{1}{t^{n/\left(2\alpha \right)}}{\int }_{{\mathbb{R}}^n}\frac{\left|f\right(y\left)\right|}{(1+|y|/t^{1/\left(2\alpha \right)}{)}^{n+2\alpha \beta }}dy& \lesssim & \frac{1}{t^{n/\left(2\alpha \right)}}{\int }_{{\mathbb{R}}^n}\frac{\left|f\right(y\left)\right|}{(1/t^{1/\left(2\alpha \right)}+\left|y\right|/t^{1/\left(2\alpha \right)}{)}^{n+2\alpha \beta }}dy\hfill \\ & \lesssim & t^{\beta }{\int }_{{\mathbb{R}}^n}\frac{\left|f\right(y\left)\right|}{{(1+|y\left|\right)}^{n+2\alpha \beta }}dy.\hfill \end{array}$$

Hence, there exists a constant $C_t$, such that:

$$\begin{array}{ccc}\hfill I_1& \lesssim & {\int \int }_{{\mathbb{R}}^n\times {\mathbb{R}}^n}\frac{\left|f\left(y\right)\right|t^{\beta }}{\left(\right|x-y|+t^{1/2\alpha }{)}^{n+2\alpha \beta }}\frac{dxdy}{{(1+|y\left|\right)}^{n+2\alpha \beta }}\hfill \\ & \lesssim & C_t{\int }_{{\mathbb{R}}^n}\left({\int }_{{\mathbb{R}}^n}\frac{\left|f\right(y\left)\right|}{{\left(\right|y|+1)}^{n+2\alpha \beta }}dy\right)\frac{dx}{{(1+|x\left|\right)}^{n+2\alpha \beta }}<\infty .\hfill \end{array}$$

Notice that

$$\begin{array}{ccc}\hfill {\int }_{{\mathbb{R}}^n}{D}_{\alpha ,t}^{L,\beta }\left(f\right)\left(x\right)\overline{D_{\alpha ,t}^{L,\beta }\left(a\right)\left(x\right)}dx& =& {\int }_{{\mathbb{R}}^n}f\left(x\right)\overline{{\left(D_{\alpha ,t}^{L,\beta }\right)}^2\left(a\right)\left(x\right)}dx\hfill \\ & =& {\int }_{{\mathbb{R}}^n}f\left(x\right)\overline{t^{2\beta }{\partial }_t^{2\beta }{e}^{-2t{L}^{\alpha }}\left(a\right)\left(x\right)}dx,\hfill \end{array}$$

which, together with the Fubini theorem, indicates that:

$$\begin{array}{ccc}\hfill I& =& \underset{ϵ\to 0}{lim}{\int }_{ϵ}^{1/ϵ}\left\{{\int }_{{\mathbb{R}}^n}f\left(y\right)\overline{t^{2\beta }{\partial }_t^{2\beta }{e}^{-2t{L}^{\alpha }}\left(a\right)\left(y\right)}dy\right\}\frac{dt}{t}\hfill \\ & =& \underset{ϵ\to 0}{lim}{\int }_{{\mathbb{R}}^n}f\left(y\right)\left\{{\int }_{ϵ}^{1/ϵ}\overline{t^{2\beta }{\partial }_t^{2\beta }{e}^{-2t{L}^{\alpha }}\left(a\right)\left(y\right)}\frac{dt}{t}\right\}dy.\hfill \end{array}$$

For the term

$${\int }_{ϵ}^{1/ϵ}\overline{t^{2\beta }{\partial }_t^{2\beta }{e}^{-2t{L}^{\alpha }}\left(a\right)\left(y\right)}\frac{dt}{t},$$

we can see that

$$\begin{array}{ccc}\hfill \left|{\int }_{ϵ}^{1/ϵ}{t}^{2\beta }{\partial }_t^{2\beta }{e}^{-2t{L}^{\alpha }}\left(a\right)\left(y\right)\frac{dt}{t}\right|& \le & \left|{\int }_{ϵ}^{\infty }{t}^{2\beta }{\partial }_t^{2\beta }{e}^{-2t{L}^{\alpha }}\left(a\right)\left(y\right)\frac{dt}{t}\right|+\left|{\int }_{1/ϵ}^{\infty }{t}^{2\beta }{\partial }_t^{2\beta }{e}^{-2t{L}^{\alpha }}\left(a\right)\left(y\right)\frac{dt}{t}\right|\hfill \\ & =& \left|{\int }_{{\mathbb{R}}^n}{\int }_{ϵ}^{\infty }{t}^{2\beta }{\partial }_t^{2\beta }{e}^{-2t{L}^{\alpha }}(x,y)\frac{dt}{t}a\left(x\right)dx\right|\hfill \\ & & +\left|{\int }_{{\mathbb{R}}^n}{\int }_{1/ϵ}^{\infty }{t}^{2\beta }{\partial }_t^{2\beta }{e}^{-2t{L}^{\alpha }}(x,y)\frac{dt}{t}a\left(x\right)dx\right|.\hfill \end{array}$$

By the change of variables, we obtain:

$$\begin{array}{ccc}\hfill \left|{\int }_{ϵ}^{\infty }{t}^{2\beta }{\partial }_t^{2\beta }{e}^{-2t{L}^{\alpha }}(x,y)\frac{dt}{t}\right|& =& \left|C_{\beta }{\int }_{ϵ}^{\infty }{t}^{2\beta }{\int }_0^{\infty }{\partial }_t^m{e}^{-(2t+s)L^{\alpha }}(x,y)\frac{ds}{s^{1+2\beta -m}}\frac{dt}{t}\right|\hfill \\ & =& \left|C_{\beta }{\int }_{ϵ}^{\infty }{t}^{2\beta }{\int }_0^{\infty }{L}^{\alpha m}{e}^{-(2t+s)L^{\alpha }}(x,y)\frac{ds}{s^{1+2\beta -m}}\frac{dt}{t}\right|\hfill \\ & \simeq & \left|C_{\beta }{\int }_{2ϵ}^{\infty }{t}^{2\beta }{\int }_0^{\infty }{\partial }_t^m{e}^{-(t+s)L^{\alpha }}(x,y)\frac{ds}{s^{1+2\beta -m}}\frac{dt}{t}\right|\hfill \\ & \simeq & \left|{\int }_{2ϵ}^{\infty }{t}^{2\beta }{\partial }_t^{2\beta }{e}^{-t{L}^{\alpha }}(x,y)\frac{dt}{t}\right|.\hfill \end{array}$$

The rest of the proof is divided into three cases:

Case 1: $2\beta <1$. For this case, $\left[2\beta \right]+1=1$. Then, a change of variables reaches:

$$\begin{array}{ccc}\hfill {\int }_{2ϵ}^{\infty }{t}^{2\beta }{\partial }_t^{2\beta }{e}^{-t{L}^{\alpha }}(x,y)\frac{dt}{t}& =& {\int }_{2ϵ}^{\infty }{t}^{2\beta }{\int }_0^{\infty }{\partial }_t{e}^{-(t+s)L^{\alpha }}(x,y)\frac{ds}{s^{2\beta }}\frac{dt}{t}\hfill \\ & =& {\int }_{2ϵ}^{\infty }{t}^{2\beta }{\int }_t^{\infty }{\partial }_u{e}^{-u{L}^{\alpha }}(x,y)\frac{du}{{(u-t)}^{2\beta }}\frac{dt}{t}\hfill \\ & =& {\int }_{2ϵ}^{\infty }{\partial }_u{e}^{-u{L}^{\alpha }}(x,y)\left({\int }_{2ϵ}^u{\left(\frac{t}{u-t}\right)}^{2\beta }\frac{dt}{t}\right)du\hfill \\ & =& {\int }_{2ϵ}^{\infty }{\partial }_u{e}^{-u{L}^{\alpha }}(x,y)\left({\int }_{2ϵ/u}^1{\left(\frac{w}{1-w}\right)}^{2\beta }\frac{dw}{w}\right)du.\hfill \end{array}$$

Notice that

$$\underset{u\to {\left(2ϵ\right)}^{+}}{lim}{e}^{-2ϵL^{\alpha }}(x,y){\int }_{2ϵ/u}^1{\left(\frac{w}{1-w}\right)}^{2\beta }\frac{dw}{w}=0,$$

and, as $u\to \infty$,

$$|e^{-u{L}^{\alpha }}(x,y)|\le \frac{u}{(u^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}\le \frac{1}{u^{n/2\alpha }}\to 0.$$

An application of integration by parts gives:

$$\begin{array}{ccc}\hfill {\int }_{2ϵ}^{\infty }{t}^{2\beta }{\partial }_t^{2\beta }{e}^{-t{L}^{\alpha }}(x,y)\frac{dt}{t}& =& -{\int }_{2ϵ}^{\infty }{e}^{-u{L}^{\alpha }}(x,y)\frac{\partial }{\partial u}\left({\int }_{2ϵ/u}^1{\left(\frac{w}{1-w}\right)}^{2\beta }\frac{dw}{w}\right)du\hfill \\ & =& -{\int }_{2ϵ}^{\infty }{e}^{-u{L}^{\alpha }}(x,y){\left(\frac{2ϵ}{u-2ϵ}\right)}^{2\beta }\frac{du}{u}\hfill \\ & =& I+II,\hfill \end{array}$$

where

$$\left\{\begin{array}{cc}\hfill I& :=-{\int }_{2ϵ}^{\infty }{e}^{-u{L}^{\alpha }}(x,y){\left(\frac{2ϵ}{u-2ϵ}\right)}^{2\beta }{\chi }_A\left(u\right)\frac{du}{u};\hfill \\ \hfill II& :=-{\int }_{2ϵ}^{\infty }{e}^{-u{L}^{\alpha }}(x,y){\left(\frac{2ϵ}{u-2ϵ}\right)}^{2\beta }{\chi }_{A^c}\left(u\right)\frac{du}{u},\hfill \end{array}\right.$$

and where $A:=\{u:u-2ϵ\le ϵ+|x-y{|}^{2\alpha }\}$. By Proposition 7,

$$\begin{array}{ccc}\hfill \left|I\right|& \lesssim & {\int }_{2ϵ}^{\infty }\frac{u}{(u^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}{\left(1+\frac{u^{1/2\alpha }}{\rho \left(x\right)}+\frac{u^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{\left(\frac{2ϵ}{u-2ϵ}\right)}^{2\beta }{\chi }_A\left(u\right)\frac{du}{u}\hfill \\ & \lesssim & \frac{{ϵ}^{2\beta }}{({ϵ}^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}{\left(1+\frac{{ϵ}^{1/2\alpha }}{\rho \left(x\right)}+\frac{{ϵ}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{\int }_{2ϵ}^{{3ϵ+|x-y|}^{2\alpha }}{(u-2ϵ)}^{-2\beta }du\hfill \\ & \lesssim & \frac{1}{{ϵ}^{n/2\alpha }}\frac{1}{(1+|x-y|/{ϵ}^{1/2\alpha }{)}^{n+4\alpha \beta }}{\left(1+\frac{{ϵ}^{1/2\alpha }}{\rho \left(x\right)}+\frac{{ϵ}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.\hfill \end{array}$$

For $II$,

$$\begin{array}{ccc}\hfill \left|II\right|& \lesssim & {\int }_{2ϵ}^{\infty }\frac{u}{(u^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}{\left(1+\frac{{ϵ}^{1/2\alpha }}{\rho \left(x\right)}+\frac{{ϵ}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{\left(\frac{2ϵ}{u-2ϵ}\right)}^{2\beta }{\chi }_{A^c}\left(u\right)\frac{du}{u}\hfill \\ & \lesssim & {\int }_{{3ϵ+|x-y|}^{2\alpha }}^{\infty }\frac{u}{(u^{1/2\alpha }{+|x-y|)}^{n+2\alpha }}{\left(1+\frac{{ϵ}^{1/2\alpha }}{\rho \left(x\right)}+\frac{{ϵ}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{\left(\frac{2ϵ}{{ϵ+|x-y|}^{2\alpha }}\right)}^{2\beta }\frac{du}{u}\hfill \\ & \lesssim & {\left(\frac{2ϵ}{{ϵ+|x-y|}^{2\alpha }}\right)}^{2\beta }{\left(1+\frac{{ϵ}^{1/2\alpha }}{\rho \left(x\right)}+\frac{{ϵ}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{\int }_{{3ϵ+|x-y|}^{2\alpha }}^{\infty }(u^{1/2\alpha }{+|x-y|)}^{-n-2\alpha }du\hfill \\ & \lesssim & \frac{1}{{ϵ}^{n/2\alpha }}\frac{1}{(1+|x-y|/{ϵ}^{1/2\alpha }{)}^{n+4\alpha \beta }}{\left(1+\frac{{ϵ}^{1/2\alpha }}{\rho \left(x\right)}+\frac{{ϵ}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.\hfill \end{array}$$

Case 2: $2\beta =1$. A direct computation gives:

$$\begin{array}{ccc}\hfill \left|{\int }_{2ϵ}^{\infty }t{\partial }_t{e}^{-t{L}^{\alpha }}(x,y)\frac{dt}{t}\right|& \lesssim & |e^{-2ϵL^{\alpha }}(x,y)|\hfill \\ & \lesssim & \frac{1}{{ϵ}^{n/2\alpha }}\frac{1}{{(1+|x-y|/{ϵ}^{1/2\alpha })}^{n+2\alpha }}{\left(1+\frac{{ϵ}^{1/2\alpha }}{\rho \left(x\right)}+\frac{{ϵ}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.\hfill \end{array}$$

Case 3: $2\beta >1$. Let $k\in {\mathbb{Z}}_{+}$, such that $k-1<2\beta \le k$, $k\ge 2$. We obtain:

$$\begin{array}{ccc}\hfill M& =& {\int }_{2ϵ}^{\infty }{t}^{2\beta }{\partial }_t^{2\beta }{e}^{-t{L}^{\alpha }}(x,y)\frac{dt}{t}\hfill \\ & =& {\int }_{2ϵ}^{\infty }{t}^{2\beta }\left({\int }_0^{\infty }{\partial }_t^k{e}^{-(t+s)L^{\alpha }}(x,y)\frac{ds}{s^{1+2\beta -k}}\right)\frac{dt}{t}\hfill \\ & =& {\int }_{2ϵ}^{\infty }{t}^{2\beta }{L}^{\alpha k}\left({\int }_0^{\infty }{e}^{-(t+s)L^{\alpha }}(x,y)\frac{ds}{s^{1+2\beta -k}}\right)\frac{dt}{t}\hfill \\ & =& {\int }_{2ϵ}^{\infty }{t}^{2\beta }\left({\int }_t^{\infty }{L}^{\alpha k}{e}^{-u{L}^{\alpha }}(x,y)\frac{du}{{(u-t)}^{1+2\beta -k}}\right)\frac{dt}{t}\hfill \\ & =& {\int }_{2ϵ}^{\infty }{t}^{2\beta }\left({\int }_t^{\infty }{\partial }_u^k{e}^{-u{L}^{\alpha }}(x,y)\frac{du}{{(u-t)}^{1+2\beta -k}}\right)\frac{dt}{t}\hfill \\ & =& {\int }_{2ϵ}^{\infty }{\partial }_u^k{e}^{-u{L}^{\alpha }}(x,y)\left({\int }_{2ϵ}^u{t}^{2\beta }{(u-t)}^{k-2\beta -1}\frac{dt}{t}\right)du\hfill \\ & =& {\int }_{2ϵ}^{\infty }{u}^{k-1}{\partial }_u^k{e}^{-u{L}^{\alpha }}(x,y)\left({\int }_{2ϵ/u}^1{w}^{2\beta }{(1-w)}^{k-2\beta -1}\frac{dw}{w}\right)du,\hfill \end{array}$$

where, in the last step, we have used the change of variables: $w=t/u$. Notice that

$$\begin{array}{ccc}\hfill u^{k-1}{\partial }_u^k{e}^{-u{L}^{\alpha }}(x,y)& =& {\partial }_u\left(u^{k-1}{\partial }_u^{k-1}{e}^{-u{L}^{\alpha }}(x,y)\right)-(k-1){\partial }_u\left(u^{k-2}{\partial }_u^{k-2}{e}^{-u{L}^{\alpha }}(x,y)\right)\hfill \\ & & +\cdots +{(-1)}^{k-1}(k-1)!{\partial }_u{e}^{-u{L}^{\alpha }}(x,y).\hfill \end{array}$$

Then, the integration by parts yields $M={\sum }_{m=1}^{k-1}{C}_m{I}_m$, where $C_m={(-1)}^{m-1}(k-1)!/(k-m+1)!$ and

$$I_m:={\int }_{2ϵ}^{\infty }{u}^m{\partial }_u^m{e}^{-u{L}^{\alpha }}(x,y)\frac{{\left(2ϵ\right)}^{2\beta }{u}^{1-k}}{{(u-2ϵ)}^{1+2\beta -k}}\frac{du}{u}.$$

We obtain:

$$\begin{array}{c}\hfill |I_m|\lesssim {\int }_{2ϵ}^{\infty }\frac{u^m}{(u^{1/2\alpha }{+|x-y|)}^{n+2\alpha m}}{\left(1+\frac{u^{1/2\alpha }}{\rho \left(x\right)}+\frac{u^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}\frac{{\left(2ϵ\right)}^{2\beta }{u}^{1-k}}{{(u-2ϵ)}^{1+2\beta -k}}\frac{du}{u}\lesssim I_m^{\left(1\right)}+I_m^{\left(2\right)},\end{array}$$

where

$$\left\{\begin{array}{ccc}\hfill I_m^{\left(1\right)}& :=\hfill & \hfill \frac{{ϵ}^{2\beta }}{({ϵ}^{1/2\alpha }{+|x-y|)}^{n+2\alpha m}}{\left(1+\frac{{ϵ}^{1/2\alpha }}{\rho \left(x\right)}+\frac{{ϵ}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{\int }_{2ϵ}^{3ϵ}\frac{1}{{(u-2ϵ)}^{1+2\beta -k}}\frac{du}{u^{k-m}};\\ \hfill I_m^{\left(2\right)}& :=\hfill & \hfill \frac{{ϵ}^{2\beta }}{({ϵ}^{1/2\alpha }{+|x-y|)}^{n+2\alpha m}}{\left(1+\frac{{ϵ}^{1/2\alpha }}{\rho \left(x\right)}+\frac{{ϵ}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{\int }_{3ϵ}^{\infty }\frac{1}{{(u-2ϵ)}^{1+2\beta -k}}\frac{du}{u^{k-m}}.\end{array}\right.$$

For $I_m^{\left(1\right)}$, since $2ϵ<u<3ϵ$, we obtain:

$$\begin{array}{ccc}\hfill I_m^{\left(1\right)}& \lesssim & \frac{{ϵ}^{2\beta }}{({ϵ}^{1/2\alpha }{+|x-y|)}^{n+2\alpha m}}{\left(1+\frac{{ϵ}^{1/2\alpha }}{\rho \left(x\right)}+\frac{{ϵ}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}\frac{1}{{ϵ}^{k-m}}{\int }_{2ϵ}^{3ϵ}\frac{du}{{(u-2ϵ)}^{1+2\beta -k}}\hfill \\ & \lesssim & \frac{{ϵ}^{2\beta }}{({ϵ}^{1/2\alpha }{+|x-y|)}^{n+2\alpha m}}{\left(1+\frac{{ϵ}^{1/2\alpha }}{\rho \left(x\right)}+\frac{{ϵ}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}\frac{1}{{ϵ}^{k-m}}{ϵ}^{k-2\beta }\hfill \\ & \lesssim & \frac{1}{{ϵ}^{n/2\alpha }}\frac{1}{(1+|x-y|/{ϵ}^{1/2\alpha }{)}^{n+2\alpha m}}{\left(1+\frac{{ϵ}^{1/2\alpha }}{\rho \left(x\right)}+\frac{{ϵ}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.\hfill \end{array}$$

Similarly, for $I_m^{\left(2\right)}$, because $u\in (3ϵ,\infty )$, then $1/u\lesssim 1/(u-2ϵ)$. Noticing that $m<2\beta$, we obtain:

$$\begin{array}{ccc}\hfill I_m^{\left(2\right)}& \lesssim & \frac{{ϵ}^{2\beta }}{({ϵ}^{1/2\alpha }{+|x-y|)}^{n+2\alpha m}}{\left(1+\frac{{ϵ}^{1/2\alpha }}{\rho \left(x\right)}+\frac{{ϵ}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{\int }_{3ϵ}^{\infty }\frac{du}{{(u-2ϵ)}^{1+2\beta -m}}\hfill \\ & \lesssim & \frac{{ϵ}^{2\beta }}{({ϵ}^{1/2\alpha }{+|x-y|)}^{n+2\alpha m}}{\left(1+\frac{{ϵ}^{1/2\alpha }}{\rho \left(x\right)}+\frac{{ϵ}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}{ϵ}^{m-2\beta }\hfill \\ & \lesssim & \frac{1}{{ϵ}^{n/2\alpha }}\frac{1}{(1+|x-y|/{ϵ}^{1/2\alpha }{)}^{n+2\alpha m}}{\left(1+\frac{{ϵ}^{1/2\alpha }}{\rho \left(x\right)}+\frac{{ϵ}^{1/2\alpha }}{\rho \left(y\right)}\right)}^{-N}.\hfill \end{array}$$

By Lemma 15, the above estimates in Cases 1–3 indciate that:

$$\underset{ϵ>0}{sup}\left|{\int }_{ϵ}^{1/ϵ}{t}^{2\beta }{\partial }_t^{2\beta }{e}^{-2t{L}^{\alpha }}\left(a\right)\left(y\right)\frac{dt}{t}\right|\lesssim {(1+|y\left|\right)}^{-(n+\gamma +ϵ)},$$

where

$$ϵ=\left\{\begin{array}{cc}\hfill 4\alpha \beta -\gamma ,& 2\beta <1;\hfill \\ \hfill 2\alpha -\gamma ,& 2\beta =1;\hfill \\ \hfill 2\alpha m-\gamma ,& 2\beta >1.\hfill \end{array}\right.$$

Therefore, we can use Lemma 12 to complete the proof. □

Finally, we can obtain the following characterization of $BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$ corresponding to the time-fractional derivative:

Theorem 3. 

Let $V\in B_q,q>n/2$. Assume that $\alpha \in (0,1)$, $\beta >0$, and $0<\gamma <min\{1,2\alpha ,2\beta \alpha \}.$ Let f be a function, such that:

$${\int }_{{\mathbb{R}}^n}\frac{\left|f\right(x\left)\right|}{{(1+|x\left|\right)}^{n+\gamma +ϵ}}dx<\infty$$

(39)

for some $ϵ>0$. The following statements are equivalent:

(i)

$f\in BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$;

(ii)

There exists $C_{\alpha ,\beta }$, such that $\parallel D_{\alpha ,t}^{L,\beta }{\left(f\right)\parallel }_{\infty }\le C_{\alpha ,\beta }{t}^{\gamma /2\alpha }$;

(iii)

For all $B=B(x_B,r_B)\subset {\mathbb{R}}^n$,

$${\left(\frac{1}{\left|B\right|}{\int }_0^{r_B^{2\alpha }}{\int }_B{\left|D_{\alpha ,t}^{L,\beta }\left(f\right)\left(x\right)\right|}^2\frac{dxdt}{t}\right)}^{1/2}\lesssim {\left|B\right|}^{\gamma /n}.$$

(40)

Proof. 

(i)⟹(ii). If $f\in BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$, then $|t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}f\left(x\right)|\lesssim I+II$, where:

$$\left\{\begin{array}{cc}& I:=\left|{\int }_{{\mathbb{R}}^n}{D}_{\alpha ,t}^{L,\beta }(x,y)(f\left(y\right)-f\left(x\right))dy\right|;\hfill \\ & II:=\left|f\left(x\right){\int }_{{\mathbb{R}}^n}{D}_{\alpha ,t}^{L,\beta }(x,y)dy\right|.\hfill \end{array}\right.$$

For I, we have:

$$\begin{array}{ccc}\hfill I& \lesssim & {\parallel f\parallel }_{BM{O}_L^{\gamma }}{\int }_{{\mathbb{R}}^n}\frac{t^{\beta }{|x-y|}^{\gamma }}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha \beta }}dy\lesssim t^{\gamma /2\alpha }{\parallel f\parallel }_{BM{O}_L^{\gamma }}.\hfill \end{array}$$

We further divide the estimation of $II$ into the following two cases:

Case 1: $\rho \left(x\right)\le t^{1/2\alpha }$. By Proposition 14,

$$\begin{array}{ccc}\hfill II& \lesssim & {\parallel f\parallel }_{BM{O}_L^{\gamma }}\rho {\left(x\right)}^{\gamma }\left|{\int }_{{\mathbb{R}}^n}{D}_{\alpha ,t}^{L,\beta }(x,y)dy\right|\hfill \\ & \lesssim & {\parallel f\parallel }_{BM{O}_L^{\gamma }}{t}^{\gamma /2\alpha }{\int }_{{\mathbb{R}}^n}\frac{t^{\beta }}{(t^{1/2\alpha }{+|x-y|)}^{n+2\alpha \beta }}dy\hfill \\ & \lesssim & {\parallel f\parallel }_{BM{O}_L^{\gamma }}{t}^{\gamma /2\alpha }.\hfill \end{array}$$

Case 2: $\rho \left(x\right)>t^{1/2\alpha }$. We use Proposition 16 to obtain that there exists ${\delta }^{\prime }>\gamma$, such that:

$$\begin{array}{ccc}\hfill II& \lesssim & {\parallel f\parallel }_{BM{O}_L^{\gamma }}\rho {\left(x\right)}^{\gamma }\left|{\int }_{{\mathbb{R}}^n}{D}_{\alpha ,t}^{L,\beta }(x,y)dy\right|\hfill \\ & \lesssim & {\parallel f\parallel }_{BM{O}_L^{\gamma }}\rho {\left(x\right)}^{\gamma }\frac{{(t^{1/2\alpha }/\rho \left(x\right))}^{{\delta }^{\prime }}}{{(1+t^{1/2\alpha }/\rho \left(x\right))}^N}\hfill \\ & \lesssim & {\parallel f\parallel }_{BM{O}_L^{\gamma }}{t}^{\gamma /2\alpha }\frac{{(t^{1/2\alpha }/\rho \left(x\right))}^{{\delta }^{\prime }-\gamma }}{{(1+t^{1/2\alpha }/\rho \left(x\right))}^N}\hfill \\ & \lesssim & {\parallel f\parallel }_{BM{O}_L^{\gamma }}{t}^{\gamma /2\alpha }.\hfill \end{array}$$

(ii)⟹(iii). Assume that (ii) holds. Then,

$$\begin{array}{c}\hfill {\left(\frac{1}{\left|B\right|}{\int }_0^{r_B^{2\alpha }}{\int }_B{\left|D_{\alpha ,t}^{L,\beta }\left(f\right)\left(x\right)\right|}^2\frac{dxdt}{t}\right)}^{1/2}\lesssim {\left(\frac{1}{\left|B\right|}{\int }_0^{r_B^{2\alpha }}{\int }_B{t}^{\gamma /\alpha }\frac{dxdt}{t}\right)}^{1/2}\lesssim {\left|B\right|}^{\gamma /n}.\end{array}$$

(iii)⟹(i). Assume that (40) holds. Let a be an $H_L^{n/(n+\gamma )}$-atom associated with $B=B(x_B,r_B)$. Then, by Lemma 16,

$${\int }_{{\mathbb{R}}^n}f\left(x\right)\overline{a\left(x\right)}dx\simeq {\int \int }_{{\mathbb{R}}_{+}^{n+1}}{t}^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\left(f\right)\left(x\right)\overline{t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\left(a\right)\left(x\right)}\frac{dt}{t},$$

which, together with (34) and Theorem 2, gives:

$$\begin{array}{ccc}\hfill \left|{\int }_{{\mathbb{R}}^n}f\left(x\right)\overline{a\left(x\right)}dx\right|& \lesssim & \underset{B}{sup}{\left(\frac{1}{{\left|B\right|}^{1+2\gamma /n}}{\int }_0^{r_B^{2\alpha }}{\int }_B{\left|t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\left(f\right)\left(x\right)\right|}^2\frac{dxdt}{t}\right)}^{1/2}\hfill \\ & & \times {\left\{{\int }_{{\mathbb{R}}^n}{\left({\int \int }_{|x-y|<s^{1/2\alpha }}{\left|t^{\beta }{\partial }^{\beta }{e}^{-t{L}^{\alpha }}\left(a\right)\left(y\right)\right|}^2\frac{t^{1/2\alpha -1}dyds}{t^{(n+1)/2\alpha }}\right)}^{n/2(n+\gamma )}dx\right\}}^{1+\gamma /n}\hfill \\ & \lesssim & \parallel S_{\alpha ,\beta }^L{\left(a\right)\parallel }_{L^{n/(n+\gamma )}}\underset{B}{sup}{\left(\frac{1}{{\left|B\right|}^{1+2\gamma /n}}{\int }_0^{r_B^{2\alpha }}{\int }_B{\left|t^{\beta }{\partial }_t^{\beta }{e}^{-t{L}^{\alpha }}\left(f\right)\left(x\right)\right|}^2\frac{dxdt}{t}\right)}^{1/2}\hfill \\ & \lesssim & {\parallel a\parallel }_{H_L^{n/(n+\gamma )}}.\hfill \end{array}$$

Hence,

$$T\left(g\right):={\int }_{{\mathbb{R}}^n}f\left(x\right)\overline{g\left(x\right)}dx,g\in H_L^{n/(n+\gamma )}\left({\mathbb{R}}^n\right),$$

is a bounded linear functional on $H_L^{n/(n+\gamma )}\left({\mathbb{R}}^n\right)$; equivalently, $f\in {\left(H_L^{n/(n+\gamma )}\left({\mathbb{R}}^n\right)\right)}^{*}=BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$. □

Below, we consider the characterization of $BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$ via the the spatial gradient. Define a general gradient as ${\nabla }_{\alpha }:=({\nabla }_x,{\partial }_t^{1/2\alpha })$.

Theorem 4. 

Let $V\in B_q,q>n$. Assume that $\alpha \in (0,1/2-n/2q)$, $\beta >0$, and $0<\gamma <min\{1,2\alpha ,2\alpha \beta \}.$ Let f be a function satisfying (39). The following statements are equivalent:

(i)

$f\in BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$;

(ii)

There exists a constant $C>0$, such that:

$$\parallel t^{1/2\alpha }{\nabla }_{\alpha }{e}^{-t{L}^{\alpha }}{f\parallel }_{\infty }\le C{t}^{\gamma /2\alpha };$$

(iii)

$u(x,t)=e^{-t{L}^{\alpha }}f\left(x\right)$ satisfies that, for any balls $B=B(x_B,r_B),$

$$\frac{1}{{\left|B\right|}^{1+2\gamma /n}}{\int }_0^{r_B^{2\alpha }}{\int }_B{\left|t^{1/2\alpha }{\nabla }_{\alpha }{e}^{-t{L}^{\alpha }}\left(f\right)\left(x\right)\right|}^2\frac{dxdt}{t}\le C.$$

(41)

Proof. 

(i) ⟹ (ii). Let $f\in BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$. By Theorem 3, $\parallel t^{1/2\alpha }{\partial }_t^{1/2\alpha }{e}^{-t{L}^{\alpha }}{\left(f\right)\parallel }_{\infty }\le C_{\alpha ,\beta }{t}^{\gamma /2\alpha }.$ One writes:

$$\begin{array}{ccc}\hfill t^{1/2\alpha }{\nabla }_x{e}^{-t{L}^{\alpha }}f\left(x\right)& =& {\int }_{{\mathbb{R}}^n}{t}^{1/2\alpha }{\nabla }_x{K}_{\alpha ,t}^L(x,z)\left(f\left(z\right)-f\left(x\right)\right)dz+f\left(x\right)t^{1/2\alpha }{\nabla }_x{e}^{-t{L}^{\alpha }}\left(1\right)\left(x\right)\hfill \\ & :=& I\left(x\right)+II\left(x\right).\hfill \end{array}$$

We first estimate the term I. Because $f\in BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$, then $|f\left(x\right)-f\left(z\right)|\le {\parallel f\parallel }_{BM{O}_L^{\gamma }}{|x-z|}^{\gamma }.$ Since

$$|t^{1/2\alpha }{\nabla }_x{K}_{\alpha ,t}^L(x,z)|\lesssim \frac{t}{(t^{1/2\alpha }{+|x-z|)}^{n+2\alpha }},$$

and a direct computation gives:

$$\begin{array}{ccc}\hfill \left|I\right(x\left)\right|& \lesssim & {\parallel f\parallel }_{BM{O}_L^{\gamma }}{\int }_{{\mathbb{R}}^n}|t^{1/2\alpha }{\nabla }_x{K}_{\alpha ,t}^L{(x,z)|·|x-z|}^{\gamma }dz\hfill \\ & \lesssim & {\parallel f\parallel }_{BM{O}_L^{\gamma }}{\int }_{{\mathbb{R}}^n}\frac{{t|x-z|}^{\gamma }}{(t^{1/2\alpha }{+|x-z|)}^{n+2\alpha }}dz\hfill \\ & \lesssim & t^{\gamma /2\alpha }{\parallel f\parallel }_{BM{O}_L^{\gamma }}.\hfill \end{array}$$

By Proposition 13, we have:

$$|t^{1/2\alpha }{\nabla }_x{e}^{-t{L}^{\alpha }}\left(1\right)|\lesssim min\left\{{(t^{1/2\alpha }/\rho \left(x\right))}^{1+2\alpha },{(t^{1/2\alpha }/\rho \left(x\right))}^{-N}\right\}.$$

The estimate of $II$ is divided into two cases:

Case 1: $\rho \left(x\right)\le t^{1/2\alpha }$. $f\in BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$ implies that $\left|f\left(x\right)\right|\lesssim {\rho }^{\gamma }\left(x\right){\parallel f\parallel }_{BM{O}_L^{\gamma }}$. Then,

$$\begin{array}{ccc}\hfill II\left(x\right)& \lesssim & {\parallel f\parallel }_{BM{O}_L^{\gamma }}{\rho }^{\gamma }\left(x\right)\left|t^{1/2\alpha }{\nabla }_x{e}^{-t{L}^{\alpha }}\left(1\right)\left(x\right)\right|\hfill \\ & \lesssim & {\parallel f\parallel }_{BM{O}_L^{\gamma }}{\rho }^{\gamma }\left(x\right){\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N}\hfill \\ & \lesssim & {\parallel f\parallel }_{BM{O}_L^{\gamma }}{t}^{\gamma /2\alpha }{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{-N-\gamma }\hfill \\ & \lesssim & t^{\gamma /2\alpha }{\parallel f\parallel }_{BM{O}_L^{\gamma }}.\hfill \end{array}$$

Case 2: $\rho \left(x\right)>t^{1/2\alpha }$. We can obtain:

$$\begin{array}{ccc}\hfill II\left(x\right)& \lesssim & {\rho }^{\gamma }{\left(x\right)\parallel f\parallel }_{BM{O}_L^{\gamma }}\left|t^{1/2\alpha }{\nabla }_x{e}^{-t{L}^{\alpha }}\left(1\right)\left(x\right)\right|\hfill \\ & \lesssim & {\rho }^{\gamma }\left(x\right){\parallel f\parallel }_{BM{O}_L^{\gamma }}{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{1+2\alpha }\hfill \\ & \lesssim & t^{\gamma /2\alpha }{\parallel f\parallel }_{BM{O}_L^{\gamma }}{\left(\frac{t^{1/2\alpha }}{\rho \left(x\right)}\right)}^{1+2\alpha -\gamma }\hfill \\ & \lesssim & t^{\gamma /2\alpha }{\parallel f\parallel }_{BM{O}_L^{\gamma }}.\hfill \end{array}$$

(ii)⟹(iii). For every ball $B=B(x_B,r_B)$,

$$\begin{array}{ccc}\hfill {\int }_0^{r_B^{2\alpha }}{\int }_B|t^{1/2\alpha }{\nabla }_{\alpha }{e}^{-t{L}^{\alpha }}f\left(x\right){|}^2\frac{dxdt}{t}& \lesssim & {\int }_0^{r_B^{2\alpha }}{\int }_B{t}^{\gamma /\alpha }\frac{dxdt}{t}\lesssim r_B^{n+2\gamma },\hfill \end{array}$$

which implies that (41) holds.

(iii)⟹(i). Assume that (41) holds. For any ball $B=B(x_B,r_B)$, it holds that:

$$\underset{B}{sup}{r}_B^{-(n+2\gamma )}{\int }_0^{r_B^{2\alpha }}{\int }_{B(x_B,r_B)}{\left|t^{1/2\alpha }{\partial }_t^{1/2\alpha }{e}^{-t{L}^{\alpha }}\left(f\right)\left(x\right)\right|}^2\frac{dxdt}{t}<\infty .$$

It is a corollary of Theorem 3 that $f\in BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$ with

$${\parallel f\parallel }_{BM{O}_L^{\gamma }}\lesssim \underset{B}{sup}{r}_B^{-(n+2\gamma )}{\int }_0^{r_B^{2\alpha }}{\int }_{B(x_B,r_B)}{\left|t^{1/2\alpha }{\partial }_t^{1/2\alpha }{e}^{-t{L}^{\alpha }}\left(f\right)\left(x\right)\right|}^2\frac{dxdt}{t}<\infty .$$

□

A positive measure $\nu$ on ${\mathbb{R}}_{+}^{n+1}$ is called a $\kappa$-Carleson measure if

$${\parallel \nu \parallel }_{\mathcal{C}}:=\underset{x\in {\mathbb{R}}^n,r>0}{sup}\frac{\nu \left(B\right(x,r)\times (0,r\left)\right)}{{\left|B(x,r)\right|}^{\kappa }}<\infty .$$

The following result can be deduced from Theorem 4 immediately:

Theorem 5. 

Let $V\in B_q,q>n$. Assume that $\alpha \in (0,1/2-n/2q)$, $\beta >0$, and $0<\gamma \le 1$, with

$$0<\gamma <min\{2\alpha ,2\alpha \beta \}.$$

Let $d{\nu }_{\alpha }$ be a measure defined by:

$$d{\nu }_{\alpha }(x,t):={|t\nabla e^{-t^{2\alpha }{L}^{\alpha }}\left(f\right)\left(x\right)|}^{2}dxdt/t,(x,t)\in {\mathbb{R}}_{+}^{n+1}.$$

(i)

If $f\in BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$, then $d{\nu }_{\alpha }$ is a $(1+2\gamma /n)$-Carleson measure;

(ii)

Conversely, if $f\in L^1\left(\right(1+{\left|x\right|)}^{-n-1}dx)$ and $d{\nu }_{\alpha }$ is a $(1+2\gamma /n)$-Carleson measure, then $f\in BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$.

Moreover, in any case, there exists a constant $C>0$, such that:

$$C^{-1}{\parallel f\parallel }_{BM{O}_L^{\gamma }}^2\le \parallel d{\nu }_{\alpha }{\parallel }_{\mathcal{C}}\le C{\parallel f\parallel }_{BM{O}_L^{\gamma }}^2.$$

Proof. 

(i). In Theorem 3, letting $\beta =1$, we obtain for $f\in BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$,

$$\frac{1}{{\left|B\right|}^{1+2\gamma /n}}{\int }_0^{r_B^{2\alpha }}{\int }_B|t{\partial }_t{e}^{-t{L}^{\alpha }}{\left(f\right)\left(x\right)|}^2\frac{dxdt}{t}\lesssim {\parallel f\parallel }_{BM{O}_L^{\gamma }}^2,$$

which, together with a change of variable, gives:

$$\begin{array}{ccc}\hfill \frac{1}{{\left|B\right|}^{1+2\gamma /n}}{\int }_0^{r_B}{\int }_B{\left|t{\partial }_t{e}^{-t^{2\alpha }{L}^{\alpha }}\left(f\right)\left(x\right)\right|}^2\frac{dxdt}{t}& =& \frac{1}{{\left|B\right|}^{1+2\gamma /n}}{\int }_0^{r_B}{\int }_B{\left|t^{2\alpha }{L}^{\alpha }{e}^{-t^{2\alpha }{L}^{\alpha }}\left(f\right)\left(x\right)\right|}^2\frac{dxdt}{t}\hfill \\ & =& \frac{1}{{\left|B\right|}^{1+2\gamma /n}}{\int }_0^{r_B^{2\alpha }}{\int }_B{\left|t{\partial }_t{e}^{-t{L}^{\alpha }}\left(f\right)\left(x\right)\right|}^2\frac{dxdt}{t}\hfill \\ & \lesssim & {\parallel f\parallel }_{BM{O}_L^{\gamma }}^2.\hfill \end{array}$$

The estimation

$$\frac{1}{{\left|B\right|}^{1+2\gamma /n}}{\int }_0^{r_B}{\int }_B|t{\nabla }_x{e}^{-t^{2\alpha }{L}^{\alpha }}{f\left(x\right)|}^2\frac{dxdt}{t}\lesssim {\parallel f\parallel }_{BM{O}_L^{\gamma }}^2$$

can be obtained in the manner of Theorem 3.

(ii). Assume that $d{\nu }_{\alpha }$ is a $(1+2\gamma /n)$-Carleson measure, i.e.,

$$\underset{B}{sup}\frac{1}{{\left|B\right|}^{1+2\gamma /n}}{\int }_0^{r_B}{\int }_B{|t\nabla e^{-t^{2\alpha }{L}^{\alpha }}\left(f\right)\left(x\right)|}^2\frac{dxdt}{t}<\infty .$$

Subsequently,

$$\underset{B}{sup}\frac{1}{{\left|B\right|}^{1+2\gamma /n}}{\int }_0^{r_B}{\int }_B{\left|t{\partial }_t{e}^{-t^{2\alpha }{L}^{\alpha }}\left(f\right)\left(x\right)\right|}^2\frac{dxdt}{t}<\infty .$$

It can be deduced from Theorem 4 that $f\in BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$. □

5. Conclusions

In this paper, with the aid of the fundamental solution of the heat equation associated with the Schrödinger operators, we estimate the gradient and the time-fractional derivatives of the fractional heat kernel $K_{\alpha ,t}^L(·,·)$, respectively. Finally, as an application, we establish a Carleson measure characterization of the Campanato-type space $BM{O}_L^{\gamma }\left({\mathbb{R}}^n\right)$ via the fractional heat semigroup ${\left\{e^{-t{L}^{\alpha }}\right\}}_{t>0}$.