Hypercyclicity, existence and approximation results for convolution operators on spaces of entire functions (Q2295725)

Let \(E\) and \(F\) be two complex Banach spaces, \(E'\) be the dual of \(E\), and let \(\mathcal{P}(^mE;F)\) denote the \(m\)-homogenenous polynomials from \(E\) to \(F\) endowed with the sup norm. A holomorphy type from \(E\) to \(F\) is a sequence of Banach spaces \((\mathcal{P}_{\Theta}(^jE;F)_{j=0}^{\infty}\) such that: \begin{itemize} \item[(i)] \(\mathcal{P}_{\Theta}(^jE;F)\) is a subspace of \(\mathcal{P}(^jE;F)\), \item[(ii)] the space \(\mathcal{P}_{\Theta}(^0E;F)\) coincides with \(F\) as a normed vector space, and \item[(iii)] there exists \(\sigma\geq 1\) such that: \[ \biggl|\biggl|\dfrac{1}{n!}\hat{d}^nP(a)\biggl|\biggl|_{\Theta}\leq \sigma^j ||P||_{\Theta}||a||^{j-n} \] for all \(n,j\in\mathbb{N}\cup\{0\}\), \(n\leq j\), \(a\in E\), \(P\in\mathcal{P}_{\Theta}(^jE;F)\). \end{itemize} A holomorphy type \((\mathcal{P}_{\Theta}(^jE;F)_{j=0}^{\infty}\) is called \(\pi_1\)-holomorphy type if, in addition, the set of the finite type polynomials \(\mathcal{P}_{f}(^jE;F)\) is a dense subset of \(\mathcal{P}_{\Theta}(^jE;F)\) and there exists \(K>0\) with \[ ||\phi^j\cdot b||_{\Theta}\leq K^j||\phi||^j||b||, \text{ for all }\phi\in E',\ b\in F,\ j\in \mathbb{N}\cup\{0\}. \] The authors, after presenting several technical arguments continuing the work of previous articles, use the hypercyclicity criterion of \textit{G. Godefroy} and \textit{J. H. Shapiro} [J. Funct. Anal. 98, No. 2, 229--269 (1991; Zbl 0732.47016)] to prove the following result: Theorem. If \(k\in (1,+\infty]\), \(E'\) is separable and \((\mathcal{P}_{\Theta}(^jE;\mathbb{C})_{j=0}^{\infty}\) is a \(\pi_1\)-holomorphy type from \(E\) to \(\mathbb{C}\), then every nontrivial convolution operator on \(\mathrm{Exp}^k_{\Theta,0}(E)\) is mixing and thus, in particular, hypercyclic. The space \(\mathrm{Exp}^k_{\Theta,0}(E)\) is a complex Banach space, introduced by the authors in a previous article [Math. Scand. 110, No. 1, 111--139 (2012; Zbl 1250.46031)], and it contains functions holomorphic in \(E\) which satisfy two conditions associated with their derivative at zero. Some more results of this type are proved in the same section. The authors also present analogues of the existence and approximation theorems proved in their article [Czech. Math. J. 59, No. 4, 909--927 (2009; Zbl 1224.46087)]. Finally, several applications of the main theorems are given.