Structure exploiting Galerkin schemes for optimal control of PDEs with constraints on the involved variables

This thesis is about structure exploiting Galerkin schemes for optimal control problems governed by elliptic partial differential equations under constraints onto the control, the state and its derivative. Those tailored Galerkin concepts enter on the a priori part by the permanent application of the variational discretization concept. This minimal invasive finite element discretization technique allows an elegant and funded a priori error analysis. We prove several a priori error estimates for the above mentioned optimal control problems. For control constrained Dirichlet boundary control we even improve these results by superconvergence effects caused by additional assumptions onto the underlying mesh of computation. All estimates are verified by numerous numerical examples and experimental order of convergence measurements. Moreover on the a posteriori part the concept of variational discretization avoids the appearance of additional control error terms in error representations. We exploit the structure of the underlying optimal control problems by designing goal-oriented error estimators for control- and state-constrained problems. This builds up an extension of the DWR-method for unconstrained optimization with PDEs. By only usage of the numerical solution we derive computable error estimators in order to efficiently resolve the optimal objective value. In a few numerical experiments we find appropriate adaptive meshes, which by model reduction help to substantially save degrees of freedom and hence CPU-time. We further study the efficiency indices of the derived estimators. Gegenstand dieser Arbeit ist die Untersuchung strukturausnutzender Galerkin Methoden fur die Optimierung elliptischer partieller Differentialgleichungen. Die wesentliche Nichtlinearitat der Probleme kommt durch Hinzunahme von Schranken an die Kontrolle, den Zustand und dessen Gradienten zum Tragen. Die betonte Struktur-Spezifik ausert sich zum einen durch konsequente Anwendung des variationellen Diskretisierungskonzeptes fur die Steuerung. Diese Technik ermoglicht eine elegante und fundierte a priori Fehleranalyse fur die diskretisierten Optimierungsprobleme. Zum anderen ermoglicht dieser minimal-invasive Ansatz die Vermeidung von Steuerungsfehlertermen in a posteriori Fehlerschatzern. Mit Hilfe eines solchen Werkzeuges werden ferner durch adaptive Verfeinerung problemangepasste Finite Elemente-Raume gefunden. Zahlreiche numerische Experimente untermauern einerseits bewiesene a priori Fehlerabschatzungen, andererseits die Robustheit zielorientierter Fehlerschatzer und den durch Modellreduktion resultierenden Performancegewinn. In Kapitel 2 werden optimale Randsteuerungsprobleme unter Kontrollschranken auf glatt berandeten 2- und 3-dimensionalen Gebieten behandelt. Erstmalig werden Konvergenzordnungen fur allgemeine quasi-uniforme Gitter bewiesen. Fur den 2d-Fall kann unter speziellen Gittervoraussetzungen und Anwendung eines Superkonvenz-Lemmas sogar ein verbessertes Resultat gezeigt werden. Diese Ergebnisse werden ferner in zahlreichen numerischen Studien anhand analytischer Beispiele verifiziert. Auf Seiten der beschrankten, verteilten Steuerung werden nutzliche Notationen zur variationellen Diskretisierung eingefuhrt und deren Vorteilhaftigkeit auch numerisch gezeigt. Kapitel 3 widmet sich Optimalsteuerungsproblemen mit zusatzlichen Schranken an den Zustand. Nach ausfuhrlicher Diskussion bereits verfugbarer a priori Fehlerabschatzungen liegt der Schwerpunkt im Entwurf und der Analyse von zielorientierten adaptiven Konzepten. Bei den zugrunde liegenden diskretisierten Problemen wird sowohl der unregularisierte Ansatz als auch Moreau-Yosida-Penalisierung verfolgt. Unter alleiniger Verwendung der numerischen Losungen werden auswertbare Fehlerschatzer zur zielgenauen Darstellung des Kostenfunktionales entwickelt. Dazu werden numerische Experimente zur Effizienzmessung der Schatzer durchgefuhrt. Abschliesend werden in Kapitel 4 Schranken an den Gradienten des Zustandes betrachtet. Die Regularitatstheorie erfordert die separate Untersuchung zweier Szenarien. Zum einen werden fur ein rein quadratisches Zielfunktional unter Hinzunahme von Kontrollschranken erstmalig Konvergenzaussagen bewiesen. Zum anderen werden diese Abschatzungen durch den verbleibenden Fall einer Lr-Regularisierung der unbeschrankten Kontrolle erganzt. Experimentelle Konvergenzraten werden auch hier fur beide Szenarien gemessen.