For independently driven nonnegative squared Bessel processes , put . Where , use Brownian weights and . Where , fill the weights with . Their squared norm is always one and their cross-variation is zero, so their stochastic integral is Brownian motion by the Lévy characterization of Brownian motion. Multiplying by recovers the sum's martingale part even at zero, and the drifts add to .
Because is continuous and adapted, the Borel function is predictable. Its value at zero is , so its square is exactly one everywhere. Consequently is a zero-starting continuous local martingale with
The Lévy characterization of Brownian motion therefore makes a Brownian motion in the same filtration. Here that characterization is the deterministic-clock case of the conditional-exponential argument in question 2.
Apply the Itô formula to :
Since and , including at zero, substitution yields
Thus is a squared Bessel process of dimension one.