Teorema de la geometría algebraica real
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 p ∈ Q ( F , G ). [3]
Véase también
Notas
- ^ 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.
- ^ Stengle, Gilbert (1996). "Estimaciones de complejidad para Schmüdgen Positivstellensatz". Revista de Complejidad . 12 (2): 167-174. doi : 10.1006/jcom.1996.0011 .
- ^ 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
- Krivine, JL (1964). "Anneaux préordonnés". Revista de Análisis Matemático . 12 : 307–326. doi :10.1007/bf02807438. S2CID 189771756.
- Stengle, G. (1974). "Un Nullstellensatz y un Positivstellensatz en geometría semialgebraica". Annalen Matemáticas . 207 (2): 87–97. doi :10.1007/BF01362149. S2CID 122939347.
- Bochnak, J.; Coste, M.; Roy, M.-F. (1999). Geometría algebraica real . Ergebnisse der Mathematik und ihrer Grenzgebiete 3. Folge. vol. 36. Nueva York: Springer-Verlag. ISBN 978-3-540-64663-1.
- Jeyakumar, V.; Lasserre, JB; Li, G. (18 de julio de 2014). "Sobre la optimización polinomial sobre conjuntos semialgebraicos no compactos". Revista de teoría y aplicaciones de la optimización . 163 (3): 707–718. CiteSeerX 10.1.1.771.2203 . doi :10.1007/s10957-014-0545-3. ISSN 0022-3239. S2CID 254745314.