1. Introduction
Let
be an operator fractional Brownian motion with exponent
D, that is,
X is a mean zero Gaussian process in
, has stationary increments and is operator self-similar with exponent
D,
a.s. We will use the following definition for operator self-similarity, which corresponds to that of operator self-similar random fields of Sato [
31]. An
-valued random field
is said to be operator self-similar if there exists an
, where
is the set of linear operators on
, such that for all
,
where
means the processes
X and
Y have the same finite dimensional distributions and
.
An operator fractional Brownian motion has been introduced in the seminal papers of Laha and Rohatgi [
14], Hudson and Mason [
11], Maejima and Mason [
19] and Didier and Pipiras [
8] as extensions to the class of fractional Brownian motion. If
,
X is the standard fractional Brownian motion. If the operator self-similar exponent
is a diagonal operator, where
for all
, then
X is referred to multivariate fractional Brownian motion. See Stoev and Taqqu [
33], Lavancier et al. [
15,
16] and Coeurjolly et al. [
3] for more information about multivariate fractional Brownian motion.
The cross-covariance structure of multivariate fractional Brownian motion induced by the operator self-similarity and the stationarity of the increments has been first studied in [
16], Theorem 2.1, without having recourse to the Gaussian assumption. Amblard et al. [
1] have parameterized this covariance structure in a more simple way as follows.
Firstly, the i-th component of the multivariate fractional Brownian motion is a fractional Brownian motion with exponent , . The cross covariances are given in the following proposition.
Proposition 1. ([16]). The cross covariances of the multivariate fractional Brownian motion satisfy the following representation, for all , ,
(1) If , there exist , , with and such that
(2) If , there exist , , with and such that
Remark 1.
Note that coefficients
depend on the parameters
. Assuming the continuity of the cross covariances function with respect to the parameters
, the expression (
3) can be deduced from (
2) by taking the limit as
tends to 1, noting that
as
. We obtain the following relations between the coefficients: as
This convergence result can suggest a reparameterization of coefficients
in
.
The multivariate models evoke several applications where matrix-based scaling laws are expected to appear, such as in long range dependent time series (see, e.g., [
2,
5,
6,
9,
12,
22]) and queueing systems (see, e.g., [
7,
13,
20,
21]). Like fractional Brownian motion in the univariate setting, operator fractional Brownian motion is a natural starting point in the construction of estimators for operator self-similar processes due to its tight connection to stationary fractional processes and its being Gaussian (on the general theory of operator self-similar processes, see [
4,
11,
14,
19]). The fractal nature for operator fractional Brownian motion such as the Hausdorff dimension of the image and graph, and spatial surface properties such as hitting probabilities, transience, and the characterization of polar sets were studied by Mason and Xiao [
24].
The purpose of this paper is to investigate the rates of change of spatial surfaces for operator fractional Brownian motion in any given direction. We obtain the estimations of small ball probability and the prediction error for operator fractional Brownian motion in any given direction. Applying these estimates we investigate its small values and prove its Chung’s law of the iterated logarithm. A Chung’s law of the iterated logarithm for multivariate fractional Brownian motion is derived from it as a consequence. Our results show that the rates of change of spatial surfaces for operator fractional Brownian motion in any given direction are completely determined by the self-similarity exponent.
Our method of proof relies heavily on the multivariate regular variation theory developed by Meerschaert [
25,
26], Meerschaert and Scheffler [
28,
29], Seneta [
32] and Wang [
36], which is the key ingredient of the proof of our main results (see
Section 2 and 3).
We use the notations if , if there exits a constant such that . All constants K appearing in this paper (with or without subscript) are positive and may not necessarily be the same in each occurrence. More specific constants in Section i will be denoted by For , let ,
2. Methodology
2.1. Spectral index function and exponential operators
From the Jordan decomposition’s theorem (see [
10] p. 129 for instance), as done in [
29] for the study of operator-self-similar Gaussian random fields, there exists a real invertible
matrix
P such that
is of the real canonical form, which means that
E is composed of diagonal blocks which are either Jordan cell matrix of the form
with
v a real eigenvalue of
D or blocks of the form
where the complex numbers
are complex conjugated eigenvalues of
D.
Let us recall that the eigenvalues of
D are denoted by
and that
for
. There exist
, where each
is either a Jordan cell matrix or a block of the form (
4), and
P a real
invertible matrix such that
We can assume that each
is associated with the eigenvalue
of
D and that
If
,
is a Jordan cell matrix of size
. If
,
is a block of the form (
4) of size
. Then for any
,
We denote by
the canonical basis of
and set
for every
. Hence,
is a basis of
. For all
, let
Then, each
is a
D-invariant set and
is a direct sum decomposition of
into
D-invariant subspaces. We may write
, where
and every eigenvalue of
has real part equal to
. The matrix for
D in an appropriate basis is then block-diagonal with
p blocks, the
ith block corresponding to the matrix for
.
Let
so that
. Let
be the spectral index function, that is,
where
and
is the spectral decomposition
with respect to
D. Choose an inner product
on
such that
for
, and let
be the associated Euclidean norm. The operator norm of the linear operator
A on
is defined by
We first state several useful facts about the operator norm and exponential operators whose proofs are easy (see, e.g., [
29] or [
36] for their proofs) and will be used to our proofs.
- i)
for all and all ;
- ii)
for all ;
- iii)
If and , then ;
- iv)
If and , then ;
- v)
If and , then .
- vi)
If , then for any ;
- vii)
If , then for any ;
Let be a real invertible matrix U such that . In fact, it is symmetric and holds whenever is invertible. For any vector , define by , where denotes the transpose of the matrix or vector A.
Lemma 1.
Let be an unit vector. Then, for any and ,
Proof. The proof of both cases is similar, so we only proof the case
. For any
, there exists a unique
such that
, where
and
is the spectral decomposition
with respect to
D. Moreover, for any
, there exist
,
,
, such that
and
, where
is the spectral decomposition of
D and
is the spectral decomposition of
U. Then, for any
,
Noting that every eigenvalue of
has real part equal to
, by Facts i), ii) and vi), we have that for any
and
,
and
Since
is arbitrary and
for all
, we have
. Thus, by Facts ii) and vi), for any
,
Similarly to the above inequality, we have
The proof is completed. □
Now we summarize some basic facts about Gaussian processes. Let
be a Gaussian process. We provide
S with the following metric
where
. We denote by
the smallest number of open
d-balls of radius
needed to cover
S and write
.
The following lemma is well known. It is a consequence of the Gaussian isoperimetric inequality and Dudley’s entropy bound(see [
35]).
Lemma 2.
There exists an absolute constant such that for any , we have
Lemma 3.
Consider a function ψ such that for all . Assume that for some constant and all we have
Then
This is proved in [
34]; see also [
30] and [
18]. It gives an estimate for the lower bound of the small ball probability of Gaussian processes.
2.2. Strong local nondeterminism
Now we start to construct a moving average representation of operator fractional Brownian motion.
Lemma 4.
Let be a linear operator with . For , define
where is the identity operator and is p-dimensional standard Brownian motion and i.i.d. components. Then the random field is an operator fractional Brownian motion with exponent D. Furthermore, X is isotropic in the sense that for every ,
and X has a version with continuous sample paths almost surely.
Proof. The proof is similar to that for the stochastic integral representation of operator fractional Brownian motion given in Theorem 3.1 in [
24], we omit the details. The proof is completed. □
The following result establishes the strongly locally nondeterministic for operator fractional Brownian motion in any given direction .
Lemma 5.
Let be an operator fractional Brownian motion in with exponent D. If and , then for any vector , all and all with some ,
Proof. From the representation (
11) it easily follow that if
is an operator fractional Brownian motion with exponent
D, then
It follows from Facts v), vi) and vii) that
and
. Thus, by Lemma 1,
Combining (
14) and (
15), we get (
13). The proof is completed. □
2.3. Small ball probability
We establish the following estimation of small ball probability of spatial surfaces for operator fractional Brownian motion in any given direction .
Proposition 2.
Let be an operator fractional Brownian motion in with exponent D. If and , then for every compact set , any and any vector and all ,
where denotes the local modulus of continuity of on in direction θ, is the right-continuous inverse function of φ.
Proof. Since
is invertible, there exists a real invertible
matrix
U such that
. By the operator self-similarity, for every
,
We denote the matrix
by
. Then, for
,
is normal random variables in
with mean 0 and covariance matrix
. Thus, for all
,
where
and
is an unit vector in
. Noting that
is a standard normal random variable, (
18) implies that
is a standard normal random variable. Thus,
Equip
with the canonical metric
and denote by
the smallest number of
d-balls of radius
needed to cover
S. Then it is easy to see that for all
,
Moreover, it follows from Lemma 1 that
has the doubling property, i.e.,
. Hence the lower bound in (
16) follows from Lemma 3.
The proof of the upper bound in (
16) is based on an argument in [
30]. For any integer
, we choose
n points
, where
,
. Then,
By Anderson’s inequality for Gaussian measures and Lemma 5, we derive the following upper bound for the conditional probabilities
where
is the distribution function of a standard normal random variable. It follows from (
22) and (
23) that
By taking
n to be the smallest integer
, we obtain the upper bound in (
16). □
3. Results
3.1. Zero-one laws for operator fractional Brownian motion
We establish the following zero-one laws for operator fractional Brownian motion to have Chung’s law of the iterated logarithm, which may be of independent interest.
Lemma 6.
Let be an operator fractional Brownian motion in with exponent D. If and , then for every compact set , any and any vector , there exist a constant such that
where
Proof. Let
m be a scattered Gaussian random measure on
with Lebesgue measure
l as its control measure; that is,
is a centered Gaussian process on
with covariance function
Let
be
d independent copies of
m, and define
Then, we consider a version of operator fractional Brownian motion
where
is an independent copy of
. This stochastic integral representation of operator fractional Brownian motion is given in [
24].
Let
and for
,
such that
are mutually disjoint, where the following notation is used:
. For
and
, let
Then
,
are independent Gaussian fields. By (
28), we express
Equip
with the canonical metric
and denote by
the smallest number of
-balls of radius
needed to cover
S.
It follows from (
28) that
Thus,
To obtain the last inequality, in the integral we bound
by
. Then, by (
29) and Theorem 4.1 in [
27], we have
where
. Put
It follows from Facts i)-vii) and
that
as
h tends to zero. This, together with (
30), yields that
Therefore, the random variable
is measurable with respect to the tail field of
and hence is constant almost surely. This implies that (
25) holds. The proof is completed. □
3.2. Chung’s law of the iterated logarithm for spatial surfaces
We shall establish the following Chung’s law of the iterated logarithm for operator fractional Brownian motion.
Theorem 1.
Let be an operator fractional Brownian motion in with exponent D. If and , then for every compact set , any and any vector ,
Denote the standard basis of by . By choosing and using Theorem 1 we obtain the following result about Chung’s law of the iterated logarithm for the components of X.
Corollary 1.
Let be an operator fractional Brownian motion in with exponent D. If and , then for every compact set , and every ,
where denotes the uniform modulus of continuity of the i-th component of on , and
Remark 2.
By making use of (4.6) and (4.8) in [24], (32) implies that there exists a constant such that for every compact set , and every ,
where is defined in Section 2.
By choosing in Corollary 1, where for all , as an immediate consequence of Corollary 1, we have the following Chung’s law of the iterated logarithm for the multivariate fractional Brownian motion, which may be of independent interest.
Proposition 3.
Let be a multivariate fractional Brownian motion in with exponent , , and be a real invertible matrix U such that . Then, for every compact set , any and any vector ,
where and is given as in (31), and for for every compact set , and every ,
where is given as in (32).
Remark 3.
(
34) implies that the minimum growth rate of multivariate fractional Brownian motion in any given direction
is determined by the minimum of
. In addition,
determines the constant on the right hand side of (
34). Although as stated in
Section 1, the
i-th component of the multivariate fractional Brownian motion is a fractional Brownian motion with exponent
,
, (
35) implies that the minimum growth rate of the
i-th coordinate direction of multivariate fractional Brownian motion depends on corresponding covariance matrix and hence the interrelationship between all directions.
Proof of Theorem 1. Throughout, it is sufficient to consider
h-values which make the iterated logarithm positive and
. Put
. We first show that
Let
and
, and for
put
and
. Then, by (
16),
where the sums are over all
k large enough to make
and
. Hence, by the Borel-Cantelli lemma,
for all
k greater than some
. Further, for
and
,
Hence, by Lemma 1, (
36) holds.
Let
and
be arbitrary real number. This time we choose
Define the process
by
and denote
. Clearly, by (
27),
, and for every
,
has stationary increments and
,
are independent due to the virtue of independent increments of
.
For simplify notation, put
and
, where
M is defined in Lemma 6. For any
, put
It follows from (
38) that
By Lemmas 1 and Facts i)-vii) we have
Thus,
To get the second inequality from bottom, in the first integral we bound
by
, and the second one by 2 to get the required bound. Thus, since
,
we have
for all large
k.
By (
44) and Corollary 3.2 in [
17], p.59, we get we get
This implies that
It follows from (
16) that
by choosing
small enough such that
, where the sums are over all
k large enough to make
.
It follows easily that
which, together with (
42) and (
44), yields
Since
are independent, by the Borel-Cantelli lemma,
From Lemma 1, we have
. It follows from (
43) and (
45) that
This yields that (
37) holds.
We have thus established that
Lemma 6 guarantees that the liminf is constant. The proof is completed. □
4. Conclusions
Applying techniques developed in [
30], in this article we obtain the estimations of small ball probability for spatial surfaces of operator fractional Brownian motion, including multivariate fractional Brownian motion. We obtain the strongly locally nondeterministic for spatial surfaces of operator fractional Brownian motion in any given direction
. Applying these estimates we obtain Chung’s laws of the iterated logarithm for spatial surfaces of operator fractional Brownian motion in any given direction
. By combining our results and the Jordan decomposition theorem applied to the exponent
D, it is possible to analyze the rates of change of spatial surfaces by the real parts of the eigenvalues of the exponent
D.
Funding
This work was supported by Humanities and Social Sciences of Ministry of Education Planning Fund of China grant No. 21YJA910005 and National Natural Science Foundation of China under grant No. 11671115.
Acknowledgments
The author wishes to express his deep gratitude to a referee for his/her valuable comments on an earlier version which improve the quality of this paper.
Conflicts of Interest
The authors declare no conflict of interest. The funders had no role in the design of the study; in the collection, analyses, or interpretation of data; in the writing of the manuscript, or in the decision to publish the results.
References
- Amblard, P.-O.; Coeurjolly, J.-F.; Lavancier, F.; Philippe, A. Basic properties of the multivariate fractional Brownian motion. ESAIM Probab. Stat. 2010. [Google Scholar] [CrossRef]
- Chung, C.-F. Sample means, sample autocovariances, and linear regression of stationary multivariate long memory processes. Econometric Theory 2002, 18, 51–78. [Google Scholar] [CrossRef]
- Coeurjolly, J.-F.; Amblard, P.O.; Achard, S. Wavelet analysis of the multivariate fractional Brownian motion. ESAIM Probab. Stat. 2013, 17, 592–604. [Google Scholar] [CrossRef]
- Cohen, S.; Meerschaert, M.M.; Rosiński, J. Modeling and simulation with operator scaling. Stochastic Processes and Their Applications 2010, 120, 2390–2411. [Google Scholar] [CrossRef]
- Davidson, J.; de Jong, R. The functional Central Limit Theorem and weak convergence to stochastic integrals II: Fractionally integrated processes. Econometric Theory 2000, 16, 643–666. [Google Scholar] [CrossRef]
- Davidson, J.; Hashimzade, N. Alternative frequency and time domain versions of fractional Brownian motion. Econometric Theory 2008, 24, 256–293. [Google Scholar] [CrossRef]
- Delgado, R. A reflected fBm limit for fluid models with ON/OFF sources under heavy traffic. Stoch. Process. Appl. 2007, 117, 188–201. [Google Scholar] [CrossRef]
- Didier, G.; Pipiras, V. Integral representations of operator fractional Brownian motion. Bernoulli 2011, 17, 1–33. [Google Scholar] [CrossRef]
- Dolado, J.; Marmol, F. Asymptotic inference results for multivariate long-memory processes. Econometrics J. 2004, 7, 168–190. [Google Scholar] [CrossRef]
- Hirsch, M.W.; Smale, S. Differential Equations, Dynamical Systems, and Linear Algebra. In Pure and Applied Mathematics, 60, Academic Press: New York, London, 1974.
- Hudson, W.N.; Mason, J.D. Operator-self-similar processes in a finite-dimensional space. Trans. Amer. Math. Soc. 1982, 273, 281–297. [Google Scholar] [CrossRef]
- Kechagias, S.; Pipiras, V. Definitions and representations of multivariate long-rangle dependent time serires. J. Time Ser. Anal. 2015, 36, 1–25. [Google Scholar] [CrossRef]
- Konstantopoulos, T.; Lin, S.J. Fractional Brownian approximations of queueing networks. In Stochastic Networks, Lecture Notes in Statistics, 117, 257–273, Springer: New York, 1996.
- Laha, R.G.; Rohatgi, V.K. Operator self-similar stochastic processes in Rd. Stoch. Process. Appl. 1981, 12, 73–84. [Google Scholar] [CrossRef]
- Lavancier, F.; Philippe, A.; Surgailis, D. A two-sample test for comparison of long memory parameters. J. Multivariate Anal. 2010, 101, 2118–2136. [Google Scholar] [CrossRef]
- Lavancier, F.; Philippe, A.; Surgailis, D. Covariance function of vector self-similar process. Stat. Probab. Lett. 2009, 79, 2415–2421. [Google Scholar] [CrossRef]
- Ledoux, M.; Talagrand, M. Probabilities in Banach Spaces. Springer-Verlag: New York, 1991.
- Li, W.V.; Shao, Q.-M. Gaussian processes: inequalities, small ball probabilities and applications. In Stochastic Processes: Theory and Methods, Handbook of Statistics (C.R. Rao and D. Shanbhag, editors) North-Holland 2001, 19, 533–597. [Google Scholar]
- Maejima, M.; Mason, J.D. Operator-self-similar stable processes. Stoch. Process. Appl. 1994, 54, 139–163. [Google Scholar] [CrossRef]
- Majewski, K. Large deviations for multi-dimensional reflected fractional Brownian motion. Stochastics 2003, 75, 233–257. [Google Scholar]
- Majewski, K. Fractional Brownian heavy traffic approximations of multiclass feedforward queueing networks. Queueing Systems 2005, 50, 199–230. [Google Scholar] [CrossRef]
- Marinucci, D.; Robinson, P. Weak convergence of multivariate fractional processes. Stoch. Process. Appl. 2000, 86, 103–120. [Google Scholar] [CrossRef]
- Mason, J.D.; Xiao, Y. Sample path properties of operator-self-similar Gaussian random fields. teor.veroyatnost.i primenen 2001, 46, 94–116. [Google Scholar] [CrossRef]
- Mason, J.D.; Xiao, Y. Sample path properties of operator-self-similiar Gaussian random fields, Th. Probab. Appl. 2002, 46, 58–78. [Google Scholar] [CrossRef]
- Meerschaert, M.M. Regular variation in Rk. Proc. Amer. Math. Soc. 1988, 102, 341–348. [Google Scholar]
- Meerschaert, M.M. Spectral decomposition for generalized domains of attraction. Ann. Probab. 1991, 19, 875–892. [Google Scholar] [CrossRef]
- Meerschaert, M.M.; Wang, W.; Xiao, Y. Fernique type inequality and moduli of continuity for anisotropic Gaussian random fields. Tran. Amer. Math. Soc. 2013, 365, 1081–1107. [Google Scholar] [CrossRef]
- Meerschaert, M.M.; Scheffler, H.P. Multivariable regular variation of functions and measures. J. Appl. Anal. 1999, 5, 125–146. [Google Scholar] [CrossRef]
- Meerschaert, M.M.; Scheffler, H.P. Limit Distributions for Sums of Independent Random Vectors: Heavy Tails in Theory and Practice. Wiley Interscience: New York, 2001.
- Monrad, D.; Rootzén, H. Small values of Gaussian processes and functional laws of the iterated logarithm. Probab. Th. Rel. Fields 1995, 101, 173–192. [Google Scholar] [CrossRef]
- Sato, K. Self-similar processes with independent increments. Probab. Th. Related Fields 1991, 89, 285–300. [Google Scholar] [CrossRef]
- Seneta, E. Regularly Varying Functions. In Lecture Notes in Mathematics, 508, Springer: Berlin, 1976.
- Stoev, S.A.; Taqqu, M.S. How rich is the class of multifractional Brownian motions. Stoch. Process. Appl. 2006, 116, 200–221. [Google Scholar] [CrossRef]
- Talagrand, M. New Gaussian estimates for enlarged balls. Geo. Func. Anal. 1993, 3, 502–526. [Google Scholar] [CrossRef]
- Talagrand, M. Hausdorff measure of trajectories of multiparameter fractional Brownian motion. Ann. Probab. 1995, 23, 767–775. [Google Scholar] [CrossRef]
- Wang, W. Invariance principles for generalized domains of semistable attraction. Stoch. Process. Appl. 2014, 124, 1–17. [Google Scholar] [CrossRef]
|
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).