Mathematics-Online lexicon: Lagrange Condition

	[home] [lexicon] [problems] [tests] [courses] [auxiliaries] [notes] [staff]
	Mathematics-Online lexicon:
	Lagrange Condition

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

overview

If the scalar function

has a local extremum at a point $x_\star$ subject to the constraints

, then there exist Lagrange multipliers $\lambda_i$ , such that

$\displaystyle f^\prime(x_\star) = \lambda^{\operatorname t}g^\prime(x_\star) \,.$

This characterization requires that

and

are continuously differentiable in a neighborhood of $x_\star$ and that the Jacobi matrix $g^\prime(x_\star)$ has maximal rank.

For a single constraint, the Lagrange condition has the simple form

$\displaystyle \operatorname{grad} f(x_\star) \,\parallel\, \operatorname{grad} g(x_\star) \,,$

if $\operatorname{grad} g(x_\star)\neq 0$ , i.e., the level sets of

and

touch at the extreme point.

The Lagrange condition is not sufficient to decide if is an extremum, or to determine its type. This requires additional information.

The global extrema of a function can be obtained by comparing the function values at the points which satisfy the Lagrange condition, the points on the boundary of the admissible set, and points where the rank of $g^\prime$ is not maximal.

Annotation:

Proof

[Examples] [Links]

automatically generated 1/26/2017