Powersum Formula for Polynomials Whose Distinct Roots Are Differentially Independent over Constants
نویسنده
چکیده
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.
منابع مشابه
Differential resolvents of minimal order and weight
We will determine the number of powers of α that appear with nonzero coefficient in an α-power linear differential resolvent of smallest possible order of a univariate polynomial P(t) whose coefficients lie in an ordinary differential field and whose distinct roots are differentially independent over constants. We will then give an upper bound on the weight of an α-resolvent of smallest possibl...
متن کاملA partial factorization of the powersum formula
For any univariate polynomial P whose coefficients lie in an ordinary differential field F of characteristic zero, and for any constant indeterminate α, there exists a nonunique nonzero linear ordinary differential operator R of finite order such that the αth power of each root of P is a solution of Rzα = 0, and the coefficient functions of R all lie in the differential ring generated by the co...
متن کاملOn Hensel’s Roots and a Factorization Formula in Z[[x]]
Given an odd prime p, we provide formulas for the Hensel lifts of polynomial roots modulo p, and give an explicit factorization over the ring of formal power series with integer coe cients for certain reducible polynomials whose constant term is of the form pw with w > 1. All of our formulas are given in terms of partial Bell polynomials and rely on the inversion formula of Lagrange.
متن کاملPowersum formula for differential resolvents
We will prove that we can specialize the indeterminate α in a linear differential α-resolvent of a univariate polynomial over a differential field of characteristic zero to an integer q to obtain a q-resolvent. We use this idea to obtain a formula, known as the powersum formula, for the terms of theα-resolvent. Finally, we use the powersum formula to rediscover Cockle’s differential resolvent o...
متن کاملOn Q-Derived Polynomials
It is known that Q-derived univariate polynomials (polynomials defined over Q, with the property that they and all their derivatives have all their roots in Q) can be completely classified subject to two conjectures: that no quartic with four distinct roots is Q-derived, and that no quintic with a triple root and two other distinct roots is Q-derived. We prove the second of these conjectures. A...
متن کامل