Abstract
Consider non-linear time-fractional stochastic heat type equations of the following type,
in \((d+1)\) dimensions, where \(\nu >0, \beta \in (0,1), \alpha \in (0,2]\). The operator \(\partial ^\beta _t\) is the Caputo fractional derivative while \(-(-\Delta )^{\alpha /2} \) is the generator of an isotropic stable process and \(I^{1-\beta }_t\) is the Riesz fractional integral operator. The forcing noise denoted by \(\mathop {F}\limits ^{\cdot }(t,x)\) is a Gaussian noise. And the multiplicative non-linearity \(\sigma :\mathbb {R}\rightarrow \mathbb {R}\) is assumed to be globally Lipschitz continuous. Mijena and Nane (Stochastic Process Appl 125(9):3301–3326, 2015) have introduced these time fractional SPDEs. These types of time fractional stochastic heat type equations can be used to model phenomenon with random effects with thermal memory. Under suitable conditions on the initial function, we study the asymptotic behaviour of the solution with respect to time and the parameter \(\lambda \). In particular, our results are significant extensions of those in Ann Probab (to appear), Foondun and Khoshnevisan (Electron J Probab 14(21): 548–568, 2009), Mijena and Nane (2015) and Mijena and Nane (Potential Anal 44:295–312, 2016). Along the way, we prove a number of interesting properties about the deterministic counterpart of the equation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and main results
1.1 Background material
Recently, there has been an increased interest in fractional calculus. This is because, time fractional operators are proving to be very useful for modelling purposes. For example, while the classical heat equation \(\partial _tu_t(x)=\Delta u_t(x)\), used for modelling heat diffusion in homogeneous media, the fractional heat equation \(\partial ^\beta _tu_t(x)=\Delta u_t(x)\) are used to describe heat propagation in inhomogeneous media. It is known that as opposed to the classical heat equation, this equation is known to exhibit sub diffusive behaviour and are related with anomalous diffusions or diffusions in non-homogeneous media, with random fractal structures; see, for instance, [17]. The main aim of this paper is study a class of stochastic fractional heat equations. In particular, it will become clear how this sub diffusive feature affects other properties of the solution.
Stochastic partial differential equations (SPDE) have been studied in mathematics, and in many disciplines that include statistical mechanics, theoretical physics, theoretical neuroscience, theory of complex chemical reactions, fluid dynamics, hydrology, and mathematical finance; see, for example, Khoshnevisan [14] for an extensive list of references. The area of SPDEs is interesting to mathematicians as it contains a lot of hard open problems. So far most of the work done on the stochastic heat equations have dealt with the usual time derivative, that is \(\beta =1\). Its only recently that Mijena and Nane has introduced time fractional SPDEs in [18]. These types of time fractional stochastic heat type equations are attractive models that can be used to model phenomenon with random effects with thermal memory. In another paper [19] they have proved exponential growth of solutions of time fractional SPDEs–intermittency–under the assumption that the initial function is bounded from below. A related class of time-fractional SPDE was studied by Karczewska [13], Chen et al. [5], and Baeumer et al [1]. They have proved regularity of the solutions to the time-fractional parabolic type SPDEs using cylindrical Brownain motion in Banach spaces in the sense of [6]. For a comparison of the two approaches to SPDE’s see the paper by Dalang and Quer-Sardanyons [7].
A Physical explanation of time fractional SPDEs is given in [5]. The time-fractional SPDEs studied in this paper may arise naturally by considering the heat equation in a material with thermal memory.
Before we describe our equations with more care, we provide some heuristics. Consider the following fractional equation,
with \(\beta \in (0,1)\) and \(\partial ^\beta _t\) is the Caputo fractional derivative which first appeared in [3] and is defined by
If \(u_0(x)\) denotes the initial condition to the above equation, then the solution can be written as
\(G_t(x)\) is the time-fractional heat kernel, which we will analyse a bit more later. Let us now look at
with the same initial condition \(u_0(x)\) and f(t, x) is some nice function. We will make use of time fractional Duhamel’s principle [20,21,22] to get the correct version of (1.3). Using the fractional Duhamel principle, the solution to (1.2) is given by
We will remove the fractional derivative appearing in the second term of the above display. Define the Riesz fractional integral operator by
For every \(\beta \in (0,1)\), and \(g\in L^\infty ({{\mathbb {R}}}_+)\) or \(g\in C({{\mathbb {R}}}_+)\)
We consider the time fractional PDE with a force given by \(f(t,x)=I^{1-\beta }_tg(t,x)\), then by the Duhamel’s principle, the mild solution to (1.2) will be given by
The reader can consult [5] for more information. The first equation we will study in this paper is the following.
where the initial datum \(u_0\) is a non-random measurable function. \(\mathop {W}\limits ^{\cdot }(t,x)\) is a space-time white noise with \(x\in {{\mathbb {R}}}^d\) and \(\sigma :{{\mathbb {R}}}\rightarrow {{\mathbb {R}}}\) is a globally Lipschitz function. \(\lambda \) is a positive parameter called the “level of noise”. We will make sense of the above equation using an idea in Walsh [23]. In light of the above discussion, a solution \(u_t\) to the above equation will in fact be a solution to the following integral equation.
where
We now fix the parameters \(\alpha \) and \(\beta \). We will restrict \(\beta \in (0,\,1)\). The dimension d is related with \(\alpha \) and \(\beta \) via
Note that when \(\beta =1\), the equation reduces to the well known stochastic heat equation and the above restrict the problem to a one-dimensional one. This is the so called curse of dimensionality explored in [9]. We will require the following notion of “random-field” solution. We will need \(d< 2\alpha \) while computing the \(L^2-\)norm of the heat kernel, while \(d<\beta ^{-1}\alpha \) is needed for an integrability condition needed for ensuring existence and uniqueness of the solution.
Definition 1.1
A random field \(\{u_t(x), \ t\ge 0, x\in {{\mathbb {R}}^d}\}\) is called a mild solution of (1.3) if
-
1.
\(u_t(x)\) is jointly measurable in \(t\ge 0\) and \(x\in {{\mathbb {R}}^d}\);
-
2.
\(\forall (t,x)\in [0,\infty )\times {{\mathbb {R}}^d}, \int _0^t\int _{{{\mathbb {R}}}^d}G_{t-s}(x-y)\sigma (u_s(y))W(\mathrm{d}y\,\mathrm{d}s)\) is well-defined in \(L^2(\Omega )\); by the Walsh-Dalang isometry this is the same as requiring
$$\begin{aligned} \sup _{x\in {{\mathbb {R}}^d}}\sup _{t>0}{{\mathbb {E}}}|u_t(x)|^2<\infty . \end{aligned}$$ -
3.
The following holds in \(L^2(\Omega )\),
$$\begin{aligned} u_t(x)=({\mathcal {G}}u_0)_t(x)+\lambda \int _0^t\int _{{{\mathbb {R}}}^d}G_{t-s}(x-y)\sigma (u_s(y))W(\mathrm{d}y\,\mathrm{d}s). \end{aligned}$$
Next, we introduce the second class equation with space colored noise.
The only difference with (1.3) is that the noise term is now colored in space. All the other conditions are the same. We now briefly describe the noise.
\({\dot{F}}\) denotes the Gaussian colored noise satisfying the following property,
This can be interpreted more formally as
where we use the notation \(\int \phi \mathrm{d}F\) to denote the wiener integral of \(\phi \) with respect to F, and the right-most integral converges absolutely.
We will assume that the spatial correlation of the noise term is given by the following function for \(\gamma <d\),
Following Walsh [23], we define the mild solution of (1.5) as the predictable solution to the following integral equation
As before, we will look at random field solution, which is defined by (1.7). We will also assume the following
That we should have \(\gamma <d\) follows from an integrability condition about the correlation function. We need \(\gamma <\alpha \) which comes from an integrability condition needed for the existence and uniqueness of the solution.
We now briefly give an outline of the paper. We state main results in the next subsection. We give some preliminary results in Sect. 2, we prove a number of interesting properties of the heat kernel of the time fractional heat type partial differential equations that are essential to the proof of our main results. The proofs of the results in the space-time white noise are given in Sect. 3. In Sect. 4, we prove the main results about the space colored noise equation, and the continuity of the solution to the time fractional SPDEs with space colored noise. Throughout the paper, we use the letter C or c with or without subscripts to denote a constant whose value is not important and may vary from places to places. If \(x\in {{\mathbb {R}}}^d\), then |x| will denote the euclidean norm of \(x\in {{\mathbb {R}}}^d\), while when \(A\subset {{\mathbb {R}}}^d, |A|\) will denote the Lebesgue measure of A.
1.2 Statement of main results
Before stating our main results precisely, we describe some of the conditions we need. The first condition is required for the existence-uniquess result as well as the upper bound on the second moment of the solution.
Assumption 1.2
-
We assume that initial condition is a non-random bounded non-negative function \(u_0:{{\mathbb {R}}}^d\rightarrow {{\mathbb {R}}}\).
-
We assume that \(\sigma :{{\mathbb {R}}}\rightarrow {{\mathbb {R}}}\) is a globally Lipschitz function satisfying \(\sigma (x)\le L_\sigma |x|\) with \(L_\sigma \) being a positive number.
The following condition is needed for lower bound on the second moment.
Assumption 1.3
-
We will assume that the initial function \(u_0\) is non-negative on a set of positive measure.
-
The function \(\sigma \) satisfies \(\sigma (x)\ge l_\sigma |x|\) with \(l_\sigma \) being a positive number.
Mijena and Nane [18, Theorem 2] have essentially proved the next theorem. We give a new proof of this theorem in this paper.
Theorem 1.4
Suppose that \(d<(2\wedge \beta ^{-1})\alpha \). Then under Assumption 1.2, there exists a unique random-field solution to (1.3) satisfying
Here \(c_1\) and \(c_2\) are positive constants.
Remark 1.5
This theorem says that second moment grows at most exponentially. While this has been known [18], the novelty here is that we give a precise rate with respect to the parameter \( \lambda \). Theorem 1.4 implies that a random field solution exists when \(d<(2\wedge \beta ^{-1})\alpha \). It follows from this theorem that TFSPDEs in the case of space-time white noise is that a random field solution exists in space dimension greater than 1 in some cases, in contrast to the parabolic stochastic heat type equations, the case \(\beta =1\). So in the case \(\alpha =2, \beta <1/2\), a random field solution exists when \(d=1,2,3\). When \(\beta =1\) a random field solution exists only in spatial dimension \(d=1\).
The next theorem shows that under some additional condition, the second moment will have exponential growth. This greatly extends results of [4, 8, 10], and [11].
Theorem 1.6
Suppose that the conditions of Theorem 1.4 are in force. Then under Assumption 1.3, there exists a \(T>0\), such that
Here \(c_3\) and \(c_4\) are positive constants.
The lower bound in the previous theorem is completely new. Most of the results of these kinds have been derived from the renewal theoretic ideas developed in [10] and [11]. The methods used in this article are completely different. In particular, we make use of a localisation argument together with heat kernel estimates for the time fractional diffusion equation.
Remark 1.7
The two theorems above imply that, under some conditions, there exist some positive constants \(a_5\) and \(a_6\) such that,
for any fixed \(x\in {{\mathbb {R}}^d}\).
The exponential growth of the second moment of the solution have been proved under the assumption that the initial function is bounded from below in [19]. This exponential growth property have been proved by [10] when \(\beta =1\) and \(d=1\) when the initial function is also bounded from below. When \(\beta =1\), and the initial function satisfies the assumption 1.3, this was established by [8]. Chen [4] has established intermittency of the solution of (1.3) when \(d=1, \alpha =2\), and \(\beta \in (0,1)\) and \(\beta \in (1,2)\) with measure-valued initial data.
We will need the following definition which we borrow from [15]. Set
and define the nonlinear excitation index by
The next theorem gives the rate of growth of the second moment with respect to the parameter \(\lambda \), which extends results in [8]. We note that for time t large enough, this follows from the theorem above. But for small t, we need to work a bit harder.
Theorem 1.8
Fix \(t>0\) and \(x\in {{\mathbb {R}}}^d\), we then have
Moreover, if the energy of the solution exists, then the excitation index, e(t) is also equal to \(\frac{2\alpha }{\alpha -d\beta }\).
Note that for the energy of the solution to exists, we need some assumption on the initial condition. One can always impose boundedness with compact support.
The following theorem is essentially Theorem 2 in [18]. We only state it to compare the Hölder exponent with the excitation index. This shows that the relationship mentioned in [8] holds for this equation as well: \(\eta \le 1/e(t)\). Hence showcasing a link between noise excitability and continuity of the solution.
Theorem 1.9
[18] Let \(\eta < (\alpha -\beta d)/2\alpha \) then for every \(x\in {{\mathbb {R}}^d}, \{u_t(x), t>0\}\), the solution to (1.3) has Hölder continuous trajectories with exponent \(\eta \).
All the above results were about the white noise driven equation. Our first result on space colored noise case reads as follows.
Theorem 1.10
Under the Assumption 1.2, there exists a unique random field solution \(u_t\) of (1.5) whose second moment satisfies
Here the constants \(c_5, c_6\) are positive numbers. If we impose the further requirement that Assumption 1.3 holds, then there exists a \(T>0\) such that
where T and the constants \(c_7, c_8\) are positive numbers.
Remark 1.11
Theorem 1.10 implies that there exist some positive constants \(c_9\) and \(c_{10}\) such that
for any fixed \(x\in {{\mathbb {R}}^d}\).
Theorem 1.12
Fix \(t>0\) and \(x\in {{\mathbb {R}}}^d\), we then have
Moreover, if the energy of the solution exists, then the excitation index, e(t) is also equal to \(\frac{2\alpha }{\alpha -\gamma \beta }\).
We now give a relationship between the excitation index of (1.5) and its continuity properties.
Theorem 1.13
Let \(\eta < (\alpha -\beta \gamma )/2\alpha \) then for every \(x\in {{\mathbb {R}}^d}, \{u_t(x), t>0\}\), the solution to (1.5) has Hölder continuous trajectories with exponent \(\eta \).
A key difference from the methods used in [8] is that, here we develop some new important tools. For example, we need analyse the heat kernel and prove some relevant estimates. In [8], this step was relatively straightforward. But here the lack of semigroup property makes it that we need to work much harder. To address this, we heavily rely on subordination. This insight, absent in [4] makes it that we are able to vastly generalise the results of that paper. Another key tool is showing that with time, \(({\mathcal {G}}u_0)_t(x)\) decays at most like the inverse of a polynomial. This also requires techniques based on subordination. We also point out that a significant difference from early work is that here our analysis is based on restricting the spatial variable to a dynamic ball. This enables us to prove the exponential growth of the second moment and the right rate with respect to \(\lambda \). Finding this precise rate for stochastic partial differential equations is quite a new problem and this current paper shows how this rate depends on the fractional nature of the operator.
2 Preliminaries
As mentioned in the introduction, the behaviour of the heat kernel \(G_t(x)\) will play an important role. This section will mainly be devoted to estimates involving this quantity. We start by giving a stochastic representation of this kernel. Let \(X_t\) denote a symmetric \(\alpha \) stable process with density function denoted by \(p(t,\,x)\). This is characterized through the Fourier transform which is given by
Let \(D=\{D_r,\,r\ge 0\}\) denote a \(\beta \)-stable subordinator and \(E_t\) be its first passage time. It is known that the density of the time changed process \(X_{E_t}\) is given by the \(G_t(x)\). By conditioning, we have
where
where \(g_\beta (\cdot )\) is the density function of \(D_1\) and is infinitely differentiable on the entire real line, with \(g_\beta (u)=0\) for \(u\le 0\). Moreover,
and
While the above expressions will be very important, we will also need the Fourier transform of \(G_t(x)\).
where the Mittag-Leffler function
satisfies the following inequality,
Even though, we will be mainly using the representation given by (2.2), we also have another explicit description of the heat kernel.
Using the convention \(\sim \) to denote the Laplace transform and \(*\) the Fourier transform we get
Inverting the Laplace transform yields
In order to invert the Fourier transform when \(d=1\), we will make use of the integral [12, eq. 12.9]
where \({\mathcal {R}}(\alpha )>0,\mathcal {\beta }>0,k>0,a>0, H_{p,q}^{m,n}\) is the H-function given in [16, Definition 1.9.1, p. 55] and the formula
Then this gives the function as
Note that for \(\alpha = 2\) using reduction formula for the H-function we have
Note that for \(\beta = 1\) it reduces to the Gaussian density
We will need following properties of the heat kernel of stable process.
-
$$\begin{aligned} p(t,\,x)=t^{-d/\alpha }p(1,\,t^{-1/\alpha }x). \end{aligned}$$
-
$$\begin{aligned} p(st,\,x)=s^{-d/\alpha }p(t,\,s^{-1/\alpha }x). \end{aligned}$$
-
\(p(t,\,x)\ge p(t,\,y)\)whenever \(|x|\le |y|\).
-
For t large enough so that \(p(t,\,0)\le 1\) and \(\tau \ge 2\), we have
$$\begin{aligned} p\left( t,\,\frac{1}{\tau }(x-y)\right) \ge p(t,\,x)p(t,\,y). \end{aligned}$$
All these properties, except the last one, are straightforward. They follow from scaling. We therefore provide a quick proof of the last inequality. Suppose that t is large enough so that \(p(t,\,0)\le 1\). Now, we have that \(\frac{|x-y|}{\tau }\le \frac{2|x|}{\tau }\vee \frac{2|y|}{\tau }\le |x|\vee |y|.\) Therefore by the monotonicity property of the heat kernel and the fact that time is large enough, we have
We will need the lower bound described in the following lemma. The upper bound is given for the sake of completeness and is true under the additional assumption that \(\alpha >d\), a condition which we will not need in this paper.
Lemma 2.1
-
(a)
There exists a positive constant \(c_1\) such that for all \(x\in {{\mathbb {R}}}^d\)
$$\begin{aligned} G_t(x)\ge c_1 \bigg (t^{-\beta d/\alpha }\wedge \frac{t^\beta }{|x|^{d+\alpha }}\bigg ). \end{aligned}$$ -
(b)
If we further suppose that \(\alpha >d\), then there exists a positive constant \(c_2\) such that for all \(x\in {{\mathbb {R}}}^d\)
$$\begin{aligned} G_t(x)\le c_2 \bigg (t^{-\beta d/\alpha }\wedge \frac{t^\beta }{|x|^{d+\alpha }}\bigg ). \end{aligned}$$
Proof
It is well known that the transition density \(p(t,\,x)\) of any strictly stable process is given by
where \(c_1\) and \(c_2\) are positive constants. We have
which after using (2.3) and an appropriate substitution gives the following
Suppose that \(|x|\le t^{\beta /\alpha }\) then \(t/|x|^{\alpha /\beta }\ge 1\). When we have \(u\le t/|x|^{\alpha /\beta }\), we can write
Since the integral appearing in the right hand side of the above display is finite, we have \(G_t(x)\ge c_8t^{-\beta d/\alpha }\) whenever \(|x|\le t^{\beta /\alpha }\). We now look at the case \(|x|\ge t^{\beta /\alpha }\).
where we have used the fact that \(\int _1^{\infty } (u)^{-\beta }g_\beta (u)du\) is a positive finite constant to come up with the last line.
We now use the fact that \(p((t/u)^\beta ,\,x)\le c_1 \frac{u^{\beta d/\alpha }}{t^{\beta d/\alpha }}\), we have
The inequality on the right hand side is bounded only if \(\alpha >d\). This follows from the fact that for large \(u, g_\beta (u)\) behaves like \(u^{-\beta -1}\). So we have \(G_t(x)\le \frac{c_2}{t^{\beta d/\alpha }}\). Similarly, we can use \(p((t/u)^\beta ,\,x)\le \frac{c_3 t^{\beta }}{u^\beta |x|^{d+\alpha }}\), to write
Since the integral appearing in the above display is finite, we have \(G_t(x)\le \frac{c_4t^{\beta }}{|x|^{d+\alpha }}\). We therefore have
\(\square \)
Remark 2.2
When \(\alpha \le d\), then the function \(G_t(x)\) is not well defined everywhere. But its representation in terms of H functions, one can show that \(x=0\) is the only point where it is undefined. We won’t use the pointwise upper bound. The lower bound is trivially true when \(x=0\).
The \(L^2\)-norm of the heat kernel can be calculated as follows. This lemma is crucial in showing existence of solutions to our equation (1.3).
Lemma 2.3
Suppose that \(d < 2\alpha \), then
where the constant \(C^{*}\) is given by
Proof
Using Plancherel theorem and (2.9), we have
To finish the proof, we need to show that the integral on the right hand side of the above display is bounded. We use equation (2.7) to get
Hence \(\int _0^\infty z^{d/\alpha -1} \left( E_\beta (-z)\right) ^2 \mathrm{d}z<\infty \) if and only if \(d<2\alpha \). \(\square \)
Recall the Fourier transform of the heat kernel
We will use this to prove the following.
Lemma 2.4
For \(\gamma < 2\alpha ,\)
where \(C^*_1= \frac{(\nu )^{-\gamma /\alpha }2\pi ^{d/2}}{\alpha \Gamma \left( \frac{d}{2}\right) }\frac{1}{(2\pi )^d}\int _0^\infty z^{\gamma /\alpha -1} \left( E_\beta (-z)\right) ^2 \mathrm{d}z.\)
Proof
We have
We used the integration in polar coordinates for radially symmetric function in the last equation above. Now using equation (2.7) we get
Hence \(\int _0^\infty z^{\gamma /\alpha -1} (E_\beta (-z))^2 \mathrm{d}z<\infty \) if and only if \(\gamma <2\alpha \). In this case the upper bound in equation (2.23) is
where \(\text {B}(\gamma /\alpha , 2-\gamma /\alpha )\) is a Beta function. \(\square \)
Remark 2.5
For \(\gamma <2\alpha \),
We have the following estimate which will be useful for establishing temporal continuity property of the solution of (1.5).
Proposition 2.6
Let \(\gamma <\min \{2, \beta ^{-1}\}\alpha \) and \(h\in (0,1)\), we then have
Proof
The computation in Lemma 2.4 we have
Using integration in polar coordinates in \({{\mathbb {R}}^d}\), and the fact that \(h(z)=E_\beta (-z)\) is decreasing (since it is completely monotonic, i.e. \((-1)^nh^{(n)}(z)\ge 0\) for all \(z>0, n=0,1,2,3,\ldots \)), we get
Now integrating both sides wrt to s from 0 to t we get
the last inequality follows since \(t<t'\). \(\square \)
Lemma 2.7
Suppose that \(\gamma <\alpha \), then there exists a constant \(c_1\) such that for all \(x,\,y\in {{\mathbb {R}}}^d\), we have
Proof
We start by writing
We use subordination again to write
Recalling that \(f_{E_t}(s')\) is a probability density of inverse subordinator \(D_t\), we can use a change of variable to see that the right hand side of the above display is bounded by
Since the above integral is finite, the result is proved. \(\square \)
The next result gives the behaviour of non-random term for the mild formulation for the solution. For notational convenience, we set
The proof will strongly rely on the representation given by (2.2) and we will also need
where \(p(t,\,x)\) is the heat kernel of the stable process. We will need the fact that for t large enough, we have \(({\tilde{{\mathcal {G}}}} u)_t(x)\ge c_1t^{-d/\alpha }\) for \(x\in B(0,\,t^{1/\alpha })\). We will prove this fact and a bit more in the following. The proof heavily relies on the properties of \(p(t,\,x)\) which we stated earlier in this section.
Lemma 2.8
There exists a \(t_0>0\) large enough such that for all \(t>0\)
where \(c_1\) is a positive constant. More generally, there exists a positive constant \(\kappa >0\) such that for \(s\le t\) and \(t\ge t_0\), we have
\(c_2\) is some positive constant.
Proof
We begin with the following observation about the heat kernel. Choose \(t_0\) large enough so that \(p(t_0,\,0)\le 1\). We therefore have
This immediately gives
We now use the semigroup property to obtain
This inequality shows that for any fixed \(x, ({\tilde{{\mathcal {G}}}} u)_{t+t_0}(x)\) decays as t goes to infinity. It also shows that
This follows from the fact that \(p(t+t_0/2,\,x)\ge c_4t^{-d/\alpha }\) if \(|x|\le t^{1/\alpha }\). The more general statement of the lemma needs a bit more work.
Since we are interested in the case when \(s\le t\) and \(t\ge t_0\), the right hand side can be bounded as follows
The second inequality in the statement of the lemma follows from the above. \(\square \)
Lemma 2.9
There exists a \(t_0>0\) and a constant \(c_1\) such that for all \(t>t_0\) and all \(x\in B(0,\,t^{\beta /\alpha })\), we have
Proof
We start off by writing
After the usual change of variable, we have
which immediately gives
The above holds for any time t. In particular, we have
We now that note that \(x\in B(0,\,t^{\beta /\alpha })\), so we have \(x\in B(0,\,t^{\beta /\alpha }/u)\) and hence for t large enough and \(s\le t\), we have \(({\tilde{{\mathcal {G}}}} u)_{((s+t_0)/u)^\beta }(x)\ge \left( \frac{u}{t}\right) ^{\beta \kappa }\) by the previous lemma. Combining the above estimates, we have the result.\(\square \)
Remark 2.10
The above is enough for the lower bound given in Theorem 1.6 and the lower bound described in Theorem 1.10. But we need an analogous result for the the noise excitability result which hold for all \(t>0\). Fix \({\tilde{t}}>0\) such that \(p(t,\,0)\le 1\) whenever \(t\ge {\tilde{t}}\). For any fixed \(t>0\), we choose k large enough so that \(2^kt>{\tilde{t}}\). Set \(t^*:=2^kt\) and \(s=2^{-k}\).
For any fixed \(t>0\), we choose k large enough so that \(2^kt>{\tilde{t}}\).
Note that the above holds for any time t. We therefore have
We have that \(t_0+s\ge t_0\). Therefore,
We thus have
So now since \(|x|\le t^{1/\alpha }\), we have
where the constant \(c_1\) is dependent on \(t_0\). We can now use similar ideas as in the proof of the previous result to conclude that if \(x\in B(0,\,t^{\beta /\alpha })\), we have
Since we have \(s\le t\), we have essentially found a lower bound for \(({\mathcal {G}}u_0)_{t_0+s}(x)\); a bound which depends only on t. This holds for any \(t_0>0\) and any \(t>0\).
We end this section with a few results from [8]. These will be useful for the proofs of our main results.
Lemma 2.11
(Lemma 2.3 in [8]) Let \(0<\rho <1\), then there exists a positive constant \(c_1\) such that or all \(b\ge (e/\rho )^\rho \),
Proposition 2.12
(Proposition 2.5 in [8]) Let \(\rho >0\) and suppose f(t) is a locally integrable function satisfying
where \(c_1\) is some positive number. Then, we have
for some positive constants \(c_2\) and \(c_3\).
Also we give the following converse.
Proposition 2.13
(Proposition 2.6 in [8]) Let \(\rho >0\) and suppose f(t) is nonnegative, locally integrable function satisfying
where \(c_1\) is some positive number. Then, we have
for some positive constants \(c_2\) and \(c_3\).
3 Proofs for the white noise case
3.1 Proofs of Theorem 1.4
Proof
We first show the existence of a unique solution. This follows from a standard Picard iteration; see [23], so we just briefly spell out the main ideas. For more information, see [18]. Set
and
Define \(D_n(t\,,x):={{\mathbb {E}}}|u^{(n+1)}_t(x)-u^{(n)}_t(x)|^2\) and \(H_n(t):=\sup _{x\in {{\mathbb {R}}}^d}D_n(t\,,x)\). We will prove the result for \(t\in [0,\,T]\), where T is some fixed number. We now use this notation together with Walsh’s isometry and the assumption on \(\sigma \) to write
We therefore have
We now note that the integral appearing on the right hand side of the above display is finite when \(d<\alpha /\beta \). Hence, by Lemma 3.3 in Walsh [23], the series \(\sum _{n=0}^\infty H^{\frac{1}{2}}_n(t)\) converges uniformly on \([0,\,T].\) Therefore, the sequence \(\{u_n\}\) converges in \(L^2\) and uniformly on \([0,\,T]\times {{\mathbb {R}}}^d\) and the limit satisfies (1.4). We can prove uniqueness in a similar way. We now turn to the proof of the exponential bound. From Walsh’s isometry, we have
Since we are assuming that the initial condition is bounded, we have that \(|({\mathcal {G}}u_0)_t(x)|^2\le c_1\) and the second term is bounded by
We therefore have
The renewal inequality in Proposition 2.12 with \(\rho =(\alpha -d\beta )/\alpha \) proves the result. \(\square \)
3.2 Proof of Theorem 1.6
The proof of Theorem 1.6 will rely on the following observation. From Walsh isometry, we have
For any fixed \(t_0>0\), we use a change of variable and the fact that all the terms are non-negative to obtain
Using the above relation again, we obtain
Using the same procedure recursively, we obtain
where we have used the convention that \(s_0:=t\) and \(z_0:=x\). Let \(x\in B(0,\,t^{\beta /\alpha })\) and \(0\le s\le t\) and set
The existence of such a function \(g_t\) is guaranteed by Lemma 2.9 and Remark 2.10. We can now use the above representation to prove the following result.
Proposition 3.1
Fix \(t_0>0\) such that for \(t\ge 0\),
where \(c_1\) is a positive constant.
Proof
Our starting point is (3.1). Recall the notation introduced above,
whenever \(z_k\in B(0, t^{\beta /\alpha })\) and \(0\le s_k\le t\). The infinite sum of the right of (3.1) is thus bounded below by
We now reduce the temporal domain of integration and make an appropriate change of variable to find a lower bound of the above display
We will reduce the domain of the function
by choosing the points \(z_i\) appropriately so that they are ”not too far way”. We choose \(z_1\in B(0,\,t^{\beta /\alpha })\) such that \(|z_1-x_0|\le s_1^{\beta /\alpha }\). In general, for \(i=1,\ldots ,k\), we choose \(z_i\in B(z_{i-1},\,s_i^{\beta /\alpha })\cap B(0,\,t^{\beta /\alpha })\). An immediate consequence of this restriction is that
Since the area of the set \(B(z_{i-1},\,s_i^{\beta /\alpha })\cap B(0,\,t^{\beta /\alpha })\) is \(c_2s_i^{d\beta /\alpha }\), we have
Putting all the estimates together we have
\(\square \)
Proof of Theorem 1.6
We make the important observation that \(g_t\) decays no faster than polynomial. After a simple substitution and the use of Lemma 2.11, the theorem is proved. \(\square \)
Remark 3.2
It should be noted that we do not need the full statement of Proposition 3.1. All that we need is the statement when time is large.
3.3 Proof of Theorem 1.8
Proof
From the upper bound in Theorem 1.4, we have that for any \(x\in {{\mathbb {R}}^d}\)
from which we have
Next, we will establish a lower bound. Fix \(x\in {{\mathbb {R}}^d}\), for any \(t>0\), we can always find a time \(t_0\) such that \(t=t-t_0+t_0\) and \(t-t_0>0\). If t is already large enough so that \(x\in B(0,t^{\beta /\alpha })\) then by Proposition 3.1 and Lemma 2.11 we get
Now if \(x\notin B(0,t^{\beta /\alpha })\), we can choose a \(\kappa >0\) so that \(x\in B(0,(\kappa t)^{\beta /\alpha })\). Then we can use the ideas in Proposition 3.1 to end up with
and the result follows from this using Lemma 2.11. \(\square \)
4 Proofs for the colored noise case
4.1 Proof of upper bound in Theorem 1.10
Proof
The proof of existence and uniqueness is standard. For more information, see [23]. We set
and
Define \(D_n(t\,,x):={{\mathbb {E}}}|u^{(n+1)}(t,\,x)-u^{(n)}(t,\,x)|^2, H_n(t):=\sup _{x\in {{\mathbb {R}}}^d}D_n(t\,,x)\) and \(\Sigma (t,y,n)=\left| \sigma (u^{(n)}(t,\,y))-\sigma (u^{(n-1)}(t,\,y))\right| \). We will prove the result for \(t\in [0,\,T]\) where T is some fixed number. We now use this notation together with the covariance formula (1.6) and the assumption on \(\sigma \) to write
Now we estimate the expectation on the right hand side using Cauchy-Schwartz inequality.
Hence we have for \(\gamma <\alpha \) using Lemma 2.7
We therefore have
We now note that the integral appearing on the right hand side of the above display is finite when \(d<\alpha /\beta \). Hence, by Lemma 3.3 in Walsh [23], the series \(\sum _{n=0}^\infty H^{\frac{1}{2}}_n(t)\) converges uniformly on \([0,\,T].\) Therefore, the sequence \(\{u_n\}\) converges in \(L^2\) and uniformly on \([0,\,T]\times {{\mathbb {R}}}^d\) and the limit satisfies (1.7). We can prove uniqueness in a similar way.
We now turn to the proof of the exponential bound. Set
We claim that there exists constants \(c_4, c_5\) such that for all \(t>0, \) we have
The renewal inequality in Proposition 2.12 with \(\rho =(\alpha -\gamma \beta )/\alpha \) then proves the exponential upper bound. To prove this claim, we start with the mild formulation given by (1.7), then take the second moment to obtain the following
Since \(u_0\) is bounded, we have \(I_1\le c_4\). Next we use the assumption on \(\sigma \) together with Hölder’s inequality to see that
Therefore, using Lemma 2.7 the second term \(I_2\) is thus bounded as follows.
Combining the above estimates, we obtain the required result in the claim. \(\square \)
4.2 Proof of lower bound in Theorem 1.10
The starting point of the proof of the lower bound hinges on the following recursive argument.
We now use the assumption that \(\sigma (x)\ge l_\sigma |x|\) for all x to reduce the above to
We now replace the t above by \(t+{\tilde{t}}\) and use a substitution to reduce the above to
We also have
The above two inequalities thus give us
We set \(z_0=z_0':=x\) and \(s_0:=t\) and continue the recursion as above to obtain
Therefore,
Proposition 4.1
There exists a \(t_0>0\) such that for \(t>t_0\),
where \(c_1\) is a positive constant.
Proof
We will look at the following term which comes from the recursive relation described above,
We can bound the above term by
We now make a substitution and reduce the temporal region of integration to write
We will further reduce the domain of integration so the function
has the required lower bound. For \(i=0,\cdots , k\), we set
and
We therefore have \(|z_i-z'_i|\le s_1^{\beta /\alpha }, |z_i-z_{i-1}|\le s_i^{\beta /\alpha }\) and \(\left| z'_i-z'_{i-1}\right| \le s_i^{\beta /\alpha }\). We use the lower bound on the heat kernel to find that
for some \(c>0\). We set \({\mathcal {A}}_i:=B\left( x,\,s_1^{\beta /\alpha }/2\right) \cap B\left( z_{i-1},\,s_i^{\beta /\alpha }\right) \) and \({\mathcal {A}}_i':=B\left( x,\,s_1^{\beta /\alpha }/2\right) \cap B\left( z'_{i-1},\,s_i^{\beta /\alpha }\right) \). We will further choose that \(s_i^{\beta /\alpha }\le \frac{s_1^{\beta /\alpha }}{2}\) and note that \(|{\mathcal {A}}_i|\ge c_1s_i^{d\beta /\alpha }\) and \(|{\mathcal {A}}'_i|\ge c_1s_i^{d\beta /\alpha }\). We therefore have
We now take time large enough and use Lemma 2.11 to complete the proof of theorem. \(\square \)
4.3 Proof of Theorem 1.12
The proof of this theorem is exactly as that of Theorem 1.8 and it is omitted. \(\square \)
4.4 Proof of Theorem 1.13
Proof
We will make use of the Kolmogorov’s continuity theorem. Therefore we consider the increment \({{\mathbb {E}}}|u_{t+h}(x)-u_{t}(x)|^p\) for \(h\in (0,1)\) and \(p\ge 2\). We have
The first term, \(\int _{{\mathbb {R}}^d}G_{t}(x-y)u_0(y)\mathrm{d}y\) is smooth for \(t>0\). This essentially follows from the fact that under the condition on the initial condition, we can interchange integral and derivatives. We will therefore look at higher moments of the remaining terms. Recall that we can use the similar ideas in the proof of Theorem 1.10 to show that \(\sup _{x\in {{\mathbb {R}}^d}}{{\mathbb {E}}}|u_t(x)|^p\) is finite for all \(t>0\). We use the Burkholder’s inequality together with Proposition 2.6 to write
Similarly we have
Combine the above estimates, we see that
Now an application of Kolmogorov’s continuity theorem as in [2] completes the proof. \(\square \)
References
Baeumer, B., Geissert, M., Kovacs, M.: Existence, uniqueness and regularity for a class of semilinear stochastic Volterra equations with multiplicative noise. Preprint
Boulanba, L., Eddahbi, M., Mellouk, M.: Fractional SPDEs driven by spatially correlated noise: existence of the solution and smoothness of its density. Osaka J. Math. 47(1), 41–65 (2010)
Caputo, M.: Linear models of dissipation whose Q is almost frequency independent, Part II. Geophys. J. R. Astr. Soc. 13, 529–539 (1967)
Chen, L.: Nonlinear stochastic time-fractional diffusion equations on \({\mathbb{R}}\): moments, Hölder regularity and intermittency. Trans. Amer. Math. Soc. arXiv:1410.1911v1 (to appear)
Chen, Z.-Q., Kim, K.-H., Kim, P.: Fractional time stochastic partial differential equations. Stoch. Process. Appl. 125, 1470–1499 (2015)
Da Prato, G., Zabczyk, J.: Stochastic Equations in Infnite Dimensions, Encyclopedia of Mathematics and its Applications, vol. 44. Cambridge University Press, Cambridge (1992)
Dalang, R.C., Quer-Sardanyons, L.: Stochastic integrals for spde’s: a comparison. Expo. Math. 29(1), 67–109 (2011)
Foondun, M., Liu W., Omaba, M.: Moment bounds for a class of fractional stochastic heat equations. Ann. Probab. arXiv:1409.5687 (to appear)
Foondun, M., Khoshnevisan, D., Nualart, E.: A local-time correspondence for stochastic partial differential equations. Trans. Am. Math. Soc. 363, 2481–2515 (2011)
Foondun, M., Khoshnevisan, D.: Intermittence and nonlinear parabolic stochastic partial differential equations. Electron. J. Probab. 14(21), 548–568 (2009)
Foondun, M., Khoshnevisan, D.: On the stochastic heat equation with spatially-colored random forcing. Trans. Am. Math. Soc. 365, 409–458 (2013)
Haubold, H.J., Mathai, A.M., Saxena, R.K.: Review Article: Mittag-Leffler functions and their applications. J. Appl. Math. (2011) Article ID 298628
Karczewska, A.: Convolution type stochastic Volterra equations. Lecture Notes in Nonlinear Analysis 10, pp. 101, Juliusz Schauder Center for Nonlinear Studies, Torun (2007)
Khoshnevisan, D.: Analysis of stochastic partial differential equations. CBMS Regional Conference Series in Mathematics, vol. 119. Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI (2014)
Khoshnevisan, D., Kim, K.: Non-linear noise excitation and intermittency under high disorder. Proc. Am. Math. Soc. 143, 4073–4083 (2015)
Mathai, A.M., Haubold, H.J.: Special Functions for Applied Scientists. Springer, Berlin (2007)
Meerschaert, M.M., Nane, E., Xiao, Y.: Fractal dimensions for continuous time random walk limits. Stat. Probab. Lett. 83, 1083–1093 (2013)
Mijena, J., Nane, E.: Space time fractional stochastic partial differential equations. Stoch. Process. Appl. 125(9), 3301–3326 (2015)
Mijena, J.B., Nane, E.: Intermittence and time fractional partial differential equations. Potential Anal. 44, 295–312 (2016)
Umarov, S.R., Saidamatov, É. M.: Generalization of the Duhamel principle for fractional-order differential equations. (Russian) Dokl. Akad. Nauk 412 (2007), no. 4, 463–465; translation in Dokl. Math. 75 (2007), no. 1, 94–96
Umarov, S.: On fractional Duhamel’s principle and its applications. J. Differ. Equ. 252(10), 5217–5234 (2012)
Umarov, S., Saydamatov, E.: A fractional analog of the Duhamel principle. Fract. Calc. Appl. Anal. 9(1), 57–70 (2006)
Walsh, John B.: An Introduction to Stochastic Partial Differential Equations, École d’été de Probabilités de Saint-Flour, XIV|1984. Lecture Notes in Math., vol. 1180, pp. 265–439. Springer, Berlin (1986)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Foondun, M., Nane, E. Asymptotic properties of some space-time fractional stochastic equations. Math. Z. 287, 493–519 (2017). https://doi.org/10.1007/s00209-016-1834-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-016-1834-3