On the Regularity of Generalized Conjugate Functions
Optimization and Control
2026-04-07 v1
Abstract
We investigate regularity properties of generalized conjugate functions induced by a general coupling function and the associated generalized proximal mapping. Our main results provide verifiable conditions ensuring local single-valuedness, continuity, Lipschitz continuity, and differentiability of the generalized proximal mapping, and transfer these properties to generalized conjugates providing explicit derivative formulas. These results are based on a nonsmooth implicit function theorem for generalized equations, relying on graphical localizations and second-order variational tools. Beyond first-order regularity, we also derive conditions under which generalized conjugates are strictly twice differentiable.
Cite
@article{arxiv.2604.04301,
title = {On the Regularity of Generalized Conjugate Functions},
author = {Konstantinos Oikonomidis and Emanuel Laude and Panagiotis Patrinos},
journal= {arXiv preprint arXiv:2604.04301},
year = {2026}
}