事实上是有的。
但首先,由拉格朗日乘数法确定的点不一定是极值点,而仅仅是取极值的必要条件。对于这一点,我们对高中的一个常见例子加以改造即可说明:
设目标函数
,约束条件
构造拉格朗日函数:
分别求偏导得到可能取极值的点为
,但是显然在这个点f不取极值,x可以任意大小,从而y也可以任意大小。
为究其原因,我们回忆这个例子的高中版本:设函数
,当其导函数
的零点是0,但是在此处f并不取极值,原因就是f的二阶导数6x在0的邻域内发生了变号。因此,为了取极值的充分条件,我们还需要考察二阶导数,而这在高维空间之中也有相似之处。
下面列出条件极值问题如何判断可以点是否为极值点,以及是极大还是极小值点的法则,亦即条件极值的充分条件。有关的证明和解说我周六考完试回来就补。定理. 设
是定义在开集
上并且属于
类的函数,
由约束方程组
所给出的
中的曲面,其中
,
,并且函数组
在
中的任何点的秩都等于
。 设拉格朗日函数
中的参数已经根据取极值的必要条件求出,则此时:
如果二次型
对于向量
(TSx0是曲面S在x0点出的切空间)具有确定的符号,则点
是函数
的极值点。
并且,如果上述二次型在
上正定,则
是局部严格极小值点。反之为局部严格极大值点。如果二次型在
上发生变好,则
不是极值点。
我回来了,现在开始证明:
上述定理之中,涉及到曲面的切空间这个概念,因此,有必要对此概念进行介绍。
首先回顾三维空间中的曲线,我们将其看作一个质点的运动轨迹,那么它的三个坐标xyz都可以表达成时间的函数
,那么在某个时刻
曲线的切线的方向就是该质点的速度方向,方向向量为
,不妨设t0=0,则曲线的切线可以表示为:
此处x包含了xyz三个坐标分量,简记为一个点x。
类比空间中的参数曲线和其切线,可以大致构思出空间的参数曲面表示和其切空间的概念。试想上述曲线只有一个参数t1,假设有另一个参数t2,那么当t2变化是它描述出另一条曲线。综合t1,t2,固定t1,t2变化时就画出了一族曲线,同样的,固定t2,t1变化是也画出一族曲线,那么这些曲线就在空间中“织成了一张网”,当曲线连续变化的时候,就描述出了一个空间中的曲面。从映射的角度,我们由参数集合
映射到了空间集合
之中。
但是请注意,曲面的确可以用这种参数形式来表示,但是上述的概念的提出并不是一个严谨的定义。例如,在实现t坐标转化的x坐标的过程中,你能否保证x坐标能够转化回去t坐标呢?就比如直角坐标和极坐标的互化一样。如果不存在这种互化,那是无法保证你在两种坐标体系下描述的是同一个对象。换言之,必须要保证上述的映射对于整个曲面来说,都是双射。事实上这背后确实有参数曲面的严谨定义,它由反函数定理所保证。但是此处我一来还没有完全悟透,而来对定理的证明暂无大碍,故暂且采取如此简单直观但不够严谨的解释。
有了参数曲面的概念,联系曲线的切线的概念,曲面在某点的切空间其实就是此点所有线性无关的切向量所张成的空间。用坐标形式写出来就是如下的方程组:
利用矩阵可以写成更为简洁的形式:
.
现在可以开始证明原定理:
首先由于对于拉格朗日函数:
后面的约束条件全是0,因此欲求f的极值只要求L的极值,在根据极值取得的必要条件(就是偏导数等于0那个:
)求解出
之后,
,那么在点
处,我们可以对L(x)作泰勒展开:
其中,
,Q称为hesse矩阵。为了书写方便,我们只取其中的一项的一般形式来表示所有项:
利用上文提到的参数形式,由
得:
其中,α从1到k遍历取值。将此式代入上面的一般项得到:
对于上述二次型,
由于它是连续函数,则在曲面上一定存在最大最小值,不妨设为M,m。当其具有确定的符号时,不妨设为正号则m>0,负号的情况是类似的:
因为o是无穷小量,那么当t足够靠近0得时候,这个o会足够的小直到其绝对值比m还要小,那么当t处于这样的一个范围时就可以保证上述式子为正,即:
,这说明x0是严格极小值点。
但是,定理中的二次型不是
这个吗?好像形式不一样?事实上,这两个式子只是同一对象的不同表述:如果
是切向量,则
满足:
.那么对于
之中的一个分量
有:
成立。这说明定理中的二次型只是证明中需要判断符号的那个二次型的一个简写,它们是同一个东西。至此,定理证毕。