多元函数链导法则的理解

多元函数链导法则的理解

多元函数的链导法则：

​ 设有复合函数
$$z=z(u_1,\cdots ,u_n)，u_i=u_i(x_1,\cdots ,x_2)，i=1,2,\cdots ,n\text{\hspace{1em}(1)}$$
​ 则 $z$ 关于某个自变量 $x_j$ 的偏导数等于 $z$ 对于每个域 $x_j$ 有关的中间变量 $u_i$ 的偏导数与这个中间 变量 $u_i$ 对 $x_i$ 的偏导数之积的综合，即
$$\frac{\partial z}{\partial x_j}=\sum _{i=1}^n\frac{\partial z}{\partial u_i}\frac{\partial u_i}{\partial x_j}=\frac{\partial z}{\partial u_1}\frac{\partial u_1}{\partial x_j}+\cdots +\frac{\partial z}{\partial u_n}\frac{\partial u_n}{\partial x_j},j=1,\cdots ,l\text{\hspace{1em}(2)}$$
​ 公式 （2）称为链导法则

​ 可以发现，当 $n=1,l=1$ 时，公式（2）变为
$$\frac{dz}{dx}=\frac{dz}{du}\frac{du}{dx}\text{\hspace{1em}(3)}$$
​ 即为一元复合函数求导法则。

​ 在之前的全微分的学习中，我们得到结论：

​ 若函数 $z=f(x,y)$ 可微，则
$$\Delta z=f_x^{\prime }(x,y)\Delta x+f_y^{\prime }(x,y)\Delta y+o(\rho )\text{\hspace{1em}(4)}$$
​ 所以变量 $z$ 的变化量可以由两个线性无关的变量 $x,y$ 线性表示

​ 因此，我们可以把 $z,u_i,x_j,i=1,\cdots ,n;j=1,\cdots l$ 看作一个一个的类

​ 例如，设有函数 $z=z(u_1,u_2,u_3),u_1=u_1(x_1,x_2),u_2=u_2(x_1,x_2).u_3=u_3(x_1,x_2)$

// z = z(u1, u2, u3) 代表 z 是一个可以由 u1, u2 , u3 线性表示的变量
public class z {
    u1 = new u1();
    u2 = new u2();
    u3 = new u3();
}

//u1 = u1(x1, x2) 代表 u1 是一个可以由 x1, x2 线性表示的变量
public class u1 {
    x1 = new x1();
    x2 = new x2();
}

//u2 = u2(x1, x2) 代表 u2 是一个可以由 x1, x2 线性表示的变量
public class u1 {
    x1 = new x1();
    x2 = new x2();
}

//u3 = u3(x1, x2) 代表 u3 是一个可以由 x1, x2 线性表示的变量
public class u1 {
    x1 = new x1();
    x2 = new x2();
}

//代表 x1 是一个变量，且与 x2 线性无关
public class x1 {
    int value_x1;
}

//代表 x2 是一个变量，且与 x3 线性无关
public class x2 {
    int value_x2;
}

各个类之间的关系如下图所示

因为从 $z$ 到 $x1$ 的路径有 $z\to u1\to x1,z\to u2\to x1,z\to u3\to x1$ ，所以当类 $x1$ 发生改变时，类 $z$ 的三个属性 $u1,u2,u3$ 均发生相应改变，由公式（4）我们可以得到
$$\begin{array}{rl}\Delta z& =z_{u_1}^{\prime }\Delta u_1+z_{u_2}^{\prime }\Delta u_2+z_{u_3}^{\prime }\Delta u_3\\ \Delta u_1& =\frac{\partial u_1}{\partial x_1}\Delta x_1+\frac{\partial u_1}{\partial x_2}\Delta x_2\\ \Delta u_2& =\frac{\partial u_2}{\partial x_1}\Delta x_1+\frac{\partial u_2}{\partial x_2}\Delta x_2\\ \Delta u_3& =\frac{\partial u_3}{\partial x_1}\Delta x_1+\frac{\partial u_3}{\partial x_2}\Delta x_2\end{array}$$
​ 因此，可以推导得链导公式
$$\frac{\partial z}{\partial x_j}=\sum _{i=1}^n\frac{\partial z}{\partial u_i}\frac{\partial u_i}{\partial x_j}=\frac{\partial z}{\partial u_1}\frac{\partial u_1}{\partial x_j}+\cdots +\frac{\partial z}{\partial u_n}\frac{\partial u_n}{\partial x_j},j=1,\cdots ,l$$
​ 同样我们可以推导出多元函数全微分形式不变性：
$$\begin{array}{rl}dz& =\frac{\partial z}{\partial x_1}d{x}_1+\frac{\partial z}{\partial x_2}d{x}_2\\ & =\frac{\partial z}{\partial u_1}d{u}_1+\frac{\partial z}{\partial u_2}d{u}_2+\frac{\partial z}{\partial u_3}d{u}_3\end{array}$$