Skip to main content
1 of 9

You said you have proved it in the one variable case but in my opinion it should be wrong already in that case: Take $L_1=1+X$, $L_2=1-X$ and $P=X^2$. Then each $L_i$ is linear, $P$ is quadratic and $P\ge0$ on $\{L_i\ge0\}$. On the other hand each product of some of the $L_i$ is positive at the origin, showing that the desired representation cannot exist.

If you allow however for $P$ being strictly positive, then you have much better chances. You might want to have a look at the following books...

  • Marshall: Positive polynomials and sums of squares
  • Prestel: Positive polynomials
  • Bochnak, Coste, Roy: Real algebraic geometry
  • Basu, Pollack, Roy: Algorithms in real algebraic geometry
  • Knebusch, Scheiderer: Einführung in die reelle Algebra
  • Andradas, Bröcker, Ruiz: Constructible sets in real geometry

...and the following articles...

Also the so-called "S-procedure" could be of interest for you.