English

Subresultants of $(x-\alpha)^m$ and $(x-\beta)^n$, Jacobi polynomials and complexity

Symbolic Computation 2019-10-08 v2 Classical Analysis and ODEs

Abstract

In an earlier article together with Carlos D'Andrea [BDKSV2017], we described explicit expressions for the coefficients of the order-dd polynomial subresultant of (xα)m(x-\alpha)^m and (xβ)n(x-\beta)^n with respect to Bernstein's set of polynomials {(xα)j(xβ)dj,0jd}\{(x-\alpha)^j(x-\beta)^{d-j}, \, 0\le j\le d\}, for 0d<min{m,n}0\le d<\min\{m, n\}. The current paper further develops the study of these structured polynomials and shows that the coefficients of the subresultants of (xα)m(x-\alpha)^m and (xβ)n(x-\beta)^n with respect to the monomial basis can be computed in linear arithmetic complexity, which is faster than for arbitrary polynomials. The result is obtained as a consequence of the amazing though seemingly unnoticed fact that these subresultants are scalar multiples of Jacobi polynomials up to an affine change of variables.

Keywords

Cite

@article{arxiv.1812.11789,
  title  = {Subresultants of $(x-\alpha)^m$ and $(x-\beta)^n$, Jacobi polynomials and complexity},
  author = {A. Bostan and T. Krick and A. Szanto and M. Valdettaro},
  journal= {arXiv preprint arXiv:1812.11789},
  year   = {2019}
}

Comments

34 pages, accepted for publication in Journal of Symbolic Computation