Universal Taylor series have a strong form of universality (Q940785): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Frederic Bayart / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Vassilis Nestoridis / rank | |||
Normal rank |
Revision as of 13:42, 12 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Universal Taylor series have a strong form of universality |
scientific article |
Statements
Universal Taylor series have a strong form of universality (English)
0 references
3 September 2008
0 references
The paper deals with the class \(U(\Omega,\xi)\) of holomorphic in a simply connected domain \(\Omega\) functions \(f\) whose Taylor series at \(\xi \in \Omega\) is universal with respect to overconvergence. It is considered the expansion of \(f\) in Faber series corresponding to any connected compact set \(\Gamma \subset \Omega\) with more than one point and such that \(\widehat{\mathbb{C}}\setminus \Gamma\) is connected (here \(\widehat{\mathbb{C}}\) denotes the Riemann sphere): \[ f(z)=\sum_{n=0}^{+\infty} c_n(f,\Gamma)F_n(\Gamma,z). \] Let \(S_n(f,\Gamma)(z)=\sum_{\nu=0}^{n} c_{\nu}(f,\Gamma)F_{\nu }(\Gamma,z)\) be a partial sum of the series. Definition 1. A holomorphic function \(f\in H(\Omega)\) belongs to the class \(U(\Omega,\Gamma)\) provided that for every compact set \(K\subset\mathbb{C}\) with \(K\cap\Omega=\emptyset\) and \(K^{\mathbb{C}}\) connected and every function \(h:K \to \mathbb{C}\) continuous on \(K\) and holomorphic in \(K^0\), there exists a sequence \((\lambda _n)\) of natural numbers such that \(S_{\lambda_n}(f,\Gamma)(z)\) converges to \(h(z)\) uniformly on \(K\) as \(n \to +\infty .\) Definition 2. A holomorphic function \(f\in H(\Omega)\) belongs to the class \(U_{\text{Fab}}(\Omega)\) provided that for every compact set \(K\subset\mathbb{C}\) with \(K\cap\Omega=\emptyset\) and \(K^{\mathbb{C}}\) connected and every function \(h:K \to \mathbb{C}\) continuous on \(K\) and holomorphic in \(K^0\), there exists a sequence \((\lambda _n)\) of natural numbers such that, for any connected compact set \(M\subset \Omega\) with more than one point and such that \(\widehat{\mathbb{C}}\setminus M\) is connected \[ \sup_{\Gamma \in M }\sup_{z \in K}| S_{\lambda_n}(f,\Gamma)(z)-h(z)| \to 0, \quad n \to +\infty. \] The authors obtain the following result, which answers a question of Mayenberger and Müller. Theorem. \(U(\Omega,\xi)=U(\Omega,\Gamma)=U_{\text{Fab}}(\Omega).\) The topology used here is the Carathéodory topology.
0 references
overconvergence
0 references
universal overconvergence
0 references
Faber series
0 references