Lévy's modulus of continuity theorem 📖 Wikipedia

Lévy's modulus of continuity theorem is a theorem that gives a result about an almost sure behaviour of an estimate of the modulus of continuity for Wiener process, that is used to model what's known as Brownian motion.

Lévy's modulus of continuity theorem is named after the French mathematician Paul Lévy.

Let ${\displaystyle B:[0,1]\times \Omega \to \mathbb {R} }$ be a standard Wiener process. Then, almost surely,

${\displaystyle \lim _{h\to 0}\sup _{t,t'\leq 1;|t-t'|\leq h}{\frac {|B_{t'}-B_{t}|}{\sqrt {2h\log(1/h)}}}=1.}$

In other words, the sample paths of Brownian motion have modulus of continuity

${\displaystyle \omega _{B}(\delta )=c{\sqrt {2\delta \log(1/\delta )}}}$

with probability one, for ${\displaystyle c>1}$ and sufficiently small ${\displaystyle \delta >0}$.^[1]

• Some properties of sample paths of the Wiener process

• Paul Pierre Lévy, Théorie de l'addition des variables aléatoires. Gauthier-Villars, Paris (1937).