A Brownian motion starts at zero, has continuous paths, and has independent increments with . The stated covariance makes every finite collection jointly Gaussian; disjoint increments have zero covariance and hence are independent. Their variances are interval lengths, proving all defining properties.
The transformed process is centred Gaussian and
The Brownian strong law makes almost surely as , giving continuity at zero; elsewhere continuity is immediate. Part (a) now applies.
The joint Gaussian density of the independent increments changes under shifts by
Multiplying the density and integrating the bounded cylinder function proves the identity.
Apply Cameron-Martin theorem to the absolutely continuous path up to and thereafter. Its derivative is on and zero later, so the Radon-Nikodym factor is , yielding the formula for every bounded measurable functional of the path after .

Articles by others on the same topic (0)

There are currently no matching articles.