On the regular representation of measures (Q2289771)

This paper concerns the problem of existence of a regular representation of probability measures which arises from the Ergodic theory specially in the study of stochastic stability of dynamical systems. Let \(M\) be a compact, oriented, and connected Riemannian manifold of class \(C^{k+2}, k\geq1, \) with boundary \(\partial M\) and let \(\bar{\mu}=\{ \mu_x\}_{x \in X}\) be a family of probability measures, parameterized by a compact Riemannian manifold \(X\) of class \(C^{k}\), that are absolutely continuous with respect to the volume measure on \(X \times M\) with densities \(\rho (\cdot, \cdot)\) of class \(C^k\) that are positive on the interior of \(M\) and satisfy some necessary assumptions on the decay towards the boundary \(\partial M\). Suppose \(\Omega\) is \(M\) or a subset of it and \(\Omega = (\Omega, P )\) is a Rochlin-Lebesgue probability space and there exists a constant \(C >0\) such that for every \(\omega \in \Omega \), the \(C^k\)-seminorm of the map \(x \mapsto T (x, \omega)\) is bounded by \(C\). The representation of the family \(\bar{\mu}\) is a measurable mapping \(T: X \times \Omega \to M\) such that \(\mu_x = T (X, \cdot)_{*} \mathbb{P}\) for each \(x \in X\), where \(T (X, \cdot)_{*} \mathbb{P}\) denotes the push forward of \(P\) by \(T (x, \cdot)\). Under these assumptions, the authors proved the existence of a representation such that the maps \(T(\cdot, \omega)\) are \(C^k\)-regular, uniformaly in \(\omega\). More precisely, there exists a family of piecewise \(C^k\)- maps \(T_x : M \to M\), such that \((T_x)_{*}\mu= \mu_x\), and a \(C^k\)-norm of \(x \mapsto T_x(m)\) is uniformly bounded in \(m \in M\). Furthermore, there were obtained the obstructions to bounded Lipschitz and \(C^k\) -representability.