The characteristic function of gives . Taking real parts and using ,There is also a direct check from the stochastic differential equation. Its Itô integral has zero expectation because its integrand is bounded. Thus satisfies and , whose solution is the same expression.
Interpret the source's missing variable in the limit arrow as . We prove convergence in distribution by showing that the angle of the Brownian motion becomes uniform on the circle group.
Let . For every integer , its angular Fourier coefficients satisfyThese are precisely the Fourier coefficients of the uniform distribution on the unit circle. Thus expectations of every trigonometric polynomial converge to its uniform angular average. By the Stone-Weierstrass theorem, trigonometric polynomials approximate continuous functions on the unit circle uniformly. Given an approximation error , the discrepancy of expectations is at most the polynomial discrepancy plus . Taking and then proves weak convergence of probability measures to uniform angular measure.
The function is continuous on the unit circle, so the continuous mapping theorem and part (a)(ii) implyEquivalently, the limiting arcsine distribution has cumulative distribution function for , and probability density function for . This proves the limiting law rather than inferring it merely from the limiting mean.
Articles by others on the same topic
There are currently no matching articles.