Radially distributed values and normal families. II. (Q1996438)

The paper is devoted to holomorphic functions in the unit disk \(\mathbb D=\{z\in\mathbb C:|z|<1\}\) for which the zeros lie on one ray while the 1-points lie on two rays. The main result is given in the following theorem. Theorem 1.1. Let \(L_0\), \(L_1\) and \(L_{-1}\) be three distinct rays emanating from the origin and let \(\mathcal F\) be the family of all functions holomorphic in \(\mathbb D\) for which all zeros lie on \(L_0\) and all 1-points lie on \(L_1\cup L_{-1}\). Assume that neither \(\angle(L_{-1},L_1)=\pi\) nor \(\angle(L_0,L_1)=\angle(L_0,L_{-1})<\frac{\pi}{2}\). Then \(\mathcal F\) is normal in \(\mathbb D\setminus\{0\}\). An important role in the proof of Theorem 1.1 is played by the next proposition of the paper. Proposition 1.1. Let \(D\) be a domain and let \(L\) be a straight line which divides \(D\) into two subdomains \(D^+\) and \(D^-\). Let \(\mathcal F\) be a family of functions holomorphic in \(D\) which do not have zeros in \(D\) and for which all 1-points lie on \(L\). Suppose that \(\mathcal F\) is not normal at \(z_0\in D\cap L\) and let \((f_k)\) be a sequence in \(\mathcal F\) which does not have a subsequence converging in any neighborhood of \(z_0\). Suppose that \((f_k|_{D^+})\) converges. Let \(r>0\) with \(\overline D(z_0,r)=\{z\in\mathbb C:|z-z_0|\leq r\}\subset D\). Then for sufficiently large \(k\) there exists a 1-point \(a_k\) of \(f_k\) such that \(a_k\to z_0\) and if \(M_k\) is the line orthogonal to \(L\) which intersects \(L\) at \(a_k\), then \[|f_k(z)|\neq1\;\;\text{for}\;\;z\in M_k\cap\overline D(z_0,r)\setminus\{a_k\}.\]