Hi,

Let $f$ be a non-identically zero bounded analytic function in the open unit disk $\mathbb{D}$. It is well-known that $f$ has radial limits almost everywhere on the unit circle $\mathbb{T}$. Let $Z_f$ be the set of points in $\mathbb{T}$ where $f$ has zero radial limit :

$$Z_f:= \{e^{i\theta} \in \mathbb{T} : \lim_{r \rightarrow 1}f(re^{i\theta})=0\}.$$

Then it is also well-known that $Z_f$ has measure zero.

My question is the following :

For which sets $E \subseteq \mathbb{T}$ of measure zero does there exist a bounded analytic function $f$ in $\mathbb{D}$ such that $E=Z_f$?

Remark : It is easy to see that every $Z_f$ is a $F_{\sigma \delta}$, so the question could be wether or not every $F_{\sigma \delta}$ of measure zero is $Z_f$ for some $f$.

`$f'_n=g_{n+1}$`

. – Giuseppe Mar 10 '13 at 12:25