Abstract:This paper mainly studies the theory of dynamical systems on compact metrizable groups, with a special focus on extending the maximal entropy theorem and the ergodicity of invariant measure convolution from the isomorphic case to the surjective homomorphism case. It explores in detail the dynamical systems under surjective homomorphisms, especially the variation of measure entropy. Let $G_{2}$ be a compact metric group acting freely on $G_{1}$, and the continuous mapping $T_{2}$ $G_{2}-$commutes with $T_{1}$, where $T_{2}: G_{2} \to G_{2}$ is a surjective homomorphism. If $\mu_{0} \in M(T_{0})$, we prove that when $\mu \in M(T_{1}, \mu_{0})$, the measure entropy $h(T_{1}, \mu_{0}')$ is always greater than or equal to $h(T_{1}, \mu)$; if $\mu_{0}'$ is ergodic with respect to $T_{1}$, $\mu \ne \mu_{0}'$, the Haar measure $m$ on $G_{2}$ is ergodic with respect to $T_{2}$, and $h(T_{1}, \mu_{0}') < \infty$, it can be concluded that the measure entropy $h(T_{1}, \mu_{0}')$ strictly exceeds $h(T_{1}, \mu)$. Finally, this paper also specifically discusses the ergodicity problem of measure convolution. Let $T$ be a surjective homomorphism on $G$. If $(G, T, \mathcal{F}, \mu)$ and $(G, T, \mathcal{F}, \nu)$ are disjoint ergodic dynamical systems, then $\mu * \nu$ is ergodic. Through a proof by contradiction, the study demonstrates that under the condition that $T$ is a surjective homomorphism on $G$, the measure convolution of two disjoint ergodic dynamical systems also maintains ergodicity. These results extend Kenneth R. Berg's findings on the maximal entropy theorem and the ergodicity of measure convolution to the case of surjective homomorphisms.

Convergence of Measures under Diagonal Actions on Homogeneous Spaces

On Central Limit Theorems for Vector Random Measures and Measure-Valued Processes

The Convergence of the Sums of Independent Random Variables under the Sub-Linear Expectations

Expanding measures: Random walks and rigidity on homogeneous spaces

Convergence in Wasserstein Distance for Empirical Measures of Dirichlet Diffusion Processes on Manifolds

Non-convergence of some non-commuting double ergodic averages

Absolute Continuity of Hyperbolic Invariant Measures for Endomorphisms

Representations and Divergences in the Space of Probability Measures and Stochastic Thermodynamics

Central Limit Theorem and Cohomological Equation on Homogeneous Spaces

Dynamical Systems on Compact Metrizable Groups

Pointwise Equidistribution for One Parameter Diagonalizable Group Action on Homogeneous Space

Invariant Measures Satisfying an Equality Relating Entropy, Folding Entropy and Negative Lyapunov Exponents

Equidistribution of Expanding Measures with Local Maximal Dimension and Diophantine Approximation

Convergence to the uniform distribution of moderately self-interacting diffusions on compact Riemannian manifolds

Birkhoff Type Ergodic Theorem for One Parameter Diagonalizable Group Action on Homogeneous Space

Finite Measures of Maximal Entropy for an Open Set of Partially Hyperbolic Diffeomorphisms

Pointwise Convergence of Sequences of Singular Measures

Bounding entropy for one-parameter diagonal flows on $SL_{d}(\mathbb{R})/SL_{d}(\mathbb{Z})$ using linear functionals

Measures of Intermediate Entropies and Homogeneous Dynamics

On the Measure of Maximal Entropy for Finite Horizon Sinai Billiard Maps

Rearrangements, arrangements of signs, and convergence of sequences of operators