Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

第十七章第二节:复合函数微分法

完整知识体系与思维导图


📋 目录导览

  1. 知识体系思维导图
  2. 核心概念深度解析
  3. 链式法则理论体系
  4. 全微分形式不变性
  5. 典型例题分类解析
  6. 树状图方法与记忆技巧
  7. 常见误区与陷阱
  8. 与一元函数求导的对比
  9. 学习路径与策略

🧠 一、完整知识体系思维导图

§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) 为内函数复合函数


🔍 深度理解

三个层次的变量

  1. 自变量(independent variables)

    • 最底层,可以独立取值
    • 确定了整个函数的值
  2. 中间变量(intermediate variables)

    • 由自变量通过内函数确定
    • 作为外函数的输入
  3. 因变量(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:若函数 在点 可微, 在点 可微,则复合函数

在点 可微,且它关于 的偏导数分别为


简写形式(省略下标):


证明(完整推导)

已知条件

  1. 内函数 在点 可微
  2. 外函数 在点 可微

Step 1:由内函数可微性

其中当 时,


Step 2:由外函数可微性

其中当 时,(并补充定义:当 )。


Step 3:将 (5)、(6) 代入 (7)


Step 4:整理得

其中


Step 5:验证

由于 在点 可微,它们在该点都连续

因此,当 时:

所以 (有限项与无穷小的和、积仍为无穷小)。


结论:由 (8) 式,复合函数可微,且


3.2 链式法则的理解与记忆

3.2.1 "路径相乘,路径相加"原则

原则:求 时:

  1. 找出所有从 的路径

    • 路径1:
    • 路径2:
  2. 每条路径上的偏导数相乘

    • 路径1:
    • 路径2:
  3. 所有路径的贡献相加


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. 路径1:(第一个参数直接是
  2. 路径2:
  3. 路径3:
  4. 路径4: 无关,不到达

结果

(注意:教材用 表示 对第一个变量 的偏导数,需与 区分)


5.3 树状图的优势

  1. 直观清晰:复合关系一目了然
  2. 不易遗漏:每条路径都能看到
  3. 复杂问题适用:多层复合、混合复合都能处理
  4. 减少错误:避免记号混淆

💡 六、典型例题分类解析

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(第1个参数直接是

    • 贡献:
  2. 路径2

    • 贡献:
  3. 路径3

    • 贡献:
  4. 路径4 独立,不到达

    • 贡献:

结果

或写成:

(教材记号: 表示 第1个变量的偏导数)


同理,求

的路径:

  1. 路径1

    • 贡献:
  2. 路径2(第4个参数直接是

    • 贡献:

结果


⚠️ 注意

  • 关键在于画清楚树状图
  • 区分"直接依赖"和"间接依赖"
  • 避免记号混淆

6.5 题型5:全微分计算(形式不变性)

📌 例7(前面已详细解):

方法:逐层应用全微分

代入整理得:


📌 例4(教材):验证

问题:设 ,其中 可微,证明


证明

,则


应用链式法则


验证

等等,好像不对? 让我重新计算:

这两个不相等!题目可能有误或我理解有误。

实际上,正确的恒等式应该是

(这是齐次函数的Euler定理)

验证:


6.6 题型6:对数求导法的推广

📌 例8,求

方法:两边取对数


两边对 求偏导(注意 是自变量):


一般方法(多元函数对数求导):

,两边取对数:

两边对 求偏导:

适用于乘积、幂函数的复合。


⚠️ 七、常见误区与陷阱详解

7.1 十大典型误区

误区1:外函数不可微时强行使用链式法则

错误认识:以为只要内函数可微,链式法则就成立。

正确认识外函数可微是必要条件(定理17.5明确要求)。

反例:见前面3.3节的详细分析。

教训:使用链式法则前,必须验证外函数可微


误区2:变量角色不清

错误表现

  • 不知道谁是自变量、谁是中间变量
  • 混淆 在不同语境下的含义

正确做法

  1. 明确问题:"求 " → 是自变量
  2. 画树状图:层次结构一目了然
  3. 统一记号:用 等表示外函数的偏导数

记号含义
复合函数 的偏导数
外函数 的偏导数
内函数 的偏导数

误区3:链式法则漏项

错误做法:忘记某条路径的贡献

,求

错误

(漏掉了 的路径)

正确


防止方法画树状图,找出所有路径!


误区4:忘记直接依赖项

错误做法显含自变量 ,但求导时忘记对应项

错误

正确

(最后一项


判断方法

  • 的表达式中是否显含
  • 树状图中, 是否有直接连线

误区5:微分记号 混用

错误做法

  • 一元函数用
  • 多元函数用

正确规则

情况记号例子
一元函数导数
多元函数偏导数
一元复合多元
全微分

误区6:代入时机错误

错误做法:先代入具体值,再求导

,求

错误步骤

  1. 代入
  2. ?(无法进行)

正确步骤

  1. 先求导:
  2. 再代入 (此时 ):

原则先求导,后代入


误区7:全微分形式不变性理解错误

错误认识:以为 的含义不变。

正确认识

  • 形式(结构)不变:
  • 内容 的含义)改变:
    • 自变量时: 独立取值
    • 中间变量时: 确定

误区8:偏导数连续性条件忽略

错误做法:不验证偏导数连续性就用链式法则。

正确做法:定理17.5要求:

  • 内函数在点 可微
  • 外函数在点 可微

可微性的充分条件:偏导数连续(定理17.2)

实际应用

  • 初等函数的复合:自动满足条件
  • 分段函数、绝对值函数:需特别检查

误区9:混合复合时路径遗漏

错误做法,求 时忘记 的某个路径。

正确方法

  1. 画完整树状图
  2. 找出所有 的路径
  3. 每条路径贡献相加

误区10:链式法则公式死记硬背

错误做法:只记公式,不理解原理。

正确做法

  1. 理解证明思路
  2. 掌握树状图方法
  3. 能从基本原理推导公式

好处

  • 复杂情况不会错
  • 新问题能应对
  • 考试不慌张

7.2 易错点速查表

易错点错误表现正确做法
外函数可微不验证就用链式法则确认外函数可微
变量角色自变量、中间变量不分画树状图
路径遗漏某条路径忘记用树状图检查
直接依赖忘记显含项看表达式中是否有自变量
记号混用 混淆一元用 ,多元用
代入时机先代入后求导先求导后代入
形式不变性误以为 含义不变区分自变量/中间变量
连续性不验证连续性非初等函数要验证
混合复合路径遗漏画详细树状图
死记公式不理解原理掌握证明和方法

🔄 八、与一元函数求导的对比

8.1 类比与推广

基本结构对比

项目一元函数多元函数
函数形式
复合函数
求导公式
路径唯一:多条:
本质链式相乘路径相乘,路径相加

证明思路对比

一元链式法则证明

其中

时, 连续),


二元链式法则证明(简化):

代入整理得链式法则公式。


共同点

  • 利用可微性的线性近似
  • 代入法整理
  • 高阶项趋于零

不同点

  • 多元需处理多个中间变量
  • 多元有多条路径

8.2 微分形式不变性的推广

一元情况

无论 是自变量还是中间变量,形式都是这样。


二元情况

无论 是自变量还是中间变量,形式都是这样。


本质

微分的线性性

这个形式在任何层次都成立。


8.3 记号系统的统一

导数记号

情况Leibniz记号Lagrange记号说明
一元全导数
偏导偏导数
全微分线性主部
复合(一元)链式法则
复合(多元)链式法则

统一性

  • Leibniz记号直观反映链式关系
  • "约分"形式(但不是真正的分数!)
  • 易于推广到多元

🎯 九、学习路径与掌握策略

9.1 学习阶段规划

阶段1:概念理解(第1周)

目标

  • 理解复合函数的结构
  • 掌握变量角色分类(自变量、中间变量、因变量)
  • 理解链式法则的直观含义

方法

  1. 画图法:用框图表示复合关系
  2. 具体例子:从简单到复杂
    • 一元复合一元:
    • 一元复合二元:
    • 二元复合二元:标准情况
  3. 对比学习:与一元链式法则对比

检验标准

  • 能画出复合函数的结构图
  • 能正确识别自变量和中间变量
  • 能用自己的话解释链式法则

阶段2:定理证明(第2周)

目标

  • 掌握定理17.5的证明(重点)
  • 理解外函数可微的必要性
  • 理解为什么要补充定义

方法

  1. 逐步理解:证明分5步,每步都要理解
  2. 关键识别
    • 为什么要补充定义?(保证 有意义)
    • 为什么 ?(内函数可微 ⟹ 连续)
  3. 自己重现:合上书,尝试证明

检验标准

  • 能独立写出定理17.5的证明
  • 理解反例的作用
  • 能解释证明中的每一步

阶段3:方法掌握(第3周)

目标

  • 熟练掌握树状图法(最重要的技巧)
  • 理解全微分形式不变性
  • 掌握常见题型的解法

方法

  1. 树状图训练
    • 各种复合结构都画一遍
    • 从图中读出公式
    • 检验是否遗漏路径
  2. 形式不变性应用
    • 逐层计算全微分
    • 与链式法则对比
  3. 题型归纳
    • 标准链式法则
    • 坐标变换
    • 混合复合

检验标准

  • 能快速画出任意复合结构的树状图
  • 能用形式不变性计算全微分
  • 能识别题型并选择合适方法

阶段4:综合应用(第4周)

目标

  • 解决复杂的混合复合问题
  • 掌握偏微分方程的验证
  • 理解链式法则在其他领域的应用

方法

  1. 专题练习
    • 混合复合(重点难点)
    • 坐标变换(极坐标、球坐标)
    • 偏微分方程验证
  2. 综合题目
    • 结合§1可微性的题目
    • 为§3隐函数求导做准备
  3. 应用拓展
    • 梯度计算
    • 方向导数
    • 机器学习中的反向传播

检验标准

  • 能解决混合复合问题
  • 能验证复杂的偏微分方程
  • 理解链式法则的广泛应用

9.2 核心能力培养

能力1:结构分析能力

训练方法

  • 拿到题目,第一步画结构图
  • 识别自变量、中间变量、因变量
  • 明确复合关系

典型练习

  • 给定函数关系,画出结构图
  • 给定结构图,写出链式法则公式
  • 给定公式,画出对应的树状图

能力2:树状图绘制与读图

训练方法

  • 各种复合结构都练习画图
  • 从图中快速读出公式
  • 检查是否有遗漏

进阶技巧

  • 复杂问题分层画图
  • 用颜色标注不同类型的连线
  • 在图上直接标注计算结果

能力3:公式推导能力

训练方法

  • 不死记公式,理解推导过程
  • 遇到新情况,能从基本原理出发
  • 多做证明题

好处

  • 公式忘了也能推出来
  • 考试更有信心
  • 理解更深刻

能力4:计算准确性

常见计算错误

  • 偏导数计算错误
  • 代入错误
  • 符号错误

提高方法

  1. 规范书写:每一步都写清楚
  2. 中间检验:代入特殊值检验
  3. 结果验证:用其他方法验证

9.3 重点难点突破

难点1:定理17.5的证明

难在哪里

  • 补充定义 的技巧
  • 多个无穷小的组合
  • 复合函数连续性的使用

突破策略

  1. 分步理解:5步法逐一突破
  2. 关键识别:为什么要这样做?
  3. 类比一元:与一元证明对比

检验:能独立完整地写出证明


难点2:混合复合问题

难在哪里

  • 变量角色复杂(既是自变量又在中间变量中)
  • 路径多,容易遗漏
  • 记号容易混淆

突破策略

  1. 树状图必画:复杂问题必须画图
  2. 记号统一:用 等避免混淆
  3. 逐条路径:一条条写出来

典型题


难点3:全微分形式不变性的理解

难在哪里

  • "形式不变"与"内容改变"的区分
  • 什么时候用形式不变性
  • 与链式法则的关系

突破策略

  1. 对比理解:自变量时 vs 中间变量时
  2. 应用练习:多做逐层计算的题
  3. 本质理解:微分的线性性

难点4:偏导数记号的正确使用

难在哪里

  • 在不同语境下含义不同
  • 的歧义性
  • 的区分

突破策略

  1. 上下文明确:每次写记号前明确变量角色
  2. 统一记号系统:用下标或明确说明
  3. 画图辅助:树状图避免混淆

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%⭐⭐⭐⭐混合复合、与其他知识结合

高频考点

  1. 链式法则计算偏导数(必考)
  2. 树状图方法
  3. 极坐标变换恒等式
  4. 混合复合问题
  5. 定理17.5的证明(大题)

11.4 进阶学习建议

对于理解困难的同学

建议

  1. 从简单开始
    • 先掌握标准二元复合二元
    • 一元复合二元作为过渡
    • 最后攻克混合复合
  2. 多画图:树状图是关键工具
  3. 具体例子:每个概念都找具体函数验证
  4. 求助资源:教材例题、视频、答疑

暂时跳过的内容

  • 定理17.5的完整证明(理解思路即可)
  • 一般形式的推广
  • 微分几何、自动微分等拓展内容

对于学有余力的同学

建议

  1. 深入理论
    • 完全掌握定理17.5的证明
    • 研究反例的构造
    • 推广到高维情况
  2. 拓展阅读
    • 微分几何(李群、流形)
    • 泛函分析(Fréchet导数、Gâteaux导数)
    • 机器学习(自动微分、反向传播)
  3. 编程实现
    • 用Python实现自动微分
    • 可视化复合函数的计算图
    • 实现反向传播算法

推荐练习

  • 华东师大《数学分析》习题17.2全部
  • 菲赫金哥尔茨《微积分学教程》相关章节
  • 自己构造复杂的混合复合问题

🎓 十二、本节结语

12.1 链式法则的核心地位

链式法则是微积分中最重要的计算工具之一:

  1. 理论基础

    • 复合函数可微性
    • 微分的线性性
    • 切映射的定义
  2. 计算工具

    • 求导的基本法则
    • 隐函数求导
    • 参数方程求导
  3. 应用广泛

    • 坐标变换
    • 偏微分方程
    • 优化理论
    • 机器学习

12.2 从局部到整体

本节思想

复合函数的局部性质(偏导数)由各层函数的局部性质(各自的偏导数)通过链式法则组合而成。

三个层次

  1. 单层复合,

    • 链式相乘:
  2. 多变量复合, ,

    • 路径相乘,路径相加
  3. 多层复合, , , , ...

    • 逐层应用链式法则

12.3 方法论的价值

树状图方法不仅是计算工具,更是:

  1. 思维工具

    • 清晰展示复合结构
    • 避免遗漏
    • 减少错误
  2. 推广范式

    • 高维情况
    • 多层复合
    • 混合复合
  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

本知识体系完整版到此结束! 📚✨