Universality properties of Taylor series inside the domain of holomorphy (Q549852)

Consider the space \(H(\mathbb{C}_{\infty} \setminus \{1\})\) of all holomorphic functions on \(\mathbb{C}_{\infty} \setminus \{1\}\), respectively \(H_0\), the subspace thereof of functions vanishing at \(\infty\); denote by \(s_n f\) the \(n\)-th partial sum of the Taylor expansion of \(f\) around the origin, and call \((s_n f)\)\newline (i) uniformly universal on a compact set \(K\) if \(\{ s_n f : n \in \mathbb{N} \}\) is dense in the closure of the polynomials in \(C(K)\),\newline (ii) pointwise universal on an arbitrary set \(E\) if for every function \(h : E \to \mathbb{C}\) of the first Baire class there is a subsequence of \((s_n f)\) converging pointwise to \(h\) on \(E\),\newline (iii) (pointwise) overconvergent on \(E\) if a subsequence of \((s_n f)\) converges pointwise on \(E\).\newline Finally, say that quasi all elements of a Baire space enjoy a certain property if the property is satisfied on a residual set in that space.\newline The starting point of the investigations is a result by \textit{A. D. Melas} [Ann. Inst. Fourier 51, No. 6, 1539--1551 (2001; Zbl 0989.30003)] stating that for each countable set \(E \subset \mathbb{C}\setminus \mathbb{D}\), where \(\mathbb{D}\) is the unit disk, \((s_n f)\) is pointwise universal on \(E\) for quasi all \(f \in H(\mathbb{C}\setminus \{1\})\).\newline The very interesting results of the present note about universality properties inside the domain of holomorphy are as follows: Assume \((s_n f)\) is overconvergent on a non-polar set \(E \subset \mathbb{C} \setminus \overline{\mathbb{D}}\) for a power series \(f\) with radius of convergence 1. Then \(f\) has so-called Hadamard-Ostrowski gaps, i.e., ``rather large blocks of small Taylor coefficients''. According to results of Wigert and Pólya any \(f \in H_0 \setminus \{0\}\) cannot have such gaps, thus \((s_n f)\) cannot be overconvergent or pointwise universal on non-polar sets for \(f \in H_0 \setminus \{0\}\).\newline On the contrary, denoting by \(\mathcal{K}(X)\) the metric space of all compact, non-empty subsets of \(X\) endowed with the Hausdorff metric, \((s_n f)\) is uniformly universal on quasi all sets \(K \in \mathcal{K}(E)\), \(E \subset \mathbb{C} \setminus \mathbb{D}\) closed, for quasi all \(f \in H_0\).