数学分析(二十三)-向量函数微分学02：向量函数的微分01【可微性与可微条件】

§ 2 向量函数的微分
一、可微性与可微条件
无论是一元函数还是多元函数的可微性, 都是建立在局部线性近似基础上的.
例如,一元函数 $f$ 在 $x_0$ 可微, 按其定义是指存在实数 $a$, 使得
$x\in U\left(x_0\right)$ 时, 有
$$f(x)-f\left(x_0\right)=a\left(x-x_0\right)+o\left(x-x_0\right),$$
或者写成
$$\underset{x\to x_0}{\lim }\frac{f(x)-f\left(x_0\right)-a\left(x-x_0\right)}{x-x_0}=0.$$
而且进一步知道 $a=f^{\prime }\left(x_0\right)$, 并把
$a\left(x-x_0\right)=f^{\prime }\left(x_0\right)\left(x-x_0\right)$
称为 $f$ 在 $x_0$ 的微分.
同样地, 二元实值函数 $f$ 在
${\mathbf{P}}_0\left(x_0,y_0\right)$ 可微, 是指存在二维向量
$\mathbf{c}=(\mathbf{\alpha },\mathbf{\beta }{)}^{\mathrm{T}}$,
使得
$\mathbf{P}(x,y)\in U\left({\mathbf{P}}_0\right)\subset {\mathbf{R}}^2$
时, 有
$$f(\mathbf{P})-f\left({\mathbf{P}}_0\right)=c^{\top }\left(\mathbf{P}-{\mathbf{P}}_0\right)+o\left(\Vert \mathbf{P}-{\mathbf{P}}_0\Vert \right),$$
或者写成
$$\underset{\mathbf{P}\to {\mathbf{P}}_0}{\lim }\frac{f(\mathbf{P})-f\left({\mathbf{P}}_0\right)-{\mathbf{c}}^{\top }\left(\mathbf{P}-{\mathbf{P}}_0\right)}{\Vert \mathbf{P}-{\mathbf{P}}_0\Vert }=0.$$
而且进一步知道
$c={\left(f_x\left({\mathbf{P}}_0\right),f_y\left({\mathbf{P}}_0\right)\right)}^{\mathrm{T}}$,
并把
$${\mathbf{c}}^{\top }\left(\mathbf{P}-{\mathbf{P}}_0\right)=f_x\left(x_0,y_0\right)\left(x-x_0\right)+f_y\left(x_0,y_0\right)\left(y-y_0\right)$$
称为 $f$ 在 ${\mathbf{P}}_0$ 的微分.
在 (1) 或 (1)’ 中的 $a\left(x-x_0\right)$ 与 (2) 或 (2)’ 中的
$c^{\top }\left(\mathbf{P}-{\mathbf{P}}_0\right)$
具有相同的形式与内涵,因而我们也把向量 $\mathbf{c}$ 称做二元函数 $f$
在 ${\mathbf{P}}_0$ 处的 “导数” (以前叫梯度), 并记作
$f^{\prime }\left({\mathbf{P}}_0\right)$.尤其是把
$a\left(x-x_0\right)$ 和
${\mathbf{c}}^{\top }\left(\mathbf{P}-{\mathbf{P}}_0\right)$
作为线性变换来认识时,我们能很自然地建立起一般向量函数的可微性概念.
定义 1 设 $D\subset {\mathbf{R}}^n$ 为开集,
$x_0\in D,f:D\to {\mathbf{R}}^m$. 如果存在某个线性变换 $A$
(只依赖于 $x_0)$, 使得
$x\in U\left(x_0\right)\subset D$ 时, 有
$$f(x)-f\left(x_0\right)=A\left(x-x_0\right)+o\left(\Vert x-x_0\Vert \right)$$
或