I'm currently reading the paper <http://arxiv.org/abs/0908.2473> and can't figure out what they call a "standard application" of the Garsia-Rodemich-Rumsey lemma (see p.8). Summed up, they have a sequence $(X\_t^h)\_{t \geq 0}$ of processes such that $X^h\_0=0$ and show that for $0<s<t$ and $p \geq 1$
$$ \operatorname{E} [ | X\_t^h |^p ]\leq C h^{2p} |t-s|^p.$$
From this estimate, they conclude by the "standard application" of the GRR lemma that $X\_t^h$ converges to zero in probability, uniformly on compact sets, i.e. for any $T>0$,
$$ \sup\_{0 \leq t \leq T} |X\_t^h| \to 0$$ 
in probability.


The lemma is as follows (taken from the book "Multidimensional Stochastic Processes and Rough Paths" by Friz and Victoir, p.573, the original paper is from the seventies):



> 
> *Consider $f \in \mathcal{C}([0,T],E)$ where $(E,d)$ is a metric space. Let $\Psi$ and $p$ be continuous, strictly increasing functions on $[0,\infty)$ with $p(0)=\Psi(0)=0$ and $\Psi(x) \to \infty$ for $x \to \infty$. Then,
>  $$\int\_0^T \int\_0^T \Psi \left( \frac{d(f\_s,f\_t)}{p(|t-s|)} \right) \, \mathrm{d}s \, \mathrm{d}t \leq F$$
>  implies, for $0 \leq s \leq t \leq T$,
>  $$d(f\_s,f\_t) \leq 8 \int\_0^{t-s} \Psi^{-1} \left( \frac{4F}{u^2} \right) \, \mathrm{d} p(u).$$*
> 
> 
> 


I naively tried taking $d(f\_s,f\_t)= \left(\operatorname{E} [|f\_s-f\_t|^p]\right)^{1/p}$ but then can't get the supremum inside the expectation. Can somebody help me out here?



Can't figure out "standard application" of the Garsia-Rodemich-Rumsey Lemma
Let $p \ge 1$ and $\alpha >p^{-1}$. From the GRR inequality, there exists a constant $C\_{\alpha,p} >0$ such that for any continuous function $f$ on $[0,T]$, and for all $t,s \in [0,T]$ one has:


$
|f(t)-f(s)|^p \le C\_{\alpha,p} |t-s|^{\alpha p-1} \int\_0^T \int\_0^T \frac{ |f(x)-f(y)|^p}{ |x-y|^{\alpha p+1}} dx dy.
$


Using the inequality with $s=0$, $f(t)=X\_t^h$ and taking the sup over $t \in [0,T]$ gives 


$
\sup\_{t \in [0,T]} | X\_t^h |^p \le C\_{\alpha,p} T^{\alpha p-1}\int\_0^T \int\_0^T \frac{ |X^h\_x-X^h\_y|^p}{ |x-y|^{\alpha p+1}} dx dy
$


From your assumption, the right hand side converges to 0 in probability.


