Processing math: 100%

quarta-feira, 18 de março de 2015

Lema de Farkas

Lema de Farkas

Author: Igor dos Santos Montagner
Date: 25/02/2015

O lema de Farkas é parte importante da Teoria de Otimização Convexa pois apresenta uma "alternativa": dados um cone convexo e um ponto gRn, ou g pertence ao cone ou existe um hiperplano que os separa. Construindo um cone adequado podemos usar este resultado para provar as condições de otimalidade de primeira ordem KKT (que serão alvo do próximo texto).

Definição:

Sejam BRn×m,CRn×p duas matrizes que contém vetores de Rn em suas colunas e yRm,wRp. O conjunto K definido abaixo é um cone convexo.

K={By+Cw|y0}

Lema:

Dado um ponto gRn e um cone convexo K, então somente uma das alternativas abaixo é verdadeira:

  1. gK
  2. Existe dRn tal que:
    1. dTg<0
    2. BTd0
    3. CTd=0

O interessante da prova do lema é que ela mostra como construir a direção d que satisfaz estas condições.

Prova:

Primeiro iremos provar que as duas alternativas não podem ocorrer juntas.

Suponha que as duas alternativas valham, ou seja, que gK e existe dRn que satisfaz as condições acima.

Primeiramente, g=By+Cw para algum yRm,y0 e wRn. Logo, 0>gTd=(By+Cw)Td=yTBTd+wTCTd. Porém, como CTd=0, isto é igual a

0>gTd=(By+Cw)Td=yTBTd0,

pois BTd0 e y0. Logo, chegamos em uma contradição e as duas condições são disjuntas.

Vamos mostrar agora como construir a direção d no caso em que gK. Primeiramente, seja ˆsK o elemento do cone com menor distância euclidiana até g. Logo, ˆs é a solução do seguinte problema de minimização:

minsK||sg||22

Definimos então d=ˆsg e, consequentemente, g=ˆsd.

A direção d em relação a g e s
Figura: A direção d em relação a g e s.

Condição 1:

Como o valor mínimo da função acima encontra-se em ˆs, sabemos que a função ||tˆsg||22 possui mínimo em t=1, pois tˆsK,t0. Logo,

||tˆsg||22dt|t=1=0t2ˆsTˆs2tˆsTg+||g||22dt|t=1=02tˆsTˆs2ˆsTg|t=1=02ˆsT(tˆsg)|t=1=0ˆsT(ˆsg)=0

Logo,

dTg=dT(ˆsd)=dTˆsdTd=ˆsT(sd)||d||22=||d||22<0

Condições 2 e 3:

Para mostrar que d satisfaz as condições 2 e 3 vamos primeiramente analisar o que acontece quando consideramos, em vez de ˆs, ˆs+θ(ˆss),sK.

||ˆs+θ(ˆss)g||22||ˆsg||22||ˆsg||22+2θ(ˆsg)T(ˆss)+θ2||ˆss||22||ˆsg||222θ(ˆsg)T(ˆss)+θ2||ˆss||2202(ˆsg)T(ˆss)+θ||ˆss||220θ02(ˆsg)T(ˆss)02(ˆss)T(ˆsg)=ˆsT(ˆsg)sT(ˆsg)0sT(ˆsg)=dTs0sK

Logo, dTs=dT(By+Cw)0,y0. Isto vale para todos os sK e, em especial para os casos abaixo:

  1. y=0, dTCw0dTC=CTd=0
  2. w=0, dTBy0BTd0, pois y0.

Portanto, a direção d=ˆsg satisfaz as propriedades do lema se gK e tudo está provado :)


Nenhum comentário:

Postar um comentário