Nevanlinna 理论笔记 03

Nevanlinna theory 03

下面我们给出 Nevanlinna 第二主定理及其证明.

的 ramification term 记作 , 定义为

注意到 .

定理 1.3.1 (Nevanlinna 第二主定理) 令 为有限个互不相同的复数. 令 为 上的非常值亚纯函数. 则对任意 , 不等式

对任意 在一个 Lebesgue 测度有限集 之外成立.

证明: 令 . 对任意 , 若满足 , 且 , , 令 为 中的某个指标使得

则对任意 , 由三角不等式, . 因此, 对 ,

从而

注意到

从而

令 , 并对 积分可得

由推论 1.1.4, 我们有

以及

从而上面的不等式变为

由 Nevanlinna 第一主定理, 及 的定义, 上述不等式左边即为

为了完成证明, 我们还需要估计

令 , 则

过程中用到了 Jensen 不等式和 , 对任意正实数 , 以及 . 再由定理 1.2.3, 及不等式 , 我们得到上述表达式满足

其中 是只与 相关的常数. 由引理 1.2.4, 取 , 我们有对任意 且不在 中, 则

且

从而, 对任意 且不在 中, 有

结合上述一系列估计即得证. Q.E.D.

定义 truncated counting function 为

由 Nevanlinna 第二主定理可得如下推论.

推论 1.3.2 令 为互不相同复数. 令 为 上的非常值亚纯函数. 则对任意 , 不等式

对任意 在一个 Lebesgue 测度有限集 外成立.

证明: 容易验证

Q.E.D.

推论 1.3.3 (Picard 定理) 若 上的亚纯函数 不取到三个不同值 , 则 一定为常值函数.

证明: 假设 不为常值函数. 由 Nevanlinna 第二主定理, 我们有

对任意 在 Lebesgue 测度有限集 之外成立. 但是, 因为 不取 , 所以 ,