OPTIM´ALN´I ROZHODOV´AN´I AËR´IZEN´I
OPTIM´ALN´I ROZHODOV´AN´I AËR´IZEN´I
OPTIM´ALN´I ROZHODOV´AN´I AËR´IZEN´I
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
KAPITOLA 2. NELINEÁRNÍ<br />
PROGRAMOVÁNÍ 18<br />
2.4 Sedlový bod a dualita<br />
2.4.1 Sedlové vlastnosti Lagrangeovy funkce<br />
Při řešení úlohy nelineárního programování se ukazuje, že Lagrangeova funkce má v optimálních<br />
bodech x ∗ , λ ∗ tzv. sedlový bod. Proto si nejprve vysvětlíme, co to je sedlový<br />
bod a potom si uvedeme příslušná tvrzení.<br />
Mějme tedy funkci s(x, y) definovanou na X × Y. Říkáme, že funkce s(x, y) má v<br />
bodě x ∗ ,y ∗ sedlový bod, platí-li pro všechny (x, y) ∈ X × Y<br />
respektive<br />
s(x ∗ , y) ≤ s(x ∗ , y ∗ ) ≤ s(x, y ∗ )<br />
s(x ∗ , y) ≥ s(x ∗ , y ∗ ) ≥ s(x, y ∗ )<br />
V prvním případě říkáme, že se jedná o sedlový bod typu minimaxu a v druhém případě<br />
o sedlový bod typu maximinima. Uvědomme si, že obecně platí<br />
max<br />
x∈X<br />
min g(x, y) ≤ min<br />
y∈Y y∈Y<br />
max g(x, y) (2.26)<br />
x∈X<br />
Předchozí tvrzení snadno dokážeme. Zřejmě platí<br />
min g(x, y) ≤ g(x, y),<br />
y∈Y<br />
pro x ∈ X, y ∈ Y<br />
Nerovnost se neporuší maximalizací obou stran vzhledem k x, proto<br />
max<br />
x∈X<br />
min<br />
y∈Y<br />
g(x, y) ≤ max g(x, y), pro<br />
x∈X<br />
y ∈ Y<br />
Protože předchozí nerovnice platí pro všechna y ∈ Y, platí i pro y, pro kterou je pravá<br />
strana minimální. Odtud plyne vztah (2.26).<br />
Mějme následující problém<br />
Potom platí tvrzení:<br />
min {f(x) : g(x) ≤ 0 ; x ≥ 0} (2.27)<br />
Věta: Jestliže x ∗ ≥ 0 , λ ∗ ≥ 0 je sedlovým bodem Lagrangeovy funkce<br />
pak x ∗ je řešením úlohy (2.27).<br />
L(x, λ) = f(x) + λ T g(x), (2.28)<br />
Předchozí tvrzení je postačující podmínkou optima. Není třeba žádných předpokladů<br />
o regularitě. Postačující podmínku snadno dokážeme. Sedlový bod Lagrangeovy funkce<br />
splňuje nerovnice<br />
L(x, λ ∗ ) ≥ L(x ∗ , λ ∗ ) ≥ L(x ∗ , λ) (2.29)<br />
pro λ ≥ 0, λ ∗ ≥ 0, x ∈ X.