Английская Википедия:Fractional Brownian motion

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Short description 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 <math display="inline">B_H(t)</math> on <math display="inline">[0, T]</math>, that starts at zero, has expectation zero for all <math>t</math> in <math display="inline">[0, T]</math>, and has the following covariance function:

<math>E[B_H(t) B_H (s)]=\tfrac{1}{2} (|t|^{2H}+|s|^{2H}-|t-s|^{2H}),</math>

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 Шаблон:Harvtxt.

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) = BH(s+t) − BH(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, Шаблон:Harvtxt used the Riemann–Liouville fractional integral to define the process

<math>\tilde B_H(t) = \frac{1}{\Gamma(H+1/2)}\int_0^t (t-s)^{H-1/2} \, dB(s)</math>

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 Шаблон:Harv. 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

<math>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\}</math>

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:

<math>B_H (at) \sim |a|^{H}B_H (t).</math>

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:

<math>B_H (t) - B_H (s)\; \sim \; B_H (t-s). </math>

Long-range dependence

For H > ½ the process exhibits long-range dependence,

<math>\sum_{n=1}^\infty E[B_H (1)(B_H (n+1)-B_H (n))] = \infty.</math>

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

<math> |B_H (t)-B_H (s)| \le c |t-s|^{H-\varepsilon}</math>

for 0 < s,t < T.

Dimension

With probability 1, the graph of BH(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 <math>\omega^{-1}</math> (i.e. integrated), fractional Brownian motion is white noise filtered by <math>\omega^{-H-1/2}</math> (corresponding to fractional integration).

Sample paths

Practical computer realisations of an fBm can be generated,[4] 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.

Файл:BrownFractionalH75Seed0.svg
"H" = 0.75 realisation 1
Файл:BrownFractionalH75Seed1.svg
"H" = 0.75 realisation 2
Файл:BrownFractionalH75Seed2.svg
"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.

Файл:BrownFractionalH15.svg
"H" = 0.15
Файл:BrownFractionalH55.svg
"H" = 0.55
Файл:BrownFractionalH95.svg
"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 <math> n</math> has complexity of order <math>O(n^3) </math>. A more complex, but computationally faster method is the circulant embedding method of Шаблон:Harvtxt.

Suppose we want to simulate the values of the fBM at times <math>t_1, \ldots, t_n</math> using the Cholesky decomposition method.

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

In order to compute <math>\,\Sigma</math>, we can use for instance the Cholesky decomposition method. An alternative method uses the eigenvalues of <math>\,\Gamma</math>:

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

Note that the result is real-valued because <math>\lambda_i>0</math>.

  • Let <math>\,v_i</math> an eigenvector associated to the eigenvalue <math>\,\lambda_i</math>. Define <math>\,P</math> as the matrix whose <math>i</math>-th column is the eigenvector <math>\,v_i</math>.

Note that since the eigenvectors are linearly independent, the matrix <math>\,P</math> is invertible.

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

Method 2 of simulation

It is also known that [5]

<math>B_H (t)=\int_0^t K_H(t,s) \, dB(s)</math>

where B is a standard Brownian motion and

<math>K_H(t,s)=\frac{(t-s)^{H-\frac{1}{2}}}{\Gamma(H+\frac{1}{2})}\;_2F_1\left (H-\frac{1}{2};\, \frac{1}{2}-H;\; H+\frac{1}{2};\, 1-\frac{t}{s} \right).</math>

Where <math> _2F_1</math> is the Euler hypergeometric integral.

Say we want to simulate an fBm at points <math>0=t_0< t_1< \cdots < t_n=T</math>.

  • Construct a vector of n numbers drawn according to a standard Gaussian distribution.
  • Multiply it component-wise by Шаблон:Radic to obtain the increments of a Brownian motion on [0, T]. Denote this vector by <math> (\delta B_1, \ldots, \delta B_n)</math>.
  • For each <math> t_j</math>, compute
<math> 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.</math>

The integral may be efficiently computed by Gaussian quadrature.

See also

Notes

Шаблон:Reflist

References

Further reading

Шаблон:Stochastic processes