Subdifferentiation of the Infimal Convolution and Minimal Time Problems

Abstract

We investigate in the Banach setting (not necessarily reflexive) first-order variations of the infimal convolution of fairly general functions. We characterize different subdifferentials and differentiability concepts of this infimal convolution by means of the corresponding subdifferentials and differentiability concepts, respectively, of data functions, at points where the infimal convolution is attained, well-posed, or strongly attained. Next, we apply these results to study the (sub)differentiability of minimal time functions associated with constant dynamics satisfying appropriate interiority conditions.