[Math] “growth lemma” in complex analysis

complex-analysis

When I'm reading Complex Analysis by Elias M.Stein, I met a question on the proof of the fundamental theorem of algebra. Stein says,

Since each term in the parentheses goes to $0$ as $\vert z\vert \to \infty$ we conclude that there exists $R>0 $ so that if $c=\vert a_n\vert /2$, then
\begin{array}{cc}
| P(z)|\geq c| z|^n, \text{ whenever } |z|>R.\\
\end{array}
where $P(z)$ is a non-constant polynomial $P(z)=a_nz^n+\cdots+a_0$ with complex coefficients.

I searched on wiki and found what he said is likely called growth lemma, I could hardly find something helpful about "growth lemma". I'm curious about its proof. I don't know how could they, Stein and wiki, come to this conclusion. Why $c$ is $|a_n|/2$ but not a quarter or else? Who could help me?

Best Answer

His statement is a precise way of saying that the leading term of a polynomial dominates for large enough $|z|$. Assume $a_{n}\ne 0$. For the polynomial in question, whenever $0 < r \le |z|$, one has $1 \le |z|/r$ and $$ \begin{align} |a_{n-1}z^{n-1}+\cdots+a_{0}| & \le |a_{n-1}||z|^{n-1}+\cdots+|a_{0}| \\ & \le \left(\frac{|a_{n-1}|}{r} +\frac{|a_{n-2}|}{r^{2}} +\cdots+\frac{|a_{0}|}{r^{n}}\right)|z|^{n} \end{align} $$ The term in parentheses in the last expression tends to 0 as $r\rightarrow \infty$. So you can choose $R$ large enough that this term is bounded by $|a_{n}|/2$ for $r > R$. Then, for $r > R$, $$ |P(z)| \ge |a_{n}||z|^{n}-|a_{n-1}z^{n-1}+\cdots a_{0}| > |a_{n}||z|^{n}-\frac{|a_{n}|}{2}|z|^{n} \ge \frac{|a_{n}|}{2}|z|^{n},\;\; |z| > R. $$

Related Question