Условия Фрица Джона - Fritz John conditions
В Условия Фрица Джона (сокр. Условия FJ ), в математика , площадь необходимое условие для решения в нелинейное программирование быть оптимальный .[1] Они используются как лемма при доказательстве Условия Каруша – Куна – Таккера. , но они актуальны сами по себе.
Мы рассматриваем следующие проблема оптимизации :
свести к минимуму ж ( Икс ) при условии: грамм я ( Икс ) ≤ 0 , я ∈ { 1 , … , м } час j ( Икс ) = 0 , j ∈ { м + 1 , … , п } { displaystyle { begin {align} { text {minim}} & f (x) , { text {subject to:}} & g_ {i} (x) leq 0, i in left {1, dots, m right } & h_ {j} (x) = 0, j in left {m + 1, dots, n right } end {выровнено}} } куда ƒ это функция быть минимизированным, грамм я { displaystyle g_ {i}} неравенство ограничения и час j { displaystyle h_ {j}} ограничения равенства, и где, соответственно, я { displaystyle { mathcal {I}}} , я ′ { displaystyle { mathcal {I '}}} и E { displaystyle { mathcal {E}}} являются индексы наборы неактивных, активных и ограничений равенства и Икс ∗ { displaystyle x ^ {*}} оптимальное решение ж { displaystyle f} , то существует ненулевой вектор λ = [ λ 0 , λ 1 , λ 2 , … , λ п ] { displaystyle lambda = [ lambda _ {0}, lambda _ {1}, lambda _ {2}, dots, lambda _ {n}]} такой, что:
{ λ 0 ∇ ж ( Икс ∗ ) + ∑ я ∈ я ′ λ я ∇ грамм я ( Икс ∗ ) + ∑ я ∈ E λ я ∇ час я ( Икс ∗ ) = 0 λ я ≥ 0 , я ∈ я ′ ∪ { 0 } ∃ я ∈ ( { 0 , 1 , … , п } ∖ я ) ( λ я ≠ 0 ) { displaystyle { begin {cases} lambda _ {0} nabla f (x ^ {*}) + sum limits _ {i in { mathcal {I}} '} lambda _ {i} nabla g_ {i} (x ^ {*}) + sum limits _ {i in { mathcal {E}}} lambda _ {i} nabla h_ {i} (x ^ {*}) = 0 [10pt] lambda _ {i} geq 0, i in { mathcal {I}} ' cup {0 } [10pt] существует i in left ( {0,1, ldots, n } backslash { mathcal {I}} right) left ( lambda _ {i} neq 0 right) end {cases}}} λ 0 > 0 { displaystyle lambda _ {0}> 0} если то ∇ грамм я ( я ∈ я ′ ) { Displaystyle набла г_ {я} (я в { mathcal {I}} ')} и ∇ час я ( я ∈ E ) { displaystyle nabla h_ {i} (я in { mathcal {E}})} находятся линейно независимый или, в более общем смысле, когда ограничение квалификации держит.
Названный в честь Фриц Джон , эти условия эквивалентны Условия Каруша – Куна – Таккера. в случае λ 0 > 0 { displaystyle lambda _ {0}> 0} . Когда λ 0 = 0 { displaystyle lambda _ {0} = 0} , условие эквивалентно нарушению Квалификация ограничения Мангасаряна – Фромовица (MFCQ). Другими словами, условие Фрица Джона эквивалентно условию оптимальности KKT или не-MFCQ.[нужна цитата ]
Рекомендации
дальнейшее чтение
Рау, Николай (1981). «Множители Лагранжа». Матрицы и математическое программирование . Лондон: Макмиллан. С. 156–174. ISBN 0-333-27768-6 .