Past exam of the mathematics course of the University of Cambridge / 2006 / iii / Paper 31 / 3 / i / Solution

For Brownian motion $B$ starting at zero, define its enhanced Brownian motion by the Stratonovich second level:The associated group-valued path is ${\mathbf{B}}_t={\mathbf{B}}_{0,t}$. The Stratonovich chain rule givesConsequently its symmetric second level is $\frac{1}{2}{B}_{s,t}\otimes B_{s,t}$ and the remaining antisymmetric part $A_{s,t}=\frac{1}{2}({\mathbb{B}}_{s,t}-{\mathbb{B}}_{s,t}^{\mathsf{T}})$ is Lévy area. Splitting the integral at $u$ proves the Chen identity, so these increments lie in $G^2({\mathbb{R}}^d)$ and are the relative increments of ${\mathbf{B}}_t$.

The group norm for the Carnot-Carathéodory distance is comparable to $|B_{s,t}|+|A_{s,t}{|}^{1/2}$. The planar construction in Question 2 extends to dimension $d$: prescribe every coordinate-plane area with a closed rectangle, concatenate these central-area loops, and finish with the displacement segment. The converse bound follows from length bounds on displacement and on each area integral. Thus the comparison constants depend only on $d$.

Brownian scaling and stationarity of increments imply that $(B_{s,t},A_{s,t})$ has the distribution of $(\sqrt{t-s}{B}_{0,1},(t-s)A_{0,1})$. The permitted moment estimates for Lévy area, together with Gaussian moments of Brownian displacement, therefore give, for every finite $q\ge 1$,This also verifies the hypothesis of the metric-valued Kolmogorov continuity theorem. We give the dyadic argument to obtain a simultaneous version explicitly.

Fix $0<\beta <1/2$ and choose $q$ so large that $q(1/2-\beta )>1$. The Markov inequality and a union bound giveThe right-hand side is summable. By the Borel-Cantelli first lemma, almost surely there is a finite random constant $K_{\beta }$ bounding every adjacent dyadic increment by $K_{\beta }{2}^{-n\beta }$, including the finitely many exceptional levels.

Decompose any interval with dyadic endpoints into successive dyadic intervals, with at most two intervals of each size and no size exceeding its length. The metric triangle inequality and the sum of the geometric series givefor all dyadic $s,t$. The finite-dimensional Carnot group is complete, so the path extends uniquely from dyadic times to a continuous $\beta$-Hölder path. At each fixed time the original stochastic enhancement and its values at approaching dyadic times converge in probability by the moment estimate. The extension has the same limit almost surely, hence is a modification of the original enhancement.

Perform this construction on one countable sequence of exponents increasing to $1/2$. The extensions agree on the dense set of dyadic times, so they give one modification that is Hölder at every exponent below $1/2$. On $[0,1]$, a $\beta$-Hölder estimate implies the same estimate at every $0\le \alpha \le \beta$. Therefore