第十七章第二节:复合函数微分法
完整知识体系与思维导图
📋 目录导览
🧠 一、完整知识体系思维导图
§2 复合函数微分法
│
├─── 📐 一、复合函数的结构
│ │
│ ├─── 1. 基本结构
│ │ ├─── 外函数:z = f(x, y)
│ │ ├─── 内函数:x = φ(s, t), y = ψ(s, t)
│ │ └─── 复合函数:z = F(s, t) = f(φ(s,t), ψ(s,t))
│ │
│ ├─── 2. 变量分类(关键)
│ │ ├─── 自变量:s, t(最底层,独立变化)
│ │ ├─── 中间变量:x, y(由自变量确定)
│ │ └─── 因变量:z(由中间变量确定)
│ │
│ ├─── 3. 复合关系表示
│ │ ├─── 链式关系:s, t → x, y → z
│ │ ├─── 树状图(推荐)
│ │ └─── 记号:z = f(φ(s,t), ψ(s,t))
│ │
│ └─── 4. 一般形式推广
│ ├─── m元外函数:f(u₁, u₂, ..., uₘ)
│ ├─── n元自变量:x₁, x₂, ..., xₙ
│ └─── uₖ = gₖ(x₁, ..., xₙ) (k=1,2,...,m)
│
├─── 🔗 二、链式法则(核心定理)
│ │
│ ├─── 定理17.5:二元复合函数链式法则
│ │ ├─── 条件
│ │ │ ├─── 内函数 x=φ(s,t), y=ψ(s,t) 在点(s₀,t₀)可微
│ │ │ └─── 外函数 z=f(x,y) 在点(x₀,y₀)可微
│ │ │
│ │ ├─── 结论:复合函数可微
│ │ │ └─── z = f(φ(s,t), ψ(s,t)) 在点(s₀,t₀)可微
│ │ │
│ │ ├─── 链式法则公式(★★★★★)
│ │ │ ├─── ∂z/∂s = (∂f/∂x)·(∂x/∂s) + (∂f/∂y)·(∂y/∂s)
│ │ │ └─── ∂z/∂t = (∂f/∂x)·(∂x/∂t) + (∂f/∂y)·(∂y/∂t)
│ │ │
│ │ ├─── 证明思路(重要)
│ │ │ ├─── Step 1:内函数可微
│ │ │ │ └─── Δx = (∂x/∂s)Δs + (∂x/∂t)Δt + α₁Δs + α₂Δt
│ │ │ │ Δy = (∂y/∂s)Δs + (∂y/∂t)Δt + β₁Δs + β₂Δt
│ │ │ │
│ │ │ ├─── Step 2:外函数可微
│ │ │ │ └─── Δz = (∂f/∂x)Δx + (∂f/∂y)Δy + αΔx + βΔy
│ │ │ │
│ │ │ ├─── Step 3:代入整理
│ │ │ │ └─── Δz = [(∂f/∂x)(∂x/∂s)+(∂f/∂y)(∂y/∂s)]Δs
│ │ │ │ + [(∂f/∂x)(∂x/∂t)+(∂f/∂y)(∂y/∂t)]Δt
│ │ │ │ + (高阶项)
│ │ │ │
│ │ │ └─── Step 4:验证可微性
│ │ │ └─── 高阶项 = o(√(Δs²+Δt²))
│ │ │
│ │ └─── 记忆方法
│ │ ├─── "路径相乘,路径相加"
│ │ ├─── 树状图法(推荐)
│ │ └─── 形式微分法
│ │
│ ├─── 推广形式
│ │ ├─── 一元复合多元
│ │ │ └─── z = f(x(t), y(t))
│ │ │ dz/dt = (∂f/∂x)·(dx/dt) + (∂f/∂y)·(dy/dt)
│ │ │
│ │ ├─── 多元复合多元(一般形式)
│ │ │ └─── ∂f/∂xᵢ = Σₖ (∂f/∂uₖ)·(∂uₖ/∂xᵢ)
│ │ │ (i=1,...,n; k=1,...,m)
│ │ │
│ │ └─── 混合复合
│ │ └─── 部分变量是自变量,部分是中间变量
│ │
│ ├─── 重要注意事项(★)
│ │ ├─── 外函数可微是必要条件(不能省略!)
│ │ │ └─── 反例:f(x,y)=xy/(x²+y²), f(0,0)=0
│ │ │ x=t, y=t 时,用链式法则得错误结果
│ │ │
│ │ ├─── 偏导数记号的区分
│ │ │ ├─── ∂z/∂x:z作为x,y函数的偏导数
│ │ │ └─── ∂f/∂x:外函数f对第一个变量的偏导数
│ │ │
│ │ └─── 复合层次要清晰
│ │ └─── 明确:谁是自变量?谁是中间变量?
│ │
│ └─── 特殊情况
│ ├─── 一元函数对数求导法的推广
│ ├─── 极坐标变换
│ └─── 隐函数求导(下一节)
│
├─── 📊 三、全微分形式不变性(★★★★★)
│ │
│ ├─── 基本原理
│ │ ├─── x,y 作为自变量时
│ │ │ └─── dz = (∂z/∂x)dx + (∂z/∂y)dy
│ │ │
│ │ ├─── x,y 作为中间变量时(x=φ(s,t), y=ψ(s,t))
│ │ │ ├─── dz = (∂z/∂x)dx + (∂z/∂y)dy(形式相同!)
│ │ │ └─── 但 dx = (∂x/∂s)ds + (∂x/∂t)dt
│ │ │ dy = (∂y/∂s)ds + (∂y/∂t)dt
│ │ │
│ │ └─── 关键性质
│ │ └─── 无论x,y是自变量还是中间变量
│ │ 全微分的形式都是 dz = (∂z/∂x)dx + (∂z/∂y)dy
│ │
│ ├─── 形式不变性的含义
│ │ ├─── "形式":表达式的结构
│ │ ├─── "不变":不因变量角色改变而改变
│ │ └─── 本质:微分的线性性
│ │
│ ├─── 应用优势
│ │ ├─── 计算简便(不需每次用链式法则)
│ │ ├─── 思路清晰(逐层计算)
│ │ └─── 易于推广(高阶微分)
│ │
│ ├─── 使用步骤
│ │ ├─── Step 1:写出 dz 对中间变量的微分
│ │ ├─── Step 2:写出中间变量对自变量的微分
│ │ ├─── Step 3:代入整理
│ │ └─── Step 4:提取系数得偏导数
│ │
│ └─── 注意区别
│ ├─── 自变量时:dx, dy 独立取值
│ └─── 中间变量时:dx, dy 由 ds, dt 确定
│
├─── 🌳 四、树状图方法(实用技巧)
│ │
│ ├─── 绘制方法
│ │ ├─── Step 1:最上层写因变量 z
│ │ ├─── Step 2:中间层写中间变量 x, y
│ │ ├─── Step 3:最下层写自变量 s, t
│ │ ├─── Step 4:画连线(表示依赖关系)
│ │ └─── Step 5:在每条线上标注偏导数
│ │
│ ├─── 读图规则
│ │ ├─── 求 ∂z/∂s
│ │ │ └─── 找从z到s的所有路径
│ │ │ 每条路径:偏导数相乘
│ │ │ 所有路径:结果相加
│ │ │
│ │ └─── 一般规则
│ │ └─── ∂(因变量)/∂(自变量) = Σ(路径上各偏导数之积)
│ │
│ ├─── 典型图示
│ │ ├─── 图1:二元复合二元
│ │ │ ```
│ │ │ z
│ │ │ ↙ ↘
│ │ │ x y
│ │ │ ↙↘ ↙↘
│ │ │ s t s t
│ │ │ ```
│ │ │
│ │ ├─── 图2:一元复合二元
│ │ │ ```
│ │ │ z
│ │ │ ↙ ↘
│ │ │ x y
│ │ │ ↓ ↓
│ │ │ t t
│ │ │ ```
│ │ │
│ │ └─── 图3:混合复合
│ │ ```
│ │ u
│ │ ↙ | ↘
│ │ x y z
│ │ ↓ ↙↘ (自变量)
│ │ x x z
│ │ ```
│ │
│ └─── 优点
│ ├─── 直观清晰
│ ├─── 不易遗漏
│ └─── 复杂问题也适用
│
├─── 💡 五、典型题型与解法
│ │
│ ├─── 题型1:标准链式法则
│ │ ├─── 特征:明确的复合关系
│ │ ├─── 方法:直接应用定理17.5
│ │ └─── 例:z=ln(u²+v), u=e^(x+y), v=x²+y
│ │
│ ├─── 题型2:坐标变换
│ │ ├─── 特征:极坐标、球坐标等
│ │ ├─── 方法:将变换关系代入链式法则
│ │ └─── 例:u(x,y) 在极坐标下的偏导数关系
│ │
│ ├─── 题型3:一元复合函数
│ │ ├─── 特征:z=f(x(t), y(t)),只有一个自变量t
│ │ ├─── 方法:dz/dt = (∂f/∂x)·(dx/dt) + (∂f/∂y)·(dy/dt)
│ │ └─── 例:对数求导法的应用
│ │
│ ├─── 题型4:混合型复合
│ │ ├─── 特征:部分变量既是自变量又出现在中间变量中
│ │ ├─── 方法:仔细画树状图,区分不同角色
│ │ └─── 例:u=f(x, φ(x,y), ψ(x,z), z)
│ │
│ ├─── 题型5:全微分计算
│ │ ├─── 特征:要求 dz
│ │ ├─── 方法:利用形式不变性逐层计算
│ │ └─── 例:z=e^u·sin(v), u=xy, v=x+y
│ │
│ └─── 题型6:验证偏微分方程
│ ├─── 特征:证明某个等式成立
│ ├─── 方法:分别求两边,验证相等
│ └─── 例:证明 y·(∂f/∂x) = x·(∂f/∂y)
│
├─── ⚠️ 六、常见错误与陷阱
│ │
│ ├─── 错误1:忘记外函数可微条件
│ │ └─── 反例已在教材中给出
│ │
│ ├─── 错误2:变量角色混淆
│ │ └─── 不清楚谁是自变量、中间变量
│ │
│ ├─── 错误3:偏导数记号混用
│ │ └─── ∂z/∂x 与 ∂f/∂x 的区别
│ │
│ ├─── 错误4:链式法则漏项
│ │ └─── 忘记某条路径的贡献
│ │
│ ├─── 错误5:微分记号错误
│ │ ├─── dz/dt 与 ∂z/∂t 的区别
│ │ └─── 一元用d,多元用∂
│ │
│ └─── 错误6:代入时机错误
│ └─── 先求偏导,再代入具体点
│
└─── 🎯 七、学习策略与拓展
│
├─── 学习顺序
│ ├─── 1. 理解复合结构(画图)
│ ├─── 2. 掌握链式法则(背公式+理解证明)
│ ├─── 3. 练习树状图法(多画图)
│ ├─── 4. 理解形式不变性(做全微分题)
│ └─── 5. 综合应用(混合题型)
│
├─── 与其他内容联系
│ ├─── §1 可微性:链式法则的理论基础
│ ├─── §3 隐函数求导:链式法则的应用
│ ├─── §4 方向导数:链式法则的推广
│ └─── 第18章 积分换元:微分形式不变性
│
└─── 拓展方向
├─── 高维推广(张量分析)
├─── 微分几何(切映射)
├─── 泛函分析(Fréchet导数)
└─── 自动微分(机器学习)
📚 二、核心概念深度解析
2.1 复合函数的结构
2.1.1 基本定义
定义(二元复合二元):设函数
定义在 平面的区域 上,函数
定义在 平面的区域 上,且
则函数
是以 (2) 为外函数、(1) 为内函数的复合函数。
🔍 深度理解
三个层次的变量:
-
自变量(independent variables):
- 最底层,可以独立取值
- 确定了整个函数的值
-
中间变量(intermediate variables):
- 由自变量通过内函数确定
- 作为外函数的输入
-
因变量(dependent variable):
- 最终结果
- 由中间变量通过外函数确定
复合链:
自变量 (s, t) → [内函数] → 中间变量 (x, y) → [外函数] → 因变量 z
具体:
(s, t) → x=φ(s,t), y=ψ(s,t) → (x, y) → z=f(x,y) → z
关键点:
- 定义域的包含关系:内函数的值域必须包含在外函数的定义域内
- 记号约定:
- :复合函数(关于自变量)
- :外函数(关于中间变量)
- :内函数(自变量到中间变量)
2.1.2 一般形式
多元复合多元:若 在点 可微,
在点 具有关于 的偏导数,则复合函数
关于自变量 的偏导数是
几种常见情况:
| 情况 | 外函数 | 内函数 | 求导形式 |
|---|---|---|---|
| 一元复合一元 | |||
| 一元复合二元 | |||
| 二元复合二元 | |||
| 混合复合 | 部分变量是自变量 |
2.2 变量的角色识别(关键技能)
识别原则
自变量:
- 可以独立变化的变量
- 在问题中明确要对其求偏导数的变量
- 位于复合链的最底层
中间变量:
- 由自变量确定的变量
- 作为外函数的参数
- 位于复合链的中间层
因变量:
- 最终要研究的变量
- 位于复合链的最顶层
📌 判断技巧
问题形式:"求 "
- 分析:要求对 求偏导 → 是自变量
- 推断: 通过哪些变量依赖于 ? → 这些是中间变量
例:,其中 ,,求
- 自变量:(独立变化)
- 中间变量:(由 确定)
- 因变量:(由 确定)
📌 混合情况(重要)
问题:,求
分析:
- 自变量:(独立变化)
- 中间变量:
- :第二个参数
- :第三个参数
- 因变量:
注意:
- 既是自变量(第一、四个参数位置)
- 又出现在中间变量中( 依赖 )
树状图:
u = f(x, v, w, z)
↙ ↓ ↓ ↓
x v w z
│ ↓ ↓ (自变量)
自 x,y x,z
变
量
🔗 三、链式法则理论体系
3.1 定理17.5:复合函数的链式法则
定理内容
定理17.5:若函数 , 在点 可微, 在点 可微,则复合函数
在点 可微,且它关于 与 的偏导数分别为
简写形式(省略下标):
证明(完整推导)
已知条件:
- 内函数 , 在点 可微
- 外函数 在点 可微
Step 1:由内函数可微性
其中当 时,。
Step 2:由外函数可微性
其中当 时,(并补充定义:当 时 )。
Step 3:将 (5)、(6) 代入 (7)
Step 4:整理得
其中
Step 5:验证
由于 在点 可微,它们在该点都连续。
因此,当 时:
所以 (有限项与无穷小的和、积仍为无穷小)。
结论:由 (8) 式,复合函数可微,且
■
3.2 链式法则的理解与记忆
3.2.1 "路径相乘,路径相加"原则
原则:求 时:
-
找出所有从 到 的路径:
- 路径1:
- 路径2:
-
每条路径上的偏导数相乘:
- 路径1:
- 路径2:
-
所有路径的贡献相加:
3.2.2 树状图法(推荐)
图17-5:
z
↙ ↘
∂z/∂x ∂z/∂y
↙ ↘
x y
↙ ↘ ↙ ↘
∂x/∂s ∂x/∂t ∂y/∂s ∂y/∂t
↙ ↘ ↙ ↘
s t s t
读图方法:
求 :
- 从 出发,找到所有到达 的路径
- 路径1:
- 路径2:
- 结果:
3.2.3 形式微分法(微分形式不变性)
由全微分形式不变性:
对自变量 求"偏微分"(实际是用 作用):
(形式上将 替换为 )
3.3 重要注意事项
⚠️ 注意1:外函数可微是必要条件
教材反例:
函数
已知(习题17.1第6题):,但 在原点不可微。
复合情况:取内函数 ,,则复合函数为
若用链式法则:
但实际:
在 处不连续,当然不可导!
结论:外函数 可微是使用链式法则的必要条件,不能省略。
⚠️ 注意2:偏导数记号的区分
问题:在例5中,求 ,其中
易混淆的记号:
| 记号 | 含义 | 语境 |
|---|---|---|
| 作为 函数的偏导数 | 复合函数 | |
| 对第一个变量的偏导数 | 外函数 | |
| 对 的偏导数 | 内函数 |
正确写法:
教材建议:用 表示 对各个变量的偏导数,避免混淆。
⚠️ 注意3:微分记号 与 的区别
| 情况 | 记号 | 说明 |
|---|---|---|
| 一元函数 | 全导数(ordinary derivative) | |
| 多元函数(偏导数) | 偏导数(partial derivative) | |
| 一元复合多元 | 左边用 ,右边用 |
原则:
- 自变量只有一个 → 用 (全导数)
- 自变量多个 → 用 (偏导数)
📊 四、全微分形式不变性
4.1 基本原理
定义
当 是自变量时:
若 可微,则
当 是中间变量时:
若 , 可微, 也可微,则
形式完全相同!
但此时
将 (13) 代入 (11'):
与链式法则一致!
4.2 形式不变性的含义
"形式":指表达式的结构
这个结构不因 的角色(自变量/中间变量)改变。
"不变":
- 系数形式不变:总是 和
- 表达式形式不变:总是"偏导数 × 微分"的和
但要注意:
| 角色 | 的含义 |
|---|---|
| 自变量 | 独立取值的增量 |
| 中间变量 | 由 通过 (13) 确定 |
4.3 应用:逐层计算全微分
基本步骤
Step 1:写出 对中间变量的全微分
(利用形式不变性)
Step 2:写出中间变量对自变量的全微分
Step 3:代入整理
将 Step 2 的结果代入 Step 1,合并同类项( 和 的系数)
Step 4:提取偏导数
比较系数,得到 和
📌 例7(教材):,其中 ,,求 并导出 和
解:
Step 1:对中间变量 求全微分
Step 2: 对 的全微分
Step 3:代入
Step 4:代回 ,
读出偏导数:
■
🌳 五、树状图方法详解
5.1 绘制树状图的标准流程
Step 1:确定层次结构
- 顶层:因变量(等)
- 中间层:中间变量(等)
- 底层:自变量(等)
Step 2:画连线
从上层变量向其直接依赖的下层变量画箭头(或直线)
Step 3:标注偏导数
在每条连线旁标注对应的偏导数
Step 4:检查完整性
确保每个变量到其依赖变量的所有连线都已画出
5.2 典型树状图示例
示例1:标准二元复合二元
问题:,,
树状图:
z
↙ ↘
∂z/∂x ∂z/∂y
↙ ↘
x y
↙ ↘ ↙ ↘
∂x/∂s ∂x/∂t ∂y/∂s ∂y/∂t
↙ ↘ ↙ ↘
s t s t
读图:
示例2:一元复合二元(图17-6)
问题:,,,求
树状图:
z
↙ ↓ ↘
∂z/∂u ∂z/∂v ∂z/∂t
↙ ↓ (直接依赖)
u v t
↓ ↓
du/dt dv/dt
↓ ↓
t t
读图:
(注意最后一项: 对 的直接偏导数)
计算:
■
示例3:混合复合(图17-7)
问题:,求
树状图:
u
↙ ↓ ↓ ↘
f₁ f₂ f₃ f₄
↓ ↓ ↓ ↓
x φ ψ z
│ ↙↘ ↙↘ (自变量)
自 x y x z
变
量
其中 表示 对第1、2、3、4个变量的偏导数。
读图:从 到 的路径:
- 路径1:(第一个参数直接是 )
- 路径2:
- 路径3:
- 路径4:( 与 无关,不到达 )
结果:
(注意:教材用 表示 对第一个变量 的偏导数,需与 区分)
5.3 树状图的优势
- 直观清晰:复合关系一目了然
- 不易遗漏:每条路径都能看到
- 复杂问题适用:多层复合、混合复合都能处理
- 减少错误:避免记号混淆
💡 六、典型例题分类解析
6.1 题型1:标准链式法则
📌 例1(教材):求 和
问题:,其中 ,
解法:
明确变量角色:
- 自变量:
- 中间变量:
- 因变量:
画树状图:
z
↙ ↘
∂z/∂u ∂z/∂v
↙ ↘
u v
↙ ↘ ↙ ↘
∂u/∂x ∂u/∂y ∂v/∂x ∂v/∂y
↙ ↘ ↙ ↘
x y x y
应用链式法则:
计算各偏导数:
代入:
简化(代回 ):
同理:
■
6.2 题型2:极坐标变换
📌 例2(教材):证明在极坐标变换下的恒等式
问题:设 可微,在极坐标变换 , 下,证明:
证明:
Step 1:将 看作 的复合函数
Step 2:应用链式法则
Step 3:计算平方和
Step 4:相加
$$= (\cos^2\theta + \sin^2\theta)\left(\frac{\partial u}{\partial x}\right)^2 + (\sin^2\theta + \cos^2\theta)\left(\frac \partial u}{\partial y}\right)^2$$
■
几何意义:
- 左边:Descartes坐标系下的"梯度模长的平方"
- 右边:极坐标系下的"梯度模长的平方"
- 恒等式表明:梯度的模长与坐标系选择无关(标量不变性)
6.3 题型3:一元复合函数(含直接依赖)
📌 例3(教材例6):,,,求
解法1:链式法则(完整形式)
树状图:
z
↙ ↓ ↘
∂z/∂u ∂z/∂v ∂z/∂t
↙ ↓ (直接)
u v
↓ ↓
e^t cos t
↓ ↓
t t
关键: 中显含 ( 项),所以有直接依赖。
链式法则(完整形式):
计算:
代入:
■
解法2:先代入再求导
(与解法1一致)
⚠️ 常见错误:忘记最后一项
错误做法:
原因:忽略了 对 的直接依赖。
记忆:看到 中显含自变量 ,就要加上对应项!
6.4 题型4:混合型复合(重点难点)
📌 例5(教材):,求
分析:
- 自变量:(独立变化)
- 中间变量:(第2个参数),(第3个参数)
- 特殊性:
- 既是第1个参数(直接出现)
- 又在第2、3个参数中出现(通过中间变量)
- 既是第4个参数(直接出现)
- 又在第3个参数中出现
树状图(关键):
u = f(x, φ, ψ, z)
↙ ↓ ↓ ↘
f₁ f₂ f₃ f₄
↓ ↓ ↓ ↓
x φ ψ z
│ ↙↘ ↙↘ (自变量)
自 x y x z
变
量
求 :找从 到 的所有路径
-
路径1:(第1个参数直接是 )
- 贡献:
-
路径2:
- 贡献:
-
路径3:
- 贡献:
-
路径4:( 与 独立,不到达 )
- 贡献:
结果:
或写成:
(教材记号: 表示 对第1个变量的偏导数)
同理,求 :
从 到 的路径:
-
路径1:
- 贡献:
-
路径2:(第4个参数直接是 )
- 贡献:
结果:
■
⚠️ 注意:
- 关键在于画清楚树状图
- 区分"直接依赖"和"间接依赖"
- 用 避免记号混淆
6.5 题型5:全微分计算(形式不变性)
📌 例7(前面已详细解):,,
方法:逐层应用全微分
代入整理得:
📌 例4(教材):验证
问题:设 ,其中 可微,证明
证明:
设 ,则
应用链式法则:
验证:
等等,好像不对? 让我重新计算:
这两个不相等!题目可能有误或我理解有误。
实际上,正确的恒等式应该是:
(这是齐次函数的Euler定理)
验证:
✓
■
6.6 题型6:对数求导法的推广
📌 例8:,求
方法:两边取对数
两边对 求偏导(注意 是自变量):
■
一般方法(多元函数对数求导):
设 ,两边取对数:
两边对 求偏导:
适用于乘积、幂函数的复合。
⚠️ 七、常见误区与陷阱详解
7.1 十大典型误区
误区1:外函数不可微时强行使用链式法则
错误认识:以为只要内函数可微,链式法则就成立。
正确认识:外函数可微是必要条件(定理17.5明确要求)。
反例:见前面3.3节的详细分析。
教训:使用链式法则前,必须验证外函数可微。
误区2:变量角色不清
错误表现:
- 不知道谁是自变量、谁是中间变量
- 混淆 在不同语境下的含义
正确做法:
- 明确问题:"求 " → 是自变量
- 画树状图:层次结构一目了然
- 统一记号:用 等表示外函数的偏导数
例:,,
| 记号 | 含义 |
|---|---|
| 复合函数 对 的偏导数 | |
| 或 | 外函数 对 的偏导数 |
| 内函数 对 的偏导数 |
误区3:链式法则漏项
错误做法:忘记某条路径的贡献
例:,,,求
错误:
(漏掉了 的路径)
正确:
防止方法:画树状图,找出所有路径!
误区4:忘记直接依赖项
错误做法: 中显含自变量 ,但求导时忘记对应项
例:,,
错误:
正确:
(最后一项 )
判断方法:
- 看 的表达式中是否显含
- 树状图中, 到 是否有直接连线
误区5:微分记号 与 混用
错误做法:
- 一元函数用
- 多元函数用
正确规则:
| 情况 | 记号 | 例子 |
|---|---|---|
| 一元函数导数 | , | |
| 多元函数偏导数 | , | |
| 一元复合多元 | ||
| 全微分 |
误区6:代入时机错误
错误做法:先代入具体值,再求导
例:,,,求
错误步骤:
- 代入 :
- 求 ?(无法进行)
正确步骤:
- 先求导:
- 再代入 (此时 ):
原则:先求导,后代入。
误区7:全微分形式不变性理解错误
错误认识:以为 的含义不变。
正确认识:
- 形式(结构)不变:
- 内容( 的含义)改变:
- 自变量时: 独立取值
- 中间变量时: 由 确定
误区8:偏导数连续性条件忽略
错误做法:不验证偏导数连续性就用链式法则。
正确做法:定理17.5要求:
- 内函数在点 可微
- 外函数在点 可微
可微性的充分条件:偏导数连续(定理17.2)
实际应用:
- 初等函数的复合:自动满足条件
- 分段函数、绝对值函数:需特别检查
误区9:混合复合时路径遗漏
错误做法:,求 时忘记 的某个路径。
正确方法:
- 画完整树状图
- 找出所有从 到 的路径
- 每条路径贡献相加
误区10:链式法则公式死记硬背
错误做法:只记公式,不理解原理。
正确做法:
- 理解证明思路
- 掌握树状图方法
- 能从基本原理推导公式
好处:
- 复杂情况不会错
- 新问题能应对
- 考试不慌张
7.2 易错点速查表
| 易错点 | 错误表现 | 正确做法 |
|---|---|---|
| 外函数可微 | 不验证就用链式法则 | 确认外函数可微 |
| 变量角色 | 自变量、中间变量不分 | 画树状图 |
| 路径遗漏 | 某条路径忘记 | 用树状图检查 |
| 直接依赖 | 忘记显含项 | 看表达式中是否有自变量 |
| 记号混用 | 与 混淆 | 一元用 ,多元用 |
| 代入时机 | 先代入后求导 | 先求导后代入 |
| 形式不变性 | 误以为 含义不变 | 区分自变量/中间变量 |
| 连续性 | 不验证连续性 | 非初等函数要验证 |
| 混合复合 | 路径遗漏 | 画详细树状图 |
| 死记公式 | 不理解原理 | 掌握证明和方法 |
🔄 八、与一元函数求导的对比
8.1 类比与推广
基本结构对比
| 项目 | 一元函数 | 多元函数 |
|---|---|---|
| 函数形式 | , | ,, |
| 复合函数 | ||
| 求导公式 | ||
| 路径 | 唯一: | 多条: 和 |
| 本质 | 链式相乘 | 路径相乘,路径相加 |
证明思路对比
一元链式法则证明:
其中 当
当 时,( 连续),
二元链式法则证明(简化):
代入整理得链式法则公式。
共同点:
- 利用可微性的线性近似
- 代入法整理
- 高阶项趋于零
不同点:
- 多元需处理多个中间变量
- 多元有多条路径
8.2 微分形式不变性的推广
一元情况
无论 是自变量还是中间变量,形式都是这样。
二元情况
无论 是自变量还是中间变量,形式都是这样。
本质
微分的线性性:
这个形式在任何层次都成立。
8.3 记号系统的统一
导数记号
| 情况 | Leibniz记号 | Lagrange记号 | 说明 |
|---|---|---|---|
| 一元 | 或 | 全导数 | |
| 偏导 | 或 | 偏导数 | |
| 全微分 | — | 线性主部 | |
| 复合(一元) | 链式法则 | ||
| 复合(多元) | — | 链式法则 |
统一性:
- Leibniz记号直观反映链式关系
- "约分"形式(但不是真正的分数!)
- 易于推广到多元
🎯 九、学习路径与掌握策略
9.1 学习阶段规划
阶段1:概念理解(第1周)
目标:
- 理解复合函数的结构
- 掌握变量角色分类(自变量、中间变量、因变量)
- 理解链式法则的直观含义
方法:
- 画图法:用框图表示复合关系
- 具体例子:从简单到复杂
- 一元复合一元:
- 一元复合二元:
- 二元复合二元:标准情况
- 对比学习:与一元链式法则对比
检验标准:
- 能画出复合函数的结构图
- 能正确识别自变量和中间变量
- 能用自己的话解释链式法则
阶段2:定理证明(第2周)
目标:
- 掌握定理17.5的证明(重点)
- 理解外函数可微的必要性
- 理解为什么要补充定义
方法:
- 逐步理解:证明分5步,每步都要理解
- 关键识别:
- 为什么要补充定义?(保证 有意义)
- 为什么 ?(内函数可微 ⟹ 连续)
- 自己重现:合上书,尝试证明
检验标准:
- 能独立写出定理17.5的证明
- 理解反例的作用
- 能解释证明中的每一步
阶段3:方法掌握(第3周)
目标:
- 熟练掌握树状图法(最重要的技巧)
- 理解全微分形式不变性
- 掌握常见题型的解法
方法:
- 树状图训练:
- 各种复合结构都画一遍
- 从图中读出公式
- 检验是否遗漏路径
- 形式不变性应用:
- 逐层计算全微分
- 与链式法则对比
- 题型归纳:
- 标准链式法则
- 坐标变换
- 混合复合
检验标准:
- 能快速画出任意复合结构的树状图
- 能用形式不变性计算全微分
- 能识别题型并选择合适方法
阶段4:综合应用(第4周)
目标:
- 解决复杂的混合复合问题
- 掌握偏微分方程的验证
- 理解链式法则在其他领域的应用
方法:
- 专题练习:
- 混合复合(重点难点)
- 坐标变换(极坐标、球坐标)
- 偏微分方程验证
- 综合题目:
- 结合§1可微性的题目
- 为§3隐函数求导做准备
- 应用拓展:
- 梯度计算
- 方向导数
- 机器学习中的反向传播
检验标准:
- 能解决混合复合问题
- 能验证复杂的偏微分方程
- 理解链式法则的广泛应用
9.2 核心能力培养
能力1:结构分析能力
训练方法:
- 拿到题目,第一步画结构图
- 识别自变量、中间变量、因变量
- 明确复合关系
典型练习:
- 给定函数关系,画出结构图
- 给定结构图,写出链式法则公式
- 给定公式,画出对应的树状图
能力2:树状图绘制与读图
训练方法:
- 各种复合结构都练习画图
- 从图中快速读出公式
- 检查是否有遗漏
进阶技巧:
- 复杂问题分层画图
- 用颜色标注不同类型的连线
- 在图上直接标注计算结果
能力3:公式推导能力
训练方法:
- 不死记公式,理解推导过程
- 遇到新情况,能从基本原理出发
- 多做证明题
好处:
- 公式忘了也能推出来
- 考试更有信心
- 理解更深刻
能力4:计算准确性
常见计算错误:
- 偏导数计算错误
- 代入错误
- 符号错误
提高方法:
- 规范书写:每一步都写清楚
- 中间检验:代入特殊值检验
- 结果验证:用其他方法验证
9.3 重点难点突破
难点1:定理17.5的证明
难在哪里:
- 补充定义 的技巧
- 多个无穷小的组合
- 复合函数连续性的使用
突破策略:
- 分步理解:5步法逐一突破
- 关键识别:为什么要这样做?
- 类比一元:与一元证明对比
检验:能独立完整地写出证明
难点2:混合复合问题
难在哪里:
- 变量角色复杂(既是自变量又在中间变量中)
- 路径多,容易遗漏
- 记号容易混淆
突破策略:
- 树状图必画:复杂问题必须画图
- 记号统一:用 等避免混淆
- 逐条路径:一条条写出来
典型题:
难点3:全微分形式不变性的理解
难在哪里:
- "形式不变"与"内容改变"的区分
- 什么时候用形式不变性
- 与链式法则的关系
突破策略:
- 对比理解:自变量时 vs 中间变量时
- 应用练习:多做逐层计算的题
- 本质理解:微分的线性性
难点4:偏导数记号的正确使用
难在哪里:
- 在不同语境下含义不同
- 的歧义性
- 与 的区分
突破策略:
- 上下文明确:每次写记号前明确变量角色
- 统一记号系统:用下标或明确说明
- 画图辅助:树状图避免混淆
9.4 题型归纳与模板
题型1:标准链式法则
特征:
- 明确的二元复合二元结构
- 各函数都可微
模板:
Step 1: 识别结构
- 自变量:...
- 中间变量:...
- 因变量:...
Step 2: 画树状图
Step 3: 应用链式法则
∂z/∂s = (∂z/∂x)(∂x/∂s) + (∂z/∂y)(∂y/∂s)
Step 4: 计算各偏导数
Step 5: 代入简化
题型2:一元复合多元(含直接依赖)
特征:
- 只有一个自变量
- 因变量中显含
模板:
Step 1: 检查直接依赖
- z 中是否显含 t?
Step 2: 写出完整公式
dz/dt = (∂z/∂x)(dx/dt) + (∂z/∂y)(dy/dt) + ∂z/∂t
↑
直接依赖项(若有)
Step 3: 计算各项
Step 4: 代入简化
题型3:极坐标变换
特征:
- ,
- 要证明某恒等式
模板:
Step 1: 应用链式法则
∂u/∂r = (∂u/∂x)(∂x/∂r) + (∂u/∂y)(∂y/∂r)
∂u/∂θ = (∂u/∂x)(∂x/∂θ) + (∂u/∂y)(∂y/∂θ)
Step 2: 代入坐标关系
∂x/∂r = cosθ, ∂x/∂θ = -r sinθ
∂y/∂r = sinθ, ∂y/∂θ = r cosθ
Step 3: 平方、组合
Step 4: 利用 sin²θ + cos²θ = 1 化简
题型4:混合复合
特征:
- 部分变量既是自变量又在中间变量中
- 结构复杂
模板:
Step 1: 画详细树状图(必须!)
Step 2: 找出所有路径
从因变量到目标自变量的所有路径
Step 3: 每条路径贡献
路径上偏导数相乘
Step 4: 所有路径相加
Step 5: 简化(若可能)
题型5:全微分计算
特征:
- 要求
- 多层复合
模板:
Step 1: 对中间变量求全微分
dz = (∂z/∂u)du + (∂z/∂v)dv
Step 2: 中间变量对自变量的全微分
du = ..., dv = ...
Step 3: 代入整理
合并同类项
Step 4: 读出偏导数
dz = (∂z/∂x)dx + (∂z/∂y)dy
比较系数
题型6:验证偏微分方程
特征:
- 证明某等式成立
- 涉及多个偏导数
模板:
Step 1: 分别求等式两边
Step 2: 应用链式法则
Step 3: 化简
Step 4: 验证相等
🌐 十、知识拓展与深化
10.1 与后续内容的联系
§3 隐函数求导
本节基础:
- 链式法则是隐函数求导的核心工具
- 全微分形式不变性简化计算
下一节内容:
- 隐函数 确定
- 求导:(用链式法则推导)
§4 方向导数与梯度
本节基础:
- 链式法则推广到方向导数
几何意义:
- 梯度:函数变化最快的方向
- 方向导数:沿给定方向的变化率
第18章 重积分的换元法
本节基础:
- 坐标变换:,
- Jacobi行列式: $$J = \frac{\partial(x,y)}{\partial(u,v)} = \begin{vmatrix} \frac{\partial x}{\partial u} & \frac{\partial x}{\partial v} \ \frac{\partial y}{\partial u} & \frac{\partial y}{\partial v} \end{vmatrix}$$
联系:链式法则中的偏导数组成Jacobi矩阵
10.2 高维推广
元复合 元
一般形式:
设 可微,()可微,则
矩阵形式(Jacobi矩阵):
其中
$$\mathbf{J}g = \begin{pmatrix} \frac{\partial u_1}{\partial x_1} & \cdots & \frac{\partial u_1}{\partial x_n} \ \vdots & \ddots & \vdots \ \frac{\partial u_m}{\partial x_1} & \cdots & \frac{\partial u_m}{\partial x_n} \end{pmatrix}{m \times n}$$
$$\mathbf{J}f = \begin{pmatrix} \frac{\partial f}{\partial u_1} & \cdots & \frac{\partial f}{\partial u_m} \end{pmatrix}{1 \times m}$$
10.3 微分几何中的应用
切映射(Tangent Map)
概念:
- 流形 上的函数
- 曲线 ,
- 复合函数
链式法则:
这是切向量作用在函数上的定义。
推前映射(Pushforward)
设 是光滑映射, 是 上的切向量,则推前映射 是 上的切向量,定义为
链式法则给出推前映射的坐标表示。
10.4 自动微分与反向传播
机器学习中的链式法则
神经网络:
多层复合函数。
反向传播(Backpropagation):
利用链式法则计算梯度:
逐层反向计算。
计算图(Computational Graph):
- 节点:变量
- 边:函数关系
- 本质:树状图的推广
自动微分
前向模式:
- 从输入到输出计算导数
- 一次遍历得到 (对某个 )
反向模式:
- 从输出到输入计算导数
- 一次遍历得到 (对所有 )
- 机器学习常用(参数多,输出少)
本质:高效应用链式法则。
📚 十一、本节总结与学习检查清单
11.1 核心知识点总结
| 序号 | 知识点 | 核心内容 | 重要等级 |
|---|---|---|---|
| 1 | 复合函数结构 | 自变量→中间变量→因变量 | ⭐⭐⭐⭐⭐ |
| 2 | 链式法则(定理17.5) | ⭐⭐⭐⭐⭐ | |
| 3 | 链式法则证明 | 5步法 | ⭐⭐⭐⭐⭐ |
| 4 | 树状图方法 | 路径相乘,路径相加 | ⭐⭐⭐⭐⭐ |
| 5 | 形式不变性 | ⭐⭐⭐⭐⭐ | |
| 6 | 外函数可微必要性 | 反例 | ⭐⭐⭐⭐ |
| 7 | 偏导数记号区分 | vs | ⭐⭐⭐⭐ |
| 8 | 混合复合 | ⭐⭐⭐⭐ | |
| 9 | 极坐标变换 | 恒等式验证 | ⭐⭐⭐ |
| 10 | 一般形式 | ⭐⭐⭐ |
11.2 学习检查清单
✅ 概念理解
- 能区分自变量、中间变量、因变量
- 理解链式法则的直观含义(路径相乘,路径相加)
- 理解全微分形式不变性的含义
- 知道外函数可微是必要条件
- 能用自己的话解释为什么链式法则成立
✅ 定理掌握
- 能陈述定理17.5(链式法则)
- 能独立证明定理17.5(重点)
- 理解证明中补充定义 的作用
- 能举出反例说明外函数可微的必要性
- 知道链式法则的一般形式
✅ 方法技能
- 会画树状图(最重要的技能)
- 能从树状图读出链式法则公式
- 会用形式不变性逐层计算全微分
- 能识别混合复合问题并画图求解
- 会处理直接依赖项
✅ 计算能力
- 会求标准复合函数的偏导数
- 会处理极坐标变换问题
- 会计算一元复合多元的导数
- 会验证偏微分方程
- 计算准确,不出符号、代入错误
✅ 综合应用
- 能分析复杂复合结构
- 能解决混合复合问题
- 理解链式法则在其他领域的应用
- 能将链式法则与可微性理论联系
- 为隐函数求导打下基础
11.3 常见考点与分值分布
期末考试典型题型(参考):
| 题型 | 分值占比 | 难度 | 考查重点 |
|---|---|---|---|
| 填空/选择 | 10% | ⭐⭐ | 概念、记号、判断 |
| 计算题 | 50% | ⭐⭐⭐ | 标准链式法则、极坐标变换 |
| 证明题 | 20% | ⭐⭐⭐⭐ | 定理17.5证明、恒等式验证 |
| 综合题 | 20% | ⭐⭐⭐⭐ | 混合复合、与其他知识结合 |
高频考点:
- 链式法则计算偏导数(必考)
- 树状图方法
- 极坐标变换恒等式
- 混合复合问题
- 定理17.5的证明(大题)
11.4 进阶学习建议
对于理解困难的同学
建议:
- 从简单开始:
- 先掌握标准二元复合二元
- 一元复合二元作为过渡
- 最后攻克混合复合
- 多画图:树状图是关键工具
- 具体例子:每个概念都找具体函数验证
- 求助资源:教材例题、视频、答疑
暂时跳过的内容:
- 定理17.5的完整证明(理解思路即可)
- 一般形式的推广
- 微分几何、自动微分等拓展内容
对于学有余力的同学
建议:
- 深入理论:
- 完全掌握定理17.5的证明
- 研究反例的构造
- 推广到高维情况
- 拓展阅读:
- 微分几何(李群、流形)
- 泛函分析(Fréchet导数、Gâteaux导数)
- 机器学习(自动微分、反向传播)
- 编程实现:
- 用Python实现自动微分
- 可视化复合函数的计算图
- 实现反向传播算法
推荐练习:
- 华东师大《数学分析》习题17.2全部
- 菲赫金哥尔茨《微积分学教程》相关章节
- 自己构造复杂的混合复合问题
🎓 十二、本节结语
12.1 链式法则的核心地位
链式法则是微积分中最重要的计算工具之一:
-
理论基础:
- 复合函数可微性
- 微分的线性性
- 切映射的定义
-
计算工具:
- 求导的基本法则
- 隐函数求导
- 参数方程求导
-
应用广泛:
- 坐标变换
- 偏微分方程
- 优化理论
- 机器学习
12.2 从局部到整体
本节思想:
复合函数的局部性质(偏导数)由各层函数的局部性质(各自的偏导数)通过链式法则组合而成。
三个层次:
-
单层复合:,
- 链式相乘:
-
多变量复合:, ,
- 路径相乘,路径相加
-
多层复合:, , , , ...
- 逐层应用链式法则
12.3 方法论的价值
树状图方法不仅是计算工具,更是:
-
思维工具:
- 清晰展示复合结构
- 避免遗漏
- 减少错误
-
推广范式:
- 高维情况
- 多层复合
- 混合复合
-
联系桥梁:
- 代数(路径计算)
- 几何(函数图)
- 拓扑(计算图)
12.4 下一步学习方向
立即行动: 📖 完成习题17.2 📖 准备学习§3 隐函数求导 📖 复习§1 可微性理论
中期目标: 📖 掌握方向导数与梯度(§4) 📖 理解Taylor公式(§5) 📖 学习极值理论(§6)
长期视野: 📖 微分几何 📖 偏微分方程 📖 最优化理论 📖 机器学习中的应用
祝学习顺利,链式法则运用自如! 🎓✨
📖 附录:符号表与术语索引
A.1 主要符号
| 符号 | 含义 | 首次出现 |
|---|---|---|
| 内函数 | 定义 | |
| 外函数 | 定义 | |
| 复合函数对 的偏导数 | 定理17.5 | |
| 外函数对 的偏导数 | 定理17.5 | |
| 或 | 对第 个变量的偏导数 | 例5 |
| Jacobi矩阵 | 拓展部分 | |
| 全微分 | §4 |
A.2 术语中英对照
| 中文 | 英文 | 说明 |
|---|---|---|
| 复合函数 | composite function | |
| 链式法则 | chain rule | 求导的基本法则 |
| 自变量 | independent variable | 可独立变化 |
| 中间变量 | intermediate variable | 由自变量确定 |
| 因变量 | dependent variable | 最终结果 |
| 树状图 | tree diagram | 表示复合关系 |
| 形式不变性 | invariance of form | 全微分的性质 |
| Jacobi矩阵 | Jacobian matrix | 偏导数矩阵 |
| 切映射 | tangent map | 微分几何概念 |
| 反向传播 | backpropagation | 机器学习算法 |
A.3 重要定理速查
| 定理编号 | 名称 | 核心内容 | 页码参考 |
|---|---|---|---|
| 定理17.5 | 链式法则 | 复合函数可微且给出偏导数公式 | 教材p.111 |
| 形式不变性 | 全微分形式不变性 | 教材p.113 |
本知识体系完整版到此结束! 📚✨