A residual class of holomorphic functions (Q977093)

Let \(D\) be the open unit disk and \({\mathcal H}(D)\) the space of functions holomorphic in \(D\) with the topology of uniform convergence on compact sets. A function \(f\) in \({\mathcal H}(D)\) is strongly annular if there exists an open subset \({\mathcal O}_{f,\infty}\) of \(D\) such that i) \({\mathcal O}_{f,\infty}\) contains a sequence of concentric circles of increasing radii converging to the unit circle, and ii) \(f(z)\to\infty\) as \(|z|\to 1\) through \({\mathcal O}_{f,\infty}\). \textit{D. D. Bonar} and \textit{F. W. Carroll} [J. Reine Angew. Math. 272, 23--24 (1975; Zbl 0297.30031)] showed that the class \({\mathcal S}{\mathcal A}\) of all strongly annular functions is residual in \({\mathcal H}(D)\). Answering a question of Bonar and Carroll on the thickness of \({\mathcal O}_{f,\infty}\), in the paper under review, the authors show that for most functions \(f\) in \({\mathcal S}{\mathcal A}\), the set \({\mathcal O}_{f, \infty}\) can be chosen so that it has upper global metric density one. The upper global metric density of a measurable set \(T\) of \(D\) is \[ \limsup_{n\to\infty}\,\bigg\{{\mu[T\cap A(r)]\over \mu[A(r)]}\; \bigg|\; 0< r<{1\over n}\bigg\}, \] where \(A(r)= \{z\mid 1- r|z|< 1\}\) for \(0< r< 1\), and \(\mu\) is the \(2\)-dimensional Lebesgue measure. The line of proof also shows that for most functions \(f\) in \({\mathcal S}{\mathcal A}\) and for every \(w\in\mathbb C\) there exists an open subset \({\mathcal O}_{f,w}\) of \(D\) with upper global metric density one such that \(f(z)\) converges to \(w\) as \(|z|\to 1\) through \({\mathcal O}_{f,w}\).