Author Topic: Q6 TUT 0101  (Read 2274 times)

Victor Ivrii

• Elder Member
• Posts: 2599
• Karma: 0
Q6 TUT 0101
« on: November 17, 2018, 04:07:17 PM »
$\newcommand{\Res}{\operatorname{Res}}$
If $f$ is analytic in $\{z\colon |z - z_0| < R\}$ and has a zero of order $m$ at $z_0$ , show that
$$\Res \bigl(\frac{f'}{f}; z_0\bigr)=m.$$

XueGe Huang

• Newbie
• Posts: 1
• Karma: 2
Re: Q6 TUT 0101
« Reply #1 on: November 17, 2018, 04:25:27 PM »
check attached file

Qi Cui

• Jr. Member
• Posts: 10
• Karma: 11
Re: Q6 TUT 0101
« Reply #2 on: November 17, 2018, 05:51:54 PM »
$Since\ f(z)\ has\ a\ zero\ of\ order\ m\ at \ z_{0}$,
$$\quad\therefore f(z) = (z-z_{0})^mg(z),where g'(z_{0})\ne0$$
$$\quad\therefore f'(z) = (z-z_{0})^mg'(z)+m(z-z_{0})^{m-1}g(z)$$
$$f'(z) = (z-z_{0})^m(g'(z)+m(z-z_{0})^{-1}g(z))$$
$$\quad\therefore {{f'(z)}\over {f(z)}} ={{(z-z_{0})^m(g'(z)+m(z-z_{0})^{-1}g(z))}\over {(z-z_{0})^mg(z)}}$$
$$= {{g'(z)}\over {g(z)}}+m(z-z_{0}^{-1})$$
$$\quad\therefore Res({{f'}\over f}, z_{0})=m$$

Ende Jin

• Sr. Member
• Posts: 35
• Karma: 11
Re: Q6 TUT 0101
« Reply #3 on: November 17, 2018, 07:21:15 PM »
Thus there exists analytic $g$ s.t. $f(z) = (z-z_0)^mg(z)$ where $g(z_0) \neq 0$.

Thus there exists a small ball around $z_0$ s.t. $g(z) \neq 0$ (by continuity) and analytic ,  which means $\frac{1}{g(z)}$ is analytic as well, thus $\frac{g'(z)}{g(z)}$ is analytic on that ball as well.

Since $m \ge 1$,
\begin{align*}
\frac{f'(z)}{f(z)} &= \frac{m(z-z_0)^{m-1}g(z) + (z-z_0)^m g'(z)}{(z-z_0)^m g(z)} \\
& = \frac{m(z-z_0)^{m-1}g(z) + (z-z_0)^m g'(z)}{(z-z_0)^m g(z)} \\
&= \frac{g'(z)}{g(z)} + m \frac{1}{z-z_0}
\end{align*}
We have shown $\frac{g'}{g}$ is analytic on that ball. Thus the residue, which means the coefficient of $(z-z_0)^{-1}$ is only $m$ .
« Last Edit: November 17, 2018, 07:27:23 PM by Ende Jin »