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$.

  • $\begingroup$ I'm having some problem with LaTex in the definition of $Z_f$... Does someone know how to fix that? $\endgroup$ – Malik Younsi Mar 10 '13 at 12:17
  • $\begingroup$ From "How to write math" (look on the right $\rightarrow$): if you're having problems with the preview (or the post looks wrong), put backticks around any math that contains underscores or asterisks. E.g. write $f'_n=g_{n+1}$. $\endgroup$ – agtortorella Mar 10 '13 at 12:25

Lohwater and Piranian proved that for every set $F_\sigma$ of measure zero, there exists a bounded analytic function which has radial limits exactly on the complement of this set. (Ann. Acad. Sci. fenn., 239 (1957) 1-17.)

In the book of Collingwood and Lohwater, Theory of cluster sets (1966) they say that the problem is still not settled completely and that the above result is the best that is known.

I suppose it is still unsolved, but many partial results can be found among the references on Lohwater and Piranian on Mathscinet.

  • $\begingroup$ Thank you very much for the interesting references, I will take a look at them. $\endgroup$ – Malik Younsi Mar 12 '13 at 20:19

The following classical result of Privalov (1919) gives a partial answer to OP's original question :

Let $E$ be a zero measure subset of $\mathbb{T}$. Then there exists a nonzero bounded analytic function $f$ on $\mathbb{D}$ such that $f(z)$ tends to $0$ as $z$ approaches, in an arbitrary manner (in particular, radially), any point of $E$. If $E$ is, in addition, closed, there exists $f(z)$ analytic on $\mathbb{D}$, continuous for $|z|\leq1$, vanishing on $E$ and only there.

For a reference, and a construction of $f$, see p.276 of

A. Zygmund, Trigonometric series, V. 1, Cambridge, 1959.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.