Skip to main content

Theory and Modern Applications

Some properties of the solution to fractional heat equation with a fractional Brownian noise

Abstract

In this paper, we consider the stochastic heat equation of the form

$$\frac{\partial u}{\partial t}=\Delta_{\alpha}u+\frac{\partial ^{2}B}{\partial t\,\partial x}, $$

where \(\frac{\partial^{2}B}{\partial t\,\partial x}\) is a fractional Brownian sheet with Hurst indices \(H_{1},H_{2}\in(\frac{1}{2},1)\) and \(\Delta _{\alpha}=-(-\Delta)^{\alpha/2}\) is a fractional Laplacian operator with \(1<\alpha\leq2\). In particular, when \(H_{2}=\frac{1}{2}\) we show that the temporal process \(\{u(t,\cdot),0\leq t\leq T\}\) admits a nontrivial p-variation with \(p=\frac{2\alpha}{2\alpha H_{1}-1}\) and study its local nondeterminism and existence of the local time.

1 Introduction

The stochastic calculus of Gaussian processes is not only an important research direction in stochastic analysis, but also an important instrument. Many important Gaussian processes such as fractional Brownian motion, sub-fractional Brownian motion, bi-fractional Brownian motion and weighted-fractional Brownian motion have be studied. Some surveys and a complete list of literature for fBm could be found in Alós et al. [1], Nualart [2] and the references therein. On the other hand, stochastic heat equations driven by Gaussian noises are a recent research direction in probability theory and stochastic analysis, and many interesting studies have been given. We mention the works of Bo et al. [3], Chen et al. [4], Duncan et al. [5], Hajipour and Malek [6], M Hu et al. [7], Y Hu [8–10], Jiang et al. [11], Liu and Yan [12], Nualart and Ouknine [13], Tindel et al. [14], Walsh [15], Yang and Baleanu [16] and the references therein. Moreover, the solutions of linear stochastic heat equations with additive Gaussian noises are some Gaussian fields. Such a stochastic heat equation on \({\mathbb {R}}\) can be written as

$$ \textstyle\begin{cases} \frac{\partial}{\partial t}u(t,x)={\mathcal {L}}u+\frac{\partial ^{2}}{\partial t\,\partial x}B(t,x),\quad t\in[0,T], x\in{\mathbb {R}},\\ u(0,x)=0, \quad x\in{\mathbb {R}}, \end{cases} $$
(1.1)

where \({\mathcal {L}}\) is a quasi-differential operator and B is a two-parameter Gaussian field. Therefore, it seems interesting to study the properties and calculus for the solutions of equation (1.1) as some special Gaussian process.

When \({\mathcal {L}}=\Delta\) and B is a white noise, the solution of (1.1) satisfies

$$Eu(t,x)u(s,x)=\frac{1}{\sqrt{2\pi}} \bigl(\sqrt{s+t}-\sqrt{ \vert t-s \vert } \bigr) $$

for all \(s,t\in[0,T]\) and \(x\in{\mathbb {R}}\). In this case, the temporal process \(\{u(t,\cdot),t\in[0,T]\}\) is a bi-fractional Brownian motion, and it admits a nontrivial quartic variation. More works can be found in Mueller and Tribe [17], Pospisil and Tribe [18], Sun and Yan [19], Swanson [20] and the references therein. When \({\mathcal {L}}=\Delta\) and B is a fractional noise with Hurst index \(\frac{1}{2}< H<1\), the solution of (1.1) satisfies

$$Eu(t,x)u(s,x)=\frac{H(2H-1)}{2\sqrt{2\pi}} \int_{0}^{t} \int _{0}^{s} \vert u-v \vert ^{2H-2} (s+t-u-v )^{-\frac{1}{2}}\,du\,dv $$

for all \(s,t\in[0,T]\) and \(x\in{\mathbb {R}}\), which shows that the temporal process \(\{u(t,\cdot),t\in[0,T]\}\) is a self-similar Gaussian process with the index \(H-\frac{1}{4}\). Moreover, Ouahhabi and Tudor [21] studied the local nondeterminism and joint continuity of its local times of the solution to (1.1). When \({\mathcal {L}}=\Delta\) and B is a fractional noise in time with correlated spatial structure, Tudor and Xiao [22] studied various path properties of the solution process u with respect to the time and space variable. When \({\mathcal {L}}=-(-\Delta )^{\frac{\alpha}{2}}\) and B is a white noise, Cui et al. [23] and Wu [24] studied some properties and stochastic calculus of the solution of (1.1).

Motivated by the above results, in this paper we consider also equation (1.1) when \({\mathcal {L}}=-(-\Delta)^{\frac{\alpha}{2}}\) and W is a fractional Brownian sheet with Hurst indices \(H_{1},H_{2}\in(\frac{1}{2},1)\). Our main objectives are to introduce the local nondeterminism, existence of the local time and p-variation of the solution. In Section 2, we give some basic notations on the fractional Laplacian operator \(\Delta_{\alpha}=-(-\Delta)^{\frac{\alpha}{2}}\) and the fractional Brownian sheet. In Section 3 we consider the time regularity of solution \(u(t, x)\) to (1.1) with \({\mathcal {L}}=-(-\Delta)^{\frac{\alpha}{2}}\) and a fractional Brownian sheet B. In particular, when \(H_{2}=\frac{1}{2}\) we show that the temporal process \(\{u(t,\cdot),t\in[0,T]\}\) of the solution satisfies

$$C_{1} \vert t-s \vert ^{2H_{1}-\frac{1}{\alpha}}\leq {E} \bigl\vert u(s,x)-u(t,x) \bigr\vert ^{2}\leq C_{2} \vert t-s \vert ^{2H_{1}-\frac{1}{\alpha}} $$

for any \(t, s\in[0, T], x\in\mathbb{R}\). As a corollary, we see that the temporal process \(\{u(t,\cdot),t\in[0,T]\}\) is nontrivial p-variation with \(p=\frac{2\alpha}{2\alpha H_{1}-1}\). The existence of the local nondeterminism and the local times of the solution will be discussed in Section 4, respectively.

2 Preliminaries

In this section, we briefly recall some basic results for the Green function of the operator \(\Delta_{\alpha}=-(-\Delta)^{\alpha/2}\) and fractional Brownian sheet. We refer to Chen and Kumagai [25], Russo and Tudor [26] and the references therein for more details. Throughout this paper, for simplicity we let C stand for a positive constant and its value may be different in different appearances; and sometimes we also stress that it depends on some constants. For \(x,y,z\in\mathbb{R}\), we denote \(x_{+}= \max(x,0)\) and

$$\mathcal{J}^{+}(x,y,z)=(x-y)^{z-\frac{3}{2}}_{+}, \qquad \mathcal {J}(x,y,z)=(x-y)^{z-\frac{3}{2}},\qquad \mathcal{K}(x,y,z)= \vert x-y \vert ^{2z-2}. $$

2.1 Fractional Laplacian operator \(\Delta_{\alpha}=-(-\Delta )^{\alpha/2}\)

Consider a symmetric α-stable motion \(X=\{X_{t},t\geq0\}\) with \(\alpha\in(0,2)\) on \({\mathbb {R}}\), and let its transition density function be \(G_{\alpha}(x,t)\). Then we have

$$\int_{\mathbb {R}}G_{\alpha}(x,t)e^{izx}\,dx=e^{-t \vert z \vert ^{\alpha}} $$

for all \(t\geq0\) and \(z\in{\mathbb {R}}\), and \(G_{\alpha}(x,t)\) is the fundamental solution of equation

$$\frac{\partial u}{\partial t}=\Delta_{\alpha}u. $$

Certainly, the kernel \(G_{\alpha}\) is also called the heat kernel of the operator \(\Delta_{\alpha}\). Denote

$$\mathcal{G}_{\alpha}(s,x;t,y)=G_{\alpha}(y-x,t-s) $$

for all \(x,y\in{\mathbb {R}}\) and \(s,t\geq0\). It follows that

$$\begin{aligned} & C_{1}^{-1} \biggl((t-s)^{-\frac{d}{\alpha}}\wedge\frac{a^{\alpha}(t-s)}{ \vert x-y \vert ^{d+\alpha}} \biggr)\leq \mathcal{G}_{\alpha}(s,y;t,x)\leq C_{1} \biggl((t-s)^{-\frac{d}{\alpha}} \wedge\frac{a^{\alpha}(t-s)}{ \vert x-y \vert ^{d+\alpha}} \biggr), \end{aligned}$$
(2.1)
$$\begin{aligned} & \biggl\vert \frac{\partial\mathcal{G}_{\alpha}(s,y;t,x)}{\partial t} \biggr\vert \leq\frac{C}{t-s}\mathcal{G}_{\alpha}(s,y;t,x) \end{aligned}$$
(2.2)

for all \(x,y\in{\mathbb {R}}, t>s\geq0\) and some constant \(C, C_{1}>1\), where \(x\wedge y=\min\{x,y\}\) for \(x,y\in{\mathbb{R}}\).

2.2 Fractional Brownian sheet

Recall that a two-parameter fractional Brownian sheet \(B=\{B(t, x), t\in[0,T], x\in\mathbb{R}\}\) is a mean zero Gaussian random field with the covariance function

$$\begin{aligned} \Re_{H_{1}}(s,t)\Re_{H_{2}}(x,y)&=E\bigl(B(t, x)B(s, y)\bigr) \\ &=\frac{1}{2} \bigl(s^{2H_{1}}+t^{2H_{1}}- \vert s-t \vert ^{2H_{1}} \bigr)\times\frac{1}{2} \bigl( \vert x \vert ^{2H_{2}}+ \vert y \vert ^{2H_{2}}- \vert x-y \vert ^{2H_{2}} \bigr) \end{aligned}$$

with \(H_{1},H_{2}\in(0, 1)\). Let \(\mathcal{H}\) be the completion of the linear space \({\mathcal {E}}\) generated by the indicator functions \({1}_{(s,t]\times(x,y]}\) on \([0,T]\times\mathbb{R}\) with respect to the scalar product

$$\langle{1}_{[0,t]\times[0,x]} \rangle_{\mathcal {H}}=\Re_{H_{1}}(s,t) \Re_{H_{2}}(x,y), $$

where \({1}_{[0,t]\times[0,x]} ={1}_{[0,t]\times[x,0]}\) if \(x\leq0\). Define a linear mapping Φ on \({\mathcal {E}}\) by

$$\varphi={1}_{[0,t]\times[0,x]}\longmapsto B(t,x)= \int_{0}^{T} \int_{\mathbb{R}}\varphi(s,y)B(ds,dy). $$

Then the mapping is an isometry between \({\mathcal {E}}\) and the Gaussian space associated with B. Moreover, the mapping can be extended to \({\mathcal {H}}\), and it is called the Wiener integral with respect to B which is denoted by

$$B(\varphi):= \int^{T}_{0} \int_{\mathbb{R}}\varphi(s,y)B(ds, dy),\quad \varphi\in\mathcal{H}. $$

Proposition 2.1

If \(\rho\in\mathcal{H}\), then

$$\begin{aligned} &\int_{[0,1]} \int_{\mathbb{R}} \rho(s,y)B(ds,dy) \\ &\quad= \int_{\mathbb{R}^{2}}W(ds,dy) \int_{\mathbb{R}} \rho(t, y)\mathcal{J}^{+}(t,s,H){1}_{(0,1)}(t)\,dt, \end{aligned}$$
(2.3)

where \(s\in\mathbb{R}, y \in\mathbb{R}\) and \(W(s,y)\) is a space-time white noise.

Representation (2.3) can be obtained by using the moving average expression of the fractional Brownian motion. Notice that a similar transfer formula can be written using the representation of the fractional Brownian motion as Wiener integral on a finite interval (see, e.g., Nualart [2]). Denote

$$\Lambda_{H}(t,s;x,y)=4H_{1}H_{2}(2H_{1}-1) (2H_{2}-1)\mathcal{K}(t,s,H_{1}) \mathcal {K}(x,y,H_{2}) $$

for any \(0\leq s < t\leq T\) and \(x, y \in\mathbb{R}\). Thus, from Bo et al. [3], Jiang et al. [27] and Wei [28] one can give the following statements:

  • For \(H>\frac{1}{2}\), we have

    $$L^{\frac{1}{H}}\bigl([0, T ]\times\mathbb{R}\bigr) \subset\mathcal{H}. $$
  • For \(\varphi, \psi\in\mathcal{H}\), we have \(E[B(\varphi)]=0\) and

    $$\begin{aligned} E\bigl[B(\varphi)B(\psi)\bigr]= \int_{[0,T]^{2}}\,dv\,du \int_{{\mathbb{R}}^{2}}\varphi(u,x)\psi(v,y)\Lambda_{H}(u,v;x,y)\,dy\,dx. \end{aligned}$$
  • If \(H>\frac{1}{2}\) and \(f,g\in L^{\frac{1}{H}}([a,b])\), then

    $$\int_{a}^{b} \int_{a}^{b}f(u)g(v)\mathcal{K}(u,v,H)\,du\,dv\leq C_{H} \Vert f \Vert _{L^{\frac{1}{H}}([a,b])} \Vert g \Vert _{L^{\frac{1}{H}}([a,b])}. $$

3 Some basic estimates of the solution

Given a filtered probability space \((\Omega,\mathscr{F}, (\mathscr{F}_{t})_{t\geq0}, P)\), where \(\mathscr{F}_{t}\) is the σ-algebra generated by B up to time t. In this section, we introduce some basic estimates of the solution of the equation

$$ \frac{\partial u}{\partial t}(t,x)=\Delta_{\alpha}u+ \frac{\partial ^{2}B}{\partial t\,\partial x}(t,x), \quad t\in[0,T], x\in{\mathbb {R}} $$
(3.1)

with initial value \(u(0,x)=0\), where B is a two-parameter fractional Brownian sheet with Hurst index \(H_{1},H_{2}\in(\frac{1}{2},1)\). Clearly, the unique solution to (3.1) can be written as (see Walsh [15])

$$ u(t,x)= \int_{0}^{t} \int_{\mathbb{R}}\mathcal{G}_{\alpha}(s,y;t,x)B(ds,dy) $$
(3.2)

for all \(t\in[0,T]\) and \(x\in{\mathbb {R}}\).

Proposition 3.1

The unique solution (3.2) satisfies

$$\sup_{t\in[0,T], x\in\mathbb{R}} E \bigl\vert u(t, x) \bigr\vert ^{p} < \infty $$

for all \(T>0\), \(\alpha\in(1,2)\), \(H_{1},H_{2}\in(\frac{1}{2},1)\) and \(p\geq2\).

Proof

Clearly, we have

$$\begin{aligned} &\int_{\mathbb{R}} \biggl((t-s)^{-\frac{1}{\alpha}} \wedge \frac {t-s}{ \vert x-y \vert ^{1+\alpha}} \biggr)^{\frac{1}{H_{2}}}\,dy \\ &\quad =2 \int_{0}^{(t-s)^{\frac{1}{\alpha}}}(t-s)^{-\frac{1}{\alpha H_{2}}}\,dy +2 \int_{(t-s)^{\frac{1}{\alpha}}}^{\infty}\biggl(\frac{t-s}{u^{1+\alpha }} \biggr)^{\frac{1}{H_{2}}}\,du \\ &\quad =C(t-s)^{\frac{H_{2}-1}{\alpha H_{2}}} \end{aligned}$$

for all \(t>s>0\) and \(x\in{\mathbb {R}}\). It follows that

$$\begin{aligned} \bigl\Vert \mathcal{G}_{\alpha}(s,\cdot; t, x) \bigr\Vert _{L^{\frac{1}{H_{2}}}(\mathbb{R})} &= \biggl( \int_{\mathbb{R}} \mathcal{G}_{\alpha}(s,y;t,x)^{\frac{1}{H_{2}}}\,dy \biggr)^{H_{2}} \\ &\leq C \biggl( \int_{\mathbb{R}} \biggl((t-s)^{-\frac{1}{\alpha}}\wedge\frac {(t-s)}{ \vert x-y \vert ^{1+\alpha}} \biggr)^{\frac{1}{H_{2}}}\,dy \biggr)^{H_{2}} \\ &\leq C (t-s)^{\frac{H_{2}-1}{\alpha}} \end{aligned}$$

for all \(t>s>0\) and \(x\in{\mathbb {R}}\), which implies that

$$\begin{aligned} &E \bigl\vert u(t,x) \bigr\vert ^{p}\\ &\quad =E \biggl\vert \int^{t}_{0} \int_{\mathbb{R}} \mathcal{G}_{\alpha}(s,z;t,x)B(ds,dz) \biggr\vert ^{p} \\ &\quad\leq C \biggl( \int_{[0,t]^{2}}\,ds_{1}\,ds_{2} \int_{\mathbb{R}^{2}} \mathcal{G}_{\alpha}(s_{1},z_{1};t,x) \Lambda_{H}(s_{1},s_{2};z_{1},z_{2}) \mathcal{G}_{\alpha}(s_{2},z_{2};t,x)\,dz_{1}\,dz_{2} \biggr)^{\frac{p}{2}} \\ &\quad=C \biggl( \int_{[0,t]^{2}}\mathcal{K}(s_{1},s_{2},H_{1})\,ds_{1}\,ds_{2} \int_{\mathbb {R}^{2}}\mathcal{K}(z_{1},z_{2},H_{2}) \mathcal{G}_{\alpha}(s_{1}, z_{1}; t,x) \mathcal{G}_{\alpha}(s_{2}, z_{2}; t, x)\,dz_{1}\,dz_{2} \biggr)^{\frac {p}{2}} \\ &\quad\leq C \biggl( \int_{[0,t]^{2}}\mathcal{K}(s_{1},s_{2},H_{1}) \bigl\Vert \mathcal{G}_{\alpha}(s_{1},\cdot;t,x) \bigr\Vert _{L^{\frac{1}{H_{2}}}(\mathbb{R})} \bigl\Vert \mathcal{G}_{\alpha}(s_{2},\cdot; t,x) \bigr\Vert _{L^{\frac {1}{H_{2}}}(\mathbb{R})}\,ds_{1}\,ds_{2} \biggr)^{\frac{p}{2}} \\ &\quad\leq C \biggl( \int_{0}^{t} \bigl( \bigl\Vert \mathcal{G}_{\alpha}(s,\cdot; t,x) \bigr\Vert _{L^{\frac{1}{H_{2}}}(\mathbb{R})} \bigr)^{\frac {1}{H_{1}}}\,ds \biggr)^{pH_{1}}\leq Ct^{\frac{(\alpha H_{1}+H_{2}-1)p}{\alpha}} \end{aligned}$$

for all \(t>s>0\) and \(x\in{\mathbb {R}}\). Thus, we have showed that

$$\sup_{t\in[0,T], x\in\mathbb{R}}{E} \bigl\vert u(t, x) \bigr\vert ^{p} < \infty, $$

and the proposition follows. □

Now, we give the time regularity of solution (3.2) and sharp upper and lower bounds for the \(L^{2}\)-norm of increments.

Theorem 3.2

Let \(u(t,x)\) be the solution of (3.1). We then have that

$$ {E} \bigl\vert u(s,x)-u(t,x) \bigr\vert ^{2}\leq C_{2} \vert t-s \vert ^{2\vartheta} $$
(3.3)

for any \(t, s \in[0, T], x\in\mathbb{R}\) and \(\vartheta\in(0, \frac{\alpha H_{1}+H_{2}-1}{\alpha})\). In particular, when \(H_{2}=\frac {1}{2}\), we have

$$C_{1} \vert t-s \vert ^{2H_{1}-\frac{1}{\alpha}}\leq {E} \bigl\vert u(s,x)-u(t,x) \bigr\vert ^{2}\leq C_{2} \vert t-s \vert ^{2H_{1}-\frac{1}{\alpha}} $$

for any \(t, s \in[0, T], x\in\mathbb{R}\).

In order to prove the theorem, we need the following lemma.

Lemma 3.1

There exists a constant \(C>0\) such that

$$ \int_{\mathbb{R}} \biggl( \biggl\vert \frac{\partial \mathcal{G}_{\alpha}}{\partial t}(r,z; t, x) \biggr\vert ^{\vartheta}\bigl\vert \mathcal{G}_{\alpha}(r,z; t, x) \bigr\vert ^{1-\vartheta} \biggr)^{\frac{1}{H_{2}}}\,dz\leq C(t-r)^{\frac{H_{2}-\alpha \vartheta-1}{\alpha H_{2}}} $$
(3.4)

for all \(0< r< t\leq T\), \(x\in\mathbb{R}\) and \(\vartheta\in(0,1)\). Moreover, when \(\vartheta<\frac{\alpha H_{1}+H_{2}-1}{\alpha}\), we have

$$ \int_{0}^{t} \biggl( \int_{\mathbb{R}} \biggl( \biggl\vert \frac{\partial \mathcal{G}_{\alpha}}{\partial t}(r,z; t, x) \biggr\vert ^{\vartheta}\bigl\vert \mathcal{G}_{\alpha}(r,z; t, x) \bigr\vert ^{1-\vartheta} \biggr)^{\frac{1}{H_{2}}}\,dz \biggr)^{\frac{H_{2}}{H_{1}}}\,dr \leq C $$
(3.5)

for all \(t\in[0,T]\) and \(x\in{\mathbb{R}}\).

Proof

Denote \(D_{z}= \{ \vert x-z \vert < (t-r)^{\frac{1}{\alpha}} \}\). We have

$$\begin{aligned} &\int_{\mathbb{R}} \biggl( \biggl\vert \frac{\partial\mathcal{G}_{\alpha}}{\partial t}(r,z; t, x) \biggr\vert ^{\vartheta}\bigl\vert \mathcal{G}_{\alpha}(r,z; t, x) \bigr\vert ^{1-\vartheta} \biggr)^{\frac{1}{H_{2}}}\,dz \\ &\quad\leq \int_{D_{z}} \biggl( \biggl\vert \frac{(t-r)^{-\frac{1}{\alpha}}}{ t-r} \biggr\vert ^{\frac{\vartheta}{H_{2}}}\cdot \bigl\vert (t-r)^{-\frac{1}{\alpha }} \bigr\vert ^{\frac{1-\vartheta}{H_{2}}} \biggr) \,dz \\ &\qquad{}+ \int_{\overline{D}_{z}} \biggl( \biggl\vert \frac{\frac {t-r}{ \vert x-z \vert ^{1+\alpha}} }{t-r} \biggr\vert ^{\frac{\vartheta}{H_{2}}}\cdot \biggl\vert \frac {t-r}{ \vert x-z \vert ^{1+\alpha}} \biggr\vert ^{\frac{1-\vartheta}{H_{2}}} \biggr) \,dz \\ &\quad \leq C(t-r)^{\frac{H_{2}-\alpha\vartheta-1}{\alpha H_{2}}} \end{aligned}$$

for all \(t>r>0\) and \(x\in{\mathbb{R}}\), and (3.4) and (3.5) follow. □

Lemma 3.2

When \(\frac{1}{2}< H_{1}<1\), we have

$$\begin{aligned} \int_{[0,1]^{2}}\,dv\,dr(1-r)^{-\frac{1}{\alpha}}\mathcal{K}(r,v,H_{1}) \int _{0}^{\frac{r\wedge v}{v\vee r}} z^{H_{1}-\frac{3}{2}}(1-z)^{1-2H_{1}}\,dz< \infty. \end{aligned}$$

Proof

By some elementary calculations and the properties of beta functions, the consequence is obvious. □

Proof of Theorem 3.2

We shall divide the proof into two steps.

Step 1. We first consider the upper bound. Denote

$$\begin{aligned} & \bigl\vert A_{1}(t, s, x) \bigr\vert = \biggl\vert \int^{s}_{0} \int_{\mathbb{R}} \bigl(\mathcal{G}_{\alpha}(r,z;t,x) - \mathcal{G}_{\alpha}(r,z;s,x) \bigr)B(dz, dr) \biggr\vert , \\ & \bigl\vert A_{2}(t, s, x) \bigr\vert = \biggl\vert \int^{t}_{s} \int_{\mathbb{R}} \mathcal{G}_{\alpha}(r,z;t,x)B(dz,dr) \biggr\vert \end{aligned}$$

for each \(x\in\mathbb{R}\) and \(0\leq s < t \leq T\). Then we have

$$\begin{aligned} \bigl\vert u(t, x)- u(s, x) \bigr\vert \leq \bigl\vert A_{1}(t, s, x) \bigr\vert + \bigl\vert A_{2}(t, s, x) \bigr\vert \end{aligned}$$

for each \(x\in\mathbb{R}\) and \(0\leq s < t\leq T\). Moreover, for every \(\vartheta\in(0,1)\), we let

$$\begin{aligned} & \bigl\vert A_{1,1}(t, s, x) \bigr\vert = \bigl\Vert \bigl\vert \mathcal{G}_{\alpha}(\cdot,\cdot; t, x)-\mathcal{G}_{\alpha}( \cdot,\cdot; s, x) \bigr\vert ^{\vartheta}\cdot \bigl\vert \mathcal{G}_{\alpha}(\cdot,\cdot; t, x) \bigr\vert ^{1-\vartheta} \bigr\Vert ^{2}_{\mathcal{H}}, \\ & \bigl\vert A_{1,2}(t, s, x) \bigr\vert = \bigl\Vert \bigl\vert \mathcal{G}_{\alpha}(\cdot,\cdot; t, x)-\mathcal{G}_{\alpha}( \cdot,\cdot; s, x) \bigr\vert ^{\vartheta}\cdot \bigl\vert \mathcal{G}_{\alpha}(\cdot, \cdot; s, x) \bigr\vert ^{1-\vartheta} \bigr\Vert ^{2}_{\mathcal{H}} \end{aligned}$$

for each \(x\in\mathbb{R}\) and \(0\leq s < t \leq T\). Then we have

$$\begin{aligned} E \bigl\vert A_{1}(t, s, x) \bigr\vert ^{2}&\leq C \bigl\Vert \mathcal{G}_{\alpha}(\cdot,\cdot; t, x)-\mathcal{G}_{\alpha}( \cdot,\cdot; s, x) \bigr\Vert ^{2}_{\mathcal{H}} \\ &\leq C \bigl\Vert \bigl\vert \mathcal{G}_{\alpha}(\cdot,\cdot; t, x)- \mathcal{G}_{\alpha}(\cdot,\cdot; s, x) \bigr\vert ^{\vartheta}\cdot \bigl\vert \mathcal{G}_{\alpha}(\cdot,\cdot; t, x)-\mathcal{G}_{\alpha}( \cdot,\cdot; s, x) \bigr\vert ^{1-\vartheta} \bigr\Vert ^{2}_{\mathcal{H}} \\ &\leq C \bigl( \bigl\vert A_{1,1}(t, s, x) \bigr\vert + \bigl\vert A_{1,2}(t, s, x) \bigr\vert \bigr) \end{aligned}$$

for all \(x\in\mathbb{R}\) and \(0\leq s< t\leq T\). Using (2.1), Proposition 2.1, Lemma 3.1 and the mean-value theorem, for \(\eta\in(s, t)\), one can get

$$\begin{aligned} &\bigl\vert A_{1,1}(t,s, x) \bigr\vert \\ &\quad=\biggl\Vert \biggl\vert \frac{\partial \mathcal{G}_{\alpha}}{\partial t}(\cdot,\cdot; \eta, x) \biggr\vert ^{\vartheta} \vert t-s \vert ^{\vartheta}\cdot \bigl\vert \mathcal{G}_{\alpha}( \cdot ,\cdot;t, x) \bigr\vert ^{1-\vartheta} \biggr\Vert ^{2}_{\mathcal{H}} \\ &\quad= \vert t-s \vert ^{2\vartheta} \int_{[0,t]^{2}}\,dr_{1}\,dr_{2} \int_{\mathbb{R}^{2}} \biggl\vert \frac{\partial \mathcal{G}_{\alpha}}{\partial t}(r_{1},z_{1}; \eta, x) \biggr\vert ^{\vartheta}\bigl\vert \mathcal{G}_{\alpha}(r_{1},z_{1}; t, x) \bigr\vert ^{1-\vartheta} \\ &\qquad{} \times\Lambda_{H}(r_{1},r_{2};z_{1},z_{2}) \biggl\vert \frac{\partial \mathcal{G}_{\alpha}}{\partial t}(r_{2},z_{2}; \eta, x) \biggr\vert ^{\vartheta}\bigl\vert \mathcal{G}_{\alpha}(r_{2},z_{2}; t, x) \bigr\vert ^{1-\vartheta}\,dz_{1}\,dz_{2} \\ &\quad\leq C \vert t-s \vert ^{2\vartheta} \biggl( \int_{0}^{T} \biggl( \int_{\mathbf{R}} \biggl( \biggl\vert \frac{\partial\mathcal{G}_{\alpha}}{\partial t}(r,z; t,x) \biggr\vert ^{\vartheta}\bigl\vert \mathcal{G}_{\alpha}(r,z; t, x) \bigr\vert ^{1-\vartheta} \biggr)^{\frac{1}{H_{2}}}\,dz \biggr)^{\frac {H_{2}}{H_{1}}}\,dr \biggr)^{2H_{1}} \\ &\quad \leq C \vert t-s \vert ^{2\vartheta} \end{aligned}$$

for all \(x\in\mathbb{R}\) and \(0\leq s< t\leq T\), which gives

$$\begin{aligned} \bigl\vert A_{1,1}(t, s, x) \bigr\vert \leq C \vert t-s \vert ^{2\vartheta} \end{aligned}$$

for all \(x\in\mathbb{R}\) and \(0\leq s< t\leq T\). Similarly, one can prove that

$$\bigl\vert A_{1,2}(t, s, x) \bigr\vert \leq C \vert t-s \vert ^{2\vartheta} $$

for all \(x\in\mathbb{R}\) and \(0\leq s< t\leq T\). It follows that

$$ E \bigl\vert A_{1}(t, s, x) \bigr\vert ^{p}\leq C \vert t-s \vert ^{2\vartheta} $$
(3.6)

when \(\vartheta\in(0,\frac{\alpha H_{1}+H_{2}-1}{\alpha})\).

On the other hand, we have that

$$\begin{aligned} &{E} \bigl\vert A_{2}(t,s,x) \bigr\vert ^{2} \\ &\quad ={E} \biggl\vert \int^{t}_{s} \int_{\mathbb{R}} \mathcal{G}_{\alpha}(r,z;t,x)B(dr,dz) \biggr\vert ^{2} \\ &\quad\leq C \int_{[s,t]^{2}}\,dr_{1}\,dr_{2} \int_{\mathbb{R}^{2}} \mathcal{G}_{\alpha}(r_{1},z_{1};t,x) \Lambda_{H}(r_{1},r_{2};z_{1},z_{2}) \mathcal{G}_{\alpha}(r_{2},z_{2};t,x)\,dz_{1}\,dz_{2} \\ &\quad=C \int_{[s,t]^{2}}\mathcal{K}(r_{1},r_{2},H_{1}) \,dr_{1}\,dr_{2} \int_{\mathbb{R}^{2}}\mathcal{K}(z_{1},z_{2},H_{2}) \\ &\qquad{}\times\mathcal{G}_{\alpha}(r_{1}, z_{1}; t, x) \mathcal{G}_{\alpha}(r_{2}, z_{2}; t, x)\,dz_{1}\,dz_{2} \\ &\quad\leq C \int_{[s,t]^{2}}\mathcal{K}(r_{1},r_{2},H_{1}) \bigl\Vert \mathcal{G}_{\alpha}(r_{1},\cdot; t, x) \bigr\Vert _{L^{\frac{1}{H_{2}}}(\mathbb{R})} \bigl\Vert \mathcal{G}_{\alpha}(r_{2}, \cdot; t, x) \bigr\Vert _{L^{\frac{1}{H_{2}}}(\mathbb{R})}\,dr_{1}\,dr_{2} \\ &\quad\leq C \biggl( \int_{s}^{t} \bigl( \bigl\Vert \mathcal{G}_{\alpha}(r,\cdot; t, x) \bigr\Vert _{L^{\frac{1}{H_{2}}}(\mathbb{R})} \bigr)^{\frac {1}{H_{1}}}\,dr \biggr)^{2H_{1}} \\ &\quad \leq C \vert t-s \vert ^{2\vartheta} \end{aligned}$$
(3.7)

for all \(x\in\mathbb{R}\) and \(0\leq s< t\leq T\). Combining (3.6) and (3.7), we get

$$E \bigl\vert u(t, x)-u(s, x) \bigr\vert ^{2}\leq C \vert t-s \vert ^{2\vartheta} $$

for all \(x\in\mathbb{R}\) and \(0\leq s< t\leq T\).

Step 2. We consider the lower bound. We have that

$$\begin{aligned} u(t, x)-u(s, y)={}& \int_{0}^{1} \int_{\mathbb{R}} \mathcal{G}_{\alpha}(\omega,y;t,x) {1}_{(0,1)}(\omega)B(d\omega,dy) \\ &{}- \int_{0}^{1} \int_{\mathbb{R}}\mathcal{G}_{\alpha}(\omega,y;s,x) {1}_{(0,s)}(\omega)B(d\omega,dy) \end{aligned}$$

for \(s,t\in[0,T]\) and \(x, y \in\mathbb{R}\). Let B be fractional in time and white in space, that is, \(H_{1}\in(\frac{1}{2},1), H_{2}=\frac {1}{2}\). By the transfer rule (2.3) we have

$$\begin{aligned} &u(t, x)- u(s, y)\\ &\quad= \int_{\mathbb{R}^{2}}W(d\omega,dy) \int_{\mathbb{R}}\,dv\mathcal{J}^{+}(v,\omega,H_{1}) \mathcal{G}_{\alpha}(v,y;t,x){1}_{(0,t)}(v) \\ &\qquad{}- \int_{\mathbb{R}^{2}}W(d\omega,dy) \int_{\mathbb{R}}\,dv\mathcal{J}^{+}(v,\omega,H_{1}) \mathcal{G}_{\alpha}(v,y;s,x){1}_{(0,s)}(v) \end{aligned}$$

for \(s,t\in[0,T]\) and \(x, y \in\mathbb{R}\). Denote

$$\begin{aligned} &\mathcal {O}_{r,1}(v)= \int_{\mathbb{R}}\,dy\mathcal{G}_{\alpha}(v,y;t,x)\mathcal {G}_{\alpha}(r,y;t,x), \\ &\mathcal{O}_{r,2}(v)= \int_{s}^{v\wedge r}\mathcal{J}(v,\omega,H_{1}) \mathcal{J}(r,\omega,H_{1})\,d\omega \end{aligned}$$

for \(v,s,t\in[0,T]\) and \(w,x, y \in\mathbb{R}\). By the isometry of the Brownian motion W and \(\mathcal{G}_{\alpha}(v,y;s,x)=0\), when \(v>s\), it follows that

$$\begin{aligned} &{E} \bigl\vert u(t,x)-u(s, x) \bigr\vert ^{2}\\ &\quad = \int_{\mathbb{R}^{2}}\,d\omega \,dy \biggl( \int_{\mathbb{R}} \mathcal{J}^{+}(v,\omega,H_{1}) \bigl( \mathcal{G}_{\alpha}(v,y;t,x) {1}_{(0,t)}(v) -\mathcal{G}_{\alpha}(v,y;s,x) {1}_{(0,s)}(v) \bigr)\,dv \biggr)^{2} \\ &\quad \geq \int_{s}^{t} \int_{\mathbb{R}}\,d\omega \,dy \biggl( \int_{\mathbb{R}} \mathcal{J}^{+}(v,\omega,H_{1}) \bigl( \mathcal{G}_{\alpha}(v,y;t,x) {1}_{(0,t)}(v) -\mathcal{G}_{\alpha}(v,y;s,x) {1}_{(0,s)}(v) \bigr)\,dv \biggr)^{2} \\ &\quad= \int_{s}^{t} \int_{\mathbb{R}}\,d\omega \,dy \biggl( \int_{\omega}^{t} \mathcal{J}^{+}(v,\omega,H_{1}) \mathcal{G}_{\alpha}(v,y;t,x)\,dv \biggr)^{2} \\ &\quad\geq \int_{s}^{t} \int_{\mathbb{R}}\,d\omega \,dy \int_{[\omega,t]^{2}}\,dr\,dv \mathcal{G}_{\alpha}(v,y;t,x) \mathcal{J}(v,\omega,H_{1}) \mathcal{G}_{\alpha}(r,y;t,x)\mathcal{J}(r,a,H_{1}) \\ &\quad= \int_{[s,t]^{2}} \biggl( \int_{s}^{v\wedge r}\mathcal{J}(v,\omega,H_{1}) \mathcal{J}(r,\omega,H_{1}) \,d\omega \biggr)\,dv\,dr \int_{\mathbb{R}}\,dy \mathcal{G}_{\alpha}(v,y;t,x) \mathcal{G}_{\alpha}(r,y;t,x) \\ &\quad\geq \int_{[s,t]^{2}}\mathcal{O}_{r,1}(v)\mathcal{O}_{r,2}(v)\,dv\,dr \end{aligned}$$

for \(s,t\in[0,T]\) and \(x, y \in\mathbb{R}\). Denote

$$\begin{aligned} D_{1}= \bigl\{ \vert y-x \vert < (t-v)^{\frac{1}{\alpha}} \bigr\} ,\qquad D_{2}= \bigl\{ \vert y-x \vert \geq (t-r)^{\frac{1}{\alpha}} \bigr\} \end{aligned}$$

for every \(x,y\in\mathbb{R}\), \(t>r>0\) and \(t>v>0\). Some elementary calculations can show that

$$\begin{aligned} \mathcal {O}_{r,1}(v)\geq{}& C \int_{\mathbb{R}} \biggl(\frac{t-v}{ \vert y-x \vert ^{1+\alpha }}\wedge(t-v)^{-\frac{1}{\alpha}} \biggr) \biggl(\frac {t-r}{ \vert y-x \vert ^{1+\alpha}}\wedge(t-r)^{-\frac{1}{\alpha}} \biggr)\,dy \\ ={}&C \int_{D_{1}}(t-v)^{-\frac{1}{\alpha}} (t-r)^{-\frac{1}{\alpha}}\,dy+C \int _{\bar{D_{1}}\bar{D_{2}}} \frac{t-v}{ \vert y-x \vert ^{1+\alpha}}(t-r)^{-\frac {1}{\alpha}}\,dy \\ &{}+C \int_{D_{2}}\frac{t-v}{ \vert y-x \vert ^{1+\alpha}} \frac {t-r}{ \vert y-x \vert ^{1+\alpha}}\,dy \\ \geq{}& C(t-r)^{-\frac{1}{\alpha}} \end{aligned}$$
(3.8)

for \(0< r< v\). Similarly, when \(r>v\), we have

$$\begin{aligned} \mathcal {O}_{r,1}(v)\geq{}& C \int_{\mathbb{R}} \biggl(\frac{t-v}{ \vert y-x \vert ^{1+\alpha }}\wedge(t-v)^{-\frac{1}{\alpha}} \biggr) \biggl(\frac {t-r}{ \vert y-x \vert ^{1+\alpha}}\wedge(t-r)^{-\frac{1}{\alpha}} \biggr)\,dy \\ ={}&C \int_{D_{1}}(t-v)^{-\frac{1}{\alpha}}(t-r)^{-\frac{1}{\alpha}}\,dy +C \int_{\bar{D_{1}}\bar{D_{2}}}(t-v)^{-\frac{1}{\alpha}} \frac {t-r}{ \vert y-x \vert ^{1+\alpha}}\,dy \\ &{}+C \int_{D_{2}} \frac{t-v}{ \vert y-x \vert ^{1+\alpha}}\frac {t-r}{ \vert y-x \vert ^{1+\alpha}}\,dy \\ \geq{}& C(t-v)^{-\frac{1}{\alpha}}. \end{aligned}$$
(3.9)

Moreover, when \(0< r< v\), setting \(z=(r-\omega)/(v-\omega)\), we have

$$ \mathcal {O}_{r,2}(v)=(v-r)^{2H_{1}-2} \int_{0}^{\frac{r-s}{v-s}}z^{H_{1}-\frac {3}{2}}(1-z)^{1-2H_{1}}\,dz, $$
(3.10)

and when \(r>v\), let \(z = (v-\omega)/(r-\omega)\), we have

$$ \mathcal {O}_{r,2}(v)=(r-v)^{2H_{1}-2} \int_{0}^{\frac{v-s}{r-s}} z^{H_{1}-\frac {3}{2}}(1-z)^{1-2H_{1}}\,dz. $$
(3.11)

Let

ϒ 1 ( s , r , v ) = r − s v − s 1 { r < v } + v − s r − s 1 { r > v } , ϒ 2 ( r , v ) = r v 1 { r < v } + v r 1 { r > v }

for all \(t>r>0\) and \(t>v>0\). It follows from the substitutions \((r,v)\rightarrow(r+s,v+s)\) and \((r,v)\rightarrow((t-s)r,(t-s)v)\) that

E | u ( t , x ) − u ( s , x ) | 2 ≥ ∫ [ s , t ] 2 d v d r ( t − r ) − 1 α K ( r , v , H 1 ) 1 { r < v } Λ ( ϒ 1 ( s , r , v ) ) + ∫ [ s , t ] 2 d v d r ( t − v ) − 1 α K ( r , v , H 1 ) 1 { r > v } Λ ( ϒ 1 ( s , r , v ) ) = ∫ [ 0 , t − s ] 2 d v d r ( t − s − r ) − 1 α K ( r , v , H 1 ) 1 { r < v } Λ ( ϒ 2 ( r , v ) ) + ∫ [ 0 , t − s ] 2 d v d r ( t − s − v ) − 1 α K ( r , v , H 1 ) 1 { r > v } Λ ( ϒ 2 ( r , v ) ) = ( t − s ) 2 H 1 − 1 α ∫ [ 0 , 1 ] 2 d v d r ( 1 − r ) − 1 α K ( r , v , H 1 ) 1 { r < v } Λ ( ϒ 2 ( r , v ) ) + ( t − s ) 2 H 1 − 1 α ∫ [ 0 , 1 ] 2 d v d r ( 1 − v ) − 1 α K ( r , v , H 1 ) 1 { r > v } Λ ( ϒ 2 ( r , v ) ) ≥ C ( t − s ) 2 H 1 − 1 α

for all \(t>s>0\) and \(x\in{\mathbb {R}}\), where

$$\Lambda(x)= \int_{0}^{x}z^{H_{1}-\frac{3}{2}}(1-z)^{1-2H_{1}}\,dz,\quad x\in[0,1]. $$

This completes the proof. □

At the end of this section, we give the p-variations of solution (3.2). For a continuous process \(U=\{U_{t}; 0\leq t < T\} \), we define

$$\mathcal{V}_{p,n}(U;T):=\sum^{n}_{k=1} \vert U_{t_{k}}-U_{t_{k-1}} \vert ^{p}, $$

where \(\tau_{n} =\{0 = t_{0} < t_{1} <\cdots< t_{n} = T\}\) is an arbitrary partition of \([0,T]\) such that \(\max_{k} \vert t_{k}-t_{k-1} \vert \) tends to zero as \(n\to\infty\). The process U is said to be of bounded p-variation with \(p\geq1\) on the interval \([0,T]\) if

$$\mathcal{V}_{p}(U;T):=\lim_{n\to\infty} \mathcal{V}_{p,n}(U;T) $$

exists in \(L^{1}\) as \(n\to\infty\).

Theorem 3.3

Let \(u(t,x)\) be the solution of (3.1) with \(H_{1}\in(\frac {1}{2},1)\) and \(H_{2}=\frac{1}{2}\). Denote \(W_{x}=u(t,x),t\in[0,T]\) for \(x\in{\mathbb{R}}\). Then there exists a constant \(\beta>0\) depending only on \(H_{1}, T\) and α such that

$$\mathcal{V}_{p}(W_{x};T)=\beta $$

if \(p=\frac{2\alpha}{2\alpha H_{1}-1}\).

When \(\alpha=2\) and \(H_{1}=H_{2}=\frac{1}{2}\), we know that the temporal process \(W_{x}=u(t,x),t\in[0,T]\) for \(x\in{\mathbb{R}}\) admits a nontrivial quartic variation (see, for example, Swanson [20]). Thus, the above theorem is a natural extension.

Proof of Theorem 3.3

Let \(\tau_{n} =\{0 = t_{0} < t_{1} <\cdots< t_{n} = T\}\) be an arbitrary partition of \([0,T]\) such that \(\max_{k}\{t_{k}-t_{k-1}\}\) tends to zero as \(n\to\infty\). By Theorem 3.2 we have that

$$\begin{aligned} {E} \bigl(\mathcal{V}_{p}(W_{x};T) \bigr) &={E} \Biggl( \sum^{n}_{k=1} \vert {W}_{t_{k},x}- {W}_{t_{k-1},x} \vert ^{p} \Biggr) \\ &=\sum^{n}_{k=1}{E} \vert {W}_{t_{k},x}- {W}_{t_{k-1},x} \vert ^{p} \\ &=C_{p}\sum^{n}_{k=1} \bigl({E} \vert {W}_{t_{k},x}- {W}_{t_{k-1},x} \vert ^{2} \bigr)^{\frac{p}{2}} \\ &\asymp C_{p}\sum^{n}_{k=1} \vert t_{k}-t_{k-1} \vert ^{\frac{p(2\alpha H_{1}-1)}{2\alpha}} \\ &\asymp C T, \end{aligned}$$

which shows that the p-variation of the temporal process \(W_{x}\) is nontrivial if \(p=\frac{2\alpha}{2\alpha H_{1}-1}\) for all \(x\in{\mathbb {R}}\), where the notation \(f\asymp h\) denotes

$$cf(x)\leq h(x)\leq Cf(x) $$

in the common domain of definition for f and h. This completes the proof. □

4 Existence and regularity of the local times of the solution

We devote this section to discussion on the existence and regularity of the local time of the temporal process \(W_{x}=\{u(t,x),t\in[0,T]\}\) of solution (3.2). For convenience we take \(x=1\) and \(T=1\). Denote \(u(t,1)=u(t), t \in[0,1]\).

Let \(X=\{X(t),t\in I\}\) be a real-valued separable stochastic process. For every pair of linear Borel sets \(\mathcal {B}\subset\mathbb{R}_{+}\) and \(K\subset[0,1]\), the occupation measure of X on \(\mathcal{B}\) is defined as follows:

$$\nu_{K}(\mathcal{B})=\mathcal{L}\bigl\{ s\in K: X(s)\in\mathcal{B} \bigr\} ,\quad \mathcal{B}\in\mathscr{B}(\mathbb{R}), $$

where \(\mathcal{L}\) denotes the one-dimensional Lebesgue measure. If, for fixed \(K, \nu_{K}\) is absolutely continuous as a measure of \(\mathcal {B}\), we say that \(X(t)\) has local time on K. The local time is defined as the Radon-Nykodim derivative of \(\nu_{K}\)

$$\ell(K, x) = \frac{d}{d\mathcal{L}}\nu_{K}(x), \quad x\in\mathbb{R}. $$

We will use the notation

$$\ell(t, x) := \ell\bigl([0, t], x\bigr),\quad t\in\mathbb{R}_{+}, x\in\mathbb{R}. $$

Moreover, \(\ell(t,x)\) satisfies the following occupation density formula:

$$\int_{K} f\bigl(X(t)\bigr)\,dt = \int_{\mathbf{R}}f(x)\ell(K, x)\,dx $$

for every Borel set K in I and for every measurable function \(f:\mathbb{R}\to\mathbb{R}\), see Geman and Horowitz [29].

We prove the existence of the local time of u. The result is a consequence of the left-hand side of inequality (3.3) and a result in Berman [30]. We first need to show that the temporal process \(\{u(t,x),t\in[0,1]\}\) is local nondeterminism. The concept of local nondeterminism was first introduced by Berman [31] to unify and extend his methods for studying the existence and joint continuity of local times of real-valued Gaussian processes. We refer to Cuzick and DuPreez [32], Xiao [33] and the references therein for more details and some extensions.

Definition 4.1

Let I be a closed interval on \(\mathbb{R}_{+}\) and \(Y=\{Y(t),t\in I\}\) be a stochastic process. For fixed \(\kappa\in(0, 1)\) and all \(s,t\in\mathbb{R}_{+}\), we define the metric

$$ \nu_{\kappa}(s, t)= \vert t-s \vert ^{\kappa}. $$
(4.1)

Then Y is said to be local \(\nu_{\kappa}\)-nondeterministic on I if there exists a constant \(C>0\) such that for any integer \(n \geq1 \) and for all points \(t_{1},\ldots,t_{n}\in I\),

$$ \operatorname{ Var}\bigl(Y(t_{n})| Y(t_{1}), \ldots, Y(t_{n-1})\bigr)\geq C| t_{n}-t_{n-1}| ^{2\kappa}. $$
(4.2)

The concept of local nondeterminism was extended by Cuzick [34] who defined local \(\nu_{\tau}\)-nondeterminism. As an immediate consequence of Definition 4.1, \(Y(t)\) has strong local \(\nu_{\tau}\)-nondeterminism on I if and only if there exist \(C,r_{0}> 0\) such that

$$ \operatorname{ Var}\bigl(Y(t)| Y(s),s\in T,r\leq| t-s| \leq r_{0}\bigr)\geq C \nu _{\kappa}(r) $$
(4.3)

for all \(t\in I\) and \(0 < r\leq\min(t, r_{0})\).

Proposition 4.1

Let \(\{u(t, x), t\in[0,1], x\in\mathbb{R}\}\) be the solution of (3.1), and let \(\nu_{\kappa}\) be given by (4.1) with \(\kappa=H_{1}-\frac{1}{2\alpha}\). Then the temporal process \(W_{x}=\{ u(t,x),t\in[0,T]\}\) is strong local \(\nu_{\kappa}\)-nondeterministic for every fixed \(x \in\mathbb{R}\).

Proof

Let \(0< t_{1}< t_{2}<\cdots<t_{n-1}<t_{n}<1\) be arbitrary points in \((0,1)\) and \(\kappa_{1},\ldots,\kappa_{n-1}\in\mathbb{R}\). The local nondeterministic property will follow if we prove that

$$E \Biggl(u(t_{n},x)-\sum^{n-1}_{i=1} \kappa_{i}u(t_{i},x) \Biggr)^{2} \geq C \vert t_{n}-t_{n-1} \vert ^{2H_{1}-\frac{1}{\alpha}}. $$

Using the transfer formula (2.3), we have

$$\begin{aligned} &u(t_{n}, x)- \sum_{i=1}^{n-1} \kappa_{i}u(t_{i}, y) \\ &\quad= \int_{0}^{1} \int_{\mathbb{R}}\mathcal{G}_{\alpha}(s,y;t_{n},x) {1}_{(0,t_{n})}(s)B(ds,dy) \\ &\qquad{}- \int_{0}^{1} \int_{\mathbb{R}} \sum_{i=1}^{n-1} \kappa_{i}\mathcal {G}_{\alpha}(s,y;t_{i},x) {1}_{(0,t_{i})}(s)B(ds,dy) \\ &\quad= \int_{0}^{1} \int_{\mathbb{R}}W(ds,dy) \int_{\mathbb{R}}\mathcal{J}^{+}(v,s,H_{1}) \mathcal{G}_{\alpha}(v,y;t_{n},x) {1}_{(0,t_{n})}(v)\,dv \\ &\qquad{}- \int_{0}^{1} \int_{\mathbb{R}}W(ds,dy) \int_{\mathbb {R}}\mathcal{J}^{+}(v,s,H_{1}) \sum _{i=1}^{n-1}\kappa_{i} \mathcal{G}_{\alpha}(v,y;t_{i},x) {1}_{(0,t_{i})}(v)\,dv, \end{aligned}$$

where B is a two-dimensional Brownian sheet. By the isometry of the stochastic integral with respect to B, bounding below the integral over the interval \((t_{n-1},t_{n})\) and (3.3), it follows that

$$\begin{aligned} &{E} \Biggl(u(t_{n}, x)- \sum_{i=1}^{n-1} \kappa_{i}u(t_{i}, y) \Biggr)^{2} \\ &\quad\geq \int_{t_{n-1}}^{t_{n}}\,ds \int_{\mathbb{R}}\,dy \biggl( \int_{s}^{t_{n}}\,dv\mathcal{G}_{\alpha}(v,y;t_{n},x) \mathcal {J}^{+}(v,s,H_{1}) \biggr)^{2} \\ &\quad \geq C(t_{n}-t_{n-1})^{2H_{1}-{\frac{1}{\alpha}}}. \end{aligned}$$

This completes the proof. □

Theorem 4.2

The process \(\{u(t), t\in[0,1]\}\) has a local time \(\ell([a, b], x),x\in\mathbb{R}\). Moreover, on each time interval \(K=[a,b]\subset[0,\infty)\),

$${E} \int_{\mathbb{R}}\ell(K,x)^{2}\,dx< \infty,\quad \textit{a.s.} $$

Moreover, the local time admits the following \(L^{2}\)-integral representation:

$$ \ell(K,x)=\frac{1}{2\pi} \int_{\mathbb{R}}e^{-izx} \int_{K}e^{izu(s)}\,ds\,dz. $$
(4.4)

Proof

By Berman [30] (see also Lemma 8.1 in Xiao [33]), for any continuous and zero-mean Gaussian process \(X=(X(t), t\in[0,T])\) with bounded variance function, the condition

$$\int_{[0,T]^{2}}\frac{ds\,dt}{\sqrt{{E}[X(t)-X(s)]^{2}}}< \infty $$

is sufficient for the local time of X to exist and to be square integrable. According to Theorem 3.2, for all \(K=[a,b]\) interval of \([0,1]\), we have

$$ \int_{K^{2}}\frac{ds\,dt}{\sqrt{{E}(u(t)-u(s))^{2}}} < C \int_{K^{2}}\frac{ds\,dt}{\sqrt{(t-s)^{2H_{1}-\frac{1}{\alpha}}}} < \infty. $$
(4.5)

Formula (4.4) is a consequence of Lemma 8.1 in Xiao [33]. □

At the end, let us prove now the joint continuity of the local time of u.

Theorem 4.3

For any integer \(k\geq2\), there exists a finite constant \(C_{k}>0\) such that, for all \(t\in[0,1], \delta\in(0,1), x,x'\in\mathbb{R}\), and

$$ 0< \zeta< \frac{1-H_{1}+\frac{1}{2\alpha}}{2H_{1}-\frac{1}{\alpha}}, $$
(4.6)

it holds

$$ {E}\bigl[\ell(t+\delta,x)-\ell(t,x)-\ell \bigl(t+\delta,x'\bigr)+\ell\bigl(t,x'\bigr) \bigr]^{k} \leq C_{k} \bigl\vert x-x' \bigr\vert ^{\zeta k}\delta^{k(1-(H_{1}-\frac{1}{2\alpha})(1-\zeta))}. $$
(4.7)

Proof

From (4.4), for any \(x, x'\in\mathbb{R},\mathcal{A}(t):= t< t_{1}<\cdots<t_{k}<t+\delta\in[0,1]\), let \(v_{j}=z_{j}-z_{j+1}, j=1,\ldots, k-1\) and \(v_{k}=z_{k}\), let \(\varepsilon_{j}=0,1,\text{ or }2\), and \(\sum_{j=1}^{k}\varepsilon_{j}=k\), we have

$$\begin{aligned} &{E}\bigl[\ell(t+\delta,x)-\ell(t,x)-\ell\bigl(t+\delta,x'\bigr)+ \ell\bigl(t,x'\bigr)\bigr]^{k} \\ &\quad=\frac{1}{(2\pi)^{k}} \int_{[t,t+\delta]^{k}} \prod_{j=1}^{k}\,ds_{j} \int_{\mathbb {R}^{k}}\prod_{j=1}^{k} \bigl(e^{-iv_{j}x}-e^{-iv_{j}x'} \bigr){E} \bigl(e^{i\sum _{j=1}^{k}v_{j}u(s_{j})} \bigr) \prod_{j=1}^{k}\,dv_{j} \\ &\quad\leq C_{k} \bigl\vert x-x' \bigr\vert ^{k\zeta} \int_{[t,t+\delta]^{k}}\prod_{j=1}^{k}\,ds_{j} \int_{\mathbb {R}^{k}}\prod_{j=1}^{k} \vert v_{j} \vert ^{\zeta} {E} \bigl(e^{i\sum_{j=1}^{k}v_{j}u(s_{j})} \bigr) \prod_{j=1}^{k}\,dv_{j} \\ &\quad\leq C_{k} \bigl\vert x-x' \bigr\vert ^{k\zeta} \int_{\mathcal{A}(t)} \prod_{j=1}^{k}\,dt_{j} \int _{\mathbb{R}^{k}} \prod_{j=1}^{k} \vert z_{j} \vert ^{\zeta\varepsilon_{j}} \\ &\qquad{}\times\exp \Biggl(-\frac{C_{k}}{2}{\sum_{j=1}^{k}z_{j}^{2} {E} \bigl(u(t_{j})-u(t_{j-1}) \bigr)^{2}} \Biggr) \prod_{j=1}^{k}\,dz_{j} \\ &\quad \leq C_{k} \bigl\vert x-x' \bigr\vert ^{k\zeta} \int_{\mathcal{A}(t)} \prod_{j=1}^{k} \mathbb{E}\bigl(u(t_{j})-u(t_{j-1})\bigr)^{-1-\zeta\varepsilon_{j}} \prod_{j=1}^{k}\,dt_{j}, \end{aligned}$$

where we use the elementary inequalities \(\vert 1-e^{i\eta} \vert \leq 2^{1-\zeta} \vert \eta \vert ^{\zeta}\) and \(\vert a-b \vert ^{\zeta}\leq \vert a \vert ^{\zeta}+ \vert b \vert ^{\zeta}\) for all \(0<\zeta<1\) and any \(\eta, a ,b\in\mathbb{R}\).

According to Theorem 3.3, we get

$$\begin{aligned} {E} \bigl(u(t_{j})-u(t_{j-1}) \bigr)^{2}\geq C_{1} \vert t_{j}-t_{j-1} \vert ^{2H_{1}-\frac{1}{\alpha}}, \end{aligned}$$

it follows that

$$\begin{aligned} & \int_{\mathcal{A}(t)} \prod_{j=1}^{k}{E} \bigl(u(t_{j})-u(t_{j-1}) \bigr)^{-1-\zeta\varepsilon _{j}}\prod _{j=1}^{k}\,dt_{j} \\ &\quad\leq \int_{\mathcal{A}(t)} \prod_{j=1}^{k}(t_{j}-t_{j-1})^{-\frac{1}{2}(2H_{1}-\frac{1}{\alpha}) (1+\zeta\varepsilon_{j})} \prod_{j=1}^{k}\,dt_{j} \\ &\quad\leq c_{k}\delta^{k-\prod_{j=1}^{k}\frac{1}{2}(2H_{1}-\frac{1}{\alpha}) (1+\zeta\varepsilon_{j})} \\ &\quad\leq c_{k}h^{k-k (H_{1}-\frac{1}{2\alpha} )(1+\zeta)} \\ &\quad =c_{k}h^{k (1- (H_{1}-\frac{1}{2\alpha} ) )(1+\zeta)} \end{aligned}$$

for \(k\geq1, \delta>0\) and \(0<\zeta<\frac{1-H_{1}+\frac{1}{2\alpha}}{2H_{1}-\frac{1}{\alpha}}\), then

$$\begin{aligned} {E}\bigl[\ell(t+\delta,x)-\ell(t,x)-\ell\bigl(t+\delta,x'\bigr)+ \ell\bigl(t,x'\bigr)\bigr]^{k} \leq C_{k} \bigl\vert x-x' \bigr\vert ^{\zeta k}\delta^{k (1- (H_{1}-\frac{1}{2\alpha} ) (1+\zeta) )}. \end{aligned}$$

This completes the proof. □

References

  1. Alós, E, Mazet, O, Nualart, D: Stochastic calculus with respect to Gaussian processes. Ann. Probab. 29, 766-801 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  2. Nualart, D: Malliavin Calculus and Related Topics. Springer, Berlin (2006)

    MATH  Google Scholar 

  3. Bo, L, Jiang, Y, Wang, Y: On a class of stochastic Anderson models with fractional noises. Stoch. Anal. Appl. 26, 256-273 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  4. Chen, X, Hu, Y, Song, J: Feynman-Kac formula for fractional heat equations driven by fractional white noises. Ann. Probab. 39, 291-326 (2014)

    MathSciNet  Google Scholar 

  5. Duncan, TE, Maslowski, B, Pasik-Duncan, B: Fractional Brownian motion and stochastic equations in Hilbert spaces. Stoch. Dyn. 2, 225-250 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  6. Hajipour, M, Malek, A: High accurate NRK and MWENO scheme for nonlinear degenerate parabolic PDEs. Appl. Math. Model. 36, 4439-4451 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  7. Hu, M, Baleanu, D, Yang, X: One-phase problems for discontinuous heat transfer in fractal media. Math. Probl. Eng., 2013 Article ID 358473 (2013)

    MathSciNet  MATH  Google Scholar 

  8. Hu, Y, Lu, F, Nualart, D: Feynman-Kac formula for the heat equation driven by fractional noises with Hurst parameter \(H < 1/2\). Ann. Probab. 40, 1041-1068 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  9. Hu, Y, Nualart, D: Stochastic heat equation driven by fractional noise and local time. Probab. Theory Relat. Fields 143, 285-328 (2009)

    Article  MathSciNet  MATH  Google Scholar 

  10. Hu, Y, Nualart, D, Song, J: Feynman-Kac formula for heat equation driven by fractional white noises. Ann. Probab. 39, 291-326 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  11. Jiang, Y, Wang, X, Wang, Y: On a stochastic heat equation with first order fractional noises and applications to finance. J. Math. Anal. Appl. 396, 656-669 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  12. Liu, J, Yan, L: Solving a nonlinear fractional stochastic partial differential equation with fractional noise. J. Theor. Probab. 29, 307-347 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  13. Nualart, D, Ouknine, Y: Regularization of quasilinear heat equations by a fractional noise. Stoch. Dyn. 4, 201-221 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  14. Tindel, S, Tudor, CA, Viens, F: Stochastic evolution equations with fractional Brownian motion. Probab. Theory Relat. Fields 127, 186-204 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  15. Walsh, JB: An introduction to stochastic partial differential equations. In: Ecole d’été de Probabilités de Saint Flour XIV. Lecture Notes in Mathematics, vol. 1180, pp. 266-439. Springer, Berlin (1986)

    Google Scholar 

  16. Yang, X, Baleanu, D: Fractal heat conduction problem solved by local fractional variation iteration method. Therm. Sci. 17, 625-628 (2013)

    Article  Google Scholar 

  17. Mueller, C, Tribe, R: Hitting probabilities of a random string. Electron. J. Probab. 7, 1-29 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  18. Pospisil, J, Tribe, R: Parameter estimation and exact variations for stochastic heat equations driven by space-time white noise. Stoch. Anal. Appl. 4, 830-856 (2007)

    MATH  Google Scholar 

  19. Sun, X, Yan, L, Yu, X: Quadratic covariations for the solution to a stochastic heat equation with time-space white noise (submitted)

  20. Swanson, J: Variations of the solution to a stochastic heat equation. Ann. Probab. 35, 2122-2159 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  21. Ouahhabi, H, Tudor, CA: Additive functionals of the solution to fractional stochastic heat equation. J. Fourier Anal. Appl. 19, 777-791 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  22. Tudor, CA, Xiao, Y: Sample paths of the solution to the fractional-colored stochastic heat equation. Stoch. Dyn. 27, Article ID 1750004 (2017)

    Article  MathSciNet  MATH  Google Scholar 

  23. Cui, J, Li, Y, Yan, L: Temporal variation for fractional heat equations with additive white noise. Bound. Value Probl. 2016, 123 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  24. Wu, D: On the solution process for a stochastic fractional partial differential equation driven by space-time white noise. Stat. Probab. Lett. 81, 1161-1172 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  25. Chen, Z, Kumagai, T: Heat kernel estimates for stable-like processes on d-sets. Stoch. Process. Appl. 108, 27-62 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  26. Russo, F, Tudor, CA: On the bifractional Brownian motion. Stoch. Process. Appl. 5, 830-856 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  27. Jiang, Y, Wei, T, Zhou, X: Stochastic generalized Burgers equations driven by fractional noises. J. Differ. Equ. 252, 1934-1961 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  28. Wei, T: High-order heat equations driven by multi-parameter fractional noises. Acta Math. Sin. Engl. Ser. 26, 1943-1960 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  29. Geman, D, Horowitz, J: Occupation densities. Ann. Probab. 8, 1-67 (1980)

    Article  MathSciNet  MATH  Google Scholar 

  30. Berman, S: Local times and sample function properties of stationary Gaussian processes. Trans. Am. Math. Soc. 137, 277-299 (1969)

    Article  MathSciNet  MATH  Google Scholar 

  31. Berman, S: Local nondeterminism and local times of Gaussian processes. Bull. Am. Math. Soc. 23, 69-94 (1973)

    MathSciNet  MATH  Google Scholar 

  32. Cuzick, J, DuPreez, J: Joint continuity of Gaussian local times. Ann. Probab. 10, 810-817 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  33. Xiao, Y: Sample path properties of anisotropic Gaussian random fields. In: A Minicourse on Stochastic Partial Differential Equations. Lecture Notes in Mathematics, vol. 1962, pp. 145-212 (2009)

    Chapter  Google Scholar 

  34. Cuzick, J: Local nondeterminism and the zeros of Gaussian processes. Ann. Probab. 6, 72-84 (1978); Correction, 15, 1229 (1987)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

The project is sponsored by the National Natural Science Foundation of China (11571071, 71271003, 71571001), Natural Science Foundation of Anhui Province (1608085MA02) and Innovation Program of Shanghai Municipal Education Commission (12ZZ063).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Litan Yan.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

DFX and LTY carried out the mathematical studies, participated in the sequence alignment, drafted the manuscript, participated in the design of the study and performed the proof of results. All authors read and approved the final manuscript.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Xia, D., Yan, L. Some properties of the solution to fractional heat equation with a fractional Brownian noise. Adv Differ Equ 2017, 107 (2017). https://doi.org/10.1186/s13662-017-1151-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-017-1151-0

MSC

Keywords