9.4多元复合函数的求导法则
阅读入口
- 多元复合函数的求导法则
- 全微分(形式不变性依赖全微分的定义)
- 复合函数的链式法则(一元情形,用来对照)
学习安排
教材按中间变量与自变量的数量把复合关系分成三种:一元函数与多元函数复合(得到全导数)、多元函数与多元函数复合、自变量同时作为中间变量和显式自变量的混合复合。三种情形的结构相同:从 出发沿每个中间变量分支,路径上的偏导数相乘,同一自变量的各条路径相加。
先练第一种,把 看成唯一的自变量;第二种只是对 或 分别做一次第一种;第三种多出的显式项放在最后。全微分形式不变性安排在最后,它把链式法则的结果写成与自变量身份无关的形式,下一节隐函数求导会直接使用。
三种复合结构
一元函数与多元函数复合
设 、 都在点 可导, 在对应点 处可微,则复合函数 在点 可导,且
这里 最终只依赖一个自变量 ,所以左边用全导数记号 ,而不是偏导数。
多元函数与多元函数复合
设 、 都在点 处具有对 、 的偏导数, 在对应点 处可微,则复合函数 在点 处对 、 的偏导数存在,且
从 到 有两条路径,即 与 ,两条路径的乘积相加就是第一式;对 同理。
混合复合
若 ,其中 、,则 既是中间变量的自变量,又直接出现在 的自变量中。此时
最后一项 是把 、 固定,只对 的显式自变量 求导的结果;前两项来自 通过 、 产生的间接影响。对 的偏导数没有显式项,仍按两条路径相加。
三种复合结构的公式到这里已经齐了,最后一段把它们的结论统一成与自变量无关的写法。
全微分形式不变性
全导数
当复合函数的最终自变量只有一个时,因变量对这个自变量的导数称为全导数。上面的第一种情形给出的就是全导数:
它表示 变化时,通过所有中间路径传到 的总变化率。偏导数只让一个自变量变化,全导数则允许所有中间变量随 一起变化。
全微分形式不变性
设 可微。
- 若 、 是独立自变量,则
- 若 、 是可微的中间变量,则把 、 按全微分展开后,仍有
第二种情形的验证:由链式法则,
于是
所以无论 、 是自变量还是中间变量, 的全微分都写成同一个形式,这就是全微分形式不变性。第二种情形中的 、 是中间变量的微分,不再是自变量的增量。
形式不变性之后紧接下一节的隐函数求导,那里用的正是这个写法。
课程约定
- 最终自变量只有一个时,导数用 ,称为全导数;有多个自变量时用 等偏导数记号。
- 混合复合中,教材用 、 表示对 的某个自变量求偏导,用 表示复合后的总偏导数。两类符号不能混用。
- 中间变量的个数不限于两个。多于两个时,公式按“每个中间变量一项”继续相加。
易错点
- 混合复合漏掉显式项 ,或者把这一项误写成对 的偏导数。
- 把全导数写成 ; 只通过 变化时应该用 。
- 变量关系图上有几条从 到某个自变量的路径,公式里就要有几项。只画图不数路径,容易漏掉较隐蔽的那条。
- 全微分形式不变性以 可微为前提,而且说的是 的写法不变,不是 、 仍是自变量增量。