Powersum formula for differential resolvents (Q1774666)

Summary: We will prove that we can specialize the indeterminate \(\alpha\) in a linear differential \(\alpha\)-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 \(\alpha\)-resolvent. Finally, we use the powersum formula to rediscover Cockle's differential resolvent of a cubic trinomial.