A sharp entropy condition for the density of angular derivatives (Q7015973)

For a holomorphic function \(f\) from the unit disk \(\mathbb{D}\) to itself, this brief paper addresses a problem concerning the set of points \(C(f) \subset \mathbb{T}\), in which \(f\) has finite angular derivative in the sense of Carathéodory. Specifically, under the condition that \(1 - |f|\) is log-integrable on an open subarc \(I \subset \mathbb{T}\), the author proves that \(C(f) \cap I\) not only has Lebesgue measure zero, but also can be expressed as a countable union of Beurling-Carleson sets -- closed subsets \(E \subset \mathbb{T}\) satisfying the condition\N\[\N\sum_{n=1}^{\infty}|A_n|\log(1/|A_n|)<\infty,\N\]\Nwhere \((A_n)\) is the family of disjoint open arcs whose union is the complement of \(E\) in \(\mathbb{T} \). At the end of the paper, a kind of converse is also established.\N\NThat \(C(f) \cap I\) has measure zero is an immediate consequence of the condition \(|f| < 1\) almost everywhere on \(I,\) which follows directly from the hypothesis on \(f\). The main result concerns the precise description of \(C(f) \cap I.\) To this end, the author employs an elegant argument in which the Aleksandrov-Clark measures associated to \(f\) play a key role. Using the condition \(|f| < 1\) a.e. on \(I\) and the Aleksandrov disintegration theorem, Lemma 6 shows that for almost every point in \(\mathbb{T},\) the corresponding Aleksandrov-Clark measure is absolutely continuous. This leads to a characterization of the set \(C(f)\) in terms of the Aleksandrov-Clark measure; see Lemma\,3 in the paper. Finally, the main result is obtained as a consequence of a theorem due to Makarov and Nikolski; Theorem\,5 in the paper. The proof of the converse mainly relies on two components: the characterization of countable union of Beurling-Carleson sets provided by the result of Makarov and Nikolski, and the description of \(C(f)\) established in Lemma\,3.