Section: New Results

Sample path properties of multifractional Brownian motion

Participants : Paul Balança, Erick Herbin [supervision] .

In [50] , we have investigated the geometry of the sample paths of multifractional Brownian motion. Several representations of mBm exist, including the classic integral form:

t 𝐑 ; X t = 1 Γ H ( t ) + 1 2 𝐑 ( t - u ) + H ( t ) - 1 / 2 - ( - u ) + H ( t ) - 1 / 2 d W u ,

where H:𝐑0,1 is a continuous function. Interestingly, we observe that geometric properties obtained in the probabilistic literature usually rely on a key assumption on the behaviour of the Hurst function:

H is a β -Hölder continuous function such that t 𝐑 , H ( t ) < β . ( 0 ) (6)

Under the previous hypothesis, the local regularity of the mBm at t corresponds to the geometry of a fractional Brownian motion of parameter H(t). Nevertheless, it has been shown in [15] that when this assumption does not hold, the sample path properties are not as simple and straightforward. More precisely, the latter has proved that the Hölder exponents satisfy at every t𝐑:

α X , t = H ( t ) α H , t and α ˜ X , t = H ( t ) α ˜ H , t a.s. (7)

This result has been recently improved in [48] , observing that the pointwise exponent can even be random under some assumptions on H.

Therefore, the main goal of this work was to obtain a more complete characterization of the geometry of the general mBm. We have first focused on the Hölder regularity of the sample paths, using for this purpose a deterministic representation of the fractional Brownian field:

B ± ( t , H ) = ± 1 Γ H - 1 2 𝐑 B u ( t - u ) ± H - 3 / 2 - ( - u ) ± H - 3 / 2 d u , (8)

where H1/2 and B is a continuous Brownian motion. Hence, observing that the mBm almost surely corresponds to the fractional integration of a Brownian motion, we have been able to use the 2-microlocal formalism and its interesting connections with fractional operators. As a consequence, we have proved that the pointwise exponent of the mBm almost surely satisfies:

t 𝐑 ; α X , t = H ( t ) m t , H ( t ) α H , t , (9)

where mt,H(t) is defined as the multiplicity of the fractional Brownian field at (t,H), i.e.

m t , H = inf k 𝐍 { 0 } : H k B ( t , H ) 0 .

We have also been able to obtain some uniform lower bounds on the 2-microlocal frontier, which are optimal under some mild assumptions on the Hurst function.

The second direction of our study has concerned the fractal dimension of the graph of the mBm. Interestingly, and on the contrary to fBm, we have to distinguish the Box and Hausdorff dimensions in our result. The first happens to be the easiest one to study and is closely related to the geometry of H itself. Therefore, with probability one,

t 𝐑 { 0 } ; dim B , t Gr ( X ) = 2 - H ( t ) dim B , t Gr ( H ) , (10)

where dimB,t denotes the localized Box dimension at t.

To study the Hausdorff dimension the graph, we need a slightly different approach which makes use of parabolic Hausdorff dimension. We first define for all t𝐑 a parabolic metric ϱH on 𝐑2, with H>0: ϱH(u,x);(v,y):=max|u-v|H,|x-y|. For any set A𝐑2, we denote by dim(A;ϱH) the parabolic Hausdorff dimension of A. It is defined similarly to the classic Hausdorff dimension using covering balls relatively to the metric ϱH, i.e. it corresponds to the infimum of s0 for which

lim δ 0 inf i = 0 diam ( O i ; ϱ H ) s : ( O i ) i N is a δ -cover of A <

Studying the local Hausdorff dimension of the graph of the mBm, we have proved that with probability one

t 𝐑 { 0 } ; dim H , t Gr ( X ) = 1 + H ( t ) dim H , t Gr ( H ) ; ϱ H ( t ) - 1 . (11)

Even though this result might seem counter-intuitive, it can be checked that it induced the classic equality dimH,t Gr (X)=2-H(t) when the mBm satisfies the assumption 0. Interestingly, we observe that a similar expression has also emerged recently in the study [70] of the Hausdorff dimension of a fractional Brownian motion with variable drift. Finally, we also note this result can also been extended to images of fractal sets by the multifractional Brownian motion.