Browsing by Author "Hintermüller, Michael"
Now showing 1 - 20 of 47
Results Per Page
Sort Options
- ItemAdaptive regularization for image reconstruction from subsampled data(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2017) Hintermüller, Michael; Langer, Andreas; Rautenberg, Carlos N.; Wu, TaoChoices of regularization parameters are central to variational methods for image restoration. In this paper, a spatially adaptive (or distributed) regularization scheme is developed based on localized residuals, which properly balances the regularization weight between regions containing image details and homogeneous regions. Surrogate iterative methods are employed to handle given subsampled data in transformed domains, such as Fourier or wavelet data. In this respect, this work extends the spatially variant regularization technique previously established in [15], which depends on the fact that the given data are degraded images only. Numerical experiments for the reconstruction from partial Fourier data and for wavelet inpainting prove the efficiency of the newly proposed approach.
- ItemAnalytical aspects of spatially adapted total variation regularisation(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2016) Hintermüller, Michael; Papafitsoros, Konstantinos; Rautenberg, Carlos N.In this paper we study the structure of solutions of the one dimensional weighted total variation regularisation problem, motivated by its application in signal recovery tasks. We study in depth the relationship between the weight function and the creation of new discontinuities in the solution. A partial semigroup property relating the weight function and the solution is shown and analytic solutions for simply data functions are computed. We prove that the weighted total variation minimisation problem is well-posed even in the case of vanishing weight function, despite the lack of coercivity. This is based on the fact that the total variation of the solution is bounded by the total variation of the data, a result that it also shown here. Finally the relationship to the corresponding weighted fidelity problem is explored, showing that the two problems can produce completely different solutions even for very simple data functions.
- ItemA Bayesian approach to parameter identification in gas networks(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2018) Hajian, Soheil; Hintermüller, Michael; Schillings, Claudia; Strogies, NikolaiThe inverse problem of identifying the friction coefficient in an isothermal semilinear Euler system is considered. Adopting a Bayesian approach, the goal is to identify the distribution of the quantity of interest based on a finite number of noisy measurements of the pressure at the boundaries of the domain. First well-posedness of the underlying non-linear PDE system is shown using semigroup theory, and then Lipschitz continuity of the solution operator with respect to the friction coefficient is established. Based on the Lipschitz property, well-posedness of the resulting Bayesian inverse problem for the identification of the friction coefficient is inferred. Numerical tests for scalar and distributed parameters are performed to validate the theoretical results.
- ItemA class of second-order geometric quasilinear hyperbolic PDEs and their application in imaging science(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2019) Dong, Guozhi; Hintermüller, Michael; Zhang, YeIn this paper, we study damped second-order dynamics, which are quasilinear hyperbolic partial differential equations (PDEs). This is inspired by the recent development of second-order damping systems for accelerating energy decay of gradient flows. We concentrate on two equations: one is a damped second-order total variation flow, which is primarily motivated by the application of image denoising; the other is a damped second-order mean curvature flow for level sets of scalar functions, which is related to a non-convex variational model capable of correcting displacement errors in image data (e.g. dejittering). For the former equation, we prove the existence and uniqueness of the solution. For the latter, we draw a connection between the equation and some second-order geometric PDEs evolving the hypersurfaces which are described by level sets of scalar functions, and show the existence and uniqueness of the solution for a regularized version of the equation. The latter is used in our algorithmic development. A general algorithm for numerical discretization of the two nonlinear PDEs is proposed and analyzed. Its efficiency is demonstrated by various numerical examples, where simulations on the behavior of solutions of the new equations and comparisons with first-order flows are also documented.
- ItemConstrained exact boundary controllability of a semilinear model for pipeline gas flow(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2021) Gugat, Martin; Habermann, Jens; Hintermüller, Michael; Huber, OlivierWhile 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.
- ItemDensity of convex intersections and applications(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2016) Hintermüller, Michael; Rautenberg, Carlos N.; Rösel, SimonIn this paper we address density properties of intersections of convex sets in several function spaces. Using the concept of Gamma-convergence, it is shown in a general framework, how these density issues naturally arise from the regularization, discretization or dualization of constrained optimization problems and from perturbed variational inequalities. A variety of density results (and counterexamples) for pointwise constraints in Sobolev spaces are presented and the corresponding regularity requirements on the upper bound are identified. The results are further discussed in the context of finite element discretizations of sets associated to convex constraints. Finally, two applications are provided, which include elasto-plasticity and image restoration problems.
- 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.
- ItemDifferentiability Properties for Boundary Control of Fluid-Structure Interactions of Linear Elasticity with Navier-Stokes Equations with Mixed-Boundary Conditions in a Channel(New York, NY : Springer, 2023) 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 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.
- ItemDirectional differentiability for elliptic quasi-variational inequalities of obstacle type(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2018) Alphonse, Amal; Hintermüller, Michael; Rautenberg, Carlos N.The directional differentiability of the solution map of obstacle type quasi-variational inequalities (QVIs) with respect to perturbations on the forcing term is studied. The classical result of Mignot is then extended to the quasi-variational case under assumptions that allow multiple solutions of the QVI. The proof involves selection procedures for the solution set and represents the directional derivative as the limit of a monotonic sequence of directional derivatives associated to specific variational inequalities. Additionally, estimates on the coincidence set and several simplifications under higher regularity are studied. The theory is illustrated by a detailed study of an application to thermoforming comprising of modelling, analysis and some numerical experiments.
- ItemDissipative and non-dissipative evolutionary quasi-variational inequalities with gradient constraints(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2017) Hintermüller, Michael; Rautenberg, Carlos N.; Strogies, NikolaiEvolutionary quasi-variational inequality (QVI) problems of dissipative and non-dissipative nature with pointwise constraints on the gradient are studied. A semi-discretization in time is employed for the study of the problems and the derivation of a numerical solution scheme, respectively. Convergence of the discretization procedure is proven and properties of the original infinite dimensional problem, such as existence, extra regularity and non-decrease in time, are derived. The proposed numerical solver reduces to a finite number of gradient-constrained convex optimization problems which can be solved rather efficiently. The paper ends with a report on numerical tests obtained by a variable splitting algorithm involving different nonlinearities and types of constraints.
- ItemDuality results and regularization schemes for Prandtl-Reuss perfect plasticity(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2017) Hintermüller, Michael; Rösel, SimonWe consider the time-discretized problem of the quasi-static evolution problem in perfect plasticity posed in a non-reflexive Banach space and we derive an equivalent version in a reflexive Banach space. A primal-dual stabilization scheme is shown to be consistent with the initial problem. As a consequence, not only stresses, but also displacement and strains are shown to converge to a solution of the original problem in a suitable topology. This scheme gives rise to a well-defined Fenchel dual problem which is a modification of the usual stress problem in perfect plasticity. The dual problem has a simpler structure and turns out to be well-suited for numerical purposes. For the corresponding subproblems an efficient algorithmic approach in the infinite-dimensional setting based on the semismooth Newton method is proposed.
- 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.
- ItemExistence, iteration procedures and directional differentiability for parabolic QVIs(Berlin ; Heidelberg : Springer, 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.
- ItemExistence, iteration procedures and directional differentiability for parabolic QVIs(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2019) 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 (VIs). 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.
- 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.
- ItemA function space framework for structural total variation regularization with applications in inverse problems(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2017) Hintermüller, Michael; Holler, Martin; Papafitsoros, KostasIn this work, we introduce a function space setting for a wide class of structural/weighted total variation (TV) regularization methods motivated by their applications in inverse problems. In particular, we consider a regularizer that is the appropriate lower semi-continuous envelope (relaxation) of a suitable total variation type functional initially defined for sufficiently smooth functions. We study examples where this relaxation can be expressed explicitly, and we also provide refinements for weighted total variation for a wide range of weights. Since an integral characterization of the relaxation in function space is, in general, not always available, we show that, for a rather general linear inverse problems setting, instead of the classical Tikhonov regularization problem, one can equivalently solve a saddle-point problem where no a priori knowledge of an explicit formulation of the structural TV functional is needed. In particular, motivated by concrete applications, we deduce corresponding results for linear inverse problems with norm and Poisson log-likelihood data discrepancy terms. Finally, we provide proof-of-concept numerical examples where we solve the saddle-point problem for weighted TV denoising as well as for MR guided PET image reconstruction.
- ItemA function space framework for structural total variation regularization with applications in inverse problems(Bristol [u.a.] : Inst., 2018) Hintermüller, Michael; Holler, Martin; Papafitsoros, KostasIn this work, we introduce a function space setting for a wide class of structural/weighted total variation (TV) regularization methods motivated by their applications in inverse problems. In particular, we consider a regularizer that is the appropriate lower semi-continuous envelope (relaxation) of a suitable TV type functional initially defined for sufficiently smooth functions. We study examples where this relaxation can be expressed explicitly, and we also provide refinements for weighted TV for a wide range of weights. Since an integral characterization of the relaxation in function space is, in general, not always available, we show that, for a rather general linear inverse problems setting, instead of the classical Tikhonov regularization problem, one can equivalently solve a saddle-point problem where no a priori knowledge of an explicit formulation of the structural TV functional is needed. In particular, motivated by concrete applications, we deduce corresponding results for linear inverse problems with norm and Poisson log-likelihood data discrepancy terms. Finally, we provide proof-of-concept numerical examples where we solve the saddle-point problem for weighted TV denoising as well as for MR guided PET image reconstruction.
- 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.
- ItemGeneralized Nash equilibrium problems with partial differential operators: Theory, algorithms, and risk aversion(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2019) Gahururu, Deborah; Hintermüller, Michael; Stengl, Steven-Marian; Surowiec, Thomas M.PDE-constrained (generalized) Nash equilibrium problems (GNEPs) are considered in a deterministic setting as well as under uncertainty. This includes a study of deterministic GNEPs with nonlinear and/or multivalued operator equations as forward problems and PDE-constrained GNEPs with uncertain data. The deterministic nonlinear problems are analyzed using the theory of generalized convexity for set-valued operators, and a variational approximation approach is proposed. The stochastic setting includes a detailed overview of the recently developed theory and algorithms for risk-averse PDE-constrained optimization problems. These new results open the way to a rigorous study of stochastic PDE-constrained GNEPs.
- ItemGenerating structured non-smooth priors and associated primal-dual methods(Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2019) Hintermüller, Michael; Papafitsoros, KostasThe purpose of the present chapter is to bind together and extend some recent developments regarding data-driven non-smooth regularization techniques in image processing through the means of a bilevel minimization scheme. The scheme, considered in function space, takes advantage of a dualization framework and it is designed to produce spatially varying regularization parameters adapted to the data for well-known regularizers, e.g. Total Variation and Total Generalized variation, leading to automated (monolithic), image reconstruction workflows. An inclusion of the theory of bilevel optimization and the theoretical background of the dualization framework, as well as a brief review of the aforementioned regularizers and their parameterization, makes this chapter a self-contained one. Aspects of the numerical implementation of the scheme are discussed and numerical examples are provided.
- «
- 1 (current)
- 2
- 3
- »