Fractional Brownian motion

In probability theory, fractional Brownian motion (fBm), also called a fractal Brownian motion, is a generalization of Brownian motion. Unlike classical Brownian motion, the increments of fBm need not be independent. fBm is a continuous-time Gaussian process ${\textstyle B_{H}(t)}$ on ${\textstyle [0,T]}$, that starts at zero, has expectation zero for all ${\displaystyle t}$ in ${\textstyle [0,T]}$, and has the following covariance function:

${\displaystyle E[B_{H}(t)B_{H}(s)]={\tfrac {1}{2}}(|t|^{2H}+|s|^{2H}-|t-s|^{2H}),}$

where H is a real number in (0, 1), called the Hurst index or Hurst parameter associated with the fractional Brownian motion. The Hurst exponent describes the raggedness of the resultant motion, with a higher value leading to a smoother motion. It was introduced by Mandelbrot & van Ness (1968).

The value of H determines what kind of process the fBm is:

• if H = 1/2 then the process is in fact a Brownian motion or Wiener process;
• if H> 1/2 then the increments of the process are positively correlated;
• if H< 1/2 then the increments of the process are negatively correlated.

Fractional Brownian motion has stationary increments X(t) = B_H(s+t) −B_H(s) (the value is the same for any s). The increment process X(t) is known as fractional Gaussian noise.

There is also a generalization of fractional Brownian motion: n-th order fractional Brownian motion, abbreviated as n-fBm. ^[1] n-fBm is a Gaussian, self-similar, non-stationary process whose increments of order n are stationary. For n = 1, n-fBm is classical fBm.

Like the Brownian motion that it generalizes, fractional Brownian motion is named after 19th century biologist Robert Brown; fractional Gaussian noise is named after mathematician Carl Friedrich Gauss.

Background and definition

Prior to the introduction of the fractional Brownian motion, Lévy (1953) used the Riemann–Liouville fractional integral to define the process

${\displaystyle {\tilde {B}}_{H}(t)={\frac {1}{\Gamma (H+1/2)}}\int _{0}^{t}(t-s)^{H-1/2}\,dB(s)}$

where integration is with respect to the white noise measure dB(s). This integral turns out to be ill-suited as a definition of fractional Brownian motion because of its over-emphasis of the origin ( Mandelbrot & van Ness 1968 , p. 424). It does not have stationary increments.

The idea instead is to use a different fractional integral of white noise to define the process: the Weyl integral

${\displaystyle B_{H}(t)=B_{H}(0)+{\frac {1}{\Gamma (H+1/2)}}\left\{\int _{-\infty }^{0}\left[(t-s)^{H-1/2}-(-s)^{H-1/2}\right]\,dB(s)+\int _{0}^{t}(t-s)^{H-1/2}\,dB(s)\right\}}$

for t > 0 (and similarly for t < 0). The resulting process has stationary increments.

The main difference between fractional Brownian motion and regular Brownian motion is that while the increments in Brownian Motion are independent, increments for fractional Brownian motion are not. If H > 1/2, then there is positive autocorrelation: if there is an increasing pattern in the previous steps, then it is likely that the current step will be increasing as well. If H < 1/2, the autocorrelation is negative.

Properties

Self-similarity

The process is self-similar, since in terms of probability distributions:

${\displaystyle B_{H}(at)\sim |a|^{H}B_{H}(t).}$

This property is due to the fact that the covariance function is homogeneous of order 2H and can be considered as a fractal property. FBm can also be defined as the unique mean-zero Gaussian process, null at the origin, with stationary and self-similar increments.

Stationary increments

It has stationary increments:

${\displaystyle B_{H}(t)-B_{H}(s)\;\sim \;B_{H}(t-s).}$

Long-range dependence

For H > ⁠1/2⁠ the process exhibits long-range dependence,

${\displaystyle \sum _{n=1}^{\infty }E[B_{H}(1)(B_{H}(n+1)-B_{H}(n))]=\infty .}$

Regularity

Sample-paths are almost nowhere differentiable. However, almost-all trajectories are locally Hölder continuous of any order strictly less than H: for each such trajectory, for every T > 0 and for every ε > 0 there exists a (random) constant c such that

${\displaystyle |B_{H}(t)-B_{H}(s)|\leq c|t-s|^{H-\varepsilon }}$

for 0 < s,t < T.

Dimension

With probability 1, the graph of B_H(t) has both Hausdorff dimension ^[2] and box dimension ^[3] of 2−H.

Integration

As for regular Brownian motion, one can define stochastic integrals with respect to fractional Brownian motion, usually called "fractional stochastic integrals". In general though, unlike integrals with respect to regular Brownian motion, fractional stochastic integrals are not semimartingales.

Frequency-domain interpretation

Just as Brownian motion can be viewed as white noise filtered by ${\displaystyle \omega ^{-1}}$ (i.e. integrated), fractional Brownian motion is white noise filtered by ${\displaystyle \omega ^{-H-1/2}}$ (corresponding to fractional integration).

Sample paths

Practical computer realisations of an fBm can be generated, ^{[4] [5]} although they are only a finite approximation. The sample paths chosen can be thought of as showing discrete sampled points on an fBm process. Three realizations are shown below, each with 1000 points of an fBm with Hurst parameter 0.75.

"H" = 0.75 realisation 1

"H" = 0.75 realisation 2

"H" = 0.75 realisation 3

Realizations of three different types of fBm are shown below, each showing 1000 points, the first with Hurst parameter 0.15, the second with Hurst parameter 0.55, and the third with Hurst parameter 0.95. The higher the Hurst parameter is, the smoother the curve will be.

"H" = 0.15

"H" = 0.55

"H" = 0.95

Method 1 of simulation

One can simulate sample-paths of an fBm using methods for generating stationary Gaussian processes with known covariance function. The simplest method relies on the Cholesky decomposition method of the covariance matrix (explained below), which on a grid of size ${\displaystyle n}$ has complexity of order ${\displaystyle O(n^{3})}$. A more complex, but computationally faster method is the circulant embedding method of Dietrich & Newsam (1997).

Suppose we want to simulate the values of the fBM at times ${\displaystyle t_{1},\ldots ,t_{n}}$ using the Cholesky decomposition method.

• Form the matrix ${\displaystyle \Gamma ={\bigl (}R(t_{i},\,t_{j}),i,j=1,\ldots ,\,n{\bigr )}}$ where ${\displaystyle \,R(t,s)=(s^{2H}+t^{2H}-|t-s|^{2H})/2}$.
• Compute ${\displaystyle \,\Sigma }$ the square root matrix of ${\displaystyle \,\Gamma }$, i.e. ${\displaystyle \,\Sigma ^{2}=\Gamma }$. Loosely speaking, ${\displaystyle \,\Sigma }$ is the "standard deviation" matrix associated to the variance-covariance matrix ${\displaystyle \,\Gamma }$.
• Construct a vector ${\displaystyle \,v}$ of n numbers drawn independently according to a standard Gaussian distribution,
• If we define ${\displaystyle \,u=\Sigma v}$ then ${\displaystyle \,u}$ yields a sample path of an fBm.

In order to compute ${\displaystyle \,\Sigma }$, we can use for instance the Cholesky decomposition method. An alternative method uses the eigenvalues of ${\displaystyle \,\Gamma }$:

• Since ${\displaystyle \,\Gamma }$ is symmetric, positive-definite matrix, it follows that all eigenvalues ${\displaystyle \,\lambda _{i}}$ of ${\displaystyle \,\Gamma }$ satisfy ${\displaystyle \,\lambda _{i}>0}$, (${\displaystyle i=1,\dots ,n}$).
• Let ${\displaystyle \,\Lambda }$ be the diagonal matrix of the eigenvalues, i.e. ${\displaystyle \Lambda _{ij}=\lambda _{i}\,\delta _{ij}}$ where ${\displaystyle \delta _{ij}}$ is the Kronecker delta. We define ${\displaystyle \Lambda ^{1/2}}$ as the diagonal matrix with entries ${\displaystyle \lambda _{i}^{1/2}}$, i.e. ${\displaystyle \Lambda _{ij}^{1/2}=\lambda _{i}^{1/2}\,\delta _{ij}}$.

Note that the result is real-valued because ${\displaystyle \lambda _{i}>0}$.

• Let ${\displaystyle \,v_{i}}$ an eigenvector associated to the eigenvalue ${\displaystyle \,\lambda _{i}}$. Define ${\displaystyle \,P}$ as the matrix whose ${\displaystyle i}$-th column is the eigenvector ${\displaystyle \,v_{i}}$.

Note that since the eigenvectors are linearly independent, the matrix ${\displaystyle \,P}$ is invertible.

• It follows then that ${\displaystyle \Sigma =P\,\Lambda ^{1/2}\,P^{-1}}$ because ${\displaystyle \Gamma =P\,\Lambda \,P^{-1}}$.

Method 2 of simulation

It is also known that ^[6]

${\displaystyle B_{H}(t)=\int _{0}^{t}K_{H}(t,s)\,dB(s)}$

where B is a standard Brownian motion and

${\displaystyle K_{H}(t,s)={\frac {(t-s)^{H-{\frac {1}{2}}}}{\Gamma (H+{\frac {1}{2}})}}\;_{2}F_{1}\left(H-{\frac {1}{2}};\,{\frac {1}{2}}-H;\;H+{\frac {1}{2}};\,1-{\frac {t}{s}}\right).}$

Where ${\displaystyle _{2}F_{1}}$ is the Euler hypergeometric integral.

Say we want to simulate an fBm at points ${\displaystyle 0=t_{0}<t_{1}<\cdots <t_{n}=T}$.

• Construct a vector of n numbers drawn according to a standard Gaussian distribution.
• Multiply it component-wise by √T/n to obtain the increments of a Brownian motion on [0, T]. Denote this vector by ${\displaystyle (\delta B_{1},\ldots ,\delta B_{n})}$.
• For each ${\displaystyle t_{j}}$, compute

${\displaystyle B_{H}(t_{j})={\frac {n}{T}}\sum _{i=0}^{j-1}\int _{t_{i}}^{t_{i+1}}K_{H}(t_{j},\,s)\,ds\ \delta B_{i}.}$

The integral may be efficiently computed by Gaussian quadrature.

See also

• Brownian surface
• Autoregressive fractionally integrated moving average
• Multifractal: The generalized framework of fractional Brownian motions.
• Pink noise
• Tweedie distributions

Notes

1. Perrin et al., 2001.
2. Orey, 1970.
3. Falconer, Kenneth (2003). Fractal Geometry Mathematical Foundations and Applications (2 ed.). Wiley. p. 268. ISBN   0-470-84861-8 . Retrieved 23 January 2024.
4. Kroese, Dirk P.; Botev, Zdravko I. (2015). "Spatial Process Simulation". In Schmidt, V. (ed.). Stochastic Geometry, Spatial Statistics and Random Fields. Lecture Notes in Mathematics. Vol. 2120. Berlin: Springer-Verlag. pp. 369–404. arXiv: 1308.0399 . doi:10.1007/978-3-319-10064-7_12. ISBN   978-3-319-10063-0.
5. Coeurjolly, Jean-François (2000). "Simulation and Identification of the Fractional Brownian Motion: A Bibliographical and Comparative Study". Journal of Statistical Software. 5 (7). doi: 10.18637/jss.v005.i07 .
6. Decreusefond, Laurent; Üstünel, Ali Süleyman (1999). "Stochastic analysis of the fractional Brownian motion". Potential Analysis. 10 (2): 177–214. doi:10.1023/A:1008634027843.

References

• Beran, J. (1994), Statistics for Long-Memory Processes, Chapman & Hall, ISBN   0-412-04901-5 .
• Craigmile P.F. (2003), "Simulating a class of stationary Gaussian processes using the Davies–Harte Algorithm, with application to long memory processes", Journal of Times Series Analysis, 24: 505–511.
• Dieker, T. (2004). Simulation of fractional Brownian motion (PDF) (M.Sc. thesis). Retrieved 29 December 2012.
• Dietrich, C. R.; Newsam, G. N. (1997), "Fast and exact simulation of stationary Gaussian processes through circulant embedding of the covariance matrix.", SIAM Journal on Scientific Computing, 18 (4): 1088–1107, Bibcode:1997SJSC...18.1088D, doi:10.1137/s1064827592240555 .
• Falconer, Kenneth (2003), Fractal Geometry Mathematical Foundations and Applications (2 ed.), Wiley, pp. 267–271, ISBN   0-470-84861-8 , retrieved 23 January 2024.
• Lévy, P. (1953), Random functions: General theory with special references to Laplacian random functions, University of California Publications in Statistics, vol. 1, pp. 331–390.
• Mandelbrot, B.; van Ness, J.W. (1968), "Fractional Brownian motions, fractional noises and applications", SIAM Review, 10 (4): 422–437, Bibcode:1968SIAMR..10..422M, doi:10.1137/1010093, JSTOR   2027184 .
• Orey, Steven (1970), "Gaussian sample functions and the Hausdorff dimension of level crossings", Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete, 15 (3): 249–256, doi: 10.1007/BF00534922 , S2CID   121253646 .
• Perrin, E.; Harba, R.; Berzin-Joseph, C.; Iribarren, I.; Bonami, A. (2001). "NTH-order fractional Brownian motion and fractional Gaussian noises". IEEE Transactions on Signal Processing. 49 (5): 1049–1059. Bibcode:2001ITSP...49.1049P. doi:10.1109/78.917808.
• Samorodnitsky G., Taqqu M.S. (1994), Stable Non-Gaussian Random Processes, Chapter 7: "Self-similar processes" (Chapman & Hall).

Further reading

• Sainty, P. (1992), "Construction of a complex-valued fractional Brownian motion of order N", Journal of Mathematical Physics , 33 (9): 3128, Bibcode:1992JMP....33.3128S, doi:10.1063/1.529976 .