22.07.2013 Aufrufe

Karush - Kuhn - Tucker - Bedingungen im Banachraum - Universität ...

Karush - Kuhn - Tucker - Bedingungen im Banachraum - Universität ...

Karush - Kuhn - Tucker - Bedingungen im Banachraum - Universität ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

<strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> <strong>im</strong><br />

<strong>Banachraum</strong><br />

Franziska Schmidt<br />

Fachbereich Mathematik<br />

<strong>Universität</strong> Tübingen<br />

Seminar: Opt<strong>im</strong>ierung mit PDE-<strong>Bedingungen</strong><br />

28. Juni 2011<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 1 / 31


Zielorientierung<br />

Allgemeine Formulierung des Opt<strong>im</strong>ierungsproblems<br />

Sei f : U → R, G : U → Z .<br />

min f (u),<br />

u.d.N. G(u) ≤ 0,<br />

u ∈ C ⊆ U.<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 2 / 31


Inhalt<br />

1 Opt<strong>im</strong>ierungsaufgabe mit Gleichungsrestriktion<br />

Ein Beispiel<br />

2 Opt<strong>im</strong>ierungsaufgabe mit Ungleichungsrestriktion<br />

Beispiel eines Opt<strong>im</strong>ierungsproblems <strong>im</strong> Alltag<br />

Grundlagen<br />

Differenzierbare Aufgabe<br />

<strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong><br />

3 Rückblick<br />

4 Ergänzung zu Opt<strong>im</strong>ierungsaufgabe mit Ungleichungsrestriktion<br />

Eine nichtdifferenzierbare, konvexe Aufgabe<br />

5 Hinreichende Bedingung<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 3 / 31


Inhalt<br />

1 Opt<strong>im</strong>ierungsaufgabe mit Gleichungsrestriktion<br />

Ein Beispiel<br />

2 Opt<strong>im</strong>ierungsaufgabe mit Ungleichungsrestriktion<br />

3 Rückblick<br />

4 Ergänzung zu Opt<strong>im</strong>ierungsaufgabe mit Ungleichungsrestriktion<br />

5 Hinreichende Bedingung<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 4 / 31


Opt<strong>im</strong>ierungsaufgabe mit Gleichungsrestriktion<br />

Opt<strong>im</strong>ierungsaufgabe<br />

min f (u),<br />

u.d.N. G(u) = 0,<br />

u ∈ C = U.<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 5 / 31


Opt<strong>im</strong>ierungsaufgabe mit Gleichungsrestriktion<br />

Opt<strong>im</strong>ierungsaufgabe<br />

Voraussetzungen<br />

U ⊆ R n offen,<br />

min f (u),<br />

u.d.N. G(u) = 0,<br />

u ∈ C = U.<br />

f : U → R und G : U → R m stetig differenzierbar in U,<br />

G ′ (ū) : U → R m surjektiv, wobei ū Opt<strong>im</strong>um<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 5 / 31


Opt<strong>im</strong>ierungsaufgabe mit Gleichungsrestriktion<br />

Definition (Lagrangefunktion)<br />

L : U × R m → R mit<br />

L(u, z ∗ ) := f (u) + z ∗ · G(u)<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 6 / 31


Opt<strong>im</strong>ierungsaufgabe mit Gleichungsrestriktion<br />

Definition (Lagrangefunktion)<br />

L : U × R m → R mit<br />

Lagranger Multiplikatorensatz<br />

ū Opt<strong>im</strong>um mit G(ū) = 0<br />

L(u, z ∗ ) := f (u) + z ∗ · G(u)<br />

⇒ ∃z ∗ : L ′ (ū, z ∗ ) = f ′ (ū) + z ∗ · G ′ (ū) = 0.<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 6 / 31


Opt<strong>im</strong>ierungsaufgabe mit Gleichungsrestriktion<br />

Notwendige <strong>Bedingungen</strong> für ein Opt<strong>im</strong>um ū<br />

G(ū) = 0,<br />

Die Lagrange-Multiplikatoren z ∗ existieren.<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 7 / 31


Inhalt<br />

1 Opt<strong>im</strong>ierungsaufgabe mit Gleichungsrestriktion<br />

2 Opt<strong>im</strong>ierungsaufgabe mit Ungleichungsrestriktion<br />

Beispiel eines Opt<strong>im</strong>ierungsproblems <strong>im</strong> Alltag<br />

Grundlagen<br />

Differenzierbare Aufgabe<br />

<strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong><br />

3 Rückblick<br />

4 Ergänzung zu Opt<strong>im</strong>ierungsaufgabe mit Ungleichungsrestriktion<br />

5 Hinreichende Bedingung<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 8 / 31


Wie könnte ein solches Problem <strong>im</strong> Alltag aussehen?<br />

Produktorganisation<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 9 / 31


Wie könnte ein solches Problem <strong>im</strong> Alltag aussehen?<br />

Produktorganisation<br />

Erdbeerjoghurt: 5 g 15 g 40 g<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 9 / 31


Wie könnte ein solches Problem <strong>im</strong> Alltag aussehen?<br />

Produktorganisation<br />

Erdbeerjoghurt: 5 g 15 g 40 g<br />

Erdbeershake: 35 g 15 g 10 g<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 9 / 31


Wie könnte ein solches Problem <strong>im</strong> Alltag aussehen?<br />

Produktorganisation<br />

Erdbeerjoghurt: 5 g 15 g 40 g<br />

Erdbeershake: 35 g 15 g 10 g<br />

Insgesamt vorhanden sind:<br />

15000 g 10500 g 24000 g<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 9 / 31


Wie könnte ein solches Problem <strong>im</strong> Alltag aussehen?<br />

Produktorganisation<br />

Erdbeerjoghurt: 5 g 15 g 40 g<br />

Erdbeershake: 35 g 15 g 10 g<br />

Insgesamt vorhanden sind:<br />

15000 g 10500 g 24000 g<br />

Einschränkungen:<br />

5j + 35s ≤ 15000,<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 9 / 31


Wie könnte ein solches Problem <strong>im</strong> Alltag aussehen?<br />

Produktorganisation<br />

Erdbeerjoghurt: 5 g 15 g 40 g<br />

Erdbeershake: 35 g 15 g 10 g<br />

Insgesamt vorhanden sind:<br />

15000 g 10500 g 24000 g<br />

Einschränkungen:<br />

5j + 35s ≤ 15000, 15j + 15s ≤ 10500, 40j + 10s ≤ 24000.<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 9 / 31


Beispiel aus dem Alltag<br />

Problem: Fabrik hat mehr Ausgaben als Einnahmen<br />

Verlust: 2 Cent pro Erdbeerjoghurt, 1 Cent pro Erdbeershake<br />

Ziel: Verlust min<strong>im</strong>ieren.<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 10 / 31


Beispiel aus dem Alltag<br />

Problem: Fabrik hat mehr Ausgaben als Einnahmen<br />

Verlust: 2 Cent pro Erdbeerjoghurt, 1 Cent pro Erdbeershake<br />

Ziel: Verlust min<strong>im</strong>ieren.<br />

Opt<strong>im</strong>ierungsproblem<br />

Gesucht:<br />

Opt<strong>im</strong>ale Produktionszahlen ¯ j des Erdbeerjoghurts und ¯s des Erdbeershake<br />

für<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 10 / 31


Beispiel aus dem Alltag<br />

Problem: Fabrik hat mehr Ausgaben als Einnahmen<br />

Verlust: 2 Cent pro Erdbeerjoghurt, 1 Cent pro Erdbeershake<br />

Ziel: Verlust min<strong>im</strong>ieren.<br />

Opt<strong>im</strong>ierungsproblem<br />

Gesucht:<br />

Opt<strong>im</strong>ale Produktionszahlen ¯ j des Erdbeerjoghurts und ¯s des Erdbeershake<br />

für<br />

min f (j, s) = −2j − s,<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 10 / 31


Beispiel aus dem Alltag<br />

Problem: Fabrik hat mehr Ausgaben als Einnahmen<br />

Verlust: 2 Cent pro Erdbeerjoghurt, 1 Cent pro Erdbeershake<br />

Ziel: Verlust min<strong>im</strong>ieren.<br />

Opt<strong>im</strong>ierungsproblem<br />

Gesucht:<br />

Opt<strong>im</strong>ale Produktionszahlen ¯ j des Erdbeerjoghurts und ¯s des Erdbeershake<br />

für<br />

min f (j, s) = −2j − s,<br />

u.d.N. j ≥ 0, s ≥ 0,<br />

5j + 35s − 15000 ≤ 0, 15j + 15s − 10500 ≤ 0, 40j + 10s − 24000 ≤ 0.<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 10 / 31


Beispiel aus dem Alltag<br />

Opt<strong>im</strong>ierungsproblem<br />

Gesucht:<br />

Opt<strong>im</strong>um ū = ( ¯ j, ¯s) für<br />

min f (u) = −2j − s,<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 11 / 31


Beispiel aus dem Alltag<br />

Opt<strong>im</strong>ierungsproblem<br />

Gesucht:<br />

Opt<strong>im</strong>um ū = ( ¯ j, ¯s) für<br />

min f (u) = −2j − s,<br />

u.d.N. u = (j, s) ∈ C ⊆ R 2 ,<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 11 / 31


Beispiel aus dem Alltag<br />

Opt<strong>im</strong>ierungsproblem<br />

Gesucht:<br />

Opt<strong>im</strong>um ū = ( ¯ j, ¯s) für<br />

min f (u) = −2j − s,<br />

u.d.N. u = (j, s) ∈ C ⊆ R2 ,<br />

⎛<br />

⎞<br />

5j + 35s − 15000<br />

G(u) = ⎝15j + 15s − 10500⎠<br />

≤ 0.<br />

40j + 10s − 24000<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 11 / 31


Problemformulierung<br />

Opt<strong>im</strong>ierungsaufgabe in Banachräumen<br />

Sei f : U → R, G : U → Z .<br />

min f (u),<br />

u.d.N. G(u) ≤K 0,<br />

u ∈ C ⊆ U.<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 12 / 31


Problemformulierung<br />

Opt<strong>im</strong>ierungsaufgabe in Banachräumen<br />

Sei f : U → R, G : U → Z .<br />

Voraussetzungen:<br />

U, Z reelle Banachräume.<br />

G i.A. nichtlinear.<br />

C ⊆ U konvex, C = ∅.<br />

K ⊆ Z konvexer Kegel.<br />

min f (u),<br />

u.d.N. G(u) ≤K 0,<br />

u ∈ C ⊆ U.<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 12 / 31


Grundlagen<br />

Definition (Konvexer Kegel)<br />

K ⊆ Z konvex.<br />

K = ∅ heißt konvexer Kegel, wenn gilt<br />

∀λ > 0 : z ∈ K ⇒ λz ∈ K .<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 13 / 31


Grundlagen<br />

Definition (Konvexer Kegel)<br />

K ⊆ Z konvex.<br />

K = ∅ heißt konvexer Kegel, wenn gilt<br />

Ist K ein konvexer Kegel?<br />

∀λ > 0 : z ∈ K ⇒ λz ∈ K .<br />

Z = R 3 und K = {z ∈ R 3 : z1 = 0, z2 ≤ 0, z3 ≥ 0}<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 13 / 31


Grundlagen<br />

Definition (Konvexer Kegel)<br />

K ⊆ Z konvex.<br />

K = ∅ heißt konvexer Kegel, wenn gilt<br />

Ist K ein konvexer Kegel?<br />

∀λ > 0 : z ∈ K ⇒ λz ∈ K .<br />

Z = R 3 und K = {z ∈ R 3 : z1 = 0, z2 ≤ 0, z3 ≥ 0} <br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 13 / 31


Grundlagen<br />

Definition (Konvexer Kegel)<br />

K ⊆ Z konvex.<br />

K = ∅ heißt konvexer Kegel, wenn gilt<br />

Ist K ein konvexer Kegel?<br />

∀λ > 0 : z ∈ K ⇒ λz ∈ K .<br />

Z = R 3 und K = {z ∈ R 3 : z1 = 0, z2 ≤ 0, z3 ≥ 0} <br />

<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 13 / 31


Grundlagen<br />

Definition (Halbordnungsrelation ≥K )<br />

K ⊆ Z konvexer Kegel.<br />

Es gilt<br />

Analog<br />

Außerdem<br />

z ≥K 0 :⇔ z ∈ K .<br />

z ≤K 0 :⇔ −z ∈ K .<br />

z


Beispiel aus dem Alltag – Wie sieht K aus?<br />

min f (u) = −2j − s,<br />

u.d.N. u = (j, s) ∈ C ⊆ R2 ,<br />

⎛<br />

⎞<br />

5j + 35s − 15000<br />

G(u) = ⎝15j<br />

+ 15s − 10500⎠<br />

≤K 0.<br />

40j + 10s − 24000<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 15 / 31


Beispiel aus dem Alltag – Wie sieht K aus?<br />

min f (u) = −2j − s,<br />

u.d.N. u = (j, s) ∈ C ⊆ R2 ,<br />

⎛<br />

⎞<br />

5j + 35s − 15000<br />

G(u) = ⎝15j<br />

+ 15s − 10500⎠<br />

≤K 0.<br />

40j + 10s − 24000<br />

G(u) ≤K 0 ⇔ −G(u) ∈ K<br />

⎛<br />

⎞<br />

−5j − 35s + 15000<br />

⇔ ⎝−15j − 15s + 10500⎠<br />

∈ K<br />

−40j − 10s + 24000<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 15 / 31


Beispiel aus dem Alltag – Wie sieht K aus?<br />

min f (u) = −2j − s,<br />

u.d.N. u = (j, s) ∈ C ⊆ R2 ,<br />

⎛<br />

⎞<br />

5j + 35s − 15000<br />

G(u) = ⎝15j<br />

+ 15s − 10500⎠<br />

≤K 0.<br />

40j + 10s − 24000<br />

G(u) ≤K 0 ⇔ −G(u) ∈ K<br />

⎛<br />

⎞<br />

−5j − 35s + 15000<br />

⇔ ⎝−15j − 15s + 10500⎠<br />

∈ K<br />

−40j − 10s + 24000<br />

⎧⎛<br />

⎞<br />

⎫<br />

⎨ a1<br />

⎬<br />

⇒ K = ⎝a2⎠<br />

: a1 ≥ 0, a2 ≥ 0, a3 ≥ 0<br />

⎩<br />

⎭<br />

a3<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 15 / 31


Grundlagen<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 16 / 31


Grundlagen<br />

Definition (Dualer Kegel)<br />

K ⊆ Z konvexer Kegel.<br />

heißt der zu K duale Kegel.<br />

K + := {z ∗ ∈ Z ∗ : 〈z ∗ , z〉 Z ∗ ,Z ≥ 0 ∀z ∈ K }<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 16 / 31


Grundlagen<br />

Definition (Dualer Kegel)<br />

K ⊆ Z konvexer Kegel.<br />

heißt der zu K duale Kegel.<br />

Beispiel<br />

K + := {z ∗ ∈ Z ∗ : 〈z ∗ , z〉 Z ∗ ,Z ≥ 0 ∀z ∈ K }<br />

Z ein <strong>Banachraum</strong>, K = {0}.<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 16 / 31


Grundlagen<br />

Definition (Dualer Kegel)<br />

K ⊆ Z konvexer Kegel.<br />

heißt der zu K duale Kegel.<br />

Beispiel<br />

K + := {z ∗ ∈ Z ∗ : 〈z ∗ , z〉 Z ∗ ,Z ≥ 0 ∀z ∈ K }<br />

Z ein <strong>Banachraum</strong>, K = {0}.<br />

⇒ K + = Z ∗ .<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 16 / 31


Grundlagen<br />

Definition (Dualer Kegel)<br />

K ⊆ Z konvexer Kegel.<br />

heißt der zu K duale Kegel.<br />

Beispiel<br />

K + := {z ∗ ∈ Z ∗ : 〈z ∗ , z〉 Z ∗ ,Z ≥ 0 ∀z ∈ K }<br />

Z ein <strong>Banachraum</strong>, K = {0}.<br />

Z = R3 ⎧⎛<br />

⎨<br />

, K = ⎝<br />

⎩<br />

a1<br />

a2<br />

a3<br />

⇒ K + = Z ∗ .<br />

⎞<br />

⎫<br />

⎬<br />

⎠ : a1 ≥ 0, a2 ≥ 0, a3 ≥ 0<br />

⎭<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 16 / 31


Grundlagen<br />

Definition (Dualer Kegel)<br />

K ⊆ Z konvexer Kegel.<br />

heißt der zu K duale Kegel.<br />

Beispiel<br />

K + := {z ∗ ∈ Z ∗ : 〈z ∗ , z〉 Z ∗ ,Z ≥ 0 ∀z ∈ K }<br />

Z ein <strong>Banachraum</strong>, K = {0}.<br />

Z = R3 ⎧⎛<br />

⎨<br />

, K = ⎝<br />

⎩<br />

a1<br />

a2<br />

a3<br />

⇒ K + = Z ∗ .<br />

⎞<br />

⎫<br />

⎬<br />

⎠ : a1 ≥ 0, a2 ≥ 0, a3 ≥ 0<br />

⎭<br />

⇒ K + = K .<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 16 / 31


Differenzierbare Aufgabe<br />

Gegebene Opt<strong>im</strong>ierungsaufgabe<br />

Sei f : U → R, G : U → Z .<br />

Zusätzliche Voraussetzungen<br />

min f (u),<br />

u.d.N. G(u) ≤K 0,<br />

u ∈ C ⊆ U.<br />

f und G stetig Fréchet-differenzierbar in einer offenen Umgebung von ū.<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 17 / 31


Differenzierbare Aufgabe<br />

Definition (Lagrangefunktion)<br />

Z ∗ Dualraum von Z .<br />

L : U × Z ∗ −→ R mit<br />

heißt Lagrange-Funktion.<br />

L(u, z ∗ ) := f (u) + 〈z ∗ , G(u)〉 Z ∗ ,Z<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 18 / 31


Differenzierbare Aufgabe<br />

Definition (Lagrangefunktion)<br />

Z ∗ Dualraum von Z .<br />

L : U × Z ∗ −→ R mit<br />

heißt Lagrange-Funktion.<br />

L(u, z ∗ ) := f (u) + 〈z ∗ , G(u)〉 Z ∗ ,Z<br />

Definition (Lagrangescher Multiplikator)<br />

ū lokale Lösung der Opt<strong>im</strong>ierungsaufgabe.<br />

z ∗ ∈ K + heißt zugehöriger Lagrangescher Multiplikator, wenn gilt:<br />

DuL(ū, z ∗ )(u − ū) ≥ 0 ∀u ∈ C (Variationsungleichung),<br />

〈z ∗ , G(ū)〉 Z ∗ ,Z = 0 (komplementäre Schlupfbedingung).<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 18 / 31


Differenzierbare Aufgabe<br />

Definition (Regularitätsbedingung von Zowe und Kurcyusz)<br />

ū ∈ C mit G(ū) ≤K 0.<br />

G ′ (ū)C(ū) + K (−G(ū)) = Z (1)<br />

wird Regularitätsbedingung von Zowe und Kurcyusz genannt.<br />

C(ū) = {α(u − ū) : α ≥ 0, u ∈ C}, K (¯z) = {β(z − ¯z) : β ≥ 0, z ∈ K }<br />

sind Kegelhüllen an C bzw. K in ū bzw. ¯z.<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 19 / 31


Differenzierbare Aufgabe<br />

Definition (Regularitätsbedingung von Zowe und Kurcyusz)<br />

ū ∈ C mit G(ū) ≤K 0.<br />

G ′ (ū)C(ū) + K (−G(ū)) = Z (1)<br />

wird Regularitätsbedingung von Zowe und Kurcyusz genannt.<br />

C(ū) = {α(u − ū) : α ≥ 0, u ∈ C}, K (¯z) = {β(z − ¯z) : β ≥ 0, z ∈ K }<br />

sind Kegelhüllen an C bzw. K in ū bzw. ¯z.<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 19 / 31


Differenzierbare Aufgabe<br />

Definition (Regularitätsbedingung von Zowe und Kurcyusz)<br />

ū ∈ C mit G(ū) ≤K 0.<br />

G ′ (ū)C(ū) + K (−G(ū)) = Z (1)<br />

wird Regularitätsbedingung von Zowe und Kurcyusz genannt.<br />

C(ū) = {α(u − ū) : α ≥ 0, u ∈ C}, K (¯z) = {β(z − ¯z) : β ≥ 0, z ∈ K }<br />

sind Kegelhüllen an C bzw. K in ū bzw. ¯z.<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 19 / 31


Differenzierbare Aufgabe<br />

Definition (Regularitätsbedingung von Zowe und Kurcyusz)<br />

ū ∈ C mit G(ū) ≤K 0.<br />

G ′ (ū)C(ū) + K (−G(ū)) = Z (1)<br />

wird Regularitätsbedingung von Zowe und Kurcyusz genannt.<br />

C(ū) = {α(u − ū) : α ≥ 0, u ∈ C}, K (¯z) = {β(z − ¯z) : β ≥ 0, z ∈ K }<br />

sind Kegelhüllen an C bzw. K in ū bzw. ¯z.<br />

Satz (Existenz der Lagrangeschen Multiplikatoren)<br />

ū Opt<strong>im</strong>um, Regularitätsbedigung erfüllt.<br />

Dann existiert ein zu ū gehöriger Lagrangescher Multiplikator z ∗ ∈ Z ∗ .<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 19 / 31


<strong>Karush</strong>-<strong>Kuhn</strong>-<strong>Tucker</strong>-<strong>Bedingungen</strong><br />

Notwendige <strong>Bedingungen</strong> für Opt<strong>im</strong>um ū<br />

G(ū) ≤K 0, ū ∈ C<br />

DuL(ū, z ∗ )(u − ū) ≥ 0 ∀u ∈ C (Variationsungleichung)<br />

〈z ∗ , G(ū)〉 Z ∗ ,Z = 0 (komplementäre Schlupfbedingung)<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 20 / 31


Inhalt<br />

1 Opt<strong>im</strong>ierungsaufgabe mit Gleichungsrestriktion<br />

2 Opt<strong>im</strong>ierungsaufgabe mit Ungleichungsrestriktion<br />

3 Rückblick<br />

4 Ergänzung zu Opt<strong>im</strong>ierungsaufgabe mit Ungleichungsrestriktion<br />

5 Hinreichende Bedingung<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 21 / 31


Rückblick: Beispiel mit Gleichungsrestriktion<br />

Opt<strong>im</strong>ierungsaufgabe mit Gleichungsrestriktion<br />

Voraussetzungen<br />

min f (u),<br />

u.d.N. G(u) = 0,<br />

u ∈ C = U.<br />

f : U → R und G : U → R m stetig differenzierbar in U,<br />

U ⊆ R n offen,<br />

G ′ (ū) : U → R m surjektiv.<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 22 / 31


Rückblick: Beispiel mit Gleichungsrestriktion<br />

Notwendige <strong>Bedingungen</strong> für ein Opt<strong>im</strong>um ū<br />

Regularitätsbedingung: G ′ (ū)C(ū) + K (−G(ū)) = Z<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 23 / 31


Rückblick: Beispiel mit Gleichungsrestriktion<br />

Notwendige <strong>Bedingungen</strong> für ein Opt<strong>im</strong>um ū<br />

Regularitätsbedingung: G ′ (ū)C(ū) + K (−G(ū)) = Z <br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 23 / 31


Rückblick: Beispiel mit Gleichungsrestriktion<br />

Notwendige <strong>Bedingungen</strong> für ein Opt<strong>im</strong>um ū<br />

Regularitätsbedingung: G ′ (ū)C(ū) + K (−G(ū)) = Z <br />

KKT-<strong>Bedingungen</strong>:<br />

G(ū) = 0, ū ∈ U <br />

DuL(ū, z ∗ )(u − ū) ≥ 0 ∀u ∈ C<br />

〈z ∗ , G(ū)〉 Z ∗ ,Z = 0<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 23 / 31


Rückblick: Beispiel mit Gleichungsrestriktion<br />

Notwendige <strong>Bedingungen</strong> für ein Opt<strong>im</strong>um ū<br />

Regularitätsbedingung: G ′ (ū)C(ū) + K (−G(ū)) = Z <br />

KKT-<strong>Bedingungen</strong>:<br />

G(ū) = 0, ū ∈ U <br />

DuL(ū, z ∗ )(u − ū) ≥ 0 ∀u ∈ C <br />

〈z ∗ , G(ū)〉 Z ∗ ,Z = 0<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 23 / 31


Rückblick: Beispiel mit Gleichungsrestriktion<br />

Notwendige <strong>Bedingungen</strong> für ein Opt<strong>im</strong>um ū<br />

Regularitätsbedingung: G ′ (ū)C(ū) + K (−G(ū)) = Z <br />

KKT-<strong>Bedingungen</strong>:<br />

G(ū) = 0, ū ∈ U <br />

DuL(ū, z ∗ )(u − ū) ≥ 0 ∀u ∈ C <br />

〈z ∗ , G(ū)〉 Z ∗ ,Z = 0 <br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 23 / 31


Rückblick: Beispiel mit Gleichungsrestriktion<br />

Notwendige <strong>Bedingungen</strong> für ein Opt<strong>im</strong>um ū<br />

Regularitätsbedingung: G ′ (ū)C(ū) + K (−G(ū)) = Z <br />

KKT-<strong>Bedingungen</strong>:<br />

G(ū) = 0, ū ∈ U <br />

DuL(ū, z ∗ )(u − ū) ≥ 0 ∀u ∈ C <br />

〈z ∗ , G(ū)〉 Z ∗ ,Z = 0 <br />

KKT - <strong>Bedingungen</strong> für Gleichungsrestriktion<br />

L ′ (ū, z ∗ ) = 0<br />

G(ū) = 0, ū ∈ U<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 23 / 31


Inhalt<br />

1 Opt<strong>im</strong>ierungsaufgabe mit Gleichungsrestriktion<br />

2 Opt<strong>im</strong>ierungsaufgabe mit Ungleichungsrestriktion<br />

3 Rückblick<br />

4 Ergänzung zu Opt<strong>im</strong>ierungsaufgabe mit Ungleichungsrestriktion<br />

Eine nichtdifferenzierbare, konvexe Aufgabe<br />

5 Hinreichende Bedingung<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 24 / 31


Konvexe Aufgabe<br />

Gegebene Opt<strong>im</strong>ierungsaufgabe<br />

f : U → R, G : U → Z .<br />

Zusätzliche Voraussetzungen<br />

f , G konvex.<br />

min f (u),<br />

u.d.N. G(u) ≤K 0,<br />

u ∈ C ⊆ U.<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 25 / 31


Konvexe Aufgabe<br />

Definition (Lagrangescher Multiplikator)<br />

ū ∈ C Opt<strong>im</strong>um.<br />

(ū, z ∗ ) ∈ C × K + wird Sattelpunkt der Lagrangefunktion L genannt, wenn gilt<br />

L(ū, v ∗ ) ≤ L(ū, z ∗ ) ≤ L(u, z ∗ ) ∀u ∈ C, ∀v ∗ ∈ K +<br />

z ∗ heißt zu ū gehöriger Lagrangescher Multiplikator.<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 26 / 31


Konvexe Aufgabe<br />

Satz (Existenz der Lagrangeschen Multiplikatoren)<br />

f , G konvex, ū Opt<strong>im</strong>um,<br />

∃ ũ ∈ C mit G(ũ)


Inhalt<br />

1 Opt<strong>im</strong>ierungsaufgabe mit Gleichungsrestriktion<br />

2 Opt<strong>im</strong>ierungsaufgabe mit Ungleichungsrestriktion<br />

3 Rückblick<br />

4 Ergänzung zu Opt<strong>im</strong>ierungsaufgabe mit Ungleichungsrestriktion<br />

5 Hinreichende Bedingung<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 28 / 31


Hinreichende Bedingung<br />

f konvex, G konvex,<br />

f und G Gâteaux-differenzierbar,<br />

(ū, z ∗ ) ∈ C × K + lösen die <strong>Karush</strong>-<strong>Kuhn</strong>-<strong>Tucker</strong> <strong>Bedingungen</strong>.<br />

⇒ ū löst die Opt<strong>im</strong>ierungsaufgabe.<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 29 / 31


Literaturverzeichnis<br />

[TRÖ09] Tröltzsch, F.: Opt<strong>im</strong>ale Steuerung partieller<br />

Differemtialgleichungen.Theorie, Verfahren und Anwendungen.<br />

Wiesbaden: Vieweg+Teubner, 2.Auflage, 2009<br />

[ZOKU79] Zowe, J. und Kurcyusz, S.: Regularity and stability for the<br />

mathematical programming problem in Banach spaces.<br />

Appl. Math. Opt<strong>im</strong>ization, 5:49-62, 1979<br />

[LUE69] Luenberger, D.G.: Opt<strong>im</strong>ization by Vector Space Methods.<br />

New York: Wiley, 1969<br />

[MEY11] Meyer, Christian: Skript zur Vorlesung Opt<strong>im</strong>ierung <strong>im</strong> Funktionenr<br />

Stand: 3.Februar 2011<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 30 / 31


Vielen Dank für die Aufmerksamkeit!<br />

Franziska Schmidt (<strong>Universität</strong> Tübingen) <strong>Karush</strong> - <strong>Kuhn</strong> - <strong>Tucker</strong> - <strong>Bedingungen</strong> 28. Juni 2011 | : 31 / 31

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!