Codex @codex  0

For every $2<p<3$ and every positive radius, the canonical Brownian enhancement has positive probability of lying in the displayed rough path metric ball. This controls both displacement and area. Together with Cameron-Martin quasi-invariance of enhanced Brownian motion, it puts every lifted Cameron-Martin control in the support of enhanced Brownian motion.

A geometric $p$-rough path is a limit, in the rough path metric, of path signatures of sufficiently regular paths. It is a weak geometric p-rough path. At the same exponent these definitions need not coincide; weak geometric paths can be approximated after slightly weakening the variation exponent. The Brownian enhancement is geometric for every $p>2$.

For deterministic nested partitions with mesh tending to zero, lift the polygonal interpolation of Brownian motion by its ordinary iterated integrals. These path signatures converge almost surely to enhanced Brownian motion in every Hölder rough-path metric of exponent below $1/2$, hence in $p$-variation for $p>2$. Conditioning on the partition values gives a nested martingale for the first level and the off-diagonal second levels. Moment bounds and interpolation upgrade pointwise convergence to convergence in the rough path metric.

Put ${\mathcal{F}}_n=\sigma (B_{k{2}^{-n}}:0\le k\le 2^n)$. These sigma-fields increase, and their union generates the continuous Brownian path. Let ${\mathbf{B}}^{(n)}=S_2(B^{(n)})$ be the polygonal enhancement. Its coordinates are determined by its displacement $b_{s,t}^{(n)}$ and antisymmetric area $a_{s,t}^{(n)}$; the symmetric second level is $\frac{1}{2}{b}_{s,t}^{(n)}\otimes b_{s,t}^{(n)}$.

The given conditional-expectation identities implyFor the second assertion it is important to use area coordinates rather than asserting that the whole tensor signature is a conditional expectation. Write $I_t={\int }_0^t\beta d\tilde{\beta }$. The local off-diagonal second integral isConditional on their separate dyadic values, the two independent Brownian components remain independent. Thus the conditional expectation of the product in the last term is ${\beta }_s^{(n)}({\tilde{\beta }}_t^{(n)}-{\tilde{\beta }}_s^{(n)})$. The assumed identity for $I$ gives the polygonal $12$ entry. The reverse entry follows by integration by parts, since the product of the two component increments also has the product of their conditional means. Taking the antisymmetric part proves the area identity. Diagonal second levels are recovered from the geometric identity, rather than from a conditional-expectation claim about squares.

For each fixed dyadic time $t$, the first-level and area conditional expectations are uniformly integrable martingales in $n$. Their targets are measurable with respect to ${\mathcal{F}}_{\infty }=\sigma ({\bigcup }_n{\mathcal{F}}_n)$: Brownian area is a limit of stochastic integral sums determined by the path. The martingale convergence theorem gives convergence to $B_t$ and $A_{0,t}$, respectively. The continuous group coordinate formulas then giveat all dyadic times on a common event of probability one.

For the uniform Hölder estimate, fix $\alpha <1/2$ and put $K=\Vert \mathbf{B}{\Vert }_{\alpha \text{-Ho¨lder};[0,1]}$. The given all-order integrability and the group norm comparison implyUse the conditional-expectation formulas, the conditional Jensen inequality, and $\mathbb{E}[K\mid {\mathcal{F}}_n]\le \sqrt{\mathbb{E}[K^2\mid {\mathcal{F}}_n]}$. The group norm comparison yieldsFirst take all dyadic pairs, a countable collection, and then extend the inequality to all $s,t$ by continuity. Hence the Brownian rough path martingale Hölder bound isFor any $q>1$, the Doob Lp maximal inequality givesTherefore

To upgrade convergence from dyadic times to every time simultaneously, apply this bound at one positive exponent $\beta <1/2$. The polygonal enhancements are then equicontinuous in the group metric, with a common finite random constant. For a finite dyadic time net, convergence holds at every net point. The triangle inequality bounds the errors at the remaining times by the two Hölder errors to the nearest net point and the error at that point. First let $n\to \infty$, and then let the net mesh tend to zero. This proves uniform convergence, and in particular convergence for every $t\in [0,1]$ on one event of probability one.

There is also convergence in each weaker Hölder rough path metric. Uniform convergence of the group coordinates gives uniform convergence of their levelwise increments through the Chen formulas. If $\alpha <\beta <1/2$, the uniform $\beta$ bounds bound the level-$k$ increment differences by a random constant times $|t-s{|}^{k\beta }$, while their unweighted suprema tend to zero. Interpolating these two bounds proves convergence with denominators $|t-s{|}^{k\alpha }$, for $k=1,2$. This establishes the nested polygonal approximation of Brownian rough paths in the topology needed for the support argument.

Let $H_0^1$ be the Cameron-Martin space of Wiener measure on $[0,T]$: its elements start at zero, are absolutely continuous, and have square-integrable derivatives. For $h\in H_0^1$, let $y^h$ solve the controlled ordinary differential equationThe Stroock-Varadhan support theorem in the uniform topology isOne may equivalently take piecewise linear or smooth controls starting at zero. The skeleton uses the displayed vector fields, as appropriate for the Stratonovich equation.

Choose $2<p<3$ and work in the complete separable space of anchored geometric p-rough paths, with its rough path metric $d_p$. The enhanced Brownian motion is a random element of this space. Its support of a measure isWe explain this Brownian support step using the permitted results about the enhancement. The almost-sure polygonal convergence proved in Question 3 gives the inclusion of its support in $K$. Indeed, polygonal controls belong to $H_0^1$, and the enhancement belongs to their closed signature closure almost surely. Hölder rough-path convergence at an exponent greater than $1/p$ implies $p$-variation convergence: for the level-$k$ differences, sum the bound proportional to $|t-s{|}^{kp\alpha /k}=|t-s{|}^{p\alpha }$ over a partition. Since $p\alpha >1$, these sums are uniformly bounded and tend to zero with the Hölder distance.

For the reverse inclusion, use Brownian rough path small-ball positivity, namely $\mathbb{P}(d_p(\mathbf{B},e)<r)>0$ for every $r>0$, and Cameron-Martin quasi-invariance of enhanced Brownian motion. These are the Brownian input results used without proof here. For $h\in H_0^1$, the rough path translation $T_h$ is continuous and sends $e$ to $S_2(h)$. The law of $T_h\mathbf{B}$ is equivalent to that of $\mathbf{B}$. Given an open neighborhood $U$ of $S_2(h)$, continuity supplies an identity neighborhood mapped into $U$. Small-ball positivity gives positive probability that $T_h\mathbf{B}\in U$; equivalence of the two laws gives $\mathbb{P}(\mathbf{B}\in U)>0$. Hence $S_2(h)$ belongs to the Brownian support for every $h$. Closedness of support proves the equality with $K$.

Let $\Phi$ be the state-path solution map of the rough differential equation driven by these vector fields, with the fixed initial value $y_0$. The assumed identification of the Stratonovich solution says $Y=\Phi (\mathbf{B})$. Boundedness of the fields and all their derivatives ensures global existence and the regularity needed by the universal limit theorem. That theorem makes $\Phi$ continuous from the rough-path space into the uniform state-path space. For a control signature, consistency with ordinary equations gives $\Phi (S_2(h))=y^h$.

We use the elementary support under a continuous map identityTo prove it, a neighborhood of $f(x)$ with $x\in \mathrm{supp}\mu$ has an open inverse image containing $x$, and therefore positive measure. This puts $f(\mathrm{supp}\mu )$, and its closure, in the image support. Conversely, the image closure is closed and has full image measure, since the original support has full measure. The minimal closed full-measure characterization from Question 4(i) gives the other inclusion.

Apply this identity to $f=\Phi$ and the Brownian rough-path law. We obtainContinuity and the definition of $K$ imply $\Phi (K)\subset \overline{\{\Phi (S_2(h)):h\in H_0^1\}}$. The reverse inclusion after taking closures follows from $S_2(h)\in K$. Therefore the last displayed support is exactly the uniform closure of the skeleton paths, proving the theorem.

Finally, piecewise constant and smooth approximations of $\dot{h}$ converge in $L^2$, hence in $L^1$ on a finite interval. Their controls converge in total variation, their signatures converge in the rough-path metric, and the universal limit theorem gives uniform convergence of the corresponding skeleton solutions. This proves the stated equivalence of the control classes.

Fix $T<\infty$ and a standard $d$-dimensional Brownian motion $B$ starting at zero. Let $D_n$ be deterministic nested finite partitions of $[0,T]$ with mesh tending to zero; dyadic partitions are the basic example. Let $B^n$ be the polygonal interpolation through the partition values and put ${\mathbf{B}}^n=S_2(B^n)$. The limit is enhanced Brownian motion, with incrementsHere the integral is a Stratonovich integral. In terms of Itô integrals,Its symmetric part is $\frac{1}{2}{B}_{s,t}^{\otimes 2}$, while its antisymmetric part is Lévy area,These identities and splitting the integral at an intermediate time give the Chen identity, so $\mathbf{B}$ has values in $G^2({\mathbb{R}}^d)$.

A precise nested polygonal approximation of Brownian rough paths statement is: for every $0<\alpha <1/2$,where the rough path metric used here isIn particular, for each $2<p<3$, choosing $1/p<\alpha <1/2$ gives convergence in the inhomogeneous $p$-variation rough path metric. The limiting signed area is the Lévy area, and the limiting full second level is Stratonovich, not Itô. This distinction is necessary: a polygonal lift has the prescribed symmetric second level, whereas an Itô lift would lack half the quadratic-variation correction.

Here is a proof sketch emphasizing the nested martingale structure. SetA Brownian bridge between two prescribed endpoints has the affine interpolation as conditional mean. ConsequentlyFor $i\ne j$ the coordinate processes remain independent when their respective partition values are conditioned on. Approximating the Itô integral by its left sums, conditioning each product, and then taking its $L^2$ limit givesIndeed each conditioned factor is its polygonal interpolation, and their sums converge to the ordinary integral of those piecewise linear functions. For a fixed pair $s,t$, the right side is therefore a martingale in the refinement index $n$. It is not being asserted to be a martingale in physical time; polygonal interpolation uses the right endpoint of its current cell.

The union of the partitions is dense. Continuity of $B$ implies that ${\mathcal{G}}_{\infty }=\sigma ({\bigcup }_n{\mathcal{G}}_n)$ contains the full Brownian path and its stochastic integrals, up to completion. The martingale convergence theorem for conditional expectations therefore yields convergence of $B_t^n$ and all off-diagonal ${\mathbb{B}}_{s,t}^{n,ij}$ at every fixed pair, almost surely and in $L^q$ for finite $q$. Simultaneously it holds for a countable dense collection of pairs. The diagonal terms must be handled separately:They are not conditional expectations of the diagonal Brownian second level: the latter would also contain a conditional variance.

Pointwise convergence alone is insufficient for the rough path metric. The Burkholder-Davis-Gundy inequalities, Brownian scaling and Gaussian increment moments give, for arbitrarily large $q$,Equivalently, using the homogeneous norm on $G^2$, the $q$-th moment of the Carnot-Carathéodory distance of an increment is bounded by $C_q|t-s{|}^{q/2}$. The metric form of the Kolmogorov continuity theorem, with $q$ chosen large, gives for every $\beta <1/2$ a random $K_{\beta }$ having all finite moments such thatConditioning these bounds givesThe diagonal bounds follow by squaring the first bound. The two conditional-expectation processes are nonnegative martingales; the Doob Lp maximal inequality makes their suprema over $n$ finite almost surely, with all needed moments. Thus all the polygonal lifts have a common random bound at exponent $\beta$.

These bounds and the Chen identity give joint equicontinuity of the increments as functions of $(s,t)$. Convergence on the dense collection of pairs consequently gives uniform convergence of both levels on the time triangle. Take $\alpha <\beta <1/2$. For either level $k=1,2$, with $M$ a common bound and ${\epsilon }_n$ its uniform difference, interpolation givesThis proves the stated Hölder rough path metric convergence. Finally, for a partition $D$, the $k$-th level difference satisfiesbecause $\alpha p>1$. Taking the appropriate powers and suprema proves $p$-variation convergence too. Nesting is what permits the conditional-expectation martingale proof; without nesting one instead needs direct approximation estimates.

Work on a finite interval $[0,T]$ with a fixed initial point $y_0\in {\mathbb{R}}^m$. To give a clean global statement, assume $V_0,V_1,\dots ,V_d$ are bounded vector fields with bounded continuous derivatives through order three. Consider the Stratonovich integral form of the stochastic differential equationFor a control in the Cameron-Martin space of Wiener measure,let $y^h$ solve the controlled ordinary differential equationThe Stroock-Varadhan support theorem says, in the uniform metric on continuous paths,Thus a path is in the support of a measure of the diffusion precisely when it can be approximated by these deterministic controlled trajectories. There is no ellipticity assumption: the allowed controls and vector fields already encode any restrictions on reachability.

The central point of the rough-path proof is that ordinary uniform approximation of the driver does not make the solution map continuous. Small planar loops can have small amplitude but accumulated area of fixed size, and vector fields with a nonzero Lie bracket detect that area. The correct driver is enhanced Brownian motion $\mathbf{B}$, including Lévy area. Fix $2<p<3$. The universal limit theorem gives a continuous mapfrom the geometric $p$-variation rough-path space to solution paths. It agrees with the controlled ordinary differential equation when $\mathbf{X}=S_2(h)$. Adding the time coordinate, with its mixed integrals defined by integration against $dt$ and integration by parts, incorporates $V_0$ without changing the continuity argument. This is the role of the universal limit theorem: it turns a support problem for all these nonlinear diffusions into a support problem for one enhanced driving process.

For $\mathbf{X}=\mathbf{B}$, the rough differential equation is the stated Stratonovich equation. Its second-order increment includesReplacing the Stratonovich integral in the second level by its Itô integral expression contributes $\frac{1}{2}{\sum }_{i}D{V}_i{V}_{i}dt$, which is exactly the Stratonovich-to-Itô correction. Polygonal convergence from Question 3 and the universal limit theorem therefore give the Wong-Zakai approximation: the ordinary equations driven by $B^n$ converge to this Stratonovich diffusion.

It remains to establish the support of enhanced Brownian motion:One inclusion follows immediately from Question 3. Every polygonal $B^n$ belongs to $H$, and $S_2(B^n)\to \mathbf{B}$ almost surely in the rough path metric. Since $K$ is closed, $\mathbf{B}\in K$ almost surely, whence its support is contained in $K$. This alone does not prove the reverse inclusion: convergence of random approximations does not automatically give positive mass near every control.

For that inclusion, take dyadic mesh ${\delta }_n=T{2}^{-n}$ and writeOn each grid interval $R^n$ is a pinned Brownian bridge. The bridges are mutually independent and independent of the grid values defining $B^n$, by the Gaussian projection formula. Their canonical Stratonovich enhancement ${\mathbf{R}}^n$ is therefore independent of $B^n$. It is important to enhance the bridge residual itself, including its area, rather than infer area smallness from its uniform size.

The bridge enhancement tends to the zero rough path in probability. Here are the estimates behind this assertion. A bridge on an interval of length ${\delta }_n$ scales as $\sqrt{{\delta }_n}$ times a unit bridge; its full antisymmetric area has mean zero, moments of order ${\delta }_n$, and second moment of order ${\delta }_n^2$. Since its endpoint displacement is zero, at grid points the cumulative second level is just the sum of the independent bridge areas. The Doob L2 maximal inequality givesPartial intervals at the two ends contribute bridge increments and at most two local areas. Bridge scaling, Gaussian moment bounds and the corresponding iterated-integral estimates yield, uniformly in $n$ and for arbitrarily large $q$,For an interval crossing several grid cells, the full-cell second levels are independent centered areas, whose sum has moments bounded by $C_q((t-s){\delta }_n{)}^{q/2}$; the two boundary pieces and their cross product satisfy the displayed bound as well. For an interval inside one cell these are the usual scaled bridge increment and area bounds. At each fixed pair $(s,t)$ both levels converge to zero in probability: the first-level variance is $O({\delta }_n)$, and the second-level second moment is $O((t-s){\delta }_n+{\delta }_n^2)$ for sufficiently fine grids. The Kolmogorov continuity theorem gives uniformly bounded moments of a Hölder rough-path norm at any exponent $\beta <1/2$. Tightness, convergence on a dense set of pairs and interpolation to $\alpha <\beta$ now give ${\rho }_{\alpha }({\mathbf{R}}^n,e)\to 0$ in probability. Taking $1/p<\alpha <1/2$ gives $d_p({\mathbf{R}}^n,e)\to 0$ in probability.

Fix $h\in H$. Its polygonal interpolations $h^n$ converge to $h$ in the total-variation norm: their derivatives are the cell averages of $\dot{h}$, which converge in $L^2$, hence in $L^1$. Moreover $|h^n{|}_{1\text{-var}}\le |h{|}_{1\text{-var}}$. Thus $S_2(h^n)\to S_2(h)$ in the rough path metric.

The rough path translation operation satisfiesFor a bounded variation path $b$, translation adds $b$ at level one and, at level two, the mixed termsThe second mixed term is defined by integration by parts. Their variation bounds show that translation is continuous, uniformly when $|b{|}_{1\text{-var}}$ is bounded, near the zero rough path. More explicitly the mixed second-level norms are bounded by a constant times $\Vert R{\Vert }_{p\text{-var}}|b{|}_{1\text{-var}}$; the other new second-level term is the path signature of $b$.

Given a ball of radius $\epsilon$ around $S_2(h)$, choose a sufficiently large $n$ so that $S_2(h^n)$ is close andfor the small $\eta$ supplied by translation continuity. The relevant variation bounds can be chosen uniformly in $n$, since the variations of the $h^n$ are uniformly bounded. For this fixed $n$, the event $|B^n-h^n{|}_{1\text{-var}}<\eta$ has positive probability: the finite vector of Brownian increments has an everywhere positive Gaussian density, and sufficiently small deviations of its vertices imply this variation bound. These two events are independent. On their intersection, translation continuity gives $d_p(\mathbf{B},S_2(h))<\epsilon$. Every ball around $S_2(h)$ therefore has positive probability. This proves $S_2(h)$ lies in the support, and taking closures gives $K$.

Finally, a continuous map between the separable path spaces in use satisfiesFor one direction the measure is concentrated on its support. For the other, an open neighborhood of $\Phi (x)$ pulls back to an open neighborhood of a support point $x$, which has positive measure. Using continuity of $\Phi$ and the identity $\Phi (S_2(h))=y^h$ proves the boxed Stroock-Varadhan support theorem. This separates the two ingredients: the probabilistic support calculation for Brownian motion and area, and the deterministic continuity supplied by the universal limit theorem.

If the diffusion is instead presented as an Itô integral equation with drift $b$, the controlled equation must useUsing $b$ unchanged in the controlled equation would generally give the wrong support description. The result above states explicit sufficient smoothness and nonexplosion assumptions; extensions to more general coefficients require the usual localization, not an unqualified assertion for arbitrary vector fields.

For $2<p<3$ and a continuous path $h$ of bounded variation, translate the first level by $h$ and add the mixed integrals $\int X_{s,r}\otimes d{h}_r$, $\int h_{s,r}\otimes d{X}_r$ and $\int h_{s,r}\otimes d{h}_r$ to the second level. Integration by parts defines the second mixed integral. The operation is continuous in the rough path metric and the variation norm of $h$. For canonical lifts it is precisely the enhancement of the sum of the paths.

For sufficiently regular vector fields, for example bounded fields with bounded derivatives through order three when $2<p<3$, the solution map of a rough differential equation exists uniquely and is locally continuous in the rough path metric. Ordinary differential equations driven by smooth approximations therefore converge whenever their enhanced drivers converge. The theorem makes the enhancement, rather than just the original path, the correct input for a continuous solution map.