Universality of holomorphic functions bounded on closed sets
type: Item
instance of: scholarly article
title: Universality of holomorphic functions bounded on closed sets
zbMATH Open document ID: 1125.30030
author: A. Bonilla
author: L. Bernal-González
published in: Journal of Mathematical Analysis and Applications
publication date: 2006-03-22T00:00:00Z
review text: Let \(G\) be a domain of the complex plane \(\mathbb C\) and let \((G, \star)\) be a topological group such that \(G\) carries the euclidean topology and for each \(a \in G\) the translation selfmapping \(\tau_a: z \in G \mapsto z \star a\) is holomorphic in \(G\). A holomorphic function \(f\) in \(G\) (\(f\in H(G)\)) is \(\tau\)-universal if and only if there exists a sequence \((a_n)\) in \(G\) such that the set \(\{f\circ \tau_{a_n}\colon n\in\mathbb N\}\) is dense in \(H(G)\). In this paper the authors solve some questions concerning the existence of \(\tau\)-universal functions when boundedness conditions on certain closed sets \(F\) are added. For it, the topology and geometry of these \(F\) play an important role. In Theorem 3.1 it is established that the Chebyshev radius \(\rho (G \setminus F)\) must be \(+ \infty\). Recall that if \(A\subseteq \mathbb C\), \(\rho(A) = \sup \{r>0:\) there exists a closed ball \(B\) of radius \(r\) with \(B \subset A\}\). If \(G=\mathbb C\), then it is shown (Theorem 3.3) that there exists a \(\tau\)-universal entire function that is bounded on \(F\subseteq\mathbb C\) if and only if there exists an Arakelyan subset \(F_0\) of \(\mathbb C\) such that \(F\subset F_0\) and \(\rho(\mathbb C\setminus F_0)=\infty\). When \(G=\) the unit disk \(\mathbb D\) and \(F\) is an Arakelian subset of \(\mathbb D\), the existence of such \(\tau\)-universal function is equivalent to \(\rho (\mathbb D \setminus F)=+ \infty \) (Theorem 3.4). A similar result (Theorem 3.6) is obtained for harmonic functions in \(\mathbb R^n\). Finally, the authors extend \textit{G. Costakis}' and \textit{M. Sambarino}'s result [Adv. Math. 182, 278--306 (2004; Zbl 1066.47005)] by showing (Theorem 4.2) that for an infinite-order differential operator \(T\), there exists a \(T\)-universal entire function \(f\) such that \(\lim_{r\to\infty} f(r\alpha)=0\) for each \(t\) in a prescribed subset of first category in \(\partial\mathbb D\).
Mathematics Subject Classification ID: 30E10
zbMATH DE Number: 5014243
zbMATH Keywords: universal function
zbMATH Keywords: Arakelian set
zbMATH Keywords: bounded holomorphic function
zbMATH Keywords: inscribed radius
zbMATH Keywords: infinite-order differential operator
reviewed by: María del Carmen Calderón-Moreno
MaRDI profile type: Publication
full work available at URL: j.jmaa.2005.06.010
OpenAlex ID: W2092803503
cites work: UNIVERSAL HOLOMORPHIC FUNCTIONS IN SEVERAL VARIABLES
cites work: Universal functions on complex general linear groups
cites work: Q5642787
cites work: Recent developments in harmonic approximation, with applications
cites work: Better than Uniform Approximation on Closed Sets by Harmonic Functions with Singularities
cites work: Q4049588
cites work: Derivative and antiderivative operators and the size of complex domains
cites work: Universal entire functions for affine endomorphisms of \(\mathbb C^N\)
cites work: Universal functions for composition operators
cites work: Sequences of differential operators: exponentials, hypercyclicity and equicontinuity
cites work: Q5833361
cites work: "Counterexamples" to the harmonic Liouville theorem and harmonic functions with zero nontangential limits
cites work: Q4532387
cites work: Genericity of wild holomorphic functions and common hypercyclic vectors.
cites work: Topological properties of level-sets of entire functions
cites work: Q3996816
cites work: Q3733130
cites work: Q4836158
cites work: Q4378605
cites work: Q4309441
cites work: Universal Vectors for Operators on Spaces of Holomorphic Functions
cites work: Operators with dense, invariant, cyclic vector manifolds
cites work: Universal families and hypercyclic operators
cites work: Q5518756
cites work: Q4252799
cites work: Q4199010
cites work: Sequences of derivatives and normal families
cites work: On approximation by euclidean and non-euclidean translations of an analytic function
cites work: A general solution for a class of approximation problems
cites work: Q3807503
DOI: 10.1016/J.JMAA.2005.06.010
description: scientific article; zbMATH DE number 5014243