Matrix Rational H 2 Approximation: A Gradient Algorithm Based on Schur Analysis

This paper deals with the rational approximation of specified order n to transfer functions which are assumed to be matrix-valued functions in the Hardy space for the complement of the closed unit disk endowed with the L2-norm. An approach is developed leading to a new algorithm, the first one to our knowledge which concerns matrix-transfer functions in L2-norm. This approach generalizes the ideas presented in [L. Baratchart, M. Cardelli, and M. Olivi, Automatica, 27(1991), pp. 413--418] in the scalar case but involves substantial new difficulties. Using the Douglas--Shapiro--Shields factorization of transfer functions, the criterion for the rational approximation problem above is expressed in terms of inner matrix functions of McMillan degree n. These functions, which possess a manifold structure, are represented by means of local coordinate maps obtained in [D. Alpay, L. Baratchart, and A. Gombani, Oper. Theory Adv. Appl., 73(1994), pp. 30--66] from a tangential Schur algorithm and for which the coordinates range over n copies of the unit ball. A gradient algorithm is then employed to solve the approximation problem using the coordinate maps to describe the manifold locally and changing from one coordinate map to another when required. However, while processing the gradient algorithm a boundary point can be reached. It is proved that such a point can be considered as an initial point for searching for a local minimum of lower degree while a local minimum of McMillan degree k < n provides a starting point for searching for a local minimum at degree k+1. The minimization process then pursues through different degrees. The convergence of this algorithm to a local minimum of appropriate degree is proved and demonstrated on a simple example.

[1]  D. Alpay,et al.  Hilbert spaces of analytic functions, inverse scattering and operator models.I , 1984 .

[2]  D. Wilson Optimum solution of model-reduction problem , 1970 .

[3]  Laurent Baratchart,et al.  On the differential structure of matrix-valued rational inner functions , 1992 .

[4]  Laurent Schwartz,et al.  Sous-espaces hilbertiens d’espaces vectoriels topologiques et noyaux associés (Noyaux reproduisants) , 1964 .

[5]  P. Fuhrmann Linear Systems and Operators in Hilbert Space , 1982 .

[6]  Martine Olivi,et al.  On a Rational Approximation Problem in the Real Hardy Space H2 , 1992, Theor. Comput. Sci..

[7]  Martine Olivi,et al.  Identification and rational L2 approximation A gradient algorithm , 1991, Autom..

[8]  John T. Spanos,et al.  A new algorithm for L2 optimal model reduction , 1992, Autom..

[9]  J. Willems,et al.  Parametrizations of linear dynamical systems: Canonical forms and identifiability , 1974 .

[10]  Raimund J. Ober,et al.  Balanced realizations: canonical form, parametrization, model reduction , 1987 .

[11]  A. Shields,et al.  Cyclic vectors and invariant subspaces for the backward shift operator , 1970 .

[12]  Laurent Baratchart,et al.  Existence and Generic Properties of L2 Approximants for Linear Systems , 1986 .

[13]  Bernard Hanzon On the differentiable manifold of fixed order stable linear systems , 1989 .

[14]  Bernard Hanzon A new balanced canonical form for stable multivariable systems , 1995, IEEE Trans. Autom. Control..

[15]  L. Meier,et al.  Approximation of linear constant systems , 1967, IEEE Transactions on Automatic Control.

[16]  R. Langer Interpolation and Approximation by Rational Functions in the Complex Domain , 1937 .

[17]  K. Hoffman Banach Spaces of Analytic Functions , 1962 .

[18]  I. Schur,et al.  On Power Series Which are Bounded in the Interior of the Unit Circle II , 1986 .

[19]  J. D. Aplevich,et al.  Gradient methods for optimal linear system reduction , 1973 .

[20]  Martine Olivi,et al.  Inner-unstable factorization of stable rational transfer functions , 1991 .

[21]  Laurent Baratchart,et al.  On the topological structure of inner functions and its use in identification of linear systems , 1991 .

[22]  D. Alpay,et al.  On Applications of Reproducing Kernel Spaces to the Schur Algorithm and Rational J Unitary Factorization , 1986 .

[23]  Thomas Kailath,et al.  Linear Systems , 1980 .

[24]  J. Leigh LINEAR SYSTEMS AND OPERATORS IN HILBERT SPACE , 1982 .

[25]  L. Rodman,et al.  Interpolation of Rational Matrix Functions , 1990 .

[26]  V. Potapov The multiplicative structure of J-contractive matrix functions , 1960 .

[27]  C. Foias,et al.  The commutant lifting approach to interpolation problems , 1990 .

[28]  Y. Kamp,et al.  The Nevanlinna–Pick Problem for Matrix-Valued Functions , 1979 .

[29]  Thomas Kailath Signal-processing applications of some moment problems , 1987 .

[30]  D. Lin,et al.  Optimal Hankel-norm model reductions: Multivariable systems , 1980, 1980 19th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.