数学分析(十七)-多元函数微分学2-复合函数微分法1：复合函数的求导法则【链式法则】【使用复合函数求导公式时，外函数必须“可微”】

本节讨论复合函数的可微性、偏导数与全微分.

---

设函数

$$x=\phi (s,t)\text{ 与 }y=\psi (s,t)(1)$$

定义在 $st$ 平面的区域 $D$ 上,函数

$$z=f(x,y)(2)$$

定义在 $xy$ 平面的区域 $D_1$ 上,且

$$\{(x,y)\mid x=\phi (s,t),y=\psi (s,t),(s,t)\in D\}\subset D_1,$$

则函数

$$z=F(s,t)=f(\phi (s,t),\psi (s,t)),(s,t)\in D(3)$$

是以 (2) 为外函数、(1) 为内函数的复合函数. 其中 $x,y$ 称为函数 $F$的中间变量, $s,t$ 为 $F$ 的自变量.

定理 17.5

若函数 $x=\phi (s,t),y=\psi (s,t)$ 在点 $(s,t)\in D$可微, $z=f(x,y)$ 在点 $(x,y)$ $=(\phi (s,t),\psi (s,t))$ 可微, 则复合函数

$$z=f(\phi (s,t),\psi (s,t))$$

在点 $(s,t)$ 可微, 且它关于 $s$ 与 $t$ 的偏导数分别为

$$\begin{array}{lc}{\frac{\partial z}{\partial s}|}_{(s,t)}={{\frac{\partial z}{\partial x}|}_{(x,y)}\frac{\partial x}{\partial s}|}_{(s,t)}+{{\frac{\partial z}{\partial y}|}_{(x,y)}\frac{\partial y}{\partial s}|}_{(s,t)}& \\ & (4)\\ {\frac{\partial z}{\partial t}|}_{(s,t)}={{\frac{\partial z}{\partial x}|}_{(x,y)}\frac{\partial x}{\partial t}|}_{(s,t)}+{{\frac{\partial z}{\partial y}|}_{(x,y)}\frac{\partial y}{\partial t}|}_{(s,t)}& \end{array}$$

证
由假设 $x=\phi (s,t),y=\psi (s,t)$ 在点 $(s,t)$ 可微,于是

$$\begin{array}{l}\Delta x=\frac{\partial x}{\partial s}\Delta s+\frac{\partial x}{\partial t}\Delta t+{\alpha }_1\Delta s+{\beta }_1\Delta t,(5)\\ \Delta y=\frac{\partial y}{\partial s}\Delta s+\frac{\partial y}{\partial t}\Delta t+{\alpha }_2\Delta s+{\beta }_2\Delta t,(6)\end{array}$$

其中当 $\Delta s,\Delta t$ 趋于零时, ${\alpha }_1,{\alpha }_2,{\beta }_1,{\beta }_2$ 都趋于零. 又由 $z=f(x,y)$ 在点 $(x,y)$ 可微, 所以

$$\Delta z=\frac{\partial z}{\partial x}\Delta x+\frac{\partial z}{\partial y}\Delta y+\alpha \Delta x+\beta \Delta y,(7)$$

其中当 $\Delta x,\Delta y\to 0$ 时, $\alpha ,\beta \to 0$ (并补充定义当 $\Delta x=0,\Delta y=0$ 时 $\alpha =\beta =0$ ), 将 (5) 式、(6)式代人(7)式,得

$$\Delta z=\left(\frac{\partial z}{\partial x}+\alpha \right)\left(\frac{\partial x}{\partial s}\Delta s+\frac{\partial x}{\partial t}\Delta t+{\alpha }_1\Delta s+{\beta }_1\Delta t\right)+(\frac{\partial }{\partial y}$$