The integrand is a bounded previsible process, so is a continuous local martingale. The quadratic variation of a stochastic integral is
because the Brownian zero set has zero Lebesgue measure. Since , the Lévy characterization of Brownian motion shows that is a standard Brownian motion.
Both variables are centered. The Itô isometry in its bilinear form gives
where the last equality follows because a centered Gaussian distribution is a symmetric probability distribution. Thus and are uncorrelated random variables.
They are not independent. The Itô formula gives , and the bilinear Itô isometry therefore gives
If and were independent random variables, then would also be independent of the measurable function , and centeredness would instead give . This contradiction disproves independence.

Articles by others on the same topic (0)

There are currently no matching articles.