Professur Numerische Mathematik
(Partielle Differentialgleichungen)
Hinreichende Bedingungen zweiter Ordnung und das SQP-Verfahren für gemischt beschränkte Optimalsteuerprobleme
Allgemeine Informationen
Stichwörter
- optimale Steuerung
- Konvergenztheorie
- partielle Differentialgleichungen
- hinreichende Optimalitätsbedingungen
- SQP-Methode
- gemischte Beschränkungen
AMS-Klassifikation
49K20, 49K40, 49M05, 49M37
Projektbeschreibung
Viele technische Prozesse werden durch Systeme partieller Differentialgleichungen beschrieben. Die Optimierung solcher Prozesse oder die Identifikation von Materialparametern führt auf
Optimalsteuerprobleme bei partiellen Differentialgleichungen. Typischerweise müssen einige der beteiligten Steuerungen und Prozessgrößen in vorgegebenen Zulässigkeitsbereichen liegen. Wir interessieren uns in diesem Projekt für die optimale Steuerung von elliptischen und parabolischen Differentialgleichungen mit
punktweisen Ungleichungsnebenbedingungen in Ort und Zeit.
Praktische Anwendungsprobleme enthalten typischerweise nichtlineare Funktionen. Notwendige und
hinreichende Optimalitätsbedingungen enthalten dann erste und zweite Ableitungen dieser Nichtlinearitäten. Hinreichende Optimalitätsbedingungen können die
Stabilität der Lösung des Optimalsteuerproblems bei Störungen sichern. Darüber hinaus spielen hinreichende Optimalitätsbedingungen eine Schlüsselrolle bei der
Konvergenz schneller und effizienter numerischer Verfahren.
Bis jetzt sind hinreichende Optimalitätsbedingungen, Stabilitätsresultate und Konvergentheorie schneller numerischer Methoden nur bekannt, wenn die punktweisen Ungleichungsnebenbedingungen lediglich für die Steuerungen gefordert werden. Anwendungsprobleme enthalten aber typischerweise sowohl
Beschränkungen für die
Steuerungen als auch für Prozessgrößen (
Zustände). Punktweise Nebenbedingungen an Prozessgrößen alleine führen zu mathematischen Problemen, deren Lösung im Moment nicht abzusehen ist.
In diesem Projekt werden wir hinreichende Optimalitätsbedingungen herleiten, Stabilitätsresultate und die Konvergenz des SQP-Verfahrens für Optimalsteuerprobleme mit
gemischten Nebenbedingungen beweisen: Solche Probleme sind dadurch charakterisiert, dass in den Ungleichungsnebenbedingungen gleichzeitig Steuerungen und Prozessgrößen auftreten. Die in diesem Projekt entwickelte Theorie garantiert
zuverlässige numerische Resultate für beliebig feine Diskretisierungen der beteiligten partiellen Differentialgleichungen.
Projektbeschreibung auf der Homepage des FWF .
Projektbezogene Publikationen
- R. Griesse and D. Wachsmuth
Sensitivity Analysis and the Adjoint Update Strategy for Optimal Control Problems with Mixed Control-State Constraints
RICAM Report 2007-33
to appear in: Computational Optimization and Applications (COAP)
- R. Griesse, N. Metla and A. Rösch
Convergence Analysis of the SQP Method for Nonlinear Mixed-Constrained Elliptic Optimal Control Problems
Journal of Applied Mathematics and Mechanics (ZAMM), 88(10), p.776-792, 2008
- R. Griesse, N. Metla and A. Rösch
Local Quadratic Convergence of SQP for Elliptic Optimal Control Problems with Mixed Control-State Constraints
RICAM Report 2008-21
to appear in: Control and Cybernetics
- W. Alt, R. Griesse, N. Metla and A. Rösch
Lipschitz Stability for Elliptic Optimal Control Problems with Mixed Control-State Constraints
to appear in: Optimization
- R. Griesse
Lipschitz Stability of Solutions to Some State-Constrained Elliptic Optimal Control Problems
Journal of Analysis and its Applications (ZAA), 25(4), p.435-455, 2006
- A. Rösch and F. Tröltzsch
Existence of Regular Lagrange Multipliers for a Nonlinear Elliptic Optimal Control Problem with Pointwise Control-State Constraints
SIAM Journal on Control and Optimization (SICON), 45(2), p.548-564, 2006
- A. Rösch and F. Tröltzsch
Sufficient Second-Order Optimality Conditions for an Elliptic Optimal Control Problem with Pointwise Control-State Constraints
SIAM Journal on Optimization (SIOPT), 17(3), p.776-794, 2006