In mathematics, especially complex analysis, Rouché’s theorem tells us that if the complex-valued functions and are holomorphic inside and on some closed contour , with on , then and have the same number of zeros inside , where each zero is counted as many times as its multiplicity. This theorem assumes that the contour is simple, that is, without self-intersections. Moreover, and should have no zeros on .
The theorem is usually used to simplify the problem of locating zeros, as follows. Given an analytic function, we write it as the sum of two parts, one of which is simpler and grows faster than (thus dominates) the other part. We can then locate the zeros by looking at only the dominating part.
For example, the polynomial has exactly zeros in the disk since for every , and , the dominating part, has five zeros in the disk.
It is possible to provide an informal explanation on why the Rouche’s theorem holds. First we need to rephrase the theorem a little bit. Let . Notice that holomorphic implies holomorphic too. Then, with the conditions imposed above, Rouche’s theorem says that
If then and have the same number of zeros on the interior of .
Notice that the condition means that for any , the distance of to the origin is larger than the length of , which in the following picture means that for each point on the blue curve, the segment joining to the origin is larger than the green segment associated to it. Informally we can say that the red curve is always closer to the blue curve than to the origin.
But the previous paragraph shows that since winds exactly once around , so must , and by the argument principle, the index of both curves around zero is the same, which means that and have the same number of zeros.
One popular, informal way to summarize this argument is as follows: If a person were to walk a dog on a leash around and around a tree, and the length of the leash is less than the radius of the tree, then the person and the dog go around the tree an equal number of times. (Indeed, one may see that the converse of Rouche’s theorem is false, insofar as the leash need only be less than the circumference of the tree.)
Consider the polynomial (where ). By the quadratic formula we find that it has two zeros at . Since
for every . Rouché’s theorem says that the polynomial has exactly one zero inside the disk . Since is clearly outside the disk, we conclude that the polynomial has a zero at . This sort of arguments can be useful in locating residues when one applies Cauchy’s Residue theorem.
Rouché’s theorem can also be used to give a short proof of the Fundamental Theorem of Algebra. Let , and choose a so large that
for every . Since has zeros inside the disk , it follows from Rouché’s theorem that also has the same number of zeros inside the disk.
One advantage of this proof over the others is that it shows not only that a polynomial must have a zero but the number of its zeros is equal to its degree (counting, as usual, multiplicity).
Another use of Rouché’s theorem is to prove the open mapping theorem for analytic functions.
Proof of Rouché’s theorem
The hypothesis, that on , implies
for all . Hence the function takes the curve to a curve in the interior of the disc of radius and center . The winding number of about the origin is thus zero. On the other hand, by the argument principle, this winding number is given by
where is the number of zeroes of inside , is the number of poles inside . Hence . But is the ratio of two holomorphic functions and inside , and so the zeros are those of and the poles are the zeros of . That is,