局部极小点一阶必要条件:
x是多元实值函数f在Ω边界上的局部极小点,则对于x处的任意可行方向d,都有方向导数大于等于0.
x是多元实值函数f在Ω内的局部极小点,则该点的梯度等于0.
局部极小点二阶必要条件:
函数在约束集上二阶连续可微,如果x是函数f在Ω上的局部极小点,d是x处的一个可行方向,且满足方向导数等于0.
则满足
函数在约束集上二阶连续可微,如果x是函数f在Ω内的局部极小点,则该点梯度为0,且黑塞矩阵半正定,即
这里d为任意向量
局部极小点的二阶充分条件:
函数在约束集上二阶连续可微,x是Ω的一个内点,如果同时满足该点梯度为0且黑塞矩阵正定,则x是函数的一个严格局部极小点