条件极值

开集是可微函数,映射. 记

上的极值称为条件极值,方程称为约束条件

如果对于任意,矩阵均为,则称上的点满足个独立的约束条件. 此时利用隐映射定理,知维隐式曲面,且处的法空间由张成,其中的第个分量(因为实际上表示了的一个等值面,故的切平面必然和的每一个分量的梯度垂直),特别地,如果极值点,则必为处的法向量.

事实上,设上的可微函数曲线,,则的极值点,从而是驻点

注意到处的切向量,由的任意性得到处的法向量,因此存在使得

其中称为Lagrange乘数

Lagrange乘数法

如上述定义,的条件极值点. 如果,则存在使得

在实际应用中,上式常被解释为,如果为极值点,则为辅助函数

的驻点