Analysis of nonsmooth vector-valued functions associated with infinite-dimensional second-order cones

Given a Hilbert space H, the infinite-dimensional Lorentz/second-order cone K is introduced. For any x∈H, a spectral decomposition is introduced, and for any function f:R→R, we define a corresponding vector-valued function f^H(x) on Hilbert space H by applying f to the spectral values of the spectral decomposition of x∈H with respect to K. We show that this vector-valued function inherits from f the properties of continuity, Lipschitz continuity, differentiability, smoothness, as well as s-semismoothness. These results can be helpful for designing and analyzing solution methods for solving infinite-dimensional second-order cone programs and complementarity problems.