# bounding roots of a polynomial with Rouche's Theorem

Suppose f(z) = z^n - k [ z^(n-1) + ... + z + 1 ] where n is a positive integer and k is a real constant such that nk<1. I have shown that a root of this polynomial must satisy |z|<1, but I want a slightly better bound such as 1-k. This seems plausible from computational results but is difficult to prove. I am trying to use Rouche's theorem to do this but finding an appropriate bounding function is difficult. Is there any other result about holomorphic functions that may help?

-
Note that f(z)*(z-1) = z^{n+1} - (1+k) z^n + k. This polynomial has the same roots as f(z), plus a root at z = 1. This might be a better function to look at. –  Michael Lugo Feb 24 '10 at 16:10
@FC: Yes, I realized that after asking. See my answer. (I am going to delete my above comments now, since they have more or less become parts of the answer. Late comers to the discussion may notice that FC did indeed answer a question of mine, now gone.) –  Harald Hanche-Olsen Feb 24 '10 at 22:00

Summary of the discussion: Using the triangle inequality, one sees that that $|f(z)|\ge f(|z|)$, and so the root of largest absolute value is the positive real root $z_k$. Differentiating $f(z)(z-1)$, one gets a bound:

$$z_k < \frac{1 + k}{1 + n^{-1}}.$$

When $k \rightarrow 1/n$, the largest real root approaches $1$ (by continuity, since $f(1) = 1 - nk$). Thus any bound must involve $n$.

The OP complains that he wants something better. It is pointed out that as $k \rightarrow 1/n$, the quantity $1 - z_k$ is asymptotic to

$$\frac{2(1 - kn)}{(1 + n)}.$$

The OP then complains that he wants a bound in $n$ and $k$ (which was already given). The OP askes whether the asymptotic above was found in the following way: "Are you simply using the fact that the root would occur roughly twice as far as the turning point?" No --- mathematics was used at this point.

The OP says that he simply wants an upper bound on the real part of each root. Since the real part of the real root $z_k$ is itself, this question has already been answered. The asymptotic result shows it is impossible to impove this bound significantly.

It's hard to tell if the problem with the OP's repeated questions involve English, Mathematics, or both. In either case, this has already wasted 15 minutes of my time. To paraphrase Zagier, that's the equivalent of 15 days of the OP's time. Feel free to edit this post to make it more "civil".

-
I got the same bound via a different method. I looked at fixing the complex part of z and taking the partial derivative of g(z) with respect to the real part. The first turning point to the left of the root at z=1 is at 1-(1-kn)/((1+n) = (1+k)/(1+n^(-1)). The fact that this is where the turning point lies motivates the fact that there is still some more room to push to the left of this value where a root cannot lie. –  user4230 Feb 24 '10 at 23:01
I would like a bound in terms of k and/or n. One which would work whether or not k is close to 1/n. My method was different in the sense that I took partial derivatives which would tell you the effect of fixing different values for the complex part. Are you simply using the fact that the root would occur roughly twice as far as the turning point? I would like a better lower bound of |1-z_k| where |z_k| is the largest root with positive real part (better than (1-kn)/(1+n) I mean). I actually simply want to find an upper bound on the real part of any root. i.e find an upper bound for p where... –  user4230 Feb 25 '10 at 11:37
...z=p+iq is a root and p,q are real. However it seems more natural to consider |z|. I hope this makes more sense. –  user4230 Feb 25 '10 at 11:37
Out of curiosity: what is the original phrase of Zagier you are paraphrasing? –  Mariano Suárez-Alvarez Feb 25 '10 at 22:11
There is a saying about Zagier (although I don't know if it originates with him) that one day of his time is a week of anybody else's time. –  Emerton Feb 25 '10 at 23:39
I don't know about any further boundings, but n = 3 and k = 1/4, or polynomial $4z^3 - z^2-z-1 = 0$ has a solution (1/12 + 1/12 (235 - 6 Sqrt[1473])^(1/3) + 1/12 (235 + 6 Sqrt[1473])^(1/3)), whose absolute value is ~ 0.868877, which is greater than 1-k. Other {n,k} pairs are {2,3}, {4,6}, and {5,6}.