1. 研究背景
本文所提及的亚纯函数是指在整个复平面上的亚纯函数。设是复平面上1个非常数的亚纯函数，并假设读者熟悉Nevanlinna理论的基本概念和结果及其标准记号 [1] - [3] ，例如，，，，，等等。同时我们用表示扩充复平面。W.K. Hayman在 [4] [5]
中提出了研究关于整函数的齐次微分多项式的零点分布的必要性。自此之后关于一个给定的整函数或亚纯函数的微分多项式的零点分布这一问题成为国际上研究的热点。
1978年E. Mues在 [6] 中证明了如果，为不满足这一形式的超越亚纯函数，其中。则微分多项式至少存在一个零点。
近期M. Ozawa在 [7] ，G. Lehner在 [8] 和Tohge在 [9] 中均提出了关于齐次微分多项式的一些相似结论。
我们将采用不同于别人的方法，讨论具有新的形式的微分多项式的零点分布情况得到了以下结论。
定理1 令为超越整函数，为非零常数。如果微分多项式，有有限零点，则满足
并且，其中亏量定义为
推论1 令为超越整函数，为非零常数。如果微分多项式，若，则必有无穷多个零点。
2. 定理的证明
为了证明定理1，我们将考虑下面的方程
(1)
其中为非零多项式，为整函数。
显然由(1)知，并且根据可知。
对(1)两边取对数导数可以得到
令可将上式化为
(2)
情况1 假设。令，其中为非零常数。将代入(1)可得
(3)
因为，由(3)和对数导数引理得并且
(4)
令
(5)
由(4)可得。再由(3)和(5)可知
也就是说
，
因此。我们令，其中为常数。将代入(5)我们得到
因此，其中为常数。显然矛盾。
情况2 假设由(2)知并且(4)成立。
在多数情况下，我们可以讨论以下形式的微分方程：
(6)
其中为非零常数。我们可以证明(6)没有超越整函数解。
事实上，由(6)我们可以得到
(7)
令为的单零点。由(4)和(7)我们知为的一个零点。
首先我们假设。令
(8)
那么为的一个小函数。根据(7)和(8)，我们有
(9)
由(4)和(9)我们知道为一个非零常数。再由(9)得
(10)
其中，为常数。由(6)和(10)我们得到矛盾。
因此，我们假设令
(11)
如果那么。其中，为常数与(6)矛盾。因此并且为的小函数。由(11)可得
(12)
根据(6)和(12)我们发现，同样得出矛盾。
综上所述，我们得到如果微分多项式有有限零点，则满足
这样我们就完成了定理1的证明。
3. 结论
本文中，我们针对Hyman猜想做了进一步推广，并且运用新的方法探讨了新形式下的微分多项式的零点分布，取得了较为满意的结果。
随着研究的不断深入，一些问题解决的同时也随之出现了一些新问题，需要我们继续探讨。我们会在已经取得的结果之上更加深入细致的研究，以期待取得更大的成绩。
致谢
最后，向我的导师 吕巍然 教授表示我衷心的感谢！ 吕 老师孜孜不倦的治学态度，认真求实的工作作风对我产生了深刻的影响。他知识渊博，见解独特，对工作对学生认真负责，在此谨向吕巍然教授致以最诚挚的谢意和崇高的敬意！衷心感谢张敏老师对我的指导和帮助！
参考文献