Wiener measure(2)
The probability distribution of a Brownian motion , , , where is a probability space. The Wiener measure is denoted by or . Brownian motion is a Gaussian process such that
Given a Brownian motion , one can form a new Brownian motion satisfying:
i) is continuous in for almost all .
ii) for every .
Such a process is called a continuous version of .
The Kolmogorov–Prokhorov theorem tells that the probability distribution of the Brownian motion can be introduced in the space of all continuous functions on .
Let be the topological Borel field (cf. also Borel field of sets) of subsets of . The measure space thus obtained is the Wiener measure space.
The integral of a -measurable functional on with respect to is defined in the usual manner. (See also Stochastic integral.)
An elementary and important example of a -measurable functional of is a stochastic bilinear form, given by , where is an -function. It is usually denoted by . It is, in fact, defined by for smooth functions . For a general , can be approximated by stochastic bilinear forms defined by smooth functions . An integral of this type is called a Wiener integral. Under certain restrictions, such as non-anticipation, the integral can be extended to the case where the integrand is a functional of and . And an even more general case has been proposed.
The class of general (non-linear) functionals of is introduced as follows. Let be the Hilbert space of all complex-valued, square--integrable functionals on . Then, admits a direct sum decomposition (Fock space)
The subspace is spanned by the Fourier–Hermite polynomials of degree , which are of the form
where and is a complete orthonormal system in the Hilbert space . The space can be interpreted as the space of multiple Wiener integrals of degree , due to K. Itô.
References
[a1] | R. Cameron, W.T. Martin, "The orthogonal development of non-linear functionals in series of Fourier–Hermite functionals" Ann. of Math. (2) , 48 pp. 385–392 |
[a2] | T. Hida, "Brownian motion" , Applications of Mathematics , 11 , Springer (1980) |
Wiener measure(2). Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Wiener_measure(2)&oldid=19019