Disjoint strong transitivity of composition operators

TL;DR

This paper characterizes when multiple composition operators on spaces of holomorphic functions exhibit disjoint -transitivity, based on properties of their symbols and the domain, extending understanding of operator dynamics.

Contribution

It provides a necessary and sufficient condition for disjoint -transitivity of multiple composition operators on holomorphic function spaces, depending on the domain and symbols.

Findings

Characterization of disjoint -transitivity in terms of symbols -transitivity

Conditions depending on the topological properties of the domain -transitivity

Extension of operator dynamics theory to composition operators on holomorphic functions

Abstract

A Furstenberg family $\mathcal{F}$ is a collection of infinite subsets of the set of positive integers such that if $A\subset B$ and $A\in \mathcal{F}$, then $B\in \mathcal{F}$. For a Furstenberg family $\mathcal{F}$, finitely many operators $T_1,...,T_N$ acting on a common topological vector space $X$ are said to be disjoint $\mathcal{F}$-transitive if for every non-empty open subsets $U_0,...,U_N$ of $X$ the set $\{n\in \mathbb{N}:\ U_0 \cap T_1^{-n}(U_1)\cap...\cap T_N^{-n}(U_N)\neq\emptyset\}$ belongs to $\mathcal{F}$. In this paper, depending on the topological properties of $\Omega$, we characterize the disjoint $\mathcal{F}$-transitivity of $N\geq2$ composition operators $C_{\phi_1},\ldots,C_{\phi_N}$ acting on the space $H(\Omega)$ of holomorphic maps on a domain $\Omega\subset \mathbb{C}$ by establishing a necessary and sufficient condition in terms of their symbols $\phi_1,...,\phi_N$.