Mi sono espresso malissimo  <!-- s:oops: --><img src="{SMILIES_PATH}/icon_redface.gif" alt=":oops:" title="Embarassed" /><!-- s:oops: --> ... intendevo dire che il polinomio deve essere strettamente positivo vicino all'origine su tutte le curve con componenti polinomiali di grado opportuno. In questo modo [latex:ldhleict]x^2[/latex:ldhleict] resta fuori perché non è strettamente positivo sulla curva (0,t).

Pensavo ad un criterio di questo tipo: un polinomio di grado &lt;=k è positivo in un intorno dell'origine (anzi si stima dal basso con una costante positiva per [latex:ldhleict]\rho^k[/latex:ldhleict], il che permette di ignorare i termini di ordine superiore) se e solo se è positivo in un intorno dell'origine su tutte le curve le cui componenti sono polinomi di grado &lt;=k. Ma non ne sono così sicuro, bisognerebbe pensarci con cura <!-- s:? --><img src="{SMILIES_PATH}/icon_confused.gif" alt=":?" title="Confused" /><!-- s:? --> .