Could anyone recommend a reference to a canonical form for a pair of quadratic forms over R (not necessarily positively definite)? This is probably related to the Weierstrass elementary divisors (but it is not so easy to find information about them on the web). To be more precise, the case when A=diag(1,1,1,1,-1) and B is a symmetric 5x5 matrix is of interest.



Canonical form for a pair of quadratic forms
In a standard exposition (I.M. Gelfand, Lectures on Linear Algebra, or A. I. Maltsev, Foundations of Linear Algebra) it is required that one of the forms is positive definite, and this cannot be dropped. Some general results in terms of elementary divisors are given in Maltsev's book too. A little Google search gives also a reference to the paper


F. Uhlig. A canonical form for a pair of real symmetric matrices that generate a nonsingular pencil. Linear Algebra Appl. 14, 189-209 (1976),


which may contain some generalizations.


