Normality criteria of meromorphic functions that share a holomorphic function (Q410205)

Summary: Let \(\mathcal F\) be a family of meromorphic functions defined in a domain \(D\), let \(\psi\) (\(\not\equiv 0\)), \(a_0, a_1, \dots, a_{k-1}\) be holomorphic functions in \(D\), and let \(k\) be a positive integer. Suppose that, for every function \(f \in \mathcal F\), \(f \neq 0\), \(P(f) = f^{(k)} + a_{k-1} f^{(k-1)} + \cdots + a_1 f' + a_0 f \neq 0\) and, for every pair functions \((f, g) \in \mathcal F\), \(P(f)\), \(P(g)\) share \(\psi\). Then \(\mathcal F\) is normal in \(D\).