31.01.2014 Aufrufe

disser1.pdf (2006 KB) - Ernst-Moritz-Arndt-Universität Greifswald

disser1.pdf (2006 KB) - Ernst-Moritz-Arndt-Universität Greifswald

disser1.pdf (2006 KB) - Ernst-Moritz-Arndt-Universität Greifswald

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

4.3. Hinreichende Optimalitätsbedingungen<br />

nicht negativ ist.<br />

Mittels der Hamiltonfunktion lässt sich die Funktion g(t, x, u) als<br />

g(t, x, u) = H(x, u, λ, t) − λf(t, x, u)<br />

schreiben. Damit kann man die Differenz (4.3) folgendermaßen umschreiben:<br />

δJ = q(x ∗ (T )) +<br />

= q(x ∗ (T )) +<br />

−<br />

∫ T<br />

t 0<br />

∫ T<br />

t 0<br />

[ ∫ T<br />

q(x(T )) +<br />

= q(x ∗ (T )) +<br />

−<br />

t 0<br />

∫ T<br />

t 0<br />

[ ∫ T<br />

q(x(T )) +<br />

t 0<br />

= q(x ∗ (T )) − q(x(T ))<br />

+<br />

∫ T<br />

t 0<br />

(<br />

g (t, x ∗ (t), u ∗ (t)) dt −<br />

[ ∫ T<br />

q(x(T )) +<br />

t 0<br />

]<br />

g (t, x(t), u(t)) dt<br />

(H(x ∗ (t), u ∗ (t), λ(t), t) − λ(t) · f(t, x ∗ (t), u ∗ (t))) dt<br />

]<br />

(H(x(t), u(t), λ(t), t) − λ(t) · f(t, x(t), u(t))) dt<br />

(H(x ∗ (t), u ∗ (t), λ(t), t) − λ(t)ẋ ∗ (t)) dt<br />

]<br />

(H(x(t), u(t), λ(t), t) − λ(t)ẋ(t)) dt<br />

)<br />

H(x ∗ (t), u ∗ (t), λ(t), t) − H(x(t), u(t), λ(t), t) − λ(t)(ẋ ∗ (t) − ẋ(t)) dt.<br />

Aus dem Maximumprinzip und der Konkavitätsannahme von H 0 (x, λ, t) bezüglich x<br />

folgt nun für fast alle t:<br />

H(x ∗ (t), u ∗ (t), λ(t), t) − H(x(t), u(t), λ(t), t)<br />

≥ H 0 (x ∗ (t), λ(t), t) − H 0 (x(t), λ(t), t)<br />

≥ H x (x ∗ (t), u ∗ (t), λ(t), t)(x ∗ (t) − x(t)). (4.4)<br />

Aus der Konkavität von q(x) erhält man die Ungleichung:<br />

q(x ∗ (T )) − q(x(T )) ≥ q x (x ∗ (T ))(x ∗ (T ) − x(T )).<br />

55

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!