- Research
- Open access
- Published:
A note on stability of SPDEs driven by α-stable noises
Advances in Difference Equations volume 2014, Article number: 98 (2014)
Abstract
In this paper, by the Minkovski inequality and the semigroup method we discuss the stability of mild solutions for a class of SPDEs driven by α-stable noise, and the methods are also generalized to deal with the stability of SPDEs driven by subordinated cylindrical Brownian motion and fractional Brownian motion, respectively.
MSC:60H15, 60G15.
1 Introduction
The stability of stochastic partial differential equations (SPDEs) driven by Brownian motions or Lévy processes has been well established; see, e.g., Bao and Yuan [1], Bao et al. [2, 3], Chow [4], Liu [5] and Yuan and Bao [6], to name a few, where the noise processes are assumed to be square integrable. However, such restriction clearly rules out the interesting α-stable processes since Wiener noise and Poisson-jump noise have arbitrary finite moments, while α-stable noise only has finite p th moment for with . Recently, stochastic equations driven by α-stable processes, which have plenty of applications in physics due to the fact that the α-stable noise exhibits the heavy tailed phenomenon, e.g., Solomon et al. [7], receives great attention. For example, Priola and Zabczyk [8] gave a proper starting point on the investigation of structural properties of SPDEs driven by an additive cylindrical stable noise, Dong et al. [9] studied the ergodicity of stochastic Burgers equations driven by -subordinated cylindrical Brownian motion with , and Zhang [10] established the Bismut-Elworthy-Li derivative formula for stochastic differential equations (SDEs) driven by α-stable noise. For finite-dimensional cases, Wang [11] derived a gradient estimate for linear SDEs driven by α-stable noise, and Wang [12] established the functional inequalities for Ornstein-Uhlenbeck processes driven by α-stable noise by the sharp estimates of density function for rotationally invariant symmetric α-stable Lévy processes. However, there are few papers on the asymptotic behavior of mild solution of SPDEs driven by α-stable processes. In this note, we shall discuss the stability property of mild solutions of a class of SPDEs driven by α-stable processes to close the gap. Due to the fact that α-stable noise only has finite p th moment for and that the stochastic evolution does not admit a stochastic differential, which leads to the Itô formula being unavailable, then some new tricks need to be put forward to overcome the difficulties brought about by α-stable noise.
This note is organized as follows: in Section 2 we apply the Minkovski inequality and the semigroup method to investigate the exponential stability of mild solutions for a class of SPDEs driven by α-stable processes, and these tricks are extended to cope with the stability of mild solutions of SPDEs driven by subordinated cylindrical Brownian motion and fractional Brownian motion, respectively, in Section 3.
2 Stability of SPDEs driven by α-stable noise
We firstly give an overview of stable processes. An ℝ-valued random variable η is said to be stable with stability index , scale parameter , skewness parameter , and location parameter if it has characteristic function of the form
where for and for . We call η is strictly α-stable whenever , and if, in addition, , η is said to be symmetric α-stable. We refer to, e.g., Applebaum [13] and Sato [14], for more details of stable distributions. Let be a real separable Hilbert space, and a cylindrical α-stable process, defined by
Here is an orthonormal basis of ℍ, are independent, ℝ-valued, normalized, symmetric α-stable Lévy processes defined on the stochastic basis , and is a sequence of positive numbers.
In this section, we shall consider an SPDE driven by α-stable process in ℍ
with initial value .
In this section we shall assume the following.
-
(A1) is a self-adjoint compact operator on ℍ such that −A has discrete spectrum , with corresponding eigenbasis of ℍ. In this case, by [[15], Theorem 6.26, p.185] and [[15], Theorem 6.29, p.187], A generates a -semigroup , , such that , where denotes the usual operator norm.
-
(A2) and there exist and such that
and
where is a local integrable continuous function.
-
(A3) is a continuous function such that
is locally bounded, i.e., is bounded on the time interval for any , where is the sequence appearing in (2.1) and is the discrete spectrum of A.
Under (A1)-(A3), equation (2.2) has a unique mild solution, see, e.g., [[8], Formula 5.3], that is, there exists a predictable ℍ-valued stochastic process such that
Next we recall the following Minkowski inequality, which plays a key role in revealing the stability property of SPDEs driven by α-stable processes.
Lemma 2.1 Let and be two measurable spaces and be measurable. Then, for any ,
We now can state our main results in this section.
Theorem 2.2 Let (A1) and (A2) hold and assume further that
and
Then, for , and , there exists such that
That is, the solution is exponentially stable in the pth moment with the Lyapunov exponent .
Proof Under (A1), (A2), and (2.5), (2.2) has a unique mild solution . Recall the fact that , , is a norm, which will be utilized again and again. We then obtain from (2.3)
By (A1), it is readily seen that
Next, applying Lemma 2.1 and using (A1) and (A2) yield
where we have also used the fact that , , is a norm. By virtue of (2.1) and (A1), a direct calculation shows
where . Let be a Rademacher sequence defined on a new probability space , i.e., are i.i.d. with . Recall Khintchine’s inequality: for a sequence of real numbers and any , there exists such that
Then, by (2.10) and following an argument similar to that of [[8], Theorem 4.5], the stochastic evolution has the estimation
where is some constant. Substituting (2.8)-(2.11) into (2.7) gives
Thus, by (2.4) and (2.5), we arrive at
In view of the Gronwall inequality,
holds and the desired assertion (2.6) follows due to . □
In what follows, we establish an example to demonstrate that the condition (2.5) holds in many practical situations.
Example 2.3 Let , where is a constant such that . A direct computation shows that
due to the increasing property of the spectrum . If holds, then both (A3) and (2.5) are satisfied. There are plenty of examples such that the condition holds, e.g., [[8], Example 4.4]. Moreover, if , , , , , where 1 is the identical operator on H and is Lipschitzian such that , then (A2) and (2.4) holds.
Remark 2.1 To reveal the stability property of the mild solution of (2.1), we replace (A3) by a little bit strong condition (2.5), although (2.1) admits a unique mild solution in finite-time horizon under (A1)-(A3).
Remark 2.2 For , if is bounded, then (2.1) has a unique mild solution under (A1)-(A3); see, e.g., [[8], Proposition 5.1]. For such case, by the fundamental inequality
we have
where is defined as in (2.7). Then under appropriate conditions, we can also discuss the stability property of the mild solution of (2.2).
Remark 2.3 Due to the fact that stochastic evolution does not admit stochastic differential, we apply the semigroup method, not the Itô formula, to study the stability property of the mild solution of (2.2). Comparing with the current technique, we generally adopt the following procedure to discuss the exponential stability of (2.2): For , by the inequality , , (A1), and the Hölder inequality
Hence it follows that
Thus, carrying out a similar argument to that of Theorem 2.2, we conclude by the previous method that the Lyapunov exponent is dependent on , and . However, by the technique introduced in the argument of Theorem 2.2, we find that the Lyapunov exponent is , which only is dependent on and .
3 Extension to SPDEs driven by subordinated cylindrical Brownian motions and fractional Brownian motions
In the last section, we introduce some tricks to study the stability of mild solutions for a class of SPDEs driven by α-stable noise. In this section, following these tricks, we proceed to investigate the stability of SPDEs driven by subordinated cylindrical Brownian motion and fractional Brownian motion, respectively. To begin with, we recall some notions. For , let be an -stable subordinator defined on the probability space , i.e., an increasing ℝ-valued Lévy process; see, e.g., Applebaum [[13], pp.52-62] and Sato [[14], Chapter 6], with Laplace transform
see, e.g., [[13], Example 1.3.14, p.51]. Let be a sequence of independent standard one-dimensional Brownian motion defined on the probability space . The subordinated cylindrical Brownian motion on ℍ is defined by
where is an -stable subordinator independent of , is a sequence of real numbers, and is an orthonormal basis of ℍ. Note that , which satisfies for each , is a Lévy process by [[13], Theorem 1.3.25, p.56] and an α-stable process due to [[13], Proposition 1.3.27, p.58].
In this section, we shall consider an SPDE driven by the subordinated cylindrical Brownian motion , defined by (3.1), on ℍ
with initial value , where is local integrable continuous function. Let (A1) and (A2) hold and assume further that
is locally bounded. Then (3.2) admits a unique mild solution in a finite-time interval; see, e.g., [[10], Proposition 4.3], that is, there exists a predictable ℍ-valued stochastic process such that
One of our main results in this section is as follows.
Theorem 3.1 Let (A1), (A2), and (2.4) hold and assume further that
Then, for , and , there exist and such that
In other words, the solution is exponentially stable in the pth moment, where the Lyapunov exponent is −γ.
Proof Also by the fact that , , is norm, we deduce from (3.2) that
where and are defined as in (2.7), and is defined by
By the Gaussian formula, following an argument like that of [[10], Proposition 4.2] and (2.11), we get
where is some constant. In view of (2.8), (2.9), and (3.5), it follows from (3.4) that
Then, for arbitrary sufficiently small, one has
Thanks to (2.4), (3.3), and the uniform boundedness of by and , there exists such that
This, together with the Gronwall inequality, leads to
Then, by , we take such that and the desired assertion follows immediately. □
Remark 3.1 We remark that Example 2.3 still satisfies the condition (3.3).
In what follows, we further apply the technique adopted in the argument of Theorem 3.1 to study the stability for a class of SPDEs driven by fractional Brownian motion. We also need to recall some details of fractional Brownian motion. Let be an ℍ-valued cylindrical fractional Brownian motion defined by
Here, , , are ℝ-valued independent fractional Brownian motions with Hurst index H, i.e., for each , is an ℝ-valued centered Gaussian process starting from zero, defined on the probability space , with covariance function
and is an orthonormal basis of H. are standard Brownian motions for , admit self-similarity, possess Hölder continuity, but are not semi-martingales for ; see, e.g., [[16], Chapter 5]. To the best of our knowledge, there are essentially two different approaches to construct stochastic integrals with respect to the fractional Brownian motion, i.e., a path-wise approach and the Malliavin calculus; see, e.g., the monograph [16].
For any , and , the family of linear operators from ℍ to ℍ, the stochastic integral with respect to the cylindrical fractional Brownian motion is defined by
provided that . Here, for each , admits the Wiener integral representation:
where is an ℝ-valued Wiener process, and the kernel is given by
for some positive constant , and, for ,
For more details of the stochastic integration with respect to the infinite-dimensional fractional Brownian motion, we refer to, e.g., Tindel et al. [17].
In the following section, we consider an SPDE driven by the cylindrical fractional Brownian motion , defined by (3.6), on ℍ
with initial value , where A and b are defined as in (2.2) and , the space of all Hilbert-Schmidt operators, such that
where denotes the usual Hilbert-Schmidt norm, i.e., for a Hilbert-Schmidt operator. Under (A1), (A2), and (3.8), (3.7) has a unique mild solution; see, e.g., [[18], Theorem 1], that is, there exists a predictable H-valued stochastic process such that
Note that the solution of (3.7) is even not a semi-martingale so that the Itô formula is unavailable.
The other main results in this section is as follows.
Theorem 3.2 Let (A1), (A2), and (3.8) hold and assume further that
Then, for and , there exist and such that
In other words, the solution is exponentially stable in mean square, where the Lyapunov exponent is −γ.
Proof We here only outline the argument of Theorem 3.2 since it is similar to that of Theorem 3.1. Recall from [[18], Lemma 2] that
for some constant , due to the fact that is a bounded linear operator and σ is Hilbert-Schmidt. Following the argument of Theorem 3.1, for any sufficiently small, we have
Taking (2.4), (3.9), and the uniform boundedness of into account and thus applying the Gronwall inequality yields the desired assertion. □
Remark 3.2 By the approach introduced in the previous section, we discuss the mean square exponential stability of (3.7) under the condition . However, Caraballo et al. [18] investigated the same problem under . In other words, we have improved some existing results in certain sense.
Remark 3.3 All the results in this paper can be further extended to functional SPDEs driven by α-stable noise and fractional Brownian motion, including variable delay and distributed delay, while we here omit such discussions since there are no technical problems. Furthermore, there are also some interesting problems for SPDEs driven by α-stable noise to be investigated, e.g., since (2.2) is non-autonomous, the mild solution is not a homogeneous Markov process, which makes the investigation of the stability in distribution of analytic solution, a weaker stability notion than exponential stability, and the corresponding numerical stability, very interesting. Such a topic will be reported in our forthcoming paper.
References
Bao J, Yuan C: Stabilization of partial differential equations by Levy noise. Stoch. Anal. Appl. 2012, 30: 354-374. 10.1080/07362994.2012.649632
Bao J, Mao X, Yuan C: Lyapunov exponents of hybrid stochastic heat equations. Syst. Control Lett. 2012, 61: 165-172. 10.1016/j.sysconle.2011.10.009
Bao J, Truman A, Yuan C: Almost sure asymptotic stability of stochastic partial differential equations with jumps. SIAM J. Control Optim. 2011, 49: 771-787. 10.1137/100786812
Chow P: Stochastic Partial Differential Equations. Chapman & Hall/CRC, Boca Raton; 2007.
Liu K: Stability of Infinite Dimensional Stochastic Differential Equations with Applications. Chapman & Hall/CRC, Boca Raton; 2006.
Yuan C, Bao J: On the exponential stability of switching-diffusion processes with jumps. Q. Appl. Math. 2013, 71: 311-329.
Solomon TH, Weeks ER, Swinney HL: Observation of anomalous diffusion and Lévy flights in a two-dimensional rotating flow. Phys. Rev. Lett. 1993, 71: 3975-3978. 10.1103/PhysRevLett.71.3975
Priola E, Zabczyk J: Structural properties of semilinear SPDEs driven by cylindrical stable processes. Probab. Theory Relat. Fields 2011, 149: 97-137. 10.1007/s00440-009-0243-5
Dong, Z, Xu, L, Zhang, X: Ergodicity of stochastic Burgers equations driven by α-stable processes. arXiv: 1208.5804v1
Zhang, X: Derivative formula and gradient estimation for SDEs driven by α-stable processes. arXiv: 1204.2630v2
Wang F-Y: Gradient estimate for Ornstein-Uhlenbeck jump processes. Stoch. Process. Appl. 2011, 121: 466-478. 10.1016/j.spa.2010.12.002
Wang, J: Harnack inequalities for Ornstein-Uhlenbeck processes driven by Lévy processes. arXiv: 1105.2958v1
Applebaum D: Lévy Processes and Stochastic Calculus. 2nd edition. Cambridge University Press, Cambridge; 2009.
Sato K: Lévy Processes and Infinite Divisible Distributions. Cambridge University Press, Cambridge; 1999.
Kato T: Perturbation Theory for Linear Operators. Springer, New York; 1966.
Nualart D: The Malliavin Calculus and Related Topics. 2nd edition. Springer, Berlin; 2006.
Tindel S, Tudor C, Viens F: Stochastic evolution equations with fractional Brownian motion. Probab. Theory Relat. Fields 2003, 127: 186-204. 10.1007/s00440-003-0282-2
Caraballo T, Garrido-Atienza MJ, Taniguchi T: The existence and exponential behavior of solutions to stochastic delay evolution equations with a fractional Brownian motion. Nonlinear Anal. 2011, 74: 3671-3684. 10.1016/j.na.2011.02.047
Acknowledgements
This research is supported by the Natural Science Foundation of China under Grant no. 71372063.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The main idea of this paper was proposed by JYW and YLR. JYW prepared the manuscript initially and performed all the steps of the proofs in this research. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Wang, J., Rao, Y. A note on stability of SPDEs driven by α-stable noises. Adv Differ Equ 2014, 98 (2014). https://doi.org/10.1186/1687-1847-2014-98
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2014-98