This paper focuses on second-order necessary optimality conditions for constrained optimization problems Banach spaces. For in the classical setting, where objective function is $$C^2$$ -smooth, we show that strengthened are valid if constraint set generalized polyhedral convex. a new just assumed to be $$C^1$$ -smooth and convex, establish sharp based Fréchet subdifferential of tangent set. Th...