Tutorials › Stochastic Calculus › Brownian Scaling and Self-Similarity

Brownian Motion Essentials · Tutorial 41 of 600

Brownian Scaling and Self-Similarity

Learn why Brownian time is rescaled by the square of space and how to use self-similarity to transfer distributional calculations between time horizons.

Advanced 10 min read

What You'll Learn

  • Prove that rescaled Brownian motion has the standard Brownian law.
  • Distinguish equality of finite-dimensional distributions from equality in law on continuous path space.
  • Convert time scaling into the corresponding square-root space scaling.
  • Transform probabilities for Brownian endpoints and increments.
  • Derive the scaling law and distribution of a Brownian path integral.

The Time–Space Balance of Brownian Motion

Brownian motion has fluctuations of order \(\sqrt{t}\), not \(t\). Consequently, changing the time scale by a factor \(c\) requires changing the space scale by \(\sqrt{c}\) to preserve the same distribution. This balance is more than a statement about the distribution at one time: after rescaling, the entire continuous process has the same law.

Work on a filtered probability space \((\Omega,\mathcal{F},(\mathcal{F}_t)_{t\ge0},\mathbb{P})\) carrying a standard Brownian motion \(B_t\). Thus \(B_0=0\), its paths are continuous, and for \(0\le s<t\), the increment \(B_t-B_s\) is independent of \(\mathcal{F}_s\) and has distribution \(N(0,t-s)\). For a fixed \(c>0\), define the rescaled process and its filtration by

$$ \widetilde B_t=\frac{1}{\sqrt{c}}B_{ct}, \qquad \widetilde{\mathcal{F}}_t=\mathcal{F}_{ct}. $$

The rescaling changes both the time argument and the units of space. Its importance is that \(\widetilde B\) is again a standard Brownian motion, as the next result proves directly from the defining properties.

The Brownian Scaling Theorem

Theorem: For each \(c>0\), the process \((c^{-1/2}B_{ct})_{t\ge0}\) is a standard Brownian motion relative to \((\widetilde{\mathcal{F}}_t)_{t\ge0}\). In particular, it has the same law as \(B\), including as a random continuous path on every bounded time interval.

Proof. Fix \(c>0\). The paths of \(\widetilde B\) are continuous because they are obtained from continuous paths of \(B\) by a continuous change of time and a constant multiplication. Also, \(\widetilde B_0=c^{-1/2}B_0=0\). For \(0\le s<t\),

$$ \widetilde B_t-\widetilde B_s =\frac{B_{ct}-B_{cs}}{\sqrt{c}} \sim N\left(0,\frac{ct-cs}{c}\right) =N(0,t-s). $$

The increment \(B_{ct}-B_{cs}\) is independent of \(\mathcal{F}_{cs}=\widetilde{\mathcal{F}}_s\), so the rescaled increment is independent of the rescaled process's past. Thus \(\widetilde B\) has continuous paths, starts at zero, and has independent Gaussian increments with variance equal to elapsed time. These are the defining properties of standard Brownian motion.

This argument also gives equality of the finite-dimensional distributions of \(\widetilde B\) and \(B\). To obtain equality in law on \(C([0,T])\), the space of continuous paths on \([0,T]\), note that its Borel sigma-field is generated by evaluations at rational times in \([0,T]\). The two continuous processes agree in all joint distributions at those times, so their probability laws on this path space agree. \(\square\)

Corollary: For every \(c>0\), the processes \((B_{ct})_{t\ge0}\) and \((\sqrt{c}B_t)_{t\ge0}\) have the same law. Equivalently, for every \(a>0\), \((aB_{t/a^2})_{t\ge0}\) has the same law as \(B\).

Proof. The theorem says that \((c^{-1/2}B_{ct})_{t\ge0}\) has the law of \(B\). Multiplying each path value by \(\sqrt{c}\) gives the first identity in law. For the second, take \(c=a^{-2}\), so that \(c^{-1/2}=a\) and \(ct=t/a^2\). \(\square\)

For example, on \([0,1]\), the path \(t\mapsto B_{ct}\) has the same distribution as \(t\mapsto\sqrt{c}B_t\). A change in the time horizon by \(c\) therefore corresponds to a change in the typical spatial scale by \(\sqrt{c}\). The same identity can be applied to measurable functions of an entire path, not just to its value at one time.

Worked Consequences of Scaling

Worked Example: An Endpoint Probability at a New Time

Find \(\mathbb{P}(-\sqrt{12}\le B_{12}<2\sqrt{12})\). Since \(12=12\cdot1\), the scaling theorem gives \(B_{12}\) the same distribution as \(\sqrt{12}B_1\). Dividing the two event bounds by the positive number \(\sqrt{12}\) transforms the event into

$$ -\sqrt{12}\le B_{12}<2\sqrt{12} \quad\longleftrightarrow\quad -1\le B_1<2. $$

Write \(\Phi(x)=\mathbb{P}(Z\le x)\) for the standard normal cumulative distribution function. Since \(B_1\sim N(0,1)\) and this distribution assigns probability zero to either endpoint,

$$ \mathbb{P}(-\sqrt{12}\le B_{12}<2\sqrt{12}) =\Phi(2)-\Phi(-1) =\Phi(2)+\Phi(1)-1. $$

Check: the standardised endpoint is \(B_{12}/\sqrt{12}\sim N(0,1)\), so the transformed interval is exactly \([-1,2)\). The last equality uses the symmetry identity \(\Phi(-1)=1-\Phi(1)\).

Worked Example: Two Independent Increments at Different Scales

Compute \(\mathbb{P}(B_9-B_4>\sqrt{5},\ B_4<-2)\). Apply scaling with \(c=9\), so \((B_{9t}/3)_{t\ge0}\) is standard Brownian motion. At times \(1\) and \(4/9\), this gives the joint distributional identities

$$ B_9-B_4 \ \overset{\mathrm{law}}{=}\ 3\left(B_1-B_{4/9}\right), \qquad B_4 \ \overset{\mathrm{law}}{=}\ 3B_{4/9}. $$

The two quantities on the right are independent: \(B_1-B_{4/9}\) is an increment after time \(4/9\), independent of the past through \(4/9\), which contains \(B_{4/9}\). Their distributions are \(N(0,3^2(1-4/9))=N(0,5)\) and \(N(0,3^2(4/9))=N(0,4)\), respectively. Standardising the first threshold gives \(\sqrt{5}/\sqrt{5}=1\); standardising the second gives \(-2/\sqrt{4}=-1\). Thus

$$ \begin{aligned} \mathbb{P}(B_9-B_4>\sqrt{5},\ B_4<-2) &=\mathbb{P}(Z_1>1)\mathbb{P}(Z_2<-1)\\ &=(1-\Phi(1))\Phi(-1) =\Phi(-1)^2, \end{aligned} $$

where \(Z_1,Z_2\) are independent standard normal random variables. The strict inequalities cause no endpoint correction because the normal distributions have no atoms. Check: the original increment has variance \(9-4=5\), and \(B_4\) has variance \(4\); these agree with the scaled variances, so both standardisations use the correct time intervals.

Scaling a Functional of the Whole Path

Equality of path laws lets us transfer distributions of path functionals. One example is the ordinary time integral of a Brownian path. Define \(A_T=\int_0^T B_s\,ds\), where this is a usual Lebesgue integral along the continuous path, not an Ito integral.

Proposition: For every \(T>0\), \(A_T\) has a centered normal distribution with variance \(T^3/3\). In particular, \(A_T\) has the same law as \(T^{3/2}A_1\).

Proof. The path-scaling theorem on \([0,1]\) gives \((B_{Tu})_{0\le u\le1}\) the same law as \((\sqrt{T}B_u)_{0\le u\le1}\). Using the substitution \(s=Tu\) in the path integral therefore gives

$$ A_T=T\int_0^1 B_{Tu}\,du \ \overset{\mathrm{law}}{=}\ T^{3/2}\int_0^1 B_u\,du =T^{3/2}A_1. $$

It remains to identify the law of \(A_1\). Riemann sums for the integral are linear combinations of jointly Gaussian Brownian values, hence are centered Gaussian random variables. They converge in \(L^2\) to \(A_1\): for example, the Brownian covariance \(\mathbb{E}[B_sB_t]=\min(s,t)\) and continuity of this covariance show that the second moments of the Riemann-sum errors tend to zero. The \(L^2\) limit is therefore centered Gaussian. Its variance is

$$ \mathbb{E}[A_1^2] =\int_0^1\int_0^1\mathbb{E}[B_sB_t]\,ds\,dt =\int_0^1\int_0^1\min(s,t)\,ds\,dt =2\int_0^1\int_0^t s\,ds\,dt =2\int_0^1\frac{t^2}{2}\,dt =\frac13. $$

The diagonal \(s=t\) has zero area, so splitting the square into its two triangles gives the factor \(2\). Consequently \(A_1\sim N(0,1/3)\), and the scaling identity implies \(A_T\sim N(0,T^3/3)\). \(\square\)

Worked Example: A Brownian Area Probability on a Longer Horizon

Find \(\mathbb{P}(A_8>16\sqrt{2})\). By the proposition, \(A_8\) has variance \(8^3/3=512/3\), so its standard deviation is \(\sqrt{512/3}=16\sqrt{2/3}\). The standardised threshold is therefore

$$ \frac{16\sqrt{2}}{16\sqrt{2/3}}=\sqrt{3}. $$

It follows that \(\mathbb{P}(A_8>16\sqrt{2})=1-\Phi(\sqrt{3})\). Alternatively, the scaling identity gives \(A_8\overset{\mathrm{law}}{=}8^{3/2}A_1=16\sqrt{2}A_1\). Thus the event becomes \(A_1>1\); since \(A_1\sim N(0,1/3)\), its standardised threshold is \(1/\sqrt{1/3}=\sqrt{3}\), giving the same answer.

Check: the direct variance calculation gives \(512/3\), while scaling \(A_1\) multiplies its variance \(1/3\) by \((16\sqrt{2})^2=512\), again giving \(512/3\). The two methods agree.

Common Mistake: Scaling Time Without Scaling Space

A tempting but incorrect claim is that \((B_{ct})_{t\ge0}\) has the same law as \(B\) without any change in space. At time \(t\), however, \(B_{ct}\) has variance \(ct\), while \(B_t\) has variance \(t\). For example, \(B_4\sim N(0,4)\), whereas \(B_1\sim N(0,1)\); they cannot have the same distribution. The correction is to divide by \(\sqrt{c}\): \(B_{ct}/\sqrt{c}\) has variance \(t\) and, by the theorem, the full Brownian law.

The scaling identity is useful whenever a problem involves a different time horizon or a different spatial threshold. It can simplify endpoint probabilities, joint increment calculations, and path functionals. It does not by itself evaluate every path event; it transfers the event to a rescaled version with the same probability, after which an appropriate distributional calculation may still be needed.

TransformationEquality in lawTime–space relationship
Time enlarged by \(c\)\(B_{ct}\overset{\mathrm{law}}{=}\sqrt{c}B_t\)Space is enlarged by \(\sqrt{c}\)
Time reduced by \(a^2\)\(aB_{t/a^2}\overset{\mathrm{law}}{=}B_t\)Space is enlarged by \(a\)
Brownian path area through \(T\)\(A_T\overset{\mathrm{law}}{=}T^{3/2}A_1\)Area scales as time times space

Check Your Understanding

Use the defining properties of Brownian motion and the scaling theorem to answer these questions.

  1. For \(c>0\), what is the variance of \(c^{-1/2}(B_{ct}-B_{cs})\) when \(0\le s<t\)? Why is this increment independent of \(\widetilde{\mathcal{F}}_s\)?
  2. Rewrite \(\mathbb{P}(B_{25}\le -10)\) as a standard normal probability.
  3. What is the law of \(B_{12}-B_3\), and how does standardising it use the length of the increment interval?
  4. Using \(A_T\overset{\mathrm{law}}{=}T^{3/2}A_1\), find the variance of \(A_5\).
  5. Why does \(B_{ct}\) alone generally not have the same law as \(B_t\) when \(c\ne1\)?