12 results
Search Results
Now showing 1 - 10 of 12
- ItemStrong stationarity conditions for the optimal control of a Cahn--Hilliard--Navier--Stokes system(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2022) Hintermüller, Michael; Keil, TobiasThis paper is concerned with the distributed optimal control of a time-discrete Cahn-Hilliard-Navier-Stokes system with variable densities. It focuses on the double-obstacle potential which yields an optimal control problem for a variational inequality of fourth order and the Navier-Stokes equation. The existence of solutions to the primal system and of optimal controls is established. The Lipschitz continuity of the constraint mapping is derived and used to characterize the directional derivative of the constraint mapping via a system of variational inequalities and partial differential equations. Finally, strong stationarity conditions are presented following an approach from Mignot and Puel.
- ItemOptimality conditions and Moreau--Yosida regularization for almost sure state constraints(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2021) Geiersbach, Caroline; Hintermüller, MichaelWe analyze a potentially risk-averse convex stochastic optimization problem, where the control is deterministic and the state is a Banach-valued essentially bounded random variable. We obtain strong forms of necessary and sufficient optimality conditions for problems subject to equality and conical constraints. We propose a Moreau--Yosida regularization for the conical constraint and show consistency of the optimality conditions for the regularized problem as the regularization parameter is taken to infinity.
- ItemA generalized $Gamma$-convergence concept for a type of equilibrium problems(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2021) Hintermüller, Michael; Stengl, Steven-MarianA novel generalization of Γ-convergence applicable to a class of equilibrium problems is studied. After the introduction of the latter, a variety of its applications is discussed. The existence of equilibria with emphasis on Nash equilibrium problems is investigated. Subsequently, our Γ-convergence notion for equilibrium problems, generalizing the existing one from optimization, is introduced and discussed. The work ends with its application to a class of penalized generalized Nash equilibrium problems and quasi-variational inequalities.
- ItemDifferentiability properties for boundary control of fluid-structure interactions of linear elasticity with Navier--Stokes equations with mixed-boundary conditions in a channel(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2021) Hintermüller, Michael; Kröner, AxelIn this paper we consider a fluid-structure interaction problem given by the steady Navier Stokes equations coupled with linear elasticity taken from [Lasiecka, Szulc, and Zochoswki, Nonl. Anal.: Real World Appl., 44, 2018]. An elastic body surrounded by a liquid in a rectangular domain is deformed by the flow which can be controlled by the Dirichlet boundary condition at the inlet. On the walls along the channel homogeneous Dirichlet boundary conditions and on the outflow boundary do-nothing conditions are prescribed. We recall existence results for the nonlinear system from that reference and analyze the control to state mapping generaziling the results of [Wollner and Wick, J. Math. Fluid Mech., 21, 2019] to the setting of the nonlinear Navier-Stokes equation for the fluid and the situation of mixed boundary conditions in a domain with corners.
- ItemUncertainty quantification in image segmentation using the Ambrosio--Tortorelli approximation of the Mumford--Shah energy(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2020) Hintermüller, Michael; Stengl, Steven-Marian; Surowiec, Thomas M.The quantification of uncertainties in image segmentation based on the Mumford-Shah model is studied. The aim is to address the error propagation of noise and other error types in the original image to the restoration result and especially the reconstructed edges (sharp image contrasts). Analytically, we rely on the Ambrosio-Tortorelli approximation and discuss the existence of measurable selections of its solutions as well as sampling-based methods and the limitations of other popular methods. Numerical examples illustrate the theoretical findings.
- ItemOptimal control and directional differentiability for elliptic quasi-variational inequalities(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2020) Alphonse, Amal; Hintermüller, Michael; Rautenberg, Carlos N.We focus on elliptic quasi-variational inequalities (QVIs) of obstacle type and prove a number of results on the existence of solutions, directional differentiability and optimal control of such QVIs. We give three existence theorems based on an order approach, an iteration scheme and a sequential regularisation through partial differential equations. We show that the solution map taking the source term into the set of solutions of the QVI is directionally differentiable for general unsigned data, thereby extending the results of our previous work which provided a first differentiability result for QVIs in infinite dimensions. Optimal control problems with QVI constraints are also considered and we derive various forms of stationarity conditions for control problems, thus supplying among the first such results in this area.
- ItemOn the differentiability of the minimal and maximal solution maps of elliptic quasi-variational inequalities(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2020) Alphonse, Amal; Hintermüller, Michael; Rautenberg, Carlos N.In this short note, we prove that the minimal and maximal solution maps associated to elliptic quasi-variational inequalities of obstacle type are directionally differentiable with respect to the forcing term and for directions that are signed. On the way, we show that the minimal and maximal solutions can be seen as monotone limits of solutions of certain variational inequalities and that the aforementioned directional derivatives can also be characterised as the monotone limits of sequences of directional derivatives associated to variational inequalities.
- ItemFirst-order conditions for the optimal control of learning-informed nonsmooth PDEs(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2022) Dong, Guozhi; Hintermüller, Michael; Papafitsoros, Kostas; Völkner, KathrinIn this paper we study the optimal control of a class of semilinear elliptic partial differential equations which have nonlinear constituents that are only accessible by data and are approximated by nonsmooth ReLU neural networks. The optimal control problem is studied in detail. In particular, the existence and uniqueness of the state equation are shown, and continuity as well as directional differentiability properties of the corresponding control-to-state map are established. Based on approximation capabilities of the pertinent networks, we address fundamental questions regarding approximating properties of the learning-informed control-to-state map and the solution of the corresponding optimal control problem. Finally, several stationarity conditions are derived based on different notions of generalized differentiability.
- ItemDualization and automatic distributed parameter selection of total generalized variation via bilevel optimization(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2020) Hintermüller, Michael; Papafitsoros, Kostas; Rautenberg, Carlos N.; Sun, HongpengTotal Generalized Variation (TGV) regularization in image reconstruction relies on an infimal convolution type combination of generalized first- and second-order derivatives. This helps to avoid the staircasing effect of Total Variation (TV) regularization, while still preserving sharp contrasts in images. The associated regularization effect crucially hinges on two parameters whose proper adjustment represents a challenging task. In this work, a bilevel optimization framework with a suitable statistics-based upper level objective is proposed in order to automatically select these parameters. The framework allows for spatially varying parameters, thus enabling better recovery in high-detail image areas. A rigorous dualization framework is established, and for the numerical solution, two Newton type methods for the solution of the lower level problem, i.e. the image reconstruction problem, and two bilevel TGV algorithms are introduced, respectively. Denoising tests confirm that automatically selected distributed regularization parameters lead in general to improved reconstructions when compared to results for scalar parameters.
- ItemOn the convexity of optimal control problems involving non-linear PDEs or VIs and applications to Nash games (changed title: Vector-valued convexity of solution operators with application to optimal control problems)(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2020) Hintermüller, Michael; Stengl, Steven-MarianGeneralized Nash equilibrium problems in function spaces involving PDEs are considered. One of the central issues arising in this context is the question of existence, which requires the topological characterization of the set of minimizers for each player of the associated Nash game. In this paper, we propose conditions on the operator and the functional that guarantee the reduced formulation to be a convex minimization problem. Subsequently, we generalize results of convex analysis to derive optimality systems also for non-smooth operators. Our theoretical findings are illustrated by examples.