Expansivity theory and proof of Sendov's conjecture (1907.12825v4)

Abstract: In this paper we introduce and develop the concept of expansivity of a tuple whose entries are elements from the polynomial ring $\mathbb{C}[x]$. As an inverse problem, we examine how to recover a tuple from the expanded tuple at any given phase of expansion. We convert the celebrated Sendov conjecture concerning the distribution of zeros of polynomials and their critical points into this language and prove some weak variants of this conjecture. We also apply this to the existence of solutions to differential equations. In particular, we show that a certain system of differential equation has no non-trivial solution. As an application we give a proof of Sendov's conjecture. We start by establishing the uniformly diminishing state of the mass of an expansion.