For and , apply the two-variable Itô formula. Independence gives , while each individual bracket is . The second derivatives in the two variables cancel, yielding
Their integrands are continuous adapted and locally bounded, so both coordinates are continuous local martingales. The quadratic variation of a stochastic integral gives
Here is a full proof that the clock diverges. Let , and successively define
By recurrence of one-dimensional Brownian motion, all these times are finite almost surely. By the Strong Markov property at the returns , the variables are independent identically distributed, lie in almost surely, and have a strictly positive mean. The strong law of large numbers gives almost surely. On , , so
The segments are disjoint, and their divergent duration also ensures they cannot accumulate at a finite time. This proves Divergence of a driftless Brownian exponential clock and

Articles by others on the same topic (0)

There are currently no matching articles.