Firmly nonexpansive and Kirszbraun-Valentine extensions: a constructive approach via monotone operator theory

Abstract

Utilizing our recent proximal-average based results on the constructive extension of monotone operators, we provide a novel approach to the celebrated Kirszbraun-Valentine Theorem and to the extension of firmly nonexpansive mappings.