A Positivstellensatz which Preserves the Coupling Pattern of Variables - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2006

A Positivstellensatz which Preserves the Coupling Pattern of Variables

Résumé

We specialize Schmüdgen's Positivstellensatz and its Putinar and Jacobi and Prestel refinement, to the case of a polynomial $f\in R[X,Y]+R[Y,Z]$, positive on a compact basic semi algebraic set $K$ described by polynomials in $R[X,Y]$ and $R[Y,Z]$ only, or in $R[X]$ and $R[Y,Z]$ only (i.e. $K$ is a cartesian product). In particular, we show that the preordering $P(g,h)$ (resp. quadratic module $Q(g,h)$) generated by the polynomials $\{g_j\}\subset R[X,Y]$ and $\{h_k\}\subset R[Y,Z]$ that describe $K$, is replaced with $P(g)+P(h)$ (resp. $Q(g)+Q(h)$), so that the absence of coupling between $X$ and $Z$ is also preserved in the representation. A similar result applies with Krivine's Positivstellensatz involving the cone generated by $\{g_j,h_k\}$.

Dates et versions

hal-00143641 , version 1 (26-04-2007)

Identifiants

Citer

Jean-Bernard Lasserre. A Positivstellensatz which Preserves the Coupling Pattern of Variables. 2006. ⟨hal-00143641⟩
115 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More