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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

¥§¦ ¢©¨<br />

<br />

¡<br />

¦ ¢ £ ¨ <br />

<br />

¥!¦ ¢ £ ¨<br />

<br />

¦ ¢¤¨¤<br />

¦ ¢ £ ¨ <br />

KAPITOLA 2. NELINEÁRNÍ<br />

PROGRAMOVÁNÍ 12<br />

2.3.1 Omezení typu rovnosti<br />

Mějme tedy následující problém<br />

min{f(x) : h(x) = 0} (2.11)<br />

Nyní uvedeme nutné podmínky prvního řádu pro omezení typu rovnosti. Platí následující<br />

lemma:<br />

Lemma: Necht’ x ∗ je regulární bod omezení h(x) = 0 a je to lokální extrém funkce<br />

f(x) vzhledem k omezením. Pak pro všechna y ∈ E n splňující<br />

∇h(x ∗ )y = 0 (2.12)<br />

musí také platit<br />

∇f(x ∗ )y = 0 (2.13)<br />

✷<br />

¢¤£<br />

Obrázek 2.2: Gradienty funkce a omezení v extrému<br />

To znamená, že ∇f(x ∗ ) je ortogonální k tečné nadrovině - viz obr. 2.2. Označme<br />

Jacobiho matici A = ∇h(x ∗ ). Tato matice má v regulárním bodě plnou řádkovou hodnost.<br />

Označme b T = ∇f(x ∗ ). Pak, aby podle (2.12) a (2.13) soustavy Ay = 0, b T y = 0 měly<br />

shodná řešení, musí být vektor b T lineární kombinací řádků matice A. Z toho plyne, že<br />

∇f(x ∗ ) je lineární kombinací gradientů h(x) v bodě x ∗ . Proto platí následující věta:<br />

Věta: Necht’ x ∗ je bod lokálního extrému f(x) vzhledem k omezením h(x) = 0. Dále<br />

předpokládáme, že x ∗ je regulární bod omezení. Pak existuje vektor λ ∈ E m že<br />

∇f(x ∗ ) + λ T ∇h(x ∗ ) = 0.<br />

Předchozí podmínky můžeme vyjádřit také pomocí Lagrangeovy funkce L(x, λ)<br />

L(x, λ) = f(x) + λ T h(x)<br />

Nutné podmínky z předchozí věty tvrdí, že gradient Lagrangeovy funkce vzhledem k x<br />

je nulový v bodě x ∗ a omezující podmínka h(x) = 0 je ekvivalentní podmínce nulovosti<br />

gradientu Lagrangeovy funkce vzhledem k λ, čili<br />

∇ x L(x, λ) = ∇ x f(x) + λ T ∇ x h(x) = 0<br />

∇ λ L(x, λ) = h(x) = 0 (2.14)<br />

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

Saved successfully!

Ooh no, something went wrong!