Kolmogorov Continuity Theorem
   HOME

TheInfoList



OR:

In
mathematics Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many ar ...
, the Kolmogorov continuity theorem is a
theorem In mathematics and formal logic, a theorem is a statement (logic), statement that has been Mathematical proof, proven, or can be proven. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to esta ...
that guarantees that a
stochastic process In probability theory and related fields, a stochastic () or random process is a mathematical object usually defined as a family of random variables in a probability space, where the index of the family often has the interpretation of time. Sto ...
that satisfies certain constraints on the moments of its increments will be continuous (or, more precisely, have a "continuous version"). It is credited to the
Soviet The Union of Soviet Socialist Republics. (USSR), commonly known as the Soviet Union, was a List of former transcontinental countries#Since 1700, transcontinental country that spanned much of Eurasia from 1922 until Dissolution of the Soviet ...
mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, mathematical structure, structure, space, Mathematica ...
Andrey Nikolaevich Kolmogorov Andrey Nikolaevich Kolmogorov ( rus, Андре́й Никола́евич Колмого́ров, p=ɐnˈdrʲej nʲɪkɐˈlajɪvʲɪtɕ kəlmɐˈɡorəf, a=Ru-Andrey Nikolaevich Kolmogorov.ogg, 25 April 1903 – 20 October 1987) was a Soviet ...
.


Statement

Let (S,d) be some complete separable metric space, and let X\colon [0, + \infty) \times \Omega \to S be a stochastic process. Suppose that for all times T > 0, there exist positive constants \alpha, \beta, K such that :\mathbb [d(X_t, X_s)^\alpha] \leq K , t - s , ^ for all 0 \leq s, t \leq T. Then there exists a modification \tilde of X that is a continuous process, i.e. a process \tilde\colon sample-continuous; * for every time t \geq 0, \mathbb (X_t = \tilde_t) = 1. Furthermore, the paths of \tilde are locally \gamma-Hölder-continuous for every 0<\gamma<\tfrac\beta\alpha.


Example

In the case of Brownian motion">Hölder continuity">\gamma-Hölder-continuous for every 0<\gamma<\tfrac\beta\alpha.


Example

In the case of Brownian motion on \mathbb^n, the choice of constants \alpha = 4, \beta = 1, K = n (n + 2) will work in the Kolmogorov continuity theorem. Moreover, for any positive integer m, the constants \alpha = 2m, \beta = m-1 will work, for some positive value of K that depends on n and m.


See also

* Kolmogorov extension theorem


References

* {{cite book , author= Daniel W. Stroock, S. R. Srinivasa Varadhan , authorlink=Daniel W. Stroock, S. R. Srinivasa Varadhan , title=Multidimensional Diffusion Processes , publisher=Springer, Berlin , year=1997 , isbn=978-3-662-22201-0 p. 51 Theorems about stochastic processes