Lemma 4.1.4 Es seien und . Ferner seien und als stetig angenommen, die Mengen und seien jeweils kompakt. Dann gilt
Setzt man nun die Beziehung , die das Prozeßverhalten beschreibt, in den letzten Ausdruck ein, so erhält man die Bellmannsche Funktionalgleichung für die Optimalwertfunktion :
Wie in [Bol76] gezeigt wird, erweisen sich diese Funktionalgleichungen als notwendige und hinreichende Bedingungen für eine optimale Steuerung . Somit ist jede Lösung der Funktionalgleichung eine optimale Steuerung des Prozesses und jede optimale Steuerung des Prozesses eine Lösung von (4.1.32).
4.1.6 Die Lösung der Bellmannschen Funktionalgleichung
Die in (4.1.32) formulierten Bellmannschen Funktionalgleichungen beinhalten, wie schon bei der Herleitung deutlich wurde, ein Lösungsverfahren für unser Ausgangsproblem.
Wir beginnen mit den allgemeinen Gleichungen in (4.1.32) und betrachten die letzte Stufe für :
Dies ist jedoch in der Struktur ein einfaches Optimierungsproblem. Allerdings weiß man natürlich nicht, welcher Wert am Eingang anliegt. Daher nimmt man zunächst ein beliebiges, aber fest gewähltes an und löst dafür das entsprechende Optimierungsproblem. Denjenigen Wert, für den der geschweifte Klammerausdruck sein Maximum annimmt, wollen wir mit bezeichnen.
|
[S. 24, 3-19]
Nun gilt die Beziehung
woraus folgt
oder
Setzt man schließlich die Nebenbedingung in den letzten Ausdruck ein, so erhält man die Bellmannsche Funktionalgleichung für die Optimalwertfunktion :
für
Diese Funktionalgleichungen erweisen sich als notwendige und hinreichende Bedingungen für eine optimale Steuerung . Jede optimale Steuerung ist also eine Lösung der Funktionalgleichungen und umgekehrt. Den Beweis hierfür findet man in [6].
[S. 26, 29-32]
1.4 Zur Lösung der Bellmannschen Funktionalgleichungen
[...]
Mit Hilfe der Bellmannschen Funktionalgleichungen (1.36) ist es möglich, ein Lösungsverfahren für die Ausgangsaufgabe (A) anzugeben.
[S. 27, 1-7]
Auf der letzten Stufe ist , und die entsprechende Aufgabe lautet:
Es wird zunächst ein beliebiges festes ausgewählt und danach das Maximum des Ausdrucks in der geschweiften Klammer von (1.38) auf dem durch festgelegten Bereich bestimmt. Diejenige Steuervariable, die das Maximum liefert, wird mit bezeichnet.
|