8
$\begingroup$

Let $f$ and $g$ be differentiable on a domain $D$ and suppose that $\gamma$ is a simple closed contour whose inside is contained in D.

If $|f(z)-g(z)|<|f(z)|$ for all $z$ on $\gamma$, then $f$ and $g$ have the same number of zeros inside $\gamma$ (counted including their order).

I was reading an example of application of Rouché's Theorem, where Rouché's theorem was used to show that the polynomial $p(z)=z^7-5z^3+12$ has $0$ roots in $\{z:\mathbb{C}:|z|<1\}$.

What was done was:

Let $g(z)=z^7-5z^3+12$ and let $f(z)=12$. Then for $|z|=1$,

$|f(z)-g(z)|=|z^7-5z^3| \\ \le|z|^7+5|z| \\=1+5\\=6<12=|f(z)|$

Hence by Rouché's Theorem $p(z)=z^7-5z^3+12$ has $7$ roots in $\{z:\mathbb{C}:|z|<2\}$.


I was wondering, what is the purpose to do the step $\le|z|^7+5|z|$? Can't I just jump straight from $|f(z)-g(z)|=|z^7-5z^3| \\=|1-5|\\=4<12=|f(z)|?$

Secondly, $|f(z)-g(z)|=|-z^7+5z^3|$, is there a reason why they used $|f(z)-g(z)|=|z^7-5z^3|$?

Thirdly, what does it mean by "(counted including their order)"? (From the definition above)

  • 1
    For the first question, it isn't true that $z^7$ or $z^3$ equal $1$ on the boundary of the unit disk (consider, say, $z=i.$) For the second question, they are equivalent - the second looks a bit neater. Order in this context means multiplicity.2012-05-25
  • 1
    I may be wrong, but is your conclusion correct: $p(z)$ has $7$ roots in $D_2=\{z\in\mathbb{C}\mid |z|<2\}$ ? From your statement of Rouche's theorem you should conclude only that $p(z)$ has $0$ roots in $D_1$ since $f(z)=12$ has $0$ roots in $D_1$.2015-05-26

2 Answers 2

7

With $|z|=1$, $|f(z)-g(z)|=|z^7-5z^3| = |z^4-5|$, however the last quantity is not equal to $5-1$, as you can take any point with $|z|=1$ (eg, take $z=e^{i\frac{\pi}{4}}$, then the value is $6$). The best upper bound is the one given.

There is no difference between the $|-z^7+5z^3|$ and $|z^7-5z^3|$, since it appears under the $|.|$ (ie, |w| = |-w|).

Order means multiplicity. $z^2$ has a zero of multiplicity $2$ at $0$.

  • 0
    Thanks @copper.hat I understand point 2 and 3 well. So I get it now we have to take any point with with $|z|=1$. But if I choose $z=i$ then $|z|=1$. I get that $|z^7-5z^3|=|i^7-5i^3|=|-i+5i|=|4i|$?2012-05-25
  • 0
    Just to clarify, so when we are trying to apply rouche's theorem, we should try to find the (best) upper bound of $|f(z)-g(z)|=|z^7-5z^3|$ for |z|=1?2012-05-25
  • 1
    You need to ensure that $|f(z)-g(z)| < |f(z)|$ for *all* $z$ such that $|z|=1$, not just specific $z$. By choice, you have $|f(z)| = 12$, so you need to make sure that $|f(z)-g(z)| < 12$ for any $|z|=1$. You don't need the best upper bound, any upper bound will do, as long as it is less than $12$. In the above case, the triangle inequality makes it easy to see that $6$ is an upper bound.2012-05-25
  • 0
    Okay thanks again copper.hat! I think I got it now. Most appreciated!2012-05-25
  • 0
    @copper.hat how do you determine the multiplicity though? For example, how do I know $p$ doesn't have a zero of multiplicity greater than 1?2014-04-01
  • 0
    @User69127: I don't understand your question. The OP asked what "counted included their order" meant, which in this case is the multiplicity. What is $p$? Rouche's theorem counts the zeros (less poles) of a function inside some curve, counting by multiplicity.2014-04-01
  • 0
    @copper.hat yes sorry I meant to ask. Can any of the zeros of $p(z)=z^7−5z^3+12$ in the region $z \in \mathbb{C}: |z|<1 \}$ have multiplicity larger than 1?2014-04-01
  • 0
    @User69127: $p$ has **no** zeros in that region, so no...2014-04-01
  • 0
    @User69127: If $|z| =2$, we have $|5 z^3-12| \le 52 < 128 = |z^7|$, so $p$ and $z \mapsto z^7$ have the same number of zeros in $|z| < 2$ (that is, 7). Consequently, all of $p$'s zeros lie in the annulus $1 < |z| < 2$.2014-04-01
  • 0
    what about for the region in |z|<2?2014-04-01
  • 0
    @User69127: What about the region $|z|<2$?2014-04-01
  • 0
    Can any of the zeros have multiplicity larger than 1 in that region?2014-04-01
  • 0
    @User69127: Well, just from the results above, they could (however if you check the roots of $p$, they are all distinct).2014-04-01
  • 0
    Thanks. This is an exit exam question for my degree. I have to explain it properly on my exam of why there could be zeros with multiplicity larger than 1.2014-04-01
  • 2
    @User69127: Not sure this helps, but if you compare $p(z) = z^2$ and $p_\epsilon(z) = z(z-\epsilon)$ (with $0<\epsilon<1$) on $|z|=1$, you get $|p(z)-p_\epsilon(z)| = \epsilon|z| < |p(z)|$, hence $p$ and $p_\epsilon$ have the same number of zeros (2) inside the circle. If $\epsilon=0$, the multiplicity of the zero of $p_\epsilon$ is 2, otherwise one. The point is that this application of Rouche's theorem is 'insensitive' to multiplicity as such.2014-04-01
0

It seems that you have applied Rouche's theorem for two regions, the first one is inside the unit circle |z|=1, and the second one is inside the circle |z|=2. Your calculations, regardless of a minor mistake, show that all roots of p(z) lies between these two circles. I use a form of Rouche's theorem, found here ( https://en.wikipedia.org/wiki/Rouche's_theorem ), to provide a similar but complete answer.

1_ For |z|=1 one writes p(z)=s(z)+t(z), s(z)=z^7-5z^3, t(z)=12 and then applies triangle inequality on the counter |z|=1 to see that |s(z)|<1+5<12=|t(z)|. So p has no roots inside the unit circle (notice that t(z) is constant and has no roots).

2_ Mimic the method of step 1, this time for p(z)=u(z)+v(z), u(z)=-5z^3+12, v(z)=z^7, |z|=2 and see that |u(z)| < 5*8+12=52 < 128 = |v(z)|. Thus the total roots of p(z) must lie inside the circle |z|=2.

Now it is evident from steps 1 and 2 that all roots of p(z) are between the circles |z|=1 and |z|=2.