Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/iii/paper-202/4/c/solution

Under the corrected orthogonality hypothesis, the preceding quadratic variation calculation gives . We justify the needed infinite occupation time of one-dimensional Brownian motion, rather than inferring an infinite integral from recurrent visits alone.
Let , and recursively let be the first exit of from after , and its first return to zero after . Recurrence of one-dimensional Brownian motion makes these stopping times finite almost surely. The Strong Markov property shows that are independent and identically distributed random variables, each strictly positive. Choose with . The Borel-Cantelli lemma gives infinitely many such durations and hence almost surely. These intervals are disjoint, and on each, so
This proves the intended conclusion. Without the orthogonality correction, the printed setup gives instead the more general quadratic variation in the previous part; it does not justify identifying that quantity with . The proof here is explicitly for the corrected setup.

New to topics? Read the docs here!