On the well-posedness of the rational covariance extension problem
Christopher I. Byrnes,Henry J. Landau,Anders Lindquist
DOI: https://doi.org/10.1007/978-1-4612-2012-1_13
1997-01-01
Abstract:In this paper, we give a new proof of the solution of the rational covari- ance extension problem, an interpolation problem with historical roots in potential theory, and with recent application in speech synthesis, spectral estimation, stochas- tic systems theory, and systems identification. The heart of this problem is to pa- rameterize, in useful systems theoretical terms, all rational, (strictly) positive real functions havinga specified window of Laurent coefficients and a bounded degree. In the early 1980's, Georgiou used degree theory to show, for any fixed "Laurent win- dow", that to each Schur polynomial there exists, in an intuitive systems-theoretic manner, a solution of the rational covariance extension problem. He also conjec- tured that this solution would be unique, so that the space of Schur polynomials would parameterize the solution set in a very useful form. In a recent paper, this problem was solved as a corollary to a theorem concerning the global geometry of rational, positive real functions. This corollary also asserts that the solutions are analytic functions of the Schur polynomials. After giving an historical motivation and a survey of the rational covariance extension problem, we give a proof that the rational covariance extension problem is well-posed in the sense of Hadamard, i.e a proof of existence, uniqueness and continuity of solutions with respect to the problem data. While analytic dependence on the problem data is stronger than continuity , this proof is much more streamlined and also applies to a broader class of nonlinear problems. The paper concludes with a discussion of open problems.