In memory of my teacher Vladimir Andreevich Yakubovich
Abstract
The Kalman-Popov-Yakubovich lemma was generalized to the case where the field of scalars is an ordered field that possesses the following property: if each value of the polynomial of one variable is the sum of squares, then the polynomial itself is the sum of squares of polynomials. The field with this property was named the sum of squares (SOS) field. The SOS-fields are, for instance, those of rational numbers, algebraic numbers, real numbers, or rational fractions of several variables, with the coefficients from the aforementioned fields. It was proved that the statement of the Kalman-Popov-Yakubovich lemma about the equivalence of the frequency domain inequality and the linear matrix inequality holds true if the SOS-field is considered as a that of scalars. An example was presented which shows that in the SOS-field the fulfillment of the frequency domain inequality does not imply solvability of the corresponding algebraic Riccati equation.
Similar content being viewed by others
References
Yakubovich, V.A., Solution of Some Matrix Inequalities Appearing in the Automatic Control Theory, Dokl. Akad. Nauk SSSR, 1962, vol. 143, no. 6, pp. 1304–1307.
Iwasaki, T. and Hara, S., Generalized KYP Lemma: Unified Frequency Domain Inequalities with Design Applications, IEEE Trans. Automat. Control, 2005, vol. 50, pp. 41–59.
Gusev, S.V., Kalman-Popov-Yakubovich Lemma for Matrix Frequency Domain Inequality, Syst. Control Lett., 2009, vol. 58, pp. 469–473.
Camlibel, M.K. and Frasca, R., Extension of Kalman-Yakubovich-Popov Lemma to Descriptor System, Syst. Control Lett., 2009, vol. 58, pp. 795–803.
Graham, M.R., de Oliveira, M.C., and de Callafon, R.A., An Alternative Kalman-Popov-Yakubovich Lemma and Some Extensions, Automatica, 2009, vol. 45, pp. 1489–1496.
Kalman, R., Lyapunov Functions for the Problem of Lur’e in Automatic Control, in Proc. Nat. Acad. Sci. USA, 1963, vol. 49, pp. 201–205.
Popov, V.M., Hyperstability and Optimality of Automatic Systems with Several Control Functions, Rev. Roum. Sci. Tech.-Electrotech. Energ., 1964, vol. 9, no. 4, pp. 629–890.
Willems, J.C., Least Squares Stationary Optimal Control and the Algebraic Riccati Equation, IEEE Trans. Automat. Control, 1971, vol. 16, no. 6, pp. 621–634.
Yakubovich, V.A., Frequency Theorem in the Control Theory, Sib. Mat. Zh., 1973, vol. 14, pp. 386–420.
Yakubovich, V.A., Frequency Theorem for the Case of Hilbertian Spaces of States and Controls and Its Application in Some Problems of Design of Optimal Control. I, II, Sib. Mat. Zh., 1974, vol. 15, no. 3, pp. 639–668; 1975, vol. 16, no. 5, pp. 1083–1102.
Likhtarnikov, A.L. and Yakubovich, V.A., Frequency Theorem for One-parameter Semigroups, Izv. Akad. Nauk SSSR, Mat., 1977, no. 4, pp. 895–911.
Rantzer, A., On the Kalman-Yakubovich-Popov Lemma, Syst. Control Lett., 1996, vol. 28, pp. 7–10.
Iwasaki, T., Meinsma, G., and Fu, M., Generalized S-Procedure and Finite Frequency KYP Lemma, Math. Prob. Eng., 2000, vol. 6, pp. 305–320.
Gusev, S.V., Structure of Semidefinite Solutions of the Uniform Generalized Lyapunov Equation and the Frequency Theorem in the Hilbertian Space, Vestn. S.-Peterburg. Gos. Univ., Ser. 1, 2005, no. 3, pp. 16–23.
Gusev, S.V., The Fenchel Duality, S-Procedure, and the Yakubovich-Kalman Lemma, Autom. Remote Control, 2006, vol. 67, no. 2, pp. 293–310.
Kalman, R., New Algebraic Methods in the Stability Theory, in Tr. 5 Mezhd. konf. po nelineinym kolebaniyam (Proc. 5th Int. Conf. Nonlinear Oscillations), Kiev: Int. Mat., Akad. Nauk USSR, 1970, vol. 2, pp. 189–199.
Gusev, S.V., Parameter-dependent S-Procedure and Yakubovich Lemma, http://arxiv.org/abs/math.OC/0612794, 2006, pp. 1–11.
Artin, E., Uber die Zerlegung definiter Funktionen in Quadrate, Abh. Math. Sem. Hamburg., 1927, vol. 5, pp. 100–115.
Hilbert Problems, Aleksandrov, P.S., Ed., Moscow: Nauka, 1969.
Gelig, A.Kh., Leonov, G.A., and Yakubovich, V.A., Ustoichivost’ nelineinykh sistem s needinstvennym sostoyaniem ravnovesiya (Stability of Nonlinear Systems with Nonunique Equilibrium State), Moscow: Fizmatgiz, 1978.
Gusev, S.V. and Likhtarnikov, A.L., Kalman-Popov-Yakubovich Lemma and the S-Procedure: A Historical Essay, Autom. Remote Control, 2006, vol. 67, no. 11, pp. 77–121.
Brockett, R.W., The Wider Influence of the Work of V.A. Yakubovich, Int. J. Robust Nonlinear Control, 2007, vol. 17, pp. 363–368.
Prasolov, V.V., Mnogochleny (Polynomials), Moscow: MTSNMO, 2003.
Willems, J.C., Paradigms and Puzzles in the Theory of Dynamical Systems, IEEE Trans. Automat. Control, 1991, vol. 39, pp. 259–294.
Gantmakher, F.R., Teoriya matrits (Theory of Matrices), Moscow: Nauka, 1988. Translated into English under the title Theory of Matrices, New York: Chelsea, 1959.
Author information
Authors and Affiliations
Additional information
Original Russian Text © S.V. Gusev, 2014, published in Avtomatika i Telemekhanika, 2014, No. 1, pp. 23–41.
Rights and permissions
About this article
Cite this article
Gusev, S.V. Kalman-Popov-Yakubovich lemma for ordered fields. Autom Remote Control 75, 18–33 (2014). https://doi.org/10.1134/S0005117914010020
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0005117914010020