16.01.2015 Views

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

SHOW MORE
SHOW LESS

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.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!