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 po...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Hindawi Limited
2002-01-01
|
| Series: | International Journal of Mathematics and Mathematical Sciences |
| Online Access: | http://dx.doi.org/10.1155/S0161171202202331 |
| 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. |
|---|---|
| ISSN: | 0161-1712 1687-0425 |