Prof. Dr. Christian Meyer
Lehrstuhl für Wissenschaftliches Rechnen
TU Dortmund University
- A nonsmooth trust-region method for locally lipschitz functions with application to optimization problems constrained by variational inequalities
CHRISTOF, C. and DE LOS REYES, J.C. and MEYER, C.
SIAM Journal on Optimization 30 (2020)We propose a general trust-region method for the minimization of nonsmooth and nonconvex, locally Lipschitz continuous functions that can be applied, e.g., to optimization problems constrained by elliptic variational inequalities. The convergence of the considered algorithm to Cstationary points is verified in an abstract setting and under suitable assumptions on the involved model functions. For a special instance of a variational inequality constrained problem, we are able to properly characterize the Bouligand subdifferential of the reduced cost function, and, based on this characterization result, we construct a computable trust-region model which satisfies all hypotheses of our general convergence analysis. The article concludes with numerical experiments that illustrate the main properties of the proposed algorithm. © 2020 Society for Industrial and Applied Mathematics.
view abstract 10.1137/18M1164925
- A priori error analysis of local incremental minimization schemes for rate-independent evolutions
Meyer, C. and Sievers, M.
SIAM Journal on Numerical Analysis 58 (2020)This paper is concerned with a priori error estimates for the local incremental minimization scheme, which is an implicit time discretization method for the approximation of rate-independent systems with nonconvex energies. We first show by means of a counterexample that one cannot expect global convergence of the scheme without any further assumptions on the energy. For the class of uniformly convex energies, we derive error estimates of optimal order, provided that the Lipschitz constant of the load is sufficiently small. Afterwards, we extend this result to the case of an energy, which is only locally uniformly convex in a neighborhood of a given solution trajectory. For the latter case, the local incremental minimization scheme turns out to be superior compared to its global counterpart, as a numerical example demonstrates. © 2020 Society for Industrial and Applied Mathematics
view abstract 10.1137/19M1281423
- Analysis of a viscous two-field gradient damage model I: Existence and uniqueness
Meyer, C. and Susu, L.M.
Zeitschrift fur Analysis und ihre Anwendung 38 (2019)The paper deals with a viscous damage model including two damage variables, a local and a non-local one, which are coupled through a penalty term in the free energy functional. Under certain regularity conditions for linear elasticity equations, existence and uniqueness of the solution is proven, provided that the penalization parameter is chosen sufficiently large. Moreover, the regularity of the unique solution is investigated, in particular the differentiability w.r.t. time. © European Mathematical Society.
view abstract 10.4171/ZAA/1637
- Finite element discretization of local minimization schemes for rate-independent evolutions
Meyer, C. and Sievers, M.
Calcolo 56 (2019)This paper is concerned with a space-time discretization of a rate-independent evolution governed by a non-smooth dissipation and a non-convex energy functional. For the time discretization, we apply the local minimization scheme introduced in Efendiev and Mielke (J Convex Anal 13(1):151–167, 2006), which is known to resolve time discontinuities, which may show up due to the non-convex energy. The spatial discretization is performed by classical linear finite elements. We show that accumulation points of the sequence of discrete solutions for mesh size tending to zero exist and are so-called parametrized solutions of the continuous problem. The discrete problems are solved by means of a mass lumping scheme for the non-smooth dissipation functional in combination with a semi-smooth Newton method. A numerical test indicates the efficiency of this approach. In addition, we compared the local minimization scheme with a time stepping scheme for global energetic solutions, which shows that both schemes yield different solutions with differing time discontinuities. © 2019, Istituto di Informatica e Telematica (IIT).
view abstract 10.1007/s10092-018-0301-4
- Quadratically Regularized Optimal Transport
Lorenz, D.A. and Manns, P. and Meyer, C.
Applied Mathematics and Optimization (2019)We investigate the problem of optimal transport in the so-called Kantorovich form, i.e. given two Radon measures on two compact sets, we seek an optimal transport plan which is another Radon measure on the product of the sets that has these two measures as marginals and minimizes a certain cost function. We consider quadratic regularization of the problem, which forces the optimal transport plan to be a square integrable function rather than a Radon measure. We derive the dual problem and show strong duality and existence of primal and dual solutions to the regularized problem. Then we derive two algorithms to solve the dual problem of the regularized problem: A Gauss–Seidel method and a semismooth quasi-Newton method and investigate both methods numerically. Our experiments show that the methods perform well even for small regularization parameters. Quadratic regularization is of interest since the resulting optimal transport plans are sparse, i.e. they have a small support (which is not the case for the often used entropic regularization where the optimal transport plan always has full measure). © 2019, Springer Science+Business Media, LLC, part of Springer Nature.
view abstract 10.1007/s00245-019-09614-w
- Sensitivity Analysis for a Class of H01 -Elliptic Variational Inequalities of the Second Kind
Christof, C. and Meyer, C.
Set-Valued and Variational Analysis 27 (2019)We study the stability of solutions to H01-elliptic variational inequalities of the second kind that contain a non-differentiable Nemytskii operator. The local Lipschitz continuity of the solution map with respect to perturbations of the right-hand side and perturbations of the coefficient of the Nemytskii operator is proved for a large class of problems, and Hadamard directional differentiability results are obtained under comparatively mild structural assumptions. It is further shown that the directional derivatives of the solution map are typically characterized by elliptic variational inequalities in weighted Sobolev spaces whose bilinear forms contain surface integrals. © 2018, Springer Nature B.V.
view abstract 10.1007/s11228-018-0495-2
- A note on a priori Lp -error estimates for the obstacle problem
Christof, C. and Meyer, C.
Numerische Mathematik 139 (2018)This paper is concerned with a priori error estimates for the piecewise linear finite element approximation of the classical obstacle problem. We demonstrate by means of two one-dimensional counterexamples that the L2-error between the exact solution u and the finite element approximation uh is typically not of order two even if the exact solution is in H2(Ω) and an estimate of the form ‖u-uh‖H1≤Ch holds true. This shows that the classical Aubin–Nitsche trick which yields a doubling of the order of convergence when passing over from the H1- to the L2-norm cannot be generalized to the obstacle problem. © 2017, Springer-Verlag GmbH Germany, part of Springer Nature.
view abstract 10.1007/s00211-017-0931-5
- Combinatorial optimal control of semilinear elliptic PDEs
Buchheim, C. and Kuhlmann, R. and Meyer, C.
Computational Optimization and Applications 70 (2018)Optimal control problems (OCPs) containing both integrality and partial differential equation (PDE) constraints are very challenging in practice. The most wide-spread solution approach is to first discretize the problem, which results in huge and typically nonconvex mixed-integer optimization problems that can be solved to proven optimality only in very small dimensions. In this paper, we propose a novel outer approximation approach to efficiently solve such OCPs in the case of certain semilinear elliptic PDEs with static integer controls over arbitrary combinatorial structures, where we assume the nonlinear part of the PDE to be non-decreasing and convex. The basic idea is to decompose the OCP into an integer linear programming (ILP) master problem and a subproblem for calculating linear cutting planes. These cutting planes rely on the pointwise concavity or submodularity of the PDE solution with respect to the control variables. The decomposition allows us to use standard solution techniques for ILPs as well as for PDEs. We further benefit from reoptimization strategies for the PDE solution due to the iterative structure of the algorithm. Experimental results show that the new approach is capable of solving the combinatorial OCP of a semilinear Poisson equation with up to 180 binary controls to global optimality within a 5 h time limit. In the case of the screened Poisson equation, which yields semi-infinite integer linear programs, problems with as many as 1400 binary controls are solved. © 2018, Springer Science+Business Media, LLC, part of Springer Nature.
view abstract 10.1007/s10589-018-9993-2
- Interactive data analytics for the humanities
Gurevych, I. and Meyer, C.M. and Binnig, C. and Fürnkranz, J. and Kersting, K. and Roth, S. and Simpson, E.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 10761 LNCS (2018)In this vision paper, we argue that current solutions to data analytics are not suitable for complex tasks from the humanities, as they are agnostic of the user and focused on static, predefined tasks with large-scale benchmarks. Instead, we believe that the human must be put into the loop to address small data scenarios that require expert domain knowledge and fluid, incrementally defined tasks, which are common for many humanities use cases. Besides the main challenges, we discuss existing and urgently required solutions to interactive data acquisition, model development, model interpretation, and system support for interactive data analytics. In the envisioned interactive systems, human users not only provide annotations to a machine learner, but train a model by using the system and demonstrating the task. The learning system will actively query the user for feedback, refine its model in real-time, and is able to explain its decisions. Our vision links natural language processing research with recent advances in machine learning, computer vision, and data management systems, as realizing this vision relies on combining expertise from all of these scientific fields. © Springer Nature Switzerland AG 2018.
view abstract 10.1007/978-3-319-77113-7_41
- Optimal control of a non-smooth semilinear elliptic equation
Christof, C. and Meyer, C. and Walther, S. and Clason, C.
Mathematical Control and Related Fields 8 (2018)This paper is concerned with an optimal control problem governed by a non-smooth semilinear elliptic equation. We show that the control-to-state mapping is directionally differentiable and precisely characterize its Bouligand subdifferential. By means of a suitable regularization, first-order optimality conditions including an adjoint equation are derived and afterwards interpreted in light of the previously obtained characterization. In addition, the directional derivative of the control-to-state mapping is used to establish strong stationarity conditions. While the latter conditions are shown to be stronger, we demonstrate by numerical examples that the former conditions are amenable to numerical solution using a semi-smooth Newton method. © 2018, American Institute of Mathematical Sciences. All rights reserved.
view abstract 10.3934/mcrf.2018011
- Preface of the Guest Editors
Meyer, C. and Knees, D. and Herzog, R.
GAMM Mitteilungen 40 (2018)
view abstract 10.1002/gamm.201730001
- The Effectiveness of Lexicographic Tools for Optimising Written L1-Texts
Wolfer, S. and Bartz, T. and Weber, T. and Abel, A. and Meyer, C.M. and Müller-Spitzer, C. and Storrer, A.
International Journal of Lexicography 31 (2018)We present an empirical study addressing the question whether, and to which extent, lexicographic writing aids improve text revision results. German university students were asked to optimise two German texts using (1) no aids at all, (2) highlighted problems, or (3) highlighted problems accompanied by lexicographic resources that could be used to solve the specific problems. We found that participants from the third group corrected the largest number of problems and introduced the fewest semantic distortions during revision. Also, they reached the highest overall score and were most efficient (as measured in points per time). The second group with highlighted problems lies between the two other groups in almost every measure we analysed. We discuss these findings in the scope of intelligent writing environments, the effectiveness of writing aids in practical usage situations and teaching dictionary skills. © 2017 Oxford University Press. All rights reserved.
view abstract 10.1093/ijl/ecw038
- A note on a priori Lp-error estimates for the obstacle problem
Christof, C. and Meyer, C.
Numerische Mathematik (2017)This paper is concerned with a priori error estimates for the piecewise linear finite element approximation of the classical obstacle problem. We demonstrate by means of two one-dimensional counterexamples that the (Formula presented.)-error between the exact solution u and the finite element approximation (Formula presented.) is typically not of order two even if the exact solution is in (Formula presented.) and an estimate of the form (Formula presented.) holds true. This shows that the classical Aubin–Nitsche trick which yields a doubling of the order of convergence when passing over from the (Formula presented.)- to the (Formula presented.)-norm cannot be generalized to the obstacle problem. © 2017 Springer-Verlag GmbH Germany, part of Springer Nature
view abstract 10.1007/s00211-017-0931-5
- Existence of solutions of a thermoviscoplastic model and associated optimal control problems
Herzog, R. and Meyer, C. and Stötzner, A.
Nonlinear Analysis: Real World Applications 35 (2017)A quasistatic, thermoviscoplastic model at small strains with linear kinematic hardening, von Mises yield condition and mixed boundary conditions is considered. The existence of a unique weak solution is proved by means of a fixed-point argument, and by employing maximal parabolic regularity theory. The weak continuity of the solution operator is also shown. As an application, the existence of a global minimizer of a class of optimal control problems is proved. © 2016 Elsevier Ltd
view abstract 10.1016/j.nonrwa.2016.10.008
- Optimal control of nonsmooth, semilinear parabolic equations
Meyer, C. and Susu, L.M.
SIAM Journal on Control and Optimization 55 (2017)This paper is concerned with an optimal control problem governed by a semilinear, nonsmooth operator differential equation. The nonlinearity is locally Lipschitz-continuous and directionally differentiable but not Gateaux-differentiable. By employing the limited differentiability properties of the control-to-state map, first-order necessary optimality conditions in qualified form are established, which are equivalent to the purely primal condition saying that the directional derivative of the reduced objective in feasible directions is nonnegative. The paper ends with the application of the general results to a semilinear heat equation. © 2017 Society for Industrial and Applied Mathematics.
view abstract 10.1137/15M1040426
- Optimal control of the thermistor problem in three spatial dimensions, part 2: Optimality conditions
Meinlschmidt, H. and Meyer, C. and Rehberg, J.
SIAM Journal on Control and Optimization 55 (2017)This paper is concerned with the state-constrained optimal control of the threedimensional thermistor problem, a fully quasilinear coupled system of a parabolic and elliptic PDE with mixed boundary conditions. This system models the heating of a conducting material by means of direct current. Local existence, uniqueness, and continuity for the state system as well as existence of optimal solutions, admitting global-in-time solutions, to the optimization problem were shown in the the companion paper of this work. In this part, we address further properties of the set of controls whose associated solutions exist globally, such as openness, which includes analysis of the linearized state system via maximal parabolic regularity. The adjoint system involving measures is investigated using a duality argument. These results allow us to derive first-order necessary conditions for the optimal control problem in the form of a qualified optimality system in which we do not need to refer to the set of controls admitting global solutions. The theoretical findings are illustrated by numerical results. This work is the second of two papers on the three-dimensional thermistor problem. © 2017 Society for Industrial and Applied Mathematics.
view abstract 10.1137/16M1072656
- Optimal control of static elastoplasticity in primal formulation
De Los Reyes, J.C. and Herzog, R. and Meyer, C.
SIAM Journal on Control and Optimization 54 (2016)An optimal control problem of static plasticity with linear kinematic hardening and von Mises yield condition is studied. The problem is treated in its primal formulation, where the state system is a variational inequality of the second kind. First-order necessary optimality conditions are obtained by means of an approximation by a family of control problems with state system regularized by Huber-type smoothing, and a subsequent limit analysis. The equivalence of the optimality conditions with the C-stationarity system for the equivalent dual formulation of the problem is proved. Numerical experiments are presented, which demonstrate the viability of the Huber-type smoothing approach. © 2016 Society for Industrial and Applied Mathematics.
view abstract 10.1137/130920861
- Optimal control of the inhomogeneous relativistic Maxwell-Newton-Lorentz equations
Meyer, C. and Schnepp, S.M. and Thoma, O.
SIAM Journal on Control and Optimization 54 (2016)This note is concerned with an optimal control problem governed by the relativistic Maxwell-Newton-Lorentz equations, which describe the motion of charged particles in electromagnetic fields and consists of a hyperbolic PDE system coupled with a nonlinear ODE. An external magnetic field acts as control variable. Additional control constraints are incorporated by introducing a scalar magnetic potential which leads to an additional state equation in the form of a very weak elliptic PDE. Existence and uniqueness for the state equation is shown and the existence of a global optimal control is established. Moreover, first-order necessary optimality conditions in the form of Karush-Kuhn-Tucker conditions are derived. A numerical test illustrates the theoretical findings. © 2016 Society for Industrial and Applied Mathematics.
view abstract 10.1137/14100083X
- Strong Stationarity Conditions for a Class of Optimization Problems Governed by Variational Inequalities of the Second Kind
De los Reyes, J.C. and Meyer, C.
Journal of Optimization Theory and Applications 168 (2016)We investigate optimality conditions for optimization problems constrained by a class of variational inequalities of the second kind. Based on a nonsmooth primal–dual reformulation of the governing inequality, the differentiability of the solution map is studied. Directional differentiability is proved both for finite-dimensional problems and for problems in function spaces, under suitable assumptions on the active set. A characterization of Bouligand and strong stationary points is obtained thereafter. Finally, based on the obtained first-order information, a trust-region algorithm is proposed for the solution of the optimization problems. © 2015, Springer Science+Business Media New York.
view abstract 10.1007/s10957-015-0748-2
- Adaptive optimal control of the obstacle problem
Meyer, C. and Rademacher, A. and Wollner, W.
SIAM Journal on Scientific Computing 37 (2015)This article is concerned with the derivation of a posteriori error estimates for optimization problems subject to an obstacle problem. To circumvent the nondifferentiability inherent to this type of problem, we introduce a sequence of penalized but differentiable problems. We show differentiability of the central path and derive separate a posteriori dual weighted residual estimates for the errors due to penalization, discretization, and iterative solution of the discrete problems. The effectivity of the derived estimates and of the adaptive algorithm is demonstrated on two numerical examples. © 2015 Society for Industrial and Applied Mathematics.
view abstract 10.1137/140975863
- Second-order sufficient optimality conditions for optimal control of static elastoplasticity with hardening
Betz, T. and Meyer, C.
ESAIM - Control, Optimisation and Calculus of Variations 21 (2015)The paper is concerned with the optimal control of static elastoplasticity with linear kinematic hardening. This leads to an optimal control problem governed by an elliptic variational inequality (VI) of first kind in mixed form. Based on Lp-regularity results for the state equation, it is shown that the control-to-state operator is Bouligand differentiable. This enables to establish second-order sufficient optimality conditions by means of a Taylor expansion of a particularly chosen Lagrange function. © EDP Sciences, SMAI 2014.
view abstract 10.1051/cocv/2014024
- A priori finite element error analysis for optimal control of the obstacle problem
Meyer, C. and Thoma, O.
SIAM Journal on Numerical Analysis 51 (2013)An optimal control problem governed by a unilateral obstacle problem is considered. The problem is discretized using linear finite elements for the state and the obstacle and a variational discrete approach for the control. Based on strong stationarity and a quadratic growth condition we establish a priori error estimates which turn out to be quasi-optimal under additional assumptions on the data. The theoretical findings are illustrated by two numerical tests. © 2013 Society for Industrial and Applied Mathematics.
view abstract 10.1137/110836092
- Algorithms for the optimization of RBE-weighted dose in particle therapy
Horcicka, M. and Meyer, C. and Buschbacher, A. and Durante, M. and Krämer, M.
Physics in Medicine and Biology 58 (2013)We report on various algorithms used for the nonlinear optimization of RBE-weighted dose in particle therapy. Concerning the dose calculation carbon ions are considered and biological effects are calculated by the Local Effect Model. Taking biological effects fully into account requires iterative methods to solve the optimization problem. We implemented several additional algorithms into GSI's treatment planning system TRiP98, like the BFGS-algorithm and the method of conjugated gradients, in order to investigate their computational performance. We modified textbook iteration procedures to improve the convergence speed. The performance of the algorithms is presented by convergence in terms of iterations and computation time. We found that the Fletcher-Reeves variant of the method of conjugated gradients is the algorithm with the best computational performance. With this algorithm we could speed up computation times by a factor of 4 compared to the method of steepest descent, which was used before. With our new methods it is possible to optimize complex treatment plans in a few minutes leading to good dose distributions. At the end we discuss future goals concerning dose optimization issues in particle therapy which might benefit from fast optimization solvers. © 2013 Institute of Physics and Engineering in Medicine.
view abstract 10.1088/0031-9155/58/2/275
- B-and strong stationarity for optimal control of static plasticity with hardening
Herzog, R. and Meyer, C. and Wachsmuth, G.
SIAM Journal on Optimization 23 (2013)Optimal control problems for the variational inequality of static elastoplasticity with linear kinematic hardening are considered. The control-to-state map is shown to be weakly directionally differentiable, and local optimal controls are proved to verify an optimality system of B-stationary type. For a modified problem, local minimizers are shown to even satisfy an optimality system of strongly stationary type. © 2013 Society for Industrial and Applied Mathematics.
view abstract 10.1137/110821147
- Existence and regularity of the plastic multiplier in static and quasistatic plasticity
Herzog, R. and Meyer, C. and Wachsmuth, G.
GAMM Mitteilungen 34 (2011)Existence of the plastic multiplier with L1 spatial regularity for quasistatic and static plasticity is proved for arbitrary continuous and convex yield functions and linear hardening laws. L2 regularity is shown in the particular cases of kinematic hardening, or combined kinematic and isotropic hardening. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
view abstract 10.1002/gamm.201110006
- Integrability of displacement and stresses in linear and nonlinear elasticity with mixed boundary conditions
Herzog, R. and Meyer, C. and Wachsmuth, G.
Journal of Mathematical Analysis and Applications 382 (2011)Equations of linear and nonlinear infinitesimal elasticity with mixed boundary conditions are considered. The bounded domain is assumed to have a Lipschitz boundary and to satisfy additional regularity assumptions. W1,p regularity for the displacements and Lp regularity for the stresses are proved for some p>2. © 2011 Elsevier Inc.
view abstract 10.1016/j.jmaa.2011.04.074
- Optimal control of static plasticity with linear kinematic hardening
Herzog, R. and Meyer, C.
ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik 91 (2011)An optimal control problem for the static problem of infinitesimal elastoplasticity with linear kinematic hardening is considered. The variational inequality arising on the lower-level is regularized using a Yosida-type approach, and an optimal control problem for the so-called viscoplastic model is obtained. Existence of a global optimizer is proved for both the regularized and original problems, and strong convergence of the solutions is established. An optimal control problem for the static problem of infinitesimal elastoplasticity with linear kinematic hardening is considered. The variational inequality arising on the lower-level is regularized using a Yosida-type approach, and an optimal control problem for the so-called viscoplastic model is obtained. Existence of a global optimizer is proved for both the regularized and original problems, and strong convergence of the solutions is established. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.
view abstract 10.1002/zamm.200900378
- Uniqueness criteria for the adjoint equation in state-constrained elliptic optimal control
Meyer, C. and Panizzi, L. and Schiela, A.
Numerical Functional Analysis and Optimization 32 (2011)The article considers linear elliptic equations with regular Borel measures as inhomogeneity. Such equations frequently appear in state-constrained optimal control problems. By a counter example of Serrin , it is known that, in the presence of non-smooth data, a standard weak formulation does not ensure uniqueness for such equations. Therefore several notions of solution have been developed that guarantee uniqueness. In this note, we compare different definitions of solutions, namely the ones of Stampacchia  and Boccardo-Galout  and the two notions of solutions of [2, 7], and show that they are equivalent. As side results, we reformulate the solution in the sense of , and prove the existence of solutions in the sense of [2, 4, 7] in case of mixed boundary conditions. Copyright © Taylor & Francis Group, LLC.
view abstract 10.1080/01630563.2011.587074
- A priori error analysis for linear quadratic elliptic neumann boundary control problems with control and State Constraints
Krumbiegel, K. and Meyer, C. and Rösch, A.
SIAM Journal on Control and Optimization 48 (2010)In this paper we consider a state-constrained optimal control problem with boundary control, where the state constraints are imposed only in an interior subdomain. Our goal is to derive a priori error estimates for a finite element discretization with and without additional regularization. We will show that the separation of the set where the control acts and the set where the state constraints are given improves the approximation rates significantly. The theoretical results are illustrated by numerical computations. © 2010 Society for Industrial and Applied Mathematics.
view abstract 10.1137/090746148
equations of state
optimal control systems