课程笔记

9.4多元复合函数的求导法则

阅读入口

学习安排

教材按中间变量与自变量的数量把复合关系分成三种:一元函数与多元函数复合(得到全导数)、多元函数与多元函数复合、自变量同时作为中间变量和显式自变量的混合复合。三种情形的结构相同:从 zz 出发沿每个中间变量分支,路径上的偏导数相乘,同一自变量的各条路径相加。

先练第一种,把 tt 看成唯一的自变量;第二种只是对 xx 或 yy 分别做一次第一种;第三种多出的显式项放在最后。全微分形式不变性安排在最后,它把链式法则的结果写成与自变量身份无关的形式,下一节隐函数求导会直接使用。

三种复合结构

一元函数与多元函数复合

设 u=u(t)u=u(t)、v=v(t)v=v(t) 都在点 tt 可导,z=f(u,v)z=f(u,v) 在对应点 (u(t),v(t))(u(t),v(t)) 处可微,则复合函数 z=f[u(t),v(t)]z=f[u(t),v(t)] 在点 tt 可导,且

dzdt=∂z∂ududt+∂z∂vdvdt.\frac{\mathrm{d}z}{\mathrm{d}t} =\frac{\partial z}{\partial u}\frac{\mathrm{d}u}{\mathrm{d}t} +\frac{\partial z}{\partial v}\frac{\mathrm{d}v}{\mathrm{d}t}.

这里 zz 最终只依赖一个自变量 tt,所以左边用全导数记号 dzdt\dfrac{\mathrm{d}z}{\mathrm{d}t},而不是偏导数。

多元函数与多元函数复合

设 u=u(x,y)u=u(x,y)、v=v(x,y)v=v(x,y) 都在点 (x,y)(x,y) 处具有对 xx、yy 的偏导数,z=f(u,v)z=f(u,v) 在对应点 (u,v)(u,v) 处可微,则复合函数 z=f[u(x,y),v(x,y)]z=f[u(x,y),v(x,y)] 在点 (x,y)(x,y) 处对 xx、yy 的偏导数存在,且

∂z∂x=∂z∂u∂u∂x+∂z∂v∂v∂x,\frac{\partial z}{\partial x} =\frac{\partial z}{\partial u}\frac{\partial u}{\partial x} +\frac{\partial z}{\partial v}\frac{\partial v}{\partial x},∂z∂y=∂z∂u∂u∂y+∂z∂v∂v∂y.\frac{\partial z}{\partial y} =\frac{\partial z}{\partial u}\frac{\partial u}{\partial y} +\frac{\partial z}{\partial v}\frac{\partial v}{\partial y}.

从 zz 到 xx 有两条路径,即 z→u→xz\to u\to x 与 z→v→xz\to v\to x,两条路径的乘积相加就是第一式;对 yy 同理。

混合复合

若 z=f(u,v,x)z=f(u,v,x),其中 u=u(x,y)u=u(x,y)、v=v(x,y)v=v(x,y),则 xx 既是中间变量的自变量,又直接出现在 ff 的自变量中。此时

∂z∂x=∂f∂u∂u∂x+∂f∂v∂v∂x+∂f∂x.\frac{\partial z}{\partial x} =\frac{\partial f}{\partial u}\frac{\partial u}{\partial x} +\frac{\partial f}{\partial v}\frac{\partial v}{\partial x} +\frac{\partial f}{\partial x}.

最后一项 ∂f∂x\dfrac{\partial f}{\partial x} 是把 uu、vv 固定,只对 ff 的显式自变量 xx 求导的结果;前两项来自 xx 通过 uu、vv 产生的间接影响。对 yy 的偏导数没有显式项,仍按两条路径相加。

三种复合结构的公式到这里已经齐了,最后一段把它们的结论统一成与自变量无关的写法。

全微分形式不变性

全导数

当复合函数的最终自变量只有一个时,因变量对这个自变量的导数称为全导数。上面的第一种情形给出的就是全导数:

dzdt=∂z∂ududt+∂z∂vdvdt.\frac{\mathrm{d}z}{\mathrm{d}t} =\frac{\partial z}{\partial u}\frac{\mathrm{d}u}{\mathrm{d}t} +\frac{\partial z}{\partial v}\frac{\mathrm{d}v}{\mathrm{d}t}.

它表示 tt 变化时,通过所有中间路径传到 zz 的总变化率。偏导数只让一个自变量变化,全导数则允许所有中间变量随 tt 一起变化。

全微分形式不变性

设 z=f(u,v)z=f(u,v) 可微。

  1. 若 uu、vv 是独立自变量,则 dz=∂z∂udu+∂z∂vdv.\mathrm{d}z=\frac{\partial z}{\partial u}\mathrm{d}u+\frac{\partial z}{\partial v}\mathrm{d}v .
  2. 若 u=u(x,y)u=u(x,y)、v=v(x,y)v=v(x,y) 是可微的中间变量,则把 du\mathrm{d}u、dv\mathrm{d}v 按全微分展开后,仍有 dz=∂z∂udu+∂z∂vdv.\mathrm{d}z=\frac{\partial z}{\partial u}\mathrm{d}u+\frac{\partial z}{\partial v}\mathrm{d}v .

第二种情形的验证:由链式法则,

∂z∂x=fuux+fvvx,∂z∂y=fuuy+fvvy,\frac{\partial z}{\partial x}=f_u u_x+f_v v_x,\qquad \frac{\partial z}{\partial y}=f_u u_y+f_v v_y ,

于是

dz=∂z∂xdx+∂z∂ydy=fu(uxdx+uydy)+fv(vxdx+vydy)=fu du+fv dv.\mathrm{d}z =\frac{\partial z}{\partial x}\mathrm{d}x+\frac{\partial z}{\partial y}\mathrm{d}y =f_u(u_x\mathrm{d}x+u_y\mathrm{d}y)+f_v(v_x\mathrm{d}x+v_y\mathrm{d}y) =f_u\,\mathrm{d}u+f_v\,\mathrm{d}v .

所以无论 uu、vv 是自变量还是中间变量,z=f(u,v)z=f(u,v) 的全微分都写成同一个形式,这就是全微分形式不变性。第二种情形中的 du\mathrm{d}u、dv\mathrm{d}v 是中间变量的微分,不再是自变量的增量。

形式不变性之后紧接下一节的隐函数求导,那里用的正是这个写法。

课程约定

  • 最终自变量只有一个时,导数用 dzdt\dfrac{\mathrm{d}z}{\mathrm{d}t},称为全导数;有多个自变量时用 ∂z∂x\dfrac{\partial z}{\partial x} 等偏导数记号。
  • 混合复合中,教材用 ∂f∂u\dfrac{\partial f}{\partial u}、∂f∂x\dfrac{\partial f}{\partial x} 表示对 ff 的某个自变量求偏导,用 ∂z∂x\dfrac{\partial z}{\partial x} 表示复合后的总偏导数。两类符号不能混用。
  • 中间变量的个数不限于两个。多于两个时,公式按“每个中间变量一项”继续相加。

易错点

  • 混合复合漏掉显式项 ∂f∂x\dfrac{\partial f}{\partial x},或者把这一项误写成对 yy 的偏导数。
  • 把全导数写成 ∂z∂t\dfrac{\partial z}{\partial t};zz 只通过 tt 变化时应该用 d\mathrm{d}。
  • 变量关系图上有几条从 zz 到某个自变量的路径,公式里就要有几项。只画图不数路径,容易漏掉较隐蔽的那条。
  • 全微分形式不变性以 ff 可微为前提,而且说的是 z=f(u,v)z=f(u,v) 的写法不变,不是 du\mathrm{d}u、dv\mathrm{d}v 仍是自变量增量。