A generalization of universal Taylor series in simply connected domains (Q662077)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A generalization of universal Taylor series in simply connected domains
scientific article

    Statements

    A generalization of universal Taylor series in simply connected domains (English)
    0 references
    11 February 2012
    0 references
    Let \(\Omega\) be a simply connected proper subdomain of \(\mathbb{C}\), \(H(\Omega)\) be the space of holomorphic function on \(\Omega\) and let \(z_0\in\Omega\) be fixed. It is well known that there exists \(f\in H(\Omega)\) satisfying the following universal property: for every compact set \(K\subset\mathbb{C}\setminus \Omega\) with connected complement and for every function \(h\) continuous on \(K\) and holomorphic in the interior of \(K\) there exists a strictly increasing sequence \((\lambda_n)\) of natural numbers such that \[ \displaystyle\lim_{n\rightarrow +\infty} \sup_{z\in K}| S_{\lambda_n}(f,z_0)(z)-h(z)|=0,\leqno(*) \] where \(S_N(f,z_0)\) denotes the \(N\)th-partial sum of the Taylor development of \(f\) at the point \(z_0\). Moreover, the set of such functions is a \(G_\delta\)-dense subset of \(H(\Omega)\) (endowed with the topology of uniform convergence on compact subsets of \(\Omega\)) and is densely lineable, i.e., it contains a dense vector subspace of \(H(\Omega)\) apart from \(0\) (see [\textit{V. Nestoridis}, Ann. Inst. Fourier 46, No. 5, 1293--1306 (1996; Zbl 0865.30001)] and [\textit{F. Bayart}et al., Proc. Lond. Math. Soc. (3) 96, No. 2, 417--463 (2008; Zbl 1147.30003)]). Let \(\beta=(\beta_n)\) be a sequence of complex numbers. The author is interested in a related analogue property where the conclusion \((*)\) is replaced by \[ \displaystyle\lim_{n\rightarrow +\infty} \sup_{z\in K}| \beta_n S_{\lambda_n}(f,z_0)(z)-h(z)|=0.\leqno(**) \] Indeed, denote by \(\mathcal{U}(\Omega,z_0,\beta)\) the set of such holomorphic functions; then the main result is stated as follows: The set \(\mathcal{U}(\Omega,z_0,\beta)\) is non empty if and only if the sequence \((\sqrt[n]{| \beta_n|})\) has \(1\) as a limit point. In this case, \(\mathcal{U}(\Omega,z_0,\beta)\) is a \(G_\delta\)-dense subset of \(H(\Omega)\) and contains a dense vector subspace of \(H(\Omega)\) apart from \(0.\) To obtain this result, the author combines potential theory with usual techniques of universality. He also studies the case where the radius of convergence of the universal power series is zero. This subject is closely related to the notion of Cesàro hypercyclicity [\textit{G. Costakis} and \textit{D. Hadjiloucas}, Stud. Math. 175, No. 3, 249--269 (2006; Zbl 1161.47006)].
    0 references
    universal Taylor series
    0 references
    approximation in the complex domain
    0 references
    Bernstein-Walsh theorem
    0 references
    Seleznev theorem
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references