Quadratic forms over symmetric $3\times3$ matrices

2012-05-28T15:34:56Z

This question is motivated by a technique called compensated compactness (CC), which was elaborated by L. Tartar and F. Murat for the analysis of PDEs. The foreword of CC is a problem about quadratic forms: given a cone $\Lambda$ in some real vector space $V$, determine all the quadratic forms $q$ on $V$ such that $q\ge0$ over $\Lambda$. In practice, $\Lambda$ is defined by homogeneous polynomial equation(s).

There is no general way to solve this problem, but the following case could be important:

$V=Sym_3$ is the space of real symmetric matrices $S$, and $\Lambda$ is defined by $\det S=0$.

Some elementary remarks:

The set of such quadratic forms is itself a cone ${\mathcal K}$, but a closed convex one. We are really interested in the extremal lines of ${\mathcal K}$.
This cone is congruence-invariant: if $q\in{\mathcal K}$, and if $P\in GL_3({\mathbb R})$, then $q_P:S\mapsto q(P^TSP)$ is an element of ${\mathcal K}$.
The form $$q_0(S)=({\rm Tr} S)^2-4(s_{11}s_{22}-s_{12}^2+s_{33}s_{22}-s_{23}^2+s_{11}s_{33}-s_{13}^2)$$ is a non-trivial element of ${\mathcal K}$. In terms of the spectrum of $S$, it writes as $\sigma_1^2-4\sigma_2$, where $\sigma_j$ is the $j$-th elementary symmetric polynomial. It is non-negative over the real triplets $(\lambda,\mu,\nu)$ such that $\lambda\mu\nu=0$.

Quadratic forms over symmetric $3\times3$ matrices - MathOverflow

Quadratic forms over symmetric $3\times3$ matrices