3
votes
0answers
59 views

Law of iterated logarithms for BM

The law of iterated logarithms for the standard Brownian motion asserts that $(\ast) \limsup\limits_{h \downarrow 0} \frac{B(h)}{\sqrt{2h\log\log(\frac{1}{h})}} = 1$ I'm trying to prove the ...
1
vote
2answers
54 views

The 1-dimensional Hausdorff measure of a curve in the plane

For a set $X\subseteq\mathbb{R}^2$, let $H^1(X)$ be its 1-dimensional Hausdorff measure. Suppose $X$ is a regular curve (say, a graph of a continuous function $f:\mathbb{R}\to\mathbb{R}$). In that ...
5
votes
2answers
1k views

Prove the time inversion formula is brownian motion

Let $B=(B_t)_{t\geq 0}$ be a brownian motion. Show the time inversion formula $\hat{B}=(B_t)_t\geq0$ is a brownian motion, where for $t \geq 0$ we set $\hat{B}=0$ for $t=0$ and $\hat{B}=tB_{1/t}$ for ...
4
votes
0answers
158 views

Using a laplace type expansion to get bounds on an integral arising in the study of Brownian motion

Let $ 0 < r < 1$, fix $x > 1$ and consider the integral $$ I_{r}(x) = \int_{1}^{\infty} \exp\left( - \frac{x^2}{2y^{2r}} - \frac{y^2}{2}\right) \frac{dy}{y^r}.$$ In the investigation of ...