Problem 8 - Complex Analysis

Question

Gauss-Lucas Theorem (C.F. GAuss, 1816; F. LUCAS, 1879) Let \(P\) be a complex polynomial of degree \(n \geq 1\), with \(n\) not necessarily different zeros \(\zeta_{1}, \ldots, \zeta_{n} \in \mathbb{C} .\) Show that for all \(z \in \mathbb{C} \backslash\left\\{\zeta_{1}, \ldots, \zeta_{n}\right\\}\) $$ \frac{P^{\prime}(z)}{P(z)}=\frac{1}{z-\zeta_{1}}+\frac{1}{z-\zeta_{2}}+\cdots+\frac{1}{z-\zeta_{n}}=\sum_{\nu=1}^{n} \frac{\overline{z-\zeta_{\nu}}}{\left|z-\zeta_{\nu}\right|^{2}} $$ Deduce from this the GAUSS-LUCAS theorem: For each zero \(\zeta\) of \(P^{\prime}\) there are \(n\) real numbers \(\lambda_{1}, \ldots, \lambda_{n}\) with $$ \lambda_{1} \geq 0, \ldots, \lambda_{n} \geq 0, \quad \sum_{j=1}^{n} \lambda_{j}=1 \text { and } \zeta=\sum_{\nu=1}^{n} \lambda_{\nu} \zeta_{\nu} $$ Thus one can say: The zeros of \(P^{\prime}\) lie in the "convex hull" of the zero set of \(P\).

Step-by-Step Solution

Answer

The zeros of \(P'\) are in the convex hull of the zeros of \(P\).

Step 1: Express the logarithmic derivative of P

Start with the logarithmic derivative of a polynomial \( P(z) \) with zeros \( \zeta_1, \zeta_2, \ldots, \zeta_n \). The logarithmic derivative is given by:\[ \frac{P'(z)}{P(z)} = \sum_{u=1}^{n} \frac{1}{z - \zeta_{u}} \]This expression sums up the contributions from each zero of the polynomial at a point \( z \).

Step 2: Rewrite in terms of complex conjugates

For each term in the sum, rewrite it as:\[ \frac{1}{z - \zeta_{u}} = \frac{\overline{z - \zeta_{u}}}{|z - \zeta_{u}|^2}\]This form uses the identity \( \frac{1}{z} = \frac{\overline{z}}{|z|^2} \) for complex numbers, now expressing each term in terms of complex conjugates.

Step 3: Understand the expression

Both forms\[ \frac{P'(z)}{P(z)} = \sum_{u=1}^{n} \frac{1}{z - \zeta_{u}} = \sum_{u=1}^{n} \frac{\overline{z - \zeta_{u}}}{|z - \zeta_{u}|^2} \]represent the same concept: the location advantage of \( P'(z) \) with respect to each zero of \( P(z) \), expressed either as a sum of reciprocals of distances, or using complex conjugates and magnitudes.

Step 4: Apply the Gauss-Lucas Theorem

To deduce the Gauss-Lucas theorem, consider the critical points of the polynomial, which are the roots of \( P'(z) \). For each zero \( \zeta \) of \( P'(z) \), there exist coefficients \( \lambda_{u} \), which represent non-negative weights that sum to 1:\[ \sum_{u=1}^{n} \lambda_{u} \zeta_{u} = \zeta, ~\lambda_{u} \geq 0, ~\sum_{u=1}^{n} \lambda_{u} = 1\]Thus, \( \zeta \) lies in the weighted combination of the zeros of \( P(z) \), confining it within their convex hull.

Key Concepts

Complex Polynomials

Complex polynomials are fascinating mathematical expressions composed of terms with complex coefficients. If a polynomial has complex coefficients, it means that the polynomial can have solutions in the complex plane, rather than just the real line.
Polynomials typically look like this:

• \( P(z) = a_n z^n + a_{n-1} z^{n-1} + \ldots + a_1 z + a_0 \)

Here, \( a_i \) are complex numbers, and \( z \) is the variable, which could also be a complex number.
Complex polynomials have several zeros—points where \( P(z) = 0 \)—that are not limited to the real numbers. These zeros can be visualized in the two-dimensional complex plane, which consists of a real and an imaginary axis.
Understanding complex polynomials lays the foundation for exploring intricate theorems like the Gauss-Lucas theorem, which involves both zeros and derivatives of these polynomials.

Zeros of a Polynomial

The zeros of a polynomial are the solutions where the polynomial equals zero. These zeros are critical to understanding the behavior and graph of the polynomial function. Each zero represents a point on the complex plane, and for a polynomial of degree \( n \), there are \( n \) zeros, considering their multiplicities.
For example, if \( P(z) = (z - \zeta_1)(z - \zeta_2) \ldots (z - \zeta_n) \), the zeros are \( \zeta_1, \zeta_2, \ldots, \zeta_n \). These points give us a lot of information about how the graph of \( P \) crosses the axes.
The distribution of these zeros impacts both the shape and critical points of the polynomial. What's intriguing is that the zeros form the cornerstone of the Gauss-Lucas theorem, which utilizes them to establish the relationship between zeros of \( P(z) \) and its derivative \( P'(z) \).

Convex Hull

The concept of a convex hull is important in geometry and relevant in the study of polynomials through the Gauss-Lucas theorem. The convex hull is the smallest convex shape that can contain a set of given points. It’s like stretching a rubber band around all the points and letting it go to snap into the smallest shape.
For a set of points \( \zeta_1, \zeta_2, \ldots, \zeta_n \) on the complex plane, their convex hull is essentially the polygon formed by the minimum bounding perimeter.
According to the Gauss-Lucas theorem, the zeros of the polynomial derivative \( P'(z) \) are contained within the convex hull of the zeros of \( P(z) \). This underlines a pivotal connection between these two sets of points, mapping the progression from zeros to critical points.

Critical Points

Critical points of a polynomial are values of \( z \) where the derivative \( P'(z) = 0 \). These points indicate local maxima or minima and inflection points of the polynomial graph.
In the context of the Gauss-Lucas theorem, these critical points provide key insights because they all lie within the convex hull of the polynomial's zeros.

• The theorem leverages this to depict the geometric arrangement of critical points based on their relationship to the zeros.

For example, if a complex polynomial \( P(z) \) has zeros at points \( \zeta_1, \zeta_2, \ldots, \zeta_n \), any zero of \( P'(z) \) can be expressed as a weighted average of these zeros, ensuring it remains within their convex hull.
Understanding these points is essential to comprehending not just polynomial behavior but also the powerful implications of the Gauss-Lucas theorem.