Carleson measures and some classes of meromorphic functions (Q4955829)

Let \(D\) denote the unit disc in the complex plane, and let \(f\) be a function meromorphic in \(D\). The spherical derivative of \(f\) is \(f^\#(z)= {|f'(z)|\over 1+|f(z) |^2}\). For \(a\in D\), let \(\varphi_a (z) ={a-z\over 1-\overline az}\), and let \(g(z,a)= {1\over|\varphi_a(z)|}\) denote the Green's function on \(D\) with logarithmic singularity at the point \(a\). For \(p>0\), let \(Q^\#_p=\{f:f\) meromorphic in \(D\) and \(\sup_{a\in D}\int \int_D f^\#(z)(g(z,a))^p dx dy<\infty\}\), and \(M^\#_p= \{f:f\) meromorphic in \(D\) and \(\sup_{a\in D}\int \int_Df^\# (z)(1-|\varphi_a (z)|^2)^p dx dy <\infty\}\). The classes \(Q_p\) and \(M_p\) are defined for analytic functions by similar expressions, but with \(|f'(z)|\) appearing where \(f^\#(z)\) appears in the definitions of \(Q^\#_p\) and \(M^\#_p\), respectively. It is known that \(Q_p=M_p\) for all \(p>0\), but it was previously known only that \(Q^\#_p \subset M_p^\#\). Here, the authors show that \(Q_p^\#\neq M_p^\#\) for each \(p>0\), and, in fact, that there is a function \(f\in\cap_{p>0} M_p^\#- \cup_{p>0} Q_p^\#\). The function \(f\) has the form \(f(z)=B(z)\log(1-z)\), where \(B(z)\) is an approximate Blaschke product. The proof consists mainly of an extensive computation showing that \(f\in M_p^\#\) for \(0<p<1\). The function \(f\) is not a normal function, and is thus not in any of the classes \(Q_p^\#\). Thus, it puts the result of this paper in context by noting that a previous result of \textit{H. Wulan} [``On some classes of meromorphic functions'' (1998; Zbl 0912.30021)] shows that \(Q_p^\#=N \cap M_p^\#\), where \(N\) denotes the class of normal functions.