If is Brownian motion with respect to the given filtration, independent Gaussian increments give the identity immediately.
Conversely, fix and let . Taking expectations gives its characteristic function , so . To prove independence, for any define the finite measure . The conditional identity givesUniqueness of Fourier transforms of finite measures implies . This is independence of from . Iterating over times proves independent increments. Together with the stated continuity and , this gives standard Brownian motion.
Here a process with the stated filtration is understood to be adapted, as required when saying it is Brownian with respect to that filtration. If adaptedness is not implicit, it must be added: an ordinary Brownian motion with a trivial filtration satisfies the displayed conditional characteristic function but is not adapted to that filtration.
Articles by others on the same topic
There are currently no matching articles.