TY - THES A1 - Akindeinde, Saheed Ojo T1 - Numerical Verification of Optimality Conditions in Optimal Control Problems T1 - Numerischen Verifizierung von Optimalitätsbedingungen für Optimalsteurungsprobleme N2 - This thesis is devoted to numerical verification of optimality conditions for non-convex optimal control problems. In the first part, we are concerned with a-posteriori verification of sufficient optimality conditions. It is a common knowledge that verification of such conditions for general non-convex PDE-constrained optimization problems is very challenging. We propose a method to verify second-order sufficient conditions for a general class of optimal control problem. If the proposed verification method confirms the fulfillment of the sufficient condition then a-posteriori error estimates can be computed. A special ingredient of our method is an error analysis for the Hessian of the underlying optimization problem. We derive conditions under which positive definiteness of the Hessian of the discrete problem implies positive definiteness of the Hessian of the continuous problem. The results are complemented with numerical experiments. In the second part, we investigate adaptive methods for optimal control problems with finitely many control parameters. We analyze a-posteriori error estimates based on verification of second-order sufficient optimality conditions using the method developed in the first part. Reliability and efficiency of the error estimator are shown. We illustrate through numerical experiments, the use of the estimator in guiding adaptive mesh refinement. N2 - Diese Arbeit widmet sich der numerischen Verifizierung von Optimalitaetsbedingungen fuer nicht konvexe Optimalsteuerungsprobleme. Im ersten Teil beschaeftigen wir uns mit der a-posteriori Ueberpruefung von hinreichenden Optimalitaetskriterien. Es ist bekannt, dass der Nachweis solcher Bedingungen fuer allgemeine nicht konvexe Optimierungsproblemem mit Nebenbedingungen in Form von partiellen Differentialgleichungen sehr schwierig ist. Wir stellen eine Methode vor, um die hinreichenden Bedingungen zweiter Ordnung fuer eine allgemeine Problemklasse zu testen. Falls die vorgeschlagene Strategie bestaetigt, dass diese Bedingungen erfuellt sind, koennen a-posteriori Fehlerschaetzungen berechnet werden. Ein wesentlicher Bestandteil unserer Methode ist eine Fehleranalyse fuer die Hessematrix des zugrunde liegenden Optimierungsproblems. Es werden Bedingungen hergeleitet, unter denen die positive Definitheit der Hessematrix des diskreten Problems die positive Definitheit der Hessematrix fuer das kontinuierliche Problem nach sich zieht. Diese Ergebnisse werden durch numerische Experimente ergaenzt. Im zweiten Teil untersuchen wir adaptive (Diskretisierungs-)methoden fuer Optimalsteuerungsprobleme mit endlich vielen Kontrollparametern. Basierend auf dem Nachweis hinreichender Optimalitaetsbedingungen zweiter Ordnung analysieren wir a posteriori Fehlerschaetzungen. Dies geschieht unter der Nutzung der Resultate des ersten Teils der Arbeit. Es wird die Zuverlaessigkeit und Effizienz des Fehlerschaetzers bewiesen. Mittels weiterer numerischer Experimente illustrieren wir, wie der Fehlerschaetzer zur Steuerung adaptiver Gitterverfeinerung eingesetzt werden kann. KW - Optimale Kontrolle KW - Nichtkonvexe Optimierung KW - Numerisches Verfahren KW - non-convex optimal control problems KW - sufficient optimality conditions KW - a-posteriori error estimates KW - numerical approximations KW - adaptive refinement Y1 - 2012 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-76065 ER - TY - JOUR A1 - Almeida, R. A1 - Hristova, S. A1 - Dashkovskiy, S. T1 - Uniform bounded input bounded output stability of fractional‐order delay nonlinear systems with input JF - International Journal of Robust and Nonlinear Control N2 - The bounded input bounded output (BIBO) stability for a nonlinear Caputo fractional system with time‐varying bounded delay and nonlinear output is studied. Utilizing the Razumikhin method, Lyapunov functions and appropriate fractional derivatives of Lyapunov functions some new bounded input bounded output stability criteria are derived. Also, explicit and independent on the initial time bounds of the output are provided. Uniform BIBO stability and uniform BIBO stability with input threshold are studied. A numerical simulation is carried out to show the system's dynamic response, and demonstrate the effectiveness of our theoretical results. KW - bounded input bounded output stability KW - Caputo fractional derivative KW - Lyapunov functions KW - Razumikhin method KW - time‐varying delay Y1 - 2021 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-218554 VL - 31 IS - 1 SP - 225 EP - 249 ER - TY - JOUR A1 - Appell, Jürgen A1 - Brito, Belén López A1 - Reinwand, Simon T1 - Counterexamples on compositions JF - Mathematische Semesterberichte N2 - We give a collection of 16 examples which show that compositions \(g\) \(\circ\) \(f\) of well-behaved functions \(f\) and \(g\) can be badly behaved. Remarkably, in 10 of the 16 examples it suffices to take as outer function \(g\) simply a power-type or characteristic function. Such a collection of examples may serve as a source of exercises for a calculus course. KW - composition of functions KW - examples and counterexamples Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-324306 SN - 0720-728X VL - 70 IS - 1 ER - TY - THES A1 - Aulbach, Stefan T1 - Contributions to Extreme Value Theory in Finite and Infinite Dimensions: With a Focus on Testing for Generalized Pareto Models T1 - Beiträge zur endlich- und unendlichdimensionalen Extremwerttheorie: Mit einem Schwerpunkt auf Tests auf verallgemeinerte Pareto-Modelle N2 - Extreme value theory aims at modeling extreme but rare events from a probabilistic point of view. It is well-known that so-called generalized Pareto distributions, which are briefly reviewed in Chapter 1, are the only reasonable probability distributions suited for modeling observations above a high threshold, such as waves exceeding the height of a certain dike, earthquakes having at least a certain intensity, and, after applying a simple transformation, share prices falling below some low threshold. However, there are cases for which a generalized Pareto model might fail. Therefore, Chapter 2 derives certain neighborhoods of a generalized Pareto distribution and provides several statistical tests for these neighborhoods, where the cases of observing finite dimensional data and of observing continuous functions on [0,1] are considered. By using a notation based on so-called D-norms it is shown that these tests consistently link both frameworks, the finite dimensional and the functional one. Since the derivation of the asymptotic distributions of the test statistics requires certain technical restrictions, Chapter 3 analyzes these assumptions in more detail. It provides in particular some examples of distributions that satisfy the null hypothesis and of those that do not. Since continuous copula processes are crucial tools for the functional versions of the proposed tests, it is also discussed whether those copula processes actually exist for a given set of data. Moreover, some practical advice is given how to choose the free parameters incorporated in the test statistics. Finally, a simulation study in Chapter 4 compares the in total three different test statistics with another test found in the literature that has a similar null hypothesis. This thesis ends with a short summary of the results and an outlook to further open questions. N2 - Gegenstand der Extremwerttheorie ist die wahrscheinlichkeitstheoretische Modellierung von extremen, aber seltenen Ereignissen. Es ist wohlbekannt, dass sog. verallgemeinerte Pareto-Verteilungen, die in Kapitel 1 kurz zusammengefasst werden, die einzigen Wahrscheinlichkeitsverteilungen sind, mit denen sich Überschreitungen über hohe Schwellenwerte geeignet modellieren lassen, wie z. B. Fluthöhen, die einen Deich überschreiten, Erdbeben einer gewissen Mindeststärke, oder - nach einer einfachen Transformation - Aktienkurse, die einen festen Wert unterschreiten. Jedoch gibt es auch Fälle, in denen verallgemeinerte Pareto-Modelle fehlschlagen könnten. Deswegen beschäftigt sich Kapitel 2 mit gewissen Umgebungen einer verallgemeinerten Pareto-Verteilung und leitet mehrere statistische Tests auf diese Umgebungen her. Dabei werden sowohl multivariate Daten als auch Datensätze bestehend aus stetigen Funktionen auf [0,1] betrachtet. Durch Verwendung einer Notation basierend auf sog. D-Normen wird insbesondere gezeigt, dass die vorgestellten Testverfahren beide Fälle, den multivariaten und den funktionalen, auf natürliche Weise miteinander verbinden. Da das asymptotische Verhalten dieser Tests von einigen technischen Voraussetzungen abhängt, werden diese Annahmen in Kapitel 3 detaillierter analysiert. Insbesondere werden Beispiele für Verteilungen betrachtet, die die Nullhypothese erfüllen, und solche, die das nicht tun. Aufgrund ihrer Bedeutung für die funktionale Version der Tests wird auch der Frage nachgegangen, ob sich ein Datensatz durch stetige Copula-Prozesse beschreiben lässt. Außerdem wird auf die Wahl der freien Parameter in den Teststatistiken eingegangen. Schließlich befasst sich Kapitel 4 mit den Ergebnissen einer Simulationsstudie, um die insgesamt drei Testverfahren mit einem ähnlichen Test aus der Literatur zu vergleichen. Diese Arbeit endet mit einer kurzen Zusammenfassung und einem Ausblick auf weiterführende Fragestellungen. KW - Extremwertstatistik KW - Pareto-Verteilung KW - Copula KW - Stochastischer Prozess KW - Anpassungstest KW - Extreme Value Theory KW - Generalized Pareto Distribution KW - D-Norm KW - Copula KW - Stochastic Process KW - Continuous Sample Path KW - Nonparametric Inference KW - Goodness-of-Fit Test KW - Order Statistics KW - Monte Carlo Simulation KW - Extremwerttheorie Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-127162 N1 - Details sind zu finden unter http://www.ism.ac.jp/editsec/aism/aism-permissions.html und http://www.ism.ac.jp/editsec/aism/aism-info-author.html ER - TY - JOUR A1 - Ballester-Bolinches, A. A1 - Beidleman, J. C. A1 - Heineken, H. A1 - Pedraza-Aguilera, M. C. T1 - Local Classes and Pairwise Mutually Permutable Products of Finite Groups N2 - The main aim of the paper is to present some results about products of pairwise mutually permutable subgroups and local classes. KW - Mathematik KW - mutually permutable KW - local classes KW - p-soluble groups KW - p-supersolubility KW - finite groups Y1 - 2010 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-68062 ER - TY - THES A1 - Barsukow, Wasilij T1 - Low Mach number finite volume methods for the acoustic and Euler equations T1 - Finite Volumen Methoden für den Grenzwert niedriger Machzahlen der akustischen und der Euler-Gleichungen N2 - Finite volume methods for compressible Euler equations suffer from an excessive diffusion in the limit of low Mach numbers. This PhD thesis explores new approaches to overcome this. The analysis of a simpler set of equations that also possess a low Mach number limit is found to give valuable insights. These equations are the acoustic equations obtained as a linearization of the Euler equations. For both systems the limit is characterized by a divergencefree velocity. This constraint is nontrivial only in multiple spatial dimensions. As the Jacobians of the acoustic system do not commute, acoustics cannot be reduced to some kind of multi-dimensional advection. Therefore first an exact solution in multiple spatial dimensions is obtained. It is shown that the low Mach number limit can be interpreted as a limit of long times. It is found that the origin of the inability of a scheme to resolve the low Mach number limit is the lack a discrete counterpart to the limit of long times. Numerical schemes whose discrete stationary states discretize all the analytic stationary states of the PDE are called stationarity preserving. It is shown that for the acoustic equations, stationarity preserving schemes are vorticity preserving and are those that are able to resolve the low Mach limit (low Mach compliant). This establishes a new link between these three concepts. Stationarity preservation is studied in detail for both dimensionally split and multi-dimensional schemes for linear acoustics. In particular it is explained why the same multi-dimensional stencils appear in literature in very different contexts: These stencils are unique discretizations of the divergence that allow for stabilizing stationarity preserving diffusion. Stationarity preservation can also be generalized to nonlinear systems such as the Euler equations. Several ways how such numerical schemes can be constructed for the Euler equations are presented. In particular a low Mach compliant numerical scheme is derived that uses a novel construction idea. Its diffusion is chosen such that it depends on the velocity divergence rather than just derivatives of the different velocity components. This is demonstrated to overcome the low Mach number problem. The scheme shows satisfactory results in numerical simulations and has been found to be stable under explicit time integration. N2 - Finite Volumen Methoden für die kompressiblen Euler-Gleichungen zeigen übermäßige Diffusion im Grenzwert kleiner Machzahlen. Diese Dissertation beschäftigt sich mit neuen Ansätzen, um dieses Problem zu beheben. Die Analyse eines Systems einfacherer Gleichungen, die ebenso einen Grenzwert niedriger Machzahlen haben, liefert wichtige Einsichten. Diese Gleichungen sind die als Linearisierung der Euler-Gleichungen erhaltenen akustischen Gleichungen. Für beide Gleichungssysteme ist der Grenzwert durch ein divergenzfreies Geschwindigkeitsfeld charakterisiert, was nur in mehreren Raumdimensionen nichttrivial ist. Da die Jacobi-Matrizen des akustischen Systems nicht vertauschen, kann Akustik nicht auf irgendeine Art mehrdimensionaler Advektion zurückgeführt werden. Deswegen wird zunächst eine exakte Lösung in mehreren Raumdimensionen gefunden. Es wird gezeigt, dass sich der Grenzwert kleiner Machzahlen als Grenzwert langer Zeiten interpretieren lässt. Als der Ursprung des Versagens eines Schemas im Grenzwert kleiner Machzahlen wird das Fehlen einer diskreten Entsprechung zum Grenzwert langer Zeiten identifiziert. Numerische Schemata, deren diskrete stationäre Zustände alle analytischen stationären Zustände diskretisieren, werden stationaritätserhaltend genannt. Es zeigt sich, dass für die akustischen Gleichungen stationaritätserhaltende Schemata vortizitätserhaltend sind, und gerade diejenigen sind, die auch den Grenzwert kleiner Machzahlen aufzulösen vermögen. Das zeigt eine neue Verbindung zwischen diesen drei Konzepten auf. Erhaltung der Stationarität wird für lineare Akustik im Detail für Schemata studiert, die nach Raumdimensionen aufgeteilt sind, und auch für multi-dimensionale Schemata. Insbesondere wird ein Grund geliefert, warum die gleichen multi-dimensionalen diskreten Operatoren in der Literatur in sehr unterschiedlichen Kontexten auftauchen: Sie sind Diskretisierungen der Divergenz, für die eine stabilisierende, stationaritätserhaltende Diffusion gefunden werden kann. Auch für nichtlineare Gleichungen, wie die Euler-Gleichungen, kann die Erhaltung der Stationarität verallgemeinert werden. Es werden dazu mehrere Wege der Konstruktion numerischer Schemata gezeigt. Insbesondere im Hinblick auf den Grenzwert kleiner Machzahlen wird ein neuartiges Schema hergeleitet, dessen Diffusion so gewählt ist, dass es von der Divergenz der Geschwindigkeit, und nicht bloß von irgendswelchen Ableitungen der Geschwindigkeitskomponenten abhängt. Es wird gezeigt, dass dieses Schema in der Lage ist, den Grenzwert kleiner Machzahlen aufzulösen. Das Schema zeigt zufriedenstellende Resultate in Simulationen und ist stabil unter Verwendung eines expliziten Zeitintegrators. KW - Finite-Volumen-Methode KW - Machzahl KW - finite volume method KW - Euler equations KW - Acoustic equations KW - low Mach number KW - vorticity preserving Y1 - 2018 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-159965 ER - TY - THES A1 - Barth, Dominik T1 - Computation of multi-branch-point covers and applications in Galois theory T1 - Berechnung von Mehrpunktüberlagerungen und Anwendungen in der Galoistheorie N2 - We present a technique for computing multi-branch-point covers with prescribed ramification and demonstrate the applicability of our method in relatively large degrees by computing several families of polynomials with symplectic and linear Galois groups. As a first application, we present polynomials over \(\mathbb{Q}(\alpha,t)\) for the primitive rank-3 groups \(PSp_4(3)\) and \(PSp_4(3).C_2\) of degree 27 and for the 2-transitive group \(PSp_6(2)\) in its actions on 28 and 36 points, respectively. Moreover, the degree-28 polynomial for \(PSp_6(2)\) admits infinitely many totally real specializations. Next, we present the first (to the best of our knowledge) explicit polynomials for the 2-transitive linear groups \(PSL_4(3)\) and \(PGL_4(3)\) of degree 40, and the imprimitive group \(Aut(PGL_4(3))\) of degree 80. Additionally, we negatively answer a question by König whether there exists a degree-63 rational function with rational coefficients and monodromy group \(PSL_6(2)\) ramified over at least four points. This is achieved due to the explicit computation of the corresponding hyperelliptic genus-3 Hurwitz curve parameterizing this family, followed by a search for rational points on it. As a byproduct of our calculations we obtain the first explicit \(Aut(PSL_6(2))\)-realizations over \(\mathbb{Q}(t)\). At last, we present a technique by Elkies for bounding the transitivity degree of Galois groups. This provides an alternative way to verify the Galois groups from the previous chapters and also yields a proof that the monodromy group of a degree-276 cover computed by Monien is isomorphic to the sporadic 2-transitive Conway group \(Co_3\). N2 - Wir stellen eine Technik zur Berechnung von Mehrpunktüberlagerungen mit vorgeschriebener Verzweigung vor und demonstrieren die Anwendbarkeit unserer Methode in relativ großen Graden durch die Berechnung mehrerer Familien von Polynomen mit symplektischen und linearen Galoisgruppen. Als erste Anwendung präsentieren wir Polynome über \(\mathbb{Q}(\alpha,t)\) für die primitiven Rang-3-Gruppen \(PSp_4(3)\) und \(PSp_4(3).C_2\) vom Grad 27 und für die 2-fach transitive Gruppe \(PSp_6(2)\) in ihren Operationen auf 28 bzw. 36 Punkten. Außerdem lässt das Polynom vom Grad 28 für \(PSp_6(2)\) unendlich viele total-reelle Spezialisierungen zu. Als Nächstes präsentieren wir die (unseres Wissens nach) ersten expliziten Polynome für die 2-fach transitiven linearen Gruppen \(PSL_4(3)\) und \(PGL_4(3)\) vom Grad 40 und die imprimitive Gruppe \(Aut(PGL_4(3))\) vom Grad 80. Zusätzlich geben wir eine negative Antwort auf die Frage von König, ob es eine rationale Funktion vom Grad 63 mit rationalen Koeffizienten gibt, die über mindestens vier Punkten verzweigt ist und Monodromiegruppe \(PSL_6(2)\) besitzt. Dies wird durch die explizite Berechnung der entsprechenden hyperelliptischen Geschlecht-3 Hurwitzkurve erreicht, die diese Familie parametrisiert, gefolgt von einer Suche nach rationalen Punkten auf ihr. Als Nebenprodukt unserer Berechnungen erhalten wir die ersten expliziten \(Aut(PSL_6(2))\)-Realisierungen über \(\mathbb{Q}(t)\). Schließlich stellen wir eine Technik von Elkies zur Beschränkung des Transitivitätsgrades von Galoisgruppen vor. Diese bietet einen alternativen Weg, die Galoisgruppen aus den vorherigen Kapiteln zu verifizieren und liefert auch einen Beweis dafür, dass die Monodromiegruppe einer von Monien berechneten Grad-276 Überlagerung isomorph zur sporadischen 2-fach transitiven Conway-Gruppe \(Co_3\) ist. KW - Galois-Theorie KW - Hurwitz-Raum KW - Monodromie KW - Überlagerung KW - Belyi map Y1 - 2022 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-277025 ER - TY - THES A1 - Bartsch, Jan T1 - Theoretical and numerical investigation of optimal control problems governed by kinetic models T1 - Theoretische und numerische Untersuchung von Optimalsteuerungsproblemen mit kinetischen Modellen N2 - This thesis is devoted to the numerical and theoretical analysis of ensemble optimal control problems governed by kinetic models. The formulation and study of these problems have been put forward in recent years by R.W. Brockett with the motivation that ensemble control may provide a more general and robust control framework for dynamical systems. Following this formulation, a Liouville (or continuity) equation with an unbounded drift function is considered together with a class of cost functionals that include tracking of ensembles of trajectories of dynamical systems and different control costs. Specifically, $L^2$, $H^1$ and $L^1$ control costs are taken into account which leads to non--smooth optimization problems. For the theoretical investigation of the resulting optimal control problems, a well--posedness theory in weighted Sobolev spaces is presented for Liouville and related transport equations. Specifically, existence and uniqueness results for these equations and energy estimates in suitable norms are provided; in particular norms in weighted Sobolev spaces. Then, non--smooth optimal control problems governed by the Liouville equation are formulated with a control mechanism in the drift function. Further, box--constraints on the control are imposed. The control--to--state map is introduced, that associates to any control the unique solution of the corresponding Liouville equation. Important properties of this map are investigated, specifically, that it is well--defined, continuous and Frechet differentiable. Using the first two properties, the existence of solutions to the optimal control problems is shown. While proving the differentiability, a loss of regularity is encountered, that is natural to hyperbolic equations. This leads to the need of the investigation of the control--to--state map in the topology of weighted Sobolev spaces. Exploiting the Frechet differentiability, it is possible to characterize solutions to the optimal control problem as solutions to an optimality system. This system consists of the Liouville equation, its optimization adjoint in the form of a transport equation, and a gradient inequality. Numerical methodologies for solving Liouville and transport equations are presented that are based on a non--smooth Lagrange optimization framework. For this purpose, approximation and solution schemes for such equations are developed and analyzed. For the approximation of the Liouville model and its optimization adjoint, a combination of a Kurganov--Tadmor method, a Runge--Kutta scheme, and a Strang splitting method are discussed. Stability and second--order accuracy of these resulting schemes are proven in the discrete $L^1$ norm. In addition, conservation of mass and positivity preservation are confirmed for the solution method of the Liouville model. As numerical optimization strategy, an adapted Krylow--Newton method is applied. Since the control is considered to be an element of $H^1$ and to obey certain box--constraints, a method for calculating a $H^1$ projection is presented. Since the optimal control problem is non-smooth, a semi-smooth adaption of Newton's method is taken into account. Results of numerical experiments are presented that successfully validate the proposed deterministic framework. After the discussion of deterministic schemes, the linear space--homogeneous Keilson--Storer master equation is investigated. This equation was originally developed for the modelling of Brownian motion of particles immersed in a fluid and is a representative model of the class of linear Boltzmann equations. The well--posedness of the Keilson--Storer master equation is investigated and energy estimates in different topologies are derived. To solve this equation numerically, Monte Carlo methods are considered. Such methods take advantage of the kinetic formulation of the Liouville equation and directly implement the behaviour of the system of particles under consideration. This includes the probabilistic behaviour of the collisions between particles. Optimal control problems are formulated with an objective that is constituted of certain expected values in velocity space and the $L^2$ and $H^1$ costs of the control. The problems are governed by the Keilson--Storer master equation and the control mechanism is considered to be within the collision kernel. The objective of the optimal control of this model is to drive an ensemble of particles to acquire a desired mean velocity and to achieve a desired final velocity configuration. Existence of solutions of the optimal control problem is proven and a Keilson--Storer optimality system characterizing the solution of the proposed optimal control problem is obtained. The optimality system is used to construct a gradient--based optimization strategy in the framework of Monte--Carlo methods. This task requires to accommodate the resulting adjoint Keilson--Storer model in a form that is consistent with the kinetic formulation. For this reason, we derive an adjoint Keilson--Storer collision kernel and an additional source term. A similar approach is presented in the case of a linear space--inhomogeneous kinetic model with external forces and with Keilson--Storer collision term. In this framework, a control mechanism in the form of an external space--dependent force is investigated. The purpose of this control is to steer the multi--particle system to follow a desired mean velocity and position and to reach a desired final configuration in phase space. An optimal control problem using the formulation of ensemble controls is stated with an objective that is constituted of expected values in phase space and $H^1$ costs of the control. For solving the optimal control problems, a gradient--based computational strategy in the framework of Monte Carlo methods is developed. Part of this is the denoising of the distribution functions calculated by Monte Carlo algorithms using methods of the realm of partial differential equations. A standalone C++ code is presented that implements the developed non--linear conjugated gradient strategy. Results of numerical experiments confirm the ability of the designed probabilistic control framework to operate as desired. An outlook section about optimal control problems governed by non--linear space--inhomogeneous kinetic models completes this thesis. N2 - Diese Arbeit widmet sich der numerischen und theoretischen Analyse von Proble- men der optimalen Kontrolle von Ensembles, die durch kinetische Modelle gesteuert werden. Die Formulierung und Untersuchung von Ensemble–Kontrollproblemen wur- den in den letzten Jahren von R.W. Brockett vorgeschlagen und vorangetrieben, mit der Motivation, dass Ensemblekontrolle einen allgemeineren und robusteren Rahmen für die Kontrolle von dynamischen Systemen bieten kann. In Anlehnung an diese Formulierung der Ensemble–Steuerung werden eine Liouville– (oder Kontinuitäts– ) Gleichung mit unbeschränkter Driftfunktion und eine Klasse von Kostenfunk- tionalen miteinbezogen, die das Nachverfolgen der Ensembles und verschiedener Kon- trollkosten berücksichtigen. Insbesondere werden L2, H1 und L1 Kontrollkosten be- trachtet. Für die theoretische Untersuchung der resultierenden Optimalsteuerungs- problemen wird eine Gutgestelltheitstheorie in gewichteten Sobolev–Räumen für die Liouville– und Transportgleichungen vorgestellt. Insbesondere werden Existenz– und Eindeutigkeitsresultate sowie Energieabschätzungen in geeigneten Normen präsen- tiert; insbesondere in gewichteten Sobolev–Räumen. Dann wird eine Klasse von nicht–glatten Optimalsteuerungsproblemen formuliert mit der Liouville–Gleichung als Nebenbedingung und einem Kontrollmechanismus in der Driftfunktion. Weiter- hin werden Box–Einschränkungen angenommen. ... KW - Optimale Kontrolle KW - Optimierung / Nebenbedingung KW - Liouville and transport equations KW - Ensemble optimal control Y1 - 2021 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-249066 ER - TY - JOUR A1 - Bartsch, Jan A1 - Borzì, Alfio A1 - Fanelli, Francesco A1 - Roy, Souvik T1 - A numerical investigation of Brockett’s ensemble optimal control problems JF - Numerische Mathematik N2 - This paper is devoted to the numerical analysis of non-smooth ensemble optimal control problems governed by the Liouville (continuity) equation that have been originally proposed by R.W. Brockett with the purpose of determining an efficient and robust control strategy for dynamical systems. A numerical methodology for solving these problems is presented that is based on a non-smooth Lagrange optimization framework where the optimal controls are characterized as solutions to the related optimality systems. For this purpose, approximation and solution schemes are developed and analysed. Specifically, for the approximation of the Liouville model and its optimization adjoint, a combination of a Kurganov–Tadmor method, a Runge–Kutta scheme, and a Strang splitting method are discussed. The resulting optimality system is solved by a projected semi-smooth Krylov–Newton method. Results of numerical experiments are presented that successfully validate the proposed framework. KW - numerical analysis KW - Brockett KW - ensemble optimal control problems Y1 - 2021 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-265352 VL - 149 IS - 1 ER - TY - THES A1 - Bauer, Ulrich Josef T1 - Conformal Mappings onto Simply and Multiply Connected Circular Arc Polygon Domains T1 - Konforme Abbildungen auf einfach und mehrfach zusammenhängende Zirkularpolygongebiete N2 - The goal of this thesis is to investigate conformal mappings onto circular arc polygon domains, i.e. domains that are bounded by polygons consisting of circular arcs instead of line segments. Conformal mappings onto circular arc polygon domains contain parameters in addition to the classical parameters of the Schwarz-Christoffel transformation. To contribute to the parameter problem of conformal mappings from the unit disk onto circular arc polygon domains, we investigate two special cases of these mappings. In the first case we can describe the additional parameters if the bounding circular arc polygon is a polygon with straight sides. In the second case we provide an approximation for the additional parameters if the circular arc polygon domain satisfies some symmetry conditions. These results allow us to draw conclusions on the connection between these additional parameters and the classical parameters of the mapping. For conformal mappings onto multiply connected circular arc polygon domains, we provide an alternative construction of the mapping formula without using the Schottky-Klein prime function. In the process of constructing our main result, mappings for domains of connectivity three or greater, we also provide a formula for conformal mappings onto doubly connected circular arc polygon domains. The comparison of these mapping formulas with already known mappings allows us to provide values for some of the parameters of the mappings onto doubly connected circular arc polygon domains if the image domain is a polygonal domain. The different components of the mapping formula are constructed by using a slightly modified variant of the Poincaré theta series. This construction includes the design of a function to remove unwanted poles and of different versions of functions that are analytic on the domain of definition of the mapping functions and satisfy some special functional equations. We also provide the necessary concepts to numerically evaluate the conformal mappings onto multiply connected circular arc polygon domains. As the evaluation of such a map requires the solution of a differential equation, we provide a possible configuration of curves inside the preimage domain to solve the equation along them in addition to a description of the procedure for computing either the formula for the doubly connected case or the case of connectivity three or greater. We also describe the procedures for solving the parameter problem for multiply connected circular arc polygon domains. N2 - Das Ziel dieser Arbeit ist die Untersuchung von konformen Abbildungen auf Zirkularpolygongebiete, d.h. Gebiete, die von Polygonen berandet werden, die sich aus Kreisbögen statt Geradenstücken zusammensetzen. Konforme Abbildungen auf Zirkularpolygongebiete enthalten Parameter zusätzlich zu den klassischen Parametern der Schwarz-Christoffel-Transformation. Um zum Parameterproblem der konformen Abbildungen der Einheitskreisscheibe auf Zirkularpolygongebiete beizutragen, werden zwei Spezialfälle dieser Abbildungen untersucht. Im ersten Fall können die zusätzlichen Parameter angeben werden, falls das berandende Zirkularpolygon ein Polygon mit geraden Seiten ist. Im zweiten Fall wird eine Approximation für die zusätzlichen Parameter angegeben, falls das Zirkularpolygongebiet gewisse Symmetriebedingungen erfüllt. Diese Ergebnisse erlauben es Schlüsse zu ziehen in Bezug auf die Verbindung zwischen den zusätzlichen Parametern und den klassischen Parametern der Abbildung. Für Konforme Abbildungen auf mehrfach zusammenhängende Zirkularpolygongebiete wird eine alternative Konstruktion der Abbildungsformel angegeben, welche nicht die "Schottky-Klein prime function" verwendet. Während der Konstruktion des Hauptergebnisses, der Abbildungsformel für Gebiete mit einem Zusammenhang von drei oder mehr, wird auch eine Formel für die konformen Abbildungen auf zweifach zusammenhängende Zirkularpolygongebiete angegeben. Der Vergleich dieser Abbildungsformeln mit bereits bekannten Abbildungen erlaubt es Werte für einige der Parameter der Abbildungen auf zweifach zusammenhängende Zirkularpolygongebiete anzugeben, falls das Bildgebiet ein Polygonalgebiet ist. Die unterschiedlichen Komponenten der Abbildungsformel sind unter Verwendung einer leicht modifizierten Form der Poincaré-Theta-Reihe konstruiert. Diese Konstruktion enthält die Gestaltung einer Funktion um unerwünschte Polstellen zu entfernen und von unterschiedlichen Versionen von Funktionen, die analytisch auf dem Definitionsgebiet der Abbildungsfunktion sind und spezielle Funktionalgleichungen erfüllen. Es werden auch die notwendigen Konzepte angegeben um die konformen Abbildungen auf mehrfach zusammenhängende Zirkularpolygongebiete numerisch auszuwerten. Prozedurbeschreibungen für die Berechnung der Formel für zweifach zusammenhängende Bildgebiete und für den Fall eines Zusammenhangs von drei oder mehr werden angegeben. Da für das Auswerten solcher Abbildungen das Lösen einer Differentialgleichung notwendig ist, werden mögliche Konfigurationen von Kurven im Urbildgebiet angegeben, an denen entlang die Gleichung gelöst werden kann. Es werden weiterhin Prozeduren beschrieben um das Parameterproblem für mehrfach zusammenhängende Zirkularpolygongebiete zu lösen. KW - Konforme Abbildungen KW - conformal mapping KW - circular arc polygon domain KW - multiply connected domain Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:20-opus-123914 ER -