涉及微分多项式和多项式的亚纯函数正规族

k,l∈N,且k≥2,设F为D内亚纯函数族,对f∈F,在D内的零点之级≥k 1,极点之级≥2.h(z)为D内的全纯函数,在D内的零点之级≥2,且h(z)0.设a1(z),a2(z),...,ak-1(z)和b1(z),b2(z),...,bl(z)为D内的全纯函数.置H(f)(z)=f(k)(z) ak-1(z)f(k-1)(z) ... a1(z)f ′(z) b1(z)f(z) ... bl(z)f l(z).若对f∈F,有H(f)(z)≠h(z)(z∈D)成立,则F在D内正规.