Related papers: Lebesgue Measure Preserving Thompson's Monoid
We show that every $C^2$ minimal action of Thompson group $T$ on the circle is ergodic with respect to the Lebesgue measure. If such action is not minimal then the Lebesgue measure of the exceptional minimal set is zero.
In this paper we provide sufficient conditions which guarantee the existence of a system of invariant measures for semigroups associated to systems of parabolic differential equations with unbounded coefficients. We prove that these…
In this paper we study the set of Li-Yorke $d$-tuples and its $d$-dimensional Lebesgue measure for interval maps $T\colon [0,1] \to [0,1]$. If a topologically mixing $T$ preserves an absolutely continuous probability measure 9with respect…
It is well-known that the Lebesgue measure is the unique absolutely continuous invariant probability measure under the $p$-adic transformation. The purpose of this paper is to characterize the family of all invariant probability measures…
We prove that for a generic measure preserving transformation $T$, the closed group generated by $T$ is a continuous homomorphic image of a closed linear subspace of $L_0(\lambda,{\mathbb R})$, where $\lambda$ is Lebesgue measure, and that…
The concept of a uniform set is introduced for an ergodic, measure-preserving transformation on a non-atomic, infinite Lebesgue space. The uniform sets exist as much as they generate the underlying $\sigma$-algebra. This leads to the result…
We analyze a class of piecewise linear parabolic maps on the torus, namely those obtained by considering a linear map with double eigenvalue one and taking modulo one in each component. We show that within this two parameter family of maps,…
We obtain new entropy rigidity results for $u$-Gibbs measures by showing that whenever a $u$-Gibbs measure of a partially hyperbolic diffeomorphism admits an unstable Margulis family, the unstable Jacobian data of the system must to be…
We analyze certain parametrized families of one-dimensional maps with infinitely many critical points from the measure-theoretical point of view. We prove that such families have absolutely continuous invariant probability measures for a…
Given a non-archimedean real closed field with archimedean value group which contains the reals, we establish for the category of semialgebraic sets and functions a full Lebesgue measure and integration theory such that the main results…
We consider densities $D_\Sigma(A)$, $\overline{D}_\Sigma(A)$ and $\underline{D}_\Sigma(A)$ for a subset $A$ of $\mathbb{N}$ with respect to a sequence $\Sigma$ of finite subsets of $\mathbb{N}$ and study Fourier coefficients of ergodic,…
Lebesgue integration is a well-known mathematical tool, used for instance in probability theory, real analysis, and numerical mathematics. Thus its formalization in a proof assistant is to be designed to fit different goals and projects.…
Let F be a continuous injective map from an open subset of R^n to R^n. Assume that, for infinitely many k>1, F induces a bijection between the rational points of denominator k in the domain and those in the image (the denominator of…
A Lebesgue-type decomposition of a (non necessarily non-negative) sesquilinear form with respect to a non-negative one is studied. This decomposition consists of a sum of three parts: two are dominated by an absolutely continuous form and a…
We consider a family S=S(a) of 2-valued transformations of special form on the segment [0,1] with measure $\mu=\int p(x) d\lambda$, which is absolutely continuous with respect to the Lebesgue measure $\lambda$. We endow S with a set of…
We introduce a notion being a $k$-fold Lebesgue function for measure preserving transformations, where any $2$-fold Lebesgue function is just ordinary Lebesgue. We discuss how this new metrical isomorphisms invariant of dynamical systems is…
For an ergodic hyperbolic measure $\omega$ of a $C^{1+{\alpha}}$ diffeomorphism, there is an $\omega$ full-measured set $\tilde\Lambda$ such that every nonempty, compact and connected subset $V$ of $\mathbb{M}_{inv}(\tilde\Lambda)$…
The main goal of this paper is to study topological and measure-theoretic properties of an intriguing family of strange planar attractors. Building towards these results, we first show that any generic Lebesgue measure preserving map $f$…
It is well-known that equilibrium measures for uniformly hyperbolic dynamical systems have a local product structure, which plays an important role in their mixing properties. Existing proofs of this fact rely either on transfer operators…
We consider a gas whose each particle is characterised by a pair $(x,v_x)$ with the position $x\in \mathbb R^d$ and the velocity $v_x\in \mathbb R^d_0= \mathbb R^d\setminus \{0\}$. We define Gibbs measures on the cone of vector-valued…