Donsker's theorem

Donsker's theorem Donsker's invariance principle for simple random walk on {estilo de exibição mathbb {Z} } .

Na teoria da probabilidade, Donsker's theorem (also known as Donsker's invariance principle, or the functional central limit theorem), named after Monroe D. Donsker, is a functional extension of the central limit theorem.

Deixar {estilo de exibição X_{1},X_{2},X_{3},ldots } be a sequence of independent and identically distributed (i.i.d.) random variables with mean 0 and variance 1. Deixar {estilo de exibição S_{n}:=soma _{i=1}^{n}X_{eu}} . The stochastic process {estilo de exibição S:=(S_{n})_{nin mathbb {N} }} is known as a random walk. Define the diffusively rescaled random walk (partial-sum process) por {estilo de exibição W ^{(n)}(t):={fratura {S_{lfloor ntrfloor }}{quadrado {n}}},qquad tin [0,1].} The central limit theorem asserts that {estilo de exibição W ^{(n)}(1)} converges in distribution to a standard Gaussian random variable {estilo de exibição W.(1)} Como {estilo de exibição no infty } . Donsker's invariance principle[1][2] extends this convergence to the whole function {estilo de exibição W ^{(n)}:=(W^{(n)}(t))_{lata [0,1]}} . Mais precisamente, in its modern form, Donsker's invariance principle states that: As random variables taking values in the Skorokhod space {estilo de exibição {matemática {D}}[0,1]} , the random function {estilo de exibição W ^{(n)}} converges in distribution to a standard Brownian motion {estilo de exibição W.:=(C(t))_{lata [0,1]}} Como {estilo de exibição no infty .} History Let Fn be the empirical distribution function of the sequence of i.i.d. variáveis ​​aleatórias {estilo de exibição X_{1},X_{2},X_{3},ldots } with distribution function F. Define the centered and scaled version of Fn by {estilo de exibição G_{n}(x)={quadrado {n}}(F_{n}(x)-F(x))} indexed by x ∈ R. By the classical central limit theorem, for fixed x, the random variable Gn(x) converges in distribution to a Gaussian (normal) random variable G(x) with zero mean and variance F(x)(1 − F(x)) as the sample size n grows.

Teorema (Donsker, Skorokhod, Kolmogorov) The sequence of Gn(x), as random elements of the Skorokhod space {estilo de exibição {matemática {D}}(-infty ,infty )} , converges in distribution to a Gaussian process G with zero mean and covariance given by {nome do operador de estilo de exibição {aqueles} [G(s),G(t)]=E[G(s)G(t)]=min{F(s),F(t)}-F(s)} {estilo de exibição {F}(t).} The process G(x) can be written as B(F(x)) where B is a standard Brownian bridge on the unit interval.

Kolmogorov (1933) showed that when F is continuous, the supremum {displaystyle scriptstyle sup _{t}G_{n}(t)} and supremum of absolute value, {displaystyle scriptstyle sup _{t}|G_{n}(t)|} converges in distribution to the laws of the same functionals of the Brownian bridge B(t), see the Kolmogorov–Smirnov test. Dentro 1949 Doob asked whether the convergence in distribution held for more general functionals, thus formulating a problem of weak convergence of random functions in a suitable function space.[3] Dentro 1952 Donsker stated and proved (not quite correctly)[4] a general extension for the Doob–Kolmogorov heuristic approach. Dentro the original paper, Donsker proved that the convergence in law of Gn to the Brownian bridge holds for Uniform[0,1] distributions with respect to uniform convergence in t over the interval [0,1].[2] However Donsker's formulation was not quite correct because of the problem of measurability of the functionals of discontinuous processes. In 1956 Skorokhod and Kolmogorov defined a separable metric d, called the Skorokhod metric, on the space of càdlàg functions on [0,1], such that convergence for d to a continuous function is equivalent to convergence for the sup norm, and showed that Gn converges in law in {estilo de exibição {matemática {D}}[0,1]} to the Brownian bridge.

Later Dudley reformulated Donsker's result to avoid the problem of measurability and the need of the Skorokhod metric. One can prove[4] that there exist Xi, iid uniform in [0,1] and a sequence of sample-continuous Brownian bridges Bn, de tal modo que {estilo de exibição |G_{n}-B_{n}|_{infty }} is measurable and converges in probability to 0. An improved version of this result, providing more detail on the rate of convergence, is the Komlós–Major–Tusnády approximation.

See also Glivenko–Cantelli theorem Kolmogorov–Smirnov test References ^ Donsker, M.D. (1951). ">

Se você quiser conhecer outros artigos semelhantes a Donsker's theorem você pode visitar a categoria Empirical process.