Множество точек S₁(x₁,...,x_n) функции f(x), удовлетворяющих условию ∂f(x)/∂x_j = 0, j=1,...,n называется:

Пусть некоторое открытое множество Rⁿ содержит точку x^*. Известно, что x^* является точкой минимума функции f(x) при ограничениях g_i(x) ≤ 0, i=1,...,m, удовлетворяющих условию регулярности в виде линейной независимости векторов Δg_i(x^*), и существуют такие неотрицательные множители Лагранжа λ₁,...,λ_m, что Δf(x^*) + Σλ_iΔg_i(x^*) = 0;Σλ_ig_i(x^*) = 0, λ_i ≥ 0, i = 1,...,m. Тогда функции g_i(x), i = 1,...,m:

Пусть функции g_i(x), i=1,...,m имеют непрерывные частные производные на некотором открытом множестве Rⁿ, содержащем точку x^*. Если x^* является точкой минимума функции f(x) при ограничениях g_i(x) ≤ 0, i=1,...,m, удовлетворяющих условию регулярности в виде линейной независимости векторов Δg_i(x^*), то существуют такие неотрицательные множители Лагранжа λ₁,...,λ_m, что справедливы соотношения:

Пусть R – выпуклое множество точек n – мерного пространства. Функция f, определенная на R, называется выпуклой верх, если для любой пары точек x₁, x₂ є R и произвольного 0 ≤ k ≤ 1 справедливо:

Пусть функции g_i(x), i=1,...,m имеют непрерывные частные производные на некотором открытом множестве Rⁿ, содержащем точку x^*. Если для функции f(x) ограничения g_i(x) ≤ 0, i=1,...,m удовлетворяют условию регулярности в виде линейной независимости векторов Δg_i(x^*), и существуют такие неотрицательные множители Лагранжа λ₁,...,λ_m, что Δf(x^*) + Σλ_iΔg_i(x^*) = 0;Σλ_ig_i(x^*) = 0, λ_i ≥ 0, i = 1,...,m является:

Пусть R – выпуклое множество точек n – мерного пространства. Функция f, определенная на R, удовлетворяет условиям: для любых x₁, x₂ є R и 0 ≤ k ≤ 1 f[kx₁+(1–k)x₂] ≤ kf(x₁)+(1–k)f(x₂). Тогда функция f называется:

Дана функция F(x). Пусть x' доставляет минимум функции F(x) на интервале [a; b] с заданной точностью ξ. Известно, что F₁ и F₂ – значения функции F(x) в окрестности ±ξ вычисленной точки x=(a+b)/2. При поиске минимума был отброшен отрезок [x; b], т.е. b = x. Это значит, что:

Множество точек S₁(x₁,...,x_n) функции f(x) называется множеством стационарных точек, если они удовлетворяют условию:

Дана функция F(x). Известно, что x' доставляет некоторый экстремум функции F(x) на интервале [a; b] с заданной точностью ξ. При этом F₁ и F₂ – значения функции F(x) в окрестности ±ξ вычисленной точки x=(a+b)/2. Если F₁ < F₂, т.е. b = x, то:

Пусть f(x) и все g_i(x) выпуклы и все функции g_i(x) удовлетворяют условию регулярности Слейтера. Задача нелинейного программирования задана следующим образом: минимизировать f(x) при условиях g_i(x) ≤ 0, i = 1,...,m. Пусть существует некоторый вектор Δ^* ≥ 0, такой, что L(x^*,Δ) ≤ L(x^*,Δ^*) ≤ L(x,Δ^*) и . Тогда вектор Δ^*:

Дана функция F(x). Пусть x' доставляет минимум функции F(x) на интервале [a; b] с заданной точностью ξ. Известно, что F₁ и F₂ - значения функции F(x) в окрестности ±ξ вычисленной точки x=(a+b)/2. Если F₁ < F₂, то: