On inertia and Schur complement in optimization (Q1101350)

Partitioned symmetric matrices, in particular the Hessian of the Lagrangian, play a fundamental role in nonlinear optimization. For this type of matrices \textit{S.-P. Han} and \textit{O. Fujiwara} [ibid. 72, 47-58 (1985; Zbl 0582.15002)] recently presented an inertia theorem under a certain regularity assumption. We prove that this theorem is true without any regularity assumption. Then we consider matrix extensions preserving the sign of the determinant. Such extensions are shown to be related with the positive definiteness of some Schur complement. Under a regularity assumption this shows, from the viewpoint of linear algebra, the equivalence of strong stability in the sense of M. Kojima and strong regularity in the sense of S. M. Robinson. Finally, we discuss the inertia of a typical one-parameter family of symmetric matrices occurring in various places in optimization (augmented Lagrangians, focal-point theory, etc.).