Кривино – Стенгле Позитивстеллензац - Krivine–Stengle Positivstellensatz

В действительная алгебраическая геометрия, Кривино – Стенгле Positivstellensatz (По-немецки "положительный-локус-теорема ") характеризует многочлены что положительно на полуалгебраическое множество, которая определяется системой неравенств многочленов с настоящий коэффициенты, или, в более общем смысле, коэффициенты из любых настоящее закрытое поле.

Его можно рассматривать как настоящий аналог Nullstellensatz Гильберта (которые касаются комплексных нулей полиномиальных идеалов), и именно эта аналогия лежит в основе его названия. Это доказал французский математик. Жан-Луи Кривин [fr; де ] а затем вновь открыл канадский Гилберт Стенгл [Викиданные ].

Заявление

Позволять р быть настоящее закрытое поле, и F = { ж₁, ж₂, ..., ж_м } и грамм = { грамм₁, грамм₂, ..., грамм_р } конечные множества многочленов над р в п переменные. Позволять W - полуалгебраическое множество

{ Displaystyle W = {x in R ^ {n} mid forall f in F, , f (x) geq 0; , forall g in G, , g (x) = 0 },}

и определите предварительный заказ, связанный с W как набор

{ Displaystyle P (F, G) = left { sum _ { alpha in {0,1 } ^ {m}} sigma _ { alpha} f_ {1} ^ { alpha _ {1}} cdots f_ {m} ^ { alpha _ {m}} + sum _ { ell = 1} ^ {r} varphi _ { ell} g _ { ell}: sigma _ { alpha} in Sigma ^ {2} [X_ {1}, ldots, X_ {n}]; varphi _ { ell} in R [X_ {1}, ldots, X_ {n} ]верно}}

где Σ²[Икс₁,…,Икс_п] - это набор многочлены суммы квадратов. Другими словами, п(F, грамм) = C + я, куда C конус, порожденный F (т.е. подпол из р[Икс₁,…,Икс_п] создано F и произвольные квадраты) и я это идеальный создано грамм.

Позволять п ∈ р[Икс₁,…,Икс_п] - многочлен. Кривино – Стенгле Позитивстеллензац утверждает, что

(я)

{ displaystyle forall x in W ; p (x) geq 0}

если и только если

{ Displaystyle существует q_ {1}, q_ {2} in P (F, G)}

и

{ displaystyle s in mathbb {Z}}

такой, что

{ displaystyle q_ {1} p = p ^ {2s} + q_ {2}}

.

(ii)

{ displaystyle forall x in W ; p (x)> 0}

если и только если

{ Displaystyle существует q_ {1}, q_ {2} in P (F, G)}

такой, что

{ displaystyle q_ {1} p = 1 + q_ {2}}

.

В слабый Positivstellensatz это следующий вариант Positivstellensatz. Позволять р быть действительно замкнутым полем, и F, грамм, и ЧАС конечные подмножества р[Икс₁,…,Икс_п]. Позволять C конус, порожденный F, и я идеал, порожденный грамм. потом

{ Displaystyle {х in R ^ {n} mid forall f in F , f (x) geq 0 land forall g in G , g (x) = 0 land forall h in H , h (x) neq 0 } = emptyset}

если и только если

{ Displaystyle существует е в C, g in I, n in mathbb {N} ; f + g + left ( prod H right) ^ {2n} = 0.}

(В отличие от Nullstellensatz, "слабая" форма фактически включает "сильную" форму как частный случай, поэтому терминология используется неправильно.)

Варианты

Позитивстеллензац Кривина – Стенгла также имеет следующие уточнения при дополнительных предположениях. Следует отметить, что Positivstellensatz Шмюдгена имеет более слабое предположение, чем Positivstellensatz Путинара, но вывод также более слабый.

Positivstellensatz Шмюдгена

Предположим, что ${ Displaystyle R = mathbb {R}}$ . Если полуалгебраическое множество ${ Displaystyle W = {x in mathbb {R} ^ {n} mid forall f in F, , f (x) geq 0 }}$ является компактный, то каждый многочлен ${ displaystyle p in mathbb {R} [X_ {1}, dots, X_ {n}]}$ это строго положительно на ${ displaystyle W}$ можно записать в виде полинома от определяющих функций ${ displaystyle W}$ с коэффициентами суммы квадратов, т.е. ${ displaystyle p in P (F, emptyset)}$ . Здесь п как говорят строго положительно на ${ displaystyle W}$ если ${ displaystyle p (x)> 0}$ для всех ${ displaystyle x in W}$ . ^[1] Обратите внимание, что Positivstellensatz Шмюдгена предназначен для ${ Displaystyle R = mathbb {R}}$ и не выполняется для произвольных вещественных замкнутых полей.^[2]

Positivstellensatz Путинара

Определите квадратичный модуль, связанный с W как набор

{ Displaystyle Q (F, G) = left { sigma _ {0} + sum _ {j = 1} ^ {m} sigma _ {j} f_ {j} + sum _ { ell = 1} ^ {r} varphi _ { ell} g _ { ell}: sigma _ {j} in Sigma ^ {2} [X_ {1}, ldots, X_ {n}]; varphi _ { ell} in mathbb {R} [X_ {1}, ldots, X_ {n}] right }}

Предположим, что существует L > 0 такой, что многочлен ${ displaystyle L- sum _ {i = 1} ^ {n} x_ {i} ^ {2} in Q (F, G).}$ Если ${ displaystyle forall x in W ; p (x)> 0}$ , тогда п ∈ Q(F,грамм).^[3]

Смотрите также

Положительный полином для других позитивных теорем.

Примечания

^ Шмюдген, Конрад (1991). «Проблема K-моментов для компактных полуалгебраических множеств». Mathematische Annalen. 289 (1): 203–206. Дои:10.1007 / bf01446568. ISSN 0025-5831.
^ Стенгл, Гилберт (1996). «Оценка сложности для Schmüdgen Positivstellensatz». Журнал сложности. 12 (2): 167–174. Дои:10.1006 / jcom.1996.0011.
^ Путинар, Михай (1993). «Положительные многочлены на компактных полуалгебраических множествах». Математический журнал Университета Индианы. 42 (3): 969–984. Дои:10.1512 / iumj.1993.42.42045.

Кривино – Стенгле Позитивстеллензац - Krivine–Stengle Positivstellensatz

Содержание

Заявление

Варианты

Positivstellensatz Шмюдгена

Positivstellensatz Путинара

Смотрите также

Примечания

Рекомендации