多元函数的极值、微分

我们以二元函数为例（可推广到多元），有如下的判别条件：

1. 必要条件（$f(x_0,y_0)$ 是极值点 ⇒ ?）

设 $f(x,y)$ 的定义域为区域 $D$，$(x_0,y_0)$ 为 $D$ 的一个内点，$f(x,y)$ 在点 $f(x_0,y_0)$ 可微（$f(x) = |x|$ 在 x=0 处不可微），若 $f(x_0,y_0)$ 为极值点，则在 $(x_0,y_0)$ 处，

$$\frac{\partial f}{\partial x}=\frac{\partial f}{\partial y}=0$$

2. 充分条件

设 $f(x,y)$ 的定义域为区域 $D$，$(x_0,y_0)$ 为 $D$ 的一个内点，$f(x,y)$ 在 $(x_0,y_0)$ 处二次可微，$\nabla f(x_0,y_0)=0$，

• （1）若 $f''_{xx}(x_0,y_0)>0$，$det H=\begin{vmatrix}f''_{xx} & f''_{xy}\\ f''_{y,x}& f''_{yy}\end{vmatrix}>0$，则$(x_0,y_0)$为 $f(x,y)$的严格极小点。
• （2）若 $f''_{xx}(x_0,y_0)<0$，$det H=\begin{vmatrix}f''_{xx} & f''_{xy}\\ f''_{y,x}& f''_{yy}\end{vmatrix}>0$，则$(x_0,y_0)$为 $f(x,y)$的严格极大点。
• （2）若 $det H=\begin{vmatrix}f''_{xx} & f''_{xy}\\ f''_{y,x}& f''_{yy}\end{vmatrix}<0$，则 $(x_0,y_0)$ 不是 $f(x,y)$ 的极值点，此时称 $(x_0,y_0)$ 为 $f(x,y)$ 的鞍点。

3. 从一元函数微分到多元函数微分

多元函数微积分，Calculus of variations；

• 一元的形式：$y\left(x+\epsilon\right)=y\left(x\right)+\frac{d\ y}{d \ x}\epsilon+O\left(\epsilon^2\right)$
• 多元形式（由微分变为偏微分）：$y\left(x_1+\epsilon_1,x_2+\epsilon_2,\ldots,x_d+\epsilon\right)=y\left(x_1,\ldots,x_d\right)+\sum\limits_{i=1}^d\frac{\partial\ y}{\partial\ x_i}\epsilon_i+O(\epsilon^2)$