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.

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

Pointwise Equidistribution for One Parameter Diagonalizable Group Action on Homogeneous Space

Convergence of Measures under Diagonal Actions on Homogeneous Spaces

Ergodic Theorem for nonstationary random walks on compact abelian groups

Central Limit Theorem and Cohomological Equation on Homogeneous Spaces

Birkhoff generic points on curves in horospheres

Expanding measures: Random walks and rigidity on homogeneous spaces

Limit theorems for the coefficients of random walks on the general linear group

Pointwise Equidistribution with an Error Rate and with Respect to Unbounded Functions

Ergodic Properties of Invariant Measures for C^1+α Nonuniformly Hyperbolic Systems

Non-singular and probability measure-preserving actions of infinite permutation groups

Weak property $(\mathrm{T}_{L^p})$ for discrete groups

Dynamical Systems on Compact Metrizable Groups

Bishop-Jones' Theorem and the ergodic limit set

Ergodicity of the mapping class group action on Deroin-Tholozan representations

On ergodic invariant measures for the stochastic Landau-Lifschitz-Gilbert equation in 1D

Ergodic Optimization Restricted on Certain Subsets of Invariant Measures

Pointwise equidistribution with an error rate and with respect to unbounded functions

Measure Rigidity for Horospherical Subgroups of Groups Acting on Trees

Ergodic Measures of Geodesic Flows on Compact Lie Groups

The Bessel kernel determinant on large intervals and Birkhoff's ergodic theorem