Vorlesungsskript
Vorlesungsskript
Vorlesungsskript
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Proof. Unter den Voraussetzungen ist U eine konvexe und abgeschlossene Menge,<br />
damit auch schwach kompakt. Damit ergeben sich die Aussagen als Folgerungen aus<br />
Lemma 2.19.<br />
Lemma 2.22. Sei t0 > 0 und x ∈ intK(t0; x0). Dann gibt es eine Umgebung V von<br />
x und δ > 0 mit V ⊂ intK(t; x0) für alle t > 0 mit |t − t0| < δ.<br />
Proof. Wegen x ∈ intK(t0; x0) enthält K(t0; x0) ein nichtentartetes Simplex<br />
S(t0) := conv{x1(t0), . . . , xn+1(t0)}.<br />
mit Zentrum x ∈ intS(t0) = ∅. Dabei sind x1(·), . . . , xn+1(·) die Trajektorien geeig-<br />
neter Steuerungen aus U.<br />
Skizze<br />
Es sei nun V das offene Simplex mit Zentrum x und halben Seitenlängen von S(t0.<br />
Dann ist für alle t > 0 mit |t − t0| bei hinreichend kleinem δ > 0 auch noch im<br />
Simplex S(t) enthalten,<br />
S(t) := conv{x1(t), . . . , xn+1(t)}.<br />
Mit der Konvexität von K(t; x0) ergibt sich dann<br />
Da V offen war, folgt die Behauptung.<br />
V ⊂ S(t) ⊂ K(t; x0), ∀|t − t0| < δ.<br />
Satz 2.23. (Geometrische Form des Maximumprinzips): Es sei T ∗ und (x ∗ , u ∗ ) :<br />
[0, T ∗ ] → R × U eine optimale Lösung von Aufgabe (2.18). Dann gilt<br />
x ∗ (t) ∈ ∂K(t; x0), für alle t ∈ [0, T ∗ ].<br />
Proof. (i) Wir zeigen zunächst x ∗ (T ∗ ) ∈ ∂K(T ∗ ; x0):<br />
62