Dejar
PS
ser un polinomio de dos variables$$P(X,Y)= c_{22}X^2Y^2 +c_{21}X^2Y +c_{12}XY^2 +c_{20}X^2 +c_{11}XY+c_{02}Y^2+c_{10}X+c_{01}Y+c_{00}$ y$X$ con coeficientes reales$Y$.
¿Cuáles son las condiciones necesarias y suficientes sobre los coeficientes$c_{ij}$ tales que$c_{ij}$ para todos los pares$P(X,Y) \geq 0$ con$(X,Y)$,$X\geq 0$?