Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In the proof of Rouche's theorem I saw in a book, there are two points I failed to understand, or failed to prove myself. (if you aren't familiar with the theorem, please try to look at the two statements here below and explain them regardless of the theorem):

  1. "Consider the complex plane. It's not difficult to show that the index of a curve C with respect to a vector field v is equal to the sum of indices of singular points, i.e., those at which v(z) = 0."

  2. "If f(z) is a polynomial, and let v(z) = f(z), where v is a vector field, then the index of the singular point z0 is equal to the multiplicity of the root z0 of f."

I am having trouble understanding this, can anyone please help?

share|improve this question
1  
Mind telling what book is this? –  J. M. Oct 29 '10 at 10:14
2  
You will surely get good answers here eventually, but here's a book recommendation in the meantime: What you're asking about is explained very well in Chapter 10 of Tristan Needham's book "Visual Complex Analysis". –  Hans Lundmark Oct 29 '10 at 14:56
    
Yes, the book is called Polynomials, by Victor V. Prasolov –  Gal Goldman Oct 29 '10 at 18:17

1 Answer 1

up vote 3 down vote accepted
  1. If by index of the curve C they mean the integral:

$ \frac{1}{2 \pi i} \int_\gamma \frac{v'(z)}{v(z)} dz $

which is what I am guessing that they mean, then this follows from the residue theorem applied to the complex valued function $v(z)$.

  1. The index of a vector field at $z_0$ is defined to be the winding number you get for taking a small circle about $z_0$ of winding number $1$ and computing the winding number of its image about $0$. This can be computed as:

$ \frac{1}{2 \pi i} \int_\gamma \frac{v'(z)}{v(z)} dz $

where $\gamma$ is a parametrization of a sufficiently small circle which winds around $z_0$ once. For $v(z) = f(z)$ and $f(z_0) = 0$, we can write $f(z) = (z-z_0)^n g(z)$ where $n$ is maximal such that $g(z_0) \neq 0$. Then,

$ f'(z) = n (z-z_0)^{n-1} g(z) + (z-z_0)^n g'(z) $

and

$ \frac{f'(z)}{f(z)} = \frac{n}{z-z_0} + (z-z_0)^n \frac{g'(z)}{g(z)} $

The second term above is analytic in this region if we make $\gamma$ a small enough circle so that $g(z)$ is non-zero in the interior. Thus, when we integrate we just get that the index is:

$ \frac{1}{2 \pi i} \int_\gamma \frac{n}{z - z_0} dz = n $

which is the multiplicity of $z_0$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.