Frequent hypercyclicity of random holomorphic functions for Taylor shifts and optimal growth (Q2046145)

A bounded linear operator \(T\) acting on a Banach space \(X\) is said to be hypercyclic if there is a vector \(x\in X\) which has a dense orbit under \(T\). A strengthened notion is that of \textit{frequent hypercyclicity} which means that there is a vector \(x\in X\) such that, for every non-empty open set \(U\subset X\), the set \(\{n\in\mathbb N:\, T^n x \in U\}\) has positive lower density. The authors consider the \textit{Taylor shift} \[ T_O:H(O)\to H(O),\qquad Tf(z):= \frac{f(z)-f(0)}{z},\quad z\neq 0,\qquad Tf(0):= f'(0) \] where \(O\subset \mathbb C_\infty\) is an open subset of the extended complex plane \(\mathbb C_\infty\), and \(H(O)\) is the space of holomorphic functions in \(O\), vanishing at \(\infty\) if \(\infty\in O\). The authors provide criteria under which \(T_O\) if frequently hypercyclic, strengthening a previous result from [\textit{M. Thelen}, Comput. Methods Funct. Theory 17, No. 1, 129--138 (2017; Zbl 1372.30061)]. For example one of the main results of the paper states that if \(O^*:=\{z^{-1}:\, z\in\mathbb C_\infty \setminus P\}\) meets the unit circle on an infinite set and the set \(O^*\) contains a compact subset of unit circle \(K\subset \mathbb T\) which is a has positive Lebesgue measure then \(T_O\) is frequently hypercyclic. Not only that but under the assumptions above the authors construct a random variable which is almost surely a hypercyclic vector for \(T_O\). For the special case \(O=\mathbb D\) is the unit disc the authors consider the random holomorphic functions on the disc \[ Y(\omega)(z):= \sum_{k\geq 0}X_k(\omega)z^k, \] where \((X_k)_k\) is a sequence of independent standard gaussian (complex) random variables. The authors show that these random functions are almost surely frequently hypercyclic for \(T_{\mathbb D}\) and they calculate (a.s.) the exact growth of \(Y(\omega)\) at the boundary. Furthermore they prove that such functions achieve the optimal rate of growth among all frequently hypercyclic functions for \(T_{\mathbb D}\).