Cyclic behavior of holomorphic functions on a Runge region (Q2038181): Difference between revisions

The authors prove a couple of interesting results on the hypercyclicity, resp.\ supercyclicity, of various operators on the space \(H(\Omega)\) of holomorphic functions of several complex variables. Theorem 2.3, for instance, tells us that, if \(\Omega\subseteq \mathbb C^m\) is a Runge domain, that is, a domain such the set of restrictions of polynomials \(\mathbb C[z_1,\dots,z_m]\) is locally uniformly dense in \(H(\Omega)\), then any nonscalar continuous linear operator \(L: H(\Omega)\to H(\Omega)\) that commutes with each partial differentiation operator \(\frac{\partial}{\partial z_k}\) (say \(L\in \mathcal C\)) is hypercyclic. The authors also introduce the notion \(\{B_1,\dots,B_N\}\) of backward multi-shifts on (infinite dimensional separable) Fréchet spaces \(X\) and show in Theorem 3.10 that, if \(A:X\to X\) is a nonscalar continuous linear operator commuting with any such item \( \{B_1,\dots, B_N\}\), then \(A\) is supercyclic. Moreover, in that case, \( \lambda A\) is hypercyclic for each \(\lambda\in \mathbb C\) whenever \(\cap_{k=1}^N \ker B_k \not\subset \ker A\) and \(\operatorname{id} +A\) is even mixing if \(\cap_{k=1}^N \ker B_k \subset \ker A\). The paper also contains results on common cyclic vectors. For example, the set of common cyclic vectors for all operators in \(\mathcal C\) is dense in \(H(\Omega)\).