Basic properties of Brownian local time

[5/0%]
LaTeX

Let WW be a Brownian motion and α>0\alpha >0. Show that

∫0t1∣Ws∣αds \int _{0}^{t} \frac{1}{\left|W_{s}\right|^{\alpha }} d s

is infinite almost surely if α≥1\alpha \geq 1 but finite almost surely if α<1\alpha <1.

?

Let LtyL_{t}^{y} be the jointly continuous local times of a Brownian motion WW. Show

12ε∫0t  1[y−ε,y+ε](Ws)ds→Lty, a.s.  \frac{1}{2 \varepsilon } \int _{0}^{t} \; \mathbb {1}_{[y-\varepsilon , y+\varepsilon ]}\left(W_{s}\right) d s \rightarrow L_{t}^{y}, \quad \text{ a.s. }

Show the null set can be taken to be independent of yy. Thus there is no need to take a subsequence εn\varepsilon_{n} to get almost sure convergence to LtyL_{t}^{y}.

?

Let WW be a Brownian motion and fix tt. Show that the function x→∫0t  1(−∞,x](Ws)dsx \rightarrow \int_{0}^{t} \; \mathbb {1}_{(-\infty , x]}\left(W_{s}\right) d s is continuous, a.s., but that the function x→  1(−∞,x](Wt)x \rightarrow \; \mathbb {1}_{(-\infty , x]}\left(W_{t}\right) is not continuous.

?

If Lt0L_{t}^{0} is the local time of a Brownian motion at 0 , show that Lat0L_{a t}^{0} has the same law as aLt0\sqrt{a} L_{t}^{0}.

?

Let WW be a Brownian motion with local times LtyL_{t}^{y}. Set Lt∗=sup⁡yLtyL_{t}^{*}=\sup_{y} L_{t}^{y}. Let p>0p>0. Prove that there exist constants c1,c2c_{1}, c_{2} such that if TT is any finite stopping time,

c1E[Tp/2]≤E[LT∗]≤c2E[Tp/2] c_{1} \mathbb {E}\left[T^{p / 2}\right] \leq \mathbb {E}\left[L_{T}^{*}\right] \leq c_{2} \mathbb {E}\left[T^{p / 2}\right]

The constants c1,c2c_{1}, c_{2} can depend on pp, but not on TT.

Hint: Use Exercise 12.11.

?

References

[Bas11] Bass R.F. Stochastic Processes. Cambridge University Press, 2011.