Composite meromorphic functions and normal families (Q5892560)

Let \({\mathcal F}\) be a family of meromorphic functions in a domain \(D\) and \(\alpha\) a holomorphic function in \(D\). If \(P\) is a polynomial of degree at least 3, and \(P\circ f(z)\) and \(P\circ g(z)\) share \(\alpha(z)\) IM for each pair \(f,g\in{\mathcal F}\), and if for any \(z_0\in D\), \(P(z)- \alpha(z_0)\) has at least three distinct zeros, then \({\mathcal F}\) is normal in \(D\). When \(\alpha\) is nonconstant and there exists a \(z_0\) in \(D\) such that \(P(z)- \alpha(z_0)\) has at most two distinct zeros, a further condition is given whereby \({\mathcal F}\) is normal in \(D\). The results extend theorems by \textit{W. Yuan}, \textit{Z. Li} and \textit{B. Xiao} [J. Guangzhou Univ., Nat. Sci. 9, No. 5, 1--4 (2010; Zbl 1240.30179)].