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
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