条件极值

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

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

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

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

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

其中称为Lagrange乘数

Lagrange乘数法

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

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

的驻点