Finsler's Lemma for Matrix Polynomials
Abstract
Finsler's Lemma charactrizes all pairs of symmetric $n \times n$ real matrices $A$ and $B$ which satisfy the property that $v^T A v>0$ for every nonzero $v \in \mathbb{R}^n$ such that $v^T B v=0$. We extend this characterization to all symmetric matrices of real multivariate polynomials, but we need an additional assumption that $B$ is negative semidefinite outside some ball. We also give two applications of this result to Noncommutative Real Algebraic Geometry which for $n=1$ reduce to the usual characterizations of positive polynomials on varieties and on compact sets.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2014
- DOI:
- 10.48550/arXiv.1406.7442
- arXiv:
- arXiv:1406.7442
- Bibcode:
- 2014arXiv1406.7442C
- Keywords:
-
- Mathematics - Algebraic Geometry;
- 15A54;
- 14P99;
- 13J25;
- 06F25
- E-Print:
- 23 pages, 2 figures, submitted