We study an optimization problem given by a discrete inclusion with end point constraints. An approach concerning second-order optimality conditions is proposed.
We prove the existence of viable solutions to the Cauchy problem x'' ∈ F(x,x'), x(0) = x₀, x'(0) = y₀, where F is a set-valued map defined on a locally compact set $M ⊂ R^{2n}$, contained in the Fréchet subdifferential of a ϕ-convex function of order two.