Rouché's theorem

Encyclopedia : R : RO : ROU : Rouché's theorem

In complex analysis, Rouché's theorem tells us that if the complex-valued functions f and g are holomorphic inside and on some closed contour C, with |g(z)| < |f(z)| on C, then f and f + g have the same number of zeros inside C, where each zero is counted as many times as its multiplicity. This theorem assumes that the contour C is simple, that is, without self-intersections.

Geometric explanation

Since the distance between the curves is small, h(z) does exactly one turn around like f(z) does.

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 h(z) = f(z) + g(z). Notice that f, g holomorphic implies h holomorphic too. Then, with the conditions imposed above, Rouche's theorem says that

If |f(z)| > |h(z) − f(z)| then f(z) and h(z) have the same number of zeros on the interior of f(z).

Notice that the condition |f(z)| > |h(z) − f(z)| means that for any z, the distance of f(z) to the origin is larger than the length of h(z) − f(z), which in the follow 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 g(z) is always closer to the blue curve f(z) than to the origin.

But the previous paragraph shows that since f(z) winds exactly once around 0, so must h(z), and by the argument principle, the index of both curves around zero is the same, which means that f(z) and h(z) have the same number of zeros.

Proof

Denote h = f + g which is holomorphic, being the sum of two holomorphic functions. From the argument principle, we have that

[N_h-P_h=I_h(C,0)=\oint_C \,dz]

where N_h is the number of zeroes of h inside C, P_h is the number of poles, and I_h(C,0) is the winding number of h(C) about 0. Since h is analytic inside and on C, it follows that P_h is zero, and

[N_h=I_h(C,0)=\oint_C \,dz.]

One has that h′/h = D log h(z), where D denotes the complex derivative. Keeping in mind that h=f+g, we find [N_h=\oint_C \,dz]

[=\oint_C D (\log)\,dz]

[=\oint_C D \left(\log\right)\right)}\right)\,dz]

[=\oint_C D \left(\log+\log\right)}\right)\,dz]

[=\oint_C D \left(\log\right)+D\left(\log\right)}\right)\,dz]

[=\oint_C D \left(\log\right)\,dz+\oint_C D\left(\log\right)}\right)\,dz]

[=\oint_C \,dz+\oint_C \right) \over 1+ }\,dz]

[=I_f(C,0)+I_}(C,0).]

The winding number of 1+g/f over C is zero. This because we supposed that |g(z)| < |f(z)|, so g/f is constrained to a circle of radius 1, and adding 1 to g/f shifts it away from zero, and thus 1 + g/f is constrained to a circle of radius 1 about 1, and C under 1 + g/f cannot wind around 0.

The above then equals

[I_f(C,0)\,]

which is N_f or the number of zeros of f. [\square]

From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.