Abstract
Computing the roots of a univariate polynomial can be reduced to computing the eigenvalues of an associated companion matrix. For the monomial basis, these computations have been shown to be numerically stable under certain conditions. However, for certain applications, polynomials are more naturally expressed in other bases, such as the Lagrange basis or orthogonal polynomial bases. For the Lagrange basis, the equivalent stability results have not been published. We show that computing the roots of a polynomial expressed in barycentric form via the eigenvalues of an associated companion matrix pair is numerically stable, and give a bound for the backward error. Numerical experiments show that the error bound is approximately an order of magnitude larger than the backward error. We also discuss the matter of scaling and balancing the companion matrix to bring it closer to a normal pair. With balancing, we are able to produce roots with small backward error.
Similar content being viewed by others
References
Amiraslani, A., Corless, R.M., Gonzalez-Vega, L., Shakoori, A.: Polynomial Algebra by Values. Tech. Rep. TR-04-01, Ontario Research Centre for Computer Algebra (2004). http://www.orcca.on.ca/TechReports
Anderson, E., Bai, Z., Bischof, C., Blackford, S., Demmel, J., Dongarra, J., Du Croz, J., Greenbaum, A., Hammarling, S., McKenney, A., Sorensen, D.: LAPACK Users’ Guide, 3rd edn. SIAM, Philadelphia (1999)
Arnold, V.I.: On matrices depending on parameters. Russ. Math. Surv. 26, 29–43 (1971)
Berrut, J.-P.: Rational functions for guaranteed and experimentally well-conditioned global interpolation. Comput. Math. Appl. 15, 1–16 (1988)
Berrut, J.-P., Trefethen, L.N.: Barycentric Lagrange interpolation. SIAM Rev. 46, 501–517 (2004)
Corless, R.M.: Generalized companion matrices in the Lagrange basis. In: Gonzalez-Vega, L., Recio, T. (eds.) Proceedings EACA, pp. 317–322 (2004)
Corless, R.M.: On a generalized companion matrix pencil for matrix polynomials expressed in the lagrange basis. In: Wang, D., Zhi, L. (eds.) Symbolic-Numeric Computation, pp. 1–15. Trends in Mathematics, Birkhäuser Basel (2007)
Corless, R.M., Watt, S.M.: Bernstein bases are optimal, but, sometimes, Lagrange bases are better. In: Proceedings of SYNASC, pp. 141–153. MIRTON, Timisoara (2004)
Day, D., Romero, L.: Roots of polynomials expressed in terms of orthogonal polynomials. SIAM J. Numer. Anal. 43, 1969 (2005)
Edelman, A., Murakami, H.: Polynomial roots from companion matrix eigenvalues. Math. Comput. 64, 763–776 (1995)
Elsner, L., Rózsa, P.: On eigenvectors and adjoints of modified matrices. Linear Multilinear Algebra 10, 235–247 (1981)
Golberg, M.: The derivative of a determinant. Am. Math. Mon. 79, 1124–1126 (1972)
Good, I.J.: The colleague matrix, a Chebyshev analogue of the companion matrix. Q. J. Math. 12, 61–68 (1961)
Graham, R.L., Knuth, D.E., Patashnik, O.: Concrete Mathematics: A Foundation for Computer Science, 2nd edn. Addison-Wesley Longman, Boston (1994)
Higham, N., Li, R., Tisseur, F.: Backward error of polynomial eigenproblems solved by linearization. SIAM J. Matrix Anal. Appl. 29, 1218–1241 (2008)
Lawrence, P.W.: Fast reduction of generalized companion matrix pairs for barycentric lagrange interpolants. SIAM J. Matrix Anal. Appl. 34, 1277–1300 (2013)
Lawrence, P.W., Corless, R.M.: Numerical stability of barycentric Hermite root-finding. In: Proceedings of the 2011 International Workshop on Symbolic-Numeric Computation, pp. 147–148. ACM (2012)
Lemonnier, D., Van Dooren, P.: Optimal scaling of block companion pencils. In: International Symposium on Mathematical Theory of Networks and Systems. Leuven (2004)
Lemonnier, D., Van Dooren, P.: Balancing regular matrix pencils. SIAM J. Matrix Anal. Appl. 28, 253–263 (2006)
Moler, C.: Cleve’s corner: Roots-of polynomials, that is. Math. Work. Newsl. 5, 8–9 (1991)
Parlett, B., Reinsch, C.: Balancing a matrix for calculation of eigenvalues and eigenvectors. Numer. Math. 13, 293–304 (1969)
Specht, W.: Die lage der nullstellen eines polynoms. III. Math. Nachr. 16, 369–389 (1957)
Toh, K.-C., Trefethen, L.N.: Pseudozeros of polynomials and pseudospectra of companion matrices. Numer. Math. 68, 403–425 (1994)
Trefethen, L.N.: Approximation theory and approximation practice. Society for Industrial and Applied Mathematics (2012)
Ward, R.C.: Balancing the generalized eigenvalue problem. SIAM J. Sci. Stat. Comput. 2, 141–152 (1981)
Watkins, D.S.: The Matrix Eigenvalue Problem: GR and Krylov Subspace Methods. Society for Industrial and Applied Mathematics (2007)
Wilkinson, J.: The evaluation of the zeros of ill-conditioned polynomials. Part II. Numer. Math. 1, 167–180 (1959)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Lawrence, P.W., Corless, R.M. Stability of rootfinding for barycentric Lagrange interpolants. Numer Algor 65, 447–464 (2014). https://doi.org/10.1007/s11075-013-9770-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11075-013-9770-3
Keywords
- Stability
- Backward error
- Lagrange interpolation
- Barycentric formula
- Generalized companion matrices
- Polynomial roots
- Eigenvalue problem