Powersum formula for polynomials whose distinct roots are differentially independent over constants (Q1864252)

Summary: We prove that the author's powersum formula yields a nonzero expression for a particular linear ordinary differential equation, called a resolvent, associated with a univariate polynomial whose coefficients lie in a differential field of characteristic zero provided the distinct roots of the polynomial are differentially independent over constants. By definition, the terms of a resolvent lie in the differential field generated by the coefficients of the polynomial, and each of the roots of the polynomial are solutions of the resolvent. One example shows how the powersum formula works. Another example shows how the proof that the formula is not zero works.