@misc{Harder, author = {Harder, Felix}, title = {Legendre Forms in Reflexive Banach Spaces}, series = {Zeitschrift f{\"u}r Analysis und ihre Anwendungen}, volume = {37}, journal = {Zeitschrift f{\"u}r Analysis und ihre Anwendungen}, number = {4}, issn = {1661-4534}, doi = {10.4171/ZAA/1619}, pages = {377 -- 388}, abstract = {Legendre forms are used in the literature for second-order sufficient optimality conditions of optimization problems in (reflexive) Banach spaces. We show that if a Legendre form exists on a reflexive Banach space, then this space is already isomorphic to a Hilbert space.}, language = {en} } @misc{HarderWachsmuth, author = {Harder, Felix and Wachsmuth, Gerd}, title = {Optimality Conditions for a Class of Inverse Optimal Control Problems With Partial Differential Equations}, series = {Optimization: A Journal of Mathematical Programming and Operations Research}, journal = {Optimization: A Journal of Mathematical Programming and Operations Research}, issn = {0233-1934}, doi = {10.1080/02331934.2018.1495205}, pages = {29}, abstract = {We consider bilevel optimization problems which can be interpreted as inverse optimal control problems. The lower-level problem is an optimal control problem with a parametrized objective function. The upper-level problem is used to identify the parameters of the lower-level problem. Our main focus is the derivation of first-order necessary optimality conditions. We prove C-stationarity of local solutions of the inverse optimal control problem and give a counterexample to show that strong stationarity might be violated at a local minimizer.}, language = {en} } @misc{WachsmuthHarder, author = {Wachsmuth, Gerd and Harder, Felix}, title = {The limiting normal cone of a complementarity set in Sobolev spaces}, series = {Optimization}, volume = {67}, journal = {Optimization}, number = {10}, issn = {0233-1934}, doi = {10.1080/02331934.2018.1484467}, pages = {1579 -- 1603}, abstract = {We investigate the limiting normal cone of the complementarity set associated with non-negative functions in the Sobolev space. By using results from homogenization theory, we provide lower estimates for this limiting normal cone. These estimates are unpleasantly large.}, language = {en} } @misc{HarderWachsmuth, author = {Harder, Felix and Wachsmuth, Gerd}, title = {Comparison of Optimality Systems for the Optimal Control of the Obstacle Problem}, series = {GAMM-Mitteilung}, volume = {40}, journal = {GAMM-Mitteilung}, number = {4}, issn = {0936-7195}, doi = {10.1002/gamm.201740004}, pages = {312 -- 338}, abstract = {We consider stationarity systems for the optimal control of the obstacle problem. The focus is on the comparison of several different systems which are provided in the literature. We obtain some novel results concerning the relations between these stationarity concepts.}, language = {en} } @misc{DempeHarderMehlitzetal., author = {Dempe, Stephan and Harder, Felix and Mehlitz, Patrick and Wachsmuth, Gerd}, title = {Solving inverse optimal control problems via value functions to global optimality}, series = {Journal of Global Optimization}, volume = {74}, journal = {Journal of Global Optimization}, number = {2}, issn = {0925-5001}, doi = {10.1007/s10898-019-00758-1}, pages = {297 -- 325}, abstract = {In this paper, we show how a special class of inverse optimal control problems of elliptic partial differential equations can be solved globally. Using the optimal value function of the underlying parametric optimal control problem, we transfer the overall hierarchical optimization problem into a nonconvex single-level one. Unfortunately, standard regularity conditions like Robinson's CQ are violated at all the feasible points of this surrogate problem. It is, however, shown that locally optimal solutions of the problem solve a Clarke-stationarity-type system. Moreover, we relax the feasible set of the surrogate problem iteratively by approximating the lower level optimal value function from above by piecewise affine functions. This allows us to compute globally optimal solutions of the original inverse optimal control problem. The global convergence of the resulting algorithm is shown theoretically and illustrated by means of a numerical example.}, language = {en} } @misc{HarderMehlitzWachsmuth, author = {Harder, Felix and Mehlitz, Patrick and Wachsmuth, Gerd}, title = {Reformulation of the M-stationarity conditions as a system of discontinuous equations and its solution by a semismooth Newton method}, series = {SIAM Journal on Optimization (SIOPT)}, volume = {31}, journal = {SIAM Journal on Optimization (SIOPT)}, number = {2}, issn = {1095-7189}, doi = {10.1137/20m1321413}, pages = {1459 -- 1488}, abstract = {We show that the Mordukhovich-stationarity system associated with a mathematical program with complementarity constraints (MPCC) can be equivalently written as a system of discontinuous equations which can be tackled with a semismooth Newton method. It will be demonstrated that the resulting algorithm can be interpreted as an active set strategy for MPCCs. Local fast convergence of the method is guaranteed under validity of an MPCC-tailored version of LICQ and a suitable strong second-order condition. In case of linear-quadratic MPCCs, the LICQ-type constraint qualification can be replaced by a weaker condition which depends on the underlying multipliers. We discuss a suitable globalization strategy for our method. Some numerical results are presented in order to illustrate our theoretical findings.}, language = {en} } @misc{Harder, author = {Harder, Felix}, title = {A new elementary proof for M-stationarity under MPCC-GCQ for mathematical programs with complementarity constraints}, series = {Journal of Nonsmooth Analysis and Optimization}, volume = {2021}, journal = {Journal of Nonsmooth Analysis and Optimization}, number = {2}, issn = {2700-7448}, doi = {10.46298/jnsao-2021-6903}, pages = {1 -- 7}, abstract = {It is known in the literature that local minimizers of mathematical programs with complementarity constraints (MPCCs) are so-called M-stationary points, if a weak MPCC-tailored Guignard constraint qualification (called MPCC-GCQ) holds. In this paper we present a new elementary proof for this result. Our proof is significantly simpler than existing proofs and does not rely on deeper technical theory such as calculus rules for limiting normal cones. A crucial ingredient is a proof of a (to the best of our knowledge previously open) conjecture, which was formulated in a Diploma thesis by Schinabeck.}, language = {en} } @misc{HarderWachsmuth, author = {Harder, Felix and Wachsmuth, Gerd}, title = {M-stationarity for a class of MPCCs in Lebesgue spaces}, series = {Journal of Mathematical Analysis and Applications}, volume = {512}, journal = {Journal of Mathematical Analysis and Applications}, number = {2}, pages = {1 -- 28}, language = {en} } @misc{FriedemannHarderWachsmuth, author = {Friedemann, Markus and Harder, Felix and Wachsmuth, Gerd}, title = {Finding global solutions of some inverse optimal control problems using penalization and semismooth Newton methods}, series = {Journal of Global Optimization}, volume = {86}, journal = {Journal of Global Optimization}, number = {4}, issn = {1573-2916}, doi = {10.1007/s10898-023-01288-7}, pages = {1025 -- 1061}, language = {en} }