Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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$.
share|improve this question

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.