Пара векторов x^*, Δ^* для которых выполняется условие: для всех Δ ≥ 0, x є Rⁿ L(x^*, Δ) ≤ L(x^*, Δ^*) ≤ L(x, Δ^*), называется:

Пара векторов x^*, Δ^* называется седловой точкой функции Лагранжа L(x,Δ), если при всех Δ ≥ 0, x є Rⁿ выполняется условие:

Если для пары векторов x^*, Δ^*, которая носит название седловой точки функции Лагранжа L(x,Δ), выполняется условие L(x^*,Δ) ≤ L(x^*,Δ^*) ≤ L(x,Δ^*), то оно справедливо:

Пусть некоторое открытое множество 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:

Пусть функция F(x) вогнута (выпукла), и ее первая производная монотонна. Согласно метода Ньютона, начальные приближения x выбирают в такой точке интервала [a; b], где знаки функции f(x) и ее кривизны f''(x) совпадают, т.е. выполняется условие:

Пусть функции 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 является:

Пусть функция f(x) определена на непустом и выпуклом множестве R. При этом для функции f(x) выполняется условие: для любых x₁, x₂ є R и λ є [0;1] f(λx₁ + (1–λ)x₁) ≤ max{f(x₁),f(x₂)}. Тогда функция f(x):

Пусть задана задача нелинейного программирования: минимизировать f(x₁,...,x_n) при условиях

h1(x1,...,xn) = 0;h2(x1,...,xn) = 0;...............hm(x1,...,xn) = 0. 

Допустим, что существует такая точка x*, в которой достигается относительный экстремум данной задачи. Если ранг матрицы I = [δh_j(x)/δx_j], i = 1,...,m; j = 1,...,n в точке x* равен m, то существуют m чисел λ₁,...,λ_n, не все из которых равны нулю одновременно, и при которых:

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

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

Пусть функция f(x) является строго квазивыпуклой и выполняется неравенство f(λx₁ + (1–λ)x₁) < max{f(x₁),f(x₂)}. При этом для всех действительных x₁, x₂ выполняется условие: