Ch. Cobollo,A. Peris
Abstract:The notion of disjoint $\mathcal{A}$-transitivity for a Furstenberg family $\mathcal{A}$ is introduced with the aim to generalize properties derived from disjoint hypercyclic operators. We begin a systematic study by showing some of the basic properties, including necessary conditions to inherit the property on the whole space from an invariant linearly dense set containing the origin. As a consequence, we continue the study of the link between non-linear and linear dynamics through Lipschitz-free spaces by presenting some necessary conditions to obtain disjoint $\mathcal{A}$-transitivity for families of Lipschitz-free operators on $\mathcal{F}(M)$ expressed in terms of conditions in the underlying metric space $M$.
What problem does this paper attempt to address?
The main problems that this paper attempts to solve include two aspects:
1. **Introduce and study the concept of Disjoint A - transitivity**: The author aims to generalize the properties derived from disjoint hypercyclic operators. Specifically, by introducing the Furstenberg family A to specify how often an operator "travels" between open sets under a given property. This allows some known properties stronger than discrete transitivity (such as discrete weak mixing, discrete mixing, etc.) to be obtained as special cases.
2. **Explore the connection between nonlinear dynamical systems and linear dynamical systems**: Especially achieve this connection through Lipschitz - free spaces. The author studies the inheritance problem of dynamical properties from Lipschitz maps \(f\) on a metric space \(M\) to their corresponding linearized operators \(T_f\) on the Lipschitz - free space \(F(M)\). Specifically, the paper presents some necessary conditions to ensure that the Lipschitz - free operator family obtains discrete A - transitivity on \(F(M)\), and these conditions are expressed based on the properties of the underlying metric space \(M\).
### Specific research contents
- **Definition and basic properties of discrete A - transitivity**: The paper first systematically introduces the concept of discrete A - transitivity and shows some of its basic properties, including the necessary conditions for inheriting the properties of the entire space from an invariant linearly dense set containing the origin.
- **Discrete weak - mixing property in Lipschitz - free spaces**: The paper further studies the discrete weak - mixing property and compares it with the weak - mixing property of a single operator. In particular, the paper points out that commuting with a weak - mixing map already provides a strong enough discrete A - transitivity.
- **Inheritance of dynamical properties of Lipschitz - free operators**: The paper explores how to inherit discrete dynamical properties from a tuple of maps \(f_1,\ldots,f_N\) on a metric space \(M\) to the corresponding tuple of Lipschitz - free operators \(T_{f_1},\ldots,T_{f_N}\), and gives some necessary conditions to ensure discrete A - transitivity.
### Main results
- **Theorem 2.7**: If a tuple of operators \(T_1|_Z,\ldots,T_N|_Z\) on a linearly dense set \(Z\) is discrete A - transitive, then the tuple of operators \(T_1,\ldots,T_N\) on the entire space is also discrete A - transitive.
- **Corollary 5.1**: If a tuple of Lipschitz maps \(f_1,\ldots,f_N\) on a metric space \(M\) is discrete A - transitive, then the corresponding tuple of Lipschitz - free operators \(T_{f_1},\ldots,T_{f_N}\) is also discrete A - transitive.
- **Theorem 5.2**: Gives the Lipschitz discrete hypercyclicity criterion, which ensures that under certain conditions, Lipschitz - free operators satisfy the discrete hypercyclicity criterion, so that the sequences \(\{T^{n_k}_{f_1}\}_{k = 1}^{\infty},\ldots,\{T^{n_k}_{f_N}\}_{k = 1}^{\infty}\) are discrete - mixing, and in particular, \(T_{f_1},\ldots,T_{f_N}\) are discrete - transitive.
These results provide a new perspective for understanding the relationship between nonlinear dynamical systems and linear dynamical systems and lay the foundation for further research on dynamical properties in Lipschitz - free spaces.