Univalent functions, VMOA and related spaces

This paper is concerned mainly with the logarithmic Bloch space B _log which consists of those functions f which are analytic in the unit disc D and satisfy sup|z|<1(1<|z|) log 1/1|z| |f' (z)| <∞, and the analytic Besov spaces Bp,1 ≤ p<∞. They are all subspaces of the space VMOA. We study the relation between these spaces, paying special attention to the membership of univalent functions in them. We give explicit examples of: • A bounded univalent function in ∪ _p>1 B^p but not in the logarithmic Bloch space. • A bounded univalent function in B_log but not in any of the Besov spaces B^p with p< 2. We also prove that the situation changes for certain subclasses of univalent functions. Namely, we prove that the convex univalent functions in D which belong to any of the spaces B₀, VMOA, B^p (1 ≤ p<∞), B_log, or some other related spaces are the same, the bounded ones. We also consider the question of when the logarithm of the derivative, log g', of a univalent function g belongs to Besov spaces. We prove that no condition on the growth of the Schwarzian derivative Sg of g guarantees log g'ε B^p. On the other hand, we prove that the condition f_D (1 - |z| ²)^2p-2|Sg(z)|^p dA(z)< ∞ implies that log g' ε B^p and that this condition is sharp. We also study the question of finding geometric conditions on the image domain g(D) which imply that log g' lies in B^p. First, we observe that the condition of g(D) being a convex Jordan domain does not imply this. On the other hand, we extend results of Pommerenke and Warschawski, obtaining for every p ε (1,∞), a sharp condition on the smoothness of a Jordan curve γ which implies that if g is a conformal mapping from D onto the inner domain of γ, then log g' ε B^pM.