Problem 12 - Complex Analysis

Question

Lemma on polynomial growth Let \(P\) be a nonconstant polynomial of degree \(n\) : $$ P(z)=a_{n} z^{n}+\cdots+a_{0}, \quad a_{\nu} \in \mathbb{C}, 0 \leq \nu \leq n, n \geq 1, a_{n} \neq 0 $$ Then, for all \(z \in \mathbb{C}\) with the property $$ |z| \geq \varrho:=\max \left\\{1, \frac{2}{\left|a_{n}\right|} \sum_{\nu=0}^{n-1}\left|a_{\nu}\right|\right\\} $$ we have. $$ \frac{1}{2}\left|a_{n}\right||z|^{n} \leq|P(z)| \leq \frac{3}{2}\left|a_{n}\right||z|^{n} $$ Corollary. Any root of the polynomial \(P\) lies in the open disk with radius \(\rho\) centered at the origin.

Step-by-Step Solution

Answer

Roots lie inside the disk with radius \( \varrho \).

Step 1: Analyzing the Given Polynomial

The given polynomial is $$ P(z) = a_n z^n + a_{n-1} z^{n-1} + \ \cdots + a_1 z + a_0 $$ where the degree of the polynomial, denoted as \( n \), is the highest power of \( z \) with a non-zero coefficient \( a_n \). This step sets the polynomial in standard form and identifies its characteristics.

Step 2: Determine the Value of \( \varrho \)

Compute \( \varrho \) according to the formula $$ \varrho = \max \left\{ 1, \frac{2}{|a_n|}\sum_{u=0}^{n-1}|a_{u}| \right\} $$ by adding up the absolute values of the coefficients up to the second last term \( a_{n-1} \) and dividing by \(|a_n|\). This defines the boundary for where the inequality for \(|P(z)|\) applies.

Step 3: Estimate \(|P(z)|\) for \(|z| \geq \varrho\)

For \( |z| \geq \varrho \), estimate \(|P(z)|\) by noting that the dominant term becomes \( a_n z^n \), and smaller terms influence \(|P(z)|\) to a lesser extent. Thus,\[\frac{1}{2} |a_n| |z|^n \leq |P(z)| \leq \frac{3}{2} |a_n| |z|^n\]This inequality describes the growth of the polynomial at large magnitudes of \( z \).

Step 4: Establishing Bounds on Roots from Corollary

From the corollary, if \(|z| \geq \varrho\), the inequality ensures \(|P(z)| eq 0\), implying roots must lie within \(|z| < \varrho\). Therefore, any root \( z \) of the polynomial \( P \) must be located within the open disk of radius \( \varrho \) centered at the origin.

Key Concepts

Polynomial Growth Analysis

In complex analysis, understanding how polynomials grow is crucial for many applications. Let's consider a polynomial function, denoted by \( P(z) \), which is composed of complex coefficients. Growth is fundamentally about how the value of a polynomial behaves as the input variable \( z \) increases in magnitude. For a polynomial of degree \( n \), the term with the highest power, \( a_n z^n \), dictates the growth rate as \( z \) becomes very large. Other terms become negligible in comparison.

### Examining \( |P(z)| \) for Large \( |z| \)When \( |z| \) gets large enough, say beyond a certain cutoff \( \varrho \), we can establish bounds on \( |P(z)| \). Specifically, we find that if \( |z| \) exceeds \( \varrho \), then \( |P(z)|\) falls within the range:

• Lower bound: \( \frac{1}{2}|a_{n}||z|^{n} \)
• Upper bound: \( \frac{3}{2}|a_{n}||z|^{n} \)

This provides a practical guide to predicting the behavior of the polynomial at large magnitudes of \( z \). The term \( \varrho \) is derived by utilizing the coefficients of all terms but ensuring the dominance of the leading term for optimal estimation.

Root Estimation Techniques

Finding the roots, or the zeros, of a polynomial is a central task in mathematics. For any polynomial \( P(z) \), the roots are the complex numbers \( z \) for which \( P(z) = 0 \). Based on our earlier discussion on polynomial growth, if \( |z| \) is greater than \( \varrho \), then \( |P(z)| \) cannot be zero. This implies that the roots should lie within the open disk centered at the origin, with radius \( \varrho \).

### How to Find \( \varrho \)?To determine this radius, sum the absolute values of all coefficients except the leading term, and divide the sum by the absolute value of the leading coefficient. Compare the result to 1, and use the maximum of these two values as \( \varrho \). This ensures that the estimation effectively encompasses all roots. Such a method provides a reliable boundary within which all potential roots can be located.

• \( \varrho = \max \left\{ 1, \frac{2}{|a_n|}\sum_{u=0}^{n-1}|a_{u}| \right\} \)

Complex Analysis Insights

Complex analysis offers valuable insights into polynomial behavior. It allows us to transition from elementary algebraic roots and growth to a comprehensive understanding of how complex variables influence polynomial functions.

### Understanding the Role of \( z \)In this context, \( z \) not only serves as a variable but also indicates positioning in the complex plane. Complex analysis uses techniques such as contour integration and residue theorem to further analyze polynomial functions, offering deeper insights beyond simple growth or root calculations.

• Polynomials are illustrations of how functions behave globally within the complex plane.
• The significance of understanding \( P(z) \) at large scales aids in estimating how an analytic function evolves as its variable changes.

Ultimately, this branch of mathematics connects the dots between practical applications and theoretical underpinnings, making it invaluable for both problem-solving and theory development.