Fréchet approach in second-order optimization

We state a certain second-order sufficient optimality condition for functions defined in infinite-dimensional spaces by means of generalized Fréchet’s approach to second-order differentiability. Moreover, we show that this condition generalizes a certain second-order condition obtained in finite-dimensional spaces.