Warum konnte die Karush-Kuhn-Tucker-Optimierung die Lösung nicht finden?

7

Ich habe das folgende Utility-Maximierungsproblem: Bedingungen:

max(xy)
(x+y2)20
y2λ(x+y2)=0
x2λ(x+y2)=0
λ(x+y2)2=0

Wenn ich setze , erhalte ich: λ>0

(x+y2)2=0(x+y2)=0
y2λ(x+y2)=y=0
x2λ(x+y2)=x=0

Die naheliegende Lösung ist jedoch .x=y=1

Wenn ich \ lambda = 0 setze

λ=0
, ist dies auch bei einer gültigen Lösung kein Fall. Ist die Einschränkung zu niedrig? Was ist die Erklärung dafür?

Ich würde mich sehr über Ihre Hilfe freuen.

Übel Yildmar
quelle
Ich habe versucht, die Gleichungen ein wenig zu vereinfachen. Wenn Sie nicht einverstanden sind, können Sie meine Bearbeitung zurücksetzen.
Giskard

Antworten:

6

Wie @ user32416 hervorhob, reichen die Stationaritätsbedingungen erster Ordnung nicht aus. Insbesondere scheint es, dass Sie gegen Slaters Bedingung verstoßen , wonach "die realisierbare Region einen inneren Punkt haben muss". Es gibt kein für das x,y

(x+y2)2<0.

Wenn Sie das Problem mit umformulieren, ist Slaters Bedingung erfüllt (für lineare Bedingungen sind keine inneren Punkte erforderlich) und Sie können Karush-Kuhn-Tucker anwenden.

max(xy)
x+y2=0
x,y0
Giskard
quelle
5

Dies ist eine schlecht gestellte Frage. Auch ohne KKT zu durchlaufen, bedeutet Ihre Einschränkung , da die linke Seite ein Quadrat ist, dass die einzige Lösung, die machbar ist, die ist, bei der die Gleichheit bindet; dh oder das - wovon du sagst, dass eine Lösung ist.(x+y2)20(x+y2)2=0|x+y2|=0x=y=1

user32416
quelle
Ja, aber können Sie KKT auf dieses umformulierte Problem anwenden?
Giskard
1
Sie geben hier nur die Stationaritätsbedingungen erster Ordnung an. Aber Sie ignorieren völlig die komplementären Bedingungen der Schlaffheit und der Machbarkeit. Somit ist das, was Sie dort geschrieben haben, nicht einmal die vollständige KKT-Formulierung.
user32416
1
Vielen Dank für Ihre konstruktive Kritik und Hilfe! Mein Professor sagte, dass dieses Problem nicht gut definiert sei, weil er die Wichtigkeit von Slaters Zustand darstellen wollte.
Übel Yildmar
2

Wie bereits erwähnt, ist die Bedingung so, dass sie sich selbst in eine Gleichheitsbedingung verwandelt . Dein Problem wird dann vereinfacht

maxx,y(xy)s.t.x+y2=0

Ordnen Sie die Einschränkung neu an und ersetzen Sie , um das Problem mit der einzelnen Variablen ohne Einschränkung zu erhalteny

maxx(2xx2)

Dies liefert sofort die Lösung und damit auch .x=1y=1

Die Verwendung der Karush-Kuhn-Tucker-Bedingungen für das ursprüngliche Problem kann eine gute Übung sein, um sich selbst davon zu überzeugen, dass die komplementäre Lockerheitsbedingung auch gelten muss (und "Slaters Zustand" eine der Formulierungen davon ist), aber Occams Rasiermesser würde dies tun erfordern, dass das Problem tatsächlich wie oben gelöst werden soll.

Alecos Papadopoulos
quelle