复变函数论6-留数理论及其应用3-辐角原理及其应用3：鲁歇 (Rouché) 定理

下面的定理是辐角原理的一个推论, 在考察函数的零点分布时, 用起来更为方便.

定理 6.10(鲁歇定理)

设 $C$ 是一条周线,函数 $f(z)$ 及 $\phi (z)$满足条件:

(1) 它们在 $C$ 的内部均解析, 且连续到 $C$.
(2) 在 $C$ 上, $|f(z)|>|\phi (z)|$.

则函数 $f(z)$ 与 $f(z)+\phi (z)$ 在 $C$ 的内部有同样多 (几阶算作几个)的零点, 即

$$N(f+\phi ,C)=N(f,C).$$

证
由假设知 $f(z)$ 及 $f(z)+\phi (z)$ 在 $C$ 的内部解析, 且连续到 $C$,在 $C$ 上有 $|f(z)|>0$,

$$|f(z)+\phi (z)|⩾|f(z)|-|\phi (z)|>0.$$

这样一来, 这两个函数 $f(z)$ 及 $f(z)+\phi (z)$ 都满足定理 6.9及其注的条件. 由于这两个函数在 $C$ 的内部解析, 于是由 (6.28), 只需证明

$${\Delta }_c\arg [f(z)+\phi (z)]={\Delta }_c\arg f(z).$$

由关系式

$$\begin{array}{c}f(z)+\phi (z)=f(z)\left[1+\frac{\phi (z)}{f(z)}\right],\\ {\Delta }_c\arg [f(z)+\phi (z)]={\Delta }_c\arg f(z)+{\Delta }_c\arg \left[1+\frac{\phi (z)}{f(z)}\right],\end{array}$$

根据条件 (2), 当 $z$ 沿 $C$ 变动时 $|\phi (z)/f(z)|<1$. 借助函数$\eta =1+\frac{\phi (z)}{f(z)}$ 将 $z$ 平面上的周线 $C$ 变成 $\eta$
平面上的闭曲线 $\Gamma$.于是 $\Gamma$ 全在圆周 $|\eta -1|=1$ 的内部 (图6.19), 而原点 $\eta =0$ 又不在此圆周的内部. 即是说, 点$\eta$不会围着原点 $\eta =0$ 绕行. 故

$${\Delta }_c\arg \left[1+\frac{\phi (z)}{f(z)}\right]=0,$$

由 (6.31) 即知 (6.30) 为真.

例 6.23
设 $n$ 次多项式

$$p(z)=a_0{z}^n+\cdots +a_1{z}^{n-t}+\cdots +a_n\left(a_0\ne 0\right)$$

符合条件

$$\left|a_1\right|>\left|a_0\right|+\cdots +\left|a_{i-1}\right|+\left|a_{i+1}\right|+\cdots +\left|a_n\right|.$$

试证 $p(z)$ 在单位圆 $|z|<1$ 内有 $n-t$ 个零点.

证
取 $f(z)=a_1{z}^{n-1}$,

$$\phi (z)=a_0{z}^n+\cdots +a_{1-1}{z}^{n-t+1}+a_{1+1}{z}^{n-t-1}+\cdots +a_n,$$

易于验证在单位圆周 $|z|=1$ 上,有

$$|f(z)|>|\phi (z)|.$$

依鲁歇定理知, $p(z)=f(z)+\phi (z)$ 在单位圆 $|z|<1$ 内的零点, 与$f(z)=a^{}$