A property of univalent functions in <i>A_{p}</i> (Q4939467)

Let \(p > 1.\) The diagonal Besov space \(A _{p}\) is the class of all functions \(f(z),\) analytic in the unit disk \(D\) and such that \(\int _{D} |f'(z)|^{p} (1 - |z|^{2})^{p-2} dA(z) < \infty,\) where \(dA(z)\) is the area differential. The author finds two necessary and sufficient conditions for a univalent function or its logarithm to be in \(A _{p}\) In particular, \(A _{2}\) is the Dirichlet space of functions, whose image domain has finite area. However, for any \(p > 2\) it is shown that a function \(f(z) \in A _{p}\) can be found with \(\mathbb C \setminus f(D)\) being of measure zero.