Although prox-regular functions in general are nonconvex, they possess properties that one would expect to find in convex or lowerC2  functions. The class of prox-regular functions covers all convex functions, lower C2  functions and strongly amenable functions. At first, these functions have been identified in finite dimension using proximal subdifferential. Then, the definition of prox-regula...

Important properties such as differentiability and convexity of symmetric functions in Rn can be transferred to the corresponding spectral functions and vice-versa. Continuing to built on this line of research, we hereby prove that a spectral function F : Sn → R ∪ {+∞} is prox-regular if and only if the underlying symmetric function f : Rn → R ∪ {+∞} is prox-regular. Relevant properties of symm...

We introduce in the context of Asplund spaces, a new class of φ-regular functions. This new concept generalizes the one of prox-regularity introduced by Poliquin & Rockafellar (2000) in R and extended to Banach spaces by Bernard & Thibault (2004). In particular, the class of φ-regular functions includes all lower semicontinuous convex functions, all lower-C functions, and convexly C−composite f...

Fundamental insights into the properties of a function come from the study of its Moreau envelopes and Proximal point mappings. In this paper we examine the stability of these two objects under several types of perturbations. In the simplest case, we consider tilt-perturbations, i.e. perturbations which correspond to adding a linear term to the objective function. We show that for functions tha...

Bauschke, Lucet, and Trienis [SIAM Rev., 50 (2008), pp. 115–132] developed the concept of the proximal average of two convex functions. In this work we show the relationship between the proximal average and the Moreau envelope and exploit this relationship to develop stability theory for a generalized proximal average function. This approach allows us to extend the concept of the proximal avera...

This paper studies, for a differential variational inequality involving a locally prox-regular set, a regularization process with a family of classical differential equations whose solutions converge to the solution of the differential variational inequality. The concept of local prox-regularity will be termed in a quantified way, as (r, α)-prox-regularity.

The proximal point mapping is the basis of many optimization techniques for convex functions. By means of variational analysis, the concept of proximal mapping was recently extended to nonconvex functions that are prox-regular and prox-bounded. In such a setting, the proximal point mapping is locally Lipschitz continuous and its set of fixed points coincide with the critical points of the origi...