Search Results

Now showing 1 - 10 of 18
  • Item
    Optimal Entropy-Transport problems and a new Hellinger-Kantorovich distance between positive measures
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2016) Liero, Matthias; Mielke, Alexander; Savaré, Giuseppe
    We develop a full theory for the new class of Optimal Entropy-Transport problems between nonnegative and finite Radon measures in general topological spaces. They arise quite naturally by relaxing the marginal constraints typical of Optimal Transport problems: given a couple of finite measures (with possibly different total mass), one looks for minimizers of the sum of a linear transport functional and two convex entropy functionals, that quantify in some way the deviation of the marginals of the transport plan from the assigned measures. As a powerful application of this theory, we study the particular case of Logarithmic Entropy-Transport problems and introduce the new Hellinger-Kantorovich distance between measures in metric spaces. The striking connection between these two seemingly far topics allows for a deep analysis of the geometric properties of the new geodesic distance, which lies somehow between the well-known Hellinger-Kakutani and Kantorovich-Wasserstein distances.
  • Item
    Second-order analysis of an optimal control problem in a phase field tumor growth model with singular potentials and chemotaxis
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2020) Colli, Pierluigi; Signori, Andrea; Sprekels, Jürgen
    This paper concerns a distributed optimal control problem for a tumor growth model of Cahn--Hilliard type including chemotaxis with possibly singular anpotentials, where the control and state variables are nonlinearly coupled. First, we discuss the weak well-posedness of the system under very general assumptions for the potentials, which may be singular and nonsmooth. Then, we establish the strong well-posedness of the system in a reduced setting, which however admits the logarithmic potential: this analysis will lay the foundation for the study of the corresponding optimal control problem. Concerning the optimization problem, we address the existence of minimizers and establish both first-order necessary and second-order sufficient conditions for optimality. The mathematically challenging second-order analysis is completely performed here, after showing that the solution mapping is twice continuously differentiable between suitable Banach spaces via the implicit function theorem. Then, we completely identify the second-order Fréchet derivative of the control-to-state operator and carry out a thorough and detailed investigation about the related properties.
  • Item
    On M-stationarity conditions in MPECs and the associated qualification conditions
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2016) Adam, Lukáš; Henrion, René; Outrata, Jir̆í
    Depending on whether a mathematical program with equilibrium constraints (MPEC) is considered in its original or its enhanced (via KKT conditions) form, the assumed constraint qualifications (CQs) as well as the derived necessary optimality conditions may differ significantly. In this paper, we study this issue when imposing one of the weakest possible CQs, namely the calmness of the perturbation mapping associated with the respective generalized equations in both forms of the MPEC. It is well known that the calmness property allows one to derive socalled M-stationarity conditions. The strength of assumptions and conclusions in the two forms of the MPEC is strongly related with the CQs on the lower level imposed on the set whose normal cone appears in the generalized equation. For instance, under just the Mangasarian-Fromovitz CQ (a minimum assumption required for this set), the calmness properties of the original and the enhanced perturbation mapping are drastically different. They become identical in the case of a polyhedral set or when adding the Full Rank CQ. On the other hand, the resulting optimality conditions are affected too. If the considered set even satisfies the Linear Independence CQ, both the calmness assumption and the derived optimality conditions are fully equivalent for the original and the enhanced form of the MPEC. A compilation of practically relevant consequences of our analysis in the derivation of necessary optimality conditions is provided in the main Theorem 4.3. The obtained results are finally applied to MPECs with structured equilibria.
  • Item
    Topology optimization subject to additive manufacturing constraints
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2019) Ebeling-Rump, Moritz; Hömberg, Dietmar; Lasarzik, Robert; Petzold, Thomas
    In Topology Optimization the goal is to find the ideal material distribution in a domain subject to external forces. The structure is optimal if it has the highest possible stiffness. A volume constraint ensures filigree structures, which are regulated via a Ginzburg-Landau term. During 3D Printing overhangs lead to instabilities, which have only been tackled unsatisfactorily. The novel idea is to incorporate an Additive Manufacturing Constraint into the phase field method. A rigorous analysis proves the existence of a solution and leads to first order necessary optimality conditions. With an Allen-Cahn interface propagation the optimization problem is solved iteratively. At a low computational cost the Additive Manufacturing Constraint brings about support structures, which can be fine tuned according to engineering demands. Stability during 3D Printing is assured, which solves a common Additive Manufacturing problem.
  • Item
    Optimal boundary control of a nonstandard Cahn-Hilliard system with dynamic boundary condition and double obstacle inclusions : dedicated to our friend Prof. Dr. Gianni Gilardi on the occasion of his 70th birthday
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2017) Colli, Pierluigi; Sprekels, Jürgen
    In this paper, we study an optimal boundary control problem for a model for phase separation taking place in a spatial domain that was introduced by P. Podio-Guidugli in Ric. Mat. 55 (2006), pp. 105–118. The model consists of a strongly coupled system of nonlinear parabolic differential inclusions, in which products between the unknown functions and their time derivatives occur that are difficult to handle analytically; the system is complemented by initial and boundary conditions. For the order parameter of the phase separation process, a dynamic boundary condition involving the Laplace–Beltrami operator is assumed, which models an additional nonconserving phase transition occurring on the surface of the domain. We complement in this paper results that were established in the recent contribution appeared in Evol. Equ. Control Theory 6 (2017), pp. 35–58, by the two authors and Gianni Gilardi. In contrast to that paper, in which differentiable potentials of logarithmic type were considered, we investigate here the (more difficult) case of nondifferentiable potentials of double obstacle type. For such nonlinearities, the standard techniques of optimal control theory to establish the existence of Lagrange multipliers for the state constraints are known to fail. To overcome these difficulties, we employ the following line of approach: we use the results contained in the preprint arXiv:1609.07046 [math.AP] (2016), pp. 1–30, for the case of (differentiable) logarithmic potentials and perform a so-called “deep quench limit”. Using compactness and monotonicity arguments, it is shown that this strategy leads to the desired first-order necessary optimality conditions for the case of (nondifferentiable) double obstacle potentials.
  • Item
    Optimal boundary control of a viscous Cahn-Hilliard system with dynamic boundary condition and double obstacle potentials
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2014) Colli, Pierluigi; Farshbaf Shaker, Mohammad Hassan; Gilardi, Gianni; Sprekels, Jürgen
    In this paper, we investigate optimal boundary control problems for Cahn--Hilliard variational inequalities with a dynamic boundary condition involving double obstacle potentials and the Laplace--Beltrami operator. The cost functional is of standard tracking type, and box constraints for the controls are prescribed. We prove existence of optimal controls and derive first-order necessary conditions of optimality. The general strategy, which follows the lines of the recent approach by Colli, Farshbaf-Shaker, Sprekels (see Appl. Math. Optim., 2014) to the (simpler) Allen--Cahn case, is the following: we use the results that were recently established by Colli, Gilardi, Sprekels in the preprint arXiv:1407.3916 [math.AP] for the case of (differentiable) logarithmic potentials and perform a so-called ``deep quench limit''. Using compactness and monotonicity arguments, it is shown that this strategy leads to the desired first-order necessary optimality conditions for the case of (non-differentiable) double obstacle potentials.
  • Item
    Optimal control for a phase field system with a possibly singular potential
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2014) Colli, Pierluigi; Gilardi, Gianni; Marinoschi, Gabriela; Rocca, Elisabetta
    In this paper we study a distributed control problem for a phase-field system of Caginalp type with logarithmic potential. The main aim of this work would be to force the location of the diffuse interface to be as close as possible to a prescribed set. However, due to the discontinuous character of the cost functional, we have to approximate it by a regular one and, in this case, we solve the associated control problem and derive the related first order necessary optimality conditions.
  • Item
    Optimality conditions for convex stochastic optimization problems in Banach spaces with almost sure state constraint
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2020) Geiersbach, Caroline; Wollner, Winnifried
    We analyze a convex stochastic optimization problem where the state is assumed to belong to the Bochner space of essentially bounded random variables with images in a reflexive and separable Banach space. For this problem, we obtain optimality conditions that are, with an appropriate model, necessary and sufficient. Additionally, the Lagrange multipliers associated with optimality conditions are integrable vector-valued functions and not only measures. A model problem is given demonstrating the application to PDE-constrained optimization under uncertainty.
  • Item
    Sparse optimal control of a phase field system with singular potentials arising in the modeling of tumor growth
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2020) Sprekels, Jürgen; Tröltzsch, Fredi
    In this paper, we study an optimal control problem for a nonlinear system of reaction-diffusion equations that constitutes a simplified and relaxed version of a thermodynamically consistent phase field model for tumor growth originally introduced in [13]. The model takes the effect of chemotaxis into account but neglects velocity contributions. The unknown quantities of the governing state equations are the chemical potential, the (normalized) tumor fraction, and the nutrient extra-cellular water concentration. The equation governing the evolution of the tumor fraction is dominated by the variational derivative of a double-well potential which may be of singular (e.g., logarithmic) type. In contrast to the recent paper [10] on the same system, we consider in this paper sparsity effects, which means that the cost functional contains a nondifferentiable (but convex) contribution like the L1-norm. For such problems, we derive first-order necessary optimality conditions and conditions for directional sparsity, both with respect to space and time, where the latter case is of particular interest for practical medical applications in which the control variables are given by the administration of cytotoxic drugs or by the supply of nutrients. In addition to these results, we prove that the corresponding control-to-state operator is twice continuously differentiable between suitable Banach spaces, using the implicit function theorem. This result, which complements and sharpens a differentiability result derived in [10], constitutes a prerequisite for a future derivation of second-order sufficient optimality conditions.
  • Item
    An enumerative formula for the spherical cap discrepancy
    (Berlin : Weierstraß-Institut für Angewandte Analysis und Stochastik, 2020) Heitsch, Holger; Henrion, René
    The spherical cap discrepancy is a widely used measure for how uniformly a sample of points on the sphere is distributed. Being hard to compute, this discrepancy measure is typically replaced by some lower or upper estimates when designing optimal sampling schemes for the uniform distribution on the sphere. In this paper, we provide a fully explicit, easy to implement enumerative formula for the spherical cap discrepancy. Not surprisingly, this formula is of combinatorial nature and, thus, its application is limited to spheres of small dimension and moderate sample sizes. Nonetheless, it may serve as a useful calibrating tool for testing the efficiency of sampling schemes and its explicit character might be useful also to establish necessary optimality conditions when minimizing the discrepancy with respect to a sample of given size.