Boundary behaviour of functions in weighted Dirichlet spaces (Q925158)

Let \(f\) be a holomorphic function on the open unit disk \(\mathbb{D}\). For each \(\theta\in[-\pi,\pi]\) the total radial variation \(L_f(\theta)\) is the (possibly infinite) integral \(\int_0^1|f'(re^{i\theta})|dr\). Denote by \(\mathcal{D}_W\) the space of the holomorphic functions \(f(z)=\sum a_nz^n\) on \(\mathbb{D}\) whose power series coefficients satisfy \(\sum W(n)|a_n|^2<\infty\) where \(W\) is a differentiable function on \([0,\infty)\) positive and increasing to infinity such that \(W(x)/x\) is decreasing on \([1,\infty)\). If the series \(\sum_{n\geq 1}\frac{1}{nW(n)}\) converges, works of \textit{I. Szalay} [in: Functions, series, operators, Proc. int. Conf, Budapest 1980, Vol. II, Colloq. Math. Soc. János Bolyai 35, 1171-1181 (1983; Zbl 0549.40004)] and \textit{F. T. Wang} [J. Lond. Math. Soc. 16, 174--176 (1941; JFM 67.1008.01)] show that \(L_f(\theta)\) is finite for almost all \(\theta\). (If the series diverges there exist \(f\in\mathcal{D}_W\) such that \(L_f(\theta)\) is infinite for every \(\theta\)). Moreover, in the special case \(W(x)=x^{1-\alpha}\), results of A. Beurling and A. Zygmund published in the book of \textit{J.-P. Kahane} and \textit{R. Salem} [Ensembles parfaits et séries trigonométriques. Paris: Hermann. 245 p. (1994; Zbl 0856.42001)] show that the set of \(\theta\) where \(L_f(\theta)=\infty\) must have zero \(\alpha\)-capacity when \(0<\alpha<1\) and zero logarithmic capacity when \(\alpha=0\). In the work under review the authors generalize this result to functions \(W\) satisfying the conditions above. Theorem 1. For \(f\in\mathcal{D}_W\), the set of all \(\theta\) with \(L_f(\theta)=\infty\) has zero \(H_W\)-capacity, where \(H_W(x)=\int_0^{1/|x|}\frac{dt}{W(t)}\) near \(x=0\). This coincides with zero \(\alpha\)-capacity and zero logarithmic capacity in the particular cases described above. One immediate consequence of Theorem 1 is that the functions of \(\mathcal{D}_W\) have finite radial limits outside a set of zero \(H_W\)-capacity. If \(\sum\frac{1}{nW(n)}=\infty\), Theorem 1 no longer holds. However the authors provide a condition on \(W(n)\) which does not imply the convergence of that series but still implies that the functions from \(\mathcal{D}_W\) have finite radial limits outside a set of zero \(K_W\)-capacity, where \(K_W(x)=\int_0^{1/|x|}\frac{tW'(t)}{W(t)^2}dt\) near \(x=0\). The reviewer thanks the first author for his kindness in answering some questions about this interesting paper.