Programação Linear (e rudimentos de otimização não-linear)
Programação Linear (e rudimentos de otimização não-linear)
Programação Linear (e rudimentos de otimização não-linear)
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
notas <strong>de</strong> aula – versão 64 - Jerônimo C. Pellegrini<br />
13.2. OTIMIZAÇÃO COM RESTRIÇÕES 181<br />
iv) −x 2 1 + 4x 1 − x 2 − 4 ≤ 0<br />
4x 2 1 − 16x 1 + x 2 + 4 ≤ 0<br />
Po<strong>de</strong>-se inferir <strong>de</strong>stas condições que λ 1 = 0 e λ 2 = 1.<br />
i) Temos<br />
−λ 2 (8x 1 − 16) − λ 1 (4 − 2x 1 ) + 1 =0<br />
λ 1 − λ 2 + 1 =0<br />
A segunda condição é trivialmente satisfeita. Verificamos a primeira:<br />
ii) Trivialmente, os dois λ são ≥ 0.<br />
−(8x 1 − 16) + 1 = −(17 − 16) + 1 = 0.<br />
iii) Como λ 1 = 0 a primeira equação é satisfeita. Para a segunda, com<br />
λ 2 = 1, temos<br />
4x 2 1 − 16x 1 + x 2 + 4 = 0<br />
iv) Para a primeira inequação,<br />
−x 2 1 + 4x 1 − x 2 − 4 = −11.953125 ≤ 0.<br />
A segunda já verificamos no item anterior.<br />
Já verificamos as condições necessárias. Agora usamos a condição <strong>de</strong> segunda<br />
or<strong>de</strong>m, que po<strong>de</strong> nos garantir que <strong>de</strong> fato a solução é ótima. O<br />
problema é <strong>de</strong> maximização, por isso verificamos agora que a hessiana<br />
∇ 2 xxL(x, λ) é negativa semi<strong>de</strong>finida. A Hessiana é<br />
∇ x L(x, λ) = (−λ 2 (8x 1 − 16) − λ 1 (4 − 2x 1 ) + 1, λ 1 − λ 2 + 1)<br />
( )<br />
∇ 2 2λ1 − 8λ<br />
xxL(x, λ) =<br />
2 0<br />
.<br />
0 0<br />
Para qualquer vetor v = (v 1 , v 2 ) T ,<br />
( ) ( )<br />
v ∇ 2 xxL(x, λ) v T 2λ1 − 8λ<br />
= v<br />
2 0<br />
0 0<br />
Substituindo os valores <strong>de</strong> λ, temos<br />
( )<br />
v ∇ 2 xxL(x, λ) v T = −8v 2 1 ≤ 0,<br />
Versão Preliminar<br />
o que nos garante que a solução é realmente um ótimo local.<br />
Observe que a Hessiana não <strong>de</strong>pen<strong>de</strong> <strong>de</strong> x 1 ou x 2 . ela será semi<strong>de</strong>finida<br />
negativa in<strong>de</strong>pen<strong>de</strong>nte do ponto on<strong>de</strong> estivermos.<br />
◭<br />
v T