Rate of growth of hypercyclic and frequently hypercyclic functions for the Dunkl operator (Q350221)

A bounded linear operator \(T\) acting on a suitable Fréchet space \(X\) is said to be hypercyclic if there exists a vector \(x\in X\) whose orbit \(\{T^nx: n\in\mathbb N\}\) is dense in \(X\). Such vectors are called hypercyclic (for \(T\)). The authors study (integral) exponential type properties of hypercyclic vectors for certain differentiation operators acting on the space of analytic functions \(\mathbb H(\mathbb C)\). In order to describe the results in more detail, let \(\Lambda_\alpha:\mathbb H(\mathbb C)\to\mathbb H(\mathbb C)\), \(\alpha\geq -1/2\), denote the Dunkl operator \(\Lambda\). Note that for \(\alpha=-1/2\) this is just the differentiation operator. It is known that \(\Lambda_\alpha\) is hypercyclic; see [\textit{J. J. Betancor} et al., Acta Math. Hung. 106, No. 1--2, 101--116 (2005; Zbl 1085.44003)]. The authors show that there is always a hypercyclic vector \(f\) for \(\Lambda_\alpha\) with the critical growth \[ M_p(f,r):=\Bigg(\frac{1}{2\pi}\int_0 ^{2\pi}|f(re^{it})|^p \,dt \Bigg)^\frac1p \leq \phi(r)\frac{e^r}{r^{\alpha+1}},\ r\to+\infty. \] Here, \(\phi\) is any function growing to infinity. The authors also show that this result is best possible in the sense that, if \(f\) satisfies any better exponential growth, then it cannot be hypercyclic for \(\Lambda_\alpha\). This result extends and complements previous results of \textit{G. R. MacLane} [J. Anal. Math. 2, 72--87 (1952; Zbl 0049.05603)], \textit{S. M. Duyos Ruiz} [Sov. Math., Dokl. 30, 713--716 (1984; Zbl 0599.30059); translation from Dokl. Akad. Nauk SSSR, 279, 792--795 (1984)], \textit{S. A. Shkarin} [Mosc. Univ. Math. Bull. 48, No. 6, 49--51 (1993; Zbl 0845.30015); translation from Vestn. Mosk. Univ., Ser. I 1993, No. 6, 80--83 (1993)], and \textit{K.-G. Grosse-Erdmann} [Complex Variables, Theory Appl. 15, No. 3, 193--196 (1990; Zbl 0682.30021)]. The authors also examine the corresponding problem for frequently hypercyclic vectors of \(\Lambda_\alpha\), where they give upper and lower bounds for the (integral) exponential type of frequently hypercyclic vectors of \(\Lambda_{\alpha}\). For these results, the authors, among other tools, make use of the universality and frequent universality criteria.