Donsker's theorem and Dirichlet forms. (Q2386012)

Let us consider a sequence of independent and identically distributed random variables and associate the corresponding random walk with them. We then define a sequence of stochastic processes by taking the piecewise linear interpolation of the random walk. Essentially, the classical Donsker's theorem asserts that these processes converge weakly to a Brownian motion. The author shows that if the considered random variables are in addition erroneous, the convergence occurs in the sense of Dirichlet forms and induces the Ornstein-Uhlenbeck structure on the Wiener space. The proof requires an extension of the Donsker theorem to functions with quadratic growth. This extension is more delicate than in the case of the central limit theorem and is the main difficulty of the proof. As a consequence to his result, the author proves an invariance principle for the gradient of the maximum of the Brownian path calculated by Nualart and Vives.