A Fubini type theorem for rough integration

Abstract: We develop the integration theory of two-parameter controlled paths

Y

allowing us to define integrals of the form �egin{equation} int_{[s,t] imes [u,v]} Y_{r,r'} ;d(X_{r}, X_{r'}) end{equation} where

X

is the geometric

p

-rough path that controls

Y

. This extends to arbitrary regularity the definition presented for

2 l e q p < 3

in the recent paper of Hairer and Gerasimoviv{c}s where it is used in the proof of a version of H"{o}rmander's theorem for a class of SPDEs. We extend the Fubini type theorem of the same paper by showing that this two-parameter integral coincides with the two iterated one-parameter integrals [ int_{[s,t] imes [u,v]} Y_{r,r'} ;d(X_{r}, X_{r'}) = int_{s}^{t} int_{u}^{v} Y_{r,r'} ;dX_{r'} ;dX_{r'} = int_{u}^{v} int_{s}^{t} Y_{r,r'} ;dX_{r} ;dX_{r'}. ] A priori these three integrals have distinct definitions, and so this parallels the classical Fubini's theorem for product measures. By extending the two-parameter Young-Towghi inequality in this context, we derive a maximal inequality for the discrete integrals approximating the two-parameter integral. We also extend the analysis to consider integrals of the form �egin{equation*} int_{[s,t] imes [u,v]} Y_{r,r'} ; d(X_{r}, ilde{X}_{r'}) end{equation*} for possibly different rough paths

X

and

i l d e X

, and obtain the corresponding Fubini type theorem. We prove continuity estimates for these integrals in the appropriate rough path topologies. As an application we consider the signature kernel, which has recently emerged as a useful tool in data science, as an example of a two-parameter controlled rough path which also solves a two-parameter rough integral equation.

Review text

Summary: Jointly controlled paths as used in Hairer and Gerasimovičs (2019), are a class of two-parameter paths \(Y\) controlled by a \(p\)-rough path \(X\) for \(2 \leq p < 3\) in each time variable, and serve as a class of paths twice integrable with respect to \(X\). We extend the notion of jointly controlled paths to two-parameter paths \(Y\) controlled by \(p\)-rough and \(\tilde{p}\)-rough paths \(X\) and \(\tilde{X}\) (on finite dimensional spaces) for arbitrary \(p\) and \(\tilde{p}\), and develop the corresponding integration theory for this class of paths. In particular, we show that for paths \(Y\) jointly controlled by \(X\) and \(\tilde{X}\), they are integrable with respect to \(X\) and \(\tilde{X}\), and moreover we prove a rough Fubini type theorem for the double rough integrals of \(Y\) via the construction of a third integral analogous to the integral against the product measure in the classical Fubini theorem. Additionally, we also prove a stability result for the double integrals of jointly controlled paths, and show that signature kernels, which have seen increasing use in data science applications, are jointly controlled paths.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: A Fubini type theorem for rough integration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6100306)