[complex functions] polynomial roots in a convex hull

Click For Summary
SUMMARY

The discussion centers on proving that the roots of the derivative polynomial W'(z) lie within the convex hull of the roots of the original polynomial W(z), which has complex coefficients. The user, rahl, seeks clarification on the definition of the convex hull and proposes a method involving Vieta's formulas to express the roots of W'(z) in terms of the roots of W(z). Rahl expresses uncertainty about the complexity of the calculations and hints at a desire for a simpler proof method. The user also indicates they have found a solution and plans to share it in the thread.

PREREQUISITES
  • Understanding of complex polynomials and their roots
  • Familiarity with Vieta's formulas
  • Knowledge of convex hulls in mathematical analysis
  • Basic calculus and polynomial differentiation
NEXT STEPS
  • Study the properties of convex hulls in complex analysis
  • Explore Vieta's formulas in-depth for polynomial relationships
  • Learn about polynomial differentiation techniques
  • Research simpler proof methods for polynomial root properties
USEFUL FOR

Mathematicians, students studying complex analysis, and anyone interested in polynomial root behavior and convex geometry.

rahl___
Messages
10
Reaction score
0
Hi everyone,

I've got this problem to solve:

Let W(z) be a polynomial with complex coefficients and complex roots. Show that the roots of W'(z) are in a convex hull of the set of roots of W(z).

My problem is that I don't fully understand the question.

I have found such definition of convex hull:
Given a set of points (z_1, z_2, ..., z_n), we denote convex hull as:
conv(z_1, z_2, ..., z_n) = \{ z = \sum_{k=1}^n \beta_k z_k : \beta_k \in [0,1], \sum_{k=1}^n \beta_k = 1 \}
So I do have to prove, that all the roots of W'(z) [let's denote them as z'_k] must be able to be written in such form:
z'_k = \sum_{k=1}^n \beta_k z_k, where \beta_k are satysfying the conditionsof convex hull and z_k are the roots of W(z).
Am i right?

If so, I thought about this kind of sollution:
we assume that what we have to prove is true, so we can write the roots of W'(z) as:
z'_j = \sum_{k=1}^n \beta_k^{(j)} z_k
Now we write down W'(z) using viete's formulas:
W'(z) = n a_n z^{n-1} - n a_n ( \sum_j \sum_k \beta_k^{(j)} z_k ) z^_{n-2} + n a_n \sum_{i<j} ( \sum_k \beta_k^{(i)} z_k ) ( \sum_k \beta_k^{(j)} z_k ) z^{n-3} - ... + n a_n \prod_j \sum_k \beta_k^{(j)} z_k [dont know why the second part of the equation landed little higher that the first one, sorry for that]
and compare it to the polynomial we get when multyplying W(z) by \sum_k {1} / (z-z_k). What do you think of it? I've tried to do this, but the calculus grow pretty vast and I feel that there is a simplier method of proving this.

I would appreciate if you could tell me wheter I understand the question right and if my idea of solving it looks fine.

thanks for your time,
rahl.
 
Last edited:
Physics news on Phys.org
I have found the solution. If no one deletes this thread, I will write how to solve it, maybe it will help someone some day.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
601
  • · Replies 5 ·
Replies
5
Views
2K
Replies
27
Views
5K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
Replies
39
Views
6K