Preprint
Article

Small Values and Chung's Laws of the Iterated Logarithm for Spatial Surface of Operator Fractional Brownian Motion

Altmetrics

Downloads

110

Views

24

Comments

0

This version is not peer-reviewed

Submitted:

16 May 2023

Posted:

17 May 2023

You are already at the latest version

Alerts
Abstract
The multivariate Gaussian random fields with matrix-based scaling laws are widely used for inference in statistics and many applied areas. In such contexts interests are often in symmetry and in the rates of change of spatial surfaces in any given direction. This article analyzes the almost sure sample function behavior for operator fractional Brownian motion, including multivariate fractional Brownian motion. We obtain the estimations of small ball probability and the strongly locally nondeterministic for 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. Our results show that the precise rates of change of spatial surfaces are completely determined by the self-similarity exponent.
Keywords: 
Subject: Computer Science and Mathematics  -   Probability and Statistics

1. Introduction

Let X = { X ( t ) = ( X 1 ( t ) , . . . , X p ( t ) ) , t R } be an operator fractional Brownian motion with exponent D, that is, X is a mean zero Gaussian process in R p , has stationary increments and is operator self-similar with exponent D, X ( 0 ) = 0 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 R p -valued random field X = { X ( t ) , t R } is said to be operator self-similar if there exists an D L ( R p ) , where L ( R p ) is the set of linear operators on R p , such that for all c > 0 ,
X ( c · ) = d c D X ( · ) ,
where X = d Y means the processes X and Y have the same finite dimensional distributions and c D = k = 0 1 k ! ( ln c ) k D k .
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 d = 1 , X is the standard fractional Brownian motion. If the operator self-similar exponent D = diag ( H 1 , . . . , H p ) is a diagonal operator, where H i ( 0 , 1 ) for all 1 i p , 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 H i ( 0 , 1 ) , 1 i p . 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 ( i , j ) { 1 , . . . , p } 2 , i j ,
(1) If H i + H j 1 , there exist σ i > 0 , σ j > 0 , ( ρ i , j , η i , j ) [ 1 , 1 ] × R with ρ i , j = ρ j , i = corr ( X i ( 1 ) , X j ( 1 ) ) and η i , j = η j , i such that
E [ X i ( s ) X j ( t ) ] = σ i σ j 2 { ( ρ i , j + η i , j sign ( s ) ) | s | H i + H j + ( ρ i , j η i , j sign ( t ) ) | t | H i + H j ( ρ i , j η i , j sign ( t s ) ) | t s | H i + H j } .
(2) If H i + H j = 1 , there exist σ i > 0 , σ j > 0 , ( ρ ˜ i , j , η ˜ i , j ) [ 1 , 1 ] × R with ρ ˜ i , j = ρ ˜ j , i = corr ( X i ( 1 ) , X j ( 1 ) ) and η ˜ i , j = η ˜ j , i such that
E [ X i ( s ) X j ( t ) ] = σ i σ j 2 { ρ ˜ i , j ( | s | + | t | | s t | ) + η ˜ i , j ( t ln | t | s ln | s | ( t s ) ln | t s | ) } .
Remark 1. 
Note that coefficients ρ i , j , ρ ˜ i , j , η i , j , η ˜ i , j depend on the parameters ( H i , H j ) . Assuming the continuity of the cross covariances function with respect to the parameters ( H i , H j ) , the expression (3) can be deduced from (2) by taking the limit as H i + H j tends to 1, noting that ( ( s + 1 ) H s H 1 ) / ( 1 H ) s ln | s | ( s + 1 ) ln | s + 1 | as H 1 . We obtain the following relations between the coefficients: as H i + H j 1
ρ i , j ρ ˜ i , j and ( 1 H i H j ) η i , j η ˜ i , j .
This convergence result can suggest a reparameterization of coefficients η i , j in ( 1 H i H j ) η i , j .
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 f t g t if lim f t / g t = 1 , f t g t if there exits a constant K > 0 such that K 1 lim inf f t / g t lim sup f t / g t K . 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 K i , 1 , K i , 2 , . . . For x R , let log x = ln ( x e ) , log log x = ln ln ( x e 2 ) .

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 p × p matrix P such that E = P 1 D P is of the real canonical form, which means that E is composed of diagonal blocks which are either Jordan cell matrix of the form
v 0 0 1 v 0 0 1 v
with v a real eigenvalue of D or blocks of the form
Λ 0 0 I 2 Λ 0 0 0 0 I 2 Λ with Λ = a b b a and I 2 = 1 0 0 1 ,
where the complex numbers a ± i b ( b 0 ) are complex conjugated eigenvalues of D.
Let us recall that the eigenvalues of D are denoted by v j , j = 1 , . . . , d and that 0 < a j = ( v j ) < 1 for j = 1 , . . . , d . There exist J 1 , . . . , J d , where each J j is either a Jordan cell matrix or a block of the form (4), and P a real p × p invertible matrix such that
D = P J 1 0 0 0 J 2 0 0 0 0 J d P 1 .
We can assume that each J j is associated with the eigenvalue v j of D and that
0 < a 0 a 2 a d < 1 .
If v j R , J j is a Jordan cell matrix of size l ˜ j = l j N { 0 } . If λ j C R , J j is a block of the form (4) of size l ˜ j = 2 l j 2 N { 0 } . Then for any t > 0 ,
t D = P t J 1 0 0 0 t J 2 0 0 0 0 t J d P 1 .
We denote by ( e 1 , . . . , e p ) the canonical basis of R p and set f j = P e j for every j = 1 , . . . , p . Hence, ( f 1 , . . . , f p ) is a basis of R p . For all j = 1 , . . . , d , let
V j = span f k ; i = 1 j 1 l ˜ i + 1 k i = 1 j l ˜ i .
Then, each V j is a D-invariant set and R p = V 1 V d is a direct sum decomposition of R p into D-invariant subspaces. We may write D = D 1 D p , where D i : V i V i and every eigenvalue of D i has real part equal to a i . The matrix for D in an appropriate basis is then block-diagonal with p blocks, the ith block corresponding to the matrix for D i .
Let λ i = a i 1 so that λ 1 > > λ d . Let λ ( θ ) : R p { 0 } { λ 1 , , λ d } be the spectral index function, that is,
λ ( θ ) = λ i = 1 / a i for   all θ L i L i 1 ,
where L i = V 1 V i and V 1 , . . . , V d is the spectral decomposition R p = V 1 V d with respect to D. Choose an inner product · , · on R p such that V i V j for i j , and let x = x , x be the associated Euclidean norm. The operator norm of the linear operator A on L ( R p ) is defined by
A = sup { A x : x = 1 } .
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)
x / A 1 A x A · x for all A L ( R p ) and all x R p ;
ii)
A B A · B for all A , B L ( R p ) ;
iii)
If A L ( R p ) and s , t > 0 , then s A t A = ( s t ) A ;
iv)
If A L ( R p ) and t > 0 , then t A = ( 1 / t ) A = ( t A ) 1 ;
v)
If A B = B A and t > 0 , then t A t B = t A + B .
vi)
If t 1 , then K 2 , 1 t a 1 ϵ t D K 2 , 2 t a d + ϵ for any 0 < ϵ < a 1 ;
vii)
If 0 < t < 1 , then K 2 , 3 t a d + ϵ t D K 2 , 4 t a 1 ϵ for any 0 < ϵ < a 1 ;
Let U = ( u i j ) be a real invertible d × d matrix U such that Cov ( X ( 1 ) ) = U U * . In fact, it is symmetric and holds whenever Cov ( X ( 1 ) ) is invertible. For any vector θ Γ : = R p { 0 } , define φ : ( 0 , ) ( 0 , ) by φ ( x ) = φ ( x , θ ) = ( x D U ) * θ , where A * denotes the transpose of the matrix or vector A.
Lemma 1. 
Let θ R p be an unit vector. Then, for any ϵ > 0 and s > 0 ,
φ ( h s ) φ ( s ) K 2 , 5 h 1 λ ( θ ) ϵ if h 1 K 2 , 6 h a 1 + ϵ if h 1 and φ ( h s ) φ ( s ) K 2 , 7 h 1 λ ( θ ) + ϵ if h 1 K 2 , 8 h a 1 ϵ if h 1
Proof.  
The proof of both cases is similar, so we only proof the case h 1 . For any θ Γ , there exists a unique 1 i d such that θ L i L i 1 , where L i = V 1 V i and V 1 , . . . , V d is the spectral decomposition R p = V 1 V d with respect to D. Moreover, for any θ L i L i 1 , there exist θ j V j , θ j 0 , 1 j i , such that θ = θ 1 + + θ i and ( t D U ) * θ = ( t D 1 U 1 ) * θ 1 + + ( t D i U i ) * θ i , where D 1 , . . , D d is the spectral decomposition of D and U 1 , . . , U d is the spectral decomposition of U. Then, for any h 1 ,
φ 2 ( h , θ ) φ 2 ( h , θ i ) = ( h D U ) * θ 2 ( h D i U i ) * θ i 2 = 1 + j = 1 i 1 ( h D j U j ) * θ j 2 ( h D i U i ) * θ i 2 .
Noting that every eigenvalue of D j has real part equal to a j , by Facts i), ii) and vi), we have that for any ϵ > 0 and 1 j i ,
( h D j U j ) * θ j ( h D j ) * θ j · U j K 2 , 9 h D j K 2 , 10 h a j + ϵ
and
( h D j U j ) * θ j ( h D j ) * θ j / U j 1 K 2 , 11 θ j / ( 1 / h ) D j K 2 , 12 h a j ϵ .
Since ϵ > 0 is arbitrary and a j < a i for all 1 j i 1 , we have φ ( h , θ ) φ ( h , θ i ) . Thus, by Facts ii) and vi), for any ϵ > 0 ,
φ ( h s ) φ ( s ) φ ( h s , θ i ) φ ( s , θ i ) = ( h D i ) * ( s D i U i ) * θ i ( s D i U i ) * θ i ( h D i ) * K 2 , 13 h a i + ϵ .
Similarly to the above inequality, we have
φ ( s ) φ ( h s ) ( ( 1 / h ) D i ) * K 2 , 14 h a i + ϵ .
The proof is completed. □
Now we summarize some basic facts about Gaussian processes. Let { Z ( t ) ; t S } be a Gaussian process. We provide S with the following metric
d ( s , t ) = Z ( s ) Z ( t ) 2
where Z 2 = ( E ( Z 2 ) ) 1 / 2 . We denote by N d ( S , ϵ ) the smallest number of open d-balls of radius ϵ needed to cover S and write R = sup { d ( s , t ) ; s , t S } .
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 C > 0 such that for any u > 0 , we have
P sup s , t S | Z ( s ) Z ( t ) | C ( u + 0 R log N d ( S , ϵ ) d ϵ ) exp ( K u 2 ) .
Lemma 3. 
Consider a function ψ such that N d ( S , ϵ ) ψ ( ϵ ) for all ϵ > 0 . Assume that for some constant C > 0 and all ϵ > 0 we have
ψ ( ϵ ) / C ψ ( ϵ 2 ) C ψ ( ϵ ) .
Then
P sup s , t S | Z ( s ) Z ( t ) | u exp ( K ψ ( u ) ) .
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 D L ( R p ) be a linear operator with 0 < a 1 , a d < 1 . For t > 0 , define
X ( t ) = 0 ( t x ) D 1 2 I ( x ) D 1 2 I B ( d x ) + 0 t ( t x ) D 1 2 I B ( d x ) ,
where I L ( R p ) is the identity operator and { B ( s ) , < s < } is p-dimensional standard Brownian motion and i.i.d. components. Then the random field X = { X ( t ) , t R } is an operator fractional Brownian motion with exponent D. Furthermore, X is isotropic in the sense that for every t R ,
X ( t ) = d | t | D X ( 1 ) ,
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 X = { X ( t ) , t R } be an operator fractional Brownian motion in R p with exponent D. If 0 < a 1 , a p < 1 and det Cov ( X ( 1 ) ) > 0 , then for any vector θ Γ , all 0 < h < h 0 and all 0 < t < h 0 h with some h 0 > 0 ,
Var ( X ( t + h ) , θ | X ( s ) , θ : 0 s t ) K 3 , 1 φ 2 ( h ) .
Proof.  
From the representation (11) it easily follow that if { X ( t ) } is an operator fractional Brownian motion with exponent D, then
Var ( X ( t + h ) , θ | X ( s ) , θ : 0 s t ) Var t t + h ( t + h x ) D 1 2 I B ( d x ) , θ = Var t t + h ( t + h x ) D * 1 2 I θ , B ( d x ) = t t + h ( t + h x ) D * 1 2 I θ 2 d x = 0 h ( h x ) D * 1 2 I θ 2 d x .
It follows from Facts v), vi) and vii) that φ ( h ) U ( h D ) * θ and ( h x ) D * 1 2 I θ ( h x ) D * θ / ( h x ) 1 2 I . Thus, by Lemma 1,
0 h φ 2 ( h ) ( h x ) D * 1 2 I θ 2 d x 0 h ( h x ) D * θ 2 U 2 ( h x ) 1 2 I 2 ( h D ) * θ 2 d x 0 h ( 1 x / h ) 2 a 1 + 2 ϵ U 2 ( h x ) d x = 0 h ( h x ) 2 a 1 1 + 2 ϵ U 2 h 2 a 1 + 2 ε d x K 3 , 2
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 X = { X ( t ) , t R } be an operator fractional Brownian motion in R p with exponent D. If 0 < a 1 , a d < 1 and det Cov ( X ( 1 ) ) > 0 , then for every compact set T R , any t 0 T and any vector θ Γ and all x ( 0 , 1 ) ,
exp K 3 , 3 h Ψ ( x 2 ) P ( M ( t 0 , h ) x ) exp K 3 , 4 h Ψ ( x 2 ) ,
where M ( t 0 , h ) = M ( t 0 , h , θ ) = sup s T , | s | h | X ( t 0 + s ) X ( t 0 ) , θ | denotes the local modulus of continuity of X ( t ) on t 0 in direction θ, Ψ ( x ) = inf { y : φ ( y ) > x } is the right-continuous inverse function of φ.
Proof.  
Since Cov ( X ( 1 ) ) is invertible, there exists a real invertible p × p matrix U such that Cov ( X ( 1 ) ) = U U * . By the operator self-similarity, for every h R { 0 } ,
Cov ( X ( h ) ) = Cov ( | h | D X ( 1 ) ) = | h | D U ( | h | D U ) * .
We denote the matrix | h | D U by U h . Then, for h R { 0 } , U h 1 X ( h ) is normal random variables in R p with mean 0 and covariance matrix I d . Thus, for all x R ,
P ( φ 1 ( h ) X ( t + h ) X ( t ) , θ x ) = P ( φ 1 ( h ) X ( h ) , θ x ) = P ( φ 1 ( h ) U h U h 1 X ( h ) , θ x ) = P ( φ 1 ( h ) U h 1 X ( h ) , θ ¯ h x ) = P ( U h 1 X ( h ) , θ ˜ h x ) ,
where θ ¯ h = ( U h ) * θ and θ ˜ h = ( U h ) * θ 1 ( U h ) * θ is an unit vector in R d . Noting that U h 1 X ( h ) , θ ˜ h is a standard normal random variable, (18) implies that φ 1 ( h ) X ( t + h ) X ( t ) , θ is a standard normal random variable. Thus,
E [ | X ( t + h ) X ( t ) , θ | 2 ] = φ 2 ( h ) .
Equip S = [ 0 , h ] with the canonical metric
d ( s , t ) = X ( s ) X ( t ) , θ 2 , s , t S ,
and denote by N d ( S , ϵ ) the smallest number of d-balls of radius ϵ > 0 needed to cover S. Then it is easy to see that for all ϵ ( 0 , 1 ) ,
N d ( S , ϵ ) K 3 , 5 h Ψ ( ϵ 2 ) .
Moreover, it follows from Lemma 1 that Ψ has the doubling property, i.e., K 3 , 6 Ψ ( ϵ ) Ψ ( ϵ / 2 ) K 3 , 7 Ψ ( ϵ ) . 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 n 2 , we choose n points t n , i [ 0 , 1 ] , where t n , i = i h / n , i { 1 , . . . , n } . Then,
P ( M ( t 0 , h ) x ) P max 1 i n | X ( t n , i ) , θ | x .
By Anderson’s inequality for Gaussian measures and Lemma 5, we derive the following upper bound for the conditional probabilities
P ( X ( t n , i ) x | X ( t n , j ) , 1 j i 1 ) Φ K 3 , 8 x φ ( n 1 h ) ,
where Φ ( x ) is the distribution function of a standard normal random variable. It follows from (22) and (23) that
P ( M ( t 0 , h ) x ) Φ K 3 , 9 x φ ( n 1 h ) n .
By taking n to be the smallest integer h [ Ψ ( x 2 ) ] 1 , 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 X = { X ( t ) , t R } be an operator fractional Brownian motion in R p with exponent D. If 0 < a 1 , a d < 1 and det Cov ( X ( 1 ) ) > 0 , then for every compact set T R , any t 0 T and any vector θ Γ , there exist a constant 0 C such that
lim inf h 0 + f h M ( t 0 , h ) = C a . s . ,
where
f h = 1 φ ( h / log log ( 1 / h ) ) .
Proof.  
Let m be a scattered Gaussian random measure on R with Lebesgue measure l as its control measure; that is, { m ( A ) , A E } is a centered Gaussian process on E = { E R : l ( E ) < } with covariance function
E [ m ( E ) m ( F ) ] = l ( E F ) .
Let m 1 , . . . , m d be d independent copies of m, and define
m ( A ) = ( m 1 ( A ) , . . . , m d ( A ) ) .
Then, we consider a version of operator fractional Brownian motion
X ( t ) = R ( 1 cos ( t x ) ) 1 | x | D + I / 2 d m ( x ) + R sin ( t x ) 1 | x | D + I / 2 d m ( x ) ,
where m is an independent copy of m . This stochastic integral representation of operator fractional Brownian motion is given in [24].
Let Ω 1 : = O ( 0 , 1 ) R and for n 2 , Ω n : = O ( 0 , n ) O ( 0 , n 1 ) R such that Ω 1 , Ω 2 , . . . , are mutually disjoint, where the following notation is used: O ( x , r ) = { y R : | x y | r } . For n 1 and t R , let
Z n ( t ) : = Ω n ( 1 cos ( t x ) ) 1 | x | D + I / 2 d m ( x ) + Ω n sin ( t x ) 1 | x | D + I / 2 d m ( x ) ,
Then Z n = { Z n ( t ) , t R } , n = 1 , 2 , . . . , are independent Gaussian fields. By (28), we express
X ( t ) = n = 1 Z n ( t ) , t R .
Equip S = [ 0 , 1 ] with the canonical metric
d Z n ( s , t ) = d Z n ( s , t , θ ) = Z n ( s ) Z n ( t ) , θ 2 , s , t T ,
and denote by N ( d Z n , S , ϵ ) the smallest number of d Z n -balls of radius ϵ > 0 needed to cover S.
It follows from (28) that
Z n ( s ) Z n ( t ) , θ = Ω n ( cos ( t x ) cos ( s x ) ) 1 | x | D * + I / 2 θ , d m ( x ) + Ω n ( sin ( s x ) sin ( t x ) ) 1 | x | D * + I / 2 θ , d m ( x ) .
Thus,
d Z n ( s , t ) = 2 Ω n ( 1 cos ( ( t s ) x ) ) 1 | x | D * + I / 2 θ 2 d x 1 / 2 | t s | Ω n | x | 2 1 | x | D * + I / 2 θ 2 d x 1 / 2 = : | t s | K n , s , t R .
To obtain the last inequality, in the integral we bound 1 cos ( t x ) by | t | 2 | x | 2 / 2 . Then, by (29) and Theorem 4.1 in [27], we have
lim sup h 0 + sup t , t + s T : | s | h | Z n ( t + s ) Z n ( t ) , θ | τ ( 0 , h ) K 4 , 1 a . s . ,
where τ ( 0 , h ) = | h | log ( 1 / h ) . Put
X M ( t ) = n = 1 M Z n ( t ) , t T .
It follows from Facts i)-vii) and 0 < a 1 < 1 that
h log ( 1 / h ) f h K 4 , 2 h 1 a 1 + ϵ 0
as h tends to zero. This, together with (30), yields that
lim h 0 + sup s T : | s | h f h | X M ( t 0 + s ) X M ( t 0 ) , θ | = 0 a . s .
Therefore, the random variable
lim inf h 0 + f h M ( t 0 , h )
is measurable with respect to the tail field of { Z n } n = 1 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 X = { X ( t ) , t R } be an operator fractional Brownian motion in R p with exponent D. If 0 < a 1 , a d < 1 and det Cov ( X ( 1 ) ) > 0 , then for every compact set T R , any t 0 T and any vector θ Γ ,
lim inf h 0 + f h M ( t 0 , h ) = K 4 , 3 a . s .
Denote the standard basis of R p by ( e 1 , . . . , e p ) . By choosing θ = e i and using Theorem 1 we obtain the following result about Chung’s law of the iterated logarithm for the components X i ( i = 1 , . . . , p ) of X.
Corollary 1. 
Let X = { X ( t ) , t R } be an operator fractional Brownian motion in R p with exponent D. If 0 < a 1 , a d < 1 and det Cov ( X ( 1 ) ) > 0 , then for every compact set T R , t 0 T and every i = 1 , . . . , p ,
lim inf h 0 + f i , h M i ( t 0 , h ) = K 4 , 4 a . s . ,
where M i ( t 0 , h ) = M i ( t 0 , h , θ ) = sup s T , | s | h | X i ( t 0 + s ) X i ( t 0 ) | denotes the uniform modulus of continuity of the i-th component of X ( t ) on t 0 , and
f i , h = 1 ( ( h / log log ( 1 / h ) ) D U ) * e i .
Remark 2. 
By making use of (4.6) and (4.8) in [24], (32) implies that there exists a constant p i 1 such that for every compact set T R , t 0 T and every i = 1 , . . . , p ,
lim inf h 0 + ( log log ( 1 / h ) ) a i h a i ( log 1 / h ) p i 1 M i ( t 0 , h ) K 4 , 5 a . s . ,
where a i is defined in Section 2.
By choosing D = diag { H 1 , . . . , H p } in Corollary 1, where H i ( 0 , 1 ) for all 1 i p , 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 X = { X ( t ) , t R } be a multivariate fractional Brownian motion in R p with exponent D = diag { H 1 , . . . , H p } , and U = ( u i j ) be a real invertible p × p matrix U such that Cov ( X ( 1 ) ) = U U * . Then, for every compact set T R , any t 0 T and any vector θ Γ ,
lim inf h 0 + ( log log ( 1 / h ) ) H k h H k M ( t 0 , h ) = K 4 , 3 θ k u k 1 2 + + u k p 2 a . s . ,
where k = arg min { H 1 , . . . , H p } and K 4 , 3 is given as in (31), and for for every compact set T R , t 0 T and every i = 1 , . . . , d ,
lim inf h 0 + ( log log ( 1 / h ) ) H i h H i M i ( t 0 , h ) = K 4 , 4 u i 1 2 + + u i p 2 a . s . ,
where K 4 , 4 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 { H 1 , . . . , H p } . In addition, arg min ( H 1 , . . . H p ) 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 H i ( 0 , 1 ) , 1 i p , (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 t 0 = 0 . Put M ( h ) = M ( 0 , h ) . We first show that
lim inf h 0 + f h M ( h ) K 4 , 6 a . s .
Let ϵ > 0 and γ > 1 , and for k = 1 , 2 , . . . put h k = γ k and β k = φ ( K 3 , 4 ( 1 + ϵ ) 1 h k / log log ( 1 / h k ) ) . Then, by (16),
P ( M ( h k ) β k ) K ( log γ k ) ( 1 + ϵ ) <
where the sums are over all k large enough to make k log γ > 1 and β k < 1 . Hence, by the Borel-Cantelli lemma, M ( h k ) β k for all k greater than some k 0 = k 0 ( ω ) . Further, for k k 0 and h k h < h k 1 ,
M ( h ) M ( h k ) β k = f h 1 ( f h β k ) .
Hence, by Lemma 1, (36) holds.
Next, we prove that
lim inf h 0 + f h M ( h ) K 4 , 7 a . s .
Let ϵ ( 0 , 1 ) and q > 1 be arbitrary real number. This time we choose
h k = e k q , J k = k e k q , γ k = φ ( K 3 , 3 ( 1 ϵ ) 1 h k / log log ( 1 / h k ) ) .
Define the process Y k ( t ) : = Y ( t , J k 1 , J k ) by
Y ( t , J k 1 , J k ) = | x | ( J k 1 , J k ) ( 1 cos ( t x ) ) 1 | x | D + I / 2 d m ( x ) + | x | ( J k 1 , J k ) sin ( t x ) 1 | x | D + I / 2 d m ( x ) ,
and denote Y ˜ k ( t ) : = X ( t ) Y k ( t ) . Clearly, by (27), X ( t ) = Y k ( t ) + Y ˜ k ( t ) , and for every k = 1 , 2 , . . . , Y k ( · ) has stationary increments and Y k ( · ) , k = 1 , 2 , . . . are independent due to the virtue of independent increments of m .
For simplify notation, put M ¯ ( h ) = M ( Y ; 0 , h , θ ) and M ˜ ( h ) = M ( Y ˜ ; 0 , h , θ ) , where M is defined in Lemma 6. For any ϵ ( 0 , 1 ) , put
G k = { M ( h k ) γ k } , G ¯ k = { M ¯ ( h k ) ( 1 ϵ ) γ k } and G ˜ k = { M ˜ ( h k ) ϵ γ k } .
It follows from (38) that
Y ˜ k ( t ) , θ = | x | ( J k 1 , J k ) ( 1 cos ( t x ) ) 1 | x | D + I / 2 d m ( x ) , θ + | x | ( J k 1 , J k ) sin ( t x ) 1 | x | D + I / 2 d m ( x ) , θ = | x | ( J k 1 , J k ) ( 1 cos ( t x ) ) 1 | x | D * + I / 2 θ , d m ( x ) + | x | ( J k 1 , J k ) sin ( t x ) 1 | x | D * + I / 2 θ , d m ( x ) .
By Lemmas 1 and Facts i)-vii) we have
γ k 1 1 | x | D * + I / 2 θ = U * ( ( K 3 , 3 ( 1 ϵ ) 1 h k / log log ( 1 / h k ) ) D ) * θ 1 · 1 | x | I / 2 1 | x | D * θ K U 1 | x | 1 / 2 ( ( h k / log log ( 1 / h k ) ) D ) * θ 1 · 1 | x | D * θ K U 1 | x | 1 / 2 log log ( 1 / h k ) h k | x | a 1 ε if | x | J k , K U 1 | x | 1 / 2 log log ( 1 / h k ) h k | x | 1 λ ( θ ) + ε if | x | J k 1 .
Thus,
E [ | γ k 1 Y ˜ k ( h k ) , θ | 2 ] = | x | ( J k 1 , J k ) ( 1 cos ( h k x ) ) γ k 1 1 | x | D * + I / 2 θ 2 d x K U 2 h k 2 λ ( θ ) 2 ε ( log log ( 1 / h k ) ) 2 λ ( θ ) + 2 ε | x | J k 1 ( 1 cos ( h k x ) ) d x | x | 2 λ ( θ ) + 1 + 2 ϵ + K U 2 h k 2 a 1 + 2 ε ( log log ( 1 / h k ) ) 2 a 1 2 ε | x | J k ( 1 cos ( h k x ) ) d x | x | 2 a 1 + 1 2 ϵ K 4 , 8 ( ( h k J k 1 ) 2 2 λ ( θ ) 2 ϵ ( log k ) 2 λ ( θ ) + 2 ε + ( h k J k ) 2 a 1 + 2 ϵ ( log k ) 2 a 1 2 ε ) .
To get the second inequality from bottom, in the first integral we bound 1 cos ( t x ) by | t | 2 | x | 2 , and the second one by 2 to get the required bound. Thus, since λ ( θ ) a d 1 > 1 ,
h k J k 1 ( k 1 ) e q ( k 1 ) q 1 , h k J k = k ,
we have
E [ | γ k 1 Y ˜ k ( h k ) , θ | 2 ] K 4 , 9 k 2 a 1 + ϵ
for all large k.
By (44) and Corollary 3.2 in [17], p.59, we get we get
P ( G ˜ k ) K exp ( K 4 , 10 ϵ 2 k 2 a 1 ϵ ) < .
This implies that
lim sup k γ k 1 M ˜ ( h k ) ϵ a . s .
It follows from (16) that
P ( M ( h k ) γ k ) K k q ( 1 ϵ ) =
by choosing q > 1 small enough such that q ( 1 ϵ ) < 1 , where the sums are over all k large enough to make γ k < 1 .
It follows easily that
P ( G ¯ k ) P ( G k ) P ( G ˜ k ) ,
which, together with (42) and (44), yields
k P ( G ¯ k ) = .
Since Y k ( · ) , k = 1 , 2 , . . . are independent, by the Borel-Cantelli lemma,
lim sup k γ k 1 M ¯ k 1 ϵ a . s .
From Lemma 1, we have f h k 1 γ k 1 K 4 , 11 . It follows from (43) and (45) that
lim inf k f h k M ( h k ) K 4 , 11 lim inf k γ k 1 M ( h k ) K 4 , 11 lim inf k γ k 1 M ¯ ( h k ) + lim sup k γ k 1 M ˜ ( h k ) K 4 , 11 a . s .
This yields that (37) holds.
We have thus established that
K 4 , 6 lim inf h 0 + f h M ( h ) K 4 , 7 a . s .
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

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Davidson, J.; Hashimzade, N. Alternative frequency and time domain versions of fractional Brownian motion. Econometric Theory 2008, 24, 256–293. [Google Scholar] [CrossRef]
  7. 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]
  8. Didier, G.; Pipiras, V. Integral representations of operator fractional Brownian motion. Bernoulli 2011, 17, 1–33. [Google Scholar] [CrossRef]
  9. Dolado, J.; Marmol, F. Asymptotic inference results for multivariate long-memory processes. Econometrics J. 2004, 7, 168–190. [Google Scholar] [CrossRef]
  10. Hirsch, M.W.; Smale, S. Differential Equations, Dynamical Systems, and Linear Algebra. In Pure and Applied Mathematics, 60, Academic Press: New York, London, 1974.
  11. 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]
  12. 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]
  13. 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.
  14. Laha, R.G.; Rohatgi, V.K. Operator self-similar stochastic processes in Rd. Stoch. Process. Appl. 1981, 12, 73–84. [Google Scholar] [CrossRef]
  15. 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]
  16. Lavancier, F.; Philippe, A.; Surgailis, D. Covariance function of vector self-similar process. Stat. Probab. Lett. 2009, 79, 2415–2421. [Google Scholar] [CrossRef]
  17. Ledoux, M.; Talagrand, M. Probabilities in Banach Spaces. Springer-Verlag: New York, 1991.
  18. 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]
  19. Maejima, M.; Mason, J.D. Operator-self-similar stable processes. Stoch. Process. Appl. 1994, 54, 139–163. [Google Scholar] [CrossRef]
  20. Majewski, K. Large deviations for multi-dimensional reflected fractional Brownian motion. Stochastics 2003, 75, 233–257. [Google Scholar]
  21. Majewski, K. Fractional Brownian heavy traffic approximations of multiclass feedforward queueing networks. Queueing Systems 2005, 50, 199–230. [Google Scholar] [CrossRef]
  22. Marinucci, D.; Robinson, P. Weak convergence of multivariate fractional processes. Stoch. Process. Appl. 2000, 86, 103–120. [Google Scholar] [CrossRef]
  23. 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]
  24. 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]
  25. Meerschaert, M.M. Regular variation in Rk. Proc. Amer. Math. Soc. 1988, 102, 341–348. [Google Scholar]
  26. Meerschaert, M.M. Spectral decomposition for generalized domains of attraction. Ann. Probab. 1991, 19, 875–892. [Google Scholar] [CrossRef]
  27. 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]
  28. Meerschaert, M.M.; Scheffler, H.P. Multivariable regular variation of functions and measures. J. Appl. Anal. 1999, 5, 125–146. [Google Scholar] [CrossRef]
  29. 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.
  30. 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]
  31. Sato, K. Self-similar processes with independent increments. Probab. Th. Related Fields 1991, 89, 285–300. [Google Scholar] [CrossRef]
  32. Seneta, E. Regularly Varying Functions. In Lecture Notes in Mathematics, 508, Springer: Berlin, 1976.
  33. 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]
  34. Talagrand, M. New Gaussian estimates for enlarged balls. Geo. Func. Anal. 1993, 3, 502–526. [Google Scholar] [CrossRef]
  35. Talagrand, M. Hausdorff measure of trajectories of multiparameter fractional Brownian motion. Ann. Probab. 1995, 23, 767–775. [Google Scholar] [CrossRef]
  36. 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.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

© 2024 MDPI (Basel, Switzerland) unless otherwise stated