Normality and exceptional values of derivatives (Q4510056)

Denote by \(B(D,K,\varepsilon)\) the family of all meromorphic functions in a domain \(D\subset\mathbb{C}\) such that (1) \(f'(z)\neq 1\), (2) if \(f(z)=0\) then \(0<|f'(z)|<K\), (3) if a disk \(\Delta\subset D\) and \(f\) has \(m\geq 2\) zeros \(z_1,\dots, z_m\) in \(\Delta\), then there exists \(k\in\{-1,1,2,\dots,m-1\}\) with \[ \left|\sum_{j=1}^m(f'(z_j))^k-m^{k+1}\right|\geq\varepsilon . \] The main theorem states that the family \(B(D,K,\varepsilon)\) is normal. It is a generalization of Gu's theorem (1980) which asserts that the family of all meromorphic functions in \(D\) with \(f(z)\neq 0\), \(f'(z)\neq 1\) is normal. There are many other results related with the main theorem in the article.