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 $$ \begin{array}{|c} |z| \geq \varrho:=\max \left\\{1, \frac{2}{\left|a_{n}\right|} \sum_{\nu=0}^{n-1}\left|a_{\nu}\right|\right\\} \text { holds: } \\ \qquad \frac{1}{2}\left|a_{n}\right||z|^{n} \leq|P(z)| \leq \frac{3}{2}\left|a_{n}\right||z|^{n} . \end{array} $$ Corollary: Any root of the polynomial \(P\) lies in the open ball with radius \(\rho\) centered in origin.

Step-by-Step Solution

Answer

Roots of \(P\) lie within the open ball of radius \(\varrho\).

Step 1: Understanding the Polynomial

First, understand that the polynomial \(P(z)\) is given by \(P(z) = a_n z^n + a_{n-1} z^{n-1} + \cdots + a_0\), where \(a_n\) is the leading coefficient and \(n\) is the degree of the polynomial. It is important to note that \(a_n eq 0\) and \(n \geq 1\).

Step 2: Defining the Radius \(\varrho\)

Calculate the critical radius \(\varrho\) based on the expression provided: \[\varrho = \max \left\{1, \frac{2}{|a_n|} \sum_{u=0}^{n-1}|a_u|\right\}.\] This radius \(\varrho\) serves as a threshold beyond which the approximation for the polynomial's growth becomes valid.

Step 3: Establishing the Boundaries for |P(z)|

When \(|z| \geq \varrho\), the polynomial's value \(|P(z)|\) is bounded by:\[ \frac{1}{2}|a_n||z|^n \leq |P(z)| \leq \frac{3}{2}|a_n||z|^n. \] This informs us of how \(P(z)\) behaves for larger values of \(|z|\).

Step 4: Applying the Corollary to Roots

The corollary states that all roots of \(P\) must lie within the open ball centered at the origin with radius \(\varrho\). This conclusion is based on the fact that outside this radius, the polynomial's absolute value would be too large for \(|P(z)| = 0\), which is the condition for a root.

Key Concepts

Complex Polynomials

Complex polynomials are expressions that involve variables, coefficients, and the operations of addition, subtraction, and multiplication. These coefficients can be complex numbers, which are numbers of the form \(a + bi\), where \(a\) and \(b\) are real numbers and \(i\) is the imaginary unit, satisfying \(i^2 = -1\).

A complex polynomial like \(P(z) = a_nz^n + a_{n-1}z^{n-1} + \cdots + a_0\) is characterized by its highest power of \(z\), which is what primarily influences its behavior as \(z\) becomes very large in magnitude.

• The term \(a_n z^n\) is known as the dominant term at large values of \(|z|\) because it grows much faster than the other terms as \(|z|\) increases.
• The polynomial's degree and leading coefficient \(a_n\) play a crucial role in determining its growth and bounding behavior, especially with respect to its roots and overall magnitude.

Polynomial Degree

The degree of a polynomial is a fundamental concept that determines many of its properties, such as its shape and the number of roots it can have. Specifically, the degree of the polynomial \(P(z) = a_n z^n + a_{n-1} z^{n-1} + \cdots + a_0\) is \(n\), the highest power of \(z\) in the polynomial with a non-zero coefficient.

Understanding polynomial degree helps in:

• Predicting the behavior of the polynomial at infinity. For large \(|z|\), the term \(a_n z^n\) will dominate, guiding the function's growth pattern.
• Identifying the maximum number of roots the polynomial can have, since a polynomial of degree \(n\) can have at most \(n\) roots.
• Analyzing different properties such as symmetry, turning points, as well as intersections with the axes.

Bounding Properties of Polynomials

The bounding properties of polynomials are crucial for understanding their behavior, especially in terms of their growth and root location. The given lemma showcases how we can establish lower and upper bounds for the polynomial \(P(z)\) based on its degree and leading coefficient.

For a nonconstant polynomial of degree \(n\), there's a radius \(\varrho\) defined as:
\[\varrho = \max \left\{ 1, \frac{2}{|a_n|} \sum_{u=0}^{n-1}|a_{u}| \right\}\]
where beyond this radius, \(|P(z)|\) can be bounded as:
\[\frac{1}{2}|a_n||z|^n \leq |P(z)| \leq \frac{3}{2}|a_n||z|^n\]
This implies:

• As \(|z|\) becomes larger than \(\varrho\), the behavior of \(P(z)\) is primarily driven by the dominant term \(a_n z^n\), simplifying future predictions of its magnitude.
• The corollary indicates that roots of the polynomial cannot lie outside the disc with radius \(\varrho\), since outside this region, the polynomial's value is too large to equal zero.

This bound assists in visualizing the polynomial's overall shape and understanding its potential extrema, which are important in fields ranging from analysis to applied mathematics.