Priority Programme 1962 Beyond the Oracle: Opportunities of Piecewise Differentiation

For more than thirty years much of the research and development in nonsmooth optimization has been predicated on the assumption that the user provides an oracle that evaluates at any given x ∈ R the objective function value φ(x) and a generalized gradient g ∈ ∂φ(x) in the sense of Clarke. We will argue here that, if there is a realistic possibility of computing a vector g that is guaranteed to be a generalized gradient, then one must know so much about the way φ : R → R is calculated that more information about the behavior of φ in a neighborhood of the evaluation point can be extracted. Moreover, the latter can be achieved with reasonable effort and in a stable manner so that the derivative information provided varies Lipschitz continuously with respect to x. In particular we describe the calculation of directionally active generalized gradients, generalized ε-gradients and the checking of first and second order optimality conditions. All this is based on the abs-linearization of a piecewise smooth objective in abs-normal form. 1 Motivation and Introduction It is well understood that the convex set ∂φ(x) of generalized gradients is highly volatile with respect to variations in x, never mind that it is by definition outer semi-continuous as a set-valued mapping ∂φ : R ⇒ R. Moreover, due to Rademacher’s theorem for Lipschitzian functions on a Euclidean space, we can expect that almost everywhere we get a singleton ∂φ(x) = {∂φ(x)} so Andreas Griewank School of Mathematical and Computational Sciences, Yachay Tech, Urcuqúı, Imbabura, Ecuador, e-mail: griewank@yachaytech.edu.ec Andrea Walther Institut für Mathematik, Universität Paderborn, Paderborn, Germany e-mail: andrea.walther@uni-paderborn.de