A review of the Separation Theorem of Chebyshev-Markov-Stieltjes for polynomial and some rational Krylov subspaces

TL;DR

This paper reviews the classical Separation Theorem of Chebyshev-Markov-Stieltjes and extends it to rational Krylov subspaces, introducing new theorems for rational Gaussian quadrature with a single pole.

Contribution

It provides a comprehensive review of separation theorems in the context of Krylov and rational Krylov subspaces, including new theorems for rational Gaussian quadrature.

Findings

Separation theorems are extended to rational Krylov subspaces.

New separation theorems are introduced for rational Gaussian quadrature with a single pole.

The work links spectral distribution, orthogonal polynomials, and quadrature bounds.

Abstract

The accumulated quadrature weights of Gaussian quadrature formulae constitute bounds on the integral over the intervals between the quadrature nodes. Classical results in this concern date back to works of Chebyshev, Markov and Stieltjes and are referred to as Separation Theorem of Chebyshev-Markov-Stieltjes (CMS Theorem). Similar separation theorems hold true for some classes of rational Gaussian quadrature. The Krylov subspace for a given matrix and initial vector is closely related to orthogonal polynomials associated with the spectral distribution of the initial vector in the eigenbasis of the given matrix, and Gaussian quadrature for the Riemann-Stielthes integral associated with this spectral distribution. Similar relations hold true for rational Krylov subspaces. In the present work, separation theorems are reviewed in the context of Krylov subspaces including rational Krylov subspaces with a single complex pole of higher multiplicity and some extended Krylov subspaces. For rational Gaussian quadrature related to some classes of rational Krylov subspaces with a single pole, the underlying separation theorems are newly introduced here.