Search Results
Differentiability Properties for Boundary Control of Fluid-Structure Interactions of Linear Elasticity with Navier-Stokes Equations with Mixed-Boundary Conditions in a Channel
2023, Hintermüller, Michael, Kröner, Axel
In this paper we consider a fluid-structure interaction problem given by the steady Navier Stokes equations coupled with linear elasticity taken from (Lasiecka et al. in Nonlinear Anal 44:54–85, 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 generalizing the results of (Wollner and Wick in J Math Fluid Mech 21:34, 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.
Variable Step Mollifiers and Applications
2020, Hintermüller, Michael, Papafitsoros, Kostas, Rautenberg, Carlos N.
We consider a mollifying operator with variable step that, in contrast to the standard mollification, is able to preserve the boundary values of functions. We prove boundedness of the operator in all basic Lebesgue, Sobolev and BV spaces as well as corresponding approximation results. The results are then applied to extend recently developed theory concerning the density of convex intersections. © 2020, The Author(s).
Dualization and automatic distributed parameter selection of total generalized variation via bilevel optimization
2020, Hintermüller, Michael, Papafitsoros, Kostas, Rautenberg, Carlos N., Sun, Hongpeng
Total 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.
Uncertainty quantification in image segmentation using the Ambrosio--Tortorelli approximation of the Mumford--Shah energy
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.
Existence, iteration procedures and directional differentiability for parabolic QVIs
2020, Alphonse, Amal, Hintermüller, Michael, Rautenberg, Carlos N.
We study parabolic quasi-variational inequalities (QVIs) of obstacle type. Under appropriate assumptions on the obstacle mapping, we prove the existence of solutions of such QVIs by two methods: one by time discretisation through elliptic QVIs and the second by iteration through parabolic variational inequalities. Using these results, we show the directional differentiability (in a certain sense) of the solution map which takes the source term of a parabolic QVI into the set of solutions, and we relate this result to the contingent derivative of the aforementioned map. We finish with an example where the obstacle mapping is given by the inverse of a parabolic differential operator.
Optimization with learning-informed differential equation constraints and its applications
2022, Dong, Guozhi, Hintermüller, Michael, Papafitsoros, Kostas
Inspired by applications in optimal control of semilinear elliptic partial differential equations and physics-integrated imaging, differential equation constrained optimization problems with constituents that are only accessible through data-driven techniques are studied. A particular focus is on the analysis and on numerical methods for problems with machine-learned components. For a rather general context, an error analysis is provided, and particular properties resulting from artificial neural network based approximations are addressed. Moreover, for each of the two inspiring applications analytical details are presented and numerical results are provided.
Constrained exact boundary controllability of a semilinear model for pipeline gas flow
2021, Gugat, Martin, Habermann, Jens, Hintermüller, Michael, Huber, Olivier
While the quasilinear isothermal Euler equations are an excellent model for gas pipeline flow, the operation of the pipeline flow with high pressure and small Mach numbers allows us to obtain approximate solutions by a simpler semilinear model. We provide a derivation of the semilinear model that shows that the semilinear model is valid for sufficiently low Mach numbers and sufficiently high pressures. We prove an existence result for continuous solutions of the semilinear model that takes into account lower and upper bounds for the pressure and an upper bound for the magnitude of the Mach number of the gas flow. These state constraints are important both in the operation of gas pipelines and to guarantee that the solution remains in the set where the model is physically valid. We show the constrained exact boundary controllability of the system with the same pressure and Mach number constraints.
Uncertainty Quantification in Image Segmentation Using the Ambrosio–Tortorelli Approximation of the Mumford–Shah Energy
2021, 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.
Optimality Conditions and Moreau-Yosida Regularization for Almost Sure State Constraints
2022, Geiersbach, Caroline, Hintermüller, Michael
We 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.
Strong stationarity conditions for the optimal control of a Cahn--Hilliard--Navier--Stokes system
2022, Hintermüller, Michael, Keil, Tobias
This 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.