Search Results

Now showing 1 - 10 of 29
  • Item
    A function space framework for structural total variation regularization with applications in inverse problems
    (Bristol [u.a.] : Inst., 2018) Hintermüller, Michael; Holler, Martin; Papafitsoros, Kostas
    In 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.
  • Item
    A semismooth Newton method with analytical path-following for the H1-projection onto the Gibbs simplex
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2016) Adam, Lukáš; Hintermüller, Michael; Surowiec, Thomas M.
    An efficient, function-space-based second-order method for the H1-projection onto the Gibbs-simplex is presented. The method makes use of the theory of semismooth Newton methods in function spaces as well as Moreau-Yosida regularization and techniques from parametric optimization. A path-following technique is considered for the regularization parameter updates. A rigorous first and second-order sensitivity analysis of the value function for the regularized problem is provided to justify the update scheme. The viability of the algorithm is then demonstrated for two applications found in the literature: binary image inpainting and labeled data classification. In both cases, the algorithm exhibits meshindependent behavior.
  • Item
    Generalized 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.
  • Item
    Adaptive 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, Tao
    Choices 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.
  • Item
    Optimal selection of the regularization function in a generalized total variation model. Part II: Algorithm, its analysis and numerical tests
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2016) Hintermüller, Michael; Rautenberg, Carlos N.; Wu, Tao; Langer, Andreas
    Based on the generalized total variation model and its analysis pursued in part I (WIAS Preprint no. 2235), in this paper a continuous, i.e., infinite dimensional, projected gradient algorithm and its convergence analysis are presented. The method computes a stationary point of a regularized bilevel optimization problem for simultaneously recovering the image as well as determining a spatially distributed regularization weight. Further, its numerical realization is discussed and results obtained for image denoising and deblurring as well as Fourier and wavelet inpainting are reported on.
  • Item
    A 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, Kostas
    In 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.
  • Item
    A goal-oriented dual-weighted adaptive finite element approach for the optimal control of a nonsmooth Cahn-Hilliard-Navier-Stokes system
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2016) Hintermüller, Michael; Hinze, Michael; Kahle, Christian; Tobias, Keil
    This paper is concerned with the development and implementation of an adaptive solution algorithm for the optimal control of a time-discrete Cahn-Hilliard-Navier-Stokes system with variable densities. The free energy density associated to the Cahn-Hilliard system incorporates the double-obstacle potential which yields an optimal control problem for a family of coupled systems in each time instant of a variational inequality of fourth order and the Navier-Stokes equation. A dual-weighted residual approach for goal-oriented adaptive finite elements is presented which is based on the concept of C-stationarity. The overall error representation depends on primal residuals weighted by approximate dual quantities and vice versa as well as various complementarity mismatch errors. Details on the numerical realization of the adaptive concept and a report on numerical tests are given.
  • Item
    Density of convex intersections and applications
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2016) Hintermüller, Michael; Rautenberg, Carlos N.; Rösel, Simon
    In 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.
  • Item
    Optimal selection of the regularization function in a generalized total variation model. Part I: Modelling and theory
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2016) Hintermüller, Michael; Rautenberg, Carlos N.
    A generalized total variation model with a spatially varying regularization weight is considered. Existence of a solution is shown, and the associated Fenchel-predual problem is derived. For automatically selecting the regularization function, a bilevel optimization framework is proposed. In this context, the lower-level problem, which is parameterized by the regularization weight, is the Fenchel predual of the generalized total variation model and the upper-level objective penalizes violations of a variance corridor. The latter object relies on a localization of the image residual as well as on lower and upper bounds inspired by the statistics of the extremes.
  • Item
    Optimal control of geometric partial differential equations
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2019) Hintermüller, Michael; Keil, Tobias
    Optimal control problems for geometric (evolutionary) partial differential inclusions are considered. The focus is on problems which, in addition to the nonlinearity due to geometric evolution, contain optimization theoretic challenges because of non-smoothness. The latter might stem from energies containing non-smooth constituents such as obstacle-type potentials or terms modeling, e.g., pinning phenomena in microfluidics. Several techniques to remedy the resulting constraint degeneracy when deriving stationarity conditions are presented. A particular focus is on Yosida-type mollifications approximating the original degenerate problem by a sequence of nondegenerate nonconvex optimal control problems. This technique is also the starting point for the development of numerical solution schemes. In this context, also dual-weighted residual based error estimates are addressed to facilitate an adaptive mesh refinement. Concerning the underlying state model, sharp and diffuse interface formulations are discussed. While the former always allows for accurately tracing interfacial motion, the latter model may be dictated by the underlying physical phenomenon, where near the interface mixed phases may exist, but it may also be used as an approximate model for (sharp) interface motion. In view of the latter, (sharp interface) limits of diffuse interface models are addressed. For the sake of presentation, this exposition confines itself to phase field type diffuse interface models and, moreover, develops the optimal control of either of the two interface models along model applications. More precisely, electro-wetting on dielectric is used in the sharp interface context, and the control of multiphase fluids involving spinodal decomposition highlights the phase field technique. Mathematically, the former leads to a Hele-Shaw flow with geometric boundary conditions involving a complementarity system due to contact line pinning, and the latter gives rise to a Cahn-Hilliard Navier-Stokes model including a non-smooth obstacle type potential leading to a variational inequality constraint.