×

1-inverses for polynomial matrices of non-constant rank. (English) Zbl 0582.15005

This paper is, in a sense, a sequel to the authors’ work [Syst. Control Lett. 4, 33-39 (1984; Zbl 0538.15005)] in which explicit constructions were provided for the 1-inverses of constant rank polynomial matrices (a more general situation is, actually, considered in the above quoted paper). Here one deals with a generalization of the problem which arises from control theory. Let F be an \((r+q,r)\) matrix with polynomial entries, and suppose that the common zeroes of all the \(r\times r\) minors of F are contained in an open set U such that \(C^ nU\) is the closure of a complete Reinhardt domain. Then we can explicitly construct a left inverse Z of F, such that the entries of Z are rational functions whose singularities are contained in U. The same theorem gives an explicit construction of the 1-inverse Z of F if, in the hypotheses, the \(r\times r\) minors are replaced by the \(m\times m\) minors \((m<r).\)
The proof is in two steps: first one employs some explicit formulas due to M. Andersson and B. Berndtsson [Ann. Inst. Fourier 32, No.3, 91-110 (1982; Zbl 0466.32001)] to explicitly solve the corresponding scalar problem: given polynomials \(p_ 1,...,p_ t\) with common zeroes in U, find \(q_ 1,...,q_ t\) rational (with singularities in U), such that \(p_ 1q_ 1+...+p_ tq_ t=1\); then the result is achieved via the use of some known determinantal identities. An interesting related problem is to investigate to which domains U the above result can be extended.

MSC:

15A24 Matrix equations and identities
15A54 Matrices over function rings in one or more variables
32A07 Special domains in \({\mathbb C}^n\) (Reinhardt, Hartogs, circular, tube) (MSC2010)
32A25 Integral representations; canonical kernels (Szegő, Bergman, etc.)
93B99 Controllability, observability, and system structure
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Andersson, M.; Berndtsson, B., Henkin-Ramirez formulas with weight factors, Ann. Inst. Fourier, 32, 91-110 (1982) · Zbl 0466.32001
[2] Berenstein, C. A.; Struppa, D., On explicit solutions to the Bezout equation, Systems Control Lett., 4, 33-39 (1984) · Zbl 0538.15005
[3] Berenstein, C. A.; Taylor, B. A.; Yger, A., On some explicit deconvolution formulas, (Signal Recovery Meeting of the Optical Society of America. Signal Recovery Meeting of the Optical Society of America, Techn. Dig. (1983)), WA4-1
[4] Berenstein, C. A.; Yger, A., Le problème de la deconvolution, J. Funct. Anal., 54, 113-160 (1983) · Zbl 0526.46042
[5] Bhaskara Rao, K. P.S., On generalized inverses of matrices over integral domains, Linear Algebra Appl., 49, 179-189 (1983) · Zbl 0505.15002
[6] Bose, N. K.; Mitra, S. K., Generalized inverse of polynomial matrices, IEEE Trans. Automat. Control, 23, 491-493 (1978) · Zbl 0377.15002
[7] Hörmander, L., Generators of some rings of analytic functions, Amer. Math. Soc. Bull., 73, 943-949 (1973) · Zbl 0172.41701
[8] Hörmander, L., An Introduction to Complex Analysis in Several Variables (1973), North-Holland: North-Holland Amsterdam · Zbl 0271.32001
[9] Lech, C., A metric result about the zeros of a complex polynomial ideal, Ark. Math., 52, 543-554 (1958) · Zbl 0095.25904
[10] Sontag, E. D., On generalized inverses of polynomial and other matrices, IEEE Trans. Automat. Control, 25, 514-517 (1980) · Zbl 0447.15003
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.