Argument of bounded analytic functions and Frostman's type conditions (Q2267715)

The author describes the argument growth for bounded analytic functions. Denote \(D(\zeta,\rho)=\{\xi\in\mathbb C:|\xi-\zeta|<\rho\}\). Let \(u\) be a subharmonic function in the unit disk \(\mathbb D\). Then \(u\) can be represented in terms of the Riesz measure \(\mu_u\) of \(u\) and the Borel measure \(\psi\) on the unit circle. For a complete measure \(\lambda_u\) of \(u\), we have, in particular, \(d\lambda|_{\mathbb D}(\zeta)=(1-|\zeta|)d\mu_u(\zeta)\). For \(h\in L(0,a)\), the fractional integral \(h_{\alpha}\) of order \(\alpha>0\) is defined by \[ \begin{aligned} h_{\alpha}(r)&=D^{-\alpha}h(r)=\frac{1}{\Gamma(\alpha)}\int^r_0(r-x)^{\alpha-1}h(x)dx, \;\;\;r\in(0,a),\\ D^0h(r)&=h(r),\;\;\;D^{\alpha}h(r)=\frac{d^p}{dr^p}\{D^{-(p-\alpha)}h(r)\}, \;\;\;\alpha\in(p-1,p].\end{aligned} \] The main results are the following. Theorem 2: Let \(F\) be a bounded analytic function in \(\mathbb D\), \(0\leq\gamma<1\), \(\zeta_0\in\partial\mathbb D\). In order that for every divisor \(f\) of \(F\) and every \(\sigma>1\), there exist \(K=K(\gamma,\sigma,F)>0\) such that \(\sup_{z\in S^*_{\sigma}(\zeta_0)}|D^{-\gamma}\arg f(z)|<K\), it is necessary and sufficient that \[ \int_{\overline{\mathbb D}}\frac{d\lambda_{\log|F|}(\zeta)}{|\zeta_0-\zeta|^{1-\gamma}} <\infty. \] Here \(S^*_{\sigma}(\zeta_0)\) is the Stolz angle in \(D(\zeta_0,1/2)\). Let \(n_z(h)\) be the number of zeros of \(f\) in \(\overline D\big(z,h(1-|z|)\big)\), and let \[ N_z(h)=\sum_{|a_n-z|\leq h(1-|z|)}\log\frac{h(1-|z|)}{|z-a_n|}=\int_0^{(1-|z|)h}\frac{n_z(s)}{s}ds. \] Theorem 10: Let \(F\in H^{\infty}\), \(0\leq\gamma<1\), \(0<h<1\), and \(\zeta_0\in\partial\mathbb D\). In order that, for every divisor \(f\) of \(F\) and every \(\sigma>1\), there exists \(K=K(\gamma,\sigma,F)>0\) with \[ \sup\limits_{z\in S^*_{\sigma}(\zeta_0)}\Big|D^{-\gamma}\big(\log(f(z)+N_z(h)\big)\Big|<K, \] it is necessary and sufficient that \[ \int_{\overline D}\frac{d\lambda_{\log|F|}(\zeta)}{|\zeta_0-\zeta|^{1-\gamma}}<\infty. \]