stringtranslate.com

Krivine-Stengle Positivstellensatz

En geometría algebraica real , Krivine–Stengle Positivstellensatz (en alemán, " teorema del lugar geométrico positivo ") caracteriza a los polinomios que son positivos en un conjunto semialgebraico , que se define por sistemas de desigualdades de polinomios con coeficientes reales o, más generalmente, coeficientes de cualquier cuerpo real cerrado .

Se puede considerar como un análogo real del Nullstellensatz de Hilbert (que se refiere a los ceros complejos de los ideales polinómicos), y esta analogía está en el origen de su nombre. Fue demostrado por el matemático francés Jean-Louis Krivine  [fr; de] y luego redescubierto por el canadiense Gilbert Stengle  [Wikidata] .

Declaración

Sea R un cuerpo real cerrado , y F = { f 1 , f 2 , ..., f m } y G = { g 1 , g 2 , ..., g r } conjuntos finitos de polinomios sobre R en n variables. Sea W el conjunto semialgebraico

y definir el preordenamiento asociado con W como el conjunto

donde Σ 2 [ X 1 ,..., X n ] es el conjunto de polinomios de suma de cuadrados . En otras palabras, P ( F , G ) = C + I , donde C es el cono generado por F (es decir, la subsemiconsecuencia de R [ X 1 ,..., X n ] generada por F y cuadrados arbitrarios) e I es el ideal generado por G .

Sea p  ∈  R [ X 1 ,..., X n ] un polinomio. Krivine-Stengle Positivstellensatz afirma que

(i) si y sólo si y tal que .
(ii) si y sólo si tal que .

El Positivstellensatz débil es la siguiente variante del Positivstellensatz . Sea R un cuerpo real cerrado, y F , G y H subconjuntos finitos de R [ X 1 ,..., X n ]. Sea C el cono generado por F , e I el ideal generado por G . Entonces

Si y sólo si

(A diferencia de Nullstellensatz , la forma "débil" en realidad incluye la forma "fuerte" como un caso especial, por lo que la terminología es inapropiada).

Variantes

El Positivstellensatz de Krivine-Stengle también tiene las siguientes mejoras bajo supuestos adicionales. Cabe señalar que el Positivstellensatz de Schmüdgen tiene un supuesto más débil que el Positivstellensatz de Putinar, pero la conclusión también es más débil.

Positivstellensatz de Schmüdgen

Supóngase que . Si el conjunto semialgebraico es compacto , entonces cada polinomio que es estrictamente positivo en puede escribirse como un polinomio en las funciones definitorias de con coeficientes de suma de cuadrados, es decir . Aquí se dice que P es estrictamente positivo en si para todo . [1] Nótese que el Positivstellensatz de Schmüdgen se establece para y no se cumple para cuerpos reales cerrados arbitrarios. [2]

El mensaje positivo de Putin

Defina el módulo cuadrático asociado a W como el conjunto

Supongamos que existe L  > 0 tal que el polinomio Si para todo , entonces pQ ( F , G ). [3]

Véase también

Notas

  1. ^ Schmüdgen, Konrad [en alemán] (1991). "El problema del momento K para conjuntos semialgebraicos compactos". Annalen Matemáticas . 289 (1): 203–206. doi :10.1007/bf01446568. ISSN  0025-5831.
  2. ^ Stengle, Gilbert (1996). "Estimaciones de complejidad para Schmüdgen Positivstellensatz". Revista de Complejidad . 12 (2): 167-174. doi : 10.1006/jcom.1996.0011 .
  3. ^ Putinar, Mihai (1993). "Polinomios positivos en conjuntos semialgebraicos compactos". Indiana University Mathematics Journal . 42 (3): 969–984. doi : 10.1512/iumj.1993.42.42045 .

Referencias