A GENERALIZATION OF FINSLER'S THEOREM FOR QUADRATIC INEQUALITIES AND EQUALITIES

ABSTRACT A generalization is given of Finsler's theorem on the positivity of a quadratic form subject to a quadratic equality. The generalized result is, under a certain assumption, a set of necessary and sufficient conditions for non-negativity of a quadratic form subject to an arbitrary number of quadratic inequality and equality constraints. Certain properties of matrix inverses are deduced using the conditions.

[1]  Béla Martos,et al.  Quadratic Programming with a Quasiconvex Objective Function , 1971, Oper. Res..

[2]  Richard Bellman,et al.  Introduction to Matrix Analysis , 1972 .

[3]  Leonard Daniel Baumert.  Extreme copositive quadratic forms , 1966 .

[4]  M. Hall,et al.  Copositive and completely positive quadratic forms , 1963, Mathematical Proceedings of the Cambridge Philosophical Society.

[5]  F. John.  On symmetric matrices whose eigenvalues satisfy linear inequalities , 1966 .

[6]  P. H. Diananda.  On non-negative forms in real variables some or all of which are non-negative , 1962, Mathematical Proceedings of the Cambridge Philosophical Society.

[7]  Olvi L. Mangasarian,et al.  Nonlinear Programming , 1969 .

[8]  Yik-Hoi Au-Yeung.  On the semi-definiteness of the real pencil of two Hermitian matrices , 1975 .

[9]  Jacques A. Ferland,et al.  On pseudo-convex functions of nonnegative variables , 1971, Math. Program..

[10]  Jerry W. Gaddum.  Linear inequalities and quadratic forms , 1958 .

[11]  Lloyd L. Dines.  On linear combinations of quadratic forms , 1943 .

[12]  S. Karamardian,et al.  The complementarity problem , 1972, Math. Program..

[13]  Paul Pinsler.  Über das Vorkommen definiter und semidefiniter Formen in Scharen quadratischer Formen , 1936 .

[14]  T. Markham,et al.  Factorizations of completely positive matrices , 1971, Mathematical Proceedings of the Cambridge Philosophical Society.

[15]  E. J. McShane,et al.  A theorem on quadratic forms and its application in the calculus of variations , 1940 .

[16]  L. L. Dines,et al.  On the mapping of $n$ quadratic forms , 1942 .

[17]  Factorization of symmetric M-matrices , 1974 .