We extend Legendre condition to a variational problem with inequality state constraints. Since our Legendre-type conditions do not include &xdot;, they differ from the Legendre–Clebsch condition. They give information about the Hesse matrix of the integrand at not only inactive points but also active points. On the other hand, since the inequality state constraints can be regarded as an infinite number of inequality constraints, they sometimes form an envelope. According to a general theory, one has to take the envelope into consideration when one considers second-order necessary optimality conditions for an abstract optimization problem with a generalized inequality constraint. However, we show that we do not need to take it into account when we consider Legendre-type conditions. Finally, we show that any inequality state constraint forms envelopes except two trivial cases. We prove it by presenting an envelope in a visible form.
