On the regular representation of measures

DOI10.4310/CAG.2019.V27.N8.A5MaRDI QIDQ2289771zbMATH OpenOpenAlexFDO

Authors Christian S. Rodrigues, Jürgen Jost, Rostislav Matveyev, Jacobus W. Portegies

Publication date 24 January 2020

Published in Communications in Analysis and Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1610.02986

zbMATH Keywords

Markov chainrandom dynamicsrandom mapsrepresentation of measures

Mathematics Subject Classification ID

Dynamical systems and their relations with probability theory and stochastic processes (37A50) Integration on manifolds; measures on manifolds (58C35) Measures (Gaussian, cylindrical, etc.) on manifolds of maps (58D20)

Abstract: We give sufficient conditions for a parametrised family of probability measures on a Riemannian manifold with boundary to be represented by random maps of class $C^k$. The conditions allow for the probability densities to approach zero towards the boundary of the manifold. We also formulate two obstructions to regular representability.

Review text

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.

Recommendations

• Representation of Markov chains by random maps: existence and regularity conditions
• scientific article; zbMATH DE number 3902964
• A measure on the space of smooth mappings and dynamical system theory
• scientific article; zbMATH DE number 125850
• On the regularity of stationary measures

Cited in

(7)

• Regular variation on measure chains
• Variations on the measure representation approach
• A Study of measurable Hausdorff, regular and normal properties on the measure manifold
• scientific article; zbMATH DE number 3902964 (Why is no real title available?)
• scientific article; zbMATH DE number 3907146 (Why is no real title available?)
• scientific article; zbMATH DE number 3983535 (Why is no real title available?)
• Representation of Markov chains by random maps: existence and regularity conditions

This page was built for publication: On the regular representation of measures

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