On the set of hypercyclic vectors for the differentiation operator (Q616525): Difference between revisions

Let \(\mathcal H(\mathbb C)\) be the space of entire functions endowed with the compact-open topology, and let \(D\) be the differentiation operator. \textit{G.\,R.\thinspace MacLane} [J.~Anal.\ Math.\ 2, 72--87 (1952; Zbl 0049.05603)] showed that \(D\) is hypercyclic. Let \(H(D)\) be the set of hypercyclic functions for \(D.\) The author answers affirmatively two questions raised by \textit{R.\,M.\thinspace Aron, J.\,A.\thinspace Conejero, A.\,Peris} and \textit{J.\,B.\thinspace Seoane-Sepúlveda} [Contemp.\ Math.\ 435, 47--52 (2007; Zbl 1149.46024)]. He constructs a hypercyclic subspace for \(D\); i.e., an infinite-dimensional closed subspace \(M\) such that \(M\setminus \{0\}\subset H(D)\). He also constructs \(f \in \mathcal H(\mathbb C)\) whose generated algebra \(A\) satisfies that \(A\setminus \{0\}\subset H(D)\). This last construction is very intricate; but, as the author points out, the existence of such a function was also proved (independently) by \textit{F.\,Bayart} and \textit{E.\,Matheron} [``Dynamics of linear operators'' (Cambridge Tracts in Mathematics 179) (2009; Zbl 1187.47001)].