Dynamical Systems on Compact Metrizable Groups
Binghui Xiao
2024-02-29
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.
Dynamical Systems