Compositionally universal entire functions on the plane and the punctured plane (Q371806): Difference between revisions

Several questions about universal sequences of composition operators on spaces of holomorphic functions on the plane and the punctured plane are considered. According to the author, a subset \(A\) of the Fréchet space \(H(G)\) of holomorphic functions on an open subset \(G\) in the complex plane \(\mathbb{C}\) is called \(\mathcal{M}\)-dense in \(H(G)\) if for every \(f \in H(G)\), every \(\varepsilon>0\) and every compact set \(K\) such that \(\mathbb{C} \setminus K\) is connected, there is \(g \in A\) such that \(|f-g| < \varepsilon\) on \(K\). As sequence of composition operators \((C_{\varphi_n})_n\) is called \(\mathcal{M}\)-universal if \((f \circ \varphi_n)_n\) is \(\mathcal{M}\)-dense in \(H(G)\). Continuing previous work by Birkhoff, Zappa, Montes and the author, and Luh, the author investigates sequences of automorphisms \((a_n z + b_n)_n\) of the plane that support entire functions \(f\) such that \((f(a_n.+b_n))_n\) is \(\mathcal{M}\)-dense in \(H(\mathbb{C} \setminus \{0\})\). Tenthoff in 2000 and Calderón in 2002 have exhibited entire functions that are Birkhoff universal and are bounded on certain unbounded sets of the plane. The author now shows for example that, under appropriate conditions, no \(\mathcal{M}\)-universal entire function on \(H(\mathbb{C} \setminus \{0\})\) is bounded on every member of a large family of unbounded sets, including lines. On the other hand, he proves that there exist an \(\mathcal{M}\)-universal entire function on \(H(\mathbb{C} \setminus \{0\})\) that is bounded on certain unbounded subset of the plane. These two results complete recent results by A. Vogt. The third goal of the paper is to extend a recent result of Bonilla and Grosse-Erdmann about the frequent hypercyclicity (in the sense of Bayart and Grivaux) of the translation operator on \(H(\mathbb{C})\) to the case of frequent universality of a sequence of composition operators.