Let$X$be a rearrangement-invariant Banach function space on$R$^{$n$}and let$V$^{1}$X$be the Sobolev space of functions whose gradient belongs to$X$. We give necessary and sufficient conditions on$X$under which$V$^{1}$X$is continuously embedded into BMO or into$L$_{∞}. In particular, we show that$L$_{$n, ∞$}is the largest rearrangement-invariant space$X$such that$V$^{1}$X$is continuously embedded into BMO and, similarly,$L$_{$n$, 1}is the largest rearrangement-invariant space$X$such that$V$^{1}$X$is continuously embedded into$L$_{∞}. We further show that$V$^{1}$X$is a subset of VMO if and only if every function from$X$has an absolutely continuous norm in$L$_{$n, ∞$}. A compact inclusion of$V$^{1}$X$into$C$^{0}is characterized as well.

In this paper we present a deterministic Cantor-type construction of linear fractal Salem sets with prescribed dimension. The construction rests on a paper of Kaufman [10] where he investigated the Fourier dimension of the set of α-well approximable numbers in$R$.

Let$D$⊂$C$be a simply connected domain that contains 0 and does not contain any disk of radius larger than 1. For$R$>0, let$ω$_{$D$}($R$) denote the harmonic measure at 0 of the set {$z$:|$z$|≽$R$}⋔∂$D$. Then it is shown that$there exist$β>0$and C$>0$such that for each such D$,$ω$_{$D$}($R$)≤$Ce$^{−$βR$},$for every R$>0. Thus a natural question is: What is the supremum of all β′s , call it β_{0}, for which the above inequality holds for every such$D$? Another formulation of the problem involves hyperbolic metric instead of harmonic measure. Using this formulation a lower bound for β_{0}is found. Upper bounds for β_{0}can be obtained by constructing examples of domains$D$. It is shown that a certain domain whose boundary consists of an infinite number of vertical half-lines, i.e. a comb domain, gives a good upper bound. This bound disproves a conjecture of C. Bishop which asserted that the strips of width 2 are extremal domains. Harmonic measures on comb domains are also studied.

Let$f$be a one-to-one analytic function in the unit disc with$f′$(0)=1. We prove sharp estimates for certain Taylor coefficients of the functions$(f′)$^{$p$}, where$p$<0. The proof is similar to de Branges’ proof of Bieberbach’s conjecture, and thus relies on Löwner’s equation. A special case leads to a generalization of the usual estimate for the Schwarzian derivative of$f$. We use this to improve known estimates for integral means of the functions |$f′$|^{$p$}for integers$p$⪯−2.

No abstract uploaded!