Dynamical properties of weighted composition operators on the space of smooth functions (Q323906): Difference between revisions

Let \(\Omega\) be an open subset of \(\mathbb{R}^d\) and let \(C^{\infty}(\Omega)\) be the Fréchet space of all scalar valued smooth functions on \(\Omega\). Given two smooth functions \(\psi: \Omega \rightarrow \Omega\) and \(w: \Omega \rightarrow \mathbb{K}\), the weighted composition operator is defined by \(C_{w,\psi}(F):= w (F \circ \psi)\) for \(f \in C^{\infty}(\Omega)\). When \(w\) is the constant function \(w(x)=1\), one obtains the composition operator \(C_{\psi}\). The author characterizes hypercyclic, weakly mixing and mixing weighted composition operators \(C_{w,\psi}: C^{\infty}(\Omega) \rightarrow C^{\infty}(\Omega)\). As a consequence, he obtains characterizations for composition operators. The case of (weighted) composition operators on spaces of (real) analytic functions has been investigated by Bernal, Bès, Grosse-Erdmann, Mortini, Zajac, Domanski and the reviewer, among many others. We denote by \(\psi_n\) the \(n\)-times iteration of \(\psi\). Here, is the statement of the main result. Theorem: The operator \(C_{w,\psi}\) is hypercyclic if and only if it is weakly mixing if and only if the following conditions are satisfied: (1) \(w\) does not vanish in \(\Omega\), (2) \(\psi\) is injective, (3) the Jacobian matrix \(\psi'(x)\) is invertible for all x in \(\Omega\), and (4) \(\psi\) has the run-away property, i.e., for each compact subset \(K\) of \(\Omega\) there is \(n\) such that \(\psi_n(K) \cap K = \emptyset\). Mixing weighted composition operators are characterized by the same conditions, except that condition (4) is replaced by (4)' \(\psi\) has the strong run-away property, i.e., for each compact subset \(K\) of \(\Omega\), there is \(N\) such that \(\psi_n(K) \cap K = \emptyset\) for each \(n \geq N\). In the one-dimensional case for \(\Omega = \mathbb{R}\), conditions (4) and (4)' are equivalent and they hold if and only if \(\psi\) has no fixed points.