View source for Legendre condition

A necessary condition for the solution of the simplest problem in variational calculus, proposed by A.M. Legendre in 1786: For the curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058010/l0580101.png" /> to provide a minimum of the functional

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058010/l0580102.png" /></td> </tr></table>

it is necessary that at all points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058010/l0580103.png" /> the second derivative of the integrand with respect to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058010/l0580104.png" /> should be non-negative:

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058010/l0580105.png" /></td> </tr></table>

If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058010/l0580106.png" /> is an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058010/l0580107.png" />-dimensional vector with coordinates <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058010/l0580108.png" />, then the Legendre condition requires that the quadratic form

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058010/l0580109.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058010/l05801010.png" /></td> </tr></table>

should be non-negative. For the case of a maximum of the functional the sign of the inequality in the Legendre condition is reversed. For variational problems on a conditional extremum the analogue of the Legendre condition is the [[Clebsch condition|Clebsch condition]].

The Legendre condition, like the [[Euler equation|Euler equation]], is a necessary condition for a weak extremum. If the Legendre condition is violated, the second variation of the functional does not preserve its sign and the curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/l/l058/l058010/l05801011.png" /> does not provide an extremum of the functional.

If in the Legendre condition the sign of non-strict inequality is replaced by the sign of strict inequality, then the condition is called the strong Legendre condition. The strong Legendre condition, in contrast to the Legendre condition, is not necessary. The strong Legendre condition is involved in the formulation of sufficient conditions for an extremum. An extremal on which the strong Legendre condition is satisfied is called a non-singular extremal. Such an extremal is twice continuously differentiable, and the Euler equation for it can be represented as an ordinary differential equation of the second order, solved for the highest derivative. If the strong [[Jacobi condition|Jacobi condition]] is satisfied on a non-singular extremal, then one can construct a field of extremals surrounding the given extremal, which is the first step in the investigation of sufficient conditions for an extremum.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  M.A. Lavrent'ev,   L.A. Lyusternik,   "A course in variational calculus" , Moscow-Leningrad  (1950)  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  G.A. Bliss,   "Lectures on the calculus of variations" , Chicago Univ. Press  (1947)</TD></TR></table>



====Comments====
The Legendre condition is also used in optimal control theory (see [[#References|[a1]]] and [[Optimal control, mathematical theory of|Optimal control, mathematical theory of]]). There are also necessary conditions for singular control problems which generalize the Legendre–Clebsch condition, sometimes called Kelley conditions [[#References|[a2]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  A.E. Bryson,   Y.-C. Ho,   "Applied optimal control" , Blaisdell  (1969)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  H.J. Kelley,   R.E. Kopp,   H.G. Moyer,   "Singular extremals"  G. Leitmann (ed.) , ''Topics of Optimization'' , Acad. Press  (1967)  pp. Chapt. 3; 63–101</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  N.I. Akhiezer,   "The calculus of variations" , Blaisdell  (1962)  (Translated from Russian)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  L. Cesari,   "Optimization - Theory and applications" , Springer  (1983)</TD></TR></table>