Disjoint universality for families of Taylor-type operators (Q730228)

For a simply connected domain \(\Omega\) in complex plane let \(H(\Omega)\) denote the space of holomoprhic functions on \(\Omega\) endowed with the topology of locally uniform convergence. Moreover, for \(K\) a compact plane set, let \(A(K)\) denote the Banach space of functions continuous on \(K\) and holomorphic in the interior, endowed with the uniform norm. Finally, for \(\zeta \in \Omega\) and \(f\in H(\Omega)\) let \(S_n(f, \zeta)\) be the \(n\)-th partial sum of the Taylor expansion of \(f\) with center \(\zeta\). For given centers \(\zeta_1, \ldots, \zeta_N \in \Omega\) and sequences \((\lambda_n^{(1)}), \ldots, (\lambda_n^{(N)})\) of positive integers, a function \(f \in H(\Omega)\) belongs to the class \(U_{\text{mult}}\) if the set \(\{ (S_{\lambda_n^{(1)}}(f, \zeta_1), \ldots, S_{\lambda_n^{(N)}}(f,\zeta_N)): n \in \mathbb{N}\}\) is dense in \(A(K_1) \times \cdots \times A(K_N)\) for each choice \(K_1, \ldots, K_N\) of compact sets in \(\mathbb{C} \setminus \Omega\) having connected complement. The main theorem says the following: If the sequences \((\lambda_n^{(1)}), \ldots, (\lambda_n^{(N)})\) satisfy the condition \[ \limsup_n \lambda_n^{(\sigma+1)}/\lambda_n^{(\sigma)} \geq \limsup_n \lambda_n^{(\sigma)}/\lambda_n^{(\sigma+1)}, \] for \(\sigma=1, \ldots, N-1\), then \(U_{\text{mult}}\) is non-empty if and only if there exists a strictly increasing sequence \((\mu_k)\) of positive integers with \[ \lim_{k \to \infty} \lambda_{\mu_k}^{(1)}=\infty \quad \text{ and } \quad \lim_{k \to \infty} \lambda_{\mu _k}^{(\sigma+1)}/\lambda_{\mu_k}^{(\sigma)}=\infty \] for \(\sigma=1, \ldots, N-1\). In a second result, a question on the independence of the corresponding classes of the centers is answered in the special case of \((\lambda_n^{(\sigma)})=(n^{\sigma})\) for \(\sigma=1, \ldots, N\).