5
$\begingroup$

Let $W_{t}$ be a brownian motion and $ W^{*}_{t} = \max_{s

Then can you please explain why we have this: $ (W^{*}_{t} - W_{t})dW^{*}_{t} = 0 $

1 Answers 1

2

Process $W_t^\ast = \max_{s < t} W_s$ is caglad (left-continuous with the right limit) piecewise constant:

Trajectory of the W* process

Therefore, intuitively speaking, $\mathrm{d} W_t^\ast$ is mostly zero. At the points of discontinuities of $W_t^\ast$, the Wiener process $W_t$ crosses $W_t^\ast$ from below, meaning that $W_t^\ast = W_t$. Now whether this makes the product $(W_t-W_t^\ast) \mathrm{d} W_t^\ast$ zero depends on details of what you mean by $\mathrm{d}W_t^\ast$, which you did not provide.

  • 0
    I think that having pointed out that dW*t = 0 on {t: W*t > Wt}, your proof is completed by acknowledging that the Lebesgue measure of the set {t: W*t = Wt} is zero, and this fact follows from the infinite variation property of the brownian motion.2012-11-07